{
  "config": {
    "n": 20,
    "k": 10,
    "seed": 7
  },
  "exact_objective": 2.1624814191013897,
  "magnitude_objective": 3.151073780682434,
  "magnitude_gap": 0.9885923615810444,
  "eta_sweep": [
    {
      "eta": 0,
      "full_objective_gap": 0.9885923615810444,
      "peak_states": 11,
      "predicted_boundary": 0,
      "theorem_upper_bound": 21
    },
    {
      "eta": 1,
      "full_objective_gap": 0.1280348059031633,
      "peak_states": 21,
      "predicted_boundary": 2,
      "theorem_upper_bound": 84
    },
    {
      "eta": 2,
      "full_objective_gap": 0.10117156139606909,
      "peak_states": 40,
      "predicted_boundary": 4,
      "theorem_upper_bound": 336
    },
    {
      "eta": 3,
      "full_objective_gap": 0.03153611772539744,
      "peak_states": 76,
      "predicted_boundary": 6,
      "theorem_upper_bound": 1344
    },
    {
      "eta": 4,
      "full_objective_gap": 0.0,
      "peak_states": 144,
      "predicted_boundary": 8,
      "theorem_upper_bound": 5376
    },
    {
      "eta": 5,
      "full_objective_gap": 0.0,
      "peak_states": 272,
      "predicted_boundary": 10,
      "theorem_upper_bound": 21504
    },
    {
      "eta": 6,
      "full_objective_gap": 0.0,
      "peak_states": 512,
      "predicted_boundary": 12,
      "theorem_upper_bound": 86016
    },
    {
      "eta": 7,
      "full_objective_gap": 0.03153611772539744,
      "peak_states": 960,
      "predicted_boundary": 14,
      "theorem_upper_bound": 344064
    },
    {
      "eta": 8,
      "full_objective_gap": 0.0,
      "peak_states": 1792,
      "predicted_boundary": 16,
      "theorem_upper_bound": 1376256
    },
    {
      "eta": 9,
      "full_objective_gap": 0.0,
      "peak_states": 3328,
      "predicted_boundary": 18,
      "theorem_upper_bound": 5505024
    },
    {
      "eta": 10,
      "full_objective_gap": 0.0,
      "peak_states": 6144,
      "predicted_boundary": 20,
      "theorem_upper_bound": 22020096
    }
  ],
  "rho_sweep": [
    {
      "rho": 0.0,
      "eta": 3,
      "full_objective_gap": 0.0,
      "peak_states": 76,
      "omitted_tail_scale": 0.0
    },
    {
      "rho": 0.2,
      "eta": 3,
      "full_objective_gap": 0.0,
      "peak_states": 76,
      "omitted_tail_scale": 0.0016000000000000003
    },
    {
      "rho": 0.4,
      "eta": 3,
      "full_objective_gap": 0.0,
      "peak_states": 76,
      "omitted_tail_scale": 0.025600000000000005
    },
    {
      "rho": 0.6,
      "eta": 3,
      "full_objective_gap": 0.004480315410644309,
      "peak_states": 76,
      "omitted_tail_scale": 0.1296
    },
    {
      "rho": 0.8,
      "eta": 3,
      "full_objective_gap": 0.03153611772539744,
      "peak_states": 76,
      "omitted_tail_scale": 0.4096000000000001
    },
    {
      "rho": 0.9,
      "eta": 3,
      "full_objective_gap": 0.036642021732962604,
      "peak_states": 76,
      "omitted_tail_scale": 0.6561
    }
  ],
  "size_sweep": [
    {
      "n": 10,
      "eta": 3,
      "peak_states": 36,
      "states_per_n": 3.6
    },
    {
      "n": 14,
      "eta": 3,
      "peak_states": 52,
      "states_per_n": 3.7142857142857144
    },
    {
      "n": 18,
      "eta": 3,
      "peak_states": 68,
      "states_per_n": 3.7777777777777777
    },
    {
      "n": 22,
      "eta": 3,
      "peak_states": 84,
      "states_per_n": 3.8181818181818183
    },
    {
      "n": 26,
      "eta": 3,
      "peak_states": 100,
      "states_per_n": 3.8461538461538463
    },
    {
      "n": 30,
      "eta": 3,
      "peak_states": 116,
      "states_per_n": 3.8666666666666667
    },
    {
      "n": 40,
      "eta": 3,
      "peak_states": 156,
      "states_per_n": 3.9
    },
    {
      "n": 50,
      "eta": 3,
      "peak_states": 196,
      "states_per_n": 3.92
    }
  ],
  "graph_boundary_sweep": [
    {
      "eta": 1,
      "path_boundary": 2,
      "grid8_boundary": 16,
      "dense_boundary": 20,
      "path_state_bound": 84,
      "grid_state_bound": 1376256
    },
    {
      "eta": 2,
      "path_boundary": 4,
      "grid8_boundary": 32,
      "dense_boundary": 20,
      "path_state_bound": 336,
      "grid_state_bound": 90194313216
    },
    {
      "eta": 3,
      "path_boundary": 6,
      "grid8_boundary": 48,
      "dense_boundary": 20,
      "path_state_bound": 1344,
      "grid_state_bound": 5910974510923776
    },
    {
      "eta": 4,
      "path_boundary": 8,
      "grid8_boundary": 64,
      "dense_boundary": 20,
      "path_state_bound": 5376,
      "grid_state_bound": 387381625547900583936
    }
  ]
}