{"batch":5000,"checked_calls":5000,"elapsed_ns":58590600,"error":null,"fixture":"affine_box","result":{"center":[7.0],"error_bound":false,"factor_ids":["horizontal","vertical"],"generators":[2.0,3.0],"outside_points":[1.0,13.0],"physical_witnesses":[2.0,7.0,12.0,8.0],"rejections":{"validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":0,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":true}
{"batch":5000,"checked_calls":5000,"elapsed_ns":69544300,"error":null,"fixture":"constrained_disjoint_sum","result":{"center":[4.0],"equalities":[1.0,-1.0,0.0,0.0,0.0,0.0,1.0,1.0],"error_bound":false,"factor_ids":["u","v","p","q"],"generators":[1.0,0.0,0.0,2.0],"outside_points":[0.0,8.0],"physical_witnesses":[1.0,4.0,7.0],"rejections":{"intersection":"generators.operation","shared_id":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":0,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":true}
{"batch":5000,"checked_calls":5000,"elapsed_ns":82430400,"error":null,"fixture":"finite_v","result":{"error_bound":false,"labels":["x"],"outside_points":[1.0,13.0],"rays":0,"rejections":{"cap":"generators.convert.cap","constrained":"generators.convert.equalities","h_output":"generators.convert.output","validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument","vertices":[2.0,6.0,8.0,12.0]},"round":0,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":true}
{"batch":5000,"checked_calls":5000,"elapsed_ns":57302900,"error":null,"fixture":"affine_box","result":{"center":[7.0],"error_bound":false,"factor_ids":["horizontal","vertical"],"generators":[2.0,3.0],"outside_points":[1.0,13.0],"physical_witnesses":[2.0,7.0,12.0,8.0],"rejections":{"validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":0,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":68860400,"error":null,"fixture":"constrained_disjoint_sum","result":{"center":[4.0],"equalities":[1.0,-1.0,0.0,0.0,0.0,0.0,1.0,1.0],"error_bound":false,"factor_ids":["u","v","p","q"],"generators":[1.0,0.0,0.0,2.0],"outside_points":[0.0,8.0],"physical_witnesses":[1.0,4.0,7.0],"rejections":{"intersection":"generators.operation","shared_id":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":0,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":83594300,"error":null,"fixture":"finite_v","result":{"error_bound":false,"labels":["x"],"outside_points":[1.0,13.0],"rays":0,"rejections":{"cap":"generators.convert.cap","constrained":"generators.convert.equalities","h_output":"generators.convert.output","validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument","vertices":[2.0,6.0,8.0,12.0]},"round":0,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":84470700,"error":null,"fixture":"finite_v","result":{"error_bound":false,"labels":["x"],"outside_points":[1.0,13.0],"rays":0,"rejections":{"cap":"generators.convert.cap","constrained":"generators.convert.equalities","h_output":"generators.convert.output","validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument","vertices":[2.0,6.0,8.0,12.0]},"round":1,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":68937200,"error":null,"fixture":"constrained_disjoint_sum","result":{"center":[4.0],"equalities":[1.0,-1.0,0.0,0.0,0.0,0.0,1.0,1.0],"error_bound":false,"factor_ids":["u","v","p","q"],"generators":[1.0,0.0,0.0,2.0],"outside_points":[0.0,8.0],"physical_witnesses":[1.0,4.0,7.0],"rejections":{"intersection":"generators.operation","shared_id":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":1,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":57210500,"error":null,"fixture":"affine_box","result":{"center":[7.0],"error_bound":false,"factor_ids":["horizontal","vertical"],"generators":[2.0,3.0],"outside_points":[1.0,13.0],"physical_witnesses":[2.0,7.0,12.0,8.0],"rejections":{"validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":1,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":57562900,"error":null,"fixture":"affine_box","result":{"center":[7.0],"error_bound":false,"factor_ids":["horizontal","vertical"],"generators":[2.0,3.0],"outside_points":[1.0,13.0],"physical_witnesses":[2.0,7.0,12.0,8.0],"rejections":{"validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":2,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":74890800,"error":null,"fixture":"constrained_disjoint_sum","result":{"center":[4.0],"equalities":[1.0,-1.0,0.0,0.0,0.0,0.0,1.0,1.0],"error_bound":false,"factor_ids":["u","v","p","q"],"generators":[1.0,0.0,0.0,2.0],"outside_points":[0.0,8.0],"physical_witnesses":[1.0,4.0,7.0],"rejections":{"intersection":"generators.operation","shared_id":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":2,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":84051500,"error":null,"fixture":"finite_v","result":{"error_bound":false,"labels":["x"],"outside_points":[1.0,13.0],"rays":0,"rejections":{"cap":"generators.convert.cap","constrained":"generators.convert.equalities","h_output":"generators.convert.output","validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument","vertices":[2.0,6.0,8.0,12.0]},"round":2,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":82873200,"error":null,"fixture":"finite_v","result":{"error_bound":false,"labels":["x"],"outside_points":[1.0,13.0],"rays":0,"rejections":{"cap":"generators.convert.cap","constrained":"generators.convert.equalities","h_output":"generators.convert.output","validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument","vertices":[2.0,6.0,8.0,12.0]},"round":3,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":70030600,"error":null,"fixture":"constrained_disjoint_sum","result":{"center":[4.0],"equalities":[1.0,-1.0,0.0,0.0,0.0,0.0,1.0,1.0],"error_bound":false,"factor_ids":["u","v","p","q"],"generators":[1.0,0.0,0.0,2.0],"outside_points":[0.0,8.0],"physical_witnesses":[1.0,4.0,7.0],"rejections":{"intersection":"generators.operation","shared_id":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":3,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":58240800,"error":null,"fixture":"affine_box","result":{"center":[7.0],"error_bound":false,"factor_ids":["horizontal","vertical"],"generators":[2.0,3.0],"outside_points":[1.0,13.0],"physical_witnesses":[2.0,7.0,12.0,8.0],"rejections":{"validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":3,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":57405300,"error":null,"fixture":"affine_box","result":{"center":[7.0],"error_bound":false,"factor_ids":["horizontal","vertical"],"generators":[2.0,3.0],"outside_points":[1.0,13.0],"physical_witnesses":[2.0,7.0,12.0,8.0],"rejections":{"validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":4,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":69538200,"error":null,"fixture":"constrained_disjoint_sum","result":{"center":[4.0],"equalities":[1.0,-1.0,0.0,0.0,0.0,0.0,1.0,1.0],"error_bound":false,"factor_ids":["u","v","p","q"],"generators":[1.0,0.0,0.0,2.0],"outside_points":[0.0,8.0],"physical_witnesses":[1.0,4.0,7.0],"rejections":{"intersection":"generators.operation","shared_id":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":4,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":83049900,"error":null,"fixture":"finite_v","result":{"error_bound":false,"labels":["x"],"outside_points":[1.0,13.0],"rays":0,"rejections":{"cap":"generators.convert.cap","constrained":"generators.convert.equalities","h_output":"generators.convert.output","validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument","vertices":[2.0,6.0,8.0,12.0]},"round":4,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":82441700,"error":null,"fixture":"finite_v","result":{"error_bound":false,"labels":["x"],"outside_points":[1.0,13.0],"rays":0,"rejections":{"cap":"generators.convert.cap","constrained":"generators.convert.equalities","h_output":"generators.convert.output","validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument","vertices":[2.0,6.0,8.0,12.0]},"round":5,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":70328100,"error":null,"fixture":"constrained_disjoint_sum","result":{"center":[4.0],"equalities":[1.0,-1.0,0.0,0.0,0.0,0.0,1.0,1.0],"error_bound":false,"factor_ids":["u","v","p","q"],"generators":[1.0,0.0,0.0,2.0],"outside_points":[0.0,8.0],"physical_witnesses":[1.0,4.0,7.0],"rejections":{"intersection":"generators.operation","shared_id":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":5,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":57878600,"error":null,"fixture":"affine_box","result":{"center":[7.0],"error_bound":false,"factor_ids":["horizontal","vertical"],"generators":[2.0,3.0],"outside_points":[1.0,13.0],"physical_witnesses":[2.0,7.0,12.0,8.0],"rejections":{"validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":5,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":56795100,"error":null,"fixture":"affine_box","result":{"center":[7.0],"error_bound":false,"factor_ids":["horizontal","vertical"],"generators":[2.0,3.0],"outside_points":[1.0,13.0],"physical_witnesses":[2.0,7.0,12.0,8.0],"rejections":{"validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":6,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":68829600,"error":null,"fixture":"constrained_disjoint_sum","result":{"center":[4.0],"equalities":[1.0,-1.0,0.0,0.0,0.0,0.0,1.0,1.0],"error_bound":false,"factor_ids":["u","v","p","q"],"generators":[1.0,0.0,0.0,2.0],"outside_points":[0.0,8.0],"physical_witnesses":[1.0,4.0,7.0],"rejections":{"intersection":"generators.operation","shared_id":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":6,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}
{"batch":5000,"checked_calls":5000,"elapsed_ns":82973100,"error":null,"fixture":"finite_v","result":{"error_bound":false,"labels":["x"],"outside_points":[1.0,13.0],"rays":0,"rejections":{"cap":"generators.convert.cap","constrained":"generators.convert.equalities","h_output":"generators.convert.output","validated":"generators.assurance"},"relation":"equivalent","status":"passed","support":"symbolic_argument","vertices":[2.0,6.0,8.0,12.0]},"round":6,"schema":"csl.geo07-port-trial/1","status":"passed","warmup":false}