From cc5c98f5b0f0edbb6c46bef6a2b7773badd1db79 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 9df44a22a..73f39798b 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; }