Searched refs:satClauses (Results 1 – 3 of 3) sorted by relevance
136 satClauses(0), in Statistics()389 satTWLSATCalls+satClauses+unitSatClauses+binarySatClauses+ in print()391 COND_OUT("SAT solver clauses", satClauses); in print()
231 unsigned satClauses; member in Shell::Statistics
77 env.statistics->satClauses++; in SATClause()