[tradeoff R=2.5] T = 3.00018e+12 (current verification): fails at (753.985, 754.485)
   [tradeoff R=2.5] T = 4.24276e+13: closes   (719 s)
   [tradeoff R=2.5] T = 1.12823e+13: fails at (1048.4850000000001, 1048.9850000000001)   (948 s)
   [tradeoff R=2.5] T = 2.18788e+13: closes   (1202 s)
   [tradeoff R=2.5] T = 1.57112e+13: closes   (1434 s)
   [tradeoff R=2.5] T = 1.33139e+13: fails at (1092.9850000000001, 1093.4850000000001)   (1659 s)
   [tradeoff R=2.5] T = 1.4463e+13: closes   (1916 s)
   [tradeoff R=2.5] T = 1.38765e+13: fails at (1103.9850000000001, 1104.4850000000001)   (2125 s)
   [tradeoff R=2.5] T = 1.41667e+13: closes   (2377 s)
   [tradeoff R=2.5] T = 1.40209e+13: fails at (1107.4850000000001, 1107.9850000000001)   (2584 s)
   [tradeoff R=2.5] T = 1.40936e+13: closes   (2846 s)
   [tradeoff R=2.5] T = 1.40572e+13: closes   (3109 s)
   [tradeoff R=2.5] T = 1.4039e+13: fails at (1107.4850000000001, 1107.9850000000001)   (3326 s)
[tradeoff R=2.5, TR2.5] RH to height 1.40572e+13 suffices; fails at 1.4039e+13   (3326 s)