Before revision: For comparison the 2 miles (3,218.7 meters) outdoor world record is 7: 58.61 by Daniel Komen and the 5000 meters world record outdoor of Joshua Cheptegei is 12:35.36.
After revision: For comparison the 2 miles (3,218.7 meters) world best is 7: 54.10 set by Jakob Ingebrigtsen and the 5000 meters outdoor world record of Joshua Cheptegei is 12:35.36.