From 2001-2017 they've earned $2.4B. They made $5.1 in 2009, $6.4 in 2015, and $2.7 in 2016. That means they basically lost $.9B in each of the other years. Oil crashed in 2008, 2014, and 2015.
Looks to me like they systematically buy ~$1B of puts each year, and in the past that's worked out...