SolverStatistics-sokolution-SvenEgevad

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
(Replaced content with 'Will be updated soon...')
 
Line 1: Line 1:
-
Will be updated soon...
+
;Program: Sokolution 2.01 - Sokoban YASC 1.647
 +
;RAM: 1024 MiB
 +
;Computer: Intel(R) Core(TM) i7-6820HQ CPU @ 2.70 GHz, 16 GiB RAM
 +
;Solving method: Default settings
 +
;Time limit: 600 seconds
 +
 
 +
  Task      Time Plugin              Result                    Moves  Pushes Level
 +
 
 +
      1  00:00:03 Sokolution v2.01    OK                          1121      84 SE 1
 +
      2  00:10:04 Sokolution v2.01    Time limit exceeded                      SE 2
 +
      3  00:04:16 Sokolution v2.01    OK                          1007    165 SE 3
 +
      4  00:00:02 Sokolution v2.01    OK                          574      90 SE 4
 +
      5  00:00:01 Sokolution v2.01    OK                          563      91 SE 5
 +
      6  00:03:08 Sokolution v2.01    OK                          1873    484 SE 6
 +
      7  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 7
 +
      8  00:03:18 Sokolution v2.01    OK                          2008    405 SE 8
 +
      9  00:00:01 Sokolution v2.01    OK                          448      39 SE 9
 +
    10  00:00:22 Sokolution v2.01    OK                          1888    390 SE 10
 +
    11  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 11
 +
    12  00:00:02 Sokolution v2.01    OK                          842    146 SE 12
 +
    13  00:00:02 Sokolution v2.01    OK                          2569    427 SE 13
 +
    14  00:00:01 Sokolution v2.01    OK                          2482    590 SE 14
 +
    15  00:10:09 Sokolution v2.01    Time limit exceeded                      SE 15
 +
    16  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 16
 +
    17  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 17
 +
    18  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 18
 +
    19  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 19
 +
    20  00:00:01 Sokolution v2.01    OK                          2110    134 SE 20
 +
    21  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 21
 +
    22  00:00:01 Sokolution v2.01    OK                          1469    184 SE 22
 +
    23  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 23
 +
    24  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 24
 +
    25  00:00:02 Sokolution v2.01    OK                          492      87 SE 25
 +
    26  00:00:01 Sokolution v2.01    OK                          356      32 SE 26
 +
    27  00:00:01 Sokolution v2.01    OK                          230      32 SE 27
 +
    28            Sokolution v2.01    OK                          249      40 SE 28
 +
    29  00:00:02 Sokolution v2.01    OK                          336      69 SE 29
 +
    30  00:02:11 Sokolution v2.01    OK                          5239    831 SE 30
 +
    31  00:00:02 Sokolution v2.01    OK                          3526    737 SE 31
 +
    32  00:00:01 Sokolution v2.01    OK                          302      24 SE 32
 +
    33  00:00:01 Sokolution v2.01    OK                          738      91 SE 33
 +
    34  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 34
 +
    35  00:00:01 Sokolution v2.01    OK                          229      23 SE 35
 +
    36  00:00:01 Sokolution v2.01    OK                          308      34 SE 36
 +
    37  00:00:02 Sokolution v2.01    OK                          1733    222 SE 37
 +
    38  00:00:01 Sokolution v2.01    OK                          518      94 SE 38
 +
    39  00:02:42 Sokolution v2.01    OK                          3064    195 SE 39
 +
    40  00:00:02 Sokolution v2.01    OK                          721      54 SE 40
 +
    41  00:00:01 Sokolution v2.01    OK                          122      15 SE 41
 +
    42  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 42
 +
    43  00:00:03 Sokolution v2.01    OK                          722    152 SE 43
 +
    44  00:00:01 Sokolution v2.01    OK                            63      10 SE 44
 +
    45  00:00:01 Sokolution v2.01    OK                          1927    468 SE 45
 +
    46  00:00:03 Sokolution v2.01    OK                          1786    236 SE 46
 +
    47  00:00:01 Sokolution v2.01    OK                          3463    510 SE 47
 +
    48  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 48
 +
    49  00:00:45 Sokolution v2.01    OK                          1809    209 SE 49
 +
    50  00:00:01 Sokolution v2.01    OK                            72      15 SE 50
 +
    51  00:00:01 Sokolution v2.01    OK                            69      7 SE 51
 +
    52            Sokolution v2.01    OK                          290      64 SE 52
 +
    53            Sokolution v2.01    OK                          174      34 SE 53
 +
    54            Sokolution v2.01    OK                          182      32 SE 54
 +
    55  00:00:02 Sokolution v2.01    OK                          336      82 SE 55
 +
    56  00:00:01 Sokolution v2.01    OK                          216      20 SE 56
 +
    57            Sokolution v2.01    OK                            60      10 SE 57
 +
    58  00:00:01 Sokolution v2.01    OK                          128      12 SE 58
 +
    59  00:00:02 Sokolution v2.01    OK                          1140      82 SE 59
 +
    60            Sokolution v2.01    OK                          182      20 SE 60
 +
    61            Sokolution v2.01    OK                          844      68 SE 61
 +
    62  00:00:01 Sokolution v2.01    OK                          398      40 SE 62
 +
    63  00:00:01 Sokolution v2.01    OK                          536      46 SE 63
 +
    64            Sokolution v2.01    OK                          239      24 SE 64
 +
    65            Sokolution v2.01    OK                          211      20 SE 65
 +
    66  00:00:02 Sokolution v2.01    OK                          213      44 SE 66
 +
    67  00:00:01 Sokolution v2.01    OK                            94      24 SE 67
 +
    68  00:00:01 Sokolution v2.01    OK                            84      22 SE 68
 +
    69  00:00:01 Sokolution v2.01    OK                          173      30 SE 69
 +
    70  00:00:02 Sokolution v2.01    OK                          218      36 SE 70
 +
    71  00:00:01 Sokolution v2.01    OK                            74      22 SE 71
 +
    72  00:00:01 Sokolution v2.01    OK                          100      28 SE 72
 +
    73  00:00:01 Sokolution v2.01    OK                          251      36 SE 73
 +
    74  00:00:01 Sokolution v2.01    OK                          155      36 SE 74
 +
    75  00:00:01 Sokolution v2.01    OK                            45      10 SE 75
 +
    76  00:00:01 Sokolution v2.01    OK                            47      7 SE 76
 +
    77  00:00:01 Sokolution v2.01    OK                            39      9 SE 77
 +
    78  00:00:01 Sokolution v2.01    OK                            65      17 SE 78
 +
    79  00:00:01 Sokolution v2.01    OK                            95      16 SE 79
 +
    80  00:00:01 Sokolution v2.01    OK                          330      50 SE 80
 +
    81  00:00:01 Sokolution v2.01    OK                          319      24 SE 81
 +
    82  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 82
 +
    83  00:00:01 Sokolution v2.01    OK                          187      24 SE 83
 +
    84  00:00:01 Sokolution v2.01    OK                          309      30 SE 84
 +
    85  00:00:01 Sokolution v2.01    OK                          301      36 SE 85
 +
    86  00:00:01 Sokolution v2.01    OK                          313      16 SE 86
 +
    87  00:00:01 Sokolution v2.01    OK                          121      12 SE 87
 +
    88  00:00:01 Sokolution v2.01    OK                          156      16 SE 88
 +
    89  00:00:01 Sokolution v2.01    OK                          110      12 SE 89
 +
    90  00:00:01 Sokolution v2.01    OK                          156      18 SE 90
 +
    91  00:00:01 Sokolution v2.01    OK                          116      18 SE 91
 +
    92  00:00:01 Sokolution v2.01    OK                          107      16 SE 92
 +
    93  00:00:01 Sokolution v2.01    OK                          333      57 SE 93
 +
    94  00:00:01 Sokolution v2.01    OK                          429      67 SE 94
 +
    95  00:00:01 Sokolution v2.01    OK                          411      63 SE 95
 +
    96  00:00:01 Sokolution v2.01    OK                          203      38 SE 96
 +
    97  00:01:05 Sokolution v2.01    OK                          434      64 SE 97
 +
    98  00:00:01 Sokolution v2.01    OK                          200      38 SE 98
 +
    99  00:00:01 Sokolution v2.01    OK                          192      34 SE 99
 +
    100  00:00:01 Sokolution v2.01    OK                          186      37 SE 100
 +
    101  00:00:01 Sokolution v2.01    OK                          740    115 SE 101
 +
    102  00:00:01 Sokolution v2.01    OK                          603      89 SE 102
 +
    103  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 103
 +
    104  00:00:05 Sokolution v2.01    OK                          741    123 SE 104
 +
    105  00:10:00 Sokolution v2.01    Time limit exceeded                      SE 105
 +
    106  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 106
 +
    107  00:00:02 Sokolution v2.01    OK                          423      59 SE 107
 +
    108  00:00:01 Sokolution v2.01    OK                          326      43 SE 108
 +
    109  00:00:01 Sokolution v2.01    OK                          151      27 SE 109
 +
    110  00:00:01 Sokolution v2.01    OK                          133      23 SE 110
 +
    111  00:00:03 Sokolution v2.01    OK                          569      86 SE 111
 +
    112  00:00:03 Sokolution v2.01    OK                          593      90 SE 112
 +
    113  00:00:02 Sokolution v2.01    OK                          1009    127 SE 113
 +
    114  00:00:08 Sokolution v2.01    OK                          1466    166 SE 114
 +
    115  00:00:04 Sokolution v2.01    OK                          565      73 SE 115
 +
    116  00:00:04 Sokolution v2.01    OK                          576      79 SE 116
 +
    117  00:00:05 Sokolution v2.01    OK                          604      84 SE 117
 +
    118  00:00:05 Sokolution v2.01    OK                          606      84 SE 118
 +
    119  00:00:01 Sokolution v2.01    OK                            90      10 SE 119
 +
    120  00:00:01 Sokolution v2.01    OK                          179      15 SE 120
 +
    121  00:00:01 Sokolution v2.01    OK                          112      12 SE 121
 +
    122  00:00:01 Sokolution v2.01    OK                          170      19 SE 122
 +
    123  00:00:02 Sokolution v2.01    OK                          202      18 SE 123
 +
    124  00:00:01 Sokolution v2.01    OK                          242      23 SE 124
 +
    125  00:00:01 Sokolution v2.01    OK                          262      24 SE 125
 +
    126  00:10:01 Sokolution v2.01    Time limit exceeded                      SE126
 +
    127  00:00:01 Sokolution v2.01    OK                          234      20 SE 127
 +
    128  00:00:01 Sokolution v2.01    OK                          212      19 SE 128
 +
    129  00:00:01 Sokolution v2.01    OK                          116      16 SE 129
 +
    130  00:00:01 Sokolution v2.01    OK                          120      18 SE 130
 +
    131  00:00:01 Sokolution v2.01    OK                          190      36 SE 131
 +
    132  00:00:01 Sokolution v2.01    OK                          265      38 SE 132
 +
    133  00:00:01 Sokolution v2.01    OK                          410      62 SE 133
 +
    134  00:00:01 Sokolution v2.01    OK                          158      26 SE 134
 +
    135  00:00:01 Sokolution v2.01    OK                          134      20 SE 135
 +
    136            Sokolution v2.01    OK                          102      18 SE 136
 +
    137            Sokolution v2.01    OK                          369      44 SE 137
 +
    138            Sokolution v2.01    OK                          237      32 SE 138
 +
    139  00:00:02 Sokolution v2.01    OK                          490      50 SE 139
 +
    140            Sokolution v2.01    OK                          354      42 SE 140
 +
    141  00:00:09 Sokolution v2.01    OK                          1523    299 SE 141
 +
    142  00:00:02 Sokolution v2.01    OK                          334      46 SE 142
 +
    143  00:00:04 Sokolution v2.01    OK                          505      50 SE 143
 +
    144  00:10:03 Sokolution v2.01    Time limit exceeded                      SE 144
 +
    145  00:00:49 Sokolution v2.01    OK                          820    266 SE 145
 +
    146  00:00:09 Sokolution v2.01    OK                          1540    207 SE 146
 +
    147  00:00:02 Sokolution v2.01    OK                          846      70 SE 147
 +
    148  00:00:03 Sokolution v2.01    OK                          414      50 SE 148
 +
    149            Sokolution v2.01    OK                          156      20 SE 149
 +
    150            Sokolution v2.01    OK                          482      48 SE 150
 +
    151  00:00:02 Sokolution v2.01    OK                          690      70 SE 151
 +
    152  00:03:48 Sokolution v2.01    OK                          1517    325 SE 152
 +
    153  00:00:02 Sokolution v2.01    OK                          560      46 SE 153
 +
    154  00:00:01 Sokolution v2.01    OK                          624      68 SE 154
 +
    155  00:00:01 Sokolution v2.01    OK                          1299    120 SE 155
 +
    156  00:00:13 Sokolution v2.01    OK                          1154    110 SE 156
 +
    157  00:00:01 Sokolution v2.01    OK                            72      12 SE 157
 +
    158  00:00:21 Sokolution v2.01    OK                          2677    218 SE 158
 +
    159  00:00:02 Sokolution v2.01    OK                          466      62 SE 159
 +
    160  00:00:02 Sokolution v2.01    OK                          780      78 SE 160
 +
    161  00:00:36 Sokolution v2.01    OK                          1090      90 SE 161
 +
    162  00:00:01 Sokolution v2.01    OK                          410      50 SE 162
 +
    163  00:00:02 Sokolution v2.01    OK                          218      26 SE 163
 +
    164  00:00:05 Sokolution v2.01    OK                          472      52 SE 164
 +
    165  00:00:03 Sokolution v2.01    OK                          252      36 SE 165
 +
    166  00:00:13 Sokolution v2.01    OK                          1450    120 SE 166
 +
    167  00:00:04 Sokolution v2.01    OK                          898      94 SE 167
 +
    168  00:00:02 Sokolution v2.01    OK                          1137    168 SE 168
 +
    169  00:09:42 Sokolution v2.01    OK                          305      55 SE 169
 +
    170  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 170
 +
    171  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 171
 +
    172  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 172
 +
    173  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 173
 +
    174  00:00:01 Sokolution v2.01    OK                          135      28 SE 174
 +
    175  00:00:10 Sokolution v2.01    OK                          637      92 SE 175
 +
    176  00:01:34 Sokolution v2.01    OK                          1923    220 SE 176
 +
    177  00:10:03 Sokolution v2.01    Time limit exceeded                      SE 177
 +
    178  00:10:03 Sokolution v2.01    Time limit exceeded                      SE 178
 +
    179  00:00:01 Sokolution v2.01    OK                            32      4 SE 179
 +
    180  00:00:01 Sokolution v2.01    OK                            45      6 SE 180
 +
    181  00:00:01 Sokolution v2.01    OK                          131      14 SE 181
 +
    182            Sokolution v2.01    OK                          235      36 SE 182
 +
    183  00:02:56 Sokolution v2.01    OK                          1123    134 SE 183
 +
    184  00:00:02 Sokolution v2.01    OK                          194      47 SE 184
 +
    185  00:00:01 Sokolution v2.01    OK                          172      47 SE 185
 +
    186  00:00:01 Sokolution v2.01    OK                          156      41 SE 186
 +
    187  00:00:40 Sokolution v2.01    OK                          1507    234 SE 187
 +
    188  00:01:32 Sokolution v2.01    OK                          1533    124 SE 188
 +
    189  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 189
 +
    190  00:00:01 Sokolution v2.01    OK                            40      8 SE 190
 +
    191  00:00:01 Sokolution v2.01    OK                          174      20 SE 191
 +
    192  00:00:01 Sokolution v2.01    OK                          294      48 SE 192
 +
    193  00:00:01 Sokolution v2.01    OK                          158      31 SE 193
 +
    194  00:00:01 Sokolution v2.01    OK                          408      66 SE 194
 +
    195  00:00:01 Sokolution v2.01    OK                          270      76 SE 195
 +
    196  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 196
 +
    197  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 197
 +
    198  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 198
 +
    199  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 199
 +
    200  00:05:38 Sokolution v2.01    OK                          543      73 SE 200
 +
    201  00:01:12 Sokolution v2.01    OK                          1161    229 SE 201
 +
    202  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 202
 +
    203  00:00:01 Sokolution v2.01    OK                          510      64 SE 203
 +
    204  00:00:23 Sokolution v2.01    OK                          800      92 SE 204
 +
    205  00:10:03 Sokolution v2.01    Time limit exceeded                      SE 205
 +
    206  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 206
 +
    207  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 207
 +
    208  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 208
 +
    209  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 209
 +
    210  00:00:01 Sokolution v2.01    OK                          146      35 SE 210
 +
    211  00:00:08 Sokolution v2.01    OK                          522      72 SE 211
 +
    212  00:00:02 Sokolution v2.01    OK                          786    114 SE 212
 +
    213  00:05:38 Sokolution v2.01    OK                          678    110 SE 213
 +
    214  00:00:35 Sokolution v2.01    OK                          926    114 SE 214
 +
    215  00:00:06 Sokolution v2.01    OK                          722      94 SE 215
 +
    216  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 216
 +
    217  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 217
 +
    218  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 218
 +
    219  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 219
 +
    220  00:02:14 Sokolution v2.01    OK                          900    102 SE 220
 +
    221  00:10:03 Sokolution v2.01    Time limit exceeded                      SE 221
 +
    222  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 222
 +
    223  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 223
 +
    224  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 224
 +
    225  00:10:00 Sokolution v2.01    Time limit exceeded                      SE 225
 +
    226  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 226
 +
    227  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 227
 +
    228  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 228
 +
    229  00:00:03 Sokolution v2.01    OK                          954    162 SE 229
 +
    230  00:00:03 Sokolution v2.01    OK                          1840    346 SE 230
 +
    231  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 231
 +
    232  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 232
 +
    233  00:00:04 Sokolution v2.01    OK                          1206    114 SE 233
 +
    234  00:01:38 Sokolution v2.01    OK                          2817    711 SE 234
 +
    235  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 235
 +
    236  00:00:08 Sokolution v2.01    OK                          819    111 SE 236
 +
    237  00:00:02 Sokolution v2.01    OK                          549      84 SE 237
 +
    238  00:10:00 Sokolution v2.01    Time limit exceeded                      SE 238
 +
    239  00:10:00 Sokolution v2.01    Time limit exceeded                      SE 239
 +
    240  00:02:55 Sokolution v2.01    OK                          3105    643 SE 240
 +
    241  00:00:01 Sokolution v2.01    OK                          505    134 SE 241
 +
    242            Sokolution v2.01    OK                          509    122 SE 242
 +
    243  00:00:01 Sokolution v2.01    OK                          1118    117 SE 243
 +
    244  00:00:01 Sokolution v2.01    OK                          1353    134 SE 244
 +
    245            Sokolution v2.01    OK                          490      44 SE 245
 +
    246  00:00:01 Sokolution v2.01    OK                            88      16 SE 246
 +
    247  00:00:02 Sokolution v2.01    OK                          198      26 SE 247
 +
    248  00:00:01 Sokolution v2.01    OK                            59      16 SE 248
 +
    249  00:00:04 Sokolution v2.01    OK                          735      82 SE 249
 +
    250  00:00:26 Sokolution v2.01    OK                          1410    118 SE 250
 +
    251  00:00:01 Sokolution v2.01    OK                            36      6 SE 251
 +
    252  00:00:01 Sokolution v2.01    OK                            63      10 SE 252
 +
    253  00:00:01 Sokolution v2.01    OK                            59      16 SE 253
 +
    254  00:00:01 Sokolution v2.01    OK                            51      16 SE 254
 +
    255  00:00:01 Sokolution v2.01    OK                            51      16 SE 255
 +
    256  00:00:01 Sokolution v2.01    OK                          192      28 SE 256
 +
    257  00:00:01 Sokolution v2.01    OK                          639    102 SE 257
 +
    258  00:00:01 Sokolution v2.01    OK                          297      30 SE 258
 +
    259  00:00:01 Sokolution v2.01    OK                          431      90 SE 259
 +
    260  00:00:01 Sokolution v2.01    OK                          211      36 SE 260
 +
    261  00:00:01 Sokolution v2.01    OK                          261      55 SE 261
 +
    262  00:00:01 Sokolution v2.01    OK                            35      10 SE 262
 +
    263  00:00:01 Sokolution v2.01    OK                            37      12 SE 263
 +
    264  00:00:01 Sokolution v2.01    OK                            37      12 SE 264
 +
    265  00:00:01 Sokolution v2.01    OK                            71      18 SE 265
 +
    266  00:00:01 Sokolution v2.01    OK                            45      14 SE 266
 +
    267  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 267
 +
    268  00:00:04 Sokolution v2.01    OK                          459      84 SE 268
 +
    269  00:00:01 Sokolution v2.01    OK                            89      27 SE 269
 +
    270  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 270
 +
    271  00:10:05 Sokolution v2.01    Time limit exceeded                      SE 271
 +
    272  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 272
 +
    273  00:10:04 Sokolution v2.01    Time limit exceeded                      SE 273
 +
    274  00:10:04 Sokolution v2.01    Time limit exceeded                      SE 274
 +
    275  00:00:01 Sokolution v2.01    OK                          191      18 SE 275
 +
    276  00:00:01 Sokolution v2.01    OK                          212      28 SE 276
 +
    277  00:00:01 Sokolution v2.01    OK                          261      30 SE 277
 +
    278  00:10:03 Sokolution v2.01    Time limit exceeded                      SE 278
 +
    279  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 279
 +
    280  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 280
 +
    281  00:00:05 Sokolution v2.01    OK                          856    168 SE 281
 +
    282  00:00:01 Sokolution v2.01    OK                          206      40 SE 282
 +
    283  00:00:04 Sokolution v2.01    OK                          519    106 SE 283
 +
    284  00:00:02 Sokolution v2.01    OK                          488      87 SE 284
 +
    285  00:00:02 Sokolution v2.01    OK                          672    107 SE 285
 +
    286  00:00:01 Sokolution v2.01    OK                          269      63 SE 286
 +
    287  00:00:04 Sokolution v2.01    OK                          253      50 SE 287
 +
    288  00:00:02 Sokolution v2.01    OK                          474      80 SE 288
 +
    289  00:00:01 Sokolution v2.01    OK                          1410    238 SE 289
 +
    290  00:00:01 Sokolution v2.01    OK                          311      73 SE 290
 +
    291  00:10:04 Sokolution v2.01    Time limit exceeded                      SE 291
 +
    292  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 292
 +
    293  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 293
 +
    294  00:00:01 Sokolution v2.01    OK                            65      17 SE 294
 +
    295  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 295
 +
    296  00:00:01 Sokolution v2.01    OK                          239      56 SE 296
 +
    297  00:00:05 Sokolution v2.01    OK                          377      84 SE 297
 +
    298  00:00:01 Sokolution v2.01    OK                            64      8 SE 298
 +
    299  00:00:05 Sokolution v2.01    OK                          566      98 SE 299
 +
    300  00:00:03 Sokolution v2.01    OK                          519    116 SE 300
 +
    301  00:10:04 Sokolution v2.01    Time limit exceeded                      SE 301
 +
    302  00:00:01 Sokolution v2.01    OK                          160      15 SE 302
 +
    303            Sokolution v2.01    OK                          203      18 SE 303
 +
    304  00:00:01 Sokolution v2.01    OK                          616      50 SE 304
 +
    305  00:00:01 Sokolution v2.01    OK                          247      28 SE 305
 +
    306  00:00:01 Sokolution v2.01    OK                          323      21 SE 306
 +
    307  00:00:03 Sokolution v2.01    OK                          158      15 SE 307
 +
    308  00:00:01 Sokolution v2.01    OK                          500      48 SE 308
 +
    309  00:00:01 Sokolution v2.01    OK                          504      55 SE 309
 +
    310  00:00:01 Sokolution v2.01    OK                          159      25 SE 310
 +
    311  00:00:01 Sokolution v2.01    OK                          122      18 SE 311
 +
    312  00:00:01 Sokolution v2.01    OK                          792      54 SE 312
 +
    313  00:00:02 Sokolution v2.01    OK                          659      46 SE 313
 +
    314  00:00:01 Sokolution v2.01    OK                          133      22 SE 314
 +
    315  00:00:01 Sokolution v2.01    OK                            93      17 SE 315
 +
    316  00:00:01 Sokolution v2.01    OK                          153      33 SE 316
 +
    317  00:00:01 Sokolution v2.01    OK                          116      24 SE 317
 +
    318  00:00:01 Sokolution v2.01    OK                          273      52 SE 318
 +
    319            Sokolution v2.01    OK                          386      75 SE 319
 +
    320            Sokolution v2.01    OK                          571    109 SE 320
 +
    321            Sokolution v2.01    OK                          120      16 SE 321
 +
    322            Sokolution v2.01    OK                          144      17 SE 322
 +
    323            Sokolution v2.01    OK                          100      13 SE 323
 +
    324            Sokolution v2.01    OK                          235      20 SE 324
 +
    325            Sokolution v2.01    OK                          157      22 SE 325
 +
    326  00:00:04 Sokolution v2.01    OK                          302      28 SE 326
 +
    327  00:00:03 Sokolution v2.01    OK                          408      46 SE 327
 +
    328  00:00:01 Sokolution v2.01    OK                          316      60 SE 328
 +
    329  00:00:02 Sokolution v2.01    OK                          604    116 SE 329
 +
    330  00:00:01 Sokolution v2.01    OK                          141      22 SE 330
 +
    331  00:00:01 Sokolution v2.01    OK                          568      57 SE 331
 +
    332  00:00:01 Sokolution v2.01    OK                          107      24 SE 332
 +
    333  00:00:02 Sokolution v2.01    OK                          248      40 SE 333
 +
    334  00:00:06 Sokolution v2.01    OK                          286      32 SE 334
 +
    335  00:00:01 Sokolution v2.01    OK                            37      11 SE 335
 +
    336  00:00:01 Sokolution v2.01    OK                            40      11 SE 336
 +
    337  00:00:01 Sokolution v2.01    OK                          110      21 SE 337
 +
    338  00:00:01 Sokolution v2.01    OK                          183      23 SE 338
 +
    339  00:00:01 Sokolution v2.01    OK                          198      16 SE 339
 +
    340  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 340
 +
    341  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 341
 +
    342  00:00:02 Sokolution v2.01    OK                          231      34 SE 342
 +
    343  00:00:11 Sokolution v2.01    OK                          734      88 SE 343
 +
    344  00:00:01 Sokolution v2.01    OK                            83      14 SE 344
 +
    345  00:00:02 Sokolution v2.01    OK                          369      40 SE 345
 +
    346  00:00:01 Sokolution v2.01    OK                            49      10 SE 346
 +
    347  00:00:02 Sokolution v2.01    OK                          209      34 SE 347
 +
    348  00:00:01 Sokolution v2.01    OK                          220      32 SE 348
 +
    349            Sokolution v2.01    OK                          246      30 SE 349
 +
    350  00:00:01 Sokolution v2.01    OK                            83      14 SE 350
 +
    351  00:00:01 Sokolution v2.01    OK                            72      20 SE 351
 +
    352  00:00:01 Sokolution v2.01    OK                          189      38 SE 352
 +
    353  00:00:01 Sokolution v2.01    OK                          234      31 SE 353
 +
    354  00:00:01 Sokolution v2.01    OK                          181      30 SE 354
 +
    355  00:00:01 Sokolution v2.01    OK                            70      16 SE 355
 +
    356  00:00:01 Sokolution v2.01    OK                          198      33 SE 356
 +
    357  00:00:01 Sokolution v2.01    OK                          248      36 SE 357
 +
    358  00:00:01 Sokolution v2.01    OK                          156      34 SE 358
 +
    359  00:00:01 Sokolution v2.01    OK                          199      43 SE 359
 +
    360  00:00:01 Sokolution v2.01    OK                          100      20 SE 360
 +
    361  00:00:01 Sokolution v2.01    OK                            98      20 SE 361
 +
    362  00:00:01 Sokolution v2.01    OK                            68      19 SE 362
 +
    363  00:00:01 Sokolution v2.01    OK                          423      51 SE 363
 +
    364  00:00:01 Sokolution v2.01    OK                            74      17 SE 364
 +
    365  00:00:01 Sokolution v2.01    OK                          132      46 SE 365
 +
    366  00:00:01 Sokolution v2.01    OK                          186      52 SE 366
 +
    367  00:00:01 Sokolution v2.01    OK                          202      54 SE 367
 +
    368  00:00:01 Sokolution v2.01    OK                          272      86 SE 368
 +
    369  00:00:01 Sokolution v2.01    OK                          171      36 SE 369
 +
    370  00:00:01 Sokolution v2.01    OK                          165      36 SE 370
 +
    371  00:00:01 Sokolution v2.01    OK                          159      37 SE 371
 +
    372  00:00:01 Sokolution v2.01    OK                          159      37 SE 372
 +
    373  00:00:01 Sokolution v2.01    OK                          167      28 SE 373
 +
    374  00:00:01 Sokolution v2.01    OK                          207      43 SE 374
 +
    375  00:00:01 Sokolution v2.01    OK                          315      57 SE 375
 +
    376  00:00:01 Sokolution v2.01    OK                          154      44 SE 376
 +
    377  00:00:01 Sokolution v2.01    OK                          271      46 SE 377
 +
    378  00:00:01 Sokolution v2.01    OK                          180      35 SE 378
 +
    379  00:00:01 Sokolution v2.01    OK                            97      27 SE 379
 +
    380  00:00:01 Sokolution v2.01    OK                          209      49 SE 380
 +
    381  00:00:01 Sokolution v2.01    OK                          160      26 SE 381
 +
    382  00:00:01 Sokolution v2.01    OK                          124      26 SE 382
 +
    383  00:00:01 Sokolution v2.01    OK                          227      44 SE 383
 +
    384  00:00:01 Sokolution v2.01    OK                          161      38 SE 384
 +
    385  00:00:01 Sokolution v2.01    OK                          131      24 SE 385
 +
    386  00:00:01 Sokolution v2.01    OK                          275      26 SE 386
 +
    387  00:00:01 Sokolution v2.01    OK                          181      27 SE 387
 +
    388  00:00:01 Sokolution v2.01    OK                          528      72 SE 388
 +
    389  00:00:01 Sokolution v2.01    OK                          348      43 SE 389
 +
    390  00:00:01 Sokolution v2.01    OK                          360      48 SE 390
 +
    391  00:00:01 Sokolution v2.01    OK                          398      48 SE 391
 +
    392  00:00:01 Sokolution v2.01    OK                          210      29 SE 392
 +
    393  00:00:01 Sokolution v2.01    OK                          202      29 SE 393
 +
    394  00:00:01 Sokolution v2.01    OK                          368      48 SE 394
 +
    395  00:00:01 Sokolution v2.01    OK                          187      33 SE 395
 +
    396  00:00:01 Sokolution v2.01    OK                          433      41 SE 396
 +
    397  00:00:01 Sokolution v2.01    OK                          179      34 SE 397
 +
    398  00:00:01 Sokolution v2.01    OK                          222      41 SE 398
 +
    399  00:00:01 Sokolution v2.01    OK                          196      42 SE 399
 +
    400  00:00:02 Sokolution v2.01    OK                          161      36 SE 400
 +
    401  00:00:01 Sokolution v2.01    OK                          204      38 SE 401
 +
    402  00:00:01 Sokolution v2.01    OK                          100      27 SE 402
 +
    403  00:00:01 Sokolution v2.01    OK                          242      47 SE 403
 +
    404  00:00:01 Sokolution v2.01    OK                          202      39 SE 404
 +
    405  00:00:01 Sokolution v2.01    OK                          123      20 SE 405
 +
    406            Sokolution v2.01    OK                            71      17 SE 406
 +
    407            Sokolution v2.01    OK                            29      10 SE 407
 +
    408            Sokolution v2.01    OK                            39      15 SE 408
 +
    409            Sokolution v2.01    OK                            86      21 SE 409
 +
    410            Sokolution v2.01    OK                            61      17 SE 410
 +
    411            Sokolution v2.01    OK                            51      17 SE 411
 +
    412            Sokolution v2.01    OK                            47      15 SE 412
 +
    413            Sokolution v2.01    OK                            73      20 SE 413
 +
    414            Sokolution v2.01    OK                            88      23 SE 414
 +
    415            Sokolution v2.01    OK                            84      23 SE 415
 +
    416            Sokolution v2.01    OK                            80      21 SE 416
 +
    417            Sokolution v2.01    OK                            90      23 SE 417
 +
    418            Sokolution v2.01    OK                            66      19 SE 418
 +
    419            Sokolution v2.01    OK                            65      17 SE 419
 +
    420            Sokolution v2.01    OK                            45      16 SE 420
 +
    421            Sokolution v2.01    OK                            94      20 SE 421
 +
    422            Sokolution v2.01    OK                            65      15 SE 422
 +
    423            Sokolution v2.01    OK                            79      20 SE 423
 +
    424            Sokolution v2.01    OK                            66      19 SE 424
 +
    425            Sokolution v2.01    OK                          102      21 SE 425
 +
    426            Sokolution v2.01    OK                            63      16 SE 426
 +
    427            Sokolution v2.01    OK                            57      14 SE 427
 +
    428  00:00:01 Sokolution v2.01    OK                            37      9 SE 428
 +
    429  00:00:01 Sokolution v2.01    OK                            57      9 SE 429
 +
    430  00:00:01 Sokolution v2.01    OK                            49      8 SE 430
 +
    431  00:00:01 Sokolution v2.01    OK                          222      42 SE 431
 +
    432            Sokolution v2.01    OK                          232      52 SE 432
 +
    433            Sokolution v2.01    OK                          276      56 SE 433
 +
    434            Sokolution v2.01    OK                          242      48 SE 434
 +
    435            Sokolution v2.01    OK                          258      44 SE 435
 +
    436            Sokolution v2.01    OK                          105      24 SE 436
 +
    437            Sokolution v2.01    OK                          162      24 SE 437
 +
    438            Sokolution v2.01    OK                          166      22 SE 438
 +
    439            Sokolution v2.01    OK                          194      24 SE 439
 +
    440            Sokolution v2.01    OK                          256      50 SE 440
 +
    441            Sokolution v2.01    OK                          536      86 SE 441
 +
    442            Sokolution v2.01    OK                          606    102 SE 442
 +
    443            Sokolution v2.01    OK                          478      86 SE 443
 +
    444            Sokolution v2.01    OK                          462      84 SE 444
 +
    445            Sokolution v2.01    OK                          285      57 SE 445
 +
    446            Sokolution v2.01    OK                          243      51 SE 446
 +
    447            Sokolution v2.01    OK                          225      58 SE 447
 +
    448            Sokolution v2.01    OK                          193      30 SE 448
 +
    449            Sokolution v2.01    OK                          147      24 SE 449
 +
    450            Sokolution v2.01    OK                          155      45 SE 450
 +
    451  00:00:01 Sokolution v2.01    OK                          111      27 SE 451
 +
    452  00:00:01 Sokolution v2.01    OK                            84      27 SE 452
 +
    453  00:00:01 Sokolution v2.01    OK                            71      27 SE 453
 +
    454  00:00:01 Sokolution v2.01    OK                            30      10 SE 454
 +
    455  00:00:01 Sokolution v2.01    OK                            45      9 SE 455
 +
    456  00:00:01 Sokolution v2.01    OK                          263      65 SE 456
 +
    457  00:00:01 Sokolution v2.01    OK                            78      25 SE 457
 +
    458  00:00:01 Sokolution v2.01    OK                          134      27 SE 458
 +
    459  00:00:01 Sokolution v2.01    OK                          260      43 SE 459
 +
    460  00:00:01 Sokolution v2.01    OK                          117      30 SE 460
 +
    461  00:00:01 Sokolution v2.01    OK                          101      17 SE 461
 +
    462  00:00:01 Sokolution v2.01    OK                          336      43 SE 462
 +
    463  00:00:01 Sokolution v2.01    OK                          338      45 SE 463
 +
    464  00:00:01 Sokolution v2.01    OK                          229      27 SE 464
 +
    465  00:00:01 Sokolution v2.01    OK                          196      37 SE 465
 +
    466  00:00:01 Sokolution v2.01    OK                          402      45 SE 466
 +
    467  00:00:01 Sokolution v2.01    OK                          170      29 SE 467
 +
    468  00:00:01 Sokolution v2.01    OK                          279      38 SE 468
 +
    469  00:00:01 Sokolution v2.01    OK                          240      28 SE 469
 +
    470  00:00:01 Sokolution v2.01    OK                          167      24 SE 470
 +
    471  00:00:01 Sokolution v2.01    OK                          394      72 SE 471
 +
    472  00:00:01 Sokolution v2.01    OK                          412      70 SE 472
 +
    473  00:00:01 Sokolution v2.01    OK                          186      37 SE 473
 +
    474  00:00:01 Sokolution v2.01    OK                            99      33 SE 474
 +
    475  00:00:01 Sokolution v2.01    OK                          124      29 SE 475
 +
    476  00:00:01 Sokolution v2.01    OK                            66      22 SE 476
 +
    477  00:00:01 Sokolution v2.01    OK                            65      22 SE 477
 +
    478  00:00:01 Sokolution v2.01    OK                          114      27 SE 478
 +
    479  00:00:01 Sokolution v2.01    OK                            74      23 SE 479
 +
    480  00:00:01 Sokolution v2.01    OK                            76      25 SE 480
 +
    481  00:00:01 Sokolution v2.01    OK                          204      26 SE 481
 +
    482  00:00:01 Sokolution v2.01    OK                          203      26 SE 482
 +
    483  00:00:01 Sokolution v2.01    OK                          208      28 SE 483
 +
    484  00:00:01 Sokolution v2.01    OK                          207      28 SE 484
 +
    485  00:00:01 Sokolution v2.01    OK                          123      36 SE 485
 +
    486  00:00:01 Sokolution v2.01    OK                          119      24 SE 486
 +
    487  00:00:01 Sokolution v2.01    OK                          111      26 SE 487
 +
    488  00:00:01 Sokolution v2.01    OK                          135      32 SE 488
 +
    489  00:00:01 Sokolution v2.01    OK                          110      28 SE 489
 +
    490  00:00:01 Sokolution v2.01    OK                          109      18 SE 490
 +
    491  00:00:01 Sokolution v2.01    OK                          106      35 SE 491
 +
    492  00:00:01 Sokolution v2.01    OK                          106      37 SE 492
 +
    493  00:00:01 Sokolution v2.01    OK                          162      41 SE 493
 +
    494  00:00:01 Sokolution v2.01    OK                          195      41 SE 494
 +
    495  00:00:01 Sokolution v2.01    OK                          180      40 SE 495
 +
    496  00:00:01 Sokolution v2.01    OK                          175      42 SE 496
 +
    497  00:00:01 Sokolution v2.01    OK                          199      42 SE 497
 +
    498  00:00:01 Sokolution v2.01    OK                          251      50 SE 498
 +
    499  00:00:01 Sokolution v2.01    OK                            89      31 SE 499
 +
    500  00:00:01 Sokolution v2.01    OK                          101      36 SE 500
 +
    501            Sokolution v2.01    OK                            91      31 SE 501
 +
    502  00:00:01 Sokolution v2.01    OK                          135      44 SE 502
 +
    503  00:00:01 Sokolution v2.01    OK                          105      36 SE 503
 +
    504  00:00:01 Sokolution v2.01    OK                            99      35 SE 504
 +
    505  00:00:01 Sokolution v2.01    OK                          148      55 SE 505
 +
    506  00:00:01 Sokolution v2.01    OK                          184      53 SE 506
 +
    507  00:00:01 Sokolution v2.01    OK                          390      84 SE 507
 +
    508  00:00:01 Sokolution v2.01    OK                          297      67 SE 508
 +
    509  00:00:01 Sokolution v2.01    OK                          170      51 SE 509
 +
    510  00:00:01 Sokolution v2.01    OK                            85      26 SE 510
 +
    511  00:00:01 Sokolution v2.01    OK                          248      54 SE 511
 +
    512  00:00:01 Sokolution v2.01    OK                          417      86 SE 512
 +
    513  00:00:01 Sokolution v2.01    OK                          179      50 SE 513
 +
    514  00:00:01 Sokolution v2.01    OK                          398      86 SE 514
 +
    515  00:00:01 Sokolution v2.01    OK                          268      69 SE 515
 +
    516  00:00:01 Sokolution v2.01    OK                          288      69 SE 516
 +
    517  00:00:01 Sokolution v2.01    OK                          123      30 SE 517
 +
    518  00:00:01 Sokolution v2.01    OK                          128      29 SE 518
 +
    519  00:00:01 Sokolution v2.01    OK                          299      90 SE 519
 +
    520  00:00:01 Sokolution v2.01    OK                          267      74 SE 520
 +
    521  00:00:01 Sokolution v2.01    OK                          282      78 SE 521
 +
    522  00:00:01 Sokolution v2.01    OK                          347      96 SE 522
 +
    523  00:00:01 Sokolution v2.01    OK                          330      94 SE 523
 +
    524  00:00:01 Sokolution v2.01    OK                          537      60 SE 524
 +
    525  00:00:01 Sokolution v2.01    OK                          233      48 SE 525
 +
    526  00:00:01 Sokolution v2.01    OK                          267      54 SE 526
 +
    527  00:00:01 Sokolution v2.01    OK                          179      43 SE 527
 +
    528  00:00:01 Sokolution v2.01    OK                          169      43 SE 528
 +
    529  00:00:01 Sokolution v2.01    OK                          247      51 SE 529
 +
    530  00:00:01 Sokolution v2.01    OK                          211      51 SE 530
 +
    531  00:00:01 Sokolution v2.01    OK                          245      51 SE 531
 +
    532  00:00:01 Sokolution v2.01    OK                          243      51 SE 532
 +
    533  00:00:01 Sokolution v2.01    OK                          203      44 SE 533
 +
    534  00:00:01 Sokolution v2.01    OK                            97      31 SE 534
 +
    535  00:00:01 Sokolution v2.01    OK                          110      38 SE 535
 +
    536  00:00:01 Sokolution v2.01    OK                            89      27 SE 536
 +
    537  00:00:01 Sokolution v2.01    OK                          195      48 SE 537
 +
    538  00:00:01 Sokolution v2.01    OK                          224      52 SE 538
 +
    539  00:00:01 Sokolution v2.01    OK                          141      36 SE 539
 +
    540  00:00:01 Sokolution v2.01    OK                          243      55 SE 540
 +
    541            Sokolution v2.01    OK                          207      44 SE 541
 +
    542            Sokolution v2.01    OK                          277      46 SE 542
 +
    543            Sokolution v2.01    OK                          243      42 SE 543
 +
    544            Sokolution v2.01    OK                          293      48 SE 544
 +
    545            Sokolution v2.01    OK                          241      30 SE 545
 +
    546            Sokolution v2.01    OK                          289      40 SE 546
 +
    547            Sokolution v2.01    OK                          235      35 SE 547
 +
    548            Sokolution v2.01    OK                          214      42 SE 548
 +
    549            Sokolution v2.01    OK                          214      30 SE 549
 +
    550            Sokolution v2.01    OK                          215      31 SE 550
 +
    551            Sokolution v2.01    OK                          189      30 SE 551
 +
    552            Sokolution v2.01    OK                          133      16 SE 552
 +
    553            Sokolution v2.01    OK                          165      20 SE 553
 +
    554            Sokolution v2.01    OK                          140      18 SE 554
 +
    555            Sokolution v2.01    OK                          142      23 SE 555
 +
    556            Sokolution v2.01    OK                          132      30 SE 556
 +
    557            Sokolution v2.01    OK                          190      36 SE 557
 +
    558            Sokolution v2.01    OK                          161      30 SE 558
 +
    559  00:00:01 Sokolution v2.01    OK                          365      78 SE 559
 +
    560  00:00:03 Sokolution v2.01    OK                          164      58 SE 560
 +
    561  00:00:01 Sokolution v2.01    OK                          432      86 SE 561
 +
    562  00:00:01 Sokolution v2.01    OK                          342      66 SE 562
 +
    563  00:00:01 Sokolution v2.01    OK                          305      65 SE 563
 +
    564  00:00:01 Sokolution v2.01    OK                          351      76 SE 564
 +
    565  00:00:01 Sokolution v2.01    OK                          270      50 SE 565
 +
    566  00:00:01 Sokolution v2.01    OK                          329      78 SE 566
 +
    567  00:00:01 Sokolution v2.01    OK                          425      82 SE 567
 +
    568  00:00:01 Sokolution v2.01    OK                          314      74 SE 568
 +
    569  00:00:01 Sokolution v2.01    OK                          189      40 SE 569
 +
    570  00:00:01 Sokolution v2.01    OK                          167      24 SE 570
 +
    571  00:00:01 Sokolution v2.01    OK                          116      22 SE 571
 +
    572  00:00:01 Sokolution v2.01    OK                            85      16 SE 572
 +
    573  00:00:01 Sokolution v2.01    OK                            45      10 SE 573
 +
    574  00:00:01 Sokolution v2.01    OK                          124      20 SE 574
 +
    575  00:00:01 Sokolution v2.01    OK                          101      16 SE 575
 +
    576  00:00:01 Sokolution v2.01    OK                          257      44 SE 576
 +
    577            Sokolution v2.01    OK                          270      56 SE 577
 +
    578            Sokolution v2.01    OK                          284      58 SE 578
 +
    579            Sokolution v2.01    OK                          218      50 SE 579
 +
    580            Sokolution v2.01    OK                          260      58 SE 580
 +
    581            Sokolution v2.01    OK                          298      66 SE 581
 +
    582  00:00:01 Sokolution v2.01    OK                          142      38 SE 582
 +
    583  00:00:01 Sokolution v2.01    OK                          109      30 SE 583
 +
    584  00:00:01 Sokolution v2.01    OK                          143      36 SE 584
 +
    585  00:00:01 Sokolution v2.01    OK                          139      34 SE 585
 +
    586  00:00:01 Sokolution v2.01    OK                          117      26 SE 586
 +
    587  00:00:01 Sokolution v2.01    OK                            98      26 SE 587
 +
    588  00:00:01 Sokolution v2.01    OK                          136      34 SE 588
 +
    589  00:00:01 Sokolution v2.01    OK                          120      29 SE 589
 +
    590  00:00:01 Sokolution v2.01    OK                          133      25 SE 590
 +
    591  00:00:01 Sokolution v2.01    OK                          249      36 SE 591
 +
    592  00:00:01 Sokolution v2.01    OK                          285      50 SE 592
 +
    593  00:00:01 Sokolution v2.01    OK                          363      54 SE 593
 +
    594  00:00:01 Sokolution v2.01    OK                          389      66 SE 594
 +
    595  00:00:01 Sokolution v2.01    OK                          423      65 SE 595
 +
    596  00:00:01 Sokolution v2.01    OK                          120      26 SE 596
 +
    597            Sokolution v2.01    OK                          233      34 SE 597
 +
    598  00:00:01 Sokolution v2.01    OK                          281      36 SE 598
 +
    599  00:00:01 Sokolution v2.01    OK                          174      64 SE 599
 +
    600  00:00:01 Sokolution v2.01    OK                          245      66 SE 600
 +
    601  00:00:01 Sokolution v2.01    OK                          217      42 SE 601
 +
    602            Sokolution v2.01    OK                          114      28 SE 602
 +
    603            Sokolution v2.01    OK                          115      28 SE 603
 +
    604  00:00:01 Sokolution v2.01    OK                          155      36 SE 604
 +
    605  00:00:01 Sokolution v2.01    OK                          167      38 SE 605
 +
    606  00:00:01 Sokolution v2.01    OK                          140      34 SE 606
 +
    607  00:00:01 Sokolution v2.01    OK                          152      41 SE 607
 +
    608  00:00:01 Sokolution v2.01    OK                          199      24 SE 608
 +
    609  00:00:01 Sokolution v2.01    OK                          239      32 SE 609
 +
    610  00:00:01 Sokolution v2.01    OK                          216      28 SE 610
 +
    611  00:00:01 Sokolution v2.01    OK                          199      36 SE 611
 +
    612  00:00:01 Sokolution v2.01    OK                          171      30 SE 612
 +
    613  00:00:01 Sokolution v2.01    OK                          115      33 SE 613
 +
    614            Sokolution v2.01    OK                            41      10 SE 614
 +
    615  00:00:01 Sokolution v2.01    OK                            59      16 SE 615
 +
    616  00:00:01 Sokolution v2.01    OK                            77      11 SE 616
 +
    617  00:00:01 Sokolution v2.01    OK                          117      20 SE 617
 +
    618  00:00:01 Sokolution v2.01    OK                          331      60 SE 618
 +
    619  00:00:01 Sokolution v2.01    OK                            90      18 SE 619
 +
    620  00:00:01 Sokolution v2.01    OK                            90      18 SE 620
 +
    621  00:00:01 Sokolution v2.01    OK                          112      20 SE 621
 +
    622  00:00:01 Sokolution v2.01    OK                          125      24 SE 622
 +
    623  00:00:01 Sokolution v2.01    OK                            76      20 SE 623
 +
    624  00:00:01 Sokolution v2.01    OK                            45      15 SE 624
 +
    625  00:00:01 Sokolution v2.01    OK                          144      38 SE 625
 +
    626  00:00:01 Sokolution v2.01    OK                          112      30 SE 626
 +
    627  00:00:01 Sokolution v2.01    OK                          307      65 SE 627
 +
    628  00:00:01 Sokolution v2.01    OK                          157      26 SE 628
 +
    629  00:00:01 Sokolution v2.01    OK                            97      26 SE 629
 +
    630  00:00:01 Sokolution v2.01    OK                          175      33 SE 630
 +
    631  00:00:01 Sokolution v2.01    OK                            81      21 SE 631
 +
    632  00:00:01 Sokolution v2.01    OK                          189      28 SE 632
 +
    633            Sokolution v2.01    OK                          169      28 SE 633
 +
    634            Sokolution v2.01    OK                          161      24 SE 634
 +
    635            Sokolution v2.01    OK                          137      30 SE 635
 +
    636            Sokolution v2.01    OK                          213      41 SE 636
 +
    637  00:00:01 Sokolution v2.01    OK                            85      10 SE 637
 +
    638  00:00:01 Sokolution v2.01    OK                          179      26 SE 638
 +
    639  00:00:01 Sokolution v2.01    OK                          213      38 SE 639
 +
    640            Sokolution v2.01    OK                          453      76 SE 640
 +
    641  00:00:01 Sokolution v2.01    OK                            43      10 SE 641
 +
    642  00:00:01 Sokolution v2.01    OK                          168      32 SE 642
 +
    643  00:00:01 Sokolution v2.01    OK                          207      34 SE 643
 +
    644  00:00:02 Sokolution v2.01    OK                          718    102 SE 644
 +
    645  00:00:01 Sokolution v2.01    OK                          388      55 SE 645
 +
    646  00:00:01 Sokolution v2.01    OK                            50      13 SE 646
 +
    647  00:00:01 Sokolution v2.01    OK                            32      9 SE 647
 +
    648  00:00:01 Sokolution v2.01    OK                          179      29 SE 648
 +
    649  00:00:01 Sokolution v2.01    OK                          205      25 SE 649
 +
    650  00:00:01 Sokolution v2.01    OK                          105      15 SE 650
 +
    651  00:00:01 Sokolution v2.01    OK                            73      11 SE 651
 +
    652  00:00:01 Sokolution v2.01    OK                            72      12 SE 652
 +
    653  00:00:01 Sokolution v2.01    OK                          118      16 SE 653
 +
    654  00:00:01 Sokolution v2.01    OK                          123      17 SE 654
 +
    655  00:00:01 Sokolution v2.01    OK                          200      24 SE 655
 +
    656  00:00:01 Sokolution v2.01    OK                          221      27 SE 656
 +
    657  00:00:01 Sokolution v2.01    OK                          304      38 SE 657
 +
    658  00:00:01 Sokolution v2.01    OK                          377      45 SE 658
 +
    659  00:00:01 Sokolution v2.01    OK                          118      16 SE 659
 +
    660  00:00:01 Sokolution v2.01    OK                          131      17 SE 660
 +
    661            Sokolution v2.01    OK                          144      18 SE 661
 +
    662  00:00:01 Sokolution v2.01    OK                          110      15 SE 662
 +
    663  00:00:01 Sokolution v2.01    OK                          153      17 SE 663
 +
    664  00:00:01 Sokolution v2.01    OK                          218      28 SE 664
 +
    665            Sokolution v2.01    OK                          245      29 SE 665
 +
    666            Sokolution v2.01    OK                          306      34 SE 666
 +
    667            Sokolution v2.01    OK                          393      41 SE 667
 +
    668  00:00:01 Sokolution v2.01    OK                            98      24 SE 668
 +
    669  00:00:01 Sokolution v2.01    OK                            78      20 SE 669
 +
    670  00:00:01 Sokolution v2.01    OK                          202      39 SE 670
 +
    671  00:00:01 Sokolution v2.01    OK                          239      32 SE 671
 +
    672  00:00:01 Sokolution v2.01    OK                            98      21 SE 672
 +
    673  00:00:01 Sokolution v2.01    OK                          116      21 SE 673
 +
    674  00:00:01 Sokolution v2.01    OK                          225      49 SE 674
 +
    675  00:00:01 Sokolution v2.01    OK                            86      21 SE 675
 +
    676  00:00:01 Sokolution v2.01    OK                          139      47 SE 676
 +
    677  00:00:01 Sokolution v2.01    OK                          157      27 SE 677
 +
    678  00:00:01 Sokolution v2.01    OK                          110      26 SE 678
 +
    679  00:00:01 Sokolution v2.01    OK                          150      33 SE 679
 +
    680  00:00:01 Sokolution v2.01    OK                          331      66 SE 680
 +
    681  00:00:01 Sokolution v2.01    OK                          181      44 SE 681
 +
    682  00:00:01 Sokolution v2.01    OK                          199      44 SE 682
 +
    683  00:00:01 Sokolution v2.01    OK                          101      27 SE 683
 +
    684  00:00:01 Sokolution v2.01    OK                          132      25 SE 684
 +
    685  00:00:01 Sokolution v2.01    OK                            76      18 SE 685
 +
    686  00:00:01 Sokolution v2.01    OK                            72      22 SE 686
 +
    687  00:00:01 Sokolution v2.01    OK                          565      54 SE 687
 +
    688  00:00:01 Sokolution v2.01    OK                            48      16 SE 688
 +
    689  00:00:05 Sokolution v2.01    OK                          455      48 SE 689
 +
    690  00:00:03 Sokolution v2.01    OK                          621      80 SE 690
 +
    691  00:00:05 Sokolution v2.01    OK                          613      74 SE 691
 +
    692  00:00:01 Sokolution v2.01    OK                          209      28 SE 692
 +
    693            Sokolution v2.01    OK                          247      23 SE 693
 +
    694            Sokolution v2.01    OK                          365      34 SE 694
 +
    695            Sokolution v2.01    OK                          251      35 SE 695
 +
    696  00:00:01 Sokolution v2.01    OK                          123      26 SE 696
 +
    697  00:00:01 Sokolution v2.01    OK                          117      26 SE 697
 +
    698  00:00:01 Sokolution v2.01    OK                          137      26 SE 698
 +
    699  00:00:01 Sokolution v2.01    OK                          181      34 SE 699
 +
    700  00:00:01 Sokolution v2.01    OK                          151      32 SE 700
 +
    701  00:00:01 Sokolution v2.01    OK                          114      28 SE 701
 +
    702  00:00:01 Sokolution v2.01    OK                          128      30 SE 702
 +
    703  00:00:01 Sokolution v2.01    OK                          124      30 SE 703
 +
    704  00:00:01 Sokolution v2.01    OK                          252      37 SE 704
 +
    705  00:00:01 Sokolution v2.01    OK                          110      27 SE 705
 +
    706  00:00:01 Sokolution v2.01    OK                            76      25 SE 706
 +
    707  00:00:01 Sokolution v2.01    OK                            76      25 SE 707
 +
    708  00:00:01 Sokolution v2.01    OK                          111      23 SE 708
 +
    709  00:00:01 Sokolution v2.01    OK                            87      23 SE 709
 +
    710  00:00:01 Sokolution v2.01    OK                          113      26 SE 710
 +
    711  00:00:01 Sokolution v2.01    OK                            89      26 SE 711
 +
    712  00:00:01 Sokolution v2.01    OK                          113      31 SE 712
 +
    713  00:00:01 Sokolution v2.01    OK                            73      21 SE 713
 +
    714  00:00:01 Sokolution v2.01    OK                          112      31 SE 714
 +
    715  00:00:01 Sokolution v2.01    OK                            93      26 SE 715
 +
    716  00:00:01 Sokolution v2.01    OK                          103      30 SE 716
 +
    717  00:00:01 Sokolution v2.01    OK                          195      43 SE 717
 +
    718  00:00:01 Sokolution v2.01    OK                          223      45 SE 718
 +
    719  00:00:01 Sokolution v2.01    OK                          134      31 SE 719
 +
    720  00:00:01 Sokolution v2.01    OK                          118      33 SE 720
 +
    721  00:00:01 Sokolution v2.01    OK                          206      48 SE 721
 +
    722  00:00:01 Sokolution v2.01    OK                            82      30 SE 722
 +
    723  00:00:01 Sokolution v2.01    OK                          165      34 SE 723
 +
    724  00:00:01 Sokolution v2.01    OK                          162      30 SE 724
 +
    725  00:00:01 Sokolution v2.01    OK                            94      29 SE 725
 +
    726  00:00:01 Sokolution v2.01    OK                            81      24 SE 726
 +
    727  00:00:01 Sokolution v2.01    OK                            71      24 SE 727
 +
    728  00:00:01 Sokolution v2.01    OK                          155      46 SE 728
 +
    729  00:00:01 Sokolution v2.01    OK                            77      29 SE 729
 +
    730  00:00:01 Sokolution v2.01    OK                          131      45 SE 730
 +
    731  00:00:01 Sokolution v2.01    OK                          155      44 SE 731
 +
    732  00:00:01 Sokolution v2.01    OK                          161      40 SE 732
 +
    733  00:00:01 Sokolution v2.01    OK                          123      26 SE 733
 +
    734  00:00:01 Sokolution v2.01    OK                          115      27 SE 734
 +
    735  00:00:01 Sokolution v2.01    OK                          135      26 SE 735
 +
    736  00:00:01 Sokolution v2.01    OK                          130      26 SE 736
 +
    737  00:00:01 Sokolution v2.01    OK                            91      26 SE 737
 +
    738  00:00:01 Sokolution v2.01    OK                          110      24 SE 738
 +
    739  00:00:01 Sokolution v2.01    OK                          113      23 SE 739
 +
    740  00:00:01 Sokolution v2.01    OK                            64      23 SE 740
 +
    741  00:00:01 Sokolution v2.01    OK                          171      39 SE 741
 +
    742  00:00:01 Sokolution v2.01    OK                            87      13 SE 742
 +
    743  00:00:01 Sokolution v2.01    OK                            73      24 SE 743
 +
    744  00:10:14 Sokolution v2.01    Time limit exceeded                      SE 744
 +
    745  00:00:01 Sokolution v2.01    OK                          210      39 SE 745
 +
    746  00:00:01 Sokolution v2.01    OK                          142      43 SE 746
 +
    747  00:00:01 Sokolution v2.01    OK                          136      39 SE 747
 +
    748  00:00:01 Sokolution v2.01    OK                          219      40 SE 748
 +
    749  00:00:01 Sokolution v2.01    OK                          199      38 SE 749
 +
    750  00:00:01 Sokolution v2.01    OK                          194      38 SE 750
 +
    751  00:00:01 Sokolution v2.01    OK                          108      22 SE 751
 +
    752            Sokolution v2.01    OK                            84      18 SE 752
 +
    753            Sokolution v2.01    OK                          126      22 SE 753
 +
    754            Sokolution v2.01    OK                            89      35 SE 754
 +
    755            Sokolution v2.01    OK                            89      35 SE 755
 +
    756  00:00:01 Sokolution v2.01    OK                            68      31 SE 756
 +
    757  00:00:01 Sokolution v2.01    OK                            88      26 SE 757
 +
    758  00:00:01 Sokolution v2.01    OK                            63      25 SE 758
 +
    759  00:00:01 Sokolution v2.01    OK                          106      26 SE 759
 +
    760  00:00:01 Sokolution v2.01    OK                          167      46 SE 760
 +
    761            Sokolution v2.01    OK                          118      40 SE 761
 +
    762  00:00:01 Sokolution v2.01    OK                          102      26 SE 762
 +
    763  00:00:01 Sokolution v2.01    OK                            99      30 SE 763
 +
    764  00:00:01 Sokolution v2.01    OK                            93      24 SE 764
 +
    765  00:00:01 Sokolution v2.01    OK                          100      37 SE 765
 +
    766  00:00:01 Sokolution v2.01    OK                          173      39 SE 766
 +
    767  00:00:01 Sokolution v2.01    OK                          106      30 SE 767
 +
    768  00:00:01 Sokolution v2.01    OK                          127      29 SE 768
 +
    769  00:00:01 Sokolution v2.01    OK                          113      34 SE 769
 +
    770  00:00:01 Sokolution v2.01    OK                          174      44 SE 770
 +
    771  00:00:01 Sokolution v2.01    OK                          152      43 SE 771
 +
    772  00:00:01 Sokolution v2.01    OK                          293      72 SE 772
 +
    773  00:00:01 Sokolution v2.01    OK                          118      45 SE 773
 +
    774  00:00:01 Sokolution v2.01    OK                          189      59 SE 774
 +
    775  00:00:01 Sokolution v2.01    OK                            86      23 SE 775
 +
    776  00:00:01 Sokolution v2.01    OK                            83      26 SE 776
 +
    777  00:00:01 Sokolution v2.01    OK                          261      56 SE 777
 +
    778  00:00:01 Sokolution v2.01    OK                          115      28 SE 778
 +
    779  00:00:03 Sokolution v2.01    OK                          180      45 SE 779
 +
    780  00:00:01 Sokolution v2.01    OK                          374      57 SE 780
 +
    781  00:00:01 Sokolution v2.01    OK                          335      70 SE 781
 +
    782  00:00:01 Sokolution v2.01    OK                          191      44 SE 782
 +
    783  00:00:01 Sokolution v2.01    OK                          178      43 SE 783
 +
    784  00:00:01 Sokolution v2.01    OK                            82      18 SE 784
 +
    785  00:00:01 Sokolution v2.01    OK                          192      26 SE 785
 +
    786  00:00:01 Sokolution v2.01    OK                          126      22 SE 786
 +
    787  00:00:01 Sokolution v2.01    OK                          157      35 SE 787
 +
    788  00:00:01 Sokolution v2.01    OK                          103      24 SE 788
 +
    789  00:00:01 Sokolution v2.01    OK                            92      20 SE 789
 +
    790  00:00:01 Sokolution v2.01    OK                            71      14 SE 790
 +
    791  00:00:01 Sokolution v2.01    OK                            80      19 SE 791
 +
    792  00:00:01 Sokolution v2.01    OK                            56      15 SE 792
 +
    793  00:00:01 Sokolution v2.01    OK                          156      31 SE 793
 +
    794  00:00:01 Sokolution v2.01    OK                            92      19 SE 794
 +
    795  00:00:01 Sokolution v2.01    OK                          115      26 SE 795
 +
    796  00:00:01 Sokolution v2.01    OK                            96      25 SE 796
 +
    797  00:00:01 Sokolution v2.01    OK                            55      17 SE 797
 +
    798  00:00:01 Sokolution v2.01    OK                          214      42 SE 798
 +
    799  00:00:01 Sokolution v2.01    OK                          167      44 SE 799
 +
    800  00:00:01 Sokolution v2.01    OK                          157      44 SE 800
 +
    801  00:00:01 Sokolution v2.01    OK                          156      47 SE 801
 +
    802  00:00:01 Sokolution v2.01    OK                          240      55 SE 802
 +
    803            Sokolution v2.01    OK                          108      24 SE 803
 +
    804  00:00:01 Sokolution v2.01    OK                          886    147 SE 804
 +
    805  00:00:01 Sokolution v2.01    OK                          424      82 SE 805
 +
    806  00:00:01 Sokolution v2.01    OK                          488    102 SE 806
 +
    807  00:00:01 Sokolution v2.01    OK                          1111    190 SE 807
 +
    808            Sokolution v2.01    OK                          474      74 SE 808
 +
    809  00:00:01 Sokolution v2.01    OK                          628      90 SE 809
 +
    810  00:00:01 Sokolution v2.01    OK                          568      74 SE 810
 +
    811  00:00:01 Sokolution v2.01    OK                          257      34 SE 811
 +
    812  00:00:01 Sokolution v2.01    OK                          165      22 SE 812
 +
    813  00:00:01 Sokolution v2.01    OK                          167      25 SE 813
 +
    814  00:00:01 Sokolution v2.01    OK                          297      37 SE 814
 +
    815  00:00:01 Sokolution v2.01    OK                          196      34 SE 815
 +
    816  00:00:01 Sokolution v2.01    OK                          159      28 SE 816
 +
    817  00:00:01 Sokolution v2.01    OK                          183      32 SE 817
 +
    818  00:00:01 Sokolution v2.01    OK                          146      19 SE 818
 +
    819  00:00:01 Sokolution v2.01    OK                          148      20 SE 819
 +
    820  00:00:01 Sokolution v2.01    OK                            82      26 SE 820
 +
    821  00:10:03 Sokolution v2.01    Time limit exceeded                      SE 821
 +
    822  00:00:03 Sokolution v2.01    OK                          787      74 SE 822
 +
    823  00:10:11 Sokolution v2.01    Time limit exceeded                      SE 823
 +
    824  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 824
 +
    825  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 825
 +
    826  00:00:08 Sokolution v2.01    OK                          973    158 SE 826
 +
    827  00:00:22 Sokolution v2.01    OK                          1198    170 SE 827
 +
    828  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 828
 +
    829  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 829
 +
    830  00:00:03 Sokolution v2.01    OK                          562      92 SE 830
 +
    831  00:00:26 Sokolution v2.01    OK                          921    142 SE 831
 +
    832  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 832
 +
    833  00:00:01 Sokolution v2.01    OK                          224      24 SE 833
 +
    834  00:00:01 Sokolution v2.01    OK                          194      24 SE 834
 +
    835  00:00:01 Sokolution v2.01    OK                          237      28 SE 835
 +
    836  00:00:01 Sokolution v2.01    OK                          166      26 SE 836
 +
    837  00:10:08 Sokolution v2.01    Time limit exceeded                      SE 837
 +
    838  00:01:15 Sokolution v2.01    OK                          626    107 SE 838
 +
    839  00:00:01 Sokolution v2.01    OK                          491    102 SE 839
 +
    840  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 840
 +
    841  00:00:03 Sokolution v2.01    OK                          1139    152 SE 841
 +
    842            Sokolution v2.01    Plugin limits preclude p                SE 842
 +
    843  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 843
 +
    844  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 844
 +
    845  00:00:01 Sokolution v2.01    OK                          154      36 SE 845
 +
    846  00:00:01 Sokolution v2.01    OK                          429      86 SE 846
 +
    847  00:00:01 Sokolution v2.01    OK                          303      58 SE 847
 +
    848  00:00:02 Sokolution v2.01    OK                          348      60 SE 848
 +
    849            Sokolution v2.01    OK                          121      18 SE 849
 +
    850  00:00:01 Sokolution v2.01    OK                          509      66 SE 850
 +
    851  00:00:01 Sokolution v2.01    OK                          237      48 SE 851
 +
    852  00:00:01 Sokolution v2.01    OK                          375      68 SE 852
 +
    853            Sokolution v2.01    OK                          129      22 SE 853
 +
    854  00:00:01 Sokolution v2.01    OK                          149      40 SE 854
 +
    855  00:00:02 Sokolution v2.01    OK                          556      88 SE 855
 +
    856  00:00:02 Sokolution v2.01    OK                          277      60 SE 856
 +
    857  00:00:01 Sokolution v2.01    OK                          343      72 SE 857
 +
    858            Sokolution v2.01    OK                          448      55 SE 858
 +
    859  00:00:02 Sokolution v2.01    OK                          701      78 SE 859
 +
    860  00:00:49 Sokolution v2.01    OK                          712    122 SE 860
 +
    861  00:00:28 Sokolution v2.01    OK                          860    117 SE 861
 +
    862  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 862
 +
    863  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 863
 +
    864  00:00:09 Sokolution v2.01    OK                          539      66 SE 864
 +
    865  00:00:48 Sokolution v2.01    OK                          930    108 SE 865
 +
    866  00:00:04 Sokolution v2.01    OK                          892    110 SE 866
 +
    867  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 867
 +
    868  00:00:01 Sokolution v2.01    OK                          156      34 SE 868
 +
    869  00:00:01 Sokolution v2.01    OK                          180      40 SE 869
 +
    870            Sokolution v2.01    OK                          210      31 SE 870
 +
    871  00:00:02 Sokolution v2.01    OK                          2559    308 SE 871
 +
    872  00:00:01 Sokolution v2.01    OK                          145      32 SE 872
 +
    873  00:00:01 Sokolution v2.01    OK                          159      28 SE 873
 +
    874  00:00:02 Sokolution v2.01    OK                          313      74 SE 874
 +
    875  00:00:01 Sokolution v2.01    OK                          155      30 SE 875
 +
    876  00:00:01 Sokolution v2.01    OK                            87      18 SE 876
 +
    877  00:00:01 Sokolution v2.01    OK                            62      12 SE 877
 +
    878  00:00:02 Sokolution v2.01    OK                          271      71 SE 878
 +
    879            Sokolution v2.01    Plugin limits preclude p                SE 879
 +
    880  00:00:01 Sokolution v2.01    OK                          2449    461 SE 880
 +
    881  00:00:02 Sokolution v2.01    OK                          2441    633 SE 881
 +
    882  00:00:01 Sokolution v2.01    OK                          605    126 SE 882
 +
    883  00:00:01 Sokolution v2.01    OK                          451    126 SE 883
 +
    884  00:00:01 Sokolution v2.01    OK                            88      13 SE 884
 +
    885  00:00:01 Sokolution v2.01    OK                          126      17 SE 885
 +
    886  00:00:02 Sokolution v2.01    OK                          562      51 SE 886
 +
    887  00:00:18 Sokolution v2.01    OK                          636      61 SE 887
 +
    888  00:00:09 Sokolution v2.01    OK                          786      51 SE 888
 +
    889  00:00:01 Sokolution v2.01    OK                          266      27 SE 889
 +
    890  00:00:01 Sokolution v2.01    OK                          218      25 SE 890
 +
    891  00:00:01 Sokolution v2.01    OK                          268      32 SE 891
 +
    892  00:00:02 Sokolution v2.01    OK                          252      25 SE 892
 +
    893  00:00:02 Sokolution v2.01    OK                          280      41 SE 893
 +
    894  00:00:01 Sokolution v2.01    OK                          111      28 SE 894
 +
    895  00:00:02 Sokolution v2.01    OK                          746    138 SE 895
 +
    896  00:00:01 Sokolution v2.01    OK                          787      76 SE 896
 +
    897  00:00:01 Sokolution v2.01    OK                          486      81 SE 897
 +
    898  00:00:01 Sokolution v2.01    OK                          259      60 SE 898
 +
    899  00:00:11 Sokolution v2.01    OK                          617      69 SE 899
 +
    900  00:00:03 Sokolution v2.01    OK                          585      52 SE 900
 +
    901  00:00:01 Sokolution v2.01    OK                          726      82 SE 901
 +
    902  00:00:01 Sokolution v2.01    OK                            70      8 SE 902
 +
    903  00:00:01 Sokolution v2.01    OK                          209      30 SE 903
 +
    904  00:00:03 Sokolution v2.01    OK                            72      21 SE 904
 +
    905  00:06:33 Sokolution v2.01    OK                          316      40 SE 905
 +
    906  00:00:03 Sokolution v2.01    OK                            93      36 SE 906
 +
    907  00:00:03 Sokolution v2.01    OK                          106      32 SE 907
 +
    908  00:00:07 Sokolution v2.01    OK                          101      38 SE 908
 +
    909  00:00:01 Sokolution v2.01    OK                          112      24 SE 909
 +
    910  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 910
 +
    911  00:00:02 Sokolution v2.01    OK                          614      48 SE 911
 +
    912  00:00:01 Sokolution v2.01    OK                          254      54 SE 912
 +
    913  00:00:03 Sokolution v2.01    OK                          396      68 SE 913
 +
    914  00:00:01 Sokolution v2.01    OK                          356      60 SE 914
 +
    915  00:00:01 Sokolution v2.01    OK                          434      70 SE 915
 +
    916  00:00:01 Sokolution v2.01    OK                          305      46 SE 916
 +
    917  00:00:01 Sokolution v2.01    OK                          133      18 SE 917
 +
    918  00:00:01 Sokolution v2.01    OK                          230      22 SE 918
 +
    919  00:00:02 Sokolution v2.01    OK                          328      76 SE 919
 +
    920  00:00:05 Sokolution v2.01    OK                          658      78 SE 920
 +
    921  00:00:56 Sokolution v2.01    OK                          458      80 SE 921
 +
    922  00:00:14 Sokolution v2.01    OK                          366      98 SE 922
 +
    923  00:00:01 Sokolution v2.01    OK                          371      70 SE 923
 +
    924  00:00:01 Sokolution v2.01    OK                          144      24 SE 924
 +
    925  00:00:01 Sokolution v2.01    OK                          114      34 SE 925
 +
    926            Sokolution v2.01    OK                          309      69 SE 926
 +
    927  00:00:03 Sokolution v2.01    OK                          379      88 SE 927
 +
    928  00:00:01 Sokolution v2.01    OK                          107      23 SE 928
 +
    929  00:00:01 Sokolution v2.01    OK                          109      25 SE 929
 +
    930  00:00:57 Sokolution v2.01    OK                          1917    324 SE 930
 +
    931  00:00:01 Sokolution v2.01    OK                          393      65 SE 931
 +
    932  00:01:17 Sokolution v2.01    OK                          1996    224 SE 932
 +
    933  00:00:01 Sokolution v2.01    OK                          280      48 SE 933
 +
    934  00:00:01 Sokolution v2.01    OK                          243      36 SE 934
 +
    935  00:00:01 Sokolution v2.01    OK                          192      38 SE 935
 +
    936  00:00:01 Sokolution v2.01    OK                          115      30 SE 936
 +
    937            Sokolution v2.01    OK                          179      30 SE 937
 +
    938  00:00:01 Sokolution v2.01    OK                          121      30 SE 938
 +
    939  00:00:01 Sokolution v2.01    OK                          133      24 SE 939
 +
    940            Sokolution v2.01    OK                          206      43 SE 940
 +
    941  00:00:30 Sokolution v2.01    OK                          313      48 SE 941
 +
    942  00:00:40 Sokolution v2.01    OK                          352      42 SE 942
 +
    943  00:00:14 Sokolution v2.01    OK                          166      34 SE 943
 +
    944  00:00:01 Sokolution v2.01    OK                          326      45 SE 944
 +
    945  00:00:07 Sokolution v2.01    OK                          977    156 SE 945
 +
    946  00:00:01 Sokolution v2.01    OK                          287      32 SE 946
 +
    947  00:00:06 Sokolution v2.01    OK                          666      86 SE 947
 +
    948  00:00:10 Sokolution v2.01    OK                          700      88 SE 948
 +
    949  00:00:03 Sokolution v2.01    OK                          398      54 SE 949
 +
    950  00:00:01 Sokolution v2.01    OK                          236      30 SE 950
 +
    951  00:00:04 Sokolution v2.01    OK                          593    116 SE 951
 +
    952  00:00:01 Sokolution v2.01    OK                            31      11 SE 952
 +
    953  00:00:02 Sokolution v2.01    OK                          436      64 SE 953
 +
    954  00:00:01 Sokolution v2.01    OK                          227      40 SE 954
 +
    955  00:00:01 Sokolution v2.01    OK                          276      51 SE 955
 +
    956  00:00:01 Sokolution v2.01    OK                          350      39 SE 956
 +
    957  00:00:02 Sokolution v2.01    OK                          409      49 SE 957
 +
    958  00:00:02 Sokolution v2.01    OK                          471      57 SE 958
 +
    959  00:00:24 Sokolution v2.01    OK                          745    157 SE 959
 +
    960  00:00:01 Sokolution v2.01    OK                          614    153 SE 960
 +
    961  00:00:01 Sokolution v2.01    OK                          764    162 SE 961
 +
    962  00:00:01 Sokolution v2.01    OK                          260      40 SE 962
 +
    963  00:00:01 Sokolution v2.01    OK                          267      48 SE 963
 +
    964  00:00:28 Sokolution v2.01    OK                          844      72 SE 964
 +
    965  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 965
 +
    966  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 966
 +
    967  00:00:01 Sokolution v2.01    OK                          724    153 SE 967
 +
    968  00:00:01 Sokolution v2.01    OK                          226      28 SE 968
 +
    969  00:00:01 Sokolution v2.01    OK                          199      26 SE 969
 +
    970  00:00:01 Sokolution v2.01    OK                          156      24 SE 970
 +
    971  00:00:01 Sokolution v2.01    OK                          473      68 SE 971
 +
    972  00:00:01 Sokolution v2.01    OK                          313      49 SE 972
 +
    973  00:00:01 Sokolution v2.01    OK                          299      52 SE 973
 +
    974  00:00:01 Sokolution v2.01    OK                          328      54 SE 974
 +
    975  00:00:42 Sokolution v2.01    OK                          444      98 SE 975
 +
    976  00:00:05 Sokolution v2.01    OK                          426      96 SE 976
 +
    977  00:00:03 Sokolution v2.01    OK                          807      90 SE 977
 +
    978  00:03:02 Sokolution v2.01    OK                          2365    186 SE 978
 +
    979  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 979
 +
    980  00:00:08 Sokolution v2.01    OK                          556    118 SE 980
 +
    981  00:00:11 Sokolution v2.01    OK                          533    120 SE 981
 +
    982  00:00:01 Sokolution v2.01    OK                          367      60 SE 982
 +
    983  00:00:01 Sokolution v2.01    OK                          203      32 SE 983
 +
    984  00:00:04 Sokolution v2.01    OK                          738    144 SE 984
 +
    985  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 985
 +
    986  00:10:00 Sokolution v2.01    Time limit exceeded                      SE 986
 +
    987  00:00:28 Sokolution v2.01    OK                          318    104 SE 987
 +
    988  00:00:17 Sokolution v2.01    OK                          565    115 SE 988
 +
    989  00:00:56 Sokolution v2.01    OK                          866    155 SE 989
 +
    990  00:00:01 Sokolution v2.01    OK                          566      74 SE 990
 +
    991  00:00:02 Sokolution v2.01    OK                          373      60 SE 991
 +
    992  00:10:03 Sokolution v2.01    Time limit exceeded                      SE 992
 +
    993  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 993
 +
    994  00:00:01 Sokolution v2.01    OK                          196      58 SE 994
 +
    995  00:00:02 Sokolution v2.01    OK                          360      92 SE 995
 +
    996  00:00:01 Sokolution v2.01    OK                          238      53 SE 996
 +
    997  00:00:01 Sokolution v2.01    OK                          399      98 SE 997
 +
    998  00:00:01 Sokolution v2.01    OK                          618    126 SE 998
 +
    999  00:00:02 Sokolution v2.01    OK                          142      44 SE 999
 +
  1000  00:00:01 Sokolution v2.01    OK                          626    118 SE 1000
 +
  1001  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1001
 +
  1002  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1002
 +
  1003  00:00:15 Sokolution v2.01    OK                          607    111 SE 1003
 +
  1004  00:00:01 Sokolution v2.01    OK                          221      25 SE 1004
 +
  1005  00:00:01 Sokolution v2.01    OK                          360      47 SE 1005
 +
  1006  00:00:03 Sokolution v2.01    OK                          604    122 SE 1006
 +
  1007  00:00:01 Sokolution v2.01    OK                          222      29 SE 1007
 +
  1008  00:00:01 Sokolution v2.01    OK                          120      24 SE 1008
 +
  1009  00:00:01 Sokolution v2.01    OK                          148      29 SE 1009
 +
  1010  00:00:01 Sokolution v2.01    OK                          294      50 SE 1010
 +
  1011            Sokolution v2.01    OK                          291      78 SE 1011
 +
  1012            Sokolution v2.01    OK                          309      70 SE 1012
 +
  1013            Sokolution v2.01    OK                          221      55 SE 1013
 +
  1014  00:01:47 Sokolution v2.01    OK                          1777    324 SE 1014
 +
  1015  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1015
 +
  1016  00:00:22 Sokolution v2.01    OK                          2306    306 SE 1016
 +
  1017  00:10:04 Sokolution v2.01    Time limit exceeded                      SE 1017
 +
  1018  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1018
 +
  1019  00:00:02 Sokolution v2.01    OK                          898      74 SE 1019
 +
  1020  00:00:01 Sokolution v2.01    OK                          449      81 SE 1020
 +
  1021  00:00:04 Sokolution v2.01    OK                          459      62 SE 1021
 +
  1022  00:00:01 Sokolution v2.01    OK                          112      34 SE 1022
 +
  1023  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1023
 +
  1024  00:00:01 Sokolution v2.01    OK                          162      34 SE 1024
 +
  1025  00:00:01 Sokolution v2.01    OK                          276      65 SE 1025
 +
  1026  00:00:17 Sokolution v2.01    OK                          511    111 SE 1026
 +
  1027  00:00:01 Sokolution v2.01    OK                          107      30 SE 1027
 +
  1028  00:00:01 Sokolution v2.01    OK                          243      38 SE 1028
 +
  1029  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1029
 +
  1030  00:00:01 Sokolution v2.01    OK                          520      92 SE 1030
 +
  1031  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1031
 +
  1032  00:00:03 Sokolution v2.01    OK                          778    124 SE 1032
 +
  1033  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1033
 +
  1034  00:00:01 Sokolution v2.01    OK                          430      91 SE 1034
 +
  1035  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1035
 +
  1036  00:01:54 Sokolution v2.01    OK                          1162    261 SE 1036
 +
  1037  00:00:24 Sokolution v2.01    OK                          307      54 SE 1037
 +
  1038  00:00:01 Sokolution v2.01    OK                          368      32 SE 1038
 +
  1039  00:01:38 Sokolution v2.01    OK                          1606    395 SE 1039
 +
  1040  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1040
 +
  1041  00:10:04 Sokolution v2.01    Time limit exceeded                      SE 1041
 +
  1042  00:10:05 Sokolution v2.01    Time limit exceeded                      SE 1042
 +
  1043  00:07:11 Sokolution v2.01    OK                          1821    278 SE 1043
 +
  1044  00:00:01 Sokolution v2.01    OK                          581    162 SE 1044
 +
  1045  00:00:01 Sokolution v2.01    OK                          439    140 SE 1045
 +
  1046  00:00:21 Sokolution v2.01    OK                          316      54 SE 1046
 +
  1047  00:00:02 Sokolution v2.01    OK                          560      74 SE 1047
 +
  1048  00:10:05 Sokolution v2.01    Time limit exceeded                      SE 1048
 +
  1049  00:06:13 Sokolution v2.01    Unsolved                                SE 1049
 +
  1050  00:00:01 Sokolution v2.01    OK                          796    171 SE 1050
 +
  1051  00:00:01 Sokolution v2.01    OK                          364      43 SE 1051
 +
  1052  00:00:02 Sokolution v2.01    OK                          537      64 SE 1052
 +
  1053  00:00:21 Sokolution v2.01    OK                          924    180 SE 1053
 +
  1054  00:00:01 Sokolution v2.01    OK                          180      28 SE 1054
 +
  1055  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1055
 +
  1056  00:00:01 Sokolution v2.01    OK                          103      23 SE 1056
 +
  1057  00:00:01 Sokolution v2.01    OK                          298      54 SE 1057
 +
  1058  00:00:29 Sokolution v2.01    OK                          830    194 SE 1058
 +
  1059  00:00:01 Sokolution v2.01    OK                          712    129 SE 1059
 +
  1060  00:00:05 Sokolution v2.01    OK                          2231    351 SE 1060
 +
  1061  00:00:02 Sokolution v2.01    OK                          1997    309 SE 1061
 +
  1062  00:00:03 Sokolution v2.01    OK                          1620    297 SE 1062
 +
  1063  00:00:02 Sokolution v2.01    OK                          850    129 SE 1063
 +
  1064  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1064
 +
  1065  00:00:11 Sokolution v2.01    OK                          651    100 SE 1065
 +
  1066  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1066
 +
  1067  00:00:11 Sokolution v2.01    OK                          532      80 SE 1067
 +
  1068  00:00:02 Sokolution v2.01    OK                          820    142 SE 1068
 +
  1069  00:00:01 Sokolution v2.01    OK                          130      16 SE 1069
 +
  1070  00:00:01 Sokolution v2.01    OK                          426      56 SE 1070
 +
  1071  00:00:02 Sokolution v2.01    OK                          588    108 SE 1071
 +
  1072  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1072
 +
  1073  00:00:01 Sokolution v2.01    OK                          232      44 SE 1073
 +
  1074  00:00:01 Sokolution v2.01    OK                          522      73 SE 1074
 +
  1075  00:00:02 Sokolution v2.01    OK                          393      54 SE 1075
 +
  1076  00:01:00 Sokolution v2.01    OK                          999    114 SE 1076
 +
  1077  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1077
 +
  1078  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1078
 +
  1079  00:00:04 Sokolution v2.01    OK                          732    116 SE 1079
 +
  1080  00:03:41 Sokolution v2.01    OK                          2306    434 SE 1080
 +
  1081  00:00:01 Sokolution v2.01    OK                          337      44 SE 1081
 +
  1082  00:00:02 Sokolution v2.01    OK                          519      74 SE 1082
 +
  1083  00:01:59 Sokolution v2.01    OK                          818    156 SE 1083
 +
  1084  00:00:01 Sokolution v2.01    OK                          311      38 SE 1084
 +
  1085  00:00:01 Sokolution v2.01    OK                          266      36 SE 1085
 +
  1086  00:00:03 Sokolution v2.01    OK                          410      70 SE 1086
 +
  1087  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1087
 +
  1088  00:00:01 Sokolution v2.01    OK                          349      49 SE 1088
 +
  1089  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1089
 +
  1090  00:00:29 Sokolution v2.01    OK                          514    118 SE 1090
 +
  1091  00:00:12 Sokolution v2.01    OK                          1200    218 SE 1091
 +
  1092  00:00:01 Sokolution v2.01    OK                          483      98 SE 1092
 +
  1093  00:00:01 Sokolution v2.01    OK                          267      52 SE 1093
 +
  1094  00:00:14 Sokolution v2.01    OK                          631    122 SE 1094
 +
  1095  00:00:21 Sokolution v2.01    OK                          1445    168 SE 1095
 +
  1096  00:00:12 Sokolution v2.01    OK                          905    112 SE 1096
 +
  1097  00:00:01 Sokolution v2.01    OK                          229      50 SE 1097
 +
  1098  00:00:01 Sokolution v2.01    OK                          346    102 SE 1098
 +
  1099  00:00:01 Sokolution v2.01    OK                          392    124 SE 1099
 +
  1100  00:00:01 Sokolution v2.01    OK                          185      28 SE 1100
 +
  1101  00:00:09 Sokolution v2.01    OK                          376      63 SE 1101
 +
  1102  00:00:01 Sokolution v2.01    OK                          343      46 SE 1102
 +
  1103  00:00:01 Sokolution v2.01    OK                          235      59 SE 1103
 +
  1104  00:00:01 Sokolution v2.01    OK                          327      65 SE 1104
 +
  1105            Sokolution v2.01    OK                          262      59 SE 1105
 +
  1106  00:00:01 Sokolution v2.01    OK                          245      42 SE 1106
 +
  1107  00:00:03 Sokolution v2.01    OK                          613    104 SE 1107
 +
  1108  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1108
 +
  1109  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1109
 +
  1110  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1110
 +
  1111  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1111
 +
  1112  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1112
 +
  1113  00:00:01 Sokolution v2.01    OK                          253      40 SE 1113
 +
  1114  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1114
 +
  1115  00:00:01 Sokolution v2.01    OK                          312      53 SE 1115
 +
  1116  00:00:01 Sokolution v2.01    OK                          312      32 SE 1116
 +
  1117  00:00:01 Sokolution v2.01    OK                          274      36 SE 1117
 +
  1118  00:00:01 Sokolution v2.01    OK                          266      45 SE 1118
 +
  1119  00:00:01 Sokolution v2.01    OK                          188      44 SE 1119
 +
  1120  00:00:15 Sokolution v2.01    OK                          532    113 SE 1120
 +
  1121  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1121
 +
  1122  00:10:03 Sokolution v2.01    Time limit exceeded                      SE 1122
 +
  1123  00:00:05 Sokolution v2.01    OK                          721    100 SE 1123
 +
  1124  00:00:02 Sokolution v2.01    OK                          267      41 SE 1124
 +
  1125  00:00:13 Sokolution v2.01    OK                          707      78 SE 1125
 +
  1126  00:00:01 Sokolution v2.01    OK                          199      39 SE 1126
 +
  1127  00:00:01 Sokolution v2.01    OK                          250      52 SE 1127
 +
  1128  00:00:05 Sokolution v2.01    OK                          891    151 SE 1128
 +
  1129  00:10:00 Sokolution v2.01    Time limit exceeded                      SE 1129
 +
  1130  00:00:01 Sokolution v2.01    OK                          783    231 SE 1130
 +
  1131  00:00:03 Sokolution v2.01    OK                          326      53 SE 1131
 +
  1132  00:00:11 Sokolution v2.01    OK                          510      84 SE 1132
 +
  1133  00:00:35 Sokolution v2.01    OK                          762    114 SE 1133
 +
  1134  00:00:22 Sokolution v2.01    OK                          521      48 SE 1134
 +
  1135  00:00:08 Sokolution v2.01    OK                          163      24 SE 1135
 +
  1136  00:00:01 Sokolution v2.01    OK                          577      47 SE 1136
 +
  1137  00:05:58 Sokolution v2.01    OK                          665      94 SE 1137
 +
  1138  00:00:01 Sokolution v2.01    OK                          277      45 SE 1138
 +
  1139  00:00:17 Sokolution v2.01    OK                          678      71 SE 1139
 +
  1140  00:00:01 Sokolution v2.01    OK                            54      17 SE 1140
 +
  1141  00:00:02 Sokolution v2.01    OK                          438      78 SE 1141
 +
  1142            Sokolution v2.01    OK                            73      13 SE 1142
 +
  1143  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1143
 +
  1144  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1144
 +
  1145  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1145
 +
  1146  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1146
 +
  1147  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1147
 +
  1148  00:00:01 Sokolution v2.01    OK                          407      62 SE 1148
 +
  1149  00:00:02 Sokolution v2.01    OK                          870    102 SE 1149
 +
  1150  00:00:03 Sokolution v2.01    OK                          1209    124 SE 1150
 +
  1151  00:00:05 Sokolution v2.01    OK                          704      60 SE 1151
 +
  1152  00:00:01 Sokolution v2.01    OK                          436      78 SE 1152
 +
  1153  00:07:56 Sokolution v2.01    Unsolved                                SE 1153
 +
  1154  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1154
 +
  1155  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1155
 +
  1156  00:00:01 Sokolution v2.01    OK                          213      69 SE 1156
 +
  1157  00:00:01 Sokolution v2.01    OK                          368      81 SE 1157
 +
  1158  00:00:03 Sokolution v2.01    OK                          388      89 SE 1158
 +
  1159  00:00:08 Sokolution v2.01    OK                          560    121 SE 1159
 +
  1160  00:00:24 Sokolution v2.01    OK                          626    131 SE 1160
 +
  1161  00:00:04 Sokolution v2.01    OK                          451      94 SE 1161
 +
  1162  00:03:11 Sokolution v2.01    OK                          805    208 SE 1162
 +
  1163  00:00:01 Sokolution v2.01    OK                            55      13 SE 1163
 +
  1164  00:00:01 Sokolution v2.01    OK                          154      32 SE 1164
 +
  1165  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1165
 +
  1166  00:00:49 Sokolution v2.01    OK                          518      96 SE 1166
 +
  1167  00:00:01 Sokolution v2.01    OK                          119      29 SE 1167
 +
  1168  00:01:44 Sokolution v2.01    OK                          840    175 SE 1168
 +
  1169  00:00:01 Sokolution v2.01    OK                            21      7 SE 1169
 +
  1170  00:00:01 Sokolution v2.01    OK                            40      11 SE 1170
 +
  1171  00:00:01 Sokolution v2.01    OK                            54      15 SE 1171
 +
  1172  00:00:06 Sokolution v2.01    OK                          1457    171 SE 1172
 +
  1173  00:00:32 Sokolution v2.01    OK                          1735    206 SE 1173
 +
  1174  00:00:01 Sokolution v2.01    OK                          1440    129 SE 1174
 +
  1175  00:00:02 Sokolution v2.01    OK                          1315    115 SE 1175
 +
  1176  00:10:05 Sokolution v2.01    Time limit exceeded                      SE 1176
 +
  1177  00:00:01 Sokolution v2.01    OK                            69      12 SE 1177
 +
  1178  00:00:12 Sokolution v2.01    OK                          841    152 SE 1178
 +
  1179  00:00:01 Sokolution v2.01    OK                            88      21 SE 1179
 +
  1180  00:00:01 Sokolution v2.01    OK                          303      50 SE 1180
 +
  1181  00:00:01 Sokolution v2.01    OK                          215      40 SE 1181
 +
  1182  00:00:01 Sokolution v2.01    OK                          258      43 SE 1182
 +
  1183  00:00:01 Sokolution v2.01    OK                          330      55 SE 1183
 +
  1184  00:00:03 Sokolution v2.01    OK                          682    129 SE 1184
 +
  1185  00:02:15 Sokolution v2.01    OK                          1295    233 SE 1185
 +
  1186  00:00:01 Sokolution v2.01    OK                          105      14 SE 1186
 +
  1187  00:02:48 Sokolution v2.01    OK                          1998    254 SE 1187
 +
  1188  00:00:01 Sokolution v2.01    OK                          266      41 SE 1188
 +
  1189  00:00:01 Sokolution v2.01    OK                          546      80 SE 1189
 +
  1190  00:00:01 Sokolution v2.01    OK                          256      48 SE 1190
 +
  1191            Sokolution v2.01    OK                          212      25 SE 1191
 +
  1192  00:00:01 Sokolution v2.01    OK                          135      13 SE 1192
 +
  1193  00:00:01 Sokolution v2.01    OK                          628      68 SE 1193
 +
  1194  00:00:04 Sokolution v2.01    OK                          1061      76 SE 1194
 +
  1195  00:00:01 Sokolution v2.01    OK                          516      49 SE 1195
 +
  1196  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1196
 +
  1197  00:00:01 Sokolution v2.01    OK                          1518    158 SE 1197
 +
  1198  00:00:01 Sokolution v2.01    OK                          1326    174 SE 1198
 +
  1199  00:00:01 Sokolution v2.01    OK                          854    107 SE 1199
 +
  1200  00:00:12 Sokolution v2.01    OK                          1634    218 SE 1200
 +
  1201  00:00:01 Sokolution v2.01    OK                            57      16 SE 1201
 +
  1202  00:00:03 Sokolution v2.01    OK                          456      68 SE 1202
 +
  1203  00:00:01 Sokolution v2.01    OK                          163      32 SE 1203
 +
  1204  00:00:01 Sokolution v2.01    OK                          238      39 SE 1204
 +
  1205  00:00:01 Sokolution v2.01    OK                          295      48 SE 1205
 +
  1206  00:00:01 Sokolution v2.01    OK                          158      36 SE 1206
 +
  1207  00:00:02 Sokolution v2.01    OK                          201      46 SE 1207
 +
  1208  00:00:02 Sokolution v2.01    OK                          759      90 SE 1208
 +
  1209  00:00:02 Sokolution v2.01    OK                          822      88 SE 1209
 +
  1210  00:00:01 Sokolution v2.01    OK                          751    110 SE 1210
 +
  1211  00:02:38 Sokolution v2.01    OK                          1445    212 SE 1211
 +
  1212  00:00:53 Sokolution v2.01    OK                          1186    233 SE 1212
 +
  1213  00:00:02 Sokolution v2.01    OK                          1314    190 SE 1213
 +
  1214  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1214
 +
  1215  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1215
 +
  1216  00:00:19 Sokolution v2.01    OK                          2406    158 SE 1216
 +
  1217  00:00:05 Sokolution v2.01    OK                          605    126 SE 1217
 +
  1218  00:00:06 Sokolution v2.01    OK                          537      70 SE 1218
 +
  1219  00:00:02 Sokolution v2.01    OK                          578      74 SE 1219
 +
  1220  00:00:01 Sokolution v2.01    OK                          302      55 SE 1220
 +
  1221  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1221
 +
  1222  00:00:01 Sokolution v2.01    OK                          218      36 SE 1222
 +
  1223  00:00:01 Sokolution v2.01    OK                          159      36 SE 1223
 +
  1224  00:00:01 Sokolution v2.01    OK                          125      24 SE 1224
 +
  1225  00:00:07 Sokolution v2.01    OK                          370      76 SE 1225
 +
  1226  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1226
 +
  1227  00:00:05 Sokolution v2.01    OK                          579    111 SE 1227
 +
  1228  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1228
 +
  1229  00:00:01 Sokolution v2.01    OK                          585      48 SE 1229
 +
  1230  00:00:01 Sokolution v2.01    OK                          134      28 SE 1230
 +
  1231  00:00:01 Sokolution v2.01    OK                          451      89 SE 1231
 +
  1232  00:00:01 Sokolution v2.01    OK                          428    102 SE 1232
 +
  1233  00:00:01 Sokolution v2.01    OK                          375      80 SE 1233
 +
  1234  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1234
 +
  1235  00:00:02 Sokolution v2.01    OK                          1652    430 SE 1235
 +
  1236  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1236
 +
  1237  00:00:01 Sokolution v2.01    OK                          104      15 SE 1237
 +
  1238  00:00:01 Sokolution v2.01    OK                          166      42 SE 1238
 +
  1239  00:00:18 Sokolution v2.01    OK                          567    114 SE 1239
 +
  1240  00:00:01 Sokolution v2.01    OK                          390      47 SE 1240
 +
  1241  00:00:01 Sokolution v2.01    OK                          271      55 SE 1241
 +
  1242  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1242
 +
  1243  00:00:01 Sokolution v2.01    OK                          343      65 SE 1243
 +
  1244  00:02:07 Sokolution v2.01    OK                          1843    218 SE 1244
 +
  1245  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1245
 +
  1246  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1246
 +
  1247  00:00:02 Sokolution v2.01    OK                          891    126 SE 1247
 +
  1248  00:00:08 Sokolution v2.01    OK                          1146    148 SE 1248
 +
  1249  00:09:20 Sokolution v2.01    OK                          1840    391 SE 1249
 +
  1250  00:00:02 Sokolution v2.01    OK                          617      70 SE 1250
 +
  1251  00:01:08 Sokolution v2.01    OK                          1165    132 SE 1251
 +
  1252  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1252
 +
  1253  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1253
 +
  1254  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1254
 +
  1255  00:00:05 Sokolution v2.01    OK                          2459    308 SE 1255
 +
  1256  00:05:09 Sokolution v2.01    OK                          966    196 SE 1256
 +
  1257  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1257
 +
  1258  00:00:01 Sokolution v2.01    OK                            98      23 SE 1258
 +
  1259  00:00:01 Sokolution v2.01    OK                          246      53 SE 1259
 +
  1260            Sokolution v2.01    OK                          384      61 SE 1260
 +
  1261            Sokolution v2.01    OK                          262      53 SE 1261
 +
  1262  00:00:09 Sokolution v2.01    OK                          308      69 SE 1262
 +
  1263  00:00:01 Sokolution v2.01    OK                          212      48 SE 1263
 +
  1264  00:00:21 Sokolution v2.01    OK                          698    138 SE 1264
 +
  1265  00:00:01 Sokolution v2.01    OK                          283      80 SE 1265
 +
  1266  00:00:01 Sokolution v2.01    OK                          333      71 SE 1266
 +
  1267  00:00:08 Sokolution v2.01    OK                          692    111 SE 1267
 +
  1268  00:00:07 Sokolution v2.01    OK                          725    196 SE 1268
 +
  1269  00:00:01 Sokolution v2.01    OK                          391      92 SE 1269
 +
  1270  00:00:01 Sokolution v2.01    OK                          237      51 SE 1270
 +
  1271  00:00:01 Sokolution v2.01    OK                          530      88 SE 1271
 +
  1272  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1272
 +
  1273  00:04:40 Sokolution v2.01    Unsolved                                SE 1273
 +
  1274  00:00:01 Sokolution v2.01    OK                          152      30 SE 1274
 +
  1275  00:00:01 Sokolution v2.01    OK                          1308    164 SE 1275
 +
  1276  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1276
 +
  1277  00:00:01 Sokolution v2.01    OK                          230      58 SE 1277
 +
  1278  00:00:01 Sokolution v2.01    OK                          263      63 SE 1278
 +
  1279  00:00:07 Sokolution v2.01    OK                          1342    224 SE 1279
 +
  1280  00:00:02 Sokolution v2.01    OK                          660    116 SE 1280
 +
  1281  00:00:01 Sokolution v2.01    OK                          427      99 SE 1281
 +
  1282  00:00:01 Sokolution v2.01    OK                          206      45 SE 1282
 +
  1283  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1283
 +
  1284  00:00:04 Sokolution v2.01    OK                          1359    259 SE 1284
 +
  1285  00:00:22 Sokolution v2.01    OK                          748    146 SE 1285
 +
  1286  00:00:01 Sokolution v2.01    OK                          330      52 SE 1286
 +
  1287  00:00:24 Sokolution v2.01    OK                          1063    208 SE 1287
 +
  1288  00:10:03 Sokolution v2.01    Time limit exceeded                      SE 1288
 +
  1289  00:00:01 Sokolution v2.01    OK                          628    107 SE 1289
 +
  1290  00:00:01 Sokolution v2.01    OK                          258      59 SE 1290
 +
  1291  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1291
 +
  1292  00:00:02 Sokolution v2.01    OK                          451      97 SE 1292
 +
  1293  00:00:01 Sokolution v2.01    OK                          326      34 SE 1293
 +
  1294  00:00:04 Sokolution v2.01    OK                          1304    128 SE 1294
 +
  1295  00:00:01 Sokolution v2.01    OK                          655      96 SE 1295
 +
  1296  00:00:01 Sokolution v2.01    OK                          374    109 SE 1296
 +
  1297  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1297
 +
  1298  00:10:00 Sokolution v2.01    Time limit exceeded                      SE 1298
 +
  1299  00:00:01 Sokolution v2.01    OK                          280      60 SE 1299
 +
  1300  00:00:01 Sokolution v2.01    OK                          879    109 SE 1300
 +
  1301  00:00:03 Sokolution v2.01    OK                          799    103 SE 1301
 +
  1302  00:00:02 Sokolution v2.01    OK                          678    124 SE 1302
 +
  1303  00:00:02 Sokolution v2.01    OK                          247      52 SE 1303
 +
  1304  00:00:02 Sokolution v2.01    OK                          510    107 SE 1304
 +
  1305  00:00:02 Sokolution v2.01    OK                          840    114 SE 1305
 +
  1306  00:00:01 Sokolution v2.01    OK                          627    136 SE 1306
 +
  1307  00:00:03 Sokolution v2.01    OK                          1530    234 SE 1307
 +
  1308  00:00:01 Sokolution v2.01    OK                          463      81 SE 1308
 +
  1309  00:00:01 Sokolution v2.01    OK                          683    113 SE 1309
 +
  1310  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1310
 +
  1311  00:00:04 Sokolution v2.01    OK                          733    158 SE 1311
 +
  1312  00:00:01 Sokolution v2.01    OK                          354      74 SE 1312
 +
  1313  00:00:01 Sokolution v2.01    OK                          425      77 SE 1313
 +
  1314  00:00:04 Sokolution v2.01    OK                          1372    216 SE 1314
 +
  1315  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1315
 +
  1316  00:00:01 Sokolution v2.01    OK                          326      70 SE 1316
 +
  1317  00:00:01 Sokolution v2.01    OK                          347      48 SE 1317
 +
  1318  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1318
 +
  1319  00:00:01 Sokolution v2.01    OK                          272      46 SE 1319
 +
  1320  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1320
 +
  1321  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1321
 +
  1322  00:00:01 Sokolution v2.01    OK                          296      34 SE 1322
 +
  1323  00:00:18 Sokolution v2.01    OK                          514      64 SE 1323
 +
  1324  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1324
 +
  1325  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1325
 +
  1326  00:00:01 Sokolution v2.01    OK                          316      30 SE 1326
 +
  1327  00:00:45 Sokolution v2.01    OK                          553      86 SE 1327
 +
  1328  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1328
 +
  1329  00:10:03 Sokolution v2.01    Time limit exceeded                      SE 1329
 +
  1330  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1330
 +
  1331  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1331
 +
  1332  00:10:03 Sokolution v2.01    Time limit exceeded                      SE 1332
 +
  1333  00:00:01 Sokolution v2.01    OK                          709    163 SE 1333
 +
  1334  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1334
 +
  1335  00:00:02 Sokolution v2.01    OK                          799      95 SE 1335
 +
  1336  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1336
 +
  1337  00:00:01 Sokolution v2.01    OK                          280      50 SE 1337
 +
  1338  00:00:01 Sokolution v2.01    OK                          582      54 SE 1338
 +
  1339  00:00:03 Sokolution v2.01    OK                          890    134 SE 1339
 +
  1340  00:00:02 Sokolution v2.01    OK                          572      86 SE 1340
 +
  1341  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1341
 +
  1342  00:10:05 Sokolution v2.01    Time limit exceeded                      SE 1342
 +
  1343  00:00:14 Sokolution v2.01    OK                          1115    149 SE 1343
 +
  1344  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1344
 +
  1345  00:00:02 Sokolution v2.01    OK                          376    102 SE 1345
 +
  1346  00:00:01 Sokolution v2.01    OK                          110      24 SE 1346
 +
  1347  00:01:12 Sokolution v2.01    OK                          1078    156 SE 1347
 +
  1348  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1348
 +
  1349  00:00:01 Sokolution v2.01    OK                          470      88 SE 1349
 +
  1350  00:00:03 Sokolution v2.01    OK                          590    118 SE 1350
 +
  1351  00:00:01 Sokolution v2.01    OK                          191      52 SE 1351
 +
  1352  00:00:04 Sokolution v2.01    OK                          387    116 SE 1352
 +
  1353  00:00:02 Sokolution v2.01    OK                          1051    184 SE 1353
 +
  1354  00:00:02 Sokolution v2.01    OK                          845    164 SE 1354
 +
  1355  00:00:04 Sokolution v2.01    OK                          678    111 SE 1355
 +
  1356  00:00:01 Sokolution v2.01    OK                          365      96 SE 1356
 +
  1357  00:00:10 Sokolution v2.01    OK                          592    139 SE 1357
 +
  1358  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1358
 +
  1359  00:00:27 Sokolution v2.01    OK                          262      55 SE 1359
 +
  1360  00:00:01 Sokolution v2.01    OK                          265      50 SE 1360
 +
  1361  00:00:04 Sokolution v2.01    OK                          1244    186 SE 1361
 +
  1362  00:01:54 Sokolution v2.01    OK                          2659    392 SE 1362
 +
  1363  00:00:04 Sokolution v2.01    OK                          603    176 SE 1363
 +
  1364  00:00:01 Sokolution v2.01    OK                          715      59 SE 1364
 +
  1365  00:00:01 Sokolution v2.01    OK                          725    172 SE 1365
 +
  1366  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1366
 +
  1367  00:00:13 Sokolution v2.01    OK                          1427    235 SE 1367
 +
  1368  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1368
 +
  1369  00:00:01 Sokolution v2.01    OK                          510      71 SE 1369
 +
  1370  00:00:01 Sokolution v2.01    OK                          616    100 SE 1370
 +
  1371  00:00:01 Sokolution v2.01    OK                          546      64 SE 1371
 +
  1372  00:00:02 Sokolution v2.01    OK                          302      67 SE 1372
 +
  1373  00:00:03 Sokolution v2.01    OK                          622    128 SE 1373
 +
  1374  00:00:01 Sokolution v2.01    OK                          234      25 SE 1374
 +
  1375            Sokolution v2.01    OK                          398      41 SE 1375
 +
  1376  00:00:01 Sokolution v2.01    OK                          570      60 SE 1376
 +
  1377  00:00:06 Sokolution v2.01    OK                          1015    216 SE 1377
 +
  1378  00:00:02 Sokolution v2.01    OK                          429      82 SE 1378
 +
  1379  00:05:24 Sokolution v2.01    OK                          2676    527 SE 1379
 +
  1380  00:00:16 Sokolution v2.01    OK                          327      84 SE 1380
 +
  1381  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1381
 +
  1382  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1382
 +
  1383  00:00:09 Sokolution v2.01    OK                          1631    426 SE 1383
 +
  1384  00:00:01 Sokolution v2.01    OK                          558      82 SE 1384
 +
  1385            Sokolution v2.01    OK                          229      54 SE 1385
 +
  1386  00:00:01 Sokolution v2.01    OK                          152      23 SE 1386
 +
  1387  00:00:02 Sokolution v2.01    OK                          667      94 SE 1387
 +
  1388            Sokolution v2.01    OK                          344      46 SE 1388
 +
  1389  00:00:37 Sokolution v2.01    OK                          485      96 SE 1389
 +
  1390  00:03:24 Sokolution v2.01    OK                          825    216 SE 1390
 +
  1391  00:00:01 Sokolution v2.01    OK                          256      30 SE 1391
 +
  1392  00:00:40 Sokolution v2.01    OK                          992      96 SE 1392
 +
  1393  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1393
 +
  1394  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1394
 +
  1395  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1395
 +
  1396  00:00:01 Sokolution v2.01    OK                          243      65 SE 1396
 +
  1397            Sokolution v2.01    OK                          445      83 SE 1397
 +
  1398  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1398
 +
  1399  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1399
 +
  1400  00:00:01 Sokolution v2.01    OK                          115      22 SE 1400
 +
  1401  00:00:05 Sokolution v2.01    OK                          810    110 SE 1401
 +
  1402  00:00:01 Sokolution v2.01    OK                            76      18 SE 1402
 +
  1403  00:00:02 Sokolution v2.01    OK                          520      46 SE 1403
 +
  1404  00:00:02 Sokolution v2.01    OK                          498      52 SE 1404
 +
  1405  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1405
 +
  1406  00:00:01 Sokolution v2.01    OK                          379      63 SE 1406
 +
  1407  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1407
 +
  1408  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1408
 +
  1409  00:00:16 Sokolution v2.01    OK                          742      86 SE 1409
 +
  1410  00:00:09 Sokolution v2.01    OK                          664      74 SE 1410
 +
  1411  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1411
 +
  1412  00:00:01 Sokolution v2.01    OK                          247      34 SE 1412
 +
  1413  00:00:01 Sokolution v2.01    OK                          276      31 SE 1413
 +
  1414  00:00:14 Sokolution v2.01    OK                          980    144 SE 1414
 +
  1415  00:01:30 Sokolution v2.01    OK                          1150    178 SE 1415
 +
  1416  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1416
 +
  1417  00:00:05 Sokolution v2.01    OK                          1006    164 SE 1417
 +
  1418  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1418
 +
  1419  00:00:02 Sokolution v2.01    OK                          967    167 SE 1419
 +
  1420  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1420
 +
  1421  00:00:45 Sokolution v2.01    OK                          630      88 SE 1421
 +
  1422  00:00:01 Sokolution v2.01    OK                          204      27 SE 1422
 +
  1423  00:00:01 Sokolution v2.01    OK                          504      94 SE 1423
 +
  1424  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1424
 +
  1425  00:00:31 Sokolution v2.01    OK                          1854    267 SE 1425
 +
  1426  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1426
 +
  1427  00:00:01 Sokolution v2.01    OK                            68      16 SE 1427
 +
  1428  00:00:02 Sokolution v2.01    OK                          798      60 SE 1428
 +
  1429  00:00:01 Sokolution v2.01    OK                          310      45 SE 1429
 +
  1430  00:00:05 Sokolution v2.01    OK                          510      98 SE 1430
 +
  1431  00:00:01 Sokolution v2.01    OK                          316      55 SE 1431
 +
  1432  00:00:01 Sokolution v2.01    OK                          232      60 SE 1432
 +
  1433  00:00:01 Sokolution v2.01    OK                          172      37 SE 1433
 +
  1434  00:00:57 Sokolution v2.01    OK                          2008    280 SE 1434
 +
  1435  00:01:14 Sokolution v2.01    OK                          2371    367 SE 1435
 +
  1436  00:00:01 Sokolution v2.01    OK                          1615    232 SE 1436
 +
  1437  00:00:02 Sokolution v2.01    OK                          589    160 SE 1437
 +
  1438  00:00:01 Sokolution v2.01    OK                          200      46 SE 1438
 +
  1439  00:00:01 Sokolution v2.01    OK                          155      30 SE 1439
 +
  1440  00:00:01 Sokolution v2.01    OK                          224      37 SE 1440
 +
  1441  00:00:01 Sokolution v2.01    OK                          301      45 SE 1441
 +
  1442  00:02:14 Sokolution v2.01    OK                          1146    160 SE 1442
 +
  1443  00:00:02 Sokolution v2.01    OK                          927    102 SE 1443
 +
  1444  00:00:01 Sokolution v2.01    OK                          183      31 SE 1444
 +
  1445  00:00:01 Sokolution v2.01    OK                          513      98 SE 1445
 +
  1446  00:00:01 Sokolution v2.01    OK                          646    112 SE 1446
 +
  1447  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1447
 +
  1448  00:00:01 Sokolution v2.01    OK                          296      60 SE 1448
 +
  1449  00:01:50 Sokolution v2.01    OK                          2055    308 SE 1449
 +
  1450  00:00:01 Sokolution v2.01    OK                          227      65 SE 1450
 +
  1451  00:00:01 Sokolution v2.01    OK                          205      55 SE 1451
 +
  1452            Sokolution v2.01    OK                          790    111 SE 1452
 +
  1453  00:02:17 Sokolution v2.01    OK                          1063    190 SE 1453
 +
  1454  00:10:00 Sokolution v2.01    Time limit exceeded                      SE 1454
 +
  1455  00:00:01 Sokolution v2.01    OK                          229      43 SE 1455
 +
  1456  00:00:01 Sokolution v2.01    OK                          205      29 SE 1456
 +
  1457  00:09:03 Sokolution v2.01    OK                          795    171 SE 1457
 +
  1458  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1458
 +
  1459  00:10:00 Sokolution v2.01    Time limit exceeded                      SE 1459
 +
  1460  00:00:01 Sokolution v2.01    OK                          570      66 SE 1460
 +
  1461  00:00:07 Sokolution v2.01    OK                          791    136 SE 1461
 +
  1462  00:10:00 Sokolution v2.01    Time limit exceeded                      SE 1462
 +
  1463  00:03:06 Sokolution v2.01    OK                          789    182 SE 1463
 +
  1464  00:00:01 Sokolution v2.01    OK                          706    164 SE 1464
 +
  1465  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1465
 +
  1466  00:00:01 Sokolution v2.01    OK                          434    102 SE 1466
 +
  1467  00:00:01 Sokolution v2.01    OK                          392      49 SE 1467
 +
  1468  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1468
 +
  1469  00:00:01 Sokolution v2.01    OK                          478    107 SE 1469
 +
  1470  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1470
 +
  1471  00:00:01 Sokolution v2.01    OK                          313      53 SE 1471
 +
  1472  00:00:05 Sokolution v2.01    OK                          1155    188 SE 1472
 +
  1473  00:00:01 Sokolution v2.01    OK                          539    111 SE 1473
 +
  1474  00:00:01 Sokolution v2.01    OK                          362      66 SE 1474
 +
  1475  00:00:01 Sokolution v2.01    OK                          329      52 SE 1475
 +
  1476  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1476
 +
  1477  00:00:02 Sokolution v2.01    OK                          1557    335 SE 1477
 +
  1478  00:00:01 Sokolution v2.01    OK                          140      36 SE 1478
 +
  1479  00:00:01 Sokolution v2.01    OK                          458      90 SE 1479
 +
  1480  00:00:41 Sokolution v2.01    OK                          681    131 SE 1480
 +
  1481  00:00:01 Sokolution v2.01    OK                          158      26 SE 1481
 +
  1482  00:00:02 Sokolution v2.01    OK                          586    102 SE 1482
 +
  1483  00:00:01 Sokolution v2.01    OK                          518      48 SE 1483
 +
  1484  00:00:01 Sokolution v2.01    OK                          187      33 SE 1484
 +
  1485            Sokolution v2.01    OK                          169      25 SE 1485
 +
  1486  00:00:27 Sokolution v2.01    OK                          1020    176 SE 1486
 +
  1487  00:00:01 Sokolution v2.01    OK                          383      68 SE 1487
 +
  1488  00:00:02 Sokolution v2.01    OK                          850    120 SE 1488
 +
  1489  00:00:02 Sokolution v2.01    OK                          874    108 SE 1489
 +
  1490  00:00:01 Sokolution v2.01    OK                          293      78 SE 1490
 +
  1491  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1491
 +
  1492  00:00:01 Sokolution v2.01    OK                          380      98 SE 1492
 +
  1493  00:00:01 Sokolution v2.01    OK                          345      64 SE 1493
 +
  1494  00:00:01 Sokolution v2.01    OK                          241      66 SE 1494
 +
  1495  00:00:01 Sokolution v2.01    OK                          324      72 SE 1495
 +
  1496  00:00:01 Sokolution v2.01    OK                          175      52 SE 1496
 +
  1497  00:00:03 Sokolution v2.01    OK                          815    226 SE 1497
 +
  1498            Sokolution v2.01    OK                          200      44 SE 1498
 +
  1499            Sokolution v2.01    OK                          388      76 SE 1499
 +
  1500            Sokolution v2.01    OK                          131      31 SE 1500
 +
  1501  00:00:02 Sokolution v2.01    OK                          572      64 SE 1501
 +
  1502  00:00:02 Sokolution v2.01    OK                          593    126 SE 1502
 +
  1503  00:00:01 Sokolution v2.01    OK                          386      44 SE 1503
 +
  1504  00:00:01 Sokolution v2.01    OK                          437      48 SE 1504
 +
  1505  00:00:01 Sokolution v2.01    OK                          231      32 SE 1505
 +
  1506  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1506
 +
  1507  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1507
 +
  1508  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1508
 +
  1509  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1509
 +
  1510  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1510
 +
  1511  00:00:03 Sokolution v2.01    OK                          432      76 SE 1511
 +
  1512  00:00:01 Sokolution v2.01    OK                          116      20 SE 1512
 +
  1513  00:10:03 Sokolution v2.01    Time limit exceeded                      SE 1513
 +
  1514  00:00:01 Sokolution v2.01    OK                          760    118 SE 1514
 +
  1515  00:07:26 Sokolution v2.01    Unsolved                                SE 1515
 +
  1516  00:00:11 Sokolution v2.01    OK                          510    128 SE 1516
 +
  1517  00:01:18 Sokolution v2.01    OK                          683    117 SE 1517
 +
  1518  00:00:01 Sokolution v2.01    OK                          230      38 SE 1518
 +
  1519  00:00:01 Sokolution v2.01    OK                          449      78 SE 1519
 +
  1520  00:00:02 Sokolution v2.01    OK                          676    144 SE 1520
 +
  1521            Sokolution v2.01    OK                          475      70 SE 1521
 +
  1522  00:00:01 Sokolution v2.01    OK                          612      84 SE 1522
 +
  1523  00:00:01 Sokolution v2.01    OK                          756      96 SE 1523
 +
  1524  00:00:01 Sokolution v2.01    OK                            82      18 SE 1524
 +
  1525  00:00:01 Sokolution v2.01    OK                          277      36 SE 1525
 +
  1526  00:00:01 Sokolution v2.01    OK                          148      23 SE 1526
 +
  1527  00:00:01 Sokolution v2.01    OK                          287      62 SE 1527
 +
  1528  00:00:03 Sokolution v2.01    OK                          379      70 SE 1528
 +
  1529  00:00:01 Sokolution v2.01    OK                          130      26 SE 1529
 +
  1530  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1530
 +
  1531  00:00:01 Sokolution v2.01    OK                          634      48 SE 1531
 +
  1532  00:00:01 Sokolution v2.01    OK                          531      64 SE 1532
 +
  1533  00:00:03 Sokolution v2.01    OK                          2086    240 SE 1533
 +
  1534  00:00:01 Sokolution v2.01    OK                          619      92 SE 1534
 +
  1535            Sokolution v2.01    OK                          221      34 SE 1535
 +
  1536            Sokolution v2.01    OK                          615      91 SE 1536
 +
  1537  00:00:01 Sokolution v2.01    OK                          602      62 SE 1537
 +
  1538  00:00:01 Sokolution v2.01    OK                          258      55 SE 1538
 +
  1539            Sokolution v2.01    OK                          332      45 SE 1539
 +
  1540            Sokolution v2.01    OK                          354      51 SE 1540
 +
  1541            Sokolution v2.01    OK                          658      75 SE 1541
 +
  1542  00:00:08 Sokolution v2.01    OK                          858    150 SE 1542
 +
  1543  00:00:01 Sokolution v2.01    OK                          319      43 SE 1543
 +
  1544            Sokolution v2.01    OK                          304      50 SE 1544
 +
  1545            Sokolution v2.01    OK                          164      30 SE 1545
 +
  1546  00:00:03 Sokolution v2.01    OK                          594      78 SE 1546
 +
  1547  00:00:07 Sokolution v2.01    OK                          773    109 SE 1547
 +
  1548  00:00:01 Sokolution v2.01    OK                          183      54 SE 1548
 +
  1549            Sokolution v2.01    OK                          122      37 SE 1549
 +
  1550  00:00:02 Sokolution v2.01    OK                          441      80 SE 1550
 +
  1551  00:00:04 Sokolution v2.01    OK                          710    110 SE 1551
 +
  1552  00:00:01 Sokolution v2.01    OK                          227      27 SE 1552
 +
  1553  00:00:01 Sokolution v2.01    OK                          339      38 SE 1553
 +
  1554            Sokolution v2.01    OK                          647      90 SE 1554
 +
  1555  00:00:10 Sokolution v2.01    OK                          399      92 SE 1555
 +
  1556  00:00:01 Sokolution v2.01    OK                          603    122 SE 1556
 +
  1557  00:00:01 Sokolution v2.01    OK                          724      68 SE 1557
 +
  1558            Sokolution v2.01    OK                          313      50 SE 1558
 +
  1559            Sokolution v2.01    OK                            90      16 SE 1559
 +
  1560  00:10:00 Sokolution v2.01    Time limit exceeded                      SE 1560
 +
  1561  00:00:02 Sokolution v2.01    OK                          1064    247 SE 1561
 +
  1562  00:00:01 Sokolution v2.01    OK                          372      66 SE 1562
 +
  1563  00:00:01 Sokolution v2.01    OK                          639    121 SE 1563
 +
  1564  00:00:01 Sokolution v2.01    OK                          376      76 SE 1564
 +
  1565  00:00:02 Sokolution v2.01    OK                          728    148 SE 1565
 +
  1566  00:01:19 Sokolution v2.01    OK                          5495    789 SE 1566
 +
  1567  00:00:02 Sokolution v2.01    OK                          707    175 SE 1567
 +
  1568  00:00:01 Sokolution v2.01    OK                          194      37 SE 1568
 +
  1569            Sokolution v2.01    OK                          304      42 SE 1569
 +
  1570  00:00:06 Sokolution v2.01    OK                          412      88 SE 1570
 +
  1571  00:00:01 Sokolution v2.01    OK                            76      24 SE 1571
 +
  1572  00:00:27 Sokolution v2.01    OK                          1060    150 SE 1572
 +
  1573  00:01:06 Sokolution v2.01    OK                          1764    176 SE 1573
 +
  1574  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1574
 +
  1575  00:00:01 Sokolution v2.01    OK                          141      34 SE 1575
 +
  1576            Sokolution v2.01    OK                          132      36 SE 1576
 +
  1577  00:00:01 Sokolution v2.01    OK                            53      16 SE 1577
 +
  1578  00:00:01 Sokolution v2.01    OK                          203      50 SE 1578
 +
  1579            Sokolution v2.01    OK                          242      35 SE 1579
 +
  1580  00:00:02 Sokolution v2.01    OK                          357      78 SE 1580
 +
  1581  00:00:01 Sokolution v2.01    OK                          245      50 SE 1581
 +
  1582            Sokolution v2.01    OK                          124      38 SE 1582
 +
  1583  00:00:05 Sokolution v2.01    OK                          2296    370 SE 1583
 +
  1584  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1584
 +
  1585  00:00:01 Sokolution v2.01    OK                          121      27 SE 1585
 +
  1586  00:00:01 Sokolution v2.01    OK                          135      11 SE 1586
 +
  1587  00:00:05 Sokolution v2.01    OK                          1395    124 SE 1587
 +
  1588  00:00:01 Sokolution v2.01    OK                          722      56 SE 1588
 +
  1589  00:00:04 Sokolution v2.01    OK                          1695    152 SE 1589
 +
  1590  00:00:01 Sokolution v2.01    OK                          340      30 SE 1590
 +
  1591  00:00:01 Sokolution v2.01    OK                          242      32 SE 1591
 +
  1592  00:00:01 Sokolution v2.01    OK                          453      96 SE 1592
 +
  1593  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1593
 +
  1594  00:00:01 Sokolution v2.01    OK                          308      54 SE 1594
 +
  1595  00:00:02 Sokolution v2.01    OK                          617    127 SE 1595
 +
  1596  00:00:01 Sokolution v2.01    OK                          358      60 SE 1596
 +
  1597  00:10:00 Sokolution v2.01    Time limit exceeded                      SE 1597
 +
  1598  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1598
 +
  1599  00:00:01 Sokolution v2.01    OK                          174      35 SE 1599
 +
  1600  00:00:01 Sokolution v2.01    OK                            78      16 SE 1600
 +
  1601  00:00:01 Sokolution v2.01    OK                            64      14 SE 1601
 +
  1602  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1602
 +
  1603  00:00:01 Sokolution v2.01    OK                          341      54 SE 1603
 +
  1604  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1604
 +
  1605  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1605
 +
  1606  00:00:01 Sokolution v2.01    OK                          238      54 SE 1606
 +
  1607  00:10:02 Sokolution v2.01    Time limit exceeded                      SE 1607
 +
  1608  00:00:01 Sokolution v2.01    OK                          1393    178 SE 1608
 +
  1609  00:00:03 Sokolution v2.01    OK                          1601    219 SE 1609
 +
  1610  00:00:02 Sokolution v2.01    OK                          471    123 SE 1610
 +
  1611            Sokolution v2.01    OK                          935    146 SE 1611
 +
  1612  00:00:11 Sokolution v2.01    OK                          939    152 SE 1612
 +
  1613  00:00:01 Sokolution v2.01    OK                          293      48 SE 1613
 +
  1614  00:00:01 Sokolution v2.01    OK                          266      42 SE 1614
 +
  1615            Sokolution v2.01    OK                          259      43 SE 1615
 +
  1616  00:00:01 Sokolution v2.01    OK                          513      95 SE 1616
 +
  1617  00:00:01 Sokolution v2.01    OK                          780    124 SE 1617
 +
  1618            Sokolution v2.01    OK                          219      32 SE 1618
 +
  1619  00:00:01 Sokolution v2.01    OK                          610    103 SE 1619
 +
  1620  00:00:23 Sokolution v2.01    OK                          3032    418 SE 1620
 +
  1621  00:00:10 Sokolution v2.01    OK                          1957    249 SE 1621
 +
  1622  00:00:01 Sokolution v2.01    OK                          811      78 SE 1622
 +
  1623  00:10:01 Sokolution v2.01    Time limit exceeded                      SE 1623
 +
 
 +
  1623  40:55:52 Total                OK: 1397 Failed: 226      611660  100561

Current revision as of 21:53, 20 November 2017

Program
Sokolution 2.01 - Sokoban YASC 1.647
RAM
1024 MiB
Computer
Intel(R) Core(TM) i7-6820HQ CPU @ 2.70 GHz, 16 GiB RAM
Solving method
Default settings
Time limit
600 seconds 
  Task       Time Plugin               Result                     Moves  Pushes Level

     1   00:00:03 Sokolution v2.01     OK                          1121      84 SE 1
     2   00:10:04 Sokolution v2.01     Time limit exceeded                      SE 2
     3   00:04:16 Sokolution v2.01     OK                          1007     165 SE 3
     4   00:00:02 Sokolution v2.01     OK                           574      90 SE 4
     5   00:00:01 Sokolution v2.01     OK                           563      91 SE 5
     6   00:03:08 Sokolution v2.01     OK                          1873     484 SE 6
     7   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 7
     8   00:03:18 Sokolution v2.01     OK                          2008     405 SE 8
     9   00:00:01 Sokolution v2.01     OK                           448      39 SE 9
    10   00:00:22 Sokolution v2.01     OK                          1888     390 SE 10
    11   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 11
    12   00:00:02 Sokolution v2.01     OK                           842     146 SE 12
    13   00:00:02 Sokolution v2.01     OK                          2569     427 SE 13
    14   00:00:01 Sokolution v2.01     OK                          2482     590 SE 14
    15   00:10:09 Sokolution v2.01     Time limit exceeded                      SE 15
    16   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 16
    17   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 17
    18   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 18
    19   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 19
    20   00:00:01 Sokolution v2.01     OK                          2110     134 SE 20
    21   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 21
    22   00:00:01 Sokolution v2.01     OK                          1469     184 SE 22
    23   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 23
    24   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 24
    25   00:00:02 Sokolution v2.01     OK                           492      87 SE 25
    26   00:00:01 Sokolution v2.01     OK                           356      32 SE 26
    27   00:00:01 Sokolution v2.01     OK                           230      32 SE 27
    28            Sokolution v2.01     OK                           249      40 SE 28
    29   00:00:02 Sokolution v2.01     OK                           336      69 SE 29
    30   00:02:11 Sokolution v2.01     OK                          5239     831 SE 30
    31   00:00:02 Sokolution v2.01     OK                          3526     737 SE 31
    32   00:00:01 Sokolution v2.01     OK                           302      24 SE 32
    33   00:00:01 Sokolution v2.01     OK                           738      91 SE 33
    34   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 34
    35   00:00:01 Sokolution v2.01     OK                           229      23 SE 35
    36   00:00:01 Sokolution v2.01     OK                           308      34 SE 36
    37   00:00:02 Sokolution v2.01     OK                          1733     222 SE 37
    38   00:00:01 Sokolution v2.01     OK                           518      94 SE 38
    39   00:02:42 Sokolution v2.01     OK                          3064     195 SE 39
    40   00:00:02 Sokolution v2.01     OK                           721      54 SE 40
    41   00:00:01 Sokolution v2.01     OK                           122      15 SE 41
    42   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 42
    43   00:00:03 Sokolution v2.01     OK                           722     152 SE 43
    44   00:00:01 Sokolution v2.01     OK                            63      10 SE 44
    45   00:00:01 Sokolution v2.01     OK                          1927     468 SE 45
    46   00:00:03 Sokolution v2.01     OK                          1786     236 SE 46
    47   00:00:01 Sokolution v2.01     OK                          3463     510 SE 47
    48   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 48
    49   00:00:45 Sokolution v2.01     OK                          1809     209 SE 49
    50   00:00:01 Sokolution v2.01     OK                            72      15 SE 50
    51   00:00:01 Sokolution v2.01     OK                            69       7 SE 51
    52            Sokolution v2.01     OK                           290      64 SE 52
    53            Sokolution v2.01     OK                           174      34 SE 53
    54            Sokolution v2.01     OK                           182      32 SE 54
    55   00:00:02 Sokolution v2.01     OK                           336      82 SE 55
    56   00:00:01 Sokolution v2.01     OK                           216      20 SE 56
    57            Sokolution v2.01     OK                            60      10 SE 57
    58   00:00:01 Sokolution v2.01     OK                           128      12 SE 58
    59   00:00:02 Sokolution v2.01     OK                          1140      82 SE 59
    60            Sokolution v2.01     OK                           182      20 SE 60
    61            Sokolution v2.01     OK                           844      68 SE 61
    62   00:00:01 Sokolution v2.01     OK                           398      40 SE 62
    63   00:00:01 Sokolution v2.01     OK                           536      46 SE 63
    64            Sokolution v2.01     OK                           239      24 SE 64
    65            Sokolution v2.01     OK                           211      20 SE 65
    66   00:00:02 Sokolution v2.01     OK                           213      44 SE 66
    67   00:00:01 Sokolution v2.01     OK                            94      24 SE 67
    68   00:00:01 Sokolution v2.01     OK                            84      22 SE 68
    69   00:00:01 Sokolution v2.01     OK                           173      30 SE 69
    70   00:00:02 Sokolution v2.01     OK                           218      36 SE 70
    71   00:00:01 Sokolution v2.01     OK                            74      22 SE 71
    72   00:00:01 Sokolution v2.01     OK                           100      28 SE 72
    73   00:00:01 Sokolution v2.01     OK                           251      36 SE 73
    74   00:00:01 Sokolution v2.01     OK                           155      36 SE 74
    75   00:00:01 Sokolution v2.01     OK                            45      10 SE 75
    76   00:00:01 Sokolution v2.01     OK                            47       7 SE 76
    77   00:00:01 Sokolution v2.01     OK                            39       9 SE 77
    78   00:00:01 Sokolution v2.01     OK                            65      17 SE 78
    79   00:00:01 Sokolution v2.01     OK                            95      16 SE 79
    80   00:00:01 Sokolution v2.01     OK                           330      50 SE 80
    81   00:00:01 Sokolution v2.01     OK                           319      24 SE 81
    82   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 82
    83   00:00:01 Sokolution v2.01     OK                           187      24 SE 83
    84   00:00:01 Sokolution v2.01     OK                           309      30 SE 84
    85   00:00:01 Sokolution v2.01     OK                           301      36 SE 85
    86   00:00:01 Sokolution v2.01     OK                           313      16 SE 86
    87   00:00:01 Sokolution v2.01     OK                           121      12 SE 87
    88   00:00:01 Sokolution v2.01     OK                           156      16 SE 88
    89   00:00:01 Sokolution v2.01     OK                           110      12 SE 89
    90   00:00:01 Sokolution v2.01     OK                           156      18 SE 90
    91   00:00:01 Sokolution v2.01     OK                           116      18 SE 91
    92   00:00:01 Sokolution v2.01     OK                           107      16 SE 92
    93   00:00:01 Sokolution v2.01     OK                           333      57 SE 93
    94   00:00:01 Sokolution v2.01     OK                           429      67 SE 94
    95   00:00:01 Sokolution v2.01     OK                           411      63 SE 95
    96   00:00:01 Sokolution v2.01     OK                           203      38 SE 96
    97   00:01:05 Sokolution v2.01     OK                           434      64 SE 97
    98   00:00:01 Sokolution v2.01     OK                           200      38 SE 98
    99   00:00:01 Sokolution v2.01     OK                           192      34 SE 99
   100   00:00:01 Sokolution v2.01     OK                           186      37 SE 100
   101   00:00:01 Sokolution v2.01     OK                           740     115 SE 101
   102   00:00:01 Sokolution v2.01     OK                           603      89 SE 102
   103   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 103
   104   00:00:05 Sokolution v2.01     OK                           741     123 SE 104
   105   00:10:00 Sokolution v2.01     Time limit exceeded                      SE 105
   106   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 106
   107   00:00:02 Sokolution v2.01     OK                           423      59 SE 107
   108   00:00:01 Sokolution v2.01     OK                           326      43 SE 108
   109   00:00:01 Sokolution v2.01     OK                           151      27 SE 109
   110   00:00:01 Sokolution v2.01     OK                           133      23 SE 110
   111   00:00:03 Sokolution v2.01     OK                           569      86 SE 111
   112   00:00:03 Sokolution v2.01     OK                           593      90 SE 112
   113   00:00:02 Sokolution v2.01     OK                          1009     127 SE 113
   114   00:00:08 Sokolution v2.01     OK                          1466     166 SE 114
   115   00:00:04 Sokolution v2.01     OK                           565      73 SE 115
   116   00:00:04 Sokolution v2.01     OK                           576      79 SE 116
   117   00:00:05 Sokolution v2.01     OK                           604      84 SE 117
   118   00:00:05 Sokolution v2.01     OK                           606      84 SE 118
   119   00:00:01 Sokolution v2.01     OK                            90      10 SE 119
   120   00:00:01 Sokolution v2.01     OK                           179      15 SE 120
   121   00:00:01 Sokolution v2.01     OK                           112      12 SE 121
   122   00:00:01 Sokolution v2.01     OK                           170      19 SE 122
   123   00:00:02 Sokolution v2.01     OK                           202      18 SE 123
   124   00:00:01 Sokolution v2.01     OK                           242      23 SE 124
   125   00:00:01 Sokolution v2.01     OK                           262      24 SE 125
   126   00:10:01 Sokolution v2.01     Time limit exceeded                      SE126
   127   00:00:01 Sokolution v2.01     OK                           234      20 SE 127
   128   00:00:01 Sokolution v2.01     OK                           212      19 SE 128
   129   00:00:01 Sokolution v2.01     OK                           116      16 SE 129
   130   00:00:01 Sokolution v2.01     OK                           120      18 SE 130
   131   00:00:01 Sokolution v2.01     OK                           190      36 SE 131
   132   00:00:01 Sokolution v2.01     OK                           265      38 SE 132
   133   00:00:01 Sokolution v2.01     OK                           410      62 SE 133
   134   00:00:01 Sokolution v2.01     OK                           158      26 SE 134
   135   00:00:01 Sokolution v2.01     OK                           134      20 SE 135
   136            Sokolution v2.01     OK                           102      18 SE 136
   137            Sokolution v2.01     OK                           369      44 SE 137
   138            Sokolution v2.01     OK                           237      32 SE 138
   139   00:00:02 Sokolution v2.01     OK                           490      50 SE 139
   140            Sokolution v2.01     OK                           354      42 SE 140
   141   00:00:09 Sokolution v2.01     OK                          1523     299 SE 141
   142   00:00:02 Sokolution v2.01     OK                           334      46 SE 142
   143   00:00:04 Sokolution v2.01     OK                           505      50 SE 143
   144   00:10:03 Sokolution v2.01     Time limit exceeded                      SE 144
   145   00:00:49 Sokolution v2.01     OK                           820     266 SE 145
   146   00:00:09 Sokolution v2.01     OK                          1540     207 SE 146
   147   00:00:02 Sokolution v2.01     OK                           846      70 SE 147
   148   00:00:03 Sokolution v2.01     OK                           414      50 SE 148
   149            Sokolution v2.01     OK                           156      20 SE 149
   150            Sokolution v2.01     OK                           482      48 SE 150
   151   00:00:02 Sokolution v2.01     OK                           690      70 SE 151
   152   00:03:48 Sokolution v2.01     OK                          1517     325 SE 152
   153   00:00:02 Sokolution v2.01     OK                           560      46 SE 153
   154   00:00:01 Sokolution v2.01     OK                           624      68 SE 154
   155   00:00:01 Sokolution v2.01     OK                          1299     120 SE 155
   156   00:00:13 Sokolution v2.01     OK                          1154     110 SE 156
   157   00:00:01 Sokolution v2.01     OK                            72      12 SE 157
   158   00:00:21 Sokolution v2.01     OK                          2677     218 SE 158
   159   00:00:02 Sokolution v2.01     OK                           466      62 SE 159
   160   00:00:02 Sokolution v2.01     OK                           780      78 SE 160
   161   00:00:36 Sokolution v2.01     OK                          1090      90 SE 161
   162   00:00:01 Sokolution v2.01     OK                           410      50 SE 162
   163   00:00:02 Sokolution v2.01     OK                           218      26 SE 163
   164   00:00:05 Sokolution v2.01     OK                           472      52 SE 164
   165   00:00:03 Sokolution v2.01     OK                           252      36 SE 165
   166   00:00:13 Sokolution v2.01     OK                          1450     120 SE 166
   167   00:00:04 Sokolution v2.01     OK                           898      94 SE 167
   168   00:00:02 Sokolution v2.01     OK                          1137     168 SE 168
   169   00:09:42 Sokolution v2.01     OK                           305      55 SE 169
   170   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 170
   171   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 171
   172   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 172
   173   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 173
   174   00:00:01 Sokolution v2.01     OK                           135      28 SE 174
   175   00:00:10 Sokolution v2.01     OK                           637      92 SE 175
   176   00:01:34 Sokolution v2.01     OK                          1923     220 SE 176
   177   00:10:03 Sokolution v2.01     Time limit exceeded                      SE 177
   178   00:10:03 Sokolution v2.01     Time limit exceeded                      SE 178
   179   00:00:01 Sokolution v2.01     OK                            32       4 SE 179
   180   00:00:01 Sokolution v2.01     OK                            45       6 SE 180
   181   00:00:01 Sokolution v2.01     OK                           131      14 SE 181
   182            Sokolution v2.01     OK                           235      36 SE 182
   183   00:02:56 Sokolution v2.01     OK                          1123     134 SE 183
   184   00:00:02 Sokolution v2.01     OK                           194      47 SE 184
   185   00:00:01 Sokolution v2.01     OK                           172      47 SE 185
   186   00:00:01 Sokolution v2.01     OK                           156      41 SE 186
   187   00:00:40 Sokolution v2.01     OK                          1507     234 SE 187
   188   00:01:32 Sokolution v2.01     OK                          1533     124 SE 188
   189   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 189
   190   00:00:01 Sokolution v2.01     OK                            40       8 SE 190
   191   00:00:01 Sokolution v2.01     OK                           174      20 SE 191
   192   00:00:01 Sokolution v2.01     OK                           294      48 SE 192
   193   00:00:01 Sokolution v2.01     OK                           158      31 SE 193
   194   00:00:01 Sokolution v2.01     OK                           408      66 SE 194
   195   00:00:01 Sokolution v2.01     OK                           270      76 SE 195
   196   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 196
   197   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 197
   198   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 198
   199   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 199
   200   00:05:38 Sokolution v2.01     OK                           543      73 SE 200
   201   00:01:12 Sokolution v2.01     OK                          1161     229 SE 201
   202   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 202
   203   00:00:01 Sokolution v2.01     OK                           510      64 SE 203
   204   00:00:23 Sokolution v2.01     OK                           800      92 SE 204
   205   00:10:03 Sokolution v2.01     Time limit exceeded                      SE 205
   206   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 206
   207   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 207
   208   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 208
   209   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 209
   210   00:00:01 Sokolution v2.01     OK                           146      35 SE 210
   211   00:00:08 Sokolution v2.01     OK                           522      72 SE 211
   212   00:00:02 Sokolution v2.01     OK                           786     114 SE 212
   213   00:05:38 Sokolution v2.01     OK                           678     110 SE 213
   214   00:00:35 Sokolution v2.01     OK                           926     114 SE 214
   215   00:00:06 Sokolution v2.01     OK                           722      94 SE 215
   216   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 216
   217   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 217
   218   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 218
   219   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 219
   220   00:02:14 Sokolution v2.01     OK                           900     102 SE 220
   221   00:10:03 Sokolution v2.01     Time limit exceeded                      SE 221
   222   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 222
   223   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 223
   224   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 224
   225   00:10:00 Sokolution v2.01     Time limit exceeded                      SE 225
   226   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 226
   227   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 227
   228   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 228
   229   00:00:03 Sokolution v2.01     OK                           954     162 SE 229
   230   00:00:03 Sokolution v2.01     OK                          1840     346 SE 230
   231   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 231
   232   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 232
   233   00:00:04 Sokolution v2.01     OK                          1206     114 SE 233
   234   00:01:38 Sokolution v2.01     OK                          2817     711 SE 234
   235   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 235
   236   00:00:08 Sokolution v2.01     OK                           819     111 SE 236
   237   00:00:02 Sokolution v2.01     OK                           549      84 SE 237
   238   00:10:00 Sokolution v2.01     Time limit exceeded                      SE 238
   239   00:10:00 Sokolution v2.01     Time limit exceeded                      SE 239
   240   00:02:55 Sokolution v2.01     OK                          3105     643 SE 240
   241   00:00:01 Sokolution v2.01     OK                           505     134 SE 241
   242            Sokolution v2.01     OK                           509     122 SE 242
   243   00:00:01 Sokolution v2.01     OK                          1118     117 SE 243
   244   00:00:01 Sokolution v2.01     OK                          1353     134 SE 244
   245            Sokolution v2.01     OK                           490      44 SE 245
   246   00:00:01 Sokolution v2.01     OK                            88      16 SE 246
   247   00:00:02 Sokolution v2.01     OK                           198      26 SE 247
   248   00:00:01 Sokolution v2.01     OK                            59      16 SE 248
   249   00:00:04 Sokolution v2.01     OK                           735      82 SE 249
   250   00:00:26 Sokolution v2.01     OK                          1410     118 SE 250
   251   00:00:01 Sokolution v2.01     OK                            36       6 SE 251
   252   00:00:01 Sokolution v2.01     OK                            63      10 SE 252
   253   00:00:01 Sokolution v2.01     OK                            59      16 SE 253
   254   00:00:01 Sokolution v2.01     OK                            51      16 SE 254
   255   00:00:01 Sokolution v2.01     OK                            51      16 SE 255
   256   00:00:01 Sokolution v2.01     OK                           192      28 SE 256
   257   00:00:01 Sokolution v2.01     OK                           639     102 SE 257
   258   00:00:01 Sokolution v2.01     OK                           297      30 SE 258
   259   00:00:01 Sokolution v2.01     OK                           431      90 SE 259
   260   00:00:01 Sokolution v2.01     OK                           211      36 SE 260
   261   00:00:01 Sokolution v2.01     OK                           261      55 SE 261
   262   00:00:01 Sokolution v2.01     OK                            35      10 SE 262
   263   00:00:01 Sokolution v2.01     OK                            37      12 SE 263
   264   00:00:01 Sokolution v2.01     OK                            37      12 SE 264
   265   00:00:01 Sokolution v2.01     OK                            71      18 SE 265
   266   00:00:01 Sokolution v2.01     OK                            45      14 SE 266
   267   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 267
   268   00:00:04 Sokolution v2.01     OK                           459      84 SE 268
   269   00:00:01 Sokolution v2.01     OK                            89      27 SE 269
   270   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 270
   271   00:10:05 Sokolution v2.01     Time limit exceeded                      SE 271
   272   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 272
   273   00:10:04 Sokolution v2.01     Time limit exceeded                      SE 273
   274   00:10:04 Sokolution v2.01     Time limit exceeded                      SE 274
   275   00:00:01 Sokolution v2.01     OK                           191      18 SE 275
   276   00:00:01 Sokolution v2.01     OK                           212      28 SE 276
   277   00:00:01 Sokolution v2.01     OK                           261      30 SE 277
   278   00:10:03 Sokolution v2.01     Time limit exceeded                      SE 278
   279   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 279
   280   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 280
   281   00:00:05 Sokolution v2.01     OK                           856     168 SE 281
   282   00:00:01 Sokolution v2.01     OK                           206      40 SE 282
   283   00:00:04 Sokolution v2.01     OK                           519     106 SE 283
   284   00:00:02 Sokolution v2.01     OK                           488      87 SE 284
   285   00:00:02 Sokolution v2.01     OK                           672     107 SE 285
   286   00:00:01 Sokolution v2.01     OK                           269      63 SE 286
   287   00:00:04 Sokolution v2.01     OK                           253      50 SE 287
   288   00:00:02 Sokolution v2.01     OK                           474      80 SE 288
   289   00:00:01 Sokolution v2.01     OK                          1410     238 SE 289
   290   00:00:01 Sokolution v2.01     OK                           311      73 SE 290
   291   00:10:04 Sokolution v2.01     Time limit exceeded                      SE 291
   292   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 292
   293   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 293
   294   00:00:01 Sokolution v2.01     OK                            65      17 SE 294
   295   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 295
   296   00:00:01 Sokolution v2.01     OK                           239      56 SE 296
   297   00:00:05 Sokolution v2.01     OK                           377      84 SE 297
   298   00:00:01 Sokolution v2.01     OK                            64       8 SE 298
   299   00:00:05 Sokolution v2.01     OK                           566      98 SE 299
   300   00:00:03 Sokolution v2.01     OK                           519     116 SE 300
   301   00:10:04 Sokolution v2.01     Time limit exceeded                      SE 301
   302   00:00:01 Sokolution v2.01     OK                           160      15 SE 302
   303            Sokolution v2.01     OK                           203      18 SE 303
   304   00:00:01 Sokolution v2.01     OK                           616      50 SE 304
   305   00:00:01 Sokolution v2.01     OK                           247      28 SE 305
   306   00:00:01 Sokolution v2.01     OK                           323      21 SE 306
   307   00:00:03 Sokolution v2.01     OK                           158      15 SE 307
   308   00:00:01 Sokolution v2.01     OK                           500      48 SE 308
   309   00:00:01 Sokolution v2.01     OK                           504      55 SE 309
   310   00:00:01 Sokolution v2.01     OK                           159      25 SE 310
   311   00:00:01 Sokolution v2.01     OK                           122      18 SE 311
   312   00:00:01 Sokolution v2.01     OK                           792      54 SE 312
   313   00:00:02 Sokolution v2.01     OK                           659      46 SE 313
   314   00:00:01 Sokolution v2.01     OK                           133      22 SE 314
   315   00:00:01 Sokolution v2.01     OK                            93      17 SE 315
   316   00:00:01 Sokolution v2.01     OK                           153      33 SE 316
   317   00:00:01 Sokolution v2.01     OK                           116      24 SE 317
   318   00:00:01 Sokolution v2.01     OK                           273      52 SE 318
   319            Sokolution v2.01     OK                           386      75 SE 319
   320            Sokolution v2.01     OK                           571     109 SE 320
   321            Sokolution v2.01     OK                           120      16 SE 321
   322            Sokolution v2.01     OK                           144      17 SE 322
   323            Sokolution v2.01     OK                           100      13 SE 323
   324            Sokolution v2.01     OK                           235      20 SE 324
   325            Sokolution v2.01     OK                           157      22 SE 325
   326   00:00:04 Sokolution v2.01     OK                           302      28 SE 326
   327   00:00:03 Sokolution v2.01     OK                           408      46 SE 327
   328   00:00:01 Sokolution v2.01     OK                           316      60 SE 328
   329   00:00:02 Sokolution v2.01     OK                           604     116 SE 329
   330   00:00:01 Sokolution v2.01     OK                           141      22 SE 330
   331   00:00:01 Sokolution v2.01     OK                           568      57 SE 331
   332   00:00:01 Sokolution v2.01     OK                           107      24 SE 332
   333   00:00:02 Sokolution v2.01     OK                           248      40 SE 333
   334   00:00:06 Sokolution v2.01     OK                           286      32 SE 334
   335   00:00:01 Sokolution v2.01     OK                            37      11 SE 335
   336   00:00:01 Sokolution v2.01     OK                            40      11 SE 336
   337   00:00:01 Sokolution v2.01     OK                           110      21 SE 337
   338   00:00:01 Sokolution v2.01     OK                           183      23 SE 338
   339   00:00:01 Sokolution v2.01     OK                           198      16 SE 339
   340   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 340
   341   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 341
   342   00:00:02 Sokolution v2.01     OK                           231      34 SE 342
   343   00:00:11 Sokolution v2.01     OK                           734      88 SE 343
   344   00:00:01 Sokolution v2.01     OK                            83      14 SE 344
   345   00:00:02 Sokolution v2.01     OK                           369      40 SE 345
   346   00:00:01 Sokolution v2.01     OK                            49      10 SE 346
   347   00:00:02 Sokolution v2.01     OK                           209      34 SE 347
   348   00:00:01 Sokolution v2.01     OK                           220      32 SE 348
   349            Sokolution v2.01     OK                           246      30 SE 349
   350   00:00:01 Sokolution v2.01     OK                            83      14 SE 350
   351   00:00:01 Sokolution v2.01     OK                            72      20 SE 351
   352   00:00:01 Sokolution v2.01     OK                           189      38 SE 352
   353   00:00:01 Sokolution v2.01     OK                           234      31 SE 353
   354   00:00:01 Sokolution v2.01     OK                           181      30 SE 354
   355   00:00:01 Sokolution v2.01     OK                            70      16 SE 355
   356   00:00:01 Sokolution v2.01     OK                           198      33 SE 356
   357   00:00:01 Sokolution v2.01     OK                           248      36 SE 357
   358   00:00:01 Sokolution v2.01     OK                           156      34 SE 358
   359   00:00:01 Sokolution v2.01     OK                           199      43 SE 359
   360   00:00:01 Sokolution v2.01     OK                           100      20 SE 360
   361   00:00:01 Sokolution v2.01     OK                            98      20 SE 361
   362   00:00:01 Sokolution v2.01     OK                            68      19 SE 362
   363   00:00:01 Sokolution v2.01     OK                           423      51 SE 363
   364   00:00:01 Sokolution v2.01     OK                            74      17 SE 364
   365   00:00:01 Sokolution v2.01     OK                           132      46 SE 365
   366   00:00:01 Sokolution v2.01     OK                           186      52 SE 366
   367   00:00:01 Sokolution v2.01     OK                           202      54 SE 367
   368   00:00:01 Sokolution v2.01     OK                           272      86 SE 368
   369   00:00:01 Sokolution v2.01     OK                           171      36 SE 369
   370   00:00:01 Sokolution v2.01     OK                           165      36 SE 370
   371   00:00:01 Sokolution v2.01     OK                           159      37 SE 371
   372   00:00:01 Sokolution v2.01     OK                           159      37 SE 372
   373   00:00:01 Sokolution v2.01     OK                           167      28 SE 373
   374   00:00:01 Sokolution v2.01     OK                           207      43 SE 374
   375   00:00:01 Sokolution v2.01     OK                           315      57 SE 375
   376   00:00:01 Sokolution v2.01     OK                           154      44 SE 376
   377   00:00:01 Sokolution v2.01     OK                           271      46 SE 377
   378   00:00:01 Sokolution v2.01     OK                           180      35 SE 378
   379   00:00:01 Sokolution v2.01     OK                            97      27 SE 379
   380   00:00:01 Sokolution v2.01     OK                           209      49 SE 380
   381   00:00:01 Sokolution v2.01     OK                           160      26 SE 381
   382   00:00:01 Sokolution v2.01     OK                           124      26 SE 382
   383   00:00:01 Sokolution v2.01     OK                           227      44 SE 383
   384   00:00:01 Sokolution v2.01     OK                           161      38 SE 384
   385   00:00:01 Sokolution v2.01     OK                           131      24 SE 385
   386   00:00:01 Sokolution v2.01     OK                           275      26 SE 386
   387   00:00:01 Sokolution v2.01     OK                           181      27 SE 387
   388   00:00:01 Sokolution v2.01     OK                           528      72 SE 388
   389   00:00:01 Sokolution v2.01     OK                           348      43 SE 389
   390   00:00:01 Sokolution v2.01     OK                           360      48 SE 390
   391   00:00:01 Sokolution v2.01     OK                           398      48 SE 391
   392   00:00:01 Sokolution v2.01     OK                           210      29 SE 392
   393   00:00:01 Sokolution v2.01     OK                           202      29 SE 393
   394   00:00:01 Sokolution v2.01     OK                           368      48 SE 394
   395   00:00:01 Sokolution v2.01     OK                           187      33 SE 395
   396   00:00:01 Sokolution v2.01     OK                           433      41 SE 396
   397   00:00:01 Sokolution v2.01     OK                           179      34 SE 397
   398   00:00:01 Sokolution v2.01     OK                           222      41 SE 398
   399   00:00:01 Sokolution v2.01     OK                           196      42 SE 399
   400   00:00:02 Sokolution v2.01     OK                           161      36 SE 400
   401   00:00:01 Sokolution v2.01     OK                           204      38 SE 401
   402   00:00:01 Sokolution v2.01     OK                           100      27 SE 402
   403   00:00:01 Sokolution v2.01     OK                           242      47 SE 403
   404   00:00:01 Sokolution v2.01     OK                           202      39 SE 404
   405   00:00:01 Sokolution v2.01     OK                           123      20 SE 405
   406            Sokolution v2.01     OK                            71      17 SE 406
   407            Sokolution v2.01     OK                            29      10 SE 407
   408            Sokolution v2.01     OK                            39      15 SE 408
   409            Sokolution v2.01     OK                            86      21 SE 409
   410            Sokolution v2.01     OK                            61      17 SE 410
   411            Sokolution v2.01     OK                            51      17 SE 411
   412            Sokolution v2.01     OK                            47      15 SE 412
   413            Sokolution v2.01     OK                            73      20 SE 413
   414            Sokolution v2.01     OK                            88      23 SE 414
   415            Sokolution v2.01     OK                            84      23 SE 415
   416            Sokolution v2.01     OK                            80      21 SE 416
   417            Sokolution v2.01     OK                            90      23 SE 417
   418            Sokolution v2.01     OK                            66      19 SE 418
   419            Sokolution v2.01     OK                            65      17 SE 419
   420            Sokolution v2.01     OK                            45      16 SE 420
   421            Sokolution v2.01     OK                            94      20 SE 421
   422            Sokolution v2.01     OK                            65      15 SE 422
   423            Sokolution v2.01     OK                            79      20 SE 423
   424            Sokolution v2.01     OK                            66      19 SE 424
   425            Sokolution v2.01     OK                           102      21 SE 425
   426            Sokolution v2.01     OK                            63      16 SE 426
   427            Sokolution v2.01     OK                            57      14 SE 427
   428   00:00:01 Sokolution v2.01     OK                            37       9 SE 428
   429   00:00:01 Sokolution v2.01     OK                            57       9 SE 429
   430   00:00:01 Sokolution v2.01     OK                            49       8 SE 430
   431   00:00:01 Sokolution v2.01     OK                           222      42 SE 431
   432            Sokolution v2.01     OK                           232      52 SE 432
   433            Sokolution v2.01     OK                           276      56 SE 433
   434            Sokolution v2.01     OK                           242      48 SE 434
   435            Sokolution v2.01     OK                           258      44 SE 435
   436            Sokolution v2.01     OK                           105      24 SE 436
   437            Sokolution v2.01     OK                           162      24 SE 437
   438            Sokolution v2.01     OK                           166      22 SE 438
   439            Sokolution v2.01     OK                           194      24 SE 439
   440            Sokolution v2.01     OK                           256      50 SE 440
   441            Sokolution v2.01     OK                           536      86 SE 441
   442            Sokolution v2.01     OK                           606     102 SE 442
   443            Sokolution v2.01     OK                           478      86 SE 443
   444            Sokolution v2.01     OK                           462      84 SE 444
   445            Sokolution v2.01     OK                           285      57 SE 445
   446            Sokolution v2.01     OK                           243      51 SE 446
   447            Sokolution v2.01     OK                           225      58 SE 447
   448            Sokolution v2.01     OK                           193      30 SE 448
   449            Sokolution v2.01     OK                           147      24 SE 449
   450            Sokolution v2.01     OK                           155      45 SE 450
   451   00:00:01 Sokolution v2.01     OK                           111      27 SE 451
   452   00:00:01 Sokolution v2.01     OK                            84      27 SE 452
   453   00:00:01 Sokolution v2.01     OK                            71      27 SE 453
   454   00:00:01 Sokolution v2.01     OK                            30      10 SE 454
   455   00:00:01 Sokolution v2.01     OK                            45       9 SE 455
   456   00:00:01 Sokolution v2.01     OK                           263      65 SE 456
   457   00:00:01 Sokolution v2.01     OK                            78      25 SE 457
   458   00:00:01 Sokolution v2.01     OK                           134      27 SE 458
   459   00:00:01 Sokolution v2.01     OK                           260      43 SE 459
   460   00:00:01 Sokolution v2.01     OK                           117      30 SE 460
   461   00:00:01 Sokolution v2.01     OK                           101      17 SE 461
   462   00:00:01 Sokolution v2.01     OK                           336      43 SE 462
   463   00:00:01 Sokolution v2.01     OK                           338      45 SE 463
   464   00:00:01 Sokolution v2.01     OK                           229      27 SE 464
   465   00:00:01 Sokolution v2.01     OK                           196      37 SE 465
   466   00:00:01 Sokolution v2.01     OK                           402      45 SE 466
   467   00:00:01 Sokolution v2.01     OK                           170      29 SE 467
   468   00:00:01 Sokolution v2.01     OK                           279      38 SE 468
   469   00:00:01 Sokolution v2.01     OK                           240      28 SE 469
   470   00:00:01 Sokolution v2.01     OK                           167      24 SE 470
   471   00:00:01 Sokolution v2.01     OK                           394      72 SE 471
   472   00:00:01 Sokolution v2.01     OK                           412      70 SE 472
   473   00:00:01 Sokolution v2.01     OK                           186      37 SE 473
   474   00:00:01 Sokolution v2.01     OK                            99      33 SE 474
   475   00:00:01 Sokolution v2.01     OK                           124      29 SE 475
   476   00:00:01 Sokolution v2.01     OK                            66      22 SE 476
   477   00:00:01 Sokolution v2.01     OK                            65      22 SE 477
   478   00:00:01 Sokolution v2.01     OK                           114      27 SE 478
   479   00:00:01 Sokolution v2.01     OK                            74      23 SE 479
   480   00:00:01 Sokolution v2.01     OK                            76      25 SE 480
   481   00:00:01 Sokolution v2.01     OK                           204      26 SE 481
   482   00:00:01 Sokolution v2.01     OK                           203      26 SE 482
   483   00:00:01 Sokolution v2.01     OK                           208      28 SE 483
   484   00:00:01 Sokolution v2.01     OK                           207      28 SE 484
   485   00:00:01 Sokolution v2.01     OK                           123      36 SE 485
   486   00:00:01 Sokolution v2.01     OK                           119      24 SE 486
   487   00:00:01 Sokolution v2.01     OK                           111      26 SE 487
   488   00:00:01 Sokolution v2.01     OK                           135      32 SE 488
   489   00:00:01 Sokolution v2.01     OK                           110      28 SE 489
   490   00:00:01 Sokolution v2.01     OK                           109      18 SE 490
   491   00:00:01 Sokolution v2.01     OK                           106      35 SE 491
   492   00:00:01 Sokolution v2.01     OK                           106      37 SE 492
   493   00:00:01 Sokolution v2.01     OK                           162      41 SE 493
   494   00:00:01 Sokolution v2.01     OK                           195      41 SE 494
   495   00:00:01 Sokolution v2.01     OK                           180      40 SE 495
   496   00:00:01 Sokolution v2.01     OK                           175      42 SE 496
   497   00:00:01 Sokolution v2.01     OK                           199      42 SE 497
   498   00:00:01 Sokolution v2.01     OK                           251      50 SE 498
   499   00:00:01 Sokolution v2.01     OK                            89      31 SE 499
   500   00:00:01 Sokolution v2.01     OK                           101      36 SE 500
   501            Sokolution v2.01     OK                            91      31 SE 501
   502   00:00:01 Sokolution v2.01     OK                           135      44 SE 502
   503   00:00:01 Sokolution v2.01     OK                           105      36 SE 503
   504   00:00:01 Sokolution v2.01     OK                            99      35 SE 504
   505   00:00:01 Sokolution v2.01     OK                           148      55 SE 505
   506   00:00:01 Sokolution v2.01     OK                           184      53 SE 506
   507   00:00:01 Sokolution v2.01     OK                           390      84 SE 507
   508   00:00:01 Sokolution v2.01     OK                           297      67 SE 508
   509   00:00:01 Sokolution v2.01     OK                           170      51 SE 509
   510   00:00:01 Sokolution v2.01     OK                            85      26 SE 510
   511   00:00:01 Sokolution v2.01     OK                           248      54 SE 511
   512   00:00:01 Sokolution v2.01     OK                           417      86 SE 512
   513   00:00:01 Sokolution v2.01     OK                           179      50 SE 513
   514   00:00:01 Sokolution v2.01     OK                           398      86 SE 514
   515   00:00:01 Sokolution v2.01     OK                           268      69 SE 515
   516   00:00:01 Sokolution v2.01     OK                           288      69 SE 516
   517   00:00:01 Sokolution v2.01     OK                           123      30 SE 517
   518   00:00:01 Sokolution v2.01     OK                           128      29 SE 518
   519   00:00:01 Sokolution v2.01     OK                           299      90 SE 519
   520   00:00:01 Sokolution v2.01     OK                           267      74 SE 520
   521   00:00:01 Sokolution v2.01     OK                           282      78 SE 521
   522   00:00:01 Sokolution v2.01     OK                           347      96 SE 522
   523   00:00:01 Sokolution v2.01     OK                           330      94 SE 523
   524   00:00:01 Sokolution v2.01     OK                           537      60 SE 524
   525   00:00:01 Sokolution v2.01     OK                           233      48 SE 525
   526   00:00:01 Sokolution v2.01     OK                           267      54 SE 526
   527   00:00:01 Sokolution v2.01     OK                           179      43 SE 527
   528   00:00:01 Sokolution v2.01     OK                           169      43 SE 528
   529   00:00:01 Sokolution v2.01     OK                           247      51 SE 529
   530   00:00:01 Sokolution v2.01     OK                           211      51 SE 530
   531   00:00:01 Sokolution v2.01     OK                           245      51 SE 531
   532   00:00:01 Sokolution v2.01     OK                           243      51 SE 532
   533   00:00:01 Sokolution v2.01     OK                           203      44 SE 533
   534   00:00:01 Sokolution v2.01     OK                            97      31 SE 534
   535   00:00:01 Sokolution v2.01     OK                           110      38 SE 535
   536   00:00:01 Sokolution v2.01     OK                            89      27 SE 536
   537   00:00:01 Sokolution v2.01     OK                           195      48 SE 537
   538   00:00:01 Sokolution v2.01     OK                           224      52 SE 538
   539   00:00:01 Sokolution v2.01     OK                           141      36 SE 539
   540   00:00:01 Sokolution v2.01     OK                           243      55 SE 540
   541            Sokolution v2.01     OK                           207      44 SE 541
   542            Sokolution v2.01     OK                           277      46 SE 542
   543            Sokolution v2.01     OK                           243      42 SE 543
   544            Sokolution v2.01     OK                           293      48 SE 544
   545            Sokolution v2.01     OK                           241      30 SE 545
   546            Sokolution v2.01     OK                           289      40 SE 546
   547            Sokolution v2.01     OK                           235      35 SE 547
   548            Sokolution v2.01     OK                           214      42 SE 548
   549            Sokolution v2.01     OK                           214      30 SE 549
   550            Sokolution v2.01     OK                           215      31 SE 550
   551            Sokolution v2.01     OK                           189      30 SE 551
   552            Sokolution v2.01     OK                           133      16 SE 552
   553            Sokolution v2.01     OK                           165      20 SE 553
   554            Sokolution v2.01     OK                           140      18 SE 554
   555            Sokolution v2.01     OK                           142      23 SE 555
   556            Sokolution v2.01     OK                           132      30 SE 556
   557            Sokolution v2.01     OK                           190      36 SE 557
   558            Sokolution v2.01     OK                           161      30 SE 558
   559   00:00:01 Sokolution v2.01     OK                           365      78 SE 559
   560   00:00:03 Sokolution v2.01     OK                           164      58 SE 560
   561   00:00:01 Sokolution v2.01     OK                           432      86 SE 561
   562   00:00:01 Sokolution v2.01     OK                           342      66 SE 562
   563   00:00:01 Sokolution v2.01     OK                           305      65 SE 563
   564   00:00:01 Sokolution v2.01     OK                           351      76 SE 564
   565   00:00:01 Sokolution v2.01     OK                           270      50 SE 565
   566   00:00:01 Sokolution v2.01     OK                           329      78 SE 566
   567   00:00:01 Sokolution v2.01     OK                           425      82 SE 567
   568   00:00:01 Sokolution v2.01     OK                           314      74 SE 568
   569   00:00:01 Sokolution v2.01     OK                           189      40 SE 569
   570   00:00:01 Sokolution v2.01     OK                           167      24 SE 570
   571   00:00:01 Sokolution v2.01     OK                           116      22 SE 571
   572   00:00:01 Sokolution v2.01     OK                            85      16 SE 572
   573   00:00:01 Sokolution v2.01     OK                            45      10 SE 573
   574   00:00:01 Sokolution v2.01     OK                           124      20 SE 574
   575   00:00:01 Sokolution v2.01     OK                           101      16 SE 575
   576   00:00:01 Sokolution v2.01     OK                           257      44 SE 576
   577            Sokolution v2.01     OK                           270      56 SE 577
   578            Sokolution v2.01     OK                           284      58 SE 578
   579            Sokolution v2.01     OK                           218      50 SE 579
   580            Sokolution v2.01     OK                           260      58 SE 580
   581            Sokolution v2.01     OK                           298      66 SE 581
   582   00:00:01 Sokolution v2.01     OK                           142      38 SE 582
   583   00:00:01 Sokolution v2.01     OK                           109      30 SE 583
   584   00:00:01 Sokolution v2.01     OK                           143      36 SE 584
   585   00:00:01 Sokolution v2.01     OK                           139      34 SE 585
   586   00:00:01 Sokolution v2.01     OK                           117      26 SE 586
   587   00:00:01 Sokolution v2.01     OK                            98      26 SE 587
   588   00:00:01 Sokolution v2.01     OK                           136      34 SE 588
   589   00:00:01 Sokolution v2.01     OK                           120      29 SE 589
   590   00:00:01 Sokolution v2.01     OK                           133      25 SE 590
   591   00:00:01 Sokolution v2.01     OK                           249      36 SE 591
   592   00:00:01 Sokolution v2.01     OK                           285      50 SE 592
   593   00:00:01 Sokolution v2.01     OK                           363      54 SE 593
   594   00:00:01 Sokolution v2.01     OK                           389      66 SE 594
   595   00:00:01 Sokolution v2.01     OK                           423      65 SE 595
   596   00:00:01 Sokolution v2.01     OK                           120      26 SE 596
   597            Sokolution v2.01     OK                           233      34 SE 597
   598   00:00:01 Sokolution v2.01     OK                           281      36 SE 598
   599   00:00:01 Sokolution v2.01     OK                           174      64 SE 599
   600   00:00:01 Sokolution v2.01     OK                           245      66 SE 600
   601   00:00:01 Sokolution v2.01     OK                           217      42 SE 601
   602            Sokolution v2.01     OK                           114      28 SE 602
   603            Sokolution v2.01     OK                           115      28 SE 603
   604   00:00:01 Sokolution v2.01     OK                           155      36 SE 604
   605   00:00:01 Sokolution v2.01     OK                           167      38 SE 605
   606   00:00:01 Sokolution v2.01     OK                           140      34 SE 606
   607   00:00:01 Sokolution v2.01     OK                           152      41 SE 607
   608   00:00:01 Sokolution v2.01     OK                           199      24 SE 608
   609   00:00:01 Sokolution v2.01     OK                           239      32 SE 609
   610   00:00:01 Sokolution v2.01     OK                           216      28 SE 610
   611   00:00:01 Sokolution v2.01     OK                           199      36 SE 611
   612   00:00:01 Sokolution v2.01     OK                           171      30 SE 612
   613   00:00:01 Sokolution v2.01     OK                           115      33 SE 613
   614            Sokolution v2.01     OK                            41      10 SE 614
   615   00:00:01 Sokolution v2.01     OK                            59      16 SE 615
   616   00:00:01 Sokolution v2.01     OK                            77      11 SE 616
   617   00:00:01 Sokolution v2.01     OK                           117      20 SE 617
   618   00:00:01 Sokolution v2.01     OK                           331      60 SE 618
   619   00:00:01 Sokolution v2.01     OK                            90      18 SE 619
   620   00:00:01 Sokolution v2.01     OK                            90      18 SE 620
   621   00:00:01 Sokolution v2.01     OK                           112      20 SE 621
   622   00:00:01 Sokolution v2.01     OK                           125      24 SE 622
   623   00:00:01 Sokolution v2.01     OK                            76      20 SE 623
   624   00:00:01 Sokolution v2.01     OK                            45      15 SE 624
   625   00:00:01 Sokolution v2.01     OK                           144      38 SE 625
   626   00:00:01 Sokolution v2.01     OK                           112      30 SE 626
   627   00:00:01 Sokolution v2.01     OK                           307      65 SE 627
   628   00:00:01 Sokolution v2.01     OK                           157      26 SE 628
   629   00:00:01 Sokolution v2.01     OK                            97      26 SE 629
   630   00:00:01 Sokolution v2.01     OK                           175      33 SE 630
   631   00:00:01 Sokolution v2.01     OK                            81      21 SE 631
   632   00:00:01 Sokolution v2.01     OK                           189      28 SE 632
   633            Sokolution v2.01     OK                           169      28 SE 633
   634            Sokolution v2.01     OK                           161      24 SE 634
   635            Sokolution v2.01     OK                           137      30 SE 635
   636            Sokolution v2.01     OK                           213      41 SE 636
   637   00:00:01 Sokolution v2.01     OK                            85      10 SE 637
   638   00:00:01 Sokolution v2.01     OK                           179      26 SE 638
   639   00:00:01 Sokolution v2.01     OK                           213      38 SE 639
   640            Sokolution v2.01     OK                           453      76 SE 640
   641   00:00:01 Sokolution v2.01     OK                            43      10 SE 641
   642   00:00:01 Sokolution v2.01     OK                           168      32 SE 642
   643   00:00:01 Sokolution v2.01     OK                           207      34 SE 643
   644   00:00:02 Sokolution v2.01     OK                           718     102 SE 644
   645   00:00:01 Sokolution v2.01     OK                           388      55 SE 645
   646   00:00:01 Sokolution v2.01     OK                            50      13 SE 646
   647   00:00:01 Sokolution v2.01     OK                            32       9 SE 647
   648   00:00:01 Sokolution v2.01     OK                           179      29 SE 648
   649   00:00:01 Sokolution v2.01     OK                           205      25 SE 649
   650   00:00:01 Sokolution v2.01     OK                           105      15 SE 650
   651   00:00:01 Sokolution v2.01     OK                            73      11 SE 651
   652   00:00:01 Sokolution v2.01     OK                            72      12 SE 652
   653   00:00:01 Sokolution v2.01     OK                           118      16 SE 653
   654   00:00:01 Sokolution v2.01     OK                           123      17 SE 654
   655   00:00:01 Sokolution v2.01     OK                           200      24 SE 655
   656   00:00:01 Sokolution v2.01     OK                           221      27 SE 656
   657   00:00:01 Sokolution v2.01     OK                           304      38 SE 657
   658   00:00:01 Sokolution v2.01     OK                           377      45 SE 658
   659   00:00:01 Sokolution v2.01     OK                           118      16 SE 659
   660   00:00:01 Sokolution v2.01     OK                           131      17 SE 660
   661            Sokolution v2.01     OK                           144      18 SE 661
   662   00:00:01 Sokolution v2.01     OK                           110      15 SE 662
   663   00:00:01 Sokolution v2.01     OK                           153      17 SE 663
   664   00:00:01 Sokolution v2.01     OK                           218      28 SE 664
   665            Sokolution v2.01     OK                           245      29 SE 665
   666            Sokolution v2.01     OK                           306      34 SE 666
   667            Sokolution v2.01     OK                           393      41 SE 667
   668   00:00:01 Sokolution v2.01     OK                            98      24 SE 668
   669   00:00:01 Sokolution v2.01     OK                            78      20 SE 669
   670   00:00:01 Sokolution v2.01     OK                           202      39 SE 670
   671   00:00:01 Sokolution v2.01     OK                           239      32 SE 671
   672   00:00:01 Sokolution v2.01     OK                            98      21 SE 672
   673   00:00:01 Sokolution v2.01     OK                           116      21 SE 673
   674   00:00:01 Sokolution v2.01     OK                           225      49 SE 674
   675   00:00:01 Sokolution v2.01     OK                            86      21 SE 675
   676   00:00:01 Sokolution v2.01     OK                           139      47 SE 676
   677   00:00:01 Sokolution v2.01     OK                           157      27 SE 677
   678   00:00:01 Sokolution v2.01     OK                           110      26 SE 678
   679   00:00:01 Sokolution v2.01     OK                           150      33 SE 679
   680   00:00:01 Sokolution v2.01     OK                           331      66 SE 680
   681   00:00:01 Sokolution v2.01     OK                           181      44 SE 681
   682   00:00:01 Sokolution v2.01     OK                           199      44 SE 682
   683   00:00:01 Sokolution v2.01     OK                           101      27 SE 683
   684   00:00:01 Sokolution v2.01     OK                           132      25 SE 684
   685   00:00:01 Sokolution v2.01     OK                            76      18 SE 685
   686   00:00:01 Sokolution v2.01     OK                            72      22 SE 686
   687   00:00:01 Sokolution v2.01     OK                           565      54 SE 687
   688   00:00:01 Sokolution v2.01     OK                            48      16 SE 688
   689   00:00:05 Sokolution v2.01     OK                           455      48 SE 689
   690   00:00:03 Sokolution v2.01     OK                           621      80 SE 690
   691   00:00:05 Sokolution v2.01     OK                           613      74 SE 691
   692   00:00:01 Sokolution v2.01     OK                           209      28 SE 692
   693            Sokolution v2.01     OK                           247      23 SE 693
   694            Sokolution v2.01     OK                           365      34 SE 694
   695            Sokolution v2.01     OK                           251      35 SE 695
   696   00:00:01 Sokolution v2.01     OK                           123      26 SE 696
   697   00:00:01 Sokolution v2.01     OK                           117      26 SE 697
   698   00:00:01 Sokolution v2.01     OK                           137      26 SE 698
   699   00:00:01 Sokolution v2.01     OK                           181      34 SE 699
   700   00:00:01 Sokolution v2.01     OK                           151      32 SE 700
   701   00:00:01 Sokolution v2.01     OK                           114      28 SE 701
   702   00:00:01 Sokolution v2.01     OK                           128      30 SE 702
   703   00:00:01 Sokolution v2.01     OK                           124      30 SE 703
   704   00:00:01 Sokolution v2.01     OK                           252      37 SE 704
   705   00:00:01 Sokolution v2.01     OK                           110      27 SE 705
   706   00:00:01 Sokolution v2.01     OK                            76      25 SE 706
   707   00:00:01 Sokolution v2.01     OK                            76      25 SE 707
   708   00:00:01 Sokolution v2.01     OK                           111      23 SE 708
   709   00:00:01 Sokolution v2.01     OK                            87      23 SE 709
   710   00:00:01 Sokolution v2.01     OK                           113      26 SE 710
   711   00:00:01 Sokolution v2.01     OK                            89      26 SE 711
   712   00:00:01 Sokolution v2.01     OK                           113      31 SE 712
   713   00:00:01 Sokolution v2.01     OK                            73      21 SE 713
   714   00:00:01 Sokolution v2.01     OK                           112      31 SE 714
   715   00:00:01 Sokolution v2.01     OK                            93      26 SE 715
   716   00:00:01 Sokolution v2.01     OK                           103      30 SE 716
   717   00:00:01 Sokolution v2.01     OK                           195      43 SE 717
   718   00:00:01 Sokolution v2.01     OK                           223      45 SE 718
   719   00:00:01 Sokolution v2.01     OK                           134      31 SE 719
   720   00:00:01 Sokolution v2.01     OK                           118      33 SE 720
   721   00:00:01 Sokolution v2.01     OK                           206      48 SE 721
   722   00:00:01 Sokolution v2.01     OK                            82      30 SE 722
   723   00:00:01 Sokolution v2.01     OK                           165      34 SE 723
   724   00:00:01 Sokolution v2.01     OK                           162      30 SE 724
   725   00:00:01 Sokolution v2.01     OK                            94      29 SE 725
   726   00:00:01 Sokolution v2.01     OK                            81      24 SE 726
   727   00:00:01 Sokolution v2.01     OK                            71      24 SE 727
   728   00:00:01 Sokolution v2.01     OK                           155      46 SE 728
   729   00:00:01 Sokolution v2.01     OK                            77      29 SE 729
   730   00:00:01 Sokolution v2.01     OK                           131      45 SE 730
   731   00:00:01 Sokolution v2.01     OK                           155      44 SE 731
   732   00:00:01 Sokolution v2.01     OK                           161      40 SE 732
   733   00:00:01 Sokolution v2.01     OK                           123      26 SE 733
   734   00:00:01 Sokolution v2.01     OK                           115      27 SE 734
   735   00:00:01 Sokolution v2.01     OK                           135      26 SE 735
   736   00:00:01 Sokolution v2.01     OK                           130      26 SE 736
   737   00:00:01 Sokolution v2.01     OK                            91      26 SE 737
   738   00:00:01 Sokolution v2.01     OK                           110      24 SE 738
   739   00:00:01 Sokolution v2.01     OK                           113      23 SE 739
   740   00:00:01 Sokolution v2.01     OK                            64      23 SE 740
   741   00:00:01 Sokolution v2.01     OK                           171      39 SE 741
   742   00:00:01 Sokolution v2.01     OK                            87      13 SE 742
   743   00:00:01 Sokolution v2.01     OK                            73      24 SE 743
   744   00:10:14 Sokolution v2.01     Time limit exceeded                      SE 744
   745   00:00:01 Sokolution v2.01     OK                           210      39 SE 745
   746   00:00:01 Sokolution v2.01     OK                           142      43 SE 746
   747   00:00:01 Sokolution v2.01     OK                           136      39 SE 747
   748   00:00:01 Sokolution v2.01     OK                           219      40 SE 748
   749   00:00:01 Sokolution v2.01     OK                           199      38 SE 749
   750   00:00:01 Sokolution v2.01     OK                           194      38 SE 750
   751   00:00:01 Sokolution v2.01     OK                           108      22 SE 751
   752            Sokolution v2.01     OK                            84      18 SE 752
   753            Sokolution v2.01     OK                           126      22 SE 753
   754            Sokolution v2.01     OK                            89      35 SE 754
   755            Sokolution v2.01     OK                            89      35 SE 755
   756   00:00:01 Sokolution v2.01     OK                            68      31 SE 756
   757   00:00:01 Sokolution v2.01     OK                            88      26 SE 757
   758   00:00:01 Sokolution v2.01     OK                            63      25 SE 758
   759   00:00:01 Sokolution v2.01     OK                           106      26 SE 759
   760   00:00:01 Sokolution v2.01     OK                           167      46 SE 760
   761            Sokolution v2.01     OK                           118      40 SE 761
   762   00:00:01 Sokolution v2.01     OK                           102      26 SE 762
   763   00:00:01 Sokolution v2.01     OK                            99      30 SE 763
   764   00:00:01 Sokolution v2.01     OK                            93      24 SE 764
   765   00:00:01 Sokolution v2.01     OK                           100      37 SE 765
   766   00:00:01 Sokolution v2.01     OK                           173      39 SE 766
   767   00:00:01 Sokolution v2.01     OK                           106      30 SE 767
   768   00:00:01 Sokolution v2.01     OK                           127      29 SE 768
   769   00:00:01 Sokolution v2.01     OK                           113      34 SE 769
   770   00:00:01 Sokolution v2.01     OK                           174      44 SE 770
   771   00:00:01 Sokolution v2.01     OK                           152      43 SE 771
   772   00:00:01 Sokolution v2.01     OK                           293      72 SE 772
   773   00:00:01 Sokolution v2.01     OK                           118      45 SE 773
   774   00:00:01 Sokolution v2.01     OK                           189      59 SE 774
   775   00:00:01 Sokolution v2.01     OK                            86      23 SE 775
   776   00:00:01 Sokolution v2.01     OK                            83      26 SE 776
   777   00:00:01 Sokolution v2.01     OK                           261      56 SE 777
   778   00:00:01 Sokolution v2.01     OK                           115      28 SE 778
   779   00:00:03 Sokolution v2.01     OK                           180      45 SE 779
   780   00:00:01 Sokolution v2.01     OK                           374      57 SE 780
   781   00:00:01 Sokolution v2.01     OK                           335      70 SE 781
   782   00:00:01 Sokolution v2.01     OK                           191      44 SE 782
   783   00:00:01 Sokolution v2.01     OK                           178      43 SE 783
   784   00:00:01 Sokolution v2.01     OK                            82      18 SE 784
   785   00:00:01 Sokolution v2.01     OK                           192      26 SE 785
   786   00:00:01 Sokolution v2.01     OK                           126      22 SE 786
   787   00:00:01 Sokolution v2.01     OK                           157      35 SE 787
   788   00:00:01 Sokolution v2.01     OK                           103      24 SE 788
   789   00:00:01 Sokolution v2.01     OK                            92      20 SE 789
   790   00:00:01 Sokolution v2.01     OK                            71      14 SE 790
   791   00:00:01 Sokolution v2.01     OK                            80      19 SE 791
   792   00:00:01 Sokolution v2.01     OK                            56      15 SE 792
   793   00:00:01 Sokolution v2.01     OK                           156      31 SE 793
   794   00:00:01 Sokolution v2.01     OK                            92      19 SE 794
   795   00:00:01 Sokolution v2.01     OK                           115      26 SE 795
   796   00:00:01 Sokolution v2.01     OK                            96      25 SE 796
   797   00:00:01 Sokolution v2.01     OK                            55      17 SE 797
   798   00:00:01 Sokolution v2.01     OK                           214      42 SE 798
   799   00:00:01 Sokolution v2.01     OK                           167      44 SE 799
   800   00:00:01 Sokolution v2.01     OK                           157      44 SE 800
   801   00:00:01 Sokolution v2.01     OK                           156      47 SE 801
   802   00:00:01 Sokolution v2.01     OK                           240      55 SE 802
   803            Sokolution v2.01     OK                           108      24 SE 803
   804   00:00:01 Sokolution v2.01     OK                           886     147 SE 804
   805   00:00:01 Sokolution v2.01     OK                           424      82 SE 805
   806   00:00:01 Sokolution v2.01     OK                           488     102 SE 806
   807   00:00:01 Sokolution v2.01     OK                          1111     190 SE 807
   808            Sokolution v2.01     OK                           474      74 SE 808
   809   00:00:01 Sokolution v2.01     OK                           628      90 SE 809
   810   00:00:01 Sokolution v2.01     OK                           568      74 SE 810
   811   00:00:01 Sokolution v2.01     OK                           257      34 SE 811
   812   00:00:01 Sokolution v2.01     OK                           165      22 SE 812
   813   00:00:01 Sokolution v2.01     OK                           167      25 SE 813
   814   00:00:01 Sokolution v2.01     OK                           297      37 SE 814
   815   00:00:01 Sokolution v2.01     OK                           196      34 SE 815
   816   00:00:01 Sokolution v2.01     OK                           159      28 SE 816
   817   00:00:01 Sokolution v2.01     OK                           183      32 SE 817
   818   00:00:01 Sokolution v2.01     OK                           146      19 SE 818
   819   00:00:01 Sokolution v2.01     OK                           148      20 SE 819
   820   00:00:01 Sokolution v2.01     OK                            82      26 SE 820
   821   00:10:03 Sokolution v2.01     Time limit exceeded                      SE 821
   822   00:00:03 Sokolution v2.01     OK                           787      74 SE 822
   823   00:10:11 Sokolution v2.01     Time limit exceeded                      SE 823
   824   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 824
   825   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 825
   826   00:00:08 Sokolution v2.01     OK                           973     158 SE 826
   827   00:00:22 Sokolution v2.01     OK                          1198     170 SE 827
   828   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 828
   829   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 829
   830   00:00:03 Sokolution v2.01     OK                           562      92 SE 830
   831   00:00:26 Sokolution v2.01     OK                           921     142 SE 831
   832   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 832
   833   00:00:01 Sokolution v2.01     OK                           224      24 SE 833
   834   00:00:01 Sokolution v2.01     OK                           194      24 SE 834
   835   00:00:01 Sokolution v2.01     OK                           237      28 SE 835
   836   00:00:01 Sokolution v2.01     OK                           166      26 SE 836
   837   00:10:08 Sokolution v2.01     Time limit exceeded                      SE 837
   838   00:01:15 Sokolution v2.01     OK                           626     107 SE 838
   839   00:00:01 Sokolution v2.01     OK                           491     102 SE 839
   840   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 840
   841   00:00:03 Sokolution v2.01     OK                          1139     152 SE 841
   842            Sokolution v2.01     Plugin limits preclude p                 SE 842
   843   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 843
   844   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 844
   845   00:00:01 Sokolution v2.01     OK                           154      36 SE 845
   846   00:00:01 Sokolution v2.01     OK                           429      86 SE 846
   847   00:00:01 Sokolution v2.01     OK                           303      58 SE 847
   848   00:00:02 Sokolution v2.01     OK                           348      60 SE 848
   849            Sokolution v2.01     OK                           121      18 SE 849
   850   00:00:01 Sokolution v2.01     OK                           509      66 SE 850
   851   00:00:01 Sokolution v2.01     OK                           237      48 SE 851
   852   00:00:01 Sokolution v2.01     OK                           375      68 SE 852
   853            Sokolution v2.01     OK                           129      22 SE 853
   854   00:00:01 Sokolution v2.01     OK                           149      40 SE 854
   855   00:00:02 Sokolution v2.01     OK                           556      88 SE 855
   856   00:00:02 Sokolution v2.01     OK                           277      60 SE 856
   857   00:00:01 Sokolution v2.01     OK                           343      72 SE 857
   858            Sokolution v2.01     OK                           448      55 SE 858
   859   00:00:02 Sokolution v2.01     OK                           701      78 SE 859
   860   00:00:49 Sokolution v2.01     OK                           712     122 SE 860
   861   00:00:28 Sokolution v2.01     OK                           860     117 SE 861
   862   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 862
   863   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 863
   864   00:00:09 Sokolution v2.01     OK                           539      66 SE 864
   865   00:00:48 Sokolution v2.01     OK                           930     108 SE 865
   866   00:00:04 Sokolution v2.01     OK                           892     110 SE 866
   867   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 867
   868   00:00:01 Sokolution v2.01     OK                           156      34 SE 868
   869   00:00:01 Sokolution v2.01     OK                           180      40 SE 869
   870            Sokolution v2.01     OK                           210      31 SE 870
   871   00:00:02 Sokolution v2.01     OK                          2559     308 SE 871
   872   00:00:01 Sokolution v2.01     OK                           145      32 SE 872
   873   00:00:01 Sokolution v2.01     OK                           159      28 SE 873
   874   00:00:02 Sokolution v2.01     OK                           313      74 SE 874
   875   00:00:01 Sokolution v2.01     OK                           155      30 SE 875
   876   00:00:01 Sokolution v2.01     OK                            87      18 SE 876
   877   00:00:01 Sokolution v2.01     OK                            62      12 SE 877
   878   00:00:02 Sokolution v2.01     OK                           271      71 SE 878
   879            Sokolution v2.01     Plugin limits preclude p                 SE 879
   880   00:00:01 Sokolution v2.01     OK                          2449     461 SE 880
   881   00:00:02 Sokolution v2.01     OK                          2441     633 SE 881
   882   00:00:01 Sokolution v2.01     OK                           605     126 SE 882
   883   00:00:01 Sokolution v2.01     OK                           451     126 SE 883
   884   00:00:01 Sokolution v2.01     OK                            88      13 SE 884
   885   00:00:01 Sokolution v2.01     OK                           126      17 SE 885
   886   00:00:02 Sokolution v2.01     OK                           562      51 SE 886
   887   00:00:18 Sokolution v2.01     OK                           636      61 SE 887
   888   00:00:09 Sokolution v2.01     OK                           786      51 SE 888
   889   00:00:01 Sokolution v2.01     OK                           266      27 SE 889
   890   00:00:01 Sokolution v2.01     OK                           218      25 SE 890
   891   00:00:01 Sokolution v2.01     OK                           268      32 SE 891
   892   00:00:02 Sokolution v2.01     OK                           252      25 SE 892
   893   00:00:02 Sokolution v2.01     OK                           280      41 SE 893
   894   00:00:01 Sokolution v2.01     OK                           111      28 SE 894
   895   00:00:02 Sokolution v2.01     OK                           746     138 SE 895
   896   00:00:01 Sokolution v2.01     OK                           787      76 SE 896
   897   00:00:01 Sokolution v2.01     OK                           486      81 SE 897
   898   00:00:01 Sokolution v2.01     OK                           259      60 SE 898
   899   00:00:11 Sokolution v2.01     OK                           617      69 SE 899
   900   00:00:03 Sokolution v2.01     OK                           585      52 SE 900
   901   00:00:01 Sokolution v2.01     OK                           726      82 SE 901
   902   00:00:01 Sokolution v2.01     OK                            70       8 SE 902
   903   00:00:01 Sokolution v2.01     OK                           209      30 SE 903
   904   00:00:03 Sokolution v2.01     OK                            72      21 SE 904
   905   00:06:33 Sokolution v2.01     OK                           316      40 SE 905
   906   00:00:03 Sokolution v2.01     OK                            93      36 SE 906
   907   00:00:03 Sokolution v2.01     OK                           106      32 SE 907
   908   00:00:07 Sokolution v2.01     OK                           101      38 SE 908
   909   00:00:01 Sokolution v2.01     OK                           112      24 SE 909
   910   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 910
   911   00:00:02 Sokolution v2.01     OK                           614      48 SE 911
   912   00:00:01 Sokolution v2.01     OK                           254      54 SE 912
   913   00:00:03 Sokolution v2.01     OK                           396      68 SE 913
   914   00:00:01 Sokolution v2.01     OK                           356      60 SE 914
   915   00:00:01 Sokolution v2.01     OK                           434      70 SE 915
   916   00:00:01 Sokolution v2.01     OK                           305      46 SE 916
   917   00:00:01 Sokolution v2.01     OK                           133      18 SE 917
   918   00:00:01 Sokolution v2.01     OK                           230      22 SE 918
   919   00:00:02 Sokolution v2.01     OK                           328      76 SE 919
   920   00:00:05 Sokolution v2.01     OK                           658      78 SE 920
   921   00:00:56 Sokolution v2.01     OK                           458      80 SE 921
   922   00:00:14 Sokolution v2.01     OK                           366      98 SE 922
   923   00:00:01 Sokolution v2.01     OK                           371      70 SE 923
   924   00:00:01 Sokolution v2.01     OK                           144      24 SE 924
   925   00:00:01 Sokolution v2.01     OK                           114      34 SE 925
   926            Sokolution v2.01     OK                           309      69 SE 926
   927   00:00:03 Sokolution v2.01     OK                           379      88 SE 927
   928   00:00:01 Sokolution v2.01     OK                           107      23 SE 928
   929   00:00:01 Sokolution v2.01     OK                           109      25 SE 929
   930   00:00:57 Sokolution v2.01     OK                          1917     324 SE 930
   931   00:00:01 Sokolution v2.01     OK                           393      65 SE 931
   932   00:01:17 Sokolution v2.01     OK                          1996     224 SE 932
   933   00:00:01 Sokolution v2.01     OK                           280      48 SE 933
   934   00:00:01 Sokolution v2.01     OK                           243      36 SE 934
   935   00:00:01 Sokolution v2.01     OK                           192      38 SE 935
   936   00:00:01 Sokolution v2.01     OK                           115      30 SE 936
   937            Sokolution v2.01     OK                           179      30 SE 937
   938   00:00:01 Sokolution v2.01     OK                           121      30 SE 938
   939   00:00:01 Sokolution v2.01     OK                           133      24 SE 939
   940            Sokolution v2.01     OK                           206      43 SE 940
   941   00:00:30 Sokolution v2.01     OK                           313      48 SE 941
   942   00:00:40 Sokolution v2.01     OK                           352      42 SE 942
   943   00:00:14 Sokolution v2.01     OK                           166      34 SE 943
   944   00:00:01 Sokolution v2.01     OK                           326      45 SE 944
   945   00:00:07 Sokolution v2.01     OK                           977     156 SE 945
   946   00:00:01 Sokolution v2.01     OK                           287      32 SE 946
   947   00:00:06 Sokolution v2.01     OK                           666      86 SE 947
   948   00:00:10 Sokolution v2.01     OK                           700      88 SE 948
   949   00:00:03 Sokolution v2.01     OK                           398      54 SE 949
   950   00:00:01 Sokolution v2.01     OK                           236      30 SE 950
   951   00:00:04 Sokolution v2.01     OK                           593     116 SE 951
   952   00:00:01 Sokolution v2.01     OK                            31      11 SE 952
   953   00:00:02 Sokolution v2.01     OK                           436      64 SE 953
   954   00:00:01 Sokolution v2.01     OK                           227      40 SE 954
   955   00:00:01 Sokolution v2.01     OK                           276      51 SE 955
   956   00:00:01 Sokolution v2.01     OK                           350      39 SE 956
   957   00:00:02 Sokolution v2.01     OK                           409      49 SE 957
   958   00:00:02 Sokolution v2.01     OK                           471      57 SE 958
   959   00:00:24 Sokolution v2.01     OK                           745     157 SE 959
   960   00:00:01 Sokolution v2.01     OK                           614     153 SE 960
   961   00:00:01 Sokolution v2.01     OK                           764     162 SE 961
   962   00:00:01 Sokolution v2.01     OK                           260      40 SE 962
   963   00:00:01 Sokolution v2.01     OK                           267      48 SE 963
   964   00:00:28 Sokolution v2.01     OK                           844      72 SE 964
   965   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 965
   966   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 966
   967   00:00:01 Sokolution v2.01     OK                           724     153 SE 967
   968   00:00:01 Sokolution v2.01     OK                           226      28 SE 968
   969   00:00:01 Sokolution v2.01     OK                           199      26 SE 969
   970   00:00:01 Sokolution v2.01     OK                           156      24 SE 970
   971   00:00:01 Sokolution v2.01     OK                           473      68 SE 971
   972   00:00:01 Sokolution v2.01     OK                           313      49 SE 972
   973   00:00:01 Sokolution v2.01     OK                           299      52 SE 973
   974   00:00:01 Sokolution v2.01     OK                           328      54 SE 974
   975   00:00:42 Sokolution v2.01     OK                           444      98 SE 975
   976   00:00:05 Sokolution v2.01     OK                           426      96 SE 976
   977   00:00:03 Sokolution v2.01     OK                           807      90 SE 977
   978   00:03:02 Sokolution v2.01     OK                          2365     186 SE 978
   979   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 979
   980   00:00:08 Sokolution v2.01     OK                           556     118 SE 980
   981   00:00:11 Sokolution v2.01     OK                           533     120 SE 981
   982   00:00:01 Sokolution v2.01     OK                           367      60 SE 982
   983   00:00:01 Sokolution v2.01     OK                           203      32 SE 983
   984   00:00:04 Sokolution v2.01     OK                           738     144 SE 984
   985   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 985
   986   00:10:00 Sokolution v2.01     Time limit exceeded                      SE 986
   987   00:00:28 Sokolution v2.01     OK                           318     104 SE 987
   988   00:00:17 Sokolution v2.01     OK                           565     115 SE 988
   989   00:00:56 Sokolution v2.01     OK                           866     155 SE 989
   990   00:00:01 Sokolution v2.01     OK                           566      74 SE 990
   991   00:00:02 Sokolution v2.01     OK                           373      60 SE 991
   992   00:10:03 Sokolution v2.01     Time limit exceeded                      SE 992
   993   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 993
   994   00:00:01 Sokolution v2.01     OK                           196      58 SE 994
   995   00:00:02 Sokolution v2.01     OK                           360      92 SE 995
   996   00:00:01 Sokolution v2.01     OK                           238      53 SE 996
   997   00:00:01 Sokolution v2.01     OK                           399      98 SE 997
   998   00:00:01 Sokolution v2.01     OK                           618     126 SE 998
   999   00:00:02 Sokolution v2.01     OK                           142      44 SE 999
  1000   00:00:01 Sokolution v2.01     OK                           626     118 SE 1000
  1001   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1001
  1002   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1002
  1003   00:00:15 Sokolution v2.01     OK                           607     111 SE 1003
  1004   00:00:01 Sokolution v2.01     OK                           221      25 SE 1004
  1005   00:00:01 Sokolution v2.01     OK                           360      47 SE 1005
  1006   00:00:03 Sokolution v2.01     OK                           604     122 SE 1006
  1007   00:00:01 Sokolution v2.01     OK                           222      29 SE 1007
  1008   00:00:01 Sokolution v2.01     OK                           120      24 SE 1008
  1009   00:00:01 Sokolution v2.01     OK                           148      29 SE 1009
  1010   00:00:01 Sokolution v2.01     OK                           294      50 SE 1010
  1011            Sokolution v2.01     OK                           291      78 SE 1011
  1012            Sokolution v2.01     OK                           309      70 SE 1012
  1013            Sokolution v2.01     OK                           221      55 SE 1013
  1014   00:01:47 Sokolution v2.01     OK                          1777     324 SE 1014
  1015   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1015
  1016   00:00:22 Sokolution v2.01     OK                          2306     306 SE 1016
  1017   00:10:04 Sokolution v2.01     Time limit exceeded                      SE 1017
  1018   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1018
  1019   00:00:02 Sokolution v2.01     OK                           898      74 SE 1019
  1020   00:00:01 Sokolution v2.01     OK                           449      81 SE 1020
  1021   00:00:04 Sokolution v2.01     OK                           459      62 SE 1021
  1022   00:00:01 Sokolution v2.01     OK                           112      34 SE 1022
  1023   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1023
  1024   00:00:01 Sokolution v2.01     OK                           162      34 SE 1024
  1025   00:00:01 Sokolution v2.01     OK                           276      65 SE 1025
  1026   00:00:17 Sokolution v2.01     OK                           511     111 SE 1026
  1027   00:00:01 Sokolution v2.01     OK                           107      30 SE 1027
  1028   00:00:01 Sokolution v2.01     OK                           243      38 SE 1028
  1029   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1029
  1030   00:00:01 Sokolution v2.01     OK                           520      92 SE 1030
  1031   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1031
  1032   00:00:03 Sokolution v2.01     OK                           778     124 SE 1032
  1033   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1033
  1034   00:00:01 Sokolution v2.01     OK                           430      91 SE 1034
  1035   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1035
  1036   00:01:54 Sokolution v2.01     OK                          1162     261 SE 1036
  1037   00:00:24 Sokolution v2.01     OK                           307      54 SE 1037
  1038   00:00:01 Sokolution v2.01     OK                           368      32 SE 1038
  1039   00:01:38 Sokolution v2.01     OK                          1606     395 SE 1039
  1040   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1040
  1041   00:10:04 Sokolution v2.01     Time limit exceeded                      SE 1041
  1042   00:10:05 Sokolution v2.01     Time limit exceeded                      SE 1042
  1043   00:07:11 Sokolution v2.01     OK                          1821     278 SE 1043
  1044   00:00:01 Sokolution v2.01     OK                           581     162 SE 1044
  1045   00:00:01 Sokolution v2.01     OK                           439     140 SE 1045
  1046   00:00:21 Sokolution v2.01     OK                           316      54 SE 1046
  1047   00:00:02 Sokolution v2.01     OK                           560      74 SE 1047
  1048   00:10:05 Sokolution v2.01     Time limit exceeded                      SE 1048
  1049   00:06:13 Sokolution v2.01     Unsolved                                 SE 1049
  1050   00:00:01 Sokolution v2.01     OK                           796     171 SE 1050
  1051   00:00:01 Sokolution v2.01     OK                           364      43 SE 1051
  1052   00:00:02 Sokolution v2.01     OK                           537      64 SE 1052
  1053   00:00:21 Sokolution v2.01     OK                           924     180 SE 1053
  1054   00:00:01 Sokolution v2.01     OK                           180      28 SE 1054
  1055   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1055
  1056   00:00:01 Sokolution v2.01     OK                           103      23 SE 1056
  1057   00:00:01 Sokolution v2.01     OK                           298      54 SE 1057
  1058   00:00:29 Sokolution v2.01     OK                           830     194 SE 1058
  1059   00:00:01 Sokolution v2.01     OK                           712     129 SE 1059
  1060   00:00:05 Sokolution v2.01     OK                          2231     351 SE 1060
  1061   00:00:02 Sokolution v2.01     OK                          1997     309 SE 1061
  1062   00:00:03 Sokolution v2.01     OK                          1620     297 SE 1062
  1063   00:00:02 Sokolution v2.01     OK                           850     129 SE 1063
  1064   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1064
  1065   00:00:11 Sokolution v2.01     OK                           651     100 SE 1065
  1066   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1066
  1067   00:00:11 Sokolution v2.01     OK                           532      80 SE 1067
  1068   00:00:02 Sokolution v2.01     OK                           820     142 SE 1068
  1069   00:00:01 Sokolution v2.01     OK                           130      16 SE 1069
  1070   00:00:01 Sokolution v2.01     OK                           426      56 SE 1070
  1071   00:00:02 Sokolution v2.01     OK                           588     108 SE 1071
  1072   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1072
  1073   00:00:01 Sokolution v2.01     OK                           232      44 SE 1073
  1074   00:00:01 Sokolution v2.01     OK                           522      73 SE 1074
  1075   00:00:02 Sokolution v2.01     OK                           393      54 SE 1075
  1076   00:01:00 Sokolution v2.01     OK                           999     114 SE 1076
  1077   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1077
  1078   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1078
  1079   00:00:04 Sokolution v2.01     OK                           732     116 SE 1079
  1080   00:03:41 Sokolution v2.01     OK                          2306     434 SE 1080
  1081   00:00:01 Sokolution v2.01     OK                           337      44 SE 1081
  1082   00:00:02 Sokolution v2.01     OK                           519      74 SE 1082
  1083   00:01:59 Sokolution v2.01     OK                           818     156 SE 1083
  1084   00:00:01 Sokolution v2.01     OK                           311      38 SE 1084
  1085   00:00:01 Sokolution v2.01     OK                           266      36 SE 1085
  1086   00:00:03 Sokolution v2.01     OK                           410      70 SE 1086
  1087   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1087
  1088   00:00:01 Sokolution v2.01     OK                           349      49 SE 1088
  1089   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1089
  1090   00:00:29 Sokolution v2.01     OK                           514     118 SE 1090
  1091   00:00:12 Sokolution v2.01     OK                          1200     218 SE 1091
  1092   00:00:01 Sokolution v2.01     OK                           483      98 SE 1092
  1093   00:00:01 Sokolution v2.01     OK                           267      52 SE 1093
  1094   00:00:14 Sokolution v2.01     OK                           631     122 SE 1094
  1095   00:00:21 Sokolution v2.01     OK                          1445     168 SE 1095
  1096   00:00:12 Sokolution v2.01     OK                           905     112 SE 1096
  1097   00:00:01 Sokolution v2.01     OK                           229      50 SE 1097
  1098   00:00:01 Sokolution v2.01     OK                           346     102 SE 1098
  1099   00:00:01 Sokolution v2.01     OK                           392     124 SE 1099
  1100   00:00:01 Sokolution v2.01     OK                           185      28 SE 1100
  1101   00:00:09 Sokolution v2.01     OK                           376      63 SE 1101
  1102   00:00:01 Sokolution v2.01     OK                           343      46 SE 1102
  1103   00:00:01 Sokolution v2.01     OK                           235      59 SE 1103
  1104   00:00:01 Sokolution v2.01     OK                           327      65 SE 1104
  1105            Sokolution v2.01     OK                           262      59 SE 1105
  1106   00:00:01 Sokolution v2.01     OK                           245      42 SE 1106
  1107   00:00:03 Sokolution v2.01     OK                           613     104 SE 1107
  1108   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1108
  1109   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1109
  1110   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1110
  1111   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1111
  1112   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1112
  1113   00:00:01 Sokolution v2.01     OK                           253      40 SE 1113
  1114   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1114
  1115   00:00:01 Sokolution v2.01     OK                           312      53 SE 1115
  1116   00:00:01 Sokolution v2.01     OK                           312      32 SE 1116
  1117   00:00:01 Sokolution v2.01     OK                           274      36 SE 1117
  1118   00:00:01 Sokolution v2.01     OK                           266      45 SE 1118
  1119   00:00:01 Sokolution v2.01     OK                           188      44 SE 1119
  1120   00:00:15 Sokolution v2.01     OK                           532     113 SE 1120
  1121   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1121
  1122   00:10:03 Sokolution v2.01     Time limit exceeded                      SE 1122
  1123   00:00:05 Sokolution v2.01     OK                           721     100 SE 1123
  1124   00:00:02 Sokolution v2.01     OK                           267      41 SE 1124
  1125   00:00:13 Sokolution v2.01     OK                           707      78 SE 1125
  1126   00:00:01 Sokolution v2.01     OK                           199      39 SE 1126
  1127   00:00:01 Sokolution v2.01     OK                           250      52 SE 1127
  1128   00:00:05 Sokolution v2.01     OK                           891     151 SE 1128
  1129   00:10:00 Sokolution v2.01     Time limit exceeded                      SE 1129
  1130   00:00:01 Sokolution v2.01     OK                           783     231 SE 1130
  1131   00:00:03 Sokolution v2.01     OK                           326      53 SE 1131
  1132   00:00:11 Sokolution v2.01     OK                           510      84 SE 1132
  1133   00:00:35 Sokolution v2.01     OK                           762     114 SE 1133
  1134   00:00:22 Sokolution v2.01     OK                           521      48 SE 1134
  1135   00:00:08 Sokolution v2.01     OK                           163      24 SE 1135
  1136   00:00:01 Sokolution v2.01     OK                           577      47 SE 1136
  1137   00:05:58 Sokolution v2.01     OK                           665      94 SE 1137
  1138   00:00:01 Sokolution v2.01     OK                           277      45 SE 1138
  1139   00:00:17 Sokolution v2.01     OK                           678      71 SE 1139
  1140   00:00:01 Sokolution v2.01     OK                            54      17 SE 1140
  1141   00:00:02 Sokolution v2.01     OK                           438      78 SE 1141
  1142            Sokolution v2.01     OK                            73      13 SE 1142
  1143   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1143
  1144   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1144
  1145   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1145
  1146   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1146
  1147   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1147
  1148   00:00:01 Sokolution v2.01     OK                           407      62 SE 1148
  1149   00:00:02 Sokolution v2.01     OK                           870     102 SE 1149
  1150   00:00:03 Sokolution v2.01     OK                          1209     124 SE 1150
  1151   00:00:05 Sokolution v2.01     OK                           704      60 SE 1151
  1152   00:00:01 Sokolution v2.01     OK                           436      78 SE 1152
  1153   00:07:56 Sokolution v2.01     Unsolved                                 SE 1153
  1154   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1154
  1155   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1155
  1156   00:00:01 Sokolution v2.01     OK                           213      69 SE 1156
  1157   00:00:01 Sokolution v2.01     OK                           368      81 SE 1157
  1158   00:00:03 Sokolution v2.01     OK                           388      89 SE 1158
  1159   00:00:08 Sokolution v2.01     OK                           560     121 SE 1159
  1160   00:00:24 Sokolution v2.01     OK                           626     131 SE 1160
  1161   00:00:04 Sokolution v2.01     OK                           451      94 SE 1161
  1162   00:03:11 Sokolution v2.01     OK                           805     208 SE 1162
  1163   00:00:01 Sokolution v2.01     OK                            55      13 SE 1163
  1164   00:00:01 Sokolution v2.01     OK                           154      32 SE 1164
  1165   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1165
  1166   00:00:49 Sokolution v2.01     OK                           518      96 SE 1166
  1167   00:00:01 Sokolution v2.01     OK                           119      29 SE 1167
  1168   00:01:44 Sokolution v2.01     OK                           840     175 SE 1168
  1169   00:00:01 Sokolution v2.01     OK                            21       7 SE 1169
  1170   00:00:01 Sokolution v2.01     OK                            40      11 SE 1170
  1171   00:00:01 Sokolution v2.01     OK                            54      15 SE 1171
  1172   00:00:06 Sokolution v2.01     OK                          1457     171 SE 1172
  1173   00:00:32 Sokolution v2.01     OK                          1735     206 SE 1173
  1174   00:00:01 Sokolution v2.01     OK                          1440     129 SE 1174
  1175   00:00:02 Sokolution v2.01     OK                          1315     115 SE 1175
  1176   00:10:05 Sokolution v2.01     Time limit exceeded                      SE 1176
  1177   00:00:01 Sokolution v2.01     OK                            69      12 SE 1177
  1178   00:00:12 Sokolution v2.01     OK                           841     152 SE 1178
  1179   00:00:01 Sokolution v2.01     OK                            88      21 SE 1179
  1180   00:00:01 Sokolution v2.01     OK                           303      50 SE 1180
  1181   00:00:01 Sokolution v2.01     OK                           215      40 SE 1181
  1182   00:00:01 Sokolution v2.01     OK                           258      43 SE 1182
  1183   00:00:01 Sokolution v2.01     OK                           330      55 SE 1183
  1184   00:00:03 Sokolution v2.01     OK                           682     129 SE 1184
  1185   00:02:15 Sokolution v2.01     OK                          1295     233 SE 1185
  1186   00:00:01 Sokolution v2.01     OK                           105      14 SE 1186
  1187   00:02:48 Sokolution v2.01     OK                          1998     254 SE 1187
  1188   00:00:01 Sokolution v2.01     OK                           266      41 SE 1188
  1189   00:00:01 Sokolution v2.01     OK                           546      80 SE 1189
  1190   00:00:01 Sokolution v2.01     OK                           256      48 SE 1190
  1191            Sokolution v2.01     OK                           212      25 SE 1191
  1192   00:00:01 Sokolution v2.01     OK                           135      13 SE 1192
  1193   00:00:01 Sokolution v2.01     OK                           628      68 SE 1193
  1194   00:00:04 Sokolution v2.01     OK                          1061      76 SE 1194
  1195   00:00:01 Sokolution v2.01     OK                           516      49 SE 1195
  1196   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1196
  1197   00:00:01 Sokolution v2.01     OK                          1518     158 SE 1197
  1198   00:00:01 Sokolution v2.01     OK                          1326     174 SE 1198
  1199   00:00:01 Sokolution v2.01     OK                           854     107 SE 1199
  1200   00:00:12 Sokolution v2.01     OK                          1634     218 SE 1200
  1201   00:00:01 Sokolution v2.01     OK                            57      16 SE 1201
  1202   00:00:03 Sokolution v2.01     OK                           456      68 SE 1202
  1203   00:00:01 Sokolution v2.01     OK                           163      32 SE 1203
  1204   00:00:01 Sokolution v2.01     OK                           238      39 SE 1204
  1205   00:00:01 Sokolution v2.01     OK                           295      48 SE 1205
  1206   00:00:01 Sokolution v2.01     OK                           158      36 SE 1206
  1207   00:00:02 Sokolution v2.01     OK                           201      46 SE 1207
  1208   00:00:02 Sokolution v2.01     OK                           759      90 SE 1208
  1209   00:00:02 Sokolution v2.01     OK                           822      88 SE 1209
  1210   00:00:01 Sokolution v2.01     OK                           751     110 SE 1210
  1211   00:02:38 Sokolution v2.01     OK                          1445     212 SE 1211
  1212   00:00:53 Sokolution v2.01     OK                          1186     233 SE 1212
  1213   00:00:02 Sokolution v2.01     OK                          1314     190 SE 1213
  1214   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1214
  1215   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1215
  1216   00:00:19 Sokolution v2.01     OK                          2406     158 SE 1216
  1217   00:00:05 Sokolution v2.01     OK                           605     126 SE 1217
  1218   00:00:06 Sokolution v2.01     OK                           537      70 SE 1218
  1219   00:00:02 Sokolution v2.01     OK                           578      74 SE 1219
  1220   00:00:01 Sokolution v2.01     OK                           302      55 SE 1220
  1221   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1221
  1222   00:00:01 Sokolution v2.01     OK                           218      36 SE 1222
  1223   00:00:01 Sokolution v2.01     OK                           159      36 SE 1223
  1224   00:00:01 Sokolution v2.01     OK                           125      24 SE 1224
  1225   00:00:07 Sokolution v2.01     OK                           370      76 SE 1225
  1226   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1226
  1227   00:00:05 Sokolution v2.01     OK                           579     111 SE 1227
  1228   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1228
  1229   00:00:01 Sokolution v2.01     OK                           585      48 SE 1229
  1230   00:00:01 Sokolution v2.01     OK                           134      28 SE 1230
  1231   00:00:01 Sokolution v2.01     OK                           451      89 SE 1231
  1232   00:00:01 Sokolution v2.01     OK                           428     102 SE 1232
  1233   00:00:01 Sokolution v2.01     OK                           375      80 SE 1233
  1234   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1234
  1235   00:00:02 Sokolution v2.01     OK                          1652     430 SE 1235
  1236   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1236
  1237   00:00:01 Sokolution v2.01     OK                           104      15 SE 1237
  1238   00:00:01 Sokolution v2.01     OK                           166      42 SE 1238
  1239   00:00:18 Sokolution v2.01     OK                           567     114 SE 1239
  1240   00:00:01 Sokolution v2.01     OK                           390      47 SE 1240
  1241   00:00:01 Sokolution v2.01     OK                           271      55 SE 1241
  1242   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1242
  1243   00:00:01 Sokolution v2.01     OK                           343      65 SE 1243
  1244   00:02:07 Sokolution v2.01     OK                          1843     218 SE 1244
  1245   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1245
  1246   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1246
  1247   00:00:02 Sokolution v2.01     OK                           891     126 SE 1247
  1248   00:00:08 Sokolution v2.01     OK                          1146     148 SE 1248
  1249   00:09:20 Sokolution v2.01     OK                          1840     391 SE 1249
  1250   00:00:02 Sokolution v2.01     OK                           617      70 SE 1250
  1251   00:01:08 Sokolution v2.01     OK                          1165     132 SE 1251
  1252   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1252
  1253   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1253
  1254   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1254
  1255   00:00:05 Sokolution v2.01     OK                          2459     308 SE 1255
  1256   00:05:09 Sokolution v2.01     OK                           966     196 SE 1256
  1257   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1257
  1258   00:00:01 Sokolution v2.01     OK                            98      23 SE 1258
  1259   00:00:01 Sokolution v2.01     OK                           246      53 SE 1259
  1260            Sokolution v2.01     OK                           384      61 SE 1260
  1261            Sokolution v2.01     OK                           262      53 SE 1261
  1262   00:00:09 Sokolution v2.01     OK                           308      69 SE 1262
  1263   00:00:01 Sokolution v2.01     OK                           212      48 SE 1263
  1264   00:00:21 Sokolution v2.01     OK                           698     138 SE 1264
  1265   00:00:01 Sokolution v2.01     OK                           283      80 SE 1265
  1266   00:00:01 Sokolution v2.01     OK                           333      71 SE 1266
  1267   00:00:08 Sokolution v2.01     OK                           692     111 SE 1267
  1268   00:00:07 Sokolution v2.01     OK                           725     196 SE 1268
  1269   00:00:01 Sokolution v2.01     OK                           391      92 SE 1269
  1270   00:00:01 Sokolution v2.01     OK                           237      51 SE 1270
  1271   00:00:01 Sokolution v2.01     OK                           530      88 SE 1271
  1272   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1272
  1273   00:04:40 Sokolution v2.01     Unsolved                                 SE 1273
  1274   00:00:01 Sokolution v2.01     OK                           152      30 SE 1274
  1275   00:00:01 Sokolution v2.01     OK                          1308     164 SE 1275
  1276   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1276
  1277   00:00:01 Sokolution v2.01     OK                           230      58 SE 1277
  1278   00:00:01 Sokolution v2.01     OK                           263      63 SE 1278
  1279   00:00:07 Sokolution v2.01     OK                          1342     224 SE 1279
  1280   00:00:02 Sokolution v2.01     OK                           660     116 SE 1280
  1281   00:00:01 Sokolution v2.01     OK                           427      99 SE 1281
  1282   00:00:01 Sokolution v2.01     OK                           206      45 SE 1282
  1283   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1283
  1284   00:00:04 Sokolution v2.01     OK                          1359     259 SE 1284
  1285   00:00:22 Sokolution v2.01     OK                           748     146 SE 1285
  1286   00:00:01 Sokolution v2.01     OK                           330      52 SE 1286
  1287   00:00:24 Sokolution v2.01     OK                          1063     208 SE 1287
  1288   00:10:03 Sokolution v2.01     Time limit exceeded                      SE 1288
  1289   00:00:01 Sokolution v2.01     OK                           628     107 SE 1289
  1290   00:00:01 Sokolution v2.01     OK                           258      59 SE 1290
  1291   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1291
  1292   00:00:02 Sokolution v2.01     OK                           451      97 SE 1292
  1293   00:00:01 Sokolution v2.01     OK                           326      34 SE 1293
  1294   00:00:04 Sokolution v2.01     OK                          1304     128 SE 1294
  1295   00:00:01 Sokolution v2.01     OK                           655      96 SE 1295
  1296   00:00:01 Sokolution v2.01     OK                           374     109 SE 1296
  1297   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1297
  1298   00:10:00 Sokolution v2.01     Time limit exceeded                      SE 1298
  1299   00:00:01 Sokolution v2.01     OK                           280      60 SE 1299
  1300   00:00:01 Sokolution v2.01     OK                           879     109 SE 1300
  1301   00:00:03 Sokolution v2.01     OK                           799     103 SE 1301
  1302   00:00:02 Sokolution v2.01     OK                           678     124 SE 1302
  1303   00:00:02 Sokolution v2.01     OK                           247      52 SE 1303
  1304   00:00:02 Sokolution v2.01     OK                           510     107 SE 1304
  1305   00:00:02 Sokolution v2.01     OK                           840     114 SE 1305
  1306   00:00:01 Sokolution v2.01     OK                           627     136 SE 1306
  1307   00:00:03 Sokolution v2.01     OK                          1530     234 SE 1307
  1308   00:00:01 Sokolution v2.01     OK                           463      81 SE 1308
  1309   00:00:01 Sokolution v2.01     OK                           683     113 SE 1309
  1310   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1310
  1311   00:00:04 Sokolution v2.01     OK                           733     158 SE 1311
  1312   00:00:01 Sokolution v2.01     OK                           354      74 SE 1312
  1313   00:00:01 Sokolution v2.01     OK                           425      77 SE 1313
  1314   00:00:04 Sokolution v2.01     OK                          1372     216 SE 1314
  1315   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1315
  1316   00:00:01 Sokolution v2.01     OK                           326      70 SE 1316
  1317   00:00:01 Sokolution v2.01     OK                           347      48 SE 1317
  1318   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1318
  1319   00:00:01 Sokolution v2.01     OK                           272      46 SE 1319
  1320   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1320
  1321   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1321
  1322   00:00:01 Sokolution v2.01     OK                           296      34 SE 1322
  1323   00:00:18 Sokolution v2.01     OK                           514      64 SE 1323
  1324   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1324
  1325   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1325
  1326   00:00:01 Sokolution v2.01     OK                           316      30 SE 1326
  1327   00:00:45 Sokolution v2.01     OK                           553      86 SE 1327
  1328   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1328
  1329   00:10:03 Sokolution v2.01     Time limit exceeded                      SE 1329
  1330   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1330
  1331   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1331
  1332   00:10:03 Sokolution v2.01     Time limit exceeded                      SE 1332
  1333   00:00:01 Sokolution v2.01     OK                           709     163 SE 1333
  1334   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1334
  1335   00:00:02 Sokolution v2.01     OK                           799      95 SE 1335
  1336   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1336
  1337   00:00:01 Sokolution v2.01     OK                           280      50 SE 1337
  1338   00:00:01 Sokolution v2.01     OK                           582      54 SE 1338
  1339   00:00:03 Sokolution v2.01     OK                           890     134 SE 1339
  1340   00:00:02 Sokolution v2.01     OK                           572      86 SE 1340
  1341   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1341
  1342   00:10:05 Sokolution v2.01     Time limit exceeded                      SE 1342
  1343   00:00:14 Sokolution v2.01     OK                          1115     149 SE 1343
  1344   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1344
  1345   00:00:02 Sokolution v2.01     OK                           376     102 SE 1345
  1346   00:00:01 Sokolution v2.01     OK                           110      24 SE 1346
  1347   00:01:12 Sokolution v2.01     OK                          1078     156 SE 1347
  1348   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1348
  1349   00:00:01 Sokolution v2.01     OK                           470      88 SE 1349
  1350   00:00:03 Sokolution v2.01     OK                           590     118 SE 1350
  1351   00:00:01 Sokolution v2.01     OK                           191      52 SE 1351
  1352   00:00:04 Sokolution v2.01     OK                           387     116 SE 1352
  1353   00:00:02 Sokolution v2.01     OK                          1051     184 SE 1353
  1354   00:00:02 Sokolution v2.01     OK                           845     164 SE 1354
  1355   00:00:04 Sokolution v2.01     OK                           678     111 SE 1355
  1356   00:00:01 Sokolution v2.01     OK                           365      96 SE 1356
  1357   00:00:10 Sokolution v2.01     OK                           592     139 SE 1357
  1358   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1358
  1359   00:00:27 Sokolution v2.01     OK                           262      55 SE 1359
  1360   00:00:01 Sokolution v2.01     OK                           265      50 SE 1360
  1361   00:00:04 Sokolution v2.01     OK                          1244     186 SE 1361
  1362   00:01:54 Sokolution v2.01     OK                          2659     392 SE 1362
  1363   00:00:04 Sokolution v2.01     OK                           603     176 SE 1363
  1364   00:00:01 Sokolution v2.01     OK                           715      59 SE 1364
  1365   00:00:01 Sokolution v2.01     OK                           725     172 SE 1365
  1366   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1366
  1367   00:00:13 Sokolution v2.01     OK                          1427     235 SE 1367
  1368   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1368
  1369   00:00:01 Sokolution v2.01     OK                           510      71 SE 1369
  1370   00:00:01 Sokolution v2.01     OK                           616     100 SE 1370
  1371   00:00:01 Sokolution v2.01     OK                           546      64 SE 1371
  1372   00:00:02 Sokolution v2.01     OK                           302      67 SE 1372
  1373   00:00:03 Sokolution v2.01     OK                           622     128 SE 1373
  1374   00:00:01 Sokolution v2.01     OK                           234      25 SE 1374
  1375            Sokolution v2.01     OK                           398      41 SE 1375
  1376   00:00:01 Sokolution v2.01     OK                           570      60 SE 1376
  1377   00:00:06 Sokolution v2.01     OK                          1015     216 SE 1377
  1378   00:00:02 Sokolution v2.01     OK                           429      82 SE 1378
  1379   00:05:24 Sokolution v2.01     OK                          2676     527 SE 1379
  1380   00:00:16 Sokolution v2.01     OK                           327      84 SE 1380
  1381   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1381
  1382   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1382
  1383   00:00:09 Sokolution v2.01     OK                          1631     426 SE 1383
  1384   00:00:01 Sokolution v2.01     OK                           558      82 SE 1384
  1385            Sokolution v2.01     OK                           229      54 SE 1385
  1386   00:00:01 Sokolution v2.01     OK                           152      23 SE 1386
  1387   00:00:02 Sokolution v2.01     OK                           667      94 SE 1387
  1388            Sokolution v2.01     OK                           344      46 SE 1388
  1389   00:00:37 Sokolution v2.01     OK                           485      96 SE 1389
  1390   00:03:24 Sokolution v2.01     OK                           825     216 SE 1390
  1391   00:00:01 Sokolution v2.01     OK                           256      30 SE 1391
  1392   00:00:40 Sokolution v2.01     OK                           992      96 SE 1392
  1393   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1393
  1394   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1394
  1395   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1395
  1396   00:00:01 Sokolution v2.01     OK                           243      65 SE 1396
  1397            Sokolution v2.01     OK                           445      83 SE 1397
  1398   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1398
  1399   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1399
  1400   00:00:01 Sokolution v2.01     OK                           115      22 SE 1400
  1401   00:00:05 Sokolution v2.01     OK                           810     110 SE 1401
  1402   00:00:01 Sokolution v2.01     OK                            76      18 SE 1402
  1403   00:00:02 Sokolution v2.01     OK                           520      46 SE 1403
  1404   00:00:02 Sokolution v2.01     OK                           498      52 SE 1404
  1405   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1405
  1406   00:00:01 Sokolution v2.01     OK                           379      63 SE 1406
  1407   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1407
  1408   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1408
  1409   00:00:16 Sokolution v2.01     OK                           742      86 SE 1409
  1410   00:00:09 Sokolution v2.01     OK                           664      74 SE 1410
  1411   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1411
  1412   00:00:01 Sokolution v2.01     OK                           247      34 SE 1412
  1413   00:00:01 Sokolution v2.01     OK                           276      31 SE 1413
  1414   00:00:14 Sokolution v2.01     OK                           980     144 SE 1414
  1415   00:01:30 Sokolution v2.01     OK                          1150     178 SE 1415
  1416   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1416
  1417   00:00:05 Sokolution v2.01     OK                          1006     164 SE 1417
  1418   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1418
  1419   00:00:02 Sokolution v2.01     OK                           967     167 SE 1419
  1420   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1420
  1421   00:00:45 Sokolution v2.01     OK                           630      88 SE 1421
  1422   00:00:01 Sokolution v2.01     OK                           204      27 SE 1422
  1423   00:00:01 Sokolution v2.01     OK                           504      94 SE 1423
  1424   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1424
  1425   00:00:31 Sokolution v2.01     OK                          1854     267 SE 1425
  1426   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1426
  1427   00:00:01 Sokolution v2.01     OK                            68      16 SE 1427
  1428   00:00:02 Sokolution v2.01     OK                           798      60 SE 1428
  1429   00:00:01 Sokolution v2.01     OK                           310      45 SE 1429
  1430   00:00:05 Sokolution v2.01     OK                           510      98 SE 1430
  1431   00:00:01 Sokolution v2.01     OK                           316      55 SE 1431
  1432   00:00:01 Sokolution v2.01     OK                           232      60 SE 1432
  1433   00:00:01 Sokolution v2.01     OK                           172      37 SE 1433
  1434   00:00:57 Sokolution v2.01     OK                          2008     280 SE 1434
  1435   00:01:14 Sokolution v2.01     OK                          2371     367 SE 1435
  1436   00:00:01 Sokolution v2.01     OK                          1615     232 SE 1436
  1437   00:00:02 Sokolution v2.01     OK                           589     160 SE 1437
  1438   00:00:01 Sokolution v2.01     OK                           200      46 SE 1438
  1439   00:00:01 Sokolution v2.01     OK                           155      30 SE 1439
  1440   00:00:01 Sokolution v2.01     OK                           224      37 SE 1440
  1441   00:00:01 Sokolution v2.01     OK                           301      45 SE 1441
  1442   00:02:14 Sokolution v2.01     OK                          1146     160 SE 1442
  1443   00:00:02 Sokolution v2.01     OK                           927     102 SE 1443
  1444   00:00:01 Sokolution v2.01     OK                           183      31 SE 1444
  1445   00:00:01 Sokolution v2.01     OK                           513      98 SE 1445
  1446   00:00:01 Sokolution v2.01     OK                           646     112 SE 1446
  1447   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1447
  1448   00:00:01 Sokolution v2.01     OK                           296      60 SE 1448
  1449   00:01:50 Sokolution v2.01     OK                          2055     308 SE 1449
  1450   00:00:01 Sokolution v2.01     OK                           227      65 SE 1450
  1451   00:00:01 Sokolution v2.01     OK                           205      55 SE 1451
  1452            Sokolution v2.01     OK                           790     111 SE 1452
  1453   00:02:17 Sokolution v2.01     OK                          1063     190 SE 1453
  1454   00:10:00 Sokolution v2.01     Time limit exceeded                      SE 1454
  1455   00:00:01 Sokolution v2.01     OK                           229      43 SE 1455
  1456   00:00:01 Sokolution v2.01     OK                           205      29 SE 1456
  1457   00:09:03 Sokolution v2.01     OK                           795     171 SE 1457
  1458   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1458
  1459   00:10:00 Sokolution v2.01     Time limit exceeded                      SE 1459
  1460   00:00:01 Sokolution v2.01     OK                           570      66 SE 1460
  1461   00:00:07 Sokolution v2.01     OK                           791     136 SE 1461
  1462   00:10:00 Sokolution v2.01     Time limit exceeded                      SE 1462
  1463   00:03:06 Sokolution v2.01     OK                           789     182 SE 1463
  1464   00:00:01 Sokolution v2.01     OK                           706     164 SE 1464
  1465   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1465
  1466   00:00:01 Sokolution v2.01     OK                           434     102 SE 1466
  1467   00:00:01 Sokolution v2.01     OK                           392      49 SE 1467
  1468   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1468
  1469   00:00:01 Sokolution v2.01     OK                           478     107 SE 1469
  1470   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1470
  1471   00:00:01 Sokolution v2.01     OK                           313      53 SE 1471
  1472   00:00:05 Sokolution v2.01     OK                          1155     188 SE 1472
  1473   00:00:01 Sokolution v2.01     OK                           539     111 SE 1473
  1474   00:00:01 Sokolution v2.01     OK                           362      66 SE 1474
  1475   00:00:01 Sokolution v2.01     OK                           329      52 SE 1475
  1476   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1476
  1477   00:00:02 Sokolution v2.01     OK                          1557     335 SE 1477
  1478   00:00:01 Sokolution v2.01     OK                           140      36 SE 1478
  1479   00:00:01 Sokolution v2.01     OK                           458      90 SE 1479
  1480   00:00:41 Sokolution v2.01     OK                           681     131 SE 1480
  1481   00:00:01 Sokolution v2.01     OK                           158      26 SE 1481
  1482   00:00:02 Sokolution v2.01     OK                           586     102 SE 1482
  1483   00:00:01 Sokolution v2.01     OK                           518      48 SE 1483
  1484   00:00:01 Sokolution v2.01     OK                           187      33 SE 1484
  1485            Sokolution v2.01     OK                           169      25 SE 1485
  1486   00:00:27 Sokolution v2.01     OK                          1020     176 SE 1486
  1487   00:00:01 Sokolution v2.01     OK                           383      68 SE 1487
  1488   00:00:02 Sokolution v2.01     OK                           850     120 SE 1488
  1489   00:00:02 Sokolution v2.01     OK                           874     108 SE 1489
  1490   00:00:01 Sokolution v2.01     OK                           293      78 SE 1490
  1491   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1491
  1492   00:00:01 Sokolution v2.01     OK                           380      98 SE 1492
  1493   00:00:01 Sokolution v2.01     OK                           345      64 SE 1493
  1494   00:00:01 Sokolution v2.01     OK                           241      66 SE 1494
  1495   00:00:01 Sokolution v2.01     OK                           324      72 SE 1495
  1496   00:00:01 Sokolution v2.01     OK                           175      52 SE 1496
  1497   00:00:03 Sokolution v2.01     OK                           815     226 SE 1497
  1498            Sokolution v2.01     OK                           200      44 SE 1498
  1499            Sokolution v2.01     OK                           388      76 SE 1499
  1500            Sokolution v2.01     OK                           131      31 SE 1500
  1501   00:00:02 Sokolution v2.01     OK                           572      64 SE 1501
  1502   00:00:02 Sokolution v2.01     OK                           593     126 SE 1502
  1503   00:00:01 Sokolution v2.01     OK                           386      44 SE 1503
  1504   00:00:01 Sokolution v2.01     OK                           437      48 SE 1504
  1505   00:00:01 Sokolution v2.01     OK                           231      32 SE 1505
  1506   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1506
  1507   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1507
  1508   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1508
  1509   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1509
  1510   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1510
  1511   00:00:03 Sokolution v2.01     OK                           432      76 SE 1511
  1512   00:00:01 Sokolution v2.01     OK                           116      20 SE 1512
  1513   00:10:03 Sokolution v2.01     Time limit exceeded                      SE 1513
  1514   00:00:01 Sokolution v2.01     OK                           760     118 SE 1514
  1515   00:07:26 Sokolution v2.01     Unsolved                                 SE 1515
  1516   00:00:11 Sokolution v2.01     OK                           510     128 SE 1516
  1517   00:01:18 Sokolution v2.01     OK                           683     117 SE 1517
  1518   00:00:01 Sokolution v2.01     OK                           230      38 SE 1518
  1519   00:00:01 Sokolution v2.01     OK                           449      78 SE 1519
  1520   00:00:02 Sokolution v2.01     OK                           676     144 SE 1520
  1521            Sokolution v2.01     OK                           475      70 SE 1521
  1522   00:00:01 Sokolution v2.01     OK                           612      84 SE 1522
  1523   00:00:01 Sokolution v2.01     OK                           756      96 SE 1523
  1524   00:00:01 Sokolution v2.01     OK                            82      18 SE 1524
  1525   00:00:01 Sokolution v2.01     OK                           277      36 SE 1525
  1526   00:00:01 Sokolution v2.01     OK                           148      23 SE 1526
  1527   00:00:01 Sokolution v2.01     OK                           287      62 SE 1527
  1528   00:00:03 Sokolution v2.01     OK                           379      70 SE 1528
  1529   00:00:01 Sokolution v2.01     OK                           130      26 SE 1529
  1530   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1530
  1531   00:00:01 Sokolution v2.01     OK                           634      48 SE 1531
  1532   00:00:01 Sokolution v2.01     OK                           531      64 SE 1532
  1533   00:00:03 Sokolution v2.01     OK                          2086     240 SE 1533
  1534   00:00:01 Sokolution v2.01     OK                           619      92 SE 1534
  1535            Sokolution v2.01     OK                           221      34 SE 1535
  1536            Sokolution v2.01     OK                           615      91 SE 1536
  1537   00:00:01 Sokolution v2.01     OK                           602      62 SE 1537
  1538   00:00:01 Sokolution v2.01     OK                           258      55 SE 1538
  1539            Sokolution v2.01     OK                           332      45 SE 1539
  1540            Sokolution v2.01     OK                           354      51 SE 1540
  1541            Sokolution v2.01     OK                           658      75 SE 1541
  1542   00:00:08 Sokolution v2.01     OK                           858     150 SE 1542
  1543   00:00:01 Sokolution v2.01     OK                           319      43 SE 1543
  1544            Sokolution v2.01     OK                           304      50 SE 1544
  1545            Sokolution v2.01     OK                           164      30 SE 1545
  1546   00:00:03 Sokolution v2.01     OK                           594      78 SE 1546
  1547   00:00:07 Sokolution v2.01     OK                           773     109 SE 1547
  1548   00:00:01 Sokolution v2.01     OK                           183      54 SE 1548
  1549            Sokolution v2.01     OK                           122      37 SE 1549
  1550   00:00:02 Sokolution v2.01     OK                           441      80 SE 1550
  1551   00:00:04 Sokolution v2.01     OK                           710     110 SE 1551
  1552   00:00:01 Sokolution v2.01     OK                           227      27 SE 1552
  1553   00:00:01 Sokolution v2.01     OK                           339      38 SE 1553
  1554            Sokolution v2.01     OK                           647      90 SE 1554
  1555   00:00:10 Sokolution v2.01     OK                           399      92 SE 1555
  1556   00:00:01 Sokolution v2.01     OK                           603     122 SE 1556
  1557   00:00:01 Sokolution v2.01     OK                           724      68 SE 1557
  1558            Sokolution v2.01     OK                           313      50 SE 1558
  1559            Sokolution v2.01     OK                            90      16 SE 1559
  1560   00:10:00 Sokolution v2.01     Time limit exceeded                      SE 1560
  1561   00:00:02 Sokolution v2.01     OK                          1064     247 SE 1561
  1562   00:00:01 Sokolution v2.01     OK                           372      66 SE 1562
  1563   00:00:01 Sokolution v2.01     OK                           639     121 SE 1563
  1564   00:00:01 Sokolution v2.01     OK                           376      76 SE 1564
  1565   00:00:02 Sokolution v2.01     OK                           728     148 SE 1565
  1566   00:01:19 Sokolution v2.01     OK                          5495     789 SE 1566
  1567   00:00:02 Sokolution v2.01     OK                           707     175 SE 1567
  1568   00:00:01 Sokolution v2.01     OK                           194      37 SE 1568
  1569            Sokolution v2.01     OK                           304      42 SE 1569
  1570   00:00:06 Sokolution v2.01     OK                           412      88 SE 1570
  1571   00:00:01 Sokolution v2.01     OK                            76      24 SE 1571
  1572   00:00:27 Sokolution v2.01     OK                          1060     150 SE 1572
  1573   00:01:06 Sokolution v2.01     OK                          1764     176 SE 1573
  1574   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1574
  1575   00:00:01 Sokolution v2.01     OK                           141      34 SE 1575
  1576            Sokolution v2.01     OK                           132      36 SE 1576
  1577   00:00:01 Sokolution v2.01     OK                            53      16 SE 1577
  1578   00:00:01 Sokolution v2.01     OK                           203      50 SE 1578
  1579            Sokolution v2.01     OK                           242      35 SE 1579
  1580   00:00:02 Sokolution v2.01     OK                           357      78 SE 1580
  1581   00:00:01 Sokolution v2.01     OK                           245      50 SE 1581
  1582            Sokolution v2.01     OK                           124      38 SE 1582
  1583   00:00:05 Sokolution v2.01     OK                          2296     370 SE 1583
  1584   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1584
  1585   00:00:01 Sokolution v2.01     OK                           121      27 SE 1585
  1586   00:00:01 Sokolution v2.01     OK                           135      11 SE 1586
  1587   00:00:05 Sokolution v2.01     OK                          1395     124 SE 1587
  1588   00:00:01 Sokolution v2.01     OK                           722      56 SE 1588
  1589   00:00:04 Sokolution v2.01     OK                          1695     152 SE 1589
  1590   00:00:01 Sokolution v2.01     OK                           340      30 SE 1590
  1591   00:00:01 Sokolution v2.01     OK                           242      32 SE 1591
  1592   00:00:01 Sokolution v2.01     OK                           453      96 SE 1592
  1593   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1593
  1594   00:00:01 Sokolution v2.01     OK                           308      54 SE 1594
  1595   00:00:02 Sokolution v2.01     OK                           617     127 SE 1595
  1596   00:00:01 Sokolution v2.01     OK                           358      60 SE 1596
  1597   00:10:00 Sokolution v2.01     Time limit exceeded                      SE 1597
  1598   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1598
  1599   00:00:01 Sokolution v2.01     OK                           174      35 SE 1599
  1600   00:00:01 Sokolution v2.01     OK                            78      16 SE 1600
  1601   00:00:01 Sokolution v2.01     OK                            64      14 SE 1601
  1602   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1602
  1603   00:00:01 Sokolution v2.01     OK                           341      54 SE 1603
  1604   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1604
  1605   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1605
  1606   00:00:01 Sokolution v2.01     OK                           238      54 SE 1606
  1607   00:10:02 Sokolution v2.01     Time limit exceeded                      SE 1607
  1608   00:00:01 Sokolution v2.01     OK                          1393     178 SE 1608
  1609   00:00:03 Sokolution v2.01     OK                          1601     219 SE 1609
  1610   00:00:02 Sokolution v2.01     OK                           471     123 SE 1610
  1611            Sokolution v2.01     OK                           935     146 SE 1611
  1612   00:00:11 Sokolution v2.01     OK                           939     152 SE 1612
  1613   00:00:01 Sokolution v2.01     OK                           293      48 SE 1613
  1614   00:00:01 Sokolution v2.01     OK                           266      42 SE 1614
  1615            Sokolution v2.01     OK                           259      43 SE 1615
  1616   00:00:01 Sokolution v2.01     OK                           513      95 SE 1616
  1617   00:00:01 Sokolution v2.01     OK                           780     124 SE 1617
  1618            Sokolution v2.01     OK                           219      32 SE 1618
  1619   00:00:01 Sokolution v2.01     OK                           610     103 SE 1619
  1620   00:00:23 Sokolution v2.01     OK                          3032     418 SE 1620
  1621   00:00:10 Sokolution v2.01     OK                          1957     249 SE 1621
  1622   00:00:01 Sokolution v2.01     OK                           811      78 SE 1622
  1623   00:10:01 Sokolution v2.01     Time limit exceeded                      SE 1623

  1623   40:55:52 Total                OK: 1397 Failed: 226      611660  100561
Retrieved from "http://www.sokobano.de/wiki/index.php?title=SolverStatistics-sokolution-SvenEgevad"
Personal tools