in z3tracer/src/report.rs [75:89]
fn max_ts_and_count(times: &[(String, Vec<usize>)]) -> (usize, usize) {
let mut ts = 1;
let mut count = 1;
for (_, v) in times {
if let Some(x) = v.last() {
if *x > ts {
ts = *x;
}
}
if v.len() > count {
count = v.len();
}
}
(ts, count)
}