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

4.4 KB · on GitHub

[
  {
    "n": 36,
    "d": 12,
    "indeg0": 23,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 43659 105737",
    "status": "UNSAT",
    "time_s": 0.006,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-36-12-k23.cnf",
    "out": "ch-36-12-k23.out",
    "drat": "VERIFIED",
    "drat_bytes": 53524
  },
  {
    "n": 36,
    "d": 12,
    "indeg0": 22,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 43658 105585",
    "status": "UNSAT",
    "time_s": 0.027,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-36-12-k22.cnf",
    "out": "ch-36-12-k22.out",
    "drat": "VERIFIED",
    "drat_bytes": 70767
  },
  {
    "n": 36,
    "d": 12,
    "indeg0": 21,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 43726 105710",
    "status": "UNSAT",
    "time_s": 0.025,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-36-12-k21.cnf",
    "out": "ch-36-12-k21.out",
    "drat": "VERIFIED",
    "drat_bytes": 213254
  },
  {
    "n": 36,
    "d": 12,
    "indeg0": 20,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 43794 105835",
    "status": "UNSAT",
    "time_s": 0.015,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-36-12-k20.cnf",
    "out": "ch-36-12-k20.out",
    "drat": "VERIFIED",
    "drat_bytes": 215640
  },
  {
    "n": 36,
    "d": 12,
    "indeg0": 19,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 43862 105960",
    "status": "UNSAT",
    "time_s": 0.164,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-36-12-k19.cnf",
    "out": "ch-36-12-k19.out",
    "drat": "VERIFIED",
    "drat_bytes": 387827
  },
  {
    "n": 36,
    "d": 12,
    "indeg0": 18,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 43930 106085",
    "status": "UNSAT",
    "time_s": 0.073,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-36-12-k18.cnf",
    "out": "ch-36-12-k18.out",
    "drat": "VERIFIED",
    "drat_bytes": 367930
  },
  {
    "n": 36,
    "d": 12,
    "indeg0": 17,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 43998 106210",
    "status": "UNSAT",
    "time_s": 0.06,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-36-12-k17.cnf",
    "out": "ch-36-12-k17.out",
    "drat": "VERIFIED",
    "drat_bytes": 357271
  },
  {
    "n": 36,
    "d": 12,
    "indeg0": 16,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 44066 106335",
    "status": "UNSAT",
    "time_s": 0.066,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-36-12-k16.cnf",
    "out": "ch-36-12-k16.out",
    "drat": "VERIFIED",
    "drat_bytes": 345177
  },
  {
    "n": 36,
    "d": 12,
    "indeg0": 15,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 44134 106460",
    "status": "UNSAT",
    "time_s": 0.112,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-36-12-k15.cnf",
    "out": "ch-36-12-k15.out",
    "drat": "VERIFIED",
    "drat_bytes": 333299
  },
  {
    "n": 36,
    "d": 12,
    "indeg0": 14,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 44202 106585",
    "status": "UNSAT",
    "time_s": 0.069,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-36-12-k14.cnf",
    "out": "ch-36-12-k14.out",
    "drat": "VERIFIED",
    "drat_bytes": 321884
  },
  {
    "n": 36,
    "d": 12,
    "indeg0": 13,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 44270 106710",
    "status": "UNSAT",
    "time_s": 0.082,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-36-12-k13.cnf",
    "out": "ch-36-12-k13.out",
    "drat": "VERIFIED",
    "drat_bytes": 309262
  },
  {
    "n": 36,
    "d": 12,
    "indeg0": 12,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 44338 106835",
    "status": "UNSAT",
    "time_s": 0.089,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-36-12-k12.cnf",
    "out": "ch-36-12-k12.out",
    "drat": "VERIFIED",
    "drat_bytes": 298472
  }
]