diff --git a/src/sat/sat_asymm_branch.cpp b/src/sat/sat_asymm_branch.cpp
index 4cec57b57..60362363c 100644
--- a/src/sat/sat_asymm_branch.cpp
+++ b/src/sat/sat_asymm_branch.cpp
@@ -510,8 +510,8 @@ namespace sat {
     }
     
     void asymm_branch::collect_statistics(statistics & st) const {
-        st.update("elim literals", m_elim_literals);
-        st.update("tr", m_tr);
+        st.update("sat elim literals", m_elim_literals);
+        st.update("sat tr", m_tr);
     }
 
     void asymm_branch::reset_statistics() {
diff --git a/src/sat/sat_cleaner.cpp b/src/sat/sat_cleaner.cpp
index f0c76b466..afdccc4c2 100644
--- a/src/sat/sat_cleaner.cpp
+++ b/src/sat/sat_cleaner.cpp
@@ -213,8 +213,8 @@ namespace sat {
     }
     
     void cleaner::collect_statistics(statistics & st) const {
-        st.update("elim clauses", m_elim_clauses);
-        st.update("elim literals", m_elim_literals);
+        st.update("sat elim clauses", m_elim_clauses);
+        st.update("sat elim literals", m_elim_literals);
     }
 
 };
diff --git a/src/sat/sat_probing.cpp b/src/sat/sat_probing.cpp
index e76a3f7c4..15d8e8e7e 100644
--- a/src/sat/sat_probing.cpp
+++ b/src/sat/sat_probing.cpp
@@ -267,7 +267,7 @@ namespace sat {
     }
 
     void probing::collect_statistics(statistics & st) const {
-        st.update("probing assigned", m_num_assigned);
+        st.update("sat probing assigned", m_num_assigned);
     }
 
     void probing::reset_statistics() {
diff --git a/src/sat/sat_scc.cpp b/src/sat/sat_scc.cpp
index e430bcb47..e2d05385b 100644
--- a/src/sat/sat_scc.cpp
+++ b/src/sat/sat_scc.cpp
@@ -251,8 +251,8 @@ namespace sat {
     }
 
     void scc::collect_statistics(statistics & st) const {
-        st.update("elim bool vars scc", m_num_elim);
-        st.update("elim binary", m_num_elim_bin);
+        st.update("sat scc elim vars", m_num_elim);
+        st.update("sat scc elim binary", m_num_elim_bin);
     }
     
     void scc::reset_statistics() {
diff --git a/src/sat/sat_simplifier.cpp b/src/sat/sat_simplifier.cpp
index f0b024817..bc92401ff 100644
--- a/src/sat/sat_simplifier.cpp
+++ b/src/sat/sat_simplifier.cpp
@@ -2155,15 +2155,15 @@ namespace sat {
     }
 
     void simplifier::collect_statistics(statistics & st) const {
-        st.update("subsumed", m_num_subsumed);
-        st.update("subsumption resolution", m_num_sub_res);
-        st.update("elim literals", m_num_elim_lits);
-        st.update("bce",  m_num_bce);
-        st.update("cce",  m_num_cce);
-        st.update("acce", m_num_acce);
-        st.update("abce", m_num_abce);
-        st.update("bca",  m_num_bca);
-        st.update("ate",  m_num_ate);
+        st.update("sat subsumed", m_num_subsumed);
+        st.update("sat subs resolution", m_num_sub_res);
+        st.update("sat elim literals", m_num_elim_lits);
+        st.update("sat bce",  m_num_bce);
+        st.update("sat cce",  m_num_cce);
+        st.update("sat acce", m_num_acce);
+        st.update("sat abce", m_num_abce);
+        st.update("sat bca",  m_num_bca);
+        st.update("sat ate",  m_num_ate);
     }
 
     void simplifier::reset_statistics() {