Searched refs:MinQueryTimeAcrossAttempts (Results 1 – 1 of 1) sorted by relevance
108 unsigned MinQueryTimeAcrossAttempts = std::numeric_limits<unsigned>::max(); in finalizeVisitor() local112 std::min(MinQueryTimeAcrossAttempts, Result.Z3QueryTimeMilliseconds); in finalizeVisitor()