files / problems / kissing-5d / compute / q8 / leftover_sat_status.json

336 B · on GitHub

{
  "k": 19,
  "n1": 21,
  "min_star_cover": 5,
  "forbid_five_types": [[2, 1], [1, 3]],
  "cnf_vars": 30678,
  "cnf_clauses": 219826,
  "found_41": false,
  "sat": null,
  "complete": false,
  "drat_trim": null,
  "comment": "Global leftover SAT k=19 forbidding type-(2,1) and (1,3). Incomplete when wrapped. Did not claim tau5=40."
}