{
  "setup": {
    "m": 1.0,
    "T": 0.5,
    "eta": 0.02,
    "H": 1.5,
    "steps": 500,
    "particles": 20000,
    "delta": 0.1,
    "seed": 551
  },
  "verification": {
    "max_exact_minus_bound": -0.006480298036358436,
    "min_bound_minus_exact": 0.006480298036358436,
    "exact_risk_t0": 0.9830525732376554,
    "exact_risk_t1": 0.28755556203294863,
    "exact_risk_t4": 0.020495863931250004,
    "stationary_pi_A": 0.01694742676234465,
    "chi0_squared": 65659968.13733051,
    "bound_t0": 1054.8949030336146,
    "bound_t1": 388.0848602394847,
    "bound_t4": 19.337711133343618,
    "analytic_burn_in_for_delta": 9.449461816533956
  },
  "baseline": {
    "max_unsafe_fraction": 0.97845,
    "mean_unsafe_fraction": 0.09574450000000001,
    "final_unsafe_fraction": 0.0178,
    "mean_post_stop_unsafe_fraction": 0.09574450000000001,
    "final_loss": 0.2553056695997961,
    "mean_last_50_loss": 0.2557282480668052,
    "stop_step": null,
    "stop_time": null
  },
  "idea": {
    "max_unsafe_fraction": 0.97845,
    "mean_unsafe_fraction": 0.09498750000000002,
    "final_unsafe_fraction": 0.0002,
    "mean_post_stop_unsafe_fraction": 0.0044648148148148156,
    "final_loss": 0.08603508230765874,
    "mean_last_50_loss": 0.20020929190403533,
    "stop_step": 473,
    "stop_time": 9.46
  }
}