diff --git a/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala b/src/test/scala/leon/regression/verification/purescala/PureScalaVerificationSuite.scala
index a33c85d7cd5d559d7ae439e396c787a22505613f..22aa18098c7a400b1e94fa12a4bfd75d5d40e1c9 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=60")
+        .map( _ :+ "--timeout=120")
   }
 
 }