/test/regress/regress0/fp/
../
simple.smt2