Set 1 Winner: Rocha vs Martinez

This market refers to the tennis match between Henrique Rocha and Pedro Martinez in the Estoril Open, originally scheduled for July 20, 2026 at 11:30AM ET. This market will resolve to “Rocha” if Henrique Rocha wins the first set. It will resolve to “Martinez” if Pedro Martinez wins the first set. If the match begins but is not completed, and the first set is concluded with a winner determined, this market will resolve based on that completed set. If the first set is not completed for any reason, this market will resolve 50-50. If the match is canceled (not played at all) or is delayed beyond 7 days from the scheduled date without play beginning, this market will resolve 50-50. Resolution will be based on official ATP match statistics.