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

2.9 KB · on GitHub

[
  {
    "n": 26,
    "d": 9,
    "indeg0": 16,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 16035 39299",
    "status": "UNSAT",
    "time_s": 0.004,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-26-9-k16.cnf",
    "out": "ch-26-9-k16.out",
    "drat": "VERIFIED",
    "drat_bytes": 22086
  },
  {
    "n": 26,
    "d": 9,
    "indeg0": 15,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 16034 39190",
    "status": "UNSAT",
    "time_s": 0.014,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-26-9-k15.cnf",
    "out": "ch-26-9-k15.out",
    "drat": "VERIFIED",
    "drat_bytes": 30689
  },
  {
    "n": 26,
    "d": 9,
    "indeg0": 14,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 16082 39278",
    "status": "UNSAT",
    "time_s": 0.014,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-26-9-k14.cnf",
    "out": "ch-26-9-k14.out",
    "drat": "VERIFIED",
    "drat_bytes": 75748
  },
  {
    "n": 26,
    "d": 9,
    "indeg0": 13,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 16130 39366",
    "status": "UNSAT",
    "time_s": 0.007,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-26-9-k13.cnf",
    "out": "ch-26-9-k13.out",
    "drat": "VERIFIED",
    "drat_bytes": 77116
  },
  {
    "n": 26,
    "d": 9,
    "indeg0": 12,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 16178 39454",
    "status": "UNSAT",
    "time_s": 0.064,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-26-9-k12.cnf",
    "out": "ch-26-9-k12.out",
    "drat": "VERIFIED",
    "drat_bytes": 138352
  },
  {
    "n": 26,
    "d": 9,
    "indeg0": 11,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 16226 39542",
    "status": "UNSAT",
    "time_s": 0.036,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-26-9-k11.cnf",
    "out": "ch-26-9-k11.out",
    "drat": "VERIFIED",
    "drat_bytes": 128310
  },
  {
    "n": 26,
    "d": 9,
    "indeg0": 10,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 16274 39630",
    "status": "UNSAT",
    "time_s": 0.047,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-26-9-k10.cnf",
    "out": "ch-26-9-k10.out",
    "drat": "VERIFIED",
    "drat_bytes": 121860
  },
  {
    "n": 26,
    "d": 9,
    "indeg0": 9,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 16322 39718",
    "status": "UNSAT",
    "time_s": 0.037,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-26-9-k9.cnf",
    "out": "ch-26-9-k9.out",
    "drat": "VERIFIED",
    "drat_bytes": 116542
  }
]