files / problems / long-gap-dilate / compute / certs / sat_G_verified.json

4.3 KB · on GitHub

[
  {
    "p": 5,
    "n": 2,
    "G_claimed": 3,
    "g_recomputed": 3,
    "d": 1,
    "shakan": 3.0,
    "ratio_mean": 1.2,
    "ratio_sqrt": 1.3416407864998738,
    "extra": 0.0,
    "ok": true
  },
  {
    "p": 7,
    "n": 3,
    "G_claimed": 3,
    "g_recomputed": 3,
    "d": 1,
    "shakan": 2.666666666666667,
    "ratio_mean": 1.2857142857142858,
    "ratio_sqrt": 1.1338934190276817,
    "extra": 0.33333333333333304,
    "ok": true
  },
  {
    "p": 11,
    "n": 3,
    "G_claimed": 7,
    "g_recomputed": 7,
    "d": 1,
    "shakan": 5.333333333333333,
    "ratio_mean": 1.9090909090909092,
    "ratio_sqrt": 2.1105794120443453,
    "extra": 1.666666666666667,
    "ok": true
  },
  {
    "p": 13,
    "n": 4,
    "G_claimed": 6,
    "g_recomputed": 6,
    "d": 2,
    "shakan": 4.5,
    "ratio_mean": 1.8461538461538463,
    "ratio_sqrt": 1.6641005886756874,
    "extra": 1.5,
    "ok": true
  },
  {
    "p": 17,
    "n": 4,
    "G_claimed": 9,
    "g_recomputed": 9,
    "d": 1,
    "shakan": 6.5,
    "ratio_mean": 2.1176470588235294,
    "ratio_sqrt": 2.182820625326997,
    "extra": 2.5,
    "ok": true
  },
  {
    "p": 19,
    "n": 4,
    "G_claimed": 10,
    "g_recomputed": 10,
    "d": 1,
    "shakan": 7.5,
    "ratio_mean": 2.1052631578947367,
    "ratio_sqrt": 2.2941573387056176,
    "extra": 2.5,
    "ok": true
  },
  {
    "p": 23,
    "n": 5,
    "G_claimed": 11,
    "g_recomputed": 11,
    "d": 1,
    "shakan": 7.199999999999999,
    "ratio_mean": 2.391304347826087,
    "ratio_sqrt": 2.2936585546278225,
    "extra": 3.8000000000000007,
    "ok": true
  },
  {
    "p": 29,
    "n": 5,
    "G_claimed": 15,
    "g_recomputed": 15,
    "d": 4,
    "shakan": 9.6,
    "ratio_mean": 2.586206896551724,
    "ratio_sqrt": 2.785430072655778,
    "extra": 5.4,
    "ok": true
  },
  {
    "p": 31,
    "n": 6,
    "G_claimed": 13,
    "g_recomputed": 13,
    "d": 1,
    "shakan": 8.333333333333334,
    "ratio_mean": 2.5161290322580645,
    "ratio_sqrt": 2.334868926348074,
    "extra": 4.666666666666666,
    "ok": true
  },
  {
    "p": 37,
    "n": 6,
    "G_claimed": 17,
    "g_recomputed": 17,
    "d": 1,
    "shakan": 10.333333333333334,
    "ratio_mean": 2.7567567567567566,
    "ratio_sqrt": 2.794782784191074,
    "extra": 6.666666666666666,
    "ok": true
  },
  {
    "p": 41,
    "n": 6,
    "G_claimed": 18,
    "g_recomputed": 18,
    "d": 1,
    "shakan": 11.666666666666666,
    "ratio_mean": 2.6341463414634148,
    "ratio_sqrt": 2.8111277139949093,
    "extra": 6.333333333333334,
    "ok": true
  },
  {
    "p": 43,
    "n": 7,
    "G_claimed": 15,
    "g_recomputed": 15,
    "d": 3,
    "shakan": 10.285714285714286,
    "ratio_mean": 2.441860465116279,
    "ratio_sqrt": 2.28747855498907,
    "extra": 4.7142857142857135,
    "ok": true
  },
  {
    "p": 47,
    "n": 7,
    "G_claimed": 18,
    "g_recomputed": 18,
    "d": 3,
    "shakan": 11.428571428571429,
    "ratio_mean": 2.6808510638297873,
    "ratio_sqrt": 2.6255698469621023,
    "extra": 6.571428571428571,
    "ok": true
  },
  {
    "p": 53,
    "n": 7,
    "G_claimed": 22,
    "g_recomputed": 22,
    "d": 1,
    "shakan": 13.142857142857142,
    "ratio_mean": 2.9056603773584904,
    "ratio_sqrt": 3.0219324068711586,
    "extra": 8.857142857142858,
    "ok": true
  },
  {
    "p": 59,
    "n": 8,
    "G_claimed": 20,
    "g_recomputed": 20,
    "d": 2,
    "shakan": 12.75,
    "ratio_mean": 2.711864406779661,
    "ratio_sqrt": 2.6037782196164776,
    "extra": 7.25,
    "ok": true
  },
  {
    "p": 61,
    "n": 8,
    "G_claimed": 21,
    "g_recomputed": 21,
    "d": 6,
    "shakan": 13.25,
    "ratio_mean": 2.7540983606557377,
    "ratio_sqrt": 2.6887744785908154,
    "extra": 7.75,
    "ok": true
  },
  {
    "p": 67,
    "n": 8,
    "G_claimed": 23,
    "g_recomputed": 23,
    "d": 11,
    "shakan": 14.75,
    "ratio_mean": 2.746268656716418,
    "ratio_sqrt": 2.80989722019502,
    "extra": 8.25,
    "ok": true
  },
  {
    "p": 71,
    "n": 8,
    "G_claimed": 26,
    "g_recomputed": 26,
    "d": 16,
    "shakan": 15.75,
    "ratio_mean": 2.9295774647887325,
    "ratio_sqrt": 3.0856323113040185,
    "extra": 10.25,
    "ok": true
  },
  {
    "p": 73,
    "n": 9,
    "G_claimed": 24,
    "g_recomputed": 24,
    "d": 2,
    "shakan": 14.222222222222221,
    "ratio_mean": 2.958904109589041,
    "ratio_sqrt": 2.8089875327071336,
    "extra": 9.777777777777779,
    "ok": true
  }
]