/test/regress/regress0/arith/integers/
../
ackermann1.smt2
ackermann2.smt2
ackermann3.smt2
ackermann4.smt2
ackermann5.smt2
ackermann6.smt2
arith-int-014.cvc
arith-int-015.cvc
arith-int-021.cvc
arith-int-023.cvc
arith-int-025.cvc
arith-int-042.cvc
arith-int-042.min.cvc
arith-int-079.cvc
arith-interval.cvc