Searched refs:max_unrelevance (Results 1 – 2 of 2) sorted by relevance
51 _params.max_unrelevance = 20; in CSolver()520 _params.max_unrelevance = (int) (_params.max_unrelevance * 0.8); in delete_unrelevant_clauses()521 if (_params.max_unrelevance < 4) in delete_unrelevant_clauses()522 _params.max_unrelevance = 4; in delete_unrelevant_clauses()531 cout <<"MaxUnrel: " << _params.max_unrelevance in delete_unrelevant_clauses()548 if (unknown_lits + val_1_lits > _params.max_unrelevance) { in delete_unrelevant_clauses()
85 int max_unrelevance; member242 { _params.max_unrelevance = n; } in set_max_unrelevance()