files / problems / kissing-5d / compute / q6 / replay_four_star.json
{
"n_sample": 38,
"n_ok": 38,
"n_mismatch": 0,
"found_41": false,
"rows": [
{
"stars": [
0,
1,
2,
3
],
"k": 28,
"n_extras": 320,
"best": 19,
"nodes": 17,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 17,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
1,
2,
4
],
"k": 27,
"n_extras": 384,
"best": 19,
"nodes": 8865,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 8865,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
1,
4,
5
],
"k": 28,
"n_extras": 320,
"best": 19,
"nodes": 17,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 17,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
1,
4,
9
],
"k": 27,
"n_extras": 384,
"best": 19,
"nodes": 726542,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 726542,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
1,
5,
8
],
"k": 27,
"n_extras": 384,
"best": 19,
"nodes": 625916,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 625916,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
1,
6,
7
],
"k": 28,
"n_extras": 320,
"best": 19,
"nodes": 17,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 17,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
1,
8,
9
],
"k": 28,
"n_extras": 320,
"best": 19,
"nodes": 467871,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 467871,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
2,
3,
9
],
"k": 27,
"n_extras": 384,
"best": 19,
"nodes": 177227,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 177227,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
2,
4,
8
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 568201,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 568201,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
2,
5,
7
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 77378,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 77378,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
3,
4,
7
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 71069,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 71069,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
3,
5,
6
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 74689,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 74689,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
4,
8,
9
],
"k": 27,
"n_extras": 384,
"best": 19,
"nodes": 575659,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 575659,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
5,
7,
9
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 578337,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 578337,
"c_complete": true,
"ok": true
},
{
"stars": [
0,
6,
7,
8
],
"k": 27,
"n_extras": 384,
"best": 19,
"nodes": 179787,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 179787,
"c_complete": true,
"ok": true
},
{
"stars": [
1,
2,
3,
8
],
"k": 27,
"n_extras": 384,
"best": 19,
"nodes": 7008,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 7008,
"c_complete": true,
"ok": true
},
{
"stars": [
1,
2,
4,
7
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 15340,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 15340,
"c_complete": true,
"ok": true
},
{
"stars": [
1,
2,
5,
6
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 15321,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 15321,
"c_complete": true,
"ok": true
},
{
"stars": [
1,
3,
4,
6
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 4626,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 4626,
"c_complete": true,
"ok": true
},
{
"stars": [
1,
3,
8,
9
],
"k": 27,
"n_extras": 384,
"best": 19,
"nodes": 615,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 615,
"c_complete": true,
"ok": true
},
{
"stars": [
1,
4,
7,
9
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 15392,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 15392,
"c_complete": true,
"ok": true
},
{
"stars": [
1,
5,
6,
9
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 15638,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 15638,
"c_complete": true,
"ok": true
},
{
"stars": [
1,
5,
7,
8
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 15638,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 15638,
"c_complete": true,
"ok": true
},
{
"stars": [
2,
3,
4,
5
],
"k": 28,
"n_extras": 320,
"best": 19,
"nodes": 89,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 89,
"c_complete": true,
"ok": true
},
{
"stars": [
2,
3,
6,
7
],
"k": 28,
"n_extras": 320,
"best": 19,
"nodes": 81,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 81,
"c_complete": true,
"ok": true
},
{
"stars": [
2,
3,
7,
9
],
"k": 27,
"n_extras": 384,
"best": 19,
"nodes": 11485,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 11485,
"c_complete": true,
"ok": true
},
{
"stars": [
2,
3,
8,
9
],
"k": 28,
"n_extras": 320,
"best": 19,
"nodes": 1707,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 1707,
"c_complete": true,
"ok": true
},
{
"stars": [
2,
4,
6,
9
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 69850,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 69850,
"c_complete": true,
"ok": true
},
{
"stars": [
2,
4,
7,
8
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 69581,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 69581,
"c_complete": true,
"ok": true
},
{
"stars": [
2,
5,
6,
8
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 64479,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 64479,
"c_complete": true,
"ok": true
},
{
"stars": [
3,
4,
5,
9
],
"k": 27,
"n_extras": 384,
"best": 19,
"nodes": 10446,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 10446,
"c_complete": true,
"ok": true
},
{
"stars": [
3,
4,
6,
8
],
"k": 26,
"n_extras": 434,
"best": 19,
"nodes": 43048,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 43048,
"c_complete": true,
"ok": true
},
{
"stars": [
3,
5,
6,
7
],
"k": 27,
"n_extras": 384,
"best": 19,
"nodes": 9352,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 9352,
"c_complete": true,
"ok": true
},
{
"stars": [
4,
5,
6,
7
],
"k": 28,
"n_extras": 320,
"best": 19,
"nodes": 917,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 917,
"c_complete": true,
"ok": true
},
{
"stars": [
4,
5,
8,
9
],
"k": 28,
"n_extras": 320,
"best": 19,
"nodes": 1703,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 1703,
"c_complete": true,
"ok": true
},
{
"stars": [
4,
7,
8,
9
],
"k": 27,
"n_extras": 384,
"best": 19,
"nodes": 13402,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 13402,
"c_complete": true,
"ok": true
},
{
"stars": [
5,
6,
8,
9
],
"k": 27,
"n_extras": 384,
"best": 19,
"nodes": 11181,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 11181,
"c_complete": true,
"ok": true
},
{
"stars": [
6,
7,
8,
9
],
"k": 28,
"n_extras": 320,
"best": 19,
"nodes": 2603,
"complete": true,
"found_41": false,
"c_best": 19,
"c_nodes": 2603,
"c_complete": true,
"ok": true
}
],
"comment": "Python leftover-tight replay of a covering sample of 4-star pools. ok means complete empty, matching the C merge."
}