Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502600280.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 Raft-PT-09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 368K
-rw-r--r-- 1 mcc users 3.2K Apr 12 08:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 08:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 11 09:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 09:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 9 21:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 21:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 196K Mar 24 05:38 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 1589810105766

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

Filename model.pnml
Petri model created: 413 places, 710 transitions, 2728 arcs.
AT ITER 0 NEW BEST:: SOT 258253 SOS 174932 HAS SOPS 174896 HAS SOUS 137429 HAS SOUPS 137420 WITH SCORE 137594.932
AT ITER 5 NEW BEST:: SOT 257677 SOS 174352 HAS SOPS 174255 HAS SOUS 136813 HAS SOUPS 136744 WITH SCORE 136918.352
AT ITER 6 NEW BEST:: SOT 257677 SOS 174352 HAS SOPS 174255 HAS SOUS 136782 HAS SOUPS 136713 WITH SCORE 136887.352
AT ITER 7 NEW BEST:: SOT 257453 SOS 174093 HAS SOPS 173939 HAS SOUS 136521 HAS SOUPS 136397 WITH SCORE 136571.093
AT ITER 8 NEW BEST:: SOT 257453 SOS 174093 HAS SOPS 173939 HAS SOUS 136486 HAS SOUPS 136362 WITH SCORE 136536.093
AT ITER 9 NEW BEST:: SOT 257276 SOS 172682 HAS SOPS 172528 HAS SOUS 136371 HAS SOUPS 136247 WITH SCORE 136419.682
AT ITER 10 NEW BEST:: SOT 257276 SOS 172653 HAS SOPS 172499 HAS SOUS 136371 HAS SOUPS 136247 WITH SCORE 136419.653
AT ITER 16 NEW BEST:: SOT 257276 SOS 172586 HAS SOPS 172432 HAS SOUS 136371 HAS SOUPS 136247 WITH SCORE 136419.586
AT ITER 27 NEW BEST:: SOT 257276 SOS 172547 HAS SOPS 172393 HAS SOUS 136371 HAS SOUPS 136247 WITH SCORE 136419.547
AT ITER 29 NEW BEST:: SOT 257276 SOS 172540 HAS SOPS 172386 HAS SOUS 136371 HAS SOUPS 136247 WITH SCORE 136419.54
AT ITER 30 NEW BEST:: SOT 257276 SOS 172540 HAS SOPS 172386 HAS SOUS 136341 HAS SOUPS 136217 WITH SCORE 136389.54
AT ITER 32 NEW BEST:: SOT 257276 SOS 172534 HAS SOPS 172380 HAS SOUS 136341 HAS SOUPS 136217 WITH SCORE 136389.534
AT ITER 34 NEW BEST:: SOT 257042 SOS 172047 HAS SOPS 171826 HAS SOUS 135852 HAS SOUPS 135663 WITH SCORE 135835.047
AT ITER 37 NEW BEST:: SOT 256550 SOS 171764 HAS SOPS 171488 HAS SOUS 135415 HAS SOUPS 135226 WITH SCORE 135397.764
AT ITER 38 NEW BEST:: SOT 256398 SOS 171262 HAS SOPS 170950 HAS SOUS 134911 HAS SOUPS 134688 WITH SCORE 134859.262
AT ITER 39 NEW BEST:: SOT 255918 SOS 170671 HAS SOPS 170240 HAS SOUS 134262 HAS SOUPS 133981 WITH SCORE 134151.671
AT ITER 47 NEW BEST:: SOT 255918 SOS 170670 HAS SOPS 170240 HAS SOUS 134241 HAS SOUPS 133981 WITH SCORE 134151.67
AT ITER 50 NEW BEST:: SOT 255777 SOS 170529 HAS SOPS 170099 HAS SOUS 134100 HAS SOUPS 133840 WITH SCORE 134010.529
AT ITER 54 NEW BEST:: SOT 253696 SOS 171559 HAS SOPS 168327 HAS SOUS 132944 HAS SOUPS 132530 WITH SCORE 132701.559
AT ITER 56 NEW BEST:: SOT 253696 SOS 171421 HAS SOPS 168143 HAS SOUS 132944 HAS SOUPS 132530 WITH SCORE 132701.421
AT ITER 57 NEW BEST:: SOT 253696 SOS 171420 HAS SOPS 168143 HAS SOUS 132944 HAS SOUPS 132530 WITH SCORE 132701.42
AT ITER 59 NEW BEST:: SOT 253696 SOS 170236 HAS SOPS 167020 HAS SOUS 132944 HAS SOUPS 132530 WITH SCORE 132700.236
AT ITER 61 NEW BEST:: SOT 253663 SOS 170704 HAS SOPS 167488 HAS SOUS 132915 HAS SOUPS 132501 WITH SCORE 132671.704
AT ITER 64 NEW BEST:: SOT 253335 SOS 170323 HAS SOPS 167070 HAS SOUS 132462 HAS SOUPS 132048 WITH SCORE 132218.323
AT ITER 65 NEW BEST:: SOT 253335 SOS 170247 HAS SOPS 166994 HAS SOUS 132377 HAS SOUPS 131963 WITH SCORE 132133.247
AT ITER 68 NEW BEST:: SOT 252927 SOS 169795 HAS SOPS 166492 HAS SOUS 131839 HAS SOUPS 131425 WITH SCORE 131594.795
AT ITER 69 NEW BEST:: SOT 251486 SOS 168955 HAS SOPS 165300 HAS SOUS 130898 HAS SOUPS 130401 WITH SCORE 130569.955
AT ITER 72 NEW BEST:: SOT 251454 SOS 168923 HAS SOPS 165204 HAS SOUS 130825 HAS SOUPS 130328 WITH SCORE 130496.923
AT ITER 74 NEW BEST:: SOT 251080 SOS 168913 HAS SOPS 165313 HAS SOUS 130787 HAS SOUPS 130314 WITH SCORE 130482.913
AT ITER 75 NEW BEST:: SOT 250090 SOS 168008 HAS SOPS 164448 HAS SOUS 129835 HAS SOUPS 129346 WITH SCORE 129514.008
AT ITER 79 NEW BEST:: SOT 250090 SOS 168008 HAS SOPS 164448 HAS SOUS 129790 HAS SOUPS 129301 WITH SCORE 129469.008
AT ITER 80 NEW BEST:: SOT 250081 SOS 168104 HAS SOPS 164623 HAS SOUS 129772 HAS SOUPS 129283 WITH SCORE 129451.104
AT ITER 81 NEW BEST:: SOT 249984 SOS 168505 HAS SOPS 164975 HAS SOUS 129650 HAS SOUPS 129161 WITH SCORE 129329.505
AT ITER 82 NEW BEST:: SOT 249984 SOS 168421 HAS SOPS 164891 HAS SOUS 129650 HAS SOUPS 129161 WITH SCORE 129329.421
AT ITER 83 NEW BEST:: SOT 249940 SOS 168355 HAS SOPS 164821 HAS SOUS 129648 HAS SOUPS 129156 WITH SCORE 129324.355
AT ITER 84 NEW BEST:: SOT 249400 SOS 167780 HAS SOPS 164114 HAS SOUS 129016 HAS SOUPS 128452 WITH SCORE 128619.78
AT ITER 85 NEW BEST:: SOT 248656 SOS 166918 HAS SOPS 163219 HAS SOUS 128015 HAS SOUPS 127450 WITH SCORE 127616.918
AT ITER 87 NEW BEST:: SOT 248656 SOS 166837 HAS SOPS 163219 HAS SOUS 128015 HAS SOUPS 127450 WITH SCORE 127616.837
AT ITER 89 NEW BEST:: SOT 248464 SOS 166730 HAS SOPS 162937 HAS SOUS 127688 HAS SOUPS 127123 WITH SCORE 127289.73
AT ITER 91 NEW BEST:: SOT 248464 SOS 166227 HAS SOPS 162434 HAS SOUS 127355 HAS SOUPS 126790 WITH SCORE 126956.227
AT ITER 95 NEW BEST:: SOT 248464 SOS 166186 HAS SOPS 162393 HAS SOUS 127355 HAS SOUPS 126790 WITH SCORE 126956.186
AT ITER 96 NEW BEST:: SOT 246590 SOS 166492 HAS SOPS 160717 HAS SOUS 126081 HAS SOUPS 125411 WITH SCORE 125577.492
AT ITER 97 NEW BEST:: SOT 246386 SOS 166288 HAS SOPS 160491 HAS SOUS 125875 HAS SOUPS 125205 WITH SCORE 125371.288
AT ITER 100 NEW BEST:: SOT 246386 SOS 166200 HAS SOPS 160403 HAS SOUS 125809 HAS SOUPS 125139 WITH SCORE 125305.2
AT ITER 101 NEW BEST:: SOT 245779 SOS 165788 HAS SOPS 159968 HAS SOUS 125486 HAS SOUPS 124811 WITH SCORE 124976.788
AT ITER 104 NEW BEST:: SOT 245779 SOS 165714 HAS SOPS 159931 HAS SOUS 125486 HAS SOUPS 124811 WITH SCORE 124976.714
AT ITER 109 NEW BEST:: SOT 245779 SOS 165350 HAS SOPS 159567 HAS SOUS 125434 HAS SOUPS 124759 WITH SCORE 124924.35
AT ITER 110 NEW BEST:: SOT 245779 SOS 165350 HAS SOPS 159567 HAS SOUS 125424 HAS SOUPS 124749 WITH SCORE 124914.35
AT ITER 112 NEW BEST:: SOT 245283 SOS 164854 HAS SOPS 158993 HAS SOUS 124772 HAS SOUPS 124097 WITH SCORE 124261.854
AT ITER 113 NEW BEST:: SOT 244439 SOS 163998 HAS SOPS 158126 HAS SOUS 123834 HAS SOUPS 123159 WITH SCORE 123322.998
AT ITER 114 NEW BEST:: SOT 244439 SOS 163878 HAS SOPS 158006 HAS SOUS 123714 HAS SOUPS 123039 WITH SCORE 123202.878
AT ITER 116 NEW BEST:: SOT 244395 SOS 163594 HAS SOPS 157711 HAS SOUS 123352 HAS SOUPS 122677 WITH SCORE 122840.594
AT ITER 119 NEW BEST:: SOT 244383 SOS 162815 HAS SOPS 157011 HAS SOUS 123316 HAS SOUPS 122641 WITH SCORE 122803.815
AT ITER 124 NEW BEST:: SOT 242540 SOS 165515 HAS SOPS 155418 HAS SOUS 122223 HAS SOUPS 121423 WITH SCORE 121588.515
AT ITER 130 NEW BEST:: SOT 242405 SOS 165380 HAS SOPS 155283 HAS SOUS 121904 HAS SOUPS 121104 WITH SCORE 121269.38
AT ITER 131 NEW BEST:: SOT 242405 SOS 165243 HAS SOPS 155119 HAS SOUS 121740 HAS SOUPS 120940 WITH SCORE 121105.243
AT ITER 136 NEW BEST:: SOT 242557 SOS 165362 HAS SOPS 155238 HAS SOUS 121674 HAS SOUPS 120874 WITH SCORE 121039.362
AT ITER 138 NEW BEST:: SOT 242485 SOS 165272 HAS SOPS 155116 HAS SOUS 121558 HAS SOUPS 120752 WITH SCORE 120917.272
AT ITER 139 NEW BEST:: SOT 242485 SOS 165196 HAS SOPS 155116 HAS SOUS 121534 HAS SOUPS 120752 WITH SCORE 120917.196
AT ITER 142 NEW BEST:: SOT 241801 SOS 164512 HAS SOPS 154463 HAS SOUS 120821 HAS SOUPS 120038 WITH SCORE 120202.512
AT ITER 143 NEW BEST:: SOT 241588 SOS 164300 HAS SOPS 154251 HAS SOUS 120609 HAS SOUPS 119826 WITH SCORE 119990.3
AT ITER 145 NEW BEST:: SOT 241588 SOS 163782 HAS SOPS 153733 HAS SOUS 120525 HAS SOUPS 119742 WITH SCORE 119905.782
AT ITER 147 NEW BEST:: SOT 241570 SOS 163831 HAS SOPS 153706 HAS SOUS 120463 HAS SOUPS 119680 WITH SCORE 119843.831
AT ITER 148 NEW BEST:: SOT 241545 SOS 163655 HAS SOPS 153656 HAS SOUS 120454 HAS SOUPS 119671 WITH SCORE 119834.655
AT ITER 149 NEW BEST:: SOT 241478 SOS 163415 HAS SOPS 153380 HAS SOUS 119982 HAS SOUPS 119199 WITH SCORE 119362.415
AT ITER 151 NEW BEST:: SOT 241478 SOS 163366 HAS SOPS 153380 HAS SOUS 119982 HAS SOUPS 119199 WITH SCORE 119362.366
AT ITER 153 NEW BEST:: SOT 238631 SOS 163024 HAS SOPS 151109 HAS SOUS 118163 HAS SOUPS 117195 WITH SCORE 117358.024
AT ITER 157 NEW BEST:: SOT 237723 SOS 162338 HAS SOPS 150337 HAS SOUS 117525 HAS SOUPS 116523 WITH SCORE 116685.338
AT ITER 158 NEW BEST:: SOT 237723 SOS 162250 HAS SOPS 150546 HAS SOUS 117525 HAS SOUPS 116523 WITH SCORE 116685.25
AT ITER 161 NEW BEST:: SOT 237491 SOS 161877 HAS SOPS 150159 HAS SOUS 117071 HAS SOUPS 116069 WITH SCORE 116230.877
AT ITER 162 NEW BEST:: SOT 236973 SOS 161359 HAS SOPS 149641 HAS SOUS 116553 HAS SOUPS 115551 WITH SCORE 115712.359
AT ITER 164 NEW BEST:: SOT 236767 SOS 161565 HAS SOPS 149831 HAS SOUS 116305 HAS SOUPS 115303 WITH SCORE 115464.565
AT ITER 169 NEW BEST:: SOT 236767 SOS 161595 HAS SOPS 149680 HAS SOUS 116218 HAS SOUPS 115215 WITH SCORE 115376.595
AT ITER 175 NEW BEST:: SOT 236767 SOS 161619 HAS SOPS 149680 HAS SOUS 116194 HAS SOUPS 115191 WITH SCORE 115352.619
AT ITER 176 NEW BEST:: SOT 236284 SOS 161167 HAS SOPS 149149 HAS SOUS 115609 HAS SOUPS 114606 WITH SCORE 114767.167
AT ITER 177 NEW BEST:: SOT 230488 SOS 158817 HAS SOPS 144219 HAS SOUS 111496 HAS SOUPS 110233 WITH SCORE 110391.817
AT ITER 178 NEW BEST:: SOT 229882 SOS 158211 HAS SOPS 143613 HAS SOUS 110915 HAS SOUPS 109652 WITH SCORE 109810.211
AT ITER 180 NEW BEST:: SOT 229501 SOS 156779 HAS SOPS 142293 HAS SOUS 110620 HAS SOUPS 109357 WITH SCORE 109513.779
AT ITER 182 NEW BEST:: SOT 229159 SOS 156521 HAS SOPS 141974 HAS SOUS 110153 HAS SOUPS 108890 WITH SCORE 109046.521
AT ITER 191 NEW BEST:: SOT 229159 SOS 156655 HAS SOPS 141974 HAS SOUS 110117 HAS SOUPS 108854 WITH SCORE 109010.655
AT ITER 194 NEW BEST:: SOT 229100 SOS 156633 HAS SOPS 141880 HAS SOUS 110023 HAS SOUPS 108760 WITH SCORE 108916.633
AT ITER 197 NEW BEST:: SOT 228900 SOS 156433 HAS SOPS 141503 HAS SOUS 109504 HAS SOUPS 108241 WITH SCORE 108397.433
AT ITER 198 NEW BEST:: SOT 228895 SOS 156428 HAS SOPS 141498 HAS SOUS 109499 HAS SOUPS 108236 WITH SCORE 108392.428
AT ITER 203 NEW BEST:: SOT 228869 SOS 156344 HAS SOPS 141436 HAS SOUS 109468 HAS SOUPS 108205 WITH SCORE 108361.344
AT ITER 205 NEW BEST:: SOT 228869 SOS 156228 HAS SOPS 141436 HAS SOUS 109468 HAS SOUPS 108205 WITH SCORE 108361.228
AT ITER 207 NEW BEST:: SOT 228708 SOS 156097 HAS SOPS 141189 HAS SOUS 109193 HAS SOUPS 107930 WITH SCORE 108086.097
AT ITER 208 NEW BEST:: SOT 228708 SOS 156015 HAS SOPS 141189 HAS SOUS 109193 HAS SOUPS 107930 WITH SCORE 108086.015
AT ITER 212 NEW BEST:: SOT 227700 SOS 155199 HAS SOPS 140221 HAS SOUS 108389 HAS SOUPS 107126 WITH SCORE 107281.199
AT ITER 213 NEW BEST:: SOT 227700 SOS 155110 HAS SOPS 140132 HAS SOUS 108389 HAS SOUPS 107126 WITH SCORE 107281.11
AT ITER 216 NEW BEST:: SOT 227610 SOS 155039 HAS SOPS 140005 HAS SOUS 108218 HAS SOUPS 106955 WITH SCORE 107110.039
AT ITER 219 NEW BEST:: SOT 227610 SOS 153654 HAS SOPS 138719 HAS SOUS 107987 HAS SOUPS 106724 WITH SCORE 106877.654
AT ITER 225 NEW BEST:: SOT 226783 SOS 152743 HAS SOPS 137808 HAS SOUS 106933 HAS SOUPS 105670 WITH SCORE 105822.743
AT ITER 226 NEW BEST:: SOT 226711 SOS 152671 HAS SOPS 137736 HAS SOUS 106849 HAS SOUPS 105586 WITH SCORE 105738.671
AT ITER 229 NEW BEST:: SOT 226414 SOS 152477 HAS SOPS 137580 HAS SOUS 106683 HAS SOUPS 105420 WITH SCORE 105572.477
AT ITER 231 NEW BEST:: SOT 225441 SOS 151795 HAS SOPS 137193 HAS SOUS 106461 HAS SOUPS 105198 WITH SCORE 105349.795
AT ITER 234 NEW BEST:: SOT 225441 SOS 151795 HAS SOPS 137193 HAS SOUS 106418 HAS SOUPS 105155 WITH SCORE 105306.795
AT ITER 235 NEW BEST:: SOT 225361 SOS 151844 HAS SOPS 137045 HAS SOUS 106270 HAS SOUPS 105007 WITH SCORE 105158.844
AT ITER 236 NEW BEST:: SOT 225361 SOS 151840 HAS SOPS 137045 HAS SOUS 106270 HAS SOUPS 105007 WITH SCORE 105158.84
AT ITER 238 NEW BEST:: SOT 225361 SOS 151810 HAS SOPS 137045 HAS SOUS 106270 HAS SOUPS 105007 WITH SCORE 105158.81
AT ITER 241 NEW BEST:: SOT 224629 SOS 153177 HAS SOPS 136475 HAS SOUS 105862 HAS SOUPS 104545 WITH SCORE 104698.177
AT ITER 246 NEW BEST:: SOT 224145 SOS 152679 HAS SOPS 135925 HAS SOUS 105288 HAS SOUPS 103951 WITH SCORE 104103.679
AT ITER 247 NEW BEST:: SOT 224131 SOS 152651 HAS SOPS 135897 HAS SOUS 105260 HAS SOUPS 103923 WITH SCORE 104075.651
AT ITER 248 NEW BEST:: SOT 224123 SOS 152643 HAS SOPS 135880 HAS SOUS 105252 HAS SOUPS 103906 WITH SCORE 104058.643
AT ITER 249 NEW BEST:: SOT 224259 SOS 152646 HAS SOPS 135883 HAS SOUS 104867 HAS SOUPS 103521 WITH SCORE 103673.646
AT ITER 251 NEW BEST:: SOT 224259 SOS 152128 HAS SOPS 135365 HAS SOUS 104786 HAS SOUPS 103440 WITH SCORE 103592.128
AT ITER 257 NEW BEST:: SOT 223901 SOS 151907 HAS SOPS 135282 HAS SOUS 104635 HAS SOUPS 103289 WITH SCORE 103440.907
AT ITER 259 NEW BEST:: SOT 223901 SOS 151728 HAS SOPS 135103 HAS SOUS 104390 HAS SOUPS 103044 WITH SCORE 103195.728
AT ITER 260 NEW BEST:: SOT 223642 SOS 151482 HAS SOPS 134868 HAS SOUS 104179 HAS SOUPS 102833 WITH SCORE 102984.482
AT ITER 262 NEW BEST:: SOT 222698 SOS 150433 HAS SOPS 134011 HAS SOUS 103135 HAS SOUPS 101769 WITH SCORE 101919.433
AT ITER 263 NEW BEST:: SOT 222698 SOS 150453 HAS SOPS 134011 HAS SOUS 103099 HAS SOUPS 101733 WITH SCORE 101883.453
AT ITER 265 NEW BEST:: SOT 222558 SOS 150664 HAS SOPS 134222 HAS SOUS 103098 HAS SOUPS 101732 WITH SCORE 101882.664
AT ITER 266 NEW BEST:: SOT 222492 SOS 150663 HAS SOPS 134415 HAS SOUS 103096 HAS SOUPS 101730 WITH SCORE 101880.663
AT ITER 273 NEW BEST:: SOT 222282 SOS 150453 HAS SOPS 134205 HAS SOUS 102886 HAS SOUPS 101520 WITH SCORE 101670.453
AT ITER 274 NEW BEST:: SOT 222204 SOS 150378 HAS SOPS 133961 HAS SOUS 102559 HAS SOUPS 101193 WITH SCORE 101343.378
AT ITER 275 NEW BEST:: SOT 220691 SOS 148836 HAS SOPS 132748 HAS SOUS 101094 HAS SOUPS 99728 WITH SCORE 99876.836
AT ITER 276 NEW BEST:: SOT 220613 SOS 148758 HAS SOPS 132631 HAS SOUS 100963 HAS SOUPS 99597 WITH SCORE 99745.758
AT ITER 280 NEW BEST:: SOT 220411 SOS 147113 HAS SOPS 130986 HAS SOUS 100761 HAS SOUPS 99395 WITH SCORE 99542.113
AT ITER 281 NEW BEST:: SOT 220009 SOS 146687 HAS SOPS 130645 HAS SOUS 100494 HAS SOUPS 99128 WITH SCORE 99274.687
AT ITER 282 NEW BEST:: SOT 219171 SOS 145998 HAS SOPS 130273 HAS SOUS 99631 HAS SOUPS 98265 WITH SCORE 98410.998
AT ITER 286 NEW BEST:: SOT 219151 SOS 145978 HAS SOPS 130243 HAS SOUS 99599 HAS SOUPS 98223 WITH SCORE 98368.978
AT ITER 287 NEW BEST:: SOT 219100 SOS 145927 HAS SOPS 130192 HAS SOUS 99548 HAS SOUPS 98172 WITH SCORE 98317.927
AT ITER 289 NEW BEST:: SOT 218944 SOS 145497 HAS SOPS 129762 HAS SOUS 99255 HAS SOUPS 97879 WITH SCORE 98024.497
AT ITER 290 NEW BEST:: SOT 218829 SOS 145382 HAS SOPS 129532 HAS SOUS 99024 HAS SOUPS 97648 WITH SCORE 97793.382
AT ITER 291 NEW BEST:: SOT 218766 SOS 145236 HAS SOPS 129406 HAS SOUS 98898 HAS SOUPS 97522 WITH SCORE 97667.236
AT ITER 294 NEW BEST:: SOT 218766 SOS 144555 HAS SOPS 128725 HAS SOUS 98728 HAS SOUPS 97352 WITH SCORE 97496.555
AT ITER 296 NEW BEST:: SOT 218692 SOS 144350 HAS SOPS 128599 HAS SOUS 98726 HAS SOUPS 97350 WITH SCORE 97494.35
AT ITER 298 NEW BEST:: SOT 216540 SOS 143311 HAS SOPS 126897 HAS SOUS 97384 HAS SOUPS 95918 WITH SCORE 96061.311
AT ITER 299 NEW BEST:: SOT 216540 SOS 141856 HAS SOPS 125536 HAS SOUS 97384 HAS SOUPS 95918 WITH SCORE 96059.856
AT ITER 303 NEW BEST:: SOT 216151 SOS 141275 HAS SOPS 124938 HAS SOUS 96786 HAS SOUPS 95320 WITH SCORE 95461.275
AT ITER 304 NEW BEST:: SOT 216166 SOS 141170 HAS SOPS 124876 HAS SOUS 96764 HAS SOUPS 95298 WITH SCORE 95439.17
AT ITER 308 NEW BEST:: SOT 216312 SOS 141462 HAS SOPS 125168 HAS SOUS 96757 HAS SOUPS 95291 WITH SCORE 95432.462
AT ITER 311 NEW BEST:: SOT 216312 SOS 141362 HAS SOPS 125068 HAS SOUS 96757 HAS SOUPS 95291 WITH SCORE 95432.362
AT ITER 315 NEW BEST:: SOT 216186 SOS 141154 HAS SOPS 124760 HAS SOUS 96531 HAS SOUPS 95061 WITH SCORE 95202.154
AT ITER 319 NEW BEST:: SOT 215990 SOS 141020 HAS SOPS 124626 HAS SOUS 96250 HAS SOUPS 94780 WITH SCORE 94921.02
AT ITER 326 NEW BEST:: SOT 215990 SOS 139857 HAS SOPS 123071 HAS SOUS 96014 HAS SOUPS 94544 WITH SCORE 94683.857
AT ITER 327 NEW BEST:: SOT 215990 SOS 139822 HAS SOPS 123071 HAS SOUS 96014 HAS SOUPS 94544 WITH SCORE 94683.822
AT ITER 329 NEW BEST:: SOT 215990 SOS 139792 HAS SOPS 123071 HAS SOUS 96014 HAS SOUPS 94544 WITH SCORE 94683.792
AT ITER 334 NEW BEST:: SOT 215990 SOS 139740 HAS SOPS 123019 HAS SOUS 95980 HAS SOUPS 94510 WITH SCORE 94649.74
AT ITER 340 NEW BEST:: SOT 215288 SOS 139285 HAS SOPS 122884 HAS SOUS 95874 HAS SOUPS 94404 WITH SCORE 94543.285
AT ITER 343 NEW BEST:: SOT 214568 SOS 138562 HAS SOPS 122161 HAS SOUS 95148 HAS SOUPS 93678 WITH SCORE 93816.562
AT ITER 348 NEW BEST:: SOT 214464 SOS 138246 HAS SOPS 121845 HAS SOUS 94899 HAS SOUPS 93429 WITH SCORE 93567.246
AT ITER 354 NEW BEST:: SOT 214464 SOS 137974 HAS SOPS 121573 HAS SOUS 94899 HAS SOUPS 93429 WITH SCORE 93566.974
AT ITER 356 NEW BEST:: SOT 214421 SOS 137953 HAS SOPS 121552 HAS SOUS 94889 HAS SOUPS 93419 WITH SCORE 93556.953
AT ITER 362 NEW BEST:: SOT 214317 SOS 137651 HAS SOPS 121198 HAS SOUS 94731 HAS SOUPS 93261 WITH SCORE 93398.651
AT ITER 363 NEW BEST:: SOT 214284 SOS 137598 HAS SOPS 121154 HAS SOUS 94698 HAS SOUPS 93228 WITH SCORE 93365.598
AT ITER 365 NEW BEST:: SOT 214272 SOS 137593 HAS SOPS 121154 HAS SOUS 94692 HAS SOUPS 93222 WITH SCORE 93359.593
AT ITER 370 NEW BEST:: SOT 214272 SOS 137569 HAS SOPS 121154 HAS SOUS 94692 HAS SOUPS 93222 WITH SCORE 93359.569
AT ITER 372 NEW BEST:: SOT 214240 SOS 136833 HAS SOPS 120453 HAS SOUS 94569 HAS SOUPS 93099 WITH SCORE 93235.833
AT ITER 373 NEW BEST:: SOT 214245 SOS 136821 HAS SOPS 120266 HAS SOUS 94464 HAS SOUPS 92954 WITH SCORE 93090.821
AT ITER 375 NEW BEST:: SOT 214059 SOS 136635 HAS SOPS 120080 HAS SOUS 94268 HAS SOUPS 92758 WITH SCORE 92894.635
AT ITER 382 NEW BEST:: SOT 214057 SOS 136633 HAS SOPS 120077 HAS SOUS 94265 HAS SOUPS 92755 WITH SCORE 92891.633
AT ITER 383 NEW BEST:: SOT 214013 SOS 136523 HAS SOPS 119967 HAS SOUS 94155 HAS SOUPS 92645 WITH SCORE 92781.523
AT ITER 387 NEW BEST:: SOT 213831 SOS 136341 HAS SOPS 119818 HAS SOUS 93964 HAS SOUPS 92479 WITH SCORE 92615.341
AT ITER 389 NEW BEST:: SOT 212031 SOS 142513 HAS SOPS 120050 HAS SOUS 93458 HAS SOUPS 91810 WITH SCORE 91952.513
AT ITER 390 NEW BEST:: SOT 211318 SOS 142022 HAS SOPS 119421 HAS SOUS 92903 HAS SOUPS 91234 WITH SCORE 91376.022
AT ITER 391 NEW BEST:: SOT 211318 SOS 141732 HAS SOPS 119276 HAS SOUS 92903 HAS SOUPS 91234 WITH SCORE 91375.732
AT ITER 394 NEW BEST:: SOT 209381 SOS 143648 HAS SOPS 118971 HAS SOUS 91840 HAS SOUPS 90055 WITH SCORE 90198.648
AT ITER 400 NEW BEST:: SOT 209381 SOS 143565 HAS SOPS 118971 HAS SOUS 91840 HAS SOUPS 90055 WITH SCORE 90198.565
AT ITER 401 NEW BEST:: SOT 208509 SOS 142693 HAS SOPS 118140 HAS SOUS 90880 HAS SOUPS 89095 WITH SCORE 89237.693
AT ITER 404 NEW BEST:: SOT 208369 SOS 142532 HAS SOPS 117996 HAS SOUS 90718 HAS SOUPS 88933 WITH SCORE 89075.532
AT ITER 405 NEW BEST:: SOT 207541 SOS 141663 HAS SOPS 117107 HAS SOUS 89711 HAS SOUPS 87926 WITH SCORE 88067.663
AT ITER 407 NEW BEST:: SOT 207375 SOS 141289 HAS SOPS 116733 HAS SOUS 89396 HAS SOUPS 87611 WITH SCORE 87752.289
AT ITER 408 NEW BEST:: SOT 207290 SOS 141140 HAS SOPS 116498 HAS SOUS 89236 HAS SOUPS 87451 WITH SCORE 87592.14
AT ITER 409 NEW BEST:: SOT 207242 SOS 141092 HAS SOPS 116450 HAS SOUS 89188 HAS SOUPS 87403 WITH SCORE 87544.092
AT ITER 410 NEW BEST:: SOT 207242 SOS 141068 HAS SOPS 116450 HAS SOUS 89188 HAS SOUPS 87403 WITH SCORE 87544.068
AT ITER 416 NEW BEST:: SOT 207024 SOS 140986 HAS SOPS 116393 HAS SOUS 88894 HAS SOUPS 87109 WITH SCORE 87249.986
AT ITER 422 NEW BEST:: SOT 207024 SOS 140966 HAS SOPS 116373 HAS SOUS 88894 HAS SOUPS 87109 WITH SCORE 87249.966
AT ITER 423 NEW BEST:: SOT 206984 SOS 140926 HAS SOPS 116313 HAS SOUS 88886 HAS SOUPS 87101 WITH SCORE 87241.926
AT ITER 424 NEW BEST:: SOT 206860 SOS 140704 HAS SOPS 116045 HAS SOUS 88544 HAS SOUPS 86759 WITH SCORE 86899.704
AT ITER 426 NEW BEST:: SOT 207007 SOS 140865 HAS SOPS 116206 HAS SOUS 88476 HAS SOUPS 86691 WITH SCORE 86831.865
AT ITER 431 NEW BEST:: SOT 207006 SOS 140814 HAS SOPS 116179 HAS SOUS 88474 HAS SOUPS 86689 WITH SCORE 86829.814
AT ITER 432 NEW BEST:: SOT 206964 SOS 140739 HAS SOPS 116095 HAS SOUS 88348 HAS SOUPS 86563 WITH SCORE 86703.739
AT ITER 433 NEW BEST:: SOT 206964 SOS 140758 HAS SOPS 116094 HAS SOUS 88346 HAS SOUPS 86561 WITH SCORE 86701.758
AT ITER 435 NEW BEST:: SOT 207095 SOS 140055 HAS SOPS 115391 HAS SOUS 88274 HAS SOUPS 86489 WITH SCORE 86629.055
AT ITER 438 NEW BEST:: SOT 207202 SOS 140142 HAS SOPS 115189 HAS SOUS 87743 HAS SOUPS 85958 WITH SCORE 86098.142
AT ITER 443 NEW BEST:: SOT 207202 SOS 139707 HAS SOPS 114768 HAS SOUS 87743 HAS SOUPS 85958 WITH SCORE 86097.707
AT ITER 449 NEW BEST:: SOT 207202 SOS 139675 HAS SOPS 114698 HAS SOUS 87743 HAS SOUPS 85958 WITH SCORE 86097.675
AT ITER 453 NEW BEST:: SOT 207159 SOS 139680 HAS SOPS 114663 HAS SOUS 87712 HAS SOUPS 85925 WITH SCORE 86064.68
AT ITER 454 NEW BEST:: SOT 207141 SOS 139662 HAS SOPS 114600 HAS SOUS 87663 HAS SOUPS 85862 WITH SCORE 86001.662
AT ITER 456 NEW BEST:: SOT 207142 SOS 139664 HAS SOPS 114602 HAS SOUS 87660 HAS SOUPS 85859 WITH SCORE 85998.664
AT ITER 458 NEW BEST:: SOT 207031 SOS 139971 HAS SOPS 114521 HAS SOUS 87599 HAS SOUPS 85788 WITH SCORE 85927.971
AT ITER 466 NEW BEST:: SOT 207031 SOS 139945 HAS SOPS 114547 HAS SOUS 87599 HAS SOUPS 85788 WITH SCORE 85927.945
AT ITER 468 NEW BEST:: SOT 206987 SOS 139901 HAS SOPS 114481 HAS SOUS 87511 HAS SOUPS 85700 WITH SCORE 85839.901
AT ITER 471 NEW BEST:: SOT 206870 SOS 139715 HAS SOPS 114226 HAS SOUS 87256 HAS SOUPS 85445 WITH SCORE 85584.715
AT ITER 474 NEW BEST:: SOT 206870 SOS 139610 HAS SOPS 114142 HAS SOUS 87172 HAS SOUPS 85361 WITH SCORE 85500.61
AT ITER 475 NEW BEST:: SOT 206826 SOS 139541 HAS SOPS 114051 HAS SOUS 87100 HAS SOUPS 85289 WITH SCORE 85428.541
AT ITER 478 NEW BEST:: SOT 206826 SOS 139021 HAS SOPS 113582 HAS SOUS 87100 HAS SOUPS 85289 WITH SCORE 85428.021
AT ITER 480 NEW BEST:: SOT 206826 SOS 138961 HAS SOPS 113582 HAS SOUS 87100 HAS SOUPS 85289 WITH SCORE 85427.961
AT ITER 483 NEW BEST:: SOT 206800 SOS 138935 HAS SOPS 113543 HAS SOUS 87061 HAS SOUPS 85250 WITH SCORE 85388.935
AT ITER 485 NEW BEST:: SOT 206841 SOS 138874 HAS SOPS 113223 HAS SOUS 87029 HAS SOUPS 85218 WITH SCORE 85356.874
AT ITER 486 NEW BEST:: SOT 206709 SOS 138742 HAS SOPS 112959 HAS SOUS 86765 HAS SOUPS 84954 WITH SCORE 85092.742
AT ITER 497 NEW BEST:: SOT 206397 SOS 138403 HAS SOPS 112699 HAS SOUS 86505 HAS SOUPS 84694 WITH SCORE 84832.403
AT ITER 498 NEW BEST:: SOT 206325 SOS 138295 HAS SOPS 112591 HAS SOUS 86397 HAS SOUPS 84586 WITH SCORE 84724.295
AT ITER 500 NEW BEST:: SOT 206337 SOS 138283 HAS SOPS 112579 HAS SOUS 86385 HAS SOUPS 84574 WITH SCORE 84712.283
AT ITER 503 NEW BEST:: SOT 206337 SOS 138246 HAS SOPS 112542 HAS SOUS 86385 HAS SOUPS 84574 WITH SCORE 84712.246
AT ITER 515 NEW BEST:: SOT 206396 SOS 138133 HAS SOPS 112437 HAS SOUS 86325 HAS SOUPS 84514 WITH SCORE 84652.133
AT ITER 522 NEW BEST:: SOT 206013 SOS 137708 HAS SOPS 111892 HAS SOUS 85787 HAS SOUPS 83976 WITH SCORE 84113.708
AT ITER 524 NEW BEST:: SOT 205677 SOS 137367 HAS SOPS 111556 HAS SOUS 85451 HAS SOUPS 83640 WITH SCORE 83777.367
AT ITER 525 NEW BEST:: SOT 205275 SOS 136825 HAS SOPS 111014 HAS SOUS 85076 HAS SOUPS 83265 WITH SCORE 83401.825
AT ITER 530 NEW BEST:: SOT 204777 SOS 137113 HAS SOPS 110648 HAS SOUS 84740 HAS SOUPS 82903 WITH SCORE 83040.113
AT ITER 535 NEW BEST:: SOT 204777 SOS 137113 HAS SOPS 110564 HAS SOUS 84656 HAS SOUPS 82819 WITH SCORE 82956.113
AT ITER 538 NEW BEST:: SOT 204800 SOS 137136 HAS SOPS 110587 HAS SOUS 84635 HAS SOUPS 82798 WITH SCORE 82935.136
AT ITER 550 NEW BEST:: SOT 204655 SOS 136913 HAS SOPS 110364 HAS SOUS 84412 HAS SOUPS 82575 WITH SCORE 82711.913
AT ITER 552 NEW BEST:: SOT 204460 SOS 136467 HAS SOPS 110346 HAS SOUS 84384 HAS SOUPS 82547 WITH SCORE 82683.467
AT ITER 559 NEW BEST:: SOT 204345 SOS 136408 HAS SOPS 110267 HAS SOUS 84376 HAS SOUPS 82539 WITH SCORE 82675.408
AT ITER 560 NEW BEST:: SOT 204345 SOS 136404 HAS SOPS 110372 HAS SOUS 84355 HAS SOUPS 82518 WITH SCORE 82654.404
AT ITER 562 NEW BEST:: SOT 204345 SOS 136350 HAS SOPS 110345 HAS SOUS 84355 HAS SOUPS 82518 WITH SCORE 82654.35
AT ITER 564 NEW BEST:: SOT 204085 SOS 136080 HAS SOPS 110174 HAS SOUS 84149 HAS SOUPS 82304 WITH SCORE 82440.08
AT ITER 565 NEW BEST:: SOT 204085 SOS 135945 HAS SOPS 109979 HAS SOUS 84149 HAS SOUPS 82304 WITH SCORE 82439.945
AT ITER 571 NEW BEST:: SOT 203443 SOS 136744 HAS SOPS 109637 HAS SOUS 83830 HAS SOUPS 81944 WITH SCORE 82080.744
AT ITER 574 NEW BEST:: SOT 203443 SOS 136667 HAS SOPS 109580 HAS SOUS 83830 HAS SOUPS 81944 WITH SCORE 82080.667
AT ITER 575 NEW BEST:: SOT 202697 SOS 137636 HAS SOPS 109020 HAS SOUS 83505 HAS SOUPS 81562 WITH SCORE 81699.636
AT ITER 576 NEW BEST:: SOT 202589 SOS 137528 HAS SOPS 108966 HAS SOUS 83424 HAS SOUPS 81508 WITH SCORE 81645.528
AT ITER 579 NEW BEST:: SOT 202520 SOS 137387 HAS SOPS 108768 HAS SOUS 83245 HAS SOUPS 81329 WITH SCORE 81466.387
AT ITER 583 NEW BEST:: SOT 202377 SOS 137141 HAS SOPS 108363 HAS SOUS 82982 HAS SOUPS 81066 WITH SCORE 81203.141
AT ITER 588 NEW BEST:: SOT 202375 SOS 137139 HAS SOPS 108360 HAS SOUS 82972 HAS SOUPS 81056 WITH SCORE 81193.139
AT ITER 592 NEW BEST:: SOT 201084 SOS 135848 HAS SOPS 107079 HAS SOUS 81677 HAS SOUPS 79761 WITH SCORE 79896.848
AT ITER 600 NEW BEST:: SOT 200588 SOS 135352 HAS SOPS 106521 HAS SOUS 81073 HAS SOUPS 79157 WITH SCORE 79292.352
AT ITER 604 NEW BEST:: SOT 200587 SOS 135349 HAS SOPS 106523 HAS SOUS 81064 HAS SOUPS 79148 WITH SCORE 79283.349
AT ITER 606 NEW BEST:: SOT 200550 SOS 135289 HAS SOPS 106414 HAS SOUS 80955 HAS SOUPS 79039 WITH SCORE 79174.289
AT ITER 612 NEW BEST:: SOT 200550 SOS 135101 HAS SOPS 106575 HAS SOUS 80955 HAS SOUPS 79039 WITH SCORE 79174.101
AT ITER 614 NEW BEST:: SOT 197111 SOS 135257 HAS SOPS 103790 HAS SOUS 78839 HAS SOUPS 76741 WITH SCORE 76876.257
AT ITER 623 NEW BEST:: SOT 197111 SOS 135257 HAS SOPS 103790 HAS SOUS 78801 HAS SOUPS 76703 WITH SCORE 76838.257
AT ITER 624 NEW BEST:: SOT 196487 SOS 134696 HAS SOPS 104108 HAS SOUS 78627 HAS SOUPS 76529 WITH SCORE 76663.696
AT ITER 627 NEW BEST:: SOT 196404 SOS 134585 HAS SOPS 103944 HAS SOUS 78504 HAS SOUPS 76406 WITH SCORE 76540.585
AT ITER 628 NEW BEST:: SOT 196446 SOS 134669 HAS SOPS 103503 HAS SOUS 78190 HAS SOUPS 76092 WITH SCORE 76226.669
AT ITER 634 NEW BEST:: SOT 196446 SOS 134588 HAS SOPS 103503 HAS SOUS 78190 HAS SOUPS 76092 WITH SCORE 76226.588
AT ITER 635 NEW BEST:: SOT 196414 SOS 134511 HAS SOPS 103549 HAS SOUS 78119 HAS SOUPS 76021 WITH SCORE 76155.511
AT ITER 636 NEW BEST:: SOT 195924 SOS 134463 HAS SOPS 103788 HAS SOUS 77868 HAS SOUPS 75770 WITH SCORE 75904.463
AT ITER 643 NEW BEST:: SOT 195952 SOS 134381 HAS SOPS 103748 HAS SOUS 77820 HAS SOUPS 75722 WITH SCORE 75856.381
AT ITER 647 NEW BEST:: SOT 195912 SOS 134341 HAS SOPS 103712 HAS SOUS 77784 HAS SOUPS 75686 WITH SCORE 75820.341
AT ITER 648 NEW BEST:: SOT 195862 SOS 134291 HAS SOPS 103637 HAS SOUS 77684 HAS SOUPS 75586 WITH SCORE 75720.291
AT ITER 650 NEW BEST:: SOT 195769 SOS 132933 HAS SOPS 102339 HAS SOUS 77439 HAS SOUPS 75341 WITH SCORE 75473.933
AT ITER 653 NEW BEST:: SOT 195251 SOS 132506 HAS SOPS 102118 HAS SOUS 77095 HAS SOUPS 75012 WITH SCORE 75144.506
AT ITER 655 NEW BEST:: SOT 194982 SOS 132455 HAS SOPS 102390 HAS SOUS 77066 HAS SOUPS 74983 WITH SCORE 75115.455
AT ITER 657 NEW BEST:: SOT 194868 SOS 132341 HAS SOPS 102327 HAS SOUS 77003 HAS SOUPS 74920 WITH SCORE 75052.341
AT ITER 663 NEW BEST:: SOT 194707 SOS 132180 HAS SOPS 102166 HAS SOUS 76885 HAS SOUPS 74802 WITH SCORE 74934.18
AT ITER 665 NEW BEST:: SOT 194229 SOS 131702 HAS SOPS 101716 HAS SOUS 76413 HAS SOUPS 74348 WITH SCORE 74479.702
AT ITER 672 NEW BEST:: SOT 194193 SOS 131666 HAS SOPS 101644 HAS SOUS 76341 HAS SOUPS 74276 WITH SCORE 74407.666
AT ITER 673 NEW BEST:: SOT 193897 SOS 131202 HAS SOPS 101792 HAS SOUS 76122 HAS SOUPS 74078 WITH SCORE 74209.202
AT ITER 674 NEW BEST:: SOT 193779 SOS 131084 HAS SOPS 101615 HAS SOUS 75886 HAS SOUPS 73842 WITH SCORE 73973.084
AT ITER 677 NEW BEST:: SOT 193779 SOS 131104 HAS SOPS 101408 HAS SOUS 75870 HAS SOUPS 73826 WITH SCORE 73957.104
AT ITER 679 NEW BEST:: SOT 193505 SOS 130830 HAS SOPS 101553 HAS SOUS 75841 HAS SOUPS 73808 WITH SCORE 73938.83
AT ITER 687 NEW BEST:: SOT 193505 SOS 130788 HAS SOPS 101511 HAS SOUS 75824 HAS SOUPS 73791 WITH SCORE 73921.788
AT ITER 688 NEW BEST:: SOT 193505 SOS 130595 HAS SOPS 101444 HAS SOUS 75824 HAS SOUPS 73791 WITH SCORE 73921.595
AT ITER 690 NEW BEST:: SOT 193505 SOS 129832 HAS SOPS 100734 HAS SOUS 75824 HAS SOUPS 73791 WITH SCORE 73920.832
AT ITER 696 NEW BEST:: SOT 193503 SOS 129829 HAS SOPS 100730 HAS SOUS 75821 HAS SOUPS 73788 WITH SCORE 73917.829
AT ITER 697 NEW BEST:: SOT 193503 SOS 129646 HAS SOPS 100547 HAS SOUS 75821 HAS SOUPS 73788 WITH SCORE 73917.646
AT ITER 699 NEW BEST:: SOT 193195 SOS 129290 HAS SOPS 100268 HAS SOUS 75502 HAS SOUPS 73472 WITH SCORE 73601.29
AT ITER 705 NEW BEST:: SOT 193107 SOS 129123 HAS SOPS 100154 HAS SOUS 75238 HAS SOUPS 73208 WITH SCORE 73337.123
AT ITER 709 NEW BEST:: SOT 193004 SOS 129020 HAS SOPS 99937 HAS SOUS 74848 HAS SOUPS 72818 WITH SCORE 72947.02
AT ITER 716 NEW BEST:: SOT 192978 SOS 128956 HAS SOPS 99835 HAS SOUS 74806 HAS SOUPS 72776 WITH SCORE 72904.956
AT ITER 717 NEW BEST:: SOT 192907 SOS 128842 HAS SOPS 99668 HAS SOUS 74758 HAS SOUPS 72728 WITH SCORE 72856.842
AT ITER 718 NEW BEST:: SOT 189986 SOS 128565 HAS SOPS 97548 HAS SOUS 72542 HAS SOUPS 70405 WITH SCORE 70533.565
AT ITER 723 NEW BEST:: SOT 189980 SOS 128562 HAS SOPS 97551 HAS SOUS 72539 HAS SOUPS 70402 WITH SCORE 70530.562
AT ITER 724 NEW BEST:: SOT 184643 SOS 129968 HAS SOPS 94887 HAS SOUS 69396 HAS SOUPS 67027 WITH SCORE 67156.968
AT ITER 726 NEW BEST:: SOT 184395 SOS 129720 HAS SOPS 94781 HAS SOUS 69235 HAS SOUPS 66902 WITH SCORE 67031.72
AT ITER 727 NEW BEST:: SOT 184323 SOS 129666 HAS SOPS 94673 HAS SOUS 69118 HAS SOUPS 66785 WITH SCORE 66914.666
AT ITER 732 NEW BEST:: SOT 184861 SOS 128787 HAS SOPS 92161 HAS SOUS 69772 HAS SOUPS 65465 WITH SCORE 65593.787
AT ITER 739 NEW BEST:: SOT 184875 SOS 128900 HAS SOPS 92206 HAS SOUS 69762 HAS SOUPS 65455 WITH SCORE 65583.9
AT ITER 747 NEW BEST:: SOT 184553 SOS 128574 HAS SOPS 91719 HAS SOUS 69339 HAS SOUPS 65032 WITH SCORE 65160.574
AT ITER 750 NEW BEST:: SOT 184537 SOS 128533 HAS SOPS 91671 HAS SOUS 69324 HAS SOUPS 65017 WITH SCORE 65145.533
AT ITER 759 NEW BEST:: SOT 183990 SOS 128196 HAS SOPS 91535 HAS SOUS 69113 HAS SOUPS 64806 WITH SCORE 64934.196
AT ITER 762 NEW BEST:: SOT 183882 SOS 128088 HAS SOPS 91373 HAS SOUS 68951 HAS SOUPS 64644 WITH SCORE 64772.088
AT ITER 769 NEW BEST:: SOT 183778 SOS 127922 HAS SOPS 91229 HAS SOUS 68793 HAS SOUPS 64486 WITH SCORE 64613.922
AT ITER 773 NEW BEST:: SOT 183728 SOS 127872 HAS SOPS 91154 HAS SOUS 68662 HAS SOUPS 64355 WITH SCORE 64482.872
AT ITER 776 NEW BEST:: SOT 184018 SOS 128185 HAS SOPS 90909 HAS SOUS 68618 HAS SOUPS 64289 WITH SCORE 64417.185
AT ITER 778 NEW BEST:: SOT 183692 SOS 128083 HAS SOPS 90799 HAS SOUS 68389 HAS SOUPS 64060 WITH SCORE 64188.083
AT ITER 780 NEW BEST:: SOT 183692 SOS 127926 HAS SOPS 90642 HAS SOUS 68389 HAS SOUPS 64060 WITH SCORE 64187.926
AT ITER 783 NEW BEST:: SOT 183484 SOS 127712 HAS SOPS 90427 HAS SOUS 68105 HAS SOUPS 63776 WITH SCORE 63903.712
AT ITER 784 NEW BEST:: SOT 183414 SOS 127642 HAS SOPS 90322 HAS SOUS 67965 HAS SOUPS 63636 WITH SCORE 63763.642
AT ITER 789 NEW BEST:: SOT 183240 SOS 127462 HAS SOPS 90055 HAS SOUS 67663 HAS SOUPS 63334 WITH SCORE 63461.462
AT ITER 791 NEW BEST:: SOT 182568 SOS 126790 HAS SOPS 89634 HAS SOUS 67336 HAS SOUPS 63007 WITH SCORE 63133.79
AT ITER 792 NEW BEST:: SOT 182554 SOS 126776 HAS SOPS 89613 HAS SOUS 67308 HAS SOUPS 62979 WITH SCORE 63105.776
AT ITER 793 NEW BEST:: SOT 182554 SOS 126770 HAS SOPS 89649 HAS SOUS 67308 HAS SOUPS 62979 WITH SCORE 63105.77
AT ITER 795 NEW BEST:: SOT 182154 SOS 126713 HAS SOPS 89286 HAS SOUS 67067 HAS SOUPS 62580 WITH SCORE 62706.713
AT ITER 799 NEW BEST:: SOT 182009 SOS 126655 HAS SOPS 89153 HAS SOUS 66995 HAS SOUPS 62508 WITH SCORE 62634.655
AT ITER 804 NEW BEST:: SOT 181839 SOS 126485 HAS SOPS 88898 HAS SOUS 66655 HAS SOUPS 62168 WITH SCORE 62294.485
AT ITER 806 NEW BEST:: SOT 181357 SOS 126003 HAS SOPS 88568 HAS SOUS 66319 HAS SOUPS 61836 WITH SCORE 61962.003
AT ITER 807 NEW BEST:: SOT 179207 SOS 124668 HAS SOPS 88830 HAS SOUS 64544 HAS SOUPS 61658 WITH SCORE 61782.668
AT ITER 812 NEW BEST:: SOT 179207 SOS 124616 HAS SOPS 88778 HAS SOUS 64544 HAS SOUPS 61658 WITH SCORE 61782.616
AT ITER 817 NEW BEST:: SOT 179113 SOS 124522 HAS SOPS 88754 HAS SOUS 64525 HAS SOUPS 61639 WITH SCORE 61763.522
AT ITER 818 NEW BEST:: SOT 178847 SOS 124256 HAS SOPS 88638 HAS SOUS 64312 HAS SOUPS 61470 WITH SCORE 61594.256
AT ITER 819 NEW BEST:: SOT 178677 SOS 124086 HAS SOPS 88383 HAS SOUS 64006 HAS SOUPS 61164 WITH SCORE 61288.086
AT ITER 826 NEW BEST:: SOT 178677 SOS 124078 HAS SOPS 88383 HAS SOUS 64006 HAS SOUPS 61164 WITH SCORE 61288.078
AT ITER 827 NEW BEST:: SOT 178665 SOS 124066 HAS SOPS 88370 HAS SOUS 63978 HAS SOUPS 61136 WITH SCORE 61260.066
AT ITER 832 NEW BEST:: SOT 178665 SOS 124066 HAS SOPS 88370 HAS SOUS 63961 HAS SOUPS 61119 WITH SCORE 61243.066
AT ITER 833 NEW BEST:: SOT 178665 SOS 123964 HAS SOPS 88268 HAS SOUS 63961 HAS SOUPS 61119 WITH SCORE 61242.964
AT ITER 837 NEW BEST:: SOT 178665 SOS 123964 HAS SOPS 88220 HAS SOUS 63925 HAS SOUPS 61083 WITH SCORE 61206.964
AT ITER 838 NEW BEST:: SOT 178748 SOS 123743 HAS SOPS 88022 HAS SOUS 63821 HAS SOUPS 60979 WITH SCORE 61102.743
AT ITER 840 NEW BEST:: SOT 178796 SOS 123791 HAS SOPS 88070 HAS SOUS 63674 HAS SOUPS 60832 WITH SCORE 60955.791
AT ITER 847 NEW BEST:: SOT 178828 SOS 123823 HAS SOPS 88134 HAS SOUS 63671 HAS SOUPS 60829 WITH SCORE 60952.823
AT ITER 848 NEW BEST:: SOT 177800 SOS 122749 HAS SOPS 87237 HAS SOUS 62694 HAS SOUPS 59852 WITH SCORE 59974.749
AT ITER 867 NEW BEST:: SOT 177800 SOS 122727 HAS SOPS 87215 HAS SOUS 62694 HAS SOUPS 59852 WITH SCORE 59974.727
AT ITER 869 NEW BEST:: SOT 177800 SOS 122734 HAS SOPS 87222 HAS SOUS 62687 HAS SOUPS 59845 WITH SCORE 59967.734
AT ITER 870 NEW BEST:: SOT 177800 SOS 122734 HAS SOPS 87222 HAS SOUS 62677 HAS SOUPS 59835 WITH SCORE 59957.734
AT ITER 880 NEW BEST:: SOT 177683 SOS 122617 HAS SOPS 87092 HAS SOUS 62534 HAS SOUPS 59692 WITH SCORE 59814.617
AT ITER 881 NEW BEST:: SOT 177683 SOS 122617 HAS SOPS 87092 HAS SOUS 62532 HAS SOUPS 59690 WITH SCORE 59812.617
AT ITER 886 NEW BEST:: SOT 177683 SOS 122616 HAS SOPS 87092 HAS SOUS 62532 HAS SOUPS 59690 WITH SCORE 59812.616
AT ITER 900 NEW BEST:: SOT 177683 SOS 122616 HAS SOPS 87092 HAS SOUS 62496 HAS SOUPS 59654 WITH SCORE 59776.616
AT ITER 901 NEW BEST:: SOT 177331 SOS 122264 HAS SOPS 86828 HAS SOUS 62272 HAS SOUPS 59448 WITH SCORE 59570.264
AT ITER 902 NEW BEST:: SOT 177283 SOS 122216 HAS SOPS 86756 HAS SOUS 62200 HAS SOUPS 59376 WITH SCORE 59498.216
AT ITER 904 NEW BEST:: SOT 177225 SOS 122158 HAS SOPS 86669 HAS SOUS 62103 HAS SOUPS 59279 WITH SCORE 59401.158
AT ITER 905 NEW BEST:: SOT 177225 SOS 121787 HAS SOPS 86298 HAS SOUS 62092 HAS SOUPS 59268 WITH SCORE 59389.787
AT ITER 906 NEW BEST:: SOT 177256 SOS 121818 HAS SOPS 86200 HAS SOUS 62015 HAS SOUPS 59191 WITH SCORE 59312.818
AT ITER 910 NEW BEST:: SOT 177091 SOS 122064 HAS SOPS 86167 HAS SOUS 61938 HAS SOUPS 59103 WITH SCORE 59225.064
AT ITER 915 NEW BEST:: SOT 177304 SOS 121720 HAS SOPS 85206 HAS SOUS 62148 HAS SOUPS 58556 WITH SCORE 58677.72
AT ITER 917 NEW BEST:: SOT 177310 SOS 121726 HAS SOPS 85195 HAS SOUS 62136 HAS SOUPS 58544 WITH SCORE 58665.726
AT ITER 922 NEW BEST:: SOT 176965 SOS 121721 HAS SOPS 85098 HAS SOUS 61834 HAS SOUPS 58150 WITH SCORE 58271.721
AT ITER 931 NEW BEST:: SOT 176833 SOS 121589 HAS SOPS 84966 HAS SOUS 61702 HAS SOUPS 58018 WITH SCORE 58139.589
AT ITER 936 NEW BEST:: SOT 176721 SOS 121477 HAS SOPS 84742 HAS SOUS 61549 HAS SOUPS 57824 WITH SCORE 57945.477
AT ITER 937 NEW BEST:: SOT 176436 SOS 121192 HAS SOPS 84400 HAS SOUS 61358 HAS SOUPS 57633 WITH SCORE 57754.192
AT ITER 942 NEW BEST:: SOT 176381 SOS 121164 HAS SOPS 84399 HAS SOUS 61241 HAS SOUPS 57516 WITH SCORE 57637.164
AT ITER 943 NEW BEST:: SOT 176345 SOS 121128 HAS SOPS 84345 HAS SOUS 61148 HAS SOUPS 57423 WITH SCORE 57544.128
AT ITER 946 NEW BEST:: SOT 176335 SOS 121118 HAS SOPS 84330 HAS SOUS 61133 HAS SOUPS 57408 WITH SCORE 57529.118
AT ITER 947 NEW BEST:: SOT 176039 SOS 120828 HAS SOPS 84040 HAS SOUS 60935 HAS SOUPS 57210 WITH SCORE 57330.828
AT ITER 949 NEW BEST:: SOT 175802 SOS 120854 HAS SOPS 84222 HAS SOUS 60818 HAS SOUPS 57093 WITH SCORE 57213.854
AT ITER 950 NEW BEST:: SOT 175767 SOS 121159 HAS SOPS 84633 HAS SOUS 60783 HAS SOUPS 57058 WITH SCORE 57179.159
AT ITER 954 NEW BEST:: SOT 175487 SOS 120879 HAS SOPS 84240 HAS SOUS 60390 HAS SOUPS 56665 WITH SCORE 56785.879
AT ITER 961 NEW BEST:: SOT 175465 SOS 120846 HAS SOPS 84293 HAS SOUS 60365 HAS SOUPS 56640 WITH SCORE 56760.846
AT ITER 965 NEW BEST:: SOT 175443 SOS 120824 HAS SOPS 84260 HAS SOUS 60332 HAS SOUPS 56607 WITH SCORE 56727.824
AT ITER 974 NEW BEST:: SOT 175341 SOS 120755 HAS SOPS 84158 HAS SOUS 60272 HAS SOUPS 56547 WITH SCORE 56667.755
AT ITER 980 NEW BEST:: SOT 175341 SOS 120750 HAS SOPS 84158 HAS SOUS 60272 HAS SOUPS 56547 WITH SCORE 56667.75
AT ITER 982 NEW BEST:: SOT 175341 SOS 120750 HAS SOPS 84158 HAS SOUS 60253 HAS SOUPS 56528 WITH SCORE 56648.75
AT ITER 983 NEW BEST:: SOT 175292 SOS 120848 HAS SOPS 84354 HAS SOUS 60204 HAS SOUPS 56479 WITH SCORE 56599.848
AT ITER 984 NEW BEST:: SOT 175366 SOS 119953 HAS SOPS 83517 HAS SOUS 59926 HAS SOUPS 56201 WITH SCORE 56320.953
AT ITER 987 NEW BEST:: SOT 175174 SOS 120205 HAS SOPS 83639 HAS SOUS 59698 HAS SOUPS 55973 WITH SCORE 56093.205
AT ITER 989 NEW BEST:: SOT 174642 SOS 119592 HAS SOPS 83057 HAS SOUS 59162 HAS SOUPS 55437 WITH SCORE 55556.592
AT ITER 994 NEW BEST:: SOT 174592 SOS 119542 HAS SOPS 83105 HAS SOUS 59122 HAS SOUPS 55397 WITH SCORE 55516.542
AT ITER 1009 NEW BEST:: SOT 174548 SOS 119525 HAS SOPS 83126 HAS SOUS 59089 HAS SOUPS 55364 WITH SCORE 55483.525
AT ITER 1037 NEW BEST:: SOT 174548 SOS 119117 HAS SOPS 82769 HAS SOUS 59038 HAS SOUPS 55364 WITH SCORE 55483.117
AT ITER 1053 NEW BEST:: SOT 174558 SOS 119127 HAS SOPS 82595 HAS SOUS 59001 HAS SOUPS 55327 WITH SCORE 55446.127
AT ITER 1054 NEW BEST:: SOT 174418 SOS 119024 HAS SOPS 82422 HAS SOUS 58914 HAS SOUPS 55208 WITH SCORE 55327.024
AT ITER 1061 NEW BEST:: SOT 174465 SOS 118596 HAS SOPS 82095 HAS SOUS 58799 HAS SOUPS 55148 WITH SCORE 55266.596
AT ITER 1067 NEW BEST:: SOT 174460 SOS 118591 HAS SOPS 82085 HAS SOUS 58789 HAS SOUPS 55138 WITH SCORE 55256.591
AT ITER 1070 NEW BEST:: SOT 173148 SOS 125005 HAS SOPS 84200 HAS SOUS 58650 HAS SOUPS 54847 WITH SCORE 54972.005
AT ITER 1076 NEW BEST:: SOT 172820 SOS 124677 HAS SOPS 83708 HAS SOUS 58146 HAS SOUPS 54338 WITH SCORE 54462.677
AT ITER 1078 NEW BEST:: SOT 172498 SOS 124355 HAS SOPS 83225 HAS SOUS 57524 HAS SOUPS 53716 WITH SCORE 53840.355
AT ITER 1085 NEW BEST:: SOT 172392 SOS 124241 HAS SOPS 83076 HAS SOUS 57365 HAS SOUPS 53557 WITH SCORE 53681.241
AT ITER 1095 NEW BEST:: SOT 172276 SOS 124125 HAS SOPS 82820 HAS SOUS 57187 HAS SOUPS 53379 WITH SCORE 53503.125
AT ITER 1104 NEW BEST:: SOT 172276 SOS 124125 HAS SOPS 82820 HAS SOUS 57184 HAS SOUPS 53376 WITH SCORE 53500.125
AT ITER 1109 NEW BEST:: SOT 172162 SOS 124051 HAS SOPS 82776 HAS SOUS 57013 HAS SOUPS 53205 WITH SCORE 53329.051
AT ITER 1112 NEW BEST:: SOT 172150 SOS 124039 HAS SOPS 82732 HAS SOUS 56969 HAS SOUPS 53161 WITH SCORE 53285.039
AT ITER 1118 NEW BEST:: SOT 172048 SOS 123937 HAS SOPS 82671 HAS SOUS 56885 HAS SOUPS 53077 WITH SCORE 53200.937
AT ITER 1120 NEW BEST:: SOT 172036 SOS 123832 HAS SOPS 82601 HAS SOUS 56876 HAS SOUPS 53068 WITH SCORE 53191.832
AT ITER 1121 NEW BEST:: SOT 171957 SOS 123486 HAS SOPS 82305 HAS SOUS 56840 HAS SOUPS 53032 WITH SCORE 53155.486
AT ITER 1122 NEW BEST:: SOT 171957 SOS 123486 HAS SOPS 82305 HAS SOUS 56825 HAS SOUPS 53017 WITH SCORE 53140.486
AT ITER 1123 NEW BEST:: SOT 171941 SOS 123470 HAS SOPS 82273 HAS SOUS 56793 HAS SOUPS 52985 WITH SCORE 53108.47
AT ITER 1125 NEW BEST:: SOT 171941 SOS 123470 HAS SOPS 82273 HAS SOUS 56790 HAS SOUPS 52982 WITH SCORE 53105.47
AT ITER 1131 NEW BEST:: SOT 171941 SOS 123355 HAS SOPS 82158 HAS SOUS 56790 HAS SOUPS 52982 WITH SCORE 53105.355
AT ITER 1134 NEW BEST:: SOT 171941 SOS 123328 HAS SOPS 82131 HAS SOUS 56790 HAS SOUPS 52982 WITH SCORE 53105.328
AT ITER 1136 NEW BEST:: SOT 171918 SOS 123283 HAS SOPS 82064 HAS SOUS 56745 HAS SOUPS 52937 WITH SCORE 53060.283
AT ITER 1139 NEW BEST:: SOT 171828 SOS 123193 HAS SOPS 81929 HAS SOUS 56623 HAS SOUPS 52802 WITH SCORE 52925.193
AT ITER 1140 NEW BEST:: SOT 171748 SOS 123113 HAS SOPS 81902 HAS SOUS 56584 HAS SOUPS 52763 WITH SCORE 52886.113
AT ITER 1145 NEW BEST:: SOT 171917 SOS 122445 HAS SOPS 81234 HAS SOUS 56402 HAS SOUPS 52581 WITH SCORE 52703.445
AT ITER 1172 NEW BEST:: SOT 171592 SOS 122120 HAS SOPS 80738 HAS SOUS 55898 HAS SOUPS 52077 WITH SCORE 52199.12
AT ITER 1173 NEW BEST:: SOT 171544 SOS 122049 HAS SOPS 80666 HAS SOUS 55826 HAS SOUPS 52005 WITH SCORE 52127.049
AT ITER 1177 NEW BEST:: SOT 171446 SOS 121951 HAS SOPS 80437 HAS SOUS 55679 HAS SOUPS 51858 WITH SCORE 51979.951
AT ITER 1179 NEW BEST:: SOT 171404 SOS 121909 HAS SOPS 80458 HAS SOUS 55679 HAS SOUPS 51858 WITH SCORE 51979.909
AT ITER 1181 NEW BEST:: SOT 171396 SOS 121901 HAS SOPS 80446 HAS SOUS 55666 HAS SOUPS 51845 WITH SCORE 51966.901
AT ITER 1182 NEW BEST:: SOT 171320 SOS 121825 HAS SOPS 80408 HAS SOUS 55589 HAS SOUPS 51791 WITH SCORE 51912.825
AT ITER 1183 NEW BEST:: SOT 170820 SOS 121325 HAS SOPS 80514 HAS SOUS 55507 HAS SOUPS 51709 WITH SCORE 51830.325
AT ITER 1187 NEW BEST:: SOT 170818 SOS 121287 HAS SOPS 80510 HAS SOUS 55504 HAS SOUPS 51706 WITH SCORE 51827.287
AT ITER 1189 NEW BEST:: SOT 170818 SOS 121264 HAS SOPS 80466 HAS SOUS 55504 HAS SOUPS 51706 WITH SCORE 51827.264
AT ITER 1194 NEW BEST:: SOT 170875 SOS 121205 HAS SOPS 80200 HAS SOUS 55561 HAS SOUPS 51537 WITH SCORE 51658.205
AT ITER 1200 NEW BEST:: SOT 170801 SOS 121027 HAS SOPS 79944 HAS SOUS 55449 HAS SOUPS 51425 WITH SCORE 51546.027
AT ITER 1202 NEW BEST:: SOT 170793 SOS 121019 HAS SOPS 79932 HAS SOUS 55427 HAS SOUPS 51403 WITH SCORE 51524.019
AT ITER 1205 NEW BEST:: SOT 170760 SOS 120986 HAS SOPS 79899 HAS SOUS 55320 HAS SOUPS 51296 WITH SCORE 51416.986
AT ITER 1217 NEW BEST:: SOT 170561 SOS 120803 HAS SOPS 79831 HAS SOUS 55175 HAS SOUPS 51151 WITH SCORE 51271.803
AT ITER 1235 NEW BEST:: SOT 170430 SOS 120570 HAS SOPS 79516 HAS SOUS 54872 HAS SOUPS 50848 WITH SCORE 50968.57
AT ITER 1237 NEW BEST:: SOT 169794 SOS 119934 HAS SOPS 78979 HAS SOUS 54335 HAS SOUPS 50311 WITH SCORE 50430.934
AT ITER 1238 NEW BEST:: SOT 169752 SOS 119960 HAS SOPS 78959 HAS SOUS 54288 HAS SOUPS 50241 WITH SCORE 50360.96
AT ITER 1245 NEW BEST:: SOT 169748 SOS 119956 HAS SOPS 78997 HAS SOUS 54257 HAS SOUPS 50210 WITH SCORE 50329.956
AT ITER 1246 NEW BEST:: SOT 169414 SOS 119623 HAS SOPS 78327 HAS SOUS 53639 HAS SOUPS 49592 WITH SCORE 49711.623
AT ITER 1259 NEW BEST:: SOT 169384 SOS 119593 HAS SOPS 78327 HAS SOUS 53639 HAS SOUPS 49592 WITH SCORE 49711.593
AT ITER 1261 NEW BEST:: SOT 169368 SOS 119577 HAS SOPS 78295 HAS SOUS 53618 HAS SOUPS 49560 WITH SCORE 49679.577
AT ITER 1267 NEW BEST:: SOT 169368 SOS 119577 HAS SOPS 78295 HAS SOUS 53616 HAS SOUPS 49558 WITH SCORE 49677.577
AT ITER 1273 NEW BEST:: SOT 169368 SOS 119577 HAS SOPS 78295 HAS SOUS 53604 HAS SOUPS 49546 WITH SCORE 49665.577
AT ITER 1280 NEW BEST:: SOT 169368 SOS 119526 HAS SOPS 78244 HAS SOUS 53604 HAS SOUPS 49546 WITH SCORE 49665.526
AT ITER 1284 NEW BEST:: SOT 169400 SOS 119367 HAS SOPS 77828 HAS SOUS 53700 HAS SOUPS 49257 WITH SCORE 49376.367
AT ITER 1287 NEW BEST:: SOT 169502 SOS 119393 HAS SOPS 77729 HAS SOUS 53668 HAS SOUPS 49225 WITH SCORE 49344.393
AT ITER 1288 NEW BEST:: SOT 169502 SOS 119393 HAS SOPS 77581 HAS SOUS 53557 HAS SOUPS 49114 WITH SCORE 49233.393
AT ITER 1291 NEW BEST:: SOT 169476 SOS 119475 HAS SOPS 77586 HAS SOUS 53518 HAS SOUPS 49075 WITH SCORE 49194.475
AT ITER 1298 NEW BEST:: SOT 169466 SOS 119494 HAS SOPS 77571 HAS SOUS 53503 HAS SOUPS 49060 WITH SCORE 49179.494
AT ITER 1302 NEW BEST:: SOT 169429 SOS 119478 HAS SOPS 77526 HAS SOUS 53438 HAS SOUPS 48995 WITH SCORE 49114.478
AT ITER 1306 NEW BEST:: SOT 169424 SOS 119473 HAS SOPS 77516 HAS SOUS 53433 HAS SOUPS 48990 WITH SCORE 49109.473
AT ITER 1307 NEW BEST:: SOT 169380 SOS 119429 HAS SOPS 77450 HAS SOUS 53326 HAS SOUPS 48883 WITH SCORE 49002.429
AT ITER 1310 NEW BEST:: SOT 169382 SOS 119353 HAS SOPS 77305 HAS SOUS 53364 HAS SOUPS 48862 WITH SCORE 48981.353
AT ITER 1320 NEW BEST:: SOT 169376 SOS 119347 HAS SOPS 77299 HAS SOUS 53352 HAS SOUPS 48850 WITH SCORE 48969.347
AT ITER 1322 NEW BEST:: SOT 169264 SOS 119257 HAS SOPS 77131 HAS SOUS 53263 HAS SOUPS 48761 WITH SCORE 48880.257
AT ITER 1327 NEW BEST:: SOT 169264 SOS 119253 HAS SOPS 77127 HAS SOUS 53263 HAS SOUPS 48761 WITH SCORE 48880.253
AT ITER 1331 NEW BEST:: SOT 168986 SOS 118995 HAS SOPS 77134 HAS SOUS 53234 HAS SOUPS 48732 WITH SCORE 48850.995
AT ITER 1332 NEW BEST:: SOT 168938 SOS 118899 HAS SOPS 77050 HAS SOUS 53186 HAS SOUPS 48684 WITH SCORE 48802.899
AT ITER 1334 NEW BEST:: SOT 168878 SOS 118825 HAS SOPS 76960 HAS SOUS 53052 HAS SOUPS 48550 WITH SCORE 48668.825
AT ITER 1335 NEW BEST:: SOT 168870 SOS 118817 HAS SOPS 76974 HAS SOUS 53040 HAS SOUPS 48538 WITH SCORE 48656.817
AT ITER 1338 NEW BEST:: SOT 168850 SOS 118771 HAS SOPS 76902 HAS SOUS 52994 HAS SOUPS 48492 WITH SCORE 48610.771
AT ITER 1342 NEW BEST:: SOT 168846 SOS 118670 HAS SOPS 76835 HAS SOUS 52950 HAS SOUPS 48448 WITH SCORE 48566.67
AT ITER 1343 NEW BEST:: SOT 168466 SOS 118304 HAS SOPS 76607 HAS SOUS 52730 HAS SOUPS 48228 WITH SCORE 48346.304
AT ITER 1344 NEW BEST:: SOT 168466 SOS 118304 HAS SOPS 76607 HAS SOUS 52718 HAS SOUPS 48216 WITH SCORE 48334.304
AT ITER 1348 NEW BEST:: SOT 168414 SOS 118252 HAS SOPS 76553 HAS SOUS 52640 HAS SOUPS 48138 WITH SCORE 48256.252
AT ITER 1353 NEW BEST:: SOT 168441 SOS 118238 HAS SOPS 76512 HAS SOUS 52613 HAS SOUPS 48111 WITH SCORE 48229.238
AT ITER 1361 NEW BEST:: SOT 168410 SOS 118207 HAS SOPS 76481 HAS SOUS 52582 HAS SOUPS 48080 WITH SCORE 48198.207
AT ITER 1362 NEW BEST:: SOT 168391 SOS 118178 HAS SOPS 76382 HAS SOUS 52492 HAS SOUPS 47990 WITH SCORE 48108.178
AT ITER 1363 NEW BEST:: SOT 168201 SOS 117988 HAS SOPS 76097 HAS SOUS 52245 HAS SOUPS 47743 WITH SCORE 47860.988
AT ITER 1374 NEW BEST:: SOT 168193 SOS 117976 HAS SOPS 76085 HAS SOUS 52233 HAS SOUPS 47731 WITH SCORE 47848.976
AT ITER 1380 NEW BEST:: SOT 168165 SOS 117851 HAS SOPS 75975 HAS SOUS 52191 HAS SOUPS 47689 WITH SCORE 47806.851
AT ITER 1383 NEW BEST:: SOT 168161 SOS 117847 HAS SOPS 75972 HAS SOUS 52187 HAS SOUPS 47686 WITH SCORE 47803.847
AT ITER 1388 NEW BEST:: SOT 168137 SOS 117823 HAS SOPS 75936 HAS SOUS 52128 HAS SOUPS 47627 WITH SCORE 47744.823
AT ITER 1398 NEW BEST:: SOT 167993 SOS 117679 HAS SOPS 75864 HAS SOUS 52002 HAS SOUPS 47519 WITH SCORE 47636.679
AT ITER 1406 NEW BEST:: SOT 167898 SOS 117584 HAS SOPS 75719 HAS SOUS 51978 HAS SOUPS 47495 WITH SCORE 47612.584
AT ITER 1414 NEW BEST:: SOT 167858 SOS 117544 HAS SOPS 75679 HAS SOUS 51728 HAS SOUPS 47245 WITH SCORE 47362.544
AT ITER 1415 NEW BEST:: SOT 168196 SOS 117438 HAS SOPS 75177 HAS SOUS 51722 HAS SOUPS 47239 WITH SCORE 47356.438
AT ITER 1417 NEW BEST:: SOT 168395 SOS 116098 HAS SOPS 74066 HAS SOUS 51672 HAS SOUPS 47189 WITH SCORE 47305.098
AT ITER 1420 NEW BEST:: SOT 168231 SOS 115934 HAS SOPS 73655 HAS SOUS 51340 HAS SOUPS 46857 WITH SCORE 46972.934
AT ITER 1424 NEW BEST:: SOT 168258 SOS 115961 HAS SOPS 73597 HAS SOUS 51296 HAS SOUPS 46813 WITH SCORE 46928.961
AT ITER 1429 NEW BEST:: SOT 168254 SOS 115957 HAS SOPS 73591 HAS SOUS 51288 HAS SOUPS 46805 WITH SCORE 46920.957
AT ITER 1437 NEW BEST:: SOT 168082 SOS 115785 HAS SOPS 73333 HAS SOUS 51038 HAS SOUPS 46555 WITH SCORE 46670.785
AT ITER 1453 NEW BEST:: SOT 167992 SOS 115733 HAS SOPS 73136 HAS SOUS 50865 HAS SOUPS 46382 WITH SCORE 46497.733
AT ITER 1465 NEW BEST:: SOT 167962 SOS 115782 HAS SOPS 73204 HAS SOUS 50793 HAS SOUPS 46310 WITH SCORE 46425.782
AT ITER 1471 NEW BEST:: SOT 167962 SOS 115746 HAS SOPS 73110 HAS SOUS 50793 HAS SOUPS 46310 WITH SCORE 46425.746
AT ITER 1477 NEW BEST:: SOT 167961 SOS 115746 HAS SOPS 73110 HAS SOUS 50792 HAS SOUPS 46309 WITH SCORE 46424.746
AT ITER 1487 NEW BEST:: SOT 167865 SOS 115650 HAS SOPS 72897 HAS SOUS 50627 HAS SOUPS 46144 WITH SCORE 46259.65
AT ITER 1491 NEW BEST:: SOT 167783 SOS 115605 HAS SOPS 72802 HAS SOUS 50654 HAS SOUPS 46134 WITH SCORE 46249.605
AT ITER 1492 NEW BEST:: SOT 167685 SOS 115507 HAS SOPS 72747 HAS SOUS 50556 HAS SOUPS 46036 WITH SCORE 46151.507
AT ITER 1494 NEW BEST:: SOT 167679 SOS 115501 HAS SOPS 72762 HAS SOUS 50544 HAS SOUPS 46024 WITH SCORE 46139.501
AT ITER 1503 NEW BEST:: SOT 167599 SOS 115359 HAS SOPS 72667 HAS SOUS 50424 HAS SOUPS 45904 WITH SCORE 46019.359
AT ITER 1517 NEW BEST:: SOT 167565 SOS 115325 HAS SOPS 72616 HAS SOUS 50373 HAS SOUPS 45853 WITH SCORE 45968.325
AT ITER 1521 NEW BEST:: SOT 167463 SOS 115223 HAS SOPS 72412 HAS SOUS 50214 HAS SOUPS 45694 WITH SCORE 45809.223
AT ITER 1526 NEW BEST:: SOT 167287 SOS 115047 HAS SOPS 72060 HAS SOUS 49950 HAS SOUPS 45430 WITH SCORE 45545.047
AT ITER 1528 NEW BEST:: SOT 167129 SOS 114889 HAS SOPS 71823 HAS SOUS 49787 HAS SOUPS 45267 WITH SCORE 45381.889
AT ITER 1540 NEW BEST:: SOT 166859 SOS 114527 HAS SOPS 71502 HAS SOUS 49247 HAS SOUPS 44727 WITH SCORE 44841.527
AT ITER 1552 NEW BEST:: SOT 166851 SOS 114519 HAS SOPS 71486 HAS SOUS 49235 HAS SOUPS 44715 WITH SCORE 44829.519
AT ITER 1565 NEW BEST:: SOT 166917 SOS 114660 HAS SOPS 71208 HAS SOUS 49243 HAS SOUPS 44648 WITH SCORE 44762.66
AT ITER 1572 NEW BEST:: SOT 166946 SOS 114050 HAS SOPS 70598 HAS SOUS 49240 HAS SOUPS 44645 WITH SCORE 44759.05
AT ITER 1576 NEW BEST:: SOT 166908 SOS 114198 HAS SOPS 70774 HAS SOUS 49203 HAS SOUPS 44608 WITH SCORE 44722.198
AT ITER 1577 NEW BEST:: SOT 166786 SOS 114076 HAS SOPS 70720 HAS SOUS 49137 HAS SOUPS 44542 WITH SCORE 44656.076
AT ITER 1580 NEW BEST:: SOT 166776 SOS 114066 HAS SOPS 70725 HAS SOUS 49137 HAS SOUPS 44542 WITH SCORE 44656.066
AT ITER 1588 NEW BEST:: SOT 165789 SOS 121289 HAS SOPS 73263 HAS SOUS 48930 HAS SOUPS 44207 WITH SCORE 44328.289
AT ITER 1590 NEW BEST:: SOT 165770 SOS 121251 HAS SOPS 73206 HAS SOUS 48921 HAS SOUPS 44179 WITH SCORE 44300.251
AT ITER 1594 NEW BEST:: SOT 165764 SOS 121245 HAS SOPS 73194 HAS SOUS 48830 HAS SOUPS 44088 WITH SCORE 44209.245
AT ITER 1601 NEW BEST:: SOT 165746 SOS 121227 HAS SOPS 73158 HAS SOUS 48804 HAS SOUPS 44062 WITH SCORE 44183.227
AT ITER 1608 NEW BEST:: SOT 165560 SOS 121041 HAS SOPS 72879 HAS SOUS 48389 HAS SOUPS 43647 WITH SCORE 43768.041
AT ITER 1613 NEW BEST:: SOT 165492 SOS 120971 HAS SOPS 72776 HAS SOUS 48286 HAS SOUPS 43544 WITH SCORE 43664.971
AT ITER 1622 NEW BEST:: SOT 165473 SOS 120953 HAS SOPS 72747 HAS SOUS 48275 HAS SOUPS 43533 WITH SCORE 43653.953
AT ITER 1623 NEW BEST:: SOT 165473 SOS 120940 HAS SOPS 72747 HAS SOUS 48275 HAS SOUPS 43533 WITH SCORE 43653.94
AT ITER 1625 NEW BEST:: SOT 165468 SOS 120931 HAS SOPS 72738 HAS SOUS 48266 HAS SOUPS 43524 WITH SCORE 43644.931
AT ITER 1630 NEW BEST:: SOT 165388 SOS 120851 HAS SOPS 72642 HAS SOUS 48212 HAS SOUPS 43470 WITH SCORE 43590.851
AT ITER 1635 NEW BEST:: SOT 165425 SOS 120888 HAS SOPS 72568 HAS SOUS 48175 HAS SOUPS 43433 WITH SCORE 43553.888
AT ITER 1639 NEW BEST:: SOT 165255 SOS 120718 HAS SOPS 72313 HAS SOUS 47920 HAS SOUPS 43178 WITH SCORE 43298.718
AT ITER 1642 NEW BEST:: SOT 165193 SOS 120656 HAS SOPS 72220 HAS SOUS 47827 HAS SOUPS 43085 WITH SCORE 43205.656
AT ITER 1650 NEW BEST:: SOT 165046 SOS 120488 HAS SOPS 72073 HAS SOUS 47617 HAS SOUPS 42896 WITH SCORE 43016.488
AT ITER 1655 NEW BEST:: SOT 164155 SOS 123805 HAS SOPS 72797 HAS SOUS 47308 HAS SOUPS 42502 WITH SCORE 42625.805
AT ITER 1664 NEW BEST:: SOT 164203 SOS 123763 HAS SOPS 72710 HAS SOUS 47248 HAS SOUPS 42442 WITH SCORE 42565.763
AT ITER 1668 NEW BEST:: SOT 164190 SOS 123737 HAS SOPS 72684 HAS SOUS 47235 HAS SOUPS 42429 WITH SCORE 42552.737
AT ITER 1670 NEW BEST:: SOT 164118 SOS 123665 HAS SOPS 72516 HAS SOUS 47115 HAS SOUPS 42297 WITH SCORE 42420.665
AT ITER 1672 NEW BEST:: SOT 164118 SOS 123711 HAS SOPS 72516 HAS SOUS 47115 HAS SOUPS 42251 WITH SCORE 42374.711
AT ITER 1687 NEW BEST:: SOT 164092 SOS 123685 HAS SOPS 72477 HAS SOUS 47024 HAS SOUPS 42160 WITH SCORE 42283.685
AT ITER 1691 NEW BEST:: SOT 164070 SOS 123663 HAS SOPS 72528 HAS SOUS 47004 HAS SOUPS 42140 WITH SCORE 42263.663
AT ITER 1694 NEW BEST:: SOT 164040 SOS 123633 HAS SOPS 72483 HAS SOUS 46959 HAS SOUPS 42095 WITH SCORE 42218.633
AT ITER 1696 NEW BEST:: SOT 164036 SOS 123629 HAS SOPS 72477 HAS SOUS 46940 HAS SOUPS 42076 WITH SCORE 42199.629
AT ITER 1701 NEW BEST:: SOT 163952 SOS 123545 HAS SOPS 72402 HAS SOUS 46874 HAS SOUPS 42010 WITH SCORE 42133.545
AT ITER 1717 NEW BEST:: SOT 163894 SOS 123487 HAS SOPS 72286 HAS SOUS 46787 HAS SOUPS 41923 WITH SCORE 42046.487
AT ITER 1726 NEW BEST:: SOT 163899 SOS 123492 HAS SOPS 72305 HAS SOUS 46783 HAS SOUPS 41919 WITH SCORE 42042.492
AT ITER 1729 NEW BEST:: SOT 163992 SOS 123185 HAS SOPS 71998 HAS SOUS 46769 HAS SOUPS 41905 WITH SCORE 42028.185
AT ITER 1750 NEW BEST:: SOT 163844 SOS 123037 HAS SOPS 71776 HAS SOUS 46547 HAS SOUPS 41683 WITH SCORE 41806.037
AT ITER 1751 NEW BEST:: SOT 163700 SOS 122893 HAS SOPS 71560 HAS SOUS 46259 HAS SOUPS 41395 WITH SCORE 41517.893
AT ITER 1752 NEW BEST:: SOT 163700 SOS 122889 HAS SOPS 71560 HAS SOUS 46259 HAS SOUPS 41395 WITH SCORE 41517.889
AT ITER 1766 NEW BEST:: SOT 163435 SOS 122725 HAS SOPS 71396 HAS SOUS 46168 HAS SOUPS 41304 WITH SCORE 41426.725
AT ITER 1772 NEW BEST:: SOT 163387 SOS 122677 HAS SOPS 71324 HAS SOUS 46118 HAS SOUPS 41254 WITH SCORE 41376.677
AT ITER 1786 NEW BEST:: SOT 163343 SOS 122633 HAS SOPS 71258 HAS SOUS 46030 HAS SOUPS 41166 WITH SCORE 41288.633
AT ITER 1788 NEW BEST:: SOT 163341 SOS 122631 HAS SOPS 71254 HAS SOUS 46028 HAS SOUPS 41164 WITH SCORE 41286.631
AT ITER 1791 NEW BEST:: SOT 163275 SOS 122565 HAS SOPS 71123 HAS SOUS 45940 HAS SOUPS 41076 WITH SCORE 41198.565
AT ITER 1792 NEW BEST:: SOT 163194 SOS 122484 HAS SOPS 70980 HAS SOUS 45763 HAS SOUPS 40899 WITH SCORE 41021.484
AT ITER 1798 NEW BEST:: SOT 163034 SOS 122324 HAS SOPS 70704 HAS SOUS 45489 HAS SOUPS 40625 WITH SCORE 40747.324
AT ITER 1809 NEW BEST:: SOT 163034 SOS 122277 HAS SOPS 70704 HAS SOUS 45407 HAS SOUPS 40590 WITH SCORE 40712.277
AT ITER 1811 NEW BEST:: SOT 163034 SOS 122277 HAS SOPS 70580 HAS SOUS 45342 HAS SOUPS 40525 WITH SCORE 40647.277
AT ITER 1824 NEW BEST:: SOT 162974 SOS 122248 HAS SOPS 70490 HAS SOUS 45252 HAS SOUPS 40435 WITH SCORE 40557.248
AT ITER 1831 NEW BEST:: SOT 162974 SOS 122248 HAS SOPS 70490 HAS SOUS 45247 HAS SOUPS 40430 WITH SCORE 40552.248
AT ITER 1835 NEW BEST:: SOT 162978 SOS 122252 HAS SOPS 70546 HAS SOUS 45235 HAS SOUPS 40418 WITH SCORE 40540.252
AT ITER 1838 NEW BEST:: SOT 162945 SOS 122219 HAS SOPS 70502 HAS SOUS 45191 HAS SOUPS 40374 WITH SCORE 40496.219
AT ITER 1855 NEW BEST:: SOT 162892 SOS 122166 HAS SOPS 70434 HAS SOUS 45187 HAS SOUPS 40370 WITH SCORE 40492.166
AT ITER 1859 NEW BEST:: SOT 162836 SOS 122110 HAS SOPS 70350 HAS SOUS 45103 HAS SOUPS 40286 WITH SCORE 40408.11
AT ITER 1860 NEW BEST:: SOT 162818 SOS 122092 HAS SOPS 70314 HAS SOUS 45085 HAS SOUPS 40268 WITH SCORE 40390.092
AT ITER 1867 NEW BEST:: SOT 162950 SOS 122087 HAS SOPS 70182 HAS SOUS 45061 HAS SOUPS 40244 WITH SCORE 40366.087
AT ITER 1868 NEW BEST:: SOT 162840 SOS 121977 HAS SOPS 70049 HAS SOUS 45020 HAS SOUPS 40203 WITH SCORE 40324.977
AT ITER 1871 NEW BEST:: SOT 162777 SOS 121914 HAS SOPS 69986 HAS SOUS 44939 HAS SOUPS 40122 WITH SCORE 40243.914
AT ITER 1874 NEW BEST:: SOT 162761 SOS 121890 HAS SOPS 69962 HAS SOUS 44915 HAS SOUPS 40098 WITH SCORE 40219.89
AT ITER 1884 NEW BEST:: SOT 162731 SOS 121860 HAS SOPS 69917 HAS SOUS 44855 HAS SOUPS 40038 WITH SCORE 40159.86
AT ITER 1894 NEW BEST:: SOT 162731 SOS 121850 HAS SOPS 69961 HAS SOUS 44855 HAS SOUPS 40038 WITH SCORE 40159.85
AT ITER 1902 NEW BEST:: SOT 162707 SOS 121828 HAS SOPS 70011 HAS SOUS 44842 HAS SOUPS 40025 WITH SCORE 40146.828
AT ITER 1905 NEW BEST:: SOT 162409 SOS 121530 HAS SOPS 69928 HAS SOUS 44728 HAS SOUPS 39911 WITH SCORE 40032.53
AT ITER 1920 NEW BEST:: SOT 162383 SOS 121504 HAS SOPS 69866 HAS SOUS 44666 HAS SOUPS 39849 WITH SCORE 39970.504
AT ITER 1937 NEW BEST:: SOT 162308 SOS 121429 HAS SOPS 69827 HAS SOUS 44627 HAS SOUPS 39810 WITH SCORE 39931.429
AT ITER 1942 NEW BEST:: SOT 162002 SOS 121839 HAS SOPS 69633 HAS SOUS 44436 HAS SOUPS 39601 WITH SCORE 39722.839
AT ITER 1954 NEW BEST:: SOT 160869 SOS 129147 HAS SOPS 72516 HAS SOUS 44060 HAS SOUPS 39096 WITH SCORE 39225.147
AT ITER 1955 NEW BEST:: SOT 160859 SOS 129137 HAS SOPS 72516 HAS SOUS 44060 HAS SOUPS 39096 WITH SCORE 39225.137
AT ITER 1959 NEW BEST:: SOT 160918 SOS 128851 HAS SOPS 72365 HAS SOUS 43771 HAS SOUPS 38942 WITH SCORE 39070.851
AT ITER 1963 NEW BEST:: SOT 160905 SOS 128860 HAS SOPS 72361 HAS SOUS 43771 HAS SOUPS 38929 WITH SCORE 39057.86
AT ITER 1968 NEW BEST:: SOT 161085 SOS 129040 HAS SOPS 72264 HAS SOUS 43738 HAS SOUPS 38896 WITH SCORE 39025.04
AT ITER 1977 NEW BEST:: SOT 161101 SOS 129056 HAS SOPS 72288 HAS SOUS 43732 HAS SOUPS 38890 WITH SCORE 39019.056
AT ITER 1978 NEW BEST:: SOT 160973 SOS 129545 HAS SOPS 72344 HAS SOUS 43711 HAS SOUPS 38854 WITH SCORE 38983.545
AT ITER 1982 NEW BEST:: SOT 160901 SOS 129473 HAS SOPS 72290 HAS SOUS 43655 HAS SOUPS 38798 WITH SCORE 38927.473
AT ITER 1983 NEW BEST:: SOT 160828 SOS 129461 HAS SOPS 72180 HAS SOUS 43671 HAS SOUPS 38753 WITH SCORE 38882.461
AT ITER 1988 NEW BEST:: SOT 160814 SOS 129447 HAS SOPS 72115 HAS SOUS 43650 HAS SOUPS 38732 WITH SCORE 38861.447
AT ITER 2000 NEW BEST:: SOT 160818 SOS 129451 HAS SOPS 72107 HAS SOUS 43646 HAS SOUPS 38728 WITH SCORE 38857.451
AT ITER 2004 NEW BEST:: SOT 160567 SOS 129269 HAS SOPS 71749 HAS SOUS 43288 HAS SOUPS 38301 WITH SCORE 38430.269
AT ITER 2013 NEW BEST:: SOT 160477 SOS 129179 HAS SOPS 71614 HAS SOUS 43092 HAS SOUPS 38105 WITH SCORE 38234.179
AT ITER 2015 NEW BEST:: SOT 160445 SOS 129147 HAS SOPS 71580 HAS SOUS 43038 HAS SOUPS 38051 WITH SCORE 38180.147
AT ITER 2021 NEW BEST:: SOT 160431 SOS 129147 HAS SOPS 71552 HAS SOUS 43038 HAS SOUPS 38037 WITH SCORE 38166.147
AT ITER 2027 NEW BEST:: SOT 160294 SOS 129010 HAS SOPS 71364 HAS SOUS 42850 HAS SOUPS 37849 WITH SCORE 37978.01
AT ITER 2036 NEW BEST:: SOT 160248 SOS 129194 HAS SOPS 71456 HAS SOUS 42827 HAS SOUPS 37826 WITH SCORE 37955.194
AT ITER 2040 NEW BEST:: SOT 160142 SOS 129088 HAS SOPS 71297 HAS SOUS 42682 HAS SOUPS 37681 WITH SCORE 37810.088
AT ITER 2087 NEW BEST:: SOT 159848 SOS 128794 HAS SOPS 71021 HAS SOUS 42369 HAS SOUPS 37368 WITH SCORE 37496.794
AT ITER 2091 NEW BEST:: SOT 159854 SOS 128800 HAS SOPS 71010 HAS SOUS 42319 HAS SOUPS 37318 WITH SCORE 37446.8
AT ITER 2096 NEW BEST:: SOT 159692 SOS 128638 HAS SOPS 70910 HAS SOUS 42180 HAS SOUPS 37179 WITH SCORE 37307.638
AT ITER 2102 NEW BEST:: SOT 159626 SOS 128572 HAS SOPS 70778 HAS SOUS 42081 HAS SOUPS 37080 WITH SCORE 37208.572
AT ITER 2116 NEW BEST:: SOT 159642 SOS 128588 HAS SOPS 70837 HAS SOUS 42010 HAS SOUPS 37009 WITH SCORE 37137.588
AT ITER 2120 NEW BEST:: SOT 159617 SOS 128563 HAS SOPS 70823 HAS SOUS 41996 HAS SOUPS 36995 WITH SCORE 37123.563
AT ITER 2123 NEW BEST:: SOT 159617 SOS 128563 HAS SOPS 70823 HAS SOUS 41974 HAS SOUPS 36973 WITH SCORE 37101.563
AT ITER 2131 NEW BEST:: SOT 159543 SOS 128489 HAS SOPS 70777 HAS SOUS 41918 HAS SOUPS 36927 WITH SCORE 37055.489
AT ITER 2142 NEW BEST:: SOT 159531 SOS 128477 HAS SOPS 70753 HAS SOUS 41900 HAS SOUPS 36909 WITH SCORE 37037.477
AT ITER 2147 NEW BEST:: SOT 159526 SOS 128472 HAS SOPS 70748 HAS SOUS 41895 HAS SOUPS 36904 WITH SCORE 37032.472
AT ITER 2170 NEW BEST:: SOT 159506 SOS 128452 HAS SOPS 70706 HAS SOUS 41843 HAS SOUPS 36852 WITH SCORE 36980.452
AT ITER 2171 NEW BEST:: SOT 159500 SOS 128446 HAS SOPS 70754 HAS SOUS 41834 HAS SOUPS 36843 WITH SCORE 36971.446
AT ITER 2176 NEW BEST:: SOT 159482 SOS 128428 HAS SOPS 70727 HAS SOUS 41798 HAS SOUPS 36807 WITH SCORE 36935.428
AT ITER 2193 NEW BEST:: SOT 159289 SOS 128517 HAS SOPS 70724 HAS SOUS 41705 HAS SOUPS 36714 WITH SCORE 36842.517
AT ITER 2196 NEW BEST:: SOT 159309 SOS 128537 HAS SOPS 70708 HAS SOUS 41697 HAS SOUPS 36702 WITH SCORE 36830.537
AT ITER 2216 NEW BEST:: SOT 159156 SOS 128393 HAS SOPS 70564 HAS SOUS 41553 HAS SOUPS 36558 WITH SCORE 36686.393
AT ITER 2229 NEW BEST:: SOT 159122 SOS 128359 HAS SOPS 70513 HAS SOUS 41414 HAS SOUPS 36419 WITH SCORE 36547.359
AT ITER 2232 NEW BEST:: SOT 159120 SOS 128357 HAS SOPS 70509 HAS SOUS 41411 HAS SOUPS 36416 WITH SCORE 36544.357
AT ITER 2246 NEW BEST:: SOT 158904 SOS 128141 HAS SOPS 70185 HAS SOUS 41080 HAS SOUPS 36085 WITH SCORE 36213.141
AT ITER 2265 NEW BEST:: SOT 158866 SOS 128103 HAS SOPS 70147 HAS SOUS 41076 HAS SOUPS 36081 WITH SCORE 36209.103
AT ITER 2268 NEW BEST:: SOT 158873 SOS 128089 HAS SOPS 70112 HAS SOUS 41069 HAS SOUPS 36074 WITH SCORE 36202.089
AT ITER 2276 NEW BEST:: SOT 158755 SOS 127971 HAS SOPS 69942 HAS SOUS 40933 HAS SOUPS 35938 WITH SCORE 36065.971
AT ITER 2283 NEW BEST:: SOT 158584 SOS 127926 HAS SOPS 69699 HAS SOUS 40787 HAS SOUPS 35693 WITH SCORE 35820.926
AT ITER 2306 NEW BEST:: SOT 158438 SOS 128562 HAS SOPS 69855 HAS SOUS 40737 HAS SOUPS 35627 WITH SCORE 35755.562
AT ITER 2334 NEW BEST:: SOT 158438 SOS 128562 HAS SOPS 69855 HAS SOUS 40736 HAS SOUPS 35626 WITH SCORE 35754.562
AT ITER 2339 NEW BEST:: SOT 158565 SOS 128677 HAS SOPS 69521 HAS SOUS 40727 HAS SOUPS 35617 WITH SCORE 35745.677
AT ITER 2341 NEW BEST:: SOT 158489 SOS 128601 HAS SOPS 69483 HAS SOUS 40670 HAS SOUPS 35560 WITH SCORE 35688.601
AT ITER 2356 NEW BEST:: SOT 158469 SOS 128581 HAS SOPS 69453 HAS SOUS 40640 HAS SOUPS 35530 WITH SCORE 35658.581
AT ITER 2362 NEW BEST:: SOT 157863 SOS 133137 HAS SOPS 70460 HAS SOUS 40578 HAS SOUPS 35377 WITH SCORE 35510.137
AT ITER 2369 NEW BEST:: SOT 157863 SOS 133137 HAS SOPS 70460 HAS SOUS 40454 HAS SOUPS 35253 WITH SCORE 35386.137
AT ITER 2371 NEW BEST:: SOT 157807 SOS 133081 HAS SOPS 70376 HAS SOUS 40347 HAS SOUPS 35146 WITH SCORE 35279.081
AT ITER 2372 NEW BEST:: SOT 157761 SOS 133035 HAS SOPS 70307 HAS SOUS 40302 HAS SOUPS 35101 WITH SCORE 35234.035
AT ITER 2374 NEW BEST:: SOT 157437 SOS 134313 HAS SOPS 70292 HAS SOUS 40175 HAS SOUPS 34941 WITH SCORE 35075.313
AT ITER 2388 NEW BEST:: SOT 157422 SOS 134313 HAS SOPS 70277 HAS SOUS 40160 HAS SOUPS 34926 WITH SCORE 35060.313
AT ITER 2391 NEW BEST:: SOT 157399 SOS 133984 HAS SOPS 69958 HAS SOUS 40111 HAS SOUPS 34877 WITH SCORE 35010.984
AT ITER 2392 NEW BEST:: SOT 157379 SOS 133974 HAS SOPS 69925 HAS SOUS 40081 HAS SOUPS 34847 WITH SCORE 34980.974
AT ITER 2396 NEW BEST:: SOT 157329 SOS 133939 HAS SOPS 69840 HAS SOUS 40031 HAS SOUPS 34797 WITH SCORE 34930.939
AT ITER 2401 NEW BEST:: SOT 157197 SOS 133807 HAS SOPS 69642 HAS SOUS 39810 HAS SOUPS 34576 WITH SCORE 34709.807
AT ITER 2402 NEW BEST:: SOT 157209 SOS 133701 HAS SOPS 69614 HAS SOUS 39810 HAS SOUPS 34576 WITH SCORE 34709.701
AT ITER 2418 NEW BEST:: SOT 157191 SOS 133651 HAS SOPS 69579 HAS SOUS 39762 HAS SOUPS 34543 WITH SCORE 34676.651
AT ITER 2450 NEW BEST:: SOT 157105 SOS 133565 HAS SOPS 69450 HAS SOUS 39590 HAS SOUPS 34371 WITH SCORE 34504.565
AT ITER 2452 NEW BEST:: SOT 157020 SOS 133480 HAS SOPS 69327 HAS SOUS 39395 HAS SOUPS 34176 WITH SCORE 34309.48
AT ITER 2453 NEW BEST:: SOT 157020 SOS 133480 HAS SOPS 69327 HAS SOUS 39378 HAS SOUPS 34159 WITH SCORE 34292.48
AT ITER 2467 NEW BEST:: SOT 156993 SOS 133328 HAS SOPS 69175 HAS SOUS 39337 HAS SOUPS 34118 WITH SCORE 34251.328
AT ITER 2475 NEW BEST:: SOT 156989 SOS 133324 HAS SOPS 69169 HAS SOUS 39331 HAS SOUPS 34112 WITH SCORE 34245.324
AT ITER 2482 NEW BEST:: SOT 156887 SOS 133222 HAS SOPS 69024 HAS SOUS 39178 HAS SOUPS 33959 WITH SCORE 34092.222
AT ITER 2522 NEW BEST:: SOT 156881 SOS 133216 HAS SOPS 69015 HAS SOUS 39169 HAS SOUPS 33950 WITH SCORE 34083.216
AT ITER 2537 NEW BEST:: SOT 156823 SOS 133187 HAS SOPS 68957 HAS SOUS 39140 HAS SOUPS 33892 WITH SCORE 34025.187
AT ITER 2538 NEW BEST:: SOT 156763 SOS 132513 HAS SOPS 68419 HAS SOUS 39038 HAS SOUPS 33790 WITH SCORE 33922.513
AT ITER 2548 NEW BEST:: SOT 156661 SOS 132411 HAS SOPS 68266 HAS SOUS 38770 HAS SOUPS 33522 WITH SCORE 33654.411
AT ITER 2562 NEW BEST:: SOT 156638 SOS 132378 HAS SOPS 68229 HAS SOUS 38731 HAS SOUPS 33483 WITH SCORE 33615.378
AT ITER 2564 NEW BEST:: SOT 156704 SOS 132444 HAS SOPS 68226 HAS SOUS 38728 HAS SOUPS 33480 WITH SCORE 33612.444
AT ITER 2568 NEW BEST:: SOT 156704 SOS 132201 HAS SOPS 67983 HAS SOUS 38727 HAS SOUPS 33479 WITH SCORE 33611.201
AT ITER 2583 NEW BEST:: SOT 156656 SOS 132153 HAS SOPS 67937 HAS SOUS 38655 HAS SOUPS 33407 WITH SCORE 33539.153
AT ITER 2586 NEW BEST:: SOT 156658 SOS 132038 HAS SOPS 67924 HAS SOUS 38530 HAS SOUPS 33382 WITH SCORE 33514.038
AT ITER 2587 NEW BEST:: SOT 156648 SOS 132028 HAS SOPS 67909 HAS SOUS 38515 HAS SOUPS 33367 WITH SCORE 33499.028
AT ITER 2602 NEW BEST:: SOT 156564 SOS 131988 HAS SOPS 67833 HAS SOUS 38452 HAS SOUPS 33304 WITH SCORE 33435.988
AT ITER 2605 NEW BEST:: SOT 156552 SOS 131976 HAS SOPS 67827 HAS SOUS 38443 HAS SOUPS 33295 WITH SCORE 33426.976
AT ITER 2608 NEW BEST:: SOT 156552 SOS 131965 HAS SOPS 67827 HAS SOUS 38443 HAS SOUPS 33295 WITH SCORE 33426.965
AT ITER 2612 NEW BEST:: SOT 156552 SOS 131965 HAS SOPS 67827 HAS SOUS 38420 HAS SOUPS 33272 WITH SCORE 33403.965
AT ITER 2630 NEW BEST:: SOT 156522 SOS 131935 HAS SOPS 67782 HAS SOUS 38375 HAS SOUPS 33227 WITH SCORE 33358.935
AT ITER 2644 NEW BEST:: SOT 156466 SOS 131870 HAS SOPS 67689 HAS SOUS 38262 HAS SOUPS 33114 WITH SCORE 33245.87
AT ITER 2667 NEW BEST:: SOT 156392 SOS 131796 HAS SOPS 67578 HAS SOUS 38114 HAS SOUPS 32966 WITH SCORE 33097.796
AT ITER 2668 NEW BEST:: SOT 156373 SOS 131546 HAS SOPS 67357 HAS SOUS 38038 HAS SOUPS 32890 WITH SCORE 33021.546
AT ITER 2674 NEW BEST:: SOT 156341 SOS 131514 HAS SOPS 67333 HAS SOUS 38014 HAS SOUPS 32866 WITH SCORE 32997.514
AT ITER 2677 NEW BEST:: SOT 156139 SOS 131499 HAS SOPS 67669 HAS SOUS 37917 HAS SOUPS 32769 WITH SCORE 32900.499
AT ITER 2687 NEW BEST:: SOT 156061 SOS 131382 HAS SOPS 67552 HAS SOUS 37839 HAS SOUPS 32691 WITH SCORE 32822.382
AT ITER 2692 NEW BEST:: SOT 156056 SOS 131377 HAS SOPS 67552 HAS SOUS 37829 HAS SOUPS 32686 WITH SCORE 32817.377
AT ITER 2696 NEW BEST:: SOT 155994 SOS 131315 HAS SOPS 67597 HAS SOUS 37736 HAS SOUPS 32593 WITH SCORE 32724.315
AT ITER 2705 NEW BEST:: SOT 155872 SOS 131193 HAS SOPS 67598 HAS SOUS 37691 HAS SOUPS 32548 WITH SCORE 32679.193
AT ITER 2712 NEW BEST:: SOT 155784 SOS 131105 HAS SOPS 67562 HAS SOUS 37614 HAS SOUPS 32492 WITH SCORE 32623.105
AT ITER 2713 NEW BEST:: SOT 155769 SOS 131078 HAS SOPS 67547 HAS SOUS 37583 HAS SOUPS 32473 WITH SCORE 32604.078
AT ITER 2718 NEW BEST:: SOT 155630 SOS 131002 HAS SOPS 67349 HAS SOUS 37556 HAS SOUPS 32368 WITH SCORE 32499.002
AT ITER 2719 NEW BEST:: SOT 155630 SOS 131002 HAS SOPS 67349 HAS SOUS 37538 HAS SOUPS 32350 WITH SCORE 32481.002
AT ITER 2732 NEW BEST:: SOT 155630 SOS 131002 HAS SOPS 67349 HAS SOUS 37522 HAS SOUPS 32334 WITH SCORE 32465.002
AT ITER 2766 NEW BEST:: SOT 155636 SOS 131008 HAS SOPS 67333 HAS SOUS 37516 HAS SOUPS 32328 WITH SCORE 32459.008
AT ITER 2777 NEW BEST:: SOT 155636 SOS 130998 HAS SOPS 67380 HAS SOUS 37516 HAS SOUPS 32328 WITH SCORE 32458.998
AT ITER 2782 NEW BEST:: SOT 155647 SOS 131009 HAS SOPS 67391 HAS SOUS 37494 HAS SOUPS 32306 WITH SCORE 32437.009
AT ITER 2800 NEW BEST:: SOT 155677 SOS 131039 HAS SOPS 67372 HAS SOUS 37491 HAS SOUPS 32303 WITH SCORE 32434.039
AT ITER 2825 NEW BEST:: SOT 155677 SOS 131039 HAS SOPS 67372 HAS SOUS 37490 HAS SOUPS 32302 WITH SCORE 32433.039
AT ITER 2831 NEW BEST:: SOT 155641 SOS 131003 HAS SOPS 67318 HAS SOUS 37418 HAS SOUPS 32230 WITH SCORE 32361.003
AT ITER 2836 NEW BEST:: SOT 155565 SOS 130927 HAS SOPS 67320 HAS SOUS 37391 HAS SOUPS 32203 WITH SCORE 32333.927
AT ITER 2837 NEW BEST:: SOT 155553 SOS 130915 HAS SOPS 67302 HAS SOUS 37373 HAS SOUPS 32185 WITH SCORE 32315.915
AT ITER 2838 NEW BEST:: SOT 155554 SOS 130962 HAS SOPS 67304 HAS SOUS 37410 HAS SOUPS 32177 WITH SCORE 32307.962
AT ITER 2850 NEW BEST:: SOT 155548 SOS 130956 HAS SOPS 67274 HAS SOUS 37398 HAS SOUPS 32165 WITH SCORE 32295.956
AT ITER 2851 NEW BEST:: SOT 155548 SOS 130956 HAS SOPS 67254 HAS SOUS 37393 HAS SOUPS 32160 WITH SCORE 32290.956
AT ITER 2860 NEW BEST:: SOT 155486 SOS 130894 HAS SOPS 67324 HAS SOUS 37374 HAS SOUPS 32141 WITH SCORE 32271.894
AT ITER 2876 NEW BEST:: SOT 155456 SOS 130800 HAS SOPS 67302 HAS SOUS 37230 HAS SOUPS 32061 WITH SCORE 32191.8
AT ITER 2881 NEW BEST:: SOT 155424 SOS 130768 HAS SOPS 67151 HAS SOUS 37182 HAS SOUPS 32013 WITH SCORE 32143.768
AT ITER 2882 NEW BEST:: SOT 155424 SOS 130768 HAS SOPS 67151 HAS SOUS 37173 HAS SOUPS 32004 WITH SCORE 32134.768
AT ITER 2885 NEW BEST:: SOT 155433 SOS 130791 HAS SOPS 67121 HAS SOUS 37087 HAS SOUPS 31918 WITH SCORE 32048.791
AT ITER 2892 NEW BEST:: SOT 155456 SOS 130423 HAS SOPS 67006 HAS SOUS 37078 HAS SOUPS 31915 WITH SCORE 32045.423
AT ITER 2911 NEW BEST:: SOT 155444 SOS 130411 HAS SOPS 67014 HAS SOUS 37044 HAS SOUPS 31881 WITH SCORE 32011.411
AT ITER 2912 NEW BEST:: SOT 155444 SOS 130411 HAS SOPS 67014 HAS SOUS 37042 HAS SOUPS 31879 WITH SCORE 32009.411
AT ITER 2913 NEW BEST:: SOT 155424 SOS 130391 HAS SOPS 66974 HAS SOUS 36897 HAS SOUPS 31734 WITH SCORE 31864.391
AT ITER 2920 NEW BEST:: SOT 155372 SOS 130288 HAS SOPS 66770 HAS SOUS 36869 HAS SOUPS 31706 WITH SCORE 31836.288
AT ITER 2924 NEW BEST:: SOT 155334 SOS 130250 HAS SOPS 66789 HAS SOUS 36832 HAS SOUPS 31687 WITH SCORE 31817.25
AT ITER 2925 NEW BEST:: SOT 155336 SOS 130252 HAS SOPS 66687 HAS SOUS 36757 HAS SOUPS 31612 WITH SCORE 31742.252
AT ITER 2932 NEW BEST:: SOT 155252 SOS 130168 HAS SOPS 66608 HAS SOUS 36685 HAS SOUPS 31540 WITH SCORE 31670.168
AT ITER 2939 NEW BEST:: SOT 155293 SOS 129740 HAS SOPS 66449 HAS SOUS 36647 HAS SOUPS 31510 WITH SCORE 31639.74
AT ITER 2941 NEW BEST:: SOT 155227 SOS 129674 HAS SOPS 66317 HAS SOUS 36548 HAS SOUPS 31411 WITH SCORE 31540.674
AT ITER 2956 NEW BEST:: SOT 155415 SOS 129862 HAS SOPS 66251 HAS SOUS 36482 HAS SOUPS 31345 WITH SCORE 31474.862
AT ITER 2978 NEW BEST:: SOT 155331 SOS 129778 HAS SOPS 66125 HAS SOUS 36291 HAS SOUPS 31154 WITH SCORE 31283.778
AT ITER 2981 NEW BEST:: SOT 155319 SOS 129766 HAS SOPS 66131 HAS SOUS 36291 HAS SOUPS 31154 WITH SCORE 31283.766
AT ITER 2990 NEW BEST:: SOT 155303 SOS 129750 HAS SOPS 66107 HAS SOUS 36267 HAS SOUPS 31130 WITH SCORE 31259.75
AT ITER 2999 NEW BEST:: SOT 155303 SOS 129750 HAS SOPS 66107 HAS SOUS 36211 HAS SOUPS 31074 WITH SCORE 31203.75
AT ITER 3002 NEW BEST:: SOT 155303 SOS 129750 HAS SOPS 66107 HAS SOUS 36197 HAS SOUPS 31060 WITH SCORE 31189.75
AT ITER 3006 NEW BEST:: SOT 155261 SOS 129708 HAS SOPS 66044 HAS SOUS 36098 HAS SOUPS 30961 WITH SCORE 31090.708
AT ITER 3012 NEW BEST:: SOT 155289 SOS 129736 HAS SOPS 65948 HAS SOUS 36043 HAS SOUPS 30906 WITH SCORE 31035.736
AT ITER 3024 NEW BEST:: SOT 155279 SOS 129726 HAS SOPS 65938 HAS SOUS 36022 HAS SOUPS 30885 WITH SCORE 31014.726
AT ITER 3034 NEW BEST:: SOT 155255 SOS 129683 HAS SOPS 65895 HAS SOUS 35979 HAS SOUPS 30842 WITH SCORE 30971.683
AT ITER 3039 NEW BEST:: SOT 155267 SOS 129695 HAS SOPS 65913 HAS SOUS 35977 HAS SOUPS 30840 WITH SCORE 30969.695
AT ITER 3043 NEW BEST:: SOT 155265 SOS 129693 HAS SOPS 65919 HAS SOUS 35975 HAS SOUPS 30838 WITH SCORE 30967.693
AT ITER 3053 NEW BEST:: SOT 155265 SOS 129693 HAS SOPS 65919 HAS SOUS 35954 HAS SOUPS 30817 WITH SCORE 30946.693
AT ITER 3067 NEW BEST:: SOT 155265 SOS 129693 HAS SOPS 65919 HAS SOUS 35935 HAS SOUPS 30798 WITH SCORE 30927.693
AT ITER 3074 NEW BEST:: SOT 155247 SOS 129675 HAS SOPS 65899 HAS SOUS 35913 HAS SOUPS 30776 WITH SCORE 30905.675
AT ITER 3092 NEW BEST:: SOT 155267 SOS 129715 HAS SOPS 65885 HAS SOUS 35912 HAS SOUPS 30775 WITH SCORE 30904.715
AT ITER 3105 NEW BEST:: SOT 155133 SOS 131030 HAS SOPS 66444 HAS SOUS 35909 HAS SOUPS 30772 WITH SCORE 30903.03
AT ITER 3118 NEW BEST:: SOT 155167 SOS 131001 HAS SOPS 66415 HAS SOUS 35901 HAS SOUPS 30764 WITH SCORE 30895.001
AT ITER 3128 NEW BEST:: SOT 155077 SOS 130911 HAS SOPS 66296 HAS SOUS 35804 HAS SOUPS 30667 WITH SCORE 30797.911
AT ITER 3129 NEW BEST:: SOT 155071 SOS 130905 HAS SOPS 66230 HAS SOUS 35801 HAS SOUPS 30664 WITH SCORE 30794.905
AT ITER 3134 NEW BEST:: SOT 155059 SOS 130893 HAS SOPS 66212 HAS SOUS 35783 HAS SOUPS 30646 WITH SCORE 30776.893
AT ITER 3136 NEW BEST:: SOT 155001 SOS 130835 HAS SOPS 66096 HAS SOUS 35719 HAS SOUPS 30557 WITH SCORE 30687.835
AT ITER 3139 NEW BEST:: SOT 154841 SOS 130675 HAS SOPS 65856 HAS SOUS 35502 HAS SOUPS 30340 WITH SCORE 30470.675
AT ITER 3143 NEW BEST:: SOT 154851 SOS 130685 HAS SOPS 65856 HAS SOUS 35497 HAS SOUPS 30335 WITH SCORE 30465.685
AT ITER 3151 NEW BEST:: SOT 154803 SOS 130861 HAS SOPS 66076 HAS SOUS 35449 HAS SOUPS 30287 WITH SCORE 30417.861
AT ITER 3158 NEW BEST:: SOT 154793 SOS 130851 HAS SOPS 66061 HAS SOUS 35439 HAS SOUPS 30277 WITH SCORE 30407.851
AT ITER 3169 NEW BEST:: SOT 154793 SOS 130851 HAS SOPS 66061 HAS SOUS 35436 HAS SOUPS 30274 WITH SCORE 30404.851
AT ITER 3177 NEW BEST:: SOT 154597 SOS 130655 HAS SOPS 65767 HAS SOUS 35124 HAS SOUPS 29962 WITH SCORE 30092.655
AT ITER 3199 NEW BEST:: SOT 154533 SOS 130591 HAS SOPS 65671 HAS SOUS 34982 HAS SOUPS 29820 WITH SCORE 29950.591
AT ITER 3206 NEW BEST:: SOT 154419 SOS 130537 HAS SOPS 65554 HAS SOUS 34939 HAS SOUPS 29777 WITH SCORE 29907.537
AT ITER 3215 NEW BEST:: SOT 154437 SOS 130555 HAS SOPS 65545 HAS SOUS 34930 HAS SOUPS 29768 WITH SCORE 29898.555
AT ITER 3224 NEW BEST:: SOT 154430 SOS 130548 HAS SOPS 65538 HAS SOUS 34930 HAS SOUPS 29768 WITH SCORE 29898.548
AT ITER 3253 NEW BEST:: SOT 154428 SOS 130548 HAS SOPS 65536 HAS SOUS 34928 HAS SOUPS 29764 WITH SCORE 29894.548
AT ITER 3288 NEW BEST:: SOT 154316 SOS 130436 HAS SOPS 65368 HAS SOUS 34781 HAS SOUPS 29617 WITH SCORE 29747.436
AT ITER 3303 NEW BEST:: SOT 154297 SOS 130676 HAS SOPS 65522 HAS SOUS 34805 HAS SOUPS 29598 WITH SCORE 29728.676
AT ITER 3309 NEW BEST:: SOT 154261 SOS 130640 HAS SOPS 65504 HAS SOUS 34778 HAS SOUPS 29571 WITH SCORE 29701.64
AT ITER 3312 NEW BEST:: SOT 154261 SOS 130640 HAS SOPS 65504 HAS SOUS 34774 HAS SOUPS 29567 WITH SCORE 29697.64
AT ITER 3313 NEW BEST:: SOT 154261 SOS 130640 HAS SOPS 65504 HAS SOUS 34768 HAS SOUPS 29561 WITH SCORE 29691.64
AT ITER 3314 NEW BEST:: SOT 154245 SOS 130624 HAS SOPS 65480 HAS SOUS 34757 HAS SOUPS 29550 WITH SCORE 29680.624
AT ITER 3344 NEW BEST:: SOT 154239 SOS 130618 HAS SOPS 65468 HAS SOUS 34745 HAS SOUPS 29538 WITH SCORE 29668.618
AT ITER 3353 NEW BEST:: SOT 154227 SOS 130606 HAS SOPS 65444 HAS SOUS 34721 HAS SOUPS 29508 WITH SCORE 29638.606
AT ITER 3359 NEW BEST:: SOT 154227 SOS 130584 HAS SOPS 65444 HAS SOUS 34721 HAS SOUPS 29508 WITH SCORE 29638.584
AT ITER 3369 NEW BEST:: SOT 154211 SOS 130568 HAS SOPS 65433 HAS SOUS 34697 HAS SOUPS 29484 WITH SCORE 29614.568
AT ITER 3374 NEW BEST:: SOT 154129 SOS 130486 HAS SOPS 65422 HAS SOUS 34676 HAS SOUPS 29463 WITH SCORE 29593.486
AT ITER 3377 NEW BEST:: SOT 154099 SOS 130456 HAS SOPS 65377 HAS SOUS 34646 HAS SOUPS 29433 WITH SCORE 29563.456
AT ITER 3380 NEW BEST:: SOT 154067 SOS 130424 HAS SOPS 65313 HAS SOUS 34560 HAS SOUPS 29347 WITH SCORE 29477.424
AT ITER 3402 NEW BEST:: SOT 154223 SOS 130580 HAS SOPS 65488 HAS SOUS 34539 HAS SOUPS 29326 WITH SCORE 29456.58
AT ITER 3405 NEW BEST:: SOT 154183 SOS 130540 HAS SOPS 65428 HAS SOUS 34479 HAS SOUPS 29266 WITH SCORE 29396.54
AT ITER 3411 NEW BEST:: SOT 153978 SOS 130464 HAS SOPS 65199 HAS SOUS 34280 HAS SOUPS 29019 WITH SCORE 29149.464
AT ITER 3431 NEW BEST:: SOT 153908 SOS 130394 HAS SOPS 65214 HAS SOUS 34273 HAS SOUPS 29012 WITH SCORE 29142.394
AT ITER 3447 NEW BEST:: SOT 153436 SOS 133186 HAS SOPS 66120 HAS SOUS 34080 HAS SOUPS 28769 WITH SCORE 28902.186
AT ITER 3472 NEW BEST:: SOT 153370 SOS 133120 HAS SOPS 66093 HAS SOUS 34077 HAS SOUPS 28766 WITH SCORE 28899.12
AT ITER 3478 NEW BEST:: SOT 153332 SOS 133082 HAS SOPS 66036 HAS SOUS 33994 HAS SOUPS 28683 WITH SCORE 28816.082
AT ITER 3487 NEW BEST:: SOT 153353 SOS 133053 HAS SOPS 66030 HAS SOUS 33955 HAS SOUPS 28644 WITH SCORE 28777.053
AT ITER 3491 NEW BEST:: SOT 153347 SOS 133047 HAS SOPS 66018 HAS SOUS 33946 HAS SOUPS 28635 WITH SCORE 28768.047
AT ITER 3497 NEW BEST:: SOT 153331 SOS 133031 HAS SOPS 65994 HAS SOUS 33919 HAS SOUPS 28608 WITH SCORE 28741.031
AT ITER 3498 NEW BEST:: SOT 153325 SOS 133025 HAS SOPS 65964 HAS SOUS 33895 HAS SOUPS 28584 WITH SCORE 28717.025
AT ITER 3501 NEW BEST:: SOT 153261 SOS 132961 HAS SOPS 65958 HAS SOUS 33863 HAS SOUPS 28552 WITH SCORE 28684.961
AT ITER 3506 NEW BEST:: SOT 153147 SOS 132847 HAS SOPS 65730 HAS SOUS 33645 HAS SOUPS 28334 WITH SCORE 28466.847
AT ITER 3513 NEW BEST:: SOT 153147 SOS 132847 HAS SOPS 65730 HAS SOUS 33640 HAS SOUPS 28329 WITH SCORE 28461.847
AT ITER 3519 NEW BEST:: SOT 153147 SOS 132847 HAS SOPS 65730 HAS SOUS 33638 HAS SOUPS 28327 WITH SCORE 28459.847
AT ITER 3526 NEW BEST:: SOT 153119 SOS 132819 HAS SOPS 65688 HAS SOUS 33573 HAS SOUPS 28262 WITH SCORE 28394.819
AT ITER 3527 NEW BEST:: SOT 153143 SOS 132843 HAS SOPS 65688 HAS SOUS 33561 HAS SOUPS 28250 WITH SCORE 28382.843
AT ITER 3539 NEW BEST:: SOT 153143 SOS 132820 HAS SOPS 65688 HAS SOUS 33561 HAS SOUPS 28250 WITH SCORE 28382.82
AT ITER 3543 NEW BEST:: SOT 153203 SOS 132880 HAS SOPS 65667 HAS SOUS 33541 HAS SOUPS 28230 WITH SCORE 28362.88
AT ITER 3549 NEW BEST:: SOT 153189 SOS 132866 HAS SOPS 65646 HAS SOUS 33520 HAS SOUPS 28209 WITH SCORE 28341.866
AT ITER 3561 NEW BEST:: SOT 153189 SOS 132866 HAS SOPS 65534 HAS SOUS 33519 HAS SOUPS 28181 WITH SCORE 28313.866
AT ITER 3568 NEW BEST:: SOT 153169 SOS 132846 HAS SOPS 65504 HAS SOUS 33500 HAS SOUPS 28162 WITH SCORE 28294.846
AT ITER 3600 NEW BEST:: SOT 153163 SOS 132840 HAS SOPS 65346 HAS SOUS 33341 HAS SOUPS 28003 WITH SCORE 28135.84
AT ITER 3631 NEW BEST:: SOT 153161 SOS 132838 HAS SOPS 65342 HAS SOUS 33338 HAS SOUPS 28000 WITH SCORE 28132.838
AT ITER 3639 NEW BEST:: SOT 153031 SOS 132708 HAS SOPS 65147 HAS SOUS 33057 HAS SOUPS 27719 WITH SCORE 27851.708
AT ITER 3658 NEW BEST:: SOT 153005 SOS 132682 HAS SOPS 65093 HAS SOUS 33013 HAS SOUPS 27675 WITH SCORE 27807.682
AT ITER 3692 NEW BEST:: SOT 153005 SOS 132682 HAS SOPS 65093 HAS SOUS 32999 HAS SOUPS 27661 WITH SCORE 27793.682
AT ITER 3709 NEW BEST:: SOT 153034 SOS 132300 HAS SOPS 64951 HAS SOUS 32998 HAS SOUPS 27660 WITH SCORE 27792.3
AT ITER 3716 NEW BEST:: SOT 153028 SOS 132294 HAS SOPS 64942 HAS SOUS 32979 HAS SOUPS 27641 WITH SCORE 27773.294
AT ITER 3726 NEW BEST:: SOT 152984 SOS 132250 HAS SOPS 64927 HAS SOUS 32959 HAS SOUPS 27621 WITH SCORE 27753.25
AT ITER 3735 NEW BEST:: SOT 152978 SOS 132244 HAS SOPS 64918 HAS SOUS 32950 HAS SOUPS 27612 WITH SCORE 27744.244
AT ITER 3743 NEW BEST:: SOT 152978 SOS 132244 HAS SOPS 64918 HAS SOUS 32947 HAS SOUPS 27609 WITH SCORE 27741.244
AT ITER 3746 NEW BEST:: SOT 152946 SOS 132212 HAS SOPS 64870 HAS SOUS 32891 HAS SOUPS 27553 WITH SCORE 27685.212
AT ITER 3753 NEW BEST:: SOT 152938 SOS 132204 HAS SOPS 64843 HAS SOUS 32879 HAS SOUPS 27541 WITH SCORE 27673.204
AT ITER 3755 NEW BEST:: SOT 152914 SOS 132180 HAS SOPS 64795 HAS SOUS 32815 HAS SOUPS 27477 WITH SCORE 27609.18
AT ITER 3757 NEW BEST:: SOT 152923 SOS 132189 HAS SOPS 64648 HAS SOUS 32747 HAS SOUPS 27409 WITH SCORE 27541.189
AT ITER 3772 NEW BEST:: SOT 152897 SOS 132163 HAS SOPS 64609 HAS SOUS 32726 HAS SOUPS 27388 WITH SCORE 27520.163
AT ITER 3774 NEW BEST:: SOT 152941 SOS 132207 HAS SOPS 64587 HAS SOUS 32704 HAS SOUPS 27366 WITH SCORE 27498.207
AT ITER 3800 NEW BEST:: SOT 152929 SOS 132195 HAS SOPS 64587 HAS SOUS 32696 HAS SOUPS 27358 WITH SCORE 27490.195
AT ITER 3810 NEW BEST:: SOT 152936 SOS 132202 HAS SOPS 64594 HAS SOUS 32689 HAS SOUPS 27351 WITH SCORE 27483.202
AT ITER 3814 NEW BEST:: SOT 152748 SOS 132014 HAS SOPS 64352 HAS SOUS 32463 HAS SOUPS 27125 WITH SCORE 27257.014
AT ITER 3823 NEW BEST:: SOT 152734 SOS 132000 HAS SOPS 64324 HAS SOUS 32449 HAS SOUPS 27111 WITH SCORE 27243.0
AT ITER 3843 NEW BEST:: SOT 152689 SOS 131970 HAS SOPS 64294 HAS SOUS 32419 HAS SOUPS 27081 WITH SCORE 27212.97
AT ITER 3847 NEW BEST:: SOT 152527 SOS 131808 HAS SOPS 64270 HAS SOUS 32363 HAS SOUPS 27025 WITH SCORE 27156.808
AT ITER 3848 NEW BEST:: SOT 152528 SOS 131809 HAS SOPS 64271 HAS SOUS 32362 HAS SOUPS 27024 WITH SCORE 27155.809
AT ITER 3890 NEW BEST:: SOT 152532 SOS 131821 HAS SOPS 64263 HAS SOUS 32362 HAS SOUPS 27020 WITH SCORE 27151.821
AT ITER 3895 NEW BEST:: SOT 152532 SOS 131821 HAS SOPS 64263 HAS SOUS 32358 HAS SOUPS 27016 WITH SCORE 27147.821
AT ITER 3911 NEW BEST:: SOT 152454 SOS 131743 HAS SOPS 64146 HAS SOUS 32207 HAS SOUPS 26865 WITH SCORE 26996.743
AT ITER 3936 NEW BEST:: SOT 152410 SOS 131699 HAS SOPS 64080 HAS SOUS 32137 HAS SOUPS 26795 WITH SCORE 26926.699
AT ITER 3944 NEW BEST:: SOT 152389 SOS 131687 HAS SOPS 64058 HAS SOUS 32114 HAS SOUPS 26772 WITH SCORE 26903.687
AT ITER 3954 NEW BEST:: SOT 152353 SOS 131651 HAS SOPS 64004 HAS SOUS 32060 HAS SOUPS 26718 WITH SCORE 26849.651
AT ITER 3961 NEW BEST:: SOT 152319 SOS 131617 HAS SOPS 63953 HAS SOUS 31988 HAS SOUPS 26646 WITH SCORE 26777.617
AT ITER 4023 NEW BEST:: SOT 152296 SOS 131594 HAS SOPS 63898 HAS SOUS 31933 HAS SOUPS 26591 WITH SCORE 26722.594
AT ITER 4041 NEW BEST:: SOT 152208 SOS 131492 HAS SOPS 63708 HAS SOUS 31839 HAS SOUPS 26497 WITH SCORE 26628.492
AT ITER 4076 NEW BEST:: SOT 152100 SOS 131384 HAS SOPS 63546 HAS SOUS 31640 HAS SOUPS 26298 WITH SCORE 26429.384
AT ITER 4093 NEW BEST:: SOT 152074 SOS 131358 HAS SOPS 63507 HAS SOUS 31625 HAS SOUPS 26283 WITH SCORE 26414.358
AT ITER 4126 NEW BEST:: SOT 152122 SOS 131406 HAS SOPS 63483 HAS SOUS 31610 HAS SOUPS 26268 WITH SCORE 26399.406
AT ITER 4191 NEW BEST:: SOT 152136 SOS 131420 HAS SOPS 63511 HAS SOUS 31599 HAS SOUPS 26257 WITH SCORE 26388.42
AT ITER 4210 NEW BEST:: SOT 152055 SOS 131339 HAS SOPS 63430 HAS SOUS 31590 HAS SOUPS 26248 WITH SCORE 26379.339
AT ITER 4214 NEW BEST:: SOT 152009 SOS 131293 HAS SOPS 63457 HAS SOUS 31579 HAS SOUPS 26237 WITH SCORE 26368.293
AT ITER 4220 NEW BEST:: SOT 152005 SOS 131289 HAS SOPS 63445 HAS SOUS 31563 HAS SOUPS 26221 WITH SCORE 26352.289
AT ITER 4223 NEW BEST:: SOT 151953 SOS 131237 HAS SOPS 63393 HAS SOUS 31532 HAS SOUPS 26190 WITH SCORE 26321.237
AT ITER 4225 NEW BEST:: SOT 151911 SOS 131179 HAS SOPS 63319 HAS SOUS 31500 HAS SOUPS 26158 WITH SCORE 26289.179
AT ITER 4230 NEW BEST:: SOT 151889 SOS 131157 HAS SOPS 63286 HAS SOUS 31454 HAS SOUPS 26112 WITH SCORE 26243.157
AT ITER 4285 NEW BEST:: SOT 151889 SOS 131157 HAS SOPS 63286 HAS SOUS 31453 HAS SOUPS 26111 WITH SCORE 26242.157
AT ITER 4302 NEW BEST:: SOT 151877 SOS 131145 HAS SOPS 63268 HAS SOUS 31435 HAS SOUPS 26093 WITH SCORE 26224.145
AT ITER 4310 NEW BEST:: SOT 151877 SOS 131145 HAS SOPS 63268 HAS SOUS 31396 HAS SOUPS 26054 WITH SCORE 26185.145
AT ITER 4314 NEW BEST:: SOT 151877 SOS 131145 HAS SOPS 63268 HAS SOUS 31390 HAS SOUPS 26048 WITH SCORE 26179.145
AT ITER 4336 NEW BEST:: SOT 151787 SOS 131055 HAS SOPS 63133 HAS SOUS 31255 HAS SOUPS 25913 WITH SCORE 26044.055
AT ITER 4347 NEW BEST:: SOT 151937 SOS 131205 HAS SOPS 63093 HAS SOUS 31241 HAS SOUPS 25899 WITH SCORE 26030.205
AT ITER 4366 NEW BEST:: SOT 151913 SOS 131181 HAS SOPS 63057 HAS SOUS 31203 HAS SOUPS 25861 WITH SCORE 25992.181
AT ITER 4381 NEW BEST:: SOT 151907 SOS 131175 HAS SOPS 63048 HAS SOUS 31194 HAS SOUPS 25852 WITH SCORE 25983.175
AT ITER 4386 NEW BEST:: SOT 151899 SOS 131167 HAS SOPS 63036 HAS SOUS 31182 HAS SOUPS 25840 WITH SCORE 25971.167
AT ITER 4390 NEW BEST:: SOT 151871 SOS 131139 HAS SOPS 62980 HAS SOUS 31157 HAS SOUPS 25793 WITH SCORE 25924.139
AT ITER 4396 NEW BEST:: SOT 151858 SOS 131126 HAS SOPS 62936 HAS SOUS 31152 HAS SOUPS 25788 WITH SCORE 25919.126
AT ITER 4404 NEW BEST:: SOT 151858 SOS 131126 HAS SOPS 62936 HAS SOUS 31126 HAS SOUPS 25762 WITH SCORE 25893.126
AT ITER 4415 NEW BEST:: SOT 151816 SOS 131084 HAS SOPS 62945 HAS SOUS 31117 HAS SOUPS 25753 WITH SCORE 25884.084
AT ITER 4424 NEW BEST:: SOT 151804 SOS 131097 HAS SOPS 62921 HAS SOUS 31123 HAS SOUPS 25734 WITH SCORE 25865.097
AT ITER 4439 NEW BEST:: SOT 151840 SOS 131133 HAS SOPS 62912 HAS SOUS 31114 HAS SOUPS 25725 WITH SCORE 25856.133
AT ITER 4441 NEW BEST:: SOT 151840 SOS 131133 HAS SOPS 62872 HAS SOUS 31105 HAS SOUPS 25706 WITH SCORE 25837.133
AT ITER 4471 NEW BEST:: SOT 151794 SOS 131087 HAS SOPS 62803 HAS SOUS 31017 HAS SOUPS 25618 WITH SCORE 25749.087
AT ITER 4475 NEW BEST:: SOT 151814 SOS 131107 HAS SOPS 62803 HAS SOUS 31007 HAS SOUPS 25608 WITH SCORE 25739.107
AT ITER 4484 NEW BEST:: SOT 151800 SOS 131093 HAS SOPS 62814 HAS SOUS 30993 HAS SOUPS 25602 WITH SCORE 25733.093
AT ITER 4541 NEW BEST:: SOT 151719 SOS 131012 HAS SOPS 62778 HAS SOUS 30900 HAS SOUPS 25540 WITH SCORE 25671.012
AT ITER 4560 NEW BEST:: SOT 151387 SOS 130653 HAS SOPS 62860 HAS SOUS 30865 HAS SOUPS 25505 WITH SCORE 25635.653
AT ITER 4623 NEW BEST:: SOT 151397 SOS 130637 HAS SOPS 62844 HAS SOUS 30860 HAS SOUPS 25500 WITH SCORE 25630.637
AT ITER 4652 NEW BEST:: SOT 151259 SOS 130499 HAS SOPS 62778 HAS SOUS 30798 HAS SOUPS 25438 WITH SCORE 25568.499
AT ITER 4656 NEW BEST:: SOT 151169 SOS 130409 HAS SOPS 62643 HAS SOUS 30663 HAS SOUPS 25303 WITH SCORE 25433.409
AT ITER 4668 NEW BEST:: SOT 151157 SOS 130393 HAS SOPS 62623 HAS SOUS 30649 HAS SOUPS 25289 WITH SCORE 25419.393
AT ITER 4697 NEW BEST:: SOT 151151 SOS 130387 HAS SOPS 62614 HAS SOUS 30640 HAS SOUPS 25280 WITH SCORE 25410.387
AT ITER 4703 NEW BEST:: SOT 151151 SOS 130387 HAS SOPS 62614 HAS SOUS 30626 HAS SOUPS 25266 WITH SCORE 25396.387
AT ITER 4725 NEW BEST:: SOT 151255 SOS 130491 HAS SOPS 62530 HAS SOUS 30547 HAS SOUPS 25187 WITH SCORE 25317.491
AT ITER 4728 NEW BEST:: SOT 151221 SOS 130457 HAS SOPS 62571 HAS SOUS 30494 HAS SOUPS 25157 WITH SCORE 25287.457
AT ITER 4742 NEW BEST:: SOT 151221 SOS 130457 HAS SOPS 62571 HAS SOUS 30419 HAS SOUPS 25082 WITH SCORE 25212.457
AT ITER 4791 NEW BEST:: SOT 151199 SOS 130435 HAS SOPS 62538 HAS SOUS 30378 HAS SOUPS 25041 WITH SCORE 25171.435
AT ITER 4798 NEW BEST:: SOT 151179 SOS 130415 HAS SOPS 62498 HAS SOUS 30330 HAS SOUPS 24993 WITH SCORE 25123.415
AT ITER 4802 NEW BEST:: SOT 151165 SOS 130401 HAS SOPS 62505 HAS SOUS 30330 HAS SOUPS 24993 WITH SCORE 25123.401
AT ITER 4808 NEW BEST:: SOT 151176 SOS 130423 HAS SOPS 62499 HAS SOUS 30321 HAS SOUPS 24984 WITH SCORE 25114.423
AT ITER 4813 NEW BEST:: SOT 151172 SOS 130363 HAS SOPS 62479 HAS SOUS 30273 HAS SOUPS 24964 WITH SCORE 25094.363
AT ITER 4831 NEW BEST:: SOT 151152 SOS 130343 HAS SOPS 62458 HAS SOUS 30240 HAS SOUPS 24931 WITH SCORE 25061.343
AT ITER 4849 NEW BEST:: SOT 151176 SOS 130367 HAS SOPS 62494 HAS SOUS 30220 HAS SOUPS 24911 WITH SCORE 25041.367
AT ITER 4853 NEW BEST:: SOT 151170 SOS 130361 HAS SOPS 62547 HAS SOUS 30211 HAS SOUPS 24902 WITH SCORE 25032.361
AT ITER 4861 NEW BEST:: SOT 151128 SOS 130319 HAS SOPS 62484 HAS SOUS 30148 HAS SOUPS 24839 WITH SCORE 24969.319
AT ITER 4862 NEW BEST:: SOT 151168 SOS 129837 HAS SOPS 62328 HAS SOUS 30140 HAS SOUPS 24839 WITH SCORE 24968.837
AT ITER 4894 NEW BEST:: SOT 151114 SOS 129783 HAS SOPS 62247 HAS SOUS 30032 HAS SOUPS 24731 WITH SCORE 24860.783
AT ITER 4901 NEW BEST:: SOT 151082 SOS 129751 HAS SOPS 62183 HAS SOUS 29973 HAS SOUPS 24672 WITH SCORE 24801.751
AT ITER 4928 NEW BEST:: SOT 151093 SOS 129762 HAS SOPS 62176 HAS SOUS 29926 HAS SOUPS 24625 WITH SCORE 24754.762
AT ITER 4934 NEW BEST:: SOT 151063 SOS 129732 HAS SOPS 62183 HAS SOUS 29916 HAS SOUPS 24615 WITH SCORE 24744.732
AT ITER 4935 NEW BEST:: SOT 151063 SOS 129732 HAS SOPS 62183 HAS SOUS 29915 HAS SOUPS 24614 WITH SCORE 24743.732
AT ITER 4952 NEW BEST:: SOT 151025 SOS 129694 HAS SOPS 62013 HAS SOUS 29829 HAS SOUPS 24528 WITH SCORE 24657.694
AT ITER 4982 NEW BEST:: SOT 151047 SOS 129716 HAS SOPS 61978 HAS SOUS 29818 HAS SOUPS 24510 WITH SCORE 24639.716
AT ITER 4987 NEW BEST:: SOT 151043 SOS 129712 HAS SOPS 61974 HAS SOUS 29814 HAS SOUPS 24506 WITH SCORE 24635.712
AT ITER 5001 NEW BEST:: SOT 151044 SOS 129713 HAS SOPS 61972 HAS SOUS 29811 HAS SOUPS 24503 WITH SCORE 24632.713
AT ITER 5004 NEW BEST:: SOT 151022 SOS 129691 HAS SOPS 61939 HAS SOUS 29767 HAS SOUPS 24459 WITH SCORE 24588.691
AT ITER 5017 NEW BEST:: SOT 151016 SOS 129685 HAS SOPS 61933 HAS SOUS 29755 HAS SOUPS 24447 WITH SCORE 24576.685
AT ITER 5018 NEW BEST:: SOT 150950 SOS 129619 HAS SOPS 61834 HAS SOUS 29647 HAS SOUPS 24339 WITH SCORE 24468.619
AT ITER 5045 NEW BEST:: SOT 150950 SOS 129619 HAS SOPS 61834 HAS SOUS 29639 HAS SOUPS 24331 WITH SCORE 24460.619
AT ITER 5068 NEW BEST:: SOT 150910 SOS 129579 HAS SOPS 61774 HAS SOUS 29574 HAS SOUPS 24266 WITH SCORE 24395.579
AT ITER 5074 NEW BEST:: SOT 150902 SOS 129492 HAS SOPS 61646 HAS SOUS 29570 HAS SOUPS 24238 WITH SCORE 24367.492
AT ITER 5079 NEW BEST:: SOT 150990 SOS 128566 HAS SOPS 61424 HAS SOUS 29539 HAS SOUPS 24224 WITH SCORE 24352.566
AT ITER 5080 NEW BEST:: SOT 150976 SOS 128552 HAS SOPS 61340 HAS SOUS 29502 HAS SOUPS 24155 WITH SCORE 24283.552
AT ITER 5097 NEW BEST:: SOT 150964 SOS 128540 HAS SOPS 61322 HAS SOUS 29484 HAS SOUPS 24137 WITH SCORE 24265.54
AT ITER 5111 NEW BEST:: SOT 150953 SOS 128490 HAS SOPS 61220 HAS SOUS 29460 HAS SOUPS 24113 WITH SCORE 24241.49
AT ITER 5165 NEW BEST:: SOT 150915 SOS 128754 HAS SOPS 61401 HAS SOUS 29423 HAS SOUPS 24076 WITH SCORE 24204.754
AT ITER 5173 NEW BEST:: SOT 150891 SOS 128730 HAS SOPS 61353 HAS SOUS 29387 HAS SOUPS 24040 WITH SCORE 24168.73
AT ITER 5201 NEW BEST:: SOT 150875 SOS 128714 HAS SOPS 61329 HAS SOUS 29370 HAS SOUPS 24023 WITH SCORE 24151.714
AT ITER 5236 NEW BEST:: SOT 150875 SOS 128714 HAS SOPS 61329 HAS SOUS 29360 HAS SOUPS 24013 WITH SCORE 24141.714
AT ITER 5240 NEW BEST:: SOT 150875 SOS 128714 HAS SOPS 61329 HAS SOUS 29353 HAS SOUPS 24006 WITH SCORE 24134.714
AT ITER 5245 NEW BEST:: SOT 150874 SOS 128701 HAS SOPS 61320 HAS SOUS 29348 HAS SOUPS 24005 WITH SCORE 24133.701
AT ITER 5258 NEW BEST:: SOT 150849 SOS 128722 HAS SOPS 61176 HAS SOUS 29298 HAS SOUPS 23927 WITH SCORE 24055.722
AT ITER 5294 NEW BEST:: SOT 150843 SOS 128716 HAS SOPS 61167 HAS SOUS 29286 HAS SOUPS 23915 WITH SCORE 24043.716
AT ITER 5303 NEW BEST:: SOT 150925 SOS 128798 HAS SOPS 61130 HAS SOUS 29274 HAS SOUPS 23903 WITH SCORE 24031.798
AT ITER 5314 NEW BEST:: SOT 150885 SOS 128758 HAS SOPS 61050 HAS SOUS 29214 HAS SOUPS 23843 WITH SCORE 23971.758
AT ITER 5329 NEW BEST:: SOT 150881 SOS 128754 HAS SOPS 61040 HAS SOUS 29206 HAS SOUPS 23835 WITH SCORE 23963.754
AT ITER 5332 NEW BEST:: SOT 150876 SOS 128749 HAS SOPS 61035 HAS SOUS 29206 HAS SOUPS 23835 WITH SCORE 23963.749
AT ITER 5508 NEW BEST:: SOT 150872 SOS 128745 HAS SOPS 61029 HAS SOUS 29200 HAS SOUPS 23829 WITH SCORE 23957.745
AT ITER 5528 NEW BEST:: SOT 150872 SOS 128745 HAS SOPS 61029 HAS SOUS 29198 HAS SOUPS 23827 WITH SCORE 23955.745
AT ITER 5530 NEW BEST:: SOT 150844 SOS 128717 HAS SOPS 61030 HAS SOUS 29191 HAS SOUPS 23820 WITH SCORE 23948.717
AT ITER 5541 NEW BEST:: SOT 150825 SOS 128698 HAS SOPS 61007 HAS SOUS 29172 HAS SOUPS 23801 WITH SCORE 23929.698
AT ITER 5553 NEW BEST:: SOT 150821 SOS 128694 HAS SOPS 60985 HAS SOUS 29164 HAS SOUPS 23793 WITH SCORE 23921.694
AT ITER 5559 NEW BEST:: SOT 150790 SOS 128690 HAS SOPS 60857 HAS SOUS 29063 HAS SOUPS 23692 WITH SCORE 23820.69
AT ITER 5566 NEW BEST:: SOT 150768 SOS 128668 HAS SOPS 60806 HAS SOUS 29030 HAS SOUPS 23659 WITH SCORE 23787.668
AT ITER 5577 NEW BEST:: SOT 150771 SOS 128671 HAS SOPS 60809 HAS SOUS 29007 HAS SOUPS 23636 WITH SCORE 23764.671
AT ITER 5608 NEW BEST:: SOT 150771 SOS 128671 HAS SOPS 60809 HAS SOUS 29004 HAS SOUPS 23633 WITH SCORE 23761.671
AT ITER 5612 NEW BEST:: SOT 150769 SOS 128669 HAS SOPS 60738 HAS SOUS 28965 HAS SOUPS 23592 WITH SCORE 23720.669
AT ITER 5644 NEW BEST:: SOT 150558 SOS 130631 HAS SOPS 61468 HAS SOUS 28946 HAS SOUPS 23573 WITH SCORE 23703.631
AT ITER 5648 NEW BEST:: SOT 150552 SOS 130625 HAS SOPS 61456 HAS SOUS 28934 HAS SOUPS 23561 WITH SCORE 23691.625
AT ITER 5660 NEW BEST:: SOT 150516 SOS 130389 HAS SOPS 61252 HAS SOUS 28880 HAS SOUPS 23507 WITH SCORE 23637.389
AT ITER 5677 NEW BEST:: SOT 150494 SOS 130367 HAS SOPS 61219 HAS SOUS 28847 HAS SOUPS 23474 WITH SCORE 23604.367
AT ITER 5717 NEW BEST:: SOT 150468 SOS 130341 HAS SOPS 61167 HAS SOUS 28795 HAS SOUPS 23422 WITH SCORE 23552.341
AT ITER 5720 NEW BEST:: SOT 150462 SOS 130335 HAS SOPS 61161 HAS SOUS 28785 HAS SOUPS 23412 WITH SCORE 23542.335
AT ITER 5764 NEW BEST:: SOT 150462 SOS 130335 HAS SOPS 61161 HAS SOUS 28778 HAS SOUPS 23405 WITH SCORE 23535.335
AT ITER 5796 NEW BEST:: SOT 150358 SOS 130231 HAS SOPS 60953 HAS SOUS 28579 HAS SOUPS 23206 WITH SCORE 23336.231
AT ITER 5799 NEW BEST:: SOT 150354 SOS 130227 HAS SOPS 60945 HAS SOUS 28576 HAS SOUPS 23200 WITH SCORE 23330.227
AT ITER 5805 NEW BEST:: SOT 150332 SOS 130205 HAS SOPS 60912 HAS SOUS 28527 HAS SOUPS 23151 WITH SCORE 23281.205
AT ITER 5843 NEW BEST:: SOT 150322 SOS 130195 HAS SOPS 60897 HAS SOUS 28512 HAS SOUPS 23136 WITH SCORE 23266.195
AT ITER 5907 NEW BEST:: SOT 150312 SOS 130185 HAS SOPS 60877 HAS SOUS 28470 HAS SOUPS 23094 WITH SCORE 23224.185
AT ITER 5923 NEW BEST:: SOT 150298 SOS 130171 HAS SOPS 60849 HAS SOUS 28426 HAS SOUPS 23050 WITH SCORE 23180.171
AT ITER 5951 NEW BEST:: SOT 150252 SOS 130125 HAS SOPS 60849 HAS SOUS 28426 HAS SOUPS 23050 WITH SCORE 23180.125
AT ITER 5957 NEW BEST:: SOT 150238 SOS 130111 HAS SOPS 60828 HAS SOUS 28375 HAS SOUPS 22999 WITH SCORE 23129.111
AT ITER 6034 NEW BEST:: SOT 150238 SOS 130107 HAS SOPS 60818 HAS SOUS 28375 HAS SOUPS 22999 WITH SCORE 23129.107
AT ITER 6074 NEW BEST:: SOT 150232 SOS 130101 HAS SOPS 60813 HAS SOUS 28362 HAS SOUPS 22986 WITH SCORE 23116.101
AT ITER 6086 NEW BEST:: SOT 150230 SOS 130099 HAS SOPS 60808 HAS SOUS 28359 HAS SOUPS 22983 WITH SCORE 23113.099
AT ITER 6106 NEW BEST:: SOT 150230 SOS 130099 HAS SOPS 60808 HAS SOUS 28356 HAS SOUPS 22980 WITH SCORE 23110.099
AT ITER 6111 NEW BEST:: SOT 150230 SOS 130087 HAS SOPS 60783 HAS SOUS 28359 HAS SOUPS 22976 WITH SCORE 23106.087
AT ITER 6113 NEW BEST:: SOT 150226 SOS 130083 HAS SOPS 60777 HAS SOUS 28353 HAS SOUPS 22970 WITH SCORE 23100.083
AT ITER 6125 NEW BEST:: SOT 150220 SOS 130077 HAS SOPS 60768 HAS SOUS 28344 HAS SOUPS 22961 WITH SCORE 23091.077
AT ITER 6126 NEW BEST:: SOT 150214 SOS 130071 HAS SOPS 60759 HAS SOUS 28337 HAS SOUPS 22954 WITH SCORE 23084.071
AT ITER 6146 NEW BEST:: SOT 150204 SOS 130061 HAS SOPS 60744 HAS SOUS 28328 HAS SOUPS 22945 WITH SCORE 23075.061
AT ITER 6147 NEW BEST:: SOT 150205 SOS 130059 HAS SOPS 60746 HAS SOUS 28328 HAS SOUPS 22945 WITH SCORE 23075.059
AT ITER 6157 NEW BEST:: SOT 150216 SOS 130070 HAS SOPS 60724 HAS SOUS 28326 HAS SOUPS 22943 WITH SCORE 23073.07
AT ITER 6177 NEW BEST:: SOT 150172 SOS 130026 HAS SOPS 60658 HAS SOUS 28218 HAS SOUPS 22835 WITH SCORE 22965.026
AT ITER 6181 NEW BEST:: SOT 150114 SOS 129968 HAS SOPS 60571 HAS SOUS 28126 HAS SOUPS 22743 WITH SCORE 22872.968
AT ITER 6188 NEW BEST:: SOT 150072 SOS 129926 HAS SOPS 60508 HAS SOUS 28045 HAS SOUPS 22662 WITH SCORE 22791.926
AT ITER 6197 NEW BEST:: SOT 149988 SOS 129842 HAS SOPS 60386 HAS SOUS 27909 HAS SOUPS 22526 WITH SCORE 22655.842
AT ITER 6227 NEW BEST:: SOT 149988 SOS 129842 HAS SOPS 60365 HAS SOUS 27883 HAS SOUPS 22500 WITH SCORE 22629.842
AT ITER 6243 NEW BEST:: SOT 149984 SOS 129838 HAS SOPS 60361 HAS SOUS 27876 HAS SOUPS 22493 WITH SCORE 22622.838
AT ITER 6260 NEW BEST:: SOT 150026 SOS 129880 HAS SOPS 60314 HAS SOUS 27799 HAS SOUPS 22416 WITH SCORE 22545.88
AT ITER 6270 NEW BEST:: SOT 150010 SOS 129864 HAS SOPS 60270 HAS SOUS 27773 HAS SOUPS 22390 WITH SCORE 22519.864
AT ITER 6273 NEW BEST:: SOT 149986 SOS 129792 HAS SOPS 60198 HAS SOUS 27737 HAS SOUPS 22354 WITH SCORE 22483.792
AT ITER 6294 NEW BEST:: SOT 149978 SOS 129784 HAS SOPS 60212 HAS SOUS 27721 HAS SOUPS 22338 WITH SCORE 22467.784
AT ITER 6358 NEW BEST:: SOT 149930 SOS 129736 HAS SOPS 60140 HAS SOUS 27673 HAS SOUPS 22290 WITH SCORE 22419.736
AT ITER 6362 NEW BEST:: SOT 149920 SOS 129744 HAS SOPS 60110 HAS SOUS 27653 HAS SOUPS 22270 WITH SCORE 22399.744
AT ITER 6386 NEW BEST:: SOT 149856 SOS 129680 HAS SOPS 60105 HAS SOUS 27637 HAS SOUPS 22254 WITH SCORE 22383.68
AT ITER 6412 NEW BEST:: SOT 149852 SOS 129676 HAS SOPS 60099 HAS SOUS 27629 HAS SOUPS 22246 WITH SCORE 22375.676
AT ITER 6425 NEW BEST:: SOT 149814 SOS 129638 HAS SOPS 60042 HAS SOUS 27555 HAS SOUPS 22172 WITH SCORE 22301.638
AT ITER 6437 NEW BEST:: SOT 149789 SOS 129613 HAS SOPS 60038 HAS SOUS 27522 HAS SOUPS 22139 WITH SCORE 22268.613
AT ITER 6451 NEW BEST:: SOT 149809 SOS 129633 HAS SOPS 59996 HAS SOUS 27498 HAS SOUPS 22115 WITH SCORE 22244.633
AT ITER 6457 NEW BEST:: SOT 149773 SOS 129597 HAS SOPS 59964 HAS SOUS 27444 HAS SOUPS 22061 WITH SCORE 22190.597
AT ITER 6466 NEW BEST:: SOT 149763 SOS 129587 HAS SOPS 59961 HAS SOUS 27441 HAS SOUPS 22058 WITH SCORE 22187.587
AT ITER 6483 NEW BEST:: SOT 149761 SOS 129585 HAS SOPS 59959 HAS SOUS 27437 HAS SOUPS 22054 WITH SCORE 22183.585
AT ITER 6486 NEW BEST:: SOT 149743 SOS 129567 HAS SOPS 59932 HAS SOUS 27421 HAS SOUPS 22038 WITH SCORE 22167.567
AT ITER 6492 NEW BEST:: SOT 149731 SOS 129555 HAS SOPS 59938 HAS SOUS 27415 HAS SOUPS 22038 WITH SCORE 22167.555
AT ITER 6501 NEW BEST:: SOT 149713 SOS 129537 HAS SOPS 59911 HAS SOUS 27388 HAS SOUPS 22011 WITH SCORE 22140.537
AT ITER 6570 NEW BEST:: SOT 149699 SOS 129523 HAS SOPS 59894 HAS SOUS 27383 HAS SOUPS 22006 WITH SCORE 22135.523
AT ITER 6575 NEW BEST:: SOT 149693 SOS 129585 HAS SOPS 59919 HAS SOUS 27383 HAS SOUPS 22005 WITH SCORE 22134.585
AT ITER 6582 NEW BEST:: SOT 149690 SOS 129576 HAS SOPS 59913 HAS SOUS 27374 HAS SOUPS 21999 WITH SCORE 22128.576
AT ITER 6593 NEW BEST:: SOT 149710 SOS 129596 HAS SOPS 59855 HAS SOUS 27338 HAS SOUPS 21941 WITH SCORE 22070.596
AT ITER 6622 NEW BEST:: SOT 149706 SOS 129592 HAS SOPS 59826 HAS SOUS 27330 HAS SOUPS 21933 WITH SCORE 22062.592
AT ITER 6675 NEW BEST:: SOT 149565 SOS 129491 HAS SOPS 59811 HAS SOUS 27319 HAS SOUPS 21922 WITH SCORE 22051.491
AT ITER 6678 NEW BEST:: SOT 149565 SOS 129491 HAS SOPS 59811 HAS SOUS 27306 HAS SOUPS 21909 WITH SCORE 22038.491
AT ITER 6700 NEW BEST:: SOT 149555 SOS 129481 HAS SOPS 59796 HAS SOUS 27300 HAS SOUPS 21903 WITH SCORE 22032.481
AT ITER 6703 NEW BEST:: SOT 149497 SOS 129423 HAS SOPS 59763 HAS SOUS 27272 HAS SOUPS 21875 WITH SCORE 22004.423
AT ITER 6746 NEW BEST:: SOT 149483 SOS 129409 HAS SOPS 59763 HAS SOUS 27251 HAS SOUPS 21854 WITH SCORE 21983.409
AT ITER 6757 NEW BEST:: SOT 149476 SOS 129186 HAS SOPS 59540 HAS SOUS 27231 HAS SOUPS 21834 WITH SCORE 21963.186
AT ITER 6786 NEW BEST:: SOT 149468 SOS 129178 HAS SOPS 59519 HAS SOUS 27214 HAS SOUPS 21817 WITH SCORE 21946.178
AT ITER 6798 NEW BEST:: SOT 149466 SOS 129176 HAS SOPS 59520 HAS SOUS 27214 HAS SOUPS 21817 WITH SCORE 21946.176
AT ITER 6808 NEW BEST:: SOT 149424 SOS 129134 HAS SOPS 59471 HAS SOUS 27172 HAS SOUPS 21775 WITH SCORE 21904.134
AT ITER 6837 NEW BEST:: SOT 149426 SOS 129136 HAS SOPS 59474 HAS SOUS 27155 HAS SOUPS 21758 WITH SCORE 21887.136
AT ITER 6842 NEW BEST:: SOT 149426 SOS 129136 HAS SOPS 59474 HAS SOUS 27152 HAS SOUPS 21755 WITH SCORE 21884.136
AT ITER 6859 NEW BEST:: SOT 149429 SOS 129139 HAS SOPS 59477 HAS SOUS 27125 HAS SOUPS 21728 WITH SCORE 21857.139
AT ITER 6908 NEW BEST:: SOT 149396 SOS 129106 HAS SOPS 59444 HAS SOUS 27047 HAS SOUPS 21650 WITH SCORE 21779.106
AT ITER 6912 NEW BEST:: SOT 149396 SOS 129106 HAS SOPS 59444 HAS SOUS 27044 HAS SOUPS 21647 WITH SCORE 21776.106
AT ITER 7014 NEW BEST:: SOT 149392 SOS 129102 HAS SOPS 59446 HAS SOUS 27044 HAS SOUPS 21647 WITH SCORE 21776.102
AT ITER 7021 NEW BEST:: SOT 149362 SOS 129072 HAS SOPS 59401 HAS SOUS 26991 HAS SOUPS 21594 WITH SCORE 21723.072
AT ITER 7039 NEW BEST:: SOT 149356 SOS 129063 HAS SOPS 59386 HAS SOUS 26982 HAS SOUPS 21582 WITH SCORE 21711.063
AT ITER 7073 NEW BEST:: SOT 149356 SOS 129048 HAS SOPS 59386 HAS SOUS 26982 HAS SOUPS 21582 WITH SCORE 21711.048
AT ITER 7153 NEW BEST:: SOT 149354 SOS 129046 HAS SOPS 59386 HAS SOUS 26982 HAS SOUPS 21582 WITH SCORE 21711.046
AT ITER 7173 NEW BEST:: SOT 149350 SOS 129042 HAS SOPS 59380 HAS SOUS 26964 HAS SOUPS 21564 WITH SCORE 21693.042
AT ITER 7195 NEW BEST:: SOT 149348 SOS 129006 HAS SOPS 59364 HAS SOUS 26889 HAS SOUPS 21509 WITH SCORE 21638.006
AT ITER 7205 NEW BEST:: SOT 149346 SOS 129004 HAS SOPS 59334 HAS SOUS 26883 HAS SOUPS 21503 WITH SCORE 21632.004
AT ITER 7236 NEW BEST:: SOT 149337 SOS 128986 HAS SOPS 59316 HAS SOUS 26856 HAS SOUPS 21476 WITH SCORE 21604.986
AT ITER 7237 NEW BEST:: SOT 149379 SOS 129069 HAS SOPS 59270 HAS SOUS 26841 HAS SOUPS 21430 WITH SCORE 21559.069
AT ITER 7248 NEW BEST:: SOT 149377 SOS 129064 HAS SOPS 59264 HAS SOUS 26837 HAS SOUPS 21426 WITH SCORE 21555.064
AT ITER 7256 NEW BEST:: SOT 149375 SOS 129063 HAS SOPS 59263 HAS SOUS 26836 HAS SOUPS 21425 WITH SCORE 21554.063
AT ITER 7323 NEW BEST:: SOT 149365 SOS 129053 HAS SOPS 59243 HAS SOUS 26816 HAS SOUPS 21405 WITH SCORE 21534.053
AT ITER 7354 NEW BEST:: SOT 149361 SOS 129049 HAS SOPS 59237 HAS SOUS 26805 HAS SOUPS 21394 WITH SCORE 21523.049
AT ITER 7395 NEW BEST:: SOT 149337 SOS 129025 HAS SOPS 59189 HAS SOUS 26769 HAS SOUPS 21358 WITH SCORE 21487.025
AT ITER 7438 NEW BEST:: SOT 149331 SOS 129019 HAS SOPS 59141 HAS SOUS 26760 HAS SOUPS 21349 WITH SCORE 21478.019
AT ITER 7452 NEW BEST:: SOT 149329 SOS 129017 HAS SOPS 59137 HAS SOUS 26757 HAS SOUPS 21346 WITH SCORE 21475.017
AT ITER 7460 NEW BEST:: SOT 149277 SOS 129006 HAS SOPS 59038 HAS SOUS 26752 HAS SOUPS 21300 WITH SCORE 21429.006
AT ITER 7471 NEW BEST:: SOT 149249 SOS 128978 HAS SOPS 59052 HAS SOUS 26752 HAS SOUPS 21300 WITH SCORE 21428.978
AT ITER 7482 NEW BEST:: SOT 149181 SOS 128910 HAS SOPS 59086 HAS SOUS 26752 HAS SOUPS 21300 WITH SCORE 21428.91
AT ITER 7510 NEW BEST:: SOT 149181 SOS 128910 HAS SOPS 59086 HAS SOUS 26744 HAS SOUPS 21292 WITH SCORE 21420.91
AT ITER 7540 NEW BEST:: SOT 149181 SOS 128910 HAS SOPS 59074 HAS SOUS 26735 HAS SOUPS 21283 WITH SCORE 21411.91
AT ITER 7604 NEW BEST:: SOT 149163 SOS 128885 HAS SOPS 59066 HAS SOUS 26718 HAS SOUPS 21283 WITH SCORE 21411.885
AT ITER 7614 NEW BEST:: SOT 149147 SOS 128869 HAS SOPS 59032 HAS SOUS 26694 HAS SOUPS 21259 WITH SCORE 21387.869
AT ITER 7647 NEW BEST:: SOT 149025 SOS 128747 HAS SOPS 59061 HAS SOUS 26670 HAS SOUPS 21235 WITH SCORE 21363.747
AT ITER 7660 NEW BEST:: SOT 148991 SOS 128713 HAS SOPS 59021 HAS SOUS 26610 HAS SOUPS 21175 WITH SCORE 21303.713
AT ITER 7667 NEW BEST:: SOT 148986 SOS 128623 HAS SOPS 58826 HAS SOUS 26593 HAS SOUPS 21158 WITH SCORE 21286.623
AT ITER 7698 NEW BEST:: SOT 148887 SOS 128524 HAS SOPS 58700 HAS SOUS 26583 HAS SOUPS 21148 WITH SCORE 21276.524
AT ITER 7722 NEW BEST:: SOT 148875 SOS 128512 HAS SOPS 58689 HAS SOUS 26579 HAS SOUPS 21144 WITH SCORE 21272.512
AT ITER 7751 NEW BEST:: SOT 148867 SOS 128504 HAS SOPS 58683 HAS SOUS 26573 HAS SOUPS 21138 WITH SCORE 21266.504
AT ITER 7762 NEW BEST:: SOT 148837 SOS 128474 HAS SOPS 58665 HAS SOUS 26564 HAS SOUPS 21129 WITH SCORE 21257.474
AT ITER 7765 NEW BEST:: SOT 148831 SOS 128468 HAS SOPS 58662 HAS SOUS 26564 HAS SOUPS 21129 WITH SCORE 21257.468
AT ITER 7766 NEW BEST:: SOT 148823 SOS 128460 HAS SOPS 58650 HAS SOUS 26552 HAS SOUPS 21117 WITH SCORE 21245.46
AT ITER 7778 NEW BEST:: SOT 148809 SOS 128446 HAS SOPS 58629 HAS SOUS 26531 HAS SOUPS 21096 WITH SCORE 21224.446
AT ITER 7809 NEW BEST:: SOT 148765 SOS 128402 HAS SOPS 58601 HAS SOUS 26510 HAS SOUPS 21075 WITH SCORE 21203.402
AT ITER 7891 NEW BEST:: SOT 148765 SOS 128402 HAS SOPS 58581 HAS SOUS 26490 HAS SOUPS 21055 WITH SCORE 21183.402
AT ITER 7984 NEW BEST:: SOT 148759 SOS 128396 HAS SOPS 58572 HAS SOUS 26481 HAS SOUPS 21046 WITH SCORE 21174.396
AT ITER 8000 NEW BEST:: SOT 148719 SOS 128356 HAS SOPS 58512 HAS SOUS 26431 HAS SOUPS 20996 WITH SCORE 21124.356
AT ITER 8044 NEW BEST:: SOT 148664 SOS 128301 HAS SOPS 58418 HAS SOUS 26323 HAS SOUPS 20888 WITH SCORE 21016.301
AT ITER 8052 NEW BEST:: SOT 148668 SOS 128305 HAS SOPS 58406 HAS SOUS 26316 HAS SOUPS 20881 WITH SCORE 21009.305
AT ITER 8076 NEW BEST:: SOT 148845 SOS 126306 HAS SOPS 57702 HAS SOUS 26281 HAS SOUPS 20881 WITH SCORE 21007.306
AT ITER 8101 NEW BEST:: SOT 148839 SOS 126300 HAS SOPS 57696 HAS SOUS 26275 HAS SOUPS 20875 WITH SCORE 21001.3
AT ITER 8109 NEW BEST:: SOT 148827 SOS 126288 HAS SOPS 57672 HAS SOUS 26248 HAS SOUPS 20848 WITH SCORE 20974.288
AT ITER 8132 NEW BEST:: SOT 148827 SOS 126260 HAS SOPS 57662 HAS SOUS 26214 HAS SOUPS 20832 WITH SCORE 20958.26
AT ITER 8155 NEW BEST:: SOT 148795 SOS 126228 HAS SOPS 57614 HAS SOUS 26143 HAS SOUPS 20761 WITH SCORE 20887.228
AT ITER 8170 NEW BEST:: SOT 148795 SOS 126228 HAS SOPS 57614 HAS SOUS 26135 HAS SOUPS 20753 WITH SCORE 20879.228
AT ITER 8201 NEW BEST:: SOT 148799 SOS 126240 HAS SOPS 57606 HAS SOUS 26135 HAS SOUPS 20749 WITH SCORE 20875.24
AT ITER 8203 NEW BEST:: SOT 148795 SOS 126236 HAS SOPS 57612 HAS SOUS 26127 HAS SOUPS 20741 WITH SCORE 20867.236
AT ITER 8218 NEW BEST:: SOT 148789 SOS 126230 HAS SOPS 57603 HAS SOUS 26118 HAS SOUPS 20732 WITH SCORE 20858.23
AT ITER 8295 NEW BEST:: SOT 148787 SOS 126229 HAS SOPS 57600 HAS SOUS 26115 HAS SOUPS 20728 WITH SCORE 20854.229
AT ITER 8306 NEW BEST:: SOT 148784 SOS 126234 HAS SOPS 57591 HAS SOUS 26112 HAS SOUPS 20725 WITH SCORE 20851.234
AT ITER 8323 NEW BEST:: SOT 148724 SOS 126174 HAS SOPS 57534 HAS SOUS 26014 HAS SOUPS 20627 WITH SCORE 20753.174
AT ITER 8329 NEW BEST:: SOT 148724 SOS 126174 HAS SOPS 57534 HAS SOUS 25987 HAS SOUPS 20600 WITH SCORE 20726.174
AT ITER 8345 NEW BEST:: SOT 148706 SOS 126156 HAS SOPS 57471 HAS SOUS 25933 HAS SOUPS 20546 WITH SCORE 20672.156
AT ITER 8348 NEW BEST:: SOT 148677 SOS 126366 HAS SOPS 57532 HAS SOUS 25931 HAS SOUPS 20540 WITH SCORE 20666.366
AT ITER 8361 NEW BEST:: SOT 148639 SOS 126340 HAS SOPS 57476 HAS SOUS 25884 HAS SOUPS 20481 WITH SCORE 20607.34
AT ITER 8377 NEW BEST:: SOT 148589 SOS 126290 HAS SOPS 57401 HAS SOUS 25784 HAS SOUPS 20381 WITH SCORE 20507.29
AT ITER 8393 NEW BEST:: SOT 148573 SOS 126258 HAS SOPS 57385 HAS SOUS 25720 HAS SOUPS 20333 WITH SCORE 20459.258
AT ITER 8413 NEW BEST:: SOT 148577 SOS 126262 HAS SOPS 57373 HAS SOUS 25708 HAS SOUPS 20321 WITH SCORE 20447.262
AT ITER 8416 NEW BEST:: SOT 148577 SOS 126262 HAS SOPS 57373 HAS SOUS 25700 HAS SOUPS 20313 WITH SCORE 20439.262
AT ITER 8424 NEW BEST:: SOT 148565 SOS 126250 HAS SOPS 57361 HAS SOUS 25694 HAS SOUPS 20307 WITH SCORE 20433.25
AT ITER 8436 NEW BEST:: SOT 148545 SOS 126210 HAS SOPS 57341 HAS SOUS 25634 HAS SOUPS 20267 WITH SCORE 20393.21
AT ITER 8464 NEW BEST:: SOT 148569 SOS 126234 HAS SOPS 57325 HAS SOUS 25631 HAS SOUPS 20264 WITH SCORE 20390.234
AT ITER 8496 NEW BEST:: SOT 148569 SOS 126234 HAS SOPS 57325 HAS SOUS 25630 HAS SOUPS 20263 WITH SCORE 20389.234
AT ITER 8529 NEW BEST:: SOT 148643 SOS 126308 HAS SOPS 57399 HAS SOUS 25605 HAS SOUPS 20238 WITH SCORE 20364.308
AT ITER 8550 NEW BEST:: SOT 148639 SOS 126304 HAS SOPS 57393 HAS SOUS 25601 HAS SOUPS 20234 WITH SCORE 20360.304
AT ITER 8555 NEW BEST:: SOT 148639 SOS 126304 HAS SOPS 57393 HAS SOUS 25599 HAS SOUPS 20232 WITH SCORE 20358.304
AT ITER 8607 NEW BEST:: SOT 148611 SOS 126276 HAS SOPS 57337 HAS SOUS 25557 HAS SOUPS 20190 WITH SCORE 20316.276
AT ITER 8675 NEW BEST:: SOT 148575 SOS 126240 HAS SOPS 57323 HAS SOUS 25536 HAS SOUPS 20169 WITH SCORE 20295.24
AT ITER 8681 NEW BEST:: SOT 148591 SOS 126256 HAS SOPS 57303 HAS SOUS 25516 HAS SOUPS 20149 WITH SCORE 20275.256
AT ITER 8695 NEW BEST:: SOT 148563 SOS 126228 HAS SOPS 57261 HAS SOUS 25467 HAS SOUPS 20100 WITH SCORE 20226.228
AT ITER 8712 NEW BEST:: SOT 148507 SOS 126198 HAS SOPS 57161 HAS SOUS 25410 HAS SOUPS 20027 WITH SCORE 20153.198
AT ITER 8744 NEW BEST:: SOT 148507 SOS 126198 HAS SOPS 57161 HAS SOUS 25407 HAS SOUPS 20024 WITH SCORE 20150.198
AT ITER 8830 NEW BEST:: SOT 148453 SOS 126144 HAS SOPS 57080 HAS SOUS 25314 HAS SOUPS 19931 WITH SCORE 20057.144
AT ITER 8838 NEW BEST:: SOT 148487 SOS 126178 HAS SOPS 57040 HAS SOUS 25284 HAS SOUPS 19901 WITH SCORE 20027.178
AT ITER 8899 NEW BEST:: SOT 148481 SOS 126172 HAS SOPS 57040 HAS SOUS 25284 HAS SOUPS 19901 WITH SCORE 20027.172
AT ITER 8908 NEW BEST:: SOT 148518 SOS 126193 HAS SOPS 57026 HAS SOUS 25283 HAS SOUPS 19900 WITH SCORE 20026.193
AT ITER 8952 NEW BEST:: SOT 148518 SOS 126193 HAS SOPS 57018 HAS SOUS 25275 HAS SOUPS 19892 WITH SCORE 20018.193
AT ITER 9037 NEW BEST:: SOT 148512 SOS 126187 HAS SOPS 57006 HAS SOUS 25261 HAS SOUPS 19878 WITH SCORE 20004.187
AT ITER 9046 NEW BEST:: SOT 148478 SOS 126153 HAS SOPS 56932 HAS SOUS 25210 HAS SOUPS 19827 WITH SCORE 19953.153
AT ITER 9071 NEW BEST:: SOT 148462 SOS 126137 HAS SOPS 56932 HAS SOUS 25210 HAS SOUPS 19827 WITH SCORE 19953.137
AT ITER 9073 NEW BEST:: SOT 148444 SOS 126119 HAS SOPS 56852 HAS SOUS 25209 HAS SOUPS 19826 WITH SCORE 19952.119
AT ITER 9090 NEW BEST:: SOT 148432 SOS 126150 HAS SOPS 56840 HAS SOUS 25220 HAS SOUPS 19805 WITH SCORE 19931.15
AT ITER 9092 NEW BEST:: SOT 148428 SOS 126146 HAS SOPS 56832 HAS SOUS 25214 HAS SOUPS 19799 WITH SCORE 19925.146
AT ITER 9100 NEW BEST:: SOT 148428 SOS 126146 HAS SOPS 56832 HAS SOUS 25213 HAS SOUPS 19798 WITH SCORE 19924.146
AT ITER 9208 NEW BEST:: SOT 148433 SOS 126151 HAS SOPS 56837 HAS SOUS 25203 HAS SOUPS 19788 WITH SCORE 19914.151
AT ITER 9211 NEW BEST:: SOT 148404 SOS 126131 HAS SOPS 56817 HAS SOUS 25192 HAS SOUPS 19777 WITH SCORE 19903.131
AT ITER 9228 NEW BEST:: SOT 148347 SOS 126063 HAS SOPS 56666 HAS SOUS 25043 HAS SOUPS 19628 WITH SCORE 19754.063
AT ITER 9277 NEW BEST:: SOT 148339 SOS 126071 HAS SOPS 56650 HAS SOUS 25043 HAS SOUPS 19620 WITH SCORE 19746.071
AT ITER 9281 NEW BEST:: SOT 148335 SOS 126063 HAS SOPS 56644 HAS SOUS 25037 HAS SOUPS 19614 WITH SCORE 19740.063
AT ITER 9303 NEW BEST:: SOT 148313 SOS 126050 HAS SOPS 56623 HAS SOUS 25019 HAS SOUPS 19596 WITH SCORE 19722.05
AT ITER 9419 NEW BEST:: SOT 148307 SOS 126039 HAS SOPS 56617 HAS SOUS 24984 HAS SOUPS 19566 WITH SCORE 19692.039
AT ITER 9424 NEW BEST:: SOT 148305 SOS 126037 HAS SOPS 56613 HAS SOUS 24978 HAS SOUPS 19560 WITH SCORE 19686.037
AT ITER 9452 NEW BEST:: SOT 148272 SOS 126027 HAS SOPS 56579 HAS SOUS 24958 HAS SOUPS 19540 WITH SCORE 19666.027
AT ITER 9464 NEW BEST:: SOT 148246 SOS 126001 HAS SOPS 56540 HAS SOUS 24919 HAS SOUPS 19501 WITH SCORE 19627.001
AT ITER 9472 NEW BEST:: SOT 148242 SOS 125997 HAS SOPS 56534 HAS SOUS 24899 HAS SOUPS 19481 WITH SCORE 19606.997
AT ITER 9506 NEW BEST:: SOT 148223 SOS 125978 HAS SOPS 56507 HAS SOUS 24864 HAS SOUPS 19446 WITH SCORE 19571.978
AT ITER 9521 NEW BEST:: SOT 148223 SOS 125978 HAS SOPS 56507 HAS SOUS 24857 HAS SOUPS 19439 WITH SCORE 19564.978
AT ITER 9530 NEW BEST:: SOT 148215 SOS 126002 HAS SOPS 56491 HAS SOUS 24870 HAS SOUPS 19436 WITH SCORE 19562.002
AT ITER 9652 NEW BEST:: SOT 148190 SOS 125977 HAS SOPS 56452 HAS SOUS 24831 HAS SOUPS 19397 WITH SCORE 19522.977
AT ITER 9667 NEW BEST:: SOT 148190 SOS 125977 HAS SOPS 56452 HAS SOUS 24827 HAS SOUPS 19393 WITH SCORE 19518.977
AT ITER 9677 NEW BEST:: SOT 148170 SOS 125957 HAS SOPS 56431 HAS SOUS 24805 HAS SOUPS 19371 WITH SCORE 19496.957
AT ITER 9686 NEW BEST:: SOT 148166 SOS 125949 HAS SOPS 56426 HAS SOUS 24801 HAS SOUPS 19367 WITH SCORE 19492.949
AT ITER 9703 NEW BEST:: SOT 148152 SOS 125935 HAS SOPS 56405 HAS SOUS 24782 HAS SOUPS 19348 WITH SCORE 19473.935
AT ITER 9710 NEW BEST:: SOT 148125 SOS 125949 HAS SOPS 56384 HAS SOUS 24737 HAS SOUPS 19268 WITH SCORE 19393.949
AT ITER 9729 NEW BEST:: SOT 148125 SOS 125949 HAS SOPS 56384 HAS SOUS 24734 HAS SOUPS 19265 WITH SCORE 19390.949
AT ITER 9739 NEW BEST:: SOT 148129 SOS 125915 HAS SOPS 56370 HAS SOUS 24723 HAS SOUPS 19265 WITH SCORE 19390.915
AT ITER 9749 NEW BEST:: SOT 148117 SOS 125885 HAS SOPS 56322 HAS SOUS 24709 HAS SOUPS 19251 WITH SCORE 19376.885
AT ITER 9759 NEW BEST:: SOT 148141 SOS 125909 HAS SOPS 56358 HAS SOUS 24678 HAS SOUPS 19220 WITH SCORE 19345.909
AT ITER 9822 NEW BEST:: SOT 148142 SOS 125906 HAS SOPS 56358 HAS SOUS 24676 HAS SOUPS 19220 WITH SCORE 19345.906
AT ITER 9848 NEW BEST:: SOT 148138 SOS 125902 HAS SOPS 56352 HAS SOUS 24661 HAS SOUPS 19205 WITH SCORE 19330.902
AT ITER 9887 NEW BEST:: SOT 148142 SOS 125906 HAS SOPS 56283 HAS SOUS 24610 HAS SOUPS 19154 WITH SCORE 19279.906
AT ITER 9891 NEW BEST:: SOT 148120 SOS 125884 HAS SOPS 56206 HAS SOUS 24588 HAS SOUPS 19121 WITH SCORE 19246.884
AT ITER 9936 NEW BEST:: SOT 148116 SOS 125880 HAS SOPS 56205 HAS SOUS 24580 HAS SOUPS 19113 WITH SCORE 19238.88
AT ITER 9961 NEW BEST:: SOT 148114 SOS 125878 HAS SOPS 56202 HAS SOUS 24577 HAS SOUPS 19110 WITH SCORE 19235.878
AT ITER 9967 NEW BEST:: SOT 148186 SOS 125950 HAS SOPS 56161 HAS SOUS 24544 HAS SOUPS 19077 WITH SCORE 19202.95
AT ITER 9982 NEW BEST:: SOT 148183 SOS 125945 HAS SOPS 56160 HAS SOUS 24541 HAS SOUPS 19075 WITH SCORE 19200.945

BK_STOP 1589813083038

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 473 Aborted ${SMART} ${INPUT_SM}

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="Raft-PT-09"
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 Raft-PT-09, 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 r138-smll-158961502600280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-09.tgz
mv Raft-PT-09 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 ;