files / problems / ramsey-r55 / compute / certs / extend_circ_40.json
{
"n_extensions_total": 0,
"n_seeds": 24,
"records": [
{
"S": [
4,
6,
8,
11,
12,
13,
14,
15,
19
],
"exts": [],
"head": "n=40 k4=680 i4=1250 extensions=0 decisions=868 conflicts=435 nodes=869 deg=[16,24]",
"i": 0,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
3,
6,
8,
10,
11,
13,
14,
15,
19,
20
],
"exts": [],
"head": "n=40 k4=670 i4=1080 extensions=0 decisions=614 conflicts=308 nodes=615 deg=[16,24]",
"i": 1,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
3,
6,
8,
9,
10,
11,
13,
14,
15,
19,
20
],
"exts": [],
"head": "n=40 k4=1250 i4=680 extensions=0 decisions=474 conflicts=238 nodes=475 deg=[16,24]",
"i": 2,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
3,
4,
6,
8,
11,
12,
14,
15,
19
],
"exts": [],
"head": "n=40 k4=680 i4=1250 extensions=0 decisions=748 conflicts=375 nodes=749 deg=[16,24]",
"i": 3,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
3,
4,
6,
8,
11,
12,
13,
14,
15,
19
],
"exts": [],
"head": "n=40 k4=1080 i4=670 extensions=0 decisions=778 conflicts=390 nodes=779 deg=[16,24]",
"i": 4,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
2,
4,
5,
7,
9,
12,
16,
17,
18
],
"exts": [],
"head": "n=40 k4=680 i4=1250 extensions=0 decisions=1284 conflicts=643 nodes=1285 deg=[16,24]",
"i": 5,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
2,
3,
10,
11,
13,
15,
16,
18,
19,
20
],
"exts": [],
"head": "n=40 k4=670 i4=1080 extensions=0 decisions=7222 conflicts=3612 nodes=7223 deg=[16,24]",
"i": 6,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
2,
3,
10,
11,
13,
15,
16,
17,
18,
19,
20
],
"exts": [],
"head": "n=40 k4=1250 i4=680 extensions=0 decisions=8634 conflicts=4318 nodes=8635 deg=[16,24]",
"i": 7,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
2,
3,
7,
10,
11,
13,
15,
16,
18,
19,
20
],
"exts": [],
"head": "n=40 k4=1250 i4=680 extensions=0 decisions=2618 conflicts=1310 nodes=2619 deg=[16,24]",
"i": 8,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
2,
3,
4,
12,
13,
15,
16,
18,
19
],
"exts": [],
"head": "n=40 k4=680 i4=1250 extensions=0 decisions=17540 conflicts=8771 nodes=17541 deg=[16,24]",
"i": 9,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
2,
3,
4,
11,
12,
13,
15,
16,
18
],
"exts": [],
"head": "n=40 k4=680 i4=1250 extensions=0 decisions=1356 conflicts=679 nodes=1357 deg=[16,24]",
"i": 10,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
2,
3,
4,
11,
12,
13,
15,
16,
18,
19
],
"exts": [],
"head": "n=40 k4=1080 i4=670 extensions=0 decisions=1382 conflicts=692 nodes=1383 deg=[16,24]",
"i": 11,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
5,
6,
7,
8,
9,
10,
14,
17,
20
],
"exts": [],
"head": "n=40 k4=670 i4=1080 extensions=0 decisions=1382 conflicts=692 nodes=1383 deg=[16,24]",
"i": 12,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
5,
6,
7,
8,
9,
10,
14,
17,
19,
20
],
"exts": [],
"head": "n=40 k4=1250 i4=680 extensions=0 decisions=1356 conflicts=679 nodes=1357 deg=[16,24]",
"i": 13,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
5,
6,
7,
8,
9,
10,
11,
14,
17,
20
],
"exts": [],
"head": "n=40 k4=1250 i4=680 extensions=0 decisions=17540 conflicts=8771 nodes=17541 deg=[16,24]",
"i": 14,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
4,
5,
6,
8,
9,
12,
14,
17
],
"exts": [],
"head": "n=40 k4=680 i4=1250 extensions=0 decisions=2618 conflicts=1310 nodes=2619 deg=[16,24]",
"i": 15,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
4,
5,
6,
7,
8,
9,
12,
14
],
"exts": [],
"head": "n=40 k4=680 i4=1250 extensions=0 decisions=8634 conflicts=4318 nodes=8635 deg=[16,24]",
"i": 16,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
4,
5,
6,
7,
8,
9,
12,
14,
17
],
"exts": [],
"head": "n=40 k4=1080 i4=670 extensions=0 decisions=7222 conflicts=3612 nodes=7223 deg=[16,24]",
"i": 17,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
3,
6,
8,
10,
11,
13,
14,
15,
19,
20
],
"exts": [],
"head": "n=40 k4=1250 i4=680 extensions=0 decisions=1284 conflicts=643 nodes=1285 deg=[16,24]",
"i": 18,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
2,
5,
7,
9,
10,
16,
17,
18,
20
],
"exts": [],
"head": "n=40 k4=670 i4=1080 extensions=0 decisions=778 conflicts=390 nodes=779 deg=[16,24]",
"i": 19,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
2,
5,
7,
9,
10,
13,
16,
17,
18,
20
],
"exts": [],
"head": "n=40 k4=1250 i4=680 extensions=0 decisions=748 conflicts=375 nodes=749 deg=[16,24]",
"i": 20,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
2,
4,
5,
7,
12,
16,
17,
18
],
"exts": [],
"head": "n=40 k4=680 i4=1250 extensions=0 decisions=474 conflicts=238 nodes=475 deg=[16,24]",
"i": 21,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
2,
4,
5,
7,
9,
12,
16,
17,
18
],
"exts": [],
"head": "n=40 k4=1080 i4=670 extensions=0 decisions=614 conflicts=308 nodes=615 deg=[16,24]",
"i": 22,
"n": 40,
"n_ext": 0,
"stderr": ""
},
{
"S": [
1,
2,
3,
5,
7,
9,
10,
16,
17,
18,
20
],
"exts": [],
"head": "n=40 k4=1250 i4=680 extensions=0 decisions=868 conflicts=435 nodes=869 deg=[16,24]",
"i": 23,
"n": 40,
"n_ext": 0,
"stderr": ""
}
],
"seconds": 1.897,
"source": "dumps/circ_40.txt"
}