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();