Multi-engine ASP solving with policy adaptation