files / problems / caccetta-haggkvist-k3 / compute / q40 / certs / keep / summary.json

429 B · on GitHub

{
  "closed": [
    150
  ],
  "this_run": [
    150
  ],
  "n_cubes": 49,
  "residue": [],
  "f4": 0.3464,
  "published_hkn": 0.3465,
  "prior_stored_f4": 0.34645,
  "personal_communication_3388": 0.3388,
  "next_hole": {
    "n": 151,
    "d": 51
  },
  "note": "closed = every needed cube UNSAT with stored DRAT. A leftover is residue, not a bound. F4 unchanged unless a new certificate says otherwise. Did not beat 0.3388."
}