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

327 B · on GitHub

{
  "n": 7,
  "labeled_oriented": 10460353203,
  "strong": 3015624078,
  "delta_ge0": 10460353203,
  "pisa": 4080,
  "pisa_tight": 4080,
  "missing_degree_types": [
    {"missing_deg": [2,2,2,2,2,2,2], "count": 720},
    {"missing_deg": [4,4,4,4,4,4,4], "count": 720},
    {"missing_deg": [0,0,0,0,0,0,0], "count": 2640}
  ]
}