changed the var decay. It improved performace

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

diff --git a/src/sat/core/Solver.C b/src/sat/core/Solver.C
index db62ad1e170274336ff8312ce5dcba8296c219d5..feb784307cba612a96b9781ea44fde924472da83 100644 (file)
--- a/src/sat/core/Solver.C
+++ b/src/sat/core/Solver.C
@@ -30,7 +30,7 @@ namespace MINISAT {
 Solver::Solver() :
 
     // Parameters: (formerly in 'SearchParams')
-  var_decay(1 / 0.95), clause_decay(1 / 0.999), random_var_freq(0.02)
+  var_decay(1 / 0.75), 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: