diff --git a/src/main/scala/leon/synthesis/rules/CEGISLike.scala b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
index 32bf63486906173e5da2c8b5b67cc69f5742ce09..5e958d2383017446b145e6403c3bd39acc5e5145 100644
--- a/src/main/scala/leon/synthesis/rules/CEGISLike.scala
+++ b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
@@ -38,7 +38,7 @@ abstract class CEGISLike[T <: Typed](name: String) extends Rule(name) {
   def instantiateOn(implicit hctx: SearchContext, p: Problem): Traversable[RuleInstantiation] = {
 
     val exSolverTo  = 2000L
-    val cexSolverTo = 2000L
+    val cexSolverTo = 3000L
 
     // Track non-deterministic programs up to 100'000 programs, or give up
     val nProgramsLimit = 100000