files / problems / long-gap-dilate / compute / q1 / certs / sat_upper_73.json

305 B · on GitHub

{
  "p": 73,
  "n": 9,
  "G": 24,
  "G_upper": 24,
  "exact": true,
  "shakan": 14.222222222222221,
  "note": "Cadical UNSAT at T=24 (164.7s) and SAT witness at T=25. G(73,9)=24.",
  "witness": [
    0,
    1,
    2,
    7,
    13,
    24,
    40,
    57,
    60
  ],
  "witness_g": 24,
  "witness_d": 2
}