Comment on: Show HN: Sokoban AI Solver

Got me curious: is there some way to approximate solvability of a puzzle in a certain time frame, or is that completely intractable?Also, what counts as "complexity" in Sokoban puzzles. Does it plateau at a point, where board size/box count starts scaling the solving time more linearly?