Home
last modified time | relevance | path

Searched refs:satClauses (Results 1 – 3 of 3) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DStatistics.cpp136 satClauses(0), in Statistics()
389 satTWLSATCalls+satClauses+unitSatClauses+binarySatClauses+ in print()
391 COND_OUT("SAT solver clauses", satClauses); in print()
H A DStatistics.hpp231 unsigned satClauses; member in Shell::Statistics
/dports/math/vampire/vampire-4.5.1/SAT/
H A DSATClause.cpp77 env.statistics->satClauses++; in SATClause()