Report solver times and symbolic execution times