{
  "seed": 2446,
  "bound_sweep": [
    {
      "k": 0.0,
      "eps": 0.01,
      "predicted_delta": 0.09399999999999999,
      "observed_max": 0.09377241407944241,
      "ratio_observed_to_bound": 0.9975788731855577
    },
    {
      "k": 0.0,
      "eps": 0.08,
      "predicted_delta": 0.16399999999999998,
      "observed_max": 0.16328784810243863,
      "ratio_observed_to_bound": 0.9956576103807234
    },
    {
      "k": 0.0,
      "eps": 0.2,
      "predicted_delta": 0.28400000000000003,
      "observed_max": 0.283197652384377,
      "ratio_observed_to_bound": 0.9971748323393556
    },
    {
      "k": 0.2,
      "eps": 0.01,
      "predicted_delta": 0.1132,
      "observed_max": 0.11310145603818444,
      "ratio_observed_to_bound": 0.9991294703019827
    },
    {
      "k": 0.2,
      "eps": 0.08,
      "predicted_delta": 0.1832,
      "observed_max": 0.18225589847785584,
      "ratio_observed_to_bound": 0.9948466074118768
    },
    {
      "k": 0.2,
      "eps": 0.2,
      "predicted_delta": 0.3032,
      "observed_max": 0.3015575421877501,
      "ratio_observed_to_bound": 0.9945829227828169
    },
    {
      "k": 0.5,
      "eps": 0.01,
      "predicted_delta": 0.14200000000000002,
      "observed_max": 0.1419705479307598,
      "ratio_observed_to_bound": 0.9997925910616886
    },
    {
      "k": 0.5,
      "eps": 0.08,
      "predicted_delta": 0.21200000000000002,
      "observed_max": 0.21099240248818218,
      "ratio_observed_to_bound": 0.995247181548029
    },
    {
      "k": 0.5,
      "eps": 0.2,
      "predicted_delta": 0.332,
      "observed_max": 0.33079045898722004,
      "ratio_observed_to_bound": 0.9963568041783736
    },
    {
      "k": 1.0,
      "eps": 0.01,
      "predicted_delta": 0.19,
      "observed_max": 0.1899085031667766,
      "ratio_observed_to_bound": 0.9995184377198768
    },
    {
      "k": 1.0,
      "eps": 0.08,
      "predicted_delta": 0.26,
      "observed_max": 0.2591355623578626,
      "ratio_observed_to_bound": 0.996675239837933
    },
    {
      "k": 1.0,
      "eps": 0.2,
      "predicted_delta": 0.38,
      "observed_max": 0.37790929177561805,
      "ratio_observed_to_bound": 0.9944981362516264
    },
    {
      "k": 1.5,
      "eps": 0.01,
      "predicted_delta": 0.23800000000000002,
      "observed_max": 0.2372067281682338,
      "ratio_observed_to_bound": 0.9966669250766125
    },
    {
      "k": 1.5,
      "eps": 0.08,
      "predicted_delta": 0.308,
      "observed_max": 0.30690792028853275,
      "ratio_observed_to_bound": 0.9964542866510804
    },
    {
      "k": 1.5,
      "eps": 0.2,
      "predicted_delta": 0.42800000000000005,
      "observed_max": 0.42482445365246735,
      "ratio_observed_to_bound": 0.9925804991880077
    }
  ],
  "boundary_sweep": [
    {
      "k": 0.0,
      "predicted_eps_boundary": 0.916,
      "observed_eps_boundary": 0.92,
      "relative_error": 0.00436681222707424
    },
    {
      "k": 0.25,
      "predicted_eps_boundary": 0.892,
      "observed_eps_boundary": 0.895,
      "relative_error": 0.0033632286995515723
    },
    {
      "k": 0.6,
      "predicted_eps_boundary": 0.8584,
      "observed_eps_boundary": 0.86,
      "relative_error": 0.001863932898415581
    },
    {
      "k": 1.0,
      "predicted_eps_boundary": 0.8200000000000001,
      "observed_eps_boundary": 0.8200000000000001,
      "relative_error": 0.0
    }
  ],
  "gain_scaling": [
    {
      "k": 0.0,
      "margin": 0.866,
      "margin_drop": 0.0,
      "predicted_linear_drop": 0.0
    },
    {
      "k": 0.25,
      "margin": 0.8420000000000001,
      "margin_drop": 0.02399999999999991,
      "predicted_linear_drop": 0.024
    },
    {
      "k": 0.5,
      "margin": 0.8180000000000001,
      "margin_drop": 0.04799999999999993,
      "predicted_linear_drop": 0.048
    },
    {
      "k": 0.75,
      "margin": 0.794,
      "margin_drop": 0.07199999999999995,
      "predicted_linear_drop": 0.07200000000000001
    },
    {
      "k": 1.0,
      "margin": 0.77,
      "margin_drop": 0.09599999999999997,
      "predicted_linear_drop": 0.096
    }
  ],
  "training": {
    "baseline": {
      "lipschitz_upper_bound": 1.536645583956897,
      "certified_margin": 0.7184820239401379,
      "nominal_violation_mean": 0.011351236142218113,
      "empirical_action_sensitivity": 0.5853400230407715
    },
    "certified": {
      "lipschitz_upper_bound": 1.536645583956897,
      "certified_margin": 0.7184820239401379,
      "nominal_violation_mean": 0.011351236142218113,
      "empirical_action_sensitivity": 0.5853400230407715
    }
  }
}