From 5766472bb6e88b68cb1a4f770bb82f81501442e9 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 18 May 2013 11:30:13 -0700
Subject: SAT variable profiling.

---
 src/sat/bmc/bmcBmc3.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/bmc/bmcBmc3.c b/src/sat/bmc/bmcBmc3.c
index 8d1f6ea8..f1097e52 100644
--- a/src/sat/bmc/bmcBmc3.c
+++ b/src/sat/bmc/bmcBmc3.c
@@ -1416,6 +1416,7 @@ int Saig_ManBmcScalable( Aig_Man_t * pAig, Saig_ParBmc_t * pPars )
     p->pSat->nLearntStart = p->pPars->nLearnedStart;
     p->pSat->nLearntDelta = p->pPars->nLearnedDelta;
     p->pSat->nLearntRatio = p->pPars->nLearnedPerce;
+    p->pSat->nLearntMax   = p->pSat->nLearntStart;
     if ( pPars->fVerbose )
     {
         printf( "Running \"bmc3\". PI/PO/Reg = %d/%d/%d. And =%7d. Lev =%6d. ObjNums =%6d. Sect =%3d.\n", 
-- 
cgit v1.2.3