diff --git a/Shell/Options.cpp b/Shell/Options.cpp
index 84b24d86e6..819a724378 100644
--- a/Shell/Options.cpp
+++ b/Shell/Options.cpp
@@ -144,7 +144,10 @@ void Options::Options::init()
     _multicore = UnsignedOptionValue("cores","",1);
     _multicore.description = "When running in portfolio mode mode specify the number of cores, set to 0 to use maximum";
     _lookup.insert(&_multicore);
-    _multicore.reliesOnHard(_mode.is(equal(Mode::CASC)->Or(_mode.is(equal(Mode::PORTFOLIO)))));
+    _multicore.reliesOnHard(_mode.is(equal(Mode::CASC)->
+        Or(_mode.is(equal(Mode::CASC_SAT)))->
+        Or(_mode.is(equal(Mode::SMTCOMP)))->
+        Or(_mode.is(equal(Mode::PORTFOLIO)))));
 
     _ltbLearning = ChoiceOptionValue<LTBLearning>("ltb_learning","ltbl",LTBLearning::OFF,{"on","off","biased"});
     _ltbLearning.description = "Perform learning in LTB mode";