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.r207-tajo-159033469100187.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 ShieldIIPs-PT-050A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469100187
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 592K
-rw-r--r-- 1 mcc users 3.3K May 14 00:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 00:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 18:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 18:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 13:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 13:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 07:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 07:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 426K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1590437904078

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

GOT IT HERE. BS
Petri model created: 1253 places, 1203 transitions, 5406 arcs.
AT ITER 0 NEW BEST:: SOT 1025954 SOS 792025 HAS SOPS 792025 HAS SOUS 666775 HAS SOUPS 666775 WITH SCORE 667567.025
AT ITER 10 NEW BEST:: SOT 1026049 SOS 791299 HAS SOPS 791299 HAS SOUS 666567 HAS SOUPS 666567 WITH SCORE 667358.299
AT ITER 20 NEW BEST:: SOT 1025662 SOS 791090 HAS SOPS 791090 HAS SOUS 666358 HAS SOUPS 666358 WITH SCORE 667149.09
AT ITER 23 NEW BEST:: SOT 1025658 SOS 791084 HAS SOPS 791084 HAS SOUS 666352 HAS SOUPS 666352 WITH SCORE 667143.084
AT ITER 24 NEW BEST:: SOT 1025658 SOS 790790 HAS SOPS 790790 HAS SOUS 666346 HAS SOUPS 666346 WITH SCORE 667136.79
AT ITER 27 NEW BEST:: SOT 1025026 SOS 790158 HAS SOPS 790158 HAS SOUS 665714 HAS SOUPS 665714 WITH SCORE 666504.158
AT ITER 38 NEW BEST:: SOT 1024645 SOS 788659 HAS SOPS 788659 HAS SOUS 665132 HAS SOUPS 665132 WITH SCORE 665920.659
AT ITER 45 NEW BEST:: SOT 1024645 SOS 788657 HAS SOPS 788657 HAS SOUS 665130 HAS SOUPS 665130 WITH SCORE 665918.657
AT ITER 51 NEW BEST:: SOT 1024034 SOS 788044 HAS SOPS 788044 HAS SOUS 664517 HAS SOUPS 664517 WITH SCORE 665305.044
AT ITER 67 NEW BEST:: SOT 1023802 SOS 787000 HAS SOPS 787000 HAS SOUS 664230 HAS SOUPS 664230 WITH SCORE 665017.0
AT ITER 74 NEW BEST:: SOT 1023484 SOS 785463 HAS SOPS 785463 HAS SOUS 663950 HAS SOUPS 663950 WITH SCORE 664735.463
AT ITER 81 NEW BEST:: SOT 1023332 SOS 785311 HAS SOPS 785311 HAS SOUS 663798 HAS SOUPS 663798 WITH SCORE 664583.311
AT ITER 82 NEW BEST:: SOT 1022898 SOS 784895 HAS SOPS 784895 HAS SOUS 663382 HAS SOUPS 663382 WITH SCORE 664166.895
AT ITER 90 NEW BEST:: SOT 1022896 SOS 784893 HAS SOPS 784893 HAS SOUS 663380 HAS SOUPS 663380 WITH SCORE 664164.893
AT ITER 92 NEW BEST:: SOT 1022512 SOS 784507 HAS SOPS 784507 HAS SOUS 662994 HAS SOUPS 662994 WITH SCORE 663778.507
AT ITER 98 NEW BEST:: SOT 1022231 SOS 783401 HAS SOPS 783401 HAS SOUS 662565 HAS SOUPS 662565 WITH SCORE 663348.401
AT ITER 99 NEW BEST:: SOT 1021509 SOS 783103 HAS SOPS 783103 HAS SOUS 662267 HAS SOUPS 662267 WITH SCORE 663050.103
AT ITER 103 NEW BEST:: SOT 1021396 SOS 782787 HAS SOPS 782787 HAS SOUS 661951 HAS SOUPS 661951 WITH SCORE 662733.787
AT ITER 107 NEW BEST:: SOT 1021595 SOS 782986 HAS SOPS 782986 HAS SOUS 661948 HAS SOUPS 661948 WITH SCORE 662730.986
AT ITER 112 NEW BEST:: SOT 1021595 SOS 782787 HAS SOPS 782787 HAS SOUS 661749 HAS SOUPS 661749 WITH SCORE 662531.787
AT ITER 123 NEW BEST:: SOT 1021595 SOS 782211 HAS SOPS 782211 HAS SOUS 661691 HAS SOUPS 661691 WITH SCORE 662473.211
AT ITER 134 NEW BEST:: SOT 1021245 SOS 780779 HAS SOPS 780779 HAS SOUS 661185 HAS SOUPS 661185 WITH SCORE 661965.779
AT ITER 135 NEW BEST:: SOT 1021244 SOS 780778 HAS SOPS 780778 HAS SOUS 661184 HAS SOUPS 661184 WITH SCORE 661964.778
AT ITER 137 NEW BEST:: SOT 1021244 SOS 780224 HAS SOPS 780224 HAS SOUS 661180 HAS SOUPS 661180 WITH SCORE 661960.224
AT ITER 140 NEW BEST:: SOT 1020648 SOS 779628 HAS SOPS 779628 HAS SOUS 660584 HAS SOUPS 660584 WITH SCORE 661363.628
AT ITER 142 NEW BEST:: SOT 1020178 SOS 779158 HAS SOPS 779158 HAS SOUS 660114 HAS SOUPS 660114 WITH SCORE 660893.158
AT ITER 144 NEW BEST:: SOT 1019687 SOS 778752 HAS SOPS 778752 HAS SOUS 659708 HAS SOUPS 659708 WITH SCORE 660486.752
AT ITER 154 NEW BEST:: SOT 1019599 SOS 778664 HAS SOPS 778664 HAS SOUS 659620 HAS SOUPS 659620 WITH SCORE 660398.664
AT ITER 155 NEW BEST:: SOT 1019597 SOS 778660 HAS SOPS 778660 HAS SOUS 659616 HAS SOUPS 659616 WITH SCORE 660394.66
AT ITER 160 NEW BEST:: SOT 1019139 SOS 778202 HAS SOPS 778202 HAS SOUS 659158 HAS SOUPS 659158 WITH SCORE 659936.202
AT ITER 165 NEW BEST:: SOT 1018968 SOS 778031 HAS SOPS 778031 HAS SOUS 658987 HAS SOUPS 658987 WITH SCORE 659765.031
AT ITER 170 NEW BEST:: SOT 1018610 SOS 777439 HAS SOPS 777439 HAS SOUS 658395 HAS SOUPS 658395 WITH SCORE 659172.439
AT ITER 173 NEW BEST:: SOT 1018610 SOS 777437 HAS SOPS 777437 HAS SOUS 658393 HAS SOUPS 658393 WITH SCORE 659170.437
AT ITER 180 NEW BEST:: SOT 1018299 SOS 777266 HAS SOPS 777266 HAS SOUS 658222 HAS SOUPS 658222 WITH SCORE 658999.266
AT ITER 188 NEW BEST:: SOT 1018111 SOS 776457 HAS SOPS 776457 HAS SOUS 658199 HAS SOUPS 658199 WITH SCORE 658975.457
AT ITER 193 NEW BEST:: SOT 1018109 SOS 776453 HAS SOPS 776453 HAS SOUS 658195 HAS SOUPS 658195 WITH SCORE 658971.453
AT ITER 199 NEW BEST:: SOT 1017881 SOS 776225 HAS SOPS 776225 HAS SOUS 657967 HAS SOUPS 657967 WITH SCORE 658743.225
AT ITER 201 NEW BEST:: SOT 1017452 SOS 775796 HAS SOPS 775796 HAS SOUS 657538 HAS SOUPS 657538 WITH SCORE 658313.796
AT ITER 204 NEW BEST:: SOT 1016807 SOS 775151 HAS SOPS 775151 HAS SOUS 656893 HAS SOUPS 656893 WITH SCORE 657668.151
AT ITER 209 NEW BEST:: SOT 1016569 SOS 773849 HAS SOPS 773849 HAS SOUS 656784 HAS SOUPS 656784 WITH SCORE 657557.849
AT ITER 210 NEW BEST:: SOT 1016385 SOS 773665 HAS SOPS 773665 HAS SOUS 656600 HAS SOUPS 656600 WITH SCORE 657373.665
AT ITER 211 NEW BEST:: SOT 1016162 SOS 773442 HAS SOPS 773442 HAS SOUS 656377 HAS SOUPS 656377 WITH SCORE 657150.442
AT ITER 214 NEW BEST:: SOT 1015900 SOS 772980 HAS SOPS 772980 HAS SOUS 655915 HAS SOUPS 655915 WITH SCORE 656687.98
AT ITER 219 NEW BEST:: SOT 1015795 SOS 772875 HAS SOPS 772875 HAS SOUS 655810 HAS SOUPS 655810 WITH SCORE 656582.875
AT ITER 224 NEW BEST:: SOT 1015577 SOS 772657 HAS SOPS 772657 HAS SOUS 655592 HAS SOUPS 655592 WITH SCORE 656364.657
AT ITER 226 NEW BEST:: SOT 1015537 SOS 772609 HAS SOPS 772609 HAS SOUS 655230 HAS SOUPS 655230 WITH SCORE 656002.609
AT ITER 232 NEW BEST:: SOT 1014918 SOS 771989 HAS SOPS 771989 HAS SOUS 654610 HAS SOUPS 654610 WITH SCORE 655381.989
AT ITER 233 NEW BEST:: SOT 1014741 SOS 771597 HAS SOPS 771597 HAS SOUS 654218 HAS SOUPS 654218 WITH SCORE 654989.597
AT ITER 243 NEW BEST:: SOT 1014669 SOS 771525 HAS SOPS 771525 HAS SOUS 654146 HAS SOUPS 654146 WITH SCORE 654917.525
AT ITER 249 NEW BEST:: SOT 1014667 SOS 771523 HAS SOPS 771523 HAS SOUS 654144 HAS SOUPS 654144 WITH SCORE 654915.523
AT ITER 253 NEW BEST:: SOT 1015461 SOS 771323 HAS SOPS 771323 HAS SOUS 653939 HAS SOUPS 653939 WITH SCORE 654710.323
AT ITER 254 NEW BEST:: SOT 1015717 SOS 771174 HAS SOPS 771174 HAS SOUS 653607 HAS SOUPS 653607 WITH SCORE 654378.174
AT ITER 259 NEW BEST:: SOT 1015807 SOS 771180 HAS SOPS 771180 HAS SOUS 653523 HAS SOUPS 653523 WITH SCORE 654294.18
AT ITER 263 NEW BEST:: SOT 1015807 SOS 771092 HAS SOPS 771092 HAS SOUS 653435 HAS SOUPS 653435 WITH SCORE 654206.092
AT ITER 264 NEW BEST:: SOT 1015626 SOS 770949 HAS SOPS 770949 HAS SOUS 653370 HAS SOUPS 653370 WITH SCORE 654140.949
AT ITER 266 NEW BEST:: SOT 1015471 SOS 770467 HAS SOPS 770467 HAS SOUS 652888 HAS SOUPS 652888 WITH SCORE 653658.467
AT ITER 272 NEW BEST:: SOT 1015284 SOS 770280 HAS SOPS 770280 HAS SOUS 652701 HAS SOUPS 652701 WITH SCORE 653471.28
AT ITER 289 NEW BEST:: SOT 1015205 SOS 770057 HAS SOPS 770057 HAS SOUS 652478 HAS SOUPS 652478 WITH SCORE 653248.057
AT ITER 291 NEW BEST:: SOT 1015322 SOS 768938 HAS SOPS 768938 HAS SOUS 651572 HAS SOUPS 651572 WITH SCORE 652340.938
AT ITER 292 NEW BEST:: SOT 1015318 SOS 768934 HAS SOPS 768934 HAS SOUS 651568 HAS SOUPS 651568 WITH SCORE 652336.934
AT ITER 293 NEW BEST:: SOT 1015180 SOS 768796 HAS SOPS 768796 HAS SOUS 651430 HAS SOUPS 651430 WITH SCORE 652198.796
AT ITER 299 NEW BEST:: SOT 1015058 SOS 768674 HAS SOPS 768674 HAS SOUS 651308 HAS SOUPS 651308 WITH SCORE 652076.674
AT ITER 301 NEW BEST:: SOT 1014813 SOS 767602 HAS SOPS 767602 HAS SOUS 650852 HAS SOUPS 650852 WITH SCORE 651619.602
AT ITER 303 NEW BEST:: SOT 1014318 SOS 767106 HAS SOPS 767106 HAS SOUS 650356 HAS SOUPS 650356 WITH SCORE 651123.106
AT ITER 307 NEW BEST:: SOT 1014191 SOS 767021 HAS SOPS 767021 HAS SOUS 650271 HAS SOUPS 650271 WITH SCORE 651038.021
AT ITER 308 NEW BEST:: SOT 1013524 SOS 766354 HAS SOPS 766354 HAS SOUS 649604 HAS SOUPS 649604 WITH SCORE 650370.354
AT ITER 312 NEW BEST:: SOT 1012772 SOS 765433 HAS SOPS 765433 HAS SOUS 648683 HAS SOUPS 648683 WITH SCORE 649448.433
AT ITER 313 NEW BEST:: SOT 1012473 SOS 764935 HAS SOPS 764935 HAS SOUS 648185 HAS SOUPS 648185 WITH SCORE 648949.935
AT ITER 315 NEW BEST:: SOT 1012473 SOS 764760 HAS SOPS 764760 HAS SOUS 648010 HAS SOUPS 648010 WITH SCORE 648774.76
AT ITER 316 NEW BEST:: SOT 1012112 SOS 763101 HAS SOPS 763101 HAS SOUS 647593 HAS SOUPS 647593 WITH SCORE 648356.101
AT ITER 319 NEW BEST:: SOT 1011830 SOS 762819 HAS SOPS 762819 HAS SOUS 647311 HAS SOUPS 647311 WITH SCORE 648073.819
AT ITER 321 NEW BEST:: SOT 1011623 SOS 762612 HAS SOPS 762612 HAS SOUS 647104 HAS SOUPS 647104 WITH SCORE 647866.612
AT ITER 324 NEW BEST:: SOT 1011878 SOS 762277 HAS SOPS 762277 HAS SOUS 646971 HAS SOUPS 646971 WITH SCORE 647733.277
AT ITER 326 NEW BEST:: SOT 1011558 SOS 761956 HAS SOPS 761956 HAS SOUS 646650 HAS SOUPS 646650 WITH SCORE 647411.956
AT ITER 330 NEW BEST:: SOT 1011541 SOS 761939 HAS SOPS 761939 HAS SOUS 646633 HAS SOUPS 646633 WITH SCORE 647394.939
AT ITER 332 NEW BEST:: SOT 1011235 SOS 760203 HAS SOPS 760203 HAS SOUS 646135 HAS SOUPS 646135 WITH SCORE 646895.203
AT ITER 336 NEW BEST:: SOT 1011235 SOS 759701 HAS SOPS 759701 HAS SOUS 646121 HAS SOUPS 646121 WITH SCORE 646880.701
AT ITER 342 NEW BEST:: SOT 1011281 SOS 759545 HAS SOPS 759545 HAS SOUS 645965 HAS SOUPS 645965 WITH SCORE 646724.545
AT ITER 344 NEW BEST:: SOT 1011126 SOS 758592 HAS SOPS 758592 HAS SOUS 645864 HAS SOUPS 645864 WITH SCORE 646622.592
AT ITER 345 NEW BEST:: SOT 1010734 SOS 758454 HAS SOPS 758454 HAS SOUS 645627 HAS SOUPS 645627 WITH SCORE 646385.454
AT ITER 348 NEW BEST:: SOT 1010508 SOS 758228 HAS SOPS 758228 HAS SOUS 645401 HAS SOUPS 645401 WITH SCORE 646159.228
AT ITER 354 NEW BEST:: SOT 1010429 SOS 757833 HAS SOPS 757833 HAS SOUS 645401 HAS SOUPS 645401 WITH SCORE 646158.833
AT ITER 356 NEW BEST:: SOT 1009991 SOS 757199 HAS SOPS 757199 HAS SOUS 644767 HAS SOUPS 644767 WITH SCORE 645524.199
AT ITER 360 NEW BEST:: SOT 1010114 SOS 756749 HAS SOPS 756749 HAS SOUS 644402 HAS SOUPS 644402 WITH SCORE 645158.749
AT ITER 364 NEW BEST:: SOT 1009980 SOS 756613 HAS SOPS 756613 HAS SOUS 644266 HAS SOUPS 644266 WITH SCORE 645022.613
AT ITER 380 NEW BEST:: SOT 1009422 SOS 756053 HAS SOPS 756053 HAS SOUS 643706 HAS SOUPS 643706 WITH SCORE 644462.053
AT ITER 383 NEW BEST:: SOT 1010127 SOS 754594 HAS SOPS 754594 HAS SOUS 642456 HAS SOUPS 642456 WITH SCORE 643210.594
AT ITER 385 NEW BEST:: SOT 1010265 SOS 754869 HAS SOPS 754869 HAS SOUS 642453 HAS SOUPS 642453 WITH SCORE 643207.869
AT ITER 389 NEW BEST:: SOT 1010000 SOS 754591 HAS SOPS 754591 HAS SOUS 642175 HAS SOUPS 642175 WITH SCORE 642929.591
AT ITER 391 NEW BEST:: SOT 1009776 SOS 753334 HAS SOPS 753334 HAS SOUS 642062 HAS SOUPS 642062 WITH SCORE 642815.334
AT ITER 394 NEW BEST:: SOT 1009490 SOS 753047 HAS SOPS 753047 HAS SOUS 641775 HAS SOUPS 641775 WITH SCORE 642528.047
AT ITER 396 NEW BEST:: SOT 1009478 SOS 752912 HAS SOPS 752912 HAS SOUS 641752 HAS SOUPS 641752 WITH SCORE 642504.912
AT ITER 403 NEW BEST:: SOT 1009247 SOS 752689 HAS SOPS 752689 HAS SOUS 641529 HAS SOUPS 641529 WITH SCORE 642281.689
AT ITER 408 NEW BEST:: SOT 1009247 SOS 752687 HAS SOPS 752687 HAS SOUS 641527 HAS SOUPS 641527 WITH SCORE 642279.687
AT ITER 413 NEW BEST:: SOT 1008864 SOS 752302 HAS SOPS 752302 HAS SOUS 641142 HAS SOUPS 641142 WITH SCORE 641894.302
AT ITER 423 NEW BEST:: SOT 1008735 SOS 752190 HAS SOPS 752190 HAS SOUS 640828 HAS SOUPS 640828 WITH SCORE 641580.19
AT ITER 426 NEW BEST:: SOT 1008732 SOS 752185 HAS SOPS 752185 HAS SOUS 640823 HAS SOUPS 640823 WITH SCORE 641575.185
AT ITER 427 NEW BEST:: SOT 1008485 SOS 751089 HAS SOPS 751089 HAS SOUS 640361 HAS SOUPS 640361 WITH SCORE 641112.089
AT ITER 428 NEW BEST:: SOT 1008485 SOS 751088 HAS SOPS 751088 HAS SOUS 640360 HAS SOUPS 640360 WITH SCORE 641111.088
AT ITER 433 NEW BEST:: SOT 1008483 SOS 751086 HAS SOPS 751086 HAS SOUS 640358 HAS SOUPS 640358 WITH SCORE 641109.086
AT ITER 436 NEW BEST:: SOT 1008355 SOS 750958 HAS SOPS 750958 HAS SOUS 640230 HAS SOUPS 640230 WITH SCORE 640980.958
AT ITER 438 NEW BEST:: SOT 1007863 SOS 750498 HAS SOPS 750498 HAS SOUS 639678 HAS SOUPS 639678 WITH SCORE 640428.498
AT ITER 439 NEW BEST:: SOT 1007063 SOS 749696 HAS SOPS 749696 HAS SOUS 638876 HAS SOUPS 638876 WITH SCORE 639625.696
AT ITER 442 NEW BEST:: SOT 1006748 SOS 749381 HAS SOPS 749381 HAS SOUS 638561 HAS SOUPS 638561 WITH SCORE 639310.381
AT ITER 443 NEW BEST:: SOT 1006335 SOS 748968 HAS SOPS 748968 HAS SOUS 638148 HAS SOUPS 638148 WITH SCORE 638896.968
AT ITER 444 NEW BEST:: SOT 1006206 SOS 748839 HAS SOPS 748839 HAS SOUS 638019 HAS SOUPS 638019 WITH SCORE 638767.839
AT ITER 447 NEW BEST:: SOT 1005960 SOS 748551 HAS SOPS 748551 HAS SOUS 637731 HAS SOUPS 637731 WITH SCORE 638479.551
AT ITER 450 NEW BEST:: SOT 1005960 SOS 748550 HAS SOPS 748550 HAS SOUS 637730 HAS SOUPS 637730 WITH SCORE 638478.55
AT ITER 463 NEW BEST:: SOT 1005500 SOS 748090 HAS SOPS 748090 HAS SOUS 637270 HAS SOUPS 637270 WITH SCORE 638018.09
AT ITER 464 NEW BEST:: SOT 1005562 SOS 747949 HAS SOPS 747949 HAS SOUS 637129 HAS SOUPS 637129 WITH SCORE 637876.949
AT ITER 469 NEW BEST:: SOT 1005182 SOS 747354 HAS SOPS 747354 HAS SOUS 636534 HAS SOUPS 636534 WITH SCORE 637281.354
AT ITER 484 NEW BEST:: SOT 1005020 SOS 747192 HAS SOPS 747192 HAS SOUS 636372 HAS SOUPS 636372 WITH SCORE 637119.192
AT ITER 487 NEW BEST:: SOT 1004309 SOS 746447 HAS SOPS 746447 HAS SOUS 635627 HAS SOUPS 635627 WITH SCORE 636373.447
AT ITER 505 NEW BEST:: SOT 1003885 SOS 746035 HAS SOPS 746035 HAS SOUS 635010 HAS SOUPS 635010 WITH SCORE 635756.035
AT ITER 513 NEW BEST:: SOT 1003665 SOS 744382 HAS SOPS 744382 HAS SOUS 634716 HAS SOUPS 634716 WITH SCORE 635460.382
AT ITER 517 NEW BEST:: SOT 1003610 SOS 744327 HAS SOPS 744327 HAS SOUS 634661 HAS SOUPS 634661 WITH SCORE 635405.327
AT ITER 518 NEW BEST:: SOT 1003216 SOS 743456 HAS SOPS 743456 HAS SOUS 634561 HAS SOUPS 634561 WITH SCORE 635304.456
AT ITER 519 NEW BEST:: SOT 1003216 SOS 743342 HAS SOPS 743342 HAS SOUS 634390 HAS SOUPS 634390 WITH SCORE 635133.342
AT ITER 520 NEW BEST:: SOT 1003482 SOS 743005 HAS SOPS 743005 HAS SOUS 634255 HAS SOUPS 634255 WITH SCORE 634998.005
AT ITER 521 NEW BEST:: SOT 1002702 SOS 742323 HAS SOPS 742323 HAS SOUS 633505 HAS SOUPS 633505 WITH SCORE 634247.323
AT ITER 523 NEW BEST:: SOT 1002527 SOS 742142 HAS SOPS 742142 HAS SOUS 633324 HAS SOUPS 633324 WITH SCORE 634066.142
AT ITER 525 NEW BEST:: SOT 1002395 SOS 741664 HAS SOPS 741664 HAS SOUS 633141 HAS SOUPS 633141 WITH SCORE 633882.664
AT ITER 528 NEW BEST:: SOT 1001867 SOS 741210 HAS SOPS 741210 HAS SOUS 632687 HAS SOUPS 632687 WITH SCORE 633428.21
AT ITER 529 NEW BEST:: SOT 1001733 SOS 741074 HAS SOPS 741074 HAS SOUS 632551 HAS SOUPS 632551 WITH SCORE 633292.074
AT ITER 540 NEW BEST:: SOT 1001733 SOS 740905 HAS SOPS 740905 HAS SOUS 632289 HAS SOUPS 632289 WITH SCORE 633029.905
AT ITER 541 NEW BEST:: SOT 1001361 SOS 740533 HAS SOPS 740533 HAS SOUS 631954 HAS SOUPS 631954 WITH SCORE 632694.533
AT ITER 542 NEW BEST:: SOT 1001347 SOS 740519 HAS SOPS 740519 HAS SOUS 631940 HAS SOUPS 631940 WITH SCORE 632680.519
AT ITER 548 NEW BEST:: SOT 1001859 SOS 739992 HAS SOPS 739992 HAS SOUS 631539 HAS SOUPS 631539 WITH SCORE 632278.992
AT ITER 549 NEW BEST:: SOT 1001361 SOS 739494 HAS SOPS 739494 HAS SOUS 631041 HAS SOUPS 631041 WITH SCORE 631780.494
AT ITER 550 NEW BEST:: SOT 1001079 SOS 739211 HAS SOPS 739211 HAS SOUS 630758 HAS SOUPS 630758 WITH SCORE 631497.211
AT ITER 554 NEW BEST:: SOT 1001165 SOS 738537 HAS SOPS 738537 HAS SOUS 630405 HAS SOUPS 630405 WITH SCORE 631143.537
AT ITER 555 NEW BEST:: SOT 1000482 SOS 737854 HAS SOPS 737854 HAS SOUS 629722 HAS SOUPS 629722 WITH SCORE 630459.854
AT ITER 556 NEW BEST:: SOT 1000845 SOS 738339 HAS SOPS 738339 HAS SOUS 629686 HAS SOUPS 629686 WITH SCORE 630424.339
AT ITER 559 NEW BEST:: SOT 1000589 SOS 737091 HAS SOPS 737091 HAS SOUS 629436 HAS SOUPS 629436 WITH SCORE 630173.091
AT ITER 568 NEW BEST:: SOT 1000589 SOS 737006 HAS SOPS 737006 HAS SOUS 629401 HAS SOUPS 629401 WITH SCORE 630138.006
AT ITER 576 NEW BEST:: SOT 1000351 SOS 735884 HAS SOPS 735884 HAS SOUS 628863 HAS SOUPS 628863 WITH SCORE 629598.884
AT ITER 579 NEW BEST:: SOT 1000246 SOS 735721 HAS SOPS 735721 HAS SOUS 628474 HAS SOUPS 628474 WITH SCORE 629209.721
AT ITER 595 NEW BEST:: SOT 1000132 SOS 735379 HAS SOPS 735379 HAS SOUS 628360 HAS SOUPS 628360 WITH SCORE 629095.379
AT ITER 596 NEW BEST:: SOT 1000712 SOS 734014 HAS SOPS 734014 HAS SOUS 627144 HAS SOUPS 627144 WITH SCORE 627878.014
AT ITER 600 NEW BEST:: SOT 1000533 SOS 733119 HAS SOPS 733119 HAS SOUS 627083 HAS SOUPS 627083 WITH SCORE 627816.119
AT ITER 603 NEW BEST:: SOT 1000533 SOS 733047 HAS SOPS 733047 HAS SOUS 627083 HAS SOUPS 627083 WITH SCORE 627816.047
AT ITER 605 NEW BEST:: SOT 1000419 SOS 732932 HAS SOPS 732932 HAS SOUS 626968 HAS SOUPS 626968 WITH SCORE 627700.932
AT ITER 608 NEW BEST:: SOT 999988 SOS 732501 HAS SOPS 732501 HAS SOUS 626537 HAS SOUPS 626537 WITH SCORE 627269.501
AT ITER 613 NEW BEST:: SOT 999986 SOS 732499 HAS SOPS 732499 HAS SOUS 626536 HAS SOUPS 626536 WITH SCORE 627268.499
AT ITER 623 NEW BEST:: SOT 999829 SOS 732028 HAS SOPS 732028 HAS SOUS 626536 HAS SOUPS 626536 WITH SCORE 627268.028
AT ITER 624 NEW BEST:: SOT 999687 SOS 731885 HAS SOPS 731885 HAS SOUS 626393 HAS SOUPS 626393 WITH SCORE 627124.885
AT ITER 627 NEW BEST:: SOT 999697 SOS 731699 HAS SOPS 731699 HAS SOUS 626207 HAS SOUPS 626207 WITH SCORE 626938.699
AT ITER 631 NEW BEST:: SOT 1000025 SOS 731445 HAS SOPS 731445 HAS SOUS 626207 HAS SOUPS 626207 WITH SCORE 626938.445
AT ITER 633 NEW BEST:: SOT 999964 SOS 731371 HAS SOPS 731371 HAS SOUS 626133 HAS SOUPS 626133 WITH SCORE 626864.371
AT ITER 642 NEW BEST:: SOT 999520 SOS 730751 HAS SOPS 730751 HAS SOUS 625513 HAS SOUPS 625513 WITH SCORE 626243.751
AT ITER 649 NEW BEST:: SOT 999409 SOS 730640 HAS SOPS 730640 HAS SOUS 625402 HAS SOUPS 625402 WITH SCORE 626132.64
AT ITER 653 NEW BEST:: SOT 998421 SOS 729651 HAS SOPS 729651 HAS SOUS 624413 HAS SOUPS 624413 WITH SCORE 625142.651
AT ITER 660 NEW BEST:: SOT 998432 SOS 729470 HAS SOPS 729470 HAS SOUS 624232 HAS SOUPS 624232 WITH SCORE 624961.47
AT ITER 663 NEW BEST:: SOT 998079 SOS 729067 HAS SOPS 729067 HAS SOUS 623829 HAS SOUPS 623829 WITH SCORE 624558.067
AT ITER 672 NEW BEST:: SOT 998156 SOS 729061 HAS SOPS 729061 HAS SOUS 623823 HAS SOUPS 623823 WITH SCORE 624552.061
AT ITER 675 NEW BEST:: SOT 997794 SOS 728698 HAS SOPS 728698 HAS SOUS 623460 HAS SOUPS 623460 WITH SCORE 624188.698
AT ITER 678 NEW BEST:: SOT 998025 SOS 729120 HAS SOPS 729120 HAS SOUS 623257 HAS SOUPS 623257 WITH SCORE 623986.12
AT ITER 681 NEW BEST:: SOT 997946 SOS 729041 HAS SOPS 729041 HAS SOUS 623178 HAS SOUPS 623178 WITH SCORE 623907.041
AT ITER 682 NEW BEST:: SOT 997851 SOS 728946 HAS SOPS 728946 HAS SOUS 623168 HAS SOUPS 623168 WITH SCORE 623896.946
AT ITER 684 NEW BEST:: SOT 997909 SOS 728714 HAS SOPS 728714 HAS SOUS 622936 HAS SOUPS 622936 WITH SCORE 623664.714
AT ITER 694 NEW BEST:: SOT 997909 SOS 728714 HAS SOPS 728714 HAS SOUS 622828 HAS SOUPS 622828 WITH SCORE 623556.714
AT ITER 702 NEW BEST:: SOT 997719 SOS 728524 HAS SOPS 728524 HAS SOUS 622638 HAS SOUPS 622638 WITH SCORE 623366.524
AT ITER 712 NEW BEST:: SOT 997851 SOS 728178 HAS SOPS 728178 HAS SOUS 621758 HAS SOUPS 621758 WITH SCORE 622486.178
AT ITER 715 NEW BEST:: SOT 997676 SOS 727303 HAS SOPS 727303 HAS SOUS 621433 HAS SOUPS 621433 WITH SCORE 622160.303
AT ITER 716 NEW BEST:: SOT 997674 SOS 727130 HAS SOPS 727130 HAS SOUS 621427 HAS SOUPS 621427 WITH SCORE 622154.13
AT ITER 722 NEW BEST:: SOT 997672 SOS 727126 HAS SOPS 727126 HAS SOUS 621423 HAS SOUPS 621423 WITH SCORE 622150.126
AT ITER 726 NEW BEST:: SOT 997371 SOS 726586 HAS SOPS 726586 HAS SOUS 620883 HAS SOUPS 620883 WITH SCORE 621609.586
AT ITER 729 NEW BEST:: SOT 997572 SOS 725841 HAS SOPS 725841 HAS SOUS 620630 HAS SOUPS 620630 WITH SCORE 621355.841
AT ITER 735 NEW BEST:: SOT 997153 SOS 724829 HAS SOPS 724829 HAS SOUS 619386 HAS SOUPS 619386 WITH SCORE 620110.829
AT ITER 744 NEW BEST:: SOT 997189 SOS 724837 HAS SOPS 724837 HAS SOUS 619252 HAS SOUPS 619252 WITH SCORE 619976.837
AT ITER 753 NEW BEST:: SOT 997189 SOS 724835 HAS SOPS 724835 HAS SOUS 619217 HAS SOUPS 619217 WITH SCORE 619941.835
AT ITER 754 NEW BEST:: SOT 997054 SOS 724700 HAS SOPS 724700 HAS SOUS 618946 HAS SOUPS 618946 WITH SCORE 619670.7
AT ITER 761 NEW BEST:: SOT 997008 SOS 724654 HAS SOPS 724654 HAS SOUS 618900 HAS SOUPS 618900 WITH SCORE 619624.654
AT ITER 764 NEW BEST:: SOT 996839 SOS 723658 HAS SOPS 723658 HAS SOUS 618881 HAS SOUPS 618881 WITH SCORE 619604.658
AT ITER 766 NEW BEST:: SOT 997704 SOS 723542 HAS SOPS 723542 HAS SOUS 618683 HAS SOUPS 618683 WITH SCORE 619406.542
AT ITER 769 NEW BEST:: SOT 997683 SOS 723629 HAS SOPS 723629 HAS SOUS 618415 HAS SOUPS 618415 WITH SCORE 619138.629
AT ITER 782 NEW BEST:: SOT 997340 SOS 723284 HAS SOPS 723284 HAS SOUS 618068 HAS SOUPS 618068 WITH SCORE 618791.284
AT ITER 785 NEW BEST:: SOT 997334 SOS 723278 HAS SOPS 723278 HAS SOUS 618068 HAS SOUPS 618068 WITH SCORE 618791.278
AT ITER 786 NEW BEST:: SOT 997130 SOS 722688 HAS SOPS 722688 HAS SOUS 617539 HAS SOUPS 617539 WITH SCORE 618261.688
AT ITER 793 NEW BEST:: SOT 996676 SOS 721937 HAS SOPS 721937 HAS SOUS 617109 HAS SOUPS 617109 WITH SCORE 617830.937
AT ITER 798 NEW BEST:: SOT 996491 SOS 720877 HAS SOPS 720877 HAS SOUS 617054 HAS SOUPS 617054 WITH SCORE 617774.877
AT ITER 800 NEW BEST:: SOT 996491 SOS 720805 HAS SOPS 720805 HAS SOUS 617046 HAS SOUPS 617046 WITH SCORE 617766.805
AT ITER 803 NEW BEST:: SOT 996823 SOS 719873 HAS SOPS 719873 HAS SOUS 616587 HAS SOUPS 616587 WITH SCORE 617306.873
AT ITER 808 NEW BEST:: SOT 996459 SOS 719505 HAS SOPS 719505 HAS SOUS 616218 HAS SOUPS 616218 WITH SCORE 616937.505
AT ITER 822 NEW BEST:: SOT 997080 SOS 719653 HAS SOPS 719653 HAS SOUS 616194 HAS SOUPS 616194 WITH SCORE 616913.653
AT ITER 823 NEW BEST:: SOT 996739 SOS 719311 HAS SOPS 719311 HAS SOUS 615852 HAS SOUPS 615852 WITH SCORE 616571.311
AT ITER 824 NEW BEST:: SOT 996443 SOS 717889 HAS SOPS 717889 HAS SOUS 615344 HAS SOUPS 615344 WITH SCORE 616061.889
AT ITER 825 NEW BEST:: SOT 996421 SOS 717867 HAS SOPS 717867 HAS SOUS 615322 HAS SOUPS 615322 WITH SCORE 616039.867
AT ITER 829 NEW BEST:: SOT 996417 SOS 717863 HAS SOPS 717863 HAS SOUS 615318 HAS SOUPS 615318 WITH SCORE 616035.863
AT ITER 834 NEW BEST:: SOT 996301 SOS 717746 HAS SOPS 717746 HAS SOUS 615201 HAS SOUPS 615201 WITH SCORE 615918.746
AT ITER 837 NEW BEST:: SOT 996612 SOS 718057 HAS SOPS 718057 HAS SOUS 614806 HAS SOUPS 614806 WITH SCORE 615524.057
AT ITER 849 NEW BEST:: SOT 996535 SOS 717980 HAS SOPS 717980 HAS SOUS 614729 HAS SOUPS 614729 WITH SCORE 615446.98
AT ITER 852 NEW BEST:: SOT 996314 SOS 717560 HAS SOPS 717560 HAS SOUS 614309 HAS SOUPS 614309 WITH SCORE 615026.56
AT ITER 860 NEW BEST:: SOT 995845 SOS 716845 HAS SOPS 716845 HAS SOUS 613594 HAS SOUPS 613594 WITH SCORE 614310.845
AT ITER 861 NEW BEST:: SOT 995846 SOS 716769 HAS SOPS 716769 HAS SOUS 613594 HAS SOUPS 613594 WITH SCORE 614310.769
AT ITER 863 NEW BEST:: SOT 995844 SOS 716767 HAS SOPS 716767 HAS SOUS 613592 HAS SOUPS 613592 WITH SCORE 614308.767
AT ITER 866 NEW BEST:: SOT 995814 SOS 716681 HAS SOPS 716681 HAS SOUS 613506 HAS SOUPS 613506 WITH SCORE 614222.681
AT ITER 869 NEW BEST:: SOT 995950 SOS 716523 HAS SOPS 716523 HAS SOUS 613348 HAS SOUPS 613348 WITH SCORE 614064.523
AT ITER 871 NEW BEST:: SOT 995949 SOS 716522 HAS SOPS 716522 HAS SOUS 613347 HAS SOUPS 613347 WITH SCORE 614063.522
AT ITER 874 NEW BEST:: SOT 996312 SOS 716478 HAS SOPS 716478 HAS SOUS 613303 HAS SOUPS 613303 WITH SCORE 614019.478
AT ITER 878 NEW BEST:: SOT 996033 SOS 716196 HAS SOPS 716196 HAS SOUS 613021 HAS SOUPS 613021 WITH SCORE 613737.196
AT ITER 881 NEW BEST:: SOT 995977 SOS 715830 HAS SOPS 715830 HAS SOUS 612196 HAS SOUPS 612196 WITH SCORE 612911.83
AT ITER 884 NEW BEST:: SOT 995977 SOS 715736 HAS SOPS 715736 HAS SOUS 612196 HAS SOUPS 612196 WITH SCORE 612911.736
AT ITER 890 NEW BEST:: SOT 995718 SOS 715717 HAS SOPS 715717 HAS SOUS 612179 HAS SOUPS 612179 WITH SCORE 612894.717
AT ITER 896 NEW BEST:: SOT 995718 SOS 715614 HAS SOPS 715614 HAS SOUS 611969 HAS SOUPS 611969 WITH SCORE 612684.614
AT ITER 898 NEW BEST:: SOT 995423 SOS 715319 HAS SOPS 715319 HAS SOUS 611674 HAS SOUPS 611674 WITH SCORE 612389.319
AT ITER 899 NEW BEST:: SOT 995737 SOS 715558 HAS SOPS 715558 HAS SOUS 611447 HAS SOUPS 611447 WITH SCORE 612162.558
AT ITER 906 NEW BEST:: SOT 995709 SOS 715546 HAS SOPS 715546 HAS SOUS 611435 HAS SOUPS 611435 WITH SCORE 612150.546
AT ITER 908 NEW BEST:: SOT 995673 SOS 715489 HAS SOPS 715489 HAS SOUS 611378 HAS SOUPS 611378 WITH SCORE 612093.489
AT ITER 909 NEW BEST:: SOT 995613 SOS 715399 HAS SOPS 715399 HAS SOUS 611288 HAS SOUPS 611288 WITH SCORE 612003.399
AT ITER 913 NEW BEST:: SOT 995613 SOS 715088 HAS SOPS 715088 HAS SOUS 611213 HAS SOUPS 611213 WITH SCORE 611928.088
AT ITER 915 NEW BEST:: SOT 996258 SOS 714931 HAS SOPS 714931 HAS SOUS 611187 HAS SOUPS 611187 WITH SCORE 611901.931
AT ITER 919 NEW BEST:: SOT 995952 SOS 713670 HAS SOPS 713670 HAS SOUS 610232 HAS SOUPS 610232 WITH SCORE 610945.67
AT ITER 921 NEW BEST:: SOT 995691 SOS 713409 HAS SOPS 713409 HAS SOUS 609971 HAS SOUPS 609971 WITH SCORE 610684.409
AT ITER 924 NEW BEST:: SOT 995691 SOS 713279 HAS SOPS 713279 HAS SOUS 609971 HAS SOUPS 609971 WITH SCORE 610684.279
AT ITER 932 NEW BEST:: SOT 995702 SOS 712241 HAS SOPS 712241 HAS SOUS 609225 HAS SOUPS 609225 WITH SCORE 609937.241
AT ITER 935 NEW BEST:: SOT 995702 SOS 712397 HAS SOPS 712397 HAS SOUS 609206 HAS SOUPS 609206 WITH SCORE 609918.397
AT ITER 936 NEW BEST:: SOT 995211 SOS 712077 HAS SOPS 712077 HAS SOUS 608350 HAS SOUPS 608350 WITH SCORE 609062.077
AT ITER 937 NEW BEST:: SOT 994654 SOS 711520 HAS SOPS 711520 HAS SOUS 607793 HAS SOUPS 607793 WITH SCORE 608504.52
AT ITER 938 NEW BEST:: SOT 994622 SOS 711520 HAS SOPS 711520 HAS SOUS 607762 HAS SOUPS 607762 WITH SCORE 608473.52
AT ITER 948 NEW BEST:: SOT 994365 SOS 711261 HAS SOPS 711261 HAS SOUS 607503 HAS SOUPS 607503 WITH SCORE 608214.261
AT ITER 951 NEW BEST:: SOT 994045 SOS 710941 HAS SOPS 710941 HAS SOUS 607183 HAS SOUPS 607183 WITH SCORE 607893.941
AT ITER 952 NEW BEST:: SOT 993689 SOS 710842 HAS SOPS 710842 HAS SOUS 607084 HAS SOUPS 607084 WITH SCORE 607794.842
AT ITER 955 NEW BEST:: SOT 993472 SOS 710583 HAS SOPS 710583 HAS SOUS 606912 HAS SOUPS 606912 WITH SCORE 607622.583
AT ITER 957 NEW BEST:: SOT 993470 SOS 710581 HAS SOPS 710581 HAS SOUS 606910 HAS SOUPS 606910 WITH SCORE 607620.581
AT ITER 958 NEW BEST:: SOT 993564 SOS 710176 HAS SOPS 710176 HAS SOUS 606228 HAS SOUPS 606228 WITH SCORE 606938.176
AT ITER 964 NEW BEST:: SOT 993564 SOS 710176 HAS SOPS 710176 HAS SOUS 606152 HAS SOUPS 606152 WITH SCORE 606862.176
AT ITER 967 NEW BEST:: SOT 993551 SOS 710163 HAS SOPS 710163 HAS SOUS 606139 HAS SOUPS 606139 WITH SCORE 606849.163
AT ITER 971 NEW BEST:: SOT 993793 SOS 709662 HAS SOPS 709662 HAS SOUS 606137 HAS SOUPS 606137 WITH SCORE 606846.662
AT ITER 974 NEW BEST:: SOT 993727 SOS 709593 HAS SOPS 709593 HAS SOUS 606067 HAS SOUPS 606067 WITH SCORE 606776.593
AT ITER 975 NEW BEST:: SOT 993541 SOS 709258 HAS SOPS 709258 HAS SOUS 605732 HAS SOUPS 605732 WITH SCORE 606441.258
AT ITER 976 NEW BEST:: SOT 993455 SOS 709172 HAS SOPS 709172 HAS SOUS 605646 HAS SOUPS 605646 WITH SCORE 606355.172
AT ITER 977 NEW BEST:: SOT 993453 SOS 709105 HAS SOPS 709105 HAS SOUS 605642 HAS SOUPS 605642 WITH SCORE 606351.105
AT ITER 980 NEW BEST:: SOT 993250 SOS 707825 HAS SOPS 707825 HAS SOUS 605061 HAS SOUPS 605061 WITH SCORE 605768.825
AT ITER 981 NEW BEST:: SOT 993242 SOS 707817 HAS SOPS 707817 HAS SOUS 605053 HAS SOUPS 605053 WITH SCORE 605760.817
AT ITER 983 NEW BEST:: SOT 992693 SOS 706976 HAS SOPS 706976 HAS SOUS 604274 HAS SOUPS 604274 WITH SCORE 604980.976
AT ITER 984 NEW BEST:: SOT 992692 SOS 706975 HAS SOPS 706975 HAS SOUS 604273 HAS SOUPS 604273 WITH SCORE 604979.975
AT ITER 989 NEW BEST:: SOT 992594 SOS 706871 HAS SOPS 706871 HAS SOUS 604120 HAS SOUPS 604120 WITH SCORE 604826.871
AT ITER 990 NEW BEST:: SOT 992489 SOS 706869 HAS SOPS 706869 HAS SOUS 604010 HAS SOUPS 604010 WITH SCORE 604716.869
AT ITER 993 NEW BEST:: SOT 992478 SOS 706858 HAS SOPS 706858 HAS SOUS 603999 HAS SOUPS 603999 WITH SCORE 604705.858
AT ITER 996 NEW BEST:: SOT 992478 SOS 705434 HAS SOPS 705434 HAS SOUS 602409 HAS SOUPS 602409 WITH SCORE 603114.434
AT ITER 997 NEW BEST:: SOT 992409 SOS 705202 HAS SOPS 705202 HAS SOUS 602223 HAS SOUPS 602223 WITH SCORE 602928.202
AT ITER 1000 NEW BEST:: SOT 992409 SOS 705116 HAS SOPS 705116 HAS SOUS 602215 HAS SOUPS 602215 WITH SCORE 602920.116
AT ITER 1004 NEW BEST:: SOT 992352 SOS 705059 HAS SOPS 705059 HAS SOUS 602158 HAS SOUPS 602158 WITH SCORE 602863.059
AT ITER 1005 NEW BEST:: SOT 992350 SOS 705057 HAS SOPS 705057 HAS SOUS 602156 HAS SOUPS 602156 WITH SCORE 602861.057
AT ITER 1010 NEW BEST:: SOT 992204 SOS 704911 HAS SOPS 704911 HAS SOUS 602010 HAS SOUPS 602010 WITH SCORE 602714.911
AT ITER 1019 NEW BEST:: SOT 991832 SOS 704408 HAS SOPS 704408 HAS SOUS 601507 HAS SOUPS 601507 WITH SCORE 602211.408
AT ITER 1022 NEW BEST:: SOT 991747 SOS 704351 HAS SOPS 704351 HAS SOUS 601415 HAS SOUPS 601415 WITH SCORE 602119.351
AT ITER 1023 NEW BEST:: SOT 990589 SOS 703193 HAS SOPS 703193 HAS SOUS 600257 HAS SOUPS 600257 WITH SCORE 600960.193
AT ITER 1024 NEW BEST:: SOT 991240 SOS 702054 HAS SOPS 702054 HAS SOUS 600003 HAS SOUPS 600003 WITH SCORE 600705.054
AT ITER 1045 NEW BEST:: SOT 991240 SOS 702002 HAS SOPS 702002 HAS SOUS 599899 HAS SOUPS 599899 WITH SCORE 600601.002
AT ITER 1048 NEW BEST:: SOT 990832 SOS 701525 HAS SOPS 701525 HAS SOUS 599422 HAS SOUPS 599422 WITH SCORE 600123.525
AT ITER 1055 NEW BEST:: SOT 990498 SOS 701191 HAS SOPS 701191 HAS SOUS 599088 HAS SOUPS 599088 WITH SCORE 599789.191
AT ITER 1056 NEW BEST:: SOT 990498 SOS 701191 HAS SOPS 701191 HAS SOUS 598954 HAS SOUPS 598954 WITH SCORE 599655.191
AT ITER 1065 NEW BEST:: SOT 990084 SOS 700777 HAS SOPS 700777 HAS SOUS 598540 HAS SOUPS 598540 WITH SCORE 599240.777
AT ITER 1081 NEW BEST:: SOT 989781 SOS 699845 HAS SOPS 699845 HAS SOUS 597619 HAS SOUPS 597619 WITH SCORE 598318.845
AT ITER 1083 NEW BEST:: SOT 989453 SOS 699515 HAS SOPS 699515 HAS SOUS 597289 HAS SOUPS 597289 WITH SCORE 597988.515
AT ITER 1085 NEW BEST:: SOT 989220 SOS 699282 HAS SOPS 699282 HAS SOUS 596844 HAS SOUPS 596844 WITH SCORE 597543.282
AT ITER 1090 NEW BEST:: SOT 988895 SOS 697663 HAS SOPS 697663 HAS SOUS 595553 HAS SOUPS 595553 WITH SCORE 596250.663
AT ITER 1091 NEW BEST:: SOT 988895 SOS 697328 HAS SOPS 697328 HAS SOUS 595218 HAS SOUPS 595218 WITH SCORE 595915.328
AT ITER 1093 NEW BEST:: SOT 988826 SOS 697259 HAS SOPS 697259 HAS SOUS 595149 HAS SOUPS 595149 WITH SCORE 595846.259
AT ITER 1099 NEW BEST:: SOT 988200 SOS 696631 HAS SOPS 696631 HAS SOUS 594516 HAS SOUPS 594516 WITH SCORE 595212.631
AT ITER 1101 NEW BEST:: SOT 988199 SOS 696628 HAS SOPS 696628 HAS SOUS 594493 HAS SOUPS 594493 WITH SCORE 595189.628
AT ITER 1104 NEW BEST:: SOT 988199 SOS 696626 HAS SOPS 696626 HAS SOUS 594491 HAS SOUPS 594491 WITH SCORE 595187.626
AT ITER 1105 NEW BEST:: SOT 988199 SOS 696620 HAS SOPS 696620 HAS SOUS 594489 HAS SOUPS 594489 WITH SCORE 595185.62
AT ITER 1115 NEW BEST:: SOT 987943 SOS 696364 HAS SOPS 696364 HAS SOUS 594233 HAS SOUPS 594233 WITH SCORE 594929.364
AT ITER 1126 NEW BEST:: SOT 987660 SOS 696081 HAS SOPS 696081 HAS SOUS 593950 HAS SOUPS 593950 WITH SCORE 594646.081
AT ITER 1133 NEW BEST:: SOT 987660 SOS 695938 HAS SOPS 695938 HAS SOUS 593807 HAS SOUPS 593807 WITH SCORE 594502.938
AT ITER 1136 NEW BEST:: SOT 987447 SOS 695725 HAS SOPS 695725 HAS SOUS 593594 HAS SOUPS 593594 WITH SCORE 594289.725
AT ITER 1142 NEW BEST:: SOT 987405 SOS 695641 HAS SOPS 695641 HAS SOUS 593552 HAS SOUPS 593552 WITH SCORE 594247.641
AT ITER 1144 NEW BEST:: SOT 987570 SOS 695447 HAS SOPS 695447 HAS SOUS 592642 HAS SOUPS 592642 WITH SCORE 593337.447
AT ITER 1150 NEW BEST:: SOT 987678 SOS 695194 HAS SOPS 695194 HAS SOUS 591726 HAS SOUPS 591726 WITH SCORE 592421.194
AT ITER 1154 NEW BEST:: SOT 987189 SOS 694705 HAS SOPS 694705 HAS SOUS 591034 HAS SOUPS 591034 WITH SCORE 591728.705
AT ITER 1156 NEW BEST:: SOT 987640 SOS 694190 HAS SOPS 694190 HAS SOUS 590671 HAS SOUPS 590671 WITH SCORE 591365.19
AT ITER 1160 NEW BEST:: SOT 987278 SOS 693754 HAS SOPS 693754 HAS SOUS 590235 HAS SOUPS 590235 WITH SCORE 590928.754
AT ITER 1162 NEW BEST:: SOT 987457 SOS 693821 HAS SOPS 693821 HAS SOUS 590056 HAS SOUPS 590056 WITH SCORE 590749.821
AT ITER 1166 NEW BEST:: SOT 987436 SOS 693779 HAS SOPS 693779 HAS SOUS 590013 HAS SOUPS 590013 WITH SCORE 590706.779
AT ITER 1173 NEW BEST:: SOT 987436 SOS 693883 HAS SOPS 693883 HAS SOUS 590012 HAS SOUPS 590012 WITH SCORE 590705.883
AT ITER 1174 NEW BEST:: SOT 987321 SOS 693766 HAS SOPS 693766 HAS SOUS 589895 HAS SOUPS 589895 WITH SCORE 590588.766
AT ITER 1192 NEW BEST:: SOT 987085 SOS 693528 HAS SOPS 693528 HAS SOUS 589705 HAS SOUPS 589705 WITH SCORE 590398.528
AT ITER 1198 NEW BEST:: SOT 986988 SOS 693423 HAS SOPS 693423 HAS SOUS 589600 HAS SOUPS 589600 WITH SCORE 590293.423
AT ITER 1199 NEW BEST:: SOT 987043 SOS 692998 HAS SOPS 692998 HAS SOUS 588930 HAS SOUPS 588930 WITH SCORE 589622.998
AT ITER 1202 NEW BEST:: SOT 987378 SOS 692646 HAS SOPS 692646 HAS SOUS 588786 HAS SOUPS 588786 WITH SCORE 589478.646
AT ITER 1204 NEW BEST:: SOT 987284 SOS 692458 HAS SOPS 692458 HAS SOUS 588682 HAS SOUPS 588682 WITH SCORE 589374.458
AT ITER 1206 NEW BEST:: SOT 987284 SOS 692344 HAS SOPS 692344 HAS SOUS 588568 HAS SOUPS 588568 WITH SCORE 589260.344
AT ITER 1209 NEW BEST:: SOT 987284 SOS 692344 HAS SOPS 692344 HAS SOUS 588478 HAS SOUPS 588478 WITH SCORE 589170.344
AT ITER 1212 NEW BEST:: SOT 986882 SOS 691787 HAS SOPS 691787 HAS SOUS 587921 HAS SOUPS 587921 WITH SCORE 588612.787
AT ITER 1213 NEW BEST:: SOT 986526 SOS 691255 HAS SOPS 691255 HAS SOUS 587389 HAS SOUPS 587389 WITH SCORE 588080.255
AT ITER 1224 NEW BEST:: SOT 986524 SOS 691253 HAS SOPS 691253 HAS SOUS 587387 HAS SOUPS 587387 WITH SCORE 588078.253
AT ITER 1227 NEW BEST:: SOT 986615 SOS 691344 HAS SOPS 691344 HAS SOUS 587386 HAS SOUPS 587386 WITH SCORE 588077.344
AT ITER 1245 NEW BEST:: SOT 986615 SOS 691160 HAS SOPS 691160 HAS SOUS 587202 HAS SOUPS 587202 WITH SCORE 587893.16
AT ITER 1252 NEW BEST:: SOT 986612 SOS 691157 HAS SOPS 691157 HAS SOUS 587199 HAS SOUPS 587199 WITH SCORE 587890.157
AT ITER 1254 NEW BEST:: SOT 986280 SOS 690823 HAS SOPS 690823 HAS SOUS 586865 HAS SOUPS 586865 WITH SCORE 587555.823
AT ITER 1255 NEW BEST:: SOT 986279 SOS 690739 HAS SOPS 690739 HAS SOUS 586781 HAS SOUPS 586781 WITH SCORE 587471.739
AT ITER 1256 NEW BEST:: SOT 986237 SOS 690701 HAS SOPS 690701 HAS SOUS 586765 HAS SOUPS 586765 WITH SCORE 587455.701
AT ITER 1260 NEW BEST:: SOT 986233 SOS 690697 HAS SOPS 690697 HAS SOUS 586761 HAS SOUPS 586761 WITH SCORE 587451.697
AT ITER 1261 NEW BEST:: SOT 986479 SOS 690547 HAS SOPS 690547 HAS SOUS 585511 HAS SOUPS 585511 WITH SCORE 586201.547
AT ITER 1262 NEW BEST:: SOT 986680 SOS 690372 HAS SOPS 690372 HAS SOUS 585239 HAS SOUPS 585239 WITH SCORE 585929.372
AT ITER 1265 NEW BEST:: SOT 986618 SOS 690310 HAS SOPS 690310 HAS SOUS 585177 HAS SOUPS 585177 WITH SCORE 585867.31
AT ITER 1266 NEW BEST:: SOT 986618 SOS 690039 HAS SOPS 690039 HAS SOUS 585171 HAS SOUPS 585171 WITH SCORE 585861.039
AT ITER 1269 NEW BEST:: SOT 986618 SOS 689207 HAS SOPS 689207 HAS SOUS 585167 HAS SOUPS 585167 WITH SCORE 585856.207
AT ITER 1277 NEW BEST:: SOT 986334 SOS 687557 HAS SOPS 687557 HAS SOUS 584555 HAS SOUPS 584555 WITH SCORE 585242.557
AT ITER 1278 NEW BEST:: SOT 986334 SOS 687455 HAS SOPS 687455 HAS SOUS 584453 HAS SOUPS 584453 WITH SCORE 585140.455
AT ITER 1279 NEW BEST:: SOT 986139 SOS 687478 HAS SOPS 687478 HAS SOUS 584281 HAS SOUPS 584281 WITH SCORE 584968.478
AT ITER 1280 NEW BEST:: SOT 986139 SOS 687333 HAS SOPS 687333 HAS SOUS 584136 HAS SOUPS 584136 WITH SCORE 584823.333
AT ITER 1282 NEW BEST:: SOT 985985 SOS 687179 HAS SOPS 687179 HAS SOUS 583982 HAS SOUPS 583982 WITH SCORE 584669.179
AT ITER 1283 NEW BEST:: SOT 985884 SOS 687076 HAS SOPS 687076 HAS SOUS 583877 HAS SOUPS 583877 WITH SCORE 584564.076
AT ITER 1285 NEW BEST:: SOT 985420 SOS 686625 HAS SOPS 686625 HAS SOUS 583426 HAS SOUPS 583426 WITH SCORE 584112.625
AT ITER 1287 NEW BEST:: SOT 985614 SOS 686822 HAS SOPS 686822 HAS SOUS 582899 HAS SOUPS 582899 WITH SCORE 583585.822
AT ITER 1295 NEW BEST:: SOT 985722 SOS 686730 HAS SOPS 686730 HAS SOUS 582807 HAS SOUPS 582807 WITH SCORE 583493.73
AT ITER 1298 NEW BEST:: SOT 985722 SOS 686947 HAS SOPS 686947 HAS SOUS 582758 HAS SOUPS 582758 WITH SCORE 583444.947
AT ITER 1299 NEW BEST:: SOT 985214 SOS 686464 HAS SOPS 686464 HAS SOUS 582275 HAS SOUPS 582275 WITH SCORE 582961.464
AT ITER 1300 NEW BEST:: SOT 984891 SOS 686141 HAS SOPS 686141 HAS SOUS 581952 HAS SOUPS 581952 WITH SCORE 582638.141
AT ITER 1306 NEW BEST:: SOT 984670 SOS 685493 HAS SOPS 685493 HAS SOUS 581559 HAS SOUPS 581559 WITH SCORE 582244.493
AT ITER 1307 NEW BEST:: SOT 984740 SOS 685269 HAS SOPS 685269 HAS SOUS 581335 HAS SOUPS 581335 WITH SCORE 582020.269
AT ITER 1313 NEW BEST:: SOT 984773 SOS 685302 HAS SOPS 685302 HAS SOUS 581334 HAS SOUPS 581334 WITH SCORE 582019.302
AT ITER 1314 NEW BEST:: SOT 984075 SOS 684604 HAS SOPS 684604 HAS SOUS 579893 HAS SOUPS 579893 WITH SCORE 580577.604
AT ITER 1316 NEW BEST:: SOT 984187 SOS 684828 HAS SOPS 684828 HAS SOUS 579889 HAS SOUPS 579889 WITH SCORE 580573.828
AT ITER 1318 NEW BEST:: SOT 985045 SOS 683454 HAS SOPS 683454 HAS SOUS 578505 HAS SOUPS 578505 WITH SCORE 579188.454
AT ITER 1320 NEW BEST:: SOT 984960 SOS 683285 HAS SOPS 683285 HAS SOUS 578336 HAS SOUPS 578336 WITH SCORE 579019.285
AT ITER 1335 NEW BEST:: SOT 984899 SOS 683224 HAS SOPS 683224 HAS SOUS 578213 HAS SOUPS 578213 WITH SCORE 578896.224
AT ITER 1337 NEW BEST:: SOT 985031 SOS 682308 HAS SOPS 682308 HAS SOUS 577533 HAS SOUPS 577533 WITH SCORE 578215.308
AT ITER 1345 NEW BEST:: SOT 984990 SOS 682104 HAS SOPS 682104 HAS SOUS 577370 HAS SOUPS 577370 WITH SCORE 578052.104
AT ITER 1351 NEW BEST:: SOT 984710 SOS 681640 HAS SOPS 681640 HAS SOUS 576986 HAS SOUPS 576986 WITH SCORE 577667.64
AT ITER 1352 NEW BEST:: SOT 984946 SOS 682106 HAS SOPS 682106 HAS SOUS 576944 HAS SOUPS 576944 WITH SCORE 577626.106
AT ITER 1354 NEW BEST:: SOT 984630 SOS 680680 HAS SOPS 680680 HAS SOUS 576123 HAS SOUPS 576123 WITH SCORE 576803.68
AT ITER 1362 NEW BEST:: SOT 985288 SOS 680265 HAS SOPS 680265 HAS SOUS 575402 HAS SOUPS 575402 WITH SCORE 576082.265
AT ITER 1365 NEW BEST:: SOT 986078 SOS 679556 HAS SOPS 679556 HAS SOUS 574849 HAS SOUPS 574849 WITH SCORE 575528.556
AT ITER 1371 NEW BEST:: SOT 985582 SOS 679060 HAS SOPS 679060 HAS SOUS 574353 HAS SOUPS 574353 WITH SCORE 575032.06
AT ITER 1374 NEW BEST:: SOT 985453 SOS 678812 HAS SOPS 678812 HAS SOUS 574287 HAS SOUPS 574287 WITH SCORE 574965.812
AT ITER 1375 NEW BEST:: SOT 985453 SOS 678812 HAS SOPS 678812 HAS SOUS 574286 HAS SOUPS 574286 WITH SCORE 574964.812
AT ITER 1376 NEW BEST:: SOT 985240 SOS 678353 HAS SOPS 678353 HAS SOUS 573620 HAS SOUPS 573620 WITH SCORE 574298.353
AT ITER 1377 NEW BEST:: SOT 985240 SOS 677955 HAS SOPS 677955 HAS SOUS 573537 HAS SOUPS 573537 WITH SCORE 574214.955
AT ITER 1384 NEW BEST:: SOT 985238 SOS 677953 HAS SOPS 677953 HAS SOUS 573535 HAS SOUPS 573535 WITH SCORE 574212.953
AT ITER 1386 NEW BEST:: SOT 985254 SOS 677969 HAS SOPS 677969 HAS SOUS 573534 HAS SOUPS 573534 WITH SCORE 574211.969
AT ITER 1394 NEW BEST:: SOT 985079 SOS 676753 HAS SOPS 676753 HAS SOUS 573182 HAS SOUPS 573182 WITH SCORE 573858.753
AT ITER 1395 NEW BEST:: SOT 985051 SOS 676627 HAS SOPS 676627 HAS SOUS 573126 HAS SOUPS 573126 WITH SCORE 573802.627
AT ITER 1396 NEW BEST:: SOT 985141 SOS 676323 HAS SOPS 676323 HAS SOUS 572992 HAS SOUPS 572992 WITH SCORE 573668.323
AT ITER 1402 NEW BEST:: SOT 985141 SOS 676330 HAS SOPS 676330 HAS SOUS 572985 HAS SOUPS 572985 WITH SCORE 573661.33
AT ITER 1407 NEW BEST:: SOT 985295 SOS 676078 HAS SOPS 676078 HAS SOUS 572683 HAS SOUPS 572683 WITH SCORE 573359.078
AT ITER 1415 NEW BEST:: SOT 984470 SOS 675253 HAS SOPS 675253 HAS SOUS 571656 HAS SOUPS 571656 WITH SCORE 572331.253
AT ITER 1417 NEW BEST:: SOT 984470 SOS 674958 HAS SOPS 674958 HAS SOUS 571567 HAS SOUPS 571567 WITH SCORE 572241.958
AT ITER 1420 NEW BEST:: SOT 984456 SOS 674944 HAS SOPS 674944 HAS SOUS 571546 HAS SOUPS 571546 WITH SCORE 572220.944
AT ITER 1422 NEW BEST:: SOT 984362 SOS 673578 HAS SOPS 673578 HAS SOUS 571242 HAS SOUPS 571242 WITH SCORE 571915.578
AT ITER 1424 NEW BEST:: SOT 984280 SOS 673496 HAS SOPS 673496 HAS SOUS 571160 HAS SOUPS 571160 WITH SCORE 571833.496
AT ITER 1428 NEW BEST:: SOT 984063 SOS 673081 HAS SOPS 673081 HAS SOUS 570745 HAS SOUPS 570745 WITH SCORE 571418.081
AT ITER 1431 NEW BEST:: SOT 983483 SOS 672499 HAS SOPS 672499 HAS SOUS 570158 HAS SOUPS 570158 WITH SCORE 570830.499
AT ITER 1432 NEW BEST:: SOT 983499 SOS 672206 HAS SOPS 672206 HAS SOUS 569677 HAS SOUPS 569677 WITH SCORE 570349.206
AT ITER 1433 NEW BEST:: SOT 983430 SOS 671314 HAS SOPS 671314 HAS SOUS 569515 HAS SOUPS 569515 WITH SCORE 570186.314
AT ITER 1434 NEW BEST:: SOT 983346 SOS 671228 HAS SOPS 671228 HAS SOUS 569429 HAS SOUPS 569429 WITH SCORE 570100.228
AT ITER 1435 NEW BEST:: SOT 983220 SOS 671100 HAS SOPS 671100 HAS SOUS 569301 HAS SOUPS 569301 WITH SCORE 569972.1
AT ITER 1437 NEW BEST:: SOT 983076 SOS 670956 HAS SOPS 670956 HAS SOUS 569157 HAS SOUPS 569157 WITH SCORE 569827.956
AT ITER 1442 NEW BEST:: SOT 983076 SOS 670956 HAS SOPS 670956 HAS SOUS 569156 HAS SOUPS 569156 WITH SCORE 569826.956
AT ITER 1444 NEW BEST:: SOT 982861 SOS 670684 HAS SOPS 670684 HAS SOUS 568884 HAS SOUPS 568884 WITH SCORE 569554.684
AT ITER 1446 NEW BEST:: SOT 982560 SOS 669943 HAS SOPS 669943 HAS SOUS 568143 HAS SOUPS 568143 WITH SCORE 568812.943
AT ITER 1448 NEW BEST:: SOT 982472 SOS 669855 HAS SOPS 669855 HAS SOUS 568055 HAS SOUPS 568055 WITH SCORE 568724.855
AT ITER 1450 NEW BEST:: SOT 982166 SOS 669525 HAS SOPS 669525 HAS SOUS 567725 HAS SOUPS 567725 WITH SCORE 568394.525
AT ITER 1458 NEW BEST:: SOT 982166 SOS 669399 HAS SOPS 669399 HAS SOUS 567597 HAS SOUPS 567597 WITH SCORE 568266.399
AT ITER 1459 NEW BEST:: SOT 982092 SOS 669325 HAS SOPS 669325 HAS SOUS 567523 HAS SOUPS 567523 WITH SCORE 568192.325
AT ITER 1462 NEW BEST:: SOT 981677 SOS 668750 HAS SOPS 668750 HAS SOUS 566948 HAS SOUPS 566948 WITH SCORE 567616.75
AT ITER 1468 NEW BEST:: SOT 981425 SOS 668372 HAS SOPS 668372 HAS SOUS 566570 HAS SOUPS 566570 WITH SCORE 567238.372
AT ITER 1472 NEW BEST:: SOT 981423 SOS 668268 HAS SOPS 668268 HAS SOUS 566466 HAS SOUPS 566466 WITH SCORE 567134.268
AT ITER 1480 NEW BEST:: SOT 982247 SOS 667566 HAS SOPS 667566 HAS SOUS 565314 HAS SOUPS 565314 WITH SCORE 565981.566
AT ITER 1482 NEW BEST:: SOT 982246 SOS 667565 HAS SOPS 667565 HAS SOUS 565313 HAS SOUPS 565313 WITH SCORE 565980.565
AT ITER 1486 NEW BEST:: SOT 982361 SOS 667067 HAS SOPS 667067 HAS SOUS 565059 HAS SOUPS 565059 WITH SCORE 565726.067
AT ITER 1487 NEW BEST:: SOT 982361 SOS 666472 HAS SOPS 666472 HAS SOUS 565050 HAS SOUPS 565050 WITH SCORE 565716.472
AT ITER 1493 NEW BEST:: SOT 982263 SOS 666303 HAS SOPS 666303 HAS SOUS 564881 HAS SOUPS 564881 WITH SCORE 565547.303
AT ITER 1495 NEW BEST:: SOT 981705 SOS 665745 HAS SOPS 665745 HAS SOUS 564323 HAS SOUPS 564323 WITH SCORE 564988.745
AT ITER 1522 NEW BEST:: SOT 981529 SOS 665591 HAS SOPS 665591 HAS SOUS 564169 HAS SOUPS 564169 WITH SCORE 564834.591
AT ITER 1531 NEW BEST:: SOT 981314 SOS 664203 HAS SOPS 664203 HAS SOUS 563952 HAS SOUPS 563952 WITH SCORE 564616.203
AT ITER 1532 NEW BEST:: SOT 981286 SOS 664175 HAS SOPS 664175 HAS SOUS 563924 HAS SOUPS 563924 WITH SCORE 564588.175
AT ITER 1533 NEW BEST:: SOT 980941 SOS 662468 HAS SOPS 662468 HAS SOUS 562271 HAS SOUPS 562271 WITH SCORE 562933.468
AT ITER 1540 NEW BEST:: SOT 980929 SOS 662456 HAS SOPS 662456 HAS SOUS 562058 HAS SOUPS 562058 WITH SCORE 562720.456
AT ITER 1543 NEW BEST:: SOT 980924 SOS 662456 HAS SOPS 662456 HAS SOUS 562055 HAS SOUPS 562055 WITH SCORE 562717.456
AT ITER 1549 NEW BEST:: SOT 980764 SOS 662335 HAS SOPS 662335 HAS SOUS 561911 HAS SOUPS 561911 WITH SCORE 562573.335
AT ITER 1554 NEW BEST:: SOT 980186 SOS 661784 HAS SOPS 661784 HAS SOUS 561414 HAS SOUPS 561414 WITH SCORE 562075.784
AT ITER 1559 NEW BEST:: SOT 980184 SOS 661782 HAS SOPS 661782 HAS SOUS 561412 HAS SOUPS 561412 WITH SCORE 562073.782
AT ITER 1561 NEW BEST:: SOT 980184 SOS 661532 HAS SOPS 661532 HAS SOUS 560912 HAS SOUPS 560912 WITH SCORE 561573.532
AT ITER 1564 NEW BEST:: SOT 979683 SOS 661031 HAS SOPS 661031 HAS SOUS 560411 HAS SOUPS 560411 WITH SCORE 561072.031
AT ITER 1565 NEW BEST:: SOT 979243 SOS 660649 HAS SOPS 660649 HAS SOUS 560029 HAS SOUPS 560029 WITH SCORE 560689.649
AT ITER 1566 NEW BEST:: SOT 979691 SOS 660849 HAS SOPS 660849 HAS SOUS 560020 HAS SOUPS 560020 WITH SCORE 560680.849
AT ITER 1569 NEW BEST:: SOT 979619 SOS 660703 HAS SOPS 660703 HAS SOUS 559874 HAS SOUPS 559874 WITH SCORE 560534.703
AT ITER 1577 NEW BEST:: SOT 979619 SOS 660221 HAS SOPS 660221 HAS SOUS 559740 HAS SOUPS 559740 WITH SCORE 560400.221
AT ITER 1593 NEW BEST:: SOT 979502 SOS 660104 HAS SOPS 660104 HAS SOUS 559623 HAS SOUPS 559623 WITH SCORE 560283.104
AT ITER 1597 NEW BEST:: SOT 979432 SOS 660034 HAS SOPS 660034 HAS SOUS 559553 HAS SOUPS 559553 WITH SCORE 560213.034
AT ITER 1605 NEW BEST:: SOT 979357 SOS 659911 HAS SOPS 659911 HAS SOUS 559430 HAS SOUPS 559430 WITH SCORE 560089.911
AT ITER 1610 NEW BEST:: SOT 978973 SOS 659412 HAS SOPS 659412 HAS SOUS 558931 HAS SOUPS 558931 WITH SCORE 559590.412
AT ITER 1614 NEW BEST:: SOT 978467 SOS 658791 HAS SOPS 658791 HAS SOUS 558823 HAS SOUPS 558823 WITH SCORE 559481.791
AT ITER 1615 NEW BEST:: SOT 978015 SOS 658005 HAS SOPS 658005 HAS SOUS 558037 HAS SOUPS 558037 WITH SCORE 558695.005
AT ITER 1616 NEW BEST:: SOT 978015 SOS 657876 HAS SOPS 657876 HAS SOUS 557994 HAS SOUPS 557994 WITH SCORE 558651.876
AT ITER 1619 NEW BEST:: SOT 977774 SOS 657635 HAS SOPS 657635 HAS SOUS 557753 HAS SOUPS 557753 WITH SCORE 558410.635
AT ITER 1626 NEW BEST:: SOT 977774 SOS 657632 HAS SOPS 657632 HAS SOUS 557750 HAS SOUPS 557750 WITH SCORE 558407.632
AT ITER 1628 NEW BEST:: SOT 977468 SOS 657324 HAS SOPS 657324 HAS SOUS 557595 HAS SOUPS 557595 WITH SCORE 558252.324
AT ITER 1633 NEW BEST:: SOT 977468 SOS 657322 HAS SOPS 657322 HAS SOUS 557591 HAS SOUPS 557591 WITH SCORE 558248.322
AT ITER 1641 NEW BEST:: SOT 977450 SOS 657304 HAS SOPS 657304 HAS SOUS 557573 HAS SOUPS 557573 WITH SCORE 558230.304
AT ITER 1644 NEW BEST:: SOT 977428 SOS 657282 HAS SOPS 657282 HAS SOUS 557551 HAS SOUPS 557551 WITH SCORE 558208.282
AT ITER 1653 NEW BEST:: SOT 977370 SOS 657224 HAS SOPS 657224 HAS SOUS 557493 HAS SOUPS 557493 WITH SCORE 558150.224
AT ITER 1656 NEW BEST:: SOT 976296 SOS 656001 HAS SOPS 656001 HAS SOUS 556270 HAS SOUPS 556270 WITH SCORE 556926.001
AT ITER 1658 NEW BEST:: SOT 976213 SOS 655984 HAS SOPS 655984 HAS SOUS 556250 HAS SOUPS 556250 WITH SCORE 556905.984
AT ITER 1659 NEW BEST:: SOT 975932 SOS 655436 HAS SOPS 655436 HAS SOUS 556036 HAS SOUPS 556036 WITH SCORE 556691.436
AT ITER 1669 NEW BEST:: SOT 976178 SOS 653183 HAS SOPS 653183 HAS SOUS 555107 HAS SOUPS 555107 WITH SCORE 555760.183
AT ITER 1674 NEW BEST:: SOT 975714 SOS 652719 HAS SOPS 652719 HAS SOUS 554643 HAS SOUPS 554643 WITH SCORE 555295.719
AT ITER 1679 NEW BEST:: SOT 975769 SOS 652660 HAS SOPS 652660 HAS SOUS 554641 HAS SOUPS 554641 WITH SCORE 555293.66
AT ITER 1683 NEW BEST:: SOT 975217 SOS 652106 HAS SOPS 652106 HAS SOUS 554087 HAS SOUPS 554087 WITH SCORE 554739.106
AT ITER 1684 NEW BEST:: SOT 975205 SOS 652096 HAS SOPS 652096 HAS SOUS 554065 HAS SOUPS 554065 WITH SCORE 554717.096
AT ITER 1688 NEW BEST:: SOT 975140 SOS 651964 HAS SOPS 651964 HAS SOUS 553933 HAS SOUPS 553933 WITH SCORE 554584.964
AT ITER 1689 NEW BEST:: SOT 975242 SOS 651833 HAS SOPS 651833 HAS SOUS 553802 HAS SOUPS 553802 WITH SCORE 554453.833
AT ITER 1692 NEW BEST:: SOT 975502 SOS 650641 HAS SOPS 650641 HAS SOUS 553734 HAS SOUPS 553734 WITH SCORE 554384.641
AT ITER 1696 NEW BEST:: SOT 974845 SOS 649984 HAS SOPS 649984 HAS SOUS 553077 HAS SOUPS 553077 WITH SCORE 553726.984
AT ITER 1698 NEW BEST:: SOT 974827 SOS 649966 HAS SOPS 649966 HAS SOUS 553059 HAS SOUPS 553059 WITH SCORE 553708.966
AT ITER 1702 NEW BEST:: SOT 974688 SOS 649809 HAS SOPS 649809 HAS SOUS 552902 HAS SOUPS 552902 WITH SCORE 553551.809
AT ITER 1709 NEW BEST:: SOT 974624 SOS 649700 HAS SOPS 649700 HAS SOUS 552748 HAS SOUPS 552748 WITH SCORE 553397.7
AT ITER 1711 NEW BEST:: SOT 974584 SOS 649616 HAS SOPS 649616 HAS SOUS 552664 HAS SOUPS 552664 WITH SCORE 553313.616
AT ITER 1721 NEW BEST:: SOT 974454 SOS 648003 HAS SOPS 648003 HAS SOUS 551461 HAS SOUPS 551461 WITH SCORE 552109.003
AT ITER 1733 NEW BEST:: SOT 975113 SOS 648083 HAS SOPS 648083 HAS SOUS 551338 HAS SOUPS 551338 WITH SCORE 551986.083
AT ITER 1743 NEW BEST:: SOT 975035 SOS 648005 HAS SOPS 648005 HAS SOUS 551260 HAS SOUPS 551260 WITH SCORE 551908.005
AT ITER 1746 NEW BEST:: SOT 974447 SOS 647035 HAS SOPS 647035 HAS SOUS 550369 HAS SOUPS 550369 WITH SCORE 551016.035
AT ITER 1759 NEW BEST:: SOT 974128 SOS 646476 HAS SOPS 646476 HAS SOUS 549929 HAS SOUPS 549929 WITH SCORE 550575.476
AT ITER 1765 NEW BEST:: SOT 973717 SOS 645862 HAS SOPS 645862 HAS SOUS 549315 HAS SOUPS 549315 WITH SCORE 549960.862
AT ITER 1768 NEW BEST:: SOT 974248 SOS 645782 HAS SOPS 645782 HAS SOUS 549289 HAS SOUPS 549289 WITH SCORE 549934.782
AT ITER 1781 NEW BEST:: SOT 973960 SOS 645293 HAS SOPS 645293 HAS SOUS 548800 HAS SOUPS 548800 WITH SCORE 549445.293
AT ITER 1782 NEW BEST:: SOT 973661 SOS 645004 HAS SOPS 645004 HAS SOUS 548457 HAS SOUPS 548457 WITH SCORE 549102.004
AT ITER 1788 NEW BEST:: SOT 973597 SOS 644812 HAS SOPS 644812 HAS SOUS 548378 HAS SOUPS 548378 WITH SCORE 549022.812
AT ITER 1795 NEW BEST:: SOT 973462 SOS 644677 HAS SOPS 644677 HAS SOUS 548243 HAS SOUPS 548243 WITH SCORE 548887.677
AT ITER 1798 NEW BEST:: SOT 973462 SOS 644457 HAS SOPS 644457 HAS SOUS 548023 HAS SOUPS 548023 WITH SCORE 548667.457
AT ITER 1819 NEW BEST:: SOT 973462 SOS 644341 HAS SOPS 644341 HAS SOUS 547907 HAS SOUPS 547907 WITH SCORE 548551.341
AT ITER 1823 NEW BEST:: SOT 973462 SOS 644257 HAS SOPS 644257 HAS SOUS 546317 HAS SOUPS 546317 WITH SCORE 546961.257
AT ITER 1825 NEW BEST:: SOT 973360 SOS 643793 HAS SOPS 643793 HAS SOUS 545725 HAS SOUPS 545725 WITH SCORE 546368.793
AT ITER 1826 NEW BEST:: SOT 973343 SOS 643776 HAS SOPS 643776 HAS SOUS 545708 HAS SOUPS 545708 WITH SCORE 546351.776
AT ITER 1832 NEW BEST:: SOT 973229 SOS 643634 HAS SOPS 643634 HAS SOUS 545592 HAS SOUPS 545592 WITH SCORE 546235.634
AT ITER 1837 NEW BEST:: SOT 973120 SOS 643425 HAS SOPS 643425 HAS SOUS 545383 HAS SOUPS 545383 WITH SCORE 546026.425
AT ITER 1842 NEW BEST:: SOT 973120 SOS 642622 HAS SOPS 642622 HAS SOUS 545258 HAS SOUPS 545258 WITH SCORE 545900.622
AT ITER 1843 NEW BEST:: SOT 973067 SOS 642344 HAS SOPS 642344 HAS SOUS 544799 HAS SOUPS 544799 WITH SCORE 545441.344
AT ITER 1848 NEW BEST:: SOT 972808 SOS 641742 HAS SOPS 641742 HAS SOUS 544014 HAS SOUPS 544014 WITH SCORE 544655.742
AT ITER 1873 NEW BEST:: SOT 972736 SOS 641670 HAS SOPS 641670 HAS SOUS 543942 HAS SOUPS 543942 WITH SCORE 544583.67
AT ITER 1876 NEW BEST:: SOT 972736 SOS 641622 HAS SOPS 641622 HAS SOUS 543894 HAS SOUPS 543894 WITH SCORE 544535.622
AT ITER 1877 NEW BEST:: SOT 972744 SOS 641522 HAS SOPS 641522 HAS SOUS 543798 HAS SOUPS 543798 WITH SCORE 544439.522
AT ITER 1882 NEW BEST:: SOT 972744 SOS 641448 HAS SOPS 641448 HAS SOUS 543650 HAS SOUPS 543650 WITH SCORE 544291.448
AT ITER 1884 NEW BEST:: SOT 972630 SOS 641305 HAS SOPS 641305 HAS SOUS 543321 HAS SOUPS 543321 WITH SCORE 543962.305
AT ITER 1891 NEW BEST:: SOT 972584 SOS 641167 HAS SOPS 641167 HAS SOUS 543063 HAS SOUPS 543063 WITH SCORE 543704.167
AT ITER 1900 NEW BEST:: SOT 972336 SOS 640919 HAS SOPS 640919 HAS SOUS 542815 HAS SOUPS 542815 WITH SCORE 543455.919
AT ITER 1902 NEW BEST:: SOT 972175 SOS 640750 HAS SOPS 640750 HAS SOUS 542608 HAS SOUPS 542608 WITH SCORE 543248.75
AT ITER 1903 NEW BEST:: SOT 972175 SOS 640647 HAS SOPS 640647 HAS SOUS 542589 HAS SOUPS 542589 WITH SCORE 543229.647
AT ITER 1904 NEW BEST:: SOT 972220 SOS 640692 HAS SOPS 640692 HAS SOUS 542544 HAS SOUPS 542544 WITH SCORE 543184.692
AT ITER 1907 NEW BEST:: SOT 972220 SOS 640644 HAS SOPS 640644 HAS SOUS 542496 HAS SOUPS 542496 WITH SCORE 543136.644
AT ITER 1910 NEW BEST:: SOT 971758 SOS 640181 HAS SOPS 640181 HAS SOUS 542155 HAS SOUPS 542155 WITH SCORE 542795.181
AT ITER 1914 NEW BEST:: SOT 971811 SOS 639239 HAS SOPS 639239 HAS SOUS 541660 HAS SOUPS 541660 WITH SCORE 542299.239
AT ITER 1916 NEW BEST:: SOT 971707 SOS 638680 HAS SOPS 638680 HAS SOUS 541572 HAS SOUPS 541572 WITH SCORE 542210.68
AT ITER 1918 NEW BEST:: SOT 971707 SOS 638865 HAS SOPS 638865 HAS SOUS 541533 HAS SOUPS 541533 WITH SCORE 542171.865
AT ITER 1920 NEW BEST:: SOT 971676 SOS 638834 HAS SOPS 638834 HAS SOUS 541502 HAS SOUPS 541502 WITH SCORE 542140.834
AT ITER 1923 NEW BEST:: SOT 970880 SOS 637377 HAS SOPS 637377 HAS SOUS 540760 HAS SOUPS 540760 WITH SCORE 541397.377
AT ITER 1929 NEW BEST:: SOT 970879 SOS 637374 HAS SOPS 637374 HAS SOUS 540757 HAS SOUPS 540757 WITH SCORE 541394.374
AT ITER 1937 NEW BEST:: SOT 970879 SOS 637337 HAS SOPS 637337 HAS SOUS 540757 HAS SOUPS 540757 WITH SCORE 541394.337
AT ITER 1943 NEW BEST:: SOT 970919 SOS 637295 HAS SOPS 637295 HAS SOUS 540715 HAS SOUPS 540715 WITH SCORE 541352.295
AT ITER 1950 NEW BEST:: SOT 970919 SOS 637171 HAS SOPS 637171 HAS SOUS 540591 HAS SOUPS 540591 WITH SCORE 541228.171
AT ITER 1953 NEW BEST:: SOT 970584 SOS 636835 HAS SOPS 636835 HAS SOUS 540255 HAS SOUPS 540255 WITH SCORE 540891.835
AT ITER 1954 NEW BEST:: SOT 970233 SOS 636484 HAS SOPS 636484 HAS SOUS 539904 HAS SOUPS 539904 WITH SCORE 540540.484
AT ITER 1956 NEW BEST:: SOT 970209 SOS 636436 HAS SOPS 636436 HAS SOUS 539856 HAS SOUPS 539856 WITH SCORE 540492.436
AT ITER 1960 NEW BEST:: SOT 970209 SOS 636436 HAS SOPS 636436 HAS SOUS 539855 HAS SOUPS 539855 WITH SCORE 540491.436
AT ITER 1963 NEW BEST:: SOT 970657 SOS 636884 HAS SOPS 636884 HAS SOUS 539812 HAS SOUPS 539812 WITH SCORE 540448.884
AT ITER 1969 NEW BEST:: SOT 970815 SOS 637422 HAS SOPS 637422 HAS SOUS 539810 HAS SOUPS 539810 WITH SCORE 540447.422
AT ITER 1990 NEW BEST:: SOT 970829 SOS 637386 HAS SOPS 637386 HAS SOUS 539695 HAS SOUPS 539695 WITH SCORE 540332.386
AT ITER 1991 NEW BEST:: SOT 970826 SOS 637383 HAS SOPS 637383 HAS SOUS 539692 HAS SOUPS 539692 WITH SCORE 540329.383
AT ITER 1992 NEW BEST:: SOT 971543 SOS 637915 HAS SOPS 637915 HAS SOUS 539619 HAS SOUPS 539619 WITH SCORE 540256.915
AT ITER 1994 NEW BEST:: SOT 971073 SOS 636944 HAS SOPS 636944 HAS SOUS 538648 HAS SOUPS 538648 WITH SCORE 539284.944
AT ITER 1997 NEW BEST:: SOT 971038 SOS 636909 HAS SOPS 636909 HAS SOUS 538613 HAS SOUPS 538613 WITH SCORE 539249.909
AT ITER 2002 NEW BEST:: SOT 971027 SOS 636627 HAS SOPS 636627 HAS SOUS 537980 HAS SOUPS 537980 WITH SCORE 538616.627
AT ITER 2011 NEW BEST:: SOT 971002 SOS 636577 HAS SOPS 636577 HAS SOUS 537954 HAS SOUPS 537954 WITH SCORE 538590.577
AT ITER 2017 NEW BEST:: SOT 970557 SOS 635720 HAS SOPS 635720 HAS SOUS 537460 HAS SOUPS 537460 WITH SCORE 538095.72
AT ITER 2019 NEW BEST:: SOT 970157 SOS 635700 HAS SOPS 635700 HAS SOUS 537237 HAS SOUPS 537237 WITH SCORE 537872.7
AT ITER 2021 NEW BEST:: SOT 970157 SOS 635471 HAS SOPS 635471 HAS SOUS 537222 HAS SOUPS 537222 WITH SCORE 537857.471
AT ITER 2030 NEW BEST:: SOT 969905 SOS 635099 HAS SOPS 635099 HAS SOUS 537131 HAS SOUPS 537131 WITH SCORE 537766.099
AT ITER 2032 NEW BEST:: SOT 969516 SOS 634947 HAS SOPS 634947 HAS SOUS 537102 HAS SOUPS 537102 WITH SCORE 537736.947
AT ITER 2037 NEW BEST:: SOT 969431 SOS 634505 HAS SOPS 634505 HAS SOUS 536961 HAS SOUPS 536961 WITH SCORE 537595.505
AT ITER 2039 NEW BEST:: SOT 969462 SOS 634935 HAS SOPS 634935 HAS SOUS 536934 HAS SOUPS 536934 WITH SCORE 537568.935
AT ITER 2052 NEW BEST:: SOT 969851 SOS 634883 HAS SOPS 634883 HAS SOUS 536566 HAS SOUPS 536566 WITH SCORE 537200.883
AT ITER 2058 NEW BEST:: SOT 969607 SOS 633513 HAS SOPS 633513 HAS SOUS 536106 HAS SOUPS 536106 WITH SCORE 536739.513
AT ITER 2061 NEW BEST:: SOT 969520 SOS 633343 HAS SOPS 633343 HAS SOUS 535936 HAS SOUPS 535936 WITH SCORE 536569.343
AT ITER 2063 NEW BEST:: SOT 969520 SOS 633256 HAS SOPS 633256 HAS SOUS 535935 HAS SOUPS 535935 WITH SCORE 536568.256
AT ITER 2073 NEW BEST:: SOT 969430 SOS 633166 HAS SOPS 633166 HAS SOUS 535845 HAS SOUPS 535845 WITH SCORE 536478.166
AT ITER 2074 NEW BEST:: SOT 969508 SOS 632553 HAS SOPS 632553 HAS SOUS 535796 HAS SOUPS 535796 WITH SCORE 536428.553
AT ITER 2083 NEW BEST:: SOT 969469 SOS 631603 HAS SOPS 631603 HAS SOUS 535556 HAS SOUPS 535556 WITH SCORE 536187.603
AT ITER 2105 NEW BEST:: SOT 969464 SOS 631598 HAS SOPS 631598 HAS SOUS 535551 HAS SOUPS 535551 WITH SCORE 536182.598
AT ITER 2108 NEW BEST:: SOT 969484 SOS 631527 HAS SOPS 631527 HAS SOUS 535480 HAS SOUPS 535480 WITH SCORE 536111.527
AT ITER 2110 NEW BEST:: SOT 968167 SOS 630210 HAS SOPS 630210 HAS SOUS 534163 HAS SOUPS 534163 WITH SCORE 534793.21
AT ITER 2111 NEW BEST:: SOT 968167 SOS 630197 HAS SOPS 630197 HAS SOUS 534150 HAS SOUPS 534150 WITH SCORE 534780.197
AT ITER 2115 NEW BEST:: SOT 968091 SOS 630074 HAS SOPS 630074 HAS SOUS 534136 HAS SOUPS 534136 WITH SCORE 534766.074
AT ITER 2116 NEW BEST:: SOT 968091 SOS 630023 HAS SOPS 630023 HAS SOUS 534072 HAS SOUPS 534072 WITH SCORE 534702.023
AT ITER 2128 NEW BEST:: SOT 967738 SOS 629665 HAS SOPS 629665 HAS SOUS 533714 HAS SOUPS 533714 WITH SCORE 534343.665
AT ITER 2133 NEW BEST:: SOT 967738 SOS 629406 HAS SOPS 629406 HAS SOUS 533339 HAS SOUPS 533339 WITH SCORE 533968.406
AT ITER 2139 NEW BEST:: SOT 967738 SOS 629315 HAS SOPS 629315 HAS SOUS 533326 HAS SOUPS 533326 WITH SCORE 533955.315
AT ITER 2140 NEW BEST:: SOT 967677 SOS 629010 HAS SOPS 629010 HAS SOUS 533058 HAS SOUPS 533058 WITH SCORE 533687.01
AT ITER 2142 NEW BEST:: SOT 967677 SOS 628907 HAS SOPS 628907 HAS SOUS 532954 HAS SOUPS 532954 WITH SCORE 533582.907
AT ITER 2148 NEW BEST:: SOT 967709 SOS 627052 HAS SOPS 627052 HAS SOUS 532182 HAS SOUPS 532182 WITH SCORE 532809.052
AT ITER 2159 NEW BEST:: SOT 967275 SOS 626868 HAS SOPS 626868 HAS SOUS 532157 HAS SOUPS 532157 WITH SCORE 532783.868
AT ITER 2164 NEW BEST:: SOT 967275 SOS 626848 HAS SOPS 626848 HAS SOUS 532157 HAS SOUPS 532157 WITH SCORE 532783.848
AT ITER 2166 NEW BEST:: SOT 967275 SOS 626828 HAS SOPS 626828 HAS SOUS 532145 HAS SOUPS 532145 WITH SCORE 532771.828
AT ITER 2190 NEW BEST:: SOT 967220 SOS 626684 HAS SOPS 626684 HAS SOUS 532090 HAS SOUPS 532090 WITH SCORE 532716.684
AT ITER 2191 NEW BEST:: SOT 967136 SOS 626370 HAS SOPS 626370 HAS SOUS 531928 HAS SOUPS 531928 WITH SCORE 532554.37
AT ITER 2192 NEW BEST:: SOT 966975 SOS 626192 HAS SOPS 626192 HAS SOUS 531784 HAS SOUPS 531784 WITH SCORE 532410.192
AT ITER 2196 NEW BEST:: SOT 967047 SOS 626144 HAS SOPS 626144 HAS SOUS 531652 HAS SOUPS 531652 WITH SCORE 532278.144
AT ITER 2204 NEW BEST:: SOT 966837 SOS 625649 HAS SOPS 625649 HAS SOUS 531157 HAS SOUPS 531157 WITH SCORE 531782.649
AT ITER 2205 NEW BEST:: SOT 966834 SOS 625646 HAS SOPS 625646 HAS SOUS 531154 HAS SOUPS 531154 WITH SCORE 531779.646
AT ITER 2207 NEW BEST:: SOT 966945 SOS 626035 HAS SOPS 626035 HAS SOUS 531113 HAS SOUPS 531113 WITH SCORE 531739.035
AT ITER 2215 NEW BEST:: SOT 967076 SOS 625502 HAS SOPS 625502 HAS SOUS 531027 HAS SOUPS 531027 WITH SCORE 531652.502
AT ITER 2216 NEW BEST:: SOT 966791 SOS 625414 HAS SOPS 625414 HAS SOUS 530947 HAS SOUPS 530947 WITH SCORE 531572.414
AT ITER 2217 NEW BEST:: SOT 967266 SOS 625089 HAS SOPS 625089 HAS SOUS 530087 HAS SOUPS 530087 WITH SCORE 530712.089
AT ITER 2221 NEW BEST:: SOT 967244 SOS 625045 HAS SOPS 625045 HAS SOUS 530043 HAS SOUPS 530043 WITH SCORE 530668.045
AT ITER 2222 NEW BEST:: SOT 967688 SOS 624695 HAS SOPS 624695 HAS SOUS 529604 HAS SOUPS 529604 WITH SCORE 530228.695
AT ITER 2232 NEW BEST:: SOT 967003 SOS 623676 HAS SOPS 623676 HAS SOUS 528408 HAS SOUPS 528408 WITH SCORE 529031.676
AT ITER 2253 NEW BEST:: SOT 966941 SOS 623614 HAS SOPS 623614 HAS SOUS 528346 HAS SOUPS 528346 WITH SCORE 528969.614
AT ITER 2262 NEW BEST:: SOT 966913 SOS 623586 HAS SOPS 623586 HAS SOUS 528318 HAS SOUPS 528318 WITH SCORE 528941.586
AT ITER 2269 NEW BEST:: SOT 966891 SOS 623564 HAS SOPS 623564 HAS SOUS 528296 HAS SOUPS 528296 WITH SCORE 528919.564
AT ITER 2273 NEW BEST:: SOT 966796 SOS 623426 HAS SOPS 623426 HAS SOUS 528158 HAS SOUPS 528158 WITH SCORE 528781.426
AT ITER 2281 NEW BEST:: SOT 966796 SOS 623402 HAS SOPS 623402 HAS SOUS 528134 HAS SOUPS 528134 WITH SCORE 528757.402
AT ITER 2283 NEW BEST:: SOT 966779 SOS 623037 HAS SOPS 623037 HAS SOUS 527769 HAS SOUPS 527769 WITH SCORE 528392.037
AT ITER 2285 NEW BEST:: SOT 966375 SOS 622633 HAS SOPS 622633 HAS SOUS 527365 HAS SOUPS 527365 WITH SCORE 527987.633
AT ITER 2292 NEW BEST:: SOT 966421 SOS 622653 HAS SOPS 622653 HAS SOUS 527128 HAS SOUPS 527128 WITH SCORE 527750.653
AT ITER 2306 NEW BEST:: SOT 966393 SOS 622597 HAS SOPS 622597 HAS SOUS 527097 HAS SOUPS 527097 WITH SCORE 527719.597
AT ITER 2307 NEW BEST:: SOT 966278 SOS 620747 HAS SOPS 620747 HAS SOUS 526674 HAS SOUPS 526674 WITH SCORE 527294.747
AT ITER 2309 NEW BEST:: SOT 966244 SOS 620005 HAS SOPS 620005 HAS SOUS 526510 HAS SOUPS 526510 WITH SCORE 527130.005
AT ITER 2317 NEW BEST:: SOT 966137 SOS 619123 HAS SOPS 619123 HAS SOUS 525765 HAS SOUPS 525765 WITH SCORE 526384.123
AT ITER 2319 NEW BEST:: SOT 966847 SOS 617949 HAS SOPS 617949 HAS SOUS 525296 HAS SOUPS 525296 WITH SCORE 525913.949
AT ITER 2322 NEW BEST:: SOT 966627 SOS 617679 HAS SOPS 617679 HAS SOUS 524833 HAS SOUPS 524833 WITH SCORE 525450.679
AT ITER 2323 NEW BEST:: SOT 966623 SOS 617675 HAS SOPS 617675 HAS SOUS 524829 HAS SOUPS 524829 WITH SCORE 525446.675
AT ITER 2327 NEW BEST:: SOT 966623 SOS 617528 HAS SOPS 617528 HAS SOUS 524601 HAS SOUPS 524601 WITH SCORE 525218.528
AT ITER 2329 NEW BEST:: SOT 966609 SOS 617494 HAS SOPS 617494 HAS SOUS 524557 HAS SOUPS 524557 WITH SCORE 525174.494
AT ITER 2332 NEW BEST:: SOT 966570 SOS 617455 HAS SOPS 617455 HAS SOUS 524518 HAS SOUPS 524518 WITH SCORE 525135.455
AT ITER 2343 NEW BEST:: SOT 966430 SOS 617035 HAS SOPS 617035 HAS SOUS 524098 HAS SOUPS 524098 WITH SCORE 524715.035
AT ITER 2347 NEW BEST:: SOT 966296 SOS 616834 HAS SOPS 616834 HAS SOUS 523897 HAS SOUPS 523897 WITH SCORE 524513.834
AT ITER 2357 NEW BEST:: SOT 966296 SOS 616752 HAS SOPS 616752 HAS SOUS 523815 HAS SOUPS 523815 WITH SCORE 524431.752
AT ITER 2358 NEW BEST:: SOT 966007 SOS 616209 HAS SOPS 616209 HAS SOUS 523157 HAS SOUPS 523157 WITH SCORE 523773.209
AT ITER 2360 NEW BEST:: SOT 966007 SOS 616188 HAS SOPS 616188 HAS SOUS 523136 HAS SOUPS 523136 WITH SCORE 523752.188
AT ITER 2366 NEW BEST:: SOT 965725 SOS 615667 HAS SOPS 615667 HAS SOUS 522615 HAS SOUPS 522615 WITH SCORE 523230.667
AT ITER 2367 NEW BEST:: SOT 965552 SOS 615544 HAS SOPS 615544 HAS SOUS 522583 HAS SOUPS 522583 WITH SCORE 523198.544
AT ITER 2378 NEW BEST:: SOT 965512 SOS 615415 HAS SOPS 615415 HAS SOUS 522454 HAS SOUPS 522454 WITH SCORE 523069.415
AT ITER 2380 NEW BEST:: SOT 965479 SOS 615349 HAS SOPS 615349 HAS SOUS 522388 HAS SOUPS 522388 WITH SCORE 523003.349
AT ITER 2396 NEW BEST:: SOT 965526 SOS 614996 HAS SOPS 614996 HAS SOUS 521929 HAS SOUPS 521929 WITH SCORE 522543.996
AT ITER 2399 NEW BEST:: SOT 965526 SOS 614945 HAS SOPS 614945 HAS SOUS 521776 HAS SOUPS 521776 WITH SCORE 522390.945
AT ITER 2400 NEW BEST:: SOT 965526 SOS 614918 HAS SOPS 614918 HAS SOUS 521695 HAS SOUPS 521695 WITH SCORE 522309.918
AT ITER 2401 NEW BEST:: SOT 965526 SOS 614790 HAS SOPS 614790 HAS SOUS 521567 HAS SOUPS 521567 WITH SCORE 522181.79
AT ITER 2402 NEW BEST:: SOT 965578 SOS 614842 HAS SOPS 614842 HAS SOUS 521542 HAS SOUPS 521542 WITH SCORE 522156.842
AT ITER 2408 NEW BEST:: SOT 965367 SOS 614631 HAS SOPS 614631 HAS SOUS 521331 HAS SOUPS 521331 WITH SCORE 521945.631
AT ITER 2415 NEW BEST:: SOT 964818 SOS 613946 HAS SOPS 613946 HAS SOUS 520646 HAS SOUPS 520646 WITH SCORE 521259.946
AT ITER 2416 NEW BEST:: SOT 963544 SOS 612672 HAS SOPS 612672 HAS SOUS 519372 HAS SOUPS 519372 WITH SCORE 519984.672
AT ITER 2418 NEW BEST:: SOT 963496 SOS 612624 HAS SOPS 612624 HAS SOUS 519324 HAS SOUPS 519324 WITH SCORE 519936.624
AT ITER 2428 NEW BEST:: SOT 963476 SOS 612604 HAS SOPS 612604 HAS SOUS 519304 HAS SOUPS 519304 WITH SCORE 519916.604
AT ITER 2453 NEW BEST:: SOT 963476 SOS 612149 HAS SOPS 612149 HAS SOUS 519159 HAS SOUPS 519159 WITH SCORE 519771.149
AT ITER 2458 NEW BEST:: SOT 963087 SOS 611725 HAS SOPS 611725 HAS SOUS 518468 HAS SOUPS 518468 WITH SCORE 519079.725
AT ITER 2461 NEW BEST:: SOT 962469 SOS 610923 HAS SOPS 610923 HAS SOUS 517666 HAS SOUPS 517666 WITH SCORE 518276.923
AT ITER 2464 NEW BEST:: SOT 962613 SOS 610761 HAS SOPS 610761 HAS SOUS 516172 HAS SOUPS 516172 WITH SCORE 516782.761
AT ITER 2470 NEW BEST:: SOT 962546 SOS 610694 HAS SOPS 610694 HAS SOUS 516099 HAS SOUPS 516099 WITH SCORE 516709.694
AT ITER 2474 NEW BEST:: SOT 962508 SOS 610637 HAS SOPS 610637 HAS SOUS 516042 HAS SOUPS 516042 WITH SCORE 516652.637
AT ITER 2476 NEW BEST:: SOT 961990 SOS 610119 HAS SOPS 610119 HAS SOUS 515474 HAS SOUPS 515474 WITH SCORE 516084.119
AT ITER 2479 NEW BEST:: SOT 961494 SOS 609623 HAS SOPS 609623 HAS SOUS 514978 HAS SOUPS 514978 WITH SCORE 515587.623
AT ITER 2483 NEW BEST:: SOT 961612 SOS 608588 HAS SOPS 608588 HAS SOUS 514594 HAS SOUPS 514594 WITH SCORE 515202.588
AT ITER 2486 NEW BEST:: SOT 961589 SOS 608565 HAS SOPS 608565 HAS SOUS 514594 HAS SOUPS 514594 WITH SCORE 515202.565
AT ITER 2487 NEW BEST:: SOT 961499 SOS 608295 HAS SOPS 608295 HAS SOUS 514234 HAS SOUPS 514234 WITH SCORE 514842.295
AT ITER 2491 NEW BEST:: SOT 961479 SOS 608261 HAS SOPS 608261 HAS SOUS 514200 HAS SOUPS 514200 WITH SCORE 514808.261
AT ITER 2493 NEW BEST:: SOT 961376 SOS 608158 HAS SOPS 608158 HAS SOUS 514097 HAS SOUPS 514097 WITH SCORE 514705.158
AT ITER 2496 NEW BEST:: SOT 961039 SOS 607489 HAS SOPS 607489 HAS SOUS 513505 HAS SOUPS 513505 WITH SCORE 514112.489
AT ITER 2509 NEW BEST:: SOT 960943 SOS 607393 HAS SOPS 607393 HAS SOUS 513409 HAS SOUPS 513409 WITH SCORE 514016.393
AT ITER 2514 NEW BEST:: SOT 960391 SOS 606695 HAS SOPS 606695 HAS SOUS 512711 HAS SOUPS 512711 WITH SCORE 513317.695
AT ITER 2516 NEW BEST:: SOT 959737 SOS 606247 HAS SOPS 606247 HAS SOUS 512263 HAS SOUPS 512263 WITH SCORE 512869.247
AT ITER 2521 NEW BEST:: SOT 958700 SOS 605210 HAS SOPS 605210 HAS SOUS 511126 HAS SOUPS 511126 WITH SCORE 511731.21
AT ITER 2523 NEW BEST:: SOT 958634 SOS 605144 HAS SOPS 605144 HAS SOUS 511013 HAS SOUPS 511013 WITH SCORE 511618.144
AT ITER 2532 NEW BEST:: SOT 958540 SOS 605050 HAS SOPS 605050 HAS SOUS 510919 HAS SOUPS 510919 WITH SCORE 511524.05
AT ITER 2535 NEW BEST:: SOT 958312 SOS 604250 HAS SOPS 604250 HAS SOUS 510119 HAS SOUPS 510119 WITH SCORE 510723.25
AT ITER 2538 NEW BEST:: SOT 958209 SOS 603941 HAS SOPS 603941 HAS SOUS 509604 HAS SOUPS 509604 WITH SCORE 510207.941
AT ITER 2544 NEW BEST:: SOT 958263 SOS 603801 HAS SOPS 603801 HAS SOUS 509533 HAS SOUPS 509533 WITH SCORE 510136.801
AT ITER 2547 NEW BEST:: SOT 957854 SOS 603392 HAS SOPS 603392 HAS SOUS 509124 HAS SOUPS 509124 WITH SCORE 509727.392
AT ITER 2554 NEW BEST:: SOT 957854 SOS 603388 HAS SOPS 603388 HAS SOUS 509119 HAS SOUPS 509119 WITH SCORE 509722.388
AT ITER 2567 NEW BEST:: SOT 957854 SOS 603110 HAS SOPS 603110 HAS SOUS 508929 HAS SOUPS 508929 WITH SCORE 509532.11
AT ITER 2580 NEW BEST:: SOT 957854 SOS 603111 HAS SOPS 603111 HAS SOUS 508832 HAS SOUPS 508832 WITH SCORE 509435.111
AT ITER 2583 NEW BEST:: SOT 957848 SOS 603093 HAS SOPS 603093 HAS SOUS 508832 HAS SOUPS 508832 WITH SCORE 509435.093
AT ITER 2585 NEW BEST:: SOT 957848 SOS 603104 HAS SOPS 603104 HAS SOUS 508801 HAS SOUPS 508801 WITH SCORE 509404.104
AT ITER 2598 NEW BEST:: SOT 957848 SOS 603068 HAS SOPS 603068 HAS SOUS 508801 HAS SOUPS 508801 WITH SCORE 509404.068
AT ITER 2601 NEW BEST:: SOT 958624 SOS 602905 HAS SOPS 602905 HAS SOUS 508742 HAS SOUPS 508742 WITH SCORE 509344.905
AT ITER 2603 NEW BEST:: SOT 958505 SOS 602784 HAS SOPS 602784 HAS SOUS 508621 HAS SOUPS 508621 WITH SCORE 509223.784
AT ITER 2615 NEW BEST:: SOT 958225 SOS 602683 HAS SOPS 602683 HAS SOUS 508268 HAS SOUPS 508268 WITH SCORE 508870.683
AT ITER 2616 NEW BEST:: SOT 957549 SOS 602007 HAS SOPS 602007 HAS SOUS 507358 HAS SOUPS 507358 WITH SCORE 507960.007
AT ITER 2625 NEW BEST:: SOT 957460 SOS 601473 HAS SOPS 601473 HAS SOUS 507091 HAS SOUPS 507091 WITH SCORE 507692.473
AT ITER 2626 NEW BEST:: SOT 957318 SOS 601029 HAS SOPS 601029 HAS SOUS 506647 HAS SOUPS 506647 WITH SCORE 507248.029
AT ITER 2639 NEW BEST:: SOT 957066 SOS 600777 HAS SOPS 600777 HAS SOUS 506395 HAS SOUPS 506395 WITH SCORE 506995.777
AT ITER 2642 NEW BEST:: SOT 956676 SOS 600260 HAS SOPS 600260 HAS SOUS 505878 HAS SOUPS 505878 WITH SCORE 506478.26
AT ITER 2660 NEW BEST:: SOT 956676 SOS 600259 HAS SOPS 600259 HAS SOUS 505877 HAS SOUPS 505877 WITH SCORE 506477.259
AT ITER 2661 NEW BEST:: SOT 956277 SOS 599860 HAS SOPS 599860 HAS SOUS 505478 HAS SOUPS 505478 WITH SCORE 506077.86
AT ITER 2662 NEW BEST:: SOT 956160 SOS 599743 HAS SOPS 599743 HAS SOUS 505474 HAS SOUPS 505474 WITH SCORE 506073.743
AT ITER 2668 NEW BEST:: SOT 956003 SOS 599586 HAS SOPS 599586 HAS SOUS 505317 HAS SOUPS 505317 WITH SCORE 505916.586
AT ITER 2678 NEW BEST:: SOT 955747 SOS 599187 HAS SOPS 599187 HAS SOUS 505256 HAS SOUPS 505256 WITH SCORE 505855.187
AT ITER 2680 NEW BEST:: SOT 955552 SOS 598544 HAS SOPS 598544 HAS SOUS 504613 HAS SOUPS 504613 WITH SCORE 505211.544
AT ITER 2685 NEW BEST:: SOT 955552 SOS 598748 HAS SOPS 598748 HAS SOUS 504609 HAS SOUPS 504609 WITH SCORE 505207.748
AT ITER 2688 NEW BEST:: SOT 955473 SOS 598722 HAS SOPS 598722 HAS SOUS 504273 HAS SOUPS 504273 WITH SCORE 504871.722
AT ITER 2693 NEW BEST:: SOT 955473 SOS 598527 HAS SOPS 598527 HAS SOUS 503789 HAS SOUPS 503789 WITH SCORE 504387.527
AT ITER 2709 NEW BEST:: SOT 955473 SOS 598262 HAS SOPS 598262 HAS SOUS 503524 HAS SOUPS 503524 WITH SCORE 504122.262
AT ITER 2712 NEW BEST:: SOT 955142 SOS 597516 HAS SOPS 597516 HAS SOUS 502883 HAS SOUPS 502883 WITH SCORE 503480.516
AT ITER 2721 NEW BEST:: SOT 954894 SOS 597188 HAS SOPS 597188 HAS SOUS 502555 HAS SOUPS 502555 WITH SCORE 503152.188
AT ITER 2726 NEW BEST:: SOT 955140 SOS 597352 HAS SOPS 597352 HAS SOUS 502371 HAS SOUPS 502371 WITH SCORE 502968.352
AT ITER 2732 NEW BEST:: SOT 954890 SOS 597009 HAS SOPS 597009 HAS SOUS 502028 HAS SOUPS 502028 WITH SCORE 502625.009
AT ITER 2733 NEW BEST:: SOT 954711 SOS 596755 HAS SOPS 596755 HAS SOUS 501774 HAS SOUPS 501774 WITH SCORE 502370.755
AT ITER 2734 NEW BEST:: SOT 955190 SOS 597250 HAS SOPS 597250 HAS SOUS 501615 HAS SOUPS 501615 WITH SCORE 502212.25
AT ITER 2735 NEW BEST:: SOT 955075 SOS 597017 HAS SOPS 597017 HAS SOUS 501385 HAS SOUPS 501385 WITH SCORE 501982.017
AT ITER 2736 NEW BEST:: SOT 955171 SOS 597019 HAS SOPS 597019 HAS SOUS 501166 HAS SOUPS 501166 WITH SCORE 501763.019
AT ITER 2737 NEW BEST:: SOT 954359 SOS 595930 HAS SOPS 595930 HAS SOUS 500077 HAS SOUPS 500077 WITH SCORE 500672.93
AT ITER 2739 NEW BEST:: SOT 954313 SOS 595861 HAS SOPS 595861 HAS SOUS 500008 HAS SOUPS 500008 WITH SCORE 500603.861
AT ITER 2744 NEW BEST:: SOT 954103 SOS 594978 HAS SOPS 594978 HAS SOUS 499375 HAS SOUPS 499375 WITH SCORE 499969.978
AT ITER 2763 NEW BEST:: SOT 953839 SOS 594714 HAS SOPS 594714 HAS SOUS 499111 HAS SOUPS 499111 WITH SCORE 499705.714
AT ITER 2772 NEW BEST:: SOT 952850 SOS 593534 HAS SOPS 593534 HAS SOUS 497749 HAS SOUPS 497749 WITH SCORE 498342.534
AT ITER 2775 NEW BEST:: SOT 952850 SOS 593520 HAS SOPS 593520 HAS SOUS 497749 HAS SOUPS 497749 WITH SCORE 498342.52
AT ITER 2779 NEW BEST:: SOT 952552 SOS 592924 HAS SOPS 592924 HAS SOUS 497004 HAS SOUPS 497004 WITH SCORE 497596.924
AT ITER 2781 NEW BEST:: SOT 952582 SOS 592679 HAS SOPS 592679 HAS SOUS 496813 HAS SOUPS 496813 WITH SCORE 497405.679
AT ITER 2783 NEW BEST:: SOT 952851 SOS 592559 HAS SOPS 592559 HAS SOUS 496693 HAS SOUPS 496693 WITH SCORE 497285.559
AT ITER 2785 NEW BEST:: SOT 952833 SOS 592532 HAS SOPS 592532 HAS SOUS 496675 HAS SOUPS 496675 WITH SCORE 497267.532
AT ITER 2788 NEW BEST:: SOT 951963 SOS 591590 HAS SOPS 591590 HAS SOUS 495767 HAS SOUPS 495767 WITH SCORE 496358.59
AT ITER 2790 NEW BEST:: SOT 951963 SOS 591702 HAS SOPS 591702 HAS SOUS 495656 HAS SOUPS 495656 WITH SCORE 496247.702
AT ITER 2797 NEW BEST:: SOT 951544 SOS 591281 HAS SOPS 591281 HAS SOUS 495235 HAS SOUPS 495235 WITH SCORE 495826.281
AT ITER 2799 NEW BEST:: SOT 951427 SOS 591047 HAS SOPS 591047 HAS SOUS 495001 HAS SOUPS 495001 WITH SCORE 495592.047
AT ITER 2803 NEW BEST:: SOT 951403 SOS 590854 HAS SOPS 590854 HAS SOUS 494808 HAS SOUPS 494808 WITH SCORE 495398.854
AT ITER 2805 NEW BEST:: SOT 951347 SOS 590780 HAS SOPS 590780 HAS SOUS 494696 HAS SOUPS 494696 WITH SCORE 495286.78
AT ITER 2818 NEW BEST:: SOT 950586 SOS 589714 HAS SOPS 589714 HAS SOUS 493630 HAS SOUPS 493630 WITH SCORE 494219.714
AT ITER 2819 NEW BEST:: SOT 950263 SOS 589500 HAS SOPS 589500 HAS SOUS 493416 HAS SOUPS 493416 WITH SCORE 494005.5
AT ITER 2827 NEW BEST:: SOT 950026 SOS 589251 HAS SOPS 589251 HAS SOUS 492957 HAS SOUPS 492957 WITH SCORE 493546.251
AT ITER 2828 NEW BEST:: SOT 950026 SOS 589263 HAS SOPS 589263 HAS SOUS 492876 HAS SOUPS 492876 WITH SCORE 493465.263
AT ITER 2831 NEW BEST:: SOT 949980 SOS 589217 HAS SOPS 589217 HAS SOUS 492830 HAS SOUPS 492830 WITH SCORE 493419.217
AT ITER 2832 NEW BEST:: SOT 949912 SOS 589149 HAS SOPS 589149 HAS SOUS 492762 HAS SOUPS 492762 WITH SCORE 493351.149
AT ITER 2834 NEW BEST:: SOT 950063 SOS 589237 HAS SOPS 589237 HAS SOUS 492596 HAS SOUPS 492596 WITH SCORE 493185.237
AT ITER 2839 NEW BEST:: SOT 950063 SOS 589209 HAS SOPS 589209 HAS SOUS 492568 HAS SOUPS 492568 WITH SCORE 493157.209
AT ITER 2840 NEW BEST:: SOT 950042 SOS 588993 HAS SOPS 588993 HAS SOUS 492504 HAS SOUPS 492504 WITH SCORE 493092.993
AT ITER 2841 NEW BEST:: SOT 949787 SOS 588336 HAS SOPS 588336 HAS SOUS 492065 HAS SOUPS 492065 WITH SCORE 492653.336
AT ITER 2853 NEW BEST:: SOT 949787 SOS 588428 HAS SOPS 588428 HAS SOUS 491849 HAS SOUPS 491849 WITH SCORE 492437.428
AT ITER 2854 NEW BEST:: SOT 949844 SOS 588283 HAS SOPS 588283 HAS SOUS 491731 HAS SOUPS 491731 WITH SCORE 492319.283
AT ITER 2856 NEW BEST:: SOT 949656 SOS 588095 HAS SOPS 588095 HAS SOUS 491543 HAS SOUPS 491543 WITH SCORE 492131.095
AT ITER 2857 NEW BEST:: SOT 949404 SOS 587767 HAS SOPS 587767 HAS SOUS 491215 HAS SOUPS 491215 WITH SCORE 491802.767
AT ITER 2862 NEW BEST:: SOT 948480 SOS 586567 HAS SOPS 586567 HAS SOUS 490015 HAS SOUPS 490015 WITH SCORE 490601.567
AT ITER 2868 NEW BEST:: SOT 948480 SOS 586192 HAS SOPS 586192 HAS SOUS 489924 HAS SOUPS 489924 WITH SCORE 490510.192
AT ITER 2870 NEW BEST:: SOT 947108 SOS 584082 HAS SOPS 584082 HAS SOUS 487792 HAS SOUPS 487792 WITH SCORE 488376.082
AT ITER 2879 NEW BEST:: SOT 947036 SOS 583888 HAS SOPS 583888 HAS SOUS 487598 HAS SOUPS 487598 WITH SCORE 488181.888
AT ITER 2880 NEW BEST:: SOT 946418 SOS 583064 HAS SOPS 583064 HAS SOUS 486812 HAS SOUPS 486812 WITH SCORE 487395.064
AT ITER 2886 NEW BEST:: SOT 946198 SOS 582685 HAS SOPS 582685 HAS SOUS 486535 HAS SOUPS 486535 WITH SCORE 487117.685
AT ITER 2888 NEW BEST:: SOT 946089 SOS 582602 HAS SOPS 582602 HAS SOUS 486452 HAS SOUPS 486452 WITH SCORE 487034.602
AT ITER 2895 NEW BEST:: SOT 946083 SOS 582594 HAS SOPS 582594 HAS SOUS 486444 HAS SOUPS 486444 WITH SCORE 487026.594
AT ITER 2897 NEW BEST:: SOT 946038 SOS 582459 HAS SOPS 582459 HAS SOUS 486219 HAS SOUPS 486219 WITH SCORE 486801.459
AT ITER 2898 NEW BEST:: SOT 945688 SOS 582012 HAS SOPS 582012 HAS SOUS 486176 HAS SOUPS 486176 WITH SCORE 486758.012
AT ITER 2909 NEW BEST:: SOT 945323 SOS 581706 HAS SOPS 581706 HAS SOUS 485959 HAS SOUPS 485959 WITH SCORE 486540.706
AT ITER 2915 NEW BEST:: SOT 944522 SOS 580895 HAS SOPS 580895 HAS SOUS 485148 HAS SOUPS 485148 WITH SCORE 485728.895
AT ITER 2919 NEW BEST:: SOT 944522 SOS 580889 HAS SOPS 580889 HAS SOUS 484968 HAS SOUPS 484968 WITH SCORE 485548.889
AT ITER 2920 NEW BEST:: SOT 944519 SOS 580886 HAS SOPS 580886 HAS SOUS 484965 HAS SOUPS 484965 WITH SCORE 485545.886
AT ITER 2921 NEW BEST:: SOT 944421 SOS 580663 HAS SOPS 580663 HAS SOUS 484358 HAS SOUPS 484358 WITH SCORE 484938.663
AT ITER 2923 NEW BEST:: SOT 944163 SOS 580487 HAS SOPS 580487 HAS SOUS 484182 HAS SOUPS 484182 WITH SCORE 484762.487
AT ITER 2929 NEW BEST:: SOT 944163 SOS 580487 HAS SOPS 580487 HAS SOUS 484126 HAS SOUPS 484126 WITH SCORE 484706.487
AT ITER 2930 NEW BEST:: SOT 944052 SOS 580002 HAS SOPS 580002 HAS SOUS 483542 HAS SOUPS 483542 WITH SCORE 484122.002
AT ITER 2936 NEW BEST:: SOT 944051 SOS 580001 HAS SOPS 580001 HAS SOUS 483541 HAS SOUPS 483541 WITH SCORE 484121.001
AT ITER 2948 NEW BEST:: SOT 943864 SOS 579814 HAS SOPS 579814 HAS SOUS 483354 HAS SOUPS 483354 WITH SCORE 483933.814
AT ITER 2959 NEW BEST:: SOT 943847 SOS 579797 HAS SOPS 579797 HAS SOUS 483337 HAS SOUPS 483337 WITH SCORE 483916.797
AT ITER 2966 NEW BEST:: SOT 943826 SOS 579473 HAS SOPS 579473 HAS SOUS 483153 HAS SOUPS 483153 WITH SCORE 483732.473
AT ITER 2979 NEW BEST:: SOT 943826 SOS 579472 HAS SOPS 579472 HAS SOUS 483152 HAS SOUPS 483152 WITH SCORE 483731.472
AT ITER 2981 NEW BEST:: SOT 943825 SOS 579365 HAS SOPS 579365 HAS SOUS 483045 HAS SOUPS 483045 WITH SCORE 483624.365
AT ITER 2983 NEW BEST:: SOT 944073 SOS 579364 HAS SOPS 579364 HAS SOUS 483045 HAS SOUPS 483045 WITH SCORE 483624.364
AT ITER 2988 NEW BEST:: SOT 944010 SOS 579159 HAS SOPS 579159 HAS SOUS 482542 HAS SOUPS 482542 WITH SCORE 483121.159
AT ITER 2996 NEW BEST:: SOT 943862 SOS 578889 HAS SOPS 578889 HAS SOUS 482291 HAS SOUPS 482291 WITH SCORE 482869.889
AT ITER 2998 NEW BEST:: SOT 943832 SOS 578859 HAS SOPS 578859 HAS SOUS 482261 HAS SOUPS 482261 WITH SCORE 482839.859
AT ITER 3007 NEW BEST:: SOT 943832 SOS 578784 HAS SOPS 578784 HAS SOUS 482261 HAS SOUPS 482261 WITH SCORE 482839.784
AT ITER 3009 NEW BEST:: SOT 943832 SOS 578862 HAS SOPS 578862 HAS SOUS 482247 HAS SOUPS 482247 WITH SCORE 482825.862
AT ITER 3010 NEW BEST:: SOT 943667 SOS 578493 HAS SOPS 578493 HAS SOUS 481878 HAS SOUPS 481878 WITH SCORE 482456.493
AT ITER 3031 NEW BEST:: SOT 943667 SOS 578462 HAS SOPS 578462 HAS SOUS 481878 HAS SOUPS 481878 WITH SCORE 482456.462
AT ITER 3040 NEW BEST:: SOT 943667 SOS 578324 HAS SOPS 578324 HAS SOUS 481602 HAS SOUPS 481602 WITH SCORE 482180.324
AT ITER 3049 NEW BEST:: SOT 943616 SOS 578273 HAS SOPS 578273 HAS SOUS 481551 HAS SOUPS 481551 WITH SCORE 482129.273
AT ITER 3057 NEW BEST:: SOT 943710 SOS 578162 HAS SOPS 578162 HAS SOUS 481341 HAS SOUPS 481341 WITH SCORE 481919.162
AT ITER 3065 NEW BEST:: SOT 943612 SOS 578082 HAS SOPS 578082 HAS SOUS 481261 HAS SOUPS 481261 WITH SCORE 481839.082
AT ITER 3088 NEW BEST:: SOT 943576 SOS 578046 HAS SOPS 578046 HAS SOUS 481225 HAS SOUPS 481225 WITH SCORE 481803.046
AT ITER 3092 NEW BEST:: SOT 943399 SOS 577529 HAS SOPS 577529 HAS SOUS 480531 HAS SOUPS 480531 WITH SCORE 481108.529
AT ITER 3112 NEW BEST:: SOT 943229 SOS 577359 HAS SOPS 577359 HAS SOUS 480361 HAS SOUPS 480361 WITH SCORE 480938.359
AT ITER 3114 NEW BEST:: SOT 943482 SOS 578122 HAS SOPS 578122 HAS SOUS 480341 HAS SOUPS 480341 WITH SCORE 480919.122
AT ITER 3117 NEW BEST:: SOT 943377 SOS 578017 HAS SOPS 578017 HAS SOUS 480236 HAS SOUPS 480236 WITH SCORE 480814.017
AT ITER 3126 NEW BEST:: SOT 943094 SOS 577706 HAS SOPS 577706 HAS SOUS 479785 HAS SOUPS 479785 WITH SCORE 480362.706
AT ITER 3131 NEW BEST:: SOT 943059 SOS 577671 HAS SOPS 577671 HAS SOUS 479750 HAS SOUPS 479750 WITH SCORE 480327.671
AT ITER 3132 NEW BEST:: SOT 943059 SOS 577578 HAS SOPS 577578 HAS SOUS 479657 HAS SOUPS 479657 WITH SCORE 480234.578
AT ITER 3145 NEW BEST:: SOT 943009 SOS 577478 HAS SOPS 577478 HAS SOUS 479532 HAS SOUPS 479532 WITH SCORE 480109.478
AT ITER 3151 NEW BEST:: SOT 943066 SOS 577223 HAS SOPS 577223 HAS SOUS 479477 HAS SOUPS 479477 WITH SCORE 480054.223
AT ITER 3156 NEW BEST:: SOT 942934 SOS 577091 HAS SOPS 577091 HAS SOUS 479265 HAS SOUPS 479265 WITH SCORE 479842.091
AT ITER 3160 NEW BEST:: SOT 942026 SOS 577599 HAS SOPS 577599 HAS SOUS 478584 HAS SOUPS 478584 WITH SCORE 479161.599
AT ITER 3162 NEW BEST:: SOT 941677 SOS 577220 HAS SOPS 577220 HAS SOUS 478142 HAS SOUPS 478142 WITH SCORE 478719.22
AT ITER 3165 NEW BEST:: SOT 941653 SOS 577196 HAS SOPS 577196 HAS SOUS 478118 HAS SOUPS 478118 WITH SCORE 478695.196
AT ITER 3168 NEW BEST:: SOT 941578 SOS 576898 HAS SOPS 576898 HAS SOUS 478031 HAS SOUPS 478031 WITH SCORE 478607.898
AT ITER 3169 NEW BEST:: SOT 941664 SOS 576812 HAS SOPS 576812 HAS SOUS 478031 HAS SOUPS 478031 WITH SCORE 478607.812
AT ITER 3185 NEW BEST:: SOT 941609 SOS 576757 HAS SOPS 576757 HAS SOUS 477976 HAS SOUPS 477976 WITH SCORE 478552.757
AT ITER 3189 NEW BEST:: SOT 941272 SOS 576234 HAS SOPS 576234 HAS SOUS 477453 HAS SOUPS 477453 WITH SCORE 478029.234
AT ITER 3199 NEW BEST:: SOT 941394 SOS 576016 HAS SOPS 576016 HAS SOUS 477235 HAS SOUPS 477235 WITH SCORE 477811.016
AT ITER 3200 NEW BEST:: SOT 941394 SOS 576339 HAS SOPS 576339 HAS SOUS 475351 HAS SOUPS 475351 WITH SCORE 475927.339
AT ITER 3208 NEW BEST:: SOT 940988 SOS 575933 HAS SOPS 575933 HAS SOUS 475214 HAS SOUPS 475214 WITH SCORE 475789.933
AT ITER 3212 NEW BEST:: SOT 940988 SOS 575757 HAS SOPS 575757 HAS SOUS 475170 HAS SOUPS 475170 WITH SCORE 475745.757
AT ITER 3217 NEW BEST:: SOT 940752 SOS 575525 HAS SOPS 575525 HAS SOUS 474899 HAS SOUPS 474899 WITH SCORE 475474.525
AT ITER 3219 NEW BEST:: SOT 940413 SOS 573888 HAS SOPS 573888 HAS SOUS 474774 HAS SOUPS 474774 WITH SCORE 475347.888
AT ITER 3227 NEW BEST:: SOT 940303 SOS 573778 HAS SOPS 573778 HAS SOUS 474664 HAS SOUPS 474664 WITH SCORE 475237.778
AT ITER 3235 NEW BEST:: SOT 940290 SOS 573765 HAS SOPS 573765 HAS SOUS 474651 HAS SOUPS 474651 WITH SCORE 475224.765
AT ITER 3237 NEW BEST:: SOT 940247 SOS 573694 HAS SOPS 573694 HAS SOUS 474580 HAS SOUPS 474580 WITH SCORE 475153.694
AT ITER 3250 NEW BEST:: SOT 940247 SOS 573082 HAS SOPS 573082 HAS SOUS 474375 HAS SOUPS 474375 WITH SCORE 474948.082
AT ITER 3251 NEW BEST:: SOT 940151 SOS 572890 HAS SOPS 572890 HAS SOUS 474183 HAS SOUPS 474183 WITH SCORE 474755.89
AT ITER 3253 NEW BEST:: SOT 940129 SOS 572848 HAS SOPS 572848 HAS SOUS 474141 HAS SOUPS 474141 WITH SCORE 474713.848
AT ITER 3254 NEW BEST:: SOT 939618 SOS 572226 HAS SOPS 572226 HAS SOUS 473350 HAS SOUPS 473350 WITH SCORE 473922.226
AT ITER 3274 NEW BEST:: SOT 939618 SOS 571747 HAS SOPS 571747 HAS SOUS 472790 HAS SOUPS 472790 WITH SCORE 473361.747
AT ITER 3277 NEW BEST:: SOT 939537 SOS 571666 HAS SOPS 571666 HAS SOUS 472709 HAS SOUPS 472709 WITH SCORE 473280.666
AT ITER 3279 NEW BEST:: SOT 939537 SOS 571395 HAS SOPS 571395 HAS SOUS 472381 HAS SOUPS 472381 WITH SCORE 472952.395
AT ITER 3299 NEW BEST:: SOT 939816 SOS 571142 HAS SOPS 571142 HAS SOUS 472128 HAS SOUPS 472128 WITH SCORE 472699.142
AT ITER 3300 NEW BEST:: SOT 940329 SOS 571213 HAS SOPS 571213 HAS SOUS 472118 HAS SOUPS 472118 WITH SCORE 472689.213
AT ITER 3302 NEW BEST:: SOT 940329 SOS 571181 HAS SOPS 571181 HAS SOUS 472054 HAS SOUPS 472054 WITH SCORE 472625.181
AT ITER 3304 NEW BEST:: SOT 940329 SOS 571177 HAS SOPS 571177 HAS SOUS 472053 HAS SOUPS 472053 WITH SCORE 472624.177
AT ITER 3307 NEW BEST:: SOT 940201 SOS 571219 HAS SOPS 571219 HAS SOUS 471925 HAS SOUPS 471925 WITH SCORE 472496.219
AT ITER 3311 NEW BEST:: SOT 940201 SOS 571204 HAS SOPS 571204 HAS SOUS 471883 HAS SOUPS 471883 WITH SCORE 472454.204
AT ITER 3321 NEW BEST:: SOT 940095 SOS 571098 HAS SOPS 571098 HAS SOUS 471777 HAS SOUPS 471777 WITH SCORE 472348.098
AT ITER 3333 NEW BEST:: SOT 940039 SOS 570753 HAS SOPS 570753 HAS SOUS 470994 HAS SOUPS 470994 WITH SCORE 471564.753
AT ITER 3348 NEW BEST:: SOT 939650 SOS 570155 HAS SOPS 570155 HAS SOUS 470383 HAS SOUPS 470383 WITH SCORE 470953.155
AT ITER 3359 NEW BEST:: SOT 939648 SOS 570090 HAS SOPS 570090 HAS SOUS 470318 HAS SOUPS 470318 WITH SCORE 470888.09
AT ITER 3379 NEW BEST:: SOT 939685 SOS 570127 HAS SOPS 570127 HAS SOUS 470297 HAS SOUPS 470297 WITH SCORE 470867.127
AT ITER 3388 NEW BEST:: SOT 939524 SOS 569628 HAS SOPS 569628 HAS SOUS 469971 HAS SOUPS 469971 WITH SCORE 470540.628
AT ITER 3393 NEW BEST:: SOT 939524 SOS 569626 HAS SOPS 569626 HAS SOUS 469969 HAS SOUPS 469969 WITH SCORE 470538.626
AT ITER 3396 NEW BEST:: SOT 939367 SOS 569312 HAS SOPS 569312 HAS SOUS 469562 HAS SOUPS 469562 WITH SCORE 470131.312
AT ITER 3399 NEW BEST:: SOT 939469 SOS 569300 HAS SOPS 569300 HAS SOUS 469550 HAS SOUPS 469550 WITH SCORE 470119.3
AT ITER 3408 NEW BEST:: SOT 939283 SOS 569233 HAS SOPS 569233 HAS SOUS 469482 HAS SOUPS 469482 WITH SCORE 470051.233
AT ITER 3412 NEW BEST:: SOT 939707 SOS 568814 HAS SOPS 568814 HAS SOUS 469445 HAS SOUPS 469445 WITH SCORE 470013.814
AT ITER 3431 NEW BEST:: SOT 940067 SOS 568733 HAS SOPS 568733 HAS SOUS 469364 HAS SOUPS 469364 WITH SCORE 469932.733
AT ITER 3437 NEW BEST:: SOT 940198 SOS 568601 HAS SOPS 568601 HAS SOUS 469254 HAS SOUPS 469254 WITH SCORE 469822.601
AT ITER 3439 NEW BEST:: SOT 939799 SOS 567967 HAS SOPS 567967 HAS SOUS 468620 HAS SOUPS 468620 WITH SCORE 469187.967
AT ITER 3442 NEW BEST:: SOT 939781 SOS 567913 HAS SOPS 567913 HAS SOUS 468548 HAS SOUPS 468548 WITH SCORE 469115.913
AT ITER 3443 NEW BEST:: SOT 939904 SOS 567814 HAS SOPS 567814 HAS SOUS 468457 HAS SOUPS 468457 WITH SCORE 469024.814
AT ITER 3446 NEW BEST:: SOT 939652 SOS 567668 HAS SOPS 567668 HAS SOUS 468311 HAS SOUPS 468311 WITH SCORE 468878.668
AT ITER 3454 NEW BEST:: SOT 939509 SOS 566953 HAS SOPS 566953 HAS SOUS 467739 HAS SOUPS 467739 WITH SCORE 468305.953
AT ITER 3460 NEW BEST:: SOT 939156 SOS 566591 HAS SOPS 566591 HAS SOUS 467185 HAS SOUPS 467185 WITH SCORE 467751.591
AT ITER 3464 NEW BEST:: SOT 939026 SOS 566461 HAS SOPS 566461 HAS SOUS 467055 HAS SOUPS 467055 WITH SCORE 467621.461
AT ITER 3479 NEW BEST:: SOT 939063 SOS 566494 HAS SOPS 566494 HAS SOUS 467053 HAS SOUPS 467053 WITH SCORE 467619.494
AT ITER 3481 NEW BEST:: SOT 939030 SOS 566328 HAS SOPS 566328 HAS SOUS 466887 HAS SOUPS 466887 WITH SCORE 467453.328
AT ITER 3484 NEW BEST:: SOT 938971 SOS 566328 HAS SOPS 566328 HAS SOUS 466828 HAS SOUPS 466828 WITH SCORE 467394.328
AT ITER 3494 NEW BEST:: SOT 939139 SOS 566847 HAS SOPS 566847 HAS SOUS 466807 HAS SOUPS 466807 WITH SCORE 467373.847
AT ITER 3500 NEW BEST:: SOT 939069 SOS 566777 HAS SOPS 566777 HAS SOUS 466653 HAS SOUPS 466653 WITH SCORE 467219.777
AT ITER 3509 NEW BEST:: SOT 939069 SOS 566673 HAS SOPS 566673 HAS SOUS 466470 HAS SOUPS 466470 WITH SCORE 467036.673
AT ITER 3514 NEW BEST:: SOT 939300 SOS 566096 HAS SOPS 566096 HAS SOUS 466462 HAS SOUPS 466462 WITH SCORE 467028.096
AT ITER 3521 NEW BEST:: SOT 939300 SOS 566071 HAS SOPS 566071 HAS SOUS 466437 HAS SOUPS 466437 WITH SCORE 467003.071
AT ITER 3522 NEW BEST:: SOT 939340 SOS 566071 HAS SOPS 566071 HAS SOUS 466357 HAS SOUPS 466357 WITH SCORE 466923.071
AT ITER 3528 NEW BEST:: SOT 939464 SOS 565657 HAS SOPS 565657 HAS SOUS 465877 HAS SOUPS 465877 WITH SCORE 466442.657
AT ITER 3549 NEW BEST:: SOT 939287 SOS 564916 HAS SOPS 564916 HAS SOUS 465828 HAS SOUPS 465828 WITH SCORE 466392.916
AT ITER 3551 NEW BEST:: SOT 939200 SOS 564829 HAS SOPS 564829 HAS SOUS 465653 HAS SOUPS 465653 WITH SCORE 466217.829
AT ITER 3552 NEW BEST:: SOT 939200 SOS 564265 HAS SOPS 564265 HAS SOUS 465089 HAS SOUPS 465089 WITH SCORE 465653.265
AT ITER 3561 NEW BEST:: SOT 939200 SOS 564265 HAS SOPS 564265 HAS SOUS 465061 HAS SOUPS 465061 WITH SCORE 465625.265
AT ITER 3564 NEW BEST:: SOT 939112 SOS 564601 HAS SOPS 564601 HAS SOUS 465053 HAS SOUPS 465053 WITH SCORE 465617.601
AT ITER 3577 NEW BEST:: SOT 939218 SOS 564456 HAS SOPS 564456 HAS SOUS 464785 HAS SOUPS 464785 WITH SCORE 465349.456
AT ITER 3586 NEW BEST:: SOT 939052 SOS 563819 HAS SOPS 563819 HAS SOUS 464742 HAS SOUPS 464742 WITH SCORE 465305.819
AT ITER 3587 NEW BEST:: SOT 938840 SOS 563607 HAS SOPS 563607 HAS SOUS 464530 HAS SOUPS 464530 WITH SCORE 465093.607
AT ITER 3594 NEW BEST:: SOT 938736 SOS 563432 HAS SOPS 563432 HAS SOUS 464284 HAS SOUPS 464284 WITH SCORE 464847.432
AT ITER 3597 NEW BEST:: SOT 938578 SOS 563312 HAS SOPS 563312 HAS SOUS 464164 HAS SOUPS 464164 WITH SCORE 464727.312
AT ITER 3601 NEW BEST:: SOT 937852 SOS 562920 HAS SOPS 562920 HAS SOUS 463970 HAS SOUPS 463970 WITH SCORE 464532.92
AT ITER 3605 NEW BEST:: SOT 937780 SOS 562704 HAS SOPS 562704 HAS SOUS 463741 HAS SOUPS 463741 WITH SCORE 464303.704
AT ITER 3606 NEW BEST:: SOT 937780 SOS 562610 HAS SOPS 562610 HAS SOUS 463553 HAS SOUPS 463553 WITH SCORE 464115.61
AT ITER 3609 NEW BEST:: SOT 937683 SOS 562319 HAS SOPS 562319 HAS SOUS 463262 HAS SOUPS 463262 WITH SCORE 463824.319
AT ITER 3610 NEW BEST:: SOT 937498 SOS 561901 HAS SOPS 561901 HAS SOUS 462812 HAS SOUPS 462812 WITH SCORE 463373.901
AT ITER 3616 NEW BEST:: SOT 937560 SOS 561975 HAS SOPS 561975 HAS SOUS 462791 HAS SOUPS 462791 WITH SCORE 463352.975
AT ITER 3623 NEW BEST:: SOT 937523 SOS 561938 HAS SOPS 561938 HAS SOUS 462754 HAS SOUPS 462754 WITH SCORE 463315.938
AT ITER 3635 NEW BEST:: SOT 937591 SOS 561673 HAS SOPS 561673 HAS SOUS 462607 HAS SOUPS 462607 WITH SCORE 463168.673
AT ITER 3648 NEW BEST:: SOT 937210 SOS 561388 HAS SOPS 561388 HAS SOUS 462430 HAS SOUPS 462430 WITH SCORE 462991.388
AT ITER 3654 NEW BEST:: SOT 937167 SOS 561282 HAS SOPS 561282 HAS SOUS 462324 HAS SOUPS 462324 WITH SCORE 462885.282
AT ITER 3656 NEW BEST:: SOT 937123 SOS 560770 HAS SOPS 560770 HAS SOUS 461385 HAS SOUPS 461385 WITH SCORE 461945.77
AT ITER 3661 NEW BEST:: SOT 937631 SOS 561011 HAS SOPS 561011 HAS SOUS 461143 HAS SOUPS 461143 WITH SCORE 461704.011
AT ITER 3664 NEW BEST:: SOT 937527 SOS 560907 HAS SOPS 560907 HAS SOUS 461039 HAS SOUPS 461039 WITH SCORE 461599.907
AT ITER 3691 NEW BEST:: SOT 937527 SOS 560825 HAS SOPS 560825 HAS SOUS 460998 HAS SOUPS 460998 WITH SCORE 461558.825
AT ITER 3694 NEW BEST:: SOT 937645 SOS 560901 HAS SOPS 560901 HAS SOUS 460920 HAS SOUPS 460920 WITH SCORE 461480.901
AT ITER 3704 NEW BEST:: SOT 937686 SOS 560942 HAS SOPS 560942 HAS SOUS 460763 HAS SOUPS 460763 WITH SCORE 461323.942
AT ITER 3706 NEW BEST:: SOT 937628 SOS 560884 HAS SOPS 560884 HAS SOUS 460705 HAS SOUPS 460705 WITH SCORE 461265.884
AT ITER 3712 NEW BEST:: SOT 937610 SOS 560635 HAS SOPS 560635 HAS SOUS 460607 HAS SOUPS 460607 WITH SCORE 461167.635
AT ITER 3718 NEW BEST:: SOT 937570 SOS 560595 HAS SOPS 560595 HAS SOUS 460587 HAS SOUPS 460587 WITH SCORE 461147.595
AT ITER 3720 NEW BEST:: SOT 937407 SOS 560106 HAS SOPS 560106 HAS SOUS 460261 HAS SOUPS 460261 WITH SCORE 460821.106
AT ITER 3728 NEW BEST:: SOT 937045 SOS 559663 HAS SOPS 559663 HAS SOUS 459656 HAS SOUPS 459656 WITH SCORE 460215.663
AT ITER 3735 NEW BEST:: SOT 937129 SOS 559332 HAS SOPS 559332 HAS SOUS 459512 HAS SOUPS 459512 WITH SCORE 460071.332
AT ITER 3738 NEW BEST:: SOT 936586 SOS 558523 HAS SOPS 558523 HAS SOUS 458826 HAS SOUPS 458826 WITH SCORE 459384.523
AT ITER 3743 NEW BEST:: SOT 936503 SOS 558440 HAS SOPS 558440 HAS SOUS 458743 HAS SOUPS 458743 WITH SCORE 459301.44
AT ITER 3745 NEW BEST:: SOT 936503 SOS 558330 HAS SOPS 558330 HAS SOUS 458631 HAS SOUPS 458631 WITH SCORE 459189.33
AT ITER 3746 NEW BEST:: SOT 936209 SOS 558036 HAS SOPS 558036 HAS SOUS 458337 HAS SOUPS 458337 WITH SCORE 458895.036
AT ITER 3755 NEW BEST:: SOT 936418 SOS 557853 HAS SOPS 557853 HAS SOUS 457856 HAS SOUPS 457856 WITH SCORE 458413.853
AT ITER 3756 NEW BEST:: SOT 936387 SOS 557822 HAS SOPS 557822 HAS SOUS 457644 HAS SOUPS 457644 WITH SCORE 458201.822
AT ITER 3760 NEW BEST:: SOT 936387 SOS 557548 HAS SOPS 557548 HAS SOUS 457306 HAS SOUPS 457306 WITH SCORE 457863.548
AT ITER 3761 NEW BEST:: SOT 936357 SOS 557518 HAS SOPS 557518 HAS SOUS 457276 HAS SOUPS 457276 WITH SCORE 457833.518
AT ITER 3769 NEW BEST:: SOT 936357 SOS 557452 HAS SOPS 557452 HAS SOUS 457220 HAS SOUPS 457220 WITH SCORE 457777.452
AT ITER 3784 NEW BEST:: SOT 935848 SOS 556637 HAS SOPS 556637 HAS SOUS 456421 HAS SOUPS 456421 WITH SCORE 456977.637
AT ITER 3798 NEW BEST:: SOT 935846 SOS 556527 HAS SOPS 556527 HAS SOUS 456325 HAS SOUPS 456325 WITH SCORE 456881.527
AT ITER 3799 NEW BEST:: SOT 935846 SOS 556623 HAS SOPS 556623 HAS SOUS 455626 HAS SOUPS 455626 WITH SCORE 456182.623
AT ITER 3805 NEW BEST:: SOT 935835 SOS 556601 HAS SOPS 556601 HAS SOUS 455604 HAS SOUPS 455604 WITH SCORE 456160.601
AT ITER 3806 NEW BEST:: SOT 935241 SOS 556302 HAS SOPS 556302 HAS SOUS 455602 HAS SOUPS 455602 WITH SCORE 456158.302
AT ITER 3811 NEW BEST:: SOT 935720 SOS 556407 HAS SOPS 556407 HAS SOUS 455221 HAS SOUPS 455221 WITH SCORE 455777.407
AT ITER 3820 NEW BEST:: SOT 935720 SOS 556407 HAS SOPS 556407 HAS SOUS 455193 HAS SOUPS 455193 WITH SCORE 455749.407
AT ITER 3831 NEW BEST:: SOT 935372 SOS 556294 HAS SOPS 556294 HAS SOUS 454804 HAS SOUPS 454804 WITH SCORE 455360.294
AT ITER 3837 NEW BEST:: SOT 935463 SOS 556135 HAS SOPS 556135 HAS SOUS 454635 HAS SOUPS 454635 WITH SCORE 455191.135
AT ITER 3838 NEW BEST:: SOT 935463 SOS 556083 HAS SOPS 556083 HAS SOUS 454531 HAS SOUPS 454531 WITH SCORE 455087.083
AT ITER 3841 NEW BEST:: SOT 935330 SOS 555399 HAS SOPS 555399 HAS SOUS 454259 HAS SOUPS 454259 WITH SCORE 454814.399
AT ITER 3846 NEW BEST:: SOT 935276 SOS 555345 HAS SOPS 555345 HAS SOUS 454205 HAS SOUPS 454205 WITH SCORE 454760.345
AT ITER 3860 NEW BEST:: SOT 935194 SOS 555116 HAS SOPS 555116 HAS SOUS 454171 HAS SOUPS 454171 WITH SCORE 454726.116
AT ITER 3884 NEW BEST:: SOT 935332 SOS 555206 HAS SOPS 555206 HAS SOUS 454115 HAS SOUPS 454115 WITH SCORE 454670.206
AT ITER 3885 NEW BEST:: SOT 935623 SOS 555013 HAS SOPS 555013 HAS SOUS 454054 HAS SOUPS 454054 WITH SCORE 454609.013
AT ITER 3892 NEW BEST:: SOT 935522 SOS 554862 HAS SOPS 554862 HAS SOUS 453903 HAS SOUPS 453903 WITH SCORE 454457.862
AT ITER 3895 NEW BEST:: SOT 934939 SOS 554166 HAS SOPS 554166 HAS SOUS 453207 HAS SOUPS 453207 WITH SCORE 453761.166
AT ITER 3897 NEW BEST:: SOT 934925 SOS 554119 HAS SOPS 554119 HAS SOUS 453163 HAS SOUPS 453163 WITH SCORE 453717.119
AT ITER 3906 NEW BEST:: SOT 934952 SOS 554073 HAS SOPS 554073 HAS SOUS 453030 HAS SOUPS 453030 WITH SCORE 453584.073
AT ITER 3908 NEW BEST:: SOT 934933 SOS 554054 HAS SOPS 554054 HAS SOUS 452987 HAS SOUPS 452987 WITH SCORE 453541.054
AT ITER 3918 NEW BEST:: SOT 934973 SOS 554017 HAS SOPS 554017 HAS SOUS 452950 HAS SOUPS 452950 WITH SCORE 453504.017
AT ITER 3921 NEW BEST:: SOT 934873 SOS 553867 HAS SOPS 553867 HAS SOUS 452750 HAS SOUPS 452750 WITH SCORE 453303.867
AT ITER 3927 NEW BEST:: SOT 935350 SOS 554119 HAS SOPS 554119 HAS SOUS 452319 HAS SOUPS 452319 WITH SCORE 452873.119
AT ITER 3929 NEW BEST:: SOT 935350 SOS 554112 HAS SOPS 554112 HAS SOUS 452312 HAS SOUPS 452312 WITH SCORE 452866.112
AT ITER 3942 NEW BEST:: SOT 935266 SOS 553368 HAS SOPS 553368 HAS SOUS 452054 HAS SOUPS 452054 WITH SCORE 452607.368
AT ITER 3949 NEW BEST:: SOT 935177 SOS 553192 HAS SOPS 553192 HAS SOUS 451878 HAS SOUPS 451878 WITH SCORE 452431.192
AT ITER 3951 NEW BEST:: SOT 935123 SOS 553138 HAS SOPS 553138 HAS SOUS 451824 HAS SOUPS 451824 WITH SCORE 452377.138
AT ITER 3956 NEW BEST:: SOT 935221 SOS 553063 HAS SOPS 553063 HAS SOUS 451761 HAS SOUPS 451761 WITH SCORE 452314.063
AT ITER 3962 NEW BEST:: SOT 935221 SOS 553036 HAS SOPS 553036 HAS SOUS 451734 HAS SOUPS 451734 WITH SCORE 452287.036
AT ITER 3968 NEW BEST:: SOT 935220 SOS 552620 HAS SOPS 552620 HAS SOUS 451689 HAS SOUPS 451689 WITH SCORE 452241.62
AT ITER 3974 NEW BEST:: SOT 935282 SOS 552422 HAS SOPS 552422 HAS SOUS 451588 HAS SOUPS 451588 WITH SCORE 452140.422
AT ITER 3978 NEW BEST:: SOT 935246 SOS 552386 HAS SOPS 552386 HAS SOUS 451542 HAS SOUPS 451542 WITH SCORE 452094.386
AT ITER 3990 NEW BEST:: SOT 935139 SOS 552230 HAS SOPS 552230 HAS SOUS 451493 HAS SOUPS 451493 WITH SCORE 452045.23
AT ITER 3993 NEW BEST:: SOT 934953 SOS 551858 HAS SOPS 551858 HAS SOUS 451121 HAS SOUPS 451121 WITH SCORE 451672.858
AT ITER 3999 NEW BEST:: SOT 934873 SOS 551778 HAS SOPS 551778 HAS SOUS 451000 HAS SOUPS 451000 WITH SCORE 451551.778
AT ITER 4000 NEW BEST:: SOT 934716 SOS 551646 HAS SOPS 551646 HAS SOUS 450862 HAS SOUPS 450862 WITH SCORE 451413.646
AT ITER 4002 NEW BEST:: SOT 934716 SOS 551468 HAS SOPS 551468 HAS SOUS 450837 HAS SOUPS 450837 WITH SCORE 451388.468
AT ITER 4007 NEW BEST:: SOT 934532 SOS 550701 HAS SOPS 550701 HAS SOUS 450244 HAS SOUPS 450244 WITH SCORE 450794.701
AT ITER 4012 NEW BEST:: SOT 933564 SOS 549733 HAS SOPS 549733 HAS SOUS 449276 HAS SOUPS 449276 WITH SCORE 449825.733
AT ITER 4017 NEW BEST:: SOT 933441 SOS 549552 HAS SOPS 549552 HAS SOUS 449166 HAS SOUPS 449166 WITH SCORE 449715.552
AT ITER 4028 NEW BEST:: SOT 933357 SOS 549468 HAS SOPS 549468 HAS SOUS 449082 HAS SOUPS 449082 WITH SCORE 449631.468
AT ITER 4030 NEW BEST:: SOT 933222 SOS 549306 HAS SOPS 549306 HAS SOUS 448920 HAS SOUPS 448920 WITH SCORE 449469.306
AT ITER 4034 NEW BEST:: SOT 933543 SOS 548990 HAS SOPS 548990 HAS SOUS 448829 HAS SOUPS 448829 WITH SCORE 449377.99
AT ITER 4043 NEW BEST:: SOT 933543 SOS 548714 HAS SOPS 548714 HAS SOUS 448829 HAS SOUPS 448829 WITH SCORE 449377.714
AT ITER 4047 NEW BEST:: SOT 933078 SOS 548336 HAS SOPS 548336 HAS SOUS 448451 HAS SOUPS 448451 WITH SCORE 448999.336
AT ITER 4048 NEW BEST:: SOT 933027 SOS 548285 HAS SOPS 548285 HAS SOUS 448400 HAS SOUPS 448400 WITH SCORE 448948.285
AT ITER 4050 NEW BEST:: SOT 933087 SOS 548399 HAS SOPS 548399 HAS SOUS 448330 HAS SOUPS 448330 WITH SCORE 448878.399
AT ITER 4063 NEW BEST:: SOT 933087 SOS 547840 HAS SOPS 547840 HAS SOUS 448026 HAS SOUPS 448026 WITH SCORE 448573.84
AT ITER 4067 NEW BEST:: SOT 933009 SOS 547762 HAS SOPS 547762 HAS SOUS 447948 HAS SOUPS 447948 WITH SCORE 448495.762
AT ITER 4070 NEW BEST:: SOT 932992 SOS 547711 HAS SOPS 547711 HAS SOUS 447880 HAS SOUPS 447880 WITH SCORE 448427.711
AT ITER 4076 NEW BEST:: SOT 932955 SOS 547666 HAS SOPS 547666 HAS SOUS 447835 HAS SOUPS 447835 WITH SCORE 448382.666
AT ITER 4083 NEW BEST:: SOT 932947 SOS 547664 HAS SOPS 547664 HAS SOUS 447833 HAS SOUPS 447833 WITH SCORE 448380.664
AT ITER 4086 NEW BEST:: SOT 932554 SOS 547247 HAS SOPS 547247 HAS SOUS 447416 HAS SOUPS 447416 WITH SCORE 447963.247
AT ITER 4089 NEW BEST:: SOT 932446 SOS 547139 HAS SOPS 547139 HAS SOUS 447308 HAS SOUPS 447308 WITH SCORE 447855.139
AT ITER 4095 NEW BEST:: SOT 932322 SOS 547013 HAS SOPS 547013 HAS SOUS 447182 HAS SOUPS 447182 WITH SCORE 447729.013
AT ITER 4096 NEW BEST:: SOT 932409 SOS 546928 HAS SOPS 546928 HAS SOUS 447180 HAS SOUPS 447180 WITH SCORE 447726.928
AT ITER 4105 NEW BEST:: SOT 932387 SOS 546904 HAS SOPS 546904 HAS SOUS 447156 HAS SOUPS 447156 WITH SCORE 447702.904
AT ITER 4108 NEW BEST:: SOT 932387 SOS 546525 HAS SOPS 546525 HAS SOUS 446953 HAS SOUPS 446953 WITH SCORE 447499.525
AT ITER 4112 NEW BEST:: SOT 932039 SOS 546162 HAS SOPS 546162 HAS SOUS 446719 HAS SOUPS 446719 WITH SCORE 447265.162
AT ITER 4117 NEW BEST:: SOT 932039 SOS 546419 HAS SOPS 546419 HAS SOUS 446661 HAS SOUPS 446661 WITH SCORE 447207.419
AT ITER 4130 NEW BEST:: SOT 932269 SOS 546364 HAS SOPS 546364 HAS SOUS 446268 HAS SOUPS 446268 WITH SCORE 446814.364
AT ITER 4135 NEW BEST:: SOT 932678 SOS 546572 HAS SOPS 546572 HAS SOUS 446073 HAS SOUPS 446073 WITH SCORE 446619.572
AT ITER 4152 NEW BEST:: SOT 932619 SOS 546442 HAS SOPS 546442 HAS SOUS 445943 HAS SOUPS 445943 WITH SCORE 446489.442
AT ITER 4156 NEW BEST:: SOT 932953 SOS 546170 HAS SOPS 546170 HAS SOUS 445285 HAS SOUPS 445285 WITH SCORE 445831.17
AT ITER 4174 NEW BEST:: SOT 932953 SOS 546158 HAS SOPS 546158 HAS SOUS 445264 HAS SOUPS 445264 WITH SCORE 445810.158
AT ITER 4175 NEW BEST:: SOT 932953 SOS 546155 HAS SOPS 546155 HAS SOUS 445259 HAS SOUPS 445259 WITH SCORE 445805.155
AT ITER 4187 NEW BEST:: SOT 932953 SOS 546095 HAS SOPS 546095 HAS SOUS 445219 HAS SOUPS 445219 WITH SCORE 445765.095
AT ITER 4191 NEW BEST:: SOT 932900 SOS 546042 HAS SOPS 546042 HAS SOUS 445166 HAS SOUPS 445166 WITH SCORE 445712.042
AT ITER 4192 NEW BEST:: SOT 932892 SOS 545798 HAS SOPS 545798 HAS SOUS 445032 HAS SOUPS 445032 WITH SCORE 445577.798
AT ITER 4201 NEW BEST:: SOT 932827 SOS 545733 HAS SOPS 545733 HAS SOUS 444967 HAS SOUPS 444967 WITH SCORE 445512.733
AT ITER 4207 NEW BEST:: SOT 932869 SOS 545682 HAS SOPS 545682 HAS SOUS 444702 HAS SOUPS 444702 WITH SCORE 445247.682
AT ITER 4222 NEW BEST:: SOT 932845 SOS 545394 HAS SOPS 545394 HAS SOUS 444414 HAS SOUPS 444414 WITH SCORE 444959.394
AT ITER 4235 NEW BEST:: SOT 932787 SOS 545246 HAS SOPS 545246 HAS SOUS 444317 HAS SOUPS 444317 WITH SCORE 444862.246
AT ITER 4243 NEW BEST:: SOT 932787 SOS 545016 HAS SOPS 545016 HAS SOUS 444087 HAS SOUPS 444087 WITH SCORE 444632.016
AT ITER 4263 NEW BEST:: SOT 932672 SOS 545144 HAS SOPS 545144 HAS SOUS 444004 HAS SOUPS 444004 WITH SCORE 444549.144
AT ITER 4272 NEW BEST:: SOT 932710 SOS 545338 HAS SOPS 545338 HAS SOUS 444002 HAS SOUPS 444002 WITH SCORE 444547.338
AT ITER 4274 NEW BEST:: SOT 932702 SOS 545322 HAS SOPS 545322 HAS SOUS 443994 HAS SOUPS 443994 WITH SCORE 444539.322
AT ITER 4280 NEW BEST:: SOT 932702 SOS 545211 HAS SOPS 545211 HAS SOUS 443883 HAS SOUPS 443883 WITH SCORE 444428.211
AT ITER 4282 NEW BEST:: SOT 932502 SOS 545011 HAS SOPS 545011 HAS SOUS 443683 HAS SOUPS 443683 WITH SCORE 444228.011
AT ITER 4283 NEW BEST:: SOT 932387 SOS 544896 HAS SOPS 544896 HAS SOUS 443568 HAS SOUPS 443568 WITH SCORE 444112.896
AT ITER 4300 NEW BEST:: SOT 932291 SOS 544800 HAS SOPS 544800 HAS SOUS 443472 HAS SOUPS 443472 WITH SCORE 444016.8
AT ITER 4307 NEW BEST:: SOT 932291 SOS 544658 HAS SOPS 544658 HAS SOUS 443438 HAS SOUPS 443438 WITH SCORE 443982.658
AT ITER 4311 NEW BEST:: SOT 931565 SOS 543500 HAS SOPS 543500 HAS SOUS 441829 HAS SOUPS 441829 WITH SCORE 442372.5
AT ITER 4322 NEW BEST:: SOT 931083 SOS 543018 HAS SOPS 543018 HAS SOUS 440997 HAS SOUPS 440997 WITH SCORE 441540.018
AT ITER 4325 NEW BEST:: SOT 931129 SOS 543111 HAS SOPS 543111 HAS SOUS 440282 HAS SOUPS 440282 WITH SCORE 440825.111
AT ITER 4332 NEW BEST:: SOT 931129 SOS 542930 HAS SOPS 542930 HAS SOUS 440062 HAS SOUPS 440062 WITH SCORE 440604.93
AT ITER 4335 NEW BEST:: SOT 931212 SOS 542983 HAS SOPS 542983 HAS SOUS 440007 HAS SOUPS 440007 WITH SCORE 440549.983
AT ITER 4340 NEW BEST:: SOT 931333 SOS 542992 HAS SOPS 542992 HAS SOUS 439984 HAS SOUPS 439984 WITH SCORE 440526.992
AT ITER 4353 NEW BEST:: SOT 930936 SOS 542464 HAS SOPS 542464 HAS SOUS 439526 HAS SOUPS 439526 WITH SCORE 440068.464
AT ITER 4354 NEW BEST:: SOT 930844 SOS 542318 HAS SOPS 542318 HAS SOUS 439380 HAS SOUPS 439380 WITH SCORE 439922.318
AT ITER 4362 NEW BEST:: SOT 930844 SOS 542291 HAS SOPS 542291 HAS SOUS 439353 HAS SOUPS 439353 WITH SCORE 439895.291
AT ITER 4363 NEW BEST:: SOT 930836 SOS 542287 HAS SOPS 542287 HAS SOUS 439352 HAS SOUPS 439352 WITH SCORE 439894.287
AT ITER 4365 NEW BEST:: SOT 930220 SOS 542150 HAS SOPS 542150 HAS SOUS 438820 HAS SOUPS 438820 WITH SCORE 439362.15
AT ITER 4370 NEW BEST:: SOT 930186 SOS 542116 HAS SOPS 542116 HAS SOUS 438613 HAS SOUPS 438613 WITH SCORE 439155.116
AT ITER 4373 NEW BEST:: SOT 930112 SOS 542078 HAS SOPS 542078 HAS SOUS 438575 HAS SOUPS 438575 WITH SCORE 439117.078
AT ITER 4379 NEW BEST:: SOT 930112 SOS 542051 HAS SOPS 542051 HAS SOUS 438557 HAS SOUPS 438557 WITH SCORE 439099.051
AT ITER 4384 NEW BEST:: SOT 930106 SOS 542045 HAS SOPS 542045 HAS SOUS 438545 HAS SOUPS 438545 WITH SCORE 439087.045
AT ITER 4388 NEW BEST:: SOT 929978 SOS 541915 HAS SOPS 541915 HAS SOUS 438416 HAS SOUPS 438416 WITH SCORE 438957.915
AT ITER 4389 NEW BEST:: SOT 929968 SOS 541905 HAS SOPS 541905 HAS SOUS 438406 HAS SOUPS 438406 WITH SCORE 438947.905
AT ITER 4390 NEW BEST:: SOT 929968 SOS 541776 HAS SOPS 541776 HAS SOUS 438285 HAS SOUPS 438285 WITH SCORE 438826.776
AT ITER 4404 NEW BEST:: SOT 929959 SOS 541767 HAS SOPS 541767 HAS SOUS 438276 HAS SOUPS 438276 WITH SCORE 438817.767
AT ITER 4405 NEW BEST:: SOT 929841 SOS 541649 HAS SOPS 541649 HAS SOUS 438007 HAS SOUPS 438007 WITH SCORE 438548.649
AT ITER 4409 NEW BEST:: SOT 929764 SOS 541518 HAS SOPS 541518 HAS SOUS 437894 HAS SOUPS 437894 WITH SCORE 438435.518
AT ITER 4414 NEW BEST:: SOT 929764 SOS 541518 HAS SOPS 541518 HAS SOUS 437854 HAS SOUPS 437854 WITH SCORE 438395.518
AT ITER 4418 NEW BEST:: SOT 930421 SOS 542520 HAS SOPS 542520 HAS SOUS 437751 HAS SOUPS 437751 WITH SCORE 438293.52
AT ITER 4431 NEW BEST:: SOT 930483 SOS 542372 HAS SOPS 542372 HAS SOUS 437725 HAS SOUPS 437725 WITH SCORE 438267.372
AT ITER 4432 NEW BEST:: SOT 930419 SOS 540742 HAS SOPS 540742 HAS SOUS 436939 HAS SOUPS 436939 WITH SCORE 437479.742
AT ITER 4441 NEW BEST:: SOT 930347 SOS 540310 HAS SOPS 540310 HAS SOUS 436751 HAS SOUPS 436751 WITH SCORE 437291.31
AT ITER 4453 NEW BEST:: SOT 930347 SOS 540415 HAS SOPS 540415 HAS SOUS 436367 HAS SOUPS 436367 WITH SCORE 436907.415
AT ITER 4460 NEW BEST:: SOT 930347 SOS 540413 HAS SOPS 540413 HAS SOUS 436316 HAS SOUPS 436316 WITH SCORE 436856.413
AT ITER 4461 NEW BEST:: SOT 930347 SOS 540373 HAS SOPS 540373 HAS SOUS 436300 HAS SOUPS 436300 WITH SCORE 436840.373
AT ITER 4471 NEW BEST:: SOT 930271 SOS 540297 HAS SOPS 540297 HAS SOUS 436148 HAS SOUPS 436148 WITH SCORE 436688.297
AT ITER 4476 NEW BEST:: SOT 930088 SOS 540053 HAS SOPS 540053 HAS SOUS 435652 HAS SOUPS 435652 WITH SCORE 436192.053
AT ITER 4480 NEW BEST:: SOT 930086 SOS 540025 HAS SOPS 540025 HAS SOUS 435572 HAS SOUPS 435572 WITH SCORE 436112.025
AT ITER 4488 NEW BEST:: SOT 930145 SOS 539730 HAS SOPS 539730 HAS SOUS 435454 HAS SOUPS 435454 WITH SCORE 435993.73
AT ITER 4507 NEW BEST:: SOT 930145 SOS 539730 HAS SOPS 539730 HAS SOUS 435425 HAS SOUPS 435425 WITH SCORE 435964.73
AT ITER 4539 NEW BEST:: SOT 930129 SOS 539722 HAS SOPS 539722 HAS SOUS 435425 HAS SOUPS 435425 WITH SCORE 435964.722
AT ITER 4555 NEW BEST:: SOT 930804 SOS 539913 HAS SOPS 539913 HAS SOUS 434570 HAS SOUPS 434570 WITH SCORE 435109.913
AT ITER 4556 NEW BEST:: SOT 930518 SOS 539355 HAS SOPS 539355 HAS SOUS 433986 HAS SOUPS 433986 WITH SCORE 434525.355
AT ITER 4561 NEW BEST:: SOT 930416 SOS 539253 HAS SOPS 539253 HAS SOUS 433884 HAS SOUPS 433884 WITH SCORE 434423.253
AT ITER 4567 NEW BEST:: SOT 930483 SOS 539320 HAS SOPS 539320 HAS SOUS 433807 HAS SOUPS 433807 WITH SCORE 434346.32
AT ITER 4576 NEW BEST:: SOT 930390 SOS 539227 HAS SOPS 539227 HAS SOUS 433714 HAS SOUPS 433714 WITH SCORE 434253.227
AT ITER 4577 NEW BEST:: SOT 930390 SOS 539197 HAS SOPS 539197 HAS SOUS 433674 HAS SOUPS 433674 WITH SCORE 434213.197
AT ITER 4594 NEW BEST:: SOT 930261 SOS 538941 HAS SOPS 538941 HAS SOUS 433418 HAS SOUPS 433418 WITH SCORE 433956.941
AT ITER 4598 NEW BEST:: SOT 930229 SOS 538887 HAS SOPS 538887 HAS SOUS 433284 HAS SOUPS 433284 WITH SCORE 433822.887
AT ITER 4599 NEW BEST:: SOT 930181 SOS 538839 HAS SOPS 538839 HAS SOUS 433236 HAS SOUPS 433236 WITH SCORE 433774.839
AT ITER 4609 NEW BEST:: SOT 930117 SOS 536733 HAS SOPS 536733 HAS SOUS 432453 HAS SOUPS 432453 WITH SCORE 432989.733
AT ITER 4620 NEW BEST:: SOT 929852 SOS 536170 HAS SOPS 536170 HAS SOUS 431890 HAS SOUPS 431890 WITH SCORE 432426.17
AT ITER 4622 NEW BEST:: SOT 930036 SOS 536162 HAS SOPS 536162 HAS SOUS 431671 HAS SOUPS 431671 WITH SCORE 432207.162
AT ITER 4643 NEW BEST:: SOT 929926 SOS 535889 HAS SOPS 535889 HAS SOUS 431373 HAS SOUPS 431373 WITH SCORE 431908.889
AT ITER 4646 NEW BEST:: SOT 930122 SOS 535755 HAS SOPS 535755 HAS SOUS 431225 HAS SOUPS 431225 WITH SCORE 431760.755
AT ITER 4650 NEW BEST:: SOT 929877 SOS 535163 HAS SOPS 535163 HAS SOUS 431097 HAS SOUPS 431097 WITH SCORE 431632.163
AT ITER 4654 NEW BEST:: SOT 929929 SOS 535150 HAS SOPS 535150 HAS SOUS 431084 HAS SOUPS 431084 WITH SCORE 431619.15
AT ITER 4655 NEW BEST:: SOT 929785 SOS 535006 HAS SOPS 535006 HAS SOUS 430940 HAS SOUPS 430940 WITH SCORE 431475.006
AT ITER 4662 NEW BEST:: SOT 929785 SOS 534930 HAS SOPS 534930 HAS SOUS 430864 HAS SOUPS 430864 WITH SCORE 431398.93
AT ITER 4668 NEW BEST:: SOT 929650 SOS 534604 HAS SOPS 534604 HAS SOUS 430757 HAS SOUPS 430757 WITH SCORE 431291.604
AT ITER 4676 NEW BEST:: SOT 929531 SOS 534485 HAS SOPS 534485 HAS SOUS 430606 HAS SOUPS 430606 WITH SCORE 431140.485
AT ITER 4685 NEW BEST:: SOT 929306 SOS 534107 HAS SOPS 534107 HAS SOUS 430245 HAS SOUPS 430245 WITH SCORE 430779.107
AT ITER 4686 NEW BEST:: SOT 929046 SOS 533717 HAS SOPS 533717 HAS SOUS 429855 HAS SOUPS 429855 WITH SCORE 430388.717
AT ITER 4690 NEW BEST:: SOT 928874 SOS 533545 HAS SOPS 533545 HAS SOUS 429683 HAS SOUPS 429683 WITH SCORE 430216.545
AT ITER 4693 NEW BEST:: SOT 928649 SOS 533456 HAS SOPS 533456 HAS SOUS 429586 HAS SOUPS 429586 WITH SCORE 430119.456
AT ITER 4694 NEW BEST:: SOT 928559 SOS 532887 HAS SOPS 532887 HAS SOUS 428715 HAS SOUPS 428715 WITH SCORE 429247.887
AT ITER 4695 NEW BEST:: SOT 928559 SOS 532972 HAS SOPS 532972 HAS SOUS 428557 HAS SOUPS 428557 WITH SCORE 429089.972
AT ITER 4697 NEW BEST:: SOT 928559 SOS 532810 HAS SOPS 532810 HAS SOUS 427917 HAS SOUPS 427917 WITH SCORE 428449.81
AT ITER 4701 NEW BEST:: SOT 928401 SOS 532348 HAS SOPS 532348 HAS SOUS 427455 HAS SOUPS 427455 WITH SCORE 427987.348
AT ITER 4704 NEW BEST:: SOT 928400 SOS 532347 HAS SOPS 532347 HAS SOUS 427454 HAS SOUPS 427454 WITH SCORE 427986.347
AT ITER 4705 NEW BEST:: SOT 927915 SOS 531862 HAS SOPS 531862 HAS SOUS 426969 HAS SOUPS 426969 WITH SCORE 427500.862
AT ITER 4710 NEW BEST:: SOT 927862 SOS 531762 HAS SOPS 531762 HAS SOUS 426869 HAS SOUPS 426869 WITH SCORE 427400.762
AT ITER 4719 NEW BEST:: SOT 927809 SOS 531744 HAS SOPS 531744 HAS SOUS 426860 HAS SOUPS 426860 WITH SCORE 427391.744
AT ITER 4720 NEW BEST:: SOT 927860 SOS 531755 HAS SOPS 531755 HAS SOUS 426849 HAS SOUPS 426849 WITH SCORE 427380.755
AT ITER 4745 NEW BEST:: SOT 927811 SOS 531706 HAS SOPS 531706 HAS SOUS 426800 HAS SOUPS 426800 WITH SCORE 427331.706
AT ITER 4755 NEW BEST:: SOT 927805 SOS 531700 HAS SOPS 531700 HAS SOUS 426794 HAS SOUPS 426794 WITH SCORE 427325.7
AT ITER 4764 NEW BEST:: SOT 927368 SOS 531263 HAS SOPS 531263 HAS SOUS 426357 HAS SOUPS 426357 WITH SCORE 426888.263
AT ITER 4768 NEW BEST:: SOT 927368 SOS 531615 HAS SOPS 531615 HAS SOUS 425641 HAS SOUPS 425641 WITH SCORE 426172.615
AT ITER 4777 NEW BEST:: SOT 927062 SOS 531271 HAS SOPS 531271 HAS SOUS 425297 HAS SOUPS 425297 WITH SCORE 425828.271
AT ITER 4790 NEW BEST:: SOT 926740 SOS 531173 HAS SOPS 531173 HAS SOUS 425075 HAS SOUPS 425075 WITH SCORE 425606.173
AT ITER 4796 NEW BEST:: SOT 925761 SOS 530098 HAS SOPS 530098 HAS SOUS 424000 HAS SOUPS 424000 WITH SCORE 424530.098
AT ITER 4797 NEW BEST:: SOT 925306 SOS 529643 HAS SOPS 529643 HAS SOUS 423545 HAS SOUPS 423545 WITH SCORE 424074.643
AT ITER 4799 NEW BEST:: SOT 925267 SOS 529611 HAS SOPS 529611 HAS SOUS 423522 HAS SOUPS 423522 WITH SCORE 424051.611
AT ITER 4802 NEW BEST:: SOT 925306 SOS 529918 HAS SOPS 529918 HAS SOUS 423468 HAS SOUPS 423468 WITH SCORE 423997.918
AT ITER 4818 NEW BEST:: SOT 925180 SOS 529699 HAS SOPS 529699 HAS SOUS 423193 HAS SOUPS 423193 WITH SCORE 423722.699
AT ITER 4824 NEW BEST:: SOT 925224 SOS 529647 HAS SOPS 529647 HAS SOUS 423141 HAS SOUPS 423141 WITH SCORE 423670.647
AT ITER 4825 NEW BEST:: SOT 925196 SOS 529645 HAS SOPS 529645 HAS SOUS 423138 HAS SOUPS 423138 WITH SCORE 423667.645
AT ITER 4826 NEW BEST:: SOT 924655 SOS 528954 HAS SOPS 528954 HAS SOUS 422475 HAS SOUPS 422475 WITH SCORE 423003.954
AT ITER 4828 NEW BEST:: SOT 924507 SOS 528635 HAS SOPS 528635 HAS SOUS 422156 HAS SOUPS 422156 WITH SCORE 422684.635
AT ITER 4829 NEW BEST:: SOT 924507 SOS 528685 HAS SOPS 528685 HAS SOUS 422060 HAS SOUPS 422060 WITH SCORE 422588.685
AT ITER 4836 NEW BEST:: SOT 924485 SOS 528663 HAS SOPS 528663 HAS SOUS 422038 HAS SOUPS 422038 WITH SCORE 422566.663
AT ITER 4853 NEW BEST:: SOT 924362 SOS 528171 HAS SOPS 528171 HAS SOUS 421669 HAS SOUPS 421669 WITH SCORE 422197.171
AT ITER 4857 NEW BEST:: SOT 924225 SOS 527678 HAS SOPS 527678 HAS SOUS 421532 HAS SOUPS 421532 WITH SCORE 422059.678
AT ITER 4858 NEW BEST:: SOT 924309 SOS 528306 HAS SOPS 528306 HAS SOUS 421447 HAS SOUPS 421447 WITH SCORE 421975.306
AT ITER 4859 NEW BEST:: SOT 924194 SOS 527921 HAS SOPS 527921 HAS SOUS 421171 HAS SOUPS 421171 WITH SCORE 421698.921
AT ITER 4863 NEW BEST:: SOT 924074 SOS 527759 HAS SOPS 527759 HAS SOUS 421142 HAS SOUPS 421142 WITH SCORE 421669.759
AT ITER 4871 NEW BEST:: SOT 924042 SOS 527768 HAS SOPS 527768 HAS SOUS 421098 HAS SOUPS 421098 WITH SCORE 421625.768
AT ITER 4877 NEW BEST:: SOT 923952 SOS 527678 HAS SOPS 527678 HAS SOUS 421008 HAS SOUPS 421008 WITH SCORE 421535.678
AT ITER 4895 NEW BEST:: SOT 923930 SOS 527686 HAS SOPS 527686 HAS SOUS 420931 HAS SOUPS 420931 WITH SCORE 421458.686
AT ITER 4897 NEW BEST:: SOT 923877 SOS 527670 HAS SOPS 527670 HAS SOUS 420914 HAS SOUPS 420914 WITH SCORE 421441.67
AT ITER 4899 NEW BEST:: SOT 923874 SOS 527671 HAS SOPS 527671 HAS SOUS 420904 HAS SOUPS 420904 WITH SCORE 421431.671
AT ITER 4903 NEW BEST:: SOT 923686 SOS 527389 HAS SOPS 527389 HAS SOUS 420622 HAS SOUPS 420622 WITH SCORE 421149.389
AT ITER 4907 NEW BEST:: SOT 923686 SOS 527380 HAS SOPS 527380 HAS SOUS 420613 HAS SOUPS 420613 WITH SCORE 421140.38
AT ITER 4910 NEW BEST:: SOT 922984 SOS 526520 HAS SOPS 526520 HAS SOUS 419753 HAS SOUPS 419753 WITH SCORE 420279.52
AT ITER 4911 NEW BEST:: SOT 922984 SOS 526509 HAS SOPS 526509 HAS SOUS 419753 HAS SOUPS 419753 WITH SCORE 420279.509
AT ITER 4912 NEW BEST:: SOT 922849 SOS 525958 HAS SOPS 525958 HAS SOUS 419723 HAS SOUPS 419723 WITH SCORE 420248.958
AT ITER 4914 NEW BEST:: SOT 922731 SOS 525840 HAS SOPS 525840 HAS SOUS 419612 HAS SOUPS 419612 WITH SCORE 420137.84
AT ITER 4948 NEW BEST:: SOT 922442 SOS 525551 HAS SOPS 525551 HAS SOUS 419323 HAS SOUPS 419323 WITH SCORE 419848.551
AT ITER 4950 NEW BEST:: SOT 922017 SOS 525086 HAS SOPS 525086 HAS SOUS 418858 HAS SOUPS 418858 WITH SCORE 419383.086
AT ITER 4952 NEW BEST:: SOT 922009 SOS 525062 HAS SOPS 525062 HAS SOUS 418826 HAS SOUPS 418826 WITH SCORE 419351.062
AT ITER 4965 NEW BEST:: SOT 921357 SOS 525083 HAS SOPS 525083 HAS SOUS 418743 HAS SOUPS 418743 WITH SCORE 419268.083
AT ITER 4973 NEW BEST:: SOT 921272 SOS 524991 HAS SOPS 524991 HAS SOUS 418651 HAS SOUPS 418651 WITH SCORE 419175.991
AT ITER 4988 NEW BEST:: SOT 921184 SOS 524847 HAS SOPS 524847 HAS SOUS 418466 HAS SOUPS 418466 WITH SCORE 418990.847
AT ITER 4990 NEW BEST:: SOT 921075 SOS 524641 HAS SOPS 524641 HAS SOUS 418390 HAS SOUPS 418390 WITH SCORE 418914.641
AT ITER 4992 NEW BEST:: SOT 921040 SOS 524550 HAS SOPS 524550 HAS SOUS 418320 HAS SOUPS 418320 WITH SCORE 418844.55
AT ITER 4994 NEW BEST:: SOT 920939 SOS 524150 HAS SOPS 524150 HAS SOUS 418112 HAS SOUPS 418112 WITH SCORE 418636.15
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-00 (EF((! (! ( potential( (tk(P264)) <= (tk(P542)) ) & potential( ( 1 ) <= (tk(P601)) ) )))))
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-01 (EG( (EU( potential( ( 3 ) <= (tk(P498)) ),potential( (tk(P399)) <= (tk(P431)) ) ))))
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-02 (AF((AU( potential( (tk(P863)) <= (tk(P373)) ),potential( ( 3 ) <= (tk(P332)) ) ))))
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-03 ( ( (AU( potential( (tk(P178)) <= (tk(P1086)) ),potential( ( 1 ) <= (tk(P998)) ) )) | ( (AG( potential( ( 1 ) <= (tk(P1167)) ))) & (EF(potential( (tk(P331)) <= (tk(P1007)) ))) ) ) | ( (! (! ( potential( ( 1 ) <= (tk(P627)) ) & potential( ( 1 ) <= (tk(P262)) ) ))) & (EG( ( potential( ( 1 ) <= (tk(P733)) ) | potential( ( 2 ) <= (tk(P69)) ) ))) ) )
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-04 ( (! potential( ( 2 ) <= (tk(P200)) )) & (AU( ( potential( ( 1 ) <= (tk(P730)) ) | potential( (tk(P548)) <= (tk(P569)) ) ),potential( ( 2 ) <= (tk(P986)) ) )) )
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-05 ( (! (AX( potential( ( 1 ) <= (tk(P84)) )))) & ( (! (EF(potential( (tk(P1118)) <= (tk(P887)) )))) | (AF(( potential( ( 2 ) <= (tk(P947)) ) & potential( (tk(P806)) <= (tk(P768)) ) ))) ) )
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-06 (! (AF((AF(potential( ( 1 ) <= (tk(P707)) ))))))
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-07 (EF(potential( ( 1 ) <= (tk(P916)) )))
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-08 (EU( (! potential( ( 2 ) <= (tk(P504)) )),(! ( potential( (tk(P815)) <= (tk(P1019)) ) | potential( (tk(P1223)) <= (tk(P456)) ) )) ))
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-09 (AF((EF(( potential( ( 2 ) <= (tk(P25)) ) & potential( (tk(P526)) <= (tk(P1240)) ) )))))
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-10 (EX( (EF(( potential( (tk(P654)) <= (tk(P765)) ) | potential( ( 2 ) <= (tk(P44)) ) )))))
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-11 (! (AX( (EF(potential( (tk(P1088)) <= (tk(P585)) ))))))
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-12 ( ( ( (EF(potential( ( 2 ) <= (tk(P801)) ))) | (AG( potential( (tk(P433)) <= (tk(P937)) ))) ) & (EG( (! potential( ( 2 ) <= (tk(P989)) )))) ) & (EU( ( potential( ( 1 ) <= (tk(P917)) ) | potential( (tk(P48)) <= (tk(P1069)) ) ),( potential( ( 3 ) <= (tk(P397)) ) & potential( (tk(P943)) <= (tk(P113)) ) ) )) )
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-13 (EG( (AF(( potential( ( 3 ) <= (tk(P1057)) ) | potential( (tk(P780)) <= (tk(P792)) ) )))))
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-14 ( (EF(potential( (tk(P1100)) <= (tk(P584)) ))) & (AG( (! (! potential( (tk(P416)) <= (tk(P1067)) ))))) )
PROPERTY: ShieldIIPs-PT-050A-CTLCardinality-15 (AG( potential( (tk(P1101)) <= (tk(P591)) )))

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="ShieldIIPs-PT-050A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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