/sat-chaff/test_inputs/

• ../
• aim-100.dimacs
• aim-50.dimacs
• big.dimacs
• dubois22.dimacs
• p10.dimacs
• p2.dimacs
• p5.dimacs
• p7.dimacs
• p8.dimacs
• p9.dimacs
• test.dimacs