{"mode": "band", "seed": 11, "n": 600, "with_violations": 0, "min_theorem_slack": 0.0011908857755780211, "min_Fbox_minus_EZ": 0.00031036432292741445, "min_opt_gap": {"O1": 0.00012157261933950566, "O2": 0.0003518136719238285, "O3": 0.00013486437863958914, "O4": 0.0007454195803686026}, "slope_tested": 26, "min_Fslope_minus_EZ": 0.0004938071169021674, "slope_recipes": ["O1", "O4", "O5"]}
ALL CHECKS PASSED
{"mode": "dirac", "seed": 12, "n": 600, "with_violations": 0, "min_theorem_slack": 5.990003929756682e-06, "min_Fbox_minus_EZ": 7.70544804234996e-05, "min_opt_gap": {"O1": 4.1472211451486067e-05, "O2": 0.0023365226128873214, "O3": 6.430971111916732e-05, "O4": 9.192522341876499e-05}, "slope_tested": 599, "min_Fslope_minus_EZ": 1.3814382724408603e-06, "slope_recipes": ["O1", "O4", "O5"]}
ALL CHECKS PASSED
{"mode": "edge", "seed": 13, "n": 300, "with_violations": 0, "min_theorem_slack": 0.03415919376983878, "min_Fbox_minus_EZ": 0.02589617628376506, "min_opt_gap": {"O1": 0.0148042144574199, "O2": 0.019173621757215376, "O3": 0.00996301325381524, "O4": 0.01598708319079209}, "slope_tested": 0, "min_Fslope_minus_EZ": null, "slope_recipes": []}
ALL CHECKS PASSED
{"mode": "dirac", "seed": 14, "n": 600, "with_violations": 0, "min_theorem_slack": 3.6938794507612727e-06, "min_Fbox_minus_EZ": 7.298144182332766e-05, "min_opt_gap": {"O1": 1.695233389595381e-05, "O2": 0.002390914521028845, "O3": 4.2333627674073506e-05, "O4": 8.501009131156809e-05}, "slope_tested": 599, "min_Fslope_minus_EZ": 7.323193946806583e-07, "slope_recipes": ["O1", "O4", "O5"]}
ALL CHECKS PASSED
