From 42289c2f44ab61d4387dfbce4d912278010568f1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 21 Aug 2024 19:51:09 -0700
Subject: [PATCH] disable fail restart

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/sls/sls_arith_base.cpp | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp
index 84fd8fc9b..822ffc119 100644
--- a/src/ast/sls/sls_arith_base.cpp
+++ b/src/ast/sls/sls_arith_base.cpp
@@ -553,7 +553,7 @@ namespace sls {
         
         ++num_fail;
 
-        if (num_fail > 3) {
+        if (num_fail > 3 && false) {
 
             ctx.force_restart();
             num_fail = 0;
@@ -1822,13 +1822,11 @@ namespace sls {
             return a;
         if (k == 1)
             return a;
+        if (a <= k)
+            return num_t(1);
         SASSERT(k > 1);
        
         auto x0 = div(a, num_t(k));
-
-        if (x0 == 0)
-            return x0;
-
         auto x1 = div((x0 * num_t(k - 1)) + div(a, power_of(x0, k - 1)), num_t(k));
 
         while (x1 < x0)	{