A Professional benchmark: The Art of Performance Measurements