From: trevor_hansen Date: Sun, 27 Jun 2010 01:52:41 +0000 (+0000) Subject: Speedup. Revert back to minisat's default parameters. X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=18d61eee82d4050f24cbe84af926aea220a1df69;p=francis%2Fstp.git 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 0de1223..6b8ea8d 100644 --- 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: //