From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 4 Dec 2009 00:53:54 +0000 (+0000)
Subject: reverted back the changes
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=5026af9da43d106d90e89020e139310f7c00ac9e;p=francis%2Fstp.git

reverted back the changes

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

diff --git a/src/sat/cryptominisat/Solver.cpp b/src/sat/cryptominisat/Solver.cpp
index 3722015..01a4d8a 100644
--- a/src/sat/cryptominisat/Solver.cpp
+++ b/src/sat/cryptominisat/Solver.cpp
@@ -35,8 +35,8 @@ namespace MINISAT
 
 Solver::Solver() :
         // Parameters: (formerly in 'SearchParams')
-        var_decay(1 / 0.99), clause_decay(1 / 0.999), random_var_freq(0.02)
-        , restart_first(100), restart_inc(1.0), learntsize_factor((double)1/(double)3), learntsize_inc(1.1)
+        var_decay(1 / 0.95), clause_decay(1 / 0.999), random_var_freq(0.02)
+        , restart_first(100), restart_inc(1.5), learntsize_factor((double)1/(double)3), learntsize_inc(1.1)
 
         // More parameters:
         //
diff --git a/src/to-sat/CallSAT.cpp b/src/to-sat/CallSAT.cpp
index bf2fdcc..a3e7317 100644
--- a/src/to-sat/CallSAT.cpp
+++ b/src/to-sat/CallSAT.cpp
@@ -8,7 +8,7 @@
  ********************************************************************/
 
 #include "ToSAT.h"
-#define MAX_BUCKET_LIMIT 4
+#define MAX_BUCKET_LIMIT 3
 
 namespace BEEV
 {