{"assurance":"numerical","batch":10000,"checked_calls":10000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"maximizers":[[0],[2]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1,0,1],"status":"numerical_optimal","value":1,"worst_values":[1,1]},"observed":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"passed":true},"elapsed_ns":209138400,"evaluated_terminal_rows":4,"fixture":"l19","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[1]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"safe_bound\":10}","input_sha256":"f1c6097654913bd8a326370568a7d475e23bd3553b93776a98cf9acb6c9bb910","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-l19","request_id":"report-l19","result":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"round":0,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":true}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1,"worst_values":[1,4]},"observed":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"passed":true},"elapsed_ns":77244100,"evaluated_terminal_rows":4,"fixture":"integrator","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"round":0,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":true}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2]},{"action_indices":[1],"stage":1,"violating_successor":[1]}],"status":"infeasible"},"observed":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"passed":true},"elapsed_ns":73442700,"evaluated_terminal_rows":0,"fixture":"all_infeasible","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":0.5}","input_sha256":"27b2be0e3d8118643466531993b6df1fbcc328bcd83cda020da9f21f6b509f24","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"round":0,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":true}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"empty_catalogue"},"observed":{"status":"empty_catalogue"},"passed":true},"elapsed_ns":30319800,"evaluated_terminal_rows":0,"fixture":"empty_catalogue","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"ecd876e1d4b5711861b0f6aeb44f830cc9681f301a4b004b65926650e90e9cfa","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":0,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"empty_catalogue"},"round":0,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":true}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"no_scenarios"},"observed":{"status":"no_scenarios"},"passed":true},"elapsed_ns":36956900,"evaluated_terminal_rows":null,"fixture":"no_scenarios","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"409b79001bbb00ca49aa1f724937b9e0b628d0e37b34a2f20ffa2f1069ed7e7a","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"no_scenarios"},"round":0,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":true}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"field":"finite_minimax.capacity","status":"unsupported"},"observed":{"field":"finite_minimax.capacity","status":"unsupported"},"passed":true},"elapsed_ns":38150100,"evaluated_terminal_rows":null,"fixture":"unsupported","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":1,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"field":"finite_minimax.capacity","status":"unsupported"},"round":0,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":true}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"reason":"cancelled","status":"stopped"},"observed":{"reason":"cancelled","status":"stopped"},"passed":true},"elapsed_ns":39583600,"evaluated_terminal_rows":null,"fixture":"cancelled","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":true,\"safe_bound\":10.0}","input_sha256":"410fbcf3487259261dda4cc5d5e4aeb8966827eb584be25ed00fd73edaaf03d3","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"reason":"cancelled","status":"stopped"},"round":0,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":true}
{"assurance":"numerical","batch":1,"checked_calls":1,"checks":{"absolute_tolerance":1e-08,"expected":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.150601101407},"observed":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"passed":true},"elapsed_ns":86118800,"evaluated_terminal_rows":160000,"fixture":"b08_rounded","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0.6],[0.3],[0],[-0.3],[-0.6]],\"authored_disturbance_halfwidths\":[[0.1,0.1],[0.2,0.4],[0.3,0.7],[0.4,1.0]],\"disturbance_vertices_binary64_hex\":[[[\"-0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"-0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"]],[[\"-0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"-0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"]],[[\"-0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"-0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"]],[[\"-0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"-0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"]]],\"model\":{\"A\":[[1,0,0,0],[-25,1,0,0],[0,0,1,0],[0,0,-25,1]],\"B\":[[20.073],[0],[-10.473],[0]],\"D\":[[1,0],[0,0],[0,-1],[0,0]],\"horizon\":4,\"initial\":[1182.074,119560,459.832,45260]},\"objective\":{\"C\":[[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]],\"target\":[1200,0,450,0],\"type\":\"residual_norm_terminal\"},\"safe\":\"universal\"}","input_sha256":"47ec040f5631dd1b24012318223efb73fa2bb7aa2db76c03c56cb88f2a85e733","limits":{"max_plans":625,"max_points_per_stage":256,"near_optimal_tolerance":1e-08},"objective_convention":"Euclidean terminal residual norm","plan_count":625,"problem_id":"b08-displayed-rounded","request_id":"issue3-report-b08","result":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"round":0,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":true}
{"assurance":"numerical","batch":1,"checked_calls":1,"checks":{"absolute_tolerance":1e-08,"expected":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.150601101407},"observed":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"passed":true},"elapsed_ns":85560400,"evaluated_terminal_rows":160000,"fixture":"b08_rounded","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0.6],[0.3],[0],[-0.3],[-0.6]],\"authored_disturbance_halfwidths\":[[0.1,0.1],[0.2,0.4],[0.3,0.7],[0.4,1.0]],\"disturbance_vertices_binary64_hex\":[[[\"-0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"-0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"]],[[\"-0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"-0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"]],[[\"-0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"-0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"]],[[\"-0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"-0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"]]],\"model\":{\"A\":[[1,0,0,0],[-25,1,0,0],[0,0,1,0],[0,0,-25,1]],\"B\":[[20.073],[0],[-10.473],[0]],\"D\":[[1,0],[0,0],[0,-1],[0,0]],\"horizon\":4,\"initial\":[1182.074,119560,459.832,45260]},\"objective\":{\"C\":[[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]],\"target\":[1200,0,450,0],\"type\":\"residual_norm_terminal\"},\"safe\":\"universal\"}","input_sha256":"47ec040f5631dd1b24012318223efb73fa2bb7aa2db76c03c56cb88f2a85e733","limits":{"max_plans":625,"max_points_per_stage":256,"near_optimal_tolerance":1e-08},"objective_convention":"Euclidean terminal residual norm","plan_count":625,"problem_id":"b08-displayed-rounded","request_id":"issue3-report-b08","result":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"round":1,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"reason":"cancelled","status":"stopped"},"observed":{"reason":"cancelled","status":"stopped"},"passed":true},"elapsed_ns":39394600,"evaluated_terminal_rows":null,"fixture":"cancelled","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":true,\"safe_bound\":10.0}","input_sha256":"410fbcf3487259261dda4cc5d5e4aeb8966827eb584be25ed00fd73edaaf03d3","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"reason":"cancelled","status":"stopped"},"round":1,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"field":"finite_minimax.capacity","status":"unsupported"},"observed":{"field":"finite_minimax.capacity","status":"unsupported"},"passed":true},"elapsed_ns":34253200,"evaluated_terminal_rows":null,"fixture":"unsupported","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":1,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"field":"finite_minimax.capacity","status":"unsupported"},"round":1,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"no_scenarios"},"observed":{"status":"no_scenarios"},"passed":true},"elapsed_ns":37267300,"evaluated_terminal_rows":null,"fixture":"no_scenarios","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"409b79001bbb00ca49aa1f724937b9e0b628d0e37b34a2f20ffa2f1069ed7e7a","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"no_scenarios"},"round":1,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"empty_catalogue"},"observed":{"status":"empty_catalogue"},"passed":true},"elapsed_ns":30368000,"evaluated_terminal_rows":0,"fixture":"empty_catalogue","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"ecd876e1d4b5711861b0f6aeb44f830cc9681f301a4b004b65926650e90e9cfa","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":0,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"empty_catalogue"},"round":1,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2]},{"action_indices":[1],"stage":1,"violating_successor":[1]}],"status":"infeasible"},"observed":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"passed":true},"elapsed_ns":69757000,"evaluated_terminal_rows":0,"fixture":"all_infeasible","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":0.5}","input_sha256":"27b2be0e3d8118643466531993b6df1fbcc328bcd83cda020da9f21f6b509f24","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"round":1,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1,"worst_values":[1,4]},"observed":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"passed":true},"elapsed_ns":75580400,"evaluated_terminal_rows":4,"fixture":"integrator","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"round":1,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":10000,"checked_calls":10000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"maximizers":[[0],[2]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1,0,1],"status":"numerical_optimal","value":1,"worst_values":[1,1]},"observed":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"passed":true},"elapsed_ns":184554900,"evaluated_terminal_rows":4,"fixture":"l19","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[1]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"safe_bound\":10}","input_sha256":"f1c6097654913bd8a326370568a7d475e23bd3553b93776a98cf9acb6c9bb910","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-l19","request_id":"report-l19","result":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"round":1,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":10000,"checked_calls":10000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"maximizers":[[0],[2]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1,0,1],"status":"numerical_optimal","value":1,"worst_values":[1,1]},"observed":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"passed":true},"elapsed_ns":197964200,"evaluated_terminal_rows":4,"fixture":"l19","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[1]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"safe_bound\":10}","input_sha256":"f1c6097654913bd8a326370568a7d475e23bd3553b93776a98cf9acb6c9bb910","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-l19","request_id":"report-l19","result":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"round":2,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1,"worst_values":[1,4]},"observed":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"passed":true},"elapsed_ns":77218100,"evaluated_terminal_rows":4,"fixture":"integrator","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"round":2,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2]},{"action_indices":[1],"stage":1,"violating_successor":[1]}],"status":"infeasible"},"observed":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"passed":true},"elapsed_ns":71645500,"evaluated_terminal_rows":0,"fixture":"all_infeasible","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":0.5}","input_sha256":"27b2be0e3d8118643466531993b6df1fbcc328bcd83cda020da9f21f6b509f24","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"round":2,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"empty_catalogue"},"observed":{"status":"empty_catalogue"},"passed":true},"elapsed_ns":31244200,"evaluated_terminal_rows":0,"fixture":"empty_catalogue","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"ecd876e1d4b5711861b0f6aeb44f830cc9681f301a4b004b65926650e90e9cfa","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":0,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"empty_catalogue"},"round":2,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"no_scenarios"},"observed":{"status":"no_scenarios"},"passed":true},"elapsed_ns":36626400,"evaluated_terminal_rows":null,"fixture":"no_scenarios","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"409b79001bbb00ca49aa1f724937b9e0b628d0e37b34a2f20ffa2f1069ed7e7a","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"no_scenarios"},"round":2,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"field":"finite_minimax.capacity","status":"unsupported"},"observed":{"field":"finite_minimax.capacity","status":"unsupported"},"passed":true},"elapsed_ns":34494600,"evaluated_terminal_rows":null,"fixture":"unsupported","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":1,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"field":"finite_minimax.capacity","status":"unsupported"},"round":2,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"reason":"cancelled","status":"stopped"},"observed":{"reason":"cancelled","status":"stopped"},"passed":true},"elapsed_ns":37889600,"evaluated_terminal_rows":null,"fixture":"cancelled","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":true,\"safe_bound\":10.0}","input_sha256":"410fbcf3487259261dda4cc5d5e4aeb8966827eb584be25ed00fd73edaaf03d3","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"reason":"cancelled","status":"stopped"},"round":2,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":1,"checked_calls":1,"checks":{"absolute_tolerance":1e-08,"expected":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.150601101407},"observed":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"passed":true},"elapsed_ns":86382800,"evaluated_terminal_rows":160000,"fixture":"b08_rounded","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0.6],[0.3],[0],[-0.3],[-0.6]],\"authored_disturbance_halfwidths\":[[0.1,0.1],[0.2,0.4],[0.3,0.7],[0.4,1.0]],\"disturbance_vertices_binary64_hex\":[[[\"-0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"-0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"]],[[\"-0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"-0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"]],[[\"-0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"-0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"]],[[\"-0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"-0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"]]],\"model\":{\"A\":[[1,0,0,0],[-25,1,0,0],[0,0,1,0],[0,0,-25,1]],\"B\":[[20.073],[0],[-10.473],[0]],\"D\":[[1,0],[0,0],[0,-1],[0,0]],\"horizon\":4,\"initial\":[1182.074,119560,459.832,45260]},\"objective\":{\"C\":[[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]],\"target\":[1200,0,450,0],\"type\":\"residual_norm_terminal\"},\"safe\":\"universal\"}","input_sha256":"47ec040f5631dd1b24012318223efb73fa2bb7aa2db76c03c56cb88f2a85e733","limits":{"max_plans":625,"max_points_per_stage":256,"near_optimal_tolerance":1e-08},"objective_convention":"Euclidean terminal residual norm","plan_count":625,"problem_id":"b08-displayed-rounded","request_id":"issue3-report-b08","result":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"round":2,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":1,"checked_calls":1,"checks":{"absolute_tolerance":1e-08,"expected":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.150601101407},"observed":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"passed":true},"elapsed_ns":84898000,"evaluated_terminal_rows":160000,"fixture":"b08_rounded","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0.6],[0.3],[0],[-0.3],[-0.6]],\"authored_disturbance_halfwidths\":[[0.1,0.1],[0.2,0.4],[0.3,0.7],[0.4,1.0]],\"disturbance_vertices_binary64_hex\":[[[\"-0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"-0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"]],[[\"-0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"-0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"]],[[\"-0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"-0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"]],[[\"-0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"-0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"]]],\"model\":{\"A\":[[1,0,0,0],[-25,1,0,0],[0,0,1,0],[0,0,-25,1]],\"B\":[[20.073],[0],[-10.473],[0]],\"D\":[[1,0],[0,0],[0,-1],[0,0]],\"horizon\":4,\"initial\":[1182.074,119560,459.832,45260]},\"objective\":{\"C\":[[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]],\"target\":[1200,0,450,0],\"type\":\"residual_norm_terminal\"},\"safe\":\"universal\"}","input_sha256":"47ec040f5631dd1b24012318223efb73fa2bb7aa2db76c03c56cb88f2a85e733","limits":{"max_plans":625,"max_points_per_stage":256,"near_optimal_tolerance":1e-08},"objective_convention":"Euclidean terminal residual norm","plan_count":625,"problem_id":"b08-displayed-rounded","request_id":"issue3-report-b08","result":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"round":3,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"reason":"cancelled","status":"stopped"},"observed":{"reason":"cancelled","status":"stopped"},"passed":true},"elapsed_ns":37700800,"evaluated_terminal_rows":null,"fixture":"cancelled","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":true,\"safe_bound\":10.0}","input_sha256":"410fbcf3487259261dda4cc5d5e4aeb8966827eb584be25ed00fd73edaaf03d3","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"reason":"cancelled","status":"stopped"},"round":3,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"field":"finite_minimax.capacity","status":"unsupported"},"observed":{"field":"finite_minimax.capacity","status":"unsupported"},"passed":true},"elapsed_ns":34657600,"evaluated_terminal_rows":null,"fixture":"unsupported","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":1,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"field":"finite_minimax.capacity","status":"unsupported"},"round":3,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"no_scenarios"},"observed":{"status":"no_scenarios"},"passed":true},"elapsed_ns":37121000,"evaluated_terminal_rows":null,"fixture":"no_scenarios","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"409b79001bbb00ca49aa1f724937b9e0b628d0e37b34a2f20ffa2f1069ed7e7a","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"no_scenarios"},"round":3,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"empty_catalogue"},"observed":{"status":"empty_catalogue"},"passed":true},"elapsed_ns":30457000,"evaluated_terminal_rows":0,"fixture":"empty_catalogue","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"ecd876e1d4b5711861b0f6aeb44f830cc9681f301a4b004b65926650e90e9cfa","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":0,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"empty_catalogue"},"round":3,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2]},{"action_indices":[1],"stage":1,"violating_successor":[1]}],"status":"infeasible"},"observed":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"passed":true},"elapsed_ns":69544400,"evaluated_terminal_rows":0,"fixture":"all_infeasible","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":0.5}","input_sha256":"27b2be0e3d8118643466531993b6df1fbcc328bcd83cda020da9f21f6b509f24","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"round":3,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1,"worst_values":[1,4]},"observed":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"passed":true},"elapsed_ns":75145600,"evaluated_terminal_rows":4,"fixture":"integrator","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"round":3,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":10000,"checked_calls":10000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"maximizers":[[0],[2]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1,0,1],"status":"numerical_optimal","value":1,"worst_values":[1,1]},"observed":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"passed":true},"elapsed_ns":196741800,"evaluated_terminal_rows":4,"fixture":"l19","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[1]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"safe_bound\":10}","input_sha256":"f1c6097654913bd8a326370568a7d475e23bd3553b93776a98cf9acb6c9bb910","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-l19","request_id":"report-l19","result":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"round":3,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":10000,"checked_calls":10000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"maximizers":[[0],[2]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1,0,1],"status":"numerical_optimal","value":1,"worst_values":[1,1]},"observed":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"passed":true},"elapsed_ns":183395500,"evaluated_terminal_rows":4,"fixture":"l19","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[1]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"safe_bound\":10}","input_sha256":"f1c6097654913bd8a326370568a7d475e23bd3553b93776a98cf9acb6c9bb910","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-l19","request_id":"report-l19","result":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"round":4,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1,"worst_values":[1,4]},"observed":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"passed":true},"elapsed_ns":78382500,"evaluated_terminal_rows":4,"fixture":"integrator","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"round":4,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2]},{"action_indices":[1],"stage":1,"violating_successor":[1]}],"status":"infeasible"},"observed":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"passed":true},"elapsed_ns":69310600,"evaluated_terminal_rows":0,"fixture":"all_infeasible","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":0.5}","input_sha256":"27b2be0e3d8118643466531993b6df1fbcc328bcd83cda020da9f21f6b509f24","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"round":4,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"empty_catalogue"},"observed":{"status":"empty_catalogue"},"passed":true},"elapsed_ns":29999300,"evaluated_terminal_rows":0,"fixture":"empty_catalogue","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"ecd876e1d4b5711861b0f6aeb44f830cc9681f301a4b004b65926650e90e9cfa","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":0,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"empty_catalogue"},"round":4,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"no_scenarios"},"observed":{"status":"no_scenarios"},"passed":true},"elapsed_ns":36511800,"evaluated_terminal_rows":null,"fixture":"no_scenarios","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"409b79001bbb00ca49aa1f724937b9e0b628d0e37b34a2f20ffa2f1069ed7e7a","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"no_scenarios"},"round":4,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"field":"finite_minimax.capacity","status":"unsupported"},"observed":{"field":"finite_minimax.capacity","status":"unsupported"},"passed":true},"elapsed_ns":34921900,"evaluated_terminal_rows":null,"fixture":"unsupported","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":1,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"field":"finite_minimax.capacity","status":"unsupported"},"round":4,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"reason":"cancelled","status":"stopped"},"observed":{"reason":"cancelled","status":"stopped"},"passed":true},"elapsed_ns":37932200,"evaluated_terminal_rows":null,"fixture":"cancelled","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":true,\"safe_bound\":10.0}","input_sha256":"410fbcf3487259261dda4cc5d5e4aeb8966827eb584be25ed00fd73edaaf03d3","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"reason":"cancelled","status":"stopped"},"round":4,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":1,"checked_calls":1,"checks":{"absolute_tolerance":1e-08,"expected":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.150601101407},"observed":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"passed":true},"elapsed_ns":85524000,"evaluated_terminal_rows":160000,"fixture":"b08_rounded","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0.6],[0.3],[0],[-0.3],[-0.6]],\"authored_disturbance_halfwidths\":[[0.1,0.1],[0.2,0.4],[0.3,0.7],[0.4,1.0]],\"disturbance_vertices_binary64_hex\":[[[\"-0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"-0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"]],[[\"-0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"-0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"]],[[\"-0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"-0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"]],[[\"-0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"-0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"]]],\"model\":{\"A\":[[1,0,0,0],[-25,1,0,0],[0,0,1,0],[0,0,-25,1]],\"B\":[[20.073],[0],[-10.473],[0]],\"D\":[[1,0],[0,0],[0,-1],[0,0]],\"horizon\":4,\"initial\":[1182.074,119560,459.832,45260]},\"objective\":{\"C\":[[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]],\"target\":[1200,0,450,0],\"type\":\"residual_norm_terminal\"},\"safe\":\"universal\"}","input_sha256":"47ec040f5631dd1b24012318223efb73fa2bb7aa2db76c03c56cb88f2a85e733","limits":{"max_plans":625,"max_points_per_stage":256,"near_optimal_tolerance":1e-08},"objective_convention":"Euclidean terminal residual norm","plan_count":625,"problem_id":"b08-displayed-rounded","request_id":"issue3-report-b08","result":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"round":4,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":1,"checked_calls":1,"checks":{"absolute_tolerance":1e-08,"expected":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.150601101407},"observed":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"passed":true},"elapsed_ns":84219500,"evaluated_terminal_rows":160000,"fixture":"b08_rounded","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0.6],[0.3],[0],[-0.3],[-0.6]],\"authored_disturbance_halfwidths\":[[0.1,0.1],[0.2,0.4],[0.3,0.7],[0.4,1.0]],\"disturbance_vertices_binary64_hex\":[[[\"-0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"-0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"]],[[\"-0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"-0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"]],[[\"-0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"-0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"]],[[\"-0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"-0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"]]],\"model\":{\"A\":[[1,0,0,0],[-25,1,0,0],[0,0,1,0],[0,0,-25,1]],\"B\":[[20.073],[0],[-10.473],[0]],\"D\":[[1,0],[0,0],[0,-1],[0,0]],\"horizon\":4,\"initial\":[1182.074,119560,459.832,45260]},\"objective\":{\"C\":[[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]],\"target\":[1200,0,450,0],\"type\":\"residual_norm_terminal\"},\"safe\":\"universal\"}","input_sha256":"47ec040f5631dd1b24012318223efb73fa2bb7aa2db76c03c56cb88f2a85e733","limits":{"max_plans":625,"max_points_per_stage":256,"near_optimal_tolerance":1e-08},"objective_convention":"Euclidean terminal residual norm","plan_count":625,"problem_id":"b08-displayed-rounded","request_id":"issue3-report-b08","result":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"round":5,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"reason":"cancelled","status":"stopped"},"observed":{"reason":"cancelled","status":"stopped"},"passed":true},"elapsed_ns":38021200,"evaluated_terminal_rows":null,"fixture":"cancelled","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":true,\"safe_bound\":10.0}","input_sha256":"410fbcf3487259261dda4cc5d5e4aeb8966827eb584be25ed00fd73edaaf03d3","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"reason":"cancelled","status":"stopped"},"round":5,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"field":"finite_minimax.capacity","status":"unsupported"},"observed":{"field":"finite_minimax.capacity","status":"unsupported"},"passed":true},"elapsed_ns":34265800,"evaluated_terminal_rows":null,"fixture":"unsupported","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":1,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"field":"finite_minimax.capacity","status":"unsupported"},"round":5,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"no_scenarios"},"observed":{"status":"no_scenarios"},"passed":true},"elapsed_ns":37036900,"evaluated_terminal_rows":null,"fixture":"no_scenarios","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"409b79001bbb00ca49aa1f724937b9e0b628d0e37b34a2f20ffa2f1069ed7e7a","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"no_scenarios"},"round":5,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"empty_catalogue"},"observed":{"status":"empty_catalogue"},"passed":true},"elapsed_ns":30336500,"evaluated_terminal_rows":0,"fixture":"empty_catalogue","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"ecd876e1d4b5711861b0f6aeb44f830cc9681f301a4b004b65926650e90e9cfa","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":0,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"empty_catalogue"},"round":5,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2]},{"action_indices":[1],"stage":1,"violating_successor":[1]}],"status":"infeasible"},"observed":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"passed":true},"elapsed_ns":68734800,"evaluated_terminal_rows":0,"fixture":"all_infeasible","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":0.5}","input_sha256":"27b2be0e3d8118643466531993b6df1fbcc328bcd83cda020da9f21f6b509f24","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"round":5,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1,"worst_values":[1,4]},"observed":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"passed":true},"elapsed_ns":73876900,"evaluated_terminal_rows":4,"fixture":"integrator","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"round":5,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":10000,"checked_calls":10000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"maximizers":[[0],[2]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1,0,1],"status":"numerical_optimal","value":1,"worst_values":[1,1]},"observed":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"passed":true},"elapsed_ns":210982000,"evaluated_terminal_rows":4,"fixture":"l19","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[1]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"safe_bound\":10}","input_sha256":"f1c6097654913bd8a326370568a7d475e23bd3553b93776a98cf9acb6c9bb910","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-l19","request_id":"report-l19","result":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"round":5,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":10000,"checked_calls":10000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"maximizers":[[0],[2]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1,0,1],"status":"numerical_optimal","value":1,"worst_values":[1,1]},"observed":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"passed":true},"elapsed_ns":195256200,"evaluated_terminal_rows":4,"fixture":"l19","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[1]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"safe_bound\":10}","input_sha256":"f1c6097654913bd8a326370568a7d475e23bd3553b93776a98cf9acb6c9bb910","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-l19","request_id":"report-l19","result":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"round":6,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1,"worst_values":[1,4]},"observed":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"passed":true},"elapsed_ns":76246800,"evaluated_terminal_rows":4,"fixture":"integrator","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"round":6,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2]},{"action_indices":[1],"stage":1,"violating_successor":[1]}],"status":"infeasible"},"observed":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"passed":true},"elapsed_ns":71531100,"evaluated_terminal_rows":0,"fixture":"all_infeasible","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":0.5}","input_sha256":"27b2be0e3d8118643466531993b6df1fbcc328bcd83cda020da9f21f6b509f24","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"round":6,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"empty_catalogue"},"observed":{"status":"empty_catalogue"},"passed":true},"elapsed_ns":30691100,"evaluated_terminal_rows":0,"fixture":"empty_catalogue","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"ecd876e1d4b5711861b0f6aeb44f830cc9681f301a4b004b65926650e90e9cfa","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":0,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"empty_catalogue"},"round":6,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"no_scenarios"},"observed":{"status":"no_scenarios"},"passed":true},"elapsed_ns":43869700,"evaluated_terminal_rows":null,"fixture":"no_scenarios","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"409b79001bbb00ca49aa1f724937b9e0b628d0e37b34a2f20ffa2f1069ed7e7a","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"no_scenarios"},"round":6,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"field":"finite_minimax.capacity","status":"unsupported"},"observed":{"field":"finite_minimax.capacity","status":"unsupported"},"passed":true},"elapsed_ns":34357900,"evaluated_terminal_rows":null,"fixture":"unsupported","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":1,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"field":"finite_minimax.capacity","status":"unsupported"},"round":6,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"reason":"cancelled","status":"stopped"},"observed":{"reason":"cancelled","status":"stopped"},"passed":true},"elapsed_ns":37439500,"evaluated_terminal_rows":null,"fixture":"cancelled","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":true,\"safe_bound\":10.0}","input_sha256":"410fbcf3487259261dda4cc5d5e4aeb8966827eb584be25ed00fd73edaaf03d3","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"reason":"cancelled","status":"stopped"},"round":6,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":1,"checked_calls":1,"checks":{"absolute_tolerance":1e-08,"expected":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.150601101407},"observed":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"passed":true},"elapsed_ns":83470600,"evaluated_terminal_rows":160000,"fixture":"b08_rounded","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0.6],[0.3],[0],[-0.3],[-0.6]],\"authored_disturbance_halfwidths\":[[0.1,0.1],[0.2,0.4],[0.3,0.7],[0.4,1.0]],\"disturbance_vertices_binary64_hex\":[[[\"-0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"-0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"]],[[\"-0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"-0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"]],[[\"-0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"-0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"]],[[\"-0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"-0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"]]],\"model\":{\"A\":[[1,0,0,0],[-25,1,0,0],[0,0,1,0],[0,0,-25,1]],\"B\":[[20.073],[0],[-10.473],[0]],\"D\":[[1,0],[0,0],[0,-1],[0,0]],\"horizon\":4,\"initial\":[1182.074,119560,459.832,45260]},\"objective\":{\"C\":[[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]],\"target\":[1200,0,450,0],\"type\":\"residual_norm_terminal\"},\"safe\":\"universal\"}","input_sha256":"47ec040f5631dd1b24012318223efb73fa2bb7aa2db76c03c56cb88f2a85e733","limits":{"max_plans":625,"max_points_per_stage":256,"near_optimal_tolerance":1e-08},"objective_convention":"Euclidean terminal residual norm","plan_count":625,"problem_id":"b08-displayed-rounded","request_id":"issue3-report-b08","result":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"round":6,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":1,"checked_calls":1,"checks":{"absolute_tolerance":1e-08,"expected":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.150601101407},"observed":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"passed":true},"elapsed_ns":83338500,"evaluated_terminal_rows":160000,"fixture":"b08_rounded","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0.6],[0.3],[0],[-0.3],[-0.6]],\"authored_disturbance_halfwidths\":[[0.1,0.1],[0.2,0.4],[0.3,0.7],[0.4,1.0]],\"disturbance_vertices_binary64_hex\":[[[\"-0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"-0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"-0x1.999999999999ap-4\"],[\"0x1.999999999999ap-4\",\"0x1.999999999999ap-4\"]],[[\"-0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"-0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"-0x1.999999999999ap-2\"],[\"0x1.999999999999ap-3\",\"0x1.999999999999ap-2\"]],[[\"-0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"-0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"-0x1.6666666666666p-1\"],[\"0x1.3333333333334p-2\",\"0x1.6666666666666p-1\"]],[[\"-0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"-0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"-0x1.fffffffffffffp-1\"],[\"0x1.999999999999ap-2\",\"0x1.fffffffffffffp-1\"]]],\"model\":{\"A\":[[1,0,0,0],[-25,1,0,0],[0,0,1,0],[0,0,-25,1]],\"B\":[[20.073],[0],[-10.473],[0]],\"D\":[[1,0],[0,0],[0,-1],[0,0]],\"horizon\":4,\"initial\":[1182.074,119560,459.832,45260]},\"objective\":{\"C\":[[1,0,0,0],[0,1,0,0],[0,0,1,0],[0,0,0,1]],\"target\":[1200,0,450,0],\"type\":\"residual_norm_terminal\"},\"safe\":\"universal\"}","input_sha256":"47ec040f5631dd1b24012318223efb73fa2bb7aa2db76c03c56cb88f2a85e733","limits":{"max_plans":625,"max_points_per_stage":256,"near_optimal_tolerance":1e-08},"objective_convention":"Euclidean terminal residual norm","plan_count":625,"problem_id":"b08-displayed-rounded","request_id":"issue3-report-b08","result":{"evaluated_vertices":160000,"minimizing_plan_indices":[17,33,129],"plan_count":625,"status":"numerical_optimal","value":67.15060110140273},"round":7,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"reason":"cancelled","status":"stopped"},"observed":{"reason":"cancelled","status":"stopped"},"passed":true},"elapsed_ns":37991500,"evaluated_terminal_rows":null,"fixture":"cancelled","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":true,\"safe_bound\":10.0}","input_sha256":"410fbcf3487259261dda4cc5d5e4aeb8966827eb584be25ed00fd73edaaf03d3","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"reason":"cancelled","status":"stopped"},"round":7,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"field":"finite_minimax.capacity","status":"unsupported"},"observed":{"field":"finite_minimax.capacity","status":"unsupported"},"passed":true},"elapsed_ns":34517900,"evaluated_terminal_rows":null,"fixture":"unsupported","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":1,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"field":"finite_minimax.capacity","status":"unsupported"},"round":7,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"no_scenarios"},"observed":{"status":"no_scenarios"},"passed":true},"elapsed_ns":42602800,"evaluated_terminal_rows":null,"fixture":"no_scenarios","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"409b79001bbb00ca49aa1f724937b9e0b628d0e37b34a2f20ffa2f1069ed7e7a","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":null,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"no_scenarios"},"round":7,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":null,"batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"status":"empty_catalogue"},"observed":{"status":"empty_catalogue"},"passed":true},"elapsed_ns":30372900,"evaluated_terminal_rows":0,"fixture":"empty_catalogue","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"ecd876e1d4b5711861b0f6aeb44f830cc9681f301a4b004b65926650e90e9cfa","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":0,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"status":"empty_catalogue"},"round":7,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2]},{"action_indices":[1],"stage":1,"violating_successor":[1]}],"status":"infeasible"},"observed":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"passed":true},"elapsed_ns":70353800,"evaluated_terminal_rows":0,"fixture":"all_infeasible","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":0.5}","input_sha256":"27b2be0e3d8118643466531993b6df1fbcc328bcd83cda020da9f21f6b509f24","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"rejected_plans":[{"action_indices":[0],"stage":1,"violating_successor":[2.0]},{"action_indices":[1],"stage":1,"violating_successor":[1.0]}],"status":"infeasible"},"round":7,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":5000,"checked_calls":5000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1,"worst_values":[1,4]},"observed":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"passed":true},"elapsed_ns":75495800,"evaluated_terminal_rows":4,"fixture":"integrator","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[2]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"pre_cancelled\":false,\"safe_bound\":10.0}","input_sha256":"6f1b01083814fe8587d034a10362a21470f3137a44f846212e27b26f786c4206","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-integrator","request_id":"report-integrator","result":{"evaluated_vertices":4,"minimizing_plan_indices":[0],"plan_count":2,"status":"numerical_optimal","value":1.0,"worst_values":[1.0,4.0]},"round":7,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}
{"assurance":"numerical","batch":10000,"checked_calls":10000,"checks":{"absolute_tolerance":0.0,"expected":{"evaluated_vertices":4,"maximizers":[[0],[2]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1,0,1],"status":"numerical_optimal","value":1,"worst_values":[1,1]},"observed":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"passed":true},"elapsed_ns":210343300,"evaluated_terminal_rows":4,"fixture":"l19","fixture_sha256":"9494dec664f6fed74f39886ec3ab94c576dba6cdb5349f1f19329c6c31acc85a","harness_commit":"2f915110ba42515fdc448a0c226dc1290b80f82d","input_canonical":"{\"actions\":[[0],[1]],\"disturbance_vertices\":[[0],[1]],\"model\":{\"A\":[[1]],\"B\":[[1]],\"D\":[[1]],\"horizon\":1,\"initial\":[0]},\"objective\":{\"Q\":[[2]],\"c\":1,\"convention\":\"0.5*x'Q*x+q'x+c\",\"q\":[-2],\"type\":\"quadratic_terminal\"},\"safe_bound\":10}","input_sha256":"f1c6097654913bd8a326370568a7d475e23bd3553b93776a98cf9acb6c9bb910","limits":{"max_plans":2,"max_points_per_stage":2,"near_optimal_tolerance":0},"objective_convention":"0.5*x'Q*x+q'x+c","plan_count":2,"problem_id":"issue3-l19","request_id":"report-l19","result":{"evaluated_vertices":4,"maximizers":[[0.0],[2.0]],"minimizing_plan_indices":[0,1],"plan_count":2,"sampled_objective_values":[1.0,0.0,1.0],"status":"numerical_optimal","value":1.0,"worst_values":[1.0,1.0]},"round":7,"schema":"csl.issue3-raw-trial/1","source_commit":"994f3ee4310b4087d289e2eb02adbdb9dfd97827","warmup":false}