Fixed performance bug in Feb 28 commit (0d0063f7).

src/base/abci/abcRefactor.c

@@ -160,6 +160,8 @@ Dec_Graph_t * Abc_NodeRefactor( Abc_ManRef_t * p, Abc_Obj_t * pNode, Vec_Ptr_t *
     word * pTruth;
     abctime clk;
     int i, nNodesSaved, nNodesAdded, Required;
+    if ( fUseZeros )
+        nMinSaved = 0;
 
     p->nNodesConsidered++;
 

src/opt/dar/darCore.c

@@ -87,6 +87,8 @@ int Dar_ManRewrite( Aig_Man_t * pAig, Dar_RwrPar_t * pPars )
     abctime clk = 0, clkStart;
     int Counter = 0;
     int nMffcSize;//, nMffcGains[MAX_VAL+1][MAX_VAL+1] = {{0}};
+    if ( pPars->fUseZeros )
+        pPars->nMinSaved = 0;
     // prepare the library
     Dar_LibPrepare( pPars->nSubgMax ); 
     // create rewriting manager