1{
  2  "device": "cuda",
  3  "math": {
  4    "c1": 0.08,
  5    "c2": 0.025,
  6    "predicted_contraction_q": 0.6875,
  7    "max_bound_errors": [
  8      0.0,
  9      8.881784197001252e-16,
 10      4.440892098500626e-16,
 11      4.440892098500626e-16,
 12      4.440892098500626e-16,
 13      4.440892098500626e-16,
 14      2.220446049250313e-16,
 15      1.6653345369377348e-16
 16    ],
 17    "contraction_bound_verified": true,
 18    "boundary_sweep": [
 19      {
 20        "c2": 0.01,
 21        "predicted_q": 0.875,
 22        "stable_bound": true,
 23        "observed_q": 0.875
 24      },
 25      {
 26        "c2": 0.025,
 27        "predicted_q": 0.6875,
 28        "stable_bound": true,
 29        "observed_q": 0.6875
 30      },
 31      {
 32        "c2": 0.079,
 33        "predicted_q": 0.012499999999999956,
 34        "stable_bound": true,
 35        "observed_q": 0.012499999999999956
 36      },
 37      {
 38        "c2": 0.081,
 39        "predicted_q": -0.012499999999999956,
 40        "stable_bound": false,
 41        "observed_q": -0.012499999999999956
 42      },
 43      {
 44        "c2": 0.1,
 45        "predicted_q": -0.25,
 46        "stable_bound": false,
 47        "observed_q": -0.25
 48      }
 49    ]
 50  },
 51  "runs": [
 52    {
 53      "task": 4.3432009988464415e-06,
 54      "violation": 0.0,
 55      "min_margin": -12.645818710327148,
 56      "pos_min": 2.6290081223123707e-13,
 57      "certified_fraction": 1.0,
 58      "certified_radius": 1.0,
 59      "certified_ratio_max": 0.994195818901062,
 60      "certified_ratio_median": 0.929362952709198,
 61      "lambda_delta": 0.0,
 62      "rollout_V_ratio": 0.48249435855501915
 63    },
 64    {
 65      "task": 9.664151548349764e-06,
 66      "violation": 0.0,
 67      "min_margin": -30.4700927734375,
 68      "pos_min": 7.764899834228345e-13,
 69      "certified_fraction": 1.0,
 70      "certified_radius": 1.0,
 71      "certified_ratio_max": 0.9843826293945312,
 72      "certified_ratio_median": 0.9346239566802979,
 73      "lambda_delta": 0.05,
 74      "rollout_V_ratio": 0.40554310738125776
 75    },
 76    {
 77      "task": 3.8398135075112805e-05,
 78      "violation": 2.7059951462057544e-17,
 79      "min_margin": -29.811365127563477,
 80      "pos_min": 1.232403068485155e-12,
 81      "certified_fraction": 0.9999019503593445,
 82      "certified_radius": 0.0,
 83      "certified_ratio_max": 0.9867720007896423,
 84      "certified_ratio_median": 0.9447720050811768,
 85      "lambda_delta": 0.2,
 86      "rollout_V_ratio": 0.40541129100148127
 87    },
 88    {
 89      "task": 0.000909909256733954,
 90      "violation": 0.0,
 91      "min_margin": -30.393552780151367,
 92      "pos_min": 2.2506996266713486e-12,
 93      "certified_fraction": 1.0,
 94      "certified_radius": 1.0,
 95      "certified_ratio_max": 0.9911074638366699,
 96      "certified_ratio_median": 0.9539493918418884,
 97      "lambda_delta": 1.0,
 98      "rollout_V_ratio": 0.4830209648338999
 99    },
100    {
101      "task": 0.0043184468522667885,
102      "violation": 9.281459824705962e-06,
103      "min_margin": -116.71421813964844,
104      "pos_min": 8.602007994795713e-13,
105      "certified_fraction": 0.9988236427307129,
106      "certified_radius": 0.3499999940395355,
107      "certified_ratio_max": 0.9778504967689514,
108      "certified_ratio_median": 0.8969610333442688,
109      "lambda_delta": 4.0,
110      "rollout_V_ratio": 0.0007055586794331868
111    }
112  ],
113  "radius_sweep": [
114    {
115      "radius": 0.2,
116      "violation": 2.3775210422627424e-07,
117      "min_margin": -34.92485046386719,
118      "certified_fraction": 0.9986281991004944,
119      "certified_radius": 0.0
120    },
121    {
122      "radius": 0.4,
123      "violation": 9.693743550087675e-07,
124      "min_margin": -67.40026092529297,
125      "certified_fraction": 0.9987806677818298,
126      "certified_radius": 0.1789473593235016
127    },
128    {
129      "radius": 0.6,
130      "violation": 2.2356841782311676e-06,
131      "min_margin": -74.31552124023438,
132      "certified_fraction": 0.9986281991004944,
133      "certified_radius": 0.0
134    },
135    {
136      "radius": 0.8,
137      "violation": 4.0658565012563486e-06,
138      "min_margin": -90.97615814208984,
139      "certified_fraction": 0.9987806677818298,
140      "certified_radius": 0.3657894730567932
141    },
142    {
143      "radius": 1.0,
144      "violation": 6.541377842950169e-06,
145      "min_margin": -116.71421813964844,
146      "certified_fraction": 0.9987806677818298,
147      "certified_radius": 0.0
148    }
149  ]
150}