I believe the benchmark program outputs the wrong units? It should be picoseconds (ps) instead of femtoseconds (fs)?