files / problems / tuza-triangle-packing-covering / compute / certs / n8_exceptions.json
{
"connected_nonwke": 443,
"bitset_vs_brute_disagreements": [],
"delta_le_4": [
{
"g6": "G?rFeW",
"deg": [
4,
4,
1,
1,
3,
3,
4,
4
],
"n_edges": 12,
"n_tris": 4,
"delta": 4,
"n_ge4": 4,
"n_ge5": 0,
"adj": [
[
4,
5,
6,
7
],
[
4,
5,
6,
7
],
[
6
],
[
6
],
[
0,
1,
7
],
[
0,
1,
7
],
[
0,
1,
2,
3
],
[
0,
1,
4,
5
]
]
},
{
"g6": "G?ouUW",
"deg": [
3,
3,
1,
1,
4,
3,
3,
4
],
"n_edges": 11,
"n_tris": 4,
"delta": 4,
"n_ge4": 2,
"n_ge5": 0,
"adj": [
[
4,
6,
7
],
[
4,
6,
7
],
[
5
],
[
5
],
[
0,
1,
6,
7
],
[
2,
3,
7
],
[
0,
1,
4
],
[
0,
1,
4,
5
]
]
},
{
"g6": "G?rLeW",
"deg": [
4,
3,
1,
1,
4,
4,
3,
4
],
"n_edges": 12,
"n_tris": 7,
"delta": 4,
"n_ge4": 4,
"n_ge5": 0,
"adj": [
[
4,
5,
6,
7
],
[
4,
5,
7
],
[
6
],
[
6
],
[
0,
1,
5,
7
],
[
0,
1,
4,
7
],
[
0,
2,
3
],
[
0,
1,
4,
5
]
]
},
{
"g6": "G?rLeS",
"deg": [
4,
3,
1,
1,
4,
3,
4,
4
],
"n_edges": 12,
"n_tris": 5,
"delta": 4,
"n_ge4": 4,
"n_ge5": 0,
"adj": [
[
4,
5,
6,
7
],
[
4,
5,
7
],
[
6
],
[
6
],
[
0,
1,
5,
7
],
[
0,
1,
4
],
[
0,
2,
3,
7
],
[
0,
1,
4,
6
]
]
},
{
"g6": "G?rNeW",
"deg": [
4,
4,
1,
1,
4,
4,
4,
4
],
"n_edges": 13,
"n_tris": 7,
"delta": 4,
"n_ge4": 6,
"n_ge5": 0,
"adj": [
[
4,
5,
6,
7
],
[
4,
5,
6,
7
],
[
6
],
[
6
],
[
0,
1,
5,
7
],
[
0,
1,
4,
7
],
[
0,
1,
2,
3
],
[
0,
1,
4,
5
]
]
},
{
"g6": "GEjbtg",
"deg": [
4,
3,
4,
4,
3,
4,
4,
4
],
"n_edges": 15,
"n_tris": 5,
"delta": 4,
"n_ge4": 6,
"n_ge5": 0,
"adj": [
[
3,
4,
5,
7
],
[
3,
5,
6
],
[
4,
5,
6,
7
],
[
0,
1,
6,
7
],
[
0,
2,
6
],
[
0,
1,
2,
7
],
[
1,
2,
3,
4
],
[
0,
2,
3,
5
]
]
},
{
"g6": "GEnfbW",
"deg": [
4,
4,
4,
4,
4,
4,
4,
4
],
"n_edges": 16,
"n_tris": 6,
"delta": 4,
"n_ge4": 8,
"n_ge5": 0,
"adj": [
[
3,
4,
5,
6
],
[
3,
5,
6,
7
],
[
4,
5,
6,
7
],
[
0,
1,
4,
6
],
[
0,
2,
3,
7
],
[
0,
1,
2,
7
],
[
0,
1,
2,
3
],
[
1,
2,
4,
5
]
]
},
{
"g6": "GEnbvG",
"deg": [
4,
4,
4,
4,
4,
4,
4,
4
],
"n_edges": 16,
"n_tris": 7,
"delta": 4,
"n_ge4": 8,
"n_ge5": 0,
"adj": [
[
3,
4,
5,
7
],
[
3,
5,
6,
7
],
[
4,
5,
6,
7
],
[
0,
1,
4,
6
],
[
0,
2,
3,
6
],
[
0,
1,
2,
7
],
[
1,
2,
3,
4
],
[
0,
1,
2,
5
]
]
}
],
"n_ge4_lt3": [
{
"g6": "G?r@e[",
"deg": [
3,
3,
1,
1,
3,
3,
3,
5
],
"n_edges": 11,
"n_tris": 4,
"delta": 5,
"n_ge4": 1,
"n_ge5": 1,
"adj": [
[
4,
5,
7
],
[
4,
5,
7
],
[
6
],
[
6
],
[
0,
1,
7
],
[
0,
1,
7
],
[
2,
3,
7
],
[
0,
1,
4,
5,
6
]
]
},
{
"g6": "G?ouUW",
"deg": [
3,
3,
1,
1,
4,
3,
3,
4
],
"n_edges": 11,
"n_tris": 4,
"delta": 4,
"n_ge4": 2,
"n_ge5": 0,
"adj": [
[
4,
6,
7
],
[
4,
6,
7
],
[
5
],
[
5
],
[
0,
1,
6,
7
],
[
2,
3,
7
],
[
0,
1,
4
],
[
0,
1,
4,
5
]
]
}
]
}