files / problems / two-squares-gap / compute / a3_enum_u3000.json
{
"u_max": 3000,
"n_max": 9006000,
"n_two_point_fail": 1556,
"n_unsaved": 4,
"unsaved": [
{
"n": 3,
"u": 1,
"m": 1,
"t": 0,
"h": 2,
"h2": 1,
"W": 0,
"saved": false
},
{
"n": 6,
"u": 2,
"m": 1,
"t": 0,
"h": 2,
"h2": 3,
"W": 1,
"saved": false
},
{
"n": 21,
"u": 4,
"m": 2,
"t": 0,
"h": 4,
"h2": 4,
"W": 3,
"saved": false
},
{
"n": 91,
"u": 9,
"m": 3,
"t": 0,
"h": 6,
"h2": 9,
"W": 5,
"saved": false
}
],
"fails_head": [
{
"n": 3,
"u": 1,
"m": 1,
"t": 0,
"h": 2,
"h2": 1,
"W": 0,
"saved": false
},
{
"n": 6,
"u": 2,
"m": 1,
"t": 0,
"h": 2,
"h2": 3,
"W": 1,
"saved": false
},
{
"n": 21,
"u": 4,
"m": 2,
"t": 0,
"h": 4,
"h2": 4,
"W": 3,
"saved": false
},
{
"n": 30,
"u": 5,
"m": 2,
"t": 0,
"h": 4,
"h2": 6,
"W": 3,
"saved": true,
"witness": [
4,
4,
32
],
"actual_gap": 2
},
{
"n": 59,
"u": 7,
"m": 3,
"t": 0,
"h": 6,
"h2": 5,
"W": 4,
"saved": true,
"witness": [
6,
5,
61
],
"actual_gap": 2
},
{
"n": 74,
"u": 8,
"m": 3,
"t": 0,
"h": 6,
"h2": 7,
"W": 5,
"saved": true,
"witness": [
7,
5,
74
],
"actual_gap": 0
},
{
"n": 91,
"u": 9,
"m": 3,
"t": 0,
"h": 6,
"h2": 9,
"W": 5,
"saved": false
},
{
"n": 161,
"u": 12,
"m": 4,
"t": 0,
"h": 8,
"h2": 8,
"W": 7,
"saved": true,
"witness": [
10,
8,
164
],
"actual_gap": 3
},
{
"n": 186,
"u": 13,
"m": 4,
"t": 0,
"h": 8,
"h2": 10,
"W": 7,
"saved": true,
"witness": [
12,
7,
193
],
"actual_gap": 7
},
{
"n": 213,
"u": 14,
"m": 4,
"t": 0,
"h": 8,
"h2": 12,
"W": 7,
"saved": true,
"witness": [
13,
7,
218
],
"actual_gap": 5
},
{
"n": 315,
"u": 17,
"m": 5,
"t": 0,
"h": 10,
"h2": 9,
"W": 8,
"saved": true,
"witness": [
16,
8,
320
],
"actual_gap": 5
},
{
"n": 350,
"u": 18,
"m": 5,
"t": 0,
"h": 10,
"h2": 11,
"W": 9,
"saved": true,
"witness": [
17,
8,
353
],
"actual_gap": 3
},
{
"n": 387,
"u": 19,
"m": 5,
"t": 0,
"h": 10,
"h2": 13,
"W": 9,
"saved": true,
"witness": [
18,
8,
388
],
"actual_gap": 1
},
{
"n": 426,
"u": 20,
"m": 5,
"t": 0,
"h": 10,
"h2": 15,
"W": 9,
"saved": true,
"witness": [
17,
12,
433
],
"actual_gap": 7
},
{
"n": 613,
"u": 24,
"m": 6,
"t": 0,
"h": 12,
"h2": 12,
"W": 11,
"saved": true,
"witness": [
19,
16,
617
],
"actual_gap": 4
},
{
"n": 662,
"u": 25,
"m": 6,
"t": 0,
"h": 12,
"h2": 14,
"W": 11,
"saved": true,
"witness": [
23,
12,
673
],
"actual_gap": 11
},
{
"n": 713,
"u": 26,
"m": 6,
"t": 0,
"h": 12,
"h2": 16,
"W": 11,
"saved": true,
"witness": [
24,
12,
720
],
"actual_gap": 7
},
{
"n": 766,
"u": 27,
"m": 6,
"t": 0,
"h": 12,
"h2": 18,
"W": 11,
"saved": true,
"witness": [
26,
10,
776
],
"actual_gap": 10
},
{
"n": 1011,
"u": 31,
"m": 7,
"t": 0,
"h": 14,
"h2": 13,
"W": 12,
"saved": true,
"witness": [
30,
11,
1021
],
"actual_gap": 10
},
{
"n": 1074,
"u": 32,
"m": 7,
"t": 0,
"h": 14,
"h2": 15,
"W": 13,
"saved": true,
"witness": [
31,
11,
1082
],
"actual_gap": 8
}
],
"fails_tail": [
{
"n": 8951858,
"u": 2991,
"m": 76,
"t": 0,
"h": 152,
"h2": 206,
"W": 151,
"saved": true,
"witness": [
2990,
109,
8951981
],
"actual_gap": 123
},
{
"n": 8957841,
"u": 2992,
"m": 76,
"t": 0,
"h": 152,
"h2": 208,
"W": 151,
"saved": true,
"witness": [
2991,
109,
8957962
],
"actual_gap": 121
},
{
"n": 8963826,
"u": 2993,
"m": 76,
"t": 0,
"h": 152,
"h2": 210,
"W": 151,
"saved": true,
"witness": [
2992,
109,
8963945
],
"actual_gap": 119
},
{
"n": 8969813,
"u": 2994,
"m": 76,
"t": 0,
"h": 152,
"h2": 212,
"W": 151,
"saved": true,
"witness": [
2993,
109,
8969930
],
"actual_gap": 117
},
{
"n": 8975802,
"u": 2995,
"m": 76,
"t": 0,
"h": 152,
"h2": 214,
"W": 151,
"saved": true,
"witness": [
2994,
109,
8975917
],
"actual_gap": 115
},
{
"n": 8981793,
"u": 2996,
"m": 76,
"t": 0,
"h": 152,
"h2": 216,
"W": 151,
"saved": true,
"witness": [
2995,
109,
8981906
],
"actual_gap": 113
},
{
"n": 8987786,
"u": 2997,
"m": 76,
"t": 0,
"h": 152,
"h2": 218,
"W": 151,
"saved": true,
"witness": [
2996,
109,
8987897
],
"actual_gap": 111
},
{
"n": 8993781,
"u": 2998,
"m": 76,
"t": 0,
"h": 152,
"h2": 220,
"W": 151,
"saved": true,
"witness": [
2997,
109,
8993890
],
"actual_gap": 109
},
{
"n": 8999778,
"u": 2999,
"m": 76,
"t": 0,
"h": 152,
"h2": 222,
"W": 151,
"saved": true,
"witness": [
2998,
109,
8999885
],
"actual_gap": 107
},
{
"n": 9005777,
"u": 3000,
"m": 76,
"t": 0,
"h": 152,
"h2": 224,
"W": 151,
"saved": true,
"witness": [
2999,
109,
9005882
],
"actual_gap": 105
}
]
}