/test/regress/regress0/push-pop/
../
boolean
bug1990.smt2
bug233.cvc
bug654-dd.smt2
bug691.smt2
bug821-check_sat_assuming.smt2
bug821.smt2
inc-define.smt2
inc-double-u.smt2
incremental-subst-bug.cvc
issue1986.smt2
issue2137.min.smt2
quant-fun-proc-unfd.smt2
real-as-int-incremental.smt2
simple_unsat_cores.smt2
test.00.cvc
test.01.cvc
tiny_bug.smt2
units.cvc