Automatic aborting of solution finding if problem set is unsolveable