diff --git a/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/Coverage/BehavioralObserver.cs b/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/Coverage/BehavioralObserver.cs
index 35a3353d0..36507725a 100644
--- a/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/Coverage/BehavioralObserver.cs
+++ b/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/Coverage/BehavioralObserver.cs
@@ -86,7 +86,6 @@ public static void NextIter()
             return;
         }
         int uniqueScore = GetUniqueScore(currSignature);
-        Logger.WriteLine($"----**** UniquenessScore: {uniqueScore}");
         if (uniqueScore != 0)
         {
             AllTimeline.Add(currSignature);
diff --git a/Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs b/Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs
index 32a33cfce..747fcbbbd 100644
--- a/Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs
+++ b/Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs
@@ -651,8 +651,6 @@ private void RunNextIteration(int schedule)
                 if (ShouldPrintIteration(schedule))
                 {
                     var seconds = watch.Elapsed.TotalSeconds;
-                    Logger.WriteLine($"Elapsed: {seconds}, " +
-                                     $"# timelines: {TestReport.ExploredTimelines.Count}");
                     if (Strategy is IFeedbackGuidedStrategy s)
                     {
                         s.DumpStats(Logger);