/test/regress/regress3/
../
bmc-ibm-1.smtv1.smt2
bmc-ibm-2.smtv1.smt2
bmc-ibm-5.smtv1.smt2
bmc-ibm-7.smtv1.smt2
bv_to_int_and_or.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