Update SIncrease the defult SMT timeout/retry limits

runtimeverification · Aug 23, 2023 · 79fc707 · 79fc707
1 parent 1d7425f
commit 79fc707
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kore/src/SMT.hs b/kore/src/SMT.hs
@@ -441,8 +441,8 @@ defaultConfig =
             ]
         , prelude = Prelude Nothing
         , logFile = Nothing
-        , timeOut = TimeOut (Limit 40)
-        , retryLimit = RetryLimit (Limit 1)
+        , timeOut = TimeOut (Limit 125)
+        , retryLimit = RetryLimit (Limit 3)
         , rLimit = RLimit Unlimited
         , resetInterval = ResetInterval 100
         }