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

718 B · on GitHub

{
  "build_sec": 2.51,
  "cnf_sha256": "dd752b12ee57a563fcaebc271207ade4dd7a6789526dc6a91cd9266d6bb03b93",
  "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": 303809,
  "nvars": 3612,
  "radius": 3,
  "relevant_clique_clauses": 151430,
  "relevant_independent_clauses": 141551,
  "solve_sec": 1.03,
  "solver": "PySAT Cadical195",
  "source_bad_masks": [
    "0x240000811",
    "0x240020801"
  ],
  "source_graph6_sha256": "07ef1440495d71459ee06e67d92b83764deb6a7ca42eded1161223ddd4278ce5",
  "source_objective": 2,
  "status": "UNSAT"
}