SolverStatistics-yass-ThinkingRabbit-Perfect

From Sokoban Wiki

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

Corrals - added outside boxes              :    121265820
Corrals - all boxes                        :     28674725
Corrals - pruning candidates               :    153242749
Corrals - pruning ratio                    :           17% forward positions
Corrals - total                            :    952287651
Corrals - stored                           :      3461242
Corrals - stored boxes                     :     38819710
Rooms - pruning candidates                 :         6551
Deadlocks - precalculated                  :        84183
Deadlocks - dynamic                        :       220899
Deadlocks - total used                     :       305082
Deadlocks - redundant                      :        50736
Deadlocks - calculated, saved              :       355818
Deadlocks - calculated, table overflow     :        11255
Deadlocks - total calculated               :       367073
Deadlocks - player must be outside set     :       145243
Deadlocks - overflow sets                  :        15410 * 2
Deadlocks - underflow sets                 :        18908 * 2
Positions - backward search                :   1189304959
Positions - forward search                 :    891964422
Positions - revisited                      :     77909186
Positions - deadends                       :     22296186
Positions - deadlocked open positions      :      3531620
Positions - total                          :   2081269381
Time - "no progress" deadlock analysis     :       548838 milliseconds
Time - deadlock analysis                   :      4102721 milliseconds
Time - packing order calculation           :       206556 milliseconds
Time - small optimizations                 :          189 milliseconds
Time - solved levels                       :       611608 milliseconds
Time - total                               :     15290531 milliseconds
--------------------------------------------------------------------------------
Re-use player's reachable squares? No      :    853835862
Re-use player's reachable squares? Yes     :    737443965
No player's reachable squares calculation  :   1240573952 of 1437153525 enqueued positions

Personal tools