From 1dbffe7367ac142b9e162a9a8d361eecfbc23f0e Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 18 Dec 2019 11:35:49 -1000 Subject: [PATCH] limit expr.size() in grobner by 20 Signed-off-by: Lev Nachmanson --- src/math/lp/nla_settings.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/nla_settings.h b/src/math/lp/nla_settings.h index 772589a2d..d00df150b 100644 --- a/src/math/lp/nla_settings.h +++ b/src/math/lp/nla_settings.h @@ -44,7 +44,7 @@ public: m_grobner_frequency(5), m_grobner_eqs_threshold(512), m_grobner_row_length_limit(10), - m_grobner_expr_size_limit(50) + m_grobner_expr_size_limit(20) {} unsigned grobner_eqs_threshold() const { return m_grobner_eqs_threshold; }