Diverted due to a thunderstorm at IAD.

That could mean thunderstorms impacting the arrival(s) route(s), not necessarily over the airport itself. Generally means that the delays, due to thunderstorms, exceeded the amount of extra fuel they were carrying. If they can't wait it out, they divert.