San Diego Padres winning after 5 innings?

In the upcoming MLB game between the San Diego Padres and Milwaukee Brewers, scheduled for October 3 at 8:30 PM ET: This market will resolve to "San Diego Padres" if the San Diego Padres is winning the game at the conclusion of the 5th inning. This market will resolve to "Milwaukee Brewers" if the Milwaukee Brewers is winning the game at the conclusion of the 5th inning. If the game is tied at the conclusion of the 5th inning, this market will resolve to "Draw". If the game is postponed, this market will remain open until the 5th inning has been completed. If the game is canceled entirely, with no make-up game, this market will resolve 50-50. To know when a postponed game will be played, please check the home team's schedule on MLB.com for the listed team and look for the game described as a makeup game. The primary resolution source for this market is the official final statistics of the event as recognized by the governing body or event organizers. However, if the governing body or event organizers have not published final match statistics within 24 hours after the event's conclusion, a consensus of credible reporting may be used instead. This market may resolve only when the listed period of play has concluded and the result can be definitively determined by the listed resolution source(s).