From 7fbddb04e6f7cfa94a7a5ca17fc2326ef22a2c74 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 13 Aug 2017 16:38:06 +0700
Subject: Fixing non-scalability in CNF generation.

---
 src/aig/gia/giaMf.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c
index 89ad2354..6dec48f0 100644
--- a/src/aig/gia/giaMf.c
+++ b/src/aig/gia/giaMf.c
@@ -1551,7 +1551,7 @@ static inline int Mf_CutAreaDerefed2( Mf_Man_t * p, int * pCut )
 {
     int Ela1, iObj, i;
     Vec_IntClear( &p->vTemp );
-    Ela1 = Mf_CutRef2_rec( p, pCut, &p->vTemp, 5 );
+    Ela1 = Mf_CutRef2_rec( p, pCut, &p->vTemp, 10 );
     Vec_IntForEachEntry( &p->vTemp, iObj, i )
         Mf_ObjMapRefDec( p, iObj );
     return Ela1;
-- 
cgit v1.2.3