From Sokoban Wiki

Sokoban Solver Statistics - Level Set Summary - Numbers

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

All solvers combined solved 11 of 12 levels.

Sokoban Solver Statistics - Level Set Summary - Pushes - Numbers
Level	Takaken	YASS	JSoko	Sokolution	Festival	Solved by only one	Solved by all	Solved by none
1	57	49	113	83	61
2	53	43	141	47	79
3	95	35	77	77	49
4					480
5	65	45	167	61	73
6	98	100	152	74	92
7	184	136		280	184
8		46		106	68
9		42			58
10	219	233	221	253	233
11	163	295	201	203	165
12
Solved	8	10	7	9	11	1	7	1

level-websites
(
 (letslogic . "https://www.letslogic.com/level/{index}/play")
)
/level-websites

level-webpages
(
 (1 9999 letslogic (index 95170))
)
/level-webpages