diff options
Diffstat (limited to 'src/sat/pdr')
| -rw-r--r-- | src/sat/pdr/pdrCore.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sat/pdr/pdrCore.c b/src/sat/pdr/pdrCore.c index 6289889b..cf8c231a 100644 --- a/src/sat/pdr/pdrCore.c +++ b/src/sat/pdr/pdrCore.c @@ -574,6 +574,8 @@ int Pdr_ManSolveInt( Pdr_Man_t * p ) } else { + if ( p->pPars->fVerbose ) + Pdr_ManPrintProgress( p, 1, clock() - clkStart ); // open a new timeframe assert( pCube == NULL ); Pdr_ManSetPropertyOutput( p, k ); @@ -583,8 +585,6 @@ int Pdr_ManSolveInt( Pdr_Man_t * p ) printf( "*** Clauses after frame %d:\n", k ); Pdr_ManPrintClauses( p, 0 ); } - if ( p->pPars->fVerbose ) - Pdr_ManPrintProgress( p, 0, clock() - clkStart ); // push clauses into this timeframe if ( Pdr_ManPushClauses( p ) ) { @@ -598,7 +598,7 @@ int Pdr_ManSolveInt( Pdr_Man_t * p ) return 1; // UNSAT } if ( p->pPars->fVerbose ) - Pdr_ManPrintProgress( p, 1, clock() - clkStart ); + Pdr_ManPrintProgress( p, 0, clock() - clkStart ); clkStart = clock(); } |