{ "evidence_limits": "Single-adapter reference measurements; no comparator or application-scale claim; numerical references are not validated certificates", "measured_scope": "Five analytic LP microfixtures", "native_payload_sha256": "ee5e9193b7a55bbec9f85f805ca74e7e1f5e9b9d22199e5fffeab4ef72515501", "payload": { "payload": { "created_utc": "2026-10-12T00:03:46Z", "environment": { "absolute_tolerance": 1e-08, "clock": { "is_steady": true, "period_den": 1000000000, "period_num": 1 }, "clock_calibration": [ { "clock_reads": 20000, "event": "calibration", "minimum_positive_ticks": "100", "positive_deltas": 1001, "purpose": "calibration", "schema": "csl.lp-report-events/1", "scope": "observed clock-read delta; not guaranteed resolution" } ], "collection_timeout_seconds": 300, "collector_python": "3.13.5", "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.", "machine_load": { "after": { "cpu": "12th Gen Intel(R) Core(TM) i5-12400F", "load_percent": [ 1 ], "logical_processors": 12, "os": "Windows-11-10.0.22631-SP0", "python": "3.13.5", "ram_bytes": 34189107200, "utc": "2026-10-12T00:03:43Z" }, "before": { "cpu": "12th Gen Intel(R) Core(TM) i5-12400F", "load_percent": [ 2 ], "logical_processors": 12, "os": "Windows-11-10.0.22631-SP0", "python": "3.13.5", "ram_bytes": 34189107200, "utc": "2026-10-12T00:03:40Z" }, "process_cpu_deltas": { "available": true, "scope": "matching observed processes only; no arguments/paths, new/exited processes omitted", "unit": "process CPU seconds over collection interval", "values": { "ApplicationFrameHost": 0.0, "AvastUI": 0.0, "ChatGPT": 0.03125, "DTShellHlp": 0.0, "FLPService": 0.0, "LockApp": 0.0, "MSBuild": 0.0, "OpenConsole": 0.0, "PhoneExperienceHost": 0.0, "RuntimeBroker": 0.0, "SearchHost": 0.0, "SecurityHealthSystray": 0, "ShellExperienceHost": 0.0, "StartMenuExperienceHost": 0.0, "SystemSettings": 0.0, "SystemSettingsBroker": 0.0, "Telegram": 0.0, "TextInputHost": 0.0, "WidgetService": 0.0, "Widgets": 0.0, "WindowsTerminal": 0.0, "audiodg": 0.0, "cbservice": 0.0, "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, "explorer": 0.0, "node": 0.0, "node_repl": 0.0, "pdf24": 0.0, "pwsh": 0.0, "python": 0.0, "rhinomcp": 0, "sihost": 0.0, "sketchup-mcp": 0, "svchost": 0.0, "tailscale-ipn": 0.0, "taskhostw": 0.0, "uv": 0.0, "vctip": 0.015625 } } }, "native_only_time": { "available": false, "reason": "not exposed" }, "native_threads": { "available": true, "scope": "configured native adapter; not observed OS thread count", "unit": "threads", "value": 1 }, "order": "fixed catalogue round robin", "per_trial_cpu": { "available": false, "reason": "not instrumented" }, "per_trial_peak_memory": { "available": false, "reason": "not instrumented" }, "process_warmup": true, "relative_tolerance": 1e-08, "resources": { "memory_bytes": null, "outer_workers": 1, "threads_per_worker": 1, "total_threads": 1 }, "scalar": "binary64", "seed": 0, "workspace_reuse": false }, "historical": [], "process": { "aborted": false, "complete": true, "emitted_trials": 35, "events_sha256": "cb64a303da831c77b8efdeb7f58a71d8fc3d7095bd188c2a6c974426d85e31f9", "expected_trials": 35, "failure_reason": null, "repetitions": 7, "return_code": 0, "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "warmups": 1 }, "profile": { "available": true, "file": "profile.json", "scope": "separate profile", "sha256": "2b379fdaa2f5d7b410f29eaad3516885b2c7f958ed4178c5f4977168863a225d", "valid": true }, "provenance": { "backend": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "build": { "architecture": "AMD64/x64", "build_owner_sha256": "142beddc76b84b48a98585c95035bce081f6f656e1c0c028351a51c3bedb19a3", "compiler": "MSVC", "compiler_version": "19.44.35215.0", "configuration": "Release", "configured_flags": "/DWIN32 /D_WINDOWS /EHsc", "cxx_standard": 20, "generator": "Visual Studio 17 2022", "ndebug": true, "release_flags": "/O2 /Ob2 /DNDEBUG", "source_commit": "6780941b80fd1e94d6b5a6c5142822d5273bfa3f" }, "build_clean_interval": { "after": "2026-10-12T00:03:40Z", "before": "2026-10-12T00:03:28Z" }, "build_log_sha256": "9fc2e35f041e3ae3c2d588492f4e849547ad3e4e9fcb7fdbf47490ab126db481", "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\"]" ], "executable_sha256": "77b70059e01c2523ebde8fb86c3d43680454bfb3f62b57645fa9b68e73aa18e1", "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": [ { "artifacts": [ { "path": "Release/csl_lp_report.exe" }, { "path": "Release/csl_lp_report.pdb" } ], "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" }, "name": "csl_lp_report", "type": "EXECUTABLE" }, { "archive": { "commandFragments": [ { "fragment": "/machine:x64", "role": "flags" } ] }, "artifacts": [ { "path": "Release/csl_optimization.lib" } ], "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 ] } ], "name": "csl_optimization", "type": "STATIC_LIBRARY" }, { "archive": { "commandFragments": [ { "fragment": "/machine:x64", "role": "flags" } ] }, "artifacts": [ { "path": "Release/csl_numeric.lib" } ], "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 ] } ], "name": "csl_numeric", "type": "STATIC_LIBRARY" }, { "archive": { "commandFragments": [ { "fragment": "/machine:x64", "role": "flags" } ] }, "artifacts": [ { "path": "Release/csl_contracts.lib" } ], "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 ] } ], "name": "csl_contracts", "type": "STATIC_LIBRARY" }, { "name": "ZERO_CHECK", "type": "UTILITY" }, { "archive": { "commandFragments": [ { "fragment": "/machine:x64", "role": "flags" } ] }, "artifacts": [ { "path": "Release/csl_registry.lib" } ], "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 ] } ], "name": "csl_registry", "type": "STATIC_LIBRARY" }, { "archive": { "commandFragments": [ { "fragment": "/machine:x64", "role": "flags" } ] }, "artifacts": [ { "path": "Release/csl_highs_lp.lib" } ], "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 ] } ], "name": "csl_highs_lp", "type": "STATIC_LIBRARY" }, { "archive": { "commandFragments": [ { "fragment": "/machine:x64", "role": "flags" } ] }, "artifacts": [ { "path": "Release/bin/highs.lib" } ], "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 ] } ], "name": "highs", "type": "STATIC_LIBRARY" }, { "archive": { "commandFragments": [ { "fragment": "/machine:x64", "role": "flags" } ] }, "artifacts": [ { "path": "Release/csl_report_support.lib" } ], "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 ] } ], "name": "csl_report_support", "type": "STATIC_LIBRARY" } ], "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 } } }, "native_archive_sha256": "2b44b074cf41439325ce4d0bbdac2d51379f56faf17ba15320a410d3c1f07275", "repository": "butahlecoq/controlled-systems-lab", "source_commit": "6780941b80fd1e94d6b5a6c5142822d5273bfa3f", "tracked_clean": true }, "purpose": "measurement", "scenarios": [ { "assumptions": [ "continuous variables", "minimization", "binary64 numerical output; outcome support unestablished" ], "case_id": "offset-triangle", "identity": { "problem": "html01-literals", "program": "offset-triangle" }, "input": { "constraints": { "cols": 2, "indices": [ 0, 1 ], "rows": 1, "starts": [ 0, 2 ], "values": [ 1.0, 1.0 ] }, "linear": [ -1.0, -2.0 ], "offset": 7.0, "rows": [ [ null, 1.0 ] ], "variables": [ [ 0.0, null ], [ 0.0, null ] ] }, "input_sha256": "0e372eb934b472383df8ea8c78de2b12fe07ecddafc056e7e35e38bb25c8f83a", "reference": { "derivation": "x+2y <= 2(x+y) <= 2; value5 attained at(0,1).", "objective": 5.0, "outcome": "optimal", "point": [ 0.0, 1.0 ] }, "scenario_sha256": "668ba8ae92115dfdc8bae4378a9ef5668df5e9b5d349eb86b62ea9e6288655a3" }, { "assumptions": [ "continuous variables", "minimization", "binary64 numerical output; outcome support unestablished" ], "case_id": "scalar-positive", "identity": { "problem": "html01-literals", "program": "scalar-positive" }, "input": { "constraints": { "cols": 1, "indices": [], "rows": 0, "starts": [ 0 ], "values": [] }, "linear": [ 3.0 ], "offset": 2.0, "rows": [], "variables": [ [ -1.0, 4.0 ] ] }, "input_sha256": "70a1c39fc864efa1d009529e44326f750d4b9bdc9d616ae0664a8526ff09da01", "reference": { "derivation": "Positive slope selects lower endpoint-1.", "objective": -1.0, "outcome": "optimal", "point": [ -1.0 ] }, "scenario_sha256": "25f0f370d5eb9b3e72a5bd244ef7852945813a239281bc40794acc2fada7365d" }, { "assumptions": [ "continuous variables", "minimization", "binary64 numerical output; outcome support unestablished" ], "case_id": "scalar-negative", "identity": { "problem": "html01-literals", "program": "scalar-negative" }, "input": { "constraints": { "cols": 1, "indices": [], "rows": 0, "starts": [ 0 ], "values": [] }, "linear": [ -2.0 ], "offset": 2.0, "rows": [], "variables": [ [ -1.0, 4.0 ] ] }, "input_sha256": "daa659e9a3cab8fbb74827bd71afa10f644e9b3d08dbc839e70bf0348c07bb68", "reference": { "derivation": "Negative slope selects upper endpoint4.", "objective": -6.0, "outcome": "optimal", "point": [ 4.0 ] }, "scenario_sha256": "a9e20240e46ed9ad1c0d6278dcb710aab5838aadfbc3cac9e9c56faf7416e4ab" }, { "assumptions": [ "continuous variables", "minimization", "binary64 numerical output; outcome support unestablished" ], "case_id": "contradictory-rows", "identity": { "problem": "html01-literals", "program": "contradictory-rows" }, "input": { "constraints": { "cols": 1, "indices": [ 0, 0 ], "rows": 2, "starts": [ 0, 1, 2 ], "values": [ 1.0, 1.0 ] }, "linear": [ 0.0 ], "offset": 0.0, "rows": [ [ null, 0.0 ], [ 1.0, null ] ], "variables": [ [ null, null ] ] }, "input_sha256": "fdef1c333f9cbb6a6ca447c6176e88c0ef0d49650197c743d3eda238ff6edfc2", "reference": { "derivation": "x<=0 and x>=1 contradict.", "objective": null, "outcome": "infeasible", "point": null }, "scenario_sha256": "dc2446d27ecf8666acfe91b5cb0cc4e2009524a21bb0637cfef512492bb61c4b" }, { "assumptions": [ "continuous variables", "minimization", "binary64 numerical output; outcome support unestablished" ], "case_id": "free-unbounded", "identity": { "problem": "html01-literals", "program": "free-unbounded" }, "input": { "constraints": { "cols": 1, "indices": [], "rows": 0, "starts": [ 0 ], "values": [] }, "linear": [ -1.0 ], "offset": 0.0, "rows": [], "variables": [ [ null, null ] ] }, "input_sha256": "5fa38870ec3a4ef96aa3c5ad4cca9734fda5c3377908cdd88bafbb8634189444", "reference": { "derivation": "-x tends to minus infinity as x grows.", "objective": null, "outcome": "unbounded", "point": null }, "scenario_sha256": "5bf6150a7e0e14c1e1abddfb47f20c86cd311428d16cf5f9e86d42823389a258" } ], "trials": [ { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "offset-triangle", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "offset-triangle" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "4096214291944875905", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 5.0, "outcome": "optimal", "primal": [ 0.0, 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 1, "sequence": 6, "timings": { "end_to_end": { "available": true, "duration_ns": 193000, "end_tick": "503217971168300", "scope": "end_to_end", "start_tick": "503217970975300", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 2200, "end_tick": "503217971168300", "scope": "independent_verification", "start_tick": "503217971166100", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1300, "end_tick": "503217970976600", "scope": "input_publication", "start_tick": "503217970975300", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 186900, "end_tick": "503217971166000", "scope": "public_run", "start_tick": "503217970979100", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2000, "end_tick": "503217970978700", "scope": "registration_preparation", "start_tick": "503217970976700", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217970979100", "scope": "workspace_creation", "start_tick": "503217970978900", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-positive", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-positive" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "14649873226156982192", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 3.0, "violation": 0.0 }, "stationarity": { "scale": 6.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -1.0, "outcome": "optimal", "primal": [ -1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 1, "sequence": 7, "timings": { "end_to_end": { "available": true, "duration_ns": 116700, "end_tick": "503217971377700", "scope": "end_to_end", "start_tick": "503217971261000", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1900, "end_tick": "503217971377700", "scope": "independent_verification", "start_tick": "503217971375800", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1100, "end_tick": "503217971262100", "scope": "input_publication", "start_tick": "503217971261000", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 111000, "end_tick": "503217971375700", "scope": "public_run", "start_tick": "503217971264700", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2000, "end_tick": "503217971264200", "scope": "registration_preparation", "start_tick": "503217971262200", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217971264600", "scope": "workspace_creation", "start_tick": "503217971264400", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-negative", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-negative" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "17865443360099516336", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -6.0, "outcome": "optimal", "primal": [ 4.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 1, "sequence": 8, "timings": { "end_to_end": { "available": true, "duration_ns": 115800, "end_tick": "503217971561900", "scope": "end_to_end", "start_tick": "503217971446100", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1700, "end_tick": "503217971561900", "scope": "independent_verification", "start_tick": "503217971560200", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1700, "end_tick": "503217971447800", "scope": "input_publication", "start_tick": "503217971446100", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 110100, "end_tick": "503217971560200", "scope": "public_run", "start_tick": "503217971450100", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1800, "end_tick": "503217971449700", "scope": "registration_preparation", "start_tick": "503217971447900", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 100, "end_tick": "503217971450000", "scope": "workspace_creation", "start_tick": "503217971449900", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "contradictory-rows", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "contradictory-rows" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "5762976853843938481", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 1.0, "violation": 0.0 }, "stationarity": { "scale": 1.0, "violation": 5.048709793414476e-29 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "infeasible", "primal": [ 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 1.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 1, "sequence": 9, "timings": { "end_to_end": { "available": true, "duration_ns": 191100, "end_tick": "503217971814500", "scope": "end_to_end", "start_tick": "503217971623400", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1700, "end_tick": "503217971814500", "scope": "independent_verification", "start_tick": "503217971812800", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1300, "end_tick": "503217971624700", "scope": "input_publication", "start_tick": "503217971623400", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 185600, "end_tick": "503217971812700", "scope": "public_run", "start_tick": "503217971627100", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2100, "end_tick": "503217971626800", "scope": "registration_preparation", "start_tick": "503217971624700", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217971627100", "scope": "workspace_creation", "start_tick": "503217971626900", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "free-unbounded", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "free-unbounded" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "9819938912645933069", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": null, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "unbounded", "primal": [ 0.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "free-unbounded" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 1, "sequence": 10, "timings": { "end_to_end": { "available": true, "duration_ns": 127300, "end_tick": "503217972049700", "scope": "end_to_end", "start_tick": "503217971922400", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1500, "end_tick": "503217972049600", "scope": "independent_verification", "start_tick": "503217972048100", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1200, "end_tick": "503217971923700", "scope": "input_publication", "start_tick": "503217971922500", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 121100, "end_tick": "503217972048000", "scope": "public_run", "start_tick": "503217971926900", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2600, "end_tick": "503217971926400", "scope": "registration_preparation", "start_tick": "503217971923800", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 300, "end_tick": "503217971926800", "scope": "workspace_creation", "start_tick": "503217971926500", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "offset-triangle", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "offset-triangle" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "4096214291944875905", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 5.0, "outcome": "optimal", "primal": [ 0.0, 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 2, "sequence": 11, "timings": { "end_to_end": { "available": true, "duration_ns": 196300, "end_tick": "503217972304100", "scope": "end_to_end", "start_tick": "503217972107800", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1900, "end_tick": "503217972304100", "scope": "independent_verification", "start_tick": "503217972302200", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1900, "end_tick": "503217972109800", "scope": "input_publication", "start_tick": "503217972107900", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 190200, "end_tick": "503217972302100", "scope": "public_run", "start_tick": "503217972111900", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1800, "end_tick": "503217972111600", "scope": "registration_preparation", "start_tick": "503217972109800", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217972111900", "scope": "workspace_creation", "start_tick": "503217972111700", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-positive", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-positive" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "14649873226156982192", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 3.0, "violation": 0.0 }, "stationarity": { "scale": 6.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -1.0, "outcome": "optimal", "primal": [ -1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 2, "sequence": 12, "timings": { "end_to_end": { "available": true, "duration_ns": 108000, "end_tick": "503217972488200", "scope": "end_to_end", "start_tick": "503217972380200", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1600, "end_tick": "503217972488200", "scope": "independent_verification", "start_tick": "503217972486600", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 900, "end_tick": "503217972381100", "scope": "input_publication", "start_tick": "503217972380200", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 102900, "end_tick": "503217972486500", "scope": "public_run", "start_tick": "503217972383600", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2000, "end_tick": "503217972383200", "scope": "registration_preparation", "start_tick": "503217972381200", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217972383500", "scope": "workspace_creation", "start_tick": "503217972383300", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-negative", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-negative" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "17865443360099516336", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -6.0, "outcome": "optimal", "primal": [ 4.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 2, "sequence": 13, "timings": { "end_to_end": { "available": true, "duration_ns": 107600, "end_tick": "503217972659600", "scope": "end_to_end", "start_tick": "503217972552000", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1300, "end_tick": "503217972659500", "scope": "independent_verification", "start_tick": "503217972658200", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 700, "end_tick": "503217972552800", "scope": "input_publication", "start_tick": "503217972552100", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 103200, "end_tick": "503217972658100", "scope": "public_run", "start_tick": "503217972554900", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1800, "end_tick": "503217972554600", "scope": "registration_preparation", "start_tick": "503217972552800", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217972554900", "scope": "workspace_creation", "start_tick": "503217972554700", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "contradictory-rows", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "contradictory-rows" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "5762976853843938481", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 1.0, "violation": 0.0 }, "stationarity": { "scale": 1.0, "violation": 5.048709793414476e-29 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "infeasible", "primal": [ 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 1.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 2, "sequence": 14, "timings": { "end_to_end": { "available": true, "duration_ns": 174600, "end_tick": "503217972892200", "scope": "end_to_end", "start_tick": "503217972717600", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1600, "end_tick": "503217972892200", "scope": "independent_verification", "start_tick": "503217972890600", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 2100, "end_tick": "503217972719700", "scope": "input_publication", "start_tick": "503217972717600", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 168700, "end_tick": "503217972890500", "scope": "public_run", "start_tick": "503217972721800", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1800, "end_tick": "503217972721500", "scope": "registration_preparation", "start_tick": "503217972719700", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 100, "end_tick": "503217972721700", "scope": "workspace_creation", "start_tick": "503217972721600", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "free-unbounded", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "free-unbounded" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "9819938912645933069", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": null, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "unbounded", "primal": [ 0.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "free-unbounded" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 2, "sequence": 15, "timings": { "end_to_end": { "available": true, "duration_ns": 122500, "end_tick": "503217973099000", "scope": "end_to_end", "start_tick": "503217972976500", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1400, "end_tick": "503217973098900", "scope": "independent_verification", "start_tick": "503217973097500", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 900, "end_tick": "503217972977500", "scope": "input_publication", "start_tick": "503217972976600", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 117300, "end_tick": "503217973097300", "scope": "public_run", "start_tick": "503217972980000", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2100, "end_tick": "503217972979700", "scope": "registration_preparation", "start_tick": "503217972977600", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217972980000", "scope": "workspace_creation", "start_tick": "503217972979800", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "offset-triangle", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "offset-triangle" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "4096214291944875905", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 5.0, "outcome": "optimal", "primal": [ 0.0, 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 3, "sequence": 16, "timings": { "end_to_end": { "available": true, "duration_ns": 186000, "end_tick": "503217973349700", "scope": "end_to_end", "start_tick": "503217973163700", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 2000, "end_tick": "503217973349600", "scope": "independent_verification", "start_tick": "503217973347600", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 2000, "end_tick": "503217973165700", "scope": "input_publication", "start_tick": "503217973163700", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 179400, "end_tick": "503217973347500", "scope": "public_run", "start_tick": "503217973168100", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2000, "end_tick": "503217973167800", "scope": "registration_preparation", "start_tick": "503217973165800", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 100, "end_tick": "503217973168000", "scope": "workspace_creation", "start_tick": "503217973167900", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-positive", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-positive" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "14649873226156982192", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 3.0, "violation": 0.0 }, "stationarity": { "scale": 6.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -1.0, "outcome": "optimal", "primal": [ -1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 3, "sequence": 17, "timings": { "end_to_end": { "available": true, "duration_ns": 114300, "end_tick": "503217973539800", "scope": "end_to_end", "start_tick": "503217973425500", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1800, "end_tick": "503217973539800", "scope": "independent_verification", "start_tick": "503217973538000", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 900, "end_tick": "503217973426500", "scope": "input_publication", "start_tick": "503217973425600", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 109000, "end_tick": "503217973537900", "scope": "public_run", "start_tick": "503217973428900", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2000, "end_tick": "503217973428500", "scope": "registration_preparation", "start_tick": "503217973426500", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217973428800", "scope": "workspace_creation", "start_tick": "503217973428600", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-negative", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-negative" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "17865443360099516336", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -6.0, "outcome": "optimal", "primal": [ 4.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 3, "sequence": 18, "timings": { "end_to_end": { "available": true, "duration_ns": 107100, "end_tick": "503217973707400", "scope": "end_to_end", "start_tick": "503217973600300", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1500, "end_tick": "503217973707300", "scope": "independent_verification", "start_tick": "503217973705800", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 700, "end_tick": "503217973601000", "scope": "input_publication", "start_tick": "503217973600300", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 102600, "end_tick": "503217973705800", "scope": "public_run", "start_tick": "503217973603200", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1800, "end_tick": "503217973602900", "scope": "registration_preparation", "start_tick": "503217973601100", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217973603200", "scope": "workspace_creation", "start_tick": "503217973603000", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "contradictory-rows", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "contradictory-rows" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "5762976853843938481", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 1.0, "violation": 0.0 }, "stationarity": { "scale": 1.0, "violation": 5.048709793414476e-29 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "infeasible", "primal": [ 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 1.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 3, "sequence": 19, "timings": { "end_to_end": { "available": true, "duration_ns": 171800, "end_tick": "503217973943700", "scope": "end_to_end", "start_tick": "503217973771900", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1600, "end_tick": "503217973943700", "scope": "independent_verification", "start_tick": "503217973942100", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1900, "end_tick": "503217973773800", "scope": "input_publication", "start_tick": "503217973771900", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 166100, "end_tick": "503217973942000", "scope": "public_run", "start_tick": "503217973775900", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1700, "end_tick": "503217973775600", "scope": "registration_preparation", "start_tick": "503217973773900", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217973775900", "scope": "workspace_creation", "start_tick": "503217973775700", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "free-unbounded", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "free-unbounded" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "9819938912645933069", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": null, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "unbounded", "primal": [ 0.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "free-unbounded" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 3, "sequence": 20, "timings": { "end_to_end": { "available": true, "duration_ns": 111100, "end_tick": "503217974134200", "scope": "end_to_end", "start_tick": "503217974023100", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1400, "end_tick": "503217974134200", "scope": "independent_verification", "start_tick": "503217974132800", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 900, "end_tick": "503217974024100", "scope": "input_publication", "start_tick": "503217974023200", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 106200, "end_tick": "503217974132600", "scope": "public_run", "start_tick": "503217974026400", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2000, "end_tick": "503217974026100", "scope": "registration_preparation", "start_tick": "503217974024100", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217974026400", "scope": "workspace_creation", "start_tick": "503217974026200", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "offset-triangle", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "offset-triangle" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "4096214291944875905", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 5.0, "outcome": "optimal", "primal": [ 0.0, 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 4, "sequence": 21, "timings": { "end_to_end": { "available": true, "duration_ns": 177900, "end_tick": "503217974368100", "scope": "end_to_end", "start_tick": "503217974190200", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1800, "end_tick": "503217974368100", "scope": "independent_verification", "start_tick": "503217974366300", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1100, "end_tick": "503217974191300", "scope": "input_publication", "start_tick": "503217974190200", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 172800, "end_tick": "503217974366200", "scope": "public_run", "start_tick": "503217974193400", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1800, "end_tick": "503217974193100", "scope": "registration_preparation", "start_tick": "503217974191300", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 100, "end_tick": "503217974193400", "scope": "workspace_creation", "start_tick": "503217974193300", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-positive", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-positive" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "14649873226156982192", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 3.0, "violation": 0.0 }, "stationarity": { "scale": 6.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -1.0, "outcome": "optimal", "primal": [ -1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 4, "sequence": 22, "timings": { "end_to_end": { "available": true, "duration_ns": 110900, "end_tick": "503217974557800", "scope": "end_to_end", "start_tick": "503217974446900", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1700, "end_tick": "503217974557800", "scope": "independent_verification", "start_tick": "503217974556100", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1700, "end_tick": "503217974448600", "scope": "input_publication", "start_tick": "503217974446900", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 105000, "end_tick": "503217974556000", "scope": "public_run", "start_tick": "503217974451000", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2000, "end_tick": "503217974450600", "scope": "registration_preparation", "start_tick": "503217974448600", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217974450900", "scope": "workspace_creation", "start_tick": "503217974450700", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-negative", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-negative" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "17865443360099516336", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -6.0, "outcome": "optimal", "primal": [ 4.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 4, "sequence": 23, "timings": { "end_to_end": { "available": true, "duration_ns": 105100, "end_tick": "503217974725200", "scope": "end_to_end", "start_tick": "503217974620100", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1600, "end_tick": "503217974725200", "scope": "independent_verification", "start_tick": "503217974723600", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 700, "end_tick": "503217974620800", "scope": "input_publication", "start_tick": "503217974620100", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 100500, "end_tick": "503217974723500", "scope": "public_run", "start_tick": "503217974623000", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1900, "end_tick": "503217974622700", "scope": "registration_preparation", "start_tick": "503217974620800", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 100, "end_tick": "503217974622900", "scope": "workspace_creation", "start_tick": "503217974622800", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "contradictory-rows", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "contradictory-rows" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "5762976853843938481", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 1.0, "violation": 0.0 }, "stationarity": { "scale": 1.0, "violation": 5.048709793414476e-29 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "infeasible", "primal": [ 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 1.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 4, "sequence": 24, "timings": { "end_to_end": { "available": true, "duration_ns": 169000, "end_tick": "503217974954400", "scope": "end_to_end", "start_tick": "503217974785400", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1700, "end_tick": "503217974954300", "scope": "independent_verification", "start_tick": "503217974952600", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1100, "end_tick": "503217974786500", "scope": "input_publication", "start_tick": "503217974785400", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 163800, "end_tick": "503217974952500", "scope": "public_run", "start_tick": "503217974788700", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1900, "end_tick": "503217974788400", "scope": "registration_preparation", "start_tick": "503217974786500", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 100, "end_tick": "503217974788600", "scope": "workspace_creation", "start_tick": "503217974788500", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "free-unbounded", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "free-unbounded" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "9819938912645933069", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": null, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "unbounded", "primal": [ 0.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "free-unbounded" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 4, "sequence": 25, "timings": { "end_to_end": { "available": true, "duration_ns": 115900, "end_tick": "503217975147000", "scope": "end_to_end", "start_tick": "503217975031100", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1500, "end_tick": "503217975147000", "scope": "independent_verification", "start_tick": "503217975145500", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1000, "end_tick": "503217975032200", "scope": "input_publication", "start_tick": "503217975031200", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 110600, "end_tick": "503217975145400", "scope": "public_run", "start_tick": "503217975034800", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2200, "end_tick": "503217975034400", "scope": "registration_preparation", "start_tick": "503217975032200", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217975034700", "scope": "workspace_creation", "start_tick": "503217975034500", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "offset-triangle", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "offset-triangle" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "4096214291944875905", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 5.0, "outcome": "optimal", "primal": [ 0.0, 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 5, "sequence": 26, "timings": { "end_to_end": { "available": true, "duration_ns": 192000, "end_tick": "503217975399100", "scope": "end_to_end", "start_tick": "503217975207100", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 2000, "end_tick": "503217975399100", "scope": "independent_verification", "start_tick": "503217975397100", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1200, "end_tick": "503217975208300", "scope": "input_publication", "start_tick": "503217975207100", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 186500, "end_tick": "503217975397000", "scope": "public_run", "start_tick": "503217975210500", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1900, "end_tick": "503217975210200", "scope": "registration_preparation", "start_tick": "503217975208300", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217975210500", "scope": "workspace_creation", "start_tick": "503217975210300", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-positive", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-positive" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "14649873226156982192", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 3.0, "violation": 0.0 }, "stationarity": { "scale": 6.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -1.0, "outcome": "optimal", "primal": [ -1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 5, "sequence": 27, "timings": { "end_to_end": { "available": true, "duration_ns": 116700, "end_tick": "503217975595100", "scope": "end_to_end", "start_tick": "503217975478400", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1600, "end_tick": "503217975595000", "scope": "independent_verification", "start_tick": "503217975593400", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1200, "end_tick": "503217975479700", "scope": "input_publication", "start_tick": "503217975478500", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 110900, "end_tick": "503217975593300", "scope": "public_run", "start_tick": "503217975482400", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2300, "end_tick": "503217975482000", "scope": "registration_preparation", "start_tick": "503217975479700", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217975482300", "scope": "workspace_creation", "start_tick": "503217975482100", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-negative", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-negative" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "17865443360099516336", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -6.0, "outcome": "optimal", "primal": [ 4.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 5, "sequence": 28, "timings": { "end_to_end": { "available": true, "duration_ns": 105300, "end_tick": "503217975763800", "scope": "end_to_end", "start_tick": "503217975658500", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1300, "end_tick": "503217975763700", "scope": "independent_verification", "start_tick": "503217975762400", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 700, "end_tick": "503217975659300", "scope": "input_publication", "start_tick": "503217975658600", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 100900, "end_tick": "503217975762300", "scope": "public_run", "start_tick": "503217975661400", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1800, "end_tick": "503217975661200", "scope": "registration_preparation", "start_tick": "503217975659400", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217975661400", "scope": "workspace_creation", "start_tick": "503217975661200", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "contradictory-rows", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "contradictory-rows" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "5762976853843938481", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 1.0, "violation": 0.0 }, "stationarity": { "scale": 1.0, "violation": 5.048709793414476e-29 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "infeasible", "primal": [ 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 1.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 5, "sequence": 29, "timings": { "end_to_end": { "available": true, "duration_ns": 171600, "end_tick": "503217975993300", "scope": "end_to_end", "start_tick": "503217975821700", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1500, "end_tick": "503217975993300", "scope": "independent_verification", "start_tick": "503217975991800", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 2100, "end_tick": "503217975823800", "scope": "input_publication", "start_tick": "503217975821700", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 165900, "end_tick": "503217975991700", "scope": "public_run", "start_tick": "503217975825800", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1700, "end_tick": "503217975825500", "scope": "registration_preparation", "start_tick": "503217975823800", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217975825800", "scope": "workspace_creation", "start_tick": "503217975825600", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "free-unbounded", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "free-unbounded" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "9819938912645933069", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": null, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "unbounded", "primal": [ 0.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "free-unbounded" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 5, "sequence": 30, "timings": { "end_to_end": { "available": true, "duration_ns": 117900, "end_tick": "503217976193500", "scope": "end_to_end", "start_tick": "503217976075600", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1400, "end_tick": "503217976193500", "scope": "independent_verification", "start_tick": "503217976192100", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1100, "end_tick": "503217976076800", "scope": "input_publication", "start_tick": "503217976075700", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 112800, "end_tick": "503217976192000", "scope": "public_run", "start_tick": "503217976079200", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1900, "end_tick": "503217976078800", "scope": "registration_preparation", "start_tick": "503217976076900", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 100, "end_tick": "503217976079100", "scope": "workspace_creation", "start_tick": "503217976079000", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "offset-triangle", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "offset-triangle" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "4096214291944875905", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 5.0, "outcome": "optimal", "primal": [ 0.0, 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 6, "sequence": 31, "timings": { "end_to_end": { "available": true, "duration_ns": 182700, "end_tick": "503217976458800", "scope": "end_to_end", "start_tick": "503217976276100", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1900, "end_tick": "503217976458700", "scope": "independent_verification", "start_tick": "503217976456800", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 2000, "end_tick": "503217976278200", "scope": "input_publication", "start_tick": "503217976276200", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 176000, "end_tick": "503217976456700", "scope": "public_run", "start_tick": "503217976280700", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2000, "end_tick": "503217976280300", "scope": "registration_preparation", "start_tick": "503217976278300", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 100, "end_tick": "503217976280600", "scope": "workspace_creation", "start_tick": "503217976280500", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-positive", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-positive" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "14649873226156982192", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 3.0, "violation": 0.0 }, "stationarity": { "scale": 6.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -1.0, "outcome": "optimal", "primal": [ -1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 6, "sequence": 32, "timings": { "end_to_end": { "available": true, "duration_ns": 120700, "end_tick": "503217976677000", "scope": "end_to_end", "start_tick": "503217976556300", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1800, "end_tick": "503217976677000", "scope": "independent_verification", "start_tick": "503217976675200", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1000, "end_tick": "503217976557300", "scope": "input_publication", "start_tick": "503217976556300", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 115100, "end_tick": "503217976675100", "scope": "public_run", "start_tick": "503217976560000", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2300, "end_tick": "503217976559600", "scope": "registration_preparation", "start_tick": "503217976557300", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217976559900", "scope": "workspace_creation", "start_tick": "503217976559700", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-negative", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-negative" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "17865443360099516336", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -6.0, "outcome": "optimal", "primal": [ 4.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 6, "sequence": 33, "timings": { "end_to_end": { "available": true, "duration_ns": 114300, "end_tick": "503217976869800", "scope": "end_to_end", "start_tick": "503217976755500", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1500, "end_tick": "503217976869800", "scope": "independent_verification", "start_tick": "503217976868300", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 2200, "end_tick": "503217976757700", "scope": "input_publication", "start_tick": "503217976755500", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 108200, "end_tick": "503217976868200", "scope": "public_run", "start_tick": "503217976760000", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2000, "end_tick": "503217976759700", "scope": "registration_preparation", "start_tick": "503217976757700", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217976760000", "scope": "workspace_creation", "start_tick": "503217976759800", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "contradictory-rows", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "contradictory-rows" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "5762976853843938481", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 1.0, "violation": 0.0 }, "stationarity": { "scale": 1.0, "violation": 5.048709793414476e-29 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "infeasible", "primal": [ 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 1.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 6, "sequence": 34, "timings": { "end_to_end": { "available": true, "duration_ns": 175400, "end_tick": "503217977113800", "scope": "end_to_end", "start_tick": "503217976938400", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1700, "end_tick": "503217977113800", "scope": "independent_verification", "start_tick": "503217977112100", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1200, "end_tick": "503217976939600", "scope": "input_publication", "start_tick": "503217976938400", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 170200, "end_tick": "503217977112000", "scope": "public_run", "start_tick": "503217976941800", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1800, "end_tick": "503217976941500", "scope": "registration_preparation", "start_tick": "503217976939700", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 100, "end_tick": "503217976941700", "scope": "workspace_creation", "start_tick": "503217976941600", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "free-unbounded", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "free-unbounded" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "9819938912645933069", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": null, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "unbounded", "primal": [ 0.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "free-unbounded" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 6, "sequence": 35, "timings": { "end_to_end": { "available": true, "duration_ns": 112500, "end_tick": "503217977320700", "scope": "end_to_end", "start_tick": "503217977208200", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1600, "end_tick": "503217977320700", "scope": "independent_verification", "start_tick": "503217977319100", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1000, "end_tick": "503217977209300", "scope": "input_publication", "start_tick": "503217977208300", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 107200, "end_tick": "503217977319000", "scope": "public_run", "start_tick": "503217977211800", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2100, "end_tick": "503217977211400", "scope": "registration_preparation", "start_tick": "503217977209300", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217977211700", "scope": "workspace_creation", "start_tick": "503217977211500", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "offset-triangle", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "offset-triangle" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "4096214291944875905", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 5.0, "outcome": "optimal", "primal": [ 0.0, 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "offset-triangle" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 7, "sequence": 36, "timings": { "end_to_end": { "available": true, "duration_ns": 193800, "end_tick": "503217977579000", "scope": "end_to_end", "start_tick": "503217977385200", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1900, "end_tick": "503217977579000", "scope": "independent_verification", "start_tick": "503217977577100", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 2000, "end_tick": "503217977387200", "scope": "input_publication", "start_tick": "503217977385200", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 187500, "end_tick": "503217977576900", "scope": "public_run", "start_tick": "503217977389400", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1900, "end_tick": "503217977389100", "scope": "registration_preparation", "start_tick": "503217977387200", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217977389400", "scope": "workspace_creation", "start_tick": "503217977389200", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-positive", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-positive" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "14649873226156982192", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 3.0, "violation": 0.0 }, "stationarity": { "scale": 6.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -1.0, "outcome": "optimal", "primal": [ -1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-positive" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 7, "sequence": 37, "timings": { "end_to_end": { "available": true, "duration_ns": 113100, "end_tick": "503217977773800", "scope": "end_to_end", "start_tick": "503217977660700", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1800, "end_tick": "503217977773800", "scope": "independent_verification", "start_tick": "503217977772000", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1000, "end_tick": "503217977661700", "scope": "input_publication", "start_tick": "503217977660700", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 107700, "end_tick": "503217977771900", "scope": "public_run", "start_tick": "503217977664200", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2200, "end_tick": "503217977663900", "scope": "registration_preparation", "start_tick": "503217977661700", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217977664200", "scope": "workspace_creation", "start_tick": "503217977664000", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "scalar-negative", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "scalar-negative" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "17865443360099516336", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 2.0, "violation": 0.0 }, "stationarity": { "scale": 4.0, "violation": 0.0 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": -6.0, "outcome": "optimal", "primal": [ 4.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "scalar-negative" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 4.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 7, "sequence": 38, "timings": { "end_to_end": { "available": true, "duration_ns": 108500, "end_tick": "503217977949600", "scope": "end_to_end", "start_tick": "503217977841100", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1400, "end_tick": "503217977949600", "scope": "independent_verification", "start_tick": "503217977948200", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1700, "end_tick": "503217977842800", "scope": "input_publication", "start_tick": "503217977841100", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 103200, "end_tick": "503217977948100", "scope": "public_run", "start_tick": "503217977844900", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1900, "end_tick": "503217977844700", "scope": "registration_preparation", "start_tick": "503217977842800", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 100, "end_tick": "503217977844900", "scope": "workspace_creation", "start_tick": "503217977844800", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "contradictory-rows", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "contradictory-rows" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 1 }, "observation_token": "5762976853843938481", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": { "complementarity": null, "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.dual", "version": "1" } }, "signs": { "scale": 1.0, "violation": 0.0 }, "stationarity": { "scale": 1.0, "violation": 5.048709793414476e-29 } }, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "infeasible", "primal": [ 1.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "contradictory-rows" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 1.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 7, "sequence": 39, "timings": { "end_to_end": { "available": true, "duration_ns": 176500, "end_tick": "503217978189700", "scope": "end_to_end", "start_tick": "503217978013200", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1700, "end_tick": "503217978189700", "scope": "independent_verification", "start_tick": "503217978188000", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1100, "end_tick": "503217978014300", "scope": "input_publication", "start_tick": "503217978013200", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 171500, "end_tick": "503217978187900", "scope": "public_run", "start_tick": "503217978016400", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 1700, "end_tick": "503217978016100", "scope": "registration_preparation", "start_tick": "503217978014400", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 100, "end_tick": "503217978016300", "scope": "workspace_creation", "start_tick": "503217978016200", "unit": "ns" } }, "validation": { "errors": [], "passed": true } }, { "attempt": { "number": 1, "state": "returned_result", "workspace_reuse": false }, "case_id": "free-unbounded", "harness": { "diagnostics": [], "error": null, "status": "returned" }, "identity": { "problem": "html01-literals", "program": "free-unbounded" }, "native_iterations": { "available": true, "scope": "public_run", "unit": "iterations", "value": 0 }, "observation_token": "9819938912645933069", "purpose": "measurement", "registry": { "actual": { "id": "csl.lp.highs", "version": "1.0.0+highs.1.11.0" }, "requested": "csl.lp.highs" }, "result": { "bounds": { "lower": null, "upper": null }, "dual_residuals": null, "family": { "available": false, "reason": "point only" }, "objective_unavailable_reason": null, "original_objective": 0.0, "outcome": "unbounded", "primal": [ 0.0 ], "primal_residuals": { "context": { "absolute_tolerance": 1e-08, "relative_tolerance": 1e-08, "subject": { "problem": "html01-literals", "program": "free-unbounded" }, "verifier": { "id": "csl.lp.highs.primal", "version": "1" } }, "rows": { "scale": 1.0, "violation": 0.0 }, "variables": { "scale": 1.0, "violation": 0.0 } }, "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", "support": { "kind": "unestablished" }, "termination": "completed" }, "round": 7, "sequence": 40, "timings": { "end_to_end": { "available": true, "duration_ns": 124000, "end_tick": "503217978403400", "scope": "end_to_end", "start_tick": "503217978279400", "unit": "ns" }, "independent_verification": { "available": true, "duration_ns": 1600, "end_tick": "503217978403300", "scope": "independent_verification", "start_tick": "503217978401700", "unit": "ns" }, "input_publication": { "available": true, "duration_ns": 1900, "end_tick": "503217978281300", "scope": "input_publication", "start_tick": "503217978279400", "unit": "ns" }, "public_run": { "available": true, "duration_ns": 117500, "end_tick": "503217978401600", "scope": "public_run", "start_tick": "503217978284100", "unit": "ns" }, "registration_preparation": { "available": true, "duration_ns": 2300, "end_tick": "503217978283700", "scope": "registration_preparation", "start_tick": "503217978281400", "unit": "ns" }, "workspace_creation": { "available": true, "duration_ns": 200, "end_tick": "503217978284000", "scope": "workspace_creation", "start_tick": "503217978283800", "unit": "ns" } }, "validation": { "errors": [], "passed": true } } ] }, "payload_sha256": "ee5e9193b7a55bbec9f85f805ca74e7e1f5e9b9d22199e5fffeab4ef72515501", "report_id": "lp-20261012T000346Z-ee5e9193b7a5", "schema": "csl.algorithm-report-view/1" }, "payload_schema": "csl.algorithm-report-view/1", "payload_sha256": "e6b70ff30fe8d8149876470edff62cd55c9de35cbc41edc314726033e2d8778d", "report_id": "lp-20261012T000346Z-9b916da6a4ffd6685e99df3129f6cbaaa73d85c9f12533a828c1e1714dd12ff0", "report_kind": "lp", "schema": "csl.algorithm-report-envelope/1", "source_commit": "6780941b80fd1e94d6b5a6c5142822d5273bfa3f", "source_report_id": "lp-20261012T000346Z-ee5e9193b7a5" }