From e54635e0ed8cd237e6e085b2aa45368a8a98d348 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 18 Sep 2022 17:21:49 -0700 Subject: [PATCH] rename statistics to something more meaningful: instantiations from MBQI are tagged with mbi --- src/sat/smt/q_mbi.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sat/smt/q_mbi.cpp b/src/sat/smt/q_mbi.cpp index 9f716d071..f2caa2a3e 100644 --- a/src/sat/smt/q_mbi.cpp +++ b/src/sat/smt/q_mbi.cpp @@ -635,8 +635,8 @@ namespace q { void mbqi::collect_statistics(statistics& st) const { if (m_solver) m_solver->collect_statistics(st); - st.update("q-num-instantiations", m_stats.m_num_instantiations); - st.update("q-num-checks", m_stats.m_num_checks); + st.update("q mbi instantiations", m_stats.m_num_instantiations); + st.update("q mbi num checks", m_stats.m_num_checks); } }