Cincinnati Reds vs. Colorado Rockies: O/U 11.5

In the upcoming MLB game between the Cincinnati Reds and Colorado Rockies, scheduled for July 19 at 3:10PM ET: This market will resolve to "Cincinnati Reds" if the Cincinnati Reds win the game. This market will resolve to "Colorado Rockies" if the Colorado Rockies win the game. If the game is postponed, this market will remain open until the game has been completed. If the game is canceled entirely, with no make-up game, or ends in a tie, this market will resolve 50-50. 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.