Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r033-smll-158901926000344.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudDeployment-PT-6b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000344
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.0M
-rw-r--r-- 1 mcc users 2.9K Mar 30 01:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 01:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 15:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 15:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 08:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 4.8M 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 1589163660017

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

Filename model.pnml
Petri model created: 1888 places, 6804 transitions, 91831 arcs.
AT ITER 0 NEW BEST:: SOT 9619899 SOS 3182724 HAS SOPS 3182724 HAS SOUS 1204894 HAS SOUPS 1204894 WITH SCORE 1208076.724
AT ITER 16 NEW BEST:: SOT 9619879 SOS 3182724 HAS SOPS 3182724 HAS SOUS 1204884 HAS SOUPS 1204884 WITH SCORE 1208066.724
AT ITER 18 NEW BEST:: SOT 9619889 SOS 3182689 HAS SOPS 3182689 HAS SOUS 1204562 HAS SOUPS 1204562 WITH SCORE 1207744.689
AT ITER 31 NEW BEST:: SOT 9619613 SOS 3183493 HAS SOPS 3183493 HAS SOUS 1204278 HAS SOUPS 1204278 WITH SCORE 1207461.493
AT ITER 33 NEW BEST:: SOT 9619437 SOS 3186100 HAS SOPS 3186100 HAS SOUS 1204097 HAS SOUPS 1204097 WITH SCORE 1207283.1
AT ITER 34 NEW BEST:: SOT 9619285 SOS 3185796 HAS SOPS 3185796 HAS SOUS 1203614 HAS SOUPS 1203614 WITH SCORE 1206799.796
AT ITER 35 NEW BEST:: SOT 9619094 SOS 3185414 HAS SOPS 3185414 HAS SOUS 1203232 HAS SOUPS 1203232 WITH SCORE 1206417.414
AT ITER 40 NEW BEST:: SOT 9619094 SOS 3187028 HAS SOPS 3187028 HAS SOUS 1203191 HAS SOUPS 1203191 WITH SCORE 1206378.028
AT ITER 73 NEW BEST:: SOT 9615402 SOS 3183704 HAS SOPS 3183704 HAS SOUS 1199460 HAS SOUPS 1199460 WITH SCORE 1202643.704
AT ITER 82 NEW BEST:: SOT 9614107 SOS 3202988 HAS SOPS 3202988 HAS SOUS 1198996 HAS SOUPS 1198996 WITH SCORE 1202198.988
AT ITER 87 NEW BEST:: SOT 9613905 SOS 3202584 HAS SOPS 3202584 HAS SOUS 1198592 HAS SOUPS 1198592 WITH SCORE 1201794.584
AT ITER 88 NEW BEST:: SOT 9613742 SOS 3202258 HAS SOPS 3202258 HAS SOUS 1198266 HAS SOUPS 1198266 WITH SCORE 1201468.258
AT ITER 102 NEW BEST:: SOT 9613278 SOS 3201794 HAS SOPS 3201794 HAS SOUS 1198031 HAS SOUPS 1198031 WITH SCORE 1201232.794
AT ITER 105 NEW BEST:: SOT 9613273 SOS 3201834 HAS SOPS 3201834 HAS SOUS 1198026 HAS SOUPS 1198026 WITH SCORE 1201227.834
AT ITER 112 NEW BEST:: SOT 9612980 SOS 3201248 HAS SOPS 3201248 HAS SOUS 1197733 HAS SOUPS 1197733 WITH SCORE 1200934.248
AT ITER 117 NEW BEST:: SOT 9612848 SOS 3200984 HAS SOPS 3200984 HAS SOUS 1197371 HAS SOUPS 1197371 WITH SCORE 1200571.984
AT ITER 120 NEW BEST:: SOT 9612800 SOS 3200984 HAS SOPS 3200984 HAS SOUS 1197335 HAS SOUPS 1197335 WITH SCORE 1200535.984
AT ITER 128 NEW BEST:: SOT 9612419 SOS 3200478 HAS SOPS 3200478 HAS SOUS 1196829 HAS SOUPS 1196829 WITH SCORE 1200029.478
AT ITER 144 NEW BEST:: SOT 9611828 SOS 3200098 HAS SOPS 3200098 HAS SOUS 1196790 HAS SOUPS 1196790 WITH SCORE 1199990.098
AT ITER 150 NEW BEST:: SOT 9612134 SOS 3200710 HAS SOPS 3200710 HAS SOUS 1196601 HAS SOUPS 1196601 WITH SCORE 1199801.71
AT ITER 176 NEW BEST:: SOT 9612077 SOS 3200596 HAS SOPS 3200596 HAS SOUS 1196544 HAS SOUPS 1196544 WITH SCORE 1199744.596
AT ITER 188 NEW BEST:: SOT 9612077 SOS 3200596 HAS SOPS 3200596 HAS SOUS 1196542 HAS SOUPS 1196542 WITH SCORE 1199742.596
AT ITER 189 NEW BEST:: SOT 9610227 SOS 3215394 HAS SOPS 3215394 HAS SOUS 1195546 HAS SOUPS 1195546 WITH SCORE 1198761.394
AT ITER 191 NEW BEST:: SOT 9610352 SOS 3216617 HAS SOPS 3216617 HAS SOUS 1195458 HAS SOUPS 1195458 WITH SCORE 1198674.617
AT ITER 201 NEW BEST:: SOT 9610352 SOS 3216441 HAS SOPS 3216441 HAS SOUS 1195274 HAS SOUPS 1195274 WITH SCORE 1198490.441
AT ITER 219 NEW BEST:: SOT 9610352 SOS 3216014 HAS SOPS 3216014 HAS SOUS 1195211 HAS SOUPS 1195211 WITH SCORE 1198427.014
AT ITER 222 NEW BEST:: SOT 9610069 SOS 3215736 HAS SOPS 3215736 HAS SOUS 1049328 HAS SOUPS 1049328 WITH SCORE 1052543.736
AT ITER 230 NEW BEST:: SOT 9609812 SOS 3215589 HAS SOPS 3215589 HAS SOUS 1049199 HAS SOUPS 1049199 WITH SCORE 1052414.589
AT ITER 246 NEW BEST:: SOT 9609812 SOS 3215589 HAS SOPS 3215589 HAS SOUS 1049198 HAS SOUPS 1049198 WITH SCORE 1052413.589
AT ITER 273 NEW BEST:: SOT 9607936 SOS 3214007 HAS SOPS 3214007 HAS SOUS 1047371 HAS SOUPS 1047371 WITH SCORE 1050585.007
AT ITER 274 NEW BEST:: SOT 9606863 SOS 3213309 HAS SOPS 3213309 HAS SOUS 1046775 HAS SOUPS 1046775 WITH SCORE 1049988.309
AT ITER 280 NEW BEST:: SOT 9606862 SOS 3213563 HAS SOPS 3213563 HAS SOUS 1046773 HAS SOUPS 1046773 WITH SCORE 1049986.563
AT ITER 283 NEW BEST:: SOT 9606544 SOS 3212927 HAS SOPS 3212927 HAS SOUS 1046455 HAS SOUPS 1046455 WITH SCORE 1049667.927
AT ITER 287 NEW BEST:: SOT 9606064 SOS 3212351 HAS SOPS 3212351 HAS SOUS 1045879 HAS SOUPS 1045879 WITH SCORE 1049091.351
AT ITER 293 NEW BEST:: SOT 9606262 SOS 3212747 HAS SOPS 3212747 HAS SOUS 1045826 HAS SOUPS 1045826 WITH SCORE 1049038.747
AT ITER 301 NEW BEST:: SOT 9606260 SOS 3212743 HAS SOPS 3212743 HAS SOUS 1045822 HAS SOUPS 1045822 WITH SCORE 1049034.743
AT ITER 308 NEW BEST:: SOT 9606291 SOS 3214179 HAS SOPS 3214179 HAS SOUS 1045819 HAS SOUPS 1045819 WITH SCORE 1049033.179
AT ITER 309 NEW BEST:: SOT 9606291 SOS 3214149 HAS SOPS 3214149 HAS SOUS 1045789 HAS SOUPS 1045789 WITH SCORE 1049003.149
AT ITER 322 NEW BEST:: SOT 9606323 SOS 3214213 HAS SOPS 3214213 HAS SOUS 1045667 HAS SOUPS 1045667 WITH SCORE 1048881.213
AT ITER 325 NEW BEST:: SOT 9606337 SOS 3214019 HAS SOPS 3214019 HAS SOUS 1045457 HAS SOUPS 1045457 WITH SCORE 1048671.019
AT ITER 329 NEW BEST:: SOT 9606046 SOS 3214155 HAS SOPS 3214155 HAS SOUS 1045187 HAS SOUPS 1045187 WITH SCORE 1048401.155
AT ITER 352 NEW BEST:: SOT 9605908 SOS 3214103 HAS SOPS 3214103 HAS SOUS 1045135 HAS SOUPS 1045135 WITH SCORE 1048349.103
AT ITER 376 NEW BEST:: SOT 9605735 SOS 3214121 HAS SOPS 3214121 HAS SOUS 1044962 HAS SOUPS 1044962 WITH SCORE 1048176.121
AT ITER 378 NEW BEST:: SOT 9605735 SOS 3214448 HAS SOPS 3214448 HAS SOUS 1044938 HAS SOUPS 1044938 WITH SCORE 1048152.448
AT ITER 392 NEW BEST:: SOT 9605735 SOS 3248221 HAS SOPS 3248221 HAS SOUS 1044870 HAS SOUPS 1044870 WITH SCORE 1048118.221
AT ITER 399 NEW BEST:: SOT 9605660 SOS 3248107 HAS SOPS 3248107 HAS SOUS 1044795 HAS SOUPS 1044795 WITH SCORE 1048043.107
AT ITER 415 NEW BEST:: SOT 9605653 SOS 3248121 HAS SOPS 3248121 HAS SOUS 1044760 HAS SOUPS 1044760 WITH SCORE 1048008.121
AT ITER 417 NEW BEST:: SOT 9605727 SOS 3248269 HAS SOPS 3248269 HAS SOUS 1044532 HAS SOUPS 1044532 WITH SCORE 1047780.269
AT ITER 419 NEW BEST:: SOT 9605361 SOS 3247537 HAS SOPS 3247537 HAS SOUS 1043901 HAS SOUPS 1043901 WITH SCORE 1047148.537
AT ITER 429 NEW BEST:: SOT 9605197 SOS 3247409 HAS SOPS 3247409 HAS SOUS 1043737 HAS SOUPS 1043737 WITH SCORE 1046984.409
AT ITER 435 NEW BEST:: SOT 9605143 SOS 3247523 HAS SOPS 3247523 HAS SOUS 1043683 HAS SOUPS 1043683 WITH SCORE 1046930.523
AT ITER 440 NEW BEST:: SOT 9605143 SOS 3247886 HAS SOPS 3247886 HAS SOUS 1043643 HAS SOUPS 1043643 WITH SCORE 1046890.886
AT ITER 486 NEW BEST:: SOT 9604845 SOS 3247527 HAS SOPS 3247527 HAS SOUS 1043108 HAS SOUPS 1043108 WITH SCORE 1046355.527
AT ITER 499 NEW BEST:: SOT 9604395 SOS 3247302 HAS SOPS 3247302 HAS SOUS 1042883 HAS SOUPS 1042883 WITH SCORE 1046130.302
AT ITER 501 NEW BEST:: SOT 9604279 SOS 3247080 HAS SOPS 3247080 HAS SOUS 1042661 HAS SOUPS 1042661 WITH SCORE 1045908.08
AT ITER 508 NEW BEST:: SOT 9604279 SOS 3247073 HAS SOPS 3247073 HAS SOUS 1042654 HAS SOUPS 1042654 WITH SCORE 1045901.073
AT ITER 534 NEW BEST:: SOT 9604279 SOS 3247519 HAS SOPS 3247519 HAS SOUS 1042638 HAS SOUPS 1042638 WITH SCORE 1045885.519
AT ITER 540 NEW BEST:: SOT 9603972 SOS 3246937 HAS SOPS 3246937 HAS SOUS 960966 HAS SOUPS 960966 WITH SCORE 964212.937
AT ITER 544 NEW BEST:: SOT 9603988 SOS 3244937 HAS SOPS 3244937 HAS SOUS 960954 HAS SOUPS 960954 WITH SCORE 964198.937
AT ITER 546 NEW BEST:: SOT 9603822 SOS 3244605 HAS SOPS 3244605 HAS SOUS 960765 HAS SOUPS 960765 WITH SCORE 964009.605
AT ITER 559 NEW BEST:: SOT 9603581 SOS 3244123 HAS SOPS 3244123 HAS SOUS 960523 HAS SOUPS 960523 WITH SCORE 963767.123
AT ITER 576 NEW BEST:: SOT 9603581 SOS 3243857 HAS SOPS 3243857 HAS SOUS 960257 HAS SOUPS 960257 WITH SCORE 963500.857
AT ITER 583 NEW BEST:: SOT 9603667 SOS 3244316 HAS SOPS 3244316 HAS SOUS 960252 HAS SOUPS 960252 WITH SCORE 963496.316
AT ITER 584 NEW BEST:: SOT 9603576 SOS 3244134 HAS SOPS 3244134 HAS SOUS 960070 HAS SOUPS 960070 WITH SCORE 963314.134
AT ITER 587 NEW BEST:: SOT 9602897 SOS 3243455 HAS SOPS 3243455 HAS SOUS 959391 HAS SOUPS 959391 WITH SCORE 962634.455
AT ITER 599 NEW BEST:: SOT 9602860 SOS 3243381 HAS SOPS 3243381 HAS SOUS 959317 HAS SOUPS 959317 WITH SCORE 962560.381
AT ITER 602 NEW BEST:: SOT 9602860 SOS 3243381 HAS SOPS 3243381 HAS SOUS 959213 HAS SOUPS 959213 WITH SCORE 962456.381
AT ITER 618 NEW BEST:: SOT 9602835 SOS 3243331 HAS SOPS 3243331 HAS SOUS 959122 HAS SOUPS 959122 WITH SCORE 962365.331
AT ITER 619 NEW BEST:: SOT 9602723 SOS 3243331 HAS SOPS 3243331 HAS SOUS 952911 HAS SOUPS 952911 WITH SCORE 956154.331
AT ITER 635 NEW BEST:: SOT 9602719 SOS 3243323 HAS SOPS 3243323 HAS SOUS 952907 HAS SOUPS 952907 WITH SCORE 956150.323
AT ITER 642 NEW BEST:: SOT 9602603 SOS 3243323 HAS SOPS 3243323 HAS SOUS 941906 HAS SOUPS 941906 WITH SCORE 945149.323
AT ITER 669 NEW BEST:: SOT 9602701 SOS 3243323 HAS SOPS 3243323 HAS SOUS 941905 HAS SOUPS 941905 WITH SCORE 945148.323
AT ITER 671 NEW BEST:: SOT 9602701 SOS 3243324 HAS SOPS 3243324 HAS SOUS 941797 HAS SOUPS 941797 WITH SCORE 945040.324
AT ITER 679 NEW BEST:: SOT 9602700 SOS 3243298 HAS SOPS 3243298 HAS SOUS 941795 HAS SOUPS 941795 WITH SCORE 945038.298
AT ITER 695 NEW BEST:: SOT 9602323 SOS 3243008 HAS SOPS 3243008 HAS SOUS 941448 HAS SOUPS 941448 WITH SCORE 944691.008
AT ITER 697 NEW BEST:: SOT 9602211 SOS 3243008 HAS SOPS 3243008 HAS SOUS 941224 HAS SOUPS 941224 WITH SCORE 944467.008
AT ITER 702 NEW BEST:: SOT 9602101 SOS 3242788 HAS SOPS 3242788 HAS SOUS 940977 HAS SOUPS 940977 WITH SCORE 944219.788
AT ITER 712 NEW BEST:: SOT 9602037 SOS 3242660 HAS SOPS 3242660 HAS SOUS 940849 HAS SOUPS 940849 WITH SCORE 944091.66
AT ITER 713 NEW BEST:: SOT 9601958 SOS 3242502 HAS SOPS 3242502 HAS SOUS 940691 HAS SOUPS 940691 WITH SCORE 943933.502
AT ITER 720 NEW BEST:: SOT 9601915 SOS 3242416 HAS SOPS 3242416 HAS SOUS 940605 HAS SOUPS 940605 WITH SCORE 943847.416
AT ITER 728 NEW BEST:: SOT 9601885 SOS 3242385 HAS SOPS 3242385 HAS SOUS 940574 HAS SOUPS 940574 WITH SCORE 943816.385
AT ITER 734 NEW BEST:: SOT 9601919 SOS 3242148 HAS SOPS 3242148 HAS SOUS 940561 HAS SOUPS 940561 WITH SCORE 943803.148
AT ITER 743 NEW BEST:: SOT 9601919 SOS 3242090 HAS SOPS 3242090 HAS SOUS 940505 HAS SOUPS 940505 WITH SCORE 943747.09
AT ITER 747 NEW BEST:: SOT 9601795 SOS 3241842 HAS SOPS 3241842 HAS SOUS 940380 HAS SOUPS 940380 WITH SCORE 943621.842
AT ITER 761 NEW BEST:: SOT 9601429 SOS 3241659 HAS SOPS 3241659 HAS SOUS 940014 HAS SOUPS 940014 WITH SCORE 943255.659
AT ITER 767 NEW BEST:: SOT 9601286 SOS 3241373 HAS SOPS 3241373 HAS SOUS 939978 HAS SOUPS 939978 WITH SCORE 943219.373
AT ITER 773 NEW BEST:: SOT 9601092 SOS 3241276 HAS SOPS 3241276 HAS SOUS 939784 HAS SOUPS 939784 WITH SCORE 943025.276
AT ITER 774 NEW BEST:: SOT 9600973 SOS 3242712 HAS SOPS 3242712 HAS SOUS 939728 HAS SOUPS 939728 WITH SCORE 942970.712
AT ITER 779 NEW BEST:: SOT 9600285 SOS 3243208 HAS SOPS 3243208 HAS SOUS 938681 HAS SOUPS 938681 WITH SCORE 941924.208
AT ITER 784 NEW BEST:: SOT 9600285 SOS 3243020 HAS SOPS 3243020 HAS SOUS 938621 HAS SOUPS 938621 WITH SCORE 941864.02
AT ITER 787 NEW BEST:: SOT 9600091 SOS 3243332 HAS SOPS 3243332 HAS SOUS 938474 HAS SOUPS 938474 WITH SCORE 941717.332
AT ITER 799 NEW BEST:: SOT 9599279 SOS 3242551 HAS SOPS 3242551 HAS SOUS 937910 HAS SOUPS 937910 WITH SCORE 941152.551
AT ITER 807 NEW BEST:: SOT 9599124 SOS 3242857 HAS SOPS 3242857 HAS SOUS 937754 HAS SOUPS 937754 WITH SCORE 940996.857
AT ITER 810 NEW BEST:: SOT 9598888 SOS 3243141 HAS SOPS 3243141 HAS SOUS 937609 HAS SOUPS 937609 WITH SCORE 940852.141
AT ITER 816 NEW BEST:: SOT 9598442 SOS 3242829 HAS SOPS 3242829 HAS SOUS 937163 HAS SOUPS 937163 WITH SCORE 940405.829
AT ITER 843 NEW BEST:: SOT 9598422 SOS 3242789 HAS SOPS 3242789 HAS SOUS 937123 HAS SOUPS 937123 WITH SCORE 940365.789
AT ITER 851 NEW BEST:: SOT 9596980 SOS 3242540 HAS SOPS 3242540 HAS SOUS 936476 HAS SOUPS 936476 WITH SCORE 939718.54
AT ITER 866 NEW BEST:: SOT 9596781 SOS 3242142 HAS SOPS 3242142 HAS SOUS 936078 HAS SOUPS 936078 WITH SCORE 939320.142
AT ITER 876 NEW BEST:: SOT 9596735 SOS 3243118 HAS SOPS 3243118 HAS SOUS 936075 HAS SOUPS 936075 WITH SCORE 939318.118
AT ITER 896 NEW BEST:: SOT 9596671 SOS 3242990 HAS SOPS 3242990 HAS SOUS 935947 HAS SOUPS 935947 WITH SCORE 939189.99
AT ITER 899 NEW BEST:: SOT 9596645 SOS 3242964 HAS SOPS 3242964 HAS SOUS 935921 HAS SOUPS 935921 WITH SCORE 939163.964
AT ITER 915 NEW BEST:: SOT 9594631 SOS 3248440 HAS SOPS 3248440 HAS SOUS 934339 HAS SOUPS 934339 WITH SCORE 937587.44
AT ITER 917 NEW BEST:: SOT 9594528 SOS 3248234 HAS SOPS 3248234 HAS SOUS 933976 HAS SOUPS 933976 WITH SCORE 937224.234
AT ITER 918 NEW BEST:: SOT 9594528 SOS 3247949 HAS SOPS 3247949 HAS SOUS 933909 HAS SOUPS 933909 WITH SCORE 937156.949
AT ITER 924 NEW BEST:: SOT 9594473 SOS 3247747 HAS SOPS 3247747 HAS SOUS 933854 HAS SOUPS 933854 WITH SCORE 937101.747
AT ITER 929 NEW BEST:: SOT 9594181 SOS 3247601 HAS SOPS 3247601 HAS SOUS 933562 HAS SOUPS 933562 WITH SCORE 936809.601
AT ITER 938 NEW BEST:: SOT 9593873 SOS 3247673 HAS SOPS 3247673 HAS SOUS 933089 HAS SOUPS 933089 WITH SCORE 936336.673
AT ITER 956 NEW BEST:: SOT 9593873 SOS 3247937 HAS SOPS 3247937 HAS SOUS 932813 HAS SOUPS 932813 WITH SCORE 936060.937
AT ITER 963 NEW BEST:: SOT 9593829 SOS 3248091 HAS SOPS 3248091 HAS SOUS 932768 HAS SOUPS 932768 WITH SCORE 936016.091
AT ITER 974 NEW BEST:: SOT 9593829 SOS 3248091 HAS SOPS 3248091 HAS SOUS 932676 HAS SOUPS 932676 WITH SCORE 935924.091
AT ITER 979 NEW BEST:: SOT 9593716 SOS 3247978 HAS SOPS 3247978 HAS SOUS 932674 HAS SOUPS 932674 WITH SCORE 935921.978
AT ITER 980 NEW BEST:: SOT 9593716 SOS 3247877 HAS SOPS 3247877 HAS SOUS 932671 HAS SOUPS 932671 WITH SCORE 935918.877
AT ITER 998 NEW BEST:: SOT 9593279 SOS 3247447 HAS SOPS 3247447 HAS SOUS 932234 HAS SOUPS 932234 WITH SCORE 935481.447
AT ITER 999 NEW BEST:: SOT 9593279 SOS 3247182 HAS SOPS 3247182 HAS SOUS 932005 HAS SOUPS 932005 WITH SCORE 935252.182
AT ITER 1009 NEW BEST:: SOT 9592490 SOS 3246488 HAS SOPS 3246488 HAS SOUS 931311 HAS SOUPS 931311 WITH SCORE 934557.488
AT ITER 1015 NEW BEST:: SOT 9592490 SOS 3246488 HAS SOPS 3246488 HAS SOUS 931268 HAS SOUPS 931268 WITH SCORE 934514.488
AT ITER 1023 NEW BEST:: SOT 9592435 SOS 3246713 HAS SOPS 3246713 HAS SOUS 931213 HAS SOUPS 931213 WITH SCORE 934459.713
AT ITER 1042 NEW BEST:: SOT 9592358 SOS 3247807 HAS SOPS 3247807 HAS SOUS 931136 HAS SOUPS 931136 WITH SCORE 934383.807
AT ITER 1045 NEW BEST:: SOT 9591711 SOS 3247460 HAS SOPS 3247460 HAS SOUS 931101 HAS SOUPS 931101 WITH SCORE 934348.46
AT ITER 1047 NEW BEST:: SOT 9591731 SOS 3247500 HAS SOPS 3247500 HAS SOUS 930954 HAS SOUPS 930954 WITH SCORE 934201.5
AT ITER 1064 NEW BEST:: SOT 9591704 SOS 3247540 HAS SOPS 3247540 HAS SOUS 930927 HAS SOUPS 930927 WITH SCORE 934174.54
AT ITER 1070 NEW BEST:: SOT 9591703 SOS 3247538 HAS SOPS 3247538 HAS SOUS 930925 HAS SOUPS 930925 WITH SCORE 934172.538
AT ITER 1097 NEW BEST:: SOT 9591681 SOS 3247494 HAS SOPS 3247494 HAS SOUS 919638 HAS SOUPS 919638 WITH SCORE 922885.494
AT ITER 1099 NEW BEST:: SOT 9591193 SOS 3247034 HAS SOPS 3247034 HAS SOUS 919209 HAS SOUPS 919209 WITH SCORE 922456.034
AT ITER 1114 NEW BEST:: SOT 9591167 SOS 3246982 HAS SOPS 3246982 HAS SOUS 919167 HAS SOUPS 919167 WITH SCORE 922413.982
AT ITER 1120 NEW BEST:: SOT 9591166 SOS 3246980 HAS SOPS 3246980 HAS SOUS 919165 HAS SOUPS 919165 WITH SCORE 922411.98
AT ITER 1123 NEW BEST:: SOT 9591389 SOS 3247426 HAS SOPS 3247426 HAS SOUS 919092 HAS SOUPS 919092 WITH SCORE 922339.426
AT ITER 1125 NEW BEST:: SOT 9591427 SOS 3247502 HAS SOPS 3247502 HAS SOUS 918964 HAS SOUPS 918964 WITH SCORE 922211.502
AT ITER 1126 NEW BEST:: SOT 9591076 SOS 3247349 HAS SOPS 3247349 HAS SOUS 765981 HAS SOUPS 765981 WITH SCORE 769228.349
AT ITER 1129 NEW BEST:: SOT 9590948 SOS 3247093 HAS SOPS 3247093 HAS SOUS 765853 HAS SOUPS 765853 WITH SCORE 769100.093
AT ITER 1163 NEW BEST:: SOT 9590948 SOS 3246973 HAS SOPS 3246973 HAS SOUS 765771 HAS SOUPS 765771 WITH SCORE 769017.973
AT ITER 1184 NEW BEST:: SOT 9590853 SOS 3246783 HAS SOPS 3246783 HAS SOUS 765581 HAS SOUPS 765581 WITH SCORE 768827.783
AT ITER 1196 NEW BEST:: SOT 9590707 SOS 3246903 HAS SOPS 3246903 HAS SOUS 765549 HAS SOUPS 765549 WITH SCORE 768795.903
AT ITER 1216 NEW BEST:: SOT 9590485 SOS 3246459 HAS SOPS 3246459 HAS SOUS 765293 HAS SOUPS 765293 WITH SCORE 768539.459
AT ITER 1219 NEW BEST:: SOT 9590758 SOS 3247005 HAS SOPS 3247005 HAS SOUS 765289 HAS SOUPS 765289 WITH SCORE 768536.005
AT ITER 1222 NEW BEST:: SOT 9589688 SOS 3245473 HAS SOPS 3245473 HAS SOUS 763729 HAS SOUPS 763729 WITH SCORE 766974.473
AT ITER 1224 NEW BEST:: SOT 9585725 SOS 3257501 HAS SOPS 3257501 HAS SOUS 761506 HAS SOUPS 761506 WITH SCORE 764763.501
AT ITER 1226 NEW BEST:: SOT 9585637 SOS 3261499 HAS SOPS 3261499 HAS SOUS 761165 HAS SOUPS 761165 WITH SCORE 764426.499
AT ITER 1235 NEW BEST:: SOT 9585572 SOS 3261238 HAS SOPS 3261238 HAS SOUS 761100 HAS SOUPS 761100 WITH SCORE 764361.238
AT ITER 1236 NEW BEST:: SOT 9585572 SOS 3261212 HAS SOPS 3261212 HAS SOUS 761074 HAS SOUPS 761074 WITH SCORE 764335.212
AT ITER 1240 NEW BEST:: SOT 9585512 SOS 3261126 HAS SOPS 3261126 HAS SOUS 759705 HAS SOUPS 759705 WITH SCORE 762966.126
AT ITER 1241 NEW BEST:: SOT 9585511 SOS 3260777 HAS SOPS 3260777 HAS SOUS 759634 HAS SOUPS 759634 WITH SCORE 762894.777
AT ITER 1244 NEW BEST:: SOT 9585511 SOS 3260641 HAS SOPS 3260641 HAS SOUS 759452 HAS SOUPS 759452 WITH SCORE 762712.641
AT ITER 1255 NEW BEST:: SOT 9585172 SOS 3260324 HAS SOPS 3260324 HAS SOUS 759135 HAS SOUPS 759135 WITH SCORE 762395.324
AT ITER 1259 NEW BEST:: SOT 9585188 SOS 3260340 HAS SOPS 3260340 HAS SOUS 758735 HAS SOUPS 758735 WITH SCORE 761995.34
AT ITER 1260 NEW BEST:: SOT 9585188 SOS 3260281 HAS SOPS 3260281 HAS SOUS 758676 HAS SOUPS 758676 WITH SCORE 761936.281
AT ITER 1263 NEW BEST:: SOT 9585221 SOS 3260347 HAS SOPS 3260347 HAS SOUS 758644 HAS SOUPS 758644 WITH SCORE 761904.347
AT ITER 1265 NEW BEST:: SOT 9585191 SOS 3260287 HAS SOPS 3260287 HAS SOUS 758639 HAS SOUPS 758639 WITH SCORE 761899.287
AT ITER 1273 NEW BEST:: SOT 9584892 SOS 3259648 HAS SOPS 3259648 HAS SOUS 758040 HAS SOUPS 758040 WITH SCORE 761299.648
AT ITER 1276 NEW BEST:: SOT 9584833 SOS 3259766 HAS SOPS 3259766 HAS SOUS 758020 HAS SOUPS 758020 WITH SCORE 761279.766
AT ITER 1289 NEW BEST:: SOT 9584767 SOS 3259634 HAS SOPS 3259634 HAS SOUS 757888 HAS SOUPS 757888 WITH SCORE 761147.634
AT ITER 1295 NEW BEST:: SOT 9584280 SOS 3258987 HAS SOPS 3258987 HAS SOUS 757105 HAS SOUPS 757105 WITH SCORE 760363.987
AT ITER 1315 NEW BEST:: SOT 9584279 SOS 3258985 HAS SOPS 3258985 HAS SOUS 757103 HAS SOUPS 757103 WITH SCORE 760361.985
AT ITER 1355 NEW BEST:: SOT 9584125 SOS 3258667 HAS SOPS 3258667 HAS SOUS 756777 HAS SOUPS 756777 WITH SCORE 760035.667
AT ITER 1361 NEW BEST:: SOT 9584099 SOS 3258641 HAS SOPS 3258641 HAS SOUS 756751 HAS SOUPS 756751 WITH SCORE 760009.641
AT ITER 1377 NEW BEST:: SOT 9584085 SOS 3258627 HAS SOPS 3258627 HAS SOUS 756737 HAS SOUPS 756737 WITH SCORE 759995.627
AT ITER 1387 NEW BEST:: SOT 9584039 SOS 3258535 HAS SOPS 3258535 HAS SOUS 756543 HAS SOUPS 756543 WITH SCORE 759801.535
AT ITER 1388 NEW BEST:: SOT 9583996 SOS 3258449 HAS SOPS 3258449 HAS SOUS 756457 HAS SOUPS 756457 WITH SCORE 759715.449
AT ITER 1416 NEW BEST:: SOT 9583816 SOS 3258417 HAS SOPS 3258417 HAS SOUS 756277 HAS SOUPS 756277 WITH SCORE 759535.417
AT ITER 1430 NEW BEST:: SOT 9583595 SOS 3257975 HAS SOPS 3257975 HAS SOUS 755835 HAS SOUPS 755835 WITH SCORE 759092.975
AT ITER 1457 NEW BEST:: SOT 9583493 SOS 3257880 HAS SOPS 3257880 HAS SOUS 755631 HAS SOUPS 755631 WITH SCORE 758888.88
AT ITER 1465 NEW BEST:: SOT 9583531 SOS 3257746 HAS SOPS 3257746 HAS SOUS 755497 HAS SOUPS 755497 WITH SCORE 758754.746
AT ITER 1483 NEW BEST:: SOT 9583531 SOS 3257707 HAS SOPS 3257707 HAS SOUS 755419 HAS SOUPS 755419 WITH SCORE 758676.707
AT ITER 1485 NEW BEST:: SOT 9583365 SOS 3257375 HAS SOPS 3257375 HAS SOUS 755253 HAS SOUPS 755253 WITH SCORE 758510.375
AT ITER 1493 NEW BEST:: SOT 9582922 SOS 3288243 HAS SOPS 3288243 HAS SOUS 754988 HAS SOUPS 754988 WITH SCORE 758276.243
AT ITER 1498 NEW BEST:: SOT 9583117 SOS 3288633 HAS SOPS 3288633 HAS SOUS 754895 HAS SOUPS 754895 WITH SCORE 758183.633
AT ITER 1518 NEW BEST:: SOT 9583037 SOS 3288473 HAS SOPS 3288473 HAS SOUS 754735 HAS SOUPS 754735 WITH SCORE 758023.473
AT ITER 1541 NEW BEST:: SOT 9583022 SOS 3288473 HAS SOPS 3288473 HAS SOUS 754720 HAS SOUPS 754720 WITH SCORE 758008.473
AT ITER 1550 NEW BEST:: SOT 9582957 SOS 3289543 HAS SOPS 3289543 HAS SOUS 754540 HAS SOUPS 754540 WITH SCORE 757829.543
AT ITER 1586 NEW BEST:: SOT 9582957 SOS 3289543 HAS SOPS 3289543 HAS SOUS 754439 HAS SOUPS 754439 WITH SCORE 757728.543
AT ITER 1594 NEW BEST:: SOT 9582935 SOS 3289521 HAS SOPS 3289521 HAS SOUS 754417 HAS SOUPS 754417 WITH SCORE 757706.521
AT ITER 1599 NEW BEST:: SOT 9583251 SOS 3289837 HAS SOPS 3289837 HAS SOUS 754279 HAS SOUPS 754279 WITH SCORE 757568.837
AT ITER 1623 NEW BEST:: SOT 9583084 SOS 3289503 HAS SOPS 3289503 HAS SOUS 754161 HAS SOUPS 754161 WITH SCORE 757450.503
AT ITER 1624 NEW BEST:: SOT 9583188 SOS 3289711 HAS SOPS 3289711 HAS SOUS 753887 HAS SOUPS 753887 WITH SCORE 757176.711
AT ITER 1626 NEW BEST:: SOT 9582944 SOS 3289706 HAS SOPS 3289706 HAS SOUS 753663 HAS SOUPS 753663 WITH SCORE 756952.706
AT ITER 1646 NEW BEST:: SOT 9582841 SOS 3289698 HAS SOPS 3289698 HAS SOUS 753457 HAS SOUPS 753457 WITH SCORE 756746.698
AT ITER 1650 NEW BEST:: SOT 9582867 SOS 3289301 HAS SOPS 3289301 HAS SOUS 752962 HAS SOUPS 752962 WITH SCORE 756251.301
AT ITER 1657 NEW BEST:: SOT 9582811 SOS 3279508 HAS SOPS 3279508 HAS SOUS 752611 HAS SOUPS 752611 WITH SCORE 755890.508
AT ITER 1669 NEW BEST:: SOT 9582613 SOS 3279310 HAS SOPS 3279310 HAS SOUS 752413 HAS SOUPS 752413 WITH SCORE 755692.31
AT ITER 1670 NEW BEST:: SOT 9582564 SOS 3279212 HAS SOPS 3279212 HAS SOUS 752364 HAS SOUPS 752364 WITH SCORE 755643.212
AT ITER 1691 NEW BEST:: SOT 9582509 SOS 3279157 HAS SOPS 3279157 HAS SOUS 752364 HAS SOUPS 752364 WITH SCORE 755643.157
AT ITER 1711 NEW BEST:: SOT 9582492 SOS 3279077 HAS SOPS 3279077 HAS SOUS 752284 HAS SOUPS 752284 WITH SCORE 755563.077
AT ITER 1757 NEW BEST:: SOT 9582530 SOS 3279304 HAS SOPS 3279304 HAS SOUS 752275 HAS SOUPS 752275 WITH SCORE 755554.304
AT ITER 1761 NEW BEST:: SOT 9582524 SOS 3279452 HAS SOPS 3279452 HAS SOUS 752270 HAS SOUPS 752270 WITH SCORE 755549.452
AT ITER 1762 NEW BEST:: SOT 9581814 SOS 3278903 HAS SOPS 3278903 HAS SOUS 751572 HAS SOUPS 751572 WITH SCORE 754850.903
AT ITER 1777 NEW BEST:: SOT 9582187 SOS 3280149 HAS SOPS 3280149 HAS SOUS 751154 HAS SOUPS 751154 WITH SCORE 754434.149
AT ITER 1795 NEW BEST:: SOT 9582277 SOS 3280435 HAS SOPS 3280435 HAS SOUS 750820 HAS SOUPS 750820 WITH SCORE 754100.435
AT ITER 1799 NEW BEST:: SOT 9582277 SOS 3281878 HAS SOPS 3281878 HAS SOUS 750778 HAS SOUPS 750778 WITH SCORE 754059.878
AT ITER 1810 NEW BEST:: SOT 9582277 SOS 3281878 HAS SOPS 3281878 HAS SOUS 750776 HAS SOUPS 750776 WITH SCORE 754057.878
AT ITER 1814 NEW BEST:: SOT 9582259 SOS 3281842 HAS SOPS 3281842 HAS SOUS 750683 HAS SOUPS 750683 WITH SCORE 753964.842
AT ITER 1824 NEW BEST:: SOT 9581188 SOS 3282032 HAS SOPS 3282032 HAS SOUS 749718 HAS SOUPS 749718 WITH SCORE 753000.032
AT ITER 1836 NEW BEST:: SOT 9580941 SOS 3281785 HAS SOPS 3281785 HAS SOUS 738735 HAS SOUPS 738735 WITH SCORE 742016.785
AT ITER 1851 NEW BEST:: SOT 9580941 SOS 3281759 HAS SOPS 3281759 HAS SOUS 738698 HAS SOUPS 738698 WITH SCORE 741979.759
AT ITER 1858 NEW BEST:: SOT 9580697 SOS 3281759 HAS SOPS 3281759 HAS SOUS 738469 HAS SOUPS 738469 WITH SCORE 741750.759
AT ITER 1882 NEW BEST:: SOT 9580417 SOS 3281479 HAS SOPS 3281479 HAS SOUS 738278 HAS SOUPS 738278 WITH SCORE 741559.479
AT ITER 1899 NEW BEST:: SOT 9580063 SOS 3280771 HAS SOPS 3280771 HAS SOUS 737914 HAS SOUPS 737914 WITH SCORE 741194.771
AT ITER 1900 NEW BEST:: SOT 9580030 SOS 3280897 HAS SOPS 3280897 HAS SOUS 737848 HAS SOUPS 737848 WITH SCORE 741128.897
AT ITER 1912 NEW BEST:: SOT 9580022 SOS 3280881 HAS SOPS 3280881 HAS SOUS 737840 HAS SOUPS 737840 WITH SCORE 741120.881
AT ITER 1918 NEW BEST:: SOT 9580080 SOS 3280997 HAS SOPS 3280997 HAS SOUS 737827 HAS SOUPS 737827 WITH SCORE 741107.997
AT ITER 1938 NEW BEST:: SOT 9580094 SOS 3280731 HAS SOPS 3280731 HAS SOUS 737827 HAS SOUPS 737827 WITH SCORE 741107.731
AT ITER 1943 NEW BEST:: SOT 9580082 SOS 3280707 HAS SOPS 3280707 HAS SOUS 737815 HAS SOUPS 737815 WITH SCORE 741095.707
AT ITER 1960 NEW BEST:: SOT 9579978 SOS 3280463 HAS SOPS 3280463 HAS SOUS 737773 HAS SOUPS 737773 WITH SCORE 741053.463
AT ITER 1964 NEW BEST:: SOT 9579971 SOS 3280449 HAS SOPS 3280449 HAS SOUS 737764 HAS SOUPS 737764 WITH SCORE 741044.449
AT ITER 1973 NEW BEST:: SOT 9580710 SOS 3282387 HAS SOPS 3282387 HAS SOUS 737187 HAS SOUPS 737187 WITH SCORE 740469.387
AT ITER 1978 NEW BEST:: SOT 9580710 SOS 3282115 HAS SOPS 3282115 HAS SOUS 736915 HAS SOUPS 736915 WITH SCORE 740197.115
AT ITER 1989 NEW BEST:: SOT 9580604 SOS 3282109 HAS SOPS 3282109 HAS SOUS 736603 HAS SOUPS 736603 WITH SCORE 739885.109
AT ITER 1996 NEW BEST:: SOT 9580602 SOS 3282105 HAS SOPS 3282105 HAS SOUS 736599 HAS SOUPS 736599 WITH SCORE 739881.105
AT ITER 2003 NEW BEST:: SOT 9580511 SOS 3281923 HAS SOPS 3281923 HAS SOUS 736417 HAS SOUPS 736417 WITH SCORE 739698.923
AT ITER 2013 NEW BEST:: SOT 9580706 SOS 3282290 HAS SOPS 3282290 HAS SOUS 736329 HAS SOUPS 736329 WITH SCORE 739611.29
AT ITER 2018 NEW BEST:: SOT 9580706 SOS 3282265 HAS SOPS 3282265 HAS SOUS 735936 HAS SOUPS 735936 WITH SCORE 739218.265
AT ITER 2020 NEW BEST:: SOT 9580706 SOS 3282411 HAS SOPS 3282411 HAS SOUS 735910 HAS SOUPS 735910 WITH SCORE 739192.411
AT ITER 2021 NEW BEST:: SOT 9580488 SOS 3281975 HAS SOPS 3281975 HAS SOUS 735474 HAS SOUPS 735474 WITH SCORE 738755.975
AT ITER 2056 NEW BEST:: SOT 9580419 SOS 3281837 HAS SOPS 3281837 HAS SOUS 735128 HAS SOUPS 735128 WITH SCORE 738409.837
AT ITER 2074 NEW BEST:: SOT 9580419 SOS 3296502 HAS SOPS 3296502 HAS SOUS 735006 HAS SOUPS 735006 WITH SCORE 738302.502
AT ITER 2106 NEW BEST:: SOT 9580149 SOS 3296265 HAS SOPS 3296265 HAS SOUS 734827 HAS SOUPS 734827 WITH SCORE 738123.265
AT ITER 2122 NEW BEST:: SOT 9580149 SOS 3295995 HAS SOPS 3295995 HAS SOUS 734827 HAS SOUPS 734827 WITH SCORE 738122.995
AT ITER 2138 NEW BEST:: SOT 9580263 SOS 3295881 HAS SOPS 3295881 HAS SOUS 734827 HAS SOUPS 734827 WITH SCORE 738122.881
AT ITER 2149 NEW BEST:: SOT 9580193 SOS 3295741 HAS SOPS 3295741 HAS SOUS 734757 HAS SOUPS 734757 WITH SCORE 738052.741
AT ITER 2164 NEW BEST:: SOT 9580173 SOS 3295721 HAS SOPS 3295721 HAS SOUS 733840 HAS SOUPS 733840 WITH SCORE 737135.721
AT ITER 2182 NEW BEST:: SOT 9580173 SOS 3295689 HAS SOPS 3295689 HAS SOUS 733840 HAS SOUPS 733840 WITH SCORE 737135.689
AT ITER 2194 NEW BEST:: SOT 9580014 SOS 3298649 HAS SOPS 3298649 HAS SOUS 733826 HAS SOUPS 733826 WITH SCORE 737124.649
AT ITER 2215 NEW BEST:: SOT 9579840 SOS 3298388 HAS SOPS 3298388 HAS SOUS 733564 HAS SOUPS 733564 WITH SCORE 736862.388
AT ITER 2219 NEW BEST:: SOT 9579831 SOS 3298706 HAS SOPS 3298706 HAS SOUS 733555 HAS SOUPS 733555 WITH SCORE 736853.706
AT ITER 2244 NEW BEST:: SOT 9579714 SOS 3298451 HAS SOPS 3298451 HAS SOUS 733413 HAS SOUPS 733413 WITH SCORE 736711.451
AT ITER 2251 NEW BEST:: SOT 9579712 SOS 3298552 HAS SOPS 3298552 HAS SOUS 733349 HAS SOUPS 733349 WITH SCORE 736647.552
AT ITER 2271 NEW BEST:: SOT 9579712 SOS 3298585 HAS SOPS 3298585 HAS SOUS 733316 HAS SOUPS 733316 WITH SCORE 736614.585
AT ITER 2277 NEW BEST:: SOT 9579712 SOS 3298585 HAS SOPS 3298585 HAS SOUS 733301 HAS SOUPS 733301 WITH SCORE 736599.585
AT ITER 2291 NEW BEST:: SOT 9579277 SOS 3298585 HAS SOPS 3298585 HAS SOUS 680223 HAS SOUPS 680223 WITH SCORE 683521.585
AT ITER 2314 NEW BEST:: SOT 9578201 SOS 3303671 HAS SOPS 3303671 HAS SOUS 679436 HAS SOUPS 679436 WITH SCORE 682739.671
AT ITER 2328 NEW BEST:: SOT 9578201 SOS 3303841 HAS SOPS 3303841 HAS SOUS 679435 HAS SOUPS 679435 WITH SCORE 682738.841
AT ITER 2332 NEW BEST:: SOT 9578192 SOS 3303832 HAS SOPS 3303832 HAS SOUS 679372 HAS SOUPS 679372 WITH SCORE 682675.832
AT ITER 2338 NEW BEST:: SOT 9578172 SOS 3303812 HAS SOPS 3303812 HAS SOUS 679352 HAS SOUPS 679352 WITH SCORE 682655.812
AT ITER 2354 NEW BEST:: SOT 9578172 SOS 3292525 HAS SOPS 3292525 HAS SOUS 679274 HAS SOUPS 679274 WITH SCORE 682566.525
AT ITER 2374 NEW BEST:: SOT 9578001 SOS 3292354 HAS SOPS 3292354 HAS SOUS 679046 HAS SOUPS 679046 WITH SCORE 682338.354
AT ITER 2380 NEW BEST:: SOT 9577901 SOS 3292154 HAS SOPS 3292154 HAS SOUS 678931 HAS SOUPS 678931 WITH SCORE 682223.154
AT ITER 2393 NEW BEST:: SOT 9577901 SOS 3292154 HAS SOPS 3292154 HAS SOUS 678828 HAS SOUPS 678828 WITH SCORE 682120.154
AT ITER 2400 NEW BEST:: SOT 9577901 SOS 3292001 HAS SOPS 3292001 HAS SOUS 678828 HAS SOUPS 678828 WITH SCORE 682120.001
AT ITER 2425 NEW BEST:: SOT 9577904 SOS 3291845 HAS SOPS 3291845 HAS SOUS 678807 HAS SOUPS 678807 WITH SCORE 682098.845
AT ITER 2428 NEW BEST:: SOT 9577571 SOS 3291995 HAS SOPS 3291995 HAS SOUS 678577 HAS SOUPS 678577 WITH SCORE 681868.995
AT ITER 2440 NEW BEST:: SOT 9577473 SOS 3291853 HAS SOPS 3291853 HAS SOUS 676961 HAS SOUPS 676961 WITH SCORE 680252.853
AT ITER 2442 NEW BEST:: SOT 9577455 SOS 3291835 HAS SOPS 3291835 HAS SOUS 676960 HAS SOUPS 676960 WITH SCORE 680251.835
AT ITER 2453 NEW BEST:: SOT 9576916 SOS 3291702 HAS SOPS 3291702 HAS SOUS 676453 HAS SOUPS 676453 WITH SCORE 679744.702
AT ITER 2466 NEW BEST:: SOT 9576764 SOS 3291550 HAS SOPS 3291550 HAS SOUS 676452 HAS SOUPS 676452 WITH SCORE 679743.55
AT ITER 2470 NEW BEST:: SOT 9576756 SOS 3291534 HAS SOPS 3291534 HAS SOUS 676444 HAS SOUPS 676444 WITH SCORE 679735.534
AT ITER 2478 NEW BEST:: SOT 9576644 SOS 3291404 HAS SOPS 3291404 HAS SOUS 676314 HAS SOUPS 676314 WITH SCORE 679605.404
AT ITER 2480 NEW BEST:: SOT 9576644 SOS 3291404 HAS SOPS 3291404 HAS SOUS 676313 HAS SOUPS 676313 WITH SCORE 679604.404
AT ITER 2483 NEW BEST:: SOT 9576337 SOS 3290790 HAS SOPS 3290790 HAS SOUS 675847 HAS SOUPS 675847 WITH SCORE 679137.79
AT ITER 2493 NEW BEST:: SOT 9576269 SOS 3290654 HAS SOPS 3290654 HAS SOUS 675647 HAS SOUPS 675647 WITH SCORE 678937.654
AT ITER 2497 NEW BEST:: SOT 9576091 SOS 3291318 HAS SOPS 3291318 HAS SOUS 675159 HAS SOUPS 675159 WITH SCORE 678450.318
AT ITER 2540 NEW BEST:: SOT 9575800 SOS 3291027 HAS SOPS 3291027 HAS SOUS 675032 HAS SOUPS 675032 WITH SCORE 678323.027
AT ITER 2574 NEW BEST:: SOT 9573175 SOS 3293528 HAS SOPS 3293528 HAS SOUS 671059 HAS SOUPS 671059 WITH SCORE 674352.528
AT ITER 2588 NEW BEST:: SOT 9573175 SOS 3294463 HAS SOPS 3294463 HAS SOUS 670872 HAS SOUPS 670872 WITH SCORE 674166.463
AT ITER 2602 NEW BEST:: SOT 9573175 SOS 3294463 HAS SOPS 3294463 HAS SOUS 670815 HAS SOUPS 670815 WITH SCORE 674109.463
AT ITER 2648 NEW BEST:: SOT 9573078 SOS 3294366 HAS SOPS 3294366 HAS SOUS 670777 HAS SOUPS 670777 WITH SCORE 674071.366
AT ITER 2652 NEW BEST:: SOT 9573078 SOS 3294558 HAS SOPS 3294558 HAS SOUS 670347 HAS SOUPS 670347 WITH SCORE 673641.558
AT ITER 2659 NEW BEST:: SOT 9572833 SOS 3293413 HAS SOPS 3293413 HAS SOUS 670172 HAS SOUPS 670172 WITH SCORE 673465.413
AT ITER 2676 NEW BEST:: SOT 9572802 SOS 3293199 HAS SOPS 3293199 HAS SOUS 670141 HAS SOUPS 670141 WITH SCORE 673434.199
AT ITER 2700 NEW BEST:: SOT 9572371 SOS 3294882 HAS SOPS 3294882 HAS SOUS 669569 HAS SOUPS 669569 WITH SCORE 672863.882
AT ITER 2704 NEW BEST:: SOT 9572371 SOS 3294851 HAS SOPS 3294851 HAS SOUS 669507 HAS SOUPS 669507 WITH SCORE 672801.851
AT ITER 2733 NEW BEST:: SOT 9572345 SOS 3294799 HAS SOPS 3294799 HAS SOUS 669454 HAS SOUPS 669454 WITH SCORE 672748.799
AT ITER 2738 NEW BEST:: SOT 9572345 SOS 3294763 HAS SOPS 3294763 HAS SOUS 669430 HAS SOUPS 669430 WITH SCORE 672724.763
AT ITER 2745 NEW BEST:: SOT 9572345 SOS 3294839 HAS SOPS 3294839 HAS SOUS 669354 HAS SOUPS 669354 WITH SCORE 672648.839
AT ITER 2747 NEW BEST:: SOT 9572173 SOS 3294728 HAS SOPS 3294728 HAS SOUS 669243 HAS SOUPS 669243 WITH SCORE 672537.728
AT ITER 2748 NEW BEST:: SOT 9571910 SOS 3294354 HAS SOPS 3294354 HAS SOUS 668717 HAS SOUPS 668717 WITH SCORE 672011.354
AT ITER 2751 NEW BEST:: SOT 9571835 SOS 3294204 HAS SOPS 3294204 HAS SOUS 668624 HAS SOUPS 668624 WITH SCORE 671918.204
AT ITER 2753 NEW BEST:: SOT 9571835 SOS 3294480 HAS SOPS 3294480 HAS SOUS 668600 HAS SOUPS 668600 WITH SCORE 671894.48
AT ITER 2765 NEW BEST:: SOT 9571834 SOS 3294478 HAS SOPS 3294478 HAS SOUS 668598 HAS SOUPS 668598 WITH SCORE 671892.478
AT ITER 2778 NEW BEST:: SOT 9571720 SOS 3294250 HAS SOPS 3294250 HAS SOUS 668370 HAS SOUPS 668370 WITH SCORE 671664.25
AT ITER 2800 NEW BEST:: SOT 9571540 SOS 3293890 HAS SOPS 3293890 HAS SOUS 668190 HAS SOUPS 668190 WITH SCORE 671483.89
AT ITER 2804 NEW BEST:: SOT 9571540 SOS 3293832 HAS SOPS 3293832 HAS SOUS 668085 HAS SOUPS 668085 WITH SCORE 671378.832
AT ITER 2814 NEW BEST:: SOT 9571532 SOS 3293830 HAS SOPS 3293830 HAS SOUS 668081 HAS SOUPS 668081 WITH SCORE 671374.83
AT ITER 2817 NEW BEST:: SOT 9569593 SOS 3306078 HAS SOPS 3306078 HAS SOUS 666999 HAS SOUPS 666999 WITH SCORE 670305.078
AT ITER 2820 NEW BEST:: SOT 9569473 SOS 3305808 HAS SOPS 3305808 HAS SOUS 666783 HAS SOUPS 666783 WITH SCORE 670088.808
AT ITER 2821 NEW BEST:: SOT 9568919 SOS 3305370 HAS SOPS 3305370 HAS SOUS 666221 HAS SOUPS 666221 WITH SCORE 669526.37
AT ITER 2838 NEW BEST:: SOT 9569212 SOS 3306842 HAS SOPS 3306842 HAS SOUS 666132 HAS SOUPS 666132 WITH SCORE 669438.842
AT ITER 2864 NEW BEST:: SOT 9569239 SOS 3306788 HAS SOPS 3306788 HAS SOUS 666114 HAS SOUPS 666114 WITH SCORE 669420.788
AT ITER 2867 NEW BEST:: SOT 9569239 SOS 3306788 HAS SOPS 3306788 HAS SOUS 666113 HAS SOUPS 666113 WITH SCORE 669419.788
AT ITER 2869 NEW BEST:: SOT 9569563 SOS 3306464 HAS SOPS 3306464 HAS SOUS 666113 HAS SOUPS 666113 WITH SCORE 669419.464
AT ITER 2879 NEW BEST:: SOT 9569428 SOS 3306440 HAS SOPS 3306440 HAS SOUS 666019 HAS SOUPS 666019 WITH SCORE 669325.44
AT ITER 2894 NEW BEST:: SOT 9569347 SOS 3306253 HAS SOPS 3306253 HAS SOUS 665938 HAS SOUPS 665938 WITH SCORE 669244.253
AT ITER 2896 NEW BEST:: SOT 9569433 SOS 3306137 HAS SOPS 3306137 HAS SOUS 665915 HAS SOUPS 665915 WITH SCORE 669221.137
AT ITER 2897 NEW BEST:: SOT 9569370 SOS 3306011 HAS SOPS 3306011 HAS SOUS 665789 HAS SOUPS 665789 WITH SCORE 669095.011
AT ITER 2899 NEW BEST:: SOT 9569313 SOS 3305891 HAS SOPS 3305891 HAS SOUS 665635 HAS SOUPS 665635 WITH SCORE 668940.891
AT ITER 2900 NEW BEST:: SOT 9569262 SOS 3305789 HAS SOPS 3305789 HAS SOUS 665533 HAS SOUPS 665533 WITH SCORE 668838.789
AT ITER 2915 NEW BEST:: SOT 9569246 SOS 3305593 HAS SOPS 3305593 HAS SOUS 665406 HAS SOUPS 665406 WITH SCORE 668711.593
AT ITER 2933 NEW BEST:: SOT 9569246 SOS 3305600 HAS SOPS 3305600 HAS SOUS 664523 HAS SOUPS 664523 WITH SCORE 667828.6
AT ITER 2963 NEW BEST:: SOT 9569160 SOS 3305428 HAS SOPS 3305428 HAS SOUS 664351 HAS SOUPS 664351 WITH SCORE 667656.428
AT ITER 3018 NEW BEST:: SOT 9569160 SOS 3305428 HAS SOPS 3305428 HAS SOUS 664206 HAS SOUPS 664206 WITH SCORE 667511.428
AT ITER 3047 NEW BEST:: SOT 9569160 SOS 3305514 HAS SOPS 3305514 HAS SOUS 664155 HAS SOUPS 664155 WITH SCORE 667460.514
AT ITER 3048 NEW BEST:: SOT 9569136 SOS 3305441 HAS SOPS 3305441 HAS SOUS 664105 HAS SOUPS 664105 WITH SCORE 667410.441
AT ITER 3060 NEW BEST:: SOT 9569368 SOS 3305557 HAS SOPS 3305557 HAS SOUS 663873 HAS SOUPS 663873 WITH SCORE 667178.557
AT ITER 3068 NEW BEST:: SOT 9569279 SOS 3305379 HAS SOPS 3305379 HAS SOUS 663695 HAS SOUPS 663695 WITH SCORE 667000.379
AT ITER 3070 NEW BEST:: SOT 9569148 SOS 3305247 HAS SOPS 3305247 HAS SOUS 663598 HAS SOUPS 663598 WITH SCORE 666903.247
AT ITER 3097 NEW BEST:: SOT 9569148 SOS 3305247 HAS SOPS 3305247 HAS SOUS 663597 HAS SOUPS 663597 WITH SCORE 666902.247
AT ITER 3109 NEW BEST:: SOT 9569148 SOS 3305216 HAS SOPS 3305216 HAS SOUS 663566 HAS SOUPS 663566 WITH SCORE 666871.216
AT ITER 3115 NEW BEST:: SOT 9569148 SOS 3305114 HAS SOPS 3305114 HAS SOUS 663464 HAS SOUPS 663464 WITH SCORE 666769.114
AT ITER 3132 NEW BEST:: SOT 9568968 SOS 3305066 HAS SOPS 3305066 HAS SOUS 663191 HAS SOUPS 663191 WITH SCORE 666496.066
AT ITER 3136 NEW BEST:: SOT 9568962 SOS 3305066 HAS SOPS 3305066 HAS SOUS 663182 HAS SOUPS 663182 WITH SCORE 666487.066
AT ITER 3142 NEW BEST:: SOT 9568971 SOS 3304928 HAS SOPS 3304928 HAS SOUS 663039 HAS SOUPS 663039 WITH SCORE 666343.928
AT ITER 3153 NEW BEST:: SOT 9568819 SOS 3304624 HAS SOPS 3304624 HAS SOUS 662927 HAS SOUPS 662927 WITH SCORE 666231.624
AT ITER 3161 NEW BEST:: SOT 9568356 SOS 3305172 HAS SOPS 3305172 HAS SOUS 662799 HAS SOUPS 662799 WITH SCORE 666104.172
AT ITER 3177 NEW BEST:: SOT 9568351 SOS 3305167 HAS SOPS 3305167 HAS SOUS 662794 HAS SOUPS 662794 WITH SCORE 666099.167
AT ITER 3212 NEW BEST:: SOT 9568283 SOS 3305031 HAS SOPS 3305031 HAS SOUS 662658 HAS SOUPS 662658 WITH SCORE 665963.031
AT ITER 3215 NEW BEST:: SOT 9565677 SOS 3304738 HAS SOPS 3304738 HAS SOUS 660960 HAS SOUPS 660960 WITH SCORE 664264.738
AT ITER 3218 NEW BEST:: SOT 9565693 SOS 3305763 HAS SOPS 3305763 HAS SOUS 660945 HAS SOUPS 660945 WITH SCORE 664250.763
AT ITER 3222 NEW BEST:: SOT 9565693 SOS 3305719 HAS SOPS 3305719 HAS SOUS 660933 HAS SOUPS 660933 WITH SCORE 664238.719
AT ITER 3234 NEW BEST:: SOT 9565688 SOS 3305417 HAS SOPS 3305417 HAS SOUS 660915 HAS SOUPS 660915 WITH SCORE 664220.417
AT ITER 3240 NEW BEST:: SOT 9565505 SOS 3305234 HAS SOPS 3305234 HAS SOUS 660614 HAS SOUPS 660614 WITH SCORE 663919.234
AT ITER 3253 NEW BEST:: SOT 9565495 SOS 3305224 HAS SOPS 3305224 HAS SOUS 660604 HAS SOUPS 660604 WITH SCORE 663909.224
AT ITER 3265 NEW BEST:: SOT 9565495 SOS 3305032 HAS SOPS 3305032 HAS SOUS 660604 HAS SOUPS 660604 WITH SCORE 663909.032
AT ITER 3269 NEW BEST:: SOT 9565406 SOS 3305036 HAS SOPS 3305036 HAS SOUS 660517 HAS SOUPS 660517 WITH SCORE 663822.036
AT ITER 3298 NEW BEST:: SOT 9565423 SOS 3305290 HAS SOPS 3305290 HAS SOUS 660507 HAS SOUPS 660507 WITH SCORE 663812.29
AT ITER 3324 NEW BEST:: SOT 9564987 SOS 3304992 HAS SOPS 3304992 HAS SOUS 660322 HAS SOUPS 660322 WITH SCORE 663626.992
AT ITER 3334 NEW BEST:: SOT 9565087 SOS 3304892 HAS SOPS 3304892 HAS SOUS 660322 HAS SOUPS 660322 WITH SCORE 663626.892
AT ITER 3356 NEW BEST:: SOT 9564983 SOS 3304788 HAS SOPS 3304788 HAS SOUS 660203 HAS SOUPS 660203 WITH SCORE 663507.788
AT ITER 3358 NEW BEST:: SOT 9564978 SOS 3304778 HAS SOPS 3304778 HAS SOUS 660193 HAS SOUPS 660193 WITH SCORE 663497.778
AT ITER 3363 NEW BEST:: SOT 9565012 SOS 3304732 HAS SOPS 3304732 HAS SOUS 659938 HAS SOUPS 659938 WITH SCORE 663242.732
AT ITER 3364 NEW BEST:: SOT 9564983 SOS 3304663 HAS SOPS 3304663 HAS SOUS 659869 HAS SOUPS 659869 WITH SCORE 663173.663
AT ITER 3366 NEW BEST:: SOT 9564983 SOS 3304789 HAS SOPS 3304789 HAS SOUS 659371 HAS SOUPS 659371 WITH SCORE 662675.789
AT ITER 3380 NEW BEST:: SOT 9565523 SOS 3305258 HAS SOPS 3305258 HAS SOUS 659134 HAS SOUPS 659134 WITH SCORE 662439.258
AT ITER 3399 NEW BEST:: SOT 9565403 SOS 3300158 HAS SOPS 3300158 HAS SOUS 658954 HAS SOUPS 658954 WITH SCORE 662254.158
AT ITER 3400 NEW BEST:: SOT 9565403 SOS 3300098 HAS SOPS 3300098 HAS SOUS 658954 HAS SOUPS 658954 WITH SCORE 662254.098
AT ITER 3401 NEW BEST:: SOT 9565378 SOS 3300048 HAS SOPS 3300048 HAS SOUS 658692 HAS SOUPS 658692 WITH SCORE 661992.048
AT ITER 3404 NEW BEST:: SOT 9565236 SOS 3301528 HAS SOPS 3301528 HAS SOUS 658353 HAS SOUPS 658353 WITH SCORE 661654.528
AT ITER 3410 NEW BEST:: SOT 9565236 SOS 3301528 HAS SOPS 3301528 HAS SOUS 658223 HAS SOUPS 658223 WITH SCORE 661524.528
AT ITER 3415 NEW BEST:: SOT 9565236 SOS 3301528 HAS SOPS 3301528 HAS SOUS 658204 HAS SOUPS 658204 WITH SCORE 661505.528
AT ITER 3425 NEW BEST:: SOT 9565195 SOS 3301487 HAS SOPS 3301487 HAS SOUS 658163 HAS SOUPS 658163 WITH SCORE 661464.487
AT ITER 3429 NEW BEST:: SOT 9565222 SOS 3301623 HAS SOPS 3301623 HAS SOUS 658135 HAS SOUPS 658135 WITH SCORE 661436.623
AT ITER 3433 NEW BEST:: SOT 9565067 SOS 3301313 HAS SOPS 3301313 HAS SOUS 657806 HAS SOUPS 657806 WITH SCORE 661107.313
AT ITER 3440 NEW BEST:: SOT 9565171 SOS 3301321 HAS SOPS 3301321 HAS SOUS 657766 HAS SOUPS 657766 WITH SCORE 661067.321
AT ITER 3450 NEW BEST:: SOT 9565406 SOS 3301747 HAS SOPS 3301747 HAS SOUS 657570 HAS SOUPS 657570 WITH SCORE 660871.747
AT ITER 3452 NEW BEST:: SOT 9565380 SOS 3301566 HAS SOPS 3301566 HAS SOUS 657544 HAS SOUPS 657544 WITH SCORE 660845.566
AT ITER 3478 NEW BEST:: SOT 9565353 SOS 3301512 HAS SOPS 3301512 HAS SOUS 657516 HAS SOUPS 657516 WITH SCORE 660817.512
AT ITER 3496 NEW BEST:: SOT 9565233 SOS 3301160 HAS SOPS 3301160 HAS SOUS 657454 HAS SOUPS 657454 WITH SCORE 660755.16
AT ITER 3509 NEW BEST:: SOT 9565162 SOS 3296696 HAS SOPS 3296696 HAS SOUS 657383 HAS SOUPS 657383 WITH SCORE 660679.696
AT ITER 3518 NEW BEST:: SOT 9565092 SOS 3296691 HAS SOPS 3296691 HAS SOUS 657178 HAS SOUPS 657178 WITH SCORE 660474.691
AT ITER 3522 NEW BEST:: SOT 9565092 SOS 3298133 HAS SOPS 3298133 HAS SOUS 657086 HAS SOUPS 657086 WITH SCORE 660384.133
AT ITER 3544 NEW BEST:: SOT 9564767 SOS 3298185 HAS SOPS 3298185 HAS SOUS 656862 HAS SOUPS 656862 WITH SCORE 660160.185
AT ITER 3570 NEW BEST:: SOT 9564080 SOS 3299829 HAS SOPS 3299829 HAS SOUS 656416 HAS SOUPS 656416 WITH SCORE 659715.829
AT ITER 3574 NEW BEST:: SOT 9564241 SOS 3300480 HAS SOPS 3300480 HAS SOUS 656409 HAS SOUPS 656409 WITH SCORE 659709.48
AT ITER 3593 NEW BEST:: SOT 9564200 SOS 3300272 HAS SOPS 3300272 HAS SOUS 656368 HAS SOUPS 656368 WITH SCORE 659668.272
AT ITER 3602 NEW BEST:: SOT 9564200 SOS 3300272 HAS SOPS 3300272 HAS SOUS 656366 HAS SOUPS 656366 WITH SCORE 659666.272
AT ITER 3632 NEW BEST:: SOT 9564271 SOS 3300011 HAS SOPS 3300011 HAS SOUS 656040 HAS SOUPS 656040 WITH SCORE 659340.011
AT ITER 3635 NEW BEST:: SOT 9564366 SOS 3321068 HAS SOPS 3321068 HAS SOUS 655781 HAS SOUPS 655781 WITH SCORE 659102.068
AT ITER 3660 NEW BEST:: SOT 9564307 SOS 3320950 HAS SOPS 3320950 HAS SOUS 655663 HAS SOUPS 655663 WITH SCORE 658983.95
AT ITER 3676 NEW BEST:: SOT 9564029 SOS 3321364 HAS SOPS 3321364 HAS SOUS 655605 HAS SOUPS 655605 WITH SCORE 658926.364
AT ITER 3689 NEW BEST:: SOT 9563936 SOS 3321178 HAS SOPS 3321178 HAS SOUS 654858 HAS SOUPS 654858 WITH SCORE 658179.178
AT ITER 3703 NEW BEST:: SOT 9563936 SOS 3321015 HAS SOPS 3321015 HAS SOUS 654858 HAS SOUPS 654858 WITH SCORE 658179.015
AT ITER 3716 NEW BEST:: SOT 9563936 SOS 3321015 HAS SOPS 3321015 HAS SOUS 654772 HAS SOUPS 654772 WITH SCORE 658093.015
AT ITER 3717 NEW BEST:: SOT 9563767 SOS 3320929 HAS SOPS 3320929 HAS SOUS 654622 HAS SOUPS 654622 WITH SCORE 657942.929
AT ITER 3734 NEW BEST:: SOT 9563583 SOS 3321113 HAS SOPS 3321113 HAS SOUS 654438 HAS SOUPS 654438 WITH SCORE 657759.113
AT ITER 3735 NEW BEST:: SOT 9563583 SOS 3321113 HAS SOPS 3321113 HAS SOUS 654287 HAS SOUPS 654287 WITH SCORE 657608.113
AT ITER 3784 NEW BEST:: SOT 9563682 SOS 3321563 HAS SOPS 3321563 HAS SOUS 654164 HAS SOUPS 654164 WITH SCORE 657485.563
AT ITER 3795 NEW BEST:: SOT 9563682 SOS 3321563 HAS SOPS 3321563 HAS SOUS 654163 HAS SOUPS 654163 WITH SCORE 657484.563
AT ITER 3800 NEW BEST:: SOT 9563396 SOS 3320991 HAS SOPS 3320991 HAS SOUS 627028 HAS SOUPS 627028 WITH SCORE 630348.991
AT ITER 3827 NEW BEST:: SOT 9563396 SOS 3320949 HAS SOPS 3320949 HAS SOUS 626986 HAS SOUPS 626986 WITH SCORE 630306.949
AT ITER 3836 NEW BEST:: SOT 9563389 SOS 3320935 HAS SOPS 3320935 HAS SOUS 626778 HAS SOUPS 626778 WITH SCORE 630098.935
AT ITER 3855 NEW BEST:: SOT 9562399 SOS 3320296 HAS SOPS 3320296 HAS SOUS 626129 HAS SOUPS 626129 WITH SCORE 629449.296
AT ITER 3860 NEW BEST:: SOT 9562466 SOS 3320159 HAS SOPS 3320159 HAS SOUS 625992 HAS SOUPS 625992 WITH SCORE 629312.159
AT ITER 3861 NEW BEST:: SOT 9562460 SOS 3320147 HAS SOPS 3320147 HAS SOUS 625980 HAS SOUPS 625980 WITH SCORE 629300.147
AT ITER 3874 NEW BEST:: SOT 9562608 SOS 3320443 HAS SOPS 3320443 HAS SOUS 625966 HAS SOUPS 625966 WITH SCORE 629286.443
AT ITER 3882 NEW BEST:: SOT 9562608 SOS 3320443 HAS SOPS 3320443 HAS SOUS 625823 HAS SOUPS 625823 WITH SCORE 629143.443
AT ITER 3890 NEW BEST:: SOT 9562608 SOS 3320443 HAS SOPS 3320443 HAS SOUS 625807 HAS SOUPS 625807 WITH SCORE 629127.443
AT ITER 3906 NEW BEST:: SOT 9562572 SOS 3320371 HAS SOPS 3320371 HAS SOUS 625598 HAS SOUPS 625598 WITH SCORE 628918.371
AT ITER 3932 NEW BEST:: SOT 9562572 SOS 3320371 HAS SOPS 3320371 HAS SOUS 625533 HAS SOUPS 625533 WITH SCORE 628853.371
AT ITER 3935 NEW BEST:: SOT 9562572 SOS 3321668 HAS SOPS 3321668 HAS SOUS 625177 HAS SOUPS 625177 WITH SCORE 628498.668
AT ITER 3980 NEW BEST:: SOT 9562557 SOS 3321638 HAS SOPS 3321638 HAS SOUS 625147 HAS SOUPS 625147 WITH SCORE 628468.638
AT ITER 3982 NEW BEST:: SOT 9562557 SOS 3321638 HAS SOPS 3321638 HAS SOUS 625064 HAS SOUPS 625064 WITH SCORE 628385.638
AT ITER 3983 NEW BEST:: SOT 9562547 SOS 3321618 HAS SOPS 3321618 HAS SOUS 625044 HAS SOUPS 625044 WITH SCORE 628365.618
AT ITER 4009 NEW BEST:: SOT 9562546 SOS 3321616 HAS SOPS 3321616 HAS SOUS 625042 HAS SOUPS 625042 WITH SCORE 628363.616
AT ITER 4012 NEW BEST:: SOT 9562546 SOS 3321264 HAS SOPS 3321264 HAS SOUS 625042 HAS SOUPS 625042 WITH SCORE 628363.264
AT ITER 4041 NEW BEST:: SOT 9562519 SOS 3321210 HAS SOPS 3321210 HAS SOUS 625015 HAS SOUPS 625015 WITH SCORE 628336.21
AT ITER 4058 NEW BEST:: SOT 9562102 SOS 3320822 HAS SOPS 3320822 HAS SOUS 624906 HAS SOUPS 624906 WITH SCORE 628226.822
AT ITER 4062 NEW BEST:: SOT 9561997 SOS 3320927 HAS SOPS 3320927 HAS SOUS 624801 HAS SOUPS 624801 WITH SCORE 628121.927
AT ITER 4064 NEW BEST:: SOT 9561998 SOS 3320548 HAS SOPS 3320548 HAS SOUS 624422 HAS SOUPS 624422 WITH SCORE 627742.548
AT ITER 4076 NEW BEST:: SOT 9561998 SOS 3320548 HAS SOPS 3320548 HAS SOUS 624400 HAS SOUPS 624400 WITH SCORE 627720.548
AT ITER 4110 NEW BEST:: SOT 9562749 SOS 3322295 HAS SOPS 3322295 HAS SOUS 624395 HAS SOUPS 624395 WITH SCORE 627717.295
AT ITER 4132 NEW BEST:: SOT 9562793 SOS 3322251 HAS SOPS 3322251 HAS SOUS 624390 HAS SOUPS 624390 WITH SCORE 627712.251
AT ITER 4158 NEW BEST:: SOT 9562713 SOS 3322091 HAS SOPS 3322091 HAS SOUS 624230 HAS SOUPS 624230 WITH SCORE 627552.091
AT ITER 4159 NEW BEST:: SOT 9562764 SOS 3321950 HAS SOPS 3321950 HAS SOUS 623846 HAS SOUPS 623846 WITH SCORE 627167.95
AT ITER 4169 NEW BEST:: SOT 9562057 SOS 3333999 HAS SOPS 3333999 HAS SOUS 623391 HAS SOUPS 623391 WITH SCORE 626724.999
AT ITER 4177 NEW BEST:: SOT 9561986 SOS 3333857 HAS SOPS 3333857 HAS SOUS 623281 HAS SOUPS 623281 WITH SCORE 626614.857
AT ITER 4189 NEW BEST:: SOT 9561645 SOS 3333703 HAS SOPS 3333703 HAS SOUS 622865 HAS SOUPS 622865 WITH SCORE 626198.703
AT ITER 4198 NEW BEST:: SOT 9561889 SOS 3334191 HAS SOPS 3334191 HAS SOUS 622829 HAS SOUPS 622829 WITH SCORE 626163.191
AT ITER 4237 NEW BEST:: SOT 9561889 SOS 3334151 HAS SOPS 3334151 HAS SOUS 622749 HAS SOUPS 622749 WITH SCORE 626083.151
AT ITER 4260 NEW BEST:: SOT 9560081 SOS 3331847 HAS SOPS 3331847 HAS SOUS 620686 HAS SOUPS 620686 WITH SCORE 624017.847
AT ITER 4269 NEW BEST:: SOT 9560176 SOS 3332037 HAS SOPS 3332037 HAS SOUS 620599 HAS SOUPS 620599 WITH SCORE 623931.037
AT ITER 4293 NEW BEST:: SOT 9560249 SOS 3331901 HAS SOPS 3331901 HAS SOUS 620463 HAS SOUPS 620463 WITH SCORE 623794.901
AT ITER 4294 NEW BEST:: SOT 9560249 SOS 3331901 HAS SOPS 3331901 HAS SOUS 620222 HAS SOUPS 620222 WITH SCORE 623553.901
AT ITER 4319 NEW BEST:: SOT 9560117 SOS 3331769 HAS SOPS 3331769 HAS SOUS 620090 HAS SOUPS 620090 WITH SCORE 623421.769
AT ITER 4327 NEW BEST:: SOT 9559954 SOS 3331606 HAS SOPS 3331606 HAS SOUS 619906 HAS SOUPS 619906 WITH SCORE 623237.606
AT ITER 4352 NEW BEST:: SOT 9559951 SOS 3331600 HAS SOPS 3331600 HAS SOUS 619900 HAS SOUPS 619900 WITH SCORE 623231.6
AT ITER 4363 NEW BEST:: SOT 9559792 SOS 3331615 HAS SOPS 3331615 HAS SOUS 619852 HAS SOUPS 619852 WITH SCORE 623183.615
AT ITER 4364 NEW BEST:: SOT 9559540 SOS 3331543 HAS SOPS 3331543 HAS SOUS 619752 HAS SOUPS 619752 WITH SCORE 623083.543
AT ITER 4366 NEW BEST:: SOT 9559224 SOS 3330389 HAS SOPS 3330389 HAS SOUS 619516 HAS SOUPS 619516 WITH SCORE 622846.389
AT ITER 4367 NEW BEST:: SOT 9559116 SOS 3330350 HAS SOPS 3330350 HAS SOUS 619408 HAS SOUPS 619408 WITH SCORE 622738.35
AT ITER 4388 NEW BEST:: SOT 9559114 SOS 3329886 HAS SOPS 3329886 HAS SOUS 619314 HAS SOUPS 619314 WITH SCORE 622643.886
AT ITER 4398 NEW BEST:: SOT 9559114 SOS 3329923 HAS SOPS 3329923 HAS SOUS 619199 HAS SOUPS 619199 WITH SCORE 622528.923
AT ITER 4399 NEW BEST:: SOT 9559119 SOS 3329922 HAS SOPS 3329922 HAS SOUS 619194 HAS SOUPS 619194 WITH SCORE 622523.922
AT ITER 4410 NEW BEST:: SOT 9558969 SOS 3329697 HAS SOPS 3329697 HAS SOUS 619043 HAS SOUPS 619043 WITH SCORE 622372.697
AT ITER 4423 NEW BEST:: SOT 9558795 SOS 3329523 HAS SOPS 3329523 HAS SOUS 618904 HAS SOUPS 618904 WITH SCORE 622233.523
AT ITER 4425 NEW BEST:: SOT 9558775 SOS 3329483 HAS SOPS 3329483 HAS SOUS 618884 HAS SOUPS 618884 WITH SCORE 622213.483
AT ITER 4445 NEW BEST:: SOT 9558697 SOS 3329405 HAS SOPS 3329405 HAS SOUS 618840 HAS SOUPS 618840 WITH SCORE 622169.405
AT ITER 4452 NEW BEST:: SOT 9558697 SOS 3329328 HAS SOPS 3329328 HAS SOUS 618828 HAS SOUPS 618828 WITH SCORE 622157.328
AT ITER 4467 NEW BEST:: SOT 9558697 SOS 3329357 HAS SOPS 3329357 HAS SOUS 618827 HAS SOUPS 618827 WITH SCORE 622156.357
AT ITER 4482 NEW BEST:: SOT 9558745 SOS 3329029 HAS SOPS 3329029 HAS SOUS 618590 HAS SOUPS 618590 WITH SCORE 621919.029
AT ITER 4492 NEW BEST:: SOT 9558647 SOS 3328833 HAS SOPS 3328833 HAS SOUS 618491 HAS SOUPS 618491 WITH SCORE 621819.833
AT ITER 4494 NEW BEST:: SOT 9558582 SOS 3328703 HAS SOPS 3328703 HAS SOUS 618426 HAS SOUPS 618426 WITH SCORE 621754.703
AT ITER 4502 NEW BEST:: SOT 9558430 SOS 3331435 HAS SOPS 3331435 HAS SOUS 618122 HAS SOUPS 618122 WITH SCORE 621453.435
AT ITER 4508 NEW BEST:: SOT 9558211 SOS 3331216 HAS SOPS 3331216 HAS SOUS 617903 HAS SOUPS 617903 WITH SCORE 621234.216
AT ITER 4530 NEW BEST:: SOT 9558006 SOS 3330806 HAS SOPS 3330806 HAS SOUS 617781 HAS SOUPS 617781 WITH SCORE 621111.806
AT ITER 4549 NEW BEST:: SOT 9558006 SOS 3330681 HAS SOPS 3330681 HAS SOUS 617656 HAS SOUPS 617656 WITH SCORE 620986.681
AT ITER 4556 NEW BEST:: SOT 9558006 SOS 3331065 HAS SOPS 3331065 HAS SOUS 617652 HAS SOUPS 617652 WITH SCORE 620983.065
AT ITER 4579 NEW BEST:: SOT 9558006 SOS 3331065 HAS SOPS 3331065 HAS SOUS 617651 HAS SOUPS 617651 WITH SCORE 620982.065
AT ITER 4588 NEW BEST:: SOT 9558006 SOS 3331048 HAS SOPS 3331048 HAS SOUS 617605 HAS SOUPS 617605 WITH SCORE 620936.048
AT ITER 4589 NEW BEST:: SOT 9558000 SOS 3331042 HAS SOPS 3331042 HAS SOUS 617604 HAS SOUPS 617604 WITH SCORE 620935.042
AT ITER 4591 NEW BEST:: SOT 9557600 SOS 3330642 HAS SOPS 3330642 HAS SOUS 614173 HAS SOUPS 614173 WITH SCORE 617503.642
AT ITER 4593 NEW BEST:: SOT 9558728 SOS 3331770 HAS SOPS 3331770 HAS SOUS 613819 HAS SOUPS 613819 WITH SCORE 617150.77
AT ITER 4599 NEW BEST:: SOT 9558727 SOS 3331768 HAS SOPS 3331768 HAS SOUS 613817 HAS SOUPS 613817 WITH SCORE 617148.768
AT ITER 4628 NEW BEST:: SOT 9558998 SOS 3332310 HAS SOPS 3332310 HAS SOUS 613801 HAS SOUPS 613801 WITH SCORE 617133.31
AT ITER 4651 NEW BEST:: SOT 9558997 SOS 3332308 HAS SOPS 3332308 HAS SOUS 613799 HAS SOUPS 613799 WITH SCORE 617131.308
AT ITER 4657 NEW BEST:: SOT 9558924 SOS 3332162 HAS SOPS 3332162 HAS SOUS 613682 HAS SOUPS 613682 WITH SCORE 617014.162
AT ITER 4664 NEW BEST:: SOT 9558919 SOS 3332152 HAS SOPS 3332152 HAS SOUS 613513 HAS SOUPS 613513 WITH SCORE 616845.152
AT ITER 4670 NEW BEST:: SOT 9558898 SOS 3332110 HAS SOPS 3332110 HAS SOUS 613471 HAS SOUPS 613471 WITH SCORE 616803.11
AT ITER 4672 NEW BEST:: SOT 9558758 SOS 3331884 HAS SOPS 3331884 HAS SOUS 613313 HAS SOUPS 613313 WITH SCORE 616644.884
AT ITER 4682 NEW BEST:: SOT 9557657 SOS 3330783 HAS SOPS 3330783 HAS SOUS 612193 HAS SOUPS 612193 WITH SCORE 615523.783
AT ITER 4726 NEW BEST:: SOT 9557548 SOS 3330565 HAS SOPS 3330565 HAS SOUS 611975 HAS SOUPS 611975 WITH SCORE 615305.565
AT ITER 4744 NEW BEST:: SOT 9557547 SOS 3330563 HAS SOPS 3330563 HAS SOUS 611973 HAS SOUPS 611973 WITH SCORE 615303.563
AT ITER 4756 NEW BEST:: SOT 9557547 SOS 3330563 HAS SOPS 3330563 HAS SOUS 611972 HAS SOUPS 611972 WITH SCORE 615302.563
AT ITER 4775 NEW BEST:: SOT 9557539 SOS 3330547 HAS SOPS 3330547 HAS SOUS 611956 HAS SOUPS 611956 WITH SCORE 615286.547
AT ITER 4779 NEW BEST:: SOT 9557510 SOS 3330489 HAS SOPS 3330489 HAS SOUS 611919 HAS SOUPS 611919 WITH SCORE 615249.489
AT ITER 4792 NEW BEST:: SOT 9557136 SOS 3330302 HAS SOPS 3330302 HAS SOUS 611545 HAS SOUPS 611545 WITH SCORE 614875.302
AT ITER 4804 NEW BEST:: SOT 9556905 SOS 3330071 HAS SOPS 3330071 HAS SOUS 611314 HAS SOUPS 611314 WITH SCORE 614644.071
AT ITER 4820 NEW BEST:: SOT 9556905 SOS 3330071 HAS SOPS 3330071 HAS SOUS 611251 HAS SOUPS 611251 WITH SCORE 614581.071
AT ITER 4841 NEW BEST:: SOT 9556948 SOS 3330364 HAS SOPS 3330364 HAS SOUS 611130 HAS SOUPS 611130 WITH SCORE 614460.364
AT ITER 4853 NEW BEST:: SOT 9556922 SOS 3330312 HAS SOPS 3330312 HAS SOUS 611078 HAS SOUPS 611078 WITH SCORE 614408.312
AT ITER 4860 NEW BEST:: SOT 9556675 SOS 3330448 HAS SOPS 3330448 HAS SOUS 610853 HAS SOUPS 610853 WITH SCORE 614183.448
AT ITER 4874 NEW BEST:: SOT 9556545 SOS 3330469 HAS SOPS 3330469 HAS SOUS 610442 HAS SOUPS 610442 WITH SCORE 613772.469
AT ITER 4875 NEW BEST:: SOT 9556545 SOS 3330219 HAS SOPS 3330219 HAS SOUS 610442 HAS SOUPS 610442 WITH SCORE 613772.219
AT ITER 4912 NEW BEST:: SOT 9556293 SOS 3330303 HAS SOPS 3330303 HAS SOUS 610292 HAS SOUPS 610292 WITH SCORE 613622.303
AT ITER 4918 NEW BEST:: SOT 9556205 SOS 3330127 HAS SOPS 3330127 HAS SOUS 610006 HAS SOUPS 610006 WITH SCORE 613336.127
AT ITER 4942 NEW BEST:: SOT 9556123 SOS 3330045 HAS SOPS 3330045 HAS SOUS 610006 HAS SOUPS 610006 WITH SCORE 613336.045
AT ITER 4944 NEW BEST:: SOT 9556095 SOS 3329989 HAS SOPS 3329989 HAS SOUS 609950 HAS SOUPS 609950 WITH SCORE 613279.989
AT ITER 4988 NEW BEST:: SOT 9556450 SOS 3329948 HAS SOPS 3329948 HAS SOUS 609906 HAS SOUPS 609906 WITH SCORE 613235.948
AT ITER 4993 NEW BEST:: SOT 9556450 SOS 3329835 HAS SOPS 3329835 HAS SOUS 609856 HAS SOUPS 609856 WITH SCORE 613185.835
AT ITER 5003 NEW BEST:: SOT 9556264 SOS 3329649 HAS SOPS 3329649 HAS SOUS 609670 HAS SOUPS 609670 WITH SCORE 612999.649
AT ITER 5061 NEW BEST:: SOT 9556264 SOS 3329593 HAS SOPS 3329593 HAS SOUS 609536 HAS SOUPS 609536 WITH SCORE 612865.593
AT ITER 5064 NEW BEST:: SOT 9556264 SOS 3329593 HAS SOPS 3329593 HAS SOUS 609507 HAS SOUPS 609507 WITH SCORE 612836.593
AT ITER 5076 NEW BEST:: SOT 9556264 SOS 3329593 HAS SOPS 3329593 HAS SOUS 609506 HAS SOUPS 609506 WITH SCORE 612835.593
AT ITER 5077 NEW BEST:: SOT 9556264 SOS 3329497 HAS SOPS 3329497 HAS SOUS 609490 HAS SOUPS 609490 WITH SCORE 612819.497
AT ITER 5100 NEW BEST:: SOT 9556264 SOS 3330272 HAS SOPS 3330272 HAS SOUS 609335 HAS SOUPS 609335 WITH SCORE 612665.272
AT ITER 5114 NEW BEST:: SOT 9556195 SOS 3329513 HAS SOPS 3329513 HAS SOUS 609128 HAS SOUPS 609128 WITH SCORE 612457.513
AT ITER 5178 NEW BEST:: SOT 9556091 SOS 3329305 HAS SOPS 3329305 HAS SOUS 609128 HAS SOUPS 609128 WITH SCORE 612457.305
AT ITER 5181 NEW BEST:: SOT 9556000 SOS 3329123 HAS SOPS 3329123 HAS SOUS 609035 HAS SOUPS 609035 WITH SCORE 612364.123
AT ITER 5190 NEW BEST:: SOT 9555956 SOS 3328854 HAS SOPS 3328854 HAS SOUS 608919 HAS SOUPS 608919 WITH SCORE 612247.854
AT ITER 5193 NEW BEST:: SOT 9555855 SOS 3328820 HAS SOPS 3328820 HAS SOUS 608794 HAS SOUPS 608794 WITH SCORE 612122.82
AT ITER 5207 NEW BEST:: SOT 9555855 SOS 3328868 HAS SOPS 3328868 HAS SOUS 608708 HAS SOUPS 608708 WITH SCORE 612036.868
AT ITER 5220 NEW BEST:: SOT 9555759 SOS 3328676 HAS SOPS 3328676 HAS SOUS 608516 HAS SOUPS 608516 WITH SCORE 611844.676
AT ITER 5243 NEW BEST:: SOT 9555797 SOS 3328638 HAS SOPS 3328638 HAS SOUS 608478 HAS SOUPS 608478 WITH SCORE 611806.638
AT ITER 5244 NEW BEST:: SOT 9555768 SOS 3328609 HAS SOPS 3328609 HAS SOUS 608476 HAS SOUPS 608476 WITH SCORE 611804.609
AT ITER 5247 NEW BEST:: SOT 9555733 SOS 3329304 HAS SOPS 3329304 HAS SOUS 608441 HAS SOUPS 608441 WITH SCORE 611770.304
AT ITER 5274 NEW BEST:: SOT 9555733 SOS 3329308 HAS SOPS 3329308 HAS SOUS 608349 HAS SOUPS 608349 WITH SCORE 611678.308
AT ITER 5289 NEW BEST:: SOT 9555733 SOS 3329288 HAS SOPS 3329288 HAS SOUS 608282 HAS SOUPS 608282 WITH SCORE 611611.288
AT ITER 5297 NEW BEST:: SOT 9555525 SOS 3329153 HAS SOPS 3329153 HAS SOUS 607620 HAS SOUPS 607620 WITH SCORE 610949.153
AT ITER 5319 NEW BEST:: SOT 9555115 SOS 3328670 HAS SOPS 3328670 HAS SOUS 607597 HAS SOUPS 607597 WITH SCORE 610925.67
AT ITER 5344 NEW BEST:: SOT 9555107 SOS 3328654 HAS SOPS 3328654 HAS SOUS 607589 HAS SOUPS 607589 WITH SCORE 610917.654
AT ITER 5363 NEW BEST:: SOT 9554939 SOS 3328318 HAS SOPS 3328318 HAS SOUS 607253 HAS SOUPS 607253 WITH SCORE 610581.318
AT ITER 5364 NEW BEST:: SOT 9555126 SOS 3328213 HAS SOPS 3328213 HAS SOUS 606848 HAS SOUPS 606848 WITH SCORE 610176.213
AT ITER 5366 NEW BEST:: SOT 9555121 SOS 3328203 HAS SOPS 3328203 HAS SOUS 606838 HAS SOUPS 606838 WITH SCORE 610166.203
AT ITER 5370 NEW BEST:: SOT 9555121 SOS 3328282 HAS SOPS 3328282 HAS SOUS 606836 HAS SOUPS 606836 WITH SCORE 610164.282
AT ITER 5371 NEW BEST:: SOT 9555121 SOS 3328282 HAS SOPS 3328282 HAS SOUS 606699 HAS SOUPS 606699 WITH SCORE 610027.282
AT ITER 5380 NEW BEST:: SOT 9554603 SOS 3328143 HAS SOPS 3328143 HAS SOUS 606181 HAS SOUPS 606181 WITH SCORE 609509.143
AT ITER 5385 NEW BEST:: SOT 9554603 SOS 3328026 HAS SOPS 3328026 HAS SOUS 606181 HAS SOUPS 606181 WITH SCORE 609509.026
AT ITER 5389 NEW BEST:: SOT 9551032 SOS 3335172 HAS SOPS 3335172 HAS SOUS 603832 HAS SOUPS 603832 WITH SCORE 607167.172
AT ITER 5416 NEW BEST:: SOT 9550964 SOS 3335036 HAS SOPS 3335036 HAS SOUS 603696 HAS SOUPS 603696 WITH SCORE 607031.036
AT ITER 5422 NEW BEST:: SOT 9550964 SOS 3335036 HAS SOPS 3335036 HAS SOUS 603609 HAS SOUPS 603609 WITH SCORE 606944.036
AT ITER 5444 NEW BEST:: SOT 9550963 SOS 3335026 HAS SOPS 3335026 HAS SOUS 603599 HAS SOUPS 603599 WITH SCORE 606934.026
AT ITER 5481 NEW BEST:: SOT 9550898 SOS 3335006 HAS SOPS 3335006 HAS SOUS 603564 HAS SOUPS 603564 WITH SCORE 606899.006
AT ITER 5495 NEW BEST:: SOT 9550766 SOS 3334742 HAS SOPS 3334742 HAS SOUS 603492 HAS SOUPS 603492 WITH SCORE 606826.742
AT ITER 5497 NEW BEST:: SOT 9550766 SOS 3334710 HAS SOPS 3334710 HAS SOUS 603460 HAS SOUPS 603460 WITH SCORE 606794.71
AT ITER 5504 NEW BEST:: SOT 9550625 SOS 3335304 HAS SOPS 3335304 HAS SOUS 603319 HAS SOUPS 603319 WITH SCORE 606654.304
AT ITER 5505 NEW BEST:: SOT 9550526 SOS 3335269 HAS SOPS 3335269 HAS SOUS 603284 HAS SOUPS 603284 WITH SCORE 606619.269
AT ITER 5542 NEW BEST:: SOT 9550443 SOS 3335382 HAS SOPS 3335382 HAS SOUS 603201 HAS SOUPS 603201 WITH SCORE 606536.382
AT ITER 5570 NEW BEST:: SOT 9550109 SOS 3334714 HAS SOPS 3334714 HAS SOUS 603078 HAS SOUPS 603078 WITH SCORE 606412.714
AT ITER 5572 NEW BEST:: SOT 9549741 SOS 3334346 HAS SOPS 3334346 HAS SOUS 602710 HAS SOUPS 602710 WITH SCORE 606044.346
AT ITER 5573 NEW BEST:: SOT 9549089 SOS 3334176 HAS SOPS 3334176 HAS SOUS 602058 HAS SOUPS 602058 WITH SCORE 605392.176
AT ITER 5587 NEW BEST:: SOT 9549204 SOS 3334406 HAS SOPS 3334406 HAS SOUS 601872 HAS SOUPS 601872 WITH SCORE 605206.406
AT ITER 5599 NEW BEST:: SOT 9549203 SOS 3334407 HAS SOPS 3334407 HAS SOUS 601871 HAS SOUPS 601871 WITH SCORE 605205.407
AT ITER 5625 NEW BEST:: SOT 9549203 SOS 3334284 HAS SOPS 3334284 HAS SOUS 601868 HAS SOUPS 601868 WITH SCORE 605202.284
AT ITER 5626 NEW BEST:: SOT 9549041 SOS 3334268 HAS SOPS 3334268 HAS SOUS 601706 HAS SOUPS 601706 WITH SCORE 605040.268
AT ITER 5635 NEW BEST:: SOT 9549007 SOS 3334234 HAS SOPS 3334234 HAS SOUS 601706 HAS SOUPS 601706 WITH SCORE 605040.234
AT ITER 5649 NEW BEST:: SOT 9548644 SOS 3333871 HAS SOPS 3333871 HAS SOUS 601343 HAS SOUPS 601343 WITH SCORE 604676.871
AT ITER 5665 NEW BEST:: SOT 9548657 SOS 3333843 HAS SOPS 3333843 HAS SOUS 601299 HAS SOUPS 601299 WITH SCORE 604632.843
AT ITER 5670 NEW BEST:: SOT 9548292 SOS 3333478 HAS SOPS 3333478 HAS SOUS 600934 HAS SOUPS 600934 WITH SCORE 604267.478
AT ITER 5694 NEW BEST:: SOT 9548309 SOS 3333445 HAS SOPS 3333445 HAS SOUS 600917 HAS SOUPS 600917 WITH SCORE 604250.445
AT ITER 5722 NEW BEST:: SOT 9548249 SOS 3333325 HAS SOPS 3333325 HAS SOUS 600780 HAS SOUPS 600780 WITH SCORE 604113.325
AT ITER 5724 NEW BEST:: SOT 9548047 SOS 3333123 HAS SOPS 3333123 HAS SOUS 600728 HAS SOUPS 600728 WITH SCORE 604061.123
AT ITER 5758 NEW BEST:: SOT 9547616 SOS 3332793 HAS SOPS 3332793 HAS SOUS 600297 HAS SOUPS 600297 WITH SCORE 603629.793
AT ITER 5777 NEW BEST:: SOT 9547608 SOS 3333088 HAS SOPS 3333088 HAS SOUS 600294 HAS SOUPS 600294 WITH SCORE 603627.088
AT ITER 5782 NEW BEST:: SOT 9547592 SOS 3333056 HAS SOPS 3333056 HAS SOUS 600262 HAS SOUPS 600262 WITH SCORE 603595.056
AT ITER 5788 NEW BEST:: SOT 9547470 SOS 3332812 HAS SOPS 3332812 HAS SOUS 600018 HAS SOUPS 600018 WITH SCORE 603350.812
AT ITER 5810 NEW BEST:: SOT 9547320 SOS 3332512 HAS SOPS 3332512 HAS SOUS 599718 HAS SOUPS 599718 WITH SCORE 603050.512
AT ITER 5811 NEW BEST:: SOT 9547358 SOS 3332588 HAS SOPS 3332588 HAS SOUS 599665 HAS SOUPS 599665 WITH SCORE 602997.588
AT ITER 5823 NEW BEST:: SOT 9547118 SOS 3332653 HAS SOPS 3332653 HAS SOUS 599432 HAS SOUPS 599432 WITH SCORE 602764.653
AT ITER 5844 NEW BEST:: SOT 9546549 SOS 3334854 HAS SOPS 3334854 HAS SOUS 599092 HAS SOUPS 599092 WITH SCORE 602426.854
AT ITER 5862 NEW BEST:: SOT 9546547 SOS 3334852 HAS SOPS 3334852 HAS SOUS 599092 HAS SOUPS 599092 WITH SCORE 602426.852
AT ITER 5864 NEW BEST:: SOT 9546454 SOS 3334666 HAS SOPS 3334666 HAS SOUS 598906 HAS SOUPS 598906 WITH SCORE 602240.666
AT ITER 5869 NEW BEST:: SOT 9546454 SOS 3334666 HAS SOPS 3334666 HAS SOUS 598905 HAS SOUPS 598905 WITH SCORE 602239.666
AT ITER 5875 NEW BEST:: SOT 9546454 SOS 3334542 HAS SOPS 3334542 HAS SOUS 598905 HAS SOUPS 598905 WITH SCORE 602239.542
AT ITER 5888 NEW BEST:: SOT 9546149 SOS 3334796 HAS SOPS 3334796 HAS SOUS 598889 HAS SOUPS 598889 WITH SCORE 602223.796
AT ITER 5908 NEW BEST:: SOT 9546133 SOS 3334560 HAS SOPS 3334560 HAS SOUS 598867 HAS SOUPS 598867 WITH SCORE 602201.56
AT ITER 5924 NEW BEST:: SOT 9546038 SOS 3334536 HAS SOPS 3334536 HAS SOUS 598700 HAS SOUPS 598700 WITH SCORE 602034.536
AT ITER 5948 NEW BEST:: SOT 9546038 SOS 3334373 HAS SOPS 3334373 HAS SOUS 598680 HAS SOUPS 598680 WITH SCORE 602014.373
AT ITER 5951 NEW BEST:: SOT 9545974 SOS 3334245 HAS SOPS 3334245 HAS SOUS 598552 HAS SOUPS 598552 WITH SCORE 601886.245
AT ITER 5969 NEW BEST:: SOT 9545974 SOS 3334395 HAS SOPS 3334395 HAS SOUS 598524 HAS SOUPS 598524 WITH SCORE 601858.395
AT ITER 5972 NEW BEST:: SOT 9545856 SOS 3334041 HAS SOPS 3334041 HAS SOUS 598170 HAS SOUPS 598170 WITH SCORE 601504.041
AT ITER 5977 NEW BEST:: SOT 9545875 SOS 3333983 HAS SOPS 3333983 HAS SOUS 598141 HAS SOUPS 598141 WITH SCORE 601474.983
AT ITER 5981 NEW BEST:: SOT 9545444 SOS 3333956 HAS SOPS 3333956 HAS SOUS 597738 HAS SOUPS 597738 WITH SCORE 601071.956
AT ITER 5987 NEW BEST:: SOT 9545488 SOS 3334044 HAS SOPS 3334044 HAS SOUS 597728 HAS SOUPS 597728 WITH SCORE 601062.044
AT ITER 6014 NEW BEST:: SOT 9545322 SOS 3331438 HAS SOPS 3331438 HAS SOUS 597609 HAS SOUPS 597609 WITH SCORE 600940.438
AT ITER 6019 NEW BEST:: SOT 9545303 SOS 3331419 HAS SOPS 3331419 HAS SOUS 597590 HAS SOUPS 597590 WITH SCORE 600921.419
AT ITER 6044 NEW BEST:: SOT 9545286 SOS 3331402 HAS SOPS 3331402 HAS SOUS 597573 HAS SOUPS 597573 WITH SCORE 600904.402
AT ITER 6080 NEW BEST:: SOT 9545340 SOS 3331132 HAS SOPS 3331132 HAS SOUS 597573 HAS SOUPS 597573 WITH SCORE 600904.132
AT ITER 6086 NEW BEST:: SOT 9545340 SOS 3331132 HAS SOPS 3331132 HAS SOUS 597457 HAS SOUPS 597457 WITH SCORE 600788.132
AT ITER 6097 NEW BEST:: SOT 9545324 SOS 3331100 HAS SOPS 3331100 HAS SOUS 597436 HAS SOUPS 597436 WITH SCORE 600767.1
AT ITER 6108 NEW BEST:: SOT 9545262 SOS 3330976 HAS SOPS 3330976 HAS SOUS 597312 HAS SOUPS 597312 WITH SCORE 600642.976
AT ITER 6110 NEW BEST:: SOT 9545200 SOS 3330852 HAS SOPS 3330852 HAS SOUS 597178 HAS SOUPS 597178 WITH SCORE 600508.852
AT ITER 6118 NEW BEST:: SOT 9545229 SOS 3330719 HAS SOPS 3330719 HAS SOUS 597074 HAS SOUPS 597074 WITH SCORE 600404.719
AT ITER 6120 NEW BEST:: SOT 9545461 SOS 3331183 HAS SOPS 3331183 HAS SOUS 596819 HAS SOUPS 596819 WITH SCORE 600150.183
AT ITER 6147 NEW BEST:: SOT 9545383 SOS 3331105 HAS SOPS 3331105 HAS SOUS 596816 HAS SOUPS 596816 WITH SCORE 600147.105
AT ITER 6158 NEW BEST:: SOT 9545383 SOS 3331105 HAS SOPS 3331105 HAS SOUS 596802 HAS SOUPS 596802 WITH SCORE 600133.105
AT ITER 6166 NEW BEST:: SOT 9545210 SOS 3331072 HAS SOPS 3331072 HAS SOUS 596718 HAS SOUPS 596718 WITH SCORE 600049.072
AT ITER 6175 NEW BEST:: SOT 9545125 SOS 3330902 HAS SOPS 3330902 HAS SOUS 596548 HAS SOUPS 596548 WITH SCORE 599878.902
AT ITER 6181 NEW BEST:: SOT 9545125 SOS 3330819 HAS SOPS 3330819 HAS SOUS 596548 HAS SOUPS 596548 WITH SCORE 599878.819
AT ITER 6213 NEW BEST:: SOT 9544929 SOS 3330427 HAS SOPS 3330427 HAS SOUS 596380 HAS SOUPS 596380 WITH SCORE 599710.427
AT ITER 6219 NEW BEST:: SOT 9543817 SOS 3329346 HAS SOPS 3329346 HAS SOUS 595119 HAS SOUPS 595119 WITH SCORE 598448.346
AT ITER 6231 NEW BEST:: SOT 9543763 SOS 3329238 HAS SOPS 3329238 HAS SOUS 594821 HAS SOUPS 594821 WITH SCORE 598150.238
AT ITER 6251 NEW BEST:: SOT 9543669 SOS 3328956 HAS SOPS 3328956 HAS SOUS 594633 HAS SOUPS 594633 WITH SCORE 597961.956
AT ITER 6252 NEW BEST:: SOT 9543666 SOS 3328947 HAS SOPS 3328947 HAS SOUS 594624 HAS SOUPS 594624 WITH SCORE 597952.947
AT ITER 6257 NEW BEST:: SOT 9543619 SOS 3328934 HAS SOPS 3328934 HAS SOUS 594611 HAS SOUPS 594611 WITH SCORE 597939.934
AT ITER 6265 NEW BEST:: SOT 9543526 SOS 3328748 HAS SOPS 3328748 HAS SOUS 594425 HAS SOUPS 594425 WITH SCORE 597753.748
AT ITER 6279 NEW BEST:: SOT 9543459 SOS 3328614 HAS SOPS 3328614 HAS SOUS 594352 HAS SOUPS 594352 WITH SCORE 597680.614
AT ITER 6307 NEW BEST:: SOT 9543459 SOS 3328406 HAS SOPS 3328406 HAS SOUS 594248 HAS SOUPS 594248 WITH SCORE 597576.406
AT ITER 6308 NEW BEST:: SOT 9543412 SOS 3328312 HAS SOPS 3328312 HAS SOUS 594215 HAS SOUPS 594215 WITH SCORE 597543.312
AT ITER 6317 NEW BEST:: SOT 9543507 SOS 3328347 HAS SOPS 3328347 HAS SOUS 594212 HAS SOUPS 594212 WITH SCORE 597540.347
AT ITER 6359 NEW BEST:: SOT 9537731 SOS 3322523 HAS SOPS 3322523 HAS SOUS 588388 HAS SOUPS 588388 WITH SCORE 591710.523
AT ITER 6363 NEW BEST:: SOT 9537185 SOS 3322285 HAS SOPS 3322285 HAS SOUS 588121 HAS SOUPS 588121 WITH SCORE 591443.285
AT ITER 6383 NEW BEST:: SOT 9529898 SOS 3314733 HAS SOPS 3314733 HAS SOUS 580569 HAS SOUPS 580569 WITH SCORE 583883.733
AT ITER 6408 NEW BEST:: SOT 9529893 SOS 3314718 HAS SOPS 3314718 HAS SOUS 580564 HAS SOUPS 580564 WITH SCORE 583878.718
AT ITER 6409 NEW BEST:: SOT 9529703 SOS 3314205 HAS SOPS 3314205 HAS SOUS 580259 HAS SOUPS 580259 WITH SCORE 583573.205
AT ITER 6413 NEW BEST:: SOT 9529700 SOS 3314199 HAS SOPS 3314199 HAS SOUS 580253 HAS SOUPS 580253 WITH SCORE 583567.199
AT ITER 6422 NEW BEST:: SOT 9529834 SOS 3314467 HAS SOPS 3314467 HAS SOUS 580185 HAS SOUPS 580185 WITH SCORE 583499.467
AT ITER 6426 NEW BEST:: SOT 9529573 SOS 3313945 HAS SOPS 3313945 HAS SOUS 579924 HAS SOUPS 579924 WITH SCORE 583237.945
AT ITER 6458 NEW BEST:: SOT 9529518 SOS 3313835 HAS SOPS 3313835 HAS SOUS 579814 HAS SOUPS 579814 WITH SCORE 583127.835
AT ITER 6466 NEW BEST:: SOT 9529433 SOS 3313750 HAS SOPS 3313750 HAS SOUS 579753 HAS SOUPS 579753 WITH SCORE 583066.75
AT ITER 6469 NEW BEST:: SOT 9529424 SOS 3313732 HAS SOPS 3313732 HAS SOUS 579744 HAS SOUPS 579744 WITH SCORE 583057.732
AT ITER 6504 NEW BEST:: SOT 9528700 SOS 3313168 HAS SOPS 3313168 HAS SOUS 579158 HAS SOUPS 579158 WITH SCORE 582471.168
AT ITER 6531 NEW BEST:: SOT 9528700 SOS 3313168 HAS SOPS 3313168 HAS SOUS 579157 HAS SOUPS 579157 WITH SCORE 582470.168
AT ITER 6541 NEW BEST:: SOT 9528669 SOS 3313106 HAS SOPS 3313106 HAS SOUS 579152 HAS SOUPS 579152 WITH SCORE 582465.106
AT ITER 6573 NEW BEST:: SOT 9528650 SOS 3313005 HAS SOPS 3313005 HAS SOUS 578969 HAS SOUPS 578969 WITH SCORE 582282.005
AT ITER 6586 NEW BEST:: SOT 9528633 SOS 3312667 HAS SOPS 3312667 HAS SOUS 578845 HAS SOUPS 578845 WITH SCORE 582157.667
AT ITER 6591 NEW BEST:: SOT 9528646 SOS 3312635 HAS SOPS 3312635 HAS SOUS 578755 HAS SOUPS 578755 WITH SCORE 582067.635
AT ITER 6606 NEW BEST:: SOT 9528646 SOS 3312635 HAS SOPS 3312635 HAS SOUS 578749 HAS SOUPS 578749 WITH SCORE 582061.635
AT ITER 6623 NEW BEST:: SOT 9528583 SOS 3312482 HAS SOPS 3312482 HAS SOUS 578596 HAS SOUPS 578596 WITH SCORE 581908.482
AT ITER 6630 NEW BEST:: SOT 9528582 SOS 3312480 HAS SOPS 3312480 HAS SOUS 578594 HAS SOUPS 578594 WITH SCORE 581906.48
AT ITER 6636 NEW BEST:: SOT 9528767 SOS 3312605 HAS SOPS 3312605 HAS SOUS 578561 HAS SOUPS 578561 WITH SCORE 581873.605
AT ITER 6662 NEW BEST:: SOT 9528574 SOS 3312219 HAS SOPS 3312219 HAS SOUS 578476 HAS SOUPS 578476 WITH SCORE 581788.219
AT ITER 6667 NEW BEST:: SOT 9528574 SOS 3312219 HAS SOPS 3312219 HAS SOUS 578371 HAS SOUPS 578371 WITH SCORE 581683.219
AT ITER 6670 NEW BEST:: SOT 9528737 SOS 3311538 HAS SOPS 3311538 HAS SOUS 578086 HAS SOUPS 578086 WITH SCORE 581397.538
AT ITER 6675 NEW BEST:: SOT 9528225 SOS 3311026 HAS SOPS 3311026 HAS SOUS 577574 HAS SOUPS 577574 WITH SCORE 580885.026
AT ITER 6701 NEW BEST:: SOT 9528197 SOS 3310970 HAS SOPS 3310970 HAS SOUS 577546 HAS SOUPS 577546 WITH SCORE 580856.97
AT ITER 6715 NEW BEST:: SOT 9528151 SOS 3310924 HAS SOPS 3310924 HAS SOUS 577500 HAS SOUPS 577500 WITH SCORE 580810.924
AT ITER 6719 NEW BEST:: SOT 9528151 SOS 3310865 HAS SOPS 3310865 HAS SOUS 577500 HAS SOUPS 577500 WITH SCORE 580810.865
AT ITER 6725 NEW BEST:: SOT 9528051 SOS 3314515 HAS SOPS 3314515 HAS SOUS 577400 HAS SOUPS 577400 WITH SCORE 580714.515
AT ITER 6734 NEW BEST:: SOT 9528051 SOS 3314578 HAS SOPS 3314578 HAS SOUS 577297 HAS SOUPS 577297 WITH SCORE 580611.578
AT ITER 6751 NEW BEST:: SOT 9527226 SOS 3314971 HAS SOPS 3314971 HAS SOUS 576522 HAS SOUPS 576522 WITH SCORE 579836.971
AT ITER 6754 NEW BEST:: SOT 9526941 SOS 3315001 HAS SOPS 3315001 HAS SOUS 576060 HAS SOUPS 576060 WITH SCORE 579375.001
AT ITER 6782 NEW BEST:: SOT 9522316 SOS 3426191 HAS SOPS 3426191 HAS SOUS 574461 HAS SOUPS 574461 WITH SCORE 577887.191
AT ITER 6783 NEW BEST:: SOT 9522242 SOS 3426043 HAS SOPS 3426043 HAS SOUS 574387 HAS SOUPS 574387 WITH SCORE 577813.043
AT ITER 6784 NEW BEST:: SOT 9522242 SOS 3425923 HAS SOPS 3425923 HAS SOUS 574327 HAS SOUPS 574327 WITH SCORE 577752.923
AT ITER 6788 NEW BEST:: SOT 9522351 SOS 3425879 HAS SOPS 3425879 HAS SOUS 574277 HAS SOUPS 574277 WITH SCORE 577702.879
AT ITER 6808 NEW BEST:: SOT 9522306 SOS 3425861 HAS SOPS 3425861 HAS SOUS 574232 HAS SOUPS 574232 WITH SCORE 577657.861
AT ITER 6812 NEW BEST:: SOT 9522318 SOS 3425536 HAS SOPS 3425536 HAS SOUS 573843 HAS SOUPS 573843 WITH SCORE 577268.536
AT ITER 6905 NEW BEST:: SOT 9522318 SOS 3425414 HAS SOPS 3425414 HAS SOUS 573721 HAS SOUPS 573721 WITH SCORE 577146.414
AT ITER 6907 NEW BEST:: SOT 9522234 SOS 3425246 HAS SOPS 3425246 HAS SOUS 573637 HAS SOUPS 573637 WITH SCORE 577062.246
AT ITER 6913 NEW BEST:: SOT 9522234 SOS 3424546 HAS SOPS 3424546 HAS SOUS 573637 HAS SOUPS 573637 WITH SCORE 577061.546
AT ITER 6924 NEW BEST:: SOT 9522250 SOS 3429083 HAS SOPS 3429083 HAS SOUS 573623 HAS SOUPS 573623 WITH SCORE 577052.083
AT ITER 6947 NEW BEST:: SOT 9520903 SOS 3448097 HAS SOPS 3448097 HAS SOUS 573287 HAS SOUPS 573287 WITH SCORE 576735.097
AT ITER 6954 NEW BEST:: SOT 9520903 SOS 3448097 HAS SOPS 3448097 HAS SOUS 573267 HAS SOUPS 573267 WITH SCORE 576715.097
AT ITER 6965 NEW BEST:: SOT 9520903 SOS 3447857 HAS SOPS 3447857 HAS SOUS 573027 HAS SOUPS 573027 WITH SCORE 576474.857
AT ITER 6972 NEW BEST:: SOT 9520778 SOS 3447732 HAS SOPS 3447732 HAS SOUS 572858 HAS SOUPS 572858 WITH SCORE 576305.732
AT ITER 7049 NEW BEST:: SOT 9520778 SOS 3447709 HAS SOPS 3447709 HAS SOUS 572858 HAS SOUPS 572858 WITH SCORE 576305.709
AT ITER 7071 NEW BEST:: SOT 9520777 SOS 3447707 HAS SOPS 3447707 HAS SOUS 572856 HAS SOUPS 572856 WITH SCORE 576303.707
AT ITER 7081 NEW BEST:: SOT 9520786 SOS 3447678 HAS SOPS 3447678 HAS SOUS 572827 HAS SOUPS 572827 WITH SCORE 576274.678
AT ITER 7093 NEW BEST:: SOT 9520690 SOS 3447582 HAS SOPS 3447582 HAS SOUS 572699 HAS SOUPS 572699 WITH SCORE 576146.582
AT ITER 7114 NEW BEST:: SOT 9520581 SOS 3447676 HAS SOPS 3447676 HAS SOUS 572634 HAS SOUPS 572634 WITH SCORE 576081.676
AT ITER 7119 NEW BEST:: SOT 9520212 SOS 3447616 HAS SOPS 3447616 HAS SOUS 572039 HAS SOUPS 572039 WITH SCORE 575486.616
AT ITER 7140 NEW BEST:: SOT 9520212 SOS 3447613 HAS SOPS 3447613 HAS SOUS 572039 HAS SOUPS 572039 WITH SCORE 575486.613
AT ITER 7156 NEW BEST:: SOT 9520212 SOS 3447613 HAS SOPS 3447613 HAS SOUS 572030 HAS SOUPS 572030 WITH SCORE 575477.613
AT ITER 7197 NEW BEST:: SOT 9520000 SOS 3447401 HAS SOPS 3447401 HAS SOUS 571924 HAS SOUPS 571924 WITH SCORE 575371.401
AT ITER 7232 NEW BEST:: SOT 9520226 SOS 3446569 HAS SOPS 3446569 HAS SOUS 571814 HAS SOUPS 571814 WITH SCORE 575260.569
AT ITER 7234 NEW BEST:: SOT 9519966 SOS 3482120 HAS SOPS 3482120 HAS SOUS 571628 HAS SOUPS 571628 WITH SCORE 575110.12
AT ITER 7245 NEW BEST:: SOT 9519973 SOS 3481918 HAS SOPS 3481918 HAS SOUS 571566 HAS SOUPS 571566 WITH SCORE 575047.918
AT ITER 7262 NEW BEST:: SOT 9519685 SOS 3481894 HAS SOPS 3481894 HAS SOUS 571370 HAS SOUPS 571370 WITH SCORE 574851.894
AT ITER 7268 NEW BEST:: SOT 9519527 SOS 3481578 HAS SOPS 3481578 HAS SOUS 571212 HAS SOUPS 571212 WITH SCORE 574693.578
AT ITER 7270 NEW BEST:: SOT 9519526 SOS 3481576 HAS SOPS 3481576 HAS SOUS 571210 HAS SOUPS 571210 WITH SCORE 574691.576
AT ITER 7285 NEW BEST:: SOT 9519074 SOS 3480672 HAS SOPS 3480672 HAS SOUS 569537 HAS SOUPS 569537 WITH SCORE 573017.672
AT ITER 7296 NEW BEST:: SOT 9519371 SOS 3480848 HAS SOPS 3480848 HAS SOUS 569464 HAS SOUPS 569464 WITH SCORE 572944.848
AT ITER 7308 NEW BEST:: SOT 9519277 SOS 3480723 HAS SOPS 3480723 HAS SOUS 569402 HAS SOUPS 569402 WITH SCORE 572882.723
AT ITER 7314 NEW BEST:: SOT 9519333 SOS 3481368 HAS SOPS 3481368 HAS SOUS 569217 HAS SOUPS 569217 WITH SCORE 572698.368
AT ITER 7359 NEW BEST:: SOT 9519315 SOS 3481350 HAS SOPS 3481350 HAS SOUS 569210 HAS SOUPS 569210 WITH SCORE 572691.35
AT ITER 7367 NEW BEST:: SOT 9519176 SOS 3482380 HAS SOPS 3482380 HAS SOUS 568714 HAS SOUPS 568714 WITH SCORE 572196.38
AT ITER 7376 NEW BEST:: SOT 9519176 SOS 3482336 HAS SOPS 3482336 HAS SOUS 568670 HAS SOUPS 568670 WITH SCORE 572152.336
AT ITER 7381 NEW BEST:: SOT 9519147 SOS 3482278 HAS SOPS 3482278 HAS SOUS 568612 HAS SOUPS 568612 WITH SCORE 572094.278
AT ITER 7395 NEW BEST:: SOT 9518990 SOS 3481928 HAS SOPS 3481928 HAS SOUS 568380 HAS SOUPS 568380 WITH SCORE 571861.928
AT ITER 7405 NEW BEST:: SOT 9518983 SOS 3481914 HAS SOPS 3481914 HAS SOUS 568366 HAS SOUPS 568366 WITH SCORE 571847.914
AT ITER 7408 NEW BEST:: SOT 9518673 SOS 3484198 HAS SOPS 3484198 HAS SOUS 568303 HAS SOUPS 568303 WITH SCORE 571787.198
AT ITER 7438 NEW BEST:: SOT 9518628 SOS 3484108 HAS SOPS 3484108 HAS SOUS 568258 HAS SOUPS 568258 WITH SCORE 571742.108
AT ITER 7456 NEW BEST:: SOT 9518392 SOS 3483636 HAS SOPS 3483636 HAS SOUS 568124 HAS SOUPS 568124 WITH SCORE 571607.636
AT ITER 7462 NEW BEST:: SOT 9518391 SOS 3483634 HAS SOPS 3483634 HAS SOUS 568122 HAS SOUPS 568122 WITH SCORE 571605.634
AT ITER 7469 NEW BEST:: SOT 9518391 SOS 3483572 HAS SOPS 3483572 HAS SOUS 568122 HAS SOUPS 568122 WITH SCORE 571605.572
AT ITER 7475 NEW BEST:: SOT 9518321 SOS 3483432 HAS SOPS 3483432 HAS SOUS 567982 HAS SOUPS 567982 WITH SCORE 571465.432
AT ITER 7485 NEW BEST:: SOT 9518620 SOS 3483782 HAS SOPS 3483782 HAS SOUS 567589 HAS SOUPS 567589 WITH SCORE 571072.782
AT ITER 7496 NEW BEST:: SOT 9518605 SOS 3483767 HAS SOPS 3483767 HAS SOUS 567517 HAS SOUPS 567517 WITH SCORE 571000.767
AT ITER 7513 NEW BEST:: SOT 9518422 SOS 3483401 HAS SOPS 3483401 HAS SOUS 567242 HAS SOUPS 567242 WITH SCORE 570725.401
AT ITER 7520 NEW BEST:: SOT 9518511 SOS 3483312 HAS SOPS 3483312 HAS SOUS 567242 HAS SOUPS 567242 WITH SCORE 570725.312
AT ITER 7524 NEW BEST:: SOT 9518475 SOS 3483240 HAS SOPS 3483240 HAS SOUS 567119 HAS SOUPS 567119 WITH SCORE 570602.24
AT ITER 7526 NEW BEST:: SOT 9518283 SOS 3483287 HAS SOPS 3483287 HAS SOUS 567047 HAS SOUPS 567047 WITH SCORE 570530.287
AT ITER 7533 NEW BEST:: SOT 9518283 SOS 3483199 HAS SOPS 3483199 HAS SOUS 567047 HAS SOUPS 567047 WITH SCORE 570530.199
AT ITER 7546 NEW BEST:: SOT 9518283 SOS 3483199 HAS SOPS 3483199 HAS SOUS 567013 HAS SOUPS 567013 WITH SCORE 570496.199
AT ITER 7547 NEW BEST:: SOT 9518075 SOS 3484871 HAS SOPS 3484871 HAS SOUS 566912 HAS SOUPS 566912 WITH SCORE 570396.871
AT ITER 7554 NEW BEST:: SOT 9518016 SOS 3484753 HAS SOPS 3484753 HAS SOUS 566794 HAS SOUPS 566794 WITH SCORE 570278.753
AT ITER 7566 NEW BEST:: SOT 9517918 SOS 3487209 HAS SOPS 3487209 HAS SOUS 566658 HAS SOUPS 566658 WITH SCORE 570145.209
AT ITER 7612 NEW BEST:: SOT 9517918 SOS 3486987 HAS SOPS 3486987 HAS SOUS 566547 HAS SOUPS 566547 WITH SCORE 570033.987
AT ITER 7630 NEW BEST:: SOT 9517791 SOS 3486733 HAS SOPS 3486733 HAS SOUS 566420 HAS SOUPS 566420 WITH SCORE 569906.733
AT ITER 7636 NEW BEST:: SOT 9517781 SOS 3486713 HAS SOPS 3486713 HAS SOUS 566410 HAS SOUPS 566410 WITH SCORE 569896.713
AT ITER 7637 NEW BEST:: SOT 9517778 SOS 3486707 HAS SOPS 3486707 HAS SOUS 566407 HAS SOUPS 566407 WITH SCORE 569893.707
AT ITER 7656 NEW BEST:: SOT 9517778 SOS 3486673 HAS SOPS 3486673 HAS SOUS 566407 HAS SOUPS 566407 WITH SCORE 569893.673
AT ITER 7661 NEW BEST:: SOT 9517751 SOS 3486619 HAS SOPS 3486619 HAS SOUS 566254 HAS SOUPS 566254 WITH SCORE 569740.619
AT ITER 7693 NEW BEST:: SOT 9517751 SOS 3486546 HAS SOPS 3486546 HAS SOUS 566181 HAS SOUPS 566181 WITH SCORE 569667.546
AT ITER 7700 NEW BEST:: SOT 9517757 SOS 3486558 HAS SOPS 3486558 HAS SOUS 566152 HAS SOUPS 566152 WITH SCORE 569638.558
AT ITER 7703 NEW BEST:: SOT 9517706 SOS 3486456 HAS SOPS 3486456 HAS SOUS 566101 HAS SOUPS 566101 WITH SCORE 569587.456
AT ITER 7725 NEW BEST:: SOT 9517552 SOS 3486148 HAS SOPS 3486148 HAS SOUS 565793 HAS SOUPS 565793 WITH SCORE 569279.148
AT ITER 7738 NEW BEST:: SOT 9517602 SOS 3486248 HAS SOPS 3486248 HAS SOUS 565771 HAS SOUPS 565771 WITH SCORE 569257.248
AT ITER 7752 NEW BEST:: SOT 9517400 SOS 3485844 HAS SOPS 3485844 HAS SOUS 565367 HAS SOUPS 565367 WITH SCORE 568852.844
AT ITER 7767 NEW BEST:: SOT 9517390 SOS 3485824 HAS SOPS 3485824 HAS SOUS 565256 HAS SOUPS 565256 WITH SCORE 568741.824
AT ITER 7769 NEW BEST:: SOT 9517352 SOS 3486339 HAS SOPS 3486339 HAS SOUS 565180 HAS SOUPS 565180 WITH SCORE 568666.339
AT ITER 7812 NEW BEST:: SOT 9517334 SOS 3486303 HAS SOPS 3486303 HAS SOUS 565162 HAS SOUPS 565162 WITH SCORE 568648.303
AT ITER 7815 NEW BEST:: SOT 9517153 SOS 3486429 HAS SOPS 3486429 HAS SOUS 564800 HAS SOUPS 564800 WITH SCORE 568286.429
AT ITER 7816 NEW BEST:: SOT 9516554 SOS 3486030 HAS SOPS 3486030 HAS SOUS 564321 HAS SOUPS 564321 WITH SCORE 567807.03
AT ITER 7836 NEW BEST:: SOT 9516165 SOS 3485723 HAS SOPS 3485723 HAS SOUS 563854 HAS SOUPS 563854 WITH SCORE 567339.723
AT ITER 7851 NEW BEST:: SOT 9516165 SOS 3485723 HAS SOPS 3485723 HAS SOUS 563707 HAS SOUPS 563707 WITH SCORE 567192.723
AT ITER 7872 NEW BEST:: SOT 9516078 SOS 3485723 HAS SOPS 3485723 HAS SOUS 563620 HAS SOUPS 563620 WITH SCORE 567105.723
AT ITER 7881 NEW BEST:: SOT 9515960 SOS 3485887 HAS SOPS 3485887 HAS SOUS 563584 HAS SOUPS 563584 WITH SCORE 567069.887
AT ITER 7922 NEW BEST:: SOT 9515621 SOS 3485550 HAS SOPS 3485550 HAS SOUS 563158 HAS SOUPS 563158 WITH SCORE 566643.55
AT ITER 7930 NEW BEST:: SOT 9515574 SOS 3485852 HAS SOPS 3485852 HAS SOUS 563067 HAS SOUPS 563067 WITH SCORE 566552.852
AT ITER 7940 NEW BEST:: SOT 9515428 SOS 3485560 HAS SOPS 3485560 HAS SOUS 562864 HAS SOUPS 562864 WITH SCORE 566349.56
AT ITER 7941 NEW BEST:: SOT 9515428 SOS 3485560 HAS SOPS 3485560 HAS SOUS 562857 HAS SOUPS 562857 WITH SCORE 566342.56
AT ITER 7945 NEW BEST:: SOT 9515331 SOS 3485463 HAS SOPS 3485463 HAS SOUS 562736 HAS SOUPS 562736 WITH SCORE 566221.463
AT ITER 8010 NEW BEST:: SOT 9514943 SOS 3484726 HAS SOPS 3484726 HAS SOUS 562414 HAS SOUPS 562414 WITH SCORE 565898.726
AT ITER 8021 NEW BEST:: SOT 9514895 SOS 3484474 HAS SOPS 3484474 HAS SOUS 562001 HAS SOUPS 562001 WITH SCORE 565485.474
AT ITER 8025 NEW BEST:: SOT 9514825 SOS 3484334 HAS SOPS 3484334 HAS SOUS 561861 HAS SOUPS 561861 WITH SCORE 565345.334
AT ITER 8029 NEW BEST:: SOT 9514806 SOS 3484296 HAS SOPS 3484296 HAS SOUS 561792 HAS SOUPS 561792 WITH SCORE 565276.296
AT ITER 8044 NEW BEST:: SOT 9514806 SOS 3484296 HAS SOPS 3484296 HAS SOUS 561632 HAS SOUPS 561632 WITH SCORE 565116.296
AT ITER 8045 NEW BEST:: SOT 9514806 SOS 3484296 HAS SOPS 3484296 HAS SOUS 561608 HAS SOUPS 561608 WITH SCORE 565092.296
AT ITER 8048 NEW BEST:: SOT 9514789 SOS 3484262 HAS SOPS 3484262 HAS SOUS 561591 HAS SOUPS 561591 WITH SCORE 565075.262
AT ITER 8058 NEW BEST:: SOT 9514659 SOS 3484210 HAS SOPS 3484210 HAS SOUS 561396 HAS SOUPS 561396 WITH SCORE 564880.21
AT ITER 8071 NEW BEST:: SOT 9514634 SOS 3484185 HAS SOPS 3484185 HAS SOUS 561371 HAS SOUPS 561371 WITH SCORE 564855.185
AT ITER 8084 NEW BEST:: SOT 9514465 SOS 3483847 HAS SOPS 3483847 HAS SOUS 561202 HAS SOUPS 561202 WITH SCORE 564685.847
AT ITER 8104 NEW BEST:: SOT 9514456 SOS 3483838 HAS SOPS 3483838 HAS SOUS 561171 HAS SOUPS 561171 WITH SCORE 564654.838
AT ITER 8122 NEW BEST:: SOT 9514157 SOS 3483539 HAS SOPS 3483539 HAS SOUS 560872 HAS SOUPS 560872 WITH SCORE 564355.539
AT ITER 8126 NEW BEST:: SOT 9514009 SOS 3483243 HAS SOPS 3483243 HAS SOUS 560658 HAS SOUPS 560658 WITH SCORE 564141.243
AT ITER 8133 NEW BEST:: SOT 9514009 SOS 3483243 HAS SOPS 3483243 HAS SOUS 560575 HAS SOUPS 560575 WITH SCORE 564058.243
AT ITER 8145 NEW BEST:: SOT 9514042 SOS 3483114 HAS SOPS 3483114 HAS SOUS 560392 HAS SOUPS 560392 WITH SCORE 563875.114
AT ITER 8147 NEW BEST:: SOT 9513740 SOS 3482510 HAS SOPS 3482510 HAS SOUS 560039 HAS SOUPS 560039 WITH SCORE 563521.51
AT ITER 8204 NEW BEST:: SOT 9513669 SOS 3482570 HAS SOPS 3482570 HAS SOUS 553573 HAS SOUPS 553573 WITH SCORE 557055.57
AT ITER 8228 NEW BEST:: SOT 9513681 SOS 3482563 HAS SOPS 3482563 HAS SOUS 553567 HAS SOUPS 553567 WITH SCORE 557049.563
AT ITER 8253 NEW BEST:: SOT 9513689 SOS 3482636 HAS SOPS 3482636 HAS SOUS 553526 HAS SOUPS 553526 WITH SCORE 557008.636
AT ITER 8281 NEW BEST:: SOT 9513778 SOS 3443545 HAS SOPS 3443545 HAS SOUS 553449 HAS SOUPS 553449 WITH SCORE 556892.545
AT ITER 8303 NEW BEST:: SOT 9513778 SOS 3443372 HAS SOPS 3443372 HAS SOUS 553445 HAS SOUPS 553445 WITH SCORE 556888.372
AT ITER 8359 NEW BEST:: SOT 9513768 SOS 3443342 HAS SOPS 3443342 HAS SOUS 553425 HAS SOUPS 553425 WITH SCORE 556868.342
AT ITER 8371 NEW BEST:: SOT 9513725 SOS 3443299 HAS SOPS 3443299 HAS SOUS 553382 HAS SOUPS 553382 WITH SCORE 556825.299
AT ITER 8376 NEW BEST:: SOT 9513381 SOS 3442972 HAS SOPS 3442972 HAS SOUS 553055 HAS SOUPS 553055 WITH SCORE 556497.972
AT ITER 8377 NEW BEST:: SOT 9513251 SOS 3442712 HAS SOPS 3442712 HAS SOUS 552801 HAS SOUPS 552801 WITH SCORE 556243.712
AT ITER 8385 NEW BEST:: SOT 9513260 SOS 3442659 HAS SOPS 3442659 HAS SOUS 552748 HAS SOUPS 552748 WITH SCORE 556190.659
AT ITER 8393 NEW BEST:: SOT 9512709 SOS 3442947 HAS SOPS 3442947 HAS SOUS 552448 HAS SOUPS 552448 WITH SCORE 555890.947
AT ITER 8419 NEW BEST:: SOT 9512467 SOS 3442631 HAS SOPS 3442631 HAS SOUS 552132 HAS SOUPS 552132 WITH SCORE 555574.631
AT ITER 8443 NEW BEST:: SOT 9512407 SOS 3444767 HAS SOPS 3444767 HAS SOUS 552072 HAS SOUPS 552072 WITH SCORE 555516.767
AT ITER 8455 NEW BEST:: SOT 9512208 SOS 3444369 HAS SOPS 3444369 HAS SOUS 551788 HAS SOUPS 551788 WITH SCORE 555232.369
AT ITER 8489 NEW BEST:: SOT 9512067 SOS 3443878 HAS SOPS 3443878 HAS SOUS 551608 HAS SOUPS 551608 WITH SCORE 555051.878
AT ITER 8501 NEW BEST:: SOT 9512067 SOS 3444017 HAS SOPS 3444017 HAS SOUS 551537 HAS SOUPS 551537 WITH SCORE 554981.017
AT ITER 8506 NEW BEST:: SOT 9511824 SOS 3443531 HAS SOPS 3443531 HAS SOUS 551294 HAS SOUPS 551294 WITH SCORE 554737.531
AT ITER 8509 NEW BEST:: SOT 9511681 SOS 3443248 HAS SOPS 3443248 HAS SOUS 551116 HAS SOUPS 551116 WITH SCORE 554559.248
AT ITER 8552 NEW BEST:: SOT 9511193 SOS 3442284 HAS SOPS 3442284 HAS SOUS 550137 HAS SOUPS 550137 WITH SCORE 553579.284
AT ITER 8564 NEW BEST:: SOT 9511254 SOS 3442406 HAS SOPS 3442406 HAS SOUS 550122 HAS SOUPS 550122 WITH SCORE 553564.406
AT ITER 8567 NEW BEST:: SOT 9511254 SOS 3442311 HAS SOPS 3442311 HAS SOUS 550027 HAS SOUPS 550027 WITH SCORE 553469.311
AT ITER 8573 NEW BEST:: SOT 9511241 SOS 3442285 HAS SOPS 3442285 HAS SOUS 550001 HAS SOUPS 550001 WITH SCORE 553443.285
AT ITER 8588 NEW BEST:: SOT 9511184 SOS 3442171 HAS SOPS 3442171 HAS SOUS 549887 HAS SOUPS 549887 WITH SCORE 553329.171
AT ITER 8594 NEW BEST:: SOT 9510846 SOS 3441833 HAS SOPS 3441833 HAS SOUS 549718 HAS SOUPS 549718 WITH SCORE 553159.833
AT ITER 8595 NEW BEST:: SOT 9510843 SOS 3441830 HAS SOPS 3441830 HAS SOUS 549715 HAS SOUPS 549715 WITH SCORE 553156.83
AT ITER 8620 NEW BEST:: SOT 9510507 SOS 3441792 HAS SOPS 3441792 HAS SOUS 549619 HAS SOUPS 549619 WITH SCORE 553060.792
AT ITER 8637 NEW BEST:: SOT 9510509 SOS 3441462 HAS SOPS 3441462 HAS SOUS 549610 HAS SOUPS 549610 WITH SCORE 553051.462
AT ITER 8640 NEW BEST:: SOT 9510509 SOS 3441386 HAS SOPS 3441386 HAS SOUS 549534 HAS SOUPS 549534 WITH SCORE 552975.386
AT ITER 8648 NEW BEST:: SOT 9510682 SOS 3441195 HAS SOPS 3441195 HAS SOUS 549440 HAS SOUPS 549440 WITH SCORE 552881.195
AT ITER 8650 NEW BEST:: SOT 9510669 SOS 3441186 HAS SOPS 3441186 HAS SOUS 549436 HAS SOUPS 549436 WITH SCORE 552877.186
AT ITER 8653 NEW BEST:: SOT 9510643 SOS 3441134 HAS SOPS 3441134 HAS SOUS 549436 HAS SOUPS 549436 WITH SCORE 552877.134
AT ITER 8675 NEW BEST:: SOT 9510662 SOS 3441172 HAS SOPS 3441172 HAS SOUS 549363 HAS SOUPS 549363 WITH SCORE 552804.172
AT ITER 8678 NEW BEST:: SOT 9510444 SOS 3434642 HAS SOPS 3434642 HAS SOUS 549060 HAS SOUPS 549060 WITH SCORE 552494.642
AT ITER 8696 NEW BEST:: SOT 9510039 SOS 3433832 HAS SOPS 3433832 HAS SOUS 548534 HAS SOUPS 548534 WITH SCORE 551967.832
AT ITER 8700 NEW BEST:: SOT 9509899 SOS 3433692 HAS SOPS 3433692 HAS SOUS 548394 HAS SOUPS 548394 WITH SCORE 551827.692
AT ITER 8711 NEW BEST:: SOT 9509958 SOS 3433552 HAS SOPS 3433552 HAS SOUS 548375 HAS SOUPS 548375 WITH SCORE 551808.552
AT ITER 8723 NEW BEST:: SOT 9509952 SOS 3433540 HAS SOPS 3433540 HAS SOUS 548363 HAS SOUPS 548363 WITH SCORE 551796.54
AT ITER 8736 NEW BEST:: SOT 9509952 SOS 3433978 HAS SOPS 3433978 HAS SOUS 548169 HAS SOUPS 548169 WITH SCORE 551602.978
AT ITER 8740 NEW BEST:: SOT 9509926 SOS 3433926 HAS SOPS 3433926 HAS SOUS 548117 HAS SOUPS 548117 WITH SCORE 551550.926
AT ITER 8758 NEW BEST:: SOT 9509940 SOS 3433980 HAS SOPS 3433980 HAS SOUS 548081 HAS SOUPS 548081 WITH SCORE 551514.98
AT ITER 8776 NEW BEST:: SOT 9509939 SOS 3433978 HAS SOPS 3433978 HAS SOUS 548079 HAS SOUPS 548079 WITH SCORE 551512.978
AT ITER 8778 NEW BEST:: SOT 9509939 SOS 3433646 HAS SOPS 3433646 HAS SOUS 548079 HAS SOUPS 548079 WITH SCORE 551512.646
AT ITER 8786 NEW BEST:: SOT 9510007 SOS 3433743 HAS SOPS 3433743 HAS SOUS 547789 HAS SOUPS 547789 WITH SCORE 551222.743
AT ITER 8789 NEW BEST:: SOT 9510009 SOS 3433734 HAS SOPS 3433734 HAS SOUS 547780 HAS SOUPS 547780 WITH SCORE 551213.734
AT ITER 8793 NEW BEST:: SOT 9509864 SOS 3433444 HAS SOPS 3433444 HAS SOUS 547659 HAS SOUPS 547659 WITH SCORE 551092.444
AT ITER 8804 NEW BEST:: SOT 9509864 SOS 3432954 HAS SOPS 3432954 HAS SOUS 547659 HAS SOUPS 547659 WITH SCORE 551091.954
AT ITER 8840 NEW BEST:: SOT 9509843 SOS 3432912 HAS SOPS 3432912 HAS SOUS 547593 HAS SOUPS 547593 WITH SCORE 551025.912
AT ITER 8863 NEW BEST:: SOT 9509843 SOS 3432879 HAS SOPS 3432879 HAS SOUS 547593 HAS SOUPS 547593 WITH SCORE 551025.879
AT ITER 8879 NEW BEST:: SOT 9509843 SOS 3432879 HAS SOPS 3432879 HAS SOUS 547592 HAS SOUPS 547592 WITH SCORE 551024.879
AT ITER 8898 NEW BEST:: SOT 9509245 SOS 3432203 HAS SOPS 3432203 HAS SOUS 546916 HAS SOUPS 546916 WITH SCORE 550348.203
AT ITER 8921 NEW BEST:: SOT 9509245 SOS 3432073 HAS SOPS 3432073 HAS SOUS 546786 HAS SOUPS 546786 WITH SCORE 550218.073
AT ITER 8926 NEW BEST:: SOT 9509164 SOS 3431425 HAS SOPS 3431425 HAS SOUS 546624 HAS SOUPS 546624 WITH SCORE 550055.425
AT ITER 8937 NEW BEST:: SOT 9509059 SOS 3431215 HAS SOPS 3431215 HAS SOUS 546622 HAS SOUPS 546622 WITH SCORE 550053.215
AT ITER 8950 NEW BEST:: SOT 9509098 SOS 3431209 HAS SOPS 3431209 HAS SOUS 546616 HAS SOUPS 546616 WITH SCORE 550047.209
AT ITER 8951 NEW BEST:: SOT 9508861 SOS 3431171 HAS SOPS 3431171 HAS SOUS 546578 HAS SOUPS 546578 WITH SCORE 550009.171
AT ITER 8962 NEW BEST:: SOT 9508861 SOS 3431171 HAS SOPS 3431171 HAS SOUS 546507 HAS SOUPS 546507 WITH SCORE 549938.171
AT ITER 8965 NEW BEST:: SOT 9508021 SOS 3430623 HAS SOPS 3430623 HAS SOUS 546093 HAS SOUPS 546093 WITH SCORE 549523.623
AT ITER 9007 NEW BEST:: SOT 9508021 SOS 3430637 HAS SOPS 3430637 HAS SOUS 546020 HAS SOUPS 546020 WITH SCORE 549450.637
AT ITER 9024 NEW BEST:: SOT 9507802 SOS 3429946 HAS SOPS 3429946 HAS SOUS 545801 HAS SOUPS 545801 WITH SCORE 549230.946
AT ITER 9052 NEW BEST:: SOT 9507888 SOS 3429923 HAS SOPS 3429923 HAS SOUS 545778 HAS SOUPS 545778 WITH SCORE 549207.923
AT ITER 9069 NEW BEST:: SOT 9507755 SOS 3429602 HAS SOPS 3429602 HAS SOUS 545512 HAS SOUPS 545512 WITH SCORE 548941.602
AT ITER 9081 NEW BEST:: SOT 9507644 SOS 3429491 HAS SOPS 3429491 HAS SOUS 545376 HAS SOUPS 545376 WITH SCORE 548805.491
AT ITER 9112 NEW BEST:: SOT 9507651 SOS 3429375 HAS SOPS 3429375 HAS SOUS 545325 HAS SOUPS 545325 WITH SCORE 548754.375
AT ITER 9120 NEW BEST:: SOT 9507634 SOS 3429358 HAS SOPS 3429358 HAS SOUS 545308 HAS SOUPS 545308 WITH SCORE 548737.358
AT ITER 9127 NEW BEST:: SOT 9507634 SOS 3429358 HAS SOPS 3429358 HAS SOUS 545257 HAS SOUPS 545257 WITH SCORE 548686.358
AT ITER 9135 NEW BEST:: SOT 9507752 SOS 3429184 HAS SOPS 3429184 HAS SOUS 545083 HAS SOUPS 545083 WITH SCORE 548512.184
AT ITER 9150 NEW BEST:: SOT 9507752 SOS 3429184 HAS SOPS 3429184 HAS SOUS 545005 HAS SOUPS 545005 WITH SCORE 548434.184
AT ITER 9161 NEW BEST:: SOT 9507752 SOS 3429125 HAS SOPS 3429125 HAS SOUS 544919 HAS SOUPS 544919 WITH SCORE 548348.125
AT ITER 9194 NEW BEST:: SOT 9507820 SOS 3429123 HAS SOPS 3429123 HAS SOUS 544786 HAS SOUPS 544786 WITH SCORE 548215.123
AT ITER 9239 NEW BEST:: SOT 9507819 SOS 3429121 HAS SOPS 3429121 HAS SOUS 544784 HAS SOUPS 544784 WITH SCORE 548213.121
AT ITER 9252 NEW BEST:: SOT 9507808 SOS 3429110 HAS SOPS 3429110 HAS SOUS 544784 HAS SOUPS 544784 WITH SCORE 548213.11
AT ITER 9265 NEW BEST:: SOT 9507631 SOS 3428756 HAS SOPS 3428756 HAS SOUS 544430 HAS SOUPS 544430 WITH SCORE 547858.756
AT ITER 9285 NEW BEST:: SOT 9507641 SOS 3428490 HAS SOPS 3428490 HAS SOUS 544339 HAS SOUPS 544339 WITH SCORE 547767.49
AT ITER 9292 NEW BEST:: SOT 9507601 SOS 3428410 HAS SOPS 3428410 HAS SOUS 544299 HAS SOUPS 544299 WITH SCORE 547727.41
AT ITER 9299 NEW BEST:: SOT 9507601 SOS 3428357 HAS SOPS 3428357 HAS SOUS 544246 HAS SOUPS 544246 WITH SCORE 547674.357
AT ITER 9301 NEW BEST:: SOT 9507625 SOS 3428216 HAS SOPS 3428216 HAS SOUS 544207 HAS SOUPS 544207 WITH SCORE 547635.216
AT ITER 9343 NEW BEST:: SOT 9507675 SOS 3428316 HAS SOPS 3428316 HAS SOUS 544206 HAS SOUPS 544206 WITH SCORE 547634.316
AT ITER 9355 NEW BEST:: SOT 9506915 SOS 3426796 HAS SOPS 3426796 HAS SOUS 543515 HAS SOUPS 543515 WITH SCORE 546941.796
AT ITER 9375 NEW BEST:: SOT 9506683 SOS 3426986 HAS SOPS 3426986 HAS SOUS 543342 HAS SOUPS 543342 WITH SCORE 546768.986
AT ITER 9377 NEW BEST:: SOT 9506683 SOS 3426952 HAS SOPS 3426952 HAS SOUS 543342 HAS SOUPS 543342 WITH SCORE 546768.952
AT ITER 9390 NEW BEST:: SOT 9506814 SOS 3427161 HAS SOPS 3427161 HAS SOUS 543271 HAS SOUPS 543271 WITH SCORE 546698.161
AT ITER 9396 NEW BEST:: SOT 9506863 SOS 3427259 HAS SOPS 3427259 HAS SOUS 543212 HAS SOUPS 543212 WITH SCORE 546639.259
AT ITER 9403 NEW BEST:: SOT 9506814 SOS 3427210 HAS SOPS 3427210 HAS SOUS 543202 HAS SOUPS 543202 WITH SCORE 546629.21
AT ITER 9426 NEW BEST:: SOT 9506805 SOS 3427192 HAS SOPS 3427192 HAS SOUS 543184 HAS SOUPS 543184 WITH SCORE 546611.192
AT ITER 9430 NEW BEST:: SOT 9506869 SOS 3427192 HAS SOPS 3427192 HAS SOUS 543153 HAS SOUPS 543153 WITH SCORE 546580.192
AT ITER 9462 NEW BEST:: SOT 9506896 SOS 3426984 HAS SOPS 3426984 HAS SOUS 542952 HAS SOUPS 542952 WITH SCORE 546378.984
AT ITER 9467 NEW BEST:: SOT 9506902 SOS 3426916 HAS SOPS 3426916 HAS SOUS 542884 HAS SOUPS 542884 WITH SCORE 546310.916
AT ITER 9480 NEW BEST:: SOT 9506902 SOS 3426919 HAS SOPS 3426919 HAS SOUS 542881 HAS SOUPS 542881 WITH SCORE 546307.919
AT ITER 9494 NEW BEST:: SOT 9506889 SOS 3426893 HAS SOPS 3426893 HAS SOUS 542855 HAS SOUPS 542855 WITH SCORE 546281.893
AT ITER 9501 NEW BEST:: SOT 9506867 SOS 3426849 HAS SOPS 3426849 HAS SOUS 542811 HAS SOUPS 542811 WITH SCORE 546237.849
AT ITER 9530 NEW BEST:: SOT 9506864 SOS 3426843 HAS SOPS 3426843 HAS SOUS 542805 HAS SOUPS 542805 WITH SCORE 546231.843
AT ITER 9543 NEW BEST:: SOT 9506784 SOS 3426683 HAS SOPS 3426683 HAS SOUS 542725 HAS SOUPS 542725 WITH SCORE 546151.683
AT ITER 9565 NEW BEST:: SOT 9506640 SOS 3426696 HAS SOPS 3426696 HAS SOUS 542688 HAS SOUPS 542688 WITH SCORE 546114.696
AT ITER 9579 NEW BEST:: SOT 9506484 SOS 3426445 HAS SOPS 3426445 HAS SOUS 542506 HAS SOUPS 542506 WITH SCORE 545932.445
AT ITER 9582 NEW BEST:: SOT 9506412 SOS 3426301 HAS SOPS 3426301 HAS SOUS 542488 HAS SOUPS 542488 WITH SCORE 545914.301
AT ITER 9627 NEW BEST:: SOT 9506412 SOS 3426301 HAS SOPS 3426301 HAS SOUS 542479 HAS SOUPS 542479 WITH SCORE 545905.301
AT ITER 9667 NEW BEST:: SOT 9506371 SOS 3426219 HAS SOPS 3426219 HAS SOUS 542397 HAS SOUPS 542397 WITH SCORE 545823.219
AT ITER 9671 NEW BEST:: SOT 9506202 SOS 3425881 HAS SOPS 3425881 HAS SOUS 542059 HAS SOUPS 542059 WITH SCORE 545484.881
AT ITER 9700 NEW BEST:: SOT 9506202 SOS 3425758 HAS SOPS 3425758 HAS SOUS 542059 HAS SOUPS 542059 WITH SCORE 545484.758
AT ITER 9708 NEW BEST:: SOT 9506571 SOS 3426053 HAS SOPS 3426053 HAS SOUS 541837 HAS SOUPS 541837 WITH SCORE 545263.053
AT ITER 9709 NEW BEST:: SOT 9506571 SOS 3426000 HAS SOPS 3426000 HAS SOUS 541784 HAS SOUPS 541784 WITH SCORE 545210.0
AT ITER 9728 NEW BEST:: SOT 9506563 SOS 3425984 HAS SOPS 3425984 HAS SOUS 541768 HAS SOUPS 541768 WITH SCORE 545193.984
AT ITER 9760 NEW BEST:: SOT 9506563 SOS 3425984 HAS SOPS 3425984 HAS SOUS 541591 HAS SOUPS 541591 WITH SCORE 545016.984
AT ITER 9772 NEW BEST:: SOT 9506465 SOS 3425788 HAS SOPS 3425788 HAS SOUS 541493 HAS SOUPS 541493 WITH SCORE 544918.788
AT ITER 9781 NEW BEST:: SOT 9506178 SOS 3426111 HAS SOPS 3426111 HAS SOUS 541358 HAS SOUPS 541358 WITH SCORE 544784.111
AT ITER 9795 NEW BEST:: SOT 9506178 SOS 3425968 HAS SOPS 3425968 HAS SOUS 541308 HAS SOUPS 541308 WITH SCORE 544733.968
AT ITER 9821 NEW BEST:: SOT 9506176 SOS 3425964 HAS SOPS 3425964 HAS SOUS 541304 HAS SOUPS 541304 WITH SCORE 544729.964
AT ITER 9822 NEW BEST:: SOT 9506069 SOS 3425750 HAS SOPS 3425750 HAS SOUS 540983 HAS SOUPS 540983 WITH SCORE 544408.75
AT ITER 9834 NEW BEST:: SOT 9506069 SOS 3425636 HAS SOPS 3425636 HAS SOUS 540964 HAS SOUPS 540964 WITH SCORE 544389.636
AT ITER 9854 NEW BEST:: SOT 9506206 SOS 3425710 HAS SOPS 3425710 HAS SOUS 540838 HAS SOUPS 540838 WITH SCORE 544263.71
AT ITER 9863 NEW BEST:: SOT 9505931 SOS 3425488 HAS SOPS 3425488 HAS SOUS 540434 HAS SOUPS 540434 WITH SCORE 543859.488
AT ITER 9869 NEW BEST:: SOT 9505925 SOS 3425476 HAS SOPS 3425476 HAS SOUS 540422 HAS SOUPS 540422 WITH SCORE 543847.476
AT ITER 9870 NEW BEST:: SOT 9505910 SOS 3424309 HAS SOPS 3424309 HAS SOUS 540392 HAS SOUPS 540392 WITH SCORE 543816.309
AT ITER 9884 NEW BEST:: SOT 9505659 SOS 3424980 HAS SOPS 3424980 HAS SOUS 540344 HAS SOUPS 540344 WITH SCORE 543768.98
AT ITER 9887 NEW BEST:: SOT 9505327 SOS 3424648 HAS SOPS 3424648 HAS SOUS 539589 HAS SOUPS 539589 WITH SCORE 543013.648
AT ITER 9892 NEW BEST:: SOT 9505299 SOS 3424620 HAS SOPS 3424620 HAS SOUS 539561 HAS SOUPS 539561 WITH SCORE 542985.62
AT ITER 9900 NEW BEST:: SOT 9505299 SOS 3424674 HAS SOPS 3424674 HAS SOUS 539559 HAS SOUPS 539559 WITH SCORE 542983.674
AT ITER 9904 NEW BEST:: SOT 9504848 SOS 3424552 HAS SOPS 3424552 HAS SOUS 539382 HAS SOUPS 539382 WITH SCORE 542806.552
AT ITER 9940 NEW BEST:: SOT 9504718 SOS 3424520 HAS SOPS 3424520 HAS SOUS 539331 HAS SOUPS 539331 WITH SCORE 542755.52
AT ITER 9945 NEW BEST:: SOT 9504718 SOS 3424648 HAS SOPS 3424648 HAS SOUS 539267 HAS SOUPS 539267 WITH SCORE 542691.648
AT ITER 9949 NEW BEST:: SOT 9504685 SOS 3424582 HAS SOPS 3424582 HAS SOUS 539263 HAS SOUPS 539263 WITH SCORE 542687.582
AT ITER 9964 NEW BEST:: SOT 9504647 SOS 3424544 HAS SOPS 3424544 HAS SOUS 539225 HAS SOUPS 539225 WITH SCORE 542649.544
AT ITER 9971 NEW BEST:: SOT 9504647 SOS 3424434 HAS SOPS 3424434 HAS SOUS 539157 HAS SOUPS 539157 WITH SCORE 542581.434
AT ITER 9992 NEW BEST:: SOT 9504544 SOS 3424228 HAS SOPS 3424228 HAS SOUS 538848 HAS SOUPS 538848 WITH SCORE 542272.228
AT ITER 9995 NEW BEST:: SOT 9504544 SOS 3424228 HAS SOPS 3424228 HAS SOUS 538739 HAS SOUPS 538739 WITH SCORE 542163.228
AT ITER 9999 NEW BEST:: SOT 9504526 SOS 3424271 HAS SOPS 3424271 HAS SOUS 538624 HAS SOUPS 538624 WITH SCORE 542048.271

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-6b"
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 CloudDeployment-PT-6b, 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 r033-smll-158901926000344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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