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

5.8 KB · on GitHub

[
  {
    "path": "compute/certs/bel_q13.json",
    "n": 858,
    "m": 52,
    "claimed_m": 52,
    "ok": true,
    "ratio": 1.775250729197189,
    "counting": 41,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": false,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/bel_q19.json",
    "n": 1938,
    "m": 76,
    "claimed_m": 76,
    "ok": true,
    "ratio": 1.7263812316121676,
    "counting": 62,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": false,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/bel_q31.json",
    "n": 5394,
    "m": 124,
    "claimed_m": 124,
    "ok": true,
    "ratio": 1.6883645082279117,
    "counting": 104,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": false,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/bel_q37.json",
    "n": 7770,
    "m": 148,
    "claimed_m": 148,
    "ok": true,
    "ratio": 1.6790019711267818,
    "counting": 125,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": false,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/bel_q43.json",
    "n": 10578,
    "m": 172,
    "claimed_m": 172,
    "ok": true,
    "ratio": 1.672348040175751,
    "counting": 145,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": false,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/bel_q61.json",
    "n": 21594,
    "m": 244,
    "claimed_m": 244,
    "ok": true,
    "ratio": 1.6604403472852178,
    "counting": 208,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": false,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/bel_q7.json",
    "n": 210,
    "m": 28,
    "claimed_m": 28,
    "ok": true,
    "ratio": 1.9321835661585918,
    "counting": 20,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": false,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/haanpaa_n13.json",
    "n": 13,
    "m": 5,
    "claimed_m": 5,
    "ok": true,
    "ratio": 1.386750490563073,
    "counting": 5,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": true,
    "beat_sqrt2": true
  },
  {
    "path": "compute/certs/haanpaa_n19.json",
    "n": 19,
    "m": 6,
    "claimed_m": 6,
    "ok": true,
    "ratio": 1.3764944032233704,
    "counting": 6,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": true,
    "beat_sqrt2": true
  },
  {
    "path": "compute/certs/haanpaa_n21.json",
    "n": 21,
    "m": 7,
    "claimed_m": 7,
    "ok": true,
    "ratio": 1.5275252316519468,
    "counting": 6,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": true,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/haanpaa_n3.json",
    "n": 3,
    "m": 2,
    "claimed_m": 2,
    "ok": true,
    "ratio": 1.1547005383792517,
    "counting": 2,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": true,
    "beat_sqrt2": true
  },
  {
    "path": "compute/certs/haanpaa_n30.json",
    "n": 30,
    "m": 8,
    "claimed_m": 8,
    "ok": true,
    "ratio": 1.4605934866804429,
    "counting": 8,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": true,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/haanpaa_n35.json",
    "n": 35,
    "m": 9,
    "claimed_m": 9,
    "ok": true,
    "ratio": 1.52127765851133,
    "counting": 8,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": true,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/haanpaa_n43.json",
    "n": 43,
    "m": 10,
    "claimed_m": 10,
    "ok": true,
    "ratio": 1.5249857033260468,
    "counting": 9,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": true,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/haanpaa_n5.json",
    "n": 5,
    "m": 3,
    "claimed_m": 3,
    "ok": true,
    "ratio": 1.3416407864998738,
    "counting": 3,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": true,
    "beat_sqrt2": true
  },
  {
    "path": "compute/certs/haanpaa_n51.json",
    "n": 51,
    "m": 11,
    "claimed_m": 11,
    "ok": true,
    "ratio": 1.5403080924308108,
    "counting": 10,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": true,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/haanpaa_n63.json",
    "n": 63,
    "m": 12,
    "claimed_m": 12,
    "ok": true,
    "ratio": 1.5118578920369088,
    "counting": 11,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": true,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/haanpaa_n67.json",
    "n": 67,
    "m": 13,
    "claimed_m": 13,
    "ok": true,
    "ratio": 1.5882027766319677,
    "counting": 12,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": true,
    "beat_sqrt2": false
  },
  {
    "path": "compute/certs/haanpaa_n9.json",
    "n": 9,
    "m": 4,
    "claimed_m": 4,
    "ok": true,
    "ratio": 1.3333333333333333,
    "counting": 4,
    "sqrt2": 1.4142135623730951,
    "sqrt8_3": 1.632993161855452,
    "sqrt3": 1.7320508075688772,
    "beat_bel": true,
    "beat_sqrt2": true
  }
]