Why wouldn't they use 2.5 flash first, and then if an identical query is made by lots of people rerun it with 2.5 pro? Sometimes it seems much more error prone than 2.5 pro or even 2.0 even on common searches.