Home
last modified time | relevance | path

Searched refs:next_lev2_reduce (Results 1 – 6 of 6) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dsearcher.h326 uint64_t next_lev2_reduce;
H A Dsearcher.cpp2104 if (sumConflicts >= next_lev2_reduce) { in reduce_db_if_needed()
2107 next_lev2_reduce = sumConflicts + conf.every_lev2_reduce; in reduce_db_if_needed()
H A Dsolver.cpp129 next_lev2_reduce = conf.every_lev2_reduce; in Solver()
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dsearcher.h326 uint64_t next_lev2_reduce; variable
H A Dsearcher.cpp2104 if (sumConflicts >= next_lev2_reduce) { in reduce_db_if_needed()
2107 next_lev2_reduce = sumConflicts + conf.every_lev2_reduce; in reduce_db_if_needed()
H A Dsolver.cpp129 next_lev2_reduce = conf.every_lev2_reduce; in Solver()