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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 3.6K Apr 12 12:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 12:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 11 13:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 11 13:10 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.6K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 17:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 17:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 9 23:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 9 23:43 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 977K 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-r0500w0010-CTLFireability-00
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-01
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-02
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-03
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-04
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-05
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-06
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-07
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-08
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-09
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-10
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-11
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-12
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-13
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-14
FORMULA_NAME RwMutex-PT-r0500w0010-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589744155067

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0500w0010
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: 1520 places, 1020 transitions, 13040 arcs.
AT ITER 0 NEW BEST:: SOT 1298864 SOS 1038256 HAS SOPS 1038256 HAS SOUS 1038256 HAS SOUPS 1038256 WITH SCORE 1039294.256
AT ITER 1 NEW BEST:: SOT 1297822 SOS 1037620 HAS SOPS 1037620 HAS SOUS 1037620 HAS SOUPS 1037620 WITH SCORE 1038657.62
AT ITER 2 NEW BEST:: SOT 1297330 SOS 1037128 HAS SOPS 1037128 HAS SOUS 1037128 HAS SOUPS 1037128 WITH SCORE 1038165.128
AT ITER 3 NEW BEST:: SOT 1296288 SOS 1035820 HAS SOPS 1035820 HAS SOUS 1034936 HAS SOUPS 1034936 WITH SCORE 1035971.82
AT ITER 7 NEW BEST:: SOT 1296288 SOS 1035346 HAS SOPS 1035346 HAS SOUS 1034462 HAS SOUPS 1034462 WITH SCORE 1035497.346
AT ITER 8 NEW BEST:: SOT 1296288 SOS 1034528 HAS SOPS 1034528 HAS SOUS 1033644 HAS SOUPS 1033644 WITH SCORE 1034678.528
AT ITER 10 NEW BEST:: SOT 1295678 SOS 1033918 HAS SOPS 1033918 HAS SOUS 1033034 HAS SOUPS 1033034 WITH SCORE 1034067.918
AT ITER 11 NEW BEST:: SOT 1295264 SOS 1033504 HAS SOPS 1033504 HAS SOUS 1032620 HAS SOUPS 1032620 WITH SCORE 1033653.504
AT ITER 12 NEW BEST:: SOT 1294422 SOS 1031000 HAS SOPS 1031000 HAS SOUS 1030478 HAS SOUPS 1030478 WITH SCORE 1031509.0
AT ITER 14 NEW BEST:: SOT 1294422 SOS 1030188 HAS SOPS 1030188 HAS SOUS 1029666 HAS SOUPS 1029666 WITH SCORE 1030696.188
AT ITER 15 NEW BEST:: SOT 1294422 SOS 1029520 HAS SOPS 1029520 HAS SOUS 1028998 HAS SOUPS 1028998 WITH SCORE 1030027.52
AT ITER 16 NEW BEST:: SOT 1294422 SOS 1030220 HAS SOPS 1030220 HAS SOUS 1028198 HAS SOUPS 1028198 WITH SCORE 1029228.22
AT ITER 17 NEW BEST:: SOT 1293896 SOS 1029694 HAS SOPS 1029694 HAS SOUS 1027672 HAS SOUPS 1027672 WITH SCORE 1028701.694
AT ITER 19 NEW BEST:: SOT 1293500 SOS 1029298 HAS SOPS 1029298 HAS SOUS 1027276 HAS SOUPS 1027276 WITH SCORE 1028305.298
AT ITER 20 NEW BEST:: SOT 1293500 SOS 1028642 HAS SOPS 1028642 HAS SOUS 1026620 HAS SOUPS 1026620 WITH SCORE 1027648.642
AT ITER 25 NEW BEST:: SOT 1292656 SOS 1026934 HAS SOPS 1026934 HAS SOUS 1024912 HAS SOUPS 1024912 WITH SCORE 1025938.934
AT ITER 26 NEW BEST:: SOT 1292656 SOS 1026718 HAS SOPS 1026718 HAS SOUS 1024696 HAS SOUPS 1024696 WITH SCORE 1025722.718
AT ITER 27 NEW BEST:: SOT 1292656 SOS 1025962 HAS SOPS 1025962 HAS SOUS 1023940 HAS SOUPS 1023940 WITH SCORE 1024965.962
AT ITER 28 NEW BEST:: SOT 1291656 SOS 1024962 HAS SOPS 1024962 HAS SOUS 1022940 HAS SOUPS 1022940 WITH SCORE 1023964.962
AT ITER 29 NEW BEST:: SOT 1291048 SOS 1024354 HAS SOPS 1024354 HAS SOUS 1022332 HAS SOUPS 1022332 WITH SCORE 1023356.354
AT ITER 31 NEW BEST:: SOT 1290690 SOS 1023140 HAS SOPS 1023140 HAS SOUS 1021118 HAS SOUPS 1021118 WITH SCORE 1022141.14
AT ITER 32 NEW BEST:: SOT 1289928 SOS 1021828 HAS SOPS 1021828 HAS SOUS 1019806 HAS SOUPS 1019806 WITH SCORE 1020827.828
AT ITER 33 NEW BEST:: SOT 1289232 SOS 1021132 HAS SOPS 1021132 HAS SOUS 1019110 HAS SOUPS 1019110 WITH SCORE 1020131.132
AT ITER 34 NEW BEST:: SOT 1288690 SOS 1020590 HAS SOPS 1020590 HAS SOUS 1018568 HAS SOUPS 1018568 WITH SCORE 1019588.59
AT ITER 38 NEW BEST:: SOT 1288690 SOS 1020024 HAS SOPS 1020024 HAS SOUS 1018002 HAS SOUPS 1018002 WITH SCORE 1019022.024
AT ITER 39 NEW BEST:: SOT 1287770 SOS 1019104 HAS SOPS 1019104 HAS SOUS 1017082 HAS SOUPS 1017082 WITH SCORE 1018101.104
AT ITER 41 NEW BEST:: SOT 1286916 SOS 1018250 HAS SOPS 1018250 HAS SOUS 1016228 HAS SOUPS 1016228 WITH SCORE 1017246.25
AT ITER 43 NEW BEST:: SOT 1286916 SOS 1017400 HAS SOPS 1017400 HAS SOUS 1015378 HAS SOUPS 1015378 WITH SCORE 1016395.4
AT ITER 44 NEW BEST:: SOT 1285874 SOS 1015554 HAS SOPS 1015554 HAS SOUS 1013532 HAS SOUPS 1013532 WITH SCORE 1014547.554
AT ITER 45 NEW BEST:: SOT 1285874 SOS 1015122 HAS SOPS 1015122 HAS SOUS 1013100 HAS SOUPS 1013100 WITH SCORE 1014115.122
AT ITER 46 NEW BEST:: SOT 1285874 SOS 1014644 HAS SOPS 1014644 HAS SOUS 1012622 HAS SOUPS 1012622 WITH SCORE 1013636.644
AT ITER 47 NEW BEST:: SOT 1285048 SOS 1013022 HAS SOPS 1013022 HAS SOUS 1011000 HAS SOUPS 1011000 WITH SCORE 1012013.022
AT ITER 48 NEW BEST:: SOT 1285048 SOS 1012170 HAS SOPS 1012170 HAS SOUS 1010148 HAS SOUPS 1010148 WITH SCORE 1011160.17
AT ITER 49 NEW BEST:: SOT 1285048 SOS 1011342 HAS SOPS 1011342 HAS SOUS 1009320 HAS SOUPS 1009320 WITH SCORE 1010331.342
AT ITER 50 NEW BEST:: SOT 1284010 SOS 1010304 HAS SOPS 1010304 HAS SOUS 1008282 HAS SOUPS 1008282 WITH SCORE 1009292.304
AT ITER 51 NEW BEST:: SOT 1283978 SOS 1010022 HAS SOPS 1010022 HAS SOUS 1008000 HAS SOUPS 1008000 WITH SCORE 1009010.022
AT ITER 52 NEW BEST:: SOT 1283050 SOS 1009094 HAS SOPS 1009094 HAS SOUS 1007072 HAS SOUPS 1007072 WITH SCORE 1008081.094
AT ITER 53 NEW BEST:: SOT 1282150 SOS 1008194 HAS SOPS 1008194 HAS SOUS 1006172 HAS SOUPS 1006172 WITH SCORE 1007180.194
AT ITER 54 NEW BEST:: SOT 1281558 SOS 1007602 HAS SOPS 1007602 HAS SOUS 1005580 HAS SOUPS 1005580 WITH SCORE 1006587.602
AT ITER 55 NEW BEST:: SOT 1280516 SOS 1006560 HAS SOPS 1006560 HAS SOUS 1002680 HAS SOUPS 1002680 WITH SCORE 1003686.56
AT ITER 56 NEW BEST:: SOT 1280516 SOS 1006380 HAS SOPS 1006380 HAS SOUS 1002500 HAS SOUPS 1002500 WITH SCORE 1003506.38
AT ITER 57 NEW BEST:: SOT 1280492 SOS 1006356 HAS SOPS 1006356 HAS SOUS 1002476 HAS SOUPS 1002476 WITH SCORE 1003482.356
AT ITER 60 NEW BEST:: SOT 1279450 SOS 1004484 HAS SOPS 1004484 HAS SOUS 1000604 HAS SOUPS 1000604 WITH SCORE 1001608.484
AT ITER 61 NEW BEST:: SOT 1278850 SOS 1004374 HAS SOPS 1004374 HAS SOUS 1000494 HAS SOUPS 1000494 WITH SCORE 1001498.374
AT ITER 63 NEW BEST:: SOT 1278088 SOS 1003612 HAS SOPS 1003612 HAS SOUS 999732 HAS SOUPS 999732 WITH SCORE 1000735.612
AT ITER 64 NEW BEST:: SOT 1278088 SOS 1002870 HAS SOPS 1002870 HAS SOUS 998990 HAS SOUPS 998990 WITH SCORE 999992.87
AT ITER 65 NEW BEST:: SOT 1277146 SOS 1001928 HAS SOPS 1001928 HAS SOUS 998048 HAS SOUPS 998048 WITH SCORE 999049.928
AT ITER 68 NEW BEST:: SOT 1277146 SOS 1001140 HAS SOPS 1001140 HAS SOUS 997260 HAS SOUPS 997260 WITH SCORE 998261.14
AT ITER 69 NEW BEST:: SOT 1276104 SOS 998734 HAS SOPS 998734 HAS SOUS 994854 HAS SOUPS 994854 WITH SCORE 995852.734
AT ITER 74 NEW BEST:: SOT 1275406 SOS 997568 HAS SOPS 997568 HAS SOUS 993688 HAS SOUPS 993688 WITH SCORE 994685.568
AT ITER 75 NEW BEST:: SOT 1274626 SOS 996788 HAS SOPS 996788 HAS SOUS 992908 HAS SOUPS 992908 WITH SCORE 993904.788
AT ITER 76 NEW BEST:: SOT 1274626 SOS 996080 HAS SOPS 996080 HAS SOUS 992200 HAS SOUPS 992200 WITH SCORE 993196.08
AT ITER 77 NEW BEST:: SOT 1274626 SOS 995254 HAS SOPS 995254 HAS SOUS 991374 HAS SOUPS 991374 WITH SCORE 992369.254
AT ITER 78 NEW BEST:: SOT 1274626 SOS 995126 HAS SOPS 995126 HAS SOUS 991246 HAS SOUPS 991246 WITH SCORE 992241.126
AT ITER 81 NEW BEST:: SOT 1273706 SOS 994206 HAS SOPS 994206 HAS SOUS 990326 HAS SOUPS 990326 WITH SCORE 991320.206
AT ITER 83 NEW BEST:: SOT 1273706 SOS 993452 HAS SOPS 993452 HAS SOUS 989572 HAS SOUPS 989572 WITH SCORE 990565.452
AT ITER 84 NEW BEST:: SOT 1273706 SOS 993212 HAS SOPS 993212 HAS SOUS 989332 HAS SOUPS 989332 WITH SCORE 990325.212
AT ITER 85 NEW BEST:: SOT 1273706 SOS 992540 HAS SOPS 992540 HAS SOUS 988660 HAS SOUPS 988660 WITH SCORE 989652.54
AT ITER 86 NEW BEST:: SOT 1273706 SOS 991932 HAS SOPS 991932 HAS SOUS 988052 HAS SOUPS 988052 WITH SCORE 989043.932
AT ITER 87 NEW BEST:: SOT 1272806 SOS 990344 HAS SOPS 990344 HAS SOUS 986464 HAS SOUPS 986464 WITH SCORE 987454.344
AT ITER 88 NEW BEST:: SOT 1271888 SOS 989426 HAS SOPS 989426 HAS SOUS 985546 HAS SOUPS 985546 WITH SCORE 986535.426
AT ITER 89 NEW BEST:: SOT 1271032 SOS 988570 HAS SOPS 988570 HAS SOUS 984690 HAS SOUPS 984690 WITH SCORE 985678.57
AT ITER 90 NEW BEST:: SOT 1270318 SOS 987354 HAS SOPS 987354 HAS SOUS 983474 HAS SOUPS 983474 WITH SCORE 984461.354
AT ITER 91 NEW BEST:: SOT 1270026 SOS 987030 HAS SOPS 987030 HAS SOUS 983150 HAS SOUPS 983150 WITH SCORE 984137.03
AT ITER 93 NEW BEST:: SOT 1270026 SOS 986206 HAS SOPS 986206 HAS SOUS 982326 HAS SOUPS 982326 WITH SCORE 983312.206
AT ITER 97 NEW BEST:: SOT 1269136 SOS 985316 HAS SOPS 985316 HAS SOUS 981436 HAS SOUPS 981436 WITH SCORE 982421.316
AT ITER 99 NEW BEST:: SOT 1268204 SOS 984384 HAS SOPS 984384 HAS SOUS 980504 HAS SOUPS 980504 WITH SCORE 981488.384
AT ITER 103 NEW BEST:: SOT 1267818 SOS 983998 HAS SOPS 983998 HAS SOUS 980118 HAS SOUPS 980118 WITH SCORE 981101.998
AT ITER 104 NEW BEST:: SOT 1267110 SOS 983290 HAS SOPS 983290 HAS SOUS 979410 HAS SOUPS 979410 WITH SCORE 980393.29
AT ITER 105 NEW BEST:: SOT 1266180 SOS 982360 HAS SOPS 982360 HAS SOUS 978480 HAS SOUPS 978480 WITH SCORE 979462.36
AT ITER 106 NEW BEST:: SOT 1266180 SOS 981814 HAS SOPS 981814 HAS SOUS 977934 HAS SOUPS 977934 WITH SCORE 978915.814
AT ITER 107 NEW BEST:: SOT 1265960 SOS 981114 HAS SOPS 981114 HAS SOUS 977234 HAS SOUPS 977234 WITH SCORE 978215.114
AT ITER 108 NEW BEST:: SOT 1265016 SOS 980170 HAS SOPS 980170 HAS SOUS 976290 HAS SOUPS 976290 WITH SCORE 977270.17
AT ITER 109 NEW BEST:: SOT 1264414 SOS 979568 HAS SOPS 979568 HAS SOUS 975688 HAS SOUPS 975688 WITH SCORE 976667.568
AT ITER 110 NEW BEST:: SOT 1264414 SOS 979004 HAS SOPS 979004 HAS SOUS 975124 HAS SOUPS 975124 WITH SCORE 976103.004
AT ITER 112 NEW BEST:: SOT 1263372 SOS 977122 HAS SOPS 977122 HAS SOUS 973242 HAS SOUPS 973242 WITH SCORE 974219.122
AT ITER 114 NEW BEST:: SOT 1263372 SOS 976290 HAS SOPS 976290 HAS SOUS 972410 HAS SOUPS 972410 WITH SCORE 973386.29
AT ITER 115 NEW BEST:: SOT 1263348 SOS 976266 HAS SOPS 976266 HAS SOUS 972386 HAS SOUPS 972386 WITH SCORE 973362.266
AT ITER 117 NEW BEST:: SOT 1262454 SOS 974724 HAS SOPS 974724 HAS SOUS 970844 HAS SOUPS 970844 WITH SCORE 971818.724
AT ITER 118 NEW BEST:: SOT 1261412 SOS 972576 HAS SOPS 972576 HAS SOUS 968738 HAS SOUPS 968738 WITH SCORE 969710.576
AT ITER 120 NEW BEST:: SOT 1260370 SOS 969968 HAS SOPS 969968 HAS SOUS 966130 HAS SOUPS 966130 WITH SCORE 967099.968
AT ITER 121 NEW BEST:: SOT 1260778 SOS 969886 HAS SOPS 969886 HAS SOUS 966048 HAS SOUPS 966048 WITH SCORE 967017.886
AT ITER 122 NEW BEST:: SOT 1260778 SOS 969342 HAS SOPS 969342 HAS SOUS 965504 HAS SOUPS 965504 WITH SCORE 966473.342
AT ITER 124 NEW BEST:: SOT 1259908 SOS 967814 HAS SOPS 967814 HAS SOUS 963976 HAS SOUPS 963976 WITH SCORE 964943.814
AT ITER 128 NEW BEST:: SOT 1259138 SOS 967044 HAS SOPS 967044 HAS SOUS 963206 HAS SOUPS 963206 WITH SCORE 964173.044
AT ITER 130 NEW BEST:: SOT 1259138 SOS 966392 HAS SOPS 966392 HAS SOUS 962554 HAS SOUPS 962554 WITH SCORE 963520.392
AT ITER 131 NEW BEST:: SOT 1259138 SOS 965838 HAS SOPS 965838 HAS SOUS 962000 HAS SOUPS 962000 WITH SCORE 962965.838
AT ITER 132 NEW BEST:: SOT 1259138 SOS 965444 HAS SOPS 965444 HAS SOUS 961606 HAS SOUPS 961606 WITH SCORE 962571.444
AT ITER 134 NEW BEST:: SOT 1258464 SOS 964770 HAS SOPS 964770 HAS SOUS 960932 HAS SOUPS 960932 WITH SCORE 961896.77
AT ITER 135 NEW BEST:: SOT 1258464 SOS 964760 HAS SOPS 964760 HAS SOUS 960922 HAS SOUPS 960922 WITH SCORE 961886.76
AT ITER 137 NEW BEST:: SOT 1257638 SOS 963794 HAS SOPS 963794 HAS SOUS 959956 HAS SOUPS 959956 WITH SCORE 960919.794
AT ITER 138 NEW BEST:: SOT 1257638 SOS 962840 HAS SOPS 962840 HAS SOUS 959002 HAS SOUPS 959002 WITH SCORE 959964.84
AT ITER 140 NEW BEST:: SOT 1257792 SOS 962698 HAS SOPS 962698 HAS SOUS 958860 HAS SOUPS 958860 WITH SCORE 959822.698
AT ITER 141 NEW BEST:: SOT 1257792 SOS 962606 HAS SOPS 962606 HAS SOUS 958768 HAS SOUPS 958768 WITH SCORE 959730.606
AT ITER 142 NEW BEST:: SOT 1257792 SOS 962256 HAS SOPS 962256 HAS SOUS 958418 HAS SOUPS 958418 WITH SCORE 959380.256
AT ITER 146 NEW BEST:: SOT 1257792 SOS 961690 HAS SOPS 961690 HAS SOUS 957852 HAS SOUPS 957852 WITH SCORE 958813.69
AT ITER 147 NEW BEST:: SOT 1257792 SOS 961548 HAS SOPS 961548 HAS SOUS 957710 HAS SOUPS 957710 WITH SCORE 958671.548
AT ITER 148 NEW BEST:: SOT 1257792 SOS 961072 HAS SOPS 961072 HAS SOUS 957234 HAS SOUPS 957234 WITH SCORE 958195.072
AT ITER 149 NEW BEST:: SOT 1257792 SOS 960218 HAS SOPS 960218 HAS SOUS 956380 HAS SOUPS 956380 WITH SCORE 957340.218
AT ITER 150 NEW BEST:: SOT 1257250 SOS 959866 HAS SOPS 959866 HAS SOUS 956028 HAS SOUPS 956028 WITH SCORE 956987.866
AT ITER 151 NEW BEST:: SOT 1256208 SOS 958042 HAS SOPS 958042 HAS SOUS 954204 HAS SOUPS 954204 WITH SCORE 955162.042
AT ITER 152 NEW BEST:: SOT 1256174 SOS 958008 HAS SOPS 958008 HAS SOUS 954170 HAS SOUPS 954170 WITH SCORE 955128.008
AT ITER 153 NEW BEST:: SOT 1255132 SOS 956144 HAS SOPS 956144 HAS SOUS 952306 HAS SOUPS 952306 WITH SCORE 953262.144
AT ITER 156 NEW BEST:: SOT 1254538 SOS 955764 HAS SOPS 955764 HAS SOUS 951926 HAS SOUPS 951926 WITH SCORE 952881.764
AT ITER 157 NEW BEST:: SOT 1253794 SOS 954226 HAS SOPS 954226 HAS SOUS 950388 HAS SOUPS 950388 WITH SCORE 951342.226
AT ITER 158 NEW BEST:: SOT 1253794 SOS 954094 HAS SOPS 954094 HAS SOUS 950256 HAS SOUPS 950256 WITH SCORE 951210.094
AT ITER 160 NEW BEST:: SOT 1253794 SOS 953594 HAS SOPS 953594 HAS SOUS 949756 HAS SOUPS 949756 WITH SCORE 950709.594
AT ITER 161 NEW BEST:: SOT 1253672 SOS 952062 HAS SOPS 952062 HAS SOUS 948224 HAS SOUPS 948224 WITH SCORE 949176.062
AT ITER 162 NEW BEST:: SOT 1253672 SOS 951484 HAS SOPS 951484 HAS SOUS 947646 HAS SOUPS 947646 WITH SCORE 948597.484
AT ITER 164 NEW BEST:: SOT 1253672 SOS 951314 HAS SOPS 951314 HAS SOUS 947476 HAS SOUPS 947476 WITH SCORE 948427.314
AT ITER 167 NEW BEST:: SOT 1252930 SOS 950572 HAS SOPS 950572 HAS SOUS 946734 HAS SOUPS 946734 WITH SCORE 947684.572
AT ITER 168 NEW BEST:: SOT 1251888 SOS 948488 HAS SOPS 948488 HAS SOUS 944650 HAS SOUPS 944650 WITH SCORE 945598.488
AT ITER 169 NEW BEST:: SOT 1250870 SOS 946636 HAS SOPS 946636 HAS SOUS 942798 HAS SOUPS 942798 WITH SCORE 943744.636
AT ITER 170 NEW BEST:: SOT 1250714 SOS 946480 HAS SOPS 946480 HAS SOUS 942642 HAS SOUPS 942642 WITH SCORE 943588.48
AT ITER 172 NEW BEST:: SOT 1249672 SOS 944176 HAS SOPS 944176 HAS SOUS 940338 HAS SOUPS 940338 WITH SCORE 941282.176
AT ITER 174 NEW BEST:: SOT 1249672 SOS 943210 HAS SOPS 943210 HAS SOUS 939372 HAS SOUPS 939372 WITH SCORE 940315.21
AT ITER 175 NEW BEST:: SOT 1249672 SOS 942954 HAS SOPS 942954 HAS SOUS 939116 HAS SOUPS 939116 WITH SCORE 940058.954
AT ITER 177 NEW BEST:: SOT 1249672 SOS 942126 HAS SOPS 942126 HAS SOUS 938288 HAS SOUPS 938288 WITH SCORE 939230.126
AT ITER 178 NEW BEST:: SOT 1249672 SOS 942122 HAS SOPS 942122 HAS SOUS 938284 HAS SOUPS 938284 WITH SCORE 939226.122
AT ITER 182 NEW BEST:: SOT 1249672 SOS 941738 HAS SOPS 941738 HAS SOUS 937900 HAS SOUPS 937900 WITH SCORE 938841.738
AT ITER 188 NEW BEST:: SOT 1249582 SOS 941648 HAS SOPS 941648 HAS SOUS 937810 HAS SOUPS 937810 WITH SCORE 938751.648
AT ITER 189 NEW BEST:: SOT 1249256 SOS 941322 HAS SOPS 941322 HAS SOUS 937484 HAS SOUPS 937484 WITH SCORE 938425.322
AT ITER 190 NEW BEST:: SOT 1249256 SOS 940664 HAS SOPS 940664 HAS SOUS 936826 HAS SOUPS 936826 WITH SCORE 937766.664
AT ITER 191 NEW BEST:: SOT 1248888 SOS 939698 HAS SOPS 939698 HAS SOUS 935860 HAS SOUPS 935860 WITH SCORE 936799.698
AT ITER 192 NEW BEST:: SOT 1248888 SOS 938488 HAS SOPS 938488 HAS SOUS 934650 HAS SOUPS 934650 WITH SCORE 935588.488
AT ITER 194 NEW BEST:: SOT 1248888 SOS 937806 HAS SOPS 937806 HAS SOUS 933968 HAS SOUPS 933968 WITH SCORE 934905.806
AT ITER 195 NEW BEST:: SOT 1248888 SOS 936986 HAS SOPS 936986 HAS SOUS 933148 HAS SOUPS 933148 WITH SCORE 934084.986
AT ITER 197 NEW BEST:: SOT 1248044 SOS 936142 HAS SOPS 936142 HAS SOUS 932304 HAS SOUPS 932304 WITH SCORE 933240.142
AT ITER 201 NEW BEST:: SOT 1247384 SOS 934668 HAS SOPS 934668 HAS SOUS 930830 HAS SOUPS 930830 WITH SCORE 931764.668
AT ITER 202 NEW BEST:: SOT 1246388 SOS 933980 HAS SOPS 933980 HAS SOUS 929584 HAS SOUPS 929584 WITH SCORE 930517.98
AT ITER 203 NEW BEST:: SOT 1246364 SOS 933160 HAS SOPS 933160 HAS SOUS 928764 HAS SOUPS 928764 WITH SCORE 929697.16
AT ITER 204 NEW BEST:: SOT 1245924 SOS 932108 HAS SOPS 932108 HAS SOUS 927712 HAS SOUPS 927712 WITH SCORE 928644.108
AT ITER 207 NEW BEST:: SOT 1245568 SOS 930898 HAS SOPS 930898 HAS SOUS 926502 HAS SOUPS 926502 WITH SCORE 927432.898
AT ITER 208 NEW BEST:: SOT 1244526 SOS 928814 HAS SOPS 928814 HAS SOUS 924418 HAS SOUPS 924418 WITH SCORE 925346.814
AT ITER 214 NEW BEST:: SOT 1243484 SOS 926580 HAS SOPS 926580 HAS SOUS 922184 HAS SOUPS 922184 WITH SCORE 923110.58
AT ITER 215 NEW BEST:: SOT 1243582 SOS 925834 HAS SOPS 925834 HAS SOUS 921438 HAS SOUPS 921438 WITH SCORE 922363.834
AT ITER 216 NEW BEST:: SOT 1242578 SOS 924830 HAS SOPS 924830 HAS SOUS 920434 HAS SOUPS 920434 WITH SCORE 921358.83
AT ITER 217 NEW BEST:: SOT 1241536 SOS 922698 HAS SOPS 922698 HAS SOUS 918302 HAS SOUPS 918302 WITH SCORE 919224.698
AT ITER 218 NEW BEST:: SOT 1241536 SOS 922012 HAS SOPS 922012 HAS SOUS 917616 HAS SOUPS 917616 WITH SCORE 918538.012
AT ITER 219 NEW BEST:: SOT 1241182 SOS 921304 HAS SOPS 921304 HAS SOUS 916908 HAS SOUPS 916908 WITH SCORE 917829.304
AT ITER 222 NEW BEST:: SOT 1241182 SOS 920718 HAS SOPS 920718 HAS SOUS 916322 HAS SOUPS 916322 WITH SCORE 917242.718
AT ITER 224 NEW BEST:: SOT 1241182 SOS 920008 HAS SOPS 920008 HAS SOUS 915612 HAS SOUPS 915612 WITH SCORE 916532.008
AT ITER 225 NEW BEST:: SOT 1239614 SOS 917648 HAS SOPS 917648 HAS SOUS 913252 HAS SOUPS 913252 WITH SCORE 914169.648
AT ITER 226 NEW BEST:: SOT 1239150 SOS 916720 HAS SOPS 916720 HAS SOUS 912324 HAS SOUPS 912324 WITH SCORE 913240.72
AT ITER 228 NEW BEST:: SOT 1238590 SOS 916160 HAS SOPS 916160 HAS SOUS 911764 HAS SOUPS 911764 WITH SCORE 912680.16
AT ITER 231 NEW BEST:: SOT 1237916 SOS 914640 HAS SOPS 914640 HAS SOUS 910244 HAS SOUPS 910244 WITH SCORE 911158.64
AT ITER 233 NEW BEST:: SOT 1237916 SOS 913814 HAS SOPS 913814 HAS SOUS 909418 HAS SOUPS 909418 WITH SCORE 910331.814
AT ITER 235 NEW BEST:: SOT 1236874 SOS 912772 HAS SOPS 912772 HAS SOUS 908376 HAS SOUPS 908376 WITH SCORE 909288.772
AT ITER 236 NEW BEST:: SOT 1236072 SOS 911970 HAS SOPS 911970 HAS SOUS 907574 HAS SOUPS 907574 WITH SCORE 908485.97
AT ITER 237 NEW BEST:: SOT 1235030 SOS 909072 HAS SOPS 909072 HAS SOUS 904676 HAS SOUPS 904676 WITH SCORE 905585.072
AT ITER 238 NEW BEST:: SOT 1234510 SOS 908382 HAS SOPS 908382 HAS SOUS 903986 HAS SOUPS 903986 WITH SCORE 904894.382
AT ITER 241 NEW BEST:: SOT 1234150 SOS 906784 HAS SOPS 906784 HAS SOUS 902388 HAS SOUPS 902388 WITH SCORE 903294.784
AT ITER 243 NEW BEST:: SOT 1233700 SOS 906334 HAS SOPS 906334 HAS SOUS 901938 HAS SOUPS 901938 WITH SCORE 902844.334
AT ITER 244 NEW BEST:: SOT 1233700 SOS 904576 HAS SOPS 904576 HAS SOUS 900180 HAS SOUPS 900180 WITH SCORE 901084.576
AT ITER 245 NEW BEST:: SOT 1232658 SOS 901868 HAS SOPS 901868 HAS SOUS 897472 HAS SOUPS 897472 WITH SCORE 898373.868
AT ITER 246 NEW BEST:: SOT 1232180 SOS 901390 HAS SOPS 901390 HAS SOUS 896994 HAS SOUPS 896994 WITH SCORE 897895.39
AT ITER 248 NEW BEST:: SOT 1232180 SOS 900670 HAS SOPS 900670 HAS SOUS 896274 HAS SOUPS 896274 WITH SCORE 897174.67
AT ITER 249 NEW BEST:: SOT 1231782 SOS 899874 HAS SOPS 899874 HAS SOUS 895478 HAS SOUPS 895478 WITH SCORE 896377.874
AT ITER 250 NEW BEST:: SOT 1231782 SOS 899534 HAS SOPS 899534 HAS SOUS 895138 HAS SOUPS 895138 WITH SCORE 896037.534
AT ITER 252 NEW BEST:: SOT 1232098 SOS 899036 HAS SOPS 899036 HAS SOUS 894640 HAS SOUPS 894640 WITH SCORE 895539.036
AT ITER 254 NEW BEST:: SOT 1232098 SOS 898888 HAS SOPS 898888 HAS SOUS 894492 HAS SOUPS 894492 WITH SCORE 895390.888
AT ITER 255 NEW BEST:: SOT 1231460 SOS 898250 HAS SOPS 898250 HAS SOUS 893854 HAS SOUPS 893854 WITH SCORE 894752.25
AT ITER 256 NEW BEST:: SOT 1230560 SOS 897350 HAS SOPS 897350 HAS SOUS 892954 HAS SOUPS 892954 WITH SCORE 893851.35
AT ITER 257 NEW BEST:: SOT 1230528 SOS 897318 HAS SOPS 897318 HAS SOUS 892922 HAS SOUPS 892922 WITH SCORE 893819.318
AT ITER 258 NEW BEST:: SOT 1229486 SOS 895492 HAS SOPS 895492 HAS SOUS 891096 HAS SOUPS 891096 WITH SCORE 891991.492
AT ITER 260 NEW BEST:: SOT 1228936 SOS 894942 HAS SOPS 894942 HAS SOUS 890546 HAS SOUPS 890546 WITH SCORE 891440.942
AT ITER 261 NEW BEST:: SOT 1228936 SOS 894104 HAS SOPS 894104 HAS SOUS 889708 HAS SOUPS 889708 WITH SCORE 890602.104
AT ITER 262 NEW BEST:: SOT 1229164 SOS 893820 HAS SOPS 893820 HAS SOUS 889424 HAS SOUPS 889424 WITH SCORE 890317.82
AT ITER 263 NEW BEST:: SOT 1227474 SOS 891344 HAS SOPS 891344 HAS SOUS 886948 HAS SOUPS 886948 WITH SCORE 887839.344
AT ITER 264 NEW BEST:: SOT 1227474 SOS 891218 HAS SOPS 891218 HAS SOUS 886822 HAS SOUPS 886822 WITH SCORE 887713.218
AT ITER 267 NEW BEST:: SOT 1226958 SOS 890702 HAS SOPS 890702 HAS SOUS 886306 HAS SOUPS 886306 WITH SCORE 887196.702
AT ITER 268 NEW BEST:: SOT 1225916 SOS 888974 HAS SOPS 888974 HAS SOUS 884578 HAS SOUPS 884578 WITH SCORE 885466.974
AT ITER 269 NEW BEST:: SOT 1226048 SOS 888534 HAS SOPS 888534 HAS SOUS 884138 HAS SOUPS 884138 WITH SCORE 885026.534
AT ITER 275 NEW BEST:: SOT 1225278 SOS 887764 HAS SOPS 887764 HAS SOUS 883368 HAS SOUPS 883368 WITH SCORE 884255.764
AT ITER 276 NEW BEST:: SOT 1225710 SOS 887728 HAS SOPS 887728 HAS SOUS 883332 HAS SOUPS 883332 WITH SCORE 884219.728
AT ITER 281 NEW BEST:: SOT 1225670 SOS 886816 HAS SOPS 886816 HAS SOUS 882420 HAS SOUPS 882420 WITH SCORE 883306.816
AT ITER 283 NEW BEST:: SOT 1225670 SOS 886004 HAS SOPS 886004 HAS SOUS 881608 HAS SOUPS 881608 WITH SCORE 882494.004
AT ITER 285 NEW BEST:: SOT 1225670 SOS 885212 HAS SOPS 885212 HAS SOUS 880816 HAS SOUPS 880816 WITH SCORE 881701.212
AT ITER 288 NEW BEST:: SOT 1225694 SOS 884032 HAS SOPS 884032 HAS SOUS 879636 HAS SOUPS 879636 WITH SCORE 880520.032
AT ITER 291 NEW BEST:: SOT 1225184 SOS 883252 HAS SOPS 883252 HAS SOUS 878856 HAS SOUPS 878856 WITH SCORE 879739.252
AT ITER 292 NEW BEST:: SOT 1224224 SOS 882292 HAS SOPS 882292 HAS SOUS 877896 HAS SOUPS 877896 WITH SCORE 878778.292
AT ITER 295 NEW BEST:: SOT 1223692 SOS 881432 HAS SOPS 881432 HAS SOUS 877036 HAS SOUPS 877036 WITH SCORE 877917.432
AT ITER 298 NEW BEST:: SOT 1223226 SOS 881124 HAS SOPS 881124 HAS SOUS 876728 HAS SOUPS 876728 WITH SCORE 877609.124
AT ITER 299 NEW BEST:: SOT 1223070 SOS 880866 HAS SOPS 880866 HAS SOUS 876470 HAS SOUPS 876470 WITH SCORE 877350.866
AT ITER 300 NEW BEST:: SOT 1221900 SOS 878926 HAS SOPS 878926 HAS SOUS 874530 HAS SOUPS 874530 WITH SCORE 875408.926
AT ITER 302 NEW BEST:: SOT 1220874 SOS 877900 HAS SOPS 877900 HAS SOUS 873504 HAS SOUPS 873504 WITH SCORE 874381.9
AT ITER 304 NEW BEST:: SOT 1220084 SOS 877110 HAS SOPS 877110 HAS SOUS 872714 HAS SOUPS 872714 WITH SCORE 873591.11
AT ITER 305 NEW BEST:: SOT 1219618 SOS 876644 HAS SOPS 876644 HAS SOUS 872248 HAS SOUPS 872248 WITH SCORE 873124.644
AT ITER 309 NEW BEST:: SOT 1216888 SOS 872146 HAS SOPS 872146 HAS SOUS 867750 HAS SOUPS 867750 WITH SCORE 868622.146
AT ITER 310 NEW BEST:: SOT 1216082 SOS 871340 HAS SOPS 871340 HAS SOUS 866944 HAS SOUPS 866944 WITH SCORE 867815.34
AT ITER 313 NEW BEST:: SOT 1216082 SOS 871094 HAS SOPS 871094 HAS SOUS 866698 HAS SOUPS 866698 WITH SCORE 867569.094
AT ITER 314 NEW BEST:: SOT 1215110 SOS 870122 HAS SOPS 870122 HAS SOUS 865726 HAS SOUPS 865726 WITH SCORE 866596.122
AT ITER 318 NEW BEST:: SOT 1215110 SOS 870042 HAS SOPS 870042 HAS SOUS 865646 HAS SOUPS 865646 WITH SCORE 866516.042
AT ITER 319 NEW BEST:: SOT 1215106 SOS 870038 HAS SOPS 870038 HAS SOUS 865642 HAS SOUPS 865642 WITH SCORE 866512.038
AT ITER 320 NEW BEST:: SOT 1214466 SOS 869936 HAS SOPS 869936 HAS SOUS 865540 HAS SOUPS 865540 WITH SCORE 866409.936
AT ITER 321 NEW BEST:: SOT 1213520 SOS 868202 HAS SOPS 868202 HAS SOUS 863806 HAS SOUPS 863806 WITH SCORE 864674.202
AT ITER 323 NEW BEST:: SOT 1212480 SOS 867162 HAS SOPS 867162 HAS SOUS 862766 HAS SOUPS 862766 WITH SCORE 863633.162
AT ITER 324 NEW BEST:: SOT 1211910 SOS 865780 HAS SOPS 865780 HAS SOUS 861384 HAS SOUPS 861384 WITH SCORE 862249.78
AT ITER 325 NEW BEST:: SOT 1211910 SOS 865336 HAS SOPS 865336 HAS SOUS 860940 HAS SOUPS 860940 WITH SCORE 861805.336
AT ITER 326 NEW BEST:: SOT 1210868 SOS 863508 HAS SOPS 863508 HAS SOUS 859112 HAS SOUPS 859112 WITH SCORE 859975.508
AT ITER 327 NEW BEST:: SOT 1210036 SOS 861708 HAS SOPS 861708 HAS SOUS 857312 HAS SOUPS 857312 WITH SCORE 858173.708
AT ITER 330 NEW BEST:: SOT 1208436 SOS 859318 HAS SOPS 859318 HAS SOUS 854922 HAS SOUPS 854922 WITH SCORE 855781.318
AT ITER 333 NEW BEST:: SOT 1206158 SOS 855554 HAS SOPS 855554 HAS SOUS 851158 HAS SOUPS 851158 WITH SCORE 852013.554
AT ITER 334 NEW BEST:: SOT 1205116 SOS 853736 HAS SOPS 853736 HAS SOUS 849340 HAS SOUPS 849340 WITH SCORE 850193.736
AT ITER 335 NEW BEST:: SOT 1205116 SOS 853690 HAS SOPS 853690 HAS SOUS 849294 HAS SOUPS 849294 WITH SCORE 850147.69
AT ITER 336 NEW BEST:: SOT 1205116 SOS 853012 HAS SOPS 853012 HAS SOUS 848616 HAS SOUPS 848616 WITH SCORE 849469.012
AT ITER 337 NEW BEST:: SOT 1205116 SOS 852198 HAS SOPS 852198 HAS SOUS 847802 HAS SOUPS 847802 WITH SCORE 848654.198
AT ITER 341 NEW BEST:: SOT 1204684 SOS 851766 HAS SOPS 851766 HAS SOUS 847370 HAS SOUPS 847370 WITH SCORE 848221.766
AT ITER 343 NEW BEST:: SOT 1204786 SOS 851162 HAS SOPS 851162 HAS SOUS 846766 HAS SOUPS 846766 WITH SCORE 847617.162
AT ITER 344 NEW BEST:: SOT 1204486 SOS 850240 HAS SOPS 850240 HAS SOUS 845844 HAS SOUPS 845844 WITH SCORE 846694.24
AT ITER 345 NEW BEST:: SOT 1203670 SOS 849612 HAS SOPS 849612 HAS SOUS 845216 HAS SOUPS 845216 WITH SCORE 846065.612
AT ITER 347 NEW BEST:: SOT 1203352 SOS 848976 HAS SOPS 848976 HAS SOUS 844580 HAS SOUPS 844580 WITH SCORE 845428.976
AT ITER 349 NEW BEST:: SOT 1203104 SOS 848728 HAS SOPS 848728 HAS SOUS 844332 HAS SOUPS 844332 WITH SCORE 845180.728
AT ITER 350 NEW BEST:: SOT 1202630 SOS 847898 HAS SOPS 847898 HAS SOUS 843500 HAS SOUPS 843500 WITH SCORE 844347.898
AT ITER 352 NEW BEST:: SOT 1202630 SOS 847432 HAS SOPS 847432 HAS SOUS 843034 HAS SOUPS 843034 WITH SCORE 843881.432
AT ITER 355 NEW BEST:: SOT 1202630 SOS 846618 HAS SOPS 846618 HAS SOUS 842220 HAS SOUPS 842220 WITH SCORE 843066.618
AT ITER 358 NEW BEST:: SOT 1201978 SOS 845314 HAS SOPS 845314 HAS SOUS 840916 HAS SOUPS 840916 WITH SCORE 841761.314
AT ITER 363 NEW BEST:: SOT 1200936 SOS 843446 HAS SOPS 843446 HAS SOUS 839048 HAS SOUPS 839048 WITH SCORE 839891.446
AT ITER 367 NEW BEST:: SOT 1200936 SOS 842712 HAS SOPS 842712 HAS SOUS 838314 HAS SOUPS 838314 WITH SCORE 839156.712
AT ITER 368 NEW BEST:: SOT 1200936 SOS 841798 HAS SOPS 841798 HAS SOUS 837400 HAS SOUPS 837400 WITH SCORE 838241.798
AT ITER 371 NEW BEST:: SOT 1200398 SOS 840746 HAS SOPS 840746 HAS SOUS 836348 HAS SOUPS 836348 WITH SCORE 837188.746
AT ITER 372 NEW BEST:: SOT 1200398 SOS 840634 HAS SOPS 840634 HAS SOUS 836236 HAS SOUPS 836236 WITH SCORE 837076.634
AT ITER 375 NEW BEST:: SOT 1199612 SOS 839048 HAS SOPS 839048 HAS SOUS 834650 HAS SOUPS 834650 WITH SCORE 835489.048
AT ITER 377 NEW BEST:: SOT 1199612 SOS 838690 HAS SOPS 838690 HAS SOUS 834292 HAS SOUPS 834292 WITH SCORE 835130.69
AT ITER 378 NEW BEST:: SOT 1198570 SOS 837648 HAS SOPS 837648 HAS SOUS 833250 HAS SOUPS 833250 WITH SCORE 834087.648
AT ITER 379 NEW BEST:: SOT 1197798 SOS 836876 HAS SOPS 836876 HAS SOUS 832478 HAS SOUPS 832478 WITH SCORE 833314.876
AT ITER 381 NEW BEST:: SOT 1197798 SOS 836080 HAS SOPS 836080 HAS SOUS 831682 HAS SOUPS 831682 WITH SCORE 832518.08
AT ITER 383 NEW BEST:: SOT 1197798 SOS 835128 HAS SOPS 835128 HAS SOUS 830730 HAS SOUPS 830730 WITH SCORE 831565.128
AT ITER 386 NEW BEST:: SOT 1197798 SOS 835032 HAS SOPS 835032 HAS SOUS 830634 HAS SOUPS 830634 WITH SCORE 831469.032
AT ITER 388 NEW BEST:: SOT 1197250 SOS 834484 HAS SOPS 834484 HAS SOUS 830086 HAS SOUPS 830086 WITH SCORE 830920.484
AT ITER 389 NEW BEST:: SOT 1196514 SOS 834230 HAS SOPS 834230 HAS SOUS 829832 HAS SOUPS 829832 WITH SCORE 830666.23
AT ITER 391 NEW BEST:: SOT 1196106 SOS 834014 HAS SOPS 834014 HAS SOUS 829616 HAS SOUPS 829616 WITH SCORE 830450.014
AT ITER 393 NEW BEST:: SOT 1194344 SOS 830768 HAS SOPS 830768 HAS SOUS 826370 HAS SOUPS 826370 WITH SCORE 827200.768
AT ITER 398 NEW BEST:: SOT 1193940 SOS 830364 HAS SOPS 830364 HAS SOUS 825966 HAS SOUPS 825966 WITH SCORE 826796.364
AT ITER 399 NEW BEST:: SOT 1193906 SOS 830202 HAS SOPS 830202 HAS SOUS 825804 HAS SOUPS 825804 WITH SCORE 826634.202
AT ITER 402 NEW BEST:: SOT 1193814 SOS 830110 HAS SOPS 830110 HAS SOUS 825620 HAS SOUPS 825620 WITH SCORE 826450.11
AT ITER 404 NEW BEST:: SOT 1193402 SOS 829536 HAS SOPS 829536 HAS SOUS 825046 HAS SOUPS 825046 WITH SCORE 825875.536
AT ITER 406 NEW BEST:: SOT 1193402 SOS 829292 HAS SOPS 829292 HAS SOUS 824802 HAS SOUPS 824802 WITH SCORE 825631.292
AT ITER 409 NEW BEST:: SOT 1193356 SOS 829246 HAS SOPS 829246 HAS SOUS 824756 HAS SOUPS 824756 WITH SCORE 825585.246
AT ITER 411 NEW BEST:: SOT 1193154 SOS 828842 HAS SOPS 828842 HAS SOUS 824352 HAS SOUPS 824352 WITH SCORE 825180.842
AT ITER 412 NEW BEST:: SOT 1193138 SOS 828054 HAS SOPS 828054 HAS SOUS 823564 HAS SOUPS 823564 WITH SCORE 824392.054
AT ITER 416 NEW BEST:: SOT 1193138 SOS 826296 HAS SOPS 826296 HAS SOUS 821806 HAS SOUPS 821806 WITH SCORE 822632.296
AT ITER 417 NEW BEST:: SOT 1193138 SOS 826234 HAS SOPS 826234 HAS SOUS 821744 HAS SOUPS 821744 WITH SCORE 822570.234
AT ITER 421 NEW BEST:: SOT 1192160 SOS 824640 HAS SOPS 824640 HAS SOUS 820150 HAS SOUPS 820150 WITH SCORE 820974.64
AT ITER 423 NEW BEST:: SOT 1191660 SOS 824140 HAS SOPS 824140 HAS SOUS 819650 HAS SOUPS 819650 WITH SCORE 820474.14
AT ITER 425 NEW BEST:: SOT 1191186 SOS 823666 HAS SOPS 823666 HAS SOUS 819176 HAS SOUPS 819176 WITH SCORE 819999.666
AT ITER 428 NEW BEST:: SOT 1190750 SOS 823470 HAS SOPS 823470 HAS SOUS 818980 HAS SOUPS 818980 WITH SCORE 819803.47
AT ITER 429 NEW BEST:: SOT 1189718 SOS 822438 HAS SOPS 822438 HAS SOUS 817948 HAS SOUPS 817948 WITH SCORE 818770.438
AT ITER 433 NEW BEST:: SOT 1189024 SOS 820946 HAS SOPS 820946 HAS SOUS 816456 HAS SOUPS 816456 WITH SCORE 817276.946
AT ITER 435 NEW BEST:: SOT 1188678 SOS 819818 HAS SOPS 819818 HAS SOUS 815328 HAS SOUPS 815328 WITH SCORE 816147.818
AT ITER 436 NEW BEST:: SOT 1188480 SOS 819620 HAS SOPS 819620 HAS SOUS 815130 HAS SOUPS 815130 WITH SCORE 815949.62
AT ITER 437 NEW BEST:: SOT 1187884 SOS 817944 HAS SOPS 817944 HAS SOUS 813454 HAS SOUPS 813454 WITH SCORE 814271.944
AT ITER 438 NEW BEST:: SOT 1187066 SOS 817126 HAS SOPS 817126 HAS SOUS 812636 HAS SOUPS 812636 WITH SCORE 813453.126
AT ITER 440 NEW BEST:: SOT 1187066 SOS 816412 HAS SOPS 816412 HAS SOUS 811922 HAS SOUPS 811922 WITH SCORE 812738.412
AT ITER 441 NEW BEST:: SOT 1186024 SOS 815370 HAS SOPS 815370 HAS SOUS 810880 HAS SOUPS 810880 WITH SCORE 811695.37
AT ITER 445 NEW BEST:: SOT 1186024 SOS 815054 HAS SOPS 815054 HAS SOUS 810564 HAS SOUPS 810564 WITH SCORE 811379.054
AT ITER 446 NEW BEST:: SOT 1184982 SOS 813212 HAS SOPS 813212 HAS SOUS 808722 HAS SOUPS 808722 WITH SCORE 809535.212
AT ITER 447 NEW BEST:: SOT 1183940 SOS 811678 HAS SOPS 811678 HAS SOUS 807188 HAS SOUPS 807188 WITH SCORE 807999.678
AT ITER 451 NEW BEST:: SOT 1183940 SOS 811618 HAS SOPS 811618 HAS SOUS 807128 HAS SOUPS 807128 WITH SCORE 807939.618
AT ITER 452 NEW BEST:: SOT 1183940 SOS 810196 HAS SOPS 810196 HAS SOUS 805706 HAS SOUPS 805706 WITH SCORE 806516.196
AT ITER 455 NEW BEST:: SOT 1183130 SOS 809358 HAS SOPS 809358 HAS SOUS 804868 HAS SOUPS 804868 WITH SCORE 805677.358
AT ITER 457 NEW BEST:: SOT 1182432 SOS 808002 HAS SOPS 808002 HAS SOUS 803512 HAS SOUPS 803512 WITH SCORE 804320.002
AT ITER 460 NEW BEST:: SOT 1181262 SOS 807050 HAS SOPS 807050 HAS SOUS 802560 HAS SOUPS 802560 WITH SCORE 803367.05
AT ITER 461 NEW BEST:: SOT 1181262 SOS 806836 HAS SOPS 806836 HAS SOUS 802346 HAS SOUPS 802346 WITH SCORE 803152.836
AT ITER 462 NEW BEST:: SOT 1180578 SOS 805294 HAS SOPS 805294 HAS SOUS 800804 HAS SOUPS 800804 WITH SCORE 801609.294
AT ITER 463 NEW BEST:: SOT 1180578 SOS 805026 HAS SOPS 805026 HAS SOUS 800536 HAS SOUPS 800536 WITH SCORE 801341.026
AT ITER 466 NEW BEST:: SOT 1180346 SOS 804794 HAS SOPS 804794 HAS SOUS 800304 HAS SOUPS 800304 WITH SCORE 801108.794
AT ITER 467 NEW BEST:: SOT 1180022 SOS 804390 HAS SOPS 804390 HAS SOUS 799900 HAS SOUPS 799900 WITH SCORE 800704.39
AT ITER 469 NEW BEST:: SOT 1179678 SOS 804046 HAS SOPS 804046 HAS SOUS 799556 HAS SOUPS 799556 WITH SCORE 800360.046
AT ITER 472 NEW BEST:: SOT 1178666 SOS 803034 HAS SOPS 803034 HAS SOUS 798544 HAS SOUPS 798544 WITH SCORE 799347.034
AT ITER 475 NEW BEST:: SOT 1177624 SOS 800398 HAS SOPS 800398 HAS SOUS 795908 HAS SOUPS 795908 WITH SCORE 796708.398
AT ITER 476 NEW BEST:: SOT 1177130 SOS 798200 HAS SOPS 798200 HAS SOUS 793710 HAS SOUPS 793710 WITH SCORE 794508.2
AT ITER 482 NEW BEST:: SOT 1177130 SOS 797684 HAS SOPS 797684 HAS SOUS 793194 HAS SOUPS 793194 WITH SCORE 793991.684
AT ITER 483 NEW BEST:: SOT 1176654 SOS 797208 HAS SOPS 797208 HAS SOUS 792718 HAS SOUPS 792718 WITH SCORE 793515.208
AT ITER 487 NEW BEST:: SOT 1176552 SOS 796712 HAS SOPS 796712 HAS SOUS 792222 HAS SOUPS 792222 WITH SCORE 793018.712
AT ITER 488 NEW BEST:: SOT 1176552 SOS 796146 HAS SOPS 796146 HAS SOUS 791656 HAS SOUPS 791656 WITH SCORE 792452.146
AT ITER 491 NEW BEST:: SOT 1176552 SOS 795892 HAS SOPS 795892 HAS SOUS 791402 HAS SOUPS 791402 WITH SCORE 792197.892
AT ITER 496 NEW BEST:: SOT 1175954 SOS 795086 HAS SOPS 795086 HAS SOUS 790596 HAS SOUPS 790596 WITH SCORE 791391.086
AT ITER 497 NEW BEST:: SOT 1175954 SOS 794442 HAS SOPS 794442 HAS SOUS 789952 HAS SOUPS 789952 WITH SCORE 790746.442
AT ITER 500 NEW BEST:: SOT 1175316 SOS 793804 HAS SOPS 793804 HAS SOUS 789314 HAS SOUPS 789314 WITH SCORE 790107.804
AT ITER 501 NEW BEST:: SOT 1174274 SOS 791950 HAS SOPS 791950 HAS SOUS 787460 HAS SOUPS 787460 WITH SCORE 788251.95
AT ITER 502 NEW BEST:: SOT 1174274 SOS 791436 HAS SOPS 791436 HAS SOUS 786946 HAS SOUPS 786946 WITH SCORE 787737.436
AT ITER 503 NEW BEST:: SOT 1174296 SOS 791304 HAS SOPS 791304 HAS SOUS 786814 HAS SOUPS 786814 WITH SCORE 787605.304
AT ITER 504 NEW BEST:: SOT 1173848 SOS 790856 HAS SOPS 790856 HAS SOUS 786366 HAS SOUPS 786366 WITH SCORE 787156.856
AT ITER 506 NEW BEST:: SOT 1173326 SOS 789666 HAS SOPS 789666 HAS SOUS 785176 HAS SOUPS 785176 WITH SCORE 785965.666
AT ITER 507 NEW BEST:: SOT 1173326 SOS 789576 HAS SOPS 789576 HAS SOUS 785086 HAS SOUPS 785086 WITH SCORE 785875.576
AT ITER 512 NEW BEST:: SOT 1173326 SOS 789550 HAS SOPS 789550 HAS SOUS 785060 HAS SOUPS 785060 WITH SCORE 785849.55
AT ITER 514 NEW BEST:: SOT 1173326 SOS 789398 HAS SOPS 789398 HAS SOUS 784908 HAS SOUPS 784908 WITH SCORE 785697.398
AT ITER 515 NEW BEST:: SOT 1173326 SOS 788498 HAS SOPS 788498 HAS SOUS 784008 HAS SOUPS 784008 WITH SCORE 784796.498
AT ITER 516 NEW BEST:: SOT 1173056 SOS 788228 HAS SOPS 788228 HAS SOUS 783738 HAS SOUPS 783738 WITH SCORE 784526.228
AT ITER 517 NEW BEST:: SOT 1172608 SOS 787734 HAS SOPS 787734 HAS SOUS 783244 HAS SOUPS 783244 WITH SCORE 784031.734
AT ITER 519 NEW BEST:: SOT 1172608 SOS 787530 HAS SOPS 787530 HAS SOUS 783040 HAS SOUPS 783040 WITH SCORE 783827.53
AT ITER 522 NEW BEST:: SOT 1172176 SOS 787098 HAS SOPS 787098 HAS SOUS 782608 HAS SOUPS 782608 WITH SCORE 783395.098
AT ITER 525 NEW BEST:: SOT 1171460 SOS 785422 HAS SOPS 785422 HAS SOUS 780932 HAS SOUPS 780932 WITH SCORE 781717.422
AT ITER 529 NEW BEST:: SOT 1171460 SOS 784880 HAS SOPS 784880 HAS SOUS 780390 HAS SOUPS 780390 WITH SCORE 781174.88
AT ITER 531 NEW BEST:: SOT 1171460 SOS 784502 HAS SOPS 784502 HAS SOUS 780012 HAS SOUPS 780012 WITH SCORE 780796.502
AT ITER 535 NEW BEST:: SOT 1170460 SOS 783502 HAS SOPS 783502 HAS SOUS 779012 HAS SOUPS 779012 WITH SCORE 779795.502
AT ITER 536 NEW BEST:: SOT 1170186 SOS 783228 HAS SOPS 783228 HAS SOUS 778738 HAS SOUPS 778738 WITH SCORE 779521.228
AT ITER 537 NEW BEST:: SOT 1169218 SOS 782260 HAS SOPS 782260 HAS SOUS 777770 HAS SOUPS 777770 WITH SCORE 778552.26
AT ITER 539 NEW BEST:: SOT 1169146 SOS 782188 HAS SOPS 782188 HAS SOUS 777698 HAS SOUPS 777698 WITH SCORE 778480.188
AT ITER 540 NEW BEST:: SOT 1169146 SOS 781378 HAS SOPS 781378 HAS SOUS 776888 HAS SOUPS 776888 WITH SCORE 777669.378
AT ITER 545 NEW BEST:: SOT 1167882 SOS 779280 HAS SOPS 779280 HAS SOUS 774790 HAS SOUPS 774790 WITH SCORE 775569.28
AT ITER 546 NEW BEST:: SOT 1167882 SOS 778444 HAS SOPS 778444 HAS SOUS 773954 HAS SOUPS 773954 WITH SCORE 774732.444
AT ITER 548 NEW BEST:: SOT 1167004 SOS 777566 HAS SOPS 777566 HAS SOUS 773076 HAS SOUPS 773076 WITH SCORE 773853.566
AT ITER 551 NEW BEST:: SOT 1167250 SOS 777378 HAS SOPS 777378 HAS SOUS 772888 HAS SOUPS 772888 WITH SCORE 773665.378
AT ITER 553 NEW BEST:: SOT 1167182 SOS 777212 HAS SOPS 777212 HAS SOUS 772722 HAS SOUPS 772722 WITH SCORE 773499.212
AT ITER 555 NEW BEST:: SOT 1167016 SOS 776240 HAS SOPS 776240 HAS SOUS 771750 HAS SOUPS 771750 WITH SCORE 772526.24
AT ITER 558 NEW BEST:: SOT 1167016 SOS 775982 HAS SOPS 775982 HAS SOUS 771492 HAS SOUPS 771492 WITH SCORE 772267.982
AT ITER 559 NEW BEST:: SOT 1166184 SOS 774850 HAS SOPS 774850 HAS SOUS 770360 HAS SOUPS 770360 WITH SCORE 771134.85
AT ITER 563 NEW BEST:: SOT 1165932 SOS 774458 HAS SOPS 774458 HAS SOUS 769968 HAS SOUPS 769968 WITH SCORE 770742.458
AT ITER 565 NEW BEST:: SOT 1165560 SOS 773880 HAS SOPS 773880 HAS SOUS 769390 HAS SOUPS 769390 WITH SCORE 770163.88
AT ITER 566 NEW BEST:: SOT 1165560 SOS 773192 HAS SOPS 773192 HAS SOUS 768702 HAS SOUPS 768702 WITH SCORE 769475.192
AT ITER 568 NEW BEST:: SOT 1165128 SOS 772760 HAS SOPS 772760 HAS SOUS 768270 HAS SOUPS 768270 WITH SCORE 769042.76
AT ITER 571 NEW BEST:: SOT 1165128 SOS 772534 HAS SOPS 772534 HAS SOUS 768044 HAS SOUPS 768044 WITH SCORE 768816.534
AT ITER 573 NEW BEST:: SOT 1163862 SOS 771160 HAS SOPS 771160 HAS SOUS 766710 HAS SOUPS 766710 WITH SCORE 767481.16
AT ITER 575 NEW BEST:: SOT 1163862 SOS 770338 HAS SOPS 770338 HAS SOUS 765888 HAS SOUPS 765888 WITH SCORE 766658.338
AT ITER 577 NEW BEST:: SOT 1163424 SOS 769900 HAS SOPS 769900 HAS SOUS 765450 HAS SOUPS 765450 WITH SCORE 766219.9
AT ITER 581 NEW BEST:: SOT 1162396 SOS 768186 HAS SOPS 768186 HAS SOUS 763736 HAS SOUPS 763736 WITH SCORE 764504.186
AT ITER 585 NEW BEST:: SOT 1162396 SOS 767988 HAS SOPS 767988 HAS SOUS 763538 HAS SOUPS 763538 WITH SCORE 764305.988
AT ITER 587 NEW BEST:: SOT 1161758 SOS 767350 HAS SOPS 767350 HAS SOUS 762900 HAS SOUPS 762900 WITH SCORE 763667.35
AT ITER 589 NEW BEST:: SOT 1160716 SOS 767180 HAS SOPS 767180 HAS SOUS 762730 HAS SOUPS 762730 WITH SCORE 763497.18
AT ITER 590 NEW BEST:: SOT 1159230 SOS 765586 HAS SOPS 765586 HAS SOUS 761136 HAS SOUPS 761136 WITH SCORE 761901.586
AT ITER 591 NEW BEST:: SOT 1158278 SOS 764634 HAS SOPS 764634 HAS SOUS 760184 HAS SOUPS 760184 WITH SCORE 760948.634
AT ITER 601 NEW BEST:: SOT 1157472 SOS 763018 HAS SOPS 763018 HAS SOUS 758568 HAS SOUPS 758568 WITH SCORE 759331.018
AT ITER 602 NEW BEST:: SOT 1157472 SOS 762646 HAS SOPS 762646 HAS SOUS 758196 HAS SOUPS 758196 WITH SCORE 758958.646
AT ITER 604 NEW BEST:: SOT 1157472 SOS 762416 HAS SOPS 762416 HAS SOUS 757966 HAS SOUPS 757966 WITH SCORE 758728.416
AT ITER 606 NEW BEST:: SOT 1157472 SOS 762260 HAS SOPS 762260 HAS SOUS 757810 HAS SOUPS 757810 WITH SCORE 758572.26
AT ITER 607 NEW BEST:: SOT 1157350 SOS 762138 HAS SOPS 762138 HAS SOUS 757688 HAS SOUPS 757688 WITH SCORE 758450.138
AT ITER 608 NEW BEST:: SOT 1157350 SOS 761466 HAS SOPS 761466 HAS SOUS 757016 HAS SOUPS 757016 WITH SCORE 757777.466
AT ITER 609 NEW BEST:: SOT 1157622 SOS 761452 HAS SOPS 761452 HAS SOUS 757002 HAS SOUPS 757002 WITH SCORE 757763.452
AT ITER 612 NEW BEST:: SOT 1157622 SOS 761416 HAS SOPS 761416 HAS SOUS 756966 HAS SOUPS 756966 WITH SCORE 757727.416
AT ITER 613 NEW BEST:: SOT 1156580 SOS 761038 HAS SOPS 761038 HAS SOUS 756588 HAS SOUPS 756588 WITH SCORE 757349.038
AT ITER 616 NEW BEST:: SOT 1156580 SOS 759290 HAS SOPS 759290 HAS SOUS 754840 HAS SOUPS 754840 WITH SCORE 755599.29
AT ITER 618 NEW BEST:: SOT 1155838 SOS 758644 HAS SOPS 758644 HAS SOUS 754194 HAS SOUPS 754194 WITH SCORE 754952.644
AT ITER 620 NEW BEST:: SOT 1155614 SOS 758420 HAS SOPS 758420 HAS SOUS 753970 HAS SOUPS 753970 WITH SCORE 754728.42
AT ITER 624 NEW BEST:: SOT 1153786 SOS 756592 HAS SOPS 756592 HAS SOUS 752142 HAS SOUPS 752142 WITH SCORE 752898.592
AT ITER 627 NEW BEST:: SOT 1153466 SOS 756272 HAS SOPS 756272 HAS SOUS 751822 HAS SOUPS 751822 WITH SCORE 752578.272
AT ITER 628 NEW BEST:: SOT 1153466 SOS 756238 HAS SOPS 756238 HAS SOUS 751788 HAS SOUPS 751788 WITH SCORE 752544.238
AT ITER 629 NEW BEST:: SOT 1153466 SOS 756004 HAS SOPS 756004 HAS SOUS 751554 HAS SOUPS 751554 WITH SCORE 752310.004
AT ITER 631 NEW BEST:: SOT 1153466 SOS 755606 HAS SOPS 755606 HAS SOUS 751156 HAS SOUPS 751156 WITH SCORE 751911.606
AT ITER 636 NEW BEST:: SOT 1153466 SOS 755002 HAS SOPS 755002 HAS SOUS 750552 HAS SOUPS 750552 WITH SCORE 751307.002
AT ITER 637 NEW BEST:: SOT 1153330 SOS 754866 HAS SOPS 754866 HAS SOUS 750416 HAS SOUPS 750416 WITH SCORE 751170.866
AT ITER 641 NEW BEST:: SOT 1153330 SOS 754800 HAS SOPS 754800 HAS SOUS 750350 HAS SOUPS 750350 WITH SCORE 751104.8
AT ITER 644 NEW BEST:: SOT 1152986 SOS 754456 HAS SOPS 754456 HAS SOUS 750006 HAS SOUPS 750006 WITH SCORE 750760.456
AT ITER 648 NEW BEST:: SOT 1152628 SOS 753986 HAS SOPS 753986 HAS SOUS 749536 HAS SOUPS 749536 WITH SCORE 750289.986
AT ITER 652 NEW BEST:: SOT 1152628 SOS 753978 HAS SOPS 753978 HAS SOUS 749528 HAS SOUPS 749528 WITH SCORE 750281.978
AT ITER 657 NEW BEST:: SOT 1152628 SOS 753770 HAS SOPS 753770 HAS SOUS 749320 HAS SOUPS 749320 WITH SCORE 750073.77
AT ITER 661 NEW BEST:: SOT 1152628 SOS 752950 HAS SOPS 752950 HAS SOUS 748500 HAS SOUPS 748500 WITH SCORE 749252.95
AT ITER 662 NEW BEST:: SOT 1152116 SOS 752438 HAS SOPS 752438 HAS SOUS 747988 HAS SOUPS 747988 WITH SCORE 748740.438
AT ITER 665 NEW BEST:: SOT 1152116 SOS 752098 HAS SOPS 752098 HAS SOUS 747648 HAS SOUPS 747648 WITH SCORE 748400.098
AT ITER 667 NEW BEST:: SOT 1151720 SOS 751552 HAS SOPS 751552 HAS SOUS 747102 HAS SOUPS 747102 WITH SCORE 747853.552
AT ITER 672 NEW BEST:: SOT 1151704 SOS 751258 HAS SOPS 751258 HAS SOUS 746808 HAS SOUPS 746808 WITH SCORE 747559.258
AT ITER 673 NEW BEST:: SOT 1151350 SOS 750526 HAS SOPS 750526 HAS SOUS 746076 HAS SOUPS 746076 WITH SCORE 746826.526
AT ITER 675 NEW BEST:: SOT 1150370 SOS 749138 HAS SOPS 749138 HAS SOUS 744688 HAS SOUPS 744688 WITH SCORE 745437.138
AT ITER 676 NEW BEST:: SOT 1150320 SOS 748720 HAS SOPS 748720 HAS SOUS 744270 HAS SOUPS 744270 WITH SCORE 745018.72
AT ITER 678 NEW BEST:: SOT 1150320 SOS 748390 HAS SOPS 748390 HAS SOUS 743940 HAS SOUPS 743940 WITH SCORE 744688.39
AT ITER 683 NEW BEST:: SOT 1150320 SOS 748086 HAS SOPS 748086 HAS SOUS 743636 HAS SOUPS 743636 WITH SCORE 744384.086
AT ITER 684 NEW BEST:: SOT 1149716 SOS 748082 HAS SOPS 748082 HAS SOUS 743632 HAS SOUPS 743632 WITH SCORE 744380.082
AT ITER 688 NEW BEST:: SOT 1149064 SOS 747868 HAS SOPS 747868 HAS SOUS 743418 HAS SOUPS 743418 WITH SCORE 744165.868
AT ITER 692 NEW BEST:: SOT 1149064 SOS 747728 HAS SOPS 747728 HAS SOUS 743278 HAS SOUPS 743278 WITH SCORE 744025.728
AT ITER 699 NEW BEST:: SOT 1148648 SOS 747390 HAS SOPS 747390 HAS SOUS 742940 HAS SOUPS 742940 WITH SCORE 743687.39
AT ITER 700 NEW BEST:: SOT 1148376 SOS 747118 HAS SOPS 747118 HAS SOUS 742668 HAS SOUPS 742668 WITH SCORE 743415.118
AT ITER 704 NEW BEST:: SOT 1148376 SOS 748792 HAS SOPS 748792 HAS SOUS 742454 HAS SOUPS 742454 WITH SCORE 743202.792
AT ITER 708 NEW BEST:: SOT 1148376 SOS 748372 HAS SOPS 748372 HAS SOUS 742034 HAS SOUPS 742034 WITH SCORE 742782.372
AT ITER 709 NEW BEST:: SOT 1148376 SOS 748294 HAS SOPS 748294 HAS SOUS 741956 HAS SOUPS 741956 WITH SCORE 742704.294
AT ITER 710 NEW BEST:: SOT 1148376 SOS 747886 HAS SOPS 747886 HAS SOUS 741548 HAS SOUPS 741548 WITH SCORE 742295.886
AT ITER 714 NEW BEST:: SOT 1147818 SOS 747026 HAS SOPS 747026 HAS SOUS 740688 HAS SOUPS 740688 WITH SCORE 741435.026
AT ITER 715 NEW BEST:: SOT 1147930 SOS 746612 HAS SOPS 746612 HAS SOUS 740274 HAS SOUPS 740274 WITH SCORE 741020.612
AT ITER 717 NEW BEST:: SOT 1146360 SOS 744210 HAS SOPS 744210 HAS SOUS 737872 HAS SOUPS 737872 WITH SCORE 738616.21
AT ITER 718 NEW BEST:: SOT 1146360 SOS 743772 HAS SOPS 743772 HAS SOUS 737434 HAS SOUPS 737434 WITH SCORE 738177.772
AT ITER 719 NEW BEST:: SOT 1145720 SOS 743132 HAS SOPS 743132 HAS SOUS 736794 HAS SOUPS 736794 WITH SCORE 737537.132
AT ITER 722 NEW BEST:: SOT 1145720 SOS 742496 HAS SOPS 742496 HAS SOUS 736158 HAS SOUPS 736158 WITH SCORE 736900.496
AT ITER 729 NEW BEST:: SOT 1145124 SOS 742108 HAS SOPS 742108 HAS SOUS 735770 HAS SOUPS 735770 WITH SCORE 736512.108
AT ITER 732 NEW BEST:: SOT 1144306 SOS 741290 HAS SOPS 741290 HAS SOUS 734952 HAS SOUPS 734952 WITH SCORE 735693.29
AT ITER 733 NEW BEST:: SOT 1143902 SOS 740886 HAS SOPS 740886 HAS SOUS 734548 HAS SOUPS 734548 WITH SCORE 735288.886
AT ITER 735 NEW BEST:: SOT 1143250 SOS 738560 HAS SOPS 738560 HAS SOUS 732222 HAS SOUPS 732222 WITH SCORE 732960.56
AT ITER 736 NEW BEST:: SOT 1142638 SOS 737948 HAS SOPS 737948 HAS SOUS 731610 HAS SOUPS 731610 WITH SCORE 732347.948
AT ITER 738 NEW BEST:: SOT 1142278 SOS 737228 HAS SOPS 737228 HAS SOUS 730890 HAS SOUPS 730890 WITH SCORE 731627.228
AT ITER 739 NEW BEST:: SOT 1141726 SOS 735692 HAS SOPS 735692 HAS SOUS 729354 HAS SOUPS 729354 WITH SCORE 730089.692
AT ITER 741 NEW BEST:: SOT 1141726 SOS 735610 HAS SOPS 735610 HAS SOUS 729272 HAS SOUPS 729272 WITH SCORE 730007.61
AT ITER 743 NEW BEST:: SOT 1141726 SOS 735122 HAS SOPS 735122 HAS SOUS 728784 HAS SOUPS 728784 WITH SCORE 729519.122
AT ITER 744 NEW BEST:: SOT 1140624 SOS 733202 HAS SOPS 733202 HAS SOUS 726864 HAS SOUPS 726864 WITH SCORE 727597.202
AT ITER 745 NEW BEST:: SOT 1140416 SOS 732786 HAS SOPS 732786 HAS SOUS 726448 HAS SOUPS 726448 WITH SCORE 727180.786
AT ITER 747 NEW BEST:: SOT 1140416 SOS 732564 HAS SOPS 732564 HAS SOUS 726226 HAS SOUPS 726226 WITH SCORE 726958.564
AT ITER 750 NEW BEST:: SOT 1140706 SOS 732458 HAS SOPS 732458 HAS SOUS 726120 HAS SOUPS 726120 WITH SCORE 726852.458
AT ITER 754 NEW BEST:: SOT 1140024 SOS 731094 HAS SOPS 731094 HAS SOUS 724756 HAS SOUPS 724756 WITH SCORE 725487.094
AT ITER 755 NEW BEST:: SOT 1139284 SOS 730354 HAS SOPS 730354 HAS SOUS 724016 HAS SOUPS 724016 WITH SCORE 724746.354
AT ITER 756 NEW BEST:: SOT 1138604 SOS 728994 HAS SOPS 728994 HAS SOUS 722656 HAS SOUPS 722656 WITH SCORE 723384.994
AT ITER 757 NEW BEST:: SOT 1138286 SOS 727952 HAS SOPS 727952 HAS SOUS 721614 HAS SOUPS 721614 WITH SCORE 722341.952
AT ITER 767 NEW BEST:: SOT 1138196 SOS 727444 HAS SOPS 727444 HAS SOUS 721258 HAS SOUPS 721258 WITH SCORE 721985.444
AT ITER 769 NEW BEST:: SOT 1138658 SOS 727404 HAS SOPS 727404 HAS SOUS 721218 HAS SOUPS 721218 WITH SCORE 721945.404
AT ITER 772 NEW BEST:: SOT 1138542 SOS 727032 HAS SOPS 727032 HAS SOUS 720846 HAS SOUPS 720846 WITH SCORE 721573.032
AT ITER 773 NEW BEST:: SOT 1138542 SOS 725868 HAS SOPS 725868 HAS SOUS 719682 HAS SOUPS 719682 WITH SCORE 720407.868
AT ITER 774 NEW BEST:: SOT 1138512 SOS 725508 HAS SOPS 725508 HAS SOUS 719322 HAS SOUPS 719322 WITH SCORE 720047.508
AT ITER 776 NEW BEST:: SOT 1138134 SOS 725130 HAS SOPS 725130 HAS SOUS 718944 HAS SOUPS 718944 WITH SCORE 719669.13
AT ITER 777 NEW BEST:: SOT 1137668 SOS 724664 HAS SOPS 724664 HAS SOUS 718478 HAS SOUPS 718478 WITH SCORE 719202.664
AT ITER 778 NEW BEST:: SOT 1137446 SOS 724442 HAS SOPS 724442 HAS SOUS 718256 HAS SOUPS 718256 WITH SCORE 718980.442
AT ITER 782 NEW BEST:: SOT 1136746 SOS 723742 HAS SOPS 723742 HAS SOUS 717556 HAS SOUPS 717556 WITH SCORE 718279.742
AT ITER 783 NEW BEST:: SOT 1136746 SOS 723402 HAS SOPS 723402 HAS SOUS 717216 HAS SOUPS 717216 WITH SCORE 717939.402
AT ITER 784 NEW BEST:: SOT 1135852 SOS 721818 HAS SOPS 721818 HAS SOUS 715632 HAS SOUPS 715632 WITH SCORE 716353.818
AT ITER 786 NEW BEST:: SOT 1135852 SOS 721738 HAS SOPS 721738 HAS SOUS 715552 HAS SOUPS 715552 WITH SCORE 716273.738
AT ITER 788 NEW BEST:: SOT 1135852 SOS 721386 HAS SOPS 721386 HAS SOUS 715200 HAS SOUPS 715200 WITH SCORE 715921.386
AT ITER 789 NEW BEST:: SOT 1135950 SOS 721218 HAS SOPS 721218 HAS SOUS 715032 HAS SOUPS 715032 WITH SCORE 715753.218
AT ITER 790 NEW BEST:: SOT 1135950 SOS 720992 HAS SOPS 720992 HAS SOUS 714806 HAS SOUPS 714806 WITH SCORE 715526.992
AT ITER 791 NEW BEST:: SOT 1135950 SOS 720932 HAS SOPS 720932 HAS SOUS 714746 HAS SOUPS 714746 WITH SCORE 715466.932
AT ITER 793 NEW BEST:: SOT 1135498 SOS 720262 HAS SOPS 720262 HAS SOUS 714076 HAS SOUPS 714076 WITH SCORE 714796.262
AT ITER 795 NEW BEST:: SOT 1135402 SOS 720166 HAS SOPS 720166 HAS SOUS 713980 HAS SOUPS 713980 WITH SCORE 714700.166
AT ITER 798 NEW BEST:: SOT 1134062 SOS 717202 HAS SOPS 717202 HAS SOUS 711016 HAS SOUPS 711016 WITH SCORE 711733.202
AT ITER 799 NEW BEST:: SOT 1134032 SOS 716548 HAS SOPS 716548 HAS SOUS 710362 HAS SOUPS 710362 WITH SCORE 711078.548
AT ITER 801 NEW BEST:: SOT 1133500 SOS 716016 HAS SOPS 716016 HAS SOUS 709830 HAS SOUPS 709830 WITH SCORE 710546.016
AT ITER 802 NEW BEST:: SOT 1133108 SOS 715624 HAS SOPS 715624 HAS SOUS 709438 HAS SOUPS 709438 WITH SCORE 710153.624
AT ITER 810 NEW BEST:: SOT 1132798 SOS 714740 HAS SOPS 714740 HAS SOUS 708554 HAS SOUPS 708554 WITH SCORE 709268.74
AT ITER 812 NEW BEST:: SOT 1132382 SOS 714324 HAS SOPS 714324 HAS SOUS 708138 HAS SOUPS 708138 WITH SCORE 708852.324
AT ITER 813 NEW BEST:: SOT 1132190 SOS 713940 HAS SOPS 713940 HAS SOUS 707754 HAS SOUPS 707754 WITH SCORE 708467.94
AT ITER 815 NEW BEST:: SOT 1131784 SOS 713534 HAS SOPS 713534 HAS SOUS 707348 HAS SOUPS 707348 WITH SCORE 708061.534
AT ITER 820 NEW BEST:: SOT 1129944 SOS 711630 HAS SOPS 711630 HAS SOUS 705444 HAS SOUPS 705444 WITH SCORE 706155.63
AT ITER 831 NEW BEST:: SOT 1129944 SOS 711314 HAS SOPS 711314 HAS SOUS 705128 HAS SOUPS 705128 WITH SCORE 705839.314
AT ITER 832 NEW BEST:: SOT 1130100 SOS 711246 HAS SOPS 711246 HAS SOUS 705060 HAS SOUPS 705060 WITH SCORE 705771.246
AT ITER 839 NEW BEST:: SOT 1130114 SOS 711226 HAS SOPS 711226 HAS SOUS 705040 HAS SOUPS 705040 WITH SCORE 705751.226
AT ITER 840 NEW BEST:: SOT 1130114 SOS 710898 HAS SOPS 710898 HAS SOUS 704712 HAS SOUPS 704712 WITH SCORE 705422.898
AT ITER 841 NEW BEST:: SOT 1129870 SOS 710580 HAS SOPS 710580 HAS SOUS 704394 HAS SOUPS 704394 WITH SCORE 705104.58
AT ITER 842 NEW BEST:: SOT 1128626 SOS 708674 HAS SOPS 708674 HAS SOUS 702494 HAS SOUPS 702494 WITH SCORE 703202.674
AT ITER 843 NEW BEST:: SOT 1128564 SOS 708612 HAS SOPS 708612 HAS SOUS 702432 HAS SOUPS 702432 WITH SCORE 703140.612
AT ITER 844 NEW BEST:: SOT 1127358 SOS 706588 HAS SOPS 706588 HAS SOUS 700408 HAS SOUPS 700408 WITH SCORE 701114.588
AT ITER 852 NEW BEST:: SOT 1126748 SOS 705978 HAS SOPS 705978 HAS SOUS 699798 HAS SOUPS 699798 WITH SCORE 700503.978
AT ITER 854 NEW BEST:: SOT 1126146 SOS 704556 HAS SOPS 704556 HAS SOUS 698376 HAS SOUPS 698376 WITH SCORE 699080.556
AT ITER 855 NEW BEST:: SOT 1126104 SOS 704514 HAS SOPS 704514 HAS SOUS 698334 HAS SOUPS 698334 WITH SCORE 699038.514
AT ITER 865 NEW BEST:: SOT 1126032 SOS 704192 HAS SOPS 704192 HAS SOUS 698012 HAS SOUPS 698012 WITH SCORE 698716.192
AT ITER 874 NEW BEST:: SOT 1125126 SOS 703286 HAS SOPS 703286 HAS SOUS 697106 HAS SOUPS 697106 WITH SCORE 697809.286
AT ITER 875 NEW BEST:: SOT 1125584 SOS 702906 HAS SOPS 702906 HAS SOUS 696726 HAS SOUPS 696726 WITH SCORE 697428.906
AT ITER 877 NEW BEST:: SOT 1125282 SOS 701876 HAS SOPS 701876 HAS SOUS 695696 HAS SOUPS 695696 WITH SCORE 696397.876
AT ITER 879 NEW BEST:: SOT 1124240 SOS 701690 HAS SOPS 701690 HAS SOUS 695510 HAS SOUPS 695510 WITH SCORE 696211.69
AT ITER 880 NEW BEST:: SOT 1124240 SOS 701118 HAS SOPS 701118 HAS SOUS 694938 HAS SOUPS 694938 WITH SCORE 695639.118
AT ITER 881 NEW BEST:: SOT 1123200 SOS 698840 HAS SOPS 698840 HAS SOUS 692660 HAS SOUPS 692660 WITH SCORE 693358.84
AT ITER 885 NEW BEST:: SOT 1121854 SOS 698170 HAS SOPS 698170 HAS SOUS 691990 HAS SOUPS 691990 WITH SCORE 692688.17
AT ITER 887 NEW BEST:: SOT 1121852 SOS 698168 HAS SOPS 698168 HAS SOUS 691988 HAS SOUPS 691988 WITH SCORE 692686.168
AT ITER 889 NEW BEST:: SOT 1121852 SOS 698154 HAS SOPS 698154 HAS SOUS 691974 HAS SOUPS 691974 WITH SCORE 692672.154
AT ITER 893 NEW BEST:: SOT 1121602 SOS 697904 HAS SOPS 697904 HAS SOUS 691724 HAS SOUPS 691724 WITH SCORE 692421.904
AT ITER 895 NEW BEST:: SOT 1121716 SOS 697330 HAS SOPS 697330 HAS SOUS 691150 HAS SOUPS 691150 WITH SCORE 691847.33
AT ITER 900 NEW BEST:: SOT 1121760 SOS 696588 HAS SOPS 696588 HAS SOUS 690408 HAS SOUPS 690408 WITH SCORE 691104.588
AT ITER 902 NEW BEST:: SOT 1121690 SOS 696518 HAS SOPS 696518 HAS SOUS 690338 HAS SOUPS 690338 WITH SCORE 691034.518
AT ITER 904 NEW BEST:: SOT 1121690 SOS 696162 HAS SOPS 696162 HAS SOUS 689982 HAS SOUPS 689982 WITH SCORE 690678.162
AT ITER 908 NEW BEST:: SOT 1121424 SOS 695884 HAS SOPS 695884 HAS SOUS 689704 HAS SOUPS 689704 WITH SCORE 690399.884
AT ITER 910 NEW BEST:: SOT 1121424 SOS 695688 HAS SOPS 695688 HAS SOUS 689508 HAS SOUPS 689508 WITH SCORE 690203.688
AT ITER 913 NEW BEST:: SOT 1120620 SOS 694768 HAS SOPS 694768 HAS SOUS 688588 HAS SOUPS 688588 WITH SCORE 689282.768
AT ITER 917 NEW BEST:: SOT 1120584 SOS 694756 HAS SOPS 694756 HAS SOUS 688576 HAS SOUPS 688576 WITH SCORE 689270.756
AT ITER 918 NEW BEST:: SOT 1119542 SOS 692672 HAS SOPS 692672 HAS SOUS 686492 HAS SOUPS 686492 WITH SCORE 687184.672
AT ITER 923 NEW BEST:: SOT 1119424 SOS 692554 HAS SOPS 692554 HAS SOUS 686374 HAS SOUPS 686374 WITH SCORE 687066.554
AT ITER 924 NEW BEST:: SOT 1119380 SOS 692386 HAS SOPS 692386 HAS SOUS 686206 HAS SOUPS 686206 WITH SCORE 686898.386
AT ITER 930 NEW BEST:: SOT 1118404 SOS 691410 HAS SOPS 691410 HAS SOUS 685230 HAS SOUPS 685230 WITH SCORE 685921.41
AT ITER 934 NEW BEST:: SOT 1118484 SOS 691406 HAS SOPS 691406 HAS SOUS 685226 HAS SOUPS 685226 WITH SCORE 685917.406
AT ITER 937 NEW BEST:: SOT 1118484 SOS 691062 HAS SOPS 691062 HAS SOUS 684882 HAS SOUPS 684882 WITH SCORE 685573.062
AT ITER 938 NEW BEST:: SOT 1118224 SOS 690656 HAS SOPS 690656 HAS SOUS 684476 HAS SOUPS 684476 WITH SCORE 685166.656
AT ITER 942 NEW BEST:: SOT 1117564 SOS 689996 HAS SOPS 689996 HAS SOUS 683816 HAS SOUPS 683816 WITH SCORE 684505.996
AT ITER 945 NEW BEST:: SOT 1117550 SOS 689012 HAS SOPS 689012 HAS SOUS 682832 HAS SOUPS 682832 WITH SCORE 683521.012
AT ITER 947 NEW BEST:: SOT 1117550 SOS 688778 HAS SOPS 688778 HAS SOUS 682598 HAS SOUPS 682598 WITH SCORE 683286.778
AT ITER 949 NEW BEST:: SOT 1117428 SOS 686752 HAS SOPS 686752 HAS SOUS 680572 HAS SOUPS 680572 WITH SCORE 681258.752
AT ITER 951 NEW BEST:: SOT 1117156 SOS 685832 HAS SOPS 685832 HAS SOUS 679652 HAS SOUPS 679652 WITH SCORE 680337.832
AT ITER 953 NEW BEST:: SOT 1116736 SOS 685412 HAS SOPS 685412 HAS SOUS 679232 HAS SOUPS 679232 WITH SCORE 679917.412
AT ITER 964 NEW BEST:: SOT 1116058 SOS 684734 HAS SOPS 684734 HAS SOUS 678554 HAS SOUPS 678554 WITH SCORE 679238.734
AT ITER 965 NEW BEST:: SOT 1115120 SOS 683796 HAS SOPS 683796 HAS SOUS 677616 HAS SOUPS 677616 WITH SCORE 678299.796
AT ITER 970 NEW BEST:: SOT 1114268 SOS 682316 HAS SOPS 682316 HAS SOUS 676136 HAS SOUPS 676136 WITH SCORE 676818.316
AT ITER 972 NEW BEST:: SOT 1114268 SOS 681506 HAS SOPS 681506 HAS SOUS 675400 HAS SOUPS 675400 WITH SCORE 676081.506
AT ITER 973 NEW BEST:: SOT 1113408 SOS 680646 HAS SOPS 680646 HAS SOUS 674540 HAS SOUPS 674540 WITH SCORE 675220.646
AT ITER 975 NEW BEST:: SOT 1112366 SOS 679604 HAS SOPS 679604 HAS SOUS 673498 HAS SOUPS 673498 WITH SCORE 674177.604
AT ITER 980 NEW BEST:: SOT 1112366 SOS 678572 HAS SOPS 678572 HAS SOUS 672388 HAS SOUPS 672388 WITH SCORE 673066.572
AT ITER 984 NEW BEST:: SOT 1111336 SOS 676692 HAS SOPS 676692 HAS SOUS 670508 HAS SOUPS 670508 WITH SCORE 671184.692
AT ITER 986 NEW BEST:: SOT 1110930 SOS 676286 HAS SOPS 676286 HAS SOUS 670102 HAS SOUPS 670102 WITH SCORE 670778.286
AT ITER 987 NEW BEST:: SOT 1110930 SOS 675498 HAS SOPS 675498 HAS SOUS 669314 HAS SOUPS 669314 WITH SCORE 669989.498
AT ITER 988 NEW BEST:: SOT 1110856 SOS 675424 HAS SOPS 675424 HAS SOUS 669240 HAS SOUPS 669240 WITH SCORE 669915.424
AT ITER 990 NEW BEST:: SOT 1110608 SOS 674934 HAS SOPS 674934 HAS SOUS 668750 HAS SOUPS 668750 WITH SCORE 669424.934
AT ITER 992 NEW BEST:: SOT 1109652 SOS 672318 HAS SOPS 672318 HAS SOUS 666134 HAS SOUPS 666134 WITH SCORE 666806.318
AT ITER 993 NEW BEST:: SOT 1109652 SOS 672314 HAS SOPS 672314 HAS SOUS 666130 HAS SOUPS 666130 WITH SCORE 666802.314
AT ITER 994 NEW BEST:: SOT 1109216 SOS 671878 HAS SOPS 671878 HAS SOUS 665694 HAS SOUPS 665694 WITH SCORE 666365.878
AT ITER 1003 NEW BEST:: SOT 1109466 SOS 671714 HAS SOPS 671714 HAS SOUS 665530 HAS SOUPS 665530 WITH SCORE 666201.714
AT ITER 1004 NEW BEST:: SOT 1108970 SOS 671176 HAS SOPS 671176 HAS SOUS 664992 HAS SOUPS 664992 WITH SCORE 665663.176
AT ITER 1007 NEW BEST:: SOT 1108930 SOS 671136 HAS SOPS 671136 HAS SOUS 664952 HAS SOUPS 664952 WITH SCORE 665623.136
AT ITER 1008 NEW BEST:: SOT 1108852 SOS 670972 HAS SOPS 670972 HAS SOUS 664788 HAS SOUPS 664788 WITH SCORE 665458.972
AT ITER 1011 NEW BEST:: SOT 1108748 SOS 670764 HAS SOPS 670764 HAS SOUS 664580 HAS SOUPS 664580 WITH SCORE 665250.764
AT ITER 1012 NEW BEST:: SOT 1108326 SOS 670012 HAS SOPS 670012 HAS SOUS 663828 HAS SOUPS 663828 WITH SCORE 664498.012
AT ITER 1017 NEW BEST:: SOT 1108172 SOS 669756 HAS SOPS 669756 HAS SOUS 663572 HAS SOUPS 663572 WITH SCORE 664241.756
AT ITER 1019 NEW BEST:: SOT 1108150 SOS 669268 HAS SOPS 669268 HAS SOUS 663084 HAS SOUPS 663084 WITH SCORE 663753.268
AT ITER 1021 NEW BEST:: SOT 1108172 SOS 668470 HAS SOPS 668470 HAS SOUS 662286 HAS SOUPS 662286 WITH SCORE 662954.47
AT ITER 1022 NEW BEST:: SOT 1108172 SOS 668332 HAS SOPS 668332 HAS SOUS 662148 HAS SOUPS 662148 WITH SCORE 662816.332
AT ITER 1023 NEW BEST:: SOT 1106420 SOS 665310 HAS SOPS 665310 HAS SOUS 659126 HAS SOUPS 659126 WITH SCORE 659791.31
AT ITER 1024 NEW BEST:: SOT 1105952 SOS 664842 HAS SOPS 664842 HAS SOUS 658658 HAS SOUPS 658658 WITH SCORE 659322.842
AT ITER 1027 NEW BEST:: SOT 1105226 SOS 664116 HAS SOPS 664116 HAS SOUS 657932 HAS SOUPS 657932 WITH SCORE 658596.116
AT ITER 1029 NEW BEST:: SOT 1105226 SOS 663406 HAS SOPS 663406 HAS SOUS 657932 HAS SOUPS 657932 WITH SCORE 658595.406
AT ITER 1034 NEW BEST:: SOT 1105226 SOS 662602 HAS SOPS 662602 HAS SOUS 657128 HAS SOUPS 657128 WITH SCORE 657790.602
AT ITER 1036 NEW BEST:: SOT 1104184 SOS 661046 HAS SOPS 661046 HAS SOUS 655572 HAS SOUPS 655572 WITH SCORE 656233.046
AT ITER 1050 NEW BEST:: SOT 1103370 SOS 659702 HAS SOPS 659702 HAS SOUS 654228 HAS SOUPS 654228 WITH SCORE 654887.702
AT ITER 1052 NEW BEST:: SOT 1103822 SOS 658862 HAS SOPS 658862 HAS SOUS 653388 HAS SOUPS 653388 WITH SCORE 654046.862
AT ITER 1054 NEW BEST:: SOT 1103242 SOS 657878 HAS SOPS 657878 HAS SOUS 652404 HAS SOUPS 652404 WITH SCORE 653061.878
AT ITER 1061 NEW BEST:: SOT 1102464 SOS 656306 HAS SOPS 656306 HAS SOUS 650832 HAS SOUPS 650832 WITH SCORE 651488.306
AT ITER 1063 NEW BEST:: SOT 1101892 SOS 655466 HAS SOPS 655466 HAS SOUS 649992 HAS SOUPS 649992 WITH SCORE 650647.466
AT ITER 1064 NEW BEST:: SOT 1101312 SOS 654522 HAS SOPS 654522 HAS SOUS 649048 HAS SOUPS 649048 WITH SCORE 649702.522
AT ITER 1065 NEW BEST:: SOT 1100824 SOS 654072 HAS SOPS 654072 HAS SOUS 648598 HAS SOUPS 648598 WITH SCORE 649252.072
AT ITER 1066 NEW BEST:: SOT 1100394 SOS 652200 HAS SOPS 652200 HAS SOUS 646726 HAS SOUPS 646726 WITH SCORE 647378.2
AT ITER 1070 NEW BEST:: SOT 1100024 SOS 651460 HAS SOPS 651460 HAS SOUS 645986 HAS SOUPS 645986 WITH SCORE 646637.46
AT ITER 1074 NEW BEST:: SOT 1099242 SOS 650056 HAS SOPS 650056 HAS SOUS 644582 HAS SOUPS 644582 WITH SCORE 645232.056
AT ITER 1077 NEW BEST:: SOT 1098200 SOS 649836 HAS SOPS 649836 HAS SOUS 644362 HAS SOUPS 644362 WITH SCORE 645011.836
AT ITER 1086 NEW BEST:: SOT 1097652 SOS 648988 HAS SOPS 648988 HAS SOUS 643514 HAS SOUPS 643514 WITH SCORE 644162.988
AT ITER 1090 NEW BEST:: SOT 1097034 SOS 648394 HAS SOPS 648394 HAS SOUS 642920 HAS SOUPS 642920 WITH SCORE 643568.394
AT ITER 1091 NEW BEST:: SOT 1097260 SOS 647784 HAS SOPS 647784 HAS SOUS 642310 HAS SOUPS 642310 WITH SCORE 642957.784
AT ITER 1095 NEW BEST:: SOT 1097358 SOS 647736 HAS SOPS 647736 HAS SOUS 642262 HAS SOUPS 642262 WITH SCORE 642909.736
AT ITER 1096 NEW BEST:: SOT 1097358 SOS 647582 HAS SOPS 647582 HAS SOUS 642108 HAS SOUPS 642108 WITH SCORE 642755.582
AT ITER 1098 NEW BEST:: SOT 1096746 SOS 646594 HAS SOPS 646594 HAS SOUS 641120 HAS SOUPS 641120 WITH SCORE 641766.594
AT ITER 1103 NEW BEST:: SOT 1096746 SOS 646340 HAS SOPS 646340 HAS SOUS 640866 HAS SOUPS 640866 WITH SCORE 641512.34
AT ITER 1104 NEW BEST:: SOT 1096100 SOS 645738 HAS SOPS 645738 HAS SOUS 640264 HAS SOUPS 640264 WITH SCORE 640909.738
AT ITER 1107 NEW BEST:: SOT 1096100 SOS 645466 HAS SOPS 645466 HAS SOUS 639992 HAS SOUPS 639992 WITH SCORE 640637.466
AT ITER 1110 NEW BEST:: SOT 1096100 SOS 644770 HAS SOPS 644770 HAS SOUS 639296 HAS SOUPS 639296 WITH SCORE 639940.77
AT ITER 1111 NEW BEST:: SOT 1096100 SOS 644770 HAS SOPS 644770 HAS SOUS 639136 HAS SOUPS 639136 WITH SCORE 639780.77
AT ITER 1117 NEW BEST:: SOT 1095976 SOS 644646 HAS SOPS 644646 HAS SOUS 639012 HAS SOUPS 639012 WITH SCORE 639656.646
AT ITER 1118 NEW BEST:: SOT 1095786 SOS 644324 HAS SOPS 644324 HAS SOUS 638690 HAS SOUPS 638690 WITH SCORE 639334.324
AT ITER 1120 NEW BEST:: SOT 1095078 SOS 643060 HAS SOPS 643060 HAS SOUS 637426 HAS SOUPS 637426 WITH SCORE 638069.06
AT ITER 1121 NEW BEST:: SOT 1095030 SOS 643012 HAS SOPS 643012 HAS SOUS 637378 HAS SOUPS 637378 WITH SCORE 638021.012
AT ITER 1123 NEW BEST:: SOT 1095030 SOS 642876 HAS SOPS 642876 HAS SOUS 637242 HAS SOUPS 637242 WITH SCORE 637884.876
AT ITER 1124 NEW BEST:: SOT 1094952 SOS 642146 HAS SOPS 642146 HAS SOUS 636512 HAS SOUPS 636512 WITH SCORE 637154.146
AT ITER 1126 NEW BEST:: SOT 1094868 SOS 641476 HAS SOPS 641476 HAS SOUS 635842 HAS SOUPS 635842 WITH SCORE 636483.476
AT ITER 1129 NEW BEST:: SOT 1094374 SOS 641176 HAS SOPS 641176 HAS SOUS 635542 HAS SOUPS 635542 WITH SCORE 636183.176
AT ITER 1144 NEW BEST:: SOT 1094374 SOS 639880 HAS SOPS 639880 HAS SOUS 634246 HAS SOUPS 634246 WITH SCORE 634885.88
AT ITER 1146 NEW BEST:: SOT 1094790 SOS 639520 HAS SOPS 639520 HAS SOUS 633816 HAS SOUPS 633816 WITH SCORE 634455.52
AT ITER 1153 NEW BEST:: SOT 1094790 SOS 639290 HAS SOPS 639290 HAS SOUS 633586 HAS SOUPS 633586 WITH SCORE 634225.29
AT ITER 1156 NEW BEST:: SOT 1094328 SOS 637938 HAS SOPS 637938 HAS SOUS 632234 HAS SOUPS 632234 WITH SCORE 632871.938
AT ITER 1160 NEW BEST:: SOT 1093998 SOS 637608 HAS SOPS 637608 HAS SOUS 631904 HAS SOUPS 631904 WITH SCORE 632541.608
AT ITER 1164 NEW BEST:: SOT 1093998 SOS 637422 HAS SOPS 637422 HAS SOUS 631718 HAS SOUPS 631718 WITH SCORE 632355.422
AT ITER 1169 NEW BEST:: SOT 1093998 SOS 636598 HAS SOPS 636598 HAS SOUS 630894 HAS SOUPS 630894 WITH SCORE 631530.598
AT ITER 1172 NEW BEST:: SOT 1093778 SOS 636304 HAS SOPS 636304 HAS SOUS 630600 HAS SOUPS 630600 WITH SCORE 631236.304
AT ITER 1173 NEW BEST:: SOT 1093778 SOS 636110 HAS SOPS 636110 HAS SOUS 630406 HAS SOUPS 630406 WITH SCORE 631042.11
AT ITER 1176 NEW BEST:: SOT 1093246 SOS 635852 HAS SOPS 635852 HAS SOUS 630148 HAS SOUPS 630148 WITH SCORE 630783.852
AT ITER 1180 NEW BEST:: SOT 1093246 SOS 635630 HAS SOPS 635630 HAS SOUS 629926 HAS SOUPS 629926 WITH SCORE 630561.63
AT ITER 1181 NEW BEST:: SOT 1093246 SOS 635430 HAS SOPS 635430 HAS SOUS 629726 HAS SOUPS 629726 WITH SCORE 630361.43
AT ITER 1183 NEW BEST:: SOT 1092924 SOS 634908 HAS SOPS 634908 HAS SOUS 629204 HAS SOUPS 629204 WITH SCORE 629838.908
AT ITER 1188 NEW BEST:: SOT 1092302 SOS 633400 HAS SOPS 633400 HAS SOUS 627696 HAS SOUPS 627696 WITH SCORE 628329.4
AT ITER 1189 NEW BEST:: SOT 1091996 SOS 633094 HAS SOPS 633094 HAS SOUS 627390 HAS SOUPS 627390 WITH SCORE 628023.094
AT ITER 1191 NEW BEST:: SOT 1091992 SOS 633090 HAS SOPS 633090 HAS SOUS 627386 HAS SOUPS 627386 WITH SCORE 628019.09
AT ITER 1194 NEW BEST:: SOT 1091428 SOS 632138 HAS SOPS 632138 HAS SOUS 626434 HAS SOUPS 626434 WITH SCORE 627066.138
AT ITER 1205 NEW BEST:: SOT 1091386 SOS 632096 HAS SOPS 632096 HAS SOUS 626392 HAS SOUPS 626392 WITH SCORE 627024.096
AT ITER 1211 NEW BEST:: SOT 1090510 SOS 631220 HAS SOPS 631220 HAS SOUS 625516 HAS SOUPS 625516 WITH SCORE 626147.22
AT ITER 1212 NEW BEST:: SOT 1090314 SOS 631024 HAS SOPS 631024 HAS SOUS 625320 HAS SOUPS 625320 WITH SCORE 625951.024
AT ITER 1216 NEW BEST:: SOT 1089852 SOS 630290 HAS SOPS 630290 HAS SOUS 624586 HAS SOUPS 624586 WITH SCORE 625216.29
AT ITER 1218 NEW BEST:: SOT 1089852 SOS 630288 HAS SOPS 630288 HAS SOUS 624584 HAS SOUPS 624584 WITH SCORE 625214.288
AT ITER 1221 NEW BEST:: SOT 1089564 SOS 629972 HAS SOPS 629972 HAS SOUS 624268 HAS SOUPS 624268 WITH SCORE 624897.972
AT ITER 1222 NEW BEST:: SOT 1089564 SOS 629780 HAS SOPS 629780 HAS SOUS 624076 HAS SOUPS 624076 WITH SCORE 624705.78
AT ITER 1225 NEW BEST:: SOT 1089380 SOS 629596 HAS SOPS 629596 HAS SOUS 623892 HAS SOUPS 623892 WITH SCORE 624521.596
AT ITER 1228 NEW BEST:: SOT 1088596 SOS 628222 HAS SOPS 628222 HAS SOUS 622518 HAS SOUPS 622518 WITH SCORE 623146.222
AT ITER 1229 NEW BEST:: SOT 1088596 SOS 628196 HAS SOPS 628196 HAS SOUS 622492 HAS SOUPS 622492 WITH SCORE 623120.196
AT ITER 1231 NEW BEST:: SOT 1087874 SOS 627474 HAS SOPS 627474 HAS SOUS 621770 HAS SOUPS 621770 WITH SCORE 622397.474
AT ITER 1232 NEW BEST:: SOT 1087386 SOS 626498 HAS SOPS 626498 HAS SOUS 620794 HAS SOUPS 620794 WITH SCORE 621420.498
AT ITER 1239 NEW BEST:: SOT 1087238 SOS 626200 HAS SOPS 626200 HAS SOUS 620496 HAS SOUPS 620496 WITH SCORE 621122.2
AT ITER 1241 NEW BEST:: SOT 1087238 SOS 625926 HAS SOPS 625926 HAS SOUS 620222 HAS SOUPS 620222 WITH SCORE 620847.926
AT ITER 1246 NEW BEST:: SOT 1086962 SOS 625650 HAS SOPS 625650 HAS SOUS 619946 HAS SOUPS 619946 WITH SCORE 620571.65
AT ITER 1251 NEW BEST:: SOT 1086310 SOS 624346 HAS SOPS 624346 HAS SOUS 618642 HAS SOUPS 618642 WITH SCORE 619266.346
AT ITER 1256 NEW BEST:: SOT 1086310 SOS 624330 HAS SOPS 624330 HAS SOUS 618626 HAS SOUPS 618626 WITH SCORE 619250.33
AT ITER 1258 NEW BEST:: SOT 1086098 SOS 623906 HAS SOPS 623906 HAS SOUS 618202 HAS SOUPS 618202 WITH SCORE 618825.906
AT ITER 1262 NEW BEST:: SOT 1086098 SOS 623892 HAS SOPS 623892 HAS SOUS 618188 HAS SOUPS 618188 WITH SCORE 618811.892
AT ITER 1271 NEW BEST:: SOT 1086098 SOS 623832 HAS SOPS 623832 HAS SOUS 618128 HAS SOUPS 618128 WITH SCORE 618751.832
AT ITER 1275 NEW BEST:: SOT 1086362 SOS 623430 HAS SOPS 623430 HAS SOUS 617726 HAS SOUPS 617726 WITH SCORE 618349.43
AT ITER 1282 NEW BEST:: SOT 1086246 SOS 623314 HAS SOPS 623314 HAS SOUS 617610 HAS SOUPS 617610 WITH SCORE 618233.314
AT ITER 1283 NEW BEST:: SOT 1086092 SOS 623160 HAS SOPS 623160 HAS SOUS 617456 HAS SOUPS 617456 WITH SCORE 618079.16
AT ITER 1284 NEW BEST:: SOT 1085730 SOS 622504 HAS SOPS 622504 HAS SOUS 616800 HAS SOUPS 616800 WITH SCORE 617422.504
AT ITER 1295 NEW BEST:: SOT 1085046 SOS 621590 HAS SOPS 621590 HAS SOUS 615886 HAS SOUPS 615886 WITH SCORE 616507.59
AT ITER 1300 NEW BEST:: SOT 1084842 SOS 621116 HAS SOPS 621116 HAS SOUS 615412 HAS SOUPS 615412 WITH SCORE 616033.116
AT ITER 1301 NEW BEST:: SOT 1084206 SOS 620752 HAS SOPS 620752 HAS SOUS 615048 HAS SOUPS 615048 WITH SCORE 615668.752
AT ITER 1314 NEW BEST:: SOT 1084072 SOS 620618 HAS SOPS 620618 HAS SOUS 614914 HAS SOUPS 614914 WITH SCORE 615534.618
AT ITER 1318 NEW BEST:: SOT 1084072 SOS 620206 HAS SOPS 620206 HAS SOUS 614502 HAS SOUPS 614502 WITH SCORE 615122.206
AT ITER 1325 NEW BEST:: SOT 1083704 SOS 619838 HAS SOPS 619838 HAS SOUS 614134 HAS SOUPS 614134 WITH SCORE 614753.838
AT ITER 1329 NEW BEST:: SOT 1082808 SOS 618942 HAS SOPS 618942 HAS SOUS 611870 HAS SOUPS 611870 WITH SCORE 612488.942
AT ITER 1330 NEW BEST:: SOT 1082574 SOS 618708 HAS SOPS 618708 HAS SOUS 611636 HAS SOUPS 611636 WITH SCORE 612254.708
AT ITER 1337 NEW BEST:: SOT 1082560 SOS 618680 HAS SOPS 618680 HAS SOUS 611608 HAS SOUPS 611608 WITH SCORE 612226.68
AT ITER 1339 NEW BEST:: SOT 1082806 SOS 618626 HAS SOPS 618626 HAS SOUS 611554 HAS SOUPS 611554 WITH SCORE 612172.626
AT ITER 1340 NEW BEST:: SOT 1082750 SOS 620406 HAS SOPS 620406 HAS SOUS 610868 HAS SOUPS 610868 WITH SCORE 611488.406
AT ITER 1348 NEW BEST:: SOT 1081706 SOS 618572 HAS SOPS 618572 HAS SOUS 609034 HAS SOUPS 609034 WITH SCORE 609652.572
AT ITER 1351 NEW BEST:: SOT 1081590 SOS 617352 HAS SOPS 617352 HAS SOUS 607814 HAS SOUPS 607814 WITH SCORE 608431.352
AT ITER 1353 NEW BEST:: SOT 1080996 SOS 616710 HAS SOPS 616710 HAS SOUS 607172 HAS SOUPS 607172 WITH SCORE 607788.71
AT ITER 1356 NEW BEST:: SOT 1080996 SOS 615482 HAS SOPS 615482 HAS SOUS 605944 HAS SOUPS 605944 WITH SCORE 606559.482
AT ITER 1357 NEW BEST:: SOT 1080506 SOS 615036 HAS SOPS 615036 HAS SOUS 605498 HAS SOUPS 605498 WITH SCORE 606113.036
AT ITER 1360 NEW BEST:: SOT 1080506 SOS 614842 HAS SOPS 614842 HAS SOUS 605304 HAS SOUPS 605304 WITH SCORE 605918.842
AT ITER 1365 NEW BEST:: SOT 1080258 SOS 614594 HAS SOPS 614594 HAS SOUS 605056 HAS SOUPS 605056 WITH SCORE 605670.594
AT ITER 1370 NEW BEST:: SOT 1079560 SOS 613896 HAS SOPS 613896 HAS SOUS 604358 HAS SOUPS 604358 WITH SCORE 604971.896
AT ITER 1372 NEW BEST:: SOT 1079222 SOS 612700 HAS SOPS 612700 HAS SOUS 603162 HAS SOUPS 603162 WITH SCORE 603774.7
AT ITER 1373 NEW BEST:: SOT 1077918 SOS 610878 HAS SOPS 610878 HAS SOUS 601340 HAS SOUPS 601340 WITH SCORE 601950.878
AT ITER 1374 NEW BEST:: SOT 1078124 SOS 610268 HAS SOPS 610268 HAS SOUS 600730 HAS SOUPS 600730 WITH SCORE 601340.268
AT ITER 1376 NEW BEST:: SOT 1077240 SOS 607718 HAS SOPS 607718 HAS SOUS 598180 HAS SOUPS 598180 WITH SCORE 598787.718
AT ITER 1393 NEW BEST:: SOT 1076524 SOS 606686 HAS SOPS 606686 HAS SOUS 597148 HAS SOUPS 597148 WITH SCORE 597754.686
AT ITER 1396 NEW BEST:: SOT 1076666 SOS 606634 HAS SOPS 606634 HAS SOUS 597096 HAS SOUPS 597096 WITH SCORE 597702.634
AT ITER 1397 NEW BEST:: SOT 1076176 SOS 605654 HAS SOPS 605654 HAS SOUS 596116 HAS SOUPS 596116 WITH SCORE 596721.654
AT ITER 1399 NEW BEST:: SOT 1075748 SOS 604260 HAS SOPS 604260 HAS SOUS 594722 HAS SOUPS 594722 WITH SCORE 595326.26
AT ITER 1400 NEW BEST:: SOT 1075558 SOS 603922 HAS SOPS 603922 HAS SOUS 594384 HAS SOUPS 594384 WITH SCORE 594987.922
AT ITER 1411 NEW BEST:: SOT 1074598 SOS 602976 HAS SOPS 602976 HAS SOUS 593438 HAS SOUPS 593438 WITH SCORE 594040.976
AT ITER 1412 NEW BEST:: SOT 1074598 SOS 602670 HAS SOPS 602670 HAS SOUS 593132 HAS SOUPS 593132 WITH SCORE 593734.67
AT ITER 1417 NEW BEST:: SOT 1074372 SOS 602444 HAS SOPS 602444 HAS SOUS 592906 HAS SOUPS 592906 WITH SCORE 593508.444
AT ITER 1420 NEW BEST:: SOT 1074372 SOS 602302 HAS SOPS 602302 HAS SOUS 592764 HAS SOUPS 592764 WITH SCORE 593366.302
AT ITER 1422 NEW BEST:: SOT 1074372 SOS 601854 HAS SOPS 601854 HAS SOUS 592316 HAS SOUPS 592316 WITH SCORE 592917.854
AT ITER 1423 NEW BEST:: SOT 1074142 SOS 601624 HAS SOPS 601624 HAS SOUS 592086 HAS SOUPS 592086 WITH SCORE 592687.624
AT ITER 1426 NEW BEST:: SOT 1074142 SOS 599914 HAS SOPS 599914 HAS SOUS 590376 HAS SOUPS 590376 WITH SCORE 590975.914
AT ITER 1434 NEW BEST:: SOT 1073906 SOS 599490 HAS SOPS 599490 HAS SOUS 589952 HAS SOUPS 589952 WITH SCORE 590551.49
AT ITER 1436 NEW BEST:: SOT 1073610 SOS 598898 HAS SOPS 598898 HAS SOUS 589360 HAS SOUPS 589360 WITH SCORE 589958.898
AT ITER 1437 NEW BEST:: SOT 1073610 SOS 598892 HAS SOPS 598892 HAS SOUS 589354 HAS SOUPS 589354 WITH SCORE 589952.892
AT ITER 1439 NEW BEST:: SOT 1073610 SOS 598824 HAS SOPS 598824 HAS SOUS 589286 HAS SOUPS 589286 WITH SCORE 589884.824
AT ITER 1443 NEW BEST:: SOT 1073744 SOS 598634 HAS SOPS 598634 HAS SOUS 589096 HAS SOUPS 589096 WITH SCORE 589694.634
AT ITER 1449 NEW BEST:: SOT 1073590 SOS 598480 HAS SOPS 598480 HAS SOUS 588942 HAS SOUPS 588942 WITH SCORE 589540.48
AT ITER 1452 NEW BEST:: SOT 1073082 SOS 597652 HAS SOPS 597652 HAS SOUS 588114 HAS SOUPS 588114 WITH SCORE 588711.652
AT ITER 1458 NEW BEST:: SOT 1072392 SOS 596390 HAS SOPS 596390 HAS SOUS 586852 HAS SOUPS 586852 WITH SCORE 587448.39
AT ITER 1459 NEW BEST:: SOT 1072206 SOS 596272 HAS SOPS 596272 HAS SOUS 586734 HAS SOUPS 586734 WITH SCORE 587330.272
AT ITER 1461 NEW BEST:: SOT 1072158 SOS 595056 HAS SOPS 595056 HAS SOUS 585518 HAS SOUPS 585518 WITH SCORE 586113.056
AT ITER 1468 NEW BEST:: SOT 1071596 SOS 594494 HAS SOPS 594494 HAS SOUS 584956 HAS SOUPS 584956 WITH SCORE 585550.494
AT ITER 1470 NEW BEST:: SOT 1071676 SOS 594388 HAS SOPS 594388 HAS SOUS 584850 HAS SOUPS 584850 WITH SCORE 585444.388
AT ITER 1473 NEW BEST:: SOT 1071696 SOS 593770 HAS SOPS 593770 HAS SOUS 584232 HAS SOUPS 584232 WITH SCORE 584825.77
AT ITER 1477 NEW BEST:: SOT 1071696 SOS 593422 HAS SOPS 593422 HAS SOUS 583884 HAS SOUPS 583884 WITH SCORE 584477.422
AT ITER 1481 NEW BEST:: SOT 1071474 SOS 593200 HAS SOPS 593200 HAS SOUS 583662 HAS SOUPS 583662 WITH SCORE 584255.2
AT ITER 1482 NEW BEST:: SOT 1070836 SOS 591858 HAS SOPS 591858 HAS SOUS 582320 HAS SOUPS 582320 WITH SCORE 582911.858
AT ITER 1485 NEW BEST:: SOT 1070834 SOS 591856 HAS SOPS 591856 HAS SOUS 582318 HAS SOUPS 582318 WITH SCORE 582909.856
AT ITER 1487 NEW BEST:: SOT 1070520 SOS 591382 HAS SOPS 591382 HAS SOUS 581844 HAS SOUPS 581844 WITH SCORE 582435.382
AT ITER 1488 NEW BEST:: SOT 1070348 SOS 590466 HAS SOPS 590466 HAS SOUS 580928 HAS SOUPS 580928 WITH SCORE 581518.466
AT ITER 1493 NEW BEST:: SOT 1069306 SOS 589424 HAS SOPS 589424 HAS SOUS 579886 HAS SOUPS 579886 WITH SCORE 580475.424
AT ITER 1495 NEW BEST:: SOT 1068232 SOS 587320 HAS SOPS 587320 HAS SOUS 577782 HAS SOUPS 577782 WITH SCORE 578369.32
AT ITER 1503 NEW BEST:: SOT 1068576 SOS 586530 HAS SOPS 586530 HAS SOUS 576992 HAS SOUPS 576992 WITH SCORE 577578.53
AT ITER 1504 NEW BEST:: SOT 1068576 SOS 586086 HAS SOPS 586086 HAS SOUS 576618 HAS SOUPS 576618 WITH SCORE 577204.086
AT ITER 1508 NEW BEST:: SOT 1067192 SOS 584792 HAS SOPS 584792 HAS SOUS 575324 HAS SOUPS 575324 WITH SCORE 575908.792
AT ITER 1513 NEW BEST:: SOT 1066726 SOS 584420 HAS SOPS 584420 HAS SOUS 574952 HAS SOUPS 574952 WITH SCORE 575536.42
AT ITER 1514 NEW BEST:: SOT 1066360 SOS 583844 HAS SOPS 583844 HAS SOUS 574376 HAS SOUPS 574376 WITH SCORE 574959.844
AT ITER 1521 NEW BEST:: SOT 1065782 SOS 583086 HAS SOPS 583086 HAS SOUS 573618 HAS SOUPS 573618 WITH SCORE 574201.086
AT ITER 1530 NEW BEST:: SOT 1065656 SOS 582960 HAS SOPS 582960 HAS SOUS 573492 HAS SOUPS 573492 WITH SCORE 574074.96
AT ITER 1535 NEW BEST:: SOT 1065460 SOS 582764 HAS SOPS 582764 HAS SOUS 573296 HAS SOUPS 573296 WITH SCORE 573878.764
AT ITER 1538 NEW BEST:: SOT 1065460 SOS 582506 HAS SOPS 582506 HAS SOUS 573038 HAS SOUPS 573038 WITH SCORE 573620.506
AT ITER 1540 NEW BEST:: SOT 1065108 SOS 581950 HAS SOPS 581950 HAS SOUS 572482 HAS SOUPS 572482 WITH SCORE 573063.95
AT ITER 1543 NEW BEST:: SOT 1064942 SOS 581784 HAS SOPS 581784 HAS SOUS 572316 HAS SOUPS 572316 WITH SCORE 572897.784
AT ITER 1546 NEW BEST:: SOT 1064802 SOS 581666 HAS SOPS 581666 HAS SOUS 572198 HAS SOUPS 572198 WITH SCORE 572779.666
AT ITER 1549 NEW BEST:: SOT 1064760 SOS 580972 HAS SOPS 580972 HAS SOUS 571504 HAS SOUPS 571504 WITH SCORE 572084.972
AT ITER 1554 NEW BEST:: SOT 1064252 SOS 580084 HAS SOPS 580084 HAS SOUS 570616 HAS SOUPS 570616 WITH SCORE 571196.084
AT ITER 1558 NEW BEST:: SOT 1064006 SOS 579592 HAS SOPS 579592 HAS SOUS 570124 HAS SOUPS 570124 WITH SCORE 570703.592
AT ITER 1565 NEW BEST:: SOT 1064006 SOS 579368 HAS SOPS 579368 HAS SOUS 569900 HAS SOUPS 569900 WITH SCORE 570479.368
AT ITER 1570 NEW BEST:: SOT 1063944 SOS 579306 HAS SOPS 579306 HAS SOUS 569838 HAS SOUPS 569838 WITH SCORE 570417.306
AT ITER 1572 NEW BEST:: SOT 1063942 SOS 579304 HAS SOPS 579304 HAS SOUS 569836 HAS SOUPS 569836 WITH SCORE 570415.304
AT ITER 1578 NEW BEST:: SOT 1063300 SOS 578576 HAS SOPS 578576 HAS SOUS 569108 HAS SOUPS 569108 WITH SCORE 569686.576
AT ITER 1581 NEW BEST:: SOT 1063234 SOS 577782 HAS SOPS 577782 HAS SOUS 568314 HAS SOUPS 568314 WITH SCORE 568891.782
AT ITER 1582 NEW BEST:: SOT 1063150 SOS 577698 HAS SOPS 577698 HAS SOUS 568230 HAS SOUPS 568230 WITH SCORE 568807.698
AT ITER 1585 NEW BEST:: SOT 1062964 SOS 576178 HAS SOPS 576178 HAS SOUS 566710 HAS SOUPS 566710 WITH SCORE 567286.178
AT ITER 1591 NEW BEST:: SOT 1062830 SOS 574914 HAS SOPS 574914 HAS SOUS 565446 HAS SOUPS 565446 WITH SCORE 566020.914
AT ITER 1592 NEW BEST:: SOT 1062388 SOS 574472 HAS SOPS 574472 HAS SOUS 565004 HAS SOUPS 565004 WITH SCORE 565578.472
AT ITER 1595 NEW BEST:: SOT 1062148 SOS 574232 HAS SOPS 574232 HAS SOUS 564764 HAS SOUPS 564764 WITH SCORE 565338.232
AT ITER 1596 NEW BEST:: SOT 1062148 SOS 574162 HAS SOPS 574162 HAS SOUS 564694 HAS SOUPS 564694 WITH SCORE 565268.162
AT ITER 1597 NEW BEST:: SOT 1061986 SOS 574000 HAS SOPS 574000 HAS SOUS 564532 HAS SOUPS 564532 WITH SCORE 565106.0
AT ITER 1601 NEW BEST:: SOT 1061944 SOS 573788 HAS SOPS 573788 HAS SOUS 564320 HAS SOUPS 564320 WITH SCORE 564893.788
AT ITER 1604 NEW BEST:: SOT 1062328 SOS 573430 HAS SOPS 573430 HAS SOUS 563962 HAS SOUPS 563962 WITH SCORE 564535.43
AT ITER 1607 NEW BEST:: SOT 1062328 SOS 573260 HAS SOPS 573260 HAS SOUS 563792 HAS SOUPS 563792 WITH SCORE 564365.26
AT ITER 1608 NEW BEST:: SOT 1062276 SOS 573208 HAS SOPS 573208 HAS SOUS 563740 HAS SOUPS 563740 WITH SCORE 564313.208
AT ITER 1610 NEW BEST:: SOT 1061502 SOS 571874 HAS SOPS 571874 HAS SOUS 562406 HAS SOUPS 562406 WITH SCORE 562977.874
AT ITER 1614 NEW BEST:: SOT 1061358 SOS 571772 HAS SOPS 571772 HAS SOUS 562304 HAS SOUPS 562304 WITH SCORE 562875.772
AT ITER 1615 NEW BEST:: SOT 1061286 SOS 571700 HAS SOPS 571700 HAS SOUS 562232 HAS SOUPS 562232 WITH SCORE 562803.7
AT ITER 1623 NEW BEST:: SOT 1061286 SOS 571636 HAS SOPS 571636 HAS SOUS 562168 HAS SOUPS 562168 WITH SCORE 562739.636
AT ITER 1624 NEW BEST:: SOT 1061262 SOS 571110 HAS SOPS 571110 HAS SOUS 561642 HAS SOUPS 561642 WITH SCORE 562213.11
AT ITER 1625 NEW BEST:: SOT 1061346 SOS 571088 HAS SOPS 571088 HAS SOUS 561620 HAS SOUPS 561620 WITH SCORE 562191.088
AT ITER 1637 NEW BEST:: SOT 1060838 SOS 570580 HAS SOPS 570580 HAS SOUS 561112 HAS SOUPS 561112 WITH SCORE 561682.58
AT ITER 1642 NEW BEST:: SOT 1060838 SOS 570564 HAS SOPS 570564 HAS SOUS 561096 HAS SOUPS 561096 WITH SCORE 561666.564
AT ITER 1647 NEW BEST:: SOT 1060764 SOS 570452 HAS SOPS 570452 HAS SOUS 560984 HAS SOUPS 560984 WITH SCORE 561554.452
AT ITER 1650 NEW BEST:: SOT 1060764 SOS 569154 HAS SOPS 569154 HAS SOUS 559686 HAS SOUPS 559686 WITH SCORE 560255.154
AT ITER 1652 NEW BEST:: SOT 1060664 SOS 569054 HAS SOPS 569054 HAS SOUS 559586 HAS SOUPS 559586 WITH SCORE 560155.054
AT ITER 1654 NEW BEST:: SOT 1060664 SOS 568970 HAS SOPS 568970 HAS SOUS 559502 HAS SOUPS 559502 WITH SCORE 560070.97
AT ITER 1655 NEW BEST:: SOT 1060060 SOS 567846 HAS SOPS 567846 HAS SOUS 558378 HAS SOUPS 558378 WITH SCORE 558945.846
AT ITER 1658 NEW BEST:: SOT 1059466 SOS 567252 HAS SOPS 567252 HAS SOUS 557784 HAS SOUPS 557784 WITH SCORE 558351.252
AT ITER 1659 NEW BEST:: SOT 1059466 SOS 566722 HAS SOPS 566722 HAS SOUS 557254 HAS SOUPS 557254 WITH SCORE 557820.722
AT ITER 1660 NEW BEST:: SOT 1059242 SOS 566254 HAS SOPS 566254 HAS SOUS 556786 HAS SOUPS 556786 WITH SCORE 557352.254
AT ITER 1662 NEW BEST:: SOT 1058898 SOS 565526 HAS SOPS 565526 HAS SOUS 556058 HAS SOUPS 556058 WITH SCORE 556623.526
AT ITER 1668 NEW BEST:: SOT 1058546 SOS 565054 HAS SOPS 565054 HAS SOUS 555586 HAS SOUPS 555586 WITH SCORE 556151.054
AT ITER 1670 NEW BEST:: SOT 1058436 SOS 564944 HAS SOPS 564944 HAS SOUS 555476 HAS SOUPS 555476 WITH SCORE 556040.944
AT ITER 1679 NEW BEST:: SOT 1058174 SOS 564682 HAS SOPS 564682 HAS SOUS 555214 HAS SOUPS 555214 WITH SCORE 555778.682
AT ITER 1680 NEW BEST:: SOT 1057566 SOS 564074 HAS SOPS 564074 HAS SOUS 554606 HAS SOUPS 554606 WITH SCORE 555170.074
AT ITER 1682 NEW BEST:: SOT 1057542 SOS 564050 HAS SOPS 564050 HAS SOUS 554582 HAS SOUPS 554582 WITH SCORE 555146.05
AT ITER 1689 NEW BEST:: SOT 1057312 SOS 563772 HAS SOPS 563772 HAS SOUS 554304 HAS SOUPS 554304 WITH SCORE 554867.772
AT ITER 1697 NEW BEST:: SOT 1056982 SOS 563034 HAS SOPS 563034 HAS SOUS 553566 HAS SOUPS 553566 WITH SCORE 554129.034
AT ITER 1706 NEW BEST:: SOT 1056128 SOS 562180 HAS SOPS 562180 HAS SOUS 552712 HAS SOUPS 552712 WITH SCORE 553274.18
AT ITER 1707 NEW BEST:: SOT 1056128 SOS 561604 HAS SOPS 561604 HAS SOUS 552136 HAS SOUPS 552136 WITH SCORE 552697.604
AT ITER 1710 NEW BEST:: SOT 1056128 SOS 561466 HAS SOPS 561466 HAS SOUS 551998 HAS SOUPS 551998 WITH SCORE 552559.466
AT ITER 1714 NEW BEST:: SOT 1056128 SOS 560864 HAS SOPS 560864 HAS SOUS 551396 HAS SOUPS 551396 WITH SCORE 551956.864
AT ITER 1727 NEW BEST:: SOT 1056128 SOS 560802 HAS SOPS 560802 HAS SOUS 551334 HAS SOUPS 551334 WITH SCORE 551894.802
AT ITER 1730 NEW BEST:: SOT 1056128 SOS 560718 HAS SOPS 560718 HAS SOUS 551250 HAS SOUPS 551250 WITH SCORE 551810.718
AT ITER 1731 NEW BEST:: SOT 1054862 SOS 559270 HAS SOPS 559270 HAS SOUS 549802 HAS SOUPS 549802 WITH SCORE 550361.27
AT ITER 1734 NEW BEST:: SOT 1054640 SOS 559246 HAS SOPS 559246 HAS SOUS 549778 HAS SOUPS 549778 WITH SCORE 550337.246
AT ITER 1735 NEW BEST:: SOT 1054640 SOS 559212 HAS SOPS 559212 HAS SOUS 549744 HAS SOUPS 549744 WITH SCORE 550303.212
AT ITER 1736 NEW BEST:: SOT 1054640 SOS 558202 HAS SOPS 558202 HAS SOUS 548734 HAS SOUPS 548734 WITH SCORE 549292.202
AT ITER 1738 NEW BEST:: SOT 1054178 SOS 557698 HAS SOPS 557698 HAS SOUS 548230 HAS SOUPS 548230 WITH SCORE 548787.698
AT ITER 1740 NEW BEST:: SOT 1053744 SOS 557264 HAS SOPS 557264 HAS SOUS 547796 HAS SOUPS 547796 WITH SCORE 548353.264
AT ITER 1744 NEW BEST:: SOT 1053712 SOS 557232 HAS SOPS 557232 HAS SOUS 547764 HAS SOUPS 547764 WITH SCORE 548321.232
AT ITER 1753 NEW BEST:: SOT 1052830 SOS 555582 HAS SOPS 555582 HAS SOUS 546114 HAS SOUPS 546114 WITH SCORE 546669.582
AT ITER 1755 NEW BEST:: SOT 1052650 SOS 555402 HAS SOPS 555402 HAS SOUS 545934 HAS SOUPS 545934 WITH SCORE 546489.402
AT ITER 1756 NEW BEST:: SOT 1052650 SOS 554646 HAS SOPS 554646 HAS SOUS 545178 HAS SOUPS 545178 WITH SCORE 545732.646
AT ITER 1761 NEW BEST:: SOT 1052650 SOS 554426 HAS SOPS 554426 HAS SOUS 544958 HAS SOUPS 544958 WITH SCORE 545512.426
AT ITER 1774 NEW BEST:: SOT 1052650 SOS 555632 HAS SOPS 555632 HAS SOUS 544548 HAS SOUPS 544548 WITH SCORE 545103.632
AT ITER 1775 NEW BEST:: SOT 1051620 SOS 554584 HAS SOPS 554584 HAS SOUS 543500 HAS SOUPS 543500 WITH SCORE 544054.584
AT ITER 1781 NEW BEST:: SOT 1050834 SOS 553976 HAS SOPS 553976 HAS SOUS 542892 HAS SOUPS 542892 WITH SCORE 543445.976
AT ITER 1785 NEW BEST:: SOT 1050430 SOS 553572 HAS SOPS 553572 HAS SOUS 542488 HAS SOUPS 542488 WITH SCORE 543041.572
AT ITER 1786 NEW BEST:: SOT 1050430 SOS 552938 HAS SOPS 552938 HAS SOUS 541854 HAS SOUPS 541854 WITH SCORE 542406.938
AT ITER 1789 NEW BEST:: SOT 1049498 SOS 550520 HAS SOPS 550520 HAS SOUS 539436 HAS SOUPS 539436 WITH SCORE 539986.52
AT ITER 1792 NEW BEST:: SOT 1049316 SOS 550338 HAS SOPS 550338 HAS SOUS 539254 HAS SOUPS 539254 WITH SCORE 539804.338
AT ITER 1797 NEW BEST:: SOT 1049316 SOS 549732 HAS SOPS 549732 HAS SOUS 538648 HAS SOUPS 538648 WITH SCORE 539197.732
AT ITER 1798 NEW BEST:: SOT 1048618 SOS 549034 HAS SOPS 549034 HAS SOUS 537252 HAS SOUPS 537252 WITH SCORE 537801.034
AT ITER 1802 NEW BEST:: SOT 1048192 SOS 548544 HAS SOPS 548544 HAS SOUS 536762 HAS SOUPS 536762 WITH SCORE 537310.544
AT ITER 1803 NEW BEST:: SOT 1047708 SOS 547712 HAS SOPS 547712 HAS SOUS 535930 HAS SOUPS 535930 WITH SCORE 536477.712
AT ITER 1804 NEW BEST:: SOT 1047708 SOS 547406 HAS SOPS 547406 HAS SOUS 535624 HAS SOUPS 535624 WITH SCORE 536171.406
AT ITER 1805 NEW BEST:: SOT 1047644 SOS 547340 HAS SOPS 547340 HAS SOUS 535558 HAS SOUPS 535558 WITH SCORE 536105.34
AT ITER 1810 NEW BEST:: SOT 1047644 SOS 547260 HAS SOPS 547260 HAS SOUS 535478 HAS SOUPS 535478 WITH SCORE 536025.26
AT ITER 1811 NEW BEST:: SOT 1047570 SOS 546360 HAS SOPS 546360 HAS SOUS 534578 HAS SOUPS 534578 WITH SCORE 535124.36
AT ITER 1812 NEW BEST:: SOT 1046984 SOS 545394 HAS SOPS 545394 HAS SOUS 533612 HAS SOUPS 533612 WITH SCORE 534157.394
AT ITER 1823 NEW BEST:: SOT 1046954 SOS 545364 HAS SOPS 545364 HAS SOUS 533582 HAS SOUPS 533582 WITH SCORE 534127.364
AT ITER 1824 NEW BEST:: SOT 1046310 SOS 543918 HAS SOPS 543918 HAS SOUS 532136 HAS SOUPS 532136 WITH SCORE 532679.918
AT ITER 1828 NEW BEST:: SOT 1045042 SOS 541824 HAS SOPS 541824 HAS SOUS 530042 HAS SOUPS 530042 WITH SCORE 530583.824
AT ITER 1830 NEW BEST:: SOT 1044066 SOS 540848 HAS SOPS 540848 HAS SOUS 529066 HAS SOUPS 529066 WITH SCORE 529606.848
AT ITER 1832 NEW BEST:: SOT 1044116 SOS 540756 HAS SOPS 540756 HAS SOUS 528974 HAS SOUPS 528974 WITH SCORE 529514.756
AT ITER 1844 NEW BEST:: SOT 1044116 SOS 540546 HAS SOPS 540546 HAS SOUS 528764 HAS SOUPS 528764 WITH SCORE 529304.546
AT ITER 1847 NEW BEST:: SOT 1043954 SOS 540050 HAS SOPS 540050 HAS SOUS 528268 HAS SOUPS 528268 WITH SCORE 528808.05
AT ITER 1856 NEW BEST:: SOT 1044504 SOS 539712 HAS SOPS 539712 HAS SOUS 527930 HAS SOUPS 527930 WITH SCORE 528469.712
AT ITER 1858 NEW BEST:: SOT 1044692 SOS 539656 HAS SOPS 539656 HAS SOUS 527874 HAS SOUPS 527874 WITH SCORE 528413.656
AT ITER 1859 NEW BEST:: SOT 1044142 SOS 538552 HAS SOPS 538552 HAS SOUS 526770 HAS SOUPS 526770 WITH SCORE 527308.552
AT ITER 1861 NEW BEST:: SOT 1044320 SOS 538136 HAS SOPS 538136 HAS SOUS 526354 HAS SOUPS 526354 WITH SCORE 526892.136
AT ITER 1866 NEW BEST:: SOT 1044282 SOS 538098 HAS SOPS 538098 HAS SOUS 526316 HAS SOUPS 526316 WITH SCORE 526854.098
AT ITER 1867 NEW BEST:: SOT 1044190 SOS 538006 HAS SOPS 538006 HAS SOUS 526224 HAS SOUPS 526224 WITH SCORE 526762.006
AT ITER 1868 NEW BEST:: SOT 1044072 SOS 536996 HAS SOPS 536996 HAS SOUS 525214 HAS SOUPS 525214 WITH SCORE 525750.996
AT ITER 1872 NEW BEST:: SOT 1044024 SOS 536782 HAS SOPS 536782 HAS SOUS 525000 HAS SOUPS 525000 WITH SCORE 525536.782
AT ITER 1878 NEW BEST:: SOT 1044024 SOS 536418 HAS SOPS 536418 HAS SOUS 524636 HAS SOUPS 524636 WITH SCORE 525172.418
AT ITER 1882 NEW BEST:: SOT 1043728 SOS 535806 HAS SOPS 535806 HAS SOUS 524024 HAS SOUPS 524024 WITH SCORE 524559.806
AT ITER 1897 NEW BEST:: SOT 1043694 SOS 535772 HAS SOPS 535772 HAS SOUS 523990 HAS SOUPS 523990 WITH SCORE 524525.772
AT ITER 1898 NEW BEST:: SOT 1043694 SOS 535510 HAS SOPS 535510 HAS SOUS 523728 HAS SOUPS 523728 WITH SCORE 524263.51
AT ITER 1899 NEW BEST:: SOT 1043694 SOS 535454 HAS SOPS 535454 HAS SOUS 523672 HAS SOUPS 523672 WITH SCORE 524207.454
AT ITER 1901 NEW BEST:: SOT 1043436 SOS 535196 HAS SOPS 535196 HAS SOUS 523414 HAS SOUPS 523414 WITH SCORE 523949.196
AT ITER 1904 NEW BEST:: SOT 1043386 SOS 535158 HAS SOPS 535158 HAS SOUS 523376 HAS SOUPS 523376 WITH SCORE 523911.158
AT ITER 1909 NEW BEST:: SOT 1043082 SOS 535076 HAS SOPS 535076 HAS SOUS 523294 HAS SOUPS 523294 WITH SCORE 523829.076
AT ITER 1911 NEW BEST:: SOT 1043082 SOS 535062 HAS SOPS 535062 HAS SOUS 523294 HAS SOUPS 523294 WITH SCORE 523829.062
AT ITER 1913 NEW BEST:: SOT 1042714 SOS 534694 HAS SOPS 534694 HAS SOUS 522926 HAS SOUPS 522926 WITH SCORE 523460.694
AT ITER 1915 NEW BEST:: SOT 1042488 SOS 534312 HAS SOPS 534312 HAS SOUS 522544 HAS SOUPS 522544 WITH SCORE 523078.312
AT ITER 1921 NEW BEST:: SOT 1039862 SOS 531686 HAS SOPS 531686 HAS SOUS 519918 HAS SOUPS 519918 WITH SCORE 520449.686
AT ITER 1926 NEW BEST:: SOT 1039862 SOS 531586 HAS SOPS 531586 HAS SOUS 519818 HAS SOUPS 519818 WITH SCORE 520349.586
AT ITER 1931 NEW BEST:: SOT 1039322 SOS 529872 HAS SOPS 529872 HAS SOUS 518104 HAS SOUPS 518104 WITH SCORE 518633.872
AT ITER 1936 NEW BEST:: SOT 1039322 SOS 529340 HAS SOPS 529340 HAS SOUS 517572 HAS SOUPS 517572 WITH SCORE 518101.34
AT ITER 1940 NEW BEST:: SOT 1039322 SOS 529124 HAS SOPS 529124 HAS SOUS 517356 HAS SOUPS 517356 WITH SCORE 517885.124
AT ITER 1942 NEW BEST:: SOT 1039322 SOS 528800 HAS SOPS 528800 HAS SOUS 517032 HAS SOUPS 517032 WITH SCORE 517560.8
AT ITER 1947 NEW BEST:: SOT 1038402 SOS 527490 HAS SOPS 527490 HAS SOUS 515722 HAS SOUPS 515722 WITH SCORE 516249.49
AT ITER 1967 NEW BEST:: SOT 1037716 SOS 526482 HAS SOPS 526482 HAS SOUS 514714 HAS SOUPS 514714 WITH SCORE 515240.482
AT ITER 1969 NEW BEST:: SOT 1037608 SOS 526160 HAS SOPS 526160 HAS SOUS 514392 HAS SOUPS 514392 WITH SCORE 514918.16
AT ITER 1974 NEW BEST:: SOT 1037740 SOS 526052 HAS SOPS 526052 HAS SOUS 514284 HAS SOUPS 514284 WITH SCORE 514810.052
AT ITER 1980 NEW BEST:: SOT 1037716 SOS 526028 HAS SOPS 526028 HAS SOUS 514260 HAS SOUPS 514260 WITH SCORE 514786.028
AT ITER 1987 NEW BEST:: SOT 1037716 SOS 525912 HAS SOPS 525912 HAS SOUS 514144 HAS SOUPS 514144 WITH SCORE 514669.912
AT ITER 1989 NEW BEST:: SOT 1037296 SOS 525064 HAS SOPS 525064 HAS SOUS 513296 HAS SOUPS 513296 WITH SCORE 513821.064
AT ITER 1998 NEW BEST:: SOT 1037296 SOS 524776 HAS SOPS 524776 HAS SOUS 513008 HAS SOUPS 513008 WITH SCORE 513532.776
AT ITER 2000 NEW BEST:: SOT 1037296 SOS 524490 HAS SOPS 524490 HAS SOUS 512722 HAS SOUPS 512722 WITH SCORE 513246.49
AT ITER 2006 NEW BEST:: SOT 1037326 SOS 524446 HAS SOPS 524446 HAS SOUS 512678 HAS SOUPS 512678 WITH SCORE 513202.446
AT ITER 2010 NEW BEST:: SOT 1037048 SOS 524094 HAS SOPS 524094 HAS SOUS 512326 HAS SOUPS 512326 WITH SCORE 512850.094
AT ITER 2013 NEW BEST:: SOT 1036700 SOS 523398 HAS SOPS 523398 HAS SOUS 511630 HAS SOUPS 511630 WITH SCORE 512153.398
AT ITER 2014 NEW BEST:: SOT 1035584 SOS 521812 HAS SOPS 521812 HAS SOUS 510044 HAS SOUPS 510044 WITH SCORE 510565.812
AT ITER 2017 NEW BEST:: SOT 1035524 SOS 521692 HAS SOPS 521692 HAS SOUS 509924 HAS SOUPS 509924 WITH SCORE 510445.692
AT ITER 2021 NEW BEST:: SOT 1035524 SOS 521400 HAS SOPS 521400 HAS SOUS 509632 HAS SOUPS 509632 WITH SCORE 510153.4
AT ITER 2024 NEW BEST:: SOT 1035516 SOS 521392 HAS SOPS 521392 HAS SOUS 509624 HAS SOUPS 509624 WITH SCORE 510145.392
AT ITER 2031 NEW BEST:: SOT 1035516 SOS 520876 HAS SOPS 520876 HAS SOUS 509108 HAS SOUPS 509108 WITH SCORE 509628.876
AT ITER 2032 NEW BEST:: SOT 1035392 SOS 520628 HAS SOPS 520628 HAS SOUS 508860 HAS SOUPS 508860 WITH SCORE 509380.628
AT ITER 2035 NEW BEST:: SOT 1035392 SOS 520292 HAS SOPS 520292 HAS SOUS 508524 HAS SOUPS 508524 WITH SCORE 509044.292
AT ITER 2036 NEW BEST:: SOT 1035048 SOS 518158 HAS SOPS 518158 HAS SOUS 506390 HAS SOUPS 506390 WITH SCORE 506908.158
AT ITER 2037 NEW BEST:: SOT 1034268 SOS 516810 HAS SOPS 516810 HAS SOUS 505046 HAS SOUPS 505046 WITH SCORE 505562.81
AT ITER 2039 NEW BEST:: SOT 1034168 SOS 516710 HAS SOPS 516710 HAS SOUS 504946 HAS SOUPS 504946 WITH SCORE 505462.71
AT ITER 2040 NEW BEST:: SOT 1033334 SOS 515594 HAS SOPS 515594 HAS SOUS 503830 HAS SOUPS 503830 WITH SCORE 504345.594
AT ITER 2050 NEW BEST:: SOT 1033272 SOS 515532 HAS SOPS 515532 HAS SOUS 503768 HAS SOUPS 503768 WITH SCORE 504283.532
AT ITER 2052 NEW BEST:: SOT 1033324 SOS 515444 HAS SOPS 515444 HAS SOUS 503680 HAS SOUPS 503680 WITH SCORE 504195.444
AT ITER 2054 NEW BEST:: SOT 1032912 SOS 513918 HAS SOPS 513918 HAS SOUS 502154 HAS SOUPS 502154 WITH SCORE 502667.918
AT ITER 2055 NEW BEST:: SOT 1032524 SOS 513530 HAS SOPS 513530 HAS SOUS 501766 HAS SOUPS 501766 WITH SCORE 502279.53
AT ITER 2065 NEW BEST:: SOT 1032362 SOS 513368 HAS SOPS 513368 HAS SOUS 501604 HAS SOUPS 501604 WITH SCORE 502117.368
AT ITER 2075 NEW BEST:: SOT 1032040 SOS 513146 HAS SOPS 513146 HAS SOUS 501382 HAS SOUPS 501382 WITH SCORE 501895.146
AT ITER 2076 NEW BEST:: SOT 1032040 SOS 512878 HAS SOPS 512878 HAS SOUS 501114 HAS SOUPS 501114 WITH SCORE 501626.878
AT ITER 2077 NEW BEST:: SOT 1031982 SOS 512598 HAS SOPS 512598 HAS SOUS 500834 HAS SOUPS 500834 WITH SCORE 501346.598
AT ITER 2090 NEW BEST:: SOT 1031536 SOS 512152 HAS SOPS 512152 HAS SOUS 500388 HAS SOUPS 500388 WITH SCORE 500900.152
AT ITER 2101 NEW BEST:: SOT 1031536 SOS 512064 HAS SOPS 512064 HAS SOUS 500300 HAS SOUPS 500300 WITH SCORE 500812.064
AT ITER 2107 NEW BEST:: SOT 1030908 SOS 511436 HAS SOPS 511436 HAS SOUS 499672 HAS SOUPS 499672 WITH SCORE 500183.436
AT ITER 2108 NEW BEST:: SOT 1030652 SOS 510970 HAS SOPS 510970 HAS SOUS 499206 HAS SOUPS 499206 WITH SCORE 499716.97
AT ITER 2109 NEW BEST:: SOT 1030044 SOS 510362 HAS SOPS 510362 HAS SOUS 498598 HAS SOUPS 498598 WITH SCORE 499108.362
AT ITER 2110 NEW BEST:: SOT 1030418 SOS 510134 HAS SOPS 510134 HAS SOUS 498370 HAS SOUPS 498370 WITH SCORE 498880.134
AT ITER 2114 NEW BEST:: SOT 1030418 SOS 510102 HAS SOPS 510102 HAS SOUS 498338 HAS SOUPS 498338 WITH SCORE 498848.102
AT ITER 2115 NEW BEST:: SOT 1030360 SOS 510044 HAS SOPS 510044 HAS SOUS 498280 HAS SOUPS 498280 WITH SCORE 498790.044
AT ITER 2119 NEW BEST:: SOT 1030360 SOS 510042 HAS SOPS 510042 HAS SOUS 498278 HAS SOUPS 498278 WITH SCORE 498788.042
AT ITER 2125 NEW BEST:: SOT 1030124 SOS 509806 HAS SOPS 509806 HAS SOUS 498042 HAS SOUPS 498042 WITH SCORE 498551.806
AT ITER 2128 NEW BEST:: SOT 1029414 SOS 508386 HAS SOPS 508386 HAS SOUS 496622 HAS SOUPS 496622 WITH SCORE 497130.386
AT ITER 2131 NEW BEST:: SOT 1029170 SOS 508142 HAS SOPS 508142 HAS SOUS 496378 HAS SOUPS 496378 WITH SCORE 496886.142
AT ITER 2132 NEW BEST:: SOT 1029170 SOS 507726 HAS SOPS 507726 HAS SOUS 495962 HAS SOUPS 495962 WITH SCORE 496469.726
AT ITER 2134 NEW BEST:: SOT 1029060 SOS 507616 HAS SOPS 507616 HAS SOUS 495852 HAS SOUPS 495852 WITH SCORE 496359.616
AT ITER 2141 NEW BEST:: SOT 1028954 SOS 506728 HAS SOPS 506728 HAS SOUS 494964 HAS SOUPS 494964 WITH SCORE 495470.728
AT ITER 2144 NEW BEST:: SOT 1028954 SOS 506616 HAS SOPS 506616 HAS SOUS 494852 HAS SOUPS 494852 WITH SCORE 495358.616
AT ITER 2147 NEW BEST:: SOT 1028856 SOS 506112 HAS SOPS 506112 HAS SOUS 494348 HAS SOUPS 494348 WITH SCORE 494854.112
AT ITER 2154 NEW BEST:: SOT 1028704 SOS 505960 HAS SOPS 505960 HAS SOUS 494196 HAS SOUPS 494196 WITH SCORE 494701.96
AT ITER 2157 NEW BEST:: SOT 1028704 SOS 505712 HAS SOPS 505712 HAS SOUS 493948 HAS SOUPS 493948 WITH SCORE 494453.712
AT ITER 2166 NEW BEST:: SOT 1028202 SOS 505210 HAS SOPS 505210 HAS SOUS 493446 HAS SOUPS 493446 WITH SCORE 493951.21
AT ITER 2167 NEW BEST:: SOT 1027546 SOS 504162 HAS SOPS 504162 HAS SOUS 492398 HAS SOUPS 492398 WITH SCORE 492902.162
AT ITER 2170 NEW BEST:: SOT 1027408 SOS 503810 HAS SOPS 503810 HAS SOUS 492046 HAS SOUPS 492046 WITH SCORE 492549.81
AT ITER 2182 NEW BEST:: SOT 1027408 SOS 503552 HAS SOPS 503552 HAS SOUS 491788 HAS SOUPS 491788 WITH SCORE 492291.552
AT ITER 2189 NEW BEST:: SOT 1027366 SOS 503324 HAS SOPS 503324 HAS SOUS 491560 HAS SOUPS 491560 WITH SCORE 492063.324
AT ITER 2193 NEW BEST:: SOT 1027178 SOS 502350 HAS SOPS 502350 HAS SOUS 490586 HAS SOUPS 490586 WITH SCORE 491088.35
AT ITER 2197 NEW BEST:: SOT 1027024 SOS 502136 HAS SOPS 502136 HAS SOUS 490372 HAS SOUPS 490372 WITH SCORE 490874.136
AT ITER 2214 NEW BEST:: SOT 1025982 SOS 500568 HAS SOPS 500568 HAS SOUS 488804 HAS SOUPS 488804 WITH SCORE 489304.568
AT ITER 2223 NEW BEST:: SOT 1026132 SOS 500140 HAS SOPS 500140 HAS SOUS 488376 HAS SOUPS 488376 WITH SCORE 488876.14
AT ITER 2224 NEW BEST:: SOT 1025880 SOS 499888 HAS SOPS 499888 HAS SOUS 488124 HAS SOUPS 488124 WITH SCORE 488623.888
AT ITER 2225 NEW BEST:: SOT 1025570 SOS 499220 HAS SOPS 499220 HAS SOUS 487456 HAS SOUPS 487456 WITH SCORE 487955.22
AT ITER 2226 NEW BEST:: SOT 1025366 SOS 498768 HAS SOPS 498768 HAS SOUS 487004 HAS SOUPS 487004 WITH SCORE 487502.768
AT ITER 2227 NEW BEST:: SOT 1025366 SOS 497838 HAS SOPS 497838 HAS SOUS 486074 HAS SOUPS 486074 WITH SCORE 486571.838
AT ITER 2231 NEW BEST:: SOT 1025366 SOS 497768 HAS SOPS 497768 HAS SOUS 486004 HAS SOUPS 486004 WITH SCORE 486501.768
AT ITER 2238 NEW BEST:: SOT 1025366 SOS 497482 HAS SOPS 497482 HAS SOUS 485718 HAS SOUPS 485718 WITH SCORE 486215.482
AT ITER 2240 NEW BEST:: SOT 1024822 SOS 496684 HAS SOPS 496684 HAS SOUS 484920 HAS SOUPS 484920 WITH SCORE 485416.684
AT ITER 2244 NEW BEST:: SOT 1024756 SOS 496618 HAS SOPS 496618 HAS SOUS 484854 HAS SOUPS 484854 WITH SCORE 485350.618
AT ITER 2249 NEW BEST:: SOT 1024590 SOS 496420 HAS SOPS 496420 HAS SOUS 484656 HAS SOUPS 484656 WITH SCORE 485152.42
AT ITER 2250 NEW BEST:: SOT 1024132 SOS 495962 HAS SOPS 495962 HAS SOUS 484198 HAS SOUPS 484198 WITH SCORE 484693.962
AT ITER 2254 NEW BEST:: SOT 1024132 SOS 495482 HAS SOPS 495482 HAS SOUS 483718 HAS SOUPS 483718 WITH SCORE 484213.482
AT ITER 2258 NEW BEST:: SOT 1024164 SOS 495236 HAS SOPS 495236 HAS SOUS 483472 HAS SOUPS 483472 WITH SCORE 483967.236
AT ITER 2259 NEW BEST:: SOT 1023742 SOS 493984 HAS SOPS 493984 HAS SOUS 482220 HAS SOUPS 482220 WITH SCORE 482713.984
AT ITER 2264 NEW BEST:: SOT 1023742 SOS 493658 HAS SOPS 493658 HAS SOUS 481894 HAS SOUPS 481894 WITH SCORE 482387.658
AT ITER 2265 NEW BEST:: SOT 1023738 SOS 493654 HAS SOPS 493654 HAS SOUS 481890 HAS SOUPS 481890 WITH SCORE 482383.654
AT ITER 2268 NEW BEST:: SOT 1024220 SOS 493594 HAS SOPS 493594 HAS SOUS 481830 HAS SOUPS 481830 WITH SCORE 482323.594
AT ITER 2270 NEW BEST:: SOT 1024220 SOS 493530 HAS SOPS 493530 HAS SOUS 481766 HAS SOUPS 481766 WITH SCORE 482259.53
AT ITER 2271 NEW BEST:: SOT 1023898 SOS 492196 HAS SOPS 492196 HAS SOUS 480432 HAS SOUPS 480432 WITH SCORE 480924.196
AT ITER 2272 NEW BEST:: SOT 1023648 SOS 491822 HAS SOPS 491822 HAS SOUS 480058 HAS SOUPS 480058 WITH SCORE 480549.822
AT ITER 2274 NEW BEST:: SOT 1022004 SOS 490224 HAS SOPS 490224 HAS SOUS 478460 HAS SOUPS 478460 WITH SCORE 478950.224
AT ITER 2276 NEW BEST:: SOT 1021968 SOS 490188 HAS SOPS 490188 HAS SOUS 478424 HAS SOUPS 478424 WITH SCORE 478914.188
AT ITER 2280 NEW BEST:: SOT 1021146 SOS 489618 HAS SOPS 489618 HAS SOUS 477854 HAS SOUPS 477854 WITH SCORE 478343.618
AT ITER 2283 NEW BEST:: SOT 1020864 SOS 489382 HAS SOPS 489382 HAS SOUS 477618 HAS SOUPS 477618 WITH SCORE 478107.382
AT ITER 2285 NEW BEST:: SOT 1020672 SOS 489046 HAS SOPS 489046 HAS SOUS 477282 HAS SOUPS 477282 WITH SCORE 477771.046
AT ITER 2286 NEW BEST:: SOT 1020026 SOS 488638 HAS SOPS 488638 HAS SOUS 476874 HAS SOUPS 476874 WITH SCORE 477362.638
AT ITER 2287 NEW BEST:: SOT 1019966 SOS 488550 HAS SOPS 488550 HAS SOUS 476786 HAS SOUPS 476786 WITH SCORE 477274.55
AT ITER 2288 NEW BEST:: SOT 1019494 SOS 487606 HAS SOPS 487606 HAS SOUS 475842 HAS SOUPS 475842 WITH SCORE 476329.606
AT ITER 2294 NEW BEST:: SOT 1019494 SOS 487546 HAS SOPS 487546 HAS SOUS 475782 HAS SOUPS 475782 WITH SCORE 476269.546
AT ITER 2296 NEW BEST:: SOT 1018822 SOS 486396 HAS SOPS 486396 HAS SOUS 474632 HAS SOUPS 474632 WITH SCORE 475118.396
AT ITER 2303 NEW BEST:: SOT 1018616 SOS 486112 HAS SOPS 486112 HAS SOUS 474348 HAS SOUPS 474348 WITH SCORE 474834.112
AT ITER 2316 NEW BEST:: SOT 1018320 SOS 485816 HAS SOPS 485816 HAS SOUS 474052 HAS SOUPS 474052 WITH SCORE 474537.816
AT ITER 2326 NEW BEST:: SOT 1018320 SOS 485796 HAS SOPS 485796 HAS SOUS 474032 HAS SOUPS 474032 WITH SCORE 474517.796
AT ITER 2333 NEW BEST:: SOT 1018294 SOS 485476 HAS SOPS 485476 HAS SOUS 473712 HAS SOUPS 473712 WITH SCORE 474197.476
AT ITER 2334 NEW BEST:: SOT 1018568 SOS 485174 HAS SOPS 485174 HAS SOUS 473410 HAS SOUPS 473410 WITH SCORE 473895.174
AT ITER 2339 NEW BEST:: SOT 1018530 SOS 485136 HAS SOPS 485136 HAS SOUS 473372 HAS SOUPS 473372 WITH SCORE 473857.136
AT ITER 2340 NEW BEST:: SOT 1018530 SOS 484948 HAS SOPS 484948 HAS SOUS 473184 HAS SOUPS 473184 WITH SCORE 473668.948
AT ITER 2342 NEW BEST:: SOT 1018530 SOS 484886 HAS SOPS 484886 HAS SOUS 473122 HAS SOUPS 473122 WITH SCORE 473606.886
AT ITER 2348 NEW BEST:: SOT 1018530 SOS 484580 HAS SOPS 484580 HAS SOUS 472816 HAS SOUPS 472816 WITH SCORE 473300.58
AT ITER 2353 NEW BEST:: SOT 1018530 SOS 484248 HAS SOPS 484248 HAS SOUS 472484 HAS SOUPS 472484 WITH SCORE 472968.248
AT ITER 2360 NEW BEST:: SOT 1018146 SOS 483864 HAS SOPS 483864 HAS SOUS 472100 HAS SOUPS 472100 WITH SCORE 472583.864
AT ITER 2372 NEW BEST:: SOT 1017858 SOS 483272 HAS SOPS 483272 HAS SOUS 471508 HAS SOUPS 471508 WITH SCORE 471991.272
AT ITER 2382 NEW BEST:: SOT 1017846 SOS 482950 HAS SOPS 482950 HAS SOUS 471186 HAS SOUPS 471186 WITH SCORE 471668.95
AT ITER 2383 NEW BEST:: SOT 1017846 SOS 482918 HAS SOPS 482918 HAS SOUS 471154 HAS SOUPS 471154 WITH SCORE 471636.918
AT ITER 2386 NEW BEST:: SOT 1017822 SOS 482894 HAS SOPS 482894 HAS SOUS 471130 HAS SOUPS 471130 WITH SCORE 471612.894
AT ITER 2387 NEW BEST:: SOT 1017822 SOS 482630 HAS SOPS 482630 HAS SOUS 470866 HAS SOUPS 470866 WITH SCORE 471348.63
AT ITER 2401 NEW BEST:: SOT 1017244 SOS 481826 HAS SOPS 481826 HAS SOUS 470062 HAS SOUPS 470062 WITH SCORE 470543.826
AT ITER 2405 NEW BEST:: SOT 1016854 SOS 481392 HAS SOPS 481392 HAS SOUS 469628 HAS SOUPS 469628 WITH SCORE 470109.392
AT ITER 2409 NEW BEST:: SOT 1016682 SOS 481292 HAS SOPS 481292 HAS SOUS 469528 HAS SOUPS 469528 WITH SCORE 470009.292
AT ITER 2422 NEW BEST:: SOT 1015184 SOS 479194 HAS SOPS 479194 HAS SOUS 467430 HAS SOUPS 467430 WITH SCORE 467909.194
AT ITER 2427 NEW BEST:: SOT 1015196 SOS 479100 HAS SOPS 479100 HAS SOUS 467336 HAS SOUPS 467336 WITH SCORE 467815.1
AT ITER 2431 NEW BEST:: SOT 1014350 SOS 478208 HAS SOPS 478208 HAS SOUS 466444 HAS SOUPS 466444 WITH SCORE 466922.208
AT ITER 2433 NEW BEST:: SOT 1014174 SOS 477900 HAS SOPS 477900 HAS SOUS 466136 HAS SOUPS 466136 WITH SCORE 466613.9
AT ITER 2434 NEW BEST:: SOT 1014154 SOS 477880 HAS SOPS 477880 HAS SOUS 466116 HAS SOUPS 466116 WITH SCORE 466593.88
AT ITER 2438 NEW BEST:: SOT 1014050 SOS 477776 HAS SOPS 477776 HAS SOUS 466012 HAS SOUPS 466012 WITH SCORE 466489.776
AT ITER 2446 NEW BEST:: SOT 1014050 SOS 477536 HAS SOPS 477536 HAS SOUS 465772 HAS SOUPS 465772 WITH SCORE 466249.536
AT ITER 2448 NEW BEST:: SOT 1014000 SOS 477486 HAS SOPS 477486 HAS SOUS 465722 HAS SOUPS 465722 WITH SCORE 466199.486
AT ITER 2450 NEW BEST:: SOT 1013788 SOS 477274 HAS SOPS 477274 HAS SOUS 465510 HAS SOUPS 465510 WITH SCORE 465987.274
AT ITER 2453 NEW BEST:: SOT 1012998 SOS 476316 HAS SOPS 476316 HAS SOUS 464552 HAS SOUPS 464552 WITH SCORE 465028.316
AT ITER 2468 NEW BEST:: SOT 1012974 SOS 476292 HAS SOPS 476292 HAS SOUS 464528 HAS SOUPS 464528 WITH SCORE 465004.292
AT ITER 2470 NEW BEST:: SOT 1011908 SOS 474354 HAS SOPS 474354 HAS SOUS 462590 HAS SOUPS 462590 WITH SCORE 463064.354
AT ITER 2471 NEW BEST:: SOT 1011908 SOS 473906 HAS SOPS 473906 HAS SOUS 462142 HAS SOUPS 462142 WITH SCORE 462615.906
AT ITER 2478 NEW BEST:: SOT 1011508 SOS 473266 HAS SOPS 473266 HAS SOUS 461502 HAS SOUPS 461502 WITH SCORE 461975.266
AT ITER 2481 NEW BEST:: SOT 1011344 SOS 473102 HAS SOPS 473102 HAS SOUS 461338 HAS SOUPS 461338 WITH SCORE 461811.102
AT ITER 2482 NEW BEST:: SOT 1011216 SOS 472974 HAS SOPS 472974 HAS SOUS 461210 HAS SOUPS 461210 WITH SCORE 461682.974
AT ITER 2486 NEW BEST:: SOT 1010706 SOS 472490 HAS SOPS 472490 HAS SOUS 460726 HAS SOUPS 460726 WITH SCORE 461198.49
AT ITER 2498 NEW BEST:: SOT 1010604 SOS 471892 HAS SOPS 471892 HAS SOUS 460128 HAS SOUPS 460128 WITH SCORE 460599.892
AT ITER 2510 NEW BEST:: SOT 1010122 SOS 471410 HAS SOPS 471410 HAS SOUS 459646 HAS SOUPS 459646 WITH SCORE 460117.41
AT ITER 2523 NEW BEST:: SOT 1008670 SOS 469958 HAS SOPS 469958 HAS SOUS 458194 HAS SOUPS 458194 WITH SCORE 458663.958
AT ITER 2533 NEW BEST:: SOT 1008670 SOS 469400 HAS SOPS 469400 HAS SOUS 457636 HAS SOUPS 457636 WITH SCORE 458105.4
AT ITER 2534 NEW BEST:: SOT 1008670 SOS 469954 HAS SOPS 469954 HAS SOUS 457396 HAS SOUPS 457396 WITH SCORE 457865.954
AT ITER 2535 NEW BEST:: SOT 1008670 SOS 469404 HAS SOPS 469404 HAS SOUS 456846 HAS SOUPS 456846 WITH SCORE 457315.404
AT ITER 2540 NEW BEST:: SOT 1008284 SOS 468550 HAS SOPS 468550 HAS SOUS 455992 HAS SOUPS 455992 WITH SCORE 456460.55
AT ITER 2546 NEW BEST:: SOT 1008238 SOS 468180 HAS SOPS 468180 HAS SOUS 455622 HAS SOUPS 455622 WITH SCORE 456090.18
AT ITER 2547 NEW BEST:: SOT 1007756 SOS 467698 HAS SOPS 467698 HAS SOUS 455140 HAS SOUPS 455140 WITH SCORE 455607.698
AT ITER 2548 NEW BEST:: SOT 1007456 SOS 467398 HAS SOPS 467398 HAS SOUS 454840 HAS SOUPS 454840 WITH SCORE 455307.398
AT ITER 2550 NEW BEST:: SOT 1006658 SOS 466400 HAS SOPS 466400 HAS SOUS 453842 HAS SOUPS 453842 WITH SCORE 454308.4
AT ITER 2555 NEW BEST:: SOT 1006658 SOS 466286 HAS SOPS 466286 HAS SOUS 453728 HAS SOUPS 453728 WITH SCORE 454194.286
AT ITER 2557 NEW BEST:: SOT 1006630 SOS 466258 HAS SOPS 466258 HAS SOUS 453700 HAS SOUPS 453700 WITH SCORE 454166.258
AT ITER 2558 NEW BEST:: SOT 1006596 SOS 466224 HAS SOPS 466224 HAS SOUS 453666 HAS SOUPS 453666 WITH SCORE 454132.224
AT ITER 2561 NEW BEST:: SOT 1006558 SOS 465944 HAS SOPS 465944 HAS SOUS 453386 HAS SOUPS 453386 WITH SCORE 453851.944
AT ITER 2571 NEW BEST:: SOT 1006558 SOS 465834 HAS SOPS 465834 HAS SOUS 453276 HAS SOUPS 453276 WITH SCORE 453741.834
AT ITER 2576 NEW BEST:: SOT 1006558 SOS 464864 HAS SOPS 464864 HAS SOUS 452306 HAS SOUPS 452306 WITH SCORE 452770.864
AT ITER 2577 NEW BEST:: SOT 1006558 SOS 464862 HAS SOPS 464862 HAS SOUS 452304 HAS SOUPS 452304 WITH SCORE 452768.862
AT ITER 2578 NEW BEST:: SOT 1005766 SOS 464070 HAS SOPS 464070 HAS SOUS 451512 HAS SOUPS 451512 WITH SCORE 451976.07
AT ITER 2579 NEW BEST:: SOT 1005764 SOS 464068 HAS SOPS 464068 HAS SOUS 451510 HAS SOUPS 451510 WITH SCORE 451974.068
AT ITER 2582 NEW BEST:: SOT 1005758 SOS 464062 HAS SOPS 464062 HAS SOUS 451504 HAS SOUPS 451504 WITH SCORE 451968.062
AT ITER 2585 NEW BEST:: SOT 1005694 SOS 463998 HAS SOPS 463998 HAS SOUS 451440 HAS SOUPS 451440 WITH SCORE 451903.998
AT ITER 2592 NEW BEST:: SOT 1005272 SOS 463308 HAS SOPS 463308 HAS SOUS 450750 HAS SOUPS 450750 WITH SCORE 451213.308
AT ITER 2594 NEW BEST:: SOT 1005272 SOS 462942 HAS SOPS 462942 HAS SOUS 450384 HAS SOUPS 450384 WITH SCORE 450846.942
AT ITER 2598 NEW BEST:: SOT 1005178 SOS 462642 HAS SOPS 462642 HAS SOUS 450084 HAS SOUPS 450084 WITH SCORE 450546.642
AT ITER 2610 NEW BEST:: SOT 1005178 SOS 462560 HAS SOPS 462560 HAS SOUS 450002 HAS SOUPS 450002 WITH SCORE 450464.56
AT ITER 2619 NEW BEST:: SOT 1005026 SOS 461946 HAS SOPS 461946 HAS SOUS 449388 HAS SOUPS 449388 WITH SCORE 449849.946
AT ITER 2627 NEW BEST:: SOT 1005026 SOS 461668 HAS SOPS 461668 HAS SOUS 449110 HAS SOUPS 449110 WITH SCORE 449571.668
AT ITER 2628 NEW BEST:: SOT 1005026 SOS 461568 HAS SOPS 461568 HAS SOUS 449010 HAS SOUPS 449010 WITH SCORE 449471.568
AT ITER 2630 NEW BEST:: SOT 1004370 SOS 461230 HAS SOPS 461230 HAS SOUS 448672 HAS SOUPS 448672 WITH SCORE 449133.23
AT ITER 2637 NEW BEST:: SOT 1004300 SOS 461160 HAS SOPS 461160 HAS SOUS 448602 HAS SOUPS 448602 WITH SCORE 449063.16
AT ITER 2641 NEW BEST:: SOT 1004388 SOS 460792 HAS SOPS 460792 HAS SOUS 448234 HAS SOUPS 448234 WITH SCORE 448694.792
AT ITER 2643 NEW BEST:: SOT 1004388 SOS 460538 HAS SOPS 460538 HAS SOUS 447980 HAS SOUPS 447980 WITH SCORE 448440.538
AT ITER 2644 NEW BEST:: SOT 1004308 SOS 460390 HAS SOPS 460390 HAS SOUS 447832 HAS SOUPS 447832 WITH SCORE 448292.39
AT ITER 2647 NEW BEST:: SOT 1004308 SOS 460250 HAS SOPS 460250 HAS SOUS 447692 HAS SOUPS 447692 WITH SCORE 448152.25
AT ITER 2649 NEW BEST:: SOT 1004058 SOS 459672 HAS SOPS 459672 HAS SOUS 447114 HAS SOUPS 447114 WITH SCORE 447573.672
AT ITER 2656 NEW BEST:: SOT 1003246 SOS 458048 HAS SOPS 458048 HAS SOUS 445490 HAS SOUPS 445490 WITH SCORE 445948.048
AT ITER 2657 NEW BEST:: SOT 1003176 SOS 457978 HAS SOPS 457978 HAS SOUS 445420 HAS SOUPS 445420 WITH SCORE 445877.978
AT ITER 2663 NEW BEST:: SOT 1003176 SOS 457972 HAS SOPS 457972 HAS SOUS 445414 HAS SOUPS 445414 WITH SCORE 445871.972
AT ITER 2670 NEW BEST:: SOT 1002708 SOS 456802 HAS SOPS 456802 HAS SOUS 444244 HAS SOUPS 444244 WITH SCORE 444700.802
AT ITER 2673 NEW BEST:: SOT 1002678 SOS 456474 HAS SOPS 456474 HAS SOUS 443916 HAS SOUPS 443916 WITH SCORE 444372.474
AT ITER 2674 NEW BEST:: SOT 1002298 SOS 456222 HAS SOPS 456222 HAS SOUS 443664 HAS SOUPS 443664 WITH SCORE 444120.222
AT ITER 2675 NEW BEST:: SOT 1002298 SOS 455900 HAS SOPS 455900 HAS SOUS 443342 HAS SOUPS 443342 WITH SCORE 443797.9
AT ITER 2679 NEW BEST:: SOT 1002298 SOS 455750 HAS SOPS 455750 HAS SOUS 443192 HAS SOUPS 443192 WITH SCORE 443647.75
AT ITER 2680 NEW BEST:: SOT 1001610 SOS 454866 HAS SOPS 454866 HAS SOUS 442308 HAS SOUPS 442308 WITH SCORE 442762.866
AT ITER 2685 NEW BEST:: SOT 1001610 SOS 454844 HAS SOPS 454844 HAS SOUS 442286 HAS SOUPS 442286 WITH SCORE 442740.844
AT ITER 2686 NEW BEST:: SOT 1001560 SOS 454794 HAS SOPS 454794 HAS SOUS 442236 HAS SOUPS 442236 WITH SCORE 442690.794
AT ITER 2692 NEW BEST:: SOT 1001432 SOS 454612 HAS SOPS 454612 HAS SOUS 442054 HAS SOUPS 442054 WITH SCORE 442508.612
AT ITER 2697 NEW BEST:: SOT 1001400 SOS 454584 HAS SOPS 454584 HAS SOUS 442026 HAS SOUPS 442026 WITH SCORE 442480.584
AT ITER 2707 NEW BEST:: SOT 1001392 SOS 454576 HAS SOPS 454576 HAS SOUS 442018 HAS SOUPS 442018 WITH SCORE 442472.576
AT ITER 2711 NEW BEST:: SOT 1000726 SOS 453910 HAS SOPS 453910 HAS SOUS 441352 HAS SOUPS 441352 WITH SCORE 441805.91
AT ITER 2720 NEW BEST:: SOT 1000740 SOS 453438 HAS SOPS 453438 HAS SOUS 440880 HAS SOUPS 440880 WITH SCORE 441333.438
AT ITER 2723 NEW BEST:: SOT 1000202 SOS 452900 HAS SOPS 452900 HAS SOUS 440342 HAS SOUPS 440342 WITH SCORE 440794.9
AT ITER 2724 NEW BEST:: SOT 999476 SOS 451386 HAS SOPS 451386 HAS SOUS 438828 HAS SOUPS 438828 WITH SCORE 439279.386
AT ITER 2733 NEW BEST:: SOT 999476 SOS 451246 HAS SOPS 451246 HAS SOUS 438688 HAS SOUPS 438688 WITH SCORE 439139.246
AT ITER 2736 NEW BEST:: SOT 998544 SOS 450314 HAS SOPS 450314 HAS SOUS 437756 HAS SOUPS 437756 WITH SCORE 438206.314
AT ITER 2740 NEW BEST:: SOT 998324 SOS 449962 HAS SOPS 449962 HAS SOUS 437404 HAS SOUPS 437404 WITH SCORE 437853.962
AT ITER 2745 NEW BEST:: SOT 998324 SOS 449468 HAS SOPS 449468 HAS SOUS 436910 HAS SOUPS 436910 WITH SCORE 437359.468
AT ITER 2746 NEW BEST:: SOT 998324 SOS 449376 HAS SOPS 449376 HAS SOUS 436818 HAS SOUPS 436818 WITH SCORE 437267.376
AT ITER 2754 NEW BEST:: SOT 998324 SOS 448566 HAS SOPS 448566 HAS SOUS 436008 HAS SOUPS 436008 WITH SCORE 436456.566
AT ITER 2768 NEW BEST:: SOT 998264 SOS 448506 HAS SOPS 448506 HAS SOUS 435948 HAS SOUPS 435948 WITH SCORE 436396.506
AT ITER 2777 NEW BEST:: SOT 998194 SOS 448458 HAS SOPS 448458 HAS SOUS 435900 HAS SOUPS 435900 WITH SCORE 436348.458
AT ITER 2785 NEW BEST:: SOT 998118 SOS 448382 HAS SOPS 448382 HAS SOUS 435824 HAS SOUPS 435824 WITH SCORE 436272.382
AT ITER 2793 NEW BEST:: SOT 997900 SOS 447814 HAS SOPS 447814 HAS SOUS 435256 HAS SOUPS 435256 WITH SCORE 435703.814
AT ITER 2801 NEW BEST:: SOT 997900 SOS 447564 HAS SOPS 447564 HAS SOUS 435006 HAS SOUPS 435006 WITH SCORE 435453.564
AT ITER 2802 NEW BEST:: SOT 997612 SOS 447264 HAS SOPS 447264 HAS SOUS 434706 HAS SOUPS 434706 WITH SCORE 435153.264
AT ITER 2814 NEW BEST:: SOT 997398 SOS 446810 HAS SOPS 446810 HAS SOUS 434252 HAS SOUPS 434252 WITH SCORE 434698.81
AT ITER 2819 NEW BEST:: SOT 997104 SOS 446222 HAS SOPS 446222 HAS SOUS 433664 HAS SOUPS 433664 WITH SCORE 434110.222
AT ITER 2823 NEW BEST:: SOT 997056 SOS 446174 HAS SOPS 446174 HAS SOUS 433616 HAS SOUPS 433616 WITH SCORE 434062.174
AT ITER 2827 NEW BEST:: SOT 996584 SOS 445164 HAS SOPS 445164 HAS SOUS 432606 HAS SOUPS 432606 WITH SCORE 433051.164
AT ITER 2832 NEW BEST:: SOT 996584 SOS 445094 HAS SOPS 445094 HAS SOUS 432536 HAS SOUPS 432536 WITH SCORE 432981.094
AT ITER 2844 NEW BEST:: SOT 996584 SOS 445034 HAS SOPS 445034 HAS SOUS 432476 HAS SOUPS 432476 WITH SCORE 432921.034
AT ITER 2851 NEW BEST:: SOT 995924 SOS 443622 HAS SOPS 443622 HAS SOUS 431064 HAS SOUPS 431064 WITH SCORE 431507.622
AT ITER 2853 NEW BEST:: SOT 995924 SOS 443408 HAS SOPS 443408 HAS SOUS 430850 HAS SOUPS 430850 WITH SCORE 431293.408
AT ITER 2858 NEW BEST:: SOT 995924 SOS 443102 HAS SOPS 443102 HAS SOUS 430544 HAS SOUPS 430544 WITH SCORE 430987.102
AT ITER 2860 NEW BEST:: SOT 995904 SOS 443082 HAS SOPS 443082 HAS SOUS 430524 HAS SOUPS 430524 WITH SCORE 430967.082
AT ITER 2868 NEW BEST:: SOT 995904 SOS 442924 HAS SOPS 442924 HAS SOUS 430366 HAS SOUPS 430366 WITH SCORE 430808.924
AT ITER 2889 NEW BEST:: SOT 995888 SOS 442908 HAS SOPS 442908 HAS SOUS 430350 HAS SOUPS 430350 WITH SCORE 430792.908
AT ITER 2894 NEW BEST:: SOT 995166 SOS 441404 HAS SOPS 441404 HAS SOUS 428846 HAS SOUPS 428846 WITH SCORE 429287.404
AT ITER 2895 NEW BEST:: SOT 995166 SOS 441298 HAS SOPS 441298 HAS SOUS 428740 HAS SOUPS 428740 WITH SCORE 429181.298
AT ITER 2896 NEW BEST:: SOT 994790 SOS 440922 HAS SOPS 440922 HAS SOUS 428364 HAS SOUPS 428364 WITH SCORE 428804.922
AT ITER 2901 NEW BEST:: SOT 994800 SOS 439868 HAS SOPS 439868 HAS SOUS 427310 HAS SOUPS 427310 WITH SCORE 427749.868
AT ITER 2905 NEW BEST:: SOT 994800 SOS 439826 HAS SOPS 439826 HAS SOUS 427268 HAS SOUPS 427268 WITH SCORE 427707.826
AT ITER 2920 NEW BEST:: SOT 994762 SOS 439640 HAS SOPS 439640 HAS SOUS 427082 HAS SOUPS 427082 WITH SCORE 427521.64
AT ITER 2931 NEW BEST:: SOT 994548 SOS 439426 HAS SOPS 439426 HAS SOUS 426868 HAS SOUPS 426868 WITH SCORE 427307.426
AT ITER 2932 NEW BEST:: SOT 994468 SOS 439274 HAS SOPS 439274 HAS SOUS 426716 HAS SOUPS 426716 WITH SCORE 427155.274
AT ITER 2934 NEW BEST:: SOT 994314 SOS 439120 HAS SOPS 439120 HAS SOUS 426562 HAS SOUPS 426562 WITH SCORE 427001.12
AT ITER 2937 NEW BEST:: SOT 994262 SOS 438368 HAS SOPS 438368 HAS SOUS 425810 HAS SOUPS 425810 WITH SCORE 426248.368
AT ITER 2939 NEW BEST:: SOT 993456 SOS 437824 HAS SOPS 437824 HAS SOUS 425266 HAS SOUPS 425266 WITH SCORE 425703.824
AT ITER 2941 NEW BEST:: SOT 993456 SOS 437748 HAS SOPS 437748 HAS SOUS 425190 HAS SOUPS 425190 WITH SCORE 425627.748
AT ITER 2942 NEW BEST:: SOT 993214 SOS 437506 HAS SOPS 437506 HAS SOUS 424948 HAS SOUPS 424948 WITH SCORE 425385.506
AT ITER 2944 NEW BEST:: SOT 993200 SOS 437492 HAS SOPS 437492 HAS SOUS 424934 HAS SOUPS 424934 WITH SCORE 425371.492
AT ITER 2946 NEW BEST:: SOT 993132 SOS 437424 HAS SOPS 437424 HAS SOUS 424866 HAS SOUPS 424866 WITH SCORE 425303.424
AT ITER 2947 NEW BEST:: SOT 991502 SOS 435748 HAS SOPS 435748 HAS SOUS 423190 HAS SOUPS 423190 WITH SCORE 423625.748
AT ITER 2952 NEW BEST:: SOT 991332 SOS 435438 HAS SOPS 435438 HAS SOUS 422880 HAS SOUPS 422880 WITH SCORE 423315.438
AT ITER 2968 NEW BEST:: SOT 991136 SOS 435242 HAS SOPS 435242 HAS SOUS 422684 HAS SOUPS 422684 WITH SCORE 423119.242
AT ITER 2980 NEW BEST:: SOT 990942 SOS 434694 HAS SOPS 434694 HAS SOUS 422136 HAS SOUPS 422136 WITH SCORE 422570.694
AT ITER 2991 NEW BEST:: SOT 990816 SOS 434568 HAS SOPS 434568 HAS SOUS 422010 HAS SOUPS 422010 WITH SCORE 422444.568
AT ITER 2997 NEW BEST:: SOT 990816 SOS 434474 HAS SOPS 434474 HAS SOUS 421916 HAS SOUPS 421916 WITH SCORE 422350.474
AT ITER 3000 NEW BEST:: SOT 990400 SOS 433642 HAS SOPS 433642 HAS SOUS 421084 HAS SOUPS 421084 WITH SCORE 421517.642
AT ITER 3005 NEW BEST:: SOT 990140 SOS 433342 HAS SOPS 433342 HAS SOUS 420784 HAS SOUPS 420784 WITH SCORE 421217.342
AT ITER 3010 NEW BEST:: SOT 989670 SOS 432872 HAS SOPS 432872 HAS SOUS 420314 HAS SOUPS 420314 WITH SCORE 420746.872
AT ITER 3019 NEW BEST:: SOT 989318 SOS 431356 HAS SOPS 431356 HAS SOUS 418798 HAS SOUPS 418798 WITH SCORE 419229.356
AT ITER 3037 NEW BEST:: SOT 989084 SOS 430980 HAS SOPS 430980 HAS SOUS 418422 HAS SOUPS 418422 WITH SCORE 418852.98
AT ITER 3038 NEW BEST:: SOT 989084 SOS 430900 HAS SOPS 430900 HAS SOUS 418342 HAS SOUPS 418342 WITH SCORE 418772.9
AT ITER 3042 NEW BEST:: SOT 988572 SOS 430388 HAS SOPS 430388 HAS SOUS 417830 HAS SOUPS 417830 WITH SCORE 418260.388
AT ITER 3044 NEW BEST:: SOT 988572 SOS 430268 HAS SOPS 430268 HAS SOUS 417710 HAS SOUPS 417710 WITH SCORE 418140.268
AT ITER 3053 NEW BEST:: SOT 988434 SOS 430396 HAS SOPS 430396 HAS SOUS 417318 HAS SOUPS 417318 WITH SCORE 417748.396
AT ITER 3054 NEW BEST:: SOT 988434 SOS 430396 HAS SOPS 430396 HAS SOUS 416604 HAS SOUPS 416604 WITH SCORE 417034.396
AT ITER 3066 NEW BEST:: SOT 988222 SOS 430184 HAS SOPS 430184 HAS SOUS 416392 HAS SOUPS 416392 WITH SCORE 416822.184
AT ITER 3069 NEW BEST:: SOT 988222 SOS 429838 HAS SOPS 429838 HAS SOUS 416046 HAS SOUPS 416046 WITH SCORE 416475.838
AT ITER 3079 NEW BEST:: SOT 988120 SOS 429634 HAS SOPS 429634 HAS SOUS 415842 HAS SOUPS 415842 WITH SCORE 416271.634
AT ITER 3086 NEW BEST:: SOT 987886 SOS 428782 HAS SOPS 428782 HAS SOUS 414990 HAS SOUPS 414990 WITH SCORE 415418.782
AT ITER 3103 NEW BEST:: SOT 987886 SOS 428356 HAS SOPS 428356 HAS SOUS 414564 HAS SOUPS 414564 WITH SCORE 414992.356
AT ITER 3105 NEW BEST:: SOT 987472 SOS 427918 HAS SOPS 427918 HAS SOUS 414126 HAS SOUPS 414126 WITH SCORE 414553.918
AT ITER 3106 NEW BEST:: SOT 987352 SOS 427798 HAS SOPS 427798 HAS SOUS 414006 HAS SOUPS 414006 WITH SCORE 414433.798
AT ITER 3107 NEW BEST:: SOT 986856 SOS 427256 HAS SOPS 427256 HAS SOUS 413464 HAS SOUPS 413464 WITH SCORE 413891.256
AT ITER 3112 NEW BEST:: SOT 986492 SOS 426566 HAS SOPS 426566 HAS SOUS 412774 HAS SOUPS 412774 WITH SCORE 413200.566
AT ITER 3118 NEW BEST:: SOT 986236 SOS 426310 HAS SOPS 426310 HAS SOUS 412518 HAS SOUPS 412518 WITH SCORE 412944.31
AT ITER 3126 NEW BEST:: SOT 986204 SOS 426278 HAS SOPS 426278 HAS SOUS 412486 HAS SOUPS 412486 WITH SCORE 412912.278
AT ITER 3129 NEW BEST:: SOT 986204 SOS 426170 HAS SOPS 426170 HAS SOUS 412378 HAS SOUPS 412378 WITH SCORE 412804.17
AT ITER 3131 NEW BEST:: SOT 985652 SOS 424698 HAS SOPS 424698 HAS SOUS 410906 HAS SOUPS 410906 WITH SCORE 411330.698
AT ITER 3133 NEW BEST:: SOT 985464 SOS 424510 HAS SOPS 424510 HAS SOUS 410718 HAS SOUPS 410718 WITH SCORE 411142.51
AT ITER 3134 NEW BEST:: SOT 985368 SOS 424414 HAS SOPS 424414 HAS SOUS 410622 HAS SOUPS 410622 WITH SCORE 411046.414
AT ITER 3142 NEW BEST:: SOT 985368 SOS 424380 HAS SOPS 424380 HAS SOUS 410588 HAS SOUPS 410588 WITH SCORE 411012.38
AT ITER 3161 NEW BEST:: SOT 985368 SOS 424326 HAS SOPS 424326 HAS SOUS 410534 HAS SOUPS 410534 WITH SCORE 410958.326
AT ITER 3195 NEW BEST:: SOT 984878 SOS 423258 HAS SOPS 423258 HAS SOUS 409466 HAS SOUPS 409466 WITH SCORE 409889.258
AT ITER 3197 NEW BEST:: SOT 984876 SOS 423254 HAS SOPS 423254 HAS SOUS 409462 HAS SOUPS 409462 WITH SCORE 409885.254
AT ITER 3198 NEW BEST:: SOT 984498 SOS 422876 HAS SOPS 422876 HAS SOUS 409084 HAS SOUPS 409084 WITH SCORE 409506.876
AT ITER 3200 NEW BEST:: SOT 984358 SOS 422736 HAS SOPS 422736 HAS SOUS 408944 HAS SOUPS 408944 WITH SCORE 409366.736
AT ITER 3201 NEW BEST:: SOT 984358 SOS 422110 HAS SOPS 422110 HAS SOUS 408318 HAS SOUPS 408318 WITH SCORE 408740.11
AT ITER 3205 NEW BEST:: SOT 984300 SOS 421680 HAS SOPS 421680 HAS SOUS 407888 HAS SOUPS 407888 WITH SCORE 408309.68
AT ITER 3219 NEW BEST:: SOT 984182 SOS 421406 HAS SOPS 421406 HAS SOUS 407614 HAS SOUPS 407614 WITH SCORE 408035.406
AT ITER 3224 NEW BEST:: SOT 984182 SOS 421058 HAS SOPS 421058 HAS SOUS 407266 HAS SOUPS 407266 WITH SCORE 407687.058
AT ITER 3227 NEW BEST:: SOT 983550 SOS 420426 HAS SOPS 420426 HAS SOUS 406634 HAS SOUPS 406634 WITH SCORE 407054.426
AT ITER 3231 NEW BEST:: SOT 983422 SOS 420298 HAS SOPS 420298 HAS SOUS 406506 HAS SOUPS 406506 WITH SCORE 406926.298
AT ITER 3232 NEW BEST:: SOT 982756 SOS 419632 HAS SOPS 419632 HAS SOUS 405840 HAS SOUPS 405840 WITH SCORE 406259.632
AT ITER 3247 NEW BEST:: SOT 982756 SOS 419364 HAS SOPS 419364 HAS SOUS 405572 HAS SOUPS 405572 WITH SCORE 405991.364
AT ITER 3248 NEW BEST:: SOT 983048 SOS 419288 HAS SOPS 419288 HAS SOUS 405496 HAS SOUPS 405496 WITH SCORE 405915.288
AT ITER 3259 NEW BEST:: SOT 982490 SOS 418522 HAS SOPS 418522 HAS SOUS 404730 HAS SOUPS 404730 WITH SCORE 405148.522
AT ITER 3260 NEW BEST:: SOT 982320 SOS 418096 HAS SOPS 418096 HAS SOUS 404304 HAS SOUPS 404304 WITH SCORE 404722.096
AT ITER 3263 NEW BEST:: SOT 982320 SOS 418046 HAS SOPS 418046 HAS SOUS 404254 HAS SOUPS 404254 WITH SCORE 404672.046
AT ITER 3268 NEW BEST:: SOT 982320 SOS 417924 HAS SOPS 417924 HAS SOUS 404132 HAS SOUPS 404132 WITH SCORE 404549.924
AT ITER 3275 NEW BEST:: SOT 982320 SOS 417790 HAS SOPS 417790 HAS SOUS 403998 HAS SOUPS 403998 WITH SCORE 404415.79
AT ITER 3292 NEW BEST:: SOT 982164 SOS 417546 HAS SOPS 417546 HAS SOUS 403754 HAS SOUPS 403754 WITH SCORE 404171.546
AT ITER 3297 NEW BEST:: SOT 982020 SOS 416896 HAS SOPS 416896 HAS SOUS 403104 HAS SOUPS 403104 WITH SCORE 403520.896
AT ITER 3302 NEW BEST:: SOT 981714 SOS 416734 HAS SOPS 416734 HAS SOUS 402942 HAS SOUPS 402942 WITH SCORE 403358.734
AT ITER 3303 NEW BEST:: SOT 981616 SOS 416538 HAS SOPS 416538 HAS SOUS 402746 HAS SOUPS 402746 WITH SCORE 403162.538
AT ITER 3309 NEW BEST:: SOT 981496 SOS 416418 HAS SOPS 416418 HAS SOUS 402626 HAS SOUPS 402626 WITH SCORE 403042.418
AT ITER 3317 NEW BEST:: SOT 981220 SOS 416142 HAS SOPS 416142 HAS SOUS 402350 HAS SOUPS 402350 WITH SCORE 402766.142
AT ITER 3323 NEW BEST:: SOT 981220 SOS 415722 HAS SOPS 415722 HAS SOUS 401930 HAS SOUPS 401930 WITH SCORE 402345.722
AT ITER 3325 NEW BEST:: SOT 981078 SOS 415580 HAS SOPS 415580 HAS SOUS 401788 HAS SOUPS 401788 WITH SCORE 402203.58
AT ITER 3326 NEW BEST:: SOT 980954 SOS 415456 HAS SOPS 415456 HAS SOUS 401664 HAS SOUPS 401664 WITH SCORE 402079.456
AT ITER 3334 NEW BEST:: SOT 980846 SOS 415240 HAS SOPS 415240 HAS SOUS 401448 HAS SOUPS 401448 WITH SCORE 401863.24
AT ITER 3348 NEW BEST:: SOT 980996 SOS 414708 HAS SOPS 414708 HAS SOUS 400916 HAS SOUPS 400916 WITH SCORE 401330.708
AT ITER 3350 NEW BEST:: SOT 980788 SOS 414292 HAS SOPS 414292 HAS SOUS 400500 HAS SOUPS 400500 WITH SCORE 400914.292
AT ITER 3359 NEW BEST:: SOT 980752 SOS 414256 HAS SOPS 414256 HAS SOUS 400464 HAS SOUPS 400464 WITH SCORE 400878.256
AT ITER 3360 NEW BEST:: SOT 980736 SOS 414100 HAS SOPS 414100 HAS SOUS 400308 HAS SOUPS 400308 WITH SCORE 400722.1
AT ITER 3361 NEW BEST:: SOT 980562 SOS 413788 HAS SOPS 413788 HAS SOUS 399996 HAS SOUPS 399996 WITH SCORE 400409.788
AT ITER 3362 NEW BEST:: SOT 980562 SOS 413594 HAS SOPS 413594 HAS SOUS 399802 HAS SOUPS 399802 WITH SCORE 400215.594
AT ITER 3365 NEW BEST:: SOT 980012 SOS 413044 HAS SOPS 413044 HAS SOUS 399252 HAS SOUPS 399252 WITH SCORE 399665.044
AT ITER 3366 NEW BEST:: SOT 980012 SOS 413474 HAS SOPS 413474 HAS SOUS 399008 HAS SOUPS 399008 WITH SCORE 399421.474
AT ITER 3373 NEW BEST:: SOT 979834 SOS 412754 HAS SOPS 412754 HAS SOUS 398288 HAS SOUPS 398288 WITH SCORE 398700.754
AT ITER 3374 NEW BEST:: SOT 979900 SOS 412674 HAS SOPS 412674 HAS SOUS 398208 HAS SOUPS 398208 WITH SCORE 398620.674
AT ITER 3377 NEW BEST:: SOT 979538 SOS 412186 HAS SOPS 412186 HAS SOUS 397720 HAS SOUPS 397720 WITH SCORE 398132.186
AT ITER 3378 NEW BEST:: SOT 979434 SOS 411786 HAS SOPS 411786 HAS SOUS 397320 HAS SOUPS 397320 WITH SCORE 397731.786
AT ITER 3391 NEW BEST:: SOT 979434 SOS 411784 HAS SOPS 411784 HAS SOUS 397318 HAS SOUPS 397318 WITH SCORE 397729.784
AT ITER 3392 NEW BEST:: SOT 979314 SOS 411544 HAS SOPS 411544 HAS SOUS 397078 HAS SOUPS 397078 WITH SCORE 397489.544
AT ITER 3408 NEW BEST:: SOT 979154 SOS 411384 HAS SOPS 411384 HAS SOUS 396918 HAS SOUPS 396918 WITH SCORE 397329.384
AT ITER 3419 NEW BEST:: SOT 979114 SOS 411344 HAS SOPS 411344 HAS SOUS 396878 HAS SOUPS 396878 WITH SCORE 397289.344
AT ITER 3436 NEW BEST:: SOT 979114 SOS 411320 HAS SOPS 411320 HAS SOUS 396854 HAS SOUPS 396854 WITH SCORE 397265.32
AT ITER 3443 NEW BEST:: SOT 978226 SOS 409962 HAS SOPS 409962 HAS SOUS 395496 HAS SOUPS 395496 WITH SCORE 395905.962
AT ITER 3449 NEW BEST:: SOT 978180 SOS 409916 HAS SOPS 409916 HAS SOUS 395450 HAS SOUPS 395450 WITH SCORE 395859.916
AT ITER 3451 NEW BEST:: SOT 978062 SOS 409798 HAS SOPS 409798 HAS SOUS 395332 HAS SOUPS 395332 WITH SCORE 395741.798
AT ITER 3456 NEW BEST:: SOT 978050 SOS 409786 HAS SOPS 409786 HAS SOUS 395320 HAS SOUPS 395320 WITH SCORE 395729.786
AT ITER 3463 NEW BEST:: SOT 977684 SOS 409192 HAS SOPS 409192 HAS SOUS 394726 HAS SOUPS 394726 WITH SCORE 395135.192
AT ITER 3467 NEW BEST:: SOT 977684 SOS 408540 HAS SOPS 408540 HAS SOUS 394074 HAS SOUPS 394074 WITH SCORE 394482.54
AT ITER 3469 NEW BEST:: SOT 977684 SOS 408428 HAS SOPS 408428 HAS SOUS 393962 HAS SOUPS 393962 WITH SCORE 394370.428
AT ITER 3473 NEW BEST:: SOT 977672 SOS 408378 HAS SOPS 408378 HAS SOUS 393912 HAS SOUPS 393912 WITH SCORE 394320.378
AT ITER 3475 NEW BEST:: SOT 977672 SOS 408166 HAS SOPS 408166 HAS SOUS 393700 HAS SOUPS 393700 WITH SCORE 394108.166
AT ITER 3483 NEW BEST:: SOT 977648 SOS 408142 HAS SOPS 408142 HAS SOUS 393676 HAS SOUPS 393676 WITH SCORE 394084.142
AT ITER 3491 NEW BEST:: SOT 977210 SOS 407328 HAS SOPS 407328 HAS SOUS 392862 HAS SOUPS 392862 WITH SCORE 393269.328
AT ITER 3504 NEW BEST:: SOT 977210 SOS 407076 HAS SOPS 407076 HAS SOUS 392610 HAS SOUPS 392610 WITH SCORE 393017.076
AT ITER 3506 NEW BEST:: SOT 977138 SOS 406926 HAS SOPS 406926 HAS SOUS 392460 HAS SOUPS 392460 WITH SCORE 392866.926
AT ITER 3507 NEW BEST:: SOT 977050 SOS 406838 HAS SOPS 406838 HAS SOUS 392372 HAS SOUPS 392372 WITH SCORE 392778.838
AT ITER 3511 NEW BEST:: SOT 976754 SOS 406542 HAS SOPS 406542 HAS SOUS 392076 HAS SOUPS 392076 WITH SCORE 392482.542
AT ITER 3521 NEW BEST:: SOT 976670 SOS 406374 HAS SOPS 406374 HAS SOUS 391908 HAS SOUPS 391908 WITH SCORE 392314.374
AT ITER 3525 NEW BEST:: SOT 976342 SOS 406046 HAS SOPS 406046 HAS SOUS 391580 HAS SOUPS 391580 WITH SCORE 391986.046
AT ITER 3527 NEW BEST:: SOT 976082 SOS 405786 HAS SOPS 405786 HAS SOUS 391320 HAS SOUPS 391320 WITH SCORE 391725.786
AT ITER 3530 NEW BEST:: SOT 976026 SOS 405730 HAS SOPS 405730 HAS SOUS 391264 HAS SOUPS 391264 WITH SCORE 391669.73
AT ITER 3534 NEW BEST:: SOT 976350 SOS 405494 HAS SOPS 405494 HAS SOUS 391028 HAS SOUPS 391028 WITH SCORE 391433.494
AT ITER 3541 NEW BEST:: SOT 976524 SOS 405226 HAS SOPS 405226 HAS SOUS 390760 HAS SOUPS 390760 WITH SCORE 391165.226
AT ITER 3558 NEW BEST:: SOT 976496 SOS 405198 HAS SOPS 405198 HAS SOUS 390732 HAS SOUPS 390732 WITH SCORE 391137.198
AT ITER 3560 NEW BEST:: SOT 976052 SOS 404264 HAS SOPS 404264 HAS SOUS 389798 HAS SOUPS 389798 WITH SCORE 390202.264
AT ITER 3561 NEW BEST:: SOT 975976 SOS 404188 HAS SOPS 404188 HAS SOUS 389722 HAS SOUPS 389722 WITH SCORE 390126.188
AT ITER 3562 NEW BEST:: SOT 976484 SOS 403988 HAS SOPS 403988 HAS SOUS 389522 HAS SOUPS 389522 WITH SCORE 389925.988
AT ITER 3564 NEW BEST:: SOT 976280 SOS 404026 HAS SOPS 404026 HAS SOUS 389094 HAS SOUPS 389094 WITH SCORE 389498.026
AT ITER 3567 NEW BEST:: SOT 976200 SOS 403892 HAS SOPS 403892 HAS SOUS 388960 HAS SOUPS 388960 WITH SCORE 389363.892
AT ITER 3568 NEW BEST:: SOT 976114 SOS 403806 HAS SOPS 403806 HAS SOUS 388874 HAS SOUPS 388874 WITH SCORE 389277.806
AT ITER 3572 NEW BEST:: SOT 976114 SOS 403806 HAS SOPS 403806 HAS SOUS 388204 HAS SOUPS 388204 WITH SCORE 388607.806
AT ITER 3578 NEW BEST:: SOT 976020 SOS 403712 HAS SOPS 403712 HAS SOUS 388110 HAS SOUPS 388110 WITH SCORE 388513.712
AT ITER 3586 NEW BEST:: SOT 975900 SOS 403000 HAS SOPS 403000 HAS SOUS 387398 HAS SOUPS 387398 WITH SCORE 387801.0
AT ITER 3589 NEW BEST:: SOT 975710 SOS 402310 HAS SOPS 402310 HAS SOUS 386708 HAS SOUPS 386708 WITH SCORE 387110.31
AT ITER 3590 NEW BEST:: SOT 975710 SOS 402178 HAS SOPS 402178 HAS SOUS 386576 HAS SOUPS 386576 WITH SCORE 386978.178
AT ITER 3592 NEW BEST:: SOT 975474 SOS 401706 HAS SOPS 401706 HAS SOUS 386104 HAS SOUPS 386104 WITH SCORE 386505.706
AT ITER 3595 NEW BEST:: SOT 975438 SOS 401568 HAS SOPS 401568 HAS SOUS 385966 HAS SOUPS 385966 WITH SCORE 386367.568
AT ITER 3609 NEW BEST:: SOT 975408 SOS 401538 HAS SOPS 401538 HAS SOUS 385936 HAS SOUPS 385936 WITH SCORE 386337.538
AT ITER 3617 NEW BEST:: SOT 975202 SOS 401332 HAS SOPS 401332 HAS SOUS 385730 HAS SOUPS 385730 WITH SCORE 386131.332
AT ITER 3618 NEW BEST:: SOT 975112 SOS 401242 HAS SOPS 401242 HAS SOUS 385640 HAS SOUPS 385640 WITH SCORE 386041.242
AT ITER 3625 NEW BEST:: SOT 975112 SOS 400844 HAS SOPS 400844 HAS SOUS 385242 HAS SOUPS 385242 WITH SCORE 385642.844
AT ITER 3629 NEW BEST:: SOT 974948 SOS 400586 HAS SOPS 400586 HAS SOUS 384984 HAS SOUPS 384984 WITH SCORE 385384.586
AT ITER 3634 NEW BEST:: SOT 974522 SOS 400436 HAS SOPS 400436 HAS SOUS 384834 HAS SOUPS 384834 WITH SCORE 385234.436
AT ITER 3639 NEW BEST:: SOT 974368 SOS 400282 HAS SOPS 400282 HAS SOUS 384680 HAS SOUPS 384680 WITH SCORE 385080.282
AT ITER 3640 NEW BEST:: SOT 974076 SOS 399396 HAS SOPS 399396 HAS SOUS 383794 HAS SOUPS 383794 WITH SCORE 384193.396
AT ITER 3642 NEW BEST:: SOT 974076 SOS 399184 HAS SOPS 399184 HAS SOUS 383582 HAS SOUPS 383582 WITH SCORE 383981.184
AT ITER 3645 NEW BEST:: SOT 973846 SOS 399032 HAS SOPS 399032 HAS SOUS 383430 HAS SOUPS 383430 WITH SCORE 383829.032
AT ITER 3648 NEW BEST:: SOT 973626 SOS 398770 HAS SOPS 398770 HAS SOUS 383168 HAS SOUPS 383168 WITH SCORE 383566.77
AT ITER 3661 NEW BEST:: SOT 972866 SOS 398044 HAS SOPS 398044 HAS SOUS 382442 HAS SOUPS 382442 WITH SCORE 382840.044
AT ITER 3662 NEW BEST:: SOT 972640 SOS 397948 HAS SOPS 397948 HAS SOUS 382346 HAS SOUPS 382346 WITH SCORE 382743.948
AT ITER 3667 NEW BEST:: SOT 972542 SOS 397586 HAS SOPS 397586 HAS SOUS 381984 HAS SOUPS 381984 WITH SCORE 382381.586
AT ITER 3677 NEW BEST:: SOT 972520 SOS 397564 HAS SOPS 397564 HAS SOUS 381962 HAS SOUPS 381962 WITH SCORE 382359.564
AT ITER 3678 NEW BEST:: SOT 972518 SOS 397562 HAS SOPS 397562 HAS SOUS 381960 HAS SOUPS 381960 WITH SCORE 382357.562
AT ITER 3679 NEW BEST:: SOT 972312 SOS 397234 HAS SOPS 397234 HAS SOUS 381632 HAS SOUPS 381632 WITH SCORE 382029.234
AT ITER 3689 NEW BEST:: SOT 971892 SOS 396814 HAS SOPS 396814 HAS SOUS 381212 HAS SOUPS 381212 WITH SCORE 381608.814
AT ITER 3691 NEW BEST:: SOT 971766 SOS 396506 HAS SOPS 396506 HAS SOUS 380904 HAS SOUPS 380904 WITH SCORE 381300.506
AT ITER 3694 NEW BEST:: SOT 971758 SOS 396498 HAS SOPS 396498 HAS SOUS 380896 HAS SOUPS 380896 WITH SCORE 381292.498
AT ITER 3697 NEW BEST:: SOT 971674 SOS 396414 HAS SOPS 396414 HAS SOUS 380812 HAS SOUPS 380812 WITH SCORE 381208.414
AT ITER 3698 NEW BEST:: SOT 971558 SOS 396352 HAS SOPS 396352 HAS SOUS 380750 HAS SOUPS 380750 WITH SCORE 381146.352
AT ITER 3703 NEW BEST:: SOT 971558 SOS 396336 HAS SOPS 396336 HAS SOUS 380734 HAS SOUPS 380734 WITH SCORE 381130.336
AT ITER 3716 NEW BEST:: SOT 971558 SOS 396170 HAS SOPS 396170 HAS SOUS 380568 HAS SOUPS 380568 WITH SCORE 380964.17
AT ITER 3718 NEW BEST:: SOT 971558 SOS 396038 HAS SOPS 396038 HAS SOUS 380436 HAS SOUPS 380436 WITH SCORE 380832.038
AT ITER 3743 NEW BEST:: SOT 971558 SOS 395852 HAS SOPS 395852 HAS SOUS 380250 HAS SOUPS 380250 WITH SCORE 380645.852
AT ITER 3756 NEW BEST:: SOT 971460 SOS 395544 HAS SOPS 395544 HAS SOUS 379942 HAS SOUPS 379942 WITH SCORE 380337.544
AT ITER 3761 NEW BEST:: SOT 971460 SOS 395252 HAS SOPS 395252 HAS SOUS 379650 HAS SOUPS 379650 WITH SCORE 380045.252
AT ITER 3780 NEW BEST:: SOT 971126 SOS 394648 HAS SOPS 394648 HAS SOUS 379046 HAS SOUPS 379046 WITH SCORE 379440.648
AT ITER 3792 NEW BEST:: SOT 971126 SOS 394634 HAS SOPS 394634 HAS SOUS 379032 HAS SOUPS 379032 WITH SCORE 379426.634
AT ITER 3798 NEW BEST:: SOT 971076 SOS 394584 HAS SOPS 394584 HAS SOUS 378982 HAS SOUPS 378982 WITH SCORE 379376.584
AT ITER 3811 NEW BEST:: SOT 971272 SOS 394312 HAS SOPS 394312 HAS SOUS 378710 HAS SOUPS 378710 WITH SCORE 379104.312
AT ITER 3816 NEW BEST:: SOT 970972 SOS 393732 HAS SOPS 393732 HAS SOUS 378130 HAS SOUPS 378130 WITH SCORE 378523.732
AT ITER 3819 NEW BEST:: SOT 970972 SOS 393638 HAS SOPS 393638 HAS SOUS 378036 HAS SOUPS 378036 WITH SCORE 378429.638
AT ITER 3832 NEW BEST:: SOT 970924 SOS 392558 HAS SOPS 392558 HAS SOUS 376956 HAS SOUPS 376956 WITH SCORE 377348.558
AT ITER 3839 NEW BEST:: SOT 970808 SOS 392240 HAS SOPS 392240 HAS SOUS 376638 HAS SOUPS 376638 WITH SCORE 377030.24
AT ITER 3842 NEW BEST:: SOT 970722 SOS 392154 HAS SOPS 392154 HAS SOUS 376552 HAS SOUPS 376552 WITH SCORE 376944.154
AT ITER 3848 NEW BEST:: SOT 970178 SOS 391564 HAS SOPS 391564 HAS SOUS 375962 HAS SOUPS 375962 WITH SCORE 376353.564
AT ITER 3851 NEW BEST:: SOT 969498 SOS 391100 HAS SOPS 391100 HAS SOUS 375498 HAS SOUPS 375498 WITH SCORE 375889.1
AT ITER 3855 NEW BEST:: SOT 969602 SOS 390976 HAS SOPS 390976 HAS SOUS 375374 HAS SOUPS 375374 WITH SCORE 375764.976
AT ITER 3863 NEW BEST:: SOT 969492 SOS 390866 HAS SOPS 390866 HAS SOUS 375264 HAS SOUPS 375264 WITH SCORE 375654.866
AT ITER 3866 NEW BEST:: SOT 968772 SOS 389426 HAS SOPS 389426 HAS SOUS 373824 HAS SOUPS 373824 WITH SCORE 374213.426
AT ITER 3868 NEW BEST:: SOT 968772 SOS 389420 HAS SOPS 389420 HAS SOUS 373818 HAS SOUPS 373818 WITH SCORE 374207.42
AT ITER 3872 NEW BEST:: SOT 968642 SOS 389214 HAS SOPS 389214 HAS SOUS 373612 HAS SOUPS 373612 WITH SCORE 374001.214
AT ITER 3879 NEW BEST:: SOT 968372 SOS 388944 HAS SOPS 388944 HAS SOUS 373342 HAS SOUPS 373342 WITH SCORE 373730.944
AT ITER 3888 NEW BEST:: SOT 968172 SOS 388744 HAS SOPS 388744 HAS SOUS 373142 HAS SOUPS 373142 WITH SCORE 373530.744
AT ITER 3891 NEW BEST:: SOT 967774 SOS 387800 HAS SOPS 387800 HAS SOUS 372198 HAS SOUPS 372198 WITH SCORE 372585.8
AT ITER 3893 NEW BEST:: SOT 967756 SOS 387782 HAS SOPS 387782 HAS SOUS 372180 HAS SOUPS 372180 WITH SCORE 372567.782
AT ITER 3906 NEW BEST:: SOT 967872 SOS 387660 HAS SOPS 387660 HAS SOUS 372058 HAS SOUPS 372058 WITH SCORE 372445.66
AT ITER 3910 NEW BEST:: SOT 967828 SOS 387616 HAS SOPS 387616 HAS SOUS 372014 HAS SOUPS 372014 WITH SCORE 372401.616
AT ITER 3915 NEW BEST:: SOT 967728 SOS 387406 HAS SOPS 387406 HAS SOUS 371804 HAS SOUPS 371804 WITH SCORE 372191.406
AT ITER 3920 NEW BEST:: SOT 967720 SOS 387398 HAS SOPS 387398 HAS SOUS 371788 HAS SOUPS 371788 WITH SCORE 372175.398
AT ITER 3930 NEW BEST:: SOT 967578 SOS 386948 HAS SOPS 386948 HAS SOUS 371338 HAS SOUPS 371338 WITH SCORE 371724.948
AT ITER 3933 NEW BEST:: SOT 967254 SOS 386624 HAS SOPS 386624 HAS SOUS 370690 HAS SOUPS 370690 WITH SCORE 371076.624
AT ITER 3946 NEW BEST:: SOT 967234 SOS 386584 HAS SOPS 386584 HAS SOUS 370650 HAS SOUPS 370650 WITH SCORE 371036.584
AT ITER 3949 NEW BEST:: SOT 966992 SOS 386410 HAS SOPS 386410 HAS SOUS 370476 HAS SOUPS 370476 WITH SCORE 370862.41
AT ITER 3950 NEW BEST:: SOT 966824 SOS 386242 HAS SOPS 386242 HAS SOUS 370308 HAS SOUPS 370308 WITH SCORE 370694.242
AT ITER 3962 NEW BEST:: SOT 966824 SOS 386082 HAS SOPS 386082 HAS SOUS 370148 HAS SOUPS 370148 WITH SCORE 370534.082
AT ITER 3975 NEW BEST:: SOT 966752 SOS 386010 HAS SOPS 386010 HAS SOUS 370076 HAS SOUPS 370076 WITH SCORE 370462.01
AT ITER 3989 NEW BEST:: SOT 966752 SOS 385896 HAS SOPS 385896 HAS SOUS 369962 HAS SOUPS 369962 WITH SCORE 370347.896
AT ITER 3992 NEW BEST:: SOT 966562 SOS 385706 HAS SOPS 385706 HAS SOUS 369772 HAS SOUPS 369772 WITH SCORE 370157.706
AT ITER 3999 NEW BEST:: SOT 966348 SOS 385492 HAS SOPS 385492 HAS SOUS 369558 HAS SOUPS 369558 WITH SCORE 369943.492
AT ITER 4000 NEW BEST:: SOT 966286 SOS 385430 HAS SOPS 385430 HAS SOUS 369496 HAS SOUPS 369496 WITH SCORE 369881.43
AT ITER 4004 NEW BEST:: SOT 965860 SOS 384910 HAS SOPS 384910 HAS SOUS 368976 HAS SOUPS 368976 WITH SCORE 369360.91
AT ITER 4012 NEW BEST:: SOT 965860 SOS 384694 HAS SOPS 384694 HAS SOUS 368760 HAS SOUPS 368760 WITH SCORE 369144.694
AT ITER 4020 NEW BEST:: SOT 965302 SOS 383644 HAS SOPS 383644 HAS SOUS 367710 HAS SOUPS 367710 WITH SCORE 368093.644
AT ITER 4027 NEW BEST:: SOT 965202 SOS 383544 HAS SOPS 383544 HAS SOUS 367610 HAS SOUPS 367610 WITH SCORE 367993.544
AT ITER 4030 NEW BEST:: SOT 965202 SOS 383520 HAS SOPS 383520 HAS SOUS 367586 HAS SOUPS 367586 WITH SCORE 367969.52
AT ITER 4032 NEW BEST:: SOT 965202 SOS 383458 HAS SOPS 383458 HAS SOUS 367524 HAS SOUPS 367524 WITH SCORE 367907.458
AT ITER 4036 NEW BEST:: SOT 964880 SOS 383000 HAS SOPS 383000 HAS SOUS 367066 HAS SOUPS 367066 WITH SCORE 367449.0
AT ITER 4041 NEW BEST:: SOT 964766 SOS 382886 HAS SOPS 382886 HAS SOUS 366952 HAS SOUPS 366952 WITH SCORE 367334.886
AT ITER 4045 NEW BEST:: SOT 964766 SOS 382886 HAS SOPS 382886 HAS SOUS 366862 HAS SOUPS 366862 WITH SCORE 367244.886
AT ITER 4046 NEW BEST:: SOT 963928 SOS 382106 HAS SOPS 382106 HAS SOUS 366008 HAS SOUPS 366008 WITH SCORE 366390.106
AT ITER 4050 NEW BEST:: SOT 963928 SOS 382034 HAS SOPS 382034 HAS SOUS 365936 HAS SOUPS 365936 WITH SCORE 366318.034
AT ITER 4063 NEW BEST:: SOT 963914 SOS 382028 HAS SOPS 382028 HAS SOUS 365930 HAS SOUPS 365930 WITH SCORE 366312.028
AT ITER 4065 NEW BEST:: SOT 963914 SOS 382018 HAS SOPS 382018 HAS SOUS 365920 HAS SOUPS 365920 WITH SCORE 366302.018
AT ITER 4080 NEW BEST:: SOT 963766 SOS 381592 HAS SOPS 381592 HAS SOUS 365494 HAS SOUPS 365494 WITH SCORE 365875.592
AT ITER 4085 NEW BEST:: SOT 963766 SOS 381586 HAS SOPS 381586 HAS SOUS 365488 HAS SOUPS 365488 WITH SCORE 365869.586
AT ITER 4095 NEW BEST:: SOT 963662 SOS 381378 HAS SOPS 381378 HAS SOUS 365280 HAS SOUPS 365280 WITH SCORE 365661.378
AT ITER 4099 NEW BEST:: SOT 963650 SOS 381366 HAS SOPS 381366 HAS SOUS 365268 HAS SOUPS 365268 WITH SCORE 365649.366
AT ITER 4108 NEW BEST:: SOT 963650 SOS 381176 HAS SOPS 381176 HAS SOUS 365078 HAS SOUPS 365078 WITH SCORE 365459.176
AT ITER 4113 NEW BEST:: SOT 963316 SOS 380842 HAS SOPS 380842 HAS SOUS 364744 HAS SOUPS 364744 WITH SCORE 365124.842
AT ITER 4119 NEW BEST:: SOT 963384 SOS 380484 HAS SOPS 380484 HAS SOUS 364386 HAS SOUPS 364386 WITH SCORE 364766.484
AT ITER 4126 NEW BEST:: SOT 963384 SOS 380424 HAS SOPS 380424 HAS SOUS 364326 HAS SOUPS 364326 WITH SCORE 364706.424
AT ITER 4128 NEW BEST:: SOT 963384 SOS 380138 HAS SOPS 380138 HAS SOUS 364040 HAS SOUPS 364040 WITH SCORE 364420.138
AT ITER 4130 NEW BEST:: SOT 963352 SOS 380026 HAS SOPS 380026 HAS SOUS 363928 HAS SOUPS 363928 WITH SCORE 364308.026
AT ITER 4133 NEW BEST:: SOT 963352 SOS 379748 HAS SOPS 379748 HAS SOUS 363650 HAS SOUPS 363650 WITH SCORE 364029.748
AT ITER 4137 NEW BEST:: SOT 963266 SOS 379662 HAS SOPS 379662 HAS SOUS 363564 HAS SOUPS 363564 WITH SCORE 363943.662
AT ITER 4141 NEW BEST:: SOT 963148 SOS 379544 HAS SOPS 379544 HAS SOUS 363446 HAS SOUPS 363446 WITH SCORE 363825.544
AT ITER 4151 NEW BEST:: SOT 962914 SOS 378758 HAS SOPS 378758 HAS SOUS 362660 HAS SOUPS 362660 WITH SCORE 363038.758
AT ITER 4153 NEW BEST:: SOT 962842 SOS 378614 HAS SOPS 378614 HAS SOUS 362516 HAS SOUPS 362516 WITH SCORE 362894.614
AT ITER 4154 NEW BEST:: SOT 962224 SOS 377834 HAS SOPS 377834 HAS SOUS 361736 HAS SOUPS 361736 WITH SCORE 362113.834
AT ITER 4170 NEW BEST:: SOT 961986 SOS 377358 HAS SOPS 377358 HAS SOUS 361260 HAS SOUPS 361260 WITH SCORE 361637.358
AT ITER 4174 NEW BEST:: SOT 962024 SOS 377094 HAS SOPS 377094 HAS SOUS 360996 HAS SOUPS 360996 WITH SCORE 361373.094
AT ITER 4176 NEW BEST:: SOT 962034 SOS 377078 HAS SOPS 377078 HAS SOUS 360980 HAS SOUPS 360980 WITH SCORE 361357.078
AT ITER 4178 NEW BEST:: SOT 961786 SOS 376564 HAS SOPS 376564 HAS SOUS 360466 HAS SOUPS 360466 WITH SCORE 360842.564
AT ITER 4200 NEW BEST:: SOT 961534 SOS 376240 HAS SOPS 376240 HAS SOUS 360142 HAS SOUPS 360142 WITH SCORE 360518.24
AT ITER 4201 NEW BEST:: SOT 961398 SOS 375968 HAS SOPS 375968 HAS SOUS 359870 HAS SOUPS 359870 WITH SCORE 360245.968
AT ITER 4202 NEW BEST:: SOT 961398 SOS 375922 HAS SOPS 375922 HAS SOUS 359824 HAS SOUPS 359824 WITH SCORE 360199.922
AT ITER 4211 NEW BEST:: SOT 961386 SOS 375910 HAS SOPS 375910 HAS SOUS 359812 HAS SOUPS 359812 WITH SCORE 360187.91
AT ITER 4223 NEW BEST:: SOT 960888 SOS 374746 HAS SOPS 374746 HAS SOUS 358648 HAS SOUPS 358648 WITH SCORE 359022.746
AT ITER 4233 NEW BEST:: SOT 960888 SOS 374356 HAS SOPS 374356 HAS SOUS 358258 HAS SOUPS 358258 WITH SCORE 358632.356
AT ITER 4234 NEW BEST:: SOT 960722 SOS 374024 HAS SOPS 374024 HAS SOUS 357926 HAS SOUPS 357926 WITH SCORE 358300.024
AT ITER 4243 NEW BEST:: SOT 960694 SOS 373798 HAS SOPS 373798 HAS SOUS 357700 HAS SOUPS 357700 WITH SCORE 358073.798
AT ITER 4258 NEW BEST:: SOT 960616 SOS 373642 HAS SOPS 373642 HAS SOUS 357544 HAS SOUPS 357544 WITH SCORE 357917.642
AT ITER 4261 NEW BEST:: SOT 960026 SOS 373094 HAS SOPS 373094 HAS SOUS 356996 HAS SOUPS 356996 WITH SCORE 357369.094
AT ITER 4267 NEW BEST:: SOT 960026 SOS 373010 HAS SOPS 373010 HAS SOUS 356912 HAS SOUPS 356912 WITH SCORE 357285.01
AT ITER 4291 NEW BEST:: SOT 959934 SOS 372822 HAS SOPS 372822 HAS SOUS 356724 HAS SOUPS 356724 WITH SCORE 357096.822
AT ITER 4296 NEW BEST:: SOT 959930 SOS 372818 HAS SOPS 372818 HAS SOUS 356720 HAS SOUPS 356720 WITH SCORE 357092.818
AT ITER 4299 NEW BEST:: SOT 959902 SOS 372468 HAS SOPS 372468 HAS SOUS 356370 HAS SOUPS 356370 WITH SCORE 356742.468
AT ITER 4319 NEW BEST:: SOT 959220 SOS 371786 HAS SOPS 371786 HAS SOUS 355688 HAS SOUPS 355688 WITH SCORE 356059.786
AT ITER 4320 NEW BEST:: SOT 959176 SOS 371698 HAS SOPS 371698 HAS SOUS 355600 HAS SOUPS 355600 WITH SCORE 355971.698
AT ITER 4346 NEW BEST:: SOT 959176 SOS 371568 HAS SOPS 371568 HAS SOUS 355470 HAS SOUPS 355470 WITH SCORE 355841.568
AT ITER 4347 NEW BEST:: SOT 959120 SOS 371512 HAS SOPS 371512 HAS SOUS 355414 HAS SOUPS 355414 WITH SCORE 355785.512
AT ITER 4355 NEW BEST:: SOT 959120 SOS 371494 HAS SOPS 371494 HAS SOUS 355396 HAS SOUPS 355396 WITH SCORE 355767.494
AT ITER 4363 NEW BEST:: SOT 959088 SOS 371462 HAS SOPS 371462 HAS SOUS 355364 HAS SOUPS 355364 WITH SCORE 355735.462
AT ITER 4367 NEW BEST:: SOT 958968 SOS 370530 HAS SOPS 370530 HAS SOUS 354432 HAS SOUPS 354432 WITH SCORE 354802.53
AT ITER 4373 NEW BEST:: SOT 958452 SOS 369542 HAS SOPS 369542 HAS SOUS 353444 HAS SOUPS 353444 WITH SCORE 353813.542
AT ITER 4392 NEW BEST:: SOT 958452 SOS 369058 HAS SOPS 369058 HAS SOUS 352960 HAS SOUPS 352960 WITH SCORE 353329.058
AT ITER 4396 NEW BEST:: SOT 957680 SOS 368326 HAS SOPS 368326 HAS SOUS 352228 HAS SOUPS 352228 WITH SCORE 352596.326
AT ITER 4406 NEW BEST:: SOT 957680 SOS 368614 HAS SOPS 368614 HAS SOUS 351520 HAS SOUPS 351520 WITH SCORE 351888.614
AT ITER 4418 NEW BEST:: SOT 957198 SOS 367868 HAS SOPS 367868 HAS SOUS 350774 HAS SOUPS 350774 WITH SCORE 351141.868
AT ITER 4421 NEW BEST:: SOT 957198 SOS 367794 HAS SOPS 367794 HAS SOUS 350700 HAS SOUPS 350700 WITH SCORE 351067.794
AT ITER 4423 NEW BEST:: SOT 957188 SOS 367652 HAS SOPS 367652 HAS SOUS 350558 HAS SOUPS 350558 WITH SCORE 350925.652
AT ITER 4438 NEW BEST:: SOT 957188 SOS 367626 HAS SOPS 367626 HAS SOUS 350532 HAS SOUPS 350532 WITH SCORE 350899.626
AT ITER 4446 NEW BEST:: SOT 957188 SOS 367564 HAS SOPS 367564 HAS SOUS 350470 HAS SOUPS 350470 WITH SCORE 350837.564
AT ITER 4452 NEW BEST:: SOT 957276 SOS 367556 HAS SOPS 367556 HAS SOUS 350462 HAS SOUPS 350462 WITH SCORE 350829.556
AT ITER 4490 NEW BEST:: SOT 957148 SOS 367352 HAS SOPS 367352 HAS SOUS 350258 HAS SOUPS 350258 WITH SCORE 350625.352
AT ITER 4492 NEW BEST:: SOT 957148 SOS 367288 HAS SOPS 367288 HAS SOUS 350194 HAS SOUPS 350194 WITH SCORE 350561.288
AT ITER 4493 NEW BEST:: SOT 957008 SOS 367148 HAS SOPS 367148 HAS SOUS 350054 HAS SOUPS 350054 WITH SCORE 350421.148
AT ITER 4500 NEW BEST:: SOT 956424 SOS 366564 HAS SOPS 366564 HAS SOUS 349470 HAS SOUPS 349470 WITH SCORE 349836.564
AT ITER 4503 NEW BEST:: SOT 956194 SOS 365800 HAS SOPS 365800 HAS SOUS 348706 HAS SOUPS 348706 WITH SCORE 349071.8
AT ITER 4514 NEW BEST:: SOT 956240 SOS 365784 HAS SOPS 365784 HAS SOUS 348690 HAS SOUPS 348690 WITH SCORE 349055.784
AT ITER 4529 NEW BEST:: SOT 956240 SOS 365754 HAS SOPS 365754 HAS SOUS 348660 HAS SOUPS 348660 WITH SCORE 349025.754
AT ITER 4543 NEW BEST:: SOT 956128 SOS 365636 HAS SOPS 365636 HAS SOUS 348542 HAS SOUPS 348542 WITH SCORE 348907.636
AT ITER 4544 NEW BEST:: SOT 955872 SOS 365186 HAS SOPS 365186 HAS SOUS 348092 HAS SOUPS 348092 WITH SCORE 348457.186
AT ITER 4545 NEW BEST:: SOT 955666 SOS 364774 HAS SOPS 364774 HAS SOUS 347680 HAS SOUPS 347680 WITH SCORE 348044.774
AT ITER 4548 NEW BEST:: SOT 955734 SOS 364700 HAS SOPS 364700 HAS SOUS 347606 HAS SOUPS 347606 WITH SCORE 347970.7
AT ITER 4550 NEW BEST:: SOT 955594 SOS 364560 HAS SOPS 364560 HAS SOUS 347466 HAS SOUPS 347466 WITH SCORE 347830.56
AT ITER 4553 NEW BEST:: SOT 955594 SOS 364556 HAS SOPS 364556 HAS SOUS 347462 HAS SOUPS 347462 WITH SCORE 347826.556
AT ITER 4555 NEW BEST:: SOT 955424 SOS 364386 HAS SOPS 364386 HAS SOUS 347292 HAS SOUPS 347292 WITH SCORE 347656.386
AT ITER 4571 NEW BEST:: SOT 954488 SOS 363450 HAS SOPS 363450 HAS SOUS 346356 HAS SOUPS 346356 WITH SCORE 346719.45
AT ITER 4582 NEW BEST:: SOT 954442 SOS 363404 HAS SOPS 363404 HAS SOUS 346310 HAS SOUPS 346310 WITH SCORE 346673.404
AT ITER 4585 NEW BEST:: SOT 954128 SOS 362926 HAS SOPS 362926 HAS SOUS 345832 HAS SOUPS 345832 WITH SCORE 346194.926
AT ITER 4586 NEW BEST:: SOT 954054 SOS 362640 HAS SOPS 362640 HAS SOUS 345546 HAS SOUPS 345546 WITH SCORE 345908.64
AT ITER 4588 NEW BEST:: SOT 954020 SOS 362606 HAS SOPS 362606 HAS SOUS 345512 HAS SOUPS 345512 WITH SCORE 345874.606
AT ITER 4589 NEW BEST:: SOT 954020 SOS 362344 HAS SOPS 362344 HAS SOUS 345250 HAS SOUPS 345250 WITH SCORE 345612.344
AT ITER 4591 NEW BEST:: SOT 953970 SOS 362294 HAS SOPS 362294 HAS SOUS 345200 HAS SOUPS 345200 WITH SCORE 345562.294
AT ITER 4596 NEW BEST:: SOT 953970 SOS 362076 HAS SOPS 362076 HAS SOUS 344982 HAS SOUPS 344982 WITH SCORE 345344.076
AT ITER 4600 NEW BEST:: SOT 953516 SOS 361622 HAS SOPS 361622 HAS SOUS 344528 HAS SOUPS 344528 WITH SCORE 344889.622
AT ITER 4608 NEW BEST:: SOT 953188 SOS 361168 HAS SOPS 361168 HAS SOUS 344074 HAS SOUPS 344074 WITH SCORE 344435.168
AT ITER 4620 NEW BEST:: SOT 953056 SOS 361036 HAS SOPS 361036 HAS SOUS 343942 HAS SOUPS 343942 WITH SCORE 344303.036
AT ITER 4623 NEW BEST:: SOT 952798 SOS 360520 HAS SOPS 360520 HAS SOUS 343426 HAS SOUPS 343426 WITH SCORE 343786.52
AT ITER 4627 NEW BEST:: SOT 952758 SOS 360480 HAS SOPS 360480 HAS SOUS 343386 HAS SOUPS 343386 WITH SCORE 343746.48
AT ITER 4639 NEW BEST:: SOT 952598 SOS 360320 HAS SOPS 360320 HAS SOUS 343226 HAS SOUPS 343226 WITH SCORE 343586.32
AT ITER 4640 NEW BEST:: SOT 952074 SOS 359796 HAS SOPS 359796 HAS SOUS 342702 HAS SOUPS 342702 WITH SCORE 343061.796
AT ITER 4650 NEW BEST:: SOT 951404 SOS 358676 HAS SOPS 358676 HAS SOUS 341582 HAS SOUPS 341582 WITH SCORE 341940.676
AT ITER 4651 NEW BEST:: SOT 951124 SOS 358100 HAS SOPS 358100 HAS SOUS 341006 HAS SOUPS 341006 WITH SCORE 341364.1
AT ITER 4657 NEW BEST:: SOT 949892 SOS 355690 HAS SOPS 355690 HAS SOUS 338596 HAS SOUPS 338596 WITH SCORE 338951.69
AT ITER 4659 NEW BEST:: SOT 949780 SOS 355432 HAS SOPS 355432 HAS SOUS 338338 HAS SOUPS 338338 WITH SCORE 338693.432
AT ITER 4670 NEW BEST:: SOT 949852 SOS 355364 HAS SOPS 355364 HAS SOUS 338270 HAS SOUPS 338270 WITH SCORE 338625.364
AT ITER 4681 NEW BEST:: SOT 949510 SOS 355228 HAS SOPS 355228 HAS SOUS 338048 HAS SOUPS 338048 WITH SCORE 338403.228
AT ITER 4703 NEW BEST:: SOT 949302 SOS 355020 HAS SOPS 355020 HAS SOUS 337840 HAS SOUPS 337840 WITH SCORE 338195.02
AT ITER 4707 NEW BEST:: SOT 949302 SOS 354936 HAS SOPS 354936 HAS SOUS 337756 HAS SOUPS 337756 WITH SCORE 338110.936
AT ITER 4709 NEW BEST:: SOT 949188 SOS 354822 HAS SOPS 354822 HAS SOUS 337528 HAS SOUPS 337528 WITH SCORE 337882.822
AT ITER 4710 NEW BEST:: SOT 949142 SOS 354744 HAS SOPS 354744 HAS SOUS 337450 HAS SOUPS 337450 WITH SCORE 337804.744
AT ITER 4712 NEW BEST:: SOT 948244 SOS 353340 HAS SOPS 353340 HAS SOUS 336046 HAS SOUPS 336046 WITH SCORE 336399.34
AT ITER 4727 NEW BEST:: SOT 948018 SOS 353038 HAS SOPS 353038 HAS SOUS 335744 HAS SOUPS 335744 WITH SCORE 336097.038
AT ITER 4735 NEW BEST:: SOT 947972 SOS 352992 HAS SOPS 352992 HAS SOUS 335698 HAS SOUPS 335698 WITH SCORE 336050.992
AT ITER 4749 NEW BEST:: SOT 947806 SOS 352824 HAS SOPS 352824 HAS SOUS 335530 HAS SOUPS 335530 WITH SCORE 335882.824
AT ITER 4755 NEW BEST:: SOT 947806 SOS 352810 HAS SOPS 352810 HAS SOUS 335516 HAS SOUPS 335516 WITH SCORE 335868.81
AT ITER 4767 NEW BEST:: SOT 947806 SOS 352752 HAS SOPS 352752 HAS SOUS 335458 HAS SOUPS 335458 WITH SCORE 335810.752
AT ITER 4768 NEW BEST:: SOT 947798 SOS 352744 HAS SOPS 352744 HAS SOUS 335450 HAS SOUPS 335450 WITH SCORE 335802.744
AT ITER 4782 NEW BEST:: SOT 947496 SOS 352532 HAS SOPS 352532 HAS SOUS 335238 HAS SOUPS 335238 WITH SCORE 335590.532
AT ITER 4789 NEW BEST:: SOT 947400 SOS 352340 HAS SOPS 352340 HAS SOUS 335046 HAS SOUPS 335046 WITH SCORE 335398.34
AT ITER 4792 NEW BEST:: SOT 947256 SOS 351702 HAS SOPS 351702 HAS SOUS 334408 HAS SOUPS 334408 WITH SCORE 334759.702
AT ITER 4812 NEW BEST:: SOT 947056 SOS 351370 HAS SOPS 351370 HAS SOUS 334076 HAS SOUPS 334076 WITH SCORE 334427.37
AT ITER 4815 NEW BEST:: SOT 946582 SOS 350536 HAS SOPS 350536 HAS SOUS 333242 HAS SOUPS 333242 WITH SCORE 333592.536
AT ITER 4819 NEW BEST:: SOT 946540 SOS 350366 HAS SOPS 350366 HAS SOUS 333072 HAS SOUPS 333072 WITH SCORE 333422.366
AT ITER 4821 NEW BEST:: SOT 946214 SOS 349714 HAS SOPS 349714 HAS SOUS 332420 HAS SOUPS 332420 WITH SCORE 332769.714
AT ITER 4841 NEW BEST:: SOT 945520 SOS 348566 HAS SOPS 348566 HAS SOUS 331272 HAS SOUPS 331272 WITH SCORE 331620.566
AT ITER 4843 NEW BEST:: SOT 945444 SOS 348400 HAS SOPS 348400 HAS SOUS 331106 HAS SOUPS 331106 WITH SCORE 331454.4
AT ITER 4844 NEW BEST:: SOT 945348 SOS 348286 HAS SOPS 348286 HAS SOUS 330992 HAS SOUPS 330992 WITH SCORE 331340.286
AT ITER 4845 NEW BEST:: SOT 945348 SOS 348146 HAS SOPS 348146 HAS SOUS 330852 HAS SOUPS 330852 WITH SCORE 331200.146
AT ITER 4848 NEW BEST:: SOT 945338 SOS 347996 HAS SOPS 347996 HAS SOUS 330702 HAS SOUPS 330702 WITH SCORE 331049.996
AT ITER 4850 NEW BEST:: SOT 945472 SOS 347862 HAS SOPS 347862 HAS SOUS 330568 HAS SOUPS 330568 WITH SCORE 330915.862
AT ITER 4852 NEW BEST:: SOT 945432 SOS 347822 HAS SOPS 347822 HAS SOUS 330528 HAS SOUPS 330528 WITH SCORE 330875.822
AT ITER 4854 NEW BEST:: SOT 945190 SOS 347784 HAS SOPS 347784 HAS SOUS 330490 HAS SOUPS 330490 WITH SCORE 330837.784
AT ITER 4856 NEW BEST:: SOT 945150 SOS 347720 HAS SOPS 347720 HAS SOUS 330426 HAS SOUPS 330426 WITH SCORE 330773.72
AT ITER 4863 NEW BEST:: SOT 945070 SOS 347570 HAS SOPS 347570 HAS SOUS 330276 HAS SOUPS 330276 WITH SCORE 330623.57
AT ITER 4870 NEW BEST:: SOT 944904 SOS 347404 HAS SOPS 347404 HAS SOUS 330110 HAS SOUPS 330110 WITH SCORE 330457.404
AT ITER 4871 NEW BEST:: SOT 944850 SOS 347152 HAS SOPS 347152 HAS SOUS 329858 HAS SOUPS 329858 WITH SCORE 330205.152
AT ITER 4878 NEW BEST:: SOT 944680 SOS 347078 HAS SOPS 347078 HAS SOUS 329784 HAS SOUPS 329784 WITH SCORE 330131.078
AT ITER 4879 NEW BEST:: SOT 944382 SOS 346458 HAS SOPS 346458 HAS SOUS 329164 HAS SOUPS 329164 WITH SCORE 329510.458
AT ITER 4886 NEW BEST:: SOT 944110 SOS 346292 HAS SOPS 346292 HAS SOUS 328998 HAS SOUPS 328998 WITH SCORE 329344.292
AT ITER 4887 NEW BEST:: SOT 944110 SOS 345746 HAS SOPS 345746 HAS SOUS 328452 HAS SOUPS 328452 WITH SCORE 328797.746
AT ITER 4910 NEW BEST:: SOT 944110 SOS 345634 HAS SOPS 345634 HAS SOUS 328340 HAS SOUPS 328340 WITH SCORE 328685.634
AT ITER 4911 NEW BEST:: SOT 943824 SOS 345592 HAS SOPS 345592 HAS SOUS 328298 HAS SOUPS 328298 WITH SCORE 328643.592
AT ITER 4927 NEW BEST:: SOT 943088 SOS 344120 HAS SOPS 344120 HAS SOUS 326826 HAS SOUPS 326826 WITH SCORE 327170.12
AT ITER 4933 NEW BEST:: SOT 942968 SOS 344000 HAS SOPS 344000 HAS SOUS 326706 HAS SOUPS 326706 WITH SCORE 327050.0
AT ITER 4938 NEW BEST:: SOT 942968 SOS 343942 HAS SOPS 343942 HAS SOUS 326648 HAS SOUPS 326648 WITH SCORE 326991.942
AT ITER 4941 NEW BEST:: SOT 942968 SOS 343922 HAS SOPS 343922 HAS SOUS 326628 HAS SOUPS 326628 WITH SCORE 326971.922
AT ITER 4942 NEW BEST:: SOT 942914 SOS 343868 HAS SOPS 343868 HAS SOUS 326574 HAS SOUPS 326574 WITH SCORE 326917.868
AT ITER 4947 NEW BEST:: SOT 942674 SOS 343628 HAS SOPS 343628 HAS SOUS 326334 HAS SOUPS 326334 WITH SCORE 326677.628
AT ITER 4948 NEW BEST:: SOT 942338 SOS 342884 HAS SOPS 342884 HAS SOUS 325590 HAS SOUPS 325590 WITH SCORE 325932.884
AT ITER 4960 NEW BEST:: SOT 942338 SOS 342826 HAS SOPS 342826 HAS SOUS 325532 HAS SOUPS 325532 WITH SCORE 325874.826
AT ITER 4962 NEW BEST:: SOT 942030 SOS 342414 HAS SOPS 342414 HAS SOUS 325120 HAS SOUPS 325120 WITH SCORE 325462.414
AT ITER 4974 NEW BEST:: SOT 941810 SOS 341732 HAS SOPS 341732 HAS SOUS 324438 HAS SOUPS 324438 WITH SCORE 324779.732
AT ITER 4978 NEW BEST:: SOT 941746 SOS 341270 HAS SOPS 341270 HAS SOUS 323976 HAS SOUPS 323976 WITH SCORE 324317.27
AT ITER 4981 NEW BEST:: SOT 941550 SOS 340326 HAS SOPS 340326 HAS SOUS 323032 HAS SOUPS 323032 WITH SCORE 323372.326
AT ITER 4989 NEW BEST:: SOT 941296 SOS 340072 HAS SOPS 340072 HAS SOUS 322778 HAS SOUPS 322778 WITH SCORE 323118.072
Bounds file is: CTLFireability.xml
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-00 (EF( ( (AX( ( ((potential((tk(P66)>=1) & (tk(P933)>=1)))) | ((potential((tk(P1421)>=1)))) ))) & ( (EX( ((potential((tk(P1117)>=1)))))) & (EX( ((potential((tk(P548)>=1) & (tk(P946)>=1)))))) ) )))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-01 (EU( ( ((potential((tk(P1225)>=1)))) | (EF( ((potential((tk(P1425)>=1)))))) ) , (EG( ((potential((tk(P1416)>=1)))))) ))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-02 (AG( (EF( ( ( ((potential((tk(P1063)>=1)))) | ((potential((tk(P78)>=1) & (tk(P1055)>=1)))) ) | ((potential((tk(P1470)>=1)))) )))))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-03 (EF( (AG( (EF( ((potential((tk(P1280)>=1))))))))))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-04 (! ( (! ( ( ( ((potential((tk(P1265)>=1)))) & ((potential((tk(P39)>=1) & (tk(P656)>=1)))) ) | ( ((potential((tk(P1469)>=1)))) | ((potential((tk(P385)>=1) & (tk(P783)>=1)))) ) ) & (AG( ((potential((tk(P50)>=1) & (tk(P767)>=1)))))) )) & (EX( (AX( ((potential((tk(P1102)>=1)))))))) ))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-05 (EG( (AX( (EX( ((potential((tk(P361)>=1) & (tk(P759)>=1))))))))))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-06 (! (EF( ( ( ((potential((tk(P1369)>=1)))) | ((potential((tk(P80)>=1) & (tk(P133)>=1)))) ) & ( ( ((potential((tk(P1380)>=1)))) | ((potential((tk(P1185)>=1)))) ) & ((potential((tk(P1443)>=1)))) ) ))))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-07 (AG( (AU( (! ((potential((tk(P1156)>=1))))) , (! ((potential((tk(P1342)>=1))))) ))))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-08 (AG( (EX( ( (! ((potential((tk(P1487)>=1))))) | ((potential((tk(P8)>=1)))) )))))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-09 (EF( (! (EF( ((potential((tk(P30)>=1) & (tk(P446)>=1)))))))))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-10 (! (AG( (EF( (! ((potential((tk(P1381)>=1))))))))))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-11 (AF( (AG( (EF( ((potential((tk(P1237)>=1))))))))))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-12 (AG( (EX( ((potential((tk(P32)>=1) & (tk(P589)>=1))))))))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-13 (EX( (AX( (EG( ((potential((tk(P1239)>=1))))))))))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-14 (EG( (EF( (AG( ((potential((tk(P1084)>=1))))))))))
PROPERTY: RwMutex-PT-r0500w0010-CTLFireability-15 (AF( (EU( ( ((potential((tk(P232)>=1) & (tk(P629)>=1)))) | ((potential((tk(P1134)>=1)))) ) , ( ((potential((tk(P1059)>=1)))) & ((potential((tk(P1023)>=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-r0500w0010"
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-r0500w0010, 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-158972910100316"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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