md5 3d7366f952b6d159df4f9dc5cc90b48d chord_D14.jsonl.xz
1212 records, 1212 distinct paths; kind chord
coverage: {"roots": 60, "uncovered": [], "records_not_used": [], "n_not_used": 0, "omitted_jensen": 0, "used": 1212}
1212 certificates: {'empty': 166, 'full': 1046}; 0 failures; stats {'sturm': 159715, 'taylor': 116129, 'maj_pieces': 10903, 'range_repaired': 156, 'repair_dy_max': 1e-13}; 39 s
largest U + eps = 0.8549552502 <= 171/200 (margin 4.475e-05) at C/i1j3/q32
largest E_w = 2.048e-06; largest eps = 0.0e+00; eps = 0 in 1046 of 1046
  0.8549552502  E_w 5.86e-17  eps 0e+00  C/i1j3/q32
  0.8549505717  E_w 1.78e-17  eps 0e+00  C/i4j2
  0.8549413031  E_w 2.61e-16  eps 0e+00  C/i0j3/q31/q01/q11/q11
  0.8549245178  E_w 1.25e-07  eps 0e+00  C/i0j9/q31/q10
  0.8548975463  E_w 4.55e-15  eps 0e+00  C/i1j6/q20
  0.8548973383  E_w 5.31e-07  eps 0e+00  C/i1j3/q22
  0.8548455122  E_w 4.16e-17  eps 0e+00  C/i0j4/q21/q10
  0.8547738970  E_w 1.76e-16  eps 0e+00  C/i0j4/q31/q01/q10
ALL PASS

real	0m39.012s
user	5m8.024s
sys	0m0.374s
