Speedup. Revert back to minisat's default parameters.

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

diff --git a/src/sat/core/Solver.C b/src/sat/core/Solver.C
index 0de12236676ca8b2b755d5732676454414a615dc..6b8ea8d8a78104c192832592c0e1f7c6e060cf2f 100644 (file)
--- a/src/sat/core/Solver.C
+++ b/src/sat/core/Solver.C
@@ -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:
     //