SolverStatistics-takaken-ThinkingRabbit-Perfect
From Sokoban Wiki
(Difference between revisions)
m |
m (Computer specs) |
||
| Line 1: | Line 1: | ||
;Program: Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Ken'ichiro Takahashi (Takaken) | ;Program: Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Ken'ichiro Takahashi (Takaken) | ||
;RAM: 1500 MiB | ;RAM: 1500 MiB | ||
| - | ;Computer: | + | ;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 | ;Solving method: Default settings | ||
;Time limit: 600 seconds = 10 minutes | ;Time limit: 600 seconds = 10 minutes | ||
Revision as of 07:13, 3 April 2019
- 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
