   [tradeoff R=2.0] T = 3.00018e+12 (current verification): fails at (753.985, 754.485)
   [tradeoff R=2.0] T = 4.24276e+13: closes   (713 s)
   [tradeoff R=2.0] T = 1.12823e+13: closes   (976 s)
   [tradeoff R=2.0] T = 5.81798e+12: closes   (1224 s)
   [tradeoff R=2.0] T = 4.17791e+12: fails at (818.485, 818.985)   (1421 s)
   [tradeoff R=2.0] T = 4.93021e+12: fails at (852.985, 853.485)   (1642 s)
   [tradeoff R=2.0] T = 5.35573e+12: fails at (870.985, 871.485)   (1861 s)
   [tradeoff R=2.0] T = 5.58207e+12: closes   (2106 s)
   [tradeoff R=2.0] T = 5.46773e+12: closes   (2361 s)
   [tradeoff R=2.0] T = 5.41144e+12: fails at (872.985, 873.485)   (2559 s)
   [tradeoff R=2.0] T = 5.43952e+12: closes   (2819 s)
   [tradeoff R=2.0] T = 5.42546e+12: fails at (873.485, 873.985)   (3044 s)
   [tradeoff R=2.0] T = 5.43248e+12: closes   (3296 s)
[tradeoff R=2.0, TR2.0] RH to height 5.43248e+12 suffices; fails at 5.42546e+12   (3296 s)
