diff options
Diffstat (limited to 'src/sat/bsat/satSolver2.c')
-rw-r--r-- | src/sat/bsat/satSolver2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c index 843a33b6..8fdc2ecb 100644 --- a/src/sat/bsat/satSolver2.c +++ b/src/sat/bsat/satSolver2.c @@ -1450,7 +1450,7 @@ void solver2_reducedb(sat_solver2* s) extern void Sat_ProofReduce( veci * pProof, veci * pRoots ); satset * c; cla h,* pArray,* pArray2; - int Counter = 0, CounterStart = s->stats.learnts * 2 / 3; + int Counter = 0, CounterStart = s->stats.learnts * 3 / 4; // 2/3; int i, j, k, hTemp, hHandle, clk = clock(); static int TimeTotal = 0; |