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

149 B · on GitHub

{
  "delta": 6,
  "n": 15,
  "eulerian": true,
  "status": "UNKNOWN",
  "solve_time": 300.094577575,
  "conflicts": 2607860,
  "branches": 5783385
}