{
  "seed": 7,
  "math_verification": {
    "inverse_margin_loglog_slope": -1.0000000000000002,
    "inverse_margin_scaled_shift_min_max": [
      1.0,
      1.0000000000000002
    ],
    "worst_case_ratio_min_max": [
      1.0,
      1.0
    ],
    "equal_trace_counterexample": {
      "same_trace": 1.0,
      "trace": 20.0,
      "bad_min": 0.2,
      "good_min": 10.0,
      "bad_shift": 0.5,
      "good_shift": 0.01
    },
    "softmin_errors": [
      [
        0.5,
        0.0018456053455825905
      ],
      [
        0.2,
        1.6630567470365953e-07
      ],
      [
        0.1,
        6.913913885853162e-14
      ],
      [
        0.05,
        0.0
      ],
      [
        0.02,
        0.0
      ],
      [
        0.01,
        0.0
      ]
    ]
  },
  "allocation_comparison": {
    "trace_baseline_gains": [
      0.44721359549995787,
      7.142857142857143e-09
    ],
    "margin_gains": [
      0.2754795998849274,
      0.3522938972608529
    ],
    "trace_baseline_trace": 4.1,
    "margin_trace": 4.100000000000001,
    "trace_baseline_min": 0.05000000000000102,
    "margin_min": 1.5677801990551938,
    "trace_baseline_shift": 1.9999999999999591,
    "margin_shift": 0.03949104258749125
  }
}