From ea5e4ab6ba5c7070f1d23169090254984c4d307f Mon Sep 17 00:00:00 2001
From: Giles <--global>
Date: Wed, 2 Aug 2017 13:03:47 +0100
Subject: [PATCH] turn szs on

---
 CASC/CLTBMode.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CASC/CLTBMode.cpp b/CASC/CLTBMode.cpp
index b40198ea92..a0b6c5077e 100644
--- a/CASC/CLTBMode.cpp
+++ b/CASC/CLTBMode.cpp
@@ -62,7 +62,7 @@ void CLTBMode::perform()
   // to prevent from terminating by time limit
   env.options->setTimeLimitInSeconds(100000);
 
-  //UIHelper::szsOutput = true;
+  UIHelper::szsOutput = true;
   env.options->setProof(Options::Proof::TPTP);
   env.options->setStatistics(Options::Statistics::NONE);
 
@@ -1245,7 +1245,7 @@ void CLTBProblem::searchForProof(int terminationTime,int timeLimit,const Categor
   // now all the cpu usage will be in children, we'll just be waiting for them
   Timer::setTimeLimitEnforcement(false);
 
-  //UIHelper::szsOutput=true;
+  UIHelper::szsOutput=true;
 
   performStrategy(terminationTime,timeLimit,category,property);
   exitOnNoSuccess();