{"event":"header","schema":"csl.syn06-verifier-raw/2","batch":28000,"warmups":7,"trials_per_fixture":7,"timer_overhead_median_ns":0}
{"event":"trial","fixture":"valid","round":0,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":85736200,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"valid","round":1,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":87281100,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"valid","round":2,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":83769900,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"valid","round":3,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":80161900,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"valid","round":4,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":79564700,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"valid","round":5,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":86110600,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"valid","round":6,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":89670500,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"valid","round":7,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":99578000,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"valid","round":8,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":87752800,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"valid","round":9,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":78774300,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"valid","round":10,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":84713700,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"valid","round":11,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":83115300,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"valid","round":12,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":79437000,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"valid","round":13,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":90583200,"bindings":"numerical_pass","feasibility":"numerical_pass","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[1].inequalities[1]","violation":0,"scale":0.75,"tolerance":1.7500000000000001e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":16760924184232834784}
{"event":"trial","fixture":"violating","round":0,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":83387900,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}
{"event":"trial","fixture":"violating","round":1,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":82792200,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}
{"event":"trial","fixture":"violating","round":2,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":79455200,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}
{"event":"trial","fixture":"violating","round":3,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":90479500,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}
{"event":"trial","fixture":"violating","round":4,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":81572900,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}
{"event":"trial","fixture":"violating","round":5,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":88606000,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}
{"event":"trial","fixture":"violating","round":6,"warmup":true,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":80893800,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}
{"event":"trial","fixture":"violating","round":7,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":79583800,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}
{"event":"trial","fixture":"violating","round":8,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":83670000,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}
{"event":"trial","fixture":"violating","round":9,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":81403600,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}
{"event":"trial","fixture":"violating","round":10,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":80035200,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}
{"event":"trial","fixture":"violating","round":11,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":79358500,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}
{"event":"trial","fixture":"violating","round":12,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":82314300,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}
{"event":"trial","fixture":"violating","round":13,"warmup":false,"batch":28000,"attempted_calls":28000,"checked_calls":28000,"failures":0,"elapsed_ns":81746500,"bindings":"numerical_pass","feasibility":"violation","objective":"numerical_pass","optimality":"unsupported","completeness":"unsupported","validated":"unsupported","recomputed_objective":1,"residual_count":10,"residuals":[{"field":"initial[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[0].singleton[0]","violation":0,"scale":0,"tolerance":1e-08,"satisfied":true},{"field":"states[2].singleton[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[0]","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true},{"field":"controls[0].inequalities[1]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"dynamics[0][0]","violation":0,"scale":0.25,"tolerance":1.2499999999999999e-08,"satisfied":true},{"field":"controls[1].inequalities[0]","violation":0.25,"scale":1.25,"tolerance":2.25e-08,"satisfied":false},{"field":"controls[1].inequalities[1]","violation":0,"scale":1.25,"tolerance":2.25e-08,"satisfied":true},{"field":"dynamics[1][0]","violation":0.5,"scale":1.5,"tolerance":2.5000000000000002e-08,"satisfied":false},{"field":"objective","violation":0,"scale":1,"tolerance":2e-08,"satisfied":true}],"observation_token":6227851832302048512}