SAT/f/f1000.cnf
SAT/f/f2000.cnf
SAT/f/f600.cnf
SAT/gcp/g125.17.cnf
SAT/gcp/g125.18.cnf
SAT/gcp/g250.15.cnf
SAT/gcp/g250.29.cnf
SAT/parity/par32-1-c.cnf
SAT/parity/par32-1.cnf
SAT/parity/par32-2-c.cnf
SAT/parity/par32-2.cnf
SAT/parity/par32-3-c.cnf
SAT/parity/par32-3.cnf
SAT/parity/par32-4-c.cnf
SAT/parity/par32-4.cnf
SAT/parity/par32-5-c.cnf
SAT/parity/par32-5.cnf
UNSAT/pigeon-hole/hole9.cnf
UNSAT/pigeon-hole/hole10.cnf