SolverStatistics-Festival-GroupEffort-Small-Set

From Sokoban Wiki

(Difference between revisions)
Jump to: navigation, search
(Created page with ';Program: Festival 1.3 ;RAM for solver: Default settings ;Computer: Intel(R) Xeon(R) @3.8Ghz, 16 GiB RAM ;Solving method: Default settings ;Time limit: 600 seconds Task …')
(new Festival 3.1 results)
 
Line 1: Line 1:
-
;Program: Festival 1.3
+
;Program: Festival 3.1
;RAM for solver: Default settings
;RAM for solver: Default settings
-
;Computer: Intel(R) Xeon(R) @3.8Ghz, 16 GiB RAM
+
;CPU:           Intel(R) Core(TM) i7-10700F
;Solving method: Default settings
;Solving method: Default settings
;Time limit: 600 seconds
;Time limit: 600 seconds
   Task      Time Plugin              Result                    Moves  Pushes Level
   Task      Time Plugin              Result                    Moves  Pushes Level
 +
      1  00:00:03 Festival 3.1        OK                          661    196 Grigr_Special15
 +
      2  00:00:04 Festival 3.1        OK                          828    177 Grigr_Special16
 +
      3  00:00:03 Festival 3.1        OK                          801    214 Grigr_Special6
 +
      4  00:00:01 Festival 3.1        OK                          335    105 Grigr_Special7
 +
      5  00:00:02 Festival 3.1        OK                          450    116 Grigr_Special8
 +
      6  00:00:01 Festival 3.1        OK                          218      44 grigr2001Cheburek_12
 +
      7  00:00:01 Festival 3.1        OK                          170      40 grigr2001DenPo_59
 +
      8  00:00:01 Festival 3.1        OK                          277      59 grigr2001Dve_dorogi_71
 +
      9  00:00:01 Festival 3.1        OK                          588    100 grigr2001Green_key_48
 +
    10  00:00:02 Festival 3.1        OK                          522    110 grigr2001Miasorubka_(07r)_20
 +
    11  00:00:02 Festival 3.1        OK                          718    238 grigr2002Honour_121
 +
    12  00:00:02 Festival 3.1        OK                          769    162 grigr2002KUB_123
 +
    13  00:00:01 Festival 3.1        OK                          834    211 grigr2002Kuterma_114
 +
    14  00:00:02 Festival 3.1        OK                          579    135 grigr2002Rogalik_134
 +
    15  00:00:04 Festival 3.1        OK                          575    149 grigr2002Sambist_133
 +
    16  00:00:01 Festival 3.1        OK                          706    110 HandmadeSoko029
 +
    17  00:00:00 Festival 3.1        OK                          258      57 HandmadeSoko033
 +
    18  00:00:01 Festival 3.1        OK                          178      38 HandmadeSoko042
 +
    19  00:00:01 Festival 3.1        OK                          346      53 HandmadeSoko043
 +
    20  00:00:01 Festival 3.1        OK                          512      70 HandmadeSoko046
 +
    21  00:00:00 Festival 3.1        OK                          315      57 Microban_IV67
 +
    22  00:00:01 Festival 3.1        OK                          196      37 Microban_IV73
 +
    23  00:00:01 Festival 3.1        OK                          341      56 Microban_IV9
 +
    24  00:00:00 Festival 3.1        OK                          342      68 Microban_IV92
 +
    25  00:00:01 Festival 3.1        OK                          271      38 Microban_IV93
 +
    26  00:00:01 Festival 3.1        OK                          331      62 Mulholland_D24
 +
    27  00:00:00 Festival 3.1        OK                          265      68 Mulholland_D40
 +
    28  00:00:01 Festival 3.1        OK                          242      59 Mulholland_D41
 +
    29  00:00:01 Festival 3.1        OK                          397      97 Mulholland_D52
 +
    30  00:00:02 Festival 3.1        OK                          332      71 Mulholland_D53
 +
    31  00:00:00 Festival 3.1        OK                          404      50 sasquatchiv13
 +
    32  00:00:01 Festival 3.1        OK                          236      44 sasquatchiv20
 +
    33  00:00:00 Festival 3.1        OK                          359      56 sasquatchiv21
 +
    34  00:00:01 Festival 3.1        OK                          676    158 sasquatchiv23
 +
    35  00:00:01 Festival 3.1        OK                          488    119 sasquatchiv26
 +
    36  00:00:03 Festival 3.1        OK                          334      60 sasquatchv15
 +
    37  00:00:01 Festival 3.1        OK                          383      76 sasquatchv16
 +
    38  00:00:00 Festival 3.1        OK                          191      50 sasquatchv18
 +
    39  00:00:01 Festival 3.1        OK                          743    121 sasquatchv21
 +
    40  00:00:01 Festival 3.1        OK                          539      60 sasquatchv9
 +
    41  00:00:01 Festival 3.1        OK                          264      50 sasquatchvi1
 +
    42  00:00:02 Festival 3.1        OK                            92      26 sasquatchvi25
 +
    43  00:00:00 Festival 3.1        OK                          224      48 sasquatchvi26
 +
    44  00:00:01 Festival 3.1        OK                          168      18 sasquatchvi27
 +
    45  00:00:00 Festival 3.1        OK                          221      44 sasquatchvi29
 +
    46  00:00:01 Festival 3.1        OK                          386      52 sasquatchviii11
 +
    47  00:00:01 Festival 3.1        OK                          156      28 sasquatchviii13
 +
    48  00:00:01 Festival 3.1        OK                          185      43 sasquatchviii15
 +
    49  00:00:02 Festival 3.1        OK                          598      98 sasquatchviii24
 +
    50  00:00:02 Festival 3.1        OK                          854    217 sasquatchviii7
 +
    51  00:00:01 Festival 3.1        OK                          431      70 Sasquatchx17
 +
    52  00:00:07 Festival 3.1        OK                          906    106 Sasquatchx32
 +
    53  00:00:01 Festival 3.1        OK                          379    112 Sasquatchx34
 +
    54  00:00:03 Festival 3.1        OK                          416      82 Sasquatchx40
 +
    55  00:00:01 Festival 3.1        OK                          229      48 Sasquatchx9
 +
    56  00:00:01 Festival 3.1        OK                          1729    122 SvenSE_1
 +
    57  00:00:00 Festival 3.1        OK                          551    117 SvenSE_101
 +
    58  00:00:02 Festival 3.1        OK                          157      33 SvenSE_109
 +
    59  00:00:02 Festival 3.1        OK                          127      31 SvenSE_110
 +
    60  00:00:01 Festival 3.1        OK                          189      25 SvenSE_122
 +
    61  00:00:00 Festival 3.1        OK                          180      30 SvenSE_137
 +
    62  00:00:01 Festival 3.1        OK                          228      34 SvenSE_138
 +
    63  00:00:01 Festival 3.1        OK                          432      76 SvenSE_139
 +
    64  00:00:01 Festival 3.1        OK                          530      98 SvenSE_140
 +
    65  00:00:01 Festival 3.1        OK                          308      54 SvenSE_147
 +
    66  00:00:00 Festival 3.1        OK                          400      58 SvenSE_148
 +
    67  00:00:01 Festival 3.1        OK                          226      30 SvenSE_150
 +
    68  00:00:04 Festival 3.1        OK                          418      64 SvenSE_151
 +
    69  00:00:04 Festival 3.1        OK                          538      60 SvenSE_153
 +
    70  00:00:03 Festival 3.1        OK                          546      64 SvenSE_154
 +
    71  00:00:04 Festival 3.1        OK                          1018    122 SvenSE_155
 +
    72  00:00:01 Festival 3.1        OK                          276      30 SvenSE_162
 +
    73  00:00:02 Festival 3.1        OK                          392      72 SvenSE_163
 +
    74  00:00:01 Festival 3.1        OK                          143      20 SvenSE_181
 +
    75  00:00:00 Festival 3.1        OK                          256      44 SvenSE_194
 +
    76  00:00:01 Festival 3.1        OK                          274      66 SvenSE_195
 +
    77  00:00:02 Festival 3.1        OK                          220      30 SvenSE_212
 +
    78  00:00:01 Festival 3.1        OK                          638      98 SvenSE_237
 +
    79  00:00:01 Festival 3.1        OK                          241      58 SvenSE_245
 +
    80  00:00:01 Festival 3.1        OK                          282      22 SvenSE_247
 +
    81  00:00:01 Festival 3.1        OK                            59      16 SvenSE_248
 +
    82  00:00:00 Festival 3.1        OK                          452      86 SvenSE_257
 +
    83  00:00:01 Festival 3.1        OK                          256      56 SvenSE_26
 +
    84  00:00:01 Festival 3.1        OK                          283      52 SvenSE_260
 +
    85  00:00:01 Festival 3.1        OK                          511    121 SvenSE_261
 +
    86  00:00:00 Festival 3.1        OK                          281      46 SvenSE_277
 +
    87  00:00:01 Festival 3.1        OK                          276      46 SvenSE_28
 +
    88  00:00:02 Festival 3.1        OK                          421      77 SvenSE_286
 +
    89  00:00:06 Festival 3.1        OK                          445      64 SvenSE_287
 +
    90  00:00:01 Festival 3.1        OK                          442      80 SvenSE_288
 +
    91  00:00:01 Festival 3.1        OK                          257      68 SvenSE_296
 +
    92  00:00:02 Festival 3.1        OK                          269      82 SvenSE_297
 +
    93  00:00:01 Festival 3.1        OK                          433      48 SvenSE_304
 +
    94  00:00:01 Festival 3.1        OK                          298      36 SvenSE_305
 +
    95  00:00:00 Festival 3.1        OK                          131      23 SvenSE_306
 +
    96  00:00:01 Festival 3.1        OK                          166      19 SvenSE_307
 +
    97  00:00:01 Festival 3.1        OK                          278      42 SvenSE_308
 +
    98  00:00:01 Festival 3.1        OK                          237      51 SvenSE_310
 +
    99  00:00:01 Festival 3.1        OK                          240      50 SvenSE_311
 +
    100  00:00:00 Festival 3.1        OK                          276      42 SvenSE_325
 +
    101  00:00:01 Festival 3.1        OK                          404      70 SvenSE_328
 +
    102  00:00:01 Festival 3.1        OK                          291      45 SvenSE_331
 +
    103  00:00:01 Festival 3.1        OK                          333      44 SvenSE_332
 +
    104  00:00:01 Festival 3.1        OK                          329      52 SvenSE_333
 +
    105  00:00:00 Festival 3.1        OK                          246      47 SvenSE_337
 +
    106  00:00:01 Festival 3.1        OK                          117      15 SvenSE_338
 +
    107  00:00:01 Festival 3.1        OK                          510      84 SvenSE_342
 +
    108  00:00:02 Festival 3.1        OK                          405      44 SvenSE_345
 +
    109  00:00:01 Festival 3.1        OK                          193      44 SvenSE_352
 +
    110  00:00:00 Festival 3.1        OK                          275      52 SvenSE_357
 +
    111  00:00:01 Festival 3.1        OK                          318      54 SvenSE_36
 +
    112  00:00:01 Festival 3.1        OK                          297      43 SvenSE_363
 +
    113  00:00:01 Festival 3.1        OK                          123      28 SvenSE_397
 +
    114  00:00:00 Festival 3.1        OK                          150      36 SvenSE_399
 +
    115  00:00:03 Festival 3.1        OK                          951    148 SvenSE_4
 +
    116  00:00:00 Festival 3.1        OK                          882      54 SvenSE_40
 +
    117  00:00:01 Festival 3.1        OK                          314      70 SvenSE_442
 +
    118  00:00:00 Festival 3.1        OK                          175      32 SvenSE_447
 +
    119  00:00:01 Festival 3.1        OK                          156      29 SvenSE_464
 +
    120  00:00:01 Festival 3.1        OK                          194      31 SvenSE_467
 +
    121  00:00:00 Festival 3.1        OK                          191      30 SvenSE_468
 +
    122  00:00:01 Festival 3.1        OK                          512      88 SvenSE_471
 +
    123  00:00:01 Festival 3.1        OK                          431      74 SvenSE_472
 +
    124  00:00:01 Festival 3.1        OK                          210      28 SvenSE_481
 +
    125  00:00:00 Festival 3.1        OK                          155      26 SvenSE_482
 +
    126  00:00:01 Festival 3.1        OK                          220      26 SvenSE_483
 +
    127  00:00:01 Festival 3.1        OK                          183      26 SvenSE_484
 +
    128  00:00:00 Festival 3.1        OK                          158      47 SvenSE_506
 +
    129  00:00:01 Festival 3.1        OK                          202      62 SvenSE_519
 +
    130  00:00:01 Festival 3.1        OK                          384    108 SvenSE_52
 +
    131  00:00:00 Festival 3.1        OK                          285      84 SvenSE_520
 +
    132  00:00:01 Festival 3.1        OK                          223      64 SvenSE_521
 +
    133  00:00:00 Festival 3.1        OK                          331    106 SvenSE_522
 +
    134  00:00:01 Festival 3.1        OK                          340      86 SvenSE_523
 +
    135  00:00:01 Festival 3.1        OK                          311      52 SvenSE_524
 +
    136  00:00:00 Festival 3.1        OK                          237      73 SvenSE_540
 +
    137  00:00:59 Festival 3.1        OK                          822    266 SvenSE_55
 +
    138  00:00:01 Festival 3.1        OK                          566    110 SvenSE_59
 +
    139  00:00:01 Festival 3.1        OK                          203      58 SvenSE_594
 +
    140  00:00:00 Festival 3.1        OK                          345      63 SvenSE_595
 +
    141  00:00:01 Festival 3.1        OK                          210      24 SvenSE_60
 +
    142  00:00:01 Festival 3.1        OK                          448      80 SvenSE_61
 +
    143  00:00:00 Festival 3.1        OK                          452      84 SvenSE_62
 +
    144  00:00:01 Festival 3.1        OK                          127      32 SvenSE_628
 +
    145  00:00:01 Festival 3.1        OK                          328      64 SvenSE_63
 +
    146  00:00:00 Festival 3.1        OK                          146      36 SvenSE_632
 +
    147  00:00:01 Festival 3.1        OK                          169      44 SvenSE_633
 +
    148  00:00:00 Festival 3.1        OK                          217      45 SvenSE_636
 +
    149  00:00:01 Festival 3.1        OK                          332      82 SvenSE_640
 +
    150  00:00:01 Festival 3.1        OK                          323      62 SvenSE_643
 +
    151  00:00:01 Festival 3.1        OK                          540      94 SvenSE_644
 +
    152  00:00:01 Festival 3.1        OK                          448      83 SvenSE_645
 +
    153  00:00:00 Festival 3.1        OK                          338      52 SvenSE_657
 +
    154  00:00:01 Festival 3.1        OK                          463      83 SvenSE_658
 +
    155  00:00:01 Festival 3.1        OK                          209      37 SvenSE_667
 +
    156  00:00:01 Festival 3.1        OK                          141      32 SvenSE_67
 +
    157  00:00:00 Festival 3.1        OK                          299      38 SvenSE_671
 +
    158  00:00:01 Festival 3.1        OK                          419      64 SvenSE_687
 +
    159  00:00:01 Festival 3.1        OK                          629    104 SvenSE_689
 +
    160  00:00:00 Festival 3.1        OK                          218      52 SvenSE_69
 +
    161  00:00:01 Festival 3.1        OK                          651      78 SvenSE_691
 +
    162  00:00:01 Festival 3.1        OK                          208      34 SvenSE_70
 +
    163  00:00:01 Festival 3.1        OK                          224      51 SvenSE_745
 +
    164  00:00:01 Festival 3.1        OK                          159      41 SvenSE_779
 +
    165  00:00:01 Festival 3.1        OK                          204      50 SvenSE_781
 +
    166  00:00:01 Festival 3.1        OK                          273      50 SvenSE_798
 +
    167  00:00:00 Festival 3.1        OK                          194      28 SvenSE_833
 +
    168  00:00:01 Festival 3.1        OK                          155      28 SvenSE_834
 +
    169  00:00:01 Festival 3.1        OK                          285      30 SvenSE_84
 +
    170  00:00:00 Festival 3.1        OK                          225      40 SvenSE_846
 +
    171  00:00:01 Festival 3.1        OK                          281      70 SvenSE_847
 +
    172  00:00:01 Festival 3.1        OK                          279      34 SvenSE_85
 +
    173  00:00:00 Festival 3.1        OK                          265      46 SvenSE_854
 +
    174  00:00:01 Festival 3.1        OK                          233      50 SvenSE_857
 +
    175  00:00:01 Festival 3.1        OK                          290      47 SvenSE_858
 +
    176  00:00:03 Festival 3.1        OK                          721    108 SvenSE_864
 +
    177  00:00:01 Festival 3.1        OK                          275      46 SvenSE_875
 +
    178  00:00:00 Festival 3.1        OK                          373    126 SvenSE_883
 +
    179  00:00:01 Festival 3.1        OK                          368      39 SvenSE_889
 +
    180  00:00:01 Festival 3.1        OK                          164      33 SvenSE_890
 +
    181  00:00:00 Festival 3.1        OK                          303      34 SvenSE_891
 +
    182  00:00:01 Festival 3.1        OK                          222      37 SvenSE_892
 +
    183  00:00:01 Festival 3.1        OK                          208      43 SvenSE_893
 +
    184  00:00:01 Festival 3.1        OK                          472      51 SvenSE_9
 +
    185  00:00:00 Festival 3.1        OK                          244      40 SvenSE_903
 +
    186  00:00:03 Festival 3.1        OK                            75      25 SvenSE_904
 +
    187  00:00:01 Festival 3.1        OK                            63      30 SvenSE_906
 +
    188  00:00:02 Festival 3.1        OK                          224      50 SvenSE_907
 +
    189  00:00:01 Festival 3.1        OK                            67      32 SvenSE_908
 +
    190  00:00:01 Festival 3.1        OK                          210      48 SvenSE_912
 +
    191  00:00:02 Festival 3.1        OK                          275      58 SvenSE_923
 +
    192  00:00:00 Festival 3.1        OK                          229      33 SvenSE_926
 +
    193  00:00:01 Festival 3.1        OK                          304      58 SvenSE_933
 +
    194  00:00:01 Festival 3.1        OK                          159      32 SvenSE_938
 +
    195  00:00:00 Festival 3.1        OK                          247      51 SvenSE_94
 +
    196  00:00:01 Festival 3.1        OK                          493    108 SvenSE_941
 +
    197  00:00:01 Festival 3.1        OK                          568    108 SvenSE_942
 +
    198  00:00:00 Festival 3.1        OK                          600      92 SvenSE_943
 +
    199  00:00:01 Festival 3.1        OK                          271      69 SvenSE_95
 +
    200  00:00:02 Festival 3.1        OK                          225      48 SvenSE_97
-
      1  00:00:18 Festival 1.3        OK                          1026     288 Grigr_Special15
+
     200  00:04:35 Total                OK: 200 Failed: 0          70243   13163
-
      2  00:00:07 Festival 1.3        OK                          1002    203 Grigr_Special16
+
-
      3  00:00:34 Festival 1.3        OK                          1091    270 Grigr_Special6
+
-
      4  00:00:05 Festival 1.3        OK                          447    139 Grigr_Special7
+
-
      5  00:00:32 Festival 1.3        OK                          600    152 Grigr_Special8
+
-
      6  00:00:03 Festival 1.3        OK                          318      82 grigr2001Cheburek_12
+
-
      7  00:00:18 Festival 1.3        OK                          164      42 grigr2001DenPo_59
+
-
      8  00:00:08 Festival 1.3        OK                          371      59 grigr2001Dve_dorogi_71
+
-
      9  00:00:26 Festival 1.3        OK                          529      96 grigr2001Green_key_48
+
-
    10  00:00:57 Festival 1.3        OK                          508    106 grigr2001Miasorubka_(07r)_20
+
-
    11  00:00:11 Festival 1.3        OK                          836    272 grigr2002Honour_121
+
-
    12  00:00:04 Festival 1.3        OK                          843    164 grigr2002KUB_123
+
-
    13  00:00:04 Festival 1.3        OK                          840    183 grigr2002Kuterma_114
+
-
    14  00:00:06 Festival 1.3        OK                          751    167 grigr2002Rogalik_134
+
-
    15  00:01:48 Festival 1.3        OK                          723    189 grigr2002Sambist_133
+
-
    16  00:00:08 Festival 1.3        OK                          923    146 HandmadeSoko029
+
-
    17  00:00:14 Festival 1.3        OK                          274      63 HandmadeSoko033
+
-
    18  00:00:01 Festival 1.3        OK                          242      44 HandmadeSoko042
+
-
    19  00:00:53 Festival 1.3        OK                          272      57 HandmadeSoko043
+
-
    20  00:00:04 Festival 1.3        OK                          638    104 HandmadeSoko046
+
-
    21  00:00:02 Festival 1.3        OK                          287      79 Microban_IV67
+
-
    22  00:00:01 Festival 1.3        OK                          350      77 Microban_IV73
+
-
    23  00:00:01 Festival 1.3        OK                          181      36 Microban_IV9
+
-
    24  00:00:25 Festival 1.3        OK                          444      64 Microban_IV92
+
-
    25  00:00:01 Festival 1.3        OK                          379      66 Microban_IV93
+
-
    26  00:00:00 Festival 1.3        OK                          413      90 Mulholland_D24
+
-
    27  00:00:01 Festival 1.3        OK                          289      66 Mulholland_D40
+
-
    28  00:00:05 Festival 1.3        OK                          248      59 Mulholland_D41
+
-
    29  00:00:01 Festival 1.3        OK                          363      83 Mulholland_D52
+
-
    30  00:00:40 Festival 1.3        OK                          380      81 Mulholland_D53
+
-
    31  00:00:01 Festival 1.3        OK                          373      52 sasquatchiv13
+
-
    32  00:00:52 Festival 1.3        OK                          184      42 sasquatchiv20
+
-
    33  00:00:01 Festival 1.3        OK                          289      74 sasquatchiv21
+
-
    34  00:00:08 Festival 1.3        OK                          520    146 sasquatchiv23
+
-
    35  00:00:00 Festival 1.3        OK                          398    101 sasquatchiv26
+
-
    36  00:00:05 Festival 1.3        OK                          346      52 sasquatchv15
+
-
    37  00:00:05 Festival 1.3        OK                          379      86 sasquatchv16
+
-
    38  00:00:02 Festival 1.3        OK                          205      52 sasquatchv18
+
-
    39  00:01:05 Festival 1.3        OK                          865    145 sasquatchv21
+
-
    40  00:00:03 Festival 1.3        OK                          708    102 sasquatchv9
+
-
    41  00:00:29 Festival 1.3        OK                          492    116 sasquatchvi1
+
-
    42  00:00:05 Festival 1.3        OK                          658      94 sasquatchvi25
+
-
    43  00:00:16 Festival 1.3        OK                          224      46 sasquatchvi26
+
-
    44  00:00:55 Festival 1.3        OK                          168      22 sasquatchvi27
+
-
    45  00:00:14 Festival 1.3        OK                          139      44 sasquatchvi29
+
-
    46  00:00:53 Festival 1.3        OK                          362      60 sasquatchviii11
+
-
    47  00:00:01 Festival 1.3        OK                          132      38 sasquatchviii13
+
-
    48  00:00:02 Festival 1.3        OK                          349      83 sasquatchviii15
+
-
    49  00:00:11 Festival 1.3        OK                          500    130 sasquatchviii24
+
-
    50  00:00:14 Festival 1.3        OK                          1324    369 sasquatchviii7
+
-
    51  00:00:02 Festival 1.3        OK                          513    102 Sasquatchx17
+
-
    52  00:00:08 Festival 1.3        OK                          322      70 Sasquatchx32
+
-
    53  00:00:04 Festival 1.3        OK                          307      90 Sasquatchx34
+
-
    54  00:00:01 Festival 1.3        OK                          504      92 Sasquatchx40
+
-
    55  00:00:10 Festival 1.3        OK                          179      38 Sasquatchx9
+
-
    56  00:00:01 Festival 1.3        OK                          1967    230 SvenSE_1
+
-
    57  00:00:00 Festival 1.3        OK                          449      89 SvenSE_101
+
-
    58  00:02:38 Festival 1.3        OK                          385      67 SvenSE_109
+
-
    59  00:04:08 Festival 1.3        OK                          739    165 SvenSE_110
+
-
    60  00:00:00 Festival 1.3        OK                          185      27 SvenSE_122
+
-
    61  00:00:01 Festival 1.3        OK                          181      38 SvenSE_137
+
-
    62  00:00:04 Festival 1.3        OK                          199      38 SvenSE_138
+
-
    63  00:00:03 Festival 1.3        OK                          389      68 SvenSE_139
+
-
    64  00:00:07 Festival 1.3        OK                          346      66 SvenSE_140
+
-
    65  00:00:54 Festival 1.3        OK                          350      56 SvenSE_147
+
-
    66  00:00:03 Festival 1.3        OK                          460      88 SvenSE_148
+
-
    67  00:00:02 Festival 1.3        OK                          200     36 SvenSE_150
+
-
    68   00:00:59 Festival 1.3        OK                          482      72 SvenSE_151
+
-
    69  00:00:46 Festival 1.3        OK                          606      70 SvenSE_153
+
-
    70  00:00:56 Festival 1.3        OK                          360      64 SvenSE_154
+
-
    71  00:03:27 Festival 1.3        OK                          575      86 SvenSE_155
+
-
    72  00:00:06 Festival 1.3        OK                          232      28 SvenSE_162
+
-
    73  00:00:38 Festival 1.3        OK                          376      54 SvenSE_163
+
-
    74  00:00:04 Festival 1.3        OK                          187      36 SvenSE_181
+
-
    75  00:00:00 Festival 1.3        OK                          180      38 SvenSE_194
+
-
    76  00:00:02 Festival 1.3        OK                          164      60 SvenSE_195
+
-
    77  00:00:08 Festival 1.3        OK                          228      36 SvenSE_212
+
-
    78  00:00:01 Festival 1.3        OK                          586      84 SvenSE_237
+
-
    79  00:00:09 Festival 1.3        OK                          181      30 SvenSE_245
+
-
    80  00:00:09 Festival 1.3        OK                          438      42 SvenSE_247
+
-
    81  00:00:00 Festival 1.3        OK                            81      20 SvenSE_248
+
-
    82  00:00:00 Festival 1.3        OK                          456      76 SvenSE_257
+
-
    83  00:00:03 Festival 1.3        OK                          126      40 SvenSE_26
+
-
    84  00:00:01 Festival 1.3        OK                          225      70 SvenSE_260
+
-
    85  00:00:07 Festival 1.3        OK                          227      37 SvenSE_261
+
-
    86  00:00:01 Festival 1.3        OK                          351      44 SvenSE_277
+
-
    87  00:00:00 Festival 1.3        OK                          265      70 SvenSE_28
+
-
    88  00:00:23 Festival 1.3        OK                          397      75 SvenSE_286
+
-
    89  00:01:09 Festival 1.3        OK                          407      56 SvenSE_287
+
-
    90  00:00:01 Festival 1.3        OK                          730    114 SvenSE_288
+
-
    91  00:00:07 Festival 1.3        OK                          207      42 SvenSE_296
+
-
    92  00:00:17 Festival 1.3        OK                          469    110 SvenSE_297
+
-
    93  00:00:21 Festival 1.3        OK                          325      60 SvenSE_304
+
-
    94  00:00:04 Festival 1.3        OK                          276      52 SvenSE_305
+
-
    95  00:00:36 Festival 1.3        OK                          125      23 SvenSE_306
+
-
    96  00:00:09 Festival 1.3        OK                          220      23 SvenSE_307
+
-
    97  00:00:03 Festival 1.3        OK                          178      46 SvenSE_308
+
-
    98  00:00:16 Festival 1.3        OK                          231      37 SvenSE_310
+
-
    99  00:00:55 Festival 1.3        OK                          165      26 SvenSE_311
+
-
    100  00:00:02 Festival 1.3        OK                          263      44 SvenSE_325
+
-
    101  00:00:02 Festival 1.3        OK                          186      40 SvenSE_328
+
-
    102  00:00:06 Festival 1.3        OK                          218      37 SvenSE_331
+
-
    103  00:00:13 Festival 1.3        OK                            77      22 SvenSE_332
+
-
    104  00:00:55 Festival 1.3        OK                          269      40 SvenSE_333
+
-
    105  00:00:05 Festival 1.3        OK                          108      21 SvenSE_337
+
-
    106  00:00:06 Festival 1.3        OK                          205      29 SvenSE_338
+
-
    107  00:00:00 Festival 1.3        OK                          588    120 SvenSE_342
+
-
    108  00:03:00 Festival 1.3        OK                          973    148 SvenSE_345
+
-
    109  00:00:02 Festival 1.3        OK                          393    110 SvenSE_352
+
-
    110  00:00:02 Festival 1.3        OK                          235      36 SvenSE_357
+
-
    111  00:00:01 Festival 1.3        OK                          336      68 SvenSE_36
+
-
    112  00:00:01 Festival 1.3        OK                          259      43 SvenSE_363
+
-
    113  00:00:02 Festival 1.3        OK                          123      28 SvenSE_397
+
-
    114  00:00:11 Festival 1.3        OK                          176      36 SvenSE_399
+
-
    115  00:00:53 Festival 1.3        OK                          695    118 SvenSE_4
+
-
    116  00:00:00 Festival 1.3        OK                          868      54 SvenSE_40
+
-
    117  00:00:01 Festival 1.3        OK                          323      80 SvenSE_442
+
-
    118  00:00:01 Festival 1.3        OK                          131      28 SvenSE_447
+
-
    119  00:00:01 Festival 1.3        OK                          156      29 SvenSE_464
+
-
    120  00:00:00 Festival 1.3        OK                          187      35 SvenSE_467
+
-
    121  00:00:01 Festival 1.3        OK                          227      30 SvenSE_468
+
-
    122  00:00:52 Festival 1.3        OK                          356      54 SvenSE_471
+
-
    123  00:00:52 Festival 1.3        OK                          372      56 SvenSE_472
+
-
    124  00:00:10 Festival 1.3        OK                          166      26 SvenSE_481
+
-
    125  00:00:09 Festival 1.3        OK                          145      26 SvenSE_482
+
-
    126  00:00:10 Festival 1.3        OK                          164      26 SvenSE_483
+
-
    127  00:00:09 Festival 1.3        OK                          143      26 SvenSE_484
+
-
    128  00:00:00 Festival 1.3        OK                          160      47 SvenSE_506
+
-
    129  00:00:02 Festival 1.3        OK                          528    146 SvenSE_519
+
-
    130  00:00:08 Festival 1.3        OK                          334      94 SvenSE_52
+
-
    131  00:00:02 Festival 1.3        OK                          221      60 SvenSE_520
+
-
    132  00:00:02 Festival 1.3        OK                          297      76 SvenSE_521
+
-
    133  00:00:01 Festival 1.3        OK                          303      72 SvenSE_522
+
-
    134  00:00:01 Festival 1.3        OK                          276    104 SvenSE_523
+
-
    135  00:00:01 Festival 1.3        OK                          167      28 SvenSE_524
+
-
    136  00:00:01 Festival 1.3        OK                          187      47 SvenSE_540
+
-
    137  00:04:02 Festival 1.3        OK                          873    234 SvenSE_55
+
-
    138  00:00:56 Festival 1.3        OK                          424      68 SvenSE_59
+
-
    139  00:00:01 Festival 1.3        OK                          235      58 SvenSE_594
+
-
    140  00:00:00 Festival 1.3        OK                          307      71 SvenSE_595
+
-
    141  00:00:05 Festival 1.3        OK                          268      38 SvenSE_60
+
-
    142  00:00:03 Festival 1.3        OK                          614    112 SvenSE_61
+
-
    143  00:00:04 Festival 1.3        OK                          474    102 SvenSE_62
+
-
    144  00:00:01 Festival 1.3        OK                          151      36 SvenSE_628
+
-
    145  00:00:55 Festival 1.3        OK                          696    154 SvenSE_63
+
-
    146  00:00:00 Festival 1.3        OK                          173      34 SvenSE_632
+
-
    147  00:00:00 Festival 1.3        OK                          141      32 SvenSE_633
+
-
    148  00:00:00 Festival 1.3        OK                          229      45 SvenSE_636
+
-
    149  00:00:01 Festival 1.3        OK                          352      76 SvenSE_640
+
-
    150  00:00:02 Festival 1.3        OK                          251      42 SvenSE_643
+
-
    151  00:00:17 Festival 1.3        OK                          422      80 SvenSE_644
+
-
    152  00:01:09 Festival 1.3        OK                          398      65 SvenSE_645
+
-
    153  00:00:01 Festival 1.3        OK                          376      66 SvenSE_657
+
-
    154  00:00:00 Festival 1.3        OK                          379      67 SvenSE_658
+
-
    155  00:00:02 Festival 1.3        OK                          341      63 SvenSE_667
+
-
    156  00:00:54 Festival 1.3        OK                          131      32 SvenSE_67
+
-
    157  00:00:03 Festival 1.3        OK                          371      88 SvenSE_671
+
-
    158  00:00:56 Festival 1.3        OK                          391      64 SvenSE_687
+
-
    159  00:01:21 Festival 1.3        OK                          721    118 SvenSE_689
+
-
    160  00:00:53 Festival 1.3        OK                          156      30 SvenSE_69
+
-
    161  00:01:29 Festival 1.3        OK                          629      82 SvenSE_691
+
-
    162  00:00:54 Festival 1.3        OK                          214      34 SvenSE_70
+
-
    163  00:00:05 Festival 1.3        OK                          228      43 SvenSE_745
+
-
    164  00:00:19 Festival 1.3        OK                          160      43 SvenSE_779
+
-
    165  00:00:02 Festival 1.3        OK                          237      60 SvenSE_781
+
-
    166  00:00:01 Festival 1.3        OK                          155      38 SvenSE_798
+
-
    167  00:00:00 Festival 1.3        OK                          208      38 SvenSE_833
+
-
    168  00:00:00 Festival 1.3        OK                          179      36 SvenSE_834
+
-
    169  00:00:03 Festival 1.3        OK                          237      52 SvenSE_84
+
-
    170  00:00:02 Festival 1.3        OK                          224      48 SvenSE_846
+
-
    171  00:00:00 Festival 1.3        OK                          352      76 SvenSE_847
+
-
    172  00:00:05 Festival 1.3        OK                          483      80 SvenSE_85
+
-
    173  00:00:03 Festival 1.3        OK                          322      70 SvenSE_854
+
-
    174  00:00:01 Festival 1.3        OK                          229      46 SvenSE_857
+
-
    175  00:00:13 Festival 1.3        OK                          326      45 SvenSE_858
+
-
    176  00:00:01 Festival 1.3        OK                          617      84 SvenSE_864
+
-
    177  00:00:02 Festival 1.3        OK                          321      50 SvenSE_875
+
-
    178  00:00:00 Festival 1.3        OK                          357    128 SvenSE_883
+
-
    179  00:00:05 Festival 1.3        OK                          210      37 SvenSE_889
+
-
    180  00:00:01 Festival 1.3        OK                          178      37 SvenSE_890
+
-
    181  00:00:01 Festival 1.3        OK                          225      32 SvenSE_891
+
-
    182  00:00:03 Festival 1.3        OK                          226      31 SvenSE_892
+
-
    183  00:00:01 Festival 1.3        OK                          232      41 SvenSE_893
+
-
    184  00:00:05 Festival 1.3        OK                          444      41 SvenSE_9
+
-
    185  00:00:01 Festival 1.3        OK                          233      34 SvenSE_903
+
-
    186  00:00:10 Festival 1.3        OK                            75      25 SvenSE_904
+
-
    187  00:00:10 Festival 1.3        OK                          264      62 SvenSE_906
+
-
    188  00:00:08 Festival 1.3        OK                          256      54 SvenSE_907
+
-
    189  00:00:12 Festival 1.3        OK                          300      78 SvenSE_908
+
-
    190  00:00:00 Festival 1.3        OK                          299      78 SvenSE_912
+
-
    191  00:03:24 Festival 1.3        OK                          941    188 SvenSE_923
+
-
    192  00:00:00 Festival 1.3        OK                          296      51 SvenSE_926
+
-
    193  00:00:00 Festival 1.3        OK                          366      68 SvenSE_933
+
-
    194  00:00:02 Festival 1.3        OK                          131      28 SvenSE_938
+
-
    195  00:01:01 Festival 1.3        OK                          376      77 SvenSE_94
+
-
    196  00:00:54 Festival 1.3        OK                          345      76 SvenSE_941
+
-
    197  00:00:54 Festival 1.3        OK                          392      82 SvenSE_942
+
-
    198  00:00:53 Festival 1.3        OK                          262      42 SvenSE_943
+
-
    199  00:01:01 Festival 1.3        OK                          300      67 SvenSE_95
+
-
    200  00:00:55 Festival 1.3        OK                          287      46 SvenSE_97
+
-
 
+
-
    200  01:07:56 Total                OK: 200 Failed: 0          73883   14649
+

Current revision as of 15:14, 2 February 2023

Program
Festival 3.1
RAM for solver
Default settings
CPU
Intel(R) Core(TM) i7-10700F
Solving method
Default settings
Time limit
600 seconds 
  Task       Time Plugin               Result                     Moves  Pushes Level
     1   00:00:03 Festival 3.1         OK                           661     196 Grigr_Special15
     2   00:00:04 Festival 3.1         OK                           828     177 Grigr_Special16
     3   00:00:03 Festival 3.1         OK                           801     214 Grigr_Special6
     4   00:00:01 Festival 3.1         OK                           335     105 Grigr_Special7
     5   00:00:02 Festival 3.1         OK                           450     116 Grigr_Special8
     6   00:00:01 Festival 3.1         OK                           218      44 grigr2001Cheburek_12
     7   00:00:01 Festival 3.1         OK                           170      40 grigr2001DenPo_59
     8   00:00:01 Festival 3.1         OK                           277      59 grigr2001Dve_dorogi_71
     9   00:00:01 Festival 3.1         OK                           588     100 grigr2001Green_key_48
    10   00:00:02 Festival 3.1         OK                           522     110 grigr2001Miasorubka_(07r)_20
    11   00:00:02 Festival 3.1         OK                           718     238 grigr2002Honour_121
    12   00:00:02 Festival 3.1         OK                           769     162 grigr2002KUB_123
    13   00:00:01 Festival 3.1         OK                           834     211 grigr2002Kuterma_114
    14   00:00:02 Festival 3.1         OK                           579     135 grigr2002Rogalik_134
    15   00:00:04 Festival 3.1         OK                           575     149 grigr2002Sambist_133
    16   00:00:01 Festival 3.1         OK                           706     110 HandmadeSoko029
    17   00:00:00 Festival 3.1         OK                           258      57 HandmadeSoko033
    18   00:00:01 Festival 3.1         OK                           178      38 HandmadeSoko042
    19   00:00:01 Festival 3.1         OK                           346      53 HandmadeSoko043
    20   00:00:01 Festival 3.1         OK                           512      70 HandmadeSoko046
    21   00:00:00 Festival 3.1         OK                           315      57 Microban_IV67
    22   00:00:01 Festival 3.1         OK                           196      37 Microban_IV73
    23   00:00:01 Festival 3.1         OK                           341      56 Microban_IV9
    24   00:00:00 Festival 3.1         OK                           342      68 Microban_IV92
    25   00:00:01 Festival 3.1         OK                           271      38 Microban_IV93
    26   00:00:01 Festival 3.1         OK                           331      62 Mulholland_D24
    27   00:00:00 Festival 3.1         OK                           265      68 Mulholland_D40
    28   00:00:01 Festival 3.1         OK                           242      59 Mulholland_D41
    29   00:00:01 Festival 3.1         OK                           397      97 Mulholland_D52
    30   00:00:02 Festival 3.1         OK                           332      71 Mulholland_D53
    31   00:00:00 Festival 3.1         OK                           404      50 sasquatchiv13
    32   00:00:01 Festival 3.1         OK                           236      44 sasquatchiv20
    33   00:00:00 Festival 3.1         OK                           359      56 sasquatchiv21
    34   00:00:01 Festival 3.1         OK                           676     158 sasquatchiv23
    35   00:00:01 Festival 3.1         OK                           488     119 sasquatchiv26
    36   00:00:03 Festival 3.1         OK                           334      60 sasquatchv15
    37   00:00:01 Festival 3.1         OK                           383      76 sasquatchv16
    38   00:00:00 Festival 3.1         OK                           191      50 sasquatchv18
    39   00:00:01 Festival 3.1         OK                           743     121 sasquatchv21
    40   00:00:01 Festival 3.1         OK                           539      60 sasquatchv9
    41   00:00:01 Festival 3.1         OK                           264      50 sasquatchvi1
    42   00:00:02 Festival 3.1         OK                            92      26 sasquatchvi25
    43   00:00:00 Festival 3.1         OK                           224      48 sasquatchvi26
    44   00:00:01 Festival 3.1         OK                           168      18 sasquatchvi27
    45   00:00:00 Festival 3.1         OK                           221      44 sasquatchvi29
    46   00:00:01 Festival 3.1         OK                           386      52 sasquatchviii11
    47   00:00:01 Festival 3.1         OK                           156      28 sasquatchviii13
    48   00:00:01 Festival 3.1         OK                           185      43 sasquatchviii15
    49   00:00:02 Festival 3.1         OK                           598      98 sasquatchviii24
    50   00:00:02 Festival 3.1         OK                           854     217 sasquatchviii7
    51   00:00:01 Festival 3.1         OK                           431      70 Sasquatchx17
    52   00:00:07 Festival 3.1         OK                           906     106 Sasquatchx32
    53   00:00:01 Festival 3.1         OK                           379     112 Sasquatchx34
    54   00:00:03 Festival 3.1         OK                           416      82 Sasquatchx40
    55   00:00:01 Festival 3.1         OK                           229      48 Sasquatchx9
    56   00:00:01 Festival 3.1         OK                          1729     122 SvenSE_1
    57   00:00:00 Festival 3.1         OK                           551     117 SvenSE_101
    58   00:00:02 Festival 3.1         OK                           157      33 SvenSE_109
    59   00:00:02 Festival 3.1         OK                           127      31 SvenSE_110
    60   00:00:01 Festival 3.1         OK                           189      25 SvenSE_122
    61   00:00:00 Festival 3.1         OK                           180      30 SvenSE_137
    62   00:00:01 Festival 3.1         OK                           228      34 SvenSE_138
    63   00:00:01 Festival 3.1         OK                           432      76 SvenSE_139
    64   00:00:01 Festival 3.1         OK                           530      98 SvenSE_140
    65   00:00:01 Festival 3.1         OK                           308      54 SvenSE_147
    66   00:00:00 Festival 3.1         OK                           400      58 SvenSE_148
    67   00:00:01 Festival 3.1         OK                           226      30 SvenSE_150
    68   00:00:04 Festival 3.1         OK                           418      64 SvenSE_151
    69   00:00:04 Festival 3.1         OK                           538      60 SvenSE_153
    70   00:00:03 Festival 3.1         OK                           546      64 SvenSE_154
    71   00:00:04 Festival 3.1         OK                          1018     122 SvenSE_155
    72   00:00:01 Festival 3.1         OK                           276      30 SvenSE_162
    73   00:00:02 Festival 3.1         OK                           392      72 SvenSE_163
    74   00:00:01 Festival 3.1         OK                           143      20 SvenSE_181
    75   00:00:00 Festival 3.1         OK                           256      44 SvenSE_194
    76   00:00:01 Festival 3.1         OK                           274      66 SvenSE_195
    77   00:00:02 Festival 3.1         OK                           220      30 SvenSE_212
    78   00:00:01 Festival 3.1         OK                           638      98 SvenSE_237
    79   00:00:01 Festival 3.1         OK                           241      58 SvenSE_245
    80   00:00:01 Festival 3.1         OK                           282      22 SvenSE_247
    81   00:00:01 Festival 3.1         OK                            59      16 SvenSE_248
    82   00:00:00 Festival 3.1         OK                           452      86 SvenSE_257
    83   00:00:01 Festival 3.1         OK                           256      56 SvenSE_26
    84   00:00:01 Festival 3.1         OK                           283      52 SvenSE_260
    85   00:00:01 Festival 3.1         OK                           511     121 SvenSE_261
    86   00:00:00 Festival 3.1         OK                           281      46 SvenSE_277
    87   00:00:01 Festival 3.1         OK                           276      46 SvenSE_28
    88   00:00:02 Festival 3.1         OK                           421      77 SvenSE_286
    89   00:00:06 Festival 3.1         OK                           445      64 SvenSE_287
    90   00:00:01 Festival 3.1         OK                           442      80 SvenSE_288
    91   00:00:01 Festival 3.1         OK                           257      68 SvenSE_296
    92   00:00:02 Festival 3.1         OK                           269      82 SvenSE_297
    93   00:00:01 Festival 3.1         OK                           433      48 SvenSE_304
    94   00:00:01 Festival 3.1         OK                           298      36 SvenSE_305
    95   00:00:00 Festival 3.1         OK                           131      23 SvenSE_306
    96   00:00:01 Festival 3.1         OK                           166      19 SvenSE_307
    97   00:00:01 Festival 3.1         OK                           278      42 SvenSE_308
    98   00:00:01 Festival 3.1         OK                           237      51 SvenSE_310
    99   00:00:01 Festival 3.1         OK                           240      50 SvenSE_311
   100   00:00:00 Festival 3.1         OK                           276      42 SvenSE_325
   101   00:00:01 Festival 3.1         OK                           404      70 SvenSE_328
   102   00:00:01 Festival 3.1         OK                           291      45 SvenSE_331
   103   00:00:01 Festival 3.1         OK                           333      44 SvenSE_332
   104   00:00:01 Festival 3.1         OK                           329      52 SvenSE_333
   105   00:00:00 Festival 3.1         OK                           246      47 SvenSE_337
   106   00:00:01 Festival 3.1         OK                           117      15 SvenSE_338
   107   00:00:01 Festival 3.1         OK                           510      84 SvenSE_342
   108   00:00:02 Festival 3.1         OK                           405      44 SvenSE_345
   109   00:00:01 Festival 3.1         OK                           193      44 SvenSE_352
   110   00:00:00 Festival 3.1         OK                           275      52 SvenSE_357
   111   00:00:01 Festival 3.1         OK                           318      54 SvenSE_36
   112   00:00:01 Festival 3.1         OK                           297      43 SvenSE_363
   113   00:00:01 Festival 3.1         OK                           123      28 SvenSE_397
   114   00:00:00 Festival 3.1         OK                           150      36 SvenSE_399
   115   00:00:03 Festival 3.1         OK                           951     148 SvenSE_4
   116   00:00:00 Festival 3.1         OK                           882      54 SvenSE_40
   117   00:00:01 Festival 3.1         OK                           314      70 SvenSE_442
   118   00:00:00 Festival 3.1         OK                           175      32 SvenSE_447
   119   00:00:01 Festival 3.1         OK                           156      29 SvenSE_464
   120   00:00:01 Festival 3.1         OK                           194      31 SvenSE_467
   121   00:00:00 Festival 3.1         OK                           191      30 SvenSE_468
   122   00:00:01 Festival 3.1         OK                           512      88 SvenSE_471
   123   00:00:01 Festival 3.1         OK                           431      74 SvenSE_472
   124   00:00:01 Festival 3.1         OK                           210      28 SvenSE_481
   125   00:00:00 Festival 3.1         OK                           155      26 SvenSE_482
   126   00:00:01 Festival 3.1         OK                           220      26 SvenSE_483
   127   00:00:01 Festival 3.1         OK                           183      26 SvenSE_484
   128   00:00:00 Festival 3.1         OK                           158      47 SvenSE_506
   129   00:00:01 Festival 3.1         OK                           202      62 SvenSE_519
   130   00:00:01 Festival 3.1         OK                           384     108 SvenSE_52
   131   00:00:00 Festival 3.1         OK                           285      84 SvenSE_520
   132   00:00:01 Festival 3.1         OK                           223      64 SvenSE_521
   133   00:00:00 Festival 3.1         OK                           331     106 SvenSE_522
   134   00:00:01 Festival 3.1         OK                           340      86 SvenSE_523
   135   00:00:01 Festival 3.1         OK                           311      52 SvenSE_524
   136   00:00:00 Festival 3.1         OK                           237      73 SvenSE_540
   137   00:00:59 Festival 3.1         OK                           822     266 SvenSE_55
   138   00:00:01 Festival 3.1         OK                           566     110 SvenSE_59
   139   00:00:01 Festival 3.1         OK                           203      58 SvenSE_594
   140   00:00:00 Festival 3.1         OK                           345      63 SvenSE_595
   141   00:00:01 Festival 3.1         OK                           210      24 SvenSE_60
   142   00:00:01 Festival 3.1         OK                           448      80 SvenSE_61
   143   00:00:00 Festival 3.1         OK                           452      84 SvenSE_62
   144   00:00:01 Festival 3.1         OK                           127      32 SvenSE_628
   145   00:00:01 Festival 3.1         OK                           328      64 SvenSE_63
   146   00:00:00 Festival 3.1         OK                           146      36 SvenSE_632
   147   00:00:01 Festival 3.1         OK                           169      44 SvenSE_633
   148   00:00:00 Festival 3.1         OK                           217      45 SvenSE_636
   149   00:00:01 Festival 3.1         OK                           332      82 SvenSE_640
   150   00:00:01 Festival 3.1         OK                           323      62 SvenSE_643
   151   00:00:01 Festival 3.1         OK                           540      94 SvenSE_644
   152   00:00:01 Festival 3.1         OK                           448      83 SvenSE_645
   153   00:00:00 Festival 3.1         OK                           338      52 SvenSE_657
   154   00:00:01 Festival 3.1         OK                           463      83 SvenSE_658
   155   00:00:01 Festival 3.1         OK                           209      37 SvenSE_667
   156   00:00:01 Festival 3.1         OK                           141      32 SvenSE_67
   157   00:00:00 Festival 3.1         OK                           299      38 SvenSE_671
   158   00:00:01 Festival 3.1         OK                           419      64 SvenSE_687
   159   00:00:01 Festival 3.1         OK                           629     104 SvenSE_689
   160   00:00:00 Festival 3.1         OK                           218      52 SvenSE_69
   161   00:00:01 Festival 3.1         OK                           651      78 SvenSE_691
   162   00:00:01 Festival 3.1         OK                           208      34 SvenSE_70
   163   00:00:01 Festival 3.1         OK                           224      51 SvenSE_745
   164   00:00:01 Festival 3.1         OK                           159      41 SvenSE_779
   165   00:00:01 Festival 3.1         OK                           204      50 SvenSE_781
   166   00:00:01 Festival 3.1         OK                           273      50 SvenSE_798
   167   00:00:00 Festival 3.1         OK                           194      28 SvenSE_833
   168   00:00:01 Festival 3.1         OK                           155      28 SvenSE_834
   169   00:00:01 Festival 3.1         OK                           285      30 SvenSE_84
   170   00:00:00 Festival 3.1         OK                           225      40 SvenSE_846
   171   00:00:01 Festival 3.1         OK                           281      70 SvenSE_847
   172   00:00:01 Festival 3.1         OK                           279      34 SvenSE_85
   173   00:00:00 Festival 3.1         OK                           265      46 SvenSE_854
   174   00:00:01 Festival 3.1         OK                           233      50 SvenSE_857
   175   00:00:01 Festival 3.1         OK                           290      47 SvenSE_858
   176   00:00:03 Festival 3.1         OK                           721     108 SvenSE_864
   177   00:00:01 Festival 3.1         OK                           275      46 SvenSE_875
   178   00:00:00 Festival 3.1         OK                           373     126 SvenSE_883
   179   00:00:01 Festival 3.1         OK                           368      39 SvenSE_889
   180   00:00:01 Festival 3.1         OK                           164      33 SvenSE_890
   181   00:00:00 Festival 3.1         OK                           303      34 SvenSE_891
   182   00:00:01 Festival 3.1         OK                           222      37 SvenSE_892
   183   00:00:01 Festival 3.1         OK                           208      43 SvenSE_893
   184   00:00:01 Festival 3.1         OK                           472      51 SvenSE_9
   185   00:00:00 Festival 3.1         OK                           244      40 SvenSE_903
   186   00:00:03 Festival 3.1         OK                            75      25 SvenSE_904
   187   00:00:01 Festival 3.1         OK                            63      30 SvenSE_906
   188   00:00:02 Festival 3.1         OK                           224      50 SvenSE_907
   189   00:00:01 Festival 3.1         OK                            67      32 SvenSE_908
   190   00:00:01 Festival 3.1         OK                           210      48 SvenSE_912
   191   00:00:02 Festival 3.1         OK                           275      58 SvenSE_923
   192   00:00:00 Festival 3.1         OK                           229      33 SvenSE_926
   193   00:00:01 Festival 3.1         OK                           304      58 SvenSE_933
   194   00:00:01 Festival 3.1         OK                           159      32 SvenSE_938
   195   00:00:00 Festival 3.1         OK                           247      51 SvenSE_94
   196   00:00:01 Festival 3.1         OK                           493     108 SvenSE_941
   197   00:00:01 Festival 3.1         OK                           568     108 SvenSE_942
   198   00:00:00 Festival 3.1         OK                           600      92 SvenSE_943
   199   00:00:01 Festival 3.1         OK                           271      69 SvenSE_95
   200   00:00:02 Festival 3.1         OK                           225      48 SvenSE_97

   200   00:04:35 Total                OK: 200 Failed: 0          70243   13163
Retrieved from "http://sokobano.de/wiki/index.php?title=SolverStatistics-Festival-GroupEffort-Small-Set"