From Sokoban Wiki

Sokoban Solver Statistics - Takaken - Numbers

Program

Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Ken'ichiro Takahashi (Takaken)

RAM for solver

1422 MB

Computer

Intel(R) Core(TM) i5-6600K @4.70Ghz, 64 GiB RAM

Solving method

Default settings

Time limit

600 seconds

Sokoban Solver Statistics - Takaken - Numbers
Level	Moves	Pushes	Time (sec)	Solved
1	258	57
2	410	53
3	547	95
4
5	277	65	4
6	443	98	2
7	790	184	1
8
9
10	905	219
11	512	163	1
12
Solved	4142	934	8	8

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

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