They should be all solvable yes. At least, I was able to solve all the ones I generated (I set the generator to "easy" :P). And I didn't try to make it generate harder levels but at least when in easy mode, it's instantaneous.