{"boxes": 767, "infeasible": 612, "S1": 21, "S2": 88, "S3": 9, "fail": 0, "maxdepth_used": 5, "part": "S", "r": "1/50", "shift": "0", "worst": {"S1": [9.082285762372434e-05, 0.5859375, 0.58984375, 0.76171875, 0.763671875], "S2": [1.133490221356632e-05, 0.625, 0.640625, 0.7890625, 0.796875], "S3": [0.04710194884740249, 0.921875, 0.9375, 0.953125, 0.96875]}, "fails": [], "seconds": 0.1}
