Additional statistics about the solving process