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

3.7 KB · on GitHub

[
  {
    "n": 30,
    "d": 10,
    "indeg0": 19,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 24923 60748",
    "status": "UNSAT",
    "time_s": 0.011,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-30-10-k19.cnf",
    "out": "ch-30-10-k19.out",
    "drat": "VERIFIED",
    "drat_bytes": 31381
  },
  {
    "n": 30,
    "d": 10,
    "indeg0": 18,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 24922 60622",
    "status": "UNSAT",
    "time_s": 0.004,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-30-10-k18.cnf",
    "out": "ch-30-10-k18.out",
    "drat": "VERIFIED",
    "drat_bytes": 43105
  },
  {
    "n": 30,
    "d": 10,
    "indeg0": 17,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 24978 60725",
    "status": "UNSAT",
    "time_s": 0.029,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-30-10-k17.cnf",
    "out": "ch-30-10-k17.out",
    "drat": "VERIFIED",
    "drat_bytes": 115853
  },
  {
    "n": 30,
    "d": 10,
    "indeg0": 16,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 25034 60828",
    "status": "UNSAT",
    "time_s": 0.016,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-30-10-k16.cnf",
    "out": "ch-30-10-k16.out",
    "drat": "VERIFIED",
    "drat_bytes": 117640
  },
  {
    "n": 30,
    "d": 10,
    "indeg0": 15,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 25090 60931",
    "status": "UNSAT",
    "time_s": 0.06,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-30-10-k15.cnf",
    "out": "ch-30-10-k15.out",
    "drat": "VERIFIED",
    "drat_bytes": 211298
  },
  {
    "n": 30,
    "d": 10,
    "indeg0": 14,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 25146 61034",
    "status": "UNSAT",
    "time_s": 0.044,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-30-10-k14.cnf",
    "out": "ch-30-10-k14.out",
    "drat": "VERIFIED",
    "drat_bytes": 199884
  },
  {
    "n": 30,
    "d": 10,
    "indeg0": 13,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 25202 61137",
    "status": "UNSAT",
    "time_s": 0.044,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-30-10-k13.cnf",
    "out": "ch-30-10-k13.out",
    "drat": "VERIFIED",
    "drat_bytes": 191244
  },
  {
    "n": 30,
    "d": 10,
    "indeg0": 12,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 25258 61240",
    "status": "UNSAT",
    "time_s": 0.045,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-30-10-k12.cnf",
    "out": "ch-30-10-k12.out",
    "drat": "VERIFIED",
    "drat_bytes": 185083
  },
  {
    "n": 30,
    "d": 10,
    "indeg0": 11,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 25314 61343",
    "status": "UNSAT",
    "time_s": 0.071,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-30-10-k11.cnf",
    "out": "ch-30-10-k11.out",
    "drat": "VERIFIED",
    "drat_bytes": 179425
  },
  {
    "n": 30,
    "d": 10,
    "indeg0": 10,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 25370 61446",
    "status": "UNSAT",
    "time_s": 0.048,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-30-10-k10.cnf",
    "out": "ch-30-10-k10.out",
    "drat": "VERIFIED",
    "drat_bytes": 169390
  }
]