md5 2bbb7484a1b420a0b22dade39448c6fc light_vl025_D18.jsonl.xz
1273 records, 1273 distinct paths; kind light
coverage: {"roots": 537, "uncovered": [], "records_not_used": [], "n_not_used": 0, "omitted_jensen": 5, "used": 1273}
1273 certificates: {'full': 1213, 'empty': 60}; 0 failures; stats {'sturm': 361699, 'taylor': 281770}; 93 s
largest U + eps = 0.8549743150 <= 171/200 (margin 2.568e-05) at L/s15t15
largest E_w = 1.873e-02; largest eps = 0.0e+00; eps = 0 in 1213 of 1213
  0.8549743150  E_w 5.02e-05  eps 0e+00  L/s15t15
  0.8549664231  E_w 5.11e-05  eps 0e+00  L/s12t17
  0.8549547050  E_w 1.15e-04  eps 0e+00  L/s18t22/q00
  0.8549344697  E_w 2.23e-06  eps 0e+00  L/s11t11
  0.8549221478  E_w 7.75e-05  eps 0e+00  L/s16t19/q00
  0.8549200497  E_w 8.57e-06  eps 0e+00  L/s16t20/q00
  0.8549146099  E_w 8.76e-03  eps 0e+00  L/s19t20/q00/q01/q00/q00
  0.8549023716  E_w 1.14e-05  eps 0e+00  L/s16t23
ALL PASS

real	1m32.846s
user	12m15.939s
sys	0m0.313s
