Searched refs:sum_us_best (Results 1 – 1 of 1) sorted by relevance
56 double sum_us_best = 0; in DumpStatsToStdout() local69 sum_us_best += us; in DumpStatsToStdout()86 {label_best, sum_us_best / count_us_best}, in DumpStatsToStdout()