diff options
Diffstat (limited to 'src/sat/satoko/act_clause.h')
-rw-r--r-- | src/sat/satoko/act_clause.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/sat/satoko/act_clause.h b/src/sat/satoko/act_clause.h index 2e80a1e6..1465e5ee 100644 --- a/src/sat/satoko/act_clause.h +++ b/src/sat/satoko/act_clause.h @@ -56,10 +56,9 @@ static inline void clause_act_rescale(solver_t *s) vec_uint_foreach(s->learnts, cref, i) { clause = clause_read(s, cref); - clause->data[clause->size].act >>= 14; + clause->data[clause->size].act >>= 10; } - s->clause_act_inc >>= 14; - s->clause_act_inc = mkt_uint_max(s->clause_act_inc, (1 << 10)); + s->clause_act_inc = stk_uint_max((s->clause_act_inc >> 10), (1 << 11)); } static inline void clause_act_bump(solver_t *s, struct clause *clause) |