/test/regress/regress0/smtlib/
../
define-fun-rec-logic.smt2
get-unsat-assumptions.smt2
global-decls.smt2
issue4028.smt2
issue4077.smt2
issue4151.smt2
issue4552.smt2
issue4866.smt2
reason-unknown.smt2
reset-assertions-global.smt2
reset-assertions1.smt2
reset-assertions2.smt2
reset-force-logic.smt2
reset-set-logic.smt2
reset.smt2
set-info-status.smt2