bugfix: iterating through empty core when solver fails