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

2.8 KB · on GitHub

[
  {
    "n": 18,
    "d": 6,
    "indeg0": 11,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5091 12686",
    "status": "UNSAT",
    "time_s": 0.003,
    "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": 9,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5122 12671",
    "status": "UNSAT",
    "time_s": 0.003,
    "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": 8,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5154 12730",
    "status": "UNSAT",
    "time_s": 0.003,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-18-6-k8.cnf",
    "out": "ch-18-6-k8.out",
    "drat": "VERIFIED",
    "drat_bytes": 25157
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 7,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5186 12789",
    "status": "UNSAT",
    "time_s": 0.012,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-18-6-k7.cnf",
    "out": "ch-18-6-k7.out",
    "drat": "VERIFIED",
    "drat_bytes": 44098
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 6,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5218 12848",
    "status": "UNSAT",
    "time_s": 0.03,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-18-6-k6.cnf",
    "out": "ch-18-6-k6.out",
    "drat": "VERIFIED",
    "drat_bytes": 39426
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 5,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5250 12907",
    "status": "UNSAT",
    "time_s": 1.113,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-18-6-k5.cnf",
    "out": "ch-18-6-k5.out",
    "drat": "VERIFIED",
    "drat_bytes": 2629612
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 4,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5282 12966",
    "status": "UNSAT",
    "time_s": 6.034,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-18-6-k4.cnf",
    "out": "ch-18-6-k4.out",
    "drat": "VERIFIED",
    "drat_bytes": 13887606
  },
  {
    "n": 18,
    "d": 6,
    "indeg0": 3,
    "exact_in": false,
    "sb": true,
    "header": "p cnf 5314 13025",
    "status": "UNSAT",
    "time_s": 21.885,
    "timeout_s": 180,
    "returncode": 20,
    "cnf": "ch-18-6-k3.cnf",
    "out": "ch-18-6-k3.out",
    "drat": "VERIFIED",
    "drat_bytes": 52353252
  }
]