diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h
index b5103cae8..520e3c878 100644
--- a/src/storm-cli-utilities/model-handling.h
+++ b/src/storm-cli-utilities/model-handling.h
@@ -1053,7 +1053,8 @@ namespace storm {
                 }
                 watch.stop();
                 postprocessingCallback(result);
-                STORM_PRINT((storm::utility::resources::isTerminate() ? "Result till abort:" : "Result:") << *result);
+                STORM_PRINT((storm::utility::resources::isTerminate() ? "Result till abort:" : "Result:") << *result << std::endl);
+                STORM_PRINT("Time for model checking: " << watch << "." << std::endl);
             }
         }