diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-11 22:14:12 +0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-11 22:14:12 +0800 |
commit | 3c7842be32a25883b13d86d0d88530dc55f5cf15 (patch) | |
tree | 3bbedf331cf05852aec48f248d419a1ffb2bc33d /src/sat/pdr | |
parent | bacf23868bb44a6d982f05e3fe4db84d1dec3ced (diff) | |
download | abc-3c7842be32a25883b13d86d0d88530dc55f5cf15.tar.gz abc-3c7842be32a25883b13d86d0d88530dc55f5cf15.tar.bz2 abc-3c7842be32a25883b13d86d0d88530dc55f5cf15.zip |
Improvements to timeout.
Diffstat (limited to 'src/sat/pdr')
-rw-r--r-- | src/sat/pdr/pdrCnf.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/sat/pdr/pdrCnf.c b/src/sat/pdr/pdrCnf.c index 2c5218d8..4b42262c 100644 --- a/src/sat/pdr/pdrCnf.c +++ b/src/sat/pdr/pdrCnf.c @@ -278,6 +278,7 @@ static inline sat_solver * Pdr_ManNewSolver1( Pdr_Man_t * p, int k, int fInit ) Vec_IntWriteEntry( p->vVar2Reg, Pdr_ObjSatVar(p, k, pObj), i ); } pSat = (sat_solver *)Cnf_DataWriteIntoSolver( p->pCnf1, 1, fInit ); + sat_solver_set_runtime_limit( pSat, p->timeToStop ); return pSat; } @@ -322,6 +323,7 @@ static inline sat_solver * Pdr_ManNewSolver2( Pdr_Man_t * p, int k, int fInit ) // start the SAT solver pSat = sat_solver_new(); sat_solver_setnvars( pSat, 500 ); + sat_solver_set_runtime_limit( pSat, p->timeToStop ); return pSat; } |