1{
 2  "seed": 7,
 3  "math_verification": {
 4    "inverse_margin_loglog_slope": -1.0000000000000002,
 5    "inverse_margin_scaled_shift_min_max": [
 6      1.0,
 7      1.0000000000000002
 8    ],
 9    "worst_case_ratio_min_max": [
10      1.0,
11      1.0
12    ],
13    "equal_trace_counterexample": {
14      "same_trace": 1.0,
15      "trace": 20.0,
16      "bad_min": 0.2,
17      "good_min": 10.0,
18      "bad_shift": 0.5,
19      "good_shift": 0.01
20    },
21    "softmin_errors": [
22      [
23        0.5,
24        0.0018456053455825905
25      ],
26      [
27        0.2,
28        1.6630567470365953e-07
29      ],
30      [
31        0.1,
32        6.913913885853162e-14
33      ],
34      [
35        0.05,
36        0.0
37      ],
38      [
39        0.02,
40        0.0
41      ],
42      [
43        0.01,
44        0.0
45      ]
46    ]
47  },
48  "allocation_comparison": {
49    "trace_baseline_gains": [
50      0.44721359549995787,
51      7.142857142857143e-09
52    ],
53    "margin_gains": [
54      0.2754795998849274,
55      0.3522938972608529
56    ],
57    "trace_baseline_trace": 4.1,
58    "margin_trace": 4.100000000000001,
59    "trace_baseline_min": 0.05000000000000102,
60    "margin_min": 1.5677801990551938,
61    "trace_baseline_shift": 1.9999999999999591,
62    "margin_shift": 0.03949104258749125
63  }
64}