RQ-REF3 band_verify.py md5 18a0f70ddc375feaef231f3c8512306d, chi.py md5 4de871314e587c573750301ea6982255; start 2026-10-23 02:49:19 UTC
theta = 17/20, A = 77/50, C5_lo = 0.855100455470819, shift = 0, slope check on
level 0 (side 1/128): 351 squares, 205 not certified, 859282 (L, m) boxes in the certified ones, 80 s
level 1 (side 1/256): 796 squares, 84 not certified, 4033527 (L, m) boxes in the certified ones, 306 s
level 2 (side 1/512): 336 squares, 6 not certified, 3896332 (L, m) boxes in the certified ones, 497 s
level 3 (side 1/1024): 24 squares, 0 not certified, 288202 (L, m) boxes in the certified ones, 510 s
leaf boxes of the certified squares by method: {"O1": 447902, "O2": 2137115, "O3": 4105282, "O4": 334983, "infeasible": 2051477, "slope": 584}
RESULT: EVERY SQUARE CERTIFIED: the squares cover the triangle and every box is disposed of
end 2026-10-23 02:57:49 UTC (510 s)
