From 108158b01324dd330394325b221e0f22675bd8d3 Mon Sep 17 00:00:00 2001
From: Johannes Schoisswohl <johannes.schoisswohl@manchester.ac.uk>
Date: Fri, 25 Jun 2021 08:38:00 +0100
Subject: [PATCH] removed `Random::setSeed(getpid())` from portfolio in order
 to increase reproducibility

---
 CASC/PortfolioMode.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CASC/PortfolioMode.cpp b/CASC/PortfolioMode.cpp
index 447f46b499..1cec92f0a9 100644
--- 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();