1{
  2  "config": {
  3    "n": 20,
  4    "k": 10,
  5    "seed": 7
  6  },
  7  "exact_objective": 2.1624814191013897,
  8  "magnitude_objective": 3.151073780682434,
  9  "magnitude_gap": 0.9885923615810444,
 10  "eta_sweep": [
 11    {
 12      "eta": 0,
 13      "full_objective_gap": 0.9885923615810444,
 14      "peak_states": 11,
 15      "predicted_boundary": 0,
 16      "theorem_upper_bound": 21
 17    },
 18    {
 19      "eta": 1,
 20      "full_objective_gap": 0.1280348059031633,
 21      "peak_states": 21,
 22      "predicted_boundary": 2,
 23      "theorem_upper_bound": 84
 24    },
 25    {
 26      "eta": 2,
 27      "full_objective_gap": 0.10117156139606909,
 28      "peak_states": 40,
 29      "predicted_boundary": 4,
 30      "theorem_upper_bound": 336
 31    },
 32    {
 33      "eta": 3,
 34      "full_objective_gap": 0.03153611772539744,
 35      "peak_states": 76,
 36      "predicted_boundary": 6,
 37      "theorem_upper_bound": 1344
 38    },
 39    {
 40      "eta": 4,
 41      "full_objective_gap": 0.0,
 42      "peak_states": 144,
 43      "predicted_boundary": 8,
 44      "theorem_upper_bound": 5376
 45    },
 46    {
 47      "eta": 5,
 48      "full_objective_gap": 0.0,
 49      "peak_states": 272,
 50      "predicted_boundary": 10,
 51      "theorem_upper_bound": 21504
 52    },
 53    {
 54      "eta": 6,
 55      "full_objective_gap": 0.0,
 56      "peak_states": 512,
 57      "predicted_boundary": 12,
 58      "theorem_upper_bound": 86016
 59    },
 60    {
 61      "eta": 7,
 62      "full_objective_gap": 0.03153611772539744,
 63      "peak_states": 960,
 64      "predicted_boundary": 14,
 65      "theorem_upper_bound": 344064
 66    },
 67    {
 68      "eta": 8,
 69      "full_objective_gap": 0.0,
 70      "peak_states": 1792,
 71      "predicted_boundary": 16,
 72      "theorem_upper_bound": 1376256
 73    },
 74    {
 75      "eta": 9,
 76      "full_objective_gap": 0.0,
 77      "peak_states": 3328,
 78      "predicted_boundary": 18,
 79      "theorem_upper_bound": 5505024
 80    },
 81    {
 82      "eta": 10,
 83      "full_objective_gap": 0.0,
 84      "peak_states": 6144,
 85      "predicted_boundary": 20,
 86      "theorem_upper_bound": 22020096
 87    }
 88  ],
 89  "rho_sweep": [
 90    {
 91      "rho": 0.0,
 92      "eta": 3,
 93      "full_objective_gap": 0.0,
 94      "peak_states": 76,
 95      "omitted_tail_scale": 0.0
 96    },
 97    {
 98      "rho": 0.2,
 99      "eta": 3,
100      "full_objective_gap": 0.0,
101      "peak_states": 76,
102      "omitted_tail_scale": 0.0016000000000000003
103    },
104    {
105      "rho": 0.4,
106      "eta": 3,
107      "full_objective_gap": 0.0,
108      "peak_states": 76,
109      "omitted_tail_scale": 0.025600000000000005
110    },
111    {
112      "rho": 0.6,
113      "eta": 3,
114      "full_objective_gap": 0.004480315410644309,
115      "peak_states": 76,
116      "omitted_tail_scale": 0.1296
117    },
118    {
119      "rho": 0.8,
120      "eta": 3,
121      "full_objective_gap": 0.03153611772539744,
122      "peak_states": 76,
123      "omitted_tail_scale": 0.4096000000000001
124    },
125    {
126      "rho": 0.9,
127      "eta": 3,
128      "full_objective_gap": 0.036642021732962604,
129      "peak_states": 76,
130      "omitted_tail_scale": 0.6561
131    }
132  ],
133  "size_sweep": [
134    {
135      "n": 10,
136      "eta": 3,
137      "peak_states": 36,
138      "states_per_n": 3.6
139    },
140    {
141      "n": 14,
142      "eta": 3,
143      "peak_states": 52,
144      "states_per_n": 3.7142857142857144
145    },
146    {
147      "n": 18,
148      "eta": 3,
149      "peak_states": 68,
150      "states_per_n": 3.7777777777777777
151    },
152    {
153      "n": 22,
154      "eta": 3,
155      "peak_states": 84,
156      "states_per_n": 3.8181818181818183
157    },
158    {
159      "n": 26,
160      "eta": 3,
161      "peak_states": 100,
162      "states_per_n": 3.8461538461538463
163    },
164    {
165      "n": 30,
166      "eta": 3,
167      "peak_states": 116,
168      "states_per_n": 3.8666666666666667
169    },
170    {
171      "n": 40,
172      "eta": 3,
173      "peak_states": 156,
174      "states_per_n": 3.9
175    },
176    {
177      "n": 50,
178      "eta": 3,
179      "peak_states": 196,
180      "states_per_n": 3.92
181    }
182  ],
183  "graph_boundary_sweep": [
184    {
185      "eta": 1,
186      "path_boundary": 2,
187      "grid8_boundary": 16,
188      "dense_boundary": 20,
189      "path_state_bound": 84,
190      "grid_state_bound": 1376256
191    },
192    {
193      "eta": 2,
194      "path_boundary": 4,
195      "grid8_boundary": 32,
196      "dense_boundary": 20,
197      "path_state_bound": 336,
198      "grid_state_bound": 90194313216
199    },
200    {
201      "eta": 3,
202      "path_boundary": 6,
203      "grid8_boundary": 48,
204      "dense_boundary": 20,
205      "path_state_bound": 1344,
206      "grid_state_bound": 5910974510923776
207    },
208    {
209      "eta": 4,
210      "path_boundary": 8,
211      "grid8_boundary": 64,
212      "dense_boundary": 20,
213      "path_state_bound": 5376,
214      "grid_state_bound": 387381625547900583936
215    }
216  ]
217}