files / problems / seymour-second-neighborhood / compute / certs / pisa_n5.json

250 B · on GitHub

{
  "n": 5,
  "labeled_oriented": 59049,
  "strong": 7998,
  "delta_ge0": 59049,
  "pisa": 48,
  "pisa_tight": 48,
  "missing_degree_types": [
    {"missing_deg": [2, 2, 2, 2, 2], "count": 24},
    {"missing_deg": [0, 0, 0, 0, 0], "count": 24}
  ]
}