Su marca fue de 12:54,70 El anterior récord europeo estaba en poder del británico David Moorcroft desde 1982 con 13:00,41.