/test/regress/regress2/nl/
../
dumortier-050317.smt2
nt-lemmas-bad.smt2