{
  "schema": "csl.opt04-phase-one-report/2",
  "report_id": "opt04-20261013T172839Z-6451c4b89d3b",
  "created_utc": "2026-10-13T17:28:39.008919+00:00",
  "evidence_support": "Unestablished",
  "claims": {
    "scope": "paired descriptive analytic fixtures",
    "speedup": false,
    "feasibility_numerics": "Unestablished"
  },
  "evidence_limits": [
    "Five small analytic equality/nonnegative fixtures only.",
    "No exact or validated arithmetic feasibility certificate is claimed.",
    "No application-scale, scalability, or speedup claim is made.",
    "The collinear-input acceptance case is not included; OPT-04 issue #29 remains open.",
    "A witness sample is not the complete feasible or optimal solution family."
  ],
  "algorithm": {
    "registration_id": "phase-one-bland",
    "version": "1"
  },
  "reference": {
    "registration_id": "highs_lp",
    "version": "1.0.0+highs.1.11.0"
  },
  "provenance": {
    "source_commit": "03ba157eb50eac7d61d39e37af015729ea04f922",
    "harness_commit": "d68f57f1530f69039a7881f950566167683eb222",
    "executable_sha256": "2745f443576c88df02d48bbe350426b598563fc399286bdbefe68fecfba984fa",
    "cmake_cache_sha256": "b82ea58091de70d278477a078766f3530e74c88c647cfc7da5fa6d6dcfb6fae8",
    "release_build_sha256": "dbcb865281fb04cc8c47a682e92bae97e5d9d6fa19c6b270a84d3ea2c6594056",
    "release_build_command": [
      "cmake",
      "--build",
      "BUILD_ROOT",
      "--config",
      "Release",
      "--clean-first",
      "--target",
      "csl_opt04_phase_one_report",
      "--parallel",
      "4",
      "--verbose"
    ],
    "compiler_id": "MSVC",
    "compiler_version": "19.44.35215.0",
    "cxx_standard": 20,
    "release_ndebug": true,
    "cmake_generator": "Visual Studio 17 2022",
    "release_flags": "/O2 /Ob2 /DNDEBUG",
    "logical_processors": 12,
    "build_directory": "BUILD_ROOT",
    "executable_path": "BUILD_ROOT/Release/csl_opt04_phase_one_report.exe",
    "host_platform": "Windows-11-10.0.22631-SP0",
    "processor": "Intel64 Family 6 Model 151 Stepping 5, GenuineIntel",
    "python": "3.13.5",
    "concurrent_work": "Observation time UTC: 2026-10-13T17:27:37.7179595Z\nHost OS: \u041c\u0430\u0439\u043a\u0440\u043e\u0441\u043e\u0444\u0442 Windows 11 \u0414\u043e\u043c\u0430\u0448\u043d\u044f\u044f 10.0.22631 build 22631\nProcessor: 12th Gen Intel(R) Core(TM) i5-12400F; logical processors: 12\nPhysical memory total/free KiB: 33387800/13677820\nCMake generator/compiler: Visual Studio 17 2022 x64 / MSVC 19.44.35215 (Release build)\nPython: 3.13.5; CMake: 3.31.6\nWMI total CPU utilization at one pre-run snapshot: 6 percent; this is not an interval average or timed-region observation.\nActive CMake/MSBuild/cl processes at snapshot: MSBuild:15424, MSBuild:16944, MSBuild:19968\nOther active process counts (name=count): Adobe Crash Processor=1, AdobeIPCBroker=1, adskflex=1, AdskLicensingService=1, afwServ=1, AggregatorHost=1, ApplicationFrameHost=1, assistant=1, ast_service=1, aswEngSrv=1, aswToolsSvc=1, AvastSvc=1, AvastUI=4, cbservice=3, CCXProcess=1, cdarbsvc_v1.2.0_x64=1, cer_service=1, ChatGPT=19, chrome=21, cleanmgr=1, cmd=2, cnqtbapp=1, codex=13, codex-code-mode-host=3, codex-command-runner-0.162.0-alpha.17.2=6, codex-computer-use-swift=1, codex-windows-sandbox-service=1, conhost=91, csrss=2, ctfmon=1, dasHost=1, DataExchangeHost=1, DiscSoftBusServiceUltra=1, dllhost=5, DTShellHlp=1, dwm=1, explorer=1, FLPService=1, FNPLicensingService64=1, fontdrvhost=2, GigabyteUpdateService=1, herdr=1, Idle=1, ijplmsvc=1, jhi_service=1, lmgrd=2, LockApp=1, LsaIso=1, lsass=1, Memory Compression=1, MSBuild=3, msedge=5, ngen=2, ngentask=2, node=26, node_repl=16, NVDisplay.Container=2, OfficeClickToRun=1, opencode=2, OpenConsole=4, pdf24=2, pg_ctl=1, PhoneExperienceHost=1, postgres=7, PsiService_2=2, pwsh=3, python=32, Registry=1, rhinomcp=8, rsvamneziawg=1, rsvd=1, rsvdnsleak=1, RuntimeBroker=6, SearchHost=1, SearchIndexer=1, SearchProtocolHost=1, Secure System=1, SecurityHealthService=1, SecurityHealthSystray=1, services=1, ShellExperienceHost=1, sihost=1, sketchup-mcp=8, smss=1, spoolsv=1, sqlwriter=1, sshd=1, StartMenuExperienceHost=1, svchost=95, System=1, SystemSettingsBroker=1, tailscale-ipn=1, tailscaled=2, taskhostw=3, Telegram=1, TextInputHost=1, uv=16, vctip=1, vmcompute=1, WebKitNetworkProcess=1, Widgets=1, WidgetService=1, WindowsTerminal=1, wininit=1, winlogon=1, WmiPrvSE=3, WMIRegistrationService=1, wsc_proxy=1, wslservice=1, WUDFHost=1\nInterpretation: interactive browser, editor/agent and background processes remain active; no system isolation or frequency/power control was applied. The run is descriptive only; no speedup, ranking, application throughput or bottleneck attribution is claimed.\nNo profile data are mixed into measured trials. A separate CPU profile-only attempt is required to attribute a limiter; its result will be reported separately.",
    "limiter_profile": "required as a separate post-review profile-only execution; no profile data mixed with trials"
  },
  "catalog": {
    "version": "opt04-analytic-v1",
    "fixtures": [
      {
        "id": "triangle",
        "rows": 3,
        "columns": 3,
        "matrix": [
          [
            0,
            1,
            0
          ],
          [
            0,
            0,
            1
          ],
          [
            1,
            1,
            1
          ]
        ],
        "rhs": [
          0.25,
          0.25,
          1
        ],
        "expected_status": "optimal",
        "expected_phase_one_primal": [
          0.5,
          0.25,
          0.25
        ],
        "expected_auxiliary": 0.0,
        "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
        "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
        "expected_reference_status": "optimal",
        "absolute_tolerance": 1e-08,
        "relative_tolerance": 0.0
      },
      {
        "id": "signed_triangle",
        "rows": 3,
        "columns": 3,
        "matrix": [
          [
            -1,
            1,
            -1
          ],
          [
            -1,
            -1,
            1
          ],
          [
            1,
            1,
            1
          ]
        ],
        "rhs": [
          -0.5,
          -0.5,
          1
        ],
        "expected_status": "optimal",
        "expected_phase_one_primal": [
          0.5,
          0.25,
          0.25
        ],
        "expected_auxiliary": 0.0,
        "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
        "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
        "expected_reference_status": "optimal",
        "absolute_tolerance": 1e-08,
        "relative_tolerance": 0.0
      },
      {
        "id": "edge",
        "rows": 3,
        "columns": 3,
        "matrix": [
          [
            0,
            1,
            0
          ],
          [
            0,
            0,
            1
          ],
          [
            1,
            1,
            1
          ]
        ],
        "rhs": [
          0.5,
          0,
          1
        ],
        "expected_status": "optimal",
        "expected_phase_one_primal": [
          0.5,
          0.5,
          0.0
        ],
        "expected_auxiliary": 0.0,
        "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
        "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
        "expected_reference_status": "optimal",
        "absolute_tolerance": 1e-08,
        "relative_tolerance": 0.0
      },
      {
        "id": "duplicate_tie",
        "rows": 2,
        "columns": 2,
        "matrix": [
          [
            1,
            1
          ],
          [
            1,
            1
          ]
        ],
        "rhs": [
          1,
          1
        ],
        "expected_status": "optimal",
        "expected_phase_one_primal": [
          1.0,
          0.0
        ],
        "expected_auxiliary": 0.0,
        "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
        "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
        "expected_reference_status": "optimal",
        "absolute_tolerance": 1e-08,
        "relative_tolerance": 0.0
      },
      {
        "id": "contradictory_rows",
        "rows": 2,
        "columns": 1,
        "matrix": [
          [
            1
          ],
          [
            1
          ]
        ],
        "rhs": [
          0,
          1
        ],
        "expected_status": "infeasible",
        "expected_phase_one_primal": [
          0.0
        ],
        "expected_auxiliary": 1.0,
        "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
        "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
        "expected_reference_status": "infeasible",
        "absolute_tolerance": 1e-08,
        "relative_tolerance": 0.0
      }
    ]
  },
  "measurement": {
    "warmups_per_fixture": 1,
    "repetitions_per_fixture": 7,
    "sides": [
      "phase-one-bland",
      "highs-reference"
    ],
    "execution_order": [
      {
        "repetition": 0,
        "sequence": [
          {
            "fixture": "triangle",
            "side": "phase-one-bland",
            "order_index": 0
          },
          {
            "fixture": "triangle",
            "side": "highs-reference",
            "order_index": 1
          },
          {
            "fixture": "signed_triangle",
            "side": "highs-reference",
            "order_index": 2
          },
          {
            "fixture": "signed_triangle",
            "side": "phase-one-bland",
            "order_index": 3
          },
          {
            "fixture": "edge",
            "side": "phase-one-bland",
            "order_index": 4
          },
          {
            "fixture": "edge",
            "side": "highs-reference",
            "order_index": 5
          },
          {
            "fixture": "duplicate_tie",
            "side": "highs-reference",
            "order_index": 6
          },
          {
            "fixture": "duplicate_tie",
            "side": "phase-one-bland",
            "order_index": 7
          },
          {
            "fixture": "contradictory_rows",
            "side": "phase-one-bland",
            "order_index": 8
          },
          {
            "fixture": "contradictory_rows",
            "side": "highs-reference",
            "order_index": 9
          }
        ]
      },
      {
        "repetition": 1,
        "sequence": [
          {
            "fixture": "contradictory_rows",
            "side": "highs-reference",
            "order_index": 0
          },
          {
            "fixture": "contradictory_rows",
            "side": "phase-one-bland",
            "order_index": 1
          },
          {
            "fixture": "duplicate_tie",
            "side": "phase-one-bland",
            "order_index": 2
          },
          {
            "fixture": "duplicate_tie",
            "side": "highs-reference",
            "order_index": 3
          },
          {
            "fixture": "edge",
            "side": "highs-reference",
            "order_index": 4
          },
          {
            "fixture": "edge",
            "side": "phase-one-bland",
            "order_index": 5
          },
          {
            "fixture": "signed_triangle",
            "side": "phase-one-bland",
            "order_index": 6
          },
          {
            "fixture": "signed_triangle",
            "side": "highs-reference",
            "order_index": 7
          },
          {
            "fixture": "triangle",
            "side": "highs-reference",
            "order_index": 8
          },
          {
            "fixture": "triangle",
            "side": "phase-one-bland",
            "order_index": 9
          }
        ]
      },
      {
        "repetition": 2,
        "sequence": [
          {
            "fixture": "triangle",
            "side": "phase-one-bland",
            "order_index": 0
          },
          {
            "fixture": "triangle",
            "side": "highs-reference",
            "order_index": 1
          },
          {
            "fixture": "signed_triangle",
            "side": "highs-reference",
            "order_index": 2
          },
          {
            "fixture": "signed_triangle",
            "side": "phase-one-bland",
            "order_index": 3
          },
          {
            "fixture": "edge",
            "side": "phase-one-bland",
            "order_index": 4
          },
          {
            "fixture": "edge",
            "side": "highs-reference",
            "order_index": 5
          },
          {
            "fixture": "duplicate_tie",
            "side": "highs-reference",
            "order_index": 6
          },
          {
            "fixture": "duplicate_tie",
            "side": "phase-one-bland",
            "order_index": 7
          },
          {
            "fixture": "contradictory_rows",
            "side": "phase-one-bland",
            "order_index": 8
          },
          {
            "fixture": "contradictory_rows",
            "side": "highs-reference",
            "order_index": 9
          }
        ]
      },
      {
        "repetition": 3,
        "sequence": [
          {
            "fixture": "contradictory_rows",
            "side": "highs-reference",
            "order_index": 0
          },
          {
            "fixture": "contradictory_rows",
            "side": "phase-one-bland",
            "order_index": 1
          },
          {
            "fixture": "duplicate_tie",
            "side": "phase-one-bland",
            "order_index": 2
          },
          {
            "fixture": "duplicate_tie",
            "side": "highs-reference",
            "order_index": 3
          },
          {
            "fixture": "edge",
            "side": "highs-reference",
            "order_index": 4
          },
          {
            "fixture": "edge",
            "side": "phase-one-bland",
            "order_index": 5
          },
          {
            "fixture": "signed_triangle",
            "side": "phase-one-bland",
            "order_index": 6
          },
          {
            "fixture": "signed_triangle",
            "side": "highs-reference",
            "order_index": 7
          },
          {
            "fixture": "triangle",
            "side": "highs-reference",
            "order_index": 8
          },
          {
            "fixture": "triangle",
            "side": "phase-one-bland",
            "order_index": 9
          }
        ]
      },
      {
        "repetition": 4,
        "sequence": [
          {
            "fixture": "triangle",
            "side": "phase-one-bland",
            "order_index": 0
          },
          {
            "fixture": "triangle",
            "side": "highs-reference",
            "order_index": 1
          },
          {
            "fixture": "signed_triangle",
            "side": "highs-reference",
            "order_index": 2
          },
          {
            "fixture": "signed_triangle",
            "side": "phase-one-bland",
            "order_index": 3
          },
          {
            "fixture": "edge",
            "side": "phase-one-bland",
            "order_index": 4
          },
          {
            "fixture": "edge",
            "side": "highs-reference",
            "order_index": 5
          },
          {
            "fixture": "duplicate_tie",
            "side": "highs-reference",
            "order_index": 6
          },
          {
            "fixture": "duplicate_tie",
            "side": "phase-one-bland",
            "order_index": 7
          },
          {
            "fixture": "contradictory_rows",
            "side": "phase-one-bland",
            "order_index": 8
          },
          {
            "fixture": "contradictory_rows",
            "side": "highs-reference",
            "order_index": 9
          }
        ]
      },
      {
        "repetition": 5,
        "sequence": [
          {
            "fixture": "contradictory_rows",
            "side": "highs-reference",
            "order_index": 0
          },
          {
            "fixture": "contradictory_rows",
            "side": "phase-one-bland",
            "order_index": 1
          },
          {
            "fixture": "duplicate_tie",
            "side": "phase-one-bland",
            "order_index": 2
          },
          {
            "fixture": "duplicate_tie",
            "side": "highs-reference",
            "order_index": 3
          },
          {
            "fixture": "edge",
            "side": "highs-reference",
            "order_index": 4
          },
          {
            "fixture": "edge",
            "side": "phase-one-bland",
            "order_index": 5
          },
          {
            "fixture": "signed_triangle",
            "side": "phase-one-bland",
            "order_index": 6
          },
          {
            "fixture": "signed_triangle",
            "side": "highs-reference",
            "order_index": 7
          },
          {
            "fixture": "triangle",
            "side": "highs-reference",
            "order_index": 8
          },
          {
            "fixture": "triangle",
            "side": "phase-one-bland",
            "order_index": 9
          }
        ]
      },
      {
        "repetition": 6,
        "sequence": [
          {
            "fixture": "triangle",
            "side": "phase-one-bland",
            "order_index": 0
          },
          {
            "fixture": "triangle",
            "side": "highs-reference",
            "order_index": 1
          },
          {
            "fixture": "signed_triangle",
            "side": "highs-reference",
            "order_index": 2
          },
          {
            "fixture": "signed_triangle",
            "side": "phase-one-bland",
            "order_index": 3
          },
          {
            "fixture": "edge",
            "side": "phase-one-bland",
            "order_index": 4
          },
          {
            "fixture": "edge",
            "side": "highs-reference",
            "order_index": 5
          },
          {
            "fixture": "duplicate_tie",
            "side": "highs-reference",
            "order_index": 6
          },
          {
            "fixture": "duplicate_tie",
            "side": "phase-one-bland",
            "order_index": 7
          },
          {
            "fixture": "contradictory_rows",
            "side": "phase-one-bland",
            "order_index": 8
          },
          {
            "fixture": "contradictory_rows",
            "side": "highs-reference",
            "order_index": 9
          }
        ]
      }
    ],
    "execution_policy": {
      "arithmetic": {
        "format": "IEEE-754 binary64",
        "validated_arithmetic": false,
        "rounding_mode": null,
        "rounding_mode_reason": "runtime rounding mode is not observed"
      },
      "seed": {
        "value": null,
        "status": "not_applicable",
        "reason": "the fixtures and configured solver profiles use no randomized algorithm"
      },
      "requested": {
        "resource_context": {
          "total_threads": 1,
          "outer_workers": 1,
          "threads_per_worker": 1
        },
        "solver_profiles": {
          "phase-one-bland": {
            "native_threads": "not_applicable",
            "reason": "single-threaded in-process implementation"
          },
          "highs-reference": {
            "solver": "simplex",
            "presolve": "off",
            "parallel": "off",
            "native_threads": 1
          }
        }
      },
      "actual": {
        "outer_workers": {
          "value": null,
          "reason": "runtime worker observations are not emitted by this harness"
        },
        "native_threads": {
          "value": null,
          "reason": "OS/native thread observations are not collected by this harness"
        }
      }
    },
    "timing_boundaries": {
      "setup": "program publication, registration, selection, preparation and fresh workspace creation",
      "public_run": "BoundWorkspace.run",
      "verification": "independent expected outcome, candidate, equality residual and nonnegativity checks",
      "end_to_end": "fixture construction through independent verification; excludes process startup and serialization"
    }
  },
  "warmup_trials": [
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 67800,
        "public_run": 134400,
        "verification": 19300,
        "end_to_end": 221900
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "triangle-warmup-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 0,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 15400,
        "public_run": 794000,
        "verification": 7200,
        "end_to_end": 816900
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "triangle-warmup-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 1,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 7000,
        "public_run": 29100,
        "verification": 6100,
        "end_to_end": 42400
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "signed_triangle-warmup-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 1,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 2,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 4600,
        "public_run": 201800,
        "verification": 5900,
        "end_to_end": 212500
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "signed_triangle-warmup-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 3,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 5300,
        "public_run": 23600,
        "verification": 6000,
        "end_to_end": 35000
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "edge-warmup-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 2,
        "outcome": "optimal",
        "pivots": 2,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 4,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 4100,
        "public_run": 255400,
        "verification": 8400,
        "end_to_end": 268000
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "edge-warmup-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 5,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 7700,
        "public_run": 26900,
        "verification": 11100,
        "end_to_end": 46200
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "duplicate_tie-warmup-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 1,
        "outcome": "optimal",
        "pivots": 1,
        "primal": [
          1.0,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 6,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 8600,
        "public_run": 221000,
        "verification": 7100,
        "end_to_end": 236900
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "duplicate_tie-warmup-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.0,
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 7,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 1.0,
      "durations_ns": {
        "setup": 5000,
        "public_run": 18100,
        "verification": 3200,
        "end_to_end": 26400
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 1.0,
      "pair_id": "contradictory_rows-warmup-0",
      "reference_status": "infeasible",
      "repetition": 0,
      "result": {
        "auxiliary": 1.0,
        "degenerate_pivots": 1,
        "factorizations": 1,
        "outcome": "infeasible",
        "pivots": 1,
        "primal": [
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 8,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 3700,
        "public_run": 207200,
        "verification": 1800,
        "end_to_end": 212900
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "contradictory_rows-warmup-0",
      "reference_status": "infeasible",
      "repetition": 0,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "infeasible",
        "pivots": null,
        "primal": [
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 9,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    }
  ],
  "trials": [
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 5100,
        "public_run": 24000,
        "verification": 6500,
        "end_to_end": 35800
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "triangle-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 10,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 6200,
        "public_run": 283500,
        "verification": 7600,
        "end_to_end": 297400
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "triangle-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 11,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 6400,
        "public_run": 219100,
        "verification": 6200,
        "end_to_end": 231800
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "signed_triangle-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 12,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 5600,
        "public_run": 27800,
        "verification": 6500,
        "end_to_end": 40100
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "signed_triangle-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 1,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 13,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 5500,
        "public_run": 18800,
        "verification": 5800,
        "end_to_end": 30300
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "edge-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 2,
        "outcome": "optimal",
        "pivots": 2,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 14,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 4800,
        "public_run": 279200,
        "verification": 7000,
        "end_to_end": 291000
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "edge-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 15,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 5100,
        "public_run": 222200,
        "verification": 12200,
        "end_to_end": 239800
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "duplicate_tie-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.0,
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 16,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 10000,
        "public_run": 26100,
        "verification": 9900,
        "end_to_end": 46300
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "duplicate_tie-0",
      "reference_status": "optimal",
      "repetition": 0,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 1,
        "outcome": "optimal",
        "pivots": 1,
        "primal": [
          1.0,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 17,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 1.0,
      "durations_ns": {
        "setup": 5800,
        "public_run": 22900,
        "verification": 4700,
        "end_to_end": 33700
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 1.0,
      "pair_id": "contradictory_rows-0",
      "reference_status": "infeasible",
      "repetition": 0,
      "result": {
        "auxiliary": 1.0,
        "degenerate_pivots": 1,
        "factorizations": 1,
        "outcome": "infeasible",
        "pivots": 1,
        "primal": [
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 18,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 7000,
        "public_run": 267500,
        "verification": 3000,
        "end_to_end": 278200
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "contradictory_rows-0",
      "reference_status": "infeasible",
      "repetition": 0,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "infeasible",
        "pivots": null,
        "primal": [
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 19,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 5500,
        "public_run": 227500,
        "verification": 2300,
        "end_to_end": 235400
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "contradictory_rows-1",
      "reference_status": "infeasible",
      "repetition": 1,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "infeasible",
        "pivots": null,
        "primal": [
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 20,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 1.0,
      "durations_ns": {
        "setup": 7000,
        "public_run": 21500,
        "verification": 3100,
        "end_to_end": 32000
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 1.0,
      "pair_id": "contradictory_rows-1",
      "reference_status": "infeasible",
      "repetition": 1,
      "result": {
        "auxiliary": 1.0,
        "degenerate_pivots": 1,
        "factorizations": 1,
        "outcome": "infeasible",
        "pivots": 1,
        "primal": [
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 21,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 3800,
        "public_run": 15100,
        "verification": 7100,
        "end_to_end": 26100
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "duplicate_tie-1",
      "reference_status": "optimal",
      "repetition": 1,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 1,
        "outcome": "optimal",
        "pivots": 1,
        "primal": [
          1.0,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 22,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 4400,
        "public_run": 208200,
        "verification": 6400,
        "end_to_end": 219200
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "duplicate_tie-1",
      "reference_status": "optimal",
      "repetition": 1,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.0,
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 23,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 4800,
        "public_run": 193600,
        "verification": 6500,
        "end_to_end": 205000
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "edge-1",
      "reference_status": "optimal",
      "repetition": 1,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 24,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 9500,
        "public_run": 23800,
        "verification": 5900,
        "end_to_end": 39400
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "edge-1",
      "reference_status": "optimal",
      "repetition": 1,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 2,
        "outcome": "optimal",
        "pivots": 2,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 25,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 4800,
        "public_run": 21300,
        "verification": 5500,
        "end_to_end": 31800
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "signed_triangle-1",
      "reference_status": "optimal",
      "repetition": 1,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 1,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 26,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 4100,
        "public_run": 200200,
        "verification": 6000,
        "end_to_end": 210500
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "signed_triangle-1",
      "reference_status": "optimal",
      "repetition": 1,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 27,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 5200,
        "public_run": 182600,
        "verification": 5700,
        "end_to_end": 193700
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "triangle-1",
      "reference_status": "optimal",
      "repetition": 1,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 28,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 5200,
        "public_run": 25800,
        "verification": 5800,
        "end_to_end": 37000
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "triangle-1",
      "reference_status": "optimal",
      "repetition": 1,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 29,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 3300,
        "public_run": 18300,
        "verification": 5200,
        "end_to_end": 26900
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "triangle-2",
      "reference_status": "optimal",
      "repetition": 2,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 30,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 4200,
        "public_run": 190000,
        "verification": 5700,
        "end_to_end": 200000
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "triangle-2",
      "reference_status": "optimal",
      "repetition": 2,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 31,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 4600,
        "public_run": 185900,
        "verification": 6600,
        "end_to_end": 197300
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "signed_triangle-2",
      "reference_status": "optimal",
      "repetition": 2,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 32,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 6700,
        "public_run": 26700,
        "verification": 6000,
        "end_to_end": 39700
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "signed_triangle-2",
      "reference_status": "optimal",
      "repetition": 2,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 1,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 33,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 4500,
        "public_run": 15100,
        "verification": 5100,
        "end_to_end": 24900
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "edge-2",
      "reference_status": "optimal",
      "repetition": 2,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 2,
        "outcome": "optimal",
        "pivots": 2,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 34,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 3500,
        "public_run": 294300,
        "verification": 6800,
        "end_to_end": 304900
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "edge-2",
      "reference_status": "optimal",
      "repetition": 2,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 35,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 7900,
        "public_run": 205300,
        "verification": 6500,
        "end_to_end": 220000
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "duplicate_tie-2",
      "reference_status": "optimal",
      "repetition": 2,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.0,
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 36,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 5600,
        "public_run": 17000,
        "verification": 6900,
        "end_to_end": 29800
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "duplicate_tie-2",
      "reference_status": "optimal",
      "repetition": 2,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 1,
        "outcome": "optimal",
        "pivots": 1,
        "primal": [
          1.0,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 37,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 1.0,
      "durations_ns": {
        "setup": 4200,
        "public_run": 28000,
        "verification": 2900,
        "end_to_end": 35400
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 1.0,
      "pair_id": "contradictory_rows-2",
      "reference_status": "infeasible",
      "repetition": 2,
      "result": {
        "auxiliary": 1.0,
        "degenerate_pivots": 1,
        "factorizations": 1,
        "outcome": "infeasible",
        "pivots": 1,
        "primal": [
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 38,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 5200,
        "public_run": 187100,
        "verification": 2100,
        "end_to_end": 194600
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "contradictory_rows-2",
      "reference_status": "infeasible",
      "repetition": 2,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "infeasible",
        "pivots": null,
        "primal": [
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 39,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 3900,
        "public_run": 201600,
        "verification": 1900,
        "end_to_end": 207600
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "contradictory_rows-3",
      "reference_status": "infeasible",
      "repetition": 3,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "infeasible",
        "pivots": null,
        "primal": [
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 40,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 1.0,
      "durations_ns": {
        "setup": 5900,
        "public_run": 16500,
        "verification": 3000,
        "end_to_end": 25600
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 1.0,
      "pair_id": "contradictory_rows-3",
      "reference_status": "infeasible",
      "repetition": 3,
      "result": {
        "auxiliary": 1.0,
        "degenerate_pivots": 1,
        "factorizations": 1,
        "outcome": "infeasible",
        "pivots": 1,
        "primal": [
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 41,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 3000,
        "public_run": 11400,
        "verification": 6400,
        "end_to_end": 21000
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "duplicate_tie-3",
      "reference_status": "optimal",
      "repetition": 3,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 1,
        "outcome": "optimal",
        "pivots": 1,
        "primal": [
          1.0,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 42,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 3500,
        "public_run": 262800,
        "verification": 14400,
        "end_to_end": 280900
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "duplicate_tie-3",
      "reference_status": "optimal",
      "repetition": 3,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.0,
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 43,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 8600,
        "public_run": 210100,
        "verification": 10000,
        "end_to_end": 228800
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "edge-3",
      "reference_status": "optimal",
      "repetition": 3,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 44,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 8900,
        "public_run": 26700,
        "verification": 15100,
        "end_to_end": 51000
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "edge-3",
      "reference_status": "optimal",
      "repetition": 3,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 2,
        "outcome": "optimal",
        "pivots": 2,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 45,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 5000,
        "public_run": 21800,
        "verification": 5800,
        "end_to_end": 32800
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "signed_triangle-3",
      "reference_status": "optimal",
      "repetition": 3,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 1,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 46,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 5600,
        "public_run": 248600,
        "verification": 10100,
        "end_to_end": 264400
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "signed_triangle-3",
      "reference_status": "optimal",
      "repetition": 3,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 47,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 19900,
        "public_run": 257600,
        "verification": 8600,
        "end_to_end": 286400
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "triangle-3",
      "reference_status": "optimal",
      "repetition": 3,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 48,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 14400,
        "public_run": 50500,
        "verification": 12100,
        "end_to_end": 77300
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "triangle-3",
      "reference_status": "optimal",
      "repetition": 3,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 49,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 5600,
        "public_run": 32600,
        "verification": 7800,
        "end_to_end": 46200
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "triangle-4",
      "reference_status": "optimal",
      "repetition": 4,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 50,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 6200,
        "public_run": 261800,
        "verification": 7300,
        "end_to_end": 275500
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "triangle-4",
      "reference_status": "optimal",
      "repetition": 4,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 51,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 6900,
        "public_run": 235500,
        "verification": 6800,
        "end_to_end": 249400
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "signed_triangle-4",
      "reference_status": "optimal",
      "repetition": 4,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 52,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 6800,
        "public_run": 36100,
        "verification": 6200,
        "end_to_end": 49500
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "signed_triangle-4",
      "reference_status": "optimal",
      "repetition": 4,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 1,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 53,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 7400,
        "public_run": 38800,
        "verification": 10000,
        "end_to_end": 56400
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "edge-4",
      "reference_status": "optimal",
      "repetition": 4,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 2,
        "outcome": "optimal",
        "pivots": 2,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 54,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 4900,
        "public_run": 203500,
        "verification": 6700,
        "end_to_end": 215300
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "edge-4",
      "reference_status": "optimal",
      "repetition": 4,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 55,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 7000,
        "public_run": 235000,
        "verification": 7700,
        "end_to_end": 249900
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "duplicate_tie-4",
      "reference_status": "optimal",
      "repetition": 4,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.0,
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 56,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 7100,
        "public_run": 26900,
        "verification": 7500,
        "end_to_end": 41900
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "duplicate_tie-4",
      "reference_status": "optimal",
      "repetition": 4,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 1,
        "outcome": "optimal",
        "pivots": 1,
        "primal": [
          1.0,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 57,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 1.0,
      "durations_ns": {
        "setup": 5200,
        "public_run": 15500,
        "verification": 3300,
        "end_to_end": 24200
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 1.0,
      "pair_id": "contradictory_rows-4",
      "reference_status": "infeasible",
      "repetition": 4,
      "result": {
        "auxiliary": 1.0,
        "degenerate_pivots": 1,
        "factorizations": 1,
        "outcome": "infeasible",
        "pivots": 1,
        "primal": [
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 58,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 3900,
        "public_run": 215300,
        "verification": 2100,
        "end_to_end": 221400
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "contradictory_rows-4",
      "reference_status": "infeasible",
      "repetition": 4,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "infeasible",
        "pivots": null,
        "primal": [
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 59,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 5400,
        "public_run": 213500,
        "verification": 1900,
        "end_to_end": 221000
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "contradictory_rows-5",
      "reference_status": "infeasible",
      "repetition": 5,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "infeasible",
        "pivots": null,
        "primal": [
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 60,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 1.0,
      "durations_ns": {
        "setup": 12300,
        "public_run": 21000,
        "verification": 3000,
        "end_to_end": 36500
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 1.0,
      "pair_id": "contradictory_rows-5",
      "reference_status": "infeasible",
      "repetition": 5,
      "result": {
        "auxiliary": 1.0,
        "degenerate_pivots": 1,
        "factorizations": 1,
        "outcome": "infeasible",
        "pivots": 1,
        "primal": [
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 61,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 3400,
        "public_run": 12700,
        "verification": 6700,
        "end_to_end": 23000
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "duplicate_tie-5",
      "reference_status": "optimal",
      "repetition": 5,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 1,
        "outcome": "optimal",
        "pivots": 1,
        "primal": [
          1.0,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 62,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 5200,
        "public_run": 191800,
        "verification": 6200,
        "end_to_end": 203400
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "duplicate_tie-5",
      "reference_status": "optimal",
      "repetition": 5,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.0,
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 63,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 5500,
        "public_run": 205400,
        "verification": 6700,
        "end_to_end": 217700
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "edge-5",
      "reference_status": "optimal",
      "repetition": 5,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 64,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 6200,
        "public_run": 24900,
        "verification": 6200,
        "end_to_end": 37400
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "edge-5",
      "reference_status": "optimal",
      "repetition": 5,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 2,
        "outcome": "optimal",
        "pivots": 2,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 65,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 4400,
        "public_run": 21300,
        "verification": 5300,
        "end_to_end": 31400
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "signed_triangle-5",
      "reference_status": "optimal",
      "repetition": 5,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 1,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 66,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 5000,
        "public_run": 200200,
        "verification": 6000,
        "end_to_end": 211500
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "signed_triangle-5",
      "reference_status": "optimal",
      "repetition": 5,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 67,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 4800,
        "public_run": 186400,
        "verification": 5800,
        "end_to_end": 197300
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "triangle-5",
      "reference_status": "optimal",
      "repetition": 5,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 68,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 6100,
        "public_run": 25300,
        "verification": 5900,
        "end_to_end": 37500
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "triangle-5",
      "reference_status": "optimal",
      "repetition": 5,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 69,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 3400,
        "public_run": 22500,
        "verification": 5800,
        "end_to_end": 31800
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "triangle-6",
      "reference_status": "optimal",
      "repetition": 6,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 70,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 3700,
        "public_run": 202700,
        "verification": 6500,
        "end_to_end": 213000
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "triangle",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.25,
          0.25,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "triangle-6",
      "reference_status": "optimal",
      "repetition": 6,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 71,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "a0618bc1bb8dfc5de214e5517dd312c80cdbd7d3c78340fc8805edc4bd592461",
      "scenario_sha256": "f726a475738dac733669e558f01495fac4dba6c7c9496ad1fb74db50a6c4a4a0",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 5500,
        "public_run": 188700,
        "verification": 6500,
        "end_to_end": 200800
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "signed_triangle-6",
      "reference_status": "optimal",
      "repetition": 6,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 72,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 5900,
        "public_run": 26000,
        "verification": 6300,
        "end_to_end": 38400
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "signed_triangle",
      "input": {
        "matrix": [
          [
            -1.0,
            1.0,
            -1.0
          ],
          [
            -1.0,
            -1.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          -0.5,
          -0.5,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "signed_triangle-6",
      "reference_status": "optimal",
      "repetition": 6,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 1,
        "factorizations": 3,
        "outcome": "optimal",
        "pivots": 3,
        "primal": [
          0.5,
          0.25,
          0.25
        ],
        "termination": "completed"
      },
      "sequence": 73,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "5c031c1d2cb6ddd1e95a65f064cc88a0d92d9de6eaeee764f0d0a443733d5908",
      "scenario_sha256": "1a72129447d8d2c160d3a3e4425ff596e52c43cfa53db6d38c0b073c2fa4f38e",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.25,
            0.25
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 3800,
        "public_run": 14900,
        "verification": 5100,
        "end_to_end": 23900
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "edge-6",
      "reference_status": "optimal",
      "repetition": 6,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 2,
        "outcome": "optimal",
        "pivots": 2,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 74,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 5600,
        "public_run": 220200,
        "verification": 6200,
        "end_to_end": 232100
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "edge",
      "input": {
        "matrix": [
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ],
          [
            1.0,
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.5,
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "edge-6",
      "reference_status": "optimal",
      "repetition": 6,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.5,
          0.5,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 75,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "f377b847fbf7639ad92076226609c0915966f3b9e86160e27c46a05a1d819368",
      "scenario_sha256": "fbe041672e763f60e4fe66b94fe59de38a53965900fea5f524ae22447094f6af",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.5,
            0.5,
            0.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 4600,
        "public_run": 180900,
        "verification": 6100,
        "end_to_end": 191900
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "independent_feasible_witness",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "duplicate_tie-6",
      "reference_status": "optimal",
      "repetition": 6,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "optimal",
        "pivots": null,
        "primal": [
          0.0,
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 76,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 0.0,
      "durations_ns": {
        "setup": 5800,
        "public_run": 16500,
        "verification": 6900,
        "end_to_end": 29400
      },
      "error": null,
      "expected_status": "optimal",
      "fixture": "duplicate_tie",
      "input": {
        "matrix": [
          [
            1.0,
            1.0
          ],
          [
            1.0,
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0,
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          1.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "optimal",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_expected_candidate",
          "passed": true
        },
        {
          "name": "original_equalities",
          "passed": true
        },
        {
          "name": "nonnegative_variables",
          "passed": true
        },
        {
          "name": "zero_original_objective",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 0.0,
      "pair_id": "duplicate_tie-6",
      "reference_status": "optimal",
      "repetition": 6,
      "result": {
        "auxiliary": 0.0,
        "degenerate_pivots": 0,
        "factorizations": 1,
        "outcome": "optimal",
        "pivots": 1,
        "primal": [
          1.0,
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 77,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "3987816bbc0ecdc49d284d463eaf358fbef818345f4f1f1eb95a5d23da4dec96",
      "scenario_sha256": "65071af46f42f5f59715305c1f422bf35067557a4103e25c5454d2c0bd6aaa9c",
      "paired_outcomes": {
        "phase_one": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            1.0,
            0.0
          ],
          "auxiliary": 0.0
        },
        "highs_reference": {
          "status": "optimal",
          "termination": "completed",
          "primal": [
            0.0,
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": 0.0,
      "auxiliary_value": 1.0,
      "durations_ns": {
        "setup": 3700,
        "public_run": 28200,
        "verification": 3000,
        "end_to_end": 35000
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": 0.0,
      "objective_value": 0.0,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        },
        {
          "name": "literal_auxiliary_value",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": 1.0,
      "pair_id": "contradictory_rows-6",
      "reference_status": "infeasible",
      "repetition": 6,
      "result": {
        "auxiliary": 1.0,
        "degenerate_pivots": 1,
        "factorizations": 1,
        "outcome": "infeasible",
        "pivots": 1,
        "primal": [
          0.0
        ],
        "termination": "completed"
      },
      "sequence": 78,
      "side": "phase-one-bland",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    },
    {
      "auxiliary_residual": null,
      "auxiliary_value": null,
      "durations_ns": {
        "setup": 3300,
        "public_run": 192500,
        "verification": 1900,
        "end_to_end": 197800
      },
      "error": null,
      "expected_status": "infeasible",
      "fixture": "contradictory_rows",
      "input": {
        "matrix": [
          [
            1.0
          ],
          [
            1.0
          ]
        ],
        "objective_coefficients": [
          0.0
        ],
        "objective_constant": 0.0,
        "rhs": [
          0.0,
          1.0
        ],
        "row_relation": "equality",
        "variable_lower_bound": 0.0,
        "variable_upper_bound": null
      },
      "nonnegative_max_violation": null,
      "objective_value": null,
      "observed_status": "infeasible",
      "oracle_checks": [
        {
          "name": "expected_status",
          "passed": true
        }
      ],
      "oracle_match": true,
      "original_rows_max_violation": null,
      "pair_id": "contradictory_rows-6",
      "reference_status": "infeasible",
      "repetition": 6,
      "result": {
        "auxiliary": null,
        "degenerate_pivots": null,
        "factorizations": null,
        "outcome": "infeasible",
        "pivots": null,
        "primal": [
          1.0
        ],
        "termination": "completed"
      },
      "sequence": 79,
      "side": "highs-reference",
      "status": "passed",
      "tolerances": {
        "absolute": 1e-08,
        "relative": 0.0
      },
      "work_observed": true,
      "input_sha256": "56f8fd68f29438792f1934f0605638ef29701ead5dbdf423c7012e98620194e5",
      "scenario_sha256": "4ef4d1e45a76ce039174262b6b4533ed4aaa13722a6aaa0740edf36630b0f336",
      "paired_outcomes": {
        "phase_one": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            0.0
          ],
          "auxiliary": 1.0
        },
        "highs_reference": {
          "status": "infeasible",
          "termination": "completed",
          "primal": [
            1.0
          ]
        }
      }
    }
  ],
  "summary": {
    "failure_count": 0,
    "missing_count": 0,
    "valid": true,
    "rows": [
      {
        "fixture": "triangle",
        "side": "phase-one-bland",
        "phase": "setup",
        "median_ns": 5200,
        "min_ns": 3300,
        "max_ns": 14400,
        "count": 7
      },
      {
        "fixture": "triangle",
        "side": "phase-one-bland",
        "phase": "public_run",
        "median_ns": 25300,
        "min_ns": 18300,
        "max_ns": 50500,
        "count": 7
      },
      {
        "fixture": "triangle",
        "side": "phase-one-bland",
        "phase": "verification",
        "median_ns": 5900,
        "min_ns": 5200,
        "max_ns": 12100,
        "count": 7
      },
      {
        "fixture": "triangle",
        "side": "phase-one-bland",
        "phase": "end_to_end",
        "median_ns": 37000,
        "min_ns": 26900,
        "max_ns": 77300,
        "count": 7
      },
      {
        "fixture": "triangle",
        "side": "highs-reference",
        "phase": "setup",
        "median_ns": 5200,
        "min_ns": 3700,
        "max_ns": 19900,
        "count": 7
      },
      {
        "fixture": "triangle",
        "side": "highs-reference",
        "phase": "public_run",
        "median_ns": 202700,
        "min_ns": 182600,
        "max_ns": 283500,
        "count": 7
      },
      {
        "fixture": "triangle",
        "side": "highs-reference",
        "phase": "verification",
        "median_ns": 6500,
        "min_ns": 5700,
        "max_ns": 8600,
        "count": 7
      },
      {
        "fixture": "triangle",
        "side": "highs-reference",
        "phase": "end_to_end",
        "median_ns": 213000,
        "min_ns": 193700,
        "max_ns": 297400,
        "count": 7
      },
      {
        "fixture": "signed_triangle",
        "side": "phase-one-bland",
        "phase": "setup",
        "median_ns": 5600,
        "min_ns": 4400,
        "max_ns": 6800,
        "count": 7
      },
      {
        "fixture": "signed_triangle",
        "side": "phase-one-bland",
        "phase": "public_run",
        "median_ns": 26000,
        "min_ns": 21300,
        "max_ns": 36100,
        "count": 7
      },
      {
        "fixture": "signed_triangle",
        "side": "phase-one-bland",
        "phase": "verification",
        "median_ns": 6000,
        "min_ns": 5300,
        "max_ns": 6500,
        "count": 7
      },
      {
        "fixture": "signed_triangle",
        "side": "phase-one-bland",
        "phase": "end_to_end",
        "median_ns": 38400,
        "min_ns": 31400,
        "max_ns": 49500,
        "count": 7
      },
      {
        "fixture": "signed_triangle",
        "side": "highs-reference",
        "phase": "setup",
        "median_ns": 5500,
        "min_ns": 4100,
        "max_ns": 6900,
        "count": 7
      },
      {
        "fixture": "signed_triangle",
        "side": "highs-reference",
        "phase": "public_run",
        "median_ns": 200200,
        "min_ns": 185900,
        "max_ns": 248600,
        "count": 7
      },
      {
        "fixture": "signed_triangle",
        "side": "highs-reference",
        "phase": "verification",
        "median_ns": 6500,
        "min_ns": 6000,
        "max_ns": 10100,
        "count": 7
      },
      {
        "fixture": "signed_triangle",
        "side": "highs-reference",
        "phase": "end_to_end",
        "median_ns": 211500,
        "min_ns": 197300,
        "max_ns": 264400,
        "count": 7
      },
      {
        "fixture": "edge",
        "side": "phase-one-bland",
        "phase": "setup",
        "median_ns": 6200,
        "min_ns": 3800,
        "max_ns": 9500,
        "count": 7
      },
      {
        "fixture": "edge",
        "side": "phase-one-bland",
        "phase": "public_run",
        "median_ns": 23800,
        "min_ns": 14900,
        "max_ns": 38800,
        "count": 7
      },
      {
        "fixture": "edge",
        "side": "phase-one-bland",
        "phase": "verification",
        "median_ns": 5900,
        "min_ns": 5100,
        "max_ns": 15100,
        "count": 7
      },
      {
        "fixture": "edge",
        "side": "phase-one-bland",
        "phase": "end_to_end",
        "median_ns": 37400,
        "min_ns": 23900,
        "max_ns": 56400,
        "count": 7
      },
      {
        "fixture": "edge",
        "side": "highs-reference",
        "phase": "setup",
        "median_ns": 4900,
        "min_ns": 3500,
        "max_ns": 8600,
        "count": 7
      },
      {
        "fixture": "edge",
        "side": "highs-reference",
        "phase": "public_run",
        "median_ns": 210100,
        "min_ns": 193600,
        "max_ns": 294300,
        "count": 7
      },
      {
        "fixture": "edge",
        "side": "highs-reference",
        "phase": "verification",
        "median_ns": 6700,
        "min_ns": 6200,
        "max_ns": 10000,
        "count": 7
      },
      {
        "fixture": "edge",
        "side": "highs-reference",
        "phase": "end_to_end",
        "median_ns": 228800,
        "min_ns": 205000,
        "max_ns": 304900,
        "count": 7
      },
      {
        "fixture": "duplicate_tie",
        "side": "phase-one-bland",
        "phase": "setup",
        "median_ns": 5600,
        "min_ns": 3000,
        "max_ns": 10000,
        "count": 7
      },
      {
        "fixture": "duplicate_tie",
        "side": "phase-one-bland",
        "phase": "public_run",
        "median_ns": 16500,
        "min_ns": 11400,
        "max_ns": 26900,
        "count": 7
      },
      {
        "fixture": "duplicate_tie",
        "side": "phase-one-bland",
        "phase": "verification",
        "median_ns": 6900,
        "min_ns": 6400,
        "max_ns": 9900,
        "count": 7
      },
      {
        "fixture": "duplicate_tie",
        "side": "phase-one-bland",
        "phase": "end_to_end",
        "median_ns": 29400,
        "min_ns": 21000,
        "max_ns": 46300,
        "count": 7
      },
      {
        "fixture": "duplicate_tie",
        "side": "highs-reference",
        "phase": "setup",
        "median_ns": 5100,
        "min_ns": 3500,
        "max_ns": 7900,
        "count": 7
      },
      {
        "fixture": "duplicate_tie",
        "side": "highs-reference",
        "phase": "public_run",
        "median_ns": 208200,
        "min_ns": 180900,
        "max_ns": 262800,
        "count": 7
      },
      {
        "fixture": "duplicate_tie",
        "side": "highs-reference",
        "phase": "verification",
        "median_ns": 6500,
        "min_ns": 6100,
        "max_ns": 14400,
        "count": 7
      },
      {
        "fixture": "duplicate_tie",
        "side": "highs-reference",
        "phase": "end_to_end",
        "median_ns": 220000,
        "min_ns": 191900,
        "max_ns": 280900,
        "count": 7
      },
      {
        "fixture": "contradictory_rows",
        "side": "phase-one-bland",
        "phase": "setup",
        "median_ns": 5800,
        "min_ns": 3700,
        "max_ns": 12300,
        "count": 7
      },
      {
        "fixture": "contradictory_rows",
        "side": "phase-one-bland",
        "phase": "public_run",
        "median_ns": 21500,
        "min_ns": 15500,
        "max_ns": 28200,
        "count": 7
      },
      {
        "fixture": "contradictory_rows",
        "side": "phase-one-bland",
        "phase": "verification",
        "median_ns": 3000,
        "min_ns": 2900,
        "max_ns": 4700,
        "count": 7
      },
      {
        "fixture": "contradictory_rows",
        "side": "phase-one-bland",
        "phase": "end_to_end",
        "median_ns": 33700,
        "min_ns": 24200,
        "max_ns": 36500,
        "count": 7
      },
      {
        "fixture": "contradictory_rows",
        "side": "highs-reference",
        "phase": "setup",
        "median_ns": 5200,
        "min_ns": 3300,
        "max_ns": 7000,
        "count": 7
      },
      {
        "fixture": "contradictory_rows",
        "side": "highs-reference",
        "phase": "public_run",
        "median_ns": 213500,
        "min_ns": 187100,
        "max_ns": 267500,
        "count": 7
      },
      {
        "fixture": "contradictory_rows",
        "side": "highs-reference",
        "phase": "verification",
        "median_ns": 2100,
        "min_ns": 1900,
        "max_ns": 3000,
        "count": 7
      },
      {
        "fixture": "contradictory_rows",
        "side": "highs-reference",
        "phase": "end_to_end",
        "median_ns": 221000,
        "min_ns": 194600,
        "max_ns": 278200,
        "count": 7
      }
    ]
  },
  "collection_errors": [],
  "process_exit_code": 0,
  "aborted": false
}