Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922808401051.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 Eratosthenes-PT-500, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922808401051
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 3.8K Apr 14 12:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 14 12:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 14 12:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 14 12:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 15:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 15:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 14 12:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K Apr 14 12:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 14 12:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:24 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 1.1M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-00
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-01
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-02
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-03
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-04
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-05
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-06
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-07
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-08
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-09
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-10
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-11
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-12
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-13
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-14
FORMULA_NAME Eratosthenes-PT-500-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589369580167

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Eratosthenes (PT), instance 500
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 499 places, 2191 transitions, 6573 arcs.
AT ITER 0 NEW BEST:: SOT 752693 SOS 402068 HAS SOPS 326004 HAS SOUS 94659 HAS SOUPS 71179 WITH SCORE 71581.068
AT ITER 3 NEW BEST:: SOT 752890 SOS 402042 HAS SOPS 325781 HAS SOUS 94887 HAS SOUPS 71179 WITH SCORE 71581.042
AT ITER 4 NEW BEST:: SOT 740046 SOS 402292 HAS SOPS 312937 HAS SOUS 94081 HAS SOUPS 70357 WITH SCORE 70759.292
AT ITER 5 NEW BEST:: SOT 734793 SOS 397557 HAS SOPS 308082 HAS SOUS 94163 HAS SOUPS 70319 WITH SCORE 70716.557
AT ITER 8 NEW BEST:: SOT 736279 SOS 397262 HAS SOPS 307786 HAS SOUS 94040 HAS SOUPS 70319 WITH SCORE 70716.262
AT ITER 10 NEW BEST:: SOT 736405 SOS 396974 HAS SOPS 307912 HAS SOUS 93990 HAS SOUPS 70319 WITH SCORE 70715.974
AT ITER 15 NEW BEST:: SOT 736412 SOS 396926 HAS SOPS 307795 HAS SOUS 94028 HAS SOUPS 70319 WITH SCORE 70715.926
AT ITER 16 NEW BEST:: SOT 734187 SOS 395290 HAS SOPS 305838 HAS SOUS 94263 HAS SOUPS 70265 WITH SCORE 70660.29
AT ITER 17 NEW BEST:: SOT 734146 SOS 394708 HAS SOPS 305197 HAS SOUS 94415 HAS SOUPS 70265 WITH SCORE 70659.708
AT ITER 18 NEW BEST:: SOT 734482 SOS 394666 HAS SOPS 305057 HAS SOUS 94415 HAS SOUPS 70265 WITH SCORE 70659.666
AT ITER 21 NEW BEST:: SOT 734495 SOS 394692 HAS SOPS 305070 HAS SOUS 94416 HAS SOUPS 70260 WITH SCORE 70654.692
AT ITER 23 NEW BEST:: SOT 734280 SOS 397122 HAS SOPS 304635 HAS SOUS 94204 HAS SOUPS 69864 WITH SCORE 70261.122
AT ITER 24 NEW BEST:: SOT 734451 SOS 397284 HAS SOPS 304626 HAS SOUS 94321 HAS SOUPS 69855 WITH SCORE 70252.284
AT ITER 25 NEW BEST:: SOT 735247 SOS 397610 HAS SOPS 304156 HAS SOUS 94688 HAS SOUPS 69695 WITH SCORE 70092.61
AT ITER 29 NEW BEST:: SOT 735197 SOS 397356 HAS SOPS 303952 HAS SOUS 94638 HAS SOUPS 69695 WITH SCORE 70092.356
AT ITER 30 NEW BEST:: SOT 736217 SOS 397478 HAS SOPS 303328 HAS SOUS 94991 HAS SOUPS 69501 WITH SCORE 69898.478
AT ITER 31 NEW BEST:: SOT 736312 SOS 397320 HAS SOPS 304119 HAS SOUS 94977 HAS SOUPS 69501 WITH SCORE 69898.32
AT ITER 32 NEW BEST:: SOT 736439 SOS 397236 HAS SOPS 303232 HAS SOUS 95207 HAS SOUPS 69318 WITH SCORE 69715.236
AT ITER 33 NEW BEST:: SOT 736714 SOS 397126 HAS SOPS 303067 HAS SOUS 95339 HAS SOUPS 69318 WITH SCORE 69715.126
AT ITER 34 NEW BEST:: SOT 736747 SOS 397068 HAS SOPS 302976 HAS SOUS 95310 HAS SOUPS 69318 WITH SCORE 69715.068
AT ITER 36 NEW BEST:: SOT 736747 SOS 396988 HAS SOPS 302976 HAS SOUS 95310 HAS SOUPS 69318 WITH SCORE 69714.988
AT ITER 37 NEW BEST:: SOT 737798 SOS 396334 HAS SOPS 301483 HAS SOUS 96125 HAS SOUPS 69318 WITH SCORE 69714.334
AT ITER 38 NEW BEST:: SOT 730189 SOS 389603 HAS SOPS 293805 HAS SOUS 96223 HAS SOUPS 69278 WITH SCORE 69667.603
AT ITER 39 NEW BEST:: SOT 723944 SOS 383193 HAS SOPS 283912 HAS SOUS 97351 HAS SOUPS 69237 WITH SCORE 69620.193
AT ITER 45 NEW BEST:: SOT 726101 SOS 384377 HAS SOPS 282939 HAS SOUS 98112 HAS SOUPS 68983 WITH SCORE 69367.377
AT ITER 47 NEW BEST:: SOT 726355 SOS 383709 HAS SOPS 281870 HAS SOUS 98420 HAS SOUPS 68983 WITH SCORE 69366.709
AT ITER 49 NEW BEST:: SOT 726597 SOS 383661 HAS SOPS 281580 HAS SOUS 98558 HAS SOUPS 68983 WITH SCORE 69366.661
AT ITER 50 NEW BEST:: SOT 727215 SOS 383403 HAS SOPS 280538 HAS SOUS 99110 HAS SOUPS 68983 WITH SCORE 69366.403
AT ITER 52 NEW BEST:: SOT 728669 SOS 383152 HAS SOPS 278590 HAS SOUS 99717 HAS SOUPS 68983 WITH SCORE 69366.152
AT ITER 53 NEW BEST:: SOT 728953 SOS 382934 HAS SOPS 278088 HAS SOUS 99835 HAS SOUPS 68983 WITH SCORE 69365.934
AT ITER 55 NEW BEST:: SOT 730831 SOS 381634 HAS SOPS 274910 HAS SOUS 101005 HAS SOUPS 68667 WITH SCORE 69048.634
AT ITER 56 NEW BEST:: SOT 733448 SOS 382260 HAS SOPS 273687 HAS SOUS 101993 HAS SOUPS 68505 WITH SCORE 68887.26
AT ITER 57 NEW BEST:: SOT 734581 SOS 380592 HAS SOPS 270886 HAS SOUS 102290 HAS SOUPS 68224 WITH SCORE 68604.592
AT ITER 59 NEW BEST:: SOT 731678 SOS 380582 HAS SOPS 267983 HAS SOUS 102149 HAS SOUPS 68030 WITH SCORE 68410.582
AT ITER 61 NEW BEST:: SOT 732505 SOS 379992 HAS SOPS 266362 HAS SOUS 102376 HAS SOUPS 68030 WITH SCORE 68409.992
AT ITER 62 NEW BEST:: SOT 733107 SOS 379775 HAS SOPS 265746 HAS SOUS 102518 HAS SOUPS 68030 WITH SCORE 68409.775
AT ITER 63 NEW BEST:: SOT 733175 SOS 380761 HAS SOPS 265746 HAS SOUS 102518 HAS SOUPS 67996 WITH SCORE 68376.761
AT ITER 64 NEW BEST:: SOT 735652 SOS 380996 HAS SOPS 263504 HAS SOUS 103125 HAS SOUPS 67692 WITH SCORE 68072.996
AT ITER 67 NEW BEST:: SOT 735767 SOS 381086 HAS SOPS 263479 HAS SOUS 103104 HAS SOUPS 67667 WITH SCORE 68048.086
AT ITER 68 NEW BEST:: SOT 729385 SOS 377162 HAS SOPS 254497 HAS SOUS 102906 HAS SOUPS 66874 WITH SCORE 67251.162
AT ITER 70 NEW BEST:: SOT 729242 SOS 376913 HAS SOPS 254650 HAS SOUS 102889 HAS SOUPS 66874 WITH SCORE 67250.913
AT ITER 73 NEW BEST:: SOT 729424 SOS 376548 HAS SOPS 253860 HAS SOUS 103146 HAS SOUPS 66874 WITH SCORE 67250.548
AT ITER 76 NEW BEST:: SOT 729600 SOS 376256 HAS SOPS 253300 HAS SOUS 103264 HAS SOUPS 66874 WITH SCORE 67250.256
AT ITER 79 NEW BEST:: SOT 729730 SOS 376112 HAS SOPS 253026 HAS SOUS 103341 HAS SOUPS 66874 WITH SCORE 67250.112
AT ITER 80 NEW BEST:: SOT 730157 SOS 375256 HAS SOPS 251743 HAS SOUS 103231 HAS SOUPS 66874 WITH SCORE 67249.256
AT ITER 81 NEW BEST:: SOT 730422 SOS 375333 HAS SOPS 251706 HAS SOUS 103221 HAS SOUPS 66817 WITH SCORE 67192.333
AT ITER 85 NEW BEST:: SOT 731193 SOS 374835 HAS SOPS 250301 HAS SOUS 103614 HAS SOUPS 66817 WITH SCORE 67191.835
AT ITER 86 NEW BEST:: SOT 731532 SOS 374553 HAS SOPS 249744 HAS SOUS 103614 HAS SOUPS 66753 WITH SCORE 67127.553
AT ITER 87 NEW BEST:: SOT 732269 SOS 374173 HAS SOPS 248833 HAS SOUS 103527 HAS SOUPS 66753 WITH SCORE 67127.173
AT ITER 88 NEW BEST:: SOT 729798 SOS 371772 HAS SOPS 245878 HAS SOUS 103147 HAS SOUPS 66164 WITH SCORE 66535.772
AT ITER 89 NEW BEST:: SOT 729748 SOS 371558 HAS SOPS 245600 HAS SOUS 103204 HAS SOUPS 66164 WITH SCORE 66535.558
AT ITER 92 NEW BEST:: SOT 729756 SOS 371430 HAS SOPS 245464 HAS SOUS 103215 HAS SOUPS 66164 WITH SCORE 66535.43
AT ITER 94 NEW BEST:: SOT 731312 SOS 370387 HAS SOPS 243696 HAS SOUS 103087 HAS SOUPS 66164 WITH SCORE 66534.387
AT ITER 96 NEW BEST:: SOT 731312 SOS 370383 HAS SOPS 243688 HAS SOUS 103087 HAS SOUPS 66164 WITH SCORE 66534.383
AT ITER 97 NEW BEST:: SOT 731350 SOS 370075 HAS SOPS 243470 HAS SOUS 103026 HAS SOUPS 66164 WITH SCORE 66534.075
AT ITER 100 NEW BEST:: SOT 731288 SOS 370049 HAS SOPS 243408 HAS SOUS 103038 HAS SOUPS 66164 WITH SCORE 66534.049
AT ITER 102 NEW BEST:: SOT 731660 SOS 369839 HAS SOPS 244098 HAS SOUS 102879 HAS SOUPS 66164 WITH SCORE 66533.839
AT ITER 103 NEW BEST:: SOT 731752 SOS 369655 HAS SOPS 243822 HAS SOUS 102879 HAS SOUPS 66072 WITH SCORE 66441.655
AT ITER 106 NEW BEST:: SOT 731865 SOS 368704 HAS SOPS 242651 HAS SOUS 102856 HAS SOUPS 66072 WITH SCORE 66440.704
AT ITER 110 NEW BEST:: SOT 732147 SOS 368672 HAS SOPS 242337 HAS SOUS 103036 HAS SOUPS 65956 WITH SCORE 66324.672
AT ITER 111 NEW BEST:: SOT 733251 SOS 369500 HAS SOPS 242337 HAS SOUS 103622 HAS SOUPS 65932 WITH SCORE 66301.5
AT ITER 113 NEW BEST:: SOT 733563 SOS 369428 HAS SOPS 242185 HAS SOUS 103402 HAS SOUPS 65932 WITH SCORE 66301.428
AT ITER 115 NEW BEST:: SOT 733881 SOS 369269 HAS SOPS 241867 HAS SOUS 103243 HAS SOUPS 65773 WITH SCORE 66142.269
AT ITER 120 NEW BEST:: SOT 734264 SOS 369189 HAS SOPS 241498 HAS SOUS 103250 HAS SOUPS 65773 WITH SCORE 66142.189
AT ITER 123 NEW BEST:: SOT 735476 SOS 370047 HAS SOPS 241144 HAS SOUS 103546 HAS SOUPS 65591 WITH SCORE 65961.047
AT ITER 124 NEW BEST:: SOT 735476 SOS 370031 HAS SOPS 241144 HAS SOUS 103546 HAS SOUPS 65591 WITH SCORE 65961.031
AT ITER 127 NEW BEST:: SOT 735578 SOS 369507 HAS SOPS 241064 HAS SOUS 103546 HAS SOUPS 65591 WITH SCORE 65960.507
AT ITER 129 NEW BEST:: SOT 735548 SOS 369499 HAS SOPS 241138 HAS SOUS 103494 HAS SOUPS 65591 WITH SCORE 65960.499
AT ITER 132 NEW BEST:: SOT 736274 SOS 369805 HAS SOPS 240718 HAS SOUS 103843 HAS SOUPS 65460 WITH SCORE 65829.805
AT ITER 133 NEW BEST:: SOT 736257 SOS 369103 HAS SOPS 240033 HAS SOUS 103903 HAS SOUPS 65460 WITH SCORE 65829.103
AT ITER 136 NEW BEST:: SOT 737602 SOS 369033 HAS SOPS 238618 HAS SOUS 104241 HAS SOUPS 65273 WITH SCORE 65642.033
AT ITER 137 NEW BEST:: SOT 737604 SOS 369015 HAS SOPS 238600 HAS SOUS 104239 HAS SOUPS 65273 WITH SCORE 65642.015
AT ITER 138 NEW BEST:: SOT 738042 SOS 368541 HAS SOPS 237958 HAS SOUS 103969 HAS SOUPS 65273 WITH SCORE 65641.541
AT ITER 139 NEW BEST:: SOT 738092 SOS 368387 HAS SOPS 238008 HAS SOUS 103842 HAS SOUPS 65273 WITH SCORE 65641.387
AT ITER 140 NEW BEST:: SOT 738096 SOS 368339 HAS SOPS 237900 HAS SOUS 103902 HAS SOUPS 65273 WITH SCORE 65641.339
AT ITER 144 NEW BEST:: SOT 737763 SOS 368198 HAS SOPS 237517 HAS SOUS 103905 HAS SOUPS 65258 WITH SCORE 65626.198
AT ITER 146 NEW BEST:: SOT 738007 SOS 368122 HAS SOPS 237197 HAS SOUS 103858 HAS SOUPS 65117 WITH SCORE 65485.122
AT ITER 147 NEW BEST:: SOT 739291 SOS 367606 HAS SOPS 235397 HAS SOUS 104468 HAS SOUPS 65117 WITH SCORE 65484.606
AT ITER 149 NEW BEST:: SOT 739529 SOS 367404 HAS SOPS 235183 HAS SOUS 104355 HAS SOUPS 65117 WITH SCORE 65484.404
AT ITER 150 NEW BEST:: SOT 739947 SOS 366710 HAS SOPS 234071 HAS SOUS 104208 HAS SOUPS 64862 WITH SCORE 65228.71
AT ITER 151 NEW BEST:: SOT 740345 SOS 366696 HAS SOPS 233659 HAS SOUS 104210 HAS SOUPS 64781 WITH SCORE 65147.696
AT ITER 153 NEW BEST:: SOT 740392 SOS 366460 HAS SOPS 234168 HAS SOUS 104144 HAS SOUPS 64781 WITH SCORE 65147.46
AT ITER 154 NEW BEST:: SOT 740578 SOS 365832 HAS SOPS 234154 HAS SOUS 103944 HAS SOUPS 64781 WITH SCORE 65146.832
AT ITER 159 NEW BEST:: SOT 740594 SOS 365756 HAS SOPS 234026 HAS SOUS 103949 HAS SOUPS 64781 WITH SCORE 65146.756
AT ITER 162 NEW BEST:: SOT 740815 SOS 365736 HAS SOPS 234247 HAS SOUS 103641 HAS SOUPS 64781 WITH SCORE 65146.736
AT ITER 167 NEW BEST:: SOT 740968 SOS 365858 HAS SOPS 234216 HAS SOUS 103702 HAS SOUPS 64750 WITH SCORE 65115.858
AT ITER 168 NEW BEST:: SOT 741014 SOS 365812 HAS SOPS 234170 HAS SOUS 103656 HAS SOUPS 64727 WITH SCORE 65092.812
AT ITER 169 NEW BEST:: SOT 738773 SOS 364004 HAS SOPS 231547 HAS SOUS 103919 HAS SOUPS 64608 WITH SCORE 64972.004
AT ITER 174 NEW BEST:: SOT 741332 SOS 363382 HAS SOPS 228366 HAS SOUS 103886 HAS SOUPS 64608 WITH SCORE 64971.382
AT ITER 175 NEW BEST:: SOT 741335 SOS 363345 HAS SOPS 228369 HAS SOUS 103852 HAS SOUPS 64565 WITH SCORE 64928.345
AT ITER 176 NEW BEST:: SOT 740694 SOS 362063 HAS SOPS 228386 HAS SOUS 103523 HAS SOUPS 64565 WITH SCORE 64927.063
AT ITER 177 NEW BEST:: SOT 740791 SOS 361869 HAS SOPS 228095 HAS SOUS 103523 HAS SOUPS 64565 WITH SCORE 64926.869
AT ITER 178 NEW BEST:: SOT 726740 SOS 360387 HAS SOPS 210898 HAS SOUS 103523 HAS SOUPS 64565 WITH SCORE 64925.387
AT ITER 179 NEW BEST:: SOT 726617 SOS 360206 HAS SOPS 210775 HAS SOUS 103342 HAS SOUPS 64485 WITH SCORE 64845.206
AT ITER 181 NEW BEST:: SOT 726803 SOS 360366 HAS SOPS 210749 HAS SOUS 103422 HAS SOUPS 64459 WITH SCORE 64819.366
AT ITER 183 NEW BEST:: SOT 726803 SOS 360166 HAS SOPS 210749 HAS SOUS 103259 HAS SOUPS 64459 WITH SCORE 64819.166
AT ITER 184 NEW BEST:: SOT 726999 SOS 360347 HAS SOPS 210734 HAS SOUS 103460 HAS SOUPS 64449 WITH SCORE 64809.347
AT ITER 187 NEW BEST:: SOT 726982 SOS 360313 HAS SOPS 210669 HAS SOUS 103461 HAS SOUPS 64449 WITH SCORE 64809.313
AT ITER 190 NEW BEST:: SOT 727299 SOS 359517 HAS SOPS 210766 HAS SOUS 103241 HAS SOUPS 64339 WITH SCORE 64698.517
AT ITER 191 NEW BEST:: SOT 727940 SOS 359266 HAS SOPS 210531 HAS SOUS 103027 HAS SOUPS 64120 WITH SCORE 64479.266
AT ITER 192 NEW BEST:: SOT 729167 SOS 359200 HAS SOPS 212262 HAS SOUS 102775 HAS SOUPS 64120 WITH SCORE 64479.2
AT ITER 193 NEW BEST:: SOT 729337 SOS 359015 HAS SOPS 213132 HAS SOUS 102607 HAS SOUPS 64120 WITH SCORE 64479.015
AT ITER 194 NEW BEST:: SOT 729692 SOS 358411 HAS SOPS 212319 HAS SOUS 102607 HAS SOUPS 64120 WITH SCORE 64478.411
AT ITER 196 NEW BEST:: SOT 733189 SOS 359341 HAS SOPS 209752 HAS SOUS 103620 HAS SOUPS 64103 WITH SCORE 64462.341
AT ITER 200 NEW BEST:: SOT 733189 SOS 359317 HAS SOPS 209752 HAS SOUS 103620 HAS SOUPS 64103 WITH SCORE 64462.317
AT ITER 202 NEW BEST:: SOT 733189 SOS 359239 HAS SOPS 209674 HAS SOUS 103620 HAS SOUPS 64103 WITH SCORE 64462.239
AT ITER 209 NEW BEST:: SOT 732892 SOS 358843 HAS SOPS 209575 HAS SOUS 103514 HAS SOUPS 64103 WITH SCORE 64461.843
AT ITER 210 NEW BEST:: SOT 733398 SOS 358923 HAS SOPS 209149 HAS SOUS 103848 HAS SOUPS 64009 WITH SCORE 64367.923
AT ITER 211 NEW BEST:: SOT 735241 SOS 357695 HAS SOPS 207212 HAS SOUS 103230 HAS SOUPS 63769 WITH SCORE 64126.695
AT ITER 215 NEW BEST:: SOT 736902 SOS 358820 HAS SOPS 206845 HAS SOUS 103575 HAS SOUPS 63712 WITH SCORE 64070.82
AT ITER 217 NEW BEST:: SOT 738261 SOS 358398 HAS SOPS 205064 HAS SOUS 103548 HAS SOUPS 63438 WITH SCORE 63796.398
AT ITER 218 NEW BEST:: SOT 735084 SOS 355379 HAS SOPS 200292 HAS SOUS 103956 HAS SOUPS 63316 WITH SCORE 63671.379
AT ITER 221 NEW BEST:: SOT 735659 SOS 355697 HAS SOPS 200035 HAS SOUS 104178 HAS SOUPS 63178 WITH SCORE 63533.697
AT ITER 224 NEW BEST:: SOT 736106 SOS 355849 HAS SOPS 199740 HAS SOUS 104050 HAS SOUPS 62883 WITH SCORE 63238.849
AT ITER 226 NEW BEST:: SOT 735955 SOS 355783 HAS SOPS 199471 HAS SOUS 104010 HAS SOUPS 62725 WITH SCORE 63080.783
AT ITER 229 NEW BEST:: SOT 736381 SOS 355630 HAS SOPS 200098 HAS SOUS 103809 HAS SOUPS 62725 WITH SCORE 63080.63
AT ITER 233 NEW BEST:: SOT 736785 SOS 355196 HAS SOPS 199674 HAS SOUS 103571 HAS SOUPS 62725 WITH SCORE 63080.196
AT ITER 236 NEW BEST:: SOT 736709 SOS 355044 HAS SOPS 199435 HAS SOUS 103527 HAS SOUPS 62579 WITH SCORE 62934.044
AT ITER 237 NEW BEST:: SOT 737892 SOS 356054 HAS SOPS 199262 HAS SOUS 103913 HAS SOUPS 62535 WITH SCORE 62891.054
AT ITER 238 NEW BEST:: SOT 739476 SOS 357157 HAS SOPS 199666 HAS SOUS 104049 HAS SOUPS 62436 WITH SCORE 62793.157
AT ITER 240 NEW BEST:: SOT 740007 SOS 356494 HAS SOPS 200197 HAS SOUS 103704 HAS SOUPS 62436 WITH SCORE 62792.494
AT ITER 243 NEW BEST:: SOT 742310 SOS 357910 HAS SOPS 199310 HAS SOUS 104207 HAS SOUPS 62178 WITH SCORE 62535.91
AT ITER 244 NEW BEST:: SOT 742626 SOS 356762 HAS SOPS 199626 HAS SOUS 103897 HAS SOUPS 62178 WITH SCORE 62534.762
AT ITER 247 NEW BEST:: SOT 743050 SOS 357610 HAS SOPS 199566 HAS SOUS 104096 HAS SOUPS 62135 WITH SCORE 62492.61
AT ITER 248 NEW BEST:: SOT 743540 SOS 357530 HAS SOPS 199632 HAS SOUS 104080 HAS SOUPS 62135 WITH SCORE 62492.53
AT ITER 249 NEW BEST:: SOT 744063 SOS 357056 HAS SOPS 200155 HAS SOUS 103928 HAS SOUPS 62135 WITH SCORE 62492.056
AT ITER 252 NEW BEST:: SOT 744470 SOS 358622 HAS SOPS 199810 HAS SOUS 104393 HAS SOUPS 62128 WITH SCORE 62486.622
AT ITER 253 NEW BEST:: SOT 744485 SOS 358594 HAS SOPS 199767 HAS SOUS 104423 HAS SOUPS 62128 WITH SCORE 62486.594
AT ITER 263 NEW BEST:: SOT 744761 SOS 358564 HAS SOPS 199655 HAS SOUS 104274 HAS SOUPS 62128 WITH SCORE 62486.564
AT ITER 264 NEW BEST:: SOT 745013 SOS 358366 HAS SOPS 199205 HAS SOUS 104157 HAS SOUPS 62011 WITH SCORE 62369.366
AT ITER 270 NEW BEST:: SOT 746121 SOS 358167 HAS SOPS 198059 HAS SOUS 104135 HAS SOUPS 62011 WITH SCORE 62369.167
AT ITER 271 NEW BEST:: SOT 746177 SOS 357855 HAS SOPS 197691 HAS SOUS 104184 HAS SOUPS 62011 WITH SCORE 62368.855
AT ITER 274 NEW BEST:: SOT 746398 SOS 358011 HAS SOPS 197626 HAS SOUS 104262 HAS SOUPS 61946 WITH SCORE 62304.011
AT ITER 277 NEW BEST:: SOT 746757 SOS 357817 HAS SOPS 197643 HAS SOUS 104148 HAS SOUPS 61889 WITH SCORE 62246.817
AT ITER 279 NEW BEST:: SOT 746640 SOS 356739 HAS SOPS 195838 HAS SOUS 104304 HAS SOUPS 61889 WITH SCORE 62245.739
AT ITER 282 NEW BEST:: SOT 746187 SOS 356493 HAS SOPS 196045 HAS SOUS 104219 HAS SOUPS 61855 WITH SCORE 62211.493
AT ITER 283 NEW BEST:: SOT 747027 SOS 356293 HAS SOPS 195945 HAS SOUS 103889 HAS SOUPS 61620 WITH SCORE 61976.293
AT ITER 286 NEW BEST:: SOT 746995 SOS 356265 HAS SOPS 195913 HAS SOUS 103865 HAS SOUPS 61592 WITH SCORE 61948.265
AT ITER 290 NEW BEST:: SOT 747380 SOS 355163 HAS SOPS 194426 HAS SOUS 103993 HAS SOUPS 61484 WITH SCORE 61839.163
AT ITER 293 NEW BEST:: SOT 747461 SOS 355427 HAS SOPS 194099 HAS SOUS 103892 HAS SOUPS 61350 WITH SCORE 61705.427
AT ITER 298 NEW BEST:: SOT 747535 SOS 355353 HAS SOPS 194025 HAS SOUS 103744 HAS SOUPS 61276 WITH SCORE 61631.353
AT ITER 300 NEW BEST:: SOT 747535 SOS 355321 HAS SOPS 194025 HAS SOUS 103680 HAS SOUPS 61276 WITH SCORE 61631.321
AT ITER 310 NEW BEST:: SOT 747915 SOS 355118 HAS SOPS 193121 HAS SOUS 103802 HAS SOUPS 61276 WITH SCORE 61631.118
AT ITER 313 NEW BEST:: SOT 741903 SOS 351894 HAS SOPS 187109 HAS SOUS 103853 HAS SOUPS 61254 WITH SCORE 61605.894
AT ITER 314 NEW BEST:: SOT 742224 SOS 351492 HAS SOPS 186734 HAS SOUS 103799 HAS SOUPS 61254 WITH SCORE 61605.492
AT ITER 315 NEW BEST:: SOT 742224 SOS 351484 HAS SOPS 186734 HAS SOUS 103799 HAS SOUPS 61254 WITH SCORE 61605.484
AT ITER 316 NEW BEST:: SOT 744306 SOS 351088 HAS SOPS 184256 HAS SOUS 103622 HAS SOUPS 60969 WITH SCORE 61320.088
AT ITER 317 NEW BEST:: SOT 744407 SOS 350874 HAS SOPS 183941 HAS SOUS 103596 HAS SOUPS 60943 WITH SCORE 61293.874
AT ITER 318 NEW BEST:: SOT 744311 SOS 350776 HAS SOPS 183939 HAS SOUS 103549 HAS SOUPS 60943 WITH SCORE 61293.776
AT ITER 320 NEW BEST:: SOT 745069 SOS 350654 HAS SOPS 185633 HAS SOUS 103174 HAS SOUPS 60943 WITH SCORE 61293.654
AT ITER 322 NEW BEST:: SOT 742734 SOS 348607 HAS SOPS 183298 HAS SOUS 103079 HAS SOUPS 60805 WITH SCORE 61153.607
AT ITER 323 NEW BEST:: SOT 743381 SOS 348071 HAS SOPS 183579 HAS SOUS 102957 HAS SOUPS 60805 WITH SCORE 61153.071
AT ITER 326 NEW BEST:: SOT 743515 SOS 348035 HAS SOPS 183257 HAS SOUS 103059 HAS SOUPS 60805 WITH SCORE 61153.035
AT ITER 331 NEW BEST:: SOT 743515 SOS 347866 HAS SOPS 183257 HAS SOUS 102890 HAS SOUPS 60636 WITH SCORE 60983.866
AT ITER 333 NEW BEST:: SOT 743695 SOS 347335 HAS SOPS 182645 HAS SOUS 102826 HAS SOUPS 60537 WITH SCORE 60884.335
AT ITER 335 NEW BEST:: SOT 743100 SOS 347040 HAS SOPS 182408 HAS SOUS 102686 HAS SOUPS 60537 WITH SCORE 60884.04
AT ITER 337 NEW BEST:: SOT 743036 SOS 346976 HAS SOPS 182408 HAS SOUS 102686 HAS SOUPS 60537 WITH SCORE 60883.976
AT ITER 340 NEW BEST:: SOT 745187 SOS 348778 HAS SOPS 182059 HAS SOUS 103385 HAS SOUPS 60363 WITH SCORE 60711.778
AT ITER 342 NEW BEST:: SOT 745137 SOS 348731 HAS SOPS 182009 HAS SOUS 103397 HAS SOUPS 60363 WITH SCORE 60711.731
AT ITER 350 NEW BEST:: SOT 746409 SOS 349518 HAS SOPS 181524 HAS SOUS 103535 HAS SOUPS 60155 WITH SCORE 60504.518
AT ITER 351 NEW BEST:: SOT 713508 SOS 340359 HAS SOPS 146253 HAS SOUS 94365 HAS SOUPS 50464 WITH SCORE 50804.359
AT ITER 353 NEW BEST:: SOT 713292 SOS 340215 HAS SOPS 146325 HAS SOUS 94221 HAS SOUPS 50464 WITH SCORE 50804.215
AT ITER 355 NEW BEST:: SOT 713594 SOS 340147 HAS SOPS 145955 HAS SOUS 94291 HAS SOUPS 50464 WITH SCORE 50804.147
AT ITER 356 NEW BEST:: SOT 710000 SOS 341599 HAS SOPS 141785 HAS SOUS 93827 HAS SOUPS 50000 WITH SCORE 50341.599
AT ITER 359 NEW BEST:: SOT 710543 SOS 341509 HAS SOPS 142328 HAS SOUS 93653 HAS SOUPS 50000 WITH SCORE 50341.509
AT ITER 361 NEW BEST:: SOT 710296 SOS 341630 HAS SOPS 141671 HAS SOUS 93536 HAS SOUPS 49615 WITH SCORE 49956.63
AT ITER 363 NEW BEST:: SOT 710086 SOS 340834 HAS SOPS 141461 HAS SOUS 92875 HAS SOUPS 49405 WITH SCORE 49745.834
AT ITER 366 NEW BEST:: SOT 710793 SOS 341132 HAS SOPS 141052 HAS SOUS 92997 HAS SOUPS 49201 WITH SCORE 49542.132
AT ITER 369 NEW BEST:: SOT 711844 SOS 341666 HAS SOPS 141319 HAS SOUS 92692 HAS SOUPS 49005 WITH SCORE 49346.666
AT ITER 370 NEW BEST:: SOT 707726 SOS 361132 HAS SOPS 136517 HAS SOUS 92075 HAS SOUPS 48206 WITH SCORE 48567.132
AT ITER 373 NEW BEST:: SOT 709151 SOS 361462 HAS SOPS 136262 HAS SOUS 91445 HAS SOUPS 47996 WITH SCORE 48357.462
AT ITER 374 NEW BEST:: SOT 709157 SOS 361432 HAS SOPS 136232 HAS SOUS 91439 HAS SOUPS 47996 WITH SCORE 48357.432
AT ITER 375 NEW BEST:: SOT 709317 SOS 361066 HAS SOPS 135804 HAS SOUS 91341 HAS SOUPS 47898 WITH SCORE 48259.066
AT ITER 377 NEW BEST:: SOT 709008 SOS 363360 HAS SOPS 135287 HAS SOUS 91166 HAS SOUPS 47723 WITH SCORE 48086.36
AT ITER 378 NEW BEST:: SOT 708997 SOS 362708 HAS SOPS 134772 HAS SOUS 91166 HAS SOUPS 47723 WITH SCORE 48085.708
AT ITER 380 NEW BEST:: SOT 708982 SOS 362678 HAS SOPS 134757 HAS SOUS 91151 HAS SOUPS 47708 WITH SCORE 48070.678
AT ITER 381 NEW BEST:: SOT 711201 SOS 363876 HAS SOPS 134276 HAS SOUS 90931 HAS SOUPS 47438 WITH SCORE 47801.876
AT ITER 382 NEW BEST:: SOT 701482 SOS 360620 HAS SOPS 123513 HAS SOUS 88806 HAS SOUPS 44852 WITH SCORE 45212.62
AT ITER 385 NEW BEST:: SOT 702073 SOS 360850 HAS SOPS 123628 HAS SOUS 88568 HAS SOUPS 44733 WITH SCORE 45093.85
AT ITER 388 NEW BEST:: SOT 702184 SOS 362719 HAS SOPS 120811 HAS SOUS 88568 HAS SOUPS 44550 WITH SCORE 44912.719
AT ITER 392 NEW BEST:: SOT 702466 SOS 362571 HAS SOPS 121093 HAS SOUS 88382 HAS SOUPS 44492 WITH SCORE 44854.571
AT ITER 393 NEW BEST:: SOT 702466 SOS 362543 HAS SOPS 121093 HAS SOUS 88354 HAS SOUPS 44492 WITH SCORE 44854.543
AT ITER 398 NEW BEST:: SOT 703200 SOS 361599 HAS SOPS 122229 HAS SOUS 88153 HAS SOUPS 44492 WITH SCORE 44853.599
AT ITER 399 NEW BEST:: SOT 703205 SOS 361574 HAS SOPS 122224 HAS SOUS 88143 HAS SOUPS 44487 WITH SCORE 44848.574
AT ITER 400 NEW BEST:: SOT 703223 SOS 361346 HAS SOPS 121912 HAS SOUS 88143 HAS SOUPS 44487 WITH SCORE 44848.346
AT ITER 406 NEW BEST:: SOT 704427 SOS 360046 HAS SOPS 120644 HAS SOUS 88143 HAS SOUPS 44487 WITH SCORE 44847.046
AT ITER 407 NEW BEST:: SOT 701016 SOS 360062 HAS SOPS 117233 HAS SOUS 88477 HAS SOUPS 44452 WITH SCORE 44812.062
AT ITER 409 NEW BEST:: SOT 700899 SOS 359492 HAS SOPS 116780 HAS SOUS 88383 HAS SOUPS 44287 WITH SCORE 44646.492
AT ITER 411 NEW BEST:: SOT 700857 SOS 359394 HAS SOPS 116766 HAS SOUS 88369 HAS SOUPS 44287 WITH SCORE 44646.394
AT ITER 416 NEW BEST:: SOT 700930 SOS 359333 HAS SOPS 116701 HAS SOUS 88316 HAS SOUPS 44234 WITH SCORE 44593.333
AT ITER 417 NEW BEST:: SOT 700713 SOS 359020 HAS SOPS 116726 HAS SOUS 88109 HAS SOUPS 44234 WITH SCORE 44593.02
AT ITER 420 NEW BEST:: SOT 699680 SOS 358634 HAS SOPS 115413 HAS SOUS 88043 HAS SOUPS 44168 WITH SCORE 44526.634
AT ITER 421 NEW BEST:: SOT 700725 SOS 356593 HAS SOPS 119860 HAS SOUS 87800 HAS SOUPS 44168 WITH SCORE 44524.593
AT ITER 425 NEW BEST:: SOT 700043 SOS 355229 HAS SOPS 119178 HAS SOUS 87931 HAS SOUPS 44168 WITH SCORE 44523.229
AT ITER 426 NEW BEST:: SOT 700175 SOS 354348 HAS SOPS 119310 HAS SOUS 87306 HAS SOUPS 43741 WITH SCORE 44095.348
AT ITER 430 NEW BEST:: SOT 700428 SOS 354596 HAS SOPS 119305 HAS SOUS 87413 HAS SOUPS 43736 WITH SCORE 44090.596
AT ITER 431 NEW BEST:: SOT 700652 SOS 354484 HAS SOPS 119305 HAS SOUS 87357 HAS SOUPS 43736 WITH SCORE 44090.484
AT ITER 433 NEW BEST:: SOT 701593 SOS 354818 HAS SOPS 119558 HAS SOUS 87029 HAS SOUPS 43564 WITH SCORE 43918.818
AT ITER 435 NEW BEST:: SOT 701653 SOS 354764 HAS SOPS 119444 HAS SOUS 87000 HAS SOUPS 43535 WITH SCORE 43889.764
AT ITER 438 NEW BEST:: SOT 702427 SOS 353771 HAS SOPS 117446 HAS SOUS 87044 HAS SOUPS 43348 WITH SCORE 43701.771
AT ITER 443 NEW BEST:: SOT 700710 SOS 356475 HAS SOPS 114365 HAS SOUS 87422 HAS SOUPS 43263 WITH SCORE 43619.475
AT ITER 445 NEW BEST:: SOT 700836 SOS 355927 HAS SOPS 113591 HAS SOUS 87422 HAS SOUPS 43263 WITH SCORE 43618.927
AT ITER 446 NEW BEST:: SOT 700740 SOS 355855 HAS SOPS 113591 HAS SOUS 87422 HAS SOUPS 43263 WITH SCORE 43618.855
AT ITER 447 NEW BEST:: SOT 700691 SOS 356909 HAS SOPS 113542 HAS SOUS 87379 HAS SOUPS 43220 WITH SCORE 43576.909
AT ITER 448 NEW BEST:: SOT 702185 SOS 355178 HAS SOPS 113221 HAS SOUS 86991 HAS SOUPS 43195 WITH SCORE 43550.178
AT ITER 450 NEW BEST:: SOT 702171 SOS 354618 HAS SOPS 113207 HAS SOUS 86879 HAS SOUPS 43159 WITH SCORE 43513.618
AT ITER 451 NEW BEST:: SOT 702394 SOS 354420 HAS SOPS 113154 HAS SOUS 86787 HAS SOUPS 43159 WITH SCORE 43513.42
AT ITER 452 NEW BEST:: SOT 702338 SOS 354364 HAS SOPS 113154 HAS SOUS 86787 HAS SOUPS 43159 WITH SCORE 43513.364
AT ITER 458 NEW BEST:: SOT 702278 SOS 354244 HAS SOPS 113134 HAS SOUS 86787 HAS SOUPS 43159 WITH SCORE 43513.244
AT ITER 460 NEW BEST:: SOT 702360 SOS 354080 HAS SOPS 112888 HAS SOUS 86705 HAS SOUPS 43077 WITH SCORE 43431.08
AT ITER 463 NEW BEST:: SOT 702144 SOS 353972 HAS SOPS 112618 HAS SOUS 86732 HAS SOUPS 43077 WITH SCORE 43430.972
AT ITER 464 NEW BEST:: SOT 701678 SOS 353454 HAS SOPS 112152 HAS SOUS 86885 HAS SOUPS 43077 WITH SCORE 43430.454
AT ITER 470 NEW BEST:: SOT 701134 SOS 352910 HAS SOPS 112152 HAS SOUS 86885 HAS SOUPS 43077 WITH SCORE 43429.91
AT ITER 474 NEW BEST:: SOT 701180 SOS 352750 HAS SOPS 112198 HAS SOUS 86801 HAS SOUPS 43077 WITH SCORE 43429.75
AT ITER 479 NEW BEST:: SOT 701150 SOS 352630 HAS SOPS 112048 HAS SOUS 86801 HAS SOUPS 43047 WITH SCORE 43399.63
AT ITER 481 NEW BEST:: SOT 700104 SOS 351414 HAS SOPS 109250 HAS SOUS 86210 HAS SOUPS 42013 WITH SCORE 42364.414
AT ITER 484 NEW BEST:: SOT 700354 SOS 351296 HAS SOPS 108882 HAS SOUS 85969 HAS SOUPS 41841 WITH SCORE 42192.296
AT ITER 489 NEW BEST:: SOT 700261 SOS 350831 HAS SOPS 108789 HAS SOUS 85876 HAS SOUPS 41841 WITH SCORE 42191.831
AT ITER 496 NEW BEST:: SOT 700205 SOS 350719 HAS SOPS 108018 HAS SOUS 86019 HAS SOUPS 41841 WITH SCORE 42191.719
AT ITER 499 NEW BEST:: SOT 700198 SOS 350849 HAS SOPS 108011 HAS SOUS 86125 HAS SOUPS 41834 WITH SCORE 42184.849
AT ITER 513 NEW BEST:: SOT 701197 SOS 351397 HAS SOPS 107850 HAS SOUS 85814 HAS SOUPS 41690 WITH SCORE 42041.397
AT ITER 514 NEW BEST:: SOT 701081 SOS 351281 HAS SOPS 107850 HAS SOUS 85732 HAS SOUPS 41690 WITH SCORE 42041.281
AT ITER 518 NEW BEST:: SOT 701158 SOS 351323 HAS SOPS 107815 HAS SOUS 85732 HAS SOUPS 41683 WITH SCORE 42034.323
AT ITER 520 NEW BEST:: SOT 700631 SOS 350976 HAS SOPS 106884 HAS SOUS 85682 HAS SOUPS 41532 WITH SCORE 41882.976
AT ITER 528 NEW BEST:: SOT 700770 SOS 351068 HAS SOPS 106837 HAS SOUS 85635 HAS SOUPS 41485 WITH SCORE 41836.068
AT ITER 531 NEW BEST:: SOT 700752 SOS 350640 HAS SOPS 106819 HAS SOUS 85537 HAS SOUPS 41485 WITH SCORE 41835.64
AT ITER 536 NEW BEST:: SOT 701222 SOS 350732 HAS SOPS 107289 HAS SOUS 85374 HAS SOUPS 41481 WITH SCORE 41831.732
AT ITER 537 NEW BEST:: SOT 700200 SOS 349930 HAS SOPS 106267 HAS SOUS 85521 HAS SOUPS 41466 WITH SCORE 41815.93
AT ITER 550 NEW BEST:: SOT 699953 SOS 349288 HAS SOPS 106316 HAS SOUS 85373 HAS SOUPS 41466 WITH SCORE 41815.288
AT ITER 551 NEW BEST:: SOT 699617 SOS 348952 HAS SOPS 106316 HAS SOUS 85373 HAS SOUPS 41466 WITH SCORE 41814.952
AT ITER 552 NEW BEST:: SOT 699602 SOS 348467 HAS SOPS 106301 HAS SOUS 85282 HAS SOUPS 41375 WITH SCORE 41723.467
AT ITER 555 NEW BEST:: SOT 699508 SOS 348326 HAS SOPS 106301 HAS SOUS 85235 HAS SOUPS 41375 WITH SCORE 41723.326
AT ITER 559 NEW BEST:: SOT 700370 SOS 348081 HAS SOPS 104657 HAS SOUS 85056 HAS SOUPS 41196 WITH SCORE 41544.081
AT ITER 562 NEW BEST:: SOT 700294 SOS 347800 HAS SOPS 104581 HAS SOUS 84798 HAS SOUPS 41067 WITH SCORE 41414.8
AT ITER 563 NEW BEST:: SOT 700138 SOS 347629 HAS SOPS 104613 HAS SOUS 84699 HAS SOUPS 41062 WITH SCORE 41409.629
AT ITER 570 NEW BEST:: SOT 700910 SOS 347805 HAS SOPS 103333 HAS SOUS 84740 HAS SOUPS 40976 WITH SCORE 41323.805
AT ITER 572 NEW BEST:: SOT 700491 SOS 347393 HAS SOPS 103127 HAS SOUS 84693 HAS SOUPS 40929 WITH SCORE 41276.393
AT ITER 573 NEW BEST:: SOT 700754 SOS 347455 HAS SOPS 102926 HAS SOUS 84473 HAS SOUPS 40768 WITH SCORE 41115.455
AT ITER 574 NEW BEST:: SOT 702617 SOS 347925 HAS SOPS 103605 HAS SOUS 84049 HAS SOUPS 40640 WITH SCORE 40987.925
AT ITER 582 NEW BEST:: SOT 703878 SOS 348923 HAS SOPS 103342 HAS SOUS 84424 HAS SOUPS 40455 WITH SCORE 40803.923
AT ITER 583 NEW BEST:: SOT 703651 SOS 347370 HAS SOPS 103115 HAS SOUS 84267 HAS SOUPS 40298 WITH SCORE 40645.37
AT ITER 593 NEW BEST:: SOT 703658 SOS 347352 HAS SOPS 103122 HAS SOUS 84242 HAS SOUPS 40298 WITH SCORE 40645.352
AT ITER 600 NEW BEST:: SOT 704098 SOS 347449 HAS SOPS 103040 HAS SOUS 83921 HAS SOUPS 40216 WITH SCORE 40563.449
AT ITER 606 NEW BEST:: SOT 704362 SOS 347513 HAS SOPS 102840 HAS SOUS 83885 HAS SOUPS 40100 WITH SCORE 40447.513
AT ITER 609 NEW BEST:: SOT 704908 SOS 347123 HAS SOPS 103386 HAS SOUS 83865 HAS SOUPS 40100 WITH SCORE 40447.123
AT ITER 611 NEW BEST:: SOT 705155 SOS 346407 HAS SOPS 102423 HAS SOUS 83815 HAS SOUPS 40045 WITH SCORE 40391.407
AT ITER 612 NEW BEST:: SOT 705063 SOS 345823 HAS SOPS 102331 HAS SOUS 83642 HAS SOUPS 40045 WITH SCORE 40390.823
AT ITER 614 NEW BEST:: SOT 706959 SOS 345843 HAS SOPS 104227 HAS SOUS 83550 HAS SOUPS 39999 WITH SCORE 40344.843
AT ITER 617 NEW BEST:: SOT 706916 SOS 345757 HAS SOPS 104184 HAS SOUS 83444 HAS SOUPS 39997 WITH SCORE 40342.757
AT ITER 621 NEW BEST:: SOT 709481 SOS 347557 HAS SOPS 103419 HAS SOUS 83686 HAS SOUPS 39790 WITH SCORE 40137.557
AT ITER 622 NEW BEST:: SOT 710884 SOS 348287 HAS SOPS 102746 HAS SOUS 83643 HAS SOUPS 39617 WITH SCORE 39965.287
AT ITER 624 NEW BEST:: SOT 710658 SOS 347929 HAS SOPS 102708 HAS SOUS 83505 HAS SOUPS 39548 WITH SCORE 39895.929
AT ITER 626 NEW BEST:: SOT 711105 SOS 348375 HAS SOPS 102707 HAS SOUS 83728 HAS SOUPS 39547 WITH SCORE 39895.375
AT ITER 627 NEW BEST:: SOT 711244 SOS 348421 HAS SOPS 102614 HAS SOUS 83740 HAS SOUPS 39518 WITH SCORE 39866.421
AT ITER 633 NEW BEST:: SOT 711696 SOS 348873 HAS SOPS 102614 HAS SOUS 83934 HAS SOUPS 39508 WITH SCORE 39856.873
AT ITER 634 NEW BEST:: SOT 711868 SOS 348122 HAS SOPS 103224 HAS SOUS 83715 HAS SOUPS 39508 WITH SCORE 39856.122
AT ITER 637 NEW BEST:: SOT 712285 SOS 348300 HAS SOPS 102985 HAS SOUS 83638 HAS SOUPS 39426 WITH SCORE 39774.3
AT ITER 639 NEW BEST:: SOT 712330 SOS 348210 HAS SOPS 102850 HAS SOUS 83593 HAS SOUPS 39381 WITH SCORE 39729.21
AT ITER 644 NEW BEST:: SOT 712609 SOS 347970 HAS SOPS 102331 HAS SOUS 83704 HAS SOUPS 39381 WITH SCORE 39728.97
AT ITER 645 NEW BEST:: SOT 712609 SOS 347448 HAS SOPS 101809 HAS SOUS 83574 HAS SOUPS 39381 WITH SCORE 39728.448
AT ITER 648 NEW BEST:: SOT 712357 SOS 344417 HAS SOPS 102279 HAS SOUS 82994 HAS SOUPS 39381 WITH SCORE 39725.417
AT ITER 649 NEW BEST:: SOT 712360 SOS 344411 HAS SOPS 102270 HAS SOUS 82994 HAS SOUPS 39381 WITH SCORE 39725.411
AT ITER 651 NEW BEST:: SOT 712232 SOS 344283 HAS SOPS 102078 HAS SOUS 82994 HAS SOUPS 39381 WITH SCORE 39725.283
AT ITER 652 NEW BEST:: SOT 712982 SOS 344343 HAS SOPS 101388 HAS SOUS 82848 HAS SOUPS 39201 WITH SCORE 39545.343
AT ITER 653 NEW BEST:: SOT 717440 SOS 345361 HAS SOPS 97948 HAS SOUS 83409 HAS SOUPS 38905 WITH SCORE 39250.361
AT ITER 654 NEW BEST:: SOT 714802 SOS 344229 HAS SOPS 95014 HAS SOUS 82231 HAS SOUPS 37579 WITH SCORE 37923.229
AT ITER 658 NEW BEST:: SOT 713260 SOS 346169 HAS SOPS 93158 HAS SOUS 82199 HAS SOUPS 37390 WITH SCORE 37736.169
AT ITER 663 NEW BEST:: SOT 712659 SOS 345519 HAS SOPS 91867 HAS SOUS 81439 HAS SOUPS 36630 WITH SCORE 36975.519
AT ITER 668 NEW BEST:: SOT 713459 SOS 346138 HAS SOPS 91686 HAS SOUS 81548 HAS SOUPS 36521 WITH SCORE 36867.138
AT ITER 670 NEW BEST:: SOT 712364 SOS 345348 HAS SOPS 91291 HAS SOUS 81509 HAS SOUPS 36205 WITH SCORE 36550.348
AT ITER 673 NEW BEST:: SOT 712484 SOS 345248 HAS SOPS 91311 HAS SOUS 81469 HAS SOUPS 36185 WITH SCORE 36530.248
AT ITER 682 NEW BEST:: SOT 712310 SOS 345074 HAS SOPS 91311 HAS SOUS 81382 HAS SOUPS 36185 WITH SCORE 36530.074
AT ITER 683 NEW BEST:: SOT 712424 SOS 345097 HAS SOPS 91261 HAS SOUS 81300 HAS SOUPS 36144 WITH SCORE 36489.097
AT ITER 684 NEW BEST:: SOT 712350 SOS 344949 HAS SOPS 91187 HAS SOUS 81263 HAS SOUPS 36107 WITH SCORE 36451.949
AT ITER 688 NEW BEST:: SOT 712639 SOS 344635 HAS SOPS 91476 HAS SOUS 81123 HAS SOUPS 36107 WITH SCORE 36451.635
AT ITER 689 NEW BEST:: SOT 712526 SOS 344347 HAS SOPS 90867 HAS SOUS 81101 HAS SOUPS 35921 WITH SCORE 36265.347
AT ITER 692 NEW BEST:: SOT 712956 SOS 342369 HAS SOPS 91297 HAS SOUS 80698 HAS SOUPS 35921 WITH SCORE 36263.369
AT ITER 694 NEW BEST:: SOT 711585 SOS 342003 HAS SOPS 89494 HAS SOUS 79401 HAS SOUPS 34624 WITH SCORE 34966.003
AT ITER 697 NEW BEST:: SOT 711574 SOS 341959 HAS SOPS 89472 HAS SOUS 79379 HAS SOUPS 34624 WITH SCORE 34965.959
AT ITER 699 NEW BEST:: SOT 712231 SOS 342283 HAS SOPS 89304 HAS SOUS 79110 HAS SOUPS 34520 WITH SCORE 34862.283
AT ITER 708 NEW BEST:: SOT 712083 SOS 339002 HAS SOPS 89156 HAS SOUS 78911 HAS SOUPS 34520 WITH SCORE 34859.002
AT ITER 709 NEW BEST:: SOT 712083 SOS 338884 HAS SOPS 89156 HAS SOUS 78793 HAS SOUPS 34520 WITH SCORE 34858.884
AT ITER 713 NEW BEST:: SOT 714435 SOS 340908 HAS SOPS 88828 HAS SOUS 78910 HAS SOUPS 34443 WITH SCORE 34783.908
AT ITER 716 NEW BEST:: SOT 713677 SOS 340150 HAS SOPS 88828 HAS SOUS 78910 HAS SOUPS 34443 WITH SCORE 34783.15
AT ITER 718 NEW BEST:: SOT 713193 SOS 339666 HAS SOPS 88828 HAS SOUS 78668 HAS SOUPS 34443 WITH SCORE 34782.666
AT ITER 720 NEW BEST:: SOT 713423 SOS 339586 HAS SOPS 88428 HAS SOUS 78877 HAS SOUPS 34382 WITH SCORE 34721.586
AT ITER 723 NEW BEST:: SOT 713293 SOS 339404 HAS SOPS 88350 HAS SOUS 78851 HAS SOUPS 34382 WITH SCORE 34721.404
AT ITER 731 NEW BEST:: SOT 713228 SOS 339599 HAS SOPS 88285 HAS SOUS 78851 HAS SOUPS 34317 WITH SCORE 34656.599
AT ITER 733 NEW BEST:: SOT 713555 SOS 339578 HAS SOPS 88312 HAS SOUS 78626 HAS SOUPS 34242 WITH SCORE 34581.578
AT ITER 734 NEW BEST:: SOT 713498 SOS 339167 HAS SOPS 87859 HAS SOUS 78476 HAS SOUPS 34044 WITH SCORE 34383.167
AT ITER 738 NEW BEST:: SOT 713543 SOS 339005 HAS SOPS 87988 HAS SOUS 78476 HAS SOUPS 34044 WITH SCORE 34383.005
AT ITER 740 NEW BEST:: SOT 713463 SOS 338922 HAS SOPS 87985 HAS SOUS 78399 HAS SOUPS 34044 WITH SCORE 34382.922
AT ITER 741 NEW BEST:: SOT 713969 SOS 339102 HAS SOPS 87659 HAS SOUS 78387 HAS SOUPS 33718 WITH SCORE 34057.102
AT ITER 744 NEW BEST:: SOT 714819 SOS 339154 HAS SOPS 86861 HAS SOUS 78067 HAS SOUPS 33593 WITH SCORE 33932.154
AT ITER 751 NEW BEST:: SOT 715121 SOS 338548 HAS SOPS 86195 HAS SOUS 77825 HAS SOUPS 33351 WITH SCORE 33689.548
AT ITER 752 NEW BEST:: SOT 711791 SOS 339968 HAS SOPS 83673 HAS SOUS 77445 HAS SOUPS 32929 WITH SCORE 33268.968
AT ITER 755 NEW BEST:: SOT 713103 SOS 340751 HAS SOPS 83407 HAS SOUS 77084 HAS SOUPS 32768 WITH SCORE 33108.751
AT ITER 757 NEW BEST:: SOT 713305 SOS 340287 HAS SOPS 83175 HAS SOUS 76885 HAS SOUPS 32569 WITH SCORE 32909.287
AT ITER 758 NEW BEST:: SOT 712378 SOS 341401 HAS SOPS 84792 HAS SOUS 77130 HAS SOUPS 32522 WITH SCORE 32863.401
AT ITER 762 NEW BEST:: SOT 712530 SOS 340349 HAS SOPS 83588 HAS SOUS 77130 HAS SOUPS 32522 WITH SCORE 32862.349
AT ITER 763 NEW BEST:: SOT 698866 SOS 348718 HAS SOPS 69486 HAS SOUS 72522 HAS SOUPS 27695 WITH SCORE 28043.718
AT ITER 765 NEW BEST:: SOT 699071 SOS 348849 HAS SOPS 69412 HAS SOUS 72491 HAS SOUPS 27664 WITH SCORE 28012.849
AT ITER 766 NEW BEST:: SOT 699191 SOS 348249 HAS SOPS 68412 HAS SOUS 72524 HAS SOUPS 27523 WITH SCORE 27871.249
AT ITER 767 NEW BEST:: SOT 700580 SOS 348984 HAS SOPS 67985 HAS SOUS 72271 HAS SOUPS 27350 WITH SCORE 27698.984
AT ITER 770 NEW BEST:: SOT 700818 SOS 348516 HAS SOPS 67279 HAS SOUS 72271 HAS SOUPS 27350 WITH SCORE 27698.516
AT ITER 777 NEW BEST:: SOT 700029 SOS 348254 HAS SOPS 67054 HAS SOUS 72352 HAS SOUPS 27337 WITH SCORE 27685.254
AT ITER 779 NEW BEST:: SOT 700158 SOS 347978 HAS SOPS 67183 HAS SOUS 72310 HAS SOUPS 27295 WITH SCORE 27642.978
AT ITER 780 NEW BEST:: SOT 700185 SOS 347978 HAS SOPS 67156 HAS SOUS 72256 HAS SOUPS 27268 WITH SCORE 27615.978
AT ITER 781 NEW BEST:: SOT 700594 SOS 347866 HAS SOPS 66821 HAS SOUS 72070 HAS SOUPS 27268 WITH SCORE 27615.866
AT ITER 787 NEW BEST:: SOT 700669 SOS 347866 HAS SOPS 66746 HAS SOUS 71995 HAS SOUPS 27193 WITH SCORE 27540.866
AT ITER 789 NEW BEST:: SOT 703338 SOS 349744 HAS SOPS 65955 HAS SOUS 72469 HAS SOUPS 26932 WITH SCORE 27281.744
AT ITER 795 NEW BEST:: SOT 701147 SOS 352196 HAS SOPS 63362 HAS SOUS 72472 HAS SOUPS 26533 WITH SCORE 26885.196
AT ITER 809 NEW BEST:: SOT 700136 SOS 353468 HAS SOPS 62717 HAS SOUS 72633 HAS SOUPS 26511 WITH SCORE 26864.468
AT ITER 810 NEW BEST:: SOT 700751 SOS 352568 HAS SOPS 62622 HAS SOUS 71984 HAS SOUPS 25862 WITH SCORE 26214.568
AT ITER 811 NEW BEST:: SOT 701242 SOS 353018 HAS SOPS 62581 HAS SOUS 71990 HAS SOUPS 25821 WITH SCORE 26174.018
AT ITER 820 NEW BEST:: SOT 701760 SOS 351846 HAS SOPS 60891 HAS SOUS 71971 HAS SOUPS 25821 WITH SCORE 26172.846
AT ITER 823 NEW BEST:: SOT 698268 SOS 353118 HAS SOPS 55851 HAS SOUS 71282 HAS SOUPS 25030 WITH SCORE 25383.118
AT ITER 824 NEW BEST:: SOT 699577 SOS 354156 HAS SOPS 55580 HAS SOUS 71448 HAS SOUPS 24836 WITH SCORE 25190.156
AT ITER 828 NEW BEST:: SOT 699751 SOS 353664 HAS SOPS 55714 HAS SOUS 71408 HAS SOUPS 24816 WITH SCORE 25169.664
AT ITER 831 NEW BEST:: SOT 700165 SOS 354090 HAS SOPS 55592 HAS SOUS 71647 HAS SOUPS 24736 WITH SCORE 25090.09
AT ITER 839 NEW BEST:: SOT 700298 SOS 354256 HAS SOPS 55525 HAS SOUS 71852 HAS SOUPS 24697 WITH SCORE 25051.256
AT ITER 840 NEW BEST:: SOT 700385 SOS 354073 HAS SOPS 55918 HAS SOUS 71801 HAS SOUPS 24697 WITH SCORE 25051.073
AT ITER 849 NEW BEST:: SOT 701567 SOS 354883 HAS SOPS 55546 HAS SOUS 71742 HAS SOUPS 24624 WITH SCORE 24978.883
AT ITER 851 NEW BEST:: SOT 701779 SOS 355051 HAS SOPS 55502 HAS SOUS 71711 HAS SOUPS 24593 WITH SCORE 24948.051
AT ITER 857 NEW BEST:: SOT 702276 SOS 355679 HAS SOPS 55633 HAS SOUS 71681 HAS SOUPS 24563 WITH SCORE 24918.679
AT ITER 862 NEW BEST:: SOT 703092 SOS 356597 HAS SOPS 55735 HAS SOUS 71856 HAS SOUPS 24549 WITH SCORE 24905.597
AT ITER 866 NEW BEST:: SOT 703639 SOS 356845 HAS SOPS 55718 HAS SOUS 71682 HAS SOUPS 24516 WITH SCORE 24872.845
AT ITER 868 NEW BEST:: SOT 703067 SOS 355363 HAS SOPS 54470 HAS SOUS 71682 HAS SOUPS 24347 WITH SCORE 24702.363
AT ITER 869 NEW BEST:: SOT 703295 SOS 355515 HAS SOPS 54394 HAS SOUS 71606 HAS SOUPS 24271 WITH SCORE 24626.515
AT ITER 870 NEW BEST:: SOT 703291 SOS 355509 HAS SOPS 54390 HAS SOUS 71604 HAS SOUPS 24269 WITH SCORE 24624.509
AT ITER 871 NEW BEST:: SOT 703289 SOS 355232 HAS SOPS 54297 HAS SOUS 71604 HAS SOUPS 24269 WITH SCORE 24624.232
AT ITER 879 NEW BEST:: SOT 702925 SOS 354868 HAS SOPS 54297 HAS SOUS 71422 HAS SOUPS 24269 WITH SCORE 24623.868
AT ITER 880 NEW BEST:: SOT 702383 SOS 354326 HAS SOPS 54297 HAS SOUS 71383 HAS SOUPS 24269 WITH SCORE 24623.326
AT ITER 883 NEW BEST:: SOT 702651 SOS 354334 HAS SOPS 54325 HAS SOUS 71287 HAS SOUPS 24221 WITH SCORE 24575.334
AT ITER 885 NEW BEST:: SOT 702643 SOS 354150 HAS SOPS 54149 HAS SOUS 71245 HAS SOUPS 24221 WITH SCORE 24575.15
AT ITER 887 NEW BEST:: SOT 703210 SOS 353814 HAS SOPS 54716 HAS SOUS 70918 HAS SOUPS 24193 WITH SCORE 24546.814
AT ITER 889 NEW BEST:: SOT 703574 SOS 354302 HAS SOPS 54360 HAS SOUS 70951 HAS SOUPS 24106 WITH SCORE 24460.302
AT ITER 890 NEW BEST:: SOT 704141 SOS 354226 HAS SOPS 53717 HAS SOUS 70841 HAS SOUPS 23996 WITH SCORE 24350.226
AT ITER 895 NEW BEST:: SOT 704071 SOS 354156 HAS SOPS 53717 HAS SOUS 70797 HAS SOUPS 23996 WITH SCORE 24350.156
AT ITER 897 NEW BEST:: SOT 704666 SOS 354586 HAS SOPS 53552 HAS SOUS 70706 HAS SOUPS 23849 WITH SCORE 24203.586
AT ITER 898 NEW BEST:: SOT 704615 SOS 354120 HAS SOPS 53189 HAS SOUS 70654 HAS SOUPS 23849 WITH SCORE 24203.12
AT ITER 905 NEW BEST:: SOT 705213 SOS 354182 HAS SOPS 52779 HAS SOUS 70402 HAS SOUPS 23723 WITH SCORE 24077.182
AT ITER 908 NEW BEST:: SOT 705339 SOS 354290 HAS SOPS 52833 HAS SOUS 70384 HAS SOUPS 23705 WITH SCORE 24059.29
AT ITER 909 NEW BEST:: SOT 705861 SOS 354578 HAS SOPS 52725 HAS SOUS 70099 HAS SOUPS 23611 WITH SCORE 23965.578
AT ITER 910 NEW BEST:: SOT 705769 SOS 354014 HAS SOPS 52633 HAS SOUS 70099 HAS SOUPS 23611 WITH SCORE 23965.014
AT ITER 912 NEW BEST:: SOT 705769 SOS 353769 HAS SOPS 52633 HAS SOUS 70050 HAS SOUPS 23611 WITH SCORE 23964.769
AT ITER 913 NEW BEST:: SOT 705820 SOS 353763 HAS SOPS 53332 HAS SOUS 69996 HAS SOUPS 23611 WITH SCORE 23964.763
AT ITER 919 NEW BEST:: SOT 705847 SOS 353605 HAS SOPS 53359 HAS SOUS 69732 HAS SOUPS 23559 WITH SCORE 23912.605
AT ITER 922 NEW BEST:: SOT 706221 SOS 353713 HAS SOPS 53093 HAS SOUS 69634 HAS SOUPS 23412 WITH SCORE 23765.713
AT ITER 923 NEW BEST:: SOT 706589 SOS 353750 HAS SOPS 52995 HAS SOUS 69303 HAS SOUPS 23273 WITH SCORE 23626.75
AT ITER 935 NEW BEST:: SOT 706721 SOS 353842 HAS SOPS 52955 HAS SOUS 69263 HAS SOUPS 23233 WITH SCORE 23586.842
AT ITER 939 NEW BEST:: SOT 706799 SOS 354402 HAS SOPS 52831 HAS SOUS 69371 HAS SOUPS 23210 WITH SCORE 23564.402
AT ITER 942 NEW BEST:: SOT 707117 SOS 354862 HAS SOPS 52621 HAS SOUS 69578 HAS SOUPS 23167 WITH SCORE 23521.862
AT ITER 944 NEW BEST:: SOT 706995 SOS 354801 HAS SOPS 52621 HAS SOUS 69639 HAS SOUPS 23167 WITH SCORE 23521.801
AT ITER 945 NEW BEST:: SOT 706980 SOS 354839 HAS SOPS 52606 HAS SOUS 69629 HAS SOUPS 23151 WITH SCORE 23505.839
AT ITER 946 NEW BEST:: SOT 706989 SOS 354661 HAS SOPS 52615 HAS SOUS 69502 HAS SOUPS 23116 WITH SCORE 23470.661
AT ITER 951 NEW BEST:: SOT 706746 SOS 354365 HAS SOPS 52600 HAS SOUS 69381 HAS SOUPS 23116 WITH SCORE 23470.365
AT ITER 955 NEW BEST:: SOT 706903 SOS 354435 HAS SOPS 52513 HAS SOUS 69442 HAS SOUPS 23055 WITH SCORE 23409.435
AT ITER 958 NEW BEST:: SOT 706970 SOS 354433 HAS SOPS 52444 HAS SOUS 69442 HAS SOUPS 23055 WITH SCORE 23409.433
AT ITER 959 NEW BEST:: SOT 706744 SOS 353981 HAS SOPS 52218 HAS SOUS 69216 HAS SOUPS 22942 WITH SCORE 23295.981
AT ITER 960 NEW BEST:: SOT 705914 SOS 353281 HAS SOPS 52108 HAS SOUS 68651 HAS SOUPS 22893 WITH SCORE 23246.281
AT ITER 962 NEW BEST:: SOT 705737 SOS 352691 HAS SOPS 51931 HAS SOUS 68274 HAS SOUPS 22779 WITH SCORE 23131.691
AT ITER 964 NEW BEST:: SOT 705737 SOS 352380 HAS SOPS 51931 HAS SOUS 67963 HAS SOUPS 22779 WITH SCORE 23131.38
AT ITER 965 NEW BEST:: SOT 705605 SOS 352116 HAS SOPS 51799 HAS SOUS 67831 HAS SOUPS 22730 WITH SCORE 23082.116
AT ITER 969 NEW BEST:: SOT 705401 SOS 352242 HAS SOPS 51595 HAS SOUS 67957 HAS SOUPS 22678 WITH SCORE 23030.242
AT ITER 972 NEW BEST:: SOT 706095 SOS 352850 HAS SOPS 51509 HAS SOUS 67921 HAS SOUPS 22642 WITH SCORE 22994.85
AT ITER 974 NEW BEST:: SOT 706067 SOS 360360 HAS SOPS 50899 HAS SOUS 67605 HAS SOUPS 22035 WITH SCORE 22395.36
AT ITER 977 NEW BEST:: SOT 706434 SOS 360278 HAS SOPS 50450 HAS SOUS 67469 HAS SOUPS 21899 WITH SCORE 22259.278
AT ITER 985 NEW BEST:: SOT 705814 SOS 361846 HAS SOPS 49830 HAS SOUS 67709 HAS SOUPS 21827 WITH SCORE 22188.846
AT ITER 986 NEW BEST:: SOT 706226 SOS 362130 HAS SOPS 49810 HAS SOUS 67721 HAS SOUPS 21735 WITH SCORE 22097.13
AT ITER 988 NEW BEST:: SOT 705910 SOS 361972 HAS SOPS 49810 HAS SOUS 67879 HAS SOUPS 21735 WITH SCORE 22096.972
AT ITER 990 NEW BEST:: SOT 706855 SOS 363070 HAS SOPS 49747 HAS SOUS 67965 HAS SOUPS 21677 WITH SCORE 22040.07
AT ITER 996 NEW BEST:: SOT 709484 SOS 364080 HAS SOPS 48128 HAS SOUS 67916 HAS SOUPS 21386 WITH SCORE 21750.08
AT ITER 997 NEW BEST:: SOT 707031 SOS 363158 HAS SOPS 47169 HAS SOUS 67965 HAS SOUPS 21186 WITH SCORE 21549.158
AT ITER 1001 NEW BEST:: SOT 709170 SOS 364930 HAS SOPS 46802 HAS SOUS 68379 HAS SOUPS 21092 WITH SCORE 21456.93
AT ITER 1002 NEW BEST:: SOT 708882 SOS 364642 HAS SOPS 46802 HAS SOUS 68307 HAS SOUPS 21092 WITH SCORE 21456.642
AT ITER 1003 NEW BEST:: SOT 708728 SOS 364334 HAS SOPS 46648 HAS SOUS 67999 HAS SOUPS 20938 WITH SCORE 21302.334
AT ITER 1005 NEW BEST:: SOT 708788 SOS 364364 HAS SOPS 46648 HAS SOUS 67939 HAS SOUPS 20908 WITH SCORE 21272.364
AT ITER 1009 NEW BEST:: SOT 708735 SOS 364308 HAS SOPS 46645 HAS SOUS 67889 HAS SOUPS 20908 WITH SCORE 21272.308
AT ITER 1011 NEW BEST:: SOT 708501 SOS 363606 HAS SOPS 46645 HAS SOUS 67655 HAS SOUPS 20908 WITH SCORE 21271.606
AT ITER 1013 NEW BEST:: SOT 708590 SOS 363468 HAS SOPS 46418 HAS SOUS 67655 HAS SOUPS 20908 WITH SCORE 21271.468
AT ITER 1014 NEW BEST:: SOT 709461 SOS 362648 HAS SOPS 44727 HAS SOUS 67357 HAS SOUPS 20793 WITH SCORE 21155.648
AT ITER 1015 NEW BEST:: SOT 712468 SOS 364658 HAS SOPS 42806 HAS SOUS 67004 HAS SOUPS 19926 WITH SCORE 20290.658
AT ITER 1017 NEW BEST:: SOT 712257 SOS 363814 HAS SOPS 42595 HAS SOUS 66582 HAS SOUPS 19715 WITH SCORE 20078.814
AT ITER 1022 NEW BEST:: SOT 711372 SOS 363804 HAS SOPS 41820 HAS SOUS 66427 HAS SOUPS 19560 WITH SCORE 19923.804
AT ITER 1025 NEW BEST:: SOT 711114 SOS 363750 HAS SOPS 40330 HAS SOUS 66231 HAS SOUPS 19364 WITH SCORE 19727.75
AT ITER 1031 NEW BEST:: SOT 711549 SOS 364068 HAS SOPS 40213 HAS SOUS 66001 HAS SOUPS 19247 WITH SCORE 19611.068
AT ITER 1032 NEW BEST:: SOT 711549 SOS 363988 HAS SOPS 40213 HAS SOUS 66001 HAS SOUPS 19247 WITH SCORE 19610.988
AT ITER 1035 NEW BEST:: SOT 711345 SOS 363784 HAS SOPS 40213 HAS SOUS 66001 HAS SOUPS 19247 WITH SCORE 19610.784
AT ITER 1036 NEW BEST:: SOT 707434 SOS 372230 HAS SOPS 36302 HAS SOUS 65154 HAS SOUPS 17754 WITH SCORE 18126.23
AT ITER 1038 NEW BEST:: SOT 707386 SOS 372182 HAS SOPS 36302 HAS SOUS 65130 HAS SOUPS 17754 WITH SCORE 18126.182
AT ITER 1043 NEW BEST:: SOT 707025 SOS 372180 HAS SOPS 35941 HAS SOUS 64928 HAS SOUPS 17552 WITH SCORE 17924.18
AT ITER 1046 NEW BEST:: SOT 706961 SOS 371627 HAS SOPS 35537 HAS SOUS 64760 HAS SOUPS 17467 WITH SCORE 17838.627
AT ITER 1050 NEW BEST:: SOT 706957 SOS 371595 HAS SOPS 35509 HAS SOUS 64744 HAS SOUPS 17467 WITH SCORE 17838.595
AT ITER 1065 NEW BEST:: SOT 706743 SOS 371446 HAS SOPS 35481 HAS SOUS 64753 HAS SOUPS 17439 WITH SCORE 17810.446
AT ITER 1072 NEW BEST:: SOT 706953 SOS 371578 HAS SOPS 35403 HAS SOUS 64821 HAS SOUPS 17363 WITH SCORE 17734.578
AT ITER 1084 NEW BEST:: SOT 706953 SOS 371528 HAS SOPS 35403 HAS SOUS 64821 HAS SOUPS 17363 WITH SCORE 17734.528
AT ITER 1093 NEW BEST:: SOT 706954 SOS 370984 HAS SOPS 35404 HAS SOUS 64821 HAS SOUPS 17363 WITH SCORE 17733.984
AT ITER 1099 NEW BEST:: SOT 707135 SOS 370882 HAS SOPS 35121 HAS SOUS 64821 HAS SOUPS 17363 WITH SCORE 17733.882
AT ITER 1105 NEW BEST:: SOT 707331 SOS 370743 HAS SOPS 34963 HAS SOUS 64813 HAS SOUPS 17360 WITH SCORE 17730.743
AT ITER 1106 NEW BEST:: SOT 707331 SOS 370545 HAS SOPS 34963 HAS SOUS 64813 HAS SOUPS 17360 WITH SCORE 17730.545
AT ITER 1114 NEW BEST:: SOT 708407 SOS 371297 HAS SOPS 34989 HAS SOUS 64285 HAS SOUPS 17305 WITH SCORE 17676.297
AT ITER 1118 NEW BEST:: SOT 708115 SOS 370713 HAS SOPS 34982 HAS SOUS 63993 HAS SOUPS 17298 WITH SCORE 17668.713
AT ITER 1119 NEW BEST:: SOT 707997 SOS 370713 HAS SOPS 34864 HAS SOUS 63993 HAS SOUPS 17180 WITH SCORE 17550.713
AT ITER 1123 NEW BEST:: SOT 708709 SOS 376310 HAS SOPS 34292 HAS SOUS 64218 HAS SOUPS 16820 WITH SCORE 17196.31
AT ITER 1125 NEW BEST:: SOT 708770 SOS 376367 HAS SOPS 34293 HAS SOUS 64211 HAS SOUPS 16817 WITH SCORE 17193.367
AT ITER 1128 NEW BEST:: SOT 709832 SOS 376371 HAS SOPS 33659 HAS SOUS 63999 HAS SOUPS 16605 WITH SCORE 16981.371
AT ITER 1129 NEW BEST:: SOT 709655 SOS 376194 HAS SOPS 33659 HAS SOUS 63969 HAS SOUPS 16605 WITH SCORE 16981.194
AT ITER 1132 NEW BEST:: SOT 709602 SOS 375325 HAS SOPS 33388 HAS SOUS 63860 HAS SOUPS 16605 WITH SCORE 16980.325
AT ITER 1133 NEW BEST:: SOT 710316 SOS 375835 HAS SOPS 33238 HAS SOUS 63752 HAS SOUPS 16551 WITH SCORE 16926.835
AT ITER 1136 NEW BEST:: SOT 711102 SOS 373843 HAS SOPS 34288 HAS SOUS 63752 HAS SOUPS 16551 WITH SCORE 16924.843
AT ITER 1146 NEW BEST:: SOT 711002 SOS 373693 HAS SOPS 34288 HAS SOUS 63701 HAS SOUPS 16551 WITH SCORE 16924.693
AT ITER 1154 NEW BEST:: SOT 712506 SOS 374865 HAS SOPS 33956 HAS SOUS 63750 HAS SOUPS 16461 WITH SCORE 16835.865
AT ITER 1162 NEW BEST:: SOT 712506 SOS 374445 HAS SOPS 33916 HAS SOUS 63730 HAS SOUPS 16441 WITH SCORE 16815.445
AT ITER 1164 NEW BEST:: SOT 712223 SOS 374329 HAS SOPS 33783 HAS SOUS 63747 HAS SOUPS 16383 WITH SCORE 16757.329
AT ITER 1168 NEW BEST:: SOT 712130 SOS 374236 HAS SOPS 33752 HAS SOUS 63747 HAS SOUPS 16383 WITH SCORE 16757.236
AT ITER 1169 NEW BEST:: SOT 712389 SOS 374310 HAS SOPS 33567 HAS SOUS 63639 HAS SOUPS 16275 WITH SCORE 16649.31
AT ITER 1172 NEW BEST:: SOT 711997 SOS 373918 HAS SOPS 33567 HAS SOUS 63492 HAS SOUPS 16275 WITH SCORE 16648.918
AT ITER 1176 NEW BEST:: SOT 712003 SOS 373899 HAS SOPS 33573 HAS SOUS 63461 HAS SOUPS 16275 WITH SCORE 16648.899
AT ITER 1184 NEW BEST:: SOT 711318 SOS 373153 HAS SOPS 33512 HAS SOUS 63355 HAS SOUPS 16169 WITH SCORE 16542.153
AT ITER 1199 NEW BEST:: SOT 711164 SOS 372845 HAS SOPS 33358 HAS SOUS 63098 HAS SOUPS 16083 WITH SCORE 16455.845
AT ITER 1200 NEW BEST:: SOT 711350 SOS 373031 HAS SOPS 33296 HAS SOUS 62902 HAS SOUPS 16021 WITH SCORE 16394.031
AT ITER 1210 NEW BEST:: SOT 712106 SOS 373723 HAS SOPS 33232 HAS SOUS 63205 HAS SOUPS 15979 WITH SCORE 16352.723
AT ITER 1213 NEW BEST:: SOT 712022 SOS 373639 HAS SOPS 33232 HAS SOUS 63163 HAS SOUPS 15979 WITH SCORE 16352.639
AT ITER 1222 NEW BEST:: SOT 712273 SOS 373621 HAS SOPS 32963 HAS SOUS 63044 HAS SOUPS 15860 WITH SCORE 16233.621
AT ITER 1223 NEW BEST:: SOT 711280 SOS 379825 HAS SOPS 31424 HAS SOUS 61950 HAS SOUPS 14766 WITH SCORE 15145.825
AT ITER 1226 NEW BEST:: SOT 711440 SOS 379671 HAS SOPS 31268 HAS SOUS 61825 HAS SOUPS 14726 WITH SCORE 15105.671
AT ITER 1229 NEW BEST:: SOT 711222 SOS 379649 HAS SOPS 30981 HAS SOUS 61936 HAS SOUPS 14630 WITH SCORE 15009.649
AT ITER 1230 NEW BEST:: SOT 711944 SOS 379581 HAS SOPS 30443 HAS SOUS 61684 HAS SOUPS 14504 WITH SCORE 14883.581
AT ITER 1238 NEW BEST:: SOT 712118 SOS 379773 HAS SOPS 30409 HAS SOUS 61754 HAS SOUPS 14470 WITH SCORE 14849.773
AT ITER 1241 NEW BEST:: SOT 712156 SOS 379792 HAS SOPS 30371 HAS SOUS 61754 HAS SOUPS 14451 WITH SCORE 14830.792
AT ITER 1245 NEW BEST:: SOT 712210 SOS 379603 HAS SOPS 30371 HAS SOUS 61727 HAS SOUPS 14451 WITH SCORE 14830.603
AT ITER 1248 NEW BEST:: SOT 712120 SOS 379543 HAS SOPS 30341 HAS SOUS 61712 HAS SOUPS 14436 WITH SCORE 14815.543
AT ITER 1254 NEW BEST:: SOT 712060 SOS 379513 HAS SOPS 30161 HAS SOUS 61652 HAS SOUPS 14346 WITH SCORE 14725.513
AT ITER 1258 NEW BEST:: SOT 712210 SOS 379753 HAS SOPS 30131 HAS SOUS 61652 HAS SOUPS 14316 WITH SCORE 14695.753
AT ITER 1263 NEW BEST:: SOT 711827 SOS 380387 HAS SOPS 29748 HAS SOUS 61690 HAS SOUPS 14194 WITH SCORE 14574.387
AT ITER 1266 NEW BEST:: SOT 711846 SOS 380407 HAS SOPS 29743 HAS SOUS 61697 HAS SOUPS 14189 WITH SCORE 14569.407
AT ITER 1274 NEW BEST:: SOT 711676 SOS 380351 HAS SOPS 29715 HAS SOUS 61896 HAS SOUPS 14175 WITH SCORE 14555.351
AT ITER 1278 NEW BEST:: SOT 714439 SOS 382797 HAS SOPS 29398 HAS SOUS 62160 HAS SOUPS 14030 WITH SCORE 14412.797
AT ITER 1279 NEW BEST:: SOT 714430 SOS 382791 HAS SOPS 29389 HAS SOUS 62160 HAS SOUPS 14024 WITH SCORE 14406.791
AT ITER 1280 NEW BEST:: SOT 716359 SOS 384129 HAS SOPS 28798 HAS SOUS 61931 HAS SOUPS 13795 WITH SCORE 14179.129
AT ITER 1281 NEW BEST:: SOT 716157 SOS 383927 HAS SOPS 28798 HAS SOUS 61841 HAS SOUPS 13795 WITH SCORE 14178.927
AT ITER 1289 NEW BEST:: SOT 715521 SOS 383291 HAS SOPS 28798 HAS SOUS 61735 HAS SOUPS 13795 WITH SCORE 14178.291
AT ITER 1300 NEW BEST:: SOT 715498 SOS 383222 HAS SOPS 28775 HAS SOUS 61689 HAS SOUPS 13772 WITH SCORE 14155.222
AT ITER 1301 NEW BEST:: SOT 715594 SOS 383331 HAS SOPS 28705 HAS SOUS 61702 HAS SOUPS 13702 WITH SCORE 14085.331
AT ITER 1307 NEW BEST:: SOT 715191 SOS 382799 HAS SOPS 28576 HAS SOUS 61525 HAS SOUPS 13654 WITH SCORE 14036.799
AT ITER 1308 NEW BEST:: SOT 715162 SOS 384133 HAS SOPS 28083 HAS SOUS 61509 HAS SOUPS 13404 WITH SCORE 13788.133
AT ITER 1317 NEW BEST:: SOT 716102 SOS 384704 HAS SOPS 27901 HAS SOUS 61002 HAS SOUPS 13303 WITH SCORE 13687.704
AT ITER 1320 NEW BEST:: SOT 716428 SOS 384474 HAS SOPS 27345 HAS SOUS 60909 HAS SOUPS 13240 WITH SCORE 13624.474
AT ITER 1323 NEW BEST:: SOT 716428 SOS 384390 HAS SOPS 27345 HAS SOUS 60909 HAS SOUPS 13240 WITH SCORE 13624.39
AT ITER 1326 NEW BEST:: SOT 716384 SOS 384302 HAS SOPS 27301 HAS SOUS 60877 HAS SOUPS 13196 WITH SCORE 13580.302
AT ITER 1328 NEW BEST:: SOT 715896 SOS 383558 HAS SOPS 27277 HAS SOUS 60737 HAS SOUPS 13172 WITH SCORE 13555.558
AT ITER 1330 NEW BEST:: SOT 715868 SOS 383530 HAS SOPS 27277 HAS SOUS 60723 HAS SOUPS 13172 WITH SCORE 13555.53
AT ITER 1332 NEW BEST:: SOT 715535 SOS 383353 HAS SOPS 27270 HAS SOUS 60837 HAS SOUPS 13165 WITH SCORE 13548.353
AT ITER 1334 NEW BEST:: SOT 715450 SOS 383723 HAS SOPS 27212 HAS SOUS 60810 HAS SOUPS 13111 WITH SCORE 13494.723
AT ITER 1354 NEW BEST:: SOT 715244 SOS 383515 HAS SOPS 27210 HAS SOUS 60800 HAS SOUPS 13101 WITH SCORE 13484.515
AT ITER 1359 NEW BEST:: SOT 714566 SOS 382852 HAS SOPS 27126 HAS SOUS 60726 HAS SOUPS 13096 WITH SCORE 13478.852
AT ITER 1370 NEW BEST:: SOT 715016 SOS 382992 HAS SOPS 26968 HAS SOUS 60463 HAS SOUPS 12952 WITH SCORE 13334.992
AT ITER 1371 NEW BEST:: SOT 714436 SOS 382412 HAS SOPS 26968 HAS SOUS 60386 HAS SOUPS 12952 WITH SCORE 13334.412
AT ITER 1383 NEW BEST:: SOT 714486 SOS 382262 HAS SOPS 26968 HAS SOUS 60361 HAS SOUPS 12952 WITH SCORE 13334.262
AT ITER 1385 NEW BEST:: SOT 714288 SOS 382064 HAS SOPS 26968 HAS SOUS 60328 HAS SOUPS 12952 WITH SCORE 13334.064
AT ITER 1409 NEW BEST:: SOT 714288 SOS 382043 HAS SOPS 26800 HAS SOUS 60307 HAS SOUPS 12910 WITH SCORE 13292.043
AT ITER 1411 NEW BEST:: SOT 714427 SOS 383177 HAS SOPS 26725 HAS SOUS 60245 HAS SOUPS 12848 WITH SCORE 13231.177
AT ITER 1412 NEW BEST:: SOT 714526 SOS 383249 HAS SOPS 26698 HAS SOUS 60236 HAS SOUPS 12839 WITH SCORE 13222.249
AT ITER 1414 NEW BEST:: SOT 714872 SOS 383533 HAS SOPS 26636 HAS SOUS 60174 HAS SOUPS 12777 WITH SCORE 13160.533
AT ITER 1419 NEW BEST:: SOT 714926 SOS 383605 HAS SOPS 26618 HAS SOUS 60174 HAS SOUPS 12759 WITH SCORE 13142.605
AT ITER 1422 NEW BEST:: SOT 714577 SOS 383876 HAS SOPS 26201 HAS SOUS 60019 HAS SOUPS 12587 WITH SCORE 12970.876
AT ITER 1428 NEW BEST:: SOT 716310 SOS 385221 HAS SOPS 26116 HAS SOUS 59813 HAS SOUPS 12548 WITH SCORE 12933.221
AT ITER 1429 NEW BEST:: SOT 716312 SOS 385197 HAS SOPS 26118 HAS SOUS 59809 HAS SOUPS 12546 WITH SCORE 12931.197
AT ITER 1430 NEW BEST:: SOT 716312 SOS 384987 HAS SOPS 26118 HAS SOUS 59774 HAS SOUPS 12546 WITH SCORE 12930.987
AT ITER 1442 NEW BEST:: SOT 716377 SOS 384881 HAS SOPS 25947 HAS SOUS 59711 HAS SOUPS 12483 WITH SCORE 12867.881
AT ITER 1446 NEW BEST:: SOT 715669 SOS 384173 HAS SOPS 25947 HAS SOUS 59534 HAS SOUPS 12483 WITH SCORE 12867.173
AT ITER 1452 NEW BEST:: SOT 715669 SOS 384063 HAS SOPS 25837 HAS SOUS 59369 HAS SOUPS 12373 WITH SCORE 12757.063
AT ITER 1455 NEW BEST:: SOT 715701 SOS 384055 HAS SOPS 25821 HAS SOUS 59329 HAS SOUPS 12357 WITH SCORE 12741.055
AT ITER 1461 NEW BEST:: SOT 715650 SOS 383857 HAS SOPS 25770 HAS SOUS 59192 HAS SOUPS 12316 WITH SCORE 12699.857
AT ITER 1465 NEW BEST:: SOT 715853 SOS 384055 HAS SOPS 25765 HAS SOUS 59196 HAS SOUPS 12311 WITH SCORE 12695.055
AT ITER 1469 NEW BEST:: SOT 714903 SOS 385473 HAS SOPS 24731 HAS SOUS 58715 HAS SOUPS 11706 WITH SCORE 12091.473
AT ITER 1477 NEW BEST:: SOT 714798 SOS 385368 HAS SOPS 24716 HAS SOUS 58685 HAS SOUPS 11691 WITH SCORE 12076.368
AT ITER 1479 NEW BEST:: SOT 714720 SOS 385162 HAS SOPS 24538 HAS SOUS 58685 HAS SOUPS 11641 WITH SCORE 12026.162
AT ITER 1484 NEW BEST:: SOT 714586 SOS 384961 HAS SOPS 24538 HAS SOUS 58551 HAS SOUPS 11641 WITH SCORE 12025.961
AT ITER 1487 NEW BEST:: SOT 714493 SOS 384743 HAS SOPS 24509 HAS SOUS 58519 HAS SOUPS 11641 WITH SCORE 12025.743
AT ITER 1491 NEW BEST:: SOT 714516 SOS 384812 HAS SOPS 24486 HAS SOUS 58496 HAS SOUPS 11618 WITH SCORE 12002.812
AT ITER 1494 NEW BEST:: SOT 714697 SOS 385030 HAS SOPS 24235 HAS SOUS 58424 HAS SOUPS 11546 WITH SCORE 11931.03
AT ITER 1495 NEW BEST:: SOT 714709 SOS 385020 HAS SOPS 24273 HAS SOUS 58422 HAS SOUPS 11546 WITH SCORE 11931.02
AT ITER 1496 NEW BEST:: SOT 714705 SOS 385014 HAS SOPS 24273 HAS SOUS 58418 HAS SOUPS 11546 WITH SCORE 11931.014
AT ITER 1500 NEW BEST:: SOT 714715 SOS 385000 HAS SOPS 24271 HAS SOUS 58414 HAS SOUPS 11544 WITH SCORE 11929.0
AT ITER 1504 NEW BEST:: SOT 714676 SOS 385594 HAS SOPS 24232 HAS SOUS 58375 HAS SOUPS 11505 WITH SCORE 11890.594
AT ITER 1514 NEW BEST:: SOT 714276 SOS 387378 HAS SOPS 23300 HAS SOUS 58164 HAS SOUPS 11256 WITH SCORE 11643.378
AT ITER 1515 NEW BEST:: SOT 714305 SOS 387304 HAS SOPS 23285 HAS SOUS 58164 HAS SOUPS 11256 WITH SCORE 11643.304
AT ITER 1522 NEW BEST:: SOT 713626 SOS 389235 HAS SOPS 22606 HAS SOUS 57977 HAS SOUPS 11069 WITH SCORE 11458.235
AT ITER 1528 NEW BEST:: SOT 713457 SOS 388807 HAS SOPS 22377 HAS SOUS 57977 HAS SOUPS 11069 WITH SCORE 11457.807
AT ITER 1533 NEW BEST:: SOT 713489 SOS 388791 HAS SOPS 22377 HAS SOUS 57961 HAS SOUPS 11069 WITH SCORE 11457.791
AT ITER 1534 NEW BEST:: SOT 713568 SOS 388391 HAS SOPS 22456 HAS SOUS 57914 HAS SOUPS 11048 WITH SCORE 11436.391
AT ITER 1536 NEW BEST:: SOT 713574 SOS 388387 HAS SOPS 22458 HAS SOUS 57912 HAS SOUPS 11048 WITH SCORE 11436.387
AT ITER 1538 NEW BEST:: SOT 714937 SOS 389609 HAS SOPS 22317 HAS SOUS 57914 HAS SOUPS 10942 WITH SCORE 11331.609
AT ITER 1542 NEW BEST:: SOT 714817 SOS 389489 HAS SOPS 22317 HAS SOUS 57785 HAS SOUPS 10942 WITH SCORE 11331.489
AT ITER 1548 NEW BEST:: SOT 714763 SOS 389435 HAS SOPS 22299 HAS SOUS 57769 HAS SOUPS 10926 WITH SCORE 11315.435
AT ITER 1549 NEW BEST:: SOT 714760 SOS 389429 HAS SOPS 22296 HAS SOUS 57816 HAS SOUPS 10923 WITH SCORE 11312.429
AT ITER 1553 NEW BEST:: SOT 714766 SOS 388643 HAS SOPS 22302 HAS SOUS 57765 HAS SOUPS 10910 WITH SCORE 11298.643
AT ITER 1555 NEW BEST:: SOT 715012 SOS 389347 HAS SOPS 22124 HAS SOUS 58002 HAS SOUPS 10873 WITH SCORE 11262.347
AT ITER 1564 NEW BEST:: SOT 714928 SOS 388975 HAS SOPS 22040 HAS SOUS 57907 HAS SOUPS 10854 WITH SCORE 11242.975
AT ITER 1578 NEW BEST:: SOT 714598 SOS 388645 HAS SOPS 22040 HAS SOUS 57877 HAS SOUPS 10854 WITH SCORE 11242.645
AT ITER 1581 NEW BEST:: SOT 715793 SOS 389730 HAS SOPS 22075 HAS SOUS 57850 HAS SOUPS 10827 WITH SCORE 11216.73
AT ITER 1582 NEW BEST:: SOT 715839 SOS 389718 HAS SOPS 22017 HAS SOUS 57844 HAS SOUPS 10801 WITH SCORE 11190.718
AT ITER 1584 NEW BEST:: SOT 715321 SOS 397964 HAS SOPS 21023 HAS SOUS 57828 HAS SOUPS 10666 WITH SCORE 11063.964
AT ITER 1586 NEW BEST:: SOT 714577 SOS 397468 HAS SOPS 21023 HAS SOUS 57952 HAS SOUPS 10666 WITH SCORE 11063.468
AT ITER 1587 NEW BEST:: SOT 714369 SOS 397260 HAS SOPS 21023 HAS SOUS 57848 HAS SOUPS 10666 WITH SCORE 11063.26
AT ITER 1590 NEW BEST:: SOT 714126 SOS 397017 HAS SOPS 20996 HAS SOUS 57848 HAS SOUPS 10639 WITH SCORE 11036.017
AT ITER 1595 NEW BEST:: SOT 714342 SOS 396949 HAS SOPS 20712 HAS SOUS 57833 HAS SOUPS 10624 WITH SCORE 11020.949
AT ITER 1601 NEW BEST:: SOT 714163 SOS 396819 HAS SOPS 20685 HAS SOUS 57907 HAS SOUPS 10597 WITH SCORE 10993.819
AT ITER 1604 NEW BEST:: SOT 713334 SOS 396351 HAS SOPS 20366 HAS SOUS 57893 HAS SOUPS 10583 WITH SCORE 10979.351
AT ITER 1607 NEW BEST:: SOT 713334 SOS 396069 HAS SOPS 20366 HAS SOUS 57611 HAS SOUPS 10583 WITH SCORE 10979.069
AT ITER 1608 NEW BEST:: SOT 713362 SOS 396020 HAS SOPS 20373 HAS SOUS 57597 HAS SOUPS 10576 WITH SCORE 10972.02
AT ITER 1614 NEW BEST:: SOT 711425 SOS 404773 HAS SOPS 18436 HAS SOUS 57453 HAS SOUPS 10225 WITH SCORE 10629.773
AT ITER 1615 NEW BEST:: SOT 711425 SOS 404706 HAS SOPS 18436 HAS SOUS 57386 HAS SOUPS 10225 WITH SCORE 10629.706
AT ITER 1619 NEW BEST:: SOT 711442 SOS 404528 HAS SOPS 18453 HAS SOUS 57264 HAS SOUPS 10209 WITH SCORE 10613.528
AT ITER 1625 NEW BEST:: SOT 712700 SOS 405833 HAS SOPS 18327 HAS SOUS 57563 HAS SOUPS 10124 WITH SCORE 10529.833
AT ITER 1629 NEW BEST:: SOT 714518 SOS 406925 HAS SOPS 18025 HAS SOUS 57201 HAS SOUPS 9974 WITH SCORE 10380.925
AT ITER 1632 NEW BEST:: SOT 717514 SOS 409701 HAS SOPS 17805 HAS SOUS 56951 HAS SOUPS 9823 WITH SCORE 10232.701000000001
AT ITER 1633 NEW BEST:: SOT 718371 SOS 410551 HAS SOPS 17798 HAS SOUS 56908 HAS SOUPS 9780 WITH SCORE 10190.551
AT ITER 1635 NEW BEST:: SOT 717801 SOS 409886 HAS SOPS 17798 HAS SOUS 56718 HAS SOUPS 9780 WITH SCORE 10189.886
AT ITER 1636 NEW BEST:: SOT 717822 SOS 409811 HAS SOPS 17741 HAS SOUS 56650 HAS SOUPS 9762 WITH SCORE 10171.811
AT ITER 1638 NEW BEST:: SOT 717822 SOS 409651 HAS SOPS 17581 HAS SOUS 56563 HAS SOUPS 9755 WITH SCORE 10164.651
AT ITER 1639 NEW BEST:: SOT 717828 SOS 408948 HAS SOPS 17477 HAS SOUS 56508 HAS SOUPS 9700 WITH SCORE 10108.948
AT ITER 1640 NEW BEST:: SOT 717740 SOS 408860 HAS SOPS 17477 HAS SOUS 56464 HAS SOUPS 9700 WITH SCORE 10108.86
AT ITER 1641 NEW BEST:: SOT 718230 SOS 409320 HAS SOPS 17447 HAS SOUS 56574 HAS SOUPS 9680 WITH SCORE 10089.32
AT ITER 1652 NEW BEST:: SOT 717559 SOS 407398 HAS SOPS 16196 HAS SOUS 56282 HAS SOUPS 9592 WITH SCORE 9999.398
AT ITER 1672 NEW BEST:: SOT 717559 SOS 407380 HAS SOPS 16196 HAS SOUS 56282 HAS SOUPS 9592 WITH SCORE 9999.38
AT ITER 1684 NEW BEST:: SOT 717253 SOS 407312 HAS SOPS 16026 HAS SOUS 56295 HAS SOUPS 9422 WITH SCORE 9829.312
AT ITER 1686 NEW BEST:: SOT 717232 SOS 407574 HAS SOPS 16005 HAS SOUS 56426 HAS SOUPS 9401 WITH SCORE 9808.574
AT ITER 1702 NEW BEST:: SOT 717188 SOS 407486 HAS SOPS 15961 HAS SOUS 56354 HAS SOUPS 9357 WITH SCORE 9764.486
AT ITER 1703 NEW BEST:: SOT 717188 SOS 407450 HAS SOPS 15961 HAS SOUS 56336 HAS SOUPS 9357 WITH SCORE 9764.45
AT ITER 1706 NEW BEST:: SOT 716956 SOS 407218 HAS SOPS 15961 HAS SOUS 56336 HAS SOUPS 9357 WITH SCORE 9764.218
AT ITER 1718 NEW BEST:: SOT 717060 SOS 407330 HAS SOPS 15937 HAS SOUS 56312 HAS SOUPS 9333 WITH SCORE 9740.33
AT ITER 1726 NEW BEST:: SOT 717835 SOS 407602 HAS SOPS 15434 HAS SOUS 56298 HAS SOUPS 9305 WITH SCORE 9712.602
AT ITER 1730 NEW BEST:: SOT 717927 SOS 407520 HAS SOPS 15488 HAS SOUS 56298 HAS SOUPS 9305 WITH SCORE 9712.52
AT ITER 1733 NEW BEST:: SOT 718406 SOS 408208 HAS SOPS 15067 HAS SOUS 56454 HAS SOUPS 9281 WITH SCORE 9689.208
AT ITER 1740 NEW BEST:: SOT 718143 SOS 407894 HAS SOPS 15016 HAS SOUS 56250 HAS SOUPS 9230 WITH SCORE 9637.894
AT ITER 1741 NEW BEST:: SOT 718045 SOS 407845 HAS SOPS 15016 HAS SOUS 56348 HAS SOUPS 9230 WITH SCORE 9637.845
AT ITER 1745 NEW BEST:: SOT 717173 SOS 406973 HAS SOPS 15016 HAS SOUS 56322 HAS SOUPS 9230 WITH SCORE 9636.973
AT ITER 1755 NEW BEST:: SOT 717445 SOS 407130 HAS SOPS 14901 HAS SOUS 56207 HAS SOUPS 9115 WITH SCORE 9522.13
AT ITER 1766 NEW BEST:: SOT 718431 SOS 408130 HAS SOPS 14915 HAS SOUS 56531 HAS SOUPS 9089 WITH SCORE 9497.13
AT ITER 1767 NEW BEST:: SOT 717655 SOS 407354 HAS SOPS 14915 HAS SOUS 56509 HAS SOUPS 9089 WITH SCORE 9496.354
AT ITER 1770 NEW BEST:: SOT 716728 SOS 406560 HAS SOPS 14836 HAS SOUS 56666 HAS SOUPS 9089 WITH SCORE 9495.56
AT ITER 1771 NEW BEST:: SOT 716718 SOS 406540 HAS SOPS 14826 HAS SOUS 56400 HAS SOUPS 9082 WITH SCORE 9488.54
AT ITER 1772 NEW BEST:: SOT 716687 SOS 406989 HAS SOPS 14795 HAS SOUS 56443 HAS SOUPS 9051 WITH SCORE 9457.989
AT ITER 1779 NEW BEST:: SOT 716637 SOS 406979 HAS SOPS 14795 HAS SOUS 56453 HAS SOUPS 9051 WITH SCORE 9457.979
AT ITER 1783 NEW BEST:: SOT 716693 SOS 406979 HAS SOPS 14739 HAS SOUS 56439 HAS SOUPS 9037 WITH SCORE 9443.979
AT ITER 1786 NEW BEST:: SOT 716746 SOS 406986 HAS SOPS 14704 HAS SOUS 56384 HAS SOUPS 9026 WITH SCORE 9432.986
AT ITER 1794 NEW BEST:: SOT 716150 SOS 406900 HAS SOPS 14424 HAS SOUS 56578 HAS SOUPS 8980 WITH SCORE 9386.9
AT ITER 1795 NEW BEST:: SOT 715910 SOS 406660 HAS SOPS 14424 HAS SOUS 56578 HAS SOUPS 8980 WITH SCORE 9386.66
AT ITER 1801 NEW BEST:: SOT 715535 SOS 406285 HAS SOPS 14424 HAS SOUS 56522 HAS SOUPS 8980 WITH SCORE 9386.285
AT ITER 1802 NEW BEST:: SOT 714684 SOS 407613 HAS SOPS 13674 HAS SOUS 55956 HAS SOUPS 8414 WITH SCORE 8821.613
AT ITER 1808 NEW BEST:: SOT 714625 SOS 407551 HAS SOPS 13671 HAS SOUS 55953 HAS SOUPS 8411 WITH SCORE 8818.551
AT ITER 1810 NEW BEST:: SOT 714550 SOS 407476 HAS SOPS 13646 HAS SOUS 55944 HAS SOUPS 8402 WITH SCORE 8809.476
AT ITER 1811 NEW BEST:: SOT 714485 SOS 408141 HAS SOPS 13551 HAS SOUS 55899 HAS SOUPS 8352 WITH SCORE 8760.141
AT ITER 1813 NEW BEST:: SOT 714583 SOS 408241 HAS SOPS 13521 HAS SOUS 55877 HAS SOUPS 8330 WITH SCORE 8738.241
AT ITER 1814 NEW BEST:: SOT 714544 SOS 408150 HAS SOPS 13534 HAS SOUS 55877 HAS SOUPS 8330 WITH SCORE 8738.15
AT ITER 1828 NEW BEST:: SOT 714054 SOS 407809 HAS SOPS 13470 HAS SOUS 55938 HAS SOUPS 8264 WITH SCORE 8671.809
AT ITER 1830 NEW BEST:: SOT 713926 SOS 407681 HAS SOPS 13470 HAS SOUS 55938 HAS SOUPS 8264 WITH SCORE 8671.681
AT ITER 1832 NEW BEST:: SOT 713926 SOS 407237 HAS SOPS 13470 HAS SOUS 55776 HAS SOUPS 8264 WITH SCORE 8671.237
AT ITER 1835 NEW BEST:: SOT 713694 SOS 407005 HAS SOPS 13470 HAS SOUS 55718 HAS SOUPS 8264 WITH SCORE 8671.005
AT ITER 1836 NEW BEST:: SOT 713664 SOS 406955 HAS SOPS 13480 HAS SOUS 55698 HAS SOUPS 8264 WITH SCORE 8670.955
AT ITER 1838 NEW BEST:: SOT 713494 SOS 406445 HAS SOPS 13480 HAS SOUS 55528 HAS SOUPS 8264 WITH SCORE 8670.445
AT ITER 1841 NEW BEST:: SOT 713500 SOS 406457 HAS SOPS 13474 HAS SOUS 55528 HAS SOUPS 8258 WITH SCORE 8664.457
AT ITER 1855 NEW BEST:: SOT 713493 SOS 406505 HAS SOPS 13467 HAS SOUS 55576 HAS SOUPS 8251 WITH SCORE 8657.505
AT ITER 1856 NEW BEST:: SOT 714305 SOS 407323 HAS SOPS 13411 HAS SOUS 55688 HAS SOUPS 8214 WITH SCORE 8621.323
AT ITER 1858 NEW BEST:: SOT 714165 SOS 407183 HAS SOPS 13411 HAS SOUS 55688 HAS SOUPS 8214 WITH SCORE 8621.183
AT ITER 1871 NEW BEST:: SOT 714821 SOS 407793 HAS SOPS 13365 HAS SOUS 55735 HAS SOUPS 8179 WITH SCORE 8586.793
AT ITER 1876 NEW BEST:: SOT 713967 SOS 407120 HAS SOPS 13339 HAS SOUS 55776 HAS SOUPS 8153 WITH SCORE 8560.12
AT ITER 1877 NEW BEST:: SOT 713767 SOS 405920 HAS SOPS 13339 HAS SOUS 55676 HAS SOUPS 8153 WITH SCORE 8558.92
AT ITER 1886 NEW BEST:: SOT 714122 SOS 406008 HAS SOPS 13072 HAS SOUS 55531 HAS SOUPS 8097 WITH SCORE 8503.008
AT ITER 1889 NEW BEST:: SOT 714037 SOS 406330 HAS SOPS 12905 HAS SOUS 55434 HAS SOUPS 8000 WITH SCORE 8406.33
AT ITER 1891 NEW BEST:: SOT 714066 SOS 406308 HAS SOPS 12854 HAS SOUS 55414 HAS SOUPS 7980 WITH SCORE 8386.308
AT ITER 1896 NEW BEST:: SOT 714064 SOS 406306 HAS SOPS 12854 HAS SOUS 55413 HAS SOUPS 7980 WITH SCORE 8386.306
AT ITER 1898 NEW BEST:: SOT 714070 SOS 406300 HAS SOPS 12854 HAS SOUS 55413 HAS SOUPS 7980 WITH SCORE 8386.3
AT ITER 1899 NEW BEST:: SOT 714321 SOS 406567 HAS SOPS 12823 HAS SOUS 55508 HAS SOUPS 7949 WITH SCORE 8355.567
AT ITER 1900 NEW BEST:: SOT 714630 SOS 416348 HAS SOPS 12197 HAS SOUS 55623 HAS SOUPS 7801 WITH SCORE 8217.348
AT ITER 1901 NEW BEST:: SOT 714630 SOS 416346 HAS SOPS 12197 HAS SOUS 55615 HAS SOUPS 7801 WITH SCORE 8217.346
AT ITER 1903 NEW BEST:: SOT 714586 SOS 417720 HAS SOPS 11895 HAS SOUS 55597 HAS SOUPS 7649 WITH SCORE 8066.72
AT ITER 1907 NEW BEST:: SOT 715003 SOS 418134 HAS SOPS 11892 HAS SOUS 55714 HAS SOUPS 7646 WITH SCORE 8064.134
AT ITER 1912 NEW BEST:: SOT 715223 SOS 418211 HAS SOPS 11870 HAS SOUS 55573 HAS SOUPS 7626 WITH SCORE 8044.211
AT ITER 1915 NEW BEST:: SOT 715332 SOS 419021 HAS SOPS 11683 HAS SOUS 55889 HAS SOUPS 7439 WITH SCORE 7858.021
AT ITER 1921 NEW BEST:: SOT 715937 SOS 419571 HAS SOPS 11628 HAS SOUS 55889 HAS SOUPS 7384 WITH SCORE 7803.571
AT ITER 1923 NEW BEST:: SOT 715860 SOS 419505 HAS SOPS 11617 HAS SOUS 55883 HAS SOUPS 7378 WITH SCORE 7797.505
AT ITER 1929 NEW BEST:: SOT 715237 SOS 423509 HAS SOPS 11369 HAS SOUS 55859 HAS SOUPS 7354 WITH SCORE 7777.509
AT ITER 1932 NEW BEST:: SOT 715351 SOS 423661 HAS SOPS 11293 HAS SOUS 55859 HAS SOUPS 7335 WITH SCORE 7758.661
AT ITER 1939 NEW BEST:: SOT 715542 SOS 423835 HAS SOPS 11068 HAS SOUS 55851 HAS SOUPS 7223 WITH SCORE 7646.835
AT ITER 1941 NEW BEST:: SOT 714790 SOS 423196 HAS SOPS 11008 HAS SOUS 55974 HAS SOUPS 7163 WITH SCORE 7586.196
AT ITER 1942 NEW BEST:: SOT 714883 SOS 423882 HAS SOPS 10601 HAS SOUS 56143 HAS SOUPS 7082 WITH SCORE 7505.882
AT ITER 1950 NEW BEST:: SOT 714855 SOS 423861 HAS SOPS 10601 HAS SOUS 56157 HAS SOUPS 7082 WITH SCORE 7505.861
AT ITER 1952 NEW BEST:: SOT 715193 SOS 424197 HAS SOPS 10599 HAS SOUS 56189 HAS SOUPS 7080 WITH SCORE 7504.197
AT ITER 1953 NEW BEST:: SOT 715480 SOS 424315 HAS SOPS 10278 HAS SOUS 55986 HAS SOUPS 6877 WITH SCORE 7301.315
AT ITER 1958 NEW BEST:: SOT 715568 SOS 422571 HAS SOPS 10366 HAS SOUS 55986 HAS SOUPS 6877 WITH SCORE 7299.571
AT ITER 1959 NEW BEST:: SOT 715556 SOS 422283 HAS SOPS 10354 HAS SOUS 55962 HAS SOUPS 6865 WITH SCORE 7287.283
AT ITER 1962 NEW BEST:: SOT 715556 SOS 422271 HAS SOPS 10354 HAS SOUS 55962 HAS SOUPS 6865 WITH SCORE 7287.271
AT ITER 1965 NEW BEST:: SOT 715785 SOS 424721 HAS SOPS 9919 HAS SOUS 55860 HAS SOUPS 6680 WITH SCORE 7104.721
AT ITER 1966 NEW BEST:: SOT 715654 SOS 425344 HAS SOPS 9906 HAS SOUS 55906 HAS SOUPS 6667 WITH SCORE 7092.344
AT ITER 1969 NEW BEST:: SOT 715654 SOS 425229 HAS SOPS 9906 HAS SOUS 55883 HAS SOUPS 6667 WITH SCORE 7092.229
AT ITER 1970 NEW BEST:: SOT 715528 SOS 425103 HAS SOPS 9906 HAS SOUS 55883 HAS SOUPS 6667 WITH SCORE 7092.103
AT ITER 1975 NEW BEST:: SOT 715636 SOS 425175 HAS SOPS 9870 HAS SOUS 55847 HAS SOUPS 6631 WITH SCORE 7056.175
AT ITER 1980 NEW BEST:: SOT 715851 SOS 425345 HAS SOPS 9825 HAS SOUS 55927 HAS SOUPS 6610 WITH SCORE 7035.345
AT ITER 1993 NEW BEST:: SOT 715611 SOS 425225 HAS SOPS 9825 HAS SOUS 56047 HAS SOUPS 6610 WITH SCORE 7035.225
AT ITER 2023 NEW BEST:: SOT 716058 SOS 425699 HAS SOPS 9712 HAS SOUS 56031 HAS SOUPS 6497 WITH SCORE 6922.699
AT ITER 2024 NEW BEST:: SOT 716064 SOS 425699 HAS SOPS 9700 HAS SOUS 56031 HAS SOUPS 6494 WITH SCORE 6919.699
AT ITER 2039 NEW BEST:: SOT 715927 SOS 425509 HAS SOPS 9647 HAS SOUS 55989 HAS SOUPS 6494 WITH SCORE 6919.509
AT ITER 2055 NEW BEST:: SOT 715687 SOS 425269 HAS SOPS 9599 HAS SOUS 55941 HAS SOUPS 6446 WITH SCORE 6871.269
AT ITER 2061 NEW BEST:: SOT 715662 SOS 426875 HAS SOPS 9574 HAS SOUS 55928 HAS SOUPS 6433 WITH SCORE 6859.875
AT ITER 2068 NEW BEST:: SOT 715286 SOS 426499 HAS SOPS 9574 HAS SOUS 55787 HAS SOUPS 6433 WITH SCORE 6859.499
AT ITER 2079 NEW BEST:: SOT 715422 SOS 426882 HAS SOPS 9562 HAS SOUS 55849 HAS SOUPS 6421 WITH SCORE 6847.882
AT ITER 2087 NEW BEST:: SOT 715367 SOS 424599 HAS SOPS 9548 HAS SOUS 55767 HAS SOUPS 6380 WITH SCORE 6804.599
AT ITER 2088 NEW BEST:: SOT 715406 SOS 424404 HAS SOPS 9587 HAS SOUS 55767 HAS SOUPS 6380 WITH SCORE 6804.404
AT ITER 2093 NEW BEST:: SOT 715509 SOS 423065 HAS SOPS 9690 HAS SOUS 55767 HAS SOUPS 6380 WITH SCORE 6803.065
AT ITER 2095 NEW BEST:: SOT 715501 SOS 423057 HAS SOPS 9690 HAS SOUS 55765 HAS SOUPS 6380 WITH SCORE 6803.057
AT ITER 2096 NEW BEST:: SOT 714460 SOS 422239 HAS SOPS 9913 HAS SOUS 55753 HAS SOUPS 6368 WITH SCORE 6790.239
AT ITER 2097 NEW BEST:: SOT 714869 SOS 422637 HAS SOPS 9818 HAS SOUS 55782 HAS SOUPS 6326 WITH SCORE 6748.637
AT ITER 2101 NEW BEST:: SOT 715241 SOS 422947 HAS SOPS 9756 HAS SOUS 55833 HAS SOUPS 6264 WITH SCORE 6686.947
AT ITER 2105 NEW BEST:: SOT 715191 SOS 422903 HAS SOPS 9770 HAS SOUS 55833 HAS SOUPS 6264 WITH SCORE 6686.903
AT ITER 2109 NEW BEST:: SOT 715003 SOS 425321 HAS SOPS 9582 HAS SOUS 56089 HAS SOUPS 6170 WITH SCORE 6595.321
AT ITER 2126 NEW BEST:: SOT 713593 SOS 423993 HAS SOPS 9664 HAS SOUS 56163 HAS SOUPS 6170 WITH SCORE 6593.993
AT ITER 2128 NEW BEST:: SOT 713295 SOS 423695 HAS SOPS 9664 HAS SOUS 56163 HAS SOUPS 6170 WITH SCORE 6593.695
AT ITER 2132 NEW BEST:: SOT 713295 SOS 423249 HAS SOPS 9664 HAS SOUS 55717 HAS SOUPS 6170 WITH SCORE 6593.249
AT ITER 2144 NEW BEST:: SOT 713287 SOS 423487 HAS SOPS 9656 HAS SOUS 56058 HAS SOUPS 6162 WITH SCORE 6585.487
AT ITER 2153 NEW BEST:: SOT 712903 SOS 423103 HAS SOPS 9656 HAS SOUS 56102 HAS SOUPS 6162 WITH SCORE 6585.103
AT ITER 2158 NEW BEST:: SOT 713632 SOS 423985 HAS SOPS 9617 HAS SOUS 56466 HAS SOUPS 6123 WITH SCORE 6546.985
AT ITER 2159 NEW BEST:: SOT 713618 SOS 433851 HAS SOPS 9399 HAS SOUS 56398 HAS SOUPS 5953 WITH SCORE 6386.851
AT ITER 2160 NEW BEST:: SOT 713589 SOS 433901 HAS SOPS 9370 HAS SOUS 56421 HAS SOUPS 5949 WITH SCORE 6382.901
AT ITER 2167 NEW BEST:: SOT 713761 SOS 434065 HAS SOPS 9362 HAS SOUS 56413 HAS SOUPS 5941 WITH SCORE 6375.065
AT ITER 2168 NEW BEST:: SOT 713169 SOS 433769 HAS SOPS 9362 HAS SOUS 56487 HAS SOUPS 5941 WITH SCORE 6374.769
AT ITER 2182 NEW BEST:: SOT 713132 SOS 433727 HAS SOPS 9357 HAS SOUS 56502 HAS SOUPS 5936 WITH SCORE 6369.727
AT ITER 2190 NEW BEST:: SOT 713132 SOS 433595 HAS SOPS 9357 HAS SOUS 56502 HAS SOUPS 5936 WITH SCORE 6369.595
AT ITER 2203 NEW BEST:: SOT 713603 SOS 434029 HAS SOPS 9320 HAS SOUS 56467 HAS SOUPS 5902 WITH SCORE 6336.029
AT ITER 2207 NEW BEST:: SOT 713772 SOS 435103 HAS SOPS 9305 HAS SOUS 56544 HAS SOUPS 5887 WITH SCORE 6322.103
AT ITER 2210 NEW BEST:: SOT 715284 SOS 434513 HAS SOPS 8593 HAS SOUS 56073 HAS SOUPS 5694 WITH SCORE 6128.513
AT ITER 2214 NEW BEST:: SOT 715646 SOS 435653 HAS SOPS 8539 HAS SOUS 56227 HAS SOUPS 5640 WITH SCORE 6075.653
AT ITER 2219 NEW BEST:: SOT 715277 SOS 435386 HAS SOPS 8484 HAS SOUS 56322 HAS SOUPS 5554 WITH SCORE 5989.386
AT ITER 2222 NEW BEST:: SOT 715277 SOS 435336 HAS SOPS 8484 HAS SOUS 56272 HAS SOUPS 5554 WITH SCORE 5989.336
AT ITER 2227 NEW BEST:: SOT 715256 SOS 435898 HAS SOPS 8463 HAS SOUS 56402 HAS SOUPS 5533 WITH SCORE 5968.898
AT ITER 2230 NEW BEST:: SOT 715258 SOS 435897 HAS SOPS 8462 HAS SOUS 56401 HAS SOUPS 5532 WITH SCORE 5967.897
AT ITER 2237 NEW BEST:: SOT 716962 SOS 437514 HAS SOPS 8176 HAS SOUS 56566 HAS SOUPS 5498 WITH SCORE 5935.514
AT ITER 2242 NEW BEST:: SOT 717989 SOS 438494 HAS SOPS 8129 HAS SOUS 56368 HAS SOUPS 5467 WITH SCORE 5905.494
AT ITER 2243 NEW BEST:: SOT 717971 SOS 438857 HAS SOPS 8111 HAS SOUS 56350 HAS SOUPS 5449 WITH SCORE 5887.857
AT ITER 2255 NEW BEST:: SOT 717952 SOS 438739 HAS SOPS 8092 HAS SOUS 56312 HAS SOUPS 5430 WITH SCORE 5868.739
AT ITER 2263 NEW BEST:: SOT 717172 SOS 437959 HAS SOPS 8092 HAS SOUS 56327 HAS SOUPS 5430 WITH SCORE 5867.959
AT ITER 2266 NEW BEST:: SOT 717190 SOS 437626 HAS SOPS 7782 HAS SOUS 56252 HAS SOUPS 5396 WITH SCORE 5833.626
AT ITER 2273 NEW BEST:: SOT 717092 SOS 437479 HAS SOPS 7782 HAS SOUS 56154 HAS SOUPS 5396 WITH SCORE 5833.479
AT ITER 2283 NEW BEST:: SOT 716623 SOS 437077 HAS SOPS 7782 HAS SOUS 56221 HAS SOUPS 5396 WITH SCORE 5833.077
AT ITER 2285 NEW BEST:: SOT 716421 SOS 434517 HAS SOPS 7776 HAS SOUS 56215 HAS SOUPS 5390 WITH SCORE 5824.517
AT ITER 2288 NEW BEST:: SOT 716586 SOS 434757 HAS SOPS 7761 HAS SOUS 56215 HAS SOUPS 5375 WITH SCORE 5809.757
AT ITER 2301 NEW BEST:: SOT 717136 SOS 434927 HAS SOPS 7381 HAS SOUS 56210 HAS SOUPS 5350 WITH SCORE 5784.927
AT ITER 2308 NEW BEST:: SOT 717096 SOS 434887 HAS SOPS 7381 HAS SOUS 56190 HAS SOUPS 5350 WITH SCORE 5784.887
AT ITER 2310 NEW BEST:: SOT 717396 SOS 435055 HAS SOPS 7141 HAS SOUS 56190 HAS SOUPS 5242 WITH SCORE 5677.055
AT ITER 2314 NEW BEST:: SOT 716846 SOS 434505 HAS SOPS 7141 HAS SOUS 56201 HAS SOUPS 5242 WITH SCORE 5676.505
AT ITER 2315 NEW BEST:: SOT 716860 SOS 433660 HAS SOPS 6961 HAS SOUS 56072 HAS SOUPS 5113 WITH SCORE 5546.66
AT ITER 2335 NEW BEST:: SOT 716440 SOS 433120 HAS SOPS 6841 HAS SOUS 55982 HAS SOUPS 5023 WITH SCORE 5456.12
AT ITER 2345 NEW BEST:: SOT 716254 SOS 432934 HAS SOPS 6841 HAS SOUS 55951 HAS SOUPS 5023 WITH SCORE 5455.934
AT ITER 2347 NEW BEST:: SOT 715786 SOS 432466 HAS SOPS 6805 HAS SOUS 55760 HAS SOUPS 4987 WITH SCORE 5419.466
AT ITER 2354 NEW BEST:: SOT 715466 SOS 432306 HAS SOPS 6805 HAS SOUS 55920 HAS SOUPS 4987 WITH SCORE 5419.306
AT ITER 2369 NEW BEST:: SOT 715551 SOS 432191 HAS SOPS 6776 HAS SOUS 55834 HAS SOUPS 4958 WITH SCORE 5390.191
AT ITER 2373 NEW BEST:: SOT 715424 SOS 431433 HAS SOPS 6649 HAS SOUS 55834 HAS SOUPS 4958 WITH SCORE 5389.433
AT ITER 2378 NEW BEST:: SOT 715206 SOS 431324 HAS SOPS 6649 HAS SOUS 55834 HAS SOUPS 4958 WITH SCORE 5389.324
AT ITER 2392 NEW BEST:: SOT 715206 SOS 431282 HAS SOPS 6649 HAS SOUS 55750 HAS SOUPS 4958 WITH SCORE 5389.282
AT ITER 2395 NEW BEST:: SOT 714894 SOS 430970 HAS SOPS 6649 HAS SOUS 55750 HAS SOUPS 4958 WITH SCORE 5388.97
AT ITER 2401 NEW BEST:: SOT 714033 SOS 430988 HAS SOPS 6484 HAS SOUS 56086 HAS SOUPS 4946 WITH SCORE 5376.988
AT ITER 2417 NEW BEST:: SOT 713937 SOS 430940 HAS SOPS 6484 HAS SOUS 56138 HAS SOUPS 4946 WITH SCORE 5376.94
AT ITER 2437 NEW BEST:: SOT 713937 SOS 430788 HAS SOPS 6484 HAS SOUS 55986 HAS SOUPS 4946 WITH SCORE 5376.7880000000005
AT ITER 2446 NEW BEST:: SOT 713937 SOS 430707 HAS SOPS 6484 HAS SOUS 55897 HAS SOUPS 4946 WITH SCORE 5376.707
AT ITER 2459 NEW BEST:: SOT 713937 SOS 430495 HAS SOPS 6484 HAS SOUS 55791 HAS SOUPS 4946 WITH SCORE 5376.495
AT ITER 2461 NEW BEST:: SOT 713799 SOS 430357 HAS SOPS 6484 HAS SOUS 55791 HAS SOUPS 4946 WITH SCORE 5376.357
AT ITER 2464 NEW BEST:: SOT 713797 SOS 430372 HAS SOPS 6482 HAS SOUS 55842 HAS SOUPS 4944 WITH SCORE 5374.372
AT ITER 2470 NEW BEST:: SOT 713646 SOS 430070 HAS SOPS 6331 HAS SOUS 55781 HAS SOUPS 4883 WITH SCORE 5313.07
AT ITER 2472 NEW BEST:: SOT 711884 SOS 428366 HAS SOPS 6249 HAS SOUS 55646 HAS SOUPS 4796 WITH SCORE 5224.366
AT ITER 2476 NEW BEST:: SOT 711652 SOS 428134 HAS SOPS 6249 HAS SOUS 55620 HAS SOUPS 4796 WITH SCORE 5224.134
AT ITER 2479 NEW BEST:: SOT 711652 SOS 428098 HAS SOPS 6249 HAS SOUS 55608 HAS SOUPS 4796 WITH SCORE 5224.098
AT ITER 2484 NEW BEST:: SOT 711640 SOS 428086 HAS SOPS 6249 HAS SOUS 55602 HAS SOUPS 4796 WITH SCORE 5224.086
AT ITER 2490 NEW BEST:: SOT 711630 SOS 430016 HAS SOPS 6239 HAS SOUS 55593 HAS SOUPS 4787 WITH SCORE 5217.016
AT ITER 2493 NEW BEST:: SOT 711583 SOS 429875 HAS SOPS 6192 HAS SOUS 55546 HAS SOUPS 4740 WITH SCORE 5169.875
AT ITER 2508 NEW BEST:: SOT 711579 SOS 429871 HAS SOPS 6192 HAS SOUS 55544 HAS SOUPS 4740 WITH SCORE 5169.871
AT ITER 2517 NEW BEST:: SOT 711563 SOS 429855 HAS SOPS 6192 HAS SOUS 55536 HAS SOUPS 4740 WITH SCORE 5169.855
AT ITER 2521 NEW BEST:: SOT 711464 SOS 429987 HAS SOPS 6159 HAS SOUS 55536 HAS SOUPS 4707 WITH SCORE 5136.987
AT ITER 2524 NEW BEST:: SOT 711677 SOS 430200 HAS SOPS 6088 HAS SOUS 55465 HAS SOUPS 4636 WITH SCORE 5066.2
AT ITER 2525 NEW BEST:: SOT 711221 SOS 429744 HAS SOPS 6088 HAS SOUS 55188 HAS SOUPS 4636 WITH SCORE 5065.744
AT ITER 2528 NEW BEST:: SOT 711133 SOS 429656 HAS SOPS 6088 HAS SOUS 55188 HAS SOUPS 4636 WITH SCORE 5065.656
AT ITER 2539 NEW BEST:: SOT 711102 SOS 429563 HAS SOPS 6057 HAS SOUS 55126 HAS SOUPS 4605 WITH SCORE 5034.563
AT ITER 2545 NEW BEST:: SOT 710992 SOS 429453 HAS SOPS 6057 HAS SOUS 55071 HAS SOUPS 4605 WITH SCORE 5034.453
AT ITER 2581 NEW BEST:: SOT 710967 SOS 429503 HAS SOPS 6052 HAS SOUS 55066 HAS SOUPS 4600 WITH SCORE 5029.503
AT ITER 2590 NEW BEST:: SOT 710191 SOS 428891 HAS SOPS 6028 HAS SOUS 55184 HAS SOUPS 4576 WITH SCORE 5004.891
AT ITER 2599 NEW BEST:: SOT 710183 SOS 428885 HAS SOPS 6028 HAS SOUS 55186 HAS SOUPS 4576 WITH SCORE 5004.885
AT ITER 2607 NEW BEST:: SOT 710848 SOS 429876 HAS SOPS 6015 HAS SOUS 55182 HAS SOUPS 4563 WITH SCORE 4992.876
AT ITER 2617 NEW BEST:: SOT 710800 SOS 429840 HAS SOPS 6015 HAS SOUS 55194 HAS SOUPS 4563 WITH SCORE 4992.84
AT ITER 2627 NEW BEST:: SOT 709720 SOS 428580 HAS SOPS 6015 HAS SOUS 54924 HAS SOUPS 4563 WITH SCORE 4991.58
AT ITER 2633 NEW BEST:: SOT 709530 SOS 428291 HAS SOPS 6007 HAS SOUS 54916 HAS SOUPS 4555 WITH SCORE 4983.291
AT ITER 2635 NEW BEST:: SOT 709452 SOS 428213 HAS SOPS 6007 HAS SOUS 54916 HAS SOUPS 4555 WITH SCORE 4983.213
AT ITER 2645 NEW BEST:: SOT 709152 SOS 427913 HAS SOPS 6007 HAS SOUS 54742 HAS SOUPS 4555 WITH SCORE 4982.9130000000005
AT ITER 2651 NEW BEST:: SOT 709160 SOS 427917 HAS SOPS 6003 HAS SOUS 54740 HAS SOUPS 4553 WITH SCORE 4980.917
AT ITER 2661 NEW BEST:: SOT 709247 SOS 422967 HAS SOPS 6090 HAS SOUS 54630 HAS SOUPS 4527 WITH SCORE 4949.967
AT ITER 2666 NEW BEST:: SOT 709730 SOS 423567 HAS SOPS 6085 HAS SOUS 54820 HAS SOUPS 4522 WITH SCORE 4945.567
AT ITER 2711 NEW BEST:: SOT 709338 SOS 423175 HAS SOPS 6085 HAS SOUS 54771 HAS SOUPS 4522 WITH SCORE 4945.175
AT ITER 2714 NEW BEST:: SOT 709497 SOS 423340 HAS SOPS 6040 HAS SOUS 54732 HAS SOUPS 4483 WITH SCORE 4906.34
AT ITER 2716 NEW BEST:: SOT 709461 SOS 423295 HAS SOPS 6040 HAS SOUS 54723 HAS SOUPS 4483 WITH SCORE 4906.295
AT ITER 2728 NEW BEST:: SOT 709462 SOS 423311 HAS SOPS 6040 HAS SOUS 54722 HAS SOUPS 4482 WITH SCORE 4905.311
AT ITER 2748 NEW BEST:: SOT 709364 SOS 423419 HAS SOPS 5980 HAS SOUS 54697 HAS SOUPS 4438 WITH SCORE 4861.419
AT ITER 2750 NEW BEST:: SOT 709364 SOS 423127 HAS SOPS 5980 HAS SOUS 54624 HAS SOUPS 4438 WITH SCORE 4861.127
AT ITER 2757 NEW BEST:: SOT 709320 SOS 423083 HAS SOPS 5980 HAS SOUS 54668 HAS SOUPS 4438 WITH SCORE 4861.083
AT ITER 2765 NEW BEST:: SOT 709985 SOS 423677 HAS SOPS 5909 HAS SOUS 54642 HAS SOUPS 4412 WITH SCORE 4835.677
AT ITER 2768 NEW BEST:: SOT 711885 SOS 425335 HAS SOPS 5667 HAS SOUS 54893 HAS SOUPS 4313 WITH SCORE 4738.335
AT ITER 2771 NEW BEST:: SOT 712259 SOS 426083 HAS SOPS 5649 HAS SOUS 55261 HAS SOUPS 4301 WITH SCORE 4727.083
AT ITER 2777 NEW BEST:: SOT 711982 SOS 424934 HAS SOPS 5712 HAS SOUS 55261 HAS SOUPS 4301 WITH SCORE 4725.934
AT ITER 2787 NEW BEST:: SOT 711886 SOS 424894 HAS SOPS 5692 HAS SOUS 55261 HAS SOUPS 4282 WITH SCORE 4706.894
AT ITER 2796 NEW BEST:: SOT 711886 SOS 424850 HAS SOPS 5692 HAS SOUS 55173 HAS SOUPS 4282 WITH SCORE 4706.85
AT ITER 2798 NEW BEST:: SOT 712044 SOS 424613 HAS SOPS 5692 HAS SOUS 55094 HAS SOUPS 4282 WITH SCORE 4706.613
AT ITER 2801 NEW BEST:: SOT 712044 SOS 424321 HAS SOPS 5692 HAS SOUS 54948 HAS SOUPS 4282 WITH SCORE 4706.321
AT ITER 2811 NEW BEST:: SOT 712044 SOS 424271 HAS SOPS 5692 HAS SOUS 54948 HAS SOUPS 4282 WITH SCORE 4706.271
AT ITER 2832 NEW BEST:: SOT 712003 SOS 426895 HAS SOPS 5629 HAS SOUS 54948 HAS SOUPS 4260 WITH SCORE 4686.895
AT ITER 2843 NEW BEST:: SOT 713092 SOS 427951 HAS SOPS 5290 HAS SOUS 54948 HAS SOUPS 4158 WITH SCORE 4585.951
AT ITER 2853 NEW BEST:: SOT 712822 SOS 427546 HAS SOPS 5290 HAS SOUS 54948 HAS SOUPS 4158 WITH SCORE 4585.546
AT ITER 2854 NEW BEST:: SOT 712800 SOS 427458 HAS SOPS 5290 HAS SOUS 54926 HAS SOUPS 4158 WITH SCORE 4585.458
AT ITER 2876 NEW BEST:: SOT 712800 SOS 427290 HAS SOPS 5290 HAS SOUS 54758 HAS SOUPS 4158 WITH SCORE 4585.29
AT ITER 2884 NEW BEST:: SOT 712987 SOS 427664 HAS SOPS 5273 HAS SOUS 54741 HAS SOUPS 4141 WITH SCORE 4568.664
AT ITER 2885 NEW BEST:: SOT 712315 SOS 427160 HAS SOPS 5273 HAS SOUS 55150 HAS SOUPS 4141 WITH SCORE 4568.16
AT ITER 2901 NEW BEST:: SOT 712104 SOS 426937 HAS SOPS 5261 HAS SOUS 55137 HAS SOUPS 4129 WITH SCORE 4555.937
AT ITER 2902 NEW BEST:: SOT 711685 SOS 426509 HAS SOPS 5252 HAS SOUS 55119 HAS SOUPS 4120 WITH SCORE 4546.509
AT ITER 2905 NEW BEST:: SOT 711217 SOS 426041 HAS SOPS 5252 HAS SOUS 55087 HAS SOUPS 4120 WITH SCORE 4546.041
AT ITER 2908 NEW BEST:: SOT 711291 SOS 426222 HAS SOPS 5128 HAS SOUS 55051 HAS SOUPS 4084 WITH SCORE 4510.222
AT ITER 2915 NEW BEST:: SOT 711111 SOS 426087 HAS SOPS 5128 HAS SOUS 55096 HAS SOUPS 4084 WITH SCORE 4510.0869999999995
AT ITER 2920 NEW BEST:: SOT 711097 SOS 425999 HAS SOPS 5124 HAS SOUS 55092 HAS SOUPS 4080 WITH SCORE 4505.999
AT ITER 2921 NEW BEST:: SOT 711075 SOS 427057 HAS SOPS 5102 HAS SOUS 55128 HAS SOUPS 4058 WITH SCORE 4485.057
AT ITER 2924 NEW BEST:: SOT 711803 SOS 425912 HAS SOPS 4912 HAS SOUS 54845 HAS SOUPS 3928 WITH SCORE 4353.912
AT ITER 2929 NEW BEST:: SOT 711815 SOS 425885 HAS SOPS 4912 HAS SOUS 54845 HAS SOUPS 3928 WITH SCORE 4353.885
AT ITER 2938 NEW BEST:: SOT 711769 SOS 425839 HAS SOPS 4912 HAS SOUS 54845 HAS SOUPS 3928 WITH SCORE 4353.839
AT ITER 2945 NEW BEST:: SOT 711705 SOS 425535 HAS SOPS 4912 HAS SOUS 54813 HAS SOUPS 3928 WITH SCORE 4353.535
AT ITER 2946 NEW BEST:: SOT 711682 SOS 425535 HAS SOPS 4889 HAS SOUS 54790 HAS SOUPS 3905 WITH SCORE 4330.535
AT ITER 2949 NEW BEST:: SOT 711566 SOS 425419 HAS SOPS 4889 HAS SOUS 54804 HAS SOUPS 3905 WITH SCORE 4330.419
AT ITER 2953 NEW BEST:: SOT 711114 SOS 424967 HAS SOPS 4889 HAS SOUS 54552 HAS SOUPS 3905 WITH SCORE 4329.967
AT ITER 2962 NEW BEST:: SOT 711094 SOS 424952 HAS SOPS 4889 HAS SOUS 54557 HAS SOUPS 3905 WITH SCORE 4329.952
AT ITER 3002 NEW BEST:: SOT 710934 SOS 424836 HAS SOPS 4865 HAS SOUS 54601 HAS SOUPS 3881 WITH SCORE 4305.836
AT ITER 3005 NEW BEST:: SOT 710824 SOS 424781 HAS SOPS 4865 HAS SOUS 54656 HAS SOUPS 3881 WITH SCORE 4305.781
AT ITER 3015 NEW BEST:: SOT 710824 SOS 424655 HAS SOPS 4865 HAS SOUS 54614 HAS SOUPS 3881 WITH SCORE 4305.655
AT ITER 3020 NEW BEST:: SOT 710731 SOS 424571 HAS SOPS 4908 HAS SOUS 54612 HAS SOUPS 3881 WITH SCORE 4305.571
AT ITER 3026 NEW BEST:: SOT 710649 SOS 424489 HAS SOPS 4908 HAS SOUS 54612 HAS SOUPS 3881 WITH SCORE 4305.489
AT ITER 3033 NEW BEST:: SOT 710657 SOS 424513 HAS SOPS 4900 HAS SOUS 54620 HAS SOUPS 3873 WITH SCORE 4297.513
AT ITER 3035 NEW BEST:: SOT 710396 SOS 424281 HAS SOPS 4871 HAS SOUS 54649 HAS SOUPS 3844 WITH SCORE 4268.281
AT ITER 3038 NEW BEST:: SOT 710060 SOS 423945 HAS SOPS 4871 HAS SOUS 54595 HAS SOUPS 3844 WITH SCORE 4267.945
AT ITER 3039 NEW BEST:: SOT 710060 SOS 423931 HAS SOPS 4871 HAS SOUS 54539 HAS SOUPS 3844 WITH SCORE 4267.931
AT ITER 3063 NEW BEST:: SOT 710124 SOS 423387 HAS SOPS 4871 HAS SOUS 54475 HAS SOUPS 3844 WITH SCORE 4267.387
AT ITER 3069 NEW BEST:: SOT 709916 SOS 423283 HAS SOPS 4871 HAS SOUS 54527 HAS SOUPS 3844 WITH SCORE 4267.283
AT ITER 3070 NEW BEST:: SOT 709864 SOS 423231 HAS SOPS 4871 HAS SOUS 54514 HAS SOUPS 3844 WITH SCORE 4267.231
AT ITER 3106 NEW BEST:: SOT 709798 SOS 423127 HAS SOPS 4833 HAS SOUS 54476 HAS SOUPS 3834 WITH SCORE 4257.127
AT ITER 3108 NEW BEST:: SOT 709518 SOS 422847 HAS SOPS 4833 HAS SOUS 54446 HAS SOUPS 3834 WITH SCORE 4256.847
AT ITER 3124 NEW BEST:: SOT 708638 SOS 421967 HAS SOPS 4833 HAS SOUS 54097 HAS SOUPS 3834 WITH SCORE 4255.967
AT ITER 3130 NEW BEST:: SOT 708638 SOS 421964 HAS SOPS 4833 HAS SOUS 54091 HAS SOUPS 3834 WITH SCORE 4255.964
AT ITER 3132 NEW BEST:: SOT 708606 SOS 421916 HAS SOPS 4833 HAS SOUS 54067 HAS SOUPS 3834 WITH SCORE 4255.916
AT ITER 3133 NEW BEST:: SOT 708669 SOS 422111 HAS SOPS 4804 HAS SOUS 54147 HAS SOUPS 3822 WITH SCORE 4244.111
AT ITER 3138 NEW BEST:: SOT 708689 SOS 421367 HAS SOPS 4824 HAS SOUS 54098 HAS SOUPS 3822 WITH SCORE 4243.367
AT ITER 3149 NEW BEST:: SOT 708153 SOS 420831 HAS SOPS 4824 HAS SOUS 54031 HAS SOUPS 3822 WITH SCORE 4242.831
AT ITER 3163 NEW BEST:: SOT 708137 SOS 420111 HAS SOPS 4840 HAS SOUS 54031 HAS SOUPS 3822 WITH SCORE 4242.111
AT ITER 3170 NEW BEST:: SOT 708137 SOS 420049 HAS SOPS 4840 HAS SOUS 53845 HAS SOUPS 3822 WITH SCORE 4242.049
AT ITER 3175 NEW BEST:: SOT 708137 SOS 419857 HAS SOPS 4840 HAS SOUS 53845 HAS SOUPS 3822 WITH SCORE 4241.857
AT ITER 3181 NEW BEST:: SOT 707933 SOS 422509 HAS SOPS 4806 HAS SOUS 53920 HAS SOUPS 3812 WITH SCORE 4234.509
AT ITER 3185 NEW BEST:: SOT 707829 SOS 422405 HAS SOPS 4806 HAS SOUS 53920 HAS SOUPS 3812 WITH SCORE 4234.405
AT ITER 3197 NEW BEST:: SOT 707821 SOS 422395 HAS SOPS 4806 HAS SOUS 53920 HAS SOUPS 3812 WITH SCORE 4234.395
AT ITER 3209 NEW BEST:: SOT 707789 SOS 422408 HAS SOPS 4774 HAS SOUS 53888 HAS SOUPS 3780 WITH SCORE 4202.408
AT ITER 3235 NEW BEST:: SOT 707891 SOS 422468 HAS SOPS 4684 HAS SOUS 53856 HAS SOUPS 3732 WITH SCORE 4154.468
AT ITER 3249 NEW BEST:: SOT 707711 SOS 422258 HAS SOPS 4684 HAS SOUS 53766 HAS SOUPS 3732 WITH SCORE 4154.258
AT ITER 3258 NEW BEST:: SOT 707619 SOS 422097 HAS SOPS 4684 HAS SOUS 53766 HAS SOUPS 3732 WITH SCORE 4154.097
AT ITER 3270 NEW BEST:: SOT 707495 SOS 421973 HAS SOPS 4684 HAS SOUS 53765 HAS SOUPS 3732 WITH SCORE 4153.973
AT ITER 3273 NEW BEST:: SOT 707945 SOS 421818 HAS SOPS 4712 HAS SOUS 53554 HAS SOUPS 3732 WITH SCORE 4153.818
AT ITER 3276 NEW BEST:: SOT 707749 SOS 421622 HAS SOPS 4712 HAS SOUS 53407 HAS SOUPS 3732 WITH SCORE 4153.622
AT ITER 3279 NEW BEST:: SOT 707651 SOS 421279 HAS SOPS 4712 HAS SOUS 53309 HAS SOUPS 3732 WITH SCORE 4153.279
AT ITER 3291 NEW BEST:: SOT 707059 SOS 420687 HAS SOPS 4712 HAS SOUS 53247 HAS SOUPS 3732 WITH SCORE 4152.687
AT ITER 3333 NEW BEST:: SOT 706639 SOS 420267 HAS SOPS 4712 HAS SOUS 53109 HAS SOUPS 3732 WITH SCORE 4152.267
AT ITER 3336 NEW BEST:: SOT 706743 SOS 420163 HAS SOPS 4712 HAS SOUS 53057 HAS SOUPS 3732 WITH SCORE 4152.1630000000005
AT ITER 3347 NEW BEST:: SOT 706395 SOS 419815 HAS SOPS 4712 HAS SOUS 52960 HAS SOUPS 3732 WITH SCORE 4151.815
AT ITER 3362 NEW BEST:: SOT 706200 SOS 419620 HAS SOPS 4712 HAS SOUS 52960 HAS SOUPS 3732 WITH SCORE 4151.62
AT ITER 3384 NEW BEST:: SOT 706178 SOS 419587 HAS SOPS 4712 HAS SOUS 52949 HAS SOUPS 3732 WITH SCORE 4151.5869999999995
AT ITER 3390 NEW BEST:: SOT 706002 SOS 419323 HAS SOPS 4712 HAS SOUS 52861 HAS SOUPS 3732 WITH SCORE 4151.323
AT ITER 3391 NEW BEST:: SOT 706005 SOS 419317 HAS SOPS 4711 HAS SOUS 52861 HAS SOUPS 3732 WITH SCORE 4151.317
AT ITER 3407 NEW BEST:: SOT 706005 SOS 419128 HAS SOPS 4711 HAS SOUS 52861 HAS SOUPS 3732 WITH SCORE 4151.128
AT ITER 3417 NEW BEST:: SOT 706004 SOS 419134 HAS SOPS 4710 HAS SOUS 52860 HAS SOUPS 3731 WITH SCORE 4150.134
AT ITER 3441 NEW BEST:: SOT 705904 SOS 419034 HAS SOPS 4710 HAS SOUS 52864 HAS SOUPS 3731 WITH SCORE 4150.034
AT ITER 3455 NEW BEST:: SOT 705874 SOS 419004 HAS SOPS 4710 HAS SOUS 52849 HAS SOUPS 3731 WITH SCORE 4150.004
AT ITER 3458 NEW BEST:: SOT 705069 SOS 418199 HAS SOPS 4710 HAS SOUS 52652 HAS SOUPS 3731 WITH SCORE 4149.199
AT ITER 3464 NEW BEST:: SOT 705033 SOS 418163 HAS SOPS 4710 HAS SOUS 52643 HAS SOUPS 3731 WITH SCORE 4149.1630000000005
AT ITER 3466 NEW BEST:: SOT 704989 SOS 418178 HAS SOPS 4666 HAS SOUS 52791 HAS SOUPS 3717 WITH SCORE 4135.178
AT ITER 3479 NEW BEST:: SOT 704967 SOS 418156 HAS SOPS 4666 HAS SOUS 52791 HAS SOUPS 3717 WITH SCORE 4135.156
AT ITER 3485 NEW BEST:: SOT 704967 SOS 417976 HAS SOPS 4666 HAS SOUS 52791 HAS SOUPS 3717 WITH SCORE 4134.976
AT ITER 3490 NEW BEST:: SOT 704965 SOS 417720 HAS SOPS 4412 HAS SOUS 52728 HAS SOUPS 3654 WITH SCORE 4071.7200000000003
AT ITER 3498 NEW BEST:: SOT 704645 SOS 417440 HAS SOPS 4412 HAS SOUS 52808 HAS SOUPS 3654 WITH SCORE 4071.44
AT ITER 3504 NEW BEST:: SOT 704591 SOS 417422 HAS SOPS 4394 HAS SOUS 52826 HAS SOUPS 3654 WITH SCORE 4071.422
AT ITER 3513 NEW BEST:: SOT 704597 SOS 417386 HAS SOPS 4400 HAS SOUS 52826 HAS SOUPS 3654 WITH SCORE 4071.386
AT ITER 3520 NEW BEST:: SOT 704592 SOS 416796 HAS SOPS 4395 HAS SOUS 52706 HAS SOUPS 3650 WITH SCORE 4066.796
AT ITER 3528 NEW BEST:: SOT 704592 SOS 416770 HAS SOPS 4395 HAS SOUS 52693 HAS SOUPS 3650 WITH SCORE 4066.77
AT ITER 3530 NEW BEST:: SOT 704576 SOS 416750 HAS SOPS 4395 HAS SOUS 52693 HAS SOUPS 3650 WITH SCORE 4066.75
AT ITER 3542 NEW BEST:: SOT 704226 SOS 416400 HAS SOPS 4395 HAS SOUS 52645 HAS SOUPS 3650 WITH SCORE 4066.4
AT ITER 3546 NEW BEST:: SOT 704226 SOS 416381 HAS SOPS 4395 HAS SOUS 52626 HAS SOUPS 3650 WITH SCORE 4066.381
AT ITER 3552 NEW BEST:: SOT 704034 SOS 435275 HAS SOPS 3965 HAS SOUS 52316 HAS SOUPS 3280 WITH SCORE 3715.275
AT ITER 3601 NEW BEST:: SOT 703752 SOS 434993 HAS SOPS 3965 HAS SOUS 52316 HAS SOUPS 3280 WITH SCORE 3714.993
AT ITER 3618 NEW BEST:: SOT 703752 SOS 434837 HAS SOPS 3965 HAS SOUS 52238 HAS SOUPS 3280 WITH SCORE 3714.837
AT ITER 3627 NEW BEST:: SOT 703708 SOS 434749 HAS SOPS 3965 HAS SOUS 52194 HAS SOUPS 3280 WITH SCORE 3714.749
AT ITER 3642 NEW BEST:: SOT 703508 SOS 434549 HAS SOPS 3965 HAS SOUS 52194 HAS SOUPS 3280 WITH SCORE 3714.549
AT ITER 3680 NEW BEST:: SOT 703454 SOS 434441 HAS SOPS 3965 HAS SOUS 52167 HAS SOUPS 3280 WITH SCORE 3714.441
AT ITER 3708 NEW BEST:: SOT 704836 SOS 435819 HAS SOPS 3961 HAS SOUS 52317 HAS SOUPS 3276 WITH SCORE 3711.819
AT ITER 3712 NEW BEST:: SOT 704836 SOS 435732 HAS SOPS 3961 HAS SOUS 52230 HAS SOUPS 3276 WITH SCORE 3711.732
AT ITER 3722 NEW BEST:: SOT 704985 SOS 435820 HAS SOPS 3900 HAS SOUS 52140 HAS SOUPS 3241 WITH SCORE 3676.82
AT ITER 3730 NEW BEST:: SOT 704877 SOS 435712 HAS SOPS 3900 HAS SOUS 52104 HAS SOUPS 3241 WITH SCORE 3676.712
AT ITER 3765 NEW BEST:: SOT 705053 SOS 436296 HAS SOPS 3844 HAS SOUS 52180 HAS SOUPS 3201 WITH SCORE 3637.296
AT ITER 3788 NEW BEST:: SOT 705004 SOS 436247 HAS SOPS 3844 HAS SOUS 52142 HAS SOUPS 3201 WITH SCORE 3637.247
AT ITER 3796 NEW BEST:: SOT 704540 SOS 435783 HAS SOPS 3844 HAS SOUS 52012 HAS SOUPS 3201 WITH SCORE 3636.783
AT ITER 3797 NEW BEST:: SOT 704342 SOS 435486 HAS SOPS 3844 HAS SOUS 51913 HAS SOUPS 3201 WITH SCORE 3636.486
AT ITER 3854 NEW BEST:: SOT 704421 SOS 435545 HAS SOPS 3833 HAS SOUS 51898 HAS SOUPS 3195 WITH SCORE 3630.545
AT ITER 3864 NEW BEST:: SOT 704119 SOS 435243 HAS SOPS 3833 HAS SOUS 51747 HAS SOUPS 3195 WITH SCORE 3630.243
AT ITER 3879 NEW BEST:: SOT 704047 SOS 435171 HAS SOPS 3833 HAS SOUS 51735 HAS SOUPS 3195 WITH SCORE 3630.171
AT ITER 3893 NEW BEST:: SOT 704023 SOS 435147 HAS SOPS 3833 HAS SOUS 51735 HAS SOUPS 3195 WITH SCORE 3630.147
AT ITER 3910 NEW BEST:: SOT 703867 SOS 435069 HAS SOPS 3833 HAS SOUS 51813 HAS SOUPS 3195 WITH SCORE 3630.069
AT ITER 3918 NEW BEST:: SOT 703651 SOS 434949 HAS SOPS 3825 HAS SOUS 51909 HAS SOUPS 3187 WITH SCORE 3621.949
AT ITER 3934 NEW BEST:: SOT 703483 SOS 434781 HAS SOPS 3825 HAS SOUS 51909 HAS SOUPS 3187 WITH SCORE 3621.781
AT ITER 3943 NEW BEST:: SOT 703406 SOS 434396 HAS SOPS 3902 HAS SOUS 51832 HAS SOUPS 3187 WITH SCORE 3621.396
AT ITER 3969 NEW BEST:: SOT 704316 SOS 435224 HAS SOPS 3820 HAS SOUS 51713 HAS SOUPS 3137 WITH SCORE 3572.224
AT ITER 3983 NEW BEST:: SOT 703716 SOS 434624 HAS SOPS 3820 HAS SOUS 51773 HAS SOUPS 3137 WITH SCORE 3571.624
AT ITER 3988 NEW BEST:: SOT 703368 SOS 434082 HAS SOPS 3780 HAS SOUS 51692 HAS SOUPS 3133 WITH SCORE 3567.082
AT ITER 3989 NEW BEST:: SOT 703348 SOS 434072 HAS SOPS 3780 HAS SOUS 51702 HAS SOUPS 3133 WITH SCORE 3567.072
AT ITER 4000 NEW BEST:: SOT 703256 SOS 434026 HAS SOPS 3780 HAS SOUS 51702 HAS SOUPS 3133 WITH SCORE 3567.026
AT ITER 4002 NEW BEST:: SOT 703271 SOS 434023 HAS SOPS 3783 HAS SOUS 51699 HAS SOUPS 3133 WITH SCORE 3567.023
AT ITER 4006 NEW BEST:: SOT 706395 SOS 437131 HAS SOPS 3767 HAS SOUS 52055 HAS SOUPS 3117 WITH SCORE 3554.131
AT ITER 4036 NEW BEST:: SOT 707643 SOS 437968 HAS SOPS 3593 HAS SOUS 51816 HAS SOUPS 3113 WITH SCORE 3550.968
AT ITER 4055 NEW BEST:: SOT 707259 SOS 438036 HAS SOPS 3513 HAS SOUS 51819 HAS SOUPS 3040 WITH SCORE 3478.036
AT ITER 4058 NEW BEST:: SOT 707022 SOS 437720 HAS SOPS 3513 HAS SOUS 51740 HAS SOUPS 3040 WITH SCORE 3477.7200000000003
AT ITER 4072 NEW BEST:: SOT 706704 SOS 437561 HAS SOPS 3513 HAS SOUS 51899 HAS SOUPS 3040 WITH SCORE 3477.561
AT ITER 4075 NEW BEST:: SOT 706540 SOS 437397 HAS SOPS 3513 HAS SOUS 51858 HAS SOUPS 3040 WITH SCORE 3477.397
AT ITER 4080 NEW BEST:: SOT 706540 SOS 437381 HAS SOPS 3513 HAS SOUS 51842 HAS SOUPS 3040 WITH SCORE 3477.381
AT ITER 4087 NEW BEST:: SOT 706702 SOS 437525 HAS SOPS 3495 HAS SOUS 51860 HAS SOUPS 3022 WITH SCORE 3459.525
AT ITER 4089 NEW BEST:: SOT 706114 SOS 436937 HAS SOPS 3495 HAS SOUS 51766 HAS SOUPS 3022 WITH SCORE 3458.937
AT ITER 4091 NEW BEST:: SOT 706166 SOS 436183 HAS SOPS 3521 HAS SOUS 51740 HAS SOUPS 3022 WITH SCORE 3458.183
AT ITER 4095 NEW BEST:: SOT 706203 SOS 436146 HAS SOPS 3558 HAS SOUS 51666 HAS SOUPS 3022 WITH SCORE 3458.146
AT ITER 4106 NEW BEST:: SOT 706133 SOS 436046 HAS SOPS 3558 HAS SOUS 51666 HAS SOUPS 3022 WITH SCORE 3458.046
AT ITER 4110 NEW BEST:: SOT 705817 SOS 435730 HAS SOPS 3558 HAS SOUS 51548 HAS SOUPS 3022 WITH SCORE 3457.73
AT ITER 4136 NEW BEST:: SOT 705509 SOS 435653 HAS SOPS 3558 HAS SOUS 51625 HAS SOUPS 3022 WITH SCORE 3457.6530000000002
AT ITER 4149 NEW BEST:: SOT 705239 SOS 435383 HAS SOPS 3558 HAS SOUS 51544 HAS SOUPS 3022 WITH SCORE 3457.383
AT ITER 4165 NEW BEST:: SOT 705167 SOS 435299 HAS SOPS 3558 HAS SOUS 51520 HAS SOUPS 3022 WITH SCORE 3457.299
AT ITER 4182 NEW BEST:: SOT 705100 SOS 435232 HAS SOPS 3491 HAS SOUS 51595 HAS SOUPS 2955 WITH SCORE 3390.232
AT ITER 4194 NEW BEST:: SOT 705076 SOS 435208 HAS SOPS 3491 HAS SOUS 51595 HAS SOUPS 2955 WITH SCORE 3390.208
AT ITER 4199 NEW BEST:: SOT 705016 SOS 435058 HAS SOPS 3491 HAS SOUS 51565 HAS SOUPS 2955 WITH SCORE 3390.058
AT ITER 4201 NEW BEST:: SOT 704656 SOS 434698 HAS SOPS 3491 HAS SOUS 51445 HAS SOUPS 2955 WITH SCORE 3389.698
AT ITER 4214 NEW BEST:: SOT 703130 SOS 433172 HAS SOPS 3491 HAS SOUS 51287 HAS SOUPS 2955 WITH SCORE 3388.172
AT ITER 4216 NEW BEST:: SOT 703130 SOS 432678 HAS SOPS 3491 HAS SOUS 51183 HAS SOUPS 2955 WITH SCORE 3387.678
AT ITER 4237 NEW BEST:: SOT 703018 SOS 432594 HAS SOPS 3491 HAS SOUS 51239 HAS SOUPS 2955 WITH SCORE 3387.594
AT ITER 4238 NEW BEST:: SOT 702958 SOS 432549 HAS SOPS 3491 HAS SOUS 51254 HAS SOUPS 2955 WITH SCORE 3387.549
AT ITER 4251 NEW BEST:: SOT 702430 SOS 432021 HAS SOPS 3491 HAS SOUS 51132 HAS SOUPS 2955 WITH SCORE 3387.021
AT ITER 4252 NEW BEST:: SOT 702046 SOS 431893 HAS SOPS 3491 HAS SOUS 51196 HAS SOUPS 2955 WITH SCORE 3386.893
AT ITER 4259 NEW BEST:: SOT 702022 SOS 431861 HAS SOPS 3491 HAS SOUS 51196 HAS SOUPS 2955 WITH SCORE 3386.861
AT ITER 4290 NEW BEST:: SOT 701862 SOS 431701 HAS SOPS 3491 HAS SOUS 51236 HAS SOUPS 2955 WITH SCORE 3386.701
AT ITER 4291 NEW BEST:: SOT 701859 SOS 431665 HAS SOPS 3488 HAS SOUS 51233 HAS SOUPS 2952 WITH SCORE 3383.665
AT ITER 4301 NEW BEST:: SOT 704318 SOS 433895 HAS SOPS 3259 HAS SOUS 51264 HAS SOUPS 2879 WITH SCORE 3312.895
AT ITER 4305 NEW BEST:: SOT 704462 SOS 433784 HAS SOPS 3061 HAS SOUS 51207 HAS SOUPS 2822 WITH SCORE 3255.784
AT ITER 4308 NEW BEST:: SOT 704102 SOS 433424 HAS SOPS 3061 HAS SOUS 51127 HAS SOUPS 2822 WITH SCORE 3255.424
AT ITER 4310 NEW BEST:: SOT 704102 SOS 433388 HAS SOPS 3061 HAS SOUS 51118 HAS SOUPS 2822 WITH SCORE 3255.388
AT ITER 4314 NEW BEST:: SOT 704060 SOS 433346 HAS SOPS 3061 HAS SOUS 51139 HAS SOUPS 2822 WITH SCORE 3255.346
AT ITER 4315 NEW BEST:: SOT 703264 SOS 432663 HAS SOPS 3275 HAS SOUS 51038 HAS SOUPS 2822 WITH SCORE 3254.663
AT ITER 4334 NEW BEST:: SOT 703335 SOS 432715 HAS SOPS 3256 HAS SOUS 51008 HAS SOUPS 2807 WITH SCORE 3239.715
AT ITER 4335 NEW BEST:: SOT 703071 SOS 433897 HAS SOPS 3182 HAS SOUS 51049 HAS SOUPS 2753 WITH SCORE 3186.897
AT ITER 4337 NEW BEST:: SOT 703019 SOS 433845 HAS SOPS 3182 HAS SOUS 51049 HAS SOUPS 2753 WITH SCORE 3186.8450000000003
AT ITER 4338 NEW BEST:: SOT 702849 SOS 433675 HAS SOPS 3182 HAS SOUS 51015 HAS SOUPS 2753 WITH SCORE 3186.675
AT ITER 4350 NEW BEST:: SOT 702849 SOS 433661 HAS SOPS 3182 HAS SOUS 51015 HAS SOUPS 2753 WITH SCORE 3186.661
AT ITER 4355 NEW BEST:: SOT 702697 SOS 433357 HAS SOPS 3182 HAS SOUS 50939 HAS SOUPS 2753 WITH SCORE 3186.357
AT ITER 4356 NEW BEST:: SOT 702333 SOS 432993 HAS SOPS 3182 HAS SOUS 50939 HAS SOUPS 2753 WITH SCORE 3185.993
AT ITER 4358 NEW BEST:: SOT 702333 SOS 432813 HAS SOPS 3182 HAS SOUS 50939 HAS SOUPS 2753 WITH SCORE 3185.813
AT ITER 4381 NEW BEST:: SOT 702333 SOS 432634 HAS SOPS 3182 HAS SOUS 50760 HAS SOUPS 2753 WITH SCORE 3185.634
AT ITER 4386 NEW BEST:: SOT 702461 SOS 432698 HAS SOPS 3118 HAS SOUS 50748 HAS SOUPS 2741 WITH SCORE 3173.698
AT ITER 4395 NEW BEST:: SOT 702399 SOS 432574 HAS SOPS 3118 HAS SOUS 50748 HAS SOUPS 2741 WITH SCORE 3173.574
AT ITER 4403 NEW BEST:: SOT 702417 SOS 432562 HAS SOPS 3112 HAS SOUS 50736 HAS SOUPS 2735 WITH SCORE 3167.562
AT ITER 4404 NEW BEST:: SOT 703919 SOS 434196 HAS SOPS 3107 HAS SOUS 51000 HAS SOUPS 2730 WITH SCORE 3164.196
AT ITER 4416 NEW BEST:: SOT 703895 SOS 434172 HAS SOPS 3107 HAS SOUS 51000 HAS SOUPS 2730 WITH SCORE 3164.172
AT ITER 4425 NEW BEST:: SOT 703895 SOS 434076 HAS SOPS 3107 HAS SOUS 51000 HAS SOUPS 2730 WITH SCORE 3164.076
AT ITER 4426 NEW BEST:: SOT 703732 SOS 434155 HAS SOPS 3106 HAS SOUS 51026 HAS SOUPS 2729 WITH SCORE 3163.155
AT ITER 4441 NEW BEST:: SOT 704465 SOS 434981 HAS SOPS 2879 HAS SOUS 51167 HAS SOUPS 2710 WITH SCORE 3144.9809999999998
AT ITER 4451 NEW BEST:: SOT 704055 SOS 434776 HAS SOPS 2879 HAS SOUS 51372 HAS SOUPS 2710 WITH SCORE 3144.776
AT ITER 4457 NEW BEST:: SOT 703445 SOS 434166 HAS SOPS 2879 HAS SOUS 51066 HAS SOUPS 2710 WITH SCORE 3144.166
AT ITER 4465 NEW BEST:: SOT 703647 SOS 434180 HAS SOPS 2873 HAS SOUS 51020 HAS SOUPS 2704 WITH SCORE 3138.18
AT ITER 4471 NEW BEST:: SOT 702827 SOS 433360 HAS SOPS 2873 HAS SOUS 50998 HAS SOUPS 2704 WITH SCORE 3137.36
AT ITER 4497 NEW BEST:: SOT 703135 SOS 433484 HAS SOPS 2853 HAS SOUS 50689 HAS SOUPS 2695 WITH SCORE 3128.484
AT ITER 4498 NEW BEST:: SOT 703222 SOS 433882 HAS SOPS 2828 HAS SOUS 50764 HAS SOUPS 2680 WITH SCORE 3113.882
AT ITER 4513 NEW BEST:: SOT 702890 SOS 433608 HAS SOPS 2808 HAS SOUS 50876 HAS SOUPS 2659 WITH SCORE 3092.608
AT ITER 4517 NEW BEST:: SOT 702682 SOS 433504 HAS SOPS 2808 HAS SOUS 51084 HAS SOUPS 2659 WITH SCORE 3092.504
AT ITER 4525 NEW BEST:: SOT 702158 SOS 432980 HAS SOPS 2808 HAS SOUS 51084 HAS SOUPS 2659 WITH SCORE 3091.98
AT ITER 4532 NEW BEST:: SOT 702128 SOS 432965 HAS SOPS 2808 HAS SOUS 51099 HAS SOUPS 2659 WITH SCORE 3091.965
AT ITER 4540 NEW BEST:: SOT 703178 SOS 434009 HAS SOPS 2802 HAS SOUS 51233 HAS SOUPS 2653 WITH SCORE 3087.009
AT ITER 4567 NEW BEST:: SOT 703178 SOS 433275 HAS SOPS 2802 HAS SOUS 50866 HAS SOUPS 2653 WITH SCORE 3086.275
AT ITER 4568 NEW BEST:: SOT 702050 SOS 432147 HAS SOPS 2802 HAS SOUS 50772 HAS SOUPS 2653 WITH SCORE 3085.147
AT ITER 4592 NEW BEST:: SOT 701854 SOS 431951 HAS SOPS 2802 HAS SOUS 50772 HAS SOUPS 2653 WITH SCORE 3084.951
AT ITER 4595 NEW BEST:: SOT 701097 SOS 432347 HAS SOPS 2809 HAS SOUS 50936 HAS SOUPS 2626 WITH SCORE 3058.347
AT ITER 4604 NEW BEST:: SOT 701643 SOS 433723 HAS SOPS 2787 HAS SOUS 50931 HAS SOUPS 2605 WITH SCORE 3038.723
AT ITER 4608 NEW BEST:: SOT 701643 SOS 433697 HAS SOPS 2787 HAS SOUS 50879 HAS SOUPS 2605 WITH SCORE 3038.697
AT ITER 4614 NEW BEST:: SOT 701569 SOS 433623 HAS SOPS 2787 HAS SOUS 50879 HAS SOUPS 2605 WITH SCORE 3038.623
AT ITER 4628 NEW BEST:: SOT 701373 SOS 433427 HAS SOPS 2787 HAS SOUS 50830 HAS SOUPS 2605 WITH SCORE 3038.427
AT ITER 4631 NEW BEST:: SOT 701313 SOS 433388 HAS SOPS 2727 HAS SOUS 50821 HAS SOUPS 2575 WITH SCORE 3008.388
AT ITER 4637 NEW BEST:: SOT 701001 SOS 433128 HAS SOPS 2727 HAS SOUS 50963 HAS SOUPS 2575 WITH SCORE 3008.128
AT ITER 4640 NEW BEST:: SOT 700883 SOS 433010 HAS SOPS 2727 HAS SOUS 51022 HAS SOUPS 2575 WITH SCORE 3008.01
AT ITER 4642 NEW BEST:: SOT 700505 SOS 432632 HAS SOPS 2727 HAS SOUS 50880 HAS SOUPS 2575 WITH SCORE 3007.632
AT ITER 4643 NEW BEST:: SOT 700775 SOS 433033 HAS SOPS 2719 HAS SOUS 51011 HAS SOUPS 2567 WITH SCORE 3000.033
AT ITER 4660 NEW BEST:: SOT 700938 SOS 433318 HAS SOPS 2718 HAS SOUS 51092 HAS SOUPS 2566 WITH SCORE 2999.318
AT ITER 4665 NEW BEST:: SOT 700768 SOS 433142 HAS SOPS 2712 HAS SOUS 51121 HAS SOUPS 2560 WITH SCORE 2993.142
AT ITER 4702 NEW BEST:: SOT 700712 SOS 433086 HAS SOPS 2712 HAS SOUS 51114 HAS SOUPS 2560 WITH SCORE 2993.0860000000002
AT ITER 4707 NEW BEST:: SOT 699656 SOS 432030 HAS SOPS 2712 HAS SOUS 50941 HAS SOUPS 2560 WITH SCORE 2992.03
AT ITER 4715 NEW BEST:: SOT 699656 SOS 431821 HAS SOPS 2712 HAS SOUS 50941 HAS SOUPS 2560 WITH SCORE 2991.821
AT ITER 4718 NEW BEST:: SOT 699559 SOS 431627 HAS SOPS 2712 HAS SOUS 50833 HAS SOUPS 2560 WITH SCORE 2991.627
AT ITER 4722 NEW BEST:: SOT 699527 SOS 431797 HAS SOPS 2680 HAS SOUS 50809 HAS SOUPS 2536 WITH SCORE 2967.797
AT ITER 4735 NEW BEST:: SOT 699439 SOS 431709 HAS SOPS 2680 HAS SOUS 50743 HAS SOUPS 2536 WITH SCORE 2967.709
AT ITER 4737 NEW BEST:: SOT 699273 SOS 431543 HAS SOPS 2680 HAS SOUS 50676 HAS SOUPS 2536 WITH SCORE 2967.543
AT ITER 4738 NEW BEST:: SOT 699225 SOS 431495 HAS SOPS 2680 HAS SOUS 50676 HAS SOUPS 2536 WITH SCORE 2967.495
AT ITER 4795 NEW BEST:: SOT 698973 SOS 431243 HAS SOPS 2680 HAS SOUS 50613 HAS SOUPS 2536 WITH SCORE 2967.243
AT ITER 4803 NEW BEST:: SOT 698853 SOS 431123 HAS SOPS 2680 HAS SOUS 50553 HAS SOUPS 2536 WITH SCORE 2967.123
AT ITER 4847 NEW BEST:: SOT 698821 SOS 431203 HAS SOPS 2666 HAS SOUS 50556 HAS SOUPS 2530 WITH SCORE 2961.203
AT ITER 4851 NEW BEST:: SOT 698969 SOS 430667 HAS SOPS 2606 HAS SOUS 50314 HAS SOUPS 2496 WITH SCORE 2926.667
AT ITER 4854 NEW BEST:: SOT 698785 SOS 430460 HAS SOPS 2606 HAS SOUS 50268 HAS SOUPS 2496 WITH SCORE 2926.46
AT ITER 4869 NEW BEST:: SOT 698513 SOS 430188 HAS SOPS 2606 HAS SOUS 50268 HAS SOUPS 2496 WITH SCORE 2926.188
AT ITER 4871 NEW BEST:: SOT 698344 SOS 430030 HAS SOPS 2577 HAS SOUS 50246 HAS SOUPS 2480 WITH SCORE 2910.03
AT ITER 4899 NEW BEST:: SOT 698344 SOS 429206 HAS SOPS 2577 HAS SOUS 49834 HAS SOUPS 2480 WITH SCORE 2909.206
AT ITER 4971 NEW BEST:: SOT 698136 SOS 428686 HAS SOPS 2577 HAS SOUS 49626 HAS SOUPS 2480 WITH SCORE 2908.686
AT ITER 4995 NEW BEST:: SOT 698064 SOS 428602 HAS SOPS 2577 HAS SOUS 49612 HAS SOUPS 2480 WITH SCORE 2908.602
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Eratosthenes-PT-500-CTLCardinality-00 (EF((EX( ( potential( ( 3 ) <= (tk(P454)) ) | potential( ( 2 ) <= (tk(P160)) ) )))))
PROPERTY: Eratosthenes-PT-500-CTLCardinality-01 (AG( ( potential( (tk(P374)) <= (tk(P116)) ) | (EG( potential( ( 3 ) <= (tk(P127)) ))) )))
PROPERTY: Eratosthenes-PT-500-CTLCardinality-02 (EG( ( (AG( potential( ( 2 ) <= (tk(P168)) ))) | ( potential( (tk(P171)) <= (tk(P48)) ) & potential( (tk(P215)) <= (tk(P227)) ) ) )))
PROPERTY: Eratosthenes-PT-500-CTLCardinality-03 (EG( ( ( ( potential( (tk(P170)) <= (tk(P119)) ) & potential( (tk(P358)) <= (tk(P259)) ) ) & ( potential( (tk(P146)) <= (tk(P41)) ) | potential( (tk(P314)) <= (tk(P457)) ) ) ) | potential( (tk(P371)) <= (tk(P66)) ) )))
PROPERTY: Eratosthenes-PT-500-CTLCardinality-04 ( ( ( ( ( potential( ( 1 ) <= (tk(P387)) ) & potential( ( 2 ) <= (tk(P276)) ) ) & ( potential( (tk(P310)) <= (tk(P147)) ) | potential( ( 3 ) <= (tk(P4)) ) ) ) & ( ( potential( (tk(P108)) <= (tk(P342)) ) & potential( ( 3 ) <= (tk(P162)) ) ) & ( potential( ( 1 ) <= (tk(P277)) ) & potential( (tk(P422)) <= (tk(P442)) ) ) ) ) & ( potential( (tk(P164)) <= (tk(P41)) ) & ( ( potential( (tk(P131)) <= (tk(P271)) ) & potential( (tk(P450)) <= (tk(P462)) ) ) | (! potential( ( 2 ) <= (tk(P454)) )) ) ) ) | (EG( ( ( potential( (tk(P334)) <= (tk(P352)) ) | potential( (tk(P328)) <= (tk(P196)) ) ) | (! potential( ( 1 ) <= (tk(P67)) )) ))) )
PROPERTY: Eratosthenes-PT-500-CTLCardinality-05 (EG( (AG( ( potential( (tk(P239)) <= (tk(P29)) ) | potential( (tk(P380)) <= (tk(P75)) ) )))))
PROPERTY: Eratosthenes-PT-500-CTLCardinality-06 (AG( (EU( potential( (tk(P336)) <= (tk(P214)) ),potential( (tk(P412)) <= (tk(P403)) ) ))))
PROPERTY: Eratosthenes-PT-500-CTLCardinality-07 (EF((AX( potential( ( 2 ) <= (tk(P495)) )))))
PROPERTY: Eratosthenes-PT-500-CTLCardinality-08 ( (AG( (AF(potential( (tk(P311)) <= (tk(P71)) ))))) & ( ( potential( (tk(P165)) <= (tk(P91)) ) & ( ( potential( (tk(P306)) <= (tk(P329)) ) & potential( (tk(P52)) <= (tk(P244)) ) ) & (! potential( (tk(P382)) <= (tk(P70)) )) ) ) | potential( (tk(P181)) <= (tk(P442)) ) ) )
PROPERTY: Eratosthenes-PT-500-CTLCardinality-09 (! ( (AX( potential( ( 1 ) <= (tk(P24)) ))) & ( potential( ( 2 ) <= (tk(P400)) ) | (AF(potential( ( 3 ) <= (tk(P416)) ))) ) ))
PROPERTY: Eratosthenes-PT-500-CTLCardinality-10 (EU( (EG( potential( (tk(P294)) <= (tk(P257)) ))),(! potential( (tk(P1)) <= (tk(P80)) )) ))
PROPERTY: Eratosthenes-PT-500-CTLCardinality-11 (EG( (EG( potential( (tk(P222)) <= (tk(P294)) )))))
PROPERTY: Eratosthenes-PT-500-CTLCardinality-12 ( (! (EG( ( potential( ( 3 ) <= (tk(P186)) ) | potential( (tk(P487)) <= (tk(P74)) ) )))) & ( (EF(potential( (tk(P325)) <= (tk(P349)) ))) & potential( (tk(P169)) <= (tk(P300)) ) ) )
PROPERTY: Eratosthenes-PT-500-CTLCardinality-13 (EG( potential( (tk(P433)) <= (tk(P409)) )))
PROPERTY: Eratosthenes-PT-500-CTLCardinality-14 (EX( (AF(potential( ( 3 ) <= (tk(P132)) )))))
PROPERTY: Eratosthenes-PT-500-CTLCardinality-15 ( ( ( (! ( potential( (tk(P409)) <= (tk(P275)) ) & potential( ( 2 ) <= (tk(P221)) ) )) & (EG( potential( ( 1 ) <= (tk(P295)) ))) ) | (EF((! potential( ( 1 ) <= (tk(P350)) )))) ) | (AF((EF(potential( ( 3 ) <= (tk(P250)) ))))) )
FORMULA Eratosthenes-PT-500-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-01 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-02 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-03 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-04 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-05 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-06 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-07 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-08 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-09 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-10 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-11 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-12 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-13 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-14 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-500-CTLCardinality-15 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

BK_STOP 1589369614070

--------------------
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="Eratosthenes-PT-500"
export BK_EXAMINATION="CTLCardinality"
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 Eratosthenes-PT-500, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922808401051"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Eratosthenes-PT-500.tgz
mv Eratosthenes-PT-500 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;