Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250700544.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Parking-PT-432, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250700544
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 360K
-rw-r--r-- 1 mcc users 3.7K Apr 11 23:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 11 23:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 10 22:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 10 22:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 07:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 07:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 9 12:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 12:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 192K Mar 24 05:37 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 1589645125407

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

Filename model.pnml
Petri model created: 529 places, 785 transitions, 2329 arcs.
AT ITER 0 NEW BEST:: SOT 241005 SOS 171690 HAS SOPS 171690 HAS SOUS 112047 HAS SOUPS 112047 WITH SCORE 112218.69
AT ITER 2 NEW BEST:: SOT 240242 SOS 170628 HAS SOPS 170533 HAS SOUS 111457 HAS SOUPS 111362 WITH SCORE 111532.628
AT ITER 3 NEW BEST:: SOT 239596 SOS 170097 HAS SOPS 169887 HAS SOUS 111185 HAS SOUPS 110975 WITH SCORE 111145.097
AT ITER 5 NEW BEST:: SOT 235426 SOS 165367 HAS SOPS 165157 HAS SOUS 108151 HAS SOUPS 107941 WITH SCORE 108106.367
AT ITER 7 NEW BEST:: SOT 235348 SOS 164569 HAS SOPS 164359 HAS SOUS 107980 HAS SOUPS 107770 WITH SCORE 107934.569
AT ITER 9 NEW BEST:: SOT 235583 SOS 165432 HAS SOPS 164902 HAS SOUS 108262 HAS SOUPS 107732 WITH SCORE 107897.432
AT ITER 10 NEW BEST:: SOT 235458 SOS 164896 HAS SOPS 164366 HAS SOUS 107863 HAS SOUPS 107333 WITH SCORE 107497.896
AT ITER 15 NEW BEST:: SOT 235458 SOS 164433 HAS SOPS 163903 HAS SOUS 107566 HAS SOUPS 107036 WITH SCORE 107200.433
AT ITER 20 NEW BEST:: SOT 235383 SOS 164333 HAS SOPS 163803 HAS SOUS 107566 HAS SOUPS 107036 WITH SCORE 107200.333
AT ITER 23 NEW BEST:: SOT 235383 SOS 164332 HAS SOPS 163802 HAS SOUS 107565 HAS SOUPS 107035 WITH SCORE 107199.332
AT ITER 30 NEW BEST:: SOT 235337 SOS 164286 HAS SOPS 163756 HAS SOUS 107541 HAS SOUPS 107011 WITH SCORE 107175.286
AT ITER 31 NEW BEST:: SOT 234461 SOS 162808 HAS SOPS 162171 HAS SOUS 106595 HAS SOUPS 105958 WITH SCORE 106120.808
AT ITER 33 NEW BEST:: SOT 234521 SOS 163199 HAS SOPS 162308 HAS SOUS 106829 HAS SOUPS 105938 WITH SCORE 106101.199
AT ITER 34 NEW BEST:: SOT 234116 SOS 162793 HAS SOPS 161902 HAS SOUS 106504 HAS SOUPS 105613 WITH SCORE 105775.793
AT ITER 41 NEW BEST:: SOT 233216 SOS 161747 HAS SOPS 160771 HAS SOUS 105919 HAS SOUPS 105003 WITH SCORE 105164.747
AT ITER 42 NEW BEST:: SOT 232331 SOS 160527 HAS SOPS 159356 HAS SOUS 105213 HAS SOUPS 104102 WITH SCORE 104262.527
AT ITER 43 NEW BEST:: SOT 232331 SOS 160526 HAS SOPS 159355 HAS SOUS 105212 HAS SOUPS 104101 WITH SCORE 104261.526
AT ITER 44 NEW BEST:: SOT 232331 SOS 160322 HAS SOPS 159151 HAS SOUS 105110 HAS SOUPS 103999 WITH SCORE 104159.322
AT ITER 45 NEW BEST:: SOT 232331 SOS 160090 HAS SOPS 158919 HAS SOUS 105040 HAS SOUPS 103929 WITH SCORE 104089.09
AT ITER 47 NEW BEST:: SOT 231565 SOS 158905 HAS SOPS 157537 HAS SOUS 104339 HAS SOUPS 103031 WITH SCORE 103189.905
AT ITER 49 NEW BEST:: SOT 231557 SOS 158897 HAS SOPS 157529 HAS SOUS 104329 HAS SOUPS 103021 WITH SCORE 103179.897
AT ITER 50 NEW BEST:: SOT 231392 SOS 158731 HAS SOPS 157363 HAS SOUS 104207 HAS SOUPS 102899 WITH SCORE 103057.731
AT ITER 52 NEW BEST:: SOT 231392 SOS 158676 HAS SOPS 157308 HAS SOUS 104207 HAS SOUPS 102899 WITH SCORE 103057.676
AT ITER 53 NEW BEST:: SOT 230587 SOS 157880 HAS SOPS 156502 HAS SOUS 103615 HAS SOUPS 102297 WITH SCORE 102454.88
AT ITER 57 NEW BEST:: SOT 231090 SOS 158169 HAS SOPS 156728 HAS SOUS 103508 HAS SOUPS 102158 WITH SCORE 102316.169
AT ITER 62 NEW BEST:: SOT 231090 SOS 158169 HAS SOPS 156728 HAS SOUS 103501 HAS SOUPS 102151 WITH SCORE 102309.169
AT ITER 63 NEW BEST:: SOT 231090 SOS 157889 HAS SOPS 156448 HAS SOUS 103359 HAS SOUPS 102009 WITH SCORE 102166.889
AT ITER 65 NEW BEST:: SOT 230326 SOS 156698 HAS SOPS 155257 HAS SOUS 102550 HAS SOUPS 101200 WITH SCORE 101356.698
AT ITER 66 NEW BEST:: SOT 230384 SOS 156549 HAS SOPS 155108 HAS SOUS 102469 HAS SOUPS 101119 WITH SCORE 101275.549
AT ITER 70 NEW BEST:: SOT 230215 SOS 156275 HAS SOPS 154777 HAS SOUS 102195 HAS SOUPS 100788 WITH SCORE 100944.275
AT ITER 73 NEW BEST:: SOT 230158 SOS 156161 HAS SOPS 154720 HAS SOUS 102081 HAS SOUPS 100731 WITH SCORE 100887.161
AT ITER 80 NEW BEST:: SOT 229684 SOS 155687 HAS SOPS 154246 HAS SOUS 101748 HAS SOUPS 100398 WITH SCORE 100553.687
AT ITER 83 NEW BEST:: SOT 229684 SOS 155652 HAS SOPS 154211 HAS SOUS 101713 HAS SOUPS 100363 WITH SCORE 100518.652
AT ITER 84 NEW BEST:: SOT 229675 SOS 155643 HAS SOPS 154202 HAS SOUS 101695 HAS SOUPS 100345 WITH SCORE 100500.643
AT ITER 92 NEW BEST:: SOT 229497 SOS 155158 HAS SOPS 153717 HAS SOUS 101390 HAS SOUPS 100040 WITH SCORE 100195.158
AT ITER 95 NEW BEST:: SOT 229497 SOS 154622 HAS SOPS 153181 HAS SOUS 101038 HAS SOUPS 99688 WITH SCORE 99842.622
AT ITER 97 NEW BEST:: SOT 229453 SOS 154510 HAS SOPS 153069 HAS SOUS 101030 HAS SOUPS 99680 WITH SCORE 99834.51
AT ITER 101 NEW BEST:: SOT 229453 SOS 154510 HAS SOPS 153069 HAS SOUS 101019 HAS SOUPS 99669 WITH SCORE 99823.51
AT ITER 102 NEW BEST:: SOT 229453 SOS 149724 HAS SOPS 148283 HAS SOUS 100880 HAS SOUPS 99530 WITH SCORE 99679.724
AT ITER 104 NEW BEST:: SOT 229271 SOS 149360 HAS SOPS 147919 HAS SOUS 100698 HAS SOUPS 99348 WITH SCORE 99497.36
AT ITER 105 NEW BEST:: SOT 228963 SOS 149117 HAS SOPS 147611 HAS SOUS 100568 HAS SOUPS 99153 WITH SCORE 99302.117
AT ITER 111 NEW BEST:: SOT 228374 SOS 148365 HAS SOPS 146630 HAS SOUS 100319 HAS SOUPS 98675 WITH SCORE 98823.365
AT ITER 112 NEW BEST:: SOT 228374 SOS 148010 HAS SOPS 146275 HAS SOUS 100106 HAS SOUPS 98462 WITH SCORE 98610.01
AT ITER 113 NEW BEST:: SOT 228374 SOS 147969 HAS SOPS 146234 HAS SOUS 100106 HAS SOUPS 98462 WITH SCORE 98609.969
AT ITER 120 NEW BEST:: SOT 228374 SOS 147969 HAS SOPS 146234 HAS SOUS 100089 HAS SOUPS 98445 WITH SCORE 98592.969
AT ITER 121 NEW BEST:: SOT 227826 SOS 147421 HAS SOPS 145685 HAS SOUS 99727 HAS SOUPS 98082 WITH SCORE 98229.421
AT ITER 124 NEW BEST:: SOT 227555 SOS 146906 HAS SOPS 145060 HAS SOUS 99466 HAS SOUPS 97711 WITH SCORE 97857.906
AT ITER 134 NEW BEST:: SOT 226839 SOS 146246 HAS SOPS 144344 HAS SOUS 99037 HAS SOUPS 97226 WITH SCORE 97372.246
AT ITER 139 NEW BEST:: SOT 226838 SOS 146245 HAS SOPS 144343 HAS SOUS 99036 HAS SOUPS 97225 WITH SCORE 97371.245
AT ITER 141 NEW BEST:: SOT 226838 SOS 146245 HAS SOPS 144343 HAS SOUS 99022 HAS SOUPS 97211 WITH SCORE 97357.245
AT ITER 142 NEW BEST:: SOT 226731 SOS 146138 HAS SOPS 144236 HAS SOUS 98915 HAS SOUPS 97104 WITH SCORE 97250.138
AT ITER 143 NEW BEST:: SOT 226731 SOS 146113 HAS SOPS 144236 HAS SOUS 98913 HAS SOUPS 97104 WITH SCORE 97250.113
AT ITER 145 NEW BEST:: SOT 226731 SOS 145855 HAS SOPS 143978 HAS SOUS 98752 HAS SOUPS 96943 WITH SCORE 97088.855
AT ITER 148 NEW BEST:: SOT 226731 SOS 143458 HAS SOPS 141581 HAS SOUS 98690 HAS SOUPS 96881 WITH SCORE 97024.458
AT ITER 149 NEW BEST:: SOT 226731 SOS 143406 HAS SOPS 141529 HAS SOUS 98690 HAS SOUPS 96881 WITH SCORE 97024.406
AT ITER 152 NEW BEST:: SOT 226299 SOS 142974 HAS SOPS 141097 HAS SOUS 98537 HAS SOUPS 96728 WITH SCORE 96870.974
AT ITER 153 NEW BEST:: SOT 226290 SOS 142959 HAS SOPS 141082 HAS SOUS 98528 HAS SOUPS 96719 WITH SCORE 96861.959
AT ITER 157 NEW BEST:: SOT 225793 SOS 141769 HAS SOPS 139713 HAS SOUS 97733 HAS SOUPS 95745 WITH SCORE 95886.769
AT ITER 158 NEW BEST:: SOT 225547 SOS 141531 HAS SOPS 139475 HAS SOUS 97345 HAS SOUPS 95357 WITH SCORE 95498.531
AT ITER 159 NEW BEST:: SOT 225218 SOS 141458 HAS SOPS 139159 HAS SOUS 97440 HAS SOUPS 95209 WITH SCORE 95350.458
AT ITER 160 NEW BEST:: SOT 225048 SOS 141288 HAS SOPS 138989 HAS SOUS 97288 HAS SOUPS 95057 WITH SCORE 95198.288
AT ITER 161 NEW BEST:: SOT 224994 SOS 141152 HAS SOPS 138853 HAS SOUS 97286 HAS SOUPS 95055 WITH SCORE 95196.152
AT ITER 167 NEW BEST:: SOT 224983 SOS 141141 HAS SOPS 138842 HAS SOUS 97275 HAS SOUPS 95044 WITH SCORE 95185.141
AT ITER 168 NEW BEST:: SOT 224938 SOS 141096 HAS SOPS 138797 HAS SOUS 97219 HAS SOUPS 94988 WITH SCORE 95129.096
AT ITER 169 NEW BEST:: SOT 224938 SOS 139470 HAS SOPS 137171 HAS SOUS 97218 HAS SOUPS 94987 WITH SCORE 95126.47
AT ITER 170 NEW BEST:: SOT 224924 SOS 139442 HAS SOPS 137143 HAS SOUS 97204 HAS SOUPS 94973 WITH SCORE 95112.442
AT ITER 176 NEW BEST:: SOT 224924 SOS 139289 HAS SOPS 136990 HAS SOUS 97203 HAS SOUPS 94972 WITH SCORE 95111.289
AT ITER 178 NEW BEST:: SOT 224955 SOS 139288 HAS SOPS 136989 HAS SOUS 97155 HAS SOUPS 94924 WITH SCORE 95063.288
AT ITER 179 NEW BEST:: SOT 224845 SOS 139232 HAS SOPS 136852 HAS SOUS 97099 HAS SOUPS 94841 WITH SCORE 94980.232
AT ITER 183 NEW BEST:: SOT 224549 SOS 138926 HAS SOPS 136546 HAS SOUS 96868 HAS SOUPS 94610 WITH SCORE 94748.926
AT ITER 185 NEW BEST:: SOT 224509 SOS 138010 HAS SOPS 135630 HAS SOUS 96444 HAS SOUPS 94186 WITH SCORE 94324.01
AT ITER 191 NEW BEST:: SOT 223798 SOS 137383 HAS SOPS 134871 HAS SOUS 96091 HAS SOUPS 93701 WITH SCORE 93838.383
AT ITER 194 NEW BEST:: SOT 223582 SOS 137127 HAS SOPS 134615 HAS SOUS 95879 HAS SOUPS 93489 WITH SCORE 93626.127
AT ITER 197 NEW BEST:: SOT 223582 SOS 136813 HAS SOPS 134301 HAS SOUS 95804 HAS SOUPS 93414 WITH SCORE 93550.813
AT ITER 206 NEW BEST:: SOT 223627 SOS 136289 HAS SOPS 133777 HAS SOUS 95581 HAS SOUPS 93191 WITH SCORE 93327.289
AT ITER 208 NEW BEST:: SOT 223301 SOS 135765 HAS SOPS 133253 HAS SOUS 95057 HAS SOUPS 92667 WITH SCORE 92802.765
AT ITER 215 NEW BEST:: SOT 223341 SOS 135662 HAS SOPS 133150 HAS SOUS 94928 HAS SOUPS 92538 WITH SCORE 92673.662
AT ITER 219 NEW BEST:: SOT 223341 SOS 135455 HAS SOPS 132943 HAS SOUS 94843 HAS SOUPS 92453 WITH SCORE 92588.455
AT ITER 221 NEW BEST:: SOT 222755 SOS 134869 HAS SOPS 132357 HAS SOUS 94407 HAS SOUPS 92017 WITH SCORE 92151.869
AT ITER 222 NEW BEST:: SOT 222755 SOS 134443 HAS SOPS 132126 HAS SOUS 94212 HAS SOUPS 92017 WITH SCORE 92151.443
AT ITER 226 NEW BEST:: SOT 222791 SOS 134209 HAS SOPS 131955 HAS SOUS 94145 HAS SOUPS 91982 WITH SCORE 92116.209
AT ITER 228 NEW BEST:: SOT 222148 SOS 133762 HAS SOPS 131387 HAS SOUS 93873 HAS SOUPS 91589 WITH SCORE 91722.762
AT ITER 230 NEW BEST:: SOT 222173 SOS 133225 HAS SOPS 130850 HAS SOUS 93611 HAS SOUPS 91327 WITH SCORE 91460.225
AT ITER 232 NEW BEST:: SOT 222194 SOS 133055 HAS SOPS 130645 HAS SOUS 93421 HAS SOUPS 91102 WITH SCORE 91235.055
AT ITER 237 NEW BEST:: SOT 222149 SOS 132950 HAS SOPS 130540 HAS SOUS 93418 HAS SOUPS 91099 WITH SCORE 91231.95
AT ITER 240 NEW BEST:: SOT 222205 SOS 132803 HAS SOPS 130392 HAS SOUS 93350 HAS SOUPS 91030 WITH SCORE 91162.803
AT ITER 241 NEW BEST:: SOT 222182 SOS 132779 HAS SOPS 130368 HAS SOUS 93336 HAS SOUPS 91016 WITH SCORE 91148.779
AT ITER 242 NEW BEST:: SOT 222070 SOS 132837 HAS SOPS 130426 HAS SOUS 93310 HAS SOUPS 90990 WITH SCORE 91122.837
AT ITER 244 NEW BEST:: SOT 221884 SOS 132812 HAS SOPS 130401 HAS SOUS 93285 HAS SOUPS 90965 WITH SCORE 91097.812
AT ITER 247 NEW BEST:: SOT 221877 SOS 132805 HAS SOPS 130394 HAS SOUS 93278 HAS SOUPS 90958 WITH SCORE 91090.805
AT ITER 250 NEW BEST:: SOT 221876 SOS 132296 HAS SOPS 129992 HAS SOUS 93169 HAS SOUPS 90956 WITH SCORE 91088.296
AT ITER 257 NEW BEST:: SOT 221876 SOS 131935 HAS SOPS 129631 HAS SOUS 93088 HAS SOUPS 90875 WITH SCORE 91006.935
AT ITER 258 NEW BEST:: SOT 221968 SOS 131423 HAS SOPS 129119 HAS SOUS 92849 HAS SOUPS 90636 WITH SCORE 90767.423
AT ITER 259 NEW BEST:: SOT 221947 SOS 131388 HAS SOPS 129084 HAS SOUS 92828 HAS SOUPS 90615 WITH SCORE 90746.388
AT ITER 260 NEW BEST:: SOT 221947 SOS 130872 HAS SOPS 128568 HAS SOUS 92828 HAS SOUPS 90615 WITH SCORE 90745.872
AT ITER 261 NEW BEST:: SOT 222259 SOS 130965 HAS SOPS 128711 HAS SOUS 92549 HAS SOUPS 90340 WITH SCORE 90470.965
AT ITER 263 NEW BEST:: SOT 222246 SOS 130886 HAS SOPS 128632 HAS SOUS 92493 HAS SOUPS 90284 WITH SCORE 90414.886
AT ITER 264 NEW BEST:: SOT 222157 SOS 130046 HAS SOPS 127792 HAS SOUS 92211 HAS SOUPS 90002 WITH SCORE 90132.046
AT ITER 265 NEW BEST:: SOT 222157 SOS 129712 HAS SOPS 127458 HAS SOUS 92127 HAS SOUPS 89918 WITH SCORE 90047.712
AT ITER 269 NEW BEST:: SOT 221727 SOS 128970 HAS SOPS 126716 HAS SOUS 91697 HAS SOUPS 89488 WITH SCORE 89616.97
AT ITER 270 NEW BEST:: SOT 221727 SOS 128743 HAS SOPS 126489 HAS SOUS 91583 HAS SOUPS 89374 WITH SCORE 89502.743
AT ITER 280 NEW BEST:: SOT 221577 SOS 128368 HAS SOPS 126114 HAS SOUS 91358 HAS SOUPS 89149 WITH SCORE 89277.368
AT ITER 285 NEW BEST:: SOT 221519 SOS 127544 HAS SOPS 125290 HAS SOUS 91028 HAS SOUPS 88819 WITH SCORE 88946.544
AT ITER 287 NEW BEST:: SOT 220462 SOS 125840 HAS SOPS 123573 HAS SOUS 89935 HAS SOUPS 87719 WITH SCORE 87844.84
AT ITER 291 NEW BEST:: SOT 220159 SOS 125663 HAS SOPS 123396 HAS SOUS 89758 HAS SOUPS 87542 WITH SCORE 87667.663
AT ITER 295 NEW BEST:: SOT 220155 SOS 125557 HAS SOPS 123290 HAS SOUS 89720 HAS SOUPS 87504 WITH SCORE 87629.557
AT ITER 298 NEW BEST:: SOT 219943 SOS 125678 HAS SOPS 123411 HAS SOUS 89495 HAS SOUPS 87279 WITH SCORE 87404.678
AT ITER 300 NEW BEST:: SOT 219943 SOS 125791 HAS SOPS 123524 HAS SOUS 89494 HAS SOUPS 87278 WITH SCORE 87403.791
AT ITER 301 NEW BEST:: SOT 219991 SOS 125811 HAS SOPS 123450 HAS SOUS 89466 HAS SOUPS 87156 WITH SCORE 87281.811
AT ITER 302 NEW BEST:: SOT 219990 SOS 125810 HAS SOPS 123449 HAS SOUS 89460 HAS SOUPS 87150 WITH SCORE 87275.81
AT ITER 307 NEW BEST:: SOT 219532 SOS 125351 HAS SOPS 122990 HAS SOUS 89186 HAS SOUPS 86876 WITH SCORE 87001.351
AT ITER 308 NEW BEST:: SOT 219498 SOS 125283 HAS SOPS 122939 HAS SOUS 89151 HAS SOUPS 86842 WITH SCORE 86967.283
AT ITER 313 NEW BEST:: SOT 219237 SOS 124832 HAS SOPS 122483 HAS SOUS 88842 HAS SOUPS 86528 WITH SCORE 86652.832
AT ITER 317 NEW BEST:: SOT 219163 SOS 124728 HAS SOPS 122379 HAS SOUS 88738 HAS SOUPS 86424 WITH SCORE 86548.728
AT ITER 318 NEW BEST:: SOT 218482 SOS 123700 HAS SOPS 121170 HAS SOUS 88184 HAS SOUPS 85689 WITH SCORE 85812.7
AT ITER 319 NEW BEST:: SOT 218428 SOS 123556 HAS SOPS 121026 HAS SOUS 88166 HAS SOUPS 85671 WITH SCORE 85794.556
AT ITER 323 NEW BEST:: SOT 216118 SOS 121648 HAS SOPS 119013 HAS SOUS 87003 HAS SOUPS 84403 WITH SCORE 84524.648
AT ITER 324 NEW BEST:: SOT 216114 SOS 121640 HAS SOPS 119009 HAS SOUS 86995 HAS SOUPS 84399 WITH SCORE 84520.64
AT ITER 325 NEW BEST:: SOT 217203 SOS 122532 HAS SOPS 119901 HAS SOUS 86934 HAS SOUPS 84338 WITH SCORE 84460.532
AT ITER 327 NEW BEST:: SOT 217239 SOS 122476 HAS SOPS 119845 HAS SOUS 86878 HAS SOUPS 84282 WITH SCORE 84404.476
AT ITER 330 NEW BEST:: SOT 217223 SOS 122460 HAS SOPS 119829 HAS SOUS 86862 HAS SOUPS 84266 WITH SCORE 84388.46
AT ITER 336 NEW BEST:: SOT 217113 SOS 122206 HAS SOPS 119575 HAS SOUS 86646 HAS SOUPS 84050 WITH SCORE 84172.206
AT ITER 338 NEW BEST:: SOT 216937 SOS 121830 HAS SOPS 119199 HAS SOUS 86614 HAS SOUPS 84018 WITH SCORE 84139.83
AT ITER 339 NEW BEST:: SOT 216821 SOS 120882 HAS SOPS 118251 HAS SOUS 86467 HAS SOUPS 83871 WITH SCORE 83991.882
AT ITER 345 NEW BEST:: SOT 216456 SOS 120356 HAS SOPS 117725 HAS SOUS 86132 HAS SOUPS 83536 WITH SCORE 83656.356
AT ITER 348 NEW BEST:: SOT 216450 SOS 120356 HAS SOPS 117725 HAS SOUS 86126 HAS SOUPS 83530 WITH SCORE 83650.356
AT ITER 350 NEW BEST:: SOT 216317 SOS 120228 HAS SOPS 117591 HAS SOUS 86090 HAS SOUPS 83488 WITH SCORE 83608.228
AT ITER 354 NEW BEST:: SOT 216301 SOS 120227 HAS SOPS 117600 HAS SOUS 86063 HAS SOUPS 83471 WITH SCORE 83591.227
AT ITER 358 NEW BEST:: SOT 216301 SOS 120207 HAS SOPS 117580 HAS SOUS 86063 HAS SOUPS 83471 WITH SCORE 83591.207
AT ITER 359 NEW BEST:: SOT 215709 SOS 119345 HAS SOPS 116644 HAS SOUS 85527 HAS SOUPS 82861 WITH SCORE 82980.345
AT ITER 360 NEW BEST:: SOT 215709 SOS 119117 HAS SOPS 116416 HAS SOUS 85451 HAS SOUPS 82785 WITH SCORE 82904.117
AT ITER 362 NEW BEST:: SOT 215659 SOS 119138 HAS SOPS 116437 HAS SOUS 85449 HAS SOUPS 82783 WITH SCORE 82902.138
AT ITER 363 NEW BEST:: SOT 215547 SOS 118475 HAS SOPS 115774 HAS SOUS 85358 HAS SOUPS 82692 WITH SCORE 82810.475
AT ITER 365 NEW BEST:: SOT 215321 SOS 118135 HAS SOPS 115434 HAS SOUS 84904 HAS SOUPS 82238 WITH SCORE 82356.135
AT ITER 370 NEW BEST:: SOT 215320 SOS 118134 HAS SOPS 115433 HAS SOUS 84903 HAS SOUPS 82237 WITH SCORE 82355.134
AT ITER 371 NEW BEST:: SOT 214990 SOS 117804 HAS SOPS 115102 HAS SOUS 84715 HAS SOUPS 82048 WITH SCORE 82165.804
AT ITER 376 NEW BEST:: SOT 214922 SOS 117736 HAS SOPS 115034 HAS SOUS 84706 HAS SOUPS 82039 WITH SCORE 82156.736
AT ITER 385 NEW BEST:: SOT 214813 SOS 118116 HAS SOPS 115281 HAS SOUS 84730 HAS SOUPS 81930 WITH SCORE 82048.116
AT ITER 389 NEW BEST:: SOT 214303 SOS 117960 HAS SOPS 115069 HAS SOUS 84573 HAS SOUPS 81717 WITH SCORE 81834.96
AT ITER 392 NEW BEST:: SOT 214120 SOS 117820 HAS SOPS 114886 HAS SOUS 84515 HAS SOUPS 81616 WITH SCORE 81733.82
AT ITER 401 NEW BEST:: SOT 214093 SOS 117712 HAS SOPS 114778 HAS SOUS 84434 HAS SOUPS 81535 WITH SCORE 81652.712
AT ITER 408 NEW BEST:: SOT 214119 SOS 117686 HAS SOPS 114752 HAS SOUS 84434 HAS SOUPS 81535 WITH SCORE 81652.686
AT ITER 412 NEW BEST:: SOT 214087 SOS 117558 HAS SOPS 114624 HAS SOUS 84338 HAS SOUPS 81439 WITH SCORE 81556.558
AT ITER 418 NEW BEST:: SOT 213143 SOS 116067 HAS SOPS 113061 HAS SOUS 83413 HAS SOUPS 80442 WITH SCORE 80558.067
AT ITER 422 NEW BEST:: SOT 212658 SOS 115919 HAS SOPS 112692 HAS SOUS 83370 HAS SOUPS 80178 WITH SCORE 80293.919
AT ITER 423 NEW BEST:: SOT 210803 SOS 114364 HAS SOPS 111137 HAS SOUS 82622 HAS SOUPS 79430 WITH SCORE 79544.364
AT ITER 424 NEW BEST:: SOT 210499 SOS 113982 HAS SOPS 110686 HAS SOUS 82386 HAS SOUPS 79125 WITH SCORE 79238.982
AT ITER 429 NEW BEST:: SOT 210499 SOS 114071 HAS SOPS 110543 HAS SOUS 82475 HAS SOUPS 78982 WITH SCORE 79096.071
AT ITER 433 NEW BEST:: SOT 210498 SOS 114069 HAS SOPS 110540 HAS SOUS 82473 HAS SOUPS 78979 WITH SCORE 79093.069
AT ITER 434 NEW BEST:: SOT 210455 SOS 113904 HAS SOPS 110375 HAS SOUS 82351 HAS SOUPS 78857 WITH SCORE 78970.904
AT ITER 437 NEW BEST:: SOT 210192 SOS 113641 HAS SOPS 110112 HAS SOUS 82194 HAS SOUPS 78700 WITH SCORE 78813.641
AT ITER 440 NEW BEST:: SOT 209856 SOS 113276 HAS SOPS 109747 HAS SOUS 81829 HAS SOUPS 78335 WITH SCORE 78448.276
AT ITER 442 NEW BEST:: SOT 209782 SOS 113202 HAS SOPS 109673 HAS SOUS 81755 HAS SOUPS 78261 WITH SCORE 78374.202
AT ITER 443 NEW BEST:: SOT 209853 SOS 113144 HAS SOPS 109615 HAS SOUS 81617 HAS SOUPS 78123 WITH SCORE 78236.144
AT ITER 445 NEW BEST:: SOT 205583 SOS 108636 HAS SOPS 105028 HAS SOUS 78574 HAS SOUPS 75057 WITH SCORE 75165.636
AT ITER 453 NEW BEST:: SOT 205517 SOS 108803 HAS SOPS 105195 HAS SOUS 78569 HAS SOUPS 75052 WITH SCORE 75160.803
AT ITER 456 NEW BEST:: SOT 204927 SOS 108080 HAS SOPS 104367 HAS SOUS 78102 HAS SOUPS 74480 WITH SCORE 74588.08
AT ITER 459 NEW BEST:: SOT 204226 SOS 107441 HAS SOPS 103728 HAS SOUS 77505 HAS SOUPS 73883 WITH SCORE 73990.441
AT ITER 506 NEW BEST:: SOT 204219 SOS 107434 HAS SOPS 103721 HAS SOUS 77470 HAS SOUPS 73848 WITH SCORE 73955.434
AT ITER 508 NEW BEST:: SOT 203963 SOS 107178 HAS SOPS 103465 HAS SOUS 77309 HAS SOUPS 73687 WITH SCORE 73794.178
AT ITER 509 NEW BEST:: SOT 203899 SOS 107018 HAS SOPS 103337 HAS SOUS 77229 HAS SOUPS 73623 WITH SCORE 73730.018
AT ITER 512 NEW BEST:: SOT 203895 SOS 106842 HAS SOPS 103163 HAS SOUS 77219 HAS SOUPS 73615 WITH SCORE 73721.842
AT ITER 521 NEW BEST:: SOT 203798 SOS 106476 HAS SOPS 102797 HAS SOUS 76923 HAS SOUPS 73319 WITH SCORE 73425.476
AT ITER 525 NEW BEST:: SOT 203783 SOS 106461 HAS SOPS 102782 HAS SOUS 76908 HAS SOUPS 73304 WITH SCORE 73410.461
AT ITER 532 NEW BEST:: SOT 203740 SOS 106021 HAS SOPS 102342 HAS SOUS 76779 HAS SOUPS 73175 WITH SCORE 73281.021
AT ITER 534 NEW BEST:: SOT 203392 SOS 105635 HAS SOPS 101956 HAS SOUS 76546 HAS SOUPS 72942 WITH SCORE 73047.635
AT ITER 535 NEW BEST:: SOT 203371 SOS 105614 HAS SOPS 101935 HAS SOUS 76525 HAS SOUPS 72921 WITH SCORE 73026.614
AT ITER 537 NEW BEST:: SOT 203371 SOS 105725 HAS SOPS 102046 HAS SOUS 76470 HAS SOUPS 72866 WITH SCORE 72971.725
AT ITER 542 NEW BEST:: SOT 203283 SOS 105637 HAS SOPS 101958 HAS SOUS 76344 HAS SOUPS 72740 WITH SCORE 72845.637
AT ITER 543 NEW BEST:: SOT 203483 SOS 105728 HAS SOPS 101985 HAS SOUS 76262 HAS SOUPS 72594 WITH SCORE 72699.728
AT ITER 545 NEW BEST:: SOT 203507 SOS 105490 HAS SOPS 101853 HAS SOUS 76022 HAS SOUPS 72460 WITH SCORE 72565.49
AT ITER 547 NEW BEST:: SOT 203501 SOS 105576 HAS SOPS 101939 HAS SOUS 76016 HAS SOUPS 72454 WITH SCORE 72559.576
AT ITER 557 NEW BEST:: SOT 203353 SOS 105404 HAS SOPS 101767 HAS SOUS 75918 HAS SOUPS 72356 WITH SCORE 72461.404
AT ITER 559 NEW BEST:: SOT 203309 SOS 105576 HAS SOPS 101912 HAS SOUS 75933 HAS SOUPS 72344 WITH SCORE 72449.576
AT ITER 564 NEW BEST:: SOT 204077 SOS 106009 HAS SOPS 102368 HAS SOUS 75908 HAS SOUPS 72320 WITH SCORE 72426.009
AT ITER 566 NEW BEST:: SOT 204077 SOS 105276 HAS SOPS 101635 HAS SOUS 75789 HAS SOUPS 72201 WITH SCORE 72306.276
AT ITER 590 NEW BEST:: SOT 203752 SOS 105157 HAS SOPS 101324 HAS SOUS 75770 HAS SOUPS 71990 WITH SCORE 72095.157
AT ITER 591 NEW BEST:: SOT 203487 SOS 104892 HAS SOPS 101059 HAS SOUS 75637 HAS SOUPS 71857 WITH SCORE 71961.892
AT ITER 600 NEW BEST:: SOT 203487 SOS 104462 HAS SOPS 100629 HAS SOUS 75521 HAS SOUPS 71741 WITH SCORE 71845.462
AT ITER 604 NEW BEST:: SOT 203486 SOS 104460 HAS SOPS 100627 HAS SOUS 75519 HAS SOUPS 71739 WITH SCORE 71843.46
AT ITER 605 NEW BEST:: SOT 203486 SOS 104364 HAS SOPS 100531 HAS SOUS 75423 HAS SOUPS 71643 WITH SCORE 71747.364
AT ITER 607 NEW BEST:: SOT 203394 SOS 104226 HAS SOPS 100393 HAS SOUS 75331 HAS SOUPS 71551 WITH SCORE 71655.226
AT ITER 609 NEW BEST:: SOT 203380 SOS 104194 HAS SOPS 100361 HAS SOUS 75317 HAS SOUPS 71537 WITH SCORE 71641.194
AT ITER 615 NEW BEST:: SOT 203204 SOS 104018 HAS SOPS 100097 HAS SOUS 75141 HAS SOUPS 71273 WITH SCORE 71377.018
AT ITER 618 NEW BEST:: SOT 203023 SOS 103369 HAS SOPS 99553 HAS SOUS 74940 HAS SOUPS 71177 WITH SCORE 71280.369
AT ITER 621 NEW BEST:: SOT 202967 SOS 103285 HAS SOPS 99469 HAS SOUS 74884 HAS SOUPS 71121 WITH SCORE 71224.285
AT ITER 629 NEW BEST:: SOT 202382 SOS 102460 HAS SOPS 98605 HAS SOUS 74245 HAS SOUPS 70443 WITH SCORE 70545.46
AT ITER 642 NEW BEST:: SOT 202365 SOS 102237 HAS SOPS 98382 HAS SOUS 74205 HAS SOUPS 70403 WITH SCORE 70505.237
AT ITER 644 NEW BEST:: SOT 202265 SOS 102120 HAS SOPS 98265 HAS SOUS 74084 HAS SOUPS 70282 WITH SCORE 70384.12
AT ITER 662 NEW BEST:: SOT 202249 SOS 102104 HAS SOPS 98249 HAS SOUS 74052 HAS SOUPS 70250 WITH SCORE 70352.104
AT ITER 665 NEW BEST:: SOT 202249 SOS 101770 HAS SOPS 97982 HAS SOUS 73896 HAS SOUPS 70161 WITH SCORE 70262.77
AT ITER 669 NEW BEST:: SOT 202241 SOS 102133 HAS SOPS 98108 HAS SOUS 73959 HAS SOUPS 69987 WITH SCORE 70089.133
AT ITER 678 NEW BEST:: SOT 202241 SOS 102133 HAS SOPS 98108 HAS SOUS 73957 HAS SOUPS 69985 WITH SCORE 70087.133
AT ITER 680 NEW BEST:: SOT 202195 SOS 102087 HAS SOPS 98062 HAS SOUS 73911 HAS SOUPS 69939 WITH SCORE 70041.087
AT ITER 683 NEW BEST:: SOT 202195 SOS 102021 HAS SOPS 97996 HAS SOUS 73845 HAS SOUPS 69873 WITH SCORE 69975.021
AT ITER 690 NEW BEST:: SOT 201982 SOS 101716 HAS SOPS 97612 HAS SOUS 73688 HAS SOUPS 69637 WITH SCORE 69738.716
AT ITER 693 NEW BEST:: SOT 201921 SOS 101712 HAS SOPS 97567 HAS SOUS 73670 HAS SOUPS 69602 WITH SCORE 69703.712
AT ITER 694 NEW BEST:: SOT 201857 SOS 101589 HAS SOPS 97444 HAS SOUS 73547 HAS SOUPS 69479 WITH SCORE 69580.589
AT ITER 697 NEW BEST:: SOT 201772 SOS 101504 HAS SOPS 97358 HAS SOUS 73485 HAS SOUPS 69416 WITH SCORE 69517.504
AT ITER 701 NEW BEST:: SOT 201330 SOS 101310 HAS SOPS 97164 HAS SOUS 73273 HAS SOUPS 69204 WITH SCORE 69305.31
AT ITER 704 NEW BEST:: SOT 201466 SOS 101167 HAS SOPS 97021 HAS SOUS 73136 HAS SOUPS 69067 WITH SCORE 69168.167
AT ITER 708 NEW BEST:: SOT 201385 SOS 101086 HAS SOPS 96896 HAS SOUS 73099 HAS SOUPS 68986 WITH SCORE 69087.086
AT ITER 711 NEW BEST:: SOT 201438 SOS 101571 HAS SOPS 97068 HAS SOUS 73376 HAS SOUPS 68950 WITH SCORE 69051.571
AT ITER 718 NEW BEST:: SOT 201402 SOS 101535 HAS SOPS 97014 HAS SOUS 73358 HAS SOUPS 68914 WITH SCORE 69015.535
AT ITER 731 NEW BEST:: SOT 201353 SOS 101463 HAS SOPS 96916 HAS SOUS 73286 HAS SOUPS 68816 WITH SCORE 68917.463
AT ITER 733 NEW BEST:: SOT 201544 SOS 101591 HAS SOPS 96939 HAS SOUS 73179 HAS SOUPS 68604 WITH SCORE 68705.591
AT ITER 735 NEW BEST:: SOT 201406 SOS 101453 HAS SOPS 96801 HAS SOUS 73041 HAS SOUPS 68466 WITH SCORE 68567.453
AT ITER 737 NEW BEST:: SOT 201395 SOS 101388 HAS SOPS 96736 HAS SOUS 72976 HAS SOUPS 68401 WITH SCORE 68502.388
AT ITER 738 NEW BEST:: SOT 201339 SOS 101294 HAS SOPS 96642 HAS SOUS 72890 HAS SOUPS 68315 WITH SCORE 68416.294
AT ITER 739 NEW BEST:: SOT 201039 SOS 100993 HAS SOPS 96341 HAS SOUS 72689 HAS SOUPS 68114 WITH SCORE 68214.993
AT ITER 743 NEW BEST:: SOT 201039 SOS 100979 HAS SOPS 96327 HAS SOUS 72689 HAS SOUPS 68114 WITH SCORE 68214.979
AT ITER 749 NEW BEST:: SOT 201023 SOS 100963 HAS SOPS 96311 HAS SOUS 72665 HAS SOUPS 68090 WITH SCORE 68190.963
AT ITER 754 NEW BEST:: SOT 201006 SOS 100946 HAS SOPS 96294 HAS SOUS 72562 HAS SOUPS 67987 WITH SCORE 68087.946
AT ITER 760 NEW BEST:: SOT 201006 SOS 100903 HAS SOPS 96251 HAS SOUS 72562 HAS SOUPS 67987 WITH SCORE 68087.903
AT ITER 768 NEW BEST:: SOT 200945 SOS 100881 HAS SOPS 96190 HAS SOUS 72579 HAS SOUPS 67965 WITH SCORE 68065.881
AT ITER 777 NEW BEST:: SOT 200960 SOS 100929 HAS SOPS 96187 HAS SOUS 72627 HAS SOUPS 67962 WITH SCORE 68062.929
AT ITER 781 NEW BEST:: SOT 200960 SOS 100865 HAS SOPS 96123 HAS SOUS 72563 HAS SOUPS 67898 WITH SCORE 67998.865
AT ITER 785 NEW BEST:: SOT 200712 SOS 100505 HAS SOPS 95763 HAS SOUS 72495 HAS SOUPS 67830 WITH SCORE 67930.505
AT ITER 787 NEW BEST:: SOT 200696 SOS 100537 HAS SOPS 95731 HAS SOUS 72527 HAS SOUPS 67814 WITH SCORE 67914.537
AT ITER 788 NEW BEST:: SOT 200694 SOS 100325 HAS SOPS 95519 HAS SOUS 72523 HAS SOUPS 67810 WITH SCORE 67910.325
AT ITER 793 NEW BEST:: SOT 200638 SOS 100226 HAS SOPS 95420 HAS SOUS 72479 HAS SOUPS 67766 WITH SCORE 67866.226
AT ITER 794 NEW BEST:: SOT 200622 SOS 100166 HAS SOPS 95360 HAS SOUS 72435 HAS SOUPS 67722 WITH SCORE 67822.166
AT ITER 795 NEW BEST:: SOT 200615 SOS 100158 HAS SOPS 95352 HAS SOUS 72427 HAS SOUPS 67714 WITH SCORE 67814.158
AT ITER 796 NEW BEST:: SOT 200609 SOS 100290 HAS SOPS 95484 HAS SOUS 72421 HAS SOUPS 67708 WITH SCORE 67808.29
AT ITER 798 NEW BEST:: SOT 200432 SOS 100025 HAS SOPS 95219 HAS SOUS 72244 HAS SOUPS 67531 WITH SCORE 67631.025
AT ITER 804 NEW BEST:: SOT 200432 SOS 100075 HAS SOPS 95269 HAS SOUS 72213 HAS SOUPS 67500 WITH SCORE 67600.075
AT ITER 806 NEW BEST:: SOT 200432 SOS 100055 HAS SOPS 95249 HAS SOUS 72183 HAS SOUPS 67470 WITH SCORE 67570.055
AT ITER 813 NEW BEST:: SOT 200266 SOS 98991 HAS SOPS 94203 HAS SOUS 72042 HAS SOUPS 67329 WITH SCORE 67427.991
AT ITER 815 NEW BEST:: SOT 200091 SOS 98816 HAS SOPS 94079 HAS SOUS 71980 HAS SOUPS 67318 WITH SCORE 67416.816
AT ITER 822 NEW BEST:: SOT 199996 SOS 98721 HAS SOPS 93984 HAS SOUS 71885 HAS SOUPS 67223 WITH SCORE 67321.721
AT ITER 826 NEW BEST:: SOT 199807 SOS 97920 HAS SOPS 93183 HAS SOUS 71492 HAS SOUPS 66830 WITH SCORE 66927.92
AT ITER 827 NEW BEST:: SOT 199807 SOS 97884 HAS SOPS 93147 HAS SOUS 71456 HAS SOUPS 66794 WITH SCORE 66891.884
AT ITER 829 NEW BEST:: SOT 199807 SOS 97874 HAS SOPS 93131 HAS SOUS 71348 HAS SOUPS 66680 WITH SCORE 66777.874
AT ITER 832 NEW BEST:: SOT 199972 SOS 97889 HAS SOPS 93169 HAS SOUS 71184 HAS SOUPS 66516 WITH SCORE 66613.889
AT ITER 843 NEW BEST:: SOT 199874 SOS 97791 HAS SOPS 93071 HAS SOUS 71076 HAS SOUPS 66408 WITH SCORE 66505.791
AT ITER 848 NEW BEST:: SOT 199809 SOS 97726 HAS SOPS 93006 HAS SOUS 71011 HAS SOUPS 66343 WITH SCORE 66440.726
AT ITER 857 NEW BEST:: SOT 199777 SOS 97710 HAS SOPS 92966 HAS SOUS 70995 HAS SOUPS 66319 WITH SCORE 66416.71
AT ITER 869 NEW BEST:: SOT 199777 SOS 97594 HAS SOPS 92850 HAS SOUS 70937 HAS SOUPS 66261 WITH SCORE 66358.594
AT ITER 877 NEW BEST:: SOT 199687 SOS 97492 HAS SOPS 92748 HAS SOUS 70925 HAS SOUPS 66249 WITH SCORE 66346.492
AT ITER 883 NEW BEST:: SOT 199702 SOS 97729 HAS SOPS 92652 HAS SOUS 71042 HAS SOUPS 66033 WITH SCORE 66130.729
AT ITER 884 NEW BEST:: SOT 199494 SOS 95214 HAS SOPS 90137 HAS SOUS 70730 HAS SOUPS 65721 WITH SCORE 65816.214
AT ITER 888 NEW BEST:: SOT 199494 SOS 95209 HAS SOPS 90132 HAS SOUS 70730 HAS SOUPS 65721 WITH SCORE 65816.209
AT ITER 891 NEW BEST:: SOT 199484 SOS 95199 HAS SOPS 90112 HAS SOUS 70720 HAS SOUPS 65701 WITH SCORE 65796.199
AT ITER 915 NEW BEST:: SOT 199416 SOS 94887 HAS SOPS 89800 HAS SOUS 70476 HAS SOUPS 65457 WITH SCORE 65551.887
AT ITER 934 NEW BEST:: SOT 199256 SOS 94724 HAS SOPS 89556 HAS SOUS 70473 HAS SOUPS 65373 WITH SCORE 65467.724
AT ITER 935 NEW BEST:: SOT 199256 SOS 94523 HAS SOPS 89485 HAS SOUS 70272 HAS SOUPS 65302 WITH SCORE 65396.523
AT ITER 936 NEW BEST:: SOT 199346 SOS 94613 HAS SOPS 89575 HAS SOUS 70271 HAS SOUPS 65301 WITH SCORE 65395.613
AT ITER 937 NEW BEST:: SOT 199319 SOS 94553 HAS SOPS 89530 HAS SOUS 70253 HAS SOUPS 65292 WITH SCORE 65386.553
AT ITER 938 NEW BEST:: SOT 199317 SOS 94538 HAS SOPS 89554 HAS SOUS 70212 HAS SOUPS 65290 WITH SCORE 65384.538
AT ITER 939 NEW BEST:: SOT 199269 SOS 94496 HAS SOPS 89486 HAS SOUS 70192 HAS SOUPS 65244 WITH SCORE 65338.496
AT ITER 940 NEW BEST:: SOT 199250 SOS 94477 HAS SOPS 89467 HAS SOUS 70178 HAS SOUPS 65230 WITH SCORE 65324.477
AT ITER 943 NEW BEST:: SOT 198136 SOS 93868 HAS SOPS 88805 HAS SOUS 69681 HAS SOUPS 64733 WITH SCORE 64826.868
AT ITER 945 NEW BEST:: SOT 198017 SOS 94013 HAS SOPS 88950 HAS SOUS 69679 HAS SOUPS 64731 WITH SCORE 64825.013
AT ITER 951 NEW BEST:: SOT 197972 SOS 93968 HAS SOPS 88929 HAS SOUS 69634 HAS SOUPS 64710 WITH SCORE 64803.968
AT ITER 955 NEW BEST:: SOT 198113 SOS 94019 HAS SOPS 88980 HAS SOUS 69537 HAS SOUPS 64613 WITH SCORE 64707.019
AT ITER 967 NEW BEST:: SOT 198071 SOS 93977 HAS SOPS 88938 HAS SOUS 69495 HAS SOUPS 64571 WITH SCORE 64664.977
AT ITER 971 NEW BEST:: SOT 198195 SOS 94062 HAS SOPS 89023 HAS SOUS 69456 HAS SOUPS 64532 WITH SCORE 64626.062
AT ITER 976 NEW BEST:: SOT 198159 SOS 94026 HAS SOPS 88987 HAS SOUS 69420 HAS SOUPS 64496 WITH SCORE 64590.026
AT ITER 986 NEW BEST:: SOT 197745 SOS 93825 HAS SOPS 88583 HAS SOUS 69382 HAS SOUPS 64255 WITH SCORE 64348.825
AT ITER 987 NEW BEST:: SOT 197281 SOS 93361 HAS SOPS 88118 HAS SOUS 69103 HAS SOUPS 63975 WITH SCORE 64068.361
AT ITER 989 NEW BEST:: SOT 197164 SOS 93244 HAS SOPS 88001 HAS SOUS 69103 HAS SOUPS 63975 WITH SCORE 64068.244
AT ITER 1008 NEW BEST:: SOT 197809 SOS 94376 HAS SOPS 88880 HAS SOUS 69222 HAS SOUPS 63918 WITH SCORE 64012.376
AT ITER 1009 NEW BEST:: SOT 196797 SOS 93112 HAS SOPS 87616 HAS SOUS 68248 HAS SOUPS 62944 WITH SCORE 63037.112
AT ITER 1012 NEW BEST:: SOT 196746 SOS 93107 HAS SOPS 87565 HAS SOUS 68238 HAS SOUPS 62888 WITH SCORE 62981.107
AT ITER 1018 NEW BEST:: SOT 196668 SOS 92801 HAS SOPS 87349 HAS SOUS 68014 HAS SOUPS 62754 WITH SCORE 62846.801
AT ITER 1020 NEW BEST:: SOT 196668 SOS 92576 HAS SOPS 87124 HAS SOUS 67955 HAS SOUPS 62695 WITH SCORE 62787.576
AT ITER 1029 NEW BEST:: SOT 196104 SOS 91864 HAS SOPS 86412 HAS SOUS 67684 HAS SOUPS 62424 WITH SCORE 62515.864
AT ITER 1039 NEW BEST:: SOT 196010 SOS 91651 HAS SOPS 86246 HAS SOUS 67565 HAS SOUPS 62352 WITH SCORE 62443.651
AT ITER 1048 NEW BEST:: SOT 195839 SOS 91609 HAS SOPS 86204 HAS SOUS 67523 HAS SOUPS 62310 WITH SCORE 62401.609
AT ITER 1051 NEW BEST:: SOT 195964 SOS 91652 HAS SOPS 86163 HAS SOUS 67566 HAS SOUPS 62269 WITH SCORE 62360.652
AT ITER 1062 NEW BEST:: SOT 195983 SOS 91671 HAS SOPS 86087 HAS SOUS 67395 HAS SOUPS 62098 WITH SCORE 62189.671
AT ITER 1072 NEW BEST:: SOT 195834 SOS 91927 HAS SOPS 86278 HAS SOUS 67355 HAS SOUPS 61993 WITH SCORE 62084.927
AT ITER 1100 NEW BEST:: SOT 195834 SOS 91858 HAS SOPS 86209 HAS SOUS 67286 HAS SOUPS 61924 WITH SCORE 62015.858
AT ITER 1105 NEW BEST:: SOT 195738 SOS 91714 HAS SOPS 86065 HAS SOUS 67190 HAS SOUPS 61828 WITH SCORE 61919.714
AT ITER 1106 NEW BEST:: SOT 195738 SOS 91666 HAS SOPS 86017 HAS SOUS 67190 HAS SOUPS 61828 WITH SCORE 61919.666
AT ITER 1113 NEW BEST:: SOT 195723 SOS 91651 HAS SOPS 86002 HAS SOUS 67175 HAS SOUPS 61813 WITH SCORE 61904.651
AT ITER 1119 NEW BEST:: SOT 195400 SOS 90897 HAS SOPS 85527 HAS SOUS 66750 HAS SOUPS 61643 WITH SCORE 61733.897
AT ITER 1124 NEW BEST:: SOT 195299 SOS 90796 HAS SOPS 85426 HAS SOUS 66693 HAS SOUPS 61586 WITH SCORE 61676.796
AT ITER 1125 NEW BEST:: SOT 195299 SOS 90768 HAS SOPS 85398 HAS SOUS 66665 HAS SOUPS 61558 WITH SCORE 61648.768
AT ITER 1136 NEW BEST:: SOT 195187 SOS 90616 HAS SOPS 85148 HAS SOUS 66723 HAS SOUPS 61518 WITH SCORE 61608.616
AT ITER 1143 NEW BEST:: SOT 195101 SOS 90476 HAS SOPS 85008 HAS SOUS 66669 HAS SOUPS 61464 WITH SCORE 61554.476
AT ITER 1144 NEW BEST:: SOT 195095 SOS 90742 HAS SOPS 85149 HAS SOUS 66788 HAS SOUPS 61458 WITH SCORE 61548.742
AT ITER 1151 NEW BEST:: SOT 194941 SOS 90420 HAS SOPS 84827 HAS SOUS 66760 HAS SOUPS 61430 WITH SCORE 61520.42
AT ITER 1155 NEW BEST:: SOT 194897 SOS 90471 HAS SOPS 84736 HAS SOUS 66784 HAS SOUPS 61383 WITH SCORE 61473.471
AT ITER 1163 NEW BEST:: SOT 194839 SOS 90413 HAS SOPS 84678 HAS SOUS 66784 HAS SOUPS 61383 WITH SCORE 61473.413
AT ITER 1166 NEW BEST:: SOT 194473 SOS 90479 HAS SOPS 84744 HAS SOUS 66673 HAS SOUPS 61272 WITH SCORE 61362.479
AT ITER 1170 NEW BEST:: SOT 194401 SOS 90363 HAS SOPS 84628 HAS SOUS 66593 HAS SOUPS 61192 WITH SCORE 61282.363
AT ITER 1171 NEW BEST:: SOT 194148 SOS 90141 HAS SOPS 84183 HAS SOUS 66574 HAS SOUPS 60950 WITH SCORE 61040.141
AT ITER 1173 NEW BEST:: SOT 194047 SOS 90027 HAS SOPS 84069 HAS SOUS 66460 HAS SOUPS 60836 WITH SCORE 60926.027
AT ITER 1180 NEW BEST:: SOT 194047 SOS 90025 HAS SOPS 84067 HAS SOUS 66458 HAS SOUPS 60834 WITH SCORE 60924.025
AT ITER 1182 NEW BEST:: SOT 193911 SOS 89617 HAS SOPS 83795 HAS SOUS 66186 HAS SOUPS 60698 WITH SCORE 60787.617
AT ITER 1183 NEW BEST:: SOT 193821 SOS 89512 HAS SOPS 83690 HAS SOUS 66102 HAS SOUPS 60614 WITH SCORE 60703.512
AT ITER 1184 NEW BEST:: SOT 193769 SOS 89382 HAS SOPS 83560 HAS SOUS 66024 HAS SOUPS 60536 WITH SCORE 60625.382
AT ITER 1189 NEW BEST:: SOT 193776 SOS 89421 HAS SOPS 83599 HAS SOUS 65998 HAS SOUPS 60510 WITH SCORE 60599.421
AT ITER 1192 NEW BEST:: SOT 193977 SOS 89288 HAS SOPS 83466 HAS SOUS 65916 HAS SOUPS 60428 WITH SCORE 60517.288
AT ITER 1199 NEW BEST:: SOT 193932 SOS 89243 HAS SOPS 83421 HAS SOUS 65871 HAS SOUPS 60383 WITH SCORE 60472.243
AT ITER 1200 NEW BEST:: SOT 193731 SOS 89105 HAS SOPS 83283 HAS SOUS 65827 HAS SOUPS 60339 WITH SCORE 60428.105
AT ITER 1206 NEW BEST:: SOT 193767 SOS 89435 HAS SOPS 83337 HAS SOUS 66053 HAS SOUPS 60289 WITH SCORE 60378.435
AT ITER 1217 NEW BEST:: SOT 193808 SOS 89476 HAS SOPS 83378 HAS SOUS 66028 HAS SOUPS 60264 WITH SCORE 60353.476
AT ITER 1219 NEW BEST:: SOT 193781 SOS 89305 HAS SOPS 83207 HAS SOUS 65779 HAS SOUPS 60015 WITH SCORE 60104.305
AT ITER 1236 NEW BEST:: SOT 193657 SOS 89080 HAS SOPS 82982 HAS SOUS 65515 HAS SOUPS 59751 WITH SCORE 59840.08
AT ITER 1240 NEW BEST:: SOT 193596 SOS 88836 HAS SOPS 82799 HAS SOUS 65332 HAS SOUPS 59629 WITH SCORE 59717.836
AT ITER 1243 NEW BEST:: SOT 193624 SOS 89084 HAS SOPS 82941 HAS SOUS 65403 HAS SOUPS 59594 WITH SCORE 59683.084
AT ITER 1251 NEW BEST:: SOT 193607 SOS 89209 HAS SOPS 83066 HAS SOUS 65386 HAS SOUPS 59577 WITH SCORE 59666.209
AT ITER 1252 NEW BEST:: SOT 193459 SOS 88832 HAS SOPS 82689 HAS SOUS 65009 HAS SOUPS 59200 WITH SCORE 59288.832
AT ITER 1256 NEW BEST:: SOT 193409 SOS 88681 HAS SOPS 82538 HAS SOUS 65007 HAS SOUPS 59198 WITH SCORE 59286.681
AT ITER 1263 NEW BEST:: SOT 193473 SOS 88653 HAS SOPS 82510 HAS SOUS 64967 HAS SOUPS 59158 WITH SCORE 59246.653
AT ITER 1266 NEW BEST:: SOT 193307 SOS 88404 HAS SOPS 82261 HAS SOUS 64801 HAS SOUPS 58992 WITH SCORE 59080.404
AT ITER 1268 NEW BEST:: SOT 193285 SOS 88371 HAS SOPS 82228 HAS SOUS 64768 HAS SOUPS 58959 WITH SCORE 59047.371
AT ITER 1269 NEW BEST:: SOT 193327 SOS 88413 HAS SOPS 82272 HAS SOUS 64754 HAS SOUPS 58947 WITH SCORE 59035.413
AT ITER 1273 NEW BEST:: SOT 193062 SOS 86356 HAS SOPS 80215 HAS SOUS 64288 HAS SOUPS 58481 WITH SCORE 58567.356
AT ITER 1276 NEW BEST:: SOT 193040 SOS 86334 HAS SOPS 80193 HAS SOUS 64266 HAS SOUPS 58459 WITH SCORE 58545.334
AT ITER 1282 NEW BEST:: SOT 193030 SOS 86304 HAS SOPS 80168 HAS SOUS 64251 HAS SOUPS 58449 WITH SCORE 58535.304
AT ITER 1286 NEW BEST:: SOT 192972 SOS 86217 HAS SOPS 80081 HAS SOUS 64193 HAS SOUPS 58391 WITH SCORE 58477.217
AT ITER 1295 NEW BEST:: SOT 192961 SOS 86178 HAS SOPS 80045 HAS SOUS 64168 HAS SOUPS 58369 WITH SCORE 58455.178
AT ITER 1300 NEW BEST:: SOT 192685 SOS 85882 HAS SOPS 79749 HAS SOUS 63919 HAS SOUPS 58120 WITH SCORE 58205.882
AT ITER 1322 NEW BEST:: SOT 192674 SOS 85871 HAS SOPS 79727 HAS SOUS 63908 HAS SOUPS 58098 WITH SCORE 58183.871
AT ITER 1323 NEW BEST:: SOT 192424 SOS 85472 HAS SOPS 79477 HAS SOUS 63489 HAS SOUPS 57828 WITH SCORE 57913.472
AT ITER 1344 NEW BEST:: SOT 192422 SOS 85471 HAS SOPS 79476 HAS SOUS 63488 HAS SOUPS 57827 WITH SCORE 57912.471
AT ITER 1354 NEW BEST:: SOT 192420 SOS 85469 HAS SOPS 79474 HAS SOUS 63488 HAS SOUPS 57827 WITH SCORE 57912.469
AT ITER 1362 NEW BEST:: SOT 192454 SOS 85499 HAS SOPS 79504 HAS SOUS 63484 HAS SOUPS 57823 WITH SCORE 57908.499
AT ITER 1364 NEW BEST:: SOT 192194 SOS 84967 HAS SOPS 78972 HAS SOUS 63076 HAS SOUPS 57415 WITH SCORE 57499.967
AT ITER 1373 NEW BEST:: SOT 192237 SOS 84977 HAS SOPS 78982 HAS SOUS 62939 HAS SOUPS 57278 WITH SCORE 57362.977
AT ITER 1376 NEW BEST:: SOT 192066 SOS 84806 HAS SOPS 78810 HAS SOUS 62934 HAS SOUPS 57272 WITH SCORE 57356.806
AT ITER 1386 NEW BEST:: SOT 191845 SOS 84585 HAS SOPS 78589 HAS SOUS 62556 HAS SOUPS 56894 WITH SCORE 56978.585
AT ITER 1390 NEW BEST:: SOT 191868 SOS 84557 HAS SOPS 78585 HAS SOUS 62528 HAS SOUPS 56890 WITH SCORE 56974.557
AT ITER 1403 NEW BEST:: SOT 191750 SOS 84345 HAS SOPS 78373 HAS SOUS 62410 HAS SOUPS 56772 WITH SCORE 56856.345
AT ITER 1406 NEW BEST:: SOT 191627 SOS 83730 HAS SOPS 77758 HAS SOUS 62041 HAS SOUPS 56403 WITH SCORE 56486.73
AT ITER 1407 NEW BEST:: SOT 191593 SOS 83696 HAS SOPS 77724 HAS SOUS 62041 HAS SOUPS 56403 WITH SCORE 56486.696
AT ITER 1409 NEW BEST:: SOT 191763 SOS 83622 HAS SOPS 77650 HAS SOUS 62037 HAS SOUPS 56399 WITH SCORE 56482.622
AT ITER 1412 NEW BEST:: SOT 191758 SOS 83616 HAS SOPS 77644 HAS SOUS 62031 HAS SOUPS 56393 WITH SCORE 56476.616
AT ITER 1415 NEW BEST:: SOT 191710 SOS 83568 HAS SOPS 77596 HAS SOUS 61977 HAS SOUPS 56339 WITH SCORE 56422.568
AT ITER 1428 NEW BEST:: SOT 191703 SOS 83561 HAS SOPS 77589 HAS SOUS 61977 HAS SOUPS 56339 WITH SCORE 56422.561
AT ITER 1434 NEW BEST:: SOT 191701 SOS 83559 HAS SOPS 77587 HAS SOUS 61975 HAS SOUPS 56337 WITH SCORE 56420.559
AT ITER 1448 NEW BEST:: SOT 191632 SOS 83490 HAS SOPS 77518 HAS SOUS 61975 HAS SOUPS 56337 WITH SCORE 56420.49
AT ITER 1449 NEW BEST:: SOT 191663 SOS 83255 HAS SOPS 77283 HAS SOUS 61877 HAS SOUPS 56239 WITH SCORE 56322.255
AT ITER 1451 NEW BEST:: SOT 191655 SOS 83335 HAS SOPS 77363 HAS SOUS 61869 HAS SOUPS 56231 WITH SCORE 56314.335
AT ITER 1452 NEW BEST:: SOT 191654 SOS 83334 HAS SOPS 77363 HAS SOUS 61868 HAS SOUPS 56231 WITH SCORE 56314.334
AT ITER 1453 NEW BEST:: SOT 191628 SOS 83227 HAS SOPS 77256 HAS SOUS 61845 HAS SOUPS 56208 WITH SCORE 56291.227
AT ITER 1455 NEW BEST:: SOT 191628 SOS 83169 HAS SOPS 77198 HAS SOUS 61828 HAS SOUPS 56191 WITH SCORE 56274.169
AT ITER 1460 NEW BEST:: SOT 191628 SOS 83169 HAS SOPS 77198 HAS SOUS 61787 HAS SOUPS 56150 WITH SCORE 56233.169
AT ITER 1464 NEW BEST:: SOT 191604 SOS 83231 HAS SOPS 77260 HAS SOUS 61763 HAS SOUPS 56126 WITH SCORE 56209.231
AT ITER 1472 NEW BEST:: SOT 191558 SOS 83185 HAS SOPS 77214 HAS SOUS 61671 HAS SOUPS 56034 WITH SCORE 56117.185
AT ITER 1477 NEW BEST:: SOT 191622 SOS 83248 HAS SOPS 77277 HAS SOUS 61658 HAS SOUPS 56021 WITH SCORE 56104.248
AT ITER 1479 NEW BEST:: SOT 191615 SOS 83234 HAS SOPS 77263 HAS SOUS 61651 HAS SOUPS 56014 WITH SCORE 56097.234
AT ITER 1484 NEW BEST:: SOT 191592 SOS 83189 HAS SOPS 77217 HAS SOUS 61628 HAS SOUPS 55990 WITH SCORE 56073.189
AT ITER 1491 NEW BEST:: SOT 191566 SOS 83163 HAS SOPS 77191 HAS SOUS 61602 HAS SOUPS 55964 WITH SCORE 56047.163
AT ITER 1494 NEW BEST:: SOT 191516 SOS 83068 HAS SOPS 77096 HAS SOUS 61557 HAS SOUPS 55919 WITH SCORE 56002.068
AT ITER 1519 NEW BEST:: SOT 191580 SOS 83068 HAS SOPS 77096 HAS SOUS 61512 HAS SOUPS 55874 WITH SCORE 55957.068
AT ITER 1521 NEW BEST:: SOT 191651 SOS 82971 HAS SOPS 77115 HAS SOUS 61344 HAS SOUPS 55822 WITH SCORE 55904.971
AT ITER 1530 NEW BEST:: SOT 191606 SOS 82834 HAS SOPS 76978 HAS SOUS 61268 HAS SOUPS 55746 WITH SCORE 55828.834
AT ITER 1535 NEW BEST:: SOT 191522 SOS 82738 HAS SOPS 76847 HAS SOUS 61253 HAS SOUPS 55696 WITH SCORE 55778.738
AT ITER 1539 NEW BEST:: SOT 190055 SOS 83972 HAS SOPS 77362 HAS SOUS 61147 HAS SOUPS 55239 WITH SCORE 55322.972
AT ITER 1546 NEW BEST:: SOT 189989 SOS 83939 HAS SOPS 77295 HAS SOUS 61097 HAS SOUPS 55189 WITH SCORE 55272.939
AT ITER 1548 NEW BEST:: SOT 189921 SOS 83834 HAS SOPS 77190 HAS SOUS 60955 HAS SOUPS 55047 WITH SCORE 55130.834
AT ITER 1557 NEW BEST:: SOT 189909 SOS 83812 HAS SOPS 77168 HAS SOUS 60933 HAS SOUPS 55025 WITH SCORE 55108.812
AT ITER 1568 NEW BEST:: SOT 189802 SOS 83687 HAS SOPS 77043 HAS SOUS 60861 HAS SOUPS 54953 WITH SCORE 55036.687
AT ITER 1569 NEW BEST:: SOT 189709 SOS 83594 HAS SOPS 76950 HAS SOUS 60768 HAS SOUPS 54860 WITH SCORE 54943.594
AT ITER 1570 NEW BEST:: SOT 189736 SOS 83621 HAS SOPS 76905 HAS SOUS 60795 HAS SOUPS 54815 WITH SCORE 54898.621
AT ITER 1583 NEW BEST:: SOT 189701 SOS 83541 HAS SOPS 76840 HAS SOUS 60735 HAS SOUPS 54770 WITH SCORE 54853.541
AT ITER 1588 NEW BEST:: SOT 189788 SOS 83595 HAS SOPS 76894 HAS SOUS 60664 HAS SOUPS 54699 WITH SCORE 54782.595
AT ITER 1590 NEW BEST:: SOT 189780 SOS 83449 HAS SOPS 76748 HAS SOUS 60602 HAS SOUPS 54637 WITH SCORE 54720.449
AT ITER 1593 NEW BEST:: SOT 189693 SOS 83341 HAS SOPS 76640 HAS SOUS 60573 HAS SOUPS 54608 WITH SCORE 54691.341
AT ITER 1595 NEW BEST:: SOT 189735 SOS 83415 HAS SOPS 76714 HAS SOUS 60463 HAS SOUPS 54498 WITH SCORE 54581.415
AT ITER 1603 NEW BEST:: SOT 189735 SOS 83415 HAS SOPS 76714 HAS SOUS 60417 HAS SOUPS 54452 WITH SCORE 54535.415
AT ITER 1606 NEW BEST:: SOT 189644 SOS 83320 HAS SOPS 76623 HAS SOUS 60386 HAS SOUPS 54425 WITH SCORE 54508.32
AT ITER 1615 NEW BEST:: SOT 189606 SOS 83148 HAS SOPS 76531 HAS SOUS 60348 HAS SOUPS 54387 WITH SCORE 54470.148
AT ITER 1622 NEW BEST:: SOT 189642 SOS 83139 HAS SOPS 76522 HAS SOUS 60327 HAS SOUPS 54366 WITH SCORE 54449.139
AT ITER 1624 NEW BEST:: SOT 189488 SOS 82750 HAS SOPS 76295 HAS SOUS 60173 HAS SOUPS 54293 WITH SCORE 54375.75
AT ITER 1647 NEW BEST:: SOT 189402 SOS 82707 HAS SOPS 76151 HAS SOUS 60216 HAS SOUPS 54235 WITH SCORE 54317.707
AT ITER 1663 NEW BEST:: SOT 189394 SOS 82805 HAS SOPS 76192 HAS SOUS 60265 HAS SOUPS 54227 WITH SCORE 54309.805
AT ITER 1667 NEW BEST:: SOT 191269 SOS 84026 HAS SOPS 77482 HAS SOUS 59987 HAS SOUPS 53949 WITH SCORE 54033.026
AT ITER 1668 NEW BEST:: SOT 191225 SOS 83955 HAS SOPS 77411 HAS SOUS 59916 HAS SOUPS 53878 WITH SCORE 53961.955
AT ITER 1671 NEW BEST:: SOT 191191 SOS 83921 HAS SOPS 77268 HAS SOUS 59882 HAS SOUPS 53735 WITH SCORE 53818.921
AT ITER 1681 NEW BEST:: SOT 191166 SOS 83881 HAS SOPS 77228 HAS SOUS 59867 HAS SOUPS 53720 WITH SCORE 53803.881
AT ITER 1692 NEW BEST:: SOT 191143 SOS 83835 HAS SOPS 77159 HAS SOUS 59842 HAS SOUPS 53672 WITH SCORE 53755.835
AT ITER 1695 NEW BEST:: SOT 191115 SOS 83807 HAS SOPS 77071 HAS SOUS 59814 HAS SOUPS 53584 WITH SCORE 53667.807
AT ITER 1715 NEW BEST:: SOT 191074 SOS 83726 HAS SOPS 76990 HAS SOUS 59733 HAS SOUPS 53503 WITH SCORE 53586.726
AT ITER 1725 NEW BEST:: SOT 191064 SOS 83716 HAS SOPS 76980 HAS SOUS 59733 HAS SOUPS 53503 WITH SCORE 53586.716
AT ITER 1727 NEW BEST:: SOT 191071 SOS 83722 HAS SOPS 76986 HAS SOUS 59715 HAS SOUPS 53485 WITH SCORE 53568.722
AT ITER 1757 NEW BEST:: SOT 191071 SOS 83758 HAS SOPS 77022 HAS SOUS 59672 HAS SOUPS 53442 WITH SCORE 53525.758
AT ITER 1770 NEW BEST:: SOT 191032 SOS 83719 HAS SOPS 76983 HAS SOUS 59644 HAS SOUPS 53414 WITH SCORE 53497.719
AT ITER 1772 NEW BEST:: SOT 190889 SOS 83433 HAS SOPS 76697 HAS SOUS 59618 HAS SOUPS 53388 WITH SCORE 53471.433
AT ITER 1788 NEW BEST:: SOT 190610 SOS 83045 HAS SOPS 76309 HAS SOUS 59290 HAS SOUPS 53060 WITH SCORE 53143.045
AT ITER 1791 NEW BEST:: SOT 190610 SOS 83039 HAS SOPS 76303 HAS SOUS 59284 HAS SOUPS 53054 WITH SCORE 53137.039
AT ITER 1793 NEW BEST:: SOT 190521 SOS 82950 HAS SOPS 76214 HAS SOUS 59283 HAS SOUPS 53053 WITH SCORE 53135.95
AT ITER 1796 NEW BEST:: SOT 190521 SOS 82938 HAS SOPS 76202 HAS SOUS 59283 HAS SOUPS 53053 WITH SCORE 53135.938
AT ITER 1802 NEW BEST:: SOT 190475 SOS 82811 HAS SOPS 76140 HAS SOUS 59156 HAS SOUPS 52991 WITH SCORE 53073.811
AT ITER 1809 NEW BEST:: SOT 190347 SOS 82683 HAS SOPS 75948 HAS SOUS 59092 HAS SOUPS 52863 WITH SCORE 52945.683
AT ITER 1817 NEW BEST:: SOT 190305 SOS 82641 HAS SOPS 75906 HAS SOUS 59050 HAS SOUPS 52821 WITH SCORE 52903.641
AT ITER 1825 NEW BEST:: SOT 190305 SOS 82629 HAS SOPS 75894 HAS SOUS 59044 HAS SOUPS 52815 WITH SCORE 52897.629
AT ITER 1833 NEW BEST:: SOT 190336 SOS 82713 HAS SOPS 75978 HAS SOUS 59009 HAS SOUPS 52780 WITH SCORE 52862.713
AT ITER 1837 NEW BEST:: SOT 189985 SOS 82299 HAS SOPS 75404 HAS SOUS 58783 HAS SOUPS 52394 WITH SCORE 52476.299
AT ITER 1872 NEW BEST:: SOT 189675 SOS 81919 HAS SOPS 74954 HAS SOUS 58520 HAS SOUPS 52131 WITH SCORE 52212.919
AT ITER 1875 NEW BEST:: SOT 189899 SOS 82142 HAS SOPS 75177 HAS SOUS 58423 HAS SOUPS 52034 WITH SCORE 52116.142
AT ITER 1878 NEW BEST:: SOT 189896 SOS 82083 HAS SOPS 75118 HAS SOUS 58416 HAS SOUPS 52027 WITH SCORE 52109.083
AT ITER 1880 NEW BEST:: SOT 189827 SOS 82079 HAS SOPS 75109 HAS SOUS 58407 HAS SOUPS 52013 WITH SCORE 52095.079
AT ITER 1881 NEW BEST:: SOT 190025 SOS 82019 HAS SOPS 75049 HAS SOUS 58405 HAS SOUPS 52011 WITH SCORE 52093.019
AT ITER 1883 NEW BEST:: SOT 189990 SOS 81898 HAS SOPS 74928 HAS SOUS 58344 HAS SOUPS 51950 WITH SCORE 52031.898
AT ITER 1886 NEW BEST:: SOT 190030 SOS 81998 HAS SOPS 75028 HAS SOUS 58334 HAS SOUPS 51940 WITH SCORE 52021.998
AT ITER 1895 NEW BEST:: SOT 190030 SOS 81836 HAS SOPS 74866 HAS SOUS 58334 HAS SOUPS 51940 WITH SCORE 52021.836
AT ITER 1896 NEW BEST:: SOT 190010 SOS 81800 HAS SOPS 74830 HAS SOUS 58298 HAS SOUPS 51904 WITH SCORE 51985.8
AT ITER 1900 NEW BEST:: SOT 190010 SOS 81678 HAS SOPS 74766 HAS SOUS 58234 HAS SOUPS 51898 WITH SCORE 51979.678
AT ITER 1909 NEW BEST:: SOT 190024 SOS 81508 HAS SOPS 74596 HAS SOUS 58200 HAS SOUPS 51864 WITH SCORE 51945.508
AT ITER 1916 NEW BEST:: SOT 189961 SOS 81382 HAS SOPS 74470 HAS SOUS 58074 HAS SOUPS 51738 WITH SCORE 51819.382
AT ITER 1917 NEW BEST:: SOT 190051 SOS 80702 HAS SOPS 74000 HAS SOUS 58003 HAS SOUPS 51732 WITH SCORE 51812.702
AT ITER 1919 NEW BEST:: SOT 190068 SOS 80719 HAS SOPS 74017 HAS SOUS 57988 HAS SOUPS 51717 WITH SCORE 51797.719
AT ITER 1952 NEW BEST:: SOT 190026 SOS 80675 HAS SOPS 73973 HAS SOUS 57944 HAS SOUPS 51673 WITH SCORE 51753.675
AT ITER 1956 NEW BEST:: SOT 190031 SOS 80665 HAS SOPS 73963 HAS SOUS 57934 HAS SOUPS 51663 WITH SCORE 51743.665
AT ITER 1970 NEW BEST:: SOT 189907 SOS 80338 HAS SOPS 73636 HAS SOUS 57607 HAS SOUPS 51336 WITH SCORE 51416.338
AT ITER 1977 NEW BEST:: SOT 189885 SOS 80294 HAS SOPS 73592 HAS SOUS 57574 HAS SOUPS 51303 WITH SCORE 51383.294
AT ITER 1994 NEW BEST:: SOT 189860 SOS 80254 HAS SOPS 73542 HAS SOUS 57572 HAS SOUPS 51291 WITH SCORE 51371.254
AT ITER 2000 NEW BEST:: SOT 189860 SOS 80240 HAS SOPS 73542 HAS SOUS 57558 HAS SOUPS 51291 WITH SCORE 51371.24
AT ITER 2020 NEW BEST:: SOT 189857 SOS 80234 HAS SOPS 73536 HAS SOUS 57555 HAS SOUPS 51288 WITH SCORE 51368.234
AT ITER 2022 NEW BEST:: SOT 189857 SOS 80194 HAS SOPS 73536 HAS SOUS 57515 HAS SOUPS 51288 WITH SCORE 51368.194
AT ITER 2044 NEW BEST:: SOT 189832 SOS 80169 HAS SOPS 73511 HAS SOUS 57515 HAS SOUPS 51288 WITH SCORE 51368.169
AT ITER 2049 NEW BEST:: SOT 189776 SOS 79955 HAS SOPS 73371 HAS SOUS 57357 HAS SOUPS 51204 WITH SCORE 51283.955
AT ITER 2053 NEW BEST:: SOT 189669 SOS 79839 HAS SOPS 73255 HAS SOUS 57175 HAS SOUPS 51022 WITH SCORE 51101.839
AT ITER 2067 NEW BEST:: SOT 189679 SOS 79849 HAS SOPS 73275 HAS SOUS 57074 HAS SOUPS 50931 WITH SCORE 51010.849
AT ITER 2069 NEW BEST:: SOT 189604 SOS 79492 HAS SOPS 72992 HAS SOUS 56925 HAS SOUPS 50856 WITH SCORE 50935.492
AT ITER 2079 NEW BEST:: SOT 189565 SOS 79401 HAS SOPS 72914 HAS SOUS 56860 HAS SOUPS 50804 WITH SCORE 50883.401
AT ITER 2088 NEW BEST:: SOT 189531 SOS 79367 HAS SOPS 72880 HAS SOUS 56843 HAS SOUPS 50787 WITH SCORE 50866.367
AT ITER 2092 NEW BEST:: SOT 189511 SOS 79320 HAS SOPS 72859 HAS SOUS 56796 HAS SOUPS 50766 WITH SCORE 50845.32
AT ITER 2096 NEW BEST:: SOT 189494 SOS 79288 HAS SOPS 72827 HAS SOUS 56784 HAS SOUPS 50754 WITH SCORE 50833.288
AT ITER 2101 NEW BEST:: SOT 189494 SOS 79288 HAS SOPS 72827 HAS SOUS 56770 HAS SOUPS 50740 WITH SCORE 50819.288
AT ITER 2107 NEW BEST:: SOT 189493 SOS 79287 HAS SOPS 72832 HAS SOUS 56762 HAS SOUPS 50738 WITH SCORE 50817.287
AT ITER 2110 NEW BEST:: SOT 189402 SOS 78812 HAS SOPS 72453 HAS SOUS 56388 HAS SOUPS 50460 WITH SCORE 50538.812
AT ITER 2117 NEW BEST:: SOT 189338 SOS 78748 HAS SOPS 72389 HAS SOUS 56367 HAS SOUPS 50439 WITH SCORE 50517.748
AT ITER 2118 NEW BEST:: SOT 189239 SOS 78649 HAS SOPS 72290 HAS SOUS 56217 HAS SOUPS 50289 WITH SCORE 50367.649
AT ITER 2120 NEW BEST:: SOT 189125 SOS 78364 HAS SOPS 72005 HAS SOUS 56215 HAS SOUPS 50287 WITH SCORE 50365.364
AT ITER 2125 NEW BEST:: SOT 189730 SOS 78441 HAS SOPS 72082 HAS SOUS 56129 HAS SOUPS 50201 WITH SCORE 50279.441
AT ITER 2129 NEW BEST:: SOT 189698 SOS 78441 HAS SOPS 72082 HAS SOUS 56113 HAS SOUPS 50185 WITH SCORE 50263.441
AT ITER 2133 NEW BEST:: SOT 189686 SOS 78429 HAS SOPS 72070 HAS SOUS 56101 HAS SOUPS 50173 WITH SCORE 50251.429
AT ITER 2144 NEW BEST:: SOT 189711 SOS 78392 HAS SOPS 72039 HAS SOUS 56091 HAS SOUPS 50169 WITH SCORE 50247.392
AT ITER 2152 NEW BEST:: SOT 189717 SOS 78398 HAS SOPS 72051 HAS SOUS 56065 HAS SOUPS 50149 WITH SCORE 50227.398
AT ITER 2164 NEW BEST:: SOT 189673 SOS 78288 HAS SOPS 71941 HAS SOUS 55999 HAS SOUPS 50083 WITH SCORE 50161.288
AT ITER 2182 NEW BEST:: SOT 189673 SOS 78275 HAS SOPS 71928 HAS SOUS 55986 HAS SOUPS 50070 WITH SCORE 50148.275
AT ITER 2191 NEW BEST:: SOT 189649 SOS 78251 HAS SOPS 71904 HAS SOUS 55962 HAS SOUPS 50046 WITH SCORE 50124.251
AT ITER 2193 NEW BEST:: SOT 190169 SOS 78593 HAS SOPS 72246 HAS SOUS 55784 HAS SOUPS 49868 WITH SCORE 49946.593
AT ITER 2203 NEW BEST:: SOT 190128 SOS 78552 HAS SOPS 72205 HAS SOUS 55739 HAS SOUPS 49823 WITH SCORE 49901.552
AT ITER 2206 NEW BEST:: SOT 190138 SOS 78496 HAS SOPS 72149 HAS SOUS 55729 HAS SOUPS 49813 WITH SCORE 49891.496
AT ITER 2211 NEW BEST:: SOT 190135 SOS 78411 HAS SOPS 72064 HAS SOUS 55684 HAS SOUPS 49768 WITH SCORE 49846.411
AT ITER 2223 NEW BEST:: SOT 190083 SOS 78368 HAS SOPS 72021 HAS SOUS 55635 HAS SOUPS 49719 WITH SCORE 49797.368
AT ITER 2240 NEW BEST:: SOT 189948 SOS 78310 HAS SOPS 71963 HAS SOUS 55634 HAS SOUPS 49718 WITH SCORE 49796.31
AT ITER 2260 NEW BEST:: SOT 189842 SOS 78857 HAS SOPS 72320 HAS SOUS 55681 HAS SOUPS 49715 WITH SCORE 49793.857
AT ITER 2267 NEW BEST:: SOT 189861 SOS 78876 HAS SOPS 72281 HAS SOUS 55719 HAS SOUPS 49695 WITH SCORE 49773.876
AT ITER 2272 NEW BEST:: SOT 189857 SOS 78765 HAS SOPS 72170 HAS SOUS 55653 HAS SOUPS 49629 WITH SCORE 49707.765
AT ITER 2273 NEW BEST:: SOT 189857 SOS 78719 HAS SOPS 72124 HAS SOUS 55607 HAS SOUPS 49583 WITH SCORE 49661.719
AT ITER 2287 NEW BEST:: SOT 189857 SOS 78689 HAS SOPS 72094 HAS SOUS 55607 HAS SOUPS 49583 WITH SCORE 49661.689
AT ITER 2293 NEW BEST:: SOT 189857 SOS 78680 HAS SOPS 72085 HAS SOUS 55604 HAS SOUPS 49580 WITH SCORE 49658.68
AT ITER 2296 NEW BEST:: SOT 189834 SOS 78725 HAS SOPS 72107 HAS SOUS 55592 HAS SOUPS 49568 WITH SCORE 49646.725
AT ITER 2316 NEW BEST:: SOT 189664 SOS 78386 HAS SOPS 71892 HAS SOUS 55283 HAS SOUPS 49383 WITH SCORE 49461.386
AT ITER 2321 NEW BEST:: SOT 189660 SOS 78374 HAS SOPS 71880 HAS SOUS 55279 HAS SOUPS 49379 WITH SCORE 49457.374
AT ITER 2324 NEW BEST:: SOT 189482 SOS 77996 HAS SOPS 71502 HAS SOUS 55185 HAS SOUPS 49285 WITH SCORE 49362.996
AT ITER 2330 NEW BEST:: SOT 189430 SOS 77944 HAS SOPS 71450 HAS SOUS 55133 HAS SOUPS 49233 WITH SCORE 49310.944
AT ITER 2338 NEW BEST:: SOT 189374 SOS 78152 HAS SOPS 71586 HAS SOUS 55133 HAS SOUPS 49209 WITH SCORE 49287.152
AT ITER 2345 NEW BEST:: SOT 189373 SOS 77925 HAS SOPS 71457 HAS SOUS 55005 HAS SOUPS 49179 WITH SCORE 49256.925
AT ITER 2357 NEW BEST:: SOT 189335 SOS 77887 HAS SOPS 71419 HAS SOUS 54967 HAS SOUPS 49141 WITH SCORE 49218.887
AT ITER 2383 NEW BEST:: SOT 189335 SOS 78008 HAS SOPS 71479 HAS SOUS 55027 HAS SOUPS 49140 WITH SCORE 49218.008
AT ITER 2391 NEW BEST:: SOT 189400 SOS 78051 HAS SOPS 71430 HAS SOUS 55070 HAS SOUPS 49091 WITH SCORE 49169.051
AT ITER 2436 NEW BEST:: SOT 189392 SOS 78011 HAS SOPS 71390 HAS SOUS 55062 HAS SOUPS 49083 WITH SCORE 49161.011
AT ITER 2442 NEW BEST:: SOT 189364 SOS 78006 HAS SOPS 71385 HAS SOUS 55054 HAS SOUPS 49075 WITH SCORE 49153.006
AT ITER 2449 NEW BEST:: SOT 189348 SOS 77990 HAS SOPS 71369 HAS SOUS 55038 HAS SOUPS 49059 WITH SCORE 49136.99
AT ITER 2455 NEW BEST:: SOT 189333 SOS 77975 HAS SOPS 71353 HAS SOUS 55037 HAS SOUPS 49057 WITH SCORE 49134.975
AT ITER 2461 NEW BEST:: SOT 189301 SOS 77895 HAS SOPS 71273 HAS SOUS 54989 HAS SOUPS 49009 WITH SCORE 49086.895
AT ITER 2466 NEW BEST:: SOT 189343 SOS 77847 HAS SOPS 71225 HAS SOUS 54987 HAS SOUPS 49007 WITH SCORE 49084.847
AT ITER 2469 NEW BEST:: SOT 189147 SOS 77598 HAS SOPS 70994 HAS SOUS 54738 HAS SOUPS 48776 WITH SCORE 48853.598
AT ITER 2479 NEW BEST:: SOT 189076 SOS 77488 HAS SOPS 70884 HAS SOUS 54653 HAS SOUPS 48691 WITH SCORE 48768.488
AT ITER 2492 NEW BEST:: SOT 189050 SOS 77423 HAS SOPS 70832 HAS SOUS 54640 HAS SOUPS 48691 WITH SCORE 48768.423
AT ITER 2521 NEW BEST:: SOT 189006 SOS 77379 HAS SOPS 70788 HAS SOUS 54552 HAS SOUPS 48603 WITH SCORE 48680.379
AT ITER 2524 NEW BEST:: SOT 188958 SOS 77351 HAS SOPS 70760 HAS SOUS 54524 HAS SOUPS 48575 WITH SCORE 48652.351
AT ITER 2530 NEW BEST:: SOT 188953 SOS 77346 HAS SOPS 70755 HAS SOUS 54524 HAS SOUPS 48575 WITH SCORE 48652.346
AT ITER 2531 NEW BEST:: SOT 188951 SOS 77342 HAS SOPS 70753 HAS SOUS 54520 HAS SOUPS 48573 WITH SCORE 48650.342
AT ITER 2547 NEW BEST:: SOT 188883 SOS 77274 HAS SOPS 70685 HAS SOUS 54384 HAS SOUPS 48437 WITH SCORE 48514.274
AT ITER 2550 NEW BEST:: SOT 188879 SOS 77266 HAS SOPS 70681 HAS SOUS 54372 HAS SOUPS 48429 WITH SCORE 48506.266
AT ITER 2555 NEW BEST:: SOT 188866 SOS 77253 HAS SOPS 70668 HAS SOUS 54372 HAS SOUPS 48429 WITH SCORE 48506.253
AT ITER 2562 NEW BEST:: SOT 188905 SOS 77108 HAS SOPS 70523 HAS SOUS 54307 HAS SOUPS 48364 WITH SCORE 48441.108
AT ITER 2573 NEW BEST:: SOT 189043 SOS 77224 HAS SOPS 70661 HAS SOUS 54263 HAS SOUPS 48342 WITH SCORE 48419.224
AT ITER 2581 NEW BEST:: SOT 189036 SOS 77096 HAS SOPS 70533 HAS SOUS 54233 HAS SOUPS 48312 WITH SCORE 48389.096
AT ITER 2597 NEW BEST:: SOT 189034 SOS 77160 HAS SOPS 70597 HAS SOUS 54229 HAS SOUPS 48308 WITH SCORE 48385.16
AT ITER 2612 NEW BEST:: SOT 189034 SOS 77142 HAS SOPS 70597 HAS SOUS 54211 HAS SOUPS 48308 WITH SCORE 48385.142
AT ITER 2613 NEW BEST:: SOT 189030 SOS 77136 HAS SOPS 70591 HAS SOUS 54205 HAS SOUPS 48302 WITH SCORE 48379.136
AT ITER 2615 NEW BEST:: SOT 189025 SOS 77047 HAS SOPS 70474 HAS SOUS 54195 HAS SOUPS 48292 WITH SCORE 48369.047
AT ITER 2617 NEW BEST:: SOT 189024 SOS 77205 HAS SOPS 70450 HAS SOUS 54371 HAS SOUPS 48286 WITH SCORE 48363.205
AT ITER 2662 NEW BEST:: SOT 188931 SOS 77161 HAS SOPS 70357 HAS SOUS 54327 HAS SOUPS 48193 WITH SCORE 48270.161
AT ITER 2701 NEW BEST:: SOT 188868 SOS 77059 HAS SOPS 70255 HAS SOUS 54285 HAS SOUPS 48151 WITH SCORE 48228.059
AT ITER 2710 NEW BEST:: SOT 188812 SOS 76997 HAS SOPS 70221 HAS SOUS 54257 HAS SOUPS 48151 WITH SCORE 48227.997
AT ITER 2721 NEW BEST:: SOT 188758 SOS 76867 HAS SOPS 70033 HAS SOUS 54239 HAS SOUPS 48075 WITH SCORE 48151.867
AT ITER 2722 NEW BEST:: SOT 188758 SOS 76863 HAS SOPS 70029 HAS SOUS 54239 HAS SOUPS 48075 WITH SCORE 48151.863
AT ITER 2736 NEW BEST:: SOT 189744 SOS 77849 HAS SOPS 71015 HAS SOUS 54225 HAS SOUPS 48061 WITH SCORE 48138.849
AT ITER 2738 NEW BEST:: SOT 189679 SOS 77784 HAS SOPS 70950 HAS SOUS 54160 HAS SOUPS 47996 WITH SCORE 48073.784
AT ITER 2758 NEW BEST:: SOT 189666 SOS 77501 HAS SOPS 70765 HAS SOUS 53976 HAS SOUPS 47910 WITH SCORE 47987.501
AT ITER 2760 NEW BEST:: SOT 189666 SOS 77458 HAS SOPS 70765 HAS SOUS 53976 HAS SOUPS 47910 WITH SCORE 47987.458
AT ITER 2761 NEW BEST:: SOT 189684 SOS 77621 HAS SOPS 70606 HAS SOUS 54139 HAS SOUPS 47751 WITH SCORE 47828.621
AT ITER 2766 NEW BEST:: SOT 189684 SOS 77539 HAS SOPS 70524 HAS SOUS 54098 HAS SOUPS 47710 WITH SCORE 47787.539
AT ITER 2781 NEW BEST:: SOT 189616 SOS 77360 HAS SOPS 70388 HAS SOUS 54002 HAS SOUPS 47657 WITH SCORE 47734.36
AT ITER 2803 NEW BEST:: SOT 189627 SOS 77451 HAS SOPS 70370 HAS SOUS 54013 HAS SOUPS 47559 WITH SCORE 47636.451
AT ITER 2811 NEW BEST:: SOT 189427 SOS 77135 HAS SOPS 70235 HAS SOUS 54003 HAS SOUPS 47549 WITH SCORE 47626.135
AT ITER 2826 NEW BEST:: SOT 189398 SOS 77057 HAS SOPS 70121 HAS SOUS 53927 HAS SOUPS 47437 WITH SCORE 47514.057
AT ITER 2832 NEW BEST:: SOT 189329 SOS 76951 HAS SOPS 70015 HAS SOUS 53914 HAS SOUPS 47424 WITH SCORE 47500.951
AT ITER 2833 NEW BEST:: SOT 189263 SOS 76947 HAS SOPS 69940 HAS SOUS 53905 HAS SOUPS 47344 WITH SCORE 47420.947
AT ITER 2850 NEW BEST:: SOT 189263 SOS 76891 HAS SOPS 69884 HAS SOUS 53849 HAS SOUPS 47288 WITH SCORE 47364.891
AT ITER 2864 NEW BEST:: SOT 189228 SOS 76859 HAS SOPS 69810 HAS SOUS 53821 HAS SOUPS 47218 WITH SCORE 47294.859
AT ITER 2879 NEW BEST:: SOT 189177 SOS 76722 HAS SOPS 69683 HAS SOUS 53760 HAS SOUPS 47167 WITH SCORE 47243.722
AT ITER 2880 NEW BEST:: SOT 189094 SOS 76681 HAS SOPS 69642 HAS SOUS 53750 HAS SOUPS 47157 WITH SCORE 47233.681
AT ITER 2886 NEW BEST:: SOT 189040 SOS 76669 HAS SOPS 69503 HAS SOUS 53760 HAS SOUPS 47040 WITH SCORE 47116.669
AT ITER 2898 NEW BEST:: SOT 189040 SOS 76626 HAS SOPS 69460 HAS SOUS 53717 HAS SOUPS 46997 WITH SCORE 47073.626
AT ITER 2905 NEW BEST:: SOT 189134 SOS 76522 HAS SOPS 69356 HAS SOUS 53636 HAS SOUPS 46916 WITH SCORE 46992.522
AT ITER 2909 NEW BEST:: SOT 189134 SOS 76437 HAS SOPS 69271 HAS SOUS 53631 HAS SOUPS 46911 WITH SCORE 46987.437
AT ITER 2921 NEW BEST:: SOT 189143 SOS 76446 HAS SOPS 69264 HAS SOUS 53640 HAS SOUPS 46904 WITH SCORE 46980.446
AT ITER 2928 NEW BEST:: SOT 189127 SOS 76428 HAS SOPS 69246 HAS SOUS 53638 HAS SOUPS 46902 WITH SCORE 46978.428
AT ITER 2929 NEW BEST:: SOT 188979 SOS 76288 HAS SOPS 69106 HAS SOUS 53575 HAS SOUPS 46839 WITH SCORE 46915.288
AT ITER 2932 NEW BEST:: SOT 188922 SOS 76182 HAS SOPS 68992 HAS SOUS 53469 HAS SOUPS 46725 WITH SCORE 46801.182
AT ITER 2939 NEW BEST:: SOT 189310 SOS 75832 HAS SOPS 68938 HAS SOUS 53127 HAS SOUPS 46679 WITH SCORE 46754.832
AT ITER 2943 NEW BEST:: SOT 189306 SOS 75919 HAS SOPS 69025 HAS SOUS 53123 HAS SOUPS 46675 WITH SCORE 46750.919
AT ITER 2961 NEW BEST:: SOT 189286 SOS 75899 HAS SOPS 69011 HAS SOUS 53103 HAS SOUPS 46661 WITH SCORE 46736.899
AT ITER 2962 NEW BEST:: SOT 189278 SOS 75883 HAS SOPS 68995 HAS SOUS 53095 HAS SOUPS 46653 WITH SCORE 46728.883
AT ITER 2966 NEW BEST:: SOT 189223 SOS 75894 HAS SOPS 68885 HAS SOUS 53106 HAS SOUPS 46543 WITH SCORE 46618.894
AT ITER 2978 NEW BEST:: SOT 192352 SOS 77420 HAS SOPS 70411 HAS SOUS 53101 HAS SOUPS 46538 WITH SCORE 46615.42
AT ITER 3012 NEW BEST:: SOT 192352 SOS 77410 HAS SOPS 70411 HAS SOUS 53091 HAS SOUPS 46538 WITH SCORE 46615.41
AT ITER 3013 NEW BEST:: SOT 192352 SOS 77412 HAS SOPS 70413 HAS SOUS 53074 HAS SOUPS 46521 WITH SCORE 46598.412
AT ITER 3023 NEW BEST:: SOT 192352 SOS 77298 HAS SOPS 70343 HAS SOUS 53030 HAS SOUPS 46521 WITH SCORE 46598.298
AT ITER 3029 NEW BEST:: SOT 192350 SOS 77364 HAS SOPS 70409 HAS SOUS 53028 HAS SOUPS 46519 WITH SCORE 46596.364
AT ITER 3031 NEW BEST:: SOT 192350 SOS 77329 HAS SOPS 70374 HAS SOUS 52993 HAS SOUPS 46484 WITH SCORE 46561.329
AT ITER 3045 NEW BEST:: SOT 192322 SOS 77329 HAS SOPS 70374 HAS SOUS 52965 HAS SOUPS 46456 WITH SCORE 46533.329
AT ITER 3073 NEW BEST:: SOT 192348 SOS 77352 HAS SOPS 70397 HAS SOUS 52928 HAS SOUPS 46419 WITH SCORE 46496.352
AT ITER 3075 NEW BEST:: SOT 192327 SOS 77309 HAS SOPS 70354 HAS SOUS 52907 HAS SOUPS 46398 WITH SCORE 46475.309
AT ITER 3105 NEW BEST:: SOT 192285 SOS 77225 HAS SOPS 70270 HAS SOUS 52864 HAS SOUPS 46355 WITH SCORE 46432.225
AT ITER 3110 NEW BEST:: SOT 192188 SOS 77163 HAS SOPS 70208 HAS SOUS 52826 HAS SOUPS 46317 WITH SCORE 46394.163
AT ITER 3112 NEW BEST:: SOT 192056 SOS 77153 HAS SOPS 70090 HAS SOUS 52823 HAS SOUPS 46206 WITH SCORE 46283.153
AT ITER 3131 NEW BEST:: SOT 192050 SOS 77144 HAS SOPS 70081 HAS SOUS 52814 HAS SOUPS 46197 WITH SCORE 46274.144
AT ITER 3136 NEW BEST:: SOT 192071 SOS 77091 HAS SOPS 70028 HAS SOUS 52708 HAS SOUPS 46091 WITH SCORE 46168.091
AT ITER 3145 NEW BEST:: SOT 192214 SOS 73957 HAS SOPS 67146 HAS SOUS 52194 HAS SOUPS 45829 WITH SCORE 45902.957
AT ITER 3147 NEW BEST:: SOT 192138 SOS 73805 HAS SOPS 66994 HAS SOUS 52169 HAS SOUPS 45804 WITH SCORE 45877.805
AT ITER 3152 NEW BEST:: SOT 192412 SOS 73856 HAS SOPS 67045 HAS SOUS 52080 HAS SOUPS 45715 WITH SCORE 45788.856
AT ITER 3196 NEW BEST:: SOT 192343 SOS 73805 HAS SOPS 66994 HAS SOUS 52019 HAS SOUPS 45654 WITH SCORE 45727.805
AT ITER 3199 NEW BEST:: SOT 192355 SOS 73817 HAS SOPS 67006 HAS SOUS 52014 HAS SOUPS 45649 WITH SCORE 45722.817
AT ITER 3205 NEW BEST:: SOT 192315 SOS 73726 HAS SOPS 66915 HAS SOUS 51923 HAS SOUPS 45558 WITH SCORE 45631.726
AT ITER 3245 NEW BEST:: SOT 192297 SOS 73644 HAS SOPS 66833 HAS SOUS 51840 HAS SOUPS 45475 WITH SCORE 45548.644
AT ITER 3247 NEW BEST:: SOT 192283 SOS 73715 HAS SOPS 66904 HAS SOUS 51826 HAS SOUPS 45461 WITH SCORE 45534.715
AT ITER 3258 NEW BEST:: SOT 192262 SOS 73657 HAS SOPS 66846 HAS SOUS 51774 HAS SOUPS 45409 WITH SCORE 45482.657
AT ITER 3265 NEW BEST:: SOT 192261 SOS 73656 HAS SOPS 66844 HAS SOUS 51773 HAS SOUPS 45407 WITH SCORE 45480.656
AT ITER 3275 NEW BEST:: SOT 192249 SOS 73765 HAS SOPS 66890 HAS SOUS 51831 HAS SOUPS 45402 WITH SCORE 45475.765
AT ITER 3286 NEW BEST:: SOT 192240 SOS 73775 HAS SOPS 66881 HAS SOUS 51841 HAS SOUPS 45393 WITH SCORE 45466.775
AT ITER 3297 NEW BEST:: SOT 192216 SOS 73787 HAS SOPS 66854 HAS SOUS 51856 HAS SOUPS 45369 WITH SCORE 45442.787
AT ITER 3298 NEW BEST:: SOT 192215 SOS 73758 HAS SOPS 66852 HAS SOUS 51827 HAS SOUPS 45367 WITH SCORE 45440.758
AT ITER 3321 NEW BEST:: SOT 192215 SOS 73716 HAS SOPS 66810 HAS SOUS 51780 HAS SOUPS 45320 WITH SCORE 45393.716
AT ITER 3327 NEW BEST:: SOT 192161 SOS 73786 HAS SOPS 66800 HAS SOUS 51806 HAS SOUPS 45266 WITH SCORE 45339.786
AT ITER 3329 NEW BEST:: SOT 192088 SOS 73944 HAS SOPS 66958 HAS SOUS 51796 HAS SOUPS 45256 WITH SCORE 45329.944
AT ITER 3339 NEW BEST:: SOT 192113 SOS 74002 HAS SOPS 67016 HAS SOUS 51742 HAS SOUPS 45202 WITH SCORE 45276.002
AT ITER 3346 NEW BEST:: SOT 192299 SOS 73850 HAS SOPS 67088 HAS SOUS 51490 HAS SOUPS 45174 WITH SCORE 45247.85
AT ITER 3347 NEW BEST:: SOT 192155 SOS 72590 HAS SOPS 65752 HAS SOUS 51521 HAS SOUPS 45166 WITH SCORE 45238.59
AT ITER 3353 NEW BEST:: SOT 192243 SOS 72612 HAS SOPS 65774 HAS SOUS 51483 HAS SOUPS 45128 WITH SCORE 45200.612
AT ITER 3360 NEW BEST:: SOT 192265 SOS 72635 HAS SOPS 65797 HAS SOUS 51470 HAS SOUPS 45115 WITH SCORE 45187.635
AT ITER 3387 NEW BEST:: SOT 192233 SOS 72331 HAS SOPS 65493 HAS SOUS 51438 HAS SOUPS 45083 WITH SCORE 45155.331
AT ITER 3391 NEW BEST:: SOT 192212 SOS 72310 HAS SOPS 65472 HAS SOUS 51414 HAS SOUPS 45059 WITH SCORE 45131.31
AT ITER 3395 NEW BEST:: SOT 192252 SOS 72253 HAS SOPS 65415 HAS SOUS 51375 HAS SOUPS 45020 WITH SCORE 45092.253
AT ITER 3406 NEW BEST:: SOT 192279 SOS 72322 HAS SOPS 65484 HAS SOUS 51369 HAS SOUPS 45014 WITH SCORE 45086.322
AT ITER 3411 NEW BEST:: SOT 192157 SOS 72200 HAS SOPS 65362 HAS SOUS 51245 HAS SOUPS 44890 WITH SCORE 44962.2
AT ITER 3419 NEW BEST:: SOT 192152 SOS 72195 HAS SOPS 65357 HAS SOUS 51240 HAS SOUPS 44885 WITH SCORE 44957.195
AT ITER 3429 NEW BEST:: SOT 192140 SOS 72171 HAS SOPS 65321 HAS SOUS 51216 HAS SOUPS 44849 WITH SCORE 44921.171
AT ITER 3450 NEW BEST:: SOT 192065 SOS 72096 HAS SOPS 65246 HAS SOUS 51216 HAS SOUPS 44849 WITH SCORE 44921.096
AT ITER 3451 NEW BEST:: SOT 192153 SOS 72106 HAS SOPS 65256 HAS SOUS 51198 HAS SOUPS 44831 WITH SCORE 44903.106
AT ITER 3452 NEW BEST:: SOT 192101 SOS 71745 HAS SOPS 64971 HAS SOUS 51071 HAS SOUPS 44743 WITH SCORE 44814.745
AT ITER 3461 NEW BEST:: SOT 192151 SOS 71686 HAS SOPS 64987 HAS SOUS 50994 HAS SOUPS 44741 WITH SCORE 44812.686
AT ITER 3463 NEW BEST:: SOT 192221 SOS 71750 HAS SOPS 65051 HAS SOUS 50954 HAS SOUPS 44701 WITH SCORE 44772.75
AT ITER 3464 NEW BEST:: SOT 192277 SOS 71915 HAS SOPS 65216 HAS SOUS 50931 HAS SOUPS 44678 WITH SCORE 44749.915
AT ITER 3483 NEW BEST:: SOT 192279 SOS 71829 HAS SOPS 65130 HAS SOUS 50866 HAS SOUPS 44613 WITH SCORE 44684.829
AT ITER 3485 NEW BEST:: SOT 192350 SOS 70759 HAS SOPS 64060 HAS SOUS 50688 HAS SOUPS 44435 WITH SCORE 44505.759
AT ITER 3511 NEW BEST:: SOT 192337 SOS 70731 HAS SOPS 64032 HAS SOUS 50675 HAS SOUPS 44422 WITH SCORE 44492.731
AT ITER 3531 NEW BEST:: SOT 192327 SOS 70875 HAS SOPS 64176 HAS SOUS 50665 HAS SOUPS 44412 WITH SCORE 44482.875
AT ITER 3557 NEW BEST:: SOT 192243 SOS 70749 HAS SOPS 64050 HAS SOUS 50581 HAS SOUPS 44328 WITH SCORE 44398.749
AT ITER 3570 NEW BEST:: SOT 192259 SOS 70854 HAS SOPS 64155 HAS SOUS 50542 HAS SOUPS 44289 WITH SCORE 44359.854
AT ITER 3571 NEW BEST:: SOT 192194 SOS 70669 HAS SOPS 64055 HAS SOUS 50447 HAS SOUPS 44279 WITH SCORE 44349.669
AT ITER 3576 NEW BEST:: SOT 192200 SOS 70670 HAS SOPS 64061 HAS SOUS 50436 HAS SOUPS 44273 WITH SCORE 44343.67
AT ITER 3585 NEW BEST:: SOT 192192 SOS 70640 HAS SOPS 64031 HAS SOUS 50420 HAS SOUPS 44257 WITH SCORE 44327.64
AT ITER 3588 NEW BEST:: SOT 192110 SOS 70482 HAS SOPS 63873 HAS SOUS 50370 HAS SOUPS 44207 WITH SCORE 44277.482
AT ITER 3597 NEW BEST:: SOT 192056 SOS 70429 HAS SOPS 63846 HAS SOUS 50316 HAS SOUPS 44153 WITH SCORE 44223.429
AT ITER 3606 NEW BEST:: SOT 191926 SOS 70223 HAS SOPS 63640 HAS SOUS 50302 HAS SOUPS 44139 WITH SCORE 44209.223
AT ITER 3622 NEW BEST:: SOT 191841 SOS 70132 HAS SOPS 63549 HAS SOUS 50211 HAS SOUPS 44048 WITH SCORE 44118.132
AT ITER 3623 NEW BEST:: SOT 191849 SOS 70244 HAS SOPS 63661 HAS SOUS 50127 HAS SOUPS 43964 WITH SCORE 44034.244
AT ITER 3636 NEW BEST:: SOT 191902 SOS 70297 HAS SOPS 63631 HAS SOUS 50180 HAS SOUPS 43934 WITH SCORE 44004.297
AT ITER 3648 NEW BEST:: SOT 191822 SOS 70377 HAS SOPS 63711 HAS SOUS 50140 HAS SOUPS 43894 WITH SCORE 43964.377
AT ITER 3650 NEW BEST:: SOT 191822 SOS 70346 HAS SOPS 63680 HAS SOUS 50140 HAS SOUPS 43894 WITH SCORE 43964.346
AT ITER 3657 NEW BEST:: SOT 191798 SOS 70364 HAS SOPS 63632 HAS SOUS 50155 HAS SOUPS 43846 WITH SCORE 43916.364
AT ITER 3679 NEW BEST:: SOT 191806 SOS 70322 HAS SOPS 63590 HAS SOUS 50152 HAS SOUPS 43843 WITH SCORE 43913.322
AT ITER 3702 NEW BEST:: SOT 191740 SOS 70144 HAS SOPS 63412 HAS SOUS 50040 HAS SOUPS 43731 WITH SCORE 43801.144
AT ITER 3706 NEW BEST:: SOT 191756 SOS 70136 HAS SOPS 63404 HAS SOUS 50032 HAS SOUPS 43723 WITH SCORE 43793.136
AT ITER 3720 NEW BEST:: SOT 191756 SOS 69993 HAS SOPS 63274 HAS SOUS 50019 HAS SOUPS 43723 WITH SCORE 43792.993
AT ITER 3736 NEW BEST:: SOT 191750 SOS 69981 HAS SOPS 63262 HAS SOUS 50017 HAS SOUPS 43721 WITH SCORE 43790.981
AT ITER 3740 NEW BEST:: SOT 191739 SOS 69999 HAS SOPS 63280 HAS SOUS 50006 HAS SOUPS 43710 WITH SCORE 43779.999
AT ITER 3755 NEW BEST:: SOT 191739 SOS 70022 HAS SOPS 63303 HAS SOUS 50004 HAS SOUPS 43708 WITH SCORE 43778.022
AT ITER 3765 NEW BEST:: SOT 191657 SOS 69937 HAS SOPS 63218 HAS SOUS 50001 HAS SOUPS 43705 WITH SCORE 43774.937
AT ITER 3780 NEW BEST:: SOT 191527 SOS 69759 HAS SOPS 63040 HAS SOUS 49855 HAS SOUPS 43559 WITH SCORE 43628.759
AT ITER 3786 NEW BEST:: SOT 191519 SOS 69600 HAS SOPS 62881 HAS SOUS 49828 HAS SOUPS 43532 WITH SCORE 43601.6
AT ITER 3801 NEW BEST:: SOT 191505 SOS 69579 HAS SOPS 62860 HAS SOUS 49814 HAS SOUPS 43518 WITH SCORE 43587.579
AT ITER 3805 NEW BEST:: SOT 191402 SOS 69484 HAS SOPS 62699 HAS SOUS 49809 HAS SOUPS 43447 WITH SCORE 43516.484
AT ITER 3809 NEW BEST:: SOT 191433 SOS 69480 HAS SOPS 62695 HAS SOUS 49805 HAS SOUPS 43443 WITH SCORE 43512.48
AT ITER 3818 NEW BEST:: SOT 191369 SOS 69386 HAS SOPS 62601 HAS SOUS 49752 HAS SOUPS 43390 WITH SCORE 43459.386
AT ITER 3839 NEW BEST:: SOT 191369 SOS 69594 HAS SOPS 62576 HAS SOUS 49960 HAS SOUPS 43365 WITH SCORE 43434.594
AT ITER 3842 NEW BEST:: SOT 191385 SOS 69571 HAS SOPS 62553 HAS SOUS 49937 HAS SOUPS 43342 WITH SCORE 43411.571
AT ITER 3844 NEW BEST:: SOT 191325 SOS 69622 HAS SOPS 62642 HAS SOUS 49861 HAS SOUPS 43304 WITH SCORE 43373.622
AT ITER 3868 NEW BEST:: SOT 191325 SOS 69622 HAS SOPS 62642 HAS SOUS 49856 HAS SOUPS 43299 WITH SCORE 43368.622
AT ITER 3884 NEW BEST:: SOT 191362 SOS 69584 HAS SOPS 62604 HAS SOUS 49827 HAS SOUPS 43270 WITH SCORE 43339.584
AT ITER 3903 NEW BEST:: SOT 191208 SOS 70028 HAS SOPS 63038 HAS SOUS 49774 HAS SOUPS 43207 WITH SCORE 43277.028
AT ITER 3913 NEW BEST:: SOT 191165 SOS 69942 HAS SOPS 62959 HAS SOUS 49742 HAS SOUPS 43182 WITH SCORE 43251.942
AT ITER 3916 NEW BEST:: SOT 191266 SOS 70066 HAS SOPS 63083 HAS SOUS 49658 HAS SOUPS 43098 WITH SCORE 43168.066
AT ITER 3929 NEW BEST:: SOT 191257 SOS 70051 HAS SOPS 63068 HAS SOUS 49649 HAS SOUPS 43089 WITH SCORE 43159.051
AT ITER 3950 NEW BEST:: SOT 191227 SOS 69819 HAS SOPS 62836 HAS SOUS 49607 HAS SOUPS 43047 WITH SCORE 43116.819
AT ITER 3978 NEW BEST:: SOT 191227 SOS 69819 HAS SOPS 62830 HAS SOUS 49607 HAS SOUPS 43041 WITH SCORE 43110.819
AT ITER 3984 NEW BEST:: SOT 191211 SOS 69803 HAS SOPS 62814 HAS SOUS 49591 HAS SOUPS 43025 WITH SCORE 43094.803
AT ITER 4000 NEW BEST:: SOT 191067 SOS 69567 HAS SOPS 62578 HAS SOUS 49495 HAS SOUPS 42929 WITH SCORE 42998.567
AT ITER 4001 NEW BEST:: SOT 191060 SOS 69546 HAS SOPS 62557 HAS SOUS 49474 HAS SOUPS 42908 WITH SCORE 42977.546
AT ITER 4017 NEW BEST:: SOT 191060 SOS 69109 HAS SOPS 62120 HAS SOUS 49435 HAS SOUPS 42869 WITH SCORE 42938.109
AT ITER 4020 NEW BEST:: SOT 191060 SOS 69082 HAS SOPS 62093 HAS SOUS 49428 HAS SOUPS 42862 WITH SCORE 42931.082
AT ITER 4036 NEW BEST:: SOT 191034 SOS 69056 HAS SOPS 62067 HAS SOUS 49423 HAS SOUPS 42857 WITH SCORE 42926.056
AT ITER 4042 NEW BEST:: SOT 191034 SOS 69086 HAS SOPS 62067 HAS SOUS 49423 HAS SOUPS 42827 WITH SCORE 42896.086
AT ITER 4053 NEW BEST:: SOT 191021 SOS 69027 HAS SOPS 62008 HAS SOUS 49410 HAS SOUPS 42814 WITH SCORE 42883.027
AT ITER 4056 NEW BEST:: SOT 191048 SOS 69051 HAS SOPS 62035 HAS SOUS 49383 HAS SOUPS 42787 WITH SCORE 42856.051
AT ITER 4066 NEW BEST:: SOT 191089 SOS 69092 HAS SOPS 62110 HAS SOUS 49344 HAS SOUPS 42782 WITH SCORE 42851.092
AT ITER 4128 NEW BEST:: SOT 191039 SOS 69054 HAS SOPS 62060 HAS SOUS 49337 HAS SOUPS 42763 WITH SCORE 42832.054
AT ITER 4132 NEW BEST:: SOT 191027 SOS 69036 HAS SOPS 62042 HAS SOUS 49325 HAS SOUPS 42751 WITH SCORE 42820.036
AT ITER 4148 NEW BEST:: SOT 191000 SOS 68857 HAS SOPS 61863 HAS SOUS 49304 HAS SOUPS 42730 WITH SCORE 42798.857
AT ITER 4173 NEW BEST:: SOT 191000 SOS 68826 HAS SOPS 61832 HAS SOUS 49304 HAS SOUPS 42730 WITH SCORE 42798.826
AT ITER 4208 NEW BEST:: SOT 191012 SOS 68826 HAS SOPS 61832 HAS SOUS 49292 HAS SOUPS 42718 WITH SCORE 42786.826
AT ITER 4224 NEW BEST:: SOT 191012 SOS 68819 HAS SOPS 61825 HAS SOUS 49285 HAS SOUPS 42711 WITH SCORE 42779.819
AT ITER 4283 NEW BEST:: SOT 191099 SOS 69254 HAS SOPS 62260 HAS SOUS 49198 HAS SOUPS 42624 WITH SCORE 42693.254
AT ITER 4288 NEW BEST:: SOT 191098 SOS 69253 HAS SOPS 62258 HAS SOUS 49198 HAS SOUPS 42623 WITH SCORE 42692.253
AT ITER 4296 NEW BEST:: SOT 191071 SOS 69152 HAS SOPS 62150 HAS SOUS 49172 HAS SOUPS 42590 WITH SCORE 42659.152
AT ITER 4305 NEW BEST:: SOT 191071 SOS 69116 HAS SOPS 62114 HAS SOUS 49159 HAS SOUPS 42577 WITH SCORE 42646.116
AT ITER 4318 NEW BEST:: SOT 191089 SOS 69126 HAS SOPS 62194 HAS SOUS 49081 HAS SOUPS 42569 WITH SCORE 42638.126
AT ITER 4324 NEW BEST:: SOT 191092 SOS 69123 HAS SOPS 62191 HAS SOUS 49081 HAS SOUPS 42569 WITH SCORE 42638.123
AT ITER 4328 NEW BEST:: SOT 190982 SOS 68993 HAS SOPS 62055 HAS SOUS 48984 HAS SOUPS 42466 WITH SCORE 42534.993
AT ITER 4332 NEW BEST:: SOT 190968 SOS 69007 HAS SOPS 62055 HAS SOUS 48984 HAS SOUPS 42452 WITH SCORE 42521.007
AT ITER 4348 NEW BEST:: SOT 191102 SOS 68905 HAS SOPS 61953 HAS SOUS 48980 HAS SOUPS 42448 WITH SCORE 42516.905
AT ITER 4361 NEW BEST:: SOT 191105 SOS 68908 HAS SOPS 61956 HAS SOUS 48977 HAS SOUPS 42445 WITH SCORE 42513.908
AT ITER 4386 NEW BEST:: SOT 191099 SOS 68899 HAS SOPS 61947 HAS SOUS 48971 HAS SOUPS 42439 WITH SCORE 42507.899
AT ITER 4392 NEW BEST:: SOT 190955 SOS 68755 HAS SOPS 61803 HAS SOUS 48935 HAS SOUPS 42403 WITH SCORE 42471.755
AT ITER 4415 NEW BEST:: SOT 190843 SOS 68771 HAS SOPS 61745 HAS SOUS 48982 HAS SOUPS 42376 WITH SCORE 42444.771
AT ITER 4437 NEW BEST:: SOT 190831 SOS 68753 HAS SOPS 61727 HAS SOUS 48973 HAS SOUPS 42367 WITH SCORE 42435.753
AT ITER 4463 NEW BEST:: SOT 190801 SOS 68275 HAS SOPS 61249 HAS SOUS 48963 HAS SOUPS 42357 WITH SCORE 42425.275
AT ITER 4469 NEW BEST:: SOT 190796 SOS 68246 HAS SOPS 61220 HAS SOUS 48950 HAS SOUPS 42344 WITH SCORE 42412.246
AT ITER 4498 NEW BEST:: SOT 190770 SOS 68227 HAS SOPS 61168 HAS SOUS 48957 HAS SOUPS 42318 WITH SCORE 42386.227
AT ITER 4538 NEW BEST:: SOT 190754 SOS 68211 HAS SOPS 61152 HAS SOUS 48933 HAS SOUPS 42294 WITH SCORE 42362.211
AT ITER 4541 NEW BEST:: SOT 190754 SOS 68252 HAS SOPS 61193 HAS SOUS 48919 HAS SOUPS 42280 WITH SCORE 42348.252
AT ITER 4555 NEW BEST:: SOT 190775 SOS 68209 HAS SOPS 61161 HAS SOUS 48876 HAS SOUPS 42248 WITH SCORE 42316.209
AT ITER 4561 NEW BEST:: SOT 190772 SOS 68206 HAS SOPS 61158 HAS SOUS 48876 HAS SOUPS 42248 WITH SCORE 42316.206
AT ITER 4573 NEW BEST:: SOT 190748 SOS 67921 HAS SOPS 60873 HAS SOUS 48851 HAS SOUPS 42223 WITH SCORE 42290.921
AT ITER 4574 NEW BEST:: SOT 190748 SOS 67893 HAS SOPS 60845 HAS SOUS 48840 HAS SOUPS 42212 WITH SCORE 42279.893
AT ITER 4586 NEW BEST:: SOT 190726 SOS 67871 HAS SOPS 60823 HAS SOUS 48840 HAS SOUPS 42212 WITH SCORE 42279.871
AT ITER 4598 NEW BEST:: SOT 190707 SOS 67852 HAS SOPS 60804 HAS SOUS 48802 HAS SOUPS 42174 WITH SCORE 42241.852
AT ITER 4603 NEW BEST:: SOT 190706 SOS 67851 HAS SOPS 60803 HAS SOUS 48801 HAS SOUPS 42173 WITH SCORE 42240.851
AT ITER 4606 NEW BEST:: SOT 190687 SOS 67832 HAS SOPS 60784 HAS SOUS 48782 HAS SOUPS 42154 WITH SCORE 42221.832
AT ITER 4622 NEW BEST:: SOT 190646 SOS 67759 HAS SOPS 60725 HAS SOUS 48719 HAS SOUPS 42105 WITH SCORE 42172.759
AT ITER 4631 NEW BEST:: SOT 190646 SOS 67754 HAS SOPS 60720 HAS SOUS 48719 HAS SOUPS 42105 WITH SCORE 42172.754
AT ITER 4645 NEW BEST:: SOT 190650 SOS 67714 HAS SOPS 60684 HAS SOUS 48715 HAS SOUPS 42105 WITH SCORE 42172.714
AT ITER 4667 NEW BEST:: SOT 190457 SOS 67551 HAS SOPS 60521 HAS SOUS 48683 HAS SOUPS 42073 WITH SCORE 42140.551
AT ITER 4676 NEW BEST:: SOT 190456 SOS 67567 HAS SOPS 60453 HAS SOUS 48748 HAS SOUPS 42054 WITH SCORE 42121.567
AT ITER 4693 NEW BEST:: SOT 190407 SOS 67476 HAS SOPS 60362 HAS SOUS 48699 HAS SOUPS 42005 WITH SCORE 42072.476
AT ITER 4723 NEW BEST:: SOT 190407 SOS 67470 HAS SOPS 60358 HAS SOUS 48695 HAS SOUPS 42003 WITH SCORE 42070.47
AT ITER 4729 NEW BEST:: SOT 190405 SOS 67468 HAS SOPS 60354 HAS SOUS 48693 HAS SOUPS 41999 WITH SCORE 42066.468
AT ITER 4751 NEW BEST:: SOT 190275 SOS 67402 HAS SOPS 60270 HAS SOUS 48615 HAS SOUPS 41903 WITH SCORE 41970.402
AT ITER 4754 NEW BEST:: SOT 190184 SOS 67137 HAS SOPS 60005 HAS SOUS 48464 HAS SOUPS 41752 WITH SCORE 41819.137
AT ITER 4765 NEW BEST:: SOT 190135 SOS 67088 HAS SOPS 59956 HAS SOUS 48464 HAS SOUPS 41752 WITH SCORE 41819.088
AT ITER 4781 NEW BEST:: SOT 190131 SOS 67093 HAS SOPS 59961 HAS SOUS 48461 HAS SOUPS 41749 WITH SCORE 41816.093
AT ITER 4791 NEW BEST:: SOT 190131 SOS 67075 HAS SOPS 59943 HAS SOUS 48443 HAS SOUPS 41731 WITH SCORE 41798.075
AT ITER 4813 NEW BEST:: SOT 190272 SOS 67175 HAS SOPS 60043 HAS SOUS 48406 HAS SOUPS 41694 WITH SCORE 41761.175
AT ITER 4847 NEW BEST:: SOT 190330 SOS 67202 HAS SOPS 60070 HAS SOUS 48375 HAS SOUPS 41663 WITH SCORE 41730.202
AT ITER 4860 NEW BEST:: SOT 190429 SOS 67301 HAS SOPS 60169 HAS SOUS 48364 HAS SOUPS 41652 WITH SCORE 41719.301
AT ITER 4864 NEW BEST:: SOT 190354 SOS 66926 HAS SOPS 59794 HAS SOUS 48339 HAS SOUPS 41627 WITH SCORE 41693.926
AT ITER 4865 NEW BEST:: SOT 190355 SOS 66899 HAS SOPS 59767 HAS SOUS 48332 HAS SOUPS 41620 WITH SCORE 41686.899
AT ITER 4877 NEW BEST:: SOT 190347 SOS 66891 HAS SOPS 59740 HAS SOUS 48335 HAS SOUPS 41604 WITH SCORE 41670.891
AT ITER 4879 NEW BEST:: SOT 190350 SOS 66958 HAS SOPS 59807 HAS SOUS 48303 HAS SOUPS 41572 WITH SCORE 41638.958
AT ITER 4896 NEW BEST:: SOT 190309 SOS 66917 HAS SOPS 59766 HAS SOUS 48262 HAS SOUPS 41531 WITH SCORE 41597.917
AT ITER 4925 NEW BEST:: SOT 190309 SOS 66908 HAS SOPS 59757 HAS SOUS 48259 HAS SOUPS 41528 WITH SCORE 41594.908
AT ITER 4928 NEW BEST:: SOT 190315 SOS 66914 HAS SOPS 59738 HAS SOUS 48267 HAS SOUPS 41511 WITH SCORE 41577.914
AT ITER 4936 NEW BEST:: SOT 190373 SOS 66972 HAS SOPS 59796 HAS SOUS 48209 HAS SOUPS 41453 WITH SCORE 41519.972
AT ITER 4947 NEW BEST:: SOT 190373 SOS 66928 HAS SOPS 59752 HAS SOUS 48209 HAS SOUPS 41453 WITH SCORE 41519.928
AT ITER 4973 NEW BEST:: SOT 190409 SOS 66982 HAS SOPS 59806 HAS SOUS 48203 HAS SOUPS 41447 WITH SCORE 41513.982
AT ITER 5005 NEW BEST:: SOT 190358 SOS 66823 HAS SOPS 59559 HAS SOUS 48187 HAS SOUPS 41343 WITH SCORE 41409.823
AT ITER 5011 NEW BEST:: SOT 190360 SOS 66664 HAS SOPS 59400 HAS SOUS 48089 HAS SOUPS 41245 WITH SCORE 41311.664
AT ITER 5014 NEW BEST:: SOT 190356 SOS 66655 HAS SOPS 59391 HAS SOUS 48085 HAS SOUPS 41241 WITH SCORE 41307.655
AT ITER 5016 NEW BEST:: SOT 190371 SOS 66670 HAS SOPS 59406 HAS SOUS 48070 HAS SOUPS 41226 WITH SCORE 41292.67
AT ITER 5018 NEW BEST:: SOT 190356 SOS 66640 HAS SOPS 59376 HAS SOUS 48040 HAS SOUPS 41196 WITH SCORE 41262.64
AT ITER 5043 NEW BEST:: SOT 190323 SOS 66607 HAS SOPS 59368 HAS SOUS 48005 HAS SOUPS 41186 WITH SCORE 41252.607
AT ITER 5044 NEW BEST:: SOT 190293 SOS 66577 HAS SOPS 59338 HAS SOUS 48005 HAS SOUPS 41186 WITH SCORE 41252.577
AT ITER 5047 NEW BEST:: SOT 190062 SOS 66572 HAS SOPS 59038 HAS SOUS 48000 HAS SOUPS 40886 WITH SCORE 40952.572
AT ITER 5058 NEW BEST:: SOT 190278 SOS 66578 HAS SOPS 59044 HAS SOUS 47990 HAS SOUPS 40876 WITH SCORE 40942.578
AT ITER 5070 NEW BEST:: SOT 190271 SOS 66571 HAS SOPS 59037 HAS SOUS 47983 HAS SOUPS 40869 WITH SCORE 40935.571
AT ITER 5072 NEW BEST:: SOT 190271 SOS 66497 HAS SOPS 58963 HAS SOUS 47939 HAS SOUPS 40825 WITH SCORE 40891.497
AT ITER 5102 NEW BEST:: SOT 190254 SOS 66463 HAS SOPS 58929 HAS SOUS 47922 HAS SOUPS 40808 WITH SCORE 40874.463
AT ITER 5114 NEW BEST:: SOT 190252 SOS 66409 HAS SOPS 58875 HAS SOUS 47920 HAS SOUPS 40806 WITH SCORE 40872.409
AT ITER 5115 NEW BEST:: SOT 190412 SOS 67221 HAS SOPS 59687 HAS SOUS 47887 HAS SOUPS 40773 WITH SCORE 40840.221
AT ITER 5134 NEW BEST:: SOT 190538 SOS 67306 HAS SOPS 59772 HAS SOUS 47886 HAS SOUPS 40772 WITH SCORE 40839.306
AT ITER 5146 NEW BEST:: SOT 190538 SOS 67313 HAS SOPS 59779 HAS SOUS 47879 HAS SOUPS 40765 WITH SCORE 40832.313
AT ITER 5201 NEW BEST:: SOT 190556 SOS 66999 HAS SOPS 59364 HAS SOUS 47921 HAS SOUPS 40706 WITH SCORE 40772.999
AT ITER 5221 NEW BEST:: SOT 190554 SOS 66906 HAS SOPS 59317 HAS SOUS 47836 HAS SOUPS 40664 WITH SCORE 40730.906
AT ITER 5229 NEW BEST:: SOT 190554 SOS 66876 HAS SOPS 59297 HAS SOUS 47816 HAS SOUPS 40654 WITH SCORE 40720.876
AT ITER 5245 NEW BEST:: SOT 190554 SOS 66833 HAS SOPS 59297 HAS SOUS 47773 HAS SOUPS 40654 WITH SCORE 40720.833
AT ITER 5265 NEW BEST:: SOT 190552 SOS 66827 HAS SOPS 59291 HAS SOUS 47771 HAS SOUPS 40652 WITH SCORE 40718.827
AT ITER 5272 NEW BEST:: SOT 190491 SOS 66766 HAS SOPS 59230 HAS SOUS 47686 HAS SOUPS 40567 WITH SCORE 40633.766
AT ITER 5325 NEW BEST:: SOT 190486 SOS 66748 HAS SOPS 59212 HAS SOUS 47676 HAS SOUPS 40557 WITH SCORE 40623.748
AT ITER 5327 NEW BEST:: SOT 190438 SOS 66691 HAS SOPS 59155 HAS SOUS 47619 HAS SOUPS 40500 WITH SCORE 40566.691
AT ITER 5350 NEW BEST:: SOT 190334 SOS 66587 HAS SOPS 59105 HAS SOUS 47515 HAS SOUPS 40450 WITH SCORE 40516.587
AT ITER 5356 NEW BEST:: SOT 190244 SOS 66542 HAS SOPS 59060 HAS SOUS 47515 HAS SOUPS 40450 WITH SCORE 40516.542
AT ITER 5366 NEW BEST:: SOT 190241 SOS 66539 HAS SOPS 59054 HAS SOUS 47512 HAS SOUPS 40444 WITH SCORE 40510.539
AT ITER 5387 NEW BEST:: SOT 190235 SOS 66613 HAS SOPS 59082 HAS SOUS 47546 HAS SOUPS 40432 WITH SCORE 40498.613
AT ITER 5397 NEW BEST:: SOT 190225 SOS 66603 HAS SOPS 59072 HAS SOUS 47536 HAS SOUPS 40422 WITH SCORE 40488.603
AT ITER 5411 NEW BEST:: SOT 190225 SOS 66513 HAS SOPS 59072 HAS SOUS 47446 HAS SOUPS 40422 WITH SCORE 40488.513
AT ITER 5417 NEW BEST:: SOT 190111 SOS 66265 HAS SOPS 58824 HAS SOUS 47312 HAS SOUPS 40288 WITH SCORE 40354.265
AT ITER 5465 NEW BEST:: SOT 190111 SOS 66240 HAS SOPS 58799 HAS SOUS 47291 HAS SOUPS 40267 WITH SCORE 40333.24
AT ITER 5496 NEW BEST:: SOT 190510 SOS 66097 HAS SOPS 58656 HAS SOUS 47216 HAS SOUPS 40192 WITH SCORE 40258.097
AT ITER 5512 NEW BEST:: SOT 190510 SOS 65818 HAS SOPS 58377 HAS SOUS 47080 HAS SOUPS 40056 WITH SCORE 40121.818
AT ITER 5547 NEW BEST:: SOT 190626 SOS 65924 HAS SOPS 58483 HAS SOUS 47054 HAS SOUPS 40030 WITH SCORE 40095.924
AT ITER 5550 NEW BEST:: SOT 190601 SOS 65719 HAS SOPS 58278 HAS SOUS 46999 HAS SOUPS 39975 WITH SCORE 40040.719
AT ITER 5568 NEW BEST:: SOT 190601 SOS 65658 HAS SOPS 58278 HAS SOUS 46938 HAS SOUPS 39975 WITH SCORE 40040.658
AT ITER 5607 NEW BEST:: SOT 190599 SOS 65649 HAS SOPS 58273 HAS SOUS 46931 HAS SOUPS 39972 WITH SCORE 40037.649
AT ITER 5623 NEW BEST:: SOT 190565 SOS 65615 HAS SOPS 58260 HAS SOUS 46897 HAS SOUPS 39959 WITH SCORE 40024.615
AT ITER 5643 NEW BEST:: SOT 190556 SOS 65584 HAS SOPS 58231 HAS SOUS 46877 HAS SOUPS 39941 WITH SCORE 40006.584
AT ITER 5647 NEW BEST:: SOT 190540 SOS 65568 HAS SOPS 58215 HAS SOUS 46869 HAS SOUPS 39933 WITH SCORE 39998.568
AT ITER 5651 NEW BEST:: SOT 190566 SOS 65598 HAS SOPS 58245 HAS SOUS 46865 HAS SOUPS 39929 WITH SCORE 39994.598
AT ITER 5660 NEW BEST:: SOT 190531 SOS 65528 HAS SOPS 58210 HAS SOUS 46865 HAS SOUPS 39929 WITH SCORE 39994.528
AT ITER 5685 NEW BEST:: SOT 190531 SOS 65480 HAS SOPS 58162 HAS SOUS 46862 HAS SOUPS 39926 WITH SCORE 39991.48
AT ITER 5693 NEW BEST:: SOT 190531 SOS 65479 HAS SOPS 58126 HAS SOUS 46826 HAS SOUPS 39890 WITH SCORE 39955.479
AT ITER 5702 NEW BEST:: SOT 190630 SOS 65098 HAS SOPS 57745 HAS SOUS 46742 HAS SOUPS 39806 WITH SCORE 39871.098
AT ITER 5735 NEW BEST:: SOT 190628 SOS 65097 HAS SOPS 57744 HAS SOUS 46739 HAS SOUPS 39803 WITH SCORE 39868.097
AT ITER 5738 NEW BEST:: SOT 190674 SOS 65232 HAS SOPS 57879 HAS SOUS 46712 HAS SOUPS 39776 WITH SCORE 39841.232
AT ITER 5748 NEW BEST:: SOT 190674 SOS 65257 HAS SOPS 57838 HAS SOUS 46671 HAS SOUPS 39735 WITH SCORE 39800.257
AT ITER 5755 NEW BEST:: SOT 190663 SOS 65246 HAS SOPS 57816 HAS SOUS 46671 HAS SOUPS 39724 WITH SCORE 39789.246
AT ITER 5758 NEW BEST:: SOT 190663 SOS 65237 HAS SOPS 57763 HAS SOUS 46671 HAS SOUPS 39702 WITH SCORE 39767.237
AT ITER 5784 NEW BEST:: SOT 190663 SOS 65154 HAS SOPS 57680 HAS SOUS 46671 HAS SOUPS 39702 WITH SCORE 39767.154
AT ITER 5808 NEW BEST:: SOT 190663 SOS 65144 HAS SOPS 57670 HAS SOUS 46666 HAS SOUPS 39697 WITH SCORE 39762.144
AT ITER 5810 NEW BEST:: SOT 190663 SOS 65116 HAS SOPS 57642 HAS SOUS 46666 HAS SOUPS 39697 WITH SCORE 39762.116
AT ITER 5832 NEW BEST:: SOT 190627 SOS 65080 HAS SOPS 57606 HAS SOUS 46666 HAS SOUPS 39697 WITH SCORE 39762.08
AT ITER 5851 NEW BEST:: SOT 190539 SOS 64878 HAS SOPS 57404 HAS SOUS 46552 HAS SOUPS 39583 WITH SCORE 39647.878
AT ITER 5853 NEW BEST:: SOT 190537 SOS 64872 HAS SOPS 57398 HAS SOUS 46548 HAS SOUPS 39579 WITH SCORE 39643.872
AT ITER 5858 NEW BEST:: SOT 190503 SOS 64838 HAS SOPS 57364 HAS SOUS 46498 HAS SOUPS 39529 WITH SCORE 39593.838
AT ITER 5888 NEW BEST:: SOT 190503 SOS 64763 HAS SOPS 57289 HAS SOUS 46473 HAS SOUPS 39504 WITH SCORE 39568.763
AT ITER 5889 NEW BEST:: SOT 190526 SOS 64808 HAS SOPS 57334 HAS SOUS 46464 HAS SOUPS 39495 WITH SCORE 39559.808
AT ITER 5908 NEW BEST:: SOT 190638 SOS 64989 HAS SOPS 57465 HAS SOUS 46483 HAS SOUPS 39464 WITH SCORE 39528.989
AT ITER 5911 NEW BEST:: SOT 190637 SOS 64936 HAS SOPS 57456 HAS SOUS 46438 HAS SOUPS 39463 WITH SCORE 39527.936
AT ITER 5934 NEW BEST:: SOT 190622 SOS 64841 HAS SOPS 57361 HAS SOUS 46433 HAS SOUPS 39458 WITH SCORE 39522.841
AT ITER 5947 NEW BEST:: SOT 190403 SOS 64543 HAS SOPS 57063 HAS SOUS 46239 HAS SOUPS 39264 WITH SCORE 39328.543
AT ITER 5959 NEW BEST:: SOT 190348 SOS 64543 HAS SOPS 57063 HAS SOUS 46184 HAS SOUPS 39209 WITH SCORE 39273.543
AT ITER 5967 NEW BEST:: SOT 190339 SOS 64549 HAS SOPS 57044 HAS SOUS 46190 HAS SOUPS 39190 WITH SCORE 39254.549
AT ITER 6006 NEW BEST:: SOT 190319 SOS 64519 HAS SOPS 57014 HAS SOUS 46175 HAS SOUPS 39175 WITH SCORE 39239.519
AT ITER 6014 NEW BEST:: SOT 190353 SOS 64570 HAS SOPS 57065 HAS SOUS 46151 HAS SOUPS 39151 WITH SCORE 39215.57
AT ITER 6021 NEW BEST:: SOT 190350 SOS 64567 HAS SOPS 57070 HAS SOUS 46134 HAS SOUPS 39134 WITH SCORE 39198.567
AT ITER 6032 NEW BEST:: SOT 190416 SOS 64626 HAS SOPS 57129 HAS SOUS 46127 HAS SOUPS 39127 WITH SCORE 39191.626
AT ITER 6041 NEW BEST:: SOT 190416 SOS 64618 HAS SOPS 57121 HAS SOUS 46119 HAS SOUPS 39119 WITH SCORE 39183.618
AT ITER 6059 NEW BEST:: SOT 190354 SOS 64550 HAS SOPS 57053 HAS SOUS 46082 HAS SOUPS 39082 WITH SCORE 39146.55
AT ITER 6098 NEW BEST:: SOT 190350 SOS 64540 HAS SOPS 57043 HAS SOUS 46076 HAS SOUPS 39076 WITH SCORE 39140.54
AT ITER 6134 NEW BEST:: SOT 190199 SOS 64385 HAS SOPS 56917 HAS SOUS 46028 HAS SOUPS 39028 WITH SCORE 39092.385
AT ITER 6157 NEW BEST:: SOT 190161 SOS 64347 HAS SOPS 56888 HAS SOUS 45990 HAS SOUPS 38999 WITH SCORE 39063.347
AT ITER 6165 NEW BEST:: SOT 190161 SOS 64347 HAS SOPS 56888 HAS SOUS 45937 HAS SOUPS 38946 WITH SCORE 39010.347
AT ITER 6210 NEW BEST:: SOT 190161 SOS 64332 HAS SOPS 56873 HAS SOUS 45922 HAS SOUPS 38931 WITH SCORE 38995.332
AT ITER 6221 NEW BEST:: SOT 190121 SOS 64206 HAS SOPS 56780 HAS SOUS 45844 HAS SOUPS 38886 WITH SCORE 38950.206
AT ITER 6223 NEW BEST:: SOT 190127 SOS 64194 HAS SOPS 56780 HAS SOUS 45826 HAS SOUPS 38880 WITH SCORE 38944.194
AT ITER 6309 NEW BEST:: SOT 190109 SOS 64176 HAS SOPS 56762 HAS SOUS 45826 HAS SOUPS 38880 WITH SCORE 38944.176
AT ITER 6319 NEW BEST:: SOT 190010 SOS 64118 HAS SOPS 56704 HAS SOUS 45780 HAS SOUPS 38834 WITH SCORE 38898.118
AT ITER 6333 NEW BEST:: SOT 190002 SOS 64058 HAS SOPS 56644 HAS SOUS 45772 HAS SOUPS 38826 WITH SCORE 38890.058
AT ITER 6338 NEW BEST:: SOT 189967 SOS 64108 HAS SOPS 56694 HAS SOUS 45758 HAS SOUPS 38812 WITH SCORE 38876.108
AT ITER 6342 NEW BEST:: SOT 189923 SOS 63981 HAS SOPS 56606 HAS SOUS 45675 HAS SOUPS 38768 WITH SCORE 38831.981
AT ITER 6392 NEW BEST:: SOT 189923 SOS 63937 HAS SOPS 56562 HAS SOUS 45642 HAS SOUPS 38735 WITH SCORE 38798.937
AT ITER 6419 NEW BEST:: SOT 189922 SOS 63949 HAS SOPS 56561 HAS SOUS 45654 HAS SOUPS 38734 WITH SCORE 38797.949
AT ITER 6433 NEW BEST:: SOT 189966 SOS 63993 HAS SOPS 56605 HAS SOUS 45652 HAS SOUPS 38732 WITH SCORE 38795.993
AT ITER 6469 NEW BEST:: SOT 189801 SOS 63648 HAS SOPS 56260 HAS SOUS 45622 HAS SOUPS 38702 WITH SCORE 38765.648
AT ITER 6506 NEW BEST:: SOT 189748 SOS 63595 HAS SOPS 56207 HAS SOUS 45603 HAS SOUPS 38683 WITH SCORE 38746.595
AT ITER 6552 NEW BEST:: SOT 189688 SOS 63559 HAS SOPS 56171 HAS SOUS 45603 HAS SOUPS 38683 WITH SCORE 38746.559
AT ITER 6565 NEW BEST:: SOT 189656 SOS 63463 HAS SOPS 56107 HAS SOUS 45539 HAS SOUPS 38651 WITH SCORE 38714.463
AT ITER 6578 NEW BEST:: SOT 189686 SOS 63436 HAS SOPS 56080 HAS SOUS 45519 HAS SOUPS 38631 WITH SCORE 38694.436
AT ITER 6608 NEW BEST:: SOT 189686 SOS 63376 HAS SOPS 56020 HAS SOUS 45499 HAS SOUPS 38611 WITH SCORE 38674.376
AT ITER 6663 NEW BEST:: SOT 189676 SOS 63376 HAS SOPS 56020 HAS SOUS 45489 HAS SOUPS 38601 WITH SCORE 38664.376
AT ITER 6669 NEW BEST:: SOT 189676 SOS 63375 HAS SOPS 56019 HAS SOUS 45488 HAS SOUPS 38600 WITH SCORE 38663.375
AT ITER 6709 NEW BEST:: SOT 189704 SOS 63321 HAS SOPS 55965 HAS SOUS 45462 HAS SOUPS 38574 WITH SCORE 38637.321
AT ITER 6713 NEW BEST:: SOT 189702 SOS 63319 HAS SOPS 55961 HAS SOUS 45432 HAS SOUPS 38542 WITH SCORE 38605.319
AT ITER 6721 NEW BEST:: SOT 189712 SOS 63313 HAS SOPS 55955 HAS SOUS 45416 HAS SOUPS 38526 WITH SCORE 38589.313
AT ITER 6732 NEW BEST:: SOT 189725 SOS 63261 HAS SOPS 55903 HAS SOUS 45416 HAS SOUPS 38526 WITH SCORE 38589.261
AT ITER 6752 NEW BEST:: SOT 189717 SOS 63245 HAS SOPS 55895 HAS SOUS 45400 HAS SOUPS 38518 WITH SCORE 38581.245
AT ITER 6757 NEW BEST:: SOT 189663 SOS 63073 HAS SOPS 55728 HAS SOUS 45287 HAS SOUPS 38410 WITH SCORE 38473.073
AT ITER 6788 NEW BEST:: SOT 189603 SOS 63004 HAS SOPS 55628 HAS SOUS 45258 HAS SOUPS 38350 WITH SCORE 38413.004
AT ITER 6802 NEW BEST:: SOT 189603 SOS 63004 HAS SOPS 55628 HAS SOUS 45255 HAS SOUPS 38347 WITH SCORE 38410.004
AT ITER 6811 NEW BEST:: SOT 189599 SOS 62992 HAS SOPS 55616 HAS SOUS 45247 HAS SOUPS 38339 WITH SCORE 38401.992
AT ITER 6834 NEW BEST:: SOT 189583 SOS 62976 HAS SOPS 55600 HAS SOUS 45231 HAS SOUPS 38323 WITH SCORE 38385.976
AT ITER 6842 NEW BEST:: SOT 189583 SOS 62966 HAS SOPS 55590 HAS SOUS 45221 HAS SOUPS 38313 WITH SCORE 38375.966
AT ITER 6858 NEW BEST:: SOT 189305 SOS 62688 HAS SOPS 55312 HAS SOUS 45195 HAS SOUPS 38287 WITH SCORE 38349.688
AT ITER 6867 NEW BEST:: SOT 189305 SOS 62688 HAS SOPS 55312 HAS SOUS 45191 HAS SOUPS 38283 WITH SCORE 38345.688
AT ITER 6883 NEW BEST:: SOT 189289 SOS 62650 HAS SOPS 55280 HAS SOUS 45172 HAS SOUPS 38267 WITH SCORE 38329.65
AT ITER 6888 NEW BEST:: SOT 189278 SOS 62628 HAS SOPS 55258 HAS SOUS 45150 HAS SOUPS 38245 WITH SCORE 38307.628
AT ITER 6903 NEW BEST:: SOT 189275 SOS 62619 HAS SOPS 55255 HAS SOUS 45141 HAS SOUPS 38242 WITH SCORE 38304.619
AT ITER 6940 NEW BEST:: SOT 189216 SOS 62563 HAS SOPS 55199 HAS SOUS 45082 HAS SOUPS 38183 WITH SCORE 38245.563
AT ITER 6947 NEW BEST:: SOT 189157 SOS 62504 HAS SOPS 55140 HAS SOUS 45023 HAS SOUPS 38124 WITH SCORE 38186.504
AT ITER 6977 NEW BEST:: SOT 189124 SOS 62471 HAS SOPS 55140 HAS SOUS 45023 HAS SOUPS 38124 WITH SCORE 38186.471
AT ITER 7025 NEW BEST:: SOT 189124 SOS 62466 HAS SOPS 55135 HAS SOUS 45018 HAS SOUPS 38119 WITH SCORE 38181.466
AT ITER 7035 NEW BEST:: SOT 189079 SOS 62421 HAS SOPS 55090 HAS SOUS 44972 HAS SOUPS 38073 WITH SCORE 38135.421
AT ITER 7126 NEW BEST:: SOT 189077 SOS 62361 HAS SOPS 55076 HAS SOUS 44914 HAS SOUPS 38061 WITH SCORE 38123.361
AT ITER 7132 NEW BEST:: SOT 189073 SOS 62353 HAS SOPS 55068 HAS SOUS 44910 HAS SOUPS 38057 WITH SCORE 38119.353
AT ITER 7171 NEW BEST:: SOT 189062 SOS 62342 HAS SOPS 55057 HAS SOUS 44899 HAS SOUPS 38046 WITH SCORE 38108.342
AT ITER 7175 NEW BEST:: SOT 189012 SOS 62270 HAS SOPS 54941 HAS SOUS 44893 HAS SOUPS 38018 WITH SCORE 38080.27
AT ITER 7214 NEW BEST:: SOT 189008 SOS 62228 HAS SOPS 54868 HAS SOUS 44885 HAS SOUPS 37991 WITH SCORE 38053.228
AT ITER 7237 NEW BEST:: SOT 188888 SOS 62126 HAS SOPS 54766 HAS SOUS 44811 HAS SOUPS 37917 WITH SCORE 37979.126
AT ITER 7238 NEW BEST:: SOT 188903 SOS 62126 HAS SOPS 54686 HAS SOUS 44881 HAS SOUPS 37907 WITH SCORE 37969.126
AT ITER 7272 NEW BEST:: SOT 188877 SOS 62100 HAS SOPS 54660 HAS SOUS 44855 HAS SOUPS 37881 WITH SCORE 37943.1
AT ITER 7273 NEW BEST:: SOT 188775 SOS 62074 HAS SOPS 54634 HAS SOUS 44753 HAS SOUPS 37779 WITH SCORE 37841.074
AT ITER 7277 NEW BEST:: SOT 188715 SOS 62041 HAS SOPS 54601 HAS SOUS 44720 HAS SOUPS 37746 WITH SCORE 37808.041
AT ITER 7283 NEW BEST:: SOT 188701 SOS 62093 HAS SOPS 54622 HAS SOUS 44732 HAS SOUPS 37727 WITH SCORE 37789.093
AT ITER 7286 NEW BEST:: SOT 188689 SOS 62052 HAS SOPS 54581 HAS SOUS 44703 HAS SOUPS 37698 WITH SCORE 37760.052
AT ITER 7294 NEW BEST:: SOT 188765 SOS 62202 HAS SOPS 54641 HAS SOUS 44674 HAS SOUPS 37624 WITH SCORE 37686.202
AT ITER 7309 NEW BEST:: SOT 188765 SOS 62152 HAS SOPS 54586 HAS SOUS 44674 HAS SOUPS 37619 WITH SCORE 37681.152
AT ITER 7315 NEW BEST:: SOT 188746 SOS 62141 HAS SOPS 54575 HAS SOUS 44663 HAS SOUPS 37608 WITH SCORE 37670.141
AT ITER 7341 NEW BEST:: SOT 188744 SOS 62136 HAS SOPS 54570 HAS SOUS 44661 HAS SOUPS 37606 WITH SCORE 37668.136
AT ITER 7360 NEW BEST:: SOT 188689 SOS 61978 HAS SOPS 54499 HAS SOUS 44519 HAS SOUPS 37551 WITH SCORE 37612.978
AT ITER 7373 NEW BEST:: SOT 188757 SOS 61832 HAS SOPS 54353 HAS SOUS 44491 HAS SOUPS 37523 WITH SCORE 37584.832
AT ITER 7378 NEW BEST:: SOT 188649 SOS 61844 HAS SOPS 54365 HAS SOUS 44455 HAS SOUPS 37487 WITH SCORE 37548.844
AT ITER 7413 NEW BEST:: SOT 188648 SOS 61882 HAS SOPS 54363 HAS SOUS 44493 HAS SOUPS 37485 WITH SCORE 37546.882
AT ITER 7468 NEW BEST:: SOT 187903 SOS 61102 HAS SOPS 53583 HAS SOUS 44387 HAS SOUPS 37379 WITH SCORE 37440.102
AT ITER 7504 NEW BEST:: SOT 187868 SOS 61041 HAS SOPS 53538 HAS SOUS 44360 HAS SOUPS 37368 WITH SCORE 37429.041
AT ITER 7512 NEW BEST:: SOT 187836 SOS 61642 HAS SOPS 54049 HAS SOUS 44392 HAS SOUPS 37363 WITH SCORE 37424.642
AT ITER 7537 NEW BEST:: SOT 187805 SOS 61682 HAS SOPS 54137 HAS SOUS 44282 HAS SOUPS 37301 WITH SCORE 37362.682
AT ITER 7561 NEW BEST:: SOT 187805 SOS 61680 HAS SOPS 54137 HAS SOUS 44280 HAS SOUPS 37301 WITH SCORE 37362.68
AT ITER 7590 NEW BEST:: SOT 187801 SOS 61683 HAS SOPS 54100 HAS SOUS 44283 HAS SOUPS 37264 WITH SCORE 37325.683
AT ITER 7702 NEW BEST:: SOT 187828 SOS 61607 HAS SOPS 54024 HAS SOUS 44227 HAS SOUPS 37208 WITH SCORE 37269.607
AT ITER 7705 NEW BEST:: SOT 187819 SOS 61601 HAS SOPS 54018 HAS SOUS 44221 HAS SOUPS 37202 WITH SCORE 37263.601
AT ITER 7706 NEW BEST:: SOT 187828 SOS 61572 HAS SOPS 53989 HAS SOUS 44220 HAS SOUPS 37201 WITH SCORE 37262.572
AT ITER 7725 NEW BEST:: SOT 187812 SOS 61556 HAS SOPS 53973 HAS SOUS 44204 HAS SOUPS 37185 WITH SCORE 37246.556
AT ITER 7741 NEW BEST:: SOT 187796 SOS 61528 HAS SOPS 53953 HAS SOUS 44188 HAS SOUPS 37177 WITH SCORE 37238.528
AT ITER 7761 NEW BEST:: SOT 187810 SOS 61484 HAS SOPS 53909 HAS SOUS 44144 HAS SOUPS 37133 WITH SCORE 37194.484
AT ITER 7784 NEW BEST:: SOT 187865 SOS 61541 HAS SOPS 53966 HAS SOUS 44141 HAS SOUPS 37130 WITH SCORE 37191.541
AT ITER 7786 NEW BEST:: SOT 187850 SOS 61493 HAS SOPS 53918 HAS SOUS 44111 HAS SOUPS 37100 WITH SCORE 37161.493
AT ITER 7812 NEW BEST:: SOT 187850 SOS 61467 HAS SOPS 53892 HAS SOUS 44111 HAS SOUPS 37100 WITH SCORE 37161.467
AT ITER 7821 NEW BEST:: SOT 187788 SOS 61454 HAS SOPS 53879 HAS SOUS 44098 HAS SOUPS 37087 WITH SCORE 37148.454
AT ITER 7888 NEW BEST:: SOT 187874 SOS 61530 HAS SOPS 53955 HAS SOUS 44088 HAS SOUPS 37077 WITH SCORE 37138.53
AT ITER 7895 NEW BEST:: SOT 187736 SOS 61392 HAS SOPS 53859 HAS SOUS 44040 HAS SOUPS 37071 WITH SCORE 37132.392
AT ITER 7924 NEW BEST:: SOT 187902 SOS 61659 HAS SOPS 54085 HAS SOUS 44067 HAS SOUPS 37057 WITH SCORE 37118.659
AT ITER 7928 NEW BEST:: SOT 187897 SOS 61543 HAS SOPS 54075 HAS SOUS 43951 HAS SOUPS 37047 WITH SCORE 37108.543
AT ITER 7957 NEW BEST:: SOT 187896 SOS 61526 HAS SOPS 54058 HAS SOUS 43948 HAS SOUPS 37044 WITH SCORE 37105.526
AT ITER 8019 NEW BEST:: SOT 187896 SOS 61471 HAS SOPS 54003 HAS SOUS 43926 HAS SOUPS 37022 WITH SCORE 37083.471
AT ITER 8023 NEW BEST:: SOT 187890 SOS 61453 HAS SOPS 53985 HAS SOUS 43920 HAS SOUPS 37016 WITH SCORE 37077.453
AT ITER 8078 NEW BEST:: SOT 187883 SOS 61425 HAS SOPS 53957 HAS SOUS 43899 HAS SOUPS 36995 WITH SCORE 37056.425
AT ITER 8082 NEW BEST:: SOT 187877 SOS 61387 HAS SOPS 53919 HAS SOUS 43876 HAS SOUPS 36972 WITH SCORE 37033.387
AT ITER 8095 NEW BEST:: SOT 187870 SOS 61350 HAS SOPS 53888 HAS SOUS 43853 HAS SOUPS 36955 WITH SCORE 37016.35
AT ITER 8104 NEW BEST:: SOT 188122 SOS 61602 HAS SOPS 54140 HAS SOUS 43827 HAS SOUPS 36929 WITH SCORE 36990.602
AT ITER 8140 NEW BEST:: SOT 188122 SOS 61600 HAS SOPS 54138 HAS SOUS 43825 HAS SOUPS 36927 WITH SCORE 36988.6
AT ITER 8169 NEW BEST:: SOT 188117 SOS 61590 HAS SOPS 54128 HAS SOUS 43815 HAS SOUPS 36917 WITH SCORE 36978.59
AT ITER 8189 NEW BEST:: SOT 188107 SOS 61540 HAS SOPS 54078 HAS SOUS 43795 HAS SOUPS 36897 WITH SCORE 36958.54
AT ITER 8203 NEW BEST:: SOT 188106 SOS 61545 HAS SOPS 54077 HAS SOUS 43800 HAS SOUPS 36896 WITH SCORE 36957.545
AT ITER 8206 NEW BEST:: SOT 188088 SOS 61457 HAS SOPS 53982 HAS SOUS 43789 HAS SOUPS 36878 WITH SCORE 36939.457
AT ITER 8211 NEW BEST:: SOT 188063 SOS 61432 HAS SOPS 53957 HAS SOUS 43773 HAS SOUPS 36862 WITH SCORE 36923.432
AT ITER 8221 NEW BEST:: SOT 188149 SOS 61379 HAS SOPS 53904 HAS SOUS 43726 HAS SOUPS 36815 WITH SCORE 36876.379
AT ITER 8223 NEW BEST:: SOT 188149 SOS 61159 HAS SOPS 53723 HAS SOUS 43703 HAS SOUPS 36805 WITH SCORE 36866.159
AT ITER 8275 NEW BEST:: SOT 188149 SOS 61088 HAS SOPS 53652 HAS SOUS 43703 HAS SOUPS 36805 WITH SCORE 36866.088
AT ITER 8290 NEW BEST:: SOT 188143 SOS 61079 HAS SOPS 53643 HAS SOUS 43700 HAS SOUPS 36802 WITH SCORE 36863.079
AT ITER 8329 NEW BEST:: SOT 188143 SOS 61051 HAS SOPS 53615 HAS SOUS 43686 HAS SOUPS 36788 WITH SCORE 36849.051
AT ITER 8370 NEW BEST:: SOT 188142 SOS 61050 HAS SOPS 53622 HAS SOUS 43676 HAS SOUPS 36786 WITH SCORE 36847.05
AT ITER 8377 NEW BEST:: SOT 188080 SOS 60988 HAS SOPS 53560 HAS SOUS 43676 HAS SOUPS 36786 WITH SCORE 36846.988
AT ITER 8420 NEW BEST:: SOT 188067 SOS 60896 HAS SOPS 53513 HAS SOUS 43650 HAS SOUPS 36760 WITH SCORE 36820.896
AT ITER 8435 NEW BEST:: SOT 188049 SOS 60878 HAS SOPS 53489 HAS SOUS 43644 HAS SOUPS 36748 WITH SCORE 36808.878
AT ITER 8453 NEW BEST:: SOT 188052 SOS 60856 HAS SOPS 53467 HAS SOUS 43640 HAS SOUPS 36744 WITH SCORE 36804.856
AT ITER 8467 NEW BEST:: SOT 188041 SOS 60775 HAS SOPS 53386 HAS SOUS 43578 HAS SOUPS 36682 WITH SCORE 36742.775
AT ITER 8560 NEW BEST:: SOT 188007 SOS 60788 HAS SOPS 53372 HAS SOUS 43571 HAS SOUPS 36648 WITH SCORE 36708.788
AT ITER 8573 NEW BEST:: SOT 188003 SOS 60776 HAS SOPS 53360 HAS SOUS 43563 HAS SOUPS 36640 WITH SCORE 36700.776
AT ITER 8589 NEW BEST:: SOT 188029 SOS 60790 HAS SOPS 53374 HAS SOUS 43553 HAS SOUPS 36630 WITH SCORE 36690.79
AT ITER 8606 NEW BEST:: SOT 188007 SOS 60780 HAS SOPS 53364 HAS SOUS 43549 HAS SOUPS 36626 WITH SCORE 36686.78
AT ITER 8631 NEW BEST:: SOT 188007 SOS 60760 HAS SOPS 53344 HAS SOUS 43529 HAS SOUPS 36606 WITH SCORE 36666.76
AT ITER 8666 NEW BEST:: SOT 188002 SOS 60674 HAS SOPS 53294 HAS SOUS 43479 HAS SOUPS 36592 WITH SCORE 36652.674
AT ITER 8675 NEW BEST:: SOT 187962 SOS 60649 HAS SOPS 53269 HAS SOUS 43434 HAS SOUPS 36547 WITH SCORE 36607.649
AT ITER 8685 NEW BEST:: SOT 187952 SOS 60554 HAS SOPS 53174 HAS SOUS 43427 HAS SOUPS 36540 WITH SCORE 36600.554
AT ITER 8707 NEW BEST:: SOT 187952 SOS 60533 HAS SOPS 53153 HAS SOUS 43406 HAS SOUPS 36519 WITH SCORE 36579.533
AT ITER 8712 NEW BEST:: SOT 187826 SOS 60531 HAS SOPS 53151 HAS SOUS 43404 HAS SOUPS 36517 WITH SCORE 36577.531
AT ITER 8728 NEW BEST:: SOT 187745 SOS 60450 HAS SOPS 53022 HAS SOUS 43371 HAS SOUPS 36436 WITH SCORE 36496.45
AT ITER 8737 NEW BEST:: SOT 187726 SOS 60440 HAS SOPS 53012 HAS SOUS 43361 HAS SOUPS 36426 WITH SCORE 36486.44
AT ITER 8741 NEW BEST:: SOT 187675 SOS 60393 HAS SOPS 52965 HAS SOUS 43290 HAS SOUPS 36355 WITH SCORE 36415.393
AT ITER 8749 NEW BEST:: SOT 187659 SOS 60353 HAS SOPS 52925 HAS SOUS 43266 HAS SOUPS 36331 WITH SCORE 36391.353
AT ITER 8782 NEW BEST:: SOT 187659 SOS 60335 HAS SOPS 52907 HAS SOUS 43248 HAS SOUPS 36313 WITH SCORE 36373.335
AT ITER 8786 NEW BEST:: SOT 187676 SOS 60346 HAS SOPS 52918 HAS SOUS 43242 HAS SOUPS 36307 WITH SCORE 36367.346
AT ITER 8788 NEW BEST:: SOT 187640 SOS 60400 HAS SOPS 52904 HAS SOUS 43266 HAS SOUPS 36263 WITH SCORE 36323.4
AT ITER 8800 NEW BEST:: SOT 187638 SOS 60396 HAS SOPS 52900 HAS SOUS 43264 HAS SOUPS 36261 WITH SCORE 36321.396
AT ITER 8826 NEW BEST:: SOT 187640 SOS 60401 HAS SOPS 52899 HAS SOUS 43267 HAS SOUPS 36258 WITH SCORE 36318.401
AT ITER 8838 NEW BEST:: SOT 187615 SOS 60361 HAS SOPS 52859 HAS SOUS 43242 HAS SOUPS 36233 WITH SCORE 36293.361
AT ITER 8839 NEW BEST:: SOT 187601 SOS 60299 HAS SOPS 52815 HAS SOUS 43194 HAS SOUPS 36203 WITH SCORE 36263.299
AT ITER 8850 NEW BEST:: SOT 187590 SOS 60266 HAS SOPS 52793 HAS SOUS 43172 HAS SOUPS 36192 WITH SCORE 36252.266
AT ITER 8871 NEW BEST:: SOT 187590 SOS 60264 HAS SOPS 52791 HAS SOUS 43171 HAS SOUPS 36191 WITH SCORE 36251.264
AT ITER 8876 NEW BEST:: SOT 187598 SOS 60236 HAS SOPS 52763 HAS SOUS 43115 HAS SOUPS 36135 WITH SCORE 36195.236
AT ITER 8879 NEW BEST:: SOT 187582 SOS 60204 HAS SOPS 52747 HAS SOUS 43099 HAS SOUPS 36135 WITH SCORE 36195.204
AT ITER 8902 NEW BEST:: SOT 187677 SOS 60277 HAS SOPS 52820 HAS SOUS 43077 HAS SOUPS 36113 WITH SCORE 36173.277
AT ITER 8925 NEW BEST:: SOT 187673 SOS 60261 HAS SOPS 52816 HAS SOUS 43061 HAS SOUPS 36109 WITH SCORE 36169.261
AT ITER 8938 NEW BEST:: SOT 187676 SOS 60258 HAS SOPS 52813 HAS SOUS 43061 HAS SOUPS 36109 WITH SCORE 36169.258
AT ITER 8974 NEW BEST:: SOT 187884 SOS 60419 HAS SOPS 52977 HAS SOUS 43053 HAS SOUPS 36101 WITH SCORE 36161.419
AT ITER 9018 NEW BEST:: SOT 187940 SOS 60447 HAS SOPS 53005 HAS SOUS 42997 HAS SOUPS 36045 WITH SCORE 36105.447
AT ITER 9046 NEW BEST:: SOT 187868 SOS 60375 HAS SOPS 52933 HAS SOUS 42961 HAS SOUPS 36009 WITH SCORE 36069.375
AT ITER 9062 NEW BEST:: SOT 187860 SOS 60359 HAS SOPS 52917 HAS SOUS 42953 HAS SOUPS 36001 WITH SCORE 36061.359
AT ITER 9084 NEW BEST:: SOT 187842 SOS 60371 HAS SOPS 52910 HAS SOUS 42964 HAS SOUPS 35993 WITH SCORE 36053.371
AT ITER 9124 NEW BEST:: SOT 187808 SOS 60337 HAS SOPS 52842 HAS SOUS 42930 HAS SOUPS 35925 WITH SCORE 35985.337
AT ITER 9137 NEW BEST:: SOT 187887 SOS 60097 HAS SOPS 52602 HAS SOUS 42927 HAS SOUPS 35922 WITH SCORE 35982.097
AT ITER 9146 NEW BEST:: SOT 187710 SOS 59783 HAS SOPS 52403 HAS SOUS 42860 HAS SOUPS 35855 WITH SCORE 35914.783
AT ITER 9209 NEW BEST:: SOT 187675 SOS 59748 HAS SOPS 52368 HAS SOUS 42825 HAS SOUPS 35820 WITH SCORE 35879.748
AT ITER 9222 NEW BEST:: SOT 187675 SOS 59748 HAS SOPS 52368 HAS SOUS 42816 HAS SOUPS 35811 WITH SCORE 35870.748
AT ITER 9241 NEW BEST:: SOT 187705 SOS 59700 HAS SOPS 52320 HAS SOUS 42816 HAS SOUPS 35811 WITH SCORE 35870.7
AT ITER 9246 NEW BEST:: SOT 187703 SOS 59696 HAS SOPS 52316 HAS SOUS 42814 HAS SOUPS 35809 WITH SCORE 35868.696
AT ITER 9251 NEW BEST:: SOT 187700 SOS 59687 HAS SOPS 52307 HAS SOUS 42811 HAS SOUPS 35806 WITH SCORE 35865.687
AT ITER 9255 NEW BEST:: SOT 187700 SOS 59684 HAS SOPS 52304 HAS SOUS 42808 HAS SOUPS 35803 WITH SCORE 35862.684
AT ITER 9256 NEW BEST:: SOT 187689 SOS 59707 HAS SOPS 52327 HAS SOUS 42790 HAS SOUPS 35785 WITH SCORE 35844.707
AT ITER 9289 NEW BEST:: SOT 187689 SOS 59678 HAS SOPS 52298 HAS SOUS 42761 HAS SOUPS 35756 WITH SCORE 35815.678
AT ITER 9314 NEW BEST:: SOT 187647 SOS 59645 HAS SOPS 52238 HAS SOUS 42774 HAS SOUPS 35742 WITH SCORE 35801.645
AT ITER 9317 NEW BEST:: SOT 187629 SOS 59627 HAS SOPS 52220 HAS SOUS 42772 HAS SOUPS 35740 WITH SCORE 35799.627
AT ITER 9357 NEW BEST:: SOT 187613 SOS 59760 HAS SOPS 52327 HAS SOUS 42784 HAS SOUPS 35726 WITH SCORE 35785.76
AT ITER 9364 NEW BEST:: SOT 187605 SOS 59776 HAS SOPS 52311 HAS SOUS 42800 HAS SOUPS 35710 WITH SCORE 35769.776
AT ITER 9367 NEW BEST:: SOT 187587 SOS 59758 HAS SOPS 52293 HAS SOUS 42782 HAS SOUPS 35692 WITH SCORE 35751.758
AT ITER 9385 NEW BEST:: SOT 187563 SOS 59734 HAS SOPS 52269 HAS SOUS 42782 HAS SOUPS 35692 WITH SCORE 35751.734
AT ITER 9398 NEW BEST:: SOT 187545 SOS 59638 HAS SOPS 52173 HAS SOUS 42766 HAS SOUPS 35676 WITH SCORE 35735.638
AT ITER 9504 NEW BEST:: SOT 187517 SOS 59612 HAS SOPS 52147 HAS SOUS 42747 HAS SOUPS 35657 WITH SCORE 35716.612
AT ITER 9512 NEW BEST:: SOT 187473 SOS 59521 HAS SOPS 52059 HAS SOUS 42700 HAS SOUPS 35613 WITH SCORE 35672.521
AT ITER 9516 NEW BEST:: SOT 187468 SOS 59500 HAS SOPS 52049 HAS SOUS 42687 HAS SOUPS 35611 WITH SCORE 35670.5
AT ITER 9539 NEW BEST:: SOT 187453 SOS 59507 HAS SOPS 52056 HAS SOUS 42679 HAS SOUPS 35603 WITH SCORE 35662.507
AT ITER 9545 NEW BEST:: SOT 187482 SOS 59516 HAS SOPS 52065 HAS SOUS 42668 HAS SOUPS 35592 WITH SCORE 35651.516
AT ITER 9551 NEW BEST:: SOT 187474 SOS 59508 HAS SOPS 52057 HAS SOUS 42660 HAS SOUPS 35584 WITH SCORE 35643.508
AT ITER 9556 NEW BEST:: SOT 187470 SOS 59520 HAS SOPS 52036 HAS SOUS 42672 HAS SOUPS 35563 WITH SCORE 35622.52
AT ITER 9577 NEW BEST:: SOT 187464 SOS 59511 HAS SOPS 52027 HAS SOUS 42666 HAS SOUPS 35557 WITH SCORE 35616.511
AT ITER 9628 NEW BEST:: SOT 187456 SOS 59499 HAS SOPS 52015 HAS SOUS 42658 HAS SOUPS 35549 WITH SCORE 35608.499
AT ITER 9652 NEW BEST:: SOT 187481 SOS 59519 HAS SOPS 52035 HAS SOUS 42653 HAS SOUPS 35544 WITH SCORE 35603.519
AT ITER 9656 NEW BEST:: SOT 187504 SOS 59432 HAS SOPS 51948 HAS SOUS 42604 HAS SOUPS 35495 WITH SCORE 35554.432
AT ITER 9681 NEW BEST:: SOT 187485 SOS 59394 HAS SOPS 51910 HAS SOUS 42585 HAS SOUPS 35476 WITH SCORE 35535.394
AT ITER 9687 NEW BEST:: SOT 187340 SOS 59309 HAS SOPS 51825 HAS SOUS 42440 HAS SOUPS 35331 WITH SCORE 35390.309
AT ITER 9694 NEW BEST:: SOT 187336 SOS 59305 HAS SOPS 51821 HAS SOUS 42440 HAS SOUPS 35331 WITH SCORE 35390.305
AT ITER 9698 NEW BEST:: SOT 187334 SOS 59285 HAS SOPS 51808 HAS SOUS 42425 HAS SOUPS 35323 WITH SCORE 35382.285
AT ITER 9721 NEW BEST:: SOT 187316 SOS 59231 HAS SOPS 51763 HAS SOUS 42399 HAS SOUPS 35306 WITH SCORE 35365.231
AT ITER 9725 NEW BEST:: SOT 187349 SOS 59099 HAS SOPS 51631 HAS SOUS 42399 HAS SOUPS 35306 WITH SCORE 35365.099
AT ITER 9736 NEW BEST:: SOT 187279 SOS 59057 HAS SOPS 51552 HAS SOUS 42394 HAS SOUPS 35264 WITH SCORE 35323.057
AT ITER 9738 NEW BEST:: SOT 187279 SOS 59045 HAS SOPS 51540 HAS SOUS 42388 HAS SOUPS 35258 WITH SCORE 35317.045
AT ITER 9763 NEW BEST:: SOT 187258 SOS 59017 HAS SOPS 51533 HAS SOUS 42360 HAS SOUPS 35251 WITH SCORE 35310.017
AT ITER 9806 NEW BEST:: SOT 187249 SOS 59010 HAS SOPS 51526 HAS SOUS 42355 HAS SOUPS 35246 WITH SCORE 35305.01
AT ITER 9820 NEW BEST:: SOT 187161 SOS 58947 HAS SOPS 51463 HAS SOUS 42331 HAS SOUPS 35222 WITH SCORE 35280.947
AT ITER 9831 NEW BEST:: SOT 187172 SOS 58969 HAS SOPS 51468 HAS SOUS 42347 HAS SOUPS 35221 WITH SCORE 35279.969
AT ITER 9840 NEW BEST:: SOT 187148 SOS 59118 HAS SOPS 51526 HAS SOUS 42429 HAS SOUPS 35212 WITH SCORE 35271.118
AT ITER 9884 NEW BEST:: SOT 187070 SOS 59040 HAS SOPS 51448 HAS SOUS 42351 HAS SOUPS 35134 WITH SCORE 35193.04
AT ITER 9936 NEW BEST:: SOT 187066 SOS 59036 HAS SOPS 51448 HAS SOUS 42347 HAS SOUPS 35134 WITH SCORE 35193.036

BK_STOP 1589648659560

--------------------
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: 469 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="Parking-PT-432"
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 Parking-PT-432, 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 r108-csrt-158961250700544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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