From b149d1f803819b14bd8646dee7cbf9c2b5b66270 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 22 Jan 2025 22:57:43 -0800 Subject: [PATCH] count every lookahead as activity --- src/ast/sls/sls_arith_clausal.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sls_arith_clausal.cpp b/src/ast/sls/sls_arith_clausal.cpp index 0a25fcc5b..877b3f71b 100644 --- a/src/ast/sls/sls_arith_clausal.cpp +++ b/src/ast/sls/sls_arith_clausal.cpp @@ -223,7 +223,7 @@ namespace sls { lookahead(u.m_var, u.m_delta); // verbose_stream() << a.m_updates.size() << " " << m_num_lookaheads << " lookaheads\n"; - ctx.rlimit().inc(1 + m_num_lookaheads/10); + ctx.rlimit().inc(1 + m_num_lookaheads); critical_move(m_best_var, m_best_delta, mt); return m_best_var; }