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