1{
 2  "setup": {
 3    "m": 1.0,
 4    "T": 0.5,
 5    "eta": 0.02,
 6    "H": 1.5,
 7    "steps": 500,
 8    "particles": 20000,
 9    "delta": 0.1,
10    "seed": 551
11  },
12  "verification": {
13    "max_exact_minus_bound": -0.006480298036358436,
14    "min_bound_minus_exact": 0.006480298036358436,
15    "exact_risk_t0": 0.9830525732376554,
16    "exact_risk_t1": 0.28755556203294863,
17    "exact_risk_t4": 0.020495863931250004,
18    "stationary_pi_A": 0.01694742676234465,
19    "chi0_squared": 65659968.13733051,
20    "bound_t0": 1054.8949030336146,
21    "bound_t1": 388.0848602394847,
22    "bound_t4": 19.337711133343618,
23    "analytic_burn_in_for_delta": 9.449461816533956
24  },
25  "baseline": {
26    "max_unsafe_fraction": 0.97845,
27    "mean_unsafe_fraction": 0.09574450000000001,
28    "final_unsafe_fraction": 0.0178,
29    "mean_post_stop_unsafe_fraction": 0.09574450000000001,
30    "final_loss": 0.2553056695997961,
31    "mean_last_50_loss": 0.2557282480668052,
32    "stop_step": null,
33    "stop_time": null
34  },
35  "idea": {
36    "max_unsafe_fraction": 0.97845,
37    "mean_unsafe_fraction": 0.09498750000000002,
38    "final_unsafe_fraction": 0.0002,
39    "mean_post_stop_unsafe_fraction": 0.0044648148148148156,
40    "final_loss": 0.08603508230765874,
41    "mean_last_50_loss": 0.20020929190403533,
42    "stop_step": 473,
43    "stop_time": 9.46
44  }
45}