{"schema":"csl.syn04-strategy-b-ts01-measurement-event/1","repetition":0,"warmup":true,"elapsed_ns":1649900,"status":"passed","consumed_result_marker":1805158144890476961,"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.ts01-analytic","completeness_verifier_version":"1","trajectory_objective":0,"trajectory_max_residual":0,"absolute_tolerance":1e-08,"relative_tolerance":1e-08,"residual_verifier":"csl.trajectory.original","error":""}
{"schema":"csl.syn04-strategy-b-ts01-measurement-event/1","repetition":1,"warmup":false,"elapsed_ns":982800,"status":"passed","consumed_result_marker":1805158144890476961,"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.ts01-analytic","completeness_verifier_version":"1","trajectory_objective":0,"trajectory_max_residual":0,"absolute_tolerance":1e-08,"relative_tolerance":1e-08,"residual_verifier":"csl.trajectory.original","error":""}
{"schema":"csl.syn04-strategy-b-ts01-measurement-event/1","repetition":2,"warmup":false,"elapsed_ns":962500,"status":"passed","consumed_result_marker":1805158144890476961,"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.ts01-analytic","completeness_verifier_version":"1","trajectory_objective":0,"trajectory_max_residual":0,"absolute_tolerance":1e-08,"relative_tolerance":1e-08,"residual_verifier":"csl.trajectory.original","error":""}
{"schema":"csl.syn04-strategy-b-ts01-measurement-event/1","repetition":3,"warmup":false,"elapsed_ns":1059300,"status":"passed","consumed_result_marker":1805158144890476961,"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.ts01-analytic","completeness_verifier_version":"1","trajectory_objective":0,"trajectory_max_residual":0,"absolute_tolerance":1e-08,"relative_tolerance":1e-08,"residual_verifier":"csl.trajectory.original","error":""}
{"schema":"csl.syn04-strategy-b-ts01-measurement-event/1","repetition":4,"warmup":false,"elapsed_ns":1087100,"status":"passed","consumed_result_marker":1805158144890476961,"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.ts01-analytic","completeness_verifier_version":"1","trajectory_objective":0,"trajectory_max_residual":0,"absolute_tolerance":1e-08,"relative_tolerance":1e-08,"residual_verifier":"csl.trajectory.original","error":""}
{"schema":"csl.syn04-strategy-b-ts01-measurement-event/1","repetition":5,"warmup":false,"elapsed_ns":966900,"status":"passed","consumed_result_marker":1805158144890476961,"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.ts01-analytic","completeness_verifier_version":"1","trajectory_objective":0,"trajectory_max_residual":0,"absolute_tolerance":1e-08,"relative_tolerance":1e-08,"residual_verifier":"csl.trajectory.original","error":""}
{"schema":"csl.syn04-strategy-b-ts01-measurement-event/1","repetition":6,"warmup":false,"elapsed_ns":1010400,"status":"passed","consumed_result_marker":1805158144890476961,"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.ts01-analytic","completeness_verifier_version":"1","trajectory_objective":0,"trajectory_max_residual":0,"absolute_tolerance":1e-08,"relative_tolerance":1e-08,"residual_verifier":"csl.trajectory.original","error":""}
{"schema":"csl.syn04-strategy-b-ts01-measurement-event/1","repetition":7,"warmup":false,"elapsed_ns":972000,"status":"passed","consumed_result_marker":1805158144890476961,"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.ts01-analytic","completeness_verifier_version":"1","trajectory_objective":0,"trajectory_max_residual":0,"absolute_tolerance":1e-08,"relative_tolerance":1e-08,"residual_verifier":"csl.trajectory.original","error":""}