Wenn du nur die CPU-Zeit brauchst, dann ist times() die richtige Funktion. Benchmark ist mehr zum Vergleichen der Laufzeit von unterschiedlichen Codeschnipseln gedacht.