Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470100864.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldRVs-PT-030A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470100864
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 3.2K May 14 02:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 02:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 19:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 2.8K May 13 14:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K May 13 14:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 191K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1590453492184

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 030A
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 423 places, 573 transitions, 2760 arcs.
AT ITER 0 NEW BEST:: SOT 182058 SOS 156302 HAS SOPS 156302 HAS SOUS 126747 HAS SOUPS 126747 WITH SCORE 126903.302
AT ITER 1 NEW BEST:: SOT 182041 SOS 156285 HAS SOPS 156285 HAS SOUS 126730 HAS SOUPS 126730 WITH SCORE 126886.285
AT ITER 2 NEW BEST:: SOT 181901 SOS 156151 HAS SOPS 156151 HAS SOUS 126594 HAS SOUPS 126594 WITH SCORE 126750.151
AT ITER 3 NEW BEST:: SOT 181675 SOS 155931 HAS SOPS 155931 HAS SOUS 126374 HAS SOUPS 126374 WITH SCORE 126529.931
AT ITER 6 NEW BEST:: SOT 181534 SOS 155180 HAS SOPS 155180 HAS SOUS 125609 HAS SOUPS 125609 WITH SCORE 125764.18
AT ITER 7 NEW BEST:: SOT 181410 SOS 154667 HAS SOPS 154667 HAS SOUS 124603 HAS SOUPS 124603 WITH SCORE 124757.667
AT ITER 8 NEW BEST:: SOT 181411 SOS 154229 HAS SOPS 154229 HAS SOUS 124264 HAS SOUPS 124264 WITH SCORE 124418.229
AT ITER 9 NEW BEST:: SOT 181374 SOS 153902 HAS SOPS 153902 HAS SOUS 123817 HAS SOUPS 123817 WITH SCORE 123970.902
AT ITER 11 NEW BEST:: SOT 181421 SOS 153290 HAS SOPS 153290 HAS SOUS 122863 HAS SOUPS 122863 WITH SCORE 123016.29
AT ITER 12 NEW BEST:: SOT 181421 SOS 152844 HAS SOPS 152844 HAS SOUS 122373 HAS SOUPS 122373 WITH SCORE 122525.844
AT ITER 13 NEW BEST:: SOT 181419 SOS 152842 HAS SOPS 152842 HAS SOUS 122371 HAS SOUPS 122371 WITH SCORE 122523.842
AT ITER 17 NEW BEST:: SOT 181459 SOS 151609 HAS SOPS 151609 HAS SOUS 121606 HAS SOUPS 121606 WITH SCORE 121757.609
AT ITER 19 NEW BEST:: SOT 181256 SOS 151406 HAS SOPS 151406 HAS SOUS 121403 HAS SOUPS 121403 WITH SCORE 121554.406
AT ITER 24 NEW BEST:: SOT 181494 SOS 151331 HAS SOPS 151331 HAS SOUS 121124 HAS SOUPS 121124 WITH SCORE 121275.331
AT ITER 27 NEW BEST:: SOT 181419 SOS 151256 HAS SOPS 151256 HAS SOUS 121049 HAS SOUPS 121049 WITH SCORE 121200.256
AT ITER 29 NEW BEST:: SOT 181480 SOS 151009 HAS SOPS 151009 HAS SOUS 120589 HAS SOUPS 120589 WITH SCORE 120740.009
AT ITER 31 NEW BEST:: SOT 181283 SOS 149931 HAS SOPS 149931 HAS SOUS 119376 HAS SOUPS 119376 WITH SCORE 119525.931
AT ITER 35 NEW BEST:: SOT 181283 SOS 149904 HAS SOPS 149904 HAS SOUS 119373 HAS SOUPS 119373 WITH SCORE 119522.904
AT ITER 38 NEW BEST:: SOT 181187 SOS 149013 HAS SOPS 149013 HAS SOUS 118842 HAS SOUPS 118842 WITH SCORE 118991.013
AT ITER 40 NEW BEST:: SOT 181145 SOS 149029 HAS SOPS 149029 HAS SOUS 118831 HAS SOUPS 118831 WITH SCORE 118980.029
AT ITER 41 NEW BEST:: SOT 181537 SOS 148868 HAS SOPS 148868 HAS SOUS 118681 HAS SOUPS 118681 WITH SCORE 118829.868
AT ITER 42 NEW BEST:: SOT 181387 SOS 148325 HAS SOPS 148325 HAS SOUS 117837 HAS SOUPS 117837 WITH SCORE 117985.325
AT ITER 43 NEW BEST:: SOT 181387 SOS 148288 HAS SOPS 148288 HAS SOUS 117836 HAS SOUPS 117836 WITH SCORE 117984.288
AT ITER 47 NEW BEST:: SOT 181317 SOS 148210 HAS SOPS 148210 HAS SOUS 117349 HAS SOUPS 117349 WITH SCORE 117497.21
AT ITER 48 NEW BEST:: SOT 181316 SOS 148209 HAS SOPS 148209 HAS SOUS 117348 HAS SOUPS 117348 WITH SCORE 117496.209
AT ITER 49 NEW BEST:: SOT 181251 SOS 147400 HAS SOPS 147400 HAS SOUS 117142 HAS SOUPS 117142 WITH SCORE 117289.4
AT ITER 50 NEW BEST:: SOT 181251 SOS 147176 HAS SOPS 147176 HAS SOUS 116975 HAS SOUPS 116975 WITH SCORE 117122.176
AT ITER 55 NEW BEST:: SOT 181208 SOS 146812 HAS SOPS 146812 HAS SOUS 116644 HAS SOUPS 116644 WITH SCORE 116790.812
AT ITER 60 NEW BEST:: SOT 181029 SOS 146260 HAS SOPS 146260 HAS SOUS 116101 HAS SOUPS 116101 WITH SCORE 116247.26
AT ITER 61 NEW BEST:: SOT 180950 SOS 145998 HAS SOPS 145998 HAS SOUS 115807 HAS SOUPS 115807 WITH SCORE 115952.998
AT ITER 62 NEW BEST:: SOT 180950 SOS 145996 HAS SOPS 145996 HAS SOUS 115750 HAS SOUPS 115750 WITH SCORE 115895.996
AT ITER 63 NEW BEST:: SOT 180924 SOS 145996 HAS SOPS 145996 HAS SOUS 115749 HAS SOUPS 115749 WITH SCORE 115894.996
AT ITER 64 NEW BEST:: SOT 180752 SOS 145761 HAS SOPS 145761 HAS SOUS 115296 HAS SOUPS 115296 WITH SCORE 115441.761
AT ITER 65 NEW BEST:: SOT 181026 SOS 145561 HAS SOPS 145561 HAS SOUS 115264 HAS SOUPS 115264 WITH SCORE 115409.561
AT ITER 66 NEW BEST:: SOT 180979 SOS 145339 HAS SOPS 145339 HAS SOUS 115093 HAS SOUPS 115093 WITH SCORE 115238.339
AT ITER 68 NEW BEST:: SOT 180881 SOS 145241 HAS SOPS 145241 HAS SOUS 114995 HAS SOUPS 114995 WITH SCORE 115140.241
AT ITER 69 NEW BEST:: SOT 180852 SOS 145125 HAS SOPS 145125 HAS SOUS 114847 HAS SOUPS 114847 WITH SCORE 114992.125
AT ITER 70 NEW BEST:: SOT 180370 SOS 144685 HAS SOPS 144685 HAS SOUS 114409 HAS SOUPS 114409 WITH SCORE 114553.685
AT ITER 74 NEW BEST:: SOT 180364 SOS 144644 HAS SOPS 144644 HAS SOUS 114333 HAS SOUPS 114333 WITH SCORE 114477.644
AT ITER 77 NEW BEST:: SOT 180317 SOS 144265 HAS SOPS 144265 HAS SOUS 114040 HAS SOUPS 114040 WITH SCORE 114184.265
AT ITER 81 NEW BEST:: SOT 180250 SOS 144203 HAS SOPS 144203 HAS SOUS 114023 HAS SOUPS 114023 WITH SCORE 114167.203
AT ITER 88 NEW BEST:: SOT 180179 SOS 144132 HAS SOPS 144132 HAS SOUS 113950 HAS SOUPS 113950 WITH SCORE 114094.132
AT ITER 94 NEW BEST:: SOT 180178 SOS 144131 HAS SOPS 144131 HAS SOUS 113950 HAS SOUPS 113950 WITH SCORE 114094.131
AT ITER 95 NEW BEST:: SOT 180106 SOS 143614 HAS SOPS 143614 HAS SOUS 113422 HAS SOUPS 113422 WITH SCORE 113565.614
AT ITER 96 NEW BEST:: SOT 180074 SOS 143265 HAS SOPS 143265 HAS SOUS 113281 HAS SOUPS 113281 WITH SCORE 113424.265
AT ITER 97 NEW BEST:: SOT 180052 SOS 143243 HAS SOPS 143243 HAS SOUS 113259 HAS SOUPS 113259 WITH SCORE 113402.243
AT ITER 99 NEW BEST:: SOT 179974 SOS 143281 HAS SOPS 143281 HAS SOUS 113160 HAS SOUPS 113160 WITH SCORE 113303.281
AT ITER 100 NEW BEST:: SOT 179974 SOS 143373 HAS SOPS 143373 HAS SOUS 113114 HAS SOUPS 113114 WITH SCORE 113257.373
AT ITER 102 NEW BEST:: SOT 179940 SOS 143240 HAS SOPS 143240 HAS SOUS 112787 HAS SOUPS 112787 WITH SCORE 112930.24
AT ITER 110 NEW BEST:: SOT 179940 SOS 143253 HAS SOPS 143253 HAS SOUS 112669 HAS SOUPS 112669 WITH SCORE 112812.253
AT ITER 124 NEW BEST:: SOT 179916 SOS 143366 HAS SOPS 143366 HAS SOUS 112649 HAS SOUPS 112649 WITH SCORE 112792.366
AT ITER 125 NEW BEST:: SOT 180245 SOS 143098 HAS SOPS 143098 HAS SOUS 112210 HAS SOUPS 112210 WITH SCORE 112353.098
AT ITER 126 NEW BEST:: SOT 180152 SOS 143005 HAS SOPS 143005 HAS SOUS 112117 HAS SOUPS 112117 WITH SCORE 112260.005
AT ITER 130 NEW BEST:: SOT 179814 SOS 142667 HAS SOPS 142667 HAS SOUS 111778 HAS SOUPS 111778 WITH SCORE 111920.667
AT ITER 134 NEW BEST:: SOT 179778 SOS 142631 HAS SOPS 142631 HAS SOUS 111742 HAS SOUPS 111742 WITH SCORE 111884.631
AT ITER 136 NEW BEST:: SOT 179502 SOS 142353 HAS SOPS 142353 HAS SOUS 111460 HAS SOUPS 111460 WITH SCORE 111602.353
AT ITER 143 NEW BEST:: SOT 179475 SOS 142326 HAS SOPS 142326 HAS SOUS 111433 HAS SOUPS 111433 WITH SCORE 111575.326
AT ITER 144 NEW BEST:: SOT 179758 SOS 141765 HAS SOPS 141765 HAS SOUS 111106 HAS SOUPS 111106 WITH SCORE 111247.765
AT ITER 148 NEW BEST:: SOT 179616 SOS 141623 HAS SOPS 141623 HAS SOUS 110964 HAS SOUPS 110964 WITH SCORE 111105.623
AT ITER 150 NEW BEST:: SOT 179608 SOS 141615 HAS SOPS 141615 HAS SOUS 110947 HAS SOUPS 110947 WITH SCORE 111088.615
AT ITER 154 NEW BEST:: SOT 179416 SOS 141423 HAS SOPS 141423 HAS SOUS 110754 HAS SOUPS 110754 WITH SCORE 110895.423
AT ITER 156 NEW BEST:: SOT 179415 SOS 141422 HAS SOPS 141422 HAS SOUS 110753 HAS SOUPS 110753 WITH SCORE 110894.422
AT ITER 160 NEW BEST:: SOT 179289 SOS 141307 HAS SOPS 141307 HAS SOUS 110641 HAS SOUPS 110641 WITH SCORE 110782.307
AT ITER 167 NEW BEST:: SOT 179295 SOS 141287 HAS SOPS 141287 HAS SOUS 110510 HAS SOUPS 110510 WITH SCORE 110651.287
AT ITER 170 NEW BEST:: SOT 179295 SOS 141093 HAS SOPS 141093 HAS SOUS 110509 HAS SOUPS 110509 WITH SCORE 110650.093
AT ITER 171 NEW BEST:: SOT 179295 SOS 141086 HAS SOPS 141086 HAS SOUS 110507 HAS SOUPS 110507 WITH SCORE 110648.086
AT ITER 173 NEW BEST:: SOT 179250 SOS 141041 HAS SOPS 141041 HAS SOUS 110462 HAS SOUPS 110462 WITH SCORE 110603.041
AT ITER 174 NEW BEST:: SOT 179072 SOS 140863 HAS SOPS 140863 HAS SOUS 110284 HAS SOUPS 110284 WITH SCORE 110424.863
AT ITER 175 NEW BEST:: SOT 179071 SOS 140154 HAS SOPS 140154 HAS SOUS 109786 HAS SOUPS 109786 WITH SCORE 109926.154
AT ITER 179 NEW BEST:: SOT 178837 SOS 139918 HAS SOPS 139918 HAS SOUS 109546 HAS SOUPS 109546 WITH SCORE 109685.918
AT ITER 181 NEW BEST:: SOT 178626 SOS 139682 HAS SOPS 139682 HAS SOUS 109310 HAS SOUPS 109310 WITH SCORE 109449.682
AT ITER 187 NEW BEST:: SOT 178150 SOS 139206 HAS SOPS 139206 HAS SOUS 108834 HAS SOUPS 108834 WITH SCORE 108973.206
AT ITER 189 NEW BEST:: SOT 178135 SOS 139191 HAS SOPS 139191 HAS SOUS 108819 HAS SOUPS 108819 WITH SCORE 108958.191
AT ITER 190 NEW BEST:: SOT 178889 SOS 139826 HAS SOPS 139826 HAS SOUS 108725 HAS SOUPS 108725 WITH SCORE 108864.826
AT ITER 193 NEW BEST:: SOT 179157 SOS 140088 HAS SOPS 140088 HAS SOUS 108716 HAS SOUPS 108716 WITH SCORE 108856.088
AT ITER 196 NEW BEST:: SOT 179195 SOS 140033 HAS SOPS 140033 HAS SOUS 108659 HAS SOUPS 108659 WITH SCORE 108799.033
AT ITER 197 NEW BEST:: SOT 179175 SOS 140013 HAS SOPS 140013 HAS SOUS 108639 HAS SOUPS 108639 WITH SCORE 108779.013
AT ITER 198 NEW BEST:: SOT 179170 SOS 140001 HAS SOPS 140001 HAS SOUS 108627 HAS SOUPS 108627 WITH SCORE 108767.001
AT ITER 204 NEW BEST:: SOT 179154 SOS 139969 HAS SOPS 139969 HAS SOUS 108593 HAS SOUPS 108593 WITH SCORE 108732.969
AT ITER 205 NEW BEST:: SOT 179069 SOS 139498 HAS SOPS 139498 HAS SOUS 108179 HAS SOUPS 108179 WITH SCORE 108318.498
AT ITER 206 NEW BEST:: SOT 179060 SOS 139218 HAS SOPS 139218 HAS SOUS 108128 HAS SOUPS 108128 WITH SCORE 108267.218
AT ITER 208 NEW BEST:: SOT 178996 SOS 138963 HAS SOPS 138963 HAS SOUS 107863 HAS SOUPS 107863 WITH SCORE 108001.963
AT ITER 210 NEW BEST:: SOT 179180 SOS 139281 HAS SOPS 139281 HAS SOUS 107696 HAS SOUPS 107696 WITH SCORE 107835.281
AT ITER 211 NEW BEST:: SOT 179078 SOS 138673 HAS SOPS 138673 HAS SOUS 107221 HAS SOUPS 107221 WITH SCORE 107359.673
AT ITER 213 NEW BEST:: SOT 179078 SOS 138600 HAS SOPS 138600 HAS SOUS 107210 HAS SOUPS 107210 WITH SCORE 107348.6
AT ITER 214 NEW BEST:: SOT 178813 SOS 138395 HAS SOPS 138395 HAS SOUS 106751 HAS SOUPS 106751 WITH SCORE 106889.395
AT ITER 215 NEW BEST:: SOT 178720 SOS 138163 HAS SOPS 138163 HAS SOUS 106698 HAS SOUPS 106698 WITH SCORE 106836.163
AT ITER 217 NEW BEST:: SOT 178671 SOS 138014 HAS SOPS 138014 HAS SOUS 106520 HAS SOUPS 106520 WITH SCORE 106658.014
AT ITER 223 NEW BEST:: SOT 178626 SOS 137963 HAS SOPS 137963 HAS SOUS 106460 HAS SOUPS 106460 WITH SCORE 106597.963
AT ITER 231 NEW BEST:: SOT 178614 SOS 137853 HAS SOPS 137853 HAS SOUS 106404 HAS SOUPS 106404 WITH SCORE 106541.853
AT ITER 232 NEW BEST:: SOT 178621 SOS 137367 HAS SOPS 137367 HAS SOUS 106121 HAS SOUPS 106121 WITH SCORE 106258.367
AT ITER 235 NEW BEST:: SOT 178621 SOS 137367 HAS SOPS 137367 HAS SOUS 106120 HAS SOUPS 106120 WITH SCORE 106257.367
AT ITER 241 NEW BEST:: SOT 178631 SOS 136913 HAS SOPS 136913 HAS SOUS 106047 HAS SOUPS 106047 WITH SCORE 106183.913
AT ITER 242 NEW BEST:: SOT 178449 SOS 136731 HAS SOPS 136731 HAS SOUS 105864 HAS SOUPS 105864 WITH SCORE 106000.731
AT ITER 247 NEW BEST:: SOT 178436 SOS 136692 HAS SOPS 136692 HAS SOUS 105811 HAS SOUPS 105811 WITH SCORE 105947.692
AT ITER 249 NEW BEST:: SOT 178519 SOS 136471 HAS SOPS 136471 HAS SOUS 105364 HAS SOUPS 105364 WITH SCORE 105500.471
AT ITER 251 NEW BEST:: SOT 178512 SOS 136282 HAS SOPS 136282 HAS SOUS 105213 HAS SOUPS 105213 WITH SCORE 105349.282
AT ITER 254 NEW BEST:: SOT 178340 SOS 135907 HAS SOPS 135907 HAS SOUS 104983 HAS SOUPS 104983 WITH SCORE 105118.907
AT ITER 255 NEW BEST:: SOT 177880 SOS 135311 HAS SOPS 135311 HAS SOUS 103941 HAS SOUPS 103941 WITH SCORE 104076.311
AT ITER 260 NEW BEST:: SOT 177680 SOS 135044 HAS SOPS 135044 HAS SOUS 103569 HAS SOUPS 103569 WITH SCORE 103704.044
AT ITER 261 NEW BEST:: SOT 177613 SOS 134776 HAS SOPS 134776 HAS SOUS 103167 HAS SOUPS 103167 WITH SCORE 103301.776
AT ITER 267 NEW BEST:: SOT 177497 SOS 134660 HAS SOPS 134660 HAS SOUS 103037 HAS SOUPS 103037 WITH SCORE 103171.66
AT ITER 269 NEW BEST:: SOT 177494 SOS 134648 HAS SOPS 134648 HAS SOUS 102895 HAS SOUPS 102895 WITH SCORE 103029.648
AT ITER 274 NEW BEST:: SOT 177330 SOS 134001 HAS SOPS 134001 HAS SOUS 102319 HAS SOUPS 102319 WITH SCORE 102453.001
AT ITER 275 NEW BEST:: SOT 177033 SOS 133704 HAS SOPS 133704 HAS SOUS 101942 HAS SOUPS 101942 WITH SCORE 102075.704
AT ITER 277 NEW BEST:: SOT 176993 SOS 133681 HAS SOPS 133681 HAS SOUS 101872 HAS SOUPS 101872 WITH SCORE 102005.681
AT ITER 279 NEW BEST:: SOT 176838 SOS 133526 HAS SOPS 133526 HAS SOUS 101712 HAS SOUPS 101712 WITH SCORE 101845.526
AT ITER 287 NEW BEST:: SOT 176765 SOS 133453 HAS SOPS 133453 HAS SOUS 101639 HAS SOUPS 101639 WITH SCORE 101772.453
AT ITER 290 NEW BEST:: SOT 176765 SOS 133184 HAS SOPS 133184 HAS SOUS 101375 HAS SOUPS 101375 WITH SCORE 101508.184
AT ITER 301 NEW BEST:: SOT 176672 SOS 132683 HAS SOPS 132683 HAS SOUS 100962 HAS SOUPS 100962 WITH SCORE 101094.683
AT ITER 306 NEW BEST:: SOT 176462 SOS 132667 HAS SOPS 132667 HAS SOUS 100677 HAS SOUPS 100677 WITH SCORE 100809.667
AT ITER 307 NEW BEST:: SOT 175731 SOS 131815 HAS SOPS 131815 HAS SOUS 99406 HAS SOUPS 99406 WITH SCORE 99537.815
AT ITER 310 NEW BEST:: SOT 175687 SOS 131447 HAS SOPS 131447 HAS SOUS 99381 HAS SOUPS 99381 WITH SCORE 99512.447
AT ITER 321 NEW BEST:: SOT 175611 SOS 131067 HAS SOPS 131067 HAS SOUS 99001 HAS SOUPS 99001 WITH SCORE 99132.067
AT ITER 322 NEW BEST:: SOT 175611 SOS 131009 HAS SOPS 131009 HAS SOUS 99001 HAS SOUPS 99001 WITH SCORE 99132.009
AT ITER 327 NEW BEST:: SOT 175710 SOS 131079 HAS SOPS 131079 HAS SOUS 98898 HAS SOUPS 98898 WITH SCORE 99029.079
AT ITER 330 NEW BEST:: SOT 175684 SOS 130916 HAS SOPS 130916 HAS SOUS 98736 HAS SOUPS 98736 WITH SCORE 98866.916
AT ITER 333 NEW BEST:: SOT 175575 SOS 130499 HAS SOPS 130499 HAS SOUS 98168 HAS SOUPS 98168 WITH SCORE 98298.499
AT ITER 334 NEW BEST:: SOT 175472 SOS 130373 HAS SOPS 130373 HAS SOUS 98032 HAS SOUPS 98032 WITH SCORE 98162.373
AT ITER 335 NEW BEST:: SOT 175432 SOS 130333 HAS SOPS 130333 HAS SOUS 97992 HAS SOUPS 97992 WITH SCORE 98122.333
AT ITER 337 NEW BEST:: SOT 175432 SOS 130309 HAS SOPS 130309 HAS SOUS 97968 HAS SOUPS 97968 WITH SCORE 98098.309
AT ITER 341 NEW BEST:: SOT 175423 SOS 130297 HAS SOPS 130297 HAS SOUS 97955 HAS SOUPS 97955 WITH SCORE 98085.297
AT ITER 342 NEW BEST:: SOT 175470 SOS 130191 HAS SOPS 130191 HAS SOUS 97879 HAS SOUPS 97879 WITH SCORE 98009.191
AT ITER 352 NEW BEST:: SOT 175467 SOS 130188 HAS SOPS 130188 HAS SOUS 97876 HAS SOUPS 97876 WITH SCORE 98006.188
AT ITER 356 NEW BEST:: SOT 175191 SOS 129907 HAS SOPS 129907 HAS SOUS 97572 HAS SOUPS 97572 WITH SCORE 97701.907
AT ITER 364 NEW BEST:: SOT 175191 SOS 129962 HAS SOPS 129962 HAS SOUS 97550 HAS SOUPS 97550 WITH SCORE 97679.962
AT ITER 370 NEW BEST:: SOT 175165 SOS 129946 HAS SOPS 129946 HAS SOUS 97529 HAS SOUPS 97529 WITH SCORE 97658.946
AT ITER 371 NEW BEST:: SOT 175165 SOS 130079 HAS SOPS 130079 HAS SOUS 97516 HAS SOUPS 97516 WITH SCORE 97646.079
AT ITER 372 NEW BEST:: SOT 175180 SOS 129869 HAS SOPS 129869 HAS SOUS 97085 HAS SOUPS 97085 WITH SCORE 97214.869
AT ITER 377 NEW BEST:: SOT 175129 SOS 129614 HAS SOPS 129614 HAS SOUS 96854 HAS SOUPS 96854 WITH SCORE 96983.614
AT ITER 380 NEW BEST:: SOT 175129 SOS 129486 HAS SOPS 129486 HAS SOUS 96782 HAS SOUPS 96782 WITH SCORE 96911.486
AT ITER 381 NEW BEST:: SOT 174685 SOS 128969 HAS SOPS 128969 HAS SOUS 96220 HAS SOUPS 96220 WITH SCORE 96348.969
AT ITER 387 NEW BEST:: SOT 174664 SOS 128948 HAS SOPS 128948 HAS SOUS 96199 HAS SOUPS 96199 WITH SCORE 96327.948
AT ITER 392 NEW BEST:: SOT 174639 SOS 128957 HAS SOPS 128957 HAS SOUS 96154 HAS SOUPS 96154 WITH SCORE 96282.957
AT ITER 397 NEW BEST:: SOT 174609 SOS 128901 HAS SOPS 128901 HAS SOUS 96126 HAS SOUPS 96126 WITH SCORE 96254.901
AT ITER 424 NEW BEST:: SOT 174609 SOS 128704 HAS SOPS 128704 HAS SOUS 96078 HAS SOUPS 96078 WITH SCORE 96206.704
AT ITER 429 NEW BEST:: SOT 174519 SOS 128170 HAS SOPS 128170 HAS SOUS 95845 HAS SOUPS 95845 WITH SCORE 95973.17
AT ITER 432 NEW BEST:: SOT 174519 SOS 128184 HAS SOPS 128184 HAS SOUS 95763 HAS SOUPS 95763 WITH SCORE 95891.184
AT ITER 438 NEW BEST:: SOT 174464 SOS 128129 HAS SOPS 128129 HAS SOUS 95708 HAS SOUPS 95708 WITH SCORE 95836.129
AT ITER 442 NEW BEST:: SOT 174455 SOS 128111 HAS SOPS 128111 HAS SOUS 95705 HAS SOUPS 95705 WITH SCORE 95833.111
AT ITER 443 NEW BEST:: SOT 174394 SOS 127715 HAS SOPS 127715 HAS SOUS 94894 HAS SOUPS 94894 WITH SCORE 95021.715
AT ITER 445 NEW BEST:: SOT 174368 SOS 127689 HAS SOPS 127689 HAS SOUS 94859 HAS SOUPS 94859 WITH SCORE 94986.689
AT ITER 449 NEW BEST:: SOT 174368 SOS 126669 HAS SOPS 126669 HAS SOUS 94690 HAS SOUPS 94690 WITH SCORE 94816.669
AT ITER 452 NEW BEST:: SOT 174209 SOS 125874 HAS SOPS 125874 HAS SOUS 94122 HAS SOUPS 94122 WITH SCORE 94247.874
AT ITER 460 NEW BEST:: SOT 174156 SOS 125830 HAS SOPS 125830 HAS SOUS 94089 HAS SOUPS 94089 WITH SCORE 94214.83
AT ITER 464 NEW BEST:: SOT 174026 SOS 125700 HAS SOPS 125700 HAS SOUS 93959 HAS SOUPS 93959 WITH SCORE 94084.7
AT ITER 467 NEW BEST:: SOT 174022 SOS 125696 HAS SOPS 125696 HAS SOUS 93954 HAS SOUPS 93954 WITH SCORE 94079.696
AT ITER 472 NEW BEST:: SOT 173901 SOS 125690 HAS SOPS 125690 HAS SOUS 93950 HAS SOUPS 93950 WITH SCORE 94075.69
AT ITER 474 NEW BEST:: SOT 173599 SOS 125073 HAS SOPS 125073 HAS SOUS 93865 HAS SOUPS 93865 WITH SCORE 93990.073
AT ITER 476 NEW BEST:: SOT 173805 SOS 124091 HAS SOPS 124091 HAS SOUS 93469 HAS SOUPS 93469 WITH SCORE 93593.091
AT ITER 479 NEW BEST:: SOT 173717 SOS 123867 HAS SOPS 123867 HAS SOUS 93449 HAS SOUPS 93449 WITH SCORE 93572.867
AT ITER 481 NEW BEST:: SOT 173810 SOS 123209 HAS SOPS 123209 HAS SOUS 93239 HAS SOUPS 93239 WITH SCORE 93362.209
AT ITER 482 NEW BEST:: SOT 173684 SOS 123083 HAS SOPS 123083 HAS SOUS 93113 HAS SOUPS 93113 WITH SCORE 93236.083
AT ITER 484 NEW BEST:: SOT 173684 SOS 123080 HAS SOPS 123080 HAS SOUS 93110 HAS SOUPS 93110 WITH SCORE 93233.08
AT ITER 486 NEW BEST:: SOT 173819 SOS 123488 HAS SOPS 123488 HAS SOUS 93080 HAS SOUPS 93080 WITH SCORE 93203.488
AT ITER 487 NEW BEST:: SOT 173975 SOS 123548 HAS SOPS 123548 HAS SOUS 92787 HAS SOUPS 92787 WITH SCORE 92910.548
AT ITER 489 NEW BEST:: SOT 173975 SOS 123544 HAS SOPS 123544 HAS SOUS 92787 HAS SOUPS 92787 WITH SCORE 92910.544
AT ITER 491 NEW BEST:: SOT 173804 SOS 123347 HAS SOPS 123347 HAS SOUS 92546 HAS SOUPS 92546 WITH SCORE 92669.347
AT ITER 499 NEW BEST:: SOT 173215 SOS 122442 HAS SOPS 122442 HAS SOUS 91654 HAS SOUPS 91654 WITH SCORE 91776.442
AT ITER 501 NEW BEST:: SOT 173059 SOS 122286 HAS SOPS 122286 HAS SOUS 91498 HAS SOUPS 91498 WITH SCORE 91620.286
AT ITER 506 NEW BEST:: SOT 173048 SOS 122268 HAS SOPS 122268 HAS SOUS 91460 HAS SOUPS 91460 WITH SCORE 91582.268
AT ITER 508 NEW BEST:: SOT 172985 SOS 122185 HAS SOPS 122185 HAS SOUS 91439 HAS SOUPS 91439 WITH SCORE 91561.185
AT ITER 514 NEW BEST:: SOT 172989 SOS 121986 HAS SOPS 121986 HAS SOUS 91329 HAS SOUPS 91329 WITH SCORE 91450.986
AT ITER 517 NEW BEST:: SOT 172811 SOS 121768 HAS SOPS 121768 HAS SOUS 91107 HAS SOUPS 91107 WITH SCORE 91228.768
AT ITER 523 NEW BEST:: SOT 172757 SOS 121714 HAS SOPS 121714 HAS SOUS 91047 HAS SOUPS 91047 WITH SCORE 91168.714
AT ITER 526 NEW BEST:: SOT 172654 SOS 121611 HAS SOPS 121611 HAS SOUS 90944 HAS SOUPS 90944 WITH SCORE 91065.611
AT ITER 528 NEW BEST:: SOT 172532 SOS 121461 HAS SOPS 121461 HAS SOUS 90794 HAS SOUPS 90794 WITH SCORE 90915.461
AT ITER 529 NEW BEST:: SOT 172561 SOS 121490 HAS SOPS 121490 HAS SOUS 90784 HAS SOUPS 90784 WITH SCORE 90905.49
AT ITER 531 NEW BEST:: SOT 172575 SOS 121504 HAS SOPS 121504 HAS SOUS 90752 HAS SOUPS 90752 WITH SCORE 90873.504
AT ITER 532 NEW BEST:: SOT 172563 SOS 121480 HAS SOPS 121480 HAS SOUS 90692 HAS SOUPS 90692 WITH SCORE 90813.48
AT ITER 538 NEW BEST:: SOT 172539 SOS 121432 HAS SOPS 121432 HAS SOUS 90573 HAS SOUPS 90573 WITH SCORE 90694.432
AT ITER 539 NEW BEST:: SOT 172479 SOS 121350 HAS SOPS 121350 HAS SOUS 90467 HAS SOUPS 90467 WITH SCORE 90588.35
AT ITER 543 NEW BEST:: SOT 172424 SOS 121263 HAS SOPS 121263 HAS SOUS 90347 HAS SOUPS 90347 WITH SCORE 90468.263
AT ITER 547 NEW BEST:: SOT 172404 SOS 121252 HAS SOPS 121252 HAS SOUS 90060 HAS SOUPS 90060 WITH SCORE 90181.252
AT ITER 548 NEW BEST:: SOT 172404 SOS 121252 HAS SOPS 121252 HAS SOUS 90042 HAS SOUPS 90042 WITH SCORE 90163.252
AT ITER 554 NEW BEST:: SOT 172175 SOS 121023 HAS SOPS 121023 HAS SOUS 89814 HAS SOUPS 89814 WITH SCORE 89935.023
AT ITER 556 NEW BEST:: SOT 172213 SOS 121152 HAS SOPS 121152 HAS SOUS 89810 HAS SOUPS 89810 WITH SCORE 89931.152
AT ITER 560 NEW BEST:: SOT 172185 SOS 121138 HAS SOPS 121138 HAS SOUS 89796 HAS SOUPS 89796 WITH SCORE 89917.138
AT ITER 565 NEW BEST:: SOT 171903 SOS 120856 HAS SOPS 120856 HAS SOUS 89514 HAS SOUPS 89514 WITH SCORE 89634.856
AT ITER 571 NEW BEST:: SOT 171372 SOS 120193 HAS SOPS 120193 HAS SOUS 88852 HAS SOUPS 88852 WITH SCORE 88972.193
AT ITER 575 NEW BEST:: SOT 171284 SOS 119466 HAS SOPS 119466 HAS SOUS 88455 HAS SOUPS 88455 WITH SCORE 88574.466
AT ITER 581 NEW BEST:: SOT 171283 SOS 119465 HAS SOPS 119465 HAS SOUS 88454 HAS SOUPS 88454 WITH SCORE 88573.465
AT ITER 582 NEW BEST:: SOT 171283 SOS 119261 HAS SOPS 119261 HAS SOUS 88383 HAS SOUPS 88383 WITH SCORE 88502.261
AT ITER 588 NEW BEST:: SOT 171277 SOS 119255 HAS SOPS 119255 HAS SOUS 88375 HAS SOUPS 88375 WITH SCORE 88494.255
AT ITER 589 NEW BEST:: SOT 171238 SOS 119216 HAS SOPS 119216 HAS SOUS 88333 HAS SOUPS 88333 WITH SCORE 88452.216
AT ITER 591 NEW BEST:: SOT 171104 SOS 119025 HAS SOPS 119025 HAS SOUS 88056 HAS SOUPS 88056 WITH SCORE 88175.025
AT ITER 593 NEW BEST:: SOT 171149 SOS 118736 HAS SOPS 118736 HAS SOUS 87873 HAS SOUPS 87873 WITH SCORE 87991.736
AT ITER 594 NEW BEST:: SOT 170852 SOS 118368 HAS SOPS 118368 HAS SOUS 87228 HAS SOUPS 87228 WITH SCORE 87346.368
AT ITER 600 NEW BEST:: SOT 170788 SOS 118304 HAS SOPS 118304 HAS SOUS 87135 HAS SOUPS 87135 WITH SCORE 87253.304
AT ITER 601 NEW BEST:: SOT 170943 SOS 118495 HAS SOPS 118495 HAS SOUS 86802 HAS SOUPS 86802 WITH SCORE 86920.495
AT ITER 603 NEW BEST:: SOT 170943 SOS 118492 HAS SOPS 118492 HAS SOUS 86799 HAS SOUPS 86799 WITH SCORE 86917.492
AT ITER 605 NEW BEST:: SOT 170943 SOS 118377 HAS SOPS 118377 HAS SOUS 86710 HAS SOUPS 86710 WITH SCORE 86828.377
AT ITER 614 NEW BEST:: SOT 170943 SOS 118294 HAS SOPS 118294 HAS SOUS 86659 HAS SOUPS 86659 WITH SCORE 86777.294
AT ITER 619 NEW BEST:: SOT 170922 SOS 118251 HAS SOPS 118251 HAS SOUS 86421 HAS SOUPS 86421 WITH SCORE 86539.251
AT ITER 621 NEW BEST:: SOT 170899 SOS 118158 HAS SOPS 118158 HAS SOUS 86080 HAS SOUPS 86080 WITH SCORE 86198.158
AT ITER 633 NEW BEST:: SOT 170692 SOS 117951 HAS SOPS 117951 HAS SOUS 85873 HAS SOUPS 85873 WITH SCORE 85990.951
AT ITER 638 NEW BEST:: SOT 170614 SOS 117873 HAS SOPS 117873 HAS SOUS 85795 HAS SOUPS 85795 WITH SCORE 85912.873
AT ITER 640 NEW BEST:: SOT 170641 SOS 117965 HAS SOPS 117965 HAS SOUS 85760 HAS SOUPS 85760 WITH SCORE 85877.965
AT ITER 641 NEW BEST:: SOT 170692 SOS 117375 HAS SOPS 117375 HAS SOUS 85610 HAS SOUPS 85610 WITH SCORE 85727.375
AT ITER 645 NEW BEST:: SOT 170637 SOS 117320 HAS SOPS 117320 HAS SOUS 85553 HAS SOUPS 85553 WITH SCORE 85670.32
AT ITER 648 NEW BEST:: SOT 170646 SOS 117053 HAS SOPS 117053 HAS SOUS 85497 HAS SOUPS 85497 WITH SCORE 85614.053
AT ITER 651 NEW BEST:: SOT 170627 SOS 116998 HAS SOPS 116998 HAS SOUS 85475 HAS SOUPS 85475 WITH SCORE 85591.998
AT ITER 659 NEW BEST:: SOT 170627 SOS 116978 HAS SOPS 116978 HAS SOUS 85475 HAS SOUPS 85475 WITH SCORE 85591.978
AT ITER 666 NEW BEST:: SOT 170520 SOS 116646 HAS SOPS 116646 HAS SOUS 85228 HAS SOUPS 85228 WITH SCORE 85344.646
AT ITER 670 NEW BEST:: SOT 170606 SOS 116058 HAS SOPS 116058 HAS SOUS 85133 HAS SOUPS 85133 WITH SCORE 85249.058
AT ITER 679 NEW BEST:: SOT 170641 SOS 116093 HAS SOPS 116093 HAS SOUS 85112 HAS SOUPS 85112 WITH SCORE 85228.093
AT ITER 680 NEW BEST:: SOT 170256 SOS 114949 HAS SOPS 114949 HAS SOUS 84426 HAS SOUPS 84426 WITH SCORE 84540.949
AT ITER 681 NEW BEST:: SOT 170242 SOS 114949 HAS SOPS 114949 HAS SOUS 84370 HAS SOUPS 84370 WITH SCORE 84484.949
AT ITER 684 NEW BEST:: SOT 170229 SOS 114936 HAS SOPS 114936 HAS SOUS 84370 HAS SOUPS 84370 WITH SCORE 84484.936
AT ITER 690 NEW BEST:: SOT 170174 SOS 114818 HAS SOPS 114818 HAS SOUS 84328 HAS SOUPS 84328 WITH SCORE 84442.818
AT ITER 693 NEW BEST:: SOT 170174 SOS 114821 HAS SOPS 114821 HAS SOUS 84325 HAS SOUPS 84325 WITH SCORE 84439.821
AT ITER 698 NEW BEST:: SOT 169827 SOS 114360 HAS SOPS 114360 HAS SOUS 83884 HAS SOUPS 83884 WITH SCORE 83998.36
AT ITER 706 NEW BEST:: SOT 169827 SOS 114320 HAS SOPS 114320 HAS SOUS 83884 HAS SOUPS 83884 WITH SCORE 83998.32
AT ITER 707 NEW BEST:: SOT 169778 SOS 114038 HAS SOPS 114038 HAS SOUS 83743 HAS SOUPS 83743 WITH SCORE 83857.038
AT ITER 709 NEW BEST:: SOT 169858 SOS 113880 HAS SOPS 113880 HAS SOUS 83613 HAS SOUPS 83613 WITH SCORE 83726.88
AT ITER 713 NEW BEST:: SOT 169283 SOS 112054 HAS SOPS 112054 HAS SOUS 82687 HAS SOUPS 82687 WITH SCORE 82799.054
AT ITER 714 NEW BEST:: SOT 169276 SOS 111899 HAS SOPS 111899 HAS SOUS 82667 HAS SOUPS 82667 WITH SCORE 82778.899
AT ITER 715 NEW BEST:: SOT 169215 SOS 111838 HAS SOPS 111838 HAS SOUS 82606 HAS SOUPS 82606 WITH SCORE 82717.838
AT ITER 719 NEW BEST:: SOT 169160 SOS 111572 HAS SOPS 111572 HAS SOUS 82214 HAS SOUPS 82214 WITH SCORE 82325.572
AT ITER 720 NEW BEST:: SOT 169341 SOS 111701 HAS SOPS 111701 HAS SOUS 82201 HAS SOUPS 82201 WITH SCORE 82312.701
AT ITER 721 NEW BEST:: SOT 169368 SOS 111672 HAS SOPS 111672 HAS SOUS 82180 HAS SOUPS 82180 WITH SCORE 82291.672
AT ITER 725 NEW BEST:: SOT 169362 SOS 111322 HAS SOPS 111322 HAS SOUS 82137 HAS SOUPS 82137 WITH SCORE 82248.322
AT ITER 740 NEW BEST:: SOT 169311 SOS 110707 HAS SOPS 110707 HAS SOUS 81903 HAS SOUPS 81903 WITH SCORE 82013.707
AT ITER 743 NEW BEST:: SOT 169171 SOS 110562 HAS SOPS 110562 HAS SOUS 81751 HAS SOUPS 81751 WITH SCORE 81861.562
AT ITER 744 NEW BEST:: SOT 168845 SOS 110236 HAS SOPS 110236 HAS SOUS 81425 HAS SOUPS 81425 WITH SCORE 81535.236
AT ITER 750 NEW BEST:: SOT 168807 SOS 109807 HAS SOPS 109807 HAS SOUS 80820 HAS SOUPS 80820 WITH SCORE 80929.807
AT ITER 751 NEW BEST:: SOT 168425 SOS 109293 HAS SOPS 109293 HAS SOUS 80376 HAS SOUPS 80376 WITH SCORE 80485.293
AT ITER 758 NEW BEST:: SOT 168190 SOS 109054 HAS SOPS 109054 HAS SOUS 80112 HAS SOUPS 80112 WITH SCORE 80221.054
AT ITER 761 NEW BEST:: SOT 168295 SOS 109025 HAS SOPS 109025 HAS SOUS 80049 HAS SOUPS 80049 WITH SCORE 80158.025
AT ITER 767 NEW BEST:: SOT 168302 SOS 108871 HAS SOPS 108871 HAS SOUS 79996 HAS SOUPS 79996 WITH SCORE 80104.871
AT ITER 771 NEW BEST:: SOT 168258 SOS 108814 HAS SOPS 108814 HAS SOUS 79873 HAS SOUPS 79873 WITH SCORE 79981.814
AT ITER 780 NEW BEST:: SOT 168251 SOS 108793 HAS SOPS 108793 HAS SOUS 79831 HAS SOUPS 79831 WITH SCORE 79939.793
AT ITER 782 NEW BEST:: SOT 168130 SOS 108697 HAS SOPS 108697 HAS SOUS 79705 HAS SOUPS 79705 WITH SCORE 79813.697
AT ITER 783 NEW BEST:: SOT 168209 SOS 108508 HAS SOPS 108508 HAS SOUS 79639 HAS SOUPS 79639 WITH SCORE 79747.508
AT ITER 789 NEW BEST:: SOT 168287 SOS 108507 HAS SOPS 108507 HAS SOUS 79542 HAS SOUPS 79542 WITH SCORE 79650.507
AT ITER 791 NEW BEST:: SOT 168127 SOS 108226 HAS SOPS 108226 HAS SOUS 79233 HAS SOUPS 79233 WITH SCORE 79341.226
AT ITER 794 NEW BEST:: SOT 168117 SOS 108206 HAS SOPS 108206 HAS SOUS 79231 HAS SOUPS 79231 WITH SCORE 79339.206
AT ITER 795 NEW BEST:: SOT 168115 SOS 108246 HAS SOPS 108246 HAS SOUS 79224 HAS SOUPS 79224 WITH SCORE 79332.246
AT ITER 796 NEW BEST:: SOT 167829 SOS 107933 HAS SOPS 107933 HAS SOUS 78911 HAS SOUPS 78911 WITH SCORE 79018.933
AT ITER 797 NEW BEST:: SOT 167839 SOS 107621 HAS SOPS 107621 HAS SOUS 78881 HAS SOUPS 78881 WITH SCORE 78988.621
AT ITER 799 NEW BEST:: SOT 167421 SOS 106451 HAS SOPS 106451 HAS SOUS 78016 HAS SOUPS 78016 WITH SCORE 78122.451
AT ITER 803 NEW BEST:: SOT 167199 SOS 106229 HAS SOPS 106229 HAS SOUS 77794 HAS SOUPS 77794 WITH SCORE 77900.229
AT ITER 806 NEW BEST:: SOT 167196 SOS 106220 HAS SOPS 106220 HAS SOUS 77779 HAS SOUPS 77779 WITH SCORE 77885.22
AT ITER 822 NEW BEST:: SOT 166825 SOS 105349 HAS SOPS 105349 HAS SOUS 77139 HAS SOUPS 77139 WITH SCORE 77244.349
AT ITER 824 NEW BEST:: SOT 166785 SOS 105309 HAS SOPS 105309 HAS SOUS 77099 HAS SOUPS 77099 WITH SCORE 77204.309
AT ITER 829 NEW BEST:: SOT 166781 SOS 105277 HAS SOPS 105277 HAS SOUS 77095 HAS SOUPS 77095 WITH SCORE 77200.277
AT ITER 847 NEW BEST:: SOT 166661 SOS 105127 HAS SOPS 105127 HAS SOUS 76853 HAS SOUPS 76853 WITH SCORE 76958.127
AT ITER 853 NEW BEST:: SOT 166630 SOS 105031 HAS SOPS 105031 HAS SOUS 76715 HAS SOUPS 76715 WITH SCORE 76820.031
AT ITER 862 NEW BEST:: SOT 166456 SOS 104632 HAS SOPS 104632 HAS SOUS 76316 HAS SOUPS 76316 WITH SCORE 76420.632
AT ITER 873 NEW BEST:: SOT 166456 SOS 104678 HAS SOPS 104678 HAS SOUS 76311 HAS SOUPS 76311 WITH SCORE 76415.678
AT ITER 875 NEW BEST:: SOT 166427 SOS 104648 HAS SOPS 104648 HAS SOUS 76229 HAS SOUPS 76229 WITH SCORE 76333.648
AT ITER 881 NEW BEST:: SOT 166102 SOS 103596 HAS SOPS 103596 HAS SOUS 75489 HAS SOUPS 75489 WITH SCORE 75592.596
AT ITER 905 NEW BEST:: SOT 166059 SOS 103385 HAS SOPS 103385 HAS SOUS 75449 HAS SOUPS 75449 WITH SCORE 75552.385
AT ITER 908 NEW BEST:: SOT 166024 SOS 103238 HAS SOPS 103238 HAS SOUS 75303 HAS SOUPS 75303 WITH SCORE 75406.238
AT ITER 910 NEW BEST:: SOT 166024 SOS 103238 HAS SOPS 103238 HAS SOUS 75269 HAS SOUPS 75269 WITH SCORE 75372.238
AT ITER 916 NEW BEST:: SOT 165236 SOS 101719 HAS SOPS 101719 HAS SOUS 74038 HAS SOUPS 74038 WITH SCORE 74139.719
AT ITER 922 NEW BEST:: SOT 165312 SOS 101753 HAS SOPS 101753 HAS SOUS 73967 HAS SOUPS 73967 WITH SCORE 74068.753
AT ITER 933 NEW BEST:: SOT 165290 SOS 101601 HAS SOPS 101601 HAS SOUS 73901 HAS SOUPS 73901 WITH SCORE 74002.601
AT ITER 937 NEW BEST:: SOT 165225 SOS 101439 HAS SOPS 101439 HAS SOUS 73822 HAS SOUPS 73822 WITH SCORE 73923.439
AT ITER 938 NEW BEST:: SOT 165211 SOS 101322 HAS SOPS 101322 HAS SOUS 73797 HAS SOUPS 73797 WITH SCORE 73898.322
AT ITER 941 NEW BEST:: SOT 165211 SOS 101122 HAS SOPS 101122 HAS SOUS 73733 HAS SOUPS 73733 WITH SCORE 73834.122
AT ITER 948 NEW BEST:: SOT 165211 SOS 100898 HAS SOPS 100898 HAS SOUS 73686 HAS SOUPS 73686 WITH SCORE 73786.898
AT ITER 954 NEW BEST:: SOT 165020 SOS 100090 HAS SOPS 100090 HAS SOUS 73563 HAS SOUPS 73563 WITH SCORE 73663.09
AT ITER 965 NEW BEST:: SOT 164866 SOS 99791 HAS SOPS 99791 HAS SOUS 73020 HAS SOUPS 73020 WITH SCORE 73119.791
AT ITER 967 NEW BEST:: SOT 164946 SOS 100043 HAS SOPS 100043 HAS SOUS 72990 HAS SOUPS 72990 WITH SCORE 73090.043
AT ITER 969 NEW BEST:: SOT 164925 SOS 99995 HAS SOPS 99995 HAS SOUS 72951 HAS SOUPS 72951 WITH SCORE 73050.995
AT ITER 976 NEW BEST:: SOT 164917 SOS 99987 HAS SOPS 99987 HAS SOUS 72938 HAS SOUPS 72938 WITH SCORE 73037.987
AT ITER 980 NEW BEST:: SOT 164916 SOS 99976 HAS SOPS 99976 HAS SOUS 72924 HAS SOUPS 72924 WITH SCORE 73023.976
AT ITER 994 NEW BEST:: SOT 164761 SOS 99605 HAS SOPS 99605 HAS SOUS 72498 HAS SOUPS 72498 WITH SCORE 72597.605
AT ITER 1000 NEW BEST:: SOT 164761 SOS 99563 HAS SOPS 99563 HAS SOUS 72498 HAS SOUPS 72498 WITH SCORE 72597.563
AT ITER 1014 NEW BEST:: SOT 164757 SOS 99513 HAS SOPS 99513 HAS SOUS 72425 HAS SOUPS 72425 WITH SCORE 72524.513
AT ITER 1019 NEW BEST:: SOT 164772 SOS 99154 HAS SOPS 99154 HAS SOUS 72396 HAS SOUPS 72396 WITH SCORE 72495.154
AT ITER 1020 NEW BEST:: SOT 164664 SOS 99021 HAS SOPS 99021 HAS SOUS 72275 HAS SOUPS 72275 WITH SCORE 72374.021
AT ITER 1023 NEW BEST:: SOT 164583 SOS 98579 HAS SOPS 98579 HAS SOUS 72134 HAS SOUPS 72134 WITH SCORE 72232.579
AT ITER 1024 NEW BEST:: SOT 164599 SOS 98485 HAS SOPS 98485 HAS SOUS 71766 HAS SOUPS 71766 WITH SCORE 71864.485
AT ITER 1025 NEW BEST:: SOT 164582 SOS 98402 HAS SOPS 98402 HAS SOUS 71760 HAS SOUPS 71760 WITH SCORE 71858.402
AT ITER 1027 NEW BEST:: SOT 164504 SOS 98176 HAS SOPS 98176 HAS SOUS 71522 HAS SOUPS 71522 WITH SCORE 71620.176
AT ITER 1037 NEW BEST:: SOT 164501 SOS 98173 HAS SOPS 98173 HAS SOUS 71519 HAS SOUPS 71519 WITH SCORE 71617.173
AT ITER 1044 NEW BEST:: SOT 164499 SOS 98167 HAS SOPS 98167 HAS SOUS 71514 HAS SOUPS 71514 WITH SCORE 71612.167
AT ITER 1048 NEW BEST:: SOT 164485 SOS 98083 HAS SOPS 98083 HAS SOUS 71472 HAS SOUPS 71472 WITH SCORE 71570.083
AT ITER 1049 NEW BEST:: SOT 164478 SOS 97846 HAS SOPS 97846 HAS SOUS 71471 HAS SOUPS 71471 WITH SCORE 71568.846
AT ITER 1052 NEW BEST:: SOT 164418 SOS 97629 HAS SOPS 97629 HAS SOUS 71319 HAS SOUPS 71319 WITH SCORE 71416.629
AT ITER 1060 NEW BEST:: SOT 164421 SOS 97340 HAS SOPS 97340 HAS SOUS 71233 HAS SOUPS 71233 WITH SCORE 71330.34
AT ITER 1062 NEW BEST:: SOT 164419 SOS 97338 HAS SOPS 97338 HAS SOUS 71229 HAS SOUPS 71229 WITH SCORE 71326.338
AT ITER 1076 NEW BEST:: SOT 164308 SOS 97379 HAS SOPS 97379 HAS SOUS 71219 HAS SOUPS 71219 WITH SCORE 71316.379
AT ITER 1077 NEW BEST:: SOT 164114 SOS 97498 HAS SOPS 97498 HAS SOUS 70943 HAS SOUPS 70943 WITH SCORE 71040.498
AT ITER 1088 NEW BEST:: SOT 163579 SOS 97098 HAS SOPS 97098 HAS SOUS 70720 HAS SOUPS 70720 WITH SCORE 70817.098
AT ITER 1103 NEW BEST:: SOT 163497 SOS 97000 HAS SOPS 97000 HAS SOUS 70622 HAS SOUPS 70622 WITH SCORE 70719.0
AT ITER 1111 NEW BEST:: SOT 163553 SOS 97056 HAS SOPS 97056 HAS SOUS 70616 HAS SOUPS 70616 WITH SCORE 70713.056
AT ITER 1114 NEW BEST:: SOT 163492 SOS 96678 HAS SOPS 96678 HAS SOUS 70567 HAS SOUPS 70567 WITH SCORE 70663.678
AT ITER 1121 NEW BEST:: SOT 163472 SOS 96638 HAS SOPS 96638 HAS SOUS 70560 HAS SOUPS 70560 WITH SCORE 70656.638
AT ITER 1127 NEW BEST:: SOT 163346 SOS 96512 HAS SOPS 96512 HAS SOUS 70402 HAS SOUPS 70402 WITH SCORE 70498.512
AT ITER 1131 NEW BEST:: SOT 163346 SOS 96482 HAS SOPS 96482 HAS SOUS 70402 HAS SOUPS 70402 WITH SCORE 70498.482
AT ITER 1133 NEW BEST:: SOT 163292 SOS 96428 HAS SOPS 96428 HAS SOUS 70348 HAS SOUPS 70348 WITH SCORE 70444.428
AT ITER 1162 NEW BEST:: SOT 163236 SOS 96434 HAS SOPS 96434 HAS SOUS 70201 HAS SOUPS 70201 WITH SCORE 70297.434
AT ITER 1169 NEW BEST:: SOT 163236 SOS 96376 HAS SOPS 96376 HAS SOUS 70194 HAS SOUPS 70194 WITH SCORE 70290.376
AT ITER 1182 NEW BEST:: SOT 163257 SOS 96397 HAS SOPS 96397 HAS SOUS 70185 HAS SOUPS 70185 WITH SCORE 70281.397
AT ITER 1188 NEW BEST:: SOT 163248 SOS 96327 HAS SOPS 96327 HAS SOUS 70157 HAS SOUPS 70157 WITH SCORE 70253.327
AT ITER 1193 NEW BEST:: SOT 163248 SOS 96327 HAS SOPS 96327 HAS SOUS 70153 HAS SOUPS 70153 WITH SCORE 70249.327
AT ITER 1197 NEW BEST:: SOT 163236 SOS 96315 HAS SOPS 96315 HAS SOUS 70141 HAS SOUPS 70141 WITH SCORE 70237.315
AT ITER 1199 NEW BEST:: SOT 163236 SOS 96307 HAS SOPS 96307 HAS SOUS 70141 HAS SOUPS 70141 WITH SCORE 70237.307
AT ITER 1200 NEW BEST:: SOT 163247 SOS 96212 HAS SOPS 96212 HAS SOUS 70118 HAS SOUPS 70118 WITH SCORE 70214.212
AT ITER 1201 NEW BEST:: SOT 163312 SOS 96163 HAS SOPS 96163 HAS SOUS 70028 HAS SOUPS 70028 WITH SCORE 70124.163
AT ITER 1205 NEW BEST:: SOT 163332 SOS 96098 HAS SOPS 96098 HAS SOUS 69953 HAS SOUPS 69953 WITH SCORE 70049.098
AT ITER 1217 NEW BEST:: SOT 163328 SOS 96090 HAS SOPS 96090 HAS SOUS 69943 HAS SOUPS 69943 WITH SCORE 70039.09
AT ITER 1223 NEW BEST:: SOT 163328 SOS 95995 HAS SOPS 95995 HAS SOUS 69928 HAS SOUPS 69928 WITH SCORE 70023.995
AT ITER 1229 NEW BEST:: SOT 163268 SOS 95935 HAS SOPS 95935 HAS SOUS 69868 HAS SOUPS 69868 WITH SCORE 69963.935
AT ITER 1238 NEW BEST:: SOT 163034 SOS 95701 HAS SOPS 95701 HAS SOUS 69684 HAS SOUPS 69684 WITH SCORE 69779.701
AT ITER 1240 NEW BEST:: SOT 163442 SOS 95525 HAS SOPS 95525 HAS SOUS 69658 HAS SOUPS 69658 WITH SCORE 69753.525
AT ITER 1241 NEW BEST:: SOT 163348 SOS 95677 HAS SOPS 95677 HAS SOUS 69636 HAS SOUPS 69636 WITH SCORE 69731.677
AT ITER 1242 NEW BEST:: SOT 163115 SOS 95444 HAS SOPS 95444 HAS SOUS 69403 HAS SOUPS 69403 WITH SCORE 69498.444
AT ITER 1243 NEW BEST:: SOT 163171 SOS 95387 HAS SOPS 95387 HAS SOUS 69214 HAS SOUPS 69214 WITH SCORE 69309.387
AT ITER 1244 NEW BEST:: SOT 163171 SOS 95578 HAS SOPS 95578 HAS SOUS 69197 HAS SOUPS 69197 WITH SCORE 69292.578
AT ITER 1248 NEW BEST:: SOT 163061 SOS 95604 HAS SOPS 95604 HAS SOUS 68969 HAS SOUPS 68969 WITH SCORE 69064.604
AT ITER 1253 NEW BEST:: SOT 162992 SOS 95741 HAS SOPS 95741 HAS SOUS 68911 HAS SOUPS 68911 WITH SCORE 69006.741
AT ITER 1256 NEW BEST:: SOT 162767 SOS 95282 HAS SOPS 95282 HAS SOUS 68257 HAS SOUPS 68257 WITH SCORE 68352.282
AT ITER 1259 NEW BEST:: SOT 162608 SOS 93948 HAS SOPS 93948 HAS SOUS 68090 HAS SOUPS 68090 WITH SCORE 68183.948
AT ITER 1265 NEW BEST:: SOT 162599 SOS 93946 HAS SOPS 93946 HAS SOUS 68085 HAS SOUPS 68085 WITH SCORE 68178.946
AT ITER 1274 NEW BEST:: SOT 162609 SOS 94716 HAS SOPS 94716 HAS SOUS 67464 HAS SOUPS 67464 WITH SCORE 67558.716
AT ITER 1281 NEW BEST:: SOT 162607 SOS 94714 HAS SOPS 94714 HAS SOUS 67462 HAS SOUPS 67462 WITH SCORE 67556.714
AT ITER 1290 NEW BEST:: SOT 162632 SOS 94611 HAS SOPS 94611 HAS SOUS 67438 HAS SOUPS 67438 WITH SCORE 67532.611
AT ITER 1295 NEW BEST:: SOT 162632 SOS 94575 HAS SOPS 94575 HAS SOUS 67428 HAS SOUPS 67428 WITH SCORE 67522.575
AT ITER 1296 NEW BEST:: SOT 162624 SOS 94489 HAS SOPS 94489 HAS SOUS 67418 HAS SOUPS 67418 WITH SCORE 67512.489
AT ITER 1301 NEW BEST:: SOT 162363 SOS 93775 HAS SOPS 93775 HAS SOUS 66897 HAS SOUPS 66897 WITH SCORE 66990.775
AT ITER 1305 NEW BEST:: SOT 162448 SOS 93833 HAS SOPS 93833 HAS SOUS 66891 HAS SOUPS 66891 WITH SCORE 66984.833
AT ITER 1307 NEW BEST:: SOT 162282 SOS 93667 HAS SOPS 93667 HAS SOUS 66673 HAS SOUPS 66673 WITH SCORE 66766.667
AT ITER 1313 NEW BEST:: SOT 162177 SOS 93553 HAS SOPS 93553 HAS SOUS 66559 HAS SOUPS 66559 WITH SCORE 66652.553
AT ITER 1314 NEW BEST:: SOT 162230 SOS 93376 HAS SOPS 93376 HAS SOUS 66367 HAS SOUPS 66367 WITH SCORE 66460.376
AT ITER 1321 NEW BEST:: SOT 162187 SOS 93249 HAS SOPS 93249 HAS SOUS 66332 HAS SOUPS 66332 WITH SCORE 66425.249
AT ITER 1347 NEW BEST:: SOT 162143 SOS 93235 HAS SOPS 93235 HAS SOUS 66223 HAS SOUPS 66223 WITH SCORE 66316.235
AT ITER 1359 NEW BEST:: SOT 162078 SOS 93350 HAS SOPS 93350 HAS SOUS 66158 HAS SOUPS 66158 WITH SCORE 66251.35
AT ITER 1360 NEW BEST:: SOT 162073 SOS 93303 HAS SOPS 93303 HAS SOUS 66133 HAS SOUPS 66133 WITH SCORE 66226.303
AT ITER 1362 NEW BEST:: SOT 162110 SOS 94341 HAS SOPS 94341 HAS SOUS 66068 HAS SOUPS 66068 WITH SCORE 66162.341
AT ITER 1367 NEW BEST:: SOT 162157 SOS 94318 HAS SOPS 94318 HAS SOUS 66045 HAS SOUPS 66045 WITH SCORE 66139.318
AT ITER 1377 NEW BEST:: SOT 162049 SOS 94210 HAS SOPS 94210 HAS SOUS 65937 HAS SOUPS 65937 WITH SCORE 66031.21
AT ITER 1381 NEW BEST:: SOT 161529 SOS 93501 HAS SOPS 93501 HAS SOUS 65271 HAS SOUPS 65271 WITH SCORE 65364.501
AT ITER 1387 NEW BEST:: SOT 161528 SOS 93500 HAS SOPS 93500 HAS SOUS 65270 HAS SOUPS 65270 WITH SCORE 65363.5
AT ITER 1389 NEW BEST:: SOT 161525 SOS 93497 HAS SOPS 93497 HAS SOUS 65264 HAS SOUPS 65264 WITH SCORE 65357.497
AT ITER 1394 NEW BEST:: SOT 161419 SOS 93391 HAS SOPS 93391 HAS SOUS 65158 HAS SOUPS 65158 WITH SCORE 65251.391
AT ITER 1399 NEW BEST:: SOT 161394 SOS 93366 HAS SOPS 93366 HAS SOUS 65133 HAS SOUPS 65133 WITH SCORE 65226.366
AT ITER 1400 NEW BEST:: SOT 161294 SOS 93266 HAS SOPS 93266 HAS SOUS 64993 HAS SOUPS 64993 WITH SCORE 65086.266
AT ITER 1407 NEW BEST:: SOT 161289 SOS 93260 HAS SOPS 93260 HAS SOUS 64992 HAS SOUPS 64992 WITH SCORE 65085.26
AT ITER 1410 NEW BEST:: SOT 161289 SOS 93229 HAS SOPS 93229 HAS SOUS 64925 HAS SOUPS 64925 WITH SCORE 65018.229
AT ITER 1424 NEW BEST:: SOT 161231 SOS 93228 HAS SOPS 93228 HAS SOUS 64839 HAS SOUPS 64839 WITH SCORE 64932.228
AT ITER 1427 NEW BEST:: SOT 161210 SOS 93245 HAS SOPS 93245 HAS SOUS 64817 HAS SOUPS 64817 WITH SCORE 64910.245
AT ITER 1437 NEW BEST:: SOT 161114 SOS 93149 HAS SOPS 93149 HAS SOUS 64718 HAS SOUPS 64718 WITH SCORE 64811.149
AT ITER 1444 NEW BEST:: SOT 160757 SOS 92741 HAS SOPS 92741 HAS SOUS 64310 HAS SOUPS 64310 WITH SCORE 64402.741
AT ITER 1447 NEW BEST:: SOT 160679 SOS 92541 HAS SOPS 92541 HAS SOUS 64109 HAS SOUPS 64109 WITH SCORE 64201.541
AT ITER 1449 NEW BEST:: SOT 160656 SOS 92379 HAS SOPS 92379 HAS SOUS 63987 HAS SOUPS 63987 WITH SCORE 64079.379
AT ITER 1457 NEW BEST:: SOT 160486 SOS 92061 HAS SOPS 92061 HAS SOUS 63822 HAS SOUPS 63822 WITH SCORE 63914.061
AT ITER 1476 NEW BEST:: SOT 160509 SOS 92038 HAS SOPS 92038 HAS SOUS 63776 HAS SOUPS 63776 WITH SCORE 63868.038
AT ITER 1478 NEW BEST:: SOT 160495 SOS 92024 HAS SOPS 92024 HAS SOUS 63762 HAS SOUPS 63762 WITH SCORE 63854.024
AT ITER 1487 NEW BEST:: SOT 160477 SOS 91972 HAS SOPS 91972 HAS SOUS 63753 HAS SOUPS 63753 WITH SCORE 63844.972
AT ITER 1502 NEW BEST:: SOT 160457 SOS 91862 HAS SOPS 91862 HAS SOUS 63713 HAS SOUPS 63713 WITH SCORE 63804.862
AT ITER 1505 NEW BEST:: SOT 160467 SOS 91846 HAS SOPS 91846 HAS SOUS 63697 HAS SOUPS 63697 WITH SCORE 63788.846
AT ITER 1510 NEW BEST:: SOT 160468 SOS 91921 HAS SOPS 91921 HAS SOUS 63693 HAS SOUPS 63693 WITH SCORE 63784.921
AT ITER 1513 NEW BEST:: SOT 160385 SOS 91664 HAS SOPS 91664 HAS SOUS 63558 HAS SOUPS 63558 WITH SCORE 63649.664
AT ITER 1514 NEW BEST:: SOT 160196 SOS 90795 HAS SOPS 90795 HAS SOUS 63376 HAS SOUPS 63376 WITH SCORE 63466.795
AT ITER 1515 NEW BEST:: SOT 160194 SOS 90793 HAS SOPS 90793 HAS SOUS 63373 HAS SOUPS 63373 WITH SCORE 63463.793
AT ITER 1517 NEW BEST:: SOT 160212 SOS 90807 HAS SOPS 90807 HAS SOUS 63260 HAS SOUPS 63260 WITH SCORE 63350.807
AT ITER 1534 NEW BEST:: SOT 160209 SOS 90789 HAS SOPS 90789 HAS SOUS 63254 HAS SOUPS 63254 WITH SCORE 63344.789
AT ITER 1540 NEW BEST:: SOT 160172 SOS 90752 HAS SOPS 90752 HAS SOUS 63248 HAS SOUPS 63248 WITH SCORE 63338.752
AT ITER 1542 NEW BEST:: SOT 160193 SOS 90779 HAS SOPS 90779 HAS SOUS 63163 HAS SOUPS 63163 WITH SCORE 63253.779
AT ITER 1546 NEW BEST:: SOT 160193 SOS 90699 HAS SOPS 90699 HAS SOUS 63069 HAS SOUPS 63069 WITH SCORE 63159.699
AT ITER 1550 NEW BEST:: SOT 160251 SOS 90757 HAS SOPS 90757 HAS SOUS 63063 HAS SOUPS 63063 WITH SCORE 63153.757
AT ITER 1559 NEW BEST:: SOT 160251 SOS 90627 HAS SOPS 90627 HAS SOUS 63011 HAS SOUPS 63011 WITH SCORE 63101.627
AT ITER 1562 NEW BEST:: SOT 160213 SOS 90589 HAS SOPS 90589 HAS SOUS 62978 HAS SOUPS 62978 WITH SCORE 63068.589
AT ITER 1567 NEW BEST:: SOT 160188 SOS 90540 HAS SOPS 90540 HAS SOUS 62947 HAS SOUPS 62947 WITH SCORE 63037.54
AT ITER 1569 NEW BEST:: SOT 160188 SOS 90667 HAS SOPS 90667 HAS SOUS 62871 HAS SOUPS 62871 WITH SCORE 62961.667
AT ITER 1572 NEW BEST:: SOT 160076 SOS 90100 HAS SOPS 90100 HAS SOUS 62400 HAS SOUPS 62400 WITH SCORE 62490.1
AT ITER 1586 NEW BEST:: SOT 160076 SOS 89919 HAS SOPS 89919 HAS SOUS 62217 HAS SOUPS 62217 WITH SCORE 62306.919
AT ITER 1589 NEW BEST:: SOT 159960 SOS 89453 HAS SOPS 89453 HAS SOUS 61790 HAS SOUPS 61790 WITH SCORE 61879.453
AT ITER 1597 NEW BEST:: SOT 159963 SOS 89390 HAS SOPS 89390 HAS SOUS 61790 HAS SOUPS 61790 WITH SCORE 61879.39
AT ITER 1604 NEW BEST:: SOT 159814 SOS 89241 HAS SOPS 89241 HAS SOUS 61638 HAS SOUPS 61638 WITH SCORE 61727.241
AT ITER 1622 NEW BEST:: SOT 159814 SOS 89238 HAS SOPS 89238 HAS SOUS 61636 HAS SOUPS 61636 WITH SCORE 61725.238
AT ITER 1631 NEW BEST:: SOT 159685 SOS 88965 HAS SOPS 88965 HAS SOUS 61397 HAS SOUPS 61397 WITH SCORE 61485.965
AT ITER 1649 NEW BEST:: SOT 159689 SOS 88978 HAS SOPS 88978 HAS SOUS 61382 HAS SOUPS 61382 WITH SCORE 61470.978
AT ITER 1657 NEW BEST:: SOT 159568 SOS 88203 HAS SOPS 88203 HAS SOUS 61250 HAS SOUPS 61250 WITH SCORE 61338.203
AT ITER 1661 NEW BEST:: SOT 159554 SOS 88189 HAS SOPS 88189 HAS SOUS 61243 HAS SOUPS 61243 WITH SCORE 61331.189
AT ITER 1662 NEW BEST:: SOT 159247 SOS 87882 HAS SOPS 87882 HAS SOUS 60936 HAS SOUPS 60936 WITH SCORE 61023.882
AT ITER 1663 NEW BEST:: SOT 159205 SOS 87849 HAS SOPS 87849 HAS SOUS 60843 HAS SOUPS 60843 WITH SCORE 60930.849
AT ITER 1664 NEW BEST:: SOT 159205 SOS 87843 HAS SOPS 87843 HAS SOUS 60840 HAS SOUPS 60840 WITH SCORE 60927.843
AT ITER 1675 NEW BEST:: SOT 159082 SOS 87336 HAS SOPS 87336 HAS SOUS 60029 HAS SOUPS 60029 WITH SCORE 60116.336
AT ITER 1676 NEW BEST:: SOT 158915 SOS 87160 HAS SOPS 87160 HAS SOUS 59844 HAS SOUPS 59844 WITH SCORE 59931.16
AT ITER 1686 NEW BEST:: SOT 158843 SOS 87088 HAS SOPS 87088 HAS SOUS 59778 HAS SOUPS 59778 WITH SCORE 59865.088
AT ITER 1691 NEW BEST:: SOT 158737 SOS 86926 HAS SOPS 86926 HAS SOUS 59616 HAS SOUPS 59616 WITH SCORE 59702.926
AT ITER 1693 NEW BEST:: SOT 158666 SOS 86858 HAS SOPS 86858 HAS SOUS 59438 HAS SOUPS 59438 WITH SCORE 59524.858
AT ITER 1698 NEW BEST:: SOT 158715 SOS 86853 HAS SOPS 86853 HAS SOUS 59437 HAS SOUPS 59437 WITH SCORE 59523.853
AT ITER 1705 NEW BEST:: SOT 158715 SOS 86847 HAS SOPS 86847 HAS SOUS 59422 HAS SOUPS 59422 WITH SCORE 59508.847
AT ITER 1710 NEW BEST:: SOT 158578 SOS 86705 HAS SOPS 86705 HAS SOUS 59245 HAS SOUPS 59245 WITH SCORE 59331.705
AT ITER 1713 NEW BEST:: SOT 158578 SOS 86300 HAS SOPS 86300 HAS SOUS 59170 HAS SOUPS 59170 WITH SCORE 59256.3
AT ITER 1729 NEW BEST:: SOT 158581 SOS 86222 HAS SOPS 86222 HAS SOUS 59143 HAS SOUPS 59143 WITH SCORE 59229.222
AT ITER 1732 NEW BEST:: SOT 158517 SOS 86158 HAS SOPS 86158 HAS SOUS 59053 HAS SOUPS 59053 WITH SCORE 59139.158
AT ITER 1733 NEW BEST:: SOT 158517 SOS 86254 HAS SOPS 86254 HAS SOUS 59051 HAS SOUPS 59051 WITH SCORE 59137.254
AT ITER 1750 NEW BEST:: SOT 158447 SOS 86128 HAS SOPS 86128 HAS SOUS 58939 HAS SOUPS 58939 WITH SCORE 59025.128
AT ITER 1760 NEW BEST:: SOT 158439 SOS 86096 HAS SOPS 86096 HAS SOUS 58923 HAS SOUPS 58923 WITH SCORE 59009.096
AT ITER 1769 NEW BEST:: SOT 158343 SOS 85813 HAS SOPS 85813 HAS SOUS 58721 HAS SOUPS 58721 WITH SCORE 58806.813
AT ITER 1778 NEW BEST:: SOT 158343 SOS 85807 HAS SOPS 85807 HAS SOUS 58692 HAS SOUPS 58692 WITH SCORE 58777.807
AT ITER 1779 NEW BEST:: SOT 158338 SOS 85802 HAS SOPS 85802 HAS SOUS 58675 HAS SOUPS 58675 WITH SCORE 58760.802
AT ITER 1780 NEW BEST:: SOT 158247 SOS 85733 HAS SOPS 85733 HAS SOUS 58583 HAS SOUPS 58583 WITH SCORE 58668.733
AT ITER 1791 NEW BEST:: SOT 158098 SOS 85456 HAS SOPS 85456 HAS SOUS 58346 HAS SOUPS 58346 WITH SCORE 58431.456
AT ITER 1794 NEW BEST:: SOT 158098 SOS 85215 HAS SOPS 85215 HAS SOUS 58297 HAS SOUPS 58297 WITH SCORE 58382.215
AT ITER 1797 NEW BEST:: SOT 157962 SOS 85062 HAS SOPS 85062 HAS SOUS 58127 HAS SOUPS 58127 WITH SCORE 58212.062
AT ITER 1801 NEW BEST:: SOT 157962 SOS 85066 HAS SOPS 85066 HAS SOUS 58109 HAS SOUPS 58109 WITH SCORE 58194.066
AT ITER 1809 NEW BEST:: SOT 157958 SOS 85015 HAS SOPS 85015 HAS SOUS 58007 HAS SOUPS 58007 WITH SCORE 58092.015
AT ITER 1824 NEW BEST:: SOT 157941 SOS 84993 HAS SOPS 84993 HAS SOUS 57980 HAS SOUPS 57980 WITH SCORE 58064.993
AT ITER 1832 NEW BEST:: SOT 157942 SOS 84966 HAS SOPS 84966 HAS SOUS 57947 HAS SOUPS 57947 WITH SCORE 58031.966
AT ITER 1837 NEW BEST:: SOT 157946 SOS 84940 HAS SOPS 84940 HAS SOUS 57905 HAS SOUPS 57905 WITH SCORE 57989.94
AT ITER 1848 NEW BEST:: SOT 157942 SOS 84886 HAS SOPS 84886 HAS SOUS 57901 HAS SOUPS 57901 WITH SCORE 57985.886
AT ITER 1867 NEW BEST:: SOT 157972 SOS 84852 HAS SOPS 84852 HAS SOUS 57866 HAS SOUPS 57866 WITH SCORE 57950.852
AT ITER 1870 NEW BEST:: SOT 157971 SOS 84807 HAS SOPS 84807 HAS SOUS 57844 HAS SOUPS 57844 WITH SCORE 57928.807
AT ITER 1871 NEW BEST:: SOT 157919 SOS 84755 HAS SOPS 84755 HAS SOUS 57792 HAS SOUPS 57792 WITH SCORE 57876.755
AT ITER 1877 NEW BEST:: SOT 157698 SOS 84856 HAS SOPS 84856 HAS SOUS 57789 HAS SOUPS 57789 WITH SCORE 57873.856
AT ITER 1882 NEW BEST:: SOT 157710 SOS 84667 HAS SOPS 84667 HAS SOUS 57727 HAS SOUPS 57727 WITH SCORE 57811.667
AT ITER 1891 NEW BEST:: SOT 157668 SOS 84607 HAS SOPS 84607 HAS SOUS 57643 HAS SOUPS 57643 WITH SCORE 57727.607
AT ITER 1895 NEW BEST:: SOT 157600 SOS 84540 HAS SOPS 84540 HAS SOUS 57550 HAS SOUPS 57550 WITH SCORE 57634.54
AT ITER 1899 NEW BEST:: SOT 157614 SOS 84502 HAS SOPS 84502 HAS SOUS 57544 HAS SOUPS 57544 WITH SCORE 57628.502
AT ITER 1902 NEW BEST:: SOT 157614 SOS 84470 HAS SOPS 84470 HAS SOUS 57528 HAS SOUPS 57528 WITH SCORE 57612.47
AT ITER 1903 NEW BEST:: SOT 157534 SOS 84390 HAS SOPS 84390 HAS SOUS 57448 HAS SOUPS 57448 WITH SCORE 57532.39
AT ITER 1915 NEW BEST:: SOT 157344 SOS 84179 HAS SOPS 84179 HAS SOUS 57137 HAS SOUPS 57137 WITH SCORE 57221.179
AT ITER 1917 NEW BEST:: SOT 157329 SOS 84194 HAS SOPS 84194 HAS SOUS 57122 HAS SOUPS 57122 WITH SCORE 57206.194
AT ITER 1923 NEW BEST:: SOT 157337 SOS 84089 HAS SOPS 84089 HAS SOUS 57028 HAS SOUPS 57028 WITH SCORE 57112.089
AT ITER 1925 NEW BEST:: SOT 157352 SOS 84092 HAS SOPS 84092 HAS SOUS 57009 HAS SOUPS 57009 WITH SCORE 57093.092
AT ITER 1926 NEW BEST:: SOT 157106 SOS 83890 HAS SOPS 83890 HAS SOUS 56634 HAS SOUPS 56634 WITH SCORE 56717.89
AT ITER 1935 NEW BEST:: SOT 157068 SOS 83852 HAS SOPS 83852 HAS SOUS 56596 HAS SOUPS 56596 WITH SCORE 56679.852
AT ITER 1936 NEW BEST:: SOT 157059 SOS 83795 HAS SOPS 83795 HAS SOUS 56587 HAS SOUPS 56587 WITH SCORE 56670.795
AT ITER 1944 NEW BEST:: SOT 156858 SOS 83461 HAS SOPS 83461 HAS SOUS 56172 HAS SOUPS 56172 WITH SCORE 56255.461
AT ITER 1949 NEW BEST:: SOT 156842 SOS 83437 HAS SOPS 83437 HAS SOUS 56156 HAS SOUPS 56156 WITH SCORE 56239.437
AT ITER 1953 NEW BEST:: SOT 156891 SOS 82795 HAS SOPS 82795 HAS SOUS 56016 HAS SOUPS 56016 WITH SCORE 56098.795
AT ITER 1964 NEW BEST:: SOT 156846 SOS 82598 HAS SOPS 82598 HAS SOUS 55807 HAS SOUPS 55807 WITH SCORE 55889.598
AT ITER 1965 NEW BEST:: SOT 156859 SOS 82587 HAS SOPS 82587 HAS SOUS 55775 HAS SOUPS 55775 WITH SCORE 55857.587
AT ITER 1966 NEW BEST:: SOT 156833 SOS 82589 HAS SOPS 82589 HAS SOUS 55618 HAS SOUPS 55618 WITH SCORE 55700.589
AT ITER 1979 NEW BEST:: SOT 156833 SOS 82574 HAS SOPS 82574 HAS SOUS 55609 HAS SOUPS 55609 WITH SCORE 55691.574
AT ITER 1984 NEW BEST:: SOT 156884 SOS 82411 HAS SOPS 82411 HAS SOUS 55532 HAS SOUPS 55532 WITH SCORE 55614.411
AT ITER 1991 NEW BEST:: SOT 156746 SOS 82273 HAS SOPS 82273 HAS SOUS 55341 HAS SOUPS 55341 WITH SCORE 55423.273
AT ITER 1998 NEW BEST:: SOT 156730 SOS 82261 HAS SOPS 82261 HAS SOUS 55321 HAS SOUPS 55321 WITH SCORE 55403.261
AT ITER 2003 NEW BEST:: SOT 156704 SOS 82087 HAS SOPS 82087 HAS SOUS 55167 HAS SOUPS 55167 WITH SCORE 55249.087
AT ITER 2010 NEW BEST:: SOT 156704 SOS 82094 HAS SOPS 82094 HAS SOUS 55085 HAS SOUPS 55085 WITH SCORE 55167.094
AT ITER 2011 NEW BEST:: SOT 156668 SOS 82058 HAS SOPS 82058 HAS SOUS 55062 HAS SOUPS 55062 WITH SCORE 55144.058
AT ITER 2046 NEW BEST:: SOT 156707 SOS 82018 HAS SOPS 82018 HAS SOUS 55043 HAS SOUPS 55043 WITH SCORE 55125.018
AT ITER 2053 NEW BEST:: SOT 156707 SOS 82011 HAS SOPS 82011 HAS SOUS 55043 HAS SOUPS 55043 WITH SCORE 55125.011
AT ITER 2061 NEW BEST:: SOT 156707 SOS 82007 HAS SOPS 82007 HAS SOUS 55043 HAS SOUPS 55043 WITH SCORE 55125.007
AT ITER 2062 NEW BEST:: SOT 156661 SOS 81937 HAS SOPS 81937 HAS SOUS 54980 HAS SOUPS 54980 WITH SCORE 55061.937
AT ITER 2064 NEW BEST:: SOT 156660 SOS 81932 HAS SOPS 81932 HAS SOUS 54971 HAS SOUPS 54971 WITH SCORE 55052.932
AT ITER 2067 NEW BEST:: SOT 156675 SOS 81893 HAS SOPS 81893 HAS SOUS 54744 HAS SOUPS 54744 WITH SCORE 54825.893
AT ITER 2077 NEW BEST:: SOT 156229 SOS 81138 HAS SOPS 81138 HAS SOUS 54108 HAS SOUPS 54108 WITH SCORE 54189.138
AT ITER 2081 NEW BEST:: SOT 156229 SOS 81279 HAS SOPS 81279 HAS SOUS 54073 HAS SOUPS 54073 WITH SCORE 54154.279
AT ITER 2084 NEW BEST:: SOT 156205 SOS 81173 HAS SOPS 81173 HAS SOUS 54023 HAS SOUPS 54023 WITH SCORE 54104.173
AT ITER 2094 NEW BEST:: SOT 156205 SOS 81110 HAS SOPS 81110 HAS SOUS 53955 HAS SOUPS 53955 WITH SCORE 54036.11
AT ITER 2100 NEW BEST:: SOT 156196 SOS 81101 HAS SOPS 81101 HAS SOUS 53946 HAS SOUPS 53946 WITH SCORE 54027.101
AT ITER 2108 NEW BEST:: SOT 156045 SOS 80884 HAS SOPS 80884 HAS SOUS 53641 HAS SOUPS 53641 WITH SCORE 53721.884
AT ITER 2113 NEW BEST:: SOT 156045 SOS 80789 HAS SOPS 80789 HAS SOUS 53556 HAS SOUPS 53556 WITH SCORE 53636.789
AT ITER 2114 NEW BEST:: SOT 156020 SOS 80746 HAS SOPS 80746 HAS SOUS 53534 HAS SOUPS 53534 WITH SCORE 53614.746
AT ITER 2120 NEW BEST:: SOT 156020 SOS 80692 HAS SOPS 80692 HAS SOUS 53520 HAS SOUPS 53520 WITH SCORE 53600.692
AT ITER 2123 NEW BEST:: SOT 156082 SOS 80617 HAS SOPS 80617 HAS SOUS 53517 HAS SOUPS 53517 WITH SCORE 53597.617
AT ITER 2124 NEW BEST:: SOT 155570 SOS 80081 HAS SOPS 80081 HAS SOUS 52978 HAS SOUPS 52978 WITH SCORE 53058.081
AT ITER 2132 NEW BEST:: SOT 155554 SOS 80065 HAS SOPS 80065 HAS SOUS 52970 HAS SOUPS 52970 WITH SCORE 53050.065
AT ITER 2133 NEW BEST:: SOT 155540 SOS 80101 HAS SOPS 80101 HAS SOUS 52952 HAS SOUPS 52952 WITH SCORE 53032.101
AT ITER 2134 NEW BEST:: SOT 155501 SOS 80062 HAS SOPS 80062 HAS SOUS 52950 HAS SOUPS 52950 WITH SCORE 53030.062
AT ITER 2138 NEW BEST:: SOT 155501 SOS 79986 HAS SOPS 79986 HAS SOUS 52946 HAS SOUPS 52946 WITH SCORE 53025.986
AT ITER 2140 NEW BEST:: SOT 155321 SOS 79721 HAS SOPS 79721 HAS SOUS 52724 HAS SOUPS 52724 WITH SCORE 52803.721
AT ITER 2143 NEW BEST:: SOT 155321 SOS 79615 HAS SOPS 79615 HAS SOUS 52671 HAS SOUPS 52671 WITH SCORE 52750.615
AT ITER 2145 NEW BEST:: SOT 155333 SOS 79343 HAS SOPS 79343 HAS SOUS 52543 HAS SOUPS 52543 WITH SCORE 52622.343
AT ITER 2162 NEW BEST:: SOT 155320 SOS 79317 HAS SOPS 79317 HAS SOUS 52517 HAS SOUPS 52517 WITH SCORE 52596.317
AT ITER 2167 NEW BEST:: SOT 155270 SOS 79247 HAS SOPS 79247 HAS SOUS 52456 HAS SOUPS 52456 WITH SCORE 52535.247
AT ITER 2185 NEW BEST:: SOT 155264 SOS 79235 HAS SOPS 79235 HAS SOUS 52447 HAS SOUPS 52447 WITH SCORE 52526.235
AT ITER 2188 NEW BEST:: SOT 155122 SOS 79015 HAS SOPS 79015 HAS SOUS 52182 HAS SOUPS 52182 WITH SCORE 52261.015
AT ITER 2189 NEW BEST:: SOT 155013 SOS 78919 HAS SOPS 78919 HAS SOUS 52021 HAS SOUPS 52021 WITH SCORE 52099.919
AT ITER 2195 NEW BEST:: SOT 154996 SOS 78902 HAS SOPS 78902 HAS SOUS 52004 HAS SOUPS 52004 WITH SCORE 52082.902
AT ITER 2197 NEW BEST:: SOT 154996 SOS 78899 HAS SOPS 78899 HAS SOUS 52004 HAS SOUPS 52004 WITH SCORE 52082.899
AT ITER 2210 NEW BEST:: SOT 154948 SOS 78794 HAS SOPS 78794 HAS SOUS 51869 HAS SOUPS 51869 WITH SCORE 51947.794
AT ITER 2218 NEW BEST:: SOT 154909 SOS 78755 HAS SOPS 78755 HAS SOUS 51830 HAS SOUPS 51830 WITH SCORE 51908.755
AT ITER 2251 NEW BEST:: SOT 154873 SOS 78605 HAS SOPS 78605 HAS SOUS 51682 HAS SOUPS 51682 WITH SCORE 51760.605
AT ITER 2265 NEW BEST:: SOT 154849 SOS 78731 HAS SOPS 78731 HAS SOUS 51663 HAS SOUPS 51663 WITH SCORE 51741.731
AT ITER 2266 NEW BEST:: SOT 154878 SOS 78673 HAS SOPS 78673 HAS SOUS 51545 HAS SOUPS 51545 WITH SCORE 51623.673
AT ITER 2282 NEW BEST:: SOT 154875 SOS 78670 HAS SOPS 78670 HAS SOUS 51537 HAS SOUPS 51537 WITH SCORE 51615.67
AT ITER 2324 NEW BEST:: SOT 154870 SOS 78568 HAS SOPS 78568 HAS SOUS 51486 HAS SOUPS 51486 WITH SCORE 51564.568
AT ITER 2328 NEW BEST:: SOT 154868 SOS 78560 HAS SOPS 78560 HAS SOUS 51480 HAS SOUPS 51480 WITH SCORE 51558.56
AT ITER 2347 NEW BEST:: SOT 154844 SOS 78536 HAS SOPS 78536 HAS SOUS 51456 HAS SOUPS 51456 WITH SCORE 51534.536
AT ITER 2362 NEW BEST:: SOT 154615 SOS 77746 HAS SOPS 77746 HAS SOUS 51135 HAS SOUPS 51135 WITH SCORE 51212.746
AT ITER 2366 NEW BEST:: SOT 154521 SOS 77652 HAS SOPS 77652 HAS SOUS 51041 HAS SOUPS 51041 WITH SCORE 51118.652
AT ITER 2385 NEW BEST:: SOT 154558 SOS 77664 HAS SOPS 77664 HAS SOUS 51017 HAS SOUPS 51017 WITH SCORE 51094.664
AT ITER 2391 NEW BEST:: SOT 154419 SOS 77556 HAS SOPS 77556 HAS SOUS 51010 HAS SOUPS 51010 WITH SCORE 51087.556
AT ITER 2392 NEW BEST:: SOT 153668 SOS 76343 HAS SOPS 76343 HAS SOUS 49950 HAS SOUPS 49950 WITH SCORE 50026.343
AT ITER 2406 NEW BEST:: SOT 153658 SOS 76331 HAS SOPS 76331 HAS SOUS 49930 HAS SOUPS 49930 WITH SCORE 50006.331
AT ITER 2410 NEW BEST:: SOT 153639 SOS 76277 HAS SOPS 76277 HAS SOUS 49736 HAS SOUPS 49736 WITH SCORE 49812.277
AT ITER 2417 NEW BEST:: SOT 153065 SOS 75703 HAS SOPS 75703 HAS SOUS 49064 HAS SOUPS 49064 WITH SCORE 49139.703
AT ITER 2432 NEW BEST:: SOT 153012 SOS 75640 HAS SOPS 75640 HAS SOUS 48958 HAS SOUPS 48958 WITH SCORE 49033.64
AT ITER 2455 NEW BEST:: SOT 152980 SOS 75508 HAS SOPS 75508 HAS SOUS 48878 HAS SOUPS 48878 WITH SCORE 48953.508
AT ITER 2462 NEW BEST:: SOT 152944 SOS 75496 HAS SOPS 75496 HAS SOUS 48858 HAS SOUPS 48858 WITH SCORE 48933.496
AT ITER 2463 NEW BEST:: SOT 152653 SOS 75205 HAS SOPS 75205 HAS SOUS 48378 HAS SOUPS 48378 WITH SCORE 48453.205
AT ITER 2475 NEW BEST:: SOT 152650 SOS 75196 HAS SOPS 75196 HAS SOUS 48372 HAS SOUPS 48372 WITH SCORE 48447.196
AT ITER 2481 NEW BEST:: SOT 152640 SOS 75186 HAS SOPS 75186 HAS SOUS 48362 HAS SOUPS 48362 WITH SCORE 48437.186
AT ITER 2490 NEW BEST:: SOT 152632 SOS 75170 HAS SOPS 75170 HAS SOUS 48349 HAS SOUPS 48349 WITH SCORE 48424.17
AT ITER 2519 NEW BEST:: SOT 152632 SOS 75166 HAS SOPS 75166 HAS SOUS 48347 HAS SOUPS 48347 WITH SCORE 48422.166
AT ITER 2535 NEW BEST:: SOT 152632 SOS 75069 HAS SOPS 75069 HAS SOUS 48308 HAS SOUPS 48308 WITH SCORE 48383.069
AT ITER 2539 NEW BEST:: SOT 152630 SOS 75032 HAS SOPS 75032 HAS SOUS 48277 HAS SOUPS 48277 WITH SCORE 48352.032
AT ITER 2543 NEW BEST:: SOT 152533 SOS 74760 HAS SOPS 74760 HAS SOUS 48174 HAS SOUPS 48174 WITH SCORE 48248.76
AT ITER 2545 NEW BEST:: SOT 152517 SOS 74736 HAS SOPS 74736 HAS SOUS 48126 HAS SOUPS 48126 WITH SCORE 48200.736
AT ITER 2555 NEW BEST:: SOT 152557 SOS 74627 HAS SOPS 74627 HAS SOUS 48078 HAS SOUPS 48078 WITH SCORE 48152.627
AT ITER 2564 NEW BEST:: SOT 152540 SOS 74610 HAS SOPS 74610 HAS SOUS 48061 HAS SOUPS 48061 WITH SCORE 48135.61
AT ITER 2566 NEW BEST:: SOT 152579 SOS 74518 HAS SOPS 74518 HAS SOUS 48060 HAS SOUPS 48060 WITH SCORE 48134.518
AT ITER 2582 NEW BEST:: SOT 152460 SOS 74349 HAS SOPS 74349 HAS SOUS 47944 HAS SOUPS 47944 WITH SCORE 48018.349
AT ITER 2602 NEW BEST:: SOT 152396 SOS 74285 HAS SOPS 74285 HAS SOUS 47724 HAS SOUPS 47724 WITH SCORE 47798.285
AT ITER 2613 NEW BEST:: SOT 152323 SOS 74212 HAS SOPS 74212 HAS SOUS 47633 HAS SOUPS 47633 WITH SCORE 47707.212
AT ITER 2630 NEW BEST:: SOT 152317 SOS 74208 HAS SOPS 74208 HAS SOUS 47629 HAS SOUPS 47629 WITH SCORE 47703.208
AT ITER 2655 NEW BEST:: SOT 152317 SOS 74186 HAS SOPS 74186 HAS SOUS 47629 HAS SOUPS 47629 WITH SCORE 47703.186
AT ITER 2662 NEW BEST:: SOT 152314 SOS 74183 HAS SOPS 74183 HAS SOUS 47625 HAS SOUPS 47625 WITH SCORE 47699.183
AT ITER 2685 NEW BEST:: SOT 152296 SOS 74159 HAS SOPS 74159 HAS SOUS 47575 HAS SOUPS 47575 WITH SCORE 47649.159
AT ITER 2693 NEW BEST:: SOT 152300 SOS 74140 HAS SOPS 74140 HAS SOUS 47552 HAS SOUPS 47552 WITH SCORE 47626.14
AT ITER 2700 NEW BEST:: SOT 152265 SOS 74105 HAS SOPS 74105 HAS SOUS 47517 HAS SOUPS 47517 WITH SCORE 47591.105
AT ITER 2707 NEW BEST:: SOT 152235 SOS 73923 HAS SOPS 73923 HAS SOUS 47487 HAS SOUPS 47487 WITH SCORE 47560.923
AT ITER 2721 NEW BEST:: SOT 152242 SOS 74026 HAS SOPS 74026 HAS SOUS 47450 HAS SOUPS 47450 WITH SCORE 47524.026
AT ITER 2726 NEW BEST:: SOT 152213 SOS 73926 HAS SOPS 73926 HAS SOUS 47320 HAS SOUPS 47320 WITH SCORE 47393.926
AT ITER 2736 NEW BEST:: SOT 152194 SOS 73898 HAS SOPS 73898 HAS SOUS 47274 HAS SOUPS 47274 WITH SCORE 47347.898
AT ITER 2741 NEW BEST:: SOT 152220 SOS 74042 HAS SOPS 74042 HAS SOUS 47171 HAS SOUPS 47171 WITH SCORE 47245.042
AT ITER 2766 NEW BEST:: SOT 152228 SOS 73954 HAS SOPS 73954 HAS SOUS 47133 HAS SOUPS 47133 WITH SCORE 47206.954
AT ITER 2768 NEW BEST:: SOT 152168 SOS 73894 HAS SOPS 73894 HAS SOUS 47073 HAS SOUPS 47073 WITH SCORE 47146.894
AT ITER 2771 NEW BEST:: SOT 152168 SOS 73842 HAS SOPS 73842 HAS SOUS 47057 HAS SOUPS 47057 WITH SCORE 47130.842
AT ITER 2775 NEW BEST:: SOT 152020 SOS 73683 HAS SOPS 73683 HAS SOUS 46973 HAS SOUPS 46973 WITH SCORE 47046.683
AT ITER 2780 NEW BEST:: SOT 152001 SOS 73664 HAS SOPS 73664 HAS SOUS 46925 HAS SOUPS 46925 WITH SCORE 46998.664
AT ITER 2781 NEW BEST:: SOT 151813 SOS 73476 HAS SOPS 73476 HAS SOUS 46694 HAS SOUPS 46694 WITH SCORE 46767.476
AT ITER 2801 NEW BEST:: SOT 151724 SOS 73105 HAS SOPS 73105 HAS SOUS 46427 HAS SOUPS 46427 WITH SCORE 46500.105
AT ITER 2806 NEW BEST:: SOT 151728 SOS 73095 HAS SOPS 73095 HAS SOUS 46357 HAS SOUPS 46357 WITH SCORE 46430.095
AT ITER 2808 NEW BEST:: SOT 151722 SOS 73089 HAS SOPS 73089 HAS SOUS 46356 HAS SOUPS 46356 WITH SCORE 46429.089
AT ITER 2811 NEW BEST:: SOT 151641 SOS 72975 HAS SOPS 72975 HAS SOUS 46242 HAS SOUPS 46242 WITH SCORE 46314.975
AT ITER 2815 NEW BEST:: SOT 151638 SOS 72975 HAS SOPS 72975 HAS SOUS 46235 HAS SOUPS 46235 WITH SCORE 46307.975
AT ITER 2821 NEW BEST:: SOT 151616 SOS 72958 HAS SOPS 72958 HAS SOUS 46214 HAS SOUPS 46214 WITH SCORE 46286.958
AT ITER 2824 NEW BEST:: SOT 151740 SOS 72758 HAS SOPS 72758 HAS SOUS 46108 HAS SOUPS 46108 WITH SCORE 46180.758
AT ITER 2825 NEW BEST:: SOT 151700 SOS 72718 HAS SOPS 72718 HAS SOUS 46068 HAS SOUPS 46068 WITH SCORE 46140.718
AT ITER 2843 NEW BEST:: SOT 151700 SOS 72986 HAS SOPS 72986 HAS SOUS 46038 HAS SOUPS 46038 WITH SCORE 46110.986
AT ITER 2851 NEW BEST:: SOT 151700 SOS 72960 HAS SOPS 72960 HAS SOUS 46035 HAS SOUPS 46035 WITH SCORE 46107.96
AT ITER 2855 NEW BEST:: SOT 151686 SOS 72943 HAS SOPS 72943 HAS SOUS 46009 HAS SOUPS 46009 WITH SCORE 46081.943
AT ITER 2860 NEW BEST:: SOT 151609 SOS 72532 HAS SOPS 72532 HAS SOUS 45921 HAS SOUPS 45921 WITH SCORE 45993.532
AT ITER 2866 NEW BEST:: SOT 151587 SOS 72488 HAS SOPS 72488 HAS SOUS 45913 HAS SOUPS 45913 WITH SCORE 45985.488
AT ITER 2877 NEW BEST:: SOT 151536 SOS 72481 HAS SOPS 72481 HAS SOUS 45765 HAS SOUPS 45765 WITH SCORE 45837.481
AT ITER 2878 NEW BEST:: SOT 151521 SOS 72457 HAS SOPS 72457 HAS SOUS 45741 HAS SOUPS 45741 WITH SCORE 45813.457
AT ITER 2879 NEW BEST:: SOT 151410 SOS 72303 HAS SOPS 72303 HAS SOUS 45626 HAS SOUPS 45626 WITH SCORE 45698.303
AT ITER 2904 NEW BEST:: SOT 151457 SOS 72297 HAS SOPS 72297 HAS SOUS 45620 HAS SOUPS 45620 WITH SCORE 45692.297
AT ITER 2906 NEW BEST:: SOT 151248 SOS 71994 HAS SOPS 71994 HAS SOUS 45322 HAS SOUPS 45322 WITH SCORE 45393.994
AT ITER 2921 NEW BEST:: SOT 151218 SOS 71950 HAS SOPS 71950 HAS SOUS 45278 HAS SOUPS 45278 WITH SCORE 45349.95
AT ITER 2957 NEW BEST:: SOT 151218 SOS 71878 HAS SOPS 71878 HAS SOUS 45264 HAS SOUPS 45264 WITH SCORE 45335.878
AT ITER 2967 NEW BEST:: SOT 151209 SOS 71869 HAS SOPS 71869 HAS SOUS 45255 HAS SOUPS 45255 WITH SCORE 45326.869
AT ITER 2969 NEW BEST:: SOT 151209 SOS 71613 HAS SOPS 71613 HAS SOUS 45141 HAS SOUPS 45141 WITH SCORE 45212.613
AT ITER 2989 NEW BEST:: SOT 151053 SOS 71418 HAS SOPS 71418 HAS SOUS 44800 HAS SOUPS 44800 WITH SCORE 44871.418
AT ITER 2992 NEW BEST:: SOT 151038 SOS 71403 HAS SOPS 71403 HAS SOUS 44798 HAS SOUPS 44798 WITH SCORE 44869.403
AT ITER 2998 NEW BEST:: SOT 151029 SOS 71386 HAS SOPS 71386 HAS SOUS 44781 HAS SOUPS 44781 WITH SCORE 44852.386
AT ITER 3009 NEW BEST:: SOT 150776 SOS 71039 HAS SOPS 71039 HAS SOUS 44444 HAS SOUPS 44444 WITH SCORE 44515.039
AT ITER 3014 NEW BEST:: SOT 150763 SOS 71004 HAS SOPS 71004 HAS SOUS 44385 HAS SOUPS 44385 WITH SCORE 44456.004
AT ITER 3020 NEW BEST:: SOT 150677 SOS 70612 HAS SOPS 70612 HAS SOUS 44171 HAS SOUPS 44171 WITH SCORE 44241.612
AT ITER 3023 NEW BEST:: SOT 150671 SOS 70576 HAS SOPS 70576 HAS SOUS 44150 HAS SOUPS 44150 WITH SCORE 44220.576
AT ITER 3027 NEW BEST:: SOT 150657 SOS 70569 HAS SOPS 70569 HAS SOUS 44143 HAS SOUPS 44143 WITH SCORE 44213.569
AT ITER 3040 NEW BEST:: SOT 150657 SOS 70441 HAS SOPS 70441 HAS SOUS 44135 HAS SOUPS 44135 WITH SCORE 44205.441
AT ITER 3049 NEW BEST:: SOT 150655 SOS 70370 HAS SOPS 70370 HAS SOUS 44110 HAS SOUPS 44110 WITH SCORE 44180.37
AT ITER 3058 NEW BEST:: SOT 150666 SOS 70334 HAS SOPS 70334 HAS SOUS 44110 HAS SOUPS 44110 WITH SCORE 44180.334
AT ITER 3065 NEW BEST:: SOT 150676 SOS 70374 HAS SOPS 70374 HAS SOUS 44103 HAS SOUPS 44103 WITH SCORE 44173.374
AT ITER 3069 NEW BEST:: SOT 150663 SOS 70373 HAS SOPS 70373 HAS SOUS 44071 HAS SOUPS 44071 WITH SCORE 44141.373
AT ITER 3078 NEW BEST:: SOT 150649 SOS 70359 HAS SOPS 70359 HAS SOUS 44018 HAS SOUPS 44018 WITH SCORE 44088.359
AT ITER 3081 NEW BEST:: SOT 150413 SOS 70123 HAS SOPS 70123 HAS SOUS 43782 HAS SOUPS 43782 WITH SCORE 43852.123
AT ITER 3114 NEW BEST:: SOT 150334 SOS 70018 HAS SOPS 70018 HAS SOUS 43561 HAS SOUPS 43561 WITH SCORE 43631.018
AT ITER 3156 NEW BEST:: SOT 150323 SOS 70007 HAS SOPS 70007 HAS SOUS 43550 HAS SOUPS 43550 WITH SCORE 43620.007
AT ITER 3166 NEW BEST:: SOT 150289 SOS 69743 HAS SOPS 69743 HAS SOUS 43470 HAS SOUPS 43470 WITH SCORE 43539.743
AT ITER 3175 NEW BEST:: SOT 150256 SOS 69719 HAS SOPS 69719 HAS SOUS 43381 HAS SOUPS 43381 WITH SCORE 43450.719
AT ITER 3177 NEW BEST:: SOT 150256 SOS 69799 HAS SOPS 69799 HAS SOUS 43354 HAS SOUPS 43354 WITH SCORE 43423.799
AT ITER 3178 NEW BEST:: SOT 150107 SOS 68768 HAS SOPS 68768 HAS SOUS 43305 HAS SOUPS 43305 WITH SCORE 43373.768
AT ITER 3208 NEW BEST:: SOT 150103 SOS 68780 HAS SOPS 68780 HAS SOUS 43293 HAS SOUPS 43293 WITH SCORE 43361.78
AT ITER 3219 NEW BEST:: SOT 150103 SOS 68684 HAS SOPS 68684 HAS SOUS 43292 HAS SOUPS 43292 WITH SCORE 43360.684
AT ITER 3221 NEW BEST:: SOT 150155 SOS 68926 HAS SOPS 68926 HAS SOUS 43275 HAS SOUPS 43275 WITH SCORE 43343.926
AT ITER 3244 NEW BEST:: SOT 150155 SOS 68912 HAS SOPS 68912 HAS SOUS 43255 HAS SOUPS 43255 WITH SCORE 43323.912
AT ITER 3264 NEW BEST:: SOT 150146 SOS 68806 HAS SOPS 68806 HAS SOUS 43157 HAS SOUPS 43157 WITH SCORE 43225.806
AT ITER 3278 NEW BEST:: SOT 150095 SOS 68882 HAS SOPS 68882 HAS SOUS 43133 HAS SOUPS 43133 WITH SCORE 43201.882
AT ITER 3284 NEW BEST:: SOT 149993 SOS 68688 HAS SOPS 68688 HAS SOUS 43015 HAS SOUPS 43015 WITH SCORE 43083.688
AT ITER 3300 NEW BEST:: SOT 149991 SOS 68686 HAS SOPS 68686 HAS SOUS 43011 HAS SOUPS 43011 WITH SCORE 43079.686
AT ITER 3313 NEW BEST:: SOT 149945 SOS 68955 HAS SOPS 68955 HAS SOUS 43009 HAS SOUPS 43009 WITH SCORE 43077.955
AT ITER 3321 NEW BEST:: SOT 149943 SOS 68953 HAS SOPS 68953 HAS SOUS 43007 HAS SOUPS 43007 WITH SCORE 43075.953
AT ITER 3328 NEW BEST:: SOT 149955 SOS 68958 HAS SOPS 68958 HAS SOUS 42971 HAS SOUPS 42971 WITH SCORE 43039.958
AT ITER 3332 NEW BEST:: SOT 149925 SOS 68896 HAS SOPS 68896 HAS SOUS 42907 HAS SOUPS 42907 WITH SCORE 42975.896
AT ITER 3428 NEW BEST:: SOT 149836 SOS 68859 HAS SOPS 68859 HAS SOUS 42870 HAS SOUPS 42870 WITH SCORE 42938.859
AT ITER 3432 NEW BEST:: SOT 149833 SOS 68760 HAS SOPS 68760 HAS SOUS 42853 HAS SOUPS 42853 WITH SCORE 42921.76
AT ITER 3435 NEW BEST:: SOT 149833 SOS 68166 HAS SOPS 68166 HAS SOUS 42853 HAS SOUPS 42853 WITH SCORE 42921.166
AT ITER 3457 NEW BEST:: SOT 149653 SOS 67982 HAS SOPS 67982 HAS SOUS 42652 HAS SOUPS 42652 WITH SCORE 42719.982
AT ITER 3460 NEW BEST:: SOT 149631 SOS 67960 HAS SOPS 67960 HAS SOUS 42631 HAS SOUPS 42631 WITH SCORE 42698.96
AT ITER 3484 NEW BEST:: SOT 149566 SOS 67895 HAS SOPS 67895 HAS SOUS 42566 HAS SOUPS 42566 WITH SCORE 42633.895
AT ITER 3488 NEW BEST:: SOT 149552 SOS 67803 HAS SOPS 67803 HAS SOUS 42434 HAS SOUPS 42434 WITH SCORE 42501.803
AT ITER 3490 NEW BEST:: SOT 149549 SOS 67802 HAS SOPS 67802 HAS SOUS 42433 HAS SOUPS 42433 WITH SCORE 42500.802
AT ITER 3494 NEW BEST:: SOT 149506 SOS 67752 HAS SOPS 67752 HAS SOUS 42379 HAS SOUPS 42379 WITH SCORE 42446.752
AT ITER 3515 NEW BEST:: SOT 149504 SOS 67750 HAS SOPS 67750 HAS SOUS 42377 HAS SOUPS 42377 WITH SCORE 42444.75
AT ITER 3529 NEW BEST:: SOT 149501 SOS 67594 HAS SOPS 67594 HAS SOUS 42342 HAS SOUPS 42342 WITH SCORE 42409.594
AT ITER 3533 NEW BEST:: SOT 149397 SOS 67850 HAS SOPS 67850 HAS SOUS 42339 HAS SOUPS 42339 WITH SCORE 42406.85
AT ITER 3542 NEW BEST:: SOT 149331 SOS 67784 HAS SOPS 67784 HAS SOUS 42247 HAS SOUPS 42247 WITH SCORE 42314.784
AT ITER 3547 NEW BEST:: SOT 149327 SOS 67780 HAS SOPS 67780 HAS SOUS 42242 HAS SOUPS 42242 WITH SCORE 42309.78
AT ITER 3550 NEW BEST:: SOT 149380 SOS 67775 HAS SOPS 67775 HAS SOUS 42240 HAS SOUPS 42240 WITH SCORE 42307.775
AT ITER 3565 NEW BEST:: SOT 149203 SOS 67491 HAS SOPS 67491 HAS SOUS 41994 HAS SOUPS 41994 WITH SCORE 42061.491
AT ITER 3570 NEW BEST:: SOT 149205 SOS 67401 HAS SOPS 67401 HAS SOUS 41887 HAS SOUPS 41887 WITH SCORE 41954.401
AT ITER 3573 NEW BEST:: SOT 149192 SOS 67373 HAS SOPS 67373 HAS SOUS 41875 HAS SOUPS 41875 WITH SCORE 41942.373
AT ITER 3574 NEW BEST:: SOT 149207 SOS 67388 HAS SOPS 67388 HAS SOUS 41855 HAS SOUPS 41855 WITH SCORE 41922.388
AT ITER 3575 NEW BEST:: SOT 149236 SOS 67575 HAS SOPS 67575 HAS SOUS 41814 HAS SOUPS 41814 WITH SCORE 41881.575
AT ITER 3580 NEW BEST:: SOT 149190 SOS 66120 HAS SOPS 66120 HAS SOUS 41757 HAS SOUPS 41757 WITH SCORE 41823.12
AT ITER 3587 NEW BEST:: SOT 149194 SOS 65938 HAS SOPS 65938 HAS SOUS 41649 HAS SOUPS 41649 WITH SCORE 41714.938
AT ITER 3608 NEW BEST:: SOT 149165 SOS 65896 HAS SOPS 65896 HAS SOUS 41577 HAS SOUPS 41577 WITH SCORE 41642.896
AT ITER 3614 NEW BEST:: SOT 149165 SOS 65892 HAS SOPS 65892 HAS SOUS 41575 HAS SOUPS 41575 WITH SCORE 41640.892
AT ITER 3622 NEW BEST:: SOT 149165 SOS 65844 HAS SOPS 65844 HAS SOUS 41532 HAS SOUPS 41532 WITH SCORE 41597.844
AT ITER 3626 NEW BEST:: SOT 149206 SOS 65636 HAS SOPS 65636 HAS SOUS 41475 HAS SOUPS 41475 WITH SCORE 41540.636
AT ITER 3629 NEW BEST:: SOT 149208 SOS 65627 HAS SOPS 65627 HAS SOUS 41466 HAS SOUPS 41466 WITH SCORE 41531.627
AT ITER 3634 NEW BEST:: SOT 149198 SOS 65613 HAS SOPS 65613 HAS SOUS 41450 HAS SOUPS 41450 WITH SCORE 41515.613
AT ITER 3637 NEW BEST:: SOT 149181 SOS 65599 HAS SOPS 65599 HAS SOUS 41423 HAS SOUPS 41423 WITH SCORE 41488.599
AT ITER 3644 NEW BEST:: SOT 149181 SOS 65527 HAS SOPS 65527 HAS SOUS 41361 HAS SOUPS 41361 WITH SCORE 41426.527
AT ITER 3654 NEW BEST:: SOT 149131 SOS 65477 HAS SOPS 65477 HAS SOUS 41240 HAS SOUPS 41240 WITH SCORE 41305.477
AT ITER 3658 NEW BEST:: SOT 149131 SOS 65400 HAS SOPS 65400 HAS SOUS 41163 HAS SOUPS 41163 WITH SCORE 41228.4
AT ITER 3717 NEW BEST:: SOT 149125 SOS 65300 HAS SOPS 65300 HAS SOUS 41129 HAS SOUPS 41129 WITH SCORE 41194.3
AT ITER 3718 NEW BEST:: SOT 149162 SOS 65299 HAS SOPS 65299 HAS SOUS 41079 HAS SOUPS 41079 WITH SCORE 41144.299
AT ITER 3730 NEW BEST:: SOT 149140 SOS 65145 HAS SOPS 65145 HAS SOUS 41017 HAS SOUPS 41017 WITH SCORE 41082.145
AT ITER 3749 NEW BEST:: SOT 149165 SOS 65061 HAS SOPS 65061 HAS SOUS 40918 HAS SOUPS 40918 WITH SCORE 40983.061
AT ITER 3754 NEW BEST:: SOT 149126 SOS 65002 HAS SOPS 65002 HAS SOUS 40814 HAS SOUPS 40814 WITH SCORE 40879.002
AT ITER 3758 NEW BEST:: SOT 149069 SOS 65059 HAS SOPS 65059 HAS SOUS 40757 HAS SOUPS 40757 WITH SCORE 40822.059
AT ITER 3764 NEW BEST:: SOT 149061 SOS 65027 HAS SOPS 65027 HAS SOUS 40757 HAS SOUPS 40757 WITH SCORE 40822.027
AT ITER 3766 NEW BEST:: SOT 149048 SOS 64999 HAS SOPS 64999 HAS SOUS 40664 HAS SOUPS 40664 WITH SCORE 40728.999
AT ITER 3773 NEW BEST:: SOT 149049 SOS 64991 HAS SOPS 64991 HAS SOUS 40660 HAS SOUPS 40660 WITH SCORE 40724.991
AT ITER 3790 NEW BEST:: SOT 148848 SOS 64507 HAS SOPS 64507 HAS SOUS 40560 HAS SOUPS 40560 WITH SCORE 40624.507
AT ITER 3796 NEW BEST:: SOT 148772 SOS 64431 HAS SOPS 64431 HAS SOUS 40456 HAS SOUPS 40456 WITH SCORE 40520.431
AT ITER 3815 NEW BEST:: SOT 148772 SOS 64433 HAS SOPS 64433 HAS SOUS 40371 HAS SOUPS 40371 WITH SCORE 40435.433
AT ITER 3846 NEW BEST:: SOT 148813 SOS 64375 HAS SOPS 64375 HAS SOUS 40368 HAS SOUPS 40368 WITH SCORE 40432.375
AT ITER 3898 NEW BEST:: SOT 148796 SOS 64358 HAS SOPS 64358 HAS SOUS 40351 HAS SOUPS 40351 WITH SCORE 40415.358
AT ITER 3899 NEW BEST:: SOT 148736 SOS 64376 HAS SOPS 64376 HAS SOUS 40333 HAS SOUPS 40333 WITH SCORE 40397.376
AT ITER 3904 NEW BEST:: SOT 148754 SOS 64167 HAS SOPS 64167 HAS SOUS 40269 HAS SOUPS 40269 WITH SCORE 40333.167
AT ITER 3922 NEW BEST:: SOT 148634 SOS 64047 HAS SOPS 64047 HAS SOUS 40149 HAS SOUPS 40149 WITH SCORE 40213.047
AT ITER 3949 NEW BEST:: SOT 148592 SOS 64005 HAS SOPS 64005 HAS SOUS 40107 HAS SOUPS 40107 WITH SCORE 40171.005
AT ITER 3952 NEW BEST:: SOT 148507 SOS 63889 HAS SOPS 63889 HAS SOUS 39863 HAS SOUPS 39863 WITH SCORE 39926.889
AT ITER 3954 NEW BEST:: SOT 148505 SOS 63879 HAS SOPS 63879 HAS SOUS 39859 HAS SOUPS 39859 WITH SCORE 39922.879
AT ITER 3961 NEW BEST:: SOT 148534 SOS 63584 HAS SOPS 63584 HAS SOUS 39827 HAS SOUPS 39827 WITH SCORE 39890.584
AT ITER 3968 NEW BEST:: SOT 148470 SOS 63502 HAS SOPS 63502 HAS SOUS 39755 HAS SOUPS 39755 WITH SCORE 39818.502
AT ITER 3978 NEW BEST:: SOT 148450 SOS 63482 HAS SOPS 63482 HAS SOUS 39735 HAS SOUPS 39735 WITH SCORE 39798.482
AT ITER 4000 NEW BEST:: SOT 148329 SOS 63351 HAS SOPS 63351 HAS SOUS 39604 HAS SOUPS 39604 WITH SCORE 39667.351
AT ITER 4015 NEW BEST:: SOT 148317 SOS 63339 HAS SOPS 63339 HAS SOUS 39592 HAS SOUPS 39592 WITH SCORE 39655.339
AT ITER 4024 NEW BEST:: SOT 148337 SOS 63354 HAS SOPS 63354 HAS SOUS 39576 HAS SOUPS 39576 WITH SCORE 39639.354
AT ITER 4027 NEW BEST:: SOT 148227 SOS 63192 HAS SOPS 63192 HAS SOUS 39400 HAS SOUPS 39400 WITH SCORE 39463.192
AT ITER 4040 NEW BEST:: SOT 148227 SOS 63151 HAS SOPS 63151 HAS SOUS 39377 HAS SOUPS 39377 WITH SCORE 39440.151
AT ITER 4041 NEW BEST:: SOT 148133 SOS 62921 HAS SOPS 62921 HAS SOUS 39249 HAS SOUPS 39249 WITH SCORE 39311.921
AT ITER 4043 NEW BEST:: SOT 148119 SOS 62893 HAS SOPS 62893 HAS SOUS 39235 HAS SOUPS 39235 WITH SCORE 39297.893
AT ITER 4057 NEW BEST:: SOT 148115 SOS 62889 HAS SOPS 62889 HAS SOUS 39231 HAS SOUPS 39231 WITH SCORE 39293.889
AT ITER 4108 NEW BEST:: SOT 148093 SOS 62848 HAS SOPS 62848 HAS SOUS 39186 HAS SOUPS 39186 WITH SCORE 39248.848
AT ITER 4115 NEW BEST:: SOT 148090 SOS 62845 HAS SOPS 62845 HAS SOUS 39183 HAS SOUPS 39183 WITH SCORE 39245.845
AT ITER 4116 NEW BEST:: SOT 148063 SOS 62791 HAS SOPS 62791 HAS SOUS 39146 HAS SOUPS 39146 WITH SCORE 39208.791
AT ITER 4145 NEW BEST:: SOT 148082 SOS 62734 HAS SOPS 62734 HAS SOUS 38999 HAS SOUPS 38999 WITH SCORE 39061.734
AT ITER 4173 NEW BEST:: SOT 148010 SOS 62703 HAS SOPS 62703 HAS SOUS 38973 HAS SOUPS 38973 WITH SCORE 39035.703
AT ITER 4190 NEW BEST:: SOT 147981 SOS 62667 HAS SOPS 62667 HAS SOUS 38882 HAS SOUPS 38882 WITH SCORE 38944.667
AT ITER 4260 NEW BEST:: SOT 148059 SOS 62278 HAS SOPS 62278 HAS SOUS 38789 HAS SOUPS 38789 WITH SCORE 38851.278
AT ITER 4292 NEW BEST:: SOT 148059 SOS 62270 HAS SOPS 62270 HAS SOUS 38781 HAS SOUPS 38781 WITH SCORE 38843.27
AT ITER 4301 NEW BEST:: SOT 147877 SOS 62088 HAS SOPS 62088 HAS SOUS 38599 HAS SOUPS 38599 WITH SCORE 38661.088
AT ITER 4317 NEW BEST:: SOT 147925 SOS 62034 HAS SOPS 62034 HAS SOUS 38481 HAS SOUPS 38481 WITH SCORE 38543.034
AT ITER 4325 NEW BEST:: SOT 147915 SOS 62009 HAS SOPS 62009 HAS SOUS 38456 HAS SOUPS 38456 WITH SCORE 38518.009
AT ITER 4333 NEW BEST:: SOT 147655 SOS 61907 HAS SOPS 61907 HAS SOUS 38385 HAS SOUPS 38385 WITH SCORE 38446.907
AT ITER 4350 NEW BEST:: SOT 147601 SOS 61853 HAS SOPS 61853 HAS SOUS 38347 HAS SOUPS 38347 WITH SCORE 38408.853
AT ITER 4354 NEW BEST:: SOT 147574 SOS 61610 HAS SOPS 61610 HAS SOUS 38266 HAS SOUPS 38266 WITH SCORE 38327.61
AT ITER 4372 NEW BEST:: SOT 147574 SOS 61644 HAS SOPS 61644 HAS SOUS 38249 HAS SOUPS 38249 WITH SCORE 38310.644
AT ITER 4383 NEW BEST:: SOT 147540 SOS 61550 HAS SOPS 61550 HAS SOUS 38117 HAS SOUPS 38117 WITH SCORE 38178.55
AT ITER 4386 NEW BEST:: SOT 147525 SOS 61526 HAS SOPS 61526 HAS SOUS 38079 HAS SOUPS 38079 WITH SCORE 38140.526
AT ITER 4388 NEW BEST:: SOT 147467 SOS 61468 HAS SOPS 61468 HAS SOUS 38021 HAS SOUPS 38021 WITH SCORE 38082.468
AT ITER 4402 NEW BEST:: SOT 147287 SOS 61288 HAS SOPS 61288 HAS SOUS 37796 HAS SOUPS 37796 WITH SCORE 37857.288
AT ITER 4420 NEW BEST:: SOT 147120 SOS 60571 HAS SOPS 60571 HAS SOUS 37529 HAS SOUPS 37529 WITH SCORE 37589.571
AT ITER 4421 NEW BEST:: SOT 147256 SOS 61193 HAS SOPS 61193 HAS SOUS 37507 HAS SOUPS 37507 WITH SCORE 37568.193
AT ITER 4422 NEW BEST:: SOT 147222 SOS 61179 HAS SOPS 61179 HAS SOUS 37466 HAS SOUPS 37466 WITH SCORE 37527.179
AT ITER 4437 NEW BEST:: SOT 147209 SOS 61135 HAS SOPS 61135 HAS SOUS 37453 HAS SOUPS 37453 WITH SCORE 37514.135
AT ITER 4452 NEW BEST:: SOT 147152 SOS 61195 HAS SOPS 61195 HAS SOUS 37435 HAS SOUPS 37435 WITH SCORE 37496.195
AT ITER 4454 NEW BEST:: SOT 147144 SOS 61139 HAS SOPS 61139 HAS SOUS 37387 HAS SOUPS 37387 WITH SCORE 37448.139
AT ITER 4462 NEW BEST:: SOT 147148 SOS 61109 HAS SOPS 61109 HAS SOUS 37357 HAS SOUPS 37357 WITH SCORE 37418.109
AT ITER 4472 NEW BEST:: SOT 147141 SOS 61102 HAS SOPS 61102 HAS SOUS 37342 HAS SOUPS 37342 WITH SCORE 37403.102
AT ITER 4485 NEW BEST:: SOT 147026 SOS 61168 HAS SOPS 61168 HAS SOUS 37318 HAS SOUPS 37318 WITH SCORE 37379.168
AT ITER 4494 NEW BEST:: SOT 146989 SOS 61123 HAS SOPS 61123 HAS SOUS 37282 HAS SOUPS 37282 WITH SCORE 37343.123
AT ITER 4498 NEW BEST:: SOT 146981 SOS 61088 HAS SOPS 61088 HAS SOUS 37245 HAS SOUPS 37245 WITH SCORE 37306.088
AT ITER 4508 NEW BEST:: SOT 146981 SOS 61088 HAS SOPS 61088 HAS SOUS 37240 HAS SOUPS 37240 WITH SCORE 37301.088
AT ITER 4521 NEW BEST:: SOT 146914 SOS 61021 HAS SOPS 61021 HAS SOUS 37173 HAS SOUPS 37173 WITH SCORE 37234.021
AT ITER 4564 NEW BEST:: SOT 146905 SOS 60967 HAS SOPS 60967 HAS SOUS 37155 HAS SOUPS 37155 WITH SCORE 37215.967
AT ITER 4608 NEW BEST:: SOT 146907 SOS 60948 HAS SOPS 60948 HAS SOUS 37148 HAS SOUPS 37148 WITH SCORE 37208.948
AT ITER 4611 NEW BEST:: SOT 146815 SOS 60820 HAS SOPS 60820 HAS SOUS 37112 HAS SOUPS 37112 WITH SCORE 37172.82
AT ITER 4622 NEW BEST:: SOT 146729 SOS 60177 HAS SOPS 60177 HAS SOUS 36966 HAS SOUPS 36966 WITH SCORE 37026.177
AT ITER 4638 NEW BEST:: SOT 146729 SOS 60175 HAS SOPS 60175 HAS SOUS 36962 HAS SOUPS 36962 WITH SCORE 37022.175
AT ITER 4639 NEW BEST:: SOT 146723 SOS 60158 HAS SOPS 60158 HAS SOUS 36934 HAS SOUPS 36934 WITH SCORE 36994.158
AT ITER 4698 NEW BEST:: SOT 146642 SOS 59848 HAS SOPS 59848 HAS SOUS 36833 HAS SOUPS 36833 WITH SCORE 36892.848
AT ITER 4699 NEW BEST:: SOT 146643 SOS 59866 HAS SOPS 59866 HAS SOUS 36770 HAS SOUPS 36770 WITH SCORE 36829.866
AT ITER 4703 NEW BEST:: SOT 146641 SOS 59859 HAS SOPS 59859 HAS SOUS 36766 HAS SOUPS 36766 WITH SCORE 36825.859
AT ITER 4714 NEW BEST:: SOT 146660 SOS 59800 HAS SOPS 59800 HAS SOUS 36722 HAS SOUPS 36722 WITH SCORE 36781.8
AT ITER 4718 NEW BEST:: SOT 146650 SOS 59790 HAS SOPS 59790 HAS SOUS 36706 HAS SOUPS 36706 WITH SCORE 36765.79
AT ITER 4725 NEW BEST:: SOT 146637 SOS 59772 HAS SOPS 59772 HAS SOUS 36683 HAS SOUPS 36683 WITH SCORE 36742.772
AT ITER 4745 NEW BEST:: SOT 146612 SOS 59647 HAS SOPS 59647 HAS SOUS 36658 HAS SOUPS 36658 WITH SCORE 36717.647
AT ITER 4747 NEW BEST:: SOT 146590 SOS 59641 HAS SOPS 59641 HAS SOUS 36655 HAS SOUPS 36655 WITH SCORE 36714.641
AT ITER 4750 NEW BEST:: SOT 146563 SOS 59499 HAS SOPS 59499 HAS SOUS 36647 HAS SOUPS 36647 WITH SCORE 36706.499
AT ITER 4755 NEW BEST:: SOT 146554 SOS 59499 HAS SOPS 59499 HAS SOUS 36620 HAS SOUPS 36620 WITH SCORE 36679.499
AT ITER 4770 NEW BEST:: SOT 146576 SOS 59469 HAS SOPS 59469 HAS SOUS 36590 HAS SOUPS 36590 WITH SCORE 36649.469
AT ITER 4806 NEW BEST:: SOT 146576 SOS 59479 HAS SOPS 59479 HAS SOUS 36585 HAS SOUPS 36585 WITH SCORE 36644.479
AT ITER 4829 NEW BEST:: SOT 146576 SOS 59479 HAS SOPS 59479 HAS SOUS 36583 HAS SOUPS 36583 WITH SCORE 36642.479
AT ITER 4834 NEW BEST:: SOT 146542 SOS 59421 HAS SOPS 59421 HAS SOUS 36498 HAS SOUPS 36498 WITH SCORE 36557.421
AT ITER 4857 NEW BEST:: SOT 146542 SOS 59401 HAS SOPS 59401 HAS SOUS 36488 HAS SOUPS 36488 WITH SCORE 36547.401
AT ITER 4867 NEW BEST:: SOT 146541 SOS 59400 HAS SOPS 59400 HAS SOUS 36475 HAS SOUPS 36475 WITH SCORE 36534.4
AT ITER 4871 NEW BEST:: SOT 146506 SOS 59411 HAS SOPS 59411 HAS SOUS 36451 HAS SOUPS 36451 WITH SCORE 36510.411
AT ITER 4878 NEW BEST:: SOT 146488 SOS 59345 HAS SOPS 59345 HAS SOUS 36337 HAS SOUPS 36337 WITH SCORE 36396.345
AT ITER 4879 NEW BEST:: SOT 146475 SOS 59332 HAS SOPS 59332 HAS SOUS 36319 HAS SOUPS 36319 WITH SCORE 36378.332
AT ITER 4898 NEW BEST:: SOT 146424 SOS 59059 HAS SOPS 59059 HAS SOUS 36145 HAS SOUPS 36145 WITH SCORE 36204.059
AT ITER 4946 NEW BEST:: SOT 146413 SOS 59028 HAS SOPS 59028 HAS SOUS 36134 HAS SOUPS 36134 WITH SCORE 36193.028
AT ITER 4963 NEW BEST:: SOT 146293 SOS 58908 HAS SOPS 58908 HAS SOUS 36014 HAS SOUPS 36014 WITH SCORE 36072.908
AT ITER 4992 NEW BEST:: SOT 146420 SOS 58698 HAS SOPS 58698 HAS SOUS 36012 HAS SOUPS 36012 WITH SCORE 36070.698
AT ITER 5013 NEW BEST:: SOT 146405 SOS 58680 HAS SOPS 58680 HAS SOUS 35982 HAS SOUPS 35982 WITH SCORE 36040.68
AT ITER 5023 NEW BEST:: SOT 146405 SOS 58660 HAS SOPS 58660 HAS SOUS 35967 HAS SOUPS 35967 WITH SCORE 36025.66
AT ITER 5025 NEW BEST:: SOT 146172 SOS 58427 HAS SOPS 58427 HAS SOUS 35727 HAS SOUPS 35727 WITH SCORE 35785.427
AT ITER 5041 NEW BEST:: SOT 146117 SOS 58372 HAS SOPS 58372 HAS SOUS 35699 HAS SOUPS 35699 WITH SCORE 35757.372
AT ITER 5062 NEW BEST:: SOT 146117 SOS 58387 HAS SOPS 58387 HAS SOUS 35671 HAS SOUPS 35671 WITH SCORE 35729.387
AT ITER 5067 NEW BEST:: SOT 146117 SOS 58215 HAS SOPS 58215 HAS SOUS 35646 HAS SOUPS 35646 WITH SCORE 35704.215
AT ITER 5119 NEW BEST:: SOT 146116 SOS 58212 HAS SOPS 58212 HAS SOUS 35643 HAS SOUPS 35643 WITH SCORE 35701.212
AT ITER 5126 NEW BEST:: SOT 146005 SOS 58119 HAS SOPS 58119 HAS SOUS 35578 HAS SOUPS 35578 WITH SCORE 35636.119
AT ITER 5140 NEW BEST:: SOT 146005 SOS 58110 HAS SOPS 58110 HAS SOUS 35569 HAS SOUPS 35569 WITH SCORE 35627.11
AT ITER 5142 NEW BEST:: SOT 145991 SOS 58054 HAS SOPS 58054 HAS SOUS 35534 HAS SOUPS 35534 WITH SCORE 35592.054
AT ITER 5149 NEW BEST:: SOT 145958 SOS 57823 HAS SOPS 57823 HAS SOUS 35468 HAS SOUPS 35468 WITH SCORE 35525.823
AT ITER 5150 NEW BEST:: SOT 145940 SOS 57805 HAS SOPS 57805 HAS SOUS 35450 HAS SOUPS 35450 WITH SCORE 35507.805
AT ITER 5168 NEW BEST:: SOT 145958 SOS 57816 HAS SOPS 57816 HAS SOUS 35410 HAS SOUPS 35410 WITH SCORE 35467.816
AT ITER 5213 NEW BEST:: SOT 145968 SOS 57812 HAS SOPS 57812 HAS SOUS 35408 HAS SOUPS 35408 WITH SCORE 35465.812
AT ITER 5214 NEW BEST:: SOT 145963 SOS 57827 HAS SOPS 57827 HAS SOUS 35388 HAS SOUPS 35388 WITH SCORE 35445.827
AT ITER 5217 NEW BEST:: SOT 145842 SOS 57652 HAS SOPS 57652 HAS SOUS 35339 HAS SOUPS 35339 WITH SCORE 35396.652
AT ITER 5252 NEW BEST:: SOT 145800 SOS 57615 HAS SOPS 57615 HAS SOUS 35331 HAS SOUPS 35331 WITH SCORE 35388.615
AT ITER 5267 NEW BEST:: SOT 145800 SOS 57611 HAS SOPS 57611 HAS SOUS 35328 HAS SOUPS 35328 WITH SCORE 35385.611
AT ITER 5279 NEW BEST:: SOT 145820 SOS 57591 HAS SOPS 57591 HAS SOUS 35308 HAS SOUPS 35308 WITH SCORE 35365.591
AT ITER 5282 NEW BEST:: SOT 145787 SOS 57544 HAS SOPS 57544 HAS SOUS 35240 HAS SOUPS 35240 WITH SCORE 35297.544
AT ITER 5283 NEW BEST:: SOT 145778 SOS 57541 HAS SOPS 57541 HAS SOUS 35237 HAS SOUPS 35237 WITH SCORE 35294.541
AT ITER 5312 NEW BEST:: SOT 145777 SOS 57539 HAS SOPS 57539 HAS SOUS 35235 HAS SOUPS 35235 WITH SCORE 35292.539
AT ITER 5343 NEW BEST:: SOT 145742 SOS 57311 HAS SOPS 57311 HAS SOUS 35106 HAS SOUPS 35106 WITH SCORE 35163.311
AT ITER 5365 NEW BEST:: SOT 145706 SOS 57210 HAS SOPS 57210 HAS SOUS 35100 HAS SOUPS 35100 WITH SCORE 35157.21
AT ITER 5368 NEW BEST:: SOT 145702 SOS 57202 HAS SOPS 57202 HAS SOUS 35091 HAS SOUPS 35091 WITH SCORE 35148.202
AT ITER 5369 NEW BEST:: SOT 145702 SOS 57189 HAS SOPS 57189 HAS SOUS 35073 HAS SOUPS 35073 WITH SCORE 35130.189
AT ITER 5370 NEW BEST:: SOT 145701 SOS 57188 HAS SOPS 57188 HAS SOUS 35072 HAS SOUPS 35072 WITH SCORE 35129.188
AT ITER 5401 NEW BEST:: SOT 145693 SOS 57180 HAS SOPS 57180 HAS SOUS 35070 HAS SOUPS 35070 WITH SCORE 35127.18
AT ITER 5423 NEW BEST:: SOT 145691 SOS 57179 HAS SOPS 57179 HAS SOUS 35067 HAS SOUPS 35067 WITH SCORE 35124.179
AT ITER 5441 NEW BEST:: SOT 145687 SOS 57175 HAS SOPS 57175 HAS SOUS 35063 HAS SOUPS 35063 WITH SCORE 35120.175
AT ITER 5489 NEW BEST:: SOT 145686 SOS 57174 HAS SOPS 57174 HAS SOUS 35062 HAS SOUPS 35062 WITH SCORE 35119.174
AT ITER 5503 NEW BEST:: SOT 145682 SOS 57157 HAS SOPS 57157 HAS SOUS 35058 HAS SOUPS 35058 WITH SCORE 35115.157
AT ITER 5524 NEW BEST:: SOT 145587 SOS 57062 HAS SOPS 57062 HAS SOUS 34963 HAS SOUPS 34963 WITH SCORE 35020.062
AT ITER 5549 NEW BEST:: SOT 145582 SOS 56790 HAS SOPS 56790 HAS SOUS 34847 HAS SOUPS 34847 WITH SCORE 34903.79
AT ITER 5552 NEW BEST:: SOT 145574 SOS 56598 HAS SOPS 56598 HAS SOUS 34802 HAS SOUPS 34802 WITH SCORE 34858.598
AT ITER 5575 NEW BEST:: SOT 145526 SOS 56494 HAS SOPS 56494 HAS SOUS 34770 HAS SOUPS 34770 WITH SCORE 34826.494
AT ITER 5577 NEW BEST:: SOT 145435 SOS 56412 HAS SOPS 56412 HAS SOUS 34708 HAS SOUPS 34708 WITH SCORE 34764.412
AT ITER 5617 NEW BEST:: SOT 145429 SOS 56406 HAS SOPS 56406 HAS SOUS 34695 HAS SOUPS 34695 WITH SCORE 34751.406
AT ITER 5627 NEW BEST:: SOT 145415 SOS 56432 HAS SOPS 56432 HAS SOUS 34694 HAS SOUPS 34694 WITH SCORE 34750.432
AT ITER 5647 NEW BEST:: SOT 145269 SOS 56324 HAS SOPS 56324 HAS SOUS 34584 HAS SOUPS 34584 WITH SCORE 34640.324
AT ITER 5662 NEW BEST:: SOT 145266 SOS 56292 HAS SOPS 56292 HAS SOUS 34567 HAS SOUPS 34567 WITH SCORE 34623.292
AT ITER 5697 NEW BEST:: SOT 145230 SOS 56034 HAS SOPS 56034 HAS SOUS 34530 HAS SOUPS 34530 WITH SCORE 34586.034
AT ITER 5710 NEW BEST:: SOT 145235 SOS 56023 HAS SOPS 56023 HAS SOUS 34524 HAS SOUPS 34524 WITH SCORE 34580.023
AT ITER 5716 NEW BEST:: SOT 145221 SOS 56072 HAS SOPS 56072 HAS SOUS 34479 HAS SOUPS 34479 WITH SCORE 34535.072
AT ITER 5718 NEW BEST:: SOT 145180 SOS 56031 HAS SOPS 56031 HAS SOUS 34377 HAS SOUPS 34377 WITH SCORE 34433.031
AT ITER 5730 NEW BEST:: SOT 145180 SOS 56070 HAS SOPS 56070 HAS SOUS 34355 HAS SOUPS 34355 WITH SCORE 34411.07
AT ITER 5765 NEW BEST:: SOT 145032 SOS 55732 HAS SOPS 55732 HAS SOUS 34151 HAS SOUPS 34151 WITH SCORE 34206.732
AT ITER 5768 NEW BEST:: SOT 145033 SOS 55737 HAS SOPS 55737 HAS SOUS 34147 HAS SOUPS 34147 WITH SCORE 34202.737
AT ITER 5771 NEW BEST:: SOT 144892 SOS 55651 HAS SOPS 55651 HAS SOUS 34030 HAS SOUPS 34030 WITH SCORE 34085.651
AT ITER 5810 NEW BEST:: SOT 144906 SOS 55665 HAS SOPS 55665 HAS SOUS 33988 HAS SOUPS 33988 WITH SCORE 34043.665
AT ITER 5824 NEW BEST:: SOT 144903 SOS 55661 HAS SOPS 55661 HAS SOUS 33982 HAS SOUPS 33982 WITH SCORE 34037.661
AT ITER 5840 NEW BEST:: SOT 144865 SOS 55463 HAS SOPS 55463 HAS SOUS 33904 HAS SOUPS 33904 WITH SCORE 33959.463
AT ITER 5856 NEW BEST:: SOT 144731 SOS 55298 HAS SOPS 55298 HAS SOUS 33708 HAS SOUPS 33708 WITH SCORE 33763.298
AT ITER 5860 NEW BEST:: SOT 144732 SOS 55294 HAS SOPS 55294 HAS SOUS 33700 HAS SOUPS 33700 WITH SCORE 33755.294
AT ITER 5886 NEW BEST:: SOT 144732 SOS 55237 HAS SOPS 55237 HAS SOUS 33692 HAS SOUPS 33692 WITH SCORE 33747.237
AT ITER 5969 NEW BEST:: SOT 144700 SOS 55205 HAS SOPS 55205 HAS SOUS 33660 HAS SOUPS 33660 WITH SCORE 33715.205
AT ITER 6012 NEW BEST:: SOT 144700 SOS 55203 HAS SOPS 55203 HAS SOUS 33658 HAS SOUPS 33658 WITH SCORE 33713.203
AT ITER 6024 NEW BEST:: SOT 144632 SOS 55111 HAS SOPS 55111 HAS SOUS 33558 HAS SOUPS 33558 WITH SCORE 33613.111
AT ITER 6044 NEW BEST:: SOT 144609 SOS 54843 HAS SOPS 54843 HAS SOUS 33475 HAS SOUPS 33475 WITH SCORE 33529.843
AT ITER 6048 NEW BEST:: SOT 144545 SOS 54631 HAS SOPS 54631 HAS SOUS 33393 HAS SOUPS 33393 WITH SCORE 33447.631
AT ITER 6072 NEW BEST:: SOT 144545 SOS 54694 HAS SOPS 54694 HAS SOUS 33383 HAS SOUPS 33383 WITH SCORE 33437.694
AT ITER 6083 NEW BEST:: SOT 144539 SOS 54688 HAS SOPS 54688 HAS SOUS 33377 HAS SOUPS 33377 WITH SCORE 33431.688
AT ITER 6145 NEW BEST:: SOT 144539 SOS 54728 HAS SOPS 54728 HAS SOUS 33360 HAS SOUPS 33360 WITH SCORE 33414.728
AT ITER 6153 NEW BEST:: SOT 144539 SOS 54578 HAS SOPS 54578 HAS SOUS 33300 HAS SOUPS 33300 WITH SCORE 33354.578
AT ITER 6162 NEW BEST:: SOT 144539 SOS 54576 HAS SOPS 54576 HAS SOUS 33298 HAS SOUPS 33298 WITH SCORE 33352.576
AT ITER 6163 NEW BEST:: SOT 144535 SOS 54352 HAS SOPS 54352 HAS SOUS 33234 HAS SOUPS 33234 WITH SCORE 33288.352
AT ITER 6171 NEW BEST:: SOT 144557 SOS 54418 HAS SOPS 54418 HAS SOUS 33232 HAS SOUPS 33232 WITH SCORE 33286.418
AT ITER 6177 NEW BEST:: SOT 144557 SOS 54418 HAS SOPS 54418 HAS SOUS 33231 HAS SOUPS 33231 WITH SCORE 33285.418
AT ITER 6195 NEW BEST:: SOT 144555 SOS 54201 HAS SOPS 54201 HAS SOUS 33143 HAS SOUPS 33143 WITH SCORE 33197.201
AT ITER 6208 NEW BEST:: SOT 144542 SOS 54145 HAS SOPS 54145 HAS SOUS 33091 HAS SOUPS 33091 WITH SCORE 33145.145
AT ITER 6240 NEW BEST:: SOT 144563 SOS 54131 HAS SOPS 54131 HAS SOUS 33050 HAS SOUPS 33050 WITH SCORE 33104.131
AT ITER 6282 NEW BEST:: SOT 144563 SOS 54146 HAS SOPS 54146 HAS SOUS 33045 HAS SOUPS 33045 WITH SCORE 33099.146
AT ITER 6298 NEW BEST:: SOT 144432 SOS 54007 HAS SOPS 54007 HAS SOUS 32895 HAS SOUPS 32895 WITH SCORE 32949.007
AT ITER 6315 NEW BEST:: SOT 144432 SOS 53955 HAS SOPS 53955 HAS SOUS 32883 HAS SOUPS 32883 WITH SCORE 32936.955
AT ITER 6341 NEW BEST:: SOT 144409 SOS 53932 HAS SOPS 53932 HAS SOUS 32837 HAS SOUPS 32837 WITH SCORE 32890.932
AT ITER 6348 NEW BEST:: SOT 144370 SOS 53729 HAS SOPS 53729 HAS SOUS 32769 HAS SOUPS 32769 WITH SCORE 32822.729
AT ITER 6354 NEW BEST:: SOT 144367 SOS 53726 HAS SOPS 53726 HAS SOUS 32766 HAS SOUPS 32766 WITH SCORE 32819.726
AT ITER 6355 NEW BEST:: SOT 144353 SOS 53716 HAS SOPS 53716 HAS SOUS 32742 HAS SOUPS 32742 WITH SCORE 32795.716
AT ITER 6361 NEW BEST:: SOT 144365 SOS 53625 HAS SOPS 53625 HAS SOUS 32712 HAS SOUPS 32712 WITH SCORE 32765.625
AT ITER 6385 NEW BEST:: SOT 144365 SOS 53614 HAS SOPS 53614 HAS SOUS 32712 HAS SOUPS 32712 WITH SCORE 32765.614
AT ITER 6392 NEW BEST:: SOT 144352 SOS 53601 HAS SOPS 53601 HAS SOUS 32680 HAS SOUPS 32680 WITH SCORE 32733.601
AT ITER 6428 NEW BEST:: SOT 144340 SOS 53499 HAS SOPS 53499 HAS SOUS 32656 HAS SOUPS 32656 WITH SCORE 32709.499
AT ITER 6433 NEW BEST:: SOT 144314 SOS 53473 HAS SOPS 53473 HAS SOUS 32630 HAS SOUPS 32630 WITH SCORE 32683.473
AT ITER 6434 NEW BEST:: SOT 144314 SOS 53468 HAS SOPS 53468 HAS SOUS 32620 HAS SOUPS 32620 WITH SCORE 32673.468
AT ITER 6454 NEW BEST:: SOT 144314 SOS 53497 HAS SOPS 53497 HAS SOUS 32570 HAS SOUPS 32570 WITH SCORE 32623.497
AT ITER 6467 NEW BEST:: SOT 144297 SOS 53418 HAS SOPS 53418 HAS SOUS 32547 HAS SOUPS 32547 WITH SCORE 32600.418
AT ITER 6511 NEW BEST:: SOT 144234 SOS 53029 HAS SOPS 53029 HAS SOUS 32461 HAS SOUPS 32461 WITH SCORE 32514.029
AT ITER 6530 NEW BEST:: SOT 144210 SOS 52981 HAS SOPS 52981 HAS SOUS 32444 HAS SOUPS 32444 WITH SCORE 32496.981
AT ITER 6546 NEW BEST:: SOT 144196 SOS 52751 HAS SOPS 52751 HAS SOUS 32424 HAS SOUPS 32424 WITH SCORE 32476.751
AT ITER 6563 NEW BEST:: SOT 144151 SOS 52649 HAS SOPS 52649 HAS SOUS 32376 HAS SOUPS 32376 WITH SCORE 32428.649
AT ITER 6587 NEW BEST:: SOT 144001 SOS 52367 HAS SOPS 52367 HAS SOUS 32103 HAS SOUPS 32103 WITH SCORE 32155.367
AT ITER 6620 NEW BEST:: SOT 143989 SOS 52258 HAS SOPS 52258 HAS SOUS 31998 HAS SOUPS 31998 WITH SCORE 32050.258
AT ITER 6641 NEW BEST:: SOT 143921 SOS 52190 HAS SOPS 52190 HAS SOUS 31930 HAS SOUPS 31930 WITH SCORE 31982.19
AT ITER 6642 NEW BEST:: SOT 143922 SOS 52194 HAS SOPS 52194 HAS SOUS 31911 HAS SOUPS 31911 WITH SCORE 31963.194
AT ITER 6644 NEW BEST:: SOT 143879 SOS 52019 HAS SOPS 52019 HAS SOUS 31855 HAS SOUPS 31855 WITH SCORE 31907.019
AT ITER 6650 NEW BEST:: SOT 143879 SOS 52013 HAS SOPS 52013 HAS SOUS 31846 HAS SOUPS 31846 WITH SCORE 31898.013
AT ITER 6665 NEW BEST:: SOT 143879 SOS 52004 HAS SOPS 52004 HAS SOUS 31810 HAS SOUPS 31810 WITH SCORE 31862.004
AT ITER 6670 NEW BEST:: SOT 143891 SOS 52002 HAS SOPS 52002 HAS SOUS 31808 HAS SOUPS 31808 WITH SCORE 31860.002
AT ITER 6680 NEW BEST:: SOT 143822 SOS 51945 HAS SOPS 51945 HAS SOUS 31751 HAS SOUPS 31751 WITH SCORE 31802.945
AT ITER 6714 NEW BEST:: SOT 143816 SOS 51916 HAS SOPS 51916 HAS SOUS 31734 HAS SOUPS 31734 WITH SCORE 31785.916
AT ITER 6740 NEW BEST:: SOT 143816 SOS 51880 HAS SOPS 51880 HAS SOUS 31728 HAS SOUPS 31728 WITH SCORE 31779.88
AT ITER 6750 NEW BEST:: SOT 143806 SOS 51803 HAS SOPS 51803 HAS SOUS 31713 HAS SOUPS 31713 WITH SCORE 31764.803
AT ITER 6812 NEW BEST:: SOT 143828 SOS 51990 HAS SOPS 51990 HAS SOUS 31705 HAS SOUPS 31705 WITH SCORE 31756.99
AT ITER 6857 NEW BEST:: SOT 143776 SOS 52028 HAS SOPS 52028 HAS SOUS 31615 HAS SOUPS 31615 WITH SCORE 31667.028
AT ITER 6933 NEW BEST:: SOT 143797 SOS 52025 HAS SOPS 52025 HAS SOUS 31598 HAS SOUPS 31598 WITH SCORE 31650.025
AT ITER 6937 NEW BEST:: SOT 143763 SOS 51922 HAS SOPS 51922 HAS SOUS 31563 HAS SOUPS 31563 WITH SCORE 31614.922
AT ITER 6982 NEW BEST:: SOT 143703 SOS 52000 HAS SOPS 52000 HAS SOUS 31530 HAS SOUPS 31530 WITH SCORE 31582.0
AT ITER 7013 NEW BEST:: SOT 143713 SOS 52004 HAS SOPS 52004 HAS SOUS 31516 HAS SOUPS 31516 WITH SCORE 31568.004
AT ITER 7055 NEW BEST:: SOT 143705 SOS 51958 HAS SOPS 51958 HAS SOUS 31500 HAS SOUPS 31500 WITH SCORE 31551.958
AT ITER 7057 NEW BEST:: SOT 143684 SOS 51918 HAS SOPS 51918 HAS SOUS 31460 HAS SOUPS 31460 WITH SCORE 31511.918
AT ITER 7058 NEW BEST:: SOT 143666 SOS 51878 HAS SOPS 51878 HAS SOUS 31415 HAS SOUPS 31415 WITH SCORE 31466.878
AT ITER 7068 NEW BEST:: SOT 143641 SOS 51853 HAS SOPS 51853 HAS SOUS 31409 HAS SOUPS 31409 WITH SCORE 31460.853
AT ITER 7088 NEW BEST:: SOT 143608 SOS 51678 HAS SOPS 51678 HAS SOUS 31348 HAS SOUPS 31348 WITH SCORE 31399.678
AT ITER 7131 NEW BEST:: SOT 143626 SOS 51617 HAS SOPS 51617 HAS SOUS 31334 HAS SOUPS 31334 WITH SCORE 31385.617
AT ITER 7163 NEW BEST:: SOT 143573 SOS 51564 HAS SOPS 51564 HAS SOUS 31256 HAS SOUPS 31256 WITH SCORE 31307.564
AT ITER 7171 NEW BEST:: SOT 143546 SOS 51537 HAS SOPS 51537 HAS SOUS 31229 HAS SOUPS 31229 WITH SCORE 31280.537
AT ITER 7188 NEW BEST:: SOT 143505 SOS 51508 HAS SOPS 51508 HAS SOUS 31200 HAS SOUPS 31200 WITH SCORE 31251.508
AT ITER 7195 NEW BEST:: SOT 143502 SOS 51502 HAS SOPS 51502 HAS SOUS 31194 HAS SOUPS 31194 WITH SCORE 31245.502
AT ITER 7203 NEW BEST:: SOT 143502 SOS 51463 HAS SOPS 51463 HAS SOUS 31189 HAS SOUPS 31189 WITH SCORE 31240.463
AT ITER 7221 NEW BEST:: SOT 143427 SOS 51408 HAS SOPS 51408 HAS SOUS 31078 HAS SOUPS 31078 WITH SCORE 31129.408
AT ITER 7224 NEW BEST:: SOT 143337 SOS 51206 HAS SOPS 51206 HAS SOUS 30948 HAS SOUPS 30948 WITH SCORE 30999.206
AT ITER 7229 NEW BEST:: SOT 143343 SOS 51210 HAS SOPS 51210 HAS SOUS 30918 HAS SOUPS 30918 WITH SCORE 30969.21
AT ITER 7245 NEW BEST:: SOT 143301 SOS 51222 HAS SOPS 51222 HAS SOUS 30907 HAS SOUPS 30907 WITH SCORE 30958.222
AT ITER 7306 NEW BEST:: SOT 143315 SOS 51206 HAS SOPS 51206 HAS SOUS 30890 HAS SOUPS 30890 WITH SCORE 30941.206
AT ITER 7321 NEW BEST:: SOT 143227 SOS 51120 HAS SOPS 51120 HAS SOUS 30800 HAS SOUPS 30800 WITH SCORE 30851.12
AT ITER 7326 NEW BEST:: SOT 143227 SOS 51129 HAS SOPS 51129 HAS SOUS 30792 HAS SOUPS 30792 WITH SCORE 30843.129
AT ITER 7335 NEW BEST:: SOT 143230 SOS 51021 HAS SOPS 51021 HAS SOUS 30673 HAS SOUPS 30673 WITH SCORE 30724.021
AT ITER 7348 NEW BEST:: SOT 143202 SOS 50944 HAS SOPS 50944 HAS SOUS 30584 HAS SOUPS 30584 WITH SCORE 30634.944
AT ITER 7368 NEW BEST:: SOT 143194 SOS 50936 HAS SOPS 50936 HAS SOUS 30576 HAS SOUPS 30576 WITH SCORE 30626.936
AT ITER 7376 NEW BEST:: SOT 143180 SOS 50972 HAS SOPS 50972 HAS SOUS 30481 HAS SOUPS 30481 WITH SCORE 30531.972
AT ITER 7404 NEW BEST:: SOT 143151 SOS 50932 HAS SOPS 50932 HAS SOUS 30433 HAS SOUPS 30433 WITH SCORE 30483.932
AT ITER 7428 NEW BEST:: SOT 143151 SOS 50932 HAS SOPS 50932 HAS SOUS 30409 HAS SOUPS 30409 WITH SCORE 30459.932
AT ITER 7450 NEW BEST:: SOT 143150 SOS 50937 HAS SOPS 50937 HAS SOUS 30408 HAS SOUPS 30408 WITH SCORE 30458.937
AT ITER 7454 NEW BEST:: SOT 143034 SOS 50991 HAS SOPS 50991 HAS SOUS 30293 HAS SOUPS 30293 WITH SCORE 30343.991
AT ITER 7461 NEW BEST:: SOT 143026 SOS 50924 HAS SOPS 50924 HAS SOUS 30276 HAS SOUPS 30276 WITH SCORE 30326.924
AT ITER 7491 NEW BEST:: SOT 143035 SOS 50933 HAS SOPS 50933 HAS SOUS 30258 HAS SOUPS 30258 WITH SCORE 30308.933
AT ITER 7507 NEW BEST:: SOT 142991 SOS 50857 HAS SOPS 50857 HAS SOUS 30246 HAS SOUPS 30246 WITH SCORE 30296.857
AT ITER 7526 NEW BEST:: SOT 142951 SOS 50817 HAS SOPS 50817 HAS SOUS 30206 HAS SOUPS 30206 WITH SCORE 30256.817
AT ITER 7527 NEW BEST:: SOT 142962 SOS 50828 HAS SOPS 50828 HAS SOUS 30197 HAS SOUPS 30197 WITH SCORE 30247.828
AT ITER 7610 NEW BEST:: SOT 142962 SOS 50827 HAS SOPS 50827 HAS SOUS 30180 HAS SOUPS 30180 WITH SCORE 30230.827
AT ITER 7629 NEW BEST:: SOT 142962 SOS 50821 HAS SOPS 50821 HAS SOUS 30173 HAS SOUPS 30173 WITH SCORE 30223.821
AT ITER 7685 NEW BEST:: SOT 142962 SOS 50833 HAS SOPS 50833 HAS SOUS 30162 HAS SOUPS 30162 WITH SCORE 30212.833
AT ITER 7728 NEW BEST:: SOT 142913 SOS 50709 HAS SOPS 50709 HAS SOUS 30083 HAS SOUPS 30083 WITH SCORE 30133.709
AT ITER 7761 NEW BEST:: SOT 142913 SOS 50707 HAS SOPS 50707 HAS SOUS 30083 HAS SOUPS 30083 WITH SCORE 30133.707
AT ITER 7846 NEW BEST:: SOT 142838 SOS 50344 HAS SOPS 50344 HAS SOUS 29880 HAS SOUPS 29880 WITH SCORE 29930.344
AT ITER 7863 NEW BEST:: SOT 142786 SOS 50250 HAS SOPS 50250 HAS SOUS 29807 HAS SOUPS 29807 WITH SCORE 29857.25
AT ITER 7917 NEW BEST:: SOT 142761 SOS 50137 HAS SOPS 50137 HAS SOUS 29773 HAS SOUPS 29773 WITH SCORE 29823.137
AT ITER 7927 NEW BEST:: SOT 142758 SOS 50134 HAS SOPS 50134 HAS SOUS 29773 HAS SOUPS 29773 WITH SCORE 29823.134
AT ITER 7957 NEW BEST:: SOT 142688 SOS 50080 HAS SOPS 50080 HAS SOUS 29719 HAS SOUPS 29719 WITH SCORE 29769.08
AT ITER 7981 NEW BEST:: SOT 142688 SOS 50033 HAS SOPS 50033 HAS SOUS 29708 HAS SOUPS 29708 WITH SCORE 29758.033
AT ITER 7996 NEW BEST:: SOT 142681 SOS 50001 HAS SOPS 50001 HAS SOUS 29691 HAS SOUPS 29691 WITH SCORE 29741.001
AT ITER 8011 NEW BEST:: SOT 142685 SOS 49997 HAS SOPS 49997 HAS SOUS 29665 HAS SOUPS 29665 WITH SCORE 29714.997
AT ITER 8020 NEW BEST:: SOT 142681 SOS 49985 HAS SOPS 49985 HAS SOUS 29653 HAS SOUPS 29653 WITH SCORE 29702.985
AT ITER 8021 NEW BEST:: SOT 142642 SOS 49886 HAS SOPS 49886 HAS SOUS 29551 HAS SOUPS 29551 WITH SCORE 29600.886
AT ITER 8039 NEW BEST:: SOT 142624 SOS 49788 HAS SOPS 49788 HAS SOUS 29523 HAS SOUPS 29523 WITH SCORE 29572.788
AT ITER 8060 NEW BEST:: SOT 142621 SOS 49779 HAS SOPS 49779 HAS SOUS 29523 HAS SOUPS 29523 WITH SCORE 29572.779
AT ITER 8073 NEW BEST:: SOT 142621 SOS 49749 HAS SOPS 49749 HAS SOUS 29511 HAS SOUPS 29511 WITH SCORE 29560.749
AT ITER 8101 NEW BEST:: SOT 142619 SOS 49749 HAS SOPS 49749 HAS SOUS 29510 HAS SOUPS 29510 WITH SCORE 29559.749
AT ITER 8166 NEW BEST:: SOT 142615 SOS 49747 HAS SOPS 49747 HAS SOUS 29502 HAS SOUPS 29502 WITH SCORE 29551.747
AT ITER 8207 NEW BEST:: SOT 142603 SOS 49685 HAS SOPS 49685 HAS SOUS 29479 HAS SOUPS 29479 WITH SCORE 29528.685
AT ITER 8214 NEW BEST:: SOT 142578 SOS 49635 HAS SOPS 49635 HAS SOUS 29444 HAS SOUPS 29444 WITH SCORE 29493.635
AT ITER 8222 NEW BEST:: SOT 142532 SOS 49621 HAS SOPS 49621 HAS SOUS 29428 HAS SOUPS 29428 WITH SCORE 29477.621
AT ITER 8246 NEW BEST:: SOT 142532 SOS 49613 HAS SOPS 49613 HAS SOUS 29428 HAS SOUPS 29428 WITH SCORE 29477.613
AT ITER 8277 NEW BEST:: SOT 142515 SOS 49612 HAS SOPS 49612 HAS SOUS 29426 HAS SOUPS 29426 WITH SCORE 29475.612
AT ITER 8295 NEW BEST:: SOT 142491 SOS 49588 HAS SOPS 49588 HAS SOUS 29380 HAS SOUPS 29380 WITH SCORE 29429.588
AT ITER 8319 NEW BEST:: SOT 142487 SOS 49588 HAS SOPS 49588 HAS SOUS 29364 HAS SOUPS 29364 WITH SCORE 29413.588
AT ITER 8328 NEW BEST:: SOT 142487 SOS 49593 HAS SOPS 49593 HAS SOUS 29363 HAS SOUPS 29363 WITH SCORE 29412.593
AT ITER 8341 NEW BEST:: SOT 142481 SOS 49598 HAS SOPS 49598 HAS SOUS 29358 HAS SOUPS 29358 WITH SCORE 29407.598
AT ITER 8348 NEW BEST:: SOT 142481 SOS 49568 HAS SOPS 49568 HAS SOUS 29313 HAS SOUPS 29313 WITH SCORE 29362.568
AT ITER 8373 NEW BEST:: SOT 142432 SOS 49519 HAS SOPS 49519 HAS SOUS 29264 HAS SOUPS 29264 WITH SCORE 29313.519
AT ITER 8379 NEW BEST:: SOT 142345 SOS 49432 HAS SOPS 49432 HAS SOUS 29177 HAS SOUPS 29177 WITH SCORE 29226.432
AT ITER 8451 NEW BEST:: SOT 142347 SOS 49368 HAS SOPS 49368 HAS SOUS 29143 HAS SOUPS 29143 WITH SCORE 29192.368
AT ITER 8461 NEW BEST:: SOT 142314 SOS 49354 HAS SOPS 49354 HAS SOUS 29129 HAS SOUPS 29129 WITH SCORE 29178.354
AT ITER 8491 NEW BEST:: SOT 142277 SOS 49264 HAS SOPS 49264 HAS SOUS 29081 HAS SOUPS 29081 WITH SCORE 29130.264
AT ITER 8497 NEW BEST:: SOT 142290 SOS 49249 HAS SOPS 49249 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29113.249
AT ITER 8500 NEW BEST:: SOT 142290 SOS 49216 HAS SOPS 49216 HAS SOUS 29016 HAS SOUPS 29016 WITH SCORE 29065.216
AT ITER 8505 NEW BEST:: SOT 142292 SOS 49162 HAS SOPS 49162 HAS SOUS 29010 HAS SOUPS 29010 WITH SCORE 29059.162
AT ITER 8527 NEW BEST:: SOT 142173 SOS 49056 HAS SOPS 49056 HAS SOUS 28930 HAS SOUPS 28930 WITH SCORE 28979.056
AT ITER 8529 NEW BEST:: SOT 142107 SOS 48991 HAS SOPS 48991 HAS SOUS 28863 HAS SOUPS 28863 WITH SCORE 28911.991
AT ITER 8554 NEW BEST:: SOT 142083 SOS 48933 HAS SOPS 48933 HAS SOUS 28826 HAS SOUPS 28826 WITH SCORE 28874.933
AT ITER 8574 NEW BEST:: SOT 142073 SOS 48905 HAS SOPS 48905 HAS SOUS 28797 HAS SOUPS 28797 WITH SCORE 28845.905
AT ITER 8628 NEW BEST:: SOT 142071 SOS 48903 HAS SOPS 48903 HAS SOUS 28795 HAS SOUPS 28795 WITH SCORE 28843.903
AT ITER 8690 NEW BEST:: SOT 142102 SOS 48915 HAS SOPS 48915 HAS SOUS 28772 HAS SOUPS 28772 WITH SCORE 28820.915
AT ITER 8713 NEW BEST:: SOT 142102 SOS 48905 HAS SOPS 48905 HAS SOUS 28768 HAS SOUPS 28768 WITH SCORE 28816.905
AT ITER 8722 NEW BEST:: SOT 142102 SOS 48947 HAS SOPS 48947 HAS SOUS 28754 HAS SOUPS 28754 WITH SCORE 28802.947
AT ITER 8734 NEW BEST:: SOT 142098 SOS 48939 HAS SOPS 48939 HAS SOUS 28750 HAS SOUPS 28750 WITH SCORE 28798.939
AT ITER 8750 NEW BEST:: SOT 141988 SOS 48807 HAS SOPS 48807 HAS SOUS 28534 HAS SOUPS 28534 WITH SCORE 28582.807
AT ITER 8821 NEW BEST:: SOT 141967 SOS 48786 HAS SOPS 48786 HAS SOUS 28513 HAS SOUPS 28513 WITH SCORE 28561.786
AT ITER 8832 NEW BEST:: SOT 141967 SOS 48784 HAS SOPS 48784 HAS SOUS 28512 HAS SOUPS 28512 WITH SCORE 28560.784
AT ITER 8926 NEW BEST:: SOT 141941 SOS 48765 HAS SOPS 48765 HAS SOUS 28489 HAS SOUPS 28489 WITH SCORE 28537.765
AT ITER 8965 NEW BEST:: SOT 141931 SOS 48763 HAS SOPS 48763 HAS SOUS 28487 HAS SOUPS 28487 WITH SCORE 28535.763
AT ITER 9009 NEW BEST:: SOT 141897 SOS 48639 HAS SOPS 48639 HAS SOUS 28417 HAS SOUPS 28417 WITH SCORE 28465.639
AT ITER 9037 NEW BEST:: SOT 141869 SOS 48667 HAS SOPS 48667 HAS SOUS 28396 HAS SOUPS 28396 WITH SCORE 28444.667
AT ITER 9054 NEW BEST:: SOT 141869 SOS 48681 HAS SOPS 48681 HAS SOUS 28382 HAS SOUPS 28382 WITH SCORE 28430.681
AT ITER 9055 NEW BEST:: SOT 141869 SOS 48550 HAS SOPS 48550 HAS SOUS 28347 HAS SOUPS 28347 WITH SCORE 28395.55
AT ITER 9065 NEW BEST:: SOT 141832 SOS 48465 HAS SOPS 48465 HAS SOUS 28286 HAS SOUPS 28286 WITH SCORE 28334.465
AT ITER 9120 NEW BEST:: SOT 141809 SOS 48442 HAS SOPS 48442 HAS SOUS 28286 HAS SOUPS 28286 WITH SCORE 28334.442
AT ITER 9143 NEW BEST:: SOT 141804 SOS 48425 HAS SOPS 48425 HAS SOUS 28283 HAS SOUPS 28283 WITH SCORE 28331.425
AT ITER 9177 NEW BEST:: SOT 141770 SOS 48374 HAS SOPS 48374 HAS SOUS 28249 HAS SOUPS 28249 WITH SCORE 28297.374
AT ITER 9188 NEW BEST:: SOT 141771 SOS 48373 HAS SOPS 48373 HAS SOUS 28248 HAS SOUPS 28248 WITH SCORE 28296.373
AT ITER 9225 NEW BEST:: SOT 141832 SOS 48371 HAS SOPS 48371 HAS SOUS 28247 HAS SOUPS 28247 WITH SCORE 28295.371
AT ITER 9226 NEW BEST:: SOT 141826 SOS 48359 HAS SOPS 48359 HAS SOUS 28235 HAS SOUPS 28235 WITH SCORE 28283.359
AT ITER 9237 NEW BEST:: SOT 141844 SOS 48364 HAS SOPS 48364 HAS SOUS 28205 HAS SOUPS 28205 WITH SCORE 28253.364
AT ITER 9238 NEW BEST:: SOT 141843 SOS 48357 HAS SOPS 48357 HAS SOUS 28203 HAS SOUPS 28203 WITH SCORE 28251.357
AT ITER 9262 NEW BEST:: SOT 141806 SOS 48299 HAS SOPS 48299 HAS SOUS 28178 HAS SOUPS 28178 WITH SCORE 28226.299
AT ITER 9290 NEW BEST:: SOT 141752 SOS 47965 HAS SOPS 47965 HAS SOUS 28116 HAS SOUPS 28116 WITH SCORE 28163.965
AT ITER 9344 NEW BEST:: SOT 141734 SOS 47947 HAS SOPS 47947 HAS SOUS 28105 HAS SOUPS 28105 WITH SCORE 28152.947
AT ITER 9408 NEW BEST:: SOT 141734 SOS 48025 HAS SOPS 48025 HAS SOUS 28087 HAS SOUPS 28087 WITH SCORE 28135.025
AT ITER 9512 NEW BEST:: SOT 141728 SOS 47983 HAS SOPS 47983 HAS SOUS 28081 HAS SOUPS 28081 WITH SCORE 28128.983
AT ITER 9517 NEW BEST:: SOT 141721 SOS 47968 HAS SOPS 47968 HAS SOUS 28076 HAS SOUPS 28076 WITH SCORE 28123.968
AT ITER 9520 NEW BEST:: SOT 141706 SOS 47862 HAS SOPS 47862 HAS SOUS 28022 HAS SOUPS 28022 WITH SCORE 28069.862
AT ITER 9539 NEW BEST:: SOT 141669 SOS 47826 HAS SOPS 47826 HAS SOUS 27973 HAS SOUPS 27973 WITH SCORE 28020.826
AT ITER 9549 NEW BEST:: SOT 141669 SOS 47832 HAS SOPS 47832 HAS SOUS 27967 HAS SOUPS 27967 WITH SCORE 28014.832
AT ITER 9578 NEW BEST:: SOT 141666 SOS 47828 HAS SOPS 47828 HAS SOUS 27960 HAS SOUPS 27960 WITH SCORE 28007.828
AT ITER 9591 NEW BEST:: SOT 141666 SOS 47832 HAS SOPS 47832 HAS SOUS 27958 HAS SOUPS 27958 WITH SCORE 28005.832
AT ITER 9597 NEW BEST:: SOT 141666 SOS 47801 HAS SOPS 47801 HAS SOUS 27958 HAS SOUPS 27958 WITH SCORE 28005.801
AT ITER 9624 NEW BEST:: SOT 141657 SOS 47792 HAS SOPS 47792 HAS SOUS 27946 HAS SOUPS 27946 WITH SCORE 27993.792
AT ITER 9649 NEW BEST:: SOT 141651 SOS 47786 HAS SOPS 47786 HAS SOUS 27925 HAS SOUPS 27925 WITH SCORE 27972.786
AT ITER 9650 NEW BEST:: SOT 141709 SOS 47713 HAS SOPS 47713 HAS SOUS 27901 HAS SOUPS 27901 WITH SCORE 27948.713
AT ITER 9655 NEW BEST:: SOT 141688 SOS 47711 HAS SOPS 47711 HAS SOUS 27885 HAS SOUPS 27885 WITH SCORE 27932.711
AT ITER 9664 NEW BEST:: SOT 141670 SOS 47716 HAS SOPS 47716 HAS SOUS 27871 HAS SOUPS 27871 WITH SCORE 27918.716
AT ITER 9695 NEW BEST:: SOT 141600 SOS 47634 HAS SOPS 47634 HAS SOUS 27774 HAS SOUPS 27774 WITH SCORE 27821.634
AT ITER 9701 NEW BEST:: SOT 141588 SOS 47614 HAS SOPS 47614 HAS SOUS 27770 HAS SOUPS 27770 WITH SCORE 27817.614
AT ITER 9702 NEW BEST:: SOT 141579 SOS 47605 HAS SOPS 47605 HAS SOUS 27755 HAS SOUPS 27755 WITH SCORE 27802.605
AT ITER 9725 NEW BEST:: SOT 141573 SOS 47585 HAS SOPS 47585 HAS SOUS 27738 HAS SOUPS 27738 WITH SCORE 27785.585
AT ITER 9759 NEW BEST:: SOT 141597 SOS 47592 HAS SOPS 47592 HAS SOUS 27730 HAS SOUPS 27730 WITH SCORE 27777.592
AT ITER 9818 NEW BEST:: SOT 141608 SOS 47603 HAS SOPS 47603 HAS SOUS 27723 HAS SOUPS 27723 WITH SCORE 27770.603
AT ITER 9826 NEW BEST:: SOT 141598 SOS 47443 HAS SOPS 47443 HAS SOUS 27689 HAS SOUPS 27689 WITH SCORE 27736.443
AT ITER 9861 NEW BEST:: SOT 141579 SOS 47329 HAS SOPS 47329 HAS SOUS 27670 HAS SOUPS 27670 WITH SCORE 27717.329
AT ITER 9887 NEW BEST:: SOT 141566 SOS 47312 HAS SOPS 47312 HAS SOUS 27653 HAS SOUPS 27653 WITH SCORE 27700.312
AT ITER 9924 NEW BEST:: SOT 141553 SOS 47301 HAS SOPS 47301 HAS SOUS 27642 HAS SOUPS 27642 WITH SCORE 27689.301
AT ITER 9925 NEW BEST:: SOT 141467 SOS 47272 HAS SOPS 47272 HAS SOUS 27493 HAS SOUPS 27493 WITH SCORE 27540.272
AT ITER 9926 NEW BEST:: SOT 141465 SOS 47269 HAS SOPS 47269 HAS SOUS 27491 HAS SOUPS 27491 WITH SCORE 27538.269
AT ITER 9951 NEW BEST:: SOT 141451 SOS 47285 HAS SOPS 47285 HAS SOUS 27477 HAS SOUPS 27477 WITH SCORE 27524.285
AT ITER 9969 NEW BEST:: SOT 141465 SOS 47273 HAS SOPS 47273 HAS SOUS 27469 HAS SOUPS 27469 WITH SCORE 27516.273
AT ITER 9986 NEW BEST:: SOT 141426 SOS 47195 HAS SOPS 47195 HAS SOUS 27391 HAS SOUPS 27391 WITH SCORE 27438.195

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVs-PT-030A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldRVs-PT-030A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033470100864"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-030A.tgz
mv ShieldRVs-PT-030A execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;