About the Execution of smart for ASLink-PT-05b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15765.950 | 3600000.00 | 3600009.00 | 0.00 | [undef] | Time out reached |
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.r003-smll-158897508000081.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 ASLink-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000081
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 956K
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 795K 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 1589029994080
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 05b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 2430 places, 3040 transitions, 9292 arcs.
AT ITER 0 NEW BEST:: SOT 4060326 SOS 958073 HAS SOPS 958073 HAS SOUS 765610 HAS SOUPS 765610 WITH SCORE 766568.073
AT ITER 11 NEW BEST:: SOT 4060187 SOS 957795 HAS SOPS 957795 HAS SOUS 765464 HAS SOUPS 765464 WITH SCORE 766421.795
AT ITER 16 NEW BEST:: SOT 4060152 SOS 957637 HAS SOPS 957637 HAS SOUS 765429 HAS SOUPS 765429 WITH SCORE 766386.637
AT ITER 28 NEW BEST:: SOT 4059888 SOS 957748 HAS SOPS 957748 HAS SOUS 765188 HAS SOUPS 765188 WITH SCORE 766145.748
AT ITER 32 NEW BEST:: SOT 4059634 SOS 957197 HAS SOPS 957197 HAS SOUS 765076 HAS SOUPS 765076 WITH SCORE 766033.197
AT ITER 37 NEW BEST:: SOT 4059614 SOS 957017 HAS SOPS 957017 HAS SOUS 765036 HAS SOUPS 765036 WITH SCORE 765993.017
AT ITER 44 NEW BEST:: SOT 4056257 SOS 973515 HAS SOPS 973515 HAS SOUS 763201 HAS SOUPS 763201 WITH SCORE 764174.515
AT ITER 49 NEW BEST:: SOT 4056082 SOS 973434 HAS SOPS 973434 HAS SOUS 763099 HAS SOUPS 763099 WITH SCORE 764072.434
AT ITER 71 NEW BEST:: SOT 4056075 SOS 973440 HAS SOPS 973440 HAS SOUS 763001 HAS SOUPS 763001 WITH SCORE 763974.44
AT ITER 87 NEW BEST:: SOT 4055810 SOS 972891 HAS SOPS 972891 HAS SOUS 762452 HAS SOUPS 762452 WITH SCORE 763424.891
AT ITER 122 NEW BEST:: SOT 4055426 SOS 972585 HAS SOPS 972585 HAS SOUS 762146 HAS SOUPS 762146 WITH SCORE 763118.585
AT ITER 143 NEW BEST:: SOT 4055374 SOS 972533 HAS SOPS 972533 HAS SOUS 762092 HAS SOUPS 762092 WITH SCORE 763064.533
AT ITER 154 NEW BEST:: SOT 4055186 SOS 972345 HAS SOPS 972345 HAS SOUS 761904 HAS SOUPS 761904 WITH SCORE 762876.345
AT ITER 161 NEW BEST:: SOT 4054968 SOS 971944 HAS SOPS 971944 HAS SOUS 761643 HAS SOUPS 761643 WITH SCORE 762614.944
AT ITER 204 NEW BEST:: SOT 4054852 SOS 971712 HAS SOPS 971712 HAS SOUS 761493 HAS SOUPS 761493 WITH SCORE 762464.712
AT ITER 209 NEW BEST:: SOT 4054700 SOS 971408 HAS SOPS 971408 HAS SOUS 761332 HAS SOUPS 761332 WITH SCORE 762303.408
AT ITER 222 NEW BEST:: SOT 4054343 SOS 971045 HAS SOPS 971045 HAS SOUS 760969 HAS SOUPS 760969 WITH SCORE 761940.045
AT ITER 223 NEW BEST:: SOT 4051622 SOS 969536 HAS SOPS 969536 HAS SOUS 758666 HAS SOUPS 758666 WITH SCORE 759635.536
AT ITER 249 NEW BEST:: SOT 4051531 SOS 969354 HAS SOPS 969354 HAS SOUS 758395 HAS SOUPS 758395 WITH SCORE 759364.354
AT ITER 257 NEW BEST:: SOT 4051422 SOS 969244 HAS SOPS 969244 HAS SOUS 758067 HAS SOUPS 758067 WITH SCORE 759036.244
AT ITER 267 NEW BEST:: SOT 4051198 SOS 969016 HAS SOPS 969016 HAS SOUS 757842 HAS SOUPS 757842 WITH SCORE 758811.016
AT ITER 281 NEW BEST:: SOT 4051198 SOS 969001 HAS SOPS 969001 HAS SOUS 757827 HAS SOUPS 757827 WITH SCORE 758796.001
AT ITER 295 NEW BEST:: SOT 4050720 SOS 968514 HAS SOPS 968514 HAS SOUS 757349 HAS SOUPS 757349 WITH SCORE 758317.514
AT ITER 326 NEW BEST:: SOT 4050720 SOS 968036 HAS SOPS 968036 HAS SOUS 757349 HAS SOUPS 757349 WITH SCORE 758317.036
AT ITER 336 NEW BEST:: SOT 4050687 SOS 967924 HAS SOPS 967924 HAS SOUS 757315 HAS SOUPS 757315 WITH SCORE 758282.924
AT ITER 344 NEW BEST:: SOT 4050162 SOS 967324 HAS SOPS 967324 HAS SOUS 757240 HAS SOUPS 757240 WITH SCORE 758207.324
AT ITER 357 NEW BEST:: SOT 4050034 SOS 967299 HAS SOPS 967299 HAS SOUS 757235 HAS SOUPS 757235 WITH SCORE 758202.299
AT ITER 360 NEW BEST:: SOT 4049776 SOS 967018 HAS SOPS 967018 HAS SOUS 756905 HAS SOUPS 756905 WITH SCORE 757872.018
AT ITER 375 NEW BEST:: SOT 4049568 SOS 966994 HAS SOPS 966994 HAS SOUS 756686 HAS SOUPS 756686 WITH SCORE 757652.994
AT ITER 379 NEW BEST:: SOT 4049538 SOS 967354 HAS SOPS 967354 HAS SOUS 756513 HAS SOUPS 756513 WITH SCORE 757480.354
AT ITER 389 NEW BEST:: SOT 4049538 SOS 967255 HAS SOPS 967255 HAS SOUS 756414 HAS SOUPS 756414 WITH SCORE 757381.255
AT ITER 402 NEW BEST:: SOT 4049550 SOS 967226 HAS SOPS 967226 HAS SOUS 756414 HAS SOUPS 756414 WITH SCORE 757381.226
AT ITER 404 NEW BEST:: SOT 4049303 SOS 966864 HAS SOPS 966864 HAS SOUS 756145 HAS SOUPS 756145 WITH SCORE 757111.864
AT ITER 427 NEW BEST:: SOT 4049066 SOS 966627 HAS SOPS 966627 HAS SOUS 755907 HAS SOUPS 755907 WITH SCORE 756873.627
AT ITER 429 NEW BEST:: SOT 4049006 SOS 966505 HAS SOPS 966505 HAS SOUS 755785 HAS SOUPS 755785 WITH SCORE 756751.505
AT ITER 435 NEW BEST:: SOT 4048869 SOS 966310 HAS SOPS 966310 HAS SOUS 755590 HAS SOUPS 755590 WITH SCORE 756556.31
AT ITER 438 NEW BEST:: SOT 4048803 SOS 966244 HAS SOPS 966244 HAS SOUS 755524 HAS SOUPS 755524 WITH SCORE 756490.244
AT ITER 443 NEW BEST:: SOT 4048276 SOS 966069 HAS SOPS 966069 HAS SOUS 755085 HAS SOUPS 755085 WITH SCORE 756051.069
AT ITER 447 NEW BEST:: SOT 4046681 SOS 964793 HAS SOPS 964793 HAS SOUS 753809 HAS SOUPS 753809 WITH SCORE 754773.793
AT ITER 450 NEW BEST:: SOT 4046711 SOS 964527 HAS SOPS 964527 HAS SOUS 753568 HAS SOUPS 753568 WITH SCORE 754532.527
AT ITER 481 NEW BEST:: SOT 4046044 SOS 964410 HAS SOPS 964410 HAS SOUS 753383 HAS SOUPS 753383 WITH SCORE 754347.41
AT ITER 550 NEW BEST:: SOT 4045815 SOS 963952 HAS SOPS 963952 HAS SOUS 752925 HAS SOUPS 752925 WITH SCORE 753888.952
AT ITER 558 NEW BEST:: SOT 4045815 SOS 963813 HAS SOPS 963813 HAS SOUS 752924 HAS SOUPS 752924 WITH SCORE 753887.813
AT ITER 579 NEW BEST:: SOT 4045815 SOS 963729 HAS SOPS 963729 HAS SOUS 752840 HAS SOUPS 752840 WITH SCORE 753803.729
AT ITER 586 NEW BEST:: SOT 4045528 SOS 963639 HAS SOPS 963639 HAS SOUS 752750 HAS SOUPS 752750 WITH SCORE 753713.639
AT ITER 588 NEW BEST:: SOT 4045528 SOS 963600 HAS SOPS 963600 HAS SOUS 752711 HAS SOUPS 752711 WITH SCORE 753674.6
AT ITER 595 NEW BEST:: SOT 4044404 SOS 962856 HAS SOPS 962856 HAS SOUS 751967 HAS SOUPS 751967 WITH SCORE 752929.856
AT ITER 605 NEW BEST:: SOT 4044415 SOS 962855 HAS SOPS 962855 HAS SOUS 751966 HAS SOUPS 751966 WITH SCORE 752928.855
AT ITER 612 NEW BEST:: SOT 4044127 SOS 962535 HAS SOPS 962535 HAS SOUS 751678 HAS SOUPS 751678 WITH SCORE 752640.535
AT ITER 618 NEW BEST:: SOT 4044103 SOS 962485 HAS SOPS 962485 HAS SOUS 751652 HAS SOUPS 751652 WITH SCORE 752614.485
AT ITER 625 NEW BEST:: SOT 4043803 SOS 962154 HAS SOPS 962154 HAS SOUS 751352 HAS SOUPS 751352 WITH SCORE 752314.154
AT ITER 627 NEW BEST:: SOT 4043641 SOS 961992 HAS SOPS 961992 HAS SOUS 751186 HAS SOUPS 751186 WITH SCORE 752147.992
AT ITER 629 NEW BEST:: SOT 4043567 SOS 961931 HAS SOPS 961931 HAS SOUS 751125 HAS SOUPS 751125 WITH SCORE 752086.931
AT ITER 667 NEW BEST:: SOT 4043425 SOS 961770 HAS SOPS 961770 HAS SOUS 750962 HAS SOUPS 750962 WITH SCORE 751923.77
AT ITER 670 NEW BEST:: SOT 4043332 SOS 963180 HAS SOPS 963180 HAS SOUS 750930 HAS SOUPS 750930 WITH SCORE 751893.18
AT ITER 675 NEW BEST:: SOT 4043330 SOS 962786 HAS SOPS 962786 HAS SOUS 750926 HAS SOUPS 750926 WITH SCORE 751888.786
AT ITER 691 NEW BEST:: SOT 4043228 SOS 962680 HAS SOPS 962680 HAS SOUS 750824 HAS SOUPS 750824 WITH SCORE 751786.68
AT ITER 702 NEW BEST:: SOT 4042829 SOS 961877 HAS SOPS 961877 HAS SOUS 750021 HAS SOUPS 750021 WITH SCORE 750982.877
AT ITER 713 NEW BEST:: SOT 4042829 SOS 961581 HAS SOPS 961581 HAS SOUS 749872 HAS SOUPS 749872 WITH SCORE 750833.581
AT ITER 730 NEW BEST:: SOT 4042127 SOS 960821 HAS SOPS 960821 HAS SOUS 749170 HAS SOUPS 749170 WITH SCORE 750130.821
AT ITER 779 NEW BEST:: SOT 4042127 SOS 960817 HAS SOPS 960817 HAS SOUS 749166 HAS SOUPS 749166 WITH SCORE 750126.817
AT ITER 791 NEW BEST:: SOT 4042103 SOS 960677 HAS SOPS 960677 HAS SOUS 749033 HAS SOUPS 749033 WITH SCORE 749993.677
AT ITER 794 NEW BEST:: SOT 4042027 SOS 960601 HAS SOPS 960601 HAS SOUS 748957 HAS SOUPS 748957 WITH SCORE 749917.601
AT ITER 797 NEW BEST:: SOT 4041451 SOS 960581 HAS SOPS 960581 HAS SOUS 748457 HAS SOUPS 748457 WITH SCORE 749417.581
AT ITER 804 NEW BEST:: SOT 4041075 SOS 960086 HAS SOPS 960086 HAS SOUS 747894 HAS SOUPS 747894 WITH SCORE 748854.086
AT ITER 810 NEW BEST:: SOT 4041036 SOS 960065 HAS SOPS 960065 HAS SOUS 747886 HAS SOUPS 747886 WITH SCORE 748846.065
AT ITER 816 NEW BEST:: SOT 4041035 SOS 959908 HAS SOPS 959908 HAS SOUS 747883 HAS SOUPS 747883 WITH SCORE 748842.908
AT ITER 834 NEW BEST:: SOT 4041101 SOS 959776 HAS SOPS 959776 HAS SOUS 747758 HAS SOUPS 747758 WITH SCORE 748717.776
AT ITER 841 NEW BEST:: SOT 4041012 SOS 959598 HAS SOPS 959598 HAS SOUS 747580 HAS SOUPS 747580 WITH SCORE 748539.598
AT ITER 842 NEW BEST:: SOT 4037507 SOS 956107 HAS SOPS 956107 HAS SOUS 744081 HAS SOUPS 744081 WITH SCORE 745037.107
AT ITER 861 NEW BEST:: SOT 4037472 SOS 955947 HAS SOPS 955947 HAS SOUS 743928 HAS SOUPS 743928 WITH SCORE 744883.947
AT ITER 866 NEW BEST:: SOT 4037472 SOS 955946 HAS SOPS 955946 HAS SOUS 743927 HAS SOUPS 743927 WITH SCORE 744882.946
AT ITER 887 NEW BEST:: SOT 4037472 SOS 955934 HAS SOPS 955934 HAS SOUS 743915 HAS SOUPS 743915 WITH SCORE 744870.934
AT ITER 903 NEW BEST:: SOT 4037395 SOS 955886 HAS SOPS 955886 HAS SOUS 743867 HAS SOUPS 743867 WITH SCORE 744822.886
AT ITER 907 NEW BEST:: SOT 4036142 SOS 954454 HAS SOPS 954454 HAS SOUS 743688 HAS SOUPS 743688 WITH SCORE 744642.454
AT ITER 916 NEW BEST:: SOT 4036058 SOS 954286 HAS SOPS 954286 HAS SOUS 743520 HAS SOUPS 743520 WITH SCORE 744474.286
AT ITER 917 NEW BEST:: SOT 4036058 SOS 954257 HAS SOPS 954257 HAS SOUS 743491 HAS SOUPS 743491 WITH SCORE 744445.257
AT ITER 918 NEW BEST:: SOT 4035850 SOS 954038 HAS SOPS 954038 HAS SOUS 743272 HAS SOUPS 743272 WITH SCORE 744226.038
AT ITER 922 NEW BEST:: SOT 4035824 SOS 953983 HAS SOPS 953983 HAS SOUS 743224 HAS SOUPS 743224 WITH SCORE 744177.983
AT ITER 925 NEW BEST:: SOT 4033448 SOS 951607 HAS SOPS 951607 HAS SOUS 742645 HAS SOUPS 742645 WITH SCORE 743596.607
AT ITER 933 NEW BEST:: SOT 4033447 SOS 951588 HAS SOPS 951588 HAS SOUS 742626 HAS SOUPS 742626 WITH SCORE 743577.588
AT ITER 951 NEW BEST:: SOT 4033444 SOS 951585 HAS SOPS 951585 HAS SOUS 742623 HAS SOUPS 742623 WITH SCORE 743574.585
AT ITER 965 NEW BEST:: SOT 4032796 SOS 951747 HAS SOPS 951747 HAS SOUS 742408 HAS SOUPS 742408 WITH SCORE 743359.747
AT ITER 984 NEW BEST:: SOT 4031913 SOS 952357 HAS SOPS 952357 HAS SOUS 741638 HAS SOUPS 741638 WITH SCORE 742590.357
AT ITER 1012 NEW BEST:: SOT 4031777 SOS 953149 HAS SOPS 953149 HAS SOUS 741499 HAS SOUPS 741499 WITH SCORE 742452.149
AT ITER 1034 NEW BEST:: SOT 4031777 SOS 952922 HAS SOPS 952922 HAS SOUS 741422 HAS SOUPS 741422 WITH SCORE 742374.922
AT ITER 1036 NEW BEST:: SOT 4031690 SOS 952959 HAS SOPS 952959 HAS SOUS 741247 HAS SOUPS 741247 WITH SCORE 742199.959
AT ITER 1041 NEW BEST:: SOT 4031165 SOS 953272 HAS SOPS 953272 HAS SOUS 741056 HAS SOUPS 741056 WITH SCORE 742009.272
AT ITER 1047 NEW BEST:: SOT 4031165 SOS 953273 HAS SOPS 953273 HAS SOUS 741041 HAS SOUPS 741041 WITH SCORE 741994.273
AT ITER 1053 NEW BEST:: SOT 4031165 SOS 953272 HAS SOPS 953272 HAS SOUS 741040 HAS SOUPS 741040 WITH SCORE 741993.272
AT ITER 1056 NEW BEST:: SOT 4030930 SOS 953124 HAS SOPS 953124 HAS SOUS 740892 HAS SOUPS 740892 WITH SCORE 741845.124
AT ITER 1063 NEW BEST:: SOT 4030930 SOS 953217 HAS SOPS 953217 HAS SOUS 740875 HAS SOUPS 740875 WITH SCORE 741828.217
AT ITER 1064 NEW BEST:: SOT 4030791 SOS 953207 HAS SOPS 953207 HAS SOUS 739656 HAS SOUPS 739656 WITH SCORE 740609.207
AT ITER 1065 NEW BEST:: SOT 4030791 SOS 953169 HAS SOPS 953169 HAS SOUS 739654 HAS SOUPS 739654 WITH SCORE 740607.169
AT ITER 1066 NEW BEST:: SOT 4030849 SOS 953242 HAS SOPS 953242 HAS SOUS 739610 HAS SOUPS 739610 WITH SCORE 740563.242
AT ITER 1076 NEW BEST:: SOT 4030688 SOS 953232 HAS SOPS 953232 HAS SOUS 739132 HAS SOUPS 739132 WITH SCORE 740085.232
AT ITER 1084 NEW BEST:: SOT 4030528 SOS 953167 HAS SOPS 953167 HAS SOUS 739054 HAS SOUPS 739054 WITH SCORE 740007.167
AT ITER 1089 NEW BEST:: SOT 4030409 SOS 952929 HAS SOPS 952929 HAS SOUS 738935 HAS SOUPS 738935 WITH SCORE 739887.929
AT ITER 1093 NEW BEST:: SOT 4030364 SOS 952884 HAS SOPS 952884 HAS SOUS 738845 HAS SOUPS 738845 WITH SCORE 739797.884
AT ITER 1116 NEW BEST:: SOT 4029433 SOS 951953 HAS SOPS 951953 HAS SOUS 738845 HAS SOUPS 738845 WITH SCORE 739796.953
AT ITER 1117 NEW BEST:: SOT 4029433 SOS 951952 HAS SOPS 951952 HAS SOUS 738844 HAS SOUPS 738844 WITH SCORE 739795.952
AT ITER 1139 NEW BEST:: SOT 4029136 SOS 952375 HAS SOPS 952375 HAS SOUS 738729 HAS SOUPS 738729 WITH SCORE 739681.375
AT ITER 1144 NEW BEST:: SOT 4028288 SOS 951527 HAS SOPS 951527 HAS SOUS 737881 HAS SOUPS 737881 WITH SCORE 738832.527
AT ITER 1152 NEW BEST:: SOT 4028232 SOS 951467 HAS SOPS 951467 HAS SOUS 737880 HAS SOUPS 737880 WITH SCORE 738831.467
AT ITER 1166 NEW BEST:: SOT 4028232 SOS 951436 HAS SOPS 951436 HAS SOUS 737875 HAS SOUPS 737875 WITH SCORE 738826.436
AT ITER 1178 NEW BEST:: SOT 4027283 SOS 950284 HAS SOPS 950284 HAS SOUS 736723 HAS SOUPS 736723 WITH SCORE 737673.284
AT ITER 1180 NEW BEST:: SOT 4027282 SOS 950212 HAS SOPS 950212 HAS SOUS 736651 HAS SOUPS 736651 WITH SCORE 737601.212
AT ITER 1201 NEW BEST:: SOT 4027282 SOS 950452 HAS SOPS 950452 HAS SOUS 736650 HAS SOUPS 736650 WITH SCORE 737600.452
AT ITER 1242 NEW BEST:: SOT 4026912 SOS 949691 HAS SOPS 949691 HAS SOUS 734232 HAS SOUPS 734232 WITH SCORE 735181.691
AT ITER 1245 NEW BEST:: SOT 4026906 SOS 949685 HAS SOPS 949685 HAS SOUS 734225 HAS SOUPS 734225 WITH SCORE 735174.685
AT ITER 1248 NEW BEST:: SOT 4028425 SOS 950987 HAS SOPS 950987 HAS SOUS 734008 HAS SOUPS 734008 WITH SCORE 734958.987
AT ITER 1259 NEW BEST:: SOT 4028093 SOS 950610 HAS SOPS 950610 HAS SOUS 733631 HAS SOUPS 733631 WITH SCORE 734581.61
AT ITER 1298 NEW BEST:: SOT 4027811 SOS 949889 HAS SOPS 949889 HAS SOUS 732225 HAS SOUPS 732225 WITH SCORE 733174.889
AT ITER 1305 NEW BEST:: SOT 4028072 SOS 949712 HAS SOPS 949712 HAS SOUS 732131 HAS SOUPS 732131 WITH SCORE 733080.712
AT ITER 1331 NEW BEST:: SOT 4028418 SOS 949454 HAS SOPS 949454 HAS SOUS 731966 HAS SOUPS 731966 WITH SCORE 732915.454
AT ITER 1337 NEW BEST:: SOT 4028986 SOS 950194 HAS SOPS 950194 HAS SOUS 729802 HAS SOUPS 729802 WITH SCORE 730752.194
AT ITER 1341 NEW BEST:: SOT 4028836 SOS 950036 HAS SOPS 950036 HAS SOUS 729691 HAS SOUPS 729691 WITH SCORE 730641.036
AT ITER 1373 NEW BEST:: SOT 4028836 SOS 950035 HAS SOPS 950035 HAS SOUS 729690 HAS SOUPS 729690 WITH SCORE 730640.035
AT ITER 1375 NEW BEST:: SOT 4028836 SOS 950003 HAS SOPS 950003 HAS SOUS 729658 HAS SOUPS 729658 WITH SCORE 730608.003
AT ITER 1398 NEW BEST:: SOT 4028814 SOS 949797 HAS SOPS 949797 HAS SOUS 729614 HAS SOUPS 729614 WITH SCORE 730563.797
AT ITER 1418 NEW BEST:: SOT 4028772 SOS 949755 HAS SOPS 949755 HAS SOUS 729572 HAS SOUPS 729572 WITH SCORE 730521.755
AT ITER 1433 NEW BEST:: SOT 4028752 SOS 949735 HAS SOPS 949735 HAS SOUS 729532 HAS SOUPS 729532 WITH SCORE 730481.735
AT ITER 1434 NEW BEST:: SOT 4028752 SOS 949735 HAS SOPS 949735 HAS SOUS 729484 HAS SOUPS 729484 WITH SCORE 730433.735
AT ITER 1435 NEW BEST:: SOT 4028478 SOS 949086 HAS SOPS 949086 HAS SOUS 725482 HAS SOUPS 725482 WITH SCORE 726431.086
AT ITER 1439 NEW BEST:: SOT 4028025 SOS 948907 HAS SOPS 948907 HAS SOUS 725069 HAS SOUPS 725069 WITH SCORE 726017.907
AT ITER 1457 NEW BEST:: SOT 4027522 SOS 948404 HAS SOPS 948404 HAS SOUS 724566 HAS SOUPS 724566 WITH SCORE 725514.404
AT ITER 1466 NEW BEST:: SOT 4027431 SOS 948222 HAS SOPS 948222 HAS SOUS 724384 HAS SOUPS 724384 WITH SCORE 725332.222
AT ITER 1469 NEW BEST:: SOT 4027398 SOS 947826 HAS SOPS 947826 HAS SOUS 724276 HAS SOUPS 724276 WITH SCORE 725223.826
AT ITER 1476 NEW BEST:: SOT 4025862 SOS 946493 HAS SOPS 946493 HAS SOUS 722164 HAS SOUPS 722164 WITH SCORE 723110.493
AT ITER 1503 NEW BEST:: SOT 4025862 SOS 946482 HAS SOPS 946482 HAS SOUS 722153 HAS SOUPS 722153 WITH SCORE 723099.482
AT ITER 1513 NEW BEST:: SOT 4025791 SOS 946340 HAS SOPS 946340 HAS SOUS 722011 HAS SOUPS 722011 WITH SCORE 722957.34
AT ITER 1519 NEW BEST:: SOT 4025509 SOS 945776 HAS SOPS 945776 HAS SOUS 721447 HAS SOUPS 721447 WITH SCORE 722392.776
AT ITER 1523 NEW BEST:: SOT 4025425 SOS 945617 HAS SOPS 945617 HAS SOUS 721363 HAS SOUPS 721363 WITH SCORE 722308.617
AT ITER 1537 NEW BEST:: SOT 4025351 SOS 945543 HAS SOPS 945543 HAS SOUS 720993 HAS SOUPS 720993 WITH SCORE 721938.543
AT ITER 1564 NEW BEST:: SOT 4025267 SOS 945530 HAS SOPS 945530 HAS SOUS 720979 HAS SOUPS 720979 WITH SCORE 721924.53
AT ITER 1585 NEW BEST:: SOT 4025265 SOS 944845 HAS SOPS 944845 HAS SOUS 720975 HAS SOUPS 720975 WITH SCORE 721919.845
AT ITER 1599 NEW BEST:: SOT 4025248 SOS 944810 HAS SOPS 944810 HAS SOUS 720940 HAS SOUPS 720940 WITH SCORE 721884.81
AT ITER 1617 NEW BEST:: SOT 4025139 SOS 944700 HAS SOPS 944700 HAS SOUS 719958 HAS SOUPS 719958 WITH SCORE 720902.7
AT ITER 1647 NEW BEST:: SOT 4025014 SOS 944611 HAS SOPS 944611 HAS SOUS 719868 HAS SOUPS 719868 WITH SCORE 720812.611
AT ITER 1648 NEW BEST:: SOT 4024878 SOS 944540 HAS SOPS 944540 HAS SOUS 719654 HAS SOUPS 719654 WITH SCORE 720598.54
AT ITER 1657 NEW BEST:: SOT 4024878 SOS 944529 HAS SOPS 944529 HAS SOUS 719643 HAS SOUPS 719643 WITH SCORE 720587.529
AT ITER 1658 NEW BEST:: SOT 4024818 SOS 944399 HAS SOPS 944399 HAS SOUS 719523 HAS SOUPS 719523 WITH SCORE 720467.399
AT ITER 1663 NEW BEST:: SOT 4023663 SOS 946284 HAS SOPS 946284 HAS SOUS 719084 HAS SOUPS 719084 WITH SCORE 720030.284
AT ITER 1698 NEW BEST:: SOT 4023286 SOS 946465 HAS SOPS 946465 HAS SOUS 718876 HAS SOUPS 718876 WITH SCORE 719822.465
AT ITER 1700 NEW BEST:: SOT 4023237 SOS 946367 HAS SOPS 946367 HAS SOUS 718778 HAS SOUPS 718778 WITH SCORE 719724.367
AT ITER 1706 NEW BEST:: SOT 4023079 SOS 945169 HAS SOPS 945169 HAS SOUS 718440 HAS SOUPS 718440 WITH SCORE 719385.169
AT ITER 1714 NEW BEST:: SOT 4023038 SOS 945157 HAS SOPS 945157 HAS SOUS 718387 HAS SOUPS 718387 WITH SCORE 719332.157
AT ITER 1727 NEW BEST:: SOT 4022893 SOS 944989 HAS SOPS 944989 HAS SOUS 718219 HAS SOUPS 718219 WITH SCORE 719163.989
AT ITER 1749 NEW BEST:: SOT 4025859 SOS 948539 HAS SOPS 948539 HAS SOUS 718176 HAS SOUPS 718176 WITH SCORE 719124.539
AT ITER 1764 NEW BEST:: SOT 4025818 SOS 948498 HAS SOPS 948498 HAS SOUS 718133 HAS SOUPS 718133 WITH SCORE 719081.498
AT ITER 1775 NEW BEST:: SOT 4026182 SOS 949402 HAS SOPS 949402 HAS SOUS 717823 HAS SOUPS 717823 WITH SCORE 718772.402
AT ITER 1798 NEW BEST:: SOT 4026182 SOS 949414 HAS SOPS 949414 HAS SOUS 714995 HAS SOUPS 714995 WITH SCORE 715944.414
AT ITER 1802 NEW BEST:: SOT 4026182 SOS 949406 HAS SOPS 949406 HAS SOUS 714987 HAS SOUPS 714987 WITH SCORE 715936.406
AT ITER 1817 NEW BEST:: SOT 4026181 SOS 949296 HAS SOPS 949296 HAS SOUS 714877 HAS SOUPS 714877 WITH SCORE 715826.296
AT ITER 1832 NEW BEST:: SOT 4026153 SOS 949240 HAS SOPS 949240 HAS SOUS 714758 HAS SOUPS 714758 WITH SCORE 715707.24
AT ITER 1848 NEW BEST:: SOT 4026247 SOS 948850 HAS SOPS 948850 HAS SOUS 714656 HAS SOUPS 714656 WITH SCORE 715604.85
AT ITER 1849 NEW BEST:: SOT 4026147 SOS 948250 HAS SOPS 948250 HAS SOUS 714456 HAS SOUPS 714456 WITH SCORE 715404.25
AT ITER 1850 NEW BEST:: SOT 4026147 SOS 948220 HAS SOPS 948220 HAS SOUS 714438 HAS SOUPS 714438 WITH SCORE 715386.22
AT ITER 1879 NEW BEST:: SOT 4026085 SOS 948290 HAS SOPS 948290 HAS SOUS 714284 HAS SOUPS 714284 WITH SCORE 715232.29
AT ITER 1919 NEW BEST:: SOT 4023740 SOS 945344 HAS SOPS 945344 HAS SOUS 714092 HAS SOUPS 714092 WITH SCORE 715037.344
AT ITER 1921 NEW BEST:: SOT 4023677 SOS 945281 HAS SOPS 945281 HAS SOUS 714029 HAS SOUPS 714029 WITH SCORE 714974.281
AT ITER 1932 NEW BEST:: SOT 4023677 SOS 945280 HAS SOPS 945280 HAS SOUS 714028 HAS SOUPS 714028 WITH SCORE 714973.28
AT ITER 1938 NEW BEST:: SOT 4023475 SOS 945064 HAS SOPS 945064 HAS SOUS 713784 HAS SOUPS 713784 WITH SCORE 714729.064
AT ITER 1943 NEW BEST:: SOT 4023474 SOS 945063 HAS SOPS 945063 HAS SOUS 713781 HAS SOUPS 713781 WITH SCORE 714726.063
AT ITER 1945 NEW BEST:: SOT 4023436 SOS 944898 HAS SOPS 944898 HAS SOUS 713705 HAS SOUPS 713705 WITH SCORE 714649.898
AT ITER 1950 NEW BEST:: SOT 4023309 SOS 944585 HAS SOPS 944585 HAS SOUS 713392 HAS SOUPS 713392 WITH SCORE 714336.585
AT ITER 1982 NEW BEST:: SOT 4023317 SOS 944585 HAS SOPS 944585 HAS SOUS 713317 HAS SOUPS 713317 WITH SCORE 714261.585
AT ITER 2015 NEW BEST:: SOT 4023205 SOS 944457 HAS SOPS 944457 HAS SOUS 713301 HAS SOUPS 713301 WITH SCORE 714245.457
AT ITER 2027 NEW BEST:: SOT 4023232 SOS 944451 HAS SOPS 944451 HAS SOUS 713295 HAS SOUPS 713295 WITH SCORE 714239.451
AT ITER 2034 NEW BEST:: SOT 4022965 SOS 944250 HAS SOPS 944250 HAS SOUS 713089 HAS SOUPS 713089 WITH SCORE 714033.25
AT ITER 2044 NEW BEST:: SOT 4022965 SOS 943668 HAS SOPS 943668 HAS SOUS 712908 HAS SOUPS 712908 WITH SCORE 713851.668
AT ITER 2053 NEW BEST:: SOT 4022887 SOS 943551 HAS SOPS 943551 HAS SOUS 712791 HAS SOUPS 712791 WITH SCORE 713734.551
AT ITER 2071 NEW BEST:: SOT 4022469 SOS 943116 HAS SOPS 943116 HAS SOUS 712356 HAS SOUPS 712356 WITH SCORE 713299.116
AT ITER 2095 NEW BEST:: SOT 4022238 SOS 942884 HAS SOPS 942884 HAS SOUS 712124 HAS SOUPS 712124 WITH SCORE 713066.884
AT ITER 2105 NEW BEST:: SOT 4022202 SOS 942390 HAS SOPS 942390 HAS SOUS 712005 HAS SOUPS 712005 WITH SCORE 712947.39
AT ITER 2108 NEW BEST:: SOT 4022088 SOS 942276 HAS SOPS 942276 HAS SOUS 711777 HAS SOUPS 711777 WITH SCORE 712719.276
AT ITER 2112 NEW BEST:: SOT 4021732 SOS 942988 HAS SOPS 942988 HAS SOUS 711421 HAS SOUPS 711421 WITH SCORE 712363.988
AT ITER 2132 NEW BEST:: SOT 4021471 SOS 942821 HAS SOPS 942821 HAS SOUS 711254 HAS SOUPS 711254 WITH SCORE 712196.821
AT ITER 2145 NEW BEST:: SOT 4021470 SOS 942572 HAS SOPS 942572 HAS SOUS 711251 HAS SOUPS 711251 WITH SCORE 712193.572
AT ITER 2156 NEW BEST:: SOT 4021470 SOS 942570 HAS SOPS 942570 HAS SOUS 711249 HAS SOUPS 711249 WITH SCORE 712191.57
AT ITER 2173 NEW BEST:: SOT 4021332 SOS 942185 HAS SOPS 942185 HAS SOUS 711209 HAS SOUPS 711209 WITH SCORE 712151.185
AT ITER 2179 NEW BEST:: SOT 4021194 SOS 942024 HAS SOPS 942024 HAS SOUS 711188 HAS SOUPS 711188 WITH SCORE 712130.024
AT ITER 2218 NEW BEST:: SOT 4021170 SOS 941974 HAS SOPS 941974 HAS SOUS 711138 HAS SOUPS 711138 WITH SCORE 712079.974
AT ITER 2240 NEW BEST:: SOT 4020069 SOS 946273 HAS SOPS 946273 HAS SOUS 710846 HAS SOUPS 710846 WITH SCORE 711792.273
AT ITER 2242 NEW BEST:: SOT 4020069 SOS 946172 HAS SOPS 946172 HAS SOUS 710844 HAS SOUPS 710844 WITH SCORE 711790.172
AT ITER 2244 NEW BEST:: SOT 4020028 SOS 946088 HAS SOPS 946088 HAS SOUS 710760 HAS SOUPS 710760 WITH SCORE 711706.088
AT ITER 2258 NEW BEST:: SOT 4019237 SOS 946354 HAS SOPS 946354 HAS SOUS 710120 HAS SOUPS 710120 WITH SCORE 711066.354
AT ITER 2263 NEW BEST:: SOT 4019006 SOS 946043 HAS SOPS 946043 HAS SOUS 709809 HAS SOUPS 709809 WITH SCORE 710755.043
AT ITER 2292 NEW BEST:: SOT 4018499 SOS 946265 HAS SOPS 946265 HAS SOUS 709513 HAS SOUPS 709513 WITH SCORE 710459.265
AT ITER 2294 NEW BEST:: SOT 4018434 SOS 946221 HAS SOPS 946221 HAS SOUS 706458 HAS SOUPS 706458 WITH SCORE 707404.221
AT ITER 2327 NEW BEST:: SOT 4018343 SOS 946113 HAS SOPS 946113 HAS SOUS 706292 HAS SOUPS 706292 WITH SCORE 707238.113
AT ITER 2344 NEW BEST:: SOT 4018343 SOS 946113 HAS SOPS 946113 HAS SOUS 706191 HAS SOUPS 706191 WITH SCORE 707137.113
AT ITER 2354 NEW BEST:: SOT 4017618 SOS 944941 HAS SOPS 944941 HAS SOUS 705242 HAS SOUPS 705242 WITH SCORE 706186.941
AT ITER 2363 NEW BEST:: SOT 4017480 SOS 944823 HAS SOPS 944823 HAS SOUS 705124 HAS SOUPS 705124 WITH SCORE 706068.823
AT ITER 2379 NEW BEST:: SOT 4017947 SOS 945505 HAS SOPS 945505 HAS SOUS 704591 HAS SOUPS 704591 WITH SCORE 705536.505
AT ITER 2395 NEW BEST:: SOT 4017947 SOS 945442 HAS SOPS 945442 HAS SOUS 704465 HAS SOUPS 704465 WITH SCORE 705410.442
AT ITER 2402 NEW BEST:: SOT 4017902 SOS 945401 HAS SOPS 945401 HAS SOUS 704424 HAS SOUPS 704424 WITH SCORE 705369.401
AT ITER 2427 NEW BEST:: SOT 4016894 SOS 944393 HAS SOPS 944393 HAS SOUS 704424 HAS SOUPS 704424 WITH SCORE 705368.393
AT ITER 2436 NEW BEST:: SOT 4016627 SOS 944372 HAS SOPS 944372 HAS SOUS 704403 HAS SOUPS 704403 WITH SCORE 705347.372
AT ITER 2439 NEW BEST:: SOT 4016615 SOS 944360 HAS SOPS 944360 HAS SOUS 704391 HAS SOUPS 704391 WITH SCORE 705335.36
AT ITER 2440 NEW BEST:: SOT 4016371 SOS 944040 HAS SOPS 944040 HAS SOUS 703903 HAS SOUPS 703903 WITH SCORE 704847.04
AT ITER 2446 NEW BEST:: SOT 4016195 SOS 943659 HAS SOPS 943659 HAS SOUS 703551 HAS SOUPS 703551 WITH SCORE 704494.659
AT ITER 2449 NEW BEST:: SOT 4015984 SOS 943233 HAS SOPS 943233 HAS SOUS 703125 HAS SOUPS 703125 WITH SCORE 704068.233
AT ITER 2459 NEW BEST:: SOT 4015927 SOS 943043 HAS SOPS 943043 HAS SOUS 702935 HAS SOUPS 702935 WITH SCORE 703878.043
AT ITER 2474 NEW BEST:: SOT 4015875 SOS 942638 HAS SOPS 942638 HAS SOUS 702728 HAS SOUPS 702728 WITH SCORE 703670.638
AT ITER 2480 NEW BEST:: SOT 4015875 SOS 942714 HAS SOPS 942714 HAS SOUS 702645 HAS SOUPS 702645 WITH SCORE 703587.714
AT ITER 2535 NEW BEST:: SOT 4015834 SOS 942632 HAS SOPS 942632 HAS SOUS 702563 HAS SOUPS 702563 WITH SCORE 703505.632
AT ITER 2537 NEW BEST:: SOT 4015681 SOS 942780 HAS SOPS 942780 HAS SOUS 702484 HAS SOUPS 702484 WITH SCORE 703426.78
AT ITER 2546 NEW BEST:: SOT 4015167 SOS 942489 HAS SOPS 942489 HAS SOUS 701848 HAS SOUPS 701848 WITH SCORE 702790.489
AT ITER 2552 NEW BEST:: SOT 4014688 SOS 942994 HAS SOPS 942994 HAS SOUS 701483 HAS SOUPS 701483 WITH SCORE 702425.994
AT ITER 2563 NEW BEST:: SOT 4014687 SOS 942842 HAS SOPS 942842 HAS SOUS 701481 HAS SOUPS 701481 WITH SCORE 702423.842
AT ITER 2576 NEW BEST:: SOT 4014687 SOS 942838 HAS SOPS 942838 HAS SOUS 701477 HAS SOUPS 701477 WITH SCORE 702419.838
AT ITER 2601 NEW BEST:: SOT 4014601 SOS 942752 HAS SOPS 942752 HAS SOUS 701230 HAS SOUPS 701230 WITH SCORE 702172.752
AT ITER 2618 NEW BEST:: SOT 4014498 SOS 942542 HAS SOPS 942542 HAS SOUS 701020 HAS SOUPS 701020 WITH SCORE 701962.542
AT ITER 2619 NEW BEST:: SOT 4014498 SOS 942499 HAS SOPS 942499 HAS SOUS 700977 HAS SOUPS 700977 WITH SCORE 701919.499
AT ITER 2666 NEW BEST:: SOT 4014251 SOS 942340 HAS SOPS 942340 HAS SOUS 700814 HAS SOUPS 700814 WITH SCORE 701756.34
AT ITER 2681 NEW BEST:: SOT 4014251 SOS 942340 HAS SOPS 942340 HAS SOUS 700813 HAS SOUPS 700813 WITH SCORE 701755.34
AT ITER 2691 NEW BEST:: SOT 4014155 SOS 941922 HAS SOPS 941922 HAS SOUS 700395 HAS SOUPS 700395 WITH SCORE 701336.922
AT ITER 2692 NEW BEST:: SOT 4014074 SOS 941867 HAS SOPS 941867 HAS SOUS 700340 HAS SOUPS 700340 WITH SCORE 701281.867
AT ITER 2715 NEW BEST:: SOT 4014074 SOS 941827 HAS SOPS 941827 HAS SOUS 700340 HAS SOUPS 700340 WITH SCORE 701281.827
AT ITER 2716 NEW BEST:: SOT 4013928 SOS 941679 HAS SOPS 941679 HAS SOUS 700191 HAS SOUPS 700191 WITH SCORE 701132.679
AT ITER 2720 NEW BEST:: SOT 4013874 SOS 941575 HAS SOPS 941575 HAS SOUS 700112 HAS SOUPS 700112 WITH SCORE 701053.575
AT ITER 2738 NEW BEST:: SOT 4012668 SOS 943848 HAS SOPS 943848 HAS SOUS 699461 HAS SOUPS 699461 WITH SCORE 700404.848
AT ITER 2743 NEW BEST:: SOT 4012668 SOS 943848 HAS SOPS 943848 HAS SOUS 699448 HAS SOUPS 699448 WITH SCORE 700391.848
AT ITER 2767 NEW BEST:: SOT 4012572 SOS 944619 HAS SOPS 944619 HAS SOUS 699400 HAS SOUPS 699400 WITH SCORE 700344.619
AT ITER 2768 NEW BEST:: SOT 4012554 SOS 944583 HAS SOPS 944583 HAS SOUS 699364 HAS SOUPS 699364 WITH SCORE 700308.583
AT ITER 2779 NEW BEST:: SOT 4012554 SOS 944588 HAS SOPS 944588 HAS SOUS 699338 HAS SOUPS 699338 WITH SCORE 700282.588
AT ITER 2782 NEW BEST:: SOT 4012554 SOS 944457 HAS SOPS 944457 HAS SOUS 699207 HAS SOUPS 699207 WITH SCORE 700151.457
AT ITER 2803 NEW BEST:: SOT 4012432 SOS 944332 HAS SOPS 944332 HAS SOUS 699082 HAS SOUPS 699082 WITH SCORE 700026.332
AT ITER 2807 NEW BEST:: SOT 4012431 SOS 944018 HAS SOPS 944018 HAS SOUS 699080 HAS SOUPS 699080 WITH SCORE 700024.018
AT ITER 2811 NEW BEST:: SOT 4012430 SOS 944016 HAS SOPS 944016 HAS SOUS 699078 HAS SOUPS 699078 WITH SCORE 700022.016
AT ITER 2843 NEW BEST:: SOT 4012430 SOS 943936 HAS SOPS 943936 HAS SOUS 698998 HAS SOUPS 698998 WITH SCORE 699941.936
AT ITER 2855 NEW BEST:: SOT 4012284 SOS 943637 HAS SOPS 943637 HAS SOUS 698670 HAS SOUPS 698670 WITH SCORE 699613.637
AT ITER 2859 NEW BEST:: SOT 4012284 SOS 943449 HAS SOPS 943449 HAS SOUS 698482 HAS SOUPS 698482 WITH SCORE 699425.449
AT ITER 2903 NEW BEST:: SOT 4012328 SOS 943444 HAS SOPS 943444 HAS SOUS 698477 HAS SOUPS 698477 WITH SCORE 699420.444
AT ITER 2929 NEW BEST:: SOT 4012254 SOS 943363 HAS SOPS 943363 HAS SOUS 698396 HAS SOUPS 698396 WITH SCORE 699339.363
AT ITER 2949 NEW BEST:: SOT 4012140 SOS 943244 HAS SOPS 943244 HAS SOUS 698277 HAS SOUPS 698277 WITH SCORE 699220.244
AT ITER 2961 NEW BEST:: SOT 4011976 SOS 943080 HAS SOPS 943080 HAS SOUS 698277 HAS SOUPS 698277 WITH SCORE 699220.08
AT ITER 2974 NEW BEST:: SOT 4011975 SOS 942746 HAS SOPS 942746 HAS SOUS 698192 HAS SOUPS 698192 WITH SCORE 699134.746
AT ITER 2983 NEW BEST:: SOT 4011938 SOS 942894 HAS SOPS 942894 HAS SOUS 698118 HAS SOUPS 698118 WITH SCORE 699060.894
AT ITER 2988 NEW BEST:: SOT 4011902 SOS 942714 HAS SOPS 942714 HAS SOUS 698046 HAS SOUPS 698046 WITH SCORE 698988.714
AT ITER 2992 NEW BEST:: SOT 4011866 SOS 943091 HAS SOPS 943091 HAS SOUS 697947 HAS SOUPS 697947 WITH SCORE 698890.091
AT ITER 3021 NEW BEST:: SOT 4011751 SOS 942771 HAS SOPS 942771 HAS SOUS 697717 HAS SOUPS 697717 WITH SCORE 698659.771
AT ITER 3027 NEW BEST:: SOT 4011742 SOS 942753 HAS SOPS 942753 HAS SOUS 697699 HAS SOUPS 697699 WITH SCORE 698641.753
AT ITER 3060 NEW BEST:: SOT 4011742 SOS 942749 HAS SOPS 942749 HAS SOUS 697695 HAS SOUPS 697695 WITH SCORE 698637.749
AT ITER 3064 NEW BEST:: SOT 4011742 SOS 942745 HAS SOPS 942745 HAS SOUS 697691 HAS SOUPS 697691 WITH SCORE 698633.745
AT ITER 3075 NEW BEST:: SOT 4011517 SOS 941672 HAS SOPS 941672 HAS SOUS 696796 HAS SOUPS 696796 WITH SCORE 697737.672
AT ITER 3081 NEW BEST:: SOT 4011429 SOS 941487 HAS SOPS 941487 HAS SOUS 696708 HAS SOUPS 696708 WITH SCORE 697649.487
AT ITER 3098 NEW BEST:: SOT 4011085 SOS 941074 HAS SOPS 941074 HAS SOUS 696295 HAS SOUPS 696295 WITH SCORE 697236.074
AT ITER 3158 NEW BEST:: SOT 4011085 SOS 941063 HAS SOPS 941063 HAS SOUS 696284 HAS SOUPS 696284 WITH SCORE 697225.063
AT ITER 3207 NEW BEST:: SOT 4010988 SOS 942698 HAS SOPS 942698 HAS SOUS 696116 HAS SOUPS 696116 WITH SCORE 697058.698
AT ITER 3214 NEW BEST:: SOT 4010793 SOS 942622 HAS SOPS 942622 HAS SOUS 696057 HAS SOUPS 696057 WITH SCORE 696999.622
AT ITER 3220 NEW BEST:: SOT 4010526 SOS 942211 HAS SOPS 942211 HAS SOUS 695555 HAS SOUPS 695555 WITH SCORE 696497.211
AT ITER 3222 NEW BEST:: SOT 4010526 SOS 942121 HAS SOPS 942121 HAS SOUS 695553 HAS SOUPS 695553 WITH SCORE 696495.121
AT ITER 3241 NEW BEST:: SOT 4010483 SOS 942035 HAS SOPS 942035 HAS SOUS 695512 HAS SOUPS 695512 WITH SCORE 696454.035
AT ITER 3250 NEW BEST:: SOT 4010428 SOS 941759 HAS SOPS 941759 HAS SOUS 695402 HAS SOUPS 695402 WITH SCORE 696343.759
AT ITER 3255 NEW BEST:: SOT 4010136 SOS 941174 HAS SOPS 941174 HAS SOUS 694817 HAS SOUPS 694817 WITH SCORE 695758.174
AT ITER 3274 NEW BEST:: SOT 4009889 SOS 940186 HAS SOPS 940186 HAS SOUS 694323 HAS SOUPS 694323 WITH SCORE 695263.186
AT ITER 3275 NEW BEST:: SOT 4009635 SOS 939678 HAS SOPS 939678 HAS SOUS 693815 HAS SOUPS 693815 WITH SCORE 694754.678
AT ITER 3280 NEW BEST:: SOT 4009653 SOS 939665 HAS SOPS 939665 HAS SOUS 693802 HAS SOUPS 693802 WITH SCORE 694741.665
AT ITER 3281 NEW BEST:: SOT 4009468 SOS 939481 HAS SOPS 939481 HAS SOUS 693618 HAS SOUPS 693618 WITH SCORE 694557.481
AT ITER 3291 NEW BEST:: SOT 4009467 SOS 939479 HAS SOPS 939479 HAS SOUS 693616 HAS SOUPS 693616 WITH SCORE 694555.479
AT ITER 3299 NEW BEST:: SOT 4009377 SOS 939414 HAS SOPS 939414 HAS SOUS 693518 HAS SOUPS 693518 WITH SCORE 694457.414
AT ITER 3323 NEW BEST:: SOT 4009377 SOS 944630 HAS SOPS 944630 HAS SOUS 692866 HAS SOUPS 692866 WITH SCORE 693810.63
AT ITER 3371 NEW BEST:: SOT 4009148 SOS 944494 HAS SOPS 944494 HAS SOUS 692730 HAS SOUPS 692730 WITH SCORE 693674.494
AT ITER 3413 NEW BEST:: SOT 4009141 SOS 944480 HAS SOPS 944480 HAS SOUS 692716 HAS SOUPS 692716 WITH SCORE 693660.48
AT ITER 3415 NEW BEST:: SOT 4009141 SOS 944478 HAS SOPS 944478 HAS SOUS 692714 HAS SOUPS 692714 WITH SCORE 693658.478
AT ITER 3436 NEW BEST:: SOT 4009121 SOS 944458 HAS SOPS 944458 HAS SOUS 692502 HAS SOUPS 692502 WITH SCORE 693446.458
AT ITER 3454 NEW BEST:: SOT 4009061 SOS 944338 HAS SOPS 944338 HAS SOUS 692382 HAS SOUPS 692382 WITH SCORE 693326.338
AT ITER 3458 NEW BEST:: SOT 4009060 SOS 944336 HAS SOPS 944336 HAS SOUS 692380 HAS SOUPS 692380 WITH SCORE 693324.336
AT ITER 3475 NEW BEST:: SOT 4008747 SOS 943709 HAS SOPS 943709 HAS SOUS 691753 HAS SOUPS 691753 WITH SCORE 692696.709
AT ITER 3479 NEW BEST:: SOT 4008723 SOS 943661 HAS SOPS 943661 HAS SOUS 691704 HAS SOUPS 691704 WITH SCORE 692647.661
AT ITER 3480 NEW BEST:: SOT 4008688 SOS 943652 HAS SOPS 943652 HAS SOUS 691625 HAS SOUPS 691625 WITH SCORE 692568.652
AT ITER 3495 NEW BEST:: SOT 4008440 SOS 939289 HAS SOPS 939289 HAS SOUS 690982 HAS SOUPS 690982 WITH SCORE 691921.289
AT ITER 3520 NEW BEST:: SOT 4008404 SOS 936720 HAS SOPS 936720 HAS SOUS 690946 HAS SOUPS 690946 WITH SCORE 691882.72
AT ITER 3548 NEW BEST:: SOT 4008316 SOS 936544 HAS SOPS 936544 HAS SOUS 690770 HAS SOUPS 690770 WITH SCORE 691706.544
AT ITER 3572 NEW BEST:: SOT 4008455 SOS 936530 HAS SOPS 936530 HAS SOUS 690756 HAS SOUPS 690756 WITH SCORE 691692.53
AT ITER 3576 NEW BEST:: SOT 4008057 SOS 935858 HAS SOPS 935858 HAS SOUS 690115 HAS SOUPS 690115 WITH SCORE 691050.858
AT ITER 3583 NEW BEST:: SOT 4008056 SOS 935684 HAS SOPS 935684 HAS SOUS 689941 HAS SOUPS 689941 WITH SCORE 690876.684
AT ITER 3603 NEW BEST:: SOT 4008056 SOS 935648 HAS SOPS 935648 HAS SOUS 689941 HAS SOUPS 689941 WITH SCORE 690876.648
AT ITER 3640 NEW BEST:: SOT 4007938 SOS 935289 HAS SOPS 935289 HAS SOUS 689768 HAS SOUPS 689768 WITH SCORE 690703.289
AT ITER 3649 NEW BEST:: SOT 4007411 SOS 934539 HAS SOPS 934539 HAS SOUS 689338 HAS SOUPS 689338 WITH SCORE 690272.539
AT ITER 3680 NEW BEST:: SOT 4007382 SOS 934433 HAS SOPS 934433 HAS SOUS 689003 HAS SOUPS 689003 WITH SCORE 689937.433
AT ITER 3691 NEW BEST:: SOT 4007382 SOS 934018 HAS SOPS 934018 HAS SOUS 688588 HAS SOUPS 688588 WITH SCORE 689522.018
AT ITER 3713 NEW BEST:: SOT 4007230 SOS 933866 HAS SOPS 933866 HAS SOUS 686004 HAS SOUPS 686004 WITH SCORE 686937.866
AT ITER 3734 NEW BEST:: SOT 4007230 SOS 933821 HAS SOPS 933821 HAS SOUS 685959 HAS SOUPS 685959 WITH SCORE 686892.821
AT ITER 3739 NEW BEST:: SOT 4007013 SOS 933604 HAS SOPS 933604 HAS SOUS 685599 HAS SOUPS 685599 WITH SCORE 686532.604
AT ITER 3758 NEW BEST:: SOT 4005470 SOS 932327 HAS SOPS 932327 HAS SOUS 684188 HAS SOUPS 684188 WITH SCORE 685120.327
AT ITER 3774 NEW BEST:: SOT 4003825 SOS 930917 HAS SOPS 930917 HAS SOUS 682778 HAS SOUPS 682778 WITH SCORE 683708.917
AT ITER 3779 NEW BEST:: SOT 4003824 SOS 930916 HAS SOPS 930916 HAS SOUS 682775 HAS SOUPS 682775 WITH SCORE 683705.916
AT ITER 3792 NEW BEST:: SOT 4003824 SOS 930915 HAS SOPS 930915 HAS SOUS 682774 HAS SOUPS 682774 WITH SCORE 683704.915
AT ITER 3837 NEW BEST:: SOT 4003782 SOS 930847 HAS SOPS 930847 HAS SOUS 682756 HAS SOUPS 682756 WITH SCORE 683686.847
AT ITER 3842 NEW BEST:: SOT 4003757 SOS 930793 HAS SOPS 930793 HAS SOUS 682702 HAS SOUPS 682702 WITH SCORE 683632.793
AT ITER 3878 NEW BEST:: SOT 4003743 SOS 930744 HAS SOPS 930744 HAS SOUS 682674 HAS SOUPS 682674 WITH SCORE 683604.744
AT ITER 3896 NEW BEST:: SOT 4003703 SOS 930693 HAS SOPS 930693 HAS SOUS 682655 HAS SOUPS 682655 WITH SCORE 683585.693
AT ITER 3910 NEW BEST:: SOT 4003653 SOS 930603 HAS SOPS 930603 HAS SOUS 682600 HAS SOUPS 682600 WITH SCORE 683530.603
AT ITER 3916 NEW BEST:: SOT 4003524 SOS 930624 HAS SOPS 930624 HAS SOUS 682582 HAS SOUPS 682582 WITH SCORE 683512.624
AT ITER 3927 NEW BEST:: SOT 4003688 SOS 930786 HAS SOPS 930786 HAS SOUS 681944 HAS SOUPS 681944 WITH SCORE 682874.786
AT ITER 3940 NEW BEST:: SOT 4003688 SOS 930724 HAS SOPS 930724 HAS SOUS 681871 HAS SOUPS 681871 WITH SCORE 682801.724
AT ITER 3958 NEW BEST:: SOT 4003468 SOS 930671 HAS SOPS 930671 HAS SOUS 681818 HAS SOUPS 681818 WITH SCORE 682748.671
AT ITER 3963 NEW BEST:: SOT 4003467 SOS 930646 HAS SOPS 930646 HAS SOUS 681793 HAS SOUPS 681793 WITH SCORE 682723.646
AT ITER 3967 NEW BEST:: SOT 4003309 SOS 930330 HAS SOPS 930330 HAS SOUS 681477 HAS SOUPS 681477 WITH SCORE 682407.33
AT ITER 3971 NEW BEST:: SOT 4003211 SOS 930135 HAS SOPS 930135 HAS SOUS 681281 HAS SOUPS 681281 WITH SCORE 682211.135
AT ITER 3992 NEW BEST:: SOT 4003034 SOS 929781 HAS SOPS 929781 HAS SOUS 679710 HAS SOUPS 679710 WITH SCORE 680639.781
AT ITER 4037 NEW BEST:: SOT 4002759 SOS 929506 HAS SOPS 929506 HAS SOUS 679179 HAS SOUPS 679179 WITH SCORE 680108.506
AT ITER 4049 NEW BEST:: SOT 4002443 SOS 929128 HAS SOPS 929128 HAS SOUS 678801 HAS SOUPS 678801 WITH SCORE 679730.128
AT ITER 4087 NEW BEST:: SOT 4002499 SOS 929059 HAS SOPS 929059 HAS SOUS 678732 HAS SOUPS 678732 WITH SCORE 679661.059
AT ITER 4108 NEW BEST:: SOT 4002499 SOS 929037 HAS SOPS 929037 HAS SOUS 678709 HAS SOUPS 678709 WITH SCORE 679638.037
AT ITER 4115 NEW BEST:: SOT 4003263 SOS 929992 HAS SOPS 929992 HAS SOUS 677480 HAS SOUPS 677480 WITH SCORE 678409.992
AT ITER 4139 NEW BEST:: SOT 4003199 SOS 929863 HAS SOPS 929863 HAS SOUS 677415 HAS SOUPS 677415 WITH SCORE 678344.863
AT ITER 4172 NEW BEST:: SOT 4003095 SOS 929655 HAS SOPS 929655 HAS SOUS 677207 HAS SOUPS 677207 WITH SCORE 678136.655
AT ITER 4215 NEW BEST:: SOT 4002966 SOS 929526 HAS SOPS 929526 HAS SOUS 677078 HAS SOUPS 677078 WITH SCORE 678007.526
AT ITER 4230 NEW BEST:: SOT 4002952 SOS 929568 HAS SOPS 929568 HAS SOUS 677036 HAS SOUPS 677036 WITH SCORE 677965.568
AT ITER 4239 NEW BEST:: SOT 4002951 SOS 929501 HAS SOPS 929501 HAS SOUS 676969 HAS SOUPS 676969 WITH SCORE 677898.501
AT ITER 4259 NEW BEST:: SOT 4003054 SOS 929403 HAS SOPS 929403 HAS SOUS 676871 HAS SOUPS 676871 WITH SCORE 677800.403
AT ITER 4260 NEW BEST:: SOT 4003054 SOS 929490 HAS SOPS 929490 HAS SOUS 676643 HAS SOUPS 676643 WITH SCORE 677572.49
AT ITER 4266 NEW BEST:: SOT 4003053 SOS 929302 HAS SOPS 929302 HAS SOUS 676641 HAS SOUPS 676641 WITH SCORE 677570.302
AT ITER 4286 NEW BEST:: SOT 4002281 SOS 928543 HAS SOPS 928543 HAS SOUS 675882 HAS SOUPS 675882 WITH SCORE 676810.543
AT ITER 4289 NEW BEST:: SOT 4002095 SOS 928599 HAS SOPS 928599 HAS SOUS 675780 HAS SOUPS 675780 WITH SCORE 676708.599
AT ITER 4303 NEW BEST:: SOT 4002075 SOS 928298 HAS SOPS 928298 HAS SOUS 675740 HAS SOUPS 675740 WITH SCORE 676668.298
AT ITER 4317 NEW BEST:: SOT 4002021 SOS 928143 HAS SOPS 928143 HAS SOUS 675585 HAS SOUPS 675585 WITH SCORE 676513.143
AT ITER 4319 NEW BEST:: SOT 4001756 SOS 927614 HAS SOPS 927614 HAS SOUS 675319 HAS SOUPS 675319 WITH SCORE 676246.614
AT ITER 4344 NEW BEST:: SOT 4001454 SOS 927187 HAS SOPS 927187 HAS SOUS 675016 HAS SOUPS 675016 WITH SCORE 675943.187
AT ITER 4348 NEW BEST:: SOT 4000460 SOS 926051 HAS SOPS 926051 HAS SOUS 673778 HAS SOUPS 673778 WITH SCORE 674704.051
AT ITER 4353 NEW BEST:: SOT 4000457 SOS 926045 HAS SOPS 926045 HAS SOUS 673772 HAS SOUPS 673772 WITH SCORE 674698.045
AT ITER 4376 NEW BEST:: SOT 4000177 SOS 925823 HAS SOPS 925823 HAS SOUS 673492 HAS SOUPS 673492 WITH SCORE 674417.823
AT ITER 4418 NEW BEST:: SOT 4000143 SOS 925707 HAS SOPS 925707 HAS SOUS 673376 HAS SOUPS 673376 WITH SCORE 674301.707
AT ITER 4462 NEW BEST:: SOT 4000059 SOS 925577 HAS SOPS 925577 HAS SOUS 672794 HAS SOUPS 672794 WITH SCORE 673719.577
AT ITER 4508 NEW BEST:: SOT 4000059 SOS 925577 HAS SOPS 925577 HAS SOUS 672792 HAS SOUPS 672792 WITH SCORE 673717.577
AT ITER 4537 NEW BEST:: SOT 4000026 SOS 925544 HAS SOPS 925544 HAS SOUS 672792 HAS SOUPS 672792 WITH SCORE 673717.544
AT ITER 4548 NEW BEST:: SOT 4000015 SOS 925505 HAS SOPS 925505 HAS SOUS 672777 HAS SOUPS 672777 WITH SCORE 673702.505
AT ITER 4566 NEW BEST:: SOT 3999981 SOS 925471 HAS SOPS 925471 HAS SOUS 672471 HAS SOUPS 672471 WITH SCORE 673396.471
AT ITER 4577 NEW BEST:: SOT 3999150 SOS 924344 HAS SOPS 924344 HAS SOUS 671548 HAS SOUPS 671548 WITH SCORE 672472.344
AT ITER 4591 NEW BEST:: SOT 3998907 SOS 923127 HAS SOPS 923127 HAS SOUS 671062 HAS SOUPS 671062 WITH SCORE 671985.127
AT ITER 4593 NEW BEST:: SOT 3998861 SOS 923035 HAS SOPS 923035 HAS SOUS 670970 HAS SOUPS 670970 WITH SCORE 671893.035
AT ITER 4671 NEW BEST:: SOT 3998860 SOS 923033 HAS SOPS 923033 HAS SOUS 670968 HAS SOUPS 670968 WITH SCORE 671891.033
AT ITER 4672 NEW BEST:: SOT 3998852 SOS 923025 HAS SOPS 923025 HAS SOUS 670960 HAS SOUPS 670960 WITH SCORE 671883.025
AT ITER 4676 NEW BEST:: SOT 3998800 SOS 922870 HAS SOPS 922870 HAS SOUS 670805 HAS SOUPS 670805 WITH SCORE 671727.87
AT ITER 4685 NEW BEST:: SOT 3998851 SOS 922865 HAS SOPS 922865 HAS SOUS 670800 HAS SOUPS 670800 WITH SCORE 671722.865
AT ITER 4702 NEW BEST:: SOT 3998799 SOS 922761 HAS SOPS 922761 HAS SOUS 670696 HAS SOUPS 670696 WITH SCORE 671618.761
AT ITER 4708 NEW BEST:: SOT 3998525 SOS 922950 HAS SOPS 922950 HAS SOUS 670482 HAS SOUPS 670482 WITH SCORE 671404.95
AT ITER 4724 NEW BEST:: SOT 3998464 SOS 922674 HAS SOPS 922674 HAS SOUS 670373 HAS SOUPS 670373 WITH SCORE 671295.674
AT ITER 4748 NEW BEST:: SOT 3998464 SOS 922226 HAS SOPS 922226 HAS SOUS 670317 HAS SOUPS 670317 WITH SCORE 671239.226
AT ITER 4753 NEW BEST:: SOT 3998495 SOS 922115 HAS SOPS 922115 HAS SOUS 670206 HAS SOUPS 670206 WITH SCORE 671128.115
AT ITER 4813 NEW BEST:: SOT 3997986 SOS 922023 HAS SOPS 922023 HAS SOUS 670058 HAS SOUPS 670058 WITH SCORE 670980.023
AT ITER 4846 NEW BEST:: SOT 3997929 SOS 921909 HAS SOPS 921909 HAS SOUS 669943 HAS SOUPS 669943 WITH SCORE 670864.909
AT ITER 4851 NEW BEST:: SOT 3997858 SOS 921670 HAS SOPS 921670 HAS SOUS 669522 HAS SOUPS 669522 WITH SCORE 670443.67
AT ITER 4865 NEW BEST:: SOT 3997857 SOS 921575 HAS SOPS 921575 HAS SOUS 669426 HAS SOUPS 669426 WITH SCORE 670347.575
AT ITER 4895 NEW BEST:: SOT 3997819 SOS 921499 HAS SOPS 921499 HAS SOUS 669350 HAS SOUPS 669350 WITH SCORE 670271.499
AT ITER 4926 NEW BEST:: SOT 3997482 SOS 921315 HAS SOPS 921315 HAS SOUS 669203 HAS SOUPS 669203 WITH SCORE 670124.315
AT ITER 4927 NEW BEST:: SOT 3997522 SOS 921050 HAS SOPS 921050 HAS SOUS 669132 HAS SOUPS 669132 WITH SCORE 670053.05
AT ITER 4931 NEW BEST:: SOT 3997522 SOS 921048 HAS SOPS 921048 HAS SOUS 669130 HAS SOUPS 669130 WITH SCORE 670051.048
AT ITER 4933 NEW BEST:: SOT 3995362 SOS 919434 HAS SOPS 919434 HAS SOUS 667624 HAS SOUPS 667624 WITH SCORE 668543.434
AT ITER 4944 NEW BEST:: SOT 3995311 SOS 919332 HAS SOPS 919332 HAS SOUS 667573 HAS SOUPS 667573 WITH SCORE 668492.332
AT ITER 4948 NEW BEST:: SOT 3995029 SOS 918768 HAS SOPS 918768 HAS SOUS 667268 HAS SOUPS 667268 WITH SCORE 668186.768
AT ITER 4956 NEW BEST:: SOT 3995029 SOS 918723 HAS SOPS 918723 HAS SOUS 667260 HAS SOUPS 667260 WITH SCORE 668178.723
AT ITER 4961 NEW BEST:: SOT 3994950 SOS 918012 HAS SOPS 918012 HAS SOUS 667102 HAS SOUPS 667102 WITH SCORE 668020.012
AT ITER 4972 NEW BEST:: SOT 3994941 SOS 917976 HAS SOPS 917976 HAS SOUS 667061 HAS SOUPS 667061 WITH SCORE 667978.976
AT ITER 5000 NEW BEST:: SOT 3994696 SOS 917678 HAS SOPS 917678 HAS SOUS 666752 HAS SOUPS 666752 WITH SCORE 667669.678
AT ITER 5005 NEW BEST:: SOT 3994547 SOS 917380 HAS SOPS 917380 HAS SOUS 666454 HAS SOUPS 666454 WITH SCORE 667371.38
AT ITER 5021 NEW BEST:: SOT 3994546 SOS 917378 HAS SOPS 917378 HAS SOUS 666452 HAS SOUPS 666452 WITH SCORE 667369.378
AT ITER 5034 NEW BEST:: SOT 3994545 SOS 917374 HAS SOPS 917374 HAS SOUS 666448 HAS SOUPS 666448 WITH SCORE 667365.374
AT ITER 5043 NEW BEST:: SOT 3994545 SOS 917557 HAS SOPS 917557 HAS SOUS 664919 HAS SOUPS 664919 WITH SCORE 665836.557
AT ITER 5061 NEW BEST:: SOT 3994743 SOS 916741 HAS SOPS 916741 HAS SOUS 664731 HAS SOUPS 664731 WITH SCORE 665647.741
AT ITER 5092 NEW BEST:: SOT 3994312 SOS 916339 HAS SOPS 916339 HAS SOUS 664235 HAS SOUPS 664235 WITH SCORE 665151.339
AT ITER 5103 NEW BEST:: SOT 3993392 SOS 916104 HAS SOPS 916104 HAS SOUS 663712 HAS SOUPS 663712 WITH SCORE 664628.104
AT ITER 5134 NEW BEST:: SOT 3993296 SOS 915908 HAS SOPS 915908 HAS SOUS 663516 HAS SOUPS 663516 WITH SCORE 664431.908
AT ITER 5136 NEW BEST:: SOT 3993250 SOS 915730 HAS SOPS 915730 HAS SOUS 663338 HAS SOUPS 663338 WITH SCORE 664253.73
AT ITER 5140 NEW BEST:: SOT 3993250 SOS 915654 HAS SOPS 915654 HAS SOUS 663338 HAS SOUPS 663338 WITH SCORE 664253.654
AT ITER 5155 NEW BEST:: SOT 3993642 SOS 915587 HAS SOPS 915587 HAS SOUS 658574 HAS SOUPS 658574 WITH SCORE 659489.587
AT ITER 5170 NEW BEST:: SOT 3993505 SOS 915117 HAS SOPS 915117 HAS SOUS 658300 HAS SOUPS 658300 WITH SCORE 659215.117
AT ITER 5175 NEW BEST:: SOT 3993513 SOS 914839 HAS SOPS 914839 HAS SOUS 658223 HAS SOUPS 658223 WITH SCORE 659137.839
AT ITER 5202 NEW BEST:: SOT 3993504 SOS 914821 HAS SOPS 914821 HAS SOUS 658205 HAS SOUPS 658205 WITH SCORE 659119.821
AT ITER 5236 NEW BEST:: SOT 3993440 SOS 914744 HAS SOPS 914744 HAS SOUS 658077 HAS SOUPS 658077 WITH SCORE 658991.744
AT ITER 5245 NEW BEST:: SOT 3993365 SOS 914679 HAS SOPS 914679 HAS SOUS 658012 HAS SOUPS 658012 WITH SCORE 658926.679
AT ITER 5276 NEW BEST:: SOT 3993365 SOS 914677 HAS SOPS 914677 HAS SOUS 658010 HAS SOUPS 658010 WITH SCORE 658924.677
AT ITER 5367 NEW BEST:: SOT 3993132 SOS 914211 HAS SOPS 914211 HAS SOUS 657544 HAS SOUPS 657544 WITH SCORE 658458.211
AT ITER 5402 NEW BEST:: SOT 3993132 SOS 914011 HAS SOPS 914011 HAS SOUS 657380 HAS SOUPS 657380 WITH SCORE 658294.011
AT ITER 5419 NEW BEST:: SOT 3992924 SOS 913805 HAS SOPS 913805 HAS SOUS 657174 HAS SOUPS 657174 WITH SCORE 658087.805
AT ITER 5435 NEW BEST:: SOT 3992924 SOS 913776 HAS SOPS 913776 HAS SOUS 657145 HAS SOUPS 657145 WITH SCORE 658058.776
AT ITER 5437 NEW BEST:: SOT 3993121 SOS 913736 HAS SOPS 913736 HAS SOUS 657046 HAS SOUPS 657046 WITH SCORE 657959.736
AT ITER 5477 NEW BEST:: SOT 3992870 SOS 913275 HAS SOPS 913275 HAS SOUS 656754 HAS SOUPS 656754 WITH SCORE 657667.275
AT ITER 5530 NEW BEST:: SOT 3992870 SOS 913198 HAS SOPS 913198 HAS SOUS 656677 HAS SOUPS 656677 WITH SCORE 657590.198
AT ITER 5556 NEW BEST:: SOT 3992775 SOS 913207 HAS SOPS 913207 HAS SOUS 656537 HAS SOUPS 656537 WITH SCORE 657450.207
AT ITER 5565 NEW BEST:: SOT 3992821 SOS 912927 HAS SOPS 912927 HAS SOUS 656257 HAS SOUPS 656257 WITH SCORE 657169.927
AT ITER 5567 NEW BEST:: SOT 3991944 SOS 913444 HAS SOPS 913444 HAS SOUS 655536 HAS SOUPS 655536 WITH SCORE 656449.444
AT ITER 5574 NEW BEST:: SOT 3991816 SOS 913305 HAS SOPS 913305 HAS SOUS 655397 HAS SOUPS 655397 WITH SCORE 656310.305
AT ITER 5575 NEW BEST:: SOT 3991844 SOS 912976 HAS SOPS 912976 HAS SOUS 655166 HAS SOUPS 655166 WITH SCORE 656078.976
AT ITER 5585 NEW BEST:: SOT 3991739 SOS 912857 HAS SOPS 912857 HAS SOUS 655006 HAS SOUPS 655006 WITH SCORE 655918.857
AT ITER 5588 NEW BEST:: SOT 3991554 SOS 912572 HAS SOPS 912572 HAS SOUS 654721 HAS SOUPS 654721 WITH SCORE 655633.572
AT ITER 5614 NEW BEST:: SOT 3991318 SOS 912565 HAS SOPS 912565 HAS SOUS 654630 HAS SOUPS 654630 WITH SCORE 655542.565
AT ITER 5621 NEW BEST:: SOT 3991317 SOS 912403 HAS SOPS 912403 HAS SOUS 654628 HAS SOUPS 654628 WITH SCORE 655540.403
AT ITER 5629 NEW BEST:: SOT 3991317 SOS 912104 HAS SOPS 912104 HAS SOUS 654628 HAS SOUPS 654628 WITH SCORE 655540.104
AT ITER 5635 NEW BEST:: SOT 3991260 SOS 911990 HAS SOPS 911990 HAS SOUS 654514 HAS SOUPS 654514 WITH SCORE 655425.99
AT ITER 5644 NEW BEST:: SOT 3991260 SOS 911878 HAS SOPS 911878 HAS SOUS 654513 HAS SOUPS 654513 WITH SCORE 655424.878
AT ITER 5650 NEW BEST:: SOT 3991157 SOS 911672 HAS SOPS 911672 HAS SOUS 654492 HAS SOUPS 654492 WITH SCORE 655403.672
AT ITER 5651 NEW BEST:: SOT 3991157 SOS 911672 HAS SOPS 911672 HAS SOUS 654428 HAS SOUPS 654428 WITH SCORE 655339.672
AT ITER 5673 NEW BEST:: SOT 3992868 SOS 913144 HAS SOPS 913144 HAS SOUS 651347 HAS SOUPS 651347 WITH SCORE 652260.144
AT ITER 5675 NEW BEST:: SOT 3992855 SOS 913118 HAS SOPS 913118 HAS SOUS 651321 HAS SOUPS 651321 WITH SCORE 652234.118
AT ITER 5679 NEW BEST:: SOT 3992810 SOS 913193 HAS SOPS 913193 HAS SOUS 651291 HAS SOUPS 651291 WITH SCORE 652204.193
AT ITER 5686 NEW BEST:: SOT 3992797 SOS 913180 HAS SOPS 913180 HAS SOUS 651252 HAS SOUPS 651252 WITH SCORE 652165.18
AT ITER 5695 NEW BEST:: SOT 3992419 SOS 912735 HAS SOPS 912735 HAS SOUS 650874 HAS SOUPS 650874 WITH SCORE 651786.735
AT ITER 5708 NEW BEST:: SOT 3992248 SOS 912393 HAS SOPS 912393 HAS SOUS 650532 HAS SOUPS 650532 WITH SCORE 651444.393
AT ITER 5751 NEW BEST:: SOT 3992090 SOS 912006 HAS SOPS 912006 HAS SOUS 650216 HAS SOUPS 650216 WITH SCORE 651128.006
AT ITER 5773 NEW BEST:: SOT 3991996 SOS 911802 HAS SOPS 911802 HAS SOUS 650045 HAS SOUPS 650045 WITH SCORE 650956.802
AT ITER 5775 NEW BEST:: SOT 3991996 SOS 911710 HAS SOPS 911710 HAS SOUS 650045 HAS SOUPS 650045 WITH SCORE 650956.71
AT ITER 5780 NEW BEST:: SOT 3991949 SOS 911616 HAS SOPS 911616 HAS SOUS 649951 HAS SOUPS 649951 WITH SCORE 650862.616
AT ITER 5803 NEW BEST:: SOT 3991949 SOS 911578 HAS SOPS 911578 HAS SOUS 649913 HAS SOUPS 649913 WITH SCORE 650824.578
AT ITER 5809 NEW BEST:: SOT 3991924 SOS 911528 HAS SOPS 911528 HAS SOUS 649751 HAS SOUPS 649751 WITH SCORE 650662.528
AT ITER 5811 NEW BEST:: SOT 3991584 SOS 910764 HAS SOPS 910764 HAS SOUS 649074 HAS SOUPS 649074 WITH SCORE 649984.764
AT ITER 5819 NEW BEST:: SOT 3991544 SOS 910857 HAS SOPS 910857 HAS SOUS 649034 HAS SOUPS 649034 WITH SCORE 649944.857
AT ITER 5821 NEW BEST:: SOT 3991550 SOS 910398 HAS SOPS 910398 HAS SOUS 648997 HAS SOUPS 648997 WITH SCORE 649907.398
AT ITER 5834 NEW BEST:: SOT 3991217 SOS 910088 HAS SOPS 910088 HAS SOUS 648687 HAS SOUPS 648687 WITH SCORE 649597.088
AT ITER 5853 NEW BEST:: SOT 3991215 SOS 910080 HAS SOPS 910080 HAS SOUS 648684 HAS SOUPS 648684 WITH SCORE 649594.08
AT ITER 5866 NEW BEST:: SOT 3991458 SOS 910069 HAS SOPS 910069 HAS SOUS 648676 HAS SOUPS 648676 WITH SCORE 649586.069
AT ITER 5879 NEW BEST:: SOT 3991374 SOS 909295 HAS SOPS 909295 HAS SOUS 648592 HAS SOUPS 648592 WITH SCORE 649501.295
AT ITER 5882 NEW BEST:: SOT 3991203 SOS 908754 HAS SOPS 908754 HAS SOUS 648524 HAS SOUPS 648524 WITH SCORE 649432.754
AT ITER 5893 NEW BEST:: SOT 3991246 SOS 908364 HAS SOPS 908364 HAS SOUS 648501 HAS SOUPS 648501 WITH SCORE 649409.364
AT ITER 5899 NEW BEST:: SOT 3991151 SOS 908269 HAS SOPS 908269 HAS SOUS 648406 HAS SOUPS 648406 WITH SCORE 649314.269
AT ITER 5907 NEW BEST:: SOT 3991054 SOS 908007 HAS SOPS 908007 HAS SOUS 648144 HAS SOUPS 648144 WITH SCORE 649052.007
AT ITER 5910 NEW BEST:: SOT 3991035 SOS 907988 HAS SOPS 907988 HAS SOUS 648144 HAS SOUPS 648144 WITH SCORE 649051.988
AT ITER 5949 NEW BEST:: SOT 3991154 SOS 908096 HAS SOPS 908096 HAS SOUS 648054 HAS SOUPS 648054 WITH SCORE 648962.096
AT ITER 5957 NEW BEST:: SOT 3989802 SOS 908143 HAS SOPS 908143 HAS SOUS 646807 HAS SOUPS 646807 WITH SCORE 647715.143
AT ITER 5973 NEW BEST:: SOT 3989552 SOS 907818 HAS SOPS 907818 HAS SOUS 646557 HAS SOUPS 646557 WITH SCORE 647464.818
AT ITER 6004 NEW BEST:: SOT 3989524 SOS 907790 HAS SOPS 907790 HAS SOUS 646529 HAS SOUPS 646529 WITH SCORE 647436.79
AT ITER 6028 NEW BEST:: SOT 3989405 SOS 907552 HAS SOPS 907552 HAS SOUS 646291 HAS SOUPS 646291 WITH SCORE 647198.552
AT ITER 6069 NEW BEST:: SOT 3989403 SOS 907475 HAS SOPS 907475 HAS SOUS 646214 HAS SOUPS 646214 WITH SCORE 647121.475
AT ITER 6070 NEW BEST:: SOT 3989183 SOS 907206 HAS SOPS 907206 HAS SOUS 645994 HAS SOUPS 645994 WITH SCORE 646901.206
AT ITER 6092 NEW BEST:: SOT 3989137 SOS 907228 HAS SOPS 907228 HAS SOUS 645876 HAS SOUPS 645876 WITH SCORE 646783.228
AT ITER 6107 NEW BEST:: SOT 3988932 SOS 906970 HAS SOPS 906970 HAS SOUS 645618 HAS SOUPS 645618 WITH SCORE 646524.97
AT ITER 6108 NEW BEST:: SOT 3988841 SOS 906893 HAS SOPS 906893 HAS SOUS 645541 HAS SOUPS 645541 WITH SCORE 646447.893
AT ITER 6119 NEW BEST:: SOT 3988884 SOS 906836 HAS SOPS 906836 HAS SOUS 645487 HAS SOUPS 645487 WITH SCORE 646393.836
AT ITER 6141 NEW BEST:: SOT 3988801 SOS 906089 HAS SOPS 906089 HAS SOUS 645321 HAS SOUPS 645321 WITH SCORE 646227.089
AT ITER 6150 NEW BEST:: SOT 3988609 SOS 905705 HAS SOPS 905705 HAS SOUS 644937 HAS SOUPS 644937 WITH SCORE 645842.705
AT ITER 6152 NEW BEST:: SOT 3988404 SOS 902762 HAS SOPS 902762 HAS SOUS 644553 HAS SOUPS 644553 WITH SCORE 645455.762
AT ITER 6161 NEW BEST:: SOT 3988386 SOS 902708 HAS SOPS 902708 HAS SOUS 644499 HAS SOUPS 644499 WITH SCORE 645401.708
AT ITER 6188 NEW BEST:: SOT 3988362 SOS 902750 HAS SOPS 902750 HAS SOUS 644430 HAS SOUPS 644430 WITH SCORE 645332.75
AT ITER 6190 NEW BEST:: SOT 3988340 SOS 902706 HAS SOPS 902706 HAS SOUS 644386 HAS SOUPS 644386 WITH SCORE 645288.706
AT ITER 6212 NEW BEST:: SOT 3988344 SOS 902683 HAS SOPS 902683 HAS SOUS 644363 HAS SOUPS 644363 WITH SCORE 645265.683
AT ITER 6220 NEW BEST:: SOT 3988299 SOS 902612 HAS SOPS 902612 HAS SOUS 644292 HAS SOUPS 644292 WITH SCORE 645194.612
AT ITER 6227 NEW BEST:: SOT 3988299 SOS 901949 HAS SOPS 901949 HAS SOUS 644289 HAS SOUPS 644289 WITH SCORE 645190.949
AT ITER 6247 NEW BEST:: SOT 3988357 SOS 901936 HAS SOPS 901936 HAS SOUS 644276 HAS SOUPS 644276 WITH SCORE 645177.936
AT ITER 6250 NEW BEST:: SOT 3988282 SOS 901861 HAS SOPS 901861 HAS SOUS 644201 HAS SOUPS 644201 WITH SCORE 645102.861
AT ITER 6285 NEW BEST:: SOT 3988204 SOS 901972 HAS SOPS 901972 HAS SOUS 644123 HAS SOUPS 644123 WITH SCORE 645024.972
AT ITER 6311 NEW BEST:: SOT 3988179 SOS 901895 HAS SOPS 901895 HAS SOUS 644072 HAS SOUPS 644072 WITH SCORE 644973.895
AT ITER 6315 NEW BEST:: SOT 3988066 SOS 904775 HAS SOPS 904775 HAS SOUS 643888 HAS SOUPS 643888 WITH SCORE 644792.775
AT ITER 6318 NEW BEST:: SOT 3988002 SOS 903754 HAS SOPS 903754 HAS SOUS 643848 HAS SOUPS 643848 WITH SCORE 644751.754
AT ITER 6326 NEW BEST:: SOT 3987622 SOS 903374 HAS SOPS 903374 HAS SOUS 643468 HAS SOUPS 643468 WITH SCORE 644371.374
AT ITER 6360 NEW BEST:: SOT 3987612 SOS 903328 HAS SOPS 903328 HAS SOUS 643422 HAS SOUPS 643422 WITH SCORE 644325.328
AT ITER 6375 NEW BEST:: SOT 3987268 SOS 902640 HAS SOPS 902640 HAS SOUS 642734 HAS SOUPS 642734 WITH SCORE 643636.64
AT ITER 6377 NEW BEST:: SOT 3987271 SOS 901659 HAS SOPS 901659 HAS SOUS 642728 HAS SOUPS 642728 WITH SCORE 643629.659
AT ITER 6382 NEW BEST:: SOT 3987166 SOS 901675 HAS SOPS 901675 HAS SOUS 642559 HAS SOUPS 642559 WITH SCORE 643460.675
AT ITER 6385 NEW BEST:: SOT 3987149 SOS 901658 HAS SOPS 901658 HAS SOUS 642541 HAS SOUPS 642541 WITH SCORE 643442.658
AT ITER 6429 NEW BEST:: SOT 3986850 SOS 901466 HAS SOPS 901466 HAS SOUS 642036 HAS SOUPS 642036 WITH SCORE 642937.466
AT ITER 6432 NEW BEST:: SOT 3986685 SOS 902017 HAS SOPS 902017 HAS SOUS 641737 HAS SOUPS 641737 WITH SCORE 642639.017
AT ITER 6452 NEW BEST:: SOT 3986625 SOS 901957 HAS SOPS 901957 HAS SOUS 641617 HAS SOUPS 641617 WITH SCORE 642518.957
AT ITER 6462 NEW BEST:: SOT 3986400 SOS 901695 HAS SOPS 901695 HAS SOUS 641385 HAS SOUPS 641385 WITH SCORE 642286.695
AT ITER 6466 NEW BEST:: SOT 3986358 SOS 901611 HAS SOPS 901611 HAS SOUS 641301 HAS SOUPS 641301 WITH SCORE 642202.611
AT ITER 6477 NEW BEST:: SOT 3986330 SOS 903275 HAS SOPS 903275 HAS SOUS 641292 HAS SOUPS 641292 WITH SCORE 642195.275
AT ITER 6497 NEW BEST:: SOT 3986170 SOS 902779 HAS SOPS 902779 HAS SOUS 640972 HAS SOUPS 640972 WITH SCORE 641874.779
AT ITER 6499 NEW BEST:: SOT 3986169 SOS 902778 HAS SOPS 902778 HAS SOUS 640971 HAS SOUPS 640971 WITH SCORE 641873.778
AT ITER 6531 NEW BEST:: SOT 3986169 SOS 902670 HAS SOPS 902670 HAS SOUS 640969 HAS SOUPS 640969 WITH SCORE 641871.67
AT ITER 6546 NEW BEST:: SOT 3985772 SOS 901854 HAS SOPS 901854 HAS SOUS 640153 HAS SOUPS 640153 WITH SCORE 641054.854
AT ITER 6551 NEW BEST:: SOT 3984562 SOS 900473 HAS SOPS 900473 HAS SOUS 640140 HAS SOUPS 640140 WITH SCORE 641040.473
AT ITER 6555 NEW BEST:: SOT 3984480 SOS 899413 HAS SOPS 899413 HAS SOUS 639976 HAS SOUPS 639976 WITH SCORE 640875.413
AT ITER 6580 NEW BEST:: SOT 3984277 SOS 899124 HAS SOPS 899124 HAS SOUS 639773 HAS SOUPS 639773 WITH SCORE 640672.124
AT ITER 6607 NEW BEST:: SOT 3983645 SOS 898136 HAS SOPS 898136 HAS SOUS 639141 HAS SOUPS 639141 WITH SCORE 640039.136
AT ITER 6641 NEW BEST:: SOT 3982959 SOS 898979 HAS SOPS 898979 HAS SOUS 639104 HAS SOUPS 639104 WITH SCORE 640002.979
AT ITER 6643 NEW BEST:: SOT 3983065 SOS 898555 HAS SOPS 898555 HAS SOUS 638998 HAS SOUPS 638998 WITH SCORE 639896.555
AT ITER 6646 NEW BEST:: SOT 3982582 SOS 897924 HAS SOPS 897924 HAS SOUS 638548 HAS SOUPS 638548 WITH SCORE 639445.924
AT ITER 6663 NEW BEST:: SOT 3982489 SOS 897556 HAS SOPS 897556 HAS SOUS 638168 HAS SOUPS 638168 WITH SCORE 639065.556
AT ITER 6696 NEW BEST:: SOT 3982158 SOS 896952 HAS SOPS 896952 HAS SOUS 637564 HAS SOUPS 637564 WITH SCORE 638460.952
AT ITER 6730 NEW BEST:: SOT 3982078 SOS 896792 HAS SOPS 896792 HAS SOUS 637403 HAS SOUPS 637403 WITH SCORE 638299.792
AT ITER 6749 NEW BEST:: SOT 3981908 SOS 896452 HAS SOPS 896452 HAS SOUS 637063 HAS SOUPS 637063 WITH SCORE 637959.452
AT ITER 6763 NEW BEST:: SOT 3981661 SOS 895701 HAS SOPS 895701 HAS SOUS 636372 HAS SOUPS 636372 WITH SCORE 637267.701
AT ITER 6767 NEW BEST:: SOT 3981505 SOS 895412 HAS SOPS 895412 HAS SOUS 636070 HAS SOUPS 636070 WITH SCORE 636965.412
AT ITER 6783 NEW BEST:: SOT 3981505 SOS 894388 HAS SOPS 894388 HAS SOUS 636070 HAS SOUPS 636070 WITH SCORE 636964.388
AT ITER 6817 NEW BEST:: SOT 3981214 SOS 893966 HAS SOPS 893966 HAS SOUS 635848 HAS SOUPS 635848 WITH SCORE 636741.966
AT ITER 6834 NEW BEST:: SOT 3981137 SOS 893812 HAS SOPS 893812 HAS SOUS 635771 HAS SOUPS 635771 WITH SCORE 636664.812
AT ITER 6845 NEW BEST:: SOT 3980831 SOS 893506 HAS SOPS 893506 HAS SOUS 635465 HAS SOUPS 635465 WITH SCORE 636358.506
AT ITER 6847 NEW BEST:: SOT 3980837 SOS 896513 HAS SOPS 896513 HAS SOUS 635441 HAS SOUPS 635441 WITH SCORE 636337.513
AT ITER 6848 NEW BEST:: SOT 3980759 SOS 896391 HAS SOPS 896391 HAS SOUS 635319 HAS SOUPS 635319 WITH SCORE 636215.391
AT ITER 6880 NEW BEST:: SOT 3980697 SOS 896402 HAS SOPS 896402 HAS SOUS 635255 HAS SOUPS 635255 WITH SCORE 636151.402
AT ITER 6882 NEW BEST:: SOT 3980642 SOS 896237 HAS SOPS 896237 HAS SOUS 634705 HAS SOUPS 634705 WITH SCORE 635601.237
AT ITER 6928 NEW BEST:: SOT 3980649 SOS 896220 HAS SOPS 896220 HAS SOUS 634685 HAS SOUPS 634685 WITH SCORE 635581.22
AT ITER 6945 NEW BEST:: SOT 3980510 SOS 895950 HAS SOPS 895950 HAS SOUS 634407 HAS SOUPS 634407 WITH SCORE 635302.95
AT ITER 6958 NEW BEST:: SOT 3980050 SOS 895307 HAS SOPS 895307 HAS SOUS 634356 HAS SOUPS 634356 WITH SCORE 635251.307
AT ITER 6967 NEW BEST:: SOT 3979881 SOS 894791 HAS SOPS 894791 HAS SOUS 634075 HAS SOUPS 634075 WITH SCORE 634969.791
AT ITER 6982 NEW BEST:: SOT 3979836 SOS 894701 HAS SOPS 894701 HAS SOUS 634023 HAS SOUPS 634023 WITH SCORE 634917.701
AT ITER 6985 NEW BEST:: SOT 3979360 SOS 893501 HAS SOPS 893501 HAS SOUS 633416 HAS SOUPS 633416 WITH SCORE 634309.501
AT ITER 6993 NEW BEST:: SOT 3979295 SOS 893371 HAS SOPS 893371 HAS SOUS 633242 HAS SOUPS 633242 WITH SCORE 634135.371
AT ITER 7033 NEW BEST:: SOT 3979250 SOS 893308 HAS SOPS 893308 HAS SOUS 633150 HAS SOUPS 633150 WITH SCORE 634043.308
AT ITER 7046 NEW BEST:: SOT 3979242 SOS 893284 HAS SOPS 893284 HAS SOUS 633134 HAS SOUPS 633134 WITH SCORE 634027.284
AT ITER 7095 NEW BEST:: SOT 3978649 SOS 892615 HAS SOPS 892615 HAS SOUS 632465 HAS SOUPS 632465 WITH SCORE 633357.615
AT ITER 7103 NEW BEST:: SOT 3978724 SOS 892690 HAS SOPS 892690 HAS SOUS 632396 HAS SOUPS 632396 WITH SCORE 633288.69
AT ITER 7104 NEW BEST:: SOT 3978724 SOS 892545 HAS SOPS 892545 HAS SOUS 632251 HAS SOUPS 632251 WITH SCORE 633143.545
AT ITER 7109 NEW BEST:: SOT 3978718 SOS 892533 HAS SOPS 892533 HAS SOUS 632239 HAS SOUPS 632239 WITH SCORE 633131.533
AT ITER 7136 NEW BEST:: SOT 3978657 SOS 892409 HAS SOPS 892409 HAS SOUS 632072 HAS SOUPS 632072 WITH SCORE 632964.409
AT ITER 7174 NEW BEST:: SOT 3978032 SOS 894015 HAS SOPS 894015 HAS SOUS 631923 HAS SOUPS 631923 WITH SCORE 632817.015
AT ITER 7201 NEW BEST:: SOT 3978004 SOS 893959 HAS SOPS 893959 HAS SOUS 631867 HAS SOUPS 631867 WITH SCORE 632760.959
AT ITER 7222 NEW BEST:: SOT 3977832 SOS 893768 HAS SOPS 893768 HAS SOUS 631816 HAS SOUPS 631816 WITH SCORE 632709.768
AT ITER 7237 NEW BEST:: SOT 3977832 SOS 893764 HAS SOPS 893764 HAS SOUS 631812 HAS SOUPS 631812 WITH SCORE 632705.764
AT ITER 7266 NEW BEST:: SOT 3977515 SOS 893541 HAS SOPS 893541 HAS SOUS 631589 HAS SOUPS 631589 WITH SCORE 632482.541
AT ITER 7268 NEW BEST:: SOT 3977497 SOS 893523 HAS SOPS 893523 HAS SOUS 631571 HAS SOUPS 631571 WITH SCORE 632464.523
AT ITER 7275 NEW BEST:: SOT 3977438 SOS 893464 HAS SOPS 893464 HAS SOUS 631512 HAS SOUPS 631512 WITH SCORE 632405.464
AT ITER 7277 NEW BEST:: SOT 3977362 SOS 893521 HAS SOPS 893521 HAS SOUS 631455 HAS SOUPS 631455 WITH SCORE 632348.521
AT ITER 7300 NEW BEST:: SOT 3977362 SOS 893510 HAS SOPS 893510 HAS SOUS 631444 HAS SOUPS 631444 WITH SCORE 632337.51
AT ITER 7364 NEW BEST:: SOT 3977331 SOS 893389 HAS SOPS 893389 HAS SOUS 631382 HAS SOUPS 631382 WITH SCORE 632275.389
AT ITER 7415 NEW BEST:: SOT 3977329 SOS 893409 HAS SOPS 893409 HAS SOUS 631002 HAS SOUPS 631002 WITH SCORE 631895.409
AT ITER 7425 NEW BEST:: SOT 3977279 SOS 893309 HAS SOPS 893309 HAS SOUS 630902 HAS SOUPS 630902 WITH SCORE 631795.309
AT ITER 7430 NEW BEST:: SOT 3977279 SOS 893269 HAS SOPS 893269 HAS SOUS 630862 HAS SOUPS 630862 WITH SCORE 631755.269
AT ITER 7461 NEW BEST:: SOT 3977203 SOS 893117 HAS SOPS 893117 HAS SOUS 630786 HAS SOUPS 630786 WITH SCORE 631679.117
AT ITER 7491 NEW BEST:: SOT 3977119 SOS 893114 HAS SOPS 893114 HAS SOUS 630783 HAS SOUPS 630783 WITH SCORE 631676.114
AT ITER 7518 NEW BEST:: SOT 3977038 SOS 893036 HAS SOPS 893036 HAS SOUS 630705 HAS SOUPS 630705 WITH SCORE 631598.036
AT ITER 7529 NEW BEST:: SOT 3976831 SOS 893036 HAS SOPS 893036 HAS SOUS 630550 HAS SOUPS 630550 WITH SCORE 631443.036
AT ITER 7565 NEW BEST:: SOT 3976831 SOS 892970 HAS SOPS 892970 HAS SOUS 630418 HAS SOUPS 630418 WITH SCORE 631310.97
AT ITER 7578 NEW BEST:: SOT 3976830 SOS 892685 HAS SOPS 892685 HAS SOUS 630416 HAS SOUPS 630416 WITH SCORE 631308.685
AT ITER 7615 NEW BEST:: SOT 3976830 SOS 889077 HAS SOPS 889077 HAS SOUS 630416 HAS SOUPS 630416 WITH SCORE 631305.077
AT ITER 7636 NEW BEST:: SOT 3976752 SOS 888999 HAS SOPS 888999 HAS SOUS 630261 HAS SOUPS 630261 WITH SCORE 631149.999
AT ITER 7638 NEW BEST:: SOT 3976416 SOS 888742 HAS SOPS 888742 HAS SOUS 630004 HAS SOUPS 630004 WITH SCORE 630892.742
AT ITER 7671 NEW BEST:: SOT 3976416 SOS 888654 HAS SOPS 888654 HAS SOUS 630004 HAS SOUPS 630004 WITH SCORE 630892.654
AT ITER 7679 NEW BEST:: SOT 3976416 SOS 888635 HAS SOPS 888635 HAS SOUS 629985 HAS SOUPS 629985 WITH SCORE 630873.635
AT ITER 7691 NEW BEST:: SOT 3976261 SOS 883425 HAS SOPS 883425 HAS SOUS 629675 HAS SOUPS 629675 WITH SCORE 630558.425
AT ITER 7694 NEW BEST:: SOT 3976247 SOS 883397 HAS SOPS 883397 HAS SOUS 629661 HAS SOUPS 629661 WITH SCORE 630544.397
AT ITER 7698 NEW BEST:: SOT 3976246 SOS 883394 HAS SOPS 883394 HAS SOUS 629658 HAS SOUPS 629658 WITH SCORE 630541.394
AT ITER 7715 NEW BEST:: SOT 3976246 SOS 883394 HAS SOPS 883394 HAS SOUS 629615 HAS SOUPS 629615 WITH SCORE 630498.394
AT ITER 7726 NEW BEST:: SOT 3975759 SOS 882907 HAS SOPS 882907 HAS SOUS 629128 HAS SOUPS 629128 WITH SCORE 630010.907
AT ITER 7733 NEW BEST:: SOT 3975573 SOS 882849 HAS SOPS 882849 HAS SOUS 629070 HAS SOUPS 629070 WITH SCORE 629952.849
AT ITER 7753 NEW BEST:: SOT 3975100 SOS 882657 HAS SOPS 882657 HAS SOUS 628878 HAS SOUPS 628878 WITH SCORE 629760.657
AT ITER 7758 NEW BEST:: SOT 3975100 SOS 882635 HAS SOPS 882635 HAS SOUS 628856 HAS SOUPS 628856 WITH SCORE 629738.635
AT ITER 7772 NEW BEST:: SOT 3975100 SOS 882443 HAS SOPS 882443 HAS SOUS 628664 HAS SOUPS 628664 WITH SCORE 629546.443
AT ITER 7776 NEW BEST:: SOT 3974966 SOS 882175 HAS SOPS 882175 HAS SOUS 628396 HAS SOUPS 628396 WITH SCORE 629278.175
AT ITER 7784 NEW BEST:: SOT 3974943 SOS 882129 HAS SOPS 882129 HAS SOUS 628350 HAS SOUPS 628350 WITH SCORE 629232.129
AT ITER 7797 NEW BEST:: SOT 3974895 SOS 882033 HAS SOPS 882033 HAS SOUS 628254 HAS SOUPS 628254 WITH SCORE 629136.033
AT ITER 7812 NEW BEST:: SOT 3974663 SOS 881783 HAS SOPS 881783 HAS SOUS 627993 HAS SOUPS 627993 WITH SCORE 628874.783
AT ITER 7834 NEW BEST:: SOT 3974575 SOS 880501 HAS SOPS 880501 HAS SOUS 627817 HAS SOUPS 627817 WITH SCORE 628697.501
AT ITER 7839 NEW BEST:: SOT 3974483 SOS 880157 HAS SOPS 880157 HAS SOUS 627697 HAS SOUPS 627697 WITH SCORE 628577.157
AT ITER 7844 NEW BEST:: SOT 3974488 SOS 880150 HAS SOPS 880150 HAS SOUS 627690 HAS SOUPS 627690 WITH SCORE 628570.15
AT ITER 7849 NEW BEST:: SOT 3974488 SOS 880131 HAS SOPS 880131 HAS SOUS 627671 HAS SOUPS 627671 WITH SCORE 628551.131
AT ITER 7865 NEW BEST:: SOT 3974240 SOS 880052 HAS SOPS 880052 HAS SOUS 627196 HAS SOUPS 627196 WITH SCORE 628076.052
AT ITER 7866 NEW BEST:: SOT 3974237 SOS 880046 HAS SOPS 880046 HAS SOUS 627190 HAS SOUPS 627190 WITH SCORE 628070.046
AT ITER 7890 NEW BEST:: SOT 3974147 SOS 880515 HAS SOPS 880515 HAS SOUS 627169 HAS SOUPS 627169 WITH SCORE 628049.515
AT ITER 7897 NEW BEST:: SOT 3973932 SOS 880300 HAS SOPS 880300 HAS SOUS 626954 HAS SOUPS 626954 WITH SCORE 627834.3
AT ITER 7898 NEW BEST:: SOT 3973814 SOS 880300 HAS SOPS 880300 HAS SOUS 626836 HAS SOUPS 626836 WITH SCORE 627716.3
AT ITER 7904 NEW BEST:: SOT 3971858 SOS 880500 HAS SOPS 880500 HAS SOUS 625488 HAS SOUPS 625488 WITH SCORE 626368.5
AT ITER 7981 NEW BEST:: SOT 3971720 SOS 880224 HAS SOPS 880224 HAS SOUS 625350 HAS SOUPS 625350 WITH SCORE 626230.224
AT ITER 7982 NEW BEST:: SOT 3971441 SOS 879326 HAS SOPS 879326 HAS SOUS 624686 HAS SOUPS 624686 WITH SCORE 625565.326
AT ITER 8012 NEW BEST:: SOT 3971324 SOS 879209 HAS SOPS 879209 HAS SOUS 624569 HAS SOUPS 624569 WITH SCORE 625448.209
AT ITER 8014 NEW BEST:: SOT 3971180 SOS 878615 HAS SOPS 878615 HAS SOUS 623975 HAS SOUPS 623975 WITH SCORE 624853.615
AT ITER 8032 NEW BEST:: SOT 3971180 SOS 878599 HAS SOPS 878599 HAS SOUS 623973 HAS SOUPS 623973 WITH SCORE 624851.599
AT ITER 8064 NEW BEST:: SOT 3971165 SOS 878584 HAS SOPS 878584 HAS SOUS 623971 HAS SOUPS 623971 WITH SCORE 624849.584
AT ITER 8086 NEW BEST:: SOT 3970948 SOS 878334 HAS SOPS 878334 HAS SOUS 623936 HAS SOUPS 623936 WITH SCORE 624814.334
AT ITER 8090 NEW BEST:: SOT 3970715 SOS 879516 HAS SOPS 879516 HAS SOUS 623676 HAS SOUPS 623676 WITH SCORE 624555.516
AT ITER 8091 NEW BEST:: SOT 3970715 SOS 879516 HAS SOPS 879516 HAS SOUS 623655 HAS SOUPS 623655 WITH SCORE 624534.516
AT ITER 8092 NEW BEST:: SOT 3970626 SOS 879316 HAS SOPS 879316 HAS SOUS 623455 HAS SOUPS 623455 WITH SCORE 624334.316
AT ITER 8093 NEW BEST:: SOT 3970555 SOS 879174 HAS SOPS 879174 HAS SOUS 623381 HAS SOUPS 623381 WITH SCORE 624260.174
AT ITER 8118 NEW BEST:: SOT 3970531 SOS 878981 HAS SOPS 878981 HAS SOUS 623188 HAS SOUPS 623188 WITH SCORE 624066.981
AT ITER 8143 NEW BEST:: SOT 3970344 SOS 878607 HAS SOPS 878607 HAS SOUS 623001 HAS SOUPS 623001 WITH SCORE 623879.607
AT ITER 8150 NEW BEST:: SOT 3970282 SOS 878545 HAS SOPS 878545 HAS SOUS 622939 HAS SOUPS 622939 WITH SCORE 623817.545
AT ITER 8183 NEW BEST:: SOT 3969858 SOS 878952 HAS SOPS 878952 HAS SOUS 622853 HAS SOUPS 622853 WITH SCORE 623731.952
AT ITER 8186 NEW BEST:: SOT 3969796 SOS 878603 HAS SOPS 878603 HAS SOUS 622729 HAS SOUPS 622729 WITH SCORE 623607.603
AT ITER 8222 NEW BEST:: SOT 3969835 SOS 878581 HAS SOPS 878581 HAS SOUS 622729 HAS SOUPS 622729 WITH SCORE 623607.581
AT ITER 8258 NEW BEST:: SOT 3969753 SOS 878417 HAS SOPS 878417 HAS SOUS 622704 HAS SOUPS 622704 WITH SCORE 623582.417
AT ITER 8267 NEW BEST:: SOT 3969366 SOS 877643 HAS SOPS 877643 HAS SOUS 622317 HAS SOUPS 622317 WITH SCORE 623194.643
AT ITER 8274 NEW BEST:: SOT 3969302 SOS 877547 HAS SOPS 877547 HAS SOUS 622194 HAS SOUPS 622194 WITH SCORE 623071.547
AT ITER 8278 NEW BEST:: SOT 3969276 SOS 877521 HAS SOPS 877521 HAS SOUS 622142 HAS SOUPS 622142 WITH SCORE 623019.521
AT ITER 8296 NEW BEST:: SOT 3969329 SOS 876985 HAS SOPS 876985 HAS SOUS 622138 HAS SOUPS 622138 WITH SCORE 623014.985
AT ITER 8298 NEW BEST:: SOT 3969313 SOS 876982 HAS SOPS 876982 HAS SOUS 622135 HAS SOUPS 622135 WITH SCORE 623011.982
AT ITER 8320 NEW BEST:: SOT 3969323 SOS 876889 HAS SOPS 876889 HAS SOUS 622042 HAS SOUPS 622042 WITH SCORE 622918.889
AT ITER 8323 NEW BEST:: SOT 3969300 SOS 876833 HAS SOPS 876833 HAS SOUS 621812 HAS SOUPS 621812 WITH SCORE 622688.833
AT ITER 8339 NEW BEST:: SOT 3969149 SOS 875939 HAS SOPS 875939 HAS SOUS 621214 HAS SOUPS 621214 WITH SCORE 622089.939
AT ITER 8350 NEW BEST:: SOT 3968798 SOS 875649 HAS SOPS 875649 HAS SOUS 620980 HAS SOUPS 620980 WITH SCORE 621855.649
AT ITER 8394 NEW BEST:: SOT 3968450 SOS 875790 HAS SOPS 875790 HAS SOUS 620747 HAS SOUPS 620747 WITH SCORE 621622.79
AT ITER 8418 NEW BEST:: SOT 3968423 SOS 875736 HAS SOPS 875736 HAS SOUS 620734 HAS SOUPS 620734 WITH SCORE 621609.736
AT ITER 8432 NEW BEST:: SOT 3968365 SOS 875649 HAS SOPS 875649 HAS SOUS 620676 HAS SOUPS 620676 WITH SCORE 621551.649
AT ITER 8433 NEW BEST:: SOT 3968335 SOS 876053 HAS SOPS 876053 HAS SOUS 620611 HAS SOUPS 620611 WITH SCORE 621487.053
AT ITER 8438 NEW BEST:: SOT 3968097 SOS 875818 HAS SOPS 875818 HAS SOUS 620382 HAS SOUPS 620382 WITH SCORE 621257.818
AT ITER 8460 NEW BEST:: SOT 3967911 SOS 875249 HAS SOPS 875249 HAS SOUS 620010 HAS SOUPS 620010 WITH SCORE 620885.249
AT ITER 8462 NEW BEST:: SOT 3967911 SOS 875249 HAS SOPS 875249 HAS SOUS 619303 HAS SOUPS 619303 WITH SCORE 620178.249
AT ITER 8477 NEW BEST:: SOT 3967881 SOS 875277 HAS SOPS 875277 HAS SOUS 618435 HAS SOUPS 618435 WITH SCORE 619310.277
AT ITER 8486 NEW BEST:: SOT 3967811 SOS 875226 HAS SOPS 875226 HAS SOUS 618294 HAS SOUPS 618294 WITH SCORE 619169.226
AT ITER 8511 NEW BEST:: SOT 3967811 SOS 875225 HAS SOPS 875225 HAS SOUS 618293 HAS SOUPS 618293 WITH SCORE 619168.225
AT ITER 8517 NEW BEST:: SOT 3967754 SOS 875168 HAS SOPS 875168 HAS SOUS 618236 HAS SOUPS 618236 WITH SCORE 619111.168
AT ITER 8523 NEW BEST:: SOT 3967754 SOS 874992 HAS SOPS 874992 HAS SOUS 618235 HAS SOUPS 618235 WITH SCORE 619109.992
AT ITER 8545 NEW BEST:: SOT 3967732 SOS 874948 HAS SOPS 874948 HAS SOUS 618191 HAS SOUPS 618191 WITH SCORE 619065.948
AT ITER 8547 NEW BEST:: SOT 3967735 SOS 874871 HAS SOPS 874871 HAS SOUS 618175 HAS SOUPS 618175 WITH SCORE 619049.871
AT ITER 8555 NEW BEST:: SOT 3967570 SOS 874461 HAS SOPS 874461 HAS SOUS 617836 HAS SOUPS 617836 WITH SCORE 618710.461
AT ITER 8567 NEW BEST:: SOT 3967528 SOS 874419 HAS SOPS 874419 HAS SOUS 617832 HAS SOUPS 617832 WITH SCORE 618706.419
AT ITER 8601 NEW BEST:: SOT 3966710 SOS 873513 HAS SOPS 873513 HAS SOUS 617174 HAS SOUPS 617174 WITH SCORE 618047.513
AT ITER 8605 NEW BEST:: SOT 3966374 SOS 872829 HAS SOPS 872829 HAS SOUS 617042 HAS SOUPS 617042 WITH SCORE 617914.829
AT ITER 8629 NEW BEST:: SOT 3966063 SOS 874264 HAS SOPS 874264 HAS SOUS 617016 HAS SOUPS 617016 WITH SCORE 617890.264
AT ITER 8635 NEW BEST:: SOT 3965849 SOS 873836 HAS SOPS 873836 HAS SOUS 616802 HAS SOUPS 616802 WITH SCORE 617675.836
AT ITER 8665 NEW BEST:: SOT 3965129 SOS 873116 HAS SOPS 873116 HAS SOUS 616082 HAS SOUPS 616082 WITH SCORE 616955.116
AT ITER 8672 NEW BEST:: SOT 3965078 SOS 873065 HAS SOPS 873065 HAS SOUS 616031 HAS SOUPS 616031 WITH SCORE 616904.065
AT ITER 8718 NEW BEST:: SOT 3964835 SOS 872689 HAS SOPS 872689 HAS SOUS 615655 HAS SOUPS 615655 WITH SCORE 616527.689
AT ITER 8736 NEW BEST:: SOT 3964717 SOS 872571 HAS SOPS 872571 HAS SOUS 615556 HAS SOUPS 615556 WITH SCORE 616428.571
AT ITER 8761 NEW BEST:: SOT 3964092 SOS 872794 HAS SOPS 872794 HAS SOUS 615317 HAS SOUPS 615317 WITH SCORE 616189.794
AT ITER 8772 NEW BEST:: SOT 3964046 SOS 872702 HAS SOPS 872702 HAS SOUS 615225 HAS SOUPS 615225 WITH SCORE 616097.702
AT ITER 8775 NEW BEST:: SOT 3964046 SOS 872700 HAS SOPS 872700 HAS SOUS 615223 HAS SOUPS 615223 WITH SCORE 616095.7
AT ITER 8801 NEW BEST:: SOT 3967269 SOS 874381 HAS SOPS 874381 HAS SOUS 613725 HAS SOUPS 613725 WITH SCORE 614599.381
AT ITER 8807 NEW BEST:: SOT 3967238 SOS 874307 HAS SOPS 874307 HAS SOUS 613647 HAS SOUPS 613647 WITH SCORE 614521.307
AT ITER 8826 NEW BEST:: SOT 3967156 SOS 874143 HAS SOPS 874143 HAS SOUS 613483 HAS SOUPS 613483 WITH SCORE 614357.143
AT ITER 8829 NEW BEST:: SOT 3967248 SOS 874462 HAS SOPS 874462 HAS SOUS 613460 HAS SOUPS 613460 WITH SCORE 614334.462
AT ITER 8884 NEW BEST:: SOT 3967160 SOS 874286 HAS SOPS 874286 HAS SOUS 613350 HAS SOUPS 613350 WITH SCORE 614224.286
AT ITER 8895 NEW BEST:: SOT 3967082 SOS 874208 HAS SOPS 874208 HAS SOUS 613272 HAS SOUPS 613272 WITH SCORE 614146.208
AT ITER 8918 NEW BEST:: SOT 3966969 SOS 874021 HAS SOPS 874021 HAS SOUS 613157 HAS SOUPS 613157 WITH SCORE 614031.021
AT ITER 8922 NEW BEST:: SOT 3966426 SOS 873496 HAS SOPS 873496 HAS SOUS 612632 HAS SOUPS 612632 WITH SCORE 613505.496
AT ITER 8926 NEW BEST:: SOT 3966387 SOS 873457 HAS SOPS 873457 HAS SOUS 612583 HAS SOUPS 612583 WITH SCORE 613456.457
AT ITER 8938 NEW BEST:: SOT 3966387 SOS 873439 HAS SOPS 873439 HAS SOUS 612583 HAS SOUPS 612583 WITH SCORE 613456.439
AT ITER 8942 NEW BEST:: SOT 3966387 SOS 873411 HAS SOPS 873411 HAS SOUS 612583 HAS SOUPS 612583 WITH SCORE 613456.411
AT ITER 8945 NEW BEST:: SOT 3966375 SOS 873403 HAS SOPS 873403 HAS SOUS 612559 HAS SOUPS 612559 WITH SCORE 613432.403
AT ITER 8952 NEW BEST:: SOT 3966375 SOS 874915 HAS SOPS 874915 HAS SOUS 612411 HAS SOUPS 612411 WITH SCORE 613285.915
AT ITER 8992 NEW BEST:: SOT 3966359 SOS 874891 HAS SOPS 874891 HAS SOUS 612387 HAS SOUPS 612387 WITH SCORE 613261.891
AT ITER 9013 NEW BEST:: SOT 3966092 SOS 874800 HAS SOPS 874800 HAS SOUS 612189 HAS SOUPS 612189 WITH SCORE 613063.8
AT ITER 9154 NEW BEST:: SOT 3966002 SOS 874620 HAS SOPS 874620 HAS SOUS 612184 HAS SOUPS 612184 WITH SCORE 613058.62
AT ITER 9174 NEW BEST:: SOT 3965777 SOS 874255 HAS SOPS 874255 HAS SOUS 612098 HAS SOUPS 612098 WITH SCORE 612972.255
AT ITER 9184 NEW BEST:: SOT 3965704 SOS 874109 HAS SOPS 874109 HAS SOUS 611952 HAS SOUPS 611952 WITH SCORE 612826.109
AT ITER 9187 NEW BEST:: SOT 3965661 SOS 873925 HAS SOPS 873925 HAS SOUS 611768 HAS SOUPS 611768 WITH SCORE 612641.925
AT ITER 9199 NEW BEST:: SOT 3965392 SOS 873256 HAS SOPS 873256 HAS SOUS 611519 HAS SOUPS 611519 WITH SCORE 612392.256
AT ITER 9213 NEW BEST:: SOT 3965391 SOS 873099 HAS SOPS 873099 HAS SOUS 611517 HAS SOUPS 611517 WITH SCORE 612390.099
AT ITER 9229 NEW BEST:: SOT 3965579 SOS 873384 HAS SOPS 873384 HAS SOUS 611426 HAS SOUPS 611426 WITH SCORE 612299.384
AT ITER 9247 NEW BEST:: SOT 3965571 SOS 873376 HAS SOPS 873376 HAS SOUS 611426 HAS SOUPS 611426 WITH SCORE 612299.376
AT ITER 9278 NEW BEST:: SOT 3965571 SOS 873288 HAS SOPS 873288 HAS SOUS 611338 HAS SOUPS 611338 WITH SCORE 612211.288
AT ITER 9310 NEW BEST:: SOT 3965568 SOS 873282 HAS SOPS 873282 HAS SOUS 611332 HAS SOUPS 611332 WITH SCORE 612205.282
AT ITER 9318 NEW BEST:: SOT 3965568 SOS 873335 HAS SOPS 873335 HAS SOUS 611310 HAS SOUPS 611310 WITH SCORE 612183.335
AT ITER 9324 NEW BEST:: SOT 3965568 SOS 873404 HAS SOPS 873404 HAS SOUS 611279 HAS SOUPS 611279 WITH SCORE 612152.404
AT ITER 9335 NEW BEST:: SOT 3965568 SOS 873358 HAS SOPS 873358 HAS SOUS 611276 HAS SOUPS 611276 WITH SCORE 612149.358
AT ITER 9351 NEW BEST:: SOT 3965523 SOS 873544 HAS SOPS 873544 HAS SOUS 611228 HAS SOUPS 611228 WITH SCORE 612101.544
AT ITER 9360 NEW BEST:: SOT 3965803 SOS 874000 HAS SOPS 874000 HAS SOUS 611075 HAS SOUPS 611075 WITH SCORE 611949.0
AT ITER 9366 NEW BEST:: SOT 3965815 SOS 873770 HAS SOPS 873770 HAS SOUS 610845 HAS SOUPS 610845 WITH SCORE 611718.77
AT ITER 9385 NEW BEST:: SOT 3965753 SOS 873863 HAS SOPS 873863 HAS SOUS 610618 HAS SOUPS 610618 WITH SCORE 611491.863
AT ITER 9394 NEW BEST:: SOT 3965735 SOS 873845 HAS SOPS 873845 HAS SOUS 610600 HAS SOUPS 610600 WITH SCORE 611473.845
AT ITER 9402 NEW BEST:: SOT 3965564 SOS 873503 HAS SOPS 873503 HAS SOUS 610429 HAS SOUPS 610429 WITH SCORE 611302.503
AT ITER 9411 NEW BEST:: SOT 3965505 SOS 873401 HAS SOPS 873401 HAS SOUS 610311 HAS SOUPS 610311 WITH SCORE 611184.401
AT ITER 9412 NEW BEST:: SOT 3965505 SOS 873401 HAS SOPS 873401 HAS SOUS 610248 HAS SOUPS 610248 WITH SCORE 611121.401
AT ITER 9421 NEW BEST:: SOT 3964495 SOS 872829 HAS SOPS 872829 HAS SOUS 609238 HAS SOUPS 609238 WITH SCORE 610110.829
AT ITER 9429 NEW BEST:: SOT 3964458 SOS 872855 HAS SOPS 872855 HAS SOUS 609075 HAS SOUPS 609075 WITH SCORE 609947.855
AT ITER 9440 NEW BEST:: SOT 3964458 SOS 872844 HAS SOPS 872844 HAS SOUS 609075 HAS SOUPS 609075 WITH SCORE 609947.844
AT ITER 9468 NEW BEST:: SOT 3964458 SOS 872753 HAS SOPS 872753 HAS SOUS 608984 HAS SOUPS 608984 WITH SCORE 609856.753
AT ITER 9517 NEW BEST:: SOT 3964375 SOS 872198 HAS SOPS 872198 HAS SOUS 608901 HAS SOUPS 608901 WITH SCORE 609773.198
AT ITER 9548 NEW BEST:: SOT 3964347 SOS 871968 HAS SOPS 871968 HAS SOUS 608671 HAS SOUPS 608671 WITH SCORE 609542.968
AT ITER 9553 NEW BEST:: SOT 3964227 SOS 871333 HAS SOPS 871333 HAS SOUS 608510 HAS SOUPS 608510 WITH SCORE 609381.333
AT ITER 9554 NEW BEST:: SOT 3964208 SOS 871295 HAS SOPS 871295 HAS SOUS 608491 HAS SOUPS 608491 WITH SCORE 609362.295
AT ITER 9563 NEW BEST:: SOT 3964180 SOS 871239 HAS SOPS 871239 HAS SOUS 608435 HAS SOUPS 608435 WITH SCORE 609306.239
AT ITER 9575 NEW BEST:: SOT 3963967 SOS 871181 HAS SOPS 871181 HAS SOUS 608375 HAS SOUPS 608375 WITH SCORE 609246.181
AT ITER 9601 NEW BEST:: SOT 3963955 SOS 871157 HAS SOPS 871157 HAS SOUS 608351 HAS SOUPS 608351 WITH SCORE 609222.157
AT ITER 9644 NEW BEST:: SOT 3963902 SOS 871104 HAS SOPS 871104 HAS SOUS 608351 HAS SOUPS 608351 WITH SCORE 609222.104
AT ITER 9654 NEW BEST:: SOT 3963848 SOS 870940 HAS SOPS 870940 HAS SOUS 608241 HAS SOUPS 608241 WITH SCORE 609111.94
AT ITER 9655 NEW BEST:: SOT 3963844 SOS 870932 HAS SOPS 870932 HAS SOUS 608233 HAS SOUPS 608233 WITH SCORE 609103.932
AT ITER 9658 NEW BEST:: SOT 3963772 SOS 870860 HAS SOPS 870860 HAS SOUS 608233 HAS SOUPS 608233 WITH SCORE 609103.86
AT ITER 9661 NEW BEST:: SOT 3963771 SOS 870858 HAS SOPS 870858 HAS SOUS 608231 HAS SOUPS 608231 WITH SCORE 609101.858
AT ITER 9667 NEW BEST:: SOT 3963726 SOS 870587 HAS SOPS 870587 HAS SOUS 608140 HAS SOUPS 608140 WITH SCORE 609010.587
AT ITER 9716 NEW BEST:: SOT 3963821 SOS 870687 HAS SOPS 870687 HAS SOUS 608124 HAS SOUPS 608124 WITH SCORE 608994.687
AT ITER 9734 NEW BEST:: SOT 3963698 SOS 870535 HAS SOPS 870535 HAS SOUS 608067 HAS SOUPS 608067 WITH SCORE 608937.535
AT ITER 9747 NEW BEST:: SOT 3963865 SOS 870801 HAS SOPS 870801 HAS SOUS 607998 HAS SOUPS 607998 WITH SCORE 608868.801
AT ITER 9799 NEW BEST:: SOT 3963795 SOS 870638 HAS SOPS 870638 HAS SOUS 607807 HAS SOUPS 607807 WITH SCORE 608677.638
AT ITER 9828 NEW BEST:: SOT 3963524 SOS 870412 HAS SOPS 870412 HAS SOUS 607777 HAS SOUPS 607777 WITH SCORE 608647.412
AT ITER 9864 NEW BEST:: SOT 3963270 SOS 870191 HAS SOPS 870191 HAS SOUS 607609 HAS SOUPS 607609 WITH SCORE 608479.191
AT ITER 9896 NEW BEST:: SOT 3963269 SOS 870116 HAS SOPS 870116 HAS SOUS 607554 HAS SOUPS 607554 WITH SCORE 608424.116
AT ITER 9920 NEW BEST:: SOT 3963268 SOS 870115 HAS SOPS 870115 HAS SOUS 607552 HAS SOUPS 607552 WITH SCORE 608422.115
AT ITER 9960 NEW BEST:: SOT 3962981 SOS 869997 HAS SOPS 869997 HAS SOUS 607240 HAS SOUPS 607240 WITH SCORE 608109.997
AT ITER 9995 NEW BEST:: SOT 3962909 SOS 870832 HAS SOPS 870832 HAS SOUS 607002 HAS SOUPS 607002 WITH SCORE 607872.832
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="ASLink-PT-05b"
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 ASLink-PT-05b, 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 r003-smll-158897508000081"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-05b.tgz
mv ASLink-PT-05b 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 '
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 ;