[
  {
    "claim": "C1",
    "result": "R1.positive.by_n.1000000.recursive.mean_ulps",
    "declared": 196.86,
    "supplied_code_rerun": 196.86,
    "independent_reimplementation": 196.86,
    "tolerance": 0.001,
    "matches": true
  },
  {
    "claim": "C1",
    "result": "R1.positive.by_n.1000000.recursive.max_ulps",
    "declared": 589.0,
    "supplied_code_rerun": 589.0,
    "independent_reimplementation": 589.0,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C1",
    "result": "R1.positive.growth_exponent.recursive",
    "declared": 0.545,
    "supplied_code_rerun": 0.545,
    "independent_reimplementation": 0.545,
    "tolerance": 0.002,
    "matches": true
  },
  {
    "claim": "C2",
    "result": "R1.positive.max_ulps.pairwise",
    "declared": 2.0,
    "supplied_code_rerun": 2.0,
    "independent_reimplementation": 2.0,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C2",
    "result": "R1.positive.by_n.1000000.pairwise.mean_ulps",
    "declared": 0.4,
    "supplied_code_rerun": 0.4,
    "independent_reimplementation": 0.4,
    "tolerance": 0.001,
    "matches": true
  },
  {
    "claim": "C3",
    "result": "R1.exact_trials.kahan",
    "declared": 400,
    "supplied_code_rerun": 400,
    "independent_reimplementation": 400,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C3",
    "result": "R1.exact_trials.neumaier",
    "declared": 400,
    "supplied_code_rerun": 400,
    "independent_reimplementation": 400,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C3",
    "result": "R1.trials_total",
    "declared": 400,
    "supplied_code_rerun": 400,
    "independent_reimplementation": 400,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C3",
    "result": "R1.mixed.by_n.1000000.median_condition_number",
    "declared": 991.34,
    "supplied_code_rerun": 991.34,
    "independent_reimplementation": 991.34,
    "tolerance": 0.001,
    "matches": true
  },
  {
    "claim": "C4",
    "result": "R1.mixed.by_n.1000000.recursive.mean_ulps_of_magnitudes",
    "declared": 0.278047,
    "supplied_code_rerun": 0.278047,
    "independent_reimplementation": 0.278047,
    "tolerance": 1e-06,
    "matches": true
  },
  {
    "claim": "C4",
    "result": "R1.mixed.by_n.1000000.pairwise.mean_ulps_of_magnitudes",
    "declared": 0.001872,
    "supplied_code_rerun": 0.001872,
    "independent_reimplementation": 0.001872,
    "tolerance": 1e-06,
    "matches": true
  }
]