{"schema":"csl.syn04-strategy-b-ts02-measurement-event/1","repetition":0,"warmup":true,"elapsed_ns":229600,"status":"passed","consumed_result_marker":1805158144890476974,"result_disposition":"complete_optimal_family","lp_provider":"csl.lp.highs@1.0.0+highs.1.11.0","convex_provider":"csl.convex.highs@1.0.0+highs.1.11.0","termination":"completed","outcome":"optimal","registry_verified":true,"assurance":"numerical","canonical_relation_checked":true,"completeness_verifier":"csl.verifier.ts02-constant-integrator","completeness_verifier_version":"1","objective_lower":3,"objective_upper":3,"distinct_histories_same_terminal_checked":true,"error":""}
{"schema":"csl.syn04-strategy-b-ts02-measurement-event/1","repetition":1,"warmup":false,"elapsed_ns":74200,"status":"passed","consumed_result_marker":1805158144890476974,"result_disposition":"complete_optimal_family","lp_provider":"csl.lp.highs@1.0.0+highs.1.11.0","convex_provider":"csl.convex.highs@1.0.0+highs.1.11.0","termination":"completed","outcome":"optimal","registry_verified":true,"assurance":"numerical","canonical_relation_checked":true,"completeness_verifier":"csl.verifier.ts02-constant-integrator","completeness_verifier_version":"1","objective_lower":3,"objective_upper":3,"distinct_histories_same_terminal_checked":true,"error":""}
{"schema":"csl.syn04-strategy-b-ts02-measurement-event/1","repetition":2,"warmup":false,"elapsed_ns":59800,"status":"passed","consumed_result_marker":1805158144890476974,"result_disposition":"complete_optimal_family","lp_provider":"csl.lp.highs@1.0.0+highs.1.11.0","convex_provider":"csl.convex.highs@1.0.0+highs.1.11.0","termination":"completed","outcome":"optimal","registry_verified":true,"assurance":"numerical","canonical_relation_checked":true,"completeness_verifier":"csl.verifier.ts02-constant-integrator","completeness_verifier_version":"1","objective_lower":3,"objective_upper":3,"distinct_histories_same_terminal_checked":true,"error":""}
{"schema":"csl.syn04-strategy-b-ts02-measurement-event/1","repetition":3,"warmup":false,"elapsed_ns":59900,"status":"passed","consumed_result_marker":1805158144890476974,"result_disposition":"complete_optimal_family","lp_provider":"csl.lp.highs@1.0.0+highs.1.11.0","convex_provider":"csl.convex.highs@1.0.0+highs.1.11.0","termination":"completed","outcome":"optimal","registry_verified":true,"assurance":"numerical","canonical_relation_checked":true,"completeness_verifier":"csl.verifier.ts02-constant-integrator","completeness_verifier_version":"1","objective_lower":3,"objective_upper":3,"distinct_histories_same_terminal_checked":true,"error":""}
{"schema":"csl.syn04-strategy-b-ts02-measurement-event/1","repetition":4,"warmup":false,"elapsed_ns":57200,"status":"passed","consumed_result_marker":1805158144890476974,"result_disposition":"complete_optimal_family","lp_provider":"csl.lp.highs@1.0.0+highs.1.11.0","convex_provider":"csl.convex.highs@1.0.0+highs.1.11.0","termination":"completed","outcome":"optimal","registry_verified":true,"assurance":"numerical","canonical_relation_checked":true,"completeness_verifier":"csl.verifier.ts02-constant-integrator","completeness_verifier_version":"1","objective_lower":3,"objective_upper":3,"distinct_histories_same_terminal_checked":true,"error":""}
{"schema":"csl.syn04-strategy-b-ts02-measurement-event/1","repetition":5,"warmup":false,"elapsed_ns":52300,"status":"passed","consumed_result_marker":1805158144890476974,"result_disposition":"complete_optimal_family","lp_provider":"csl.lp.highs@1.0.0+highs.1.11.0","convex_provider":"csl.convex.highs@1.0.0+highs.1.11.0","termination":"completed","outcome":"optimal","registry_verified":true,"assurance":"numerical","canonical_relation_checked":true,"completeness_verifier":"csl.verifier.ts02-constant-integrator","completeness_verifier_version":"1","objective_lower":3,"objective_upper":3,"distinct_histories_same_terminal_checked":true,"error":""}
{"schema":"csl.syn04-strategy-b-ts02-measurement-event/1","repetition":6,"warmup":false,"elapsed_ns":51900,"status":"passed","consumed_result_marker":1805158144890476974,"result_disposition":"complete_optimal_family","lp_provider":"csl.lp.highs@1.0.0+highs.1.11.0","convex_provider":"csl.convex.highs@1.0.0+highs.1.11.0","termination":"completed","outcome":"optimal","registry_verified":true,"assurance":"numerical","canonical_relation_checked":true,"completeness_verifier":"csl.verifier.ts02-constant-integrator","completeness_verifier_version":"1","objective_lower":3,"objective_upper":3,"distinct_histories_same_terminal_checked":true,"error":""}
{"schema":"csl.syn04-strategy-b-ts02-measurement-event/1","repetition":7,"warmup":false,"elapsed_ns":54600,"status":"passed","consumed_result_marker":1805158144890476974,"result_disposition":"complete_optimal_family","lp_provider":"csl.lp.highs@1.0.0+highs.1.11.0","convex_provider":"csl.convex.highs@1.0.0+highs.1.11.0","termination":"completed","outcome":"optimal","registry_verified":true,"assurance":"numerical","canonical_relation_checked":true,"completeness_verifier":"csl.verifier.ts02-constant-integrator","completeness_verifier_version":"1","objective_lower":3,"objective_upper":3,"distinct_histories_same_terminal_checked":true,"error":""}