files / problems / caccetta-haggkvist-k3 / compute / q3 / certs / keep / soundness_n38_d12.json

563 B · on GitHub

{
  "n": 38,
  "d": 12,
  "k": 12,
  "header_sb": "p cnf 52346 125916",
  "header_nosb": "p cnf 49864 115954",
  "circulant_ok": true,
  "min_out": 12,
  "narcs": 456,
  "triangles": 0,
  "two_cycles": 0,
  "cnf_accepts_placed_circulant_nosb": true,
  "unsat_clauses_nosb": 0,
  "cnf_accepts_sorted_circulant_sb": true,
  "unsat_clauses_sb": 0,
  "ok": true,
  "note": "cyclic degree floor((n-1)/3), not a counterexample to ceil(n/3). The placed circulant meets the non-SB cube units. Lex SB at this order is checked by the small-n SAT pair, not by this model."
}