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

4.0 KB · on GitHub

[
  {
    "n": 33,
    "d": 11,
    "indeg0": 21,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 33421 81181",
    "status": "UNSAT",
    "time_s": 0.005,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-33-11-k21.cnf",
    "out": "ch-33-11-k21.out",
    "drat": "VERIFIED",
    "drat_bytes": 41449
  },
  {
    "n": 33,
    "d": 11,
    "indeg0": 20,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 33420 81042",
    "status": "UNSAT",
    "time_s": 0.012,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-33-11-k20.cnf",
    "out": "ch-33-11-k20.out",
    "drat": "VERIFIED",
    "drat_bytes": 55824
  },
  {
    "n": 33,
    "d": 11,
    "indeg0": 19,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 33482 81156",
    "status": "UNSAT",
    "time_s": 0.013,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-33-11-k19.cnf",
    "out": "ch-33-11-k19.out",
    "drat": "VERIFIED",
    "drat_bytes": 160619
  },
  {
    "n": 33,
    "d": 11,
    "indeg0": 18,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 33544 81270",
    "status": "UNSAT",
    "time_s": 0.02,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-33-11-k18.cnf",
    "out": "ch-33-11-k18.out",
    "drat": "VERIFIED",
    "drat_bytes": 162696
  },
  {
    "n": 33,
    "d": 11,
    "indeg0": 17,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 33606 81384",
    "status": "UNSAT",
    "time_s": 0.041,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-33-11-k17.cnf",
    "out": "ch-33-11-k17.out",
    "drat": "VERIFIED",
    "drat_bytes": 290829
  },
  {
    "n": 33,
    "d": 11,
    "indeg0": 16,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 33668 81498",
    "status": "UNSAT",
    "time_s": 0.054,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-33-11-k16.cnf",
    "out": "ch-33-11-k16.out",
    "drat": "VERIFIED",
    "drat_bytes": 275636
  },
  {
    "n": 33,
    "d": 11,
    "indeg0": 15,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 33730 81612",
    "status": "UNSAT",
    "time_s": 0.053,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-33-11-k15.cnf",
    "out": "ch-33-11-k15.out",
    "drat": "VERIFIED",
    "drat_bytes": 266413
  },
  {
    "n": 33,
    "d": 11,
    "indeg0": 14,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 33792 81726",
    "status": "UNSAT",
    "time_s": 0.054,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-33-11-k14.cnf",
    "out": "ch-33-11-k14.out",
    "drat": "VERIFIED",
    "drat_bytes": 260447
  },
  {
    "n": 33,
    "d": 11,
    "indeg0": 13,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 33854 81840",
    "status": "UNSAT",
    "time_s": 0.055,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-33-11-k13.cnf",
    "out": "ch-33-11-k13.out",
    "drat": "VERIFIED",
    "drat_bytes": 247778
  },
  {
    "n": 33,
    "d": 11,
    "indeg0": 12,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 33916 81954",
    "status": "UNSAT",
    "time_s": 0.056,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-33-11-k12.cnf",
    "out": "ch-33-11-k12.out",
    "drat": "VERIFIED",
    "drat_bytes": 237738
  },
  {
    "n": 33,
    "d": 11,
    "indeg0": 11,
    "u_from_1": null,
    "nplus1_from_2": null,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 33978 82068",
    "status": "UNSAT",
    "time_s": 0.058,
    "timeout_s": 120,
    "returncode": 20,
    "cnf": "ch-33-11-k11.cnf",
    "out": "ch-33-11-k11.out",
    "drat": "VERIFIED",
    "drat_bytes": 227478
  }
]