files / problems / ramsey-r55 / compute / certs / extend_circ_41.json
{
"n_extensions_total": 0,
"n_seeds": 20,
"records": [
{
"S": [
4,
6,
8,
9,
11,
12,
14,
18,
19,
20
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=890 conflicts=446 nodes=891 deg=[17,24]",
"i": 0,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
4,
6,
7,
9,
10,
11,
14,
15,
18,
20
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=2218 conflicts=1110 nodes=2219 deg=[17,24]",
"i": 1,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
4,
6,
7,
9,
10,
11,
12,
14,
18,
20
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=2106 conflicts=1054 nodes=2107 deg=[17,24]",
"i": 2,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
4,
6,
7,
8,
9,
11,
12,
14,
18,
20
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=1264 conflicts=633 nodes=1265 deg=[17,24]",
"i": 3,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
2,
4,
6,
7,
9,
10,
11,
14,
15,
20
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=1236 conflicts=619 nodes=1237 deg=[17,24]",
"i": 4,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
2,
3,
5,
7,
9,
10,
13,
15,
16,
17
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=1562 conflicts=782 nodes=1563 deg=[17,24]",
"i": 5,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
2,
3,
5,
6,
7,
9,
10,
15,
16,
17
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=1428 conflicts=715 nodes=1429 deg=[17,24]",
"i": 6,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
2,
3,
4,
6,
7,
9,
10,
15,
16,
17
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=6062 conflicts=3032 nodes=6063 deg=[17,24]",
"i": 7,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
2,
3,
4,
6,
7,
9,
10,
11,
15,
20
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=7244 conflicts=3623 nodes=7245 deg=[17,24]",
"i": 8,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
2,
3,
4,
6,
7,
9,
10,
11,
15,
16
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=6866 conflicts=3434 nodes=6867 deg=[17,24]",
"i": 9,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
5,
8,
12,
13,
14,
17,
18,
19,
20
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=6866 conflicts=3434 nodes=6867 deg=[17,24]",
"i": 10,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
5,
8,
12,
13,
14,
16,
17,
18,
19
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=7244 conflicts=3623 nodes=7245 deg=[17,24]",
"i": 11,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
5,
8,
11,
12,
13,
14,
18,
19,
20
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=6062 conflicts=3032 nodes=6063 deg=[17,24]",
"i": 12,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
4,
8,
11,
12,
13,
14,
18,
19,
20
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=1428 conflicts=715 nodes=1429 deg=[17,24]",
"i": 13,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
4,
6,
8,
11,
12,
14,
18,
19,
20
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=1562 conflicts=782 nodes=1563 deg=[17,24]",
"i": 14,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
3,
5,
8,
12,
13,
16,
17,
18,
19
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=1236 conflicts=619 nodes=1237 deg=[17,24]",
"i": 15,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
2,
3,
5,
10,
13,
15,
16,
17,
19
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=1264 conflicts=633 nodes=1265 deg=[17,24]",
"i": 16,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
2,
3,
5,
8,
13,
15,
16,
17,
19
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=2106 conflicts=1054 nodes=2107 deg=[17,24]",
"i": 17,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
2,
3,
5,
8,
12,
13,
16,
17,
19
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=2218 conflicts=1110 nodes=2219 deg=[17,24]",
"i": 18,
"n": 41,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
2,
3,
5,
7,
10,
13,
15,
16,
17
],
"exts": [],
"head": "n=41 k4=1025 i4=1025 extensions=0 decisions=890 conflicts=446 nodes=891 deg=[17,24]",
"i": 19,
"n": 41,
"n_ext": 0,
"stderr": ""
}
],
"seconds": 1.536,
"source": "dumps/circ_41.txt"
}