diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-05 00:05:28 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-05 00:05:28 -0800 |
| commit | 5f6244c603c1735393d26a0c787a4a320c41e20d (patch) | |
| tree | b13a1acf0b1e7f794e1c2699e3224453c4c98035 /src/proof/pdr | |
| parent | 0f29c62eab91392031c959e8add99ad6c991862e (diff) | |
| download | abc-5f6244c603c1735393d26a0c787a4a320c41e20d.tar.gz abc-5f6244c603c1735393d26a0c787a4a320c41e20d.tar.bz2 abc-5f6244c603c1735393d26a0c787a4a320c41e20d.zip | |
Tuning for multi-ouptut solver.
Diffstat (limited to 'src/proof/pdr')
| -rw-r--r-- | src/proof/pdr/pdrCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ) { |