SolverStatistics-festival-ThinkingRabbit-Revenge

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
(Created page with '-------------------------------------------------------------------------------------- Sokoban YASC - Tools - Solver - Statistics Date: 2020-06-19 17:56:00 ---------------------…')
Line 1: Line 1:
 +
;Program: Festival 1.0
 +
;RAM for solver: 1 GB
 +
;Computer: Intel(R) Core(TM) i5-6600K @4.70Ghz, 64 GiB RAM
 +
;Solving method: Default settings
 +
;Time limit: 600 seconds
 +
--------------------------------------------------------------------------------------
--------------------------------------------------------------------------------------
Sokoban YASC - Tools - Solver - Statistics
Sokoban YASC - Tools - Solver - Statistics
-
Date: 2020-06-19 17:56:00
+
Date: 2020-06-21 01:35:58
--------------------------------------------------------------------------------------
--------------------------------------------------------------------------------------
   Task      Time Plugin              Result                    Moves  Pushes Level
   Task      Time Plugin              Result                    Moves  Pushes Level
 +
--------------------------------------------------------------------------------------
 +
      1  00:00:00 Festival 0.99        OK                          304    103 None
 +
      2  00:00:00 Festival 0.99        OK                            28      10 None
 +
      3  00:00:00 Festival 0.99        OK                          102      14 None
 +
      4  00:00:11 Festival 0.99        OK                          419    104 None
 +
      5  00:00:35 Festival 0.99        OK                          438    155 None
 +
      6  00:00:02 Festival 0.99        OK                            98      19 None
 +
      7  00:00:00 Festival 0.99        OK                            76      11 None
 +
      8  00:00:00 Festival 0.99        OK                            99      18 None
 +
      9  00:00:00 Festival 0.99        OK                            59      14 None
 +
    10  00:00:00 Festival 0.99        OK                          101      18 None
 +
    11  00:00:00 Festival 0.99        OK                          111      18 None
 +
    12  00:00:01 Festival 0.99        OK                          152      40 None
 +
    13  00:00:00 Festival 0.99        OK                          106      45 None
 +
    14  00:00:00 Festival 0.99        OK                          138      20 None
 +
    15  00:00:00 Festival 0.99        OK                          179      38 None
 +
    16  00:00:07 Festival 0.99        OK                          301      45 None
 +
    17  00:00:19 Festival 0.99        OK                          118      40 None
 +
    18  00:00:00 Festival 0.99        OK                          111      36 None
 +
    19  00:00:00 Festival 0.99        OK                          144      44 None
 +
    20  00:00:00 Festival 0.99        OK                          292      55 None
 +
    21  00:00:01 Festival 0.99        OK                          324      33 None
 +
    22  00:00:00 Festival 0.99        OK                            52      13 None
 +
    23  00:00:00 Festival 0.99        OK                          205      32 None
 +
    24  00:00:01 Festival 0.99        OK                          138      40 None
 +
    25  00:00:00 Festival 0.99        OK                          255      64 None
 +
    26  00:00:03 Festival 0.99        OK                          198      40 None
 +
    27  00:00:01 Festival 0.99        OK                          130      30 None
 +
    28  00:00:32 Festival 0.99        OK                            96      12 None
 +
    29  00:00:34 Festival 0.99        OK                          189      37 None
 +
    30  00:00:03 Festival 0.99        OK                            82      28 None
 +
    31  00:00:01 Festival 0.99        OK                          139      32 None
 +
    32  00:00:01 Festival 0.99        OK                            48      16 None
 +
    33  00:00:02 Festival 0.99        OK                          187      61 None
 +
    34  00:00:32 Festival 0.99        OK                          298      88 None
 +
    35  00:00:00 Festival 0.99        OK                          163      24 None
 +
    36  00:00:01 Festival 0.99        OK                          764    290 None
 +
    37  00:00:00 Festival 0.99        OK                          144      28 None
 +
    38  00:00:01 Festival 0.99        OK                          110      27 None
 +
    39  00:00:00 Festival 0.99        OK                          127      36 None
 +
    40  00:00:01 Festival 0.99        OK                          618    195 None
 +
    41  00:00:25 Festival 0.99        OK                          119      26 None
 +
    42  00:00:00 Festival 0.99        OK                          193      58 None
 +
    43  00:00:00 Festival 0.99        OK                          151      45 None
 +
    44  00:00:01 Festival 0.99        OK                          639    141 None
 +
    45  00:00:01 Festival 0.99        OK                          593      99 None
 +
    46  00:00:00 Festival 0.99        OK                          270      66 None
 +
    47  00:00:12 Festival 0.99        OK                          204      42 None
 +
    48  00:00:05 Festival 0.99        OK                          257      39 None
 +
    49  00:00:01 Festival 0.99        OK                          180      44 None
 +
    50  00:00:01 Festival 0.99        OK                          104      25 None
 +
    51  00:00:39 Festival 0.99        OK                          367      62 None
 +
    52  00:00:54 Festival 0.99        OK                          510      55 None
 +
    53  00:00:35 Festival 0.99        OK                          228      53 None
 +
    54  00:00:06 Festival 0.99        OK                          572    148 None
 +
    55  00:00:22 Festival 0.99        OK                          2240    515 None
 +
    56  00:00:11 Festival 0.99        OK                          710    147 None
 +
    57  00:01:01 Festival 0.99        OK                          668    115 None
 +
    58  00:00:01 Festival 0.99        OK                          1193    398 None
 +
    59  00:00:27 Festival 0.99        OK                          865    213 None
 +
    60  00:00:00 Festival 0.99        OK                          556    193 None
 +
    61  00:00:05 Festival 0.99        OK                          707    199 None
 +
    62  00:00:01 Festival 0.99        OK                          1197    259 None
 +
    63  00:00:00 Festival 0.99        OK                          668    253 None
 +
    64  00:00:02 Festival 0.99        OK                          673    137 None
 +
    65  00:00:07 Festival 0.99        OK                          2403    521 None
 +
    66  00:00:01 Festival 0.99        OK                          727    170 None
 +
    67  00:00:03 Festival 0.99        OK                          790    184 None
 +
    68  00:00:07 Festival 0.99        OK                          1571    393 None
 +
    69  00:01:32 Festival 0.99        OK                          1064    241 None
 +
    70  00:07:06 Festival 0.99        OK                          2592    595 None
 +
    71  00:01:54 Festival 0.99        OK                          1170    237 None
 +
    72  00:03:21 Festival 0.99        OK                          1583    605 None
 +
    73  00:00:01 Festival 0.99        OK                          1570    433 None
 +
    74  00:00:10 Festival 0.99        OK                          1892    513 None
 +
    75  00:00:08 Festival 0.99        OK                          4302    1550 None
 +
    76  00:00:08 Festival 0.99        OK                          1705    551 None
 +
    77  00:00:01 Festival 0.99        OK                          2808    1303 None
 +
    78  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    79  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    80  00:00:05 Festival 0.99        OK                          330    100 None
 +
    81  00:00:01 Festival 0.99        OK                          189      72 None
 +
    82  00:00:02 Festival 0.99        OK                          300      90 None
 +
    83  00:00:17 Festival 0.99        OK                          537    118 None
 +
    84  00:00:02 Festival 0.99        OK                          277      80 None
 +
    85  00:00:00 Festival 0.99        OK                            48      13 None
 +
    86  00:00:01 Festival 0.99        OK                            90      22 None
 +
    87  00:00:00 Festival 0.99        OK                          826    271 None
 +
    88  00:00:30 Festival 0.99        OK                          1101    271 None
 +
    89  00:00:03 Festival 0.99        OK                          809    200 None
 +
    90  00:00:03 Festival 0.99        OK                          1845    610 None
 +
    91  00:00:00 Festival 0.99        OK                          1029    326 None
 +
    92  00:00:01 Festival 0.99        OK                          611    126 None
 +
    93  00:00:00 Festival 0.99        OK                          553    122 None
 +
    94  00:03:07 Festival 0.99        OK                          875    206 None
 +
    95  00:00:01 Festival 0.99        OK                          721    214 None
 +
    96  00:00:00 Festival 0.99        OK                          745    246 None
 +
    97  00:00:00 Festival 0.99        OK                          568    157 None
 +
    98  00:00:09 Festival 0.99        OK                          3214    1227 None
 +
    99  00:00:02 Festival 0.99        OK                          1530    576 None
 +
    100  00:00:06 Festival 0.99        OK                          2596    771 None
 +
    101  00:00:04 Festival 0.99        OK                          4800    1548 None
 +
    102  00:00:03 Festival 0.99        OK                          325      41 None
 +
    103  00:00:00 Festival 0.99        OK                          141      24 None
 +
    104  00:00:00 Festival 0.99        OK                          179      22 None
 +
    105  00:00:01 Festival 0.99        OK                          797    222 None
 +
    106  00:00:03 Festival 0.99        OK                          1370    374 None
 +
    107  00:00:06 Festival 0.99        OK                          1086    260 None
 +
    108  00:00:00 Festival 0.99        OK                            71      15 None
 +
    109  00:00:06 Festival 0.99        OK                          138      26 None
 +
    110  00:00:04 Festival 0.99        OK                          770    126 None
 +
    111  00:00:33 Festival 0.99        OK                          345      65 None
 +
    112  00:00:17 Festival 0.99        OK                          1377    442 None
 +
    113  00:03:23 Festival 0.99        OK                          749      96 None
 +
    114  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    115  00:00:36 Festival 0.99        OK                          609    188 None
 +
    116  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    117  00:00:01 Festival 0.99        OK                          201      32 None
 +
    118  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    119  00:00:00 Festival 0.99        OK                            75      18 None
 +
    120  00:00:01 Festival 0.99        OK                          125      32 None
 +
    121  00:00:13 Festival 0.99        OK                          1306    298 None
 +
    122  00:00:00 Festival 0.99        OK                          728    196 None
 +
    123  00:00:01 Festival 0.99        OK                          1252    236 None
 +
    124  00:00:36 Festival 0.99        OK                          1300    344 None
 +
    125  00:07:41 Festival 0.99        OK                          2560    551 None
 +
    126  00:00:01 Festival 0.99        OK                          985    260 None
 +
    127  00:04:35 Festival 0.99        OK                          770    122 None
 +
    128  00:00:02 Festival 0.99        OK                          158      30 None
 +
    129  00:00:02 Festival 0.99        OK                          4613    941 None
 +
    130  00:00:04 Festival 0.99        OK                            94      21 None
 +
    131  00:00:01 Festival 0.99        OK                          439      88 None
 +
    132  00:00:00 Festival 0.99        OK                          272      34 None
 +
    133  00:00:01 Festival 0.99        OK                          410      73 None
 +
    134  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    135  00:00:00 Festival 0.99        OK                          110      17 None
 +
    136  00:00:34 Festival 0.99        OK                          400    101 None
 +
    137  00:00:47 Festival 0.99        OK                          456    118 None
 +
    138  00:01:37 Festival 0.99        OK                          520    156 None
 +
    139  00:08:46 Festival 0.99        OK                          1974    479 None
 +
    140  00:05:02 Festival 0.99        OK                          2543    590 None
 +
    141  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    142  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    143  00:00:00 Festival 0.99        OK                          1181    311 None
 +
    144  00:04:17 Festival 0.99        OK                          418    122 None
 +
    145  00:00:12 Festival 0.99        OK                          957    218 None
 +
    146  00:00:12 Festival 0.99        OK                          994    166 None
 +
    147  00:07:09 Festival 0.99        OK                          5308    950 None
 +
    148  00:00:39 Festival 0.99        OK                          413      90 None
 +
    149  00:00:06 Festival 0.99        OK                          165      26 None
 +
    150  00:07:08 Festival 0.99        OK                          1891    190 None
 +
    151  00:03:04 Festival 0.99        OK                          1620    350 None
 +
    152  00:00:01 Festival 0.99        OK                          1035    225 None
 +
    153  00:00:01 Festival 0.99        OK                          1159    241 None
 +
    154  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    155  00:00:04 Festival 0.99        OK                          1084    229 None
 +
    156  00:00:00 Festival 0.99        OK                          763    221 None
 +
    157  00:00:02 Festival 0.99        OK                          1204    299 None
 +
    158  00:00:00 Festival 0.99        OK                          143      29 None
 +
    159  00:00:01 Festival 0.99        OK                          508      97 None
 +
    160  00:00:00 Festival 0.99        OK                          231      47 None
 +
    161  00:00:01 Festival 0.99        OK                          752    215 None
 +
    162  00:00:00 Festival 0.99        OK                          1292    349 None
 +
    163  00:00:00 Festival 0.99        OK                          591    197 None
 +
    164  00:00:01 Festival 0.99        OK                          686    196 None
 +
    165  00:00:02 Festival 0.99        OK                          693    130 None
 +
    166  00:03:07 Festival 0.99        OK                          833    189 None
 +
    167  00:00:00 Festival 0.99        OK                          501    110 None
 +
    168  00:00:53 Festival 0.99        OK                          1924    444 None
 +
    169  00:00:01 Festival 0.99        OK                          951    291 None
 +
    170  00:00:00 Festival 0.99        OK                          950    226 None
 +
    171  00:00:52 Festival 0.99        OK                          2468    839 None
 +
    172  00:00:04 Festival 0.99        OK                          1016    350 None
 +
    173  00:00:00 Festival 0.99        OK                          525      93 None
 +
    174  00:00:10 Festival 0.99        OK                          1458    439 None
 +
    175  00:00:07 Festival 0.99        OK                          2206    410 None
 +
    176  00:00:01 Festival 0.99        OK                          664    144 None
 +
    177  00:00:07 Festival 0.99        OK                          802    191 None
 +
    178  00:00:02 Festival 0.99        OK                          1423    384 None
 +
    179  00:03:15 Festival 0.99        OK                          842    197 None
 +
    180  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    181  00:00:00 Festival 0.99        OK                          1009    256 None
 +
    182  00:01:00 Festival 0.99        OK                          1413    418 None
 +
    183  00:00:02 Festival 0.99        OK                          1159    270 None
 +
    184  00:00:32 Festival 0.99        OK                          803    155 None
 +
    185  00:00:00 Festival 0.99        OK                          152      41 None
 +
    186  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    187  00:00:08 Festival 0.99        OK                          1215    457 None
 +
    188  00:09:50 Festival 0.99        OK                          2954    789 None
 +
    189  00:00:12 Festival 0.99        OK                          806    216 None
 +
    190  00:00:18 Festival 0.99        OK                          1271    348 None
 +
    191  00:00:49 Festival 0.99        OK                          599    113 None
 +
    192  00:00:01 Festival 0.99        OK                          108      25 None
 +
    193  00:00:00 Festival 0.99        OK                          376      58 None
 +
    194  00:00:05 Festival 0.99        OK                          2576    764 None
 +
    195  00:00:07 Festival 0.99        OK                          978    280 None
 +
    196  00:00:14 Festival 0.99        OK                          613      80 None
 +
    197  00:00:01 Festival 0.99        OK                          795    157 None
 +
    198  00:00:00 Festival 0.99        OK                          783    201 None
 +
    199  00:00:00 Festival 0.99        OK                          511    141 None
 +
    200  00:00:10 Festival 0.99        OK                          178      36 None
 +
    201  00:00:13 Festival 0.99        OK                          473      90 None
 +
    202  00:00:01 Festival 0.99        OK                          1708    484 None
 +
    203  00:00:13 Festival 0.99        OK                          1148    267 None
 +
    204  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    205  00:07:39 Festival 0.99        OK                          799    242 None
 +
    206  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    207  00:00:03 Festival 0.99        OK                          342      80 None
 +
    208  00:00:02 Festival 0.99        OK                          325      96 None
 +
    209  00:03:21 Festival 0.99        OK                          568    175 None
 +
    210  00:00:09 Festival 0.99        OK                          393      52 None
 +
    211  00:00:01 Festival 0.99        OK                          153      27 None
 +
    212  00:01:27 Festival 0.99        OK                          617    106 None
 +
    213  00:00:11 Festival 0.99        OK                          3188    948 None
 +
    214  00:01:01 Festival 0.99        OK                          1827    435 None
 +
    215  00:00:00 Festival 0.99        OK                          677    150 None
 +
    216  00:00:23 Festival 0.99        OK                          1317    445 None
 +
    217  00:00:01 Festival 0.99        OK                          2449    553 None
 +
    218  00:00:09 Festival 0.99        OK                          1551    529 None
 +
    219  00:00:01 Festival 0.99        OK                          1307    477 None
 +
    220  00:00:08 Festival 0.99        OK                          2677    598 None
 +
    221  00:00:01 Festival 0.99        OK                          613    170 None
 +
    222  00:00:04 Festival 0.99        OK                          119      23 None
 +
    223  00:00:03 Festival 0.99        OK                          196      44 None
 +
    224  00:00:05 Festival 0.99        OK                          283      57 None
 +
    225  00:00:01 Festival 0.99        OK                          128      20 None
 +
    226  00:00:00 Festival 0.99        OK                          107      23 None
 +
    227  00:00:01 Festival 0.99        OK                          124      23 None
 +
    228  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    229  00:00:02 Festival 0.99        OK                          356    110 None
 +
    230  00:03:25 Festival 0.99        OK                          1097    245 None
 +
    231  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    232  00:00:31 Festival 0.99        OK                          230      54 None
 +
    233  00:00:02 Festival 0.99        OK                          302      53 None
 +
    234  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    235  00:01:43 Festival 0.99        OK                          678    175 None
 +
    236  00:00:05 Festival 0.99        OK                          1353    292 None
 +
    237  00:03:59 Festival 0.99        OK                          423    130 None
 +
    238  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    239  00:01:00 Festival 0.99        OK                          839    245 None
 +
    240  00:00:16 Festival 0.99        OK                          2394    428 None
 +
    241  00:00:02 Festival 0.99        OK                          597    167 None
 +
    242  00:07:11 Festival 0.99        OK                          504    127 None
 +
    243  00:00:01 Festival 0.99        OK                          180      47 None
 +
    244  00:07:12 Festival 0.99        OK                          1233    287 None
 +
    245  00:03:03 Festival 0.99        OK                          356      82 None
 +
    246  00:00:00 Festival 0.99        OK                          455      80 None
 +
    247  00:00:02 Festival 0.99        OK                          1528    399 None
 +
    248  00:03:03 Festival 0.99        OK                          1027    281 None
 +
    249  00:00:07 Festival 0.99        OK                          1030    254 None
 +
    250  00:00:25 Festival 0.99        OK                          1268    280 None
 +
    251  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    252  00:00:00 Festival 0.99        OK                          780    194 None
 +
    253  00:00:01 Festival 0.99        OK                          1784    470 None
 +
    254  00:00:03 Festival 0.99        OK                          1035    329 None
 +
    255  00:00:31 Festival 0.99        OK                          1165    309 None
 +
    256  00:00:16 Festival 0.99        OK                          1017    253 None
 +
    257  00:00:02 Festival 0.99        OK                          1459    374 None
 +
    258  00:00:31 Festival 0.99        OK                          212      44 None
 +
    259  00:03:09 Festival 0.99        OK                          549    132 None
 +
    260  00:03:19 Festival 0.99        OK                          1148    338 None
 +
    261  00:07:54 Festival 0.99        OK                          687    168 None
 +
    262  00:03:04 Festival 0.99        OK                          475      85 None
 +
    263  00:03:02 Festival 0.99        OK                          356    106 None
 +
    264  00:03:54 Festival 0.99        OK                          2580    567 None
 +
    265  00:00:39 Festival 0.99        OK                          730    185 None
 +
    266  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    267  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    268  00:00:08 Festival 0.99        OK                          1679    348 None
 +
    269  00:00:01 Festival 0.99        OK                          117      35 None
 +
    270  00:00:10 Festival 0.99        OK                          536    100 None
 +
    271  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    272  00:00:01 Festival 0.99        OK                          576      79 None
 +
    273  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    274  00:00:03 Festival 0.99        OK                          1241    330 None
 +
    275  00:00:01 Festival 0.99        OK                          1535    299 None
 +
    276  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    277  00:00:00 Festival 0.99        OK                          102      16 None
 +
    278  00:00:06 Festival 0.99        OK                          305      40 None
 +
    279  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    280  00:00:00 Festival 0.99        OK                          119      28 None
 +
    281  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    282  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    283  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    284  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    285  00:00:00 Festival 0.99        OK                            54      12 None
 +
    286  00:00:00 Festival 0.99        OK                          261      54 None
 +
    287  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    288  00:00:18 Festival 0.99        OK                          883    271 None
 +
    289  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    290  00:00:14 Festival 0.99        OK                          1402    361 None
 +
    291  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    292  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    293  00:00:10 Festival 0.99        OK                          906    182 None
 +
    294  00:00:04 Festival 0.99        OK                          2027    456 None
 +
    295  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    296  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    297  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    298  00:00:01 Festival 0.99        OK                          195      48 None
 +
    299  00:00:03 Festival 0.99        OK                          220      49 None
 +
    300  00:04:32 Festival 0.99        OK                          556    102 None
 +
    301  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    302  00:00:32 Festival 0.99        OK                          3967    1111 None
 +
    303  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    304  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    305  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
    306  00:10:00 Festival 0.99        Time limit exceeded                      None
 +
--------------------------------------------------------------------------------------
 +
:  306  09:48:13 Total                OK: 266 Failed: 40        226073  57940    :
 +
--------------------------------------------------------------------------------------
 +
Moves and pushes statistics are based on the results reported by the plugin(s).
 +
The results have not been verified by Sokoban YASC.
--------------------------------------------------------------------------------------
--------------------------------------------------------------------------------------

Revision as of 16:19, 21 June 2020

Program
Festival 1.0
RAM for solver
1 GB
Computer
Intel(R) Core(TM) i5-6600K @4.70Ghz, 64 GiB RAM
Solving method
Default settings
Time limit
600 seconds

Sokoban YASC - Tools - Solver - Statistics Date: 2020-06-21 01:35:58 

  Task       Time Plugin               Result                     Moves  Pushes Level

     1   00:00:00 Festival 0.99        OK                           304     103 None
     2   00:00:00 Festival 0.99        OK                            28      10 None
     3   00:00:00 Festival 0.99        OK                           102      14 None
     4   00:00:11 Festival 0.99        OK                           419     104 None
     5   00:00:35 Festival 0.99        OK                           438     155 None
     6   00:00:02 Festival 0.99        OK                            98      19 None
     7   00:00:00 Festival 0.99        OK                            76      11 None
     8   00:00:00 Festival 0.99        OK                            99      18 None
     9   00:00:00 Festival 0.99        OK                            59      14 None
    10   00:00:00 Festival 0.99        OK                           101      18 None
    11   00:00:00 Festival 0.99        OK                           111      18 None
    12   00:00:01 Festival 0.99        OK                           152      40 None
    13   00:00:00 Festival 0.99        OK                           106      45 None
    14   00:00:00 Festival 0.99        OK                           138      20 None
    15   00:00:00 Festival 0.99        OK                           179      38 None
    16   00:00:07 Festival 0.99        OK                           301      45 None
    17   00:00:19 Festival 0.99        OK                           118      40 None
    18   00:00:00 Festival 0.99        OK                           111      36 None
    19   00:00:00 Festival 0.99        OK                           144      44 None
    20   00:00:00 Festival 0.99        OK                           292      55 None
    21   00:00:01 Festival 0.99        OK                           324      33 None
    22   00:00:00 Festival 0.99        OK                            52      13 None
    23   00:00:00 Festival 0.99        OK                           205      32 None
    24   00:00:01 Festival 0.99        OK                           138      40 None
    25   00:00:00 Festival 0.99        OK                           255      64 None
    26   00:00:03 Festival 0.99        OK                           198      40 None
    27   00:00:01 Festival 0.99        OK                           130      30 None
    28   00:00:32 Festival 0.99        OK                            96      12 None
    29   00:00:34 Festival 0.99        OK                           189      37 None
    30   00:00:03 Festival 0.99        OK                            82      28 None
    31   00:00:01 Festival 0.99        OK                           139      32 None
    32   00:00:01 Festival 0.99        OK                            48      16 None
    33   00:00:02 Festival 0.99        OK                           187      61 None
    34   00:00:32 Festival 0.99        OK                           298      88 None
    35   00:00:00 Festival 0.99        OK                           163      24 None
    36   00:00:01 Festival 0.99        OK                           764     290 None
    37   00:00:00 Festival 0.99        OK                           144      28 None
    38   00:00:01 Festival 0.99        OK                           110      27 None
    39   00:00:00 Festival 0.99        OK                           127      36 None
    40   00:00:01 Festival 0.99        OK                           618     195 None
    41   00:00:25 Festival 0.99        OK                           119      26 None
    42   00:00:00 Festival 0.99        OK                           193      58 None
    43   00:00:00 Festival 0.99        OK                           151      45 None
    44   00:00:01 Festival 0.99        OK                           639     141 None
    45   00:00:01 Festival 0.99        OK                           593      99 None
    46   00:00:00 Festival 0.99        OK                           270      66 None
    47   00:00:12 Festival 0.99        OK                           204      42 None
    48   00:00:05 Festival 0.99        OK                           257      39 None
    49   00:00:01 Festival 0.99        OK                           180      44 None
    50   00:00:01 Festival 0.99        OK                           104      25 None
    51   00:00:39 Festival 0.99        OK                           367      62 None
    52   00:00:54 Festival 0.99        OK                           510      55 None
    53   00:00:35 Festival 0.99        OK                           228      53 None
    54   00:00:06 Festival 0.99        OK                           572     148 None
    55   00:00:22 Festival 0.99        OK                          2240     515 None
    56   00:00:11 Festival 0.99        OK                           710     147 None
    57   00:01:01 Festival 0.99        OK                           668     115 None
    58   00:00:01 Festival 0.99        OK                          1193     398 None
    59   00:00:27 Festival 0.99        OK                           865     213 None
    60   00:00:00 Festival 0.99        OK                           556     193 None
    61   00:00:05 Festival 0.99        OK                           707     199 None
    62   00:00:01 Festival 0.99        OK                          1197     259 None
    63   00:00:00 Festival 0.99        OK                           668     253 None
    64   00:00:02 Festival 0.99        OK                           673     137 None
    65   00:00:07 Festival 0.99        OK                          2403     521 None
    66   00:00:01 Festival 0.99        OK                           727     170 None
    67   00:00:03 Festival 0.99        OK                           790     184 None
    68   00:00:07 Festival 0.99        OK                          1571     393 None
    69   00:01:32 Festival 0.99        OK                          1064     241 None
    70   00:07:06 Festival 0.99        OK                          2592     595 None
    71   00:01:54 Festival 0.99        OK                          1170     237 None
    72   00:03:21 Festival 0.99        OK                          1583     605 None
    73   00:00:01 Festival 0.99        OK                          1570     433 None
    74   00:00:10 Festival 0.99        OK                          1892     513 None
    75   00:00:08 Festival 0.99        OK                          4302    1550 None
    76   00:00:08 Festival 0.99        OK                          1705     551 None
    77   00:00:01 Festival 0.99        OK                          2808    1303 None
    78   00:10:00 Festival 0.99        Time limit exceeded                      None
    79   00:10:00 Festival 0.99        Time limit exceeded                      None
    80   00:00:05 Festival 0.99        OK                           330     100 None
    81   00:00:01 Festival 0.99        OK                           189      72 None
    82   00:00:02 Festival 0.99        OK                           300      90 None
    83   00:00:17 Festival 0.99        OK                           537     118 None
    84   00:00:02 Festival 0.99        OK                           277      80 None
    85   00:00:00 Festival 0.99        OK                            48      13 None
    86   00:00:01 Festival 0.99        OK                            90      22 None
    87   00:00:00 Festival 0.99        OK                           826     271 None
    88   00:00:30 Festival 0.99        OK                          1101     271 None
    89   00:00:03 Festival 0.99        OK                           809     200 None
    90   00:00:03 Festival 0.99        OK                          1845     610 None
    91   00:00:00 Festival 0.99        OK                          1029     326 None
    92   00:00:01 Festival 0.99        OK                           611     126 None
    93   00:00:00 Festival 0.99        OK                           553     122 None
    94   00:03:07 Festival 0.99        OK                           875     206 None
    95   00:00:01 Festival 0.99        OK                           721     214 None
    96   00:00:00 Festival 0.99        OK                           745     246 None
    97   00:00:00 Festival 0.99        OK                           568     157 None
    98   00:00:09 Festival 0.99        OK                          3214    1227 None
    99   00:00:02 Festival 0.99        OK                          1530     576 None
   100   00:00:06 Festival 0.99        OK                          2596     771 None
   101   00:00:04 Festival 0.99        OK                          4800    1548 None
   102   00:00:03 Festival 0.99        OK                           325      41 None
   103   00:00:00 Festival 0.99        OK                           141      24 None
   104   00:00:00 Festival 0.99        OK                           179      22 None
   105   00:00:01 Festival 0.99        OK                           797     222 None
   106   00:00:03 Festival 0.99        OK                          1370     374 None
   107   00:00:06 Festival 0.99        OK                          1086     260 None
   108   00:00:00 Festival 0.99        OK                            71      15 None
   109   00:00:06 Festival 0.99        OK                           138      26 None
   110   00:00:04 Festival 0.99        OK                           770     126 None
   111   00:00:33 Festival 0.99        OK                           345      65 None
   112   00:00:17 Festival 0.99        OK                          1377     442 None
   113   00:03:23 Festival 0.99        OK                           749      96 None
   114   00:10:00 Festival 0.99        Time limit exceeded                      None
   115   00:00:36 Festival 0.99        OK                           609     188 None
   116   00:10:00 Festival 0.99        Time limit exceeded                      None
   117   00:00:01 Festival 0.99        OK                           201      32 None
   118   00:10:00 Festival 0.99        Time limit exceeded                      None
   119   00:00:00 Festival 0.99        OK                            75      18 None
   120   00:00:01 Festival 0.99        OK                           125      32 None
   121   00:00:13 Festival 0.99        OK                          1306     298 None
   122   00:00:00 Festival 0.99        OK                           728     196 None
   123   00:00:01 Festival 0.99        OK                          1252     236 None
   124   00:00:36 Festival 0.99        OK                          1300     344 None
   125   00:07:41 Festival 0.99        OK                          2560     551 None
   126   00:00:01 Festival 0.99        OK                           985     260 None
   127   00:04:35 Festival 0.99        OK                           770     122 None
   128   00:00:02 Festival 0.99        OK                           158      30 None
   129   00:00:02 Festival 0.99        OK                          4613     941 None
   130   00:00:04 Festival 0.99        OK                            94      21 None
   131   00:00:01 Festival 0.99        OK                           439      88 None
   132   00:00:00 Festival 0.99        OK                           272      34 None
   133   00:00:01 Festival 0.99        OK                           410      73 None
   134   00:10:00 Festival 0.99        Time limit exceeded                      None
   135   00:00:00 Festival 0.99        OK                           110      17 None
   136   00:00:34 Festival 0.99        OK                           400     101 None
   137   00:00:47 Festival 0.99        OK                           456     118 None
   138   00:01:37 Festival 0.99        OK                           520     156 None
   139   00:08:46 Festival 0.99        OK                          1974     479 None
   140   00:05:02 Festival 0.99        OK                          2543     590 None
   141   00:10:00 Festival 0.99        Time limit exceeded                      None
   142   00:10:00 Festival 0.99        Time limit exceeded                      None
   143   00:00:00 Festival 0.99        OK                          1181     311 None
   144   00:04:17 Festival 0.99        OK                           418     122 None
   145   00:00:12 Festival 0.99        OK                           957     218 None
   146   00:00:12 Festival 0.99        OK                           994     166 None
   147   00:07:09 Festival 0.99        OK                          5308     950 None
   148   00:00:39 Festival 0.99        OK                           413      90 None
   149   00:00:06 Festival 0.99        OK                           165      26 None
   150   00:07:08 Festival 0.99        OK                          1891     190 None
   151   00:03:04 Festival 0.99        OK                          1620     350 None
   152   00:00:01 Festival 0.99        OK                          1035     225 None
   153   00:00:01 Festival 0.99        OK                          1159     241 None
   154   00:10:00 Festival 0.99        Time limit exceeded                      None
   155   00:00:04 Festival 0.99        OK                          1084     229 None
   156   00:00:00 Festival 0.99        OK                           763     221 None
   157   00:00:02 Festival 0.99        OK                          1204     299 None
   158   00:00:00 Festival 0.99        OK                           143      29 None
   159   00:00:01 Festival 0.99        OK                           508      97 None
   160   00:00:00 Festival 0.99        OK                           231      47 None
   161   00:00:01 Festival 0.99        OK                           752     215 None
   162   00:00:00 Festival 0.99        OK                          1292     349 None
   163   00:00:00 Festival 0.99        OK                           591     197 None
   164   00:00:01 Festival 0.99        OK                           686     196 None
   165   00:00:02 Festival 0.99        OK                           693     130 None
   166   00:03:07 Festival 0.99        OK                           833     189 None
   167   00:00:00 Festival 0.99        OK                           501     110 None
   168   00:00:53 Festival 0.99        OK                          1924     444 None
   169   00:00:01 Festival 0.99        OK                           951     291 None
   170   00:00:00 Festival 0.99        OK                           950     226 None
   171   00:00:52 Festival 0.99        OK                          2468     839 None
   172   00:00:04 Festival 0.99        OK                          1016     350 None
   173   00:00:00 Festival 0.99        OK                           525      93 None
   174   00:00:10 Festival 0.99        OK                          1458     439 None
   175   00:00:07 Festival 0.99        OK                          2206     410 None
   176   00:00:01 Festival 0.99        OK                           664     144 None
   177   00:00:07 Festival 0.99        OK                           802     191 None
   178   00:00:02 Festival 0.99        OK                          1423     384 None
   179   00:03:15 Festival 0.99        OK                           842     197 None
   180   00:10:00 Festival 0.99        Time limit exceeded                      None
   181   00:00:00 Festival 0.99        OK                          1009     256 None
   182   00:01:00 Festival 0.99        OK                          1413     418 None
   183   00:00:02 Festival 0.99        OK                          1159     270 None
   184   00:00:32 Festival 0.99        OK                           803     155 None
   185   00:00:00 Festival 0.99        OK                           152      41 None
   186   00:10:00 Festival 0.99        Time limit exceeded                      None
   187   00:00:08 Festival 0.99        OK                          1215     457 None
   188   00:09:50 Festival 0.99        OK                          2954     789 None
   189   00:00:12 Festival 0.99        OK                           806     216 None
   190   00:00:18 Festival 0.99        OK                          1271     348 None
   191   00:00:49 Festival 0.99        OK                           599     113 None
   192   00:00:01 Festival 0.99        OK                           108      25 None
   193   00:00:00 Festival 0.99        OK                           376      58 None
   194   00:00:05 Festival 0.99        OK                          2576     764 None
   195   00:00:07 Festival 0.99        OK                           978     280 None
   196   00:00:14 Festival 0.99        OK                           613      80 None
   197   00:00:01 Festival 0.99        OK                           795     157 None
   198   00:00:00 Festival 0.99        OK                           783     201 None
   199   00:00:00 Festival 0.99        OK                           511     141 None
   200   00:00:10 Festival 0.99        OK                           178      36 None
   201   00:00:13 Festival 0.99        OK                           473      90 None
   202   00:00:01 Festival 0.99        OK                          1708     484 None
   203   00:00:13 Festival 0.99        OK                          1148     267 None
   204   00:10:00 Festival 0.99        Time limit exceeded                      None
   205   00:07:39 Festival 0.99        OK                           799     242 None
   206   00:10:00 Festival 0.99        Time limit exceeded                      None
   207   00:00:03 Festival 0.99        OK                           342      80 None
   208   00:00:02 Festival 0.99        OK                           325      96 None
   209   00:03:21 Festival 0.99        OK                           568     175 None
   210   00:00:09 Festival 0.99        OK                           393      52 None
   211   00:00:01 Festival 0.99        OK                           153      27 None
   212   00:01:27 Festival 0.99        OK                           617     106 None
   213   00:00:11 Festival 0.99        OK                          3188     948 None
   214   00:01:01 Festival 0.99        OK                          1827     435 None
   215   00:00:00 Festival 0.99        OK                           677     150 None
   216   00:00:23 Festival 0.99        OK                          1317     445 None
   217   00:00:01 Festival 0.99        OK                          2449     553 None
   218   00:00:09 Festival 0.99        OK                          1551     529 None
   219   00:00:01 Festival 0.99        OK                          1307     477 None
   220   00:00:08 Festival 0.99        OK                          2677     598 None
   221   00:00:01 Festival 0.99        OK                           613     170 None
   222   00:00:04 Festival 0.99        OK                           119      23 None
   223   00:00:03 Festival 0.99        OK                           196      44 None
   224   00:00:05 Festival 0.99        OK                           283      57 None
   225   00:00:01 Festival 0.99        OK                           128      20 None
   226   00:00:00 Festival 0.99        OK                           107      23 None
   227   00:00:01 Festival 0.99        OK                           124      23 None
   228   00:10:00 Festival 0.99        Time limit exceeded                      None
   229   00:00:02 Festival 0.99        OK                           356     110 None
   230   00:03:25 Festival 0.99        OK                          1097     245 None
   231   00:10:00 Festival 0.99        Time limit exceeded                      None
   232   00:00:31 Festival 0.99        OK                           230      54 None
   233   00:00:02 Festival 0.99        OK                           302      53 None
   234   00:10:00 Festival 0.99        Time limit exceeded                      None
   235   00:01:43 Festival 0.99        OK                           678     175 None
   236   00:00:05 Festival 0.99        OK                          1353     292 None
   237   00:03:59 Festival 0.99        OK                           423     130 None
   238   00:10:00 Festival 0.99        Time limit exceeded                      None
   239   00:01:00 Festival 0.99        OK                           839     245 None
   240   00:00:16 Festival 0.99        OK                          2394     428 None
   241   00:00:02 Festival 0.99        OK                           597     167 None
   242   00:07:11 Festival 0.99        OK                           504     127 None
   243   00:00:01 Festival 0.99        OK                           180      47 None
   244   00:07:12 Festival 0.99        OK                          1233     287 None
   245   00:03:03 Festival 0.99        OK                           356      82 None
   246   00:00:00 Festival 0.99        OK                           455      80 None
   247   00:00:02 Festival 0.99        OK                          1528     399 None
   248   00:03:03 Festival 0.99        OK                          1027     281 None
   249   00:00:07 Festival 0.99        OK                          1030     254 None
   250   00:00:25 Festival 0.99        OK                          1268     280 None
   251   00:10:00 Festival 0.99        Time limit exceeded                      None
   252   00:00:00 Festival 0.99        OK                           780     194 None
   253   00:00:01 Festival 0.99        OK                          1784     470 None
   254   00:00:03 Festival 0.99        OK                          1035     329 None
   255   00:00:31 Festival 0.99        OK                          1165     309 None
   256   00:00:16 Festival 0.99        OK                          1017     253 None
   257   00:00:02 Festival 0.99        OK                          1459     374 None
   258   00:00:31 Festival 0.99        OK                           212      44 None
   259   00:03:09 Festival 0.99        OK                           549     132 None
   260   00:03:19 Festival 0.99        OK                          1148     338 None
   261   00:07:54 Festival 0.99        OK                           687     168 None
   262   00:03:04 Festival 0.99        OK                           475      85 None
   263   00:03:02 Festival 0.99        OK                           356     106 None
   264   00:03:54 Festival 0.99        OK                          2580     567 None
   265   00:00:39 Festival 0.99        OK                           730     185 None
   266   00:10:00 Festival 0.99        Time limit exceeded                      None
   267   00:10:00 Festival 0.99        Time limit exceeded                      None
   268   00:00:08 Festival 0.99        OK                          1679     348 None
   269   00:00:01 Festival 0.99        OK                           117      35 None
   270   00:00:10 Festival 0.99        OK                           536     100 None
   271   00:10:00 Festival 0.99        Time limit exceeded                      None
   272   00:00:01 Festival 0.99        OK                           576      79 None
   273   00:10:00 Festival 0.99        Time limit exceeded                      None
   274   00:00:03 Festival 0.99        OK                          1241     330 None
   275   00:00:01 Festival 0.99        OK                          1535     299 None
   276   00:10:00 Festival 0.99        Time limit exceeded                      None
   277   00:00:00 Festival 0.99        OK                           102      16 None
   278   00:00:06 Festival 0.99        OK                           305      40 None
   279   00:10:00 Festival 0.99        Time limit exceeded                      None
   280   00:00:00 Festival 0.99        OK                           119      28 None
   281   00:10:00 Festival 0.99        Time limit exceeded                      None
   282   00:10:00 Festival 0.99        Time limit exceeded                      None
   283   00:10:00 Festival 0.99        Time limit exceeded                      None
   284   00:10:00 Festival 0.99        Time limit exceeded                      None
   285   00:00:00 Festival 0.99        OK                            54      12 None
   286   00:00:00 Festival 0.99        OK                           261      54 None
   287   00:10:00 Festival 0.99        Time limit exceeded                      None
   288   00:00:18 Festival 0.99        OK                           883     271 None
   289   00:10:00 Festival 0.99        Time limit exceeded                      None
   290   00:00:14 Festival 0.99        OK                          1402     361 None
   291   00:10:00 Festival 0.99        Time limit exceeded                      None
   292   00:10:00 Festival 0.99        Time limit exceeded                      None
   293   00:00:10 Festival 0.99        OK                           906     182 None
   294   00:00:04 Festival 0.99        OK                          2027     456 None
   295   00:10:00 Festival 0.99        Time limit exceeded                      None
   296   00:10:00 Festival 0.99        Time limit exceeded                      None
   297   00:10:00 Festival 0.99        Time limit exceeded                      None
   298   00:00:01 Festival 0.99        OK                           195      48 None
   299   00:00:03 Festival 0.99        OK                           220      49 None
   300   00:04:32 Festival 0.99        OK                           556     102 None
   301   00:10:00 Festival 0.99        Time limit exceeded                      None
   302   00:00:32 Festival 0.99        OK                          3967    1111 None
   303   00:10:00 Festival 0.99        Time limit exceeded                      None
   304   00:10:00 Festival 0.99        Time limit exceeded                      None
   305   00:10:00 Festival 0.99        Time limit exceeded                      None
   306   00:10:00 Festival 0.99        Time limit exceeded                      None
306 09:48:13 Total OK: 266 Failed: 40 226073 57940  :

Moves and pushes statistics are based on the results reported by the plugin(s). The results have not been verified by Sokoban YASC.

Retrieved from "http://www.sokobano.de/wiki/index.php?title=SolverStatistics-festival-ThinkingRabbit-Revenge"
Personal tools