/test/regress/regress0/bv/
../
test00.smt