   [tradeoff R=3.5] T = 3.00018e+12 (current verification): fails at (753.985, 754.485)
   [tradeoff R=3.5] T = 4.24276e+13: fails at (1458.9850000000001, 1459.4850000000001)   (697 s)
   [tradeoff R=3.5] T = 1.59551e+14: closes   (963 s)
   [tradeoff R=3.5] T = 8.22763e+13: closes   (1215 s)
   [tradeoff R=3.5] T = 5.90829e+13: closes   (1452 s)
   [tradeoff R=3.5] T = 5.00674e+13: fails at (1520.9850000000001, 1521.4850000000001)   (1685 s)
   [tradeoff R=3.5] T = 5.43887e+13: fails at (1552.4850000000001, 1552.9850000000001)   (1917 s)
   [tradeoff R=3.5] T = 5.66872e+13: closes   (2162 s)
   [tradeoff R=3.5] T = 5.55261e+13: closes   (2406 s)
   [tradeoff R=3.5] T = 5.49544e+13: closes   (2653 s)
   [tradeoff R=3.5] T = 5.46708e+13: fails at (1554.4850000000001, 1554.9850000000001)   (2893 s)
   [tradeoff R=3.5] T = 5.48124e+13: fails at (1555.4850000000001, 1555.9850000000001)   (3130 s)
   [tradeoff R=3.5] T = 5.48834e+13: closes   (3378 s)
[tradeoff R=3.5, TR3.5] RH to height 5.48834e+13 suffices; fails at 5.48124e+13   (3378 s)
