sextic clean                       : rejected   0/271; boxes with a float violation   0; accepted despite a violation 0
sextic t2 := t2/100                : rejected 271/271; boxes with a float violation 271; accepted despite a violation 0
sextic t2 := 4 t2                  : rejected 271/271; boxes with a float violation 271; accepted despite a violation 0
sextic t0 := t0 + 1/100            : rejected 271/271; boxes with a float violation 271; accepted despite a violation 0
sextic t0 := t0 - 1/100            : rejected 271/271; boxes with a float violation 271; accepted despite a violation 0
sextic t1 := 3/2 t1                : rejected 271/271; boxes with a float violation 271; accepted despite a violation 0
sextic t1 := t1 - 1/100            : rejected 271/271; boxes with a float violation 271; accepted despite a violation 0
sextic t1 := 0                     : rejected 271/271; boxes with a float violation 271; accepted despite a violation 0
sextic t extended down to 7/20     : rejected  23/23; boxes with a float violation  23; accepted despite a violation 0
sextic u extended up to 39/20      : rejected  29/29; boxes with a float violation  29; accepted despite a violation 0
sextic u extended down to 3/2      : rejected  14/14; boxes with a float violation  14; accepted despite a violation 0
sextic coefficients of a far box   : rejected 244/271; boxes with a float violation 244; accepted despite a violation 0
cells  clean                       : rejected    0/1187
cells  P * 9/10                    : rejected 1187/1187
cells  c0 - 1/1000                 : rejected 1187/1187
cells  u2 + 1/20                   : rejected 1187/1187
cells  a1 - 1/20 (a1 >= 1/20)      : rejected 1163/1163
cells  target sqrt2 -> 1.40        : rejected 1009/1187
strips clean                       : failing strips 0/64
strips threshold a >= 17/20        : failing strips 64/64
strips u_F = 2                     : failing strips 20/64
strips threshold 7/8               : failing strips 64/64
tiling one box removed             : inside True, area equal False, overlaps 0 => REJECTED
tiling one box shifted by 1/10^4 in t: inside True, area equal True, overlaps 1 => REJECTED
tiling duplicate box               : inside True, area equal False, overlaps 1 => REJECTED
RESULT: ALL NEGATIVE TESTS BEHAVE AS REQUIRED (8s)
