/test/regress/regress1/auflia/
../
bug330.smt2
bug337.smt2