From 54b2cc1d72f2f86891077626a5c79da849f013b1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 4 Nov 2013 23:24:42 -0800
Subject: Tuning for multi-ouptut solver.

---
 src/sat/bmc/bmcBmc3.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/bmc/bmcBmc3.c')

diff --git a/src/sat/bmc/bmcBmc3.c b/src/sat/bmc/bmcBmc3.c
index 4fbbe8d4..106e362c 100644
--- a/src/sat/bmc/bmcBmc3.c
+++ b/src/sat/bmc/bmcBmc3.c
@@ -1550,7 +1550,7 @@ clk2 = Abc_Clock();
                 if ( p->pTime4Outs[i] == 0 && status != l_True )
                     pPars->nDropOuts++;
                 if ( timeSince )
-                    printf( "%d    ", pPars->nDropOuts );
+                    printf( "%d %d    ", status == l_True, pPars->nDropOuts );
             }
             if ( status == l_False )
             {
-- 
cgit v1.2.3