diff --git a/src/test/scala/leon/test/verification/NewSolversRegression.scala b/src/test/scala/leon/test/verification/NewSolversRegression.scala
index 1498762aece9bd364ac73f6bf9fb43e7b71279e3..a85ff1629271c9e4ac866e68c31b681419de2cee 100644
--- a/src/test/scala/leon/test/verification/NewSolversRegression.scala
+++ b/src/test/scala/leon/test/verification/NewSolversRegression.scala
@@ -38,7 +38,7 @@ class NewSolversRegression extends VerificationRegression {
       else Nil
     ) ++ (
       if (isCVC4Available)
-        List(List("--solvers=smt-cvc4-proof", "--feelinglucky",  "--timeout=5"))
+        List(List("--solvers=smt-cvc4-proof", "--feelinglucky",  "--timeout=3"))
       else Nil
     )
   }