From 552c23466324d79e3c85749becbb2d89f16e31d6 Mon Sep 17 00:00:00 2001
From: Giles <giles.reger@manchester.ac.uk>
Date: Mon, 2 Jul 2018 14:53:33 +0100
Subject: [PATCH] mode casc rigid time limit removed again

---
 vampire.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/vampire.cpp b/vampire.cpp
index 17037a5029..ea3994a51b 100644
--- 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)) {