added many old schedules

ModelWriter · Sep 27, 2017 · d5b1369 · d5b1369
1 parent fff1d90
commit d5b1369
Show file tree

Hide file tree

Showing 5 changed files with 8,549 additions and 0 deletions.
diff --git a/CASC/PortfolioMode.cpp b/CASC/PortfolioMode.cpp
@@ -146,30 +146,95 @@ void PortfolioMode::getSchedules(Property& prop, Schedule& quick, Schedule& fall
   CALL("PortfolioMode::getSchedules");
 
   switch(env.options->schedule()) {
+  case Options::Schedule::CASC_2014_EPR:
+    Schedules::getCasc2014EprSchedule(prop,quick,fallback);
+    break;
+  case Options::Schedule::CASC_2014:
+    Schedules::getCasc2014Schedule(prop,quick,fallback);
+    break;
+  case Options::Schedule::CASC_2016:
+    Schedules::getCasc2016Schedule(prop,quick,fallback);
+    break;
   case Options::Schedule::CASC:
   case Options::Schedule::CASC_2017:
     Schedules::getCasc2017Schedule(prop,quick,fallback);
     break;
+  case Options::Schedule::CASC_SAT_2014:
+    Schedules::getCascSat2014Schedule(prop,quick,fallback);
+    break;
+  case Options::Schedule::CASC_SAT_2016:
+    Schedules::getCascSat2016Schedule(prop,quick,fallback);
+    break;
   case Options::Schedule::CASC_SAT:
   case Options::Schedule::CASC_SAT_2017:
     Schedules::getCascSat2017Schedule(prop,quick,fallback);
     break;
+  case Options::Schedule::SMTCOMP_2016:
+    Schedules::getSmtcomp2016Schedule(prop,quick,fallback);
+    break;
   case Options::Schedule::SMTCOMP:
   case Options::Schedule::SMTCOMP_2017:
     Schedules::getSmtcomp2017Schedule(prop,quick,fallback);
     break;
+
+  case Options::Schedule::LTB_HH4_2015_FAST:
+    Schedules::getLtb2015Hh4FastSchedule(prop,quick);
+    break;
+  case Options::Schedule::LTB_HH4_2015_MIDD:
+    Schedules::getLtb2015Hh4MiddSchedule(prop,quick);
+    break;
+  case Options::Schedule::LTB_HH4_2015_SLOW:
+    Schedules::getLtb2015Hh4SlowSchedule(prop,quick);
+    break;
   case Options::Schedule::LTB_HH4_2017:
     Schedules::getLtb2017Hh4Schedule(prop,quick);
     break;
+
+  case Options::Schedule::LTB_HLL_2015_FAST:
+    Schedules::getLtb2015HllFastSchedule(prop,quick);
+    break;
+  case Options::Schedule::LTB_HLL_2015_MIDD:
+    Schedules::getLtb2015HllMiddSchedule(prop,quick);
+    break;
+  case Options::Schedule::LTB_HLL_2015_SLOW:
+    Schedules::getLtb2015HllSlowSchedule(prop,quick);
+    break;
   case Options::Schedule::LTB_HLL_2017:
     Schedules::getLtb2017HllSchedule(prop,quick);
     break;
+
+  case Options::Schedule::LTB_ISA_2015_FAST:
+    Schedules::getLtb2015IsaFastSchedule(prop,quick);
+    break;
+  case Options::Schedule::LTB_ISA_2015_MIDD:
+    Schedules::getLtb2015IsaMiddSchedule(prop,quick);
+    break;
+  case Options::Schedule::LTB_ISA_2015_SLOW:
+    Schedules::getLtb2015IsaSlowSchedule(prop,quick);
+    break;
   case Options::Schedule::LTB_ISA_2017:
     Schedules::getLtb2017IsaSchedule(prop,quick);
     break;
+
+  case Options::Schedule::LTB_MZR_2015_FAST:
+    Schedules::getLtb2015MzrFastSchedule(prop,quick);
+    break;
+  case Options::Schedule::LTB_MZR_2015_MIDD:
+    Schedules::getLtb2015MzrMiddSchedule(prop,quick);
+    break;
+  case Options::Schedule::LTB_MZR_2015_SLOW:
+    Schedules::getLtb2015MzrSlowSchedule(prop,quick);
+    break;
   case Options::Schedule::LTB_MZR_2017:
     Schedules::getLtb2017MzrSchedule(prop,quick);
     break;
+  case Options::Schedule::LTB_2014:
+    Schedules::getLtb2014Schedule(prop,quick);
+    break;
+  case Options::Schedule::LTB_2014_MZR:
+    Schedules::getLtb2014MzrSchedule(prop,quick,fallback);
+    break;
+
   case Options::Schedule::LTB_DEFAULT_2017:
     Schedules::getLtb2017DefaultSchedule(prop,quick);
     break;