Deadpool (2016) had a take of $782,836,791 worldwide at the box office, according to Box Office Mojo: https://www.boxofficemojo.com/title/tt1431045

Deadpool 2 (2018) managed to top that, getting $785,896,609 worldwide at the box office, according to Box Office Mojo: https://www.boxofficemojo.com/title/tt5463162

If, by the end of the initial run of Deadpool & Wolverine, it has not grossed more than $785,896,609 worldwide according to Box Office Mojo's numbers, this market will resolve NO.

https://www.boxofficemojo.com/title/tt6263850

If it grosses more than $785,896,609 worldwide, this market will resolve YES.