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

147 B · on GitHub

{
  "delta": 4,
  "n": 11,
  "eulerian": true,
  "status": "INFEASIBLE",
  "solve_time": 2.740364903,
  "conflicts": 44722,
  "branches": 152203
}