{ "evidence_limits": "contract fixtures only; no accepted workload-size baseline; bounded H/V cases only; no available competing adapter; numerical checks are not validated global certificates; no inner conversion phase timing; A17/A18 audit covers source lineage only; executable equivalence is not established", "measured_scope": "56 measured trials across four bounded 2D fixtures in both conversion directions", "payload": { "converter": { "id": "csl.conversion.qhull", "version": "1.0.0+qhull.8.0.2" }, "created_utc": "2026-10-12T11:00:07Z", "environment": { "build_configuration": "Release", "cmake_version": "3.31.6-msvc6", "competing_process_snapshot": "process names are omitted from this public artifact; system CPU and queue snapshots are included", "compiler": "MSVC 19.44.35215.0 (Visual Studio 17 2022 x64)", "logical_processors": 12, "native_dependencies": { "highs": "1.11.0", "qhull": "8.0.2" }, "os": "Windows-11-10.0.22631-SP0", "physical_memory": { "TotalPhysicalMemory": 34189107200 }, "processor": "12th Gen Intel(R) Core(TM) i5-12400F", "processor_queue_length_snapshot_after": { "ProcessorQueueLength": 0 }, "processor_queue_length_snapshot_before": { "ProcessorQueueLength": 0 }, "python": "3.13.5", "total_processor_utilization_percent_snapshot_after": { "PercentProcessorTime": 1 }, "total_processor_utilization_percent_snapshot_before": { "PercentProcessorTime": 0 } }, "limiter_profile": { "finding": "Module-only ETW samples did not resolve to functions; runtime and kernel modules appeared in the target process, so the sample cannot identify an algorithm-stage limiter.", "method": "Windows Performance Recorder CPU ETW sampling; separate untimed executable mode; independent oracle omitted, output representation/status consumed", "profile_summary_file": "profile.txt", "profiled_operations": 8000, "trace_redistributed": false }, "lineage_audit": { "contract_reference": "docs/contracts/polyhedral-conversion.md#lineage-audit-a17-and-a18", "sources": { "A17": { "finding": "thin wrapper delegates to external libgeocalc; its algorithm and guarantees are not established by the archived wrapper", "path": "Scientific Research/GeoCalcLib-master/vertexEnumeration.m", "sha256": "d0f4ef259c0e33a48c0b2f56480e4a1c68df42a1783baf6e8110af8078e5fd19" }, "A18": { "finding": "homogenization, rank completion, randomized initial basis, inverse-based ray updates, and epsilon-policy division; not the Qhull polar-facet algorithm", "path": "Конференция/ICIE 2018/VertexEnumeration.m", "sha256": "0d70893bd42066ed311b6ab36aa203e9fdf8856863cc23d9b5e254e45a87bee6" } }, "status": "source-level review; executable equivalence not established" }, "lp_backend": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "measurement": { "emitted_trials": 56, "expected_trials": 56, "failures": 0, "oracle_outside_timing": true, "order": "fixtures/directions forward on even rounds and reverse on odd rounds", "process_return_code": 0, "repetitions": 7, "timed_region": "RepresentationConverterWorkspace::run", "warmups": 1 }, "report_source_commit": "ba83547b3495cc8017f720702083bcf76c71fb30", "runtime_source_commit": "d72c583556d5824b44f313ff6fb39329edb5aa16", "scenarios": { "embedded-segment": { "analytic_set": "{(x,0): -1<=x<=2}", "dimension": 2, "equalities": 1, "inequalities": 2, "oracle": "endpoint/interior/off-set membership plus support directions", "rays": 0, "vertices": 2 }, "simplex": { "analytic_set": "x>=0, y>=0, x+y<=1", "dimension": 2, "equalities": 0, "inequalities": 3, "oracle": "vertex membership plus support in four literal directions", "rays": 0, "vertices": 3 }, "singleton": { "analytic_set": "{(2,-3)}", "dimension": 2, "equalities": 2, "inequalities": 0, "oracle": "literal singleton/nearby-point membership plus support directions", "rays": 0, "vertices": 1 }, "square": { "analytic_set": "[0,1] x [0,1]", "dimension": 2, "equalities": 0, "inequalities": 4, "oracle": "vertex membership plus support in five literal directions", "rays": 0, "vertices": 4 } }, "schema": "csl.geo03-hv-report/1", "scope_limitations": [ "contract fixtures only; no accepted workload-size baseline", "bounded H/V cases only", "no available competing adapter", "numerical checks are not validated global certificates", "no inner conversion phase timing", "A17/A18 audit covers source lineage only; executable equivalence is not established" ], "summary": [ { "all_oracles_passed": true, "direction": "H-to-V", "failures": 0, "fixture": "embedded-segment", "input": { "ambient_dimension": 2, "input_equalities": 1, "input_inequalities": 2, "input_rays": 0, "input_vertices": 0 }, "oracle_checks_per_trial": 6, "output": { "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_vertices": 2 }, "preparation_ns": { "max": 2800, "median": 2500, "min": 1300, "range": 1500, "unit": "ns" }, "run_ns": { "max": 1103100, "median": 1029100, "min": 940900, "range": 162200, "unit": "ns" }, "total_ns": { "max": 1109100, "median": 1035400, "min": 944600, "range": 164500, "unit": "ns" }, "trials": 7, "workspace_creation_ns": { "max": 700, "median": 600, "min": 300, "range": 400, "unit": "ns" } }, { "all_oracles_passed": true, "direction": "V-to-H", "failures": 0, "fixture": "embedded-segment", "input": { "ambient_dimension": 2, "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_vertices": 2 }, "oracle_checks_per_trial": 21, "output": { "output_equalities": 1, "output_inequalities": 2, "output_rays": 0, "output_vertices": 0 }, "preparation_ns": { "max": 3300, "median": 3200, "min": 1300, "range": 2000, "unit": "ns" }, "run_ns": { "max": 10400, "median": 10100, "min": 6000, "range": 4400, "unit": "ns" }, "total_ns": { "max": 17800, "median": 17600, "min": 9300, "range": 8500, "unit": "ns" }, "trials": 7, "workspace_creation_ns": { "max": 1000, "median": 700, "min": 300, "range": 700, "unit": "ns" } }, { "all_oracles_passed": true, "direction": "H-to-V", "failures": 0, "fixture": "simplex", "input": { "ambient_dimension": 2, "input_equalities": 0, "input_inequalities": 3, "input_rays": 0, "input_vertices": 0 }, "oracle_checks_per_trial": 7, "output": { "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_vertices": 3 }, "preparation_ns": { "max": 2600, "median": 2500, "min": 2300, "range": 300, "unit": "ns" }, "run_ns": { "max": 1958000, "median": 1637200, "min": 1522300, "range": 435700, "unit": "ns" }, "total_ns": { "max": 1964300, "median": 1643300, "min": 1528200, "range": 436100, "unit": "ns" }, "trials": 7, "workspace_creation_ns": { "max": 700, "median": 600, "min": 600, "range": 100, "unit": "ns" } }, { "all_oracles_passed": true, "direction": "V-to-H", "failures": 0, "fixture": "simplex", "input": { "ambient_dimension": 2, "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_vertices": 3 }, "oracle_checks_per_trial": 20, "output": { "output_equalities": 0, "output_inequalities": 3, "output_rays": 0, "output_vertices": 0 }, "preparation_ns": { "max": 3500, "median": 3200, "min": 2900, "range": 600, "unit": "ns" }, "run_ns": { "max": 322600, "median": 292300, "min": 272500, "range": 50100, "unit": "ns" }, "total_ns": { "max": 329300, "median": 300300, "min": 280300, "range": 49000, "unit": "ns" }, "trials": 7, "workspace_creation_ns": { "max": 700, "median": 600, "min": 500, "range": 200, "unit": "ns" } }, { "all_oracles_passed": true, "direction": "H-to-V", "failures": 0, "fixture": "singleton", "input": { "ambient_dimension": 2, "input_equalities": 2, "input_inequalities": 0, "input_rays": 0, "input_vertices": 0 }, "oracle_checks_per_trial": 3, "output": { "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_vertices": 1 }, "preparation_ns": { "max": 1600, "median": 1500, "min": 1200, "range": 400, "unit": "ns" }, "run_ns": { "max": 7400, "median": 7200, "min": 4700, "range": 2700, "unit": "ns" }, "total_ns": { "max": 11400, "median": 11200, "min": 8100, "range": 3300, "unit": "ns" }, "trials": 7, "workspace_creation_ns": { "max": 700, "median": 400, "min": 300, "range": 400, "unit": "ns" } }, { "all_oracles_passed": true, "direction": "V-to-H", "failures": 0, "fixture": "singleton", "input": { "ambient_dimension": 2, "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_vertices": 1 }, "oracle_checks_per_trial": 12, "output": { "output_equalities": 2, "output_inequalities": 0, "output_rays": 0, "output_vertices": 0 }, "preparation_ns": { "max": 1700, "median": 1300, "min": 1200, "range": 500, "unit": "ns" }, "run_ns": { "max": 4500, "median": 4200, "min": 3300, "range": 1200, "unit": "ns" }, "total_ns": { "max": 7700, "median": 7600, "min": 6300, "range": 1400, "unit": "ns" }, "trials": 7, "workspace_creation_ns": { "max": 400, "median": 400, "min": 300, "range": 100, "unit": "ns" } }, { "all_oracles_passed": true, "direction": "H-to-V", "failures": 0, "fixture": "square", "input": { "ambient_dimension": 2, "input_equalities": 0, "input_inequalities": 4, "input_rays": 0, "input_vertices": 0 }, "oracle_checks_per_trial": 9, "output": { "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_vertices": 4 }, "preparation_ns": { "max": 3600, "median": 2500, "min": 1300, "range": 2300, "unit": "ns" }, "run_ns": { "max": 1636000, "median": 1583800, "min": 1472900, "range": 163100, "unit": "ns" }, "total_ns": { "max": 1641900, "median": 1591400, "min": 1480800, "range": 161100, "unit": "ns" }, "trials": 7, "workspace_creation_ns": { "max": 700, "median": 700, "min": 300, "range": 400, "unit": "ns" } }, { "all_oracles_passed": true, "direction": "V-to-H", "failures": 0, "fixture": "square", "input": { "ambient_dimension": 2, "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_vertices": 4 }, "oracle_checks_per_trial": 24, "output": { "output_equalities": 0, "output_inequalities": 4, "output_rays": 0, "output_vertices": 0 }, "preparation_ns": { "max": 3800, "median": 3400, "min": 3300, "range": 500, "unit": "ns" }, "run_ns": { "max": 306300, "median": 283100, "min": 274000, "range": 32300, "unit": "ns" }, "total_ns": { "max": 314500, "median": 291500, "min": 281700, "range": 32800, "unit": "ns" }, "trials": 7, "workspace_creation_ns": { "max": 800, "median": 700, "min": 600, "range": 200, "unit": "ns" } } ], "trials": [ { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "square", "input_equalities": 0, "input_inequalities": 4, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 9, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 4, "preparation_ns": 1300, "round": 0, "run_ns": 1621600, "total_ns": 1625100, "workspace_creation_ns": 300 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "square", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 4, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 24, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 4, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3600, "round": 0, "run_ns": 288800, "total_ns": 296800, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 3, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 7, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 3, "preparation_ns": 2500, "round": 0, "run_ns": 1610100, "total_ns": 1616300, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 3, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 20, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 3, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3500, "round": 0, "run_ns": 292300, "total_ns": 300300, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "embedded-segment", "input_equalities": 1, "input_inequalities": 2, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 6, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 2, "preparation_ns": 2800, "round": 0, "run_ns": 1083100, "total_ns": 1089700, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "embedded-segment", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 2, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 21, "oracle_passed": "true", "output_equalities": 1, "output_inequalities": 2, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3200, "round": 0, "run_ns": 10400, "total_ns": 17600, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "singleton", "input_equalities": 2, "input_inequalities": 0, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 3, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 1, "preparation_ns": 1500, "round": 0, "run_ns": 7200, "total_ns": 11200, "workspace_creation_ns": 400 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "singleton", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 1, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 12, "oracle_passed": "true", "output_equalities": 2, "output_inequalities": 0, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 1300, "round": 0, "run_ns": 4500, "total_ns": 7700, "workspace_creation_ns": 400 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "singleton", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 1, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 12, "oracle_passed": "true", "output_equalities": 2, "output_inequalities": 0, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 1300, "round": 1, "run_ns": 3300, "total_ns": 6400, "workspace_creation_ns": 400 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "singleton", "input_equalities": 2, "input_inequalities": 0, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 3, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 1, "preparation_ns": 1200, "round": 1, "run_ns": 5000, "total_ns": 8200, "workspace_creation_ns": 400 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "embedded-segment", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 2, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 21, "oracle_passed": "true", "output_equalities": 1, "output_inequalities": 2, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 1300, "round": 1, "run_ns": 6100, "total_ns": 9300, "workspace_creation_ns": 300 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "embedded-segment", "input_equalities": 1, "input_inequalities": 2, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 6, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 2, "preparation_ns": 1600, "round": 1, "run_ns": 940900, "total_ns": 944600, "workspace_creation_ns": 300 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 3, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 20, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 3, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 2900, "round": 1, "run_ns": 315300, "total_ns": 322000, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 3, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 7, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 3, "preparation_ns": 2300, "round": 1, "run_ns": 1670700, "total_ns": 1676400, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "square", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 4, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 24, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 4, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3300, "round": 1, "run_ns": 282500, "total_ns": 290200, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "square", "input_equalities": 0, "input_inequalities": 4, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 9, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 4, "preparation_ns": 2500, "round": 1, "run_ns": 1577500, "total_ns": 1583800, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "square", "input_equalities": 0, "input_inequalities": 4, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 9, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 4, "preparation_ns": 3500, "round": 2, "run_ns": 1583800, "total_ns": 1591600, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "square", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 4, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 24, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 4, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3400, "round": 2, "run_ns": 274000, "total_ns": 281700, "workspace_creation_ns": 800 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 3, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 7, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 3, "preparation_ns": 2400, "round": 2, "run_ns": 1620900, "total_ns": 1626900, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 3, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 20, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 3, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3500, "round": 2, "run_ns": 273600, "total_ns": 281600, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "embedded-segment", "input_equalities": 1, "input_inequalities": 2, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 6, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 2, "preparation_ns": 2800, "round": 2, "run_ns": 1084600, "total_ns": 1091100, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "embedded-segment", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 2, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 21, "oracle_passed": "true", "output_equalities": 1, "output_inequalities": 2, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3200, "round": 2, "run_ns": 10300, "total_ns": 17600, "workspace_creation_ns": 800 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "singleton", "input_equalities": 2, "input_inequalities": 0, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 3, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 1, "preparation_ns": 1500, "round": 2, "run_ns": 7300, "total_ns": 11300, "workspace_creation_ns": 400 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "singleton", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 1, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 12, "oracle_passed": "true", "output_equalities": 2, "output_inequalities": 0, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 1700, "round": 2, "run_ns": 4200, "total_ns": 7700, "workspace_creation_ns": 400 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "singleton", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 1, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 12, "oracle_passed": "true", "output_equalities": 2, "output_inequalities": 0, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 1200, "round": 3, "run_ns": 3400, "total_ns": 6300, "workspace_creation_ns": 300 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "singleton", "input_equalities": 2, "input_inequalities": 0, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 3, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 1, "preparation_ns": 1300, "round": 3, "run_ns": 4700, "total_ns": 8100, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "embedded-segment", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 2, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 21, "oracle_passed": "true", "output_equalities": 1, "output_inequalities": 2, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 1300, "round": 3, "run_ns": 6000, "total_ns": 9300, "workspace_creation_ns": 400 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "embedded-segment", "input_equalities": 1, "input_inequalities": 2, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 6, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 2, "preparation_ns": 1300, "round": 3, "run_ns": 1005500, "total_ns": 1009100, "workspace_creation_ns": 300 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 3, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 20, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 3, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 2900, "round": 3, "run_ns": 322600, "total_ns": 329300, "workspace_creation_ns": 500 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 3, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 7, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 3, "preparation_ns": 2600, "round": 3, "run_ns": 1958000, "total_ns": 1964300, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "square", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 4, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 24, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 4, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3800, "round": 3, "run_ns": 306300, "total_ns": 314500, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "square", "input_equalities": 0, "input_inequalities": 4, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 9, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 4, "preparation_ns": 2500, "round": 3, "run_ns": 1585300, "total_ns": 1591400, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "square", "input_equalities": 0, "input_inequalities": 4, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 9, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 4, "preparation_ns": 3600, "round": 4, "run_ns": 1472900, "total_ns": 1480800, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "square", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 4, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 24, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 4, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3400, "round": 4, "run_ns": 279600, "total_ns": 288400, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 3, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 7, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 3, "preparation_ns": 2400, "round": 4, "run_ns": 1637200, "total_ns": 1643300, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 3, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 20, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 3, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3200, "round": 4, "run_ns": 272500, "total_ns": 280300, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "embedded-segment", "input_equalities": 1, "input_inequalities": 2, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 6, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 2, "preparation_ns": 2500, "round": 4, "run_ns": 1103100, "total_ns": 1109100, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "embedded-segment", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 2, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 21, "oracle_passed": "true", "output_equalities": 1, "output_inequalities": 2, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3300, "round": 4, "run_ns": 10400, "total_ns": 17800, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "singleton", "input_equalities": 2, "input_inequalities": 0, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 3, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 1, "preparation_ns": 1600, "round": 4, "run_ns": 7400, "total_ns": 11400, "workspace_creation_ns": 300 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "singleton", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 1, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 12, "oracle_passed": "true", "output_equalities": 2, "output_inequalities": 0, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 1400, "round": 4, "run_ns": 4400, "total_ns": 7600, "workspace_creation_ns": 300 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "singleton", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 1, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 12, "oracle_passed": "true", "output_equalities": 2, "output_inequalities": 0, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 1300, "round": 5, "run_ns": 3600, "total_ns": 6500, "workspace_creation_ns": 300 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "singleton", "input_equalities": 2, "input_inequalities": 0, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 3, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 1, "preparation_ns": 1300, "round": 5, "run_ns": 5000, "total_ns": 8200, "workspace_creation_ns": 300 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "embedded-segment", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 2, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 21, "oracle_passed": "true", "output_equalities": 1, "output_inequalities": 2, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 1400, "round": 5, "run_ns": 8000, "total_ns": 12200, "workspace_creation_ns": 300 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "embedded-segment", "input_equalities": 1, "input_inequalities": 2, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 6, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 2, "preparation_ns": 1400, "round": 5, "run_ns": 960900, "total_ns": 964600, "workspace_creation_ns": 300 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 3, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 20, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 3, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3100, "round": 5, "run_ns": 321300, "total_ns": 328300, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 3, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 7, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 3, "preparation_ns": 2500, "round": 5, "run_ns": 1522300, "total_ns": 1528200, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "square", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 4, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 24, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 4, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3300, "round": 5, "run_ns": 283500, "total_ns": 291500, "workspace_creation_ns": 700 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "square", "input_equalities": 0, "input_inequalities": 4, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 9, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 4, "preparation_ns": 2500, "round": 5, "run_ns": 1636000, "total_ns": 1641900, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "square", "input_equalities": 0, "input_inequalities": 4, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 9, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 4, "preparation_ns": 3600, "round": 6, "run_ns": 1486400, "total_ns": 1494300, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "square", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 4, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 24, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 4, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3800, "round": 6, "run_ns": 283100, "total_ns": 292200, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 3, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 7, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 3, "preparation_ns": 2500, "round": 6, "run_ns": 1720200, "total_ns": 1726200, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "simplex", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 3, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 20, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 3, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3300, "round": 6, "run_ns": 282100, "total_ns": 290000, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "embedded-segment", "input_equalities": 1, "input_inequalities": 2, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 6, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 2, "preparation_ns": 2600, "round": 6, "run_ns": 1029100, "total_ns": 1035400, "workspace_creation_ns": 600 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "embedded-segment", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 2, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 21, "oracle_passed": "true", "output_equalities": 1, "output_inequalities": 2, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 3300, "round": 6, "run_ns": 10100, "total_ns": 17600, "workspace_creation_ns": 1000 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "H-to-V", "fixture": "singleton", "input_equalities": 2, "input_inequalities": 0, "input_rays": 0, "input_representation": "H", "input_vertices": 0, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 3, "oracle_passed": "true", "output_equalities": 0, "output_inequalities": 0, "output_rays": 0, "output_representation": "V", "output_vertices": 1, "preparation_ns": 1500, "round": 6, "run_ns": 7300, "total_ns": 11300, "workspace_creation_ns": 300 }, { "ambient_dimension": 2, "converter_id": "csl.conversion.qhull", "converter_version": "1.0.0+qhull.8.0.2", "direction": "V-to-H", "fixture": "singleton", "input_equalities": 0, "input_inequalities": 0, "input_rays": 0, "input_representation": "V", "input_vertices": 1, "lp_backend_id": "csl.lp.highs", "lp_backend_version": "1.0.0+highs.1.11.0", "oracle_checks": 12, "oracle_passed": "true", "output_equalities": 2, "output_inequalities": 0, "output_rays": 0, "output_representation": "H", "output_vertices": 0, "preparation_ns": 1300, "round": 6, "run_ns": 4200, "total_ns": 7700, "workspace_creation_ns": 400 } ] }, "payload_schema": "csl.geo03-hv-report/1", "payload_sha256": "3c12ca12583170423a81142c8f4b743cf88a16e463267d6864ddda4b56bd9044", "report_id": "geo03-20261012-30157d9ac59269cc26a2ca24dfd1744297971b435a8bba13dcb68f2a1dbcd104", "report_kind": "geo03-hv", "schema": "csl.algorithm-report-envelope/1", "source_commit": "ba83547b3495cc8017f720702083bcf76c71fb30", "source_report_id": "geo03-20261012-3c12ca125831" }