fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469100188
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldIIPs-PT-050A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.670 3600000.00 3599980.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469100188.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469100188
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-01
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-02
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-03
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-04
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-05
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-06
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-07
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-08
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-09
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-10
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-11
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-12
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-13
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-14
FORMULA_NAME ShieldIIPs-PT-050A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590437959179

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 050A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 5 NEW BEST:: SOT 1025544 SOS 791818 HAS SOPS 791818 HAS SOUS 666568 HAS SOUPS 666568 WITH SCORE 667359.818
AT ITER 7 NEW BEST:: SOT 1025153 SOS 791427 HAS SOPS 791427 HAS SOUS 666177 HAS SOUPS 666177 WITH SCORE 666968.427
AT ITER 8 NEW BEST:: SOT 1024948 SOS 790253 HAS SOPS 790253 HAS SOUS 666112 HAS SOUPS 666112 WITH SCORE 666902.253
AT ITER 18 NEW BEST:: SOT 1024946 SOS 790249 HAS SOPS 790249 HAS SOUS 666108 HAS SOUPS 666108 WITH SCORE 666898.249
AT ITER 37 NEW BEST:: SOT 1024793 SOS 789484 HAS SOPS 789484 HAS SOUS 666108 HAS SOUPS 666108 WITH SCORE 666897.484
AT ITER 43 NEW BEST:: SOT 1024397 SOS 789095 HAS SOPS 789095 HAS SOUS 665719 HAS SOUPS 665719 WITH SCORE 666508.095
AT ITER 44 NEW BEST:: SOT 1025002 SOS 788801 HAS SOPS 788801 HAS SOUS 665603 HAS SOUPS 665603 WITH SCORE 666391.801
AT ITER 49 NEW BEST:: SOT 1025438 SOS 789603 HAS SOPS 789603 HAS SOUS 665370 HAS SOUPS 665370 WITH SCORE 666159.603
AT ITER 53 NEW BEST:: SOT 1025421 SOS 789389 HAS SOPS 789389 HAS SOUS 665156 HAS SOUPS 665156 WITH SCORE 665945.389
AT ITER 55 NEW BEST:: SOT 1025364 SOS 789104 HAS SOPS 789104 HAS SOUS 665155 HAS SOUPS 665155 WITH SCORE 665944.104
AT ITER 59 NEW BEST:: SOT 1025361 SOS 789101 HAS SOPS 789101 HAS SOUS 665152 HAS SOUPS 665152 WITH SCORE 665941.101
AT ITER 62 NEW BEST:: SOT 1024800 SOS 788724 HAS SOPS 788724 HAS SOUS 664775 HAS SOUPS 664775 WITH SCORE 665563.724
AT ITER 66 NEW BEST:: SOT 1024799 SOS 788723 HAS SOPS 788723 HAS SOUS 664774 HAS SOUPS 664774 WITH SCORE 665562.723
AT ITER 67 NEW BEST:: SOT 1024669 SOS 788593 HAS SOPS 788593 HAS SOUS 664644 HAS SOUPS 664644 WITH SCORE 665432.593
AT ITER 68 NEW BEST:: SOT 1024669 SOS 788485 HAS SOPS 788485 HAS SOUS 664637 HAS SOUPS 664637 WITH SCORE 665425.485
AT ITER 70 NEW BEST:: SOT 1024487 SOS 788303 HAS SOPS 788303 HAS SOUS 664455 HAS SOUPS 664455 WITH SCORE 665243.303
AT ITER 72 NEW BEST:: SOT 1024209 SOS 786852 HAS SOPS 786852 HAS SOUS 663981 HAS SOUPS 663981 WITH SCORE 664767.852
AT ITER 73 NEW BEST:: SOT 1023927 SOS 786569 HAS SOPS 786569 HAS SOUS 663698 HAS SOUPS 663698 WITH SCORE 664484.569
AT ITER 74 NEW BEST:: SOT 1023927 SOS 785987 HAS SOPS 785987 HAS SOUS 663690 HAS SOUPS 663690 WITH SCORE 664475.987
AT ITER 84 NEW BEST:: SOT 1023925 SOS 785985 HAS SOPS 785985 HAS SOUS 663688 HAS SOUPS 663688 WITH SCORE 664473.985
AT ITER 88 NEW BEST:: SOT 1024918 SOS 785124 HAS SOPS 785124 HAS SOUS 663074 HAS SOUPS 663074 WITH SCORE 663859.124
AT ITER 90 NEW BEST:: SOT 1024682 SOS 784886 HAS SOPS 784886 HAS SOUS 662836 HAS SOUPS 662836 WITH SCORE 663620.886
AT ITER 91 NEW BEST:: SOT 1024369 SOS 783420 HAS SOPS 783420 HAS SOUS 662433 HAS SOUPS 662433 WITH SCORE 663216.42
AT ITER 94 NEW BEST:: SOT 1024233 SOS 783284 HAS SOPS 783284 HAS SOUS 662297 HAS SOUPS 662297 WITH SCORE 663080.284
AT ITER 99 NEW BEST:: SOT 1024229 SOS 783280 HAS SOPS 783280 HAS SOUS 662293 HAS SOUPS 662293 WITH SCORE 663076.28
AT ITER 103 NEW BEST:: SOT 1023606 SOS 782656 HAS SOPS 782656 HAS SOUS 661669 HAS SOUPS 661669 WITH SCORE 662451.656
AT ITER 108 NEW BEST:: SOT 1023306 SOS 781412 HAS SOPS 781412 HAS SOUS 661156 HAS SOUPS 661156 WITH SCORE 661937.412
AT ITER 120 NEW BEST:: SOT 1023037 SOS 780946 HAS SOPS 780946 HAS SOUS 660690 HAS SOUPS 660690 WITH SCORE 661470.946
AT ITER 121 NEW BEST:: SOT 1022720 SOS 779748 HAS SOPS 779748 HAS SOUS 660233 HAS SOUPS 660233 WITH SCORE 661012.748
AT ITER 125 NEW BEST:: SOT 1022618 SOS 779646 HAS SOPS 779646 HAS SOUS 660131 HAS SOUPS 660131 WITH SCORE 660910.646
AT ITER 137 NEW BEST:: SOT 1022572 SOS 779600 HAS SOPS 779600 HAS SOUS 660085 HAS SOUPS 660085 WITH SCORE 660864.6
AT ITER 140 NEW BEST:: SOT 1022704 SOS 779534 HAS SOPS 779534 HAS SOUS 660019 HAS SOUPS 660019 WITH SCORE 660798.534
AT ITER 141 NEW BEST:: SOT 1022615 SOS 779445 HAS SOPS 779445 HAS SOUS 659930 HAS SOUPS 659930 WITH SCORE 660709.445
AT ITER 145 NEW BEST:: SOT 1023368 SOS 779154 HAS SOPS 779154 HAS SOUS 659754 HAS SOUPS 659754 WITH SCORE 660533.154
AT ITER 150 NEW BEST:: SOT 1023084 SOS 777945 HAS SOPS 777945 HAS SOUS 659354 HAS SOUPS 659354 WITH SCORE 660131.945
AT ITER 158 NEW BEST:: SOT 1022439 SOS 776835 HAS SOPS 776835 HAS SOUS 658439 HAS SOUPS 658439 WITH SCORE 659215.835
AT ITER 159 NEW BEST:: SOT 1022082 SOS 776478 HAS SOPS 776478 HAS SOUS 658082 HAS SOUPS 658082 WITH SCORE 658858.478
AT ITER 160 NEW BEST:: SOT 1021953 SOS 776172 HAS SOPS 776172 HAS SOUS 657776 HAS SOUPS 657776 WITH SCORE 658552.172
AT ITER 164 NEW BEST:: SOT 1021913 SOS 776132 HAS SOPS 776132 HAS SOUS 657736 HAS SOUPS 657736 WITH SCORE 658512.132
AT ITER 165 NEW BEST:: SOT 1021913 SOS 775716 HAS SOPS 775716 HAS SOUS 657730 HAS SOUPS 657730 WITH SCORE 658505.716
AT ITER 171 NEW BEST:: SOT 1021636 SOS 775437 HAS SOPS 775437 HAS SOUS 657449 HAS SOUPS 657449 WITH SCORE 658224.437
AT ITER 181 NEW BEST:: SOT 1021318 SOS 773994 HAS SOPS 773994 HAS SOUS 657107 HAS SOUPS 657107 WITH SCORE 657880.994
AT ITER 183 NEW BEST:: SOT 1020990 SOS 773664 HAS SOPS 773664 HAS SOUS 656777 HAS SOUPS 656777 WITH SCORE 657550.664
AT ITER 184 NEW BEST:: SOT 1020432 SOS 773104 HAS SOPS 773104 HAS SOUS 656217 HAS SOUPS 656217 WITH SCORE 656990.104
AT ITER 187 NEW BEST:: SOT 1020562 SOS 773109 HAS SOPS 773109 HAS SOUS 656206 HAS SOUPS 656206 WITH SCORE 656979.109
AT ITER 190 NEW BEST:: SOT 1020177 SOS 771377 HAS SOPS 771377 HAS SOUS 655787 HAS SOUPS 655787 WITH SCORE 656558.377
AT ITER 191 NEW BEST:: SOT 1019900 SOS 769863 HAS SOPS 769863 HAS SOUS 654849 HAS SOUPS 654849 WITH SCORE 655618.863
AT ITER 195 NEW BEST:: SOT 1019830 SOS 769791 HAS SOPS 769791 HAS SOUS 654777 HAS SOUPS 654777 WITH SCORE 655546.791
AT ITER 197 NEW BEST:: SOT 1019830 SOS 769790 HAS SOPS 769790 HAS SOUS 654776 HAS SOUPS 654776 WITH SCORE 655545.79
AT ITER 202 NEW BEST:: SOT 1019526 SOS 769484 HAS SOPS 769484 HAS SOUS 654470 HAS SOUPS 654470 WITH SCORE 655239.484
AT ITER 203 NEW BEST:: SOT 1018970 SOS 768928 HAS SOPS 768928 HAS SOUS 653914 HAS SOUPS 653914 WITH SCORE 654682.928
AT ITER 204 NEW BEST:: SOT 1018555 SOS 768509 HAS SOPS 768509 HAS SOUS 653497 HAS SOUPS 653497 WITH SCORE 654265.509
AT ITER 206 NEW BEST:: SOT 1018545 SOS 768499 HAS SOPS 768499 HAS SOUS 653487 HAS SOUPS 653487 WITH SCORE 654255.499
AT ITER 211 NEW BEST:: SOT 1018350 SOS 768302 HAS SOPS 768302 HAS SOUS 653290 HAS SOUPS 653290 WITH SCORE 654058.302
AT ITER 218 NEW BEST:: SOT 1018222 SOS 768174 HAS SOPS 768174 HAS SOUS 653162 HAS SOUPS 653162 WITH SCORE 653930.174
AT ITER 226 NEW BEST:: SOT 1018222 SOS 767495 HAS SOPS 767495 HAS SOUS 653149 HAS SOUPS 653149 WITH SCORE 653916.495
AT ITER 228 NEW BEST:: SOT 1017748 SOS 767019 HAS SOPS 767019 HAS SOUS 652673 HAS SOUPS 652673 WITH SCORE 653440.019
AT ITER 233 NEW BEST:: SOT 1017672 SOS 766943 HAS SOPS 766943 HAS SOUS 652673 HAS SOUPS 652673 WITH SCORE 653439.943
AT ITER 234 NEW BEST:: SOT 1017572 SOS 766843 HAS SOPS 766843 HAS SOUS 652573 HAS SOUPS 652573 WITH SCORE 653339.843
AT ITER 241 NEW BEST:: SOT 1017155 SOS 766223 HAS SOPS 766223 HAS SOUS 651953 HAS SOUPS 651953 WITH SCORE 652719.223
AT ITER 251 NEW BEST:: SOT 1017302 SOS 766370 HAS SOPS 766370 HAS SOUS 651379 HAS SOUPS 651379 WITH SCORE 652145.37
AT ITER 255 NEW BEST:: SOT 1017222 SOS 766288 HAS SOPS 766288 HAS SOUS 651297 HAS SOUPS 651297 WITH SCORE 652063.288
AT ITER 263 NEW BEST:: SOT 1016885 SOS 765950 HAS SOPS 765950 HAS SOUS 650959 HAS SOUPS 650959 WITH SCORE 651724.95
AT ITER 266 NEW BEST:: SOT 1016601 SOS 765666 HAS SOPS 765666 HAS SOUS 650675 HAS SOUPS 650675 WITH SCORE 651440.666
AT ITER 268 NEW BEST:: SOT 1016601 SOS 765650 HAS SOPS 765650 HAS SOUS 650657 HAS SOUPS 650657 WITH SCORE 651422.65
AT ITER 269 NEW BEST:: SOT 1016491 SOS 765540 HAS SOPS 765540 HAS SOUS 650547 HAS SOUPS 650547 WITH SCORE 651312.54
AT ITER 270 NEW BEST:: SOT 1016238 SOS 764464 HAS SOPS 764464 HAS SOUS 650297 HAS SOUPS 650297 WITH SCORE 651061.464
AT ITER 280 NEW BEST:: SOT 1016238 SOS 764463 HAS SOPS 764463 HAS SOUS 650296 HAS SOUPS 650296 WITH SCORE 651060.463
AT ITER 282 NEW BEST:: SOT 1017152 SOS 764706 HAS SOPS 764706 HAS SOUS 650223 HAS SOUPS 650223 WITH SCORE 650987.706
AT ITER 285 NEW BEST:: SOT 1016830 SOS 763374 HAS SOPS 763374 HAS SOUS 649673 HAS SOUPS 649673 WITH SCORE 650436.374
AT ITER 286 NEW BEST:: SOT 1016876 SOS 763420 HAS SOPS 763420 HAS SOUS 649515 HAS SOUPS 649515 WITH SCORE 650278.42
AT ITER 287 NEW BEST:: SOT 1016633 SOS 763197 HAS SOPS 763197 HAS SOUS 649291 HAS SOUPS 649291 WITH SCORE 650054.197
AT ITER 290 NEW BEST:: SOT 1016060 SOS 762623 HAS SOPS 762623 HAS SOUS 648717 HAS SOUPS 648717 WITH SCORE 649479.623
AT ITER 293 NEW BEST:: SOT 1015407 SOS 761969 HAS SOPS 761969 HAS SOUS 648063 HAS SOUPS 648063 WITH SCORE 648824.969
AT ITER 294 NEW BEST:: SOT 1016562 SOS 761925 HAS SOPS 761925 HAS SOUS 647962 HAS SOUPS 647962 WITH SCORE 648723.925
AT ITER 299 NEW BEST:: SOT 1016562 SOS 761851 HAS SOPS 761851 HAS SOUS 647888 HAS SOUPS 647888 WITH SCORE 648649.851
AT ITER 300 NEW BEST:: SOT 1016013 SOS 759581 HAS SOPS 759581 HAS SOUS 645692 HAS SOUPS 645692 WITH SCORE 646451.581
AT ITER 304 NEW BEST:: SOT 1016521 SOS 760008 HAS SOPS 760008 HAS SOUS 645248 HAS SOUPS 645248 WITH SCORE 646008.008
AT ITER 306 NEW BEST:: SOT 1016243 SOS 758521 HAS SOPS 758521 HAS SOUS 645067 HAS SOUPS 645067 WITH SCORE 645825.521
AT ITER 314 NEW BEST:: SOT 1016154 SOS 758432 HAS SOPS 758432 HAS SOUS 645066 HAS SOUPS 645066 WITH SCORE 645824.432
AT ITER 315 NEW BEST:: SOT 1015540 SOS 757818 HAS SOPS 757818 HAS SOUS 644452 HAS SOUPS 644452 WITH SCORE 645209.818
AT ITER 319 NEW BEST:: SOT 1014998 SOS 757623 HAS SOPS 757623 HAS SOUS 644177 HAS SOUPS 644177 WITH SCORE 644934.623
AT ITER 321 NEW BEST:: SOT 1014998 SOS 757642 HAS SOPS 757642 HAS SOUS 644176 HAS SOUPS 644176 WITH SCORE 644933.642
AT ITER 324 NEW BEST:: SOT 1014994 SOS 757336 HAS SOPS 757336 HAS SOUS 643870 HAS SOUPS 643870 WITH SCORE 644627.336
AT ITER 328 NEW BEST:: SOT 1014864 SOS 757206 HAS SOPS 757206 HAS SOUS 643536 HAS SOUPS 643536 WITH SCORE 644293.206
AT ITER 333 NEW BEST:: SOT 1014585 SOS 756929 HAS SOPS 756929 HAS SOUS 643261 HAS SOUPS 643261 WITH SCORE 644017.929
AT ITER 337 NEW BEST:: SOT 1014584 SOS 756390 HAS SOPS 756390 HAS SOUS 643058 HAS SOUPS 643058 WITH SCORE 643814.39
AT ITER 341 NEW BEST:: SOT 1014694 SOS 756299 HAS SOPS 756299 HAS SOUS 642967 HAS SOUPS 642967 WITH SCORE 643723.299
AT ITER 343 NEW BEST:: SOT 1014522 SOS 756127 HAS SOPS 756127 HAS SOUS 642595 HAS SOUPS 642595 WITH SCORE 643351.127
AT ITER 345 NEW BEST:: SOT 1014521 SOS 756126 HAS SOPS 756126 HAS SOUS 642594 HAS SOUPS 642594 WITH SCORE 643350.126
AT ITER 346 NEW BEST:: SOT 1014142 SOS 755857 HAS SOPS 755857 HAS SOUS 642325 HAS SOUPS 642325 WITH SCORE 643080.857
AT ITER 352 NEW BEST:: SOT 1013449 SOS 755162 HAS SOPS 755162 HAS SOUS 641630 HAS SOUPS 641630 WITH SCORE 642385.162
AT ITER 357 NEW BEST:: SOT 1013034 SOS 754649 HAS SOPS 754649 HAS SOUS 641145 HAS SOUPS 641145 WITH SCORE 641899.649
AT ITER 359 NEW BEST:: SOT 1012949 SOS 754614 HAS SOPS 754614 HAS SOUS 641109 HAS SOUPS 641109 WITH SCORE 641863.614
AT ITER 360 NEW BEST:: SOT 1012852 SOS 752999 HAS SOPS 752999 HAS SOUS 640968 HAS SOUPS 640968 WITH SCORE 641720.999
AT ITER 366 NEW BEST:: SOT 1012641 SOS 752228 HAS SOPS 752228 HAS SOUS 640599 HAS SOUPS 640599 WITH SCORE 641351.228
AT ITER 370 NEW BEST:: SOT 1012606 SOS 752158 HAS SOPS 752158 HAS SOUS 640599 HAS SOUPS 640599 WITH SCORE 641351.158
AT ITER 379 NEW BEST:: SOT 1012606 SOS 752160 HAS SOPS 752160 HAS SOUS 640591 HAS SOUPS 640591 WITH SCORE 641343.16
AT ITER 380 NEW BEST:: SOT 1012286 SOS 751840 HAS SOPS 751840 HAS SOUS 640271 HAS SOUPS 640271 WITH SCORE 641022.84
AT ITER 382 NEW BEST:: SOT 1011890 SOS 751444 HAS SOPS 751444 HAS SOUS 639875 HAS SOUPS 639875 WITH SCORE 640626.444
AT ITER 384 NEW BEST:: SOT 1011849 SOS 751237 HAS SOPS 751237 HAS SOUS 639668 HAS SOUPS 639668 WITH SCORE 640419.237
AT ITER 385 NEW BEST:: SOT 1011954 SOS 751342 HAS SOPS 751342 HAS SOUS 639573 HAS SOUPS 639573 WITH SCORE 640324.342
AT ITER 392 NEW BEST:: SOT 1011393 SOS 750781 HAS SOPS 750781 HAS SOUS 639012 HAS SOUPS 639012 WITH SCORE 639762.781
AT ITER 393 NEW BEST:: SOT 1011581 SOS 749762 HAS SOPS 749762 HAS SOUS 638466 HAS SOUPS 638466 WITH SCORE 639215.762
AT ITER 394 NEW BEST:: SOT 1011581 SOS 749688 HAS SOPS 749688 HAS SOUS 638400 HAS SOUPS 638400 WITH SCORE 639149.688
AT ITER 396 NEW BEST:: SOT 1011084 SOS 749191 HAS SOPS 749191 HAS SOUS 637903 HAS SOUPS 637903 WITH SCORE 638652.191
AT ITER 399 NEW BEST:: SOT 1010595 SOS 748701 HAS SOPS 748701 HAS SOUS 637413 HAS SOUPS 637413 WITH SCORE 638161.701
AT ITER 400 NEW BEST:: SOT 1009713 SOS 747442 HAS SOPS 747442 HAS SOUS 635949 HAS SOUPS 635949 WITH SCORE 636696.442
AT ITER 401 NEW BEST:: SOT 1009641 SOS 746321 HAS SOPS 746321 HAS SOUS 635845 HAS SOUPS 635845 WITH SCORE 636591.321
AT ITER 402 NEW BEST:: SOT 1009442 SOS 746009 HAS SOPS 746009 HAS SOUS 635533 HAS SOUPS 635533 WITH SCORE 636279.009
AT ITER 403 NEW BEST:: SOT 1008768 SOS 745195 HAS SOPS 745195 HAS SOUS 634719 HAS SOUPS 634719 WITH SCORE 635464.195
AT ITER 408 NEW BEST:: SOT 1008869 SOS 745294 HAS SOPS 745294 HAS SOUS 634717 HAS SOUPS 634717 WITH SCORE 635462.294
AT ITER 412 NEW BEST:: SOT 1009040 SOS 744175 HAS SOPS 744175 HAS SOUS 634516 HAS SOUPS 634516 WITH SCORE 635260.175
AT ITER 413 NEW BEST:: SOT 1009040 SOS 744105 HAS SOPS 744105 HAS SOUS 634516 HAS SOUPS 634516 WITH SCORE 635260.105
AT ITER 422 NEW BEST:: SOT 1008969 SOS 744034 HAS SOPS 744034 HAS SOUS 634445 HAS SOUPS 634445 WITH SCORE 635189.034
AT ITER 423 NEW BEST:: SOT 1008101 SOS 743291 HAS SOPS 743291 HAS SOUS 633702 HAS SOUPS 633702 WITH SCORE 634445.291
AT ITER 426 NEW BEST:: SOT 1007832 SOS 743022 HAS SOPS 743022 HAS SOUS 633433 HAS SOUPS 633433 WITH SCORE 634176.022
AT ITER 428 NEW BEST:: SOT 1007832 SOS 743036 HAS SOPS 743036 HAS SOUS 633282 HAS SOUPS 633282 WITH SCORE 634025.036
AT ITER 435 NEW BEST:: SOT 1008019 SOS 741464 HAS SOPS 741464 HAS SOUS 632149 HAS SOUPS 632149 WITH SCORE 632890.464
AT ITER 448 NEW BEST:: SOT 1007922 SOS 741464 HAS SOPS 741464 HAS SOUS 632148 HAS SOUPS 632148 WITH SCORE 632889.464
AT ITER 450 NEW BEST:: SOT 1007691 SOS 740498 HAS SOPS 740498 HAS SOUS 632113 HAS SOUPS 632113 WITH SCORE 632853.498
AT ITER 451 NEW BEST:: SOT 1007687 SOS 740494 HAS SOPS 740494 HAS SOUS 632109 HAS SOUPS 632109 WITH SCORE 632849.494
AT ITER 453 NEW BEST:: SOT 1007335 SOS 738899 HAS SOPS 738899 HAS SOUS 631440 HAS SOUPS 631440 WITH SCORE 632178.899
AT ITER 458 NEW BEST:: SOT 1007147 SOS 738711 HAS SOPS 738711 HAS SOUS 631252 HAS SOUPS 631252 WITH SCORE 631990.711
AT ITER 459 NEW BEST:: SOT 1007132 SOS 738694 HAS SOPS 738694 HAS SOUS 631235 HAS SOUPS 631235 WITH SCORE 631973.694
AT ITER 477 NEW BEST:: SOT 1006919 SOS 738481 HAS SOPS 738481 HAS SOUS 630847 HAS SOUPS 630847 WITH SCORE 631585.481
AT ITER 478 NEW BEST:: SOT 1006553 SOS 738115 HAS SOPS 738115 HAS SOUS 630481 HAS SOUPS 630481 WITH SCORE 631219.115
AT ITER 494 NEW BEST:: SOT 1006355 SOS 737502 HAS SOPS 737502 HAS SOUS 630276 HAS SOUPS 630276 WITH SCORE 631013.502
AT ITER 495 NEW BEST:: SOT 1006530 SOS 736498 HAS SOPS 736498 HAS SOUS 629500 HAS SOUPS 629500 WITH SCORE 630236.498
AT ITER 511 NEW BEST:: SOT 1006367 SOS 735539 HAS SOPS 735539 HAS SOUS 629340 HAS SOUPS 629340 WITH SCORE 630075.539
AT ITER 512 NEW BEST:: SOT 1006367 SOS 735483 HAS SOPS 735483 HAS SOUS 629331 HAS SOUPS 629331 WITH SCORE 630066.483
AT ITER 515 NEW BEST:: SOT 1005105 SOS 734088 HAS SOPS 734088 HAS SOUS 627936 HAS SOUPS 627936 WITH SCORE 628670.088
AT ITER 519 NEW BEST:: SOT 1004906 SOS 733887 HAS SOPS 733887 HAS SOUS 627735 HAS SOUPS 627735 WITH SCORE 628468.887
AT ITER 522 NEW BEST:: SOT 1005489 SOS 734467 HAS SOPS 734467 HAS SOUS 627729 HAS SOUPS 627729 WITH SCORE 628463.467
AT ITER 535 NEW BEST:: SOT 1004826 SOS 733803 HAS SOPS 733803 HAS SOUS 627065 HAS SOUPS 627065 WITH SCORE 627798.803
AT ITER 536 NEW BEST:: SOT 1004460 SOS 732169 HAS SOPS 732169 HAS SOUS 626671 HAS SOUPS 626671 WITH SCORE 627403.169
AT ITER 539 NEW BEST:: SOT 1003822 SOS 731530 HAS SOPS 731530 HAS SOUS 626032 HAS SOUPS 626032 WITH SCORE 626763.53
AT ITER 549 NEW BEST:: SOT 1003889 SOS 731227 HAS SOPS 731227 HAS SOUS 625391 HAS SOUPS 625391 WITH SCORE 626122.227
AT ITER 556 NEW BEST:: SOT 1003908 SOS 730437 HAS SOPS 730437 HAS SOUS 624625 HAS SOUPS 624625 WITH SCORE 625355.437
AT ITER 565 NEW BEST:: SOT 1003970 SOS 730215 HAS SOPS 730215 HAS SOUS 624403 HAS SOUPS 624403 WITH SCORE 625133.215
AT ITER 567 NEW BEST:: SOT 1003683 SOS 729928 HAS SOPS 729928 HAS SOUS 624116 HAS SOUPS 624116 WITH SCORE 624845.928
AT ITER 570 NEW BEST:: SOT 1003436 SOS 729681 HAS SOPS 729681 HAS SOUS 623869 HAS SOUPS 623869 WITH SCORE 624598.681
AT ITER 573 NEW BEST:: SOT 1002598 SOS 728742 HAS SOPS 728742 HAS SOUS 622930 HAS SOUPS 622930 WITH SCORE 623658.742
AT ITER 588 NEW BEST:: SOT 1002703 SOS 727377 HAS SOPS 727377 HAS SOUS 621779 HAS SOUPS 621779 WITH SCORE 622506.377
AT ITER 590 NEW BEST:: SOT 1002879 SOS 727525 HAS SOPS 727525 HAS SOUS 621443 HAS SOUPS 621443 WITH SCORE 622170.525
AT ITER 594 NEW BEST:: SOT 1003142 SOS 725428 HAS SOPS 725428 HAS SOUS 620453 HAS SOUPS 620453 WITH SCORE 621178.428
AT ITER 600 NEW BEST:: SOT 1002847 SOS 724594 HAS SOPS 724594 HAS SOUS 619619 HAS SOUPS 619619 WITH SCORE 620343.594
AT ITER 602 NEW BEST:: SOT 1003772 SOS 724077 HAS SOPS 724077 HAS SOUS 619415 HAS SOUPS 619415 WITH SCORE 620139.077
AT ITER 603 NEW BEST:: SOT 1003487 SOS 723790 HAS SOPS 723790 HAS SOUS 619128 HAS SOUPS 619128 WITH SCORE 619851.79
AT ITER 604 NEW BEST:: SOT 1003309 SOS 723612 HAS SOPS 723612 HAS SOUS 618950 HAS SOUPS 618950 WITH SCORE 619673.612
AT ITER 609 NEW BEST:: SOT 1003454 SOS 723553 HAS SOPS 723553 HAS SOUS 618868 HAS SOUPS 618868 WITH SCORE 619591.553
AT ITER 615 NEW BEST:: SOT 1003486 SOS 722714 HAS SOPS 722714 HAS SOUS 618189 HAS SOUPS 618189 WITH SCORE 618911.714
AT ITER 616 NEW BEST:: SOT 1003485 SOS 722972 HAS SOPS 722972 HAS SOUS 618170 HAS SOUPS 618170 WITH SCORE 618892.972
AT ITER 617 NEW BEST:: SOT 1003015 SOS 722221 HAS SOPS 722221 HAS SOUS 617419 HAS SOUPS 617419 WITH SCORE 618141.221
AT ITER 618 NEW BEST:: SOT 1003014 SOS 722220 HAS SOPS 722220 HAS SOUS 617217 HAS SOUPS 617217 WITH SCORE 617939.22
AT ITER 620 NEW BEST:: SOT 1002566 SOS 721772 HAS SOPS 721772 HAS SOUS 616769 HAS SOUPS 616769 WITH SCORE 617490.772
AT ITER 621 NEW BEST:: SOT 1002178 SOS 721383 HAS SOPS 721383 HAS SOUS 616380 HAS SOUPS 616380 WITH SCORE 617101.383
AT ITER 633 NEW BEST:: SOT 1001900 SOS 721105 HAS SOPS 721105 HAS SOUS 616102 HAS SOUPS 616102 WITH SCORE 616823.105
AT ITER 635 NEW BEST:: SOT 1001900 SOS 720246 HAS SOPS 720246 HAS SOUS 615906 HAS SOUPS 615906 WITH SCORE 616626.246
AT ITER 639 NEW BEST:: SOT 1001300 SOS 719646 HAS SOPS 719646 HAS SOUS 615306 HAS SOUPS 615306 WITH SCORE 616025.646
AT ITER 667 NEW BEST:: SOT 1001257 SOS 719497 HAS SOPS 719497 HAS SOUS 615219 HAS SOUPS 615219 WITH SCORE 615938.497
AT ITER 668 NEW BEST:: SOT 1001021 SOS 719261 HAS SOPS 719261 HAS SOUS 614983 HAS SOUPS 614983 WITH SCORE 615702.261
AT ITER 672 NEW BEST:: SOT 1000988 SOS 719228 HAS SOPS 719228 HAS SOUS 614950 HAS SOUPS 614950 WITH SCORE 615669.228
AT ITER 681 NEW BEST:: SOT 1000988 SOS 719227 HAS SOPS 719227 HAS SOUS 614949 HAS SOUPS 614949 WITH SCORE 615668.227
AT ITER 682 NEW BEST:: SOT 1000988 SOS 718692 HAS SOPS 718692 HAS SOUS 614781 HAS SOUPS 614781 WITH SCORE 615499.692
AT ITER 685 NEW BEST:: SOT 1000789 SOS 718101 HAS SOPS 718101 HAS SOUS 614566 HAS SOUPS 614566 WITH SCORE 615284.101
AT ITER 688 NEW BEST:: SOT 1000789 SOS 718241 HAS SOPS 718241 HAS SOUS 614564 HAS SOUPS 614564 WITH SCORE 615282.241
AT ITER 690 NEW BEST:: SOT 999794 SOS 717120 HAS SOPS 717120 HAS SOUS 613641 HAS SOUPS 613641 WITH SCORE 614358.12
AT ITER 691 NEW BEST:: SOT 999776 SOS 717102 HAS SOPS 717102 HAS SOUS 613623 HAS SOUPS 613623 WITH SCORE 614340.102
AT ITER 696 NEW BEST:: SOT 999245 SOS 716571 HAS SOPS 716571 HAS SOUS 612896 HAS SOUPS 612896 WITH SCORE 613612.571
AT ITER 699 NEW BEST:: SOT 999245 SOS 716468 HAS SOPS 716468 HAS SOUS 612793 HAS SOUPS 612793 WITH SCORE 613509.468
AT ITER 700 NEW BEST:: SOT 999244 SOS 716235 HAS SOPS 716235 HAS SOUS 612560 HAS SOUPS 612560 WITH SCORE 613276.235
AT ITER 701 NEW BEST:: SOT 998966 SOS 715957 HAS SOPS 715957 HAS SOUS 612282 HAS SOUPS 612282 WITH SCORE 612997.957
AT ITER 707 NEW BEST:: SOT 998134 SOS 714827 HAS SOPS 714827 HAS SOUS 611561 HAS SOUPS 611561 WITH SCORE 612275.827
AT ITER 709 NEW BEST:: SOT 997971 SOS 714496 HAS SOPS 714496 HAS SOUS 611230 HAS SOUPS 611230 WITH SCORE 611944.496
AT ITER 722 NEW BEST:: SOT 997737 SOS 714259 HAS SOPS 714259 HAS SOUS 610993 HAS SOUPS 610993 WITH SCORE 611707.259
AT ITER 733 NEW BEST:: SOT 997732 SOS 714219 HAS SOPS 714219 HAS SOUS 610986 HAS SOUPS 610986 WITH SCORE 611700.219
AT ITER 735 NEW BEST:: SOT 997249 SOS 711810 HAS SOPS 711810 HAS SOUS 609241 HAS SOUPS 609241 WITH SCORE 609952.81
AT ITER 740 NEW BEST:: SOT 997249 SOS 711582 HAS SOPS 711582 HAS SOUS 609138 HAS SOUPS 609138 WITH SCORE 609849.582
AT ITER 742 NEW BEST:: SOT 997104 SOS 711437 HAS SOPS 711437 HAS SOUS 608993 HAS SOUPS 608993 WITH SCORE 609704.437
AT ITER 745 NEW BEST:: SOT 996402 SOS 710735 HAS SOPS 710735 HAS SOUS 607871 HAS SOUPS 607871 WITH SCORE 608581.735
AT ITER 747 NEW BEST:: SOT 996091 SOS 709475 HAS SOPS 709475 HAS SOUS 607434 HAS SOUPS 607434 WITH SCORE 608143.475
AT ITER 748 NEW BEST:: SOT 996103 SOS 709262 HAS SOPS 709262 HAS SOUS 606842 HAS SOUPS 606842 WITH SCORE 607551.262
AT ITER 752 NEW BEST:: SOT 996102 SOS 709564 HAS SOPS 709564 HAS SOUS 606529 HAS SOUPS 606529 WITH SCORE 607238.564
AT ITER 761 NEW BEST:: SOT 996408 SOS 709591 HAS SOPS 709591 HAS SOUS 606302 HAS SOUPS 606302 WITH SCORE 607011.591
AT ITER 765 NEW BEST:: SOT 996315 SOS 709496 HAS SOPS 709496 HAS SOUS 606207 HAS SOUPS 606207 WITH SCORE 606916.496
AT ITER 767 NEW BEST:: SOT 995891 SOS 709072 HAS SOPS 709072 HAS SOUS 605783 HAS SOUPS 605783 WITH SCORE 606492.072
AT ITER 775 NEW BEST:: SOT 995891 SOS 709072 HAS SOPS 709072 HAS SOUS 605782 HAS SOUPS 605782 WITH SCORE 606491.072
AT ITER 784 NEW BEST:: SOT 995389 SOS 708367 HAS SOPS 708367 HAS SOUS 605077 HAS SOUPS 605077 WITH SCORE 605785.367
AT ITER 797 NEW BEST:: SOT 995604 SOS 707546 HAS SOPS 707546 HAS SOUS 604293 HAS SOUPS 604293 WITH SCORE 605000.546
AT ITER 803 NEW BEST:: SOT 995530 SOS 707472 HAS SOPS 707472 HAS SOUS 604219 HAS SOUPS 604219 WITH SCORE 604926.472
AT ITER 806 NEW BEST:: SOT 994855 SOS 706797 HAS SOPS 706797 HAS SOUS 603544 HAS SOUPS 603544 WITH SCORE 604250.797
AT ITER 807 NEW BEST:: SOT 994855 SOS 706268 HAS SOPS 706268 HAS SOUS 603401 HAS SOUPS 603401 WITH SCORE 604107.268
AT ITER 812 NEW BEST:: SOT 994926 SOS 706210 HAS SOPS 706210 HAS SOUS 603145 HAS SOUPS 603145 WITH SCORE 603851.21
AT ITER 814 NEW BEST:: SOT 994755 SOS 706037 HAS SOPS 706037 HAS SOUS 602972 HAS SOUPS 602972 WITH SCORE 603678.037
AT ITER 817 NEW BEST:: SOT 994731 SOS 706013 HAS SOPS 706013 HAS SOUS 602948 HAS SOUPS 602948 WITH SCORE 603654.013
AT ITER 819 NEW BEST:: SOT 994697 SOS 705978 HAS SOPS 705978 HAS SOUS 602913 HAS SOUPS 602913 WITH SCORE 603618.978
AT ITER 821 NEW BEST:: SOT 995042 SOS 705825 HAS SOPS 705825 HAS SOUS 602912 HAS SOUPS 602912 WITH SCORE 603617.825
AT ITER 822 NEW BEST:: SOT 995042 SOS 705826 HAS SOPS 705826 HAS SOUS 602911 HAS SOUPS 602911 WITH SCORE 603616.826
AT ITER 827 NEW BEST:: SOT 994148 SOS 704932 HAS SOPS 704932 HAS SOUS 602017 HAS SOUPS 602017 WITH SCORE 602721.932
AT ITER 828 NEW BEST:: SOT 993826 SOS 704610 HAS SOPS 704610 HAS SOUS 601695 HAS SOUPS 601695 WITH SCORE 602399.61
AT ITER 829 NEW BEST:: SOT 993762 SOS 704546 HAS SOPS 704546 HAS SOUS 601631 HAS SOUPS 601631 WITH SCORE 602335.546
AT ITER 830 NEW BEST:: SOT 993796 SOS 704546 HAS SOPS 704546 HAS SOUS 601594 HAS SOUPS 601594 WITH SCORE 602298.546
AT ITER 834 NEW BEST:: SOT 993796 SOS 704262 HAS SOPS 704262 HAS SOUS 601520 HAS SOUPS 601520 WITH SCORE 602224.262
AT ITER 839 NEW BEST:: SOT 993598 SOS 704062 HAS SOPS 704062 HAS SOUS 601320 HAS SOUPS 601320 WITH SCORE 602024.062
AT ITER 845 NEW BEST:: SOT 993405 SOS 703869 HAS SOPS 703869 HAS SOUS 601127 HAS SOUPS 601127 WITH SCORE 601830.869
AT ITER 846 NEW BEST:: SOT 993087 SOS 703550 HAS SOPS 703550 HAS SOUS 600808 HAS SOUPS 600808 WITH SCORE 601511.55
AT ITER 849 NEW BEST:: SOT 992973 SOS 703265 HAS SOPS 703265 HAS SOUS 600523 HAS SOUPS 600523 WITH SCORE 601226.265
AT ITER 852 NEW BEST:: SOT 992971 SOS 703098 HAS SOPS 703098 HAS SOUS 600191 HAS SOUPS 600191 WITH SCORE 600894.098
AT ITER 863 NEW BEST:: SOT 992779 SOS 702906 HAS SOPS 702906 HAS SOUS 599999 HAS SOUPS 599999 WITH SCORE 600701.906
AT ITER 867 NEW BEST:: SOT 992779 SOS 702579 HAS SOPS 702579 HAS SOUS 599678 HAS SOUPS 599678 WITH SCORE 600380.579
AT ITER 878 NEW BEST:: SOT 992779 SOS 702152 HAS SOPS 702152 HAS SOUS 599675 HAS SOUPS 599675 WITH SCORE 600377.152
AT ITER 880 NEW BEST:: SOT 992808 SOS 701877 HAS SOPS 701877 HAS SOUS 599400 HAS SOUPS 599400 WITH SCORE 600101.877
AT ITER 884 NEW BEST:: SOT 992902 SOS 701600 HAS SOPS 701600 HAS SOUS 599333 HAS SOUPS 599333 WITH SCORE 600034.6
AT ITER 889 NEW BEST:: SOT 992883 SOS 701562 HAS SOPS 701562 HAS SOUS 599326 HAS SOUPS 599326 WITH SCORE 600027.562
AT ITER 891 NEW BEST:: SOT 992083 SOS 700563 HAS SOPS 700563 HAS SOUS 598327 HAS SOUPS 598327 WITH SCORE 599027.563
AT ITER 892 NEW BEST:: SOT 991864 SOS 699310 HAS SOPS 699310 HAS SOUS 597828 HAS SOUPS 597828 WITH SCORE 598527.31
AT ITER 906 NEW BEST:: SOT 991610 SOS 698908 HAS SOPS 698908 HAS SOUS 597426 HAS SOUPS 597426 WITH SCORE 598124.908
AT ITER 909 NEW BEST:: SOT 991274 SOS 698571 HAS SOPS 698571 HAS SOUS 597089 HAS SOUPS 597089 WITH SCORE 597787.571
AT ITER 911 NEW BEST:: SOT 991824 SOS 698862 HAS SOPS 698862 HAS SOUS 597012 HAS SOUPS 597012 WITH SCORE 597710.862
AT ITER 918 NEW BEST:: SOT 991946 SOS 698823 HAS SOPS 698823 HAS SOUS 596979 HAS SOUPS 596979 WITH SCORE 597677.823
AT ITER 920 NEW BEST:: SOT 992277 SOS 697790 HAS SOPS 697790 HAS SOUS 596441 HAS SOUPS 596441 WITH SCORE 597138.79
AT ITER 926 NEW BEST:: SOT 992460 SOS 697788 HAS SOPS 697788 HAS SOUS 596439 HAS SOUPS 596439 WITH SCORE 597136.788
AT ITER 928 NEW BEST:: SOT 991864 SOS 696921 HAS SOPS 696921 HAS SOUS 595572 HAS SOUPS 595572 WITH SCORE 596268.921
AT ITER 932 NEW BEST:: SOT 991527 SOS 696348 HAS SOPS 696348 HAS SOUS 594999 HAS SOUPS 594999 WITH SCORE 595695.348
AT ITER 934 NEW BEST:: SOT 991643 SOS 696060 HAS SOPS 696060 HAS SOUS 594396 HAS SOUPS 594396 WITH SCORE 595092.06
AT ITER 938 NEW BEST:: SOT 991266 SOS 695225 HAS SOPS 695225 HAS SOUS 593963 HAS SOUPS 593963 WITH SCORE 594658.225
AT ITER 945 NEW BEST:: SOT 991105 SOS 695064 HAS SOPS 695064 HAS SOUS 593963 HAS SOUPS 593963 WITH SCORE 594658.064
AT ITER 946 NEW BEST:: SOT 990221 SOS 694144 HAS SOPS 694144 HAS SOUS 593417 HAS SOUPS 593417 WITH SCORE 594111.144
AT ITER 949 NEW BEST:: SOT 990038 SOS 693961 HAS SOPS 693961 HAS SOUS 593029 HAS SOUPS 593029 WITH SCORE 593722.961
AT ITER 958 NEW BEST:: SOT 990038 SOS 693742 HAS SOPS 693742 HAS SOUS 592820 HAS SOUPS 592820 WITH SCORE 593513.742
AT ITER 965 NEW BEST:: SOT 990034 SOS 693738 HAS SOPS 693738 HAS SOUS 592816 HAS SOUPS 592816 WITH SCORE 593509.738
AT ITER 967 NEW BEST:: SOT 989960 SOS 693662 HAS SOPS 693662 HAS SOUS 592740 HAS SOUPS 592740 WITH SCORE 593433.662
AT ITER 968 NEW BEST:: SOT 990053 SOS 693098 HAS SOPS 693098 HAS SOUS 592376 HAS SOUPS 592376 WITH SCORE 593069.098
AT ITER 971 NEW BEST:: SOT 990043 SOS 693088 HAS SOPS 693088 HAS SOUS 592366 HAS SOUPS 592366 WITH SCORE 593059.088
AT ITER 974 NEW BEST:: SOT 990187 SOS 693037 HAS SOPS 693037 HAS SOUS 592315 HAS SOUPS 592315 WITH SCORE 593008.037
AT ITER 990 NEW BEST:: SOT 990085 SOS 692861 HAS SOPS 692861 HAS SOUS 592139 HAS SOUPS 592139 WITH SCORE 592831.861
AT ITER 994 NEW BEST:: SOT 990719 SOS 691874 HAS SOPS 691874 HAS SOUS 592019 HAS SOUPS 592019 WITH SCORE 592710.874
AT ITER 996 NEW BEST:: SOT 990646 SOS 691801 HAS SOPS 691801 HAS SOUS 591946 HAS SOUPS 591946 WITH SCORE 592637.801
AT ITER 997 NEW BEST:: SOT 991095 SOS 692200 HAS SOPS 692200 HAS SOUS 591756 HAS SOUPS 591756 WITH SCORE 592448.2
AT ITER 1000 NEW BEST:: SOT 990990 SOS 692095 HAS SOPS 692095 HAS SOUS 591651 HAS SOUPS 591651 WITH SCORE 592343.095
AT ITER 1003 NEW BEST:: SOT 990990 SOS 692095 HAS SOPS 692095 HAS SOUS 591649 HAS SOUPS 591649 WITH SCORE 592341.095
AT ITER 1006 NEW BEST:: SOT 990901 SOS 692004 HAS SOPS 692004 HAS SOUS 591558 HAS SOUPS 591558 WITH SCORE 592250.004
AT ITER 1007 NEW BEST:: SOT 990844 SOS 691947 HAS SOPS 691947 HAS SOUS 591305 HAS SOUPS 591305 WITH SCORE 591996.947
AT ITER 1011 NEW BEST:: SOT 990535 SOS 690684 HAS SOPS 690684 HAS SOUS 590725 HAS SOUPS 590725 WITH SCORE 591415.684
AT ITER 1014 NEW BEST:: SOT 989873 SOS 688954 HAS SOPS 688954 HAS SOUS 588995 HAS SOUPS 588995 WITH SCORE 589683.954
AT ITER 1021 NEW BEST:: SOT 989873 SOS 688989 HAS SOPS 688989 HAS SOUS 588888 HAS SOUPS 588888 WITH SCORE 589576.989
AT ITER 1025 NEW BEST:: SOT 989873 SOS 688988 HAS SOPS 688988 HAS SOUS 588887 HAS SOUPS 588887 WITH SCORE 589575.988
AT ITER 1031 NEW BEST:: SOT 990500 SOS 688329 HAS SOPS 688329 HAS SOUS 588043 HAS SOUPS 588043 WITH SCORE 588731.329
AT ITER 1034 NEW BEST:: SOT 990500 SOS 688238 HAS SOPS 688238 HAS SOUS 588043 HAS SOUPS 588043 WITH SCORE 588731.238
AT ITER 1036 NEW BEST:: SOT 990500 SOS 688019 HAS SOPS 688019 HAS SOUS 587603 HAS SOUPS 587603 WITH SCORE 588291.019
AT ITER 1037 NEW BEST:: SOT 990149 SOS 687254 HAS SOPS 687254 HAS SOUS 586186 HAS SOUPS 586186 WITH SCORE 586873.254
AT ITER 1038 NEW BEST:: SOT 989873 SOS 687037 HAS SOPS 687037 HAS SOUS 586091 HAS SOUPS 586091 WITH SCORE 586778.037
AT ITER 1039 NEW BEST:: SOT 989105 SOS 686269 HAS SOPS 686269 HAS SOUS 585323 HAS SOUPS 585323 WITH SCORE 586009.269
AT ITER 1044 NEW BEST:: SOT 988793 SOS 684678 HAS SOPS 684678 HAS SOUS 584847 HAS SOUPS 584847 WITH SCORE 585531.678
AT ITER 1048 NEW BEST:: SOT 987710 SOS 683770 HAS SOPS 683770 HAS SOUS 583939 HAS SOUPS 583939 WITH SCORE 584622.77
AT ITER 1050 NEW BEST:: SOT 987611 SOS 683623 HAS SOPS 683623 HAS SOUS 583792 HAS SOUPS 583792 WITH SCORE 584475.623
AT ITER 1053 NEW BEST:: SOT 987611 SOS 682999 HAS SOPS 682999 HAS SOUS 583708 HAS SOUPS 583708 WITH SCORE 584390.999
AT ITER 1055 NEW BEST:: SOT 987451 SOS 681927 HAS SOPS 681927 HAS SOUS 583600 HAS SOUPS 583600 WITH SCORE 584281.927
AT ITER 1067 NEW BEST:: SOT 987433 SOS 681918 HAS SOPS 681918 HAS SOUS 583591 HAS SOUPS 583591 WITH SCORE 584272.918
AT ITER 1068 NEW BEST:: SOT 987431 SOS 682026 HAS SOPS 682026 HAS SOUS 583426 HAS SOUPS 583426 WITH SCORE 584108.026
AT ITER 1077 NEW BEST:: SOT 987074 SOS 681476 HAS SOPS 681476 HAS SOUS 582004 HAS SOUPS 582004 WITH SCORE 582685.476
AT ITER 1085 NEW BEST:: SOT 985084 SOS 679427 HAS SOPS 679427 HAS SOUS 579955 HAS SOUPS 579955 WITH SCORE 580634.427
AT ITER 1086 NEW BEST:: SOT 984851 SOS 679192 HAS SOPS 679192 HAS SOUS 579720 HAS SOUPS 579720 WITH SCORE 580399.192
AT ITER 1087 NEW BEST:: SOT 984851 SOS 679192 HAS SOPS 679192 HAS SOUS 579688 HAS SOUPS 579688 WITH SCORE 580367.192
AT ITER 1092 NEW BEST:: SOT 984522 SOS 677880 HAS SOPS 677880 HAS SOUS 578958 HAS SOUPS 578958 WITH SCORE 579635.88
AT ITER 1093 NEW BEST:: SOT 984032 SOS 677218 HAS SOPS 677218 HAS SOUS 578296 HAS SOUPS 578296 WITH SCORE 578973.218
AT ITER 1111 NEW BEST:: SOT 984032 SOS 677112 HAS SOPS 677112 HAS SOUS 578286 HAS SOUPS 578286 WITH SCORE 578963.112
AT ITER 1112 NEW BEST:: SOT 983757 SOS 676808 HAS SOPS 676808 HAS SOUS 577982 HAS SOUPS 577982 WITH SCORE 578658.808
AT ITER 1113 NEW BEST:: SOT 983509 SOS 676501 HAS SOPS 676501 HAS SOUS 577657 HAS SOUPS 577657 WITH SCORE 578333.501
AT ITER 1117 NEW BEST:: SOT 982813 SOS 675917 HAS SOPS 675917 HAS SOUS 577073 HAS SOUPS 577073 WITH SCORE 577748.917
AT ITER 1120 NEW BEST:: SOT 982657 SOS 675761 HAS SOPS 675761 HAS SOUS 576712 HAS SOUPS 576712 WITH SCORE 577387.761
AT ITER 1121 NEW BEST:: SOT 982852 SOS 675956 HAS SOPS 675956 HAS SOUS 576711 HAS SOUPS 576711 WITH SCORE 577386.956
AT ITER 1129 NEW BEST:: SOT 982850 SOS 675954 HAS SOPS 675954 HAS SOUS 576709 HAS SOUPS 576709 WITH SCORE 577384.954
AT ITER 1130 NEW BEST:: SOT 982850 SOS 675954 HAS SOPS 675954 HAS SOUS 576708 HAS SOUPS 576708 WITH SCORE 577383.954
AT ITER 1134 NEW BEST:: SOT 982461 SOS 675538 HAS SOPS 675538 HAS SOUS 576689 HAS SOUPS 576689 WITH SCORE 577364.538
AT ITER 1136 NEW BEST:: SOT 982403 SOS 675361 HAS SOPS 675361 HAS SOUS 576398 HAS SOUPS 576398 WITH SCORE 577073.361
AT ITER 1142 NEW BEST:: SOT 982357 SOS 675315 HAS SOPS 675315 HAS SOUS 576352 HAS SOUPS 576352 WITH SCORE 577027.315
AT ITER 1143 NEW BEST:: SOT 982320 SOS 675283 HAS SOPS 675283 HAS SOUS 576328 HAS SOUPS 576328 WITH SCORE 577003.283
AT ITER 1154 NEW BEST:: SOT 981741 SOS 674704 HAS SOPS 674704 HAS SOUS 575749 HAS SOUPS 575749 WITH SCORE 576423.704
AT ITER 1157 NEW BEST:: SOT 981626 SOS 674589 HAS SOPS 674589 HAS SOUS 575634 HAS SOUPS 575634 WITH SCORE 576308.589
AT ITER 1158 NEW BEST:: SOT 981755 SOS 674703 HAS SOPS 674703 HAS SOUS 575567 HAS SOUPS 575567 WITH SCORE 576241.703
AT ITER 1160 NEW BEST:: SOT 981438 SOS 674601 HAS SOPS 674601 HAS SOUS 575393 HAS SOUPS 575393 WITH SCORE 576067.601
AT ITER 1165 NEW BEST:: SOT 981416 SOS 674579 HAS SOPS 674579 HAS SOUS 575371 HAS SOUPS 575371 WITH SCORE 576045.579
AT ITER 1166 NEW BEST:: SOT 981250 SOS 674413 HAS SOPS 674413 HAS SOUS 575205 HAS SOUPS 575205 WITH SCORE 575879.413
AT ITER 1167 NEW BEST:: SOT 981349 SOS 674174 HAS SOPS 674174 HAS SOUS 575096 HAS SOUPS 575096 WITH SCORE 575770.174
AT ITER 1168 NEW BEST:: SOT 981307 SOS 674130 HAS SOPS 674130 HAS SOUS 574846 HAS SOUPS 574846 WITH SCORE 575520.13
AT ITER 1186 NEW BEST:: SOT 981095 SOS 673929 HAS SOPS 673929 HAS SOUS 574713 HAS SOUPS 574713 WITH SCORE 575386.929
AT ITER 1188 NEW BEST:: SOT 980290 SOS 673291 HAS SOPS 673291 HAS SOUS 574073 HAS SOUPS 574073 WITH SCORE 574746.291
AT ITER 1189 NEW BEST:: SOT 980218 SOS 673219 HAS SOPS 673219 HAS SOUS 574001 HAS SOUPS 574001 WITH SCORE 574674.219
AT ITER 1191 NEW BEST:: SOT 980004 SOS 673205 HAS SOPS 673205 HAS SOUS 573984 HAS SOUPS 573984 WITH SCORE 574657.205
AT ITER 1200 NEW BEST:: SOT 980465 SOS 672641 HAS SOPS 672641 HAS SOUS 573821 HAS SOUPS 573821 WITH SCORE 574493.641
AT ITER 1219 NEW BEST:: SOT 981326 SOS 673574 HAS SOPS 673574 HAS SOUS 573723 HAS SOUPS 573723 WITH SCORE 574396.574
AT ITER 1234 NEW BEST:: SOT 981557 SOS 673404 HAS SOPS 673404 HAS SOUS 573356 HAS SOUPS 573356 WITH SCORE 574029.404
AT ITER 1238 NEW BEST:: SOT 981468 SOS 673402 HAS SOPS 673402 HAS SOUS 573353 HAS SOUPS 573353 WITH SCORE 574026.402
AT ITER 1241 NEW BEST:: SOT 981468 SOS 673389 HAS SOPS 673389 HAS SOUS 573340 HAS SOUPS 573340 WITH SCORE 574013.389
AT ITER 1248 NEW BEST:: SOT 981225 SOS 673144 HAS SOPS 673144 HAS SOUS 573095 HAS SOUPS 573095 WITH SCORE 573768.144
AT ITER 1249 NEW BEST:: SOT 980948 SOS 672867 HAS SOPS 672867 HAS SOUS 573094 HAS SOUPS 573094 WITH SCORE 573766.867
AT ITER 1263 NEW BEST:: SOT 980917 SOS 672117 HAS SOPS 672117 HAS SOUS 573060 HAS SOUPS 573060 WITH SCORE 573732.117
AT ITER 1266 NEW BEST:: SOT 980370 SOS 671359 HAS SOPS 671359 HAS SOUS 572091 HAS SOUPS 572091 WITH SCORE 572762.359
AT ITER 1274 NEW BEST:: SOT 980401 SOS 671584 HAS SOPS 671584 HAS SOUS 571775 HAS SOUPS 571775 WITH SCORE 572446.584
AT ITER 1275 NEW BEST:: SOT 980374 SOS 671425 HAS SOPS 671425 HAS SOUS 571616 HAS SOUPS 571616 WITH SCORE 572287.425
AT ITER 1283 NEW BEST:: SOT 981279 SOS 670667 HAS SOPS 670667 HAS SOUS 570585 HAS SOUPS 570585 WITH SCORE 571255.667
AT ITER 1292 NEW BEST:: SOT 981069 SOS 670268 HAS SOPS 670268 HAS SOUS 570186 HAS SOUPS 570186 WITH SCORE 570856.268
AT ITER 1295 NEW BEST:: SOT 981069 SOS 669940 HAS SOPS 669940 HAS SOUS 569694 HAS SOUPS 569694 WITH SCORE 570363.94
AT ITER 1297 NEW BEST:: SOT 981175 SOS 669851 HAS SOPS 669851 HAS SOUS 569625 HAS SOUPS 569625 WITH SCORE 570294.851
AT ITER 1306 NEW BEST:: SOT 980874 SOS 668331 HAS SOPS 668331 HAS SOUS 569127 HAS SOUPS 569127 WITH SCORE 569795.331
AT ITER 1311 NEW BEST:: SOT 980726 SOS 668012 HAS SOPS 668012 HAS SOUS 568808 HAS SOUPS 568808 WITH SCORE 569476.012
AT ITER 1312 NEW BEST:: SOT 980197 SOS 667483 HAS SOPS 667483 HAS SOUS 568279 HAS SOUPS 568279 WITH SCORE 568946.483
AT ITER 1316 NEW BEST:: SOT 979355 SOS 666641 HAS SOPS 666641 HAS SOUS 567437 HAS SOUPS 567437 WITH SCORE 568103.641
AT ITER 1331 NEW BEST:: SOT 978953 SOS 666262 HAS SOPS 666262 HAS SOUS 567058 HAS SOUPS 567058 WITH SCORE 567724.262
AT ITER 1333 NEW BEST:: SOT 979197 SOS 666089 HAS SOPS 666089 HAS SOUS 566320 HAS SOUPS 566320 WITH SCORE 566986.089
AT ITER 1335 NEW BEST:: SOT 978674 SOS 665566 HAS SOPS 665566 HAS SOUS 565797 HAS SOUPS 565797 WITH SCORE 566462.566
AT ITER 1347 NEW BEST:: SOT 978566 SOS 665458 HAS SOPS 665458 HAS SOUS 565689 HAS SOUPS 565689 WITH SCORE 566354.458
AT ITER 1352 NEW BEST:: SOT 979029 SOS 666125 HAS SOPS 666125 HAS SOUS 565623 HAS SOUPS 565623 WITH SCORE 566289.125
AT ITER 1353 NEW BEST:: SOT 978991 SOS 666087 HAS SOPS 666087 HAS SOUS 565585 HAS SOUPS 565585 WITH SCORE 566251.087
AT ITER 1354 NEW BEST:: SOT 978962 SOS 666029 HAS SOPS 666029 HAS SOUS 565526 HAS SOUPS 565526 WITH SCORE 566192.029
AT ITER 1356 NEW BEST:: SOT 978962 SOS 665927 HAS SOPS 665927 HAS SOUS 565408 HAS SOUPS 565408 WITH SCORE 566073.927
AT ITER 1360 NEW BEST:: SOT 978793 SOS 665758 HAS SOPS 665758 HAS SOUS 565239 HAS SOUPS 565239 WITH SCORE 565904.758
AT ITER 1377 NEW BEST:: SOT 978733 SOS 665698 HAS SOPS 665698 HAS SOUS 565179 HAS SOUPS 565179 WITH SCORE 565844.698
AT ITER 1385 NEW BEST:: SOT 978702 SOS 665667 HAS SOPS 665667 HAS SOUS 565148 HAS SOUPS 565148 WITH SCORE 565813.667
AT ITER 1386 NEW BEST:: SOT 978637 SOS 665600 HAS SOPS 665600 HAS SOUS 565081 HAS SOUPS 565081 WITH SCORE 565746.6
AT ITER 1388 NEW BEST:: SOT 978487 SOS 665505 HAS SOPS 665505 HAS SOUS 564728 HAS SOUPS 564728 WITH SCORE 565393.505
AT ITER 1392 NEW BEST:: SOT 978058 SOS 665074 HAS SOPS 665074 HAS SOUS 564297 HAS SOUPS 564297 WITH SCORE 564962.074
AT ITER 1396 NEW BEST:: SOT 977993 SOS 665009 HAS SOPS 665009 HAS SOUS 564232 HAS SOUPS 564232 WITH SCORE 564897.009
AT ITER 1397 NEW BEST:: SOT 977897 SOS 664450 HAS SOPS 664450 HAS SOUS 563471 HAS SOUPS 563471 WITH SCORE 564135.45
AT ITER 1398 NEW BEST:: SOT 977897 SOS 664450 HAS SOPS 664450 HAS SOUS 563470 HAS SOUPS 563470 WITH SCORE 564134.45
AT ITER 1401 NEW BEST:: SOT 977897 SOS 664450 HAS SOPS 664450 HAS SOUS 563469 HAS SOUPS 563469 WITH SCORE 564133.45
AT ITER 1407 NEW BEST:: SOT 977677 SOS 664146 HAS SOPS 664146 HAS SOUS 563165 HAS SOUPS 563165 WITH SCORE 563829.146
AT ITER 1410 NEW BEST:: SOT 977773 SOS 664242 HAS SOPS 664242 HAS SOUS 563164 HAS SOUPS 563164 WITH SCORE 563828.242
AT ITER 1415 NEW BEST:: SOT 977177 SOS 663242 HAS SOPS 663242 HAS SOUS 562359 HAS SOUPS 562359 WITH SCORE 563022.242
AT ITER 1418 NEW BEST:: SOT 975882 SOS 661922 HAS SOPS 661922 HAS SOUS 561039 HAS SOUPS 561039 WITH SCORE 561700.922
AT ITER 1420 NEW BEST:: SOT 975882 SOS 661764 HAS SOPS 661764 HAS SOUS 560846 HAS SOUPS 560846 WITH SCORE 561507.764
AT ITER 1428 NEW BEST:: SOT 975462 SOS 661344 HAS SOPS 661344 HAS SOUS 560426 HAS SOUPS 560426 WITH SCORE 561087.344
AT ITER 1434 NEW BEST:: SOT 975462 SOS 661290 HAS SOPS 661290 HAS SOUS 560426 HAS SOUPS 560426 WITH SCORE 561087.29
AT ITER 1441 NEW BEST:: SOT 975454 SOS 661282 HAS SOPS 661282 HAS SOUS 560418 HAS SOUPS 560418 WITH SCORE 561079.282
AT ITER 1449 NEW BEST:: SOT 975454 SOS 660529 HAS SOPS 660529 HAS SOUS 560341 HAS SOUPS 560341 WITH SCORE 561001.529
AT ITER 1458 NEW BEST:: SOT 975454 SOS 660512 HAS SOPS 660512 HAS SOUS 560324 HAS SOUPS 560324 WITH SCORE 560984.512
AT ITER 1469 NEW BEST:: SOT 975344 SOS 660402 HAS SOPS 660402 HAS SOUS 560214 HAS SOUPS 560214 WITH SCORE 560874.402
AT ITER 1473 NEW BEST:: SOT 974962 SOS 660020 HAS SOPS 660020 HAS SOUS 559832 HAS SOUPS 559832 WITH SCORE 560492.02
AT ITER 1474 NEW BEST:: SOT 974609 SOS 659799 HAS SOPS 659799 HAS SOUS 559741 HAS SOUPS 559741 WITH SCORE 560400.799
AT ITER 1475 NEW BEST:: SOT 974338 SOS 659118 HAS SOPS 659118 HAS SOUS 559060 HAS SOUPS 559060 WITH SCORE 559719.118
AT ITER 1481 NEW BEST:: SOT 974197 SOS 657910 HAS SOPS 657910 HAS SOUS 558962 HAS SOUPS 558962 WITH SCORE 559619.91
AT ITER 1482 NEW BEST:: SOT 974038 SOS 656630 HAS SOPS 656630 HAS SOUS 558568 HAS SOUPS 558568 WITH SCORE 559224.63
AT ITER 1484 NEW BEST:: SOT 974018 SOS 656570 HAS SOPS 656570 HAS SOUS 558548 HAS SOUPS 558548 WITH SCORE 559204.57
AT ITER 1490 NEW BEST:: SOT 973981 SOS 656533 HAS SOPS 656533 HAS SOUS 558511 HAS SOUPS 558511 WITH SCORE 559167.533
AT ITER 1497 NEW BEST:: SOT 973981 SOS 656533 HAS SOPS 656533 HAS SOUS 558510 HAS SOUPS 558510 WITH SCORE 559166.533
AT ITER 1513 NEW BEST:: SOT 973954 SOS 656365 HAS SOPS 656365 HAS SOUS 558464 HAS SOUPS 558464 WITH SCORE 559120.365
AT ITER 1514 NEW BEST:: SOT 973954 SOS 656363 HAS SOPS 656363 HAS SOUS 558441 HAS SOUPS 558441 WITH SCORE 559097.363
AT ITER 1516 NEW BEST:: SOT 973961 SOS 656329 HAS SOPS 656329 HAS SOUS 558407 HAS SOUPS 558407 WITH SCORE 559063.329
AT ITER 1519 NEW BEST:: SOT 973883 SOS 656212 HAS SOPS 656212 HAS SOUS 558290 HAS SOUPS 558290 WITH SCORE 558946.212
AT ITER 1520 NEW BEST:: SOT 973821 SOS 656130 HAS SOPS 656130 HAS SOUS 558208 HAS SOUPS 558208 WITH SCORE 558864.13
AT ITER 1531 NEW BEST:: SOT 974031 SOS 656110 HAS SOPS 656110 HAS SOUS 557870 HAS SOUPS 557870 WITH SCORE 558526.11
AT ITER 1535 NEW BEST:: SOT 973976 SOS 655848 HAS SOPS 655848 HAS SOUS 557718 HAS SOUPS 557718 WITH SCORE 558373.848
AT ITER 1547 NEW BEST:: SOT 973976 SOS 655848 HAS SOPS 655848 HAS SOUS 557523 HAS SOUPS 557523 WITH SCORE 558178.848
AT ITER 1550 NEW BEST:: SOT 973323 SOS 655362 HAS SOPS 655362 HAS SOUS 556758 HAS SOUPS 556758 WITH SCORE 557413.362
AT ITER 1566 NEW BEST:: SOT 972684 SOS 654723 HAS SOPS 654723 HAS SOUS 556119 HAS SOUPS 556119 WITH SCORE 556773.723
AT ITER 1568 NEW BEST:: SOT 972519 SOS 653646 HAS SOPS 653646 HAS SOUS 554967 HAS SOUPS 554967 WITH SCORE 555620.646
AT ITER 1572 NEW BEST:: SOT 972519 SOS 653644 HAS SOPS 653644 HAS SOUS 554966 HAS SOUPS 554966 WITH SCORE 555619.644
AT ITER 1576 NEW BEST:: SOT 972511 SOS 653636 HAS SOPS 653636 HAS SOUS 554958 HAS SOUPS 554958 WITH SCORE 555611.636
AT ITER 1583 NEW BEST:: SOT 972110 SOS 652838 HAS SOPS 652838 HAS SOUS 553505 HAS SOUPS 553505 WITH SCORE 554157.838
AT ITER 1592 NEW BEST:: SOT 971899 SOS 651566 HAS SOPS 651566 HAS SOUS 553265 HAS SOUPS 553265 WITH SCORE 553916.566
AT ITER 1608 NEW BEST:: SOT 971841 SOS 651477 HAS SOPS 651477 HAS SOUS 553160 HAS SOUPS 553160 WITH SCORE 553811.477
AT ITER 1614 NEW BEST:: SOT 972292 SOS 651390 HAS SOPS 651390 HAS SOUS 552870 HAS SOUPS 552870 WITH SCORE 553521.39
AT ITER 1631 NEW BEST:: SOT 973048 SOS 652176 HAS SOPS 652176 HAS SOUS 552796 HAS SOUPS 552796 WITH SCORE 553448.176
AT ITER 1647 NEW BEST:: SOT 972993 SOS 652157 HAS SOPS 652157 HAS SOUS 552682 HAS SOUPS 552682 WITH SCORE 553334.157
AT ITER 1652 NEW BEST:: SOT 972540 SOS 651704 HAS SOPS 651704 HAS SOUS 552031 HAS SOUPS 552031 WITH SCORE 552682.704
AT ITER 1658 NEW BEST:: SOT 972390 SOS 651476 HAS SOPS 651476 HAS SOUS 551803 HAS SOUPS 551803 WITH SCORE 552454.476
AT ITER 1659 NEW BEST:: SOT 972550 SOS 651276 HAS SOPS 651276 HAS SOUS 551506 HAS SOUPS 551506 WITH SCORE 552157.276
AT ITER 1660 NEW BEST:: SOT 972400 SOS 650853 HAS SOPS 650853 HAS SOUS 550835 HAS SOUPS 550835 WITH SCORE 551485.853
AT ITER 1664 NEW BEST:: SOT 972314 SOS 650602 HAS SOPS 650602 HAS SOUS 550584 HAS SOUPS 550584 WITH SCORE 551234.602
AT ITER 1665 NEW BEST:: SOT 972188 SOS 650469 HAS SOPS 650469 HAS SOUS 550451 HAS SOUPS 550451 WITH SCORE 551101.469
AT ITER 1676 NEW BEST:: SOT 972097 SOS 650423 HAS SOPS 650423 HAS SOUS 550405 HAS SOUPS 550405 WITH SCORE 551055.423
AT ITER 1679 NEW BEST:: SOT 971753 SOS 650088 HAS SOPS 650088 HAS SOUS 550098 HAS SOUPS 550098 WITH SCORE 550748.088
AT ITER 1684 NEW BEST:: SOT 971422 SOS 648237 HAS SOPS 648237 HAS SOUS 549418 HAS SOUPS 549418 WITH SCORE 550066.237
AT ITER 1686 NEW BEST:: SOT 971410 SOS 648225 HAS SOPS 648225 HAS SOUS 549406 HAS SOUPS 549406 WITH SCORE 550054.225
AT ITER 1689 NEW BEST:: SOT 970726 SOS 647695 HAS SOPS 647695 HAS SOUS 548876 HAS SOUPS 548876 WITH SCORE 549523.695
AT ITER 1696 NEW BEST:: SOT 970167 SOS 647037 HAS SOPS 647037 HAS SOUS 548143 HAS SOUPS 548143 WITH SCORE 548790.037
AT ITER 1701 NEW BEST:: SOT 970167 SOS 647330 HAS SOPS 647330 HAS SOUS 548098 HAS SOUPS 548098 WITH SCORE 548745.33
AT ITER 1711 NEW BEST:: SOT 969922 SOS 646697 HAS SOPS 646697 HAS SOUS 547458 HAS SOUPS 547458 WITH SCORE 548104.697
AT ITER 1715 NEW BEST:: SOT 969895 SOS 646663 HAS SOPS 646663 HAS SOUS 547424 HAS SOUPS 547424 WITH SCORE 548070.663
AT ITER 1720 NEW BEST:: SOT 969616 SOS 646384 HAS SOPS 646384 HAS SOUS 547145 HAS SOUPS 547145 WITH SCORE 547791.384
AT ITER 1723 NEW BEST:: SOT 969644 SOS 646210 HAS SOPS 646210 HAS SOUS 546977 HAS SOUPS 546977 WITH SCORE 547623.21
AT ITER 1726 NEW BEST:: SOT 969349 SOS 645915 HAS SOPS 645915 HAS SOUS 546682 HAS SOUPS 546682 WITH SCORE 547327.915
AT ITER 1732 NEW BEST:: SOT 969305 SOS 645852 HAS SOPS 645852 HAS SOUS 546600 HAS SOUPS 546600 WITH SCORE 547245.852
AT ITER 1736 NEW BEST:: SOT 969305 SOS 645851 HAS SOPS 645851 HAS SOUS 546599 HAS SOUPS 546599 WITH SCORE 547244.851
AT ITER 1740 NEW BEST:: SOT 969354 SOS 645840 HAS SOPS 645840 HAS SOUS 546588 HAS SOUPS 546588 WITH SCORE 547233.84
AT ITER 1742 NEW BEST:: SOT 969304 SOS 645790 HAS SOPS 645790 HAS SOUS 546512 HAS SOUPS 546512 WITH SCORE 547157.79
AT ITER 1745 NEW BEST:: SOT 968356 SOS 644477 HAS SOPS 644477 HAS SOUS 545199 HAS SOUPS 545199 WITH SCORE 545843.477
AT ITER 1746 NEW BEST:: SOT 968361 SOS 643737 HAS SOPS 643737 HAS SOUS 544791 HAS SOUPS 544791 WITH SCORE 545434.737
AT ITER 1752 NEW BEST:: SOT 968351 SOS 643727 HAS SOPS 643727 HAS SOUS 544781 HAS SOUPS 544781 WITH SCORE 545424.727
AT ITER 1756 NEW BEST:: SOT 968200 SOS 643425 HAS SOPS 643425 HAS SOUS 544396 HAS SOUPS 544396 WITH SCORE 545039.425
AT ITER 1757 NEW BEST:: SOT 968200 SOS 642728 HAS SOPS 642728 HAS SOUS 543990 HAS SOUPS 543990 WITH SCORE 544632.728
AT ITER 1769 NEW BEST:: SOT 968201 SOS 642729 HAS SOPS 642729 HAS SOUS 543814 HAS SOUPS 543814 WITH SCORE 544456.729
AT ITER 1772 NEW BEST:: SOT 968201 SOS 642676 HAS SOPS 642676 HAS SOUS 543761 HAS SOUPS 543761 WITH SCORE 544403.676
AT ITER 1779 NEW BEST:: SOT 967951 SOS 642426 HAS SOPS 642426 HAS SOUS 543511 HAS SOUPS 543511 WITH SCORE 544153.426
AT ITER 1784 NEW BEST:: SOT 967951 SOS 642334 HAS SOPS 642334 HAS SOUS 543488 HAS SOUPS 543488 WITH SCORE 544130.334
AT ITER 1785 NEW BEST:: SOT 968006 SOS 642389 HAS SOPS 642389 HAS SOUS 543145 HAS SOUPS 543145 WITH SCORE 543787.389
AT ITER 1790 NEW BEST:: SOT 968192 SOS 642345 HAS SOPS 642345 HAS SOUS 543101 HAS SOUPS 543101 WITH SCORE 543743.345
AT ITER 1797 NEW BEST:: SOT 968125 SOS 642278 HAS SOPS 642278 HAS SOUS 543034 HAS SOUPS 543034 WITH SCORE 543676.278
AT ITER 1808 NEW BEST:: SOT 967417 SOS 641625 HAS SOPS 641625 HAS SOUS 542381 HAS SOUPS 542381 WITH SCORE 543022.625
AT ITER 1809 NEW BEST:: SOT 967417 SOS 641623 HAS SOPS 641623 HAS SOUS 542380 HAS SOUPS 542380 WITH SCORE 543021.623
AT ITER 1810 NEW BEST:: SOT 967208 SOS 641414 HAS SOPS 641414 HAS SOUS 542171 HAS SOUPS 542171 WITH SCORE 542812.414
AT ITER 1813 NEW BEST:: SOT 967036 SOS 641242 HAS SOPS 641242 HAS SOUS 541999 HAS SOUPS 541999 WITH SCORE 542640.242
AT ITER 1819 NEW BEST:: SOT 967590 SOS 640777 HAS SOPS 640777 HAS SOUS 541852 HAS SOUPS 541852 WITH SCORE 542492.777
AT ITER 1827 NEW BEST:: SOT 967381 SOS 640568 HAS SOPS 640568 HAS SOUS 541643 HAS SOUPS 541643 WITH SCORE 542283.568
AT ITER 1832 NEW BEST:: SOT 967649 SOS 640500 HAS SOPS 640500 HAS SOUS 541469 HAS SOUPS 541469 WITH SCORE 542109.5
AT ITER 1836 NEW BEST:: SOT 967446 SOS 640297 HAS SOPS 640297 HAS SOUS 541266 HAS SOUPS 541266 WITH SCORE 541906.297
AT ITER 1839 NEW BEST:: SOT 967420 SOS 640271 HAS SOPS 640271 HAS SOUS 541240 HAS SOUPS 541240 WITH SCORE 541880.271
AT ITER 1853 NEW BEST:: SOT 967420 SOS 640173 HAS SOPS 640173 HAS SOUS 541178 HAS SOUPS 541178 WITH SCORE 541818.173
AT ITER 1859 NEW BEST:: SOT 967264 SOS 639862 HAS SOPS 639862 HAS SOUS 540824 HAS SOUPS 540824 WITH SCORE 541463.862
AT ITER 1863 NEW BEST:: SOT 967628 SOS 639849 HAS SOPS 639849 HAS SOUS 540723 HAS SOUPS 540723 WITH SCORE 541362.849
AT ITER 1866 NEW BEST:: SOT 967681 SOS 640242 HAS SOPS 640242 HAS SOUS 540652 HAS SOUPS 540652 WITH SCORE 541292.242
AT ITER 1869 NEW BEST:: SOT 967681 SOS 640266 HAS SOPS 640266 HAS SOUS 540622 HAS SOUPS 540622 WITH SCORE 541262.266
AT ITER 1884 NEW BEST:: SOT 967915 SOS 640500 HAS SOPS 640500 HAS SOUS 540548 HAS SOUPS 540548 WITH SCORE 541188.5
AT ITER 1885 NEW BEST:: SOT 967785 SOS 640393 HAS SOPS 640393 HAS SOUS 540181 HAS SOUPS 540181 WITH SCORE 540821.393
AT ITER 1887 NEW BEST:: SOT 967620 SOS 640222 HAS SOPS 640222 HAS SOUS 540010 HAS SOUPS 540010 WITH SCORE 540650.222
AT ITER 1890 NEW BEST:: SOT 967956 SOS 640103 HAS SOPS 640103 HAS SOUS 539891 HAS SOUPS 539891 WITH SCORE 540531.103
AT ITER 1894 NEW BEST:: SOT 967233 SOS 638201 HAS SOPS 638201 HAS SOUS 538761 HAS SOUPS 538761 WITH SCORE 539399.201
AT ITER 1898 NEW BEST:: SOT 966803 SOS 637681 HAS SOPS 637681 HAS SOUS 538241 HAS SOUPS 538241 WITH SCORE 538878.681
AT ITER 1908 NEW BEST:: SOT 966787 SOS 637665 HAS SOPS 637665 HAS SOUS 538225 HAS SOUPS 538225 WITH SCORE 538862.665
AT ITER 1912 NEW BEST:: SOT 966692 SOS 637570 HAS SOPS 637570 HAS SOUS 538225 HAS SOUPS 538225 WITH SCORE 538862.57
AT ITER 1928 NEW BEST:: SOT 966529 SOS 637407 HAS SOPS 637407 HAS SOUS 538062 HAS SOUPS 538062 WITH SCORE 538699.407
AT ITER 1931 NEW BEST:: SOT 966529 SOS 637406 HAS SOPS 637406 HAS SOUS 538061 HAS SOUPS 538061 WITH SCORE 538698.406
AT ITER 1938 NEW BEST:: SOT 966525 SOS 636821 HAS SOPS 636821 HAS SOUS 537458 HAS SOUPS 537458 WITH SCORE 538094.821
AT ITER 1940 NEW BEST:: SOT 966525 SOS 636808 HAS SOPS 636808 HAS SOUS 537453 HAS SOUPS 537453 WITH SCORE 538089.808
AT ITER 1968 NEW BEST:: SOT 966417 SOS 636699 HAS SOPS 636699 HAS SOUS 537344 HAS SOUPS 537344 WITH SCORE 537980.699
AT ITER 1969 NEW BEST:: SOT 966613 SOS 636986 HAS SOPS 636986 HAS SOUS 537284 HAS SOUPS 537284 WITH SCORE 537920.986
AT ITER 1970 NEW BEST:: SOT 966608 SOS 636981 HAS SOPS 636981 HAS SOUS 537279 HAS SOUPS 537279 WITH SCORE 537915.981
AT ITER 1973 NEW BEST:: SOT 966509 SOS 636882 HAS SOPS 636882 HAS SOUS 537180 HAS SOUPS 537180 WITH SCORE 537816.882
AT ITER 1977 NEW BEST:: SOT 966400 SOS 636773 HAS SOPS 636773 HAS SOUS 537071 HAS SOUPS 537071 WITH SCORE 537707.773
AT ITER 1981 NEW BEST:: SOT 966241 SOS 636489 HAS SOPS 636489 HAS SOUS 536808 HAS SOUPS 536808 WITH SCORE 537444.489
AT ITER 1984 NEW BEST:: SOT 965859 SOS 636236 HAS SOPS 636236 HAS SOUS 536553 HAS SOUPS 536553 WITH SCORE 537189.236
AT ITER 1995 NEW BEST:: SOT 965554 SOS 635931 HAS SOPS 635931 HAS SOUS 536248 HAS SOUPS 536248 WITH SCORE 536883.931
AT ITER 1999 NEW BEST:: SOT 965294 SOS 635833 HAS SOPS 635833 HAS SOUS 536027 HAS SOUPS 536027 WITH SCORE 536662.833
AT ITER 2001 NEW BEST:: SOT 965282 SOS 635797 HAS SOPS 635797 HAS SOUS 536027 HAS SOUPS 536027 WITH SCORE 536662.797
AT ITER 2004 NEW BEST:: SOT 965017 SOS 635332 HAS SOPS 635332 HAS SOUS 535562 HAS SOUPS 535562 WITH SCORE 536197.332
AT ITER 2008 NEW BEST:: SOT 965064 SOS 634432 HAS SOPS 634432 HAS SOUS 535311 HAS SOUPS 535311 WITH SCORE 535945.432
AT ITER 2010 NEW BEST:: SOT 965064 SOS 634354 HAS SOPS 634354 HAS SOUS 535233 HAS SOUPS 535233 WITH SCORE 535867.354
AT ITER 2014 NEW BEST:: SOT 964932 SOS 633783 HAS SOPS 633783 HAS SOUS 534892 HAS SOUPS 534892 WITH SCORE 535525.783
AT ITER 2023 NEW BEST:: SOT 965207 SOS 633627 HAS SOPS 633627 HAS SOUS 534521 HAS SOUPS 534521 WITH SCORE 535154.627
AT ITER 2027 NEW BEST:: SOT 964978 SOS 632204 HAS SOPS 632204 HAS SOUS 534332 HAS SOUPS 534332 WITH SCORE 534964.204
AT ITER 2028 NEW BEST:: SOT 964305 SOS 631747 HAS SOPS 631747 HAS SOUS 533884 HAS SOUPS 533884 WITH SCORE 534515.747
AT ITER 2033 NEW BEST:: SOT 963842 SOS 631240 HAS SOPS 631240 HAS SOUS 533377 HAS SOUPS 533377 WITH SCORE 534008.24
AT ITER 2036 NEW BEST:: SOT 963659 SOS 631041 HAS SOPS 631041 HAS SOUS 533178 HAS SOUPS 533178 WITH SCORE 533809.041
AT ITER 2043 NEW BEST:: SOT 963659 SOS 630884 HAS SOPS 630884 HAS SOUS 533096 HAS SOUPS 533096 WITH SCORE 533726.884
AT ITER 2048 NEW BEST:: SOT 963659 SOS 630884 HAS SOPS 630884 HAS SOUS 533013 HAS SOUPS 533013 WITH SCORE 533643.884
AT ITER 2051 NEW BEST:: SOT 963712 SOS 630400 HAS SOPS 630400 HAS SOUS 532217 HAS SOUPS 532217 WITH SCORE 532847.4
AT ITER 2053 NEW BEST:: SOT 963513 SOS 630080 HAS SOPS 630080 HAS SOUS 531778 HAS SOUPS 531778 WITH SCORE 532408.08
AT ITER 2054 NEW BEST:: SOT 963790 SOS 629639 HAS SOPS 629639 HAS SOUS 531257 HAS SOUPS 531257 WITH SCORE 531886.639
AT ITER 2058 NEW BEST:: SOT 963224 SOS 628771 HAS SOPS 628771 HAS SOUS 530361 HAS SOUPS 530361 WITH SCORE 530989.771
AT ITER 2060 NEW BEST:: SOT 962976 SOS 628523 HAS SOPS 628523 HAS SOUS 530190 HAS SOUPS 530190 WITH SCORE 530818.523
AT ITER 2066 NEW BEST:: SOT 962927 SOS 628474 HAS SOPS 628474 HAS SOUS 530141 HAS SOUPS 530141 WITH SCORE 530769.474
AT ITER 2067 NEW BEST:: SOT 963002 SOS 628502 HAS SOPS 628502 HAS SOUS 529918 HAS SOUPS 529918 WITH SCORE 530546.502
AT ITER 2069 NEW BEST:: SOT 963079 SOS 628511 HAS SOPS 628511 HAS SOUS 529882 HAS SOUPS 529882 WITH SCORE 530510.511
AT ITER 2071 NEW BEST:: SOT 963009 SOS 628441 HAS SOPS 628441 HAS SOUS 529812 HAS SOUPS 529812 WITH SCORE 530440.441
AT ITER 2077 NEW BEST:: SOT 962859 SOS 628121 HAS SOPS 628121 HAS SOUS 529475 HAS SOUPS 529475 WITH SCORE 530103.121
AT ITER 2079 NEW BEST:: SOT 962823 SOS 628085 HAS SOPS 628085 HAS SOUS 529439 HAS SOUPS 529439 WITH SCORE 530067.085
AT ITER 2080 NEW BEST:: SOT 962686 SOS 627457 HAS SOPS 627457 HAS SOUS 528863 HAS SOUPS 528863 WITH SCORE 529490.457
AT ITER 2081 NEW BEST:: SOT 962886 SOS 628057 HAS SOPS 628057 HAS SOUS 528847 HAS SOUPS 528847 WITH SCORE 529475.057
AT ITER 2082 NEW BEST:: SOT 962910 SOS 628097 HAS SOPS 628097 HAS SOUS 528806 HAS SOUPS 528806 WITH SCORE 529434.097
AT ITER 2086 NEW BEST:: SOT 962910 SOS 628139 HAS SOPS 628139 HAS SOUS 528547 HAS SOUPS 528547 WITH SCORE 529175.139
AT ITER 2089 NEW BEST:: SOT 962690 SOS 627919 HAS SOPS 627919 HAS SOUS 528327 HAS SOUPS 528327 WITH SCORE 528954.919
AT ITER 2092 NEW BEST:: SOT 962652 SOS 627367 HAS SOPS 627367 HAS SOUS 527363 HAS SOUPS 527363 WITH SCORE 527990.367
AT ITER 2096 NEW BEST:: SOT 963986 SOS 627197 HAS SOPS 627197 HAS SOUS 527187 HAS SOUPS 527187 WITH SCORE 527814.197
AT ITER 2100 NEW BEST:: SOT 965366 SOS 627621 HAS SOPS 627621 HAS SOUS 527078 HAS SOUPS 527078 WITH SCORE 527705.621
AT ITER 2104 NEW BEST:: SOT 965262 SOS 627465 HAS SOPS 627465 HAS SOUS 526922 HAS SOUPS 526922 WITH SCORE 527549.465
AT ITER 2106 NEW BEST:: SOT 965262 SOS 626361 HAS SOPS 626361 HAS SOUS 526690 HAS SOUPS 526690 WITH SCORE 527316.361
AT ITER 2110 NEW BEST:: SOT 965100 SOS 626197 HAS SOPS 626197 HAS SOUS 526526 HAS SOUPS 526526 WITH SCORE 527152.197
AT ITER 2114 NEW BEST:: SOT 965100 SOS 626197 HAS SOPS 626197 HAS SOUS 526523 HAS SOUPS 526523 WITH SCORE 527149.197
AT ITER 2117 NEW BEST:: SOT 964448 SOS 625502 HAS SOPS 625502 HAS SOUS 525828 HAS SOUPS 525828 WITH SCORE 526453.502
AT ITER 2118 NEW BEST:: SOT 964471 SOS 625187 HAS SOPS 625187 HAS SOUS 525513 HAS SOUPS 525513 WITH SCORE 526138.187
AT ITER 2122 NEW BEST:: SOT 964230 SOS 624866 HAS SOPS 624866 HAS SOUS 525057 HAS SOUPS 525057 WITH SCORE 525681.866
AT ITER 2123 NEW BEST:: SOT 964252 SOS 624884 HAS SOPS 624884 HAS SOUS 525053 HAS SOUPS 525053 WITH SCORE 525677.884
AT ITER 2132 NEW BEST:: SOT 964252 SOS 624952 HAS SOPS 624952 HAS SOUS 525036 HAS SOUPS 525036 WITH SCORE 525660.952
AT ITER 2137 NEW BEST:: SOT 964199 SOS 624890 HAS SOPS 624890 HAS SOUS 524973 HAS SOUPS 524973 WITH SCORE 525597.89
AT ITER 2144 NEW BEST:: SOT 963762 SOS 624318 HAS SOPS 624318 HAS SOUS 524452 HAS SOUPS 524452 WITH SCORE 525076.318
AT ITER 2150 NEW BEST:: SOT 963779 SOS 624034 HAS SOPS 624034 HAS SOUS 524350 HAS SOUPS 524350 WITH SCORE 524974.034
AT ITER 2153 NEW BEST:: SOT 963779 SOS 624032 HAS SOPS 624032 HAS SOUS 524348 HAS SOUPS 524348 WITH SCORE 524972.032
AT ITER 2156 NEW BEST:: SOT 963801 SOS 623850 HAS SOPS 623850 HAS SOUS 524200 HAS SOUPS 524200 WITH SCORE 524823.85
AT ITER 2157 NEW BEST:: SOT 963799 SOS 621566 HAS SOPS 621566 HAS SOUS 521530 HAS SOUPS 521530 WITH SCORE 522151.566
AT ITER 2166 NEW BEST:: SOT 963962 SOS 621609 HAS SOPS 621609 HAS SOUS 521423 HAS SOUPS 521423 WITH SCORE 522044.609
AT ITER 2176 NEW BEST:: SOT 963913 SOS 621509 HAS SOPS 621509 HAS SOUS 520922 HAS SOUPS 520922 WITH SCORE 521543.509
AT ITER 2191 NEW BEST:: SOT 963913 SOS 621546 HAS SOPS 621546 HAS SOUS 520920 HAS SOUPS 520920 WITH SCORE 521541.546
AT ITER 2194 NEW BEST:: SOT 963868 SOS 621501 HAS SOPS 621501 HAS SOUS 520875 HAS SOUPS 520875 WITH SCORE 521496.501
AT ITER 2196 NEW BEST:: SOT 963874 SOS 620227 HAS SOPS 620227 HAS SOUS 520122 HAS SOUPS 520122 WITH SCORE 520742.227
AT ITER 2197 NEW BEST:: SOT 963287 SOS 619640 HAS SOPS 619640 HAS SOUS 519725 HAS SOUPS 519725 WITH SCORE 520344.64
AT ITER 2200 NEW BEST:: SOT 963378 SOS 619012 HAS SOPS 619012 HAS SOUS 519598 HAS SOUPS 519598 WITH SCORE 520217.012
AT ITER 2213 NEW BEST:: SOT 963006 SOS 618638 HAS SOPS 618638 HAS SOUS 519045 HAS SOUPS 519045 WITH SCORE 519663.638
AT ITER 2224 NEW BEST:: SOT 962958 SOS 618765 HAS SOPS 618765 HAS SOUS 518805 HAS SOUPS 518805 WITH SCORE 519423.765
AT ITER 2234 NEW BEST:: SOT 962958 SOS 618818 HAS SOPS 618818 HAS SOUS 518752 HAS SOUPS 518752 WITH SCORE 519370.818
AT ITER 2235 NEW BEST:: SOT 963111 SOS 618971 HAS SOPS 618971 HAS SOUS 518751 HAS SOUPS 518751 WITH SCORE 519369.971
AT ITER 2238 NEW BEST:: SOT 963085 SOS 618878 HAS SOPS 618878 HAS SOUS 518658 HAS SOUPS 518658 WITH SCORE 519276.878
AT ITER 2239 NEW BEST:: SOT 962964 SOS 617954 HAS SOPS 617954 HAS SOUS 517734 HAS SOUPS 517734 WITH SCORE 518351.954
AT ITER 2246 NEW BEST:: SOT 962972 SOS 617028 HAS SOPS 617028 HAS SOUS 516917 HAS SOUPS 516917 WITH SCORE 517534.028
AT ITER 2247 NEW BEST:: SOT 962936 SOS 616992 HAS SOPS 616992 HAS SOUS 516881 HAS SOUPS 516881 WITH SCORE 517497.992
AT ITER 2249 NEW BEST:: SOT 962674 SOS 616730 HAS SOPS 616730 HAS SOUS 516692 HAS SOUPS 516692 WITH SCORE 517308.73
AT ITER 2258 NEW BEST:: SOT 962558 SOS 616687 HAS SOPS 616687 HAS SOUS 516559 HAS SOUPS 516559 WITH SCORE 517175.687
AT ITER 2270 NEW BEST:: SOT 962142 SOS 616293 HAS SOPS 616293 HAS SOUS 516165 HAS SOUPS 516165 WITH SCORE 516781.293
AT ITER 2274 NEW BEST:: SOT 961994 SOS 616145 HAS SOPS 616145 HAS SOUS 516017 HAS SOUPS 516017 WITH SCORE 516633.145
AT ITER 2277 NEW BEST:: SOT 961839 SOS 615990 HAS SOPS 615990 HAS SOUS 515862 HAS SOUPS 515862 WITH SCORE 516477.99
AT ITER 2278 NEW BEST:: SOT 961753 SOS 615294 HAS SOPS 615294 HAS SOUS 515764 HAS SOUPS 515764 WITH SCORE 516379.294
AT ITER 2280 NEW BEST:: SOT 961501 SOS 615042 HAS SOPS 615042 HAS SOUS 515512 HAS SOUPS 515512 WITH SCORE 516127.042
AT ITER 2282 NEW BEST:: SOT 961010 SOS 614615 HAS SOPS 614615 HAS SOUS 515085 HAS SOUPS 515085 WITH SCORE 515699.615
AT ITER 2284 NEW BEST:: SOT 960974 SOS 614570 HAS SOPS 614570 HAS SOUS 515040 HAS SOUPS 515040 WITH SCORE 515654.57
AT ITER 2285 NEW BEST:: SOT 960661 SOS 614251 HAS SOPS 614251 HAS SOUS 514723 HAS SOUPS 514723 WITH SCORE 515337.251
AT ITER 2290 NEW BEST:: SOT 961133 SOS 613141 HAS SOPS 613141 HAS SOUS 514071 HAS SOUPS 514071 WITH SCORE 514684.141
AT ITER 2299 NEW BEST:: SOT 961220 SOS 612996 HAS SOPS 612996 HAS SOUS 513926 HAS SOUPS 513926 WITH SCORE 514538.996
AT ITER 2301 NEW BEST:: SOT 960977 SOS 612753 HAS SOPS 612753 HAS SOUS 513683 HAS SOUPS 513683 WITH SCORE 514295.753
AT ITER 2304 NEW BEST:: SOT 960895 SOS 612631 HAS SOPS 612631 HAS SOUS 513561 HAS SOUPS 513561 WITH SCORE 514173.631
AT ITER 2306 NEW BEST:: SOT 960654 SOS 612149 HAS SOPS 612149 HAS SOUS 513079 HAS SOUPS 513079 WITH SCORE 513691.149
AT ITER 2307 NEW BEST:: SOT 960284 SOS 611779 HAS SOPS 611779 HAS SOUS 512709 HAS SOUPS 512709 WITH SCORE 513320.779
AT ITER 2315 NEW BEST:: SOT 960244 SOS 611699 HAS SOPS 611699 HAS SOUS 512509 HAS SOUPS 512509 WITH SCORE 513120.699
AT ITER 2316 NEW BEST:: SOT 960059 SOS 611512 HAS SOPS 611512 HAS SOUS 512322 HAS SOUPS 512322 WITH SCORE 512933.512
AT ITER 2317 NEW BEST:: SOT 959357 SOS 610809 HAS SOPS 610809 HAS SOUS 511718 HAS SOUPS 511718 WITH SCORE 512328.809
AT ITER 2324 NEW BEST:: SOT 959294 SOS 610746 HAS SOPS 610746 HAS SOUS 511655 HAS SOUPS 511655 WITH SCORE 512265.746
AT ITER 2325 NEW BEST:: SOT 959268 SOS 610668 HAS SOPS 610668 HAS SOUS 511603 HAS SOUPS 511603 WITH SCORE 512213.668
AT ITER 2332 NEW BEST:: SOT 959179 SOS 610579 HAS SOPS 610579 HAS SOUS 511514 HAS SOUPS 511514 WITH SCORE 512124.579
AT ITER 2333 NEW BEST:: SOT 958467 SOS 609867 HAS SOPS 609867 HAS SOUS 510802 HAS SOUPS 510802 WITH SCORE 511411.867
AT ITER 2334 NEW BEST:: SOT 958279 SOS 609450 HAS SOPS 609450 HAS SOUS 510637 HAS SOUPS 510637 WITH SCORE 511246.45
AT ITER 2336 NEW BEST:: SOT 958138 SOS 609167 HAS SOPS 609167 HAS SOUS 510354 HAS SOUPS 510354 WITH SCORE 510963.167
AT ITER 2338 NEW BEST:: SOT 958012 SOS 608511 HAS SOPS 608511 HAS SOUS 509698 HAS SOUPS 509698 WITH SCORE 510306.511
AT ITER 2349 NEW BEST:: SOT 958439 SOS 608978 HAS SOPS 608978 HAS SOUS 509667 HAS SOUPS 509667 WITH SCORE 510275.978
AT ITER 2354 NEW BEST:: SOT 957797 SOS 608330 HAS SOPS 608330 HAS SOUS 509019 HAS SOUPS 509019 WITH SCORE 509627.33
AT ITER 2373 NEW BEST:: SOT 957887 SOS 608568 HAS SOPS 608568 HAS SOUS 508956 HAS SOUPS 508956 WITH SCORE 509564.568
AT ITER 2376 NEW BEST:: SOT 957865 SOS 608634 HAS SOPS 608634 HAS SOUS 508868 HAS SOUPS 508868 WITH SCORE 509476.634
AT ITER 2377 NEW BEST:: SOT 957207 SOS 606472 HAS SOPS 606472 HAS SOUS 506530 HAS SOUPS 506530 WITH SCORE 507136.472
AT ITER 2379 NEW BEST:: SOT 957103 SOS 606368 HAS SOPS 606368 HAS SOUS 506530 HAS SOUPS 506530 WITH SCORE 507136.368
AT ITER 2382 NEW BEST:: SOT 956843 SOS 606238 HAS SOPS 606238 HAS SOUS 506400 HAS SOUPS 506400 WITH SCORE 507006.238
AT ITER 2385 NEW BEST:: SOT 956677 SOS 606174 HAS SOPS 606174 HAS SOUS 506389 HAS SOUPS 506389 WITH SCORE 506995.174
AT ITER 2393 NEW BEST:: SOT 956677 SOS 606020 HAS SOPS 606020 HAS SOUS 506235 HAS SOUPS 506235 WITH SCORE 506841.02
AT ITER 2394 NEW BEST:: SOT 956551 SOS 605831 HAS SOPS 605831 HAS SOUS 505794 HAS SOUPS 505794 WITH SCORE 506399.831
AT ITER 2395 NEW BEST:: SOT 956862 SOS 605953 HAS SOPS 605953 HAS SOUS 505315 HAS SOUPS 505315 WITH SCORE 505920.953
AT ITER 2397 NEW BEST:: SOT 956438 SOS 605435 HAS SOPS 605435 HAS SOUS 504797 HAS SOUPS 504797 WITH SCORE 505402.435
AT ITER 2399 NEW BEST:: SOT 956340 SOS 605337 HAS SOPS 605337 HAS SOUS 504650 HAS SOUPS 504650 WITH SCORE 505255.337
AT ITER 2400 NEW BEST:: SOT 956056 SOS 605051 HAS SOPS 605051 HAS SOUS 504364 HAS SOUPS 504364 WITH SCORE 504969.051
AT ITER 2401 NEW BEST:: SOT 956038 SOS 605033 HAS SOPS 605033 HAS SOUS 504346 HAS SOUPS 504346 WITH SCORE 504951.033
AT ITER 2402 NEW BEST:: SOT 956035 SOS 604788 HAS SOPS 604788 HAS SOUS 503837 HAS SOUPS 503837 WITH SCORE 504441.788
AT ITER 2405 NEW BEST:: SOT 956035 SOS 604592 HAS SOPS 604592 HAS SOUS 503837 HAS SOUPS 503837 WITH SCORE 504441.592
AT ITER 2409 NEW BEST:: SOT 955957 SOS 603972 HAS SOPS 603972 HAS SOUS 503034 HAS SOUPS 503034 WITH SCORE 503637.972
AT ITER 2410 NEW BEST:: SOT 955651 SOS 603139 HAS SOPS 603139 HAS SOUS 502215 HAS SOUPS 502215 WITH SCORE 502818.139
AT ITER 2413 NEW BEST:: SOT 955698 SOS 603027 HAS SOPS 603027 HAS SOUS 502101 HAS SOUPS 502101 WITH SCORE 502704.027
AT ITER 2425 NEW BEST:: SOT 955698 SOS 603027 HAS SOPS 603027 HAS SOUS 502004 HAS SOUPS 502004 WITH SCORE 502607.027
AT ITER 2429 NEW BEST:: SOT 955623 SOS 602977 HAS SOPS 602977 HAS SOUS 501954 HAS SOUPS 501954 WITH SCORE 502556.977
AT ITER 2430 NEW BEST:: SOT 955623 SOS 602767 HAS SOPS 602767 HAS SOUS 501954 HAS SOUPS 501954 WITH SCORE 502556.767
AT ITER 2439 NEW BEST:: SOT 955605 SOS 602749 HAS SOPS 602749 HAS SOUS 501927 HAS SOUPS 501927 WITH SCORE 502529.749
AT ITER 2446 NEW BEST:: SOT 954741 SOS 601625 HAS SOPS 601625 HAS SOUS 500822 HAS SOUPS 500822 WITH SCORE 501423.625
AT ITER 2451 NEW BEST:: SOT 954448 SOS 601287 HAS SOPS 601287 HAS SOUS 500545 HAS SOUPS 500545 WITH SCORE 501146.287
AT ITER 2462 NEW BEST:: SOT 954430 SOS 601269 HAS SOPS 601269 HAS SOUS 500527 HAS SOUPS 500527 WITH SCORE 501128.269
AT ITER 2478 NEW BEST:: SOT 954326 SOS 601165 HAS SOPS 601165 HAS SOUS 500423 HAS SOUPS 500423 WITH SCORE 501024.165
AT ITER 2481 NEW BEST:: SOT 954326 SOS 601163 HAS SOPS 601163 HAS SOUS 500395 HAS SOUPS 500395 WITH SCORE 500996.163
AT ITER 2489 NEW BEST:: SOT 953970 SOS 600359 HAS SOPS 600359 HAS SOUS 499747 HAS SOUPS 499747 WITH SCORE 500347.359
AT ITER 2491 NEW BEST:: SOT 953968 SOS 600357 HAS SOPS 600357 HAS SOUS 499745 HAS SOUPS 499745 WITH SCORE 500345.357
AT ITER 2503 NEW BEST:: SOT 953964 SOS 600353 HAS SOPS 600353 HAS SOUS 499741 HAS SOUPS 499741 WITH SCORE 500341.353
AT ITER 2518 NEW BEST:: SOT 953974 SOS 600347 HAS SOPS 600347 HAS SOUS 499735 HAS SOUPS 499735 WITH SCORE 500335.347
AT ITER 2524 NEW BEST:: SOT 953447 SOS 599820 HAS SOPS 599820 HAS SOUS 499208 HAS SOUPS 499208 WITH SCORE 499807.82
AT ITER 2531 NEW BEST:: SOT 953817 SOS 599791 HAS SOPS 599791 HAS SOUS 499094 HAS SOUPS 499094 WITH SCORE 499693.791
AT ITER 2538 NEW BEST:: SOT 953817 SOS 599623 HAS SOPS 599623 HAS SOUS 498893 HAS SOUPS 498893 WITH SCORE 499492.623
AT ITER 2539 NEW BEST:: SOT 953490 SOS 598959 HAS SOPS 598959 HAS SOUS 498295 HAS SOUPS 498295 WITH SCORE 498893.959
AT ITER 2547 NEW BEST:: SOT 952976 SOS 598141 HAS SOPS 598141 HAS SOUS 497454 HAS SOUPS 497454 WITH SCORE 498052.141
AT ITER 2548 NEW BEST:: SOT 952765 SOS 597774 HAS SOPS 597774 HAS SOUS 497087 HAS SOUPS 497087 WITH SCORE 497684.774
AT ITER 2554 NEW BEST:: SOT 952291 SOS 596202 HAS SOPS 596202 HAS SOUS 496346 HAS SOUPS 496346 WITH SCORE 496942.202
AT ITER 2558 NEW BEST:: SOT 952665 SOS 596364 HAS SOPS 596364 HAS SOUS 496337 HAS SOUPS 496337 WITH SCORE 496933.364
AT ITER 2559 NEW BEST:: SOT 952665 SOS 596359 HAS SOPS 596359 HAS SOUS 496335 HAS SOUPS 496335 WITH SCORE 496931.359
AT ITER 2578 NEW BEST:: SOT 952993 SOS 594839 HAS SOPS 594839 HAS SOUS 496132 HAS SOUPS 496132 WITH SCORE 496726.839
AT ITER 2579 NEW BEST:: SOT 952993 SOS 594284 HAS SOPS 594284 HAS SOUS 495947 HAS SOUPS 495947 WITH SCORE 496541.284
AT ITER 2582 NEW BEST:: SOT 952993 SOS 593959 HAS SOPS 593959 HAS SOUS 495510 HAS SOUPS 495510 WITH SCORE 496103.959
AT ITER 2585 NEW BEST:: SOT 953375 SOS 594381 HAS SOPS 594381 HAS SOUS 495210 HAS SOUPS 495210 WITH SCORE 495804.381
AT ITER 2589 NEW BEST:: SOT 953317 SOS 594323 HAS SOPS 594323 HAS SOUS 495152 HAS SOUPS 495152 WITH SCORE 495746.323
AT ITER 2590 NEW BEST:: SOT 953094 SOS 594023 HAS SOPS 594023 HAS SOUS 494852 HAS SOUPS 494852 WITH SCORE 495446.023
AT ITER 2591 NEW BEST:: SOT 952884 SOS 593953 HAS SOPS 593953 HAS SOUS 494569 HAS SOUPS 494569 WITH SCORE 495162.953
AT ITER 2592 NEW BEST:: SOT 952676 SOS 593547 HAS SOPS 593547 HAS SOUS 494247 HAS SOUPS 494247 WITH SCORE 494840.547
AT ITER 2595 NEW BEST:: SOT 952676 SOS 593492 HAS SOPS 593492 HAS SOUS 494192 HAS SOUPS 494192 WITH SCORE 494785.492
AT ITER 2605 NEW BEST:: SOT 952981 SOS 593616 HAS SOPS 593616 HAS SOUS 494182 HAS SOUPS 494182 WITH SCORE 494775.616
AT ITER 2607 NEW BEST:: SOT 952855 SOS 593372 HAS SOPS 593372 HAS SOUS 493938 HAS SOUPS 493938 WITH SCORE 494531.372
AT ITER 2609 NEW BEST:: SOT 952624 SOS 593141 HAS SOPS 593141 HAS SOUS 493707 HAS SOUPS 493707 WITH SCORE 494300.141
AT ITER 2613 NEW BEST:: SOT 952535 SOS 593058 HAS SOPS 593058 HAS SOUS 493523 HAS SOUPS 493523 WITH SCORE 494116.058
AT ITER 2625 NEW BEST:: SOT 952505 SOS 592257 HAS SOPS 592257 HAS SOUS 493371 HAS SOUPS 493371 WITH SCORE 493963.257
AT ITER 2627 NEW BEST:: SOT 953252 SOS 592285 HAS SOPS 592285 HAS SOUS 493211 HAS SOUPS 493211 WITH SCORE 493803.285
AT ITER 2629 NEW BEST:: SOT 952521 SOS 592351 HAS SOPS 592351 HAS SOUS 492673 HAS SOUPS 492673 WITH SCORE 493265.351
AT ITER 2630 NEW BEST:: SOT 951989 SOS 590764 HAS SOPS 590764 HAS SOUS 492017 HAS SOUPS 492017 WITH SCORE 492607.764
AT ITER 2632 NEW BEST:: SOT 951252 SOS 589872 HAS SOPS 589872 HAS SOUS 491088 HAS SOUPS 491088 WITH SCORE 491677.872
AT ITER 2636 NEW BEST:: SOT 951370 SOS 589902 HAS SOPS 589902 HAS SOUS 491041 HAS SOUPS 491041 WITH SCORE 491630.902
AT ITER 2637 NEW BEST:: SOT 951160 SOS 589601 HAS SOPS 589601 HAS SOUS 490755 HAS SOUPS 490755 WITH SCORE 491344.601
AT ITER 2638 NEW BEST:: SOT 951160 SOS 589557 HAS SOPS 589557 HAS SOUS 490669 HAS SOUPS 490669 WITH SCORE 491258.557
AT ITER 2639 NEW BEST:: SOT 951303 SOS 589699 HAS SOPS 589699 HAS SOUS 490668 HAS SOUPS 490668 WITH SCORE 491257.699
AT ITER 2641 NEW BEST:: SOT 951859 SOS 588848 HAS SOPS 588848 HAS SOUS 490339 HAS SOUPS 490339 WITH SCORE 490927.848
AT ITER 2654 NEW BEST:: SOT 952005 SOS 589705 HAS SOPS 589705 HAS SOUS 490067 HAS SOUPS 490067 WITH SCORE 490656.705
AT ITER 2656 NEW BEST:: SOT 951948 SOS 589477 HAS SOPS 589477 HAS SOUS 489950 HAS SOUPS 489950 WITH SCORE 490539.477
AT ITER 2659 NEW BEST:: SOT 951848 SOS 589377 HAS SOPS 589377 HAS SOUS 489850 HAS SOUPS 489850 WITH SCORE 490439.377
AT ITER 2663 NEW BEST:: SOT 952141 SOS 589434 HAS SOPS 589434 HAS SOUS 489844 HAS SOUPS 489844 WITH SCORE 490433.434
AT ITER 2665 NEW BEST:: SOT 951254 SOS 589576 HAS SOPS 589576 HAS SOUS 488787 HAS SOUPS 488787 WITH SCORE 489376.576
AT ITER 2667 NEW BEST:: SOT 951245 SOS 589567 HAS SOPS 589567 HAS SOUS 488787 HAS SOUPS 488787 WITH SCORE 489376.567
AT ITER 2674 NEW BEST:: SOT 950814 SOS 588605 HAS SOPS 588605 HAS SOUS 488133 HAS SOUPS 488133 WITH SCORE 488721.605
AT ITER 2678 NEW BEST:: SOT 950677 SOS 588593 HAS SOPS 588593 HAS SOUS 488130 HAS SOUPS 488130 WITH SCORE 488718.593
AT ITER 2679 NEW BEST:: SOT 950326 SOS 587339 HAS SOPS 587339 HAS SOUS 487918 HAS SOUPS 487918 WITH SCORE 488505.339
AT ITER 2700 NEW BEST:: SOT 950317 SOS 587312 HAS SOPS 587312 HAS SOUS 487900 HAS SOUPS 487900 WITH SCORE 488487.312
AT ITER 2707 NEW BEST:: SOT 950235 SOS 587235 HAS SOPS 587235 HAS SOUS 487823 HAS SOUPS 487823 WITH SCORE 488410.235
AT ITER 2710 NEW BEST:: SOT 950198 SOS 587161 HAS SOPS 587161 HAS SOUS 487786 HAS SOUPS 487786 WITH SCORE 488373.161
AT ITER 2715 NEW BEST:: SOT 950259 SOS 587222 HAS SOPS 587222 HAS SOUS 487751 HAS SOUPS 487751 WITH SCORE 488338.222
AT ITER 2717 NEW BEST:: SOT 950407 SOS 586541 HAS SOPS 586541 HAS SOUS 487338 HAS SOUPS 487338 WITH SCORE 487924.541
AT ITER 2719 NEW BEST:: SOT 950313 SOS 586465 HAS SOPS 586465 HAS SOUS 487262 HAS SOUPS 487262 WITH SCORE 487848.465
AT ITER 2720 NEW BEST:: SOT 950265 SOS 586390 HAS SOPS 586390 HAS SOUS 487187 HAS SOUPS 487187 WITH SCORE 487773.39
AT ITER 2722 NEW BEST:: SOT 950186 SOS 586074 HAS SOPS 586074 HAS SOUS 486948 HAS SOUPS 486948 WITH SCORE 487534.074
AT ITER 2732 NEW BEST:: SOT 950186 SOS 585972 HAS SOPS 585972 HAS SOUS 486846 HAS SOUPS 486846 WITH SCORE 487431.972
AT ITER 2733 NEW BEST:: SOT 950186 SOS 586168 HAS SOPS 586168 HAS SOUS 486762 HAS SOUPS 486762 WITH SCORE 487348.168
AT ITER 2737 NEW BEST:: SOT 950166 SOS 586036 HAS SOPS 586036 HAS SOUS 486630 HAS SOUPS 486630 WITH SCORE 487216.036
AT ITER 2739 NEW BEST:: SOT 950177 SOS 585911 HAS SOPS 585911 HAS SOUS 486417 HAS SOUPS 486417 WITH SCORE 487002.911
AT ITER 2743 NEW BEST:: SOT 950177 SOS 585953 HAS SOPS 585953 HAS SOUS 485611 HAS SOUPS 485611 WITH SCORE 486196.953
AT ITER 2744 NEW BEST:: SOT 950412 SOS 586121 HAS SOPS 586121 HAS SOUS 485458 HAS SOUPS 485458 WITH SCORE 486044.121
AT ITER 2751 NEW BEST:: SOT 950412 SOS 585714 HAS SOPS 585714 HAS SOUS 485441 HAS SOUPS 485441 WITH SCORE 486026.714
AT ITER 2754 NEW BEST:: SOT 950412 SOS 585721 HAS SOPS 585721 HAS SOUS 485414 HAS SOUPS 485414 WITH SCORE 485999.721
AT ITER 2756 NEW BEST:: SOT 950332 SOS 585601 HAS SOPS 585601 HAS SOUS 485294 HAS SOUPS 485294 WITH SCORE 485879.601
AT ITER 2757 NEW BEST:: SOT 950304 SOS 585562 HAS SOPS 585562 HAS SOUS 485255 HAS SOUPS 485255 WITH SCORE 485840.562
AT ITER 2769 NEW BEST:: SOT 949483 SOS 584866 HAS SOPS 584866 HAS SOUS 484358 HAS SOUPS 484358 WITH SCORE 484942.866
AT ITER 2774 NEW BEST:: SOT 949499 SOS 584476 HAS SOPS 584476 HAS SOUS 483940 HAS SOUPS 483940 WITH SCORE 484524.476
AT ITER 2775 NEW BEST:: SOT 949497 SOS 584476 HAS SOPS 584476 HAS SOUS 483936 HAS SOUPS 483936 WITH SCORE 484520.476
AT ITER 2790 NEW BEST:: SOT 949425 SOS 584404 HAS SOPS 584404 HAS SOUS 483864 HAS SOUPS 483864 WITH SCORE 484448.404
AT ITER 2795 NEW BEST:: SOT 949174 SOS 583647 HAS SOPS 583647 HAS SOUS 483443 HAS SOUPS 483443 WITH SCORE 484026.647
AT ITER 2800 NEW BEST:: SOT 949198 SOS 583660 HAS SOPS 583660 HAS SOUS 483242 HAS SOUPS 483242 WITH SCORE 483825.66
AT ITER 2803 NEW BEST:: SOT 949062 SOS 583660 HAS SOPS 583660 HAS SOUS 483171 HAS SOUPS 483171 WITH SCORE 483754.66
AT ITER 2804 NEW BEST:: SOT 948977 SOS 583403 HAS SOPS 583403 HAS SOUS 482914 HAS SOUPS 482914 WITH SCORE 483497.403
AT ITER 2807 NEW BEST:: SOT 948977 SOS 583653 HAS SOPS 583653 HAS SOUS 482832 HAS SOUPS 482832 WITH SCORE 483415.653
AT ITER 2808 NEW BEST:: SOT 948977 SOS 581432 HAS SOPS 581432 HAS SOUS 481782 HAS SOUPS 481782 WITH SCORE 482363.432
AT ITER 2809 NEW BEST:: SOT 948976 SOS 581407 HAS SOPS 581407 HAS SOUS 481757 HAS SOUPS 481757 WITH SCORE 482338.407
AT ITER 2817 NEW BEST:: SOT 948812 SOS 581243 HAS SOPS 581243 HAS SOUS 481593 HAS SOUPS 481593 WITH SCORE 482174.243
AT ITER 2818 NEW BEST:: SOT 948634 SOS 581065 HAS SOPS 581065 HAS SOUS 481415 HAS SOUPS 481415 WITH SCORE 481996.065
AT ITER 2819 NEW BEST:: SOT 948087 SOS 580575 HAS SOPS 580575 HAS SOUS 480925 HAS SOUPS 480925 WITH SCORE 481505.575
AT ITER 2822 NEW BEST:: SOT 948083 SOS 580571 HAS SOPS 580571 HAS SOUS 480901 HAS SOUPS 480901 WITH SCORE 481481.571
AT ITER 2834 NEW BEST:: SOT 947876 SOS 580202 HAS SOPS 580202 HAS SOUS 480834 HAS SOUPS 480834 WITH SCORE 481414.202
AT ITER 2839 NEW BEST:: SOT 947674 SOS 579845 HAS SOPS 579845 HAS SOUS 480735 HAS SOUPS 480735 WITH SCORE 481314.845
AT ITER 2849 NEW BEST:: SOT 947661 SOS 579793 HAS SOPS 579793 HAS SOUS 480684 HAS SOUPS 480684 WITH SCORE 481263.793
AT ITER 2859 NEW BEST:: SOT 947755 SOS 579822 HAS SOPS 579822 HAS SOUS 480679 HAS SOUPS 480679 WITH SCORE 481258.822
AT ITER 2868 NEW BEST:: SOT 947663 SOS 579730 HAS SOPS 579730 HAS SOUS 480587 HAS SOUPS 480587 WITH SCORE 481166.73
AT ITER 2871 NEW BEST:: SOT 947429 SOS 579641 HAS SOPS 579641 HAS SOUS 480498 HAS SOUPS 480498 WITH SCORE 481077.641
AT ITER 2874 NEW BEST:: SOT 947353 SOS 579451 HAS SOPS 579451 HAS SOUS 480308 HAS SOUPS 480308 WITH SCORE 480887.451
AT ITER 2875 NEW BEST:: SOT 947248 SOS 579346 HAS SOPS 579346 HAS SOUS 480203 HAS SOUPS 480203 WITH SCORE 480782.346
AT ITER 2883 NEW BEST:: SOT 947176 SOS 579274 HAS SOPS 579274 HAS SOUS 480011 HAS SOUPS 480011 WITH SCORE 480590.274
AT ITER 2884 NEW BEST:: SOT 947173 SOS 579274 HAS SOPS 579274 HAS SOUS 480008 HAS SOUPS 480008 WITH SCORE 480587.274
AT ITER 2888 NEW BEST:: SOT 947173 SOS 579274 HAS SOPS 579274 HAS SOUS 480007 HAS SOUPS 480007 WITH SCORE 480586.274
AT ITER 2895 NEW BEST:: SOT 947131 SOS 579232 HAS SOPS 579232 HAS SOUS 479965 HAS SOUPS 479965 WITH SCORE 480544.232
AT ITER 2903 NEW BEST:: SOT 947131 SOS 579232 HAS SOPS 579232 HAS SOUS 479805 HAS SOUPS 479805 WITH SCORE 480384.232
AT ITER 2908 NEW BEST:: SOT 946971 SOS 578912 HAS SOPS 578912 HAS SOUS 479325 HAS SOUPS 479325 WITH SCORE 479903.912
AT ITER 2918 NEW BEST:: SOT 946902 SOS 578843 HAS SOPS 578843 HAS SOUS 479256 HAS SOUPS 479256 WITH SCORE 479834.843
AT ITER 2920 NEW BEST:: SOT 947065 SOS 579025 HAS SOPS 579025 HAS SOUS 478903 HAS SOUPS 478903 WITH SCORE 479482.025
AT ITER 2927 NEW BEST:: SOT 946482 SOS 578427 HAS SOPS 578427 HAS SOUS 478305 HAS SOUPS 478305 WITH SCORE 478883.427
AT ITER 2935 NEW BEST:: SOT 946604 SOS 576139 HAS SOPS 576139 HAS SOUS 475861 HAS SOUPS 475861 WITH SCORE 476437.139
AT ITER 2949 NEW BEST:: SOT 946486 SOS 575927 HAS SOPS 575927 HAS SOUS 475385 HAS SOUPS 475385 WITH SCORE 475960.927
AT ITER 2980 NEW BEST:: SOT 946317 SOS 575758 HAS SOPS 575758 HAS SOUS 475216 HAS SOUPS 475216 WITH SCORE 475791.758
AT ITER 2983 NEW BEST:: SOT 946026 SOS 574964 HAS SOPS 574964 HAS SOUS 474583 HAS SOUPS 474583 WITH SCORE 475157.964
AT ITER 2987 NEW BEST:: SOT 945956 SOS 574894 HAS SOPS 574894 HAS SOUS 474513 HAS SOUPS 474513 WITH SCORE 475087.894
AT ITER 2989 NEW BEST:: SOT 945956 SOS 574650 HAS SOPS 574650 HAS SOUS 474269 HAS SOUPS 474269 WITH SCORE 474843.65
AT ITER 2991 NEW BEST:: SOT 946046 SOS 574513 HAS SOPS 574513 HAS SOUS 474132 HAS SOUPS 474132 WITH SCORE 474706.513
AT ITER 2997 NEW BEST:: SOT 945864 SOS 573927 HAS SOPS 573927 HAS SOUS 473652 HAS SOUPS 473652 WITH SCORE 474225.927
AT ITER 3002 NEW BEST:: SOT 945436 SOS 573625 HAS SOPS 573625 HAS SOUS 473478 HAS SOUPS 473478 WITH SCORE 474051.625
AT ITER 3003 NEW BEST:: SOT 945305 SOS 573232 HAS SOPS 573232 HAS SOUS 473272 HAS SOUPS 473272 WITH SCORE 473845.232
AT ITER 3005 NEW BEST:: SOT 945278 SOS 573118 HAS SOPS 573118 HAS SOUS 473221 HAS SOUPS 473221 WITH SCORE 473794.118
AT ITER 3013 NEW BEST:: SOT 945189 SOS 573029 HAS SOPS 573029 HAS SOUS 473132 HAS SOUPS 473132 WITH SCORE 473705.029
AT ITER 3018 NEW BEST:: SOT 945189 SOS 572917 HAS SOPS 572917 HAS SOUS 473020 HAS SOUPS 473020 WITH SCORE 473592.917
AT ITER 3019 NEW BEST:: SOT 945237 SOS 572837 HAS SOPS 572837 HAS SOUS 472940 HAS SOUPS 472940 WITH SCORE 473512.837
AT ITER 3020 NEW BEST:: SOT 945134 SOS 572205 HAS SOPS 572205 HAS SOUS 472678 HAS SOUPS 472678 WITH SCORE 473250.205
AT ITER 3045 NEW BEST:: SOT 945134 SOS 572088 HAS SOPS 572088 HAS SOUS 472192 HAS SOUPS 472192 WITH SCORE 472764.088
AT ITER 3048 NEW BEST:: SOT 945061 SOS 572015 HAS SOPS 572015 HAS SOUS 472119 HAS SOUPS 472119 WITH SCORE 472691.015
AT ITER 3056 NEW BEST:: SOT 945028 SOS 572024 HAS SOPS 572024 HAS SOUS 471945 HAS SOUPS 471945 WITH SCORE 472517.024
AT ITER 3057 NEW BEST:: SOT 945025 SOS 572559 HAS SOPS 572559 HAS SOUS 471802 HAS SOUPS 471802 WITH SCORE 472374.559
AT ITER 3058 NEW BEST:: SOT 944651 SOS 572001 HAS SOPS 572001 HAS SOUS 471386 HAS SOUPS 471386 WITH SCORE 471958.001
AT ITER 3065 NEW BEST:: SOT 944494 SOS 571956 HAS SOPS 571956 HAS SOUS 471341 HAS SOUPS 471341 WITH SCORE 471912.956
AT ITER 3067 NEW BEST:: SOT 944338 SOS 571485 HAS SOPS 571485 HAS SOUS 470674 HAS SOUPS 470674 WITH SCORE 471245.485
AT ITER 3075 NEW BEST:: SOT 944282 SOS 571429 HAS SOPS 571429 HAS SOUS 470618 HAS SOUPS 470618 WITH SCORE 471189.429
AT ITER 3088 NEW BEST:: SOT 944235 SOS 571382 HAS SOPS 571382 HAS SOUS 470571 HAS SOUPS 470571 WITH SCORE 471142.382
AT ITER 3095 NEW BEST:: SOT 944229 SOS 571376 HAS SOPS 571376 HAS SOUS 470565 HAS SOUPS 470565 WITH SCORE 471136.376
AT ITER 3097 NEW BEST:: SOT 944181 SOS 571047 HAS SOPS 571047 HAS SOUS 470236 HAS SOUPS 470236 WITH SCORE 470807.047
AT ITER 3102 NEW BEST:: SOT 944228 SOS 571094 HAS SOPS 571094 HAS SOUS 470149 HAS SOUPS 470149 WITH SCORE 470720.094
AT ITER 3106 NEW BEST:: SOT 944209 SOS 571036 HAS SOPS 571036 HAS SOUS 470124 HAS SOUPS 470124 WITH SCORE 470695.036
AT ITER 3116 NEW BEST:: SOT 944286 SOS 571035 HAS SOPS 571035 HAS SOUS 470116 HAS SOUPS 470116 WITH SCORE 470687.035
AT ITER 3117 NEW BEST:: SOT 944570 SOS 570188 HAS SOPS 570188 HAS SOUS 470031 HAS SOUPS 470031 WITH SCORE 470601.188
AT ITER 3122 NEW BEST:: SOT 944535 SOS 570153 HAS SOPS 570153 HAS SOUS 470031 HAS SOUPS 470031 WITH SCORE 470601.153
AT ITER 3123 NEW BEST:: SOT 944489 SOS 570245 HAS SOPS 570245 HAS SOUS 469841 HAS SOUPS 469841 WITH SCORE 470411.245
AT ITER 3127 NEW BEST:: SOT 944295 SOS 570063 HAS SOPS 570063 HAS SOUS 469768 HAS SOUPS 469768 WITH SCORE 470338.063
AT ITER 3140 NEW BEST:: SOT 944184 SOS 569952 HAS SOPS 569952 HAS SOUS 469657 HAS SOUPS 469657 WITH SCORE 470226.952
AT ITER 3143 NEW BEST:: SOT 944236 SOS 570004 HAS SOPS 570004 HAS SOUS 469481 HAS SOUPS 469481 WITH SCORE 470051.004
AT ITER 3148 NEW BEST:: SOT 944066 SOS 569706 HAS SOPS 569706 HAS SOUS 469183 HAS SOUPS 469183 WITH SCORE 469752.706
AT ITER 3152 NEW BEST:: SOT 944128 SOS 569672 HAS SOPS 569672 HAS SOUS 469149 HAS SOUPS 469149 WITH SCORE 469718.672
AT ITER 3154 NEW BEST:: SOT 944128 SOS 569614 HAS SOPS 569614 HAS SOUS 469113 HAS SOUPS 469113 WITH SCORE 469682.614
AT ITER 3159 NEW BEST:: SOT 944125 SOS 569611 HAS SOPS 569611 HAS SOUS 469107 HAS SOUPS 469107 WITH SCORE 469676.611
AT ITER 3163 NEW BEST:: SOT 944381 SOS 570051 HAS SOPS 570051 HAS SOUS 468972 HAS SOUPS 468972 WITH SCORE 469542.051
AT ITER 3170 NEW BEST:: SOT 944305 SOS 570049 HAS SOPS 570049 HAS SOUS 468970 HAS SOUPS 468970 WITH SCORE 469540.049
AT ITER 3172 NEW BEST:: SOT 944130 SOS 569278 HAS SOPS 569278 HAS SOUS 468795 HAS SOUPS 468795 WITH SCORE 469364.278
AT ITER 3174 NEW BEST:: SOT 943935 SOS 569012 HAS SOPS 569012 HAS SOUS 468529 HAS SOUPS 468529 WITH SCORE 469098.012
AT ITER 3184 NEW BEST:: SOT 943906 SOS 568983 HAS SOPS 568983 HAS SOUS 468500 HAS SOUPS 468500 WITH SCORE 469068.983
AT ITER 3197 NEW BEST:: SOT 943838 SOS 568915 HAS SOPS 568915 HAS SOUS 468432 HAS SOUPS 468432 WITH SCORE 469000.915
AT ITER 3205 NEW BEST:: SOT 943941 SOS 568805 HAS SOPS 568805 HAS SOUS 468412 HAS SOUPS 468412 WITH SCORE 468980.805
AT ITER 3217 NEW BEST:: SOT 943905 SOS 568769 HAS SOPS 568769 HAS SOUS 468376 HAS SOUPS 468376 WITH SCORE 468944.769
AT ITER 3230 NEW BEST:: SOT 943527 SOS 568485 HAS SOPS 568485 HAS SOUS 468076 HAS SOUPS 468076 WITH SCORE 468644.485
AT ITER 3231 NEW BEST:: SOT 943528 SOS 568483 HAS SOPS 568483 HAS SOUS 468071 HAS SOUPS 468071 WITH SCORE 468639.483
AT ITER 3238 NEW BEST:: SOT 943527 SOS 568482 HAS SOPS 568482 HAS SOUS 468070 HAS SOUPS 468070 WITH SCORE 468638.482
AT ITER 3244 NEW BEST:: SOT 943602 SOS 568220 HAS SOPS 568220 HAS SOUS 467808 HAS SOUPS 467808 WITH SCORE 468376.22
AT ITER 3246 NEW BEST:: SOT 943496 SOS 568114 HAS SOPS 568114 HAS SOUS 467565 HAS SOUPS 467565 WITH SCORE 468133.114
AT ITER 3249 NEW BEST:: SOT 943458 SOS 568000 HAS SOPS 568000 HAS SOUS 467563 HAS SOUPS 467563 WITH SCORE 468131.0
AT ITER 3251 NEW BEST:: SOT 943459 SOS 567204 HAS SOPS 567204 HAS SOUS 467202 HAS SOUPS 467202 WITH SCORE 467769.204
AT ITER 3255 NEW BEST:: SOT 942929 SOS 566220 HAS SOPS 566220 HAS SOUS 466228 HAS SOUPS 466228 WITH SCORE 466794.22
AT ITER 3261 NEW BEST:: SOT 942929 SOS 565968 HAS SOPS 565968 HAS SOUS 466065 HAS SOUPS 466065 WITH SCORE 466630.968
AT ITER 3269 NEW BEST:: SOT 943083 SOS 565517 HAS SOPS 565517 HAS SOUS 465974 HAS SOUPS 465974 WITH SCORE 466539.517
AT ITER 3274 NEW BEST:: SOT 943083 SOS 565505 HAS SOPS 565505 HAS SOUS 465962 HAS SOUPS 465962 WITH SCORE 466527.505
AT ITER 3297 NEW BEST:: SOT 943044 SOS 564529 HAS SOPS 564529 HAS SOUS 464764 HAS SOUPS 464764 WITH SCORE 465328.529
AT ITER 3300 NEW BEST:: SOT 942872 SOS 564221 HAS SOPS 564221 HAS SOUS 464615 HAS SOUPS 464615 WITH SCORE 465179.221
AT ITER 3301 NEW BEST:: SOT 942804 SOS 563780 HAS SOPS 563780 HAS SOUS 464347 HAS SOUPS 464347 WITH SCORE 464910.78
AT ITER 3304 NEW BEST:: SOT 942679 SOS 563530 HAS SOPS 563530 HAS SOUS 464097 HAS SOUPS 464097 WITH SCORE 464660.53
AT ITER 3306 NEW BEST:: SOT 941656 SOS 561237 HAS SOPS 561237 HAS SOUS 461698 HAS SOUPS 461698 WITH SCORE 462259.237
AT ITER 3310 NEW BEST:: SOT 941644 SOS 561182 HAS SOPS 561182 HAS SOUS 461643 HAS SOUPS 461643 WITH SCORE 462204.182
AT ITER 3317 NEW BEST:: SOT 940005 SOS 559351 HAS SOPS 559351 HAS SOUS 459812 HAS SOUPS 459812 WITH SCORE 460371.351
AT ITER 3318 NEW BEST:: SOT 939854 SOS 560499 HAS SOPS 560499 HAS SOUS 459454 HAS SOUPS 459454 WITH SCORE 460014.499
AT ITER 3321 NEW BEST:: SOT 939420 SOS 560074 HAS SOPS 560074 HAS SOUS 459145 HAS SOUPS 459145 WITH SCORE 459705.074
AT ITER 3333 NEW BEST:: SOT 939429 SOS 559908 HAS SOPS 559908 HAS SOUS 459068 HAS SOUPS 459068 WITH SCORE 459627.908
AT ITER 3344 NEW BEST:: SOT 939314 SOS 559908 HAS SOPS 559908 HAS SOUS 458905 HAS SOUPS 458905 WITH SCORE 459464.908
AT ITER 3361 NEW BEST:: SOT 939281 SOS 559842 HAS SOPS 559842 HAS SOUS 458807 HAS SOUPS 458807 WITH SCORE 459366.842
AT ITER 3378 NEW BEST:: SOT 939305 SOS 559705 HAS SOPS 559705 HAS SOUS 458673 HAS SOUPS 458673 WITH SCORE 459232.705
AT ITER 3380 NEW BEST:: SOT 939147 SOS 558682 HAS SOPS 558682 HAS SOUS 458236 HAS SOUPS 458236 WITH SCORE 458794.682
AT ITER 3383 NEW BEST:: SOT 939136 SOS 558638 HAS SOPS 558638 HAS SOUS 458203 HAS SOUPS 458203 WITH SCORE 458761.638
AT ITER 3399 NEW BEST:: SOT 939173 SOS 558530 HAS SOPS 558530 HAS SOUS 458109 HAS SOUPS 458109 WITH SCORE 458667.53
AT ITER 3403 NEW BEST:: SOT 938997 SOS 558354 HAS SOPS 558354 HAS SOUS 457977 HAS SOUPS 457977 WITH SCORE 458535.354
AT ITER 3406 NEW BEST:: SOT 938997 SOS 557318 HAS SOPS 557318 HAS SOUS 457816 HAS SOUPS 457816 WITH SCORE 458373.318
AT ITER 3412 NEW BEST:: SOT 938997 SOS 557286 HAS SOPS 557286 HAS SOUS 457773 HAS SOUPS 457773 WITH SCORE 458330.286
AT ITER 3417 NEW BEST:: SOT 938931 SOS 557198 HAS SOPS 557198 HAS SOUS 457707 HAS SOUPS 457707 WITH SCORE 458264.198
AT ITER 3419 NEW BEST:: SOT 938931 SOS 556968 HAS SOPS 556968 HAS SOUS 457477 HAS SOUPS 457477 WITH SCORE 458033.968
AT ITER 3428 NEW BEST:: SOT 938534 SOS 555764 HAS SOPS 555764 HAS SOUS 456597 HAS SOUPS 456597 WITH SCORE 457152.764
AT ITER 3446 NEW BEST:: SOT 938447 SOS 555630 HAS SOPS 555630 HAS SOUS 456515 HAS SOUPS 456515 WITH SCORE 457070.63
AT ITER 3474 NEW BEST:: SOT 938142 SOS 554410 HAS SOPS 554410 HAS SOUS 455253 HAS SOUPS 455253 WITH SCORE 455807.41
AT ITER 3487 NEW BEST:: SOT 938363 SOS 554019 HAS SOPS 554019 HAS SOUS 455232 HAS SOUPS 455232 WITH SCORE 455786.019
AT ITER 3489 NEW BEST:: SOT 938167 SOS 553707 HAS SOPS 553707 HAS SOUS 454920 HAS SOUPS 454920 WITH SCORE 455473.707
AT ITER 3503 NEW BEST:: SOT 938167 SOS 553420 HAS SOPS 553420 HAS SOUS 454633 HAS SOUPS 454633 WITH SCORE 455186.42
AT ITER 3517 NEW BEST:: SOT 938145 SOS 553398 HAS SOPS 553398 HAS SOUS 454611 HAS SOUPS 454611 WITH SCORE 455164.398
AT ITER 3523 NEW BEST:: SOT 938084 SOS 553326 HAS SOPS 553326 HAS SOUS 454539 HAS SOUPS 454539 WITH SCORE 455092.326
AT ITER 3531 NEW BEST:: SOT 937811 SOS 553112 HAS SOPS 553112 HAS SOUS 454325 HAS SOUPS 454325 WITH SCORE 454878.112
AT ITER 3537 NEW BEST:: SOT 937723 SOS 552947 HAS SOPS 552947 HAS SOUS 454072 HAS SOUPS 454072 WITH SCORE 454624.947
AT ITER 3569 NEW BEST:: SOT 937880 SOS 552879 HAS SOPS 552879 HAS SOUS 454064 HAS SOUPS 454064 WITH SCORE 454616.879
AT ITER 3574 NEW BEST:: SOT 937880 SOS 552922 HAS SOPS 552922 HAS SOUS 453935 HAS SOUPS 453935 WITH SCORE 454487.922
AT ITER 3584 NEW BEST:: SOT 937806 SOS 552796 HAS SOPS 552796 HAS SOUS 453809 HAS SOUPS 453809 WITH SCORE 454361.796
AT ITER 3585 NEW BEST:: SOT 937811 SOS 552078 HAS SOPS 552078 HAS SOUS 453367 HAS SOUPS 453367 WITH SCORE 453919.078
AT ITER 3587 NEW BEST:: SOT 937621 SOS 551888 HAS SOPS 551888 HAS SOUS 453177 HAS SOUPS 453177 WITH SCORE 453728.888
AT ITER 3589 NEW BEST:: SOT 937621 SOS 551886 HAS SOPS 551886 HAS SOUS 453175 HAS SOUPS 453175 WITH SCORE 453726.886
AT ITER 3590 NEW BEST:: SOT 937577 SOS 551820 HAS SOPS 551820 HAS SOUS 453131 HAS SOUPS 453131 WITH SCORE 453682.82
AT ITER 3592 NEW BEST:: SOT 937075 SOS 551313 HAS SOPS 551313 HAS SOUS 452624 HAS SOUPS 452624 WITH SCORE 453175.313
AT ITER 3593 NEW BEST:: SOT 936570 SOS 550626 HAS SOPS 550626 HAS SOUS 451937 HAS SOUPS 451937 WITH SCORE 452487.626
AT ITER 3604 NEW BEST:: SOT 936436 SOS 550279 HAS SOPS 550279 HAS SOUS 451590 HAS SOUPS 451590 WITH SCORE 452140.279
AT ITER 3612 NEW BEST:: SOT 936186 SOS 549929 HAS SOPS 549929 HAS SOUS 451240 HAS SOUPS 451240 WITH SCORE 451789.929
AT ITER 3618 NEW BEST:: SOT 936186 SOS 549348 HAS SOPS 549348 HAS SOUS 450553 HAS SOUPS 450553 WITH SCORE 451102.348
AT ITER 3621 NEW BEST:: SOT 936192 SOS 549314 HAS SOPS 549314 HAS SOUS 450519 HAS SOUPS 450519 WITH SCORE 451068.314
AT ITER 3625 NEW BEST:: SOT 935832 SOS 548881 HAS SOPS 548881 HAS SOUS 450086 HAS SOUPS 450086 WITH SCORE 450634.881
AT ITER 3647 NEW BEST:: SOT 935789 SOS 548484 HAS SOPS 548484 HAS SOUS 450013 HAS SOUPS 450013 WITH SCORE 450561.484
AT ITER 3651 NEW BEST:: SOT 935153 SOS 547848 HAS SOPS 547848 HAS SOUS 449377 HAS SOUPS 449377 WITH SCORE 449924.848
AT ITER 3661 NEW BEST:: SOT 935144 SOS 547694 HAS SOPS 547694 HAS SOUS 449325 HAS SOUPS 449325 WITH SCORE 449872.694
AT ITER 3670 NEW BEST:: SOT 935151 SOS 547707 HAS SOPS 547707 HAS SOUS 449297 HAS SOUPS 449297 WITH SCORE 449844.707
AT ITER 3673 NEW BEST:: SOT 935043 SOS 547599 HAS SOPS 547599 HAS SOUS 449189 HAS SOUPS 449189 WITH SCORE 449736.599
AT ITER 3676 NEW BEST:: SOT 935105 SOS 547681 HAS SOPS 547681 HAS SOUS 449167 HAS SOUPS 449167 WITH SCORE 449714.681
AT ITER 3677 NEW BEST:: SOT 934795 SOS 546369 HAS SOPS 546369 HAS SOUS 448816 HAS SOUPS 448816 WITH SCORE 449362.369
AT ITER 3682 NEW BEST:: SOT 934129 SOS 545339 HAS SOPS 545339 HAS SOUS 447568 HAS SOUPS 447568 WITH SCORE 448113.339
AT ITER 3692 NEW BEST:: SOT 933693 SOS 544903 HAS SOPS 544903 HAS SOUS 447132 HAS SOUPS 447132 WITH SCORE 447676.903
AT ITER 3709 NEW BEST:: SOT 933693 SOS 544875 HAS SOPS 544875 HAS SOUS 447090 HAS SOUPS 447090 WITH SCORE 447634.875
AT ITER 3714 NEW BEST:: SOT 932569 SOS 543671 HAS SOPS 543671 HAS SOUS 446160 HAS SOUPS 446160 WITH SCORE 446703.671
AT ITER 3716 NEW BEST:: SOT 932399 SOS 543338 HAS SOPS 543338 HAS SOUS 445827 HAS SOUPS 445827 WITH SCORE 446370.338
AT ITER 3720 NEW BEST:: SOT 932210 SOS 543148 HAS SOPS 543148 HAS SOUS 445637 HAS SOUPS 445637 WITH SCORE 446180.148
AT ITER 3735 NEW BEST:: SOT 932127 SOS 542965 HAS SOPS 542965 HAS SOUS 445454 HAS SOUPS 445454 WITH SCORE 445996.965
AT ITER 3736 NEW BEST:: SOT 932106 SOS 542937 HAS SOPS 542937 HAS SOUS 445426 HAS SOUPS 445426 WITH SCORE 445968.937
AT ITER 3737 NEW BEST:: SOT 932015 SOS 542704 HAS SOPS 542704 HAS SOUS 445302 HAS SOUPS 445302 WITH SCORE 445844.704
AT ITER 3749 NEW BEST:: SOT 931083 SOS 541914 HAS SOPS 541914 HAS SOUS 444708 HAS SOUPS 444708 WITH SCORE 445249.914
AT ITER 3755 NEW BEST:: SOT 930703 SOS 539789 HAS SOPS 539789 HAS SOUS 443553 HAS SOUPS 443553 WITH SCORE 444092.789
AT ITER 3757 NEW BEST:: SOT 930695 SOS 539785 HAS SOPS 539785 HAS SOUS 443547 HAS SOUPS 443547 WITH SCORE 444086.785
AT ITER 3759 NEW BEST:: SOT 930631 SOS 539721 HAS SOPS 539721 HAS SOUS 443483 HAS SOUPS 443483 WITH SCORE 444022.721
AT ITER 3760 NEW BEST:: SOT 930585 SOS 539675 HAS SOPS 539675 HAS SOUS 443425 HAS SOUPS 443425 WITH SCORE 443964.675
AT ITER 3768 NEW BEST:: SOT 930400 SOS 539490 HAS SOPS 539490 HAS SOUS 443188 HAS SOUPS 443188 WITH SCORE 443727.49
AT ITER 3769 NEW BEST:: SOT 930300 SOS 539301 HAS SOPS 539301 HAS SOUS 442999 HAS SOUPS 442999 WITH SCORE 443538.301
AT ITER 3772 NEW BEST:: SOT 930022 SOS 538776 HAS SOPS 538776 HAS SOUS 442474 HAS SOUPS 442474 WITH SCORE 443012.776
AT ITER 3782 NEW BEST:: SOT 930022 SOS 538767 HAS SOPS 538767 HAS SOUS 442472 HAS SOUPS 442472 WITH SCORE 443010.767
AT ITER 3785 NEW BEST:: SOT 930031 SOS 538779 HAS SOPS 538779 HAS SOUS 442376 HAS SOUPS 442376 WITH SCORE 442914.779
AT ITER 3786 NEW BEST:: SOT 929962 SOS 538710 HAS SOPS 538710 HAS SOUS 442307 HAS SOUPS 442307 WITH SCORE 442845.71
AT ITER 3810 NEW BEST:: SOT 929798 SOS 538546 HAS SOPS 538546 HAS SOUS 442143 HAS SOUPS 442143 WITH SCORE 442681.546
AT ITER 3812 NEW BEST:: SOT 929798 SOS 538546 HAS SOPS 538546 HAS SOUS 441756 HAS SOUPS 441756 WITH SCORE 442294.546
AT ITER 3818 NEW BEST:: SOT 929624 SOS 538024 HAS SOPS 538024 HAS SOUS 441060 HAS SOUPS 441060 WITH SCORE 441598.024
AT ITER 3831 NEW BEST:: SOT 929606 SOS 537946 HAS SOPS 537946 HAS SOUS 440814 HAS SOUPS 440814 WITH SCORE 441351.946
AT ITER 3833 NEW BEST:: SOT 929606 SOS 537898 HAS SOPS 537898 HAS SOUS 440814 HAS SOUPS 440814 WITH SCORE 441351.898
AT ITER 3834 NEW BEST:: SOT 929374 SOS 537666 HAS SOPS 537666 HAS SOUS 440582 HAS SOUPS 440582 WITH SCORE 441119.666
AT ITER 3853 NEW BEST:: SOT 929347 SOS 537639 HAS SOPS 537639 HAS SOUS 440555 HAS SOUPS 440555 WITH SCORE 441092.639
AT ITER 3861 NEW BEST:: SOT 929078 SOS 537183 HAS SOPS 537183 HAS SOUS 440165 HAS SOUPS 440165 WITH SCORE 440702.183
AT ITER 3868 NEW BEST:: SOT 929110 SOS 537170 HAS SOPS 537170 HAS SOUS 440154 HAS SOUPS 440154 WITH SCORE 440691.17
AT ITER 3871 NEW BEST:: SOT 929038 SOS 537026 HAS SOPS 537026 HAS SOUS 439938 HAS SOUPS 439938 WITH SCORE 440475.026
AT ITER 3886 NEW BEST:: SOT 928676 SOS 537120 HAS SOPS 537120 HAS SOUS 439909 HAS SOUPS 439909 WITH SCORE 440446.12
AT ITER 3892 NEW BEST:: SOT 927929 SOS 536218 HAS SOPS 536218 HAS SOUS 439007 HAS SOUPS 439007 WITH SCORE 439543.218
AT ITER 3903 NEW BEST:: SOT 928184 SOS 536224 HAS SOPS 536224 HAS SOUS 438934 HAS SOUPS 438934 WITH SCORE 439470.224
AT ITER 3906 NEW BEST:: SOT 928184 SOS 536390 HAS SOPS 536390 HAS SOUS 438933 HAS SOUPS 438933 WITH SCORE 439469.39
AT ITER 3909 NEW BEST:: SOT 928165 SOS 535735 HAS SOPS 535735 HAS SOUS 438702 HAS SOUPS 438702 WITH SCORE 439237.735
AT ITER 3912 NEW BEST:: SOT 928160 SOS 535730 HAS SOPS 535730 HAS SOUS 438697 HAS SOUPS 438697 WITH SCORE 439232.73
AT ITER 3914 NEW BEST:: SOT 928156 SOS 535726 HAS SOPS 535726 HAS SOUS 438693 HAS SOUPS 438693 WITH SCORE 439228.726
AT ITER 3923 NEW BEST:: SOT 928137 SOS 535506 HAS SOPS 535506 HAS SOUS 438550 HAS SOUPS 438550 WITH SCORE 439085.506
AT ITER 3946 NEW BEST:: SOT 928013 SOS 535430 HAS SOPS 535430 HAS SOUS 438474 HAS SOUPS 438474 WITH SCORE 439009.43
AT ITER 3957 NEW BEST:: SOT 927975 SOS 535418 HAS SOPS 535418 HAS SOUS 438462 HAS SOUPS 438462 WITH SCORE 438997.418
AT ITER 3958 NEW BEST:: SOT 927556 SOS 534989 HAS SOPS 534989 HAS SOUS 438184 HAS SOUPS 438184 WITH SCORE 438718.989
AT ITER 3961 NEW BEST:: SOT 927556 SOS 534976 HAS SOPS 534976 HAS SOUS 438139 HAS SOUPS 438139 WITH SCORE 438673.976
AT ITER 3964 NEW BEST:: SOT 927215 SOS 534635 HAS SOPS 534635 HAS SOUS 437798 HAS SOUPS 437798 WITH SCORE 438332.635
AT ITER 3969 NEW BEST:: SOT 927215 SOS 534525 HAS SOPS 534525 HAS SOUS 437688 HAS SOUPS 437688 WITH SCORE 438222.525
AT ITER 3980 NEW BEST:: SOT 926956 SOS 534368 HAS SOPS 534368 HAS SOUS 437531 HAS SOUPS 437531 WITH SCORE 438065.368
AT ITER 3981 NEW BEST:: SOT 926784 SOS 534053 HAS SOPS 534053 HAS SOUS 437216 HAS SOUPS 437216 WITH SCORE 437750.053
AT ITER 4011 NEW BEST:: SOT 926784 SOS 534053 HAS SOPS 534053 HAS SOUS 437210 HAS SOUPS 437210 WITH SCORE 437744.053
AT ITER 4014 NEW BEST:: SOT 926818 SOS 534211 HAS SOPS 534211 HAS SOUS 437102 HAS SOUPS 437102 WITH SCORE 437636.211
AT ITER 4017 NEW BEST:: SOT 927011 SOS 533997 HAS SOPS 533997 HAS SOUS 436965 HAS SOUPS 436965 WITH SCORE 437498.997
AT ITER 4021 NEW BEST:: SOT 927033 SOS 533885 HAS SOPS 533885 HAS SOUS 436917 HAS SOUPS 436917 WITH SCORE 437450.885
AT ITER 4026 NEW BEST:: SOT 927231 SOS 534083 HAS SOPS 534083 HAS SOUS 436915 HAS SOUPS 436915 WITH SCORE 437449.083
AT ITER 4028 NEW BEST:: SOT 927231 SOS 534069 HAS SOPS 534069 HAS SOUS 436901 HAS SOUPS 436901 WITH SCORE 437435.069
AT ITER 4043 NEW BEST:: SOT 927213 SOS 533963 HAS SOPS 533963 HAS SOUS 436795 HAS SOUPS 436795 WITH SCORE 437328.963
AT ITER 4044 NEW BEST:: SOT 926936 SOS 533798 HAS SOPS 533798 HAS SOUS 436790 HAS SOUPS 436790 WITH SCORE 437323.798
AT ITER 4045 NEW BEST:: SOT 926819 SOS 533425 HAS SOPS 533425 HAS SOUS 436733 HAS SOUPS 436733 WITH SCORE 437266.425
AT ITER 4047 NEW BEST:: SOT 926238 SOS 532788 HAS SOPS 532788 HAS SOUS 436096 HAS SOUPS 436096 WITH SCORE 436628.788
AT ITER 4059 NEW BEST:: SOT 925988 SOS 532545 HAS SOPS 532545 HAS SOUS 435852 HAS SOUPS 435852 WITH SCORE 436384.545
AT ITER 4065 NEW BEST:: SOT 925883 SOS 532308 HAS SOPS 532308 HAS SOUS 435615 HAS SOUPS 435615 WITH SCORE 436147.308
AT ITER 4067 NEW BEST:: SOT 925858 SOS 532231 HAS SOPS 532231 HAS SOUS 435565 HAS SOUPS 435565 WITH SCORE 436097.231
AT ITER 4069 NEW BEST:: SOT 925857 SOS 531905 HAS SOPS 531905 HAS SOUS 435371 HAS SOUPS 435371 WITH SCORE 435902.905
AT ITER 4072 NEW BEST:: SOT 925530 SOS 530925 HAS SOPS 530925 HAS SOUS 434619 HAS SOUPS 434619 WITH SCORE 435149.925
AT ITER 4074 NEW BEST:: SOT 925506 SOS 530948 HAS SOPS 530948 HAS SOUS 434618 HAS SOUPS 434618 WITH SCORE 435148.948
AT ITER 4075 NEW BEST:: SOT 925250 SOS 529999 HAS SOPS 529999 HAS SOUS 433715 HAS SOUPS 433715 WITH SCORE 434244.999
AT ITER 4085 NEW BEST:: SOT 924573 SOS 529066 HAS SOPS 529066 HAS SOUS 432846 HAS SOUPS 432846 WITH SCORE 433375.066
AT ITER 4089 NEW BEST:: SOT 924508 SOS 529001 HAS SOPS 529001 HAS SOUS 432781 HAS SOUPS 432781 WITH SCORE 433310.001
AT ITER 4091 NEW BEST:: SOT 925235 SOS 529723 HAS SOPS 529723 HAS SOUS 432115 HAS SOUPS 432115 WITH SCORE 432644.723
AT ITER 4093 NEW BEST:: SOT 924434 SOS 528876 HAS SOPS 528876 HAS SOUS 431291 HAS SOUPS 431291 WITH SCORE 431819.876
AT ITER 4100 NEW BEST:: SOT 924434 SOS 528543 HAS SOPS 528543 HAS SOUS 430958 HAS SOUPS 430958 WITH SCORE 431486.543
AT ITER 4102 NEW BEST:: SOT 924439 SOS 527888 HAS SOPS 527888 HAS SOUS 430889 HAS SOUPS 430889 WITH SCORE 431416.888
AT ITER 4103 NEW BEST:: SOT 924439 SOS 528162 HAS SOPS 528162 HAS SOUS 430761 HAS SOUPS 430761 WITH SCORE 431289.162
AT ITER 4127 NEW BEST:: SOT 924439 SOS 528142 HAS SOPS 528142 HAS SOUS 430701 HAS SOUPS 430701 WITH SCORE 431229.142
AT ITER 4128 NEW BEST:: SOT 924291 SOS 527994 HAS SOPS 527994 HAS SOUS 430553 HAS SOUPS 430553 WITH SCORE 431080.994
AT ITER 4142 NEW BEST:: SOT 924127 SOS 527771 HAS SOPS 527771 HAS SOUS 430511 HAS SOUPS 430511 WITH SCORE 431038.771
AT ITER 4144 NEW BEST:: SOT 924881 SOS 528177 HAS SOPS 528177 HAS SOUS 430008 HAS SOUPS 430008 WITH SCORE 430536.177
AT ITER 4147 NEW BEST:: SOT 924571 SOS 527980 HAS SOPS 527980 HAS SOUS 429798 HAS SOUPS 429798 WITH SCORE 430325.98
AT ITER 4149 NEW BEST:: SOT 924498 SOS 527907 HAS SOPS 527907 HAS SOUS 429725 HAS SOUPS 429725 WITH SCORE 430252.907
AT ITER 4157 NEW BEST:: SOT 924450 SOS 527835 HAS SOPS 527835 HAS SOUS 429653 HAS SOUPS 429653 WITH SCORE 430180.835
AT ITER 4162 NEW BEST:: SOT 924401 SOS 527622 HAS SOPS 527622 HAS SOUS 429146 HAS SOUPS 429146 WITH SCORE 429673.622
AT ITER 4165 NEW BEST:: SOT 924401 SOS 527609 HAS SOPS 527609 HAS SOUS 429139 HAS SOUPS 429139 WITH SCORE 429666.609
AT ITER 4166 NEW BEST:: SOT 924401 SOS 527609 HAS SOPS 527609 HAS SOUS 429025 HAS SOUPS 429025 WITH SCORE 429552.609
AT ITER 4170 NEW BEST:: SOT 924401 SOS 527637 HAS SOPS 527637 HAS SOUS 428991 HAS SOUPS 428991 WITH SCORE 429518.637
AT ITER 4171 NEW BEST:: SOT 924137 SOS 527622 HAS SOPS 527622 HAS SOUS 428987 HAS SOUPS 428987 WITH SCORE 429514.622
AT ITER 4180 NEW BEST:: SOT 924137 SOS 527501 HAS SOPS 527501 HAS SOUS 428861 HAS SOUPS 428861 WITH SCORE 429388.501
AT ITER 4182 NEW BEST:: SOT 923884 SOS 526938 HAS SOPS 526938 HAS SOUS 428316 HAS SOUPS 428316 WITH SCORE 428842.938
AT ITER 4183 NEW BEST:: SOT 923289 SOS 526292 HAS SOPS 526292 HAS SOUS 427670 HAS SOUPS 427670 WITH SCORE 428196.292
AT ITER 4203 NEW BEST:: SOT 923180 SOS 525965 HAS SOPS 525965 HAS SOUS 427270 HAS SOUPS 427270 WITH SCORE 427795.965
AT ITER 4210 NEW BEST:: SOT 923159 SOS 525944 HAS SOPS 525944 HAS SOUS 427249 HAS SOUPS 427249 WITH SCORE 427774.944
AT ITER 4224 NEW BEST:: SOT 923089 SOS 525874 HAS SOPS 525874 HAS SOUS 427179 HAS SOUPS 427179 WITH SCORE 427704.874
AT ITER 4226 NEW BEST:: SOT 923029 SOS 525574 HAS SOPS 525574 HAS SOUS 426999 HAS SOUPS 426999 WITH SCORE 427524.574
AT ITER 4231 NEW BEST:: SOT 922791 SOS 525264 HAS SOPS 525264 HAS SOUS 426497 HAS SOUPS 426497 WITH SCORE 427022.264
AT ITER 4234 NEW BEST:: SOT 922792 SOS 525265 HAS SOPS 525265 HAS SOUS 426227 HAS SOUPS 426227 WITH SCORE 426752.265
AT ITER 4244 NEW BEST:: SOT 922726 SOS 525217 HAS SOPS 525217 HAS SOUS 426128 HAS SOUPS 426128 WITH SCORE 426653.217
AT ITER 4249 NEW BEST:: SOT 922572 SOS 524927 HAS SOPS 524927 HAS SOUS 425897 HAS SOUPS 425897 WITH SCORE 426421.927
AT ITER 4250 NEW BEST:: SOT 922385 SOS 524807 HAS SOPS 524807 HAS SOUS 425777 HAS SOUPS 425777 WITH SCORE 426301.807
AT ITER 4259 NEW BEST:: SOT 922370 SOS 524792 HAS SOPS 524792 HAS SOUS 425742 HAS SOUPS 425742 WITH SCORE 426266.792
AT ITER 4262 NEW BEST:: SOT 922427 SOS 524495 HAS SOPS 524495 HAS SOUS 425686 HAS SOUPS 425686 WITH SCORE 426210.495
AT ITER 4285 NEW BEST:: SOT 922386 SOS 524462 HAS SOPS 524462 HAS SOUS 425653 HAS SOUPS 425653 WITH SCORE 426177.462
AT ITER 4290 NEW BEST:: SOT 922365 SOS 524070 HAS SOPS 524070 HAS SOUS 424431 HAS SOUPS 424431 WITH SCORE 424955.07
AT ITER 4292 NEW BEST:: SOT 922174 SOS 523919 HAS SOPS 523919 HAS SOUS 424241 HAS SOUPS 424241 WITH SCORE 424764.919
AT ITER 4297 NEW BEST:: SOT 922160 SOS 523904 HAS SOPS 523904 HAS SOUS 424226 HAS SOUPS 424226 WITH SCORE 424749.904
AT ITER 4317 NEW BEST:: SOT 922060 SOS 523754 HAS SOPS 523754 HAS SOUS 424026 HAS SOUPS 424026 WITH SCORE 424549.754
AT ITER 4343 NEW BEST:: SOT 922060 SOS 523686 HAS SOPS 523686 HAS SOUS 423992 HAS SOUPS 423992 WITH SCORE 424515.686
AT ITER 4356 NEW BEST:: SOT 921616 SOS 523355 HAS SOPS 523355 HAS SOUS 423661 HAS SOUPS 423661 WITH SCORE 424184.355
AT ITER 4361 NEW BEST:: SOT 921596 SOS 523335 HAS SOPS 523335 HAS SOUS 423641 HAS SOUPS 423641 WITH SCORE 424164.335
AT ITER 4365 NEW BEST:: SOT 921718 SOS 523335 HAS SOPS 523335 HAS SOUS 423592 HAS SOUPS 423592 WITH SCORE 424115.335
AT ITER 4369 NEW BEST:: SOT 921544 SOS 523074 HAS SOPS 523074 HAS SOUS 423331 HAS SOUPS 423331 WITH SCORE 423854.074
AT ITER 4370 NEW BEST:: SOT 921499 SOS 523056 HAS SOPS 523056 HAS SOUS 422894 HAS SOUPS 422894 WITH SCORE 423417.056
AT ITER 4379 NEW BEST:: SOT 921345 SOS 522646 HAS SOPS 522646 HAS SOUS 422642 HAS SOUPS 422642 WITH SCORE 423164.646
AT ITER 4382 NEW BEST:: SOT 921719 SOS 522101 HAS SOPS 522101 HAS SOUS 422326 HAS SOUPS 422326 WITH SCORE 422848.101
AT ITER 4393 NEW BEST:: SOT 921672 SOS 521889 HAS SOPS 521889 HAS SOUS 422114 HAS SOUPS 422114 WITH SCORE 422635.889
AT ITER 4396 NEW BEST:: SOT 921571 SOS 521839 HAS SOPS 521839 HAS SOUS 422064 HAS SOUPS 422064 WITH SCORE 422585.839
AT ITER 4406 NEW BEST:: SOT 921539 SOS 521818 HAS SOPS 521818 HAS SOUS 422054 HAS SOUPS 422054 WITH SCORE 422575.818
AT ITER 4409 NEW BEST:: SOT 921490 SOS 521767 HAS SOPS 521767 HAS SOUS 422003 HAS SOUPS 422003 WITH SCORE 422524.767
AT ITER 4413 NEW BEST:: SOT 921309 SOS 521507 HAS SOPS 521507 HAS SOUS 421790 HAS SOUPS 421790 WITH SCORE 422311.507
AT ITER 4435 NEW BEST:: SOT 921316 SOS 521494 HAS SOPS 521494 HAS SOUS 421778 HAS SOUPS 421778 WITH SCORE 422299.494
AT ITER 4438 NEW BEST:: SOT 921258 SOS 521436 HAS SOPS 521436 HAS SOUS 421720 HAS SOUPS 421720 WITH SCORE 422241.436
AT ITER 4457 NEW BEST:: SOT 921232 SOS 521422 HAS SOPS 521422 HAS SOUS 421687 HAS SOUPS 421687 WITH SCORE 422208.422
AT ITER 4473 NEW BEST:: SOT 921214 SOS 521314 HAS SOPS 521314 HAS SOUS 421633 HAS SOUPS 421633 WITH SCORE 422154.314
AT ITER 4476 NEW BEST:: SOT 921304 SOS 521134 HAS SOPS 521134 HAS SOUS 421516 HAS SOUPS 421516 WITH SCORE 422037.134
AT ITER 4483 NEW BEST:: SOT 921396 SOS 521134 HAS SOPS 521134 HAS SOUS 421444 HAS SOUPS 421444 WITH SCORE 421965.134
AT ITER 4485 NEW BEST:: SOT 921377 SOS 521115 HAS SOPS 521115 HAS SOUS 421368 HAS SOUPS 421368 WITH SCORE 421889.115
AT ITER 4488 NEW BEST:: SOT 921343 SOS 520744 HAS SOPS 520744 HAS SOUS 420975 HAS SOUPS 420975 WITH SCORE 421495.744
AT ITER 4494 NEW BEST:: SOT 921275 SOS 520676 HAS SOPS 520676 HAS SOUS 420907 HAS SOUPS 420907 WITH SCORE 421427.676
AT ITER 4497 NEW BEST:: SOT 921203 SOS 520604 HAS SOPS 520604 HAS SOUS 420659 HAS SOUPS 420659 WITH SCORE 421179.604
AT ITER 4498 NEW BEST:: SOT 921159 SOS 520576 HAS SOPS 520576 HAS SOUS 420631 HAS SOUPS 420631 WITH SCORE 421151.576
AT ITER 4499 NEW BEST:: SOT 921234 SOS 520580 HAS SOPS 520580 HAS SOUS 420585 HAS SOUPS 420585 WITH SCORE 421105.58
AT ITER 4504 NEW BEST:: SOT 921234 SOS 520641 HAS SOPS 520641 HAS SOUS 420577 HAS SOUPS 420577 WITH SCORE 421097.641
AT ITER 4512 NEW BEST:: SOT 921458 SOS 520287 HAS SOPS 520287 HAS SOUS 420393 HAS SOUPS 420393 WITH SCORE 420913.287
AT ITER 4542 NEW BEST:: SOT 921458 SOS 520260 HAS SOPS 520260 HAS SOUS 420312 HAS SOUPS 420312 WITH SCORE 420832.26
AT ITER 4544 NEW BEST:: SOT 921449 SOS 520233 HAS SOPS 520233 HAS SOUS 420285 HAS SOUPS 420285 WITH SCORE 420805.233
AT ITER 4546 NEW BEST:: SOT 921345 SOS 520129 HAS SOPS 520129 HAS SOUS 420181 HAS SOUPS 420181 WITH SCORE 420701.129
AT ITER 4547 NEW BEST:: SOT 921257 SOS 520143 HAS SOPS 520143 HAS SOUS 420123 HAS SOUPS 420123 WITH SCORE 420643.143
AT ITER 4549 NEW BEST:: SOT 920885 SOS 519771 HAS SOPS 519771 HAS SOUS 419751 HAS SOUPS 419751 WITH SCORE 420270.771
AT ITER 4563 NEW BEST:: SOT 920881 SOS 519767 HAS SOPS 519767 HAS SOUS 419747 HAS SOUPS 419747 WITH SCORE 420266.767
AT ITER 4564 NEW BEST:: SOT 920881 SOS 519701 HAS SOPS 519701 HAS SOUS 419681 HAS SOUPS 419681 WITH SCORE 420200.701
AT ITER 4579 NEW BEST:: SOT 920714 SOS 518842 HAS SOPS 518842 HAS SOUS 418822 HAS SOUPS 418822 WITH SCORE 419340.842
AT ITER 4582 NEW BEST:: SOT 920658 SOS 518799 HAS SOPS 518799 HAS SOUS 418779 HAS SOUPS 418779 WITH SCORE 419297.799
AT ITER 4584 NEW BEST:: SOT 920553 SOS 518694 HAS SOPS 518694 HAS SOUS 418674 HAS SOUPS 418674 WITH SCORE 419192.694
AT ITER 4590 NEW BEST:: SOT 920553 SOS 518346 HAS SOPS 518346 HAS SOUS 418550 HAS SOUPS 418550 WITH SCORE 419068.346
AT ITER 4592 NEW BEST:: SOT 920553 SOS 518116 HAS SOPS 518116 HAS SOUS 418505 HAS SOUPS 418505 WITH SCORE 419023.116
AT ITER 4601 NEW BEST:: SOT 920543 SOS 518064 HAS SOPS 518064 HAS SOUS 418467 HAS SOUPS 418467 WITH SCORE 418985.064
AT ITER 4605 NEW BEST:: SOT 920543 SOS 518050 HAS SOPS 518050 HAS SOUS 418453 HAS SOUPS 418453 WITH SCORE 418971.05
AT ITER 4612 NEW BEST:: SOT 920347 SOS 517573 HAS SOPS 517573 HAS SOUS 417950 HAS SOUPS 417950 WITH SCORE 418467.573
AT ITER 4626 NEW BEST:: SOT 920192 SOS 517354 HAS SOPS 517354 HAS SOUS 417731 HAS SOUPS 417731 WITH SCORE 418248.354
AT ITER 4637 NEW BEST:: SOT 919936 SOS 516795 HAS SOPS 516795 HAS SOUS 417172 HAS SOUPS 417172 WITH SCORE 417688.795
AT ITER 4650 NEW BEST:: SOT 919774 SOS 516633 HAS SOPS 516633 HAS SOUS 417057 HAS SOUPS 417057 WITH SCORE 417573.633
AT ITER 4657 NEW BEST:: SOT 919675 SOS 516435 HAS SOPS 516435 HAS SOUS 416859 HAS SOUPS 416859 WITH SCORE 417375.435
AT ITER 4665 NEW BEST:: SOT 919234 SOS 514666 HAS SOPS 514666 HAS SOUS 415500 HAS SOUPS 415500 WITH SCORE 416014.666
AT ITER 4670 NEW BEST:: SOT 919201 SOS 514560 HAS SOPS 514560 HAS SOUS 415246 HAS SOUPS 415246 WITH SCORE 415760.56
AT ITER 4681 NEW BEST:: SOT 918866 SOS 514265 HAS SOPS 514265 HAS SOUS 414990 HAS SOUPS 414990 WITH SCORE 415504.265
AT ITER 4685 NEW BEST:: SOT 918944 SOS 514509 HAS SOPS 514509 HAS SOUS 414882 HAS SOUPS 414882 WITH SCORE 415396.509
AT ITER 4686 NEW BEST:: SOT 918335 SOS 513498 HAS SOPS 513498 HAS SOUS 414309 HAS SOUPS 414309 WITH SCORE 414822.498
AT ITER 4687 NEW BEST:: SOT 918316 SOS 513483 HAS SOPS 513483 HAS SOUS 414294 HAS SOUPS 414294 WITH SCORE 414807.483
AT ITER 4698 NEW BEST:: SOT 918316 SOS 513414 HAS SOPS 513414 HAS SOUS 414225 HAS SOUPS 414225 WITH SCORE 414738.414
AT ITER 4700 NEW BEST:: SOT 918261 SOS 513395 HAS SOPS 513395 HAS SOUS 414185 HAS SOUPS 414185 WITH SCORE 414698.395
AT ITER 4715 NEW BEST:: SOT 918249 SOS 513383 HAS SOPS 513383 HAS SOUS 414119 HAS SOUPS 414119 WITH SCORE 414632.383
AT ITER 4717 NEW BEST:: SOT 918237 SOS 513379 HAS SOPS 513379 HAS SOUS 414115 HAS SOUPS 414115 WITH SCORE 414628.379
AT ITER 4725 NEW BEST:: SOT 917865 SOS 512297 HAS SOPS 512297 HAS SOUS 413033 HAS SOUPS 413033 WITH SCORE 413545.297
AT ITER 4740 NEW BEST:: SOT 917865 SOS 512270 HAS SOPS 512270 HAS SOUS 412979 HAS SOUPS 412979 WITH SCORE 413491.27
AT ITER 4749 NEW BEST:: SOT 917800 SOS 512161 HAS SOPS 512161 HAS SOUS 412929 HAS SOUPS 412929 WITH SCORE 413441.161
AT ITER 4757 NEW BEST:: SOT 917768 SOS 511883 HAS SOPS 511883 HAS SOUS 412651 HAS SOUPS 412651 WITH SCORE 413162.883
AT ITER 4779 NEW BEST:: SOT 917413 SOS 511621 HAS SOPS 511621 HAS SOUS 412452 HAS SOUPS 412452 WITH SCORE 412963.621
AT ITER 4784 NEW BEST:: SOT 917413 SOS 511615 HAS SOPS 511615 HAS SOUS 412452 HAS SOUPS 412452 WITH SCORE 412963.615
AT ITER 4786 NEW BEST:: SOT 917017 SOS 511221 HAS SOPS 511221 HAS SOUS 412058 HAS SOUPS 412058 WITH SCORE 412569.221
AT ITER 4798 NEW BEST:: SOT 916855 SOS 511073 HAS SOPS 511073 HAS SOUS 411910 HAS SOUPS 411910 WITH SCORE 412421.073
AT ITER 4807 NEW BEST:: SOT 916837 SOS 511055 HAS SOPS 511055 HAS SOUS 411892 HAS SOUPS 411892 WITH SCORE 412403.055
AT ITER 4815 NEW BEST:: SOT 916655 SOS 510444 HAS SOPS 510444 HAS SOUS 411281 HAS SOUPS 411281 WITH SCORE 411791.444
AT ITER 4824 NEW BEST:: SOT 916609 SOS 509926 HAS SOPS 509926 HAS SOUS 411235 HAS SOUPS 411235 WITH SCORE 411744.926
AT ITER 4831 NEW BEST:: SOT 916468 SOS 509500 HAS SOPS 509500 HAS SOUS 410765 HAS SOUPS 410765 WITH SCORE 411274.5
AT ITER 4832 NEW BEST:: SOT 916465 SOS 509499 HAS SOPS 509499 HAS SOUS 410764 HAS SOUPS 410764 WITH SCORE 411273.499
AT ITER 4839 NEW BEST:: SOT 915811 SOS 507591 HAS SOPS 507591 HAS SOUS 410219 HAS SOUPS 410219 WITH SCORE 410726.591
AT ITER 4840 NEW BEST:: SOT 915547 SOS 507261 HAS SOPS 507261 HAS SOUS 409889 HAS SOUPS 409889 WITH SCORE 410396.261
AT ITER 4842 NEW BEST:: SOT 915929 SOS 507031 HAS SOPS 507031 HAS SOUS 409735 HAS SOUPS 409735 WITH SCORE 410242.031
AT ITER 4857 NEW BEST:: SOT 916568 SOS 507893 HAS SOPS 507893 HAS SOUS 409685 HAS SOUPS 409685 WITH SCORE 410192.893
AT ITER 4860 NEW BEST:: SOT 916629 SOS 507619 HAS SOPS 507619 HAS SOUS 409465 HAS SOUPS 409465 WITH SCORE 409972.619
AT ITER 4875 NEW BEST:: SOT 916566 SOS 507194 HAS SOPS 507194 HAS SOUS 409175 HAS SOUPS 409175 WITH SCORE 409682.194
AT ITER 4880 NEW BEST:: SOT 916548 SOS 507157 HAS SOPS 507157 HAS SOUS 409138 HAS SOUPS 409138 WITH SCORE 409645.157
AT ITER 4893 NEW BEST:: SOT 916548 SOS 507093 HAS SOPS 507093 HAS SOUS 409122 HAS SOUPS 409122 WITH SCORE 409629.093
AT ITER 4906 NEW BEST:: SOT 916028 SOS 506545 HAS SOPS 506545 HAS SOUS 408574 HAS SOUPS 408574 WITH SCORE 409080.545
AT ITER 4908 NEW BEST:: SOT 915809 SOS 505718 HAS SOPS 505718 HAS SOUS 408093 HAS SOUPS 408093 WITH SCORE 408598.718
AT ITER 4925 NEW BEST:: SOT 915733 SOS 505459 HAS SOPS 505459 HAS SOUS 408048 HAS SOUPS 408048 WITH SCORE 408553.459
AT ITER 4930 NEW BEST:: SOT 915733 SOS 505332 HAS SOPS 505332 HAS SOUS 408007 HAS SOUPS 408007 WITH SCORE 408512.332
AT ITER 4943 NEW BEST:: SOT 915731 SOS 504952 HAS SOPS 504952 HAS SOUS 407659 HAS SOUPS 407659 WITH SCORE 408163.952
AT ITER 4944 NEW BEST:: SOT 915603 SOS 504824 HAS SOPS 504824 HAS SOUS 407531 HAS SOUPS 407531 WITH SCORE 408035.824
AT ITER 4947 NEW BEST:: SOT 915570 SOS 504778 HAS SOPS 504778 HAS SOUS 407485 HAS SOUPS 407485 WITH SCORE 407989.778
AT ITER 4948 NEW BEST:: SOT 915388 SOS 504414 HAS SOPS 504414 HAS SOUS 407121 HAS SOUPS 407121 WITH SCORE 407625.414
AT ITER 4953 NEW BEST:: SOT 914518 SOS 503762 HAS SOPS 503762 HAS SOUS 406479 HAS SOUPS 406479 WITH SCORE 406982.762
AT ITER 4957 NEW BEST:: SOT 914414 SOS 503582 HAS SOPS 503582 HAS SOUS 406231 HAS SOUPS 406231 WITH SCORE 406734.582
AT ITER 4962 NEW BEST:: SOT 914481 SOS 503638 HAS SOPS 503638 HAS SOUS 406164 HAS SOUPS 406164 WITH SCORE 406667.638
AT ITER 4979 NEW BEST:: SOT 914567 SOS 503789 HAS SOPS 503789 HAS SOUS 406161 HAS SOUPS 406161 WITH SCORE 406664.789
AT ITER 4981 NEW BEST:: SOT 914189 SOS 503241 HAS SOPS 503241 HAS SOUS 405613 HAS SOUPS 405613 WITH SCORE 406116.241
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-00 ( ( ( ( ( ( ((potential((tk(P713)>=1) & (tk(P746)>=1)))) & ((potential((tk(P388)>=1) & (tk(P421)>=1)))) ) | ((potential((tk(P490)>=1) & (tk(P511)>=1)))) ) & (AG( ((potential((tk(P601)>=1)))))) ) & ( ((potential((tk(P839)>=1) & (tk(P849)>=1) & (tk(P853)>=1)))) & (EG( ((potential((tk(P866)>=1)))))) ) ) | (AX( (EF( ((potential((tk(P364)>=1) & (tk(P372)>=1) & (tk(P376)>=1)))))))) ) & (EF( ( (EG( ((potential((tk(P534)>=1) & (tk(P548)>=1)))))) & (AF( ((potential((tk(P73)>=1)))))) ))) )
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-01 (EG( ( (! ((potential((tk(P1109)>=1) & (tk(P1123)>=1))))) & (EX( (! ((potential((tk(P742)>=1))))))) )))
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-02 (EF( (EF( ((potential((tk(P797)>=1))))))))
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-03 (AG( (! (EG( ((potential((tk(P312)>=1) & (tk(P316)>=1) & (tk(P327)>=1)))))))))
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-04 (AG( (EF( (! ( ((potential((tk(P783)>=1) & (tk(P785)>=1)))) | ((potential((tk(P1189)>=1) & (tk(P1197)>=1) & (tk(P1203)>=1)))) ))))))
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-05 (EX( (EG( ( (! ((potential((tk(P864)>=1) & (tk(P874)>=1) & (tk(P876)>=1))))) & (! ((potential((tk(P709)>=1) & (tk(P723)>=1))))) )))))
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-06 (EF( ( ( ( ( ((potential((tk(P297)>=1)))) | ((potential((tk(P989)>=1) & (tk(P999)>=1) & (tk(P1001)>=1)))) ) & (! ((potential((tk(P1176)>=1))))) ) & (! ( ((potential((tk(P480)>=1) & (tk(P495)>=1)))) & ((potential((tk(P802)>=1)))) )) ) & ( (AF( ((potential((tk(P284)>=1) & (tk(P299)>=1)))))) & ( ( ((potential((tk(P762)>=1) & (tk(P766)>=1) & (tk(P778)>=1)))) & ((potential((tk(P484)>=1) & (tk(P499)>=1)))) ) | ( ((potential((tk(P607)>=1) & (tk(P618)>=1)))) | ((potential((tk(P130)>=1) & (tk(P145)>=1)))) ) ) ) )))
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-07 (EF( ((potential((tk(P187)>=1) & (tk(P191)>=1) & (tk(P203)>=1))))))
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-08 ( (! ( (AG( ( ((potential((tk(P932)>=1) & (tk(P942)>=1)))) & ((potential((tk(P926)>=1)))) ))) | (EF( ( ((potential((tk(P438)>=1) & (tk(P471)>=1)))) | ((potential((tk(P639)>=1) & (tk(P647)>=1) & (tk(P651)>=1)))) ))) )) | (EG( ( (! ( ((potential((tk(P273)>=1)))) & ((potential((tk(P382)>=1) & (tk(P393)>=1)))) )) & ( ( ((potential((tk(P184)>=1) & (tk(P199)>=1)))) & ((potential((tk(P1048)>=1)))) ) & ((potential((tk(P458)>=1) & (tk(P460)>=1)))) ) ))) )
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-09 (EX( (EX( (AF( ((potential((tk(P189)>=1) & (tk(P197)>=1) & (tk(P201)>=1))))))))))
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-10 (! (AF( (AG( (! ((potential((tk(P64)>=1) & (tk(P72)>=1) & (tk(P78)>=1))))))))))
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-11 (AF( (AF( (EX( ((potential((tk(P651)>=1))))))))))
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-12 (! (AF( (! (! ( ((potential((tk(P164)>=1) & (tk(P172)>=1) & (tk(P176)>=1)))) & ((potential((tk(P184)>=1) & (tk(P199)>=1)))) ))))))
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-13 ( (EF( ( ( ( ((potential((tk(P147)>=1)))) & ((potential((tk(P534)>=1) & (tk(P549)>=1)))) ) | (! ((potential((tk(P641)>=1))))) ) & (AF( ((potential((tk(P990)>=1) & (tk(P1011)>=1)))))) ))) | ( ((potential((tk(P12)>=1) & (tk(P16)>=1) & (tk(P27)>=1)))) | ((potential((tk(P64)>=1) & (tk(P74)>=1) & (tk(P76)>=1)))) ) )
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-14 ( (! (AX( ( (! ((potential((tk(P316)>=1))))) | ( ((potential((tk(P1214)>=1) & (tk(P1224)>=1) & (tk(P1228)>=1)))) | ((potential((tk(P106)>=1) & (tk(P119)>=1)))) ) )))) | ( (! ((potential((tk(P837)>=1) & (tk(P841)>=1) & (tk(P853)>=1))))) & (EF( (EG( ((potential((tk(P466)>=1)))))))) ) )
PROPERTY: ShieldIIPs-PT-050A-CTLFireability-15 ( (! (AF( ( ((potential((tk(P262)>=1) & (tk(P266)>=1) & (tk(P278)>=1)))) | ( ((potential((tk(P916)>=1)))) & ((potential((tk(P162)>=1) & (tk(P166)>=1) & (tk(P177)>=1)))) ) )))) & (! ( (EF( ((potential((tk(P414)>=1) & (tk(P424)>=1) & (tk(P428)>=1)))))) | ( (AG( ((potential((tk(P1155)>=1) & (tk(P1170)>=1)))))) & ( ( ((potential((tk(P605)>=1) & (tk(P620)>=1)))) | ((potential((tk(P907)>=1) & (tk(P918)>=1)))) ) | ((potential((tk(P1191)>=1)))) ) ) )) )

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="CTLFireability"
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 CTLFireability"
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-159033469100188"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;