PASS lpv: constant term -1/20 (domination): rejected 40/40
PASS lpv: constant term +1 (objective bound): rejected 40/40
PASS lpv: polytope shrunk 10% about its centre (cone): rejected 40/40
PASS lpv: one vertex moved by 1e-6 (hyperplane): rejected 40/40
PASS lpv: the 40 uncorrupted boxes (control): accepted 40/40
PASS ms5: remove one plus piece (coverage): rejected 25/25
PASS ms5: remove one minus piece (coverage): rejected 25/25
PASS ms5: lower the top of every piece by 1/100 (coverage): rejected 25/25
PASS ms5: TC/TCS/TCN cap replaced by m2 (cap check): rejected 100/100
PASS ms5: SG value p* lowered to phi(m1) - 1/100 (phi check): rejected 25/25
PASS ms5: TCS (A4) sub-piece widened from [n1, n2] to [n1/2, n2] (near-sphere test): rejected 25/25
PASS ms5: constant term of one TC / TCS vertex polynomial lowered by 1/20: rejected 20/20
PASS TCN: remove one inner plus piece (coverage): rejected 25/25
PASS TCN: remove one inner minus piece (coverage): rejected 25/25
PASS TCN: lower the inner cut m_c' by 1/50 (coverage): rejected 25/25
PASS TCN: TC4 / TC4S cap replaced by n2 (cap check): rejected 50/50
PASS TCN: SG3 value lowered to phi(n1) - 1/100 (phi check): rejected 25/25
PASS TC4S: (A5) sub-piece widened from [o1, o2] to [o1/4, o2] (near-sphere test): rejected 25/25
PASS TC4S: (A5) sub-piece re-checked with s = -1 does not pass (A5): rejected 25/25
PASS TCN: (A4) inner piece widened from [n1, n2] to [n1/2, n2] (near-sphere test): rejected 25/25
PASS TCN: constant term of one nested vertex polynomial (C', TC4 or TC4S) lowered by 1/20: rejected 25/25
PASS nested vertex sets with 3 or 4 patch parameters ({3: 25, 4: 15}) shrunk by 1/2 (cone): rejected 40/40
PASS tiling s=+1 with one box removed: rejected 1/1
PASS tiling s=-1 with one box removed: rejected 1/1
PASS one-coordinate cells: constant term +1 (objective bound): rejected 30/30
PASS one-coordinate cells: a-interval extended downwards by its width (informative): rejected 30/30 (informative)
PASS one-coordinate cells: a-interval extended upwards by its width (informative): rejected 29/30 (informative)
RESULT: ALL NEGATIVE TESTS PASSED (7s)
