Negative / threshold tests for Theorem 3 (seed 7)
  cell a1 lowered to 0 rejected                      40/40
  cell c0 + 1e-2|c0| rejected                        24/40
  cell c0 - 1e-3|c0| rejected                        40/40
  cell orig passes                                   40/40
  lp   c0 + 0.5*minh passes                          60/60
  lp   c0 + 1.01*minh rejected                       60/60
  lp   c0 - 0.5*minW1 passes W1                      60/60
  lp   c0 - 1.01*minW1 rejected                      60/60
  lp   c0 - 1e-3|c0| rejected                        60/60
  lp   c6 - 0.1|c6| rejected                         60/60
  lp   orig passes                                   60/60
  lp   r1 widened down by 1/10 rejected              59/59
  lp   sign flipped rejected                         49/60
  ms   (-mc, 1+mc^3) rejected                        40/40
  ms   c1_0 * 0.99 rejected                          40/40
  ms   c2_0 - 1e-3 rejected                          40/40
  ms   first piece stretched to m1=1/4 rejected      40/40
  ms   mc - 1/10 rejected                            40/40
  ms   orig passes                                   40/40
  ms   p* - 1/100 rejected                           40/40
  ms   r1 - 1/20 rejected                            40/40
  ms   t1 - 1/20 rejected                            40/40
  ms   top piece halved rejected                     40/40
  ms   top piece removed rejected                    40/40
  nc   orig passes                                   60/60
  nc   r1 widened down by 1/10 rejected              60/60
  nc   t1 widened down by 1/20 rejected              50/56
  lp sampled margins: min_y(P-F_B) in [2.489e-05, 4.749e-04], min_rho h in [2.130e-04, 3.251e-02]
  cover sign +1: deleting one random box breaks coverage 5/5
  cover sign -1: deleting one random box breaks coverage 5/5
  cells: deleting one random cell breaks coverage 5/5
exit 0 elapsed 11 s
