files / problems / seymour-second-neighborhood / compute / certs / verified_witnesses.json
[
{
"origin": "pisa8_irregular2.json",
"n": 8,
"pisa": true,
"tight": false,
"matching_missing": false,
"missing_deg": [
2,
2,
2,
2,
2,
2,
3,
3
],
"underlying_deg": [
4,
4,
5,
5,
5,
5,
5,
5
],
"outdegrees": [
2,
3,
2,
2,
3,
3,
2,
2
],
"margins": [
0,
-1,
0,
0,
-1,
-1,
0,
0
],
"n_missing": 9,
"code": 145923119419
},
{
"origin": "pisa8_md_2_2_2_2_2_2_2_2.json",
"n": 8,
"pisa": true,
"tight": false,
"matching_missing": false,
"missing_deg": [
2,
2,
2,
2,
2,
2,
2,
2
],
"underlying_deg": [
5,
5,
5,
5,
5,
5,
5,
5
],
"outdegrees": [
3,
2,
3,
2,
3,
2,
2,
3
],
"margins": [
-1,
0,
-1,
0,
-1,
0,
0,
-1
],
"n_missing": 8,
"code": 10896680928669
},
{
"origin": "pisa8_md_3_3_3_3_2_2_2_2.json",
"n": 8,
"pisa": true,
"tight": false,
"matching_missing": false,
"missing_deg": [
2,
2,
2,
2,
3,
3,
3,
3
],
"underlying_deg": [
4,
4,
4,
4,
5,
5,
5,
5
],
"outdegrees": [
2,
2,
2,
3,
2,
2,
2,
3
],
"margins": [
0,
0,
0,
-1,
0,
0,
0,
-1
],
"n_missing": 10,
"code": 11106931761932
},
{
"origin": "pisa8_md_3_3_3_3_3_3_2_2.json",
"n": 8,
"pisa": true,
"tight": false,
"matching_missing": false,
"missing_deg": [
2,
2,
3,
3,
3,
3,
3,
3
],
"underlying_deg": [
4,
4,
4,
4,
4,
4,
5,
5
],
"outdegrees": [
2,
2,
2,
2,
2,
3,
2,
2
],
"margins": [
0,
0,
0,
0,
0,
-1,
0,
0
],
"n_missing": 11,
"code": 10867656012644
},
{
"origin": "pisa8_md_5_5_5_5_5_5_5_5.json",
"n": 8,
"pisa": true,
"tight": true,
"matching_missing": false,
"missing_deg": [
5,
5,
5,
5,
5,
5,
5,
5
],
"underlying_deg": [
2,
2,
2,
2,
2,
2,
2,
2
],
"outdegrees": [
1,
1,
1,
1,
1,
1,
1,
1
],
"margins": [
0,
0,
0,
0,
0,
0,
0,
0
],
"n_missing": 20,
"code": 18618998231887
},
{
"origin": "pisa8_reg3.json",
"n": 8,
"pisa": true,
"tight": true,
"matching_missing": false,
"missing_deg": [
3,
3,
3,
3,
3,
3,
3,
3
],
"underlying_deg": [
4,
4,
4,
4,
4,
4,
4,
4
],
"outdegrees": [
2,
2,
2,
2,
2,
2,
2,
2
],
"margins": [
0,
0,
0,
0,
0,
0,
0,
0
],
"n_missing": 12,
"code": 14648865216353
}
]