files / problems / caccetta-haggkvist-k3 / compute / q1 / certs / keep / n18_cubes.json

3.4 KB · on GitHub

[
  {
    "n": 18,
    "d": 6,
    "indeg0": 11,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5091 12686",
    "status": "UNSAT",
    "time_s": 0.002,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-18-6-k11.cnf",
    "out": "ch-18-6-k11.out",
    "drat": "VERIFIED",
    "drat_bytes": 8146
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 10,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5090 12612",
    "status": "UNSAT",
    "time_s": 0.002,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-18-6-k10.cnf",
    "out": "ch-18-6-k10.out",
    "drat": "VERIFIED",
    "drat_bytes": 11910
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 0,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5443 13335",
    "status": "UNKNOWN",
    "time_s": 180.004,
    "timeout_s": 180,
    "returncode": 0,
    "cnf": "ch-18-6-k0.cnf",
    "out": "ch-18-6-k0.out"
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 1,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5378 13143",
    "status": "UNKNOWN",
    "time_s": 180.004,
    "timeout_s": 180,
    "returncode": 0,
    "cnf": "ch-18-6-k1.cnf",
    "out": "ch-18-6-k1.out"
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 9,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5122 12671",
    "status": "UNSAT",
    "time_s": 0.004,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-18-6-k9.cnf",
    "out": "ch-18-6-k9.out",
    "drat": "VERIFIED",
    "drat_bytes": 24474
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 2,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5346 13084",
    "status": "UNSAT",
    "time_s": 114.754,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-18-6-k2.cnf",
    "out": "ch-18-6-k2.out",
    "drat": "VERIFIED",
    "drat_bytes": 256511500
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 8,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5154 12730",
    "status": "UNSAT",
    "time_s": 0.003,
    "timeout_s": 300,
    "returncode": 20,
    "cnf": "ch-18-6-k8.cnf",
    "out": "ch-18-6-k8.out"
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 7,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5186 12789",
    "status": "UNSAT",
    "time_s": 0.012,
    "timeout_s": 300,
    "returncode": 20,
    "cnf": "ch-18-6-k7.cnf",
    "out": "ch-18-6-k7.out"
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 6,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5218 12848",
    "status": "UNSAT",
    "time_s": 0.029,
    "timeout_s": 300,
    "returncode": 20,
    "cnf": "ch-18-6-k6.cnf",
    "out": "ch-18-6-k6.out"
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 5,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5250 12907",
    "status": "UNSAT",
    "time_s": 1.116,
    "timeout_s": 300,
    "returncode": 20,
    "cnf": "ch-18-6-k5.cnf",
    "out": "ch-18-6-k5.out"
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 4,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5282 12966",
    "status": "UNSAT",
    "time_s": 6.139,
    "timeout_s": 300,
    "returncode": 20,
    "cnf": "ch-18-6-k4.cnf",
    "out": "ch-18-6-k4.out"
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 3,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5314 13025",
    "status": "UNSAT",
    "time_s": 23.888,
    "timeout_s": 300,
    "returncode": 20,
    "cnf": "ch-18-6-k3.cnf",
    "out": "ch-18-6-k3.out"
  }
]