From ed3d3dfc8ea16ac226bbce6cabbb207ee89ce474 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 26 May 2013 13:34:24 -0700 Subject: New MFS package. --- src/opt/mfs/mfsMan.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/opt/mfs') diff --git a/src/opt/mfs/mfsMan.c b/src/opt/mfs/mfsMan.c index 401c6edd..6042f15e 100644 --- a/src/opt/mfs/mfsMan.c +++ b/src/opt/mfs/mfsMan.c @@ -121,8 +121,8 @@ void Mfs_ManPrint( Mfs_Man_t * p ) printf( "\n" ); printf( "Reduction: " ); - printf( "Nodes %6d out of %6d (%6.2f %%) ", p->nTotalNodesBeg-p->nTotalNodesEnd, p->nTotalNodesEnd, 100.0*(p->nTotalNodesBeg-p->nTotalNodesEnd)/Abc_MaxInt(1, p->nTotalNodesBeg) ); - printf( "Edges %6d out of %6d (%6.2f %%) ", p->nTotalEdgesBeg-p->nTotalEdgesEnd, p->nTotalEdgesEnd, 100.0*(p->nTotalEdgesBeg-p->nTotalEdgesEnd)/Abc_MaxInt(1, p->nTotalEdgesBeg) ); + printf( "Nodes %6d out of %6d (%6.2f %%) ", p->nTotalNodesBeg-p->nTotalNodesEnd, p->nTotalNodesBeg, 100.0*(p->nTotalNodesBeg-p->nTotalNodesEnd)/Abc_MaxInt(1, p->nTotalNodesBeg) ); + printf( "Edges %6d out of %6d (%6.2f %%) ", p->nTotalEdgesBeg-p->nTotalEdgesEnd, p->nTotalEdgesBeg, 100.0*(p->nTotalEdgesBeg-p->nTotalEdgesEnd)/Abc_MaxInt(1, p->nTotalEdgesBeg) ); printf( "\n" ); if (p->pPars->fPower) -- cgit v1.2.3