files / problems / long-gap-dilate / compute / q1 / certs / constructions_best.json

13 KB · on GitHub

{
  "11": {
    "tag": "squares",
    "p": 11,
    "n": 3,
    "g": 7,
    "d": 3,
    "shakan": 5.333333333333333,
    "ratio_mean": 1.9090909090909092,
    "ratio_sqrt": 2.1105794120443453,
    "A": [
      0,
      1,
      4
    ]
  },
  "13": {
    "tag": "anneal",
    "p": 13,
    "n": 4,
    "g": 6,
    "d": 1,
    "shakan": 4.5,
    "ratio_mean": 1.8461538461538463,
    "ratio_sqrt": 1.6641005886756874,
    "A": [
      3,
      5,
      8,
      9
    ],
    "anneal_g": 6
  },
  "17": {
    "tag": "anneal",
    "p": 17,
    "n": 4,
    "g": 9,
    "d": 1,
    "shakan": 6.5,
    "ratio_mean": 2.1176470588235294,
    "ratio_sqrt": 2.182820625326997,
    "A": [
      3,
      5,
      6,
      16
    ],
    "anneal_g": 9
  },
  "19": {
    "tag": "sub",
    "p": 19,
    "n": 4,
    "g": 10,
    "d": 2,
    "shakan": 7.5,
    "ratio_mean": 2.1052631578947367,
    "ratio_sqrt": 2.2941573387056176,
    "A": [
      0,
      1,
      7,
      11
    ]
  },
  "23": {
    "tag": "anneal",
    "p": 23,
    "n": 5,
    "g": 11,
    "d": 3,
    "shakan": 7.199999999999999,
    "ratio_mean": 2.391304347826087,
    "ratio_sqrt": 2.2936585546278225,
    "A": [
      6,
      10,
      12,
      18,
      19
    ],
    "anneal_g": 11
  },
  "29": {
    "tag": "anneal",
    "p": 29,
    "n": 5,
    "g": 16,
    "d": 14,
    "shakan": 9.6,
    "ratio_mean": 2.7586206896551726,
    "ratio_sqrt": 2.9711254108328298,
    "A": [
      5,
      13,
      15,
      20,
      24
    ],
    "anneal_g": 16
  },
  "31": {
    "tag": "anneal",
    "p": 31,
    "n": 6,
    "g": 14,
    "d": 3,
    "shakan": 8.333333333333334,
    "ratio_mean": 2.7096774193548385,
    "ratio_sqrt": 2.5144742283748487,
    "A": [
      9,
      20,
      25,
      26,
      28,
      30
    ],
    "anneal_g": 14
  },
  "37": {
    "tag": "quad3",
    "p": 37,
    "n": 6,
    "g": 17,
    "d": 5,
    "shakan": 10.333333333333334,
    "ratio_mean": 2.7567567567567566,
    "ratio_sqrt": 2.794782784191074,
    "A": [
      0,
      1,
      5,
      12,
      22,
      35
    ]
  },
  "41": {
    "tag": "sub",
    "p": 41,
    "n": 6,
    "g": 18,
    "d": 1,
    "shakan": 11.666666666666666,
    "ratio_mean": 2.6341463414634148,
    "ratio_sqrt": 2.8111277139949093,
    "A": [
      0,
      1,
      10,
      16,
      18,
      37
    ]
  },
  "43": {
    "tag": "sub",
    "p": 43,
    "n": 7,
    "g": 15,
    "d": 7,
    "shakan": 10.285714285714286,
    "ratio_mean": 2.441860465116279,
    "ratio_sqrt": 2.28747855498907,
    "A": [
      1,
      4,
      11,
      16,
      21,
      35,
      41
    ]
  },
  "47": {
    "tag": "geom",
    "p": 47,
    "n": 7,
    "g": 21,
    "d": 8,
    "shakan": 11.428571428571429,
    "ratio_mean": 3.127659574468085,
    "ratio_sqrt": 3.0631648214557856,
    "A": [
      0,
      1,
      5,
      14,
      23,
      25,
      31
    ]
  },
  "53": {
    "tag": "anneal",
    "p": 53,
    "n": 7,
    "g": 24,
    "d": 4,
    "shakan": 13.142857142857142,
    "ratio_mean": 3.169811320754717,
    "ratio_sqrt": 3.2966535347685366,
    "A": [
      0,
      8,
      11,
      13,
      37,
      46,
      47
    ],
    "anneal_g": 24
  },
  "59": {
    "tag": "anneal",
    "p": 59,
    "n": 8,
    "g": 24,
    "d": 16,
    "shakan": 12.75,
    "ratio_mean": 3.2542372881355934,
    "ratio_sqrt": 3.124533863539773,
    "A": [
      5,
      12,
      16,
      24,
      34,
      38,
      44,
      53
    ],
    "anneal_g": 24
  },
  "61": {
    "tag": "anneal",
    "p": 61,
    "n": 8,
    "g": 26,
    "d": 15,
    "shakan": 13.25,
    "ratio_mean": 3.4098360655737703,
    "ratio_sqrt": 3.3289588782552957,
    "A": [
      0,
      1,
      6,
      20,
      41,
      53,
      54,
      58
    ],
    "anneal_g": 26
  },
  "67": {
    "tag": "anneal",
    "p": 67,
    "n": 8,
    "g": 28,
    "d": 12,
    "shakan": 14.75,
    "ratio_mean": 3.343283582089552,
    "ratio_sqrt": 3.420744441976546,
    "A": [
      0,
      8,
      10,
      37,
      44,
      50,
      53,
      65
    ],
    "anneal_g": 28
  },
  "71": {
    "tag": "sub",
    "p": 71,
    "n": 8,
    "g": 28,
    "d": 4,
    "shakan": 15.75,
    "ratio_mean": 3.1549295774647885,
    "ratio_sqrt": 3.3229886429427893,
    "A": [
      0,
      1,
      20,
      30,
      32,
      37,
      45,
      48
    ]
  },
  "73": {
    "tag": "sub",
    "p": 73,
    "n": 9,
    "g": 27,
    "d": 3,
    "shakan": 14.222222222222221,
    "ratio_mean": 3.328767123287671,
    "ratio_sqrt": 3.1601109742955256,
    "A": [
      1,
      2,
      4,
      8,
      16,
      32,
      37,
      55,
      64
    ]
  },
  "79": {
    "tag": "geom",
    "p": 79,
    "n": 9,
    "g": 30,
    "d": 13,
    "shakan": 15.555555555555557,
    "ratio_mean": 3.4177215189873418,
    "ratio_sqrt": 3.3752637027780716,
    "A": [
      0,
      1,
      2,
      3,
      6,
      9,
      18,
      27,
      54
    ]
  },
  "83": {
    "tag": "anneal",
    "p": 83,
    "n": 9,
    "g": 32,
    "d": 23,
    "shakan": 16.444444444444443,
    "ratio_mean": 3.4698795180722892,
    "ratio_sqrt": 3.512456319670091,
    "A": [
      7,
      10,
      13,
      17,
      24,
      38,
      50,
      59,
      77
    ],
    "anneal_g": 32
  },
  "89": {
    "tag": "sub",
    "p": 89,
    "n": 9,
    "g": 40,
    "d": 2,
    "shakan": 17.77777777777778,
    "ratio_mean": 4.044943820224719,
    "ratio_sqrt": 4.23999152002544,
    "A": [
      0,
      1,
      12,
      34,
      37,
      52,
      55,
      77,
      88
    ]
  },
  "97": {
    "tag": "anneal",
    "p": 97,
    "n": 10,
    "g": 40,
    "d": 27,
    "shakan": 17.4,
    "ratio_mean": 4.123711340206185,
    "ratio_sqrt": 4.061384660534476,
    "A": [
      5,
      14,
      34,
      40,
      44,
      51,
      52,
      54,
      86,
      87
    ],
    "anneal_g": 40
  },
  "101": {
    "tag": "anneal",
    "p": 101,
    "n": 10,
    "g": 40,
    "d": 7,
    "shakan": 18.2,
    "ratio_mean": 3.9603960396039604,
    "ratio_sqrt": 3.9801487608399566,
    "A": [
      3,
      10,
      25,
      26,
      50,
      63,
      77,
      81,
      83,
      95
    ],
    "anneal_g": 40
  },
  "103": {
    "tag": "anneal",
    "p": 103,
    "n": 10,
    "g": 41,
    "d": 20,
    "shakan": 18.6,
    "ratio_mean": 3.9805825242718447,
    "ratio_sqrt": 4.039850040473602,
    "A": [
      5,
      10,
      11,
      14,
      17,
      42,
      51,
      66,
      84,
      97
    ],
    "anneal_g": 41
  },
  "107": {
    "tag": "anneal",
    "p": 107,
    "n": 10,
    "g": 43,
    "d": 37,
    "shakan": 19.4,
    "ratio_mean": 4.018691588785047,
    "ratio_sqrt": 4.156966902896353,
    "A": [
      4,
      14,
      21,
      27,
      33,
      45,
      47,
      62,
      77,
      82
    ],
    "anneal_g": 43
  },
  "109": {
    "tag": "sub",
    "p": 109,
    "n": 10,
    "g": 36,
    "d": 6,
    "shakan": 19.8,
    "ratio_mean": 3.302752293577982,
    "ratio_sqrt": 3.448174626796145,
    "A": [
      0,
      1,
      16,
      27,
      38,
      45,
      63,
      66,
      75,
      105
    ]
  },
  "113": {
    "tag": "geom",
    "p": 113,
    "n": 11,
    "g": 43,
    "d": 28,
    "shakan": 18.545454545454547,
    "ratio_mean": 4.185840707964601,
    "ratio_sqrt": 4.045099734049468,
    "A": [
      0,
      1,
      3,
      7,
      9,
      17,
      21,
      27,
      40,
      51,
      81
    ]
  },
  "127": {
    "tag": "sub",
    "p": 127,
    "n": 11,
    "g": 38,
    "d": 4,
    "shakan": 21.09090909090909,
    "ratio_mean": 3.2913385826771653,
    "ratio_sqrt": 3.3719547357812325,
    "A": [
      0,
      1,
      2,
      19,
      22,
      37,
      52,
      68,
      99,
      103,
      107
    ]
  },
  "131": {
    "tag": "anneal",
    "p": 131,
    "n": 11,
    "g": 58,
    "d": 18,
    "shakan": 21.818181818181817,
    "ratio_mean": 4.870229007633588,
    "ratio_sqrt": 5.067483528634019,
    "A": [
      5,
      19,
      29,
      62,
      66,
      70,
      72,
      79,
      108,
      121,
      129
    ],
    "anneal_g": 58
  },
  "137": {
    "tag": "anneal",
    "p": 137,
    "n": 12,
    "g": 53,
    "d": 60,
    "shakan": 20.833333333333332,
    "ratio_mean": 4.642335766423358,
    "ratio_sqrt": 4.528095585898833,
    "A": [
      0,
      12,
      29,
      41,
      54,
      68,
      87,
      96,
      105,
      107,
      112,
      119
    ],
    "anneal_g": 53
  },
  "139": {
    "tag": "anneal",
    "p": 139,
    "n": 12,
    "g": 54,
    "d": 47,
    "shakan": 21.166666666666668,
    "ratio_mean": 4.661870503597123,
    "ratio_sqrt": 4.580220220271843,
    "A": [
      16,
      22,
      30,
      33,
      34,
      47,
      54,
      56,
      78,
      121,
      125,
      137
    ],
    "anneal_g": 54
  },
  "149": {
    "tag": "anneal",
    "p": 149,
    "n": 12,
    "g": 59,
    "d": 23,
    "shakan": 22.833333333333332,
    "ratio_mean": 4.751677852348993,
    "ratio_sqrt": 4.833468331062339,
    "A": [
      20,
      41,
      53,
      55,
      60,
      66,
      84,
      87,
      90,
      99,
      112,
      143
    ],
    "anneal_g": 59
  },
  "151": {
    "tag": "anneal",
    "p": 151,
    "n": 12,
    "g": 55,
    "d": 27,
    "shakan": 23.166666666666668,
    "ratio_mean": 4.370860927152318,
    "ratio_sqrt": 4.475836523241377,
    "A": [
      5,
      11,
      42,
      49,
      73,
      95,
      99,
      100,
      116,
      135,
      138,
      150
    ],
    "anneal_g": 55
  },
  "157": {
    "tag": "sub",
    "p": 157,
    "n": 13,
    "g": 56,
    "d": 5,
    "shakan": 22.153846153846153,
    "ratio_mean": 4.6369426751592355,
    "ratio_sqrt": 4.4692865530186845,
    "A": [
      1,
      14,
      16,
      39,
      46,
      67,
      75,
      93,
      99,
      101,
      108,
      130,
      153
    ]
  },
  "163": {
    "tag": "anneal",
    "p": 163,
    "n": 13,
    "g": 62,
    "d": 6,
    "shakan": 23.076923076923077,
    "ratio_mean": 4.9447852760736195,
    "ratio_sqrt": 4.856214789925335,
    "A": [
      4,
      21,
      23,
      32,
      45,
      57,
      58,
      59,
      106,
      109,
      113,
      124,
      156
    ],
    "anneal_g": 62
  },
  "167": {
    "tag": "quad3",
    "p": 167,
    "n": 13,
    "g": 66,
    "d": 23,
    "shakan": 23.692307692307693,
    "ratio_mean": 5.137724550898204,
    "ratio_sqrt": 5.107233334725303,
    "A": [
      0,
      1,
      5,
      9,
      12,
      22,
      35,
      43,
      51,
      70,
      92,
      117,
      145
    ]
  },
  "173": {
    "tag": "anneal",
    "p": 173,
    "n": 13,
    "g": 59,
    "d": 85,
    "shakan": 24.615384615384617,
    "ratio_mean": 4.433526011560693,
    "ratio_sqrt": 4.4856869354912625,
    "A": [
      5,
      19,
      23,
      32,
      37,
      76,
      77,
      78,
      80,
      99,
      101,
      107,
      133
    ],
    "anneal_g": 59
  },
  "179": {
    "tag": "anneal",
    "p": 179,
    "n": 13,
    "g": 73,
    "d": 34,
    "shakan": 25.53846153846154,
    "ratio_mean": 5.301675977653631,
    "ratio_sqrt": 5.456276177089132,
    "A": [
      1,
      9,
      11,
      30,
      41,
      91,
      100,
      101,
      106,
      125,
      132,
      136,
      168
    ],
    "anneal_g": 73
  },
  "181": {
    "tag": "anneal",
    "p": 181,
    "n": 13,
    "g": 70,
    "d": 1,
    "shakan": 25.846153846153847,
    "ratio_mean": 5.027624309392265,
    "ratio_sqrt": 5.203059023730164,
    "A": [
      9,
      27,
      32,
      50,
      61,
      63,
      72,
      79,
      91,
      93,
      97,
      99,
      119
    ],
    "anneal_g": 70
  },
  "191": {
    "tag": "geom",
    "p": 191,
    "n": 14,
    "g": 61,
    "d": 8,
    "shakan": 25.285714285714285,
    "ratio_mean": 4.471204188481676,
    "ratio_sqrt": 4.413805092283772,
    "A": [
      0,
      1,
      19,
      33,
      43,
      52,
      53,
      54,
      59,
      98,
      143,
      166,
      170,
      174
    ]
  },
  "193": {
    "tag": "anneal",
    "p": 193,
    "n": 14,
    "g": 68,
    "d": 93,
    "shakan": 25.571428571428573,
    "ratio_mean": 4.932642487046632,
    "ratio_sqrt": 4.894747105091123,
    "A": [
      23,
      27,
      32,
      44,
      56,
      65,
      79,
      87,
      93,
      94,
      95,
      148,
      158,
      172
    ],
    "anneal_g": 68
  },
  "197": {
    "tag": "anneal",
    "p": 197,
    "n": 14,
    "g": 75,
    "d": 70,
    "shakan": 26.142857142857142,
    "ratio_mean": 5.32994923857868,
    "ratio_sqrt": 5.343528749093223,
    "A": [
      16,
      28,
      30,
      38,
      78,
      87,
      96,
      109,
      137,
      168,
      172,
      174,
      179,
      193
    ],
    "anneal_g": 75
  },
  "199": {
    "tag": "sub",
    "p": 199,
    "n": 14,
    "g": 61,
    "d": 5,
    "shakan": 26.428571428571427,
    "ratio_mean": 4.291457286432161,
    "ratio_sqrt": 4.324175350550849,
    "A": [
      0,
      1,
      2,
      3,
      18,
      61,
      62,
      63,
      103,
      114,
      121,
      125,
      139,
      188
    ]
  }
}