files / problems / ramsey-r55 / compute / q2 / certs / repair_r6.json

722 B · on GitHub

{
  "build_sec": 8.358,
  "cnf_sha256": "55e1532f910b491521a3e76535e159da90d8adb864eb1bd558b94cdddfaf8bb1",
  "five_set_edge_histogram": {
    "0": 0,
    "1": 7161,
    "10": 2,
    "2": 32697,
    "3": 101693,
    "4": 198808,
    "5": 255255,
    "6": 215554,
    "7": 110219,
    "8": 34599,
    "9": 6610
  },
  "n": 43,
  "nclauses": 1653870,
  "nvars": 6321,
  "radius": 6,
  "relevant_clique_clauses": 821047,
  "relevant_independent_clauses": 811168,
  "solve_sec": 40.276,
  "solver": "PySAT Cadical195",
  "source_bad_masks": [
    "0x240000811",
    "0x240020801"
  ],
  "source_graph6_sha256": "07ef1440495d71459ee06e67d92b83764deb6a7ca42eded1161223ddd4278ce5",
  "source_objective": 2,
  "status": "UNSAT"
}