/test/regress/regress1/arith/
../
arith-brab-test.smt2
arith-int-004.cvc
arith-int-011.cvc
arith-int-012.cvc
arith-int-013.cvc
arith-int-022.cvc
arith-int-024.cvc
arith-int-047.cvc
arith-int-048.cvc
arith-int-050.cvc
arith-int-084.cvc
arith-int-085.cvc
arith-int-097.cvc
bug547.1.smt2
bug716.0.smt2
bug716.1.cvc
bug716.2.cvc
div.03.smt2
div.06.smt2
div.08.smt2
div.09.smt2
issue3480.smt2
issue3952-rew-eq.smt2
issue4985-model-success.smt2
issue4985b-model-success.smt2
issue789.smt2
miplib3.cvc
mod.02.smt2
mod.03.smt2
mult.02.smt2
pbrewrites-test.smt2
problem__003.smt2