SAT/aim/aim-100-1_6-yes1-1.cnf
SAT/aim/aim-100-1_6-yes1-2.cnf
SAT/aim/aim-100-1_6-yes1-3.cnf
SAT/aim/aim-100-1_6-yes1-4.cnf
SAT/aim/aim-100-2_0-yes1-1.cnf
SAT/aim/aim-100-2_0-yes1-2.cnf
SAT/aim/aim-100-2_0-yes1-3.cnf
SAT/aim/aim-100-2_0-yes1-4.cnf
SAT/aim/aim-100-3_4-yes1-1.cnf
SAT/aim/aim-100-3_4-yes1-2.cnf
SAT/aim/aim-100-3_4-yes1-3.cnf
SAT/aim/aim-100-3_4-yes1-4.cnf
SAT/aim/aim-100-6_0-yes1-1.cnf
SAT/aim/aim-100-6_0-yes1-2.cnf
SAT/aim/aim-100-6_0-yes1-3.cnf
SAT/aim/aim-100-6_0-yes1-4.cnf
SAT/aim/aim-200-1_6-yes1-1.cnf
SAT/aim/aim-200-1_6-yes1-2.cnf
SAT/aim/aim-200-1_6-yes1-3.cnf
SAT/aim/aim-200-1_6-yes1-4.cnf
SAT/aim/aim-200-2_0-yes1-1.cnf
SAT/aim/aim-200-2_0-yes1-2.cnf
SAT/aim/aim-200-2_0-yes1-3.cnf
SAT/aim/aim-200-2_0-yes1-4.cnf
SAT/aim/aim-200-3_4-yes1-1.cnf
SAT/aim/aim-200-3_4-yes1-2.cnf
SAT/aim/aim-200-3_4-yes1-3.cnf
SAT/aim/aim-200-3_4-yes1-4.cnf
SAT/aim/aim-200-6_0-yes1-1.cnf
SAT/aim/aim-200-6_0-yes1-2.cnf
SAT/aim/aim-200-6_0-yes1-3.cnf
SAT/aim/aim-200-6_0-yes1-4.cnf
SAT/aim/aim-50-1_6-yes1-1.cnf
SAT/aim/aim-50-1_6-yes1-2.cnf
SAT/aim/aim-50-1_6-yes1-3.cnf
SAT/aim/aim-50-1_6-yes1-4.cnf
SAT/aim/aim-50-2_0-yes1-1.cnf
SAT/aim/aim-50-2_0-yes1-2.cnf
SAT/aim/aim-50-2_0-yes1-3.cnf
SAT/aim/aim-50-2_0-yes1-4.cnf
SAT/aim/aim-50-3_4-yes1-1.cnf
SAT/aim/aim-50-3_4-yes1-2.cnf
SAT/aim/aim-50-3_4-yes1-3.cnf
SAT/aim/aim-50-3_4-yes1-4.cnf
SAT/aim/aim-50-6_0-yes1-1.cnf
SAT/aim/aim-50-6_0-yes1-2.cnf
SAT/aim/aim-50-6_0-yes1-3.cnf
SAT/aim/aim-50-6_0-yes1-4.cnf
SAT/hanoi/hanoi4.cnf
SAT/hanoi/hanoi5.cnf
SAT/inductive-inference/ii16a1.cnf
SAT/inductive-inference/ii16a2.cnf
SAT/inductive-inference/ii16b1.cnf
SAT/inductive-inference/ii16b2.cnf
SAT/inductive-inference/ii16c1.cnf
SAT/inductive-inference/ii16c2.cnf
SAT/inductive-inference/ii16d1.cnf
SAT/inductive-inference/ii16d2.cnf
SAT/inductive-inference/ii16e1.cnf
SAT/inductive-inference/ii16e2.cnf
SAT/inductive-inference/ii32a1.cnf
SAT/inductive-inference/ii32b1.cnf
SAT/inductive-inference/ii32b2.cnf
SAT/inductive-inference/ii32b3.cnf
SAT/inductive-inference/ii32b4.cnf
SAT/inductive-inference/ii32c1.cnf
SAT/inductive-inference/ii32c2.cnf
SAT/inductive-inference/ii32c3.cnf
SAT/inductive-inference/ii32c4.cnf
SAT/inductive-inference/ii32d1.cnf
SAT/inductive-inference/ii32d2.cnf
SAT/inductive-inference/ii32d3.cnf
SAT/inductive-inference/ii32e1.cnf
SAT/inductive-inference/ii32e2.cnf
SAT/inductive-inference/ii32e3.cnf
SAT/inductive-inference/ii32e4.cnf
SAT/inductive-inference/ii32e5.cnf
SAT/inductive-inference/ii8a1.cnf
SAT/inductive-inference/ii8a2.cnf
SAT/inductive-inference/ii8a3.cnf
SAT/inductive-inference/ii8a4.cnf
SAT/inductive-inference/ii8b1.cnf
SAT/inductive-inference/ii8b2.cnf
SAT/inductive-inference/ii8b3.cnf
SAT/inductive-inference/ii8b4.cnf
SAT/inductive-inference/ii8c1.cnf
SAT/inductive-inference/ii8c2.cnf
SAT/inductive-inference/ii8d1.cnf
SAT/inductive-inference/ii8d2.cnf
SAT/inductive-inference/ii8e1.cnf
SAT/inductive-inference/ii8e2.cnf
SAT/jnh/jnh1.cnf
SAT/jnh/jnh12.cnf
SAT/jnh/jnh17.cnf
SAT/jnh/jnh201.cnf
SAT/jnh/jnh204.cnf
SAT/jnh/jnh205.cnf
SAT/jnh/jnh207.cnf
SAT/jnh/jnh209.cnf
SAT/jnh/jnh210.cnf
SAT/jnh/jnh212.cnf
SAT/jnh/jnh213.cnf
SAT/jnh/jnh217.cnf
SAT/jnh/jnh218.cnf
SAT/jnh/jnh220.cnf
SAT/jnh/jnh301.cnf
SAT/jnh/jnh7.cnf
SAT/parity/par16-1-c.cnf
SAT/parity/par16-1.cnf
SAT/parity/par16-2-c.cnf
SAT/parity/par16-2.cnf
SAT/parity/par16-3-c.cnf
SAT/parity/par16-3.cnf
SAT/parity/par16-4-c.cnf
SAT/parity/par16-4.cnf
SAT/parity/par16-5-c.cnf
SAT/parity/par16-5.cnf
SAT/parity/par8-1-c.cnf
SAT/parity/par8-1.cnf
SAT/parity/par8-2-c.cnf
SAT/parity/par8-2.cnf
SAT/parity/par8-3-c.cnf
SAT/parity/par8-3.cnf
SAT/parity/par8-4-c.cnf
SAT/parity/par8-4.cnf
SAT/parity/par8-5-c.cnf
SAT/parity/par8-5.cnf
SAT/ssa/ssa7552-038.cnf
SAT/ssa/ssa7552-158.cnf
SAT/ssa/ssa7552-159.cnf
SAT/ssa/ssa7552-160.cnf
UNSAT/aim/aim-100-1_6-no-1.cnf
UNSAT/aim/aim-100-1_6-no-2.cnf
UNSAT/aim/aim-100-1_6-no-3.cnf
UNSAT/aim/aim-100-1_6-no-4.cnf
UNSAT/aim/aim-100-2_0-no-1.cnf
UNSAT/aim/aim-100-2_0-no-2.cnf
UNSAT/aim/aim-100-2_0-no-3.cnf
UNSAT/aim/aim-100-2_0-no-4.cnf
UNSAT/aim/aim-200-1_6-no-1.cnf
UNSAT/aim/aim-200-1_6-no-2.cnf
UNSAT/aim/aim-200-1_6-no-3.cnf
UNSAT/aim/aim-200-1_6-no-4.cnf
UNSAT/aim/aim-200-2_0-no-1.cnf
UNSAT/aim/aim-200-2_0-no-2.cnf
UNSAT/aim/aim-200-2_0-no-3.cnf
UNSAT/aim/aim-200-2_0-no-4.cnf
UNSAT/aim/aim-50-1_6-no-1.cnf
UNSAT/aim/aim-50-1_6-no-2.cnf
UNSAT/aim/aim-50-1_6-no-3.cnf
UNSAT/aim/aim-50-1_6-no-4.cnf
UNSAT/aim/aim-50-2_0-no-1.cnf
UNSAT/aim/aim-50-2_0-no-2.cnf
UNSAT/aim/aim-50-2_0-no-3.cnf
UNSAT/aim/aim-50-2_0-no-4.cnf
UNSAT/bf/bf0432-007.cnf
UNSAT/bf/bf1355-075.cnf
UNSAT/bf/bf1355-638.cnf
UNSAT/bf/bf2670-001.cnf
UNSAT/dubois/dubois100.cnf
UNSAT/dubois/dubois20.cnf
UNSAT/dubois/dubois21.cnf
UNSAT/dubois/dubois22.cnf
UNSAT/dubois/dubois23.cnf
UNSAT/dubois/dubois24.cnf
UNSAT/dubois/dubois25.cnf
UNSAT/dubois/dubois26.cnf
UNSAT/dubois/dubois27.cnf
UNSAT/dubois/dubois28.cnf
UNSAT/dubois/dubois29.cnf
UNSAT/dubois/dubois30.cnf
UNSAT/dubois/dubois50.cnf
UNSAT/jnh/jnh10.cnf
UNSAT/jnh/jnh11.cnf
UNSAT/jnh/jnh13.cnf
UNSAT/jnh/jnh14.cnf
UNSAT/jnh/jnh15.cnf
UNSAT/jnh/jnh16.cnf
UNSAT/jnh/jnh18.cnf
UNSAT/jnh/jnh19.cnf
UNSAT/jnh/jnh2.cnf
UNSAT/jnh/jnh20.cnf
UNSAT/jnh/jnh202.cnf
UNSAT/jnh/jnh203.cnf
UNSAT/jnh/jnh206.cnf
UNSAT/jnh/jnh208.cnf
UNSAT/jnh/jnh211.cnf
UNSAT/jnh/jnh214.cnf
UNSAT/jnh/jnh215.cnf
UNSAT/jnh/jnh216.cnf
UNSAT/jnh/jnh219.cnf
UNSAT/jnh/jnh3.cnf
UNSAT/jnh/jnh302.cnf
UNSAT/jnh/jnh303.cnf
UNSAT/jnh/jnh304.cnf
UNSAT/jnh/jnh305.cnf
UNSAT/jnh/jnh306.cnf
UNSAT/jnh/jnh307.cnf
UNSAT/jnh/jnh308.cnf
UNSAT/jnh/jnh309.cnf
UNSAT/jnh/jnh310.cnf
UNSAT/jnh/jnh4.cnf
UNSAT/jnh/jnh5.cnf
UNSAT/jnh/jnh6.cnf
UNSAT/jnh/jnh8.cnf
UNSAT/jnh/jnh9.cnf
UNSAT/pigeon-hole/hole6.cnf
UNSAT/pigeon-hole/hole7.cnf
UNSAT/pigeon-hole/hole8.cnf
UNSAT/pret/pret150_25.cnf
UNSAT/pret/pret150_40.cnf
UNSAT/pret/pret150_60.cnf
UNSAT/pret/pret150_75.cnf
UNSAT/pret/pret60_25.cnf
UNSAT/pret/pret60_40.cnf
UNSAT/pret/pret60_60.cnf
UNSAT/pret/pret60_75.cnf
UNSAT/ssa/ssa0432-003.cnf
UNSAT/ssa/ssa2670-130.cnf
UNSAT/ssa/ssa2670-141.cnf
UNSAT/ssa/ssa6288-047.cnf