diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-03 13:34:17 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-03 13:34:17 +0700 |
commit | 8c302870f44d718261962d24e034ee19a8b6add8 (patch) | |
tree | ed60253334a5c9e0c095a8208bb5ab0678ab1c47 /src/map/if/ifMan.c | |
parent | 0f9dacb7bec32bc19afb068b4bcf53a781ab2a0e (diff) | |
download | abc-8c302870f44d718261962d24e034ee19a8b6add8.tar.gz abc-8c302870f44d718261962d24e034ee19a8b6add8.tar.bz2 abc-8c302870f44d718261962d24e034ee19a8b6add8.zip |
Changes to the matching procedure.
Diffstat (limited to 'src/map/if/ifMan.c')
-rw-r--r-- | src/map/if/ifMan.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 8ea579c4..c6aaa9c4 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -133,8 +133,8 @@ void If_ManStop( If_Man_t * p ) 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_Print( 1, "Useless cuts %2d = %9d (out of %9d) (%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 = %9d (out of %9d) (%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 ); @@ -161,8 +161,8 @@ void If_ManStop( If_Man_t * p ) if ( p->vSwitching ) Vec_IntFree( p->vSwitching ); // hash table -// if ( p->nTableEntries ) -// printf( "Entries = %d. Size = %d.\n", p->nTableEntries, p->nTableSize ); + if ( p->nTableEntries ) + printf( "Entries = %d. Size = %d.\n", p->nTableEntries, p->nTableSize ); ABC_FREE( p->pHashTable ); if ( p->pMemEntries ) Mem_FixedStop( p->pMemEntries, 0 ); |