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

3.3 KB · on GitHub

[
  {
    "n": 29,
    "d": 10,
    "indeg0": 18,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 22467 54827",
    "status": "UNSAT",
    "time_s": 0.004,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-29-10-k18.cnf",
    "out": "ch-29-10-k18.out",
    "drat": "VERIFIED",
    "drat_bytes": 29426
  },
  {
    "n": 29,
    "d": 10,
    "indeg0": 17,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 22466 54705",
    "status": "UNSAT",
    "time_s": 0.004,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-29-10-k17.cnf",
    "out": "ch-29-10-k17.out",
    "drat": "VERIFIED",
    "drat_bytes": 40317
  },
  {
    "n": 29,
    "d": 10,
    "indeg0": 16,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 22520 54804",
    "status": "UNSAT",
    "time_s": 0.029,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-29-10-k16.cnf",
    "out": "ch-29-10-k16.out",
    "drat": "VERIFIED",
    "drat_bytes": 104307
  },
  {
    "n": 29,
    "d": 10,
    "indeg0": 15,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 22574 54903",
    "status": "UNSAT",
    "time_s": 0.012,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-29-10-k15.cnf",
    "out": "ch-29-10-k15.out",
    "drat": "VERIFIED",
    "drat_bytes": 105949
  },
  {
    "n": 29,
    "d": 10,
    "indeg0": 14,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 22628 55002",
    "status": "UNSAT",
    "time_s": 0.031,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-29-10-k14.cnf",
    "out": "ch-29-10-k14.out",
    "drat": "VERIFIED",
    "drat_bytes": 190809
  },
  {
    "n": 29,
    "d": 10,
    "indeg0": 13,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 22682 55101",
    "status": "UNSAT",
    "time_s": 0.041,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-29-10-k13.cnf",
    "out": "ch-29-10-k13.out",
    "drat": "VERIFIED",
    "drat_bytes": 179712
  },
  {
    "n": 29,
    "d": 10,
    "indeg0": 12,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 22736 55200",
    "status": "UNSAT",
    "time_s": 0.042,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-29-10-k12.cnf",
    "out": "ch-29-10-k12.out",
    "drat": "VERIFIED",
    "drat_bytes": 171305
  },
  {
    "n": 29,
    "d": 10,
    "indeg0": 11,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 22790 55299",
    "status": "UNSAT",
    "time_s": 0.047,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-29-10-k11.cnf",
    "out": "ch-29-10-k11.out",
    "drat": "VERIFIED",
    "drat_bytes": 165325
  },
  {
    "n": 29,
    "d": 10,
    "indeg0": 10,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 22844 55398",
    "status": "UNSAT",
    "time_s": 0.044,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-29-10-k10.cnf",
    "out": "ch-29-10-k10.out",
    "drat": "VERIFIED",
    "drat_bytes": 159827
  }
]