they did experiments on the 2016 Max-SAT challenge, which seems to me like a legitimate class of problem instances.
At the same time, it's pretty well known that the kind of problem instances arising in practice and in those challenges are not hard instances. In other words, this also means that their result is extremely unlikely to be relevant for the P=?NP question.