files / problems / kissing-5d / compute / q7 / certs / five_q6_01235.cnf.json

408 B · on GitHub

{
  "kind": "five-star leftover-tight",
  "name": "q6_01235",
  "stars": [
    0,
    1,
    2,
    3,
    5
  ],
  "type": [
    2,
    1
  ],
  "k": 32,
  "n_extras": 528,
  "n_roots": 32,
  "path": "/workspace/problems/kissing-5d/compute/q7/certs/five_q6_01235.cnf",
  "vars": 28358,
  "clauses": 89068,
  "sha256": "9c99687fc7ad0a029e4a57e23c041cb1803e110724913f58f8e19aaf30774221",
  "bytes": 1293615
}