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

1.8 KB · on GitHub

[
  {
    "n": 18,
    "d": 6,
    "indeg0": 1,
    "u_from_1": 1,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5345 13021",
    "status": "UNSAT",
    "time_s": 0.004,
    "timeout_s": 30,
    "returncode": 20,
    "cnf": "ch-18-6-k1-t1.cnf",
    "out": "ch-18-6-k1-t1.out",
    "drat": "VERIFIED",
    "drat_bytes": 17774
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 1,
    "u_from_1": 2,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5345 13022",
    "status": "UNSAT",
    "time_s": 0.003,
    "timeout_s": 30,
    "returncode": 20,
    "cnf": "ch-18-6-k1-t2.cnf",
    "out": "ch-18-6-k1-t2.out",
    "drat": "VERIFIED",
    "drat_bytes": 16419
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 1,
    "u_from_1": 3,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5345 13023",
    "status": "UNSAT",
    "time_s": 0.002,
    "timeout_s": 30,
    "returncode": 20,
    "cnf": "ch-18-6-k1-t3.cnf",
    "out": "ch-18-6-k1-t3.out",
    "drat": "VERIFIED",
    "drat_bytes": 17742
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 1,
    "u_from_1": 4,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5345 13024",
    "status": "UNSAT",
    "time_s": 0.014,
    "timeout_s": 30,
    "returncode": 20,
    "cnf": "ch-18-6-k1-t4.cnf",
    "out": "ch-18-6-k1-t4.out",
    "drat": "VERIFIED",
    "drat_bytes": 32298
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 1,
    "u_from_1": 5,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5345 13025",
    "status": "UNSAT",
    "time_s": 0.026,
    "timeout_s": 30,
    "returncode": 20,
    "cnf": "ch-18-6-k1-t5.cnf",
    "out": "ch-18-6-k1-t5.out",
    "drat": "VERIFIED",
    "drat_bytes": 29839
  }
]