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

2.5 KB · on GitHub

[
  {
    "n": 21,
    "d": 7,
    "indeg0": 13,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 8249 20407",
    "status": "UNSAT",
    "time_s": 0.023,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-21-7-k13.cnf",
    "out": "ch-21-7-k13.out",
    "drat": "VERIFIED",
    "drat_bytes": 12063
  },
  {
    "n": 21,
    "d": 7,
    "indeg0": 12,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 8248 20320",
    "status": "UNSAT",
    "time_s": 0.015,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-21-7-k12.cnf",
    "out": "ch-21-7-k12.out",
    "drat": "VERIFIED",
    "drat_bytes": 17348
  },
  {
    "n": 21,
    "d": 7,
    "indeg0": 11,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 8286 20390",
    "status": "UNSAT",
    "time_s": 0.004,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-21-7-k11.cnf",
    "out": "ch-21-7-k11.out",
    "drat": "VERIFIED",
    "drat_bytes": 38437
  },
  {
    "n": 21,
    "d": 7,
    "indeg0": 10,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 8324 20460",
    "status": "UNSAT",
    "time_s": 0.009,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-21-7-k10.cnf",
    "out": "ch-21-7-k10.out",
    "drat": "VERIFIED",
    "drat_bytes": 39345
  },
  {
    "n": 21,
    "d": 7,
    "indeg0": 9,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 8362 20530",
    "status": "UNSAT",
    "time_s": 0.014,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-21-7-k9.cnf",
    "out": "ch-21-7-k9.out",
    "drat": "VERIFIED",
    "drat_bytes": 69589
  },
  {
    "n": 21,
    "d": 7,
    "indeg0": 8,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 8400 20600",
    "status": "UNSAT",
    "time_s": 0.029,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-21-7-k8.cnf",
    "out": "ch-21-7-k8.out",
    "drat": "VERIFIED",
    "drat_bytes": 62674
  },
  {
    "n": 21,
    "d": 7,
    "indeg0": 7,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 8438 20670",
    "status": "UNSAT",
    "time_s": 0.037,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-21-7-k7.cnf",
    "out": "ch-21-7-k7.out",
    "drat": "VERIFIED",
    "drat_bytes": 59115
  }
]