certificate cert_halfwidth_s018.npz: width a = 0.5, target s = 0.18, boxes = 78318
residue systems exact: PASS
finest grid [64, 32, 64, 128] = 16777216 cells; occupancy min 1 max 1; volume in initial cubes 1024 (expected 1024); exact cover: PASS
largest |own - stored| for (smin, E1, R2, bound): 6.38e-16 5.55e-17 6.94e-18 6.38e-16
boxes with own bound < target: 0; smallest own bound 0.1800000626 at box 53410 (stored 0.1800000626); min smin 0.194055; max E1 0.1046; max R2 0.0551
stored bound of the 500-th smallest box: 0.1800378799 (excess over target 3.788e-05)
stored bound of the 1000-th smallest box: 0.1800736191 (excess over target 7.362e-05)
stored bound of the 1950-th smallest box: 0.1801343774 (excess over target 1.344e-04)
stored bound of the 2000-th smallest box: 0.1801370727 (excess over target 1.371e-04)
box test (own double precision): PASS
seconds: 50
