md5 0883b5d96a037a6a4d88e64d5a4b9929 nsplit_D14.jsonl.xz
8481 records, 8481 distinct paths; kind nsplit
coverage: {"roots": 7956, "uncovered": [], "records_not_used": [], "n_not_used": 0, "omitted_jensen": 0, "used": 8481}
8481 certificates: {'full': 8306, 'full_but_empty': 170, 'empty': 5}; 0 failures; stats {'taylor': 555264, 'sturm': 287679, 'range_repaired': 47910, 'repair_dy_max': 1.75e-13, 'maj_pieces': 266451}; 259 s
largest U + eps = 0.8549969806 <= 171/200 (margin 3.019e-06) at N/k35/i0j6
largest E_w = 7.117e-08; largest eps = 0.0e+00; eps = 0 in 8306 of 8306
  0.8549969806  E_w 4.45e-09  eps 0e+00  N/k35/i0j6
  0.8549736708  E_w 1.26e-08  eps 0e+00  N/k27/i4j0
  0.8549311645  E_w 4.32e-08  eps 0e+00  N/k25/i2j2
  0.8548589316  E_w 2.10e-08  eps 0e+00  N/k22/i2j2
  0.8548334443  E_w 2.77e-08  eps 0e+00  N/k25/i4j0
  0.8548167640  E_w 7.75e-09  eps 0e+00  N/k32/i2j2
  0.8548028212  E_w 9.46e-18  eps 0e+00  N/k35/i0j5/q31
  0.8547208646  E_w 4.03e-08  eps 0e+00  N/k22/i0j4
ALL PASS

real	4m18.860s
user	34m18.339s
sys	0m0.886s
