diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-01 17:00:59 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-01 17:00:59 +0700 |
| commit | e6e6a3cf9ecfccf71cba45273ea866e7e2526f0a (patch) | |
| tree | 624cbbdca94773dced12e3689362d13358ae62f9 /src/map/if/ifMan.c | |
| parent | ff4c674dd7afd2c8f3fa3e52aca8c1e65829315d (diff) | |
| download | abc-e6e6a3cf9ecfccf71cba45273ea866e7e2526f0a.tar.gz abc-e6e6a3cf9ecfccf71cba45273ea866e7e2526f0a.tar.bz2 abc-e6e6a3cf9ecfccf71cba45273ea866e7e2526f0a.zip | |
Changes to the matching procedure.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index f0c37e70..ba8f4e0c 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -127,8 +127,15 @@ void If_ManRestart( If_Man_t * p ) ***********************************************************************/ void If_ManStop( If_Man_t * p ) { - if ( p->nCutsUseless && p->pPars->fVerbose ) - Abc_Print( 1, "Useless cuts = %7d (out of %7d) (%6.2f %%)\n", p->nCutsUseless, p->nCutsTotal, 100.0*p->nCutsUseless/(p->nCutsTotal+1) ); +// if ( p->nCutsUselessAll && p->pPars->fVerbose ) + if ( p->nCutsUselessAll ) + { + int i; + for ( i = 0; i <= 16; i++ ) + if ( p->nCutsUseless[i] ) + Abc_Print( 1, "Useless cuts %2d = %7d (out of %7d) (%6.2f %%)\n", i, p->nCutsUseless[i], p->nCutsCount[i], 100.0*p->nCutsUseless[i]/(p->nCutsCount[i]+1) ); + Abc_Print( 1, "Useless cuts all = %7d (out of %7d) (%6.2f %%)\n", p->nCutsUselessAll, p->nCutsCountAll, 100.0*p->nCutsUselessAll/(p->nCutsCountAll+1) ); + } // Abc_PrintTime( 1, "Truth", p->timeTruth ); // Abc_Print( 1, "Small support = %d.\n", p->nSmallSupp ); Vec_IntFreeP( &p->vCoAttrs ); |