diff --git a/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala b/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
index 839e45dbab58091826eb16827e79ba5f083c692f..180e6ff1548a726f289d44b2e89472ca24d57d61 100644
--- a/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/XLangVerificationSuite.scala
@@ -18,7 +18,7 @@ class XLangVerificationSuite extends VerificationSuite {
       if (isZ3Available)
         List(List("--solvers=smt-z3", "--feelinglucky"))
       else Nil
-    )).map ("--timeout=150" :: _)
+    )).map ("--timeout=300" :: _)
   }
 
   val testDir: String = "regression/verification/xlang/"
diff --git a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
index 263f31f0d709c427a18ad17037737b1d47c64764..f2e709d7b6b83321c4dc0df09bdd940cc193ee81 100644
--- a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
+++ b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
@@ -23,7 +23,7 @@ abstract class PureScalaVerificationSuite extends VerificationSuite {
       List("--solvers=fairz3,enum", "--codegen", /*"--evalground",*/ "--feelinglucky")) ++
       isZ3Available.option(List("--solvers=smt-z3", "--feelinglucky")) ++
       isCVC4Available.option(List("--solvers=smt-cvc4", "--feelinglucky")))
-        .map( _ :+ "--timeout=150")
+        .map( _ :+ "--timeout=300")
   }
 
 }