/test/regress/regress1/rewriterules/
../
reachability_back_to_the_future.smt2
read5.smt2