defaulting slowness

vprover · Jul 11, 2022 · 3a2cdb5 · 3a2cdb5
1 parent 948b971
commit 3a2cdb5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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());