{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":221900,"public_run":134400,"setup":67800,"verification":19300},"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":null,"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},"warmup":true,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":816900,"public_run":794000,"setup":15400,"verification":7200},"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":null,"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},"warmup":true,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":42400,"public_run":29100,"setup":7000,"verification":6100},"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":null,"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},"warmup":true,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":212500,"public_run":201800,"setup":4600,"verification":5900},"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":null,"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},"warmup":true,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":35000,"public_run":23600,"setup":5300,"verification":6000},"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":null,"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},"warmup":true,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":268000,"public_run":255400,"setup":4100,"verification":8400},"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":null,"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},"warmup":true,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":46200,"public_run":26900,"setup":7700,"verification":11100},"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":null,"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},"warmup":true,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":236900,"public_run":221000,"setup":8600,"verification":7100},"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":null,"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},"warmup":true,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":1.0,"durations_ns":{"end_to_end":26400,"public_run":18100,"setup":5000,"verification":3200},"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":null,"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},"warmup":true,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":212900,"public_run":207200,"setup":3700,"verification":1800},"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":null,"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},"warmup":true,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":35800,"public_run":24000,"setup":5100,"verification":6500},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":297400,"public_run":283500,"setup":6200,"verification":7600},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":231800,"public_run":219100,"setup":6400,"verification":6200},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":40100,"public_run":27800,"setup":5600,"verification":6500},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":30300,"public_run":18800,"setup":5500,"verification":5800},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":291000,"public_run":279200,"setup":4800,"verification":7000},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":239800,"public_run":222200,"setup":5100,"verification":12200},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":46300,"public_run":26100,"setup":10000,"verification":9900},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":1.0,"durations_ns":{"end_to_end":33700,"public_run":22900,"setup":5800,"verification":4700},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":278200,"public_run":267500,"setup":7000,"verification":3000},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":235400,"public_run":227500,"setup":5500,"verification":2300},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":1.0,"durations_ns":{"end_to_end":32000,"public_run":21500,"setup":7000,"verification":3100},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":26100,"public_run":15100,"setup":3800,"verification":7100},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":219200,"public_run":208200,"setup":4400,"verification":6400},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":205000,"public_run":193600,"setup":4800,"verification":6500},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":39400,"public_run":23800,"setup":9500,"verification":5900},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":31800,"public_run":21300,"setup":4800,"verification":5500},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":210500,"public_run":200200,"setup":4100,"verification":6000},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":193700,"public_run":182600,"setup":5200,"verification":5700},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":37000,"public_run":25800,"setup":5200,"verification":5800},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":26900,"public_run":18300,"setup":3300,"verification":5200},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":200000,"public_run":190000,"setup":4200,"verification":5700},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":197300,"public_run":185900,"setup":4600,"verification":6600},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":39700,"public_run":26700,"setup":6700,"verification":6000},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":24900,"public_run":15100,"setup":4500,"verification":5100},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":304900,"public_run":294300,"setup":3500,"verification":6800},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":220000,"public_run":205300,"setup":7900,"verification":6500},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":29800,"public_run":17000,"setup":5600,"verification":6900},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":1.0,"durations_ns":{"end_to_end":35400,"public_run":28000,"setup":4200,"verification":2900},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":194600,"public_run":187100,"setup":5200,"verification":2100},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":207600,"public_run":201600,"setup":3900,"verification":1900},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":1.0,"durations_ns":{"end_to_end":25600,"public_run":16500,"setup":5900,"verification":3000},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":21000,"public_run":11400,"setup":3000,"verification":6400},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":280900,"public_run":262800,"setup":3500,"verification":14400},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":228800,"public_run":210100,"setup":8600,"verification":10000},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":51000,"public_run":26700,"setup":8900,"verification":15100},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":32800,"public_run":21800,"setup":5000,"verification":5800},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":264400,"public_run":248600,"setup":5600,"verification":10100},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":286400,"public_run":257600,"setup":19900,"verification":8600},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":77300,"public_run":50500,"setup":14400,"verification":12100},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":46200,"public_run":32600,"setup":5600,"verification":7800},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":275500,"public_run":261800,"setup":6200,"verification":7300},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":249400,"public_run":235500,"setup":6900,"verification":6800},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":49500,"public_run":36100,"setup":6800,"verification":6200},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":56400,"public_run":38800,"setup":7400,"verification":10000},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":215300,"public_run":203500,"setup":4900,"verification":6700},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":249900,"public_run":235000,"setup":7000,"verification":7700},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":41900,"public_run":26900,"setup":7100,"verification":7500},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":1.0,"durations_ns":{"end_to_end":24200,"public_run":15500,"setup":5200,"verification":3300},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":221400,"public_run":215300,"setup":3900,"verification":2100},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":221000,"public_run":213500,"setup":5400,"verification":1900},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":1.0,"durations_ns":{"end_to_end":36500,"public_run":21000,"setup":12300,"verification":3000},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":23000,"public_run":12700,"setup":3400,"verification":6700},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":203400,"public_run":191800,"setup":5200,"verification":6200},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":217700,"public_run":205400,"setup":5500,"verification":6700},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":37400,"public_run":24900,"setup":6200,"verification":6200},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":31400,"public_run":21300,"setup":4400,"verification":5300},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":211500,"public_run":200200,"setup":5000,"verification":6000},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":197300,"public_run":186400,"setup":4800,"verification":5800},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":37500,"public_run":25300,"setup":6100,"verification":5900},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":31800,"public_run":22500,"setup":3400,"verification":5800},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":213000,"public_run":202700,"setup":3700,"verification":6500},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":200800,"public_run":188700,"setup":5500,"verification":6500},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":38400,"public_run":26000,"setup":5900,"verification":6300},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":23900,"public_run":14900,"setup":3800,"verification":5100},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":232100,"public_run":220200,"setup":5600,"verification":6200},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":191900,"public_run":180900,"setup":4600,"verification":6100},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":0.0,"durations_ns":{"end_to_end":29400,"public_run":16500,"setup":5800,"verification":6900},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":0.0,"auxiliary_value":1.0,"durations_ns":{"end_to_end":35000,"public_run":28200,"setup":3700,"verification":3000},"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":null,"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},"warmup":false,"work_observed":true}
{"auxiliary_residual":null,"auxiliary_value":null,"durations_ns":{"end_to_end":197800,"public_run":192500,"setup":3300,"verification":1900},"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":null,"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},"warmup":false,"work_observed":true}