Miami Marlins vs. Pittsburgh Pirates: Tied after 5 innings?

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