Some problems described for ASP systems:
Comparing ASP, CP, ILP on some Challenging Problems

Haplo-ASP