Precise identification of the worst-case voltage drop conditions in power grid verification