files / problems / caccetta-haggkvist-k3 / compute / q2 / certs / keep / n27_cubes.json

3.3 KB · on GitHub

[
  {
    "n": 27,
    "d": 9,
    "indeg0": 17,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 18003 44060",
    "status": "UNSAT",
    "time_s": 0.057,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-27-9-k17.cnf",
    "out": "ch-27-9-k17.out",
    "drat": "VERIFIED",
    "drat_bytes": 23725
  },
  {
    "n": 27,
    "d": 9,
    "indeg0": 16,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 18002 43947",
    "status": "UNSAT",
    "time_s": 0.011,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-27-9-k16.cnf",
    "out": "ch-27-9-k16.out",
    "drat": "VERIFIED",
    "drat_bytes": 33063
  },
  {
    "n": 27,
    "d": 9,
    "indeg0": 15,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 18052 44039",
    "status": "UNSAT",
    "time_s": 0.015,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-27-9-k15.cnf",
    "out": "ch-27-9-k15.out",
    "drat": "VERIFIED",
    "drat_bytes": 83664
  },
  {
    "n": 27,
    "d": 9,
    "indeg0": 14,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 18102 44131",
    "status": "UNSAT",
    "time_s": 0.007,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-27-9-k14.cnf",
    "out": "ch-27-9-k14.out",
    "drat": "VERIFIED",
    "drat_bytes": 85170
  },
  {
    "n": 27,
    "d": 9,
    "indeg0": 13,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 18152 44223",
    "status": "UNSAT",
    "time_s": 0.066,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-27-9-k13.cnf",
    "out": "ch-27-9-k13.out",
    "drat": "VERIFIED",
    "drat_bytes": 152688
  },
  {
    "n": 27,
    "d": 9,
    "indeg0": 12,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 18202 44315",
    "status": "UNSAT",
    "time_s": 0.043,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-27-9-k12.cnf",
    "out": "ch-27-9-k12.out",
    "drat": "VERIFIED",
    "drat_bytes": 142539
  },
  {
    "n": 27,
    "d": 9,
    "indeg0": 11,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 18252 44407",
    "status": "UNSAT",
    "time_s": 0.045,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-27-9-k11.cnf",
    "out": "ch-27-9-k11.out",
    "drat": "VERIFIED",
    "drat_bytes": 136914
  },
  {
    "n": 27,
    "d": 9,
    "indeg0": 10,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 18302 44499",
    "status": "UNSAT",
    "time_s": 0.058,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-27-9-k10.cnf",
    "out": "ch-27-9-k10.out",
    "drat": "VERIFIED",
    "drat_bytes": 130623
  },
  {
    "n": 27,
    "d": 9,
    "indeg0": 9,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 18352 44591",
    "status": "UNSAT",
    "time_s": 0.039,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-27-9-k9.cnf",
    "out": "ch-27-9-k9.out",
    "drat": "VERIFIED",
    "drat_bytes": 124716
  }
]