From Sokoban Wiki

Sokoban Solver Statistics - Sokolution - Grigr2002

Program

Sokolution 4.0

RAM for solver

25 GB

Computer

Intel(R) Core(TM) i5-6600K CPU @ 4.5 GHz, 32 GiB RAM

Solving method

Default settings

Time limit

600 seconds

Note that the solver time reported by Sokolution is always artificially low. Florent Diedler refuse to fix it.

Sokoban Solver Statistics - Sokolution - Grigr2002
Level	Moves	Pushes	Time (sec)	Solved
1	1104	258
2	634	128
3	743	131
4	457	99
5	754	128
6	422	87
7	1610	271
8	554	91
9	885	158
10	780	125	49
11	460	91
12	1016	260	3
13	713	178
14	1216	259
15	887	240
16	523	93
17	734	158
18	599	130
19	630	131
20	1084	268
Level	Moves	Pushes	Time (sec)	Solved
21	999	298
22	477	119	1
23	985	222
24	701	180
25	898	189
26	625	147	2
27	2338	384	125
28	1087	252
29	845	174	32
30	642	148
31	1192	273	82
32	672	133	1
33	932	203	1
34	881	173
35	619	149
36	827	185
37	593	162
38	710	170
39	846	221
40	1062	250	8
Solved	33736	7316	304	40

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

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