Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r323-tall-167889194800504.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Referendum-PT-0100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194800504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.7M
-rw-r--r-- 1 mcc users 120K Feb 26 17:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 628K Feb 26 17:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 41K Feb 26 17:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 309K Feb 26 17:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 59K Feb 25 16:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 212K Feb 25 16:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 25 16:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 106K Feb 25 16:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 158K Feb 26 17:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 802K Feb 26 17:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 129K Feb 26 17:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 986K Feb 26 17:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 113K Mar 5 18:23 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 1679498608618

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Referendum-PT-0100
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Referendum (PT), instance 0100
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 301 places, 201 transitions, 501 arcs.
AT ITER 0 NEW BEST:: SOT 50005 SOS 29707 HAS SOPS 29707 HAS SOUS 29707 HAS SOUPS 29707 WITH SCORE 29736.707
AT ITER 1 NEW BEST:: SOT 49921 SOS 29613 HAS SOPS 29613 HAS SOUS 29613 HAS SOUPS 29613 WITH SCORE 29642.613
AT ITER 3 NEW BEST:: SOT 49723 SOS 29450 HAS SOPS 29450 HAS SOUS 29450 HAS SOUPS 29450 WITH SCORE 29479.45
AT ITER 6 NEW BEST:: SOT 49452 SOS 29099 HAS SOPS 29099 HAS SOUS 29099 HAS SOUPS 29099 WITH SCORE 29128.099
AT ITER 7 NEW BEST:: SOT 49323 SOS 29041 HAS SOPS 29041 HAS SOUS 28972 HAS SOUPS 28972 WITH SCORE 29001.041
AT ITER 8 NEW BEST:: SOT 49034 SOS 28675 HAS SOPS 28675 HAS SOUS 28606 HAS SOUPS 28606 WITH SCORE 28634.675
AT ITER 9 NEW BEST:: SOT 48957 SOS 28521 HAS SOPS 28521 HAS SOUS 28452 HAS SOUPS 28452 WITH SCORE 28480.521
AT ITER 11 NEW BEST:: SOT 48789 SOS 28185 HAS SOPS 28185 HAS SOUS 28185 HAS SOUPS 28185 WITH SCORE 28213.185
AT ITER 12 NEW BEST:: SOT 48591 SOS 27929 HAS SOPS 27929 HAS SOUS 27929 HAS SOUPS 27929 WITH SCORE 27956.929
AT ITER 15 NEW BEST:: SOT 48543 SOS 27833 HAS SOPS 27833 HAS SOUS 27833 HAS SOUPS 27833 WITH SCORE 27860.833
AT ITER 16 NEW BEST:: SOT 48345 SOS 27555 HAS SOPS 27555 HAS SOUS 27555 HAS SOUPS 27555 WITH SCORE 27582.555
AT ITER 17 NEW BEST:: SOT 48063 SOS 27184 HAS SOPS 27184 HAS SOUS 27184 HAS SOUPS 27184 WITH SCORE 27211.184
AT ITER 18 NEW BEST:: SOT 47867 SOS 26992 HAS SOPS 26992 HAS SOUS 26990 HAS SOUPS 26990 WITH SCORE 27016.992
AT ITER 21 NEW BEST:: SOT 47813 SOS 26911 HAS SOPS 26911 HAS SOUS 26909 HAS SOUPS 26909 WITH SCORE 26935.911
AT ITER 22 NEW BEST:: SOT 47615 SOS 26692 HAS SOPS 26692 HAS SOUS 26690 HAS SOUPS 26690 WITH SCORE 26716.692
AT ITER 23 NEW BEST:: SOT 47554 SOS 26570 HAS SOPS 26570 HAS SOUS 26568 HAS SOUPS 26568 WITH SCORE 26594.57
AT ITER 25 NEW BEST:: SOT 47390 SOS 26324 HAS SOPS 26324 HAS SOUS 26322 HAS SOUPS 26322 WITH SCORE 26348.324
AT ITER 27 NEW BEST:: SOT 47159 SOS 25994 HAS SOPS 25994 HAS SOUS 25992 HAS SOUPS 25992 WITH SCORE 26017.994
AT ITER 28 NEW BEST:: SOT 47051 SOS 25919 HAS SOPS 25919 HAS SOUS 25827 HAS SOUPS 25827 WITH SCORE 25852.919
AT ITER 29 NEW BEST:: SOT 46973 SOS 25802 HAS SOPS 25802 HAS SOUS 25710 HAS SOUPS 25710 WITH SCORE 25735.802
AT ITER 30 NEW BEST:: SOT 46698 SOS 25428 HAS SOPS 25428 HAS SOUS 25336 HAS SOUPS 25336 WITH SCORE 25361.428
AT ITER 31 NEW BEST:: SOT 46676 SOS 25414 HAS SOPS 25414 HAS SOUS 25320 HAS SOUPS 25320 WITH SCORE 25345.414
AT ITER 34 NEW BEST:: SOT 46424 SOS 25063 HAS SOPS 25063 HAS SOUS 24969 HAS SOUPS 24969 WITH SCORE 24994.063
AT ITER 39 NEW BEST:: SOT 46372 SOS 24959 HAS SOPS 24959 HAS SOUS 24865 HAS SOUPS 24865 WITH SCORE 24889.959
AT ITER 40 NEW BEST:: SOT 46256 SOS 24848 HAS SOPS 24848 HAS SOUS 24754 HAS SOUPS 24754 WITH SCORE 24778.848
AT ITER 41 NEW BEST:: SOT 46104 SOS 24829 HAS SOPS 24829 HAS SOUS 24671 HAS SOUPS 24671 WITH SCORE 24695.829
AT ITER 43 NEW BEST:: SOT 45906 SOS 24547 HAS SOPS 24547 HAS SOUS 24389 HAS SOUPS 24389 WITH SCORE 24413.547
AT ITER 45 NEW BEST:: SOT 45726 SOS 24367 HAS SOPS 24367 HAS SOUS 24209 HAS SOUPS 24209 WITH SCORE 24233.367
AT ITER 46 NEW BEST:: SOT 45627 SOS 24286 HAS SOPS 24286 HAS SOUS 24128 HAS SOUPS 24128 WITH SCORE 24152.286
AT ITER 52 NEW BEST:: SOT 45578 SOS 24188 HAS SOPS 24188 HAS SOUS 24030 HAS SOUPS 24030 WITH SCORE 24054.188
AT ITER 58 NEW BEST:: SOT 45333 SOS 23955 HAS SOPS 23955 HAS SOUS 23745 HAS SOUPS 23745 WITH SCORE 23768.955
AT ITER 61 NEW BEST:: SOT 45059 SOS 23628 HAS SOPS 23628 HAS SOUS 23395 HAS SOUPS 23395 WITH SCORE 23418.628
AT ITER 62 NEW BEST:: SOT 44951 SOS 23528 HAS SOPS 23528 HAS SOUS 23278 HAS SOUPS 23278 WITH SCORE 23301.528
AT ITER 66 NEW BEST:: SOT 44865 SOS 23442 HAS SOPS 23442 HAS SOUS 23192 HAS SOUPS 23192 WITH SCORE 23215.442
AT ITER 67 NEW BEST:: SOT 44785 SOS 23372 HAS SOPS 23372 HAS SOUS 23112 HAS SOUPS 23112 WITH SCORE 23135.372
AT ITER 72 NEW BEST:: SOT 44641 SOS 23156 HAS SOPS 23156 HAS SOUS 22896 HAS SOUPS 22896 WITH SCORE 22919.156
AT ITER 75 NEW BEST:: SOT 44537 SOS 23014 HAS SOPS 23014 HAS SOUS 22726 HAS SOUPS 22726 WITH SCORE 22749.014
AT ITER 76 NEW BEST:: SOT 44519 SOS 22978 HAS SOPS 22978 HAS SOUS 22690 HAS SOUPS 22690 WITH SCORE 22712.978
AT ITER 77 NEW BEST:: SOT 44321 SOS 22727 HAS SOPS 22727 HAS SOUS 22439 HAS SOUPS 22439 WITH SCORE 22461.727
AT ITER 78 NEW BEST:: SOT 44127 SOS 22541 HAS SOPS 22541 HAS SOUS 22249 HAS SOUPS 22249 WITH SCORE 22271.541
AT ITER 79 NEW BEST:: SOT 44069 SOS 22495 HAS SOPS 22495 HAS SOUS 22191 HAS SOUPS 22191 WITH SCORE 22213.495
AT ITER 81 NEW BEST:: SOT 44045 SOS 22471 HAS SOPS 22471 HAS SOUS 22167 HAS SOUPS 22167 WITH SCORE 22189.471
AT ITER 88 NEW BEST:: SOT 43847 SOS 22208 HAS SOPS 22208 HAS SOUS 21902 HAS SOUPS 21902 WITH SCORE 21924.208
AT ITER 90 NEW BEST:: SOT 43830 SOS 22174 HAS SOPS 22174 HAS SOUS 21868 HAS SOUPS 21868 WITH SCORE 21890.174
AT ITER 93 NEW BEST:: SOT 43619 SOS 21959 HAS SOPS 21959 HAS SOUS 21567 HAS SOUPS 21567 WITH SCORE 21588.959
AT ITER 97 NEW BEST:: SOT 43608 SOS 21937 HAS SOPS 21937 HAS SOUS 21545 HAS SOUPS 21545 WITH SCORE 21566.937
AT ITER 101 NEW BEST:: SOT 43452 SOS 21703 HAS SOPS 21703 HAS SOUS 21311 HAS SOUPS 21311 WITH SCORE 21332.703
AT ITER 102 NEW BEST:: SOT 43351 SOS 21501 HAS SOPS 21501 HAS SOUS 21111 HAS SOUPS 21111 WITH SCORE 21132.501
AT ITER 108 NEW BEST:: SOT 43294 SOS 21490 HAS SOPS 21490 HAS SOUS 21100 HAS SOUPS 21100 WITH SCORE 21121.49
AT ITER 112 NEW BEST:: SOT 43282 SOS 21466 HAS SOPS 21466 HAS SOUS 21076 HAS SOUPS 21076 WITH SCORE 21097.466
AT ITER 117 NEW BEST:: SOT 43054 SOS 21277 HAS SOPS 21277 HAS SOUS 20772 HAS SOUPS 20772 WITH SCORE 20793.277
AT ITER 118 NEW BEST:: SOT 42984 SOS 21172 HAS SOPS 21172 HAS SOUS 20667 HAS SOUPS 20667 WITH SCORE 20688.172
AT ITER 122 NEW BEST:: SOT 42882 SOS 21019 HAS SOPS 21019 HAS SOUS 20514 HAS SOUPS 20514 WITH SCORE 20535.019
AT ITER 124 NEW BEST:: SOT 42882 SOS 20996 HAS SOPS 20996 HAS SOUS 20491 HAS SOUPS 20491 WITH SCORE 20511.996
AT ITER 125 NEW BEST:: SOT 42719 SOS 20837 HAS SOPS 20837 HAS SOUS 20332 HAS SOUPS 20332 WITH SCORE 20352.837
AT ITER 129 NEW BEST:: SOT 42423 SOS 20444 HAS SOPS 20444 HAS SOUS 19938 HAS SOUPS 19938 WITH SCORE 19958.444
AT ITER 130 NEW BEST:: SOT 42225 SOS 20215 HAS SOPS 20215 HAS SOUS 19709 HAS SOUPS 19709 WITH SCORE 19729.215
AT ITER 131 NEW BEST:: SOT 42161 SOS 20320 HAS SOPS 20320 HAS SOUS 19691 HAS SOUPS 19691 WITH SCORE 19711.32
AT ITER 132 NEW BEST:: SOT 42079 SOS 20276 HAS SOPS 20276 HAS SOUS 19579 HAS SOUPS 19579 WITH SCORE 19599.276
AT ITER 133 NEW BEST:: SOT 42062 SOS 20242 HAS SOPS 20242 HAS SOUS 19547 HAS SOUPS 19547 WITH SCORE 19567.242
AT ITER 134 NEW BEST:: SOT 41960 SOS 20248 HAS SOPS 20248 HAS SOUS 19457 HAS SOUPS 19457 WITH SCORE 19477.248
AT ITER 137 NEW BEST:: SOT 41907 SOS 20200 HAS SOPS 20200 HAS SOUS 19404 HAS SOUPS 19404 WITH SCORE 19424.2
AT ITER 139 NEW BEST:: SOT 41892 SOS 20170 HAS SOPS 20170 HAS SOUS 19374 HAS SOUPS 19374 WITH SCORE 19394.17
AT ITER 141 NEW BEST:: SOT 41793 SOS 20145 HAS SOPS 20145 HAS SOUS 19349 HAS SOUPS 19349 WITH SCORE 19369.145
AT ITER 142 NEW BEST:: SOT 41789 SOS 20137 HAS SOPS 20137 HAS SOUS 19268 HAS SOUPS 19268 WITH SCORE 19288.137
AT ITER 145 NEW BEST:: SOT 41746 SOS 20051 HAS SOPS 20051 HAS SOUS 19225 HAS SOUPS 19225 WITH SCORE 19245.051
AT ITER 149 NEW BEST:: SOT 41706 SOS 20011 HAS SOPS 20011 HAS SOUS 19185 HAS SOUPS 19185 WITH SCORE 19205.011
AT ITER 153 NEW BEST:: SOT 41628 SOS 19855 HAS SOPS 19855 HAS SOUS 19034 HAS SOUPS 19034 WITH SCORE 19053.855
AT ITER 154 NEW BEST:: SOT 41628 SOS 19806 HAS SOPS 19806 HAS SOUS 19034 HAS SOUPS 19034 WITH SCORE 19053.806
AT ITER 155 NEW BEST:: SOT 41445 SOS 19440 HAS SOPS 19440 HAS SOUS 18752 HAS SOUPS 18752 WITH SCORE 18771.44
AT ITER 159 NEW BEST:: SOT 41372 SOS 19294 HAS SOPS 19294 HAS SOUS 18657 HAS SOUPS 18657 WITH SCORE 18676.294
AT ITER 163 NEW BEST:: SOT 41360 SOS 19270 HAS SOPS 19270 HAS SOUS 18645 HAS SOUPS 18645 WITH SCORE 18664.27
AT ITER 164 NEW BEST:: SOT 41252 SOS 19264 HAS SOPS 19264 HAS SOUS 18626 HAS SOUPS 18626 WITH SCORE 18645.264
AT ITER 166 NEW BEST:: SOT 41205 SOS 19416 HAS SOPS 19416 HAS SOUS 18533 HAS SOUPS 18533 WITH SCORE 18552.416
AT ITER 167 NEW BEST:: SOT 41025 SOS 19239 HAS SOPS 19239 HAS SOUS 18356 HAS SOUPS 18356 WITH SCORE 18375.239
AT ITER 168 NEW BEST:: SOT 41007 SOS 19253 HAS SOPS 19253 HAS SOUS 18338 HAS SOUPS 18338 WITH SCORE 18357.253
AT ITER 176 NEW BEST:: SOT 40915 SOS 19069 HAS SOPS 19069 HAS SOUS 18154 HAS SOUPS 18154 WITH SCORE 18173.069
AT ITER 179 NEW BEST:: SOT 40708 SOS 18763 HAS SOPS 18763 HAS SOUS 17848 HAS SOUPS 17848 WITH SCORE 17866.763
AT ITER 180 NEW BEST:: SOT 40619 SOS 18646 HAS SOPS 18646 HAS SOUS 17731 HAS SOUPS 17731 WITH SCORE 17749.646
AT ITER 185 NEW BEST:: SOT 40607 SOS 18622 HAS SOPS 18622 HAS SOUS 17712 HAS SOUPS 17712 WITH SCORE 17730.622
AT ITER 189 NEW BEST:: SOT 40567 SOS 18542 HAS SOPS 18542 HAS SOUS 17660 HAS SOUPS 17660 WITH SCORE 17678.542
AT ITER 190 NEW BEST:: SOT 40435 SOS 18467 HAS SOPS 18467 HAS SOUS 17528 HAS SOUPS 17528 WITH SCORE 17546.467
AT ITER 192 NEW BEST:: SOT 40330 SOS 18494 HAS SOPS 18494 HAS SOUS 17417 HAS SOUPS 17417 WITH SCORE 17435.494
AT ITER 193 NEW BEST:: SOT 40239 SOS 18365 HAS SOPS 18365 HAS SOUS 17288 HAS SOUPS 17288 WITH SCORE 17306.365
AT ITER 197 NEW BEST:: SOT 40169 SOS 18225 HAS SOPS 18225 HAS SOUS 17149 HAS SOUPS 17149 WITH SCORE 17167.225
AT ITER 199 NEW BEST:: SOT 40050 SOS 17987 HAS SOPS 17987 HAS SOUS 16911 HAS SOUPS 16911 WITH SCORE 16928.987
AT ITER 200 NEW BEST:: SOT 40050 SOS 17972 HAS SOPS 17972 HAS SOUS 16911 HAS SOUPS 16911 WITH SCORE 16928.972
AT ITER 201 NEW BEST:: SOT 39852 SOS 17576 HAS SOPS 17576 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16645.576
AT ITER 202 NEW BEST:: SOT 39849 SOS 17570 HAS SOPS 17570 HAS SOUS 16622 HAS SOUPS 16622 WITH SCORE 16639.57
AT ITER 205 NEW BEST:: SOT 39849 SOS 17551 HAS SOPS 17551 HAS SOUS 16622 HAS SOUPS 16622 WITH SCORE 16639.551
AT ITER 206 NEW BEST:: SOT 39781 SOS 17620 HAS SOPS 17620 HAS SOUS 16554 HAS SOUPS 16554 WITH SCORE 16571.62
AT ITER 207 NEW BEST:: SOT 39708 SOS 17611 HAS SOPS 17611 HAS SOUS 16519 HAS SOUPS 16519 WITH SCORE 16536.611
AT ITER 210 NEW BEST:: SOT 39680 SOS 17555 HAS SOPS 17555 HAS SOUS 16475 HAS SOUPS 16475 WITH SCORE 16492.555
AT ITER 211 NEW BEST:: SOT 39656 SOS 17507 HAS SOPS 17507 HAS SOUS 16427 HAS SOUPS 16427 WITH SCORE 16444.507
AT ITER 213 NEW BEST:: SOT 39620 SOS 17435 HAS SOPS 17435 HAS SOUS 16355 HAS SOUPS 16355 WITH SCORE 16372.435
AT ITER 214 NEW BEST:: SOT 39612 SOS 17419 HAS SOPS 17419 HAS SOUS 16341 HAS SOUPS 16341 WITH SCORE 16358.419
AT ITER 215 NEW BEST:: SOT 39555 SOS 17365 HAS SOPS 17365 HAS SOUS 16284 HAS SOUPS 16284 WITH SCORE 16301.365
AT ITER 220 NEW BEST:: SOT 39541 SOS 17337 HAS SOPS 17337 HAS SOUS 16270 HAS SOUPS 16270 WITH SCORE 16287.337
AT ITER 227 NEW BEST:: SOT 39624 SOS 17222 HAS SOPS 17222 HAS SOUS 16135 HAS SOUPS 16135 WITH SCORE 16152.222
AT ITER 231 NEW BEST:: SOT 39540 SOS 17054 HAS SOPS 17054 HAS SOUS 15967 HAS SOUPS 15967 WITH SCORE 15984.054
AT ITER 232 NEW BEST:: SOT 39522 SOS 17018 HAS SOPS 17018 HAS SOUS 15931 HAS SOUPS 15931 WITH SCORE 15948.018
AT ITER 235 NEW BEST:: SOT 39514 SOS 17010 HAS SOPS 17010 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15940.01
AT ITER 237 NEW BEST:: SOT 39415 SOS 16939 HAS SOPS 16939 HAS SOUS 15852 HAS SOUPS 15852 WITH SCORE 15868.939
AT ITER 239 NEW BEST:: SOT 39392 SOS 16906 HAS SOPS 16906 HAS SOUS 15819 HAS SOUPS 15819 WITH SCORE 15835.906
AT ITER 241 NEW BEST:: SOT 39357 SOS 16854 HAS SOPS 16854 HAS SOUS 15767 HAS SOUPS 15767 WITH SCORE 15783.854
AT ITER 244 NEW BEST:: SOT 39365 SOS 16705 HAS SOPS 16705 HAS SOUS 15686 HAS SOUPS 15686 WITH SCORE 15702.705
AT ITER 249 NEW BEST:: SOT 39213 SOS 16553 HAS SOPS 16553 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15550.553
AT ITER 250 NEW BEST:: SOT 39159 SOS 16445 HAS SOPS 16445 HAS SOUS 15426 HAS SOUPS 15426 WITH SCORE 15442.445
AT ITER 251 NEW BEST:: SOT 39113 SOS 16353 HAS SOPS 16353 HAS SOUS 15341 HAS SOUPS 15341 WITH SCORE 15357.353
AT ITER 256 NEW BEST:: SOT 39039 SOS 16205 HAS SOPS 16205 HAS SOUS 15190 HAS SOUPS 15190 WITH SCORE 15206.205
AT ITER 264 NEW BEST:: SOT 39039 SOS 16205 HAS SOPS 16205 HAS SOUS 15077 HAS SOUPS 15077 WITH SCORE 15093.205
AT ITER 265 NEW BEST:: SOT 39033 SOS 16193 HAS SOPS 16193 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15081.193
AT ITER 268 NEW BEST:: SOT 39033 SOS 16191 HAS SOPS 16191 HAS SOUS 15063 HAS SOUPS 15063 WITH SCORE 15079.191
AT ITER 269 NEW BEST:: SOT 39023 SOS 16146 HAS SOPS 16146 HAS SOUS 15053 HAS SOUPS 15053 WITH SCORE 15069.146
AT ITER 270 NEW BEST:: SOT 38995 SOS 16090 HAS SOPS 16090 HAS SOUS 14997 HAS SOUPS 14997 WITH SCORE 15013.09
AT ITER 274 NEW BEST:: SOT 38991 SOS 16082 HAS SOPS 16082 HAS SOUS 14992 HAS SOUPS 14992 WITH SCORE 15008.082
AT ITER 275 NEW BEST:: SOT 38991 SOS 16067 HAS SOPS 16067 HAS SOUS 14992 HAS SOUPS 14992 WITH SCORE 15008.067
AT ITER 277 NEW BEST:: SOT 38896 SOS 15877 HAS SOPS 15877 HAS SOUS 14851 HAS SOUPS 14851 WITH SCORE 14866.877
AT ITER 281 NEW BEST:: SOT 38850 SOS 15835 HAS SOPS 15835 HAS SOUS 14809 HAS SOUPS 14809 WITH SCORE 14824.835
AT ITER 282 NEW BEST:: SOT 38786 SOS 15707 HAS SOPS 15707 HAS SOUS 14691 HAS SOUPS 14691 WITH SCORE 14706.707
AT ITER 284 NEW BEST:: SOT 38786 SOS 15574 HAS SOPS 15574 HAS SOUS 14691 HAS SOUPS 14691 WITH SCORE 14706.574
AT ITER 287 NEW BEST:: SOT 38775 SOS 15552 HAS SOPS 15552 HAS SOUS 14669 HAS SOUPS 14669 WITH SCORE 14684.552
AT ITER 295 NEW BEST:: SOT 38750 SOS 15502 HAS SOPS 15502 HAS SOUS 14619 HAS SOUPS 14619 WITH SCORE 14634.502
AT ITER 300 NEW BEST:: SOT 38750 SOS 15420 HAS SOPS 15420 HAS SOUS 14619 HAS SOUPS 14619 WITH SCORE 14634.42
AT ITER 301 NEW BEST:: SOT 38559 SOS 15270 HAS SOPS 15270 HAS SOUS 14427 HAS SOUPS 14427 WITH SCORE 14442.27
AT ITER 303 NEW BEST:: SOT 38461 SOS 15074 HAS SOPS 15074 HAS SOUS 14266 HAS SOUPS 14266 WITH SCORE 14281.074
AT ITER 305 NEW BEST:: SOT 38432 SOS 15016 HAS SOPS 15016 HAS SOUS 14208 HAS SOUPS 14208 WITH SCORE 14223.016
AT ITER 307 NEW BEST:: SOT 38381 SOS 15049 HAS SOPS 15049 HAS SOUS 14193 HAS SOUPS 14193 WITH SCORE 14208.049
AT ITER 314 NEW BEST:: SOT 38374 SOS 15035 HAS SOPS 15035 HAS SOUS 14186 HAS SOUPS 14186 WITH SCORE 14201.035
AT ITER 317 NEW BEST:: SOT 38268 SOS 14691 HAS SOPS 14691 HAS SOUS 13968 HAS SOUPS 13968 WITH SCORE 13982.691
AT ITER 334 NEW BEST:: SOT 38161 SOS 14477 HAS SOPS 14477 HAS SOUS 13762 HAS SOUPS 13762 WITH SCORE 13776.477
AT ITER 342 NEW BEST:: SOT 38143 SOS 14441 HAS SOPS 14441 HAS SOUS 13726 HAS SOUPS 13726 WITH SCORE 13740.441
AT ITER 346 NEW BEST:: SOT 38107 SOS 14369 HAS SOPS 14369 HAS SOUS 13654 HAS SOUPS 13654 WITH SCORE 13668.369
AT ITER 360 NEW BEST:: SOT 38057 SOS 14269 HAS SOPS 14269 HAS SOUS 13554 HAS SOUPS 13554 WITH SCORE 13568.269
AT ITER 371 NEW BEST:: SOT 38056 SOS 14267 HAS SOPS 14267 HAS SOUS 13552 HAS SOUPS 13552 WITH SCORE 13566.267
AT ITER 372 NEW BEST:: SOT 38034 SOS 14223 HAS SOPS 14223 HAS SOUS 13449 HAS SOUPS 13449 WITH SCORE 13463.223
AT ITER 377 NEW BEST:: SOT 38034 SOS 14213 HAS SOPS 14213 HAS SOUS 13449 HAS SOUPS 13449 WITH SCORE 13463.213
AT ITER 383 NEW BEST:: SOT 38019 SOS 14183 HAS SOPS 14183 HAS SOUS 13434 HAS SOUPS 13434 WITH SCORE 13448.183
AT ITER 385 NEW BEST:: SOT 37988 SOS 14121 HAS SOPS 14121 HAS SOUS 13372 HAS SOUPS 13372 WITH SCORE 13386.121
AT ITER 386 NEW BEST:: SOT 37988 SOS 14121 HAS SOPS 14121 HAS SOUS 13334 HAS SOUPS 13334 WITH SCORE 13348.121
AT ITER 392 NEW BEST:: SOT 37954 SOS 14053 HAS SOPS 14053 HAS SOUS 13266 HAS SOUPS 13266 WITH SCORE 13280.053
AT ITER 394 NEW BEST:: SOT 37946 SOS 14037 HAS SOPS 14037 HAS SOUS 13241 HAS SOUPS 13241 WITH SCORE 13255.037
AT ITER 395 NEW BEST:: SOT 37841 SOS 14044 HAS SOPS 14044 HAS SOUS 13128 HAS SOUPS 13128 WITH SCORE 13142.044
AT ITER 398 NEW BEST:: SOT 37735 SOS 14065 HAS SOPS 14065 HAS SOUS 13114 HAS SOUPS 13114 WITH SCORE 13128.065
AT ITER 400 NEW BEST:: SOT 37639 SOS 13873 HAS SOPS 13873 HAS SOUS 12922 HAS SOUPS 12922 WITH SCORE 12935.873
AT ITER 403 NEW BEST:: SOT 37639 SOS 13841 HAS SOPS 13841 HAS SOUS 12922 HAS SOUPS 12922 WITH SCORE 12935.841
AT ITER 412 NEW BEST:: SOT 37639 SOS 13774 HAS SOPS 13774 HAS SOUS 12922 HAS SOUPS 12922 WITH SCORE 12935.774
AT ITER 413 NEW BEST:: SOT 37421 SOS 13508 HAS SOPS 13508 HAS SOUS 12656 HAS SOUPS 12656 WITH SCORE 12669.508
AT ITER 416 NEW BEST:: SOT 37435 SOS 13536 HAS SOPS 13536 HAS SOUS 12649 HAS SOUPS 12649 WITH SCORE 12662.536
AT ITER 431 NEW BEST:: SOT 37435 SOS 13510 HAS SOPS 13510 HAS SOUS 12623 HAS SOUPS 12623 WITH SCORE 12636.51
AT ITER 434 NEW BEST:: SOT 37454 SOS 13346 HAS SOPS 13346 HAS SOUS 12512 HAS SOUPS 12512 WITH SCORE 12525.346
AT ITER 435 NEW BEST:: SOT 37389 SOS 13290 HAS SOPS 13290 HAS SOUS 12456 HAS SOUPS 12456 WITH SCORE 12469.29
AT ITER 436 NEW BEST:: SOT 37330 SOS 13172 HAS SOPS 13172 HAS SOUS 12397 HAS SOUPS 12397 WITH SCORE 12410.172
AT ITER 441 NEW BEST:: SOT 37330 SOS 13172 HAS SOPS 13172 HAS SOUS 12291 HAS SOUPS 12291 WITH SCORE 12304.172
AT ITER 444 NEW BEST:: SOT 37296 SOS 13121 HAS SOPS 13121 HAS SOUS 12240 HAS SOUPS 12240 WITH SCORE 12253.121
AT ITER 447 NEW BEST:: SOT 37296 SOS 13101 HAS SOPS 13101 HAS SOUS 12220 HAS SOUPS 12220 WITH SCORE 12233.101
AT ITER 449 NEW BEST:: SOT 37285 SOS 13156 HAS SOPS 13156 HAS SOUS 12209 HAS SOUPS 12209 WITH SCORE 12222.156
AT ITER 450 NEW BEST:: SOT 37266 SOS 13118 HAS SOPS 13118 HAS SOUS 12171 HAS SOUPS 12171 WITH SCORE 12184.118
AT ITER 463 NEW BEST:: SOT 37247 SOS 13080 HAS SOPS 13080 HAS SOUS 12133 HAS SOUPS 12133 WITH SCORE 12146.08
AT ITER 468 NEW BEST:: SOT 37245 SOS 13076 HAS SOPS 13076 HAS SOUS 12127 HAS SOUPS 12127 WITH SCORE 12140.076
AT ITER 470 NEW BEST:: SOT 37237 SOS 13068 HAS SOPS 13068 HAS SOUS 12119 HAS SOUPS 12119 WITH SCORE 12132.068
AT ITER 472 NEW BEST:: SOT 37237 SOS 13046 HAS SOPS 13046 HAS SOUS 12119 HAS SOUPS 12119 WITH SCORE 12132.046
AT ITER 473 NEW BEST:: SOT 37230 SOS 12926 HAS SOPS 12926 HAS SOUS 12030 HAS SOUPS 12030 WITH SCORE 12042.926
AT ITER 474 NEW BEST:: SOT 37198 SOS 12862 HAS SOPS 12862 HAS SOUS 11966 HAS SOUPS 11966 WITH SCORE 11978.862
AT ITER 481 NEW BEST:: SOT 37188 SOS 12842 HAS SOPS 12842 HAS SOUS 11946 HAS SOUPS 11946 WITH SCORE 11958.842
AT ITER 485 NEW BEST:: SOT 37188 SOS 12817 HAS SOPS 12817 HAS SOUS 11946 HAS SOUPS 11946 WITH SCORE 11958.817
AT ITER 488 NEW BEST:: SOT 37162 SOS 12765 HAS SOPS 12765 HAS SOUS 11904 HAS SOUPS 11904 WITH SCORE 11916.765
AT ITER 489 NEW BEST:: SOT 37218 SOS 12755 HAS SOPS 12755 HAS SOUS 11894 HAS SOUPS 11894 WITH SCORE 11906.755
AT ITER 494 NEW BEST:: SOT 37015 SOS 12470 HAS SOPS 12470 HAS SOUS 11609 HAS SOUPS 11609 WITH SCORE 11621.47
AT ITER 495 NEW BEST:: SOT 37010 SOS 12465 HAS SOPS 12465 HAS SOUS 11604 HAS SOUPS 11604 WITH SCORE 11616.465
AT ITER 498 NEW BEST:: SOT 36931 SOS 12444 HAS SOPS 12444 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11575.444
AT ITER 509 NEW BEST:: SOT 36888 SOS 12230 HAS SOPS 12230 HAS SOUS 11508 HAS SOUPS 11508 WITH SCORE 11520.23
AT ITER 511 NEW BEST:: SOT 36888 SOS 12214 HAS SOPS 12214 HAS SOUS 11492 HAS SOUPS 11492 WITH SCORE 11504.214
AT ITER 514 NEW BEST:: SOT 36803 SOS 12102 HAS SOPS 12102 HAS SOUS 11378 HAS SOUPS 11378 WITH SCORE 11390.102
AT ITER 515 NEW BEST:: SOT 36718 SOS 11932 HAS SOPS 11932 HAS SOUS 11203 HAS SOUPS 11203 WITH SCORE 11214.932
AT ITER 517 NEW BEST:: SOT 36664 SOS 11851 HAS SOPS 11851 HAS SOUS 11122 HAS SOUPS 11122 WITH SCORE 11133.851
AT ITER 520 NEW BEST:: SOT 36645 SOS 11813 HAS SOPS 11813 HAS SOUS 11084 HAS SOUPS 11084 WITH SCORE 11095.813
AT ITER 523 NEW BEST:: SOT 36610 SOS 11743 HAS SOPS 11743 HAS SOUS 11014 HAS SOUPS 11014 WITH SCORE 11025.743
AT ITER 524 NEW BEST:: SOT 36598 SOS 11803 HAS SOPS 11803 HAS SOUS 11002 HAS SOUPS 11002 WITH SCORE 11013.803
AT ITER 528 NEW BEST:: SOT 36523 SOS 11545 HAS SOPS 11545 HAS SOUS 10852 HAS SOUPS 10852 WITH SCORE 10863.545
AT ITER 530 NEW BEST:: SOT 36426 SOS 11418 HAS SOPS 11418 HAS SOUS 10722 HAS SOUPS 10722 WITH SCORE 10733.418
AT ITER 533 NEW BEST:: SOT 36406 SOS 11344 HAS SOPS 11344 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10679.344
AT ITER 534 NEW BEST:: SOT 36415 SOS 11362 HAS SOPS 11362 HAS SOUS 10639 HAS SOUPS 10639 WITH SCORE 10650.362
AT ITER 537 NEW BEST:: SOT 36405 SOS 11347 HAS SOPS 11347 HAS SOUS 10624 HAS SOUPS 10624 WITH SCORE 10635.347
AT ITER 538 NEW BEST:: SOT 36352 SOS 11271 HAS SOPS 11271 HAS SOUS 10548 HAS SOUPS 10548 WITH SCORE 10559.271
AT ITER 543 NEW BEST:: SOT 36346 SOS 11284 HAS SOPS 11284 HAS SOUS 10542 HAS SOUPS 10542 WITH SCORE 10553.284
AT ITER 546 NEW BEST:: SOT 36282 SOS 11156 HAS SOPS 11156 HAS SOUS 10478 HAS SOUPS 10478 WITH SCORE 10489.156
AT ITER 547 NEW BEST:: SOT 36279 SOS 11150 HAS SOPS 11150 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10486.15
AT ITER 548 NEW BEST:: SOT 36252 SOS 11287 HAS SOPS 11287 HAS SOUS 10448 HAS SOUPS 10448 WITH SCORE 10459.287
AT ITER 550 NEW BEST:: SOT 36252 SOS 11211 HAS SOPS 11211 HAS SOUS 10378 HAS SOUPS 10378 WITH SCORE 10389.211
AT ITER 551 NEW BEST:: SOT 36229 SOS 11121 HAS SOPS 11121 HAS SOUS 10316 HAS SOUPS 10316 WITH SCORE 10327.121
AT ITER 554 NEW BEST:: SOT 36169 SOS 11001 HAS SOPS 11001 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10207.001
AT ITER 557 NEW BEST:: SOT 36161 SOS 10985 HAS SOPS 10985 HAS SOUS 10180 HAS SOUPS 10180 WITH SCORE 10190.985
AT ITER 561 NEW BEST:: SOT 36156 SOS 10975 HAS SOPS 10975 HAS SOUS 10163 HAS SOUPS 10163 WITH SCORE 10173.975
AT ITER 565 NEW BEST:: SOT 36119 SOS 10940 HAS SOPS 10940 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10136.94
AT ITER 572 NEW BEST:: SOT 36031 SOS 10863 HAS SOPS 10863 HAS SOUS 10049 HAS SOUPS 10049 WITH SCORE 10059.863
AT ITER 577 NEW BEST:: SOT 36011 SOS 10823 HAS SOPS 10823 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10052.823
AT ITER 591 NEW BEST:: SOT 36002 SOS 10805 HAS SOPS 10805 HAS SOUS 10033 HAS SOUPS 10033 WITH SCORE 10043.805
AT ITER 595 NEW BEST:: SOT 35978 SOS 10757 HAS SOPS 10757 HAS SOUS 9985 HAS SOUPS 9985 WITH SCORE 9995.757
AT ITER 602 NEW BEST:: SOT 35947 SOS 10738 HAS SOPS 10738 HAS SOUS 9962 HAS SOUPS 9962 WITH SCORE 9972.738
AT ITER 606 NEW BEST:: SOT 35938 SOS 10720 HAS SOPS 10720 HAS SOUS 9948 HAS SOUPS 9948 WITH SCORE 9958.72
AT ITER 619 NEW BEST:: SOT 35843 SOS 10530 HAS SOPS 10530 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9774.53
AT ITER 624 NEW BEST:: SOT 35824 SOS 10418 HAS SOPS 10418 HAS SOUS 9745 HAS SOUPS 9745 WITH SCORE 9755.418
AT ITER 629 NEW BEST:: SOT 35737 SOS 10398 HAS SOPS 10398 HAS SOUS 9590 HAS SOUPS 9590 WITH SCORE 9600.398
AT ITER 630 NEW BEST:: SOT 35711 SOS 10402 HAS SOPS 10402 HAS SOUS 9564 HAS SOUPS 9564 WITH SCORE 9574.402
AT ITER 632 NEW BEST:: SOT 35709 SOS 10398 HAS SOPS 10398 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9572.398
AT ITER 640 NEW BEST:: SOT 35697 SOS 10374 HAS SOPS 10374 HAS SOUS 9538 HAS SOUPS 9538 WITH SCORE 9548.374
AT ITER 648 NEW BEST:: SOT 35656 SOS 10333 HAS SOPS 10333 HAS SOUS 9497 HAS SOUPS 9497 WITH SCORE 9507.333
AT ITER 655 NEW BEST:: SOT 35656 SOS 10333 HAS SOPS 10333 HAS SOUS 9491 HAS SOUPS 9491 WITH SCORE 9501.333
AT ITER 661 NEW BEST:: SOT 35649 SOS 10332 HAS SOPS 10332 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9500.332
AT ITER 664 NEW BEST:: SOT 35601 SOS 10271 HAS SOPS 10271 HAS SOUS 9408 HAS SOUPS 9408 WITH SCORE 9418.271
AT ITER 668 NEW BEST:: SOT 35548 SOS 10219 HAS SOPS 10219 HAS SOUS 9356 HAS SOUPS 9356 WITH SCORE 9366.219
AT ITER 669 NEW BEST:: SOT 35558 SOS 10165 HAS SOPS 10165 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9342.165
AT ITER 679 NEW BEST:: SOT 35539 SOS 10170 HAS SOPS 10170 HAS SOUS 9310 HAS SOUPS 9310 WITH SCORE 9320.17
AT ITER 689 NEW BEST:: SOT 35560 SOS 10143 HAS SOPS 10143 HAS SOUS 9306 HAS SOUPS 9306 WITH SCORE 9316.143
AT ITER 690 NEW BEST:: SOT 35557 SOS 10103 HAS SOPS 10103 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9313.103
AT ITER 691 NEW BEST:: SOT 35549 SOS 10095 HAS SOPS 10095 HAS SOUS 9295 HAS SOUPS 9295 WITH SCORE 9305.095
AT ITER 700 NEW BEST:: SOT 35511 SOS 10019 HAS SOPS 10019 HAS SOUS 9227 HAS SOUPS 9227 WITH SCORE 9237.019
AT ITER 726 NEW BEST:: SOT 35506 SOS 10009 HAS SOPS 10009 HAS SOUS 9199 HAS SOUPS 9199 WITH SCORE 9209.009
AT ITER 728 NEW BEST:: SOT 35478 SOS 9953 HAS SOPS 9953 HAS SOUS 9143 HAS SOUPS 9143 WITH SCORE 9152.953
AT ITER 731 NEW BEST:: SOT 35469 SOS 9935 HAS SOPS 9935 HAS SOUS 9134 HAS SOUPS 9134 WITH SCORE 9143.935
AT ITER 739 NEW BEST:: SOT 35464 SOS 9925 HAS SOPS 9925 HAS SOUS 9129 HAS SOUPS 9129 WITH SCORE 9138.925
AT ITER 740 NEW BEST:: SOT 35451 SOS 9899 HAS SOPS 9899 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9083.899
AT ITER 743 NEW BEST:: SOT 35403 SOS 9803 HAS SOPS 9803 HAS SOUS 9026 HAS SOUPS 9026 WITH SCORE 9035.803
AT ITER 754 NEW BEST:: SOT 35353 SOS 9748 HAS SOPS 9748 HAS SOUS 8971 HAS SOUPS 8971 WITH SCORE 8980.748
AT ITER 755 NEW BEST:: SOT 35319 SOS 9680 HAS SOPS 9680 HAS SOUS 8921 HAS SOUPS 8921 WITH SCORE 8930.68
AT ITER 756 NEW BEST:: SOT 35319 SOS 9680 HAS SOPS 9680 HAS SOUS 8905 HAS SOUPS 8905 WITH SCORE 8914.68
AT ITER 760 NEW BEST:: SOT 35298 SOS 9638 HAS SOPS 9638 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8871.638
AT ITER 762 NEW BEST:: SOT 35285 SOS 9612 HAS SOPS 9612 HAS SOUS 8838 HAS SOUPS 8838 WITH SCORE 8847.612
AT ITER 765 NEW BEST:: SOT 35289 SOS 9620 HAS SOPS 9620 HAS SOUS 8823 HAS SOUPS 8823 WITH SCORE 8832.62
AT ITER 770 NEW BEST:: SOT 35289 SOS 9611 HAS SOPS 9611 HAS SOUS 8823 HAS SOUPS 8823 WITH SCORE 8832.611
AT ITER 774 NEW BEST:: SOT 35289 SOS 9454 HAS SOPS 9454 HAS SOUS 8823 HAS SOUPS 8823 WITH SCORE 8832.454
AT ITER 778 NEW BEST:: SOT 35268 SOS 9455 HAS SOPS 9455 HAS SOUS 8802 HAS SOUPS 8802 WITH SCORE 8811.455
AT ITER 779 NEW BEST:: SOT 35261 SOS 9441 HAS SOPS 9441 HAS SOUS 8781 HAS SOUPS 8781 WITH SCORE 8790.441
AT ITER 788 NEW BEST:: SOT 35202 SOS 9361 HAS SOPS 9361 HAS SOUS 8701 HAS SOUPS 8701 WITH SCORE 8710.361
AT ITER 792 NEW BEST:: SOT 35199 SOS 9444 HAS SOPS 9444 HAS SOUS 8698 HAS SOUPS 8698 WITH SCORE 8707.444
AT ITER 795 NEW BEST:: SOT 35140 SOS 9385 HAS SOPS 9385 HAS SOUS 8639 HAS SOUPS 8639 WITH SCORE 8648.385
AT ITER 805 NEW BEST:: SOT 35131 SOS 9367 HAS SOPS 9367 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8630.367
AT ITER 822 NEW BEST:: SOT 35127 SOS 9405 HAS SOPS 9405 HAS SOUS 8617 HAS SOUPS 8617 WITH SCORE 8626.405
AT ITER 823 NEW BEST:: SOT 35089 SOS 9329 HAS SOPS 9329 HAS SOUS 8567 HAS SOUPS 8567 WITH SCORE 8576.329
AT ITER 827 NEW BEST:: SOT 35065 SOS 9281 HAS SOPS 9281 HAS SOUS 8565 HAS SOUPS 8565 WITH SCORE 8574.281
AT ITER 828 NEW BEST:: SOT 35039 SOS 9141 HAS SOPS 9141 HAS SOUS 8501 HAS SOUPS 8501 WITH SCORE 8510.141
AT ITER 843 NEW BEST:: SOT 35032 SOS 9134 HAS SOPS 9134 HAS SOUS 8494 HAS SOUPS 8494 WITH SCORE 8503.134
AT ITER 845 NEW BEST:: SOT 34858 SOS 9021 HAS SOPS 9021 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8419.021
AT ITER 846 NEW BEST:: SOT 34798 SOS 8961 HAS SOPS 8961 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8356.961
AT ITER 848 NEW BEST:: SOT 34798 SOS 8941 HAS SOPS 8941 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8356.941
AT ITER 855 NEW BEST:: SOT 34791 SOS 8927 HAS SOPS 8927 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8349.927
AT ITER 859 NEW BEST:: SOT 34781 SOS 8912 HAS SOPS 8912 HAS SOUS 8326 HAS SOUPS 8326 WITH SCORE 8334.912
AT ITER 860 NEW BEST:: SOT 34781 SOS 8898 HAS SOPS 8898 HAS SOUS 8326 HAS SOUPS 8326 WITH SCORE 8334.898
AT ITER 861 NEW BEST:: SOT 34801 SOS 8938 HAS SOPS 8938 HAS SOUS 8242 HAS SOUPS 8242 WITH SCORE 8250.938
AT ITER 862 NEW BEST:: SOT 34724 SOS 8574 HAS SOPS 8574 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8034.574
AT ITER 865 NEW BEST:: SOT 34689 SOS 8539 HAS SOPS 8539 HAS SOUS 7991 HAS SOUPS 7991 WITH SCORE 7999.539
AT ITER 866 NEW BEST:: SOT 34679 SOS 8519 HAS SOPS 8519 HAS SOUS 7971 HAS SOUPS 7971 WITH SCORE 7979.519
AT ITER 872 NEW BEST:: SOT 34657 SOS 8475 HAS SOPS 8475 HAS SOUS 7927 HAS SOUPS 7927 WITH SCORE 7935.475
AT ITER 874 NEW BEST:: SOT 34655 SOS 8471 HAS SOPS 8471 HAS SOUS 7923 HAS SOUPS 7923 WITH SCORE 7931.471
AT ITER 876 NEW BEST:: SOT 34653 SOS 8469 HAS SOPS 8469 HAS SOUS 7921 HAS SOUPS 7921 WITH SCORE 7929.469
AT ITER 879 NEW BEST:: SOT 34623 SOS 8460 HAS SOPS 8460 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7920.46
AT ITER 893 NEW BEST:: SOT 34584 SOS 8382 HAS SOPS 8382 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7845.382
AT ITER 894 NEW BEST:: SOT 34573 SOS 8360 HAS SOPS 8360 HAS SOUS 7827 HAS SOUPS 7827 WITH SCORE 7835.36
AT ITER 904 NEW BEST:: SOT 34526 SOS 8302 HAS SOPS 8302 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7777.302
AT ITER 918 NEW BEST:: SOT 34522 SOS 8294 HAS SOPS 8294 HAS SOUS 7761 HAS SOUPS 7761 WITH SCORE 7769.294
AT ITER 928 NEW BEST:: SOT 34467 SOS 8319 HAS SOPS 8319 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7714.319
AT ITER 934 NEW BEST:: SOT 34467 SOS 8308 HAS SOPS 8308 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7703.308
AT ITER 938 NEW BEST:: SOT 34386 SOS 8146 HAS SOPS 8146 HAS SOUS 7533 HAS SOUPS 7533 WITH SCORE 7541.146
AT ITER 942 NEW BEST:: SOT 34382 SOS 8138 HAS SOPS 8138 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7533.138
AT ITER 945 NEW BEST:: SOT 34367 SOS 8108 HAS SOPS 8108 HAS SOUS 7495 HAS SOUPS 7495 WITH SCORE 7503.108
AT ITER 950 NEW BEST:: SOT 34280 SOS 8028 HAS SOPS 8028 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7416.028
AT ITER 955 NEW BEST:: SOT 34262 SOS 7992 HAS SOPS 7992 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7379.992
AT ITER 956 NEW BEST:: SOT 34167 SOS 7897 HAS SOPS 7897 HAS SOUS 7277 HAS SOUPS 7277 WITH SCORE 7284.897
AT ITER 959 NEW BEST:: SOT 34163 SOS 8020 HAS SOPS 8020 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7281.02
AT ITER 960 NEW BEST:: SOT 34151 SOS 7996 HAS SOPS 7996 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7262.996
AT ITER 968 NEW BEST:: SOT 34118 SOS 7930 HAS SOPS 7930 HAS SOUS 7222 HAS SOUPS 7222 WITH SCORE 7229.93
AT ITER 975 NEW BEST:: SOT 34118 SOS 7878 HAS SOPS 7878 HAS SOUS 7170 HAS SOUPS 7170 WITH SCORE 7177.878
AT ITER 984 NEW BEST:: SOT 34042 SOS 7822 HAS SOPS 7822 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7121.822
AT ITER 986 NEW BEST:: SOT 34042 SOS 7822 HAS SOPS 7822 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7094.822
AT ITER 996 NEW BEST:: SOT 34029 SOS 7796 HAS SOPS 7796 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7079.796
AT ITER 999 NEW BEST:: SOT 34036 SOS 7738 HAS SOPS 7738 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7048.738
AT ITER 1028 NEW BEST:: SOT 34035 SOS 7736 HAS SOPS 7736 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7046.736
AT ITER 1052 NEW BEST:: SOT 34000 SOS 7666 HAS SOPS 7666 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6970.666
AT ITER 1061 NEW BEST:: SOT 34000 SOS 7666 HAS SOPS 7666 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6960.666
AT ITER 1064 NEW BEST:: SOT 34011 SOS 7664 HAS SOPS 7664 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6958.664
AT ITER 1070 NEW BEST:: SOT 34003 SOS 7648 HAS SOPS 7648 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6942.648
AT ITER 1075 NEW BEST:: SOT 34000 SOS 7661 HAS SOPS 7661 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6941.661
AT ITER 1080 NEW BEST:: SOT 33916 SOS 7664 HAS SOPS 7664 HAS SOUS 6851 HAS SOUPS 6851 WITH SCORE 6858.664
AT ITER 1083 NEW BEST:: SOT 33902 SOS 7665 HAS SOPS 7665 HAS SOUS 6837 HAS SOUPS 6837 WITH SCORE 6844.665
AT ITER 1086 NEW BEST:: SOT 33869 SOS 7599 HAS SOPS 7599 HAS SOUS 6804 HAS SOUPS 6804 WITH SCORE 6811.599
AT ITER 1102 NEW BEST:: SOT 33793 SOS 7485 HAS SOPS 7485 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6697.485
AT ITER 1108 NEW BEST:: SOT 33771 SOS 7419 HAS SOPS 7419 HAS SOUS 6666 HAS SOUPS 6666 WITH SCORE 6673.419
AT ITER 1118 NEW BEST:: SOT 33771 SOS 7391 HAS SOPS 7391 HAS SOUS 6666 HAS SOUPS 6666 WITH SCORE 6673.391
AT ITER 1122 NEW BEST:: SOT 33733 SOS 7315 HAS SOPS 7315 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6597.315
AT ITER 1148 NEW BEST:: SOT 33694 SOS 7237 HAS SOPS 7237 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6524.237
AT ITER 1154 NEW BEST:: SOT 33683 SOS 7173 HAS SOPS 7173 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6502.173
AT ITER 1163 NEW BEST:: SOT 33680 SOS 7150 HAS SOPS 7150 HAS SOUS 6491 HAS SOUPS 6491 WITH SCORE 6498.15
AT ITER 1171 NEW BEST:: SOT 33680 SOS 7135 HAS SOPS 7135 HAS SOUS 6491 HAS SOUPS 6491 WITH SCORE 6498.135
AT ITER 1177 NEW BEST:: SOT 33689 SOS 7153 HAS SOPS 7153 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6482.153
AT ITER 1185 NEW BEST:: SOT 33686 SOS 7147 HAS SOPS 7147 HAS SOUS 6470 HAS SOUPS 6470 WITH SCORE 6477.147
AT ITER 1202 NEW BEST:: SOT 33684 SOS 7126 HAS SOPS 7126 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6475.126
AT ITER 1217 NEW BEST:: SOT 33684 SOS 7105 HAS SOPS 7105 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6454.105
AT ITER 1222 NEW BEST:: SOT 33679 SOS 7095 HAS SOPS 7095 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6444.095
AT ITER 1223 NEW BEST:: SOT 33673 SOS 7083 HAS SOPS 7083 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6435.083
AT ITER 1228 NEW BEST:: SOT 33643 SOS 7023 HAS SOPS 7023 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6405.023
AT ITER 1229 NEW BEST:: SOT 33639 SOS 7065 HAS SOPS 7065 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6401.065
AT ITER 1230 NEW BEST:: SOT 33639 SOS 7060 HAS SOPS 7060 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6401.06
AT ITER 1231 NEW BEST:: SOT 33639 SOS 7060 HAS SOPS 7060 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6386.06
AT ITER 1236 NEW BEST:: SOT 33639 SOS 7041 HAS SOPS 7041 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6367.041
AT ITER 1237 NEW BEST:: SOT 33765 SOS 7164 HAS SOPS 7164 HAS SOUS 6357 HAS SOUPS 6357 WITH SCORE 6364.164
AT ITER 1241 NEW BEST:: SOT 33743 SOS 7158 HAS SOPS 7158 HAS SOUS 6327 HAS SOUPS 6327 WITH SCORE 6334.158
AT ITER 1247 NEW BEST:: SOT 33738 SOS 7148 HAS SOPS 7148 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6324.148
AT ITER 1258 NEW BEST:: SOT 33663 SOS 7131 HAS SOPS 7131 HAS SOUS 6280 HAS SOUPS 6280 WITH SCORE 6287.131
AT ITER 1267 NEW BEST:: SOT 33661 SOS 7127 HAS SOPS 7127 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6254.127
AT ITER 1309 NEW BEST:: SOT 33663 SOS 7131 HAS SOPS 7131 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6224.131
AT ITER 1313 NEW BEST:: SOT 33659 SOS 7123 HAS SOPS 7123 HAS SOUS 6213 HAS SOUPS 6213 WITH SCORE 6220.123
AT ITER 1316 NEW BEST:: SOT 33620 SOS 7045 HAS SOPS 7045 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6181.045
AT ITER 1354 NEW BEST:: SOT 33610 SOS 7025 HAS SOPS 7025 HAS SOUS 6154 HAS SOUPS 6154 WITH SCORE 6161.025
AT ITER 1356 NEW BEST:: SOT 33608 SOS 7021 HAS SOPS 7021 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6157.021
AT ITER 1357 NEW BEST:: SOT 33604 SOS 7013 HAS SOPS 7013 HAS SOUS 6146 HAS SOUPS 6146 WITH SCORE 6153.013
AT ITER 1366 NEW BEST:: SOT 33575 SOS 6955 HAS SOPS 6955 HAS SOUS 6089 HAS SOUPS 6089 WITH SCORE 6095.955
AT ITER 1371 NEW BEST:: SOT 33518 SOS 6889 HAS SOPS 6889 HAS SOUS 6023 HAS SOUPS 6023 WITH SCORE 6029.889
AT ITER 1373 NEW BEST:: SOT 33503 SOS 6859 HAS SOPS 6859 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6014.859
AT ITER 1386 NEW BEST:: SOT 33488 SOS 6829 HAS SOPS 6829 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 5997.829
AT ITER 1394 NEW BEST:: SOT 33487 SOS 6827 HAS SOPS 6827 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 5996.827
AT ITER 1395 NEW BEST:: SOT 33487 SOS 6827 HAS SOPS 6827 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5985.827
AT ITER 1418 NEW BEST:: SOT 33481 SOS 6821 HAS SOPS 6821 HAS SOUS 5973 HAS SOUPS 5973 WITH SCORE 5979.821
AT ITER 1432 NEW BEST:: SOT 33478 SOS 6812 HAS SOPS 6812 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5973.812
AT ITER 1444 NEW BEST:: SOT 33472 SOS 6800 HAS SOPS 6800 HAS SOUS 5955 HAS SOUPS 5955 WITH SCORE 5961.8
AT ITER 1445 NEW BEST:: SOT 33451 SOS 6726 HAS SOPS 6726 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5925.726
AT ITER 1460 NEW BEST:: SOT 33441 SOS 6706 HAS SOPS 6706 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5920.706
AT ITER 1473 NEW BEST:: SOT 33384 SOS 6592 HAS SOPS 6592 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5860.592
AT ITER 1475 NEW BEST:: SOT 33371 SOS 6566 HAS SOPS 6566 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5843.566
AT ITER 1478 NEW BEST:: SOT 33366 SOS 6556 HAS SOPS 6556 HAS SOUS 5827 HAS SOUPS 5827 WITH SCORE 5833.556
AT ITER 1479 NEW BEST:: SOT 33322 SOS 6468 HAS SOPS 6468 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5748.468
AT ITER 1485 NEW BEST:: SOT 33291 SOS 6406 HAS SOPS 6406 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5720.406
AT ITER 1499 NEW BEST:: SOT 33285 SOS 6394 HAS SOPS 6394 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5709.394
AT ITER 1501 NEW BEST:: SOT 33272 SOS 6368 HAS SOPS 6368 HAS SOUS 5635 HAS SOUPS 5635 WITH SCORE 5641.368
AT ITER 1502 NEW BEST:: SOT 33272 SOS 6368 HAS SOPS 6368 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5640.368
AT ITER 1524 NEW BEST:: SOT 33241 SOS 6306 HAS SOPS 6306 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5567.306
AT ITER 1530 NEW BEST:: SOT 33233 SOS 6290 HAS SOPS 6290 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5564.29
AT ITER 1534 NEW BEST:: SOT 33219 SOS 6282 HAS SOPS 6282 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5554.282
AT ITER 1551 NEW BEST:: SOT 33191 SOS 6294 HAS SOPS 6294 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5538.294
AT ITER 1552 NEW BEST:: SOT 33164 SOS 6240 HAS SOPS 6240 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5484.24
AT ITER 1558 NEW BEST:: SOT 33164 SOS 6240 HAS SOPS 6240 HAS SOUS 5474 HAS SOUPS 5474 WITH SCORE 5480.24
AT ITER 1566 NEW BEST:: SOT 33152 SOS 6202 HAS SOPS 6202 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5468.202
AT ITER 1584 NEW BEST:: SOT 33152 SOS 6198 HAS SOPS 6198 HAS SOUS 5458 HAS SOUPS 5458 WITH SCORE 5464.198
AT ITER 1604 NEW BEST:: SOT 33152 SOS 6198 HAS SOPS 6198 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5384.198
AT ITER 1622 NEW BEST:: SOT 33150 SOS 6194 HAS SOPS 6194 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5382.194
AT ITER 1626 NEW BEST:: SOT 33119 SOS 6101 HAS SOPS 6101 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5320.101
AT ITER 1634 NEW BEST:: SOT 33119 SOS 6101 HAS SOPS 6101 HAS SOUS 5310 HAS SOUPS 5310 WITH SCORE 5316.101
AT ITER 1636 NEW BEST:: SOT 33098 SOS 6083 HAS SOPS 6083 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5298.083
AT ITER 1637 NEW BEST:: SOT 33096 SOS 6084 HAS SOPS 6084 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5296.084
AT ITER 1672 NEW BEST:: SOT 33094 SOS 6062 HAS SOPS 6062 HAS SOUS 5288 HAS SOUPS 5288 WITH SCORE 5294.062
AT ITER 1675 NEW BEST:: SOT 33044 SOS 5962 HAS SOPS 5962 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5223.962
AT ITER 1683 NEW BEST:: SOT 33044 SOS 5961 HAS SOPS 5961 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5223.961
AT ITER 1690 NEW BEST:: SOT 33002 SOS 5877 HAS SOPS 5877 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5139.877
AT ITER 1696 NEW BEST:: SOT 32983 SOS 5839 HAS SOPS 5839 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5101.839
AT ITER 1723 NEW BEST:: SOT 32983 SOS 5830 HAS SOPS 5830 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5092.83
AT ITER 1725 NEW BEST:: SOT 32983 SOS 5830 HAS SOPS 5830 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5066.83
AT ITER 1741 NEW BEST:: SOT 32970 SOS 5791 HAS SOPS 5791 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5049.791
AT ITER 1755 NEW BEST:: SOT 32955 SOS 5761 HAS SOPS 5761 HAS SOUS 5029 HAS SOUPS 5029 WITH SCORE 5034.761
AT ITER 1756 NEW BEST:: SOT 32942 SOS 5748 HAS SOPS 5748 HAS SOUS 5016 HAS SOUPS 5016 WITH SCORE 5021.748
AT ITER 1765 NEW BEST:: SOT 32926 SOS 5716 HAS SOPS 5716 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4989.716
AT ITER 1779 NEW BEST:: SOT 32925 SOS 5714 HAS SOPS 5714 HAS SOUS 4982 HAS SOUPS 4982 WITH SCORE 4987.714
AT ITER 1790 NEW BEST:: SOT 32924 SOS 5712 HAS SOPS 5712 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4985.712
AT ITER 1800 NEW BEST:: SOT 32909 SOS 5693 HAS SOPS 5693 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4966.693
AT ITER 1803 NEW BEST:: SOT 32909 SOS 5682 HAS SOPS 5682 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4966.682
AT ITER 1808 NEW BEST:: SOT 32879 SOS 5652 HAS SOPS 5652 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4966.652
AT ITER 1816 NEW BEST:: SOT 32861 SOS 5616 HAS SOPS 5616 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4961.616
AT ITER 1819 NEW BEST:: SOT 32861 SOS 5616 HAS SOPS 5616 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4924.616
AT ITER 1832 NEW BEST:: SOT 32843 SOS 5580 HAS SOPS 5580 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4888.58
AT ITER 1842 NEW BEST:: SOT 32823 SOS 5540 HAS SOPS 5540 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4829.54
AT ITER 1853 NEW BEST:: SOT 32823 SOS 5536 HAS SOPS 5536 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4825.536
AT ITER 1885 NEW BEST:: SOT 32803 SOS 5470 HAS SOPS 5470 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4785.47
AT ITER 1898 NEW BEST:: SOT 32811 SOS 5486 HAS SOPS 5486 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4767.486
AT ITER 1909 NEW BEST:: SOT 32797 SOS 5458 HAS SOPS 5458 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4753.458
AT ITER 1914 NEW BEST:: SOT 32781 SOS 5442 HAS SOPS 5442 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4737.442
AT ITER 1922 NEW BEST:: SOT 32772 SOS 5433 HAS SOPS 5433 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4728.433
AT ITER 1925 NEW BEST:: SOT 32772 SOS 5433 HAS SOPS 5433 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4699.433
AT ITER 1927 NEW BEST:: SOT 32772 SOS 5363 HAS SOPS 5363 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4699.363
AT ITER 1933 NEW BEST:: SOT 32764 SOS 5347 HAS SOPS 5347 HAS SOUS 4678 HAS SOUPS 4678 WITH SCORE 4683.347
AT ITER 1935 NEW BEST:: SOT 32749 SOS 5339 HAS SOPS 5339 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4671.339
AT ITER 1948 NEW BEST:: SOT 32748 SOS 5338 HAS SOPS 5338 HAS SOUS 4665 HAS SOUPS 4665 WITH SCORE 4670.338
AT ITER 1954 NEW BEST:: SOT 32732 SOS 5306 HAS SOPS 5306 HAS SOUS 4645 HAS SOUPS 4645 WITH SCORE 4650.306
AT ITER 1960 NEW BEST:: SOT 32714 SOS 5249 HAS SOPS 5249 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4632.249
AT ITER 1997 NEW BEST:: SOT 32653 SOS 5188 HAS SOPS 5188 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4571.188
AT ITER 2009 NEW BEST:: SOT 32652 SOS 5186 HAS SOPS 5186 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4569.186
AT ITER 2065 NEW BEST:: SOT 32649 SOS 5180 HAS SOPS 5180 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4566.18
AT ITER 2074 NEW BEST:: SOT 32643 SOS 5218 HAS SOPS 5218 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4560.218
AT ITER 2081 NEW BEST:: SOT 32633 SOS 5185 HAS SOPS 5185 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4550.185
AT ITER 2106 NEW BEST:: SOT 32630 SOS 5182 HAS SOPS 5182 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4547.182
AT ITER 2108 NEW BEST:: SOT 32625 SOS 5177 HAS SOPS 5177 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4542.177
AT ITER 2128 NEW BEST:: SOT 32628 SOS 5183 HAS SOPS 5183 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4508.183
AT ITER 2136 NEW BEST:: SOT 32627 SOS 5181 HAS SOPS 5181 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4507.181
AT ITER 2139 NEW BEST:: SOT 32611 SOS 5133 HAS SOPS 5133 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4491.133
AT ITER 2141 NEW BEST:: SOT 32609 SOS 5129 HAS SOPS 5129 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4489.129
AT ITER 2149 NEW BEST:: SOT 32599 SOS 5109 HAS SOPS 5109 HAS SOUS 4467 HAS SOUPS 4467 WITH SCORE 4472.109
AT ITER 2159 NEW BEST:: SOT 32596 SOS 5028 HAS SOPS 5028 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4418.028
AT ITER 2171 NEW BEST:: SOT 32579 SOS 4994 HAS SOPS 4994 HAS SOUS 4386 HAS SOUPS 4386 WITH SCORE 4390.994
AT ITER 2184 NEW BEST:: SOT 32579 SOS 4994 HAS SOPS 4994 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4378.994
AT ITER 2196 NEW BEST:: SOT 32548 SOS 4932 HAS SOPS 4932 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4332.932
AT ITER 2200 NEW BEST:: SOT 32528 SOS 4917 HAS SOPS 4917 HAS SOUS 4313 HAS SOUPS 4313 WITH SCORE 4317.917
AT ITER 2203 NEW BEST:: SOT 32523 SOS 4907 HAS SOPS 4907 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4307.907
AT ITER 2241 NEW BEST:: SOT 32523 SOS 4907 HAS SOPS 4907 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4302.907
AT ITER 2255 NEW BEST:: SOT 32523 SOS 4900 HAS SOPS 4900 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4302.9
AT ITER 2266 NEW BEST:: SOT 32523 SOS 4893 HAS SOPS 4893 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4295.893
AT ITER 2304 NEW BEST:: SOT 32512 SOS 4871 HAS SOPS 4871 HAS SOUS 4279 HAS SOUPS 4279 WITH SCORE 4283.871
AT ITER 2311 NEW BEST:: SOT 32493 SOS 4833 HAS SOPS 4833 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4245.833
AT ITER 2312 NEW BEST:: SOT 32490 SOS 4830 HAS SOPS 4830 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4242.83
AT ITER 2316 NEW BEST:: SOT 32488 SOS 4867 HAS SOPS 4867 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4240.867
AT ITER 2356 NEW BEST:: SOT 32484 SOS 4842 HAS SOPS 4842 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4236.842
AT ITER 2361 NEW BEST:: SOT 32475 SOS 4837 HAS SOPS 4837 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4231.837
AT ITER 2377 NEW BEST:: SOT 32460 SOS 4853 HAS SOPS 4853 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4223.853
AT ITER 2382 NEW BEST:: SOT 32430 SOS 4793 HAS SOPS 4793 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4193.793
AT ITER 2395 NEW BEST:: SOT 32427 SOS 4787 HAS SOPS 4787 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4190.787
AT ITER 2426 NEW BEST:: SOT 32421 SOS 4775 HAS SOPS 4775 HAS SOUS 4177 HAS SOUPS 4177 WITH SCORE 4181.775
AT ITER 2465 NEW BEST:: SOT 32379 SOS 4729 HAS SOPS 4729 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4135.729
AT ITER 2476 NEW BEST:: SOT 32379 SOS 4729 HAS SOPS 4729 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4095.729
AT ITER 2477 NEW BEST:: SOT 32385 SOS 4692 HAS SOPS 4692 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4083.692
AT ITER 2491 NEW BEST:: SOT 32373 SOS 4668 HAS SOPS 4668 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4071.668
AT ITER 2492 NEW BEST:: SOT 32384 SOS 4667 HAS SOPS 4667 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4070.667
AT ITER 2512 NEW BEST:: SOT 32374 SOS 4647 HAS SOPS 4647 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4050.647
AT ITER 2516 NEW BEST:: SOT 32370 SOS 4631 HAS SOPS 4631 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4043.631
AT ITER 2525 NEW BEST:: SOT 32365 SOS 4628 HAS SOPS 4628 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.628
AT ITER 2545 NEW BEST:: SOT 32364 SOS 4687 HAS SOPS 4687 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4036.687
AT ITER 2554 NEW BEST:: SOT 32355 SOS 4669 HAS SOPS 4669 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4017.669
AT ITER 2559 NEW BEST:: SOT 32328 SOS 4644 HAS SOPS 4644 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3987.644
AT ITER 2565 NEW BEST:: SOT 32344 SOS 4641 HAS SOPS 4641 HAS SOUS 3980 HAS SOUPS 3980 WITH SCORE 3984.641
AT ITER 2581 NEW BEST:: SOT 32336 SOS 4639 HAS SOPS 4639 HAS SOUS 3978 HAS SOUPS 3978 WITH SCORE 3982.639
AT ITER 2585 NEW BEST:: SOT 32324 SOS 4615 HAS SOPS 4615 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3958.615
AT ITER 2604 NEW BEST:: SOT 32323 SOS 4593 HAS SOPS 4593 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3956.593
AT ITER 2630 NEW BEST:: SOT 32316 SOS 4572 HAS SOPS 4572 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3946.572
AT ITER 2632 NEW BEST:: SOT 32329 SOS 4565 HAS SOPS 4565 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3939.565
AT ITER 2668 NEW BEST:: SOT 32323 SOS 4553 HAS SOPS 4553 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3927.553
AT ITER 2670 NEW BEST:: SOT 32312 SOS 4584 HAS SOPS 4584 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3916.584
AT ITER 2681 NEW BEST:: SOT 32308 SOS 4585 HAS SOPS 4585 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3911.585
AT ITER 2702 NEW BEST:: SOT 32330 SOS 4629 HAS SOPS 4629 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3898.629
AT ITER 2718 NEW BEST:: SOT 32327 SOS 4623 HAS SOPS 4623 HAS SOUS 3891 HAS SOUPS 3891 WITH SCORE 3895.623
AT ITER 2728 NEW BEST:: SOT 32325 SOS 4617 HAS SOPS 4617 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3893.617
AT ITER 2734 NEW BEST:: SOT 32319 SOS 4611 HAS SOPS 4611 HAS SOUS 3883 HAS SOUPS 3883 WITH SCORE 3887.611
AT ITER 2745 NEW BEST:: SOT 32288 SOS 4590 HAS SOPS 4590 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3859.59
AT ITER 2746 NEW BEST:: SOT 32281 SOS 4576 HAS SOPS 4576 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3834.576
AT ITER 2761 NEW BEST:: SOT 32258 SOS 4530 HAS SOPS 4530 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3811.53
AT ITER 2787 NEW BEST:: SOT 32244 SOS 4509 HAS SOPS 4509 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3790.509
AT ITER 2791 NEW BEST:: SOT 32239 SOS 4499 HAS SOPS 4499 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3776.499
AT ITER 2797 NEW BEST:: SOT 32239 SOS 4492 HAS SOPS 4492 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3776.492
AT ITER 2804 NEW BEST:: SOT 32245 SOS 4479 HAS SOPS 4479 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3776.479
AT ITER 2810 NEW BEST:: SOT 32245 SOS 4453 HAS SOPS 4453 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3776.453
AT ITER 2827 NEW BEST:: SOT 32238 SOS 4439 HAS SOPS 4439 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3769.439
AT ITER 2828 NEW BEST:: SOT 32238 SOS 4423 HAS SOPS 4423 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3769.423
AT ITER 2847 NEW BEST:: SOT 32185 SOS 4348 HAS SOPS 4348 HAS SOUS 3690 HAS SOUPS 3690 WITH SCORE 3694.348
AT ITER 2854 NEW BEST:: SOT 32173 SOS 4248 HAS SOPS 4248 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3682.248
AT ITER 2856 NEW BEST:: SOT 32162 SOS 4208 HAS SOPS 4208 HAS SOUS 3661 HAS SOUPS 3661 WITH SCORE 3665.208
AT ITER 2882 NEW BEST:: SOT 32157 SOS 4138 HAS SOPS 4138 HAS SOUS 3642 HAS SOUPS 3642 WITH SCORE 3646.138
AT ITER 2899 NEW BEST:: SOT 32147 SOS 4118 HAS SOPS 4118 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3582.118
AT ITER 2905 NEW BEST:: SOT 32114 SOS 4085 HAS SOPS 4085 HAS SOUS 3545 HAS SOUPS 3545 WITH SCORE 3549.085
AT ITER 2906 NEW BEST:: SOT 32111 SOS 4075 HAS SOPS 4075 HAS SOUS 3538 HAS SOUPS 3538 WITH SCORE 3542.075
AT ITER 2970 NEW BEST:: SOT 32111 SOS 4075 HAS SOPS 4075 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3537.075
AT ITER 2991 NEW BEST:: SOT 32098 SOS 4072 HAS SOPS 4072 HAS SOUS 3530 HAS SOUPS 3530 WITH SCORE 3534.072
AT ITER 3006 NEW BEST:: SOT 32074 SOS 4024 HAS SOPS 4024 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3510.024
AT ITER 3014 NEW BEST:: SOT 32073 SOS 4022 HAS SOPS 4022 HAS SOUS 3501 HAS SOUPS 3501 WITH SCORE 3505.022
AT ITER 3067 NEW BEST:: SOT 32068 SOS 4012 HAS SOPS 4012 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3499.012
AT ITER 3077 NEW BEST:: SOT 32037 SOS 4033 HAS SOPS 4033 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3487.033
AT ITER 3081 NEW BEST:: SOT 32029 SOS 4039 HAS SOPS 4039 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3479.039
AT ITER 3086 NEW BEST:: SOT 32023 SOS 4021 HAS SOPS 4021 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3467.021
AT ITER 3117 NEW BEST:: SOT 32023 SOS 4021 HAS SOPS 4021 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3463.021
AT ITER 3119 NEW BEST:: SOT 32023 SOS 4008 HAS SOPS 4008 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3450.008
AT ITER 3150 NEW BEST:: SOT 31995 SOS 3952 HAS SOPS 3952 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3394.952
AT ITER 3200 NEW BEST:: SOT 31990 SOS 3937 HAS SOPS 3937 HAS SOUS 3381 HAS SOUPS 3381 WITH SCORE 3384.937
AT ITER 3201 NEW BEST:: SOT 31990 SOS 3937 HAS SOPS 3937 HAS SOUS 3358 HAS SOUPS 3358 WITH SCORE 3361.937
AT ITER 3218 NEW BEST:: SOT 31971 SOS 3912 HAS SOPS 3912 HAS SOUS 3333 HAS SOUPS 3333 WITH SCORE 3336.912
AT ITER 3231 NEW BEST:: SOT 31972 SOS 3914 HAS SOPS 3914 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3331.914
AT ITER 3257 NEW BEST:: SOT 31967 SOS 3904 HAS SOPS 3904 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3321.904
AT ITER 3265 NEW BEST:: SOT 31967 SOS 3883 HAS SOPS 3883 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3300.883
AT ITER 3270 NEW BEST:: SOT 31960 SOS 3869 HAS SOPS 3869 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3284.869
AT ITER 3300 NEW BEST:: SOT 31946 SOS 3841 HAS SOPS 3841 HAS SOUS 3276 HAS SOUPS 3276 WITH SCORE 3279.841
AT ITER 3311 NEW BEST:: SOT 31945 SOS 3837 HAS SOPS 3837 HAS SOUS 3273 HAS SOUPS 3273 WITH SCORE 3276.837
AT ITER 3316 NEW BEST:: SOT 31933 SOS 3813 HAS SOPS 3813 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3265.813
AT ITER 3337 NEW BEST:: SOT 31933 SOS 3806 HAS SOPS 3806 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3258.806
AT ITER 3370 NEW BEST:: SOT 31922 SOS 3810 HAS SOPS 3810 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3255.81
AT ITER 3382 NEW BEST:: SOT 31908 SOS 3745 HAS SOPS 3745 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3236.745
AT ITER 3420 NEW BEST:: SOT 31901 SOS 3743 HAS SOPS 3743 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3229.743
AT ITER 3421 NEW BEST:: SOT 31886 SOS 3748 HAS SOPS 3748 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3217.748
AT ITER 3434 NEW BEST:: SOT 31853 SOS 3682 HAS SOPS 3682 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3157.682
AT ITER 3436 NEW BEST:: SOT 31850 SOS 3676 HAS SOPS 3676 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3151.676
AT ITER 3461 NEW BEST:: SOT 31847 SOS 3667 HAS SOPS 3667 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3145.667
AT ITER 3498 NEW BEST:: SOT 31839 SOS 3643 HAS SOPS 3643 HAS SOUS 3126 HAS SOUPS 3126 WITH SCORE 3129.643
AT ITER 3510 NEW BEST:: SOT 31827 SOS 3639 HAS SOPS 3639 HAS SOUS 3122 HAS SOUPS 3122 WITH SCORE 3125.639
AT ITER 3525 NEW BEST:: SOT 31812 SOS 3628 HAS SOPS 3628 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3114.628
AT ITER 3631 NEW BEST:: SOT 31812 SOS 3628 HAS SOPS 3628 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3112.628
AT ITER 3641 NEW BEST:: SOT 31808 SOS 3635 HAS SOPS 3635 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3108.635
AT ITER 3717 NEW BEST:: SOT 31808 SOS 3627 HAS SOPS 3627 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3100.627
AT ITER 3750 NEW BEST:: SOT 31807 SOS 3625 HAS SOPS 3625 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3099.625
AT ITER 3752 NEW BEST:: SOT 31821 SOS 3606 HAS SOPS 3606 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3089.606
AT ITER 3772 NEW BEST:: SOT 31815 SOS 3594 HAS SOPS 3594 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.594
AT ITER 3783 NEW BEST:: SOT 31811 SOS 3580 HAS SOPS 3580 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3079.58
AT ITER 3803 NEW BEST:: SOT 31809 SOS 3574 HAS SOPS 3574 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.574
AT ITER 3819 NEW BEST:: SOT 31808 SOS 3572 HAS SOPS 3572 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3074.572
AT ITER 3832 NEW BEST:: SOT 31799 SOS 3562 HAS SOPS 3562 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3064.562
AT ITER 3876 NEW BEST:: SOT 31798 SOS 3544 HAS SOPS 3544 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3061.544
AT ITER 3880 NEW BEST:: SOT 31789 SOS 3552 HAS SOPS 3552 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3052.552
AT ITER 3930 NEW BEST:: SOT 31789 SOS 3536 HAS SOPS 3536 HAS SOUS 3033 HAS SOUPS 3033 WITH SCORE 3036.536
AT ITER 3938 NEW BEST:: SOT 31777 SOS 3512 HAS SOPS 3512 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3012.512
AT ITER 3943 NEW BEST:: SOT 31781 SOS 3477 HAS SOPS 3477 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2990.477
AT ITER 3958 NEW BEST:: SOT 31761 SOS 3437 HAS SOPS 3437 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2970.437
AT ITER 3987 NEW BEST:: SOT 31757 SOS 3489 HAS SOPS 3489 HAS SOUS 2963 HAS SOUPS 2963 WITH SCORE 2966.489
AT ITER 4023 NEW BEST:: SOT 31742 SOS 3459 HAS SOPS 3459 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2959.459
AT ITER 4103 NEW BEST:: SOT 31730 SOS 3435 HAS SOPS 3435 HAS SOUS 2932 HAS SOUPS 2932 WITH SCORE 2935.435
AT ITER 4104 NEW BEST:: SOT 31728 SOS 3431 HAS SOPS 3431 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2929.431
AT ITER 4136 NEW BEST:: SOT 31728 SOS 3415 HAS SOPS 3415 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2924.415
AT ITER 4153 NEW BEST:: SOT 31727 SOS 3453 HAS SOPS 3453 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2923.453
AT ITER 4159 NEW BEST:: SOT 31731 SOS 3448 HAS SOPS 3448 HAS SOUS 2917 HAS SOUPS 2917 WITH SCORE 2920.448
AT ITER 4186 NEW BEST:: SOT 31716 SOS 3418 HAS SOPS 3418 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2890.418
AT ITER 4212 NEW BEST:: SOT 31695 SOS 3376 HAS SOPS 3376 HAS SOUS 2865 HAS SOUPS 2865 WITH SCORE 2868.376
AT ITER 4214 NEW BEST:: SOT 31681 SOS 3348 HAS SOPS 3348 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.348
AT ITER 4247 NEW BEST:: SOT 31681 SOS 3343 HAS SOPS 3343 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.343
AT ITER 4251 NEW BEST:: SOT 31681 SOS 3335 HAS SOPS 3335 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2836.335
AT ITER 4264 NEW BEST:: SOT 31678 SOS 3332 HAS SOPS 3332 HAS SOUS 2827 HAS SOUPS 2827 WITH SCORE 2830.332
AT ITER 4292 NEW BEST:: SOT 31670 SOS 3308 HAS SOPS 3308 HAS SOUS 2811 HAS SOUPS 2811 WITH SCORE 2814.308
AT ITER 4306 NEW BEST:: SOT 31670 SOS 3308 HAS SOPS 3308 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2809.308
AT ITER 4356 NEW BEST:: SOT 31650 SOS 3309 HAS SOPS 3309 HAS SOUS 2786 HAS SOUPS 2786 WITH SCORE 2789.309
AT ITER 4367 NEW BEST:: SOT 31649 SOS 3307 HAS SOPS 3307 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.307
AT ITER 4380 NEW BEST:: SOT 31652 SOS 3291 HAS SOPS 3291 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.291
AT ITER 4390 NEW BEST:: SOT 31644 SOS 3261 HAS SOPS 3261 HAS SOUS 2767 HAS SOUPS 2767 WITH SCORE 2770.261
AT ITER 4393 NEW BEST:: SOT 31642 SOS 3264 HAS SOPS 3264 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2768.264
AT ITER 4394 NEW BEST:: SOT 31641 SOS 3263 HAS SOPS 3263 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2767.263
AT ITER 4411 NEW BEST:: SOT 31641 SOS 3263 HAS SOPS 3263 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2766.263
AT ITER 4421 NEW BEST:: SOT 31632 SOS 3245 HAS SOPS 3245 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2748.245
AT ITER 4424 NEW BEST:: SOT 31613 SOS 3207 HAS SOPS 3207 HAS SOUS 2707 HAS SOUPS 2707 WITH SCORE 2710.207
AT ITER 4433 NEW BEST:: SOT 31609 SOS 3199 HAS SOPS 3199 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2702.199
AT ITER 4439 NEW BEST:: SOT 31598 SOS 3177 HAS SOPS 3177 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2691.177
AT ITER 4460 NEW BEST:: SOT 31598 SOS 3145 HAS SOPS 3145 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2691.145
AT ITER 4504 NEW BEST:: SOT 31574 SOS 3097 HAS SOPS 3097 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2633.097
AT ITER 4507 NEW BEST:: SOT 31559 SOS 3092 HAS SOPS 3092 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2621.092
AT ITER 4523 NEW BEST:: SOT 31559 SOS 3087 HAS SOPS 3087 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2621.087
AT ITER 4614 NEW BEST:: SOT 31559 SOS 3087 HAS SOPS 3087 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2620.087
AT ITER 4654 NEW BEST:: SOT 31558 SOS 3085 HAS SOPS 3085 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2620.085
AT ITER 4698 NEW BEST:: SOT 31553 SOS 3064 HAS SOPS 3064 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2610.064
AT ITER 4700 NEW BEST:: SOT 31548 SOS 3070 HAS SOPS 3070 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2601.07
AT ITER 4710 NEW BEST:: SOT 31548 SOS 3070 HAS SOPS 3070 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2599.07
AT ITER 4734 NEW BEST:: SOT 31545 SOS 3064 HAS SOPS 3064 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2595.064
AT ITER 4758 NEW BEST:: SOT 31541 SOS 3038 HAS SOPS 3038 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2591.038
AT ITER 4792 NEW BEST:: SOT 31535 SOS 3026 HAS SOPS 3026 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2579.026
AT ITER 4814 NEW BEST:: SOT 31535 SOS 3026 HAS SOPS 3026 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2540.026
AT ITER 4893 NEW BEST:: SOT 31538 SOS 2992 HAS SOPS 2992 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2519.992
AT ITER 4895 NEW BEST:: SOT 31523 SOS 2962 HAS SOPS 2962 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2504.962
AT ITER 4919 NEW BEST:: SOT 31496 SOS 2874 HAS SOPS 2874 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2454.874
AT ITER 4937 NEW BEST:: SOT 31491 SOS 2851 HAS SOPS 2851 HAS SOUS 2447 HAS SOUPS 2447 WITH SCORE 2449.851
AT ITER 4945 NEW BEST:: SOT 31483 SOS 2835 HAS SOPS 2835 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.835
AT ITER 4961 NEW BEST:: SOT 31478 SOS 2825 HAS SOPS 2825 HAS SOUS 2416 HAS SOUPS 2416 WITH SCORE 2418.825
AT ITER 4977 NEW BEST:: SOT 31471 SOS 2818 HAS SOPS 2818 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2404.818
AT ITER 4983 NEW BEST:: SOT 31473 SOS 2822 HAS SOPS 2822 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2403.822
AT ITER 4987 NEW BEST:: SOT 31463 SOS 2802 HAS SOPS 2802 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2379.802
AT ITER 5041 NEW BEST:: SOT 31454 SOS 2784 HAS SOPS 2784 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2348.784
AT ITER 5108 NEW BEST:: SOT 31444 SOS 2764 HAS SOPS 2764 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2338.764
AT ITER 5125 NEW BEST:: SOT 31436 SOS 2748 HAS SOPS 2748 HAS SOUS 2318 HAS SOUPS 2318 WITH SCORE 2320.748
AT ITER 5129 NEW BEST:: SOT 31429 SOS 2734 HAS SOPS 2734 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2312.734
AT ITER 5155 NEW BEST:: SOT 31413 SOS 2702 HAS SOPS 2702 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.702
AT ITER 5212 NEW BEST:: SOT 31421 SOS 2694 HAS SOPS 2694 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.694
AT ITER 5262 NEW BEST:: SOT 31423 SOS 2683 HAS SOPS 2683 HAS SOUS 2291 HAS SOUPS 2291 WITH SCORE 2293.683
AT ITER 5301 NEW BEST:: SOT 31421 SOS 2679 HAS SOPS 2679 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2289.679
AT ITER 5303 NEW BEST:: SOT 31415 SOS 2667 HAS SOPS 2667 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.667
AT ITER 5361 NEW BEST:: SOT 31415 SOS 2655 HAS SOPS 2655 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.655
AT ITER 5365 NEW BEST:: SOT 31410 SOS 2652 HAS SOPS 2652 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2272.652
AT ITER 5386 NEW BEST:: SOT 31399 SOS 2630 HAS SOPS 2630 HAS SOUS 2253 HAS SOUPS 2253 WITH SCORE 2255.63
AT ITER 5424 NEW BEST:: SOT 31395 SOS 2622 HAS SOPS 2622 HAS SOUS 2245 HAS SOUPS 2245 WITH SCORE 2247.622
AT ITER 5426 NEW BEST:: SOT 31393 SOS 2618 HAS SOPS 2618 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2243.618
AT ITER 5457 NEW BEST:: SOT 31393 SOS 2618 HAS SOPS 2618 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2242.618
AT ITER 5513 NEW BEST:: SOT 31393 SOS 2618 HAS SOPS 2618 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.618
AT ITER 5523 NEW BEST:: SOT 31389 SOS 2610 HAS SOPS 2610 HAS SOUS 2233 HAS SOUPS 2233 WITH SCORE 2235.61
AT ITER 5549 NEW BEST:: SOT 31387 SOS 2606 HAS SOPS 2606 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2233.606
AT ITER 5620 NEW BEST:: SOT 31385 SOS 2602 HAS SOPS 2602 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2226.602
AT ITER 5624 NEW BEST:: SOT 31385 SOS 2596 HAS SOPS 2596 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2226.596
AT ITER 5636 NEW BEST:: SOT 31373 SOS 2588 HAS SOPS 2588 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2212.588
AT ITER 5655 NEW BEST:: SOT 31372 SOS 2586 HAS SOPS 2586 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2211.586
AT ITER 5713 NEW BEST:: SOT 31371 SOS 2584 HAS SOPS 2584 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2210.584
AT ITER 5721 NEW BEST:: SOT 31373 SOS 2556 HAS SOPS 2556 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2196.556
AT ITER 5798 NEW BEST:: SOT 31373 SOS 2552 HAS SOPS 2552 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2196.552
AT ITER 5849 NEW BEST:: SOT 31368 SOS 2522 HAS SOPS 2522 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2182.522
AT ITER 5866 NEW BEST:: SOT 31365 SOS 2516 HAS SOPS 2516 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2179.516
AT ITER 5879 NEW BEST:: SOT 31349 SOS 2526 HAS SOPS 2526 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2161.526
AT ITER 5880 NEW BEST:: SOT 31349 SOS 2518 HAS SOPS 2518 HAS SOUS 2151 HAS SOUPS 2151 WITH SCORE 2153.518
AT ITER 5928 NEW BEST:: SOT 31331 SOS 2482 HAS SOPS 2482 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.482
AT ITER 5948 NEW BEST:: SOT 31328 SOS 2476 HAS SOPS 2476 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2138.476
AT ITER 6026 NEW BEST:: SOT 31323 SOS 2466 HAS SOPS 2466 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2133.466
AT ITER 6054 NEW BEST:: SOT 31321 SOS 2460 HAS SOPS 2460 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2129.46
AT ITER 6055 NEW BEST:: SOT 31319 SOS 2456 HAS SOPS 2456 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2125.456
AT ITER 6114 NEW BEST:: SOT 31318 SOS 2454 HAS SOPS 2454 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2123.454
AT ITER 6195 NEW BEST:: SOT 31317 SOS 2451 HAS SOPS 2451 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.451
AT ITER 6198 NEW BEST:: SOT 31312 SOS 2441 HAS SOPS 2441 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2110.441
AT ITER 6205 NEW BEST:: SOT 31310 SOS 2437 HAS SOPS 2437 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2106.437
AT ITER 6240 NEW BEST:: SOT 31308 SOS 2433 HAS SOPS 2433 HAS SOUS 2102 HAS SOUPS 2102 WITH SCORE 2104.433
AT ITER 6282 NEW BEST:: SOT 31306 SOS 2429 HAS SOPS 2429 HAS SOUS 2090 HAS SOUPS 2090 WITH SCORE 2092.429
AT ITER 6289 NEW BEST:: SOT 31305 SOS 2427 HAS SOPS 2427 HAS SOUS 2089 HAS SOUPS 2089 WITH SCORE 2091.427
AT ITER 6304 NEW BEST:: SOT 31305 SOS 2425 HAS SOPS 2425 HAS SOUS 2089 HAS SOUPS 2089 WITH SCORE 2091.425
AT ITER 6472 NEW BEST:: SOT 31305 SOS 2425 HAS SOPS 2425 HAS SOUS 2088 HAS SOUPS 2088 WITH SCORE 2090.425
AT ITER 6483 NEW BEST:: SOT 31300 SOS 2446 HAS SOPS 2446 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2088.446
AT ITER 6516 NEW BEST:: SOT 31299 SOS 2444 HAS SOPS 2444 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2087.444
AT ITER 6520 NEW BEST:: SOT 31292 SOS 2430 HAS SOPS 2430 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2080.43
AT ITER 6617 NEW BEST:: SOT 31283 SOS 2412 HAS SOPS 2412 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2072.412
AT ITER 6745 NEW BEST:: SOT 31283 SOS 2407 HAS SOPS 2407 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2072.407
AT ITER 6799 NEW BEST:: SOT 31283 SOS 2403 HAS SOPS 2403 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2072.403
AT ITER 6807 NEW BEST:: SOT 31282 SOS 2401 HAS SOPS 2401 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.401
AT ITER 6900 NEW BEST:: SOT 31280 SOS 2397 HAS SOPS 2397 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2065.397
AT ITER 6917 NEW BEST:: SOT 31275 SOS 2387 HAS SOPS 2387 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2056.387
AT ITER 6925 NEW BEST:: SOT 31275 SOS 2384 HAS SOPS 2384 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2056.384
AT ITER 6944 NEW BEST:: SOT 31279 SOS 2371 HAS SOPS 2371 HAS SOUS 2045 HAS SOUPS 2045 WITH SCORE 2047.371
AT ITER 6962 NEW BEST:: SOT 31279 SOS 2371 HAS SOPS 2371 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2042.371
AT ITER 6973 NEW BEST:: SOT 31279 SOS 2371 HAS SOPS 2371 HAS SOUS 2037 HAS SOUPS 2037 WITH SCORE 2039.371
AT ITER 6981 NEW BEST:: SOT 31276 SOS 2365 HAS SOPS 2365 HAS SOUS 2029 HAS SOUPS 2029 WITH SCORE 2031.365
AT ITER 7025 NEW BEST:: SOT 31271 SOS 2355 HAS SOPS 2355 HAS SOUS 2025 HAS SOUPS 2025 WITH SCORE 2027.355
AT ITER 7088 NEW BEST:: SOT 31265 SOS 2343 HAS SOPS 2343 HAS SOUS 2013 HAS SOUPS 2013 WITH SCORE 2015.343
AT ITER 7149 NEW BEST:: SOT 31260 SOS 2321 HAS SOPS 2321 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 1999.321
AT ITER 7286 NEW BEST:: SOT 31260 SOS 2317 HAS SOPS 2317 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 1999.317
AT ITER 7296 NEW BEST:: SOT 31259 SOS 2315 HAS SOPS 2315 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1995.315
AT ITER 7346 NEW BEST:: SOT 31260 SOS 2317 HAS SOPS 2317 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1994.317
AT ITER 7392 NEW BEST:: SOT 31246 SOS 2289 HAS SOPS 2289 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1963.289
AT ITER 7413 NEW BEST:: SOT 31240 SOS 2290 HAS SOPS 2290 HAS SOUS 1960 HAS SOUPS 1960 WITH SCORE 1962.29
AT ITER 7416 NEW BEST:: SOT 31234 SOS 2278 HAS SOPS 2278 HAS SOUS 1948 HAS SOUPS 1948 WITH SCORE 1950.278
AT ITER 7544 NEW BEST:: SOT 31231 SOS 2267 HAS SOPS 2267 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.267
AT ITER 7604 NEW BEST:: SOT 31231 SOS 2263 HAS SOPS 2263 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.263
AT ITER 7675 NEW BEST:: SOT 31231 SOS 2263 HAS SOPS 2263 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.263
AT ITER 7766 NEW BEST:: SOT 31231 SOS 2260 HAS SOPS 2260 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.26
AT ITER 7785 NEW BEST:: SOT 31228 SOS 2260 HAS SOPS 2260 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1939.26
AT ITER 7818 NEW BEST:: SOT 31201 SOS 2233 HAS SOPS 2233 HAS SOUS 1910 HAS SOUPS 1910 WITH SCORE 1912.233
AT ITER 7822 NEW BEST:: SOT 31200 SOS 2231 HAS SOPS 2231 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1909.231
AT ITER 7835 NEW BEST:: SOT 31196 SOS 2219 HAS SOPS 2219 HAS SOUS 1900 HAS SOUPS 1900 WITH SCORE 1902.219
AT ITER 7873 NEW BEST:: SOT 31187 SOS 2189 HAS SOPS 2189 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1882.189
AT ITER 7898 NEW BEST:: SOT 31185 SOS 2187 HAS SOPS 2187 HAS SOUS 1878 HAS SOUPS 1878 WITH SCORE 1880.187
AT ITER 7914 NEW BEST:: SOT 31183 SOS 2183 HAS SOPS 2183 HAS SOUS 1876 HAS SOUPS 1876 WITH SCORE 1878.183
AT ITER 8006 NEW BEST:: SOT 31181 SOS 2179 HAS SOPS 2179 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1876.179
AT ITER 8049 NEW BEST:: SOT 31180 SOS 2177 HAS SOPS 2177 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1876.177
AT ITER 8064 NEW BEST:: SOT 31181 SOS 2174 HAS SOPS 2174 HAS SOUS 1871 HAS SOUPS 1871 WITH SCORE 1873.174
AT ITER 8073 NEW BEST:: SOT 31177 SOS 2171 HAS SOPS 2171 HAS SOUS 1867 HAS SOUPS 1867 WITH SCORE 1869.171
AT ITER 8144 NEW BEST:: SOT 31173 SOS 2167 HAS SOPS 2167 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1865.167
AT ITER 8201 NEW BEST:: SOT 31170 SOS 2163 HAS SOPS 2163 HAS SOUS 1859 HAS SOUPS 1859 WITH SCORE 1861.163
AT ITER 8316 NEW BEST:: SOT 31167 SOS 2169 HAS SOPS 2169 HAS SOUS 1858 HAS SOUPS 1858 WITH SCORE 1860.169
AT ITER 8362 NEW BEST:: SOT 31165 SOS 2159 HAS SOPS 2159 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1858.159
AT ITER 8371 NEW BEST:: SOT 31162 SOS 2143 HAS SOPS 2143 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1852.143
AT ITER 8403 NEW BEST:: SOT 31162 SOS 2143 HAS SOPS 2143 HAS SOUS 1849 HAS SOUPS 1849 WITH SCORE 1851.143
AT ITER 8605 NEW BEST:: SOT 31161 SOS 2141 HAS SOPS 2141 HAS SOUS 1847 HAS SOUPS 1847 WITH SCORE 1849.141
AT ITER 8703 NEW BEST:: SOT 31161 SOS 2128 HAS SOPS 2128 HAS SOUS 1847 HAS SOUPS 1847 WITH SCORE 1849.128
AT ITER 8723 NEW BEST:: SOT 31159 SOS 2117 HAS SOPS 2117 HAS SOUS 1838 HAS SOUPS 1838 WITH SCORE 1840.117
AT ITER 8738 NEW BEST:: SOT 31159 SOS 2117 HAS SOPS 2117 HAS SOUS 1837 HAS SOUPS 1837 WITH SCORE 1839.117
AT ITER 8800 NEW BEST:: SOT 31157 SOS 2113 HAS SOPS 2113 HAS SOUS 1830 HAS SOUPS 1830 WITH SCORE 1832.113
AT ITER 8939 NEW BEST:: SOT 31154 SOS 2118 HAS SOPS 2118 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1828.118
AT ITER 9080 NEW BEST:: SOT 31154 SOS 2117 HAS SOPS 2117 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1828.117
AT ITER 9119 NEW BEST:: SOT 31152 SOS 2110 HAS SOPS 2110 HAS SOUS 1821 HAS SOUPS 1821 WITH SCORE 1823.11
AT ITER 9191 NEW BEST:: SOT 31147 SOS 2087 HAS SOPS 2087 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1814.087
AT ITER 9314 NEW BEST:: SOT 31146 SOS 2085 HAS SOPS 2085 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1809.085
AT ITER 9349 NEW BEST:: SOT 31139 SOS 2084 HAS SOPS 2084 HAS SOUS 1800 HAS SOUPS 1800 WITH SCORE 1802.084
AT ITER 9364 NEW BEST:: SOT 31134 SOS 2063 HAS SOPS 2063 HAS SOUS 1795 HAS SOUPS 1795 WITH SCORE 1797.063
AT ITER 9403 NEW BEST:: SOT 31131 SOS 2052 HAS SOPS 2052 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1793.052
AT ITER 9417 NEW BEST:: SOT 31127 SOS 2075 HAS SOPS 2075 HAS SOUS 1787 HAS SOUPS 1787 WITH SCORE 1789.075
AT ITER 9601 NEW BEST:: SOT 31125 SOS 2073 HAS SOPS 2073 HAS SOUS 1785 HAS SOUPS 1785 WITH SCORE 1787.073
AT ITER 9676 NEW BEST:: SOT 31119 SOS 2061 HAS SOPS 2061 HAS SOUS 1773 HAS SOUPS 1773 WITH SCORE 1775.061
AT ITER 9717 NEW BEST:: SOT 31115 SOS 2058 HAS SOPS 2058 HAS SOUS 1768 HAS SOUPS 1768 WITH SCORE 1770.058
AT ITER 9727 NEW BEST:: SOT 31112 SOS 2052 HAS SOPS 2052 HAS SOUS 1759 HAS SOUPS 1759 WITH SCORE 1761.052
AT ITER 9894 NEW BEST:: SOT 31106 SOS 2040 HAS SOPS 2040 HAS SOUS 1750 HAS SOUPS 1750 WITH SCORE 1752.04
AT ITER 9962 NEW BEST:: SOT 31095 SOS 2029 HAS SOPS 2029 HAS SOUS 1739 HAS SOUPS 1739 WITH SCORE 1741.029
AT ITER 9982 NEW BEST:: SOT 31093 SOS 2016 HAS SOPS 2016 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1739.016
AT ITER 9984 NEW BEST:: SOT 31092 SOS 2008 HAS SOPS 2008 HAS SOUS 1730 HAS SOUPS 1730 WITH SCORE 1732.008
STATE_SPACE STATES 515377520732011331036461129765621272702107522002 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 100 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 34358501382134088735764075317708084846807168133401 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679498615286

--------------------
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="Referendum-PT-0100"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is Referendum-PT-0100, 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 r323-tall-167889194800504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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