/test/regress/regress0/bool/
../
issue1978.smt2
issue6717-ite-rewrite.smt2