Searched refs:SAT_SATISFIABLE (Results 1 – 5 of 5) sorted by relevance
354 SAT_SATISFIABLE, enumerator
226 case Statistics::SAT_SATISFIABLE: in print()
500 case Statistics::SAT_SATISFIABLE: in outputResult()
585 env.statistics->terminationReason = Statistics::SAT_SATISFIABLE; in satSolverMode()600 || env.statistics->terminationReason == Statistics::SAT_SATISFIABLE) { in satSolverMode()
652 case Statistics::SAT_SATISFIABLE: in doResolutionStep()