Comment by gabrielgoh

they did experiments on the 2016 Max-SAT challenge, which seems to me like a legitimate class of problem instances.