Skip to content

A
abc
Commit d8cb39a1 by Alan Mishchenko
Options

Tuning for multi-ouptut solver.

parent f948c6db
Showing with 5 additions and 1 deletions
src/sat/bmc/bmcBmc3.c
...@@ -1542,11 +1542,15 @@ clk2 = Abc_Clock(); ...@@ -1542,11 +1542,15 @@ clk2 = Abc_Clock();
{ {
abctime timeSince = Abc_Clock() - clkOne; abctime timeSince = Abc_Clock() - clkOne;
if ( timeSince ) if ( timeSince )
printf( "%d (%d) ", (int)timeSince, (int)p->pTime4Outs[i] ); printf( "%d (%d) ", (int)timeSince, (int)p->pTime4Outs[i] );
assert( p->pTime4Outs[i] > 0 ); assert( p->pTime4Outs[i] > 0 );
p->pTime4Outs[i] = (p->pTime4Outs[i] > timeSince) ? p->pTime4Outs[i] - timeSince : 0; p->pTime4Outs[i] = (p->pTime4Outs[i] > timeSince) ? p->pTime4Outs[i] - timeSince : 0;
if ( timeSince )
printf( "((%d)) ", p->pTime4Outs[i] );
if ( p->pTime4Outs[i] == 0 && status != l_True ) if ( p->pTime4Outs[i] == 0 && status != l_True )
pPars->nDropOuts++; pPars->nDropOuts++;
if ( timeSince )
printf( "%d ", pPars->nDropOuts );
} }
if ( status == l_False ) if ( status == l_False )
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment