SolverStatistics-takaken-ThinkingRabbit-Perfect

From Sokoban Wiki

Revision as of 07:13, 3 April 2019 by Matthias Meger (Talk | contribs)
Jump to: navigation, search
Program
Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Ken'ichiro Takahashi (Takaken)
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
Time limit
600 seconds = 10 minutes
# Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Takaken
# Options: TimeLimit=600sec / Memory=1500MB / BeginEnd=On
# LevelSetName = perfect_306.xsb (2019/03/26 20:06:11 Start)

1	[ 9* 8( 3)]	 OK	   0sec	   70moves	  26pushes
2	[ 9* 9( 3)]	 OK	   0sec	   97moves	  31pushes
3	[ 6* 8( 5)]	 OK	   0sec	   36moves	  14pushes
4	[10* 7( 4)]	 OK	   0sec	  114moves	  27pushes
5	[ 8* 8( 3)]	 OK	   0sec	   52moves	  11pushes
6	[13*11( 5)]	 OK	   0sec	  140moves	  22pushes
7	[10* 8( 5)]	 OK	   0sec	   80moves	  30pushes
8	[10* 7( 5)]	 OK	   0sec	   51moves	  18pushes
9	[11* 9( 6)]	 OK	   0sec	  189moves	  45pushes
10	[ 8* 7( 5)]	 OK	   0sec	   36moves	  13pushes
11	[12* 6( 4)]	 OK	   1sec	   63moves	  18pushes
12	[ 9* 7( 4)]	 OK	   0sec	   70moves	  19pushes
13	[10* 9( 6)]	 OK	   0sec	  123moves	  38pushes
14	[10* 8( 7)]	 OK	   0sec	  151moves	  26pushes
15	[11* 8( 7)]	 OK	   0sec	  133moves	  45pushes
16	[ 9* 9( 6)]	 OK	   0sec	   73moves	  23pushes
17	[10* 8( 6)]	 OK	   0sec	   86moves	  32pushes
18	[14* 9(11)]	 OK	   0sec	  354moves	 124pushes
19	[16*12( 8)]	 OK	   0sec	  343moves	 150pushes
20	[15*12(10)]	 OK	   1sec	  571moves	 180pushes
21	[12*10( 8)]	 OK	   0sec	  143moves	  38pushes
22	[17*11( 6)]	 OK	   0sec	  235moves	  86pushes
23	[17*13(10)]	 OK	   0sec	  522moves	 173pushes
24	[20*13(20)]	 OK	  11sec	  893moves	 297pushes
25	[14*10(10)]	 OK	   0sec	  508moves	 131pushes
26	[14*13( 8)]	 OK	   0sec	  478moves	 140pushes
27	[16*16(18)]	 OK	   1sec	  797moves	 296pushes
28	[22*13(20)]	 OK	   1sec	  891moves	 348pushes
29	[30*19(25)]	 OK	  12sec	 1711moves	 688pushes
30	[14*10(32)]	 OK	   3sec	  226moves	  60pushes
31	[16*13(15)]	 OK	   1sec	  741moves	 230pushes
32	[14*13(17)]	 OK	   1sec	  635moves	 238pushes
33	[17*15(14)]	 OK	   0sec	  535moves	 185pushes
34	[16*15(19)]	 OK	   1sec	  765moves	 294pushes
35	[14*12(14)]	 OK	   0sec	  474moves	 153pushes
36	[21*12(19)]	 OK	   3sec	  774moves	 288pushes
37	[15*13(13)]	 OK	   1sec	  480moves	 179pushes
38	[17*14(13)]	 OK	   0sec	  612moves	 176pushes
39	[15*14(13)]	 OK	   0sec	  379moves	 119pushes
40	[18*13(16)]	 OK	   2sec	  467moves	 149pushes
41	[15*14(13)]	 OK	   1sec	  761moves	 195pushes
42	[16*11(11)]	 OK	   0sec	  353moves	  83pushes
43	[16*13(19)]	 OK	   1sec	  517moves	 100pushes
44	[ 9* 8( 6)]	 OK	   0sec	   95moves	  29pushes
45	[23*13(37)]	 OK	   6sec	  898moves	 380pushes
46	[12*12(12)]	 OK	   1sec	  476moves	 148pushes
47	[ 9* 8( 8)]	 OK	   0sec	   50moves	  14pushes
48	[ 9* 8( 7)]	 OK	   0sec	   70moves	  17pushes
49	[10* 6( 5)]	 OK	   0sec	  116moves	  26pushes
50	[ 7* 9( 8)]	 OK	   0sec	   82moves	  20pushes
51	[ 9* 7( 6)]	 OK	   0sec	   97moves	  26pushes
52	[11* 7(10)]	 OK	   0sec	  105moves	  28pushes
53	[ 6* 7( 4)]	 OK	   0sec	   28moves	   9pushes
54	[ 8* 7( 4)]	 OK	   0sec	   31moves	   7pushes
55	[ 8* 8( 4)]	 OK	   1sec	   60moves	  16pushes
56	[ 8* 7( 6)]	 OK	   0sec	   55moves	  15pushes
57	[10* 9( 6)]	 OK	   0sec	  135moves	  34pushes
58	[19*15(16)]	 OK	   6sec	  899moves	 345pushes
59	[14*12(11)]	 OK	   1sec	  382moves	 121pushes
60	[17*13(12)]	 OK	   0sec	  410moves	 144pushes
61	[15* 9( 9)]	 OK	   0sec	  329moves	 125pushes
62	[17*10(11)]	 OK	   0sec	  409moves	 150pushes
63	[12*11(10)]	 OK	   0sec	  326moves	 110pushes
64	[21*20(19)]	 OK	   2sec	 1314moves	 441pushes
65	[23*16(21)]	 OK	   1sec	  965moves	 359pushes
66	[23*15(20)]	 OK	  16sec	  945moves	 298pushes
67	[19*11( 9)]	 OK	   1sec	  600moves	 150pushes
68	[22*20(20)]	 OK	  31sec	 1818moves	 429pushes
69	[21*15(15)]	 OK	   0sec	  793moves	 253pushes
70	[27*18(22)]	 OK	   3sec	 1885moves	 691pushes
71	[15*12(15)]	 OK	   2sec	  868moves	 216pushes
72	[14*15(14)]	 OK	   0sec	  650moves	 198pushes
73	[19*13(16)]	 OK	  32sec	 1393moves	 497pushes
74	[17*18(21)]	 OK	  11sec	  850moves	 304pushes
75	[17*13(20)]	 OK	   1sec	  712moves	 260pushes
76	[15*12(13)]	 OK	   0sec	  573moves	 203pushes
77	[16*13(34)]	 OK	   1sec	  513moves	 212pushes
78	[17*13(11)]	 OK	   1sec	  774moves	 161pushes
79	[21*14( 9)]	 OK	   1sec	  681moves	 206pushes
80	[21*16(24)]	 OK	   3sec	 1815moves	 553pushes
81	[11*10( 6)]	 OK	   1sec	  192moves	  64pushes
82	[15*15(13)]	 OK	   0sec	  506moves	 163pushes
83	[20*16(13)]	 OK	   1sec	  765moves	 242pushes
84	[18*18(36)]	 OK	  12sec	  146moves	  33pushes
85	[10* 9( 6)]	 OK	   0sec	  194moves	  54pushes
86	[19*17(21)]	 OK	   8sec	 1668moves	 545pushes
87	[13*10( 8)]	 OK	   0sec	  314moves	  73pushes
88	[22*14(23)]	 X	  61sec		
89	[14*13(11)]	 OK	   0sec	  428moves	 114pushes
90	[16*12(12)]	 OK	   0sec	  427moves	 119pushes
91	[14*13(14)]	 OK	   0sec	  963moves	 323pushes
92	[15*12(18)]	 OK	   0sec	  902moves	 285pushes
93	[14*12(13)]	 OK	   0sec	  475moves	 159pushes
94	[15*13(17)]	 OK	   0sec	  629moves	 115pushes
95	[16*12(13)]	 OK	   0sec	  540moves	 142pushes
96	[15*12(12)]	 OK	   1sec	  292moves	  64pushes
97	[21*16(27)]	 OK	   3sec	 1031moves	 334pushes
98	[26*17(30)]	 OK	   8sec	 1370moves	 366pushes
99	[18*15(14)]	 OK	   4sec	  778moves	 197pushes
100	[20*18(20)]	 OK	   3sec	 1494moves	 346pushes
101	[19*17(21)]	 OK	   2sec	 1165moves	 402pushes
102	[15*16(16)]	 OK	   1sec	  554moves	 146pushes
103	[19*13(17)]	 OK	   1sec	  581moves	 112pushes
104	[15*13(16)]	 OK	   1sec	  595moves	 178pushes
105	[17*16(18)]	 OK	   1sec	  982moves	 274pushes
106	[20*17(21)]	 OK	   2sec	 1165moves	 351pushes
107	[14*12(14)]	 OK	   0sec	  410moves	 107pushes
108	[14*13(13)]	 OK	   0sec	  437moves	 109pushes
109	[18*16(14)]	 OK	   1sec	  698moves	 166pushes
110	[20*13(16)]	 OK	   0sec	  672moves	 237pushes
111	[14*15(11)]	 OK	   0sec	  345moves	  88pushes
112	[22*16(24)]	 X	 305sec		
113	[11*10( 8)]	 OK	   0sec	  161moves	  32pushes
114	[17*16(16)]	 OK	   2sec	  812moves	 155pushes
115	[26*18(25)]	 X	 503sec		
116	[15*13(14)]	 OK	   2sec	  338moves	  64pushes
117	[15*15(16)]	 OK	   6sec	  585moves	 190pushes
118	[ 9* 7( 6)]	 OK	   0sec	  134moves	  34pushes
119	[15*14(16)]	 OK	   0sec	  805moves	 164pushes
120	[14*12(14)]	 OK	   0sec	  312moves	 113pushes
121	[17*14(16)]	 OK	   8sec	  627moves	 143pushes
122	[16*19(15)]	 OK	   1sec	  610moves	 223pushes
123	[16*20(21)]	 OK	   6sec	  625moves	 244pushes
124	[16*20(24)]	 OK	   2sec	  689moves	 267pushes
125	[20*16(15)]	 OK	   1sec	  631moves	 232pushes
126	[ 7* 7( 8)]	 OK	   0sec	   53moves	  20pushes
127	[19*13(12)]	 OK	  27sec	  896moves	 161pushes
128	[14*14(19)]	 OK	  20sec	 1833moves	 422pushes
129	[ 9* 8( 5)]	 OK	   0sec	  101moves	  19pushes
130	[12* 7( 5)]	 OK	   0sec	   85moves	  18pushes
131	[ 8* 8( 5)]	 OK	   0sec	   68moves	  20pushes
132	[11* 7( 6)]	 OK	   0sec	  145moves	  24pushes
133	[11* 9(10)]	 OK	   0sec	  176moves	  32pushes
134	[11*10( 9)]	 OK	   1sec	  109moves	  30pushes
135	[13*12(13)]	 OK	   1sec	  218moves	  58pushes
136	[14*14(11)]	 OK	   1sec	  385moves	 106pushes
137	[19*11(14)]	 OK	   1sec	  818moves	 168pushes
138	[ 9* 9(13)]	 OK	   1sec	  193moves	  44pushes
139	[ 7* 9( 9)]	 OK	   0sec	   51moves	   9pushes
140	[ 8* 9( 6)]	 OK	   0sec	   76moves	  16pushes
141	[ 7* 8( 8)]	 OK	   1sec	   95moves	  29pushes
142	[16*14(16)]	 OK	   1sec	 1430moves	 405pushes
143	[32*19(49)]	 OK	  77sec	 6234moves	2060pushes
144	[15*14(11)]	 OK	   6sec	  708moves	 255pushes
145	[23*18(25)]	 OK	  10sec	 2361moves	 802pushes
146	[15*13(15)]	 OK	   2sec	  509moves	 159pushes
147	[17*12( 8)]	 OK	   0sec	  399moves	 151pushes
148	[18*16(20)]	 OK	   2sec	  842moves	 300pushes
149	[12* 9( 7)]	 OK	   1sec	  150moves	  34pushes
150	[17*18(15)]	 OK	   3sec	  646moves	 261pushes
151	[21*20(34)]	 OK	   6sec	 2198moves	 880pushes
152	[24*11(16)]	 OK	   0sec	  901moves	 331pushes
153	[23*13(20)]	 OK	   3sec	 1408moves	 392pushes
154	[25*14(18)]	 OK	  18sec	 1315moves	 499pushes
155	[30*19(20)]	 X	 600sec		
156	[28*20(20)]	 OK	   8sec	 2282moves	 673pushes
157	[20*18(25)]	 X	 600sec		
158	[18*15(12)]	 OK	   0sec	  626moves	 217pushes
159	[18*14(17)]	 OK	   4sec	  989moves	 418pushes
160	[16*15(15)]	 OK	   0sec	  579moves	 195pushes
161	[18*16(13)]	 OK	   5sec	  743moves	 274pushes
162	[18*10(24)]	 OK	   5sec	  725moves	 288pushes
163	[17*15(20)]	 OK	   7sec	  927moves	 318pushes
164	[23*12(25)]	 OK	  33sec	 1045moves	 382pushes
165	[16*14( 6)]	 OK	   0sec	  512moves	 217pushes
166	[19*15(14)]	 OK	   7sec	  866moves	 259pushes
167	[16*15(12)]	 OK	   1sec	  659moves	 188pushes
168	[22*17(19)]	 OK	  19sec	 1648moves	 512pushes
169	[17*13(15)]	 OK	   6sec	  685moves	 194pushes
170	[20*15(16)]	 OK	  17sec	 1145moves	 335pushes
171	[17*13(15)]	 OK	   0sec	  835moves	 230pushes
172	[11*11( 8)]	 OK	   0sec	  325moves	  99pushes
173	[23*17(28)]	 OK	  10sec	 1389moves	 326pushes
174	[19*15( 9)]	 OK	   3sec	  554moves	 195pushes
175	[11*10( 6)]	 OK	   0sec	  231moves	  48pushes
176	[22*11(16)]	 OK	  67sec	  393moves	  52pushes
177	[18*16(20)]	 OK	  42sec	 3697moves	1104pushes
178	[17*14(16)]	 X	 445sec		
179	[15*13(15)]	 OK	   1sec	  555moves	 161pushes
180	[18*13(14)]	 OK	   2sec	  856moves	 208pushes
181	[15*13(12)]	 OK	   0sec	  489moves	 113pushes
182	[18*13(15)]	 OK	   1sec	  869moves	 271pushes
183	[17*12(14)]	 OK	   6sec	 1120moves	 230pushes
184	[18*18(20)]	 OK	   1sec	 1052moves	 329pushes
185	[20*17(26)]	 OK	   3sec	 1143moves	 323pushes
186	[16*13(15)]	 OK	  45sec	  987moves	 214pushes
187	[19*16(18)]	 OK	   3sec	  865moves	 288pushes
188	[23*14(22)]	 OK	   3sec	 1848moves	 572pushes
189	[10* 8( 6)]	 OK	   0sec	  122moves	  23pushes
190	[13* 9( 7)]	 OK	   0sec	  231moves	  45pushes
191	[23*16(21)]	 OK	   6sec	 1946moves	 554pushes
192	[19*18(16)]	 OK	  78sec	 3108moves	 531pushes
193	[19*16(18)]	 X	 600sec		
194	[13*12( 9)]	 OK	   1sec	  347moves	  68pushes
195	[15*12( 9)]	 OK	   2sec	  494moves	  98pushes
196	[15*13(11)]	 OK	   7sec	  999moves	 231pushes
197	[12* 5( 9)]	 OK	   0sec	   83moves	  26pushes
198	[16*12(16)]	 OK	   1sec	  876moves	 234pushes
199	[11* 9( 4)]	 OK	   0sec	  122moves	  33pushes
200	[13*12( 9)]	 OK	   0sec	  358moves	 118pushes
201	[31*14(58)]	 X	 600sec		
202	[22*18(28)]	 X	 600sec		
203	[23*19(26)]	 X	 190sec		
204	[13*11( 9)]	 OK	   4sec	  581moves	 127pushes
205	[17*14(16)]	 OK	   3sec	  922moves	 268pushes
206	[13*13(15)]	 OK	   1sec	  565moves	 150pushes
207	[15*14(27)]	 OK	  51sec	  854moves	 286pushes
208	[13*12(40)]	 OK	  14sec	  813moves	 288pushes
209	[18* 8(16)]	 OK	   1sec	  751moves	 207pushes
210	[14*13(13)]	 OK	   1sec	  468moves	 143pushes
211	[18*16(18)]	 OK	   8sec	 1056moves	 273pushes
212	[20*13(11)]	 X	 323sec		
213	[11*10( 7)]	 OK	   0sec	  140moves	  36pushes
214	[19*16(25)]	 OK	  23sec	  960moves	 272pushes
215	[23*20(49)]	 X	 293sec		
216	[14*15(15)]	 OK	  56sec	 1110moves	 306pushes
217	[25*19(16)]	 X	 600sec		
218	[16*14(17)]	 OK	   8sec	  873moves	 316pushes
219	[21*19(23)]	 X	 395sec		
220	[18*16(21)]	 OK	  23sec	  865moves	 259pushes
221	[10*10( 5)]	 OK	   0sec	  178moves	  48pushes
222	[22*15(24)]	 X	 159sec		
223	[19*18(30)]	 OK	   4sec	 1893moves	 694pushes
224	[18*13(24)]	 OK	   1sec	  997moves	 284pushes
225	[20*13(18)]	 OK	  11sec	  936moves	 295pushes
226	[20*20(29)]	 OK	  20sec	 3177moves	 958pushes
227	[12* 9( 5)]	 OK	   1sec	  223moves	  62pushes
228	[17*17(15)]	 OK	   2sec	  546moves	 176pushes
229	[22*20(35)]	 X	 477sec		
230	[12*12( 7)]	 OK	   1sec	  260moves	  68pushes
231	[22*13(13)]	 X	 291sec		
232	[20*14(23)]	 OK	   1sec	  645moves	 234pushes
233	[15*12(12)]	 OK	  10sec	  450moves	 153pushes
234	[23*20(22)]	 X	 161sec		
235	[21*14(14)]	 OK	   9sec	  962moves	 260pushes
236	[20* 9(10)]	 OK	   1sec	  487moves	 114pushes
237	[12* 9( 6)]	 OK	   0sec	  205moves	  54pushes
238	[18*13(19)]	 OK	   1sec	  564moves	 186pushes
239	[14*13(11)]	 OK	   3sec	  692moves	 118pushes
240	[20*16(17)]	 OK	   2sec	 1304moves	 417pushes
241	[16*14(14)]	 OK	   1sec	 1016moves	 287pushes
242	[17*16(16)]	 OK	  16sec	 1360moves	 360pushes
243	[23*17(21)]	 OK	   4sec	 2362moves	 660pushes
244	[18*11(16)]	 OK	   0sec	  633moves	 211pushes
245	[21*14(16)]	 OK	  26sec	 1596moves	 418pushes
246	[20*14(18)]	 OK	  72sec	 1927moves	 579pushes
247	[16*14(46)]	 X	 600sec		
248	[15*15(10)]	 OK	  11sec	  868moves	 197pushes
249	[15*10(12)]	 OK	   0sec	  229moves	  58pushes
250	[16*14(23)]	 OK	  24sec	  843moves	 208pushes
251	[23*13(72)]	 -			
252	[11*10( 8)]	 OK	  14sec	  325moves	 107pushes
253	[24*16(18)]	 X	 314sec		
254	[17*15(15)]	 OK	  18sec	 1376moves	 287pushes
255	[15*10(16)]	 OK	   0sec	  477moves	 167pushes
256	[14*13(11)]	 OK	   0sec	  522moves	 121pushes
257	[14*13(14)]	 X	 274sec		
258	[21*19(25)]	 OK	  32sec	 1832moves	 479pushes
259	[20*18(18)]	 OK	   2sec	 1209moves	 358pushes
260	[19*17(24)]	 OK	  20sec	 1357moves	 365pushes
261	[15*15(14)]	 OK	   1sec	 1187moves	 271pushes
262	[16*13(17)]	 OK	   0sec	  608moves	 162pushes
263	[13*11(14)]	 OK	   1sec	  225moves	  44pushes
264	[15*11(10)]	 OK	   1sec	  199moves	  55pushes
265	[18*12(12)]	 X	 332sec		
266	[29*13(32)]	 X	 600sec		
267	[16* 9(11)]	 OK	   1sec	  185moves	  42pushes
268	[ 9* 7( 9)]	 OK	   0sec	   78moves	  20pushes
269	[11* 9( 9)]	 OK	   0sec	   99moves	  33pushes
270	[13*10( 9)]	 OK	   0sec	  277moves	  74pushes
271	[29*18(10)]	 OK	   3sec	 1548moves	 507pushes
272	[17*16(21)]	 OK	   7sec	  905moves	 195pushes
273	[19*18(12)]	 OK	  89sec	 1765moves	 355pushes
274	[16*13(18)]	 X	 600sec		
275	[11*11(24)]	 OK	   2sec	  165moves	  55pushes
276	[11*11(13)]	 OK	   3sec	  173moves	  42pushes
277	[ 7* 9(11)]	 OK	   0sec	  102moves	  27pushes
278	[19*14(17)]	 X	 346sec		
279	[ 7* 9(11)]	 OK	   1sec	  145moves	  37pushes
280	[29*20(36)]	 X	 594sec		
281	[22*13(15)]	 OK	   8sec	  598moves	 153pushes
282	[32*20(23)]	 X	 317sec		
283	[19*16(16)]	 X	 563sec		
284	[19*13(16)]	 X	 191sec		
285	[27*20(23)]	 X	 135sec		
286	[21*15(20)]	 X	 600sec		
287	[13*12( 8)]	 OK	  41sec	  336moves	  76pushes
288	[25*11(45)]	 X	 600sec		
289	[11* 9(10)]	 OK	   6sec	  552moves	 119pushes
290	[10* 6( 6)]	 OK	   0sec	  101moves	  29pushes
291	[24*16(29)]	 X	 600sec		
292	[12* 7( 6)]	 OK	   1sec	  152moves	  31pushes
293	[ 7* 9(11)]	 OK	   1sec	   67moves	  14pushes
294	[11*10( 6)]	 OK	   0sec	  184moves	  53pushes
295	[27*20(24)]	 X	 192sec		
296	[16*19(24)]	 X	  21sec		
297	[32*18(24)]	 X	  83sec		
298	[18*13(22)]	 X	  48sec		
299	[ 9*12(12)]	 OK	   0sec	  312moves	  77pushes
300	[21*19(20)]	 X	 578sec		
301	[22*14(16)]	 X	 484sec		
302	[26*16(27)]	 X	 546sec		
303	[20*15(34)]	 X	 251sec		
304	[14*12(21)]	 X	 447sec		
305	[18*18(37)]	 X	 600sec		
306	[32*20(40)]	 X	 600sec		
-----	-----------	 
Solve	d    =  261				
Cance	l(-) =    1				
Faile	d(X) =   44				
Skips	 (?) =    0				
-----	-----------				
Total	     =  306				
					
Total	 unsolved =	45			

Personal tools