From 8865cb5acd20b55713fd104571c56a9b9b3a2d99 Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Mon, 28 Sep 2009 18:14:38 +0000 Subject: [PATCH] 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 --- src/sat/core/Solver.C | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/core/Solver.C b/src/sat/core/Solver.C index db62ad1..feb7843 100644 --- 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: -- 2.47.3