In the first half of the college football game between Florida and Texas, scheduled for October 17 at 12:00 PM ET: This market will resolve to "Texas" if Texas outscore Florida by 7 or more points in the first half. Otherwise, this market will resolve to "Florida". Only points scored during that period count; overtime is not included. 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.