{"collection":{"counts":{"failures":0,"measured":14,"missing_or_duplicate":0,"warmups":2},"fixture_order":"alternating forward/reverse by repetition","state":"complete"},"environment":{"configured_native_threads":1,"host_load_after":{"cpu_percent_over_1s":0.7,"memory_bytes":34189107200,"physical_cpus":6},"host_load_before":{"cpu_percent_over_1s":0.1,"memory_bytes":34189107200,"physical_cpus":6},"logical_cpus":12,"machine":"AMD64","memory_bytes":34189107200,"os":"Windows-11-10.0.22631-SP0","physical_cpus":6,"processor":"Intel64 Family 6 Model 151 Stepping 5, GenuineIntel","requested_workers":1},"evidence_limits":["Complete 1-D H-row bounds over returned binary64 data; not an exact real-arithmetic certificate.","Reachability relation assurance remains Unestablished; provider outputs are numerical.","Two tiny analytic scalar fixtures only; no comparator, no speedup, no application-scale or scalability claim.","No source-level profile was collected; the performance limiter and capacity remain unknown.","Per-provider operation timings are unavailable; operation counts are derived from returned operation lineage."],"fixture_catalog":{"integrator":{"expected_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"input":{"controls":[[0,1],[0,1]],"stages":["x_next=x+u","x_next=x+u"],"state_constraints":[[0,0],[0,1],[0,2]],"x0":0}},"ltv":{"expected_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"input":{"controls":[[0,1],[0,1]],"stages":["x_next=2*x+u+1","x_next=-x+2*u-2"],"state_constraints":[[0,2],[3,4],[-5,-4]],"x0":1}}},"harness_commit":"7d9fd446dd27bb6ce1849daea09b0a746624533a","measurement":{"configured_native_threads":1,"fixture_order":"alternating forward/reverse by repetition","kind":"descriptive_single_adapter","measured_repetitions_per_fixture":7,"operation_timing":"unavailable; the public provider seam exposes no per-operation timer","requested_workers":1,"scope":"Two-step discrete nominal-forward reachability on two authored scalar analytic fixtures","timing_scopes":{"execute_ns":"driver entry through verified result; includes numerical-policy, execution-context, and effective-settings construction; excludes process startup/build/serialization/collector validation/rendering","oracle_ns":"immediate returned-outcome consumption plus complete 1-D H-row bound verification","setup_ns":"fresh problem construction/resolution and provider registration/selection/preparation","solve_ns":"nominal_forward() call only"},"warmups_per_fixture":1},"provenance":{"algorithm_module":{"id":"csl.reachability.nominal-forward","version":"0.1.0"},"build_command":["C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\Common7\\IDE\\CommonExtensions\\Microsoft\\CMake\\CMake\\bin\\cmake.exe","--build","BUILD_ROOT","--config","Release","--target","csl_syn01_nominal_forward_report","--parallel","4","--verbose"],"build_configuration":{"cmake_release_flags":"/O2 /Ob2 /DNDEBUG","cmake_version":"cmake version 3.31.6-msvc6","compiler_executable":"cl.exe","compiler_id":"MSVC","compiler_version":"19.44.35215.0","configuration":"Release","cxx_standard":"c++20","effective_release_flags":["/std:c++20","/O2","/Ob2","/DNDEBUG","/W4","/WX","/permissive-"],"evidence_sha256":{"CMakeCache.txt":"9cde01e021a4a548d86044acf2ef27ea86d9d4ae49f1e913d5dd27e20863b36e","build_configuration_file":"9021f1bdc7863aed05fd38a7c7db27a4c00c71916b361cb93d3016bf011d371a","release_build_log":"b4376042290e4f6752c2fee3f7404c1ba03b370d913c288acd0ecd4a1cbee48e"},"generator":"Visual Studio 17 2022","generator_platform":"x64","target_release_properties":{"AdditionalIncludeDirectories":"D:\\work\\PhD\\worktrees\\syn01-nominal-forward\\include;%(AdditionalIncludeDirectories)","AdditionalOptions":"%(AdditionalOptions) /external:I \"D:/work/PhD/worktrees/syn01-nominal-forward/build/syn01-accepted-20261013/_deps/csl_json-src/single_include\"","AssemblerListingLocation":"$(IntDir)","BasicRuntimeChecks":"Default","ConformanceMode":"true","DebugInformationFormat":"","ExceptionHandling":"Sync","ExternalWarningLevel":"TurnOffAllWarnings","InlineFunctionExpansion":"AnySuitable","LanguageStandard":"stdcpp20","MinimalRebuild":"","ObjectFileName":"$(IntDir)","Optimization":"MaxSpeed","PrecompiledHeader":"NotUsing","PreprocessorDefinitions":"%(PreprocessorDefinitions);WIN32;_WINDOWS;NDEBUG;CMAKE_INTDIR=\"Release\"","RuntimeLibrary":"MultiThreadedDLL","ScanSourceForModuleDependencies":"true","SupportJustMyCode":"","TreatWarningAsError":"true","UseFullPaths":"false","WarningLevel":"Level4"}},"cmake_version":"cmake version 3.31.6-msvc6","compiler_executable":"cl.exe","compiler_id":"MSVC","compiler_version":"19.44.35215.0","configuration":"Release","configure_command":["C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\Common7\\IDE\\CommonExtensions\\Microsoft\\CMake\\CMake\\bin\\cmake.exe","-S","SOURCE_ROOT","-B","BUILD_ROOT","-G","Visual Studio 17 2022","-DCSL_BUILD_SYN01_REPORT=ON","-DBUILD_TESTING=OFF","-DCMAKE_BUILD_TYPE=Release"],"dependency_edges":{"affine_sum":["hull_reducer","lp_backend","conversion"],"conversion":["lp_backend"]},"driver_sha256":"3397238d810afe971dcccdaae64d5d1456cb104bedf71698a088e2f80220b9bc","driver_source_sha256":"a0f0bbe54e49bf46de9e9911740b495c308d9cd3d2ee01ad55ec6749959096ba","generator":"Visual Studio 17 2022","native_thread_observation":{"observed_threads":null,"reason":"The driver has no supported runtime API to observe effective native worker threads.","status":"unavailable"},"providers":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"runtime_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}}},"report_id":"syn01-nominal-20261013-f7ba310d-48a679cfc0d4","scenario_hashes":{"integrator":"d313f7edd71a966fb2fdeaabbc69f300506887839949a93db4c975873e57962a","ltv":"93922d649cac7f17e38a9f2a07f5c52b7c849e9b513e6a24d72d80ca98c4c369"},"schema":"csl.syn01-nominal-forward-report/2","source_commit":"f7ba310d1eca8020da8f8ca43cbef6ae468747de","summary":[{"attempts":7,"failed":0,"passed":7,"phases":{"execute_ns":{"available_trials":7,"coverage":"complete","max_ns":4605400,"median_ns":4203900,"min_ns":3913300,"not_reached_trials":0,"partial_trials":0,"range_ns":692100,"unavailable_trials":0},"oracle_ns":{"available_trials":7,"coverage":"complete","max_ns":2400,"median_ns":2100,"min_ns":1800,"not_reached_trials":0,"partial_trials":0,"range_ns":600,"unavailable_trials":0},"setup_ns":{"available_trials":7,"coverage":"complete","max_ns":42900,"median_ns":40300,"min_ns":39300,"not_reached_trials":0,"partial_trials":0,"range_ns":3600,"unavailable_trials":0},"solve_ns":{"available_trials":7,"coverage":"complete","max_ns":4519700,"median_ns":4124100,"min_ns":3834000,"not_reached_trials":0,"partial_trials":0,"range_ns":685700,"unavailable_trials":0}},"scenario":"integrator"},{"attempts":7,"failed":0,"passed":7,"phases":{"execute_ns":{"available_trials":7,"coverage":"complete","max_ns":4554200,"median_ns":4403900,"min_ns":4052400,"not_reached_trials":0,"partial_trials":0,"range_ns":501800,"unavailable_trials":0},"oracle_ns":{"available_trials":7,"coverage":"complete","max_ns":2300,"median_ns":2100,"min_ns":1900,"not_reached_trials":0,"partial_trials":0,"range_ns":400,"unavailable_trials":0},"setup_ns":{"available_trials":7,"coverage":"complete","max_ns":86700,"median_ns":48100,"min_ns":46100,"not_reached_trials":0,"partial_trials":0,"range_ns":40600,"unavailable_trials":0},"solve_ns":{"available_trials":7,"coverage":"complete","max_ns":4450900,"median_ns":4313000,"min_ns":3958500,"not_reached_trials":0,"partial_trials":0,"range_ns":492400,"unavailable_trials":0}},"scenario":"ltv"}],"support":"Unestablished","trials":[{"detail":"","execute_ns":5545100,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"observed_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"oracle_ns":6500,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":0,"scenario":"integrator","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":188300,"setup_state":"available","solve_ns":5292300,"solve_state":"available","status":"passed","warmup":true},{"detail":"","execute_ns":4477100,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"observed_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"oracle_ns":2100,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":0,"scenario":"ltv","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":46900,"setup_state":"available","solve_ns":4385200,"solve_state":"available","status":"passed","warmup":true},{"detail":"","execute_ns":4403900,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"observed_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"oracle_ns":2100,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":1,"scenario":"ltv","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":46200,"setup_state":"available","solve_ns":4313000,"solve_state":"available","status":"passed","warmup":false},{"detail":"","execute_ns":4605400,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"observed_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"oracle_ns":2000,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":1,"scenario":"integrator","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":42900,"setup_state":"available","solve_ns":4519700,"solve_state":"available","status":"passed","warmup":false},{"detail":"","execute_ns":4203900,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"observed_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"oracle_ns":1800,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":2,"scenario":"integrator","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":39300,"setup_state":"available","solve_ns":4124100,"solve_state":"available","status":"passed","warmup":false},{"detail":"","execute_ns":4346200,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"observed_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"oracle_ns":1900,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":2,"scenario":"ltv","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":48100,"setup_state":"available","solve_ns":4251600,"solve_state":"available","status":"passed","warmup":false},{"detail":"","execute_ns":4447700,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"observed_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"oracle_ns":2000,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":3,"scenario":"ltv","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":86700,"setup_state":"available","solve_ns":4314900,"solve_state":"available","status":"passed","warmup":false},{"detail":"","execute_ns":4557000,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"observed_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"oracle_ns":2000,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":3,"scenario":"integrator","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":40300,"setup_state":"available","solve_ns":4471700,"solve_state":"available","status":"passed","warmup":false},{"detail":"","execute_ns":4442800,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"observed_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"oracle_ns":2100,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":4,"scenario":"integrator","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":39700,"setup_state":"available","solve_ns":4358300,"solve_state":"available","status":"passed","warmup":false},{"detail":"","execute_ns":4474900,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"observed_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"oracle_ns":2200,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":4,"scenario":"ltv","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":49400,"setup_state":"available","solve_ns":4380000,"solve_state":"available","status":"passed","warmup":false},{"detail":"","execute_ns":4263900,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"observed_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"oracle_ns":2100,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":5,"scenario":"ltv","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":46100,"setup_state":"available","solve_ns":4177700,"solve_state":"available","status":"passed","warmup":false},{"detail":"","execute_ns":3930900,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"observed_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"oracle_ns":2400,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":5,"scenario":"integrator","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":39800,"setup_state":"available","solve_ns":3846000,"solve_state":"available","status":"passed","warmup":false},{"detail":"","execute_ns":3913300,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"observed_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"oracle_ns":2100,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":6,"scenario":"integrator","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":40800,"setup_state":"available","solve_ns":3834000,"solve_state":"available","status":"passed","warmup":false},{"detail":"","execute_ns":4052400,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"observed_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"oracle_ns":2100,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":6,"scenario":"ltv","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":46600,"setup_state":"available","solve_ns":3958500,"solve_state":"available","status":"passed","warmup":false},{"detail":"","execute_ns":4554200,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"observed_marginals":[[1.0,1.0],[3.0,4.0],[-5.0,-4.0]],"oracle_ns":2300,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":7,"scenario":"ltv","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":53600,"setup_state":"available","solve_ns":4450900,"solve_state":"available","status":"passed","warmup":false},{"detail":"","execute_ns":4173300,"execute_state":"available","execution_settings":{"affine_sum":{"max_candidates":null},"highs":{"allow_unbounded_or_infeasible":false,"dual_feasibility_tolerance":1e-08,"infinite_bound":"kHighsInf","infinite_cost":"kHighsInf","large_matrix_value":"kHighsInf","log_to_console":true,"output_flag":true,"parallel":"off","presolve":"off","primal_feasibility_tolerance":1e-08,"random_seed":0,"simplex_iteration_limit":null,"small_matrix_value":1e-12,"solver":"simplex","threads":1,"time_limit":"kHighsInf (no deadline)"},"hull_reducer":{"default_registration":true},"numerical_policy":{"absolute_tolerance":1e-08,"relative_tolerance":1e-08},"projection":{"max_rows":null,"output":"h"},"qhull":{"max_ambient_dimension":null,"max_input_rows":null,"options":"qhull Qx"}},"expected_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"observed_marginals":[[0.0,0.0],[0.0,1.0],[0.0,2.0]],"oracle_ns":2200,"oracle_passed":true,"oracle_state":"available","outcome":"forward_tube","provider_identities":{"affine_sum":{"id":"csl.geometry.affine-sum","version":"1.0.0"},"conversion":{"id":"csl.conversion.qhull","version":"1.0.0+qhull.8.0.2"},"hull_reducer":{"id":"csl.hull.lp-membership","version":"1.0.0"},"lp_backend":{"id":"csl.lp.highs","version":"1.0.0+highs.1.11.0"},"projection":{"id":"csl.geometry.polyhedral-projection","version":"1.0.0"}},"provider_operation_counts":{"csl.conversion.qhull":2,"csl.geometry.affine-sum":6,"csl.geometry.polyhedral-projection":6},"provider_operation_timing_ns":null,"repetition":7,"scenario":"integrator","schema":"csl.syn01-nominal-forward-trial/2","setup_ns":42200,"setup_state":"available","solve_ns":4085500,"solve_state":"available","status":"passed","warmup":false}]}