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