Commenting out &mfs report message.

src/aig/gia/giaMfs.c

@@ -451,6 +451,7 @@ Gia_Man_t * Gia_ManPerformMfs( Gia_Man_t * p, Sfm_Par_t * pPars )
     nNodes = Sfm_NtkPerform( pNtk, pPars );
     if ( nNodes == 0 )
     {
+        if ( p->pManTime )
         Abc_Print( 1, "The network is not changed by \"&mfs\".\n" );
         pNew = Gia_ManDup( p );
         pNew->vMapping = Vec_IntDup( p->vMapping );

src/base/wlc/wlcShow.c

@@ -49,9 +49,9 @@ void Wlc_NtkDumpDot( Wlc_Ntk_t * p, char * pFileName, Vec_Int_t * vBold )
     Wlc_Obj_t * pNode;
     int LevelMax, Prev, Level, i;
 
-    if ( Wlc_NtkObjNum(p) > 500 )
+    if ( Wlc_NtkObjNum(p) > 1000 )
     {
-        fprintf( stdout, "Cannot visualize WLC with more than %d nodes.\n", 500 );
+        fprintf( stdout, "Cannot visualize WLC with more than %d nodes.\n", 1000 );
         return;
     }
     if ( (pFile = fopen( pFileName, "w" )) == NULL )