{"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]}}}
{"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]}}}