/test/regress/regress0/smtlib/
../
get-unsat-assumptions.smt2
reason-unknown.smt2
set-info-status.smt2