/test/regress/regress1/decision/
../
bug374a.smtv1.smt2
error3.smtv1.smt2
quant-Arrays_Q1-noinfer.smt2