Home
last modified time | relevance | path

Searched refs:cur_max_temp_red_lev2_cls (Results 1 – 4 of 4) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dcnf.h151 unsigned cur_max_temp_red_lev2_cls = conf.max_temp_lev2_learnt_clauses; variable
H A Dsearcher.cpp88 cur_max_temp_red_lev2_cls = conf.max_temp_lev2_learnt_clauses; in Searcher()
2073 cur_max_temp_red_lev2_cls = conf.max_temp_lev2_learnt_clauses; in reset_temp_cl_num()
2110 if (longRedCls[2].size() > cur_max_temp_red_lev2_cls) { in reduce_db_if_needed()
2112 cur_max_temp_red_lev2_cls *= conf.inc_max_temp_lev2_red_cls; in reduce_db_if_needed()
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dcnf.h151 unsigned cur_max_temp_red_lev2_cls = conf.max_temp_lev2_learnt_clauses; variable
H A Dsearcher.cpp88 cur_max_temp_red_lev2_cls = conf.max_temp_lev2_learnt_clauses; in Searcher()
2073 cur_max_temp_red_lev2_cls = conf.max_temp_lev2_learnt_clauses; in reset_temp_cl_num()
2110 if (longRedCls[2].size() > cur_max_temp_red_lev2_cls) { in reduce_db_if_needed()
2112 cur_max_temp_red_lev2_cls *= conf.inc_max_temp_lev2_red_cls; in reduce_db_if_needed()