/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.smt2
• simple.02.cvc.smt2
• simple.03.cvc.smt2
• simple.04.cvc.smt2