Searched refs:Z3QueryTimeMilliseconds (Results 1 – 2 of 2) sorted by relevance
126 AccumulatedZ3QueryTimeInEqClass += Query.Z3QueryTimeMilliseconds; in interpretQueryResult()135 Query.Z3QueryTimeMilliseconds >= Opts.Z3CrosscheckTimeoutThreshold) { in interpretQueryResult()
28 unsigned Z3QueryTimeMilliseconds = 0; member