/test/regress/regress3/strings/
../
extf_d_perf.smt2
indexof_re_red.smt2
norn-dis-0707-3.smt2
replace_re_all.smt2