Interpretación de estadísticas Z3

Obtuve varias estadísticas de las carreras de Z3. Necesito entender lo que estos significan. Estoy bastante oxidado y no estoy al tanto de los desarrollos re...