BENCH: patch to recover correctly exe times for benchmarks ran on the 3rd week of august, which had a bug recovering times correctly.
BENCH: patch to recover correctly exe times for benchmarks ran on the 3rd week of august, which had a bug recovering times correctly.

Aloja/aloja,Aloja/aloja,Aloja/aloja,Aloja/aloja,Aloja/aloja,Aloja/aloja,Aloja/aloja,Aloja/aloja,Aloja/aloja,Aloja/aloja,Aloja/aloja