commented out the mtrand initial seeding with time() function in sat/cryptominisat2...

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@651 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/sat/cryptominisat2/Solver.cpp b/src/sat/cryptominisat2/Solver.cpp
index 53ec40fe79fb945e3df9e8452c0e6af200016c48..e27a86d702d711a136cfd2859a08eb63dcbd35dd 100644 (file)
--- a/src/sat/cryptominisat2/Solver.cpp
+++ b/src/sat/cryptominisat2/Solver.cpp
@@ -82,7 +82,8 @@ Solver::Solver() :
         , order_heap       (VarOrderLt(activity))
         , progress_estimate(0)
         , remove_satisfied (true)
-        , mtrand((unsigned long int)time(NULL))
+        , mtrand((unsigned long int)0)
+       //, mtrand((unsigned long int)time(NULL))
         , restartType      (static_restart)
         #ifdef STATS_NEEDED
         , logger(verbosity)