From 9cbec3b0caa41f79129afe10baf5fcc5570cdfae Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 2 Jan 2022 19:15:23 -0800 Subject: [PATCH] #5641 Signed-off-by: Nikolaj Bjorner --- 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 d63ca2420..8589dfc6d 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) % (1 + m_qs.random()) == 0) + if ((m_qs.random() % ++count) == 0) r = n; } if (count > m_max_choose_candidates)