From 018218729654c15f73e9033ade9e86370874d2a2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 3 Jun 2021 11:41:34 -0700 Subject: [PATCH] fix regression in arithmetic resource bound Signed-off-by: Nikolaj Bjorner --- 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 7656a836f..594e9b6f4 100644 --- a/src/math/lp/lp_settings.h +++ b/src/math/lp/lp_settings.h @@ -209,7 +209,7 @@ public: double harris_feasibility_tolerance { 1e-7 }; // page 179 of Istvan Maros double ignore_epsilon_of_harris { 10e-5 }; unsigned max_number_of_iterations_with_no_improvements { 2000000 }; - unsigned max_total_number_of_iterations { 2000000 }; + unsigned max_total_number_of_iterations { 20000000 }; double time_limit; // the maximum time limit of the total run time in seconds // dual section double dual_feasibility_tolerance { 1e-7 }; // page 71 of the PhD thesis of Achim Koberstein