Tuning for multi-ouptut solver.

f948c6db · Alan Mishchenko · 5dce71d5 · f948c6db
Commit f948c6db authored Nov 04, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

src/sat/bmc/bmcBmc3.c
+2 -0

No files found.
--- 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 )