Searched refs:stats_unsolvable (Results 1 – 2 of 2) sorted by relevance
131 int stats_unsolvable; /* statistic */ member
1082 solv->stats_unsolvable++; in analyze_unsolvable()2504 …%d unsolvable, %d minimization steps\n", solv->stats_learned, solv->stats_unsolvable, minimization… in solver_run_sat()3039 solv->stats_learned = solv->stats_unsolvable = 0; in solver_solve()3636 …ed rules, %d unsolvable\n", solv->problems.count / 2, solv->stats_learned, solv->stats_unsolvable); in solver_solve()