Searched refs:cur_max_temp_red_lev2_cls (Results 1 – 4 of 4) sorted by relevance
151 unsigned cur_max_temp_red_lev2_cls = conf.max_temp_lev2_learnt_clauses; variable
88 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()