From 4f74e00470776716a9598ca3a36e7008c1dd9360 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 28 Aug 2015 19:17:48 -0700
Subject: More tuning in &nf.

---
 src/aig/gia/giaNf.c    | 2 +-
 src/base/abci/abcDar.c | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c
index 856d5e3c..21911b84 100644
--- a/src/aig/gia/giaNf.c
+++ b/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;
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c
index 06592a64..8c1928bb 100644
--- a/src/base/abci/abcDar.c
+++ b/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;
-- 
cgit v1.2.3