files / problems / long-gap-dilate / compute / certs / local_upper.jsonl
{"p": 11, "n": 3, "g_upper": 7, "d": 1, "A": [0, 1, 9], "shakan": 5.333333333333333, "ratio_over_mean": 1.9090909090909092, "sec": 0.018, "history_best": 7}
{"p": 13, "n": 4, "g_upper": 6, "d": 1, "A": [4, 6, 9, 10], "shakan": 4.5, "ratio_over_mean": 1.8461538461538463, "sec": 0.024, "history_best": 6}
{"p": 17, "n": 4, "g_upper": 9, "d": 3, "A": [1, 6, 7, 14], "shakan": 6.5, "ratio_over_mean": 2.1176470588235294, "sec": 0.0333, "history_best": 9}
{"p": 19, "n": 4, "g_upper": 10, "d": 1, "A": [2, 4, 5, 16], "shakan": 7.5, "ratio_over_mean": 2.1052631578947367, "sec": 0.0445, "history_best": 10}
{"p": 23, "n": 5, "g_upper": 11, "d": 3, "A": [2, 4, 8, 9, 17], "shakan": 7.199999999999999, "ratio_over_mean": 2.3913043478260874, "sec": 0.0609, "history_best": 11}
{"p": 29, "n": 5, "g_upper": 15, "d": 1, "A": [1, 2, 7, 23, 27], "shakan": 9.6, "ratio_over_mean": 2.586206896551724, "sec": 0.0754, "history_best": 15}
{"p": 31, "n": 6, "g_upper": 14, "d": 3, "A": [7, 14, 15, 18, 23, 24], "shakan": 8.333333333333334, "ratio_over_mean": 2.7096774193548385, "sec": 0.0853, "history_best": 14}
{"p": 37, "n": 6, "g_upper": 17, "d": 9, "A": [0, 5, 9, 20, 34, 36], "shakan": 10.333333333333334, "ratio_over_mean": 2.7567567567567566, "sec": 0.117, "history_best": 17}
{"p": 41, "n": 6, "g_upper": 18, "d": 1, "A": [16, 20, 21, 30, 36, 38], "shakan": 11.666666666666666, "ratio_over_mean": 2.6341463414634148, "sec": 0.129, "history_best": 18}
{"p": 43, "n": 7, "g_upper": 16, "d": 5, "A": [4, 5, 6, 14, 23, 35, 41], "shakan": 10.285714285714286, "ratio_over_mean": 2.6046511627906974, "sec": 0.146, "history_best": 16}
{"p": 47, "n": 7, "g_upper": 18, "d": 5, "A": [0, 6, 14, 16, 23, 32, 43], "shakan": 11.428571428571429, "ratio_over_mean": 2.6808510638297873, "sec": 0.1698, "history_best": 18}
{"p": 53, "n": 7, "g_upper": 22, "d": 9, "A": [16, 19, 34, 40, 46, 47, 51], "shakan": 13.142857142857142, "ratio_over_mean": 2.905660377358491, "sec": 0.2005, "history_best": 22}
{"p": 59, "n": 8, "g_upper": 22, "d": 4, "A": [0, 6, 8, 13, 21, 41, 50, 53], "shakan": 12.75, "ratio_over_mean": 2.983050847457627, "sec": 0.2267, "history_best": 22}
{"p": 61, "n": 8, "g_upper": 23, "d": 2, "A": [13, 16, 19, 23, 27, 31, 43, 52], "shakan": 13.25, "ratio_over_mean": 3.0163934426229506, "sec": 0.2552, "history_best": 23}
{"p": 67, "n": 8, "g_upper": 25, "d": 3, "A": [2, 7, 19, 24, 31, 46, 49, 55], "shakan": 14.75, "ratio_over_mean": 2.985074626865672, "sec": 0.3586, "history_best": 25}
{"p": 71, "n": 8, "g_upper": 27, "d": 10, "A": [0, 1, 5, 18, 41, 56, 64, 70], "shakan": 15.75, "ratio_over_mean": 3.0422535211267605, "sec": 0.2944, "history_best": 27}
{"p": 73, "n": 9, "g_upper": 26, "d": 2, "A": [4, 24, 28, 32, 39, 54, 59, 60, 68], "shakan": 14.222222222222221, "ratio_over_mean": 3.205479452054795, "sec": 0.3168, "history_best": 26}
{"p": 79, "n": 9, "g_upper": 29, "d": 4, "A": [19, 28, 37, 42, 43, 44, 60, 63, 75], "shakan": 15.555555555555557, "ratio_over_mean": 3.3037974683544302, "sec": 0.348, "history_best": 29}
{"p": 83, "n": 9, "g_upper": 31, "d": 23, "A": [11, 15, 20, 25, 37, 45, 63, 70, 76], "shakan": 16.444444444444443, "ratio_over_mean": 3.3614457831325306, "sec": 0.361, "history_best": 31}
{"p": 89, "n": 9, "g_upper": 32, "d": 31, "A": [6, 15, 26, 34, 54, 57, 60, 62, 86], "shakan": 17.77777777777778, "ratio_over_mean": 3.235955056179775, "sec": 0.3966, "history_best": 32}
{"p": 97, "n": 10, "g_upper": 34, "d": 43, "A": [1, 24, 42, 53, 58, 60, 68, 75, 92, 96], "shakan": 17.4, "ratio_over_mean": 3.505154639175258, "sec": 0.4759, "history_best": 34}
{"p": 101, "n": 10, "g_upper": 35, "d": 19, "A": [3, 14, 15, 34, 42, 44, 73, 74, 89, 95], "shakan": 18.2, "ratio_over_mean": 3.4653465346534653, "sec": 0.4988, "history_best": 35}
{"p": 103, "n": 10, "g_upper": 35, "d": 2, "A": [2, 20, 34, 41, 48, 73, 76, 89, 95, 102], "shakan": 18.6, "ratio_over_mean": 3.3980582524271843, "sec": 0.5039, "history_best": 35}
{"p": 107, "n": 10, "g_upper": 38, "d": 10, "A": [12, 35, 41, 42, 57, 67, 72, 77, 85, 93], "shakan": 19.4, "ratio_over_mean": 3.551401869158879, "sec": 0.5288, "history_best": 38}
{"p": 109, "n": 10, "g_upper": 39, "d": 6, "A": [8, 10, 36, 45, 49, 50, 54, 62, 79, 80], "shakan": 19.8, "ratio_over_mean": 3.5779816513761467, "sec": 0.537, "history_best": 39}
{"p": 113, "n": 11, "g_upper": 36, "d": 30, "A": [10, 18, 33, 37, 41, 57, 81, 82, 91, 96, 97], "shakan": 18.545454545454547, "ratio_over_mean": 3.5044247787610616, "sec": 0.5936, "history_best": 36}