From 7f02ee42631e424439d4888219a30612884404bd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 24 Aug 2024 18:14:31 -0700 Subject: [PATCH] separate linear update remove 20% threshold Signed-off-by: Nikolaj Bjorner --- src/ast/sls/sls_arith_base.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sls_arith_base.cpp b/src/ast/sls/sls_arith_base.cpp index 70f94616d..c6ce02119 100644 --- a/src/ast/sls/sls_arith_base.cpp +++ b/src/ast/sls/sls_arith_base.cpp @@ -555,7 +555,7 @@ namespace sls { //verbose_stream() << "repair " << lit << " " << (ctx.is_unit(lit)?"unit":"") << "\n"; m_last_literal = lit; - if (ctx.rand(20) != 0 && find_nl_moves(lit)) + if (find_nl_moves(lit)) return true; if (find_lin_moves(lit))