files / problems / thin-cyclic-bases / compute / two_ap_prune.json

5.2 KB · on GitHub

[
  {
    "n": 12,
    "m": 6,
    "covered": 12,
    "missed": 0,
    "ratio": 1.7320508075688774,
    "counting": 5,
    "slack": 1,
    "ok": true,
    "m0": 6,
    "dropped": 0,
    "ratio0": 1.7320508075688774,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 20,
    "m": 8,
    "covered": 20,
    "missed": 0,
    "ratio": 1.7888543819998317,
    "counting": 6,
    "slack": 2,
    "ok": true,
    "m0": 8,
    "dropped": 0,
    "ratio0": 1.7888543819998317,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 30,
    "m": 10,
    "covered": 30,
    "missed": 0,
    "ratio": 1.8257418583505538,
    "counting": 8,
    "slack": 2,
    "ok": true,
    "m0": 10,
    "dropped": 0,
    "ratio0": 1.8257418583505538,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 42,
    "m": 12,
    "covered": 42,
    "missed": 0,
    "ratio": 1.8516401995451028,
    "counting": 9,
    "slack": 3,
    "ok": true,
    "m0": 12,
    "dropped": 0,
    "ratio0": 1.8516401995451028,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 56,
    "m": 14,
    "covered": 56,
    "missed": 0,
    "ratio": 1.8708286933869707,
    "counting": 11,
    "slack": 3,
    "ok": true,
    "m0": 14,
    "dropped": 0,
    "ratio0": 1.8708286933869707,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 72,
    "m": 16,
    "covered": 72,
    "missed": 0,
    "ratio": 1.885618083164127,
    "counting": 12,
    "slack": 4,
    "ok": true,
    "m0": 16,
    "dropped": 0,
    "ratio0": 1.885618083164127,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 90,
    "m": 18,
    "covered": 90,
    "missed": 0,
    "ratio": 1.8973665961010275,
    "counting": 13,
    "slack": 5,
    "ok": true,
    "m0": 18,
    "dropped": 0,
    "ratio0": 1.8973665961010275,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 110,
    "m": 20,
    "covered": 110,
    "missed": 0,
    "ratio": 1.9069251784911847,
    "counting": 15,
    "slack": 5,
    "ok": true,
    "m0": 20,
    "dropped": 0,
    "ratio0": 1.9069251784911847,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 132,
    "m": 22,
    "covered": 132,
    "missed": 0,
    "ratio": 1.9148542155126762,
    "counting": 16,
    "slack": 6,
    "ok": true,
    "m0": 22,
    "dropped": 0,
    "ratio0": 1.9148542155126762,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 156,
    "m": 24,
    "covered": 156,
    "missed": 0,
    "ratio": 1.9215378456610455,
    "counting": 18,
    "slack": 6,
    "ok": true,
    "m0": 24,
    "dropped": 0,
    "ratio0": 1.9215378456610455,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 182,
    "m": 26,
    "covered": 182,
    "missed": 0,
    "ratio": 1.927248223318863,
    "counting": 19,
    "slack": 7,
    "ok": true,
    "m0": 26,
    "dropped": 0,
    "ratio0": 1.927248223318863,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 210,
    "m": 28,
    "covered": 210,
    "missed": 0,
    "ratio": 1.9321835661585918,
    "counting": 20,
    "slack": 8,
    "ok": true,
    "m0": 28,
    "dropped": 0,
    "ratio0": 1.9321835661585918,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 13,
    "m": 6,
    "covered": 13,
    "missed": 0,
    "ratio": 1.6641005886756874,
    "counting": 5,
    "slack": 1,
    "ok": true,
    "m0": 7,
    "dropped": 1,
    "ratio0": 1.9414506867883021,
    "beat_bel": false,
    "beat_sqrt3": true
  },
  {
    "n": 31,
    "m": 10,
    "covered": 31,
    "missed": 0,
    "ratio": 1.7960530202677492,
    "counting": 8,
    "slack": 2,
    "ok": true,
    "m0": 11,
    "dropped": 1,
    "ratio0": 1.975658322294524,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 57,
    "m": 14,
    "covered": 57,
    "missed": 0,
    "ratio": 1.8543452998910612,
    "counting": 11,
    "slack": 3,
    "ok": true,
    "m0": 15,
    "dropped": 1,
    "ratio0": 1.9867985355975657,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 25,
    "m": 9,
    "covered": 25,
    "missed": 0,
    "ratio": 1.8,
    "counting": 7,
    "slack": 2,
    "ok": true,
    "m0": 9,
    "dropped": 0,
    "ratio0": 1.8,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 49,
    "m": 13,
    "covered": 49,
    "missed": 0,
    "ratio": 1.8571428571428572,
    "counting": 10,
    "slack": 3,
    "ok": true,
    "m0": 13,
    "dropped": 0,
    "ratio0": 1.8571428571428572,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 64,
    "m": 15,
    "covered": 64,
    "missed": 0,
    "ratio": 1.875,
    "counting": 11,
    "slack": 4,
    "ok": true,
    "m0": 15,
    "dropped": 0,
    "ratio0": 1.875,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 81,
    "m": 17,
    "covered": 81,
    "missed": 0,
    "ratio": 1.8888888888888888,
    "counting": 13,
    "slack": 4,
    "ok": true,
    "m0": 17,
    "dropped": 0,
    "ratio0": 1.8888888888888888,
    "beat_bel": false,
    "beat_sqrt3": false
  },
  {
    "n": 121,
    "m": 21,
    "covered": 121,
    "missed": 0,
    "ratio": 1.9090909090909092,
    "counting": 16,
    "slack": 5,
    "ok": true,
    "m0": 21,
    "dropped": 0,
    "ratio0": 1.9090909090909092,
    "beat_bel": false,
    "beat_sqrt3": false
  }
]