Benchmarking manually with system.time()