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.r123-tajo-158961354900520.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 PolyORBLF-PT-S06J04T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354900520
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 15K Apr 12 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Apr 12 05:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 30K Apr 11 05:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 106K Apr 11 05:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 13K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 29K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Apr 10 12:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 10 12:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 339K Apr 9 18:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Apr 9 18:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.4K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 15M Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589646119165

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

Filename model.pnml
Petri model created: 632 places, 10500 transitions, 88770 arcs.
AT ITER 0 NEW BEST:: SOT 4164132 SOS 2550479 HAS SOPS 2538061 HAS SOUS 448920 HAS SOUPS 448252 WITH SCORE 450802.479
AT ITER 12 NEW BEST:: SOT 4163962 SOS 2550309 HAS SOPS 2537891 HAS SOUS 448763 HAS SOUPS 448095 WITH SCORE 450645.309
AT ITER 21 NEW BEST:: SOT 4163278 SOS 2549886 HAS SOPS 2537468 HAS SOUS 448575 HAS SOUPS 447907 WITH SCORE 450456.886
AT ITER 22 NEW BEST:: SOT 4155849 SOS 2577388 HAS SOPS 2572599 HAS SOUS 443209 HAS SOUPS 442710 WITH SCORE 445287.388
AT ITER 27 NEW BEST:: SOT 4155178 SOS 2576962 HAS SOPS 2572173 HAS SOUS 442979 HAS SOUPS 442480 WITH SCORE 445056.962
AT ITER 47 NEW BEST:: SOT 4155149 SOS 2576904 HAS SOPS 2572115 HAS SOUS 442921 HAS SOUPS 442422 WITH SCORE 444998.904
AT ITER 49 NEW BEST:: SOT 4154771 SOS 2576574 HAS SOPS 2571785 HAS SOUS 442854 HAS SOUPS 442355 WITH SCORE 444931.574
AT ITER 53 NEW BEST:: SOT 4155259 SOS 2577234 HAS SOPS 2572445 HAS SOUS 442799 HAS SOUPS 442300 WITH SCORE 444877.234
AT ITER 58 NEW BEST:: SOT 4155259 SOS 2577546 HAS SOPS 2572757 HAS SOUS 442715 HAS SOUPS 442216 WITH SCORE 444793.546
AT ITER 63 NEW BEST:: SOT 4155177 SOS 2577794 HAS SOPS 2572987 HAS SOUS 442576 HAS SOUPS 442078 WITH SCORE 444655.794
AT ITER 77 NEW BEST:: SOT 4154899 SOS 2577243 HAS SOPS 2572537 HAS SOUS 442306 HAS SOUPS 441808 WITH SCORE 444385.243
AT ITER 108 NEW BEST:: SOT 4154899 SOS 2576976 HAS SOPS 2572270 HAS SOUS 442224 HAS SOUPS 441726 WITH SCORE 444302.976
AT ITER 112 NEW BEST:: SOT 4154543 SOS 2576706 HAS SOPS 2572000 HAS SOUS 441769 HAS SOUPS 441271 WITH SCORE 443847.706
AT ITER 120 NEW BEST:: SOT 4154543 SOS 2576706 HAS SOPS 2572000 HAS SOUS 441757 HAS SOUPS 441259 WITH SCORE 443835.706
AT ITER 125 NEW BEST:: SOT 4154543 SOS 2576596 HAS SOPS 2571890 HAS SOUS 441693 HAS SOUPS 441195 WITH SCORE 443771.596
AT ITER 136 NEW BEST:: SOT 4140557 SOS 2562592 HAS SOPS 2557886 HAS SOUS 439803 HAS SOUPS 439305 WITH SCORE 441867.592
AT ITER 138 NEW BEST:: SOT 4140545 SOS 2562580 HAS SOPS 2557874 HAS SOUS 439791 HAS SOUPS 439293 WITH SCORE 441855.58
AT ITER 145 NEW BEST:: SOT 4140545 SOS 2562746 HAS SOPS 2558040 HAS SOUS 439421 HAS SOUPS 438923 WITH SCORE 441485.746
AT ITER 148 NEW BEST:: SOT 4140519 SOS 2562720 HAS SOPS 2558014 HAS SOUS 439405 HAS SOUPS 438907 WITH SCORE 441469.72
AT ITER 163 NEW BEST:: SOT 4140236 SOS 2562783 HAS SOPS 2558077 HAS SOUS 439358 HAS SOUPS 438860 WITH SCORE 441422.783
AT ITER 167 NEW BEST:: SOT 4140204 SOS 2562751 HAS SOPS 2558013 HAS SOUS 439348 HAS SOUPS 438823 WITH SCORE 441385.751
AT ITER 172 NEW BEST:: SOT 4140000 SOS 2562547 HAS SOPS 2557809 HAS SOUS 439195 HAS SOUPS 438670 WITH SCORE 441232.547
AT ITER 179 NEW BEST:: SOT 4023675 SOS 2446222 HAS SOPS 2441484 HAS SOUS 423820 HAS SOUPS 423295 WITH SCORE 425741.222
AT ITER 180 NEW BEST:: SOT 4022327 SOS 2444981 HAS SOPS 2440243 HAS SOUS 422678 HAS SOUPS 422153 WITH SCORE 424597.981
AT ITER 210 NEW BEST:: SOT 4021966 SOS 2443324 HAS SOPS 2438586 HAS SOUS 422615 HAS SOUPS 422090 WITH SCORE 424533.324
AT ITER 217 NEW BEST:: SOT 4021841 SOS 2443137 HAS SOPS 2438399 HAS SOUS 422188 HAS SOUPS 421663 WITH SCORE 424106.137
AT ITER 218 NEW BEST:: SOT 4021963 SOS 2443550 HAS SOPS 2438812 HAS SOUS 422131 HAS SOUPS 421606 WITH SCORE 424049.55
AT ITER 220 NEW BEST:: SOT 4021870 SOS 2443475 HAS SOPS 2438737 HAS SOUS 422056 HAS SOUPS 421531 WITH SCORE 423974.475
AT ITER 223 NEW BEST:: SOT 4022405 SOS 2444102 HAS SOPS 2439364 HAS SOUS 421930 HAS SOUPS 421405 WITH SCORE 423849.102
AT ITER 233 NEW BEST:: SOT 4022084 SOS 2443847 HAS SOPS 2439109 HAS SOUS 421195 HAS SOUPS 420670 WITH SCORE 423113.847
AT ITER 238 NEW BEST:: SOT 4022048 SOS 2443826 HAS SOPS 2439088 HAS SOUS 421174 HAS SOUPS 420649 WITH SCORE 423092.826
AT ITER 249 NEW BEST:: SOT 4022005 SOS 2443853 HAS SOPS 2439115 HAS SOUS 420320 HAS SOUPS 419795 WITH SCORE 422238.853
AT ITER 263 NEW BEST:: SOT 4021428 SOS 2443493 HAS SOPS 2438755 HAS SOUS 420206 HAS SOUPS 419681 WITH SCORE 422124.493
AT ITER 272 NEW BEST:: SOT 4021382 SOS 2443343 HAS SOPS 2438605 HAS SOUS 420102 HAS SOUPS 419577 WITH SCORE 422020.343
AT ITER 278 NEW BEST:: SOT 4021083 SOS 2443125 HAS SOPS 2438387 HAS SOUS 419957 HAS SOUPS 419432 WITH SCORE 421875.125
AT ITER 286 NEW BEST:: SOT 4020923 SOS 2442973 HAS SOPS 2438235 HAS SOUS 419805 HAS SOUPS 419280 WITH SCORE 421722.973
AT ITER 293 NEW BEST:: SOT 3752680 SOS 2213658 HAS SOPS 2208920 HAS SOUS 389502 HAS SOUPS 388977 WITH SCORE 391190.658
AT ITER 295 NEW BEST:: SOT 3752680 SOS 2212992 HAS SOPS 2208254 HAS SOUS 389502 HAS SOUPS 388977 WITH SCORE 391189.992
AT ITER 297 NEW BEST:: SOT 3556545 SOS 2247776 HAS SOPS 2243038 HAS SOUS 370714 HAS SOUPS 370189 WITH SCORE 372436.776
AT ITER 300 NEW BEST:: SOT 3556514 SOS 2247745 HAS SOPS 2242976 HAS SOUS 370652 HAS SOUPS 370127 WITH SCORE 372374.745
AT ITER 303 NEW BEST:: SOT 3556514 SOS 2247677 HAS SOPS 2242908 HAS SOUS 370652 HAS SOUPS 370127 WITH SCORE 372374.677
AT ITER 308 NEW BEST:: SOT 3556240 SOS 2247523 HAS SOPS 2242754 HAS SOUS 370315 HAS SOUPS 369790 WITH SCORE 372037.523
AT ITER 312 NEW BEST:: SOT 3556240 SOS 2247523 HAS SOPS 2242754 HAS SOUS 370280 HAS SOUPS 369755 WITH SCORE 372002.523
AT ITER 318 NEW BEST:: SOT 3556204 SOS 2059438 HAS SOPS 2054669 HAS SOUS 370435 HAS SOUPS 369910 WITH SCORE 371969.438
AT ITER 333 NEW BEST:: SOT 3556174 SOS 2059378 HAS SOPS 2054609 HAS SOUS 370285 HAS SOUPS 369760 WITH SCORE 371819.378
AT ITER 335 NEW BEST:: SOT 3556153 SOS 2059435 HAS SOPS 2054666 HAS SOUS 370139 HAS SOUPS 369614 WITH SCORE 371673.435
AT ITER 349 NEW BEST:: SOT 3555943 SOS 2059342 HAS SOPS 2054573 HAS SOUS 369257 HAS SOUPS 368732 WITH SCORE 370791.342
AT ITER 358 NEW BEST:: SOT 3367775 SOS 1871174 HAS SOPS 1866405 HAS SOUS 342381 HAS SOUPS 341856 WITH SCORE 343727.174
AT ITER 368 NEW BEST:: SOT 3367752 SOS 1871162 HAS SOPS 1866393 HAS SOUS 342369 HAS SOUPS 341844 WITH SCORE 343715.162
AT ITER 384 NEW BEST:: SOT 3367683 SOS 1871093 HAS SOPS 1866318 HAS SOUS 342339 HAS SOUPS 341808 WITH SCORE 343679.093
AT ITER 388 NEW BEST:: SOT 3367643 SOS 1871019 HAS SOPS 1866244 HAS SOUS 341748 HAS SOUPS 341217 WITH SCORE 343088.019
AT ITER 389 NEW BEST:: SOT 3210838 SOS 1944800 HAS SOPS 1940025 HAS SOUS 329603 HAS SOUPS 329072 WITH SCORE 331016.8
AT ITER 390 NEW BEST:: SOT 3210826 SOS 1944788 HAS SOPS 1940013 HAS SOUS 329579 HAS SOUPS 329048 WITH SCORE 330992.788
AT ITER 392 NEW BEST:: SOT 3211511 SOS 1945620 HAS SOPS 1940845 HAS SOUS 329367 HAS SOUPS 328836 WITH SCORE 330781.62
AT ITER 396 NEW BEST:: SOT 3211250 SOS 1945229 HAS SOPS 1940549 HAS SOUS 329244 HAS SOUPS 328713 WITH SCORE 330658.229
AT ITER 407 NEW BEST:: SOT 3211224 SOS 1945441 HAS SOPS 1940775 HAS SOUS 329226 HAS SOUPS 328695 WITH SCORE 330640.441
AT ITER 416 NEW BEST:: SOT 3211224 SOS 1945423 HAS SOPS 1940757 HAS SOUS 329208 HAS SOUPS 328677 WITH SCORE 330622.423
AT ITER 425 NEW BEST:: SOT 3211224 SOS 1945410 HAS SOPS 1940744 HAS SOUS 329203 HAS SOUPS 328672 WITH SCORE 330617.41
AT ITER 437 NEW BEST:: SOT 3211224 SOS 1945434 HAS SOPS 1941056 HAS SOUS 329091 HAS SOUPS 328608 WITH SCORE 330553.434
AT ITER 459 NEW BEST:: SOT 3207445 SOS 1941664 HAS SOPS 1937286 HAS SOUS 325321 HAS SOUPS 324838 WITH SCORE 326779.664
AT ITER 467 NEW BEST:: SOT 3201627 SOS 1935846 HAS SOPS 1931468 HAS SOUS 319503 HAS SOUPS 319020 WITH SCORE 320955.846
AT ITER 474 NEW BEST:: SOT 3200517 SOS 1934834 HAS SOPS 1930456 HAS SOUS 318268 HAS SOUPS 317785 WITH SCORE 319719.834
AT ITER 475 NEW BEST:: SOT 3095421 SOS 1879330 HAS SOPS 1874952 HAS SOUS 307093 HAS SOUPS 306610 WITH SCORE 308489.33
AT ITER 488 NEW BEST:: SOT 3095421 SOS 1878308 HAS SOPS 1873930 HAS SOUS 306799 HAS SOUPS 306316 WITH SCORE 308194.308
AT ITER 533 NEW BEST:: SOT 3095325 SOS 1878212 HAS SOPS 1873834 HAS SOUS 306703 HAS SOUPS 306220 WITH SCORE 308098.212
AT ITER 559 NEW BEST:: SOT 3095101 SOS 1877986 HAS SOPS 1873684 HAS SOUS 306537 HAS SOUPS 306054 WITH SCORE 307931.986
AT ITER 560 NEW BEST:: SOT 3092364 SOS 1875937 HAS SOPS 1870949 HAS SOUS 303947 HAS SOUPS 303317 WITH SCORE 305192.937
AT ITER 569 NEW BEST:: SOT 3092342 SOS 1875915 HAS SOPS 1870927 HAS SOUS 303900 HAS SOUPS 303270 WITH SCORE 305145.915
AT ITER 575 NEW BEST:: SOT 3092297 SOS 1875904 HAS SOPS 1870916 HAS SOUS 303857 HAS SOUPS 303227 WITH SCORE 305102.904
AT ITER 610 NEW BEST:: SOT 3092105 SOS 1875179 HAS SOPS 1870191 HAS SOUS 303821 HAS SOUPS 303191 WITH SCORE 305066.179
AT ITER 613 NEW BEST:: SOT 3092082 SOS 1875133 HAS SOPS 1870145 HAS SOUS 303797 HAS SOUPS 303167 WITH SCORE 305042.133
AT ITER 615 NEW BEST:: SOT 3092045 SOS 1875096 HAS SOPS 1870108 HAS SOUS 303723 HAS SOUPS 303093 WITH SCORE 304968.096
AT ITER 617 NEW BEST:: SOT 3092057 SOS 1875944 HAS SOPS 1870956 HAS SOUS 303245 HAS SOUPS 302615 WITH SCORE 304490.944
AT ITER 628 NEW BEST:: SOT 3092057 SOS 1877111 HAS SOPS 1872123 HAS SOUS 302838 HAS SOUPS 302208 WITH SCORE 304085.111
AT ITER 635 NEW BEST:: SOT 3092057 SOS 1877106 HAS SOPS 1872118 HAS SOUS 302833 HAS SOUPS 302203 WITH SCORE 304080.106
AT ITER 639 NEW BEST:: SOT 3091941 SOS 1876961 HAS SOPS 1871973 HAS SOUS 302698 HAS SOUPS 302068 WITH SCORE 303944.961
AT ITER 644 NEW BEST:: SOT 3091791 SOS 1876885 HAS SOPS 1871897 HAS SOUS 302114 HAS SOUPS 301484 WITH SCORE 303360.885
AT ITER 646 NEW BEST:: SOT 3091791 SOS 1876885 HAS SOPS 1871897 HAS SOUS 302090 HAS SOUPS 301460 WITH SCORE 303336.885
AT ITER 667 NEW BEST:: SOT 3091772 SOS 1876866 HAS SOPS 1871859 HAS SOUS 302052 HAS SOUPS 301422 WITH SCORE 303298.866
AT ITER 668 NEW BEST:: SOT 3091772 SOS 1875973 HAS SOPS 1870966 HAS SOUS 301263 HAS SOUPS 300633 WITH SCORE 302508.973
AT ITER 671 NEW BEST:: SOT 3091637 SOS 1875838 HAS SOPS 1870831 HAS SOUS 301223 HAS SOUPS 300593 WITH SCORE 302468.838
AT ITER 672 NEW BEST:: SOT 3091577 SOS 1875778 HAS SOPS 1870771 HAS SOUS 301198 HAS SOUPS 300568 WITH SCORE 302443.778
AT ITER 674 NEW BEST:: SOT 3091577 SOS 1875225 HAS SOPS 1870218 HAS SOUS 300756 HAS SOUPS 300126 WITH SCORE 302001.225
AT ITER 693 NEW BEST:: SOT 3091399 SOS 1875047 HAS SOPS 1870040 HAS SOUS 300572 HAS SOUPS 299942 WITH SCORE 301817.047
AT ITER 709 NEW BEST:: SOT 3091347 SOS 1874943 HAS SOPS 1869936 HAS SOUS 300520 HAS SOUPS 299890 WITH SCORE 301764.943
AT ITER 718 NEW BEST:: SOT 3091347 SOS 1874943 HAS SOPS 1869936 HAS SOUS 300516 HAS SOUPS 299886 WITH SCORE 301760.943
AT ITER 722 NEW BEST:: SOT 3091478 SOS 1881445 HAS SOPS 1876840 HAS SOUS 300363 HAS SOUPS 299800 WITH SCORE 301681.445
AT ITER 723 NEW BEST:: SOT 2827868 SOS 1843333 HAS SOPS 1838728 HAS SOUS 273218 HAS SOUPS 272655 WITH SCORE 274498.333
AT ITER 727 NEW BEST:: SOT 2827669 SOS 1843203 HAS SOPS 1838598 HAS SOUS 273088 HAS SOUPS 272525 WITH SCORE 274368.203
AT ITER 739 NEW BEST:: SOT 2827287 SOS 1842581 HAS SOPS 1837976 HAS SOUS 272936 HAS SOUPS 272373 WITH SCORE 274215.581
AT ITER 748 NEW BEST:: SOT 2827095 SOS 1842906 HAS SOPS 1838301 HAS SOUS 272812 HAS SOUPS 272249 WITH SCORE 274091.906
AT ITER 751 NEW BEST:: SOT 2826991 SOS 1844055 HAS SOPS 1839462 HAS SOUS 271775 HAS SOUPS 271212 WITH SCORE 273056.055
AT ITER 762 NEW BEST:: SOT 2826991 SOS 1769415 HAS SOPS 1764822 HAS SOUS 271775 HAS SOUPS 271212 WITH SCORE 272981.415
AT ITER 767 NEW BEST:: SOT 2827018 SOS 1769238 HAS SOPS 1764645 HAS SOUS 271751 HAS SOUPS 271188 WITH SCORE 272957.238
AT ITER 768 NEW BEST:: SOT 2826975 SOS 1769195 HAS SOPS 1764602 HAS SOUS 271380 HAS SOUPS 270817 WITH SCORE 272586.195
AT ITER 777 NEW BEST:: SOT 2826972 SOS 1769192 HAS SOPS 1764599 HAS SOUS 271377 HAS SOUPS 270814 WITH SCORE 272583.192
AT ITER 785 NEW BEST:: SOT 2824202 SOS 1766561 HAS SOPS 1761968 HAS SOUS 268678 HAS SOUPS 268115 WITH SCORE 269881.561
AT ITER 790 NEW BEST:: SOT 2824192 SOS 1766541 HAS SOPS 1761948 HAS SOUS 268658 HAS SOUPS 268095 WITH SCORE 269861.541
AT ITER 793 NEW BEST:: SOT 2763692 SOS 1706034 HAS SOPS 1701441 HAS SOUS 261912 HAS SOUPS 261349 WITH SCORE 263055.034
AT ITER 796 NEW BEST:: SOT 2763656 SOS 1706010 HAS SOPS 1701417 HAS SOUS 261900 HAS SOUPS 261337 WITH SCORE 263043.01
AT ITER 803 NEW BEST:: SOT 2763710 SOS 1705944 HAS SOPS 1701351 HAS SOUS 261866 HAS SOUPS 261303 WITH SCORE 263008.944
AT ITER 811 NEW BEST:: SOT 2762935 SOS 1705169 HAS SOPS 1700576 HAS SOUS 261747 HAS SOUPS 261184 WITH SCORE 262889.169
AT ITER 815 NEW BEST:: SOT 2762942 SOS 1705176 HAS SOPS 1700602 HAS SOUS 261707 HAS SOUPS 261144 WITH SCORE 262849.176
AT ITER 823 NEW BEST:: SOT 2762981 SOS 1705389 HAS SOPS 1700815 HAS SOUS 261701 HAS SOUPS 261138 WITH SCORE 262843.389
AT ITER 824 NEW BEST:: SOT 2762949 SOS 1705245 HAS SOPS 1700671 HAS SOUS 261586 HAS SOUPS 261023 WITH SCORE 262728.245
AT ITER 829 NEW BEST:: SOT 2762904 SOS 1705200 HAS SOPS 1700626 HAS SOUS 261517 HAS SOUPS 260954 WITH SCORE 262659.2
AT ITER 830 NEW BEST:: SOT 2762901 SOS 1705194 HAS SOPS 1700620 HAS SOUS 261511 HAS SOUPS 260948 WITH SCORE 262653.194
AT ITER 835 NEW BEST:: SOT 2759053 SOS 1700875 HAS SOPS 1696301 HAS SOUS 257318 HAS SOUPS 256755 WITH SCORE 258455.875
AT ITER 839 NEW BEST:: SOT 2759042 SOS 1700875 HAS SOPS 1696301 HAS SOUS 257306 HAS SOUPS 256743 WITH SCORE 258443.875
AT ITER 840 NEW BEST:: SOT 2759034 SOS 1700867 HAS SOPS 1696339 HAS SOUS 257240 HAS SOUPS 256677 WITH SCORE 258377.867
AT ITER 843 NEW BEST:: SOT 2758722 SOS 1700503 HAS SOPS 1695949 HAS SOUS 256876 HAS SOUPS 256313 WITH SCORE 258013.503
AT ITER 844 NEW BEST:: SOT 2758527 SOS 1700308 HAS SOPS 1695754 HAS SOUS 256681 HAS SOUPS 256118 WITH SCORE 257818.308
AT ITER 852 NEW BEST:: SOT 2758751 SOS 1699725 HAS SOPS 1695171 HAS SOUS 256139 HAS SOUPS 255576 WITH SCORE 257275.725
AT ITER 858 NEW BEST:: SOT 2758733 SOS 1699653 HAS SOPS 1695099 HAS SOUS 256049 HAS SOUPS 255486 WITH SCORE 257185.653
AT ITER 872 NEW BEST:: SOT 2755886 SOS 1697039 HAS SOPS 1692485 HAS SOUS 254227 HAS SOUPS 253664 WITH SCORE 255361.039
AT ITER 881 NEW BEST:: SOT 2755521 SOS 1696883 HAS SOPS 1692329 HAS SOUS 253977 HAS SOUPS 253414 WITH SCORE 255110.883
AT ITER 884 NEW BEST:: SOT 2755482 SOS 1696864 HAS SOPS 1692310 HAS SOUS 253736 HAS SOUPS 253173 WITH SCORE 254869.864
AT ITER 886 NEW BEST:: SOT 2755398 SOS 1696640 HAS SOPS 1692086 HAS SOUS 253596 HAS SOUPS 253033 WITH SCORE 254729.64
AT ITER 904 NEW BEST:: SOT 2755398 SOS 1696696 HAS SOPS 1692142 HAS SOUS 253554 HAS SOUPS 252991 WITH SCORE 254687.696
AT ITER 933 NEW BEST:: SOT 2755600 SOS 1696898 HAS SOPS 1692344 HAS SOUS 253492 HAS SOUPS 252929 WITH SCORE 254625.898
AT ITER 938 NEW BEST:: SOT 2755523 SOS 1696775 HAS SOPS 1692055 HAS SOUS 253272 HAS SOUPS 252709 WITH SCORE 254405.775
AT ITER 969 NEW BEST:: SOT 2755523 SOS 1696769 HAS SOPS 1692049 HAS SOUS 253221 HAS SOUPS 252658 WITH SCORE 254354.769
AT ITER 973 NEW BEST:: SOT 2755523 SOS 1696769 HAS SOPS 1692049 HAS SOUS 253201 HAS SOUPS 252638 WITH SCORE 254334.769
AT ITER 981 NEW BEST:: SOT 2755735 SOS 1697227 HAS SOPS 1692507 HAS SOUS 252856 HAS SOUPS 252293 WITH SCORE 253990.227
AT ITER 982 NEW BEST:: SOT 2755395 SOS 1697114 HAS SOPS 1692394 HAS SOUS 252344 HAS SOUPS 251781 WITH SCORE 253478.114
AT ITER 989 NEW BEST:: SOT 2755329 SOS 1697048 HAS SOPS 1692328 HAS SOUS 252321 HAS SOUPS 251758 WITH SCORE 253455.048
AT ITER 993 NEW BEST:: SOT 2755585 SOS 1697304 HAS SOPS 1692584 HAS SOUS 252108 HAS SOUPS 251545 WITH SCORE 253242.304
AT ITER 994 NEW BEST:: SOT 2755561 SOS 1697208 HAS SOPS 1692488 HAS SOUS 251960 HAS SOUPS 251397 WITH SCORE 253094.208
AT ITER 1005 NEW BEST:: SOT 2755539 SOS 1697186 HAS SOPS 1692444 HAS SOUS 251960 HAS SOUPS 251353 WITH SCORE 253050.186
AT ITER 1028 NEW BEST:: SOT 2755552 SOS 1696137 HAS SOPS 1691395 HAS SOUS 251752 HAS SOUPS 251145 WITH SCORE 252841.137
AT ITER 1033 NEW BEST:: SOT 2755862 SOS 1696645 HAS SOPS 1691903 HAS SOUS 251037 HAS SOUPS 250430 WITH SCORE 252126.645
AT ITER 1036 NEW BEST:: SOT 2755862 SOS 1696641 HAS SOPS 1691899 HAS SOUS 251037 HAS SOUPS 250430 WITH SCORE 252126.641
AT ITER 1043 NEW BEST:: SOT 2755862 SOS 1696637 HAS SOPS 1691895 HAS SOUS 251029 HAS SOUPS 250422 WITH SCORE 252118.637
AT ITER 1055 NEW BEST:: SOT 2754777 SOS 1695536 HAS SOPS 1690794 HAS SOUS 250345 HAS SOUPS 249738 WITH SCORE 251433.536
AT ITER 1064 NEW BEST:: SOT 2754639 SOS 1695629 HAS SOPS 1690887 HAS SOUS 249937 HAS SOUPS 249330 WITH SCORE 251025.629
AT ITER 1065 NEW BEST:: SOT 2754564 SOS 1695577 HAS SOPS 1690835 HAS SOUS 249887 HAS SOUPS 249280 WITH SCORE 250975.577
AT ITER 1083 NEW BEST:: SOT 2754433 SOS 1695446 HAS SOPS 1690704 HAS SOUS 249876 HAS SOUPS 249269 WITH SCORE 250964.446
AT ITER 1087 NEW BEST:: SOT 2754061 SOS 1694950 HAS SOPS 1690208 HAS SOUS 249504 HAS SOUPS 248897 WITH SCORE 250591.95
AT ITER 1088 NEW BEST:: SOT 2754164 SOS 1695173 HAS SOPS 1690431 HAS SOUS 249390 HAS SOUPS 248783 WITH SCORE 250478.173
AT ITER 1090 NEW BEST:: SOT 2696269 SOS 1637278 HAS SOPS 1632536 HAS SOUS 242439 HAS SOUPS 241832 WITH SCORE 243469.278
AT ITER 1104 NEW BEST:: SOT 2695574 SOS 1636505 HAS SOPS 1631763 HAS SOUS 241949 HAS SOUPS 241342 WITH SCORE 242978.505
AT ITER 1111 NEW BEST:: SOT 2663053 SOS 1603965 HAS SOPS 1599223 HAS SOUS 238452 HAS SOUPS 237845 WITH SCORE 239448.965
AT ITER 1119 NEW BEST:: SOT 2663093 SOS 1604321 HAS SOPS 1599575 HAS SOUS 238448 HAS SOUPS 237841 WITH SCORE 239445.321
AT ITER 1122 NEW BEST:: SOT 2663051 SOS 1604265 HAS SOPS 1599519 HAS SOUS 238392 HAS SOUPS 237785 WITH SCORE 239389.265
AT ITER 1129 NEW BEST:: SOT 2663099 SOS 1604158 HAS SOPS 1599412 HAS SOUS 237796 HAS SOUPS 237189 WITH SCORE 238793.158
AT ITER 1142 NEW BEST:: SOT 2663099 SOS 1603741 HAS SOPS 1598995 HAS SOUS 237777 HAS SOUPS 237170 WITH SCORE 238773.741
AT ITER 1148 NEW BEST:: SOT 2663059 SOS 1603691 HAS SOPS 1598945 HAS SOUS 237707 HAS SOUPS 237100 WITH SCORE 238703.691
AT ITER 1185 NEW BEST:: SOT 2663034 SOS 1603666 HAS SOPS 1598895 HAS SOUS 237657 HAS SOUPS 237050 WITH SCORE 238653.666
AT ITER 1186 NEW BEST:: SOT 2662637 SOS 1603329 HAS SOPS 1598558 HAS SOUS 237358 HAS SOUPS 236751 WITH SCORE 238354.329
AT ITER 1192 NEW BEST:: SOT 2662450 SOS 1603142 HAS SOPS 1598371 HAS SOUS 237323 HAS SOUPS 236716 WITH SCORE 238319.142
AT ITER 1197 NEW BEST:: SOT 2662402 SOS 1603060 HAS SOPS 1598289 HAS SOUS 237251 HAS SOUPS 236644 WITH SCORE 238247.06
AT ITER 1198 NEW BEST:: SOT 2662020 SOS 1601727 HAS SOPS 1596956 HAS SOUS 236526 HAS SOUPS 235919 WITH SCORE 237520.727
AT ITER 1200 NEW BEST:: SOT 2661857 SOS 1601507 HAS SOPS 1596736 HAS SOUS 236304 HAS SOUPS 235697 WITH SCORE 237298.507
AT ITER 1210 NEW BEST:: SOT 2661853 SOS 1601503 HAS SOPS 1596728 HAS SOUS 236296 HAS SOUPS 235689 WITH SCORE 237290.503
AT ITER 1213 NEW BEST:: SOT 2661971 SOS 1602343 HAS SOPS 1597648 HAS SOUS 236158 HAS SOUPS 235551 WITH SCORE 237153.343
AT ITER 1218 NEW BEST:: SOT 2661953 SOS 1602250 HAS SOPS 1597555 HAS SOUS 236019 HAS SOUPS 235412 WITH SCORE 237014.25
AT ITER 1224 NEW BEST:: SOT 2661805 SOS 1601901 HAS SOPS 1597206 HAS SOUS 235834 HAS SOUPS 235227 WITH SCORE 236828.901
AT ITER 1226 NEW BEST:: SOT 2661537 SOS 1601623 HAS SOPS 1596928 HAS SOUS 235328 HAS SOUPS 234721 WITH SCORE 236322.623
AT ITER 1244 NEW BEST:: SOT 2661582 SOS 1601668 HAS SOPS 1596937 HAS SOUS 235280 HAS SOUPS 234673 WITH SCORE 236274.668
AT ITER 1248 NEW BEST:: SOT 2661551 SOS 1601637 HAS SOPS 1596906 HAS SOUS 235205 HAS SOUPS 234598 WITH SCORE 236199.637
AT ITER 1263 NEW BEST:: SOT 2661474 SOS 1601537 HAS SOPS 1596806 HAS SOUS 235029 HAS SOUPS 234422 WITH SCORE 236023.537
AT ITER 1267 NEW BEST:: SOT 2661283 SOS 1601333 HAS SOPS 1596599 HAS SOUS 234942 HAS SOUPS 234335 WITH SCORE 235936.333
AT ITER 1270 NEW BEST:: SOT 2661239 SOS 1601278 HAS SOPS 1596544 HAS SOUS 234887 HAS SOUPS 234280 WITH SCORE 235881.278
AT ITER 1273 NEW BEST:: SOT 2661418 SOS 1601423 HAS SOPS 1596689 HAS SOUS 234694 HAS SOUPS 234087 WITH SCORE 235688.423
AT ITER 1285 NEW BEST:: SOT 2661399 SOS 1601404 HAS SOPS 1596642 HAS SOUS 234657 HAS SOUPS 234050 WITH SCORE 235651.404
AT ITER 1286 NEW BEST:: SOT 2661157 SOS 1600670 HAS SOPS 1596031 HAS SOUS 234516 HAS SOUPS 233909 WITH SCORE 235509.67
AT ITER 1288 NEW BEST:: SOT 2661175 SOS 1600688 HAS SOPS 1596049 HAS SOUS 234483 HAS SOUPS 233876 WITH SCORE 235476.688
AT ITER 1294 NEW BEST:: SOT 2659985 SOS 1599537 HAS SOPS 1594898 HAS SOUS 233734 HAS SOUPS 233127 WITH SCORE 234726.537
AT ITER 1298 NEW BEST:: SOT 2659973 SOS 1599525 HAS SOPS 1594886 HAS SOUS 233716 HAS SOUPS 233109 WITH SCORE 234708.525
AT ITER 1300 NEW BEST:: SOT 2640655 SOS 1580187 HAS SOPS 1575548 HAS SOUS 232091 HAS SOUPS 231484 WITH SCORE 233064.187
AT ITER 1311 NEW BEST:: SOT 2640655 SOS 1580233 HAS SOPS 1575594 HAS SOUS 232073 HAS SOUPS 231466 WITH SCORE 233046.233
AT ITER 1312 NEW BEST:: SOT 2640655 SOS 1580415 HAS SOPS 1575776 HAS SOUS 231950 HAS SOUPS 231343 WITH SCORE 232923.415
AT ITER 1318 NEW BEST:: SOT 2640649 SOS 1580409 HAS SOPS 1575770 HAS SOUS 231944 HAS SOUPS 231337 WITH SCORE 232917.409
AT ITER 1329 NEW BEST:: SOT 2640636 SOS 1580376 HAS SOPS 1575737 HAS SOUS 231932 HAS SOUPS 231325 WITH SCORE 232905.376
AT ITER 1333 NEW BEST:: SOT 2640522 SOS 1580265 HAS SOPS 1575626 HAS SOUS 231796 HAS SOUPS 231189 WITH SCORE 232769.265
AT ITER 1343 NEW BEST:: SOT 2640337 SOS 1580027 HAS SOPS 1575388 HAS SOUS 231558 HAS SOUPS 230951 WITH SCORE 232531.027
AT ITER 1346 NEW BEST:: SOT 2640292 SOS 1579982 HAS SOPS 1575343 HAS SOUS 231513 HAS SOUPS 230906 WITH SCORE 232485.982
AT ITER 1360 NEW BEST:: SOT 2640328 SOS 1580018 HAS SOPS 1575379 HAS SOUS 231465 HAS SOUPS 230858 WITH SCORE 232438.018
AT ITER 1371 NEW BEST:: SOT 2640185 SOS 1579887 HAS SOPS 1575248 HAS SOUS 231399 HAS SOUPS 230792 WITH SCORE 232371.887
AT ITER 1380 NEW BEST:: SOT 2640156 SOS 1579829 HAS SOPS 1575190 HAS SOUS 231341 HAS SOUPS 230734 WITH SCORE 232313.829
AT ITER 1382 NEW BEST:: SOT 2640118 SOS 1579791 HAS SOPS 1575152 HAS SOUS 231265 HAS SOUPS 230658 WITH SCORE 232237.791
AT ITER 1384 NEW BEST:: SOT 2640116 SOS 1579788 HAS SOPS 1575149 HAS SOUS 231259 HAS SOUPS 230652 WITH SCORE 232231.788
AT ITER 1396 NEW BEST:: SOT 2640008 SOS 1579680 HAS SOPS 1575041 HAS SOUS 230935 HAS SOUPS 230328 WITH SCORE 231907.68
AT ITER 1422 NEW BEST:: SOT 2639959 SOS 1579271 HAS SOPS 1574632 HAS SOUS 230825 HAS SOUPS 230218 WITH SCORE 231797.271
AT ITER 1443 NEW BEST:: SOT 2639791 SOS 1578878 HAS SOPS 1574239 HAS SOUS 230648 HAS SOUPS 230041 WITH SCORE 231619.878
AT ITER 1450 NEW BEST:: SOT 2614815 SOS 1553902 HAS SOPS 1549263 HAS SOUS 225945 HAS SOUPS 225338 WITH SCORE 226891.902
AT ITER 1451 NEW BEST:: SOT 2614289 SOS 1553376 HAS SOPS 1548737 HAS SOUS 225663 HAS SOUPS 225056 WITH SCORE 226609.376
AT ITER 1453 NEW BEST:: SOT 2614269 SOS 1553336 HAS SOPS 1548697 HAS SOUS 225623 HAS SOUPS 225016 WITH SCORE 226569.336
AT ITER 1476 NEW BEST:: SOT 2614318 SOS 1553385 HAS SOPS 1548710 HAS SOUS 225594 HAS SOUPS 224981 WITH SCORE 226534.385
AT ITER 1490 NEW BEST:: SOT 2614247 SOS 1553287 HAS SOPS 1548612 HAS SOUS 225557 HAS SOUPS 224944 WITH SCORE 226497.287
AT ITER 1492 NEW BEST:: SOT 2614113 SOS 1553163 HAS SOPS 1548488 HAS SOUS 225437 HAS SOUPS 224824 WITH SCORE 226377.163
AT ITER 1504 NEW BEST:: SOT 2613510 SOS 1552555 HAS SOPS 1547880 HAS SOUS 225255 HAS SOUPS 224642 WITH SCORE 226194.555
AT ITER 1508 NEW BEST:: SOT 2596306 SOS 1566235 HAS SOPS 1561560 HAS SOUS 224030 HAS SOUPS 223417 WITH SCORE 224983.235
AT ITER 1519 NEW BEST:: SOT 2595983 SOS 1565971 HAS SOPS 1561296 HAS SOUS 223603 HAS SOUPS 222990 WITH SCORE 224555.971
AT ITER 1531 NEW BEST:: SOT 2593348 SOS 1569038 HAS SOPS 1564363 HAS SOUS 221328 HAS SOUPS 220715 WITH SCORE 222284.038
AT ITER 1552 NEW BEST:: SOT 2593382 SOS 1568993 HAS SOPS 1564298 HAS SOUS 220953 HAS SOUPS 220323 WITH SCORE 221891.993
AT ITER 1566 NEW BEST:: SOT 2593102 SOS 1568325 HAS SOPS 1563630 HAS SOUS 220738 HAS SOUPS 220108 WITH SCORE 221676.325
AT ITER 1567 NEW BEST:: SOT 2593102 SOS 1568379 HAS SOPS 1563684 HAS SOUS 220724 HAS SOUPS 220094 WITH SCORE 221662.379
AT ITER 1568 NEW BEST:: SOT 2593102 SOS 1568218 HAS SOPS 1563523 HAS SOUS 220724 HAS SOUPS 220094 WITH SCORE 221662.218
AT ITER 1585 NEW BEST:: SOT 2592972 SOS 1568088 HAS SOPS 1563393 HAS SOUS 220700 HAS SOUPS 220070 WITH SCORE 221638.088
AT ITER 1614 NEW BEST:: SOT 2592929 SOS 1568045 HAS SOPS 1563350 HAS SOUS 220685 HAS SOUPS 220055 WITH SCORE 221623.045
AT ITER 1616 NEW BEST:: SOT 2592660 SOS 1567911 HAS SOPS 1563216 HAS SOUS 220685 HAS SOUPS 220055 WITH SCORE 221622.911
AT ITER 1618 NEW BEST:: SOT 2592713 SOS 1567964 HAS SOPS 1563233 HAS SOUS 220619 HAS SOUPS 219989 WITH SCORE 221556.964
AT ITER 1628 NEW BEST:: SOT 2592390 SOS 1567519 HAS SOPS 1562788 HAS SOUS 220183 HAS SOUPS 219553 WITH SCORE 221120.519
AT ITER 1629 NEW BEST:: SOT 2592382 SOS 1567511 HAS SOPS 1562780 HAS SOUS 220175 HAS SOUPS 219545 WITH SCORE 221112.511
AT ITER 1636 NEW BEST:: SOT 2592432 SOS 1567561 HAS SOPS 1562830 HAS SOUS 219894 HAS SOUPS 219264 WITH SCORE 220831.561
AT ITER 1645 NEW BEST:: SOT 2592146 SOS 1567517 HAS SOPS 1562786 HAS SOUS 219787 HAS SOUPS 219157 WITH SCORE 220724.517
AT ITER 1666 NEW BEST:: SOT 2591188 SOS 1566661 HAS SOPS 1561930 HAS SOUS 218967 HAS SOUPS 218337 WITH SCORE 219903.661
AT ITER 1667 NEW BEST:: SOT 2526392 SOS 1502008 HAS SOPS 1497277 HAS SOUS 213374 HAS SOUPS 212744 WITH SCORE 214246.008
AT ITER 1677 NEW BEST:: SOT 2526392 SOS 1501972 HAS SOPS 1497241 HAS SOUS 213368 HAS SOUPS 212738 WITH SCORE 214239.972
AT ITER 1699 NEW BEST:: SOT 2526392 SOS 1501972 HAS SOPS 1497241 HAS SOUS 213356 HAS SOUPS 212726 WITH SCORE 214227.972
AT ITER 1708 NEW BEST:: SOT 2526266 SOS 1501846 HAS SOPS 1497118 HAS SOUS 213244 HAS SOUPS 212614 WITH SCORE 214115.846
AT ITER 1718 NEW BEST:: SOT 2526229 SOS 1501811 HAS SOPS 1497083 HAS SOUS 213226 HAS SOUPS 212596 WITH SCORE 214097.811
AT ITER 1721 NEW BEST:: SOT 2525263 SOS 1500710 HAS SOPS 1495982 HAS SOUS 212732 HAS SOUPS 212102 WITH SCORE 213602.71
AT ITER 1739 NEW BEST:: SOT 2525259 SOS 1500706 HAS SOPS 1495974 HAS SOUS 212724 HAS SOUPS 212094 WITH SCORE 213594.706
AT ITER 1744 NEW BEST:: SOT 2525197 SOS 1500883 HAS SOPS 1496151 HAS SOUS 212615 HAS SOUPS 211985 WITH SCORE 213485.883
AT ITER 1745 NEW BEST:: SOT 2525170 SOS 1500856 HAS SOPS 1496124 HAS SOUS 212588 HAS SOUPS 211958 WITH SCORE 213458.856
AT ITER 1750 NEW BEST:: SOT 2526508 SOS 1502250 HAS SOPS 1497518 HAS SOUS 212103 HAS SOUPS 211473 WITH SCORE 212975.25
AT ITER 1756 NEW BEST:: SOT 2526343 SOS 1502113 HAS SOPS 1497381 HAS SOUS 211872 HAS SOUPS 211242 WITH SCORE 212744.113
AT ITER 1781 NEW BEST:: SOT 2526286 SOS 1502056 HAS SOPS 1497324 HAS SOUS 211815 HAS SOUPS 211185 WITH SCORE 212687.056
AT ITER 1784 NEW BEST:: SOT 2526266 SOS 1501868 HAS SOPS 1497301 HAS SOUS 211784 HAS SOUPS 211159 WITH SCORE 212660.868
AT ITER 1793 NEW BEST:: SOT 2526146 SOS 1501718 HAS SOPS 1497151 HAS SOUS 211634 HAS SOUPS 211009 WITH SCORE 212510.718
AT ITER 1797 NEW BEST:: SOT 2526071 SOS 1501658 HAS SOPS 1497091 HAS SOUS 211589 HAS SOUPS 210964 WITH SCORE 212465.658
AT ITER 1804 NEW BEST:: SOT 2526270 SOS 1502131 HAS SOPS 1497564 HAS SOUS 211567 HAS SOUPS 210942 WITH SCORE 212444.131
AT ITER 1807 NEW BEST:: SOT 2525952 SOS 1501813 HAS SOPS 1497246 HAS SOUS 211422 HAS SOUPS 210797 WITH SCORE 212298.813
AT ITER 1808 NEW BEST:: SOT 2525952 SOS 1501421 HAS SOPS 1496854 HAS SOUS 211189 HAS SOUPS 210564 WITH SCORE 212065.421
AT ITER 1809 NEW BEST:: SOT 2525642 SOS 1501243 HAS SOPS 1496676 HAS SOUS 210941 HAS SOUPS 210316 WITH SCORE 211817.243
AT ITER 1815 NEW BEST:: SOT 2438821 SOS 1413867 HAS SOPS 1409300 HAS SOUS 201352 HAS SOUPS 200727 WITH SCORE 202140.867
AT ITER 1817 NEW BEST:: SOT 2438605 SOS 1413530 HAS SOPS 1408963 HAS SOUS 201110 HAS SOUPS 200485 WITH SCORE 201898.53
AT ITER 1829 NEW BEST:: SOT 2438601 SOS 1413522 HAS SOPS 1408955 HAS SOUS 201103 HAS SOUPS 200478 WITH SCORE 201891.522
AT ITER 1836 NEW BEST:: SOT 2438533 SOS 1413282 HAS SOPS 1408715 HAS SOUS 200863 HAS SOUPS 200238 WITH SCORE 201651.282
AT ITER 1839 NEW BEST:: SOT 2438167 SOS 1412716 HAS SOPS 1408149 HAS SOUS 200116 HAS SOUPS 199491 WITH SCORE 200903.716
AT ITER 1846 NEW BEST:: SOT 2437949 SOS 1412199 HAS SOPS 1407632 HAS SOUS 199829 HAS SOUPS 199204 WITH SCORE 200616.199
AT ITER 1855 NEW BEST:: SOT 2437934 SOS 1412184 HAS SOPS 1407617 HAS SOUS 199799 HAS SOUPS 199174 WITH SCORE 200586.184
AT ITER 1864 NEW BEST:: SOT 2437424 SOS 1405271 HAS SOPS 1399258 HAS SOUS 199556 HAS SOUPS 198690 WITH SCORE 200095.271
AT ITER 1873 NEW BEST:: SOT 2437424 SOS 1405493 HAS SOPS 1399480 HAS SOUS 199494 HAS SOUPS 198628 WITH SCORE 200033.493
AT ITER 1896 NEW BEST:: SOT 2437123 SOS 1405131 HAS SOPS 1399118 HAS SOUS 199123 HAS SOUPS 198257 WITH SCORE 199662.131
AT ITER 1912 NEW BEST:: SOT 2436982 SOS 1405038 HAS SOPS 1399025 HAS SOUS 199058 HAS SOUPS 198192 WITH SCORE 199597.038
AT ITER 1914 NEW BEST:: SOT 2437070 SOS 1400300 HAS SOPS 1394287 HAS SOUS 198838 HAS SOUPS 197972 WITH SCORE 199372.3
AT ITER 1915 NEW BEST:: SOT 2436653 SOS 1399847 HAS SOPS 1393834 HAS SOUS 198177 HAS SOUPS 197311 WITH SCORE 198710.847
AT ITER 1924 NEW BEST:: SOT 2436643 SOS 1399837 HAS SOPS 1393824 HAS SOUS 198157 HAS SOUPS 197291 WITH SCORE 198690.837
AT ITER 1929 NEW BEST:: SOT 2436629 SOS 1398009 HAS SOPS 1391996 HAS SOUS 198115 HAS SOUPS 197249 WITH SCORE 198647.009
AT ITER 1932 NEW BEST:: SOT 2436627 SOS 1398007 HAS SOPS 1391994 HAS SOUS 198113 HAS SOUPS 197247 WITH SCORE 198645.007
AT ITER 1934 NEW BEST:: SOT 2436601 SOS 1397893 HAS SOPS 1391880 HAS SOUS 198043 HAS SOUPS 197177 WITH SCORE 198574.893
AT ITER 1952 NEW BEST:: SOT 2436596 SOS 1397888 HAS SOPS 1391875 HAS SOUS 198038 HAS SOUPS 197172 WITH SCORE 198569.888
AT ITER 1961 NEW BEST:: SOT 2436549 SOS 1397765 HAS SOPS 1391752 HAS SOUS 197915 HAS SOUPS 197049 WITH SCORE 198446.765
AT ITER 1965 NEW BEST:: SOT 2436653 SOS 1397869 HAS SOPS 1391919 HAS SOUS 197903 HAS SOUPS 197037 WITH SCORE 198434.869
AT ITER 1993 NEW BEST:: SOT 2436730 SOS 1397946 HAS SOPS 1391960 HAS SOUS 197871 HAS SOUPS 197005 WITH SCORE 198402.946
AT ITER 1996 NEW BEST:: SOT 2436284 SOS 1397739 HAS SOPS 1391753 HAS SOUS 197750 HAS SOUPS 196884 WITH SCORE 198281.739
AT ITER 1997 NEW BEST:: SOT 2422114 SOS 1383569 HAS SOPS 1377583 HAS SOUS 195741 HAS SOUPS 194875 WITH SCORE 196258.569
AT ITER 1999 NEW BEST:: SOT 2422088 SOS 1383387 HAS SOPS 1377401 HAS SOUS 195741 HAS SOUPS 194875 WITH SCORE 196258.387
AT ITER 2006 NEW BEST:: SOT 2422116 SOS 1383415 HAS SOPS 1377372 HAS SOUS 195737 HAS SOUPS 194826 WITH SCORE 196209.415
AT ITER 2021 NEW BEST:: SOT 2422683 SOS 1382862 HAS SOPS 1376819 HAS SOUS 194924 HAS SOUPS 194013 WITH SCORE 195395.862
AT ITER 2027 NEW BEST:: SOT 2422659 SOS 1382769 HAS SOPS 1376654 HAS SOUS 194773 HAS SOUPS 193862 WITH SCORE 195244.769
AT ITER 2044 NEW BEST:: SOT 2422958 SOS 1383018 HAS SOPS 1376903 HAS SOUS 194760 HAS SOUPS 193849 WITH SCORE 195232.018
AT ITER 2052 NEW BEST:: SOT 2422950 SOS 1382995 HAS SOPS 1376880 HAS SOUS 194737 HAS SOUPS 193826 WITH SCORE 195208.995
AT ITER 2057 NEW BEST:: SOT 2423202 SOS 1383744 HAS SOPS 1377629 HAS SOUS 194731 HAS SOUPS 193820 WITH SCORE 195203.744
AT ITER 2060 NEW BEST:: SOT 2423186 SOS 1383728 HAS SOPS 1377597 HAS SOUS 194699 HAS SOUPS 193788 WITH SCORE 195171.728
AT ITER 2064 NEW BEST:: SOT 2423172 SOS 1383700 HAS SOPS 1377569 HAS SOUS 194671 HAS SOUPS 193760 WITH SCORE 195143.7
AT ITER 2074 NEW BEST:: SOT 2423082 SOS 1383610 HAS SOPS 1377479 HAS SOUS 194581 HAS SOUPS 193670 WITH SCORE 195053.61
AT ITER 2076 NEW BEST:: SOT 2423122 SOS 1383650 HAS SOPS 1377508 HAS SOUS 194559 HAS SOUPS 193648 WITH SCORE 195031.65
AT ITER 2081 NEW BEST:: SOT 2423080 SOS 1383545 HAS SOPS 1377403 HAS SOUS 194475 HAS SOUPS 193564 WITH SCORE 194947.545
AT ITER 2083 NEW BEST:: SOT 2422900 SOS 1382701 HAS SOPS 1376559 HAS SOUS 194145 HAS SOUPS 193234 WITH SCORE 194616.701
AT ITER 2088 NEW BEST:: SOT 2422861 SOS 1382449 HAS SOPS 1376307 HAS SOUS 194067 HAS SOUPS 193156 WITH SCORE 194538.449
AT ITER 2090 NEW BEST:: SOT 2422677 SOS 1382272 HAS SOPS 1376130 HAS SOUS 193294 HAS SOUPS 192383 WITH SCORE 193765.272
AT ITER 2101 NEW BEST:: SOT 2422139 SOS 1381217 HAS SOPS 1375075 HAS SOUS 192974 HAS SOUPS 192063 WITH SCORE 193444.217
AT ITER 2108 NEW BEST:: SOT 2421840 SOS 1381085 HAS SOPS 1375006 HAS SOUS 192859 HAS SOUPS 191948 WITH SCORE 193329.085
AT ITER 2128 NEW BEST:: SOT 2421821 SOS 1381066 HAS SOPS 1374968 HAS SOUS 192816 HAS SOUPS 191905 WITH SCORE 193286.066
AT ITER 2136 NEW BEST:: SOT 2421719 SOS 1383058 HAS SOPS 1376960 HAS SOUS 192625 HAS SOUPS 191714 WITH SCORE 193097.058
AT ITER 2140 NEW BEST:: SOT 2421869 SOS 1383208 HAS SOPS 1377011 HAS SOUS 192620 HAS SOUPS 191709 WITH SCORE 193092.208
AT ITER 2143 NEW BEST:: SOT 2421826 SOS 1383173 HAS SOPS 1376940 HAS SOUS 192568 HAS SOUPS 191657 WITH SCORE 193040.173
AT ITER 2153 NEW BEST:: SOT 2421793 SOS 1383140 HAS SOPS 1376907 HAS SOUS 192546 HAS SOUPS 191635 WITH SCORE 193018.14
AT ITER 2158 NEW BEST:: SOT 2421400 SOS 1383385 HAS SOPS 1377268 HAS SOUS 192440 HAS SOUPS 191529 WITH SCORE 192912.385
AT ITER 2172 NEW BEST:: SOT 2421406 SOS 1383391 HAS SOPS 1377213 HAS SOUS 192338 HAS SOUPS 191412 WITH SCORE 192795.391
AT ITER 2196 NEW BEST:: SOT 2421345 SOS 1383213 HAS SOPS 1377035 HAS SOUS 192056 HAS SOUPS 191130 WITH SCORE 192513.213
AT ITER 2201 NEW BEST:: SOT 2421337 SOS 1383197 HAS SOPS 1377019 HAS SOUS 192048 HAS SOUPS 191122 WITH SCORE 192505.197
AT ITER 2215 NEW BEST:: SOT 2421353 SOS 1383439 HAS SOPS 1377261 HAS SOUS 191842 HAS SOUPS 190916 WITH SCORE 192299.439
AT ITER 2226 NEW BEST:: SOT 2421218 SOS 1383283 HAS SOPS 1377105 HAS SOUS 191684 HAS SOUPS 190758 WITH SCORE 192141.283
AT ITER 2254 NEW BEST:: SOT 2421198 SOS 1383263 HAS SOPS 1377085 HAS SOUS 191644 HAS SOUPS 190718 WITH SCORE 192101.263
AT ITER 2260 NEW BEST:: SOT 2421096 SOS 1383161 HAS SOPS 1376983 HAS SOUS 191512 HAS SOUPS 190586 WITH SCORE 191969.161
AT ITER 2262 NEW BEST:: SOT 2421079 SOS 1383144 HAS SOPS 1376966 HAS SOUS 191479 HAS SOUPS 190553 WITH SCORE 191936.144
AT ITER 2265 NEW BEST:: SOT 2420930 SOS 1383017 HAS SOPS 1376839 HAS SOUS 191452 HAS SOUPS 190526 WITH SCORE 191909.017
AT ITER 2273 NEW BEST:: SOT 2420901 SOS 1382988 HAS SOPS 1376781 HAS SOUS 191394 HAS SOUPS 190468 WITH SCORE 191850.988
AT ITER 2279 NEW BEST:: SOT 2420799 SOS 1382784 HAS SOPS 1376577 HAS SOUS 191241 HAS SOUPS 190315 WITH SCORE 191697.784
AT ITER 2292 NEW BEST:: SOT 2420725 SOS 1382710 HAS SOPS 1376503 HAS SOUS 191167 HAS SOUPS 190241 WITH SCORE 191623.71
AT ITER 2308 NEW BEST:: SOT 2402152 SOS 1364113 HAS SOPS 1357906 HAS SOUS 189130 HAS SOUPS 188204 WITH SCORE 189568.113
AT ITER 2309 NEW BEST:: SOT 2402133 SOS 1364081 HAS SOPS 1357881 HAS SOUS 189106 HAS SOUPS 188187 WITH SCORE 189551.081
AT ITER 2314 NEW BEST:: SOT 2402138 SOS 1364194 HAS SOPS 1357994 HAS SOUS 188967 HAS SOUPS 188048 WITH SCORE 189412.194
AT ITER 2322 NEW BEST:: SOT 2402136 SOS 1364192 HAS SOPS 1357992 HAS SOUS 188967 HAS SOUPS 188048 WITH SCORE 189412.192
AT ITER 2323 NEW BEST:: SOT 2402112 SOS 1364168 HAS SOPS 1357968 HAS SOUS 188967 HAS SOUPS 188048 WITH SCORE 189412.168
AT ITER 2346 NEW BEST:: SOT 2402112 SOS 1364151 HAS SOPS 1357951 HAS SOUS 188959 HAS SOUPS 188040 WITH SCORE 189404.151
AT ITER 2348 NEW BEST:: SOT 2402108 SOS 1364143 HAS SOPS 1357943 HAS SOUS 188943 HAS SOUPS 188024 WITH SCORE 189388.143
AT ITER 2363 NEW BEST:: SOT 2402105 SOS 1364137 HAS SOPS 1357937 HAS SOUS 188942 HAS SOUPS 188023 WITH SCORE 189387.137
AT ITER 2367 NEW BEST:: SOT 2402098 SOS 1364123 HAS SOPS 1357923 HAS SOUS 188928 HAS SOUPS 188009 WITH SCORE 189373.123
AT ITER 2372 NEW BEST:: SOT 2401952 SOS 1363999 HAS SOPS 1357864 HAS SOUS 188892 HAS SOUPS 187973 WITH SCORE 189336.999
AT ITER 2391 NEW BEST:: SOT 2402140 SOS 1364380 HAS SOPS 1358245 HAS SOUS 188757 HAS SOUPS 187838 WITH SCORE 189202.38
AT ITER 2405 NEW BEST:: SOT 2402138 SOS 1364439 HAS SOPS 1358304 HAS SOUS 188655 HAS SOUPS 187736 WITH SCORE 189100.439
AT ITER 2413 NEW BEST:: SOT 2357551 SOS 1335441 HAS SOPS 1329306 HAS SOUS 185251 HAS SOUPS 184332 WITH SCORE 185667.441
AT ITER 2441 NEW BEST:: SOT 2357107 SOS 1334997 HAS SOPS 1328862 HAS SOUS 184659 HAS SOUPS 183740 WITH SCORE 185074.997
AT ITER 2457 NEW BEST:: SOT 2357052 SOS 1334852 HAS SOPS 1328717 HAS SOUS 184613 HAS SOUPS 183694 WITH SCORE 185028.852
AT ITER 2458 NEW BEST:: SOT 2357096 SOS 1334545 HAS SOPS 1328413 HAS SOUS 184516 HAS SOUPS 183597 WITH SCORE 184931.545
AT ITER 2473 NEW BEST:: SOT 2357056 SOS 1334505 HAS SOPS 1328373 HAS SOUS 184476 HAS SOUPS 183557 WITH SCORE 184891.505
AT ITER 2474 NEW BEST:: SOT 2356895 SOS 1333823 HAS SOPS 1327691 HAS SOUS 183250 HAS SOUPS 182331 WITH SCORE 183664.823
AT ITER 2482 NEW BEST:: SOT 2356889 SOS 1333828 HAS SOPS 1327696 HAS SOUS 183222 HAS SOUPS 182303 WITH SCORE 183636.828
AT ITER 2487 NEW BEST:: SOT 2356817 SOS 1333756 HAS SOPS 1327624 HAS SOUS 183150 HAS SOUPS 182231 WITH SCORE 183564.756
AT ITER 2494 NEW BEST:: SOT 2356775 SOS 1333714 HAS SOPS 1327582 HAS SOUS 183024 HAS SOUPS 182105 WITH SCORE 183438.714
AT ITER 2505 NEW BEST:: SOT 2356824 SOS 1333716 HAS SOPS 1327584 HAS SOUS 182414 HAS SOUPS 181495 WITH SCORE 182828.716
AT ITER 2506 NEW BEST:: SOT 2356767 SOS 1333513 HAS SOPS 1327381 HAS SOUS 182227 HAS SOUPS 181308 WITH SCORE 182641.513
AT ITER 2512 NEW BEST:: SOT 2356732 SOS 1333443 HAS SOPS 1327311 HAS SOUS 182187 HAS SOUPS 181268 WITH SCORE 182601.443
AT ITER 2515 NEW BEST:: SOT 2356667 SOS 1333327 HAS SOPS 1327195 HAS SOUS 182071 HAS SOUPS 181152 WITH SCORE 182485.327
AT ITER 2539 NEW BEST:: SOT 2356667 SOS 1333327 HAS SOPS 1327195 HAS SOUS 182067 HAS SOUPS 181148 WITH SCORE 182481.327
AT ITER 2542 NEW BEST:: SOT 2356526 SOS 1317653 HAS SOPS 1311521 HAS SOUS 181657 HAS SOUPS 180738 WITH SCORE 182055.653
AT ITER 2544 NEW BEST:: SOT 2356359 SOS 1317347 HAS SOPS 1311332 HAS SOUS 181593 HAS SOUPS 180674 WITH SCORE 181991.347
AT ITER 2550 NEW BEST:: SOT 2356214 SOS 1317069 HAS SOPS 1311054 HAS SOUS 181407 HAS SOUPS 180488 WITH SCORE 181805.069
AT ITER 2598 NEW BEST:: SOT 2356112 SOS 1316957 HAS SOPS 1310942 HAS SOUS 181295 HAS SOUPS 180376 WITH SCORE 181692.957
AT ITER 2602 NEW BEST:: SOT 2356054 SOS 1316882 HAS SOPS 1310867 HAS SOUS 181181 HAS SOUPS 180262 WITH SCORE 181578.882
AT ITER 2613 NEW BEST:: SOT 2356157 SOS 1316985 HAS SOPS 1310970 HAS SOUS 181098 HAS SOUPS 180179 WITH SCORE 181495.985
AT ITER 2640 NEW BEST:: SOT 2356129 SOS 1316961 HAS SOPS 1310946 HAS SOUS 180852 HAS SOUPS 179933 WITH SCORE 181249.961
AT ITER 2649 NEW BEST:: SOT 2356230 SOS 1317062 HAS SOPS 1311011 HAS SOUS 180823 HAS SOUPS 179904 WITH SCORE 181221.062
AT ITER 2660 NEW BEST:: SOT 2356156 SOS 1316951 HAS SOPS 1310900 HAS SOUS 180749 HAS SOUPS 179830 WITH SCORE 181146.951
AT ITER 2667 NEW BEST:: SOT 2356052 SOS 1316847 HAS SOPS 1310796 HAS SOUS 180677 HAS SOUPS 179758 WITH SCORE 181074.847
AT ITER 2676 NEW BEST:: SOT 2356052 SOS 1316146 HAS SOPS 1310095 HAS SOUS 180676 HAS SOUPS 179757 WITH SCORE 181073.146
AT ITER 2684 NEW BEST:: SOT 2356052 SOS 1316146 HAS SOPS 1310095 HAS SOUS 180674 HAS SOUPS 179755 WITH SCORE 181071.146
AT ITER 2693 NEW BEST:: SOT 2356016 SOS 1316110 HAS SOPS 1310023 HAS SOUS 180602 HAS SOUPS 179683 WITH SCORE 180999.11
AT ITER 2694 NEW BEST:: SOT 2355743 SOS 1315652 HAS SOPS 1309614 HAS SOUS 180299 HAS SOUPS 179380 WITH SCORE 180695.652
AT ITER 2703 NEW BEST:: SOT 2355707 SOS 1315565 HAS SOPS 1309527 HAS SOUS 180245 HAS SOUPS 179326 WITH SCORE 180641.565
AT ITER 2725 NEW BEST:: SOT 2355634 SOS 1315480 HAS SOPS 1309442 HAS SOUS 180122 HAS SOUPS 179203 WITH SCORE 180518.48
AT ITER 2747 NEW BEST:: SOT 2355634 SOS 1315760 HAS SOPS 1309722 HAS SOUS 180115 HAS SOUPS 179196 WITH SCORE 180511.76
AT ITER 2757 NEW BEST:: SOT 2355634 SOS 1315574 HAS SOPS 1309536 HAS SOUS 180115 HAS SOUPS 179196 WITH SCORE 180511.574
AT ITER 2766 NEW BEST:: SOT 2355676 SOS 1315602 HAS SOPS 1309564 HAS SOUS 180071 HAS SOUPS 179152 WITH SCORE 180467.602
AT ITER 2779 NEW BEST:: SOT 2355708 SOS 1315634 HAS SOPS 1309626 HAS SOUS 180045 HAS SOUPS 179126 WITH SCORE 180441.634
AT ITER 2780 NEW BEST:: SOT 2355552 SOS 1315478 HAS SOPS 1309470 HAS SOUS 179865 HAS SOUPS 178946 WITH SCORE 180261.478
AT ITER 2783 NEW BEST:: SOT 2355479 SOS 1305553 HAS SOPS 1299545 HAS SOUS 179831 HAS SOUPS 178912 WITH SCORE 180217.553
AT ITER 2787 NEW BEST:: SOT 2355398 SOS 1300955 HAS SOPS 1294947 HAS SOUS 179469 HAS SOUPS 178550 WITH SCORE 179850.955
AT ITER 2796 NEW BEST:: SOT 2355395 SOS 1300952 HAS SOPS 1294944 HAS SOUS 179466 HAS SOUPS 178547 WITH SCORE 179847.952
AT ITER 2815 NEW BEST:: SOT 2355349 SOS 1300906 HAS SOPS 1294898 HAS SOUS 179421 HAS SOUPS 178502 WITH SCORE 179802.906
AT ITER 2817 NEW BEST:: SOT 2355334 SOS 1300891 HAS SOPS 1294883 HAS SOUS 179391 HAS SOUPS 178472 WITH SCORE 179772.891
AT ITER 2819 NEW BEST:: SOT 2355320 SOS 1300863 HAS SOPS 1294855 HAS SOUS 179371 HAS SOUPS 178452 WITH SCORE 179752.863
AT ITER 2840 NEW BEST:: SOT 2355296 SOS 1300839 HAS SOPS 1294831 HAS SOUS 178836 HAS SOUPS 177917 WITH SCORE 179217.839
AT ITER 2847 NEW BEST:: SOT 2355182 SOS 1300594 HAS SOPS 1294582 HAS SOUS 178817 HAS SOUPS 177871 WITH SCORE 179171.594
AT ITER 2849 NEW BEST:: SOT 2354995 SOS 1300374 HAS SOPS 1294362 HAS SOUS 178800 HAS SOUPS 177854 WITH SCORE 179154.374
AT ITER 2853 NEW BEST:: SOT 2354946 SOS 1300325 HAS SOPS 1294313 HAS SOUS 178731 HAS SOUPS 177785 WITH SCORE 179085.325
AT ITER 2870 NEW BEST:: SOT 2354946 SOS 1227938 HAS SOPS 1221926 HAS SOUS 178731 HAS SOUPS 177785 WITH SCORE 179012.938
AT ITER 2900 NEW BEST:: SOT 2354946 SOS 1227938 HAS SOPS 1221909 HAS SOUS 178714 HAS SOUPS 177768 WITH SCORE 178995.938
AT ITER 2923 NEW BEST:: SOT 2354916 SOS 1227764 HAS SOPS 1221735 HAS SOUS 178654 HAS SOUPS 177708 WITH SCORE 178935.764
AT ITER 2924 NEW BEST:: SOT 2354700 SOS 1227494 HAS SOPS 1221465 HAS SOUS 178639 HAS SOUPS 177693 WITH SCORE 178920.494
AT ITER 2926 NEW BEST:: SOT 2354740 SOS 1227538 HAS SOPS 1221509 HAS SOUS 178405 HAS SOUPS 177459 WITH SCORE 178686.538
AT ITER 2931 NEW BEST:: SOT 2354678 SOS 1227478 HAS SOPS 1221449 HAS SOUS 178285 HAS SOUPS 177339 WITH SCORE 178566.478
AT ITER 2939 NEW BEST:: SOT 2342829 SOS 1215563 HAS SOPS 1209534 HAS SOUS 175470 HAS SOUPS 174524 WITH SCORE 175739.563
AT ITER 2943 NEW BEST:: SOT 2342931 SOS 1215767 HAS SOPS 1209738 HAS SOUS 175465 HAS SOUPS 174519 WITH SCORE 175734.767
AT ITER 2951 NEW BEST:: SOT 2343233 SOS 1216066 HAS SOPS 1210037 HAS SOUS 175139 HAS SOUPS 174193 WITH SCORE 175409.066
AT ITER 2958 NEW BEST:: SOT 2343232 SOS 1216065 HAS SOPS 1210036 HAS SOUS 175137 HAS SOUPS 174191 WITH SCORE 175407.065
AT ITER 2959 NEW BEST:: SOT 2343237 SOS 1216070 HAS SOPS 1210041 HAS SOUS 175124 HAS SOUPS 174178 WITH SCORE 175394.07
AT ITER 2960 NEW BEST:: SOT 2342860 SOS 1215861 HAS SOPS 1209832 HAS SOUS 175070 HAS SOUPS 174124 WITH SCORE 175339.861
AT ITER 2961 NEW BEST:: SOT 2342765 SOS 1215721 HAS SOPS 1209692 HAS SOUS 174926 HAS SOUPS 173980 WITH SCORE 175195.721
AT ITER 2962 NEW BEST:: SOT 2342823 SOS 1287247 HAS SOPS 1281218 HAS SOUS 174848 HAS SOUPS 173902 WITH SCORE 175189.247
AT ITER 2966 NEW BEST:: SOT 2342823 SOS 1287247 HAS SOPS 1281213 HAS SOUS 174846 HAS SOUPS 173900 WITH SCORE 175187.247
AT ITER 2973 NEW BEST:: SOT 2342841 SOS 1287265 HAS SOPS 1281195 HAS SOUS 174774 HAS SOUPS 173828 WITH SCORE 175115.265
AT ITER 2974 NEW BEST:: SOT 2342839 SOS 1287265 HAS SOPS 1281195 HAS SOUS 174772 HAS SOUPS 173826 WITH SCORE 175113.265
AT ITER 2987 NEW BEST:: SOT 2342925 SOS 1287351 HAS SOPS 1281227 HAS SOUS 174768 HAS SOUPS 173822 WITH SCORE 175109.351
AT ITER 2990 NEW BEST:: SOT 2342955 SOS 1287381 HAS SOPS 1281257 HAS SOUS 174763 HAS SOUPS 173817 WITH SCORE 175104.381
AT ITER 2999 NEW BEST:: SOT 2342814 SOS 1287181 HAS SOPS 1280958 HAS SOUS 174727 HAS SOUPS 173781 WITH SCORE 175068.181
AT ITER 3008 NEW BEST:: SOT 2342749 SOS 1287038 HAS SOPS 1280815 HAS SOUS 174662 HAS SOUPS 173716 WITH SCORE 175003.038
AT ITER 3014 NEW BEST:: SOT 2342663 SOS 1286913 HAS SOPS 1280789 HAS SOUS 174611 HAS SOUPS 173665 WITH SCORE 174951.913
AT ITER 3015 NEW BEST:: SOT 2342591 SOS 1151658 HAS SOPS 1145534 HAS SOUS 174467 HAS SOUPS 173521 WITH SCORE 174672.658
AT ITER 3023 NEW BEST:: SOT 2342451 SOS 1151556 HAS SOPS 1145432 HAS SOUS 174234 HAS SOUPS 173288 WITH SCORE 174439.556
AT ITER 3031 NEW BEST:: SOT 2342603 SOS 1151708 HAS SOPS 1145584 HAS SOUS 173972 HAS SOUPS 173026 WITH SCORE 174177.708
AT ITER 3041 NEW BEST:: SOT 2334417 SOS 1143334 HAS SOPS 1137210 HAS SOUS 173224 HAS SOUPS 172278 WITH SCORE 173421.334
AT ITER 3042 NEW BEST:: SOT 2333766 SOS 1142035 HAS SOPS 1135911 HAS SOUS 172872 HAS SOUPS 171926 WITH SCORE 173068.035
AT ITER 3044 NEW BEST:: SOT 2333748 SOS 1142017 HAS SOPS 1135893 HAS SOUS 172854 HAS SOUPS 171908 WITH SCORE 173050.017
AT ITER 3051 NEW BEST:: SOT 2333704 SOS 1141962 HAS SOPS 1135838 HAS SOUS 172799 HAS SOUPS 171853 WITH SCORE 172994.962
AT ITER 3052 NEW BEST:: SOT 2333559 SOS 1141695 HAS SOPS 1135571 HAS SOUS 172727 HAS SOUPS 171781 WITH SCORE 172922.695
AT ITER 3075 NEW BEST:: SOT 2333487 SOS 1141569 HAS SOPS 1135454 HAS SOUS 172659 HAS SOUPS 171713 WITH SCORE 172854.569
AT ITER 3077 NEW BEST:: SOT 2333480 SOS 1141567 HAS SOPS 1135452 HAS SOUS 172650 HAS SOUPS 171704 WITH SCORE 172845.567
AT ITER 3088 NEW BEST:: SOT 2333450 SOS 1133288 HAS SOPS 1127173 HAS SOUS 172364 HAS SOUPS 171418 WITH SCORE 172551.288
AT ITER 3092 NEW BEST:: SOT 2333336 SOS 1133239 HAS SOPS 1127169 HAS SOUS 172300 HAS SOUPS 171354 WITH SCORE 172487.239
AT ITER 3093 NEW BEST:: SOT 2333330 SOS 1133260 HAS SOPS 1127190 HAS SOUS 172288 HAS SOUPS 171342 WITH SCORE 172475.26
AT ITER 3094 NEW BEST:: SOT 2333330 SOS 1133260 HAS SOPS 1127190 HAS SOUS 172274 HAS SOUPS 171328 WITH SCORE 172461.26
AT ITER 3110 NEW BEST:: SOT 2333330 SOS 1133224 HAS SOPS 1127154 HAS SOUS 172058 HAS SOUPS 171112 WITH SCORE 172245.224
AT ITER 3112 NEW BEST:: SOT 2333304 SOS 1133189 HAS SOPS 1127119 HAS SOUS 172044 HAS SOUPS 171098 WITH SCORE 172231.189
AT ITER 3116 NEW BEST:: SOT 2333304 SOS 1133219 HAS SOPS 1127149 HAS SOUS 171924 HAS SOUPS 170978 WITH SCORE 172111.219
AT ITER 3131 NEW BEST:: SOT 2333307 SOS 1133117 HAS SOPS 1127047 HAS SOUS 171879 HAS SOUPS 170933 WITH SCORE 172066.117
AT ITER 3135 NEW BEST:: SOT 2333242 SOS 1133006 HAS SOPS 1126854 HAS SOUS 171751 HAS SOUPS 170786 WITH SCORE 171919.006
AT ITER 3140 NEW BEST:: SOT 2333199 SOS 1133124 HAS SOPS 1126987 HAS SOUS 171638 HAS SOUPS 170673 WITH SCORE 171806.124
AT ITER 3163 NEW BEST:: SOT 2333190 SOS 1133186 HAS SOPS 1127049 HAS SOUS 171488 HAS SOUPS 170523 WITH SCORE 171656.186
AT ITER 3185 NEW BEST:: SOT 2333134 SOS 1133130 HAS SOPS 1127011 HAS SOUS 171450 HAS SOUPS 170485 WITH SCORE 171618.13
AT ITER 3191 NEW BEST:: SOT 2333068 SOS 1133015 HAS SOPS 1126896 HAS SOUS 171268 HAS SOUPS 170303 WITH SCORE 171436.015
AT ITER 3221 NEW BEST:: SOT 2333047 SOS 1133080 HAS SOPS 1126961 HAS SOUS 171215 HAS SOUPS 170250 WITH SCORE 171383.08
AT ITER 3229 NEW BEST:: SOT 2326704 SOS 1126699 HAS SOPS 1120580 HAS SOUS 170942 HAS SOUPS 169977 WITH SCORE 171103.699
AT ITER 3248 NEW BEST:: SOT 2326678 SOS 1126673 HAS SOPS 1120554 HAS SOUS 170916 HAS SOUPS 169951 WITH SCORE 171077.673
AT ITER 3285 NEW BEST:: SOT 2326670 SOS 1126665 HAS SOPS 1120546 HAS SOUS 170900 HAS SOUPS 169935 WITH SCORE 171061.665
AT ITER 3299 NEW BEST:: SOT 2326654 SOS 1126649 HAS SOPS 1120514 HAS SOUS 170868 HAS SOUPS 169903 WITH SCORE 171029.649
AT ITER 3344 NEW BEST:: SOT 2334295 SOS 1015359 HAS SOPS 1009224 HAS SOUS 167954 HAS SOUPS 166989 WITH SCORE 168004.359
AT ITER 3357 NEW BEST:: SOT 2334295 SOS 1015359 HAS SOPS 1009224 HAS SOUS 167864 HAS SOUPS 166899 WITH SCORE 167914.359
AT ITER 3373 NEW BEST:: SOT 2334251 SOS 1015530 HAS SOPS 1009395 HAS SOUS 167742 HAS SOUPS 166777 WITH SCORE 167792.53
AT ITER 3386 NEW BEST:: SOT 2334235 SOS 1015748 HAS SOPS 1009613 HAS SOUS 167684 HAS SOUPS 166719 WITH SCORE 167734.748
AT ITER 3399 NEW BEST:: SOT 2334235 SOS 1015765 HAS SOPS 1009676 HAS SOUS 167597 HAS SOUPS 166632 WITH SCORE 167647.765
AT ITER 3413 NEW BEST:: SOT 2334175 SOS 1015705 HAS SOPS 1009556 HAS SOUS 167500 HAS SOUPS 166521 WITH SCORE 167536.705
AT ITER 3414 NEW BEST:: SOT 2334162 SOS 1015692 HAS SOPS 1009543 HAS SOUS 167474 HAS SOUPS 166495 WITH SCORE 167510.692
AT ITER 3418 NEW BEST:: SOT 2334217 SOS 1015747 HAS SOPS 1009598 HAS SOUS 167424 HAS SOUPS 166445 WITH SCORE 167460.747
AT ITER 3438 NEW BEST:: SOT 2334132 SOS 1015518 HAS SOPS 1009369 HAS SOUS 167254 HAS SOUPS 166275 WITH SCORE 167290.518
AT ITER 3456 NEW BEST:: SOT 2334099 SOS 1015482 HAS SOPS 1009333 HAS SOUS 167188 HAS SOUPS 166209 WITH SCORE 167224.482
AT ITER 3458 NEW BEST:: SOT 2334072 SOS 1015343 HAS SOPS 1009194 HAS SOUS 167133 HAS SOUPS 166154 WITH SCORE 167169.343
AT ITER 3490 NEW BEST:: SOT 2334128 SOS 1015399 HAS SOPS 1009250 HAS SOUS 166987 HAS SOUPS 166008 WITH SCORE 167023.399
AT ITER 3503 NEW BEST:: SOT 2334198 SOS 1015834 HAS SOPS 1009685 HAS SOUS 166868 HAS SOUPS 165889 WITH SCORE 166904.834
AT ITER 3511 NEW BEST:: SOT 2334287 SOS 1015947 HAS SOPS 1009818 HAS SOUS 166717 HAS SOUPS 165755 WITH SCORE 166770.947
AT ITER 3522 NEW BEST:: SOT 2334281 SOS 1015974 HAS SOPS 1009845 HAS SOUS 166705 HAS SOUPS 165743 WITH SCORE 166758.974
AT ITER 3527 NEW BEST:: SOT 2331950 SOS 1013640 HAS SOPS 1007511 HAS SOUS 166441 HAS SOUPS 165479 WITH SCORE 166492.64
AT ITER 3528 NEW BEST:: SOT 2331651 SOS 1013660 HAS SOPS 1007531 HAS SOUS 166311 HAS SOUPS 165349 WITH SCORE 166362.66
AT ITER 3535 NEW BEST:: SOT 2331177 SOS 1013192 HAS SOPS 1007063 HAS SOUS 166278 HAS SOUPS 165316 WITH SCORE 166329.192
AT ITER 3542 NEW BEST:: SOT 2331095 SOS 1012924 HAS SOPS 1006795 HAS SOUS 166222 HAS SOUPS 165260 WITH SCORE 166272.924
AT ITER 3606 NEW BEST:: SOT 2331087 SOS 1012910 HAS SOPS 1006787 HAS SOUS 166215 HAS SOUPS 165256 WITH SCORE 166268.91
AT ITER 3610 NEW BEST:: SOT 2331005 SOS 1012502 HAS SOPS 1006379 HAS SOUS 165807 HAS SOUPS 164848 WITH SCORE 165860.502
AT ITER 3612 NEW BEST:: SOT 2330346 SOS 1011866 HAS SOPS 1005743 HAS SOUS 165475 HAS SOUPS 164516 WITH SCORE 165527.866
AT ITER 3613 NEW BEST:: SOT 2328346 SOS 1009039 HAS SOPS 1002916 HAS SOUS 165335 HAS SOUPS 164376 WITH SCORE 165385.039
AT ITER 3634 NEW BEST:: SOT 2297841 SOS 978548 HAS SOPS 972425 HAS SOUS 161838 HAS SOUPS 160879 WITH SCORE 161857.548
AT ITER 3638 NEW BEST:: SOT 2297751 SOS 978458 HAS SOPS 972335 HAS SOUS 161738 HAS SOUPS 160779 WITH SCORE 161757.458
AT ITER 3659 NEW BEST:: SOT 2297683 SOS 978390 HAS SOPS 972299 HAS SOUS 161702 HAS SOUPS 160743 WITH SCORE 161721.39
AT ITER 3674 NEW BEST:: SOT 2297683 SOS 948864 HAS SOPS 942773 HAS SOUS 161702 HAS SOUPS 160743 WITH SCORE 161691.864
AT ITER 3682 NEW BEST:: SOT 2297619 SOS 948762 HAS SOPS 942671 HAS SOUS 161589 HAS SOUPS 160630 WITH SCORE 161578.762
AT ITER 3697 NEW BEST:: SOT 2297579 SOS 948722 HAS SOPS 942631 HAS SOUS 161549 HAS SOUPS 160590 WITH SCORE 161538.722
AT ITER 3718 NEW BEST:: SOT 2297504 SOS 948613 HAS SOPS 942522 HAS SOUS 161399 HAS SOUPS 160440 WITH SCORE 161388.613
AT ITER 3724 NEW BEST:: SOT 2297547 SOS 948656 HAS SOPS 942565 HAS SOUS 161393 HAS SOUPS 160434 WITH SCORE 161382.656
AT ITER 3737 NEW BEST:: SOT 2297527 SOS 948660 HAS SOPS 942533 HAS SOUS 161220 HAS SOUPS 160261 WITH SCORE 161209.66
AT ITER 3753 NEW BEST:: SOT 2297630 SOS 948862 HAS SOPS 942735 HAS SOUS 161051 HAS SOUPS 160092 WITH SCORE 161040.862
AT ITER 3763 NEW BEST:: SOT 2297605 SOS 948837 HAS SOPS 942710 HAS SOUS 161030 HAS SOUPS 160071 WITH SCORE 161019.837
AT ITER 3807 NEW BEST:: SOT 2297546 SOS 948778 HAS SOPS 942684 HAS SOUS 160912 HAS SOUPS 159953 WITH SCORE 160901.778
AT ITER 3810 NEW BEST:: SOT 2297236 SOS 948308 HAS SOPS 942214 HAS SOUS 160023 HAS SOUPS 159064 WITH SCORE 160012.308
AT ITER 3812 NEW BEST:: SOT 2297233 SOS 948305 HAS SOPS 942211 HAS SOUS 160019 HAS SOUPS 159060 WITH SCORE 160008.305
AT ITER 3821 NEW BEST:: SOT 2297368 SOS 948440 HAS SOPS 942283 HAS SOUS 160013 HAS SOUPS 159054 WITH SCORE 160002.44
AT ITER 3829 NEW BEST:: SOT 2297280 SOS 948097 HAS SOPS 941940 HAS SOUS 159688 HAS SOUPS 158729 WITH SCORE 159677.097
AT ITER 3895 NEW BEST:: SOT 2297280 SOS 948097 HAS SOPS 941940 HAS SOUS 159556 HAS SOUPS 158597 WITH SCORE 159545.097
AT ITER 3909 NEW BEST:: SOT 2297112 SOS 947988 HAS SOPS 941831 HAS SOUS 159229 HAS SOUPS 158270 WITH SCORE 159217.988
AT ITER 3920 NEW BEST:: SOT 2296945 SOS 947441 HAS SOPS 941284 HAS SOUS 159161 HAS SOUPS 158202 WITH SCORE 159149.441
AT ITER 3939 NEW BEST:: SOT 2296959 SOS 947455 HAS SOPS 941308 HAS SOUS 159152 HAS SOUPS 158193 WITH SCORE 159140.455
AT ITER 3953 NEW BEST:: SOT 2296958 SOS 947496 HAS SOPS 941349 HAS SOUS 159151 HAS SOUPS 158192 WITH SCORE 159139.496
AT ITER 3961 NEW BEST:: SOT 2296965 SOS 947503 HAS SOPS 941341 HAS SOUS 159143 HAS SOUPS 158184 WITH SCORE 159131.503
AT ITER 3962 NEW BEST:: SOT 2296959 SOS 947497 HAS SOPS 941335 HAS SOUS 159137 HAS SOUPS 158178 WITH SCORE 159125.497
AT ITER 3971 NEW BEST:: SOT 2296959 SOS 947497 HAS SOPS 941335 HAS SOUS 159131 HAS SOUPS 158172 WITH SCORE 159119.497
AT ITER 3990 NEW BEST:: SOT 2296843 SOS 947381 HAS SOPS 941219 HAS SOUS 158916 HAS SOUPS 157957 WITH SCORE 158904.381
AT ITER 3996 NEW BEST:: SOT 2296807 SOS 947309 HAS SOPS 941147 HAS SOUS 158844 HAS SOUPS 157885 WITH SCORE 158832.309
AT ITER 4010 NEW BEST:: SOT 2296862 SOS 947301 HAS SOPS 941139 HAS SOUS 158836 HAS SOUPS 157877 WITH SCORE 158824.301
AT ITER 4011 NEW BEST:: SOT 2296822 SOS 947271 HAS SOPS 941109 HAS SOUS 158806 HAS SOUPS 157847 WITH SCORE 158794.271
AT ITER 4012 NEW BEST:: SOT 2296836 SOS 947369 HAS SOPS 941207 HAS SOUS 158792 HAS SOUPS 157833 WITH SCORE 158780.369
AT ITER 4016 NEW BEST:: SOT 2296832 SOS 947361 HAS SOPS 941199 HAS SOUS 158784 HAS SOUPS 157825 WITH SCORE 158772.361
AT ITER 4033 NEW BEST:: SOT 2296832 SOS 947388 HAS SOPS 941226 HAS SOUS 158760 HAS SOUPS 157801 WITH SCORE 158748.388
AT ITER 4034 NEW BEST:: SOT 2296815 SOS 947371 HAS SOPS 941209 HAS SOUS 158726 HAS SOUPS 157767 WITH SCORE 158714.371
AT ITER 4038 NEW BEST:: SOT 2296649 SOS 947103 HAS SOPS 940941 HAS SOUS 158542 HAS SOUPS 157583 WITH SCORE 158530.103
AT ITER 4043 NEW BEST:: SOT 2296633 SOS 947087 HAS SOPS 940925 HAS SOUS 158526 HAS SOUPS 157567 WITH SCORE 158514.087
AT ITER 4056 NEW BEST:: SOT 2296642 SOS 947096 HAS SOPS 940927 HAS SOUS 158527 HAS SOUPS 157561 WITH SCORE 158508.096
AT ITER 4057 NEW BEST:: SOT 2296508 SOS 946858 HAS SOPS 940689 HAS SOUS 158308 HAS SOUPS 157342 WITH SCORE 158288.858
AT ITER 4088 NEW BEST:: SOT 2295725 SOS 949612 HAS SOPS 943443 HAS SOUS 158031 HAS SOUPS 157065 WITH SCORE 158014.612
AT ITER 4108 NEW BEST:: SOT 2295690 SOS 949302 HAS SOPS 943133 HAS SOUS 157805 HAS SOUPS 156839 WITH SCORE 157788.302
AT ITER 4117 NEW BEST:: SOT 2295690 SOS 949290 HAS SOPS 943121 HAS SOUS 157805 HAS SOUPS 156839 WITH SCORE 157788.29
AT ITER 4158 NEW BEST:: SOT 2295750 SOS 949350 HAS SOPS 943181 HAS SOUS 157795 HAS SOUPS 156829 WITH SCORE 157778.35
AT ITER 4164 NEW BEST:: SOT 2295656 SOS 949674 HAS SOPS 943505 HAS SOUS 157737 HAS SOUPS 156771 WITH SCORE 157720.674
AT ITER 4191 NEW BEST:: SOT 2295656 SOS 949673 HAS SOPS 943504 HAS SOUS 157700 HAS SOUPS 156734 WITH SCORE 157683.673
AT ITER 4213 NEW BEST:: SOT 2295619 SOS 949575 HAS SOPS 943406 HAS SOUS 157668 HAS SOUPS 156702 WITH SCORE 157651.575
AT ITER 4230 NEW BEST:: SOT 2295918 SOS 950700 HAS SOPS 944531 HAS SOUS 157570 HAS SOUPS 156604 WITH SCORE 157554.7
AT ITER 4263 NEW BEST:: SOT 2295954 SOS 950848 HAS SOPS 944679 HAS SOUS 157547 HAS SOUPS 156581 WITH SCORE 157531.848
AT ITER 4285 NEW BEST:: SOT 2295933 SOS 950827 HAS SOPS 944637 HAS SOUS 157505 HAS SOUPS 156539 WITH SCORE 157489.827
AT ITER 4303 NEW BEST:: SOT 2295960 SOS 951038 HAS SOPS 944848 HAS SOUS 157503 HAS SOUPS 156537 WITH SCORE 157488.038
AT ITER 4340 NEW BEST:: SOT 2295978 SOS 951034 HAS SOPS 944844 HAS SOUS 157455 HAS SOUPS 156489 WITH SCORE 157440.034
AT ITER 4346 NEW BEST:: SOT 2295733 SOS 950744 HAS SOPS 944554 HAS SOUS 157189 HAS SOUPS 156223 WITH SCORE 157173.744
AT ITER 4347 NEW BEST:: SOT 2295723 SOS 950734 HAS SOPS 944544 HAS SOUS 157179 HAS SOUPS 156213 WITH SCORE 157163.734
AT ITER 4353 NEW BEST:: SOT 2295719 SOS 950759 HAS SOPS 944569 HAS SOUS 157159 HAS SOUPS 156193 WITH SCORE 157143.759
AT ITER 4361 NEW BEST:: SOT 2294154 SOS 949194 HAS SOPS 943004 HAS SOUS 156790 HAS SOUPS 155824 WITH SCORE 156773.194
AT ITER 4386 NEW BEST:: SOT 2294124 SOS 949111 HAS SOPS 942921 HAS SOUS 156602 HAS SOUPS 155636 WITH SCORE 156585.111
AT ITER 4392 NEW BEST:: SOT 2294124 SOS 949111 HAS SOPS 942892 HAS SOUS 156544 HAS SOUPS 155578 WITH SCORE 156527.111
AT ITER 4400 NEW BEST:: SOT 2294129 SOS 930671 HAS SOPS 924452 HAS SOUS 156176 HAS SOUPS 155210 WITH SCORE 156140.671
AT ITER 4401 NEW BEST:: SOT 2294127 SOS 930667 HAS SOPS 924448 HAS SOUS 156172 HAS SOUPS 155206 WITH SCORE 156136.667
AT ITER 4404 NEW BEST:: SOT 2294172 SOS 875367 HAS SOPS 869148 HAS SOUS 155815 HAS SOUPS 154849 WITH SCORE 155724.367
AT ITER 4406 NEW BEST:: SOT 2293530 SOS 874723 HAS SOPS 868504 HAS SOUS 155737 HAS SOUPS 154771 WITH SCORE 155645.723
AT ITER 4442 NEW BEST:: SOT 2293497 SOS 874690 HAS SOPS 868471 HAS SOUS 155704 HAS SOUPS 154738 WITH SCORE 155612.69
AT ITER 4450 NEW BEST:: SOT 2293463 SOS 874626 HAS SOPS 868433 HAS SOUS 155696 HAS SOUPS 154730 WITH SCORE 155604.626
AT ITER 4513 NEW BEST:: SOT 2293493 SOS 874625 HAS SOPS 868432 HAS SOUS 155695 HAS SOUPS 154729 WITH SCORE 155603.625
AT ITER 4551 NEW BEST:: SOT 2293562 SOS 874942 HAS SOPS 866625 HAS SOUS 155764 HAS SOUPS 154444 WITH SCORE 155318.942
AT ITER 4555 NEW BEST:: SOT 2293550 SOS 874930 HAS SOPS 866613 HAS SOUS 155755 HAS SOUPS 154435 WITH SCORE 155309.93
AT ITER 4556 NEW BEST:: SOT 2293460 SOS 874804 HAS SOPS 866487 HAS SOUS 155629 HAS SOUPS 154309 WITH SCORE 155183.804
AT ITER 4568 NEW BEST:: SOT 2293440 SOS 874874 HAS SOPS 866557 HAS SOUS 155589 HAS SOUPS 154269 WITH SCORE 155143.874
AT ITER 4572 NEW BEST:: SOT 2293356 SOS 874760 HAS SOPS 866443 HAS SOUS 155521 HAS SOUPS 154201 WITH SCORE 155075.76
AT ITER 4573 NEW BEST:: SOT 2293109 SOS 874111 HAS SOPS 865794 HAS SOUS 155274 HAS SOUPS 153954 WITH SCORE 154828.111
AT ITER 4610 NEW BEST:: SOT 2293334 SOS 870599 HAS SOPS 862282 HAS SOUS 155220 HAS SOUPS 153900 WITH SCORE 154770.599
AT ITER 4616 NEW BEST:: SOT 2293209 SOS 870299 HAS SOPS 861982 HAS SOUS 155070 HAS SOUPS 153750 WITH SCORE 154620.299
AT ITER 4618 NEW BEST:: SOT 2293145 SOS 870210 HAS SOPS 861893 HAS SOUS 154956 HAS SOUPS 153636 WITH SCORE 154506.21
AT ITER 4628 NEW BEST:: SOT 2293130 SOS 870210 HAS SOPS 861893 HAS SOUS 154911 HAS SOUPS 153591 WITH SCORE 154461.21
AT ITER 4650 NEW BEST:: SOT 2293056 SOS 870071 HAS SOPS 861810 HAS SOUS 154870 HAS SOUPS 153565 WITH SCORE 154435.071
AT ITER 4665 NEW BEST:: SOT 2293034 SOS 870049 HAS SOPS 861788 HAS SOUS 154826 HAS SOUPS 153521 WITH SCORE 154391.049
AT ITER 4667 NEW BEST:: SOT 2292996 SOS 870011 HAS SOPS 861742 HAS SOUS 154750 HAS SOUPS 153445 WITH SCORE 154315.011
AT ITER 4698 NEW BEST:: SOT 2292895 SOS 869754 HAS SOPS 861568 HAS SOUS 154746 HAS SOUPS 153441 WITH SCORE 154310.754
AT ITER 4703 NEW BEST:: SOT 2292669 SOS 869528 HAS SOPS 861342 HAS SOUS 154652 HAS SOUPS 153347 WITH SCORE 154216.528
AT ITER 4712 NEW BEST:: SOT 2292669 SOS 869522 HAS SOPS 861336 HAS SOUS 154646 HAS SOUPS 153341 WITH SCORE 154210.522
AT ITER 4736 NEW BEST:: SOT 2292669 SOS 869521 HAS SOPS 861335 HAS SOUS 154645 HAS SOUPS 153340 WITH SCORE 154209.521
AT ITER 4759 NEW BEST:: SOT 2292669 SOS 869521 HAS SOPS 861341 HAS SOUS 154627 HAS SOUPS 153322 WITH SCORE 154191.521
AT ITER 4776 NEW BEST:: SOT 2292640 SOS 869463 HAS SOPS 861283 HAS SOUS 154569 HAS SOUPS 153264 WITH SCORE 154133.463
AT ITER 4823 NEW BEST:: SOT 2292619 SOS 869442 HAS SOPS 861262 HAS SOUS 154548 HAS SOUPS 153243 WITH SCORE 154112.442
AT ITER 4835 NEW BEST:: SOT 2292574 SOS 869388 HAS SOPS 861208 HAS SOUS 154494 HAS SOUPS 153189 WITH SCORE 154058.388
AT ITER 4841 NEW BEST:: SOT 2292579 SOS 869230 HAS SOPS 861050 HAS SOUS 154469 HAS SOUPS 153164 WITH SCORE 154033.23
AT ITER 4873 NEW BEST:: SOT 2292397 SOS 869098 HAS SOPS 860999 HAS SOUS 154109 HAS SOUPS 152804 WITH SCORE 153673.098
AT ITER 4899 NEW BEST:: SOT 2292379 SOS 869068 HAS SOPS 860969 HAS SOUS 154085 HAS SOUPS 152780 WITH SCORE 153649.068
AT ITER 4901 NEW BEST:: SOT 2292329 SOS 868994 HAS SOPS 860895 HAS SOUS 153994 HAS SOUPS 152689 WITH SCORE 153557.994
AT ITER 4936 NEW BEST:: SOT 2292278 SOS 868943 HAS SOPS 860844 HAS SOUS 153892 HAS SOUPS 152587 WITH SCORE 153455.943
AT ITER 4939 NEW BEST:: SOT 2292232 SOS 868986 HAS SOPS 860887 HAS SOUS 153843 HAS SOUPS 152538 WITH SCORE 153406.986
AT ITER 4943 NEW BEST:: SOT 2292204 SOS 868944 HAS SOPS 860831 HAS SOUS 153812 HAS SOUPS 152496 WITH SCORE 153364.944
AT ITER 4944 NEW BEST:: SOT 2292204 SOS 868945 HAS SOPS 860832 HAS SOUS 153580 HAS SOUPS 152264 WITH SCORE 153132.945
AT ITER 4951 NEW BEST:: SOT 2292330 SOS 869071 HAS SOPS 861028 HAS SOUS 153489 HAS SOUPS 152173 WITH SCORE 153042.071
AT ITER 4998 NEW BEST:: SOT 2292326 SOS 869067 HAS SOPS 861024 HAS SOUS 153469 HAS SOUPS 152153 WITH SCORE 153022.067
AT ITER 5011 NEW BEST:: SOT 2292287 SOS 868330 HAS SOPS 860287 HAS SOUS 153410 HAS SOUPS 152094 WITH SCORE 152962.33
AT ITER 5016 NEW BEST:: SOT 2292287 SOS 868441 HAS SOPS 860398 HAS SOUS 153162 HAS SOUPS 151846 WITH SCORE 152714.441
AT ITER 5031 NEW BEST:: SOT 2290362 SOS 866504 HAS SOPS 858461 HAS SOUS 152933 HAS SOUPS 151617 WITH SCORE 152483.504
AT ITER 5060 NEW BEST:: SOT 2290108 SOS 865904 HAS SOPS 857861 HAS SOUS 152810 HAS SOUPS 151494 WITH SCORE 152359.904
AT ITER 5075 NEW BEST:: SOT 2290105 SOS 865901 HAS SOPS 857858 HAS SOUS 152795 HAS SOUPS 151479 WITH SCORE 152344.901
AT ITER 5095 NEW BEST:: SOT 2290082 SOS 865880 HAS SOPS 857837 HAS SOUS 152774 HAS SOUPS 151458 WITH SCORE 152323.88
AT ITER 5101 NEW BEST:: SOT 2290850 SOS 866613 HAS SOPS 858612 HAS SOUS 152610 HAS SOUPS 151301 WITH SCORE 152167.613
AT ITER 5112 NEW BEST:: SOT 2290831 SOS 866594 HAS SOPS 858574 HAS SOUS 152568 HAS SOUPS 151259 WITH SCORE 152125.594
AT ITER 5186 NEW BEST:: SOT 2290838 SOS 866601 HAS SOPS 858581 HAS SOUS 152539 HAS SOUPS 151230 WITH SCORE 152096.601
AT ITER 5206 NEW BEST:: SOT 2290799 SOS 866557 HAS SOPS 858537 HAS SOUS 152525 HAS SOUPS 151216 WITH SCORE 152082.557
AT ITER 5211 NEW BEST:: SOT 2290882 SOS 866640 HAS SOPS 858620 HAS SOUS 152481 HAS SOUPS 151172 WITH SCORE 152038.64
AT ITER 5222 NEW BEST:: SOT 2290882 SOS 866551 HAS SOPS 858531 HAS SOUS 152472 HAS SOUPS 151163 WITH SCORE 152029.551
AT ITER 5228 NEW BEST:: SOT 2290882 SOS 866285 HAS SOPS 858265 HAS SOUS 152472 HAS SOUPS 151163 WITH SCORE 152029.285
AT ITER 5237 NEW BEST:: SOT 2290944 SOS 866347 HAS SOPS 858327 HAS SOUS 152425 HAS SOUPS 151116 WITH SCORE 151982.347
AT ITER 5242 NEW BEST:: SOT 2290844 SOS 866185 HAS SOPS 858165 HAS SOUS 152325 HAS SOUPS 151016 WITH SCORE 151882.185
AT ITER 5250 NEW BEST:: SOT 2290784 SOS 866173 HAS SOPS 858153 HAS SOUS 152229 HAS SOUPS 150920 WITH SCORE 151786.173
AT ITER 5256 NEW BEST:: SOT 2290784 SOS 866119 HAS SOPS 858099 HAS SOUS 152229 HAS SOUPS 150920 WITH SCORE 151786.119
AT ITER 5268 NEW BEST:: SOT 2290762 SOS 866097 HAS SOPS 858077 HAS SOUS 152157 HAS SOUPS 150848 WITH SCORE 151714.097
AT ITER 5275 NEW BEST:: SOT 2290755 SOS 866091 HAS SOPS 858071 HAS SOUS 152148 HAS SOUPS 150839 WITH SCORE 151705.091
AT ITER 5277 NEW BEST:: SOT 2290755 SOS 866021 HAS SOPS 858001 HAS SOUS 152141 HAS SOUPS 150832 WITH SCORE 151698.021
AT ITER 5278 NEW BEST:: SOT 2290755 SOS 866027 HAS SOPS 858007 HAS SOUS 152131 HAS SOUPS 150822 WITH SCORE 151688.027
AT ITER 5299 NEW BEST:: SOT 2290687 SOS 865959 HAS SOPS 857992 HAS SOUS 152113 HAS SOUPS 150804 WITH SCORE 151669.959
AT ITER 5321 NEW BEST:: SOT 2290892 SOS 866155 HAS SOPS 858188 HAS SOUS 152046 HAS SOUPS 150737 WITH SCORE 151603.155
AT ITER 5380 NEW BEST:: SOT 2290744 SOS 866044 HAS SOPS 858077 HAS SOUS 151935 HAS SOUPS 150626 WITH SCORE 151492.044
AT ITER 5382 NEW BEST:: SOT 2290744 SOS 866075 HAS SOPS 858108 HAS SOUS 151904 HAS SOUPS 150595 WITH SCORE 151461.075
AT ITER 5393 NEW BEST:: SOT 2290738 SOS 866072 HAS SOPS 858105 HAS SOUS 151904 HAS SOUPS 150595 WITH SCORE 151461.072
AT ITER 5397 NEW BEST:: SOT 2290773 SOS 866107 HAS SOPS 858125 HAS SOUS 151867 HAS SOUPS 150558 WITH SCORE 151424.107
AT ITER 5399 NEW BEST:: SOT 2290759 SOS 866203 HAS SOPS 858243 HAS SOUS 151831 HAS SOUPS 150544 WITH SCORE 151410.203
AT ITER 5405 NEW BEST:: SOT 2290734 SOS 866173 HAS SOPS 858213 HAS SOUS 151806 HAS SOUPS 150519 WITH SCORE 151385.173
AT ITER 5410 NEW BEST:: SOT 2290689 SOS 866128 HAS SOPS 858123 HAS SOUS 151716 HAS SOUPS 150429 WITH SCORE 151295.128
AT ITER 5418 NEW BEST:: SOT 2290667 SOS 866055 HAS SOPS 858050 HAS SOUS 151694 HAS SOUPS 150407 WITH SCORE 151273.055
AT ITER 5421 NEW BEST:: SOT 2290658 SOS 865840 HAS SOPS 857835 HAS SOUS 151666 HAS SOUPS 150379 WITH SCORE 151244.84
AT ITER 5450 NEW BEST:: SOT 2290653 SOS 865825 HAS SOPS 857820 HAS SOUS 151651 HAS SOUPS 150364 WITH SCORE 151229.825
AT ITER 5455 NEW BEST:: SOT 2290618 SOS 865790 HAS SOPS 857785 HAS SOUS 151581 HAS SOUPS 150294 WITH SCORE 151159.79
AT ITER 5465 NEW BEST:: SOT 2290573 SOS 865663 HAS SOPS 857658 HAS SOUS 151504 HAS SOUPS 150217 WITH SCORE 151082.663
AT ITER 5529 NEW BEST:: SOT 2290572 SOS 865821 HAS SOPS 857816 HAS SOUS 151452 HAS SOUPS 150165 WITH SCORE 151030.821
AT ITER 5530 NEW BEST:: SOT 2290733 SOS 866076 HAS SOPS 855911 HAS SOUS 151707 HAS SOUPS 150060 WITH SCORE 150926.076
AT ITER 5536 NEW BEST:: SOT 2290732 SOS 866075 HAS SOPS 855911 HAS SOUS 151707 HAS SOUPS 150060 WITH SCORE 150926.075
AT ITER 5548 NEW BEST:: SOT 2290686 SOS 866029 HAS SOPS 855865 HAS SOUS 151655 HAS SOUPS 150008 WITH SCORE 150874.029
AT ITER 5559 NEW BEST:: SOT 2290271 SOS 865890 HAS SOPS 855726 HAS SOUS 151270 HAS SOUPS 149623 WITH SCORE 150488.89
AT ITER 5566 NEW BEST:: SOT 2290235 SOS 865848 HAS SOPS 855684 HAS SOUS 151255 HAS SOUPS 149608 WITH SCORE 150473.848
AT ITER 5569 NEW BEST:: SOT 2292580 SOS 868196 HAS SOPS 858032 HAS SOUS 151072 HAS SOUPS 149425 WITH SCORE 150293.196
AT ITER 5636 NEW BEST:: SOT 2292536 SOS 868196 HAS SOPS 858032 HAS SOUS 150984 HAS SOUPS 149337 WITH SCORE 150205.196
AT ITER 5648 NEW BEST:: SOT 2292525 SOS 868185 HAS SOPS 858010 HAS SOUS 150962 HAS SOUPS 149315 WITH SCORE 150183.185
AT ITER 5655 NEW BEST:: SOT 2292513 SOS 868173 HAS SOPS 857998 HAS SOUS 150938 HAS SOUPS 149291 WITH SCORE 150159.173
AT ITER 5659 NEW BEST:: SOT 2292511 SOS 868171 HAS SOPS 857996 HAS SOUS 150938 HAS SOUPS 149291 WITH SCORE 150159.171
AT ITER 5692 NEW BEST:: SOT 2292616 SOS 868276 HAS SOPS 858109 HAS SOUS 150920 HAS SOUPS 149273 WITH SCORE 150141.276
AT ITER 5699 NEW BEST:: SOT 2292449 SOS 868146 HAS SOPS 857979 HAS SOUS 150648 HAS SOUPS 149001 WITH SCORE 149869.146
AT ITER 5702 NEW BEST:: SOT 2292412 SOS 868055 HAS SOPS 857888 HAS SOUS 150574 HAS SOUPS 148927 WITH SCORE 149795.055
AT ITER 5713 NEW BEST:: SOT 2292409 SOS 868140 HAS SOPS 857973 HAS SOUS 150530 HAS SOUPS 148883 WITH SCORE 149751.14
AT ITER 5726 NEW BEST:: SOT 2292746 SOS 868544 HAS SOPS 858377 HAS SOUS 150372 HAS SOUPS 148725 WITH SCORE 149593.544
AT ITER 5731 NEW BEST:: SOT 2292668 SOS 868464 HAS SOPS 858297 HAS SOUS 150292 HAS SOUPS 148645 WITH SCORE 149513.464
AT ITER 5767 NEW BEST:: SOT 2292636 SOS 838246 HAS SOPS 828079 HAS SOUS 150143 HAS SOUPS 148496 WITH SCORE 149334.246
AT ITER 5775 NEW BEST:: SOT 2292628 SOS 838230 HAS SOPS 828063 HAS SOUS 150127 HAS SOUPS 148480 WITH SCORE 149318.23
AT ITER 5777 NEW BEST:: SOT 2292604 SOS 838168 HAS SOPS 828001 HAS SOUS 150079 HAS SOUPS 148432 WITH SCORE 149270.168
AT ITER 5778 NEW BEST:: SOT 2291917 SOS 853080 HAS SOPS 842913 HAS SOUS 150024 HAS SOUPS 148377 WITH SCORE 149230.08
AT ITER 5789 NEW BEST:: SOT 2291642 SOS 852805 HAS SOPS 842638 HAS SOUS 149749 HAS SOUPS 148102 WITH SCORE 148954.805
AT ITER 5793 NEW BEST:: SOT 2291617 SOS 852726 HAS SOPS 842559 HAS SOUS 149670 HAS SOUPS 148023 WITH SCORE 148875.726
AT ITER 5822 NEW BEST:: SOT 2291995 SOS 846903 HAS SOPS 834074 HAS SOUS 149484 HAS SOUPS 147747 WITH SCORE 148593.903
AT ITER 5834 NEW BEST:: SOT 2291983 SOS 846888 HAS SOPS 834059 HAS SOUS 149463 HAS SOUPS 147726 WITH SCORE 148572.888
AT ITER 5836 NEW BEST:: SOT 2291989 SOS 824165 HAS SOPS 811336 HAS SOUS 149273 HAS SOUPS 147536 WITH SCORE 148360.165
AT ITER 5837 NEW BEST:: SOT 2291926 SOS 824102 HAS SOPS 811316 HAS SOUS 149237 HAS SOUPS 147500 WITH SCORE 148324.102
AT ITER 5850 NEW BEST:: SOT 2291979 SOS 823814 HAS SOPS 811028 HAS SOUS 149203 HAS SOUPS 147466 WITH SCORE 148289.814
AT ITER 5866 NEW BEST:: SOT 2292023 SOS 823858 HAS SOPS 811072 HAS SOUS 149085 HAS SOUPS 147348 WITH SCORE 148171.858
AT ITER 5867 NEW BEST:: SOT 2291974 SOS 824000 HAS SOPS 811214 HAS SOUS 148985 HAS SOUPS 147248 WITH SCORE 148072.0
AT ITER 5871 NEW BEST:: SOT 2291972 SOS 823998 HAS SOPS 811212 HAS SOUS 148983 HAS SOUPS 147246 WITH SCORE 148069.998
AT ITER 5874 NEW BEST:: SOT 2291975 SOS 823999 HAS SOPS 811213 HAS SOUS 148888 HAS SOUPS 147151 WITH SCORE 147974.999
AT ITER 5924 NEW BEST:: SOT 2292005 SOS 823385 HAS SOPS 810599 HAS SOUS 148814 HAS SOUPS 147077 WITH SCORE 147900.385
AT ITER 5932 NEW BEST:: SOT 2292054 SOS 823434 HAS SOPS 810594 HAS SOUS 148763 HAS SOUPS 147021 WITH SCORE 147844.434
AT ITER 5951 NEW BEST:: SOT 2291750 SOS 823779 HAS SOPS 812464 HAS SOUS 148615 HAS SOUPS 146926 WITH SCORE 147749.779
AT ITER 5954 NEW BEST:: SOT 2291591 SOS 823620 HAS SOPS 812268 HAS SOUS 148428 HAS SOUPS 146739 WITH SCORE 147562.62
AT ITER 5965 NEW BEST:: SOT 2291591 SOS 823609 HAS SOPS 812257 HAS SOUS 148417 HAS SOUPS 146728 WITH SCORE 147551.609
AT ITER 5981 NEW BEST:: SOT 2291033 SOS 823089 HAS SOPS 811737 HAS SOUS 148140 HAS SOUPS 146451 WITH SCORE 147274.089
AT ITER 5995 NEW BEST:: SOT 2291050 SOS 823077 HAS SOPS 811709 HAS SOUS 148082 HAS SOUPS 146393 WITH SCORE 147216.077
AT ITER 6026 NEW BEST:: SOT 2291071 SOS 823018 HAS SOPS 811644 HAS SOUS 148050 HAS SOUPS 146355 WITH SCORE 147178.018
AT ITER 6044 NEW BEST:: SOT 2291068 SOS 823004 HAS SOPS 811630 HAS SOUS 148044 HAS SOUPS 146349 WITH SCORE 147172.004
AT ITER 6056 NEW BEST:: SOT 2291317 SOS 826606 HAS SOPS 814200 HAS SOUS 147873 HAS SOUPS 146006 WITH SCORE 146832.606
AT ITER 6058 NEW BEST:: SOT 2290665 SOS 804584 HAS SOPS 792178 HAS SOUS 144129 HAS SOUPS 142262 WITH SCORE 143066.584
AT ITER 6141 NEW BEST:: SOT 2290664 SOS 804568 HAS SOPS 792162 HAS SOUS 144118 HAS SOUPS 142251 WITH SCORE 143055.568
AT ITER 6167 NEW BEST:: SOT 2290650 SOS 804400 HAS SOPS 791994 HAS SOUS 144090 HAS SOUPS 142223 WITH SCORE 143027.4
AT ITER 6194 NEW BEST:: SOT 2290634 SOS 804384 HAS SOPS 791978 HAS SOUS 144009 HAS SOUPS 142142 WITH SCORE 142946.384
AT ITER 6219 NEW BEST:: SOT 2290607 SOS 804270 HAS SOPS 791864 HAS SOUS 143984 HAS SOUPS 142117 WITH SCORE 142921.27
AT ITER 6228 NEW BEST:: SOT 2290526 SOS 804163 HAS SOPS 791757 HAS SOUS 143807 HAS SOUPS 141940 WITH SCORE 142744.163
AT ITER 6236 NEW BEST:: SOT 2290848 SOS 804059 HAS SOPS 791653 HAS SOUS 143779 HAS SOUPS 141912 WITH SCORE 142716.059
AT ITER 6241 NEW BEST:: SOT 2290810 SOS 804021 HAS SOPS 791615 HAS SOUS 143769 HAS SOUPS 141902 WITH SCORE 142706.021
AT ITER 6259 NEW BEST:: SOT 2290808 SOS 804021 HAS SOPS 791615 HAS SOUS 143767 HAS SOUPS 141900 WITH SCORE 142704.021
AT ITER 6347 NEW BEST:: SOT 2290753 SOS 802967 HAS SOPS 790729 HAS SOUS 143658 HAS SOUPS 141819 WITH SCORE 142621.967
AT ITER 6360 NEW BEST:: SOT 2291225 SOS 803420 HAS SOPS 791182 HAS SOUS 143112 HAS SOUPS 141273 WITH SCORE 142076.42
AT ITER 6470 NEW BEST:: SOT 2291221 SOS 803442 HAS SOPS 791204 HAS SOUS 143094 HAS SOUPS 141255 WITH SCORE 142058.442
AT ITER 6471 NEW BEST:: SOT 2291262 SOS 803393 HAS SOPS 791087 HAS SOUS 142889 HAS SOUPS 141050 WITH SCORE 141853.393
AT ITER 6486 NEW BEST:: SOT 2291324 SOS 803455 HAS SOPS 791096 HAS SOUS 142881 HAS SOUPS 141042 WITH SCORE 141845.455
AT ITER 6495 NEW BEST:: SOT 2291318 SOS 803449 HAS SOPS 791090 HAS SOUS 142862 HAS SOUPS 141023 WITH SCORE 141826.449
AT ITER 6496 NEW BEST:: SOT 2291127 SOS 803062 HAS SOPS 790703 HAS SOUS 142496 HAS SOUPS 140657 WITH SCORE 141460.062
AT ITER 6504 NEW BEST:: SOT 2291126 SOS 803061 HAS SOPS 790702 HAS SOUS 142495 HAS SOUPS 140656 WITH SCORE 141459.061
AT ITER 6505 NEW BEST:: SOT 2291063 SOS 803015 HAS SOPS 790656 HAS SOUS 142432 HAS SOUPS 140593 WITH SCORE 141396.015
AT ITER 6531 NEW BEST:: SOT 2291051 SOS 802989 HAS SOPS 790630 HAS SOUS 142408 HAS SOUPS 140569 WITH SCORE 141371.989
AT ITER 6554 NEW BEST:: SOT 2290998 SOS 802936 HAS SOPS 790577 HAS SOUS 142302 HAS SOUPS 140463 WITH SCORE 141265.936
AT ITER 6579 NEW BEST:: SOT 2290820 SOS 802758 HAS SOPS 790399 HAS SOUS 142178 HAS SOUPS 140339 WITH SCORE 141141.758
AT ITER 6585 NEW BEST:: SOT 2290816 SOS 802755 HAS SOPS 790396 HAS SOUS 142170 HAS SOUPS 140331 WITH SCORE 141133.755
AT ITER 6601 NEW BEST:: SOT 2290816 SOS 802755 HAS SOPS 790396 HAS SOUS 142038 HAS SOUPS 140199 WITH SCORE 141001.755
AT ITER 6605 NEW BEST:: SOT 2290831 SOS 802770 HAS SOPS 790351 HAS SOUS 141845 HAS SOUPS 140006 WITH SCORE 140808.77
AT ITER 6609 NEW BEST:: SOT 2290801 SOS 802740 HAS SOPS 790321 HAS SOUS 141845 HAS SOUPS 140006 WITH SCORE 140808.74
AT ITER 6613 NEW BEST:: SOT 2290780 SOS 802760 HAS SOPS 790341 HAS SOUS 141834 HAS SOUPS 139995 WITH SCORE 140797.76
AT ITER 6633 NEW BEST:: SOT 2290555 SOS 802535 HAS SOPS 790176 HAS SOUS 141686 HAS SOUPS 139847 WITH SCORE 140649.535
AT ITER 6643 NEW BEST:: SOT 2290294 SOS 802126 HAS SOPS 789767 HAS SOUS 141633 HAS SOUPS 139794 WITH SCORE 140596.126
AT ITER 6652 NEW BEST:: SOT 2290273 SOS 802097 HAS SOPS 789738 HAS SOUS 141619 HAS SOUPS 139780 WITH SCORE 140582.097
AT ITER 6657 NEW BEST:: SOT 2290240 SOS 802064 HAS SOPS 789705 HAS SOUS 141553 HAS SOUPS 139714 WITH SCORE 140516.064
AT ITER 6672 NEW BEST:: SOT 2290338 SOS 802162 HAS SOPS 789803 HAS SOUS 141544 HAS SOUPS 139705 WITH SCORE 140507.162
AT ITER 6682 NEW BEST:: SOT 2290335 SOS 802156 HAS SOPS 789797 HAS SOUS 141386 HAS SOUPS 139547 WITH SCORE 140349.156
AT ITER 6719 NEW BEST:: SOT 2290294 SOS 802115 HAS SOPS 789756 HAS SOUS 141304 HAS SOUPS 139465 WITH SCORE 140267.115
AT ITER 6729 NEW BEST:: SOT 2293389 SOS 805210 HAS SOPS 792851 HAS SOUS 141266 HAS SOUPS 139427 WITH SCORE 140232.21
AT ITER 6753 NEW BEST:: SOT 2293374 SOS 805198 HAS SOPS 792839 HAS SOUS 141236 HAS SOUPS 139397 WITH SCORE 140202.198
AT ITER 6755 NEW BEST:: SOT 2293357 SOS 805181 HAS SOPS 792822 HAS SOUS 141202 HAS SOUPS 139363 WITH SCORE 140168.181
AT ITER 6780 NEW BEST:: SOT 2293353 SOS 805173 HAS SOPS 792814 HAS SOUS 141194 HAS SOUPS 139355 WITH SCORE 140160.173
AT ITER 6870 NEW BEST:: SOT 2293358 SOS 805165 HAS SOPS 792806 HAS SOUS 141170 HAS SOUPS 139331 WITH SCORE 140136.165
AT ITER 6899 NEW BEST:: SOT 2293358 SOS 805065 HAS SOPS 792706 HAS SOUS 141170 HAS SOUPS 139331 WITH SCORE 140136.065
AT ITER 6913 NEW BEST:: SOT 2293302 SOS 805009 HAS SOPS 792650 HAS SOUS 141058 HAS SOUPS 139219 WITH SCORE 140024.009
AT ITER 6931 NEW BEST:: SOT 2293302 SOS 805008 HAS SOPS 792649 HAS SOUS 141057 HAS SOUPS 139218 WITH SCORE 140023.008
AT ITER 6936 NEW BEST:: SOT 2293225 SOS 804212 HAS SOPS 791853 HAS SOUS 141050 HAS SOUPS 139211 WITH SCORE 140015.212
AT ITER 6980 NEW BEST:: SOT 2293225 SOS 804178 HAS SOPS 791819 HAS SOUS 140992 HAS SOUPS 139153 WITH SCORE 139957.178
AT ITER 6985 NEW BEST:: SOT 2293225 SOS 804180 HAS SOPS 791821 HAS SOUS 140990 HAS SOUPS 139151 WITH SCORE 139955.18
AT ITER 6988 NEW BEST:: SOT 2293130 SOS 804011 HAS SOPS 791652 HAS SOUS 140858 HAS SOUPS 139019 WITH SCORE 139823.011
AT ITER 7002 NEW BEST:: SOT 2293053 SOS 803965 HAS SOPS 791606 HAS SOUS 140826 HAS SOUPS 138987 WITH SCORE 139790.965
AT ITER 7031 NEW BEST:: SOT 2292874 SOS 803807 HAS SOPS 791485 HAS SOUS 140799 HAS SOUPS 138960 WITH SCORE 139763.807
AT ITER 7036 NEW BEST:: SOT 2292658 SOS 802577 HAS SOPS 790318 HAS SOUS 140794 HAS SOUPS 138955 WITH SCORE 139757.577
AT ITER 7059 NEW BEST:: SOT 2292654 SOS 802573 HAS SOPS 790314 HAS SOUS 140787 HAS SOUPS 138948 WITH SCORE 139750.573
AT ITER 7067 NEW BEST:: SOT 2292649 SOS 802566 HAS SOPS 790307 HAS SOUS 140782 HAS SOUPS 138943 WITH SCORE 139745.566
AT ITER 7081 NEW BEST:: SOT 2292583 SOS 802392 HAS SOPS 790133 HAS SOUS 140704 HAS SOUPS 138865 WITH SCORE 139667.392
AT ITER 7140 NEW BEST:: SOT 2292541 SOS 802262 HAS SOPS 790003 HAS SOUS 140671 HAS SOUPS 138832 WITH SCORE 139634.262
AT ITER 7167 NEW BEST:: SOT 2292848 SOS 802282 HAS SOPS 789806 HAS SOUS 140597 HAS SOUPS 138758 WITH SCORE 139560.282
AT ITER 7184 NEW BEST:: SOT 2292849 SOS 802283 HAS SOPS 789807 HAS SOUS 140592 HAS SOUPS 138753 WITH SCORE 139555.283
AT ITER 7200 NEW BEST:: SOT 2292719 SOS 802243 HAS SOPS 789735 HAS SOUS 140461 HAS SOUPS 138622 WITH SCORE 139424.243
AT ITER 7210 NEW BEST:: SOT 2292706 SOS 802230 HAS SOPS 789722 HAS SOUS 140435 HAS SOUPS 138596 WITH SCORE 139398.23
AT ITER 7249 NEW BEST:: SOT 2292706 SOS 802445 HAS SOPS 789937 HAS SOUS 140433 HAS SOUPS 138594 WITH SCORE 139396.445
AT ITER 7265 NEW BEST:: SOT 2292563 SOS 802253 HAS SOPS 789745 HAS SOUS 140251 HAS SOUPS 138412 WITH SCORE 139214.253
AT ITER 7275 NEW BEST:: SOT 2292556 SOS 802246 HAS SOPS 789738 HAS SOUS 140237 HAS SOUPS 138398 WITH SCORE 139200.246
AT ITER 7279 NEW BEST:: SOT 2292369 SOS 801884 HAS SOPS 789376 HAS SOUS 140013 HAS SOUPS 138174 WITH SCORE 138975.884
AT ITER 7317 NEW BEST:: SOT 2292366 SOS 801865 HAS SOPS 789357 HAS SOUS 140011 HAS SOUPS 138172 WITH SCORE 138973.865
AT ITER 7318 NEW BEST:: SOT 2292352 SOS 801851 HAS SOPS 789343 HAS SOUS 139997 HAS SOUPS 138158 WITH SCORE 138959.851
AT ITER 7349 NEW BEST:: SOT 2292349 SOS 801845 HAS SOPS 789337 HAS SOUS 139947 HAS SOUPS 138108 WITH SCORE 138909.845
AT ITER 7388 NEW BEST:: SOT 2292340 SOS 801836 HAS SOPS 789328 HAS SOUS 139911 HAS SOUPS 138072 WITH SCORE 138873.836
AT ITER 7394 NEW BEST:: SOT 2292351 SOS 801978 HAS SOPS 789420 HAS SOUS 139910 HAS SOUPS 138058 WITH SCORE 138859.978
AT ITER 7395 NEW BEST:: SOT 2292351 SOS 801978 HAS SOPS 789420 HAS SOUS 139863 HAS SOUPS 138011 WITH SCORE 138812.978
AT ITER 7436 NEW BEST:: SOT 2292361 SOS 801988 HAS SOPS 789430 HAS SOUS 139858 HAS SOUPS 138006 WITH SCORE 138807.988
AT ITER 7456 NEW BEST:: SOT 2292317 SOS 801952 HAS SOPS 789394 HAS SOUS 139858 HAS SOUPS 138006 WITH SCORE 138807.952
AT ITER 7485 NEW BEST:: SOT 2292312 SOS 801947 HAS SOPS 789389 HAS SOUS 139856 HAS SOUPS 138004 WITH SCORE 138805.947
AT ITER 7493 NEW BEST:: SOT 2292288 SOS 801923 HAS SOPS 789365 HAS SOUS 139808 HAS SOUPS 137956 WITH SCORE 138757.923
AT ITER 7519 NEW BEST:: SOT 2292287 SOS 801922 HAS SOPS 789376 HAS SOUS 139806 HAS SOUPS 137954 WITH SCORE 138755.922
AT ITER 7534 NEW BEST:: SOT 2292275 SOS 801892 HAS SOPS 789346 HAS SOUS 139776 HAS SOUPS 137924 WITH SCORE 138725.892
AT ITER 7536 NEW BEST:: SOT 2292279 SOS 801978 HAS SOPS 789432 HAS SOUS 139771 HAS SOUPS 137919 WITH SCORE 138720.978
AT ITER 7595 NEW BEST:: SOT 2292277 SOS 801971 HAS SOPS 789425 HAS SOUS 139771 HAS SOUPS 137919 WITH SCORE 138720.971
AT ITER 7616 NEW BEST:: SOT 2292277 SOS 801901 HAS SOPS 789355 HAS SOUS 139771 HAS SOUPS 137919 WITH SCORE 138720.901
AT ITER 7623 NEW BEST:: SOT 2292278 SOS 801902 HAS SOPS 789356 HAS SOUS 139768 HAS SOUPS 137916 WITH SCORE 138717.902
AT ITER 7630 NEW BEST:: SOT 2291828 SOS 800538 HAS SOPS 787992 HAS SOUS 139223 HAS SOUPS 137371 WITH SCORE 138171.538
AT ITER 7638 NEW BEST:: SOT 2291985 SOS 800669 HAS SOPS 788123 HAS SOUS 139186 HAS SOUPS 137334 WITH SCORE 138134.669
AT ITER 7649 NEW BEST:: SOT 2291969 SOS 800653 HAS SOPS 788107 HAS SOUS 139168 HAS SOUPS 137316 WITH SCORE 138116.653
AT ITER 7653 NEW BEST:: SOT 2291955 SOS 800639 HAS SOPS 788093 HAS SOUS 139164 HAS SOUPS 137312 WITH SCORE 138112.639
AT ITER 7698 NEW BEST:: SOT 2291954 SOS 800638 HAS SOPS 788092 HAS SOUS 139163 HAS SOUPS 137311 WITH SCORE 138111.638
AT ITER 7711 NEW BEST:: SOT 2291954 SOS 800627 HAS SOPS 788081 HAS SOUS 139163 HAS SOUPS 137311 WITH SCORE 138111.627
AT ITER 7712 NEW BEST:: SOT 2291911 SOS 800584 HAS SOPS 788038 HAS SOUS 139077 HAS SOUPS 137225 WITH SCORE 138025.584
AT ITER 7715 NEW BEST:: SOT 2291659 SOS 799178 HAS SOPS 786632 HAS SOUS 138801 HAS SOUPS 136949 WITH SCORE 137748.178
AT ITER 7758 NEW BEST:: SOT 2291671 SOS 799190 HAS SOPS 786630 HAS SOUS 138785 HAS SOUPS 136933 WITH SCORE 137732.19
AT ITER 7832 NEW BEST:: SOT 2291652 SOS 799171 HAS SOPS 786611 HAS SOUS 138742 HAS SOUPS 136890 WITH SCORE 137689.171
AT ITER 7843 NEW BEST:: SOT 2291135 SOS 798243 HAS SOPS 785683 HAS SOUS 138740 HAS SOUPS 136888 WITH SCORE 137686.243
AT ITER 7856 NEW BEST:: SOT 2290986 SOS 798126 HAS SOPS 785566 HAS SOUS 138623 HAS SOUPS 136771 WITH SCORE 137569.126
AT ITER 7892 NEW BEST:: SOT 2290986 SOS 798294 HAS SOPS 785734 HAS SOUS 138571 HAS SOUPS 136719 WITH SCORE 137517.294
AT ITER 7902 NEW BEST:: SOT 2290931 SOS 798175 HAS SOPS 785615 HAS SOUS 138496 HAS SOUPS 136644 WITH SCORE 137442.175
AT ITER 7913 NEW BEST:: SOT 2290958 SOS 798202 HAS SOPS 785642 HAS SOUS 138390 HAS SOUPS 136538 WITH SCORE 137336.202
AT ITER 7942 NEW BEST:: SOT 2290914 SOS 798090 HAS SOPS 785530 HAS SOUS 138371 HAS SOUPS 136519 WITH SCORE 137317.09
AT ITER 7945 NEW BEST:: SOT 2290867 SOS 798028 HAS SOPS 785468 HAS SOUS 138304 HAS SOUPS 136452 WITH SCORE 137250.028
AT ITER 7952 NEW BEST:: SOT 2290857 SOS 798018 HAS SOPS 785458 HAS SOUS 138290 HAS SOUPS 136438 WITH SCORE 137236.018
AT ITER 7957 NEW BEST:: SOT 2290846 SOS 798247 HAS SOPS 785687 HAS SOUS 138284 HAS SOUPS 136432 WITH SCORE 137230.247
AT ITER 7980 NEW BEST:: SOT 2290809 SOS 798032 HAS SOPS 785472 HAS SOUS 138224 HAS SOUPS 136372 WITH SCORE 137170.032
AT ITER 7998 NEW BEST:: SOT 2290808 SOS 798018 HAS SOPS 785458 HAS SOUS 138222 HAS SOUPS 136370 WITH SCORE 137168.018
AT ITER 8012 NEW BEST:: SOT 2290789 SOS 797694 HAS SOPS 785134 HAS SOUS 138213 HAS SOUPS 136361 WITH SCORE 137158.694
AT ITER 8040 NEW BEST:: SOT 2290789 SOS 797660 HAS SOPS 785100 HAS SOUS 138184 HAS SOUPS 136332 WITH SCORE 137129.66
AT ITER 8090 NEW BEST:: SOT 2290064 SOS 796314 HAS SOPS 783754 HAS SOUS 137982 HAS SOUPS 136130 WITH SCORE 136926.314
AT ITER 8102 NEW BEST:: SOT 2289833 SOS 795149 HAS SOPS 782589 HAS SOUS 137644 HAS SOUPS 135792 WITH SCORE 136587.149
AT ITER 8122 NEW BEST:: SOT 2289819 SOS 795117 HAS SOPS 782557 HAS SOUS 137578 HAS SOUPS 135726 WITH SCORE 136521.117
AT ITER 8127 NEW BEST:: SOT 2289815 SOS 795112 HAS SOPS 782552 HAS SOUS 137573 HAS SOUPS 135721 WITH SCORE 136516.112
AT ITER 8154 NEW BEST:: SOT 2289797 SOS 795076 HAS SOPS 782516 HAS SOUS 137537 HAS SOUPS 135685 WITH SCORE 136480.076
AT ITER 8178 NEW BEST:: SOT 2289785 SOS 795064 HAS SOPS 782504 HAS SOUS 137525 HAS SOUPS 135673 WITH SCORE 136468.064
AT ITER 8191 NEW BEST:: SOT 2289753 SOS 795032 HAS SOPS 782431 HAS SOUS 137461 HAS SOUPS 135609 WITH SCORE 136404.032
AT ITER 8216 NEW BEST:: SOT 2289731 SOS 794977 HAS SOPS 782376 HAS SOUS 137428 HAS SOUPS 135576 WITH SCORE 136370.977
AT ITER 8230 NEW BEST:: SOT 2289736 SOS 795027 HAS SOPS 782426 HAS SOUS 137388 HAS SOUPS 135536 WITH SCORE 136331.027
AT ITER 8235 NEW BEST:: SOT 2289705 SOS 794911 HAS SOPS 782319 HAS SOUS 137299 HAS SOUPS 135447 WITH SCORE 136241.911
AT ITER 8253 NEW BEST:: SOT 2289705 SOS 794891 HAS SOPS 782299 HAS SOUS 137289 HAS SOUPS 135437 WITH SCORE 136231.891
AT ITER 8259 NEW BEST:: SOT 2289680 SOS 794871 HAS SOPS 782279 HAS SOUS 137254 HAS SOUPS 135402 WITH SCORE 136196.871
AT ITER 8277 NEW BEST:: SOT 2289680 SOS 794739 HAS SOPS 782147 HAS SOUS 137254 HAS SOUPS 135402 WITH SCORE 136196.739
AT ITER 8285 NEW BEST:: SOT 2289712 SOS 794688 HAS SOPS 782096 HAS SOUS 137234 HAS SOUPS 135382 WITH SCORE 136176.688
AT ITER 8298 NEW BEST:: SOT 2289645 SOS 794713 HAS SOPS 782137 HAS SOUS 137230 HAS SOUPS 135378 WITH SCORE 136172.713
AT ITER 8301 NEW BEST:: SOT 2289655 SOS 794723 HAS SOPS 782147 HAS SOUS 137210 HAS SOUPS 135358 WITH SCORE 136152.723
AT ITER 8309 NEW BEST:: SOT 2289643 SOS 794711 HAS SOPS 782135 HAS SOUS 137186 HAS SOUPS 135334 WITH SCORE 136128.711
AT ITER 8310 NEW BEST:: SOT 2289627 SOS 794705 HAS SOPS 782129 HAS SOUS 137170 HAS SOUPS 135318 WITH SCORE 136112.705
AT ITER 8344 NEW BEST:: SOT 2289581 SOS 794678 HAS SOPS 782102 HAS SOUS 137116 HAS SOUPS 135264 WITH SCORE 136058.678
AT ITER 8346 NEW BEST:: SOT 2289554 SOS 794651 HAS SOPS 782075 HAS SOUS 137067 HAS SOUPS 135215 WITH SCORE 136009.651
AT ITER 8355 NEW BEST:: SOT 2289547 SOS 794637 HAS SOPS 782061 HAS SOUS 137067 HAS SOUPS 135215 WITH SCORE 136009.637
AT ITER 8376 NEW BEST:: SOT 2289547 SOS 794622 HAS SOPS 782046 HAS SOUS 137067 HAS SOUPS 135215 WITH SCORE 136009.622
AT ITER 8393 NEW BEST:: SOT 2289497 SOS 794572 HAS SOPS 781996 HAS SOUS 137063 HAS SOUPS 135211 WITH SCORE 136005.572
AT ITER 8404 NEW BEST:: SOT 2289548 SOS 794639 HAS SOPS 782063 HAS SOUS 137058 HAS SOUPS 135206 WITH SCORE 136000.639
AT ITER 8409 NEW BEST:: SOT 2304914 SOS 809917 HAS SOPS 797473 HAS SOUS 136931 HAS SOUPS 135101 WITH SCORE 135910.917
AT ITER 8448 NEW BEST:: SOT 2304874 SOS 809857 HAS SOPS 797413 HAS SOUS 136891 HAS SOUPS 135061 WITH SCORE 135870.857
AT ITER 8461 NEW BEST:: SOT 2304844 SOS 809827 HAS SOPS 797378 HAS SOUS 136846 HAS SOUPS 135016 WITH SCORE 135825.827
AT ITER 8470 NEW BEST:: SOT 2304669 SOS 809687 HAS SOPS 797238 HAS SOUS 136706 HAS SOUPS 134876 WITH SCORE 135685.687
AT ITER 8473 NEW BEST:: SOT 2304862 SOS 809852 HAS SOPS 797403 HAS SOUS 136648 HAS SOUPS 134818 WITH SCORE 135627.852
AT ITER 8556 NEW BEST:: SOT 2304862 SOS 809834 HAS SOPS 797391 HAS SOUS 136648 HAS SOUPS 134818 WITH SCORE 135627.834
AT ITER 8558 NEW BEST:: SOT 2304862 SOS 809834 HAS SOPS 797391 HAS SOUS 136639 HAS SOUPS 134809 WITH SCORE 135618.834
AT ITER 8579 NEW BEST:: SOT 2304853 SOS 809808 HAS SOPS 797365 HAS SOUS 136616 HAS SOUPS 134786 WITH SCORE 135595.808
AT ITER 8592 NEW BEST:: SOT 2304772 SOS 809727 HAS SOPS 797284 HAS SOUS 136510 HAS SOUPS 134680 WITH SCORE 135489.727
AT ITER 8596 NEW BEST:: SOT 2304754 SOS 809709 HAS SOPS 797248 HAS SOUS 136474 HAS SOUPS 134644 WITH SCORE 135453.709
AT ITER 8609 NEW BEST:: SOT 2304731 SOS 809686 HAS SOPS 797225 HAS SOUS 136298 HAS SOUPS 134468 WITH SCORE 135277.686
AT ITER 8633 NEW BEST:: SOT 2304740 SOS 809836 HAS SOPS 797375 HAS SOUS 136272 HAS SOUPS 134442 WITH SCORE 135251.836
AT ITER 8634 NEW BEST:: SOT 2304510 SOS 809356 HAS SOPS 796895 HAS SOUS 136121 HAS SOUPS 134291 WITH SCORE 135100.356
AT ITER 8659 NEW BEST:: SOT 2304510 SOS 809366 HAS SOPS 796905 HAS SOUS 136071 HAS SOUPS 134241 WITH SCORE 135050.366
AT ITER 8679 NEW BEST:: SOT 2304552 SOS 809461 HAS SOPS 797000 HAS SOUS 136049 HAS SOUPS 134219 WITH SCORE 135028.461
AT ITER 8700 NEW BEST:: SOT 2304562 SOS 809784 HAS SOPS 797323 HAS SOUS 136036 HAS SOUPS 134206 WITH SCORE 135015.784
AT ITER 8735 NEW BEST:: SOT 2304561 SOS 809783 HAS SOPS 797322 HAS SOUS 136035 HAS SOUPS 134205 WITH SCORE 135014.783
AT ITER 8738 NEW BEST:: SOT 2304486 SOS 809913 HAS SOPS 797452 HAS SOUS 135918 HAS SOUPS 134088 WITH SCORE 134897.913
AT ITER 8744 NEW BEST:: SOT 2304480 SOS 809895 HAS SOPS 797434 HAS SOUS 135900 HAS SOUPS 134070 WITH SCORE 134879.895
AT ITER 8825 NEW BEST:: SOT 2304619 SOS 810310 HAS SOPS 797849 HAS SOUS 135824 HAS SOUPS 133994 WITH SCORE 134804.31
AT ITER 8828 NEW BEST:: SOT 2304602 SOS 810208 HAS SOPS 797747 HAS SOUS 135807 HAS SOUPS 133977 WITH SCORE 134787.208
AT ITER 8834 NEW BEST:: SOT 2304505 SOS 810001 HAS SOPS 797540 HAS SOUS 135734 HAS SOUPS 133904 WITH SCORE 134714.001
AT ITER 8836 NEW BEST:: SOT 2304460 SOS 809960 HAS SOPS 797499 HAS SOUS 135668 HAS SOUPS 133838 WITH SCORE 134647.96
AT ITER 8857 NEW BEST:: SOT 2304451 SOS 809951 HAS SOPS 797490 HAS SOUS 135666 HAS SOUPS 133836 WITH SCORE 134645.951
AT ITER 8859 NEW BEST:: SOT 2304574 SOS 810593 HAS SOPS 798132 HAS SOUS 135640 HAS SOUPS 133810 WITH SCORE 134620.593
AT ITER 8897 NEW BEST:: SOT 2304572 SOS 810614 HAS SOPS 798153 HAS SOUS 135615 HAS SOUPS 133785 WITH SCORE 134595.614
AT ITER 8951 NEW BEST:: SOT 2304510 SOS 810668 HAS SOPS 798207 HAS SOUS 135336 HAS SOUPS 133506 WITH SCORE 134316.668
AT ITER 8959 NEW BEST:: SOT 2304458 SOS 810579 HAS SOPS 798140 HAS SOUS 135306 HAS SOUPS 133476 WITH SCORE 134286.579
AT ITER 8970 NEW BEST:: SOT 2304482 SOS 810482 HAS SOPS 798043 HAS SOUS 135156 HAS SOUPS 133326 WITH SCORE 134136.482
AT ITER 8971 NEW BEST:: SOT 2304466 SOS 810466 HAS SOPS 798023 HAS SOUS 135132 HAS SOUPS 133302 WITH SCORE 134112.466
AT ITER 9052 NEW BEST:: SOT 2304466 SOS 810426 HAS SOPS 797983 HAS SOUS 135132 HAS SOUPS 133302 WITH SCORE 134112.426
AT ITER 9053 NEW BEST:: SOT 2304457 SOS 810408 HAS SOPS 797965 HAS SOUS 135114 HAS SOUPS 133284 WITH SCORE 134094.408
AT ITER 9059 NEW BEST:: SOT 2304450 SOS 810401 HAS SOPS 797971 HAS SOUS 135100 HAS SOUPS 133270 WITH SCORE 134080.401
AT ITER 9089 NEW BEST:: SOT 2304432 SOS 810401 HAS SOPS 797989 HAS SOUS 135082 HAS SOUPS 133252 WITH SCORE 134062.401
AT ITER 9100 NEW BEST:: SOT 2304288 SOS 810113 HAS SOPS 797701 HAS SOUS 134938 HAS SOUPS 133108 WITH SCORE 133918.113
AT ITER 9114 NEW BEST:: SOT 2304236 SOS 810061 HAS SOPS 797649 HAS SOUS 134886 HAS SOUPS 133056 WITH SCORE 133866.061
AT ITER 9128 NEW BEST:: SOT 2304236 SOS 810033 HAS SOPS 797621 HAS SOUS 134886 HAS SOUPS 133056 WITH SCORE 133866.033
AT ITER 9141 NEW BEST:: SOT 2304177 SOS 809954 HAS SOPS 797542 HAS SOUS 134846 HAS SOUPS 133016 WITH SCORE 133825.954
AT ITER 9147 NEW BEST:: SOT 2304241 SOS 810018 HAS SOPS 797606 HAS SOUS 134817 HAS SOUPS 132987 WITH SCORE 133797.018
AT ITER 9193 NEW BEST:: SOT 2304083 SOS 809904 HAS SOPS 797566 HAS SOUS 134743 HAS SOUPS 132913 WITH SCORE 133722.904
AT ITER 9202 NEW BEST:: SOT 2304078 SOS 809891 HAS SOPS 797514 HAS SOUS 134711 HAS SOUPS 132881 WITH SCORE 133690.891
AT ITER 9203 NEW BEST:: SOT 2304078 SOS 809795 HAS SOPS 797418 HAS SOUS 134687 HAS SOUPS 132857 WITH SCORE 133666.795
AT ITER 9205 NEW BEST:: SOT 2304030 SOS 809687 HAS SOPS 797310 HAS SOUS 134645 HAS SOUPS 132815 WITH SCORE 133624.687
AT ITER 9253 NEW BEST:: SOT 2303964 SOS 809378 HAS SOPS 797040 HAS SOUS 134549 HAS SOUPS 132719 WITH SCORE 133528.378
AT ITER 9261 NEW BEST:: SOT 2303891 SOS 809305 HAS SOPS 796967 HAS SOUS 134528 HAS SOUPS 132698 WITH SCORE 133507.305
AT ITER 9290 NEW BEST:: SOT 2303873 SOS 809278 HAS SOPS 796940 HAS SOUS 134492 HAS SOUPS 132662 WITH SCORE 133471.278
AT ITER 9305 NEW BEST:: SOT 2303878 SOS 809283 HAS SOPS 796937 HAS SOUS 134476 HAS SOUPS 132646 WITH SCORE 133455.283
AT ITER 9310 NEW BEST:: SOT 2303822 SOS 809077 HAS SOPS 796731 HAS SOUS 134455 HAS SOUPS 132625 WITH SCORE 133434.077
AT ITER 9321 NEW BEST:: SOT 2303810 SOS 809044 HAS SOPS 796698 HAS SOUS 134437 HAS SOUPS 132607 WITH SCORE 133416.044
AT ITER 9333 NEW BEST:: SOT 2303808 SOS 809040 HAS SOPS 796694 HAS SOUS 134431 HAS SOUPS 132601 WITH SCORE 133410.04
AT ITER 9373 NEW BEST:: SOT 2303808 SOS 809040 HAS SOPS 796694 HAS SOUS 134416 HAS SOUPS 132586 WITH SCORE 133395.04
AT ITER 9382 NEW BEST:: SOT 2303796 SOS 809028 HAS SOPS 796682 HAS SOUS 134397 HAS SOUPS 132567 WITH SCORE 133376.028
AT ITER 9394 NEW BEST:: SOT 2303796 SOS 809002 HAS SOPS 796656 HAS SOUS 134397 HAS SOUPS 132567 WITH SCORE 133376.002
AT ITER 9397 NEW BEST:: SOT 2303815 SOS 809021 HAS SOPS 796675 HAS SOUS 134388 HAS SOUPS 132558 WITH SCORE 133367.021
AT ITER 9407 NEW BEST:: SOT 2295535 SOS 800755 HAS SOPS 788409 HAS SOUS 133439 HAS SOUPS 131609 WITH SCORE 132409.755
AT ITER 9414 NEW BEST:: SOT 2295209 SOS 800300 HAS SOPS 787954 HAS SOUS 133259 HAS SOUPS 131429 WITH SCORE 132229.3
AT ITER 9432 NEW BEST:: SOT 2295209 SOS 800261 HAS SOPS 787915 HAS SOUS 133259 HAS SOUPS 131429 WITH SCORE 132229.261
AT ITER 9512 NEW BEST:: SOT 2295201 SOS 800245 HAS SOPS 787899 HAS SOUS 133243 HAS SOUPS 131413 WITH SCORE 132213.245
AT ITER 9524 NEW BEST:: SOT 2294981 SOS 800025 HAS SOPS 787679 HAS SOUS 133208 HAS SOUPS 131378 WITH SCORE 132178.025
AT ITER 9538 NEW BEST:: SOT 2294936 SOS 799980 HAS SOPS 787634 HAS SOUS 133163 HAS SOUPS 131333 WITH SCORE 132132.98
AT ITER 9542 NEW BEST:: SOT 2294849 SOS 799980 HAS SOPS 787634 HAS SOUS 133125 HAS SOUPS 131295 WITH SCORE 132094.98
AT ITER 9569 NEW BEST:: SOT 2294849 SOS 799897 HAS SOPS 787551 HAS SOUS 133098 HAS SOUPS 131268 WITH SCORE 132067.897
AT ITER 9616 NEW BEST:: SOT 2294811 SOS 799859 HAS SOPS 787551 HAS SOUS 133098 HAS SOUPS 131268 WITH SCORE 132067.859
AT ITER 9711 NEW BEST:: SOT 2294788 SOS 799836 HAS SOPS 787528 HAS SOUS 133075 HAS SOUPS 131245 WITH SCORE 132044.836
AT ITER 9738 NEW BEST:: SOT 2294780 SOS 799583 HAS SOPS 787275 HAS SOUS 133067 HAS SOUPS 131237 WITH SCORE 132036.583
AT ITER 9798 NEW BEST:: SOT 2294740 SOS 799535 HAS SOPS 787227 HAS SOUS 133027 HAS SOUPS 131197 WITH SCORE 131996.535
AT ITER 9821 NEW BEST:: SOT 2294736 SOS 799523 HAS SOPS 787215 HAS SOUS 133027 HAS SOUPS 131197 WITH SCORE 131996.523
AT ITER 9842 NEW BEST:: SOT 2294721 SOS 799493 HAS SOPS 787185 HAS SOUS 133021 HAS SOUPS 131191 WITH SCORE 131990.493
AT ITER 9850 NEW BEST:: SOT 2294716 SOS 799468 HAS SOPS 787160 HAS SOUS 133001 HAS SOUPS 131171 WITH SCORE 131970.468
AT ITER 9855 NEW BEST:: SOT 2294613 SOS 799287 HAS SOPS 786979 HAS SOUS 132906 HAS SOUPS 131076 WITH SCORE 131875.287
AT ITER 9866 NEW BEST:: SOT 2294609 SOS 799282 HAS SOPS 786974 HAS SOUS 132900 HAS SOUPS 131070 WITH SCORE 131869.282
AT ITER 9872 NEW BEST:: SOT 2294607 SOS 799452 HAS SOPS 787144 HAS SOUS 132812 HAS SOUPS 130982 WITH SCORE 131781.452
AT ITER 9880 NEW BEST:: SOT 2294554 SOS 799399 HAS SOPS 787091 HAS SOUS 132016 HAS SOUPS 130186 WITH SCORE 130985.399
AT ITER 9932 NEW BEST:: SOT 2294546 SOS 799383 HAS SOPS 787075 HAS SOUS 132000 HAS SOUPS 130170 WITH SCORE 130969.383
AT ITER 9983 NEW BEST:: SOT 2294484 SOS 799321 HAS SOPS 787013 HAS SOUS 131903 HAS SOUPS 130073 WITH SCORE 130872.321
AT ITER 9992 NEW BEST:: SOT 2294479 SOS 799316 HAS SOPS 787013 HAS SOUS 131893 HAS SOUPS 130063 WITH SCORE 130862.316
AT ITER 9997 NEW BEST:: SOT 2294351 SOS 799101 HAS SOPS 786798 HAS SOUS 131746 HAS SOUPS 129916 WITH SCORE 130715.101

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S06J04T06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S06J04T06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961354900520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S06J04T06.tgz
mv PolyORBLF-PT-S06J04T06 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;