test/6s165-nonopt.cnf.gz
test/a.cnf.gz
test/complete-400-0.1-16-98765432140016.cnf.gz
test/d.cnf.gz
test/f.cnf.gz
test/k2fix_gr_rcs_w9.shuffled.cnf.gz
test/manol-pipe-c10nidw_s.cnf.gz
test/z.cnf.gz
