lpv: c0 -= 1/20 at one vertex (domination must fail)                     rejected 40/40
lpv: c0 += 1 at one vertex (objective must fail)                         rejected 40/40
lpv: polytope shrunk by 10% about its centre (cone must fail)            rejected 40/40
lpv: one vertex moved by 1e-6 (hyperplane/parallelepiped must fail)      rejected 40/40
lpv: recomputed cap mbar >= min(1, a2/b) on the box (sanity check)       holds 40/40
ms5: one plus piece removed (coverage must fail)                         rejected 25/25
ms5: one minus piece removed (coverage must fail)                        rejected 25/25
ms5: mtop lowered by 1/100 (top check must fail)                         rejected 25/25
ms5: a TC/TCS cap replaced by m2 (cap check must fail)                   rejected 43/43
ms5: SG p* below phi(m1) (phi check must fail)                           rejected 25/25
ms5: an A4/B4 piece widened to [n1/2, n2] (near-sphere test must fail)   rejected 25/25
ms5: TC vertex certificate with c0 -= 1/20 (domination must fail)        rejected 20/20
tiling s=+1: one box removed (tiling must fail)                          rejected 1/1
tiling s=-1: one box removed (tiling must fail)                          rejected 1/1
ALL NEGATIVE TESTS REJECTED
ALL SANITY CHECKS HOLD
