From e4a3263f67f0654d8ad7949bf7c978367701ceaa Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 17 Mar 2016 17:46:48 +0100
Subject: [PATCH] Reduce tentative timeout in CEGIS
---
src/main/scala/leon/synthesis/rules/CEGISLike.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/synthesis/rules/CEGISLike.scala b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
index 1a6a5bb2f..1397bf5b3 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
--
GitLab