removed Random::setSeed(getpid()) from portfolio in order to increa…

…se reproducibility
vprover · Jun 25, 2021 · 108158b · 108158b
1 parent 0afb7ed
commit 108158b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CASC/PortfolioMode.cpp b/CASC/PortfolioMode.cpp
@@ -629,7 +629,7 @@ void PortfolioMode::runSlice(Options& strategyOpt)
   *env.options = opt; //just temporarily until we get rid of dependencies on env.options in solving
 
   // this will get reset (to whatever the option says) later in ProvingHelper::runVampireSaturationImpl; but for now, we will influence potential input shuffling
-  Random::setSeed(getpid());
+  // Random::setSeed(getpid());
 
   if (outputAllowed()) {
     env.beginOutput();