/test/regress/regress0/fp/
../
ext-rew-test.smt2
simple.smt2