From c4e859307580ea2bb18bf8b9f9e3c64a310f3bc9 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 12 Jul 2011 22:41:44 +0700
Subject: Modified the PDR print-out to be compatible with Niklas.

---
 src/sat/pdr/pdrCore.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/sat/pdr')

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();
         }
 
-- 
cgit v1.2.3