{"batch":1000,"checked_calls":1000,"elapsed_ns":13882200,"error":null,"fixture":"shared_cancellation","result":{"center":[0.0],"equalities":[],"error_bound":false,"factor_ids":["history.0"],"generators":[0.0],"outside_points":[[-1.0],[1.0]],"physical_witnesses":[[0.0],[0.0],[0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":0,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":true}
{"batch":1000,"checked_calls":1000,"elapsed_ns":15829100,"error":null,"fixture":"constrained_shared","result":{"center":[0.0,0.0],"equalities":[1.0,-1.0,0.0,1.0,0.0,1.0],"error_bound":false,"factor_ids":["u","v","w"],"generators":[0.0,0.0,0.0,0.0,1.0,1.0],"outside_points":[[0.0,1.0],[1.0,0.0]],"physical_witnesses":[[0.0,0.0],[0.0,0.0],[0.0,0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":0,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":true}
{"batch":1000,"checked_calls":1000,"elapsed_ns":13155200,"error":null,"fixture":"shared_cancellation","result":{"center":[0.0],"equalities":[],"error_bound":false,"factor_ids":["history.0"],"generators":[0.0],"outside_points":[[-1.0],[1.0]],"physical_witnesses":[[0.0],[0.0],[0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":0,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}
{"batch":1000,"checked_calls":1000,"elapsed_ns":15604100,"error":null,"fixture":"constrained_shared","result":{"center":[0.0,0.0],"equalities":[1.0,-1.0,0.0,1.0,0.0,1.0],"error_bound":false,"factor_ids":["u","v","w"],"generators":[0.0,0.0,0.0,0.0,1.0,1.0],"outside_points":[[0.0,1.0],[1.0,0.0]],"physical_witnesses":[[0.0,0.0],[0.0,0.0],[0.0,0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":0,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}
{"batch":1000,"checked_calls":1000,"elapsed_ns":16962700,"error":null,"fixture":"constrained_shared","result":{"center":[0.0,0.0],"equalities":[1.0,-1.0,0.0,1.0,0.0,1.0],"error_bound":false,"factor_ids":["u","v","w"],"generators":[0.0,0.0,0.0,0.0,1.0,1.0],"outside_points":[[0.0,1.0],[1.0,0.0]],"physical_witnesses":[[0.0,0.0],[0.0,0.0],[0.0,0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":1,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}
{"batch":1000,"checked_calls":1000,"elapsed_ns":13344800,"error":null,"fixture":"shared_cancellation","result":{"center":[0.0],"equalities":[],"error_bound":false,"factor_ids":["history.0"],"generators":[0.0],"outside_points":[[-1.0],[1.0]],"physical_witnesses":[[0.0],[0.0],[0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":1,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}
{"batch":1000,"checked_calls":1000,"elapsed_ns":13235900,"error":null,"fixture":"shared_cancellation","result":{"center":[0.0],"equalities":[],"error_bound":false,"factor_ids":["history.0"],"generators":[0.0],"outside_points":[[-1.0],[1.0]],"physical_witnesses":[[0.0],[0.0],[0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":2,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}
{"batch":1000,"checked_calls":1000,"elapsed_ns":16215000,"error":null,"fixture":"constrained_shared","result":{"center":[0.0,0.0],"equalities":[1.0,-1.0,0.0,1.0,0.0,1.0],"error_bound":false,"factor_ids":["u","v","w"],"generators":[0.0,0.0,0.0,0.0,1.0,1.0],"outside_points":[[0.0,1.0],[1.0,0.0]],"physical_witnesses":[[0.0,0.0],[0.0,0.0],[0.0,0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":2,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}
{"batch":1000,"checked_calls":1000,"elapsed_ns":16211900,"error":null,"fixture":"constrained_shared","result":{"center":[0.0,0.0],"equalities":[1.0,-1.0,0.0,1.0,0.0,1.0],"error_bound":false,"factor_ids":["u","v","w"],"generators":[0.0,0.0,0.0,0.0,1.0,1.0],"outside_points":[[0.0,1.0],[1.0,0.0]],"physical_witnesses":[[0.0,0.0],[0.0,0.0],[0.0,0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":3,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}
{"batch":1000,"checked_calls":1000,"elapsed_ns":13165300,"error":null,"fixture":"shared_cancellation","result":{"center":[0.0],"equalities":[],"error_bound":false,"factor_ids":["history.0"],"generators":[0.0],"outside_points":[[-1.0],[1.0]],"physical_witnesses":[[0.0],[0.0],[0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":3,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}
{"batch":1000,"checked_calls":1000,"elapsed_ns":13313400,"error":null,"fixture":"shared_cancellation","result":{"center":[0.0],"equalities":[],"error_bound":false,"factor_ids":["history.0"],"generators":[0.0],"outside_points":[[-1.0],[1.0]],"physical_witnesses":[[0.0],[0.0],[0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":4,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}
{"batch":1000,"checked_calls":1000,"elapsed_ns":16162500,"error":null,"fixture":"constrained_shared","result":{"center":[0.0,0.0],"equalities":[1.0,-1.0,0.0,1.0,0.0,1.0],"error_bound":false,"factor_ids":["u","v","w"],"generators":[0.0,0.0,0.0,0.0,1.0,1.0],"outside_points":[[0.0,1.0],[1.0,0.0]],"physical_witnesses":[[0.0,0.0],[0.0,0.0],[0.0,0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":4,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}
{"batch":1000,"checked_calls":1000,"elapsed_ns":15841200,"error":null,"fixture":"constrained_shared","result":{"center":[0.0,0.0],"equalities":[1.0,-1.0,0.0,1.0,0.0,1.0],"error_bound":false,"factor_ids":["u","v","w"],"generators":[0.0,0.0,0.0,0.0,1.0,1.0],"outside_points":[[0.0,1.0],[1.0,0.0]],"physical_witnesses":[[0.0,0.0],[0.0,0.0],[0.0,0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":5,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}
{"batch":1000,"checked_calls":1000,"elapsed_ns":13110300,"error":null,"fixture":"shared_cancellation","result":{"center":[0.0],"equalities":[],"error_bound":false,"factor_ids":["history.0"],"generators":[0.0],"outside_points":[[-1.0],[1.0]],"physical_witnesses":[[0.0],[0.0],[0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":5,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}
{"batch":1000,"checked_calls":1000,"elapsed_ns":12797800,"error":null,"fixture":"shared_cancellation","result":{"center":[0.0],"equalities":[],"error_bound":false,"factor_ids":["history.0"],"generators":[0.0],"outside_points":[[-1.0],[1.0]],"physical_witnesses":[[0.0],[0.0],[0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":6,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}
{"batch":1000,"checked_calls":1000,"elapsed_ns":15560500,"error":null,"fixture":"constrained_shared","result":{"center":[0.0,0.0],"equalities":[1.0,-1.0,0.0,1.0,0.0,1.0],"error_bound":false,"factor_ids":["u","v","w"],"generators":[0.0,0.0,0.0,0.0,1.0,1.0],"outside_points":[[0.0,1.0],[1.0,0.0]],"physical_witnesses":[[0.0,0.0],[0.0,0.0],[0.0,0.0]],"rejections":{"independent_shared_ids":"generators.minkowski.factor_ids"},"relation":"equivalent","status":"passed","support":"symbolic_argument"},"round":6,"schema":"csl.geo07-dependent-trial/1","status":"passed","warmup":false}