diff --git a/src/test/scala/leon/test/LeonTestSuite.scala b/src/test/scala/leon/test/LeonTestSuite.scala
index 056d97327e7e6557fdf8d770a6c80e2b0a8c3da6..1954187b85200702df8e6c7f79517379b190636a 100644
--- a/src/test/scala/leon/test/LeonTestSuite.scala
+++ b/src/test/scala/leon/test/LeonTestSuite.scala
@@ -102,7 +102,7 @@ trait LeonTestSuite extends FunSuite with Timeouts {
 
       testContext = generateContext
 
-      failAfter(2.minutes) {
+      failAfter(5.minutes) {
         body
       }