turn szs on

ModelWriter · Aug 2, 2017 · ea5e4ab · ea5e4ab
1 parent 403c51b
commit ea5e4ab
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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();