diff --git a/src/main/scala/leon/synthesis/disambiguation/InputCoverage.scala b/src/main/scala/leon/synthesis/disambiguation/InputCoverage.scala
index 775ed59d81c48fd97590ca6c848b76a1f3540d7e..f1cdfd2b404f2d021bcbd0e7bc53b4cf74d0f330 100644
--- a/src/main/scala/leon/synthesis/disambiguation/InputCoverage.scala
+++ b/src/main/scala/leon/synthesis/disambiguation/InputCoverage.scala
@@ -244,7 +244,7 @@ class InputCoverage(fd: FunDef, fds: Set[FunDef])(implicit c: LeonContext, p: Pr
           } else None
       })
       val start_fd2 = fdMap2.getOrElse(start_fd, start_fd)
-      val tfactory = SolverFactory.getFromSettings(c, program2).withTimeout(5.seconds)
+      val tfactory = SolverFactory.getFromSettings(c, program2).withTimeout(10.seconds)
       
       val vctx = new VerificationContext(c, program2, tfactory)
       val vcs = VerificationPhase.generateVCs(vctx, Seq(start_fd2))