diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-18 11:30:13 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-18 11:30:13 -0700 |
| commit | 5766472bb6e88b68cb1a4f770bb82f81501442e9 (patch) | |
| tree | e81297ff256ef689d89ba29ebb4f2778701b0a27 | |
| parent | 7bc2fb51995cc775be5a273e2854d7e2f7577ea7 (diff) | |
| download | abc-5766472bb6e88b68cb1a4f770bb82f81501442e9.tar.gz abc-5766472bb6e88b68cb1a4f770bb82f81501442e9.tar.bz2 abc-5766472bb6e88b68cb1a4f770bb82f81501442e9.zip | |
SAT variable profiling.
| -rw-r--r-- | src/sat/bmc/bmcBmc3.c | 1 |
1 files changed, 1 insertions, 0 deletions
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", |