/test/regress/regress2/

• ../
• DTP_k2_n35_c175_s15.smt2
• FIREFLY_3_e2_2236_e7_3681.ec.minimized.smt2
• FIREFLY_3_e2_2236_e7_3681.ec.minimized.smt2.expect
• GEO123+1.minimized.smt2
• Makefile
• Makefile.am
• arith
• auflia-fuzz06.smt
• bug136.smt
• bug148.smt
• bug394.smt2
• error0.smt2
• error1.smt
• friedman_n4_i5.smt
• fuzz_2.smt
• hash_sat_06_19.smt2
• hash_sat_07_17.smt2
• hash_sat_09_09.smt2
• hash_sat_10_09.smt2
• hole7.cvc
• hole8.cvc
• instance_1444.smt
• ooo.rf6.smt2
• ooo.tag10.smt2
• piVC_5581bd.smt2
• typed_v1l50016-simp.cvc
• uflia-error0.smt2
• uflia-error0.smt2.expect
• xs-09-16-3-4-1-5.decn.smt
• xs-09-16-3-4-1-5.decn.smt.expect
• xs-09-16-3-4-1-5.smt
• xs-11-20-5-2-5-3.smt
• xs-11-20-5-2-5-3.smt2