/test/regress/regress1/strings/
../
cmu-5042-0707-2.smt2
cmu-dis-0707-3.smt2