/test/regress/regress0/strings/
../
bug001.smt2
bug002.smt2
bug612.smt2
bug613.smt2
code-sat-neg-one.smt2
escchar.smt2
escchar_25.smt2
idof-rewrites.smt2
idof-sem.smt2
ilc-like.smt2
indexof-sym-simp.smt2
issue1189.smt2
leadingzero001.smt2
loop001.smt2
model001.smt2
norn-31.smt2
norn-simp-rew.smt2
repl-rewrites2.smt2
rewrites-v2.smt2
std2.6.1.smt2
str003.smt2
str004.smt2
str005.smt2
strings-charat.cvc
strings-native-simple.cvc
substr-rewrites.smt2
type001.smt2
unsound-0908.smt2