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