added Z3's SMT statistics to the profiling output