Soufiane Bouchikhi a, lui, établi un nouveau record personnel en 13:19.55