/test/regress/regress0/options/
../
invalid_dump.smt2
invalid_option_inc_proofs.smt2