Patriots vs. Dolphins

In the upcoming NFL football game between Patriots and Dolphins, scheduled for November 1 at 4:25PM ET:

This market will resolve to "Patriots" if Patriots win the game.

This market will resolve to "Dolphins" if Dolphins win the game.

Overtime is included if played.

If the game ends in a tie, this market will resolve 50-50.

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, this market will resolve 50-50.