Python, Ruby (possibly others):

• solver function is very inefficient: all possible results can be precalculated in about 1s, instead of being calculated on-the-fly; and thus there are only 50 random tests (for a 4kyu kata)

You should give the upper bound for N as it is used for precalculations.