{"batch":2000,"checked_calls":2000,"elapsed_ns":26335300,"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":2000,"checked_calls":2000,"elapsed_ns":31954900,"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":2000,"checked_calls":2000,"elapsed_ns":25956800,"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":2000,"checked_calls":2000,"elapsed_ns":31589700,"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":2000,"checked_calls":2000,"elapsed_ns":32664800,"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":2000,"checked_calls":2000,"elapsed_ns":28182000,"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":2000,"checked_calls":2000,"elapsed_ns":25647700,"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":2000,"checked_calls":2000,"elapsed_ns":32725000,"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":2000,"checked_calls":2000,"elapsed_ns":33118200,"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":2000,"checked_calls":2000,"elapsed_ns":28287800,"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":2000,"checked_calls":2000,"elapsed_ns":25870200,"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":2000,"checked_calls":2000,"elapsed_ns":31826800,"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":2000,"checked_calls":2000,"elapsed_ns":32201200,"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":2000,"checked_calls":2000,"elapsed_ns":25649700,"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":2000,"checked_calls":2000,"elapsed_ns":26255700,"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":2000,"checked_calls":2000,"elapsed_ns":32156200,"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}