From 5f6244c603c1735393d26a0c787a4a320c41e20d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 5 Nov 2013 00:05:28 -0800 Subject: Tuning for multi-ouptut solver. --- src/proof/pdr/pdrCore.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/proof/pdr/pdrCore.c b/src/proof/pdr/pdrCore.c index 55c40c1e..50616fee 100644 --- a/src/proof/pdr/pdrCore.c +++ b/src/proof/pdr/pdrCore.c @@ -879,7 +879,7 @@ int Pdr_ManSolve( Aig_Man_t * pAig, Pdr_Par_t * pPars ) abctime clk = Abc_Clock(); if ( pPars->nTimeOutOne && !pPars->fSolveAll ) pPars->nTimeOutOne = 0; - if ( pPars->nTimeOutOne ) + if ( pPars->nTimeOutOne && pPars->nTimeOut == 0 ) pPars->nTimeOut = pPars->nTimeOutOne * Saig_ManPoNum(pAig) / 1000 + (int)((pPars->nTimeOutOne * Saig_ManPoNum(pAig) % 1000) > 0); if ( pPars->fVerbose ) { -- cgit v1.2.3