1{
  2  "device": "cuda",
  3  "verification": {
  4    "fixed_point_pred": 0.35555555555555557,
  5    "fixed_point_obs": 0.3555555555526984,
  6    "convergence_factor_pred": 0.775,
  7    "convergence_factor_obs": 0.775000160417395,
  8    "coverage_sweep": [
  9      {
 10        "sigma": 0.05,
 11        "q90": 0.08221011072573231,
 12        "coverage_at_q90": 0.9,
 13        "rm_epsilon_pred": 0.044257482772920916,
 14        "rm_coverage_pred": 0.6246725292372418,
 15        "rm_coverage_obs": 0.624835
 16      },
 17      {
 18        "sigma": 0.1,
 19        "q90": 0.1641927990183035,
 20        "coverage_at_q90": 0.9,
 21        "rm_epsilon_pred": 0.08851411159589755,
 22        "rm_coverage_pred": 0.6246725292372418,
 23        "rm_coverage_obs": 0.625545
 24      },
 25      {
 26        "sigma": 0.2,
 27        "q90": 0.32953203283739646,
 28        "coverage_at_q90": 0.9,
 29        "rm_epsilon_pred": 0.17751889800655732,
 30        "rm_coverage_pred": 0.6246725292372418,
 31        "rm_coverage_obs": 0.62529
 32      },
 33      {
 34        "sigma": 0.4,
 35        "q90": 0.656749909598371,
 36        "coverage_at_q90": 0.9,
 37        "rm_epsilon_pred": 0.3545037903482638,
 38        "rm_coverage_pred": 0.6246725292372418,
 39        "rm_coverage_obs": 0.624635
 40      }
 41    ]
 42  },
 43  "experiments": {
 44    "0.05": {
 45      "baseline": {
 46        "eps": 0.0,
 47        "violations_after_filter": 0.4970703125,
 48        "nominal_violations": 1.0,
 49        "intervention_norm": 0.7000036835670471,
 50        "tracking_mse": 0.4975588321685791,
 51        "barrier_fraction": 1.0
 52      },
 53      "fixed": {
 54        "eps": 0.22,
 55        "violations_after_filter": 0.0,
 56        "nominal_violations": 0.0,
 57        "intervention_norm": 0.0,
 58        "tracking_mse": 1.0773916244506836,
 59        "barrier_fraction": 0.0
 60      },
 61      "adaptive": {
 62        "eps": 0.04468362221786332,
 63        "violations_after_filter": 0.00029296875,
 64        "nominal_violations": 0.0,
 65        "intervention_norm": 0.0,
 66        "tracking_mse": 0.7592492699623108,
 67        "barrier_fraction": 0.0
 68      }
 69    },
 70    "0.1": {
 71      "baseline": {
 72        "eps": 0.0,
 73        "violations_after_filter": 0.4970703125,
 74        "nominal_violations": 1.0,
 75        "intervention_norm": 0.7000036835670471,
 76        "tracking_mse": 0.4975588321685791,
 77        "barrier_fraction": 1.0
 78      },
 79      "fixed": {
 80        "eps": 0.22,
 81        "violations_after_filter": 0.00029296875,
 82        "nominal_violations": 0.0,
 83        "intervention_norm": 0.0,
 84        "tracking_mse": 1.0773916244506836,
 85        "barrier_fraction": 0.0
 86      },
 87      "adaptive": {
 88        "eps": 0.08936724443572663,
 89        "violations_after_filter": 0.0173828125,
 90        "nominal_violations": 0.0,
 91        "intervention_norm": 0.0,
 92        "tracking_mse": 0.8346676826477051,
 93        "barrier_fraction": 0.0
 94      }
 95    },
 96    "0.2": {
 97      "baseline": {
 98        "eps": 0.0,
 99        "violations_after_filter": 0.4970703125,
100        "nominal_violations": 1.0,
101        "intervention_norm": 0.7000036835670471,
102        "tracking_mse": 0.4975588321685791,
103        "barrier_fraction": 1.0
104      },
105      "fixed": {
106        "eps": 0.22,
107        "violations_after_filter": 0.0453125,
108        "nominal_violations": 0.0,
109        "intervention_norm": 0.0,
110        "tracking_mse": 1.0773916244506836,
111        "barrier_fraction": 0.0
112      },
113      "adaptive": {
114        "eps": 0.17873448887145327,
115        "violations_after_filter": 0.06708984375,
116        "nominal_violations": 0.0,
117        "intervention_norm": 0.0,
118        "tracking_mse": 0.9982839822769165,
119        "barrier_fraction": 0.0
120      }
121    },
122    "0.4": {
123      "baseline": {
124        "eps": 0.0,
125        "violations_after_filter": 0.4970703125,
126        "nominal_violations": 1.0,
127        "intervention_norm": 0.7000036835670471,
128        "tracking_mse": 0.4975588321685791,
129        "barrier_fraction": 1.0
130      },
131      "fixed": {
132        "eps": 0.22,
133        "violations_after_filter": 0.20361328125,
134        "nominal_violations": 0.0,
135        "intervention_norm": 0.0,
136        "tracking_mse": 1.0773916244506836,
137        "barrier_fraction": 0.0
138      },
139      "adaptive": {
140        "eps": 0.35746897774290654,
141        "violations_after_filter": 0.122265625,
142        "nominal_violations": 0.0,
143        "intervention_norm": 0.0,
144        "tracking_mse": 1.370474934577942,
145        "barrier_fraction": 0.0
146      }
147    }
148  }
149}