{"boxes": 254666, "infeasible": 1663, "S1": 0, "S2": 8822, "S3": 76, "fail": 117163, "maxdepth_used": 14, "part": "S", "r": "3/50", "shift": "0", "worst": {"S1": null, "S2": [5.780631916800947e-08, 0.60546875, 0.609375, 0.767578125, 0.76953125], "S3": [0.0001169479630431574, 0.765625, 0.78125, 0.8671875, 0.875]}, "fails": [[0.5860595703125, 0.586181640625, 0.7423095703125, 0.742431640625], [0.5859375, 0.5860595703125, 0.7423095703125, 0.742431640625], [0.5858154296875, 0.5859375, 0.7421875, 0.7423095703125], [0.585693359375, 0.5858154296875, 0.7421875, 0.7423095703125], [0.5855712890625, 0.585693359375, 0.7421875, 0.7423095703125]], "seconds": 83.7}
{"boxes": 63047, "infeasible": 1402, "S1": 0, "S2": 2571, "S3": 9, "fail": 27888, "maxdepth_used": 14, "part": "S", "r": "1/50", "shift": "1/500", "worst": {"S1": null, "S2": [8.46373421807803e-08, 0.50146484375, 0.501953125, 0.69921875, 0.69970703125], "S3": [0.04510194884740249, 0.921875, 0.9375, 0.953125, 0.96875]}, "fails": [[0.5523681640625, 0.552490234375, 0.7430419921875, 0.7431640625], [0.55224609375, 0.5523681640625, 0.742919921875, 0.7430419921875], [0.5521240234375, 0.55224609375, 0.742919921875, 0.7430419921875], [0.5521240234375, 0.55224609375, 0.7427978515625, 0.742919921875], [0.552001953125, 0.5521240234375, 0.7427978515625, 0.742919921875]], "seconds": 20.9}
{"boxes": 43609, "infeasible": 1209, "S1": 0, "S2": 2923, "S3": 9, "fail": 18010, "maxdepth_used": 14, "part": "S", "r": "1/50", "shift": "1/1000", "worst": {"S1": null, "S2": [1.1014992250775271e-07, 0.5439453125, 0.544921875, 0.732421875, 0.73291015625], "S3": [0.04610194884740249, 0.921875, 0.9375, 0.953125, 0.96875]}, "fails": [[0.5382080078125, 0.538330078125, 0.7335205078125, 0.733642578125], [0.5382080078125, 0.538330078125, 0.7333984375, 0.7335205078125], [0.5380859375, 0.5382080078125, 0.7333984375, 0.7335205078125], [0.5380859375, 0.5382080078125, 0.7332763671875, 0.7333984375], [0.5379638671875, 0.5380859375, 0.7332763671875, 0.7333984375]], "seconds": 14.4}
{"boxes": 84790, "infeasible": 1202, "S1": 126, "S2": 6524, "S3": 28, "fail": 34889, "maxdepth_used": 14, "part": "S", "r": "1/25", "shift": "0", "worst": {"S1": [4.876459147897741e-06, 0.522705078125, 0.52294921875, 0.7220458984375, 0.72216796875], "S2": [2.1826069856518904e-08, 0.5296630859375, 0.52978515625, 0.715087890625, 0.7152099609375], "S3": [0.0001169479630431574, 0.765625, 0.78125, 0.8671875, 0.875]}, "fails": [[0.53173828125, 0.5318603515625, 0.71484375, 0.7149658203125], [0.5316162109375, 0.53173828125, 0.71484375, 0.7149658203125], [0.531494140625, 0.5316162109375, 0.71484375, 0.7149658203125], [0.5313720703125, 0.531494140625, 0.71484375, 0.7149658203125], [0.53125, 0.5313720703125, 0.71484375, 0.7149658203125]], "seconds": 27.7}
