From 4dc7eb6f734c003c212690e6c66c4711428a8f9c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 16 Feb 2013 13:33:43 -0800 Subject: Added 'gap timeout' to bmc3 and sim3. --- src/sat/bmc/bmcBmc3.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/sat') diff --git a/src/sat/bmc/bmcBmc3.c b/src/sat/bmc/bmcBmc3.c index 98689ff8..28752d1b 100644 --- a/src/sat/bmc/bmcBmc3.c +++ b/src/sat/bmc/bmcBmc3.c @@ -1349,6 +1349,7 @@ int Saig_ManBmcScalable( Aig_Man_t * pAig, Saig_ParBmc_t * pPars ) sat_solver_set_runtime_limit( p->pSat, nTimeToStop ); // perform frames Aig_ManRandom( 1 ); + pPars->timeLastSolved = clock(); for ( f = 0; f < pPars->nFramesMax; f++ ) { // stop BMC after exploring all reachable states -- cgit v1.2.3