I was in Lissabon Last year at the SAT conference and that was my main takeway, though my field of research is only adjacent. One paper was about creating rand

I was in Lissabon Last year at the SAT conference and that was my main takeway, though my field of research is only adjacent. One paper was about creating random sat instances where the probability of unsat ist 50/50 and as it turned out: none of those instances was hard. You can always craft hard instances to defeat a specific heuristic. But crafting one that is hard for all of them is the problem.