The ABCs of Winning at the 2017 Hardware Model Checking Competition