From 7374d92b63cc231537b270392e1c4bdee2539fdb Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 9 Mar 2016 17:51:45 +0100
Subject: [PATCH] Increase solver 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 32bf63486..5e958d238 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
--
GitLab