files / problems / kissing-5d / compute / q8 / certs / n1_k19_star5_no21_no13.cnf.json

439 B · on GitHub

{
  "kind": "global leftover",
  "k": 19,
  "n1": 21,
  "need_extras": 20,
  "min_star_cover": 5,
  "forbid_five_types": [
    [
      2,
      1
    ],
    [
      1,
      3
    ]
  ],
  "n_five_forbids": 220,
  "path": "/workspace/problems/kissing-5d/compute/q8/certs/n1_k19_star5_no21_no13.cnf",
  "vars": 30678,
  "clauses": 219826,
  "sha256": "5e3c482a76287dca23819cc77270760db57377ed9de50e9559c5d81db6dcac66",
  "bytes": 3033047
}