diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-13 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-13 08:01:00 -0700 |
| commit | 6205eaaee3a840dd076f9baaac67720d85d6a680 (patch) | |
| tree | 280d5d1a3ffa9cc34807c84598f8218b92fd1ef2 /src/opt/mfs/mfsMan.c | |
| parent | 79d5e7658153760a9774f96eea03f21abb668521 (diff) | |
| download | abc-6205eaaee3a840dd076f9baaac67720d85d6a680.tar.gz abc-6205eaaee3a840dd076f9baaac67720d85d6a680.tar.bz2 abc-6205eaaee3a840dd076f9baaac67720d85d6a680.zip | |
Version abc80313
Diffstat (limited to 'src/opt/mfs/mfsMan.c')
| -rw-r--r-- | src/opt/mfs/mfsMan.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/opt/mfs/mfsMan.c b/src/opt/mfs/mfsMan.c index 5f947aeb..17ca40fc 100644 --- a/src/opt/mfs/mfsMan.c +++ b/src/opt/mfs/mfsMan.c @@ -126,9 +126,13 @@ void Mfs_ManPrint( Mfs_Man_t * p ) } else { - printf( "Nodes = %d. Care mints = %d. Total mints = %d. Ratio = %5.2f.\n", - p->nNodesTried, p->nMintsCare, p->nMintsTotal, 1.0 * p->nMintsCare / p->nMintsTotal ); + printf( "Nodes = %d. DC mints in local space = %d. Total mints = %d. Ratio = %5.2f.\n", + p->nNodesTried, p->nMintsTotal-p->nMintsCare, p->nMintsTotal, + 1.0 * (p->nMintsTotal-p->nMintsCare) / p->nMintsTotal ); +// printf( "Average ratio of sequential DCs in the global space = %5.2f.\n", +// 1.0-(p->dTotalRatios/p->nNodesTried) ); } +/* PRTP( "Win", p->timeWin , p->timeTotal ); PRTP( "Div", p->timeDiv , p->timeTotal ); PRTP( "Aig", p->timeAig , p->timeTotal ); @@ -136,7 +140,7 @@ void Mfs_ManPrint( Mfs_Man_t * p ) PRTP( "Sat", p->timeSat-p->timeInt , p->timeTotal ); PRTP( "Int", p->timeInt , p->timeTotal ); PRTP( "ALL", p->timeTotal , p->timeTotal ); - +*/ } /**Function************************************************************* |