More tuning in &nf.

src/aig/gia/giaNf.c

@@ -1846,7 +1846,7 @@ void Nf_ManSetDefaultPars( Jf_Par_t * pPars )
     pPars->nLutSize     =  6;
     pPars->nCutNum      = 16;
     pPars->nProcNum     =  0;
-    pPars->nRounds      =  3;
+    pPars->nRounds      =  5;
     pPars->nRoundsEla   =  3;
     pPars->nRelaxRatio  =  0;
     pPars->nCoarseLimit =  3;

src/base/abci/abcDar.c

@@ -874,7 +874,7 @@ Abc_Ntk_t * Abc_NtkFromCellMappedGia( Gia_Man_t * p )
 {
     int fFixDrivers = 1;
     int fDuplicate = 1;
-    int fVerbose = 1;
+    int fVerbose = 0;
     Abc_Ntk_t * pNtkNew;
     Vec_Int_t * vCopyLits;
     Abc_Obj_t * pObjNew, * pObjNewLi, * pObjNewLo;