ну цифры отличаются из-за многих вещей. от фоновых задач и так далее. мы же не знаем в каких условиях эти бенчи делались. может на голом йэре и на рабочем 13 про, например
судя по гикбенчу, вроде бертся медиана или что то типа того, т.е. насрать как тест делался в нагрузке или без