In the first half of the NFL game between Buccaneers and Dolphins, scheduled for December 28 at 1:00 PM ET: This market will resolve to "Buccaneers" if the Buccaneers are winning at halftime. This market will resolve to "Dolphins" if the Dolphins are winning at halftime. If the score is tied at halftime, this market will resolve 50-50. The result will be determined based on the score at halftime only. 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.