From Sokoban Wiki

Sokoban Solver Statistics - Level Set Summary - Marcus Palstra

Each solver has been tested separately to ensure that they don't compete for system resources.

All solvers combined solved 15 of 30 levels.

Sokoban Solver Statistics - Level Set Summary - Pushes - Marcus Palstra
Level	Takaken	YASS	JSoko	Sokolution	Festival	Solved by only one	Solved by all	Solved by none
1	257	265	265	291	255
2	211	191	171	197	189
3	223			197	147
4	208	206	182	178	184
5	131	133		203	143
6	366	336	322		332
7	110	104		168	140
8
9		270			216
10				265	299
11				207	333
12	295			393	337
13	323			441
14
15	343				377
16					389
17
18
19
20
Level	Takaken	YASS	JSoko	Sokolution	Festival	Solved by only one	Solved by all	Solved by none
21
22
23
24
25
26					435
27
28
29
30
Solved	10	7	4	10	14	2	3	15

level-websites
(
 (sokobano . "http://sokobano.de/results/display.php?set={set}&lvl={index}")
)
/level-websites

level-webpages
(
 (1 9999 sokobano (set palstra) (index))
)
/level-webpages