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

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

(limited to 'src/sat/bmc')

diff --git a/src/sat/bmc/bmcBmc3.c b/src/sat/bmc/bmcBmc3.c
index 4380e339..0e74711c 100644
--- a/src/sat/bmc/bmcBmc3.c
+++ b/src/sat/bmc/bmcBmc3.c
@@ -1541,6 +1541,8 @@ clk2 = Abc_Clock();
             if ( p->pTime4Outs )
             {
                 abctime timeSince = Abc_Clock() - clkOne;
+                if ( timeSince )
+                    printf( "%d (%d)   ", (int)timeSince, (int)p->pTime4Outs[i] );
                 assert( p->pTime4Outs[i] > 0 );
                 p->pTime4Outs[i] = (p->pTime4Outs[i] > timeSince) ? p->pTime4Outs[i] - timeSince : 0;
                 if ( p->pTime4Outs[i] == 0 && status != l_True )
-- 
cgit v1.2.3