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

4.0 KB · on GitHub

[
  {
    "n": 35,
    "d": 12,
    "indeg0": 22,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 40065 97118",
    "status": "UNSAT",
    "time_s": 0.035,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-35-12-k22.cnf",
    "out": "ch-35-12-k22.out",
    "drat": "VERIFIED",
    "drat_bytes": 50344
  },
  {
    "n": 35,
    "d": 12,
    "indeg0": 21,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 40064 96970",
    "status": "UNSAT",
    "time_s": 0.007,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-35-12-k21.cnf",
    "out": "ch-35-12-k21.out",
    "drat": "VERIFIED",
    "drat_bytes": 66620
  },
  {
    "n": 35,
    "d": 12,
    "indeg0": 20,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 40130 97091",
    "status": "UNSAT",
    "time_s": 0.033,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-35-12-k20.cnf",
    "out": "ch-35-12-k20.out",
    "drat": "VERIFIED",
    "drat_bytes": 197398
  },
  {
    "n": 35,
    "d": 12,
    "indeg0": 19,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 40196 97212",
    "status": "UNSAT",
    "time_s": 0.012,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-35-12-k19.cnf",
    "out": "ch-35-12-k19.out",
    "drat": "VERIFIED",
    "drat_bytes": 199633
  },
  {
    "n": 35,
    "d": 12,
    "indeg0": 18,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 40262 97333",
    "status": "UNSAT",
    "time_s": 0.058,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-35-12-k18.cnf",
    "out": "ch-35-12-k18.out",
    "drat": "VERIFIED",
    "drat_bytes": 361397
  },
  {
    "n": 35,
    "d": 12,
    "indeg0": 17,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 40328 97454",
    "status": "UNSAT",
    "time_s": 0.059,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-35-12-k17.cnf",
    "out": "ch-35-12-k17.out",
    "drat": "VERIFIED",
    "drat_bytes": 339676
  },
  {
    "n": 35,
    "d": 12,
    "indeg0": 16,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 40394 97575",
    "status": "UNSAT",
    "time_s": 0.068,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-35-12-k16.cnf",
    "out": "ch-35-12-k16.out",
    "drat": "VERIFIED",
    "drat_bytes": 329198
  },
  {
    "n": 35,
    "d": 12,
    "indeg0": 15,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 40460 97696",
    "status": "UNSAT",
    "time_s": 0.058,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-35-12-k15.cnf",
    "out": "ch-35-12-k15.out",
    "drat": "VERIFIED",
    "drat_bytes": 317319
  },
  {
    "n": 35,
    "d": 12,
    "indeg0": 14,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 40526 97817",
    "status": "UNSAT",
    "time_s": 0.069,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-35-12-k14.cnf",
    "out": "ch-35-12-k14.out",
    "drat": "VERIFIED",
    "drat_bytes": 305658
  },
  {
    "n": 35,
    "d": 12,
    "indeg0": 13,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 40592 97938",
    "status": "UNSAT",
    "time_s": 0.062,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-35-12-k13.cnf",
    "out": "ch-35-12-k13.out",
    "drat": "VERIFIED",
    "drat_bytes": 294446
  },
  {
    "n": 35,
    "d": 12,
    "indeg0": 12,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 40658 98059",
    "status": "UNSAT",
    "time_s": 0.065,
    "timeout_s": 90,
    "returncode": 20,
    "cnf": "ch-35-12-k12.cnf",
    "out": "ch-35-12-k12.out",
    "drat": "VERIFIED",
    "drat_bytes": 282049
  }
]