]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
changed the var decay. It improved performace
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 28 Sep 2009 18:14:38 +0000 (18:14 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 28 Sep 2009 18:14:38 +0000 (18:14 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@265 e59a4935-1847-0410-ae03-e826735625c1

src/sat/core/Solver.C

index db62ad1e170274336ff8312ce5dcba8296c219d5..feb784307cba612a96b9781ea44fde924472da83 100644 (file)
@@ -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: