   theta = 0.932500: closes   (22 s)
   theta = 0.961250: fails at (672.5, 673.0)   (23 s)
   theta = 0.946875: fails at (672.5, 673.0)   (24 s)
   theta = 0.939688: closes   (36 s)
   theta = 0.943281: closes   (48 s)
   theta = 0.945078: closes   (60 s)
   theta = 0.945977: fails at (672.5, 673.0)   (61 s)
   theta = 0.945527: fails at (672.5, 673.0)   (62 s)
   theta = 0.945303: fails at (672.5, 673.0)   (63 s)
   theta = 0.945190: fails at (672.5, 673.0)   (64 s)
   theta = 0.945134: fails at (672.5, 673.0)   (65 s)
   theta = 0.945106: fails at (672.5, 673.0)   (67 s)
   theta = 0.945092: closes   (78 s)
   theta = 0.945099: fails at (672.5, 673.0)   (79 s)
[B-ref] Re s > theta zero-free with theta <= 0.945092 suffices (refereed inputs); fails at 0.945099
