For an intramural sports program at a particular college, the time to run one mile is recorded for 200 male students in the program. These times are approximately normal with mean 8 minutes and standard deviation 1 minute. For the same intramural sports program at the same college, the time to run one mile is recorded for 50 female students in the program. These times are approximately normal with mean 7.5 minutes and standard deviation 2 minutes. Devon participates in the intramural program for men. His best time to run the mile is 6.6 minutes. Kendall participates in the intramural program for women. Her best time to run the mile is 5.7 minutes. Who ran the mile faster relative to their gender?