Function prover_lab::z3log::compute_instantiation_times

pub fn compute_instantiation_times(model: &Model) -> Vec<(String, Vec<usize>)> 

Compute top instantiated terms and retrieve the “timestamps” at which instantiations occur for each of the top terms.