SolverStatistics-yass-ThinkingRabbit-Perfect
From Sokoban Wiki
Revision as of 07:13, 3 April 2019 by Matthias Meger (Talk | contribs)
- Program
- YASS 2.141
- RAM
- 1500 MiB
- Computer
- Lenovo ThinkPad P50, Processor is Intel(R) Core(TM) I7-6820HQ CPU @ 2.70 GHz, 2712 Mhz, 4 Cores. 8 Logical processors., 32 GiB RAM
- Solving method
- Default settings, Perimeter search
- Time limit
- 600 seconds = 10 minutes
--------------------------------------------------------------------------------
YASS 2.141 - Results
File: perfect_306, YASS 2.141 Solutions.sok
Method: Push-optimal solutions, perimeter search
Maximum search time: 600 seconds
Transposition table: 1500 MiB (38899530 positions)
--------------------------------------------------------------------------------
Level Pushes Generated Generated Time
No W H Name Positions Pushes Seconds
--------------------------------------------------------------------------------
1 9 8 Level 1 26 357 523
2 9 9 Level 2 31 133 157
3 6 8 Level 3 14 732 1246
4 10 7 Level 4 27 1743 4359
5 8 8 Level 5 11 71 101
6 13 11 Level 6 22 124 136
7 10 8 Level 7 24 2364 4353
8 10 7 Level 8 16 1919 4678
9 11 9 Level 9 39 85885 212303
10 8 7 Level 10 13 219 394
11 12 6 Level 11 18 89 126
12 9 7 Level 12 17 131 406
13 10 9 Level 13 36 54627 121052
14 10 8 Level 14 26 3380 8336
15 11 8 Level 15 39 135153 417716
16 9 9 Level 16 21 13920 41705
17 10 8 Level 17 32 31837 87376
18 14 9 Level 18 122* 693 746
19 16 12 Level 19 118* 38512646 98820406 91
20 15 12 Level 20 196* 2130345 3448170 12
21 12 10 Level 21 32 127544 302040
22 17 11 Level 22 86 517479 1416953 1
23 17 13 Level 23 135* 715 788
24 20 13 Level 24 311* 30832 48186 3
25 14 10 Level 25 131* 760 823
26 14 13 Level 26 136 13622845 31671388 21
27 16 16 Level 27 248* 2193 2368
28 22 13 Level 28 348* 2444 2700
29 30 19 Level 29 652* 472644 642027 11
30 14 10 Level 30 106* 43744 54992 3
31 16 13 Level 31 218* 1515 1750
32 14 13 Level 32 198* 1397 1518
33 17 15 Level 33 161* 1792 1976
34 16 15 Level 34 90109702 213540197 600
35 14 12 Level 35 141* 1363 1471
36 21 12 Level 36 97127988 187878368 536
37 15 13 Level 37 179* 1407 1567
38 17 14 Level 38 164* 1389 1526
39 15 14 Level 39 121* 92881 183194 1
40 18 13 Level 40 197* 7619537 19501918 133
41 15 14 Level 41 87823323 242016760 593
42 16 11 Level 42 103* 53942 95184
43 16 13 Level 43 162* 5028578 7637052 48
44 9 8 Level 44 29 3054 5677
45 23 13 Level 45 346* 6608 7013 2
46 12 12 Level 46 156* 6315 12823
47 9 8 Level 47 14 1311 2380
48 9 8 Level 48 17 4189 8495
49 10 6 Level 49 26 1461 3503
50 7 9 Level 50 18 90651 252790
51 9 7 Level 51 22 12304 31247
52 11 7 Level 52 34* 2418 4089
53 6 7 Level 53 9 95 134
54 8 7 Level 54 7 50 70
55 8 8 Level 55 16 519 1267
56 8 7 Level 56 15 136 209
57 10 9 Level 57 32 84482 344988
58 19 15 Level 58 327* 4273 4867
59 14 12 Level 59 125* 757 835
60 17 13 Level 60 154* 967 1087
61 15 9 Level 61 103* 485 534
62 17 10 Level 62 136* 600 656
63 12 11 Level 63 110* 400 439
64 21 20 Level 64 435* 3285 3594
65 23 16 Level 65 353* 3852 4120
66 23 15 Level 66 79726202 138722626 600
67 19 11 Level 67 152* 1913 2634
68 22 20 Level 68 8499926 17950226 252
69 21 15 Level 69 55957112 112347078 199
70 27 18 Level 70 1058775 2137024 11
71 15 12 Level 71 230* 37255 62883 1
72 14 15 Level 72 202* 511197 811862 3
73 19 13 Level 73 1526964 3349093 7
74 17 18 Level 74 294* 3532 3979
75 17 13 Level 75 212* 1951 2231
76 15 12 Level 76 199* 823 910
77 16 13 Level 77 6644732 21826182 29
78 17 13 Level 78 157* 871 1000
79 21 14 Level 79 210* 987 1165
80 21 16 Level 80 489* 4384 4789 1
81 11 10 Level 81 36 17683 34441
82 15 15 Level 82 165* 984 1136
83 20 16 Level 83 7235975 13594491 23
84 18 18 Level 84 9 174395 298213
85 10 9 Level 85 36 36935 72362
86 19 17 Level 86 559* 18668 23312 1
87 13 10 Level 87 57* 1608112 4194765 3
88 22 14 Level 88 2969013 7075442 32
89 14 13 Level 89 122* 111056 340972 2
90 16 12 Level 90 121* 1121 1229
91 14 13 Level 91 7225671 19731235 32
92 15 12 Level 92 227* 3149 3803
93 14 12 Level 93 147* 791 875
94 15 13 Level 94 4805878 9188780 10
95 16 12 Level 95 132* 21592 39724
96 15 12 Level 96 174* 9112 11583
97 21 16 Level 97 332* 430197 532297 2
98 26 17 Level 98 3614688 6098911 35
99 18 15 Level 99 203* 15862 27318
100 20 18 Level 100 5781143 10547049 58
101 19 17 Level 101 356* 191288 318912 3
102 15 16 Level 102 5717515 11060303 14
103 19 13 Level 103 1294281 2833756 4
104 15 13 Level 104 204* 5492 7551
105 17 16 Level 105 228* 3811 4032
106 20 17 Level 106 13593306 45677500 71
107 14 12 Level 107 119* 4234 6465
108 14 13 Level 108 20257563 44768133 178
109 18 16 Level 109 150* 11855 26350
110 20 13 Level 110 233* 1749 2074
111 14 15 Level 111 120* 67395 111823 3
112 22 16 Level 112 2350548 4683324 9
113 11 10 Level 113 30 114492 366813
114 17 16 Level 114 157* 1324 1453
115 26 18 Level 115 3360653 6936541 24
116 15 13 Level 116 104* 1895 2466
117 15 15 Level 117 7832130 16571871 32
118 9 7 Level 118 26 7646 17875
119 15 14 Level 119 23323737 42255532 130
120 14 12 Level 120 99* 929 1041
121 17 14 Level 121 18839944 34534576 111
122 16 19 Level 122 76513028 175723552 295
123 16 20 Level 123 222* 23467 41912 1
124 16 20 Level 124 265* 32626 40770 1
125 20 16 Level 125 248* 1664 1870
126 7 7 Level 126 20 201717 547447
127 19 13 Level 127 7926212 13722097 145
128 14 14 Level 128 404* 61718 94363 1
129 9 8 Level 129 19 1273 2809
130 12 7 Level 130 16 1237 2013
131 8 8 Level 131 20 1220 2446
132 11 7 Level 132 24 4529 9412
133 11 9 Level 133 24 109581 232837
134 11 10 Level 134 26 183779 353446
135 13 12 Level 135 48* 2923566 8672650 8
136 14 14 Level 136 128* 5108 6274
137 19 11 Level 137 4027792 9003039 28
138 9 9 Level 138 20* 2493308 4194728 2
139 7 9 Level 139 9 2777 3831
140 8 9 Level 140 14 2857 6333
141 7 8 Level 141 25 277989 754127
142 16 14 Level 142 2805265 5159255 10
143 32 19 Level 143 0 0 4
144 15 14 Level 144 275* 62356 87838 3
145 23 18 Level 145 780966 2113843 11
146 15 13 Level 146 4555247 10262456 20
147 17 12 Level 147 2609695 5488887 5
148 18 16 Level 148 314* 10672 12769 1
149 12 9 Level 149 22 3834 7568
150 17 18 Level 150 265* 1854 2138
151 21 20 Level 151 886* 11377 13330 3
152 24 11 Level 152 4401566 8817185 16
153 23 13 Level 153 384* 3760 4046 1
154 25 14 Level 154 6056852 12950304 22
155 30 19 Level 155 25500941 41056840 209
156 28 20 Level 156 3306764 6737777 17
157 20 18 Level 157 1103146 2111791 11
158 18 15 Level 158 8593554 16451293 15
159 18 14 Level 159 334* 6678 8225
160 16 15 Level 160 193* 1497 1730
161 18 16 Level 161 270* 25396 45379 1
162 18 10 Level 162 274* 150732 367418 6
163 17 15 Level 163 320* 18488 27739 4
164 23 12 Level 164 3990453 7344926 24
165 16 14 Level 165 213 6744906 16017743 15
166 19 15 Level 166 3168645 6782928 10
167 16 15 Level 167 164* 123987 321491 2
168 22 17 Level 168 494* 16474 20443 1
169 17 13 Level 169 1901869 4117745 9
170 20 15 Level 170 14145001 27359148 174
171 17 13 Level 171 234* 2506 3041
172 11 11 Level 172 81* 2619634 8402898 6
173 23 17 Level 173 2182101 4278156 11
174 19 15 Level 174 189* 4957 6651
175 11 10 Level 175 44 22824 52510
176 22 11 Level 176 3285699 8518256 12
177 18 16 Level 177 65717838 145667605 423
178 17 14 Level 178 2520499 6212886 13
179 15 13 Level 179 201* 73478 132092
180 18 13 Level 180 184* 2755 3422
181 15 13 Level 181 125* 325548 534233 1
182 18 13 Level 182 3505078 6705430 10
183 17 12 Level 183 3175331 7743038 13
184 18 18 Level 184 4098439 7434347 13
185 20 17 Level 185 77588810 126907714 268
186 16 13 Level 186 84237709 186830380 600
187 19 16 Level 187 270* 3078788 6006565 28
188 23 14 Level 188 556* 9870 10875
189 10 8 Level 189 23 6535 12351
190 13 9 Level 190 29 145446 338896
191 23 16 Level 191 68585951 130970038 600
192 19 18 Level 192 8588766 12697298 181
193 19 16 Level 193 1757517 5308152 13
194 13 12 Level 194 54 88431 152315
195 15 12 Level 195 126* 62411 108058 1
196 15 13 Level 196 4513299 8300794 13
197 12 5 Level 197 26* 224 264
198 16 12 Level 198 6896374 13444719 29
199 11 9 Level 199 25 1097 2047
200 13 12 Level 200 112* 548 644
201 31 14 Level 201 10927720 18853957 551
202 22 18 Level 202 5774561 11321036 17
203 23 19 Level 203 13722547 32518000 363
204 13 11 Level 204 99* 12330 18386
205 17 14 Level 205 4151297 11236562 26
206 13 13 Level 206 40185792 82492898 111
207 15 14 Level 207 5067567 12010221 15
208 13 12 Level 208 4165599 8505394 13
209 18 8 Level 209 205* 1984 2566
210 14 13 Level 210 175* 1122095 1827480 9
211 18 16 Level 211 9937966 21379545 34
212 20 13 Level 212 430* 5281 6172
213 11 10 Level 213 28 12210 24667
214 19 16 Level 214 3618208 8764311 33
215 23 20 Level 215 26789572 45163288 24
216 14 15 Level 216 298* 30948 47067 1
217 25 19 Level 217 3117782 7363277 27
218 16 14 Level 218 302* 2375 2677
219 21 19 Level 219 1233075 2691409 13
220 18 16 Level 220 1909462 5528270 10
221 10 10 Level 221 48 5431 9665
222 22 15 Level 222 10468766 24541906 155
223 19 18 Level 223 6148147 15801986 29
224 18 13 Level 224 262* 5226 5694
225 20 13 Level 225 301* 5436 5923 1
226 20 20 Level 226 6786588 13508409 55
227 12 9 Level 227 46 11036 17696
228 17 17 Level 228 4038051 7461519 15
229 22 20 Level 229 1355496 3563708 15
230 12 12 Level 230 62 1945091 5143778 3
231 22 13 Level 231 228* 8592 11375
232 20 14 Level 232 11549745 16190458 57
233 15 12 Level 233 2136940 7482805 11
234 23 20 Level 234 939486 1760357 7
235 21 14 Level 235 280* 3097218 4540463 37
236 20 9 Level 236 110* 932 1046
237 12 9 Level 237 50 6753 13405
238 18 13 Level 238 9190735 17231372 111
239 14 13 Level 239 80* 9777798 23068686 25
240 20 16 Level 240 429* 28561 35830
241 16 14 Level 241 289* 150032 413080 1
242 17 16 Level 242 342* 15677 22433 1
243 23 17 Level 243 666* 3854 4272 1
244 18 11 Level 244 211* 1219 1348
245 21 14 Level 245 3572257 5919324 17
246 20 14 Level 246 7672768 12980097 58
247 16 14 Level 247 19666622 40530522 600
248 15 15 Level 248 209* 26009 41682
249 15 10 Level 249 20 270823 674188
250 16 14 Level 250 52* 26576895 49285611 42
251 23 13 Level 251 7111001 14872992 15
252 11 10 Level 252 81 916737 1897437 1
253 24 16 Level 253 939480 3234052 6
254 17 15 Level 254 12024726 24109210 37
255 15 10 Level 255 179* 1097 1174
256 14 13 Level 256 119* 82071 162880 1
257 14 13 Level 257 6206955 16562989 22
258 21 19 Level 258 3498172 7669497 17
259 20 18 Level 259 4786613 9103249 39
260 19 17 Level 260 4616800 9722753 18
261 15 15 Level 261 17786268 30219383 106
262 16 13 Level 262 19288866 34527613 94
263 13 11 Level 263 42* 649895 1084937 1
264 15 11 Level 264 59* 130655 291156 6
265 18 12 Level 265 38512467 92052066 77
266 29 13 Level 266 41712182 77975377 84
267 16 9 Level 267 40* 2883349 10504431 8
268 9 7 Level 268 18 122238 234858
269 11 9 Level 269 23 400005 986554
270 13 10 Level 270 4272281 11063358 10
271 29 18 Level 271 3561634 5436258 8
272 17 16 Level 272 3691234 7515065 12
273 19 18 Level 273 4615179 9644181 18
274 16 13 Level 274 7214303 22166824 33
275 11 11 Level 275 1974961 3150215 1
276 11 11 Level 276 36* 2539350 5244129 3
277 7 9 Level 277 17 96740 170615
278 19 14 Level 278 3076221 7535812 11
279 7 9 Level 279 15 37237 59209
280 29 20 Level 280 25786435 55181291 291
281 22 13 Level 281 153* 6601 8158
282 32 20 Level 282 5699558 11128409 26
283 19 16 Level 283 3335157 6570522 21
284 19 13 Level 284 39026250 86770313 105
285 27 20 Level 285 3737062 7461714 27
286 21 15 Level 286 3212312 5398640 14
287 13 12 Level 287 66 1488539 3193559 1
288 25 11 Level 288 3514304 6027930 12
289 11 9 Level 289 97* 6858249 25165969 31
290 10 6 Level 290 27 4611 10456
291 24 16 Level 291 2369763 5953272 159
292 12 7 Level 292 27 10352 21046
293 7 9 Level 293 14 58745 95665
294 11 10 Level 294 53 67045 210484
295 27 20 Level 295 3190850 6010139 21
296 16 19 Level 296 76399469 233530422 600
297 32 18 Level 297 24631471 58574389 601
298 18 13 Level 298 40612761 95935637 600
299 9 12 Level 299 35 1348331 2507009 1
300 21 19 Level 300 66911091 130699444 600
301 22 14 Level 301 41218513 144815910 600
302 26 16 Level 302 41609506 91041963 600
303 20 15 Level 303 76747201 158921702 558
304 14 12 Level 304 4412017 9445865 39
305 18 18 Level 305 2087000 4318172 15
306 32 20 Level 306 0 0 3
--------------------------------------------------------------------------------
306 188 solved, 118 failed Total 27994 2081269381 4538215904 15291
--------------------------------------------------------------------------------
*: 118 solutions may not be optimal
--------------------------------------------------------------------------------
Time is rounded to nearest second. A blank time denotes less than 0.5 seconds.
Corrals - added outside boxes : 121265820
Corrals - all boxes : 28674725
Corrals - pruning candidates : 153242749
Corrals - pruning ratio : 17% forward positions
Corrals - total : 952287651
Corrals - stored : 3461242
Corrals - stored boxes : 38819710
Rooms - pruning candidates : 6551
Deadlocks - precalculated : 84183
Deadlocks - dynamic : 220899
Deadlocks - total used : 305082
Deadlocks - redundant : 50736
Deadlocks - calculated, saved : 355818
Deadlocks - calculated, table overflow : 11255
Deadlocks - total calculated : 367073
Deadlocks - player must be outside set : 145243
Deadlocks - overflow sets : 15410 * 2
Deadlocks - underflow sets : 18908 * 2
Positions - backward search : 1189304959
Positions - forward search : 891964422
Positions - revisited : 77909186
Positions - deadends : 22296186
Positions - deadlocked open positions : 3531620
Positions - total : 2081269381
Time - "no progress" deadlock analysis : 548838 milliseconds
Time - deadlock analysis : 4102721 milliseconds
Time - packing order calculation : 206556 milliseconds
Time - small optimizations : 189 milliseconds
Time - solved levels : 611608 milliseconds
Time - total : 15290531 milliseconds
--------------------------------------------------------------------------------
Re-use player's reachable squares? No : 853835862
Re-use player's reachable squares? Yes : 737443965
No player's reachable squares calculation : 1240573952 of 1437153525 enqueued positions
