From a0df379bfdb422ba3a47026e5e099abed105c88f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 13 Jun 2014 13:02:20 -0700
Subject: Various modifications.

---
 src/aig/gia/giaBalance.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/aig/gia/giaBalance.c b/src/aig/gia/giaBalance.c
index 9760cf39..dfbc6ca6 100644
--- a/src/aig/gia/giaBalance.c
+++ b/src/aig/gia/giaBalance.c
@@ -1023,7 +1023,8 @@ Gia_Man_t * Gia_ManAigSyn2( Gia_Man_t * p, int fVerbose, int fVeryVerbose )
     Jf_Par_t Pars, * pPars = &Pars;
     Lf_ManSetDefaultPars( pPars );
 //    pPars->fVerbose = 1;
-    pPars->nRelaxRatio = 40;
+    pPars->fCoarsen = 1;
+    pPars->nRelaxRatio = 20;
     if ( fVerbose )     Gia_ManPrintStats( p, NULL );
     if ( Gia_ManAndNum(p) == 0 )
         return Gia_ManDup(p);
-- 
cgit v1.2.3