diff --git a/src/main/scala/leon/synthesis/rules/CEGISLike.scala b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
index 1a6a5bb2ffa3dcf80a2b5373db87f8aedc50cced..1397bf5b32a327c0b7b639d869d1f197ff40e74d 100644
--- a/src/main/scala/leon/synthesis/rules/CEGISLike.scala
+++ b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
@@ -39,7 +39,7 @@ abstract class CEGISLike(name: String) extends Rule(name) {
 
     import hctx.reporter._
 
-    val exSolverTo  = 2000L
+    val exSolverTo  = 500L
     val cexSolverTo = 3000L
 
     // Track non-deterministic programs up to 100'000 programs, or give up