/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
bug812.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