Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r153-oct2-158972910000275.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RwMutex-PT-r0010w0500, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910000275
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1008K
-rw-r--r-- 1 mcc users 2.9K Apr 12 11:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Apr 12 11:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 11 12:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 12:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 16:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 16:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 9 23:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 9 23:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 836K Mar 24 05:38 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 RwMutex-PT-r0010w0500-CTLCardinality-00
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-01
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-02
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-03
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-04
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-05
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-06
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-07
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-08
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-09
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-10
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-11
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-12
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-13
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-14
FORMULA_NAME RwMutex-PT-r0010w0500-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589742757972

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

GOT IT HERE. BS
Petri model created: 1030 places, 1020 transitions, 12060 arcs.
AT ITER 0 NEW BEST:: SOT 1048474 SOS 787866 HAS SOPS 787866 HAS SOUS 787866 HAS SOUPS 787866 WITH SCORE 788653.866
AT ITER 4 NEW BEST:: SOT 1048474 SOS 787320 HAS SOPS 787320 HAS SOUS 787320 HAS SOUPS 787320 WITH SCORE 788107.32
AT ITER 7 NEW BEST:: SOT 1048474 SOS 786484 HAS SOPS 786484 HAS SOUS 786484 HAS SOUPS 786484 WITH SCORE 787270.484
AT ITER 9 NEW BEST:: SOT 1048474 SOS 785750 HAS SOPS 785750 HAS SOUS 785750 HAS SOUPS 785750 WITH SCORE 786535.75
AT ITER 10 NEW BEST:: SOT 1048474 SOS 784974 HAS SOPS 784974 HAS SOUS 784974 HAS SOUPS 784974 WITH SCORE 785758.974
AT ITER 11 NEW BEST:: SOT 1048474 SOS 784314 HAS SOPS 784314 HAS SOUS 784314 HAS SOUPS 784314 WITH SCORE 785098.314
AT ITER 14 NEW BEST:: SOT 1048474 SOS 783828 HAS SOPS 783828 HAS SOUS 783828 HAS SOUPS 783828 WITH SCORE 784611.828
AT ITER 21 NEW BEST:: SOT 1048474 SOS 783772 HAS SOPS 783772 HAS SOUS 783772 HAS SOUPS 783772 WITH SCORE 784555.772
AT ITER 23 NEW BEST:: SOT 1048474 SOS 782940 HAS SOPS 782940 HAS SOUS 782940 HAS SOUPS 782940 WITH SCORE 783722.94
AT ITER 28 NEW BEST:: SOT 1048474 SOS 782142 HAS SOPS 782142 HAS SOUS 782142 HAS SOUPS 782142 WITH SCORE 782924.142
AT ITER 29 NEW BEST:: SOT 1048474 SOS 781332 HAS SOPS 781332 HAS SOUS 781332 HAS SOUPS 781332 WITH SCORE 782113.332
AT ITER 32 NEW BEST:: SOT 1048474 SOS 780534 HAS SOPS 780534 HAS SOUS 780534 HAS SOUPS 780534 WITH SCORE 781314.534
AT ITER 38 NEW BEST:: SOT 1048474 SOS 780140 HAS SOPS 780140 HAS SOUS 780140 HAS SOUPS 780140 WITH SCORE 780920.14
AT ITER 41 NEW BEST:: SOT 1048474 SOS 779342 HAS SOPS 779342 HAS SOUS 779342 HAS SOUPS 779342 WITH SCORE 780121.342
AT ITER 43 NEW BEST:: SOT 1048474 SOS 778732 HAS SOPS 778732 HAS SOUS 778732 HAS SOUPS 778732 WITH SCORE 779510.732
AT ITER 47 NEW BEST:: SOT 1048474 SOS 777960 HAS SOPS 777960 HAS SOUS 777960 HAS SOUPS 777960 WITH SCORE 778737.96
AT ITER 49 NEW BEST:: SOT 1048474 SOS 777180 HAS SOPS 777180 HAS SOUS 777180 HAS SOUPS 777180 WITH SCORE 777957.18
AT ITER 51 NEW BEST:: SOT 1048474 SOS 776410 HAS SOPS 776410 HAS SOUS 776410 HAS SOUPS 776410 WITH SCORE 777186.41
AT ITER 55 NEW BEST:: SOT 1048474 SOS 775800 HAS SOPS 775800 HAS SOUS 775800 HAS SOUPS 775800 WITH SCORE 776575.8
AT ITER 56 NEW BEST:: SOT 1048474 SOS 775074 HAS SOPS 775074 HAS SOUS 775074 HAS SOUPS 775074 WITH SCORE 775849.074
AT ITER 57 NEW BEST:: SOT 1048474 SOS 774836 HAS SOPS 774836 HAS SOUS 774836 HAS SOUPS 774836 WITH SCORE 775610.836
AT ITER 60 NEW BEST:: SOT 1048474 SOS 774094 HAS SOPS 774094 HAS SOUS 774094 HAS SOUPS 774094 WITH SCORE 774868.094
AT ITER 61 NEW BEST:: SOT 1048474 SOS 773526 HAS SOPS 773526 HAS SOUS 773526 HAS SOUPS 773526 WITH SCORE 774299.526
AT ITER 62 NEW BEST:: SOT 1048474 SOS 771800 HAS SOPS 771800 HAS SOUS 771800 HAS SOUPS 771800 WITH SCORE 772571.8
AT ITER 64 NEW BEST:: SOT 1048474 SOS 771034 HAS SOPS 771034 HAS SOUS 771034 HAS SOUPS 771034 WITH SCORE 771805.034
AT ITER 65 NEW BEST:: SOT 1048474 SOS 770808 HAS SOPS 770808 HAS SOUS 770808 HAS SOUPS 770808 WITH SCORE 771578.808
AT ITER 66 NEW BEST:: SOT 1048474 SOS 770274 HAS SOPS 770274 HAS SOUS 770274 HAS SOUPS 770274 WITH SCORE 771044.274
AT ITER 69 NEW BEST:: SOT 1048474 SOS 769452 HAS SOPS 769452 HAS SOUS 769452 HAS SOUPS 769452 WITH SCORE 770221.452
AT ITER 71 NEW BEST:: SOT 1048474 SOS 768662 HAS SOPS 768662 HAS SOUS 768662 HAS SOUPS 768662 WITH SCORE 769430.662
AT ITER 74 NEW BEST:: SOT 1048474 SOS 768550 HAS SOPS 768550 HAS SOUS 768550 HAS SOUPS 768550 WITH SCORE 769318.55
AT ITER 75 NEW BEST:: SOT 1048474 SOS 768302 HAS SOPS 768302 HAS SOUS 768302 HAS SOUPS 768302 WITH SCORE 769070.302
AT ITER 76 NEW BEST:: SOT 1048474 SOS 767518 HAS SOPS 767518 HAS SOUS 767518 HAS SOUPS 767518 WITH SCORE 768285.518
AT ITER 78 NEW BEST:: SOT 1048474 SOS 767086 HAS SOPS 767086 HAS SOUS 767086 HAS SOUPS 767086 WITH SCORE 767853.086
AT ITER 81 NEW BEST:: SOT 1048474 SOS 766278 HAS SOPS 766278 HAS SOUS 766278 HAS SOUPS 766278 WITH SCORE 767044.278
AT ITER 87 NEW BEST:: SOT 1048474 SOS 765470 HAS SOPS 765470 HAS SOUS 765470 HAS SOUPS 765470 WITH SCORE 766235.47
AT ITER 88 NEW BEST:: SOT 1048474 SOS 765170 HAS SOPS 765170 HAS SOUS 765170 HAS SOUPS 765170 WITH SCORE 765935.17
AT ITER 90 NEW BEST:: SOT 1048474 SOS 764362 HAS SOPS 764362 HAS SOUS 764362 HAS SOUPS 764362 WITH SCORE 765126.362
AT ITER 95 NEW BEST:: SOT 1048474 SOS 764282 HAS SOPS 764282 HAS SOUS 764282 HAS SOUPS 764282 WITH SCORE 765046.282
AT ITER 100 NEW BEST:: SOT 1048474 SOS 763518 HAS SOPS 763518 HAS SOUS 763518 HAS SOUPS 763518 WITH SCORE 764281.518
AT ITER 102 NEW BEST:: SOT 1048474 SOS 763040 HAS SOPS 763040 HAS SOUS 763040 HAS SOUPS 763040 WITH SCORE 763803.04
AT ITER 103 NEW BEST:: SOT 1048474 SOS 762272 HAS SOPS 762272 HAS SOUS 762272 HAS SOUPS 762272 WITH SCORE 763034.272
AT ITER 105 NEW BEST:: SOT 1048474 SOS 761464 HAS SOPS 761464 HAS SOUS 761464 HAS SOUPS 761464 WITH SCORE 762225.464
AT ITER 108 NEW BEST:: SOT 1048474 SOS 760786 HAS SOPS 760786 HAS SOUS 760786 HAS SOUPS 760786 WITH SCORE 761546.786
AT ITER 109 NEW BEST:: SOT 1048474 SOS 760216 HAS SOPS 760216 HAS SOUS 760216 HAS SOUPS 760216 WITH SCORE 760976.216
AT ITER 110 NEW BEST:: SOT 1048474 SOS 759756 HAS SOPS 759756 HAS SOUS 759756 HAS SOUPS 759756 WITH SCORE 760515.756
AT ITER 112 NEW BEST:: SOT 1048474 SOS 759444 HAS SOPS 759444 HAS SOUS 759444 HAS SOUPS 759444 WITH SCORE 760203.444
AT ITER 114 NEW BEST:: SOT 1048474 SOS 758766 HAS SOPS 758766 HAS SOUS 758766 HAS SOUPS 758766 WITH SCORE 759524.766
AT ITER 115 NEW BEST:: SOT 1048474 SOS 758050 HAS SOPS 758050 HAS SOUS 758050 HAS SOUPS 758050 WITH SCORE 758808.05
AT ITER 118 NEW BEST:: SOT 1048474 SOS 757022 HAS SOPS 757022 HAS SOUS 757022 HAS SOUPS 757022 WITH SCORE 757779.022
AT ITER 120 NEW BEST:: SOT 1048474 SOS 756692 HAS SOPS 756692 HAS SOUS 756692 HAS SOUPS 756692 WITH SCORE 757448.692
AT ITER 122 NEW BEST:: SOT 1048474 SOS 755872 HAS SOPS 755872 HAS SOUS 755872 HAS SOUPS 755872 WITH SCORE 756627.872
AT ITER 123 NEW BEST:: SOT 1048474 SOS 755032 HAS SOPS 755032 HAS SOUS 755032 HAS SOUPS 755032 WITH SCORE 755787.032
AT ITER 124 NEW BEST:: SOT 1048474 SOS 754344 HAS SOPS 754344 HAS SOUS 754344 HAS SOUPS 754344 WITH SCORE 755098.344
AT ITER 127 NEW BEST:: SOT 1048474 SOS 754196 HAS SOPS 754196 HAS SOUS 754196 HAS SOUPS 754196 WITH SCORE 754950.196
AT ITER 133 NEW BEST:: SOT 1048474 SOS 754174 HAS SOPS 754174 HAS SOUS 754174 HAS SOUPS 754174 WITH SCORE 754928.174
AT ITER 134 NEW BEST:: SOT 1048474 SOS 753994 HAS SOPS 753994 HAS SOUS 753994 HAS SOUPS 753994 WITH SCORE 754747.994
AT ITER 135 NEW BEST:: SOT 1048474 SOS 753184 HAS SOPS 753184 HAS SOUS 753184 HAS SOUPS 753184 WITH SCORE 753937.184
AT ITER 138 NEW BEST:: SOT 1048474 SOS 752770 HAS SOPS 752770 HAS SOUS 752770 HAS SOUPS 752770 WITH SCORE 753522.77
AT ITER 141 NEW BEST:: SOT 1048474 SOS 752100 HAS SOPS 752100 HAS SOUS 752100 HAS SOUPS 752100 WITH SCORE 752852.1
AT ITER 142 NEW BEST:: SOT 1048474 SOS 751732 HAS SOPS 751732 HAS SOUS 751732 HAS SOUPS 751732 WITH SCORE 752483.732
AT ITER 145 NEW BEST:: SOT 1048474 SOS 750970 HAS SOPS 750970 HAS SOUS 750970 HAS SOUPS 750970 WITH SCORE 751720.97
AT ITER 146 NEW BEST:: SOT 1048474 SOS 750220 HAS SOPS 750220 HAS SOUS 750220 HAS SOUPS 750220 WITH SCORE 750970.22
AT ITER 149 NEW BEST:: SOT 1048474 SOS 749416 HAS SOPS 749416 HAS SOUS 749416 HAS SOUPS 749416 WITH SCORE 750165.416
AT ITER 151 NEW BEST:: SOT 1048474 SOS 748594 HAS SOPS 748594 HAS SOUS 748594 HAS SOUPS 748594 WITH SCORE 749342.594
AT ITER 152 NEW BEST:: SOT 1048474 SOS 747004 HAS SOPS 747004 HAS SOUS 747004 HAS SOUPS 747004 WITH SCORE 747751.004
AT ITER 156 NEW BEST:: SOT 1048474 SOS 746748 HAS SOPS 746748 HAS SOUS 746748 HAS SOUPS 746748 WITH SCORE 747494.748
AT ITER 159 NEW BEST:: SOT 1048474 SOS 745934 HAS SOPS 745934 HAS SOUS 745934 HAS SOUPS 745934 WITH SCORE 746679.934
AT ITER 160 NEW BEST:: SOT 1048474 SOS 745262 HAS SOPS 745262 HAS SOUS 745262 HAS SOUPS 745262 WITH SCORE 746007.262
AT ITER 161 NEW BEST:: SOT 1048474 SOS 744500 HAS SOPS 744500 HAS SOUS 744500 HAS SOUPS 744500 WITH SCORE 745244.5
AT ITER 163 NEW BEST:: SOT 1048474 SOS 743670 HAS SOPS 743670 HAS SOUS 743670 HAS SOUPS 743670 WITH SCORE 744413.67
AT ITER 164 NEW BEST:: SOT 1048474 SOS 743596 HAS SOPS 743596 HAS SOUS 743596 HAS SOUPS 743596 WITH SCORE 744339.596
AT ITER 165 NEW BEST:: SOT 1048474 SOS 742766 HAS SOPS 742766 HAS SOUS 742766 HAS SOUPS 742766 WITH SCORE 743508.766
AT ITER 173 NEW BEST:: SOT 1048474 SOS 742112 HAS SOPS 742112 HAS SOUS 742112 HAS SOUPS 742112 WITH SCORE 742854.112
AT ITER 174 NEW BEST:: SOT 1048474 SOS 741474 HAS SOPS 741474 HAS SOUS 741474 HAS SOUPS 741474 WITH SCORE 742215.474
AT ITER 175 NEW BEST:: SOT 1048474 SOS 740842 HAS SOPS 740842 HAS SOUS 740842 HAS SOUPS 740842 WITH SCORE 741582.842
AT ITER 177 NEW BEST:: SOT 1048474 SOS 740364 HAS SOPS 740364 HAS SOUS 740364 HAS SOUPS 740364 WITH SCORE 741104.364
AT ITER 178 NEW BEST:: SOT 1048474 SOS 740074 HAS SOPS 740074 HAS SOUS 740074 HAS SOUPS 740074 WITH SCORE 740814.074
AT ITER 179 NEW BEST:: SOT 1048474 SOS 739438 HAS SOPS 739438 HAS SOUS 739438 HAS SOUPS 739438 WITH SCORE 740177.438
AT ITER 181 NEW BEST:: SOT 1048474 SOS 738814 HAS SOPS 738814 HAS SOUS 738814 HAS SOUPS 738814 WITH SCORE 739552.814
AT ITER 182 NEW BEST:: SOT 1048474 SOS 738030 HAS SOPS 738030 HAS SOUS 738030 HAS SOUPS 738030 WITH SCORE 738768.03
AT ITER 185 NEW BEST:: SOT 1048474 SOS 737894 HAS SOPS 737894 HAS SOUS 737894 HAS SOUPS 737894 WITH SCORE 738631.894
AT ITER 186 NEW BEST:: SOT 1048474 SOS 737158 HAS SOPS 737158 HAS SOUS 737158 HAS SOUPS 737158 WITH SCORE 737895.158
AT ITER 187 NEW BEST:: SOT 1048474 SOS 736436 HAS SOPS 736436 HAS SOUS 736436 HAS SOUPS 736436 WITH SCORE 737172.436
AT ITER 190 NEW BEST:: SOT 1048474 SOS 735802 HAS SOPS 735802 HAS SOUS 735802 HAS SOUPS 735802 WITH SCORE 736537.802
AT ITER 191 NEW BEST:: SOT 1048474 SOS 735490 HAS SOPS 735490 HAS SOUS 735490 HAS SOUPS 735490 WITH SCORE 736225.49
AT ITER 203 NEW BEST:: SOT 1048474 SOS 734908 HAS SOPS 734908 HAS SOUS 734908 HAS SOUPS 734908 WITH SCORE 735642.908
AT ITER 209 NEW BEST:: SOT 1048474 SOS 734362 HAS SOPS 734362 HAS SOUS 734362 HAS SOUPS 734362 WITH SCORE 735096.362
AT ITER 212 NEW BEST:: SOT 1048474 SOS 733586 HAS SOPS 733586 HAS SOUS 733586 HAS SOUPS 733586 WITH SCORE 734319.586
AT ITER 217 NEW BEST:: SOT 1048474 SOS 733172 HAS SOPS 733172 HAS SOUS 733172 HAS SOUPS 733172 WITH SCORE 733905.172
AT ITER 220 NEW BEST:: SOT 1048474 SOS 732356 HAS SOPS 732356 HAS SOUS 732356 HAS SOUPS 732356 WITH SCORE 733088.356
AT ITER 222 NEW BEST:: SOT 1048474 SOS 732336 HAS SOPS 732336 HAS SOUS 732336 HAS SOUPS 732336 WITH SCORE 733068.336
AT ITER 227 NEW BEST:: SOT 1048474 SOS 731498 HAS SOPS 731498 HAS SOUS 731498 HAS SOUPS 731498 WITH SCORE 732229.498
AT ITER 229 NEW BEST:: SOT 1047158 SOS 793852 HAS SOPS 793852 HAS SOUS 730698 HAS SOUPS 730698 WITH SCORE 731491.852
AT ITER 231 NEW BEST:: SOT 1047158 SOS 793406 HAS SOPS 793406 HAS SOUS 729910 HAS SOUPS 729910 WITH SCORE 730703.406
AT ITER 233 NEW BEST:: SOT 1047158 SOS 793406 HAS SOPS 793406 HAS SOUS 729206 HAS SOUPS 729206 WITH SCORE 729999.406
AT ITER 235 NEW BEST:: SOT 1047158 SOS 793192 HAS SOPS 793192 HAS SOUS 728620 HAS SOUPS 728620 WITH SCORE 729413.192
AT ITER 238 NEW BEST:: SOT 1047158 SOS 793192 HAS SOPS 793192 HAS SOUS 728068 HAS SOUPS 728068 WITH SCORE 728861.192
AT ITER 241 NEW BEST:: SOT 1047158 SOS 793120 HAS SOPS 793120 HAS SOUS 727272 HAS SOUPS 727272 WITH SCORE 728065.12
AT ITER 242 NEW BEST:: SOT 1045912 SOS 791874 HAS SOPS 791874 HAS SOUS 725316 HAS SOUPS 725316 WITH SCORE 726107.874
AT ITER 243 NEW BEST:: SOT 1045912 SOS 791848 HAS SOPS 791848 HAS SOUS 724626 HAS SOUPS 724626 WITH SCORE 725417.848
AT ITER 248 NEW BEST:: SOT 1045912 SOS 791624 HAS SOPS 791624 HAS SOUS 723836 HAS SOUPS 723836 WITH SCORE 724627.624
AT ITER 251 NEW BEST:: SOT 1045912 SOS 791624 HAS SOPS 791624 HAS SOUS 723722 HAS SOUPS 723722 WITH SCORE 724513.624
AT ITER 256 NEW BEST:: SOT 1045912 SOS 791624 HAS SOPS 791624 HAS SOUS 723132 HAS SOUPS 723132 WITH SCORE 723923.624
AT ITER 259 NEW BEST:: SOT 1045912 SOS 791620 HAS SOPS 791620 HAS SOUS 722840 HAS SOUPS 722840 WITH SCORE 723631.62
AT ITER 263 NEW BEST:: SOT 1045912 SOS 791620 HAS SOPS 791620 HAS SOUS 722504 HAS SOUPS 722504 WITH SCORE 723295.62
AT ITER 265 NEW BEST:: SOT 1045912 SOS 791296 HAS SOPS 791296 HAS SOUS 722180 HAS SOUPS 722180 WITH SCORE 722971.296
AT ITER 266 NEW BEST:: SOT 1045912 SOS 791090 HAS SOPS 791090 HAS SOUS 721706 HAS SOUPS 721706 WITH SCORE 722497.09
AT ITER 267 NEW BEST:: SOT 1045912 SOS 791090 HAS SOPS 791090 HAS SOUS 720926 HAS SOUPS 720926 WITH SCORE 721717.09
AT ITER 268 NEW BEST:: SOT 1045912 SOS 790778 HAS SOPS 790778 HAS SOUS 720124 HAS SOUPS 720124 WITH SCORE 720914.778
AT ITER 272 NEW BEST:: SOT 1045912 SOS 790778 HAS SOPS 790778 HAS SOUS 719348 HAS SOUPS 719348 WITH SCORE 720138.778
AT ITER 273 NEW BEST:: SOT 1045912 SOS 790618 HAS SOPS 790618 HAS SOUS 718742 HAS SOUPS 718742 WITH SCORE 719532.618
AT ITER 274 NEW BEST:: SOT 1045912 SOS 790618 HAS SOPS 790618 HAS SOUS 718512 HAS SOUPS 718512 WITH SCORE 719302.618
AT ITER 276 NEW BEST:: SOT 1045912 SOS 789944 HAS SOPS 789944 HAS SOUS 716760 HAS SOUPS 716760 WITH SCORE 717549.944
AT ITER 277 NEW BEST:: SOT 1045912 SOS 789592 HAS SOPS 789592 HAS SOUS 715938 HAS SOUPS 715938 WITH SCORE 716727.592
AT ITER 278 NEW BEST:: SOT 1045912 SOS 789592 HAS SOPS 789592 HAS SOUS 715866 HAS SOUPS 715866 WITH SCORE 716655.592
AT ITER 281 NEW BEST:: SOT 1045912 SOS 789388 HAS SOPS 789388 HAS SOUS 715606 HAS SOUPS 715606 WITH SCORE 716395.388
AT ITER 282 NEW BEST:: SOT 1045912 SOS 789388 HAS SOPS 789388 HAS SOUS 715450 HAS SOUPS 715450 WITH SCORE 716239.388
AT ITER 283 NEW BEST:: SOT 1045912 SOS 789388 HAS SOPS 789388 HAS SOUS 715240 HAS SOUPS 715240 WITH SCORE 716029.388
AT ITER 286 NEW BEST:: SOT 1045912 SOS 789336 HAS SOPS 789336 HAS SOUS 715188 HAS SOUPS 715188 WITH SCORE 715977.336
AT ITER 287 NEW BEST:: SOT 1045912 SOS 789336 HAS SOPS 789336 HAS SOUS 714676 HAS SOUPS 714676 WITH SCORE 715465.336
AT ITER 288 NEW BEST:: SOT 1045912 SOS 789336 HAS SOPS 789336 HAS SOUS 714508 HAS SOUPS 714508 WITH SCORE 715297.336
AT ITER 289 NEW BEST:: SOT 1045912 SOS 789182 HAS SOPS 789182 HAS SOUS 713888 HAS SOUPS 713888 WITH SCORE 714677.182
AT ITER 290 NEW BEST:: SOT 1045912 SOS 789182 HAS SOPS 789182 HAS SOUS 713666 HAS SOUPS 713666 WITH SCORE 714455.182
AT ITER 294 NEW BEST:: SOT 1045912 SOS 789182 HAS SOPS 789182 HAS SOUS 713616 HAS SOUPS 713616 WITH SCORE 714405.182
AT ITER 301 NEW BEST:: SOT 1045912 SOS 788906 HAS SOPS 788906 HAS SOUS 712970 HAS SOUPS 712970 WITH SCORE 713758.906
AT ITER 302 NEW BEST:: SOT 1045912 SOS 788606 HAS SOPS 788606 HAS SOUS 712154 HAS SOUPS 712154 WITH SCORE 712942.606
AT ITER 303 NEW BEST:: SOT 1045912 SOS 788112 HAS SOPS 788112 HAS SOUS 711544 HAS SOUPS 711544 WITH SCORE 712332.112
AT ITER 306 NEW BEST:: SOT 1045912 SOS 788068 HAS SOPS 788068 HAS SOUS 711500 HAS SOUPS 711500 WITH SCORE 712288.068
AT ITER 307 NEW BEST:: SOT 1045912 SOS 787628 HAS SOPS 787628 HAS SOUS 710668 HAS SOUPS 710668 WITH SCORE 711455.628
AT ITER 309 NEW BEST:: SOT 1045912 SOS 787014 HAS SOPS 787014 HAS SOUS 708990 HAS SOUPS 708990 WITH SCORE 709777.014
AT ITER 310 NEW BEST:: SOT 1045912 SOS 787014 HAS SOPS 787014 HAS SOUS 708912 HAS SOUPS 708912 WITH SCORE 709699.014
AT ITER 312 NEW BEST:: SOT 1045912 SOS 787014 HAS SOPS 787014 HAS SOUS 708840 HAS SOUPS 708840 WITH SCORE 709627.014
AT ITER 314 NEW BEST:: SOT 1045912 SOS 787014 HAS SOPS 787014 HAS SOUS 708716 HAS SOUPS 708716 WITH SCORE 709503.014
AT ITER 320 NEW BEST:: SOT 1045912 SOS 786646 HAS SOPS 786646 HAS SOUS 708348 HAS SOUPS 708348 WITH SCORE 709134.646
AT ITER 321 NEW BEST:: SOT 1045912 SOS 786518 HAS SOPS 786518 HAS SOUS 708060 HAS SOUPS 708060 WITH SCORE 708846.518
AT ITER 322 NEW BEST:: SOT 1045912 SOS 786518 HAS SOPS 786518 HAS SOUS 707812 HAS SOUPS 707812 WITH SCORE 708598.518
AT ITER 323 NEW BEST:: SOT 1045912 SOS 786130 HAS SOPS 786130 HAS SOUS 707424 HAS SOUPS 707424 WITH SCORE 708210.13
AT ITER 324 NEW BEST:: SOT 1045912 SOS 786130 HAS SOPS 786130 HAS SOUS 706656 HAS SOUPS 706656 WITH SCORE 707442.13
AT ITER 326 NEW BEST:: SOT 1045912 SOS 786030 HAS SOPS 786030 HAS SOUS 706062 HAS SOUPS 706062 WITH SCORE 706848.03
AT ITER 330 NEW BEST:: SOT 1045912 SOS 786030 HAS SOPS 786030 HAS SOUS 705630 HAS SOUPS 705630 WITH SCORE 706416.03
AT ITER 335 NEW BEST:: SOT 1045912 SOS 786030 HAS SOPS 786030 HAS SOUS 704996 HAS SOUPS 704996 WITH SCORE 705782.03
AT ITER 339 NEW BEST:: SOT 1045912 SOS 786030 HAS SOPS 786030 HAS SOUS 704226 HAS SOUPS 704226 WITH SCORE 705012.03
AT ITER 341 NEW BEST:: SOT 1045912 SOS 785904 HAS SOPS 785904 HAS SOUS 703870 HAS SOUPS 703870 WITH SCORE 704655.904
AT ITER 345 NEW BEST:: SOT 1045912 SOS 786090 HAS SOPS 786090 HAS SOUS 703720 HAS SOUPS 703720 WITH SCORE 704506.09
AT ITER 346 NEW BEST:: SOT 1045912 SOS 786090 HAS SOPS 786090 HAS SOUS 703668 HAS SOUPS 703668 WITH SCORE 704454.09
AT ITER 348 NEW BEST:: SOT 1045912 SOS 786090 HAS SOPS 786090 HAS SOUS 703546 HAS SOUPS 703546 WITH SCORE 704332.09
AT ITER 354 NEW BEST:: SOT 1045912 SOS 786090 HAS SOPS 786090 HAS SOUS 703502 HAS SOUPS 703502 WITH SCORE 704288.09
AT ITER 363 NEW BEST:: SOT 1045912 SOS 786090 HAS SOPS 786090 HAS SOUS 703230 HAS SOUPS 703230 WITH SCORE 704016.09
AT ITER 366 NEW BEST:: SOT 1045912 SOS 786090 HAS SOPS 786090 HAS SOUS 703106 HAS SOUPS 703106 WITH SCORE 703892.09
AT ITER 371 NEW BEST:: SOT 1045912 SOS 786090 HAS SOPS 786090 HAS SOUS 703098 HAS SOUPS 703098 WITH SCORE 703884.09
AT ITER 373 NEW BEST:: SOT 1045912 SOS 786016 HAS SOPS 786016 HAS SOUS 702302 HAS SOUPS 702302 WITH SCORE 703088.016
AT ITER 376 NEW BEST:: SOT 1045912 SOS 786016 HAS SOPS 786016 HAS SOUS 702112 HAS SOUPS 702112 WITH SCORE 702898.016
AT ITER 377 NEW BEST:: SOT 1045912 SOS 785692 HAS SOPS 785692 HAS SOUS 701494 HAS SOUPS 701494 WITH SCORE 702279.692
AT ITER 378 NEW BEST:: SOT 1045912 SOS 785394 HAS SOPS 785394 HAS SOUS 700684 HAS SOUPS 700684 WITH SCORE 701469.394
AT ITER 380 NEW BEST:: SOT 1045912 SOS 785394 HAS SOPS 785394 HAS SOUS 700494 HAS SOUPS 700494 WITH SCORE 701279.394
AT ITER 381 NEW BEST:: SOT 1045912 SOS 785010 HAS SOPS 785010 HAS SOUS 699666 HAS SOUPS 699666 WITH SCORE 700451.01
AT ITER 382 NEW BEST:: SOT 1045912 SOS 785010 HAS SOPS 785010 HAS SOUS 699616 HAS SOUPS 699616 WITH SCORE 700401.01
AT ITER 391 NEW BEST:: SOT 1045912 SOS 785010 HAS SOPS 785010 HAS SOUS 699076 HAS SOUPS 699076 WITH SCORE 699861.01
AT ITER 394 NEW BEST:: SOT 1045912 SOS 784762 HAS SOPS 784762 HAS SOUS 698550 HAS SOUPS 698550 WITH SCORE 699334.762
AT ITER 396 NEW BEST:: SOT 1045912 SOS 784342 HAS SOPS 784342 HAS SOUS 697720 HAS SOUPS 697720 WITH SCORE 698504.342
AT ITER 397 NEW BEST:: SOT 1045912 SOS 784168 HAS SOPS 784168 HAS SOUS 697146 HAS SOUPS 697146 WITH SCORE 697930.168
AT ITER 398 NEW BEST:: SOT 1045912 SOS 784168 HAS SOPS 784168 HAS SOUS 696354 HAS SOUPS 696354 WITH SCORE 697138.168
AT ITER 399 NEW BEST:: SOT 1045912 SOS 784168 HAS SOPS 784168 HAS SOUS 695904 HAS SOUPS 695904 WITH SCORE 696688.168
AT ITER 401 NEW BEST:: SOT 1045912 SOS 784168 HAS SOPS 784168 HAS SOUS 695322 HAS SOUPS 695322 WITH SCORE 696106.168
AT ITER 406 NEW BEST:: SOT 1045912 SOS 784168 HAS SOPS 784168 HAS SOUS 695140 HAS SOUPS 695140 WITH SCORE 695924.168
AT ITER 412 NEW BEST:: SOT 1045912 SOS 784168 HAS SOPS 784168 HAS SOUS 695124 HAS SOUPS 695124 WITH SCORE 695908.168
AT ITER 413 NEW BEST:: SOT 1045912 SOS 784168 HAS SOPS 784168 HAS SOUS 694844 HAS SOUPS 694844 WITH SCORE 695628.168
AT ITER 414 NEW BEST:: SOT 1045912 SOS 784168 HAS SOPS 784168 HAS SOUS 694696 HAS SOUPS 694696 WITH SCORE 695480.168
AT ITER 415 NEW BEST:: SOT 1045912 SOS 784168 HAS SOPS 784168 HAS SOUS 694636 HAS SOUPS 694636 WITH SCORE 695420.168
AT ITER 416 NEW BEST:: SOT 1045912 SOS 784168 HAS SOPS 784168 HAS SOUS 694484 HAS SOUPS 694484 WITH SCORE 695268.168
AT ITER 418 NEW BEST:: SOT 1045912 SOS 784168 HAS SOPS 784168 HAS SOUS 693714 HAS SOUPS 693714 WITH SCORE 694498.168
AT ITER 420 NEW BEST:: SOT 1045912 SOS 783990 HAS SOPS 783990 HAS SOUS 693216 HAS SOUPS 693216 WITH SCORE 693999.99
AT ITER 423 NEW BEST:: SOT 1045912 SOS 783990 HAS SOPS 783990 HAS SOUS 692644 HAS SOUPS 692644 WITH SCORE 693427.99
AT ITER 426 NEW BEST:: SOT 1045912 SOS 783990 HAS SOPS 783990 HAS SOUS 692612 HAS SOUPS 692612 WITH SCORE 693395.99
AT ITER 428 NEW BEST:: SOT 1045912 SOS 783990 HAS SOPS 783990 HAS SOUS 692398 HAS SOUPS 692398 WITH SCORE 693181.99
AT ITER 431 NEW BEST:: SOT 1045912 SOS 783990 HAS SOPS 783990 HAS SOUS 692206 HAS SOUPS 692206 WITH SCORE 692989.99
AT ITER 433 NEW BEST:: SOT 1045912 SOS 783750 HAS SOPS 783750 HAS SOUS 691394 HAS SOUPS 691394 WITH SCORE 692177.75
AT ITER 436 NEW BEST:: SOT 1045912 SOS 783750 HAS SOPS 783750 HAS SOUS 691374 HAS SOUPS 691374 WITH SCORE 692157.75
AT ITER 439 NEW BEST:: SOT 1045912 SOS 783638 HAS SOPS 783638 HAS SOUS 691262 HAS SOUPS 691262 WITH SCORE 692045.638
AT ITER 442 NEW BEST:: SOT 1045912 SOS 783638 HAS SOPS 783638 HAS SOUS 691130 HAS SOUPS 691130 WITH SCORE 691913.638
AT ITER 445 NEW BEST:: SOT 1045912 SOS 783530 HAS SOPS 783530 HAS SOUS 690800 HAS SOUPS 690800 WITH SCORE 691583.53
AT ITER 454 NEW BEST:: SOT 1045912 SOS 783056 HAS SOPS 783056 HAS SOUS 690138 HAS SOUPS 690138 WITH SCORE 690921.056
AT ITER 455 NEW BEST:: SOT 1045912 SOS 782802 HAS SOPS 782802 HAS SOUS 689884 HAS SOUPS 689884 WITH SCORE 690666.802
AT ITER 459 NEW BEST:: SOT 1045912 SOS 782790 HAS SOPS 782790 HAS SOUS 689872 HAS SOUPS 689872 WITH SCORE 690654.79
AT ITER 467 NEW BEST:: SOT 1045912 SOS 782790 HAS SOPS 782790 HAS SOUS 689690 HAS SOUPS 689690 WITH SCORE 690472.79
AT ITER 469 NEW BEST:: SOT 1045912 SOS 782790 HAS SOPS 782790 HAS SOUS 689444 HAS SOUPS 689444 WITH SCORE 690226.79
AT ITER 473 NEW BEST:: SOT 1045912 SOS 783066 HAS SOPS 783066 HAS SOUS 689070 HAS SOUPS 689070 WITH SCORE 689853.066
AT ITER 477 NEW BEST:: SOT 1045912 SOS 782954 HAS SOPS 782954 HAS SOUS 688272 HAS SOUPS 688272 WITH SCORE 689054.954
AT ITER 478 NEW BEST:: SOT 1045912 SOS 782954 HAS SOPS 782954 HAS SOUS 687818 HAS SOUPS 687818 WITH SCORE 688600.954
AT ITER 480 NEW BEST:: SOT 1045912 SOS 782954 HAS SOPS 782954 HAS SOUS 687644 HAS SOUPS 687644 WITH SCORE 688426.954
AT ITER 481 NEW BEST:: SOT 1045912 SOS 782710 HAS SOPS 782710 HAS SOUS 686832 HAS SOUPS 686832 WITH SCORE 687614.71
AT ITER 489 NEW BEST:: SOT 1045912 SOS 782682 HAS SOPS 782682 HAS SOUS 686586 HAS SOUPS 686586 WITH SCORE 687368.682
AT ITER 494 NEW BEST:: SOT 1045912 SOS 782514 HAS SOPS 782514 HAS SOUS 686132 HAS SOUPS 686132 WITH SCORE 686914.514
AT ITER 501 NEW BEST:: SOT 1045912 SOS 782514 HAS SOPS 782514 HAS SOUS 685368 HAS SOUPS 685368 WITH SCORE 686150.514
AT ITER 503 NEW BEST:: SOT 1045912 SOS 782304 HAS SOPS 782304 HAS SOUS 684840 HAS SOUPS 684840 WITH SCORE 685622.304
AT ITER 508 NEW BEST:: SOT 1045912 SOS 782304 HAS SOPS 782304 HAS SOUS 684670 HAS SOUPS 684670 WITH SCORE 685452.304
AT ITER 512 NEW BEST:: SOT 1045912 SOS 781942 HAS SOPS 781942 HAS SOUS 684670 HAS SOUPS 684670 WITH SCORE 685451.942
AT ITER 513 NEW BEST:: SOT 1045912 SOS 781634 HAS SOPS 781634 HAS SOUS 683852 HAS SOUPS 683852 WITH SCORE 684633.634
AT ITER 516 NEW BEST:: SOT 1045912 SOS 781444 HAS SOPS 781444 HAS SOUS 683084 HAS SOUPS 683084 WITH SCORE 683865.444
AT ITER 523 NEW BEST:: SOT 1045912 SOS 781246 HAS SOPS 781246 HAS SOUS 682886 HAS SOUPS 682886 WITH SCORE 683667.246
AT ITER 524 NEW BEST:: SOT 1045912 SOS 781244 HAS SOPS 781244 HAS SOUS 682884 HAS SOUPS 682884 WITH SCORE 683665.244
AT ITER 528 NEW BEST:: SOT 1045912 SOS 781244 HAS SOPS 781244 HAS SOUS 682808 HAS SOUPS 682808 WITH SCORE 683589.244
AT ITER 529 NEW BEST:: SOT 1045912 SOS 781026 HAS SOPS 781026 HAS SOUS 682590 HAS SOUPS 682590 WITH SCORE 683371.026
AT ITER 535 NEW BEST:: SOT 1045912 SOS 781026 HAS SOPS 781026 HAS SOUS 682468 HAS SOUPS 682468 WITH SCORE 683249.026
AT ITER 537 NEW BEST:: SOT 1045912 SOS 780650 HAS SOPS 780650 HAS SOUS 681644 HAS SOUPS 681644 WITH SCORE 682424.65
AT ITER 540 NEW BEST:: SOT 1045912 SOS 780650 HAS SOPS 780650 HAS SOUS 681368 HAS SOUPS 681368 WITH SCORE 682148.65
AT ITER 543 NEW BEST:: SOT 1045912 SOS 780476 HAS SOPS 780476 HAS SOUS 681194 HAS SOUPS 681194 WITH SCORE 681974.476
AT ITER 544 NEW BEST:: SOT 1045912 SOS 780444 HAS SOPS 780444 HAS SOUS 680994 HAS SOUPS 680994 WITH SCORE 681774.444
AT ITER 547 NEW BEST:: SOT 1045912 SOS 780444 HAS SOPS 780444 HAS SOUS 680876 HAS SOUPS 680876 WITH SCORE 681656.444
AT ITER 550 NEW BEST:: SOT 1045912 SOS 779966 HAS SOPS 779966 HAS SOUS 680096 HAS SOUPS 680096 WITH SCORE 680875.966
AT ITER 552 NEW BEST:: SOT 1045912 SOS 779966 HAS SOPS 779966 HAS SOUS 679768 HAS SOUPS 679768 WITH SCORE 680547.966
AT ITER 555 NEW BEST:: SOT 1045912 SOS 779900 HAS SOPS 779900 HAS SOUS 679702 HAS SOUPS 679702 WITH SCORE 680481.9
AT ITER 556 NEW BEST:: SOT 1045912 SOS 779446 HAS SOPS 779446 HAS SOUS 678868 HAS SOUPS 678868 WITH SCORE 679647.446
AT ITER 557 NEW BEST:: SOT 1045912 SOS 779446 HAS SOPS 779446 HAS SOUS 678446 HAS SOUPS 678446 WITH SCORE 679225.446
AT ITER 558 NEW BEST:: SOT 1045912 SOS 779446 HAS SOPS 779446 HAS SOUS 678058 HAS SOUPS 678058 WITH SCORE 678837.446
AT ITER 560 NEW BEST:: SOT 1045912 SOS 779274 HAS SOPS 779274 HAS SOUS 677288 HAS SOUPS 677288 WITH SCORE 678067.274
AT ITER 571 NEW BEST:: SOT 1045912 SOS 779274 HAS SOPS 779274 HAS SOUS 676972 HAS SOUPS 676972 WITH SCORE 677751.274
AT ITER 574 NEW BEST:: SOT 1045912 SOS 779274 HAS SOPS 779274 HAS SOUS 676784 HAS SOUPS 676784 WITH SCORE 677563.274
AT ITER 578 NEW BEST:: SOT 1045912 SOS 779274 HAS SOPS 779274 HAS SOUS 676396 HAS SOUPS 676396 WITH SCORE 677175.274
AT ITER 580 NEW BEST:: SOT 1045912 SOS 779274 HAS SOPS 779274 HAS SOUS 675630 HAS SOUPS 675630 WITH SCORE 676409.274
AT ITER 582 NEW BEST:: SOT 1045912 SOS 779274 HAS SOPS 779274 HAS SOUS 675358 HAS SOUPS 675358 WITH SCORE 676137.274
AT ITER 583 NEW BEST:: SOT 1045912 SOS 778874 HAS SOPS 778874 HAS SOUS 674698 HAS SOUPS 674698 WITH SCORE 675476.874
AT ITER 584 NEW BEST:: SOT 1045912 SOS 778804 HAS SOPS 778804 HAS SOUS 674628 HAS SOUPS 674628 WITH SCORE 675406.804
AT ITER 585 NEW BEST:: SOT 1045912 SOS 778606 HAS SOPS 778606 HAS SOUS 674350 HAS SOUPS 674350 WITH SCORE 675128.606
AT ITER 590 NEW BEST:: SOT 1045912 SOS 778606 HAS SOPS 778606 HAS SOUS 673864 HAS SOUPS 673864 WITH SCORE 674642.606
AT ITER 592 NEW BEST:: SOT 1045912 SOS 778354 HAS SOPS 778354 HAS SOUS 673050 HAS SOUPS 673050 WITH SCORE 673828.354
AT ITER 600 NEW BEST:: SOT 1044422 SOS 776864 HAS SOPS 776864 HAS SOUS 671560 HAS SOUPS 671560 WITH SCORE 672336.864
AT ITER 603 NEW BEST:: SOT 1044422 SOS 776758 HAS SOPS 776758 HAS SOUS 671454 HAS SOUPS 671454 WITH SCORE 672230.758
AT ITER 606 NEW BEST:: SOT 1044422 SOS 776758 HAS SOPS 776758 HAS SOUS 670950 HAS SOUPS 670950 WITH SCORE 671726.758
AT ITER 607 NEW BEST:: SOT 1044422 SOS 776758 HAS SOPS 776758 HAS SOUS 670690 HAS SOUPS 670690 WITH SCORE 671466.758
AT ITER 613 NEW BEST:: SOT 1044422 SOS 776758 HAS SOPS 776758 HAS SOUS 670428 HAS SOUPS 670428 WITH SCORE 671204.758
AT ITER 620 NEW BEST:: SOT 1044422 SOS 776758 HAS SOPS 776758 HAS SOUS 670326 HAS SOUPS 670326 WITH SCORE 671102.758
AT ITER 621 NEW BEST:: SOT 1044422 SOS 776758 HAS SOPS 776758 HAS SOUS 669564 HAS SOUPS 669564 WITH SCORE 670340.758
AT ITER 624 NEW BEST:: SOT 1044422 SOS 776758 HAS SOPS 776758 HAS SOUS 669068 HAS SOUPS 669068 WITH SCORE 669844.758
AT ITER 626 NEW BEST:: SOT 1044422 SOS 776502 HAS SOPS 776502 HAS SOUS 668254 HAS SOUPS 668254 WITH SCORE 669030.502
AT ITER 627 NEW BEST:: SOT 1044422 SOS 776248 HAS SOPS 776248 HAS SOUS 668000 HAS SOUPS 668000 WITH SCORE 668776.248
AT ITER 629 NEW BEST:: SOT 1043400 SOS 775226 HAS SOPS 775226 HAS SOUS 666610 HAS SOUPS 666610 WITH SCORE 667385.226
AT ITER 631 NEW BEST:: SOT 1043400 SOS 775226 HAS SOPS 775226 HAS SOUS 666070 HAS SOUPS 666070 WITH SCORE 666845.226
AT ITER 632 NEW BEST:: SOT 1043400 SOS 775226 HAS SOPS 775226 HAS SOUS 665674 HAS SOUPS 665674 WITH SCORE 666449.226
AT ITER 633 NEW BEST:: SOT 1043400 SOS 775226 HAS SOPS 775226 HAS SOUS 664888 HAS SOUPS 664888 WITH SCORE 665663.226
AT ITER 634 NEW BEST:: SOT 1043400 SOS 775226 HAS SOPS 775226 HAS SOUS 664402 HAS SOUPS 664402 WITH SCORE 665177.226
AT ITER 636 NEW BEST:: SOT 1043400 SOS 775226 HAS SOPS 775226 HAS SOUS 664336 HAS SOUPS 664336 WITH SCORE 665111.226
AT ITER 638 NEW BEST:: SOT 1043400 SOS 775120 HAS SOPS 775120 HAS SOUS 664230 HAS SOUPS 664230 WITH SCORE 665005.12
AT ITER 640 NEW BEST:: SOT 1043400 SOS 775120 HAS SOPS 775120 HAS SOUS 664060 HAS SOUPS 664060 WITH SCORE 664835.12
AT ITER 641 NEW BEST:: SOT 1043400 SOS 775104 HAS SOPS 775104 HAS SOUS 663566 HAS SOUPS 663566 WITH SCORE 664341.104
AT ITER 642 NEW BEST:: SOT 1043400 SOS 775064 HAS SOPS 775064 HAS SOUS 663496 HAS SOUPS 663496 WITH SCORE 664271.064
AT ITER 647 NEW BEST:: SOT 1043400 SOS 774876 HAS SOPS 774876 HAS SOUS 663308 HAS SOUPS 663308 WITH SCORE 664082.876
AT ITER 650 NEW BEST:: SOT 1042888 SOS 774364 HAS SOPS 774364 HAS SOUS 662796 HAS SOUPS 662796 WITH SCORE 663570.364
AT ITER 651 NEW BEST:: SOT 1042888 SOS 774170 HAS SOPS 774170 HAS SOUS 662184 HAS SOUPS 662184 WITH SCORE 662958.17
AT ITER 652 NEW BEST:: SOT 1042888 SOS 774130 HAS SOPS 774130 HAS SOUS 662144 HAS SOUPS 662144 WITH SCORE 662918.13
AT ITER 659 NEW BEST:: SOT 1042888 SOS 774006 HAS SOPS 774006 HAS SOUS 661884 HAS SOUPS 661884 WITH SCORE 662658.006
AT ITER 663 NEW BEST:: SOT 1042888 SOS 774006 HAS SOPS 774006 HAS SOUS 661128 HAS SOUPS 661128 WITH SCORE 661902.006
AT ITER 664 NEW BEST:: SOT 1042888 SOS 774006 HAS SOPS 774006 HAS SOUS 660544 HAS SOUPS 660544 WITH SCORE 661318.006
AT ITER 666 NEW BEST:: SOT 1042888 SOS 773914 HAS SOPS 773914 HAS SOUS 660452 HAS SOUPS 660452 WITH SCORE 661225.914
AT ITER 667 NEW BEST:: SOT 1042888 SOS 773738 HAS SOPS 773738 HAS SOUS 660156 HAS SOUPS 660156 WITH SCORE 660929.738
AT ITER 673 NEW BEST:: SOT 1042888 SOS 773738 HAS SOPS 773738 HAS SOUS 660080 HAS SOUPS 660080 WITH SCORE 660853.738
AT ITER 676 NEW BEST:: SOT 1042888 SOS 773738 HAS SOPS 773738 HAS SOUS 659868 HAS SOUPS 659868 WITH SCORE 660641.738
AT ITER 680 NEW BEST:: SOT 1042888 SOS 773738 HAS SOPS 773738 HAS SOUS 659830 HAS SOUPS 659830 WITH SCORE 660603.738
AT ITER 681 NEW BEST:: SOT 1042888 SOS 773738 HAS SOPS 773738 HAS SOUS 659478 HAS SOUPS 659478 WITH SCORE 660251.738
AT ITER 683 NEW BEST:: SOT 1042888 SOS 773738 HAS SOPS 773738 HAS SOUS 659438 HAS SOUPS 659438 WITH SCORE 660211.738
AT ITER 684 NEW BEST:: SOT 1042888 SOS 773738 HAS SOPS 773738 HAS SOUS 658752 HAS SOUPS 658752 WITH SCORE 659525.738
AT ITER 685 NEW BEST:: SOT 1042888 SOS 773354 HAS SOPS 773354 HAS SOUS 658226 HAS SOUPS 658226 WITH SCORE 658999.354
AT ITER 686 NEW BEST:: SOT 1042888 SOS 773308 HAS SOPS 773308 HAS SOUS 657724 HAS SOUPS 657724 WITH SCORE 658497.308
AT ITER 691 NEW BEST:: SOT 1042888 SOS 773308 HAS SOPS 773308 HAS SOUS 656974 HAS SOUPS 656974 WITH SCORE 657747.308
AT ITER 702 NEW BEST:: SOT 1039830 SOS 771032 HAS SOPS 771032 HAS SOUS 653914 HAS SOUPS 653914 WITH SCORE 654685.032
AT ITER 704 NEW BEST:: SOT 1039830 SOS 771032 HAS SOPS 771032 HAS SOUS 653606 HAS SOUPS 653606 WITH SCORE 654377.032
AT ITER 712 NEW BEST:: SOT 1039830 SOS 770988 HAS SOPS 770988 HAS SOUS 653562 HAS SOUPS 653562 WITH SCORE 654332.988
AT ITER 715 NEW BEST:: SOT 1039830 SOS 770872 HAS SOPS 770872 HAS SOUS 653446 HAS SOUPS 653446 WITH SCORE 654216.872
AT ITER 739 NEW BEST:: SOT 1039830 SOS 770872 HAS SOPS 770872 HAS SOUS 653386 HAS SOUPS 653386 WITH SCORE 654156.872
AT ITER 740 NEW BEST:: SOT 1039830 SOS 770872 HAS SOPS 770872 HAS SOUS 652856 HAS SOUPS 652856 WITH SCORE 653626.872
AT ITER 741 NEW BEST:: SOT 1039830 SOS 770664 HAS SOPS 770664 HAS SOUS 652266 HAS SOUPS 652266 WITH SCORE 653036.664
AT ITER 742 NEW BEST:: SOT 1039830 SOS 770656 HAS SOPS 770656 HAS SOUS 651482 HAS SOUPS 651482 WITH SCORE 652252.656
AT ITER 749 NEW BEST:: SOT 1039830 SOS 770618 HAS SOPS 770618 HAS SOUS 651444 HAS SOUPS 651444 WITH SCORE 652214.618
AT ITER 756 NEW BEST:: SOT 1039830 SOS 770618 HAS SOPS 770618 HAS SOUS 650976 HAS SOUPS 650976 WITH SCORE 651746.618
AT ITER 760 NEW BEST:: SOT 1039830 SOS 770618 HAS SOPS 770618 HAS SOUS 650952 HAS SOUPS 650952 WITH SCORE 651722.618
AT ITER 777 NEW BEST:: SOT 1038458 SOS 769246 HAS SOPS 769246 HAS SOUS 649278 HAS SOUPS 649278 WITH SCORE 650047.246
AT ITER 778 NEW BEST:: SOT 1038458 SOS 769214 HAS SOPS 769214 HAS SOUS 648172 HAS SOUPS 648172 WITH SCORE 648941.214
AT ITER 780 NEW BEST:: SOT 1038458 SOS 769214 HAS SOPS 769214 HAS SOUS 648162 HAS SOUPS 648162 WITH SCORE 648931.214
AT ITER 781 NEW BEST:: SOT 1038458 SOS 769214 HAS SOPS 769214 HAS SOUS 647750 HAS SOUPS 647750 WITH SCORE 648519.214
AT ITER 783 NEW BEST:: SOT 1038458 SOS 769214 HAS SOPS 769214 HAS SOUS 647704 HAS SOUPS 647704 WITH SCORE 648473.214
AT ITER 787 NEW BEST:: SOT 1038158 SOS 768914 HAS SOPS 768914 HAS SOUS 647404 HAS SOUPS 647404 WITH SCORE 648172.914
AT ITER 790 NEW BEST:: SOT 1038158 SOS 768770 HAS SOPS 768770 HAS SOUS 647148 HAS SOUPS 647148 WITH SCORE 647916.77
AT ITER 793 NEW BEST:: SOT 1038158 SOS 768770 HAS SOPS 768770 HAS SOUS 646766 HAS SOUPS 646766 WITH SCORE 647534.77
AT ITER 795 NEW BEST:: SOT 1038158 SOS 768712 HAS SOPS 768712 HAS SOUS 646708 HAS SOUPS 646708 WITH SCORE 647476.712
AT ITER 798 NEW BEST:: SOT 1038158 SOS 768662 HAS SOPS 768662 HAS SOUS 646438 HAS SOUPS 646438 WITH SCORE 647206.662
AT ITER 806 NEW BEST:: SOT 1038158 SOS 768588 HAS SOPS 768588 HAS SOUS 646364 HAS SOUPS 646364 WITH SCORE 647132.588
AT ITER 808 NEW BEST:: SOT 1038158 SOS 768586 HAS SOPS 768586 HAS SOUS 646200 HAS SOUPS 646200 WITH SCORE 646968.586
AT ITER 814 NEW BEST:: SOT 1038158 SOS 768244 HAS SOPS 768244 HAS SOUS 645858 HAS SOUPS 645858 WITH SCORE 646626.244
AT ITER 819 NEW BEST:: SOT 1038158 SOS 768244 HAS SOPS 768244 HAS SOUS 645812 HAS SOUPS 645812 WITH SCORE 646580.244
AT ITER 825 NEW BEST:: SOT 1038158 SOS 768244 HAS SOPS 768244 HAS SOUS 645764 HAS SOUPS 645764 WITH SCORE 646532.244
AT ITER 826 NEW BEST:: SOT 1038158 SOS 768244 HAS SOPS 768244 HAS SOUS 645258 HAS SOUPS 645258 WITH SCORE 646026.244
AT ITER 827 NEW BEST:: SOT 1038158 SOS 768244 HAS SOPS 768244 HAS SOUS 645070 HAS SOUPS 645070 WITH SCORE 645838.244
AT ITER 829 NEW BEST:: SOT 1038158 SOS 768244 HAS SOPS 768244 HAS SOUS 644308 HAS SOUPS 644308 WITH SCORE 645076.244
AT ITER 831 NEW BEST:: SOT 1038158 SOS 768244 HAS SOPS 768244 HAS SOUS 644074 HAS SOUPS 644074 WITH SCORE 644842.244
AT ITER 832 NEW BEST:: SOT 1038158 SOS 768106 HAS SOPS 768106 HAS SOUS 643936 HAS SOUPS 643936 WITH SCORE 644704.106
AT ITER 835 NEW BEST:: SOT 1038158 SOS 768106 HAS SOPS 768106 HAS SOUS 642976 HAS SOUPS 642976 WITH SCORE 643744.106
AT ITER 837 NEW BEST:: SOT 1038158 SOS 768106 HAS SOPS 768106 HAS SOUS 642530 HAS SOUPS 642530 WITH SCORE 643298.106
AT ITER 840 NEW BEST:: SOT 1038158 SOS 768106 HAS SOPS 768106 HAS SOUS 642222 HAS SOUPS 642222 WITH SCORE 642990.106
AT ITER 841 NEW BEST:: SOT 1038158 SOS 768106 HAS SOPS 768106 HAS SOUS 642174 HAS SOUPS 642174 WITH SCORE 642942.106
AT ITER 847 NEW BEST:: SOT 1038158 SOS 768106 HAS SOPS 768106 HAS SOUS 641850 HAS SOUPS 641850 WITH SCORE 642618.106
AT ITER 851 NEW BEST:: SOT 1038158 SOS 768052 HAS SOPS 768052 HAS SOUS 641076 HAS SOUPS 641076 WITH SCORE 641844.052
AT ITER 853 NEW BEST:: SOT 1037718 SOS 795230 HAS SOPS 795230 HAS SOUS 640568 HAS SOUPS 640568 WITH SCORE 641363.23
AT ITER 856 NEW BEST:: SOT 1037718 SOS 795230 HAS SOPS 795230 HAS SOUS 640260 HAS SOUPS 640260 WITH SCORE 641055.23
AT ITER 861 NEW BEST:: SOT 1037718 SOS 795230 HAS SOPS 795230 HAS SOUS 640154 HAS SOUPS 640154 WITH SCORE 640949.23
AT ITER 862 NEW BEST:: SOT 1037718 SOS 795230 HAS SOPS 795230 HAS SOUS 639880 HAS SOUPS 639880 WITH SCORE 640675.23
AT ITER 864 NEW BEST:: SOT 1037718 SOS 795076 HAS SOPS 795076 HAS SOUS 639622 HAS SOUPS 639622 WITH SCORE 640417.076
AT ITER 874 NEW BEST:: SOT 1037718 SOS 795012 HAS SOPS 795012 HAS SOUS 639484 HAS SOUPS 639484 WITH SCORE 640279.012
AT ITER 878 NEW BEST:: SOT 1037718 SOS 795012 HAS SOPS 795012 HAS SOUS 638990 HAS SOUPS 638990 WITH SCORE 639785.012
AT ITER 882 NEW BEST:: SOT 1037718 SOS 795012 HAS SOPS 795012 HAS SOUS 638722 HAS SOUPS 638722 WITH SCORE 639517.012
AT ITER 891 NEW BEST:: SOT 1037718 SOS 795012 HAS SOPS 795012 HAS SOUS 638582 HAS SOUPS 638582 WITH SCORE 639377.012
AT ITER 897 NEW BEST:: SOT 1037718 SOS 795012 HAS SOPS 795012 HAS SOUS 638198 HAS SOUPS 638198 WITH SCORE 638993.012
AT ITER 899 NEW BEST:: SOT 1037718 SOS 794562 HAS SOPS 794562 HAS SOUS 637748 HAS SOUPS 637748 WITH SCORE 638542.562
AT ITER 901 NEW BEST:: SOT 1037718 SOS 794396 HAS SOPS 794396 HAS SOUS 637352 HAS SOUPS 637352 WITH SCORE 638146.396
AT ITER 902 NEW BEST:: SOT 1037470 SOS 794148 HAS SOPS 794148 HAS SOUS 637104 HAS SOUPS 637104 WITH SCORE 637898.148
AT ITER 906 NEW BEST:: SOT 1037470 SOS 794148 HAS SOPS 794148 HAS SOUS 637084 HAS SOUPS 637084 WITH SCORE 637878.148
AT ITER 910 NEW BEST:: SOT 1037470 SOS 794148 HAS SOPS 794148 HAS SOUS 636892 HAS SOUPS 636892 WITH SCORE 637686.148
AT ITER 918 NEW BEST:: SOT 1037470 SOS 794148 HAS SOPS 794148 HAS SOUS 636824 HAS SOUPS 636824 WITH SCORE 637618.148
AT ITER 919 NEW BEST:: SOT 1037470 SOS 794148 HAS SOPS 794148 HAS SOUS 636650 HAS SOUPS 636650 WITH SCORE 637444.148
AT ITER 923 NEW BEST:: SOT 1037470 SOS 793958 HAS SOPS 793958 HAS SOUS 636460 HAS SOUPS 636460 WITH SCORE 637253.958
AT ITER 924 NEW BEST:: SOT 1037470 SOS 793958 HAS SOPS 793958 HAS SOUS 636398 HAS SOUPS 636398 WITH SCORE 637191.958
AT ITER 929 NEW BEST:: SOT 1036998 SOS 865780 HAS SOPS 865780 HAS SOUS 636068 HAS SOUPS 636068 WITH SCORE 636933.78
AT ITER 933 NEW BEST:: SOT 1036998 SOS 865780 HAS SOPS 865780 HAS SOUS 636004 HAS SOUPS 636004 WITH SCORE 636869.78
AT ITER 938 NEW BEST:: SOT 1036998 SOS 865604 HAS SOPS 865604 HAS SOUS 635244 HAS SOUPS 635244 WITH SCORE 636109.604
AT ITER 939 NEW BEST:: SOT 1036998 SOS 865298 HAS SOPS 865298 HAS SOUS 633612 HAS SOUPS 633612 WITH SCORE 634477.298
AT ITER 940 NEW BEST:: SOT 1036998 SOS 865298 HAS SOPS 865298 HAS SOUS 633608 HAS SOUPS 633608 WITH SCORE 634473.298
AT ITER 945 NEW BEST:: SOT 1036998 SOS 865298 HAS SOPS 865298 HAS SOUS 633108 HAS SOUPS 633108 WITH SCORE 633973.298
AT ITER 952 NEW BEST:: SOT 1036998 SOS 865298 HAS SOPS 865298 HAS SOUS 633088 HAS SOUPS 633088 WITH SCORE 633953.298
AT ITER 955 NEW BEST:: SOT 1036998 SOS 865298 HAS SOPS 865298 HAS SOUS 632894 HAS SOUPS 632894 WITH SCORE 633759.298
AT ITER 961 NEW BEST:: SOT 1035512 SOS 896050 HAS SOPS 896050 HAS SOUS 631496 HAS SOUPS 631496 WITH SCORE 632392.05
AT ITER 966 NEW BEST:: SOT 1035512 SOS 896050 HAS SOPS 896050 HAS SOUS 631464 HAS SOUPS 631464 WITH SCORE 632360.05
AT ITER 967 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 631188 HAS SOUPS 631188 WITH SCORE 632083.774
AT ITER 971 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 631110 HAS SOUPS 631110 WITH SCORE 632005.774
AT ITER 982 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 631092 HAS SOUPS 631092 WITH SCORE 631987.774
AT ITER 983 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 630036 HAS SOUPS 630036 WITH SCORE 630931.774
AT ITER 989 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 629792 HAS SOUPS 629792 WITH SCORE 630687.774
AT ITER 990 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 629716 HAS SOUPS 629716 WITH SCORE 630611.774
AT ITER 1003 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 629486 HAS SOUPS 629486 WITH SCORE 630381.774
AT ITER 1011 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 629432 HAS SOUPS 629432 WITH SCORE 630327.774
AT ITER 1021 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 628986 HAS SOUPS 628986 WITH SCORE 629881.774
AT ITER 1028 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 628320 HAS SOUPS 628320 WITH SCORE 629215.774
AT ITER 1031 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 628122 HAS SOUPS 628122 WITH SCORE 629017.774
AT ITER 1034 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 628078 HAS SOUPS 628078 WITH SCORE 628973.774
AT ITER 1036 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 628056 HAS SOUPS 628056 WITH SCORE 628951.774
AT ITER 1052 NEW BEST:: SOT 1035544 SOS 895774 HAS SOPS 895774 HAS SOUS 627676 HAS SOUPS 627676 WITH SCORE 628571.774
AT ITER 1061 NEW BEST:: SOT 1035362 SOS 895592 HAS SOPS 895592 HAS SOUS 627494 HAS SOUPS 627494 WITH SCORE 628389.592
AT ITER 1065 NEW BEST:: SOT 1035362 SOS 895592 HAS SOPS 895592 HAS SOUS 627476 HAS SOUPS 627476 WITH SCORE 628371.592
AT ITER 1070 NEW BEST:: SOT 1035362 SOS 895474 HAS SOPS 895474 HAS SOUS 626668 HAS SOUPS 626668 WITH SCORE 627563.474
AT ITER 1071 NEW BEST:: SOT 1035362 SOS 895474 HAS SOPS 895474 HAS SOUS 626142 HAS SOUPS 626142 WITH SCORE 627037.474
AT ITER 1073 NEW BEST:: SOT 1035362 SOS 895474 HAS SOPS 895474 HAS SOUS 625546 HAS SOUPS 625546 WITH SCORE 626441.474
AT ITER 1079 NEW BEST:: SOT 1035362 SOS 895474 HAS SOPS 895474 HAS SOUS 625468 HAS SOUPS 625468 WITH SCORE 626363.474
AT ITER 1080 NEW BEST:: SOT 1035362 SOS 895474 HAS SOPS 895474 HAS SOUS 625384 HAS SOUPS 625384 WITH SCORE 626279.474
AT ITER 1084 NEW BEST:: SOT 1035362 SOS 895474 HAS SOPS 895474 HAS SOUS 625290 HAS SOUPS 625290 WITH SCORE 626185.474
AT ITER 1087 NEW BEST:: SOT 1035362 SOS 895474 HAS SOPS 895474 HAS SOUS 625190 HAS SOUPS 625190 WITH SCORE 626085.474
AT ITER 1090 NEW BEST:: SOT 1035362 SOS 895474 HAS SOPS 895474 HAS SOUS 624936 HAS SOUPS 624936 WITH SCORE 625831.474
AT ITER 1096 NEW BEST:: SOT 1035362 SOS 895474 HAS SOPS 895474 HAS SOUS 624776 HAS SOUPS 624776 WITH SCORE 625671.474
AT ITER 1102 NEW BEST:: SOT 1035362 SOS 930984 HAS SOPS 930984 HAS SOUS 624688 HAS SOUPS 624688 WITH SCORE 625618.984
AT ITER 1105 NEW BEST:: SOT 1035362 SOS 930984 HAS SOPS 930984 HAS SOUS 624610 HAS SOUPS 624610 WITH SCORE 625540.984
AT ITER 1112 NEW BEST:: SOT 1035362 SOS 930984 HAS SOPS 930984 HAS SOUS 624594 HAS SOUPS 624594 WITH SCORE 625524.984
AT ITER 1118 NEW BEST:: SOT 1035362 SOS 930984 HAS SOPS 930984 HAS SOUS 624350 HAS SOUPS 624350 WITH SCORE 625280.984
AT ITER 1119 NEW BEST:: SOT 1035362 SOS 930984 HAS SOPS 930984 HAS SOUS 624122 HAS SOUPS 624122 WITH SCORE 625052.984
AT ITER 1124 NEW BEST:: SOT 1035362 SOS 930984 HAS SOPS 930984 HAS SOUS 623530 HAS SOUPS 623530 WITH SCORE 624460.984
AT ITER 1127 NEW BEST:: SOT 1035362 SOS 930982 HAS SOPS 930982 HAS SOUS 623528 HAS SOUPS 623528 WITH SCORE 624458.982
AT ITER 1128 NEW BEST:: SOT 1035362 SOS 930982 HAS SOPS 930982 HAS SOUS 623274 HAS SOUPS 623274 WITH SCORE 624204.982
AT ITER 1129 NEW BEST:: SOT 1035362 SOS 931698 HAS SOPS 931698 HAS SOUS 623200 HAS SOUPS 623200 WITH SCORE 624131.698
AT ITER 1131 NEW BEST:: SOT 1035362 SOS 931698 HAS SOPS 931698 HAS SOUS 623178 HAS SOUPS 623178 WITH SCORE 624109.698
AT ITER 1138 NEW BEST:: SOT 1035362 SOS 931698 HAS SOPS 931698 HAS SOUS 623122 HAS SOUPS 623122 WITH SCORE 624053.698
AT ITER 1146 NEW BEST:: SOT 1035362 SOS 931698 HAS SOPS 931698 HAS SOUS 623112 HAS SOUPS 623112 WITH SCORE 624043.698
AT ITER 1147 NEW BEST:: SOT 1035362 SOS 931698 HAS SOPS 931698 HAS SOUS 622662 HAS SOUPS 622662 WITH SCORE 623593.698
AT ITER 1149 NEW BEST:: SOT 1035362 SOS 931460 HAS SOPS 931460 HAS SOUS 622424 HAS SOUPS 622424 WITH SCORE 623355.46
AT ITER 1154 NEW BEST:: SOT 1035362 SOS 931460 HAS SOPS 931460 HAS SOUS 622400 HAS SOUPS 622400 WITH SCORE 623331.46
AT ITER 1174 NEW BEST:: SOT 1035362 SOS 931402 HAS SOPS 931402 HAS SOUS 622204 HAS SOUPS 622204 WITH SCORE 623135.402
AT ITER 1187 NEW BEST:: SOT 1035362 SOS 931402 HAS SOPS 931402 HAS SOUS 621888 HAS SOUPS 621888 WITH SCORE 622819.402
AT ITER 1190 NEW BEST:: SOT 1035362 SOS 931402 HAS SOPS 931402 HAS SOUS 621756 HAS SOUPS 621756 WITH SCORE 622687.402
AT ITER 1196 NEW BEST:: SOT 1035362 SOS 931402 HAS SOPS 931402 HAS SOUS 621490 HAS SOUPS 621490 WITH SCORE 622421.402
AT ITER 1197 NEW BEST:: SOT 1035362 SOS 931402 HAS SOPS 931402 HAS SOUS 621044 HAS SOUPS 621044 WITH SCORE 621975.402
AT ITER 1199 NEW BEST:: SOT 1035362 SOS 931402 HAS SOPS 931402 HAS SOUS 621020 HAS SOUPS 621020 WITH SCORE 621951.402
AT ITER 1202 NEW BEST:: SOT 1035362 SOS 931214 HAS SOPS 931214 HAS SOUS 620488 HAS SOUPS 620488 WITH SCORE 621419.214
AT ITER 1211 NEW BEST:: SOT 1035362 SOS 931214 HAS SOPS 931214 HAS SOUS 620398 HAS SOUPS 620398 WITH SCORE 621329.214
AT ITER 1212 NEW BEST:: SOT 1035362 SOS 931214 HAS SOPS 931214 HAS SOUS 619650 HAS SOUPS 619650 WITH SCORE 620581.214
AT ITER 1213 NEW BEST:: SOT 1035362 SOS 931214 HAS SOPS 931214 HAS SOUS 619626 HAS SOUPS 619626 WITH SCORE 620557.214
AT ITER 1218 NEW BEST:: SOT 1035362 SOS 931214 HAS SOPS 931214 HAS SOUS 619610 HAS SOUPS 619610 WITH SCORE 620541.214
AT ITER 1222 NEW BEST:: SOT 1035362 SOS 931214 HAS SOPS 931214 HAS SOUS 619594 HAS SOUPS 619594 WITH SCORE 620525.214
AT ITER 1226 NEW BEST:: SOT 1035362 SOS 931158 HAS SOPS 931158 HAS SOUS 619538 HAS SOUPS 619538 WITH SCORE 620469.158
AT ITER 1228 NEW BEST:: SOT 1035362 SOS 931158 HAS SOPS 931158 HAS SOUS 619438 HAS SOUPS 619438 WITH SCORE 620369.158
AT ITER 1232 NEW BEST:: SOT 1035362 SOS 931158 HAS SOPS 931158 HAS SOUS 618716 HAS SOUPS 618716 WITH SCORE 619647.158
AT ITER 1236 NEW BEST:: SOT 1035362 SOS 931126 HAS SOPS 931126 HAS SOUS 618684 HAS SOUPS 618684 WITH SCORE 619615.126
AT ITER 1247 NEW BEST:: SOT 1035362 SOS 931126 HAS SOPS 931126 HAS SOUS 618650 HAS SOUPS 618650 WITH SCORE 619581.126
AT ITER 1248 NEW BEST:: SOT 1035362 SOS 931126 HAS SOPS 931126 HAS SOUS 618536 HAS SOUPS 618536 WITH SCORE 619467.126
AT ITER 1251 NEW BEST:: SOT 1035362 SOS 931126 HAS SOPS 931126 HAS SOUS 618470 HAS SOUPS 618470 WITH SCORE 619401.126
AT ITER 1255 NEW BEST:: SOT 1035362 SOS 931126 HAS SOPS 931126 HAS SOUS 618220 HAS SOUPS 618220 WITH SCORE 619151.126
AT ITER 1266 NEW BEST:: SOT 1035362 SOS 931126 HAS SOPS 931126 HAS SOUS 618190 HAS SOUPS 618190 WITH SCORE 619121.126
AT ITER 1285 NEW BEST:: SOT 1035362 SOS 931126 HAS SOPS 931126 HAS SOUS 618120 HAS SOUPS 618120 WITH SCORE 619051.126
AT ITER 1289 NEW BEST:: SOT 1035362 SOS 931126 HAS SOPS 931126 HAS SOUS 617862 HAS SOUPS 617862 WITH SCORE 618793.126
AT ITER 1293 NEW BEST:: SOT 1035362 SOS 931126 HAS SOPS 931126 HAS SOUS 617784 HAS SOUPS 617784 WITH SCORE 618715.126
AT ITER 1297 NEW BEST:: SOT 1035362 SOS 931126 HAS SOPS 931126 HAS SOUS 616986 HAS SOUPS 616986 WITH SCORE 617917.126
AT ITER 1298 NEW BEST:: SOT 1035362 SOS 931126 HAS SOPS 931126 HAS SOUS 616762 HAS SOUPS 616762 WITH SCORE 617693.126
AT ITER 1300 NEW BEST:: SOT 1035362 SOS 931066 HAS SOPS 931066 HAS SOUS 616572 HAS SOUPS 616572 WITH SCORE 617503.066
AT ITER 1303 NEW BEST:: SOT 1035362 SOS 931066 HAS SOPS 931066 HAS SOUS 616462 HAS SOUPS 616462 WITH SCORE 617393.066
AT ITER 1304 NEW BEST:: SOT 1035362 SOS 930942 HAS SOPS 930942 HAS SOUS 616224 HAS SOUPS 616224 WITH SCORE 617154.942
AT ITER 1308 NEW BEST:: SOT 1035362 SOS 930942 HAS SOPS 930942 HAS SOUS 616038 HAS SOUPS 616038 WITH SCORE 616968.942
AT ITER 1311 NEW BEST:: SOT 1035362 SOS 930942 HAS SOPS 930942 HAS SOUS 615876 HAS SOUPS 615876 WITH SCORE 616806.942
AT ITER 1312 NEW BEST:: SOT 1035362 SOS 930942 HAS SOPS 930942 HAS SOUS 615870 HAS SOUPS 615870 WITH SCORE 616800.942
AT ITER 1314 NEW BEST:: SOT 1035362 SOS 930942 HAS SOPS 930942 HAS SOUS 615712 HAS SOUPS 615712 WITH SCORE 616642.942
AT ITER 1321 NEW BEST:: SOT 1035362 SOS 930942 HAS SOPS 930942 HAS SOUS 615518 HAS SOUPS 615518 WITH SCORE 616448.942
AT ITER 1322 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 614734 HAS SOUPS 614734 WITH SCORE 615664.722
AT ITER 1323 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 614616 HAS SOUPS 614616 WITH SCORE 615546.722
AT ITER 1324 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 614310 HAS SOUPS 614310 WITH SCORE 615240.722
AT ITER 1335 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 614122 HAS SOUPS 614122 WITH SCORE 615052.722
AT ITER 1352 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 613772 HAS SOUPS 613772 WITH SCORE 614702.722
AT ITER 1353 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 613692 HAS SOUPS 613692 WITH SCORE 614622.722
AT ITER 1372 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 613480 HAS SOUPS 613480 WITH SCORE 614410.722
AT ITER 1376 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 613442 HAS SOUPS 613442 WITH SCORE 614372.722
AT ITER 1379 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 613412 HAS SOUPS 613412 WITH SCORE 614342.722
AT ITER 1383 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 613002 HAS SOUPS 613002 WITH SCORE 613932.722
AT ITER 1387 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 612998 HAS SOUPS 612998 WITH SCORE 613928.722
AT ITER 1388 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 612992 HAS SOUPS 612992 WITH SCORE 613922.722
AT ITER 1390 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 612794 HAS SOUPS 612794 WITH SCORE 613724.722
AT ITER 1395 NEW BEST:: SOT 1035142 SOS 930722 HAS SOPS 930722 HAS SOUS 612530 HAS SOUPS 612530 WITH SCORE 613460.722
AT ITER 1400 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 612506 HAS SOUPS 612506 WITH SCORE 613436.698
AT ITER 1408 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 612498 HAS SOUPS 612498 WITH SCORE 613428.698
AT ITER 1411 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 612376 HAS SOUPS 612376 WITH SCORE 613306.698
AT ITER 1414 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 612366 HAS SOUPS 612366 WITH SCORE 613296.698
AT ITER 1416 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 611888 HAS SOUPS 611888 WITH SCORE 612818.698
AT ITER 1430 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 611666 HAS SOUPS 611666 WITH SCORE 612596.698
AT ITER 1439 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 611470 HAS SOUPS 611470 WITH SCORE 612400.698
AT ITER 1440 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 610638 HAS SOUPS 610638 WITH SCORE 611568.698
AT ITER 1442 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 610578 HAS SOUPS 610578 WITH SCORE 611508.698
AT ITER 1443 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 610556 HAS SOUPS 610556 WITH SCORE 611486.698
AT ITER 1471 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 610296 HAS SOUPS 610296 WITH SCORE 611226.698
AT ITER 1473 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 610276 HAS SOUPS 610276 WITH SCORE 611206.698
AT ITER 1477 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 610204 HAS SOUPS 610204 WITH SCORE 611134.698
AT ITER 1484 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 610106 HAS SOUPS 610106 WITH SCORE 611036.698
AT ITER 1485 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 609730 HAS SOUPS 609730 WITH SCORE 610660.698
AT ITER 1494 NEW BEST:: SOT 1035142 SOS 930698 HAS SOPS 930698 HAS SOUS 608970 HAS SOUPS 608970 WITH SCORE 609900.698
AT ITER 1495 NEW BEST:: SOT 1034928 SOS 930528 HAS SOPS 930528 HAS SOUS 608494 HAS SOUPS 608494 WITH SCORE 609424.528
AT ITER 1496 NEW BEST:: SOT 1034928 SOS 930428 HAS SOPS 930428 HAS SOUS 608394 HAS SOUPS 608394 WITH SCORE 609324.428
AT ITER 1505 NEW BEST:: SOT 1034928 SOS 930428 HAS SOPS 930428 HAS SOUS 608304 HAS SOUPS 608304 WITH SCORE 609234.428
AT ITER 1511 NEW BEST:: SOT 1034928 SOS 930428 HAS SOPS 930428 HAS SOUS 608148 HAS SOUPS 608148 WITH SCORE 609078.428
AT ITER 1519 NEW BEST:: SOT 1034928 SOS 930378 HAS SOPS 930378 HAS SOUS 608064 HAS SOUPS 608064 WITH SCORE 608994.378
AT ITER 1524 NEW BEST:: SOT 1034928 SOS 930378 HAS SOPS 930378 HAS SOUS 607526 HAS SOUPS 607526 WITH SCORE 608456.378
AT ITER 1525 NEW BEST:: SOT 1034928 SOS 930302 HAS SOPS 930302 HAS SOUS 607280 HAS SOUPS 607280 WITH SCORE 608210.302
AT ITER 1529 NEW BEST:: SOT 1034928 SOS 930302 HAS SOPS 930302 HAS SOUS 607268 HAS SOUPS 607268 WITH SCORE 608198.302
AT ITER 1537 NEW BEST:: SOT 1034928 SOS 930302 HAS SOPS 930302 HAS SOUS 607218 HAS SOUPS 607218 WITH SCORE 608148.302
AT ITER 1542 NEW BEST:: SOT 1034928 SOS 930302 HAS SOPS 930302 HAS SOUS 606912 HAS SOUPS 606912 WITH SCORE 607842.302
AT ITER 1545 NEW BEST:: SOT 1034928 SOS 930302 HAS SOPS 930302 HAS SOUS 606760 HAS SOUPS 606760 WITH SCORE 607690.302
AT ITER 1555 NEW BEST:: SOT 1034928 SOS 930302 HAS SOPS 930302 HAS SOUS 606610 HAS SOUPS 606610 WITH SCORE 607540.302
AT ITER 1564 NEW BEST:: SOT 1034928 SOS 930302 HAS SOPS 930302 HAS SOUS 606296 HAS SOUPS 606296 WITH SCORE 607226.302
AT ITER 1568 NEW BEST:: SOT 1034928 SOS 930302 HAS SOPS 930302 HAS SOUS 606128 HAS SOUPS 606128 WITH SCORE 607058.302
AT ITER 1571 NEW BEST:: SOT 1034256 SOS 929498 HAS SOPS 929498 HAS SOUS 604652 HAS SOUPS 604652 WITH SCORE 605581.498
AT ITER 1573 NEW BEST:: SOT 1034256 SOS 929498 HAS SOPS 929498 HAS SOUS 604346 HAS SOUPS 604346 WITH SCORE 605275.498
AT ITER 1574 NEW BEST:: SOT 1034256 SOS 929498 HAS SOPS 929498 HAS SOUS 604110 HAS SOUPS 604110 WITH SCORE 605039.498
AT ITER 1580 NEW BEST:: SOT 1034256 SOS 929498 HAS SOPS 929498 HAS SOUS 603286 HAS SOUPS 603286 WITH SCORE 604215.498
AT ITER 1581 NEW BEST:: SOT 1034256 SOS 929498 HAS SOPS 929498 HAS SOUS 603282 HAS SOUPS 603282 WITH SCORE 604211.498
AT ITER 1582 NEW BEST:: SOT 1034256 SOS 929498 HAS SOPS 929498 HAS SOUS 603258 HAS SOUPS 603258 WITH SCORE 604187.498
AT ITER 1592 NEW BEST:: SOT 1034256 SOS 929498 HAS SOPS 929498 HAS SOUS 603220 HAS SOUPS 603220 WITH SCORE 604149.498
AT ITER 1593 NEW BEST:: SOT 1034256 SOS 929498 HAS SOPS 929498 HAS SOUS 603104 HAS SOUPS 603104 WITH SCORE 604033.498
AT ITER 1594 NEW BEST:: SOT 1033880 SOS 929462 HAS SOPS 929462 HAS SOUS 602510 HAS SOUPS 602510 WITH SCORE 603439.462
AT ITER 1601 NEW BEST:: SOT 1033880 SOS 929462 HAS SOPS 929462 HAS SOUS 601758 HAS SOUPS 601758 WITH SCORE 602687.462
AT ITER 1603 NEW BEST:: SOT 1033880 SOS 929462 HAS SOPS 929462 HAS SOUS 601742 HAS SOUPS 601742 WITH SCORE 602671.462
AT ITER 1607 NEW BEST:: SOT 1033880 SOS 929462 HAS SOPS 929462 HAS SOUS 601626 HAS SOUPS 601626 WITH SCORE 602555.462
AT ITER 1613 NEW BEST:: SOT 1033880 SOS 929462 HAS SOPS 929462 HAS SOUS 601504 HAS SOUPS 601504 WITH SCORE 602433.462
AT ITER 1614 NEW BEST:: SOT 1033880 SOS 929426 HAS SOPS 929426 HAS SOUS 601256 HAS SOUPS 601256 WITH SCORE 602185.426
AT ITER 1619 NEW BEST:: SOT 1033880 SOS 929426 HAS SOPS 929426 HAS SOUS 601132 HAS SOUPS 601132 WITH SCORE 602061.426
AT ITER 1630 NEW BEST:: SOT 1033880 SOS 929426 HAS SOPS 929426 HAS SOUS 601124 HAS SOUPS 601124 WITH SCORE 602053.426
AT ITER 1631 NEW BEST:: SOT 1033880 SOS 929426 HAS SOPS 929426 HAS SOUS 601120 HAS SOUPS 601120 WITH SCORE 602049.426
AT ITER 1640 NEW BEST:: SOT 1033880 SOS 929426 HAS SOPS 929426 HAS SOUS 601064 HAS SOUPS 601064 WITH SCORE 601993.426
AT ITER 1643 NEW BEST:: SOT 1033880 SOS 929426 HAS SOPS 929426 HAS SOUS 600976 HAS SOUPS 600976 WITH SCORE 601905.426
AT ITER 1648 NEW BEST:: SOT 1033880 SOS 929426 HAS SOPS 929426 HAS SOUS 600936 HAS SOUPS 600936 WITH SCORE 601865.426
AT ITER 1653 NEW BEST:: SOT 1033492 SOS 929038 HAS SOPS 929038 HAS SOUS 600548 HAS SOUPS 600548 WITH SCORE 601477.038
AT ITER 1655 NEW BEST:: SOT 1033492 SOS 929038 HAS SOPS 929038 HAS SOUS 600414 HAS SOUPS 600414 WITH SCORE 601343.038
AT ITER 1658 NEW BEST:: SOT 1033492 SOS 929038 HAS SOPS 929038 HAS SOUS 600232 HAS SOUPS 600232 WITH SCORE 601161.038
AT ITER 1665 NEW BEST:: SOT 1033492 SOS 928936 HAS SOPS 928936 HAS SOUS 599808 HAS SOUPS 599808 WITH SCORE 600736.936
AT ITER 1668 NEW BEST:: SOT 1033492 SOS 928936 HAS SOPS 928936 HAS SOUS 599572 HAS SOUPS 599572 WITH SCORE 600500.936
AT ITER 1670 NEW BEST:: SOT 1033492 SOS 928852 HAS SOPS 928852 HAS SOUS 599402 HAS SOUPS 599402 WITH SCORE 600330.852
AT ITER 1677 NEW BEST:: SOT 1033492 SOS 928794 HAS SOPS 928794 HAS SOUS 599284 HAS SOUPS 599284 WITH SCORE 600212.794
AT ITER 1690 NEW BEST:: SOT 1033492 SOS 928794 HAS SOPS 928794 HAS SOUS 599124 HAS SOUPS 599124 WITH SCORE 600052.794
AT ITER 1697 NEW BEST:: SOT 1033492 SOS 928794 HAS SOPS 928794 HAS SOUS 599074 HAS SOUPS 599074 WITH SCORE 600002.794
AT ITER 1699 NEW BEST:: SOT 1033492 SOS 928794 HAS SOPS 928794 HAS SOUS 598472 HAS SOUPS 598472 WITH SCORE 599400.794
AT ITER 1700 NEW BEST:: SOT 1033492 SOS 928794 HAS SOPS 928794 HAS SOUS 598408 HAS SOUPS 598408 WITH SCORE 599336.794
AT ITER 1703 NEW BEST:: SOT 1033492 SOS 928794 HAS SOPS 928794 HAS SOUS 598356 HAS SOUPS 598356 WITH SCORE 599284.794
AT ITER 1721 NEW BEST:: SOT 1033492 SOS 928794 HAS SOPS 928794 HAS SOUS 598348 HAS SOUPS 598348 WITH SCORE 599276.794
AT ITER 1725 NEW BEST:: SOT 1033492 SOS 928794 HAS SOPS 928794 HAS SOUS 598014 HAS SOUPS 598014 WITH SCORE 598942.794
AT ITER 1727 NEW BEST:: SOT 1033492 SOS 928794 HAS SOPS 928794 HAS SOUS 597944 HAS SOUPS 597944 WITH SCORE 598872.794
AT ITER 1733 NEW BEST:: SOT 1033492 SOS 928794 HAS SOPS 928794 HAS SOUS 597932 HAS SOUPS 597932 WITH SCORE 598860.794
AT ITER 1734 NEW BEST:: SOT 1033492 SOS 928632 HAS SOPS 928632 HAS SOUS 597770 HAS SOUPS 597770 WITH SCORE 598698.632
AT ITER 1738 NEW BEST:: SOT 1033492 SOS 928284 HAS SOPS 928284 HAS SOUS 597770 HAS SOUPS 597770 WITH SCORE 598698.284
AT ITER 1743 NEW BEST:: SOT 1033492 SOS 928284 HAS SOPS 928284 HAS SOUS 597574 HAS SOUPS 597574 WITH SCORE 598502.284
AT ITER 1744 NEW BEST:: SOT 1033492 SOS 928284 HAS SOPS 928284 HAS SOUS 597354 HAS SOUPS 597354 WITH SCORE 598282.284
AT ITER 1753 NEW BEST:: SOT 1033492 SOS 928284 HAS SOPS 928284 HAS SOUS 597318 HAS SOUPS 597318 WITH SCORE 598246.284
AT ITER 1758 NEW BEST:: SOT 1033274 SOS 927726 HAS SOPS 927726 HAS SOUS 596760 HAS SOUPS 596760 WITH SCORE 597687.726
AT ITER 1759 NEW BEST:: SOT 1033274 SOS 927726 HAS SOPS 927726 HAS SOUS 596616 HAS SOUPS 596616 WITH SCORE 597543.726
AT ITER 1760 NEW BEST:: SOT 1033274 SOS 927726 HAS SOPS 927726 HAS SOUS 596384 HAS SOUPS 596384 WITH SCORE 597311.726
AT ITER 1762 NEW BEST:: SOT 1033274 SOS 927726 HAS SOPS 927726 HAS SOUS 595892 HAS SOUPS 595892 WITH SCORE 596819.726
AT ITER 1772 NEW BEST:: SOT 1033274 SOS 927726 HAS SOPS 927726 HAS SOUS 595768 HAS SOUPS 595768 WITH SCORE 596695.726
AT ITER 1782 NEW BEST:: SOT 1033274 SOS 927726 HAS SOPS 927726 HAS SOUS 595718 HAS SOUPS 595718 WITH SCORE 596645.726
AT ITER 1785 NEW BEST:: SOT 1033274 SOS 927726 HAS SOPS 927726 HAS SOUS 595644 HAS SOUPS 595644 WITH SCORE 596571.726
AT ITER 1798 NEW BEST:: SOT 1033274 SOS 927726 HAS SOPS 927726 HAS SOUS 595542 HAS SOUPS 595542 WITH SCORE 596469.726
AT ITER 1800 NEW BEST:: SOT 1033274 SOS 927726 HAS SOPS 927726 HAS SOUS 595508 HAS SOUPS 595508 WITH SCORE 596435.726
AT ITER 1802 NEW BEST:: SOT 1033274 SOS 927736 HAS SOPS 927736 HAS SOUS 595452 HAS SOUPS 595452 WITH SCORE 596379.736
AT ITER 1815 NEW BEST:: SOT 1033274 SOS 927736 HAS SOPS 927736 HAS SOUS 595414 HAS SOUPS 595414 WITH SCORE 596341.736
AT ITER 1821 NEW BEST:: SOT 1033274 SOS 927736 HAS SOPS 927736 HAS SOUS 595096 HAS SOUPS 595096 WITH SCORE 596023.736
AT ITER 1826 NEW BEST:: SOT 1033274 SOS 927736 HAS SOPS 927736 HAS SOUS 594300 HAS SOUPS 594300 WITH SCORE 595227.736
AT ITER 1832 NEW BEST:: SOT 1033274 SOS 957174 HAS SOPS 957174 HAS SOUS 593858 HAS SOUPS 593858 WITH SCORE 594815.174
AT ITER 1834 NEW BEST:: SOT 1033274 SOS 957174 HAS SOPS 957174 HAS SOUS 593752 HAS SOUPS 593752 WITH SCORE 594709.174
AT ITER 1837 NEW BEST:: SOT 1033274 SOS 957174 HAS SOPS 957174 HAS SOUS 593462 HAS SOUPS 593462 WITH SCORE 594419.174
AT ITER 1875 NEW BEST:: SOT 1033274 SOS 957174 HAS SOPS 957174 HAS SOUS 593430 HAS SOUPS 593430 WITH SCORE 594387.174
AT ITER 1887 NEW BEST:: SOT 1033274 SOS 957174 HAS SOPS 957174 HAS SOUS 593396 HAS SOUPS 593396 WITH SCORE 594353.174
AT ITER 1891 NEW BEST:: SOT 1033274 SOS 957174 HAS SOPS 957174 HAS SOUS 593258 HAS SOUPS 593258 WITH SCORE 594215.174
AT ITER 1910 NEW BEST:: SOT 1033274 SOS 957174 HAS SOPS 957174 HAS SOUS 593210 HAS SOUPS 593210 WITH SCORE 594167.174
AT ITER 1914 NEW BEST:: SOT 1033274 SOS 957174 HAS SOPS 957174 HAS SOUS 592916 HAS SOUPS 592916 WITH SCORE 593873.174
AT ITER 1922 NEW BEST:: SOT 1032436 SOS 956858 HAS SOPS 956858 HAS SOUS 592600 HAS SOUPS 592600 WITH SCORE 593556.858
AT ITER 1927 NEW BEST:: SOT 1032436 SOS 956858 HAS SOPS 956858 HAS SOUS 592392 HAS SOUPS 592392 WITH SCORE 593348.858
AT ITER 1936 NEW BEST:: SOT 1032436 SOS 956858 HAS SOPS 956858 HAS SOUS 591726 HAS SOUPS 591726 WITH SCORE 592682.858
AT ITER 1939 NEW BEST:: SOT 1032436 SOS 956858 HAS SOPS 956858 HAS SOUS 591706 HAS SOUPS 591706 WITH SCORE 592662.858
AT ITER 1945 NEW BEST:: SOT 1032436 SOS 956858 HAS SOPS 956858 HAS SOUS 590732 HAS SOUPS 590732 WITH SCORE 591688.858
AT ITER 1956 NEW BEST:: SOT 1032436 SOS 956858 HAS SOPS 956858 HAS SOUS 589678 HAS SOUPS 589678 WITH SCORE 590634.858
AT ITER 1959 NEW BEST:: SOT 1032436 SOS 956858 HAS SOPS 956858 HAS SOUS 589476 HAS SOUPS 589476 WITH SCORE 590432.858
AT ITER 1982 NEW BEST:: SOT 1028422 SOS 953320 HAS SOPS 953320 HAS SOUS 585690 HAS SOUPS 585690 WITH SCORE 586643.32
AT ITER 1984 NEW BEST:: SOT 1028422 SOS 953320 HAS SOPS 953320 HAS SOUS 585476 HAS SOUPS 585476 WITH SCORE 586429.32
AT ITER 1987 NEW BEST:: SOT 1028422 SOS 953320 HAS SOPS 953320 HAS SOUS 585402 HAS SOUPS 585402 WITH SCORE 586355.32
AT ITER 1989 NEW BEST:: SOT 1028422 SOS 953320 HAS SOPS 953320 HAS SOUS 585350 HAS SOUPS 585350 WITH SCORE 586303.32
AT ITER 1998 NEW BEST:: SOT 1028422 SOS 953320 HAS SOPS 953320 HAS SOUS 585110 HAS SOUPS 585110 WITH SCORE 586063.32
AT ITER 2006 NEW BEST:: SOT 1028422 SOS 953320 HAS SOPS 953320 HAS SOUS 585046 HAS SOUPS 585046 WITH SCORE 585999.32
AT ITER 2009 NEW BEST:: SOT 1028422 SOS 953320 HAS SOPS 953320 HAS SOUS 584984 HAS SOUPS 584984 WITH SCORE 585937.32
AT ITER 2013 NEW BEST:: SOT 1028422 SOS 953320 HAS SOPS 953320 HAS SOUS 584778 HAS SOUPS 584778 WITH SCORE 585731.32
AT ITER 2028 NEW BEST:: SOT 1028422 SOS 953320 HAS SOPS 953320 HAS SOUS 584734 HAS SOUPS 584734 WITH SCORE 585687.32
AT ITER 2046 NEW BEST:: SOT 1028422 SOS 953320 HAS SOPS 953320 HAS SOUS 584566 HAS SOUPS 584566 WITH SCORE 585519.32
AT ITER 2048 NEW BEST:: SOT 1028422 SOS 953320 HAS SOPS 953320 HAS SOUS 584548 HAS SOUPS 584548 WITH SCORE 585501.32
AT ITER 2049 NEW BEST:: SOT 1028422 SOS 953320 HAS SOPS 953320 HAS SOUS 584494 HAS SOUPS 584494 WITH SCORE 585447.32
AT ITER 2052 NEW BEST:: SOT 1028388 SOS 953286 HAS SOPS 953286 HAS SOUS 584426 HAS SOUPS 584426 WITH SCORE 585379.286
AT ITER 2062 NEW BEST:: SOT 1028388 SOS 953286 HAS SOPS 953286 HAS SOUS 584192 HAS SOUPS 584192 WITH SCORE 585145.286
AT ITER 2072 NEW BEST:: SOT 1028388 SOS 953168 HAS SOPS 953168 HAS SOUS 583798 HAS SOUPS 583798 WITH SCORE 584751.168
AT ITER 2076 NEW BEST:: SOT 1028388 SOS 953168 HAS SOPS 953168 HAS SOUS 583684 HAS SOUPS 583684 WITH SCORE 584637.168
AT ITER 2084 NEW BEST:: SOT 1028388 SOS 953168 HAS SOPS 953168 HAS SOUS 583502 HAS SOUPS 583502 WITH SCORE 584455.168
AT ITER 2092 NEW BEST:: SOT 1028388 SOS 953168 HAS SOPS 953168 HAS SOUS 582994 HAS SOUPS 582994 WITH SCORE 583947.168
AT ITER 2103 NEW BEST:: SOT 1028388 SOS 953168 HAS SOPS 953168 HAS SOUS 582528 HAS SOUPS 582528 WITH SCORE 583481.168
AT ITER 2104 NEW BEST:: SOT 1028388 SOS 953168 HAS SOPS 953168 HAS SOUS 582494 HAS SOUPS 582494 WITH SCORE 583447.168
AT ITER 2110 NEW BEST:: SOT 1028388 SOS 953168 HAS SOPS 953168 HAS SOUS 582186 HAS SOUPS 582186 WITH SCORE 583139.168
AT ITER 2114 NEW BEST:: SOT 1028388 SOS 953168 HAS SOPS 953168 HAS SOUS 582042 HAS SOUPS 582042 WITH SCORE 582995.168
AT ITER 2121 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 581982 HAS SOUPS 581982 WITH SCORE 582935.108
AT ITER 2127 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 581968 HAS SOUPS 581968 WITH SCORE 582921.108
AT ITER 2131 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 581912 HAS SOUPS 581912 WITH SCORE 582865.108
AT ITER 2143 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 581224 HAS SOUPS 581224 WITH SCORE 582177.108
AT ITER 2153 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 581114 HAS SOUPS 581114 WITH SCORE 582067.108
AT ITER 2164 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 580792 HAS SOUPS 580792 WITH SCORE 581745.108
AT ITER 2165 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 580732 HAS SOUPS 580732 WITH SCORE 581685.108
AT ITER 2190 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 580226 HAS SOUPS 580226 WITH SCORE 581179.108
AT ITER 2207 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 580184 HAS SOUPS 580184 WITH SCORE 581137.108
AT ITER 2221 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 580148 HAS SOUPS 580148 WITH SCORE 581101.108
AT ITER 2222 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 580032 HAS SOUPS 580032 WITH SCORE 580985.108
AT ITER 2224 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 579728 HAS SOUPS 579728 WITH SCORE 580681.108
AT ITER 2231 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 579708 HAS SOUPS 579708 WITH SCORE 580661.108
AT ITER 2236 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 579526 HAS SOUPS 579526 WITH SCORE 580479.108
AT ITER 2250 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 579022 HAS SOUPS 579022 WITH SCORE 579975.108
AT ITER 2251 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 578880 HAS SOUPS 578880 WITH SCORE 579833.108
AT ITER 2253 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 578782 HAS SOUPS 578782 WITH SCORE 579735.108
AT ITER 2255 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 578204 HAS SOUPS 578204 WITH SCORE 579157.108
AT ITER 2257 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 577878 HAS SOUPS 577878 WITH SCORE 578831.108
AT ITER 2263 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 577552 HAS SOUPS 577552 WITH SCORE 578505.108
AT ITER 2272 NEW BEST:: SOT 1028388 SOS 953108 HAS SOPS 953108 HAS SOUS 577180 HAS SOUPS 577180 WITH SCORE 578133.108
AT ITER 2273 NEW BEST:: SOT 1028038 SOS 952758 HAS SOPS 952758 HAS SOUS 576830 HAS SOUPS 576830 WITH SCORE 577782.758
AT ITER 2275 NEW BEST:: SOT 1028038 SOS 952758 HAS SOPS 952758 HAS SOUS 576648 HAS SOUPS 576648 WITH SCORE 577600.758
AT ITER 2278 NEW BEST:: SOT 1028038 SOS 952758 HAS SOPS 952758 HAS SOUS 576496 HAS SOUPS 576496 WITH SCORE 577448.758
AT ITER 2280 NEW BEST:: SOT 1028038 SOS 952758 HAS SOPS 952758 HAS SOUS 576430 HAS SOUPS 576430 WITH SCORE 577382.758
AT ITER 2288 NEW BEST:: SOT 1028038 SOS 952758 HAS SOPS 952758 HAS SOUS 576178 HAS SOUPS 576178 WITH SCORE 577130.758
AT ITER 2289 NEW BEST:: SOT 1028038 SOS 952708 HAS SOPS 952708 HAS SOUS 576128 HAS SOUPS 576128 WITH SCORE 577080.708
AT ITER 2297 NEW BEST:: SOT 1028038 SOS 952708 HAS SOPS 952708 HAS SOUS 576092 HAS SOUPS 576092 WITH SCORE 577044.708
AT ITER 2316 NEW BEST:: SOT 1028038 SOS 952708 HAS SOPS 952708 HAS SOUS 575858 HAS SOUPS 575858 WITH SCORE 576810.708
AT ITER 2319 NEW BEST:: SOT 1028038 SOS 952708 HAS SOPS 952708 HAS SOUS 575848 HAS SOUPS 575848 WITH SCORE 576800.708
AT ITER 2328 NEW BEST:: SOT 1028038 SOS 952708 HAS SOPS 952708 HAS SOUS 575698 HAS SOUPS 575698 WITH SCORE 576650.708
AT ITER 2338 NEW BEST:: SOT 1028038 SOS 952684 HAS SOPS 952684 HAS SOUS 575674 HAS SOUPS 575674 WITH SCORE 576626.684
AT ITER 2340 NEW BEST:: SOT 1028038 SOS 952684 HAS SOPS 952684 HAS SOUS 575656 HAS SOUPS 575656 WITH SCORE 576608.684
AT ITER 2354 NEW BEST:: SOT 1028038 SOS 952684 HAS SOPS 952684 HAS SOUS 575460 HAS SOUPS 575460 WITH SCORE 576412.684
AT ITER 2374 NEW BEST:: SOT 1028038 SOS 952684 HAS SOPS 952684 HAS SOUS 575102 HAS SOUPS 575102 WITH SCORE 576054.684
AT ITER 2381 NEW BEST:: SOT 1028038 SOS 952684 HAS SOPS 952684 HAS SOUS 575014 HAS SOUPS 575014 WITH SCORE 575966.684
AT ITER 2382 NEW BEST:: SOT 1028038 SOS 952684 HAS SOPS 952684 HAS SOUS 574874 HAS SOUPS 574874 WITH SCORE 575826.684
AT ITER 2399 NEW BEST:: SOT 1028038 SOS 952684 HAS SOPS 952684 HAS SOUS 574846 HAS SOUPS 574846 WITH SCORE 575798.684
AT ITER 2401 NEW BEST:: SOT 1028038 SOS 952684 HAS SOPS 952684 HAS SOUS 574648 HAS SOUPS 574648 WITH SCORE 575600.684
AT ITER 2408 NEW BEST:: SOT 1028038 SOS 952684 HAS SOPS 952684 HAS SOUS 574526 HAS SOUPS 574526 WITH SCORE 575478.684
AT ITER 2415 NEW BEST:: SOT 689036 SOS 614232 HAS SOPS 614232 HAS SOUS 235682 HAS SOUPS 235682 WITH SCORE 236296.232
AT ITER 2428 NEW BEST:: SOT 689036 SOS 614232 HAS SOPS 614232 HAS SOUS 235532 HAS SOUPS 235532 WITH SCORE 236146.232
AT ITER 2429 NEW BEST:: SOT 688860 SOS 614056 HAS SOPS 614056 HAS SOUS 235180 HAS SOUPS 235180 WITH SCORE 235794.056
AT ITER 2430 NEW BEST:: SOT 688860 SOS 614056 HAS SOPS 614056 HAS SOUS 235080 HAS SOUPS 235080 WITH SCORE 235694.056
AT ITER 2433 NEW BEST:: SOT 688860 SOS 614056 HAS SOPS 614056 HAS SOUS 235038 HAS SOUPS 235038 WITH SCORE 235652.056
AT ITER 2439 NEW BEST:: SOT 688822 SOS 614018 HAS SOPS 614018 HAS SOUS 234962 HAS SOUPS 234962 WITH SCORE 235576.018
AT ITER 2448 NEW BEST:: SOT 688822 SOS 614018 HAS SOPS 614018 HAS SOUS 234960 HAS SOUPS 234960 WITH SCORE 235574.018
AT ITER 2449 NEW BEST:: SOT 688720 SOS 613916 HAS SOPS 613916 HAS SOUS 234700 HAS SOUPS 234700 WITH SCORE 235313.916
AT ITER 2469 NEW BEST:: SOT 688676 SOS 613872 HAS SOPS 613872 HAS SOUS 234612 HAS SOUPS 234612 WITH SCORE 235225.872
AT ITER 2482 NEW BEST:: SOT 688662 SOS 613858 HAS SOPS 613858 HAS SOUS 234584 HAS SOUPS 234584 WITH SCORE 235197.858
AT ITER 2489 NEW BEST:: SOT 688584 SOS 613780 HAS SOPS 613780 HAS SOUS 234394 HAS SOUPS 234394 WITH SCORE 235007.78
AT ITER 2492 NEW BEST:: SOT 688536 SOS 613732 HAS SOPS 613732 HAS SOUS 234298 HAS SOUPS 234298 WITH SCORE 234911.732
AT ITER 2494 NEW BEST:: SOT 688536 SOS 613538 HAS SOPS 613538 HAS SOUS 234298 HAS SOUPS 234298 WITH SCORE 234911.538
AT ITER 2499 NEW BEST:: SOT 688534 SOS 613536 HAS SOPS 613536 HAS SOUS 234294 HAS SOUPS 234294 WITH SCORE 234907.536
AT ITER 2505 NEW BEST:: SOT 688376 SOS 613378 HAS SOPS 613378 HAS SOUS 233978 HAS SOUPS 233978 WITH SCORE 234591.378
AT ITER 2509 NEW BEST:: SOT 688366 SOS 613368 HAS SOPS 613368 HAS SOUS 233958 HAS SOUPS 233958 WITH SCORE 234571.368
AT ITER 2514 NEW BEST:: SOT 688366 SOS 613368 HAS SOPS 613368 HAS SOUS 233952 HAS SOUPS 233952 WITH SCORE 234565.368
AT ITER 2515 NEW BEST:: SOT 688208 SOS 613210 HAS SOPS 613210 HAS SOUS 233636 HAS SOUPS 233636 WITH SCORE 234249.21
AT ITER 2518 NEW BEST:: SOT 688208 SOS 613210 HAS SOPS 613210 HAS SOUS 233392 HAS SOUPS 233392 WITH SCORE 234005.21
AT ITER 2535 NEW BEST:: SOT 688130 SOS 613132 HAS SOPS 613132 HAS SOUS 233072 HAS SOUPS 233072 WITH SCORE 233685.132
AT ITER 2544 NEW BEST:: SOT 688110 SOS 613112 HAS SOPS 613112 HAS SOUS 233032 HAS SOUPS 233032 WITH SCORE 233645.112
AT ITER 2557 NEW BEST:: SOT 688110 SOS 613112 HAS SOPS 613112 HAS SOUS 232810 HAS SOUPS 232810 WITH SCORE 233423.112
AT ITER 2561 NEW BEST:: SOT 688110 SOS 613112 HAS SOPS 613112 HAS SOUS 232566 HAS SOUPS 232566 WITH SCORE 233179.112
AT ITER 2570 NEW BEST:: SOT 664046 SOS 589492 HAS SOPS 589492 HAS SOUS 208502 HAS SOUPS 208502 WITH SCORE 209091.492
AT ITER 2574 NEW BEST:: SOT 663824 SOS 589270 HAS SOPS 589270 HAS SOUS 207960 HAS SOUPS 207960 WITH SCORE 208549.27
AT ITER 2584 NEW BEST:: SOT 663824 SOS 589270 HAS SOPS 589270 HAS SOUS 207892 HAS SOUPS 207892 WITH SCORE 208481.27
AT ITER 2593 NEW BEST:: SOT 663624 SOS 589070 HAS SOPS 589070 HAS SOUS 207492 HAS SOUPS 207492 WITH SCORE 208081.07
AT ITER 2612 NEW BEST:: SOT 663370 SOS 588816 HAS SOPS 588816 HAS SOUS 206984 HAS SOUPS 206984 WITH SCORE 207572.816
AT ITER 2630 NEW BEST:: SOT 663370 SOS 588816 HAS SOPS 588816 HAS SOUS 206884 HAS SOUPS 206884 WITH SCORE 207472.816
AT ITER 2638 NEW BEST:: SOT 662964 SOS 588410 HAS SOPS 588410 HAS SOUS 206072 HAS SOUPS 206072 WITH SCORE 206660.41
AT ITER 2639 NEW BEST:: SOT 648308 SOS 574226 HAS SOPS 574226 HAS SOUS 191888 HAS SOUPS 191888 WITH SCORE 192462.226
AT ITER 2643 NEW BEST:: SOT 648134 SOS 574052 HAS SOPS 574052 HAS SOUS 191540 HAS SOUPS 191540 WITH SCORE 192114.052
AT ITER 2655 NEW BEST:: SOT 647944 SOS 573862 HAS SOPS 573862 HAS SOUS 191160 HAS SOUPS 191160 WITH SCORE 191733.862
AT ITER 2665 NEW BEST:: SOT 647834 SOS 573752 HAS SOPS 573752 HAS SOUS 190860 HAS SOUPS 190860 WITH SCORE 191433.752
AT ITER 2669 NEW BEST:: SOT 647730 SOS 573648 HAS SOPS 573648 HAS SOUS 190652 HAS SOUPS 190652 WITH SCORE 191225.648
AT ITER 2671 NEW BEST:: SOT 647730 SOS 573648 HAS SOPS 573648 HAS SOUS 190638 HAS SOUPS 190638 WITH SCORE 191211.648
AT ITER 2672 NEW BEST:: SOT 647690 SOS 573608 HAS SOPS 573608 HAS SOUS 190558 HAS SOUPS 190558 WITH SCORE 191131.608
AT ITER 2675 NEW BEST:: SOT 647498 SOS 573416 HAS SOPS 573416 HAS SOUS 190174 HAS SOUPS 190174 WITH SCORE 190747.416
AT ITER 2685 NEW BEST:: SOT 647450 SOS 573368 HAS SOPS 573368 HAS SOUS 190078 HAS SOUPS 190078 WITH SCORE 190651.368
AT ITER 2695 NEW BEST:: SOT 647440 SOS 573358 HAS SOPS 573358 HAS SOUS 190058 HAS SOUPS 190058 WITH SCORE 190631.358
AT ITER 2722 NEW BEST:: SOT 647440 SOS 573358 HAS SOPS 573358 HAS SOUS 190016 HAS SOUPS 190016 WITH SCORE 190589.358
AT ITER 2744 NEW BEST:: SOT 647426 SOS 573344 HAS SOPS 573344 HAS SOUS 189988 HAS SOUPS 189988 WITH SCORE 190561.344
AT ITER 2783 NEW BEST:: SOT 647426 SOS 573344 HAS SOPS 573344 HAS SOUS 189960 HAS SOUPS 189960 WITH SCORE 190533.344
AT ITER 2791 NEW BEST:: SOT 647426 SOS 573344 HAS SOPS 573344 HAS SOUS 189762 HAS SOUPS 189762 WITH SCORE 190335.344
AT ITER 2798 NEW BEST:: SOT 647362 SOS 573280 HAS SOPS 573280 HAS SOUS 189634 HAS SOUPS 189634 WITH SCORE 190207.28
AT ITER 2800 NEW BEST:: SOT 647016 SOS 572934 HAS SOPS 572934 HAS SOUS 189288 HAS SOUPS 189288 WITH SCORE 189860.934
AT ITER 2803 NEW BEST:: SOT 647016 SOS 572934 HAS SOPS 572934 HAS SOUS 189268 HAS SOUPS 189268 WITH SCORE 189840.934
AT ITER 2820 NEW BEST:: SOT 647012 SOS 572930 HAS SOPS 572930 HAS SOUS 189260 HAS SOUPS 189260 WITH SCORE 189832.93
AT ITER 2846 NEW BEST:: SOT 646898 SOS 572816 HAS SOPS 572816 HAS SOUS 189032 HAS SOUPS 189032 WITH SCORE 189604.816
AT ITER 2847 NEW BEST:: SOT 646798 SOS 572716 HAS SOPS 572716 HAS SOUS 188728 HAS SOUPS 188728 WITH SCORE 189300.716
AT ITER 2863 NEW BEST:: SOT 646620 SOS 572538 HAS SOPS 572538 HAS SOUS 188372 HAS SOUPS 188372 WITH SCORE 188944.538
AT ITER 2865 NEW BEST:: SOT 646612 SOS 572530 HAS SOPS 572530 HAS SOUS 188356 HAS SOUPS 188356 WITH SCORE 188928.53
AT ITER 2882 NEW BEST:: SOT 646556 SOS 572474 HAS SOPS 572474 HAS SOUS 188244 HAS SOUPS 188244 WITH SCORE 188816.474
AT ITER 2887 NEW BEST:: SOT 646556 SOS 572474 HAS SOPS 572474 HAS SOUS 187832 HAS SOUPS 187832 WITH SCORE 188404.474
AT ITER 2894 NEW BEST:: SOT 646556 SOS 557508 HAS SOPS 557508 HAS SOUS 187832 HAS SOUPS 187832 WITH SCORE 188389.508
AT ITER 2897 NEW BEST:: SOT 646556 SOS 557494 HAS SOPS 557494 HAS SOUS 187810 HAS SOUPS 187810 WITH SCORE 188367.494
AT ITER 2924 NEW BEST:: SOT 646276 SOS 557214 HAS SOPS 557214 HAS SOUS 187250 HAS SOUPS 187250 WITH SCORE 187807.214
AT ITER 2940 NEW BEST:: SOT 646272 SOS 557210 HAS SOPS 557210 HAS SOUS 187242 HAS SOUPS 187242 WITH SCORE 187799.21
AT ITER 2948 NEW BEST:: SOT 646272 SOS 557210 HAS SOPS 557210 HAS SOUS 187238 HAS SOUPS 187238 WITH SCORE 187795.21
AT ITER 2961 NEW BEST:: SOT 646192 SOS 557130 HAS SOPS 557130 HAS SOUS 187078 HAS SOUPS 187078 WITH SCORE 187635.13
AT ITER 2962 NEW BEST:: SOT 646024 SOS 556962 HAS SOPS 556962 HAS SOUS 186742 HAS SOUPS 186742 WITH SCORE 187298.962
AT ITER 2967 NEW BEST:: SOT 646024 SOS 556908 HAS SOPS 556908 HAS SOUS 186688 HAS SOUPS 186688 WITH SCORE 187244.908
AT ITER 2968 NEW BEST:: SOT 645702 SOS 556586 HAS SOPS 556586 HAS SOUS 186044 HAS SOUPS 186044 WITH SCORE 186600.586
AT ITER 2974 NEW BEST:: SOT 645458 SOS 556342 HAS SOPS 556342 HAS SOUS 185556 HAS SOUPS 185556 WITH SCORE 186112.342
AT ITER 2993 NEW BEST:: SOT 645378 SOS 556262 HAS SOPS 556262 HAS SOUS 185396 HAS SOUPS 185396 WITH SCORE 185952.262
AT ITER 2996 NEW BEST:: SOT 645206 SOS 556090 HAS SOPS 556090 HAS SOUS 185052 HAS SOUPS 185052 WITH SCORE 185608.09
AT ITER 3007 NEW BEST:: SOT 645178 SOS 556062 HAS SOPS 556062 HAS SOUS 184996 HAS SOUPS 184996 WITH SCORE 185552.062
AT ITER 3010 NEW BEST:: SOT 645002 SOS 555886 HAS SOPS 555886 HAS SOUS 184644 HAS SOUPS 184644 WITH SCORE 185199.886
AT ITER 3027 NEW BEST:: SOT 644646 SOS 555530 HAS SOPS 555530 HAS SOUS 183932 HAS SOUPS 183932 WITH SCORE 184487.53
AT ITER 3030 NEW BEST:: SOT 644480 SOS 555364 HAS SOPS 555364 HAS SOUS 183600 HAS SOUPS 183600 WITH SCORE 184155.364
AT ITER 3032 NEW BEST:: SOT 644480 SOS 555364 HAS SOPS 555364 HAS SOUS 183314 HAS SOUPS 183314 WITH SCORE 183869.364
AT ITER 3033 NEW BEST:: SOT 644376 SOS 555260 HAS SOPS 555260 HAS SOUS 183106 HAS SOUPS 183106 WITH SCORE 183661.26
AT ITER 3038 NEW BEST:: SOT 644336 SOS 555220 HAS SOPS 555220 HAS SOUS 183084 HAS SOUPS 183084 WITH SCORE 183639.22
AT ITER 3039 NEW BEST:: SOT 644230 SOS 555114 HAS SOPS 555114 HAS SOUS 182872 HAS SOUPS 182872 WITH SCORE 183427.114
AT ITER 3042 NEW BEST:: SOT 643796 SOS 554680 HAS SOPS 554680 HAS SOUS 182004 HAS SOUPS 182004 WITH SCORE 182558.68
AT ITER 3045 NEW BEST:: SOT 643796 SOS 554680 HAS SOPS 554680 HAS SOUS 181950 HAS SOUPS 181950 WITH SCORE 182504.68
AT ITER 3057 NEW BEST:: SOT 643796 SOS 554680 HAS SOPS 554680 HAS SOUS 181944 HAS SOUPS 181944 WITH SCORE 182498.68
AT ITER 3076 NEW BEST:: SOT 643186 SOS 554070 HAS SOPS 554070 HAS SOUS 180684 HAS SOUPS 180684 WITH SCORE 181238.07
AT ITER 3099 NEW BEST:: SOT 643186 SOS 554070 HAS SOPS 554070 HAS SOUS 180588 HAS SOUPS 180588 WITH SCORE 181142.07
AT ITER 3106 NEW BEST:: SOT 643020 SOS 553904 HAS SOPS 553904 HAS SOUS 180256 HAS SOUPS 180256 WITH SCORE 180809.904
AT ITER 3108 NEW BEST:: SOT 643006 SOS 553890 HAS SOPS 553890 HAS SOUS 180228 HAS SOUPS 180228 WITH SCORE 180781.89
AT ITER 3139 NEW BEST:: SOT 643006 SOS 553890 HAS SOPS 553890 HAS SOUS 180172 HAS SOUPS 180172 WITH SCORE 180725.89
AT ITER 3140 NEW BEST:: SOT 642868 SOS 553752 HAS SOPS 553752 HAS SOUS 179896 HAS SOUPS 179896 WITH SCORE 180449.752
AT ITER 3152 NEW BEST:: SOT 642788 SOS 553672 HAS SOPS 553672 HAS SOUS 179736 HAS SOUPS 179736 WITH SCORE 180289.672
AT ITER 3154 NEW BEST:: SOT 642788 SOS 553672 HAS SOPS 553672 HAS SOUS 179668 HAS SOUPS 179668 WITH SCORE 180221.672
AT ITER 3175 NEW BEST:: SOT 642788 SOS 553644 HAS SOPS 553644 HAS SOUS 179578 HAS SOUPS 179578 WITH SCORE 180131.644
AT ITER 3207 NEW BEST:: SOT 642788 SOS 553644 HAS SOPS 553644 HAS SOUS 179570 HAS SOUPS 179570 WITH SCORE 180123.644
AT ITER 3215 NEW BEST:: SOT 642766 SOS 553622 HAS SOPS 553622 HAS SOUS 179526 HAS SOUPS 179526 WITH SCORE 180079.622
AT ITER 3224 NEW BEST:: SOT 642670 SOS 553526 HAS SOPS 553526 HAS SOUS 179334 HAS SOUPS 179334 WITH SCORE 179887.526
AT ITER 3228 NEW BEST:: SOT 642670 SOS 553526 HAS SOPS 553526 HAS SOUS 179266 HAS SOUPS 179266 WITH SCORE 179819.526
AT ITER 3238 NEW BEST:: SOT 642596 SOS 553452 HAS SOPS 553452 HAS SOUS 179118 HAS SOUPS 179118 WITH SCORE 179671.452
AT ITER 3239 NEW BEST:: SOT 642338 SOS 553194 HAS SOPS 553194 HAS SOUS 178860 HAS SOUPS 178860 WITH SCORE 179413.194
AT ITER 3255 NEW BEST:: SOT 642338 SOS 553194 HAS SOPS 553194 HAS SOUS 178848 HAS SOUPS 178848 WITH SCORE 179401.194
AT ITER 3257 NEW BEST:: SOT 642276 SOS 553132 HAS SOPS 553132 HAS SOUS 178724 HAS SOUPS 178724 WITH SCORE 179277.132
AT ITER 3280 NEW BEST:: SOT 641900 SOS 552756 HAS SOPS 552756 HAS SOUS 177972 HAS SOUPS 177972 WITH SCORE 178524.756
AT ITER 3293 NEW BEST:: SOT 641900 SOS 552756 HAS SOPS 552756 HAS SOUS 177732 HAS SOUPS 177732 WITH SCORE 178284.756
AT ITER 3296 NEW BEST:: SOT 641878 SOS 552734 HAS SOPS 552734 HAS SOUS 177688 HAS SOUPS 177688 WITH SCORE 178240.734
AT ITER 3314 NEW BEST:: SOT 641798 SOS 552654 HAS SOPS 552654 HAS SOUS 177528 HAS SOUPS 177528 WITH SCORE 178080.654
AT ITER 3326 NEW BEST:: SOT 641772 SOS 552628 HAS SOPS 552628 HAS SOUS 177476 HAS SOUPS 177476 WITH SCORE 178028.628
AT ITER 3329 NEW BEST:: SOT 641664 SOS 552520 HAS SOPS 552520 HAS SOUS 177260 HAS SOUPS 177260 WITH SCORE 177812.52
AT ITER 3333 NEW BEST:: SOT 641496 SOS 552352 HAS SOPS 552352 HAS SOUS 176924 HAS SOUPS 176924 WITH SCORE 177476.352
AT ITER 3346 NEW BEST:: SOT 641496 SOS 552352 HAS SOPS 552352 HAS SOUS 176828 HAS SOUPS 176828 WITH SCORE 177380.352
AT ITER 3347 NEW BEST:: SOT 641496 SOS 552352 HAS SOPS 552352 HAS SOUS 176706 HAS SOUPS 176706 WITH SCORE 177258.352
AT ITER 3357 NEW BEST:: SOT 641226 SOS 552082 HAS SOPS 552082 HAS SOUS 176038 HAS SOUPS 176038 WITH SCORE 176590.082
AT ITER 3364 NEW BEST:: SOT 641190 SOS 552046 HAS SOPS 552046 HAS SOUS 175966 HAS SOUPS 175966 WITH SCORE 176518.046
AT ITER 3366 NEW BEST:: SOT 641190 SOS 552046 HAS SOPS 552046 HAS SOUS 175792 HAS SOUPS 175792 WITH SCORE 176344.046
AT ITER 3368 NEW BEST:: SOT 641166 SOS 552022 HAS SOPS 552022 HAS SOUS 175744 HAS SOUPS 175744 WITH SCORE 176296.022
AT ITER 3370 NEW BEST:: SOT 640880 SOS 551736 HAS SOPS 551736 HAS SOUS 175128 HAS SOUPS 175128 WITH SCORE 175679.736
AT ITER 3373 NEW BEST:: SOT 640660 SOS 551516 HAS SOPS 551516 HAS SOUS 174688 HAS SOUPS 174688 WITH SCORE 175239.516
AT ITER 3376 NEW BEST:: SOT 640638 SOS 551494 HAS SOPS 551494 HAS SOUS 174644 HAS SOUPS 174644 WITH SCORE 175195.494
AT ITER 3378 NEW BEST:: SOT 640638 SOS 551494 HAS SOPS 551494 HAS SOUS 174582 HAS SOUPS 174582 WITH SCORE 175133.494
AT ITER 3382 NEW BEST:: SOT 640638 SOS 551494 HAS SOPS 551494 HAS SOUS 174486 HAS SOUPS 174486 WITH SCORE 175037.494
AT ITER 3384 NEW BEST:: SOT 640608 SOS 551464 HAS SOPS 551464 HAS SOUS 174426 HAS SOUPS 174426 WITH SCORE 174977.464
AT ITER 3401 NEW BEST:: SOT 640608 SOS 551464 HAS SOPS 551464 HAS SOUS 174278 HAS SOUPS 174278 WITH SCORE 174829.464
AT ITER 3409 NEW BEST:: SOT 640502 SOS 551358 HAS SOPS 551358 HAS SOUS 174066 HAS SOUPS 174066 WITH SCORE 174617.358
AT ITER 3413 NEW BEST:: SOT 640488 SOS 551344 HAS SOPS 551344 HAS SOUS 173948 HAS SOUPS 173948 WITH SCORE 174499.344
AT ITER 3423 NEW BEST:: SOT 640464 SOS 551320 HAS SOPS 551320 HAS SOUS 173900 HAS SOUPS 173900 WITH SCORE 174451.32
AT ITER 3426 NEW BEST:: SOT 640416 SOS 551272 HAS SOPS 551272 HAS SOUS 173804 HAS SOUPS 173804 WITH SCORE 174355.272
AT ITER 3447 NEW BEST:: SOT 640416 SOS 551272 HAS SOPS 551272 HAS SOUS 173498 HAS SOUPS 173498 WITH SCORE 174049.272
AT ITER 3462 NEW BEST:: SOT 640416 SOS 551272 HAS SOPS 551272 HAS SOUS 173474 HAS SOUPS 173474 WITH SCORE 174025.272
AT ITER 3473 NEW BEST:: SOT 640416 SOS 551272 HAS SOPS 551272 HAS SOUS 173240 HAS SOUPS 173240 WITH SCORE 173791.272
AT ITER 3481 NEW BEST:: SOT 640346 SOS 551202 HAS SOPS 551202 HAS SOUS 173100 HAS SOUPS 173100 WITH SCORE 173651.202
AT ITER 3488 NEW BEST:: SOT 640298 SOS 551154 HAS SOPS 551154 HAS SOUS 173004 HAS SOUPS 173004 WITH SCORE 173555.154
AT ITER 3498 NEW BEST:: SOT 640288 SOS 551144 HAS SOPS 551144 HAS SOUS 172984 HAS SOUPS 172984 WITH SCORE 173535.144
AT ITER 3513 NEW BEST:: SOT 640282 SOS 551138 HAS SOPS 551138 HAS SOUS 172972 HAS SOUPS 172972 WITH SCORE 173523.138
AT ITER 3515 NEW BEST:: SOT 640282 SOS 551138 HAS SOPS 551138 HAS SOUS 172878 HAS SOUPS 172878 WITH SCORE 173429.138
AT ITER 3516 NEW BEST:: SOT 640282 SOS 551138 HAS SOPS 551138 HAS SOUS 172870 HAS SOUPS 172870 WITH SCORE 173421.138
AT ITER 3519 NEW BEST:: SOT 640168 SOS 551024 HAS SOPS 551024 HAS SOUS 172642 HAS SOUPS 172642 WITH SCORE 173193.024
AT ITER 3522 NEW BEST:: SOT 639996 SOS 550852 HAS SOPS 550852 HAS SOUS 172298 HAS SOUPS 172298 WITH SCORE 172848.852
AT ITER 3532 NEW BEST:: SOT 639950 SOS 550806 HAS SOPS 550806 HAS SOUS 172206 HAS SOUPS 172206 WITH SCORE 172756.806
AT ITER 3535 NEW BEST:: SOT 639950 SOS 550806 HAS SOPS 550806 HAS SOUS 172104 HAS SOUPS 172104 WITH SCORE 172654.806
AT ITER 3544 NEW BEST:: SOT 640426 SOS 551282 HAS SOPS 551282 HAS SOUS 172060 HAS SOUPS 172060 WITH SCORE 172611.282
AT ITER 3563 NEW BEST:: SOT 640272 SOS 551128 HAS SOPS 551128 HAS SOUS 171728 HAS SOUPS 171728 WITH SCORE 172279.128
AT ITER 3567 NEW BEST:: SOT 640054 SOS 550910 HAS SOPS 550910 HAS SOUS 171292 HAS SOUPS 171292 WITH SCORE 171842.91
AT ITER 3570 NEW BEST:: SOT 639982 SOS 550838 HAS SOPS 550838 HAS SOUS 171148 HAS SOUPS 171148 WITH SCORE 171698.838
AT ITER 3580 NEW BEST:: SOT 639776 SOS 550632 HAS SOPS 550632 HAS SOUS 170736 HAS SOUPS 170736 WITH SCORE 171286.632
AT ITER 3592 NEW BEST:: SOT 639748 SOS 550604 HAS SOPS 550604 HAS SOUS 170680 HAS SOUPS 170680 WITH SCORE 171230.604
AT ITER 3626 NEW BEST:: SOT 639594 SOS 550450 HAS SOPS 550450 HAS SOUS 170372 HAS SOUPS 170372 WITH SCORE 170922.45
AT ITER 3630 NEW BEST:: SOT 639388 SOS 550244 HAS SOPS 550244 HAS SOUS 169960 HAS SOUPS 169960 WITH SCORE 170510.244
AT ITER 3656 NEW BEST:: SOT 639182 SOS 550038 HAS SOPS 550038 HAS SOUS 169548 HAS SOUPS 169548 WITH SCORE 170098.038
AT ITER 3658 NEW BEST:: SOT 639084 SOS 549940 HAS SOPS 549940 HAS SOUS 169352 HAS SOUPS 169352 WITH SCORE 169901.94
AT ITER 3659 NEW BEST:: SOT 639084 SOS 549940 HAS SOPS 549940 HAS SOUS 169172 HAS SOUPS 169172 WITH SCORE 169721.94
AT ITER 3669 NEW BEST:: SOT 639006 SOS 549862 HAS SOPS 549862 HAS SOUS 169016 HAS SOUPS 169016 WITH SCORE 169565.862
AT ITER 3677 NEW BEST:: SOT 639006 SOS 549862 HAS SOPS 549862 HAS SOUS 168984 HAS SOUPS 168984 WITH SCORE 169533.862
AT ITER 3697 NEW BEST:: SOT 638836 SOS 549692 HAS SOPS 549692 HAS SOUS 168644 HAS SOUPS 168644 WITH SCORE 169193.692
AT ITER 3719 NEW BEST:: SOT 638836 SOS 549692 HAS SOPS 549692 HAS SOUS 168618 HAS SOUPS 168618 WITH SCORE 169167.692
AT ITER 3720 NEW BEST:: SOT 638720 SOS 549576 HAS SOPS 549576 HAS SOUS 168386 HAS SOUPS 168386 WITH SCORE 168935.576
AT ITER 3730 NEW BEST:: SOT 638666 SOS 549522 HAS SOPS 549522 HAS SOUS 168278 HAS SOUPS 168278 WITH SCORE 168827.522
AT ITER 3737 NEW BEST:: SOT 638648 SOS 549504 HAS SOPS 549504 HAS SOUS 168242 HAS SOUPS 168242 WITH SCORE 168791.504
AT ITER 3758 NEW BEST:: SOT 638648 SOS 549504 HAS SOPS 549504 HAS SOUS 168130 HAS SOUPS 168130 WITH SCORE 168679.504
AT ITER 3759 NEW BEST:: SOT 638648 SOS 549504 HAS SOPS 549504 HAS SOUS 167958 HAS SOUPS 167958 WITH SCORE 168507.504
AT ITER 3770 NEW BEST:: SOT 638648 SOS 549486 HAS SOPS 549486 HAS SOUS 167754 HAS SOUPS 167754 WITH SCORE 168303.486
AT ITER 3781 NEW BEST:: SOT 638546 SOS 549384 HAS SOPS 549384 HAS SOUS 167550 HAS SOUPS 167550 WITH SCORE 168099.384
AT ITER 3784 NEW BEST:: SOT 638542 SOS 549380 HAS SOPS 549380 HAS SOUS 167542 HAS SOUPS 167542 WITH SCORE 168091.38
AT ITER 3790 NEW BEST:: SOT 638460 SOS 549298 HAS SOPS 549298 HAS SOUS 167378 HAS SOUPS 167378 WITH SCORE 167927.298
AT ITER 3792 NEW BEST:: SOT 638460 SOS 549298 HAS SOPS 549298 HAS SOUS 167366 HAS SOUPS 167366 WITH SCORE 167915.298
AT ITER 3803 NEW BEST:: SOT 638238 SOS 549076 HAS SOPS 549076 HAS SOUS 166862 HAS SOUPS 166862 WITH SCORE 167411.076
AT ITER 3815 NEW BEST:: SOT 637864 SOS 548702 HAS SOPS 548702 HAS SOUS 166114 HAS SOUPS 166114 WITH SCORE 166662.702
AT ITER 3822 NEW BEST:: SOT 637696 SOS 548534 HAS SOPS 548534 HAS SOUS 165778 HAS SOUPS 165778 WITH SCORE 166326.534
AT ITER 3829 NEW BEST:: SOT 637642 SOS 548480 HAS SOPS 548480 HAS SOUS 165670 HAS SOUPS 165670 WITH SCORE 166218.48
AT ITER 3843 NEW BEST:: SOT 637584 SOS 548422 HAS SOPS 548422 HAS SOUS 165554 HAS SOUPS 165554 WITH SCORE 166102.422
AT ITER 3854 NEW BEST:: SOT 637432 SOS 548270 HAS SOPS 548270 HAS SOUS 165250 HAS SOUPS 165250 WITH SCORE 165798.27
AT ITER 3857 NEW BEST:: SOT 637368 SOS 548206 HAS SOPS 548206 HAS SOUS 165122 HAS SOUPS 165122 WITH SCORE 165670.206
AT ITER 3859 NEW BEST:: SOT 637368 SOS 548198 HAS SOPS 548198 HAS SOUS 165114 HAS SOUPS 165114 WITH SCORE 165662.198
AT ITER 3860 NEW BEST:: SOT 637368 SOS 548198 HAS SOPS 548198 HAS SOUS 164780 HAS SOUPS 164780 WITH SCORE 165328.198
AT ITER 3863 NEW BEST:: SOT 637330 SOS 548160 HAS SOPS 548160 HAS SOUS 164704 HAS SOUPS 164704 WITH SCORE 165252.16
AT ITER 3876 NEW BEST:: SOT 637032 SOS 547862 HAS SOPS 547862 HAS SOUS 164108 HAS SOUPS 164108 WITH SCORE 164655.862
AT ITER 3911 NEW BEST:: SOT 636992 SOS 547822 HAS SOPS 547822 HAS SOUS 163574 HAS SOUPS 163574 WITH SCORE 164121.822
AT ITER 3919 NEW BEST:: SOT 636832 SOS 547662 HAS SOPS 547662 HAS SOUS 163254 HAS SOUPS 163254 WITH SCORE 163801.662
AT ITER 3926 NEW BEST:: SOT 636734 SOS 547564 HAS SOPS 547564 HAS SOUS 163058 HAS SOUPS 163058 WITH SCORE 163605.564
AT ITER 3928 NEW BEST:: SOT 636734 SOS 547564 HAS SOPS 547564 HAS SOUS 163000 HAS SOUPS 163000 WITH SCORE 163547.564
AT ITER 3965 NEW BEST:: SOT 636734 SOS 547530 HAS SOPS 547530 HAS SOUS 162952 HAS SOUPS 162952 WITH SCORE 163499.53
AT ITER 3966 NEW BEST:: SOT 636734 SOS 547488 HAS SOPS 547488 HAS SOUS 162910 HAS SOUPS 162910 WITH SCORE 163457.488
AT ITER 3968 NEW BEST:: SOT 636734 SOS 547488 HAS SOPS 547488 HAS SOUS 162888 HAS SOUPS 162888 WITH SCORE 163435.488
AT ITER 3976 NEW BEST:: SOT 636560 SOS 547314 HAS SOPS 547314 HAS SOUS 162540 HAS SOUPS 162540 WITH SCORE 163087.314
AT ITER 3985 NEW BEST:: SOT 636542 SOS 547296 HAS SOPS 547296 HAS SOUS 162504 HAS SOUPS 162504 WITH SCORE 163051.296
AT ITER 3989 NEW BEST:: SOT 636542 SOS 547296 HAS SOPS 547296 HAS SOUS 162172 HAS SOUPS 162172 WITH SCORE 162719.296
AT ITER 3997 NEW BEST:: SOT 636542 SOS 547286 HAS SOPS 547286 HAS SOUS 162140 HAS SOUPS 162140 WITH SCORE 162687.286
AT ITER 4004 NEW BEST:: SOT 636512 SOS 547256 HAS SOPS 547256 HAS SOUS 162080 HAS SOUPS 162080 WITH SCORE 162627.256
AT ITER 4009 NEW BEST:: SOT 636502 SOS 547246 HAS SOPS 547246 HAS SOUS 162060 HAS SOUPS 162060 WITH SCORE 162607.246
AT ITER 4036 NEW BEST:: SOT 636470 SOS 547214 HAS SOPS 547214 HAS SOUS 161996 HAS SOUPS 161996 WITH SCORE 162543.214
AT ITER 4038 NEW BEST:: SOT 636470 SOS 547214 HAS SOPS 547214 HAS SOUS 161862 HAS SOUPS 161862 WITH SCORE 162409.214
AT ITER 4066 NEW BEST:: SOT 636454 SOS 547198 HAS SOPS 547198 HAS SOUS 161830 HAS SOUPS 161830 WITH SCORE 162377.198
AT ITER 4080 NEW BEST:: SOT 636370 SOS 547114 HAS SOPS 547114 HAS SOUS 161662 HAS SOUPS 161662 WITH SCORE 162209.114
AT ITER 4081 NEW BEST:: SOT 636370 SOS 547114 HAS SOPS 547114 HAS SOUS 161560 HAS SOUPS 161560 WITH SCORE 162107.114
AT ITER 4130 NEW BEST:: SOT 636370 SOS 547114 HAS SOPS 547114 HAS SOUS 161420 HAS SOUPS 161420 WITH SCORE 161967.114
AT ITER 4147 NEW BEST:: SOT 636354 SOS 547098 HAS SOPS 547098 HAS SOUS 161388 HAS SOUPS 161388 WITH SCORE 161935.098
AT ITER 4149 NEW BEST:: SOT 636354 SOS 547098 HAS SOPS 547098 HAS SOUS 161298 HAS SOUPS 161298 WITH SCORE 161845.098
AT ITER 4155 NEW BEST:: SOT 636354 SOS 547056 HAS SOPS 547056 HAS SOUS 161256 HAS SOUPS 161256 WITH SCORE 161803.056
AT ITER 4158 NEW BEST:: SOT 636122 SOS 546824 HAS SOPS 546824 HAS SOUS 160792 HAS SOUPS 160792 WITH SCORE 161338.824
AT ITER 4165 NEW BEST:: SOT 636056 SOS 546758 HAS SOPS 546758 HAS SOUS 160660 HAS SOUPS 160660 WITH SCORE 161206.758
AT ITER 4175 NEW BEST:: SOT 636014 SOS 546716 HAS SOPS 546716 HAS SOUS 160576 HAS SOUPS 160576 WITH SCORE 161122.716
AT ITER 4200 NEW BEST:: SOT 636014 SOS 546716 HAS SOPS 546716 HAS SOUS 160510 HAS SOUPS 160510 WITH SCORE 161056.716
AT ITER 4235 NEW BEST:: SOT 635956 SOS 546658 HAS SOPS 546658 HAS SOUS 160364 HAS SOUPS 160364 WITH SCORE 160910.658
AT ITER 4261 NEW BEST:: SOT 635906 SOS 546608 HAS SOPS 546608 HAS SOUS 160264 HAS SOUPS 160264 WITH SCORE 160810.608
AT ITER 4272 NEW BEST:: SOT 635842 SOS 546544 HAS SOPS 546544 HAS SOUS 160136 HAS SOUPS 160136 WITH SCORE 160682.544
AT ITER 4290 NEW BEST:: SOT 635468 SOS 546170 HAS SOPS 546170 HAS SOUS 159388 HAS SOUPS 159388 WITH SCORE 159934.17
AT ITER 4293 NEW BEST:: SOT 635468 SOS 546168 HAS SOPS 546168 HAS SOUS 159386 HAS SOUPS 159386 WITH SCORE 159932.168
AT ITER 4296 NEW BEST:: SOT 635386 SOS 546086 HAS SOPS 546086 HAS SOUS 159222 HAS SOUPS 159222 WITH SCORE 159768.086
AT ITER 4309 NEW BEST:: SOT 635386 SOS 546086 HAS SOPS 546086 HAS SOUS 159110 HAS SOUPS 159110 WITH SCORE 159656.086
AT ITER 4342 NEW BEST:: SOT 635234 SOS 545934 HAS SOPS 545934 HAS SOUS 158874 HAS SOUPS 158874 WITH SCORE 159419.934
AT ITER 4348 NEW BEST:: SOT 635220 SOS 545920 HAS SOPS 545920 HAS SOUS 158846 HAS SOUPS 158846 WITH SCORE 159391.92
AT ITER 4359 NEW BEST:: SOT 635142 SOS 545842 HAS SOPS 545842 HAS SOUS 158690 HAS SOUPS 158690 WITH SCORE 159235.842
AT ITER 4377 NEW BEST:: SOT 635136 SOS 545836 HAS SOPS 545836 HAS SOUS 158678 HAS SOUPS 158678 WITH SCORE 159223.836
AT ITER 4391 NEW BEST:: SOT 635108 SOS 545808 HAS SOPS 545808 HAS SOUS 158622 HAS SOUPS 158622 WITH SCORE 159167.808
AT ITER 4395 NEW BEST:: SOT 635076 SOS 545776 HAS SOPS 545776 HAS SOUS 158522 HAS SOUPS 158522 WITH SCORE 159067.776
AT ITER 4399 NEW BEST:: SOT 634932 SOS 545632 HAS SOPS 545632 HAS SOUS 158234 HAS SOUPS 158234 WITH SCORE 158779.632
AT ITER 4410 NEW BEST:: SOT 634870 SOS 545570 HAS SOPS 545570 HAS SOUS 158110 HAS SOUPS 158110 WITH SCORE 158655.57
AT ITER 4413 NEW BEST:: SOT 634870 SOS 545570 HAS SOPS 545570 HAS SOUS 158104 HAS SOUPS 158104 WITH SCORE 158649.57
AT ITER 4425 NEW BEST:: SOT 634756 SOS 545456 HAS SOPS 545456 HAS SOUS 157964 HAS SOUPS 157964 WITH SCORE 158509.456
AT ITER 4443 NEW BEST:: SOT 634756 SOS 545384 HAS SOPS 545384 HAS SOUS 157964 HAS SOUPS 157964 WITH SCORE 158509.384
AT ITER 4456 NEW BEST:: SOT 634756 SOS 545384 HAS SOPS 545384 HAS SOUS 157960 HAS SOUPS 157960 WITH SCORE 158505.384
AT ITER 4458 NEW BEST:: SOT 634662 SOS 545290 HAS SOPS 545290 HAS SOUS 157772 HAS SOUPS 157772 WITH SCORE 158317.29
AT ITER 4463 NEW BEST:: SOT 634662 SOS 545290 HAS SOPS 545290 HAS SOUS 157570 HAS SOUPS 157570 WITH SCORE 158115.29
AT ITER 4480 NEW BEST:: SOT 634662 SOS 545448 HAS SOPS 545448 HAS SOUS 157512 HAS SOUPS 157512 WITH SCORE 158057.448
AT ITER 4492 NEW BEST:: SOT 634600 SOS 545386 HAS SOPS 545386 HAS SOUS 157388 HAS SOUPS 157388 WITH SCORE 157933.386
AT ITER 4503 NEW BEST:: SOT 634590 SOS 545376 HAS SOPS 545376 HAS SOUS 157368 HAS SOUPS 157368 WITH SCORE 157913.376
AT ITER 4534 NEW BEST:: SOT 634534 SOS 545320 HAS SOPS 545320 HAS SOUS 157256 HAS SOUPS 157256 WITH SCORE 157801.32
AT ITER 4539 NEW BEST:: SOT 634472 SOS 545258 HAS SOPS 545258 HAS SOUS 157132 HAS SOUPS 157132 WITH SCORE 157677.258
AT ITER 4545 NEW BEST:: SOT 634334 SOS 545120 HAS SOPS 545120 HAS SOUS 156856 HAS SOUPS 156856 WITH SCORE 157401.12
AT ITER 4564 NEW BEST:: SOT 634212 SOS 544998 HAS SOPS 544998 HAS SOUS 156612 HAS SOUPS 156612 WITH SCORE 157156.998
AT ITER 4594 NEW BEST:: SOT 634204 SOS 544990 HAS SOPS 544990 HAS SOUS 156596 HAS SOUPS 156596 WITH SCORE 157140.99
AT ITER 4609 NEW BEST:: SOT 634140 SOS 544926 HAS SOPS 544926 HAS SOUS 156468 HAS SOUPS 156468 WITH SCORE 157012.926
AT ITER 4620 NEW BEST:: SOT 634118 SOS 544904 HAS SOPS 544904 HAS SOUS 156424 HAS SOUPS 156424 WITH SCORE 156968.904
AT ITER 4627 NEW BEST:: SOT 634010 SOS 544796 HAS SOPS 544796 HAS SOUS 156208 HAS SOUPS 156208 WITH SCORE 156752.796
AT ITER 4629 NEW BEST:: SOT 634010 SOS 544700 HAS SOPS 544700 HAS SOUS 156112 HAS SOUPS 156112 WITH SCORE 156656.7
AT ITER 4637 NEW BEST:: SOT 634010 SOS 544700 HAS SOPS 544700 HAS SOUS 156054 HAS SOUPS 156054 WITH SCORE 156598.7
AT ITER 4638 NEW BEST:: SOT 633980 SOS 544670 HAS SOPS 544670 HAS SOUS 155994 HAS SOUPS 155994 WITH SCORE 156538.67
AT ITER 4651 NEW BEST:: SOT 633980 SOS 544670 HAS SOPS 544670 HAS SOUS 155982 HAS SOUPS 155982 WITH SCORE 156526.67
AT ITER 4672 NEW BEST:: SOT 633926 SOS 544616 HAS SOPS 544616 HAS SOUS 155874 HAS SOUPS 155874 WITH SCORE 156418.616
AT ITER 4679 NEW BEST:: SOT 633826 SOS 544516 HAS SOPS 544516 HAS SOUS 155674 HAS SOUPS 155674 WITH SCORE 156218.516
AT ITER 4693 NEW BEST:: SOT 633772 SOS 544462 HAS SOPS 544462 HAS SOUS 155566 HAS SOUPS 155566 WITH SCORE 156110.462
AT ITER 4696 NEW BEST:: SOT 633732 SOS 544422 HAS SOPS 544422 HAS SOUS 155526 HAS SOUPS 155526 WITH SCORE 156070.422
AT ITER 4711 NEW BEST:: SOT 633704 SOS 544394 HAS SOPS 544394 HAS SOUS 155312 HAS SOUPS 155312 WITH SCORE 155856.394
AT ITER 4732 NEW BEST:: SOT 633640 SOS 544330 HAS SOPS 544330 HAS SOUS 155184 HAS SOUPS 155184 WITH SCORE 155728.33
AT ITER 4746 NEW BEST:: SOT 633640 SOS 544330 HAS SOPS 544330 HAS SOUS 155122 HAS SOUPS 155122 WITH SCORE 155666.33
AT ITER 4747 NEW BEST:: SOT 633640 SOS 544310 HAS SOPS 544310 HAS SOUS 155102 HAS SOUPS 155102 WITH SCORE 155646.31
AT ITER 4764 NEW BEST:: SOT 633640 SOS 544308 HAS SOPS 544308 HAS SOUS 155100 HAS SOUPS 155100 WITH SCORE 155644.308
AT ITER 4767 NEW BEST:: SOT 633594 SOS 544262 HAS SOPS 544262 HAS SOUS 154998 HAS SOUPS 154998 WITH SCORE 155542.262
AT ITER 4768 NEW BEST:: SOT 633590 SOS 544258 HAS SOPS 544258 HAS SOUS 154990 HAS SOUPS 154990 WITH SCORE 155534.258
AT ITER 4774 NEW BEST:: SOT 633548 SOS 544216 HAS SOPS 544216 HAS SOUS 154906 HAS SOUPS 154906 WITH SCORE 155450.216
AT ITER 4793 NEW BEST:: SOT 633548 SOS 544216 HAS SOPS 544216 HAS SOUS 154692 HAS SOUPS 154692 WITH SCORE 155236.216
AT ITER 4802 NEW BEST:: SOT 633374 SOS 544042 HAS SOPS 544042 HAS SOUS 154344 HAS SOUPS 154344 WITH SCORE 154888.042
AT ITER 4814 NEW BEST:: SOT 633374 SOS 544042 HAS SOPS 544042 HAS SOUS 154224 HAS SOUPS 154224 WITH SCORE 154768.042
AT ITER 4852 NEW BEST:: SOT 633374 SOS 544042 HAS SOPS 544042 HAS SOUS 154114 HAS SOUPS 154114 WITH SCORE 154658.042
AT ITER 4863 NEW BEST:: SOT 633110 SOS 543778 HAS SOPS 543778 HAS SOUS 153586 HAS SOUPS 153586 WITH SCORE 154129.778
AT ITER 4866 NEW BEST:: SOT 633006 SOS 543674 HAS SOPS 543674 HAS SOUS 153378 HAS SOUPS 153378 WITH SCORE 153921.674
AT ITER 4872 NEW BEST:: SOT 633006 SOS 543674 HAS SOPS 543674 HAS SOUS 153330 HAS SOUPS 153330 WITH SCORE 153873.674
AT ITER 4908 NEW BEST:: SOT 632968 SOS 543636 HAS SOPS 543636 HAS SOUS 153168 HAS SOUPS 153168 WITH SCORE 153711.636
AT ITER 4909 NEW BEST:: SOT 632886 SOS 543554 HAS SOPS 543554 HAS SOUS 153004 HAS SOUPS 153004 WITH SCORE 153547.554
AT ITER 4933 NEW BEST:: SOT 632864 SOS 543532 HAS SOPS 543532 HAS SOUS 152960 HAS SOUPS 152960 WITH SCORE 153503.532
AT ITER 4974 NEW BEST:: SOT 632864 SOS 543510 HAS SOPS 543510 HAS SOUS 152938 HAS SOUPS 152938 WITH SCORE 153481.51
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-00 (EX( (EG( ( potential( ( 3 ) <= (tk(P426)) ) & potential( (tk(P828)) <= (tk(P357)) ) )))))
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-01 (AU( potential( ( 2 ) <= (tk(P349)) ),( potential( (tk(P311)) <= (tk(P773)) ) & ( potential( ( 1 ) <= (tk(P676)) ) & potential( (tk(P724)) <= (tk(P637)) ) ) ) ))
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-02 ( (EF((! (! potential( ( 2 ) <= (tk(P560)) ))))) & (! (AU( potential( ( 1 ) <= (tk(P980)) ),potential( (tk(P261)) <= (tk(P38)) ) ))) )
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-03 (! (AG( (EG( potential( (tk(P536)) <= (tk(P132)) ))))))
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-04 ( potential( ( 3 ) <= (tk(P123)) ) | potential( ( 1 ) <= (tk(P898)) ) )
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-05 potential( (tk(P521)) <= (tk(P694)) )
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-06 potential( (tk(P539)) <= (tk(P30)) )
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-07 (EX( (! (AF(potential( ( 2 ) <= (tk(P170)) ))))))
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-08 ( potential( (tk(P1006)) <= (tk(P436)) ) | (EU( ( potential( (tk(P945)) <= (tk(P718)) ) | potential( ( 2 ) <= (tk(P82)) ) ),(! potential( ( 3 ) <= (tk(P500)) )) )) )
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-09 ( (EG( (! (! potential( (tk(P1)) <= (tk(P206)) ))))) & (! (AX( ( potential( ( 3 ) <= (tk(P772)) ) & potential( ( 2 ) <= (tk(P617)) ) )))) )
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-10 ( ( (EX( ( potential( ( 2 ) <= (tk(P174)) ) & potential( (tk(P674)) <= (tk(P231)) ) ))) | (AU( potential( ( 1 ) <= (tk(P507)) ),potential( (tk(P787)) <= (tk(P138)) ) )) ) | potential( ( 2 ) <= (tk(P323)) ) )
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-11 (AG( (EF(potential( ( 2 ) <= (tk(P553)) )))))
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-12 (AG( (! ( (! potential( (tk(P322)) <= (tk(P673)) )) & potential( ( 2 ) <= (tk(P68)) ) ))))
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-13 ( potential( (tk(P968)) <= (tk(P954)) ) | (EU( ( potential( ( 1 ) <= (tk(P193)) ) & potential( (tk(P917)) <= (tk(P263)) ) ),(! potential( ( 1 ) <= (tk(P406)) )) )) )
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-14 potential( (tk(P510)) <= (tk(P906)) )
PROPERTY: RwMutex-PT-r0010w0500-CTLCardinality-15 (AF(potential( ( 2 ) <= (tk(P145)) )))

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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