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/TCN cap replaced by m2 (cap check must fail)                     rejected 97/97
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
TCN: one inner plus piece removed (coverage must fail)                         rejected 25/25
TCN: one inner minus piece removed (coverage must fail)                        rejected 25/25
TCN: inner cut m'_c lowered by 1/50 without new pieces (coverage must fail)    rejected 25/25
TCN: a TC4/TC4S cap replaced by n2 (cap check must fail)                       rejected 25/25
TCN: SG3 p* below phi(n1) (phi check must fail)                                rejected 25/25
TCN: an A5/B5 piece widened to [o1/4, o2] (near-sphere test must fail)         rejected 25/25
TCN: an A5 piece re-checked with s = -1 (test A must not be accepted)          rejected 25/25
TCN: a nested vertex certificate with c0 -= 1/20 (domination must fail)        rejected 25/25
TCN: a nested polytope shrunk by 1/2 about its centre (cone must fail)         rejected 40/40
TCN: exact facet minima <= sampled minima of h.p, within 1e-3 |h| (sanity check) holds 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

real	0m9.064s
user	0m7.671s
sys	0m0.200s
