diff --git a/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala b/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
index 8ca1837b69f01faab5525dc636d64c218be085a2..2c4d00fefd5cc4cad1d689b233b2ce75d3ec2688 100644
--- a/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
+++ b/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
@@ -36,9 +36,15 @@ class PureScalaVerificationRegression extends VerificationRegression {
       List("--codegen", "--evalground", "--feelinglucky"),
       List("--solvers=fairz3,enum", "--codegen", "--evalground", "--feelinglucky")
     ) ++ (
-      if (isZ3Available) List(List("--solvers=smt-z3", "--feelinglucky")) else Nil
+      if (isZ3Available) List(
+        List("--solvers=smt-z3", "--feelinglucky"),
+        List("--solvers=smt-z3-quantified", "--feelinglucky")
+      ) else Nil
     ) ++ (
-      if (isCVC4Available) List(List("--solvers=smt-cvc4", "--feelinglucky")) else Nil
+      if (isCVC4Available) List(
+        List("--solvers=smt-cvc4", "--feelinglucky"),
+        List("--solvers=smt-2.5-cvc4", "--feelinglucky")
+      ) else Nil
     )
   }