1{
  2  "lemma_checks": [
  3    {
  4      "chi2": 0.10627338584890728,
  5      "rhs": 2.247111286560351,
  6      "slack": 2.1408379007114435,
  7      "holds": true
  8    },
  9    {
 10      "chi2": 0.22687466899989178,
 11      "rhs": 13.094553250569403,
 12      "slack": 12.86767858156951,
 13      "holds": true
 14    },
 15    {
 16      "chi2": 0.0945902977862138,
 17      "rhs": 81.40024642226652,
 18      "slack": 81.30565612448031,
 19      "holds": true
 20    }
 21  ],
 22  "analytic_moments": {
 23    "2": {
 24      "exact": 14.551915228366852,
 25      "low_collision_p": 1.6010322185676817
 26    },
 27    "4": {
 28      "exact": 825.0050068497658,
 29      "low_collision_p": 3.8959759925469806
 30    },
 31    "8": {
 32      "exact": 187064.90854746103,
 33      "low_collision_p": 19.342813113834072
 34    }
 35  },
 36  "toy_results": [
 37    {
 38      "mode": "none",
 39      "q": 2,
 40      "device": "cuda",
 41      "final_task": 0.0004928875132463872,
 42      "mean_overlap": 3.97625,
 43      "severe_overlap_ge3": 1.0,
 44      "moment_minus_1": 14.81
 45    },
 46    {
 47      "mode": "linear",
 48      "q": 2,
 49      "device": "cuda",
 50      "final_task": 0.13064005970954895,
 51      "mean_overlap": 1.1825,
 52      "severe_overlap_ge3": 0.05125,
 53      "moment_minus_1": 1.6625
 54    },
 55    {
 56      "mode": "qary",
 57      "q": 2,
 58      "device": "cuda",
 59      "final_task": 0.16629400849342346,
 60      "mean_overlap": 1.12125,
 61      "severe_overlap_ge3": 0.035,
 62      "moment_minus_1": 1.54
 63    },
 64    {
 65      "mode": "none",
 66      "q": 4,
 67      "device": "cuda",
 68      "final_task": 0.0004928875132463872,
 69      "mean_overlap": 3.97625,
 70      "severe_overlap_ge3": 1.0,
 71      "moment_minus_1": 250.44
 72    },
 73    {
 74      "mode": "linear",
 75      "q": 4,
 76      "device": "cuda",
 77      "final_task": 0.13064005970954895,
 78      "mean_overlap": 1.1825,
 79      "severe_overlap_ge3": 0.05125,
 80      "moment_minus_1": 8.9475
 81    },
 82    {
 83      "mode": "qary",
 84      "q": 4,
 85      "device": "cuda",
 86      "final_task": 0.3612664043903351,
 87      "mean_overlap": 1.11375,
 88      "severe_overlap_ge3": 0.0275,
 89      "moment_minus_1": 7.3125
 90    },
 91    {
 92      "mode": "none",
 93      "q": 8,
 94      "device": "cuda",
 95      "final_task": 0.0004928875132463872,
 96      "mean_overlap": 3.97625,
 97      "severe_overlap_ge3": 1.0,
 98      "moment_minus_1": 4009.88
 99    },
100    {
101      "mode": "linear",
102      "q": 8,
103      "device": "cuda",
104      "final_task": 0.13064005970954895,
105      "mean_overlap": 1.1825,
106      "severe_overlap_ge3": 0.05125,
107      "moment_minus_1": 50.9075
108    },
109    {
110      "mode": "qary",
111      "q": 8,
112      "device": "cuda",
113      "final_task": 0.4370282292366028,
114      "mean_overlap": 1.19125,
115      "severe_overlap_ge3": 0.04375,
116      "moment_minus_1": 43.925
117    }
118  ]
119}