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

3.7 KB · on GitHub

[
  {
    "n": 32,
    "d": 11,
    "indeg0": 20,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 30423 73974",
    "status": "UNSAT",
    "time_s": 0.028,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-32-11-k20.cnf",
    "out": "ch-32-11-k20.out",
    "drat": "VERIFIED",
    "drat_bytes": 39092
  },
  {
    "n": 32,
    "d": 11,
    "indeg0": 19,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 30422 73839",
    "status": "UNSAT",
    "time_s": 0.005,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-32-11-k19.cnf",
    "out": "ch-32-11-k19.out",
    "drat": "VERIFIED",
    "drat_bytes": 52563
  },
  {
    "n": 32,
    "d": 11,
    "indeg0": 18,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 30482 73949",
    "status": "UNSAT",
    "time_s": 0.033,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-32-11-k18.cnf",
    "out": "ch-32-11-k18.out",
    "drat": "VERIFIED",
    "drat_bytes": 146220
  },
  {
    "n": 32,
    "d": 11,
    "indeg0": 17,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 30542 74059",
    "status": "UNSAT",
    "time_s": 0.019,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-32-11-k17.cnf",
    "out": "ch-32-11-k17.out",
    "drat": "VERIFIED",
    "drat_bytes": 148132
  },
  {
    "n": 32,
    "d": 11,
    "indeg0": 16,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 30602 74169",
    "status": "UNSAT",
    "time_s": 0.07,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-32-11-k16.cnf",
    "out": "ch-32-11-k16.out",
    "drat": "VERIFIED",
    "drat_bytes": 265783
  },
  {
    "n": 32,
    "d": 11,
    "indeg0": 15,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 30662 74279",
    "status": "UNSAT",
    "time_s": 0.058,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-32-11-k15.cnf",
    "out": "ch-32-11-k15.out",
    "drat": "VERIFIED",
    "drat_bytes": 250851
  },
  {
    "n": 32,
    "d": 11,
    "indeg0": 14,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 30722 74389",
    "status": "UNSAT",
    "time_s": 0.07,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-32-11-k14.cnf",
    "out": "ch-32-11-k14.out",
    "drat": "VERIFIED",
    "drat_bytes": 241875
  },
  {
    "n": 32,
    "d": 11,
    "indeg0": 13,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 30782 74499",
    "status": "UNSAT",
    "time_s": 0.051,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-32-11-k13.cnf",
    "out": "ch-32-11-k13.out",
    "drat": "VERIFIED",
    "drat_bytes": 235958
  },
  {
    "n": 32,
    "d": 11,
    "indeg0": 12,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 30842 74609",
    "status": "UNSAT",
    "time_s": 0.051,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-32-11-k12.cnf",
    "out": "ch-32-11-k12.out",
    "drat": "VERIFIED",
    "drat_bytes": 223704
  },
  {
    "n": 32,
    "d": 11,
    "indeg0": 11,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 30902 74719",
    "status": "UNSAT",
    "time_s": 0.055,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-32-11-k11.cnf",
    "out": "ch-32-11-k11.out",
    "drat": "VERIFIED",
    "drat_bytes": 213902
  }
]