Repair a bug in getAggrPerformances.BenchmarkResult that caused the performance measures to be extracted in the wrong order