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-158972910000276.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910000276
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1589742763088

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

GOT IT HERE. BS
Petri model created: 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 1 NEW BEST:: SOT 1048474 SOS 787312 HAS SOPS 787312 HAS SOUS 787312 HAS SOUPS 787312 WITH SCORE 788099.312
AT ITER 2 NEW BEST:: SOT 1048474 SOS 786546 HAS SOPS 786546 HAS SOUS 786546 HAS SOUPS 786546 WITH SCORE 787332.546
AT ITER 5 NEW BEST:: SOT 1048474 SOS 786498 HAS SOPS 786498 HAS SOUS 786498 HAS SOUPS 786498 WITH SCORE 787284.498
AT ITER 10 NEW BEST:: SOT 1048474 SOS 786154 HAS SOPS 786154 HAS SOUS 786154 HAS SOUPS 786154 WITH SCORE 786940.154
AT ITER 12 NEW BEST:: SOT 1048474 SOS 785356 HAS SOPS 785356 HAS SOUS 785356 HAS SOUPS 785356 WITH SCORE 786141.356
AT ITER 13 NEW BEST:: SOT 1048474 SOS 784824 HAS SOPS 784824 HAS SOUS 784824 HAS SOUPS 784824 WITH SCORE 785608.824
AT ITER 15 NEW BEST:: SOT 1048474 SOS 784008 HAS SOPS 784008 HAS SOUS 784008 HAS SOUPS 784008 WITH SCORE 784792.008
AT ITER 17 NEW BEST:: SOT 1048474 SOS 783596 HAS SOPS 783596 HAS SOUS 783596 HAS SOUPS 783596 WITH SCORE 784379.596
AT ITER 19 NEW BEST:: SOT 1048474 SOS 782816 HAS SOPS 782816 HAS SOUS 782816 HAS SOUPS 782816 WITH SCORE 783598.816
AT ITER 21 NEW BEST:: SOT 1048474 SOS 782382 HAS SOPS 782382 HAS SOUS 782382 HAS SOUPS 782382 WITH SCORE 783164.382
AT ITER 24 NEW BEST:: SOT 1047396 SOS 874364 HAS SOPS 874364 HAS SOUS 782096 HAS SOUPS 782096 WITH SCORE 782970.364
AT ITER 26 NEW BEST:: SOT 1047396 SOS 874354 HAS SOPS 874354 HAS SOUS 781310 HAS SOUPS 781310 WITH SCORE 782184.354
AT ITER 27 NEW BEST:: SOT 1047396 SOS 874354 HAS SOPS 874354 HAS SOUS 781034 HAS SOUPS 781034 WITH SCORE 781908.354
AT ITER 30 NEW BEST:: SOT 1047272 SOS 874230 HAS SOPS 874230 HAS SOUS 780910 HAS SOUPS 780910 WITH SCORE 781784.23
AT ITER 32 NEW BEST:: SOT 1047272 SOS 874230 HAS SOPS 874230 HAS SOUS 780374 HAS SOUPS 780374 WITH SCORE 781248.23
AT ITER 33 NEW BEST:: SOT 1047272 SOS 874230 HAS SOPS 874230 HAS SOUS 779576 HAS SOUPS 779576 WITH SCORE 780450.23
AT ITER 35 NEW BEST:: SOT 1047272 SOS 874230 HAS SOPS 874230 HAS SOUS 779088 HAS SOUPS 779088 WITH SCORE 779962.23
AT ITER 36 NEW BEST:: SOT 1047272 SOS 874230 HAS SOPS 874230 HAS SOUS 778354 HAS SOUPS 778354 WITH SCORE 779228.23
AT ITER 37 NEW BEST:: SOT 1047272 SOS 874230 HAS SOPS 874230 HAS SOUS 778250 HAS SOUPS 778250 WITH SCORE 779124.23
AT ITER 38 NEW BEST:: SOT 1047272 SOS 874230 HAS SOPS 874230 HAS SOUS 777974 HAS SOUPS 777974 WITH SCORE 778848.23
AT ITER 41 NEW BEST:: SOT 1047272 SOS 874230 HAS SOPS 874230 HAS SOUS 777390 HAS SOUPS 777390 WITH SCORE 778264.23
AT ITER 44 NEW BEST:: SOT 1047272 SOS 874230 HAS SOPS 874230 HAS SOUS 777356 HAS SOUPS 777356 WITH SCORE 778230.23
AT ITER 45 NEW BEST:: SOT 1047272 SOS 874230 HAS SOPS 874230 HAS SOUS 776570 HAS SOUPS 776570 WITH SCORE 777444.23
AT ITER 46 NEW BEST:: SOT 1047272 SOS 874192 HAS SOPS 874192 HAS SOUS 775748 HAS SOUPS 775748 WITH SCORE 776622.192
AT ITER 47 NEW BEST:: SOT 1047272 SOS 874192 HAS SOPS 874192 HAS SOUS 774986 HAS SOUPS 774986 WITH SCORE 775860.192
AT ITER 48 NEW BEST:: SOT 1047272 SOS 874192 HAS SOPS 874192 HAS SOUS 774198 HAS SOUPS 774198 WITH SCORE 775072.192
AT ITER 49 NEW BEST:: SOT 1047272 SOS 874192 HAS SOPS 874192 HAS SOUS 773456 HAS SOUPS 773456 WITH SCORE 774330.192
AT ITER 50 NEW BEST:: SOT 1047272 SOS 874192 HAS SOPS 874192 HAS SOUS 772940 HAS SOUPS 772940 WITH SCORE 773814.192
AT ITER 53 NEW BEST:: SOT 1047272 SOS 874140 HAS SOPS 874140 HAS SOUS 772282 HAS SOUPS 772282 WITH SCORE 773156.14
AT ITER 54 NEW BEST:: SOT 1047272 SOS 874140 HAS SOPS 874140 HAS SOUS 771664 HAS SOUPS 771664 WITH SCORE 772538.14
AT ITER 59 NEW BEST:: SOT 1047272 SOS 874140 HAS SOPS 874140 HAS SOUS 770890 HAS SOUPS 770890 WITH SCORE 771764.14
AT ITER 60 NEW BEST:: SOT 1047272 SOS 874140 HAS SOPS 874140 HAS SOUS 770604 HAS SOUPS 770604 WITH SCORE 771478.14
AT ITER 61 NEW BEST:: SOT 1047272 SOS 874140 HAS SOPS 874140 HAS SOUS 770108 HAS SOUPS 770108 WITH SCORE 770982.14
AT ITER 65 NEW BEST:: SOT 1047272 SOS 874140 HAS SOPS 874140 HAS SOUS 769402 HAS SOUPS 769402 WITH SCORE 770276.14
AT ITER 70 NEW BEST:: SOT 1047272 SOS 874140 HAS SOPS 874140 HAS SOUS 768758 HAS SOUPS 768758 WITH SCORE 769632.14
AT ITER 71 NEW BEST:: SOT 1047272 SOS 874140 HAS SOPS 874140 HAS SOUS 768222 HAS SOUPS 768222 WITH SCORE 769096.14
AT ITER 73 NEW BEST:: SOT 1046312 SOS 950388 HAS SOPS 950388 HAS SOUS 767014 HAS SOUPS 767014 WITH SCORE 767964.388
AT ITER 74 NEW BEST:: SOT 1046312 SOS 950388 HAS SOPS 950388 HAS SOUS 766994 HAS SOUPS 766994 WITH SCORE 767944.388
AT ITER 75 NEW BEST:: SOT 1046312 SOS 950388 HAS SOPS 950388 HAS SOUS 766196 HAS SOUPS 766196 WITH SCORE 767146.388
AT ITER 78 NEW BEST:: SOT 1046312 SOS 950388 HAS SOPS 950388 HAS SOUS 765368 HAS SOUPS 765368 WITH SCORE 766318.388
AT ITER 80 NEW BEST:: SOT 1046312 SOS 950388 HAS SOPS 950388 HAS SOUS 764914 HAS SOUPS 764914 WITH SCORE 765864.388
AT ITER 85 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 764660 HAS SOUPS 764660 WITH SCORE 765610.306
AT ITER 87 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 764592 HAS SOUPS 764592 WITH SCORE 765542.306
AT ITER 89 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 763996 HAS SOUPS 763996 WITH SCORE 764946.306
AT ITER 90 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 763198 HAS SOUPS 763198 WITH SCORE 764148.306
AT ITER 91 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 762804 HAS SOUPS 762804 WITH SCORE 763754.306
AT ITER 92 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 762796 HAS SOUPS 762796 WITH SCORE 763746.306
AT ITER 93 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 762540 HAS SOUPS 762540 WITH SCORE 763490.306
AT ITER 97 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 761820 HAS SOUPS 761820 WITH SCORE 762770.306
AT ITER 98 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 761618 HAS SOUPS 761618 WITH SCORE 762568.306
AT ITER 101 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 761042 HAS SOUPS 761042 WITH SCORE 761992.306
AT ITER 102 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 760218 HAS SOUPS 760218 WITH SCORE 761168.306
AT ITER 103 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 759116 HAS SOUPS 759116 WITH SCORE 760066.306
AT ITER 106 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 758338 HAS SOUPS 758338 WITH SCORE 759288.306
AT ITER 113 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 757562 HAS SOUPS 757562 WITH SCORE 758512.306
AT ITER 114 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 756994 HAS SOUPS 756994 WITH SCORE 757944.306
AT ITER 117 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 756290 HAS SOUPS 756290 WITH SCORE 757240.306
AT ITER 118 NEW BEST:: SOT 1046230 SOS 950306 HAS SOPS 950306 HAS SOUS 756066 HAS SOUPS 756066 WITH SCORE 757016.306
AT ITER 123 NEW BEST:: SOT 1046230 SOS 949956 HAS SOPS 949956 HAS SOUS 755716 HAS SOUPS 755716 WITH SCORE 756665.956
AT ITER 128 NEW BEST:: SOT 1046230 SOS 949956 HAS SOPS 949956 HAS SOUS 754954 HAS SOUPS 754954 WITH SCORE 755903.956
AT ITER 130 NEW BEST:: SOT 1046230 SOS 949956 HAS SOPS 949956 HAS SOUS 754288 HAS SOUPS 754288 WITH SCORE 755237.956
AT ITER 133 NEW BEST:: SOT 1046230 SOS 949956 HAS SOPS 949956 HAS SOUS 753522 HAS SOUPS 753522 WITH SCORE 754471.956
AT ITER 136 NEW BEST:: SOT 1046330 SOS 872516 HAS SOPS 872516 HAS SOUS 753122 HAS SOUPS 753122 WITH SCORE 753994.516
AT ITER 137 NEW BEST:: SOT 1046330 SOS 872516 HAS SOPS 872516 HAS SOUS 752504 HAS SOUPS 752504 WITH SCORE 753376.516
AT ITER 138 NEW BEST:: SOT 1046330 SOS 872330 HAS SOPS 872330 HAS SOUS 750950 HAS SOUPS 750950 WITH SCORE 751822.33
AT ITER 139 NEW BEST:: SOT 1046330 SOS 872330 HAS SOPS 872330 HAS SOUS 750358 HAS SOUPS 750358 WITH SCORE 751230.33
AT ITER 140 NEW BEST:: SOT 1046330 SOS 872330 HAS SOPS 872330 HAS SOUS 749544 HAS SOUPS 749544 WITH SCORE 750416.33
AT ITER 145 NEW BEST:: SOT 1046330 SOS 872330 HAS SOPS 872330 HAS SOUS 749202 HAS SOUPS 749202 WITH SCORE 750074.33
AT ITER 146 NEW BEST:: SOT 1046330 SOS 872330 HAS SOPS 872330 HAS SOUS 749088 HAS SOUPS 749088 WITH SCORE 749960.33
AT ITER 147 NEW BEST:: SOT 1046330 SOS 872286 HAS SOPS 872286 HAS SOUS 748848 HAS SOUPS 748848 WITH SCORE 749720.286
AT ITER 148 NEW BEST:: SOT 1046330 SOS 872286 HAS SOPS 872286 HAS SOUS 748798 HAS SOUPS 748798 WITH SCORE 749670.286
AT ITER 153 NEW BEST:: SOT 1046330 SOS 872256 HAS SOPS 872256 HAS SOUS 748768 HAS SOUPS 748768 WITH SCORE 749640.256
AT ITER 154 NEW BEST:: SOT 1046330 SOS 872256 HAS SOPS 872256 HAS SOUS 747984 HAS SOUPS 747984 WITH SCORE 748856.256
AT ITER 155 NEW BEST:: SOT 1046330 SOS 872256 HAS SOPS 872256 HAS SOUS 747168 HAS SOUPS 747168 WITH SCORE 748040.256
AT ITER 158 NEW BEST:: SOT 1046330 SOS 872120 HAS SOPS 872120 HAS SOUS 746336 HAS SOUPS 746336 WITH SCORE 747208.12
AT ITER 159 NEW BEST:: SOT 1046330 SOS 872120 HAS SOPS 872120 HAS SOUS 745834 HAS SOUPS 745834 WITH SCORE 746706.12
AT ITER 161 NEW BEST:: SOT 1046330 SOS 872120 HAS SOPS 872120 HAS SOUS 745240 HAS SOUPS 745240 WITH SCORE 746112.12
AT ITER 164 NEW BEST:: SOT 1046330 SOS 872120 HAS SOPS 872120 HAS SOUS 744422 HAS SOUPS 744422 WITH SCORE 745294.12
AT ITER 165 NEW BEST:: SOT 1046330 SOS 872120 HAS SOPS 872120 HAS SOUS 744096 HAS SOUPS 744096 WITH SCORE 744968.12
AT ITER 166 NEW BEST:: SOT 1046330 SOS 872120 HAS SOPS 872120 HAS SOUS 743824 HAS SOUPS 743824 WITH SCORE 744696.12
AT ITER 167 NEW BEST:: SOT 1046330 SOS 872120 HAS SOPS 872120 HAS SOUS 743464 HAS SOUPS 743464 WITH SCORE 744336.12
AT ITER 168 NEW BEST:: SOT 1046330 SOS 872120 HAS SOPS 872120 HAS SOUS 743312 HAS SOUPS 743312 WITH SCORE 744184.12
AT ITER 173 NEW BEST:: SOT 1046330 SOS 872010 HAS SOPS 872010 HAS SOUS 742482 HAS SOUPS 742482 WITH SCORE 743354.01
AT ITER 174 NEW BEST:: SOT 1046330 SOS 872010 HAS SOPS 872010 HAS SOUS 742038 HAS SOUPS 742038 WITH SCORE 742910.01
AT ITER 179 NEW BEST:: SOT 1046248 SOS 872604 HAS SOPS 872604 HAS SOUS 741838 HAS SOUPS 741838 WITH SCORE 742710.604
AT ITER 186 NEW BEST:: SOT 1046248 SOS 872604 HAS SOPS 872604 HAS SOUS 741210 HAS SOUPS 741210 WITH SCORE 742082.604
AT ITER 187 NEW BEST:: SOT 1046148 SOS 872504 HAS SOPS 872504 HAS SOUS 740832 HAS SOUPS 740832 WITH SCORE 741704.504
AT ITER 190 NEW BEST:: SOT 1046148 SOS 872504 HAS SOPS 872504 HAS SOUS 740058 HAS SOUPS 740058 WITH SCORE 740930.504
AT ITER 191 NEW BEST:: SOT 1046148 SOS 872504 HAS SOPS 872504 HAS SOUS 739578 HAS SOUPS 739578 WITH SCORE 740450.504
AT ITER 192 NEW BEST:: SOT 1046148 SOS 872504 HAS SOPS 872504 HAS SOUS 739038 HAS SOUPS 739038 WITH SCORE 739910.504
AT ITER 193 NEW BEST:: SOT 1046148 SOS 872504 HAS SOPS 872504 HAS SOUS 738702 HAS SOUPS 738702 WITH SCORE 739574.504
AT ITER 194 NEW BEST:: SOT 1046148 SOS 872504 HAS SOPS 872504 HAS SOUS 738594 HAS SOUPS 738594 WITH SCORE 739466.504
AT ITER 195 NEW BEST:: SOT 1046148 SOS 872504 HAS SOPS 872504 HAS SOUS 737874 HAS SOUPS 737874 WITH SCORE 738746.504
AT ITER 198 NEW BEST:: SOT 1046148 SOS 872504 HAS SOPS 872504 HAS SOUS 737192 HAS SOUPS 737192 WITH SCORE 738064.504
AT ITER 199 NEW BEST:: SOT 1046148 SOS 872504 HAS SOPS 872504 HAS SOUS 736474 HAS SOUPS 736474 WITH SCORE 737346.504
AT ITER 201 NEW BEST:: SOT 1046148 SOS 872504 HAS SOPS 872504 HAS SOUS 736328 HAS SOUPS 736328 WITH SCORE 737200.504
AT ITER 202 NEW BEST:: SOT 1046148 SOS 872500 HAS SOPS 872500 HAS SOUS 735734 HAS SOUPS 735734 WITH SCORE 736606.5
AT ITER 206 NEW BEST:: SOT 1046148 SOS 872500 HAS SOPS 872500 HAS SOUS 735266 HAS SOUPS 735266 WITH SCORE 736138.5
AT ITER 208 NEW BEST:: SOT 1046148 SOS 872500 HAS SOPS 872500 HAS SOUS 734776 HAS SOUPS 734776 WITH SCORE 735648.5
AT ITER 210 NEW BEST:: SOT 1046148 SOS 871174 HAS SOPS 871174 HAS SOUS 734012 HAS SOUPS 734012 WITH SCORE 734883.174
AT ITER 212 NEW BEST:: SOT 1046148 SOS 871174 HAS SOPS 871174 HAS SOUS 733348 HAS SOUPS 733348 WITH SCORE 734219.174
AT ITER 213 NEW BEST:: SOT 1046148 SOS 871174 HAS SOPS 871174 HAS SOUS 733256 HAS SOUPS 733256 WITH SCORE 734127.174
AT ITER 216 NEW BEST:: SOT 1046066 SOS 871092 HAS SOPS 871092 HAS SOUS 732794 HAS SOUPS 732794 WITH SCORE 733665.092
AT ITER 220 NEW BEST:: SOT 1045754 SOS 870780 HAS SOPS 870780 HAS SOUS 732482 HAS SOUPS 732482 WITH SCORE 733352.78
AT ITER 222 NEW BEST:: SOT 1045754 SOS 870722 HAS SOPS 870722 HAS SOUS 732126 HAS SOUPS 732126 WITH SCORE 732996.722
AT ITER 223 NEW BEST:: SOT 1045754 SOS 870666 HAS SOPS 870666 HAS SOUS 731792 HAS SOUPS 731792 WITH SCORE 732662.666
AT ITER 224 NEW BEST:: SOT 1045754 SOS 870666 HAS SOPS 870666 HAS SOUS 731228 HAS SOUPS 731228 WITH SCORE 732098.666
AT ITER 230 NEW BEST:: SOT 1045754 SOS 870666 HAS SOPS 870666 HAS SOUS 731024 HAS SOUPS 731024 WITH SCORE 731894.666
AT ITER 231 NEW BEST:: SOT 1045754 SOS 870346 HAS SOPS 870346 HAS SOUS 730678 HAS SOUPS 730678 WITH SCORE 731548.346
AT ITER 232 NEW BEST:: SOT 1045754 SOS 870346 HAS SOPS 870346 HAS SOUS 729900 HAS SOUPS 729900 WITH SCORE 730770.346
AT ITER 235 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 728632 HAS SOUPS 728632 WITH SCORE 729501.156
AT ITER 238 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 728348 HAS SOUPS 728348 WITH SCORE 729217.156
AT ITER 240 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 727932 HAS SOUPS 727932 WITH SCORE 728801.156
AT ITER 242 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 727538 HAS SOUPS 727538 WITH SCORE 728407.156
AT ITER 243 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 727150 HAS SOUPS 727150 WITH SCORE 728019.156
AT ITER 248 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 726444 HAS SOUPS 726444 WITH SCORE 727313.156
AT ITER 251 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 726366 HAS SOUPS 726366 WITH SCORE 727235.156
AT ITER 262 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 725714 HAS SOUPS 725714 WITH SCORE 726583.156
AT ITER 263 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 725086 HAS SOUPS 725086 WITH SCORE 725955.156
AT ITER 265 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 724298 HAS SOUPS 724298 WITH SCORE 725167.156
AT ITER 266 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 723514 HAS SOUPS 723514 WITH SCORE 724383.156
AT ITER 268 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 722942 HAS SOUPS 722942 WITH SCORE 723811.156
AT ITER 269 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 722786 HAS SOUPS 722786 WITH SCORE 723655.156
AT ITER 279 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 722602 HAS SOUPS 722602 WITH SCORE 723471.156
AT ITER 280 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 722242 HAS SOUPS 722242 WITH SCORE 723111.156
AT ITER 281 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 721794 HAS SOUPS 721794 WITH SCORE 722663.156
AT ITER 283 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 721636 HAS SOUPS 721636 WITH SCORE 722505.156
AT ITER 285 NEW BEST:: SOT 1044564 SOS 869156 HAS SOPS 869156 HAS SOUS 720856 HAS SOUPS 720856 WITH SCORE 721725.156
AT ITER 288 NEW BEST:: SOT 1044564 SOS 869120 HAS SOPS 869120 HAS SOUS 720034 HAS SOUPS 720034 WITH SCORE 720903.12
AT ITER 289 NEW BEST:: SOT 1044564 SOS 868830 HAS SOPS 868830 HAS SOUS 720028 HAS SOUPS 720028 WITH SCORE 720896.83
AT ITER 290 NEW BEST:: SOT 1044564 SOS 868830 HAS SOPS 868830 HAS SOUS 719694 HAS SOUPS 719694 WITH SCORE 720562.83
AT ITER 291 NEW BEST:: SOT 1044564 SOS 868830 HAS SOPS 868830 HAS SOUS 719188 HAS SOUPS 719188 WITH SCORE 720056.83
AT ITER 293 NEW BEST:: SOT 1044564 SOS 868830 HAS SOPS 868830 HAS SOUS 719140 HAS SOUPS 719140 WITH SCORE 720008.83
AT ITER 294 NEW BEST:: SOT 1044564 SOS 868742 HAS SOPS 868742 HAS SOUS 718312 HAS SOUPS 718312 WITH SCORE 719180.742
AT ITER 296 NEW BEST:: SOT 1044564 SOS 868742 HAS SOPS 868742 HAS SOUS 718220 HAS SOUPS 718220 WITH SCORE 719088.742
AT ITER 297 NEW BEST:: SOT 1044564 SOS 868742 HAS SOPS 868742 HAS SOUS 718048 HAS SOUPS 718048 WITH SCORE 718916.742
AT ITER 298 NEW BEST:: SOT 1044564 SOS 868742 HAS SOPS 868742 HAS SOUS 717308 HAS SOUPS 717308 WITH SCORE 718176.742
AT ITER 300 NEW BEST:: SOT 1044564 SOS 868742 HAS SOPS 868742 HAS SOUS 717072 HAS SOUPS 717072 WITH SCORE 717940.742
AT ITER 301 NEW BEST:: SOT 1044482 SOS 868660 HAS SOPS 868660 HAS SOUS 716224 HAS SOUPS 716224 WITH SCORE 717092.66
AT ITER 304 NEW BEST:: SOT 1044482 SOS 868660 HAS SOPS 868660 HAS SOUS 715426 HAS SOUPS 715426 WITH SCORE 716294.66
AT ITER 305 NEW BEST:: SOT 1044482 SOS 868660 HAS SOPS 868660 HAS SOUS 715340 HAS SOUPS 715340 WITH SCORE 716208.66
AT ITER 310 NEW BEST:: SOT 1044482 SOS 868660 HAS SOPS 868660 HAS SOUS 714936 HAS SOUPS 714936 WITH SCORE 715804.66
AT ITER 313 NEW BEST:: SOT 1044482 SOS 868660 HAS SOPS 868660 HAS SOUS 714680 HAS SOUPS 714680 WITH SCORE 715548.66
AT ITER 314 NEW BEST:: SOT 1044482 SOS 868660 HAS SOPS 868660 HAS SOUS 714388 HAS SOUPS 714388 WITH SCORE 715256.66
AT ITER 315 NEW BEST:: SOT 1044482 SOS 868660 HAS SOPS 868660 HAS SOUS 714260 HAS SOUPS 714260 WITH SCORE 715128.66
AT ITER 316 NEW BEST:: SOT 1044482 SOS 868644 HAS SOPS 868644 HAS SOUS 713558 HAS SOUPS 713558 WITH SCORE 714426.644
AT ITER 319 NEW BEST:: SOT 1044482 SOS 868644 HAS SOPS 868644 HAS SOUS 713366 HAS SOUPS 713366 WITH SCORE 714234.644
AT ITER 324 NEW BEST:: SOT 1044482 SOS 868644 HAS SOPS 868644 HAS SOUS 713194 HAS SOUPS 713194 WITH SCORE 714062.644
AT ITER 330 NEW BEST:: SOT 1044482 SOS 868644 HAS SOPS 868644 HAS SOUS 712658 HAS SOUPS 712658 WITH SCORE 713526.644
AT ITER 332 NEW BEST:: SOT 1044482 SOS 868644 HAS SOPS 868644 HAS SOUS 712302 HAS SOUPS 712302 WITH SCORE 713170.644
AT ITER 333 NEW BEST:: SOT 1044482 SOS 868644 HAS SOPS 868644 HAS SOUS 712198 HAS SOUPS 712198 WITH SCORE 713066.644
AT ITER 334 NEW BEST:: SOT 1044482 SOS 868392 HAS SOPS 868392 HAS SOUS 710492 HAS SOUPS 710492 WITH SCORE 711360.392
AT ITER 338 NEW BEST:: SOT 1044482 SOS 868392 HAS SOPS 868392 HAS SOUS 709896 HAS SOUPS 709896 WITH SCORE 710764.392
AT ITER 341 NEW BEST:: SOT 1044482 SOS 868392 HAS SOPS 868392 HAS SOUS 709888 HAS SOUPS 709888 WITH SCORE 710756.392
AT ITER 343 NEW BEST:: SOT 1044482 SOS 868392 HAS SOPS 868392 HAS SOUS 709886 HAS SOUPS 709886 WITH SCORE 710754.392
AT ITER 346 NEW BEST:: SOT 1044482 SOS 868392 HAS SOPS 868392 HAS SOUS 709644 HAS SOUPS 709644 WITH SCORE 710512.392
AT ITER 348 NEW BEST:: SOT 1044482 SOS 868392 HAS SOPS 868392 HAS SOUS 708898 HAS SOUPS 708898 WITH SCORE 709766.392
AT ITER 351 NEW BEST:: SOT 1044482 SOS 868260 HAS SOPS 868260 HAS SOUS 708766 HAS SOUPS 708766 WITH SCORE 709634.26
AT ITER 355 NEW BEST:: SOT 1044482 SOS 868260 HAS SOPS 868260 HAS SOUS 707978 HAS SOUPS 707978 WITH SCORE 708846.26
AT ITER 357 NEW BEST:: SOT 1044482 SOS 868260 HAS SOPS 868260 HAS SOUS 707828 HAS SOUPS 707828 WITH SCORE 708696.26
AT ITER 358 NEW BEST:: SOT 1044482 SOS 868260 HAS SOPS 868260 HAS SOUS 707308 HAS SOUPS 707308 WITH SCORE 708176.26
AT ITER 363 NEW BEST:: SOT 1044482 SOS 868252 HAS SOPS 868252 HAS SOUS 707308 HAS SOUPS 707308 WITH SCORE 708176.252
AT ITER 366 NEW BEST:: SOT 1044482 SOS 868252 HAS SOPS 868252 HAS SOUS 706962 HAS SOUPS 706962 WITH SCORE 707830.252
AT ITER 367 NEW BEST:: SOT 1044482 SOS 868140 HAS SOPS 868140 HAS SOUS 706672 HAS SOUPS 706672 WITH SCORE 707540.14
AT ITER 368 NEW BEST:: SOT 1044482 SOS 868140 HAS SOPS 868140 HAS SOUS 706170 HAS SOUPS 706170 WITH SCORE 707038.14
AT ITER 372 NEW BEST:: SOT 1044482 SOS 868140 HAS SOPS 868140 HAS SOUS 705554 HAS SOUPS 705554 WITH SCORE 706422.14
AT ITER 373 NEW BEST:: SOT 1044482 SOS 868140 HAS SOPS 868140 HAS SOUS 705112 HAS SOUPS 705112 WITH SCORE 705980.14
AT ITER 374 NEW BEST:: SOT 1044482 SOS 868140 HAS SOPS 868140 HAS SOUS 704936 HAS SOUPS 704936 WITH SCORE 705804.14
AT ITER 376 NEW BEST:: SOT 1044482 SOS 868140 HAS SOPS 868140 HAS SOUS 704172 HAS SOUPS 704172 WITH SCORE 705040.14
AT ITER 377 NEW BEST:: SOT 1044482 SOS 868140 HAS SOPS 868140 HAS SOUS 703878 HAS SOUPS 703878 WITH SCORE 704746.14
AT ITER 381 NEW BEST:: SOT 1044482 SOS 868140 HAS SOPS 868140 HAS SOUS 703766 HAS SOUPS 703766 WITH SCORE 704634.14
AT ITER 382 NEW BEST:: SOT 1044482 SOS 868140 HAS SOPS 868140 HAS SOUS 703720 HAS SOUPS 703720 WITH SCORE 704588.14
AT ITER 386 NEW BEST:: SOT 1044482 SOS 868140 HAS SOPS 868140 HAS SOUS 703502 HAS SOUPS 703502 WITH SCORE 704370.14
AT ITER 388 NEW BEST:: SOT 1044482 SOS 868140 HAS SOPS 868140 HAS SOUS 703114 HAS SOUPS 703114 WITH SCORE 703982.14
AT ITER 389 NEW BEST:: SOT 1044482 SOS 868140 HAS SOPS 868140 HAS SOUS 703098 HAS SOUPS 703098 WITH SCORE 703966.14
AT ITER 392 NEW BEST:: SOT 1044482 SOS 868140 HAS SOPS 868140 HAS SOUS 702882 HAS SOUPS 702882 WITH SCORE 703750.14
AT ITER 393 NEW BEST:: SOT 1044400 SOS 868330 HAS SOPS 868330 HAS SOUS 702544 HAS SOUPS 702544 WITH SCORE 703412.33
AT ITER 394 NEW BEST:: SOT 1044400 SOS 868330 HAS SOPS 868330 HAS SOUS 701896 HAS SOUPS 701896 WITH SCORE 702764.33
AT ITER 395 NEW BEST:: SOT 1044400 SOS 868330 HAS SOPS 868330 HAS SOUS 701582 HAS SOUPS 701582 WITH SCORE 702450.33
AT ITER 400 NEW BEST:: SOT 1044400 SOS 868330 HAS SOPS 868330 HAS SOUS 701100 HAS SOUPS 701100 WITH SCORE 701968.33
AT ITER 403 NEW BEST:: SOT 1044400 SOS 868330 HAS SOPS 868330 HAS SOUS 700800 HAS SOUPS 700800 WITH SCORE 701668.33
AT ITER 405 NEW BEST:: SOT 1044400 SOS 868330 HAS SOPS 868330 HAS SOUS 700032 HAS SOUPS 700032 WITH SCORE 700900.33
AT ITER 407 NEW BEST:: SOT 1044400 SOS 868002 HAS SOPS 868002 HAS SOUS 699816 HAS SOUPS 699816 WITH SCORE 700684.002
AT ITER 408 NEW BEST:: SOT 1044400 SOS 868002 HAS SOPS 868002 HAS SOUS 699252 HAS SOUPS 699252 WITH SCORE 700120.002
AT ITER 409 NEW BEST:: SOT 1044400 SOS 868002 HAS SOPS 868002 HAS SOUS 699226 HAS SOUPS 699226 WITH SCORE 700094.002
AT ITER 410 NEW BEST:: SOT 1044400 SOS 868002 HAS SOPS 868002 HAS SOUS 698788 HAS SOUPS 698788 WITH SCORE 699656.002
AT ITER 412 NEW BEST:: SOT 1044400 SOS 868002 HAS SOPS 868002 HAS SOUS 698528 HAS SOUPS 698528 WITH SCORE 699396.002
AT ITER 416 NEW BEST:: SOT 1044400 SOS 868002 HAS SOPS 868002 HAS SOUS 698318 HAS SOUPS 698318 WITH SCORE 699186.002
AT ITER 417 NEW BEST:: SOT 1044400 SOS 868002 HAS SOPS 868002 HAS SOUS 697816 HAS SOUPS 697816 WITH SCORE 698684.002
AT ITER 420 NEW BEST:: SOT 1044400 SOS 867798 HAS SOPS 867798 HAS SOUS 697546 HAS SOUPS 697546 WITH SCORE 698413.798
AT ITER 425 NEW BEST:: SOT 1044400 SOS 867798 HAS SOPS 867798 HAS SOUS 696858 HAS SOUPS 696858 WITH SCORE 697725.798
AT ITER 427 NEW BEST:: SOT 1044400 SOS 867798 HAS SOPS 867798 HAS SOUS 696744 HAS SOUPS 696744 WITH SCORE 697611.798
AT ITER 429 NEW BEST:: SOT 1044400 SOS 867798 HAS SOPS 867798 HAS SOUS 695966 HAS SOUPS 695966 WITH SCORE 696833.798
AT ITER 433 NEW BEST:: SOT 1044400 SOS 867798 HAS SOPS 867798 HAS SOUS 695808 HAS SOUPS 695808 WITH SCORE 696675.798
AT ITER 441 NEW BEST:: SOT 1044400 SOS 867610 HAS SOPS 867610 HAS SOUS 695580 HAS SOUPS 695580 WITH SCORE 696447.61
AT ITER 445 NEW BEST:: SOT 1044400 SOS 867610 HAS SOPS 867610 HAS SOUS 695028 HAS SOUPS 695028 WITH SCORE 695895.61
AT ITER 447 NEW BEST:: SOT 1044400 SOS 867610 HAS SOPS 867610 HAS SOUS 694444 HAS SOUPS 694444 WITH SCORE 695311.61
AT ITER 449 NEW BEST:: SOT 1044400 SOS 867610 HAS SOPS 867610 HAS SOUS 694358 HAS SOUPS 694358 WITH SCORE 695225.61
AT ITER 452 NEW BEST:: SOT 1044400 SOS 867510 HAS SOPS 867510 HAS SOUS 694138 HAS SOUPS 694138 WITH SCORE 695005.51
AT ITER 454 NEW BEST:: SOT 1044400 SOS 867510 HAS SOPS 867510 HAS SOUS 693376 HAS SOUPS 693376 WITH SCORE 694243.51
AT ITER 455 NEW BEST:: SOT 1044400 SOS 867510 HAS SOPS 867510 HAS SOUS 692804 HAS SOUPS 692804 WITH SCORE 693671.51
AT ITER 456 NEW BEST:: SOT 1044400 SOS 867510 HAS SOPS 867510 HAS SOUS 692764 HAS SOUPS 692764 WITH SCORE 693631.51
AT ITER 470 NEW BEST:: SOT 1044400 SOS 868836 HAS SOPS 868836 HAS SOUS 692556 HAS SOUPS 692556 WITH SCORE 693424.836
AT ITER 471 NEW BEST:: SOT 1044400 SOS 868836 HAS SOPS 868836 HAS SOUS 691868 HAS SOUPS 691868 WITH SCORE 692736.836
AT ITER 473 NEW BEST:: SOT 1043868 SOS 868304 HAS SOPS 868304 HAS SOUS 691336 HAS SOUPS 691336 WITH SCORE 692204.304
AT ITER 474 NEW BEST:: SOT 1043868 SOS 868304 HAS SOPS 868304 HAS SOUS 691264 HAS SOUPS 691264 WITH SCORE 692132.304
AT ITER 478 NEW BEST:: SOT 1043868 SOS 868148 HAS SOPS 868148 HAS SOUS 690926 HAS SOUPS 690926 WITH SCORE 691794.148
AT ITER 480 NEW BEST:: SOT 1043868 SOS 867924 HAS SOPS 867924 HAS SOUS 690702 HAS SOUPS 690702 WITH SCORE 691569.924
AT ITER 484 NEW BEST:: SOT 1043868 SOS 867924 HAS SOPS 867924 HAS SOUS 690260 HAS SOUPS 690260 WITH SCORE 691127.924
AT ITER 506 NEW BEST:: SOT 1043868 SOS 867924 HAS SOPS 867924 HAS SOUS 689498 HAS SOUPS 689498 WITH SCORE 690365.924
AT ITER 507 NEW BEST:: SOT 1043868 SOS 867924 HAS SOPS 867924 HAS SOUS 688682 HAS SOUPS 688682 WITH SCORE 689549.924
AT ITER 510 NEW BEST:: SOT 1043868 SOS 867924 HAS SOPS 867924 HAS SOUS 688618 HAS SOUPS 688618 WITH SCORE 689485.924
AT ITER 523 NEW BEST:: SOT 1043868 SOS 867894 HAS SOPS 867894 HAS SOUS 688594 HAS SOUPS 688594 WITH SCORE 689461.894
AT ITER 533 NEW BEST:: SOT 1043868 SOS 867668 HAS SOPS 867668 HAS SOUS 687754 HAS SOUPS 687754 WITH SCORE 688621.668
AT ITER 535 NEW BEST:: SOT 1043868 SOS 867668 HAS SOPS 867668 HAS SOUS 687492 HAS SOUPS 687492 WITH SCORE 688359.668
AT ITER 537 NEW BEST:: SOT 1043868 SOS 867668 HAS SOPS 867668 HAS SOUS 687116 HAS SOUPS 687116 WITH SCORE 687983.668
AT ITER 550 NEW BEST:: SOT 1043868 SOS 867350 HAS SOPS 867350 HAS SOUS 685418 HAS SOUPS 685418 WITH SCORE 686285.35
AT ITER 551 NEW BEST:: SOT 1043868 SOS 867244 HAS SOPS 867244 HAS SOUS 684712 HAS SOUPS 684712 WITH SCORE 685579.244
AT ITER 552 NEW BEST:: SOT 1043868 SOS 867244 HAS SOPS 867244 HAS SOUS 684106 HAS SOUPS 684106 WITH SCORE 684973.244
AT ITER 559 NEW BEST:: SOT 1043868 SOS 867244 HAS SOPS 867244 HAS SOUS 684010 HAS SOUPS 684010 WITH SCORE 684877.244
AT ITER 565 NEW BEST:: SOT 1043868 SOS 867244 HAS SOPS 867244 HAS SOUS 683460 HAS SOUPS 683460 WITH SCORE 684327.244
AT ITER 569 NEW BEST:: SOT 1043868 SOS 867244 HAS SOPS 867244 HAS SOUS 682682 HAS SOUPS 682682 WITH SCORE 683549.244
AT ITER 578 NEW BEST:: SOT 1043868 SOS 867244 HAS SOPS 867244 HAS SOUS 682370 HAS SOUPS 682370 WITH SCORE 683237.244
AT ITER 580 NEW BEST:: SOT 1043868 SOS 867204 HAS SOPS 867204 HAS SOUS 682312 HAS SOUPS 682312 WITH SCORE 683179.204
AT ITER 583 NEW BEST:: SOT 1043868 SOS 866472 HAS SOPS 866472 HAS SOUS 682312 HAS SOUPS 682312 WITH SCORE 683178.472
AT ITER 584 NEW BEST:: SOT 1043868 SOS 866472 HAS SOPS 866472 HAS SOUS 681532 HAS SOUPS 681532 WITH SCORE 682398.472
AT ITER 587 NEW BEST:: SOT 1043868 SOS 866472 HAS SOPS 866472 HAS SOUS 680736 HAS SOUPS 680736 WITH SCORE 681602.472
AT ITER 588 NEW BEST:: SOT 1043868 SOS 866400 HAS SOPS 866400 HAS SOUS 680338 HAS SOUPS 680338 WITH SCORE 681204.4
AT ITER 589 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 679450 HAS SOUPS 679450 WITH SCORE 680378.714
AT ITER 592 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 679196 HAS SOUPS 679196 WITH SCORE 680124.714
AT ITER 595 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 679094 HAS SOUPS 679094 WITH SCORE 680022.714
AT ITER 596 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 678470 HAS SOUPS 678470 WITH SCORE 679398.714
AT ITER 600 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 678018 HAS SOUPS 678018 WITH SCORE 678946.714
AT ITER 601 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 677318 HAS SOUPS 677318 WITH SCORE 678246.714
AT ITER 607 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 677288 HAS SOUPS 677288 WITH SCORE 678216.714
AT ITER 612 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 677092 HAS SOUPS 677092 WITH SCORE 678020.714
AT ITER 613 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 676968 HAS SOUPS 676968 WITH SCORE 677896.714
AT ITER 617 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 676674 HAS SOUPS 676674 WITH SCORE 677602.714
AT ITER 619 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 676200 HAS SOUPS 676200 WITH SCORE 677128.714
AT ITER 621 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 675616 HAS SOUPS 675616 WITH SCORE 676544.714
AT ITER 622 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 675200 HAS SOUPS 675200 WITH SCORE 676128.714
AT ITER 624 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 675124 HAS SOUPS 675124 WITH SCORE 676052.714
AT ITER 632 NEW BEST:: SOT 1043578 SOS 928714 HAS SOPS 928714 HAS SOUS 674482 HAS SOUPS 674482 WITH SCORE 675410.714
AT ITER 634 NEW BEST:: SOT 1043578 SOS 928558 HAS SOPS 928558 HAS SOUS 673774 HAS SOUPS 673774 WITH SCORE 674702.558
AT ITER 637 NEW BEST:: SOT 1043578 SOS 928558 HAS SOPS 928558 HAS SOUS 673654 HAS SOUPS 673654 WITH SCORE 674582.558
AT ITER 638 NEW BEST:: SOT 1043578 SOS 928558 HAS SOPS 928558 HAS SOUS 672878 HAS SOUPS 672878 WITH SCORE 673806.558
AT ITER 639 NEW BEST:: SOT 1043578 SOS 928558 HAS SOPS 928558 HAS SOUS 672512 HAS SOUPS 672512 WITH SCORE 673440.558
AT ITER 645 NEW BEST:: SOT 1043578 SOS 928558 HAS SOPS 928558 HAS SOUS 672054 HAS SOUPS 672054 WITH SCORE 672982.558
AT ITER 646 NEW BEST:: SOT 1043578 SOS 928462 HAS SOPS 928462 HAS SOUS 671470 HAS SOUPS 671470 WITH SCORE 672398.462
AT ITER 648 NEW BEST:: SOT 1043578 SOS 928462 HAS SOPS 928462 HAS SOUS 670832 HAS SOUPS 670832 WITH SCORE 671760.462
AT ITER 652 NEW BEST:: SOT 1043578 SOS 928384 HAS SOPS 928384 HAS SOUS 669128 HAS SOUPS 669128 WITH SCORE 670056.384
AT ITER 653 NEW BEST:: SOT 1043578 SOS 928384 HAS SOPS 928384 HAS SOUS 668392 HAS SOUPS 668392 WITH SCORE 669320.384
AT ITER 656 NEW BEST:: SOT 1043578 SOS 928384 HAS SOPS 928384 HAS SOUS 668382 HAS SOUPS 668382 WITH SCORE 669310.384
AT ITER 657 NEW BEST:: SOT 1043578 SOS 928432 HAS SOPS 928432 HAS SOUS 667610 HAS SOUPS 667610 WITH SCORE 668538.432
AT ITER 665 NEW BEST:: SOT 1043578 SOS 928432 HAS SOPS 928432 HAS SOUS 667166 HAS SOUPS 667166 WITH SCORE 668094.432
AT ITER 667 NEW BEST:: SOT 1043578 SOS 928432 HAS SOPS 928432 HAS SOUS 666936 HAS SOUPS 666936 WITH SCORE 667864.432
AT ITER 669 NEW BEST:: SOT 1043578 SOS 928432 HAS SOPS 928432 HAS SOUS 666712 HAS SOUPS 666712 WITH SCORE 667640.432
AT ITER 680 NEW BEST:: SOT 1043578 SOS 976298 HAS SOPS 976298 HAS SOUS 666466 HAS SOUPS 666466 WITH SCORE 667442.298
AT ITER 683 NEW BEST:: SOT 1043578 SOS 976298 HAS SOPS 976298 HAS SOUS 665884 HAS SOUPS 665884 WITH SCORE 666860.298
AT ITER 684 NEW BEST:: SOT 1043578 SOS 976298 HAS SOPS 976298 HAS SOUS 665594 HAS SOUPS 665594 WITH SCORE 666570.298
AT ITER 685 NEW BEST:: SOT 1043578 SOS 976298 HAS SOPS 976298 HAS SOUS 665526 HAS SOUPS 665526 WITH SCORE 666502.298
AT ITER 689 NEW BEST:: SOT 1043578 SOS 976298 HAS SOPS 976298 HAS SOUS 664940 HAS SOUPS 664940 WITH SCORE 665916.298
AT ITER 694 NEW BEST:: SOT 1043578 SOS 976298 HAS SOPS 976298 HAS SOUS 664764 HAS SOUPS 664764 WITH SCORE 665740.298
AT ITER 696 NEW BEST:: SOT 1043578 SOS 976298 HAS SOPS 976298 HAS SOUS 664600 HAS SOUPS 664600 WITH SCORE 665576.298
AT ITER 698 NEW BEST:: SOT 1043578 SOS 976298 HAS SOPS 976298 HAS SOUS 664364 HAS SOUPS 664364 WITH SCORE 665340.298
AT ITER 700 NEW BEST:: SOT 1043578 SOS 976298 HAS SOPS 976298 HAS SOUS 664274 HAS SOUPS 664274 WITH SCORE 665250.298
AT ITER 702 NEW BEST:: SOT 1043578 SOS 976298 HAS SOPS 976298 HAS SOUS 664202 HAS SOUPS 664202 WITH SCORE 665178.298
AT ITER 712 NEW BEST:: SOT 1043578 SOS 976286 HAS SOPS 976286 HAS SOUS 664018 HAS SOUPS 664018 WITH SCORE 664994.286
AT ITER 713 NEW BEST:: SOT 1043578 SOS 976286 HAS SOPS 976286 HAS SOUS 663888 HAS SOUPS 663888 WITH SCORE 664864.286
AT ITER 721 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 663650 HAS SOUPS 663650 WITH SCORE 664670.484
AT ITER 722 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 663632 HAS SOUPS 663632 WITH SCORE 664652.484
AT ITER 724 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 663202 HAS SOUPS 663202 WITH SCORE 664222.484
AT ITER 740 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 662672 HAS SOUPS 662672 WITH SCORE 663692.484
AT ITER 741 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 662596 HAS SOUPS 662596 WITH SCORE 663616.484
AT ITER 742 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 662364 HAS SOUPS 662364 WITH SCORE 663384.484
AT ITER 748 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 662080 HAS SOUPS 662080 WITH SCORE 663100.484
AT ITER 751 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 661448 HAS SOUPS 661448 WITH SCORE 662468.484
AT ITER 756 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 661112 HAS SOUPS 661112 WITH SCORE 662132.484
AT ITER 761 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 660886 HAS SOUPS 660886 WITH SCORE 661906.484
AT ITER 762 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 660764 HAS SOUPS 660764 WITH SCORE 661784.484
AT ITER 769 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 660598 HAS SOUPS 660598 WITH SCORE 661618.484
AT ITER 775 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 660470 HAS SOUPS 660470 WITH SCORE 661490.484
AT ITER 783 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 659700 HAS SOUPS 659700 WITH SCORE 660720.484
AT ITER 784 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 659582 HAS SOUPS 659582 WITH SCORE 660602.484
AT ITER 785 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 658966 HAS SOUPS 658966 WITH SCORE 659986.484
AT ITER 786 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 658428 HAS SOUPS 658428 WITH SCORE 659448.484
AT ITER 788 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 658286 HAS SOUPS 658286 WITH SCORE 659306.484
AT ITER 790 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 658066 HAS SOUPS 658066 WITH SCORE 659086.484
AT ITER 791 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 657876 HAS SOUPS 657876 WITH SCORE 658896.484
AT ITER 795 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 657524 HAS SOUPS 657524 WITH SCORE 658544.484
AT ITER 804 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 657488 HAS SOUPS 657488 WITH SCORE 658508.484
AT ITER 821 NEW BEST:: SOT 1043578 SOS 1020484 HAS SOPS 1020484 HAS SOUS 657456 HAS SOUPS 657456 WITH SCORE 658476.484
AT ITER 825 NEW BEST:: SOT 1042832 SOS 1019738 HAS SOPS 1019738 HAS SOUS 655964 HAS SOUPS 655964 WITH SCORE 656983.738
AT ITER 828 NEW BEST:: SOT 1042832 SOS 1019738 HAS SOPS 1019738 HAS SOUS 655802 HAS SOUPS 655802 WITH SCORE 656821.738
AT ITER 829 NEW BEST:: SOT 1042832 SOS 1019738 HAS SOPS 1019738 HAS SOUS 655120 HAS SOUPS 655120 WITH SCORE 656139.738
AT ITER 835 NEW BEST:: SOT 1042832 SOS 1019738 HAS SOPS 1019738 HAS SOUS 654578 HAS SOUPS 654578 WITH SCORE 655597.738
AT ITER 837 NEW BEST:: SOT 1042832 SOS 1019738 HAS SOPS 1019738 HAS SOUS 654530 HAS SOUPS 654530 WITH SCORE 655549.738
AT ITER 842 NEW BEST:: SOT 1042832 SOS 1019738 HAS SOPS 1019738 HAS SOUS 653964 HAS SOUPS 653964 WITH SCORE 654983.738
AT ITER 846 NEW BEST:: SOT 1042832 SOS 1019738 HAS SOPS 1019738 HAS SOUS 653884 HAS SOUPS 653884 WITH SCORE 654903.738
AT ITER 853 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 653170 HAS SOUPS 653170 WITH SCORE 654189.04
AT ITER 856 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 653008 HAS SOUPS 653008 WITH SCORE 654027.04
AT ITER 857 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 652192 HAS SOUPS 652192 WITH SCORE 653211.04
AT ITER 858 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 652122 HAS SOUPS 652122 WITH SCORE 653141.04
AT ITER 868 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 651944 HAS SOUPS 651944 WITH SCORE 652963.04
AT ITER 872 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 651616 HAS SOUPS 651616 WITH SCORE 652635.04
AT ITER 883 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 650832 HAS SOUPS 650832 WITH SCORE 651851.04
AT ITER 887 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 650530 HAS SOUPS 650530 WITH SCORE 651549.04
AT ITER 888 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 650306 HAS SOUPS 650306 WITH SCORE 651325.04
AT ITER 891 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 649806 HAS SOUPS 649806 WITH SCORE 650825.04
AT ITER 892 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 649432 HAS SOUPS 649432 WITH SCORE 650451.04
AT ITER 894 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 648668 HAS SOUPS 648668 WITH SCORE 649687.04
AT ITER 902 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 648622 HAS SOUPS 648622 WITH SCORE 649641.04
AT ITER 903 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 648240 HAS SOUPS 648240 WITH SCORE 649259.04
AT ITER 906 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 648182 HAS SOUPS 648182 WITH SCORE 649201.04
AT ITER 911 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 647734 HAS SOUPS 647734 WITH SCORE 648753.04
AT ITER 914 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 647674 HAS SOUPS 647674 WITH SCORE 648693.04
AT ITER 915 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 647406 HAS SOUPS 647406 WITH SCORE 648425.04
AT ITER 937 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 647112 HAS SOUPS 647112 WITH SCORE 648131.04
AT ITER 938 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 647080 HAS SOUPS 647080 WITH SCORE 648099.04
AT ITER 939 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 646752 HAS SOUPS 646752 WITH SCORE 647771.04
AT ITER 951 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 646416 HAS SOUPS 646416 WITH SCORE 647435.04
AT ITER 963 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 645922 HAS SOUPS 645922 WITH SCORE 646941.04
AT ITER 977 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 645918 HAS SOUPS 645918 WITH SCORE 646937.04
AT ITER 979 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 645240 HAS SOUPS 645240 WITH SCORE 646259.04
AT ITER 981 NEW BEST:: SOT 1041968 SOS 1019040 HAS SOPS 1019040 HAS SOUS 645044 HAS SOUPS 645044 WITH SCORE 646063.04
AT ITER 987 NEW BEST:: SOT 1041968 SOS 1018604 HAS SOPS 1018604 HAS SOUS 645044 HAS SOUPS 645044 WITH SCORE 646062.604
AT ITER 996 NEW BEST:: SOT 1041968 SOS 1018604 HAS SOPS 1018604 HAS SOUS 644796 HAS SOUPS 644796 WITH SCORE 645814.604
AT ITER 1001 NEW BEST:: SOT 1041968 SOS 1018604 HAS SOPS 1018604 HAS SOUS 644712 HAS SOUPS 644712 WITH SCORE 645730.604
AT ITER 1022 NEW BEST:: SOT 1041968 SOS 1018604 HAS SOPS 1018604 HAS SOUS 644166 HAS SOUPS 644166 WITH SCORE 645184.604
AT ITER 1027 NEW BEST:: SOT 1041906 SOS 1018542 HAS SOPS 1018542 HAS SOUS 644104 HAS SOUPS 644104 WITH SCORE 645122.542
AT ITER 1038 NEW BEST:: SOT 1041906 SOS 1018542 HAS SOPS 1018542 HAS SOUS 643888 HAS SOUPS 643888 WITH SCORE 644906.542
AT ITER 1040 NEW BEST:: SOT 1041906 SOS 1018542 HAS SOPS 1018542 HAS SOUS 643568 HAS SOUPS 643568 WITH SCORE 644586.542
AT ITER 1049 NEW BEST:: SOT 1041906 SOS 1018542 HAS SOPS 1018542 HAS SOUS 643314 HAS SOUPS 643314 WITH SCORE 644332.542
AT ITER 1054 NEW BEST:: SOT 1041906 SOS 1018542 HAS SOPS 1018542 HAS SOUS 643290 HAS SOUPS 643290 WITH SCORE 644308.542
AT ITER 1059 NEW BEST:: SOT 1041906 SOS 1018542 HAS SOPS 1018542 HAS SOUS 643030 HAS SOUPS 643030 WITH SCORE 644048.542
AT ITER 1065 NEW BEST:: SOT 1041906 SOS 1018542 HAS SOPS 1018542 HAS SOUS 642870 HAS SOUPS 642870 WITH SCORE 643888.542
AT ITER 1067 NEW BEST:: SOT 1041792 SOS 1018428 HAS SOPS 1018428 HAS SOUS 642756 HAS SOUPS 642756 WITH SCORE 643774.428
AT ITER 1075 NEW BEST:: SOT 1041792 SOS 1018428 HAS SOPS 1018428 HAS SOUS 642560 HAS SOUPS 642560 WITH SCORE 643578.428
AT ITER 1076 NEW BEST:: SOT 1041792 SOS 1018428 HAS SOPS 1018428 HAS SOUS 642498 HAS SOUPS 642498 WITH SCORE 643516.428
AT ITER 1077 NEW BEST:: SOT 1041792 SOS 1018428 HAS SOPS 1018428 HAS SOUS 642492 HAS SOUPS 642492 WITH SCORE 643510.428
AT ITER 1079 NEW BEST:: SOT 1041792 SOS 1018428 HAS SOPS 1018428 HAS SOUS 642460 HAS SOUPS 642460 WITH SCORE 643478.428
AT ITER 1080 NEW BEST:: SOT 1041792 SOS 1018428 HAS SOPS 1018428 HAS SOUS 642394 HAS SOUPS 642394 WITH SCORE 643412.428
AT ITER 1082 NEW BEST:: SOT 1041792 SOS 1018428 HAS SOPS 1018428 HAS SOUS 641588 HAS SOUPS 641588 WITH SCORE 642606.428
AT ITER 1086 NEW BEST:: SOT 1041792 SOS 1018428 HAS SOPS 1018428 HAS SOUS 641470 HAS SOUPS 641470 WITH SCORE 642488.428
AT ITER 1087 NEW BEST:: SOT 1041792 SOS 1018428 HAS SOPS 1018428 HAS SOUS 641448 HAS SOUPS 641448 WITH SCORE 642466.428
AT ITER 1088 NEW BEST:: SOT 1041792 SOS 1018428 HAS SOPS 1018428 HAS SOUS 641216 HAS SOUPS 641216 WITH SCORE 642234.428
AT ITER 1090 NEW BEST:: SOT 1041792 SOS 1018428 HAS SOPS 1018428 HAS SOUS 640464 HAS SOUPS 640464 WITH SCORE 641482.428
AT ITER 1101 NEW BEST:: SOT 1041792 SOS 1018428 HAS SOPS 1018428 HAS SOUS 639690 HAS SOUPS 639690 WITH SCORE 640708.428
AT ITER 1108 NEW BEST:: SOT 1041792 SOS 1018428 HAS SOPS 1018428 HAS SOUS 639040 HAS SOUPS 639040 WITH SCORE 640058.428
AT ITER 1113 NEW BEST:: SOT 1040214 SOS 1016850 HAS SOPS 1016850 HAS SOUS 636628 HAS SOUPS 636628 WITH SCORE 637644.85
AT ITER 1116 NEW BEST:: SOT 1040214 SOS 1016850 HAS SOPS 1016850 HAS SOUS 636326 HAS SOUPS 636326 WITH SCORE 637342.85
AT ITER 1117 NEW BEST:: SOT 1040214 SOS 1016850 HAS SOPS 1016850 HAS SOUS 636170 HAS SOUPS 636170 WITH SCORE 637186.85
AT ITER 1119 NEW BEST:: SOT 1040214 SOS 1016850 HAS SOPS 1016850 HAS SOUS 636060 HAS SOUPS 636060 WITH SCORE 637076.85
AT ITER 1121 NEW BEST:: SOT 1040214 SOS 1016850 HAS SOPS 1016850 HAS SOUS 636018 HAS SOUPS 636018 WITH SCORE 637034.85
AT ITER 1125 NEW BEST:: SOT 1040214 SOS 1016850 HAS SOPS 1016850 HAS SOUS 635722 HAS SOUPS 635722 WITH SCORE 636738.85
AT ITER 1134 NEW BEST:: SOT 1040214 SOS 1016850 HAS SOPS 1016850 HAS SOUS 635582 HAS SOUPS 635582 WITH SCORE 636598.85
AT ITER 1137 NEW BEST:: SOT 1040214 SOS 1016850 HAS SOPS 1016850 HAS SOUS 635256 HAS SOUPS 635256 WITH SCORE 636272.85
AT ITER 1142 NEW BEST:: SOT 1040214 SOS 1016850 HAS SOPS 1016850 HAS SOUS 635024 HAS SOUPS 635024 WITH SCORE 636040.85
AT ITER 1152 NEW BEST:: SOT 1040214 SOS 1016850 HAS SOPS 1016850 HAS SOUS 634842 HAS SOUPS 634842 WITH SCORE 635858.85
AT ITER 1157 NEW BEST:: SOT 1040214 SOS 1016802 HAS SOPS 1016802 HAS SOUS 634802 HAS SOUPS 634802 WITH SCORE 635818.802
AT ITER 1159 NEW BEST:: SOT 1040214 SOS 1016802 HAS SOPS 1016802 HAS SOUS 634208 HAS SOUPS 634208 WITH SCORE 635224.802
AT ITER 1160 NEW BEST:: SOT 1040214 SOS 1016802 HAS SOPS 1016802 HAS SOUS 633930 HAS SOUPS 633930 WITH SCORE 634946.802
AT ITER 1162 NEW BEST:: SOT 1040214 SOS 1016802 HAS SOPS 1016802 HAS SOUS 633492 HAS SOUPS 633492 WITH SCORE 634508.802
AT ITER 1164 NEW BEST:: SOT 1040214 SOS 1016802 HAS SOPS 1016802 HAS SOUS 633324 HAS SOUPS 633324 WITH SCORE 634340.802
AT ITER 1174 NEW BEST:: SOT 1040214 SOS 1016802 HAS SOPS 1016802 HAS SOUS 632912 HAS SOUPS 632912 WITH SCORE 633928.802
AT ITER 1177 NEW BEST:: SOT 1040214 SOS 1016802 HAS SOPS 1016802 HAS SOUS 632410 HAS SOUPS 632410 WITH SCORE 633426.802
AT ITER 1179 NEW BEST:: SOT 1040214 SOS 1016802 HAS SOPS 1016802 HAS SOUS 632396 HAS SOUPS 632396 WITH SCORE 633412.802
AT ITER 1188 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 632026 HAS SOUPS 632026 WITH SCORE 633042.432
AT ITER 1193 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 631944 HAS SOUPS 631944 WITH SCORE 632960.432
AT ITER 1203 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 631472 HAS SOUPS 631472 WITH SCORE 632488.432
AT ITER 1206 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 631284 HAS SOUPS 631284 WITH SCORE 632300.432
AT ITER 1207 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 630304 HAS SOUPS 630304 WITH SCORE 631320.432
AT ITER 1212 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 630094 HAS SOUPS 630094 WITH SCORE 631110.432
AT ITER 1215 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 629898 HAS SOUPS 629898 WITH SCORE 630914.432
AT ITER 1219 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 629230 HAS SOUPS 629230 WITH SCORE 630246.432
AT ITER 1223 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 628756 HAS SOUPS 628756 WITH SCORE 629772.432
AT ITER 1238 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 628542 HAS SOUPS 628542 WITH SCORE 629558.432
AT ITER 1243 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 628098 HAS SOUPS 628098 WITH SCORE 629114.432
AT ITER 1246 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 627908 HAS SOUPS 627908 WITH SCORE 628924.432
AT ITER 1248 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 627664 HAS SOUPS 627664 WITH SCORE 628680.432
AT ITER 1249 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 627318 HAS SOUPS 627318 WITH SCORE 628334.432
AT ITER 1250 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 627224 HAS SOUPS 627224 WITH SCORE 628240.432
AT ITER 1256 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 627020 HAS SOUPS 627020 WITH SCORE 628036.432
AT ITER 1258 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 626814 HAS SOUPS 626814 WITH SCORE 627830.432
AT ITER 1259 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 626298 HAS SOUPS 626298 WITH SCORE 627314.432
AT ITER 1261 NEW BEST:: SOT 1039844 SOS 1016432 HAS SOPS 1016432 HAS SOUS 625506 HAS SOUPS 625506 WITH SCORE 626522.432
AT ITER 1270 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 625346 HAS SOUPS 625346 WITH SCORE 626362.544
AT ITER 1273 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 625050 HAS SOUPS 625050 WITH SCORE 626066.544
AT ITER 1282 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 624794 HAS SOUPS 624794 WITH SCORE 625810.544
AT ITER 1285 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 624774 HAS SOUPS 624774 WITH SCORE 625790.544
AT ITER 1297 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 624608 HAS SOUPS 624608 WITH SCORE 625624.544
AT ITER 1306 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 624532 HAS SOUPS 624532 WITH SCORE 625548.544
AT ITER 1308 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 624518 HAS SOUPS 624518 WITH SCORE 625534.544
AT ITER 1310 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 624462 HAS SOUPS 624462 WITH SCORE 625478.544
AT ITER 1318 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 624402 HAS SOUPS 624402 WITH SCORE 625418.544
AT ITER 1321 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 624208 HAS SOUPS 624208 WITH SCORE 625224.544
AT ITER 1328 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 624164 HAS SOUPS 624164 WITH SCORE 625180.544
AT ITER 1333 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 624098 HAS SOUPS 624098 WITH SCORE 625114.544
AT ITER 1335 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 623546 HAS SOUPS 623546 WITH SCORE 624562.544
AT ITER 1337 NEW BEST:: SOT 1039778 SOS 1016544 HAS SOPS 1016544 HAS SOUS 623468 HAS SOUPS 623468 WITH SCORE 624484.544
AT ITER 1344 NEW BEST:: SOT 1008802 SOS 986600 HAS SOPS 986600 HAS SOUS 593356 HAS SOUPS 593356 WITH SCORE 594342.6
AT ITER 1347 NEW BEST:: SOT 1008802 SOS 986600 HAS SOPS 986600 HAS SOUS 593004 HAS SOUPS 593004 WITH SCORE 593990.6
AT ITER 1348 NEW BEST:: SOT 1008792 SOS 986590 HAS SOPS 986590 HAS SOUS 592580 HAS SOUPS 592580 WITH SCORE 593566.59
AT ITER 1370 NEW BEST:: SOT 1008792 SOS 986590 HAS SOPS 986590 HAS SOUS 592520 HAS SOUPS 592520 WITH SCORE 593506.59
AT ITER 1382 NEW BEST:: SOT 1008792 SOS 986590 HAS SOPS 986590 HAS SOUS 592330 HAS SOUPS 592330 WITH SCORE 593316.59
AT ITER 1384 NEW BEST:: SOT 1008792 SOS 986590 HAS SOPS 986590 HAS SOUS 592320 HAS SOUPS 592320 WITH SCORE 593306.59
AT ITER 1386 NEW BEST:: SOT 1008792 SOS 986590 HAS SOPS 986590 HAS SOUS 592264 HAS SOUPS 592264 WITH SCORE 593250.59
AT ITER 1387 NEW BEST:: SOT 1008792 SOS 986590 HAS SOPS 986590 HAS SOUS 592084 HAS SOUPS 592084 WITH SCORE 593070.59
AT ITER 1390 NEW BEST:: SOT 1008792 SOS 986590 HAS SOPS 986590 HAS SOUS 592028 HAS SOUPS 592028 WITH SCORE 593014.59
AT ITER 1391 NEW BEST:: SOT 1008792 SOS 986590 HAS SOPS 986590 HAS SOUS 591972 HAS SOUPS 591972 WITH SCORE 592958.59
AT ITER 1392 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 591580 HAS SOUPS 591580 WITH SCORE 592566.04
AT ITER 1401 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 591576 HAS SOUPS 591576 WITH SCORE 592562.04
AT ITER 1414 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 591158 HAS SOUPS 591158 WITH SCORE 592144.04
AT ITER 1415 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 590656 HAS SOUPS 590656 WITH SCORE 591642.04
AT ITER 1417 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 590422 HAS SOUPS 590422 WITH SCORE 591408.04
AT ITER 1422 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 589940 HAS SOUPS 589940 WITH SCORE 590926.04
AT ITER 1441 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 589912 HAS SOUPS 589912 WITH SCORE 590898.04
AT ITER 1446 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 589710 HAS SOUPS 589710 WITH SCORE 590696.04
AT ITER 1473 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 589302 HAS SOUPS 589302 WITH SCORE 590288.04
AT ITER 1475 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 589164 HAS SOUPS 589164 WITH SCORE 590150.04
AT ITER 1480 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 588248 HAS SOUPS 588248 WITH SCORE 589234.04
AT ITER 1481 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 588196 HAS SOUPS 588196 WITH SCORE 589182.04
AT ITER 1488 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 587446 HAS SOUPS 587446 WITH SCORE 588432.04
AT ITER 1494 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 587214 HAS SOUPS 587214 WITH SCORE 588200.04
AT ITER 1497 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 586900 HAS SOUPS 586900 WITH SCORE 587886.04
AT ITER 1503 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 586708 HAS SOUPS 586708 WITH SCORE 587694.04
AT ITER 1512 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 586622 HAS SOUPS 586622 WITH SCORE 587608.04
AT ITER 1513 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 586146 HAS SOUPS 586146 WITH SCORE 587132.04
AT ITER 1517 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 586088 HAS SOUPS 586088 WITH SCORE 587074.04
AT ITER 1523 NEW BEST:: SOT 1008792 SOS 986040 HAS SOPS 986040 HAS SOUS 585746 HAS SOUPS 585746 WITH SCORE 586732.04
AT ITER 1527 NEW BEST:: SOT 1008792 SOS 985946 HAS SOPS 985946 HAS SOUS 585746 HAS SOUPS 585746 WITH SCORE 586731.946
AT ITER 1532 NEW BEST:: SOT 1008792 SOS 985946 HAS SOPS 985946 HAS SOUS 585696 HAS SOUPS 585696 WITH SCORE 586681.946
AT ITER 1537 NEW BEST:: SOT 1008792 SOS 985946 HAS SOPS 985946 HAS SOUS 585334 HAS SOUPS 585334 WITH SCORE 586319.946
AT ITER 1546 NEW BEST:: SOT 1008792 SOS 985946 HAS SOPS 985946 HAS SOUS 584852 HAS SOUPS 584852 WITH SCORE 585837.946
AT ITER 1549 NEW BEST:: SOT 1008792 SOS 985946 HAS SOPS 985946 HAS SOUS 584824 HAS SOUPS 584824 WITH SCORE 585809.946
AT ITER 1555 NEW BEST:: SOT 1008792 SOS 985946 HAS SOPS 985946 HAS SOUS 584626 HAS SOUPS 584626 WITH SCORE 585611.946
AT ITER 1556 NEW BEST:: SOT 1008792 SOS 985946 HAS SOPS 985946 HAS SOUS 584586 HAS SOUPS 584586 WITH SCORE 585571.946
AT ITER 1559 NEW BEST:: SOT 1008792 SOS 985946 HAS SOPS 985946 HAS SOUS 584540 HAS SOUPS 584540 WITH SCORE 585525.946
AT ITER 1573 NEW BEST:: SOT 1008792 SOS 985946 HAS SOPS 985946 HAS SOUS 584470 HAS SOUPS 584470 WITH SCORE 585455.946
AT ITER 1575 NEW BEST:: SOT 1008792 SOS 985946 HAS SOPS 985946 HAS SOUS 584468 HAS SOUPS 584468 WITH SCORE 585453.946
AT ITER 1576 NEW BEST:: SOT 1008792 SOS 985946 HAS SOPS 985946 HAS SOUS 584466 HAS SOUPS 584466 WITH SCORE 585451.946
AT ITER 1579 NEW BEST:: SOT 1008792 SOS 985228 HAS SOPS 985228 HAS SOUS 584466 HAS SOUPS 584466 WITH SCORE 585451.228
AT ITER 1581 NEW BEST:: SOT 1008792 SOS 985228 HAS SOPS 985228 HAS SOUS 584434 HAS SOUPS 584434 WITH SCORE 585419.228
AT ITER 1587 NEW BEST:: SOT 1008792 SOS 985228 HAS SOPS 985228 HAS SOUS 584424 HAS SOUPS 584424 WITH SCORE 585409.228
AT ITER 1593 NEW BEST:: SOT 1008792 SOS 985228 HAS SOPS 985228 HAS SOUS 584286 HAS SOUPS 584286 WITH SCORE 585271.228
AT ITER 1601 NEW BEST:: SOT 1008792 SOS 985396 HAS SOPS 985396 HAS SOUS 584282 HAS SOUPS 584282 WITH SCORE 585267.396
AT ITER 1605 NEW BEST:: SOT 1008792 SOS 985396 HAS SOPS 985396 HAS SOUS 584132 HAS SOUPS 584132 WITH SCORE 585117.396
AT ITER 1612 NEW BEST:: SOT 1008792 SOS 985396 HAS SOPS 985396 HAS SOUS 584110 HAS SOUPS 584110 WITH SCORE 585095.396
AT ITER 1616 NEW BEST:: SOT 1008792 SOS 985396 HAS SOPS 985396 HAS SOUS 584016 HAS SOUPS 584016 WITH SCORE 585001.396
AT ITER 1624 NEW BEST:: SOT 1008792 SOS 985396 HAS SOPS 985396 HAS SOUS 583632 HAS SOUPS 583632 WITH SCORE 584617.396
AT ITER 1626 NEW BEST:: SOT 1008792 SOS 985396 HAS SOPS 985396 HAS SOUS 583496 HAS SOUPS 583496 WITH SCORE 584481.396
AT ITER 1635 NEW BEST:: SOT 1008792 SOS 985396 HAS SOPS 985396 HAS SOUS 583422 HAS SOUPS 583422 WITH SCORE 584407.396
AT ITER 1637 NEW BEST:: SOT 1008792 SOS 985396 HAS SOPS 985396 HAS SOUS 582748 HAS SOUPS 582748 WITH SCORE 583733.396
AT ITER 1640 NEW BEST:: SOT 1008792 SOS 985396 HAS SOPS 985396 HAS SOUS 582488 HAS SOUPS 582488 WITH SCORE 583473.396
AT ITER 1642 NEW BEST:: SOT 1008792 SOS 985396 HAS SOPS 985396 HAS SOUS 581820 HAS SOUPS 581820 WITH SCORE 582805.396
AT ITER 1650 NEW BEST:: SOT 1008792 SOS 985396 HAS SOPS 985396 HAS SOUS 581616 HAS SOUPS 581616 WITH SCORE 582601.396
AT ITER 1655 NEW BEST:: SOT 1008792 SOS 985396 HAS SOPS 985396 HAS SOUS 581260 HAS SOUPS 581260 WITH SCORE 582245.396
AT ITER 1667 NEW BEST:: SOT 1008792 SOS 985396 HAS SOPS 985396 HAS SOUS 581168 HAS SOUPS 581168 WITH SCORE 582153.396
AT ITER 1668 NEW BEST:: SOT 856390 SOS 832994 HAS SOPS 832994 HAS SOUS 428766 HAS SOUPS 428766 WITH SCORE 429598.994
AT ITER 1680 NEW BEST:: SOT 856382 SOS 832986 HAS SOPS 832986 HAS SOUS 428730 HAS SOUPS 428730 WITH SCORE 429562.986
AT ITER 1683 NEW BEST:: SOT 856382 SOS 832986 HAS SOPS 832986 HAS SOUS 428516 HAS SOUPS 428516 WITH SCORE 429348.986
AT ITER 1686 NEW BEST:: SOT 856382 SOS 832986 HAS SOPS 832986 HAS SOUS 428346 HAS SOUPS 428346 WITH SCORE 429178.986
AT ITER 1691 NEW BEST:: SOT 856382 SOS 832986 HAS SOPS 832986 HAS SOUS 428258 HAS SOUPS 428258 WITH SCORE 429090.986
AT ITER 1694 NEW BEST:: SOT 856354 SOS 832958 HAS SOPS 832958 HAS SOUS 428202 HAS SOUPS 428202 WITH SCORE 429034.958
AT ITER 1728 NEW BEST:: SOT 856284 SOS 832888 HAS SOPS 832888 HAS SOUS 428062 HAS SOUPS 428062 WITH SCORE 428894.888
AT ITER 1729 NEW BEST:: SOT 856284 SOS 832888 HAS SOPS 832888 HAS SOUS 427650 HAS SOUPS 427650 WITH SCORE 428482.888
AT ITER 1731 NEW BEST:: SOT 856234 SOS 832838 HAS SOPS 832838 HAS SOUS 427506 HAS SOUPS 427506 WITH SCORE 428338.838
AT ITER 1732 NEW BEST:: SOT 856234 SOS 832838 HAS SOPS 832838 HAS SOUS 427450 HAS SOUPS 427450 WITH SCORE 428282.838
AT ITER 1738 NEW BEST:: SOT 856234 SOS 832838 HAS SOPS 832838 HAS SOUS 427312 HAS SOUPS 427312 WITH SCORE 428144.838
AT ITER 1768 NEW BEST:: SOT 856234 SOS 832838 HAS SOPS 832838 HAS SOUS 427224 HAS SOUPS 427224 WITH SCORE 428056.838
AT ITER 1777 NEW BEST:: SOT 856234 SOS 832838 HAS SOPS 832838 HAS SOUS 427182 HAS SOUPS 427182 WITH SCORE 428014.838
AT ITER 1782 NEW BEST:: SOT 856234 SOS 832838 HAS SOPS 832838 HAS SOUS 427074 HAS SOUPS 427074 WITH SCORE 427906.838
AT ITER 1784 NEW BEST:: SOT 856098 SOS 832702 HAS SOPS 832702 HAS SOUS 426802 HAS SOUPS 426802 WITH SCORE 427634.702
AT ITER 1794 NEW BEST:: SOT 856098 SOS 832702 HAS SOPS 832702 HAS SOUS 426612 HAS SOUPS 426612 WITH SCORE 427444.702
AT ITER 1805 NEW BEST:: SOT 856098 SOS 832702 HAS SOPS 832702 HAS SOUS 426424 HAS SOUPS 426424 WITH SCORE 427256.702
AT ITER 1815 NEW BEST:: SOT 856098 SOS 832702 HAS SOPS 832702 HAS SOUS 426226 HAS SOUPS 426226 WITH SCORE 427058.702
AT ITER 1825 NEW BEST:: SOT 856098 SOS 832702 HAS SOPS 832702 HAS SOUS 426208 HAS SOUPS 426208 WITH SCORE 427040.702
AT ITER 1836 NEW BEST:: SOT 856098 SOS 832702 HAS SOPS 832702 HAS SOUS 426108 HAS SOUPS 426108 WITH SCORE 426940.702
AT ITER 1837 NEW BEST:: SOT 856098 SOS 832702 HAS SOPS 832702 HAS SOUS 426052 HAS SOUPS 426052 WITH SCORE 426884.702
AT ITER 1858 NEW BEST:: SOT 856098 SOS 832702 HAS SOPS 832702 HAS SOUS 425930 HAS SOUPS 425930 WITH SCORE 426762.702
AT ITER 1861 NEW BEST:: SOT 856086 SOS 832690 HAS SOPS 832690 HAS SOUS 425648 HAS SOUPS 425648 WITH SCORE 426480.69
AT ITER 1865 NEW BEST:: SOT 856030 SOS 832634 HAS SOPS 832634 HAS SOUS 425536 HAS SOUPS 425536 WITH SCORE 426368.634
AT ITER 1868 NEW BEST:: SOT 856030 SOS 832634 HAS SOPS 832634 HAS SOUS 425466 HAS SOUPS 425466 WITH SCORE 426298.634
AT ITER 1869 NEW BEST:: SOT 856030 SOS 832634 HAS SOPS 832634 HAS SOUS 425334 HAS SOUPS 425334 WITH SCORE 426166.634
AT ITER 1872 NEW BEST:: SOT 856030 SOS 832634 HAS SOPS 832634 HAS SOUS 425208 HAS SOUPS 425208 WITH SCORE 426040.634
AT ITER 1881 NEW BEST:: SOT 856020 SOS 832624 HAS SOPS 832624 HAS SOUS 425058 HAS SOUPS 425058 WITH SCORE 425890.624
AT ITER 1899 NEW BEST:: SOT 856020 SOS 832624 HAS SOPS 832624 HAS SOUS 425008 HAS SOUPS 425008 WITH SCORE 425840.624
AT ITER 1901 NEW BEST:: SOT 856020 SOS 832624 HAS SOPS 832624 HAS SOUS 424750 HAS SOUPS 424750 WITH SCORE 425582.624
AT ITER 1902 NEW BEST:: SOT 856020 SOS 832624 HAS SOPS 832624 HAS SOUS 424410 HAS SOUPS 424410 WITH SCORE 425242.624
AT ITER 1913 NEW BEST:: SOT 856020 SOS 832624 HAS SOPS 832624 HAS SOUS 424402 HAS SOUPS 424402 WITH SCORE 425234.624
AT ITER 1914 NEW BEST:: SOT 856018 SOS 832622 HAS SOPS 832622 HAS SOUS 424398 HAS SOUPS 424398 WITH SCORE 425230.622
AT ITER 1926 NEW BEST:: SOT 856018 SOS 832622 HAS SOPS 832622 HAS SOUS 424282 HAS SOUPS 424282 WITH SCORE 425114.622
AT ITER 1935 NEW BEST:: SOT 856018 SOS 832622 HAS SOPS 832622 HAS SOUS 424210 HAS SOUPS 424210 WITH SCORE 425042.622
AT ITER 1938 NEW BEST:: SOT 855912 SOS 832516 HAS SOPS 832516 HAS SOUS 423930 HAS SOUPS 423930 WITH SCORE 424762.516
AT ITER 1942 NEW BEST:: SOT 855912 SOS 832516 HAS SOPS 832516 HAS SOUS 423798 HAS SOUPS 423798 WITH SCORE 424630.516
AT ITER 1955 NEW BEST:: SOT 855912 SOS 832516 HAS SOPS 832516 HAS SOUS 423788 HAS SOUPS 423788 WITH SCORE 424620.516
AT ITER 1972 NEW BEST:: SOT 855912 SOS 832516 HAS SOPS 832516 HAS SOUS 423710 HAS SOUPS 423710 WITH SCORE 424542.516
AT ITER 1974 NEW BEST:: SOT 855912 SOS 832516 HAS SOPS 832516 HAS SOUS 423342 HAS SOUPS 423342 WITH SCORE 424174.516
AT ITER 1978 NEW BEST:: SOT 855912 SOS 832516 HAS SOPS 832516 HAS SOUS 423052 HAS SOUPS 423052 WITH SCORE 423884.516
AT ITER 2001 NEW BEST:: SOT 855912 SOS 832516 HAS SOPS 832516 HAS SOUS 422800 HAS SOUPS 422800 WITH SCORE 423632.516
AT ITER 2008 NEW BEST:: SOT 855858 SOS 832462 HAS SOPS 832462 HAS SOUS 422692 HAS SOUPS 422692 WITH SCORE 423524.462
AT ITER 2011 NEW BEST:: SOT 855858 SOS 832462 HAS SOPS 832462 HAS SOUS 422668 HAS SOUPS 422668 WITH SCORE 423500.462
AT ITER 2012 NEW BEST:: SOT 855858 SOS 832462 HAS SOPS 832462 HAS SOUS 422618 HAS SOUPS 422618 WITH SCORE 423450.462
AT ITER 2019 NEW BEST:: SOT 855670 SOS 832274 HAS SOPS 832274 HAS SOUS 422242 HAS SOUPS 422242 WITH SCORE 423074.274
AT ITER 2023 NEW BEST:: SOT 855670 SOS 832274 HAS SOPS 832274 HAS SOUS 422232 HAS SOUPS 422232 WITH SCORE 423064.274
AT ITER 2027 NEW BEST:: SOT 855670 SOS 832274 HAS SOPS 832274 HAS SOUS 421766 HAS SOUPS 421766 WITH SCORE 422598.274
AT ITER 2028 NEW BEST:: SOT 855670 SOS 832274 HAS SOPS 832274 HAS SOUS 421524 HAS SOUPS 421524 WITH SCORE 422356.274
AT ITER 2033 NEW BEST:: SOT 855664 SOS 832268 HAS SOPS 832268 HAS SOUS 421512 HAS SOUPS 421512 WITH SCORE 422344.268
AT ITER 2037 NEW BEST:: SOT 855634 SOS 832238 HAS SOPS 832238 HAS SOUS 421166 HAS SOUPS 421166 WITH SCORE 421998.238
AT ITER 2051 NEW BEST:: SOT 855634 SOS 832238 HAS SOPS 832238 HAS SOUS 421038 HAS SOUPS 421038 WITH SCORE 421870.238
AT ITER 2056 NEW BEST:: SOT 855634 SOS 832136 HAS SOPS 832136 HAS SOUS 421038 HAS SOUPS 421038 WITH SCORE 421870.136
AT ITER 2061 NEW BEST:: SOT 855484 SOS 831986 HAS SOPS 831986 HAS SOUS 420738 HAS SOUPS 420738 WITH SCORE 421569.986
AT ITER 2072 NEW BEST:: SOT 855452 SOS 831954 HAS SOPS 831954 HAS SOUS 420674 HAS SOUPS 420674 WITH SCORE 421505.954
AT ITER 2078 NEW BEST:: SOT 855452 SOS 831808 HAS SOPS 831808 HAS SOUS 420674 HAS SOUPS 420674 WITH SCORE 421505.808
AT ITER 2082 NEW BEST:: SOT 855382 SOS 831738 HAS SOPS 831738 HAS SOUS 420534 HAS SOUPS 420534 WITH SCORE 421365.738
AT ITER 2085 NEW BEST:: SOT 855382 SOS 831738 HAS SOPS 831738 HAS SOUS 420340 HAS SOUPS 420340 WITH SCORE 421171.738
AT ITER 2091 NEW BEST:: SOT 855382 SOS 831738 HAS SOPS 831738 HAS SOUS 419836 HAS SOUPS 419836 WITH SCORE 420667.738
AT ITER 2098 NEW BEST:: SOT 855382 SOS 831738 HAS SOPS 831738 HAS SOUS 419682 HAS SOUPS 419682 WITH SCORE 420513.738
AT ITER 2105 NEW BEST:: SOT 855382 SOS 831738 HAS SOPS 831738 HAS SOUS 419038 HAS SOUPS 419038 WITH SCORE 419869.738
AT ITER 2108 NEW BEST:: SOT 855382 SOS 831738 HAS SOPS 831738 HAS SOUS 418842 HAS SOUPS 418842 WITH SCORE 419673.738
AT ITER 2117 NEW BEST:: SOT 855382 SOS 831738 HAS SOPS 831738 HAS SOUS 418432 HAS SOUPS 418432 WITH SCORE 419263.738
AT ITER 2126 NEW BEST:: SOT 855382 SOS 831738 HAS SOPS 831738 HAS SOUS 418380 HAS SOUPS 418380 WITH SCORE 419211.738
AT ITER 2130 NEW BEST:: SOT 855382 SOS 831738 HAS SOPS 831738 HAS SOUS 417978 HAS SOUPS 417978 WITH SCORE 418809.738
AT ITER 2133 NEW BEST:: SOT 855382 SOS 831738 HAS SOPS 831738 HAS SOUS 417872 HAS SOUPS 417872 WITH SCORE 418703.738
AT ITER 2137 NEW BEST:: SOT 855382 SOS 831738 HAS SOPS 831738 HAS SOUS 417560 HAS SOUPS 417560 WITH SCORE 418391.738
AT ITER 2140 NEW BEST:: SOT 855044 SOS 831400 HAS SOPS 831400 HAS SOUS 416644 HAS SOUPS 416644 WITH SCORE 417475.4
AT ITER 2142 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 416560 HAS SOUPS 416560 WITH SCORE 417391.358
AT ITER 2148 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 416218 HAS SOUPS 416218 WITH SCORE 417049.358
AT ITER 2152 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 416178 HAS SOUPS 416178 WITH SCORE 417009.358
AT ITER 2155 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 416068 HAS SOUPS 416068 WITH SCORE 416899.358
AT ITER 2169 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 415976 HAS SOUPS 415976 WITH SCORE 416807.358
AT ITER 2175 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 415928 HAS SOUPS 415928 WITH SCORE 416759.358
AT ITER 2178 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 415724 HAS SOUPS 415724 WITH SCORE 416555.358
AT ITER 2181 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 415256 HAS SOUPS 415256 WITH SCORE 416087.358
AT ITER 2182 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 415178 HAS SOUPS 415178 WITH SCORE 416009.358
AT ITER 2184 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 414726 HAS SOUPS 414726 WITH SCORE 415557.358
AT ITER 2186 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 414652 HAS SOUPS 414652 WITH SCORE 415483.358
AT ITER 2189 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 414646 HAS SOUPS 414646 WITH SCORE 415477.358
AT ITER 2190 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 414630 HAS SOUPS 414630 WITH SCORE 415461.358
AT ITER 2200 NEW BEST:: SOT 855002 SOS 831358 HAS SOPS 831358 HAS SOUS 413800 HAS SOUPS 413800 WITH SCORE 414631.358
AT ITER 2213 NEW BEST:: SOT 855002 SOS 831508 HAS SOPS 831508 HAS SOUS 413630 HAS SOUPS 413630 WITH SCORE 414461.508
AT ITER 2233 NEW BEST:: SOT 855002 SOS 831508 HAS SOPS 831508 HAS SOUS 413566 HAS SOUPS 413566 WITH SCORE 414397.508
AT ITER 2238 NEW BEST:: SOT 855002 SOS 831508 HAS SOPS 831508 HAS SOUS 413546 HAS SOUPS 413546 WITH SCORE 414377.508
AT ITER 2243 NEW BEST:: SOT 855002 SOS 831508 HAS SOPS 831508 HAS SOUS 413522 HAS SOUPS 413522 WITH SCORE 414353.508
AT ITER 2255 NEW BEST:: SOT 855002 SOS 831508 HAS SOPS 831508 HAS SOUS 413290 HAS SOUPS 413290 WITH SCORE 414121.508
AT ITER 2260 NEW BEST:: SOT 855002 SOS 831508 HAS SOPS 831508 HAS SOUS 413268 HAS SOUPS 413268 WITH SCORE 414099.508
AT ITER 2273 NEW BEST:: SOT 768874 SOS 745380 HAS SOPS 745380 HAS SOUS 326584 HAS SOUPS 326584 WITH SCORE 327329.38
AT ITER 2274 NEW BEST:: SOT 768842 SOS 745348 HAS SOPS 745348 HAS SOUS 325924 HAS SOUPS 325924 WITH SCORE 326669.348
AT ITER 2292 NEW BEST:: SOT 768842 SOS 745348 HAS SOPS 745348 HAS SOUS 325904 HAS SOUPS 325904 WITH SCORE 326649.348
AT ITER 2293 NEW BEST:: SOT 768842 SOS 745348 HAS SOPS 745348 HAS SOUS 325882 HAS SOUPS 325882 WITH SCORE 326627.348
AT ITER 2294 NEW BEST:: SOT 768686 SOS 745192 HAS SOPS 745192 HAS SOUS 325034 HAS SOUPS 325034 WITH SCORE 325779.192
AT ITER 2295 NEW BEST:: SOT 768686 SOS 745192 HAS SOPS 745192 HAS SOUS 324700 HAS SOUPS 324700 WITH SCORE 325445.192
AT ITER 2296 NEW BEST:: SOT 768170 SOS 744676 HAS SOPS 744676 HAS SOUS 323668 HAS SOUPS 323668 WITH SCORE 324412.676
AT ITER 2300 NEW BEST:: SOT 767920 SOS 744426 HAS SOPS 744426 HAS SOUS 323418 HAS SOUPS 323418 WITH SCORE 324162.426
AT ITER 2301 NEW BEST:: SOT 767914 SOS 744420 HAS SOPS 744420 HAS SOUS 323406 HAS SOUPS 323406 WITH SCORE 324150.42
AT ITER 2304 NEW BEST:: SOT 767830 SOS 744336 HAS SOPS 744336 HAS SOUS 323238 HAS SOUPS 323238 WITH SCORE 323982.336
AT ITER 2319 NEW BEST:: SOT 767536 SOS 744042 HAS SOPS 744042 HAS SOUS 322650 HAS SOUPS 322650 WITH SCORE 323394.042
AT ITER 2321 NEW BEST:: SOT 767536 SOS 744042 HAS SOPS 744042 HAS SOUS 322506 HAS SOUPS 322506 WITH SCORE 323250.042
AT ITER 2350 NEW BEST:: SOT 767470 SOS 743976 HAS SOPS 743976 HAS SOUS 322374 HAS SOUPS 322374 WITH SCORE 323117.976
AT ITER 2371 NEW BEST:: SOT 767470 SOS 743976 HAS SOPS 743976 HAS SOUS 322342 HAS SOUPS 322342 WITH SCORE 323085.976
AT ITER 2388 NEW BEST:: SOT 767468 SOS 743974 HAS SOPS 743974 HAS SOUS 322338 HAS SOUPS 322338 WITH SCORE 323081.974
AT ITER 2393 NEW BEST:: SOT 767468 SOS 743974 HAS SOPS 743974 HAS SOUS 322284 HAS SOUPS 322284 WITH SCORE 323027.974
AT ITER 2397 NEW BEST:: SOT 767038 SOS 743544 HAS SOPS 743544 HAS SOUS 321376 HAS SOUPS 321376 WITH SCORE 322119.544
AT ITER 2398 NEW BEST:: SOT 767038 SOS 743112 HAS SOPS 743112 HAS SOUS 321302 HAS SOUPS 321302 WITH SCORE 322045.112
AT ITER 2400 NEW BEST:: SOT 766958 SOS 743032 HAS SOPS 743032 HAS SOUS 321142 HAS SOUPS 321142 WITH SCORE 321885.032
AT ITER 2424 NEW BEST:: SOT 766958 SOS 743032 HAS SOPS 743032 HAS SOUS 320962 HAS SOUPS 320962 WITH SCORE 321705.032
AT ITER 2457 NEW BEST:: SOT 766894 SOS 742968 HAS SOPS 742968 HAS SOUS 320472 HAS SOUPS 320472 WITH SCORE 321214.968
AT ITER 2460 NEW BEST:: SOT 766894 SOS 742968 HAS SOPS 742968 HAS SOUS 320100 HAS SOUPS 320100 WITH SCORE 320842.968
AT ITER 2462 NEW BEST:: SOT 766766 SOS 742840 HAS SOPS 742840 HAS SOUS 319844 HAS SOUPS 319844 WITH SCORE 320586.84
AT ITER 2464 NEW BEST:: SOT 766696 SOS 742770 HAS SOPS 742770 HAS SOUS 319704 HAS SOUPS 319704 WITH SCORE 320446.77
AT ITER 2467 NEW BEST:: SOT 766686 SOS 742760 HAS SOPS 742760 HAS SOUS 319684 HAS SOUPS 319684 WITH SCORE 320426.76
AT ITER 2471 NEW BEST:: SOT 766686 SOS 742760 HAS SOPS 742760 HAS SOUS 319544 HAS SOUPS 319544 WITH SCORE 320286.76
AT ITER 2474 NEW BEST:: SOT 766686 SOS 742760 HAS SOPS 742760 HAS SOUS 319086 HAS SOUPS 319086 WITH SCORE 319828.76
AT ITER 2479 NEW BEST:: SOT 766686 SOS 742760 HAS SOPS 742760 HAS SOUS 319078 HAS SOUPS 319078 WITH SCORE 319820.76
AT ITER 2481 NEW BEST:: SOT 766686 SOS 742760 HAS SOPS 742760 HAS SOUS 319054 HAS SOUPS 319054 WITH SCORE 319796.76
AT ITER 2483 NEW BEST:: SOT 766686 SOS 742760 HAS SOPS 742760 HAS SOUS 318988 HAS SOUPS 318988 WITH SCORE 319730.76
AT ITER 2486 NEW BEST:: SOT 766686 SOS 742760 HAS SOPS 742760 HAS SOUS 318894 HAS SOUPS 318894 WITH SCORE 319636.76
AT ITER 2491 NEW BEST:: SOT 766614 SOS 742688 HAS SOPS 742688 HAS SOUS 318750 HAS SOUPS 318750 WITH SCORE 319492.688
AT ITER 2512 NEW BEST:: SOT 766536 SOS 742610 HAS SOPS 742610 HAS SOUS 318594 HAS SOUPS 318594 WITH SCORE 319336.61
AT ITER 2523 NEW BEST:: SOT 766536 SOS 742610 HAS SOPS 742610 HAS SOUS 318520 HAS SOUPS 318520 WITH SCORE 319262.61
AT ITER 2525 NEW BEST:: SOT 766536 SOS 742610 HAS SOPS 742610 HAS SOUS 318460 HAS SOUPS 318460 WITH SCORE 319202.61
AT ITER 2528 NEW BEST:: SOT 766536 SOS 742610 HAS SOPS 742610 HAS SOUS 318332 HAS SOUPS 318332 WITH SCORE 319074.61
AT ITER 2552 NEW BEST:: SOT 766220 SOS 742502 HAS SOPS 742502 HAS SOUS 318224 HAS SOUPS 318224 WITH SCORE 318966.502
AT ITER 2567 NEW BEST:: SOT 766110 SOS 742392 HAS SOPS 742392 HAS SOUS 317796 HAS SOUPS 317796 WITH SCORE 318538.392
AT ITER 2569 NEW BEST:: SOT 765276 SOS 741566 HAS SOPS 741566 HAS SOUS 316408 HAS SOUPS 316408 WITH SCORE 317149.566
AT ITER 2582 NEW BEST:: SOT 765276 SOS 741566 HAS SOPS 741566 HAS SOUS 316404 HAS SOUPS 316404 WITH SCORE 317145.566
AT ITER 2588 NEW BEST:: SOT 764814 SOS 741104 HAS SOPS 741104 HAS SOUS 315330 HAS SOUPS 315330 WITH SCORE 316071.104
AT ITER 2601 NEW BEST:: SOT 764814 SOS 741104 HAS SOPS 741104 HAS SOUS 315172 HAS SOUPS 315172 WITH SCORE 315913.104
AT ITER 2611 NEW BEST:: SOT 764708 SOS 740998 HAS SOPS 740998 HAS SOUS 314960 HAS SOUPS 314960 WITH SCORE 315700.998
AT ITER 2617 NEW BEST:: SOT 764412 SOS 740702 HAS SOPS 740702 HAS SOUS 314136 HAS SOUPS 314136 WITH SCORE 314876.702
AT ITER 2618 NEW BEST:: SOT 764412 SOS 740702 HAS SOPS 740702 HAS SOUS 314028 HAS SOUPS 314028 WITH SCORE 314768.702
AT ITER 2621 NEW BEST:: SOT 764412 SOS 740702 HAS SOPS 740702 HAS SOUS 313524 HAS SOUPS 313524 WITH SCORE 314264.702
AT ITER 2626 NEW BEST:: SOT 764412 SOS 740702 HAS SOPS 740702 HAS SOUS 313228 HAS SOUPS 313228 WITH SCORE 313968.702
AT ITER 2638 NEW BEST:: SOT 764412 SOS 740702 HAS SOPS 740702 HAS SOUS 312570 HAS SOUPS 312570 WITH SCORE 313310.702
AT ITER 2642 NEW BEST:: SOT 763876 SOS 740166 HAS SOPS 740166 HAS SOUS 311454 HAS SOUPS 311454 WITH SCORE 312194.166
AT ITER 2665 NEW BEST:: SOT 763876 SOS 740166 HAS SOPS 740166 HAS SOUS 311422 HAS SOUPS 311422 WITH SCORE 312162.166
AT ITER 2669 NEW BEST:: SOT 763876 SOS 740166 HAS SOPS 740166 HAS SOUS 311096 HAS SOUPS 311096 WITH SCORE 311836.166
AT ITER 2672 NEW BEST:: SOT 763876 SOS 740166 HAS SOPS 740166 HAS SOUS 310990 HAS SOUPS 310990 WITH SCORE 311730.166
AT ITER 2676 NEW BEST:: SOT 734756 SOS 711540 HAS SOPS 711540 HAS SOUS 282356 HAS SOUPS 282356 WITH SCORE 283067.54
AT ITER 2687 NEW BEST:: SOT 734552 SOS 711336 HAS SOPS 711336 HAS SOUS 281948 HAS SOUPS 281948 WITH SCORE 282659.336
AT ITER 2693 NEW BEST:: SOT 734262 SOS 711046 HAS SOPS 711046 HAS SOUS 280928 HAS SOUPS 280928 WITH SCORE 281639.046
AT ITER 2695 NEW BEST:: SOT 734240 SOS 711024 HAS SOPS 711024 HAS SOUS 280884 HAS SOUPS 280884 WITH SCORE 281595.024
AT ITER 2702 NEW BEST:: SOT 734232 SOS 711016 HAS SOPS 711016 HAS SOUS 280868 HAS SOUPS 280868 WITH SCORE 281579.016
AT ITER 2708 NEW BEST:: SOT 734086 SOS 710870 HAS SOPS 710870 HAS SOUS 280576 HAS SOUPS 280576 WITH SCORE 281286.87
AT ITER 2715 NEW BEST:: SOT 734086 SOS 710870 HAS SOPS 710870 HAS SOUS 280324 HAS SOUPS 280324 WITH SCORE 281034.87
AT ITER 2720 NEW BEST:: SOT 734056 SOS 710840 HAS SOPS 710840 HAS SOUS 280264 HAS SOUPS 280264 WITH SCORE 280974.84
AT ITER 2730 NEW BEST:: SOT 734056 SOS 710840 HAS SOPS 710840 HAS SOUS 280238 HAS SOUPS 280238 WITH SCORE 280948.84
AT ITER 2731 NEW BEST:: SOT 734044 SOS 710828 HAS SOPS 710828 HAS SOUS 280214 HAS SOUPS 280214 WITH SCORE 280924.828
AT ITER 2740 NEW BEST:: SOT 734044 SOS 710828 HAS SOPS 710828 HAS SOUS 280106 HAS SOUPS 280106 WITH SCORE 280816.828
AT ITER 2745 NEW BEST:: SOT 734044 SOS 710828 HAS SOPS 710828 HAS SOUS 279882 HAS SOUPS 279882 WITH SCORE 280592.828
AT ITER 2746 NEW BEST:: SOT 734044 SOS 710828 HAS SOPS 710828 HAS SOUS 279838 HAS SOUPS 279838 WITH SCORE 280548.828
AT ITER 2747 NEW BEST:: SOT 734000 SOS 710784 HAS SOPS 710784 HAS SOUS 279750 HAS SOUPS 279750 WITH SCORE 280460.784
AT ITER 2748 NEW BEST:: SOT 734000 SOS 710784 HAS SOPS 710784 HAS SOUS 279498 HAS SOUPS 279498 WITH SCORE 280208.784
AT ITER 2801 NEW BEST:: SOT 734000 SOS 710784 HAS SOPS 710784 HAS SOUS 279350 HAS SOUPS 279350 WITH SCORE 280060.784
AT ITER 2803 NEW BEST:: SOT 734000 SOS 710784 HAS SOPS 710784 HAS SOUS 279230 HAS SOUPS 279230 WITH SCORE 279940.784
AT ITER 2812 NEW BEST:: SOT 734000 SOS 710784 HAS SOPS 710784 HAS SOUS 279074 HAS SOUPS 279074 WITH SCORE 279784.784
AT ITER 2813 NEW BEST:: SOT 734000 SOS 710784 HAS SOPS 710784 HAS SOUS 279002 HAS SOUPS 279002 WITH SCORE 279712.784
AT ITER 2816 NEW BEST:: SOT 734000 SOS 710784 HAS SOPS 710784 HAS SOUS 278986 HAS SOUPS 278986 WITH SCORE 279696.784
AT ITER 2820 NEW BEST:: SOT 734000 SOS 710784 HAS SOPS 710784 HAS SOUS 278944 HAS SOUPS 278944 WITH SCORE 279654.784
AT ITER 2850 NEW BEST:: SOT 734000 SOS 710784 HAS SOPS 710784 HAS SOUS 278912 HAS SOUPS 278912 WITH SCORE 279622.784
AT ITER 2854 NEW BEST:: SOT 734000 SOS 710784 HAS SOPS 710784 HAS SOUS 278664 HAS SOUPS 278664 WITH SCORE 279374.784
AT ITER 2856 NEW BEST:: SOT 733950 SOS 710734 HAS SOPS 710734 HAS SOUS 278564 HAS SOUPS 278564 WITH SCORE 279274.734
AT ITER 2862 NEW BEST:: SOT 733950 SOS 710734 HAS SOPS 710734 HAS SOUS 278470 HAS SOUPS 278470 WITH SCORE 279180.734
AT ITER 2874 NEW BEST:: SOT 733950 SOS 710734 HAS SOPS 710734 HAS SOUS 278306 HAS SOUPS 278306 WITH SCORE 279016.734
AT ITER 2875 NEW BEST:: SOT 733800 SOS 710688 HAS SOPS 710688 HAS SOUS 278260 HAS SOUPS 278260 WITH SCORE 278970.688
AT ITER 2881 NEW BEST:: SOT 733800 SOS 710688 HAS SOPS 710688 HAS SOUS 278200 HAS SOUPS 278200 WITH SCORE 278910.688
AT ITER 2882 NEW BEST:: SOT 733800 SOS 710688 HAS SOPS 710688 HAS SOUS 278142 HAS SOUPS 278142 WITH SCORE 278852.688
AT ITER 2883 NEW BEST:: SOT 733800 SOS 710688 HAS SOPS 710688 HAS SOUS 278002 HAS SOUPS 278002 WITH SCORE 278712.688
AT ITER 2889 NEW BEST:: SOT 733664 SOS 710552 HAS SOPS 710552 HAS SOUS 277730 HAS SOUPS 277730 WITH SCORE 278440.552
AT ITER 2890 NEW BEST:: SOT 733546 SOS 710434 HAS SOPS 710434 HAS SOUS 277332 HAS SOUPS 277332 WITH SCORE 278042.434
AT ITER 2895 NEW BEST:: SOT 733496 SOS 710384 HAS SOPS 710384 HAS SOUS 277232 HAS SOUPS 277232 WITH SCORE 277942.384
AT ITER 2906 NEW BEST:: SOT 733496 SOS 710384 HAS SOPS 710384 HAS SOUS 277200 HAS SOUPS 277200 WITH SCORE 277910.384
AT ITER 2912 NEW BEST:: SOT 733496 SOS 710384 HAS SOPS 710384 HAS SOUS 277138 HAS SOUPS 277138 WITH SCORE 277848.384
AT ITER 2920 NEW BEST:: SOT 733496 SOS 710384 HAS SOPS 710384 HAS SOUS 276668 HAS SOUPS 276668 WITH SCORE 277378.384
AT ITER 2923 NEW BEST:: SOT 733422 SOS 710310 HAS SOPS 710310 HAS SOUS 276352 HAS SOUPS 276352 WITH SCORE 277062.31
AT ITER 2930 NEW BEST:: SOT 733338 SOS 710226 HAS SOPS 710226 HAS SOUS 276184 HAS SOUPS 276184 WITH SCORE 276894.226
AT ITER 2935 NEW BEST:: SOT 733338 SOS 710226 HAS SOPS 710226 HAS SOUS 276094 HAS SOUPS 276094 WITH SCORE 276804.226
AT ITER 2939 NEW BEST:: SOT 733338 SOS 710226 HAS SOPS 710226 HAS SOUS 275948 HAS SOUPS 275948 WITH SCORE 276658.226
AT ITER 2940 NEW BEST:: SOT 733276 SOS 710164 HAS SOPS 710164 HAS SOUS 275824 HAS SOUPS 275824 WITH SCORE 276534.164
AT ITER 2959 NEW BEST:: SOT 733276 SOS 710164 HAS SOPS 710164 HAS SOUS 275716 HAS SOUPS 275716 WITH SCORE 276426.164
AT ITER 2970 NEW BEST:: SOT 733206 SOS 710094 HAS SOPS 710094 HAS SOUS 275576 HAS SOUPS 275576 WITH SCORE 276286.094
AT ITER 2974 NEW BEST:: SOT 733182 SOS 710070 HAS SOPS 710070 HAS SOUS 275528 HAS SOUPS 275528 WITH SCORE 276238.07
AT ITER 2982 NEW BEST:: SOT 733162 SOS 710050 HAS SOPS 710050 HAS SOUS 275488 HAS SOUPS 275488 WITH SCORE 276198.05
AT ITER 2983 NEW BEST:: SOT 733162 SOS 710050 HAS SOPS 710050 HAS SOUS 275310 HAS SOUPS 275310 WITH SCORE 276020.05
AT ITER 2986 NEW BEST:: SOT 733138 SOS 710026 HAS SOPS 710026 HAS SOUS 275262 HAS SOUPS 275262 WITH SCORE 275972.026
AT ITER 2988 NEW BEST:: SOT 733138 SOS 710026 HAS SOPS 710026 HAS SOUS 275122 HAS SOUPS 275122 WITH SCORE 275832.026
AT ITER 2989 NEW BEST:: SOT 733138 SOS 710026 HAS SOPS 710026 HAS SOUS 275106 HAS SOUPS 275106 WITH SCORE 275816.026
AT ITER 2995 NEW BEST:: SOT 733138 SOS 710026 HAS SOPS 710026 HAS SOUS 275002 HAS SOUPS 275002 WITH SCORE 275712.026
AT ITER 2996 NEW BEST:: SOT 733138 SOS 710026 HAS SOPS 710026 HAS SOUS 274864 HAS SOUPS 274864 WITH SCORE 275574.026
AT ITER 3008 NEW BEST:: SOT 733138 SOS 710026 HAS SOPS 710026 HAS SOUS 274684 HAS SOUPS 274684 WITH SCORE 275394.026
AT ITER 3021 NEW BEST:: SOT 733138 SOS 710026 HAS SOPS 710026 HAS SOUS 274570 HAS SOUPS 274570 WITH SCORE 275280.026
AT ITER 3029 NEW BEST:: SOT 733060 SOS 709948 HAS SOPS 709948 HAS SOUS 274414 HAS SOUPS 274414 WITH SCORE 275123.948
AT ITER 3031 NEW BEST:: SOT 733034 SOS 709922 HAS SOPS 709922 HAS SOUS 274362 HAS SOUPS 274362 WITH SCORE 275071.922
AT ITER 3033 NEW BEST:: SOT 732732 SOS 709620 HAS SOPS 709620 HAS SOUS 273758 HAS SOUPS 273758 WITH SCORE 274467.62
AT ITER 3046 NEW BEST:: SOT 732560 SOS 709448 HAS SOPS 709448 HAS SOUS 273414 HAS SOUPS 273414 WITH SCORE 274123.448
AT ITER 3052 NEW BEST:: SOT 732560 SOS 709448 HAS SOPS 709448 HAS SOUS 273380 HAS SOUPS 273380 WITH SCORE 274089.448
AT ITER 3060 NEW BEST:: SOT 732560 SOS 709448 HAS SOPS 709448 HAS SOUS 273310 HAS SOUPS 273310 WITH SCORE 274019.448
AT ITER 3066 NEW BEST:: SOT 732560 SOS 709418 HAS SOPS 709418 HAS SOUS 273310 HAS SOUPS 273310 WITH SCORE 274019.418
AT ITER 3076 NEW BEST:: SOT 732560 SOS 709418 HAS SOPS 709418 HAS SOUS 273240 HAS SOUPS 273240 WITH SCORE 273949.418
AT ITER 3107 NEW BEST:: SOT 732560 SOS 709418 HAS SOPS 709418 HAS SOUS 272894 HAS SOUPS 272894 WITH SCORE 273603.418
AT ITER 3110 NEW BEST:: SOT 732322 SOS 709180 HAS SOPS 709180 HAS SOUS 272354 HAS SOUPS 272354 WITH SCORE 273063.18
AT ITER 3120 NEW BEST:: SOT 732322 SOS 709180 HAS SOPS 709180 HAS SOUS 272082 HAS SOUPS 272082 WITH SCORE 272791.18
AT ITER 3122 NEW BEST:: SOT 732322 SOS 709180 HAS SOPS 709180 HAS SOUS 271700 HAS SOUPS 271700 WITH SCORE 272409.18
AT ITER 3136 NEW BEST:: SOT 732322 SOS 709180 HAS SOPS 709180 HAS SOUS 271642 HAS SOUPS 271642 WITH SCORE 272351.18
AT ITER 3162 NEW BEST:: SOT 732110 SOS 708968 HAS SOPS 708968 HAS SOUS 271218 HAS SOUPS 271218 WITH SCORE 271926.968
AT ITER 3183 NEW BEST:: SOT 731924 SOS 708782 HAS SOPS 708782 HAS SOUS 270846 HAS SOUPS 270846 WITH SCORE 271554.782
AT ITER 3188 NEW BEST:: SOT 731834 SOS 708692 HAS SOPS 708692 HAS SOUS 270328 HAS SOUPS 270328 WITH SCORE 271036.692
AT ITER 3197 NEW BEST:: SOT 731672 SOS 708530 HAS SOPS 708530 HAS SOUS 269924 HAS SOUPS 269924 WITH SCORE 270632.53
AT ITER 3210 NEW BEST:: SOT 731594 SOS 708452 HAS SOPS 708452 HAS SOUS 269768 HAS SOUPS 269768 WITH SCORE 270476.452
AT ITER 3215 NEW BEST:: SOT 731594 SOS 708452 HAS SOPS 708452 HAS SOUS 269736 HAS SOUPS 269736 WITH SCORE 270444.452
AT ITER 3221 NEW BEST:: SOT 731442 SOS 708300 HAS SOPS 708300 HAS SOUS 269432 HAS SOUPS 269432 WITH SCORE 270140.3
AT ITER 3229 NEW BEST:: SOT 731442 SOS 708300 HAS SOPS 708300 HAS SOUS 269304 HAS SOUPS 269304 WITH SCORE 270012.3
AT ITER 3241 NEW BEST:: SOT 731442 SOS 708300 HAS SOPS 708300 HAS SOUS 268554 HAS SOUPS 268554 WITH SCORE 269262.3
AT ITER 3244 NEW BEST:: SOT 730920 SOS 707778 HAS SOPS 707778 HAS SOUS 267510 HAS SOUPS 267510 WITH SCORE 268217.778
AT ITER 3246 NEW BEST:: SOT 730920 SOS 707778 HAS SOPS 707778 HAS SOUS 267436 HAS SOUPS 267436 WITH SCORE 268143.778
AT ITER 3251 NEW BEST:: SOT 730900 SOS 707758 HAS SOPS 707758 HAS SOUS 267396 HAS SOUPS 267396 WITH SCORE 268103.758
AT ITER 3255 NEW BEST:: SOT 730900 SOS 707758 HAS SOPS 707758 HAS SOUS 267314 HAS SOUPS 267314 WITH SCORE 268021.758
AT ITER 3262 NEW BEST:: SOT 730900 SOS 707758 HAS SOPS 707758 HAS SOUS 267236 HAS SOUPS 267236 WITH SCORE 267943.758
AT ITER 3266 NEW BEST:: SOT 730900 SOS 707758 HAS SOPS 707758 HAS SOUS 267070 HAS SOUPS 267070 WITH SCORE 267777.758
AT ITER 3278 NEW BEST:: SOT 730870 SOS 707728 HAS SOPS 707728 HAS SOUS 267010 HAS SOUPS 267010 WITH SCORE 267717.728
AT ITER 3285 NEW BEST:: SOT 730870 SOS 707728 HAS SOPS 707728 HAS SOUS 266988 HAS SOUPS 266988 WITH SCORE 267695.728
AT ITER 3293 NEW BEST:: SOT 730870 SOS 707728 HAS SOPS 707728 HAS SOUS 266938 HAS SOUPS 266938 WITH SCORE 267645.728
AT ITER 3296 NEW BEST:: SOT 730792 SOS 707658 HAS SOPS 707658 HAS SOUS 266656 HAS SOUPS 266656 WITH SCORE 267363.658
AT ITER 3312 NEW BEST:: SOT 730792 SOS 707658 HAS SOPS 707658 HAS SOUS 266636 HAS SOUPS 266636 WITH SCORE 267343.658
AT ITER 3323 NEW BEST:: SOT 730756 SOS 707622 HAS SOPS 707622 HAS SOUS 266564 HAS SOUPS 266564 WITH SCORE 267271.622
AT ITER 3324 NEW BEST:: SOT 730570 SOS 707436 HAS SOPS 707436 HAS SOUS 266192 HAS SOUPS 266192 WITH SCORE 266899.436
AT ITER 3336 NEW BEST:: SOT 730388 SOS 707254 HAS SOPS 707254 HAS SOUS 265828 HAS SOUPS 265828 WITH SCORE 266535.254
AT ITER 3337 NEW BEST:: SOT 730276 SOS 707142 HAS SOPS 707142 HAS SOUS 265604 HAS SOUPS 265604 WITH SCORE 266311.142
AT ITER 3341 NEW BEST:: SOT 730254 SOS 707120 HAS SOPS 707120 HAS SOUS 265560 HAS SOUPS 265560 WITH SCORE 266267.12
AT ITER 3354 NEW BEST:: SOT 730254 SOS 707120 HAS SOPS 707120 HAS SOUS 265544 HAS SOUPS 265544 WITH SCORE 266251.12
AT ITER 3359 NEW BEST:: SOT 730254 SOS 707120 HAS SOPS 707120 HAS SOUS 265308 HAS SOUPS 265308 WITH SCORE 266015.12
AT ITER 3379 NEW BEST:: SOT 729986 SOS 706852 HAS SOPS 706852 HAS SOUS 264772 HAS SOUPS 264772 WITH SCORE 265478.852
AT ITER 3388 NEW BEST:: SOT 729986 SOS 706852 HAS SOPS 706852 HAS SOUS 264164 HAS SOUPS 264164 WITH SCORE 264870.852
AT ITER 3392 NEW BEST:: SOT 729986 SOS 706852 HAS SOPS 706852 HAS SOUS 264086 HAS SOUPS 264086 WITH SCORE 264792.852
AT ITER 3406 NEW BEST:: SOT 729934 SOS 706800 HAS SOPS 706800 HAS SOUS 263982 HAS SOUPS 263982 WITH SCORE 264688.8
AT ITER 3407 NEW BEST:: SOT 729776 SOS 706642 HAS SOPS 706642 HAS SOUS 263824 HAS SOUPS 263824 WITH SCORE 264530.642
AT ITER 3416 NEW BEST:: SOT 729776 SOS 706642 HAS SOPS 706642 HAS SOUS 263784 HAS SOUPS 263784 WITH SCORE 264490.642
AT ITER 3423 NEW BEST:: SOT 729776 SOS 706642 HAS SOPS 706642 HAS SOUS 263680 HAS SOUPS 263680 WITH SCORE 264386.642
AT ITER 3428 NEW BEST:: SOT 729776 SOS 706642 HAS SOPS 706642 HAS SOUS 263618 HAS SOUPS 263618 WITH SCORE 264324.642
AT ITER 3431 NEW BEST:: SOT 729684 SOS 706550 HAS SOPS 706550 HAS SOUS 263434 HAS SOUPS 263434 WITH SCORE 264140.55
AT ITER 3434 NEW BEST:: SOT 729534 SOS 706400 HAS SOPS 706400 HAS SOUS 263134 HAS SOUPS 263134 WITH SCORE 263840.4
AT ITER 3435 NEW BEST:: SOT 729376 SOS 706242 HAS SOPS 706242 HAS SOUS 262818 HAS SOUPS 262818 WITH SCORE 263524.242
AT ITER 3444 NEW BEST:: SOT 729376 SOS 706242 HAS SOPS 706242 HAS SOUS 262794 HAS SOUPS 262794 WITH SCORE 263500.242
AT ITER 3445 NEW BEST:: SOT 729358 SOS 706224 HAS SOPS 706224 HAS SOUS 262758 HAS SOUPS 262758 WITH SCORE 263464.224
AT ITER 3467 NEW BEST:: SOT 729080 SOS 705946 HAS SOPS 705946 HAS SOUS 262202 HAS SOUPS 262202 WITH SCORE 262907.946
AT ITER 3479 NEW BEST:: SOT 729070 SOS 705936 HAS SOPS 705936 HAS SOUS 262182 HAS SOUPS 262182 WITH SCORE 262887.936
AT ITER 3490 NEW BEST:: SOT 729012 SOS 705878 HAS SOPS 705878 HAS SOUS 262066 HAS SOUPS 262066 WITH SCORE 262771.878
AT ITER 3505 NEW BEST:: SOT 729012 SOS 705878 HAS SOPS 705878 HAS SOUS 261850 HAS SOUPS 261850 WITH SCORE 262555.878
AT ITER 3524 NEW BEST:: SOT 729006 SOS 705872 HAS SOPS 705872 HAS SOUS 261838 HAS SOUPS 261838 WITH SCORE 262543.872
AT ITER 3529 NEW BEST:: SOT 729006 SOS 705872 HAS SOPS 705872 HAS SOUS 261836 HAS SOUPS 261836 WITH SCORE 262541.872
AT ITER 3536 NEW BEST:: SOT 728720 SOS 705818 HAS SOPS 705818 HAS SOUS 261782 HAS SOUPS 261782 WITH SCORE 262487.818
AT ITER 3539 NEW BEST:: SOT 728720 SOS 705818 HAS SOPS 705818 HAS SOUS 261432 HAS SOUPS 261432 WITH SCORE 262137.818
AT ITER 3547 NEW BEST:: SOT 728672 SOS 705770 HAS SOPS 705770 HAS SOUS 261202 HAS SOUPS 261202 WITH SCORE 261907.77
AT ITER 3557 NEW BEST:: SOT 728672 SOS 705770 HAS SOPS 705770 HAS SOUS 261114 HAS SOUPS 261114 WITH SCORE 261819.77
AT ITER 3580 NEW BEST:: SOT 728672 SOS 705770 HAS SOPS 705770 HAS SOUS 260616 HAS SOUPS 260616 WITH SCORE 261321.77
AT ITER 3583 NEW BEST:: SOT 728672 SOS 705770 HAS SOPS 705770 HAS SOUS 260582 HAS SOUPS 260582 WITH SCORE 261287.77
AT ITER 3591 NEW BEST:: SOT 728672 SOS 705770 HAS SOPS 705770 HAS SOUS 260560 HAS SOUPS 260560 WITH SCORE 261265.77
AT ITER 3597 NEW BEST:: SOT 728410 SOS 705508 HAS SOPS 705508 HAS SOUS 260010 HAS SOUPS 260010 WITH SCORE 260715.508
AT ITER 3600 NEW BEST:: SOT 728388 SOS 705486 HAS SOPS 705486 HAS SOUS 259966 HAS SOUPS 259966 WITH SCORE 260671.486
AT ITER 3605 NEW BEST:: SOT 728124 SOS 705222 HAS SOPS 705222 HAS SOUS 259438 HAS SOUPS 259438 WITH SCORE 260143.222
AT ITER 3606 NEW BEST:: SOT 728124 SOS 705222 HAS SOPS 705222 HAS SOUS 259114 HAS SOUPS 259114 WITH SCORE 259819.222
AT ITER 3617 NEW BEST:: SOT 728124 SOS 705222 HAS SOPS 705222 HAS SOUS 258954 HAS SOUPS 258954 WITH SCORE 259659.222
AT ITER 3630 NEW BEST:: SOT 728090 SOS 705188 HAS SOPS 705188 HAS SOUS 258886 HAS SOUPS 258886 WITH SCORE 259591.188
AT ITER 3664 NEW BEST:: SOT 728032 SOS 705130 HAS SOPS 705130 HAS SOUS 258696 HAS SOUPS 258696 WITH SCORE 259401.13
AT ITER 3667 NEW BEST:: SOT 727894 SOS 704992 HAS SOPS 704992 HAS SOUS 258420 HAS SOUPS 258420 WITH SCORE 259124.992
AT ITER 3688 NEW BEST:: SOT 727894 SOS 704992 HAS SOPS 704992 HAS SOUS 258418 HAS SOUPS 258418 WITH SCORE 259122.992
AT ITER 3693 NEW BEST:: SOT 727894 SOS 704992 HAS SOPS 704992 HAS SOUS 258330 HAS SOUPS 258330 WITH SCORE 259034.992
AT ITER 3698 NEW BEST:: SOT 727894 SOS 704992 HAS SOPS 704992 HAS SOUS 258316 HAS SOUPS 258316 WITH SCORE 259020.992
AT ITER 3702 NEW BEST:: SOT 727894 SOS 687928 HAS SOPS 687928 HAS SOUS 258304 HAS SOUPS 258304 WITH SCORE 258991.928
AT ITER 3707 NEW BEST:: SOT 727894 SOS 687928 HAS SOPS 687928 HAS SOUS 258012 HAS SOUPS 258012 WITH SCORE 258699.928
AT ITER 3733 NEW BEST:: SOT 727710 SOS 687744 HAS SOPS 687744 HAS SOUS 257828 HAS SOUPS 257828 WITH SCORE 258515.744
AT ITER 3745 NEW BEST:: SOT 645444 SOS 605918 HAS SOPS 605918 HAS SOUS 176002 HAS SOUPS 176002 WITH SCORE 176607.918
AT ITER 3746 NEW BEST:: SOT 645294 SOS 605768 HAS SOPS 605768 HAS SOUS 175702 HAS SOUPS 175702 WITH SCORE 176307.768
AT ITER 3753 NEW BEST:: SOT 645294 SOS 605768 HAS SOPS 605768 HAS SOUS 175494 HAS SOUPS 175494 WITH SCORE 176099.768
AT ITER 3769 NEW BEST:: SOT 645170 SOS 605644 HAS SOPS 605644 HAS SOUS 175246 HAS SOUPS 175246 WITH SCORE 175851.644
AT ITER 3781 NEW BEST:: SOT 645152 SOS 605626 HAS SOPS 605626 HAS SOUS 175210 HAS SOUPS 175210 WITH SCORE 175815.626
AT ITER 3793 NEW BEST:: SOT 644988 SOS 605462 HAS SOPS 605462 HAS SOUS 174882 HAS SOUPS 174882 WITH SCORE 175487.462
AT ITER 3799 NEW BEST:: SOT 644848 SOS 605322 HAS SOPS 605322 HAS SOUS 174602 HAS SOUPS 174602 WITH SCORE 175207.322
AT ITER 3804 NEW BEST:: SOT 644802 SOS 605276 HAS SOPS 605276 HAS SOUS 174510 HAS SOUPS 174510 WITH SCORE 175115.276
AT ITER 3807 NEW BEST:: SOT 644524 SOS 604998 HAS SOPS 604998 HAS SOUS 173954 HAS SOUPS 173954 WITH SCORE 174558.998
AT ITER 3828 NEW BEST:: SOT 644516 SOS 604990 HAS SOPS 604990 HAS SOUS 173938 HAS SOUPS 173938 WITH SCORE 174542.99
AT ITER 3832 NEW BEST:: SOT 644288 SOS 604762 HAS SOPS 604762 HAS SOUS 173482 HAS SOUPS 173482 WITH SCORE 174086.762
AT ITER 3838 NEW BEST:: SOT 644164 SOS 604638 HAS SOPS 604638 HAS SOUS 173234 HAS SOUPS 173234 WITH SCORE 173838.638
AT ITER 3840 NEW BEST:: SOT 644164 SOS 604638 HAS SOPS 604638 HAS SOUS 173134 HAS SOUPS 173134 WITH SCORE 173738.638
AT ITER 3843 NEW BEST:: SOT 644164 SOS 604638 HAS SOPS 604638 HAS SOUS 173080 HAS SOUPS 173080 WITH SCORE 173684.638
AT ITER 3848 NEW BEST:: SOT 644130 SOS 604604 HAS SOPS 604604 HAS SOUS 173012 HAS SOUPS 173012 WITH SCORE 173616.604
AT ITER 3855 NEW BEST:: SOT 644010 SOS 604484 HAS SOPS 604484 HAS SOUS 172772 HAS SOUPS 172772 WITH SCORE 173376.484
AT ITER 3877 NEW BEST:: SOT 644010 SOS 604484 HAS SOPS 604484 HAS SOUS 172664 HAS SOUPS 172664 WITH SCORE 173268.484
AT ITER 3879 NEW BEST:: SOT 643544 SOS 604018 HAS SOPS 604018 HAS SOUS 171732 HAS SOUPS 171732 WITH SCORE 172336.018
AT ITER 3880 NEW BEST:: SOT 643726 SOS 604214 HAS SOPS 604214 HAS SOUS 171656 HAS SOUPS 171656 WITH SCORE 172260.214
AT ITER 3891 NEW BEST:: SOT 643548 SOS 604036 HAS SOPS 604036 HAS SOUS 171300 HAS SOUPS 171300 WITH SCORE 171904.036
AT ITER 3931 NEW BEST:: SOT 643504 SOS 603992 HAS SOPS 603992 HAS SOUS 171212 HAS SOUPS 171212 WITH SCORE 171815.992
AT ITER 3939 NEW BEST:: SOT 643322 SOS 603810 HAS SOPS 603810 HAS SOUS 170848 HAS SOUPS 170848 WITH SCORE 171451.81
AT ITER 3940 NEW BEST:: SOT 643322 SOS 603810 HAS SOPS 603810 HAS SOUS 170660 HAS SOUPS 170660 WITH SCORE 171263.81
AT ITER 3944 NEW BEST:: SOT 643150 SOS 603638 HAS SOPS 603638 HAS SOUS 170316 HAS SOUPS 170316 WITH SCORE 170919.638
AT ITER 3982 NEW BEST:: SOT 643120 SOS 603608 HAS SOPS 603608 HAS SOUS 170256 HAS SOUPS 170256 WITH SCORE 170859.608
AT ITER 4008 NEW BEST:: SOT 643092 SOS 603580 HAS SOPS 603580 HAS SOUS 170200 HAS SOUPS 170200 WITH SCORE 170803.58
AT ITER 4020 NEW BEST:: SOT 643040 SOS 603528 HAS SOPS 603528 HAS SOUS 170096 HAS SOUPS 170096 WITH SCORE 170699.528
AT ITER 4021 NEW BEST:: SOT 642962 SOS 603450 HAS SOPS 603450 HAS SOUS 169940 HAS SOUPS 169940 WITH SCORE 170543.45
AT ITER 4054 NEW BEST:: SOT 642872 SOS 603360 HAS SOPS 603360 HAS SOUS 169760 HAS SOUPS 169760 WITH SCORE 170363.36
AT ITER 4057 NEW BEST:: SOT 642872 SOS 603360 HAS SOPS 603360 HAS SOUS 169722 HAS SOUPS 169722 WITH SCORE 170325.36
AT ITER 4067 NEW BEST:: SOT 642804 SOS 603292 HAS SOPS 603292 HAS SOUS 169586 HAS SOUPS 169586 WITH SCORE 170189.292
AT ITER 4100 NEW BEST:: SOT 642804 SOS 603292 HAS SOPS 603292 HAS SOUS 169428 HAS SOUPS 169428 WITH SCORE 170031.292
AT ITER 4101 NEW BEST:: SOT 642736 SOS 603224 HAS SOPS 603224 HAS SOUS 169224 HAS SOUPS 169224 WITH SCORE 169827.224
AT ITER 4117 NEW BEST:: SOT 642716 SOS 603204 HAS SOPS 603204 HAS SOUS 169184 HAS SOUPS 169184 WITH SCORE 169787.204
AT ITER 4121 NEW BEST:: SOT 642688 SOS 603176 HAS SOPS 603176 HAS SOUS 169128 HAS SOUPS 169128 WITH SCORE 169731.176
AT ITER 4133 NEW BEST:: SOT 642688 SOS 603176 HAS SOPS 603176 HAS SOUS 169126 HAS SOUPS 169126 WITH SCORE 169729.176
AT ITER 4142 NEW BEST:: SOT 642592 SOS 603080 HAS SOPS 603080 HAS SOUS 168934 HAS SOUPS 168934 WITH SCORE 169537.08
AT ITER 4149 NEW BEST:: SOT 642544 SOS 603032 HAS SOPS 603032 HAS SOUS 168838 HAS SOUPS 168838 WITH SCORE 169441.032
AT ITER 4156 NEW BEST:: SOT 642478 SOS 602966 HAS SOPS 602966 HAS SOUS 168706 HAS SOUPS 168706 WITH SCORE 169308.966
AT ITER 4169 NEW BEST:: SOT 642470 SOS 602958 HAS SOPS 602958 HAS SOUS 168690 HAS SOUPS 168690 WITH SCORE 169292.958
AT ITER 4171 NEW BEST:: SOT 642252 SOS 602740 HAS SOPS 602740 HAS SOUS 168254 HAS SOUPS 168254 WITH SCORE 168856.74
AT ITER 4200 NEW BEST:: SOT 642252 SOS 602740 HAS SOPS 602740 HAS SOUS 168132 HAS SOUPS 168132 WITH SCORE 168734.74
AT ITER 4211 NEW BEST:: SOT 642112 SOS 602600 HAS SOPS 602600 HAS SOUS 167852 HAS SOUPS 167852 WITH SCORE 168454.6
AT ITER 4212 NEW BEST:: SOT 642112 SOS 602578 HAS SOPS 602578 HAS SOUS 167830 HAS SOUPS 167830 WITH SCORE 168432.578
AT ITER 4215 NEW BEST:: SOT 642072 SOS 602538 HAS SOPS 602538 HAS SOUS 167750 HAS SOUPS 167750 WITH SCORE 168352.538
AT ITER 4216 NEW BEST:: SOT 641938 SOS 602404 HAS SOPS 602404 HAS SOUS 167482 HAS SOUPS 167482 WITH SCORE 168084.404
AT ITER 4218 NEW BEST:: SOT 641862 SOS 602328 HAS SOPS 602328 HAS SOUS 167330 HAS SOUPS 167330 WITH SCORE 167932.328
AT ITER 4219 NEW BEST:: SOT 641862 SOS 602328 HAS SOPS 602328 HAS SOUS 167174 HAS SOUPS 167174 WITH SCORE 167776.328
AT ITER 4222 NEW BEST:: SOT 641742 SOS 602208 HAS SOPS 602208 HAS SOUS 166934 HAS SOUPS 166934 WITH SCORE 167536.208
AT ITER 4237 NEW BEST:: SOT 641728 SOS 602194 HAS SOPS 602194 HAS SOUS 166906 HAS SOUPS 166906 WITH SCORE 167508.194
AT ITER 4241 NEW BEST:: SOT 641680 SOS 602146 HAS SOPS 602146 HAS SOUS 166810 HAS SOUPS 166810 WITH SCORE 167412.146
AT ITER 4252 NEW BEST:: SOT 641594 SOS 602060 HAS SOPS 602060 HAS SOUS 166638 HAS SOUPS 166638 WITH SCORE 167240.06
AT ITER 4265 NEW BEST:: SOT 641518 SOS 601984 HAS SOPS 601984 HAS SOUS 166486 HAS SOUPS 166486 WITH SCORE 167087.984
AT ITER 4276 NEW BEST:: SOT 641518 SOS 601984 HAS SOPS 601984 HAS SOUS 166408 HAS SOUPS 166408 WITH SCORE 167009.984
AT ITER 4291 NEW BEST:: SOT 641172 SOS 601638 HAS SOPS 601638 HAS SOUS 165716 HAS SOUPS 165716 WITH SCORE 166317.638
AT ITER 4300 NEW BEST:: SOT 641098 SOS 601564 HAS SOPS 601564 HAS SOUS 165568 HAS SOUPS 165568 WITH SCORE 166169.564
AT ITER 4301 NEW BEST:: SOT 640954 SOS 601420 HAS SOPS 601420 HAS SOUS 165280 HAS SOUPS 165280 WITH SCORE 165881.42
AT ITER 4306 NEW BEST:: SOT 640696 SOS 601162 HAS SOPS 601162 HAS SOUS 164764 HAS SOUPS 164764 WITH SCORE 165365.162
AT ITER 4308 NEW BEST:: SOT 640582 SOS 601048 HAS SOPS 601048 HAS SOUS 164536 HAS SOUPS 164536 WITH SCORE 165137.048
AT ITER 4311 NEW BEST:: SOT 640302 SOS 600768 HAS SOPS 600768 HAS SOUS 163918 HAS SOUPS 163918 WITH SCORE 164518.768
AT ITER 4313 NEW BEST:: SOT 640254 SOS 600720 HAS SOPS 600720 HAS SOUS 163822 HAS SOUPS 163822 WITH SCORE 164422.72
AT ITER 4329 NEW BEST:: SOT 640254 SOS 600904 HAS SOPS 600904 HAS SOUS 163682 HAS SOUPS 163682 WITH SCORE 164282.904
AT ITER 4332 NEW BEST:: SOT 640226 SOS 600876 HAS SOPS 600876 HAS SOUS 163486 HAS SOUPS 163486 WITH SCORE 164086.876
AT ITER 4340 NEW BEST:: SOT 640174 SOS 600824 HAS SOPS 600824 HAS SOUS 163382 HAS SOUPS 163382 WITH SCORE 163982.824
AT ITER 4342 NEW BEST:: SOT 640128 SOS 600778 HAS SOPS 600778 HAS SOUS 163290 HAS SOUPS 163290 WITH SCORE 163890.778
AT ITER 4381 NEW BEST:: SOT 639924 SOS 600700 HAS SOPS 600700 HAS SOUS 163212 HAS SOUPS 163212 WITH SCORE 163812.7
AT ITER 4387 NEW BEST:: SOT 639924 SOS 600700 HAS SOPS 600700 HAS SOUS 163184 HAS SOUPS 163184 WITH SCORE 163784.7
AT ITER 4400 NEW BEST:: SOT 639734 SOS 600510 HAS SOPS 600510 HAS SOUS 162804 HAS SOUPS 162804 WITH SCORE 163404.51
AT ITER 4407 NEW BEST:: SOT 639672 SOS 600448 HAS SOPS 600448 HAS SOUS 162680 HAS SOUPS 162680 WITH SCORE 163280.448
AT ITER 4415 NEW BEST:: SOT 639576 SOS 600352 HAS SOPS 600352 HAS SOUS 162488 HAS SOUPS 162488 WITH SCORE 163088.352
AT ITER 4423 NEW BEST:: SOT 639534 SOS 600310 HAS SOPS 600310 HAS SOUS 162404 HAS SOUPS 162404 WITH SCORE 163004.31
AT ITER 4451 NEW BEST:: SOT 639514 SOS 600290 HAS SOPS 600290 HAS SOUS 162364 HAS SOUPS 162364 WITH SCORE 162964.29
AT ITER 4454 NEW BEST:: SOT 639514 SOS 600290 HAS SOPS 600290 HAS SOUS 162224 HAS SOUPS 162224 WITH SCORE 162824.29
AT ITER 4476 NEW BEST:: SOT 639448 SOS 600224 HAS SOPS 600224 HAS SOUS 162092 HAS SOUPS 162092 WITH SCORE 162692.224
AT ITER 4492 NEW BEST:: SOT 639448 SOS 600224 HAS SOPS 600224 HAS SOUS 162026 HAS SOUPS 162026 WITH SCORE 162626.224
AT ITER 4495 NEW BEST:: SOT 639438 SOS 600214 HAS SOPS 600214 HAS SOUS 162006 HAS SOUPS 162006 WITH SCORE 162606.214
AT ITER 4502 NEW BEST:: SOT 639438 SOS 600214 HAS SOPS 600214 HAS SOUS 161876 HAS SOUPS 161876 WITH SCORE 162476.214
AT ITER 4538 NEW BEST:: SOT 639398 SOS 600174 HAS SOPS 600174 HAS SOUS 161796 HAS SOUPS 161796 WITH SCORE 162396.174
AT ITER 4559 NEW BEST:: SOT 639398 SOS 600174 HAS SOPS 600174 HAS SOUS 161608 HAS SOUPS 161608 WITH SCORE 162208.174
AT ITER 4572 NEW BEST:: SOT 639354 SOS 600130 HAS SOPS 600130 HAS SOUS 161520 HAS SOUPS 161520 WITH SCORE 162120.13
AT ITER 4573 NEW BEST:: SOT 639354 SOS 600130 HAS SOPS 600130 HAS SOUS 161450 HAS SOUPS 161450 WITH SCORE 162050.13
AT ITER 4595 NEW BEST:: SOT 639274 SOS 600050 HAS SOPS 600050 HAS SOUS 161290 HAS SOUPS 161290 WITH SCORE 161890.05
AT ITER 4596 NEW BEST:: SOT 639274 SOS 600050 HAS SOPS 600050 HAS SOUS 161234 HAS SOUPS 161234 WITH SCORE 161834.05
AT ITER 4611 NEW BEST:: SOT 639160 SOS 599936 HAS SOPS 599936 HAS SOUS 161006 HAS SOUPS 161006 WITH SCORE 161605.936
AT ITER 4620 NEW BEST:: SOT 639064 SOS 599840 HAS SOPS 599840 HAS SOUS 160814 HAS SOUPS 160814 WITH SCORE 161413.84
AT ITER 4631 NEW BEST:: SOT 639064 SOS 599840 HAS SOPS 599840 HAS SOUS 160750 HAS SOUPS 160750 WITH SCORE 161349.84
AT ITER 4640 NEW BEST:: SOT 638996 SOS 599772 HAS SOPS 599772 HAS SOUS 160614 HAS SOUPS 160614 WITH SCORE 161213.772
AT ITER 4656 NEW BEST:: SOT 638996 SOS 599798 HAS SOPS 599798 HAS SOUS 160594 HAS SOUPS 160594 WITH SCORE 161193.798
AT ITER 4662 NEW BEST:: SOT 638902 SOS 599704 HAS SOPS 599704 HAS SOUS 160406 HAS SOUPS 160406 WITH SCORE 161005.704
AT ITER 4672 NEW BEST:: SOT 638900 SOS 599702 HAS SOPS 599702 HAS SOUS 160374 HAS SOUPS 160374 WITH SCORE 160973.702
AT ITER 4677 NEW BEST:: SOT 638706 SOS 599508 HAS SOPS 599508 HAS SOUS 159986 HAS SOUPS 159986 WITH SCORE 160585.508
AT ITER 4699 NEW BEST:: SOT 638690 SOS 599492 HAS SOPS 599492 HAS SOUS 159954 HAS SOUPS 159954 WITH SCORE 160553.492
AT ITER 4700 NEW BEST:: SOT 638634 SOS 599436 HAS SOPS 599436 HAS SOUS 159842 HAS SOUPS 159842 WITH SCORE 160441.436
AT ITER 4716 NEW BEST:: SOT 638634 SOS 599436 HAS SOPS 599436 HAS SOUS 159730 HAS SOUPS 159730 WITH SCORE 160329.436
AT ITER 4751 NEW BEST:: SOT 638570 SOS 599372 HAS SOPS 599372 HAS SOUS 159602 HAS SOUPS 159602 WITH SCORE 160201.372
AT ITER 4763 NEW BEST:: SOT 638550 SOS 599352 HAS SOPS 599352 HAS SOUS 159562 HAS SOUPS 159562 WITH SCORE 160161.352
AT ITER 4794 NEW BEST:: SOT 638536 SOS 599338 HAS SOPS 599338 HAS SOUS 159534 HAS SOUPS 159534 WITH SCORE 160133.338
AT ITER 4815 NEW BEST:: SOT 638536 SOS 599338 HAS SOPS 599338 HAS SOUS 159506 HAS SOUPS 159506 WITH SCORE 160105.338
AT ITER 4827 NEW BEST:: SOT 638536 SOS 599338 HAS SOPS 599338 HAS SOUS 159230 HAS SOUPS 159230 WITH SCORE 159829.338
AT ITER 4829 NEW BEST:: SOT 638536 SOS 599338 HAS SOPS 599338 HAS SOUS 158982 HAS SOUPS 158982 WITH SCORE 159581.338
AT ITER 4831 NEW BEST:: SOT 638536 SOS 599338 HAS SOPS 599338 HAS SOUS 158856 HAS SOUPS 158856 WITH SCORE 159455.338
AT ITER 4832 NEW BEST:: SOT 638514 SOS 599316 HAS SOPS 599316 HAS SOUS 158812 HAS SOUPS 158812 WITH SCORE 159411.316
AT ITER 4838 NEW BEST:: SOT 638446 SOS 599248 HAS SOPS 599248 HAS SOUS 158676 HAS SOUPS 158676 WITH SCORE 159275.248
AT ITER 4894 NEW BEST:: SOT 638398 SOS 599200 HAS SOPS 599200 HAS SOUS 158628 HAS SOUPS 158628 WITH SCORE 159227.2
AT ITER 4914 NEW BEST:: SOT 638396 SOS 599198 HAS SOPS 599198 HAS SOUS 158626 HAS SOUPS 158626 WITH SCORE 159225.198
AT ITER 4929 NEW BEST:: SOT 638396 SOS 599198 HAS SOPS 599198 HAS SOUS 158598 HAS SOUPS 158598 WITH SCORE 159197.198
AT ITER 4930 NEW BEST:: SOT 638202 SOS 599004 HAS SOPS 599004 HAS SOUS 158210 HAS SOUPS 158210 WITH SCORE 158809.004
AT ITER 4937 NEW BEST:: SOT 638140 SOS 598942 HAS SOPS 598942 HAS SOUS 158086 HAS SOUPS 158086 WITH SCORE 158684.942
AT ITER 4943 NEW BEST:: SOT 638134 SOS 598936 HAS SOPS 598936 HAS SOUS 158074 HAS SOUPS 158074 WITH SCORE 158672.936
AT ITER 4953 NEW BEST:: SOT 638134 SOS 598936 HAS SOPS 598936 HAS SOUS 157982 HAS SOUPS 157982 WITH SCORE 158580.936
AT ITER 4966 NEW BEST:: SOT 637822 SOS 598624 HAS SOPS 598624 HAS SOUS 157358 HAS SOUPS 157358 WITH SCORE 157956.624
AT ITER 4981 NEW BEST:: SOT 637554 SOS 598380 HAS SOPS 598380 HAS SOUS 157066 HAS SOUPS 157066 WITH SCORE 157664.38
AT ITER 4991 NEW BEST:: SOT 637228 SOS 598054 HAS SOPS 598054 HAS SOUS 156414 HAS SOUPS 156414 WITH SCORE 157012.054
Bounds file is: CTLFireability.xml
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-00 (AF( ( ((potential((tk(P668)>=1)))) & (EU( ((potential((tk(P594)>=1)))) , ((potential((tk(P767)>=1)))) )) )))
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-01 ( (AU( (EG( ((potential((tk(P12)>=1)))))) , (EG( ((potential((tk(P561)>=1)))))) )) & ( (EG( (EG( ((potential((tk(P706)>=1)))))))) | ( (EX( (! ((potential((tk(P551)>=1))))))) & (AF( (! ((potential((tk(P318)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1))))))) ) ) )
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-02 ( ( ( (AG( ((potential((tk(P777)>=1)))))) | ( (AG( ((potential((tk(P268)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))))) | ( ( ((potential((tk(P595)>=1)))) | ((potential((tk(P188)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) ) | (! ((potential((tk(P860)>=1))))) ) ) ) & (AG( (EX( ((potential((tk(P937)>=1)))))))) ) & (EG( ((potential((tk(P752)>=1)))))) )
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-03 ( ((potential((tk(P1019)>=1)))) | (! ( (! (EG( ((potential((tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1) & (tk(P732)>=1))))))) | ( ( ( ((potential((tk(P209)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) | ((potential((tk(P344)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) ) & (! ((potential((tk(P40)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1))))) ) & (! (! ((potential((tk(P69)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))))) ) )) )
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-04 (AG( ( (AG( ((potential((tk(P669)>=1)))))) & ( (EF( ((potential((tk(P346)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))))) | ( (! ((potential((tk(P603)>=1))))) | ( ((potential((tk(P169)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) & ((potential((tk(P388)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) ) ) ) )))
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-05 ((potential((tk(P746)>=1))))
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-06 (! (! (AF( ((potential((tk(P979)>=1))))))))
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-07 ( ( (! (EG( (! ((potential((tk(P962)>=1)))))))) | (AX( ((potential((tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1) & (tk(P710)>=1)))))) ) & (AF( ((potential((tk(P482)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))))) )
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-08 ( ((potential((tk(P8)>=1)))) | (EG( (EG( (! ((potential((tk(P664)>=1))))))))) )
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-09 ( ( (AG( (EX( ((potential((tk(P885)>=1)))))))) | ((potential((tk(P701)>=1)))) ) & ((potential((tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1) & (tk(P643)>=1)))) )
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-10 (AX( (! (! ((potential((tk(P506)>=1) & (tk(P587)>=1))))))))
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-11 (! (! ( ( (AG( ((potential((tk(P225)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))))) & (AF( ((potential((tk(P580)>=1)))))) ) | (! (! ( ((potential((tk(P80)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) & ((potential((tk(P123)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) ))) )))
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-12 ( (! (EF( (! ((potential((tk(P620)>=1)))))))) & (EU( (EG( ((potential((tk(P297)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))))) , (AG( ((potential((tk(P381)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))))) )) )
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-13 (EF( ( ((potential((tk(P937)>=1)))) & (EG( ( ((potential((tk(P537)>=1)))) & ((potential((tk(P258)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) ))) )))
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-14 ( ( ( (EF( ( ((potential((tk(P336)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) | ((potential((tk(P367)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) ))) & (! (! ( ((potential((tk(P149)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) | ((potential((tk(P378)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) ))) ) | ((potential((tk(P75)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) ) & ( (! (! (! ((potential((tk(P681)>=1))))))) | (AX( ( ((potential((tk(P265)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) | ( ((potential((tk(P265)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) & ((potential((tk(P804)>=1)))) ) ))) ) )
PROPERTY: RwMutex-PT-r0010w0500-CTLFireability-15 (EU( (EF( ( ((potential((tk(P922)>=1)))) | ((potential((tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1) & (tk(P898)>=1)))) ))) , (AG( ( ((potential((tk(P889)>=1)))) & ((potential((tk(P223)>=1) & (tk(P502)>=1) & (tk(P503)>=1) & (tk(P504)>=1) & (tk(P505)>=1) & (tk(P506)>=1) & (tk(P507)>=1) & (tk(P508)>=1) & (tk(P509)>=1) & (tk(P511)>=1) & (tk(P512)>=1)))) ))) ))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RwMutex-PT-r0010w0500, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r153-oct2-158972910000276"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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