Disable printing refinement statistics by default.

src/aig/gia/giaAbsGla.c

@@ -1104,7 +1104,7 @@ void Gla_ManStop( Gla_Man_t * p )
 
     // stop the refinement manager
 //    Gia_ManStopP( &p->pGia2 );
-    Rnm_ManStop( p->pRnm, 1 );
+    Rnm_ManStop( p->pRnm, 0 );
 
     if ( p->pvRefis )
     for ( i = 0; i < Gia_ManObjNum(p->pGia); i++ )

src/aig/gia/giaAbsGla2.c

@@ -458,7 +458,7 @@ void Ga2_ManStop( Ga2_Man_t * p )
     Vec_IntFree( p->vValues );
     Vec_IntFree( p->vLits );
     Vec_IntFree( p->vIsopMem );
-    Rnm_ManStop( p->pRnm, p->pPars->fVerbose );
+    Rnm_ManStop( p->pRnm, 0 );
 //    Rf2_ManStop( p->pRf2, p->pPars->fVerbose );
     ABC_FREE( p->pTable );
     ABC_FREE( p->pSopSizes );