Walksat Stalls Well Below Satisfiability. - Amin Coja-Oghlan; Amir Haqshenas; Samuel Hetterich (SIAM J. Discret. Math., 2017)