]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
Speedup. Revert back to minisat's default parameters.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 27 Jun 2010 01:52:41 +0000 (01:52 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 27 Jun 2010 01:52:41 +0000 (01:52 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@892 e59a4935-1847-0410-ae03-e826735625c1

src/sat/core/Solver.C

index 0de12236676ca8b2b755d5732676454414a615dc..6b8ea8d8a78104c192832592c0e1f7c6e060cf2f 100644 (file)
@@ -49,9 +49,10 @@ void  tlfree(void* mem) { mspace_free(tlms, mem); }
 
 Solver::Solver() :
 
-    // Parameters: (formerly in 'SearchParams')
-  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)
+// Parameters: (formerly in 'SearchParams')
+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:
     //