They are all technically solvable since they're generated by making random moves! Some of them are just absurdly difficult and hard to reason about
Okay, that makes sense. I've been working on a number-based puzzle game and it's so open-ended I don't know how to check if things are solvable, so I've started chipping away at brute-force testing.