diff options
| -rw-r--r-- | src/proof/int/intCore.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/proof/int/intCore.c b/src/proof/int/intCore.c index 1418402c..f4251215 100644 --- a/src/proof/int/intCore.c +++ b/src/proof/int/intCore.c @@ -280,13 +280,11 @@ p->timeEqu += Abc_Clock() - clk; clk = Abc_Clock(); if ( p->pInterNew ) { - Abc_PrintTime( 1, "Before time", clock() - clkTotal ); // save the timeout value p->pInterNew->Time2Quit = nTimeNewOut; // Ioa_WriteAiger( p->pInterNew, "interpol.aig", 0, 0 ); p->pInterNew = Dar_ManRwsat( pAigTemp = p->pInterNew, 1, 0 ); // p->pInterNew = Dar_ManRwsat( pAigTemp = p->pInterNew, 0, 0 ); - Abc_PrintTime( 1, "After time", clock() - clkTotal ); Aig_ManStop( pAigTemp ); if ( p->pInterNew == NULL ) { |