From 60ab1716b1178407b41ebaef8c186343a098171c Mon Sep 17 00:00:00 2001
From: JK <klein@tcs.inf.tu-dresden.de>
Date: Wed, 22 Feb 2017 17:43:13 +0100
Subject: [PATCH] storm: bisimulation statistics

---
 src/storm/utility/storm.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/utility/storm.h b/src/storm/utility/storm.h
index 145583a61..407c0b40c 100644
--- a/src/storm/utility/storm.h
+++ b/src/storm/utility/storm.h
@@ -195,7 +195,7 @@ namespace storm {
         storm::storage::DeterministicModelBisimulationDecomposition<ModelType> bisimulationDecomposition(*model, options);
         bisimulationDecomposition.computeBisimulationDecomposition();
         model = bisimulationDecomposition.getQuotient();
-        STORM_LOG_INFO("Bisimulation done. ");
+        STORM_LOG_INFO("Bisimulation done, quotient model has " << model->getNumberOfStates() << " states and " << model->getNumberOfTransitions() << " transitions.");
         return model;
     }
     
@@ -211,7 +211,7 @@ namespace storm {
         storm::storage::NondeterministicModelBisimulationDecomposition<ModelType> bisimulationDecomposition(*model, options);
         bisimulationDecomposition.computeBisimulationDecomposition();
         model = bisimulationDecomposition.getQuotient();
-        STORM_LOG_INFO("Bisimulation done.");
+        STORM_LOG_INFO("Bisimulation done, quotient model has " << model->getNumberOfStates() << " states and " << model->getNumberOfTransitions() << " transitions.");
         return model;
     }