From 2a2b21326b5b29de8aea9671a873f0fda77bd16b Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Thu, 31 May 2018 10:42:49 -0700 Subject: [PATCH] Stats on num_proxies in iuc_solver --- src/muz/spacer/spacer_iuc_solver.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/muz/spacer/spacer_iuc_solver.cpp b/src/muz/spacer/spacer_iuc_solver.cpp index 2814fc249..1043dd939 100644 --- a/src/muz/spacer/spacer_iuc_solver.cpp +++ b/src/muz/spacer/spacer_iuc_solver.cpp @@ -209,6 +209,7 @@ void iuc_solver::collect_statistics (statistics &st) const { m_solver.collect_statistics (st); st.update ("time.iuc_solver.iuc_core", m_iuc_watch.get_seconds ()); + st.update("iuc_solver.num_proxies", m_proxies.size()); } void iuc_solver::reset_statistics ()