diff --git a/Shell/Options.cpp b/Shell/Options.cpp
index 0a4e4ca6d5..d30e33f8e8 100644
--- a/Shell/Options.cpp
+++ b/Shell/Options.cpp
@@ -170,7 +170,7 @@ void Options::init()
     _lookup.insert(&_multicore);
     _multicore.reliesOn(UsingPortfolioTechnology());
 
-    _slowness = FloatOptionValue("slowness","",1.3);
+    _slowness = FloatOptionValue("slowness","",1.0);
     _slowness.description = "The factor by which is multiplied the time limit of each configuration in casc/casc_sat/smtcomp/portfolio mode";
     _lookup.insert(&_slowness);
     _slowness.onlyUsefulWith(UsingPortfolioTechnology());