From 50095be5ac2c1b9830a74c87fd0d8e2edc8b8438 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 3 May 2013 19:58:25 -0700
Subject: Adding runtime limit per output to multi-output DPR (pdr -H
 <num_sec>).

---
 src/proof/pdr/pdrInv.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/proof/pdr/pdrInv.c')

diff --git a/src/proof/pdr/pdrInv.c b/src/proof/pdr/pdrInv.c
index ee87f262..bb8d110d 100644
--- a/src/proof/pdr/pdrInv.c
+++ b/src/proof/pdr/pdrInv.c
@@ -83,6 +83,8 @@ void Pdr_ManPrintProgress( Pdr_Man_t * p, int fClose, clock_t Time )
     Abc_Print( 1, "%10.2f sec", 1.0*Time/CLOCKS_PER_SEC );
     if ( p->pPars->fSolveAll )
         Abc_Print( 1, "  CEX =%4d", p->pPars->nFailOuts );
+    if ( p->pPars->nTimeOutOne )
+        Abc_Print( 1, "  T/O =%3d", p->pPars->nDropOuts );
     Abc_Print( 1, "%s", fClose ? "\n":"\r" );
     if ( fClose )
         p->nQueMax = 0;
-- 
cgit v1.2.3