Negative / threshold tests for Theorem 2 (seed 7)
  cell a1 lowered to 0 rejected                      39/39
  cell c0 + 1e-2|c0| rejected                        8/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                        47/60
  lp   c6 - 0.1|c6| rejected                         59/60
  lp   orig passes                                   60/60
  lp   r1 widened down by 1/10 rejected              58/58
  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              49/57
  lp sampled margins: min_y(P-F_B) in [3.831e-05, 1.568e-03], min_rho h in [2.061e-05, 5.266e-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 9 s
