planted probe y^2 - 1 > 0 on [0, 2] is rejected: True (1 roots)
Sturm (sympy count_roots) re-check of the MAIN-3 cover, depth 0: one-coordinate cells 0 failures / 2704 (10816 Sturm calls); lp boxes 0 failures / 57333 (401331 calls); m-split boxes 0 failures / 21232 (297248 calls) (139s)
RESULT: ALL CHECKS PASSED

real	2m19.461s
user	17m52.800s
sys	0m0.818s
