diff --git a/subprojects/xsts/xsts-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/concretizer/TraceGenerationXstsTraceConcretizerUtil.java b/subprojects/xsts/xsts-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/concretizer/TraceGenerationXstsTraceConcretizerUtil.java
index 6b88e74fc0..6de5c3af45 100644
--- a/subprojects/xsts/xsts-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/concretizer/TraceGenerationXstsTraceConcretizerUtil.java
+++ b/subprojects/xsts/xsts-analysis/src/main/java/hu/bme/mit/theta/xsts/analysis/concretizer/TraceGenerationXstsTraceConcretizerUtil.java
@@ -95,7 +95,6 @@ private static void addToReport(ItpRefutation refutation, Trace<XstsState<ExplSt
             }
         }
         infeasibles.add(Tuple2.of(prunedStates, refutation));
-        System.out.println(refutation.get(refutation.getPruneIndex()));
     }
 
     private static void createReport(Collection<Trace<XstsState<ExplState>, XstsAction>> traces) {
@@ -125,6 +124,8 @@ private static void createReport(Collection<Trace<XstsState<ExplState>, XstsActi
         // allapot fedest pontosan nezzuk, transition fedest csak annyira, hogy serulhetett-e
         if(foundInfeasible) {
             reportBuilder.append("There were infeasible traces found; transition coverage might be incomplete\n");
+        } else {
+            reportBuilder.append("Trace coverage is complete\n");
         }
 
         if(stateRefutations.isEmpty()) {