/test/regress/regress0/uf/
../
NEQ016_size5_reduced2a.smtv1.smt2
NEQ016_size5_reduced2b.smtv1.smt2
SEQ032_size2.smtv1.smt2
bool-pred-nested.smt2
ccredesign-fuzz.smtv1.smt2
cnf-and-neg.smt2
cnf-iff-base.smt2
cnf-iff.smt2
cnf-ite.smt2
cnf_abc.smt2
dead_dnd002.smtv1.smt2
eq_diamond1.smtv1.smt2
eq_diamond14.reduced.smtv1.smt2
eq_diamond14.reduced2.smtv1.smt2
eq_diamond23.smtv1.smt2
euf_simp01.smtv1.smt2
euf_simp02.smtv1.smt2
euf_simp03.smtv1.smt2
euf_simp04.smtv1.smt2
euf_simp05.smtv1.smt2
euf_simp06.smtv1.smt2
euf_simp08.smtv1.smt2
euf_simp09.smtv1.smt2
euf_simp10.smtv1.smt2
euf_simp11.smtv1.smt2
euf_simp12.smtv1.smt2
euf_simp13.smtv1.smt2
iso_brn001.smtv1.smt2
iso_icl_repgen004.smtv1.smt2
issue2947.smt2
issue4446.smt2
mkpidgeon
pred.smtv1.smt2
simple.01.cvc
simple.02.cvc
simple.03.cvc
simple.04.cvc