From Sokoban Wiki

Summary of the Holland level set

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

Though some people might be interested in how long it takes to solve a given level and/or how good the solution is (optimal or not),
this summary disregards all timing associated with solving the levels and solution statistics.

These tests are mainly for gauging solvability, not timing nor how good the solution is.

All solvers combined solved 70 of 81 levels.

The Holland collection is a collection of level sets by David Holland (81 levels total).

It consists of these level sets (and in this order):

• dh1 (10 levels)
  
• dh2 (10 levels)
  
• bagatelle (20 levels)
  
• cantrip (20 levels)
  
• maelstrom (21 levels)
  

Note: the maelstrom set contains a level, which is a variant of "Maelstrom Collection #9" (level #70 in the Holland collection), by Aymeric Du Peloux.

Solver Statistics      Set: Holland
Level No.	BoxSearch	Takaken	YASS	JSoko	Sokolution	Solved by only one	Solved by all	Solved by none
1							yes
2							yes
3							yes
4						yes
5
6
7							yes
8								yes
9							yes
10							yes
11						yes
12
13							yes
14							yes
15							yes
16								yes
17
18								yes
19							yes
20
Level No.	BoxSearch	Takaken	YASS	JSoko	Sokolution	Solved by only one	Solved by all	Solved by none
21							yes
22							yes
23
24							yes
25						yes
26							yes
27							yes
28							yes
29
30							yes
31						yes
32							yes
33
34							yes
35							yes
36							yes
37
38							yes
39							yes
40							yes
Level No.	BoxSearch	Takaken	YASS	JSoko	Sokolution	Solved by only one	Solved by all	Solved by none
41							yes
42							yes
43							yes
44							yes
45							yes
46							yes
47							yes
48							yes
49							yes
50							yes
51							yes
52							yes
53							yes
54							yes
55							yes
56							yes
57							yes
58							yes
59							yes
60							yes
Level No.	BoxSearch	Takaken	YASS	JSoko	Sokolution	Solved by only one	Solved by all	Solved by none
61							yes
62
63
64								yes
65							yes
66							yes
67						yes
68						yes
69							yes
70							yes
71								yes
72							yes
73								yes
74							yes
75								yes
76								yes
77							yes
78								yes
79							yes
80								yes
81								yes
Total	56	65	59	55	65	6	53	11