From Sokoban Wiki
- Program
- Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Ken'ichiro Takahashi (Takaken)
- RAM
- 1500 MiB
- Computer
- Intel(R) Core(TM) i5 6600K @ 4.70 GHz, 32 GiB RAM
- Solving method
- Default settings
- Time limit
- 600 seconds = 10 minutes
# Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Takaken
# Options: TimeLimit=600sec / Memory=1500MB / BeginEnd=On
# LevelSetName = GroupEffort Small Set.sok (2017/11/28 18:45:49 Start)
1 [11*12( 7)] OK 1sec 570moves 194pushes
2 [11*11( 9)] OK 1sec 754moves 167pushes
3 [11*11( 8)] OK 4sec 714moves 214pushes
4 [10*11( 9)] OK 2sec 351moves 113pushes
5 [ 9*11( 9)] OK 1sec 400moves 98pushes
6 [ 9*13(11)] OK 0sec 190moves 40pushes
7 [10*10( 8)] OK 1sec 218moves 52pushes
8 [ 9*12(11)] OK 1sec 305moves 57pushes
9 [12*10( 9)] OK 1sec 380moves 84pushes
10 [ 9*11(10)] OK 1sec 546moves 130pushes
11 [12*12( 7)] OK 2sec 713moves 264pushes
12 [11*12( 8)] OK 2sec 993moves 244pushes
13 [10*12( 8)] OK 3sec 740moves 185pushes
14 [11* 9( 9)] OK 0sec 763moves 189pushes
15 [13*11( 8)] OK 2sec 669moves 173pushes
16 [ 9*12(10)] OK 1sec 483moves 90pushes
17 [12*10(10)] OK 0sec 345moves 85pushes
18 [ 9*11( 9)] OK 0sec 156moves 36pushes
19 [ 9*12(12)] OK 0sec 218moves 53pushes
20 [10*12( 9)] OK 1sec 524moves 82pushes
21 [ 8*11(10)] OK 1sec 247moves 55pushes
22 [10*10(10)] OK 0sec 125moves 27pushes
23 [11*11(10)] OK 0sec 252moves 36pushes
24 [15* 9(17)] OK 1sec 160moves 34pushes
25 [15* 9(19)] OK 4sec 349moves 52pushes
26 [10*10(10)] OK 0sec 253moves 54pushes
27 [ 9*11(10)] OK 0sec 289moves 66pushes
28 [10*11(10)] OK 1sec 232moves 67pushes
29 [ 9*11( 8)] OK 0sec 243moves 65pushes
30 [11*11(10)] OK 2sec 282moves 71pushes
31 [12*12(12)] OK 0sec 313moves 28pushes
32 [13*10(12)] OK 1sec 278moves 62pushes
33 [13* 9( 8)] OK 0sec 261moves 50pushes
34 [12*11( 8)] OK 1sec 368moves 116pushes
35 [14*11( 7)] OK 0sec 300moves 83pushes
36 [11* 9(14)] OK 1sec 292moves 52pushes
37 [12* 9(10)] OK 1sec 288moves 62pushes
38 [ 9*12(10)] OK 0sec 285moves 60pushes
39 [17*12( 7)] OK 5sec 623moves 147pushes
40 [17*12(10)] OK 0sec 267moves 48pushes
41 [15* 9( 9)] OK 0sec 262moves 50pushes
42 [10*10(20)] OK 1sec 83moves 22pushes
43 [10*10(14)] OK 0sec 310moves 66pushes
44 [10*10(16)] OK 1sec 164moves 16pushes
45 [11*11(12)] OK 1sec 163moves 58pushes
46 [13*13(16)] OK 1sec 286moves 54pushes
47 [ 9* 9(10)] OK 0sec 138moves 40pushes
48 [12*12(12)] OK 1sec 271moves 75pushes
49 [11*11(16)] OK 0sec 373moves 94pushes
50 [13*14( 8)] OK 9sec 804moves 197pushes
51 [13*13(12)] OK 2sec 451moves 84pushes
52 [16*16(16)] OK 3sec 185moves 52pushes
53 [20*10(10)] OK 1sec 325moves 92pushes
54 [ 8*22( 9)] OK 0sec 314moves 74pushes
55 [10*14(10)] OK 0sec 283moves 70pushes
56 [19*16(36)] OK 9sec 1266moves 146pushes
57 [11*10( 9)] OK 1sec 433moves 89pushes
58 [16*12(32)] OK 8sec 493moves 87pushes
59 [16*12(32)] OK 6sec 717moves 109pushes
60 [16*11(21)] OK 0sec 127moves 25pushes
61 [10*10(19)] OK 1sec 204moves 38pushes
62 [10*10(19)] OK 1sec 314moves 46pushes
63 [11*11(24)] X 85sec
64 [11*11(25)] X 81sec
65 [11*11(23)] OK 9sec 290moves 46pushes
66 [11*11(23)] OK 8sec 370moves 56pushes
67 [11*11(23)] OK 10sec 582moves 88pushes
68 [11*11(23)] OK 1sec 558moves 102pushes
69 [11*11(23)] OK 5sec 426moves 58pushes
70 [11*11(23)] OK 5sec 584moves 88pushes
71 [12*12(27)] OK 12sec 1008moves 104pushes
72 [11*11(21)] OK 2sec 154moves 20pushes
73 [12*12(25)] OK 2sec 264moves 42pushes
74 [11*11(25)] OK 0sec 127moves 14pushes
75 [19* 9(12)] OK 0sec 200moves 42pushes
76 [ 9*12( 9)] OK 0sec 168moves 60pushes
77 [11*11(30)] Ok 4sec 140moves 22pushes
78 [17*15(13)] OK 3sec 505moves 82pushes
79 [13* 9(21)] OK 4sec 129moves 30pushes
80 [11*11(21)] OK 2sec 590moves 66pushes
81 [11*11(21)] OK 0sec 79moves 24pushes
82 [15*12( 8)] OK 0sec 402moves 70pushes
83 [13*13(32)] OK 0sec 270moves 28pushes
84 [11* 7(14)] OK 0sec 187moves 48pushes
85 [11* 9(15)] OK 0sec 207moves 37pushes
86 [13*10(14)] OK 3sec 178moves 28pushes
87 [11* 8(14)] OK 1sec 238moves 54pushes
88 [11* 9(15)] OK 1sec 279moves 65pushes
89 [13*13(20)] X 111sec
90 [15*15( 8)] OK 1sec 510moves 46pushes
91 [13* 9(23)] OK 3sec 395moves 126pushes
92 [13*13(41)] OK 64sec 715moves 174pushes
93 [14*11(32)] OK 4sec 425moves 48pushes
94 [12*11(28)] Ok 94sec 279moves 30pushes
95 [12*11(30)] OK 6sec 111moves 21pushes
96 [12*11(29)] OK 6sec 648moves 65pushes
97 [11*11(27)] OK 4sec 304moves 48pushes
98 [11*11(28)] OK 7sec 227moves 47pushes
99 [14*11(31)] OK 1sec 580moves 84pushes
100 [ 9*12(16)] OK 1sec 254moves 36pushes
101 [13*13(24)] OK 1sec 212moves 38pushes
102 [10* 9(17)] OK 1sec 244moves 35pushes
103 [11* 9(19)] OK 0sec 83moves 22pushes
104 [11*11(24)] OK 5sec 225moves 38pushes
105 [13* 8(17)] OK 0sec 152moves 33pushes
106 [11*10(18)] OK 0sec 125moves 21pushes
107 [17* 9(25)] OK 0sec 187moves 36pushes
108 [15*15(35)] OK 6sec 991moves 154pushes
109 [ 9*15( 8)] OK 0sec 105moves 32pushes
110 [ 9* 9(15)] OK 0sec 215moves 38pushes
111 [12*12(13)] OK 1sec 343moves 52pushes
112 [ 9* 9(14)] OK 1sec 299moves 55pushes
113 [13*11(17)] OK 0sec 109moves 28pushes
114 [13*11(17)] OK 0sec 192moves 38pushes
115 [19*16(24)] OK 2sec 563moves 118pushes
116 [19*16( 8)] OK 0sec 884moves 54pushes
117 [13* 7(15)] OK 1sec 313moves 76pushes
118 [13* 7(14)] OK 1sec 167moves 28pushes
119 [10*10(12)] OK 0sec 197moves 35pushes
120 [10*10(11)] OK 0sec 220moves 37pushes
121 [10*10(18)] OK 1sec 165moves 30pushes
122 [10* 9(16)] OK 0sec 1048moves 220pushes
123 [10* 9(16)] OK 0sec 491moves 102pushes
124 [10* 9(16)] OK 2sec 168moves 26pushes
125 [10* 9(16)] OK 1sec 171moves 26pushes
126 [10* 9(16)] OK 1sec 161moves 26pushes
127 [10* 9(16)] OK 1sec 171moves 26pushes
128 [ 9* 9(10)] OK 1sec 154moves 47pushes
129 [13* 6(12)] OK 0sec 189moves 58pushes
130 [12*12(16)] OK 0sec 325moves 98pushes
131 [13* 6(12)] OK 0sec 240moves 78pushes
132 [13* 6(12)] OK 2sec 267moves 88pushes
133 [13* 6(11)] OK 0sec 261moves 68pushes
134 [13* 6(11)] OK 0sec 166moves 62pushes
135 [11* 9(18)] OK 0sec 167moves 28pushes
136 [15* 7( 8)] OK 1sec 223moves 71pushes
137 [14*14(28)] OK 22sec 368moves 134pushes
138 [13*13(29)] OK 4sec 388moves 50pushes
139 [13* 7(10)] OK 0sec 167moves 44pushes
140 [13* 7(10)] OK 0sec 171moves 47pushes
141 [11*13(29)] OK 0sec 276moves 34pushes
142 [11*13(27)] Ok 168sec 776moves 162pushes
143 [11*13(27)] Ok 114sec 590moves 110pushes
144 [11* 7(10)] OK 0sec 135moves 30pushes
145 [11*13(27)] Ok 269sec 524moves 104pushes
146 [13* 7(14)] OK 0sec 142moves 32pushes
147 [13* 7(14)] OK 1sec 108moves 30pushes
148 [13* 7(16)] OK 0sec 185moves 51pushes
149 [ 9* 9(11)] OK 0sec 425moves 98pushes
150 [ 8* 9(11)] OK 0sec 231moves 36pushes
151 [ 9* 9(13)] OK 1sec 702moves 126pushes
152 [ 7*13(15)] OK 2sec 318moves 77pushes
153 [ 9*11( 9)] OK 0sec 198moves 40pushes
154 [ 9*12(10)] OK 0sec 249moves 45pushes
155 [ 9*11(11)] OK 0sec 323moves 45pushes
156 [ 9* 9(16)] OK 0sec 99moves 28pushes
157 [11*13(12)] OK 1sec 335moves 80pushes
158 [11*13(12)] X 600sec
159 [11*13(14)] X 600sec
160 [ 9* 9(16)] OK 0sec 123moves 28pushes
161 [11*13(15)] X 600sec
162 [ 9* 9(15)] OK 0sec 177moves 38pushes
163 [11* 7(12)] OK 1sec 188moves 41pushes
164 [ 7*10(14)] OK 0sec 200moves 55pushes
165 [ 7* 9(10)] OK 1sec 180moves 48pushes
166 [11* 9( 9)] OK 0sec 143moves 40pushes
167 [13* 9(12)] OK 1sec 255moves 40pushes
168 [12* 9(12)] OK 1sec 180moves 34pushes
169 [11*11(12)] OK 28sec 291moves 28pushes
170 [ 9* 9(12)] OK 0sec 165moves 40pushes
171 [14*14(12)] OK 3sec 276moves 60pushes
172 [11*11(12)] OK 1sec 305moves 64pushes
173 [10* 9(14)] OK 0sec 140moves 44pushes
174 [10*10(10)] OK 0sec 264moves 58pushes
175 [12* 9(16)] OK 1sec 268moves 51pushes
176 [13*15(24)] OK 1sec 367moves 62pushes
177 [11*11(15)] OK 1sec 101moves 20pushes
178 [10*14(10)] OK 0sec 321moves 128pushes
179 [ 9*13(24)] OK 89sec 1050moves 119pushes
180 [ 9*11(14)] OK 0sec 140moves 31pushes
181 [ 9*10(14)] OK 0sec 229moves 28pushes
182 [11*11(24)] OK 5sec 970moves 125pushes
183 [ 9* 9(14)] OK 0sec 336moves 57pushes
184 [19*16( 8)] OK 0sec 444moves 41pushes
185 [11*11(28)] OK 6sec 322moves 50pushes
186 [13*12(43)] OK 2sec 70moves 21pushes
187 [14* 9(24)] OK 0sec 119moves 40pushes
188 [15* 9(26)] OK 0sec 174moves 54pushes
189 [15* 9(26)] OK 4sec 206moves 52pushes
190 [ 7*12(13)] OK 1sec 198moves 56pushes
191 [11*11(28)] X 600sec
192 [10*12(14)] OK 0sec 192moves 31pushes
193 [22* 6(12)] OK 1sec 324moves 60pushes
194 [11* 8(11)] OK 1sec 120moves 26pushes
195 [14* 9(25)] OK 1sec 255moves 55pushes
196 [13*11(12)] OK 9sec 203moves 40pushes
197 [13*11(12)] OK 23sec 336moves 84pushes
198 [13*11(14)] OK 14sec 306moves 58pushes
199 [14* 9(25)] OK 1sec 222moves 55pushes
200 [17* 9(25)] X 600sec
---------------- (2017/11/28 20:01:29 Finish)
Solved = 192
Cancel(-) = 0
Failed(X) = 8
Skips (?) = 0
----------------
Total = 200
