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