mode casc rigid time limit removed again

vprover · Jul 2, 2018 · 552c234 · 552c234
1 parent 0844fbd
commit 552c234
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/vampire.cpp b/vampire.cpp
@@ -885,7 +885,7 @@ int main(int argc, char* argv[])
       env.options->setOutputMode(Options::Output::SZS);
       env.options->setProof(Options::Proof::TPTP);
       env.options->setOutputAxiomNames(true);
-      env.options->setTimeLimitInSeconds(300);
+      //env.options->setTimeLimitInSeconds(300);
       env.options->setMemoryLimit(128000);
 
       if (CASC::PortfolioMode::perform(1.30)) {
@@ -899,7 +899,7 @@ int main(int argc, char* argv[])
       env.options->setOutputMode(Options::Output::SZS);
       env.options->setProof(Options::Proof::TPTP);
       env.options->setOutputAxiomNames(true);
-      env.options->setTimeLimitInSeconds(300);
+      //env.options->setTimeLimitInSeconds(300);
       env.options->setMemoryLimit(128000);
 
       if (CASC::PortfolioMode::perform(1.30)) {