Searched refs:next_lev2_reduce (Results 1 – 6 of 6) sorted by relevance
326 uint64_t next_lev2_reduce;
2104 if (sumConflicts >= next_lev2_reduce) { in reduce_db_if_needed()2107 next_lev2_reduce = sumConflicts + conf.every_lev2_reduce; in reduce_db_if_needed()
129 next_lev2_reduce = conf.every_lev2_reduce; in Solver()
326 uint64_t next_lev2_reduce; variable