From daeaed1e82748c5b404d514bfc418a6ce69c21ee Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 18 Feb 2023 14:13:40 -0800 Subject: [PATCH] revert debug only changes to sat-solver --- src/sat/sat_solver.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp index 5ac0fbcf3..56330d68d 100644 --- a/src/sat/sat_solver.cpp +++ b/src/sat/sat_solver.cpp @@ -2974,7 +2974,7 @@ namespace sat { } bool solver::should_rephase() { - return m_conflicts_since_init > 5 && m_conflicts_since_init > m_rephase_lim; + return m_conflicts_since_init > m_rephase_lim; } void solver::do_rephase() { @@ -3023,7 +3023,7 @@ namespace sat { UNREACHABLE(); break; } - m_rephase_inc = m_config.m_rephase_base; + m_rephase_inc += m_config.m_rephase_base; m_rephase_lim += m_rephase_inc; }