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-159033469900716.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 ShieldPPPt-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-159033469900716
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 2.9K May 14 02:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 02:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 19:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 19:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.6K May 13 14:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 14:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 08:56 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 337K 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 ShieldPPPt-PT-050A-CTLFireability-00
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-01
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-02
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-03
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-04
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-05
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-06
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-07
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-08
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-09
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-10
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-11
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-12
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-13
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-14
FORMULA_NAME ShieldPPPt-PT-050A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590450198124

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (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, 903 transitions, 3606 arcs.
AT ITER 0 NEW BEST:: SOT 932325 SOS 781082 HAS SOPS 781082 HAS SOUS 629308 HAS SOUPS 629308 WITH SCORE 630089.082
AT ITER 1 NEW BEST:: SOT 931894 SOS 780757 HAS SOPS 780757 HAS SOUS 628983 HAS SOUPS 628983 WITH SCORE 629763.757
AT ITER 2 NEW BEST:: SOT 931387 SOS 780333 HAS SOPS 780333 HAS SOUS 628579 HAS SOUPS 628579 WITH SCORE 629359.333
AT ITER 3 NEW BEST:: SOT 931387 SOS 779980 HAS SOPS 779980 HAS SOUS 628577 HAS SOUPS 628577 WITH SCORE 629356.98
AT ITER 4 NEW BEST:: SOT 930823 SOS 779787 HAS SOPS 779787 HAS SOUS 628501 HAS SOUPS 628501 WITH SCORE 629280.787
AT ITER 6 NEW BEST:: SOT 929251 SOS 777022 HAS SOPS 777022 HAS SOUS 626373 HAS SOUPS 626373 WITH SCORE 627150.022
AT ITER 7 NEW BEST:: SOT 928819 SOS 776588 HAS SOPS 776588 HAS SOUS 625939 HAS SOUPS 625939 WITH SCORE 626715.588
AT ITER 9 NEW BEST:: SOT 928819 SOS 774496 HAS SOPS 774496 HAS SOUS 625936 HAS SOUPS 625936 WITH SCORE 626710.496
AT ITER 13 NEW BEST:: SOT 928438 SOS 773988 HAS SOPS 773988 HAS SOUS 625427 HAS SOUPS 625427 WITH SCORE 626200.988
AT ITER 15 NEW BEST:: SOT 926785 SOS 772333 HAS SOPS 772333 HAS SOUS 623917 HAS SOUPS 623917 WITH SCORE 624689.333
AT ITER 16 NEW BEST:: SOT 926785 SOS 771760 HAS SOPS 771760 HAS SOUS 623726 HAS SOUPS 623726 WITH SCORE 624497.76
AT ITER 17 NEW BEST:: SOT 926306 SOS 771281 HAS SOPS 771281 HAS SOUS 623246 HAS SOUPS 623246 WITH SCORE 624017.281
AT ITER 18 NEW BEST:: SOT 925694 SOS 770669 HAS SOPS 770669 HAS SOUS 623027 HAS SOUPS 623027 WITH SCORE 623797.669
AT ITER 21 NEW BEST:: SOT 924762 SOS 769737 HAS SOPS 769737 HAS SOUS 622198 HAS SOUPS 622198 WITH SCORE 622967.737
AT ITER 23 NEW BEST:: SOT 924058 SOS 769031 HAS SOPS 769031 HAS SOUS 621764 HAS SOUPS 621764 WITH SCORE 622533.031
AT ITER 25 NEW BEST:: SOT 923522 SOS 766357 HAS SOPS 766357 HAS SOUS 620134 HAS SOUPS 620134 WITH SCORE 620900.357
AT ITER 26 NEW BEST:: SOT 922746 SOS 765596 HAS SOPS 765596 HAS SOUS 619380 HAS SOUPS 619380 WITH SCORE 620145.596
AT ITER 27 NEW BEST:: SOT 921834 SOS 764682 HAS SOPS 764682 HAS SOUS 618466 HAS SOUPS 618466 WITH SCORE 619230.682
AT ITER 28 NEW BEST:: SOT 921686 SOS 764532 HAS SOPS 764532 HAS SOUS 618316 HAS SOUPS 618316 WITH SCORE 619080.532
AT ITER 30 NEW BEST:: SOT 920813 SOS 761915 HAS SOPS 761915 HAS SOUS 616425 HAS SOUPS 616425 WITH SCORE 617186.915
AT ITER 32 NEW BEST:: SOT 920789 SOS 761891 HAS SOPS 761891 HAS SOUS 616401 HAS SOUPS 616401 WITH SCORE 617162.891
AT ITER 33 NEW BEST:: SOT 920752 SOS 761854 HAS SOPS 761854 HAS SOUS 616364 HAS SOUPS 616364 WITH SCORE 617125.854
AT ITER 34 NEW BEST:: SOT 920286 SOS 761386 HAS SOPS 761386 HAS SOUS 616134 HAS SOUPS 616134 WITH SCORE 616895.386
AT ITER 36 NEW BEST:: SOT 919864 SOS 759505 HAS SOPS 759505 HAS SOUS 615388 HAS SOUPS 615388 WITH SCORE 616147.505
AT ITER 37 NEW BEST:: SOT 919162 SOS 758189 HAS SOPS 758189 HAS SOUS 614377 HAS SOUPS 614377 WITH SCORE 615135.189
AT ITER 38 NEW BEST:: SOT 918910 SOS 757937 HAS SOPS 757937 HAS SOUS 614125 HAS SOUPS 614125 WITH SCORE 614882.937
AT ITER 40 NEW BEST:: SOT 918572 SOS 757599 HAS SOPS 757599 HAS SOUS 613787 HAS SOUPS 613787 WITH SCORE 614544.599
AT ITER 42 NEW BEST:: SOT 917928 SOS 756955 HAS SOPS 756955 HAS SOUS 613769 HAS SOUPS 613769 WITH SCORE 614525.955
AT ITER 44 NEW BEST:: SOT 917515 SOS 754007 HAS SOPS 754007 HAS SOUS 612379 HAS SOUPS 612379 WITH SCORE 613133.007
AT ITER 45 NEW BEST:: SOT 916321 SOS 752813 HAS SOPS 752813 HAS SOUS 611184 HAS SOUPS 611184 WITH SCORE 611936.813
AT ITER 47 NEW BEST:: SOT 915541 SOS 752033 HAS SOPS 752033 HAS SOUS 610122 HAS SOUPS 610122 WITH SCORE 610874.033
AT ITER 50 NEW BEST:: SOT 915088 SOS 751580 HAS SOPS 751580 HAS SOUS 609669 HAS SOUPS 609669 WITH SCORE 610420.58
AT ITER 52 NEW BEST:: SOT 915088 SOS 751110 HAS SOPS 751110 HAS SOUS 609667 HAS SOUPS 609667 WITH SCORE 610418.11
AT ITER 53 NEW BEST:: SOT 914668 SOS 749704 HAS SOPS 749704 HAS SOUS 608552 HAS SOUPS 608552 WITH SCORE 609301.704
AT ITER 55 NEW BEST:: SOT 913402 SOS 748438 HAS SOPS 748438 HAS SOUS 607286 HAS SOUPS 607286 WITH SCORE 608034.438
AT ITER 57 NEW BEST:: SOT 913402 SOS 748014 HAS SOPS 748014 HAS SOUS 607284 HAS SOUPS 607284 WITH SCORE 608032.014
AT ITER 58 NEW BEST:: SOT 913402 SOS 747678 HAS SOPS 747678 HAS SOUS 607214 HAS SOUPS 607214 WITH SCORE 607961.678
AT ITER 61 NEW BEST:: SOT 913402 SOS 746918 HAS SOPS 746918 HAS SOUS 607205 HAS SOUPS 607205 WITH SCORE 607951.918
AT ITER 63 NEW BEST:: SOT 912967 SOS 746483 HAS SOPS 746483 HAS SOUS 606769 HAS SOUPS 606769 WITH SCORE 607515.483
AT ITER 66 NEW BEST:: SOT 912465 SOS 745981 HAS SOPS 745981 HAS SOUS 606267 HAS SOUPS 606267 WITH SCORE 607012.981
AT ITER 67 NEW BEST:: SOT 911632 SOS 743462 HAS SOPS 743462 HAS SOUS 604272 HAS SOUPS 604272 WITH SCORE 605015.462
AT ITER 69 NEW BEST:: SOT 911632 SOS 742746 HAS SOPS 742746 HAS SOUS 604270 HAS SOUPS 604270 WITH SCORE 605012.746
AT ITER 71 NEW BEST:: SOT 910661 SOS 741888 HAS SOPS 741888 HAS SOUS 603410 HAS SOUPS 603410 WITH SCORE 604151.888
AT ITER 72 NEW BEST:: SOT 910655 SOS 741882 HAS SOPS 741882 HAS SOUS 603404 HAS SOUPS 603404 WITH SCORE 604145.882
AT ITER 79 NEW BEST:: SOT 910524 SOS 741751 HAS SOPS 741751 HAS SOUS 603273 HAS SOUPS 603273 WITH SCORE 604014.751
AT ITER 82 NEW BEST:: SOT 910338 SOS 741565 HAS SOPS 741565 HAS SOUS 603087 HAS SOUPS 603087 WITH SCORE 603828.565
AT ITER 84 NEW BEST:: SOT 910081 SOS 740719 HAS SOPS 740719 HAS SOUS 602972 HAS SOUPS 602972 WITH SCORE 603712.719
AT ITER 89 NEW BEST:: SOT 910081 SOS 740287 HAS SOPS 740287 HAS SOUS 602972 HAS SOUPS 602972 WITH SCORE 603712.287
AT ITER 91 NEW BEST:: SOT 908936 SOS 737644 HAS SOPS 737644 HAS SOUS 601227 HAS SOUPS 601227 WITH SCORE 601964.644
AT ITER 92 NEW BEST:: SOT 908902 SOS 736278 HAS SOPS 736278 HAS SOUS 600631 HAS SOUPS 600631 WITH SCORE 601367.278
AT ITER 93 NEW BEST:: SOT 907717 SOS 735091 HAS SOPS 735091 HAS SOUS 599444 HAS SOUPS 599444 WITH SCORE 600179.091
AT ITER 95 NEW BEST:: SOT 907402 SOS 734774 HAS SOPS 734774 HAS SOUS 599127 HAS SOUPS 599127 WITH SCORE 599861.774
AT ITER 98 NEW BEST:: SOT 906117 SOS 733487 HAS SOPS 733487 HAS SOUS 597879 HAS SOUPS 597879 WITH SCORE 598612.487
AT ITER 99 NEW BEST:: SOT 906117 SOS 732236 HAS SOPS 732236 HAS SOUS 597870 HAS SOUPS 597870 WITH SCORE 598602.236
AT ITER 102 NEW BEST:: SOT 906057 SOS 732176 HAS SOPS 732176 HAS SOUS 597810 HAS SOUPS 597810 WITH SCORE 598542.176
AT ITER 107 NEW BEST:: SOT 905408 SOS 730307 HAS SOPS 730307 HAS SOUS 596873 HAS SOUPS 596873 WITH SCORE 597603.307
AT ITER 109 NEW BEST:: SOT 904051 SOS 728950 HAS SOPS 728950 HAS SOUS 595516 HAS SOUPS 595516 WITH SCORE 596244.95
AT ITER 110 NEW BEST:: SOT 903421 SOS 728320 HAS SOPS 728320 HAS SOUS 595490 HAS SOUPS 595490 WITH SCORE 596218.32
AT ITER 113 NEW BEST:: SOT 902927 SOS 727558 HAS SOPS 727558 HAS SOUS 594853 HAS SOUPS 594853 WITH SCORE 595580.558
AT ITER 114 NEW BEST:: SOT 902219 SOS 726850 HAS SOPS 726850 HAS SOUS 594145 HAS SOUPS 594145 WITH SCORE 594871.85
AT ITER 116 NEW BEST:: SOT 901924 SOS 726555 HAS SOPS 726555 HAS SOUS 593850 HAS SOUPS 593850 WITH SCORE 594576.555
AT ITER 122 NEW BEST:: SOT 901582 SOS 726213 HAS SOPS 726213 HAS SOUS 593507 HAS SOUPS 593507 WITH SCORE 594233.213
AT ITER 123 NEW BEST:: SOT 901582 SOS 725637 HAS SOPS 725637 HAS SOUS 593359 HAS SOUPS 593359 WITH SCORE 594084.637
AT ITER 126 NEW BEST:: SOT 901582 SOS 724181 HAS SOPS 724181 HAS SOUS 593355 HAS SOUPS 593355 WITH SCORE 594079.181
AT ITER 131 NEW BEST:: SOT 899978 SOS 719887 HAS SOPS 719887 HAS SOUS 590683 HAS SOUPS 590683 WITH SCORE 591402.887
AT ITER 132 NEW BEST:: SOT 898439 SOS 718348 HAS SOPS 718348 HAS SOUS 589144 HAS SOUPS 589144 WITH SCORE 589862.348
AT ITER 135 NEW BEST:: SOT 898439 SOS 717652 HAS SOPS 717652 HAS SOUS 589143 HAS SOUPS 589143 WITH SCORE 589860.652
AT ITER 139 NEW BEST:: SOT 898241 SOS 715590 HAS SOPS 715590 HAS SOUS 587999 HAS SOUPS 587999 WITH SCORE 588714.59
AT ITER 143 NEW BEST:: SOT 898241 SOS 714602 HAS SOPS 714602 HAS SOUS 587998 HAS SOUPS 587998 WITH SCORE 588712.602
AT ITER 145 NEW BEST:: SOT 897638 SOS 713999 HAS SOPS 713999 HAS SOUS 587620 HAS SOUPS 587620 WITH SCORE 588333.999
AT ITER 146 NEW BEST:: SOT 897399 SOS 713890 HAS SOPS 713890 HAS SOUS 587298 HAS SOUPS 587298 WITH SCORE 588011.89
AT ITER 147 NEW BEST:: SOT 897222 SOS 713672 HAS SOPS 713672 HAS SOUS 587227 HAS SOUPS 587227 WITH SCORE 587940.672
AT ITER 151 NEW BEST:: SOT 896089 SOS 711072 HAS SOPS 711072 HAS SOUS 585069 HAS SOUPS 585069 WITH SCORE 585780.072
AT ITER 152 NEW BEST:: SOT 895642 SOS 710625 HAS SOPS 710625 HAS SOUS 584622 HAS SOUPS 584622 WITH SCORE 585332.625
AT ITER 153 NEW BEST:: SOT 894409 SOS 709028 HAS SOPS 709028 HAS SOUS 583020 HAS SOUPS 583020 WITH SCORE 583729.028
AT ITER 155 NEW BEST:: SOT 894266 SOS 708885 HAS SOPS 708885 HAS SOUS 582877 HAS SOUPS 582877 WITH SCORE 583585.885
AT ITER 158 NEW BEST:: SOT 893526 SOS 708145 HAS SOPS 708145 HAS SOUS 581756 HAS SOUPS 581756 WITH SCORE 582464.145
AT ITER 159 NEW BEST:: SOT 892218 SOS 705346 HAS SOPS 705346 HAS SOUS 579705 HAS SOUPS 579705 WITH SCORE 580410.346
AT ITER 161 NEW BEST:: SOT 892112 SOS 705240 HAS SOPS 705240 HAS SOUS 579597 HAS SOUPS 579597 WITH SCORE 580302.24
AT ITER 162 NEW BEST:: SOT 890862 SOS 702766 HAS SOPS 702766 HAS SOUS 577832 HAS SOUPS 577832 WITH SCORE 578534.766
AT ITER 164 NEW BEST:: SOT 890862 SOS 701349 HAS SOPS 701349 HAS SOUS 577825 HAS SOUPS 577825 WITH SCORE 578526.349
AT ITER 165 NEW BEST:: SOT 890862 SOS 700725 HAS SOPS 700725 HAS SOUS 577823 HAS SOUPS 577823 WITH SCORE 578523.725
AT ITER 166 NEW BEST:: SOT 890272 SOS 700135 HAS SOPS 700135 HAS SOUS 577625 HAS SOUPS 577625 WITH SCORE 578325.135
AT ITER 167 NEW BEST:: SOT 889861 SOS 699724 HAS SOPS 699724 HAS SOUS 577214 HAS SOUPS 577214 WITH SCORE 577913.724
AT ITER 170 NEW BEST:: SOT 889439 SOS 699302 HAS SOPS 699302 HAS SOUS 576790 HAS SOUPS 576790 WITH SCORE 577489.302
AT ITER 173 NEW BEST:: SOT 888903 SOS 698808 HAS SOPS 698808 HAS SOUS 576339 HAS SOUPS 576339 WITH SCORE 577037.808
AT ITER 175 NEW BEST:: SOT 888369 SOS 698513 HAS SOPS 698513 HAS SOUS 576274 HAS SOUPS 576274 WITH SCORE 576972.513
AT ITER 176 NEW BEST:: SOT 888369 SOS 698461 HAS SOPS 698461 HAS SOUS 576274 HAS SOUPS 576274 WITH SCORE 576972.461
AT ITER 177 NEW BEST:: SOT 888367 SOS 696461 HAS SOPS 696461 HAS SOUS 575863 HAS SOUPS 575863 WITH SCORE 576559.461
AT ITER 179 NEW BEST:: SOT 887912 SOS 696006 HAS SOPS 696006 HAS SOUS 575407 HAS SOUPS 575407 WITH SCORE 576103.006
AT ITER 182 NEW BEST:: SOT 887912 SOS 694132 HAS SOPS 694132 HAS SOUS 575405 HAS SOUPS 575405 WITH SCORE 576099.132
AT ITER 183 NEW BEST:: SOT 887458 SOS 693678 HAS SOPS 693678 HAS SOUS 574951 HAS SOUPS 574951 WITH SCORE 575644.678
AT ITER 186 NEW BEST:: SOT 886171 SOS 692391 HAS SOPS 692391 HAS SOUS 573513 HAS SOUPS 573513 WITH SCORE 574205.391
AT ITER 188 NEW BEST:: SOT 886171 SOS 692391 HAS SOPS 692391 HAS SOUS 573493 HAS SOUPS 573493 WITH SCORE 574185.391
AT ITER 190 NEW BEST:: SOT 885268 SOS 691488 HAS SOPS 691488 HAS SOUS 572589 HAS SOUPS 572589 WITH SCORE 573280.488
AT ITER 199 NEW BEST:: SOT 884866 SOS 691086 HAS SOPS 691086 HAS SOUS 572187 HAS SOUPS 572187 WITH SCORE 572878.086
AT ITER 200 NEW BEST:: SOT 884223 SOS 690443 HAS SOPS 690443 HAS SOUS 571544 HAS SOUPS 571544 WITH SCORE 572234.443
AT ITER 201 NEW BEST:: SOT 884208 SOS 690428 HAS SOPS 690428 HAS SOUS 571529 HAS SOUPS 571529 WITH SCORE 572219.428
AT ITER 204 NEW BEST:: SOT 884112 SOS 690332 HAS SOPS 690332 HAS SOUS 571433 HAS SOUPS 571433 WITH SCORE 572123.332
AT ITER 206 NEW BEST:: SOT 883465 SOS 689685 HAS SOPS 689685 HAS SOUS 570786 HAS SOUPS 570786 WITH SCORE 571475.685
AT ITER 207 NEW BEST:: SOT 883380 SOS 689600 HAS SOPS 689600 HAS SOUS 570701 HAS SOUPS 570701 WITH SCORE 571390.6
AT ITER 210 NEW BEST:: SOT 882872 SOS 688923 HAS SOPS 688923 HAS SOUS 570023 HAS SOUPS 570023 WITH SCORE 570711.923
AT ITER 213 NEW BEST:: SOT 882872 SOS 686967 HAS SOPS 686967 HAS SOUS 570023 HAS SOUPS 570023 WITH SCORE 570709.967
AT ITER 218 NEW BEST:: SOT 882089 SOS 686184 HAS SOPS 686184 HAS SOUS 569240 HAS SOUPS 569240 WITH SCORE 569926.184
AT ITER 220 NEW BEST:: SOT 881850 SOS 685577 HAS SOPS 685577 HAS SOUS 568633 HAS SOUPS 568633 WITH SCORE 569318.577
AT ITER 221 NEW BEST:: SOT 881801 SOS 685573 HAS SOPS 685573 HAS SOUS 568629 HAS SOUPS 568629 WITH SCORE 569314.573
AT ITER 224 NEW BEST:: SOT 881001 SOS 682896 HAS SOPS 682896 HAS SOUS 566652 HAS SOUPS 566652 WITH SCORE 567334.896
AT ITER 226 NEW BEST:: SOT 880865 SOS 682758 HAS SOPS 682758 HAS SOUS 566536 HAS SOUPS 566536 WITH SCORE 567218.758
AT ITER 229 NEW BEST:: SOT 880780 SOS 680881 HAS SOPS 680881 HAS SOUS 565794 HAS SOUPS 565794 WITH SCORE 566474.881
AT ITER 230 NEW BEST:: SOT 880554 SOS 680542 HAS SOPS 680542 HAS SOUS 565455 HAS SOUPS 565455 WITH SCORE 566135.542
AT ITER 234 NEW BEST:: SOT 880554 SOS 679408 HAS SOPS 679408 HAS SOUS 565446 HAS SOUPS 565446 WITH SCORE 566125.408
AT ITER 235 NEW BEST:: SOT 880554 SOS 679292 HAS SOPS 679292 HAS SOUS 565446 HAS SOUPS 565446 WITH SCORE 566125.292
AT ITER 237 NEW BEST:: SOT 880554 SOS 678239 HAS SOPS 678239 HAS SOUS 565344 HAS SOUPS 565344 WITH SCORE 566022.239
AT ITER 240 NEW BEST:: SOT 880377 SOS 678068 HAS SOPS 678068 HAS SOUS 565173 HAS SOUPS 565173 WITH SCORE 565851.068
AT ITER 241 NEW BEST:: SOT 879777 SOS 677468 HAS SOPS 677468 HAS SOUS 564743 HAS SOUPS 564743 WITH SCORE 565420.468
AT ITER 244 NEW BEST:: SOT 879886 SOS 675933 HAS SOPS 675933 HAS SOUS 564189 HAS SOUPS 564189 WITH SCORE 564864.933
AT ITER 245 NEW BEST:: SOT 879886 SOS 675188 HAS SOPS 675188 HAS SOUS 564105 HAS SOUPS 564105 WITH SCORE 564780.188
AT ITER 247 NEW BEST:: SOT 879260 SOS 673114 HAS SOPS 673114 HAS SOUS 562665 HAS SOUPS 562665 WITH SCORE 563338.114
AT ITER 250 NEW BEST:: SOT 879188 SOS 673042 HAS SOPS 673042 HAS SOUS 562593 HAS SOUPS 562593 WITH SCORE 563266.042
AT ITER 253 NEW BEST:: SOT 879188 SOS 672641 HAS SOPS 672641 HAS SOUS 562591 HAS SOUPS 562591 WITH SCORE 563263.641
AT ITER 256 NEW BEST:: SOT 878603 SOS 672056 HAS SOPS 672056 HAS SOUS 562414 HAS SOUPS 562414 WITH SCORE 563086.056
AT ITER 257 NEW BEST:: SOT 878682 SOS 672093 HAS SOPS 672093 HAS SOUS 562408 HAS SOUPS 562408 WITH SCORE 563080.093
AT ITER 260 NEW BEST:: SOT 878682 SOS 672093 HAS SOPS 672093 HAS SOUS 562406 HAS SOUPS 562406 WITH SCORE 563078.093
AT ITER 261 NEW BEST:: SOT 878682 SOS 671192 HAS SOPS 671192 HAS SOUS 562173 HAS SOUPS 562173 WITH SCORE 562844.192
AT ITER 263 NEW BEST:: SOT 879079 SOS 670103 HAS SOPS 670103 HAS SOUS 561985 HAS SOUPS 561985 WITH SCORE 562655.103
AT ITER 267 NEW BEST:: SOT 878569 SOS 669593 HAS SOPS 669593 HAS SOUS 561474 HAS SOUPS 561474 WITH SCORE 562143.593
AT ITER 272 NEW BEST:: SOT 878490 SOS 669514 HAS SOPS 669514 HAS SOUS 561386 HAS SOUPS 561386 WITH SCORE 562055.514
AT ITER 273 NEW BEST:: SOT 878490 SOS 668981 HAS SOPS 668981 HAS SOUS 561386 HAS SOUPS 561386 WITH SCORE 562054.981
AT ITER 276 NEW BEST:: SOT 878490 SOS 668569 HAS SOPS 668569 HAS SOUS 561384 HAS SOUPS 561384 WITH SCORE 562052.569
AT ITER 277 NEW BEST:: SOT 878477 SOS 668556 HAS SOPS 668556 HAS SOUS 561371 HAS SOUPS 561371 WITH SCORE 562039.556
AT ITER 278 NEW BEST:: SOT 877860 SOS 668447 HAS SOPS 668447 HAS SOUS 561262 HAS SOUPS 561262 WITH SCORE 561930.447
AT ITER 280 NEW BEST:: SOT 877084 SOS 666820 HAS SOPS 666820 HAS SOUS 560191 HAS SOUPS 560191 WITH SCORE 560857.82
AT ITER 281 NEW BEST:: SOT 876878 SOS 666614 HAS SOPS 666614 HAS SOUS 559985 HAS SOUPS 559985 WITH SCORE 560651.614
AT ITER 289 NEW BEST:: SOT 876570 SOS 666306 HAS SOPS 666306 HAS SOUS 559537 HAS SOUPS 559537 WITH SCORE 560203.306
AT ITER 292 NEW BEST:: SOT 876485 SOS 666221 HAS SOPS 666221 HAS SOUS 559452 HAS SOUPS 559452 WITH SCORE 560118.221
AT ITER 297 NEW BEST:: SOT 876485 SOS 665845 HAS SOPS 665845 HAS SOUS 559450 HAS SOUPS 559450 WITH SCORE 560115.845
AT ITER 299 NEW BEST:: SOT 876485 SOS 664537 HAS SOPS 664537 HAS SOUS 559014 HAS SOUPS 559014 WITH SCORE 559678.537
AT ITER 303 NEW BEST:: SOT 876446 SOS 664496 HAS SOPS 664496 HAS SOUS 558972 HAS SOUPS 558972 WITH SCORE 559636.496
AT ITER 304 NEW BEST:: SOT 876077 SOS 664125 HAS SOPS 664125 HAS SOUS 558826 HAS SOUPS 558826 WITH SCORE 559490.125
AT ITER 305 NEW BEST:: SOT 875921 SOS 662782 HAS SOPS 662782 HAS SOUS 557768 HAS SOUPS 557768 WITH SCORE 558430.782
AT ITER 310 NEW BEST:: SOT 875900 SOS 662761 HAS SOPS 662761 HAS SOUS 557747 HAS SOUPS 557747 WITH SCORE 558409.761
AT ITER 315 NEW BEST:: SOT 875528 SOS 662203 HAS SOPS 662203 HAS SOUS 557255 HAS SOUPS 557255 WITH SCORE 557917.203
AT ITER 316 NEW BEST:: SOT 875153 SOS 662048 HAS SOPS 662048 HAS SOUS 557090 HAS SOUPS 557090 WITH SCORE 557752.048
AT ITER 318 NEW BEST:: SOT 874718 SOS 662231 HAS SOPS 662231 HAS SOUS 556995 HAS SOUPS 556995 WITH SCORE 557657.231
AT ITER 321 NEW BEST:: SOT 874379 SOS 661892 HAS SOPS 661892 HAS SOUS 556767 HAS SOUPS 556767 WITH SCORE 557428.892
AT ITER 325 NEW BEST:: SOT 874268 SOS 661337 HAS SOPS 661337 HAS SOUS 556545 HAS SOUPS 556545 WITH SCORE 557206.337
AT ITER 326 NEW BEST:: SOT 874266 SOS 661334 HAS SOPS 661334 HAS SOUS 556541 HAS SOUPS 556541 WITH SCORE 557202.334
AT ITER 328 NEW BEST:: SOT 873637 SOS 660705 HAS SOPS 660705 HAS SOUS 555777 HAS SOUPS 555777 WITH SCORE 556437.705
AT ITER 331 NEW BEST:: SOT 873424 SOS 658957 HAS SOPS 658957 HAS SOUS 554560 HAS SOUPS 554560 WITH SCORE 555218.957
AT ITER 332 NEW BEST:: SOT 873308 SOS 658841 HAS SOPS 658841 HAS SOUS 554444 HAS SOUPS 554444 WITH SCORE 555102.841
AT ITER 333 NEW BEST:: SOT 873098 SOS 658549 HAS SOPS 658549 HAS SOUS 554152 HAS SOUPS 554152 WITH SCORE 554810.549
AT ITER 336 NEW BEST:: SOT 872942 SOS 658393 HAS SOPS 658393 HAS SOUS 553996 HAS SOUPS 553996 WITH SCORE 554654.393
AT ITER 338 NEW BEST:: SOT 872783 SOS 658234 HAS SOPS 658234 HAS SOUS 553900 HAS SOUPS 553900 WITH SCORE 554558.234
AT ITER 342 NEW BEST:: SOT 872701 SOS 658152 HAS SOPS 658152 HAS SOUS 553818 HAS SOUPS 553818 WITH SCORE 554476.152
AT ITER 343 NEW BEST:: SOT 872483 SOS 657298 HAS SOPS 657298 HAS SOUS 553347 HAS SOUPS 553347 WITH SCORE 554004.298
AT ITER 345 NEW BEST:: SOT 872546 SOS 657361 HAS SOPS 657361 HAS SOUS 553009 HAS SOUPS 553009 WITH SCORE 553666.361
AT ITER 346 NEW BEST:: SOT 871916 SOS 656731 HAS SOPS 656731 HAS SOUS 552694 HAS SOUPS 552694 WITH SCORE 553350.731
AT ITER 348 NEW BEST:: SOT 871599 SOS 656414 HAS SOPS 656414 HAS SOUS 552375 HAS SOUPS 552375 WITH SCORE 553031.414
AT ITER 349 NEW BEST:: SOT 871100 SOS 655915 HAS SOPS 655915 HAS SOUS 552069 HAS SOUPS 552069 WITH SCORE 552724.915
AT ITER 354 NEW BEST:: SOT 871064 SOS 655878 HAS SOPS 655878 HAS SOUS 552032 HAS SOUPS 552032 WITH SCORE 552687.878
AT ITER 355 NEW BEST:: SOT 871064 SOS 655876 HAS SOPS 655876 HAS SOUS 552030 HAS SOUPS 552030 WITH SCORE 552685.876
AT ITER 356 NEW BEST:: SOT 871064 SOS 655518 HAS SOPS 655518 HAS SOUS 551846 HAS SOUPS 551846 WITH SCORE 552501.518
AT ITER 358 NEW BEST:: SOT 870251 SOS 653731 HAS SOPS 653731 HAS SOUS 550469 HAS SOUPS 550469 WITH SCORE 551122.731
AT ITER 363 NEW BEST:: SOT 870251 SOS 652795 HAS SOPS 652795 HAS SOUS 550469 HAS SOUPS 550469 WITH SCORE 551121.795
AT ITER 365 NEW BEST:: SOT 869841 SOS 652385 HAS SOPS 652385 HAS SOUS 550059 HAS SOUPS 550059 WITH SCORE 550711.385
AT ITER 367 NEW BEST:: SOT 869841 SOS 652260 HAS SOPS 652260 HAS SOUS 550059 HAS SOUPS 550059 WITH SCORE 550711.26
AT ITER 368 NEW BEST:: SOT 869841 SOS 650784 HAS SOPS 650784 HAS SOUS 549998 HAS SOUPS 549998 WITH SCORE 550648.784
AT ITER 371 NEW BEST:: SOT 869161 SOS 650104 HAS SOPS 650104 HAS SOUS 549327 HAS SOUPS 549327 WITH SCORE 549977.104
AT ITER 375 NEW BEST:: SOT 869095 SOS 650224 HAS SOPS 650224 HAS SOUS 549195 HAS SOUPS 549195 WITH SCORE 549845.224
AT ITER 376 NEW BEST:: SOT 868737 SOS 649556 HAS SOPS 649556 HAS SOUS 548672 HAS SOUPS 548672 WITH SCORE 549321.556
AT ITER 378 NEW BEST:: SOT 868576 SOS 649395 HAS SOPS 649395 HAS SOUS 548511 HAS SOUPS 548511 WITH SCORE 549160.395
AT ITER 380 NEW BEST:: SOT 868576 SOS 649006 HAS SOPS 649006 HAS SOUS 548510 HAS SOUPS 548510 WITH SCORE 549159.006
AT ITER 383 NEW BEST:: SOT 868576 SOS 649285 HAS SOPS 649285 HAS SOUS 548504 HAS SOUPS 548504 WITH SCORE 549153.285
AT ITER 384 NEW BEST:: SOT 868576 SOS 648653 HAS SOPS 648653 HAS SOUS 548502 HAS SOUPS 548502 WITH SCORE 549150.653
AT ITER 386 NEW BEST:: SOT 868157 SOS 648234 HAS SOPS 648234 HAS SOUS 548083 HAS SOUPS 548083 WITH SCORE 548731.234
AT ITER 389 NEW BEST:: SOT 867525 SOS 647602 HAS SOPS 647602 HAS SOUS 547451 HAS SOUPS 547451 WITH SCORE 548098.602
AT ITER 391 NEW BEST:: SOT 867517 SOS 647594 HAS SOPS 647594 HAS SOUS 547443 HAS SOUPS 547443 WITH SCORE 548090.594
AT ITER 392 NEW BEST:: SOT 867504 SOS 647568 HAS SOPS 647568 HAS SOUS 547417 HAS SOUPS 547417 WITH SCORE 548064.568
AT ITER 395 NEW BEST:: SOT 867504 SOS 647216 HAS SOPS 647216 HAS SOUS 547262 HAS SOUPS 547262 WITH SCORE 547909.216
AT ITER 396 NEW BEST:: SOT 867404 SOS 647066 HAS SOPS 647066 HAS SOUS 547112 HAS SOUPS 547112 WITH SCORE 547759.066
AT ITER 398 NEW BEST:: SOT 866885 SOS 646547 HAS SOPS 646547 HAS SOUS 546400 HAS SOUPS 546400 WITH SCORE 547046.547
AT ITER 399 NEW BEST:: SOT 866769 SOS 646431 HAS SOPS 646431 HAS SOUS 546282 HAS SOUPS 546282 WITH SCORE 546928.431
AT ITER 404 NEW BEST:: SOT 865546 SOS 644185 HAS SOPS 644185 HAS SOUS 544437 HAS SOUPS 544437 WITH SCORE 545081.185
AT ITER 408 NEW BEST:: SOT 865528 SOS 644167 HAS SOPS 644167 HAS SOUS 544419 HAS SOUPS 544419 WITH SCORE 545063.167
AT ITER 411 NEW BEST:: SOT 863044 SOS 639585 HAS SOPS 639585 HAS SOUS 541109 HAS SOUPS 541109 WITH SCORE 541748.585
AT ITER 415 NEW BEST:: SOT 862771 SOS 639312 HAS SOPS 639312 HAS SOUS 540836 HAS SOUPS 540836 WITH SCORE 541475.312
AT ITER 416 NEW BEST:: SOT 862771 SOS 638443 HAS SOPS 638443 HAS SOUS 540658 HAS SOUPS 540658 WITH SCORE 541296.443
AT ITER 419 NEW BEST:: SOT 862472 SOS 637490 HAS SOPS 637490 HAS SOUS 540122 HAS SOUPS 540122 WITH SCORE 540759.49
AT ITER 420 NEW BEST:: SOT 862175 SOS 637191 HAS SOPS 637191 HAS SOUS 539823 HAS SOUPS 539823 WITH SCORE 540460.191
AT ITER 425 NEW BEST:: SOT 862175 SOS 636787 HAS SOPS 636787 HAS SOUS 539823 HAS SOUPS 539823 WITH SCORE 540459.787
AT ITER 427 NEW BEST:: SOT 861727 SOS 635999 HAS SOPS 635999 HAS SOUS 539518 HAS SOUPS 539518 WITH SCORE 540153.999
AT ITER 428 NEW BEST:: SOT 861413 SOS 634803 HAS SOPS 634803 HAS SOUS 538544 HAS SOUPS 538544 WITH SCORE 539178.803
AT ITER 430 NEW BEST:: SOT 860747 SOS 633966 HAS SOPS 633966 HAS SOUS 538341 HAS SOUPS 538341 WITH SCORE 538974.966
AT ITER 431 NEW BEST:: SOT 860297 SOS 633516 HAS SOPS 633516 HAS SOUS 537891 HAS SOUPS 537891 WITH SCORE 538524.516
AT ITER 436 NEW BEST:: SOT 860297 SOS 632596 HAS SOPS 632596 HAS SOUS 537660 HAS SOUPS 537660 WITH SCORE 538292.596
AT ITER 437 NEW BEST:: SOT 860215 SOS 632349 HAS SOPS 632349 HAS SOUS 537648 HAS SOUPS 537648 WITH SCORE 538280.349
AT ITER 440 NEW BEST:: SOT 859819 SOS 631953 HAS SOPS 631953 HAS SOUS 537135 HAS SOUPS 537135 WITH SCORE 537766.953
AT ITER 447 NEW BEST:: SOT 859818 SOS 631381 HAS SOPS 631381 HAS SOUS 537127 HAS SOUPS 537127 WITH SCORE 537758.381
AT ITER 452 NEW BEST:: SOT 859252 SOS 631322 HAS SOPS 631322 HAS SOUS 537066 HAS SOUPS 537066 WITH SCORE 537697.322
AT ITER 453 NEW BEST:: SOT 859252 SOS 631039 HAS SOPS 631039 HAS SOUS 537065 HAS SOUPS 537065 WITH SCORE 537696.039
AT ITER 457 NEW BEST:: SOT 859204 SOS 629487 HAS SOPS 629487 HAS SOUS 536559 HAS SOUPS 536559 WITH SCORE 537188.487
AT ITER 458 NEW BEST:: SOT 858558 SOS 627311 HAS SOPS 627311 HAS SOUS 535585 HAS SOUPS 535585 WITH SCORE 536212.311
AT ITER 460 NEW BEST:: SOT 857832 SOS 626583 HAS SOPS 626583 HAS SOUS 534856 HAS SOUPS 534856 WITH SCORE 535482.583
AT ITER 465 NEW BEST:: SOT 857076 SOS 624520 HAS SOPS 624520 HAS SOUS 533649 HAS SOUPS 533649 WITH SCORE 534273.52
AT ITER 471 NEW BEST:: SOT 856101 SOS 623048 HAS SOPS 623048 HAS SOUS 532024 HAS SOUPS 532024 WITH SCORE 532647.048
AT ITER 472 NEW BEST:: SOT 855823 SOS 622770 HAS SOPS 622770 HAS SOUS 531440 HAS SOUPS 531440 WITH SCORE 532062.77
AT ITER 473 NEW BEST:: SOT 855481 SOS 622417 HAS SOPS 622417 HAS SOUS 531090 HAS SOUPS 531090 WITH SCORE 531712.417
AT ITER 475 NEW BEST:: SOT 855481 SOS 621384 HAS SOPS 621384 HAS SOUS 530396 HAS SOUPS 530396 WITH SCORE 531017.384
AT ITER 480 NEW BEST:: SOT 855046 SOS 620905 HAS SOPS 620905 HAS SOUS 530106 HAS SOUPS 530106 WITH SCORE 530726.905
AT ITER 483 NEW BEST:: SOT 854627 SOS 620486 HAS SOPS 620486 HAS SOUS 529686 HAS SOUPS 529686 WITH SCORE 530306.486
AT ITER 484 NEW BEST:: SOT 853952 SOS 619867 HAS SOPS 619867 HAS SOUS 529102 HAS SOUPS 529102 WITH SCORE 529721.867
AT ITER 487 NEW BEST:: SOT 853952 SOS 619867 HAS SOPS 619867 HAS SOUS 529101 HAS SOUPS 529101 WITH SCORE 529720.867
AT ITER 493 NEW BEST:: SOT 853372 SOS 618851 HAS SOPS 618851 HAS SOUS 528765 HAS SOUPS 528765 WITH SCORE 529383.851
AT ITER 494 NEW BEST:: SOT 853372 SOS 618607 HAS SOPS 618607 HAS SOUS 528763 HAS SOUPS 528763 WITH SCORE 529381.607
AT ITER 499 NEW BEST:: SOT 853371 SOS 617776 HAS SOPS 617776 HAS SOUS 528759 HAS SOUPS 528759 WITH SCORE 529376.776
AT ITER 502 NEW BEST:: SOT 853032 SOS 617437 HAS SOPS 617437 HAS SOUS 528420 HAS SOUPS 528420 WITH SCORE 529037.437
AT ITER 503 NEW BEST:: SOT 852707 SOS 617112 HAS SOPS 617112 HAS SOUS 528095 HAS SOUPS 528095 WITH SCORE 528712.112
AT ITER 508 NEW BEST:: SOT 852541 SOS 616946 HAS SOPS 616946 HAS SOUS 527929 HAS SOUPS 527929 WITH SCORE 528545.946
AT ITER 511 NEW BEST:: SOT 852259 SOS 616439 HAS SOPS 616439 HAS SOUS 527422 HAS SOUPS 527422 WITH SCORE 528038.439
AT ITER 512 NEW BEST:: SOT 852259 SOS 616404 HAS SOPS 616404 HAS SOUS 527352 HAS SOUPS 527352 WITH SCORE 527968.404
AT ITER 513 NEW BEST:: SOT 850798 SOS 614031 HAS SOPS 614031 HAS SOUS 525190 HAS SOUPS 525190 WITH SCORE 525804.031
AT ITER 515 NEW BEST:: SOT 850314 SOS 613547 HAS SOPS 613547 HAS SOUS 524706 HAS SOUPS 524706 WITH SCORE 525319.547
AT ITER 516 NEW BEST:: SOT 850287 SOS 613520 HAS SOPS 613520 HAS SOUS 524679 HAS SOUPS 524679 WITH SCORE 525292.52
AT ITER 520 NEW BEST:: SOT 850287 SOS 613407 HAS SOPS 613407 HAS SOUS 524530 HAS SOUPS 524530 WITH SCORE 525143.407
AT ITER 521 NEW BEST:: SOT 849265 SOS 612159 HAS SOPS 612159 HAS SOUS 523640 HAS SOUPS 523640 WITH SCORE 524252.159
AT ITER 522 NEW BEST:: SOT 847597 SOS 610491 HAS SOPS 610491 HAS SOUS 521972 HAS SOUPS 521972 WITH SCORE 522582.491
AT ITER 526 NEW BEST:: SOT 847258 SOS 609982 HAS SOPS 609982 HAS SOUS 521310 HAS SOUPS 521310 WITH SCORE 521919.982
AT ITER 527 NEW BEST:: SOT 847258 SOS 609982 HAS SOPS 609982 HAS SOUS 521301 HAS SOUPS 521301 WITH SCORE 521910.982
AT ITER 529 NEW BEST:: SOT 847232 SOS 609943 HAS SOPS 609943 HAS SOUS 521262 HAS SOUPS 521262 WITH SCORE 521871.943
AT ITER 534 NEW BEST:: SOT 847227 SOS 608848 HAS SOPS 608848 HAS SOUS 520593 HAS SOUPS 520593 WITH SCORE 521201.848
AT ITER 536 NEW BEST:: SOT 847227 SOS 608507 HAS SOPS 608507 HAS SOUS 520244 HAS SOUPS 520244 WITH SCORE 520852.507
AT ITER 548 NEW BEST:: SOT 846776 SOS 608056 HAS SOPS 608056 HAS SOUS 520151 HAS SOUPS 520151 WITH SCORE 520759.056
AT ITER 550 NEW BEST:: SOT 845897 SOS 607177 HAS SOPS 607177 HAS SOUS 519272 HAS SOUPS 519272 WITH SCORE 519879.177
AT ITER 552 NEW BEST:: SOT 845848 SOS 607054 HAS SOPS 607054 HAS SOUS 519064 HAS SOUPS 519064 WITH SCORE 519671.054
AT ITER 553 NEW BEST:: SOT 845848 SOS 606482 HAS SOPS 606482 HAS SOUS 518821 HAS SOUPS 518821 WITH SCORE 519427.482
AT ITER 556 NEW BEST:: SOT 845598 SOS 607005 HAS SOPS 607005 HAS SOUS 518695 HAS SOUPS 518695 WITH SCORE 519302.005
AT ITER 557 NEW BEST:: SOT 845421 SOS 606828 HAS SOPS 606828 HAS SOUS 518515 HAS SOUPS 518515 WITH SCORE 519121.828
AT ITER 559 NEW BEST:: SOT 845248 SOS 606655 HAS SOPS 606655 HAS SOUS 518342 HAS SOUPS 518342 WITH SCORE 518948.655
AT ITER 562 NEW BEST:: SOT 845128 SOS 606589 HAS SOPS 606589 HAS SOUS 518329 HAS SOUPS 518329 WITH SCORE 518935.589
AT ITER 564 NEW BEST:: SOT 844152 SOS 605009 HAS SOPS 605009 HAS SOUS 517085 HAS SOUPS 517085 WITH SCORE 517690.009
AT ITER 567 NEW BEST:: SOT 844152 SOS 604998 HAS SOPS 604998 HAS SOUS 517043 HAS SOUPS 517043 WITH SCORE 517647.998
AT ITER 568 NEW BEST:: SOT 844007 SOS 604708 HAS SOPS 604708 HAS SOUS 516831 HAS SOUPS 516831 WITH SCORE 517435.708
AT ITER 569 NEW BEST:: SOT 843521 SOS 602295 HAS SOPS 602295 HAS SOUS 515045 HAS SOUPS 515045 WITH SCORE 515647.295
AT ITER 570 NEW BEST:: SOT 843521 SOS 601930 HAS SOPS 601930 HAS SOUS 514871 HAS SOUPS 514871 WITH SCORE 515472.93
AT ITER 572 NEW BEST:: SOT 843380 SOS 601789 HAS SOPS 601789 HAS SOUS 514869 HAS SOUPS 514869 WITH SCORE 515470.789
AT ITER 578 NEW BEST:: SOT 843214 SOS 601637 HAS SOPS 601637 HAS SOUS 514732 HAS SOUPS 514732 WITH SCORE 515333.637
AT ITER 580 NEW BEST:: SOT 842726 SOS 601155 HAS SOPS 601155 HAS SOUS 514250 HAS SOUPS 514250 WITH SCORE 514851.155
AT ITER 581 NEW BEST:: SOT 841896 SOS 600140 HAS SOPS 600140 HAS SOUS 512972 HAS SOUPS 512972 WITH SCORE 513572.14
AT ITER 584 NEW BEST:: SOT 841681 SOS 599065 HAS SOPS 599065 HAS SOUS 512542 HAS SOUPS 512542 WITH SCORE 513141.065
AT ITER 587 NEW BEST:: SOT 841681 SOS 598927 HAS SOPS 598927 HAS SOUS 512401 HAS SOUPS 512401 WITH SCORE 512999.927
AT ITER 588 NEW BEST:: SOT 841681 SOS 598351 HAS SOPS 598351 HAS SOUS 512305 HAS SOUPS 512305 WITH SCORE 512903.351
AT ITER 595 NEW BEST:: SOT 841547 SOS 598217 HAS SOPS 598217 HAS SOUS 512305 HAS SOUPS 512305 WITH SCORE 512903.217
AT ITER 597 NEW BEST:: SOT 841330 SOS 598041 HAS SOPS 598041 HAS SOUS 512128 HAS SOUPS 512128 WITH SCORE 512726.041
AT ITER 599 NEW BEST:: SOT 840487 SOS 595707 HAS SOPS 595707 HAS SOUS 510434 HAS SOUPS 510434 WITH SCORE 511029.707
AT ITER 601 NEW BEST:: SOT 840495 SOS 595713 HAS SOPS 595713 HAS SOUS 510213 HAS SOUPS 510213 WITH SCORE 510808.713
AT ITER 602 NEW BEST:: SOT 840496 SOS 595462 HAS SOPS 595462 HAS SOUS 509962 HAS SOUPS 509962 WITH SCORE 510557.462
AT ITER 604 NEW BEST:: SOT 839209 SOS 594175 HAS SOPS 594175 HAS SOUS 508326 HAS SOUPS 508326 WITH SCORE 508920.175
AT ITER 607 NEW BEST:: SOT 839048 SOS 594014 HAS SOPS 594014 HAS SOUS 508326 HAS SOUPS 508326 WITH SCORE 508920.014
AT ITER 608 NEW BEST:: SOT 838557 SOS 593521 HAS SOPS 593521 HAS SOUS 507887 HAS SOUPS 507887 WITH SCORE 508480.521
AT ITER 609 NEW BEST:: SOT 838555 SOS 592561 HAS SOPS 592561 HAS SOUS 507770 HAS SOUPS 507770 WITH SCORE 508362.561
AT ITER 611 NEW BEST:: SOT 838410 SOS 592416 HAS SOPS 592416 HAS SOUS 507767 HAS SOUPS 507767 WITH SCORE 508359.416
AT ITER 612 NEW BEST:: SOT 838578 SOS 590685 HAS SOPS 590685 HAS SOUS 507129 HAS SOUPS 507129 WITH SCORE 507719.685
AT ITER 616 NEW BEST:: SOT 838578 SOS 590685 HAS SOPS 590685 HAS SOUS 507125 HAS SOUPS 507125 WITH SCORE 507715.685
AT ITER 617 NEW BEST:: SOT 838395 SOS 590484 HAS SOPS 590484 HAS SOUS 506704 HAS SOUPS 506704 WITH SCORE 507294.484
AT ITER 618 NEW BEST:: SOT 838248 SOS 590335 HAS SOPS 590335 HAS SOUS 506555 HAS SOUPS 506555 WITH SCORE 507145.335
AT ITER 621 NEW BEST:: SOT 838150 SOS 590237 HAS SOPS 590237 HAS SOUS 506457 HAS SOUPS 506457 WITH SCORE 507047.237
AT ITER 631 NEW BEST:: SOT 836546 SOS 588633 HAS SOPS 588633 HAS SOUS 504407 HAS SOUPS 504407 WITH SCORE 504995.633
AT ITER 633 NEW BEST:: SOT 836546 SOS 588633 HAS SOPS 588633 HAS SOUS 504405 HAS SOUPS 504405 WITH SCORE 504993.633
AT ITER 635 NEW BEST:: SOT 836521 SOS 588608 HAS SOPS 588608 HAS SOUS 504380 HAS SOUPS 504380 WITH SCORE 504968.608
AT ITER 636 NEW BEST:: SOT 836521 SOS 588332 HAS SOPS 588332 HAS SOUS 504288 HAS SOUPS 504288 WITH SCORE 504876.332
AT ITER 637 NEW BEST:: SOT 836484 SOS 588293 HAS SOPS 588293 HAS SOUS 504248 HAS SOUPS 504248 WITH SCORE 504836.293
AT ITER 639 NEW BEST:: SOT 835215 SOS 587024 HAS SOPS 587024 HAS SOUS 502979 HAS SOUPS 502979 WITH SCORE 503566.024
AT ITER 640 NEW BEST:: SOT 834963 SOS 586772 HAS SOPS 586772 HAS SOUS 502621 HAS SOUPS 502621 WITH SCORE 503207.772
AT ITER 643 NEW BEST:: SOT 833998 SOS 585879 HAS SOPS 585879 HAS SOUS 501728 HAS SOUPS 501728 WITH SCORE 502313.879
AT ITER 644 NEW BEST:: SOT 834378 SOS 584680 HAS SOPS 584680 HAS SOUS 501598 HAS SOUPS 501598 WITH SCORE 502182.68
AT ITER 651 NEW BEST:: SOT 834334 SOS 584636 HAS SOPS 584636 HAS SOUS 501554 HAS SOUPS 501554 WITH SCORE 502138.636
AT ITER 653 NEW BEST:: SOT 833818 SOS 582788 HAS SOPS 582788 HAS SOUS 500611 HAS SOUPS 500611 WITH SCORE 501193.788
AT ITER 655 NEW BEST:: SOT 833487 SOS 582647 HAS SOPS 582647 HAS SOUS 500470 HAS SOUPS 500470 WITH SCORE 501052.647
AT ITER 656 NEW BEST:: SOT 833458 SOS 582616 HAS SOPS 582616 HAS SOUS 500439 HAS SOUPS 500439 WITH SCORE 501021.616
AT ITER 658 NEW BEST:: SOT 833218 SOS 582546 HAS SOPS 582546 HAS SOUS 500369 HAS SOUPS 500369 WITH SCORE 500951.546
AT ITER 659 NEW BEST:: SOT 833167 SOS 582495 HAS SOPS 582495 HAS SOUS 500267 HAS SOUPS 500267 WITH SCORE 500849.495
AT ITER 661 NEW BEST:: SOT 832464 SOS 583872 HAS SOPS 583872 HAS SOUS 500132 HAS SOUPS 500132 WITH SCORE 500715.872
AT ITER 664 NEW BEST:: SOT 832139 SOS 582744 HAS SOPS 582744 HAS SOUS 499334 HAS SOUPS 499334 WITH SCORE 499916.744
AT ITER 665 NEW BEST:: SOT 832139 SOS 582672 HAS SOPS 582672 HAS SOUS 499334 HAS SOUPS 499334 WITH SCORE 499916.672
AT ITER 667 NEW BEST:: SOT 832136 SOS 582669 HAS SOPS 582669 HAS SOUS 499331 HAS SOUPS 499331 WITH SCORE 499913.669
AT ITER 669 NEW BEST:: SOT 832074 SOS 582607 HAS SOPS 582607 HAS SOUS 499269 HAS SOUPS 499269 WITH SCORE 499851.607
AT ITER 671 NEW BEST:: SOT 832233 SOS 582394 HAS SOPS 582394 HAS SOUS 499166 HAS SOUPS 499166 WITH SCORE 499748.394
AT ITER 673 NEW BEST:: SOT 832366 SOS 580858 HAS SOPS 580858 HAS SOUS 498685 HAS SOUPS 498685 WITH SCORE 499265.858
AT ITER 674 NEW BEST:: SOT 831901 SOS 580470 HAS SOPS 580470 HAS SOUS 498377 HAS SOUPS 498377 WITH SCORE 498957.47
AT ITER 676 NEW BEST:: SOT 831044 SOS 579613 HAS SOPS 579613 HAS SOUS 497518 HAS SOUPS 497518 WITH SCORE 498097.613
AT ITER 680 NEW BEST:: SOT 830855 SOS 579424 HAS SOPS 579424 HAS SOUS 497329 HAS SOUPS 497329 WITH SCORE 497908.424
AT ITER 682 NEW BEST:: SOT 830007 SOS 578574 HAS SOPS 578574 HAS SOUS 496871 HAS SOUPS 496871 WITH SCORE 497449.574
AT ITER 689 NEW BEST:: SOT 829910 SOS 578477 HAS SOPS 578477 HAS SOUS 496677 HAS SOUPS 496677 WITH SCORE 497255.477
AT ITER 690 NEW BEST:: SOT 829912 SOS 578341 HAS SOPS 578341 HAS SOUS 496541 HAS SOUPS 496541 WITH SCORE 497119.341
AT ITER 692 NEW BEST:: SOT 829910 SOS 576754 HAS SOPS 576754 HAS SOUS 495439 HAS SOUPS 495439 WITH SCORE 496015.754
AT ITER 693 NEW BEST:: SOT 829501 SOS 575084 HAS SOPS 575084 HAS SOUS 494205 HAS SOUPS 494205 WITH SCORE 494780.084
AT ITER 699 NEW BEST:: SOT 829051 SOS 574632 HAS SOPS 574632 HAS SOUS 493753 HAS SOUPS 493753 WITH SCORE 494327.632
AT ITER 701 NEW BEST:: SOT 829051 SOS 574558 HAS SOPS 574558 HAS SOUS 493753 HAS SOUPS 493753 WITH SCORE 494327.558
AT ITER 702 NEW BEST:: SOT 829030 SOS 574537 HAS SOPS 574537 HAS SOUS 493732 HAS SOUPS 493732 WITH SCORE 494306.537
AT ITER 705 NEW BEST:: SOT 829030 SOS 573997 HAS SOPS 573997 HAS SOUS 493723 HAS SOUPS 493723 WITH SCORE 494296.997
AT ITER 708 NEW BEST:: SOT 829030 SOS 573981 HAS SOPS 573981 HAS SOUS 493723 HAS SOUPS 493723 WITH SCORE 494296.981
AT ITER 717 NEW BEST:: SOT 829030 SOS 573640 HAS SOPS 573640 HAS SOUS 493634 HAS SOUPS 493634 WITH SCORE 494207.64
AT ITER 718 NEW BEST:: SOT 828861 SOS 573158 HAS SOPS 573158 HAS SOUS 493152 HAS SOUPS 493152 WITH SCORE 493725.158
AT ITER 719 NEW BEST:: SOT 828070 SOS 572365 HAS SOPS 572365 HAS SOUS 492359 HAS SOUPS 492359 WITH SCORE 492931.365
AT ITER 726 NEW BEST:: SOT 827355 SOS 571663 HAS SOPS 571663 HAS SOUS 491675 HAS SOUPS 491675 WITH SCORE 492246.663
AT ITER 727 NEW BEST:: SOT 826533 SOS 570839 HAS SOPS 570839 HAS SOUS 491079 HAS SOUPS 491079 WITH SCORE 491649.839
AT ITER 734 NEW BEST:: SOT 826532 SOS 570838 HAS SOPS 570838 HAS SOUS 491078 HAS SOUPS 491078 WITH SCORE 491648.838
AT ITER 739 NEW BEST:: SOT 826532 SOS 570835 HAS SOPS 570835 HAS SOUS 491075 HAS SOUPS 491075 WITH SCORE 491645.835
AT ITER 744 NEW BEST:: SOT 826137 SOS 570440 HAS SOPS 570440 HAS SOUS 490677 HAS SOUPS 490677 WITH SCORE 491247.44
AT ITER 745 NEW BEST:: SOT 826137 SOS 570271 HAS SOPS 570271 HAS SOUS 490677 HAS SOUPS 490677 WITH SCORE 491247.271
AT ITER 748 NEW BEST:: SOT 824254 SOS 566655 HAS SOPS 566655 HAS SOUS 487785 HAS SOUPS 487785 WITH SCORE 488351.655
AT ITER 749 NEW BEST:: SOT 823165 SOS 564476 HAS SOPS 564476 HAS SOUS 485991 HAS SOUPS 485991 WITH SCORE 486555.476
AT ITER 752 NEW BEST:: SOT 822172 SOS 563195 HAS SOPS 563195 HAS SOUS 484710 HAS SOUPS 484710 WITH SCORE 485273.195
AT ITER 762 NEW BEST:: SOT 821633 SOS 562433 HAS SOPS 562433 HAS SOUS 483813 HAS SOUPS 483813 WITH SCORE 484375.433
AT ITER 763 NEW BEST:: SOT 821571 SOS 562371 HAS SOPS 562371 HAS SOUS 483751 HAS SOUPS 483751 WITH SCORE 484313.371
AT ITER 766 NEW BEST:: SOT 821571 SOS 561413 HAS SOPS 561413 HAS SOUS 483385 HAS SOUPS 483385 WITH SCORE 483946.413
AT ITER 767 NEW BEST:: SOT 821571 SOS 561206 HAS SOPS 561206 HAS SOUS 483178 HAS SOUPS 483178 WITH SCORE 483739.206
AT ITER 770 NEW BEST:: SOT 821571 SOS 560709 HAS SOPS 560709 HAS SOUS 482779 HAS SOUPS 482779 WITH SCORE 483339.709
AT ITER 777 NEW BEST:: SOT 821563 SOS 560701 HAS SOPS 560701 HAS SOUS 482771 HAS SOUPS 482771 WITH SCORE 483331.701
AT ITER 779 NEW BEST:: SOT 821405 SOS 560543 HAS SOPS 560543 HAS SOUS 482613 HAS SOUPS 482613 WITH SCORE 483173.543
AT ITER 783 NEW BEST:: SOT 821299 SOS 560256 HAS SOPS 560256 HAS SOUS 482539 HAS SOUPS 482539 WITH SCORE 483099.256
AT ITER 785 NEW BEST:: SOT 821065 SOS 560021 HAS SOPS 560021 HAS SOUS 482538 HAS SOUPS 482538 WITH SCORE 483098.021
AT ITER 787 NEW BEST:: SOT 819889 SOS 558470 HAS SOPS 558470 HAS SOUS 481224 HAS SOUPS 481224 WITH SCORE 481782.47
AT ITER 788 NEW BEST:: SOT 819763 SOS 558338 HAS SOPS 558338 HAS SOUS 481090 HAS SOUPS 481090 WITH SCORE 481648.338
AT ITER 789 NEW BEST:: SOT 819299 SOS 556852 HAS SOPS 556852 HAS SOUS 480034 HAS SOUPS 480034 WITH SCORE 480590.852
AT ITER 792 NEW BEST:: SOT 819299 SOS 556792 HAS SOPS 556792 HAS SOUS 480034 HAS SOUPS 480034 WITH SCORE 480590.792
AT ITER 798 NEW BEST:: SOT 819263 SOS 556756 HAS SOPS 556756 HAS SOUS 479975 HAS SOUPS 479975 WITH SCORE 480531.756
AT ITER 801 NEW BEST:: SOT 819382 SOS 556793 HAS SOPS 556793 HAS SOUS 479901 HAS SOUPS 479901 WITH SCORE 480457.793
AT ITER 804 NEW BEST:: SOT 819153 SOS 556455 HAS SOPS 556455 HAS SOUS 479563 HAS SOUPS 479563 WITH SCORE 480119.455
AT ITER 806 NEW BEST:: SOT 818847 SOS 556149 HAS SOPS 556149 HAS SOUS 479257 HAS SOUPS 479257 WITH SCORE 479813.149
AT ITER 809 NEW BEST:: SOT 818847 SOS 555153 HAS SOPS 555153 HAS SOUS 479254 HAS SOUPS 479254 WITH SCORE 479809.153
AT ITER 811 NEW BEST:: SOT 818755 SOS 555050 HAS SOPS 555050 HAS SOUS 479151 HAS SOUPS 479151 WITH SCORE 479706.05
AT ITER 812 NEW BEST:: SOT 818679 SOS 554670 HAS SOPS 554670 HAS SOUS 478999 HAS SOUPS 478999 WITH SCORE 479553.67
AT ITER 818 NEW BEST:: SOT 818221 SOS 554212 HAS SOPS 554212 HAS SOUS 478541 HAS SOUPS 478541 WITH SCORE 479095.212
AT ITER 819 NEW BEST:: SOT 818221 SOS 554212 HAS SOPS 554212 HAS SOUS 478539 HAS SOUPS 478539 WITH SCORE 479093.212
AT ITER 822 NEW BEST:: SOT 818230 SOS 554180 HAS SOPS 554180 HAS SOUS 478507 HAS SOUPS 478507 WITH SCORE 479061.18
AT ITER 823 NEW BEST:: SOT 818124 SOS 554074 HAS SOPS 554074 HAS SOUS 478297 HAS SOUPS 478297 WITH SCORE 478851.074
AT ITER 830 NEW BEST:: SOT 817904 SOS 553854 HAS SOPS 553854 HAS SOUS 478077 HAS SOUPS 478077 WITH SCORE 478630.854
AT ITER 836 NEW BEST:: SOT 816531 SOS 550807 HAS SOPS 550807 HAS SOUS 475866 HAS SOUPS 475866 WITH SCORE 476416.807
AT ITER 838 NEW BEST:: SOT 816531 SOS 550794 HAS SOPS 550794 HAS SOUS 475866 HAS SOUPS 475866 WITH SCORE 476416.794
AT ITER 839 NEW BEST:: SOT 816113 SOS 550376 HAS SOPS 550376 HAS SOUS 475552 HAS SOUPS 475552 WITH SCORE 476102.376
AT ITER 841 NEW BEST:: SOT 815889 SOS 550918 HAS SOPS 550918 HAS SOUS 475427 HAS SOUPS 475427 WITH SCORE 475977.918
AT ITER 843 NEW BEST:: SOT 815178 SOS 550207 HAS SOPS 550207 HAS SOUS 474714 HAS SOUPS 474714 WITH SCORE 475264.207
AT ITER 845 NEW BEST:: SOT 815271 SOS 549592 HAS SOPS 549592 HAS SOUS 474509 HAS SOUPS 474509 WITH SCORE 475058.592
AT ITER 853 NEW BEST:: SOT 815270 SOS 548535 HAS SOPS 548535 HAS SOUS 474507 HAS SOUPS 474507 WITH SCORE 475055.535
AT ITER 855 NEW BEST:: SOT 814310 SOS 547575 HAS SOPS 547575 HAS SOUS 473538 HAS SOUPS 473538 WITH SCORE 474085.575
AT ITER 856 NEW BEST:: SOT 814262 SOS 547527 HAS SOPS 547527 HAS SOUS 473489 HAS SOUPS 473489 WITH SCORE 474036.527
AT ITER 861 NEW BEST:: SOT 814134 SOS 547275 HAS SOPS 547275 HAS SOUS 473237 HAS SOUPS 473237 WITH SCORE 473784.275
AT ITER 862 NEW BEST:: SOT 813622 SOS 546495 HAS SOPS 546495 HAS SOUS 472457 HAS SOUPS 472457 WITH SCORE 473003.495
AT ITER 866 NEW BEST:: SOT 813564 SOS 546437 HAS SOPS 546437 HAS SOUS 472399 HAS SOUPS 472399 WITH SCORE 472945.437
AT ITER 868 NEW BEST:: SOT 813941 SOS 545453 HAS SOPS 545453 HAS SOUS 472043 HAS SOUPS 472043 WITH SCORE 472588.453
AT ITER 874 NEW BEST:: SOT 813941 SOS 544349 HAS SOPS 544349 HAS SOUS 471780 HAS SOUPS 471780 WITH SCORE 472324.349
AT ITER 876 NEW BEST:: SOT 813047 SOS 543455 HAS SOPS 543455 HAS SOUS 470617 HAS SOUPS 470617 WITH SCORE 471160.455
AT ITER 880 NEW BEST:: SOT 813046 SOS 542413 HAS SOPS 542413 HAS SOUS 470387 HAS SOUPS 470387 WITH SCORE 470929.413
AT ITER 881 NEW BEST:: SOT 813014 SOS 542498 HAS SOPS 542498 HAS SOUS 470350 HAS SOUPS 470350 WITH SCORE 470892.498
AT ITER 882 NEW BEST:: SOT 813078 SOS 542447 HAS SOPS 542447 HAS SOUS 470299 HAS SOUPS 470299 WITH SCORE 470841.447
AT ITER 890 NEW BEST:: SOT 812190 SOS 540199 HAS SOPS 540199 HAS SOUS 468517 HAS SOUPS 468517 WITH SCORE 469057.199
AT ITER 892 NEW BEST:: SOT 811731 SOS 539740 HAS SOPS 539740 HAS SOUS 468056 HAS SOUPS 468056 WITH SCORE 468595.74
AT ITER 894 NEW BEST:: SOT 811731 SOS 539516 HAS SOPS 539516 HAS SOUS 468000 HAS SOUPS 468000 WITH SCORE 468539.516
AT ITER 896 NEW BEST:: SOT 811366 SOS 539151 HAS SOPS 539151 HAS SOUS 467659 HAS SOUPS 467659 WITH SCORE 468198.151
AT ITER 898 NEW BEST:: SOT 811366 SOS 538955 HAS SOPS 538955 HAS SOUS 467568 HAS SOUPS 467568 WITH SCORE 468106.955
AT ITER 901 NEW BEST:: SOT 811234 SOS 538861 HAS SOPS 538861 HAS SOUS 467499 HAS SOUPS 467499 WITH SCORE 468037.861
AT ITER 909 NEW BEST:: SOT 811234 SOS 537117 HAS SOPS 537117 HAS SOUS 467112 HAS SOUPS 467112 WITH SCORE 467649.117
AT ITER 910 NEW BEST:: SOT 811154 SOS 537037 HAS SOPS 537037 HAS SOUS 467030 HAS SOUPS 467030 WITH SCORE 467567.037
AT ITER 914 NEW BEST:: SOT 811059 SOS 536806 HAS SOPS 536806 HAS SOUS 466799 HAS SOUPS 466799 WITH SCORE 467335.806
AT ITER 917 NEW BEST:: SOT 810537 SOS 536284 HAS SOPS 536284 HAS SOUS 466275 HAS SOUPS 466275 WITH SCORE 466811.284
AT ITER 918 NEW BEST:: SOT 810535 SOS 536209 HAS SOPS 536209 HAS SOUS 466212 HAS SOUPS 466212 WITH SCORE 466748.209
AT ITER 919 NEW BEST:: SOT 810534 SOS 536155 HAS SOPS 536155 HAS SOUS 466203 HAS SOUPS 466203 WITH SCORE 466739.155
AT ITER 922 NEW BEST:: SOT 810486 SOS 536107 HAS SOPS 536107 HAS SOUS 466155 HAS SOUPS 466155 WITH SCORE 466691.107
AT ITER 930 NEW BEST:: SOT 810239 SOS 535860 HAS SOPS 535860 HAS SOUS 465908 HAS SOUPS 465908 WITH SCORE 466443.86
AT ITER 933 NEW BEST:: SOT 808683 SOS 534304 HAS SOPS 534304 HAS SOUS 464352 HAS SOUPS 464352 WITH SCORE 464886.304
AT ITER 934 NEW BEST:: SOT 808289 SOS 533795 HAS SOPS 533795 HAS SOUS 464182 HAS SOUPS 464182 WITH SCORE 464715.795
AT ITER 938 NEW BEST:: SOT 808224 SOS 533730 HAS SOPS 533730 HAS SOUS 464117 HAS SOUPS 464117 WITH SCORE 464650.73
AT ITER 948 NEW BEST:: SOT 807277 SOS 532783 HAS SOPS 532783 HAS SOUS 463173 HAS SOUPS 463173 WITH SCORE 463705.783
AT ITER 955 NEW BEST:: SOT 806511 SOS 531399 HAS SOPS 531399 HAS SOUS 462095 HAS SOUPS 462095 WITH SCORE 462626.399
AT ITER 956 NEW BEST:: SOT 806210 SOS 530935 HAS SOPS 530935 HAS SOUS 461627 HAS SOUPS 461627 WITH SCORE 462157.935
AT ITER 957 NEW BEST:: SOT 805893 SOS 530778 HAS SOPS 530778 HAS SOUS 461435 HAS SOUPS 461435 WITH SCORE 461965.778
AT ITER 961 NEW BEST:: SOT 805860 SOS 530745 HAS SOPS 530745 HAS SOUS 461402 HAS SOUPS 461402 WITH SCORE 461932.745
AT ITER 963 NEW BEST:: SOT 805930 SOS 530952 HAS SOPS 530952 HAS SOUS 461383 HAS SOUPS 461383 WITH SCORE 461913.952
AT ITER 965 NEW BEST:: SOT 805572 SOS 530594 HAS SOPS 530594 HAS SOUS 460698 HAS SOUPS 460698 WITH SCORE 461228.594
AT ITER 966 NEW BEST:: SOT 805553 SOS 530575 HAS SOPS 530575 HAS SOUS 460670 HAS SOUPS 460670 WITH SCORE 461200.575
AT ITER 973 NEW BEST:: SOT 805383 SOS 530405 HAS SOPS 530405 HAS SOUS 460500 HAS SOUPS 460500 WITH SCORE 461030.405
AT ITER 975 NEW BEST:: SOT 805383 SOS 530273 HAS SOPS 530273 HAS SOUS 460500 HAS SOUPS 460500 WITH SCORE 461030.273
AT ITER 980 NEW BEST:: SOT 805073 SOS 529617 HAS SOPS 529617 HAS SOUS 459844 HAS SOUPS 459844 WITH SCORE 460373.617
AT ITER 987 NEW BEST:: SOT 805073 SOS 529610 HAS SOPS 529610 HAS SOUS 459443 HAS SOUPS 459443 WITH SCORE 459972.61
AT ITER 994 NEW BEST:: SOT 805073 SOS 529486 HAS SOPS 529486 HAS SOUS 459443 HAS SOUPS 459443 WITH SCORE 459972.486
AT ITER 999 NEW BEST:: SOT 805065 SOS 529478 HAS SOPS 529478 HAS SOUS 459435 HAS SOUPS 459435 WITH SCORE 459964.478
AT ITER 1001 NEW BEST:: SOT 804166 SOS 528579 HAS SOPS 528579 HAS SOUS 459024 HAS SOUPS 459024 WITH SCORE 459552.579
AT ITER 1002 NEW BEST:: SOT 804126 SOS 528539 HAS SOPS 528539 HAS SOUS 458781 HAS SOUPS 458781 WITH SCORE 459309.539
AT ITER 1007 NEW BEST:: SOT 804098 SOS 528511 HAS SOPS 528511 HAS SOUS 458753 HAS SOUPS 458753 WITH SCORE 459281.511
AT ITER 1011 NEW BEST:: SOT 803572 SOS 527982 HAS SOPS 527982 HAS SOUS 458224 HAS SOUPS 458224 WITH SCORE 458751.982
AT ITER 1013 NEW BEST:: SOT 803027 SOS 527437 HAS SOPS 527437 HAS SOUS 457708 HAS SOUPS 457708 WITH SCORE 458235.437
AT ITER 1016 NEW BEST:: SOT 802886 SOS 526680 HAS SOPS 526680 HAS SOUS 457168 HAS SOUPS 457168 WITH SCORE 457694.68
AT ITER 1022 NEW BEST:: SOT 802084 SOS 525876 HAS SOPS 525876 HAS SOUS 456364 HAS SOUPS 456364 WITH SCORE 456889.876
AT ITER 1026 NEW BEST:: SOT 801825 SOS 526200 HAS SOPS 526200 HAS SOUS 456362 HAS SOUPS 456362 WITH SCORE 456888.2
AT ITER 1027 NEW BEST:: SOT 801652 SOS 525893 HAS SOPS 525893 HAS SOUS 456055 HAS SOUPS 456055 WITH SCORE 456580.893
AT ITER 1029 NEW BEST:: SOT 801588 SOS 525829 HAS SOPS 525829 HAS SOUS 455991 HAS SOUPS 455991 WITH SCORE 456516.829
AT ITER 1031 NEW BEST:: SOT 801526 SOS 525519 HAS SOPS 525519 HAS SOUS 455867 HAS SOUPS 455867 WITH SCORE 456392.519
AT ITER 1039 NEW BEST:: SOT 801295 SOS 525211 HAS SOPS 525211 HAS SOUS 455559 HAS SOUPS 455559 WITH SCORE 456084.211
AT ITER 1041 NEW BEST:: SOT 800771 SOS 524687 HAS SOPS 524687 HAS SOUS 455350 HAS SOUPS 455350 WITH SCORE 455874.687
AT ITER 1042 NEW BEST:: SOT 800348 SOS 523743 HAS SOPS 523743 HAS SOUS 454529 HAS SOUPS 454529 WITH SCORE 455052.743
AT ITER 1045 NEW BEST:: SOT 800059 SOS 522984 HAS SOPS 522984 HAS SOUS 454171 HAS SOUPS 454171 WITH SCORE 454693.984
AT ITER 1055 NEW BEST:: SOT 799776 SOS 522701 HAS SOPS 522701 HAS SOUS 453888 HAS SOUPS 453888 WITH SCORE 454410.701
AT ITER 1057 NEW BEST:: SOT 799725 SOS 522599 HAS SOPS 522599 HAS SOUS 453786 HAS SOUPS 453786 WITH SCORE 454308.599
AT ITER 1061 NEW BEST:: SOT 798025 SOS 520899 HAS SOPS 520899 HAS SOUS 452295 HAS SOUPS 452295 WITH SCORE 452815.899
AT ITER 1064 NEW BEST:: SOT 797887 SOS 520761 HAS SOPS 520761 HAS SOUS 452157 HAS SOUPS 452157 WITH SCORE 452677.761
AT ITER 1065 NEW BEST:: SOT 797887 SOS 519878 HAS SOPS 519878 HAS SOUS 452154 HAS SOUPS 452154 WITH SCORE 452673.878
AT ITER 1067 NEW BEST:: SOT 797563 SOS 519553 HAS SOPS 519553 HAS SOUS 451829 HAS SOUPS 451829 WITH SCORE 452348.553
AT ITER 1077 NEW BEST:: SOT 797236 SOS 519225 HAS SOPS 519225 HAS SOUS 451766 HAS SOUPS 451766 WITH SCORE 452285.225
AT ITER 1078 NEW BEST:: SOT 797054 SOS 519060 HAS SOPS 519060 HAS SOUS 451477 HAS SOUPS 451477 WITH SCORE 451996.06
AT ITER 1080 NEW BEST:: SOT 797054 SOS 518886 HAS SOPS 518886 HAS SOUS 451303 HAS SOUPS 451303 WITH SCORE 451821.886
AT ITER 1085 NEW BEST:: SOT 796620 SOS 518935 HAS SOPS 518935 HAS SOUS 451237 HAS SOUPS 451237 WITH SCORE 451755.935
AT ITER 1092 NEW BEST:: SOT 795880 SOS 518195 HAS SOPS 518195 HAS SOUS 450496 HAS SOUPS 450496 WITH SCORE 451014.195
AT ITER 1097 NEW BEST:: SOT 795833 SOS 518148 HAS SOPS 518148 HAS SOUS 450496 HAS SOUPS 450496 WITH SCORE 451014.148
AT ITER 1103 NEW BEST:: SOT 795833 SOS 518048 HAS SOPS 518048 HAS SOUS 450496 HAS SOUPS 450496 WITH SCORE 451014.048
AT ITER 1104 NEW BEST:: SOT 795790 SOS 518005 HAS SOPS 518005 HAS SOUS 450453 HAS SOUPS 450453 WITH SCORE 450971.005
AT ITER 1105 NEW BEST:: SOT 795790 SOS 517963 HAS SOPS 517963 HAS SOUS 450433 HAS SOUPS 450433 WITH SCORE 450950.963
AT ITER 1107 NEW BEST:: SOT 794998 SOS 517171 HAS SOPS 517171 HAS SOUS 449641 HAS SOUPS 449641 WITH SCORE 450158.171
AT ITER 1111 NEW BEST:: SOT 794634 SOS 516649 HAS SOPS 516649 HAS SOUS 449119 HAS SOUPS 449119 WITH SCORE 449635.649
AT ITER 1114 NEW BEST:: SOT 794579 SOS 516429 HAS SOPS 516429 HAS SOUS 448954 HAS SOUPS 448954 WITH SCORE 449470.429
AT ITER 1115 NEW BEST:: SOT 794578 SOS 515411 HAS SOPS 515411 HAS SOUS 448934 HAS SOUPS 448934 WITH SCORE 449449.411
AT ITER 1116 NEW BEST:: SOT 794629 SOS 515376 HAS SOPS 515376 HAS SOUS 448899 HAS SOUPS 448899 WITH SCORE 449414.376
AT ITER 1118 NEW BEST:: SOT 794509 SOS 515256 HAS SOPS 515256 HAS SOUS 448659 HAS SOUPS 448659 WITH SCORE 449174.256
AT ITER 1124 NEW BEST:: SOT 794425 SOS 514726 HAS SOPS 514726 HAS SOUS 448129 HAS SOUPS 448129 WITH SCORE 448643.726
AT ITER 1126 NEW BEST:: SOT 794162 SOS 514463 HAS SOPS 514463 HAS SOUS 447866 HAS SOUPS 447866 WITH SCORE 448380.463
AT ITER 1132 NEW BEST:: SOT 794162 SOS 513549 HAS SOPS 513549 HAS SOUS 447864 HAS SOUPS 447864 WITH SCORE 448377.549
AT ITER 1133 NEW BEST:: SOT 794140 SOS 513505 HAS SOPS 513505 HAS SOUS 447820 HAS SOUPS 447820 WITH SCORE 448333.505
AT ITER 1136 NEW BEST:: SOT 794140 SOS 513119 HAS SOPS 513119 HAS SOUS 447649 HAS SOUPS 447649 WITH SCORE 448162.119
AT ITER 1147 NEW BEST:: SOT 793924 SOS 512901 HAS SOPS 512901 HAS SOUS 447431 HAS SOUPS 447431 WITH SCORE 447943.901
AT ITER 1148 NEW BEST:: SOT 793908 SOS 513099 HAS SOPS 513099 HAS SOUS 447407 HAS SOUPS 447407 WITH SCORE 447920.099
AT ITER 1154 NEW BEST:: SOT 793875 SOS 512934 HAS SOPS 512934 HAS SOUS 447341 HAS SOUPS 447341 WITH SCORE 447853.934
AT ITER 1156 NEW BEST:: SOT 793591 SOS 512335 HAS SOPS 512335 HAS SOUS 446760 HAS SOUPS 446760 WITH SCORE 447272.335
AT ITER 1158 NEW BEST:: SOT 793398 SOS 512293 HAS SOPS 512293 HAS SOUS 446301 HAS SOUPS 446301 WITH SCORE 446813.293
AT ITER 1161 NEW BEST:: SOT 793442 SOS 512394 HAS SOPS 512394 HAS SOUS 446144 HAS SOUPS 446144 WITH SCORE 446656.394
AT ITER 1162 NEW BEST:: SOT 793384 SOS 512985 HAS SOPS 512985 HAS SOUS 446004 HAS SOUPS 446004 WITH SCORE 446516.985
AT ITER 1166 NEW BEST:: SOT 793384 SOS 512762 HAS SOPS 512762 HAS SOUS 445942 HAS SOUPS 445942 WITH SCORE 446454.762
AT ITER 1174 NEW BEST:: SOT 793384 SOS 512762 HAS SOPS 512762 HAS SOUS 445886 HAS SOUPS 445886 WITH SCORE 446398.762
AT ITER 1184 NEW BEST:: SOT 793307 SOS 512316 HAS SOPS 512316 HAS SOUS 445705 HAS SOUPS 445705 WITH SCORE 446217.316
AT ITER 1187 NEW BEST:: SOT 793268 SOS 512277 HAS SOPS 512277 HAS SOUS 445666 HAS SOUPS 445666 WITH SCORE 446178.277
AT ITER 1189 NEW BEST:: SOT 793152 SOS 511649 HAS SOPS 511649 HAS SOUS 445313 HAS SOUPS 445313 WITH SCORE 445824.649
AT ITER 1191 NEW BEST:: SOT 793144 SOS 511609 HAS SOPS 511609 HAS SOUS 445297 HAS SOUPS 445297 WITH SCORE 445808.609
AT ITER 1200 NEW BEST:: SOT 793072 SOS 511537 HAS SOPS 511537 HAS SOUS 445225 HAS SOUPS 445225 WITH SCORE 445736.537
AT ITER 1206 NEW BEST:: SOT 793072 SOS 511536 HAS SOPS 511536 HAS SOUS 445224 HAS SOUPS 445224 WITH SCORE 445735.536
AT ITER 1210 NEW BEST:: SOT 792970 SOS 511434 HAS SOPS 511434 HAS SOUS 445122 HAS SOUPS 445122 WITH SCORE 445633.434
AT ITER 1212 NEW BEST:: SOT 792802 SOS 511266 HAS SOPS 511266 HAS SOUS 444760 HAS SOUPS 444760 WITH SCORE 445271.266
AT ITER 1213 NEW BEST:: SOT 792452 SOS 510916 HAS SOPS 510916 HAS SOUS 444410 HAS SOUPS 444410 WITH SCORE 444920.916
AT ITER 1214 NEW BEST:: SOT 792409 SOS 510874 HAS SOPS 510874 HAS SOUS 444368 HAS SOUPS 444368 WITH SCORE 444878.874
AT ITER 1216 NEW BEST:: SOT 792409 SOS 510730 HAS SOPS 510730 HAS SOUS 444368 HAS SOUPS 444368 WITH SCORE 444878.73
AT ITER 1217 NEW BEST:: SOT 792298 SOS 510584 HAS SOPS 510584 HAS SOUS 444222 HAS SOUPS 444222 WITH SCORE 444732.584
AT ITER 1218 NEW BEST:: SOT 792226 SOS 510512 HAS SOPS 510512 HAS SOUS 444150 HAS SOUPS 444150 WITH SCORE 444660.512
AT ITER 1220 NEW BEST:: SOT 792175 SOS 510461 HAS SOPS 510461 HAS SOUS 444094 HAS SOUPS 444094 WITH SCORE 444604.461
AT ITER 1222 NEW BEST:: SOT 792175 SOS 510415 HAS SOPS 510415 HAS SOUS 444048 HAS SOUPS 444048 WITH SCORE 444558.415
AT ITER 1225 NEW BEST:: SOT 792175 SOS 510375 HAS SOPS 510375 HAS SOUS 444008 HAS SOUPS 444008 WITH SCORE 444518.375
AT ITER 1228 NEW BEST:: SOT 791917 SOS 510115 HAS SOPS 510115 HAS SOUS 443747 HAS SOUPS 443747 WITH SCORE 444257.115
AT ITER 1233 NEW BEST:: SOT 791556 SOS 509392 HAS SOPS 509392 HAS SOUS 443024 HAS SOUPS 443024 WITH SCORE 443533.392
AT ITER 1240 NEW BEST:: SOT 791497 SOS 509194 HAS SOPS 509194 HAS SOUS 442847 HAS SOUPS 442847 WITH SCORE 443356.194
AT ITER 1241 NEW BEST:: SOT 791317 SOS 509014 HAS SOPS 509014 HAS SOUS 442404 HAS SOUPS 442404 WITH SCORE 442913.014
AT ITER 1242 NEW BEST:: SOT 791072 SOS 508769 HAS SOPS 508769 HAS SOUS 442205 HAS SOUPS 442205 WITH SCORE 442713.769
AT ITER 1248 NEW BEST:: SOT 790900 SOS 508540 HAS SOPS 508540 HAS SOUS 441975 HAS SOUPS 441975 WITH SCORE 442483.54
AT ITER 1252 NEW BEST:: SOT 790760 SOS 507944 HAS SOPS 507944 HAS SOUS 441691 HAS SOUPS 441691 WITH SCORE 442198.944
AT ITER 1255 NEW BEST:: SOT 790752 SOS 507746 HAS SOPS 507746 HAS SOUS 441493 HAS SOUPS 441493 WITH SCORE 442000.746
AT ITER 1258 NEW BEST:: SOT 790663 SOS 505600 HAS SOPS 505600 HAS SOUS 440083 HAS SOUPS 440083 WITH SCORE 440588.6
AT ITER 1260 NEW BEST:: SOT 790569 SOS 505506 HAS SOPS 505506 HAS SOUS 439989 HAS SOUPS 439989 WITH SCORE 440494.506
AT ITER 1263 NEW BEST:: SOT 790477 SOS 505414 HAS SOPS 505414 HAS SOUS 439897 HAS SOUPS 439897 WITH SCORE 440402.414
AT ITER 1264 NEW BEST:: SOT 790477 SOS 505357 HAS SOPS 505357 HAS SOUS 439878 HAS SOUPS 439878 WITH SCORE 440383.357
AT ITER 1269 NEW BEST:: SOT 790364 SOS 504952 HAS SOPS 504952 HAS SOUS 439472 HAS SOUPS 439472 WITH SCORE 439976.952
AT ITER 1270 NEW BEST:: SOT 790084 SOS 504484 HAS SOPS 504484 HAS SOUS 438973 HAS SOUPS 438973 WITH SCORE 439477.484
AT ITER 1274 NEW BEST:: SOT 790084 SOS 504106 HAS SOPS 504106 HAS SOUS 438971 HAS SOUPS 438971 WITH SCORE 439475.106
AT ITER 1284 NEW BEST:: SOT 789583 SOS 503547 HAS SOPS 503547 HAS SOUS 438377 HAS SOUPS 438377 WITH SCORE 438880.547
AT ITER 1287 NEW BEST:: SOT 789310 SOS 503274 HAS SOPS 503274 HAS SOUS 438104 HAS SOUPS 438104 WITH SCORE 438607.274
AT ITER 1289 NEW BEST:: SOT 789852 SOS 503217 HAS SOPS 503217 HAS SOUS 437806 HAS SOUPS 437806 WITH SCORE 438309.217
AT ITER 1290 NEW BEST:: SOT 789852 SOS 502900 HAS SOPS 502900 HAS SOUS 437775 HAS SOUPS 437775 WITH SCORE 438277.9
AT ITER 1293 NEW BEST:: SOT 789836 SOS 502882 HAS SOPS 502882 HAS SOUS 437773 HAS SOUPS 437773 WITH SCORE 438275.882
AT ITER 1295 NEW BEST:: SOT 789815 SOS 502861 HAS SOPS 502861 HAS SOUS 437752 HAS SOUPS 437752 WITH SCORE 438254.861
AT ITER 1300 NEW BEST:: SOT 789526 SOS 502572 HAS SOPS 502572 HAS SOUS 437463 HAS SOUPS 437463 WITH SCORE 437965.572
AT ITER 1303 NEW BEST:: SOT 789285 SOS 502055 HAS SOPS 502055 HAS SOUS 437222 HAS SOUPS 437222 WITH SCORE 437724.055
AT ITER 1313 NEW BEST:: SOT 788918 SOS 501688 HAS SOPS 501688 HAS SOUS 436855 HAS SOUPS 436855 WITH SCORE 437356.688
AT ITER 1315 NEW BEST:: SOT 788914 SOS 501684 HAS SOPS 501684 HAS SOUS 436851 HAS SOUPS 436851 WITH SCORE 437352.684
AT ITER 1319 NEW BEST:: SOT 788410 SOS 499341 HAS SOPS 499341 HAS SOUS 435109 HAS SOUPS 435109 WITH SCORE 435608.341
AT ITER 1328 NEW BEST:: SOT 788171 SOS 499045 HAS SOPS 499045 HAS SOUS 434992 HAS SOUPS 434992 WITH SCORE 435491.045
AT ITER 1333 NEW BEST:: SOT 788008 SOS 498719 HAS SOPS 498719 HAS SOUS 434829 HAS SOUPS 434829 WITH SCORE 435327.719
AT ITER 1334 NEW BEST:: SOT 788008 SOS 498505 HAS SOPS 498505 HAS SOUS 434614 HAS SOUPS 434614 WITH SCORE 435112.505
AT ITER 1343 NEW BEST:: SOT 787577 SOS 498312 HAS SOPS 498312 HAS SOUS 434421 HAS SOUPS 434421 WITH SCORE 434919.312
AT ITER 1344 NEW BEST:: SOT 787372 SOS 497724 HAS SOPS 497724 HAS SOUS 433882 HAS SOUPS 433882 WITH SCORE 434379.724
AT ITER 1346 NEW BEST:: SOT 787107 SOS 497376 HAS SOPS 497376 HAS SOUS 433010 HAS SOUPS 433010 WITH SCORE 433507.376
AT ITER 1349 NEW BEST:: SOT 786959 SOS 497228 HAS SOPS 497228 HAS SOUS 432918 HAS SOUPS 432918 WITH SCORE 433415.228
AT ITER 1350 NEW BEST:: SOT 786490 SOS 496783 HAS SOPS 496783 HAS SOUS 432516 HAS SOUPS 432516 WITH SCORE 433012.783
AT ITER 1360 NEW BEST:: SOT 785741 SOS 495961 HAS SOPS 495961 HAS SOUS 431694 HAS SOUPS 431694 WITH SCORE 432189.961
AT ITER 1364 NEW BEST:: SOT 785741 SOS 495897 HAS SOPS 495897 HAS SOUS 431693 HAS SOUPS 431693 WITH SCORE 432188.897
AT ITER 1368 NEW BEST:: SOT 785569 SOS 495639 HAS SOPS 495639 HAS SOUS 431435 HAS SOUPS 431435 WITH SCORE 431930.639
AT ITER 1369 NEW BEST:: SOT 784337 SOS 494407 HAS SOPS 494407 HAS SOUS 429844 HAS SOUPS 429844 WITH SCORE 430338.407
AT ITER 1372 NEW BEST:: SOT 783996 SOS 492662 HAS SOPS 492662 HAS SOUS 428989 HAS SOUPS 428989 WITH SCORE 429481.662
AT ITER 1375 NEW BEST:: SOT 783025 SOS 491611 HAS SOPS 491611 HAS SOUS 427965 HAS SOUPS 427965 WITH SCORE 428456.611
AT ITER 1387 NEW BEST:: SOT 783020 SOS 491822 HAS SOPS 491822 HAS SOUS 427955 HAS SOUPS 427955 WITH SCORE 428446.822
AT ITER 1394 NEW BEST:: SOT 782769 SOS 491118 HAS SOPS 491118 HAS SOUS 427251 HAS SOUPS 427251 WITH SCORE 427742.118
AT ITER 1395 NEW BEST:: SOT 782746 SOS 491095 HAS SOPS 491095 HAS SOUS 426904 HAS SOUPS 426904 WITH SCORE 427395.095
AT ITER 1396 NEW BEST:: SOT 782768 SOS 490439 HAS SOPS 490439 HAS SOUS 426491 HAS SOUPS 426491 WITH SCORE 426981.439
AT ITER 1397 NEW BEST:: SOT 782743 SOS 489077 HAS SOPS 489077 HAS SOUS 425668 HAS SOUPS 425668 WITH SCORE 426157.077
AT ITER 1402 NEW BEST:: SOT 782225 SOS 487788 HAS SOPS 487788 HAS SOUS 425003 HAS SOUPS 425003 WITH SCORE 425490.788
AT ITER 1410 NEW BEST:: SOT 781205 SOS 486267 HAS SOPS 486267 HAS SOUS 423475 HAS SOUPS 423475 WITH SCORE 423961.267
AT ITER 1414 NEW BEST:: SOT 781205 SOS 486035 HAS SOPS 486035 HAS SOUS 423359 HAS SOUPS 423359 WITH SCORE 423845.035
AT ITER 1416 NEW BEST:: SOT 781082 SOS 484979 HAS SOPS 484979 HAS SOUS 422968 HAS SOUPS 422968 WITH SCORE 423452.979
AT ITER 1419 NEW BEST:: SOT 780865 SOS 484762 HAS SOPS 484762 HAS SOUS 422941 HAS SOUPS 422941 WITH SCORE 423425.762
AT ITER 1420 NEW BEST:: SOT 780711 SOS 484608 HAS SOPS 484608 HAS SOUS 422787 HAS SOUPS 422787 WITH SCORE 423271.608
AT ITER 1423 NEW BEST:: SOT 780627 SOS 484524 HAS SOPS 484524 HAS SOUS 422703 HAS SOUPS 422703 WITH SCORE 423187.524
AT ITER 1431 NEW BEST:: SOT 780274 SOS 484121 HAS SOPS 484121 HAS SOUS 422300 HAS SOUPS 422300 WITH SCORE 422784.121
AT ITER 1434 NEW BEST:: SOT 779401 SOS 482961 HAS SOPS 482961 HAS SOUS 421162 HAS SOUPS 421162 WITH SCORE 421644.961
AT ITER 1459 NEW BEST:: SOT 779361 SOS 482837 HAS SOPS 482837 HAS SOUS 421038 HAS SOUPS 421038 WITH SCORE 421520.837
AT ITER 1467 NEW BEST:: SOT 779336 SOS 482812 HAS SOPS 482812 HAS SOUS 421011 HAS SOUPS 421011 WITH SCORE 421493.812
AT ITER 1469 NEW BEST:: SOT 779224 SOS 482855 HAS SOPS 482855 HAS SOUS 420899 HAS SOUPS 420899 WITH SCORE 421381.855
AT ITER 1473 NEW BEST:: SOT 779224 SOS 482855 HAS SOPS 482855 HAS SOUS 420774 HAS SOUPS 420774 WITH SCORE 421256.855
AT ITER 1480 NEW BEST:: SOT 778920 SOS 481335 HAS SOPS 481335 HAS SOUS 420166 HAS SOUPS 420166 WITH SCORE 420647.335
AT ITER 1482 NEW BEST:: SOT 778384 SOS 480686 HAS SOPS 480686 HAS SOUS 419517 HAS SOUPS 419517 WITH SCORE 419997.686
AT ITER 1488 NEW BEST:: SOT 778266 SOS 480552 HAS SOPS 480552 HAS SOUS 419383 HAS SOUPS 419383 WITH SCORE 419863.552
AT ITER 1489 NEW BEST:: SOT 777751 SOS 480036 HAS SOPS 480036 HAS SOUS 419018 HAS SOUPS 419018 WITH SCORE 419498.036
AT ITER 1490 NEW BEST:: SOT 777289 SOS 479574 HAS SOPS 479574 HAS SOUS 418966 HAS SOUPS 418966 WITH SCORE 419445.574
AT ITER 1492 NEW BEST:: SOT 777092 SOS 478770 HAS SOPS 478770 HAS SOUS 418162 HAS SOUPS 418162 WITH SCORE 418640.77
AT ITER 1496 NEW BEST:: SOT 777092 SOS 478608 HAS SOPS 478608 HAS SOUS 418045 HAS SOUPS 418045 WITH SCORE 418523.608
AT ITER 1497 NEW BEST:: SOT 777092 SOS 477846 HAS SOPS 477846 HAS SOUS 418038 HAS SOUPS 418038 WITH SCORE 418515.846
AT ITER 1500 NEW BEST:: SOT 776828 SOS 477580 HAS SOPS 477580 HAS SOUS 417803 HAS SOUPS 417803 WITH SCORE 418280.58
AT ITER 1508 NEW BEST:: SOT 776678 SOS 477381 HAS SOPS 477381 HAS SOUS 417604 HAS SOUPS 417604 WITH SCORE 418081.381
AT ITER 1509 NEW BEST:: SOT 775821 SOS 476524 HAS SOPS 476524 HAS SOUS 415971 HAS SOUPS 415971 WITH SCORE 416447.524
AT ITER 1514 NEW BEST:: SOT 775353 SOS 475758 HAS SOPS 475758 HAS SOUS 415205 HAS SOUPS 415205 WITH SCORE 415680.758
AT ITER 1517 NEW BEST:: SOT 775460 SOS 474605 HAS SOPS 474605 HAS SOUS 415093 HAS SOUPS 415093 WITH SCORE 415567.605
AT ITER 1535 NEW BEST:: SOT 774696 SOS 473839 HAS SOPS 473839 HAS SOUS 414973 HAS SOUPS 414973 WITH SCORE 415446.839
AT ITER 1536 NEW BEST:: SOT 774696 SOS 473394 HAS SOPS 473394 HAS SOUS 414906 HAS SOUPS 414906 WITH SCORE 415379.394
AT ITER 1538 NEW BEST:: SOT 774552 SOS 473331 HAS SOPS 473331 HAS SOUS 414647 HAS SOUPS 414647 WITH SCORE 415120.331
AT ITER 1551 NEW BEST:: SOT 774677 SOS 472727 HAS SOPS 472727 HAS SOUS 414588 HAS SOUPS 414588 WITH SCORE 415060.727
AT ITER 1556 NEW BEST:: SOT 774452 SOS 471877 HAS SOPS 471877 HAS SOUS 414276 HAS SOUPS 414276 WITH SCORE 414747.877
AT ITER 1559 NEW BEST:: SOT 773909 SOS 471334 HAS SOPS 471334 HAS SOUS 413908 HAS SOUPS 413908 WITH SCORE 414379.334
AT ITER 1564 NEW BEST:: SOT 773760 SOS 471281 HAS SOPS 471281 HAS SOUS 413855 HAS SOUPS 413855 WITH SCORE 414326.281
AT ITER 1565 NEW BEST:: SOT 773760 SOS 471332 HAS SOPS 471332 HAS SOUS 413848 HAS SOUPS 413848 WITH SCORE 414319.332
AT ITER 1566 NEW BEST:: SOT 773787 SOS 471359 HAS SOPS 471359 HAS SOUS 413767 HAS SOUPS 413767 WITH SCORE 414238.359
AT ITER 1577 NEW BEST:: SOT 773975 SOS 471358 HAS SOPS 471358 HAS SOUS 413766 HAS SOUPS 413766 WITH SCORE 414237.358
AT ITER 1580 NEW BEST:: SOT 773975 SOS 471263 HAS SOPS 471263 HAS SOUS 413764 HAS SOUPS 413764 WITH SCORE 414235.263
AT ITER 1583 NEW BEST:: SOT 773943 SOS 471231 HAS SOPS 471231 HAS SOUS 413732 HAS SOUPS 413732 WITH SCORE 414203.231
AT ITER 1584 NEW BEST:: SOT 773943 SOS 471231 HAS SOPS 471231 HAS SOUS 413651 HAS SOUPS 413651 WITH SCORE 414122.231
AT ITER 1593 NEW BEST:: SOT 773943 SOS 471363 HAS SOPS 471363 HAS SOUS 413589 HAS SOUPS 413589 WITH SCORE 414060.363
AT ITER 1601 NEW BEST:: SOT 773943 SOS 471086 HAS SOPS 471086 HAS SOUS 413103 HAS SOUPS 413103 WITH SCORE 413574.086
AT ITER 1602 NEW BEST:: SOT 773675 SOS 470818 HAS SOPS 470818 HAS SOUS 412835 HAS SOUPS 412835 WITH SCORE 413305.818
AT ITER 1603 NEW BEST:: SOT 773644 SOS 470743 HAS SOPS 470743 HAS SOUS 412760 HAS SOUPS 412760 WITH SCORE 413230.743
AT ITER 1607 NEW BEST:: SOT 773694 SOS 470513 HAS SOPS 470513 HAS SOUS 412711 HAS SOUPS 412711 WITH SCORE 413181.513
AT ITER 1610 NEW BEST:: SOT 773692 SOS 470511 HAS SOPS 470511 HAS SOUS 412706 HAS SOUPS 412706 WITH SCORE 413176.511
AT ITER 1611 NEW BEST:: SOT 773501 SOS 470320 HAS SOPS 470320 HAS SOUS 412515 HAS SOUPS 412515 WITH SCORE 412985.32
AT ITER 1624 NEW BEST:: SOT 773221 SOS 469584 HAS SOPS 469584 HAS SOUS 411779 HAS SOUPS 411779 WITH SCORE 412248.584
AT ITER 1628 NEW BEST:: SOT 772249 SOS 468892 HAS SOPS 468892 HAS SOUS 410628 HAS SOUPS 410628 WITH SCORE 411096.892
AT ITER 1631 NEW BEST:: SOT 771776 SOS 468419 HAS SOPS 468419 HAS SOUS 410155 HAS SOUPS 410155 WITH SCORE 410623.419
AT ITER 1632 NEW BEST:: SOT 771834 SOS 468281 HAS SOPS 468281 HAS SOUS 409992 HAS SOUPS 409992 WITH SCORE 410460.281
AT ITER 1639 NEW BEST:: SOT 771631 SOS 467916 HAS SOPS 467916 HAS SOUS 409627 HAS SOUPS 409627 WITH SCORE 410094.916
AT ITER 1651 NEW BEST:: SOT 771307 SOS 467967 HAS SOPS 467967 HAS SOUS 409539 HAS SOUPS 409539 WITH SCORE 410006.967
AT ITER 1655 NEW BEST:: SOT 771309 SOS 467881 HAS SOPS 467881 HAS SOUS 409453 HAS SOUPS 409453 WITH SCORE 409920.881
AT ITER 1663 NEW BEST:: SOT 771250 SOS 466776 HAS SOPS 466776 HAS SOUS 408929 HAS SOUPS 408929 WITH SCORE 409395.776
AT ITER 1670 NEW BEST:: SOT 770438 SOS 465963 HAS SOPS 465963 HAS SOUS 408116 HAS SOUPS 408116 WITH SCORE 408581.963
AT ITER 1673 NEW BEST:: SOT 769820 SOS 464740 HAS SOPS 464740 HAS SOUS 406873 HAS SOUPS 406873 WITH SCORE 407337.74
AT ITER 1678 NEW BEST:: SOT 768953 SOS 463726 HAS SOPS 463726 HAS SOUS 405842 HAS SOUPS 405842 WITH SCORE 406305.726
AT ITER 1679 NEW BEST:: SOT 768457 SOS 462714 HAS SOPS 462714 HAS SOUS 404995 HAS SOUPS 404995 WITH SCORE 405457.714
AT ITER 1680 NEW BEST:: SOT 768457 SOS 462466 HAS SOPS 462466 HAS SOUS 404995 HAS SOUPS 404995 WITH SCORE 405457.466
AT ITER 1682 NEW BEST:: SOT 768316 SOS 462270 HAS SOPS 462270 HAS SOUS 404744 HAS SOUPS 404744 WITH SCORE 405206.27
AT ITER 1686 NEW BEST:: SOT 768307 SOS 462243 HAS SOPS 462243 HAS SOUS 404726 HAS SOUPS 404726 WITH SCORE 405188.243
AT ITER 1703 NEW BEST:: SOT 768307 SOS 461505 HAS SOPS 461505 HAS SOUS 404396 HAS SOUPS 404396 WITH SCORE 404857.505
AT ITER 1708 NEW BEST:: SOT 768132 SOS 461330 HAS SOPS 461330 HAS SOUS 404221 HAS SOUPS 404221 WITH SCORE 404682.33
AT ITER 1711 NEW BEST:: SOT 767787 SOS 461077 HAS SOPS 461077 HAS SOUS 403968 HAS SOUPS 403968 WITH SCORE 404429.077
AT ITER 1715 NEW BEST:: SOT 767730 SOS 461020 HAS SOPS 461020 HAS SOUS 403911 HAS SOUPS 403911 WITH SCORE 404372.02
AT ITER 1717 NEW BEST:: SOT 767710 SOS 460574 HAS SOPS 460574 HAS SOUS 403882 HAS SOUPS 403882 WITH SCORE 404342.574
AT ITER 1719 NEW BEST:: SOT 767557 SOS 459412 HAS SOPS 459412 HAS SOUS 403218 HAS SOUPS 403218 WITH SCORE 403677.412
AT ITER 1733 NEW BEST:: SOT 767528 SOS 459383 HAS SOPS 459383 HAS SOUS 403189 HAS SOUPS 403189 WITH SCORE 403648.383
AT ITER 1734 NEW BEST:: SOT 767528 SOS 459381 HAS SOPS 459381 HAS SOUS 403187 HAS SOUPS 403187 WITH SCORE 403646.381
AT ITER 1738 NEW BEST:: SOT 767394 SOS 459247 HAS SOPS 459247 HAS SOUS 403053 HAS SOUPS 403053 WITH SCORE 403512.247
AT ITER 1745 NEW BEST:: SOT 767350 SOS 458947 HAS SOPS 458947 HAS SOUS 402620 HAS SOUPS 402620 WITH SCORE 403078.947
AT ITER 1747 NEW BEST:: SOT 767231 SOS 458828 HAS SOPS 458828 HAS SOUS 402501 HAS SOUPS 402501 WITH SCORE 402959.828
AT ITER 1748 NEW BEST:: SOT 767409 SOS 458808 HAS SOPS 458808 HAS SOUS 402481 HAS SOUPS 402481 WITH SCORE 402939.808
AT ITER 1753 NEW BEST:: SOT 767409 SOS 458706 HAS SOPS 458706 HAS SOUS 402379 HAS SOUPS 402379 WITH SCORE 402837.706
AT ITER 1758 NEW BEST:: SOT 767280 SOS 458577 HAS SOPS 458577 HAS SOUS 402379 HAS SOUPS 402379 WITH SCORE 402837.577
AT ITER 1766 NEW BEST:: SOT 767266 SOS 458519 HAS SOPS 458519 HAS SOUS 402321 HAS SOUPS 402321 WITH SCORE 402779.519
AT ITER 1767 NEW BEST:: SOT 767310 SOS 458461 HAS SOPS 458461 HAS SOUS 402263 HAS SOUPS 402263 WITH SCORE 402721.461
AT ITER 1775 NEW BEST:: SOT 766942 SOS 458093 HAS SOPS 458093 HAS SOUS 401895 HAS SOUPS 401895 WITH SCORE 402353.093
AT ITER 1776 NEW BEST:: SOT 766063 SOS 457875 HAS SOPS 457875 HAS SOUS 401507 HAS SOUPS 401507 WITH SCORE 401964.875
AT ITER 1777 NEW BEST:: SOT 765924 SOS 457736 HAS SOPS 457736 HAS SOUS 401507 HAS SOUPS 401507 WITH SCORE 401964.736
AT ITER 1781 NEW BEST:: SOT 765540 SOS 456880 HAS SOPS 456880 HAS SOUS 401123 HAS SOUPS 401123 WITH SCORE 401579.88
AT ITER 1794 NEW BEST:: SOT 765540 SOS 456672 HAS SOPS 456672 HAS SOUS 401111 HAS SOUPS 401111 WITH SCORE 401567.672
AT ITER 1796 NEW BEST:: SOT 765615 SOS 456569 HAS SOPS 456569 HAS SOUS 401061 HAS SOUPS 401061 WITH SCORE 401517.569
AT ITER 1798 NEW BEST:: SOT 765585 SOS 456542 HAS SOPS 456542 HAS SOUS 401001 HAS SOUPS 401001 WITH SCORE 401457.542
AT ITER 1802 NEW BEST:: SOT 765585 SOS 456196 HAS SOPS 456196 HAS SOUS 400655 HAS SOUPS 400655 WITH SCORE 401111.196
AT ITER 1810 NEW BEST:: SOT 765585 SOS 456156 HAS SOPS 456156 HAS SOUS 400655 HAS SOUPS 400655 WITH SCORE 401111.156
AT ITER 1812 NEW BEST:: SOT 765585 SOS 455898 HAS SOPS 455898 HAS SOUS 400329 HAS SOUPS 400329 WITH SCORE 400784.898
AT ITER 1813 NEW BEST:: SOT 765500 SOS 455813 HAS SOPS 455813 HAS SOUS 400244 HAS SOUPS 400244 WITH SCORE 400699.813
AT ITER 1815 NEW BEST:: SOT 765684 SOS 455802 HAS SOPS 455802 HAS SOUS 400233 HAS SOUPS 400233 WITH SCORE 400688.802
AT ITER 1818 NEW BEST:: SOT 765282 SOS 455202 HAS SOPS 455202 HAS SOUS 399633 HAS SOUPS 399633 WITH SCORE 400088.202
AT ITER 1827 NEW BEST:: SOT 765294 SOS 454883 HAS SOPS 454883 HAS SOUS 399323 HAS SOUPS 399323 WITH SCORE 399777.883
AT ITER 1829 NEW BEST:: SOT 765256 SOS 454693 HAS SOPS 454693 HAS SOUS 399247 HAS SOUPS 399247 WITH SCORE 399701.693
AT ITER 1830 NEW BEST:: SOT 765227 SOS 454705 HAS SOPS 454705 HAS SOUS 399183 HAS SOUPS 399183 WITH SCORE 399637.705
AT ITER 1835 NEW BEST:: SOT 764779 SOS 453615 HAS SOPS 453615 HAS SOUS 398984 HAS SOUPS 398984 WITH SCORE 399437.615
AT ITER 1840 NEW BEST:: SOT 764636 SOS 453472 HAS SOPS 453472 HAS SOUS 398841 HAS SOUPS 398841 WITH SCORE 399294.472
AT ITER 1848 NEW BEST:: SOT 764446 SOS 452986 HAS SOPS 452986 HAS SOUS 398477 HAS SOUPS 398477 WITH SCORE 398929.986
AT ITER 1859 NEW BEST:: SOT 764311 SOS 452545 HAS SOPS 452545 HAS SOUS 398189 HAS SOUPS 398189 WITH SCORE 398641.545
AT ITER 1876 NEW BEST:: SOT 764311 SOS 452543 HAS SOPS 452543 HAS SOUS 398187 HAS SOUPS 398187 WITH SCORE 398639.543
AT ITER 1877 NEW BEST:: SOT 763887 SOS 452119 HAS SOPS 452119 HAS SOUS 397712 HAS SOUPS 397712 WITH SCORE 398164.119
AT ITER 1878 NEW BEST:: SOT 763847 SOS 452079 HAS SOPS 452079 HAS SOUS 397553 HAS SOUPS 397553 WITH SCORE 398005.079
AT ITER 1893 NEW BEST:: SOT 764188 SOS 450869 HAS SOPS 450869 HAS SOUS 397512 HAS SOUPS 397512 WITH SCORE 397962.869
AT ITER 1896 NEW BEST:: SOT 764199 SOS 450880 HAS SOPS 450880 HAS SOUS 397496 HAS SOUPS 397496 WITH SCORE 397946.88
AT ITER 1908 NEW BEST:: SOT 764273 SOS 450371 HAS SOPS 450371 HAS SOUS 396986 HAS SOUPS 396986 WITH SCORE 397436.371
AT ITER 1915 NEW BEST:: SOT 764198 SOS 450313 HAS SOPS 450313 HAS SOUS 396958 HAS SOUPS 396958 WITH SCORE 397408.313
AT ITER 1918 NEW BEST:: SOT 764005 SOS 450120 HAS SOPS 450120 HAS SOUS 396765 HAS SOUPS 396765 WITH SCORE 397215.12
AT ITER 1919 NEW BEST:: SOT 763699 SOS 449822 HAS SOPS 449822 HAS SOUS 396465 HAS SOUPS 396465 WITH SCORE 396914.822
AT ITER 1925 NEW BEST:: SOT 763506 SOS 449629 HAS SOPS 449629 HAS SOUS 396270 HAS SOUPS 396270 WITH SCORE 396719.629
AT ITER 1944 NEW BEST:: SOT 763171 SOS 449340 HAS SOPS 449340 HAS SOUS 396047 HAS SOUPS 396047 WITH SCORE 396496.34
AT ITER 1947 NEW BEST:: SOT 763156 SOS 449263 HAS SOPS 449263 HAS SOUS 395964 HAS SOUPS 395964 WITH SCORE 396413.263
AT ITER 1948 NEW BEST:: SOT 763184 SOS 449350 HAS SOPS 449350 HAS SOUS 395901 HAS SOUPS 395901 WITH SCORE 396350.35
AT ITER 1950 NEW BEST:: SOT 763078 SOS 449244 HAS SOPS 449244 HAS SOUS 395795 HAS SOUPS 395795 WITH SCORE 396244.244
AT ITER 1954 NEW BEST:: SOT 762531 SOS 449135 HAS SOPS 449135 HAS SOUS 395686 HAS SOUPS 395686 WITH SCORE 396135.135
AT ITER 1957 NEW BEST:: SOT 762425 SOS 448357 HAS SOPS 448357 HAS SOUS 395404 HAS SOUPS 395404 WITH SCORE 395852.357
AT ITER 1960 NEW BEST:: SOT 762330 SOS 447927 HAS SOPS 447927 HAS SOUS 395128 HAS SOUPS 395128 WITH SCORE 395575.927
AT ITER 1963 NEW BEST:: SOT 762330 SOS 447708 HAS SOPS 447708 HAS SOUS 394909 HAS SOUPS 394909 WITH SCORE 395356.708
AT ITER 1966 NEW BEST:: SOT 762330 SOS 447675 HAS SOPS 447675 HAS SOUS 394876 HAS SOUPS 394876 WITH SCORE 395323.675
AT ITER 1967 NEW BEST:: SOT 762766 SOS 446984 HAS SOPS 446984 HAS SOUS 394725 HAS SOUPS 394725 WITH SCORE 395171.984
AT ITER 1969 NEW BEST:: SOT 762755 SOS 446826 HAS SOPS 446826 HAS SOUS 394665 HAS SOUPS 394665 WITH SCORE 395111.826
AT ITER 1971 NEW BEST:: SOT 762690 SOS 446761 HAS SOPS 446761 HAS SOUS 394600 HAS SOUPS 394600 WITH SCORE 395046.761
AT ITER 1979 NEW BEST:: SOT 762690 SOS 446560 HAS SOPS 446560 HAS SOUS 394399 HAS SOUPS 394399 WITH SCORE 394845.56
AT ITER 1984 NEW BEST:: SOT 762716 SOS 446542 HAS SOPS 446542 HAS SOUS 394381 HAS SOUPS 394381 WITH SCORE 394827.542
AT ITER 1986 NEW BEST:: SOT 762715 SOS 446334 HAS SOPS 446334 HAS SOUS 394376 HAS SOUPS 394376 WITH SCORE 394822.334
AT ITER 1989 NEW BEST:: SOT 761692 SOS 445090 HAS SOPS 445090 HAS SOUS 393620 HAS SOUPS 393620 WITH SCORE 394065.09
AT ITER 1990 NEW BEST:: SOT 761594 SOS 444943 HAS SOPS 444943 HAS SOUS 393473 HAS SOUPS 393473 WITH SCORE 393917.943
AT ITER 1992 NEW BEST:: SOT 761482 SOS 444831 HAS SOPS 444831 HAS SOUS 393361 HAS SOUPS 393361 WITH SCORE 393805.831
AT ITER 1994 NEW BEST:: SOT 761372 SOS 444281 HAS SOPS 444281 HAS SOUS 393098 HAS SOUPS 393098 WITH SCORE 393542.281
AT ITER 2005 NEW BEST:: SOT 761498 SOS 444160 HAS SOPS 444160 HAS SOUS 392977 HAS SOUPS 392977 WITH SCORE 393421.16
AT ITER 2012 NEW BEST:: SOT 761358 SOS 444020 HAS SOPS 444020 HAS SOUS 392799 HAS SOUPS 392799 WITH SCORE 393243.02
AT ITER 2015 NEW BEST:: SOT 761310 SOS 443972 HAS SOPS 443972 HAS SOUS 392751 HAS SOUPS 392751 WITH SCORE 393194.972
AT ITER 2020 NEW BEST:: SOT 761307 SOS 443401 HAS SOPS 443401 HAS SOUS 392641 HAS SOUPS 392641 WITH SCORE 393084.401
AT ITER 2023 NEW BEST:: SOT 761358 SOS 443398 HAS SOPS 443398 HAS SOUS 392638 HAS SOUPS 392638 WITH SCORE 393081.398
AT ITER 2025 NEW BEST:: SOT 760984 SOS 443024 HAS SOPS 443024 HAS SOUS 392070 HAS SOUPS 392070 WITH SCORE 392513.024
AT ITER 2026 NEW BEST:: SOT 760931 SOS 442654 HAS SOPS 442654 HAS SOUS 392005 HAS SOUPS 392005 WITH SCORE 392447.654
AT ITER 2035 NEW BEST:: SOT 760931 SOS 442600 HAS SOPS 442600 HAS SOUS 391987 HAS SOUPS 391987 WITH SCORE 392429.6
AT ITER 2051 NEW BEST:: SOT 760931 SOS 440040 HAS SOPS 440040 HAS SOUS 390647 HAS SOUPS 390647 WITH SCORE 391087.04
AT ITER 2053 NEW BEST:: SOT 760861 SOS 439970 HAS SOPS 439970 HAS SOUS 390576 HAS SOUPS 390576 WITH SCORE 391015.97
AT ITER 2056 NEW BEST:: SOT 760564 SOS 438926 HAS SOPS 438926 HAS SOUS 389840 HAS SOUPS 389840 WITH SCORE 390278.926
AT ITER 2057 NEW BEST:: SOT 760525 SOS 438826 HAS SOPS 438826 HAS SOUS 389740 HAS SOUPS 389740 WITH SCORE 390178.826
AT ITER 2064 NEW BEST:: SOT 760440 SOS 438739 HAS SOPS 438739 HAS SOUS 389644 HAS SOUPS 389644 WITH SCORE 390082.739
AT ITER 2070 NEW BEST:: SOT 759713 SOS 438012 HAS SOPS 438012 HAS SOUS 388917 HAS SOUPS 388917 WITH SCORE 389355.012
AT ITER 2071 NEW BEST:: SOT 759734 SOS 438033 HAS SOPS 438033 HAS SOUS 388772 HAS SOUPS 388772 WITH SCORE 389210.033
AT ITER 2076 NEW BEST:: SOT 759682 SOS 437981 HAS SOPS 437981 HAS SOUS 388720 HAS SOUPS 388720 WITH SCORE 389157.981
AT ITER 2079 NEW BEST:: SOT 759396 SOS 437695 HAS SOPS 437695 HAS SOUS 388434 HAS SOUPS 388434 WITH SCORE 388871.695
AT ITER 2083 NEW BEST:: SOT 759356 SOS 437532 HAS SOPS 437532 HAS SOUS 388347 HAS SOUPS 388347 WITH SCORE 388784.532
AT ITER 2095 NEW BEST:: SOT 758946 SOS 436588 HAS SOPS 436588 HAS SOUS 387480 HAS SOUPS 387480 WITH SCORE 387916.588
AT ITER 2098 NEW BEST:: SOT 758523 SOS 436165 HAS SOPS 436165 HAS SOUS 387036 HAS SOUPS 387036 WITH SCORE 387472.165
AT ITER 2100 NEW BEST:: SOT 758324 SOS 435964 HAS SOPS 435964 HAS SOUS 386826 HAS SOUPS 386826 WITH SCORE 387261.964
AT ITER 2109 NEW BEST:: SOT 758310 SOS 435950 HAS SOPS 435950 HAS SOUS 386812 HAS SOUPS 386812 WITH SCORE 387247.95
AT ITER 2112 NEW BEST:: SOT 758246 SOS 435709 HAS SOPS 435709 HAS SOUS 386572 HAS SOUPS 386572 WITH SCORE 387007.709
AT ITER 2114 NEW BEST:: SOT 758000 SOS 435730 HAS SOPS 435730 HAS SOUS 386558 HAS SOUPS 386558 WITH SCORE 386993.73
AT ITER 2120 NEW BEST:: SOT 758000 SOS 435284 HAS SOPS 435284 HAS SOUS 386552 HAS SOUPS 386552 WITH SCORE 386987.284
AT ITER 2124 NEW BEST:: SOT 757870 SOS 435154 HAS SOPS 435154 HAS SOUS 386422 HAS SOUPS 386422 WITH SCORE 386857.154
AT ITER 2125 NEW BEST:: SOT 757861 SOS 435130 HAS SOPS 435130 HAS SOUS 386398 HAS SOUPS 386398 WITH SCORE 386833.13
AT ITER 2126 NEW BEST:: SOT 757861 SOS 435097 HAS SOPS 435097 HAS SOUS 386365 HAS SOUPS 386365 WITH SCORE 386800.097
AT ITER 2132 NEW BEST:: SOT 757888 SOS 435197 HAS SOPS 435197 HAS SOUS 386335 HAS SOUPS 386335 WITH SCORE 386770.197
AT ITER 2152 NEW BEST:: SOT 757337 SOS 434492 HAS SOPS 434492 HAS SOUS 385630 HAS SOUPS 385630 WITH SCORE 386064.492
AT ITER 2159 NEW BEST:: SOT 757320 SOS 434475 HAS SOPS 434475 HAS SOUS 385613 HAS SOUPS 385613 WITH SCORE 386047.475
AT ITER 2161 NEW BEST:: SOT 756411 SOS 432880 HAS SOPS 432880 HAS SOUS 384151 HAS SOUPS 384151 WITH SCORE 384583.88
AT ITER 2163 NEW BEST:: SOT 755910 SOS 431671 HAS SOPS 431671 HAS SOUS 383278 HAS SOUPS 383278 WITH SCORE 383709.671
AT ITER 2166 NEW BEST:: SOT 755550 SOS 431311 HAS SOPS 431311 HAS SOUS 382918 HAS SOUPS 382918 WITH SCORE 383349.311
AT ITER 2167 NEW BEST:: SOT 755374 SOS 431239 HAS SOPS 431239 HAS SOUS 382846 HAS SOUPS 382846 WITH SCORE 383277.239
AT ITER 2169 NEW BEST:: SOT 755374 SOS 431077 HAS SOPS 431077 HAS SOUS 382782 HAS SOUPS 382782 WITH SCORE 383213.077
AT ITER 2175 NEW BEST:: SOT 755388 SOS 431013 HAS SOPS 431013 HAS SOUS 382718 HAS SOUPS 382718 WITH SCORE 383149.013
AT ITER 2177 NEW BEST:: SOT 755273 SOS 430898 HAS SOPS 430898 HAS SOUS 382603 HAS SOUPS 382603 WITH SCORE 383033.898
AT ITER 2180 NEW BEST:: SOT 754909 SOS 430231 HAS SOPS 430231 HAS SOUS 381936 HAS SOUPS 381936 WITH SCORE 382366.231
AT ITER 2181 NEW BEST:: SOT 754918 SOS 429934 HAS SOPS 429934 HAS SOUS 381863 HAS SOUPS 381863 WITH SCORE 382292.934
AT ITER 2183 NEW BEST:: SOT 754733 SOS 429462 HAS SOPS 429462 HAS SOUS 381595 HAS SOUPS 381595 WITH SCORE 382024.462
AT ITER 2188 NEW BEST:: SOT 754733 SOS 429366 HAS SOPS 429366 HAS SOUS 381560 HAS SOUPS 381560 WITH SCORE 381989.366
AT ITER 2193 NEW BEST:: SOT 754712 SOS 429345 HAS SOPS 429345 HAS SOUS 381539 HAS SOUPS 381539 WITH SCORE 381968.345
AT ITER 2195 NEW BEST:: SOT 754712 SOS 429381 HAS SOPS 429381 HAS SOUS 381537 HAS SOUPS 381537 WITH SCORE 381966.381
AT ITER 2197 NEW BEST:: SOT 754644 SOS 429313 HAS SOPS 429313 HAS SOUS 381469 HAS SOUPS 381469 WITH SCORE 381898.313
AT ITER 2202 NEW BEST:: SOT 754832 SOS 428908 HAS SOPS 428908 HAS SOUS 381064 HAS SOUPS 381064 WITH SCORE 381492.908
AT ITER 2203 NEW BEST:: SOT 754728 SOS 428804 HAS SOPS 428804 HAS SOUS 380960 HAS SOUPS 380960 WITH SCORE 381388.804
AT ITER 2205 NEW BEST:: SOT 754699 SOS 428775 HAS SOPS 428775 HAS SOUS 380902 HAS SOUPS 380902 WITH SCORE 381330.775
AT ITER 2207 NEW BEST:: SOT 754624 SOS 428676 HAS SOPS 428676 HAS SOUS 380802 HAS SOUPS 380802 WITH SCORE 381230.676
AT ITER 2210 NEW BEST:: SOT 754438 SOS 428490 HAS SOPS 428490 HAS SOUS 380616 HAS SOUPS 380616 WITH SCORE 381044.49
AT ITER 2212 NEW BEST:: SOT 754173 SOS 427934 HAS SOPS 427934 HAS SOUS 379819 HAS SOUPS 379819 WITH SCORE 380246.934
AT ITER 2213 NEW BEST:: SOT 754173 SOS 427910 HAS SOPS 427910 HAS SOUS 379819 HAS SOUPS 379819 WITH SCORE 380246.91
AT ITER 2215 NEW BEST:: SOT 754119 SOS 427856 HAS SOPS 427856 HAS SOUS 379765 HAS SOUPS 379765 WITH SCORE 380192.856
AT ITER 2221 NEW BEST:: SOT 753795 SOS 427532 HAS SOPS 427532 HAS SOUS 379441 HAS SOUPS 379441 WITH SCORE 379868.532
AT ITER 2226 NEW BEST:: SOT 753767 SOS 427076 HAS SOPS 427076 HAS SOUS 379375 HAS SOUPS 379375 WITH SCORE 379802.076
AT ITER 2246 NEW BEST:: SOT 753611 SOS 426809 HAS SOPS 426809 HAS SOUS 379218 HAS SOUPS 379218 WITH SCORE 379644.809
AT ITER 2250 NEW BEST:: SOT 753378 SOS 426364 HAS SOPS 426364 HAS SOUS 378835 HAS SOUPS 378835 WITH SCORE 379261.364
AT ITER 2253 NEW BEST:: SOT 753131 SOS 424183 HAS SOPS 424183 HAS SOUS 378026 HAS SOUPS 378026 WITH SCORE 378450.183
AT ITER 2263 NEW BEST:: SOT 753125 SOS 424174 HAS SOPS 424174 HAS SOUS 378014 HAS SOUPS 378014 WITH SCORE 378438.174
AT ITER 2268 NEW BEST:: SOT 752913 SOS 423770 HAS SOPS 423770 HAS SOUS 377695 HAS SOUPS 377695 WITH SCORE 378118.77
AT ITER 2276 NEW BEST:: SOT 752850 SOS 423518 HAS SOPS 423518 HAS SOUS 377569 HAS SOUPS 377569 WITH SCORE 377992.518
AT ITER 2284 NEW BEST:: SOT 752782 SOS 423450 HAS SOPS 423450 HAS SOUS 377534 HAS SOUPS 377534 WITH SCORE 377957.45
AT ITER 2290 NEW BEST:: SOT 752782 SOS 422830 HAS SOPS 422830 HAS SOUS 377232 HAS SOUPS 377232 WITH SCORE 377654.83
AT ITER 2293 NEW BEST:: SOT 752955 SOS 422699 HAS SOPS 422699 HAS SOUS 377166 HAS SOUPS 377166 WITH SCORE 377588.699
AT ITER 2296 NEW BEST:: SOT 752910 SOS 422654 HAS SOPS 422654 HAS SOUS 377121 HAS SOUPS 377121 WITH SCORE 377543.654
AT ITER 2305 NEW BEST:: SOT 752910 SOS 422654 HAS SOPS 422654 HAS SOUS 377062 HAS SOUPS 377062 WITH SCORE 377484.654
AT ITER 2312 NEW BEST:: SOT 752905 SOS 422649 HAS SOPS 422649 HAS SOUS 377057 HAS SOUPS 377057 WITH SCORE 377479.649
AT ITER 2317 NEW BEST:: SOT 752895 SOS 422619 HAS SOPS 422619 HAS SOUS 377027 HAS SOUPS 377027 WITH SCORE 377449.619
AT ITER 2321 NEW BEST:: SOT 752813 SOS 422556 HAS SOPS 422556 HAS SOUS 376964 HAS SOUPS 376964 WITH SCORE 377386.556
AT ITER 2323 NEW BEST:: SOT 753035 SOS 422778 HAS SOPS 422778 HAS SOUS 376884 HAS SOUPS 376884 WITH SCORE 377306.778
AT ITER 2350 NEW BEST:: SOT 752861 SOS 422265 HAS SOPS 422265 HAS SOUS 376536 HAS SOUPS 376536 WITH SCORE 376958.265
AT ITER 2351 NEW BEST:: SOT 752729 SOS 422133 HAS SOPS 422133 HAS SOUS 376272 HAS SOUPS 376272 WITH SCORE 376694.133
AT ITER 2353 NEW BEST:: SOT 752555 SOS 421872 HAS SOPS 421872 HAS SOUS 376011 HAS SOUPS 376011 WITH SCORE 376432.872
AT ITER 2354 NEW BEST:: SOT 752409 SOS 421726 HAS SOPS 421726 HAS SOUS 375981 HAS SOUPS 375981 WITH SCORE 376402.726
AT ITER 2355 NEW BEST:: SOT 751905 SOS 421222 HAS SOPS 421222 HAS SOUS 375477 HAS SOUPS 375477 WITH SCORE 375898.222
AT ITER 2360 NEW BEST:: SOT 751881 SOS 421038 HAS SOPS 421038 HAS SOUS 375452 HAS SOUPS 375452 WITH SCORE 375873.038
AT ITER 2365 NEW BEST:: SOT 751881 SOS 421142 HAS SOPS 421142 HAS SOUS 375407 HAS SOUPS 375407 WITH SCORE 375828.142
AT ITER 2368 NEW BEST:: SOT 751854 SOS 421115 HAS SOPS 421115 HAS SOUS 375380 HAS SOUPS 375380 WITH SCORE 375801.115
AT ITER 2370 NEW BEST:: SOT 751778 SOS 420674 HAS SOPS 420674 HAS SOUS 374938 HAS SOUPS 374938 WITH SCORE 375358.674
AT ITER 2372 NEW BEST:: SOT 751244 SOS 419777 HAS SOPS 419777 HAS SOUS 374041 HAS SOUPS 374041 WITH SCORE 374460.777
AT ITER 2374 NEW BEST:: SOT 751256 SOS 419315 HAS SOPS 419315 HAS SOUS 373844 HAS SOUPS 373844 WITH SCORE 374263.315
AT ITER 2375 NEW BEST:: SOT 751102 SOS 419257 HAS SOPS 419257 HAS SOUS 373714 HAS SOUPS 373714 WITH SCORE 374133.257
AT ITER 2382 NEW BEST:: SOT 751102 SOS 418653 HAS SOPS 418653 HAS SOUS 373454 HAS SOUPS 373454 WITH SCORE 373872.653
AT ITER 2383 NEW BEST:: SOT 751008 SOS 418418 HAS SOPS 418418 HAS SOUS 373266 HAS SOUPS 373266 WITH SCORE 373684.418
AT ITER 2386 NEW BEST:: SOT 750786 SOS 418196 HAS SOPS 418196 HAS SOUS 373044 HAS SOUPS 373044 WITH SCORE 373462.196
AT ITER 2390 NEW BEST:: SOT 750681 SOS 417893 HAS SOPS 417893 HAS SOUS 372708 HAS SOUPS 372708 WITH SCORE 373125.893
AT ITER 2392 NEW BEST:: SOT 750653 SOS 417865 HAS SOPS 417865 HAS SOUS 372680 HAS SOUPS 372680 WITH SCORE 373097.865
AT ITER 2397 NEW BEST:: SOT 750552 SOS 417863 HAS SOPS 417863 HAS SOUS 372678 HAS SOUPS 372678 WITH SCORE 373095.863
AT ITER 2404 NEW BEST:: SOT 750539 SOS 417824 HAS SOPS 417824 HAS SOUS 372652 HAS SOUPS 372652 WITH SCORE 373069.824
AT ITER 2405 NEW BEST:: SOT 750110 SOS 417244 HAS SOPS 417244 HAS SOUS 372072 HAS SOUPS 372072 WITH SCORE 372489.244
AT ITER 2411 NEW BEST:: SOT 750110 SOS 417051 HAS SOPS 417051 HAS SOUS 372072 HAS SOUPS 372072 WITH SCORE 372489.051
AT ITER 2412 NEW BEST:: SOT 749592 SOS 416533 HAS SOPS 416533 HAS SOUS 371552 HAS SOUPS 371552 WITH SCORE 371968.533
AT ITER 2413 NEW BEST:: SOT 749592 SOS 415931 HAS SOPS 415931 HAS SOUS 371217 HAS SOUPS 371217 WITH SCORE 371632.931
AT ITER 2414 NEW BEST:: SOT 749592 SOS 415427 HAS SOPS 415427 HAS SOUS 370862 HAS SOUPS 370862 WITH SCORE 371277.427
AT ITER 2423 NEW BEST:: SOT 749292 SOS 415367 HAS SOPS 415367 HAS SOUS 370802 HAS SOUPS 370802 WITH SCORE 371217.367
AT ITER 2424 NEW BEST:: SOT 748831 SOS 414654 HAS SOPS 414654 HAS SOUS 370096 HAS SOUPS 370096 WITH SCORE 370510.654
AT ITER 2425 NEW BEST:: SOT 748707 SOS 414287 HAS SOPS 414287 HAS SOUS 369890 HAS SOUPS 369890 WITH SCORE 370304.287
AT ITER 2441 NEW BEST:: SOT 748401 SOS 413967 HAS SOPS 413967 HAS SOUS 369555 HAS SOUPS 369555 WITH SCORE 369968.967
AT ITER 2444 NEW BEST:: SOT 748287 SOS 413739 HAS SOPS 413739 HAS SOUS 369213 HAS SOUPS 369213 WITH SCORE 369626.739
AT ITER 2446 NEW BEST:: SOT 748271 SOS 413723 HAS SOPS 413723 HAS SOUS 369197 HAS SOUPS 369197 WITH SCORE 369610.723
AT ITER 2450 NEW BEST:: SOT 748219 SOS 413575 HAS SOPS 413575 HAS SOUS 369058 HAS SOUPS 369058 WITH SCORE 369471.575
AT ITER 2452 NEW BEST:: SOT 748120 SOS 413476 HAS SOPS 413476 HAS SOUS 368890 HAS SOUPS 368890 WITH SCORE 369303.476
AT ITER 2455 NEW BEST:: SOT 748120 SOS 413143 HAS SOPS 413143 HAS SOUS 368694 HAS SOUPS 368694 WITH SCORE 369107.143
AT ITER 2459 NEW BEST:: SOT 748120 SOS 412864 HAS SOPS 412864 HAS SOUS 368508 HAS SOUPS 368508 WITH SCORE 368920.864
AT ITER 2461 NEW BEST:: SOT 747924 SOS 412668 HAS SOPS 412668 HAS SOUS 368312 HAS SOUPS 368312 WITH SCORE 368724.668
AT ITER 2466 NEW BEST:: SOT 747924 SOS 412491 HAS SOPS 412491 HAS SOUS 368194 HAS SOUPS 368194 WITH SCORE 368606.491
AT ITER 2470 NEW BEST:: SOT 747911 SOS 412491 HAS SOPS 412491 HAS SOUS 368181 HAS SOUPS 368181 WITH SCORE 368593.491
AT ITER 2471 NEW BEST:: SOT 747102 SOS 411682 HAS SOPS 411682 HAS SOUS 367600 HAS SOUPS 367600 WITH SCORE 368011.682
AT ITER 2473 NEW BEST:: SOT 747071 SOS 411665 HAS SOPS 411665 HAS SOUS 367455 HAS SOUPS 367455 WITH SCORE 367866.665
AT ITER 2476 NEW BEST:: SOT 747071 SOS 411546 HAS SOPS 411546 HAS SOUS 367451 HAS SOUPS 367451 WITH SCORE 367862.546
AT ITER 2478 NEW BEST:: SOT 746492 SOS 410917 HAS SOPS 410917 HAS SOUS 366695 HAS SOUPS 366695 WITH SCORE 367105.917
AT ITER 2485 NEW BEST:: SOT 746492 SOS 410852 HAS SOPS 410852 HAS SOUS 366695 HAS SOUPS 366695 WITH SCORE 367105.852
AT ITER 2487 NEW BEST:: SOT 746141 SOS 410839 HAS SOPS 410839 HAS SOUS 366377 HAS SOUPS 366377 WITH SCORE 366787.839
AT ITER 2488 NEW BEST:: SOT 746089 SOS 410747 HAS SOPS 410747 HAS SOUS 366285 HAS SOUPS 366285 WITH SCORE 366695.747
AT ITER 2501 NEW BEST:: SOT 746058 SOS 410714 HAS SOPS 410714 HAS SOUS 366252 HAS SOUPS 366252 WITH SCORE 366662.714
AT ITER 2502 NEW BEST:: SOT 745638 SOS 410294 HAS SOPS 410294 HAS SOUS 365924 HAS SOUPS 365924 WITH SCORE 366334.294
AT ITER 2519 NEW BEST:: SOT 745522 SOS 409818 HAS SOPS 409818 HAS SOUS 365497 HAS SOUPS 365497 WITH SCORE 365906.818
AT ITER 2522 NEW BEST:: SOT 745586 SOS 408990 HAS SOPS 408990 HAS SOUS 364844 HAS SOUPS 364844 WITH SCORE 365252.99
AT ITER 2524 NEW BEST:: SOT 744840 SOS 406752 HAS SOPS 406752 HAS SOUS 363352 HAS SOUPS 363352 WITH SCORE 363758.752
AT ITER 2526 NEW BEST:: SOT 744778 SOS 406628 HAS SOPS 406628 HAS SOUS 363290 HAS SOUPS 363290 WITH SCORE 363696.628
AT ITER 2528 NEW BEST:: SOT 744748 SOS 406568 HAS SOPS 406568 HAS SOUS 363260 HAS SOUPS 363260 WITH SCORE 363666.568
AT ITER 2530 NEW BEST:: SOT 744691 SOS 406487 HAS SOPS 406487 HAS SOUS 363178 HAS SOUPS 363178 WITH SCORE 363584.487
AT ITER 2541 NEW BEST:: SOT 744717 SOS 406513 HAS SOPS 406513 HAS SOUS 363025 HAS SOUPS 363025 WITH SCORE 363431.513
AT ITER 2543 NEW BEST:: SOT 744283 SOS 406079 HAS SOPS 406079 HAS SOUS 362654 HAS SOUPS 362654 WITH SCORE 363060.079
AT ITER 2556 NEW BEST:: SOT 744283 SOS 406079 HAS SOPS 406079 HAS SOUS 362653 HAS SOUPS 362653 WITH SCORE 363059.079
AT ITER 2560 NEW BEST:: SOT 744112 SOS 405236 HAS SOPS 405236 HAS SOUS 362166 HAS SOUPS 362166 WITH SCORE 362571.236
AT ITER 2564 NEW BEST:: SOT 744112 SOS 405019 HAS SOPS 405019 HAS SOUS 362111 HAS SOUPS 362111 WITH SCORE 362516.019
AT ITER 2569 NEW BEST:: SOT 744112 SOS 404714 HAS SOPS 404714 HAS SOUS 362008 HAS SOUPS 362008 WITH SCORE 362412.714
AT ITER 2576 NEW BEST:: SOT 744112 SOS 403677 HAS SOPS 403677 HAS SOUS 361769 HAS SOUPS 361769 WITH SCORE 362172.677
AT ITER 2579 NEW BEST:: SOT 743411 SOS 402976 HAS SOPS 402976 HAS SOUS 361068 HAS SOUPS 361068 WITH SCORE 361470.976
AT ITER 2582 NEW BEST:: SOT 743348 SOS 402913 HAS SOPS 402913 HAS SOUS 360848 HAS SOUPS 360848 WITH SCORE 361250.913
AT ITER 2586 NEW BEST:: SOT 743281 SOS 402578 HAS SOPS 402578 HAS SOUS 360714 HAS SOUPS 360714 WITH SCORE 361116.578
AT ITER 2587 NEW BEST:: SOT 743254 SOS 402524 HAS SOPS 402524 HAS SOUS 360687 HAS SOUPS 360687 WITH SCORE 361089.524
AT ITER 2590 NEW BEST:: SOT 743254 SOS 402445 HAS SOPS 402445 HAS SOUS 360579 HAS SOUPS 360579 WITH SCORE 360981.445
AT ITER 2591 NEW BEST:: SOT 743395 SOS 401857 HAS SOPS 401857 HAS SOUS 360380 HAS SOUPS 360380 WITH SCORE 360781.857
AT ITER 2595 NEW BEST:: SOT 743826 SOS 401854 HAS SOPS 401854 HAS SOUS 360377 HAS SOUPS 360377 WITH SCORE 360778.854
AT ITER 2597 NEW BEST:: SOT 743438 SOS 401669 HAS SOPS 401669 HAS SOUS 360238 HAS SOUPS 360238 WITH SCORE 360639.669
AT ITER 2598 NEW BEST:: SOT 743408 SOS 401639 HAS SOPS 401639 HAS SOUS 360208 HAS SOUPS 360208 WITH SCORE 360609.639
AT ITER 2602 NEW BEST:: SOT 743407 SOS 401545 HAS SOPS 401545 HAS SOUS 360157 HAS SOUPS 360157 WITH SCORE 360558.545
AT ITER 2603 NEW BEST:: SOT 743407 SOS 401425 HAS SOPS 401425 HAS SOUS 360157 HAS SOUPS 360157 WITH SCORE 360558.425
AT ITER 2616 NEW BEST:: SOT 743513 SOS 400416 HAS SOPS 400416 HAS SOUS 359671 HAS SOUPS 359671 WITH SCORE 360071.416
AT ITER 2618 NEW BEST:: SOT 743469 SOS 400375 HAS SOPS 400375 HAS SOUS 359630 HAS SOUPS 359630 WITH SCORE 360030.375
AT ITER 2627 NEW BEST:: SOT 743292 SOS 399470 HAS SOPS 399470 HAS SOUS 359029 HAS SOUPS 359029 WITH SCORE 359428.47
AT ITER 2635 NEW BEST:: SOT 742494 SOS 398978 HAS SOPS 398978 HAS SOUS 358216 HAS SOUPS 358216 WITH SCORE 358614.978
AT ITER 2638 NEW BEST:: SOT 742393 SOS 398877 HAS SOPS 398877 HAS SOUS 358115 HAS SOUPS 358115 WITH SCORE 358513.877
AT ITER 2639 NEW BEST:: SOT 742351 SOS 398835 HAS SOPS 398835 HAS SOUS 358073 HAS SOUPS 358073 WITH SCORE 358471.835
AT ITER 2640 NEW BEST:: SOT 742342 SOS 398826 HAS SOPS 398826 HAS SOUS 358064 HAS SOUPS 358064 WITH SCORE 358462.826
AT ITER 2642 NEW BEST:: SOT 742342 SOS 398207 HAS SOPS 398207 HAS SOUS 358064 HAS SOUPS 358064 WITH SCORE 358462.207
AT ITER 2647 NEW BEST:: SOT 741663 SOS 397132 HAS SOPS 397132 HAS SOUS 356989 HAS SOUPS 356989 WITH SCORE 357386.132
AT ITER 2653 NEW BEST:: SOT 741663 SOS 397072 HAS SOPS 397072 HAS SOUS 356989 HAS SOUPS 356989 WITH SCORE 357386.072
AT ITER 2655 NEW BEST:: SOT 741663 SOS 397072 HAS SOPS 397072 HAS SOUS 356890 HAS SOUPS 356890 WITH SCORE 357287.072
AT ITER 2658 NEW BEST:: SOT 741672 SOS 396701 HAS SOPS 396701 HAS SOUS 356564 HAS SOUPS 356564 WITH SCORE 356960.701
AT ITER 2662 NEW BEST:: SOT 741762 SOS 396690 HAS SOPS 396690 HAS SOUS 356553 HAS SOUPS 356553 WITH SCORE 356949.69
AT ITER 2683 NEW BEST:: SOT 741662 SOS 396590 HAS SOPS 396590 HAS SOUS 356453 HAS SOUPS 356453 WITH SCORE 356849.59
AT ITER 2686 NEW BEST:: SOT 741627 SOS 396523 HAS SOPS 396523 HAS SOUS 356418 HAS SOUPS 356418 WITH SCORE 356814.523
AT ITER 2690 NEW BEST:: SOT 741625 SOS 396520 HAS SOPS 396520 HAS SOUS 356415 HAS SOUPS 356415 WITH SCORE 356811.52
AT ITER 2691 NEW BEST:: SOT 741498 SOS 396266 HAS SOPS 396266 HAS SOUS 356034 HAS SOUPS 356034 WITH SCORE 356430.266
AT ITER 2692 NEW BEST:: SOT 741232 SOS 396162 HAS SOPS 396162 HAS SOUS 355930 HAS SOUPS 355930 WITH SCORE 356326.162
AT ITER 2705 NEW BEST:: SOT 741091 SOS 395797 HAS SOPS 395797 HAS SOUS 355586 HAS SOUPS 355586 WITH SCORE 355981.797
AT ITER 2712 NEW BEST:: SOT 741091 SOS 395738 HAS SOPS 395738 HAS SOUS 355527 HAS SOUPS 355527 WITH SCORE 355922.738
AT ITER 2713 NEW BEST:: SOT 741253 SOS 395804 HAS SOPS 395804 HAS SOUS 355518 HAS SOUPS 355518 WITH SCORE 355913.804
AT ITER 2716 NEW BEST:: SOT 740629 SOS 395261 HAS SOPS 395261 HAS SOUS 355474 HAS SOUPS 355474 WITH SCORE 355869.261
AT ITER 2718 NEW BEST:: SOT 740371 SOS 394573 HAS SOPS 394573 HAS SOUS 354786 HAS SOUPS 354786 WITH SCORE 355180.573
AT ITER 2719 NEW BEST:: SOT 740192 SOS 395435 HAS SOPS 395435 HAS SOUS 354771 HAS SOUPS 354771 WITH SCORE 355166.435
AT ITER 2725 NEW BEST:: SOT 740151 SOS 395394 HAS SOPS 395394 HAS SOUS 354730 HAS SOUPS 354730 WITH SCORE 355125.394
AT ITER 2726 NEW BEST:: SOT 740151 SOS 395394 HAS SOPS 395394 HAS SOUS 354570 HAS SOUPS 354570 WITH SCORE 354965.394
AT ITER 2728 NEW BEST:: SOT 739826 SOS 395415 HAS SOPS 395415 HAS SOUS 354245 HAS SOUPS 354245 WITH SCORE 354640.415
AT ITER 2735 NEW BEST:: SOT 739826 SOS 394314 HAS SOPS 394314 HAS SOUS 354173 HAS SOUPS 354173 WITH SCORE 354567.314
AT ITER 2736 NEW BEST:: SOT 739826 SOS 394290 HAS SOPS 394290 HAS SOUS 354173 HAS SOUPS 354173 WITH SCORE 354567.29
AT ITER 2741 NEW BEST:: SOT 739826 SOS 394237 HAS SOPS 394237 HAS SOUS 354120 HAS SOUPS 354120 WITH SCORE 354514.237
AT ITER 2746 NEW BEST:: SOT 739518 SOS 393757 HAS SOPS 393757 HAS SOUS 353640 HAS SOUPS 353640 WITH SCORE 354033.757
AT ITER 2749 NEW BEST:: SOT 739510 SOS 393740 HAS SOPS 393740 HAS SOUS 353623 HAS SOUPS 353623 WITH SCORE 354016.74
AT ITER 2750 NEW BEST:: SOT 739510 SOS 393521 HAS SOPS 393521 HAS SOUS 353404 HAS SOUPS 353404 WITH SCORE 353797.521
AT ITER 2751 NEW BEST:: SOT 739472 SOS 393483 HAS SOPS 393483 HAS SOUS 353366 HAS SOUPS 353366 WITH SCORE 353759.483
AT ITER 2753 NEW BEST:: SOT 739426 SOS 393415 HAS SOPS 393415 HAS SOUS 353298 HAS SOUPS 353298 WITH SCORE 353691.415
AT ITER 2757 NEW BEST:: SOT 739303 SOS 393227 HAS SOPS 393227 HAS SOUS 353175 HAS SOUPS 353175 WITH SCORE 353568.227
AT ITER 2765 NEW BEST:: SOT 739062 SOS 392830 HAS SOPS 392830 HAS SOUS 352758 HAS SOUPS 352758 WITH SCORE 353150.83
AT ITER 2767 NEW BEST:: SOT 739203 SOS 392823 HAS SOPS 392823 HAS SOUS 352751 HAS SOUPS 352751 WITH SCORE 353143.823
AT ITER 2769 NEW BEST:: SOT 739155 SOS 392775 HAS SOPS 392775 HAS SOUS 352305 HAS SOUPS 352305 WITH SCORE 352697.775
AT ITER 2772 NEW BEST:: SOT 739273 SOS 390709 HAS SOPS 390709 HAS SOUS 351886 HAS SOUPS 351886 WITH SCORE 352276.709
AT ITER 2774 NEW BEST:: SOT 739168 SOS 390499 HAS SOPS 390499 HAS SOUS 351676 HAS SOUPS 351676 WITH SCORE 352066.499
AT ITER 2779 NEW BEST:: SOT 739062 SOS 390384 HAS SOPS 390384 HAS SOUS 351570 HAS SOUPS 351570 WITH SCORE 351960.384
AT ITER 2780 NEW BEST:: SOT 739062 SOS 390332 HAS SOPS 390332 HAS SOUS 351570 HAS SOUPS 351570 WITH SCORE 351960.332
AT ITER 2783 NEW BEST:: SOT 739062 SOS 390332 HAS SOPS 390332 HAS SOUS 351545 HAS SOUPS 351545 WITH SCORE 351935.332
AT ITER 2788 NEW BEST:: SOT 739027 SOS 390318 HAS SOPS 390318 HAS SOUS 351532 HAS SOUPS 351532 WITH SCORE 351922.318
AT ITER 2806 NEW BEST:: SOT 739071 SOS 390169 HAS SOPS 390169 HAS SOUS 351436 HAS SOUPS 351436 WITH SCORE 351826.169
AT ITER 2807 NEW BEST:: SOT 739050 SOS 390148 HAS SOPS 390148 HAS SOUS 351415 HAS SOUPS 351415 WITH SCORE 351805.148
AT ITER 2808 NEW BEST:: SOT 738516 SOS 389391 HAS SOPS 389391 HAS SOUS 350671 HAS SOUPS 350671 WITH SCORE 351060.391
AT ITER 2809 NEW BEST:: SOT 738440 SOS 389163 HAS SOPS 389163 HAS SOUS 350443 HAS SOUPS 350443 WITH SCORE 350832.163
AT ITER 2810 NEW BEST:: SOT 738440 SOS 388098 HAS SOPS 388098 HAS SOUS 350217 HAS SOUPS 350217 WITH SCORE 350605.098
AT ITER 2811 NEW BEST:: SOT 738440 SOS 387748 HAS SOPS 387748 HAS SOUS 349867 HAS SOUPS 349867 WITH SCORE 350254.748
AT ITER 2812 NEW BEST:: SOT 738716 SOS 387492 HAS SOPS 387492 HAS SOUS 349741 HAS SOUPS 349741 WITH SCORE 350128.492
AT ITER 2823 NEW BEST:: SOT 738868 SOS 387088 HAS SOPS 387088 HAS SOUS 349687 HAS SOUPS 349687 WITH SCORE 350074.088
AT ITER 2824 NEW BEST:: SOT 738712 SOS 386940 HAS SOPS 386940 HAS SOUS 349520 HAS SOUPS 349520 WITH SCORE 349906.94
AT ITER 2828 NEW BEST:: SOT 738617 SOS 386845 HAS SOPS 386845 HAS SOUS 349425 HAS SOUPS 349425 WITH SCORE 349811.845
AT ITER 2838 NEW BEST:: SOT 738587 SOS 386621 HAS SOPS 386621 HAS SOUS 349335 HAS SOUPS 349335 WITH SCORE 349721.621
AT ITER 2839 NEW BEST:: SOT 738122 SOS 385796 HAS SOPS 385796 HAS SOUS 348510 HAS SOUPS 348510 WITH SCORE 348895.796
AT ITER 2841 NEW BEST:: SOT 738021 SOS 385915 HAS SOPS 385915 HAS SOUS 348112 HAS SOUPS 348112 WITH SCORE 348497.915
AT ITER 2844 NEW BEST:: SOT 737800 SOS 385746 HAS SOPS 385746 HAS SOUS 347921 HAS SOUPS 347921 WITH SCORE 348306.746
AT ITER 2851 NEW BEST:: SOT 737800 SOS 385572 HAS SOPS 385572 HAS SOUS 347723 HAS SOUPS 347723 WITH SCORE 348108.572
AT ITER 2853 NEW BEST:: SOT 737784 SOS 385400 HAS SOPS 385400 HAS SOUS 347635 HAS SOUPS 347635 WITH SCORE 348020.4
AT ITER 2859 NEW BEST:: SOT 737784 SOS 385399 HAS SOPS 385399 HAS SOUS 347635 HAS SOUPS 347635 WITH SCORE 348020.399
AT ITER 2863 NEW BEST:: SOT 737907 SOS 385307 HAS SOPS 385307 HAS SOUS 347543 HAS SOUPS 347543 WITH SCORE 347928.307
AT ITER 2868 NEW BEST:: SOT 737967 SOS 385275 HAS SOPS 385275 HAS SOUS 347531 HAS SOUPS 347531 WITH SCORE 347916.275
AT ITER 2870 NEW BEST:: SOT 738061 SOS 385114 HAS SOPS 385114 HAS SOUS 347455 HAS SOUPS 347455 WITH SCORE 347840.114
AT ITER 2881 NEW BEST:: SOT 738060 SOS 384946 HAS SOPS 384946 HAS SOUS 347286 HAS SOUPS 347286 WITH SCORE 347670.946
AT ITER 2894 NEW BEST:: SOT 737877 SOS 384763 HAS SOPS 384763 HAS SOUS 347103 HAS SOUPS 347103 WITH SCORE 347487.763
AT ITER 2902 NEW BEST:: SOT 737701 SOS 384499 HAS SOPS 384499 HAS SOUS 346839 HAS SOUPS 346839 WITH SCORE 347223.499
AT ITER 2903 NEW BEST:: SOT 737633 SOS 384431 HAS SOPS 384431 HAS SOUS 346771 HAS SOUPS 346771 WITH SCORE 347155.431
AT ITER 2905 NEW BEST:: SOT 737457 SOS 384218 HAS SOPS 384218 HAS SOUS 346466 HAS SOUPS 346466 WITH SCORE 346850.218
AT ITER 2910 NEW BEST:: SOT 737456 SOS 383537 HAS SOPS 383537 HAS SOUS 346254 HAS SOUPS 346254 WITH SCORE 346637.537
AT ITER 2934 NEW BEST:: SOT 737456 SOS 383410 HAS SOPS 383410 HAS SOUS 346127 HAS SOUPS 346127 WITH SCORE 346510.41
AT ITER 2936 NEW BEST:: SOT 737456 SOS 383071 HAS SOPS 383071 HAS SOUS 345977 HAS SOUPS 345977 WITH SCORE 346360.071
AT ITER 2940 NEW BEST:: SOT 737342 SOS 382897 HAS SOPS 382897 HAS SOUS 345765 HAS SOUPS 345765 WITH SCORE 346147.897
AT ITER 2951 NEW BEST:: SOT 737794 SOS 382822 HAS SOPS 382822 HAS SOUS 345690 HAS SOUPS 345690 WITH SCORE 346072.822
AT ITER 2953 NEW BEST:: SOT 737629 SOS 382646 HAS SOPS 382646 HAS SOUS 345514 HAS SOUPS 345514 WITH SCORE 345896.646
AT ITER 2954 NEW BEST:: SOT 737605 SOS 382656 HAS SOPS 382656 HAS SOUS 345437 HAS SOUPS 345437 WITH SCORE 345819.656
AT ITER 2956 NEW BEST:: SOT 737605 SOS 382617 HAS SOPS 382617 HAS SOUS 345398 HAS SOUPS 345398 WITH SCORE 345780.617
AT ITER 2965 NEW BEST:: SOT 736707 SOS 381387 HAS SOPS 381387 HAS SOUS 344270 HAS SOUPS 344270 WITH SCORE 344651.387
AT ITER 2966 NEW BEST:: SOT 736707 SOS 381071 HAS SOPS 381071 HAS SOUS 344270 HAS SOUPS 344270 WITH SCORE 344651.071
AT ITER 2970 NEW BEST:: SOT 736619 SOS 380983 HAS SOPS 380983 HAS SOUS 344182 HAS SOUPS 344182 WITH SCORE 344562.983
AT ITER 2972 NEW BEST:: SOT 736594 SOS 380933 HAS SOPS 380933 HAS SOUS 344132 HAS SOUPS 344132 WITH SCORE 344512.933
AT ITER 2977 NEW BEST:: SOT 736749 SOS 380592 HAS SOPS 380592 HAS SOUS 343791 HAS SOUPS 343791 WITH SCORE 344171.592
AT ITER 2978 NEW BEST:: SOT 736749 SOS 380255 HAS SOPS 380255 HAS SOUS 343756 HAS SOUPS 343756 WITH SCORE 344136.255
AT ITER 2979 NEW BEST:: SOT 736720 SOS 380144 HAS SOPS 380144 HAS SOUS 343645 HAS SOUPS 343645 WITH SCORE 344025.144
AT ITER 2987 NEW BEST:: SOT 736932 SOS 379842 HAS SOPS 379842 HAS SOUS 343343 HAS SOUPS 343343 WITH SCORE 343722.842
AT ITER 2999 NEW BEST:: SOT 736928 SOS 379838 HAS SOPS 379838 HAS SOUS 343339 HAS SOUPS 343339 WITH SCORE 343718.838
AT ITER 3015 NEW BEST:: SOT 736807 SOS 379717 HAS SOPS 379717 HAS SOUS 343218 HAS SOUPS 343218 WITH SCORE 343597.717
AT ITER 3021 NEW BEST:: SOT 736807 SOS 379708 HAS SOPS 379708 HAS SOUS 343218 HAS SOUPS 343218 WITH SCORE 343597.708
AT ITER 3022 NEW BEST:: SOT 736631 SOS 377458 HAS SOPS 377458 HAS SOUS 342595 HAS SOUPS 342595 WITH SCORE 342972.458
AT ITER 3032 NEW BEST:: SOT 735494 SOS 376437 HAS SOPS 376437 HAS SOUS 341706 HAS SOUPS 341706 WITH SCORE 342082.437
AT ITER 3035 NEW BEST:: SOT 735384 SOS 376308 HAS SOPS 376308 HAS SOUS 341577 HAS SOUPS 341577 WITH SCORE 341953.308
AT ITER 3037 NEW BEST:: SOT 735384 SOS 375733 HAS SOPS 375733 HAS SOUS 341253 HAS SOUPS 341253 WITH SCORE 341628.733
AT ITER 3048 NEW BEST:: SOT 735345 SOS 375641 HAS SOPS 375641 HAS SOUS 341161 HAS SOUPS 341161 WITH SCORE 341536.641
AT ITER 3053 NEW BEST:: SOT 735259 SOS 375179 HAS SOPS 375179 HAS SOUS 340981 HAS SOUPS 340981 WITH SCORE 341356.179
AT ITER 3062 NEW BEST:: SOT 735209 SOS 375017 HAS SOPS 375017 HAS SOUS 340934 HAS SOUPS 340934 WITH SCORE 341309.017
AT ITER 3075 NEW BEST:: SOT 735194 SOS 375002 HAS SOPS 375002 HAS SOUS 340919 HAS SOUPS 340919 WITH SCORE 341294.002
AT ITER 3078 NEW BEST:: SOT 734741 SOS 374540 HAS SOPS 374540 HAS SOUS 340457 HAS SOUPS 340457 WITH SCORE 340831.54
AT ITER 3083 NEW BEST:: SOT 734687 SOS 374407 HAS SOPS 374407 HAS SOUS 340324 HAS SOUPS 340324 WITH SCORE 340698.407
AT ITER 3084 NEW BEST:: SOT 734829 SOS 373535 HAS SOPS 373535 HAS SOUS 340166 HAS SOUPS 340166 WITH SCORE 340539.535
AT ITER 3090 NEW BEST:: SOT 734820 SOS 373490 HAS SOPS 373490 HAS SOUS 340139 HAS SOUPS 340139 WITH SCORE 340512.49
AT ITER 3100 NEW BEST:: SOT 734820 SOS 373489 HAS SOPS 373489 HAS SOUS 340138 HAS SOUPS 340138 WITH SCORE 340511.489
AT ITER 3110 NEW BEST:: SOT 734682 SOS 373349 HAS SOPS 373349 HAS SOUS 339998 HAS SOUPS 339998 WITH SCORE 340371.349
AT ITER 3115 NEW BEST:: SOT 734680 SOS 373347 HAS SOPS 373347 HAS SOUS 339996 HAS SOUPS 339996 WITH SCORE 340369.347
AT ITER 3129 NEW BEST:: SOT 734552 SOS 373172 HAS SOPS 373172 HAS SOUS 339821 HAS SOUPS 339821 WITH SCORE 340194.172
AT ITER 3130 NEW BEST:: SOT 734334 SOS 373109 HAS SOPS 373109 HAS SOUS 339711 HAS SOUPS 339711 WITH SCORE 340084.109
AT ITER 3137 NEW BEST:: SOT 734150 SOS 372925 HAS SOPS 372925 HAS SOUS 339527 HAS SOUPS 339527 WITH SCORE 339899.925
AT ITER 3147 NEW BEST:: SOT 734017 SOS 372792 HAS SOPS 372792 HAS SOUS 339394 HAS SOUPS 339394 WITH SCORE 339766.792
AT ITER 3151 NEW BEST:: SOT 733859 SOS 372634 HAS SOPS 372634 HAS SOUS 339392 HAS SOUPS 339392 WITH SCORE 339764.634
AT ITER 3152 NEW BEST:: SOT 733755 SOS 372478 HAS SOPS 372478 HAS SOUS 339184 HAS SOUPS 339184 WITH SCORE 339556.478
AT ITER 3167 NEW BEST:: SOT 733717 SOS 372402 HAS SOPS 372402 HAS SOUS 339127 HAS SOUPS 339127 WITH SCORE 339499.402
AT ITER 3170 NEW BEST:: SOT 733702 SOS 372398 HAS SOPS 372398 HAS SOUS 339052 HAS SOUPS 339052 WITH SCORE 339424.398
AT ITER 3181 NEW BEST:: SOT 733702 SOS 372150 HAS SOPS 372150 HAS SOUS 339012 HAS SOUPS 339012 WITH SCORE 339384.15
AT ITER 3182 NEW BEST:: SOT 733551 SOS 371669 HAS SOPS 371669 HAS SOUS 338531 HAS SOUPS 338531 WITH SCORE 338902.669
AT ITER 3193 NEW BEST:: SOT 733026 SOS 371077 HAS SOPS 371077 HAS SOUS 337939 HAS SOUPS 337939 WITH SCORE 338310.077
AT ITER 3194 NEW BEST:: SOT 732813 SOS 370528 HAS SOPS 370528 HAS SOUS 337390 HAS SOUPS 337390 WITH SCORE 337760.528
AT ITER 3199 NEW BEST:: SOT 733164 SOS 370270 HAS SOPS 370270 HAS SOUS 337247 HAS SOUPS 337247 WITH SCORE 337617.27
AT ITER 3200 NEW BEST:: SOT 732934 SOS 369942 HAS SOPS 369942 HAS SOUS 336889 HAS SOUPS 336889 WITH SCORE 337258.942
AT ITER 3205 NEW BEST:: SOT 732722 SOS 369672 HAS SOPS 369672 HAS SOUS 336211 HAS SOUPS 336211 WITH SCORE 336580.672
AT ITER 3216 NEW BEST:: SOT 732630 SOS 369360 HAS SOPS 369360 HAS SOUS 335714 HAS SOUPS 335714 WITH SCORE 336083.36
AT ITER 3221 NEW BEST:: SOT 732456 SOS 369186 HAS SOPS 369186 HAS SOUS 335540 HAS SOUPS 335540 WITH SCORE 335909.186
AT ITER 3225 NEW BEST:: SOT 732432 SOS 369138 HAS SOPS 369138 HAS SOUS 335492 HAS SOUPS 335492 WITH SCORE 335861.138
AT ITER 3228 NEW BEST:: SOT 732179 SOS 368919 HAS SOPS 368919 HAS SOUS 335213 HAS SOUPS 335213 WITH SCORE 335581.919
AT ITER 3232 NEW BEST:: SOT 731180 SOS 367290 HAS SOPS 367290 HAS SOUS 333582 HAS SOUPS 333582 WITH SCORE 333949.29
AT ITER 3233 NEW BEST:: SOT 731141 SOS 367162 HAS SOPS 367162 HAS SOUS 333454 HAS SOUPS 333454 WITH SCORE 333821.162
AT ITER 3236 NEW BEST:: SOT 731128 SOS 367110 HAS SOPS 367110 HAS SOUS 333428 HAS SOUPS 333428 WITH SCORE 333795.11
AT ITER 3253 NEW BEST:: SOT 730926 SOS 365882 HAS SOPS 365882 HAS SOUS 332605 HAS SOUPS 332605 WITH SCORE 332970.882
AT ITER 3255 NEW BEST:: SOT 731256 SOS 365256 HAS SOPS 365256 HAS SOUS 332551 HAS SOUPS 332551 WITH SCORE 332916.256
AT ITER 3256 NEW BEST:: SOT 731244 SOS 365196 HAS SOPS 365196 HAS SOUS 332527 HAS SOUPS 332527 WITH SCORE 332892.196
AT ITER 3267 NEW BEST:: SOT 731001 SOS 364894 HAS SOPS 364894 HAS SOUS 332225 HAS SOUPS 332225 WITH SCORE 332589.894
AT ITER 3273 NEW BEST:: SOT 730907 SOS 364753 HAS SOPS 364753 HAS SOUS 332084 HAS SOUPS 332084 WITH SCORE 332448.753
AT ITER 3283 NEW BEST:: SOT 730760 SOS 364711 HAS SOPS 364711 HAS SOUS 332042 HAS SOUPS 332042 WITH SCORE 332406.711
AT ITER 3294 NEW BEST:: SOT 730484 SOS 364331 HAS SOPS 364331 HAS SOUS 331662 HAS SOUPS 331662 WITH SCORE 332026.331
AT ITER 3301 NEW BEST:: SOT 730421 SOS 364334 HAS SOPS 364334 HAS SOUS 331602 HAS SOUPS 331602 WITH SCORE 331966.334
AT ITER 3308 NEW BEST:: SOT 730273 SOS 364186 HAS SOPS 364186 HAS SOUS 331454 HAS SOUPS 331454 WITH SCORE 331818.186
AT ITER 3315 NEW BEST:: SOT 730273 SOS 363934 HAS SOPS 363934 HAS SOUS 331446 HAS SOUPS 331446 WITH SCORE 331809.934
AT ITER 3317 NEW BEST:: SOT 730170 SOS 363728 HAS SOPS 363728 HAS SOUS 331321 HAS SOUPS 331321 WITH SCORE 331684.728
AT ITER 3318 NEW BEST:: SOT 729861 SOS 363495 HAS SOPS 363495 HAS SOUS 331088 HAS SOUPS 331088 WITH SCORE 331451.495
AT ITER 3319 NEW BEST:: SOT 729839 SOS 363462 HAS SOPS 363462 HAS SOUS 331055 HAS SOUPS 331055 WITH SCORE 331418.462
AT ITER 3324 NEW BEST:: SOT 729810 SOS 363433 HAS SOPS 363433 HAS SOUS 331021 HAS SOUPS 331021 WITH SCORE 331384.433
AT ITER 3327 NEW BEST:: SOT 729803 SOS 363426 HAS SOPS 363426 HAS SOUS 331008 HAS SOUPS 331008 WITH SCORE 331371.426
AT ITER 3328 NEW BEST:: SOT 729640 SOS 363271 HAS SOPS 363271 HAS SOUS 330853 HAS SOUPS 330853 WITH SCORE 331216.271
AT ITER 3335 NEW BEST:: SOT 729852 SOS 362923 HAS SOPS 362923 HAS SOUS 330678 HAS SOUPS 330678 WITH SCORE 331040.923
AT ITER 3340 NEW BEST:: SOT 729828 SOS 362851 HAS SOPS 362851 HAS SOUS 330630 HAS SOUPS 330630 WITH SCORE 330992.851
AT ITER 3346 NEW BEST:: SOT 729780 SOS 362627 HAS SOPS 362627 HAS SOUS 330496 HAS SOUPS 330496 WITH SCORE 330858.627
AT ITER 3348 NEW BEST:: SOT 729295 SOS 362142 HAS SOPS 362142 HAS SOUS 330011 HAS SOUPS 330011 WITH SCORE 330373.142
AT ITER 3359 NEW BEST:: SOT 729178 SOS 362025 HAS SOPS 362025 HAS SOUS 329894 HAS SOUPS 329894 WITH SCORE 330256.025
AT ITER 3364 NEW BEST:: SOT 728820 SOS 361497 HAS SOPS 361497 HAS SOUS 329712 HAS SOUPS 329712 WITH SCORE 330073.497
AT ITER 3373 NEW BEST:: SOT 728816 SOS 361493 HAS SOPS 361493 HAS SOUS 329708 HAS SOUPS 329708 WITH SCORE 330069.493
AT ITER 3382 NEW BEST:: SOT 728590 SOS 361267 HAS SOPS 361267 HAS SOUS 329157 HAS SOUPS 329157 WITH SCORE 329518.267
AT ITER 3386 NEW BEST:: SOT 728336 SOS 361013 HAS SOPS 361013 HAS SOUS 328903 HAS SOUPS 328903 WITH SCORE 329264.013
AT ITER 3387 NEW BEST:: SOT 728043 SOS 360898 HAS SOPS 360898 HAS SOUS 328788 HAS SOUPS 328788 WITH SCORE 329148.898
AT ITER 3392 NEW BEST:: SOT 728034 SOS 360857 HAS SOPS 360857 HAS SOUS 328747 HAS SOUPS 328747 WITH SCORE 329107.857
AT ITER 3393 NEW BEST:: SOT 728237 SOS 360833 HAS SOPS 360833 HAS SOUS 328723 HAS SOUPS 328723 WITH SCORE 329083.833
AT ITER 3409 NEW BEST:: SOT 727973 SOS 360569 HAS SOPS 360569 HAS SOUS 328459 HAS SOUPS 328459 WITH SCORE 328819.569
AT ITER 3427 NEW BEST:: SOT 727849 SOS 360445 HAS SOPS 360445 HAS SOUS 328211 HAS SOUPS 328211 WITH SCORE 328571.445
AT ITER 3429 NEW BEST:: SOT 727853 SOS 360361 HAS SOPS 360361 HAS SOUS 328127 HAS SOUPS 328127 WITH SCORE 328487.361
AT ITER 3430 NEW BEST:: SOT 727731 SOS 360130 HAS SOPS 360130 HAS SOUS 327906 HAS SOUPS 327906 WITH SCORE 328266.13
AT ITER 3446 NEW BEST:: SOT 727718 SOS 360044 HAS SOPS 360044 HAS SOUS 327820 HAS SOUPS 327820 WITH SCORE 328180.044
AT ITER 3454 NEW BEST:: SOT 727553 SOS 359877 HAS SOPS 359877 HAS SOUS 327653 HAS SOUPS 327653 WITH SCORE 328012.877
AT ITER 3456 NEW BEST:: SOT 727547 SOS 359871 HAS SOPS 359871 HAS SOUS 327647 HAS SOUPS 327647 WITH SCORE 328006.871
AT ITER 3462 NEW BEST:: SOT 727527 SOS 359851 HAS SOPS 359851 HAS SOUS 327627 HAS SOUPS 327627 WITH SCORE 327986.851
AT ITER 3464 NEW BEST:: SOT 726712 SOS 359036 HAS SOPS 359036 HAS SOUS 326677 HAS SOUPS 326677 WITH SCORE 327036.036
AT ITER 3479 NEW BEST:: SOT 726490 SOS 358672 HAS SOPS 358672 HAS SOUS 326313 HAS SOUPS 326313 WITH SCORE 326671.672
AT ITER 3490 NEW BEST:: SOT 726490 SOS 358672 HAS SOPS 358672 HAS SOUS 326292 HAS SOUPS 326292 WITH SCORE 326650.672
AT ITER 3492 NEW BEST:: SOT 726432 SOS 358576 HAS SOPS 358576 HAS SOUS 326176 HAS SOUPS 326176 WITH SCORE 326534.576
AT ITER 3493 NEW BEST:: SOT 726494 SOS 358541 HAS SOPS 358541 HAS SOUS 326140 HAS SOUPS 326140 WITH SCORE 326498.541
AT ITER 3498 NEW BEST:: SOT 726468 SOS 358554 HAS SOPS 358554 HAS SOUS 325986 HAS SOUPS 325986 WITH SCORE 326344.554
AT ITER 3501 NEW BEST:: SOT 726461 SOS 358412 HAS SOPS 358412 HAS SOUS 325854 HAS SOUPS 325854 WITH SCORE 326212.412
AT ITER 3505 NEW BEST:: SOT 726178 SOS 358129 HAS SOPS 358129 HAS SOUS 325532 HAS SOUPS 325532 WITH SCORE 325890.129
AT ITER 3523 NEW BEST:: SOT 726156 SOS 358041 HAS SOPS 358041 HAS SOUS 325466 HAS SOUPS 325466 WITH SCORE 325824.041
AT ITER 3527 NEW BEST:: SOT 726031 SOS 357912 HAS SOPS 357912 HAS SOUS 325268 HAS SOUPS 325268 WITH SCORE 325625.912
AT ITER 3539 NEW BEST:: SOT 726021 SOS 357512 HAS SOPS 357512 HAS SOUS 325118 HAS SOUPS 325118 WITH SCORE 325475.512
AT ITER 3541 NEW BEST:: SOT 725977 SOS 357446 HAS SOPS 357446 HAS SOUS 325052 HAS SOUPS 325052 WITH SCORE 325409.446
AT ITER 3544 NEW BEST:: SOT 725977 SOS 357396 HAS SOPS 357396 HAS SOUS 325027 HAS SOUPS 325027 WITH SCORE 325384.396
AT ITER 3557 NEW BEST:: SOT 725965 SOS 357045 HAS SOPS 357045 HAS SOUS 324992 HAS SOUPS 324992 WITH SCORE 325349.045
AT ITER 3565 NEW BEST:: SOT 725848 SOS 356811 HAS SOPS 356811 HAS SOUS 324758 HAS SOUPS 324758 WITH SCORE 325114.811
AT ITER 3567 NEW BEST:: SOT 725991 SOS 356813 HAS SOPS 356813 HAS SOUS 324729 HAS SOUPS 324729 WITH SCORE 325085.813
AT ITER 3577 NEW BEST:: SOT 725963 SOS 356785 HAS SOPS 356785 HAS SOUS 324701 HAS SOUPS 324701 WITH SCORE 325057.785
AT ITER 3589 NEW BEST:: SOT 725961 SOS 356707 HAS SOPS 356707 HAS SOUS 324623 HAS SOUPS 324623 WITH SCORE 324979.707
AT ITER 3595 NEW BEST:: SOT 725380 SOS 355571 HAS SOPS 355571 HAS SOUS 324068 HAS SOUPS 324068 WITH SCORE 324423.571
AT ITER 3596 NEW BEST:: SOT 725060 SOS 354549 HAS SOPS 354549 HAS SOUS 323333 HAS SOUPS 323333 WITH SCORE 323687.549
AT ITER 3599 NEW BEST:: SOT 725036 SOS 354533 HAS SOPS 354533 HAS SOUS 323285 HAS SOUPS 323285 WITH SCORE 323639.533
AT ITER 3600 NEW BEST:: SOT 724939 SOS 354402 HAS SOPS 354402 HAS SOUS 323154 HAS SOUPS 323154 WITH SCORE 323508.402
AT ITER 3604 NEW BEST:: SOT 724828 SOS 354358 HAS SOPS 354358 HAS SOUS 323110 HAS SOUPS 323110 WITH SCORE 323464.358
AT ITER 3605 NEW BEST:: SOT 724848 SOS 354179 HAS SOPS 354179 HAS SOUS 323057 HAS SOUPS 323057 WITH SCORE 323411.179
AT ITER 3615 NEW BEST:: SOT 724809 SOS 354037 HAS SOPS 354037 HAS SOUS 322915 HAS SOUPS 322915 WITH SCORE 323269.037
AT ITER 3616 NEW BEST:: SOT 724790 SOS 354018 HAS SOPS 354018 HAS SOUS 322846 HAS SOUPS 322846 WITH SCORE 323200.018
AT ITER 3619 NEW BEST:: SOT 724790 SOS 353984 HAS SOPS 353984 HAS SOUS 322658 HAS SOUPS 322658 WITH SCORE 323011.984
AT ITER 3633 NEW BEST:: SOT 724790 SOS 353984 HAS SOPS 353984 HAS SOUS 322651 HAS SOUPS 322651 WITH SCORE 323004.984
AT ITER 3635 NEW BEST:: SOT 724758 SOS 353984 HAS SOPS 353984 HAS SOUS 322486 HAS SOUPS 322486 WITH SCORE 322839.984
AT ITER 3642 NEW BEST:: SOT 724854 SOS 353094 HAS SOPS 353094 HAS SOUS 321596 HAS SOUPS 321596 WITH SCORE 321949.094
AT ITER 3652 NEW BEST:: SOT 724799 SOS 352116 HAS SOPS 352116 HAS SOUS 321066 HAS SOUPS 321066 WITH SCORE 321418.116
AT ITER 3656 NEW BEST:: SOT 724869 SOS 352186 HAS SOPS 352186 HAS SOUS 321042 HAS SOUPS 321042 WITH SCORE 321394.186
AT ITER 3659 NEW BEST:: SOT 724815 SOS 352024 HAS SOPS 352024 HAS SOUS 320880 HAS SOUPS 320880 WITH SCORE 321232.024
AT ITER 3660 NEW BEST:: SOT 724728 SOS 351765 HAS SOPS 351765 HAS SOUS 320465 HAS SOUPS 320465 WITH SCORE 320816.765
AT ITER 3663 NEW BEST:: SOT 724688 SOS 351705 HAS SOPS 351705 HAS SOUS 320405 HAS SOUPS 320405 WITH SCORE 320756.705
AT ITER 3664 NEW BEST:: SOT 724612 SOS 351608 HAS SOPS 351608 HAS SOUS 320308 HAS SOUPS 320308 WITH SCORE 320659.608
AT ITER 3671 NEW BEST:: SOT 724348 SOS 351431 HAS SOPS 351431 HAS SOUS 319939 HAS SOUPS 319939 WITH SCORE 320290.431
AT ITER 3673 NEW BEST:: SOT 724295 SOS 351139 HAS SOPS 351139 HAS SOUS 319647 HAS SOUPS 319647 WITH SCORE 319998.139
AT ITER 3678 NEW BEST:: SOT 724192 SOS 350074 HAS SOPS 350074 HAS SOUS 319012 HAS SOUPS 319012 WITH SCORE 319362.074
AT ITER 3680 NEW BEST:: SOT 723780 SOS 349583 HAS SOPS 349583 HAS SOUS 318521 HAS SOUPS 318521 WITH SCORE 318870.583
AT ITER 3684 NEW BEST:: SOT 723661 SOS 349337 HAS SOPS 349337 HAS SOUS 318283 HAS SOUPS 318283 WITH SCORE 318632.337
AT ITER 3687 NEW BEST:: SOT 722265 SOS 347562 HAS SOPS 347562 HAS SOUS 317193 HAS SOUPS 317193 WITH SCORE 317540.562
AT ITER 3719 NEW BEST:: SOT 722202 SOS 347247 HAS SOPS 347247 HAS SOUS 317067 HAS SOUPS 317067 WITH SCORE 317414.247
AT ITER 3722 NEW BEST:: SOT 722461 SOS 347604 HAS SOPS 347604 HAS SOUS 316909 HAS SOUPS 316909 WITH SCORE 317256.604
AT ITER 3734 NEW BEST:: SOT 722034 SOS 347087 HAS SOPS 347087 HAS SOUS 316392 HAS SOUPS 316392 WITH SCORE 316739.087
AT ITER 3738 NEW BEST:: SOT 722034 SOS 347063 HAS SOPS 347063 HAS SOUS 316319 HAS SOUPS 316319 WITH SCORE 316666.063
AT ITER 3742 NEW BEST:: SOT 722034 SOS 346926 HAS SOPS 346926 HAS SOUS 316319 HAS SOUPS 316319 WITH SCORE 316665.926
AT ITER 3743 NEW BEST:: SOT 721844 SOS 346788 HAS SOPS 346788 HAS SOUS 316056 HAS SOUPS 316056 WITH SCORE 316402.788
AT ITER 3753 NEW BEST:: SOT 721640 SOS 346584 HAS SOPS 346584 HAS SOUS 315852 HAS SOUPS 315852 WITH SCORE 316198.584
AT ITER 3759 NEW BEST:: SOT 721606 SOS 346516 HAS SOPS 346516 HAS SOUS 315784 HAS SOUPS 315784 WITH SCORE 316130.516
AT ITER 3764 NEW BEST:: SOT 721525 SOS 346358 HAS SOPS 346358 HAS SOUS 315626 HAS SOUPS 315626 WITH SCORE 315972.358
AT ITER 3792 NEW BEST:: SOT 721694 SOS 346285 HAS SOPS 346285 HAS SOUS 315553 HAS SOUPS 315553 WITH SCORE 315899.285
AT ITER 3795 NEW BEST:: SOT 721694 SOS 346244 HAS SOPS 346244 HAS SOUS 315484 HAS SOUPS 315484 WITH SCORE 315830.244
AT ITER 3804 NEW BEST:: SOT 721674 SOS 346224 HAS SOPS 346224 HAS SOUS 315387 HAS SOUPS 315387 WITH SCORE 315733.224
AT ITER 3810 NEW BEST:: SOT 721669 SOS 346404 HAS SOPS 346404 HAS SOUS 315377 HAS SOUPS 315377 WITH SCORE 315723.404
AT ITER 3821 NEW BEST:: SOT 721766 SOS 346163 HAS SOPS 346163 HAS SOUS 315136 HAS SOUPS 315136 WITH SCORE 315482.163
AT ITER 3822 NEW BEST:: SOT 721736 SOS 346118 HAS SOPS 346118 HAS SOUS 315091 HAS SOUPS 315091 WITH SCORE 315437.118
AT ITER 3823 NEW BEST:: SOT 721736 SOS 346079 HAS SOPS 346079 HAS SOUS 315073 HAS SOUPS 315073 WITH SCORE 315419.079
AT ITER 3830 NEW BEST:: SOT 721736 SOS 346079 HAS SOPS 346079 HAS SOUS 315070 HAS SOUPS 315070 WITH SCORE 315416.079
AT ITER 3834 NEW BEST:: SOT 721601 SOS 345944 HAS SOPS 345944 HAS SOUS 314918 HAS SOUPS 314918 WITH SCORE 315263.944
AT ITER 3835 NEW BEST:: SOT 721601 SOS 345940 HAS SOPS 345940 HAS SOUS 314918 HAS SOUPS 314918 WITH SCORE 315263.94
AT ITER 3852 NEW BEST:: SOT 721307 SOS 345140 HAS SOPS 345140 HAS SOUS 314097 HAS SOUPS 314097 WITH SCORE 314442.14
AT ITER 3853 NEW BEST:: SOT 721112 SOS 344945 HAS SOPS 344945 HAS SOUS 313902 HAS SOUPS 313902 WITH SCORE 314246.945
AT ITER 3863 NEW BEST:: SOT 721020 SOS 344853 HAS SOPS 344853 HAS SOUS 313902 HAS SOUPS 313902 WITH SCORE 314246.853
AT ITER 3871 NEW BEST:: SOT 720895 SOS 344728 HAS SOPS 344728 HAS SOUS 313687 HAS SOUPS 313687 WITH SCORE 314031.728
AT ITER 3873 NEW BEST:: SOT 720908 SOS 344791 HAS SOPS 344791 HAS SOUS 313639 HAS SOUPS 313639 WITH SCORE 313983.791
AT ITER 3888 NEW BEST:: SOT 720425 SOS 344308 HAS SOPS 344308 HAS SOUS 313156 HAS SOUPS 313156 WITH SCORE 313500.308
AT ITER 3890 NEW BEST:: SOT 720425 SOS 344313 HAS SOPS 344313 HAS SOUS 313138 HAS SOUPS 313138 WITH SCORE 313482.313
AT ITER 3892 NEW BEST:: SOT 720425 SOS 344097 HAS SOPS 344097 HAS SOUS 313066 HAS SOUPS 313066 WITH SCORE 313410.097
AT ITER 3909 NEW BEST:: SOT 720263 SOS 343889 HAS SOPS 343889 HAS SOUS 312950 HAS SOUPS 312950 WITH SCORE 313293.889
AT ITER 3916 NEW BEST:: SOT 720221 SOS 343847 HAS SOPS 343847 HAS SOUS 312872 HAS SOUPS 312872 WITH SCORE 313215.847
AT ITER 3921 NEW BEST:: SOT 720078 SOS 343757 HAS SOPS 343757 HAS SOUS 312782 HAS SOUPS 312782 WITH SCORE 313125.757
AT ITER 3931 NEW BEST:: SOT 720271 SOS 343455 HAS SOPS 343455 HAS SOUS 312523 HAS SOUPS 312523 WITH SCORE 312866.455
AT ITER 3937 NEW BEST:: SOT 720250 SOS 343434 HAS SOPS 343434 HAS SOUS 312481 HAS SOUPS 312481 WITH SCORE 312824.434
AT ITER 3940 NEW BEST:: SOT 719864 SOS 343048 HAS SOPS 343048 HAS SOUS 312095 HAS SOUPS 312095 WITH SCORE 312438.048
AT ITER 3943 NEW BEST:: SOT 719742 SOS 342786 HAS SOPS 342786 HAS SOUS 311833 HAS SOUPS 311833 WITH SCORE 312175.786
AT ITER 3944 NEW BEST:: SOT 719742 SOS 342786 HAS SOPS 342786 HAS SOUS 311692 HAS SOUPS 311692 WITH SCORE 312034.786
AT ITER 3946 NEW BEST:: SOT 719742 SOS 342736 HAS SOPS 342736 HAS SOUS 311642 HAS SOUPS 311642 WITH SCORE 311984.736
AT ITER 3947 NEW BEST:: SOT 719503 SOS 342572 HAS SOPS 342572 HAS SOUS 311509 HAS SOUPS 311509 WITH SCORE 311851.572
AT ITER 3954 NEW BEST:: SOT 719459 SOS 342517 HAS SOPS 342517 HAS SOUS 311454 HAS SOUPS 311454 WITH SCORE 311796.517
AT ITER 3955 NEW BEST:: SOT 719381 SOS 342149 HAS SOPS 342149 HAS SOUS 311231 HAS SOUPS 311231 WITH SCORE 311573.149
AT ITER 3964 NEW BEST:: SOT 719217 SOS 341959 HAS SOPS 341959 HAS SOUS 311041 HAS SOUPS 311041 WITH SCORE 311382.959
AT ITER 3986 NEW BEST:: SOT 718990 SOS 341732 HAS SOPS 341732 HAS SOUS 310814 HAS SOUPS 310814 WITH SCORE 311155.732
AT ITER 4003 NEW BEST:: SOT 718723 SOS 341300 HAS SOPS 341300 HAS SOUS 310462 HAS SOUPS 310462 WITH SCORE 310803.3
AT ITER 4010 NEW BEST:: SOT 718631 SOS 341208 HAS SOPS 341208 HAS SOUS 310370 HAS SOUPS 310370 WITH SCORE 310711.208
AT ITER 4021 NEW BEST:: SOT 718619 SOS 341196 HAS SOPS 341196 HAS SOUS 310358 HAS SOUPS 310358 WITH SCORE 310699.196
AT ITER 4023 NEW BEST:: SOT 718598 SOS 341175 HAS SOPS 341175 HAS SOUS 310337 HAS SOUPS 310337 WITH SCORE 310678.175
AT ITER 4031 NEW BEST:: SOT 718551 SOS 341128 HAS SOPS 341128 HAS SOUS 310290 HAS SOUPS 310290 WITH SCORE 310631.128
AT ITER 4042 NEW BEST:: SOT 718103 SOS 340723 HAS SOPS 340723 HAS SOUS 309992 HAS SOUPS 309992 WITH SCORE 310332.723
AT ITER 4051 NEW BEST:: SOT 718094 SOS 340714 HAS SOPS 340714 HAS SOUS 309991 HAS SOUPS 309991 WITH SCORE 310331.714
AT ITER 4057 NEW BEST:: SOT 717881 SOS 340430 HAS SOPS 340430 HAS SOUS 309707 HAS SOUPS 309707 WITH SCORE 310047.43
AT ITER 4060 NEW BEST:: SOT 717961 SOS 340439 HAS SOPS 340439 HAS SOUS 309680 HAS SOUPS 309680 WITH SCORE 310020.439
AT ITER 4070 NEW BEST:: SOT 716737 SOS 339060 HAS SOPS 339060 HAS SOUS 308301 HAS SOUPS 308301 WITH SCORE 308640.06
AT ITER 4075 NEW BEST:: SOT 716677 SOS 338027 HAS SOPS 338027 HAS SOUS 307897 HAS SOUPS 307897 WITH SCORE 308235.027
AT ITER 4078 NEW BEST:: SOT 716517 SOS 337707 HAS SOPS 337707 HAS SOUS 307577 HAS SOUPS 307577 WITH SCORE 307914.707
AT ITER 4083 NEW BEST:: SOT 716156 SOS 336062 HAS SOPS 336062 HAS SOUS 306855 HAS SOUPS 306855 WITH SCORE 307191.062
AT ITER 4101 NEW BEST:: SOT 716069 SOS 335975 HAS SOPS 335975 HAS SOUS 306695 HAS SOUPS 306695 WITH SCORE 307030.975
AT ITER 4110 NEW BEST:: SOT 716046 SOS 335952 HAS SOPS 335952 HAS SOUS 306672 HAS SOUPS 306672 WITH SCORE 307007.952
AT ITER 4114 NEW BEST:: SOT 716010 SOS 335904 HAS SOPS 335904 HAS SOUS 306636 HAS SOUPS 306636 WITH SCORE 306971.904
AT ITER 4116 NEW BEST:: SOT 715943 SOS 335902 HAS SOPS 335902 HAS SOUS 306624 HAS SOUPS 306624 WITH SCORE 306959.902
AT ITER 4122 NEW BEST:: SOT 715943 SOS 335080 HAS SOPS 335080 HAS SOUS 306416 HAS SOUPS 306416 WITH SCORE 306751.08
AT ITER 4125 NEW BEST:: SOT 715601 SOS 334672 HAS SOPS 334672 HAS SOUS 306008 HAS SOUPS 306008 WITH SCORE 306342.672
AT ITER 4127 NEW BEST:: SOT 715599 SOS 333235 HAS SOPS 333235 HAS SOUS 305713 HAS SOUPS 305713 WITH SCORE 306046.235
AT ITER 4131 NEW BEST:: SOT 715514 SOS 333178 HAS SOPS 333178 HAS SOUS 305594 HAS SOUPS 305594 WITH SCORE 305927.178
AT ITER 4136 NEW BEST:: SOT 715515 SOS 332708 HAS SOPS 332708 HAS SOUS 305294 HAS SOUPS 305294 WITH SCORE 305626.708
AT ITER 4140 NEW BEST:: SOT 715370 SOS 332670 HAS SOPS 332670 HAS SOUS 305256 HAS SOUPS 305256 WITH SCORE 305588.67
AT ITER 4142 NEW BEST:: SOT 715370 SOS 332574 HAS SOPS 332574 HAS SOUS 305160 HAS SOUPS 305160 WITH SCORE 305492.574
AT ITER 4144 NEW BEST:: SOT 715067 SOS 332274 HAS SOPS 332274 HAS SOUS 304881 HAS SOUPS 304881 WITH SCORE 305213.274
AT ITER 4163 NEW BEST:: SOT 715043 SOS 332250 HAS SOPS 332250 HAS SOUS 304818 HAS SOUPS 304818 WITH SCORE 305150.25
AT ITER 4182 NEW BEST:: SOT 714708 SOS 332077 HAS SOPS 332077 HAS SOUS 304645 HAS SOUPS 304645 WITH SCORE 304977.077
AT ITER 4185 NEW BEST:: SOT 714617 SOS 331895 HAS SOPS 331895 HAS SOUS 304463 HAS SOUPS 304463 WITH SCORE 304794.895
AT ITER 4190 NEW BEST:: SOT 714321 SOS 331007 HAS SOPS 331007 HAS SOUS 303871 HAS SOUPS 303871 WITH SCORE 304202.007
AT ITER 4192 NEW BEST:: SOT 714511 SOS 331344 HAS SOPS 331344 HAS SOUS 303859 HAS SOUPS 303859 WITH SCORE 304190.344
AT ITER 4197 NEW BEST:: SOT 714431 SOS 331264 HAS SOPS 331264 HAS SOUS 303779 HAS SOUPS 303779 WITH SCORE 304110.264
AT ITER 4202 NEW BEST:: SOT 714403 SOS 330964 HAS SOPS 330964 HAS SOUS 303570 HAS SOUPS 303570 WITH SCORE 303900.964
AT ITER 4205 NEW BEST:: SOT 714403 SOS 330798 HAS SOPS 330798 HAS SOUS 303568 HAS SOUPS 303568 WITH SCORE 303898.798
AT ITER 4236 NEW BEST:: SOT 714392 SOS 330787 HAS SOPS 330787 HAS SOUS 303557 HAS SOUPS 303557 WITH SCORE 303887.787
AT ITER 4238 NEW BEST:: SOT 714231 SOS 330548 HAS SOPS 330548 HAS SOUS 303318 HAS SOUPS 303318 WITH SCORE 303648.548
AT ITER 4244 NEW BEST:: SOT 714172 SOS 330637 HAS SOPS 330637 HAS SOUS 303300 HAS SOUPS 303300 WITH SCORE 303630.637
AT ITER 4253 NEW BEST:: SOT 714072 SOS 330397 HAS SOPS 330397 HAS SOUS 303060 HAS SOUPS 303060 WITH SCORE 303390.397
AT ITER 4257 NEW BEST:: SOT 714152 SOS 330458 HAS SOPS 330458 HAS SOUS 303051 HAS SOUPS 303051 WITH SCORE 303381.458
AT ITER 4279 NEW BEST:: SOT 713971 SOS 330277 HAS SOPS 330277 HAS SOUS 302977 HAS SOUPS 302977 WITH SCORE 303307.277
AT ITER 4280 NEW BEST:: SOT 713764 SOS 329974 HAS SOPS 329974 HAS SOUS 302674 HAS SOUPS 302674 WITH SCORE 303003.974
AT ITER 4284 NEW BEST:: SOT 713111 SOS 328257 HAS SOPS 328257 HAS SOUS 301245 HAS SOUPS 301245 WITH SCORE 301573.257
AT ITER 4292 NEW BEST:: SOT 713099 SOS 328251 HAS SOPS 328251 HAS SOUS 301230 HAS SOUPS 301230 WITH SCORE 301558.251
AT ITER 4293 NEW BEST:: SOT 713070 SOS 328654 HAS SOPS 328654 HAS SOUS 301168 HAS SOUPS 301168 WITH SCORE 301496.654
AT ITER 4324 NEW BEST:: SOT 713070 SOS 328652 HAS SOPS 328652 HAS SOUS 301166 HAS SOUPS 301166 WITH SCORE 301494.652
AT ITER 4325 NEW BEST:: SOT 713070 SOS 328624 HAS SOPS 328624 HAS SOUS 301138 HAS SOUPS 301138 WITH SCORE 301466.624
AT ITER 4351 NEW BEST:: SOT 713000 SOS 328554 HAS SOPS 328554 HAS SOUS 301068 HAS SOUPS 301068 WITH SCORE 301396.554
AT ITER 4362 NEW BEST:: SOT 712940 SOS 328494 HAS SOPS 328494 HAS SOUS 301008 HAS SOUPS 301008 WITH SCORE 301336.494
AT ITER 4370 NEW BEST:: SOT 712817 SOS 328344 HAS SOPS 328344 HAS SOUS 300858 HAS SOUPS 300858 WITH SCORE 301186.344
AT ITER 4375 NEW BEST:: SOT 712775 SOS 327863 HAS SOPS 327863 HAS SOUS 300781 HAS SOUPS 300781 WITH SCORE 301108.863
AT ITER 4385 NEW BEST:: SOT 712775 SOS 327791 HAS SOPS 327791 HAS SOUS 300777 HAS SOUPS 300777 WITH SCORE 301104.791
AT ITER 4390 NEW BEST:: SOT 712695 SOS 327632 HAS SOPS 327632 HAS SOUS 300618 HAS SOUPS 300618 WITH SCORE 300945.632
AT ITER 4395 NEW BEST:: SOT 712338 SOS 327261 HAS SOPS 327261 HAS SOUS 300150 HAS SOUPS 300150 WITH SCORE 300477.261
AT ITER 4399 NEW BEST:: SOT 712271 SOS 327054 HAS SOPS 327054 HAS SOUS 299990 HAS SOUPS 299990 WITH SCORE 300317.054
AT ITER 4407 NEW BEST:: SOT 712019 SOS 326802 HAS SOPS 326802 HAS SOUS 299738 HAS SOUPS 299738 WITH SCORE 300064.802
AT ITER 4413 NEW BEST:: SOT 711981 SOS 326680 HAS SOPS 326680 HAS SOUS 299644 HAS SOUPS 299644 WITH SCORE 299970.68
AT ITER 4415 NEW BEST:: SOT 711975 SOS 326674 HAS SOPS 326674 HAS SOUS 299638 HAS SOUPS 299638 WITH SCORE 299964.674
AT ITER 4417 NEW BEST:: SOT 711823 SOS 326640 HAS SOPS 326640 HAS SOUS 299466 HAS SOUPS 299466 WITH SCORE 299792.64
AT ITER 4421 NEW BEST:: SOT 711412 SOS 326208 HAS SOPS 326208 HAS SOUS 299034 HAS SOUPS 299034 WITH SCORE 299360.208
AT ITER 4424 NEW BEST:: SOT 711412 SOS 326178 HAS SOPS 326178 HAS SOUS 299004 HAS SOUPS 299004 WITH SCORE 299330.178
AT ITER 4426 NEW BEST:: SOT 711403 SOS 325586 HAS SOPS 325586 HAS SOUS 298427 HAS SOUPS 298427 WITH SCORE 298752.586
AT ITER 4434 NEW BEST:: SOT 711385 SOS 325550 HAS SOPS 325550 HAS SOUS 298391 HAS SOUPS 298391 WITH SCORE 298716.55
AT ITER 4449 NEW BEST:: SOT 711320 SOS 325005 HAS SOPS 325005 HAS SOUS 298209 HAS SOUPS 298209 WITH SCORE 298534.005
AT ITER 4488 NEW BEST:: SOT 711217 SOS 324555 HAS SOPS 324555 HAS SOUS 297866 HAS SOUPS 297866 WITH SCORE 298190.555
AT ITER 4495 NEW BEST:: SOT 710693 SOS 323505 HAS SOPS 323505 HAS SOUS 296816 HAS SOUPS 296816 WITH SCORE 297139.505
AT ITER 4508 NEW BEST:: SOT 710691 SOS 323494 HAS SOPS 323494 HAS SOUS 296805 HAS SOUPS 296805 WITH SCORE 297128.494
AT ITER 4516 NEW BEST:: SOT 710451 SOS 322894 HAS SOPS 322894 HAS SOUS 296325 HAS SOUPS 296325 WITH SCORE 296647.894
AT ITER 4535 NEW BEST:: SOT 710464 SOS 322627 HAS SOPS 322627 HAS SOUS 296185 HAS SOUPS 296185 WITH SCORE 296507.627
AT ITER 4536 NEW BEST:: SOT 710464 SOS 322611 HAS SOPS 322611 HAS SOUS 296169 HAS SOUPS 296169 WITH SCORE 296491.611
AT ITER 4551 NEW BEST:: SOT 710462 SOS 322609 HAS SOPS 322609 HAS SOUS 296158 HAS SOUPS 296158 WITH SCORE 296480.609
AT ITER 4572 NEW BEST:: SOT 710462 SOS 322552 HAS SOPS 322552 HAS SOUS 296148 HAS SOUPS 296148 WITH SCORE 296470.552
AT ITER 4594 NEW BEST:: SOT 710422 SOS 322512 HAS SOPS 322512 HAS SOUS 296108 HAS SOUPS 296108 WITH SCORE 296430.512
AT ITER 4612 NEW BEST:: SOT 710394 SOS 322402 HAS SOPS 322402 HAS SOUS 295998 HAS SOUPS 295998 WITH SCORE 296320.402
AT ITER 4625 NEW BEST:: SOT 710386 SOS 322383 HAS SOPS 322383 HAS SOUS 295987 HAS SOUPS 295987 WITH SCORE 296309.383
AT ITER 4629 NEW BEST:: SOT 710201 SOS 321902 HAS SOPS 321902 HAS SOUS 295802 HAS SOUPS 295802 WITH SCORE 296123.902
AT ITER 4640 NEW BEST:: SOT 710201 SOS 321636 HAS SOPS 321636 HAS SOUS 295536 HAS SOUPS 295536 WITH SCORE 295857.636
AT ITER 4647 NEW BEST:: SOT 710219 SOS 321514 HAS SOPS 321514 HAS SOUS 295414 HAS SOUPS 295414 WITH SCORE 295735.514
AT ITER 4650 NEW BEST:: SOT 709744 SOS 320162 HAS SOPS 320162 HAS SOUS 294472 HAS SOUPS 294472 WITH SCORE 294792.162
AT ITER 4657 NEW BEST:: SOT 709777 SOS 320064 HAS SOPS 320064 HAS SOUS 294334 HAS SOUPS 294334 WITH SCORE 294654.064
AT ITER 4662 NEW BEST:: SOT 709841 SOS 320058 HAS SOPS 320058 HAS SOUS 294328 HAS SOUPS 294328 WITH SCORE 294648.058
AT ITER 4676 NEW BEST:: SOT 709808 SOS 319288 HAS SOPS 319288 HAS SOUS 294060 HAS SOUPS 294060 WITH SCORE 294379.288
AT ITER 4695 NEW BEST:: SOT 709808 SOS 319110 HAS SOPS 319110 HAS SOUS 294060 HAS SOUPS 294060 WITH SCORE 294379.11
AT ITER 4700 NEW BEST:: SOT 709808 SOS 319076 HAS SOPS 319076 HAS SOUS 294026 HAS SOUPS 294026 WITH SCORE 294345.076
AT ITER 4701 NEW BEST:: SOT 709705 SOS 318973 HAS SOPS 318973 HAS SOUS 293923 HAS SOUPS 293923 WITH SCORE 294241.973
AT ITER 4704 NEW BEST:: SOT 709509 SOS 318475 HAS SOPS 318475 HAS SOUS 293696 HAS SOUPS 293696 WITH SCORE 294014.475
AT ITER 4708 NEW BEST:: SOT 709284 SOS 318250 HAS SOPS 318250 HAS SOUS 293471 HAS SOUPS 293471 WITH SCORE 293789.25
AT ITER 4711 NEW BEST:: SOT 709866 SOS 317669 HAS SOPS 317669 HAS SOUS 293054 HAS SOUPS 293054 WITH SCORE 293371.669
AT ITER 4717 NEW BEST:: SOT 709846 SOS 317664 HAS SOPS 317664 HAS SOUS 293040 HAS SOUPS 293040 WITH SCORE 293357.664
AT ITER 4728 NEW BEST:: SOT 709836 SOS 317654 HAS SOPS 317654 HAS SOUS 293030 HAS SOUPS 293030 WITH SCORE 293347.654
AT ITER 4734 NEW BEST:: SOT 709618 SOS 317587 HAS SOPS 317587 HAS SOUS 292963 HAS SOUPS 292963 WITH SCORE 293280.587
AT ITER 4772 NEW BEST:: SOT 709605 SOS 317431 HAS SOPS 317431 HAS SOUS 292920 HAS SOUPS 292920 WITH SCORE 293237.431
AT ITER 4773 NEW BEST:: SOT 709559 SOS 317188 HAS SOPS 317188 HAS SOUS 292717 HAS SOUPS 292717 WITH SCORE 293034.188
AT ITER 4779 NEW BEST:: SOT 709415 SOS 317740 HAS SOPS 317740 HAS SOUS 292631 HAS SOUPS 292631 WITH SCORE 292948.74
AT ITER 4787 NEW BEST:: SOT 709616 SOS 317831 HAS SOPS 317831 HAS SOUS 292600 HAS SOUPS 292600 WITH SCORE 292917.831
AT ITER 4798 NEW BEST:: SOT 708983 SOS 317154 HAS SOPS 317154 HAS SOUS 291923 HAS SOUPS 291923 WITH SCORE 292240.154
AT ITER 4810 NEW BEST:: SOT 708611 SOS 316845 HAS SOPS 316845 HAS SOUS 291614 HAS SOUPS 291614 WITH SCORE 291930.845
AT ITER 4815 NEW BEST:: SOT 708611 SOS 316837 HAS SOPS 316837 HAS SOUS 291606 HAS SOUPS 291606 WITH SCORE 291922.837
AT ITER 4818 NEW BEST:: SOT 708507 SOS 316665 HAS SOPS 316665 HAS SOUS 291434 HAS SOUPS 291434 WITH SCORE 291750.665
AT ITER 4820 NEW BEST:: SOT 708162 SOS 316657 HAS SOPS 316657 HAS SOUS 291411 HAS SOUPS 291411 WITH SCORE 291727.657
AT ITER 4827 NEW BEST:: SOT 707791 SOS 316106 HAS SOPS 316106 HAS SOUS 290937 HAS SOUPS 290937 WITH SCORE 291253.106
AT ITER 4829 NEW BEST:: SOT 707762 SOS 315989 HAS SOPS 315989 HAS SOUS 290749 HAS SOUPS 290749 WITH SCORE 291064.989
AT ITER 4833 NEW BEST:: SOT 707791 SOS 315971 HAS SOPS 315971 HAS SOUS 290731 HAS SOUPS 290731 WITH SCORE 291046.971
AT ITER 4834 NEW BEST:: SOT 707828 SOS 316008 HAS SOPS 316008 HAS SOUS 290686 HAS SOUPS 290686 WITH SCORE 291002.008
AT ITER 4835 NEW BEST:: SOT 707689 SOS 315777 HAS SOPS 315777 HAS SOUS 290377 HAS SOUPS 290377 WITH SCORE 290692.777
AT ITER 4836 NEW BEST:: SOT 707511 SOS 315654 HAS SOPS 315654 HAS SOUS 290207 HAS SOUPS 290207 WITH SCORE 290522.654
AT ITER 4843 NEW BEST:: SOT 707511 SOS 315582 HAS SOPS 315582 HAS SOUS 290207 HAS SOUPS 290207 WITH SCORE 290522.582
AT ITER 4848 NEW BEST:: SOT 707447 SOS 315318 HAS SOPS 315318 HAS SOUS 290015 HAS SOUPS 290015 WITH SCORE 290330.318
AT ITER 4859 NEW BEST:: SOT 707443 SOS 315314 HAS SOPS 315314 HAS SOUS 290011 HAS SOUPS 290011 WITH SCORE 290326.314
AT ITER 4865 NEW BEST:: SOT 707442 SOS 315231 HAS SOPS 315231 HAS SOUS 289928 HAS SOUPS 289928 WITH SCORE 290243.231
AT ITER 4867 NEW BEST:: SOT 707356 SOS 315017 HAS SOPS 315017 HAS SOUS 289714 HAS SOUPS 289714 WITH SCORE 290029.017
AT ITER 4871 NEW BEST:: SOT 707263 SOS 314893 HAS SOPS 314893 HAS SOUS 289590 HAS SOUPS 289590 WITH SCORE 289904.893
AT ITER 4875 NEW BEST:: SOT 707251 SOS 314881 HAS SOPS 314881 HAS SOUS 289578 HAS SOUPS 289578 WITH SCORE 289892.881
AT ITER 4907 NEW BEST:: SOT 707215 SOS 314890 HAS SOPS 314890 HAS SOUS 289506 HAS SOUPS 289506 WITH SCORE 289820.89
AT ITER 4912 NEW BEST:: SOT 707214 SOS 314887 HAS SOPS 314887 HAS SOUS 289503 HAS SOUPS 289503 WITH SCORE 289817.887
AT ITER 4914 NEW BEST:: SOT 707175 SOS 314848 HAS SOPS 314848 HAS SOUS 289464 HAS SOUPS 289464 WITH SCORE 289778.848
AT ITER 4930 NEW BEST:: SOT 707115 SOS 314137 HAS SOPS 314137 HAS SOUS 289147 HAS SOUPS 289147 WITH SCORE 289461.137
AT ITER 4934 NEW BEST:: SOT 706974 SOS 313902 HAS SOPS 313902 HAS SOUS 288912 HAS SOUPS 288912 WITH SCORE 289225.902
AT ITER 4938 NEW BEST:: SOT 706918 SOS 312759 HAS SOPS 312759 HAS SOUS 288801 HAS SOUPS 288801 WITH SCORE 289113.759
AT ITER 4948 NEW BEST:: SOT 706828 SOS 312631 HAS SOPS 312631 HAS SOUS 288673 HAS SOUPS 288673 WITH SCORE 288985.631
AT ITER 4952 NEW BEST:: SOT 706725 SOS 312505 HAS SOPS 312505 HAS SOUS 288638 HAS SOUPS 288638 WITH SCORE 288950.505
AT ITER 4956 NEW BEST:: SOT 706725 SOS 311851 HAS SOPS 311851 HAS SOUS 288323 HAS SOUPS 288323 WITH SCORE 288634.851
AT ITER 4962 NEW BEST:: SOT 706257 SOS 311600 HAS SOPS 311600 HAS SOUS 288072 HAS SOUPS 288072 WITH SCORE 288383.6
AT ITER 4981 NEW BEST:: SOT 706096 SOS 311439 HAS SOPS 311439 HAS SOUS 287911 HAS SOUPS 287911 WITH SCORE 288222.439
AT ITER 4982 NEW BEST:: SOT 706045 SOS 311336 HAS SOPS 311336 HAS SOUS 287756 HAS SOUPS 287756 WITH SCORE 288067.336
AT ITER 4989 NEW BEST:: SOT 706045 SOS 310800 HAS SOPS 310800 HAS SOUS 287493 HAS SOUPS 287493 WITH SCORE 287803.8
AT ITER 4991 NEW BEST:: SOT 705744 SOS 310570 HAS SOPS 310570 HAS SOUS 287206 HAS SOUPS 287206 WITH SCORE 287516.57
AT ITER 4993 NEW BEST:: SOT 705868 SOS 310559 HAS SOPS 310559 HAS SOUS 287195 HAS SOUPS 287195 WITH SCORE 287505.559
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-00 (AX( ( (! (EX( ((potential((tk(P525)>=1))))))) & (EF( ( ((potential((tk(P471)>=1) & (tk(P486)>=1)))) | ((potential((tk(P1008)>=1) & (tk(P1010)>=1)))) ))) )))
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-01 (AG( (! ((potential((tk(P38)>=1) & (tk(P40)>=1)))))))
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-02 (! (AX( ( ( ( ((potential((tk(P471)>=1)))) & ((potential((tk(P944)>=1) & (tk(P951)>=1)))) ) | ((potential((tk(P371)>=1)))) ) | (EF( ((potential((tk(P1008)>=1) & (tk(P1010)>=1)))))) ))))
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-03 ( ( ( ( ((potential((tk(P1134)>=1) & (tk(P1151)>=1)))) | (EF( ((potential((tk(P183)>=1) & (tk(P185)>=1)))))) ) | (EU( ((potential((tk(P633)>=1) & (tk(P635)>=1)))) , ((potential((tk(P452)>=1)))) )) ) | ((potential((tk(P1164)>=1) & (tk(P1178)>=1)))) ) & (! ((potential((tk(P1046)>=1))))) )
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-04 ( ( (EF( ( ( ((potential((tk(P139)>=1) & (tk(P153)>=1)))) | ((potential((tk(P642)>=1) & (tk(P653)>=1)))) ) | ( ((potential((tk(P818)>=1) & (tk(P820)>=1)))) & ((potential((tk(P6)>=1) & (tk(P23)>=1)))) ) ))) & (AG( (! ((potential((tk(P291)>=1) & (tk(P325)>=1))))))) ) | ( (EF( (! (! ((potential((tk(P739)>=1) & (tk(P753)>=1)))))))) & ( (AF( ( ((potential((tk(P71)>=1)))) & ((potential((tk(P621)>=1) & (tk(P636)>=1)))) ))) & (AF( ((potential((tk(P1037)>=1) & (tk(P1047)>=1)))))) ) ) )
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-05 ( (AF( (! ( ((potential((tk(P713)>=1) & (tk(P715)>=1)))) & (! ((potential((tk(P1046)>=1))))) )))) & (EF( (AX( ( ((potential((tk(P98)>=1)))) | ((potential((tk(P1148)>=1)))) ))))) )
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-06 (EF( (! (! (! (! ((potential((tk(P471)>=1) & (tk(P486)>=1))))))))))
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-07 ( ( (EU( ((potential((tk(P768)>=1) & (tk(P770)>=1)))) , ((potential((tk(P487)>=1) & (tk(P497)>=1)))) )) | (AU( ( ((potential((tk(P512)>=1) & (tk(P522)>=1)))) | ((potential((tk(P257)>=1) & (tk(P272)>=1)))) ) , ( ((potential((tk(P125)>=1)))) | ((potential((tk(P1233)>=1) & (tk(P1235)>=1)))) ) )) ) | (AG( (! (AG( ((potential((tk(P556)>=1) & (tk(P573)>=1))))))))) )
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-08 (! (EF( ((potential((tk(P282)>=1) & (tk(P297)>=1)))))))
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-09 (EF( ( (AX( (! ((potential((tk(P492)>=1) & (tk(P503)>=1))))))) & ((potential((tk(P1130)>=1) & (tk(P1149)>=1)))) )))
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-10 (! (AF( (EF( ( ((potential((tk(P132)>=1) & (tk(P147)>=1)))) & ((potential((tk(P1081)>=1) & (tk(P1098)>=1)))) ))))))
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-11 (EF( (EU( (! ((potential((tk(P1169)>=1) & (tk(P1176)>=1))))) , ( ((potential((tk(P63)>=1) & (tk(P65)>=1)))) & ((potential((tk(P1013)>=1) & (tk(P1015)>=1)))) ) ))))
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-12 ( (AG( (EX( (! ((potential((tk(P442)>=1) & (tk(P453)>=1))))))))) & (EX( (! ((potential((tk(P494)>=1) & (tk(P501)>=1))))))) )
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-13 (! (EG( (EF( ((potential((tk(P23)>=1)))))))))
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-14 (EF( ( ((potential((tk(P1108)>=1) & (tk(P1110)>=1)))) & (EU( ((potential((tk(P1192)>=1) & (tk(P1203)>=1)))) , ((potential((tk(P258)>=1) & (tk(P260)>=1)))) )) )))
PROPERTY: ShieldPPPt-PT-050A-CTLFireability-15 (! (AG( (! ( ((potential((tk(P541)>=1) & (tk(P575)>=1)))) & ( ((potential((tk(P702)>=1)))) | ((potential((tk(P366)>=1) & (tk(P400)>=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="ShieldPPPt-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 ShieldPPPt-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-159033469900716"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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