Single-adapter Release latency report; no competitor or speedup claim.
Report lp-20261012T000346Z-ee5e9193b7a5. Source 6780941b80fd1e94d6b5a6c5142822d5273bfa3f. Outcome support: unestablished. Numerical matches to analytic references are not validated arithmetic certificates or a complete optimizer family.
Measured/test source (external) · Report specification (external)
All authored coefficients and bounds are saved in scenarios.json. The returned-result column identifies the first trial; every trial, including failures, appears below and in CSV. Complementarity, certificates and complete minimizer families are unavailable.
| Case | Analytic reference | Reference objective | First returned trial | Matched / expected | Failed / missing | Validity |
|---|---|---|---|---|---|---|
| offset-triangle | optimal: x+2y <= 2(x+y) <= 2; value5 attained at(0,1). | 5.0 | {"termination": "completed", "outcome": "optimal", "primal": [0.0, 1.0], "original_objective": 5.0, "row_violation": 0.0, "variable_violation": 0.0} | 7/7 | 0/0 | matches analytic reference |
| scalar-positive | optimal: Positive slope selects lower endpoint-1. | -1.0 | {"termination": "completed", "outcome": "optimal", "primal": [-1.0], "original_objective": -1.0, "row_violation": 0.0, "variable_violation": 0.0} | 7/7 | 0/0 | matches analytic reference |
| scalar-negative | optimal: Negative slope selects upper endpoint4. | -6.0 | {"termination": "completed", "outcome": "optimal", "primal": [4.0], "original_objective": -6.0, "row_violation": 0.0, "variable_violation": 0.0} | 7/7 | 0/0 | matches analytic reference |
| contradictory-rows | infeasible: x<=0 and x>=1 contradict. | unavailable — infeasible | {"termination": "completed", "outcome": "infeasible", "primal": [1.0], "original_objective": 0.0, "row_violation": 1.0, "variable_violation": 0.0} | 7/7 | 0/0 | matches analytic reference |
| free-unbounded | unbounded: -x tends to minus infinity as x grows. | unavailable — unbounded | {"termination": "completed", "outcome": "unbounded", "primal": [0.0], "original_objective": 0.0, "row_violation": 0.0, "variable_violation": 0.0} | 7/7 | 0/0 | matches analytic reference |
Successful input-to-verified-result latency excludes object destruction, serialization, process startup and application orchestration. Exceptional intervals labelled end_to_end_including_unwind include owned cleanup and remain excluded from successful summaries. Nested phases are not added to end-to-end. Range means minimum to maximum; it is not a confidence interval. Fewer than five or failed/incomplete trials have no successful latency summary.
| Case | Phase | Median (ns) | Min (ns) | Max (ns) |
|---|---|---|---|---|
| offset-triangle | input_publication | 1900 | 1100 | 2000 |
| offset-triangle | registration_preparation | 1900 | 1800 | 2000 |
| offset-triangle | workspace_creation | 200 | 100 | 200 |
| offset-triangle | public_run | 186500 | 172800 | 190200 |
| offset-triangle | independent_verification | 1900 | 1800 | 2200 |
| offset-triangle | end_to_end | 192000 | 177900 | 196300 |
| scalar-positive | input_publication | 1000 | 900 | 1700 |
| scalar-positive | registration_preparation | 2000 | 2000 | 2300 |
| scalar-positive | workspace_creation | 200 | 200 | 200 |
| scalar-positive | public_run | 109000 | 102900 | 115100 |
| scalar-positive | independent_verification | 1800 | 1600 | 1900 |
| scalar-positive | end_to_end | 114300 | 108000 | 120700 |
| scalar-negative | input_publication | 700 | 700 | 2200 |
| scalar-negative | registration_preparation | 1800 | 1800 | 2000 |
| scalar-negative | workspace_creation | 200 | 100 | 200 |
| scalar-negative | public_run | 103200 | 100500 | 110100 |
| scalar-negative | independent_verification | 1500 | 1300 | 1700 |
| scalar-negative | end_to_end | 107600 | 105100 | 115800 |
| contradictory-rows | input_publication | 1300 | 1100 | 2100 |
| contradictory-rows | registration_preparation | 1800 | 1700 | 2100 |
| contradictory-rows | workspace_creation | 100 | 100 | 200 |
| contradictory-rows | public_run | 168700 | 163800 | 185600 |
| contradictory-rows | independent_verification | 1700 | 1500 | 1700 |
| contradictory-rows | end_to_end | 174600 | 169000 | 191100 |
| free-unbounded | input_publication | 1000 | 900 | 1900 |
| free-unbounded | registration_preparation | 2100 | 1900 | 2600 |
| free-unbounded | workspace_creation | 200 | 100 | 300 |
| free-unbounded | public_run | 112800 | 106200 | 121100 |
| free-unbounded | independent_verification | 1500 | 1400 | 1600 |
| free-unbounded | end_to_end | 117900 | 111100 | 127300 |
{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
0.0,
1.0
],
"original_objective": 5.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=offset-triangle\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=5\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=5\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 1 rows; 2 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 2e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -2.9999971925e+00 Ph1: 1(2); Du: 2(3) 0s\n 1 5.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 1\nObjective value : 5.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217970975300",
"end_tick": "503217970976600",
"duration_ns": 1300,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217970976700",
"end_tick": "503217970978700",
"duration_ns": 2000,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217970978900",
"end_tick": "503217970979100",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217970979100",
"end_tick": "503217971166000",
"duration_ns": 186900,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217971166100",
"end_tick": "503217971168300",
"duration_ns": 2200,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217970975300",
"end_tick": "503217971168300",
"duration_ns": 193000,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
-1.0
],
"original_objective": -1.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 6.0
},
"signs": {
"violation": 0.0,
"scale": 3.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-positive\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-1\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-1\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [3e+00, 3e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -1.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217971261000",
"end_tick": "503217971262100",
"duration_ns": 1100,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217971262200",
"end_tick": "503217971264200",
"duration_ns": 2000,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217971264400",
"end_tick": "503217971264600",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217971264700",
"end_tick": "503217971375700",
"duration_ns": 111000,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217971375800",
"end_tick": "503217971377700",
"duration_ns": 1900,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217971261000",
"end_tick": "503217971377700",
"duration_ns": 116700,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
4.0
],
"original_objective": -6.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-negative\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-6\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-6\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [2e+00, 2e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -6.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217971446100",
"end_tick": "503217971447800",
"duration_ns": 1700,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217971447900",
"end_tick": "503217971449700",
"duration_ns": 1800,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217971449900",
"end_tick": "503217971450000",
"duration_ns": 100,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217971450100",
"end_tick": "503217971560200",
"duration_ns": 110100,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217971560200",
"end_tick": "503217971561900",
"duration_ns": 1700,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217971446100",
"end_tick": "503217971561900",
"duration_ns": 115800,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "infeasible",
"support": {
"kind": "unestablished"
},
"primal": [
1.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 1.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 5.048709793414476e-29,
"scale": 1.0
},
"signs": {
"violation": 0.0,
"scale": 1.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=contradictory-rows\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=8\nnative.model_status_name=Infeasible\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=1\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=0\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 2 rows; 1 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 0.0000000000e+00 Pr: 1(1); Du: 0(7.70355e-13) 0s\n 1 5.0487097934e-29 0s\nWARNING: LP solution KKT conditions\nnum/max 1 / 1 (relative 1 / 0.5) primal infeasibilities (tolerance = 1e-08)\nnum/max 0 / 0 (relative 0 / 0) dual infeasibilities (tolerance = 1e-08)\n 0 / 5.05e-29 P-D objective error (tolerance = 1e-07)\nModel status : Infeasible\nSimplex iterations: 1\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0487097934e-29\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217971623400",
"end_tick": "503217971624700",
"duration_ns": 1300,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217971624700",
"end_tick": "503217971626800",
"duration_ns": 2100,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217971626900",
"end_tick": "503217971627100",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217971627100",
"end_tick": "503217971812700",
"duration_ns": 185600,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217971812800",
"end_tick": "503217971814500",
"duration_ns": 1700,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217971623400",
"end_tick": "503217971814500",
"duration_ns": 191100,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "unbounded",
"support": {
"kind": "unestablished"
},
"primal": [
0.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "free-unbounded"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": null,
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=free-unbounded\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=10\nnative.model_status_name=Unbounded\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=0\nnative.dual_infeasibility=1\nnative.simplex_iterations=0\noriginal.objective=0\ndual.unavailable=invalid dimensions, nonfinite values or nonzero free-interval multiplier\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nWARNING: LP solution KKT conditions\nnum/max 0 / 0 (relative 0 / 0) primal infeasibilities (tolerance = 1e-08)\nnum/max 1 / 1 (relative 1 / 0.5) dual infeasibilities (tolerance = 1e-08)\n 1 / 0.5 P-D objective error (tolerance = 1e-07)\nModel status : Unbounded\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0000000000e-01\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217971922500",
"end_tick": "503217971923700",
"duration_ns": 1200,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217971923800",
"end_tick": "503217971926400",
"duration_ns": 2600,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217971926500",
"end_tick": "503217971926800",
"duration_ns": 300,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217971926900",
"end_tick": "503217972048000",
"duration_ns": 121100,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217972048100",
"end_tick": "503217972049600",
"duration_ns": 1500,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217971922400",
"end_tick": "503217972049700",
"duration_ns": 127300,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
0.0,
1.0
],
"original_objective": 5.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=offset-triangle\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=5\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=5\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 1 rows; 2 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 2e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -2.9999971925e+00 Ph1: 1(2); Du: 2(3) 0s\n 1 5.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 1\nObjective value : 5.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217972107900",
"end_tick": "503217972109800",
"duration_ns": 1900,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217972109800",
"end_tick": "503217972111600",
"duration_ns": 1800,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217972111700",
"end_tick": "503217972111900",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217972111900",
"end_tick": "503217972302100",
"duration_ns": 190200,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217972302200",
"end_tick": "503217972304100",
"duration_ns": 1900,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217972107800",
"end_tick": "503217972304100",
"duration_ns": 196300,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
-1.0
],
"original_objective": -1.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 6.0
},
"signs": {
"violation": 0.0,
"scale": 3.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-positive\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-1\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-1\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [3e+00, 3e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -1.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217972380200",
"end_tick": "503217972381100",
"duration_ns": 900,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217972381200",
"end_tick": "503217972383200",
"duration_ns": 2000,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217972383300",
"end_tick": "503217972383500",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217972383600",
"end_tick": "503217972486500",
"duration_ns": 102900,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217972486600",
"end_tick": "503217972488200",
"duration_ns": 1600,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217972380200",
"end_tick": "503217972488200",
"duration_ns": 108000,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
4.0
],
"original_objective": -6.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-negative\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-6\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-6\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [2e+00, 2e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -6.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217972552100",
"end_tick": "503217972552800",
"duration_ns": 700,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217972552800",
"end_tick": "503217972554600",
"duration_ns": 1800,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217972554700",
"end_tick": "503217972554900",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217972554900",
"end_tick": "503217972658100",
"duration_ns": 103200,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217972658200",
"end_tick": "503217972659500",
"duration_ns": 1300,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217972552000",
"end_tick": "503217972659600",
"duration_ns": 107600,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "infeasible",
"support": {
"kind": "unestablished"
},
"primal": [
1.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 1.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 5.048709793414476e-29,
"scale": 1.0
},
"signs": {
"violation": 0.0,
"scale": 1.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=contradictory-rows\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=8\nnative.model_status_name=Infeasible\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=1\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=0\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 2 rows; 1 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 0.0000000000e+00 Pr: 1(1); Du: 0(7.70355e-13) 0s\n 1 5.0487097934e-29 0s\nWARNING: LP solution KKT conditions\nnum/max 1 / 1 (relative 1 / 0.5) primal infeasibilities (tolerance = 1e-08)\nnum/max 0 / 0 (relative 0 / 0) dual infeasibilities (tolerance = 1e-08)\n 0 / 5.05e-29 P-D objective error (tolerance = 1e-07)\nModel status : Infeasible\nSimplex iterations: 1\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0487097934e-29\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217972717600",
"end_tick": "503217972719700",
"duration_ns": 2100,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217972719700",
"end_tick": "503217972721500",
"duration_ns": 1800,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217972721600",
"end_tick": "503217972721700",
"duration_ns": 100,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217972721800",
"end_tick": "503217972890500",
"duration_ns": 168700,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217972890600",
"end_tick": "503217972892200",
"duration_ns": 1600,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217972717600",
"end_tick": "503217972892200",
"duration_ns": 174600,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "unbounded",
"support": {
"kind": "unestablished"
},
"primal": [
0.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "free-unbounded"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": null,
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=free-unbounded\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=10\nnative.model_status_name=Unbounded\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=0\nnative.dual_infeasibility=1\nnative.simplex_iterations=0\noriginal.objective=0\ndual.unavailable=invalid dimensions, nonfinite values or nonzero free-interval multiplier\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nWARNING: LP solution KKT conditions\nnum/max 0 / 0 (relative 0 / 0) primal infeasibilities (tolerance = 1e-08)\nnum/max 1 / 1 (relative 1 / 0.5) dual infeasibilities (tolerance = 1e-08)\n 1 / 0.5 P-D objective error (tolerance = 1e-07)\nModel status : Unbounded\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0000000000e-01\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217972976600",
"end_tick": "503217972977500",
"duration_ns": 900,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217972977600",
"end_tick": "503217972979700",
"duration_ns": 2100,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217972979800",
"end_tick": "503217972980000",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217972980000",
"end_tick": "503217973097300",
"duration_ns": 117300,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217973097500",
"end_tick": "503217973098900",
"duration_ns": 1400,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217972976500",
"end_tick": "503217973099000",
"duration_ns": 122500,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
0.0,
1.0
],
"original_objective": 5.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=offset-triangle\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=5\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=5\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 1 rows; 2 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 2e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -2.9999971925e+00 Ph1: 1(2); Du: 2(3) 0s\n 1 5.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 1\nObjective value : 5.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217973163700",
"end_tick": "503217973165700",
"duration_ns": 2000,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217973165800",
"end_tick": "503217973167800",
"duration_ns": 2000,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217973167900",
"end_tick": "503217973168000",
"duration_ns": 100,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217973168100",
"end_tick": "503217973347500",
"duration_ns": 179400,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217973347600",
"end_tick": "503217973349600",
"duration_ns": 2000,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217973163700",
"end_tick": "503217973349700",
"duration_ns": 186000,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
-1.0
],
"original_objective": -1.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 6.0
},
"signs": {
"violation": 0.0,
"scale": 3.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-positive\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-1\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-1\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [3e+00, 3e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -1.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217973425600",
"end_tick": "503217973426500",
"duration_ns": 900,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217973426500",
"end_tick": "503217973428500",
"duration_ns": 2000,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217973428600",
"end_tick": "503217973428800",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217973428900",
"end_tick": "503217973537900",
"duration_ns": 109000,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217973538000",
"end_tick": "503217973539800",
"duration_ns": 1800,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217973425500",
"end_tick": "503217973539800",
"duration_ns": 114300,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
4.0
],
"original_objective": -6.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-negative\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-6\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-6\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [2e+00, 2e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -6.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217973600300",
"end_tick": "503217973601000",
"duration_ns": 700,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217973601100",
"end_tick": "503217973602900",
"duration_ns": 1800,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217973603000",
"end_tick": "503217973603200",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217973603200",
"end_tick": "503217973705800",
"duration_ns": 102600,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217973705800",
"end_tick": "503217973707300",
"duration_ns": 1500,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217973600300",
"end_tick": "503217973707400",
"duration_ns": 107100,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "infeasible",
"support": {
"kind": "unestablished"
},
"primal": [
1.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 1.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 5.048709793414476e-29,
"scale": 1.0
},
"signs": {
"violation": 0.0,
"scale": 1.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=contradictory-rows\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=8\nnative.model_status_name=Infeasible\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=1\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=0\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 2 rows; 1 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 0.0000000000e+00 Pr: 1(1); Du: 0(7.70355e-13) 0s\n 1 5.0487097934e-29 0s\nWARNING: LP solution KKT conditions\nnum/max 1 / 1 (relative 1 / 0.5) primal infeasibilities (tolerance = 1e-08)\nnum/max 0 / 0 (relative 0 / 0) dual infeasibilities (tolerance = 1e-08)\n 0 / 5.05e-29 P-D objective error (tolerance = 1e-07)\nModel status : Infeasible\nSimplex iterations: 1\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0487097934e-29\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217973771900",
"end_tick": "503217973773800",
"duration_ns": 1900,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217973773900",
"end_tick": "503217973775600",
"duration_ns": 1700,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217973775700",
"end_tick": "503217973775900",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217973775900",
"end_tick": "503217973942000",
"duration_ns": 166100,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217973942100",
"end_tick": "503217973943700",
"duration_ns": 1600,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217973771900",
"end_tick": "503217973943700",
"duration_ns": 171800,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "unbounded",
"support": {
"kind": "unestablished"
},
"primal": [
0.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "free-unbounded"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": null,
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=free-unbounded\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=10\nnative.model_status_name=Unbounded\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=0\nnative.dual_infeasibility=1\nnative.simplex_iterations=0\noriginal.objective=0\ndual.unavailable=invalid dimensions, nonfinite values or nonzero free-interval multiplier\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nWARNING: LP solution KKT conditions\nnum/max 0 / 0 (relative 0 / 0) primal infeasibilities (tolerance = 1e-08)\nnum/max 1 / 1 (relative 1 / 0.5) dual infeasibilities (tolerance = 1e-08)\n 1 / 0.5 P-D objective error (tolerance = 1e-07)\nModel status : Unbounded\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0000000000e-01\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217974023200",
"end_tick": "503217974024100",
"duration_ns": 900,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217974024100",
"end_tick": "503217974026100",
"duration_ns": 2000,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217974026200",
"end_tick": "503217974026400",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217974026400",
"end_tick": "503217974132600",
"duration_ns": 106200,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217974132800",
"end_tick": "503217974134200",
"duration_ns": 1400,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217974023100",
"end_tick": "503217974134200",
"duration_ns": 111100,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
0.0,
1.0
],
"original_objective": 5.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=offset-triangle\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=5\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=5\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 1 rows; 2 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 2e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -2.9999971925e+00 Ph1: 1(2); Du: 2(3) 0s\n 1 5.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 1\nObjective value : 5.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217974190200",
"end_tick": "503217974191300",
"duration_ns": 1100,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217974191300",
"end_tick": "503217974193100",
"duration_ns": 1800,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217974193300",
"end_tick": "503217974193400",
"duration_ns": 100,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217974193400",
"end_tick": "503217974366200",
"duration_ns": 172800,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217974366300",
"end_tick": "503217974368100",
"duration_ns": 1800,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217974190200",
"end_tick": "503217974368100",
"duration_ns": 177900,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
-1.0
],
"original_objective": -1.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 6.0
},
"signs": {
"violation": 0.0,
"scale": 3.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-positive\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-1\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-1\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [3e+00, 3e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -1.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217974446900",
"end_tick": "503217974448600",
"duration_ns": 1700,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217974448600",
"end_tick": "503217974450600",
"duration_ns": 2000,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217974450700",
"end_tick": "503217974450900",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217974451000",
"end_tick": "503217974556000",
"duration_ns": 105000,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217974556100",
"end_tick": "503217974557800",
"duration_ns": 1700,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217974446900",
"end_tick": "503217974557800",
"duration_ns": 110900,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
4.0
],
"original_objective": -6.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-negative\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-6\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-6\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [2e+00, 2e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -6.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217974620100",
"end_tick": "503217974620800",
"duration_ns": 700,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217974620800",
"end_tick": "503217974622700",
"duration_ns": 1900,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217974622800",
"end_tick": "503217974622900",
"duration_ns": 100,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217974623000",
"end_tick": "503217974723500",
"duration_ns": 100500,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217974723600",
"end_tick": "503217974725200",
"duration_ns": 1600,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217974620100",
"end_tick": "503217974725200",
"duration_ns": 105100,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "infeasible",
"support": {
"kind": "unestablished"
},
"primal": [
1.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 1.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 5.048709793414476e-29,
"scale": 1.0
},
"signs": {
"violation": 0.0,
"scale": 1.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=contradictory-rows\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=8\nnative.model_status_name=Infeasible\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=1\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=0\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 2 rows; 1 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 0.0000000000e+00 Pr: 1(1); Du: 0(7.70355e-13) 0s\n 1 5.0487097934e-29 0s\nWARNING: LP solution KKT conditions\nnum/max 1 / 1 (relative 1 / 0.5) primal infeasibilities (tolerance = 1e-08)\nnum/max 0 / 0 (relative 0 / 0) dual infeasibilities (tolerance = 1e-08)\n 0 / 5.05e-29 P-D objective error (tolerance = 1e-07)\nModel status : Infeasible\nSimplex iterations: 1\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0487097934e-29\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217974785400",
"end_tick": "503217974786500",
"duration_ns": 1100,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217974786500",
"end_tick": "503217974788400",
"duration_ns": 1900,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217974788500",
"end_tick": "503217974788600",
"duration_ns": 100,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217974788700",
"end_tick": "503217974952500",
"duration_ns": 163800,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217974952600",
"end_tick": "503217974954300",
"duration_ns": 1700,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217974785400",
"end_tick": "503217974954400",
"duration_ns": 169000,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "unbounded",
"support": {
"kind": "unestablished"
},
"primal": [
0.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "free-unbounded"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": null,
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=free-unbounded\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=10\nnative.model_status_name=Unbounded\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=0\nnative.dual_infeasibility=1\nnative.simplex_iterations=0\noriginal.objective=0\ndual.unavailable=invalid dimensions, nonfinite values or nonzero free-interval multiplier\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nWARNING: LP solution KKT conditions\nnum/max 0 / 0 (relative 0 / 0) primal infeasibilities (tolerance = 1e-08)\nnum/max 1 / 1 (relative 1 / 0.5) dual infeasibilities (tolerance = 1e-08)\n 1 / 0.5 P-D objective error (tolerance = 1e-07)\nModel status : Unbounded\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0000000000e-01\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217975031200",
"end_tick": "503217975032200",
"duration_ns": 1000,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217975032200",
"end_tick": "503217975034400",
"duration_ns": 2200,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217975034500",
"end_tick": "503217975034700",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217975034800",
"end_tick": "503217975145400",
"duration_ns": 110600,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217975145500",
"end_tick": "503217975147000",
"duration_ns": 1500,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217975031100",
"end_tick": "503217975147000",
"duration_ns": 115900,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
0.0,
1.0
],
"original_objective": 5.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=offset-triangle\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=5\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=5\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 1 rows; 2 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 2e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -2.9999971925e+00 Ph1: 1(2); Du: 2(3) 0s\n 1 5.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 1\nObjective value : 5.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217975207100",
"end_tick": "503217975208300",
"duration_ns": 1200,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217975208300",
"end_tick": "503217975210200",
"duration_ns": 1900,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217975210300",
"end_tick": "503217975210500",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217975210500",
"end_tick": "503217975397000",
"duration_ns": 186500,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217975397100",
"end_tick": "503217975399100",
"duration_ns": 2000,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217975207100",
"end_tick": "503217975399100",
"duration_ns": 192000,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
-1.0
],
"original_objective": -1.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 6.0
},
"signs": {
"violation": 0.0,
"scale": 3.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-positive\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-1\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-1\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [3e+00, 3e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -1.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217975478500",
"end_tick": "503217975479700",
"duration_ns": 1200,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217975479700",
"end_tick": "503217975482000",
"duration_ns": 2300,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217975482100",
"end_tick": "503217975482300",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217975482400",
"end_tick": "503217975593300",
"duration_ns": 110900,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217975593400",
"end_tick": "503217975595000",
"duration_ns": 1600,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217975478400",
"end_tick": "503217975595100",
"duration_ns": 116700,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
4.0
],
"original_objective": -6.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-negative\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-6\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-6\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [2e+00, 2e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -6.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217975658600",
"end_tick": "503217975659300",
"duration_ns": 700,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217975659400",
"end_tick": "503217975661200",
"duration_ns": 1800,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217975661200",
"end_tick": "503217975661400",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217975661400",
"end_tick": "503217975762300",
"duration_ns": 100900,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217975762400",
"end_tick": "503217975763700",
"duration_ns": 1300,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217975658500",
"end_tick": "503217975763800",
"duration_ns": 105300,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "infeasible",
"support": {
"kind": "unestablished"
},
"primal": [
1.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 1.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 5.048709793414476e-29,
"scale": 1.0
},
"signs": {
"violation": 0.0,
"scale": 1.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=contradictory-rows\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=8\nnative.model_status_name=Infeasible\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=1\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=0\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 2 rows; 1 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 0.0000000000e+00 Pr: 1(1); Du: 0(7.70355e-13) 0s\n 1 5.0487097934e-29 0s\nWARNING: LP solution KKT conditions\nnum/max 1 / 1 (relative 1 / 0.5) primal infeasibilities (tolerance = 1e-08)\nnum/max 0 / 0 (relative 0 / 0) dual infeasibilities (tolerance = 1e-08)\n 0 / 5.05e-29 P-D objective error (tolerance = 1e-07)\nModel status : Infeasible\nSimplex iterations: 1\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0487097934e-29\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217975821700",
"end_tick": "503217975823800",
"duration_ns": 2100,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217975823800",
"end_tick": "503217975825500",
"duration_ns": 1700,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217975825600",
"end_tick": "503217975825800",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217975825800",
"end_tick": "503217975991700",
"duration_ns": 165900,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217975991800",
"end_tick": "503217975993300",
"duration_ns": 1500,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217975821700",
"end_tick": "503217975993300",
"duration_ns": 171600,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "unbounded",
"support": {
"kind": "unestablished"
},
"primal": [
0.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "free-unbounded"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": null,
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=free-unbounded\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=10\nnative.model_status_name=Unbounded\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=0\nnative.dual_infeasibility=1\nnative.simplex_iterations=0\noriginal.objective=0\ndual.unavailable=invalid dimensions, nonfinite values or nonzero free-interval multiplier\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nWARNING: LP solution KKT conditions\nnum/max 0 / 0 (relative 0 / 0) primal infeasibilities (tolerance = 1e-08)\nnum/max 1 / 1 (relative 1 / 0.5) dual infeasibilities (tolerance = 1e-08)\n 1 / 0.5 P-D objective error (tolerance = 1e-07)\nModel status : Unbounded\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0000000000e-01\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217976075700",
"end_tick": "503217976076800",
"duration_ns": 1100,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217976076900",
"end_tick": "503217976078800",
"duration_ns": 1900,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217976079000",
"end_tick": "503217976079100",
"duration_ns": 100,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217976079200",
"end_tick": "503217976192000",
"duration_ns": 112800,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217976192100",
"end_tick": "503217976193500",
"duration_ns": 1400,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217976075600",
"end_tick": "503217976193500",
"duration_ns": 117900,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
0.0,
1.0
],
"original_objective": 5.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=offset-triangle\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=5\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=5\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 1 rows; 2 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 2e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -2.9999971925e+00 Ph1: 1(2); Du: 2(3) 0s\n 1 5.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 1\nObjective value : 5.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217976276200",
"end_tick": "503217976278200",
"duration_ns": 2000,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217976278300",
"end_tick": "503217976280300",
"duration_ns": 2000,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217976280500",
"end_tick": "503217976280600",
"duration_ns": 100,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217976280700",
"end_tick": "503217976456700",
"duration_ns": 176000,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217976456800",
"end_tick": "503217976458700",
"duration_ns": 1900,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217976276100",
"end_tick": "503217976458800",
"duration_ns": 182700,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
-1.0
],
"original_objective": -1.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 6.0
},
"signs": {
"violation": 0.0,
"scale": 3.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-positive\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-1\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-1\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [3e+00, 3e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -1.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217976556300",
"end_tick": "503217976557300",
"duration_ns": 1000,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217976557300",
"end_tick": "503217976559600",
"duration_ns": 2300,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217976559700",
"end_tick": "503217976559900",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217976560000",
"end_tick": "503217976675100",
"duration_ns": 115100,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217976675200",
"end_tick": "503217976677000",
"duration_ns": 1800,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217976556300",
"end_tick": "503217976677000",
"duration_ns": 120700,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
4.0
],
"original_objective": -6.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-negative\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-6\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-6\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [2e+00, 2e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -6.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217976755500",
"end_tick": "503217976757700",
"duration_ns": 2200,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217976757700",
"end_tick": "503217976759700",
"duration_ns": 2000,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217976759800",
"end_tick": "503217976760000",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217976760000",
"end_tick": "503217976868200",
"duration_ns": 108200,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217976868300",
"end_tick": "503217976869800",
"duration_ns": 1500,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217976755500",
"end_tick": "503217976869800",
"duration_ns": 114300,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "infeasible",
"support": {
"kind": "unestablished"
},
"primal": [
1.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 1.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 5.048709793414476e-29,
"scale": 1.0
},
"signs": {
"violation": 0.0,
"scale": 1.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=contradictory-rows\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=8\nnative.model_status_name=Infeasible\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=1\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=0\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 2 rows; 1 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 0.0000000000e+00 Pr: 1(1); Du: 0(7.70355e-13) 0s\n 1 5.0487097934e-29 0s\nWARNING: LP solution KKT conditions\nnum/max 1 / 1 (relative 1 / 0.5) primal infeasibilities (tolerance = 1e-08)\nnum/max 0 / 0 (relative 0 / 0) dual infeasibilities (tolerance = 1e-08)\n 0 / 5.05e-29 P-D objective error (tolerance = 1e-07)\nModel status : Infeasible\nSimplex iterations: 1\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0487097934e-29\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217976938400",
"end_tick": "503217976939600",
"duration_ns": 1200,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217976939700",
"end_tick": "503217976941500",
"duration_ns": 1800,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217976941600",
"end_tick": "503217976941700",
"duration_ns": 100,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217976941800",
"end_tick": "503217977112000",
"duration_ns": 170200,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217977112100",
"end_tick": "503217977113800",
"duration_ns": 1700,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217976938400",
"end_tick": "503217977113800",
"duration_ns": 175400,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "unbounded",
"support": {
"kind": "unestablished"
},
"primal": [
0.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "free-unbounded"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": null,
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=free-unbounded\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=10\nnative.model_status_name=Unbounded\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=0\nnative.dual_infeasibility=1\nnative.simplex_iterations=0\noriginal.objective=0\ndual.unavailable=invalid dimensions, nonfinite values or nonzero free-interval multiplier\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nWARNING: LP solution KKT conditions\nnum/max 0 / 0 (relative 0 / 0) primal infeasibilities (tolerance = 1e-08)\nnum/max 1 / 1 (relative 1 / 0.5) dual infeasibilities (tolerance = 1e-08)\n 1 / 0.5 P-D objective error (tolerance = 1e-07)\nModel status : Unbounded\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0000000000e-01\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217977208300",
"end_tick": "503217977209300",
"duration_ns": 1000,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217977209300",
"end_tick": "503217977211400",
"duration_ns": 2100,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217977211500",
"end_tick": "503217977211700",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217977211800",
"end_tick": "503217977319000",
"duration_ns": 107200,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217977319100",
"end_tick": "503217977320700",
"duration_ns": 1600,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217977208200",
"end_tick": "503217977320700",
"duration_ns": 112500,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
0.0,
1.0
],
"original_objective": 5.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "offset-triangle"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=offset-triangle\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=5\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=5\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 1 rows; 2 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [1e+00, 2e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 -2.9999971925e+00 Ph1: 1(2); Du: 2(3) 0s\n 1 5.0000000000e+00 Pr: 0(0) 0s\nModel status : Optimal\nSimplex iterations: 1\nObjective value : 5.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217977385200",
"end_tick": "503217977387200",
"duration_ns": 2000,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217977387200",
"end_tick": "503217977389100",
"duration_ns": 1900,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217977389200",
"end_tick": "503217977389400",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217977389400",
"end_tick": "503217977576900",
"duration_ns": 187500,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217977577100",
"end_tick": "503217977579000",
"duration_ns": 1900,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217977385200",
"end_tick": "503217977579000",
"duration_ns": 193800,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
-1.0
],
"original_objective": -1.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-positive"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 6.0
},
"signs": {
"violation": 0.0,
"scale": 3.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-positive\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-1\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-1\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [3e+00, 3e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -1.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217977660700",
"end_tick": "503217977661700",
"duration_ns": 1000,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217977661700",
"end_tick": "503217977663900",
"duration_ns": 2200,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217977664000",
"end_tick": "503217977664200",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217977664200",
"end_tick": "503217977771900",
"duration_ns": 107700,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217977772000",
"end_tick": "503217977773800",
"duration_ns": 1800,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217977660700",
"end_tick": "503217977773800",
"duration_ns": 113100,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "optimal",
"support": {
"kind": "unestablished"
},
"primal": [
4.0
],
"original_objective": -6.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 4.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "scalar-negative"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 0.0,
"scale": 4.0
},
"signs": {
"violation": 0.0,
"scale": 2.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=scalar-negative\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=7\nnative.model_status_name=Optimal\nstop=none\nnative.info=available\nnative.objective=-6\nnative.primal_infeasibility=0\nnative.dual_infeasibility=0\nnative.simplex_iterations=0\noriginal.objective=-6\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [2e+00, 2e+00]\n Bound [1e+00, 4e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nModel status : Optimal\nObjective value : -6.0000000000e+00\nP-D objective error : 0.0000000000e+00\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217977841100",
"end_tick": "503217977842800",
"duration_ns": 1700,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217977842800",
"end_tick": "503217977844700",
"duration_ns": 1900,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217977844800",
"end_tick": "503217977844900",
"duration_ns": 100,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217977844900",
"end_tick": "503217977948100",
"duration_ns": 103200,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217977948200",
"end_tick": "503217977949600",
"duration_ns": 1400,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217977841100",
"end_tick": "503217977949600",
"duration_ns": 108500,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "infeasible",
"support": {
"kind": "unestablished"
},
"primal": [
1.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 1.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "contradictory-rows"
},
"verifier": {
"id": "csl.lp.highs.dual",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"stationarity": {
"violation": 5.048709793414476e-29,
"scale": 1.0
},
"signs": {
"violation": 0.0,
"scale": 1.0
},
"complementarity": null
},
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=contradictory-rows\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=8\nnative.model_status_name=Infeasible\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=1\nnative.dual_infeasibility=0\nnative.simplex_iterations=1\noriginal.objective=0\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nLP has 2 rows; 1 cols; 2 nonzeros\nCoefficient ranges:\n Matrix [1e+00, 1e+00]\n Cost [0e+00, 0e+00]\n Bound [0e+00, 0e+00]\n RHS [1e+00, 1e+00]\nSolving LP without presolve, or with basis, or unconstrained\nUsing EKK dual simplex solver - serial\n Iteration Objective Infeasibilities num(sum)\n 0 0.0000000000e+00 Pr: 1(1); Du: 0(7.70355e-13) 0s\n 1 5.0487097934e-29 0s\nWARNING: LP solution KKT conditions\nnum/max 1 / 1 (relative 1 / 0.5) primal infeasibilities (tolerance = 1e-08)\nnum/max 0 / 0 (relative 0 / 0) dual infeasibilities (tolerance = 1e-08)\n 0 / 5.05e-29 P-D objective error (tolerance = 1e-07)\nModel status : Infeasible\nSimplex iterations: 1\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0487097934e-29\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217978013200",
"end_tick": "503217978014300",
"duration_ns": 1100,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217978014400",
"end_tick": "503217978016100",
"duration_ns": 1700,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217978016200",
"end_tick": "503217978016300",
"duration_ns": 100,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217978016400",
"end_tick": "503217978187900",
"duration_ns": 171500,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217978188000",
"end_tick": "503217978189700",
"duration_ns": 1700,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217978013200",
"end_tick": "503217978189700",
"duration_ns": 176500,
"unit": "ns",
"scope": "end_to_end"
}
}
}{
"result": {
"termination": "completed",
"outcome": "unbounded",
"support": {
"kind": "unestablished"
},
"primal": [
0.0
],
"original_objective": 0.0,
"objective_unavailable_reason": null,
"bounds": {
"lower": null,
"upper": null
},
"family": {
"available": false,
"reason": "point only"
},
"primal_residuals": {
"context": {
"subject": {
"problem": "html01-literals",
"program": "free-unbounded"
},
"verifier": {
"id": "csl.lp.highs.primal",
"version": "1"
},
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08
},
"rows": {
"violation": 0.0,
"scale": 1.0
},
"variables": {
"violation": 0.0,
"scale": 1.0
}
},
"dual_residuals": null,
"raw_diagnostics": "adapter.version=1.0.0+highs.1.11.0\nnative.version=1.11.0\nnative.githash=n/a\nnative.archive_sha256=2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275\nprogram.problem=html01-literals\nprogram.id=free-unbounded\noptions.solver=simplex\noptions.presolve=off\noptions.parallel=off\noptions.threads=1\noptions.random_seed=0\noptions.allow_unbounded_or_infeasible=false\noptions.log_to_console=true\nlogging.destination=callback\noptions.absolute_tolerance=1e-08\nresidual.relative_tolerance=1e-08\noptions.small_matrix_value=1e-12\noptions.infinite_bound=inf\noptions.infinite_cost=inf\noptions.large_matrix_value=inf\noptions.iteration_limit=2147483647\noptions.time_limit=inf\nmodel.reused=false\nnative.load_status=0\nnative_run=true\nnative.call_status=0\nnative.call_status_name=OK\nnative.model_status=10\nnative.model_status_name=Unbounded\nstop=none\nnative.info=available\nnative.objective=0\nnative.primal_infeasibility=0\nnative.dual_infeasibility=1\nnative.simplex_iterations=0\noriginal.objective=0\ndual.unavailable=invalid dimensions, nonfinite values or nonzero free-interval multiplier\ncomplementarity=unavailable\ncertificates=unavailable\nbasis=unavailable\nnative.log:\nRunning HiGHS 1.11.0 (git hash: n/a): Copyright (c) 2025 HiGHS under MIT licence terms\nModel has either no columns or no rows, so ignoring user constraint matrix data and initialising empty matrix\nLP has 0 rows; 1 cols; 0 nonzeros\nCoefficient ranges:\n Cost [1e+00, 1e+00]\n Bound [0e+00, 0e+00]\nSolving LP without presolve, or with basis, or unconstrained\nSolving an unconstrained LP with 1 columns\nWARNING: LP solution KKT conditions\nnum/max 0 / 0 (relative 0 / 0) primal infeasibilities (tolerance = 1e-08)\nnum/max 1 / 1 (relative 1 / 0.5) dual infeasibilities (tolerance = 1e-08)\n 1 / 0.5 P-D objective error (tolerance = 1e-07)\nModel status : Unbounded\nObjective value : 0.0000000000e+00\nP-D objective error : 5.0000000000e-01\nHiGHS run time : 0.00\n"
},
"validation": {
"passed": true,
"errors": []
},
"harness": {
"status": "returned",
"error": null,
"diagnostics": []
},
"timings": {
"input_publication": {
"available": true,
"start_tick": "503217978279400",
"end_tick": "503217978281300",
"duration_ns": 1900,
"unit": "ns",
"scope": "input_publication"
},
"registration_preparation": {
"available": true,
"start_tick": "503217978281400",
"end_tick": "503217978283700",
"duration_ns": 2300,
"unit": "ns",
"scope": "registration_preparation"
},
"workspace_creation": {
"available": true,
"start_tick": "503217978283800",
"end_tick": "503217978284000",
"duration_ns": 200,
"unit": "ns",
"scope": "workspace_creation"
},
"public_run": {
"available": true,
"start_tick": "503217978284100",
"end_tick": "503217978401600",
"duration_ns": 117500,
"unit": "ns",
"scope": "public_run"
},
"independent_verification": {
"available": true,
"start_tick": "503217978401700",
"end_tick": "503217978403300",
"duration_ns": 1600,
"unit": "ns",
"scope": "independent_verification"
},
"end_to_end": {
"available": true,
"start_tick": "503217978279400",
"end_tick": "503217978403400",
"duration_ns": 124000,
"unit": "ns",
"scope": "end_to_end"
}
}
}Fresh workspace per trial; process/TLS may be warm. Native-only time, exclusive native/adapter split and per-trial CPU/peak memory are unavailable. Process counters apply only to the separate profile. Limiter: unresolved unless the saved profile supports a broad phase attribution; no inner-kernel claim.
{
"provenance": {
"source_commit": "6780941b80fd1e94d6b5a6c5142822d5273bfa3f",
"tracked_clean": true,
"executable_sha256": "77b70059e01c2523ebde8fb86c3d43680454bfb3f62b57645fa9b68e73aa18e1",
"backend": {
"id": "csl.lp.highs",
"version": "1.0.0+highs.1.11.0"
},
"native_archive_sha256": "2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275",
"build": {
"source_commit": "6780941b80fd1e94d6b5a6c5142822d5273bfa3f",
"build_owner_sha256": "142beddc76b84b48a98585c95035bce081f6f656e1c0c028351a51c3bedb19a3",
"compiler": "MSVC",
"compiler_version": "19.44.35215.0",
"generator": "Visual Studio 17 2022",
"architecture": "AMD64/x64",
"configuration": "Release",
"cxx_standard": 20,
"ndebug": true,
"configured_flags": "/DWIN32 /D_WINDOWS /EHsc",
"release_flags": "/O2 /Ob2 /DNDEBUG"
},
"repository": "butahlecoq/controlled-systems-lab",
"build_log_sha256": "9fc2e35f041e3ae3c2d588492f4e849547ad3e4e9fcb7fdbf47490ab126db481",
"build_clean_interval": {
"before": "2026-10-12T00:03:28Z",
"after": "2026-10-12T00:03:40Z"
},
"commands": [
"[\"C:/Program Files/Microsoft Visual Studio/2022/Community/Common7/IDE/CommonExtensions/Microsoft/CMake/CMake/bin/cmake.exe\", \"--build\", \"BUILD_ROOT\", \"--config\", \"Release\", \"--parallel\", \"4\", \"--verbose\"]",
"[\"build\\\\html01\\\\Release\\\\csl_lp_report.exe\", \"--measure\", \"--repetitions\", \"7\", \"--warmups\", \"1\"]",
"[\"build\\\\html01\\\\Release\\\\csl_lp_report.exe\", \"--profile\", \"--rounds\", \"1000\"]"
],
"file_api": {
"cmake": {
"generator": {
"multiConfig": true,
"name": "Visual Studio 17 2022",
"platform": "x64"
},
"paths": {
"cmake": "C:/Program Files/Microsoft Visual Studio/2022/Community/Common7/IDE/CommonExtensions/Microsoft/CMake/CMake/bin/cmake.exe",
"cpack": "C:/Program Files/Microsoft Visual Studio/2022/Community/Common7/IDE/CommonExtensions/Microsoft/CMake/CMake/bin/cpack.exe",
"ctest": "C:/Program Files/Microsoft Visual Studio/2022/Community/Common7/IDE/CommonExtensions/Microsoft/CMake/CMake/bin/ctest.exe",
"root": "C:/Program Files/Microsoft Visual Studio/2022/Community/Common7/IDE/CommonExtensions/Microsoft/CMake/CMake/share/cmake-3.31"
},
"version": {
"isDirty": false,
"major": 3,
"minor": 31,
"patch": 6,
"string": "3.31.6-msvc6",
"suffix": "msvc6"
}
},
"configuration": "Release",
"paths": {
"build": "BUILD_ROOT",
"source": "SOURCE_ROOT"
},
"targets": [
{
"name": "csl_lp_report",
"type": "EXECUTABLE",
"compileGroups": [
{
"compileCommandFragments": [
{
"fragment": "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD"
},
{
"backtrace": 14,
"fragment": "/W4"
},
{
"backtrace": 14,
"fragment": "/WX"
},
{
"backtrace": 14,
"fragment": "/permissive-"
}
],
"includes": [
{
"backtrace": 4,
"path": "SOURCE_ROOT/benchmarks/reporting"
},
{
"backtrace": 4,
"path": "SOURCE_ROOT/include"
}
],
"language": "CXX",
"languageStandard": {
"backtraces": [
4
],
"standard": "20"
},
"sourceIndexes": [
0
]
}
],
"link": {
"commandFragments": [
{
"fragment": "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -MD",
"role": "flags"
},
{
"fragment": "/machine:x64 /INCREMENTAL:NO /subsystem:console",
"role": "flags"
},
{
"backtrace": 4,
"fragment": "Release\\csl_report_support.lib",
"role": "libraries"
},
{
"backtrace": 5,
"fragment": "Release\\csl_highs_lp.lib",
"role": "libraries"
},
{
"backtrace": 6,
"fragment": "Release\\csl_optimization.lib",
"role": "libraries"
},
{
"backtrace": 7,
"fragment": "Release\\csl_numeric.lib",
"role": "libraries"
},
{
"backtrace": 6,
"fragment": "Release\\csl_registry.lib",
"role": "libraries"
},
{
"backtrace": 8,
"fragment": "Release\\csl_contracts.lib",
"role": "libraries"
},
{
"backtrace": 12,
"fragment": "Release\\bin\\highs.lib",
"role": "libraries"
},
{
"backtrace": 13,
"fragment": "Psapi.lib",
"role": "libraries"
},
{
"fragment": "kernel32.lib user32.lib gdi32.lib winspool.lib shell32.lib ole32.lib oleaut32.lib uuid.lib comdlg32.lib advapi32.lib",
"role": "libraries"
}
],
"language": "CXX"
},
"artifacts": [
{
"path": "Release/csl_lp_report.exe"
},
{
"path": "Release/csl_lp_report.pdb"
}
]
},
{
"name": "csl_optimization",
"type": "STATIC_LIBRARY",
"compileGroups": [
{
"compileCommandFragments": [
{
"fragment": "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD"
},
{
"backtrace": 4,
"fragment": "/W4"
},
{
"backtrace": 4,
"fragment": "/WX"
},
{
"backtrace": 4,
"fragment": "/permissive-"
}
],
"includes": [
{
"backtrace": 5,
"path": "SOURCE_ROOT/include"
}
],
"language": "CXX",
"languageStandard": {
"backtraces": [
6
],
"standard": "20"
},
"sourceIndexes": [
0,
1
]
}
],
"archive": {
"commandFragments": [
{
"fragment": "/machine:x64",
"role": "flags"
}
]
},
"artifacts": [
{
"path": "Release/csl_optimization.lib"
}
]
},
{
"name": "csl_numeric",
"type": "STATIC_LIBRARY",
"compileGroups": [
{
"compileCommandFragments": [
{
"fragment": "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD"
},
{
"backtrace": 4,
"fragment": "/W4"
},
{
"backtrace": 4,
"fragment": "/WX"
},
{
"backtrace": 4,
"fragment": "/permissive-"
}
],
"includes": [
{
"backtrace": 5,
"path": "SOURCE_ROOT/include"
}
],
"language": "CXX",
"languageStandard": {
"backtraces": [
6
],
"standard": "20"
},
"sourceIndexes": [
0
]
}
],
"archive": {
"commandFragments": [
{
"fragment": "/machine:x64",
"role": "flags"
}
]
},
"artifacts": [
{
"path": "Release/csl_numeric.lib"
}
]
},
{
"name": "csl_contracts",
"type": "STATIC_LIBRARY",
"compileGroups": [
{
"compileCommandFragments": [
{
"fragment": "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD"
},
{
"backtrace": 3,
"fragment": "/W4"
},
{
"backtrace": 3,
"fragment": "/WX"
},
{
"backtrace": 3,
"fragment": "/permissive-"
}
],
"includes": [
{
"backtrace": 4,
"path": "SOURCE_ROOT/include"
}
],
"language": "CXX",
"languageStandard": {
"backtraces": [
5
],
"standard": "20"
},
"sourceIndexes": [
0
]
}
],
"archive": {
"commandFragments": [
{
"fragment": "/machine:x64",
"role": "flags"
}
]
},
"artifacts": [
{
"path": "Release/csl_contracts.lib"
}
]
},
{
"name": "ZERO_CHECK",
"type": "UTILITY"
},
{
"name": "csl_registry",
"type": "STATIC_LIBRARY",
"compileGroups": [
{
"compileCommandFragments": [
{
"fragment": "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD"
},
{
"backtrace": 4,
"fragment": "/W4"
},
{
"backtrace": 4,
"fragment": "/WX"
},
{
"backtrace": 4,
"fragment": "/permissive-"
}
],
"includes": [
{
"backtrace": 5,
"path": "SOURCE_ROOT/include"
}
],
"language": "CXX",
"languageStandard": {
"backtraces": [
6
],
"standard": "20"
},
"sourceIndexes": [
0
]
}
],
"archive": {
"commandFragments": [
{
"fragment": "/machine:x64",
"role": "flags"
}
]
},
"artifacts": [
{
"path": "Release/csl_registry.lib"
}
]
},
{
"name": "csl_highs_lp",
"type": "STATIC_LIBRARY",
"compileGroups": [
{
"compileCommandFragments": [
{
"fragment": "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD"
},
{
"backtrace": 8,
"fragment": "/W4"
},
{
"backtrace": 8,
"fragment": "/WX"
},
{
"backtrace": 8,
"fragment": "/permissive-"
}
],
"includes": [
{
"backtrace": 9,
"path": "SOURCE_ROOT/include"
},
{
"backtrace": 10,
"isSystem": true,
"path": "BUILD_ROOT/_deps/csl_highs-src"
},
{
"backtrace": 10,
"isSystem": true,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs"
},
{
"backtrace": 10,
"isSystem": true,
"path": "BUILD_ROOT/_deps/csl_highs-build"
}
],
"language": "CXX",
"languageStandard": {
"backtraces": [
11
],
"standard": "20"
},
"sourceIndexes": [
0
]
}
],
"archive": {
"commandFragments": [
{
"fragment": "/machine:x64",
"role": "flags"
}
]
},
"artifacts": [
{
"path": "Release/csl_highs_lp.lib"
}
]
},
{
"name": "highs",
"type": "STATIC_LIBRARY",
"compileGroups": [
{
"compileCommandFragments": [
{
"fragment": "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -MD"
},
{
"backtrace": 11,
"fragment": "-D_CRT_SECURE_NO_WARNINGS"
},
{
"backtrace": 12,
"fragment": "/MP"
},
{
"backtrace": 13,
"fragment": "/Z7"
},
{
"backtrace": 14,
"fragment": "/bigobj"
},
{
"backtrace": 14,
"fragment": "/DNOMINMAX"
},
{
"backtrace": 14,
"fragment": "/DWIN32_LEAN_AND_MEAN=1"
},
{
"backtrace": 14,
"fragment": "/D_CRT_SECURE_NO_WARNINGS"
},
{
"backtrace": 14,
"fragment": "/D_CRT_SECURE_NO_DEPRECATE"
},
{
"backtrace": 14,
"fragment": "/Zc:preprocessor"
},
{
"backtrace": 14,
"fragment": "/fp:precise"
},
{
"backtrace": 14,
"fragment": "/wd4005"
},
{
"backtrace": 14,
"fragment": "/wd4018"
},
{
"backtrace": 14,
"fragment": "/wd4065"
},
{
"backtrace": 14,
"fragment": "/wd4068"
},
{
"backtrace": 14,
"fragment": "/wd4101"
},
{
"backtrace": 14,
"fragment": "/wd4146"
},
{
"backtrace": 14,
"fragment": "/wd4200"
},
{
"backtrace": 14,
"fragment": "/wd4244"
},
{
"backtrace": 14,
"fragment": "/wd4251"
},
{
"backtrace": 14,
"fragment": "/wd4267"
},
{
"backtrace": 14,
"fragment": "/wd4305"
},
{
"backtrace": 14,
"fragment": "/wd4307"
},
{
"backtrace": 14,
"fragment": "/wd4309"
},
{
"backtrace": 14,
"fragment": "/wd4334"
},
{
"backtrace": 14,
"fragment": "/wd4355"
},
{
"backtrace": 14,
"fragment": "/wd4477"
},
{
"backtrace": 14,
"fragment": "/wd4506"
},
{
"backtrace": 14,
"fragment": "/wd4715"
},
{
"backtrace": 14,
"fragment": "/wd4800"
},
{
"backtrace": 14,
"fragment": "/wd4996"
}
],
"includes": [
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/extern"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/extern/filereader"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/extern/pdqsort"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/extern/zstr"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/interfaces"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/io"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/ipm"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/ipm/ipx"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/ipm/basiclu"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/lp_data"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/mip"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/model"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/parallel"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/pdlp"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/pdlp/cupdlp"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/presolve"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/qpsolver"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/simplex"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/test_kkt"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/util"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-build"
}
],
"language": "CXX",
"languageStandard": {
"backtraces": [
1
],
"standard": "11"
},
"sourceIndexes": [
0,
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17,
18,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74,
75,
76,
77,
78,
79,
80,
81,
82,
83,
84,
85,
86,
87,
88,
89,
90,
91,
92,
93,
94,
95,
96,
97,
98,
99,
100,
101,
102,
103,
104,
105,
106,
107,
108,
117,
118,
119,
120,
121,
122,
123,
124,
125,
126,
127,
128,
129,
130,
131,
132,
133,
134,
135,
136,
137,
138,
139,
140,
141,
142,
143,
144,
145,
146,
147
]
},
{
"compileCommandFragments": [
{
"fragment": "/DWIN32 /D_WINDOWS /O2 /Ob2 /DNDEBUG -MD"
},
{
"backtrace": 11,
"fragment": "-D_CRT_SECURE_NO_WARNINGS"
},
{
"backtrace": 12,
"fragment": "/MP"
},
{
"backtrace": 13,
"fragment": "/Z7"
},
{
"backtrace": 14,
"fragment": "/bigobj"
},
{
"backtrace": 14,
"fragment": "/DNOMINMAX"
},
{
"backtrace": 14,
"fragment": "/DWIN32_LEAN_AND_MEAN=1"
},
{
"backtrace": 14,
"fragment": "/D_CRT_SECURE_NO_WARNINGS"
},
{
"backtrace": 14,
"fragment": "/D_CRT_SECURE_NO_DEPRECATE"
},
{
"backtrace": 14,
"fragment": "/Zc:preprocessor"
},
{
"backtrace": 14,
"fragment": "/fp:precise"
},
{
"backtrace": 14,
"fragment": "/wd4005"
},
{
"backtrace": 14,
"fragment": "/wd4018"
},
{
"backtrace": 14,
"fragment": "/wd4065"
},
{
"backtrace": 14,
"fragment": "/wd4068"
},
{
"backtrace": 14,
"fragment": "/wd4101"
},
{
"backtrace": 14,
"fragment": "/wd4146"
},
{
"backtrace": 14,
"fragment": "/wd4200"
},
{
"backtrace": 14,
"fragment": "/wd4244"
},
{
"backtrace": 14,
"fragment": "/wd4251"
},
{
"backtrace": 14,
"fragment": "/wd4267"
},
{
"backtrace": 14,
"fragment": "/wd4305"
},
{
"backtrace": 14,
"fragment": "/wd4307"
},
{
"backtrace": 14,
"fragment": "/wd4309"
},
{
"backtrace": 14,
"fragment": "/wd4334"
},
{
"backtrace": 14,
"fragment": "/wd4355"
},
{
"backtrace": 14,
"fragment": "/wd4477"
},
{
"backtrace": 14,
"fragment": "/wd4506"
},
{
"backtrace": 14,
"fragment": "/wd4715"
},
{
"backtrace": 14,
"fragment": "/wd4800"
},
{
"backtrace": 14,
"fragment": "/wd4996"
}
],
"includes": [
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/extern"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/extern/filereader"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/extern/pdqsort"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/extern/zstr"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/interfaces"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/io"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/ipm"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/ipm/ipx"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/ipm/basiclu"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/lp_data"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/mip"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/model"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/parallel"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/pdlp"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/pdlp/cupdlp"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/presolve"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/qpsolver"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/simplex"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/test_kkt"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/util"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-build"
}
],
"language": "C",
"sourceIndexes": [
109,
110,
111,
112,
113,
114,
115,
116,
148,
149,
150,
151,
152,
153,
154,
155,
156,
157,
158,
159,
160,
161,
162,
163,
164,
165,
166,
167,
168,
169,
170,
171,
172,
173,
174,
175
]
},
{
"compileCommandFragments": [
{
"fragment": "-DWIN32"
},
{
"backtrace": 14,
"fragment": "/DNOMINMAX"
},
{
"backtrace": 14,
"fragment": "/DWIN32_LEAN_AND_MEAN=1"
},
{
"backtrace": 14,
"fragment": "/D_CRT_SECURE_NO_WARNINGS"
},
{
"backtrace": 14,
"fragment": "/D_CRT_SECURE_NO_DEPRECATE"
}
],
"includes": [
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/extern"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/extern/filereader"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/extern/pdqsort"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/extern/zstr"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/interfaces"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/io"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/ipm"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/ipm/ipx"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/ipm/basiclu"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/lp_data"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/mip"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/model"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/parallel"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/pdlp"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/pdlp/cupdlp"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/presolve"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/qpsolver"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/simplex"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/test_kkt"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-src/highs/util"
},
{
"backtrace": 15,
"path": "BUILD_ROOT/_deps/csl_highs-build"
}
],
"language": "RC",
"sourceIndexes": [
403
]
}
],
"archive": {
"commandFragments": [
{
"fragment": "/machine:x64",
"role": "flags"
}
]
},
"artifacts": [
{
"path": "Release/bin/highs.lib"
}
]
},
{
"name": "csl_report_support",
"type": "STATIC_LIBRARY",
"compileGroups": [
{
"compileCommandFragments": [
{
"fragment": "/DWIN32 /D_WINDOWS /EHsc /O2 /Ob2 /DNDEBUG -std:c++20 -MD"
},
{
"backtrace": 5,
"fragment": "/W4"
},
{
"backtrace": 5,
"fragment": "/WX"
},
{
"backtrace": 5,
"fragment": "/permissive-"
}
],
"defines": [
{
"backtrace": 6,
"define": "CSL_REPORT_CONFIG=\"Release\""
}
],
"includes": [
{
"backtrace": 7,
"path": "SOURCE_ROOT/benchmarks/reporting"
},
{
"backtrace": 8,
"path": "BUILD_ROOT/report-generated"
},
{
"backtrace": 4,
"path": "SOURCE_ROOT/include"
}
],
"language": "CXX",
"languageStandard": {
"backtraces": [
9
],
"standard": "20"
},
"sourceIndexes": [
0,
1
]
}
],
"archive": {
"commandFragments": [
{
"fragment": "/machine:x64",
"role": "flags"
}
]
},
"artifacts": [
{
"path": "Release/csl_report_support.lib"
}
]
}
],
"toolchains": {
"kind": "toolchains",
"toolchains": [
{
"compiler": {
"id": "MSVC",
"implicit": {
"includeDirectories": [],
"linkDirectories": [],
"linkFrameworkDirectories": [],
"linkLibraries": []
},
"path": "C:/Program Files/Microsoft Visual Studio/2022/Community/VC/Tools/MSVC/14.44.35207/bin/Hostx64/x64/cl.exe",
"version": "19.44.35215.0"
},
"language": "C",
"sourceFileExtensions": [
"c",
"m"
]
},
{
"compiler": {
"id": "MSVC",
"implicit": {
"includeDirectories": [],
"linkDirectories": [],
"linkFrameworkDirectories": [],
"linkLibraries": []
},
"path": "C:/Program Files/Microsoft Visual Studio/2022/Community/VC/Tools/MSVC/14.44.35207/bin/Hostx64/x64/cl.exe",
"version": "19.44.35215.0"
},
"language": "CXX",
"sourceFileExtensions": [
"C",
"M",
"c++",
"cc",
"cpp",
"cxx",
"mm",
"mpp",
"CPP",
"ixx",
"cppm",
"ccm",
"cxxm",
"c++m"
]
},
{
"compiler": {
"implicit": {},
"path": "rc"
},
"language": "RC",
"sourceFileExtensions": [
"rc",
"RC"
]
}
],
"version": {
"major": 1,
"minor": 0
}
}
}
},
"environment": {
"scalar": "binary64",
"absolute_tolerance": 1e-08,
"relative_tolerance": 1e-08,
"seed": 0,
"workspace_reuse": false,
"process_warmup": true,
"order": "fixed catalogue round robin",
"resources": {
"total_threads": 1,
"outer_workers": 1,
"threads_per_worker": 1,
"memory_bytes": null
},
"native_threads": {
"available": true,
"value": 1,
"unit": "threads",
"scope": "configured native adapter; not observed OS thread count"
},
"native_only_time": {
"available": false,
"reason": "not exposed"
},
"per_trial_cpu": {
"available": false,
"reason": "not instrumented"
},
"per_trial_peak_memory": {
"available": false,
"reason": "not instrumented"
},
"machine_load": {
"before": {
"utc": "2026-10-12T00:03:40Z",
"os": "Windows-11-10.0.22631-SP0",
"logical_processors": 12,
"python": "3.13.5",
"cpu": "12th Gen Intel(R) Core(TM) i5-12400F",
"load_percent": [
2
],
"ram_bytes": 34189107200
},
"after": {
"utc": "2026-10-12T00:03:43Z",
"os": "Windows-11-10.0.22631-SP0",
"logical_processors": 12,
"python": "3.13.5",
"cpu": "12th Gen Intel(R) Core(TM) i5-12400F",
"load_percent": [
1
],
"ram_bytes": 34189107200
},
"process_cpu_deltas": {
"available": true,
"unit": "process CPU seconds over collection interval",
"values": {
"ApplicationFrameHost": 0.0,
"audiodg": 0.0,
"AvastUI": 0.0,
"cbservice": 0.0,
"ChatGPT": 0.03125,
"chrome": 0.0,
"cmd": 0,
"cnqtbapp": 0.0,
"codex": 0.0,
"codex-code-mode-host": 0.0,
"codex-command-runner-0.162.0-alpha.17.2": 0.0,
"codex-computer-use-swift": 0.0,
"conhost": 0.0,
"ctfmon": 0.0,
"dllhost": 0.0,
"DTShellHlp": 0.0,
"explorer": 0.0,
"FLPService": 0.0,
"LockApp": 0.0,
"MSBuild": 0.0,
"node": 0.0,
"node_repl": 0.0,
"OpenConsole": 0.0,
"pdf24": 0.0,
"PhoneExperienceHost": 0.0,
"pwsh": 0.0,
"python": 0.0,
"rhinomcp": 0,
"RuntimeBroker": 0.0,
"SearchHost": 0.0,
"SecurityHealthSystray": 0,
"ShellExperienceHost": 0.0,
"sihost": 0.0,
"sketchup-mcp": 0,
"StartMenuExperienceHost": 0.0,
"svchost": 0.0,
"SystemSettings": 0.0,
"SystemSettingsBroker": 0.0,
"tailscale-ipn": 0.0,
"taskhostw": 0.0,
"Telegram": 0.0,
"TextInputHost": 0.0,
"uv": 0.0,
"vctip": 0.015625,
"Widgets": 0.0,
"WidgetService": 0.0,
"WindowsTerminal": 0.0
},
"scope": "matching observed processes only; no arguments/paths, new/exited processes omitted"
}
},
"concurrent_work": "Accepted collection at clean integrated code 6780941b80fd1e94d6b5a6c5142822d5273bfa3f. Controller opened a coordinated quiet team window after confirming all MODEL03, OPT08 and root heavy build/test handles terminal; the independent reviewer is read-only. Ordinary user/system background work is not stopped. The collector records actual pre/post measurement machine load and matching-process CPU deltas; those observations are not proof of an idle or isolated OS and do not cover every transient process. Existing local cache and plotting environment are retained. The explicit report-target Release preflight finished before collection; the unchanged reviewed collector performs one final default Release provenance build before its own measurement timer, potentially compiling newly integrated targets. Its thermal/cache effects remain part of the disclosed warm host state. Each case has one excluded warmup in the measurement process, followed by seven fixed round-robin trials with fresh immutable program/registry/workspace per trial; native TLS/caches may be warm. Profile is a separate 1000-round process, outside reported latency trials. No CPU affinity, frequency/power policy, OS cache flush, unrelated process termination, solver tuning or external performance comparison is applied. Requested/configured resources are one total thread, one outer worker and one native thread; actual OS thread count is not independently observed. No competing heavy team build is allowed until collection/profile/plot/regeneration finish. Residual load and unresolved inner limiter must be disclosed with the actual artifact.",
"collector_python": "3.13.5",
"collection_timeout_seconds": 300,
"clock_calibration": [
{
"schema": "csl.lp-report-events/1",
"event": "calibration",
"purpose": "calibration",
"clock_reads": 20000,
"positive_deltas": 1001,
"minimum_positive_ticks": "100",
"scope": "observed clock-read delta; not guaranteed resolution"
}
],
"clock": {
"is_steady": true,
"period_num": 1,
"period_den": 1000000000
}
},
"process": {
"expected_trials": 35,
"emitted_trials": 35,
"repetitions": 7,
"complete": true,
"aborted": false,
"warmups": 1,
"return_code": 0,
"events_sha256": "cb64a303da831c77b8efdeb7f58a71d8fc3d7095bd188c2a6c974426d85e31f9",
"stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"failure_reason": null
},
"profile": {
"available": true,
"valid": true,
"file": "profile.json",
"sha256": "2b379fdaa2f5d7b410f29eaad3516885b2c7f958ed4178c5f4977168863a225d",
"scope": "separate profile"
}
}Repository artifact fallback (current main) · Repository ZIP fallback. This artifact reference is separate from the measured source commit; availability follows artifact publication.
Export timing is recorded separately in export.json, excluding its own serialization, final manifest and ZIP packaging. The renderer reads saved records and never starts a solver.
Publication lp-20261012T000346Z-9b916da6a4ffd6685e99df3129f6cbaaa73d85c9f12533a828c1e1714dd12ff0; source lp-20261012T000346Z-ee5e9193b7a5. Versioned report envelope · Publication manifest
