removing the 100 integer benchmarks from regress0, too many

diff --git a/test/regress/regress0/arith/integers/Makefile.am b/test/regress/regress0/arith/integers/Makefile.am
index 91f4cf7580a48837d432b08e73dc666fc5ba34c1..f6d200f2a415e8bc5d5dc08de6a4add4df08abe9 100644 (file)
--- a/test/regress/regress0/arith/integers/Makefile.am
+++ b/test/regress/regress0/arith/integers/Makefile.am
@@ -28,8 +28,24 @@ TESTS =      \
        arith-int-016.cvc \
        arith-int-017.cvc \
        arith-int-018.cvc \
-       arith-int-019.cvc \
-       arith-int-020.cvc \
+       arith-int-019.cvc 
+
+EXTRA_DIST = $(TESTS) \
+       arith-int-012.cvc \
+       arith-int-013.cvc \
+       arith-int-022.cvc \
+       arith-int-024.cvc \
+       arith-int-041.cvc \
+       arith-int-042.cvc \
+       arith-int-042.min.cvc \
+       arith-int-047.cvc \
+       arith-int-048.cvc \
+       arith-int-050.cvc \
+       arith-int-082.cvc \
+       arith-int-084.cvc \
+       arith-int-085.cvc \
+       arith-int-097.cvc \
+               arith-int-020.cvc \
        arith-int-021.cvc \
        arith-int-023.cvc \
        arith-int-025.cvc \
@@ -99,22 +115,7 @@ TESTS =     \
        arith-int-098.cvc \
        arith-int-099.cvc \
        arith-int-100.cvc
-
-EXTRA_DIST = $(TESTS) \
-       arith-int-012.cvc \
-       arith-int-013.cvc \
-       arith-int-022.cvc \
-       arith-int-024.cvc \
-       arith-int-041.cvc \
-       arith-int-042.cvc \
-       arith-int-042.min.cvc \
-       arith-int-047.cvc \
-       arith-int-048.cvc \
-       arith-int-050.cvc \
-       arith-int-082.cvc \
-       arith-int-084.cvc \
-       arith-int-085.cvc \
-       arith-int-097.cvc
+       
 
 #if CVC4_BUILD_PROFILE_COMPETITION
 #else