/test/regress/regress0/options/
../
ast-and-sexpr.smt2
invalid_dump.smt2
set-after-init.smt2
set-and-get-options.smt2
statistics.smt2