diff --git a/src/test/scala/leon/test/verification/NewSolversRegression.scala b/src/test/scala/leon/test/verification/NewSolversRegression.scala
index 9322f269176dd2933717249a5a1df79b0cbca6b0..7329709b2e3715eba43cd97ec13b5113c31d574f 100644
--- a/src/test/scala/leon/test/verification/NewSolversRegression.scala
+++ b/src/test/scala/leon/test/verification/NewSolversRegression.scala
@@ -26,7 +26,7 @@ class NewSolversRegression extends VerificationRegression {
     }
 
     if (isCVC4Available)
-      List(List("--solvers=smt-cvc4-cex,smt-cvc4-proof", "--timeout=15"))
+      List(List("--solvers=smt-cvc4-cex,smt-cvc4-proof", "--feelinglucky", "--timeout=3"))
     else Nil
 
   }