files / problems / affine-013 / compute / q1 / certs / end_ratio_search.json

16 KB · on GitHub

{
  "periodized": [
    {
      "seed": "n5",
      "mod": 6,
      "k": 1,
      "n": 5,
      "L": 3,
      "R": 3,
      "ratio": 0.75,
      "T": 9,
      "T_over_n2": 0.36
    },
    {
      "seed": "n5",
      "mod": 6,
      "k": 2,
      "n": 9,
      "L": 7,
      "R": 7,
      "ratio": 0.875,
      "T": 27,
      "T_over_n2": 0.3333333333333333
    },
    {
      "seed": "n5",
      "mod": 6,
      "k": 3,
      "n": 13,
      "L": 10,
      "R": 10,
      "ratio": 0.8333333333333334,
      "T": 53,
      "T_over_n2": 0.3136094674556213
    },
    {
      "seed": "n5",
      "mod": 6,
      "k": 4,
      "n": 17,
      "L": 13,
      "R": 13,
      "ratio": 0.8125,
      "T": 89,
      "T_over_n2": 0.3079584775086505
    },
    {
      "seed": "n5",
      "mod": 6,
      "k": 5,
      "n": 21,
      "L": 17,
      "R": 17,
      "ratio": 0.85,
      "T": 135,
      "T_over_n2": 0.30612244897959184
    },
    {
      "seed": "n5",
      "mod": 7,
      "k": 1,
      "n": 5,
      "L": 3,
      "R": 3,
      "ratio": 0.75,
      "T": 9,
      "T_over_n2": 0.36
    },
    {
      "seed": "n5",
      "mod": 7,
      "k": 2,
      "n": 10,
      "L": 5,
      "R": 5,
      "ratio": 0.5555555555555556,
      "T": 26,
      "T_over_n2": 0.26
    },
    {
      "seed": "n5",
      "mod": 7,
      "k": 3,
      "n": 15,
      "L": 6,
      "R": 6,
      "ratio": 0.42857142857142855,
      "T": 51,
      "T_over_n2": 0.22666666666666666
    },
    {
      "seed": "n5",
      "mod": 7,
      "k": 4,
      "n": 20,
      "L": 11,
      "R": 11,
      "ratio": 0.5789473684210527,
      "T": 94,
      "T_over_n2": 0.235
    },
    {
      "seed": "n5",
      "mod": 7,
      "k": 5,
      "n": 25,
      "L": 13,
      "R": 13,
      "ratio": 0.5416666666666666,
      "T": 145,
      "T_over_n2": 0.232
    },
    {
      "seed": "n5",
      "mod": 8,
      "k": 1,
      "n": 5,
      "L": 3,
      "R": 3,
      "ratio": 0.75,
      "T": 9,
      "T_over_n2": 0.36
    },
    {
      "seed": "n5",
      "mod": 8,
      "k": 2,
      "n": 10,
      "L": 5,
      "R": 5,
      "ratio": 0.5555555555555556,
      "T": 30,
      "T_over_n2": 0.3
    },
    {
      "seed": "n5",
      "mod": 8,
      "k": 3,
      "n": 15,
      "L": 7,
      "R": 7,
      "ratio": 0.5,
      "T": 63,
      "T_over_n2": 0.28
    },
    {
      "seed": "n5",
      "mod": 8,
      "k": 4,
      "n": 20,
      "L": 12,
      "R": 12,
      "ratio": 0.631578947368421,
      "T": 114,
      "T_over_n2": 0.285
    },
    {
      "seed": "n5",
      "mod": 8,
      "k": 5,
      "n": 25,
      "L": 14,
      "R": 14,
      "ratio": 0.5833333333333334,
      "T": 177,
      "T_over_n2": 0.2832
    },
    {
      "seed": "n6",
      "mod": 9,
      "k": 1,
      "n": 6,
      "L": 4,
      "R": 4,
      "ratio": 0.8,
      "T": 12,
      "T_over_n2": 0.3333333333333333
    },
    {
      "seed": "n6",
      "mod": 9,
      "k": 2,
      "n": 11,
      "L": 6,
      "R": 6,
      "ratio": 0.6,
      "T": 31,
      "T_over_n2": 0.256198347107438
    },
    {
      "seed": "n6",
      "mod": 9,
      "k": 3,
      "n": 16,
      "L": 10,
      "R": 10,
      "ratio": 0.6666666666666666,
      "T": 62,
      "T_over_n2": 0.2421875
    },
    {
      "seed": "n6",
      "mod": 9,
      "k": 4,
      "n": 21,
      "L": 14,
      "R": 14,
      "ratio": 0.7,
      "T": 107,
      "T_over_n2": 0.24263038548752835
    },
    {
      "seed": "n6",
      "mod": 9,
      "k": 5,
      "n": 26,
      "L": 16,
      "R": 16,
      "ratio": 0.64,
      "T": 160,
      "T_over_n2": 0.23668639053254437
    },
    {
      "seed": "n6",
      "mod": 10,
      "k": 1,
      "n": 6,
      "L": 4,
      "R": 4,
      "ratio": 0.8,
      "T": 12,
      "T_over_n2": 0.3333333333333333
    },
    {
      "seed": "n6",
      "mod": 10,
      "k": 2,
      "n": 12,
      "L": 4,
      "R": 4,
      "ratio": 0.36363636363636365,
      "T": 34,
      "T_over_n2": 0.2361111111111111
    },
    {
      "seed": "n6",
      "mod": 10,
      "k": 3,
      "n": 18,
      "L": 5,
      "R": 5,
      "ratio": 0.29411764705882354,
      "T": 66,
      "T_over_n2": 0.2037037037037037
    },
    {
      "seed": "n6",
      "mod": 10,
      "k": 4,
      "n": 24,
      "L": 11,
      "R": 11,
      "ratio": 0.4782608695652174,
      "T": 122,
      "T_over_n2": 0.21180555555555555
    },
    {
      "seed": "n6",
      "mod": 10,
      "k": 5,
      "n": 30,
      "L": 11,
      "R": 11,
      "ratio": 0.3793103448275862,
      "T": 188,
      "T_over_n2": 0.2088888888888889
    },
    {
      "seed": "n6",
      "mod": 11,
      "k": 1,
      "n": 6,
      "L": 4,
      "R": 4,
      "ratio": 0.8,
      "T": 12,
      "T_over_n2": 0.3333333333333333
    },
    {
      "seed": "n6",
      "mod": 11,
      "k": 2,
      "n": 12,
      "L": 5,
      "R": 5,
      "ratio": 0.45454545454545453,
      "T": 32,
      "T_over_n2": 0.2222222222222222
    },
    {
      "seed": "n6",
      "mod": 11,
      "k": 3,
      "n": 18,
      "L": 5,
      "R": 5,
      "ratio": 0.29411764705882354,
      "T": 60,
      "T_over_n2": 0.18518518518518517
    },
    {
      "seed": "n6",
      "mod": 11,
      "k": 4,
      "n": 24,
      "L": 11,
      "R": 11,
      "ratio": 0.4782608695652174,
      "T": 112,
      "T_over_n2": 0.19444444444444445
    },
    {
      "seed": "n6",
      "mod": 11,
      "k": 5,
      "n": 30,
      "L": 12,
      "R": 12,
      "ratio": 0.41379310344827586,
      "T": 172,
      "T_over_n2": 0.19111111111111112
    },
    {
      "seed": "n7",
      "mod": 12,
      "k": 1,
      "n": 7,
      "L": 5,
      "R": 5,
      "ratio": 0.8333333333333334,
      "T": 17,
      "T_over_n2": 0.3469387755102041
    },
    {
      "seed": "n7",
      "mod": 12,
      "k": 2,
      "n": 13,
      "L": 9,
      "R": 9,
      "ratio": 0.75,
      "T": 51,
      "T_over_n2": 0.30177514792899407
    },
    {
      "seed": "n7",
      "mod": 12,
      "k": 3,
      "n": 19,
      "L": 14,
      "R": 14,
      "ratio": 0.7777777777777778,
      "T": 105,
      "T_over_n2": 0.29085872576177285
    },
    {
      "seed": "n7",
      "mod": 12,
      "k": 4,
      "n": 25,
      "L": 19,
      "R": 19,
      "ratio": 0.7916666666666666,
      "T": 181,
      "T_over_n2": 0.2896
    },
    {
      "seed": "n7",
      "mod": 12,
      "k": 5,
      "n": 31,
      "L": 23,
      "R": 23,
      "ratio": 0.7666666666666667,
      "T": 275,
      "T_over_n2": 0.2861602497398543
    },
    {
      "seed": "n7",
      "mod": 13,
      "k": 1,
      "n": 7,
      "L": 5,
      "R": 5,
      "ratio": 0.8333333333333334,
      "T": 17,
      "T_over_n2": 0.3469387755102041
    },
    {
      "seed": "n7",
      "mod": 13,
      "k": 2,
      "n": 14,
      "L": 5,
      "R": 5,
      "ratio": 0.38461538461538464,
      "T": 42,
      "T_over_n2": 0.21428571428571427
    },
    {
      "seed": "n7",
      "mod": 13,
      "k": 3,
      "n": 21,
      "L": 5,
      "R": 5,
      "ratio": 0.25,
      "T": 75,
      "T_over_n2": 0.17006802721088435
    },
    {
      "seed": "n7",
      "mod": 13,
      "k": 4,
      "n": 28,
      "L": 12,
      "R": 12,
      "ratio": 0.4444444444444444,
      "T": 142,
      "T_over_n2": 0.18112244897959184
    },
    {
      "seed": "n7",
      "mod": 13,
      "k": 5,
      "n": 35,
      "L": 12,
      "R": 12,
      "ratio": 0.35294117647058826,
      "T": 217,
      "T_over_n2": 0.17714285714285713
    },
    {
      "seed": "n7",
      "mod": 14,
      "k": 1,
      "n": 7,
      "L": 5,
      "R": 5,
      "ratio": 0.8333333333333334,
      "T": 17,
      "T_over_n2": 0.3469387755102041
    },
    {
      "seed": "n7",
      "mod": 14,
      "k": 2,
      "n": 14,
      "L": 7,
      "R": 7,
      "ratio": 0.5384615384615384,
      "T": 46,
      "T_over_n2": 0.23469387755102042
    },
    {
      "seed": "n7",
      "mod": 14,
      "k": 3,
      "n": 21,
      "L": 8,
      "R": 8,
      "ratio": 0.4,
      "T": 87,
      "T_over_n2": 0.19727891156462585
    },
    {
      "seed": "n7",
      "mod": 14,
      "k": 4,
      "n": 28,
      "L": 15,
      "R": 15,
      "ratio": 0.5555555555555556,
      "T": 162,
      "T_over_n2": 0.2066326530612245
    },
    {
      "seed": "n7",
      "mod": 14,
      "k": 5,
      "n": 35,
      "L": 17,
      "R": 17,
      "ratio": 0.5,
      "T": 249,
      "T_over_n2": 0.20326530612244897
    },
    {
      "seed": "n9",
      "mod": 12,
      "k": 1,
      "n": 9,
      "L": 7,
      "R": 7,
      "ratio": 0.875,
      "T": 27,
      "T_over_n2": 0.3333333333333333
    },
    {
      "seed": "n9",
      "mod": 12,
      "k": 2,
      "n": 17,
      "L": 13,
      "R": 13,
      "ratio": 0.8125,
      "T": 89,
      "T_over_n2": 0.3079584775086505
    },
    {
      "seed": "n9",
      "mod": 12,
      "k": 3,
      "n": 25,
      "L": 20,
      "R": 20,
      "ratio": 0.8333333333333334,
      "T": 189,
      "T_over_n2": 0.3024
    },
    {
      "seed": "n9",
      "mod": 12,
      "k": 4,
      "n": 33,
      "L": 27,
      "R": 27,
      "ratio": 0.84375,
      "T": 327,
      "T_over_n2": 0.3002754820936639
    },
    {
      "seed": "n9",
      "mod": 12,
      "k": 5,
      "n": 41,
      "L": 33,
      "R": 33,
      "ratio": 0.825,
      "T": 501,
      "T_over_n2": 0.29803688280785245
    },
    {
      "seed": "n9",
      "mod": 13,
      "k": 1,
      "n": 9,
      "L": 7,
      "R": 7,
      "ratio": 0.875,
      "T": 27,
      "T_over_n2": 0.3333333333333333
    },
    {
      "seed": "n9",
      "mod": 13,
      "k": 2,
      "n": 18,
      "L": 8,
      "R": 8,
      "ratio": 0.47058823529411764,
      "T": 80,
      "T_over_n2": 0.24691358024691357
    },
    {
      "seed": "n9",
      "mod": 13,
      "k": 3,
      "n": 27,
      "L": 10,
      "R": 10,
      "ratio": 0.38461538461538464,
      "T": 159,
      "T_over_n2": 0.21810699588477367
    },
    {
      "seed": "n9",
      "mod": 13,
      "k": 4,
      "n": 36,
      "L": 19,
      "R": 19,
      "ratio": 0.5428571428571428,
      "T": 292,
      "T_over_n2": 0.22530864197530864
    },
    {
      "seed": "n9",
      "mod": 13,
      "k": 5,
      "n": 45,
      "L": 20,
      "R": 20,
      "ratio": 0.45454545454545453,
      "T": 451,
      "T_over_n2": 0.22271604938271605
    },
    {
      "seed": "n9",
      "mod": 14,
      "k": 1,
      "n": 9,
      "L": 7,
      "R": 7,
      "ratio": 0.875,
      "T": 27,
      "T_over_n2": 0.3333333333333333
    },
    {
      "seed": "n9",
      "mod": 14,
      "k": 2,
      "n": 18,
      "L": 11,
      "R": 11,
      "ratio": 0.6470588235294118,
      "T": 96,
      "T_over_n2": 0.2962962962962963
    },
    {
      "seed": "n9",
      "mod": 14,
      "k": 3,
      "n": 27,
      "L": 15,
      "R": 15,
      "ratio": 0.5769230769230769,
      "T": 207,
      "T_over_n2": 0.2839506172839506
    },
    {
      "seed": "n9",
      "mod": 14,
      "k": 4,
      "n": 36,
      "L": 24,
      "R": 24,
      "ratio": 0.6857142857142857,
      "T": 372,
      "T_over_n2": 0.28703703703703703
    },
    {
      "seed": "n9",
      "mod": 14,
      "k": 5,
      "n": 45,
      "L": 28,
      "R": 28,
      "ratio": 0.6363636363636364,
      "T": 579,
      "T_over_n2": 0.2859259259259259
    },
    {
      "seed": "n8",
      "mod": 9,
      "k": 1,
      "n": 8,
      "L": 5,
      "R": 5,
      "ratio": 0.7142857142857143,
      "T": 20,
      "T_over_n2": 0.3125
    },
    {
      "seed": "n8",
      "mod": 9,
      "k": 2,
      "n": 15,
      "L": 9,
      "R": 9,
      "ratio": 0.6428571428571429,
      "T": 63,
      "T_over_n2": 0.28
    },
    {
      "seed": "n8",
      "mod": 9,
      "k": 3,
      "n": 22,
      "L": 14,
      "R": 14,
      "ratio": 0.6666666666666666,
      "T": 132,
      "T_over_n2": 0.2727272727272727
    },
    {
      "seed": "n8",
      "mod": 9,
      "k": 4,
      "n": 29,
      "L": 19,
      "R": 19,
      "ratio": 0.6785714285714286,
      "T": 229,
      "T_over_n2": 0.272294887039239
    },
    {
      "seed": "n8",
      "mod": 9,
      "k": 5,
      "n": 36,
      "L": 23,
      "R": 23,
      "ratio": 0.6571428571428571,
      "T": 350,
      "T_over_n2": 0.2700617283950617
    },
    {
      "seed": "n8",
      "mod": 10,
      "k": 1,
      "n": 8,
      "L": 5,
      "R": 5,
      "ratio": 0.7142857142857143,
      "T": 20,
      "T_over_n2": 0.3125
    },
    {
      "seed": "n8",
      "mod": 10,
      "k": 2,
      "n": 16,
      "L": 7,
      "R": 9,
      "ratio": 0.4666666666666667,
      "T": 74,
      "T_over_n2": 0.2890625
    },
    {
      "seed": "n8",
      "mod": 10,
      "k": 3,
      "n": 24,
      "L": 9,
      "R": 13,
      "ratio": 0.391304347826087,
      "T": 162,
      "T_over_n2": 0.28125
    },
    {
      "seed": "n8",
      "mod": 10,
      "k": 4,
      "n": 32,
      "L": 16,
      "R": 20,
      "ratio": 0.5161290322580645,
      "T": 290,
      "T_over_n2": 0.283203125
    },
    {
      "seed": "n8",
      "mod": 10,
      "k": 5,
      "n": 40,
      "L": 18,
      "R": 24,
      "ratio": 0.46153846153846156,
      "T": 452,
      "T_over_n2": 0.2825
    },
    {
      "seed": "n8",
      "mod": 11,
      "k": 1,
      "n": 8,
      "L": 5,
      "R": 5,
      "ratio": 0.7142857142857143,
      "T": 20,
      "T_over_n2": 0.3125
    },
    {
      "seed": "n8",
      "mod": 11,
      "k": 2,
      "n": 16,
      "L": 7,
      "R": 6,
      "ratio": 0.4,
      "T": 65,
      "T_over_n2": 0.25390625
    },
    {
      "seed": "n8",
      "mod": 11,
      "k": 3,
      "n": 24,
      "L": 10,
      "R": 8,
      "ratio": 0.34782608695652173,
      "T": 135,
      "T_over_n2": 0.234375
    },
    {
      "seed": "n8",
      "mod": 11,
      "k": 4,
      "n": 32,
      "L": 17,
      "R": 15,
      "ratio": 0.4838709677419355,
      "T": 245,
      "T_over_n2": 0.2392578125
    },
    {
      "seed": "n8",
      "mod": 11,
      "k": 5,
      "n": 40,
      "L": 19,
      "R": 16,
      "ratio": 0.41025641025641024,
      "T": 380,
      "T_over_n2": 0.2375
    }
  ],
  "hill": [
    {
      "n": 9,
      "ratio": 0.875,
      "L": 7,
      "R": 7,
      "S": [
        7,
        11,
        13,
        15,
        19,
        23,
        25,
        27,
        31
      ],
      "T": 27
    },
    {
      "n": 10,
      "ratio": 0.8888888888888888,
      "L": 8,
      "R": 8,
      "S": [
        0,
        6,
        9,
        12,
        18,
        20,
        24,
        27,
        30,
        36
      ],
      "T": 33
    },
    {
      "n": 11,
      "ratio": 0.8,
      "L": 8,
      "R": 8,
      "S": [
        5,
        13,
        14,
        17,
        23,
        25,
        29,
        32,
        34,
        35,
        41
      ],
      "T": 33
    },
    {
      "n": 12,
      "ratio": 0.8181818181818182,
      "L": 9,
      "R": 9,
      "S": [
        2,
        8,
        10,
        11,
        14,
        15,
        20,
        26,
        29,
        30,
        32,
        38
      ],
      "T": 40
    },
    {
      "n": 13,
      "ratio": 0.75,
      "L": 9,
      "R": 9,
      "S": [
        4,
        10,
        13,
        19,
        22,
        28,
        31,
        32,
        40,
        42,
        46,
        49,
        58
      ],
      "T": 47
    },
    {
      "n": 15,
      "ratio": 0.7142857142857143,
      "L": 10,
      "R": 10,
      "S": [
        10,
        15,
        25,
        26,
        28,
        34,
        37,
        40,
        42,
        46,
        55,
        58,
        61,
        62,
        64
      ],
      "T": 46
    },
    {
      "n": 16,
      "ratio": 0.6666666666666666,
      "L": 10,
      "R": 10,
      "S": [
        5,
        17,
        19,
        23,
        25,
        26,
        27,
        35,
        38,
        41,
        49,
        53,
        59,
        60,
        65,
        71
      ],
      "T": 53
    },
    {
      "n": 18,
      "ratio": 0.7058823529411765,
      "L": 12,
      "R": 12,
      "S": [
        3,
        11,
        15,
        17,
        19,
        21,
        24,
        27,
        38,
        39,
        49,
        51,
        57,
        58,
        59,
        63,
        67,
        75
      ],
      "T": 58
    },
    {
      "n": 21,
      "ratio": 0.7,
      "L": 15,
      "R": 14,
      "S": [
        0,
        5,
        6,
        8,
        12,
        16,
        18,
        21,
        24,
        30,
        32,
        36,
        38,
        45,
        48,
        54,
        56,
        60,
        63,
        69,
        72
      ],
      "T": 100
    }
  ],
  "best_ratio": 0.8888888888888888
}