PASS unit: nested patch minimum (j = 0..3) above the sampled minimum (worst gap below 4.87e-06): consistent 300/300
PASS unit: cumulant enclosures contain the exact values (200 random u-intervals, j = 3..10, 65 points): consistent 1600/1600
PASS unit: around the kappa_9 critical point the enclosure exceeds the end values (non-monotone case handled): detected 1/1
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 (parallelepiped): rejected 40/40
PASS lpv: the 40 uncorrupted boxes (control): accepted 40/40
PASS level-0 nodes: remove one plus piece (coverage): rejected 25/25
PASS level-0 nodes: remove one minus piece (coverage): rejected 25/25
PASS level-0 nodes: lower the top of every piece by 1/100 (coverage): rejected 25/25
PASS level-0 nodes: lower the cut by 1/50 (coverage): rejected 25/25
PASS level-1 nodes: remove one plus piece (coverage): rejected 25/25
PASS level-1 nodes: remove one minus piece (coverage): rejected 25/25
PASS level-1 nodes: lower the top of every piece by 1/100 (coverage): rejected 25/25
PASS level-1 nodes: lower the cut by 1/50 (coverage): rejected 25/25
PASS level-2 nodes: remove one plus piece (coverage): rejected 25/25
PASS level-2 nodes: remove one minus piece (coverage): rejected 25/25
PASS level-2 nodes: lower the top of every piece by 1/100 (coverage): rejected 25/25
PASS level-2 nodes: lower the cut by 1/50 (coverage): rejected 25/25
PASS TC/TCS/TCN cap replaced by its n2 < kappa(n2) (cap check in part D): rejected 100/100
PASS TC/TCS/TCN cap replaced by its n2 < kappa(n2) (cap check in part F): rejected 100/100
PASS SG/TCS value p* lowered to phi(m) - 1/100 (phi check in parts D and F, 40 pieces): rejected 40/40
PASS near-sphere n=4: recorded pieces pass (control): accepted 30/30
PASS near-sphere n=4: last interval widened from [x1, x2] to [x1/4, x2]: rejected 30/30
PASS near-sphere n=5: recorded pieces pass (control): accepted 30/30
PASS near-sphere n=5: last interval widened from [x1, x2] to [x1/4, x2]: rejected 30/30
PASS near-sphere n=5: re-checked with s = -1 does not pass (A5) (OR-region condition needs s = 1): rejected 30/30
PASS near-sphere n=6: recorded pieces pass (control): accepted 30/30
PASS near-sphere n=6: last interval widened from [x1, x2] to [x1/4, x2]: rejected 30/30
PASS near-sphere n=6: re-checked with s = -1 does not pass (A6) (OR-region condition needs s = 1): rejected 30/30
PASS vertex sets with 2 patch parameters: constant term -1/20: rejected 24/24
PASS vertex sets with 2 patch parameters: shrunk by 1/2 (cone): rejected 24/24
PASS vertex sets with 3 patch parameters: constant term -1/20: rejected 24/24
PASS vertex sets with 3 patch parameters: shrunk by 1/2 (cone): rejected 24/24
PASS vertex sets with 4 patch parameters: constant term -1/20: rejected 24/24
PASS vertex sets with 4 patch parameters: shrunk by 1/2 (cone): rejected 24/24
PASS vertex sets with 5 patch parameters: constant term -1/20: rejected 24/24
PASS vertex sets with 5 patch parameters: shrunk by 1/2 (cone): rejected 24/24
PASS TC+ certificate reused as TC- (sign of the peeled coordinate flipped; informative): rejected 24/24 (informative)
PASS tiling of k5/p_0.json with one box removed: rejected 1/1
PASS tiling of k5/p_1.json with one box removed: rejected 1/1
PASS tiling of k5/p_10.json with one box removed: rejected 1/1
PASS tiling of k5/m_0.json with one box removed: rejected 1/1
PASS tiling of k5/m_1.json with one box removed: rejected 1/1
PASS tiling of k5/m_10.json with one box removed: rejected 1/1
RESULT: ALL NEGATIVE TESTS PASSED (136s)

real	2m17.703s
user	10m8.652s
sys	0m3.485s
DONE-K5NEG
