diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-21 12:52:23 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-21 12:52:23 -0700 |
commit | cec6bd645e87a722f7144e29859617ae9dc6e5c2 (patch) | |
tree | db4cc6f75a41951b2de9698f1338297a5dde3e49 /src/sat/bsat/satSolver2.c | |
parent | 77cef7ca101a00133aae376d129a9ba0e6da4e79 (diff) | |
download | abc-cec6bd645e87a722f7144e29859617ae9dc6e5c2.tar.gz abc-cec6bd645e87a722f7144e29859617ae9dc6e5c2.tar.bz2 abc-cec6bd645e87a722f7144e29859617ae9dc6e5c2.zip |
Limiting runtime limit checks in 'pdr'.
Diffstat (limited to 'src/sat/bsat/satSolver2.c')
-rw-r--r-- | src/sat/bsat/satSolver2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c index cde1d3b1..84d59f62 100644 --- a/src/sat/bsat/satSolver2.c +++ b/src/sat/bsat/satSolver2.c @@ -1037,7 +1037,7 @@ static lbool solver2_search(sat_solver2* s, ABC_INT64_T nof_conflicts) // NO CONFLICT int next; - if ((nof_conflicts >= 0 && conflictC >= nof_conflicts) || (s->nRuntimeLimit && Abc_Clock() > s->nRuntimeLimit)){ + if ((nof_conflicts >= 0 && conflictC >= nof_conflicts) || (s->nRuntimeLimit && (s->stats.conflicts & 63) == 0 && Abc_Clock() > s->nRuntimeLimit)){ // Reached bound on number of conflicts: s->progress_estimate = solver2_progress(s); solver2_canceluntil(s,s->root_level); |