From 0d307b1c856517af6bd9d473b0695cb3c444d512 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 13 Aug 2017 16:48:03 +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')

diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c
index 6dec48f0..7d5e14c1 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, 10 );
+    Ela1 = Mf_CutRef2_rec( p, pCut, &p->vTemp, 8 );
     Vec_IntForEachEntry( &p->vTemp, iObj, i )
         Mf_ObjMapRefDec( p, iObj );
     return Ela1;
-- 
cgit v1.2.3