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

150 B · on GitHub

{
  "delta": 5,
  "n": 13,
  "eulerian": true,
  "status": "INFEASIBLE",
  "solve_time": 41.653077637,
  "conflicts": 680016,
  "branches": 1505208
}