From aed0ad35058454c9f29ee826c484ad2e9cfd0cbb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 6 Jan 2025 17:40:17 -0800 Subject: [PATCH] limit lookahead count to 10 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 93ff81675..2265ef5fe 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 < sz; ++i) + for (unsigned i = 0; i < std::min(sz, 10u); ++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);