From f02ec57ea38c0d1b97db7ff32d45f84a8e38961f Mon Sep 17 00:00:00 2001
From: Martin Suda <martin.suda@cvut.cz>
Date: Sun, 1 Sep 2024 19:14:33 +0000
Subject: [PATCH] timer only when done talking (otherwise output may get
 mangled)

---
 CASC/PortfolioMode.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CASC/PortfolioMode.cpp b/CASC/PortfolioMode.cpp
index 84aafa261..720440556 100644
--- a/CASC/PortfolioMode.cpp
+++ b/CASC/PortfolioMode.cpp
@@ -632,7 +632,6 @@ void PortfolioMode::runSlice(Options& strategyOpt)
 {
   System::registerForSIGHUPOnParentDeath();
   UIHelper::portfolioParent=false;
-  Timer::reinitialise();
 
   Options opt = strategyOpt;
   //we have already performed the normalization (or don't care about it)
@@ -650,6 +649,8 @@ void PortfolioMode::runSlice(Options& strategyOpt)
       ")" << endl;
   }
 
+  Timer::reinitialise(); // timer only when done talking (otherwise output may get mangled)
+
   Saturation::ProvingHelper::runVampire(*_prb, opt);
 
   bool succeeded =