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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia')

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;
-- 
cgit v1.2.3