{
  "device": "cuda",
  "math": {
    "c1": 0.08,
    "c2": 0.025,
    "predicted_contraction_q": 0.6875,
    "max_bound_errors": [
      0.0,
      8.881784197001252e-16,
      4.440892098500626e-16,
      4.440892098500626e-16,
      4.440892098500626e-16,
      4.440892098500626e-16,
      2.220446049250313e-16,
      1.6653345369377348e-16
    ],
    "contraction_bound_verified": true,
    "boundary_sweep": [
      {
        "c2": 0.01,
        "predicted_q": 0.875,
        "stable_bound": true,
        "observed_q": 0.875
      },
      {
        "c2": 0.025,
        "predicted_q": 0.6875,
        "stable_bound": true,
        "observed_q": 0.6875
      },
      {
        "c2": 0.079,
        "predicted_q": 0.012499999999999956,
        "stable_bound": true,
        "observed_q": 0.012499999999999956
      },
      {
        "c2": 0.081,
        "predicted_q": -0.012499999999999956,
        "stable_bound": false,
        "observed_q": -0.012499999999999956
      },
      {
        "c2": 0.1,
        "predicted_q": -0.25,
        "stable_bound": false,
        "observed_q": -0.25
      }
    ]
  },
  "runs": [
    {
      "task": 4.3432009988464415e-06,
      "violation": 0.0,
      "min_margin": -12.645818710327148,
      "pos_min": 2.6290081223123707e-13,
      "certified_fraction": 1.0,
      "certified_radius": 1.0,
      "certified_ratio_max": 0.994195818901062,
      "certified_ratio_median": 0.929362952709198,
      "lambda_delta": 0.0,
      "rollout_V_ratio": 0.48249435855501915
    },
    {
      "task": 9.664151548349764e-06,
      "violation": 0.0,
      "min_margin": -30.4700927734375,
      "pos_min": 7.764899834228345e-13,
      "certified_fraction": 1.0,
      "certified_radius": 1.0,
      "certified_ratio_max": 0.9843826293945312,
      "certified_ratio_median": 0.9346239566802979,
      "lambda_delta": 0.05,
      "rollout_V_ratio": 0.40554310738125776
    },
    {
      "task": 3.8398135075112805e-05,
      "violation": 2.7059951462057544e-17,
      "min_margin": -29.811365127563477,
      "pos_min": 1.232403068485155e-12,
      "certified_fraction": 0.9999019503593445,
      "certified_radius": 0.0,
      "certified_ratio_max": 0.9867720007896423,
      "certified_ratio_median": 0.9447720050811768,
      "lambda_delta": 0.2,
      "rollout_V_ratio": 0.40541129100148127
    },
    {
      "task": 0.000909909256733954,
      "violation": 0.0,
      "min_margin": -30.393552780151367,
      "pos_min": 2.2506996266713486e-12,
      "certified_fraction": 1.0,
      "certified_radius": 1.0,
      "certified_ratio_max": 0.9911074638366699,
      "certified_ratio_median": 0.9539493918418884,
      "lambda_delta": 1.0,
      "rollout_V_ratio": 0.4830209648338999
    },
    {
      "task": 0.0043184468522667885,
      "violation": 9.281459824705962e-06,
      "min_margin": -116.71421813964844,
      "pos_min": 8.602007994795713e-13,
      "certified_fraction": 0.9988236427307129,
      "certified_radius": 0.3499999940395355,
      "certified_ratio_max": 0.9778504967689514,
      "certified_ratio_median": 0.8969610333442688,
      "lambda_delta": 4.0,
      "rollout_V_ratio": 0.0007055586794331868
    }
  ],
  "radius_sweep": [
    {
      "radius": 0.2,
      "violation": 2.3775210422627424e-07,
      "min_margin": -34.92485046386719,
      "certified_fraction": 0.9986281991004944,
      "certified_radius": 0.0
    },
    {
      "radius": 0.4,
      "violation": 9.693743550087675e-07,
      "min_margin": -67.40026092529297,
      "certified_fraction": 0.9987806677818298,
      "certified_radius": 0.1789473593235016
    },
    {
      "radius": 0.6,
      "violation": 2.2356841782311676e-06,
      "min_margin": -74.31552124023438,
      "certified_fraction": 0.9986281991004944,
      "certified_radius": 0.0
    },
    {
      "radius": 0.8,
      "violation": 4.0658565012563486e-06,
      "min_margin": -90.97615814208984,
      "certified_fraction": 0.9987806677818298,
      "certified_radius": 0.3657894730567932
    },
    {
      "radius": 1.0,
      "violation": 6.541377842950169e-06,
      "min_margin": -116.71421813964844,
      "certified_fraction": 0.9987806677818298,
      "certified_radius": 0.0
    }
  ]
}