Adding flushing stdout after printing verbose stats.

src/aig/saig/saigBmc2.c

@@ -793,6 +793,7 @@ int Saig_BmcPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nNodesMax
             printf( "%4.0f Mb",     4.0*(p->iFrameLast+1)*p->nObjs/(1<<20) );
             printf( "%9.2f sec", (float)(clock() - clkTotal)/(float)(CLOCKS_PER_SEC) );
             printf( "\n" );
+            fflush( stdout );
         }
         if ( RetValue != l_False )
             break;
@@ -846,6 +847,7 @@ int Saig_BmcPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nNodesMax
             printf( "Reached local conflict limit (%d).\n", p->nConfMaxOne );
     }
     Saig_BmcManStop( p );
+    fflush( stdout );
     return Status;
 }
 

src/aig/saig/saigBmc3.c

@@ -1476,6 +1476,7 @@ clkOther += clock() - clk2;
 //    printf( "\n" );
     }
     Saig_Bmc3ManStop( p );
+    fflush( stdout );
     return RetValue;
 }
 

src/proof/pdr/pdrInv.c

@@ -84,6 +84,7 @@ void Pdr_ManPrintProgress( Pdr_Man_t * p, int fClose, clock_t Time )
     Abc_Print( 1, "%s", fClose ? "\n":"\r" );
     if ( fClose )
         p->nQueMax = 0;
+    fflush( stdout );
 }
 
 /**Function*************************************************************

src/proof/pdr/pdrMan.c

@@ -105,6 +105,7 @@ void Pdr_ManStop( Pdr_Man_t * p )
         ABC_PRTP( "Containment", p->tContain,   p->tTotal );
         ABC_PRTP( "CNF compute", p->tCnf,       p->tTotal );
         ABC_PRTP( "TOTAL      ", p->tTotal,     p->tTotal );
+        fflush( stdout );
     }
 //    Abc_Print( 1, "SS =%6d. SU =%6d. US =%6d. UU =%6d.\n", p->nCasesSS, p->nCasesSU, p->nCasesUS, p->nCasesUU );
     Vec_PtrForEachEntry( sat_solver *, p->vSolvers, pSat, i )