Arizona Diamondbacks vs. Cincinnati Reds: Tied after 5 innings?

In the upcoming MLB game between the Arizona Diamondbacks and Cincinnati Reds, scheduled for June 13 at 4:10 PM ET: This market will resolve to "Arizona Diamondbacks" if the Arizona Diamondbacks is winning the game at the conclusion of the 5th inning. This market will resolve to "Cincinnati Reds" if the Cincinnati Reds 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.