diff options
| author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-04-06 14:18:50 -0700 |
|---|---|---|
| committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-04-06 14:18:50 -0700 |
| commit | 72c23923da38d9e06b4a57816704fe1c0d37a2c4 (patch) | |
| tree | 241b6111a7c72d18db73c58c7028da5c8b94802e /src/opt | |
| parent | 2761e5e35bdcb8591ccc445b907af95bd0b16357 (diff) | |
| parent | efe5d1476af9e99c7a246d6d4de91abbc4274359 (diff) | |
| download | abc-72c23923da38d9e06b4a57816704fe1c0d37a2c4.tar.gz abc-72c23923da38d9e06b4a57816704fe1c0d37a2c4.tar.bz2 abc-72c23923da38d9e06b4a57816704fe1c0d37a2c4.zip | |
merge
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/sfm/sfmCore.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/sfm/sfmCore.c b/src/opt/sfm/sfmCore.c index 7d9db709..48019c15 100644 --- a/src/opt/sfm/sfmCore.c +++ b/src/opt/sfm/sfmCore.c @@ -73,8 +73,8 @@ void Sfm_ParSetDefault( Sfm_Par_t * pPars ) void Sfm_NtkPrintStats( Sfm_Ntk_t * p ) { p->timeOther = p->timeTotal - p->timeWin - p->timeDiv - p->timeCnf - p->timeSat; - printf( "Nodes = %d. Try = %d. Resub = %d. Div = %d. SAT calls = %d. Timeouts = %d. MaxDivs = %d.\n", - Sfm_NtkNodeNum(p), p->nNodesTried, p->nRemoves + p->nResubs, p->nTotalDivs, p->nSatCalls, p->nTimeOuts, p->nMaxDivs ); + printf( "Nodes = %d. Try = %d. Resub = %d. Div = %d (ave = %d). SAT calls = %d. Timeouts = %d. MaxDivs = %d.\n", + Sfm_NtkNodeNum(p), p->nNodesTried, p->nRemoves + p->nResubs, p->nTotalDivs, p->nTotalDivs/Abc_MaxInt(1, p->nNodesTried), p->nSatCalls, p->nTimeOuts, p->nMaxDivs ); printf( "Attempts : " ); printf( "Remove %6d out of %6d (%6.2f %%) ", p->nRemoves, p->nTryRemoves, 100.0*p->nRemoves/Abc_MaxInt(1, p->nTryRemoves) ); |