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

2.9 KB · on GitHub

[
  {
    "n": 24,
    "d": 8,
    "indeg0": 15,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 12499 30739",
    "status": "UNSAT",
    "time_s": 0.036,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-24-8-k15.cnf",
    "out": "ch-24-8-k15.out",
    "drat": "VERIFIED",
    "drat_bytes": 17552
  },
  {
    "n": 24,
    "d": 8,
    "indeg0": 14,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 12498 30639",
    "status": "UNSAT",
    "time_s": 0.045,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-24-8-k14.cnf",
    "out": "ch-24-8-k14.out",
    "drat": "VERIFIED",
    "drat_bytes": 24731
  },
  {
    "n": 24,
    "d": 8,
    "indeg0": 13,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 12542 30720",
    "status": "UNSAT",
    "time_s": 0.019,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-24-8-k13.cnf",
    "out": "ch-24-8-k13.out",
    "drat": "VERIFIED",
    "drat_bytes": 59096
  },
  {
    "n": 24,
    "d": 8,
    "indeg0": 12,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 12586 30801",
    "status": "UNSAT",
    "time_s": 0.005,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-24-8-k12.cnf",
    "out": "ch-24-8-k12.out",
    "drat": "VERIFIED",
    "drat_bytes": 60334
  },
  {
    "n": 24,
    "d": 8,
    "indeg0": 11,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 12630 30882",
    "status": "UNSAT",
    "time_s": 0.018,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-24-8-k11.cnf",
    "out": "ch-24-8-k11.out",
    "drat": "VERIFIED",
    "drat_bytes": 107800
  },
  {
    "n": 24,
    "d": 8,
    "indeg0": 10,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 12674 30963",
    "status": "UNSAT",
    "time_s": 0.042,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-24-8-k10.cnf",
    "out": "ch-24-8-k10.out",
    "drat": "VERIFIED",
    "drat_bytes": 99034
  },
  {
    "n": 24,
    "d": 8,
    "indeg0": 9,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 12718 31044",
    "status": "UNSAT",
    "time_s": 0.033,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-24-8-k9.cnf",
    "out": "ch-24-8-k9.out",
    "drat": "VERIFIED",
    "drat_bytes": 94393
  },
  {
    "n": 24,
    "d": 8,
    "indeg0": 8,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 12762 31125",
    "status": "UNSAT",
    "time_s": 0.033,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-24-8-k8.cnf",
    "out": "ch-24-8-k8.out",
    "drat": "VERIFIED",
    "drat_bytes": 89170
  }
]