[tradeoff R=4.0] T = 3.00018e+12 (current verification): fails at (753.985, 754.485)
   [tradeoff R=4.0] T = 4.24276e+13: fails at (1458.9850000000001, 1459.4850000000001)   (697 s)
   [tradeoff R=4.0] T = 1.59551e+14: closes   (963 s)
   [tradeoff R=4.0] T = 8.22763e+13: fails at (1721.4850000000001, 1721.9850000000001)   (1196 s)
   [tradeoff R=4.0] T = 1.14574e+14: closes   (1428 s)
   [tradeoff R=4.0] T = 9.70914e+13: fails at (1793.9850000000001, 1794.4850000000001)   (1666 s)
   [tradeoff R=4.0] T = 1.05471e+14: closes   (1925 s)
   [tradeoff R=4.0] T = 1.01195e+14: closes   (2170 s)
   [tradeoff R=4.0] T = 9.91218e+13: closes   (2412 s)
   [tradeoff R=4.0] T = 9.81014e+13: closes   (2661 s)
   [tradeoff R=4.0] T = 9.75951e+13: closes   (2927 s)
   [tradeoff R=4.0] T = 9.73429e+13: fails at (1794.9850000000001, 1795.4850000000001)   (3167 s)
   [tradeoff R=4.0] T = 9.74689e+13: closes   (3417 s)
[tradeoff R=4.0, TR4.0] RH to height 9.74689e+13 suffices; fails at 9.73429e+13   (3417 s)