From 87e2ce8948118e2308ca717fd3971768f1782e22 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson <5377127+levnach@users.noreply.github.com> Date: Sat, 5 Apr 2025 10:26:35 -0700 Subject: [PATCH] Update lp_settings.h - m_dio_calls_period = 4 --- src/math/lp/lp_settings.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/lp_settings.h b/src/math/lp/lp_settings.h index becec750f..de7f61469 100644 --- a/src/math/lp/lp_settings.h +++ b/src/math/lp/lp_settings.h @@ -261,7 +261,7 @@ private: unsigned m_dio_report_branch_with_term_tigthening_period = 10000000; // period of reporting the branch with term tigthening bool m_dump_bound_lemmas = false; bool m_dio_ignore_big_nums = false; - unsigned m_dio_calls_period = 1; + unsigned m_dio_calls_period = 4; public: unsigned dio_calls_period() const { return m_dio_calls_period; }