outputs/fig3_summary.json

{
  "n_finite_values_swept": 4278190080,
  "exhaustive": true,
  "bf16_ulp_int16_exact_frac_overall": 0.9953460583499834,
  "paper_bf16_int16_exact": 0.9992,
  "bf16_ulp_int16_mean_rel_err_normal": 3.401091960376452e-10,
  "paper_bf16_int16_err_bound": 1e-09,
  "bf16_float_mean_rel_err_normal": 1.2343846550929825e-05,
  "paper_bf16_bf16_err_bound_exceeds": 1e-06,
  "bf16_ulp_int8_mean_rel_err_normal": 5.344849116106249e-06,
  "bf16_none_mean_rel_err_normal": 0.0013537861858713214,
  "fp16_ulp_int16_exact_frac_fp16normal": 0.9999837239583333,
  "fp16_ulp_int16_mean_rel_err_fp16normal": 0.0,
  "fp16_float_mean_rel_err_fp16normal": 1.1292020708250317e-05,
  "fp16_ulp_int8_mean_rel_err_fp16normal": 6.664201555088988e-07,
  "fp16_ulp_int8_max_rel_err_fp16normal": 1.907814407814408e-06,
  "paper_fp16_24bit_worstcase_under": 1e-06,
  "elapsed_s": 646.0
}