The times shown are taken from the clock above the finish line and are therefore GUN TIMES.