diff --git a/src/test/scala/leon/test/verification/NewSolversRegression.scala b/src/test/scala/leon/test/verification/NewSolversRegression.scala
index 558621bb2e15e1504f83d48c389423e24c24ee25..1498762aece9bd364ac73f6bf9fb43e7b71279e3 100644
--- a/src/test/scala/leon/test/verification/NewSolversRegression.scala
+++ b/src/test/scala/leon/test/verification/NewSolversRegression.scala
@@ -34,11 +34,11 @@ class NewSolversRegression extends VerificationRegression {
 
     (
       if (isZ3Available)
-        List(List("--solvers=smt-z3-quantified", "--feelinglucky", "--timeout=3"))
+        List(List("--solvers=smt-z3-q", "--feelinglucky", "--timeout=3"))
       else Nil
     ) ++ (
       if (isCVC4Available)
-        List(List("--solvers=smt-2.5-cvc4", "--feelinglucky"))
+        List(List("--solvers=smt-cvc4-proof", "--feelinglucky",  "--timeout=5"))
       else Nil
     )
   }