From ca9309d18e0ab63f80c7a95d3c40c2ad6a0cb5de Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffen=20M=C3=A4rcker?= <maercker@tcs.inf.tu-dresden.de>
Date: Tue, 6 Mar 2018 13:27:52 +0100
Subject: [PATCH] Harmonize log output after steady-state power iteration
 between engines

---
 prism/src/explicit/DTMCModelChecker.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java
index 6ef99e94..6d872e0c 100644
--- a/prism/src/explicit/DTMCModelChecker.java
+++ b/prism/src/explicit/DTMCModelChecker.java
@@ -2398,7 +2398,7 @@ public class DTMCModelChecker extends ProbModelChecker
 
 		// Finished value iteration
 		watch.stop();
-		mainLog.println("Value iteration took " + iters + " iterations and " + watch.elapsedSeconds() + " seconds.");
+		mainLog.println("Power method: " + iters + " iterations in " + watch.elapsedSeconds() + " seconds.");
 
 		if (iterationsExport != null) {
 			iterationsExport.close();