The author would like to thank Enrico Giunchiglia for fruitful discussions and comments on the topic of the paper. He also would like to thank Josep Argelich, Han Lin and Peter Kissmann for providing, and getting support to, their solvers. Alessandro Saetti and Malte Helmert are, instead, thanked for their help with IPC-5 and IPC-6 benchmarks, and Menkes van den Briel for insights on the approach based on Integer Programming. ** Corresponding author sis shows that our approach is competitive and helps to further widen the set of benchmarks that a SAT-based framework can efficiently deal with. At the same time, as a side effect of this analysis, challenging Max-SAT and PB benchmarks have been identified, as well as the Max-SAT and PB solvers performing best on these planning problems.