diff --git a/src/muz/bmc/dl_bmc_engine.cpp b/src/muz/bmc/dl_bmc_engine.cpp
index 332817cec..0318d0bdc 100644
--- a/src/muz/bmc/dl_bmc_engine.cpp
+++ b/src/muz/bmc/dl_bmc_engine.cpp
@@ -1530,7 +1530,7 @@ namespace datalog {
     }
 
     void bmc::collect_statistics(statistics& st) const {
-        m_solver->collect_statistics(st);
+        if (m_solver) m_solver->collect_statistics(st);
     }
 
     void bmc::reset_statistics() {