From 43e449a80539f52f569b397f87874f44321ffd44 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 2 Jan 2022 17:53:26 -0800 Subject: [PATCH] #5641 --- src/sat/smt/q_mbi.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/smt/q_mbi.cpp b/src/sat/smt/q_mbi.cpp index 38e8ff45e..d63ca2420 100644 --- a/src/sat/smt/q_mbi.cpp +++ b/src/sat/smt/q_mbi.cpp @@ -129,7 +129,7 @@ namespace q { r = n; } else if (n->generation() == gen) { - if ((++count) % m_qs.random() == 0) + if ((++count) % (1 + m_qs.random()) == 0) r = n; } if (count > m_max_choose_candidates)