files / problems / caccetta-haggkvist-k3 / compute / q1 / certs / keep

..
ch-12-4.json279 B
ch-15-5.json281 B
ch-16-6.json281 B
ch-17-6.json285 B
ch-18-6-k0-t1.cnf187 KB
ch-18-6-k0-t2.cnf187 KB
ch-18-6-k0-t3.cnf187 KB
ch-18-6-k0-t4.cnf187 KB
ch-18-6-k0-t5.cnf187 KB
ch-18-6-k0.json242 B
ch-18-6-k1-proof.json336 B
ch-18-6-k1-t1.cnf184 KB
ch-18-6-k1-t2.cnf184 KB
ch-18-6-k1-t3.cnf184 KB
ch-18-6-k1-t4.cnf184 KB
ch-18-6-k1-t5.cnf184 KB
ch-18-6-k1.json241 B
ch-18-6-k1.sha256163 B
ch-18-6-k10.cnf178 KB
ch-18-6-k11.cnf179 KB
ch-18-6-k6.cnf181 KB
ch-18-6-k7.cnf180 KB
ch-18-6-k8.cnf179 KB
ch-18-6-k9.cnf178 KB
ch-6-2.json273 B
ch-9-3.json274 B
cube_soundness_n9.json5.2 KB
n18_cubes.json3.4 KB
n18_k0_t_cubes.json1.8 KB
n18_k1_t_cubes.json1.8 KB
n18_proofs.json2.8 KB
n18_summary.json1.3 KB
README.md865 B
regression.json4.5 KB

This folder on GitHub