/test/regress/regress0/arith/integers/
../
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