View source

From Sokoban Wiki

You do not have permission to edit this page, for the following reasons:

• The action you have requested is limited to users in the group: emailconfirmed.
• You must confirm your e-mail address before editing pages. Please set and validate your e-mail address through your user preferences.

You can view and copy the source of this page:

;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 <pre> # Sokoban Automatic Solver Ver7.2.2 (JAN/2008) by Takaken # Options: TimeLimit=600sec / Memory=1500MB / BeginEnd=On # LevelSetName = GroupEffort Large Set.sok (2017/11/26 14:59:26 Start) 1 [13*11( 6)] OK 5sec 719moves 190pushes 2 [ 9*11( 7)] OK 0sec 635moves 132pushes 3 [ 9* 9( 6)] OK 0sec 188moves 44pushes 4 [ 9* 8(10)] OK 3sec 519moves 128pushes 5 [ 9*12( 7)] OK 2sec 563moves 165pushes 6 [10*10( 7)] OK 1sec 492moves 132pushes 7 [11*12( 7)] OK 1sec 570moves 194pushes 8 [11*11( 9)] OK 1sec 754moves 167pushes 9 [ 9* 8( 6)] OK 0sec 338moves 97pushes 10 [ 9* 9( 6)] OK 0sec 381moves 93pushes 11 [ 9*10( 6)] OK 1sec 745moves 166pushes 12 [11*10( 8)] OK 3sec 787moves 143pushes 13 [10* 9( 7)] OK 1sec 357moves 97pushes 14 [ 9* 9( 6)] OK 0sec 234moves 61pushes 15 [ 9* 9( 5)] OK 0sec 342moves 73pushes 16 [ 9* 9( 8)] OK 1sec 277moves 85pushes 17 [11*11(12)] OK 3sec 1165moves 293pushes 18 [ 9*11( 7)] OK 0sec 397moves 109pushes 19 [11*12(13)] OK 10sec 660moves 144pushes 20 [10* 9( 5)] OK 0sec 221moves 76pushes 21 [ 9*10( 5)] OK 0sec 555moves 167pushes 22 [ 8* 8( 8)] OK 0sec 347moves 78pushes 23 [12* 8( 6)] OK 0sec 528moves 89pushes 24 [ 9* 9( 6)] OK 0sec 529moves 127pushes 25 [10* 8( 5)] OK 0sec 304moves 97pushes 26 [ 8* 9( 6)] OK 0sec 295moves 72pushes 27 [ 8* 9( 6)] OK 0sec 370moves 84pushes 28 [ 8*10( 7)] OK 0sec 340moves 92pushes 29 [ 8* 9( 6)] OK 0sec 304moves 69pushes 30 [ 8* 9( 6)] OK 0sec 324moves 76pushes 31 [ 9* 9( 7)] OK 0sec 417moves 107pushes 32 [ 9* 9( 7)] OK 1sec 294moves 89pushes 33 [ 8*10( 7)] OK 0sec 294moves 85pushes 34 [ 9* 9( 5)] OK 0sec 402moves 107pushes 35 [10*10( 8)] OK 0sec 505moves 152pushes 36 [11*11( 8)] OK 3sec 714moves 214pushes 37 [10*11( 9)] OK 1sec 351moves 113pushes 38 [ 9*11( 9)] OK 1sec 400moves 98pushes 39 [ 8*10( 7)] OK 0sec 480moves 141pushes 40 [11* 9(10)] OK 1sec 255moves 68pushes 41 [11*10(10)] OK 0sec 287moves 91pushes 42 [19*16(26)] X 247sec 43 [ 9* 9( 4)] OK 0sec 194moves 60pushes 44 [10*10( 6)] OK 1sec 374moves 76pushes 45 [ 9* 9( 7)] OK 0sec 202moves 52pushes 46 [10*10( 9)] OK 0sec 155moves 50pushes 47 [ 9*13(11)] OK 0sec 190moves 40pushes 48 [ 7* 9( 3)] OK 0sec 75moves 26pushes 49 [13* 8( 8)] OK 0sec 384moves 64pushes 50 [ 9* 8( 4)] OK 0sec 182moves 31pushes 51 [10*10( 8)] OK 1sec 218moves 52pushes 52 [ 9* 8( 8)] OK 0sec 115moves 30pushes 53 [11*11( 9)] OK 1sec 271moves 76pushes 54 [11* 9( 6)] OK 0sec 227moves 48pushes 55 [ 8*10( 8)] OK 0sec 222moves 72pushes 56 [ 9*12(11)] OK 0sec 305moves 57pushes 57 [ 8*10( 8)] OK 0sec 426moves 82pushes 58 [11*10( 7)] OK 0sec 200moves 58pushes 59 [ 9*11( 7)] OK 0sec 157moves 41pushes 60 [15*10(27)] X 600sec 61 [11* 8( 7)] OK 0sec 156moves 35pushes 62 [12*10( 9)] OK 1sec 380moves 84pushes 63 [11*10( 6)] OK 1sec 459moves 84pushes 64 [12* 9( 7)] OK 0sec 315moves 89pushes 65 [ 9*11(10)] OK 1sec 155moves 40pushes 66 [10*10( 5)] OK 1sec 211moves 47pushes 67 [ 9* 8( 6)] OK 0sec 268moves 60pushes 68 [13*13(11)] OK 6sec 185moves 41pushes 69 [ 9* 9( 8)] OK 1sec 121moves 32pushes 70 [13*12( 8)] OK 2sec 518moves 116pushes 71 [10* 9( 8)] OK 0sec 238moves 71pushes 72 [ 9* 8( 4)] OK 0sec 189moves 43pushes 73 [ 9* 8( 4)] OK 1sec 233moves 36pushes 74 [ 9*10( 6)] OK 0sec 220moves 52pushes 75 [ 9*13(11)] OK 0sec 255moves 48pushes 76 [10* 9( 6)] OK 0sec 182moves 54pushes 77 [12*10( 8)] OK 1sec 786moves 189pushes 78 [10*10( 6)] OK 0sec 215moves 59pushes 79 [10*10( 7)] OK 1sec 181moves 68pushes 80 [ 9* 8( 8)] OK 0sec 230moves 54pushes 81 [10*10( 7)] OK 0sec 275moves 56pushes 82 [ 9*11(10)] OK 1sec 546moves 130pushes 83 [ 9* 7( 3)] OK 0sec 114moves 30pushes 84 [ 9*10( 3)] OK 0sec 134moves 27pushes 85 [11* 9( 8)] OK 0sec 213moves 62pushes 86 [11*10( 8)] OK 0sec 747moves 140pushes 87 [12*13( 9)] OK 1sec 823moves 148pushes 88 [ 9* 9( 8)] OK 0sec 222moves 54pushes 89 [11* 9( 8)] OK 1sec 374moves 100pushes 90 [13*10( 8)] OK 1sec 289moves 101pushes 91 [10*10( 6)] OK 0sec 305moves 53pushes 92 [12*12( 9)] OK 3sec 859moves 108pushes 93 [17*17(20)] X 600sec 94 [22*20(36)] X 600sec 95 [18*13(28)] X 600sec 96 [ 9* 8( 6)] OK 0sec 199moves 46pushes 97 [12*11( 8)] OK 1sec 139moves 52pushes 98 [11* 9( 8)] OK 0sec 202moves 65pushes 99 [ 9* 7( 8)] OK 0sec 132moves 32pushes 100 [ 9* 9( 7)] OK 0sec 212moves 51pushes 101 [ 7*11( 9)] OK 1sec 173moves 49pushes 102 [14*22(12)] OK 7sec 1265moves 292pushes 103 [ 9*11(10)] OK 0sec 276moves 55pushes 104 [ 9* 9( 8)] OK 0sec 177moves 42pushes 105 [10* 9( 6)] OK 1sec 373moves 67pushes 106 [ 9* 9( 7)] OK 0sec 379moves 89pushes 107 [10* 9(10)] OK 0sec 384moves 66pushes 108 [ 9* 7( 5)] OK 1sec 123moves 32pushes 109 [13* 8( 9)] OK 1sec 402moves 71pushes 110 [11* 9( 7)] OK 1sec 346moves 90pushes 111 [10* 9(10)] OK 1sec 360moves 86pushes 112 [ 8*11(10)] OK 0sec 313moves 70pushes 113 [ 9*12(10)] OK 0sec 306moves 61pushes 114 [14* 7(10)] OK 1sec 140moves 44pushes 115 [ 9* 8( 5)] OK 0sec 163moves 31pushes 116 [11*10( 7)] OK 0sec 624moves 130pushes 117 [ 9*11( 4)] OK 0sec 204moves 65pushes 118 [ 9*11(10)] OK 1sec 334moves 59pushes 119 [12*11( 8)] OK 22sec 472moves 154pushes 120 [12*11( 8)] OK 0sec 401moves 93pushes 121 [11*11(10)] OK 4sec 571moves 96pushes 122 [11* 9( 6)] OK 1sec 206moves 31pushes 123 [ 8* 9( 6)] OK 0sec 223moves 53pushes 124 [12* 9( 7)] OK 0sec 286moves 55pushes 125 [10* 9( 6)] OK 0sec 210moves 56pushes 126 [ 8*10( 9)] OK 1sec 102moves 19pushes 127 [ 9* 9( 8)] OK 0sec 72moves 10pushes 128 [10* 7( 4)] OK 0sec 126moves 26pushes 129 [10*11( 7)] OK 0sec 318moves 109pushes 130 [10* 9( 7)] OK 1sec 297moves 49pushes 131 [11* 7( 3)] OK 0sec 81moves 9pushes 132 [13*10( 7)] OK 0sec 448moves 107pushes 133 [ 9*10( 9)] OK 0sec 161moves 26pushes 134 [10*10( 8)] OK 0sec 204moves 42pushes 135 [11* 8( 8)] OK 1sec 283moves 51pushes 136 [ 9* 7( 3)] OK 0sec 90moves 26pushes 137 [15*14(11)] X 374sec 138 [10* 9( 8)] OK 1sec 271moves 41pushes 139 [15*11(10)] OK 1sec 579moves 126pushes 140 [11*11( 6)] OK 0sec 304moves 75pushes 141 [10*10( 6)] OK 1sec 388moves 113pushes 142 [11*11( 8)] OK 2sec 816moves 191pushes 143 [11* 8( 9)] OK 1sec 349moves 83pushes 144 [11*10( 6)] OK 1sec 386moves 107pushes 145 [13*10( 7)] OK 1sec 804moves 214pushes 146 [13*11( 6)] OK 0sec 618moves 192pushes 147 [10*12( 8)] OK 1sec 646moves 192pushes 148 [17*11(16)] OK 177sec 1066moves 199pushes 149 [13*10( 8)] OK 7sec 868moves 209pushes 150 [11*10( 8)] OK 0sec 547moves 160pushes 151 [12*12( 7)] OK 2sec 713moves 264pushes 152 [10*11( 6)] OK 1sec 537moves 130pushes 153 [14*11(11)] X 142sec 154 [10*11( 8)] OK 1sec 725moves 144pushes 155 [11*10( 8)] OK 4sec 697moves 134pushes 156 [11*12( 8)] OK 2sec 993moves 244pushes 157 [10*12( 8)] OK 3sec 740moves 185pushes 158 [12*10( 8)] OK 4sec 706moves 227pushes 159 [11*10(11)] OK 0sec 513moves 121pushes 160 [11* 9( 6)] OK 2sec 456moves 155pushes 161 [12* 9( 8)] OK 0sec 659moves 190pushes 162 [16*15(13)] X 343sec 163 [11*10( 7)] OK 1sec 627moves 201pushes 164 [13*10(10)] OK 0sec 604moves 148pushes 165 [12*11(10)] OK 0sec 553moves 166pushes 166 [ 9* 9( 7)] OK 0sec 365moves 73pushes 167 [12*10( 6)] OK 1sec 1019moves 199pushes 168 [11* 9( 9)] OK 1sec 763moves 189pushes 169 [13*11( 8)] OK 1sec 669moves 173pushes 170 [10*11( 9)] OK 12sec 971moves 236pushes 171 [13*10( 7)] OK 2sec 445moves 101pushes 172 [10*12( 6)] OK 1sec 463moves 136pushes 173 [11* 9( 6)] OK 0sec 476moves 158pushes 174 [11*10( 8)] OK 1sec 804moves 209pushes 175 [10*11( 6)] OK 2sec 519moves 180pushes 176 [11*11( 8)] OK 1sec 875moves 270pushes 177 [11*10( 6)] OK 1sec 529moves 112pushes 178 [12*10( 6)] OK 3sec 550moves 131pushes 179 [17*11(16)] X 565sec 180 [19* 6( 6)] OK 0sec 154moves 48pushes 181 [ 7* 8( 3)] OK 0sec 110moves 19pushes 182 [ 8* 7( 3)] OK 1sec 111moves 16pushes 183 [ 9* 7( 4)] OK 0sec 80moves 13pushes 184 [ 9* 7( 4)] OK 0sec 75moves 16pushes 185 [ 9* 9( 6)] OK 0sec 128moves 32pushes 186 [ 9* 9( 5)] OK 0sec 61moves 12pushes 187 [13*10(15)] OK 19sec 632moves 157pushes 188 [ 9* 9( 6)] OK 0sec 105moves 30pushes 189 [ 9* 9( 4)] OK 0sec 51moves 14pushes 190 [ 8* 8( 4)] OK 0sec 83moves 12pushes 191 [ 9* 8( 6)] OK 0sec 69moves 20pushes 192 [14*11(16)] OK 18sec 857moves 261pushes 193 [13* 8( 6)] OK 0sec 285moves 51pushes 194 [ 7* 8( 5)] OK 0sec 51moves 16pushes 195 [ 8* 7( 4)] OK 1sec 72moves 17pushes 196 [10* 8( 7)] OK 0sec 101moves 31pushes 197 [12* 8( 6)] OK 0sec 176moves 51pushes 198 [ 8* 8( 6)] OK 1sec 157moves 35pushes 199 [ 9* 9( 7)] OK 0sec 210moves 47pushes 200 [ 9*11( 8)] OK 0sec 202moves 49pushes 201 [10* 8( 6)] OK 1sec 147moves 37pushes 202 [ 9* 7( 6)] OK 0sec 103moves 26pushes 203 [ 9* 8( 5)] OK 0sec 139moves 28pushes 204 [ 9* 9( 7)] OK 0sec 133moves 30pushes 205 [ 9* 7( 6)] OK 0sec 123moves 33pushes 206 [ 8*11(11)] OK 0sec 178moves 43pushes 207 [ 8* 9( 6)] OK 0sec 122moves 28pushes 208 [ 9*12(10)] OK 1sec 483moves 90pushes 209 [ 9* 9( 8)] OK 0sec 85moves 27pushes 210 [ 9*12( 7)] OK 0sec 303moves 60pushes 211 [ 9*12( 7)] OK 0sec 159moves 28pushes 212 [12*10(10)] OK 0sec 345moves 85pushes 213 [11*11(16)] OK 1sec 304moves 62pushes 214 [10*10( 7)] OK 0sec 402moves 69pushes 215 [ 9* 9( 8)] OK 0sec 186moves 44pushes 216 [ 9*10( 7)] OK 1sec 151moves 21pushes 217 [10* 9( 6)] OK 0sec 144moves 25pushes 218 [ 8* 9( 6)] OK 0sec 160moves 26pushes 219 [ 8* 7( 3)] OK 1sec 61moves 16pushes 220 [11*12(14)] OK 1sec 430moves 64pushes 221 [ 9*11( 9)] OK 0sec 156moves 36pushes 222 [ 9*12(12)] OK 1sec 218moves 53pushes 223 [ 8* 8( 5)] OK 0sec 139moves 32pushes 224 [ 8*10( 9)] OK 0sec 275moves 39pushes 225 [10*12( 9)] OK 1sec 524moves 82pushes 226 [ 8* 9( 8)] OK 0sec 161moves 34pushes 227 [ 9* 9( 3)] OK 0sec 123moves 21pushes 228 [ 8* 7( 7)] OK 1sec 129moves 26pushes 229 [ 9* 9( 4)] OK 0sec 171moves 19pushes 230 [11* 8(10)] OK 0sec 224moves 40pushes 231 [ 7* 8( 5)] OK 1sec 89moves 25pushes 232 [ 8* 8( 6)] OK 0sec 62moves 12pushes 233 [ 9* 9( 4)] OK 0sec 127moves 27pushes 234 [10*11( 5)] OK 1sec 210moves 49pushes 235 [20*18(15)] OK 62sec 1695moves 217pushes 236 [20*14(14)] OK 29sec 1065moves 209pushes 237 [11*11(16)] OK 0sec 128moves 30pushes 238 [17*17(16)] OK 51sec 1717moves 400pushes 239 [14*13(10)] OK 1sec 305moves 58pushes 240 [27*18(28)] OK 9sec 848moves 258pushes 241 [13*13(40)] OK 3sec 695moves 98pushes 242 [29*17(162)] - 243 [25*17(48)] X 600sec 244 [19*15( 9)] X 268sec 245 [10*11( 5)] OK 0sec 289moves 86pushes 246 [19*15(19)] OK 10sec 2167moves 378pushes 247 [19*15(28)] OK 2sec 1151moves 310pushes 248 [21*18(32)] OK 17sec 1977moves 397pushes 249 [30*17(12)] OK 3sec 1657moves 177pushes 250 [25*17(14)] OK 94sec 1138moves 138pushes 251 [23*18(50)] X 600sec 252 [17*13(14)] OK 0sec 645moves 228pushes 253 [16*16(16)] X 600sec 254 [28*17(25)] X 412sec 255 [27*16(28)] X 404sec 256 [17*11( 6)] OK 2sec 523moves 101pushes 257 [19*11( 7)] OK 1sec 882moves 180pushes 258 [18*15( 6)] OK 1sec 847moves 175pushes 259 [13*13(17)] OK 0sec 235moves 44pushes 260 [24*15(13)] X 600sec 261 [13* 7( 8)] OK 0sec 80moves 24pushes 262 [15*15(16)] OK 1sec 1066moves 254pushes 263 [17*17(48)] X 600sec 264 [29*17(34)] X 141sec 265 [27*15(32)] X 600sec 266 [19* 9(24)] OK 2sec 719moves 116pushes 267 [16*13( 9)] Ok 186sec 1267moves 258pushes 268 [30*18(52)] OK 37sec 2037moves 558pushes 269 [13*11(29)] OK 4sec 767moves 184pushes 270 [23*16(13)] OK 11sec 2451moves 393pushes 271 [30*15(21)] X 242sec 272 [17*14(17)] OK 9sec 600moves 178pushes 273 [22*13(10)] OK 3sec 882moves 331pushes 274 [30*18(19)] X 600sec 275 [17*17(24)] OK 32sec 1036moves 294pushes 276 [17*17(24)] X 63sec 277 [23*18(28)] X 600sec 278 [12*12( 8)] OK 0sec 431moves 67pushes 279 [29*17(94)] - 280 [19*17(15)] OK 52sec 2084moves 317pushes 281 [18*13(10)] OK 19sec 994moves 337pushes 282 [16*13(12)] OK 4sec 2213moves 293pushes 283 [29*17(23)] X 600sec 284 [13*13( 6)] OK 0sec 85moves 19pushes 285 [11*11(13)] OK 12sec 199moves 46pushes 286 [ 9* 9(13)] OK 1sec 132moves 26pushes 287 [10*10(14)] OK 1sec 403moves 80pushes 288 [10*10(15)] OK 1sec 411moves 78pushes 289 [11* 7(11)] OK 0sec 109moves 24pushes 290 [13*13(18)] OK 0sec 151moves 40pushes 291 [14*15( 9)] OK 1sec 781moves 128pushes 292 [25*25(48)] X 600sec 293 [10*10( 9)] OK 0sec 119moves 27pushes 294 [15*15(30)] X 72sec 295 [15*15(26)] OK 29sec 538moves 84pushes 296 [15*15(18)] OK 45sec 1082moves 156pushes 297 [ 8*13( 5)] OK 0sec 152moves 42pushes 298 [ 8* 8( 3)] OK 0sec 84moves 23pushes 299 [ 9* 7( 5)] OK 0sec 81moves 13pushes 300 [ 7* 6( 3)] OK 0sec 50moves 10pushes 301 [47*42( 1)] OK 0sec 2299moves 589pushes 302 [13* 8( 3)] OK 0sec 179moves 52pushes 303 [ 8* 8( 4)] OK 0sec 129moves 30pushes 304 [ 7* 8( 4)] OK 1sec 122moves 23pushes 305 [ 8* 8( 4)] OK 0sec 155moves 34pushes 306 [ 8* 8( 4)] OK 0sec 75moves 20pushes 307 [ 8*10( 4)] OK 1sec 189moves 30pushes 308 [ 9* 8( 4)] OK 0sec 172moves 42pushes 309 [ 9* 7( 6)] OK 0sec 73moves 16pushes 310 [ 9* 8( 8)] OK 1sec 91moves 14pushes 311 [ 7* 6( 3)] OK 0sec 52moves 11pushes 312 [11* 9( 6)] OK 0sec 59moves 19pushes 313 [ 9*10( 3)] OK 1sec 175moves 45pushes 314 [11*14( 3)] OK 0sec 257moves 66pushes 315 [15*15( 8)] OK 0sec 244moves 74pushes 316 [15*15( 8)] OK 1sec 250moves 102pushes 317 [ 8*12( 6)] OK 1sec 101moves 24pushes 318 [13*11( 3)] OK 0sec 187moves 51pushes 319 [13*10( 4)] OK 0sec 289moves 75pushes 320 [10* 7( 6)] OK 1sec 117moves 22pushes 321 [12* 8( 8)] OK 0sec 161moves 42pushes 322 [ 7* 8( 3)] OK 0sec 54moves 11pushes 323 [11* 8( 6)] OK 0sec 55moves 24pushes 324 [12*11( 5)] OK 0sec 311moves 80pushes 325 [16*11( 4)] OK 0sec 326moves 92pushes 326 [19*12( 6)] OK 0sec 615moves 163pushes 327 [ 9* 7( 5)] OK 0sec 84moves 21pushes 328 [ 8* 8( 6)] OK 0sec 69moves 18pushes 329 [11*11( 8)] OK 0sec 191moves 30pushes 330 [10* 8( 4)] OK 0sec 118moves 34pushes 331 [ 8*10( 5)] OK 0sec 127moves 33pushes 332 [10*12( 5)] OK 0sec 124moves 36pushes 333 [ 6* 9( 4)] OK 0sec 65moves 16pushes 334 [11*14( 4)] OK 0sec 316moves 62pushes 335 [10*11( 4)] OK 0sec 289moves 58pushes 336 [11*10( 6)] OK 0sec 161moves 54pushes 337 [11*11( 8)] OK 0sec 128moves 38pushes 338 [ 8* 9(12)] OK 0sec 57moves 18pushes 339 [11*12( 4)] OK 0sec 273moves 36pushes 340 [14*14(12)] OK 15sec 718moves 192pushes 341 [15*13(12)] OK 137sec 1518moves 160pushes 342 [ 9* 7( 4)] OK 0sec 83moves 20pushes 343 [ 8* 8( 4)] OK 0sec 39moves 13pushes 344 [10* 6( 3)] OK 0sec 74moves 20pushes 345 [ 8* 8( 4)] OK 0sec 55moves 19pushes 346 [ 9* 9( 4)] OK 0sec 158moves 31pushes 347 [ 9*10( 5)] OK 0sec 90moves 15pushes 348 [ 9*10( 6)] OK 1sec 106moves 19pushes 349 [16*12( 5)] OK 0sec 378moves 142pushes 350 [11*11(12)] OK 0sec 136moves 28pushes 351 [11*11(12)] OK 0sec 254moves 52pushes 352 [13*13(20)] OK 8sec 308moves 30pushes 353 [15*15(40)] OK 10sec 752moves 108pushes 354 [17*11(13)] OK 0sec 349moves 20pushes 355 [ 8* 7( 4)] OK 0sec 76moves 18pushes 356 [ 8*10( 3)] OK 0sec 171moves 19pushes 357 [ 8* 7( 3)] OK 0sec 69moves 13pushes 358 [ 8* 7( 3)] OK 0sec 38moves 11pushes 359 [ 7* 8( 3)] OK 0sec 89moves 19pushes 360 [10* 8( 3)] OK 0sec 112moves 39pushes 361 [ 8* 8( 3)] OK 0sec 56moves 13pushes 362 [ 8* 9( 3)] OK 0sec 89moves 17pushes 363 [ 8* 7( 3)] OK 0sec 39moves 9pushes 364 [ 8* 8( 3)] OK 1sec 33moves 7pushes 365 [ 7* 9( 3)] OK 0sec 67moves 21pushes 366 [ 9* 9( 4)] OK 0sec 171moves 49pushes 367 [ 8* 9( 3)] OK 1sec 60moves 17pushes 368 [ 6* 8( 4)] OK 0sec 61moves 14pushes 369 [ 6*10( 4)] OK 0sec 115moves 26pushes 370 [ 8* 9( 3)] OK 0sec 87moves 18pushes 371 [ 8* 9( 3)] OK 0sec 88moves 16pushes 372 [ 6* 9( 3)] OK 0sec 53moves 18pushes 373 [ 7*10( 3)] OK 0sec 81moves 22pushes 374 [ 8*10( 3)] OK 0sec 65moves 19pushes 375 [ 8* 7( 3)] OK 0sec 59moves 11pushes 376 [ 8* 7( 3)] OK 0sec 58moves 11pushes 377 [16* 8( 4)] OK 0sec 120moves 38pushes 378 [ 7* 9( 3)] OK 1sec 83moves 23pushes 379 [ 7* 8( 3)] OK 0sec 49moves 16pushes 380 [ 6* 8( 3)] OK 0sec 65moves 16pushes 381 [ 9* 9( 3)] OK 1sec 75moves 8pushes 382 [ 9* 7( 3)] OK 0sec 66moves 14pushes 383 [ 8* 8( 3)] OK 0sec 78moves 20pushes 384 [ 8* 8( 3)] OK 0sec 69moves 16pushes 385 [10* 8( 3)] OK 0sec 93moves 16pushes 386 [10*10( 3)] OK 0sec 97moves 24pushes 387 [ 7* 8( 3)] OK 0sec 40moves 12pushes 388 [15* 8( 4)] OK 0sec 203moves 64pushes 389 [ 7* 7( 3)] OK 0sec 44moves 14pushes 390 [ 7* 7( 3)] OK 0sec 28moves 8pushes 391 [ 8* 9( 3)] OK 0sec 28moves 6pushes 392 [ 8* 8( 3)] OK 1sec 42moves 12pushes 393 [ 9* 7( 3)] OK 0sec 42moves 12pushes 394 [ 8* 8( 3)] OK 0sec 57moves 20pushes 395 [ 9* 8( 3)] OK 1sec 66moves 22pushes 396 [ 8* 6( 3)] OK 0sec 62moves 14pushes 397 [ 7* 9( 3)] OK 0sec 78moves 26pushes 398 [ 7* 7( 3)] OK 0sec 56moves 20pushes 399 [ 8* 6( 2)] OK 0sec 38moves 14pushes 400 [14*12( 6)] OK 0sec 226moves 104pushes 401 [16*10(22)] OK 2sec 404moves 82pushes 402 [ 7* 8( 6)] OK 0sec 32moves 6pushes 403 [ 7* 9( 6)] OK 0sec 75moves 23pushes 404 [ 7* 9( 4)] OK 0sec 80moves 24pushes 405 [ 8* 9( 3)] OK 0sec 100moves 22pushes 406 [11* 7( 4)] OK 0sec 67moves 23pushes 407 [ 9* 7( 3)] OK 0sec 77moves 17pushes 408 [ 7* 8( 5)] OK 0sec 90moves 25pushes 409 [10* 9( 6)] OK 0sec 82moves 24pushes 410 [ 8* 8( 3)] OK 1sec 73moves 20pushes 411 [11* 7( 4)] OK 0sec 112moves 32pushes 412 [ 8* 7( 4)] OK 0sec 70moves 15pushes 413 [ 8* 9( 4)] OK 1sec 121moves 26pushes 414 [ 9* 7( 4)] OK 0sec 32moves 6pushes 415 [ 9*11( 6)] OK 0sec 94moves 28pushes 416 [11*10( 4)] OK 0sec 132moves 38pushes 417 [15* 8( 4)] OK 0sec 338moves 78pushes 418 [ 8* 9( 4)] OK 0sec 90moves 28pushes 419 [10* 8( 4)] OK 0sec 110moves 21pushes 420 [11* 9( 7)] OK 0sec 71moves 16pushes 421 [13* 9( 9)] OK 0sec 107moves 28pushes 422 [ 8* 7( 6)] OK 0sec 73moves 14pushes 423 [13*17( 6)] OK 0sec 306moves 142pushes 424 [ 8* 8( 4)] OK 0sec 103moves 24pushes 425 [10*10( 6)] OK 0sec 196moves 76pushes 426 [ 9* 9( 6)] OK 0sec 129moves 32pushes 427 [ 9* 8( 7)] OK 0sec 74moves 14pushes 428 [ 9* 9( 8)] OK 1sec 136moves 30pushes 429 [12*12( 8)] OK 0sec 106moves 16pushes 430 [ 9* 9(12)] OK 0sec 156moves 32pushes 431 [ 9* 9(12)] OK 0sec 102moves 14pushes 432 [20*12( 3)] OK 0sec 305moves 105pushes 433 [ 9* 6( 7)] OK 0sec 56moves 13pushes 434 [22*10( 4)] OK 0sec 328moves 118pushes 435 [18*11( 3)] OK 0sec 203moves 80pushes 436 [27*12( 7)] OK 0sec 659moves 251pushes 437 [12* 7( 3)] OK 0sec 180moves 33pushes 438 [13* 8( 4)] OK 0sec 235moves 46pushes 439 [11*10( 5)] OK 0sec 169moves 27pushes 440 [15*11( 8)] OK 0sec 308moves 74pushes 441 [ 9*10( 5)] OK 0sec 285moves 66pushes 442 [ 9*10( 5)] OK 0sec 339moves 72pushes 443 [ 9*10( 5)] OK 0sec 299moves 64pushes 444 [14* 7( 3)] OK 1sec 87moves 33pushes 445 [14*15( 4)] OK 0sec 452moves 112pushes 446 [ 7* 9( 6)] OK 0sec 88moves 14pushes 447 [ 7* 9( 6)] OK 1sec 56moves 10pushes 448 [ 7* 9( 6)] OK 0sec 60moves 16pushes 449 [ 7* 9( 6)] OK 0sec 62moves 22pushes 450 [11* 9( 6)] OK 1sec 117moves 41pushes 451 [11*13( 7)] OK 1sec 608moves 162pushes 452 [16* 9(14)] OK 2sec 440moves 102pushes 453 [15*15(12)] OK 1sec 193moves 26pushes 454 [13*13(12)] OK 10sec 261moves 66pushes 455 [16* 8( 4)] OK 0sec 167moves 58pushes 456 [13*13(24)] OK 1sec 303moves 38pushes 457 [11*10( 8)] OK 0sec 88moves 22pushes 458 [13*11(10)] OK 0sec 137moves 26pushes 459 [11* 9(10)] OK 1sec 273moves 48pushes 460 [11* 9(10)] OK 0sec 93moves 23pushes 461 [ 9* 9( 7)] OK 0sec 88moves 28pushes 462 [ 9* 9(10)] OK 1sec 77moves 14pushes 463 [ 8*11(10)] OK 0sec 247moves 55pushes 464 [ 9*11( 8)] OK 0sec 277moves 53pushes 465 [11*11(12)] OK 1sec 293moves 64pushes 466 [ 9*10( 4)] OK 0sec 156moves 38pushes 467 [11*13(11)] OK 1sec 420moves 119pushes 468 [ 8*12( 9)] OK 0sec 212moves 50pushes 469 [11*12( 8)] OK 0sec 270moves 59pushes 470 [10*10(10)] OK 1sec 125moves 27pushes 471 [ 9*12( 7)] OK 0sec 181moves 59pushes 472 [17*13(15)] OK 2sec 865moves 265pushes 473 [13*11(13)] OK 0sec 383moves 100pushes 474 [ 9*11(10)] OK 1sec 126moves 31pushes 475 [10*14( 8)] OK 0sec 142moves 54pushes 476 [ 9*11(10)] OK 0sec 135moves 35pushes 477 [ 8* 8(12)] OK 0sec 98moves 32pushes 478 [13*12(12)] OK 0sec 245moves 73pushes 479 [10*11(10)] OK 0sec 221moves 66pushes 480 [10*11( 9)] OK 0sec 97moves 26pushes 481 [10*11(10)] OK 1sec 214moves 50pushes 482 [10*10( 9)] OK 0sec 163moves 45pushes 483 [17*13(13)] OK 4sec 1211moves 353pushes 484 [ 9*11( 9)] OK 0sec 144moves 26pushes 485 [ 9* 9( 7)] OK 0sec 96moves 29pushes 486 [12*13( 9)] OK 2sec 447moves 96pushes 487 [15* 9(17)] OK 2sec 237moves 34pushes 488 [11*11(10)] OK 0sec 252moves 36pushes 489 [15* 9(18)] OK 0sec 203moves 54pushes 490 [15* 9(15)] OK 0sec 136moves 30pushes 491 [15* 9(17)] OK 1sec 160moves 34pushes 492 [15* 9(19)] OK 4sec 349moves 52pushes 493 [15* 9(16)] OK 1sec 249moves 46pushes 494 [15* 9(19)] OK 4sec 213moves 34pushes 495 [15* 9(19)] OK 2sec 416moves 66pushes 496 [16*10(22)] OK 0sec 326moves 44pushes 497 [16*10(26)] OK 3sec 341moves 48pushes 498 [16*10(26)] OK 1sec 357moves 76pushes 499 [ 9* 8( 4)] OK 0sec 186moves 40pushes 500 [11* 8( 8)] OK 0sec 183moves 42pushes 501 [15*10( 6)] OK 0sec 302moves 61pushes 502 [ 7* 8( 8)] OK 0sec 119moves 43pushes 503 [ 8* 8( 5)] OK 0sec 159moves 33pushes 504 [11*10( 7)] OK 0sec 205moves 40pushes 505 [ 8* 8( 5)] OK 0sec 231moves 38pushes 506 [ 8*10( 6)] OK 0sec 88moves 30pushes 507 [ 8*14( 7)] OK 0sec 198moves 37pushes 508 [14*10(10)] OK 46sec 394moves 85pushes 509 [10*10( 7)] OK 0sec 391moves 93pushes 510 [ 8* 9( 7)] OK 0sec 95moves 25pushes 511 [ 8*10( 6)] OK 0sec 179moves 36pushes 512 [ 8* 8( 7)] OK 1sec 234moves 41pushes 513 [ 7* 8( 8)] OK 0sec 131moves 42pushes 514 [12*12(10)] OK 1sec 803moves 115pushes 515 [10*10(10)] OK 0sec 253moves 54pushes 516 [ 9*10( 8)] OK 1sec 331moves 54pushes 517 [ 8* 9(10)] OK 0sec 175moves 61pushes 518 [ 9* 8( 9)] OK 0sec 190moves 62pushes 519 [13* 9( 9)] OK 0sec 212moves 72pushes 520 [ 9* 9( 8)] OK 0sec 148moves 42pushes 521 [ 9* 8( 5)] OK 0sec 110moves 25pushes 522 [ 9* 8( 6)] OK 0sec 130moves 30pushes 523 [ 8* 9(11)] OK 5sec 391moves 90pushes 524 [10*11( 8)] OK 0sec 125moves 42pushes 525 [11* 8(11)] OK 0sec 236moves 65pushes 526 [11* 8( 8)] OK 0sec 286moves 85pushes 527 [11*12( 9)] OK 0sec 439moves 67pushes 528 [ 9*11(12)] OK 0sec 224moves 63pushes 529 [14* 9( 6)] OK 1sec 208moves 68pushes 530 [ 9* 9( 9)] OK 0sec 195moves 50pushes 531 [ 9* 8(10)] OK 1sec 338moves 68pushes 532 [ 9* 7( 6)] OK 0sec 66moves 22pushes 533 [ 9*11(10)] OK 1sec 289moves 66pushes 534 [10*11(10)] OK 1sec 232moves 67pushes 535 [ 8* 9( 9)] OK 1sec 242moves 59pushes 536 [ 9*11(12)] OK 1sec 251moves 75pushes 537 [13* 9( 6)] OK 0sec 277moves 63pushes 538 [ 9* 8( 8)] OK 0sec 236moves 48pushes 539 [10* 8( 9)] OK 1sec 180moves 58pushes 540 [ 9* 8( 8)] OK 0sec 285moves 63pushes 541 [ 9* 9( 7)] OK 0sec 165moves 57pushes 542 [ 9* 9( 8)] OK 0sec 344moves 90pushes 543 [14*10(10)] OK 1sec 515moves 180pushes 544 [ 9* 9( 9)] OK 3sec 380moves 101pushes 545 [13* 7( 9)] OK 1sec 402moves 135pushes 546 [ 9*11( 8)] OK 0sec 243moves 65pushes 547 [11*11(10)] OK 1sec 282moves 71pushes 548 [11*10( 8)] OK 1sec 533moves 111pushes 549 [10*14(12)] OK 6sec 447moves 84pushes 550 [ 9* 9(10)] OK 7sec 477moves 137pushes 551 [ 9* 8( 7)] OK 0sec 297moves 94pushes 552 [ 9* 7( 6)] OK 0sec 90moves 24pushes 553 [ 8* 7( 6)] OK 0sec 104moves 31pushes 554 [ 8* 7( 5)] OK 0sec 87moves 19pushes 555 [12* 8( 5)] OK 0sec 180moves 59pushes 556 [ 8*12( 6)] OK 0sec 282moves 46pushes 557 [17*11(14)] OK 1sec 196moves 52pushes 558 [21*15(29)] OK 32sec 1347moves 242pushes 559 [10*16(13)] OK 2sec 352moves 62pushes 560 [13*13(17)] X 149sec 561 [15* 9(18)] OK 6sec 550moves 168pushes 562 [23* 9(16)] OK 1sec 736moves 148pushes 563 [11*11(16)] OK 1sec 191moves 36pushes 564 [17*17(24)] X 600sec 565 [15*15(24)] X 600sec 566 [15*15(24)] X 600sec 567 [13*10(12)] X 121sec 568 [13*13(20)] OK 5sec 475moves 94pushes 569 [15*15(22)] OK 21sec 957moves 222pushes 570 [17*17(44)] X 600sec 571 [15*15(32)] X 600sec 572 [17*15(37)] X 600sec 573 [17*17(34)] OK 85sec 1025moves 170pushes 574 [17*17(88)] - 575 [17*17(84)] - 576 [17*17(32)] X 600sec 577 [29*17(36)] X 600sec 578 [13*13( 8)] OK 1sec 715moves 111pushes 579 [30*17(42)] OK 142sec 2844moves 450pushes 580 [19*17(34)] X 600sec 581 [21*17(21)] X 207sec 582 [18*16(14)] OK 119sec 1898moves 235pushes 583 [20*18(25)] OK 26sec 2446moves 344pushes 584 [18*13(18)] X 154sec 585 [27*17(39)] X 600sec 586 [21*16(30)] X 600sec 587 [18*13(23)] OK 2sec 525moves 178pushes 588 [19*18(11)] OK 16sec 1302moves 240pushes 589 [18*15(17)] OK 12sec 2386moves 257pushes 590 [29*17(32)] X 275sec 591 [30*18(22)] X 356sec 592 [25*17(48)] X 600sec 593 [18*16(18)] X 293sec 594 [17*17(48)] X 600sec 595 [17*17(48)] X 600sec 596 [27*15(74)] - 597 [27*15(68)] - 598 [27*17(23)] X 177sec 599 [29*17(152)] - 600 [15*10( 9)] OK 0sec 391moves 81pushes 601 [29*18(18)] X 198sec 602 [19*17(22)] OK 28sec 1448moves 196pushes 603 [12*13(11)] OK 1sec 267moves 44pushes 604 [11*12(11)] OK 2sec 373moves 84pushes 605 [13*13(17)] OK 0sec 593moves 111pushes 606 [11*10( 3)] OK 0sec 163moves 49pushes 607 [ 8*12( 7)] OK 0sec 105moves 27pushes 608 [10*10( 5)] OK 1sec 350moves 77pushes 609 [10*14( 6)] OK 0sec 378moves 68pushes 610 [12*12(12)] OK 0sec 313moves 28pushes 611 [11*11(16)] OK 0sec 200moves 58pushes 612 [11*11(20)] OK 1sec 246moves 58pushes 613 [13*13(28)] OK 4sec 564moves 168pushes 614 [15*15(52)] X 600sec 615 [17*17(40)] OK 373sec 1856moves 466pushes 616 [11*10( 7)] OK 0sec 176moves 36pushes 617 [10* 9( 4)] OK 0sec 164moves 38pushes 618 [13*10(12)] OK 2sec 278moves 62pushes 619 [13* 9( 8)] OK 0sec 261moves 50pushes 620 [16*10( 9)] OK 2sec 522moves 154pushes 621 [12*11( 8)] OK 0sec 368moves 116pushes 622 [16*13(10)] OK 0sec 659moves 198pushes 623 [17*12( 9)] OK 1sec 879moves 160pushes 624 [14*11( 7)] OK 0sec 300moves 83pushes 625 [13*14( 8)] OK 5sec 818moves 177pushes 626 [15*16(15)] OK 57sec 909moves 173pushes 627 [12*13( 9)] OK 0sec 473moves 49pushes 628 [ 9* 9( 4)] OK 1sec 193moves 43pushes 629 [23*17(17)] OK 2sec 1769moves 420pushes 630 [15*12(24)] X 142sec 631 [18*18(28)] X 573sec 632 [19*17(32)] X 210sec 633 [15*15(20)] OK 3sec 333moves 88pushes 634 [17*17(40)] X 600sec 635 [17*17(40)] OK 36sec 3635moves 292pushes 636 [11*11(12)] OK 4sec 949moves 254pushes 637 [13*13(20)] OK 5sec 559moves 162pushes 638 [17*17(36)] OK 15sec 785moves 186pushes 639 [ 9*10( 8)] OK 0sec 190moves 41pushes 640 [29*15(22)] X 600sec 641 [15*15(16)] OK 1sec 696moves 134pushes 642 [19*15(15)] OK 1sec 1877moves 331pushes 643 [25*17(13)] OK 129sec 2468moves 426pushes 644 [31*16(52)] X 505sec 645 [23*15(60)] X 601sec 646 [27*17(76)] - 647 [29*17(97)] - 648 [29*17(72)] - 649 [31*17(98)] - 650 [ 8*10( 7)] OK 0sec 51moves 21pushes 651 [30*18(60)] X 600sec 652 [17*10( 6)] OK 0sec 494moves 146pushes 653 [17* 9(10)] OK 1sec 298moves 46pushes 654 [23* 9( 4)] OK 0sec 645moves 108pushes 655 [12* 9( 6)] OK 0sec 266moves 92pushes 656 [ 7*10( 4)] OK 0sec 122moves 39pushes 657 [10*10( 5)] OK 1sec 187moves 23pushes 658 [11*12( 7)] OK 0sec 125moves 23pushes 659 [ 7*10( 8)] OK 0sec 150moves 31pushes 660 [ 9* 9( 8)] OK 0sec 140moves 20pushes 661 [17* 9( 6)] OK 0sec 94moves 18pushes 662 [11* 9(14)] OK 1sec 292moves 52pushes 663 [12* 9(10)] OK 0sec 288moves 62pushes 664 [17*17(16)] OK 1sec 198moves 48pushes 665 [ 9*12(10)] OK 1sec 285moves 60pushes 666 [23*13(14)] OK 48sec 969moves 194pushes 667 [ 8* 8( 4)] OK 0sec 121moves 22pushes 668 [18*11( 6)] OK 0sec 629moves 82pushes 669 [17*12( 7)] OK 5sec 623moves 147pushes 670 [14*12( 8)] OK 1sec 596moves 133pushes 671 [11*13(16)] OK 8sec 878moves 145pushes 672 [12*11( 9)] OK 2sec 894moves 152pushes 673 [21*14(14)] OK 12sec 1438moves 168pushes 674 [23*15(13)] X 338sec 675 [30*19(18)] X 399sec 676 [21*12(20)] X 203sec 677 [21*18(26)] Ok 92sec 840moves 240pushes 678 [ 9*10( 4)] OK 0sec 212moves 51pushes 679 [16*16(16)] OK 7sec 1653moves 588pushes 680 [18*18(28)] X 52sec 681 [11*11(12)] OK 6sec 156moves 40pushes 682 [13*13(18)] OK 0sec 269moves 48pushes 683 [13*13(20)] OK 1sec 354moves 122pushes 684 [13*13(37)] OK 10sec 1030moves 192pushes 685 [13*13(24)] OK 3sec 263moves 40pushes 686 [16*16(18)] OK 2sec 382moves 58pushes 687 [18*18(22)] OK 59sec 1279moves 116pushes 688 [17*17(36)] X 248sec 689 [10* 9( 6)] OK 0sec 254moves 46pushes 690 [17*17(48)] X 600sec 691 [19*19(24)] X 600sec 692 [21*21(84)] - 693 [23*23(80)] - 694 [23*23(72)] - 695 [21*21(30)] OK 11sec 1306moves 346pushes 696 [22*22(16)] OK 376sec 3810moves 588pushes 697 [31*17(40)] X 408sec 698 [30*18(174)] - 699 [24*24(128)] - 700 [11*10(10)] OK 2sec 238moves 71pushes 701 [27*27(240)] - 702 [11*10( 7)] OK 1sec 280moves 63pushes 703 [13*10( 8)] OK 1sec 118moves 35pushes 704 [13*12( 8)] OK 1sec 162moves 37pushes 705 [17*12(10)] OK 1sec 267moves 48pushes 706 [15* 9( 9)] OK 1sec 262moves 50pushes 707 [12*12( 9)] OK 1sec 724moves 171pushes 708 [12*12( 7)] OK 1sec 366moves 84pushes 709 [11* 9( 9)] OK 0sec 159moves 42pushes 710 [12*12(10)] OK 2sec 237moves 59pushes 711 [15*16( 8)] OK 37sec 869moves 241pushes 712 [16*16(32)] OK 118sec 1127moves 192pushes 713 [15*15(16)] OK 17sec 875moves 178pushes 714 [21*17(15)] X 600sec 715 [25* 9(34)] X 600sec 716 [11*23(40)] X 600sec 717 [10* 7( 5)] OK 0sec 112moves 25pushes 718 [11*11(16)] OK 0sec 129moves 40pushes 719 [10*10( 8)] OK 0sec 124moves 32pushes 720 [10*10(16)] OK 1sec 163moves 30pushes 721 [10*10(16)] OK 0sec 245moves 38pushes 722 [10*10(16)] OK 0sec 276moves 48pushes 723 [10*10(20)] OK 1sec 83moves 22pushes 724 [10*10(14)] OK 0sec 310moves 66pushes 725 [10*10(16)] OK 1sec 164moves 16pushes 726 [10*10(18)] OK 38sec 492moves 134pushes 727 [11*11(12)] OK 1sec 163moves 58pushes 728 [10* 8( 8)] OK 0sec 146moves 24pushes 729 [11*11(20)] OK 1sec 338moves 94pushes 730 [13*13(32)] OK 17sec 779moves 180pushes 731 [13*13(24)] OK 3sec 348moves 78pushes 732 [13*13(36)] X 600sec 733 [15*15(56)] X 539sec 734 [15*15(24)] OK 101sec 988moves 232pushes 735 [15*15(24)] OK 12sec 490moves 74pushes 736 [15*15(32)] X 81sec 737 [17*17(52)] X 600sec 738 [18*18(24)] X 600sec 739 [10* 7( 6)] OK 0sec 74moves 20pushes 740 [22*22(56)] X 530sec 741 [21*21(48)] OK 20sec 1010moves 166pushes 742 [23*23(72)] - 743 [21*21(48)] X 600sec 744 [21*21(88)] - 745 [23*23(112)] - 746 [26*26(100)] - 747 [27*27(208)] - 748 [30*30(198)] - 749 [33*33(236)] - 750 [13* 9( 6)] OK 0sec 172moves 36pushes 751 [13* 7( 6)] OK 1sec 171moves 34pushes 752 [12*15( 4)] OK 0sec 429moves 126pushes 753 [11* 9( 8)] OK 0sec 230moves 28pushes 754 [11*11( 7)] OK 0sec 346moves 70pushes 755 [11* 9( 9)] OK 0sec 150moves 33pushes 756 [13*13(16)] OK 1sec 326moves 72pushes 757 [13*13(16)] OK 2sec 286moves 54pushes 758 [ 8* 9( 5)] OK 0sec 241moves 33pushes 759 [ 9* 9(10)] OK 0sec 138moves 40pushes 760 [ 9*11(14)] OK 3sec 350moves 104pushes 761 [12*12(12)] OK 1sec 271moves 75pushes 762 [14*12(11)] OK 0sec 131moves 28pushes 763 [18*12( 9)] OK 2sec 1433moves 395pushes 764 [21*13(29)] X 600sec 765 [11*13(12)] OK 0sec 302moves 58pushes 766 [11* 9( 8)] OK 1sec 171moves 36pushes 767 [11*14( 9)] OK 1sec 455moves 159pushes 768 [14*10(14)] OK 1sec 707moves 127pushes 769 [16*17(39)] OK 518sec 817moves 232pushes 770 [11*11(12)] OK 0sec 192moves 46pushes 771 [11*11(16)] OK 0sec 373moves 94pushes 772 [11*11(16)] OK 0sec 117moves 24pushes 773 [13*13(16)] OK 1sec 204moves 56pushes 774 [11*11(12)] OK 0sec 308moves 44pushes 775 [19*19(52)] OK 71sec 1338moves 306pushes 776 [15*15(17)] OK 16sec 986moves 149pushes 777 [ 9* 8( 6)] OK 0sec 70moves 20pushes 778 [17*15(10)] X 500sec 779 [17*17(18)] X 167sec 780 [12*12(16)] OK 1sec 237moves 44pushes 781 [19*19(48)] X 73sec 782 [19*19(44)] X 600sec 783 [21*13(25)] OK 6sec 989moves 84pushes 784 [29*17(50)] OK 268sec 2435moves 185pushes 785 [21*16(17)] X 188sec 786 [29*17(23)] X 78sec 787 [17*17(27)] X 600sec 788 [10*10(10)] OK 0sec 206moves 51pushes 789 [19*19(80)] - 790 [18*18(32)] OK 8sec 973moves 180pushes 791 [28*28(68)] - 792 [28*28(100)] - 793 [19*19(52)] X 59sec 794 [23*23(84)] - 795 [17*17(48)] OK 26sec 850moves 106pushes 796 [11* 9( 8)] OK 0sec 139moves 31pushes 797 [12*10( 5)] OK 0sec 237moves 52pushes 798 [13*14( 8)] OK 10sec 804moves 197pushes 799 [17*11( 7)] OK 1sec 472moves 142pushes 800 [14*14(17)] OK 1sec 227moves 60pushes 801 [10* 8( 5)] OK 0sec 122moves 31pushes 802 [10*10( 5)] OK 1sec 134moves 31pushes 803 [17*15( 7)] OK 1sec 655moves 175pushes 804 [10*12( 9)] OK 1sec 210moves 32pushes 805 [12*11(14)] OK 4sec 451moves 85pushes 806 [13* 9(13)] OK 1sec 263moves 40pushes 807 [13* 9(12)] OK 0sec 133moves 22pushes 808 [13* 9( 8)] OK 0sec 236moves 64pushes 809 [13*13(12)] OK 1sec 451moves 84pushes 810 [11*11(14)] OK 0sec 132moves 34pushes 811 [13*13( 8)] OK 0sec 155moves 50pushes 812 [ 7* 8( 4)] OK 1sec 114moves 22pushes 813 [13*13( 8)] OK 0sec 302moves 98pushes 814 [13*13( 8)] OK 0sec 161moves 54pushes 815 [13*13(20)] OK 516sec 593moves 130pushes 816 [13*13(16)] OK 6sec 911moves 268pushes 817 [15*15(16)] OK 0sec 357moves 96pushes 818 [15*15(20)] OK 1sec 521moves 138pushes 819 [21*21(20)] OK 22sec 1114moves 194pushes 820 [21*21(32)] X 600sec 821 [21*21(64)] X 600sec 822 [21*21(80)] - 823 [ 8* 8( 4)] OK 0sec 63moves 18pushes 824 [14*13(18)] OK 16sec 421moves 36pushes 825 [17*18(44)] X 600sec 826 [16*16(16)] OK 3sec 185moves 52pushes 827 [16*16(16)] OK 67sec 290moves 84pushes 828 [20*10(10)] OK 1sec 325moves 92pushes 829 [19*19(24)] OK 54sec 558moves 108pushes 830 [21*11(20)] OK 1sec 344moves 94pushes 831 [23*23(32)] X 600sec 832 [17*12(10)] OK 94sec 1681moves 166pushes 833 [26*17(14)] X 542sec 834 [ 8* 8( 4)] OK 0sec 79moves 22pushes 835 [ 8*22( 9)] OK 1sec 314moves 74pushes 836 [11*27(12)] X 178sec 837 [15*24(18)] X 444sec 838 [22*19(16)] X 246sec 839 [17*17(24)] X 600sec 840 [21*21(58)] X 43sec 841 [25*21(48)] X 600sec 842 [27*27(228)] - 843 [26*26(24)] X 130sec 844 [32*32(116)] - 845 [ 8*10( 4)] OK 0sec 73moves 16pushes 846 [29*41(236)] - 847 [10*10( 4)] OK 0sec 149moves 30pushes 848 [ 8*14( 5)] OK 0sec 91moves 24pushes 849 [13* 8( 7)] OK 0sec 192moves 43pushes 850 [10*14(10)] OK 0sec 283moves 70pushes 851 [19*16(36)] OK 9sec 1266moves 146pushes 852 [19*16(17)] X 355sec 853 [11* 8( 6)] OK 0sec 164moves 35pushes 854 [15*15(32)] OK 41sec 474moves 150pushes 855 [14*13(32)] X 600sec 856 [15*13(25)] OK 34sec 1043moves 366pushes 857 [17* 8(13)] OK 1sec 358moves 113pushes 858 [11*10( 5)] OK 1sec 182moves 23pushes 859 [ 9*12( 9)] OK 0sec 198moves 31pushes 860 [13*10(11)] OK 36sec 578moves 104pushes 861 [10* 8( 4)] OK 0sec 164moves 29pushes 862 [10* 6( 4)] OK 0sec 82moves 18pushes 863 [11* 6( 5)] OK 0sec 98moves 31pushes 864 [11*10( 9)] OK 0sec 433moves 89pushes 865 [13* 6( 6)] OK 0sec 178moves 46pushes 866 [11*10(12)] OK 1sec 133moves 46pushes 867 [11*11(11)] OK 0sec 147moves 52pushes 868 [10* 9( 9)] OK 0sec 195moves 47pushes 869 [13*15(26)] X 329sec 870 [13*15(28)] X 84sec 871 [17*17(16)] OK 288sec 2148moves 482pushes 872 [19*17(70)] - 873 [19*17(70)] - 874 [19*16(20)] OK 8sec 1000moves 172pushes 875 [19*10(13)] OK 1sec 548moves 93pushes 876 [10* 9(18)] OK 0sec 259moves 53pushes 877 [15*15(33)] X 600sec 878 [ 7* 9(11)] OK 0sec 80moves 18pushes 879 [13*13(30)] X 601sec 880 [15* 7(12)] OK 0sec 117moves 30pushes 881 [11* 9( 8)] OK 0sec 210moves 51pushes 882 [13*13(19)] OK 2sec 289moves 115pushes 883 [11*11(12)] OK 0sec 121moves 28pushes 884 [11*17(21)] OK 6sec 419moves 102pushes 885 [19*17(44)] X 172sec 886 [19*11(16)] OK 8sec 685moves 95pushes 887 [10*12(13)] OK 0sec 213moves 46pushes 888 [19*12(26)] X 321sec 889 [19*11(24)] OK 7sec 752moves 154pushes 890 [19*11(25)] OK 3sec 780moves 112pushes 891 [13* 9(15)] OK 1sec 338moves 71pushes 892 [13*17(32)] X 600sec 893 [13*14(34)] X 600sec 894 [19*11(16)] OK 3sec 393moves 110pushes 895 [13*13(20)] OK 1sec 558moves 36pushes 896 [18*13(17)] OK 10sec 1286moves 407pushes 897 [17*13(25)] OK 16sec 479moves 107pushes 898 [13*13(36)] X 600sec 899 [19*17(36)] X 600sec 900 [19*17(38)] X 600sec 901 [19*17(29)] X 600sec 902 [11*13(13)] OK 4sec 816moves 254pushes 903 [11* 9( 9)] OK 0sec 230moves 66pushes 904 [15* 9(19)] OK 3sec 362moves 84pushes 905 [16*16(24)] OK 1sec 648moves 98pushes 906 [19*17(41)] X 600sec 907 [19* 9(16)] X 600sec 908 [17*13(25)] OK 1sec 423moves 119pushes 909 [19* 7(13)] OK 0sec 440moves 161pushes 910 [13*14( 8)] OK 0sec 264moves 45pushes 911 [12*12(16)] OK 0sec 269moves 60pushes 912 [17* 7(15)] OK 3sec 322moves 106pushes 913 [ 9* 7( 8)] OK 0sec 82moves 20pushes 914 [12*13(18)] OK 2sec 963moves 260pushes 915 [13* 7( 9)] OK 0sec 111moves 25pushes 916 [19* 9(14)] OK 2sec 526moves 84pushes 917 [19*15(28)] X 400sec 918 [13* 9( 6)] OK 0sec 550moves 125pushes 919 [19*16(13)] OK 32sec 861moves 166pushes 920 [15*13(12)] OK 3sec 1629moves 287pushes 921 [15*13(12)] OK 5sec 1471moves 289pushes 922 [13*17(12)] OK 1sec 924moves 211pushes 923 [11* 9(12)] OK 1sec 272moves 59pushes 924 [15*10(24)] X 236sec 925 [13*10(18)] OK 5sec 343moves 80pushes 926 [13*12(20)] OK 147sec 657moves 160pushes 927 [13*11(18)] OK 3sec 299moves 96pushes 928 [ 9* 9(11)] OK 3sec 432moves 94pushes 929 [ 9* 7( 8)] OK 1sec 82moves 14pushes 930 [17*12(33)] OK 4sec 1015moves 153pushes 931 [17* 7(16)] OK 1sec 444moves 78pushes 932 [17* 7(18)] OK 14sec 852moves 180pushes 933 [17*13(38)] X 600sec 934 [15* 7(16)] OK 0sec 198moves 42pushes 935 [15* 7(17)] OK 0sec 186moves 31pushes 936 [10*12(13)] OK 1sec 285moves 56pushes 937 [19*12(29)] OK 3sec 768moves 108pushes 938 [19*12(28)] OK 4sec 873moves 120pushes 939 [19*11(24)] OK 13sec 601moves 92pushes 940 [19*11(18)] OK 4sec 871moves 168pushes 941 [17*12(33)] OK 12sec 606moves 125pushes 942 [19*17(22)] X 136sec 943 [13*11(12)] OK 36sec 197moves 36pushes 944 [13*11(11)] OK 6sec 369moves 62pushes 945 [17* 8(12)] OK 1sec 748moves 164pushes 946 [15* 9(10)] OK 1sec 274moves 38pushes 947 [12* 9( 7)] OK 0sec 204moves 26pushes 948 [17* 9(12)] OK 2sec 286moves 54pushes 949 [17*17(29)] X 571sec 950 [11* 9(14)] OK 1sec 222moves 37pushes 951 [15*15(50)] X 600sec 952 [16*12(32)] OK 8sec 493moves 87pushes 953 [13*13(16)] OK 7sec 599moves 144pushes 954 [13*13(14)] OK 3sec 313moves 84pushes 955 [15*11(12)] OK 3sec 333moves 72pushes 956 [13*11(12)] OK 0sec 273moves 64pushes 957 [13*11(16)] OK 2sec 427moves 88pushes 958 [13*11(14)] OK 1sec 447moves 88pushes 959 [13*11(14)] OK 2sec 437moves 96pushes 960 [13*11(12)] OK 1sec 251moves 64pushes 961 [18*11(10)] OK 2sec 210moves 78pushes 962 [19*11(10)] OK 32sec 245moves 88pushes 963 [19*16(60)] OK 27sec 1932moves 572pushes 964 [16*12(32)] OK 7sec 717moves 109pushes 965 [ 7*14( 7)] OK 0sec 167moves 28pushes 966 [13*14(16)] OK 19sec 438moves 93pushes 967 [15*11( 9)] OK 13sec 285moves 48pushes 968 [10*10( 9)] OK 0sec 246moves 61pushes 969 [10*11( 9)] OK 0sec 215moves 61pushes 970 [11*10( 9)] OK 0sec 172moves 53pushes 971 [10*11( 9)] OK 1sec 167moves 42pushes 972 [17* 8(15)] OK 2sec 597moves 138pushes 973 [17*15(30)] X 600sec 974 [19*17(42)] X 600sec 975 [17*12(33)] OK 3sec 563moves 88pushes 976 [19*17(44)] X 311sec 977 [13*15(22)] OK 1sec 859moves 307pushes 978 [17*15(43)] X 600sec 979 [15*11(16)] OK 2sec 141moves 50pushes 980 [14*15(32)] X 600sec 981 [14*11( 7)] OK 0sec 244moves 53pushes 982 [14* 9( 7)] OK 1sec 167moves 34pushes 983 [14* 9( 8)] OK 0sec 209moves 34pushes 984 [14* 9(10)] OK 0sec 210moves 35pushes 985 [11* 6( 9)] OK 0sec 158moves 32pushes 986 [17*12(33)] OK 14sec 845moves 180pushes 987 [11*11(18)] OK 0sec 396moves 93pushes 988 [11*11(18)] OK 2sec 349moves 80pushes 989 [23*13(41)] X 600sec 990 [21*13(43)] X 600sec 991 [19*11(13)] OK 5sec 355moves 67pushes 992 [19*11(28)] X 600sec 993 [15*11(12)] OK 0sec 213moves 39pushes 994 [12*12(11)] OK 0sec 214moves 54pushes 995 [15*14(17)] OK 52sec 833moves 157pushes 996 [11*15(19)] OK 1sec 593moves 163pushes 997 [12*13(12)] OK 0sec 565moves 127pushes 998 [13*11(17)] OK 0sec 549moves 203pushes 999 [13*12(24)] OK 50sec 804moves 171pushes 1000 [13*11(24)] OK 0sec 436moves 88pushes 1001 [13*10(23)] OK 3sec 394moves 82pushes 1002 [14*14(34)] X 421sec 1003 [15*15(38)] Ok 461sec 231moves 38pushes 1004 [17* 7(13)] OK 1sec 176moves 23pushes 1005 [17*13(29)] X 314sec 1006 [11* 9(15)] OK 0sec 303moves 53pushes 1007 [12*17(35)] X 600sec 1008 [13*14(12)] OK 0sec 738moves 124pushes 1009 [ 9* 8( 5)] OK 0sec 54moves 17pushes 1010 [ 9*15(11)] OK 1sec 282moves 62pushes 1011 [ 9*10( 5)] OK 1sec 85moves 15pushes 1012 [17*17(27)] X 128sec 1013 [17*17(27)] X 449sec 1014 [19*17(34)] X 540sec 1015 [19*15(36)] X 464sec 1016 [19*15(44)] X 600sec 1017 [11*11(12)] OK 1sec 260moves 34pushes 1018 [13*13(19)] OK 0sec 588moves 84pushes 1019 [13*12(33)] OK 4sec 455moves 87pushes 1020 [15*15(27)] X 544sec 1021 [11*11(24)] X 48sec 1022 [13*11(12)] OK 1sec 419moves 88pushes 1023 [17*11(16)] X 105sec 1024 [19*11(19)] OK 24sec 942moves 169pushes 1025 [19*15(27)] X 122sec 1026 [ 9*10( 9)] OK 0sec 124moves 33pushes 1027 [10*11(11)] OK 0sec 228moves 75pushes 1028 [11*12(13)] OK 0sec 293moves 63pushes 1029 [12*13(15)] OK 5sec 615moves 111pushes 1030 [13*12(33)] OK 5sec 590moves 89pushes 1031 [13*14(17)] OK 38sec 557moves 119pushes 1032 [17*11(12)] OK 1sec 252moves 102pushes 1033 [17*17(24)] OK 9sec 659moves 240pushes 1034 [ 9* 7( 5)] OK 0sec 55moves 15pushes 1035 [17* 7(11)] OK 0sec 160moves 34pushes 1036 [19*13(26)] Ok 181sec 703moves 154pushes 1037 [17*13(22)] OK 58sec 510moves 106pushes 1038 [ 8* 9( 7)] OK 0sec 74moves 21pushes 1039 [14*15(19)] Ok 146sec 669moves 85pushes 1040 [ 8* 9( 7)] OK 0sec 21moves 7pushes 1041 [12*12(34)] OK 7sec 450moves 70pushes 1042 [ 7* 8( 5)] OK 0sec 40moves 11pushes 1043 [ 6* 8( 3)] OK 0sec 50moves 15pushes 1044 [15* 9(21)] X 600sec 1045 [14* 9(19)] OK 2sec 706moves 130pushes 1046 [13* 9(17)] OK 6sec 555moves 89pushes 1047 [15* 9(21)] OK 1sec 423moves 81pushes 1048 [19*17(58)] X 600sec 1049 [ 9* 7( 5)] OK 0sec 75moves 14pushes 1050 [17*13(18)] OK 9sec 635moves 112pushes 1051 [ 9* 7( 6)] OK 0sec 108moves 21pushes 1052 [12*12(34)] OK 2sec 706moves 118pushes 1053 [ 9*13(14)] OK 0sec 281moves 62pushes 1054 [ 9* 7( 5)] OK 0sec 97moves 26pushes 1055 [17* 7( 9)] OK 1sec 216moves 39pushes 1056 [17* 7(10)] OK 1sec 294moves 53pushes 1057 [10*15(17)] OK 1sec 373moves 85pushes 1058 [13*15(26)] OK 13sec 677moves 165pushes 1059 [11* 7( 5)] OK 0sec 107moves 14pushes 1060 [17*15(27)] Ok 177sec 1560moves 284pushes 1061 [11*11( 8)] OK 0sec 214moves 31pushes 1062 [11*10( 9)] OK 0sec 340moves 54pushes 1063 [17*11(24)] OK 0sec 122moves 18pushes 1064 [11* 9( 8)] OK 0sec 165moves 52pushes 1065 [11*10( 8)] OK 0sec 188moves 19pushes 1066 [ 8* 9( 6)] OK 0sec 51moves 11pushes 1067 [21*10(16)] OK 1sec 601moves 70pushes 1068 [19*10(18)] OK 50sec 658moves 52pushes 1069 [15* 9(13)] OK 0sec 336moves 35pushes 1070 [15*17(27)] X 467sec 1071 [19* 9(14)] OK 2sec 882moves 128pushes 1072 [19* 9(14)] OK 1sec 960moves 168pushes 1073 [15* 9(10)] OK 0sec 354moves 79pushes 1074 [19*16(16)] X 600sec 1075 [16*11(25)] OK 0sec 121moves 21pushes 1076 [15*17(24)] X 392sec 1077 [ 9* 7( 6)] OK 0sec 73moves 18pushes 1078 [17*14(20)] OK 12sec 461moves 88pushes 1079 [ 9* 7( 9)] OK 0sec 121moves 28pushes 1080 [14* 7(17)] OK 1sec 186moves 39pushes 1081 [13* 7(17)] OK 0sec 325moves 58pushes 1082 [13* 7(11)] OK 0sec 154moves 40pushes 1083 [19* 7(12)] OK 0sec 161moves 50pushes 1084 [19*13(20)] OK 7sec 613moves 104pushes 1085 [19*13(22)] OK 91sec 692moves 102pushes 1086 [17*11(23)] OK 1sec 310moves 26pushes 1087 [14*11( 9)] OK 0sec 584moves 98pushes 1088 [19*14(20)] X 178sec 1089 [13*13(20)] OK 12sec 532moves 133pushes 1090 [13*12(14)] OK 0sec 353moves 62pushes 1091 [19*17(25)] Ok 56sec 2535moves 558pushes 1092 [15*15(21)] OK 3sec 946moves 138pushes 1093 [17*15(25)] OK 62sec 1484moves 134pushes 1094 [17*15(17)] X 240sec 1095 [16* 9(13)] OK 389sec 300moves 48pushes 1096 [17* 9(16)] OK 12sec 466moves 82pushes 1097 [16*11(21)] OK 0sec 127moves 25pushes 1098 [15* 7( 9)] OK 0sec 189moves 41pushes 1099 [15*13(20)] OK 247sec 846moves 146pushes 1100 [ 9*11(10)] OK 0sec 130moves 32pushes 1101 [ 9* 9(10)] OK 0sec 125moves 44pushes 1102 [ 9* 8( 8)] OK 0sec 87moves 18pushes 1103 [17* 8(16)] OK 5sec 298moves 56pushes 1104 [17*15(39)] X 600sec 1105 [13*13(16)] OK 3sec 409moves 65pushes 1106 [13*17(36)] X 600sec 1107 [13*13(13)] OK 1sec 285moves 32pushes 1108 [17*11(19)] OK 0sec 292moves 26pushes 1109 [ 9*10( 7)] OK 1sec 138moves 28pushes 1110 [13*10(13)] OK 1sec 335moves 95pushes 1111 [13*10(13)] OK 0sec 311moves 92pushes 1112 [12*10(11)] OK 0sec 515moves 102pushes 1113 [16*11(13)] OK 199sec 1219moves 298pushes 1114 [15*14(24)] X 552sec 1115 [17*17(30)] X 600sec 1116 [11* 7( 5)] OK 0sec 112moves 15pushes 1117 [17* 7( 8)] OK 1sec 148moves 32pushes 1118 [17*13(15)] OK 23sec 348moves 86pushes 1119 [16*11(19)] OK 1sec 139moves 27pushes 1120 [14* 7(10)] OK 1sec 263moves 49pushes 1121 [12* 7( 8)] OK 0sec 151moves 47pushes 1122 [12*13(17)] X 600sec 1123 [13*10( 3)] OK 0sec 205moves 55pushes 1124 [19*17(16)] X 168sec 1125 [19*15(28)] X 452sec 1126 [19*17(41)] X 600sec 1127 [15*11(12)] OK 33sec 783moves 128pushes 1128 [19*11(18)] OK 2sec 673moves 106pushes 1129 [22*16(36)] X 600sec 1130 [17*11(13)] OK 0sec 298moves 36pushes 1131 [12*13(15)] OK 53sec 927moves 120pushes 1132 [19*13(19)] OK 20sec 1571moves 202pushes 1133 [19*16(56)] X 600sec 1134 [19*17(51)] X 600sec 1135 [19*14(20)] X 416sec 1136 [12*12(10)] OK 1sec 939moves 180pushes 1137 [12*12(11)] OK 1sec 912moves 178pushes 1138 [15*15(28)] X 600sec 1139 [11* 6( 6)] OK 0sec 100moves 23pushes 1140 [13* 8( 7)] OK 0sec 198moves 45pushes 1141 [16*15(59)] OK 2sec 440moves 78pushes 1142 [11*11( 5)] OK 0sec 180moves 51pushes 1143 [11*11( 5)] OK 0sec 192moves 53pushes 1144 [13*11(14)] OK 1sec 348moves 97pushes 1145 [11*13( 7)] OK 1sec 154moves 40pushes 1146 [15*17(11)] OK 1sec 444moves 116pushes 1147 [14*10(10)] OK 1sec 254moves 70pushes 1148 [11*10(15)] OK 1sec 318moves 77pushes 1149 [14*17(18)] OK 95sec 888moves 97pushes 1150 [14*11(14)] OK 0sec 493moves 148pushes 1151 [13*11( 9)] OK 0sec 270moves 82pushes 1152 [17*11(11)] OK 0sec 362moves 28pushes 1153 [12* 9( 8)] OK 0sec 273moves 59pushes 1154 [11*10(14)] OK 38sec 646moves 152pushes 1155 [19*15(37)] X 496sec 1156 [19*13(19)] OK 0sec 1505moves 488pushes 1157 [10* 7(11)] OK 0sec 125moves 28pushes 1158 [12* 9(16)] OK 5sec 464moves 78pushes 1159 [13*15(32)] OK 5sec 836moves 302pushes 1160 [15* 9( 7)] OK 0sec 230moves 60pushes 1161 [19*11(12)] OK 1sec 245moves 67pushes 1162 [15*13(14)] Ok 153sec 1052moves 184pushes 1163 [16*11(17)] OK 1sec 232moves 37pushes 1164 [19* 9(17)] OK 0sec 370moves 100pushes 1165 [15* 9(10)] OK 0sec 329moves 89pushes 1166 [13* 9(12)] OK 0sec 251moves 43pushes 1167 [19*15(28)] OK 22sec 680moves 224pushes 1168 [16*16(12)] OK 20sec 933moves 295pushes 1169 [13*12(10)] OK 0sec 483moves 120pushes 1170 [13*10( 8)] OK 0sec 174moves 46pushes 1171 [19*11(14)] OK 1sec 709moves 186pushes 1172 [19*17(39)] X 600sec 1173 [13*12( 9)] OK 0sec 324moves 77pushes 1174 [15*11(11)] OK 1sec 272moves 26pushes 1175 [17* 8( 8)] OK 0sec 256moves 65pushes 1176 [17*17(34)] X 600sec 1177 [14*11(11)] OK 1sec 421moves 105pushes 1178 [ 8*15(11)] OK 1sec 210moves 28pushes 1179 [15*15(25)] OK 116sec 906moves 154pushes 1180 [13*11(13)] OK 2sec 437moves 110pushes 1181 [13*11(11)] OK 3sec 286moves 81pushes 1182 [15*14(20)] X 200sec 1183 [15*14(21)] X 600sec 1184 [11* 9( 8)] OK 0sec 312moves 64pushes 1185 [19*16(14)] OK 1sec 1371moves 433pushes 1186 [13*11(11)] OK 0sec 170moves 26pushes 1187 [14*14(14)] OK 1sec 495moves 151pushes 1188 [10*11( 9)] OK 1sec 429moves 63pushes 1189 [15*14(23)] X 600sec 1190 [13*13(19)] OK 1sec 233moves 56pushes 1191 [15*13(22)] X 600sec 1192 [18*14(24)] X 600sec 1193 [13*15(10)] OK 1sec 795moves 162pushes 1194 [19*17(14)] Ok 136sec 1096moves 222pushes 1195 [ 9*14(10)] OK 1sec 365moves 75pushes 1196 [ 9*14(12)] OK 2sec 647moves 145pushes 1197 [ 8*11( 7)] OK 0sec 136moves 34pushes 1198 [17*14(28)] X 600sec 1199 [15*15(21)] OK 3sec 564moves 156pushes 1200 [ 9*11(11)] OK 0sec 228moves 74pushes 1201 [ 9*11(14)] OK 0sec 231moves 71pushes 1202 [17*17(26)] X 198sec 1203 [15*15(22)] OK 10sec 934moves 236pushes 1204 [13*13(11)] OK 1sec 316moves 76pushes 1205 [10* 9( 8)] OK 0sec 255moves 48pushes 1206 [17*10(18)] X 600sec 1207 [11*11(15)] OK 0sec 316moves 50pushes 1208 [12*10(15)] OK 0sec 230moves 44pushes 1209 [19*11(27)] X 176sec 1210 [19*11(19)] X 372sec 1211 [11*10(11)] OK 0sec 142moves 24pushes 1212 [18*11(23)] X 326sec 1213 [13*13(19)] OK 2sec 508moves 104pushes 1214 [16*12(45)] X 600sec 1215 [16* 7(14)] OK 6sec 254moves 48pushes 1216 [12*13(20)] X 600sec 1217 [19*13(34)] X 57sec 1218 [19*15(77)] - 1219 [12*10(15)] OK 0sec 236moves 42pushes 1220 [15*15(29)] X 600sec 1221 [19*16(40)] X 600sec 1222 [19*16(60)] X 600sec 1223 [11*11(10)] OK 1sec 421moves 127pushes 1224 [17*17(32)] X 600sec 1225 [12*13(11)] OK 144sec 367moves 61pushes 1226 [13*14(42)] OK 21sec 912moves 182pushes 1227 [ 9*10(13)] OK 0sec 348moves 66pushes 1228 [ 9*10( 9)] OK 1sec 231moves 52pushes 1229 [15*10(18)] OK 21sec 671moves 130pushes 1230 [ 9* 9(15)] OK 0sec 154moves 20pushes 1231 [11*13(16)] OK 1sec 475moves 76pushes 1232 [18*10(27)] X 600sec 1233 [18*17(61)] X 600sec 1234 [15*12(13)] OK 2sec 683moves 141pushes 1235 [19*15(22)] OK 43sec 1511moves 130pushes 1236 [13*13(24)] X 600sec 1237 [11*10( 8)] OK 0sec 96moves 28pushes 1238 [18* 9(16)] OK 41sec 918moves 208pushes 1239 [18*13(34)] X 600sec 1240 [17*16(20)] OK 1sec 470moves 104pushes 1241 [ 9* 9(15)] OK 0sec 110moves 22pushes 1242 [17*11(22)] OK 30sec 1042moves 230pushes 1243 [10*10(10)] OK 1sec 171moves 56pushes 1244 [10*16(20)] OK 2sec 362moves 136pushes 1245 [13*13(14)] OK 5sec 479moves 118pushes 1246 [12* 9( 7)] OK 0sec 484moves 84pushes 1247 [12* 9( 8)] OK 0sec 440moves 87pushes 1248 [11* 9( 9)] OK 0sec 257moves 76pushes 1249 [15*10(13)] Ok 148sec 771moves 153pushes 1250 [15*13(24)] X 600sec 1251 [19*10(15)] OK 43sec 227moves 57pushes 1252 [11* 8( 5)] OK 0sec 84moves 22pushes 1253 [13*15(13)] OK 1sec 259moves 50pushes 1254 [13*13(25)] OK 2sec 626moves 100pushes 1255 [16*14(14)] OK 9sec 1933moves 304pushes 1256 [14*17(16)] OK 16sec 439moves 158pushes 1257 [19*12(13)] OK 5sec 589moves 81pushes 1258 [10*12(12)] OK 0sec 389moves 104pushes 1259 [19*12(25)] X 218sec 1260 [18*17(20)] X 600sec 1261 [17*16(31)] OK 2sec 1086moves 120pushes 1262 [11*11(16)] OK 0sec 322moves 65pushes 1263 [10*10(19)] OK 1sec 204moves 38pushes 1264 [17* 9(23)] OK 49sec 1316moves 250pushes 1265 [14*11(12)] OK 2sec 483moves 64pushes 1266 [19* 6(12)] OK 1sec 290moves 77pushes 1267 [19*11(20)] OK 5sec 545moves 162pushes 1268 [12*13( 5)] OK 1sec 214moves 23pushes 1269 [11*13( 6)] OK 0sec 411moves 43pushes 1270 [11*11(12)] OK 1sec 432moves 86pushes 1271 [14*10(13)] OK 27sec 649moves 182pushes 1272 [17* 7(12)] OK 1sec 298moves 82pushes 1273 [16*13(14)] OK 108sec 1280moves 327pushes 1274 [10*10(19)] OK 2sec 314moves 46pushes 1275 [15*14(15)] OK 1sec 267moves 84pushes 1276 [19*17(35)] X 600sec 1277 [17*17(29)] X 600sec 1278 [13*16(19)] OK 68sec 1071moves 296pushes 1279 [11* 9(16)] OK 0sec 465moves 86pushes 1280 [13*13(16)] X 302sec 1281 [11* 7( 7)] OK 0sec 114moves 19pushes 1282 [21* 7(14)] OK 2sec 848moves 136pushes 1283 [19* 7(13)] OK 0sec 227moves 38pushes 1284 [13*14(15)] OK 13sec 446moves 154pushes 1285 [11*11(24)] X 84sec 1286 [13*14(32)] OK 17sec 617moves 118pushes 1287 [12*12( 9)] OK 1sec 168moves 24pushes 1288 [19*13(22)] X 600sec 1289 [16*11(15)] X 123sec 1290 [17*17(45)] X 232sec 1291 [17*15(21)] X 164sec 1292 [12* 8( 6)] OK 0sec 192moves 43pushes 1293 [17* 9(15)] OK 1sec 318moves 69pushes 1294 [15*17(30)] X 600sec 1295 [15*14(21)] Ok 126sec 2365moves 600pushes 1296 [19*15(14)] OK 1sec 2016moves 594pushes 1297 [11*11(25)] X 84sec 1298 [11* 7( 9)] OK 0sec 119moves 28pushes 1299 [17*10(14)] OK 19sec 565moves 96pushes 1300 [10* 8( 6)] OK 0sec 66moves 16pushes 1301 [15*13(16)] OK 12sec 592moves 116pushes 1302 [15*13(16)] X 230sec 1303 [17*16(23)] X 600sec 1304 [11*13(11)] OK 0sec 321moves 71pushes 1305 [17*11(19)] OK 31sec 905moves 107pushes 1306 [17*17(24)] OK 31sec 1004moves 156pushes 1307 [13*14(18)] OK 110sec 1060moves 188pushes 1308 [19*14(25)] OK 1sec 906moves 255pushes 1309 [13*14(18)] OK 32sec 607moves 88pushes 1310 [14*14(28)] X 181sec 1311 [ 8* 8( 7)] OK 0sec 155moves 26pushes 1312 [ 8* 9( 8)] OK 0sec 228moves 33pushes 1313 [ 8*11(12)] OK 34sec 734moves 116pushes 1314 [ 8*13(13)] X 124sec 1315 [ 8*15(16)] X 196sec 1316 [ 8*17(17)] X 92sec 1317 [18*17(38)] X 600sec 1318 [18*14(12)] OK 7sec 916moves 189pushes 1319 [11*13(28)] OK 2sec 378moves 70pushes 1320 [15*15(31)] X 600sec 1321 [15*17(16)] OK 15sec 763moves 140pushes 1322 [13* 8( 7)] OK 0sec 166moves 25pushes 1323 [11* 8( 8)] OK 0sec 227moves 60pushes 1324 [19*15(34)] X 255sec 1325 [19* 8(19)] OK 18sec 1054moves 265pushes 1326 [19*15(40)] X 600sec 1327 [ 9* 7( 4)] OK 0sec 50moves 10pushes 1328 [14*14( 9)] OK 3sec 537moves 42pushes 1329 [14*12( 9)] OK 1sec 402moves 53pushes 1330 [11*11(28)] OK 6sec 748moves 130pushes 1331 [16*13(11)] OK 2sec 404moves 104pushes 1332 [13* 9( 6)] OK 0sec 255moves 57pushes 1333 [12* 9( 6)] OK 0sec 109moves 38pushes 1334 [ 9* 9( 8)] OK 0sec 132moves 37pushes 1335 [17*14(28)] X 148sec 1336 [15*15(19)] X 600sec 1337 [18* 8(11)] OK 1sec 929moves 208pushes 1338 [13*11(14)] OK 5sec 389moves 144pushes 1339 [11* 6( 6)] OK 0sec 150moves 42pushes 1340 [11* 6( 6)] OK 0sec 160moves 34pushes 1341 [19*16(31)] X 72sec 1342 [11* 6( 8)] OK 0sec 156moves 33pushes 1343 [10* 9(10)] OK 1sec 199moves 33pushes 1344 [19* 9(20)] OK 14sec 943moves 168pushes 1345 [17* 9(19)] OK 1sec 524moves 104pushes 1346 [12*10(11)] OK 3sec 215moves 39pushes 1347 [17* 9(13)] OK 1sec 289moves 66pushes 1348 [19* 9(14)] OK 3sec 776moves 168pushes 1349 [19*10(17)] OK 5sec 604moves 88pushes 1350 [ 9*11( 8)] OK 0sec 204moves 48pushes 1351 [12*13(21)] X 83sec 1352 [19*13(14)] OK 0sec 732moves 276pushes 1353 [13* 9(15)] OK 0sec 159moves 45pushes 1354 [13*12(21)] OK 1sec 329moves 103pushes 1355 [13*10( 8)] OK 0sec 650moves 109pushes 1356 [11*13(17)] X 130sec 1357 [12*12(18)] OK 33sec 444moves 116pushes 1358 [ 9*10(12)] OK 1sec 211moves 43pushes 1359 [11*10(15)] OK 0sec 191moves 35pushes 1360 [11*15(29)] X 600sec 1361 [17*11(18)] OK 11sec 751moves 107pushes 1362 [13*13(32)] X 600sec 1363 [16*12(17)] X 272sec 1364 [11*11(16)] OK 0sec 210moves 58pushes 1365 [11*11(20)] OK 4sec 329moves 48pushes 1366 [17*17(60)] X 600sec 1367 [19* 8(14)] OK 2sec 571moves 192pushes 1368 [15* 8(11)] OK 0sec 339moves 110pushes 1369 [19*14(24)] OK 17sec 983moves 215pushes 1370 [14* 8( 9)] OK 0sec 320moves 86pushes 1371 [12* 8(10)] OK 1sec 272moves 45pushes 1372 [17*11(22)] X 600sec 1373 [13* 8(12)] OK 4sec 471moves 109pushes 1374 [11*11(23)] OK 9sec 290moves 46pushes 1375 [18*13(24)] X 600sec 1376 [ 9*13(10)] OK 0sec 255moves 53pushes 1377 [ 9*16(16)] X 204sec 1378 [13*15(22)] OK 22sec 365moves 111pushes 1379 [ 9*14( 9)] OK 6sec 356moves 82pushes 1380 [ 9*12( 8)] OK 0sec 165moves 38pushes 1381 [15*17(24)] OK 48sec 974moves 195pushes 1382 [14*12(16)] OK 3sec 997moves 281pushes 1383 [13*11(12)] OK 1sec 120moves 34pushes 1384 [15*12(16)] OK 1sec 415moves 106pushes 1385 [11*11(23)] OK 8sec 370moves 56pushes 1386 [15*10(17)] X 600sec 1387 [10*12( 8)] OK 0sec 176moves 30pushes 1388 [13*13(24)] OK 3sec 318moves 40pushes 1389 [11*11(12)] OK 1sec 102moves 16pushes 1390 [13* 9(11)] OK 0sec 171moves 27pushes 1391 [13* 9(11)] OK 0sec 109moves 27pushes 1392 [13*13(24)] OK 5sec 1238moves 162pushes 1393 [11*11(14)] OK 0sec 381moves 76pushes 1394 [17*17(14)] OK 2sec 536moves 120pushes 1395 [17*17(13)] Ok 119sec 1096moves 194pushes 1396 [11*11(23)] OK 0sec 142moves 20pushes 1397 [12*12(14)] OK 67sec 388moves 104pushes 1398 [17*17(52)] OK 194sec 2095moves 664pushes 1399 [13*10(12)] OK 2sec 314moves 98pushes 1400 [15* 7( 8)] OK 0sec 280moves 64pushes 1401 [15* 7(10)] OK 0sec 211moves 74pushes 1402 [14* 7( 7)] OK 0sec 236moves 62pushes 1403 [12* 7( 5)] OK 0sec 169moves 54pushes 1404 [13*12(12)] OK 32sec 687moves 196pushes 1405 [13* 7( 9)] OK 0sec 156moves 38pushes 1406 [13* 8( 9)] OK 0sec 238moves 70pushes 1407 [19*16(36)] X 302sec 1408 [11*11(23)] OK 10sec 582moves 88pushes 1409 [13* 6( 8)] OK 0sec 110moves 31pushes 1410 [11*13(15)] OK 6sec 558moves 90pushes 1411 [11*13(15)] OK 8sec 419moves 86pushes 1412 [11*13(11)] OK 1sec 411moves 52pushes 1413 [11*11( 9)] OK 1sec 299moves 58pushes 1414 [11*11(12)] OK 0sec 245moves 40pushes 1415 [17*13(27)] X 600sec 1416 [19*17(37)] X 600sec 1417 [17*15(32)] X 600sec 1418 [13*16(27)] X 600sec 1419 [11*11(23)] OK 0sec 558moves 102pushes 1420 [11*14(20)] X 600sec 1421 [11*12(14)] OK 1sec 556moves 120pushes 1422 [ 9*10( 6)] OK 0sec 108moves 20pushes 1423 [19*17(54)] X 600sec 1424 [12*12(11)] OK 1sec 794moves 112pushes 1425 [17*14(21)] OK 5sec 1175moves 294pushes 1426 [ 7*15(15)] OK 13sec 331moves 76pushes 1427 [13*13(21)] OK 2sec 477moves 101pushes 1428 [13* 8( 8)] OK 0sec 226moves 36pushes 1429 [18* 8(14)] OK 1sec 543moves 90pushes 1430 [13*13(10)] OK 0sec 693moves 215pushes 1431 [16* 9(14)] OK 3sec 435moves 106pushes 1432 [17* 8(15)] OK 2sec 363moves 80pushes 1433 [17* 8(16)] OK 15sec 462moves 96pushes 1434 [12*12(15)] OK 3sec 458moves 68pushes 1435 [11* 7( 6)] OK 0sec 72moves 16pushes 1436 [13* 9( 7)] OK 0sec 217moves 28pushes 1437 [10* 9( 7)] OK 1sec 118moves 31pushes 1438 [12*10(14)] OK 5sec 290moves 62pushes 1439 [15*13(12)] OK 13sec 343moves 58pushes 1440 [11* 9( 9)] OK 1sec 108moves 24pushes 1441 [11*11(23)] OK 5sec 426moves 58pushes 1442 [15*15(40)] X 600sec 1443 [13*11(15)] OK 11sec 436moves 50pushes 1444 [11*12( 6)] OK 0sec 369moves 56pushes 1445 [21*12(14)] OK 64sec 1448moves 206pushes 1446 [10*12(13)] OK 0sec 339moves 74pushes 1447 [11*10(11)] OK 1sec 155moves 28pushes 1448 [17* 8(14)] OK 1sec 399moves 91pushes 1449 [17* 9(13)] OK 1sec 469moves 76pushes 1450 [11* 9( 9)] OK 0sec 384moves 77pushes 1451 [12* 8( 9)] OK 1sec 429moves 75pushes 1452 [11*11(23)] OK 5sec 584moves 88pushes 1453 [12* 8( 9)] OK 0sec 235moves 43pushes 1454 [11*10( 9)] OK 1sec 400moves 45pushes 1455 [17* 9(14)] OK 17sec 416moves 92pushes 1456 [10* 8( 6)] OK 0sec 215moves 39pushes 1457 [11*11( 9)] OK 0sec 144moves 24pushes 1458 [11*11( 9)] OK 1sec 152moves 28pushes 1459 [13*13(13)] OK 1sec 478moves 46pushes 1460 [11*11(17)] OK 7sec 583moves 79pushes 1461 [ 9*12(15)] OK 0sec 184moves 62pushes 1462 [ 9*10(12)] OK 1sec 128moves 45pushes 1463 [12*12(27)] OK 12sec 1008moves 104pushes 1464 [11*11(16)] OK 0sec 313moves 56pushes 1465 [12*11(18)] OK 3sec 370moves 84pushes 1466 [12* 8( 6)] OK 0sec 241moves 25pushes 1467 [13* 8(12)] OK 0sec 253moves 34pushes 1468 [10*10( 7)] OK 0sec 425moves 80pushes 1469 [ 9*14(17)] OK 16sec 381moves 74pushes 1470 [17* 8(13)] X 146sec 1471 [11*11(12)] OK 11sec 512moves 74pushes 1472 [11*11( 9)] OK 0sec 239moves 54pushes 1473 [ 9* 9( 9)] OK 1sec 87moves 16pushes 1474 [13*13(31)] X 600sec 1475 [15*15(54)] X 600sec 1476 [16*10( 8)] OK 1sec 1175moves 311pushes 1477 [11*10( 5)] OK 0sec 375moves 90pushes 1478 [13*10( 8)] OK 4sec 427moves 81pushes 1479 [14* 9(15)] OK 0sec 218moves 66pushes 1480 [13* 9(14)] OK 2sec 282moves 60pushes 1481 [15*16(15)] X 600sec 1482 [13*12(12)] OK 0sec 485moves 161pushes 1483 [11* 8( 6)] OK 0sec 150moves 37pushes 1484 [10* 9(11)] OK 1sec 274moves 50pushes 1485 [ 8* 8(11)] OK 0sec 66moves 10pushes 1486 [11* 8(13)] OK 8sec 408moves 116pushes 1487 [ 9* 8( 6)] OK 0sec 122moves 18pushes 1488 [15* 9(23)] OK 39sec 922moves 202pushes 1489 [15* 9(23)] OK 7sec 974moves 168pushes 1490 [17*11(20)] OK 11sec 848moves 341pushes 1491 [12*11( 8)] OK 0sec 153moves 36pushes 1492 [11* 9( 8)] OK 0sec 96moves 30pushes 1493 [ 7* 7( 4)] OK 0sec 49moves 16pushes 1494 [ 9* 9( 9)] OK 0sec 137moves 42pushes 1495 [13* 8( 9)] OK 0sec 222moves 43pushes 1496 [14*14(35)] OK 33sec 1384moves 172pushes 1497 [11*11(14)] OK 0sec 205moves 48pushes 1498 [11* 9( 9)] OK 0sec 157moves 34pushes 1499 [ 9* 9(11)] OK 0sec 232moves 58pushes 1500 [19*13(13)] OK 71sec 1738moves 376pushes 1501 [19*17(49)] X 600sec 1502 [10* 8( 7)] OK 0sec 113moves 27pushes 1503 [ 9* 8( 4)] OK 0sec 112moves 11pushes 1504 [15*13(14)] OK 9sec 582moves 68pushes 1505 [13*13(11)] OK 1sec 492moves 58pushes 1506 [13*15(24)] X 600sec 1507 [12*12(38)] Ok 87sec 176moves 28pushes 1508 [14*12( 8)] OK 0sec 278moves 26pushes 1509 [10*10( 6)] OK 0sec 134moves 24pushes 1510 [16* 8(12)] OK 1sec 250moves 80pushes 1511 [15*11(18)] OK 1sec 851moves 264pushes 1512 [12* 9( 8)] OK 0sec 122moves 32pushes 1513 [15* 9(11)] OK 0sec 473moves 133pushes 1514 [14*12(11)] OK 0sec 738moves 134pushes 1515 [12*11(18)] OK 78sec 815moves 229pushes 1516 [15*13(30)] OK 2sec 723moves 197pushes 1517 [10*11( 8)] OK 0sec 141moves 39pushes 1518 [19*16(40)] X 600sec 1519 [13*13(46)] OK 27sec 1984moves 216pushes 1520 [ 8* 8( 5)] OK 0sec 74moves 16pushes 1521 [ 8*10( 4)] OK 0sec 58moves 14pushes 1522 [18*13(17)] X 600sec 1523 [11* 9( 9)] OK 0sec 233moves 56pushes 1524 [18*10(19)] X 292sec 1525 [19*11(26)] OK 15sec 1781moves 408pushes 1526 [11*11(10)] OK 0sec 176moves 46pushes 1527 [18*17(55)] OK 32sec 2665moves1100pushes 1528 [12*12( 8)] OK 1sec 943moves 178pushes 1529 [17*14(15)] OK 0sec 749moves 173pushes 1530 [14*14(54)] OK 54sec 1694moves 192pushes 1531 [12*11(13)] OK 6sec 327moves 75pushes 1532 [10*11( 9)] OK 0sec 533moves 110pushes 1533 [11*12(17)] OK 4sec 879moves 156pushes 1534 [11*11( 8)] OK 1sec 125moves 36pushes 1535 [17* 8(10)] OK 2sec 376moves 44pushes 1536 [11*11(12)] OK 2sec 217moves 43pushes 1537 [15*15(20)] OK 4sec 482moves 109pushes 1538 [11*11(11)] OK 1sec 394moves 80pushes 1539 [11* 9( 7)] OK 0sec 127moves 30pushes 1540 [19* 7(15)] OK 1sec 922moves 125pushes 1541 [11*11(21)] OK 2sec 154moves 20pushes 1542 [17*17(48)] OK 9sec 1909moves 422pushes 1543 [19*11(13)] OK 3sec 1617moves 235pushes 1544 [13*12(11)] OK 0sec 407moves 50pushes 1545 [17*17(68)] - 1546 [13*13(20)] X 199sec 1547 [10*13(10)] OK 1sec 352moves 82pushes 1548 [19*10(12)] X 196sec 1549 [19* 8( 9)] OK 0sec 388moves 76pushes 1550 [11*10( 8)] OK 0sec 280moves 50pushes 1551 [14*11( 9)] OK 0sec 631moves 129pushes 1552 [12*12(25)] OK 2sec 264moves 42pushes 1553 [13*11(21)] OK 2sec 671moves 136pushes 1554 [ 7* 9( 4)] OK 0sec 82moves 13pushes 1555 [ 7* 7( 4)] OK 0sec 54moves 12pushes 1556 [10* 8( 3)] OK 0sec 94moves 20pushes 1557 [11*11( 5)] OK 0sec 139moves 22pushes 1558 [12*12(12)] OK 2sec 612moves 144pushes 1559 [ 7*11( 6)] OK 0sec 91moves 16pushes 1560 [17*10(13)] OK 1sec 377moves 125pushes 1561 [13* 9(19)] OK 1sec 580moves 152pushes 1562 [13*13(13)] OK 3sec 885moves 238pushes 1563 [17*17(43)] X 600sec 1564 [11* 7( 7)] OK 0sec 102moves 16pushes 1565 [ 9* 9( 6)] OK 0sec 82moves 14pushes 1566 [11* 9( 7)] OK 0sec 246moves 43pushes 1567 [11*12( 9)] OK 1sec 603moves 82pushes 1568 [13*11( 8)] OK 1sec 303moves 42pushes 1569 [10*10( 6)] OK 0sec 196moves 38pushes 1570 [11* 9( 5)] OK 0sec 103moves 20pushes 1571 [10*10( 8)] OK 0sec 249moves 42pushes 1572 [10*11( 3)] OK 0sec 165moves 41pushes 1573 [11*10( 4)] OK 1sec 151moves 41pushes 1574 [16*13(39)] X 600sec 1575 [ 9* 7( 6)] OK 0sec 81moves 20pushes 1576 [ 9* 8( 5)] OK 0sec 59moves 20pushes 1577 [11*12( 8)] OK 0sec 161moves 30pushes 1578 [17* 9(13)] OK 0sec 271moves 64pushes 1579 [ 8*11( 4)] OK 0sec 86moves 12pushes 1580 [17* 9(12)] OK 0sec 453moves 105pushes 1581 [14*10(10)] OK 1sec 254moves 46pushes 1582 [10*10( 6)] OK 1sec 108moves 12pushes 1583 [12*12( 8)] OK 1sec 261moves 57pushes 1584 [15* 8( 9)] OK 0sec 141moves 19pushes 1585 [15*15(54)] OK 32sec 968moves 138pushes 1586 [13* 9( 5)] OK 1sec 112moves 22pushes 1587 [13*10(12)] OK 0sec 279moves 63pushes 1588 [13*11(17)] OK 2sec 442moves 75pushes 1589 [11* 7( 7)] OK 0sec 89moves 22pushes 1590 [13* 9( 9)] OK 0sec 158moves 40pushes 1591 [13* 6( 9)] OK 0sec 150moves 41pushes 1592 [18*11( 6)] OK 1sec 452moves 94pushes 1593 [12* 8( 9)] OK 0sec 197moves 41pushes 1594 [12*10( 7)] OK 0sec 840moves 141pushes 1595 [15*13( 9)] OK 5sec 1001moves 156pushes 1596 [15*15(54)] OK 62sec 1376moves 140pushes 1597 [14*10(20)] OK 0sec 364moves 119pushes 1598 [10* 7( 7)] OK 0sec 108moves 30pushes 1599 [13* 7(10)] OK 0sec 143moves 26pushes 1600 [13*11( 8)] OK 1sec 274moves 34pushes 1601 [15*15(22)] X 601sec 1602 [13*12(18)] OK 3sec 474moves 90pushes 1603 [18*10(11)] OK 13sec 1957moves 294pushes 1604 [12*12(15)] OK 1sec 450moves 116pushes 1605 [13*15(17)] X 155sec 1606 [14* 8( 6)] OK 0sec 353moves 77pushes 1607 [16*13(14)] OK 8sec 934moves 216pushes 1608 [13*10( 8)] OK 0sec 215moves 72pushes 1609 [ 9*11(10)] OK 0sec 140moves 30pushes 1610 [ 9* 8( 5)] OK 0sec 115moves 25pushes 1611 [ 9*11( 8)] OK 0sec 397moves 68pushes 1612 [18*10(25)] OK 6sec 789moves 128pushes 1613 [13*11(16)] OK 2sec 398moves 56pushes 1614 [10* 8(11)] OK 0sec 121moves 39pushes 1615 [15*10( 9)] OK 1sec 264moves 42pushes 1616 [10*12( 7)] OK 1sec 380moves 41pushes 1617 [12* 9(14)] OK 0sec 243moves 30pushes 1618 [19*10(37)] X 600sec 1619 [12*13(25)] X 600sec 1620 [13*13(14)] OK 9sec 438moves 58pushes 1621 [11*10(11)] OK 0sec 503moves 80pushes 1622 [11*10( 4)] OK 1sec 207moves 38pushes 1623 [13*12(10)] OK 0sec 439moves 77pushes 1624 [12* 8( 6)] OK 0sec 103moves 32pushes 1625 [10*14(13)] OK 0sec 682moves 108pushes 1626 [ 8* 8( 5)] OK 0sec 96moves 20pushes 1627 [10*12(15)] OK 1sec 472moves 134pushes 1628 [ 9*13(23)] OK 3sec 248moves 67pushes 1629 [19*16(29)] OK 1sec 1818moves 429pushes 1630 [19*13(46)] X 178sec 1631 [11*12(15)] OK 0sec 468moves 146pushes 1632 [ 9* 9( 7)] OK 1sec 151moves 41pushes 1633 [11* 9(15)] OK 0sec 315moves 70pushes 1634 [11*14(15)] OK 3sec 376moves 54pushes 1635 [13* 9( 9)] OK 0sec 230moves 53pushes 1636 [16*15(16)] OK 3sec 2550moves 595pushes 1637 [13* 8(10)] OK 1sec 146moves 33pushes 1638 [11* 9( 9)] OK 0sec 331moves 66pushes 1639 [ 9*11( 7)] OK 0sec 223moves 56pushes 1640 [13* 9( 8)] OK 0sec 247moves 29pushes 1641 [19*13(47)] OK 15sec 923moves 161pushes 1642 [15* 9(16)] OK 0sec 342moves 56pushes 1643 [17*17(32)] X 489sec 1644 [11*11( 8)] OK 1sec 203moves 34pushes 1645 [11* 8( 8)] OK 0sec 70moves 17pushes 1646 [12*12(11)] OK 1sec 163moves 49pushes 1647 [11*11(14)] OK 1sec 551moves 112pushes 1648 [12*10(12)] OK 0sec 220moves 44pushes 1649 [12*12(24)] OK 7sec 395moves 99pushes 1650 [11* 9(10)] OK 0sec 206moves 35pushes 1651 [11*14( 9)] OK 13sec 2453moves 205pushes 1652 [19*13(49)] OK 10sec 905moves 226pushes 1653 [16*15(12)] X 230sec 1654 [17*16(17)] X 252sec 1655 [15*15(14)] X 600sec 1656 [15*14(22)] X 47sec 1657 [ 8* 8( 6)] OK 1sec 76moves 17pushes 1658 [11*12(17)] OK 2sec 439moves 62pushes 1659 [12* 9( 8)] OK 0sec 458moves 98pushes 1660 [14*10(18)] OK 0sec 742moves 262pushes 1661 [ 8* 6( 4)] OK 0sec 86moves 18pushes 1662 [ 9*15(15)] OK 2sec 605moves 230pushes 1663 [19*13(50)] X 600sec 1664 [10*10(12)] OK 0sec 137moves 30pushes 1665 [15*11( 9)] OK 1sec 574moves 111pushes 1666 [11* 9( 8)] OK 0sec 58moves 12pushes 1667 [ 9* 9(10)] OK 1sec 152moves 32pushes 1668 [11* 7( 6)] OK 0sec 102moves 12pushes 1669 [ 7*13(12)] OK 0sec 263moves 62pushes 1670 [13*11( 5)] OK 0sec 186moves 32pushes 1671 [13* 9( 9)] OK 1sec 263moves 82pushes 1672 [ 9*10( 7)] OK 0sec 343moves 40pushes 1673 [12*13(12)] OK 0sec 379moves 129pushes 1674 [ 8* 9( 9)] OK 0sec 121moves 26pushes 1675 [12*13(10)] OK 0sec 964moves 161pushes 1676 [12*10( 8)] OK 1sec 242moves 66pushes 1677 [13*10(10)] OK 0sec 509moves 109pushes 1678 [13*13(14)] OK 0sec 624moves 265pushes 1679 [ 6*10( 6)] OK 0sec 62moves 20pushes 1680 [ 8*10( 9)] OK 1sec 191moves 35pushes 1681 [ 8* 8( 5)] OK 0sec 33moves 11pushes 1682 [ 8* 7( 7)] OK 0sec 50moves 17pushes 1683 [ 8* 7( 6)] OK 1sec 89moves 21pushes 1684 [11*11( 8)] OK 0sec 187moves 54pushes 1685 [17* 9(20)] X 600sec 1686 [11*13( 8)] OK 0sec 216moves 24pushes 1687 [ 9*11(10)] OK 0sec 228moves 34pushes 1688 [11* 8( 8)] OK 0sec 90moves 24pushes 1689 [11* 7( 7)] OK 0sec 78moves 27pushes 1690 [14*13(13)] OK 0sec 426moves 96pushes 1691 [ 8* 8( 5)] OK 0sec 60moves 10pushes 1692 [14* 8( 4)] OK 1sec 403moves 80pushes 1693 [15* 8(10)] OK 1sec 552moves 102pushes 1694 [ 7*11( 8)] OK 0sec 184moves 40pushes 1695 [15*17(28)] OK 5sec 440moves 108pushes 1696 [17*11(27)] X 600sec 1697 [11*15(18)] OK 12sec 654moves 80pushes 1698 [11* 8( 8)] OK 0sec 117moves 22pushes 1699 [ 9* 8( 7)] OK 0sec 133moves 35pushes 1700 [ 9* 9( 6)] OK 1sec 148moves 18pushes 1701 [11* 9( 7)] OK 0sec 139moves 14pushes 1702 [11*11( 6)] OK 0sec 269moves 37pushes 1703 [ 9*12(16)] OK 0sec 279moves 106pushes 1704 [ 9*12(16)] X 378sec 1705 [ 8* 8( 8)] OK 0sec 84moves 19pushes 1706 [10* 7( 4)] OK 1sec 73moves 18pushes 1707 [19*16(45)] OK 10sec 2733moves1128pushes 1708 [ 9* 9( 6)] OK 0sec 139moves 20pushes 1709 [ 9* 7( 6)] OK 0sec 82moves 14pushes 1710 [ 9* 7( 6)] OK 0sec 29moves 12pushes 1711 [11*12(10)] OK 1sec 284moves 44pushes 1712 [13*10( 7)] OK 1sec 381moves 114pushes 1713 [14* 9( 5)] OK 0sec 158moves 31pushes 1714 [ 7* 9( 6)] OK 0sec 95moves 22pushes 1715 [15*17(20)] OK 5sec 519moves 83pushes 1716 [ 9* 9( 6)] OK 0sec 102moves 22pushes 1717 [ 7*10( 8)] OK 0sec 145moves 34pushes 1718 [19*16(39)] X 600sec 1719 [ 9* 9( 7)] OK 0sec 74moves 22pushes 1720 [ 8*10( 4)] OK 0sec 252moves 40pushes 1721 [15*14(14)] OK 1sec 194moves 33pushes 1722 [11* 7( 8)] OK 0sec 194moves 46pushes 1723 [ 9* 9( 6)] OK 1sec 105moves 22pushes 1724 [14* 9(11)] OK 1sec 401moves 94pushes 1725 [ 9* 7( 8)] OK 0sec 87moves 23pushes 1726 [ 8*12( 6)] OK 0sec 87moves 16pushes 1727 [10* 9(11)] OK 1sec 172moves 21pushes 1728 [13*13(32)] X 195sec 1729 [ 9* 9(13)] OK 0sec 40moves 4pushes 1730 [15*13(15)] OK 1sec 774moves 137pushes 1731 [17* 9( 7)] OK 1sec 269moves 46pushes 1732 [10* 8( 6)] OK 0sec 91moves 29pushes 1733 [11*10( 7)] OK 0sec 490moves 97pushes 1734 [12* 8( 7)] OK 1sec 99moves 26pushes 1735 [ 9* 8( 7)] OK 0sec 79moves 23pushes 1736 [ 9*11(12)] OK 0sec 188moves 62pushes 1737 [ 9* 9( 8)] OK 0sec 162moves 34pushes 1738 [ 8* 8( 5)] OK 0sec 93moves 14pushes 1739 [ 9* 9( 6)] OK 0sec 143moves 19pushes 1740 [19*16(39)] OK 4sec 1490moves 518pushes 1741 [ 9* 9(13)] OK 0sec 45moves 6pushes 1742 [11*11( 9)] OK 2sec 130moves 27pushes 1743 [ 8* 7( 5)] OK 0sec 47moves 11pushes 1744 [ 9* 9( 7)] OK 0sec 106moves 10pushes 1745 [10* 8( 7)] OK 0sec 81moves 18pushes 1746 [11*10( 6)] OK 0sec 101moves 13pushes 1747 [ 8* 7( 6)] OK 0sec 79moves 25pushes 1748 [ 8*10( 7)] OK 0sec 147moves 39pushes 1749 [10* 9(10)] OK 0sec 141moves 33pushes 1750 [ 7* 9( 7)] OK 0sec 85moves 20pushes 1751 [14* 7( 8)] OK 0sec 165moves 53pushes 1752 [11*11(25)] OK 1sec 127moves 14pushes 1753 [ 8* 8( 6)] OK 0sec 95moves 28pushes 1754 [11*10( 9)] OK 0sec 292moves 99pushes 1755 [ 7*11( 7)] OK 0sec 71moves 25pushes 1756 [ 7* 7( 3)] OK 0sec 32moves 9pushes 1757 [ 8* 8( 4)] OK 0sec 41moves 14pushes 1758 [11* 8( 6)] OK 0sec 85moves 30pushes 1759 [ 9* 9( 6)] OK 1sec 85moves 22pushes 1760 [ 9*10( 6)] OK 0sec 128moves 15pushes 1761 [11*13(14)] OK 0sec 219moves 58pushes 1762 [12*12(12)] OK 2sec 136moves 41pushes 1763 [11*11(25)] OK 2sec 187moves 36pushes 1764 [11*11( 9)] OK 0sec 159moves 34pushes 1765 [ 9* 9(10)] OK 0sec 220moves 48pushes 1766 [ 9* 9(12)] OK 0sec 55moves 26pushes 1767 [13* 8(10)] OK 0sec 212moves 58pushes 1768 [ 7* 9( 6)] OK 0sec 115moves 21pushes 1769 [15* 8(13)] OK 0sec 261moves 52pushes 1770 [12*10(12)] OK 1sec 234moves 45pushes 1771 [14* 9(14)] OK 0sec 257moves 44pushes 1772 [ 8* 8( 3)] OK 0sec 56moves 12pushes 1773 [13* 7( 6)] OK 0sec 127moves 32pushes 1774 [13*15(41)] OK 109sec 541moves 104pushes 1775 [16*11(25)] OK 1sec 662moves 164pushes 1776 [14* 8(11)] OK 1sec 337moves 111pushes 1777 [14* 9(10)] OK 1sec 209moves 52pushes 1778 [12* 7(10)] OK 1sec 126moves 25pushes 1779 [12* 7( 7)] OK 0sec 347moves 86pushes 1780 [11*12(15)] OK 0sec 681moves 170pushes 1781 [14*10(12)] OK 0sec 243moves 104pushes 1782 [ 8* 7( 5)] OK 0sec 50moves 16pushes 1783 [13* 7(11)] OK 0sec 216moves 32pushes 1784 [10* 9(11)] OK 0sec 120moves 24pushes 1785 [13*11(21)] OK 0sec 146moves 45pushes 1786 [11* 8( 8)] OK 0sec 216moves 30pushes 1787 [ 9* 9(13)] OK 1sec 466moves 82pushes 1788 [ 9* 9(12)] OK 0sec 373moves 77pushes 1789 [12*10(16)] OK 0sec 278moves 72pushes 1790 [ 9* 8( 8)] OK 0sec 157moves 42pushes 1791 [13* 9(16)] OK 0sec 340moves 78pushes 1792 [17*17(40)] OK 18sec 685moves 180pushes 1793 [13*13(12)] OK 1sec 289moves 42pushes 1794 [11* 9(14)] OK 1sec 415moves 95pushes 1795 [15*10(12)] OK 1sec 281moves 69pushes 1796 [ 9*10( 9)] OK 0sec 152moves 55pushes 1797 [11*10(13)] OK 0sec 295moves 67pushes 1798 [13* 8( 8)] OK 0sec 291moves 88pushes 1799 [16* 9(15)] OK 1sec 245moves 84pushes 1800 [13* 9(12)] OK 0sec 353moves 64pushes 1801 [11* 8( 5)] OK 0sec 54moves 14pushes 1802 [11*11(11)] OK 4sec 273moves 50pushes 1803 [12* 8( 9)] OK 0sec 190moves 62pushes 1804 [13*15(17)] X 130sec 1805 [11*11(12)] OK 11sec 262moves 34pushes 1806 [10*10(12)] OK 3sec 216moves 52pushes 1807 [ 9*10( 9)] OK 0sec 116moves 37pushes 1808 [15* 7( 8)] OK 0sec 235moves 52pushes 1809 [13* 7( 6)] OK 1sec 201moves 70pushes 1810 [13* 7( 6)] OK 0sec 137moves 38pushes 1811 [ 8* 9( 7)] OK 0sec 86moves 16pushes 1812 [15* 9(14)] OK 1sec 541moves 124pushes 1813 [10* 9( 7)] OK 1sec 244moves 45pushes 1814 [16* 9(14)] OK 3sec 432moves 116pushes 1815 [ 9* 7(10)] OK 0sec 76moves 20pushes 1816 [19*10(24)] X 172sec 1817 [15*10( 8)] OK 1sec 266moves 30pushes 1818 [13*13(32)] OK 5sec 788moves 140pushes 1819 [11* 7( 6)] OK 0sec 94moves 18pushes 1820 [ 8* 9( 5)] OK 0sec 55moves 9pushes 1821 [12*12(14)] OK 1sec 357moves 46pushes 1822 [13*13(13)] OK 1sec 287moves 46pushes 1823 [11*10(11)] OK 0sec 449moves 63pushes 1824 [14* 9(10)] OK 0sec 179moves 58pushes 1825 [13* 9(14)] OK 0sec 372moves 78pushes 1826 [10* 8( 9)] OK 0sec 201moves 53pushes 1827 [10*10(10)] OK 0sec 197moves 55pushes 1828 [15* 9(13)] OK 1sec 231moves 48pushes 1829 [13*15(43)] X 600sec 1830 [13*10(20)] OK 2sec 729moves 126pushes 1831 [11*10(12)] OK 2sec 459moves 93pushes 1832 [10*11(11)] OK 0sec 231moves 70pushes 1833 [16*12( 9)] OK 0sec 931moves 224pushes 1834 [13*11(14)] OK 0sec 791moves 122pushes 1835 [13*11(10)] OK 0sec 544moves 58pushes 1836 [11*15(12)] OK 2sec 492moves 122pushes 1837 [11*15(12)] OK 1sec 380moves 122pushes 1838 [ 9*11(12)] OK 1sec 163moves 36pushes 1839 [10* 8( 6)] OK 0sec 118moves 20pushes 1840 [13*13(32)] OK 4sec 387moves 114pushes 1841 [13*13(27)] X 290sec 1842 [18* 7(13)] OK 0sec 426moves 215pushes 1843 [15*12(13)] OK 3sec 1114moves 197pushes 1844 [ 9*10( 6)] OK 0sec 46moves 15pushes 1845 [ 8*10( 5)] OK 0sec 58moves 14pushes 1846 [ 8*10( 6)] OK 0sec 51moves 16pushes 1847 [ 8*10( 6)] OK 0sec 66moves 17pushes 1848 [ 8* 9( 4)] OK 0sec 36moves 12pushes 1849 [ 9* 9( 5)] OK 0sec 74moves 21pushes 1850 [17*17(35)] X 600sec 1851 [19*16(30)] OK 2sec 2600moves 742pushes 1852 [ 7* 7( 5)] OK 1sec 40moves 8pushes 1853 [17*11(16)] OK 68sec 762moves 126pushes 1854 [13*12(11)] OK 1sec 461moves 78pushes 1855 [10* 7( 9)] OK 0sec 221moves 53pushes 1856 [17*11(18)] OK 5sec 458moves 74pushes 1857 [15* 9(13)] OK 16sec 420moves 114pushes 1858 [13*13(17)] OK 1sec 332moves 72pushes 1859 [15*15(23)] X 255sec 1860 [10*15(18)] OK 126sec 1460moves 347pushes 1861 [10* 9( 8)] OK 0sec 146moves 33pushes 1862 [13*10( 8)] OK 1sec 277moves 43pushes 1863 [ 9* 9(13)] OK 0sec 142moves 16pushes 1864 [ 7*11(11)] OK 0sec 459moves 84pushes 1865 [11* 7(12)] OK 0sec 208moves 42pushes 1866 [11*11(25)] OK 0sec 390moves 46pushes 1867 [15* 9( 9)] OK 0sec 154moves 35pushes 1868 [19* 9(12)] OK 0sec 200moves 42pushes 1869 [ 9*12( 9)] OK 0sec 168moves 60pushes 1870 [19*16(61)] X 600sec 1871 [19*16(62)] X 600sec 1872 [19*16(63)] X 600sec 1873 [17*15(71)] X 600sec 1874 [19*16(41)] OK 2sec 1907moves 890pushes 1875 [19*16( 8)] OK 0sec 2006moves 126pushes 1876 [19*10(20)] X 272sec 1877 [13*13(25)] OK 1sec 509moves 159pushes 1878 [17*17(27)] OK 15sec 1150moves 337pushes 1879 [13* 9(26)] Ok 89sec 258moves 54pushes 1880 [13*13(43)] Ok 446sec 886moves 188pushes 1881 [19*16(61)] X 600sec 1882 [19*16(64)] X 600sec 1883 [19*16(62)] X 600sec 1884 [19*16(61)] X 600sec 1885 [19*16(59)] X 600sec 1886 [19*16(48)] OK 169sec 2327moves 457pushes 1887 [11*16(21)] OK 1sec 109moves 25pushes 1888 [13*13(37)] X 600sec 1889 [11*11(30)] Ok 3sec 140moves 22pushes 1890 [14*14(55)] X 600sec 1891 [17* 9(37)] X 600sec 1892 [13*13(44)] X 600sec 1893 [17*15(65)] - 1894 [17*13(49)] X 600sec 1895 [17*15(65)] - 1896 [17*13(49)] X 600sec 1897 [19*16(14)] OK 0sec 966moves 220pushes 1898 [13*17(48)] X 600sec 1899 [17*17(84)] - 1900 [17*17(73)] - 1901 [17*17(66)] - 1902 [17*17(87)] - 1903 [17*17(75)] - 1904 [19*16(62)] X 600sec 1905 [19*16(63)] X 600sec 1906 [19*16(66)] - 1907 [17*12(12)] OK 12sec 600moves 118pushes 1908 [19*16(42)] X 600sec 1909 [19*13(22)] OK 0sec 645moves 216pushes 1910 [19*16(64)] X 600sec 1911 [15*15(65)] - 1912 [15*15(66)] - 1913 [18*18(36)] OK 2sec 1579moves 589pushes 1914 [18*17(37)] X 600sec 1915 [14*12( 9)] OK 27sec 490moves 89pushes 1916 [17*15(13)] OK 3sec 505moves 82pushes 1917 [18*13(12)] OK 1sec 930moves 145pushes 1918 [12*16(23)] OK 9sec 833moves 247pushes 1919 [19*16(57)] X 600sec 1920 [19*15(25)] OK 12sec 1311moves 391pushes 1921 [13*12(17)] OK 0sec 515moves 138pushes 1922 [13*12(17)] OK 1sec 443moves 146pushes 1923 [19* 7(17)] OK 1sec 900moves 121pushes 1924 [19* 7(17)] OK 1sec 629moves 126pushes 1925 [13* 9(21)] OK 4sec 129moves 30pushes 1926 [11*11(21)] OK 5sec 298moves 36pushes 1927 [11*11(21)] OK 1sec 590moves 66pushes 1928 [11*11(21)] OK 0sec 79moves 24pushes 1929 [13*13(32)] X 367sec 1930 [19*16(17)] OK 2sec 457moves 87pushes 1931 [13*13(34)] Ok 234sec 840moves 156pushes 1932 [ 9*10(13)] OK 0sec 178moves 58pushes 1933 [ 9* 9( 4)] OK 0sec 55moves 10pushes 1934 [ 8* 8( 4)] OK 0sec 55moves 14pushes 1935 [ 8* 8( 4)] OK 0sec 51moves 12pushes 1936 [ 8* 8( 4)] OK 0sec 43moves 12pushes 1937 [11*10( 6)] OK 0sec 142moves 26pushes 1938 [15*12( 8)] OK 1sec 402moves 70pushes 1939 [13*11( 8)] OK 1sec 214moves 22pushes 1940 [11*11(24)] OK 1sec 357moves 100pushes 1941 [13*13(32)] OK 1sec 270moves 28pushes 1942 [11* 7(14)] OK 0sec 187moves 48pushes 1943 [11* 9(15)] OK 0sec 207moves 37pushes 1944 [ 8* 8( 4)] OK 0sec 37moves 14pushes 1945 [ 8* 8( 4)] OK 1sec 25moves 8pushes 1946 [ 8* 8( 4)] OK 0sec 37moves 12pushes 1947 [ 8* 8( 4)] OK 0sec 45moves 12pushes 1948 [ 8* 8( 4)] OK 1sec 57moves 18pushes 1949 [14*12(16)] OK 0sec 572moves 183pushes 1950 [15*15(30)] X 600sec 1951 [11*10( 8)] OK 0sec 97moves 27pushes 1952 [10*10(16)] OK 0sec 257moves 50pushes 1953 [19*11(49)] X 600sec 1954 [19*16(63)] X 458sec 1955 [19*16(19)] X 600sec 1956 [19*16(28)] X 160sec 1957 [19*16(29)] X 353sec 1958 [13*10(14)] OK 0sec 125moves 18pushes 1959 [11*10(14)] OK 1sec 77moves 14pushes 1960 [13*10(14)] OK 3sec 178moves 28pushes 1961 [19*16(57)] X 600sec 1962 [19*16(41)] X 600sec 1963 [11* 8(14)] OK 1sec 238moves 54pushes 1964 [16*16(56)] OK 46sec 1223moves 334pushes 1965 [13*13(13)] OK 1sec 614moves 124pushes 1966 [11*13(14)] OK 0sec 222moves 42pushes 1967 [15*15(29)] X 360sec 1968 [11*13(13)] OK 0sec 330moves 77pushes 1969 [11*11(13)] OK 3sec 744moves 145pushes 1970 [11* 9(15)] OK 0sec 279moves 65pushes 1971 [13*13(20)] X 110sec 1972 [15*15( 8)] OK 1sec 510moves 46pushes 1973 [11*15(13)] OK 0sec 1076moves 222pushes 1974 [11*14(15)] OK 1sec 258moves 57pushes 1975 [19*14(18)] OK 1sec 327moves 109pushes 1976 [19*16(49)] OK 14sec 1831moves 639pushes 1977 [18*15(27)] X 584sec 1978 [16*16(51)] X 600sec 1979 [ 9* 9(13)] OK 0sec 69moves 25pushes 1980 [19*16(29)] X 600sec 1981 [13* 9(23)] OK 3sec 395moves 126pushes 1982 [13*13(41)] OK 64sec 715moves 174pushes 1983 [ 7* 7( 6)] OK 0sec 48moves 8pushes 1984 [13*13(41)] OK 9sec 1492moves 430pushes 1985 [19*16(12)] OK 54sec 653moves 147pushes 1986 [18*16(26)] X 600sec 1987 [13*13(41)] OK 25sec 761moves 204pushes 1988 [19*16(35)] X 488sec 1989 [13* 6(13)] OK 0sec 103moves 13pushes 1990 [15* 6(16)] OK 0sec 106moves 14pushes 1991 [14*11(32)] OK 4sec 425moves 48pushes 1992 [12*11(28)] Ok 94sec 279moves 30pushes 1993 [12*11(30)] OK 6sec 111moves 21pushes 1994 [12*11(29)] OK 6sec 648moves 65pushes 1995 [11*11(27)] OK 3sec 304moves 48pushes 1996 [11*11(28)] OK 1sec 163moves 37pushes 1997 [19*16(16)] OK 1sec 2314moves 691pushes 1998 [11*11(28)] OK 8sec 227moves 47pushes 1999 [14*11(31)] OK 1sec 580moves 84pushes 2000 [17*11(34)] OK 1sec 628moves 74pushes 2001 [17*11(32)] OK 10sec 447moves 62pushes 2002 [ 8* 9( 3)] OK 0sec 110moves 30pushes 2003 [ 7* 9( 3)] OK 0sec 60moves 17pushes 2004 [ 7* 9( 4)] OK 0sec 126moves 35pushes 2005 [10* 9( 5)] OK 0sec 113moves 24pushes 2006 [10*10( 7)] OK 0sec 209moves 58pushes 2007 [10*11( 9)] OK 0sec 337moves 99pushes 2008 [15*15( 8)] OK 1sec 300moves 18pushes 2009 [10*12(11)] OK 1sec 465moves 141pushes 2010 [13*11( 5)] OK 0sec 120moves 20pushes 2011 [11* 9( 5)] OK 0sec 116moves 17pushes 2012 [11* 9( 5)] OK 1sec 86moves 13pushes 2013 [ 9*12(16)] OK 0sec 161moves 24pushes 2014 [ 9*12(16)] OK 1sec 254moves 36pushes 2015 [13*13(24)] Ok 66sec 696moves 124pushes 2016 [13*13(24)] X 600sec 2017 [13*13(24)] OK 1sec 212moves 38pushes 2018 [12* 9(12)] OK 0sec 286moves 82pushes 2019 [15*15( 6)] OK 1sec 704moves 91pushes 2020 [ 9* 9(15)] OK 0sec 90moves 18pushes 2021 [10* 9(17)] OK 1sec 244moves 35pushes 2022 [11* 9(19)] OK 1sec 83moves 22pushes 2023 [11*11(24)] OK 5sec 225moves 38pushes 2024 [11*11(24)] OK 0sec 234moves 42pushes 2025 [13* 8(17)] OK 0sec 232moves 55pushes 2026 [13* 8(18)] OK 0sec 83moves 25pushes 2027 [13* 8(17)] OK 0sec 152moves 33pushes 2028 [11*10(18)] OK 1sec 125moves 21pushes 2029 [11*10(18)] OK 1sec 140moves 18pushes 2030 [19*16(36)] OK 2sec 1152moves 402pushes 2031 [17*13(48)] OK 214sec 2626moves 286pushes 2032 [17*13(48)] OK 61sec 693moves 97pushes 2033 [17* 9(25)] OK 0sec 187moves 36pushes 2034 [17*17(51)] X 600sec 2035 [15* 8(17)] OK 0sec 106moves 16pushes 2036 [15*15(35)] OK 7sec 991moves 154pushes 2037 [13* 7( 9)] OK 0sec 39moves 10pushes 2038 [13*13(19)] OK 7sec 363moves 48pushes 2039 [ 9* 9(10)] OK 0sec 122moves 34pushes 2040 [ 9* 9( 9)] OK 0sec 170moves 32pushes 2041 [13*12( 6)] OK 0sec 188moves 21pushes 2042 [ 9* 7( 5)] OK 1sec 60moves 14pushes 2043 [ 9* 7( 5)] OK 0sec 58moves 14pushes 2044 [ 9*15( 8)] OK 0sec 105moves 32pushes 2045 [ 9*12( 7)] OK 0sec 188moves 25pushes 2046 [ 9*13( 8)] OK 1sec 129moves 24pushes 2047 [ 7* 9( 4)] OK 0sec 52moves 14pushes 2048 [ 9* 8(12)] OK 0sec 114moves 23pushes 2049 [ 9* 9(15)] OK 0sec 215moves 38pushes 2050 [ 9* 8( 8)] OK 1sec 168moves 44pushes 2051 [ 9* 8(11)] OK 0sec 81moves 25pushes 2052 [12*12(13)] OK 1sec 343moves 52pushes 2053 [ 9* 9(18)] OK 0sec 51moves 20pushes 2054 [ 9* 9(18)] OK 0sec 51moves 20pushes 2055 [ 9* 9(14)] OK 0sec 70moves 21pushes 2056 [ 9* 9(14)] OK 0sec 299moves 55pushes 2057 [ 9* 9(12)] OK 0sec 71moves 17pushes 2058 [11*11( 7)] OK 1sec 152moves 40pushes 2059 [11*11( 7)] OK 0sec 86moves 44pushes 2060 [11*11( 7)] OK 0sec 131moves 50pushes 2061 [11*11( 7)] OK 0sec 200moves 58pushes 2062 [ 9* 9( 5)] OK 0sec 131moves 32pushes 2063 [19*16( 8)] OK 1sec 918moves 198pushes 2064 [ 9* 9( 5)] OK 0sec 131moves 32pushes 2065 [ 9* 9( 5)] OK 0sec 111moves 29pushes 2066 [ 9* 9( 5)] OK 0sec 111moves 29pushes 2067 [ 9* 8( 5)] OK 1sec 125moves 30pushes 2068 [11*10( 5)] OK 0sec 201moves 35pushes 2069 [11*10( 5)] OK 0sec 201moves 35pushes 2070 [11*10( 5)] OK 0sec 147moves 38pushes 2071 [11*11( 5)] OK 0sec 160moves 42pushes 2072 [11*10( 5)] OK 1sec 195moves 41pushes 2073 [ 9*10( 5)] OK 0sec 91moves 27pushes 2074 [17*16(16)] OK 0sec 234moves 52pushes 2075 [ 9*10( 5)] OK 0sec 135moves 31pushes 2076 [ 9*10( 5)] OK 0sec 98moves 36pushes 2077 [ 9*10( 5)] OK 0sec 98moves 28pushes 2078 [ 9*10( 5)] OK 0sec 87moves 30pushes 2079 [ 9*10( 7)] OK 1sec 91moves 34pushes 2080 [ 9* 9( 8)] OK 0sec 79moves 24pushes 2081 [10*11(10)] OK 0sec 203moves 26pushes 2082 [10*11(10)] OK 0sec 157moves 27pushes 2083 [ 9* 9(12)] OK 1sec 216moves 44pushes 2084 [ 9* 9(12)] OK 0sec 248moves 39pushes 2085 [19*16(12)] OK 3sec 1108moves 153pushes 2086 [ 9* 9(12)] OK 0sec 232moves 32pushes 2087 [ 9* 9(12)] OK 0sec 236moves 32pushes 2088 [ 9* 9(12)] OK 0sec 232moves 31pushes 2089 [ 9* 9(12)] OK 1sec 216moves 31pushes 2090 [ 9* 9(12)] OK 1sec 152moves 28pushes 2091 [ 9* 9(12)] OK 0sec 71moves 23pushes 2092 [ 9* 9(12)] OK 0sec 183moves 29pushes 2093 [13*11(17)] OK 0sec 109moves 28pushes 2094 [13*11(16)] OK 1sec 194moves 51pushes 2095 [13*11(17)] OK 1sec 192moves 38pushes 2096 [19*16(24)] OK 2sec 563moves 118pushes 2097 [19*16( 8)] OK 0sec 884moves 54pushes 2098 [13*11(17)] OK 0sec 189moves 40pushes 2099 [ 8* 8( 8)] OK 0sec 127moves 32pushes 2100 [ 8* 8( 9)] OK 0sec 165moves 37pushes 2101 [ 8* 8( 9)] OK 1sec 183moves 39pushes 2102 [ 8* 8( 9)] OK 0sec 181moves 39pushes 2103 [ 8* 8(10)] OK 0sec 61moves 20pushes 2104 [ 8* 8(10)] OK 0sec 61moves 17pushes 2105 [ 8* 8(11)] OK 0sec 27moves 10pushes 2106 [ 8* 8(10)] OK 0sec 67moves 17pushes 2107 [ 8* 8(10)] OK 0sec 39moves 15pushes 2108 [11* 9(12)] OK 1sec 132moves 15pushes 2109 [ 8* 8(10)] OK 0sec 66moves 17pushes 2110 [ 8* 8(10)] OK 0sec 59moves 17pushes 2111 [ 8* 8(10)] OK 0sec 35moves 15pushes 2112 [ 8* 8(10)] OK 0sec 69moves 20pushes 2113 [ 8* 8(10)] OK 0sec 74moves 23pushes 2114 [ 8* 8(10)] OK 0sec 74moves 23pushes 2115 [ 8* 8(10)] OK 1sec 76moves 21pushes 2116 [ 8* 8(10)] OK 0sec 86moves 25pushes 2117 [ 8* 8(10)] OK 0sec 67moves 19pushes 2118 [ 8* 8(10)] OK 0sec 44moves 15pushes 2119 [19*16(90)] - 2120 [ 8* 8(10)] OK 0sec 64moves 16pushes 2121 [ 8* 8(10)] OK 0sec 50moves 16pushes 2122 [ 8* 8(10)] OK 0sec 43moves 13pushes 2123 [ 8* 8(10)] OK 1sec 71moves 20pushes 2124 [ 8* 8(10)] OK 0sec 80moves 19pushes 2125 [ 8* 8(10)] OK 0sec 66moves 19pushes 2126 [ 8* 8(10)] OK 1sec 43moves 14pushes 2127 [ 8* 8(10)] OK 0sec 45moves 14pushes 2128 [ 7* 8( 6)] OK 0sec 30moves 9pushes 2129 [ 7* 8( 6)] OK 0sec 42moves 9pushes 2130 [19*16(20)] OK 2sec 660moves 238pushes 2131 [ 7* 7( 4)] OK 0sec 43moves 10pushes 2132 [13* 7( 9)] OK 0sec 180moves 36pushes 2133 [13* 7(10)] OK 0sec 180moves 46pushes 2134 [13* 7(10)] OK 1sec 216moves 50pushes 2135 [13* 7(10)] OK 0sec 214moves 48pushes 2136 [13* 7( 9)] OK 0sec 178moves 48pushes 2137 [ 9* 9( 8)] OK 0sec 121moves 20pushes 2138 [ 9* 9( 8)] OK 1sec 150moves 28pushes 2139 [ 9* 9( 8)] OK 0sec 180moves 42pushes 2140 [ 9* 9( 8)] OK 0sec 138moves 28pushes 2141 [ 9* 9( 4)] OK 0sec 55moves 10pushes 2142 [ 9* 9( 8)] OK 1sec 216moves 38pushes 2143 [13* 7(15)] OK 1sec 273moves 66pushes 2144 [13* 7(15)] OK 1sec 313moves 76pushes 2145 [13* 7(15)] OK 1sec 267moves 60pushes 2146 [13* 7(15)] OK 1sec 287moves 70pushes 2147 [13* 7(15)] OK 0sec 277moves 67pushes 2148 [13* 7(15)] OK 0sec 227moves 47pushes 2149 [13* 7(14)] OK 0sec 167moves 28pushes 2150 [11*11( 4)] OK 1sec 89moves 30pushes 2151 [11*11( 4)] OK 0sec 89moves 30pushes 2152 [19*16( 8)] OK 0sec 1537moves 442pushes 2153 [11*11( 6)] OK 0sec 110moves 33pushes 2154 [ 9* 7( 9)] OK 1sec 95moves 27pushes 2155 [ 9* 7( 9)] OK 0sec 88moves 27pushes 2156 [ 9* 7( 9)] OK 0sec 75moves 27pushes 2157 [ 9* 7( 8)] OK 0sec 44moves 10pushes 2158 [ 9* 7( 9)] OK 0sec 51moves 9pushes 2159 [13* 7( 9)] OK 0sec 180moves 55pushes 2160 [13* 7( 9)] OK 0sec 65moves 25pushes 2161 [ 9* 9(11)] OK 1sec 152moves 31pushes 2162 [ 9* 9(11)] OK 0sec 158moves 35pushes 2163 [19*16(41)] OK 2sec 961moves 208pushes 2164 [ 9* 9(11)] OK 0sec 69moves 20pushes 2165 [10*10(12)] OK 0sec 51moves 17pushes 2166 [10*10(11)] OK 0sec 90moves 23pushes 2167 [10*10(11)] OK 0sec 98moves 23pushes 2168 [10*10(12)] OK 0sec 197moves 35pushes 2169 [10*10(12)] OK 0sec 202moves 35pushes 2170 [10*10(11)] OK 1sec 249moves 37pushes 2171 [10*10(11)] OK 1sec 220moves 37pushes 2172 [10*10(18)] OK 1sec 165moves 30pushes 2173 [10*10(18)] OK 1sec 195moves 28pushes 2174 [19*17(17)] OK 1sec 3261moves 494pushes 2175 [10*10(17)] OK 1sec 82moves 20pushes 2176 [10* 9(16)] OK 1sec 1048moves 220pushes 2177 [10* 9(16)] OK 1sec 491moves 102pushes 2178 [10* 9(18)] OK 0sec 94moves 31pushes 2179 [10* 9(18)] OK 0sec 94moves 31pushes 2180 [10* 9(18)] OK 0sec 102moves 29pushes 2181 [10* 9(18)] OK 1sec 60moves 18pushes 2182 [10* 9(18)] OK 0sec 61moves 22pushes 2183 [10* 9(18)] OK 0sec 76moves 21pushes 2184 [10* 9(18)] OK 0sec 70moves 21pushes 2185 [11*11(30)] OK 2sec 317moves 84pushes 2186 [10* 9(16)] OK 1sec 75moves 23pushes 2187 [10* 9(16)] OK 1sec 168moves 26pushes 2188 [10* 9(16)] OK 0sec 171moves 26pushes 2189 [10* 9(16)] OK 1sec 161moves 26pushes 2190 [10* 9(16)] OK 1sec 171moves 26pushes 2191 [11* 7( 8)] OK 0sec 109moves 30pushes 2192 [11* 7( 8)] OK 0sec 119moves 32pushes 2193 [11* 7( 8)] OK 0sec 98moves 28pushes 2194 [11* 7( 8)] OK 1sec 97moves 26pushes 2195 [11* 7( 9)] OK 0sec 104moves 22pushes 2196 [19*16(34)] OK 1sec 809moves 317pushes 2197 [11* 7( 8)] OK 0sec 101moves 18pushes 2198 [11*11(14)] OK 1sec 109moves 35pushes 2199 [11*11(13)] OK 0sec 87moves 37pushes 2200 [11*11(13)] OK 0sec 162moves 37pushes 2201 [11*11(13)] OK 0sec 153moves 37pushes 2202 [11*11(14)] OK 0sec 194moves 36pushes 2203 [11*11(14)] OK 1sec 185moves 38pushes 2204 [11*11(14)] OK 1sec 179moves 38pushes 2205 [11*11( 9)] OK 1sec 235moves 52pushes 2206 [11*11( 9)] OK 0sec 87moves 29pushes 2207 [19*16(15)] OK 3sec 547moves 103pushes 2208 [11*12(21)] OK 2sec 240moves 45pushes 2209 [11* 7( 7)] OK 0sec 87moves 32pushes 2210 [11* 7( 7)] OK 1sec 73moves 27pushes 2211 [11* 7( 7)] OK 0sec 103moves 38pushes 2212 [11* 7( 8)] OK 0sec 87moves 32pushes 2213 [11* 7( 9)] OK 0sec 81moves 31pushes 2214 [ 9* 9(10)] OK 0sec 132moves 47pushes 2215 [ 9* 9(10)] OK 0sec 154moves 47pushes 2216 [ 9*12( 9)] OK 0sec 236moves 68pushes 2217 [13* 6(10)] OK 1sec 159moves 49pushes 2218 [13* 6(11)] OK 0sec 158moves 53pushes 2219 [13*11( 4)] OK 0sec 69moves 7pushes 2220 [11* 6( 8)] OK 0sec 74moves 26pushes 2221 [13* 6(11)] OK 1sec 129moves 36pushes 2222 [13* 6(12)] OK 0sec 310moves 64pushes 2223 [13* 6(12)] OK 0sec 217moves 66pushes 2224 [13* 6(12)] OK 0sec 270moves 66pushes 2225 [13* 6(12)] OK 0sec 198moves 65pushes 2226 [13* 6(12)] OK 1sec 403moves 115pushes 2227 [13* 6(12)] OK 0sec 76moves 30pushes 2228 [13* 6(12)] OK 0sec 96moves 29pushes 2229 [13* 6(12)] OK 0sec 189moves 58pushes 2230 [12*12(16)] OK 1sec 325moves 98pushes 2231 [13* 6(12)] OK 1sec 240moves 78pushes 2232 [13* 6(12)] OK 2sec 267moves 88pushes 2233 [13* 6(11)] OK 1sec 261moves 68pushes 2234 [13* 6(11)] OK 0sec 166moves 62pushes 2235 [11* 9(18)] OK 0sec 167moves 28pushes 2236 [13* 6(11)] OK 0sec 161moves 44pushes 2237 [11* 6( 9)] OK 0sec 289moves 70pushes 2238 [11* 6( 9)] OK 0sec 259moves 63pushes 2239 [11* 6( 9)] OK 0sec 165moves 43pushes 2240 [11* 6( 9)] OK 0sec 123moves 41pushes 2241 [12* 9(14)] OK 2sec 163moves 44pushes 2242 [11* 6( 9)] OK 0sec 225moves 61pushes 2243 [11* 6( 9)] OK 0sec 205moves 55pushes 2244 [11* 6( 9)] OK 0sec 207moves 49pushes 2245 [11* 6( 9)] OK 0sec 141moves 42pushes 2246 [ 9* 6( 6)] OK 0sec 137moves 45pushes 2247 [ 9* 6( 6)] OK 0sec 105moves 32pushes 2248 [ 9* 6( 6)] OK 0sec 97moves 31pushes 2249 [ 9* 7( 9)] OK 0sec 197moves 50pushes 2250 [ 9* 7( 9)] OK 0sec 212moves 54pushes 2251 [ 9* 7(10)] OK 1sec 123moves 36pushes 2252 [12* 9(14)] OK 1sec 188moves 48pushes 2253 [15* 7( 8)] OK 0sec 223moves 71pushes 2254 [10*11( 7)] OK 0sec 161moves 32pushes 2255 [13* 7(15)] OK 0sec 209moves 48pushes 2256 [13* 7( 8)] OK 1sec 211moves 40pushes 2257 [13* 7( 8)] OK 1sec 241moves 46pushes 2258 [13* 7( 8)] OK 0sec 203moves 30pushes 2259 [13* 7( 8)] OK 0sec 185moves 36pushes 2260 [12* 7( 8)] OK 0sec 161moves 27pushes 2261 [12* 7( 8)] OK 1sec 207moves 26pushes 2262 [12* 7( 8)] OK 0sec 182moves 30pushes 2263 [14*14(28)] OK 21sec 368moves 134pushes 2264 [12* 7( 8)] OK 0sec 151moves 27pushes 2265 [12* 7( 8)] OK 1sec 168moves 34pushes 2266 [11* 7( 6)] OK 0sec 165moves 30pushes 2267 [11* 7( 6)] OK 0sec 173moves 30pushes 2268 [11* 7( 6)] OK 0sec 118moves 16pushes 2269 [11* 7( 7)] OK 1sec 97moves 17pushes 2270 [11* 7( 7)] OK 1sec 138moves 30pushes 2271 [11* 7( 7)] OK 0sec 148moves 30pushes 2272 [11* 7( 7)] OK 0sec 99moves 20pushes 2273 [19* 7(20)] OK 1sec 337moves 76pushes 2274 [13*13(31)] Ok 154sec 92moves 24pushes 2275 [11*15(38)] Ok 231sec 241moves 84pushes 2276 [19* 7(22)] OK 1sec 370moves 72pushes 2277 [19* 7(16)] OK 1sec 304moves 78pushes 2278 [17* 7(16)] OK 0sec 271moves 75pushes 2279 [19* 7(21)] OK 0sec 301moves 64pushes 2280 [13* 7( 9)] OK 0sec 164moves 34pushes 2281 [17* 7(18)] OK 0sec 295moves 72pushes 2282 [20* 7(22)] OK 1sec 420moves 132pushes 2283 [16* 7(16)] OK 0sec 351moves 112pushes 2284 [13* 7( 6)] OK 0sec 171moves 46pushes 2285 [13*13(31)] OK 1sec 399moves 36pushes 2286 [ 9* 9(11)] OK 0sec 164moves 26pushes 2287 [ 9* 8(10)] OK 0sec 116moves 24pushes 2288 [ 9* 7( 8)] OK 0sec 79moves 18pushes 2289 [ 8* 7( 7)] OK 0sec 45moves 10pushes 2290 [ 9* 8(11)] OK 0sec 62moves 14pushes 2291 [ 9* 7( 9)] OK 0sec 70moves 12pushes 2292 [13* 7( 8)] OK 0sec 257moves 62pushes 2293 [11* 7( 8)] OK 0sec 201moves 58pushes 2294 [11* 7( 8)] OK 0sec 207moves 56pushes 2295 [11* 7( 8)] OK 0sec 142moves 58pushes 2296 [13*13(31)] OK 6sec 878moves 104pushes 2297 [11* 7( 8)] OK 0sec 140moves 40pushes 2298 [11* 7( 8)] OK 0sec 148moves 42pushes 2299 [ 8* 7( 8)] OK 0sec 99moves 24pushes 2300 [ 8* 7( 8)] OK 0sec 175moves 32pushes 2301 [ 8* 7( 8)] OK 0sec 122moves 24pushes 2302 [ 8* 7( 8)] OK 0sec 111moves 30pushes 2303 [ 8* 7( 8)] OK 0sec 152moves 30pushes 2304 [ 9* 7( 4)] OK 0sec 99moves 26pushes 2305 [ 9* 7( 4)] OK 0sec 100moves 30pushes 2306 [ 9* 7( 4)] OK 0sec 125moves 29pushes 2307 [13*13(29)] OK 3sec 388moves 50pushes 2308 [ 9* 7( 4)] OK 1sec 129moves 25pushes 2309 [13* 7( 8)] OK 0sec 147moves 30pushes 2310 [13* 7( 9)] OK 0sec 153moves 38pushes 2311 [13* 7( 9)] OK 1sec 175moves 32pushes 2312 [13* 7(10)] OK 0sec 167moves 44pushes 2313 [13* 7(10)] OK 0sec 171moves 47pushes 2314 [13* 7( 6)] OK 0sec 122moves 36pushes 2315 [13* 7( 8)] OK 1sec 190moves 44pushes 2316 [13* 7(10)] OK 1sec 216moves 50pushes 2317 [13* 7( 9)] OK 0sec 148moves 40pushes 2318 [19*16(29)] OK 2sec 1389moves 460pushes 2319 [11*13(29)] OK 1sec 276moves 34pushes 2320 [13* 7( 8)] OK 0sec 185moves 46pushes 2321 [13* 7( 8)] OK 0sec 165moves 46pushes 2322 [13* 7( 8)] OK 0sec 106moves 28pushes 2323 [13* 7( 8)] OK 0sec 133moves 28pushes 2324 [13* 7( 9)] OK 0sec 153moves 32pushes 2325 [13* 7( 9)] OK 0sec 139moves 38pushes 2326 [13* 7(10)] OK 1sec 159moves 34pushes 2327 [13* 7(10)] OK 0sec 171moves 33pushes 2328 [11* 8(14)] OK 0sec 191moves 28pushes 2329 [11* 8(14)] OK 0sec 191moves 44pushes 2330 [11*13(27)] Ok 178sec 776moves 162pushes 2331 [11* 8(14)] OK 1sec 148moves 26pushes 2332 [11* 8(14)] OK 0sec 135moves 24pushes 2333 [11* 8(14)] OK 0sec 117moves 14pushes 2334 [11* 6(12)] OK 0sec 99moves 45pushes 2335 [11* 6(11)] OK 0sec 39moves 10pushes 2336 [11* 6(11)] OK 0sec 53moves 14pushes 2337 [10* 7( 9)] OK 0sec 143moves 23pushes 2338 [10* 8(12)] OK 1sec 176moves 20pushes 2339 [10* 8(12)] OK 0sec 186moves 32pushes 2340 [10* 8(12)] OK 0sec 209moves 28pushes 2341 [11*13(27)] Ok 109sec 590moves 110pushes 2342 [10* 6( 7)] OK 0sec 96moves 18pushes 2343 [10* 6( 8)] OK 0sec 108moves 20pushes 2344 [10* 6( 8)] OK 0sec 153moves 26pushes 2345 [10* 6( 7)] OK 0sec 108moves 28pushes 2346 [10* 6( 8)] OK 0sec 53moves 15pushes 2347 [10* 6( 8)] OK 0sec 71moves 22pushes 2348 [10* 6( 8)] OK 0sec 81moves 24pushes 2349 [11* 7(10)] OK 0sec 167moves 45pushes 2350 [11* 7(10)] OK 0sec 135moves 30pushes 2351 [ 9* 7( 7)] OK 1sec 83moves 28pushes 2352 [11*13(27)] Ok 291sec 524moves 104pushes 2353 [ 9* 7( 6)] OK 0sec 91moves 25pushes 2354 [ 9* 7( 6)] OK 0sec 93moves 19pushes 2355 [13* 7(14)] OK 0sec 142moves 32pushes 2356 [13* 7(14)] OK 0sec 108moves 30pushes 2357 [13* 7(14)] OK 0sec 144moves 32pushes 2358 [13* 7(14)] OK 0sec 103moves 30pushes 2359 [13* 7(16)] OK 0sec 185moves 51pushes 2360 [ 6* 9( 5)] OK 1sec 63moves 16pushes 2361 [ 7* 9( 7)] OK 0sec 106moves 24pushes 2362 [ 8* 9( 9)] OK 0sec 141moves 34pushes 2363 [12*12(25)] OK 1sec 508moves 88pushes 2364 [ 9* 9(11)] OK 1sec 425moves 98pushes 2365 [ 6* 9( 6)] OK 0sec 37moves 8pushes 2366 [ 7* 9( 9)] OK 0sec 212moves 32pushes 2367 [ 8* 9(11)] OK 0sec 231moves 36pushes 2368 [ 9* 9(13)] OK 1sec 702moves 126pushes 2369 [ 7*13(15)] OK 2sec 318moves 77pushes 2370 [ 7* 7( 3)] OK 0sec 45moves 11pushes 2371 [ 6* 7( 3)] OK 0sec 28moves 9pushes 2372 [ 9* 8(14)] OK 0sec 93moves 17pushes 2373 [ 9* 8(10)] OK 0sec 151moves 29pushes 2374 [12*12(25)] OK 0sec 319moves 68pushes 2375 [ 9* 6( 4)] OK 0sec 107moves 23pushes 2376 [ 9* 6( 4)] OK 0sec 73moves 17pushes 2377 [ 9* 6( 4)] OK 0sec 72moves 18pushes 2378 [ 9* 7( 5)] OK 1sec 94moves 20pushes 2379 [ 9* 8( 6)] OK 0sec 101moves 25pushes 2380 [ 9* 9( 7)] OK 0sec 156moves 30pushes 2381 [ 9*10( 8)] OK 0sec 167moves 35pushes 2382 [ 9*11( 9)] OK 1sec 198moves 40pushes 2383 [ 9*12(10)] OK 1sec 249moves 45pushes 2384 [ 9* 7( 6)] OK 0sec 116moves 22pushes 2385 [ 9* 9(16)] OK 2sec 209moves 46pushes 2386 [ 9* 8( 8)] OK 0sec 127moves 23pushes 2387 [ 9* 9(10)] OK 0sec 138moves 24pushes 2388 [ 9* 7( 8)] OK 0sec 114moves 15pushes 2389 [ 9* 7( 7)] OK 0sec 93moves 15pushes 2390 [ 9* 8( 8)] OK 0sec 106moves 20pushes 2391 [ 9* 9( 9)] OK 0sec 133moves 19pushes 2392 [ 9*10(10)] OK 0sec 142moves 22pushes 2393 [ 9*11(11)] OK 0sec 323moves 45pushes 2394 [ 9* 7( 7)] OK 0sec 102moves 24pushes 2395 [ 9* 7( 7)] OK 0sec 98moves 18pushes 2396 [ 9* 9(16)] OK 0sec 99moves 28pushes 2397 [ 9* 8( 7)] OK 1sec 173moves 33pushes 2398 [11*13(12)] OK 1sec 335moves 80pushes 2399 [ 9* 9( 8)] OK 1sec 119moves 31pushes 2400 [ 9* 9( 9)] OK 0sec 118moves 19pushes 2401 [ 9* 9( 9)] OK 0sec 119moves 29pushes 2402 [ 9* 9(11)] OK 1sec 77moves 25pushes 2403 [ 9* 9(11)] OK 0sec 105moves 45pushes 2404 [ 9* 8( 6)] OK 0sec 165moves 25pushes 2405 [ 9* 7( 4)] OK 0sec 71moves 20pushes 2406 [ 9* 7( 4)] OK 0sec 141moves 39pushes 2407 [ 9* 9(15)] OK 0sec 107moves 28pushes 2408 [ 9* 9( 8)] OK 0sec 125moves 46pushes 2409 [ 9* 9( 6)] OK 1sec 111moves 28pushes 2410 [ 9* 9( 6)] OK 0sec 107moves 28pushes 2411 [ 9* 7( 5)] OK 0sec 95moves 23pushes 2412 [ 9* 7( 4)] OK 1sec 87moves 17pushes 2413 [ 9* 7( 8)] OK 0sec 92moves 18pushes 2414 [ 9* 7( 8)] OK 0sec 80moves 22pushes 2415 [11*13(12)] X 600sec 2416 [ 9* 7( 6)] OK 0sec 54moves 16pushes 2417 [11*13(14)] X 600sec 2418 [ 9* 9(16)] OK 0sec 123moves 28pushes 2419 [11*13(15)] X 600sec 2420 [11*13(15)] X 600sec 2421 [11*11(14)] OK 0sec 160moves 30pushes 2422 [11*11(14)] OK 0sec 209moves 25pushes 2423 [11*11(14)] OK 0sec 230moves 34pushes 2424 [11*11(14)] OK 0sec 175moves 29pushes 2425 [ 8* 8( 5)] OK 0sec 95moves 22pushes 2426 [ 8* 8( 5)] OK 0sec 89moves 26pushes 2427 [ 8* 8( 5)] OK 0sec 105moves 28pushes 2428 [ 8* 8( 5)] OK 0sec 107moves 28pushes 2429 [19*16(31)] X 600sec 2430 [ 9* 9(15)] OK 0sec 177moves 38pushes 2431 [ 8* 8( 5)] OK 1sec 127moves 28pushes 2432 [ 8* 8( 6)] OK 0sec 151moves 30pushes 2433 [ 8* 8( 6)] OK 0sec 118moves 32pushes 2434 [ 8* 8( 6)] OK 0sec 113moves 32pushes 2435 [ 8* 8( 7)] OK 0sec 149moves 33pushes 2436 [ 8* 8( 6)] OK 0sec 82moves 27pushes 2437 [ 8* 8( 5)] OK 0sec 74moves 25pushes 2438 [ 8* 8( 5)] OK 0sec 76moves 25pushes 2439 [ 8* 8( 6)] OK 0sec 85moves 23pushes 2440 [ 8* 8( 6)] OK 0sec 85moves 23pushes 2441 [ 8* 8( 8)] OK 0sec 90moves 30pushes 2442 [ 8* 8( 7)] OK 0sec 87moves 26pushes 2443 [ 8* 8( 7)] OK 0sec 87moves 26pushes 2444 [ 8* 8( 7)] OK 0sec 135moves 29pushes 2445 [ 8* 8( 7)] OK 0sec 61moves 21pushes 2446 [ 8* 8( 5)] OK 0sec 105moves 31pushes 2447 [ 8* 8( 6)] OK 0sec 81moves 26pushes 2448 [ 8* 8( 5)] OK 0sec 99moves 32pushes 2449 [ 8* 8( 5)] OK 0sec 163moves 37pushes 2450 [ 8* 8( 7)] OK 0sec 147moves 41pushes 2451 [ 8* 8( 7)] OK 0sec 96moves 33pushes 2452 [ 8* 8( 8)] OK 0sec 91moves 30pushes 2453 [ 8* 8( 7)] OK 0sec 128moves 31pushes 2454 [ 8* 8( 6)] OK 0sec 142moves 44pushes 2455 [ 8* 8( 8)] OK 1sec 106moves 26pushes 2456 [ 7* 9( 8)] OK 0sec 167moves 34pushes 2457 [ 7* 8( 6)] OK 0sec 126moves 30pushes 2458 [ 8* 8( 9)] OK 0sec 88moves 29pushes 2459 [ 8* 8( 7)] OK 0sec 65moves 24pushes 2460 [ 8* 8( 5)] OK 0sec 61moves 24pushes 2461 [ 9*10( 6)] OK 0sec 104moves 30pushes 2462 [ 9*10( 7)] OK 0sec 88moves 29pushes 2463 [11*11( 8)] OK 0sec 91moves 18pushes 2464 [13* 6( 6)] OK 0sec 77moves 31pushes 2465 [12* 6( 7)] OK 0sec 128moves 40pushes 2466 [11* 6( 7)] OK 0sec 154moves 40pushes 2467 [10* 6( 5)] OK 0sec 97moves 26pushes 2468 [10* 6( 4)] OK 0sec 129moves 31pushes 2469 [10* 7( 7)] OK 0sec 103moves 24pushes 2470 [10* 7( 7)] OK 0sec 124moves 28pushes 2471 [10* 7( 7)] OK 0sec 85moves 24pushes 2472 [ 8* 7( 6)] OK 1sec 80moves 24pushes 2473 [ 8* 7( 6)] OK 0sec 81moves 25pushes 2474 [13*13(16)] OK 2sec 213moves 56pushes 2475 [ 8* 7( 6)] OK 1sec 58moves 23pushes 2476 [ 8* 8( 9)] OK 0sec 131moves 41pushes 2477 [ 8* 8( 4)] OK 0sec 71moves 13pushes 2478 [ 9* 7(10)] OK 1sec 67moves 24pushes 2479 [17*18(79)] - 2480 [11* 7(12)] OK 1sec 188moves 41pushes 2481 [11* 7(11)] OK 0sec 123moves 43pushes 2482 [11* 7(11)] OK 0sec 128moves 43pushes 2483 [11* 7( 9)] OK 0sec 97moves 26pushes 2484 [11* 7( 9)] OK 1sec 151moves 38pushes 2485 [11*11( 8)] OK 0sec 45moves 10pushes 2486 [11* 7(10)] OK 0sec 133moves 38pushes 2487 [11* 7(10)] OK 1sec 87moves 28pushes 2488 [11* 7(10)] OK 0sec 92moves 32pushes 2489 [11* 7( 7)] OK 0sec 76moves 22pushes 2490 [13* 9( 3)] OK 1sec 68moves 27pushes 2491 [ 9*13( 3)] OK 0sec 81moves 35pushes 2492 [12* 8( 3)] OK 0sec 62moves 31pushes 2493 [ 9*10( 3)] OK 1sec 86moves 26pushes 2494 [ 9*13( 3)] OK 0sec 63moves 25pushes 2495 [ 9* 7( 3)] OK 0sec 90moves 24pushes 2496 [ 7* 7( 2)] OK 1sec 43moves 7pushes 2497 [ 8*12( 3)] OK 0sec 125moves 46pushes 2498 [14* 8( 3)] OK 0sec 104moves 34pushes 2499 [ 7*10( 3)] OK 1sec 92moves 26pushes 2500 [ 6*13( 3)] OK 0sec 55moves 24pushes 2501 [11* 7( 6)] OK 0sec 83moves 24pushes 2502 [13* 8( 3)] OK 0sec 90moves 37pushes 2503 [11*11( 3)] OK 0sec 117moves 37pushes 2504 [ 8*10( 3)] OK 0sec 96moves 24pushes 2505 [11* 7( 4)] OK 0sec 107moves 29pushes 2506 [11* 7( 4)] OK 0sec 141moves 48pushes 2507 [ 6* 9( 2)] OK 0sec 39moves 9pushes 2508 [11* 7( 4)] OK 0sec 142moves 50pushes 2509 [11* 7( 5)] OK 0sec 154moves 51pushes 2510 [11* 7( 5)] OK 0sec 173moves 56pushes 2511 [11* 7( 6)] OK 1sec 116moves 43pushes 2512 [11* 7( 6)] OK 0sec 185moves 73pushes 2513 [ 9* 7( 6)] OK 0sec 78moves 23pushes 2514 [ 7*10( 6)] OK 1sec 83moves 24pushes 2515 [ 7*12( 7)] OK 0sec 183moves 46pushes 2516 [ 7*10( 7)] OK 0sec 123moves 36pushes 2517 [ 7*10(14)] OK 1sec 200moves 55pushes 2518 [ 7* 9( 2)] OK 0sec 43moves 15pushes 2519 [ 7* 9(11)] OK 1sec 117moves 23pushes 2520 [ 7* 9(10)] OK 1sec 180moves 48pushes 2521 [ 7* 9( 9)] OK 1sec 127moves 40pushes 2522 [ 7* 9(11)] OK 0sec 190moves 45pushes 2523 [ 7* 9(10)] OK 0sec 64moves 20pushes 2524 [ 7* 9(10)] OK 0sec 90moves 22pushes 2525 [ 7* 9( 9)] OK 0sec 130moves 24pushes 2526 [ 9* 8( 4)] OK 0sec 155moves 37pushes 2527 [ 8* 8( 4)] OK 0sec 101moves 24pushes 2528 [ 7* 8( 4)] OK 0sec 92moves 20pushes 2529 [11*11( 4)] OK 0sec 103moves 20pushes 2530 [ 7* 7( 3)] OK 0sec 67moves 14pushes 2531 [ 7* 7( 6)] OK 0sec 62moves 19pushes 2532 [ 7* 9( 4)] OK 0sec 60moves 17pushes 2533 [ 7* 9( 6)] OK 0sec 143moves 35pushes 2534 [ 6* 8( 5)] OK 0sec 77moves 23pushes 2535 [ 8* 8(10)] OK 1sec 113moves 32pushes 2536 [ 8* 7( 8)] OK 0sec 101moves 27pushes 2537 [ 8* 6( 5)] OK 0sec 66moves 19pushes 2538 [11* 9( 9)] OK 0sec 143moves 40pushes 2539 [ 9* 9( 7)] OK 0sec 145moves 44pushes 2540 [19*16( 8)] OK 1sec 1040moves 279pushes 2541 [15*15( 8)] OK 0sec 116moves 52pushes 2542 [ 9* 9( 7)] OK 0sec 179moves 50pushes 2543 [ 9* 9( 8)] OK 0sec 144moves 47pushes 2544 [ 9* 9( 8)] OK 1sec 160moves 47pushes 2545 [ 9* 9( 8)] OK 0sec 118moves 30pushes 2546 [10*10( 7)] OK 0sec 492moves 105pushes 2547 [10*10( 6)] OK 0sec 284moves 80pushes 2548 [10*10( 6)] OK 0sec 296moves 94pushes 2549 [10*10( 7)] OK 1sec 493moves 108pushes 2550 [ 9*10( 7)] OK 1sec 284moves 66pushes 2551 [ 9*10( 7)] OK 0sec 434moves 80pushes 2552 [17* 7(13)] OK 15sec 381moves 64pushes 2553 [ 9*10( 7)] OK 1sec 330moves 58pushes 2554 [ 9* 8( 4)] OK 0sec 197moves 34pushes 2555 [ 8* 8( 4)] OK 0sec 149moves 24pushes 2556 [ 9* 8( 4)] OK 0sec 147moves 27pushes 2557 [ 9* 8( 4)] OK 1sec 197moves 33pushes 2558 [ 9* 8( 5)] OK 0sec 122moves 34pushes 2559 [ 8* 8( 4)] OK 0sec 165moves 30pushes 2560 [ 8* 8( 4)] OK 1sec 137moves 26pushes 2561 [ 8* 8( 3)] OK 0sec 102moves 19pushes 2562 [ 8* 8( 3)] OK 0sec 150moves 22pushes 2563 [17*13(20)] X 600sec 2564 [ 8* 8( 3)] OK 0sec 74moves 22pushes 2565 [17*13(44)] X 600sec 2566 [15*15(38)] OK 37sec 924moves 84pushes 2567 [19*17(88)] - 2568 [16*13(25)] OK 17sec 3189moves 727pushes 2569 [19*17(82)] - 2570 [11*13(24)] OK 33sec 569moves 128pushes 2571 [13*13(32)] OK 190sec 882moves 144pushes 2572 [17*13(46)] X 600sec 2573 [17*13(42)] X 600sec 2574 [10*10( 8)] OK 0sec 187moves 30pushes 2575 [15* 9(31)] Ok 4sec 617moves 106pushes 2576 [13*11(32)] OK 3sec 393moves 84pushes 2577 [13*13(38)] OK 30sec 879moves 164pushes 2578 [13* 9(12)] OK 1sec 255moves 40pushes 2579 [12* 9(12)] OK 1sec 180moves 34pushes 2580 [11* 9( 8)] OK 0sec 161moves 24pushes 2581 [11* 9(12)] OK 0sec 120moves 18pushes 2582 [17*17(93)] - 2583 [13* 9(14)] OK 2sec 384moves 93pushes 2584 [13* 9(12)] OK 2sec 503moves 124pushes 2585 [11*11(12)] OK 28sec 291moves 28pushes 2586 [15*13(14)] OK 5sec 1191moves 201pushes 2587 [13*15(18)] OK 1sec 567moves 146pushes 2588 [19*19(56)] OK 60sec 1723moves 642pushes 2589 [17*13(46)] OK 13sec 1525moves 556pushes 2590 [24* 9(23)] Ok 4sec 1939moves 355pushes 2591 [ 8* 9( 8)] OK 0sec 232moves 44pushes 2592 [ 9* 9(12)] OK 0sec 165moves 40pushes 2593 [14*14(12)] OK 3sec 276moves 60pushes 2594 [10* 9(14)] OK 4sec 177moves 42pushes 2595 [ 8* 9(10)] OK 0sec 93moves 20pushes 2596 [11*11(12)] OK 1sec 305moves 64pushes 2597 [12*11(22)] OK 4sec 559moves 86pushes 2598 [10*11(20)] OK 1sec 340moves 66pushes 2599 [10*11(18)] OK 1sec 271moves 64pushes 2600 [ 8* 9(10)] OK 1sec 138moves 34pushes 2601 [10* 9(14)] OK 0sec 140moves 44pushes 2602 [15* 9(17)] OK 1sec 486moves 102pushes 2603 [12*10(16)] OK 17sec 603moves 140pushes 2604 [10*10(10)] OK 0sec 264moves 58pushes 2605 [12* 9(16)] OK 1sec 268moves 51pushes 2606 [15*10(19)] OK 8sec 710moves 114pushes 2607 [17*17( 8)] OK 0sec 403moves 32pushes 2608 [19*11(19)] OK 4sec 735moves 162pushes 2609 [ 9*13(19)] X 265sec 2610 [15*17(33)] OK 152sec 1618moves 286pushes 2611 [15*17(40)] OK 62sec 970moves 238pushes 2612 [13*15(24)] OK 0sec 367moves 62pushes 2613 [19*19(40)] Ok 103sec 1060moves 218pushes 2614 [11*11(26)] OK 12sec 226moves 42pushes 2615 [13*13(30)] X 337sec 2616 [11* 6( 4)] OK 0sec 128moves 30pushes 2617 [14* 7( 6)] OK 1sec 116moves 40pushes 2618 [13* 9( 6)] OK 0sec 129moves 22pushes 2619 [15* 6( 7)] OK 0sec 130moves 27pushes 2620 [16*12(18)] OK 14sec 1025moves 274pushes 2621 [ 9* 9(10)] OK 0sec 75moves 16pushes 2622 [ 9* 9( 8)] OK 0sec 71moves 16pushes 2623 [13*13(24)] X 600sec 2624 [11*11(15)] OK 0sec 101moves 20pushes 2625 [ 9* 9( 8)] OK 0sec 49moves 12pushes 2626 [ 7* 9( 8)] OK 1sec 48moves 10pushes 2627 [17* 9(25)] Ok 102sec 492moves 131pushes 2628 [19*19(60)] OK 30sec 2565moves1070pushes 2629 [13* 9( 8)] OK 0sec 150moves 24pushes 2630 [15*12(22)] X 239sec 2631 [24*10(26)] X 119sec 2632 [11*14( 9)] OK 0sec 319moves 128pushes 2633 [10*14(10)] OK 0sec 321moves 128pushes 2634 [ 9* 7( 9)] OK 1sec 72moves 13pushes 2635 [13* 7(15)] OK 1sec 76moves 13pushes 2636 [ 9*13(21)] OK 1sec 542moves 63pushes 2637 [13*13(33)] X 600sec 2638 [13*13(36)] OK 20sec 856moves 77pushes 2639 [ 9*13(24)] OK 89sec 1050moves 119pushes 2640 [13* 9( 8)] OK 0sec 178moves 30pushes 2641 [ 9*11(14)] OK 0sec 140moves 31pushes 2642 [ 9*10(14)] OK 0sec 229moves 28pushes 2643 [11*11(24)] OK 4sec 970moves 125pushes 2644 [ 9* 9(14)] OK 0sec 336moves 57pushes 2645 [ 9* 9(14)] OK 1sec 77moves 24pushes 2646 [13*10(12)] Ok 77sec 524moves 108pushes 2647 [13*11(16)] OK 2sec 578moves 130pushes 2648 [11*11(16)] OK 1sec 337moves 83pushes 2649 [11*11(18)] OK 3sec 219moves 64pushes 2650 [ 9*17(30)] Ok 485sec 979moves 143pushes 2651 [19*16( 8)] OK 0sec 444moves 41pushes 2652 [13*11(10)] OK 0sec 210moves 34pushes 2653 [ 9*17(33)] Ok 153sec 309moves 46pushes 2654 [17* 9(30)] Ok 195sec 380moves 54pushes 2655 [ 9*11(22)] OK 1sec 136moves 34pushes 2656 [11*11(28)] OK 6sec 322moves 50pushes 2657 [13*12(43)] OK 2sec 70moves 21pushes 2658 [13*13(47)] Ok 410sec 866moves 170pushes 2659 [14* 9(24)] OK 0sec 119moves 40pushes 2660 [15* 9(26)] OK 1sec 174moves 54pushes 2661 [15* 9(26)] OK 4sec 206moves 52pushes 2662 [ 7*11(10)] OK 0sec 128moves 22pushes 2663 [13*11(10)] OK 1sec 179moves 28pushes 2664 [13*15(23)] X 270sec 2665 [11*11(16)] OK 1sec 484moves 44pushes 2666 [ 7*12(13)] OK 0sec 198moves 56pushes 2667 [11*15(24)] OK 1sec 282moves 68pushes 2668 [11*11( 7)] OK 0sec 379moves 64pushes 2669 [10*11( 9)] OK 2sec 250moves 42pushes 2670 [11*11(13)] OK 1sec 305moves 70pushes 2671 [ 9* 7( 9)] OK 0sec 160moves 30pushes 2672 [13* 7(15)] OK 1sec 282moves 38pushes 2673 [ 9*11(19)] OK 3sec 324moves 72pushes 2674 [13*13( 8)] OK 1sec 157moves 28pushes 2675 [13*11(31)] X 600sec 2676 [13*11(30)] X 600sec 2677 [ 9*13(22)] OK 85sec 588moves 130pushes 2678 [11*11(28)] X 600sec 2679 [13* 8(13)] OK 1sec 158moves 34pushes 2680 [ 9* 9(16)] OK 10sec 214moves 64pushes 2681 [10*12(14)] OK 0sec 192moves 31pushes 2682 [11*11(24)] OK 8sec 552moves 126pushes 2683 [11* 6( 3)] OK 0sec 107moves 23pushes 2684 [12* 6( 6)] OK 0sec 101moves 23pushes 2685 [14* 9(25)] OK 1sec 201moves 51pushes 2686 [16*16(20)] OK 1sec 766moves 308pushes 2687 [16*10( 9)] OK 1sec 271moves 53pushes 2688 [18*10(14)] OK 2sec 1238moves 234pushes 2689 [22* 6(12)] OK 0sec 324moves 60pushes 2690 [10* 8( 6)] OK 0sec 131moves 28pushes 2691 [11* 8( 8)] OK 1sec 210moves 54pushes 2692 [11* 8( 9)] OK 0sec 120moves 30pushes 2693 [11* 8( 9)] OK 0sec 171moves 38pushes 2694 [11* 8(11)] OK 0sec 120moves 26pushes 2695 [11* 8( 8)] OK 1sec 140moves 20pushes 2696 [14* 9(25)] OK 1sec 255moves 55pushes 2697 [11* 8( 7)] OK 0sec 113moves 25pushes 2698 [13*11(12)] OK 9sec 203moves 40pushes 2699 [13*11(12)] OK 23sec 336moves 84pushes 2700 [13*11(14)] OK 15sec 306moves 58pushes 2701 [13*11(15)] OK 64sec 334moves 53pushes 2702 [17*14(14)] OK 1sec 345moves 118pushes 2703 [14*14(12)] OK 1sec 225moves 38pushes 2704 [15*15(49)] X 600sec 2705 [14*14(45)] OK 56sec 1874moves 292pushes 2706 [13*13(41)] OK 13sec 1117moves 148pushes 2707 [14* 9(25)] OK 1sec 222moves 55pushes 2708 [12*12(17)] OK 1sec 188moves 30pushes 2709 [10*10(12)] OK 2sec 491moves 118pushes 2710 [ 6* 9( 7)] OK 0sec 32moves 11pushes 2711 [13*13(20)] OK 38sec 256moves 60pushes 2712 [ 9*13(24)] OK 0sec 205moves 36pushes 2713 [ 9*10(11)] OK 0sec 282moves 67pushes 2714 [13* 8(16)] OK 1sec 252moves 47pushes 2715 [15* 8(19)] OK 22sec 400moves 53pushes 2716 [17* 8(22)] Ok 103sec 608moves 123pushes 2717 [11*16(13)] OK 55sec 449moves 123pushes 2718 [17* 9(25)] OK 72sec 197moves 40pushes 2719 [12*12(10)] OK 0sec 422moves 153pushes 2720 [12*12(11)] OK 1sec 452moves 140pushes 2721 [ 9* 9( 9)] OK 0sec 236moves 50pushes 2722 [10*10( 8)] OK 1sec 292moves 54pushes 2723 [13*13(24)] OK 60sec 800moves 100pushes 2724 [13*13(26)] X 600sec 2725 [17*13(41)] X 385sec 2726 [14*11( 5)] OK 0sec 678moves 161pushes 2727 [ 6*13( 8)] OK 0sec 186moves 28pushes 2728 [ 6*13( 8)] OK 0sec 189moves 40pushes 2729 [17* 9(25)] X 600sec 2730 [13* 8(12)] OK 0sec 124moves 24pushes 2731 [17* 9(11)] OK 1sec 241moves 48pushes 2732 [15* 7( 9)] OK 0sec 185moves 41pushes 2733 [15* 7(11)] OK 0sec 261moves 50pushes 2734 [19* 9(15)] OK 0sec 315moves 56pushes 2735 [19* 9(16)] OK 2sec 355moves 84pushes 2736 [17* 9(13)] OK 1sec 331moves 80pushes 2737 [11*17(36)] Ok 36sec 2109moves 284pushes 2738 [19*17(54)] X 600sec 2739 [17*17(54)] X 600sec 2740 [17* 9(25)] OK 1sec 131moves 34pushes 2741 [14*11(16)] OK 12sec 491moves 136pushes 2742 [14*11(16)] OK 5sec 340moves 82pushes 2743 [11*10( 6)] OK 1sec 323moves 44pushes 2744 [11*10( 6)] OK 0sec 281moves 42pushes 2745 [19*11(26)] X 38sec 2746 [15*11(24)] X 271sec 2747 [15*11(23)] X 600sec 2748 [13*12(11)] OK 12sec 422moves 144pushes 2749 [15*13(28)] OK 1sec 159moves 37pushes 2750 [15*13(29)] OK 3sec 388moves 89pushes 2751 [17* 9(25)] OK 17sec 120moves 32pushes 2752 [11*11(24)] OK 1sec 432moves 74pushes 2753 [ 9*15(30)] OK 53sec 458moves 88pushes 2754 [17*17(63)] X 600sec 2755 [17*17(61)] X 600sec 2756 [ 8*10( 8)] OK 0sec 140moves 46pushes 2757 [17*15(16)] OK 3sec 306moves 98pushes 2758 [14* 7( 5)] OK 0sec 154moves 49pushes 2759 [14*13(10)] OK 1sec 378moves 94pushes 2760 [14*13(12)] OK 0sec 384moves 122pushes 2761 [13*13(32)] OK 14sec 343moves 104pushes 2762 [19*11( 6)] OK 0sec 255moves 97pushes 2763 [19*16(32)] OK 2sec 1405moves 544pushes 2764 [19*15(14)] OK 5sec 867moves 259pushes 2765 [17*13(15)] OK 1sec 799moves 226pushes 2766 [19*13(16)] OK 1sec 744moves 260pushes 2767 [18*16(18)] OK 6sec 1056moves 273pushes 2768 [17*16(15)] OK 3sec 504moves 162pushes 2769 [14*15(15)] OK 37sec 1110moves 306pushes 2770 [16*14( 6)] OK 0sec 512moves 217pushes 2771 [19*13(11)] OK 7sec 1112moves 170pushes 2772 [19*16(15)] OK 0sec 842moves 328pushes 2773 [14*10(10)] OK 0sec 508moves 131pushes 2774 [19*16(18)] OK 1sec 2049moves 516pushes 2775 [15*15(13)] OK 0sec 506moves 163pushes 2776 [19*16(27)] OK 3sec 1272moves 414pushes 2777 [19*14(18)] OK 12sec 1147moves 478pushes 2778 [19*16(22)] OK 18sec 1579moves 564pushes 2779 [19*16(19)] OK 6sec 1391moves 404pushes 2780 [15*12(13)] OK 1sec 573moves 203pushes 2781 [19*13(20)] OK 2sec 1314moves 369pushes 2782 [17*15(20)] OK 5sec 925moves 320pushes 2783 [19*13(16)] X 100sec 2784 [17*10(11)] OK 0sec 409moves 150pushes 2785 [19*14(18)] OK 14sec 1507moves 493pushes 2786 [18*16(20)] OK 1sec 841moves 300pushes 2787 [13*15(15)] OK 2sec 621moves 193pushes 2788 [12*15(15)] OK 1sec 868moves 216pushes 2789 [14*15(14)] OK 0sec 650moves 198pushes 2790 [19*16(17)] OK 1sec 1118moves 402pushes 2791 [19*16(21)] OK 9sec 1627moves 523pushes 2792 [19*15(20)] OK 1sec 871moves 364pushes 2793 [11*11( 8)] OK 0sec 326moves 99pushes 2794 [19*16(25)] OK 5sec 2082moves 706pushes 2795 [19*14(20)] OK 0sec 903moves 357pushes 2796 [17*16(16)] OK 10sec 1360moves 360pushes 2797 [19*15(15)] OK 5sec 889moves 283pushes 2798 [18*13(24)] OK 1sec 969moves 280pushes 2799 [19*11( 9)] OK 0sec 600moves 150pushes 2800 [19*15( 9)] OK 2sec 554moves 195pushes 2801 [16*14(17)] OK 5sec 873moves 316pushes 2802 [14*16(14)] OK 0sec 1016moves 287pushes 2803 [18*11(16)] OK 0sec 632moves 211pushes 2804 [13*16(34)] OK 1sec 517moves 212pushes 2805 [16*15(12)] OK 0sec 659moves 188pushes 2806 [17*13(12)] OK 0sec 410moves 143pushes 2807 [19*16(16)] X 600sec 2808 [14*12(14)] OK 0sec 378moves 124pushes 2809 [19*17(18)] OK 100sec 2476moves 627pushes 2810 [20*12(15)] OK 1sec 612moves 220pushes 2811 [20*12(16)] OK 1sec 690moves 243pushes 2812 [20*12(12)] OK 1sec 477moves 136pushes 2813 [20*12(16)] OK 1sec 652moves 229pushes 2814 [20*12(16)] OK 1sec 693moves 253pushes 2815 [20*12(15)] OK 1sec 789moves 249pushes 2816 [20*12(16)] OK 1sec 796moves 266pushes 2817 [12*11(10)] OK 1sec 326moves 110pushes 2818 [20*12(13)] OK 0sec 507moves 174pushes 2819 [20*12(20)] OK 16sec 871moves 275pushes 2820 [20*12(16)] OK 0sec 669moves 259pushes 2821 [20*12(17)] OK 1sec 1434moves 477pushes 2822 [20*12(16)] OK 1sec 1078moves 391pushes 2823 [20*12(15)] OK 1sec 685moves 223pushes 2824 [20*12(18)] X 180sec 2825 [20*12(20)] OK 1sec 1106moves 421pushes 2826 [20*12(15)] OK 1sec 1270moves 353pushes 2827 [20*12(18)] X 153sec 2828 [13*12(11)] OK 0sec 341moves 120pushes 2829 [20*12(18)] OK 1sec 1058moves 369pushes 2830 [20*12(18)] OK 5sec 1003moves 340pushes 2831 [20*12(16)] OK 1sec 967moves 320pushes 2832 [20*12(14)] OK 0sec 1454moves 461pushes 2833 [20*12(16)] OK 1sec 667moves 240pushes 2834 [20*12(17)] OK 23sec 1638moves 355pushes 2835 [20*12(17)] OK 1sec 832moves 328pushes 2836 [20*15(14)] OK 12sec 1861moves 388pushes 2837 [19*12( 8)] OK 1sec 388moves 142pushes 2838 [19*12(12)] OK 0sec 493moves 188pushes 2839 [16*16(18)] OK 1sec 754moves 294pushes 2840 [19*13(12)] OK 0sec 658moves 269pushes 2841 [19*13(12)] OK 0sec 543moves 187pushes 2842 [17*13(12)] OK 0sec 414moves 175pushes 2843 [17*13(10)] OK 2sec 507moves 202pushes 2844 [16*12(12)] OK 1sec 483moves 191pushes 2845 [20*16(15)] OK 5sec 1685moves 359pushes 2846 [17*10(10)] OK 0sec 542moves 150pushes 2847 [16*14(12)] OK 1sec 834moves 253pushes 2848 [17*16(23)] OK 64sec 1100moves 436pushes 2849 [20*17(21)] OK 63sec 1461moves 415pushes 2850 [17*14(14)] OK 1sec 590moves 237pushes 2851 [20*16(25)] OK 3sec 1746moves 502pushes ---------------- (2017/11/28 16:06:53 Finish) Solved = 2462 Cancel(-) = 51 Failed(X) = 338 Skips (?) = 0 ---------------- Total = 2851 </pre>

Return to SolverStatistics-Takaken-GroupEffort-Large-Set.