Measuring Lazy Execution Time