/test/regress/regress3/

• ../
• bmc-ibm-1.smtv1.smt2
• bmc-ibm-2.smtv1.smt2
• bmc-ibm-5.smtv1.smt2
• bmc-ibm-7.smtv1.smt2
• eq_diamond14.smtv1.smt2
• friedman_n6_i4.smtv1.smt2
• hole9.cvc
• incorrect1.smtv1.smt2
• issue2429.smt2
• pp-regfile.smtv1.smt2
• qwh.35.405.shuffled-as.sat03-1651.smtv1.smt2
• sixfuncs.sy
• strings-any-term.sy
• strings