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

2.3 KB · on GitHub

[
  {
    "p": 5,
    "n": 2,
    "G": 3,
    "witness": [
      0,
      1
    ],
    "shakan": 3.0,
    "extra": 0.0,
    "ratio": 1.2,
    "sec": 0.0
  },
  {
    "p": 7,
    "n": 3,
    "G": 3,
    "witness": [
      0,
      1,
      3
    ],
    "shakan": 2.666666666666667,
    "extra": 0.33333333333333304,
    "ratio": 1.2857142857142858,
    "sec": 0.0001
  },
  {
    "p": 11,
    "n": 3,
    "G": 7,
    "witness": [
      0,
      1,
      3
    ],
    "shakan": 5.333333333333333,
    "extra": 1.666666666666667,
    "ratio": 1.9090909090909092,
    "sec": 0.0001
  },
  {
    "p": 13,
    "n": 4,
    "G": 6,
    "witness": [
      0,
      1,
      3,
      9
    ],
    "shakan": 4.5,
    "extra": 1.5,
    "ratio": 1.8461538461538463,
    "sec": 0.0007
  },
  {
    "p": 17,
    "n": 4,
    "G": 9,
    "witness": [
      0,
      1,
      3,
      7
    ],
    "shakan": 6.5,
    "extra": 2.5,
    "ratio": 2.1176470588235294,
    "sec": 0.0018
  },
  {
    "p": 19,
    "n": 4,
    "G": 10,
    "witness": [
      0,
      1,
      3,
      8
    ],
    "shakan": 7.5,
    "extra": 2.5,
    "ratio": 2.1052631578947367,
    "sec": 0.004
  },
  {
    "p": 23,
    "n": 5,
    "G": 11,
    "witness": [
      0,
      1,
      2,
      5,
      17
    ],
    "shakan": 7.199999999999999,
    "extra": 3.8000000000000007,
    "ratio": 2.391304347826087,
    "sec": 0.0393
  },
  {
    "p": 29,
    "n": 5,
    "G": 15,
    "witness": [
      0,
      1,
      2,
      5,
      13
    ],
    "shakan": 9.6,
    "extra": 5.4,
    "ratio": 2.586206896551724,
    "sec": 0.1087
  },
  {
    "p": 31,
    "n": 6,
    "G": 13,
    "witness": [
      0,
      1,
      2,
      6,
      11,
      25
    ],
    "shakan": 8.333333333333334,
    "extra": 4.666666666666666,
    "ratio": 2.5161290322580645,
    "sec": 1.0311
  },
  {
    "p": 37,
    "n": 6,
    "G": 17,
    "witness": [
      0,
      1,
      2,
      4,
      10,
      24
    ],
    "shakan": 10.333333333333334,
    "extra": 6.666666666666666,
    "ratio": 2.7567567567567566,
    "sec": 2.765
  },
  {
    "p": 41,
    "n": 6,
    "G": 18,
    "witness": [
      0,
      1,
      2,
      5,
      16,
      35
    ],
    "shakan": 11.666666666666666,
    "extra": 6.333333333333334,
    "ratio": 2.6341463414634148,
    "sec": 4.7538
  }
]