diff --git a/src/regression/scala/leon/test/testcases/TestCasesCompile.scala b/src/regression/scala/leon/test/testcases/TestCasesCompile.scala
index 5bc11bc87f2a7ed8c8bc6e90aaf59ea5bfcd35be..48f2b971628c6ba4e4d6ef1125a487f87a07b745 100644
--- a/src/regression/scala/leon/test/testcases/TestCasesCompile.scala
+++ b/src/regression/scala/leon/test/testcases/TestCasesCompile.scala
@@ -37,7 +37,7 @@ class TestCasesCompile extends LeonTestSuite {
 
   val slashes = resourceDir(baseDir).getAbsolutePath.split("/").toList.size
 
-  testWithTimeout("Compiling testcases", 10.minutes) {
+  testWithTimeout("Compiling testcases", 20.minutes) {
     val all = (filesIn(baseDir+"repair/") ++
                filesIn(baseDir+"runtime/") ++
                filesIn(baseDir+"synthesis/") ++
@@ -47,7 +47,7 @@ class TestCasesCompile extends LeonTestSuite {
     info("Compiling "+all.size+" testcases...")
 
     var nFailed = new java.util.concurrent.atomic.AtomicInteger(0)
-    all.par.foreach { f =>
+    all.foreach { f =>
       if (!testFrontend(f, slashes)) {
         nFailed.incrementAndGet()
       }