From 7c7d5277553a2a3ae074a767ba870f77e2415e1c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 9 May 2013 11:35:04 -0700
Subject: Changing per-output runtime limit to be in miliseconds.

---
 src/proof/pdr/pdrMan.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/proof/pdr/pdrMan.c b/src/proof/pdr/pdrMan.c
index 51be5e17..ef930beb 100644
--- a/src/proof/pdr/pdrMan.c
+++ b/src/proof/pdr/pdrMan.c
@@ -79,7 +79,7 @@ Pdr_Man_t * Pdr_ManStart( Aig_Man_t * pAig, Pdr_Par_t * pPars, Vec_Int_t * vPrio
         int i;
         p->pTime4Outs = ABC_ALLOC( clock_t, Saig_ManPoNum(pAig) );
         for ( i = 0; i < Saig_ManPoNum(pAig); i++ )
-            p->pTime4Outs[i] = pPars->nTimeOutOne * CLOCKS_PER_SEC;
+            p->pTime4Outs[i] = pPars->nTimeOutOne * CLOCKS_PER_SEC / 1000 + 1;
     }
     if ( pPars->fSolveAll )
     {
-- 
cgit v1.2.3