Determines if a planning instance is unsolvable by performing a consistency check.