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

722 B · on GitHub

{
  "build_sec": 6.865,
  "cnf_sha256": "178b0dfd949fdc30ee96e18259ea8a4f69a70a41ec56cf482909aa056cfc480e",
  "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": 1235899,
  "nvars": 5418,
  "radius": 5,
  "relevant_clique_clauses": 622239,
  "relevant_independent_clauses": 595614,
  "solve_sec": 25.893,
  "solver": "PySAT Cadical195",
  "source_bad_masks": [
    "0x240000811",
    "0x240020801"
  ],
  "source_graph6_sha256": "07ef1440495d71459ee06e67d92b83764deb6a7ca42eded1161223ddd4278ce5",
  "source_objective": 2,
  "status": "UNSAT"
}