From 6205eaaee3a840dd076f9baaac67720d85d6a680 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 13 Mar 2008 08:01:00 -0700 Subject: Version abc80313 --- src/opt/mfs/mfsMan.c | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'src/opt/mfs/mfsMan.c') 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************************************************************* -- cgit v1.2.3