Most online sportsbooks graded this game as the ledger reads, 9-9, push - void all bets.
Some books, however, use a little-used rule for pre-season (even lesser used for regular season), where when one team scores runs in the top of the last inning without the other team getting a change to score in that inning, the deciding score uses the official score at the end of the last complete inning played. So last night, if you were unfortunate enough to be holding a Rockies bet from one of these few books, you got a loss on a game that officially ended in a tie.
Obviously this is mildly exploitable by assuring your bets at such books are always on the home team, but this got me thinking about other little known rule variants which might have some exploitative value. Are there any other inconsistencies, past or present, where this happens?
I saw a situation happen yesterday with the Rockies/Mariners game. Mariners are ahead by 2 at the end of the 7th inning. Rockies come out in the top of the 8th inning and score two runs, tying the game. Then the game ends. I'm not sure why - I can't seem to find a log or write-up of this meaningless pre-season game, but the umpires called it, final score 9-9 after 8.5 innings.
There are a few special rules for spring training, especially for games played through 3/13 - here are the ones I could find:
Up through 3/13:
The managers may agree in advance to shorten the game to 5 or 7 innings - I think the "default" is 7 unless the managers agree to play 9.
The "a pitcher must face three consecutive batters" rule is not in effect.
The defensive manager may "declare" a half-inning over after any plate appearance if the current pitcher has thrown at least 20 pitches in the inning.
Pitchers may leave the game and then re-enter as pitchers.
After 3/13, only the first and last of those rules is in effect, and even then, the game cannot be shortened to less than 7 innings.
I can't find a situation where the game can be ended in a tie after 8 1/2 innings, although one report says that the visiting team "ran out of pitchers" and, apparently, both sides just decided to end the game. The Official Baseball Rules say that a regular season game that is stopped when the score is tied and not finished before the season ends is officially a tie game unless the home team was ahead at the end of the last completed inning, in which case the score at the end of that inning is the final score.