cleanup

vprover · Jul 29, 2022 · e84e15b · e84e15b
1 parent 01f4541
commit e84e15b
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 11 deletions.
diff --git a/CASC/PortfolioMode.cpp b/CASC/PortfolioMode.cpp
@@ -278,9 +278,6 @@ void PortfolioMode::getSchedules(Property& prop, Schedule& quick, Schedule& fall
   case Options::Schedule::SNAKE_TPTP_SAT:
     Schedules::getSnakeTptpSatSchedule(prop,quick);
     break;
-    case Options::Schedule::SNAKE_TPTP_SAT_FILIP:
-    Schedules::getSnakeTptpSatFilipSchedule(prop,quick);
-    break;
 
   case Options::Schedule::CASC_2019:
   case Options::Schedule::CASC:

diff --git a/CASC/Schedules.cpp b/CASC/Schedules.cpp
@@ -4339,8 +4339,3 @@ void Schedules::getSnakeTptpSatSchedule(const Shell::Property& property, Schedul
   quick.push("ott+10_1:1_afp=1:sac=on:sas=z3:slsq=on:i=27702_0");
   quick.push("ott+3_1:1_atotf=0.2:fsr=off:kws=precedence:sp=weighted_frequency:spb=intro:tgt=ground:i=2894_0");
 }
-
-void Schedules::getSnakeTptpSatFilipSchedule(const Shell::Property& property, Schedule& quick) {
-  // FNT
-  quick.push("fmb+10_1:1_i=45_0");
-}
diff --git a/CASC/Schedules.hpp b/CASC/Schedules.hpp
@@ -46,7 +46,6 @@ class Schedules
 
   static void getSnakeTptpUnsSchedule(const Shell::Property& property, Schedule& quick);
   static void getSnakeTptpSatSchedule(const Shell::Property& property, Schedule& quick);
-  static void getSnakeTptpSatFilipSchedule(const Shell::Property& property, Schedule& quick);
 };
 
 }

diff --git a/Shell/Options.cpp b/Shell/Options.cpp
@@ -162,7 +162,6 @@ void Options::init()
          "smtcomp_2018",
          "snake_tptp_uns",
          "snake_tptp_sat",
-         "snake_tptp_sat_filip",
          "struct_induction"});
     _schedule.description = "Schedule to be run by the portfolio mode. casc and smtcomp usually point to the most recent schedule in that category. file loads the schedule from a file specified in --schedule_file. Note that some old schedules may contain option values that are no longer supported - see ignore_missing.";
     _lookup.insert(&_schedule);

diff --git a/Shell/Options.hpp b/Shell/Options.hpp
@@ -416,7 +416,6 @@ class Options
     SMTCOMP_2018,
     SNAKE_TPTP_UNS,
     SNAKE_TPTP_SAT,
-    SNAKE_TPTP_SAT_FILIP,
     STRUCT_INDUCTION
   };