A statistically rigorous timer for program performance evaluation.