files / problems / caccetta-haggkvist-k3 / compute / q1 / certs / keep / n18_k0_t_cubes.json

1.8 KB · on GitHub

[
  {
    "n": 18,
    "d": 6,
    "indeg0": 0,
    "u_from_1": 1,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5410 13214",
    "status": "UNSAT",
    "time_s": 0.003,
    "timeout_s": 30,
    "returncode": 20,
    "cnf": "ch-18-6-k0-t1.cnf",
    "out": "ch-18-6-k0-t1.out",
    "drat": "VERIFIED",
    "drat_bytes": 16051
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 0,
    "u_from_1": 2,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5410 13215",
    "status": "UNSAT",
    "time_s": 0.003,
    "timeout_s": 30,
    "returncode": 20,
    "cnf": "ch-18-6-k0-t2.cnf",
    "out": "ch-18-6-k0-t2.out",
    "drat": "VERIFIED",
    "drat_bytes": 14513
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 0,
    "u_from_1": 3,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5410 13216",
    "status": "UNSAT",
    "time_s": 0.003,
    "timeout_s": 30,
    "returncode": 20,
    "cnf": "ch-18-6-k0-t3.cnf",
    "out": "ch-18-6-k0-t3.out",
    "drat": "VERIFIED",
    "drat_bytes": 15836
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 0,
    "u_from_1": 4,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5410 13217",
    "status": "UNSAT",
    "time_s": 0.015,
    "timeout_s": 30,
    "returncode": 20,
    "cnf": "ch-18-6-k0-t4.cnf",
    "out": "ch-18-6-k0-t4.out",
    "drat": "VERIFIED",
    "drat_bytes": 28907
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 0,
    "u_from_1": 5,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5410 13218",
    "status": "UNSAT",
    "time_s": 0.027,
    "timeout_s": 30,
    "returncode": 20,
    "cnf": "ch-18-6-k0-t5.cnf",
    "out": "ch-18-6-k0-t5.out",
    "drat": "VERIFIED",
    "drat_bytes": 26410
  }
]