diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-05 13:32:52 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-05 13:32:52 -0700 |
commit | 8b0302cdab633f6ba6b5e317e58212cb4f94c493 (patch) | |
tree | c6a1254dc09d6ad610648ac96602166f3ff0e853 /src/aig/saig | |
parent | 3c43fbba1aa7b11bd027ad60767ec145ef8b2c1e (diff) | |
download | abc-8b0302cdab633f6ba6b5e317e58212cb4f94c493.tar.gz abc-8b0302cdab633f6ba6b5e317e58212cb4f94c493.tar.bz2 abc-8b0302cdab633f6ba6b5e317e58212cb4f94c493.zip |
Changing default conflict limits in bmc2 and bmc3 to be 0 (no limit).
Diffstat (limited to 'src/aig/saig')
-rw-r--r-- | src/aig/saig/saigBmc3.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/saig/saigBmc3.c b/src/aig/saig/saigBmc3.c index aeb1a34d..9107a796 100644 --- a/src/aig/saig/saigBmc3.c +++ b/src/aig/saig/saigBmc3.c @@ -1221,7 +1221,7 @@ void Saig_ParBmcSetDefaultParams( Saig_ParBmc_t * p ) memset( p, 0, sizeof(Saig_ParBmc_t) ); p->nStart = 0; // maximum number of timeframes p->nFramesMax = 0; // maximum number of timeframes - p->nConfLimit = 2000; // maximum number of conflicts at a node + p->nConfLimit = 0; // maximum number of conflicts at a node p->nConfLimitJump = 0; // maximum number of conflicts after jumping p->nFramesJump = 0; // the number of tiemframes to jump p->nTimeOut = 0; // approximate timeout in seconds @@ -1260,8 +1260,8 @@ int Saig_ManBmcScalable( Aig_Man_t * pAig, Saig_ParBmc_t * pPars ) printf( "Running \"bmc3\". PI/PO/Reg = %d/%d/%d. And =%7d. Lev =%6d. ObjNums =%6d. Sect =%3d.\n", Saig_ManPiNum(pAig), Saig_ManPoNum(pAig), Saig_ManRegNum(pAig), Aig_ManNodeNum(pAig), Aig_ManLevelNum(pAig), p->nObjNums, Vec_VecSize(p->vSects) ); - printf( "Params: Start = %d. FramesMax = %d. ConfLimit = %d. TimeOut = %d. SolveAll = %d.\n", - pPars->nStart, pPars->nFramesMax, pPars->nConfLimit, pPars->nTimeOut, pPars->fSolveAll ); + printf( "Params: FramesMax = %d. Start = %d. ConfLimit = %d. TimeOut = %d. SolveAll = %d.\n", + pPars->nFramesMax, pPars->nStart, pPars->nConfLimit, pPars->nTimeOut, pPars->fSolveAll ); } pPars->nFramesMax = pPars->nFramesMax ? pPars->nFramesMax : ABC_INFINITY; // set runtime limit |