diff --git a/src/main/scala/leon/invariant/engine/InferInvariantsPhase.scala b/src/main/scala/leon/invariant/engine/InferInvariantsPhase.scala
index e084d830c8b6076f2208cfc70a249121d2d3e8fb..ce69f2b6f755279d333471bacf9aa0579013defd 100644
--- a/src/main/scala/leon/invariant/engine/InferInvariantsPhase.scala
+++ b/src/main/scala/leon/invariant/engine/InferInvariantsPhase.scala
@@ -48,7 +48,7 @@ object InferInvariantsPhase extends SimpleLeonPhase[Program, InferenceReport] {
   def apply(ctx: LeonContext, program: Program): InferenceReport = {
 
     //control printing of statistics
-    val dumpStats = true
+    val dumpStats = false
     var timeout: Int = 15
 
     //defualt true flags