From b6f45bcd9f06c78d6a79ad41b2f52d78c1ecbc7c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 6 Jan 2025 18:06:00 -0800 Subject: [PATCH] limit lookahead count to 20 Signed-off-by: Nikolaj Bjorner --- src/ast/sls/sls_bv_lookahead.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sls_bv_lookahead.cpp b/src/ast/sls/sls_bv_lookahead.cpp index 2265ef5fe..301ef1ff0 100644 --- a/src/ast/sls/sls_bv_lookahead.cpp +++ b/src/ast/sls/sls_bv_lookahead.cpp @@ -126,7 +126,7 @@ namespace sls { m_best_score = m_top_score; unsigned sz = vars.size(); unsigned start = ctx.rand(); - for (unsigned i = 0; i < std::min(sz, 10u); ++i) + for (unsigned i = 0; i < std::min(sz, 20u); ++i) add_updates(vars[(start + i) % sz]); CTRACE("bv", !m_best_expr, tout << "no guided move\n";); return apply_update(m_last_atom, m_best_expr, m_best_value, move_type::guided_t);