Festival is a Sokoban solver written by Yaron Shoham.
It is based on the novel FESS search algorithm.
It was the first Sokoban solver that solved all 90 levels of the XSokoban benchmark.
The solver is a 64-bit Windows program, written in C.
When the "-cores" argument is not given, the program will now choose it based on the detected hardware.
The solvers statistics Wiki page shows how many levels the different solvers can solve.
You can download the solver from the Festival website.
The download also contains a file to install the solver into Sokoban YASC.
For more information please visit the Festival website.
Thanks Yaron, for this fantastic Sokoban solver!