{"conversion_run_ns": 1698400, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 1800, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 3500, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 0, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1733100, "vertices": 8, "vertices_json": [[-1.0000000000000002, -0.5000000000000001], [-0.5000000000000001, -1.0000000000000002], [1.0000000000000002, -0.5000000000000001], [0.5000000000000001, -1.0000000000000002], [-1.0000000000000002, 0.5000000000000001], [-0.5000000000000001, 1.0000000000000002], [1.0000000000000002, 0.5000000000000001], [0.5000000000000001, 1.0000000000000002]], "workspace_ns": 600}
{"conversion_run_ns": 257500, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 1800, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3500, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 0, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 285100, "vertices": 0, "vertices_json": [], "workspace_ns": 700}
{"conversion_run_ns": 1089800, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 2400, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 2700, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 0, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1108400, "vertices": 2, "vertices_json": [[0, 1], [2, 1]], "workspace_ns": 700}
{"conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 1600, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 436500, "reduction_status": "incomplete", "repetition": 0, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 478400, "vertices": 0, "vertices_json": [], "workspace_ns": 0}
{"conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 2400, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 442500, "reduction_status": "incomplete", "repetition": 1, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 481800, "vertices": 0, "vertices_json": [], "workspace_ns": 0}
{"conversion_run_ns": 1032700, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 1900, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 2700, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 1, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1051600, "vertices": 2, "vertices_json": [[0, 1], [2, 1]], "workspace_ns": 700}
{"conversion_run_ns": 218700, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 1700, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3100, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 1, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 234000, "vertices": 0, "vertices_json": [], "workspace_ns": 700}
{"conversion_run_ns": 1631600, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 1500, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 1900, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 1, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1661400, "vertices": 8, "vertices_json": [[-1.0000000000000002, -0.5000000000000001], [-0.5000000000000001, -1.0000000000000002], [1.0000000000000002, -0.5000000000000001], [0.5000000000000001, -1.0000000000000002], [-1.0000000000000002, 0.5000000000000001], [-0.5000000000000001, 1.0000000000000002], [1.0000000000000002, 0.5000000000000001], [0.5000000000000001, 1.0000000000000002]], "workspace_ns": 600}
{"conversion_run_ns": 1706900, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 1900, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 3500, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 2, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1743900, "vertices": 8, "vertices_json": [[-1.0000000000000002, -0.5000000000000001], [-0.5000000000000001, -1.0000000000000002], [1.0000000000000002, -0.5000000000000001], [0.5000000000000001, -1.0000000000000002], [-1.0000000000000002, 0.5000000000000001], [-0.5000000000000001, 1.0000000000000002], [1.0000000000000002, 0.5000000000000001], [0.5000000000000001, 1.0000000000000002]], "workspace_ns": 700}
{"conversion_run_ns": 259500, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 1800, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3900, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 2, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 276300, "vertices": 0, "vertices_json": [], "workspace_ns": 700}
{"conversion_run_ns": 1117800, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 2300, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 2300, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 2, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1135500, "vertices": 2, "vertices_json": [[0, 1], [2, 1]], "workspace_ns": 700}
{"conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 1800, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 459300, "reduction_status": "incomplete", "repetition": 2, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 495800, "vertices": 0, "vertices_json": [], "workspace_ns": 0}
{"conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 2200, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 445600, "reduction_status": "incomplete", "repetition": 3, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 483000, "vertices": 0, "vertices_json": [], "workspace_ns": 0}
{"conversion_run_ns": 1001500, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 2000, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 2800, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 3, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1021400, "vertices": 2, "vertices_json": [[0, 1], [2, 1]], "workspace_ns": 700}
{"conversion_run_ns": 204700, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 2000, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3100, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 3, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 221200, "vertices": 0, "vertices_json": [], "workspace_ns": 600}
{"conversion_run_ns": 1568100, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 1600, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 1800, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 3, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1597500, "vertices": 8, "vertices_json": [[-1.0000000000000002, -0.5000000000000001], [-0.5000000000000001, -1.0000000000000002], [1.0000000000000002, -0.5000000000000001], [0.5000000000000001, -1.0000000000000002], [-1.0000000000000002, 0.5000000000000001], [-0.5000000000000001, 1.0000000000000002], [1.0000000000000002, 0.5000000000000001], [0.5000000000000001, 1.0000000000000002]], "workspace_ns": 400}
{"conversion_run_ns": 1709400, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 2000, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 3600, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 4, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1746600, "vertices": 8, "vertices_json": [[-1.0000000000000002, -0.5000000000000001], [-0.5000000000000001, -1.0000000000000002], [1.0000000000000002, -0.5000000000000001], [0.5000000000000001, -1.0000000000000002], [-1.0000000000000002, 0.5000000000000001], [-0.5000000000000001, 1.0000000000000002], [1.0000000000000002, 0.5000000000000001], [0.5000000000000001, 1.0000000000000002]], "workspace_ns": 800}
{"conversion_run_ns": 241100, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 1800, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3400, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 4, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 261700, "vertices": 0, "vertices_json": [], "workspace_ns": 700}
{"conversion_run_ns": 1032100, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 1900, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 2300, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 4, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1051900, "vertices": 2, "vertices_json": [[0, 1], [2, 1]], "workspace_ns": 700}
{"conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 1600, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 417500, "reduction_status": "incomplete", "repetition": 4, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 463100, "vertices": 0, "vertices_json": [], "workspace_ns": 0}
{"conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 2100, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 407000, "reduction_status": "incomplete", "repetition": 5, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 456800, "vertices": 0, "vertices_json": [], "workspace_ns": 0}
{"conversion_run_ns": 1060500, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 2200, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 2600, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 5, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1079900, "vertices": 2, "vertices_json": [[0, 1], [2, 1]], "workspace_ns": 600}
{"conversion_run_ns": 221200, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 1500, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3300, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 5, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 236800, "vertices": 0, "vertices_json": [], "workspace_ns": 500}
{"conversion_run_ns": 1695600, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 1600, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 1800, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 5, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1726400, "vertices": 8, "vertices_json": [[-1.0000000000000002, -0.5000000000000001], [-0.5000000000000001, -1.0000000000000002], [1.0000000000000002, -0.5000000000000001], [0.5000000000000001, -1.0000000000000002], [-1.0000000000000002, 0.5000000000000001], [-0.5000000000000001, 1.0000000000000002], [1.0000000000000002, 0.5000000000000001], [0.5000000000000001, 1.0000000000000002]], "workspace_ns": 500}
{"conversion_run_ns": 1801900, "detail": "", "equalities": 0, "inequalities": 8, "input_sha256": "1060992076bcb0c92afb101b505ef193ea654a11f79d147fa529018f66c8747d", "intersection_ns": 1900, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 36, "oracle_passed": true, "prepare_ns": 3400, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 6, "scenario": "crossing_octagon", "scenario_sha256": "4cb44515291c15c054580be9a6daa92cab54f3daa73209c70424c127b3be2b15", "status": "passed", "total_ns": 1837600, "vertices": 8, "vertices_json": [[-1.0000000000000002, -0.5000000000000001], [-0.5000000000000001, -1.0000000000000002], [1.0000000000000002, -0.5000000000000001], [0.5000000000000001, -1.0000000000000002], [-1.0000000000000002, 0.5000000000000001], [-0.5000000000000001, 1.0000000000000002], [1.0000000000000002, 0.5000000000000001], [0.5000000000000001, 1.0000000000000002]], "workspace_ns": 700}
{"conversion_run_ns": 293700, "detail": "", "equalities": 0, "inequalities": 2, "input_sha256": "f3fbfdf86a6cae47b14493b19cc8e3ca9fa814408c44f5677bb9fbc5d5250618", "intersection_ns": 1800, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 1, "oracle_passed": true, "prepare_ns": 3400, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 6, "scenario": "empty_intersection", "scenario_sha256": "3c9f02e5316af20400da99f4c2e81c40d0ca1099f5b02389202d7e9e52706dab", "status": "passed", "total_ns": 313200, "vertices": 0, "vertices_json": [], "workspace_ns": 700}
{"conversion_run_ns": 1068200, "detail": "", "equalities": 2, "inequalities": 4, "input_sha256": "d52990fbc5ff86abf0cddc86b3f497cffa1800818bb4f50099c380fa02201e9e", "intersection_ns": 1900, "lp_bounds": 0, "lp_calls": 0, "lp_optimal": 0, "lp_results": 0, "lp_supported_bounds": 0, "lp_workspace_ns": 0, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 3100, "reduction_ns": 0, "reduction_status": "not_applicable", "repetition": 6, "scenario": "affine_equality", "scenario_sha256": "7c274439089dd1a799a15bbd5f4f857a1112447daaf12e4b7e81f9f8db8e604c", "status": "passed", "total_ns": 1088800, "vertices": 2, "vertices_json": [[0, 1], [2, 1]], "workspace_ns": 600}
{"conversion_run_ns": 0, "detail": "", "equalities": 1, "inequalities": 3, "input_sha256": "c76aaaf1b251f939625b562ff41e5b07b468f7d3fbe64c0b7d2f74554cbaea30", "intersection_ns": 0, "lp_bounds": 0, "lp_calls": 3, "lp_optimal": 1, "lp_results": 3, "lp_supported_bounds": 0, "lp_workspace_ns": 1700, "oracle_checks": 4, "oracle_passed": true, "prepare_ns": 0, "reduction_ns": 413600, "reduction_status": "incomplete", "repetition": 6, "scenario": "essential_rows_highs", "scenario_sha256": "add568984fc69e35fd4ace9f5339547e169200eb6f98dfce2a20b24ef01134b0", "status": "passed", "total_ns": 461200, "vertices": 0, "vertices_json": [], "workspace_ns": 0}