files / problems / long-gap-dilate / compute / certs / G_n4.jsonl
{"p": 7, "n": 4, "G": 2, "witness": [0, 1, 2, 4], "shakan": 1.5, "extra": 0.5, "ratio": 1.1428571428571428, "sec": 0.0001}
{"p": 11, "n": 4, "G": 5, "witness": [0, 1, 2, 5], "shakan": 3.5, "extra": 1.5, "ratio": 1.8181818181818181, "sec": 0.0005}
{"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.0017}
{"p": 19, "n": 4, "G": 10, "witness": [0, 1, 3, 8], "shakan": 7.5, "extra": 2.5, "ratio": 2.1052631578947367, "sec": 0.0025}
{"p": 23, "n": 4, "G": 13, "witness": [0, 1, 3, 10], "shakan": 9.5, "extra": 3.5, "ratio": 2.260869565217391, "sec": 0.0049}
{"p": 29, "n": 4, "G": 19, "witness": [0, 1, 3, 9], "shakan": 12.5, "extra": 6.5, "ratio": 2.6206896551724137, "sec": 0.0098}
{"p": 31, "n": 4, "G": 19, "witness": [0, 1, 5, 25], "shakan": 13.5, "extra": 5.5, "ratio": 2.4516129032258065, "sec": 0.0123}
{"p": 37, "n": 4, "G": 24, "witness": [0, 1, 4, 16], "shakan": 16.5, "extra": 7.5, "ratio": 2.5945945945945947, "sec": 0.0222}
{"p": 41, "n": 4, "G": 27, "witness": [0, 1, 4, 32], "shakan": 18.5, "extra": 8.5, "ratio": 2.6341463414634148, "sec": 0.0318}
{"p": 43, "n": 4, "G": 29, "witness": [0, 1, 4, 13], "shakan": 19.5, "extra": 9.5, "ratio": 2.697674418604651, "sec": 0.0346}
{"p": 47, "n": 4, "G": 32, "witness": [0, 1, 4, 14], "shakan": 21.5, "extra": 10.5, "ratio": 2.723404255319149, "sec": 0.0479}
{"p": 53, "n": 4, "G": 36, "witness": [0, 1, 7, 17], "shakan": 24.5, "extra": 11.5, "ratio": 2.7169811320754715, "sec": 0.0659}
{"p": 59, "n": 4, "G": 41, "witness": [0, 1, 7, 17], "shakan": 27.5, "extra": 13.5, "ratio": 2.7796610169491527, "sec": 0.094}
{"p": 61, "n": 4, "G": 43, "witness": [0, 1, 4, 26], "shakan": 28.5, "extra": 14.5, "ratio": 2.819672131147541, "sec": 0.1039}
{"p": 67, "n": 4, "G": 48, "witness": [0, 1, 7, 26], "shakan": 31.5, "extra": 16.5, "ratio": 2.8656716417910446, "sec": 0.1515}
{"p": 71, "n": 4, "G": 51, "witness": [0, 1, 4, 30], "shakan": 33.5, "extra": 17.5, "ratio": 2.8732394366197185, "sec": 0.161}
{"p": 73, "n": 4, "G": 53, "witness": [0, 1, 4, 31], "shakan": 34.5, "extra": 18.5, "ratio": 2.904109589041096, "sec": 0.1806}
{"p": 79, "n": 4, "G": 58, "witness": [0, 1, 4, 33], "shakan": 37.5, "extra": 20.5, "ratio": 2.9367088607594938, "sec": 0.2251}
{"p": 83, "n": 4, "G": 61, "witness": [0, 1, 7, 67], "shakan": 39.5, "extra": 21.5, "ratio": 2.9397590361445785, "sec": 0.2638}
{"p": 89, "n": 4, "G": 65, "witness": [0, 1, 7, 40], "shakan": 42.5, "extra": 22.5, "ratio": 2.9213483146067416, "sec": 0.3225}
{"p": 97, "n": 4, "G": 72, "witness": [0, 1, 11, 63], "shakan": 46.5, "extra": 25.5, "ratio": 2.9690721649484537, "sec": 0.4241}