Checking data/4ti2-1.6.9+ds/src/4ti2/4ti2API.cpp ... Checking data/4ti2-1.6.9+ds/src/4ti2/4ti2API.cpp: _4ti2_HAVE_GMP... 1/110 files checked 0% done Checking data/4ti2-1.6.9+ds/src/groebner/4ti2API.cpp ... 2/110 files checked 0% done Checking data/4ti2-1.6.9+ds/src/groebner/Algorithm.cpp ... 3/110 files checked 0% done Checking data/4ti2-1.6.9+ds/src/groebner/BasicCompletion.cpp ... 4/110 files checked 1% done Checking data/4ti2-1.6.9+ds/src/groebner/BasicGeneration.cpp ... 5/110 files checked 1% done Checking data/4ti2-1.6.9+ds/src/groebner/BasicOptions.cpp ... 6/110 files checked 2% done Checking data/4ti2-1.6.9+ds/src/groebner/BasicReduction.cpp ... 7/110 files checked 2% done Checking data/4ti2-1.6.9+ds/src/groebner/Binomial.cpp ... 8/110 files checked 2% done Checking data/4ti2-1.6.9+ds/src/groebner/BinomialArray.cpp ... 9/110 files checked 3% done Checking data/4ti2-1.6.9+ds/src/groebner/BinomialArrayStream.cpp ... 10/110 files checked 3% done Checking data/4ti2-1.6.9+ds/src/groebner/BinomialCollection.cpp ... 11/110 files checked 3% done Checking data/4ti2-1.6.9+ds/src/groebner/BinomialFactory.cpp ... 12/110 files checked 4% done Checking data/4ti2-1.6.9+ds/src/groebner/BinomialSet.cpp ... 13/110 files checked 6% done Checking data/4ti2-1.6.9+ds/src/groebner/BinomialSetStream.cpp ... 14/110 files checked 6% done Checking data/4ti2-1.6.9+ds/src/groebner/BinomialStream.cpp ... 15/110 files checked 6% done Checking data/4ti2-1.6.9+ds/src/groebner/BitSetStream.cpp ... 16/110 files checked 6% done Checking data/4ti2-1.6.9+ds/src/groebner/Bounded.cpp ... Checking data/4ti2-1.6.9+ds/src/groebner/Bounded.cpp: _4ti2_GMP_... 17/110 files checked 12% done Checking data/4ti2-1.6.9+ds/src/groebner/CircuitImplementation.tpp ... 18/110 files checked 13% done Checking data/4ti2-1.6.9+ds/src/groebner/CircuitMatrixAlgorithm.tpp ... 19/110 files checked 16% done Checking data/4ti2-1.6.9+ds/src/groebner/CircuitOptions.cpp ... Checking data/4ti2-1.6.9+ds/src/groebner/CircuitOptions.cpp: _4ti2_GMP_... 20/110 files checked 17% done Checking data/4ti2-1.6.9+ds/src/groebner/CircuitSupportAlgorithm.tpp ... 21/110 files checked 20% done Checking data/4ti2-1.6.9+ds/src/groebner/CircuitsAPI.cpp ... 22/110 files checked 21% done Checking data/4ti2-1.6.9+ds/src/groebner/Completion.cpp ... 23/110 files checked 21% done Checking data/4ti2-1.6.9+ds/src/groebner/DiagonalAlgorithm.cpp ... 24/110 files checked 22% done Checking data/4ti2-1.6.9+ds/src/groebner/DiagonalAlgorithm.tpp ... 25/110 files checked 22% done Checking data/4ti2-1.6.9+ds/src/groebner/EliminateAlgorithm.cpp ... 26/110 files checked 22% done Checking data/4ti2-1.6.9+ds/src/groebner/Euclidean.cpp ... Checking data/4ti2-1.6.9+ds/src/groebner/Euclidean.cpp: _4ti2_GMP_... 27/110 files checked 23% done Checking data/4ti2-1.6.9+ds/src/groebner/Extract.cpp ... 28/110 files checked 23% done Checking data/4ti2-1.6.9+ds/src/groebner/Feasible.cpp ... 29/110 files checked 24% done Checking data/4ti2-1.6.9+ds/src/groebner/FeasibleStream.cpp ... 30/110 files checked 25% done Checking data/4ti2-1.6.9+ds/src/groebner/FilterReduction.cpp ... 31/110 files checked 25% done Checking data/4ti2-1.6.9+ds/src/groebner/FlipCompletion.cpp ... 32/110 files checked 26% done Checking data/4ti2-1.6.9+ds/src/groebner/GeneratingSet.cpp ... 33/110 files checked 26% done Checking data/4ti2-1.6.9+ds/src/groebner/Globals.cpp ... Checking data/4ti2-1.6.9+ds/src/groebner/Globals.cpp: HAVE_TRAPV_LONG_LONG;_4ti2_INT32_;_4ti2_INT64_... Checking data/4ti2-1.6.9+ds/src/groebner/Globals.cpp: _4ti2_GMP_... Checking data/4ti2-1.6.9+ds/src/groebner/Globals.cpp: _4ti2_INT32_;_4ti2_INT64_... 34/110 files checked 27% done Checking data/4ti2-1.6.9+ds/src/groebner/GroebnerBasis.cpp ... 35/110 files checked 27% done Checking data/4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.cpp ... 36/110 files checked 28% done Checking data/4ti2-1.6.9+ds/src/groebner/HermiteAlgorithm.tpp ... 37/110 files checked 28% done Checking data/4ti2-1.6.9+ds/src/groebner/HybridGenSet.cpp ... 38/110 files checked 29% done Checking data/4ti2-1.6.9+ds/src/groebner/LatticeBasis.cpp ... 39/110 files checked 30% done Checking data/4ti2-1.6.9+ds/src/groebner/LongDenseIndexSet.cpp ... 40/110 files checked 30% done Checking data/4ti2-1.6.9+ds/src/groebner/LongDenseIndexSetStream.cpp ... 41/110 files checked 30% done Checking data/4ti2-1.6.9+ds/src/groebner/Markov.cpp ... 42/110 files checked 31% done Checking data/4ti2-1.6.9+ds/src/groebner/MaxMinGenSet.cpp ... 43/110 files checked 33% done Checking data/4ti2-1.6.9+ds/src/groebner/Minimize.cpp ... 44/110 files checked 33% done Checking data/4ti2-1.6.9+ds/src/groebner/MinimizeOptions.cpp ... 45/110 files checked 34% done Checking data/4ti2-1.6.9+ds/src/groebner/OnesReduction.cpp ... 46/110 files checked 35% done Checking data/4ti2-1.6.9+ds/src/groebner/OnesTree.tpp ... 47/110 files checked 36% done Checking data/4ti2-1.6.9+ds/src/groebner/Optimise.cpp ... 48/110 files checked 39% done Checking data/4ti2-1.6.9+ds/src/groebner/Options.cpp ... 49/110 files checked 40% done Checking data/4ti2-1.6.9+ds/src/groebner/OrderedCompletion.cpp ... 50/110 files checked 41% done Checking data/4ti2-1.6.9+ds/src/groebner/ProjectLiftGenSet.cpp ... 51/110 files checked 42% done Checking data/4ti2-1.6.9+ds/src/groebner/QSolveAPI.cpp ... Checking data/4ti2-1.6.9+ds/src/groebner/QSolveAPI.cpp: _4ti2_GMP_... 52/110 files checked 44% done Checking data/4ti2-1.6.9+ds/src/groebner/QSolveAlgorithm.cpp ... Checking data/4ti2-1.6.9+ds/src/groebner/QSolveAlgorithm.cpp: _4ti2_GMP_... 53/110 files checked 45% done Checking data/4ti2-1.6.9+ds/src/groebner/RayAlgorithm.cpp ... 54/110 files checked 46% done Checking data/4ti2-1.6.9+ds/src/groebner/RayImplementation.tpp ... 55/110 files checked 47% done Checking data/4ti2-1.6.9+ds/src/groebner/RayMatrixAlgorithm.tpp ... 56/110 files checked 51% done Checking data/4ti2-1.6.9+ds/src/groebner/RaySupportAlgorithm.tpp ... 57/110 files checked 58% done Checking data/4ti2-1.6.9+ds/src/groebner/RaysAPI.cpp ... 58/110 files checked 58% done Checking data/4ti2-1.6.9+ds/src/groebner/SaturationGenSet.cpp ... 59/110 files checked 60% done Checking data/4ti2-1.6.9+ds/src/groebner/ShortDenseIndexSet.cpp ... 60/110 files checked 60% done Checking data/4ti2-1.6.9+ds/src/groebner/ShortDenseIndexSetStream.cpp ... 61/110 files checked 60% done Checking data/4ti2-1.6.9+ds/src/groebner/Statistics.cpp ... Checking data/4ti2-1.6.9+ds/src/groebner/Statistics.cpp: STATS_4TI2... 62/110 files checked 61% done Checking data/4ti2-1.6.9+ds/src/groebner/SupportTree.tpp ... 63/110 files checked 62% done Checking data/4ti2-1.6.9+ds/src/groebner/SyzygyCompletion.cpp ... 64/110 files checked 62% done Checking data/4ti2-1.6.9+ds/src/groebner/SyzygyGeneration.cpp ... 65/110 files checked 63% done Checking data/4ti2-1.6.9+ds/src/groebner/Timer.cpp ... Checking data/4ti2-1.6.9+ds/src/groebner/Timer.cpp: _POSIX_TIMERS... 66/110 files checked 63% done Checking data/4ti2-1.6.9+ds/src/groebner/Truncated.cpp ... 67/110 files checked 64% done Checking data/4ti2-1.6.9+ds/src/groebner/Vector.cpp ... 68/110 files checked 64% done Checking data/4ti2-1.6.9+ds/src/groebner/VectorArray.cpp ... 69/110 files checked 65% done Checking data/4ti2-1.6.9+ds/src/groebner/VectorArrayAPI.cpp ... Checking data/4ti2-1.6.9+ds/src/groebner/VectorArrayAPI.cpp: _4ti2_HAVE_GMP... 70/110 files checked 65% done Checking data/4ti2-1.6.9+ds/src/groebner/VectorArrayStream.cpp ... 71/110 files checked 66% done Checking data/4ti2-1.6.9+ds/src/groebner/VectorStream.cpp ... 72/110 files checked 66% done Checking data/4ti2-1.6.9+ds/src/groebner/WalkAlgorithm.cpp ... 73/110 files checked 67% done Checking data/4ti2-1.6.9+ds/src/groebner/WalkOptions.cpp ... 74/110 files checked 68% done Checking data/4ti2-1.6.9+ds/src/groebner/WeightAlgorithm.cpp ... 75/110 files checked 68% done Checking data/4ti2-1.6.9+ds/src/groebner/WeightedBinomialSet.cpp ... 76/110 files checked 69% done Checking data/4ti2-1.6.9+ds/src/groebner/WeightedReduction.cpp ... 77/110 files checked 69% done Checking data/4ti2-1.6.9+ds/src/groebner/circuits_main.cpp ... 78/110 files checked 69% done Checking data/4ti2-1.6.9+ds/src/groebner/groebner_main.cpp ... 79/110 files checked 70% done Checking data/4ti2-1.6.9+ds/src/groebner/main.cpp ... Checking data/4ti2-1.6.9+ds/src/groebner/main.cpp: _4ti2_INT32_;_4ti2_INT64_... 80/110 files checked 70% done Checking data/4ti2-1.6.9+ds/src/groebner/markov_main.cpp ... 81/110 files checked 71% done Checking data/4ti2-1.6.9+ds/src/groebner/minimize_main.cpp ... 82/110 files checked 71% done Checking data/4ti2-1.6.9+ds/src/groebner/normalform_main.cpp ... 83/110 files checked 71% done Checking data/4ti2-1.6.9+ds/src/groebner/qsolve_main.cpp ... 84/110 files checked 72% done Checking data/4ti2-1.6.9+ds/src/groebner/rays_main.cpp ... 85/110 files checked 72% done Checking data/4ti2-1.6.9+ds/src/groebner/walk_main.cpp ... 86/110 files checked 72% done Checking data/4ti2-1.6.9+ds/src/groebner/zbasis_main.cpp ... 87/110 files checked 72% done Checking data/4ti2-1.6.9+ds/src/ppi/ppi.cpp ... Checking data/4ti2-1.6.9+ds/src/ppi/ppi.cpp: BACKWARD_LEVEL... Checking data/4ti2-1.6.9+ds/src/ppi/ppi.cpp: ERASE_SOURCES_OF_IRREDUCIBLES... Checking data/4ti2-1.6.9+ds/src/ppi/ppi.cpp: HASH... Checking data/4ti2-1.6.9+ds/src/ppi/ppi.cpp: RECYCLE_SETS... Checking data/4ti2-1.6.9+ds/src/ppi/ppi.cpp: WITH_STATS... Checking data/4ti2-1.6.9+ds/src/ppi/ppi.cpp: _POSIX_TIMERS... 88/110 files checked 77% done Checking data/4ti2-1.6.9+ds/src/util/genmodel.c ... 89/110 files checked 78% done Checking data/4ti2-1.6.9+ds/src/util/genmodel_main.c ... 90/110 files checked 78% done Checking data/4ti2-1.6.9+ds/src/util/gensymm.c ...