files / problems / two-squares-gap / compute / a3_enum_u20000.json
{
"u_max": 20000,
"n_max": 400040000,
"n_two_point_fail": 10100,
"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": 395730869,
"u": 19892,
"m": 198,
"t": 0,
"h": 396,
"h2": 580,
"W": 395,
"saved": true,
"witness": [
19890,
345,
395731125
],
"actual_gap": 256
},
{
"n": 395770654,
"u": 19893,
"m": 198,
"t": 0,
"h": 396,
"h2": 582,
"W": 395,
"saved": true,
"witness": [
19891,
345,
395770906
],
"actual_gap": 252
},
{
"n": 395810441,
"u": 19894,
"m": 198,
"t": 0,
"h": 396,
"h2": 584,
"W": 395,
"saved": true,
"witness": [
19892,
345,
395810689
],
"actual_gap": 248
},
{
"n": 395850230,
"u": 19895,
"m": 198,
"t": 0,
"h": 396,
"h2": 586,
"W": 395,
"saved": true,
"witness": [
19893,
345,
395850474
],
"actual_gap": 244
},
{
"n": 395890021,
"u": 19896,
"m": 198,
"t": 0,
"h": 396,
"h2": 588,
"W": 395,
"saved": true,
"witness": [
19894,
345,
395890261
],
"actual_gap": 240
},
{
"n": 395929814,
"u": 19897,
"m": 198,
"t": 0,
"h": 396,
"h2": 590,
"W": 395,
"saved": true,
"witness": [
19895,
345,
395930050
],
"actual_gap": 236
},
{
"n": 395969609,
"u": 19898,
"m": 198,
"t": 0,
"h": 396,
"h2": 592,
"W": 395,
"saved": true,
"witness": [
19896,
345,
395969841
],
"actual_gap": 232
},
{
"n": 396009406,
"u": 19899,
"m": 198,
"t": 0,
"h": 396,
"h2": 594,
"W": 395,
"saved": true,
"witness": [
19897,
345,
396009634
],
"actual_gap": 228
},
{
"n": 399999603,
"u": 19999,
"m": 199,
"t": 0,
"h": 398,
"h2": 397,
"W": 396,
"saved": true,
"witness": [
19997,
346,
399999725
],
"actual_gap": 122
},
{
"n": 400039602,
"u": 20000,
"m": 199,
"t": 0,
"h": 398,
"h2": 399,
"W": 397,
"saved": true,
"witness": [
19998,
346,
400039720
],
"actual_gap": 118
}
]
}