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

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

=== Now, execution of the tool begins

BK_START 1589744154038

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

GOT IT HERE. BS
Petri model created: 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 2 NEW BEST:: SOT 1298864 SOS 1037618 HAS SOPS 1037618 HAS SOUS 1037618 HAS SOUPS 1037618 WITH SCORE 1038655.618
AT ITER 4 NEW BEST:: SOT 1297822 SOS 1037390 HAS SOPS 1037390 HAS SOUS 1037390 HAS SOUPS 1037390 WITH SCORE 1038427.39
AT ITER 6 NEW BEST:: SOT 1297454 SOS 1037022 HAS SOPS 1037022 HAS SOUS 1037022 HAS SOUPS 1037022 WITH SCORE 1038059.022
AT ITER 7 NEW BEST:: SOT 1296500 SOS 1036068 HAS SOPS 1036068 HAS SOUS 1036068 HAS SOUPS 1036068 WITH SCORE 1037104.068
AT ITER 8 NEW BEST:: SOT 1296500 SOS 1035286 HAS SOPS 1035286 HAS SOUS 1035286 HAS SOUPS 1035286 WITH SCORE 1036321.286
AT ITER 10 NEW BEST:: SOT 1295804 SOS 1034590 HAS SOPS 1034590 HAS SOUS 1034590 HAS SOUPS 1034590 WITH SCORE 1035624.59
AT ITER 11 NEW BEST:: SOT 1294890 SOS 1032892 HAS SOPS 1032892 HAS SOUS 1032892 HAS SOUPS 1032892 WITH SCORE 1033924.892
AT ITER 12 NEW BEST:: SOT 1294238 SOS 1031844 HAS SOPS 1031844 HAS SOUS 1031844 HAS SOUPS 1031844 WITH SCORE 1032875.844
AT ITER 14 NEW BEST:: SOT 1294238 SOS 1031058 HAS SOPS 1031058 HAS SOUS 1031058 HAS SOUPS 1031058 WITH SCORE 1032089.058
AT ITER 15 NEW BEST:: SOT 1294238 SOS 1030252 HAS SOPS 1030252 HAS SOUS 1030252 HAS SOUPS 1030252 WITH SCORE 1031282.252
AT ITER 17 NEW BEST:: SOT 1293308 SOS 1029322 HAS SOPS 1029322 HAS SOUS 1029322 HAS SOUPS 1029322 WITH SCORE 1030351.322
AT ITER 18 NEW BEST:: SOT 1292426 SOS 1027658 HAS SOPS 1027658 HAS SOUS 1027658 HAS SOUPS 1027658 WITH SCORE 1028685.658
AT ITER 22 NEW BEST:: SOT 1292402 SOS 1026836 HAS SOPS 1026836 HAS SOUS 1026836 HAS SOUPS 1026836 WITH SCORE 1027862.836
AT ITER 23 NEW BEST:: SOT 1291494 SOS 1025412 HAS SOPS 1025412 HAS SOUS 1025266 HAS SOUPS 1025266 WITH SCORE 1026291.412
AT ITER 26 NEW BEST:: SOT 1291172 SOS 1024044 HAS SOPS 1024044 HAS SOUS 1024004 HAS SOUPS 1024004 WITH SCORE 1025028.044
AT ITER 27 NEW BEST:: SOT 1290130 SOS 1022158 HAS SOPS 1022158 HAS SOUS 1022118 HAS SOUPS 1022118 WITH SCORE 1023140.158
AT ITER 28 NEW BEST:: SOT 1290130 SOS 1022032 HAS SOPS 1022032 HAS SOUS 1021992 HAS SOUPS 1021992 WITH SCORE 1023014.032
AT ITER 29 NEW BEST:: SOT 1290130 SOS 1021462 HAS SOPS 1021462 HAS SOUS 1021422 HAS SOUPS 1021422 WITH SCORE 1022443.462
AT ITER 30 NEW BEST:: SOT 1289256 SOS 1020588 HAS SOPS 1020588 HAS SOUS 1020548 HAS SOUPS 1020548 WITH SCORE 1021568.588
AT ITER 31 NEW BEST:: SOT 1288214 SOS 1018686 HAS SOPS 1018686 HAS SOUS 1018202 HAS SOUPS 1018202 WITH SCORE 1019220.686
AT ITER 32 NEW BEST:: SOT 1288190 SOS 1018662 HAS SOPS 1018662 HAS SOUS 1018178 HAS SOUPS 1018178 WITH SCORE 1019196.662
AT ITER 33 NEW BEST:: SOT 1288190 SOS 1018026 HAS SOPS 1018026 HAS SOUS 1017542 HAS SOUPS 1017542 WITH SCORE 1018560.026
AT ITER 34 NEW BEST:: SOT 1288190 SOS 1017578 HAS SOPS 1017578 HAS SOUS 1017094 HAS SOUPS 1017094 WITH SCORE 1018111.578
AT ITER 35 NEW BEST:: SOT 1287278 SOS 1015868 HAS SOPS 1015868 HAS SOUS 1015384 HAS SOUPS 1015384 WITH SCORE 1016399.868
AT ITER 36 NEW BEST:: SOT 1286412 SOS 1015002 HAS SOPS 1015002 HAS SOUS 1014518 HAS SOUPS 1014518 WITH SCORE 1015533.002
AT ITER 37 NEW BEST:: SOT 1285606 SOS 1013856 HAS SOPS 1013856 HAS SOUS 1013372 HAS SOUPS 1013372 WITH SCORE 1014385.856
AT ITER 38 NEW BEST:: SOT 1285412 SOS 1012866 HAS SOPS 1012866 HAS SOUS 1012382 HAS SOUPS 1012382 WITH SCORE 1013394.866
AT ITER 39 NEW BEST:: SOT 1285412 SOS 1012664 HAS SOPS 1012664 HAS SOUS 1012180 HAS SOUPS 1012180 WITH SCORE 1013192.664
AT ITER 43 NEW BEST:: SOT 1285098 SOS 1011540 HAS SOPS 1011540 HAS SOUS 1011056 HAS SOUPS 1011056 WITH SCORE 1012067.54
AT ITER 44 NEW BEST:: SOT 1284056 SOS 1009656 HAS SOPS 1009656 HAS SOUS 1009172 HAS SOUPS 1009172 WITH SCORE 1010181.656
AT ITER 45 NEW BEST:: SOT 1283074 SOS 1008674 HAS SOPS 1008674 HAS SOUS 1008190 HAS SOUPS 1008190 WITH SCORE 1009198.674
AT ITER 47 NEW BEST:: SOT 1283074 SOS 1007852 HAS SOPS 1007852 HAS SOUS 1007368 HAS SOUPS 1007368 WITH SCORE 1008375.852
AT ITER 48 NEW BEST:: SOT 1282608 SOS 1007386 HAS SOPS 1007386 HAS SOUS 1006902 HAS SOUPS 1006902 WITH SCORE 1007909.386
AT ITER 49 NEW BEST:: SOT 1282422 SOS 1007200 HAS SOPS 1007200 HAS SOUS 1006716 HAS SOUPS 1006716 WITH SCORE 1007723.2
AT ITER 51 NEW BEST:: SOT 1282422 SOS 1005824 HAS SOPS 1005824 HAS SOUS 1005340 HAS SOUPS 1005340 WITH SCORE 1006345.824
AT ITER 53 NEW BEST:: SOT 1281564 SOS 1004966 HAS SOPS 1004966 HAS SOUS 1004482 HAS SOUPS 1004482 WITH SCORE 1005486.966
AT ITER 54 NEW BEST:: SOT 1281380 SOS 1004782 HAS SOPS 1004782 HAS SOUS 1004298 HAS SOUPS 1004298 WITH SCORE 1005302.782
AT ITER 55 NEW BEST:: SOT 1281292 SOS 1004694 HAS SOPS 1004694 HAS SOUS 1004210 HAS SOUPS 1004210 WITH SCORE 1005214.694
AT ITER 57 NEW BEST:: SOT 1280258 SOS 1002832 HAS SOPS 1002832 HAS SOUS 1002348 HAS SOUPS 1002348 WITH SCORE 1003350.832
AT ITER 58 NEW BEST:: SOT 1279216 SOS 1000770 HAS SOPS 1000770 HAS SOUS 1000286 HAS SOUPS 1000286 WITH SCORE 1001286.77
AT ITER 60 NEW BEST:: SOT 1278174 SOS 998898 HAS SOPS 998898 HAS SOUS 998414 HAS SOUPS 998414 WITH SCORE 999412.898
AT ITER 61 NEW BEST:: SOT 1278174 SOS 998720 HAS SOPS 998720 HAS SOUS 998236 HAS SOUPS 998236 WITH SCORE 999234.72
AT ITER 62 NEW BEST:: SOT 1277784 SOS 998330 HAS SOPS 998330 HAS SOUS 997846 HAS SOUPS 997846 WITH SCORE 998844.33
AT ITER 63 NEW BEST:: SOT 1277036 SOS 997582 HAS SOPS 997582 HAS SOUS 997098 HAS SOUPS 997098 WITH SCORE 998095.582
AT ITER 64 NEW BEST:: SOT 1276660 SOS 996388 HAS SOPS 996388 HAS SOUS 995904 HAS SOUPS 995904 WITH SCORE 996900.388
AT ITER 65 NEW BEST:: SOT 1275746 SOS 995474 HAS SOPS 995474 HAS SOUS 994990 HAS SOUPS 994990 WITH SCORE 995985.474
AT ITER 66 NEW BEST:: SOT 1276000 SOS 994964 HAS SOPS 994964 HAS SOUS 994480 HAS SOUPS 994480 WITH SCORE 995474.964
AT ITER 70 NEW BEST:: SOT 1274958 SOS 992284 HAS SOPS 992284 HAS SOUS 991862 HAS SOUPS 991862 WITH SCORE 992854.284
AT ITER 71 NEW BEST:: SOT 1274958 SOS 991450 HAS SOPS 991450 HAS SOUS 991028 HAS SOUPS 991028 WITH SCORE 992019.45
AT ITER 73 NEW BEST:: SOT 1274374 SOS 990866 HAS SOPS 990866 HAS SOUS 990444 HAS SOUPS 990444 WITH SCORE 991434.866
AT ITER 74 NEW BEST:: SOT 1273550 SOS 989460 HAS SOPS 989460 HAS SOUS 989038 HAS SOUPS 989038 WITH SCORE 990027.46
AT ITER 77 NEW BEST:: SOT 1273032 SOS 988110 HAS SOPS 988110 HAS SOUS 987688 HAS SOUPS 987688 WITH SCORE 988676.11
AT ITER 78 NEW BEST:: SOT 1271990 SOS 985474 HAS SOPS 985474 HAS SOUS 985052 HAS SOUPS 985052 WITH SCORE 986037.474
AT ITER 79 NEW BEST:: SOT 1271456 SOS 984666 HAS SOPS 984666 HAS SOUS 984244 HAS SOUPS 984244 WITH SCORE 985228.666
AT ITER 81 NEW BEST:: SOT 1270502 SOS 983004 HAS SOPS 983004 HAS SOUS 982582 HAS SOUPS 982582 WITH SCORE 983565.004
AT ITER 83 NEW BEST:: SOT 1270204 SOS 982706 HAS SOPS 982706 HAS SOUS 982284 HAS SOUPS 982284 WITH SCORE 983266.706
AT ITER 85 NEW BEST:: SOT 1269162 SOS 980812 HAS SOPS 980812 HAS SOUS 980390 HAS SOUPS 980390 WITH SCORE 981370.812
AT ITER 87 NEW BEST:: SOT 1268120 SOS 979664 HAS SOPS 979664 HAS SOUS 979242 HAS SOUPS 979242 WITH SCORE 980221.664
AT ITER 88 NEW BEST:: SOT 1267826 SOS 979370 HAS SOPS 979370 HAS SOUS 978948 HAS SOUPS 978948 WITH SCORE 979927.37
AT ITER 89 NEW BEST:: SOT 1267208 SOS 978752 HAS SOPS 978752 HAS SOUS 978330 HAS SOUPS 978330 WITH SCORE 979308.752
AT ITER 90 NEW BEST:: SOT 1266732 SOS 978276 HAS SOPS 978276 HAS SOUS 977854 HAS SOUPS 977854 WITH SCORE 978832.276
AT ITER 91 NEW BEST:: SOT 1265690 SOS 975836 HAS SOPS 975836 HAS SOUS 975414 HAS SOUPS 975414 WITH SCORE 976389.836
AT ITER 94 NEW BEST:: SOT 1265690 SOS 975124 HAS SOPS 975124 HAS SOUS 974702 HAS SOUPS 974702 WITH SCORE 975677.124
AT ITER 95 NEW BEST:: SOT 1265050 SOS 974484 HAS SOPS 974484 HAS SOUS 974062 HAS SOUPS 974062 WITH SCORE 975036.484
AT ITER 96 NEW BEST:: SOT 1264844 SOS 974254 HAS SOPS 974254 HAS SOUS 973832 HAS SOUPS 973832 WITH SCORE 974806.254
AT ITER 97 NEW BEST:: SOT 1264844 SOS 973514 HAS SOPS 973514 HAS SOUS 973092 HAS SOUPS 973092 WITH SCORE 974065.514
AT ITER 98 NEW BEST:: SOT 1264576 SOS 973246 HAS SOPS 973246 HAS SOUS 972824 HAS SOUPS 972824 WITH SCORE 973797.246
AT ITER 100 NEW BEST:: SOT 1263636 SOS 972306 HAS SOPS 972306 HAS SOUS 971884 HAS SOUPS 971884 WITH SCORE 972856.306
AT ITER 101 NEW BEST:: SOT 1262666 SOS 971336 HAS SOPS 971336 HAS SOUS 970914 HAS SOUPS 970914 WITH SCORE 971885.336
AT ITER 102 NEW BEST:: SOT 1262666 SOS 970502 HAS SOPS 970502 HAS SOUS 970080 HAS SOUPS 970080 WITH SCORE 971050.502
AT ITER 103 NEW BEST:: SOT 1261898 SOS 969126 HAS SOPS 969126 HAS SOUS 968704 HAS SOUPS 968704 WITH SCORE 969673.126
AT ITER 105 NEW BEST:: SOT 1261260 SOS 968056 HAS SOPS 968056 HAS SOUS 967634 HAS SOUPS 967634 WITH SCORE 968602.056
AT ITER 106 NEW BEST:: SOT 1260914 SOS 967710 HAS SOPS 967710 HAS SOUS 967288 HAS SOUPS 967288 WITH SCORE 968255.71
AT ITER 107 NEW BEST:: SOT 1260874 SOS 967500 HAS SOPS 967500 HAS SOUS 967078 HAS SOUPS 967078 WITH SCORE 968045.5
AT ITER 108 NEW BEST:: SOT 1260062 SOS 965896 HAS SOPS 965896 HAS SOUS 965474 HAS SOUPS 965474 WITH SCORE 966439.896
AT ITER 109 NEW BEST:: SOT 1260062 SOS 965174 HAS SOPS 965174 HAS SOUS 964752 HAS SOUPS 964752 WITH SCORE 965717.174
AT ITER 110 NEW BEST:: SOT 1259416 SOS 964528 HAS SOPS 964528 HAS SOUS 964106 HAS SOUPS 964106 WITH SCORE 965070.528
AT ITER 111 NEW BEST:: SOT 1259090 SOS 964202 HAS SOPS 964202 HAS SOUS 963780 HAS SOUPS 963780 WITH SCORE 964744.202
AT ITER 112 NEW BEST:: SOT 1259090 SOS 963444 HAS SOPS 963444 HAS SOUS 963022 HAS SOUPS 963022 WITH SCORE 963985.444
AT ITER 113 NEW BEST:: SOT 1258960 SOS 962454 HAS SOPS 962454 HAS SOUS 962032 HAS SOUPS 962032 WITH SCORE 962994.454
AT ITER 114 NEW BEST:: SOT 1257918 SOS 961412 HAS SOPS 961412 HAS SOUS 959102 HAS SOUPS 959102 WITH SCORE 960063.412
AT ITER 115 NEW BEST:: SOT 1257816 SOS 960268 HAS SOPS 960268 HAS SOUS 957958 HAS SOUPS 957958 WITH SCORE 958918.268
AT ITER 116 NEW BEST:: SOT 1256966 SOS 958882 HAS SOPS 958882 HAS SOUS 956572 HAS SOUPS 956572 WITH SCORE 957530.882
AT ITER 119 NEW BEST:: SOT 1256674 SOS 958590 HAS SOPS 958590 HAS SOUS 956280 HAS SOUPS 956280 WITH SCORE 957238.59
AT ITER 120 NEW BEST:: SOT 1256674 SOS 958434 HAS SOPS 958434 HAS SOUS 956124 HAS SOUPS 956124 WITH SCORE 957082.434
AT ITER 121 NEW BEST:: SOT 1256674 SOS 958412 HAS SOPS 958412 HAS SOUS 956102 HAS SOUPS 956102 WITH SCORE 957060.412
AT ITER 123 NEW BEST:: SOT 1255632 SOS 956540 HAS SOPS 956540 HAS SOUS 954230 HAS SOUPS 954230 WITH SCORE 955186.54
AT ITER 124 NEW BEST:: SOT 1253860 SOS 952978 HAS SOPS 952978 HAS SOUS 950668 HAS SOUPS 950668 WITH SCORE 951620.978
AT ITER 128 NEW BEST:: SOT 1252858 SOS 950856 HAS SOPS 950856 HAS SOUS 948546 HAS SOUPS 948546 WITH SCORE 949496.856
AT ITER 129 NEW BEST:: SOT 1252108 SOS 948330 HAS SOPS 948330 HAS SOUS 946020 HAS SOUPS 946020 WITH SCORE 946968.33
AT ITER 130 NEW BEST:: SOT 1251076 SOS 947298 HAS SOPS 947298 HAS SOUS 944988 HAS SOUPS 944988 WITH SCORE 945935.298
AT ITER 131 NEW BEST:: SOT 1251076 SOS 946846 HAS SOPS 946846 HAS SOUS 944536 HAS SOUPS 944536 WITH SCORE 945482.846
AT ITER 132 NEW BEST:: SOT 1250302 SOS 946072 HAS SOPS 946072 HAS SOUS 943762 HAS SOUPS 943762 WITH SCORE 944708.072
AT ITER 133 NEW BEST:: SOT 1249260 SOS 943240 HAS SOPS 943240 HAS SOUS 940930 HAS SOUPS 940930 WITH SCORE 941873.24
AT ITER 138 NEW BEST:: SOT 1249260 SOS 942838 HAS SOPS 942838 HAS SOUS 940528 HAS SOUPS 940528 WITH SCORE 941470.838
AT ITER 140 NEW BEST:: SOT 1248568 SOS 942146 HAS SOPS 942146 HAS SOUS 939836 HAS SOUPS 939836 WITH SCORE 940778.146
AT ITER 143 NEW BEST:: SOT 1247526 SOS 939324 HAS SOPS 939324 HAS SOUS 937014 HAS SOUPS 937014 WITH SCORE 937953.324
AT ITER 144 NEW BEST:: SOT 1247202 SOS 939000 HAS SOPS 939000 HAS SOUS 936690 HAS SOUPS 936690 WITH SCORE 937629.0
AT ITER 145 NEW BEST:: SOT 1246160 SOS 936520 HAS SOPS 936520 HAS SOUS 934210 HAS SOUPS 934210 WITH SCORE 935146.52
AT ITER 147 NEW BEST:: SOT 1246160 SOS 935702 HAS SOPS 935702 HAS SOUS 933392 HAS SOUPS 933392 WITH SCORE 934327.702
AT ITER 148 NEW BEST:: SOT 1245756 SOS 935106 HAS SOPS 935106 HAS SOUS 932166 HAS SOUPS 932166 WITH SCORE 933101.106
AT ITER 153 NEW BEST:: SOT 1245236 SOS 934586 HAS SOPS 934586 HAS SOUS 931646 HAS SOUPS 931646 WITH SCORE 932580.586
AT ITER 154 NEW BEST:: SOT 1244194 SOS 932518 HAS SOPS 932518 HAS SOUS 929578 HAS SOUPS 929578 WITH SCORE 930510.518
AT ITER 155 NEW BEST:: SOT 1244194 SOS 933316 HAS SOPS 933316 HAS SOUS 928788 HAS SOUPS 928788 WITH SCORE 929721.316
AT ITER 156 NEW BEST:: SOT 1244194 SOS 932474 HAS SOPS 932474 HAS SOUS 927946 HAS SOUPS 927946 WITH SCORE 928878.474
AT ITER 158 NEW BEST:: SOT 1243152 SOS 930634 HAS SOPS 930634 HAS SOUS 926106 HAS SOUPS 926106 WITH SCORE 927036.634
AT ITER 159 NEW BEST:: SOT 1242294 SOS 928792 HAS SOPS 928792 HAS SOUS 924264 HAS SOUPS 924264 WITH SCORE 925192.792
AT ITER 160 NEW BEST:: SOT 1241382 SOS 927166 HAS SOPS 927166 HAS SOUS 922638 HAS SOUPS 922638 WITH SCORE 923565.166
AT ITER 163 NEW BEST:: SOT 1240572 SOS 925770 HAS SOPS 925770 HAS SOUS 921242 HAS SOUPS 921242 WITH SCORE 922167.77
AT ITER 164 NEW BEST:: SOT 1239694 SOS 924044 HAS SOPS 924044 HAS SOUS 919516 HAS SOUPS 919516 WITH SCORE 920440.044
AT ITER 165 NEW BEST:: SOT 1239694 SOS 924034 HAS SOPS 924034 HAS SOUS 919506 HAS SOUPS 919506 WITH SCORE 920430.034
AT ITER 166 NEW BEST:: SOT 1239694 SOS 923242 HAS SOPS 923242 HAS SOUS 918714 HAS SOUPS 918714 WITH SCORE 919637.242
AT ITER 167 NEW BEST:: SOT 1239088 SOS 922636 HAS SOPS 922636 HAS SOUS 918108 HAS SOUPS 918108 WITH SCORE 919030.636
AT ITER 169 NEW BEST:: SOT 1239088 SOS 921846 HAS SOPS 921846 HAS SOUS 917318 HAS SOUPS 917318 WITH SCORE 918239.846
AT ITER 171 NEW BEST:: SOT 1238140 SOS 920596 HAS SOPS 920596 HAS SOUS 916068 HAS SOUPS 916068 WITH SCORE 916988.596
AT ITER 172 NEW BEST:: SOT 1238140 SOS 919804 HAS SOPS 919804 HAS SOUS 915276 HAS SOUPS 915276 WITH SCORE 916195.804
AT ITER 174 NEW BEST:: SOT 1238140 SOS 919722 HAS SOPS 919722 HAS SOUS 915194 HAS SOUPS 915194 WITH SCORE 916113.722
AT ITER 175 NEW BEST:: SOT 1238140 SOS 919688 HAS SOPS 919688 HAS SOUS 915194 HAS SOUPS 915194 WITH SCORE 916113.688
AT ITER 176 NEW BEST:: SOT 1237288 SOS 918836 HAS SOPS 918836 HAS SOUS 914342 HAS SOUPS 914342 WITH SCORE 915260.836
AT ITER 177 NEW BEST:: SOT 1237288 SOS 918564 HAS SOPS 918564 HAS SOUS 914070 HAS SOUPS 914070 WITH SCORE 914988.564
AT ITER 178 NEW BEST:: SOT 1237012 SOS 918302 HAS SOPS 918302 HAS SOUS 913808 HAS SOUPS 913808 WITH SCORE 914726.302
AT ITER 179 NEW BEST:: SOT 1236034 SOS 917324 HAS SOPS 917324 HAS SOUS 912830 HAS SOUPS 912830 WITH SCORE 913747.324
AT ITER 187 NEW BEST:: SOT 1234992 SOS 915464 HAS SOPS 915464 HAS SOUS 910970 HAS SOUPS 910970 WITH SCORE 911885.464
AT ITER 188 NEW BEST:: SOT 1234992 SOS 914656 HAS SOPS 914656 HAS SOUS 910162 HAS SOUPS 910162 WITH SCORE 911076.656
AT ITER 189 NEW BEST:: SOT 1233950 SOS 913212 HAS SOPS 913212 HAS SOUS 908718 HAS SOUPS 908718 WITH SCORE 909631.212
AT ITER 190 NEW BEST:: SOT 1233950 SOS 913090 HAS SOPS 913090 HAS SOUS 908596 HAS SOUPS 908596 WITH SCORE 909509.09
AT ITER 191 NEW BEST:: SOT 1232908 SOS 911806 HAS SOPS 911806 HAS SOUS 907312 HAS SOUPS 907312 WITH SCORE 908223.806
AT ITER 192 NEW BEST:: SOT 1232848 SOS 911746 HAS SOPS 911746 HAS SOUS 907252 HAS SOUPS 907252 WITH SCORE 908163.746
AT ITER 193 NEW BEST:: SOT 1231806 SOS 909080 HAS SOPS 909080 HAS SOUS 904586 HAS SOUPS 904586 WITH SCORE 905495.08
AT ITER 194 NEW BEST:: SOT 1231616 SOS 908890 HAS SOPS 908890 HAS SOUS 902680 HAS SOUPS 902680 WITH SCORE 903588.89
AT ITER 195 NEW BEST:: SOT 1231616 SOS 908108 HAS SOPS 908108 HAS SOUS 901898 HAS SOUPS 901898 WITH SCORE 902806.108
AT ITER 197 NEW BEST:: SOT 1231616 SOS 907960 HAS SOPS 907960 HAS SOUS 901750 HAS SOUPS 901750 WITH SCORE 902657.96
AT ITER 199 NEW BEST:: SOT 1231184 SOS 906952 HAS SOPS 906952 HAS SOUS 900742 HAS SOUPS 900742 WITH SCORE 901648.952
AT ITER 201 NEW BEST:: SOT 1231184 SOS 906110 HAS SOPS 906110 HAS SOUS 899900 HAS SOUPS 899900 WITH SCORE 900806.11
AT ITER 203 NEW BEST:: SOT 1231184 SOS 905376 HAS SOPS 905376 HAS SOUS 899166 HAS SOUPS 899166 WITH SCORE 900071.376
AT ITER 205 NEW BEST:: SOT 1231184 SOS 904904 HAS SOPS 904904 HAS SOUS 898694 HAS SOUPS 898694 WITH SCORE 899598.904
AT ITER 208 NEW BEST:: SOT 1231046 SOS 904766 HAS SOPS 904766 HAS SOUS 898556 HAS SOUPS 898556 WITH SCORE 899460.766
AT ITER 212 NEW BEST:: SOT 1230336 SOS 903308 HAS SOPS 903308 HAS SOUS 897098 HAS SOUPS 897098 WITH SCORE 898001.308
AT ITER 213 NEW BEST:: SOT 1229918 SOS 902050 HAS SOPS 902050 HAS SOUS 895840 HAS SOUPS 895840 WITH SCORE 896742.05
AT ITER 216 NEW BEST:: SOT 1229096 SOS 901228 HAS SOPS 901228 HAS SOUS 895018 HAS SOUPS 895018 WITH SCORE 895919.228
AT ITER 217 NEW BEST:: SOT 1228566 SOS 900698 HAS SOPS 900698 HAS SOUS 894488 HAS SOUPS 894488 WITH SCORE 895388.698
AT ITER 218 NEW BEST:: SOT 1228254 SOS 900288 HAS SOPS 900288 HAS SOUS 894078 HAS SOUPS 894078 WITH SCORE 894978.288
AT ITER 219 NEW BEST:: SOT 1227212 SOS 898410 HAS SOPS 898410 HAS SOUS 892200 HAS SOUPS 892200 WITH SCORE 893098.41
AT ITER 222 NEW BEST:: SOT 1227118 SOS 897572 HAS SOPS 897572 HAS SOUS 891362 HAS SOUPS 891362 WITH SCORE 892259.572
AT ITER 223 NEW BEST:: SOT 1226708 SOS 897162 HAS SOPS 897162 HAS SOUS 890952 HAS SOUPS 890952 WITH SCORE 891849.162
AT ITER 225 NEW BEST:: SOT 1226708 SOS 896830 HAS SOPS 896830 HAS SOUS 890620 HAS SOUPS 890620 WITH SCORE 891516.83
AT ITER 227 NEW BEST:: SOT 1226240 SOS 896362 HAS SOPS 896362 HAS SOUS 890152 HAS SOUPS 890152 WITH SCORE 891048.362
AT ITER 230 NEW BEST:: SOT 1226122 SOS 896224 HAS SOPS 896224 HAS SOUS 890014 HAS SOUPS 890014 WITH SCORE 890910.224
AT ITER 232 NEW BEST:: SOT 1225080 SOS 894700 HAS SOPS 894700 HAS SOUS 888490 HAS SOUPS 888490 WITH SCORE 889384.7
AT ITER 233 NEW BEST:: SOT 1224760 SOS 894380 HAS SOPS 894380 HAS SOUS 888170 HAS SOUPS 888170 WITH SCORE 889064.38
AT ITER 234 NEW BEST:: SOT 1223866 SOS 891766 HAS SOPS 891766 HAS SOUS 885556 HAS SOUPS 885556 WITH SCORE 886447.766
AT ITER 237 NEW BEST:: SOT 1223866 SOS 891602 HAS SOPS 891602 HAS SOUS 885392 HAS SOUPS 885392 WITH SCORE 886283.602
AT ITER 238 NEW BEST:: SOT 1223702 SOS 891438 HAS SOPS 891438 HAS SOUS 885228 HAS SOUPS 885228 WITH SCORE 886119.438
AT ITER 240 NEW BEST:: SOT 1222872 SOS 889756 HAS SOPS 889756 HAS SOUS 883546 HAS SOUPS 883546 WITH SCORE 884435.756
AT ITER 243 NEW BEST:: SOT 1222578 SOS 889462 HAS SOPS 889462 HAS SOUS 883252 HAS SOUPS 883252 WITH SCORE 884141.462
AT ITER 244 NEW BEST:: SOT 1222578 SOS 889074 HAS SOPS 889074 HAS SOUS 882864 HAS SOUPS 882864 WITH SCORE 883753.074
AT ITER 245 NEW BEST:: SOT 1221736 SOS 887584 HAS SOPS 887584 HAS SOUS 881374 HAS SOUPS 881374 WITH SCORE 882261.584
AT ITER 246 NEW BEST:: SOT 1221592 SOS 887518 HAS SOPS 887518 HAS SOUS 881308 HAS SOUPS 881308 WITH SCORE 882195.518
AT ITER 248 NEW BEST:: SOT 1220714 SOS 886640 HAS SOPS 886640 HAS SOUS 880430 HAS SOUPS 880430 WITH SCORE 881316.64
AT ITER 251 NEW BEST:: SOT 1219672 SOS 885118 HAS SOPS 885118 HAS SOUS 878908 HAS SOUPS 878908 WITH SCORE 879793.118
AT ITER 255 NEW BEST:: SOT 1219008 SOS 884048 HAS SOPS 884048 HAS SOUS 877838 HAS SOUPS 877838 WITH SCORE 878722.048
AT ITER 259 NEW BEST:: SOT 1219008 SOS 883614 HAS SOPS 883614 HAS SOUS 877404 HAS SOUPS 877404 WITH SCORE 878287.614
AT ITER 262 NEW BEST:: SOT 1217988 SOS 882594 HAS SOPS 882594 HAS SOUS 876384 HAS SOUPS 876384 WITH SCORE 877266.594
AT ITER 263 NEW BEST:: SOT 1216946 SOS 880748 HAS SOPS 880748 HAS SOUS 874538 HAS SOUPS 874538 WITH SCORE 875418.748
AT ITER 264 NEW BEST:: SOT 1216478 SOS 880280 HAS SOPS 880280 HAS SOUS 874070 HAS SOUPS 874070 WITH SCORE 874950.28
AT ITER 265 NEW BEST:: SOT 1216478 SOS 879646 HAS SOPS 879646 HAS SOUS 873436 HAS SOUPS 873436 WITH SCORE 874315.646
AT ITER 266 NEW BEST:: SOT 1216146 SOS 879314 HAS SOPS 879314 HAS SOUS 873104 HAS SOUPS 873104 WITH SCORE 873983.314
AT ITER 267 NEW BEST:: SOT 1215522 SOS 878252 HAS SOPS 878252 HAS SOUS 872042 HAS SOUPS 872042 WITH SCORE 872920.252
AT ITER 270 NEW BEST:: SOT 1214480 SOS 877210 HAS SOPS 877210 HAS SOUS 870314 HAS SOUPS 870314 WITH SCORE 871191.21
AT ITER 271 NEW BEST:: SOT 1213454 SOS 876184 HAS SOPS 876184 HAS SOUS 869288 HAS SOUPS 869288 WITH SCORE 870164.184
AT ITER 272 NEW BEST:: SOT 1212626 SOS 875356 HAS SOPS 875356 HAS SOUS 868460 HAS SOUPS 868460 WITH SCORE 869335.356
AT ITER 273 NEW BEST:: SOT 1211822 SOS 874464 HAS SOPS 874464 HAS SOUS 867568 HAS SOUPS 867568 WITH SCORE 868442.464
AT ITER 274 NEW BEST:: SOT 1211918 SOS 873810 HAS SOPS 873810 HAS SOUS 866914 HAS SOUPS 866914 WITH SCORE 867787.81
AT ITER 275 NEW BEST:: SOT 1211918 SOS 873758 HAS SOPS 873758 HAS SOUS 866862 HAS SOUPS 866862 WITH SCORE 867735.758
AT ITER 276 NEW BEST:: SOT 1211918 SOS 873546 HAS SOPS 873546 HAS SOUS 866650 HAS SOUPS 866650 WITH SCORE 867523.546
AT ITER 279 NEW BEST:: SOT 1210876 SOS 872132 HAS SOPS 872132 HAS SOUS 865236 HAS SOUPS 865236 WITH SCORE 866108.132
AT ITER 280 NEW BEST:: SOT 1209920 SOS 870092 HAS SOPS 870092 HAS SOUS 863196 HAS SOUPS 863196 WITH SCORE 864066.092
AT ITER 281 NEW BEST:: SOT 1209920 SOS 869314 HAS SOPS 869314 HAS SOUS 862418 HAS SOUPS 862418 WITH SCORE 863287.314
AT ITER 283 NEW BEST:: SOT 1208878 SOS 868272 HAS SOPS 868272 HAS SOUS 861376 HAS SOUPS 861376 WITH SCORE 862244.272
AT ITER 286 NEW BEST:: SOT 1208562 SOS 867956 HAS SOPS 867956 HAS SOUS 861060 HAS SOUPS 861060 WITH SCORE 861927.956
AT ITER 287 NEW BEST:: SOT 1207502 SOS 866896 HAS SOPS 866896 HAS SOUS 860000 HAS SOUPS 860000 WITH SCORE 860866.896
AT ITER 288 NEW BEST:: SOT 1207128 SOS 866522 HAS SOPS 866522 HAS SOUS 859626 HAS SOUPS 859626 WITH SCORE 860492.522
AT ITER 291 NEW BEST:: SOT 1206308 SOS 864932 HAS SOPS 864932 HAS SOUS 858036 HAS SOUPS 858036 WITH SCORE 858900.932
AT ITER 296 NEW BEST:: SOT 1205570 SOS 863672 HAS SOPS 863672 HAS SOUS 856776 HAS SOUPS 856776 WITH SCORE 857639.672
AT ITER 297 NEW BEST:: SOT 1205334 SOS 863194 HAS SOPS 863194 HAS SOUS 856298 HAS SOUPS 856298 WITH SCORE 857161.194
AT ITER 300 NEW BEST:: SOT 1205334 SOS 862290 HAS SOPS 862290 HAS SOUS 855394 HAS SOUPS 855394 WITH SCORE 856256.29
AT ITER 301 NEW BEST:: SOT 1204292 SOS 860466 HAS SOPS 860466 HAS SOUS 853570 HAS SOUPS 853570 WITH SCORE 854430.466
AT ITER 304 NEW BEST:: SOT 1204292 SOS 860368 HAS SOPS 860368 HAS SOUS 853472 HAS SOUPS 853472 WITH SCORE 854332.368
AT ITER 305 NEW BEST:: SOT 1204292 SOS 858696 HAS SOPS 858696 HAS SOUS 851800 HAS SOUPS 851800 WITH SCORE 852658.696
AT ITER 308 NEW BEST:: SOT 1203250 SOS 856724 HAS SOPS 856724 HAS SOUS 849828 HAS SOUPS 849828 WITH SCORE 850684.724
AT ITER 310 NEW BEST:: SOT 1202412 SOS 855886 HAS SOPS 855886 HAS SOUS 848990 HAS SOUPS 848990 WITH SCORE 849845.886
AT ITER 317 NEW BEST:: SOT 1201708 SOS 855182 HAS SOPS 855182 HAS SOUS 848286 HAS SOUPS 848286 WITH SCORE 849141.182
AT ITER 323 NEW BEST:: SOT 1201708 SOS 855108 HAS SOPS 855108 HAS SOUS 848212 HAS SOUPS 848212 WITH SCORE 849067.108
AT ITER 324 NEW BEST:: SOT 1201340 SOS 854372 HAS SOPS 854372 HAS SOUS 847476 HAS SOUPS 847476 WITH SCORE 848330.372
AT ITER 325 NEW BEST:: SOT 1200302 SOS 852374 HAS SOPS 852374 HAS SOUS 845478 HAS SOUPS 845478 WITH SCORE 846330.374
AT ITER 328 NEW BEST:: SOT 1199656 SOS 850910 HAS SOPS 850910 HAS SOUS 844014 HAS SOUPS 844014 WITH SCORE 844864.91
AT ITER 329 NEW BEST:: SOT 1199316 SOS 850570 HAS SOPS 850570 HAS SOUS 843674 HAS SOUPS 843674 WITH SCORE 844524.57
AT ITER 334 NEW BEST:: SOT 1198530 SOS 849784 HAS SOPS 849784 HAS SOUS 841236 HAS SOUPS 841236 WITH SCORE 842085.784
AT ITER 335 NEW BEST:: SOT 1197638 SOS 848246 HAS SOPS 848246 HAS SOUS 839698 HAS SOUPS 839698 WITH SCORE 840546.246
AT ITER 338 NEW BEST:: SOT 1197638 SOS 847598 HAS SOPS 847598 HAS SOUS 839050 HAS SOUPS 839050 WITH SCORE 839897.598
AT ITER 340 NEW BEST:: SOT 1197638 SOS 846890 HAS SOPS 846890 HAS SOUS 838342 HAS SOUPS 838342 WITH SCORE 839188.89
AT ITER 341 NEW BEST:: SOT 1196710 SOS 845272 HAS SOPS 845272 HAS SOUS 836724 HAS SOUPS 836724 WITH SCORE 837569.272
AT ITER 342 NEW BEST:: SOT 1196710 SOS 845164 HAS SOPS 845164 HAS SOUS 836616 HAS SOUPS 836616 WITH SCORE 837461.164
AT ITER 346 NEW BEST:: SOT 1196710 SOS 844628 HAS SOPS 844628 HAS SOUS 836080 HAS SOUPS 836080 WITH SCORE 836924.628
AT ITER 349 NEW BEST:: SOT 1195942 SOS 843860 HAS SOPS 843860 HAS SOUS 835312 HAS SOUPS 835312 WITH SCORE 836155.86
AT ITER 350 NEW BEST:: SOT 1195942 SOS 843814 HAS SOPS 843814 HAS SOUS 835266 HAS SOUPS 835266 WITH SCORE 836109.814
AT ITER 353 NEW BEST:: SOT 1196324 SOS 843788 HAS SOPS 843788 HAS SOUS 835240 HAS SOUPS 835240 WITH SCORE 836083.788
AT ITER 354 NEW BEST:: SOT 1195068 SOS 841490 HAS SOPS 841490 HAS SOUS 832942 HAS SOUPS 832942 WITH SCORE 833783.49
AT ITER 355 NEW BEST:: SOT 1194610 SOS 841088 HAS SOPS 841088 HAS SOUS 832578 HAS SOUPS 832578 WITH SCORE 833419.088
AT ITER 356 NEW BEST:: SOT 1194238 SOS 840716 HAS SOPS 840716 HAS SOUS 832206 HAS SOUPS 832206 WITH SCORE 833046.716
AT ITER 365 NEW BEST:: SOT 1193366 SOS 839188 HAS SOPS 839188 HAS SOUS 830678 HAS SOUPS 830678 WITH SCORE 831517.188
AT ITER 366 NEW BEST:: SOT 1192324 SOS 837306 HAS SOPS 837306 HAS SOUS 828796 HAS SOUPS 828796 WITH SCORE 829633.306
AT ITER 367 NEW BEST:: SOT 1191594 SOS 836608 HAS SOPS 836608 HAS SOUS 828098 HAS SOUPS 828098 WITH SCORE 828934.608
AT ITER 373 NEW BEST:: SOT 1191594 SOS 835786 HAS SOPS 835786 HAS SOUS 827276 HAS SOUPS 827276 WITH SCORE 828111.786
AT ITER 374 NEW BEST:: SOT 1191320 SOS 835726 HAS SOPS 835726 HAS SOUS 827216 HAS SOUPS 827216 WITH SCORE 828051.726
AT ITER 375 NEW BEST:: SOT 1191320 SOS 835474 HAS SOPS 835474 HAS SOUS 826964 HAS SOUPS 826964 WITH SCORE 827799.474
AT ITER 379 NEW BEST:: SOT 1191320 SOS 835248 HAS SOPS 835248 HAS SOUS 826738 HAS SOUPS 826738 WITH SCORE 827573.248
AT ITER 383 NEW BEST:: SOT 1190366 SOS 834294 HAS SOPS 834294 HAS SOUS 825784 HAS SOUPS 825784 WITH SCORE 826618.294
AT ITER 385 NEW BEST:: SOT 1190062 SOS 833990 HAS SOPS 833990 HAS SOUS 825480 HAS SOUPS 825480 WITH SCORE 826313.99
AT ITER 386 NEW BEST:: SOT 1189104 SOS 832784 HAS SOPS 832784 HAS SOUS 824274 HAS SOUPS 824274 WITH SCORE 825106.784
AT ITER 387 NEW BEST:: SOT 1188062 SOS 830960 HAS SOPS 830960 HAS SOUS 822450 HAS SOUPS 822450 WITH SCORE 823280.96
AT ITER 388 NEW BEST:: SOT 1187020 SOS 828762 HAS SOPS 828762 HAS SOUS 820276 HAS SOUPS 820276 WITH SCORE 821104.762
AT ITER 390 NEW BEST:: SOT 1186416 SOS 828158 HAS SOPS 828158 HAS SOUS 819672 HAS SOUPS 819672 WITH SCORE 820500.158
AT ITER 392 NEW BEST:: SOT 1185904 SOS 826856 HAS SOPS 826856 HAS SOUS 818370 HAS SOUPS 818370 WITH SCORE 819196.856
AT ITER 394 NEW BEST:: SOT 1184862 SOS 824090 HAS SOPS 824090 HAS SOUS 815604 HAS SOUPS 815604 WITH SCORE 816428.09
AT ITER 398 NEW BEST:: SOT 1184488 SOS 823718 HAS SOPS 823718 HAS SOUS 815232 HAS SOUPS 815232 WITH SCORE 816055.718
AT ITER 404 NEW BEST:: SOT 1184488 SOS 823166 HAS SOPS 823166 HAS SOUS 814680 HAS SOUPS 814680 WITH SCORE 815503.166
AT ITER 405 NEW BEST:: SOT 1184488 SOS 822622 HAS SOPS 822622 HAS SOUS 814136 HAS SOUPS 814136 WITH SCORE 814958.622
AT ITER 412 NEW BEST:: SOT 1184476 SOS 822610 HAS SOPS 822610 HAS SOUS 814124 HAS SOUPS 814124 WITH SCORE 814946.61
AT ITER 414 NEW BEST:: SOT 1184476 SOS 822198 HAS SOPS 822198 HAS SOUS 813712 HAS SOUPS 813712 WITH SCORE 814534.198
AT ITER 415 NEW BEST:: SOT 1184476 SOS 821350 HAS SOPS 821350 HAS SOUS 812864 HAS SOUPS 812864 WITH SCORE 813685.35
AT ITER 417 NEW BEST:: SOT 1184476 SOS 821226 HAS SOPS 821226 HAS SOUS 812740 HAS SOUPS 812740 WITH SCORE 813561.226
AT ITER 420 NEW BEST:: SOT 1184476 SOS 820038 HAS SOPS 820038 HAS SOUS 811552 HAS SOUPS 811552 WITH SCORE 812372.038
AT ITER 422 NEW BEST:: SOT 1184566 SOS 819530 HAS SOPS 819530 HAS SOUS 811044 HAS SOUPS 811044 WITH SCORE 811863.53
AT ITER 423 NEW BEST:: SOT 1183892 SOS 817378 HAS SOPS 817378 HAS SOUS 808892 HAS SOUPS 808892 WITH SCORE 809709.378
AT ITER 424 NEW BEST:: SOT 1183140 SOS 815888 HAS SOPS 815888 HAS SOUS 807402 HAS SOUPS 807402 WITH SCORE 808217.888
AT ITER 426 NEW BEST:: SOT 1183140 SOS 815052 HAS SOPS 815052 HAS SOUS 806566 HAS SOUPS 806566 WITH SCORE 807381.052
AT ITER 427 NEW BEST:: SOT 1182892 SOS 814804 HAS SOPS 814804 HAS SOUS 806318 HAS SOUPS 806318 WITH SCORE 807132.804
AT ITER 428 NEW BEST:: SOT 1181850 SOS 812728 HAS SOPS 812728 HAS SOUS 804242 HAS SOUPS 804242 WITH SCORE 805054.728
AT ITER 433 NEW BEST:: SOT 1181850 SOS 813130 HAS SOPS 813130 HAS SOUS 804146 HAS SOUPS 804146 WITH SCORE 804959.13
AT ITER 434 NEW BEST:: SOT 1180074 SOS 810572 HAS SOPS 810572 HAS SOUS 801588 HAS SOUPS 801588 WITH SCORE 802398.572
AT ITER 436 NEW BEST:: SOT 1179032 SOS 807676 HAS SOPS 807676 HAS SOUS 798692 HAS SOUPS 798692 WITH SCORE 799499.676
AT ITER 437 NEW BEST:: SOT 1179148 SOS 807546 HAS SOPS 807546 HAS SOUS 798562 HAS SOUPS 798562 WITH SCORE 799369.546
AT ITER 438 NEW BEST:: SOT 1178666 SOS 806582 HAS SOPS 806582 HAS SOUS 797598 HAS SOUPS 797598 WITH SCORE 798404.582
AT ITER 440 NEW BEST:: SOT 1177802 SOS 805002 HAS SOPS 805002 HAS SOUS 796018 HAS SOUPS 796018 WITH SCORE 796823.002
AT ITER 441 NEW BEST:: SOT 1177384 SOS 804584 HAS SOPS 804584 HAS SOUS 795600 HAS SOUPS 795600 WITH SCORE 796404.584
AT ITER 442 NEW BEST:: SOT 1177044 SOS 803692 HAS SOPS 803692 HAS SOUS 794708 HAS SOUPS 794708 WITH SCORE 795511.692
AT ITER 443 NEW BEST:: SOT 1176136 SOS 802784 HAS SOPS 802784 HAS SOUS 793800 HAS SOUPS 793800 WITH SCORE 794602.784
AT ITER 446 NEW BEST:: SOT 1175972 SOS 802620 HAS SOPS 802620 HAS SOUS 793636 HAS SOUPS 793636 WITH SCORE 794438.62
AT ITER 447 NEW BEST:: SOT 1175466 SOS 802114 HAS SOPS 802114 HAS SOUS 793130 HAS SOUPS 793130 WITH SCORE 793932.114
AT ITER 448 NEW BEST:: SOT 1174942 SOS 801590 HAS SOPS 801590 HAS SOUS 792606 HAS SOUPS 792606 WITH SCORE 793407.59
AT ITER 449 NEW BEST:: SOT 1173900 SOS 798652 HAS SOPS 798652 HAS SOUS 789668 HAS SOUPS 789668 WITH SCORE 790466.652
AT ITER 451 NEW BEST:: SOT 1173198 SOS 796426 HAS SOPS 796426 HAS SOUS 787442 HAS SOUPS 787442 WITH SCORE 788238.426
AT ITER 452 NEW BEST:: SOT 1173472 SOS 796176 HAS SOPS 796176 HAS SOUS 787192 HAS SOUPS 787192 WITH SCORE 787988.176
AT ITER 455 NEW BEST:: SOT 1172430 SOS 794328 HAS SOPS 794328 HAS SOUS 785344 HAS SOUPS 785344 WITH SCORE 786138.328
AT ITER 457 NEW BEST:: SOT 1171946 SOS 794120 HAS SOPS 794120 HAS SOUS 785136 HAS SOUPS 785136 WITH SCORE 785930.12
AT ITER 458 NEW BEST:: SOT 1171920 SOS 793300 HAS SOPS 793300 HAS SOUS 784316 HAS SOUPS 784316 WITH SCORE 785109.3
AT ITER 462 NEW BEST:: SOT 1171920 SOS 792450 HAS SOPS 792450 HAS SOUS 783466 HAS SOUPS 783466 WITH SCORE 784258.45
AT ITER 465 NEW BEST:: SOT 1171920 SOS 792448 HAS SOPS 792448 HAS SOUS 783464 HAS SOUPS 783464 WITH SCORE 784256.448
AT ITER 469 NEW BEST:: SOT 1171920 SOS 792438 HAS SOPS 792438 HAS SOUS 783454 HAS SOUPS 783454 WITH SCORE 784246.438
AT ITER 470 NEW BEST:: SOT 1171920 SOS 792134 HAS SOPS 792134 HAS SOUS 783150 HAS SOUPS 783150 WITH SCORE 783942.134
AT ITER 485 NEW BEST:: SOT 1171848 SOS 792062 HAS SOPS 792062 HAS SOUS 783078 HAS SOUPS 783078 WITH SCORE 783870.062
AT ITER 486 NEW BEST:: SOT 1171584 SOS 791534 HAS SOPS 791534 HAS SOUS 782550 HAS SOUPS 782550 WITH SCORE 783341.534
AT ITER 487 NEW BEST:: SOT 1170542 SOS 790492 HAS SOPS 790492 HAS SOUS 781508 HAS SOUPS 781508 WITH SCORE 782298.492
AT ITER 489 NEW BEST:: SOT 1170050 SOS 790000 HAS SOPS 790000 HAS SOUS 781016 HAS SOUPS 781016 WITH SCORE 781806.0
AT ITER 492 NEW BEST:: SOT 1169018 SOS 788968 HAS SOPS 788968 HAS SOUS 779984 HAS SOUPS 779984 WITH SCORE 780772.968
AT ITER 493 NEW BEST:: SOT 1168404 SOS 788354 HAS SOPS 788354 HAS SOUS 779370 HAS SOUPS 779370 WITH SCORE 780158.354
AT ITER 494 NEW BEST:: SOT 1167508 SOS 787290 HAS SOPS 787290 HAS SOUS 778306 HAS SOUPS 778306 WITH SCORE 779093.29
AT ITER 497 NEW BEST:: SOT 1167508 SOS 786788 HAS SOPS 786788 HAS SOUS 777804 HAS SOUPS 777804 WITH SCORE 778590.788
AT ITER 498 NEW BEST:: SOT 1166466 SOS 784324 HAS SOPS 784324 HAS SOUS 775340 HAS SOUPS 775340 WITH SCORE 776124.324
AT ITER 499 NEW BEST:: SOT 1166256 SOS 784114 HAS SOPS 784114 HAS SOUS 775130 HAS SOUPS 775130 WITH SCORE 775914.114
AT ITER 502 NEW BEST:: SOT 1166256 SOS 783870 HAS SOPS 783870 HAS SOUS 774886 HAS SOUPS 774886 WITH SCORE 775669.87
AT ITER 513 NEW BEST:: SOT 1165982 SOS 783596 HAS SOPS 783596 HAS SOUS 774612 HAS SOUPS 774612 WITH SCORE 775395.596
AT ITER 514 NEW BEST:: SOT 1165982 SOS 783138 HAS SOPS 783138 HAS SOUS 774154 HAS SOUPS 774154 WITH SCORE 774937.138
AT ITER 516 NEW BEST:: SOT 1165778 SOS 782934 HAS SOPS 782934 HAS SOUS 773950 HAS SOUPS 773950 WITH SCORE 774732.934
AT ITER 521 NEW BEST:: SOT 1165184 SOS 781746 HAS SOPS 781746 HAS SOUS 772762 HAS SOUPS 772762 WITH SCORE 773543.746
AT ITER 524 NEW BEST:: SOT 1165184 SOS 780772 HAS SOPS 780772 HAS SOUS 771788 HAS SOUPS 771788 WITH SCORE 772568.772
AT ITER 528 NEW BEST:: SOT 1165184 SOS 780322 HAS SOPS 780322 HAS SOUS 771338 HAS SOUPS 771338 WITH SCORE 772118.322
AT ITER 529 NEW BEST:: SOT 1165180 SOS 780318 HAS SOPS 780318 HAS SOUS 771334 HAS SOUPS 771334 WITH SCORE 772114.318
AT ITER 530 NEW BEST:: SOT 1164138 SOS 778462 HAS SOPS 778462 HAS SOUS 769478 HAS SOUPS 769478 WITH SCORE 770256.462
AT ITER 531 NEW BEST:: SOT 1164138 SOS 778284 HAS SOPS 778284 HAS SOUS 769300 HAS SOUPS 769300 WITH SCORE 770078.284
AT ITER 541 NEW BEST:: SOT 1163772 SOS 778054 HAS SOPS 778054 HAS SOUS 769070 HAS SOUPS 769070 WITH SCORE 769848.054
AT ITER 542 NEW BEST:: SOT 1163772 SOS 777956 HAS SOPS 777956 HAS SOUS 768972 HAS SOUPS 768972 WITH SCORE 769749.956
AT ITER 544 NEW BEST:: SOT 1162244 SOS 775608 HAS SOPS 775608 HAS SOUS 766624 HAS SOUPS 766624 WITH SCORE 767399.608
AT ITER 550 NEW BEST:: SOT 1162420 SOS 774208 HAS SOPS 774208 HAS SOUS 765224 HAS SOUPS 765224 WITH SCORE 765998.208
AT ITER 552 NEW BEST:: SOT 1162232 SOS 774020 HAS SOPS 774020 HAS SOUS 765036 HAS SOUPS 765036 WITH SCORE 765810.02
AT ITER 555 NEW BEST:: SOT 1161164 SOS 772132 HAS SOPS 772132 HAS SOUS 763148 HAS SOUPS 763148 WITH SCORE 763920.132
AT ITER 556 NEW BEST:: SOT 1160144 SOS 770296 HAS SOPS 770296 HAS SOUS 761312 HAS SOUPS 761312 WITH SCORE 762082.296
AT ITER 557 NEW BEST:: SOT 1159348 SOS 769450 HAS SOPS 769450 HAS SOUS 760466 HAS SOUPS 760466 WITH SCORE 761235.45
AT ITER 560 NEW BEST:: SOT 1158874 SOS 768404 HAS SOPS 768404 HAS SOUS 759420 HAS SOUPS 759420 WITH SCORE 760188.404
AT ITER 562 NEW BEST:: SOT 1158030 SOS 766760 HAS SOPS 766760 HAS SOUS 757776 HAS SOUPS 757776 WITH SCORE 758542.76
AT ITER 563 NEW BEST:: SOT 1157660 SOS 766278 HAS SOPS 766278 HAS SOUS 757294 HAS SOUPS 757294 WITH SCORE 758060.278
AT ITER 564 NEW BEST:: SOT 1157638 SOS 766256 HAS SOPS 766256 HAS SOUS 757272 HAS SOUPS 757272 WITH SCORE 758038.256
AT ITER 570 NEW BEST:: SOT 1157622 SOS 766224 HAS SOPS 766224 HAS SOUS 757240 HAS SOUPS 757240 WITH SCORE 758006.224
AT ITER 573 NEW BEST:: SOT 1157622 SOS 766036 HAS SOPS 766036 HAS SOUS 757052 HAS SOUPS 757052 WITH SCORE 757818.036
AT ITER 577 NEW BEST:: SOT 1157316 SOS 765730 HAS SOPS 765730 HAS SOUS 756746 HAS SOUPS 756746 WITH SCORE 757511.73
AT ITER 578 NEW BEST:: SOT 1156928 SOS 764708 HAS SOPS 764708 HAS SOUS 755724 HAS SOUPS 755724 WITH SCORE 756488.708
AT ITER 581 NEW BEST:: SOT 1155886 SOS 762364 HAS SOPS 762364 HAS SOUS 753380 HAS SOUPS 753380 WITH SCORE 754142.364
AT ITER 588 NEW BEST:: SOT 1155886 SOS 761848 HAS SOPS 761848 HAS SOUS 752864 HAS SOUPS 752864 WITH SCORE 753625.848
AT ITER 594 NEW BEST:: SOT 1154844 SOS 760022 HAS SOPS 760022 HAS SOUS 751038 HAS SOUPS 751038 WITH SCORE 751798.022
AT ITER 600 NEW BEST:: SOT 1154176 SOS 758312 HAS SOPS 758312 HAS SOUS 749328 HAS SOUPS 749328 WITH SCORE 750086.312
AT ITER 601 NEW BEST:: SOT 1153956 SOS 757804 HAS SOPS 757804 HAS SOUS 748820 HAS SOUPS 748820 WITH SCORE 749577.804
AT ITER 602 NEW BEST:: SOT 1153956 SOS 757526 HAS SOPS 757526 HAS SOUS 748542 HAS SOUPS 748542 WITH SCORE 749299.526
AT ITER 604 NEW BEST:: SOT 1153412 SOS 756982 HAS SOPS 756982 HAS SOUS 747998 HAS SOUPS 747998 WITH SCORE 748754.982
AT ITER 605 NEW BEST:: SOT 1152468 SOS 756924 HAS SOPS 756924 HAS SOUS 747902 HAS SOUPS 747902 WITH SCORE 748658.924
AT ITER 608 NEW BEST:: SOT 1152380 SOS 756836 HAS SOPS 756836 HAS SOUS 747814 HAS SOUPS 747814 WITH SCORE 748570.836
AT ITER 616 NEW BEST:: SOT 1152380 SOS 756508 HAS SOPS 756508 HAS SOUS 747486 HAS SOUPS 747486 WITH SCORE 748242.508
AT ITER 617 NEW BEST:: SOT 1152468 SOS 756132 HAS SOPS 756132 HAS SOUS 747110 HAS SOUPS 747110 WITH SCORE 747866.132
AT ITER 623 NEW BEST:: SOT 1152096 SOS 755388 HAS SOPS 755388 HAS SOUS 746366 HAS SOUPS 746366 WITH SCORE 747121.388
AT ITER 624 NEW BEST:: SOT 1151700 SOS 754992 HAS SOPS 754992 HAS SOUS 745970 HAS SOUPS 745970 WITH SCORE 746724.992
AT ITER 628 NEW BEST:: SOT 1151796 SOS 754968 HAS SOPS 754968 HAS SOUS 745946 HAS SOUPS 745946 WITH SCORE 746700.968
AT ITER 629 NEW BEST:: SOT 1151796 SOS 754920 HAS SOPS 754920 HAS SOUS 745898 HAS SOUPS 745898 WITH SCORE 746652.92
AT ITER 630 NEW BEST:: SOT 1151796 SOS 754108 HAS SOPS 754108 HAS SOUS 745086 HAS SOUPS 745086 WITH SCORE 745840.108
AT ITER 636 NEW BEST:: SOT 1151514 SOS 753826 HAS SOPS 753826 HAS SOUS 744804 HAS SOUPS 744804 WITH SCORE 745557.826
AT ITER 638 NEW BEST:: SOT 1151514 SOS 753254 HAS SOPS 753254 HAS SOUS 744232 HAS SOUPS 744232 WITH SCORE 744985.254
AT ITER 639 NEW BEST:: SOT 1151210 SOS 752950 HAS SOPS 752950 HAS SOUS 743928 HAS SOUPS 743928 WITH SCORE 744680.95
AT ITER 640 NEW BEST:: SOT 1150774 SOS 752514 HAS SOPS 752514 HAS SOUS 743492 HAS SOUPS 743492 WITH SCORE 744244.514
AT ITER 641 NEW BEST:: SOT 1150774 SOS 751854 HAS SOPS 751854 HAS SOUS 742832 HAS SOUPS 742832 WITH SCORE 743583.854
AT ITER 642 NEW BEST:: SOT 1150774 SOS 751756 HAS SOPS 751756 HAS SOUS 742734 HAS SOUPS 742734 WITH SCORE 743485.756
AT ITER 649 NEW BEST:: SOT 1150228 SOS 750560 HAS SOPS 750560 HAS SOUS 741538 HAS SOUPS 741538 WITH SCORE 742288.56
AT ITER 655 NEW BEST:: SOT 1149944 SOS 749992 HAS SOPS 749992 HAS SOUS 740970 HAS SOUPS 740970 WITH SCORE 741719.992
AT ITER 658 NEW BEST:: SOT 1149768 SOS 749816 HAS SOPS 749816 HAS SOUS 740794 HAS SOUPS 740794 WITH SCORE 741543.816
AT ITER 662 NEW BEST:: SOT 1149768 SOS 749748 HAS SOPS 749748 HAS SOUS 740726 HAS SOUPS 740726 WITH SCORE 741475.748
AT ITER 663 NEW BEST:: SOT 1148570 SOS 747216 HAS SOPS 747216 HAS SOUS 738194 HAS SOUPS 738194 WITH SCORE 738941.216
AT ITER 668 NEW BEST:: SOT 1148420 SOS 746266 HAS SOPS 746266 HAS SOUS 737244 HAS SOUPS 737244 WITH SCORE 737990.266
AT ITER 670 NEW BEST:: SOT 1148336 SOS 746182 HAS SOPS 746182 HAS SOUS 737160 HAS SOUPS 737160 WITH SCORE 737906.182
AT ITER 674 NEW BEST:: SOT 1148336 SOS 746090 HAS SOPS 746090 HAS SOUS 737068 HAS SOUPS 737068 WITH SCORE 737814.09
AT ITER 677 NEW BEST:: SOT 1147554 SOS 744668 HAS SOPS 744668 HAS SOUS 735646 HAS SOUPS 735646 WITH SCORE 736390.668
AT ITER 678 NEW BEST:: SOT 1147296 SOS 744410 HAS SOPS 744410 HAS SOUS 735388 HAS SOUPS 735388 WITH SCORE 736132.41
AT ITER 681 NEW BEST:: SOT 1146650 SOS 743764 HAS SOPS 743764 HAS SOUS 734742 HAS SOUPS 734742 WITH SCORE 735485.764
AT ITER 682 NEW BEST:: SOT 1146638 SOS 743752 HAS SOPS 743752 HAS SOUS 734730 HAS SOUPS 734730 WITH SCORE 735473.752
AT ITER 685 NEW BEST:: SOT 1146638 SOS 743616 HAS SOPS 743616 HAS SOUS 734594 HAS SOUPS 734594 WITH SCORE 735337.616
AT ITER 689 NEW BEST:: SOT 1146460 SOS 743438 HAS SOPS 743438 HAS SOUS 734416 HAS SOUPS 734416 WITH SCORE 735159.438
AT ITER 690 NEW BEST:: SOT 1146460 SOS 743406 HAS SOPS 743406 HAS SOUS 734384 HAS SOUPS 734384 WITH SCORE 735127.406
AT ITER 692 NEW BEST:: SOT 1146778 SOS 743344 HAS SOPS 743344 HAS SOUS 734322 HAS SOUPS 734322 WITH SCORE 735065.344
AT ITER 694 NEW BEST:: SOT 1145638 SOS 742186 HAS SOPS 742186 HAS SOUS 733164 HAS SOUPS 733164 WITH SCORE 733906.186
AT ITER 695 NEW BEST:: SOT 1145406 SOS 741954 HAS SOPS 741954 HAS SOUS 732932 HAS SOUPS 732932 WITH SCORE 733673.954
AT ITER 699 NEW BEST:: SOT 1145406 SOS 741540 HAS SOPS 741540 HAS SOUS 732518 HAS SOUPS 732518 WITH SCORE 733259.54
AT ITER 701 NEW BEST:: SOT 1145052 SOS 741186 HAS SOPS 741186 HAS SOUS 732164 HAS SOUPS 732164 WITH SCORE 732905.186
AT ITER 703 NEW BEST:: SOT 1145052 SOS 741032 HAS SOPS 741032 HAS SOUS 732010 HAS SOUPS 732010 WITH SCORE 732751.032
AT ITER 704 NEW BEST:: SOT 1144282 SOS 740262 HAS SOPS 740262 HAS SOUS 730940 HAS SOUPS 730940 WITH SCORE 731680.262
AT ITER 707 NEW BEST:: SOT 1143620 SOS 739600 HAS SOPS 739600 HAS SOUS 730278 HAS SOUPS 730278 WITH SCORE 731017.6
AT ITER 708 NEW BEST:: SOT 1143580 SOS 738920 HAS SOPS 738920 HAS SOUS 729598 HAS SOUPS 729598 WITH SCORE 730336.92
AT ITER 709 NEW BEST:: SOT 1143580 SOS 738738 HAS SOPS 738738 HAS SOUS 729416 HAS SOUPS 729416 WITH SCORE 730154.738
AT ITER 712 NEW BEST:: SOT 1143454 SOS 738612 HAS SOPS 738612 HAS SOUS 729290 HAS SOUPS 729290 WITH SCORE 730028.612
AT ITER 715 NEW BEST:: SOT 1143166 SOS 738324 HAS SOPS 738324 HAS SOUS 729002 HAS SOUPS 729002 WITH SCORE 729740.324
AT ITER 717 NEW BEST:: SOT 1141968 SOS 736936 HAS SOPS 736936 HAS SOUS 727614 HAS SOUPS 727614 WITH SCORE 728350.936
AT ITER 718 NEW BEST:: SOT 1141880 SOS 736770 HAS SOPS 736770 HAS SOUS 727448 HAS SOUPS 727448 WITH SCORE 728184.77
AT ITER 720 NEW BEST:: SOT 1141864 SOS 736754 HAS SOPS 736754 HAS SOUS 727432 HAS SOUPS 727432 WITH SCORE 728168.754
AT ITER 722 NEW BEST:: SOT 1141826 SOS 736678 HAS SOPS 736678 HAS SOUS 727356 HAS SOUPS 727356 WITH SCORE 728092.678
AT ITER 724 NEW BEST:: SOT 1141826 SOS 736568 HAS SOPS 736568 HAS SOUS 727246 HAS SOUPS 727246 WITH SCORE 727982.568
AT ITER 725 NEW BEST:: SOT 1141190 SOS 735748 HAS SOPS 735748 HAS SOUS 726426 HAS SOUPS 726426 WITH SCORE 727161.748
AT ITER 726 NEW BEST:: SOT 1141150 SOS 735576 HAS SOPS 735576 HAS SOUS 726254 HAS SOUPS 726254 WITH SCORE 726989.576
AT ITER 728 NEW BEST:: SOT 1141150 SOS 735264 HAS SOPS 735264 HAS SOUS 725942 HAS SOUPS 725942 WITH SCORE 726677.264
AT ITER 731 NEW BEST:: SOT 1140108 SOS 734222 HAS SOPS 734222 HAS SOUS 724900 HAS SOUPS 724900 WITH SCORE 725634.222
AT ITER 732 NEW BEST:: SOT 1140108 SOS 733394 HAS SOPS 733394 HAS SOUS 724072 HAS SOUPS 724072 WITH SCORE 724805.394
AT ITER 733 NEW BEST:: SOT 1139786 SOS 733072 HAS SOPS 733072 HAS SOUS 723750 HAS SOUPS 723750 WITH SCORE 724483.072
AT ITER 734 NEW BEST:: SOT 1139778 SOS 733064 HAS SOPS 733064 HAS SOUS 723742 HAS SOUPS 723742 WITH SCORE 724475.064
AT ITER 735 NEW BEST:: SOT 1139736 SOS 733022 HAS SOPS 733022 HAS SOUS 723700 HAS SOUPS 723700 WITH SCORE 724433.022
AT ITER 738 NEW BEST:: SOT 1138162 SOS 729874 HAS SOPS 729874 HAS SOUS 720552 HAS SOUPS 720552 WITH SCORE 721281.874
AT ITER 741 NEW BEST:: SOT 1137620 SOS 729332 HAS SOPS 729332 HAS SOUS 720010 HAS SOUPS 720010 WITH SCORE 720739.332
AT ITER 742 NEW BEST:: SOT 1137346 SOS 729384 HAS SOPS 729384 HAS SOUS 718948 HAS SOUPS 718948 WITH SCORE 719677.384
AT ITER 744 NEW BEST:: SOT 1136978 SOS 727678 HAS SOPS 727678 HAS SOUS 717242 HAS SOUPS 717242 WITH SCORE 717969.678
AT ITER 745 NEW BEST:: SOT 1136978 SOS 727466 HAS SOPS 727466 HAS SOUS 717030 HAS SOUPS 717030 WITH SCORE 717757.466
AT ITER 747 NEW BEST:: SOT 1136722 SOS 726886 HAS SOPS 726886 HAS SOUS 716450 HAS SOUPS 716450 WITH SCORE 717176.886
AT ITER 749 NEW BEST:: SOT 1134784 SOS 724948 HAS SOPS 724948 HAS SOUS 714512 HAS SOUPS 714512 WITH SCORE 715236.948
AT ITER 753 NEW BEST:: SOT 1134412 SOS 723728 HAS SOPS 723728 HAS SOUS 713292 HAS SOUPS 713292 WITH SCORE 714015.728
AT ITER 754 NEW BEST:: SOT 1134010 SOS 722632 HAS SOPS 722632 HAS SOUS 712196 HAS SOUPS 712196 WITH SCORE 712918.632
AT ITER 757 NEW BEST:: SOT 1132746 SOS 720438 HAS SOPS 720438 HAS SOUS 710002 HAS SOUPS 710002 WITH SCORE 710722.438
AT ITER 760 NEW BEST:: SOT 1132310 SOS 719350 HAS SOPS 719350 HAS SOUS 708914 HAS SOUPS 708914 WITH SCORE 709633.35
AT ITER 767 NEW BEST:: SOT 1132310 SOS 719248 HAS SOPS 719248 HAS SOUS 708812 HAS SOUPS 708812 WITH SCORE 709531.248
AT ITER 768 NEW BEST:: SOT 1132310 SOS 718794 HAS SOPS 718794 HAS SOUS 708358 HAS SOUPS 708358 WITH SCORE 709076.794
AT ITER 769 NEW BEST:: SOT 1132310 SOS 718764 HAS SOPS 718764 HAS SOUS 708328 HAS SOUPS 708328 WITH SCORE 709046.764
AT ITER 770 NEW BEST:: SOT 1132208 SOS 718662 HAS SOPS 718662 HAS SOUS 708226 HAS SOUPS 708226 WITH SCORE 708944.662
AT ITER 771 NEW BEST:: SOT 1131994 SOS 718432 HAS SOPS 718432 HAS SOUS 707996 HAS SOUPS 707996 WITH SCORE 708714.432
AT ITER 776 NEW BEST:: SOT 1130952 SOS 715532 HAS SOPS 715532 HAS SOUS 705096 HAS SOUPS 705096 WITH SCORE 705811.532
AT ITER 778 NEW BEST:: SOT 1130922 SOS 715502 HAS SOPS 715502 HAS SOUS 705066 HAS SOUPS 705066 WITH SCORE 705781.502
AT ITER 779 NEW BEST:: SOT 1130510 SOS 715148 HAS SOPS 715148 HAS SOUS 704712 HAS SOUPS 704712 WITH SCORE 705427.148
AT ITER 780 NEW BEST:: SOT 1130510 SOS 714170 HAS SOPS 714170 HAS SOUS 703734 HAS SOUPS 703734 WITH SCORE 704448.17
AT ITER 782 NEW BEST:: SOT 1129770 SOS 713430 HAS SOPS 713430 HAS SOUS 702994 HAS SOUPS 702994 WITH SCORE 703707.43
AT ITER 783 NEW BEST:: SOT 1129770 SOS 713176 HAS SOPS 713176 HAS SOUS 702740 HAS SOUPS 702740 WITH SCORE 703453.176
AT ITER 786 NEW BEST:: SOT 1129770 SOS 713168 HAS SOPS 713168 HAS SOUS 702732 HAS SOUPS 702732 WITH SCORE 703445.168
AT ITER 787 NEW BEST:: SOT 1129770 SOS 712126 HAS SOPS 712126 HAS SOUS 701690 HAS SOUPS 701690 WITH SCORE 702402.126
AT ITER 790 NEW BEST:: SOT 1129770 SOS 712036 HAS SOPS 712036 HAS SOUS 701600 HAS SOUPS 701600 WITH SCORE 702312.036
AT ITER 795 NEW BEST:: SOT 1129230 SOS 711496 HAS SOPS 711496 HAS SOUS 701060 HAS SOUPS 701060 WITH SCORE 701771.496
AT ITER 798 NEW BEST:: SOT 1128956 SOS 710864 HAS SOPS 710864 HAS SOUS 700428 HAS SOUPS 700428 WITH SCORE 701138.864
AT ITER 800 NEW BEST:: SOT 1128956 SOS 710678 HAS SOPS 710678 HAS SOUS 700242 HAS SOUPS 700242 WITH SCORE 700952.678
AT ITER 803 NEW BEST:: SOT 1128484 SOS 710206 HAS SOPS 710206 HAS SOUS 699770 HAS SOUPS 699770 WITH SCORE 700480.206
AT ITER 811 NEW BEST:: SOT 1128472 SOS 710158 HAS SOPS 710158 HAS SOUS 699722 HAS SOUPS 699722 WITH SCORE 700432.158
AT ITER 812 NEW BEST:: SOT 1128138 SOS 709228 HAS SOPS 709228 HAS SOUS 698792 HAS SOUPS 698792 WITH SCORE 699501.228
AT ITER 815 NEW BEST:: SOT 1127836 SOS 708728 HAS SOPS 708728 HAS SOUS 698292 HAS SOUPS 698292 WITH SCORE 699000.728
AT ITER 817 NEW BEST:: SOT 1127546 SOS 707632 HAS SOPS 707632 HAS SOUS 697196 HAS SOUPS 697196 WITH SCORE 697903.632
AT ITER 820 NEW BEST:: SOT 1127070 SOS 707156 HAS SOPS 707156 HAS SOUS 696720 HAS SOUPS 696720 WITH SCORE 697427.156
AT ITER 821 NEW BEST:: SOT 1127070 SOS 707066 HAS SOPS 707066 HAS SOUS 696720 HAS SOUPS 696720 WITH SCORE 697427.066
AT ITER 825 NEW BEST:: SOT 1126274 SOS 705836 HAS SOPS 705836 HAS SOUS 695490 HAS SOUPS 695490 WITH SCORE 696195.836
AT ITER 834 NEW BEST:: SOT 1125478 SOS 703676 HAS SOPS 703676 HAS SOUS 693330 HAS SOUPS 693330 WITH SCORE 694033.676
AT ITER 835 NEW BEST:: SOT 1125344 SOS 703264 HAS SOPS 703264 HAS SOUS 692918 HAS SOUPS 692918 WITH SCORE 693621.264
AT ITER 839 NEW BEST:: SOT 1125100 SOS 703212 HAS SOPS 703212 HAS SOUS 692866 HAS SOUPS 692866 WITH SCORE 693569.212
AT ITER 843 NEW BEST:: SOT 1124244 SOS 701500 HAS SOPS 701500 HAS SOUS 691154 HAS SOUPS 691154 WITH SCORE 691855.5
AT ITER 846 NEW BEST:: SOT 1124244 SOS 700716 HAS SOPS 700716 HAS SOUS 690370 HAS SOUPS 690370 WITH SCORE 691070.716
AT ITER 849 NEW BEST:: SOT 1123408 SOS 699712 HAS SOPS 699712 HAS SOUS 689366 HAS SOUPS 689366 WITH SCORE 690065.712
AT ITER 851 NEW BEST:: SOT 1123694 SOS 699316 HAS SOPS 699316 HAS SOUS 688970 HAS SOUPS 688970 WITH SCORE 689669.316
AT ITER 852 NEW BEST:: SOT 1123694 SOS 698582 HAS SOPS 698582 HAS SOUS 688236 HAS SOUPS 688236 WITH SCORE 688934.582
AT ITER 855 NEW BEST:: SOT 1123188 SOS 697706 HAS SOPS 697706 HAS SOUS 687360 HAS SOUPS 687360 WITH SCORE 688057.706
AT ITER 858 NEW BEST:: SOT 1123182 SOS 697100 HAS SOPS 697100 HAS SOUS 686754 HAS SOUPS 686754 WITH SCORE 687451.1
AT ITER 861 NEW BEST:: SOT 1123182 SOS 697050 HAS SOPS 697050 HAS SOUS 686704 HAS SOUPS 686704 WITH SCORE 687401.05
AT ITER 863 NEW BEST:: SOT 1122566 SOS 695818 HAS SOPS 695818 HAS SOUS 685472 HAS SOUPS 685472 WITH SCORE 686167.818
AT ITER 864 NEW BEST:: SOT 1122566 SOS 695770 HAS SOPS 695770 HAS SOUS 685424 HAS SOUPS 685424 WITH SCORE 686119.77
AT ITER 865 NEW BEST:: SOT 1122566 SOS 694804 HAS SOPS 694804 HAS SOUS 684458 HAS SOUPS 684458 WITH SCORE 685152.804
AT ITER 868 NEW BEST:: SOT 1122478 SOS 694716 HAS SOPS 694716 HAS SOUS 684370 HAS SOUPS 684370 WITH SCORE 685064.716
AT ITER 872 NEW BEST:: SOT 1122478 SOS 693900 HAS SOPS 693900 HAS SOUS 683554 HAS SOUPS 683554 WITH SCORE 684247.9
AT ITER 876 NEW BEST:: SOT 1122052 SOS 693528 HAS SOPS 693528 HAS SOUS 683182 HAS SOUPS 683182 WITH SCORE 683875.528
AT ITER 880 NEW BEST:: SOT 1121378 SOS 692540 HAS SOPS 692540 HAS SOUS 682194 HAS SOUPS 682194 WITH SCORE 682886.54
AT ITER 883 NEW BEST:: SOT 1121378 SOS 691602 HAS SOPS 691602 HAS SOUS 681256 HAS SOUPS 681256 WITH SCORE 681947.602
AT ITER 884 NEW BEST:: SOT 1121192 SOS 690600 HAS SOPS 690600 HAS SOUS 680254 HAS SOUPS 680254 WITH SCORE 680944.6
AT ITER 885 NEW BEST:: SOT 1121192 SOS 690286 HAS SOPS 690286 HAS SOUS 679940 HAS SOUPS 679940 WITH SCORE 680630.286
AT ITER 888 NEW BEST:: SOT 1121192 SOS 690246 HAS SOPS 690246 HAS SOUS 679900 HAS SOUPS 679900 WITH SCORE 680590.246
AT ITER 894 NEW BEST:: SOT 1120150 SOS 689204 HAS SOPS 689204 HAS SOUS 678858 HAS SOUPS 678858 WITH SCORE 679547.204
AT ITER 895 NEW BEST:: SOT 1120376 SOS 689078 HAS SOPS 689078 HAS SOUS 678732 HAS SOUPS 678732 WITH SCORE 679421.078
AT ITER 905 NEW BEST:: SOT 1120226 SOS 688928 HAS SOPS 688928 HAS SOUS 678582 HAS SOUPS 678582 WITH SCORE 679270.928
AT ITER 906 NEW BEST:: SOT 1120194 SOS 688896 HAS SOPS 688896 HAS SOUS 678550 HAS SOUPS 678550 WITH SCORE 679238.896
AT ITER 909 NEW BEST:: SOT 1120234 SOS 688788 HAS SOPS 688788 HAS SOUS 678442 HAS SOUPS 678442 WITH SCORE 679130.788
AT ITER 911 NEW BEST:: SOT 1119500 SOS 688102 HAS SOPS 688102 HAS SOUS 677756 HAS SOUPS 677756 WITH SCORE 678444.102
AT ITER 917 NEW BEST:: SOT 1119000 SOS 686804 HAS SOPS 686804 HAS SOUS 676458 HAS SOUPS 676458 WITH SCORE 677144.804
AT ITER 924 NEW BEST:: SOT 1118236 SOS 686040 HAS SOPS 686040 HAS SOUS 675694 HAS SOUPS 675694 WITH SCORE 676380.04
AT ITER 931 NEW BEST:: SOT 1117334 SOS 685138 HAS SOPS 685138 HAS SOUS 674792 HAS SOUPS 674792 WITH SCORE 675477.138
AT ITER 933 NEW BEST:: SOT 1116668 SOS 684472 HAS SOPS 684472 HAS SOUS 674126 HAS SOUPS 674126 WITH SCORE 674810.472
AT ITER 935 NEW BEST:: SOT 1116580 SOS 684338 HAS SOPS 684338 HAS SOUS 673992 HAS SOUPS 673992 WITH SCORE 674676.338
AT ITER 937 NEW BEST:: SOT 1116580 SOS 684194 HAS SOPS 684194 HAS SOUS 673848 HAS SOUPS 673848 WITH SCORE 674532.194
AT ITER 940 NEW BEST:: SOT 1115638 SOS 683252 HAS SOPS 683252 HAS SOUS 672906 HAS SOUPS 672906 WITH SCORE 673589.252
AT ITER 941 NEW BEST:: SOT 1116056 SOS 682822 HAS SOPS 682822 HAS SOUS 672476 HAS SOUPS 672476 WITH SCORE 673158.822
AT ITER 943 NEW BEST:: SOT 1115906 SOS 682672 HAS SOPS 682672 HAS SOUS 672326 HAS SOUPS 672326 WITH SCORE 673008.672
AT ITER 946 NEW BEST:: SOT 1115906 SOS 682316 HAS SOPS 682316 HAS SOUS 671970 HAS SOUPS 671970 WITH SCORE 672652.316
AT ITER 949 NEW BEST:: SOT 1115778 SOS 682060 HAS SOPS 682060 HAS SOUS 671714 HAS SOUPS 671714 WITH SCORE 672396.06
AT ITER 951 NEW BEST:: SOT 1115522 SOS 681804 HAS SOPS 681804 HAS SOUS 671458 HAS SOUPS 671458 WITH SCORE 672139.804
AT ITER 954 NEW BEST:: SOT 1115522 SOS 681736 HAS SOPS 681736 HAS SOUS 671390 HAS SOUPS 671390 WITH SCORE 672071.736
AT ITER 956 NEW BEST:: SOT 1115522 SOS 681532 HAS SOPS 681532 HAS SOUS 671186 HAS SOUPS 671186 WITH SCORE 671867.532
AT ITER 959 NEW BEST:: SOT 1115522 SOS 681406 HAS SOPS 681406 HAS SOUS 671060 HAS SOUPS 671060 WITH SCORE 671741.406
AT ITER 961 NEW BEST:: SOT 1115446 SOS 681330 HAS SOPS 681330 HAS SOUS 670984 HAS SOUPS 670984 WITH SCORE 671665.33
AT ITER 962 NEW BEST:: SOT 1115008 SOS 680892 HAS SOPS 680892 HAS SOUS 670546 HAS SOUPS 670546 WITH SCORE 671226.892
AT ITER 968 NEW BEST:: SOT 1115414 SOS 680862 HAS SOPS 680862 HAS SOUS 670516 HAS SOUPS 670516 WITH SCORE 671196.862
AT ITER 969 NEW BEST:: SOT 1115414 SOS 680816 HAS SOPS 680816 HAS SOUS 670470 HAS SOUPS 670470 WITH SCORE 671150.816
AT ITER 970 NEW BEST:: SOT 1114398 SOS 679474 HAS SOPS 679474 HAS SOUS 669128 HAS SOUPS 669128 WITH SCORE 669807.474
AT ITER 974 NEW BEST:: SOT 1113356 SOS 677580 HAS SOPS 677580 HAS SOUS 667234 HAS SOUPS 667234 WITH SCORE 667911.58
AT ITER 977 NEW BEST:: SOT 1112888 SOS 677112 HAS SOPS 677112 HAS SOUS 666766 HAS SOUPS 666766 WITH SCORE 667443.112
AT ITER 979 NEW BEST:: SOT 1112704 SOS 675968 HAS SOPS 675968 HAS SOUS 665622 HAS SOUPS 665622 WITH SCORE 666297.968
AT ITER 985 NEW BEST:: SOT 1111406 SOS 674376 HAS SOPS 674376 HAS SOUS 664030 HAS SOUPS 664030 WITH SCORE 664704.376
AT ITER 987 NEW BEST:: SOT 1111014 SOS 673592 HAS SOPS 673592 HAS SOUS 663246 HAS SOUPS 663246 WITH SCORE 663919.592
AT ITER 992 NEW BEST:: SOT 1109990 SOS 672588 HAS SOPS 672588 HAS SOUS 662242 HAS SOUPS 662242 WITH SCORE 662914.588
AT ITER 998 NEW BEST:: SOT 1109774 SOS 672298 HAS SOPS 672298 HAS SOUS 661952 HAS SOUPS 661952 WITH SCORE 662624.298
AT ITER 1001 NEW BEST:: SOT 1109870 SOS 672216 HAS SOPS 672216 HAS SOUS 661870 HAS SOUPS 661870 WITH SCORE 662542.216
AT ITER 1005 NEW BEST:: SOT 1109830 SOS 671092 HAS SOPS 671092 HAS SOUS 660746 HAS SOUPS 660746 WITH SCORE 661417.092
AT ITER 1007 NEW BEST:: SOT 1109806 SOS 671044 HAS SOPS 671044 HAS SOUS 660698 HAS SOUPS 660698 WITH SCORE 661369.044
AT ITER 1011 NEW BEST:: SOT 1109806 SOS 670924 HAS SOPS 670924 HAS SOUS 660578 HAS SOUPS 660578 WITH SCORE 661248.924
AT ITER 1015 NEW BEST:: SOT 1109012 SOS 670130 HAS SOPS 670130 HAS SOUS 659784 HAS SOUPS 659784 WITH SCORE 660454.13
AT ITER 1018 NEW BEST:: SOT 1107860 SOS 669454 HAS SOPS 669454 HAS SOUS 659108 HAS SOUPS 659108 WITH SCORE 659777.454
AT ITER 1019 NEW BEST:: SOT 1107456 SOS 669050 HAS SOPS 669050 HAS SOUS 658704 HAS SOUPS 658704 WITH SCORE 659373.05
AT ITER 1020 NEW BEST:: SOT 1107456 SOS 668714 HAS SOPS 668714 HAS SOUS 658368 HAS SOUPS 658368 WITH SCORE 659036.714
AT ITER 1022 NEW BEST:: SOT 1107456 SOS 668448 HAS SOPS 668448 HAS SOUS 658102 HAS SOUPS 658102 WITH SCORE 658770.448
AT ITER 1025 NEW BEST:: SOT 1107456 SOS 668250 HAS SOPS 668250 HAS SOUS 657904 HAS SOUPS 657904 WITH SCORE 658572.25
AT ITER 1031 NEW BEST:: SOT 1107216 SOS 667770 HAS SOPS 667770 HAS SOUS 657424 HAS SOUPS 657424 WITH SCORE 658091.77
AT ITER 1036 NEW BEST:: SOT 1107216 SOS 667680 HAS SOPS 667680 HAS SOUS 657334 HAS SOUPS 657334 WITH SCORE 658001.68
AT ITER 1042 NEW BEST:: SOT 1107076 SOS 667540 HAS SOPS 667540 HAS SOUS 657194 HAS SOUPS 657194 WITH SCORE 657861.54
AT ITER 1048 NEW BEST:: SOT 1107076 SOS 666498 HAS SOPS 666498 HAS SOUS 656152 HAS SOUPS 656152 WITH SCORE 656818.498
AT ITER 1051 NEW BEST:: SOT 1107076 SOS 666184 HAS SOPS 666184 HAS SOUS 655838 HAS SOUPS 655838 WITH SCORE 656504.184
AT ITER 1054 NEW BEST:: SOT 1106914 SOS 666022 HAS SOPS 666022 HAS SOUS 655676 HAS SOUPS 655676 WITH SCORE 656342.022
AT ITER 1055 NEW BEST:: SOT 1106666 SOS 665192 HAS SOPS 665192 HAS SOUS 654846 HAS SOUPS 654846 WITH SCORE 655511.192
AT ITER 1056 NEW BEST:: SOT 1106666 SOS 664264 HAS SOPS 664264 HAS SOUS 653918 HAS SOUPS 653918 WITH SCORE 654582.264
AT ITER 1080 NEW BEST:: SOT 1106666 SOS 664248 HAS SOPS 664248 HAS SOUS 653902 HAS SOUPS 653902 WITH SCORE 654566.248
AT ITER 1081 NEW BEST:: SOT 1106666 SOS 664016 HAS SOPS 664016 HAS SOUS 653670 HAS SOUPS 653670 WITH SCORE 654334.016
AT ITER 1084 NEW BEST:: SOT 1104770 SOS 660232 HAS SOPS 660232 HAS SOUS 649886 HAS SOUPS 649886 WITH SCORE 650546.232
AT ITER 1087 NEW BEST:: SOT 1104770 SOS 659436 HAS SOPS 659436 HAS SOUS 649090 HAS SOUPS 649090 WITH SCORE 649749.436
AT ITER 1088 NEW BEST:: SOT 1104392 SOS 659058 HAS SOPS 659058 HAS SOUS 648712 HAS SOUPS 648712 WITH SCORE 649371.058
AT ITER 1092 NEW BEST:: SOT 1104290 SOS 658932 HAS SOPS 658932 HAS SOUS 648586 HAS SOUPS 648586 WITH SCORE 649244.932
AT ITER 1093 NEW BEST:: SOT 1104290 SOS 658566 HAS SOPS 658566 HAS SOUS 648220 HAS SOUPS 648220 WITH SCORE 648878.566
AT ITER 1094 NEW BEST:: SOT 1104182 SOS 658274 HAS SOPS 658274 HAS SOUS 647928 HAS SOUPS 647928 WITH SCORE 648586.274
AT ITER 1096 NEW BEST:: SOT 1104182 SOS 657470 HAS SOPS 657470 HAS SOUS 647124 HAS SOUPS 647124 WITH SCORE 647781.47
AT ITER 1097 NEW BEST:: SOT 1103746 SOS 657034 HAS SOPS 657034 HAS SOUS 646688 HAS SOUPS 646688 WITH SCORE 647345.034
AT ITER 1101 NEW BEST:: SOT 1103970 SOS 656660 HAS SOPS 656660 HAS SOUS 646314 HAS SOUPS 646314 WITH SCORE 646970.66
AT ITER 1105 NEW BEST:: SOT 1102932 SOS 654580 HAS SOPS 654580 HAS SOUS 644234 HAS SOUPS 644234 WITH SCORE 644888.58
AT ITER 1107 NEW BEST:: SOT 1102082 SOS 652880 HAS SOPS 652880 HAS SOUS 642534 HAS SOUPS 642534 WITH SCORE 643186.88
AT ITER 1109 NEW BEST:: SOT 1102016 SOS 652814 HAS SOPS 652814 HAS SOUS 642468 HAS SOUPS 642468 WITH SCORE 643120.814
AT ITER 1114 NEW BEST:: SOT 1101430 SOS 652354 HAS SOPS 652354 HAS SOUS 642008 HAS SOUPS 642008 WITH SCORE 642660.354
AT ITER 1115 NEW BEST:: SOT 1101108 SOS 651234 HAS SOPS 651234 HAS SOUS 640888 HAS SOUPS 640888 WITH SCORE 641539.234
AT ITER 1116 NEW BEST:: SOT 1101108 SOS 650784 HAS SOPS 650784 HAS SOUS 640438 HAS SOUPS 640438 WITH SCORE 641088.784
AT ITER 1119 NEW BEST:: SOT 1100842 SOS 650518 HAS SOPS 650518 HAS SOUS 640172 HAS SOUPS 640172 WITH SCORE 640822.518
AT ITER 1121 NEW BEST:: SOT 1100728 SOS 650404 HAS SOPS 650404 HAS SOUS 640058 HAS SOUPS 640058 WITH SCORE 640708.404
AT ITER 1126 NEW BEST:: SOT 1100484 SOS 649996 HAS SOPS 649996 HAS SOUS 639650 HAS SOUPS 639650 WITH SCORE 640299.996
AT ITER 1128 NEW BEST:: SOT 1100472 SOS 649984 HAS SOPS 649984 HAS SOUS 639638 HAS SOUPS 639638 WITH SCORE 640287.984
AT ITER 1130 NEW BEST:: SOT 1100174 SOS 649686 HAS SOPS 649686 HAS SOUS 639340 HAS SOUPS 639340 WITH SCORE 639989.686
AT ITER 1136 NEW BEST:: SOT 1100604 SOS 648996 HAS SOPS 648996 HAS SOUS 638650 HAS SOUPS 638650 WITH SCORE 639298.996
AT ITER 1138 NEW BEST:: SOT 1100046 SOS 648438 HAS SOPS 648438 HAS SOUS 638092 HAS SOUPS 638092 WITH SCORE 638740.438
AT ITER 1143 NEW BEST:: SOT 1099956 SOS 648268 HAS SOPS 648268 HAS SOUS 637922 HAS SOUPS 637922 WITH SCORE 638570.268
AT ITER 1152 NEW BEST:: SOT 1098936 SOS 647028 HAS SOPS 647028 HAS SOUS 636682 HAS SOUPS 636682 WITH SCORE 637329.028
AT ITER 1154 NEW BEST:: SOT 1098652 SOS 645992 HAS SOPS 645992 HAS SOUS 635646 HAS SOUPS 635646 WITH SCORE 636291.992
AT ITER 1155 NEW BEST:: SOT 1098652 SOS 645934 HAS SOPS 645934 HAS SOUS 635588 HAS SOUPS 635588 WITH SCORE 636233.934
AT ITER 1157 NEW BEST:: SOT 1097934 SOS 645682 HAS SOPS 645682 HAS SOUS 633448 HAS SOUPS 633448 WITH SCORE 634093.682
AT ITER 1158 NEW BEST:: SOT 1097986 SOS 645188 HAS SOPS 645188 HAS SOUS 632954 HAS SOUPS 632954 WITH SCORE 633599.188
AT ITER 1168 NEW BEST:: SOT 1097668 SOS 644772 HAS SOPS 644772 HAS SOUS 632538 HAS SOUPS 632538 WITH SCORE 633182.772
AT ITER 1174 NEW BEST:: SOT 1097668 SOS 644502 HAS SOPS 644502 HAS SOUS 632268 HAS SOUPS 632268 WITH SCORE 632912.502
AT ITER 1179 NEW BEST:: SOT 1097668 SOS 643842 HAS SOPS 643842 HAS SOUS 631608 HAS SOUPS 631608 WITH SCORE 632251.842
AT ITER 1182 NEW BEST:: SOT 1097066 SOS 643240 HAS SOPS 643240 HAS SOUS 631006 HAS SOUPS 631006 WITH SCORE 631649.24
AT ITER 1184 NEW BEST:: SOT 1096024 SOS 642198 HAS SOPS 642198 HAS SOUS 629964 HAS SOUPS 629964 WITH SCORE 630606.198
AT ITER 1187 NEW BEST:: SOT 1095808 SOS 641982 HAS SOPS 641982 HAS SOUS 629748 HAS SOUPS 629748 WITH SCORE 630389.982
AT ITER 1188 NEW BEST:: SOT 1095714 SOS 641888 HAS SOPS 641888 HAS SOUS 629654 HAS SOUPS 629654 WITH SCORE 630295.888
AT ITER 1189 NEW BEST:: SOT 1095610 SOS 641784 HAS SOPS 641784 HAS SOUS 629550 HAS SOUPS 629550 WITH SCORE 630191.784
AT ITER 1192 NEW BEST:: SOT 1094568 SOS 639932 HAS SOPS 639932 HAS SOUS 627698 HAS SOUPS 627698 WITH SCORE 628337.932
AT ITER 1196 NEW BEST:: SOT 1094568 SOS 639246 HAS SOPS 639246 HAS SOUS 627012 HAS SOUPS 627012 WITH SCORE 627651.246
AT ITER 1201 NEW BEST:: SOT 1094084 SOS 638828 HAS SOPS 638828 HAS SOUS 626594 HAS SOUPS 626594 WITH SCORE 627232.828
AT ITER 1202 NEW BEST:: SOT 1094062 SOS 638784 HAS SOPS 638784 HAS SOUS 626550 HAS SOUPS 626550 WITH SCORE 627188.784
AT ITER 1208 NEW BEST:: SOT 1093616 SOS 638338 HAS SOPS 638338 HAS SOUS 626104 HAS SOUPS 626104 WITH SCORE 626742.338
AT ITER 1214 NEW BEST:: SOT 1093616 SOS 638184 HAS SOPS 638184 HAS SOUS 625950 HAS SOUPS 625950 WITH SCORE 626588.184
AT ITER 1215 NEW BEST:: SOT 1093308 SOS 637710 HAS SOPS 637710 HAS SOUS 625476 HAS SOUPS 625476 WITH SCORE 626113.71
AT ITER 1217 NEW BEST:: SOT 1093030 SOS 637432 HAS SOPS 637432 HAS SOUS 625198 HAS SOUPS 625198 WITH SCORE 625835.432
AT ITER 1219 NEW BEST:: SOT 1093030 SOS 637186 HAS SOPS 637186 HAS SOUS 624952 HAS SOUPS 624952 WITH SCORE 625589.186
AT ITER 1220 NEW BEST:: SOT 1092096 SOS 635664 HAS SOPS 635664 HAS SOUS 623430 HAS SOUPS 623430 WITH SCORE 624065.664
AT ITER 1223 NEW BEST:: SOT 1091054 SOS 633460 HAS SOPS 633460 HAS SOUS 621226 HAS SOUPS 621226 WITH SCORE 621859.46
AT ITER 1224 NEW BEST:: SOT 1090734 SOS 632978 HAS SOPS 632978 HAS SOUS 620744 HAS SOUPS 620744 WITH SCORE 621376.978
AT ITER 1227 NEW BEST:: SOT 1091052 SOS 632438 HAS SOPS 632438 HAS SOUS 620204 HAS SOUPS 620204 WITH SCORE 620836.438
AT ITER 1234 NEW BEST:: SOT 1090308 SOS 631646 HAS SOPS 631646 HAS SOUS 619412 HAS SOUPS 619412 WITH SCORE 620043.646
AT ITER 1235 NEW BEST:: SOT 1090228 SOS 631566 HAS SOPS 631566 HAS SOUS 619332 HAS SOUPS 619332 WITH SCORE 619963.566
AT ITER 1241 NEW BEST:: SOT 1090228 SOS 630754 HAS SOPS 630754 HAS SOUS 618520 HAS SOUPS 618520 WITH SCORE 619150.754
AT ITER 1243 NEW BEST:: SOT 1090090 SOS 630616 HAS SOPS 630616 HAS SOUS 618382 HAS SOUPS 618382 WITH SCORE 619012.616
AT ITER 1244 NEW BEST:: SOT 1089252 SOS 629498 HAS SOPS 629498 HAS SOUS 617264 HAS SOUPS 617264 WITH SCORE 617893.498
AT ITER 1246 NEW BEST:: SOT 1089252 SOS 629484 HAS SOPS 629484 HAS SOUS 617250 HAS SOUPS 617250 WITH SCORE 617879.484
AT ITER 1251 NEW BEST:: SOT 1088964 SOS 628452 HAS SOPS 628452 HAS SOUS 616218 HAS SOUPS 616218 WITH SCORE 616846.452
AT ITER 1252 NEW BEST:: SOT 1088528 SOS 627980 HAS SOPS 627980 HAS SOUS 615746 HAS SOUPS 615746 WITH SCORE 616373.98
AT ITER 1254 NEW BEST:: SOT 1088528 SOS 627676 HAS SOPS 627676 HAS SOUS 615442 HAS SOUPS 615442 WITH SCORE 616069.676
AT ITER 1255 NEW BEST:: SOT 1088528 SOS 627446 HAS SOPS 627446 HAS SOUS 615212 HAS SOUPS 615212 WITH SCORE 615839.446
AT ITER 1256 NEW BEST:: SOT 1088414 SOS 626302 HAS SOPS 626302 HAS SOUS 614068 HAS SOUPS 614068 WITH SCORE 614694.302
AT ITER 1261 NEW BEST:: SOT 1088414 SOS 626262 HAS SOPS 626262 HAS SOUS 614028 HAS SOUPS 614028 WITH SCORE 614654.262
AT ITER 1263 NEW BEST:: SOT 1088200 SOS 625834 HAS SOPS 625834 HAS SOUS 613600 HAS SOUPS 613600 WITH SCORE 614225.834
AT ITER 1264 NEW BEST:: SOT 1088030 SOS 624864 HAS SOPS 624864 HAS SOUS 612630 HAS SOUPS 612630 WITH SCORE 613254.864
AT ITER 1265 NEW BEST:: SOT 1087210 SOS 623934 HAS SOPS 623934 HAS SOUS 611700 HAS SOUPS 611700 WITH SCORE 612323.934
AT ITER 1266 NEW BEST:: SOT 1087210 SOS 623190 HAS SOPS 623190 HAS SOUS 610994 HAS SOUPS 610994 WITH SCORE 611617.19
AT ITER 1279 NEW BEST:: SOT 1087182 SOS 623162 HAS SOPS 623162 HAS SOUS 610966 HAS SOUPS 610966 WITH SCORE 611589.162
AT ITER 1280 NEW BEST:: SOT 1087182 SOS 622790 HAS SOPS 622790 HAS SOUS 610594 HAS SOUPS 610594 WITH SCORE 611216.79
AT ITER 1281 NEW BEST:: SOT 1087182 SOS 621298 HAS SOPS 621298 HAS SOUS 609102 HAS SOUPS 609102 WITH SCORE 609723.298
AT ITER 1289 NEW BEST:: SOT 1087182 SOS 620926 HAS SOPS 620926 HAS SOUS 608730 HAS SOUPS 608730 WITH SCORE 609350.926
AT ITER 1291 NEW BEST:: SOT 1087182 SOS 620806 HAS SOPS 620806 HAS SOUS 608610 HAS SOUPS 608610 WITH SCORE 609230.806
AT ITER 1294 NEW BEST:: SOT 1086890 SOS 620514 HAS SOPS 620514 HAS SOUS 608318 HAS SOUPS 608318 WITH SCORE 608938.514
AT ITER 1296 NEW BEST:: SOT 1085750 SOS 618936 HAS SOPS 618936 HAS SOUS 606740 HAS SOUPS 606740 WITH SCORE 607358.936
AT ITER 1304 NEW BEST:: SOT 1085272 SOS 618794 HAS SOPS 618794 HAS SOUS 606598 HAS SOUPS 606598 WITH SCORE 607216.794
AT ITER 1305 NEW BEST:: SOT 1085248 SOS 618770 HAS SOPS 618770 HAS SOUS 606574 HAS SOUPS 606574 WITH SCORE 607192.77
AT ITER 1307 NEW BEST:: SOT 1084656 SOS 618158 HAS SOPS 618158 HAS SOUS 605962 HAS SOUPS 605962 WITH SCORE 606580.158
AT ITER 1311 NEW BEST:: SOT 1084656 SOS 617600 HAS SOPS 617600 HAS SOUS 605404 HAS SOUPS 605404 WITH SCORE 606021.6
AT ITER 1323 NEW BEST:: SOT 1084226 SOS 617170 HAS SOPS 617170 HAS SOUS 604974 HAS SOUPS 604974 WITH SCORE 605591.17
AT ITER 1328 NEW BEST:: SOT 1083962 SOS 617160 HAS SOPS 617160 HAS SOUS 604964 HAS SOUPS 604964 WITH SCORE 605581.16
AT ITER 1330 NEW BEST:: SOT 1083544 SOS 616742 HAS SOPS 616742 HAS SOUS 604546 HAS SOUPS 604546 WITH SCORE 605162.742
AT ITER 1335 NEW BEST:: SOT 1083544 SOS 615950 HAS SOPS 615950 HAS SOUS 603754 HAS SOUPS 603754 WITH SCORE 604369.95
AT ITER 1338 NEW BEST:: SOT 1083544 SOS 615426 HAS SOPS 615426 HAS SOUS 603230 HAS SOUPS 603230 WITH SCORE 603845.426
AT ITER 1342 NEW BEST:: SOT 1083470 SOS 615352 HAS SOPS 615352 HAS SOUS 603156 HAS SOUPS 603156 WITH SCORE 603771.352
AT ITER 1344 NEW BEST:: SOT 1083190 SOS 615072 HAS SOPS 615072 HAS SOUS 602406 HAS SOUPS 602406 WITH SCORE 603021.072
AT ITER 1351 NEW BEST:: SOT 1082628 SOS 614510 HAS SOPS 614510 HAS SOUS 601844 HAS SOUPS 601844 WITH SCORE 602458.51
AT ITER 1352 NEW BEST:: SOT 1082230 SOS 614364 HAS SOPS 614364 HAS SOUS 601698 HAS SOUPS 601698 WITH SCORE 602312.364
AT ITER 1358 NEW BEST:: SOT 1082320 SOS 614214 HAS SOPS 614214 HAS SOUS 601548 HAS SOUPS 601548 WITH SCORE 602162.214
AT ITER 1359 NEW BEST:: SOT 1081994 SOS 614044 HAS SOPS 614044 HAS SOUS 601378 HAS SOUPS 601378 WITH SCORE 601992.044
AT ITER 1361 NEW BEST:: SOT 1081994 SOS 613826 HAS SOPS 613826 HAS SOUS 601160 HAS SOUPS 601160 WITH SCORE 601773.826
AT ITER 1367 NEW BEST:: SOT 1080406 SOS 611278 HAS SOPS 611278 HAS SOUS 598612 HAS SOUPS 598612 WITH SCORE 599223.278
AT ITER 1372 NEW BEST:: SOT 1080304 SOS 611074 HAS SOPS 611074 HAS SOUS 598408 HAS SOUPS 598408 WITH SCORE 599019.074
AT ITER 1379 NEW BEST:: SOT 1079796 SOS 610496 HAS SOPS 610496 HAS SOUS 597830 HAS SOUPS 597830 WITH SCORE 598440.496
AT ITER 1381 NEW BEST:: SOT 1079782 SOS 609784 HAS SOPS 609784 HAS SOUS 597118 HAS SOUPS 597118 WITH SCORE 597727.784
AT ITER 1382 NEW BEST:: SOT 1079782 SOS 609758 HAS SOPS 609758 HAS SOUS 597092 HAS SOUPS 597092 WITH SCORE 597701.758
AT ITER 1383 NEW BEST:: SOT 1078828 SOS 608892 HAS SOPS 608892 HAS SOUS 596226 HAS SOUPS 596226 WITH SCORE 596834.892
AT ITER 1384 NEW BEST:: SOT 1078296 SOS 608062 HAS SOPS 608062 HAS SOUS 595396 HAS SOUPS 595396 WITH SCORE 596004.062
AT ITER 1385 NEW BEST:: SOT 1078238 SOS 608004 HAS SOPS 608004 HAS SOUS 595338 HAS SOUPS 595338 WITH SCORE 595946.004
AT ITER 1389 NEW BEST:: SOT 1078260 SOS 607688 HAS SOPS 607688 HAS SOUS 595022 HAS SOUPS 595022 WITH SCORE 595629.688
AT ITER 1391 NEW BEST:: SOT 1078260 SOS 607688 HAS SOPS 607688 HAS SOUS 594658 HAS SOUPS 594658 WITH SCORE 595265.688
AT ITER 1393 NEW BEST:: SOT 1078260 SOS 607662 HAS SOPS 607662 HAS SOUS 594632 HAS SOUPS 594632 WITH SCORE 595239.662
AT ITER 1399 NEW BEST:: SOT 1078260 SOS 607554 HAS SOPS 607554 HAS SOUS 594524 HAS SOUPS 594524 WITH SCORE 595131.554
AT ITER 1404 NEW BEST:: SOT 1078260 SOS 607084 HAS SOPS 607084 HAS SOUS 594054 HAS SOUPS 594054 WITH SCORE 594661.084
AT ITER 1406 NEW BEST:: SOT 1078068 SOS 606700 HAS SOPS 606700 HAS SOUS 593670 HAS SOUPS 593670 WITH SCORE 594276.7
AT ITER 1414 NEW BEST:: SOT 1077768 SOS 606086 HAS SOPS 606086 HAS SOUS 593056 HAS SOUPS 593056 WITH SCORE 593662.086
AT ITER 1417 NEW BEST:: SOT 1077750 SOS 606068 HAS SOPS 606068 HAS SOUS 593038 HAS SOUPS 593038 WITH SCORE 593644.068
AT ITER 1418 NEW BEST:: SOT 1077750 SOS 606064 HAS SOPS 606064 HAS SOUS 593034 HAS SOUPS 593034 WITH SCORE 593640.064
AT ITER 1420 NEW BEST:: SOT 1077748 SOS 606062 HAS SOPS 606062 HAS SOUS 593032 HAS SOUPS 593032 WITH SCORE 593638.062
AT ITER 1422 NEW BEST:: SOT 1077748 SOS 605614 HAS SOPS 605614 HAS SOUS 592584 HAS SOUPS 592584 WITH SCORE 593189.614
AT ITER 1426 NEW BEST:: SOT 1077748 SOS 605072 HAS SOPS 605072 HAS SOUS 592042 HAS SOUPS 592042 WITH SCORE 592647.072
AT ITER 1430 NEW BEST:: SOT 1077704 SOS 604676 HAS SOPS 604676 HAS SOUS 591646 HAS SOUPS 591646 WITH SCORE 592250.676
AT ITER 1431 NEW BEST:: SOT 1077386 SOS 604010 HAS SOPS 604010 HAS SOUS 590980 HAS SOUPS 590980 WITH SCORE 591584.01
AT ITER 1432 NEW BEST:: SOT 1077596 SOS 603260 HAS SOPS 603260 HAS SOUS 590230 HAS SOUPS 590230 WITH SCORE 590833.26
AT ITER 1435 NEW BEST:: SOT 1077596 SOS 602746 HAS SOPS 602746 HAS SOUS 589716 HAS SOUPS 589716 WITH SCORE 590318.746
AT ITER 1437 NEW BEST:: SOT 1077596 SOS 602736 HAS SOPS 602736 HAS SOUS 589706 HAS SOUPS 589706 WITH SCORE 590308.736
AT ITER 1439 NEW BEST:: SOT 1076960 SOS 601770 HAS SOPS 601770 HAS SOUS 588740 HAS SOUPS 588740 WITH SCORE 589341.77
AT ITER 1441 NEW BEST:: SOT 1076050 SOS 600538 HAS SOPS 600538 HAS SOUS 587508 HAS SOUPS 587508 WITH SCORE 588108.538
AT ITER 1442 NEW BEST:: SOT 1075776 SOS 599946 HAS SOPS 599946 HAS SOUS 586916 HAS SOUPS 586916 WITH SCORE 587515.946
AT ITER 1447 NEW BEST:: SOT 1074906 SOS 599164 HAS SOPS 599164 HAS SOUS 586134 HAS SOUPS 586134 WITH SCORE 586733.164
AT ITER 1448 NEW BEST:: SOT 1074744 SOS 599002 HAS SOPS 599002 HAS SOUS 585972 HAS SOUPS 585972 WITH SCORE 586571.002
AT ITER 1451 NEW BEST:: SOT 1074744 SOS 598798 HAS SOPS 598798 HAS SOUS 585768 HAS SOUPS 585768 WITH SCORE 586366.798
AT ITER 1454 NEW BEST:: SOT 1074316 SOS 597862 HAS SOPS 597862 HAS SOUS 584832 HAS SOUPS 584832 WITH SCORE 585429.862
AT ITER 1455 NEW BEST:: SOT 1074182 SOS 597712 HAS SOPS 597712 HAS SOUS 584682 HAS SOUPS 584682 WITH SCORE 585279.712
AT ITER 1465 NEW BEST:: SOT 1073698 SOS 597154 HAS SOPS 597154 HAS SOUS 584124 HAS SOUPS 584124 WITH SCORE 584721.154
AT ITER 1469 NEW BEST:: SOT 1073228 SOS 596684 HAS SOPS 596684 HAS SOUS 583654 HAS SOUPS 583654 WITH SCORE 584250.684
AT ITER 1473 NEW BEST:: SOT 1071966 SOS 594560 HAS SOPS 594560 HAS SOUS 581530 HAS SOUPS 581530 WITH SCORE 582124.56
AT ITER 1487 NEW BEST:: SOT 1071966 SOS 594538 HAS SOPS 594538 HAS SOUS 581508 HAS SOUPS 581508 WITH SCORE 582102.538
AT ITER 1492 NEW BEST:: SOT 1071948 SOS 593844 HAS SOPS 593844 HAS SOUS 580814 HAS SOUPS 580814 WITH SCORE 581407.844
AT ITER 1494 NEW BEST:: SOT 1071722 SOS 593032 HAS SOPS 593032 HAS SOUS 580002 HAS SOUPS 580002 WITH SCORE 580595.032
AT ITER 1506 NEW BEST:: SOT 1070228 SOS 590044 HAS SOPS 590044 HAS SOUS 577014 HAS SOUPS 577014 WITH SCORE 577604.044
AT ITER 1507 NEW BEST:: SOT 1070152 SOS 589968 HAS SOPS 589968 HAS SOUS 576938 HAS SOUPS 576938 WITH SCORE 577527.968
AT ITER 1511 NEW BEST:: SOT 1069416 SOS 589232 HAS SOPS 589232 HAS SOUS 576202 HAS SOUPS 576202 WITH SCORE 576791.232
AT ITER 1516 NEW BEST:: SOT 1069416 SOS 588590 HAS SOPS 588590 HAS SOUS 575560 HAS SOUPS 575560 WITH SCORE 576148.59
AT ITER 1517 NEW BEST:: SOT 1069416 SOS 588584 HAS SOPS 588584 HAS SOUS 575554 HAS SOUPS 575554 WITH SCORE 576142.584
AT ITER 1518 NEW BEST:: SOT 1069416 SOS 588328 HAS SOPS 588328 HAS SOUS 575298 HAS SOUPS 575298 WITH SCORE 575886.328
AT ITER 1519 NEW BEST:: SOT 1069542 SOS 588008 HAS SOPS 588008 HAS SOUS 574978 HAS SOUPS 574978 WITH SCORE 575566.008
AT ITER 1527 NEW BEST:: SOT 1069068 SOS 587060 HAS SOPS 587060 HAS SOUS 574030 HAS SOUPS 574030 WITH SCORE 574617.06
AT ITER 1529 NEW BEST:: SOT 1068026 SOS 585438 HAS SOPS 585438 HAS SOUS 572408 HAS SOUPS 572408 WITH SCORE 572993.438
AT ITER 1537 NEW BEST:: SOT 1067892 SOS 585304 HAS SOPS 585304 HAS SOUS 572274 HAS SOUPS 572274 WITH SCORE 572859.304
AT ITER 1538 NEW BEST:: SOT 1067200 SOS 583710 HAS SOPS 583710 HAS SOUS 570680 HAS SOUPS 570680 WITH SCORE 571263.71
AT ITER 1547 NEW BEST:: SOT 1066726 SOS 583104 HAS SOPS 583104 HAS SOUS 570074 HAS SOUPS 570074 WITH SCORE 570657.104
AT ITER 1548 NEW BEST:: SOT 1066686 SOS 583064 HAS SOPS 583064 HAS SOUS 570034 HAS SOUPS 570034 WITH SCORE 570617.064
AT ITER 1550 NEW BEST:: SOT 1066648 SOS 582994 HAS SOPS 582994 HAS SOUS 569964 HAS SOUPS 569964 WITH SCORE 570546.994
AT ITER 1555 NEW BEST:: SOT 1066556 SOS 582902 HAS SOPS 582902 HAS SOUS 569872 HAS SOUPS 569872 WITH SCORE 570454.902
AT ITER 1557 NEW BEST:: SOT 1066514 SOS 582728 HAS SOPS 582728 HAS SOUS 569698 HAS SOUPS 569698 WITH SCORE 570280.728
AT ITER 1558 NEW BEST:: SOT 1066074 SOS 582288 HAS SOPS 582288 HAS SOUS 569258 HAS SOUPS 569258 WITH SCORE 569840.288
AT ITER 1561 NEW BEST:: SOT 1065974 SOS 582188 HAS SOPS 582188 HAS SOUS 569158 HAS SOUPS 569158 WITH SCORE 569740.188
AT ITER 1568 NEW BEST:: SOT 1065974 SOS 581960 HAS SOPS 581960 HAS SOUS 568930 HAS SOUPS 568930 WITH SCORE 569511.96
AT ITER 1572 NEW BEST:: SOT 1065712 SOS 581620 HAS SOPS 581620 HAS SOUS 568590 HAS SOUPS 568590 WITH SCORE 569171.62
AT ITER 1575 NEW BEST:: SOT 1065248 SOS 580840 HAS SOPS 580840 HAS SOUS 567810 HAS SOUPS 567810 WITH SCORE 568390.84
AT ITER 1578 NEW BEST:: SOT 1064748 SOS 580340 HAS SOPS 580340 HAS SOUS 567310 HAS SOUPS 567310 WITH SCORE 567890.34
AT ITER 1581 NEW BEST:: SOT 1063918 SOS 579510 HAS SOPS 579510 HAS SOUS 566480 HAS SOUPS 566480 WITH SCORE 567059.51
AT ITER 1585 NEW BEST:: SOT 1063374 SOS 578872 HAS SOPS 578872 HAS SOUS 565842 HAS SOUPS 565842 WITH SCORE 566420.872
AT ITER 1586 NEW BEST:: SOT 1062680 SOS 578250 HAS SOPS 578250 HAS SOUS 565220 HAS SOUPS 565220 WITH SCORE 565798.25
AT ITER 1587 NEW BEST:: SOT 1062680 SOS 577656 HAS SOPS 577656 HAS SOUS 564626 HAS SOUPS 564626 WITH SCORE 565203.656
AT ITER 1589 NEW BEST:: SOT 1062680 SOS 577146 HAS SOPS 577146 HAS SOUS 564116 HAS SOUPS 564116 WITH SCORE 564693.146
AT ITER 1599 NEW BEST:: SOT 1062570 SOS 576926 HAS SOPS 576926 HAS SOUS 563896 HAS SOUPS 563896 WITH SCORE 564472.926
AT ITER 1600 NEW BEST:: SOT 1061528 SOS 574090 HAS SOPS 574090 HAS SOUS 561060 HAS SOUPS 561060 WITH SCORE 561634.09
AT ITER 1601 NEW BEST:: SOT 1061008 SOS 573810 HAS SOPS 573810 HAS SOUS 560780 HAS SOUPS 560780 WITH SCORE 561353.81
AT ITER 1613 NEW BEST:: SOT 1061008 SOS 573502 HAS SOPS 573502 HAS SOUS 560472 HAS SOUPS 560472 WITH SCORE 561045.502
AT ITER 1619 NEW BEST:: SOT 1060078 SOS 572446 HAS SOPS 572446 HAS SOUS 559416 HAS SOUPS 559416 WITH SCORE 559988.446
AT ITER 1621 NEW BEST:: SOT 1060078 SOS 571628 HAS SOPS 571628 HAS SOUS 558598 HAS SOUPS 558598 WITH SCORE 559169.628
AT ITER 1624 NEW BEST:: SOT 1059834 SOS 571384 HAS SOPS 571384 HAS SOUS 558354 HAS SOUPS 558354 WITH SCORE 558925.384
AT ITER 1627 NEW BEST:: SOT 1059634 SOS 571184 HAS SOPS 571184 HAS SOUS 558154 HAS SOUPS 558154 WITH SCORE 558725.184
AT ITER 1634 NEW BEST:: SOT 1059366 SOS 570648 HAS SOPS 570648 HAS SOUS 557618 HAS SOUPS 557618 WITH SCORE 558188.648
AT ITER 1636 NEW BEST:: SOT 1059368 SOS 570472 HAS SOPS 570472 HAS SOUS 557442 HAS SOUPS 557442 WITH SCORE 558012.472
AT ITER 1641 NEW BEST:: SOT 1058848 SOS 569570 HAS SOPS 569570 HAS SOUS 556540 HAS SOUPS 556540 WITH SCORE 557109.57
AT ITER 1650 NEW BEST:: SOT 1059192 SOS 568752 HAS SOPS 568752 HAS SOUS 555722 HAS SOUPS 555722 WITH SCORE 556290.752
AT ITER 1651 NEW BEST:: SOT 1059192 SOS 568512 HAS SOPS 568512 HAS SOUS 555482 HAS SOUPS 555482 WITH SCORE 556050.512
AT ITER 1659 NEW BEST:: SOT 1057946 SOS 565524 HAS SOPS 565524 HAS SOUS 552494 HAS SOUPS 552494 WITH SCORE 553059.524
AT ITER 1663 NEW BEST:: SOT 1057946 SOS 565442 HAS SOPS 565442 HAS SOUS 552412 HAS SOUPS 552412 WITH SCORE 552977.442
AT ITER 1666 NEW BEST:: SOT 1057946 SOS 565418 HAS SOPS 565418 HAS SOUS 552388 HAS SOUPS 552388 WITH SCORE 552953.418
AT ITER 1668 NEW BEST:: SOT 1057642 SOS 565114 HAS SOPS 565114 HAS SOUS 552084 HAS SOUPS 552084 WITH SCORE 552649.114
AT ITER 1671 NEW BEST:: SOT 1057356 SOS 564888 HAS SOPS 564888 HAS SOUS 551858 HAS SOUPS 551858 WITH SCORE 552422.888
AT ITER 1672 NEW BEST:: SOT 1057100 SOS 564632 HAS SOPS 564632 HAS SOUS 551602 HAS SOUPS 551602 WITH SCORE 552166.632
AT ITER 1680 NEW BEST:: SOT 1057100 SOS 564300 HAS SOPS 564300 HAS SOUS 551270 HAS SOUPS 551270 WITH SCORE 551834.3
AT ITER 1681 NEW BEST:: SOT 1056712 SOS 563912 HAS SOPS 563912 HAS SOUS 550882 HAS SOUPS 550882 WITH SCORE 551445.912
AT ITER 1683 NEW BEST:: SOT 1056622 SOS 563822 HAS SOPS 563822 HAS SOUS 550792 HAS SOUPS 550792 WITH SCORE 551355.822
AT ITER 1692 NEW BEST:: SOT 1056622 SOS 563136 HAS SOPS 563136 HAS SOUS 550106 HAS SOUPS 550106 WITH SCORE 550669.136
AT ITER 1694 NEW BEST:: SOT 1056576 SOS 563090 HAS SOPS 563090 HAS SOUS 550060 HAS SOUPS 550060 WITH SCORE 550623.09
AT ITER 1697 NEW BEST:: SOT 1056576 SOS 562764 HAS SOPS 562764 HAS SOUS 549734 HAS SOUPS 549734 WITH SCORE 550296.764
AT ITER 1704 NEW BEST:: SOT 1056116 SOS 561148 HAS SOPS 561148 HAS SOUS 548118 HAS SOUPS 548118 WITH SCORE 548679.148
AT ITER 1705 NEW BEST:: SOT 1056116 SOS 561008 HAS SOPS 561008 HAS SOUS 547978 HAS SOUPS 547978 WITH SCORE 548539.008
AT ITER 1712 NEW BEST:: SOT 1055174 SOS 559144 HAS SOPS 559144 HAS SOUS 546114 HAS SOUPS 546114 WITH SCORE 546673.144
AT ITER 1717 NEW BEST:: SOT 1055404 SOS 558954 HAS SOPS 558954 HAS SOUS 545924 HAS SOUPS 545924 WITH SCORE 546482.954
AT ITER 1724 NEW BEST:: SOT 1055422 SOS 558882 HAS SOPS 558882 HAS SOUS 545852 HAS SOUPS 545852 WITH SCORE 546410.882
AT ITER 1725 NEW BEST:: SOT 1055422 SOS 558236 HAS SOPS 558236 HAS SOUS 545206 HAS SOUPS 545206 WITH SCORE 545764.236
AT ITER 1727 NEW BEST:: SOT 1054982 SOS 557796 HAS SOPS 557796 HAS SOUS 544766 HAS SOUPS 544766 WITH SCORE 545323.796
AT ITER 1728 NEW BEST:: SOT 1054554 SOS 557542 HAS SOPS 557542 HAS SOUS 544512 HAS SOUPS 544512 WITH SCORE 545069.542
AT ITER 1731 NEW BEST:: SOT 1053512 SOS 556592 HAS SOPS 556592 HAS SOUS 543562 HAS SOUPS 543562 WITH SCORE 544118.592
AT ITER 1740 NEW BEST:: SOT 1053512 SOS 556196 HAS SOPS 556196 HAS SOUS 543166 HAS SOUPS 543166 WITH SCORE 543722.196
AT ITER 1742 NEW BEST:: SOT 1053326 SOS 556010 HAS SOPS 556010 HAS SOUS 542980 HAS SOUPS 542980 WITH SCORE 543536.01
AT ITER 1744 NEW BEST:: SOT 1053190 SOS 555744 HAS SOPS 555744 HAS SOUS 542714 HAS SOUPS 542714 WITH SCORE 543269.744
AT ITER 1745 NEW BEST:: SOT 1052958 SOS 555512 HAS SOPS 555512 HAS SOUS 542482 HAS SOUPS 542482 WITH SCORE 543037.512
AT ITER 1748 NEW BEST:: SOT 1052932 SOS 555460 HAS SOPS 555460 HAS SOUS 542430 HAS SOUPS 542430 WITH SCORE 542985.46
AT ITER 1751 NEW BEST:: SOT 1053100 SOS 555264 HAS SOPS 555264 HAS SOUS 542234 HAS SOUPS 542234 WITH SCORE 542789.264
AT ITER 1768 NEW BEST:: SOT 1053100 SOS 555030 HAS SOPS 555030 HAS SOUS 542000 HAS SOUPS 542000 WITH SCORE 542555.03
AT ITER 1772 NEW BEST:: SOT 1053052 SOS 554770 HAS SOPS 554770 HAS SOUS 541740 HAS SOUPS 541740 WITH SCORE 542294.77
AT ITER 1775 NEW BEST:: SOT 1053164 SOS 554456 HAS SOPS 554456 HAS SOUS 541426 HAS SOUPS 541426 WITH SCORE 541980.456
AT ITER 1779 NEW BEST:: SOT 1052664 SOS 553956 HAS SOPS 553956 HAS SOUS 540926 HAS SOUPS 540926 WITH SCORE 541479.956
AT ITER 1782 NEW BEST:: SOT 1052536 SOS 553828 HAS SOPS 553828 HAS SOUS 540798 HAS SOUPS 540798 WITH SCORE 541351.828
AT ITER 1783 NEW BEST:: SOT 1052514 SOS 553806 HAS SOPS 553806 HAS SOUS 540776 HAS SOUPS 540776 WITH SCORE 541329.806
AT ITER 1787 NEW BEST:: SOT 1052438 SOS 553730 HAS SOPS 553730 HAS SOUS 540700 HAS SOUPS 540700 WITH SCORE 541253.73
AT ITER 1790 NEW BEST:: SOT 1052156 SOS 552950 HAS SOPS 552950 HAS SOUS 539920 HAS SOUPS 539920 WITH SCORE 540472.95
AT ITER 1792 NEW BEST:: SOT 1052156 SOS 552932 HAS SOPS 552932 HAS SOUS 539902 HAS SOUPS 539902 WITH SCORE 540454.932
AT ITER 1795 NEW BEST:: SOT 1051472 SOS 551488 HAS SOPS 551488 HAS SOUS 538458 HAS SOUPS 538458 WITH SCORE 539009.488
AT ITER 1805 NEW BEST:: SOT 1049846 SOS 548448 HAS SOPS 548448 HAS SOUS 535418 HAS SOUPS 535418 WITH SCORE 535966.448
AT ITER 1809 NEW BEST:: SOT 1049440 SOS 548288 HAS SOPS 548288 HAS SOUS 535258 HAS SOUPS 535258 WITH SCORE 535806.288
AT ITER 1819 NEW BEST:: SOT 1048608 SOS 546768 HAS SOPS 546768 HAS SOUS 533738 HAS SOUPS 533738 WITH SCORE 534284.768
AT ITER 1826 NEW BEST:: SOT 1048608 SOS 546716 HAS SOPS 546716 HAS SOUS 533686 HAS SOUPS 533686 WITH SCORE 534232.716
AT ITER 1829 NEW BEST:: SOT 1048608 SOS 545910 HAS SOPS 545910 HAS SOUS 532880 HAS SOUPS 532880 WITH SCORE 533425.91
AT ITER 1846 NEW BEST:: SOT 1048186 SOS 545488 HAS SOPS 545488 HAS SOUS 532458 HAS SOUPS 532458 WITH SCORE 533003.488
AT ITER 1847 NEW BEST:: SOT 1048130 SOS 545432 HAS SOPS 545432 HAS SOUS 532402 HAS SOUPS 532402 WITH SCORE 532947.432
AT ITER 1851 NEW BEST:: SOT 1048130 SOS 544892 HAS SOPS 544892 HAS SOUS 531862 HAS SOUPS 531862 WITH SCORE 532406.892
AT ITER 1856 NEW BEST:: SOT 1047088 SOS 543054 HAS SOPS 543054 HAS SOUS 530024 HAS SOUPS 530024 WITH SCORE 530567.054
AT ITER 1859 NEW BEST:: SOT 1047088 SOS 542954 HAS SOPS 542954 HAS SOUS 529924 HAS SOUPS 529924 WITH SCORE 530466.954
AT ITER 1860 NEW BEST:: SOT 1047088 SOS 542794 HAS SOPS 542794 HAS SOUS 529764 HAS SOUPS 529764 WITH SCORE 530306.794
AT ITER 1861 NEW BEST:: SOT 1046992 SOS 542698 HAS SOPS 542698 HAS SOUS 529668 HAS SOUPS 529668 WITH SCORE 530210.698
AT ITER 1862 NEW BEST:: SOT 1046922 SOS 542558 HAS SOPS 542558 HAS SOUS 529528 HAS SOUPS 529528 WITH SCORE 530070.558
AT ITER 1870 NEW BEST:: SOT 1046922 SOS 541648 HAS SOPS 541648 HAS SOUS 529528 HAS SOUPS 529528 WITH SCORE 530069.648
AT ITER 1874 NEW BEST:: SOT 1046438 SOS 541164 HAS SOPS 541164 HAS SOUS 529044 HAS SOUPS 529044 WITH SCORE 529585.164
AT ITER 1879 NEW BEST:: SOT 1046438 SOS 540162 HAS SOPS 540162 HAS SOUS 528042 HAS SOUPS 528042 WITH SCORE 528582.162
AT ITER 1880 NEW BEST:: SOT 1046186 SOS 539910 HAS SOPS 539910 HAS SOUS 527790 HAS SOUPS 527790 WITH SCORE 528329.91
AT ITER 1881 NEW BEST:: SOT 1045868 SOS 539778 HAS SOPS 539778 HAS SOUS 527658 HAS SOUPS 527658 WITH SCORE 528197.778
AT ITER 1893 NEW BEST:: SOT 1045868 SOS 541574 HAS SOPS 541574 HAS SOUS 527246 HAS SOUPS 527246 WITH SCORE 527787.574
AT ITER 1895 NEW BEST:: SOT 1045018 SOS 539864 HAS SOPS 539864 HAS SOUS 525536 HAS SOUPS 525536 WITH SCORE 526075.864
AT ITER 1912 NEW BEST:: SOT 1045018 SOS 539808 HAS SOPS 539808 HAS SOUS 525480 HAS SOUPS 525480 WITH SCORE 526019.808
AT ITER 1914 NEW BEST:: SOT 1045018 SOS 539790 HAS SOPS 539790 HAS SOUS 525462 HAS SOUPS 525462 WITH SCORE 526001.79
AT ITER 1925 NEW BEST:: SOT 1044718 SOS 539084 HAS SOPS 539084 HAS SOUS 524756 HAS SOUPS 524756 WITH SCORE 525295.084
AT ITER 1933 NEW BEST:: SOT 1044718 SOS 539030 HAS SOPS 539030 HAS SOUS 524702 HAS SOUPS 524702 WITH SCORE 525241.03
AT ITER 1935 NEW BEST:: SOT 1044192 SOS 538596 HAS SOPS 538596 HAS SOUS 524268 HAS SOUPS 524268 WITH SCORE 524806.596
AT ITER 1936 NEW BEST:: SOT 1044346 SOS 538370 HAS SOPS 538370 HAS SOUS 524042 HAS SOUPS 524042 WITH SCORE 524580.37
AT ITER 1938 NEW BEST:: SOT 1044290 SOS 538258 HAS SOPS 538258 HAS SOUS 523930 HAS SOUPS 523930 WITH SCORE 524468.258
AT ITER 1942 NEW BEST:: SOT 1044290 SOS 537450 HAS SOPS 537450 HAS SOUS 523122 HAS SOUPS 523122 WITH SCORE 523659.45
AT ITER 1943 NEW BEST:: SOT 1044216 SOS 537406 HAS SOPS 537406 HAS SOUS 523078 HAS SOUPS 523078 WITH SCORE 523615.406
AT ITER 1946 NEW BEST:: SOT 1043776 SOS 536952 HAS SOPS 536952 HAS SOUS 522624 HAS SOUPS 522624 WITH SCORE 523160.952
AT ITER 1947 NEW BEST:: SOT 1043686 SOS 536862 HAS SOPS 536862 HAS SOUS 522534 HAS SOUPS 522534 WITH SCORE 523070.862
AT ITER 1955 NEW BEST:: SOT 1043686 SOS 536670 HAS SOPS 536670 HAS SOUS 522342 HAS SOUPS 522342 WITH SCORE 522878.67
AT ITER 1958 NEW BEST:: SOT 1043590 SOS 536478 HAS SOPS 536478 HAS SOUS 522150 HAS SOUPS 522150 WITH SCORE 522686.478
AT ITER 1961 NEW BEST:: SOT 1043550 SOS 536438 HAS SOPS 536438 HAS SOUS 522110 HAS SOUPS 522110 WITH SCORE 522646.438
AT ITER 1966 NEW BEST:: SOT 1043358 SOS 535914 HAS SOPS 535914 HAS SOUS 521586 HAS SOUPS 521586 WITH SCORE 522121.914
AT ITER 1982 NEW BEST:: SOT 1043302 SOS 535858 HAS SOPS 535858 HAS SOUS 521530 HAS SOUPS 521530 WITH SCORE 522065.858
AT ITER 1985 NEW BEST:: SOT 1043280 SOS 535836 HAS SOPS 535836 HAS SOUS 521508 HAS SOUPS 521508 WITH SCORE 522043.836
AT ITER 1988 NEW BEST:: SOT 1043176 SOS 535732 HAS SOPS 535732 HAS SOUS 521300 HAS SOUPS 521300 WITH SCORE 521835.732
AT ITER 1995 NEW BEST:: SOT 1043020 SOS 535170 HAS SOPS 535170 HAS SOUS 520738 HAS SOUPS 520738 WITH SCORE 521273.17
AT ITER 2001 NEW BEST:: SOT 1042550 SOS 534700 HAS SOPS 534700 HAS SOUS 520268 HAS SOUPS 520268 WITH SCORE 520802.7
AT ITER 2013 NEW BEST:: SOT 1042550 SOS 534364 HAS SOPS 534364 HAS SOUS 519932 HAS SOUPS 519932 WITH SCORE 520466.364
AT ITER 2015 NEW BEST:: SOT 1042550 SOS 534084 HAS SOPS 534084 HAS SOUS 519652 HAS SOUPS 519652 WITH SCORE 520186.084
AT ITER 2019 NEW BEST:: SOT 1042002 SOS 533428 HAS SOPS 533428 HAS SOUS 518996 HAS SOUPS 518996 WITH SCORE 519529.428
AT ITER 2022 NEW BEST:: SOT 1042002 SOS 533054 HAS SOPS 533054 HAS SOUS 518622 HAS SOUPS 518622 WITH SCORE 519155.054
AT ITER 2027 NEW BEST:: SOT 1041774 SOS 532956 HAS SOPS 532956 HAS SOUS 518524 HAS SOUPS 518524 WITH SCORE 519056.956
AT ITER 2028 NEW BEST:: SOT 1041626 SOS 532808 HAS SOPS 532808 HAS SOUS 518376 HAS SOUPS 518376 WITH SCORE 518908.808
AT ITER 2029 NEW BEST:: SOT 1040502 SOS 531684 HAS SOPS 531684 HAS SOUS 517252 HAS SOUPS 517252 WITH SCORE 517783.684
AT ITER 2041 NEW BEST:: SOT 1040456 SOS 531638 HAS SOPS 531638 HAS SOUS 517206 HAS SOUPS 517206 WITH SCORE 517737.638
AT ITER 2042 NEW BEST:: SOT 1040456 SOS 531112 HAS SOPS 531112 HAS SOUS 516680 HAS SOUPS 516680 WITH SCORE 517211.112
AT ITER 2051 NEW BEST:: SOT 1040300 SOS 530956 HAS SOPS 530956 HAS SOUS 516524 HAS SOUPS 516524 WITH SCORE 517054.956
AT ITER 2052 NEW BEST:: SOT 1039580 SOS 530280 HAS SOPS 530280 HAS SOUS 515848 HAS SOUPS 515848 WITH SCORE 516378.28
AT ITER 2055 NEW BEST:: SOT 1039546 SOS 530152 HAS SOPS 530152 HAS SOUS 515720 HAS SOUPS 515720 WITH SCORE 516250.152
AT ITER 2062 NEW BEST:: SOT 1039546 SOS 529746 HAS SOPS 529746 HAS SOUS 515314 HAS SOUPS 515314 WITH SCORE 515843.746
AT ITER 2066 NEW BEST:: SOT 1039546 SOS 529436 HAS SOPS 529436 HAS SOUS 515004 HAS SOUPS 515004 WITH SCORE 515533.436
AT ITER 2072 NEW BEST:: SOT 1039040 SOS 528930 HAS SOPS 528930 HAS SOUS 514498 HAS SOUPS 514498 WITH SCORE 515026.93
AT ITER 2080 NEW BEST:: SOT 1039040 SOS 528776 HAS SOPS 528776 HAS SOUS 514344 HAS SOUPS 514344 WITH SCORE 514872.776
AT ITER 2082 NEW BEST:: SOT 1038934 SOS 528272 HAS SOPS 528272 HAS SOUS 513840 HAS SOUPS 513840 WITH SCORE 514368.272
AT ITER 2094 NEW BEST:: SOT 1038932 SOS 528270 HAS SOPS 528270 HAS SOUS 513838 HAS SOUPS 513838 WITH SCORE 514366.27
AT ITER 2097 NEW BEST:: SOT 1038156 SOS 527850 HAS SOPS 527850 HAS SOUS 513418 HAS SOUPS 513418 WITH SCORE 513945.85
AT ITER 2100 NEW BEST:: SOT 1038156 SOS 527640 HAS SOPS 527640 HAS SOUS 513208 HAS SOUPS 513208 WITH SCORE 513735.64
AT ITER 2103 NEW BEST:: SOT 1038042 SOS 527526 HAS SOPS 527526 HAS SOUS 513094 HAS SOUPS 513094 WITH SCORE 513621.526
AT ITER 2105 NEW BEST:: SOT 1037714 SOS 526788 HAS SOPS 526788 HAS SOUS 512356 HAS SOUPS 512356 WITH SCORE 512882.788
AT ITER 2107 NEW BEST:: SOT 1037114 SOS 526084 HAS SOPS 526084 HAS SOUS 511652 HAS SOUPS 511652 WITH SCORE 512178.084
AT ITER 2108 NEW BEST:: SOT 1036478 SOS 524798 HAS SOPS 524798 HAS SOUS 510366 HAS SOUPS 510366 WITH SCORE 510890.798
AT ITER 2122 NEW BEST:: SOT 1036054 SOS 524214 HAS SOPS 524214 HAS SOUS 509782 HAS SOUPS 509782 WITH SCORE 510306.214
AT ITER 2127 NEW BEST:: SOT 1036054 SOS 524168 HAS SOPS 524168 HAS SOUS 509736 HAS SOUPS 509736 WITH SCORE 510260.168
AT ITER 2129 NEW BEST:: SOT 1036054 SOS 523916 HAS SOPS 523916 HAS SOUS 509484 HAS SOUPS 509484 WITH SCORE 510007.916
AT ITER 2130 NEW BEST:: SOT 1035458 SOS 522596 HAS SOPS 522596 HAS SOUS 508164 HAS SOUPS 508164 WITH SCORE 508686.596
AT ITER 2134 NEW BEST:: SOT 1035458 SOS 521978 HAS SOPS 521978 HAS SOUS 507546 HAS SOUPS 507546 WITH SCORE 508067.978
AT ITER 2135 NEW BEST:: SOT 1035696 SOS 521776 HAS SOPS 521776 HAS SOUS 507344 HAS SOUPS 507344 WITH SCORE 507865.776
AT ITER 2137 NEW BEST:: SOT 1035580 SOS 521660 HAS SOPS 521660 HAS SOUS 507228 HAS SOUPS 507228 WITH SCORE 507749.66
AT ITER 2139 NEW BEST:: SOT 1035580 SOS 521362 HAS SOPS 521362 HAS SOUS 506930 HAS SOUPS 506930 WITH SCORE 507451.362
AT ITER 2150 NEW BEST:: SOT 1035580 SOS 521198 HAS SOPS 521198 HAS SOUS 506766 HAS SOUPS 506766 WITH SCORE 507287.198
AT ITER 2152 NEW BEST:: SOT 1034832 SOS 521008 HAS SOPS 521008 HAS SOUS 506576 HAS SOUPS 506576 WITH SCORE 507097.008
AT ITER 2154 NEW BEST:: SOT 1034614 SOS 520842 HAS SOPS 520842 HAS SOUS 506410 HAS SOUPS 506410 WITH SCORE 506930.842
AT ITER 2162 NEW BEST:: SOT 1034554 SOS 520782 HAS SOPS 520782 HAS SOUS 506350 HAS SOUPS 506350 WITH SCORE 506870.782
AT ITER 2165 NEW BEST:: SOT 1034470 SOS 520562 HAS SOPS 520562 HAS SOUS 506130 HAS SOUPS 506130 WITH SCORE 506650.562
AT ITER 2172 NEW BEST:: SOT 1034336 SOS 520076 HAS SOPS 520076 HAS SOUS 505644 HAS SOUPS 505644 WITH SCORE 506164.076
AT ITER 2177 NEW BEST:: SOT 1034234 SOS 519936 HAS SOPS 519936 HAS SOUS 505504 HAS SOUPS 505504 WITH SCORE 506023.936
AT ITER 2178 NEW BEST:: SOT 1034234 SOS 519668 HAS SOPS 519668 HAS SOUS 505236 HAS SOUPS 505236 WITH SCORE 505755.668
AT ITER 2181 NEW BEST:: SOT 1033272 SOS 519282 HAS SOPS 519282 HAS SOUS 504850 HAS SOUPS 504850 WITH SCORE 505369.282
AT ITER 2183 NEW BEST:: SOT 1033272 SOS 519266 HAS SOPS 519266 HAS SOUS 504834 HAS SOUPS 504834 WITH SCORE 505353.266
AT ITER 2189 NEW BEST:: SOT 1032900 SOS 518866 HAS SOPS 518866 HAS SOUS 504434 HAS SOUPS 504434 WITH SCORE 504952.866
AT ITER 2191 NEW BEST:: SOT 1032900 SOS 518788 HAS SOPS 518788 HAS SOUS 504356 HAS SOUPS 504356 WITH SCORE 504874.788
AT ITER 2199 NEW BEST:: SOT 1032348 SOS 518296 HAS SOPS 518296 HAS SOUS 503864 HAS SOUPS 503864 WITH SCORE 504382.296
AT ITER 2201 NEW BEST:: SOT 1032132 SOS 518020 HAS SOPS 518020 HAS SOUS 503588 HAS SOUPS 503588 WITH SCORE 504106.02
AT ITER 2206 NEW BEST:: SOT 1032132 SOS 517542 HAS SOPS 517542 HAS SOUS 503110 HAS SOUPS 503110 WITH SCORE 503627.542
AT ITER 2229 NEW BEST:: SOT 1032132 SOS 517444 HAS SOPS 517444 HAS SOUS 503012 HAS SOUPS 503012 WITH SCORE 503529.444
AT ITER 2236 NEW BEST:: SOT 1031374 SOS 516160 HAS SOPS 516160 HAS SOUS 501728 HAS SOUPS 501728 WITH SCORE 502244.16
AT ITER 2237 NEW BEST:: SOT 1030820 SOS 515606 HAS SOPS 515606 HAS SOUS 501174 HAS SOUPS 501174 WITH SCORE 501689.606
AT ITER 2238 NEW BEST:: SOT 1030820 SOS 515606 HAS SOPS 515606 HAS SOUS 500626 HAS SOUPS 500626 WITH SCORE 501141.606
AT ITER 2249 NEW BEST:: SOT 1030218 SOS 515004 HAS SOPS 515004 HAS SOUS 500024 HAS SOUPS 500024 WITH SCORE 500539.004
AT ITER 2253 NEW BEST:: SOT 1030394 SOS 514874 HAS SOPS 514874 HAS SOUS 499894 HAS SOUPS 499894 WITH SCORE 500408.874
AT ITER 2254 NEW BEST:: SOT 1030288 SOS 514768 HAS SOPS 514768 HAS SOUS 499788 HAS SOUPS 499788 WITH SCORE 500302.768
AT ITER 2259 NEW BEST:: SOT 1030198 SOS 514526 HAS SOPS 514526 HAS SOUS 499546 HAS SOUPS 499546 WITH SCORE 500060.526
AT ITER 2262 NEW BEST:: SOT 1030198 SOS 514406 HAS SOPS 514406 HAS SOUS 499426 HAS SOUPS 499426 WITH SCORE 499940.406
AT ITER 2269 NEW BEST:: SOT 1030348 SOS 514290 HAS SOPS 514290 HAS SOUS 499310 HAS SOUPS 499310 WITH SCORE 499824.29
AT ITER 2275 NEW BEST:: SOT 1030474 SOS 513040 HAS SOPS 513040 HAS SOUS 498060 HAS SOUPS 498060 WITH SCORE 498573.04
AT ITER 2277 NEW BEST:: SOT 1030144 SOS 512710 HAS SOPS 512710 HAS SOUS 497730 HAS SOUPS 497730 WITH SCORE 498242.71
AT ITER 2282 NEW BEST:: SOT 1029792 SOS 511812 HAS SOPS 511812 HAS SOUS 496832 HAS SOUPS 496832 WITH SCORE 497343.812
AT ITER 2295 NEW BEST:: SOT 1029792 SOS 511554 HAS SOPS 511554 HAS SOUS 496574 HAS SOUPS 496574 WITH SCORE 497085.554
AT ITER 2298 NEW BEST:: SOT 1029628 SOS 511316 HAS SOPS 511316 HAS SOUS 496336 HAS SOUPS 496336 WITH SCORE 496847.316
AT ITER 2307 NEW BEST:: SOT 1028756 SOS 510164 HAS SOPS 510164 HAS SOUS 495184 HAS SOUPS 495184 WITH SCORE 495694.164
AT ITER 2313 NEW BEST:: SOT 1028604 SOS 510012 HAS SOPS 510012 HAS SOUS 495032 HAS SOUPS 495032 WITH SCORE 495542.012
AT ITER 2316 NEW BEST:: SOT 1028562 SOS 509970 HAS SOPS 509970 HAS SOUS 494990 HAS SOUPS 494990 WITH SCORE 495499.97
AT ITER 2320 NEW BEST:: SOT 1027438 SOS 508846 HAS SOPS 508846 HAS SOUS 493866 HAS SOUPS 493866 WITH SCORE 494374.846
AT ITER 2325 NEW BEST:: SOT 1027438 SOS 508684 HAS SOPS 508684 HAS SOUS 493704 HAS SOUPS 493704 WITH SCORE 494212.684
AT ITER 2329 NEW BEST:: SOT 1027438 SOS 508340 HAS SOPS 508340 HAS SOUS 493360 HAS SOUPS 493360 WITH SCORE 493868.34
AT ITER 2332 NEW BEST:: SOT 1027218 SOS 508120 HAS SOPS 508120 HAS SOUS 493140 HAS SOUPS 493140 WITH SCORE 493648.12
AT ITER 2339 NEW BEST:: SOT 1027060 SOS 507962 HAS SOPS 507962 HAS SOUS 492982 HAS SOUPS 492982 WITH SCORE 493489.962
AT ITER 2345 NEW BEST:: SOT 1026372 SOS 506586 HAS SOPS 506586 HAS SOUS 491606 HAS SOUPS 491606 WITH SCORE 492112.586
AT ITER 2350 NEW BEST:: SOT 1025932 SOS 506146 HAS SOPS 506146 HAS SOUS 491166 HAS SOUPS 491166 WITH SCORE 491672.146
AT ITER 2352 NEW BEST:: SOT 1025838 SOS 506090 HAS SOPS 506090 HAS SOUS 491110 HAS SOUPS 491110 WITH SCORE 491616.09
AT ITER 2355 NEW BEST:: SOT 1025306 SOS 505236 HAS SOPS 505236 HAS SOUS 490256 HAS SOUPS 490256 WITH SCORE 490761.236
AT ITER 2358 NEW BEST:: SOT 1025306 SOS 505164 HAS SOPS 505164 HAS SOUS 490184 HAS SOUPS 490184 WITH SCORE 490689.164
AT ITER 2362 NEW BEST:: SOT 1025306 SOS 504984 HAS SOPS 504984 HAS SOUS 490004 HAS SOUPS 490004 WITH SCORE 490508.984
AT ITER 2367 NEW BEST:: SOT 1025306 SOS 504656 HAS SOPS 504656 HAS SOUS 489676 HAS SOUPS 489676 WITH SCORE 490180.656
AT ITER 2374 NEW BEST:: SOT 1024454 SOS 504268 HAS SOPS 504268 HAS SOUS 489288 HAS SOUPS 489288 WITH SCORE 489792.268
AT ITER 2383 NEW BEST:: SOT 1024454 SOS 504234 HAS SOPS 504234 HAS SOUS 489254 HAS SOUPS 489254 WITH SCORE 489758.234
AT ITER 2388 NEW BEST:: SOT 1024440 SOS 503958 HAS SOPS 503958 HAS SOUS 488978 HAS SOUPS 488978 WITH SCORE 489481.958
AT ITER 2390 NEW BEST:: SOT 1024440 SOS 503422 HAS SOPS 503422 HAS SOUS 488442 HAS SOUPS 488442 WITH SCORE 488945.422
AT ITER 2392 NEW BEST:: SOT 1023566 SOS 502548 HAS SOPS 502548 HAS SOUS 487568 HAS SOUPS 487568 WITH SCORE 488070.548
AT ITER 2396 NEW BEST:: SOT 1022736 SOS 500816 HAS SOPS 500816 HAS SOUS 485836 HAS SOUPS 485836 WITH SCORE 486336.816
AT ITER 2400 NEW BEST:: SOT 1022534 SOS 500278 HAS SOPS 500278 HAS SOUS 485298 HAS SOUPS 485298 WITH SCORE 485798.278
AT ITER 2404 NEW BEST:: SOT 1022534 SOS 500114 HAS SOPS 500114 HAS SOUS 485134 HAS SOUPS 485134 WITH SCORE 485634.114
AT ITER 2409 NEW BEST:: SOT 1022318 SOS 499682 HAS SOPS 499682 HAS SOUS 484702 HAS SOUPS 484702 WITH SCORE 485201.682
AT ITER 2411 NEW BEST:: SOT 1021904 SOS 499640 HAS SOPS 499640 HAS SOUS 484660 HAS SOUPS 484660 WITH SCORE 485159.64
AT ITER 2418 NEW BEST:: SOT 1021716 SOS 498894 HAS SOPS 498894 HAS SOUS 483914 HAS SOUPS 483914 WITH SCORE 484412.894
AT ITER 2422 NEW BEST:: SOT 1021332 SOS 498436 HAS SOPS 498436 HAS SOUS 483456 HAS SOUPS 483456 WITH SCORE 483954.436
AT ITER 2424 NEW BEST:: SOT 1021140 SOS 497906 HAS SOPS 497906 HAS SOUS 482926 HAS SOUPS 482926 WITH SCORE 483423.906
AT ITER 2425 NEW BEST:: SOT 1020710 SOS 496860 HAS SOPS 496860 HAS SOUS 481880 HAS SOUPS 481880 WITH SCORE 482376.86
AT ITER 2427 NEW BEST:: SOT 1020710 SOS 496624 HAS SOPS 496624 HAS SOUS 481644 HAS SOUPS 481644 WITH SCORE 482140.624
AT ITER 2428 NEW BEST:: SOT 1020464 SOS 496378 HAS SOPS 496378 HAS SOUS 481398 HAS SOUPS 481398 WITH SCORE 481894.378
AT ITER 2433 NEW BEST:: SOT 1020314 SOS 496010 HAS SOPS 496010 HAS SOUS 481030 HAS SOUPS 481030 WITH SCORE 481526.01
AT ITER 2438 NEW BEST:: SOT 1020314 SOS 495544 HAS SOPS 495544 HAS SOUS 480564 HAS SOUPS 480564 WITH SCORE 481059.544
AT ITER 2442 NEW BEST:: SOT 1019882 SOS 494680 HAS SOPS 494680 HAS SOUS 479700 HAS SOUPS 479700 WITH SCORE 480194.68
AT ITER 2448 NEW BEST:: SOT 1019726 SOS 494102 HAS SOPS 494102 HAS SOUS 479122 HAS SOUPS 479122 WITH SCORE 479616.102
AT ITER 2450 NEW BEST:: SOT 1019554 SOS 493548 HAS SOPS 493548 HAS SOUS 478568 HAS SOUPS 478568 WITH SCORE 479061.548
AT ITER 2455 NEW BEST:: SOT 1019230 SOS 492794 HAS SOPS 492794 HAS SOUS 477814 HAS SOUPS 477814 WITH SCORE 478306.794
AT ITER 2461 NEW BEST:: SOT 1018976 SOS 492318 HAS SOPS 492318 HAS SOUS 477338 HAS SOUPS 477338 WITH SCORE 477830.318
AT ITER 2465 NEW BEST:: SOT 1018848 SOS 492190 HAS SOPS 492190 HAS SOUS 477210 HAS SOUPS 477210 WITH SCORE 477702.19
AT ITER 2466 NEW BEST:: SOT 1018446 SOS 491516 HAS SOPS 491516 HAS SOUS 476536 HAS SOUPS 476536 WITH SCORE 477027.516
AT ITER 2467 NEW BEST:: SOT 1018446 SOS 491442 HAS SOPS 491442 HAS SOUS 476462 HAS SOUPS 476462 WITH SCORE 476953.442
AT ITER 2471 NEW BEST:: SOT 1018446 SOS 491186 HAS SOPS 491186 HAS SOUS 476206 HAS SOUPS 476206 WITH SCORE 476697.186
AT ITER 2480 NEW BEST:: SOT 1018368 SOS 491108 HAS SOPS 491108 HAS SOUS 476128 HAS SOUPS 476128 WITH SCORE 476619.108
AT ITER 2481 NEW BEST:: SOT 1018136 SOS 490644 HAS SOPS 490644 HAS SOUS 475664 HAS SOUPS 475664 WITH SCORE 476154.644
AT ITER 2486 NEW BEST:: SOT 1018136 SOS 490550 HAS SOPS 490550 HAS SOUS 475598 HAS SOUPS 475598 WITH SCORE 476088.55
AT ITER 2490 NEW BEST:: SOT 1018234 SOS 489760 HAS SOPS 489760 HAS SOUS 474808 HAS SOUPS 474808 WITH SCORE 475297.76
AT ITER 2497 NEW BEST:: SOT 1018140 SOS 489666 HAS SOPS 489666 HAS SOUS 474714 HAS SOUPS 474714 WITH SCORE 475203.666
AT ITER 2499 NEW BEST:: SOT 1018022 SOS 489548 HAS SOPS 489548 HAS SOUS 474596 HAS SOUPS 474596 WITH SCORE 475085.548
AT ITER 2501 NEW BEST:: SOT 1017588 SOS 489114 HAS SOPS 489114 HAS SOUS 474162 HAS SOUPS 474162 WITH SCORE 474651.114
AT ITER 2507 NEW BEST:: SOT 1017574 SOS 489100 HAS SOPS 489100 HAS SOUS 474148 HAS SOUPS 474148 WITH SCORE 474637.1
AT ITER 2510 NEW BEST:: SOT 1017574 SOS 488848 HAS SOPS 488848 HAS SOUS 473896 HAS SOUPS 473896 WITH SCORE 474384.848
AT ITER 2512 NEW BEST:: SOT 1017574 SOS 488474 HAS SOPS 488474 HAS SOUS 473896 HAS SOUPS 473896 WITH SCORE 474384.474
AT ITER 2529 NEW BEST:: SOT 1017286 SOS 487498 HAS SOPS 487498 HAS SOUS 472920 HAS SOUPS 472920 WITH SCORE 473407.498
AT ITER 2550 NEW BEST:: SOT 1017286 SOS 487336 HAS SOPS 487336 HAS SOUS 472758 HAS SOUPS 472758 WITH SCORE 473245.336
AT ITER 2560 NEW BEST:: SOT 1017080 SOS 486742 HAS SOPS 486742 HAS SOUS 472164 HAS SOUPS 472164 WITH SCORE 472650.742
AT ITER 2561 NEW BEST:: SOT 1017066 SOS 486714 HAS SOPS 486714 HAS SOUS 472136 HAS SOUPS 472136 WITH SCORE 472622.714
AT ITER 2562 NEW BEST:: SOT 1016746 SOS 486394 HAS SOPS 486394 HAS SOUS 471816 HAS SOUPS 471816 WITH SCORE 472302.394
AT ITER 2565 NEW BEST:: SOT 1016656 SOS 486304 HAS SOPS 486304 HAS SOUS 471726 HAS SOUPS 471726 WITH SCORE 472212.304
AT ITER 2567 NEW BEST:: SOT 1016154 SOS 485590 HAS SOPS 485590 HAS SOUS 471012 HAS SOUPS 471012 WITH SCORE 471497.59
AT ITER 2568 NEW BEST:: SOT 1016214 SOS 485562 HAS SOPS 485562 HAS SOUS 470984 HAS SOUPS 470984 WITH SCORE 471469.562
AT ITER 2569 NEW BEST:: SOT 1016082 SOS 485430 HAS SOPS 485430 HAS SOUS 470852 HAS SOUPS 470852 WITH SCORE 471337.43
AT ITER 2573 NEW BEST:: SOT 1016082 SOS 485346 HAS SOPS 485346 HAS SOUS 470768 HAS SOUPS 470768 WITH SCORE 471253.346
AT ITER 2581 NEW BEST:: SOT 1015930 SOS 485042 HAS SOPS 485042 HAS SOUS 470464 HAS SOUPS 470464 WITH SCORE 470949.042
AT ITER 2585 NEW BEST:: SOT 1015930 SOS 484950 HAS SOPS 484950 HAS SOUS 470372 HAS SOUPS 470372 WITH SCORE 470856.95
AT ITER 2594 NEW BEST:: SOT 1015914 SOS 484918 HAS SOPS 484918 HAS SOUS 470340 HAS SOUPS 470340 WITH SCORE 470824.918
AT ITER 2599 NEW BEST:: SOT 1015730 SOS 484734 HAS SOPS 484734 HAS SOUS 470156 HAS SOUPS 470156 WITH SCORE 470640.734
AT ITER 2603 NEW BEST:: SOT 1015678 SOS 484682 HAS SOPS 484682 HAS SOUS 470104 HAS SOUPS 470104 WITH SCORE 470588.682
AT ITER 2605 NEW BEST:: SOT 1015292 SOS 483834 HAS SOPS 483834 HAS SOUS 469256 HAS SOUPS 469256 WITH SCORE 469739.834
AT ITER 2609 NEW BEST:: SOT 1014666 SOS 483038 HAS SOPS 483038 HAS SOUS 468460 HAS SOUPS 468460 WITH SCORE 468943.038
AT ITER 2610 NEW BEST:: SOT 1013824 SOS 482196 HAS SOPS 482196 HAS SOUS 467618 HAS SOUPS 467618 WITH SCORE 468100.196
AT ITER 2614 NEW BEST:: SOT 1013908 SOS 481708 HAS SOPS 481708 HAS SOUS 467130 HAS SOUPS 467130 WITH SCORE 467611.708
AT ITER 2618 NEW BEST:: SOT 1013860 SOS 481660 HAS SOPS 481660 HAS SOUS 467082 HAS SOUPS 467082 WITH SCORE 467563.66
AT ITER 2623 NEW BEST:: SOT 1013860 SOS 481512 HAS SOPS 481512 HAS SOUS 466934 HAS SOUPS 466934 WITH SCORE 467415.512
AT ITER 2626 NEW BEST:: SOT 1013852 SOS 481496 HAS SOPS 481496 HAS SOUS 466918 HAS SOUPS 466918 WITH SCORE 467399.496
AT ITER 2628 NEW BEST:: SOT 1013634 SOS 481010 HAS SOPS 481010 HAS SOUS 466432 HAS SOUPS 466432 WITH SCORE 466913.01
AT ITER 2629 NEW BEST:: SOT 1012358 SOS 478458 HAS SOPS 478458 HAS SOUS 463880 HAS SOUPS 463880 WITH SCORE 464358.458
AT ITER 2630 NEW BEST:: SOT 1012224 SOS 478188 HAS SOPS 478188 HAS SOUS 463610 HAS SOUPS 463610 WITH SCORE 464088.188
AT ITER 2632 NEW BEST:: SOT 1012224 SOS 478084 HAS SOPS 478084 HAS SOUS 463506 HAS SOUPS 463506 WITH SCORE 463984.084
AT ITER 2633 NEW BEST:: SOT 1012224 SOS 477954 HAS SOPS 477954 HAS SOUS 463376 HAS SOUPS 463376 WITH SCORE 463853.954
AT ITER 2637 NEW BEST:: SOT 1011912 SOS 477642 HAS SOPS 477642 HAS SOUS 463064 HAS SOUPS 463064 WITH SCORE 463541.642
AT ITER 2658 NEW BEST:: SOT 1011280 SOS 476986 HAS SOPS 476986 HAS SOUS 462408 HAS SOUPS 462408 WITH SCORE 462884.986
AT ITER 2659 NEW BEST:: SOT 1011280 SOS 476712 HAS SOPS 476712 HAS SOUS 462134 HAS SOUPS 462134 WITH SCORE 462610.712
AT ITER 2660 NEW BEST:: SOT 1010556 SOS 475842 HAS SOPS 475842 HAS SOUS 461264 HAS SOUPS 461264 WITH SCORE 461739.842
AT ITER 2664 NEW BEST:: SOT 1010556 SOS 475674 HAS SOPS 475674 HAS SOUS 461096 HAS SOUPS 461096 WITH SCORE 461571.674
AT ITER 2671 NEW BEST:: SOT 1010422 SOS 475540 HAS SOPS 475540 HAS SOUS 460962 HAS SOUPS 460962 WITH SCORE 461437.54
AT ITER 2674 NEW BEST:: SOT 1010592 SOS 475508 HAS SOPS 475508 HAS SOUS 460930 HAS SOUPS 460930 WITH SCORE 461405.508
AT ITER 2678 NEW BEST:: SOT 1010342 SOS 475258 HAS SOPS 475258 HAS SOUS 460680 HAS SOUPS 460680 WITH SCORE 461155.258
AT ITER 2686 NEW BEST:: SOT 1010342 SOS 475194 HAS SOPS 475194 HAS SOUS 460616 HAS SOUPS 460616 WITH SCORE 461091.194
AT ITER 2696 NEW BEST:: SOT 1010342 SOS 474838 HAS SOPS 474838 HAS SOUS 460260 HAS SOUPS 460260 WITH SCORE 460734.838
AT ITER 2697 NEW BEST:: SOT 1010296 SOS 474746 HAS SOPS 474746 HAS SOUS 460168 HAS SOUPS 460168 WITH SCORE 460642.746
AT ITER 2699 NEW BEST:: SOT 1010282 SOS 474702 HAS SOPS 474702 HAS SOUS 460124 HAS SOUPS 460124 WITH SCORE 460598.702
AT ITER 2707 NEW BEST:: SOT 1009782 SOS 473702 HAS SOPS 473702 HAS SOUS 459124 HAS SOUPS 459124 WITH SCORE 459597.702
AT ITER 2709 NEW BEST:: SOT 1009782 SOS 473686 HAS SOPS 473686 HAS SOUS 459108 HAS SOUPS 459108 WITH SCORE 459581.686
AT ITER 2717 NEW BEST:: SOT 1009604 SOS 474360 HAS SOPS 474360 HAS SOUS 458702 HAS SOUPS 458702 WITH SCORE 459176.36
AT ITER 2718 NEW BEST:: SOT 1009284 SOS 474082 HAS SOPS 474082 HAS SOUS 458424 HAS SOUPS 458424 WITH SCORE 458898.082
AT ITER 2721 NEW BEST:: SOT 1007950 SOS 472326 HAS SOPS 472326 HAS SOUS 456668 HAS SOUPS 456668 WITH SCORE 457140.326
AT ITER 2723 NEW BEST:: SOT 1007016 SOS 471550 HAS SOPS 471550 HAS SOUS 455892 HAS SOUPS 455892 WITH SCORE 456363.55
AT ITER 2731 NEW BEST:: SOT 1007016 SOS 471412 HAS SOPS 471412 HAS SOUS 455754 HAS SOUPS 455754 WITH SCORE 456225.412
AT ITER 2736 NEW BEST:: SOT 1007062 SOS 471280 HAS SOPS 471280 HAS SOUS 455622 HAS SOUPS 455622 WITH SCORE 456093.28
AT ITER 2741 NEW BEST:: SOT 1006224 SOS 470206 HAS SOPS 470206 HAS SOUS 454548 HAS SOUPS 454548 WITH SCORE 455018.206
AT ITER 2744 NEW BEST:: SOT 1006170 SOS 470098 HAS SOPS 470098 HAS SOUS 454440 HAS SOUPS 454440 WITH SCORE 454910.098
AT ITER 2746 NEW BEST:: SOT 1006744 SOS 469932 HAS SOPS 469932 HAS SOUS 454274 HAS SOUPS 454274 WITH SCORE 454743.932
AT ITER 2749 NEW BEST:: SOT 1006690 SOS 469878 HAS SOPS 469878 HAS SOUS 454220 HAS SOUPS 454220 WITH SCORE 454689.878
AT ITER 2778 NEW BEST:: SOT 1006648 SOS 469836 HAS SOPS 469836 HAS SOUS 454178 HAS SOUPS 454178 WITH SCORE 454647.836
AT ITER 2781 NEW BEST:: SOT 1006642 SOS 469830 HAS SOPS 469830 HAS SOUS 454172 HAS SOUPS 454172 WITH SCORE 454641.83
AT ITER 2789 NEW BEST:: SOT 1006642 SOS 469620 HAS SOPS 469620 HAS SOUS 453962 HAS SOUPS 453962 WITH SCORE 454431.62
AT ITER 2792 NEW BEST:: SOT 1006642 SOS 469022 HAS SOPS 469022 HAS SOUS 453364 HAS SOUPS 453364 WITH SCORE 453833.022
AT ITER 2797 NEW BEST:: SOT 1006504 SOS 468734 HAS SOPS 468734 HAS SOUS 453076 HAS SOUPS 453076 WITH SCORE 453544.734
AT ITER 2800 NEW BEST:: SOT 1006426 SOS 468578 HAS SOPS 468578 HAS SOUS 452920 HAS SOUPS 452920 WITH SCORE 453388.578
AT ITER 2807 NEW BEST:: SOT 1006414 SOS 468566 HAS SOPS 468566 HAS SOUS 452908 HAS SOUPS 452908 WITH SCORE 453376.566
AT ITER 2810 NEW BEST:: SOT 1006274 SOS 468426 HAS SOPS 468426 HAS SOUS 452768 HAS SOUPS 452768 WITH SCORE 453236.426
AT ITER 2825 NEW BEST:: SOT 1005074 SOS 466696 HAS SOPS 466696 HAS SOUS 451038 HAS SOUPS 451038 WITH SCORE 451504.696
AT ITER 2829 NEW BEST:: SOT 1005074 SOS 466562 HAS SOPS 466562 HAS SOUS 450904 HAS SOUPS 450904 WITH SCORE 451370.562
AT ITER 2831 NEW BEST:: SOT 1004770 SOS 466258 HAS SOPS 466258 HAS SOUS 450600 HAS SOUPS 450600 WITH SCORE 451066.258
AT ITER 2840 NEW BEST:: SOT 1004770 SOS 465866 HAS SOPS 465866 HAS SOUS 450208 HAS SOUPS 450208 WITH SCORE 450673.866
AT ITER 2857 NEW BEST:: SOT 1004280 SOS 464886 HAS SOPS 464886 HAS SOUS 449228 HAS SOUPS 449228 WITH SCORE 449692.886
AT ITER 2858 NEW BEST:: SOT 1004236 SOS 464842 HAS SOPS 464842 HAS SOUS 449184 HAS SOUPS 449184 WITH SCORE 449648.842
AT ITER 2859 NEW BEST:: SOT 1003740 SOS 463850 HAS SOPS 463850 HAS SOUS 448192 HAS SOUPS 448192 WITH SCORE 448655.85
AT ITER 2861 NEW BEST:: SOT 1003388 SOS 463488 HAS SOPS 463488 HAS SOUS 447830 HAS SOUPS 447830 WITH SCORE 448293.488
AT ITER 2869 NEW BEST:: SOT 1003206 SOS 463458 HAS SOPS 463458 HAS SOUS 447800 HAS SOUPS 447800 WITH SCORE 448263.458
AT ITER 2870 NEW BEST:: SOT 1002938 SOS 463190 HAS SOPS 463190 HAS SOUS 447532 HAS SOUPS 447532 WITH SCORE 447995.19
AT ITER 2881 NEW BEST:: SOT 1002494 SOS 462194 HAS SOPS 462194 HAS SOUS 446536 HAS SOUPS 446536 WITH SCORE 446998.194
AT ITER 2888 NEW BEST:: SOT 1002358 SOS 461996 HAS SOPS 461996 HAS SOUS 446338 HAS SOUPS 446338 WITH SCORE 446799.996
AT ITER 2889 NEW BEST:: SOT 1001660 SOS 461596 HAS SOPS 461596 HAS SOUS 445938 HAS SOUPS 445938 WITH SCORE 446399.596
AT ITER 2890 NEW BEST:: SOT 1000936 SOS 460196 HAS SOPS 460196 HAS SOUS 444538 HAS SOUPS 444538 WITH SCORE 444998.196
AT ITER 2898 NEW BEST:: SOT 1000582 SOS 459808 HAS SOPS 459808 HAS SOUS 444150 HAS SOUPS 444150 WITH SCORE 444609.808
AT ITER 2902 NEW BEST:: SOT 999948 SOS 458598 HAS SOPS 458598 HAS SOUS 442940 HAS SOUPS 442940 WITH SCORE 443398.598
AT ITER 2915 NEW BEST:: SOT 999630 SOS 458110 HAS SOPS 458110 HAS SOUS 442452 HAS SOUPS 442452 WITH SCORE 442910.11
AT ITER 2917 NEW BEST:: SOT 999234 SOS 457714 HAS SOPS 457714 HAS SOUS 442056 HAS SOUPS 442056 WITH SCORE 442513.714
AT ITER 2920 NEW BEST:: SOT 999028 SOS 457432 HAS SOPS 457432 HAS SOUS 441774 HAS SOUPS 441774 WITH SCORE 442231.432
AT ITER 2935 NEW BEST:: SOT 999006 SOS 456670 HAS SOPS 456670 HAS SOUS 441012 HAS SOUPS 441012 WITH SCORE 441468.67
AT ITER 2951 NEW BEST:: SOT 999006 SOS 456322 HAS SOPS 456322 HAS SOUS 440664 HAS SOUPS 440664 WITH SCORE 441120.322
AT ITER 2955 NEW BEST:: SOT 998710 SOS 456026 HAS SOPS 456026 HAS SOUS 440368 HAS SOUPS 440368 WITH SCORE 440824.026
AT ITER 2959 NEW BEST:: SOT 998338 SOS 455322 HAS SOPS 455322 HAS SOUS 439664 HAS SOUPS 439664 WITH SCORE 440119.322
AT ITER 2966 NEW BEST:: SOT 998232 SOS 455194 HAS SOPS 455194 HAS SOUS 439536 HAS SOUPS 439536 WITH SCORE 439991.194
AT ITER 2972 NEW BEST:: SOT 998354 SOS 454992 HAS SOPS 454992 HAS SOUS 439334 HAS SOUPS 439334 WITH SCORE 439788.992
AT ITER 2974 NEW BEST:: SOT 998242 SOS 454576 HAS SOPS 454576 HAS SOUS 438918 HAS SOUPS 438918 WITH SCORE 439372.576
AT ITER 2977 NEW BEST:: SOT 998242 SOS 454528 HAS SOPS 454528 HAS SOUS 438870 HAS SOUPS 438870 WITH SCORE 439324.528
AT ITER 3004 NEW BEST:: SOT 998242 SOS 454518 HAS SOPS 454518 HAS SOUS 438860 HAS SOUPS 438860 WITH SCORE 439314.518
AT ITER 3006 NEW BEST:: SOT 998156 SOS 454432 HAS SOPS 454432 HAS SOUS 438774 HAS SOUPS 438774 WITH SCORE 439228.432
AT ITER 3010 NEW BEST:: SOT 998086 SOS 454192 HAS SOPS 454192 HAS SOUS 438534 HAS SOUPS 438534 WITH SCORE 438988.192
AT ITER 3012 NEW BEST:: SOT 997808 SOS 453542 HAS SOPS 453542 HAS SOUS 437884 HAS SOUPS 437884 WITH SCORE 438337.542
AT ITER 3028 NEW BEST:: SOT 997584 SOS 453318 HAS SOPS 453318 HAS SOUS 437660 HAS SOUPS 437660 WITH SCORE 438113.318
AT ITER 3030 NEW BEST:: SOT 997542 SOS 452282 HAS SOPS 452282 HAS SOUS 436624 HAS SOUPS 436624 WITH SCORE 437076.282
AT ITER 3033 NEW BEST:: SOT 997122 SOS 451240 HAS SOPS 451240 HAS SOUS 435582 HAS SOUPS 435582 WITH SCORE 436033.24
AT ITER 3041 NEW BEST:: SOT 997110 SOS 451228 HAS SOPS 451228 HAS SOUS 435570 HAS SOUPS 435570 WITH SCORE 436021.228
AT ITER 3042 NEW BEST:: SOT 997110 SOS 451106 HAS SOPS 451106 HAS SOUS 435448 HAS SOUPS 435448 WITH SCORE 435899.106
AT ITER 3064 NEW BEST:: SOT 996836 SOS 450832 HAS SOPS 450832 HAS SOUS 435174 HAS SOUPS 435174 WITH SCORE 435624.832
AT ITER 3065 NEW BEST:: SOT 996836 SOS 450754 HAS SOPS 450754 HAS SOUS 435124 HAS SOUPS 435124 WITH SCORE 435574.754
AT ITER 3074 NEW BEST:: SOT 996738 SOS 450240 HAS SOPS 450240 HAS SOUS 434610 HAS SOUPS 434610 WITH SCORE 435060.24
AT ITER 3080 NEW BEST:: SOT 996588 SOS 450090 HAS SOPS 450090 HAS SOUS 434460 HAS SOUPS 434460 WITH SCORE 434910.09
AT ITER 3082 NEW BEST:: SOT 996588 SOS 450062 HAS SOPS 450062 HAS SOUS 434432 HAS SOUPS 434432 WITH SCORE 434882.062
AT ITER 3087 NEW BEST:: SOT 996372 SOS 449606 HAS SOPS 449606 HAS SOUS 433976 HAS SOUPS 433976 WITH SCORE 434425.606
AT ITER 3100 NEW BEST:: SOT 996084 SOS 449318 HAS SOPS 449318 HAS SOUS 433688 HAS SOUPS 433688 WITH SCORE 434137.318
AT ITER 3105 NEW BEST:: SOT 996050 SOS 449284 HAS SOPS 449284 HAS SOUS 433654 HAS SOUPS 433654 WITH SCORE 434103.284
AT ITER 3110 NEW BEST:: SOT 996050 SOS 449240 HAS SOPS 449240 HAS SOUS 433610 HAS SOUPS 433610 WITH SCORE 434059.24
AT ITER 3112 NEW BEST:: SOT 995688 SOS 448516 HAS SOPS 448516 HAS SOUS 432886 HAS SOUPS 432886 WITH SCORE 433334.516
AT ITER 3131 NEW BEST:: SOT 995200 SOS 448354 HAS SOPS 448354 HAS SOUS 432724 HAS SOUPS 432724 WITH SCORE 433172.354
AT ITER 3155 NEW BEST:: SOT 995200 SOS 448334 HAS SOPS 448334 HAS SOUS 432704 HAS SOUPS 432704 WITH SCORE 433152.334
AT ITER 3161 NEW BEST:: SOT 995132 SOS 448266 HAS SOPS 448266 HAS SOUS 432636 HAS SOUPS 432636 WITH SCORE 433084.266
AT ITER 3183 NEW BEST:: SOT 994878 SOS 448046 HAS SOPS 448046 HAS SOUS 432416 HAS SOUPS 432416 WITH SCORE 432864.046
AT ITER 3204 NEW BEST:: SOT 994126 SOS 447128 HAS SOPS 447128 HAS SOUS 431498 HAS SOUPS 431498 WITH SCORE 431945.128
AT ITER 3206 NEW BEST:: SOT 993696 SOS 446446 HAS SOPS 446446 HAS SOUS 430816 HAS SOUPS 430816 WITH SCORE 431262.446
AT ITER 3212 NEW BEST:: SOT 993668 SOS 446418 HAS SOPS 446418 HAS SOUS 430788 HAS SOUPS 430788 WITH SCORE 431234.418
AT ITER 3213 NEW BEST:: SOT 993690 SOS 445588 HAS SOPS 445588 HAS SOUS 429958 HAS SOUPS 429958 WITH SCORE 430403.588
AT ITER 3222 NEW BEST:: SOT 993690 SOS 445420 HAS SOPS 445420 HAS SOUS 429790 HAS SOUPS 429790 WITH SCORE 430235.42
AT ITER 3223 NEW BEST:: SOT 993120 SOS 444712 HAS SOPS 444712 HAS SOUS 429082 HAS SOUPS 429082 WITH SCORE 429526.712
AT ITER 3231 NEW BEST:: SOT 993120 SOS 444656 HAS SOPS 444656 HAS SOUS 429026 HAS SOUPS 429026 WITH SCORE 429470.656
AT ITER 3232 NEW BEST:: SOT 992698 SOS 444234 HAS SOPS 444234 HAS SOUS 428604 HAS SOUPS 428604 WITH SCORE 429048.234
AT ITER 3234 NEW BEST:: SOT 992470 SOS 444006 HAS SOPS 444006 HAS SOUS 428376 HAS SOUPS 428376 WITH SCORE 428820.006
AT ITER 3235 NEW BEST:: SOT 992430 SOS 443914 HAS SOPS 443914 HAS SOUS 428284 HAS SOUPS 428284 WITH SCORE 428727.914
AT ITER 3239 NEW BEST:: SOT 992430 SOS 443872 HAS SOPS 443872 HAS SOUS 428242 HAS SOUPS 428242 WITH SCORE 428685.872
AT ITER 3246 NEW BEST:: SOT 992052 SOS 442760 HAS SOPS 442760 HAS SOUS 427130 HAS SOUPS 427130 WITH SCORE 427572.76
AT ITER 3247 NEW BEST:: SOT 992010 SOS 442528 HAS SOPS 442528 HAS SOUS 426898 HAS SOUPS 426898 WITH SCORE 427340.528
AT ITER 3251 NEW BEST:: SOT 991962 SOS 442330 HAS SOPS 442330 HAS SOUS 426700 HAS SOUPS 426700 WITH SCORE 427142.33
AT ITER 3252 NEW BEST:: SOT 991878 SOS 442208 HAS SOPS 442208 HAS SOUS 426578 HAS SOUPS 426578 WITH SCORE 427020.208
AT ITER 3255 NEW BEST:: SOT 991874 SOS 441448 HAS SOPS 441448 HAS SOUS 425818 HAS SOUPS 425818 WITH SCORE 426259.448
AT ITER 3256 NEW BEST:: SOT 991850 SOS 441424 HAS SOPS 441424 HAS SOUS 425794 HAS SOUPS 425794 WITH SCORE 426235.424
AT ITER 3262 NEW BEST:: SOT 991412 SOS 440548 HAS SOPS 440548 HAS SOUS 424918 HAS SOUPS 424918 WITH SCORE 425358.548
AT ITER 3263 NEW BEST:: SOT 991400 SOS 440536 HAS SOPS 440536 HAS SOUS 424906 HAS SOUPS 424906 WITH SCORE 425346.536
AT ITER 3265 NEW BEST:: SOT 991404 SOS 440514 HAS SOPS 440514 HAS SOUS 424884 HAS SOUPS 424884 WITH SCORE 425324.514
AT ITER 3266 NEW BEST:: SOT 991328 SOS 440458 HAS SOPS 440458 HAS SOUS 424828 HAS SOUPS 424828 WITH SCORE 425268.458
AT ITER 3268 NEW BEST:: SOT 991272 SOS 440384 HAS SOPS 440384 HAS SOUS 424754 HAS SOUPS 424754 WITH SCORE 425194.384
AT ITER 3272 NEW BEST:: SOT 990788 SOS 440048 HAS SOPS 440048 HAS SOUS 424418 HAS SOUPS 424418 WITH SCORE 424858.048
AT ITER 3273 NEW BEST:: SOT 990426 SOS 439324 HAS SOPS 439324 HAS SOUS 423694 HAS SOUPS 423694 WITH SCORE 424133.324
AT ITER 3300 NEW BEST:: SOT 990426 SOS 439132 HAS SOPS 439132 HAS SOUS 423502 HAS SOUPS 423502 WITH SCORE 423941.132
AT ITER 3302 NEW BEST:: SOT 990428 SOS 438796 HAS SOPS 438796 HAS SOUS 423166 HAS SOUPS 423166 WITH SCORE 423604.796
AT ITER 3303 NEW BEST:: SOT 990428 SOS 438468 HAS SOPS 438468 HAS SOUS 422838 HAS SOUPS 422838 WITH SCORE 423276.468
AT ITER 3304 NEW BEST:: SOT 990428 SOS 438138 HAS SOPS 438138 HAS SOUS 422508 HAS SOUPS 422508 WITH SCORE 422946.138
AT ITER 3307 NEW BEST:: SOT 990428 SOS 436618 HAS SOPS 436618 HAS SOUS 422508 HAS SOUPS 422508 WITH SCORE 422944.618
AT ITER 3314 NEW BEST:: SOT 990428 SOS 436152 HAS SOPS 436152 HAS SOUS 422042 HAS SOUPS 422042 WITH SCORE 422478.152
AT ITER 3315 NEW BEST:: SOT 990032 SOS 435756 HAS SOPS 435756 HAS SOUS 421646 HAS SOUPS 421646 WITH SCORE 422081.756
AT ITER 3317 NEW BEST:: SOT 989760 SOS 435212 HAS SOPS 435212 HAS SOUS 421102 HAS SOUPS 421102 WITH SCORE 421537.212
AT ITER 3318 NEW BEST:: SOT 989760 SOS 435168 HAS SOPS 435168 HAS SOUS 421058 HAS SOUPS 421058 WITH SCORE 421493.168
AT ITER 3326 NEW BEST:: SOT 989482 SOS 434582 HAS SOPS 434582 HAS SOUS 420472 HAS SOUPS 420472 WITH SCORE 420906.582
AT ITER 3349 NEW BEST:: SOT 989482 SOS 434324 HAS SOPS 434324 HAS SOUS 420214 HAS SOUPS 420214 WITH SCORE 420648.324
AT ITER 3350 NEW BEST:: SOT 989150 SOS 433992 HAS SOPS 433992 HAS SOUS 419882 HAS SOUPS 419882 WITH SCORE 420315.992
AT ITER 3360 NEW BEST:: SOT 988778 SOS 433248 HAS SOPS 433248 HAS SOUS 419138 HAS SOUPS 419138 WITH SCORE 419571.248
AT ITER 3362 NEW BEST:: SOT 988288 SOS 432196 HAS SOPS 432196 HAS SOUS 418086 HAS SOUPS 418086 WITH SCORE 418518.196
AT ITER 3364 NEW BEST:: SOT 988288 SOS 432136 HAS SOPS 432136 HAS SOUS 418026 HAS SOUPS 418026 WITH SCORE 418458.136
AT ITER 3366 NEW BEST:: SOT 988008 SOS 431856 HAS SOPS 431856 HAS SOUS 417746 HAS SOUPS 417746 WITH SCORE 418177.856
AT ITER 3367 NEW BEST:: SOT 988058 SOS 431610 HAS SOPS 431610 HAS SOUS 417500 HAS SOUPS 417500 WITH SCORE 417931.61
AT ITER 3369 NEW BEST:: SOT 987910 SOS 430642 HAS SOPS 430642 HAS SOUS 416532 HAS SOUPS 416532 WITH SCORE 416962.642
AT ITER 3372 NEW BEST:: SOT 987774 SOS 430506 HAS SOPS 430506 HAS SOUS 416396 HAS SOUPS 416396 WITH SCORE 416826.506
AT ITER 3375 NEW BEST:: SOT 987690 SOS 430422 HAS SOPS 430422 HAS SOUS 416312 HAS SOUPS 416312 WITH SCORE 416742.422
AT ITER 3386 NEW BEST:: SOT 987690 SOS 430342 HAS SOPS 430342 HAS SOUS 416232 HAS SOUPS 416232 WITH SCORE 416662.342
AT ITER 3390 NEW BEST:: SOT 987242 SOS 429192 HAS SOPS 429192 HAS SOUS 415082 HAS SOUPS 415082 WITH SCORE 415511.192
AT ITER 3393 NEW BEST:: SOT 987254 SOS 429190 HAS SOPS 429190 HAS SOUS 415080 HAS SOUPS 415080 WITH SCORE 415509.19
AT ITER 3395 NEW BEST:: SOT 987150 SOS 429086 HAS SOPS 429086 HAS SOUS 414976 HAS SOUPS 414976 WITH SCORE 415405.086
AT ITER 3396 NEW BEST:: SOT 986792 SOS 428430 HAS SOPS 428430 HAS SOUS 414320 HAS SOUPS 414320 WITH SCORE 414748.43
AT ITER 3400 NEW BEST:: SOT 986648 SOS 428286 HAS SOPS 428286 HAS SOUS 414176 HAS SOUPS 414176 WITH SCORE 414604.286
AT ITER 3401 NEW BEST:: SOT 986576 SOS 428214 HAS SOPS 428214 HAS SOUS 414104 HAS SOUPS 414104 WITH SCORE 414532.214
AT ITER 3403 NEW BEST:: SOT 986480 SOS 428066 HAS SOPS 428066 HAS SOUS 413956 HAS SOUPS 413956 WITH SCORE 414384.066
AT ITER 3409 NEW BEST:: SOT 986460 SOS 428050 HAS SOPS 428050 HAS SOUS 413940 HAS SOUPS 413940 WITH SCORE 414368.05
AT ITER 3416 NEW BEST:: SOT 986460 SOS 427720 HAS SOPS 427720 HAS SOUS 413610 HAS SOUPS 413610 WITH SCORE 414037.72
AT ITER 3419 NEW BEST:: SOT 986208 SOS 427468 HAS SOPS 427468 HAS SOUS 413358 HAS SOUPS 413358 WITH SCORE 413785.468
AT ITER 3425 NEW BEST:: SOT 986120 SOS 427380 HAS SOPS 427380 HAS SOUS 413270 HAS SOUPS 413270 WITH SCORE 413697.38
AT ITER 3431 NEW BEST:: SOT 986120 SOS 427238 HAS SOPS 427238 HAS SOUS 413128 HAS SOUPS 413128 WITH SCORE 413555.238
AT ITER 3441 NEW BEST:: SOT 986116 SOS 427218 HAS SOPS 427218 HAS SOUS 413108 HAS SOUPS 413108 WITH SCORE 413535.218
AT ITER 3453 NEW BEST:: SOT 986052 SOS 427154 HAS SOPS 427154 HAS SOUS 413044 HAS SOUPS 413044 WITH SCORE 413471.154
AT ITER 3454 NEW BEST:: SOT 985984 SOS 427086 HAS SOPS 427086 HAS SOUS 412976 HAS SOUPS 412976 WITH SCORE 413403.086
AT ITER 3464 NEW BEST:: SOT 985924 SOS 426784 HAS SOPS 426784 HAS SOUS 412674 HAS SOUPS 412674 WITH SCORE 413100.784
AT ITER 3466 NEW BEST:: SOT 985722 SOS 426380 HAS SOPS 426380 HAS SOUS 412270 HAS SOUPS 412270 WITH SCORE 412696.38
AT ITER 3468 NEW BEST:: SOT 985220 SOS 425850 HAS SOPS 425850 HAS SOUS 411740 HAS SOUPS 411740 WITH SCORE 412165.85
AT ITER 3476 NEW BEST:: SOT 985138 SOS 425768 HAS SOPS 425768 HAS SOUS 411658 HAS SOUPS 411658 WITH SCORE 412083.768
AT ITER 3488 NEW BEST:: SOT 984338 SOS 424318 HAS SOPS 424318 HAS SOUS 410208 HAS SOUPS 410208 WITH SCORE 410632.318
AT ITER 3494 NEW BEST:: SOT 983990 SOS 423684 HAS SOPS 423684 HAS SOUS 409574 HAS SOUPS 409574 WITH SCORE 409997.684
AT ITER 3498 NEW BEST:: SOT 983540 SOS 422496 HAS SOPS 422496 HAS SOUS 408386 HAS SOUPS 408386 WITH SCORE 408808.496
AT ITER 3501 NEW BEST:: SOT 983538 SOS 422494 HAS SOPS 422494 HAS SOUS 408384 HAS SOUPS 408384 WITH SCORE 408806.494
AT ITER 3504 NEW BEST:: SOT 982890 SOS 421516 HAS SOPS 421516 HAS SOUS 407406 HAS SOUPS 407406 WITH SCORE 407827.516
AT ITER 3505 NEW BEST:: SOT 982626 SOS 421252 HAS SOPS 421252 HAS SOUS 407142 HAS SOUPS 407142 WITH SCORE 407563.252
AT ITER 3508 NEW BEST:: SOT 982386 SOS 420724 HAS SOPS 420724 HAS SOUS 406614 HAS SOUPS 406614 WITH SCORE 407034.724
AT ITER 3515 NEW BEST:: SOT 982290 SOS 420628 HAS SOPS 420628 HAS SOUS 406518 HAS SOUPS 406518 WITH SCORE 406938.628
AT ITER 3516 NEW BEST:: SOT 981518 SOS 419856 HAS SOPS 419856 HAS SOUS 405746 HAS SOUPS 405746 WITH SCORE 406165.856
AT ITER 3518 NEW BEST:: SOT 981518 SOS 419280 HAS SOPS 419280 HAS SOUS 405170 HAS SOUPS 405170 WITH SCORE 405589.28
AT ITER 3521 NEW BEST:: SOT 980872 SOS 417988 HAS SOPS 417988 HAS SOUS 403878 HAS SOUPS 403878 WITH SCORE 404295.988
AT ITER 3528 NEW BEST:: SOT 980632 SOS 417508 HAS SOPS 417508 HAS SOUS 403398 HAS SOUPS 403398 WITH SCORE 403815.508
AT ITER 3529 NEW BEST:: SOT 980092 SOS 416892 HAS SOPS 416892 HAS SOUS 402782 HAS SOUPS 402782 WITH SCORE 403198.892
AT ITER 3532 NEW BEST:: SOT 979898 SOS 416738 HAS SOPS 416738 HAS SOUS 402628 HAS SOUPS 402628 WITH SCORE 403044.738
AT ITER 3536 NEW BEST:: SOT 979898 SOS 416654 HAS SOPS 416654 HAS SOUS 402544 HAS SOUPS 402544 WITH SCORE 402960.654
AT ITER 3537 NEW BEST:: SOT 979352 SOS 415510 HAS SOPS 415510 HAS SOUS 401400 HAS SOUPS 401400 WITH SCORE 401815.51
AT ITER 3541 NEW BEST:: SOT 979534 SOS 415474 HAS SOPS 415474 HAS SOUS 401364 HAS SOUPS 401364 WITH SCORE 401779.474
AT ITER 3548 NEW BEST:: SOT 979230 SOS 415164 HAS SOPS 415164 HAS SOUS 401054 HAS SOUPS 401054 WITH SCORE 401469.164
AT ITER 3552 NEW BEST:: SOT 978874 SOS 415046 HAS SOPS 415046 HAS SOUS 400936 HAS SOUPS 400936 WITH SCORE 401351.046
AT ITER 3575 NEW BEST:: SOT 978566 SOS 414562 HAS SOPS 414562 HAS SOUS 400452 HAS SOUPS 400452 WITH SCORE 400866.562
AT ITER 3576 NEW BEST:: SOT 978498 SOS 414256 HAS SOPS 414256 HAS SOUS 400146 HAS SOUPS 400146 WITH SCORE 400560.256
AT ITER 3579 NEW BEST:: SOT 978438 SOS 414020 HAS SOPS 414020 HAS SOUS 399910 HAS SOUPS 399910 WITH SCORE 400324.02
AT ITER 3581 NEW BEST:: SOT 978438 SOS 413656 HAS SOPS 413656 HAS SOUS 399546 HAS SOUPS 399546 WITH SCORE 399959.656
AT ITER 3585 NEW BEST:: SOT 977996 SOS 413888 HAS SOPS 413888 HAS SOUS 398326 HAS SOUPS 398326 WITH SCORE 398739.888
AT ITER 3589 NEW BEST:: SOT 977644 SOS 413184 HAS SOPS 413184 HAS SOUS 397622 HAS SOUPS 397622 WITH SCORE 398035.184
AT ITER 3594 NEW BEST:: SOT 977644 SOS 413164 HAS SOPS 413164 HAS SOUS 397602 HAS SOUPS 397602 WITH SCORE 398015.164
AT ITER 3596 NEW BEST:: SOT 977504 SOS 413024 HAS SOPS 413024 HAS SOUS 397462 HAS SOUPS 397462 WITH SCORE 397875.024
AT ITER 3600 NEW BEST:: SOT 977504 SOS 412624 HAS SOPS 412624 HAS SOUS 397062 HAS SOUPS 397062 WITH SCORE 397474.624
AT ITER 3609 NEW BEST:: SOT 976578 SOS 411698 HAS SOPS 411698 HAS SOUS 396136 HAS SOUPS 396136 WITH SCORE 396547.698
AT ITER 3617 NEW BEST:: SOT 976578 SOS 411598 HAS SOPS 411598 HAS SOUS 396036 HAS SOUPS 396036 WITH SCORE 396447.598
AT ITER 3628 NEW BEST:: SOT 976566 SOS 411586 HAS SOPS 411586 HAS SOUS 396024 HAS SOUPS 396024 WITH SCORE 396435.586
AT ITER 3630 NEW BEST:: SOT 976274 SOS 410682 HAS SOPS 410682 HAS SOUS 395120 HAS SOUPS 395120 WITH SCORE 395530.682
AT ITER 3645 NEW BEST:: SOT 976238 SOS 410646 HAS SOPS 410646 HAS SOUS 395084 HAS SOUPS 395084 WITH SCORE 395494.646
AT ITER 3652 NEW BEST:: SOT 976098 SOS 410506 HAS SOPS 410506 HAS SOUS 394944 HAS SOUPS 394944 WITH SCORE 395354.506
AT ITER 3665 NEW BEST:: SOT 975650 SOS 409282 HAS SOPS 409282 HAS SOUS 393720 HAS SOUPS 393720 WITH SCORE 394129.282
AT ITER 3672 NEW BEST:: SOT 975272 SOS 408904 HAS SOPS 408904 HAS SOUS 393342 HAS SOUPS 393342 WITH SCORE 393750.904
AT ITER 3685 NEW BEST:: SOT 974384 SOS 408434 HAS SOPS 408434 HAS SOUS 392872 HAS SOUPS 392872 WITH SCORE 393280.434
AT ITER 3688 NEW BEST:: SOT 974322 SOS 408372 HAS SOPS 408372 HAS SOUS 392810 HAS SOUPS 392810 WITH SCORE 393218.372
AT ITER 3689 NEW BEST:: SOT 974124 SOS 407998 HAS SOPS 407998 HAS SOUS 392436 HAS SOUPS 392436 WITH SCORE 392843.998
AT ITER 3693 NEW BEST:: SOT 973806 SOS 407362 HAS SOPS 407362 HAS SOUS 391800 HAS SOUPS 391800 WITH SCORE 392207.362
AT ITER 3707 NEW BEST:: SOT 973740 SOS 406990 HAS SOPS 406990 HAS SOUS 391428 HAS SOUPS 391428 WITH SCORE 391834.99
AT ITER 3708 NEW BEST:: SOT 973602 SOS 406852 HAS SOPS 406852 HAS SOUS 391290 HAS SOUPS 391290 WITH SCORE 391696.852
AT ITER 3709 NEW BEST:: SOT 973526 SOS 406776 HAS SOPS 406776 HAS SOUS 391214 HAS SOUPS 391214 WITH SCORE 391620.776
AT ITER 3715 NEW BEST:: SOT 973558 SOS 406646 HAS SOPS 406646 HAS SOUS 391084 HAS SOUPS 391084 WITH SCORE 391490.646
AT ITER 3716 NEW BEST:: SOT 973080 SOS 406002 HAS SOPS 406002 HAS SOUS 390440 HAS SOUPS 390440 WITH SCORE 390846.002
AT ITER 3724 NEW BEST:: SOT 972690 SOS 405624 HAS SOPS 405624 HAS SOUS 390062 HAS SOUPS 390062 WITH SCORE 390467.624
AT ITER 3726 NEW BEST:: SOT 972602 SOS 405536 HAS SOPS 405536 HAS SOUS 389974 HAS SOUPS 389974 WITH SCORE 390379.536
AT ITER 3728 NEW BEST:: SOT 972382 SOS 405278 HAS SOPS 405278 HAS SOUS 389716 HAS SOUPS 389716 WITH SCORE 390121.278
AT ITER 3732 NEW BEST:: SOT 972382 SOS 405214 HAS SOPS 405214 HAS SOUS 389652 HAS SOUPS 389652 WITH SCORE 390057.214
AT ITER 3754 NEW BEST:: SOT 971948 SOS 404780 HAS SOPS 404780 HAS SOUS 389218 HAS SOUPS 389218 WITH SCORE 389622.78
AT ITER 3760 NEW BEST:: SOT 971948 SOS 403894 HAS SOPS 403894 HAS SOUS 388332 HAS SOUPS 388332 WITH SCORE 388735.894
AT ITER 3765 NEW BEST:: SOT 971530 SOS 403012 HAS SOPS 403012 HAS SOUS 387450 HAS SOUPS 387450 WITH SCORE 387853.012
AT ITER 3771 NEW BEST:: SOT 971490 SOS 402972 HAS SOPS 402972 HAS SOUS 387410 HAS SOUPS 387410 WITH SCORE 387812.972
AT ITER 3785 NEW BEST:: SOT 971236 SOS 402718 HAS SOPS 402718 HAS SOUS 387156 HAS SOUPS 387156 WITH SCORE 387558.718
AT ITER 3789 NEW BEST:: SOT 971236 SOS 402406 HAS SOPS 402406 HAS SOUS 386844 HAS SOUPS 386844 WITH SCORE 387246.406
AT ITER 3802 NEW BEST:: SOT 971230 SOS 402394 HAS SOPS 402394 HAS SOUS 386832 HAS SOUPS 386832 WITH SCORE 387234.394
AT ITER 3804 NEW BEST:: SOT 971230 SOS 402140 HAS SOPS 402140 HAS SOUS 386578 HAS SOUPS 386578 WITH SCORE 386980.14
AT ITER 3806 NEW BEST:: SOT 971230 SOS 402068 HAS SOPS 402068 HAS SOUS 386506 HAS SOUPS 386506 WITH SCORE 386908.068
AT ITER 3810 NEW BEST:: SOT 970884 SOS 401516 HAS SOPS 401516 HAS SOUS 385954 HAS SOUPS 385954 WITH SCORE 386355.516
AT ITER 3811 NEW BEST:: SOT 970884 SOS 401510 HAS SOPS 401510 HAS SOUS 385948 HAS SOUPS 385948 WITH SCORE 386349.51
AT ITER 3822 NEW BEST:: SOT 970884 SOS 401032 HAS SOPS 401032 HAS SOUS 385470 HAS SOUPS 385470 WITH SCORE 385871.032
AT ITER 3835 NEW BEST:: SOT 970884 SOS 400918 HAS SOPS 400918 HAS SOUS 385356 HAS SOUPS 385356 WITH SCORE 385756.918
AT ITER 3844 NEW BEST:: SOT 970880 SOS 400914 HAS SOPS 400914 HAS SOUS 385352 HAS SOUPS 385352 WITH SCORE 385752.914
AT ITER 3849 NEW BEST:: SOT 970662 SOS 400696 HAS SOPS 400696 HAS SOUS 385134 HAS SOUPS 385134 WITH SCORE 385534.696
AT ITER 3857 NEW BEST:: SOT 970566 SOS 400056 HAS SOPS 400056 HAS SOUS 384494 HAS SOUPS 384494 WITH SCORE 384894.056
AT ITER 3879 NEW BEST:: SOT 970528 SOS 400018 HAS SOPS 400018 HAS SOUS 384456 HAS SOUPS 384456 WITH SCORE 384856.018
AT ITER 3882 NEW BEST:: SOT 970454 SOS 399944 HAS SOPS 399944 HAS SOUS 384382 HAS SOUPS 384382 WITH SCORE 384781.944
AT ITER 3895 NEW BEST:: SOT 970030 SOS 399628 HAS SOPS 399628 HAS SOUS 384066 HAS SOUPS 384066 WITH SCORE 384465.628
AT ITER 3897 NEW BEST:: SOT 970030 SOS 399336 HAS SOPS 399336 HAS SOUS 383774 HAS SOUPS 383774 WITH SCORE 384173.336
AT ITER 3909 NEW BEST:: SOT 970030 SOS 399334 HAS SOPS 399334 HAS SOUS 383772 HAS SOUPS 383772 WITH SCORE 384171.334
AT ITER 3910 NEW BEST:: SOT 969996 SOS 399266 HAS SOPS 399266 HAS SOUS 383704 HAS SOUPS 383704 WITH SCORE 384103.266
AT ITER 3911 NEW BEST:: SOT 969288 SOS 398558 HAS SOPS 398558 HAS SOUS 382996 HAS SOUPS 382996 WITH SCORE 383394.558
AT ITER 3912 NEW BEST:: SOT 969240 SOS 398510 HAS SOPS 398510 HAS SOUS 382948 HAS SOUPS 382948 WITH SCORE 383346.51
AT ITER 3913 NEW BEST:: SOT 969218 SOS 398644 HAS SOPS 398644 HAS SOUS 382432 HAS SOUPS 382432 WITH SCORE 382830.644
AT ITER 3915 NEW BEST:: SOT 969332 SOS 398524 HAS SOPS 398524 HAS SOUS 382312 HAS SOUPS 382312 WITH SCORE 382710.524
AT ITER 3923 NEW BEST:: SOT 968972 SOS 398330 HAS SOPS 398330 HAS SOUS 382118 HAS SOUPS 382118 WITH SCORE 382516.33
AT ITER 3927 NEW BEST:: SOT 968972 SOS 398172 HAS SOPS 398172 HAS SOUS 381960 HAS SOUPS 381960 WITH SCORE 382358.172
AT ITER 3936 NEW BEST:: SOT 968476 SOS 396856 HAS SOPS 396856 HAS SOUS 380644 HAS SOUPS 380644 WITH SCORE 381040.856
AT ITER 3945 NEW BEST:: SOT 968458 SOS 396822 HAS SOPS 396822 HAS SOUS 380610 HAS SOUPS 380610 WITH SCORE 381006.822
AT ITER 3950 NEW BEST:: SOT 968236 SOS 396600 HAS SOPS 396600 HAS SOUS 380388 HAS SOUPS 380388 WITH SCORE 380784.6
AT ITER 3953 NEW BEST:: SOT 968094 SOS 396316 HAS SOPS 396316 HAS SOUS 380104 HAS SOUPS 380104 WITH SCORE 380500.316
AT ITER 3971 NEW BEST:: SOT 967982 SOS 395948 HAS SOPS 395948 HAS SOUS 379736 HAS SOUPS 379736 WITH SCORE 380131.948
AT ITER 3981 NEW BEST:: SOT 967434 SOS 395400 HAS SOPS 395400 HAS SOUS 379188 HAS SOUPS 379188 WITH SCORE 379583.4
AT ITER 3983 NEW BEST:: SOT 967298 SOS 395264 HAS SOPS 395264 HAS SOUS 379052 HAS SOUPS 379052 WITH SCORE 379447.264
AT ITER 3989 NEW BEST:: SOT 967264 SOS 395148 HAS SOPS 395148 HAS SOUS 378936 HAS SOUPS 378936 WITH SCORE 379331.148
AT ITER 3990 NEW BEST:: SOT 966544 SOS 393724 HAS SOPS 393724 HAS SOUS 377512 HAS SOUPS 377512 WITH SCORE 377905.724
AT ITER 3996 NEW BEST:: SOT 966544 SOS 393608 HAS SOPS 393608 HAS SOUS 377396 HAS SOUPS 377396 WITH SCORE 377789.608
AT ITER 3999 NEW BEST:: SOT 965980 SOS 392442 HAS SOPS 392442 HAS SOUS 376230 HAS SOUPS 376230 WITH SCORE 376622.442
AT ITER 4001 NEW BEST:: SOT 965730 SOS 392192 HAS SOPS 392192 HAS SOUS 375980 HAS SOUPS 375980 WITH SCORE 376372.192
AT ITER 4003 NEW BEST:: SOT 965730 SOS 392080 HAS SOPS 392080 HAS SOUS 375868 HAS SOUPS 375868 WITH SCORE 376260.08
AT ITER 4004 NEW BEST:: SOT 965792 SOS 391888 HAS SOPS 391888 HAS SOUS 375676 HAS SOUPS 375676 WITH SCORE 376067.888
AT ITER 4005 NEW BEST:: SOT 965750 SOS 391838 HAS SOPS 391838 HAS SOUS 375626 HAS SOUPS 375626 WITH SCORE 376017.838
AT ITER 4007 NEW BEST:: SOT 965750 SOS 390796 HAS SOPS 390796 HAS SOUS 374584 HAS SOUPS 374584 WITH SCORE 374974.796
AT ITER 4010 NEW BEST:: SOT 965650 SOS 390696 HAS SOPS 390696 HAS SOUS 374484 HAS SOUPS 374484 WITH SCORE 374874.696
AT ITER 4012 NEW BEST:: SOT 965214 SOS 390260 HAS SOPS 390260 HAS SOUS 374048 HAS SOUPS 374048 WITH SCORE 374438.26
AT ITER 4021 NEW BEST:: SOT 965214 SOS 390038 HAS SOPS 390038 HAS SOUS 373826 HAS SOUPS 373826 WITH SCORE 374216.038
AT ITER 4036 NEW BEST:: SOT 964924 SOS 389748 HAS SOPS 389748 HAS SOUS 373536 HAS SOUPS 373536 WITH SCORE 373925.748
AT ITER 4047 NEW BEST:: SOT 964910 SOS 389720 HAS SOPS 389720 HAS SOUS 373508 HAS SOUPS 373508 WITH SCORE 373897.72
AT ITER 4048 NEW BEST:: SOT 964910 SOS 389650 HAS SOPS 389650 HAS SOUS 373438 HAS SOUPS 373438 WITH SCORE 373827.65
AT ITER 4050 NEW BEST:: SOT 964910 SOS 389320 HAS SOPS 389320 HAS SOUS 373108 HAS SOUPS 373108 WITH SCORE 373497.32
AT ITER 4060 NEW BEST:: SOT 964772 SOS 388852 HAS SOPS 388852 HAS SOUS 372640 HAS SOUPS 372640 WITH SCORE 373028.852
AT ITER 4066 NEW BEST:: SOT 964702 SOS 388374 HAS SOPS 388374 HAS SOUS 372162 HAS SOUPS 372162 WITH SCORE 372550.374
AT ITER 4074 NEW BEST:: SOT 964574 SOS 388152 HAS SOPS 388152 HAS SOUS 371940 HAS SOUPS 371940 WITH SCORE 372328.152
AT ITER 4080 NEW BEST:: SOT 964296 SOS 388072 HAS SOPS 388072 HAS SOUS 371860 HAS SOUPS 371860 WITH SCORE 372248.072
AT ITER 4082 NEW BEST:: SOT 964296 SOS 388032 HAS SOPS 388032 HAS SOUS 371820 HAS SOUPS 371820 WITH SCORE 372208.032
AT ITER 4085 NEW BEST:: SOT 964138 SOS 387884 HAS SOPS 387884 HAS SOUS 371672 HAS SOUPS 371672 WITH SCORE 372059.884
AT ITER 4086 NEW BEST:: SOT 963178 SOS 386924 HAS SOPS 386924 HAS SOUS 370712 HAS SOUPS 370712 WITH SCORE 371098.924
AT ITER 4088 NEW BEST:: SOT 963174 SOS 386920 HAS SOPS 386920 HAS SOUS 370708 HAS SOUPS 370708 WITH SCORE 371094.92
AT ITER 4092 NEW BEST:: SOT 962764 SOS 386212 HAS SOPS 386212 HAS SOUS 370000 HAS SOUPS 370000 WITH SCORE 370386.212
AT ITER 4096 NEW BEST:: SOT 962764 SOS 386056 HAS SOPS 386056 HAS SOUS 369844 HAS SOUPS 369844 WITH SCORE 370230.056
AT ITER 4114 NEW BEST:: SOT 963020 SOS 386040 HAS SOPS 386040 HAS SOUS 369828 HAS SOUPS 369828 WITH SCORE 370214.04
AT ITER 4120 NEW BEST:: SOT 962678 SOS 385698 HAS SOPS 385698 HAS SOUS 369486 HAS SOUPS 369486 WITH SCORE 369871.698
AT ITER 4121 NEW BEST:: SOT 962678 SOS 385520 HAS SOPS 385520 HAS SOUS 369308 HAS SOUPS 369308 WITH SCORE 369693.52
AT ITER 4122 NEW BEST:: SOT 962486 SOS 385130 HAS SOPS 385130 HAS SOUS 368918 HAS SOUPS 368918 WITH SCORE 369303.13
AT ITER 4125 NEW BEST:: SOT 962038 SOS 384154 HAS SOPS 384154 HAS SOUS 367942 HAS SOUPS 367942 WITH SCORE 368326.154
AT ITER 4140 NEW BEST:: SOT 961920 SOS 384000 HAS SOPS 384000 HAS SOUS 367788 HAS SOUPS 367788 WITH SCORE 368172.0
AT ITER 4144 NEW BEST:: SOT 961242 SOS 382784 HAS SOPS 382784 HAS SOUS 366572 HAS SOUPS 366572 WITH SCORE 366954.784
AT ITER 4148 NEW BEST:: SOT 960680 SOS 382780 HAS SOPS 382780 HAS SOUS 366568 HAS SOUPS 366568 WITH SCORE 366950.78
AT ITER 4154 NEW BEST:: SOT 959788 SOS 381254 HAS SOPS 381254 HAS SOUS 365042 HAS SOUPS 365042 WITH SCORE 365423.254
AT ITER 4155 NEW BEST:: SOT 959788 SOS 381120 HAS SOPS 381120 HAS SOUS 364908 HAS SOUPS 364908 WITH SCORE 365289.12
AT ITER 4156 NEW BEST:: SOT 959726 SOS 381058 HAS SOPS 381058 HAS SOUS 364846 HAS SOUPS 364846 WITH SCORE 365227.058
AT ITER 4172 NEW BEST:: SOT 959562 SOS 380730 HAS SOPS 380730 HAS SOUS 364518 HAS SOUPS 364518 WITH SCORE 364898.73
AT ITER 4177 NEW BEST:: SOT 959552 SOS 380378 HAS SOPS 380378 HAS SOUS 364166 HAS SOUPS 364166 WITH SCORE 364546.378
AT ITER 4181 NEW BEST:: SOT 959552 SOS 380356 HAS SOPS 380356 HAS SOUS 364144 HAS SOUPS 364144 WITH SCORE 364524.356
AT ITER 4184 NEW BEST:: SOT 959522 SOS 380296 HAS SOPS 380296 HAS SOUS 364084 HAS SOUPS 364084 WITH SCORE 364464.296
AT ITER 4188 NEW BEST:: SOT 959522 SOS 380286 HAS SOPS 380286 HAS SOUS 364074 HAS SOUPS 364074 WITH SCORE 364454.286
AT ITER 4197 NEW BEST:: SOT 959268 SOS 380032 HAS SOPS 380032 HAS SOUS 363820 HAS SOUPS 363820 WITH SCORE 364200.032
AT ITER 4199 NEW BEST:: SOT 959268 SOS 379790 HAS SOPS 379790 HAS SOUS 363578 HAS SOUPS 363578 WITH SCORE 363957.79
AT ITER 4218 NEW BEST:: SOT 959268 SOS 379586 HAS SOPS 379586 HAS SOUS 363374 HAS SOUPS 363374 WITH SCORE 363753.586
AT ITER 4225 NEW BEST:: SOT 959212 SOS 379458 HAS SOPS 379458 HAS SOUS 363246 HAS SOUPS 363246 WITH SCORE 363625.458
AT ITER 4249 NEW BEST:: SOT 958958 SOS 379204 HAS SOPS 379204 HAS SOUS 362992 HAS SOUPS 362992 WITH SCORE 363371.204
AT ITER 4251 NEW BEST:: SOT 958952 SOS 379198 HAS SOPS 379198 HAS SOUS 362986 HAS SOUPS 362986 WITH SCORE 363365.198
AT ITER 4253 NEW BEST:: SOT 958946 SOS 379192 HAS SOPS 379192 HAS SOUS 362980 HAS SOUPS 362980 WITH SCORE 363359.192
AT ITER 4254 NEW BEST:: SOT 958382 SOS 378280 HAS SOPS 378280 HAS SOUS 362068 HAS SOUPS 362068 WITH SCORE 362446.28
AT ITER 4258 NEW BEST:: SOT 958314 SOS 378212 HAS SOPS 378212 HAS SOUS 362000 HAS SOUPS 362000 WITH SCORE 362378.212
AT ITER 4264 NEW BEST:: SOT 958314 SOS 378206 HAS SOPS 378206 HAS SOUS 361994 HAS SOUPS 361994 WITH SCORE 362372.206
AT ITER 4281 NEW BEST:: SOT 958250 SOS 378142 HAS SOPS 378142 HAS SOUS 361930 HAS SOUPS 361930 WITH SCORE 362308.142
AT ITER 4289 NEW BEST:: SOT 958194 SOS 378086 HAS SOPS 378086 HAS SOUS 361874 HAS SOUPS 361874 WITH SCORE 362252.086
AT ITER 4305 NEW BEST:: SOT 958060 SOS 377766 HAS SOPS 377766 HAS SOUS 361554 HAS SOUPS 361554 WITH SCORE 361931.766
AT ITER 4308 NEW BEST:: SOT 958060 SOS 377680 HAS SOPS 377680 HAS SOUS 361468 HAS SOUPS 361468 WITH SCORE 361845.68
AT ITER 4309 NEW BEST:: SOT 958060 SOS 377636 HAS SOPS 377636 HAS SOUS 361424 HAS SOUPS 361424 WITH SCORE 361801.636
AT ITER 4311 NEW BEST:: SOT 958060 SOS 377430 HAS SOPS 377430 HAS SOUS 361218 HAS SOUPS 361218 WITH SCORE 361595.43
AT ITER 4312 NEW BEST:: SOT 958060 SOS 377368 HAS SOPS 377368 HAS SOUS 361156 HAS SOUPS 361156 WITH SCORE 361533.368
AT ITER 4313 NEW BEST:: SOT 957676 SOS 376600 HAS SOPS 376600 HAS SOUS 360388 HAS SOUPS 360388 WITH SCORE 360764.6
AT ITER 4318 NEW BEST:: SOT 957594 SOS 376344 HAS SOPS 376344 HAS SOUS 360132 HAS SOUPS 360132 WITH SCORE 360508.344
AT ITER 4335 NEW BEST:: SOT 957004 SOS 374952 HAS SOPS 374952 HAS SOUS 358740 HAS SOUPS 358740 WITH SCORE 359114.952
AT ITER 4340 NEW BEST:: SOT 956666 SOS 374596 HAS SOPS 374596 HAS SOUS 358384 HAS SOUPS 358384 WITH SCORE 358758.596
AT ITER 4341 NEW BEST:: SOT 956368 SOS 373948 HAS SOPS 373948 HAS SOUS 357736 HAS SOUPS 357736 WITH SCORE 358109.948
AT ITER 4343 NEW BEST:: SOT 956368 SOS 373940 HAS SOPS 373940 HAS SOUS 357728 HAS SOUPS 357728 WITH SCORE 358101.94
AT ITER 4345 NEW BEST:: SOT 956360 SOS 373932 HAS SOPS 373932 HAS SOUS 357720 HAS SOUPS 357720 WITH SCORE 358093.932
AT ITER 4352 NEW BEST:: SOT 956546 SOS 373794 HAS SOPS 373794 HAS SOUS 357582 HAS SOUPS 357582 WITH SCORE 357955.794
AT ITER 4357 NEW BEST:: SOT 956434 SOS 373488 HAS SOPS 373488 HAS SOUS 357276 HAS SOUPS 357276 WITH SCORE 357649.488
AT ITER 4368 NEW BEST:: SOT 956434 SOS 373332 HAS SOPS 373332 HAS SOUS 357120 HAS SOUPS 357120 WITH SCORE 357493.332
AT ITER 4382 NEW BEST:: SOT 955494 SOS 371452 HAS SOPS 371452 HAS SOUS 355240 HAS SOUPS 355240 WITH SCORE 355611.452
AT ITER 4395 NEW BEST:: SOT 955474 SOS 371300 HAS SOPS 371300 HAS SOUS 355088 HAS SOUPS 355088 WITH SCORE 355459.3
AT ITER 4405 NEW BEST:: SOT 955448 SOS 371274 HAS SOPS 371274 HAS SOUS 355062 HAS SOUPS 355062 WITH SCORE 355433.274
AT ITER 4414 NEW BEST:: SOT 955448 SOS 371920 HAS SOPS 371920 HAS SOUS 354310 HAS SOUPS 354310 WITH SCORE 354681.92
AT ITER 4421 NEW BEST:: SOT 955448 SOS 371880 HAS SOPS 371880 HAS SOUS 354270 HAS SOUPS 354270 WITH SCORE 354641.88
AT ITER 4425 NEW BEST:: SOT 955402 SOS 371788 HAS SOPS 371788 HAS SOUS 354178 HAS SOUPS 354178 WITH SCORE 354549.788
AT ITER 4431 NEW BEST:: SOT 955402 SOS 371526 HAS SOPS 371526 HAS SOUS 353916 HAS SOUPS 353916 WITH SCORE 354287.526
AT ITER 4432 NEW BEST:: SOT 955036 SOS 370376 HAS SOPS 370376 HAS SOUS 352766 HAS SOUPS 352766 WITH SCORE 353136.376
AT ITER 4435 NEW BEST:: SOT 954774 SOS 370294 HAS SOPS 370294 HAS SOUS 352684 HAS SOUPS 352684 WITH SCORE 353054.294
AT ITER 4437 NEW BEST:: SOT 954726 SOS 370246 HAS SOPS 370246 HAS SOUS 352636 HAS SOUPS 352636 WITH SCORE 353006.246
AT ITER 4441 NEW BEST:: SOT 954726 SOS 369964 HAS SOPS 369964 HAS SOUS 352354 HAS SOUPS 352354 WITH SCORE 352723.964
AT ITER 4443 NEW BEST:: SOT 954608 SOS 369846 HAS SOPS 369846 HAS SOUS 352236 HAS SOUPS 352236 WITH SCORE 352605.846
AT ITER 4450 NEW BEST:: SOT 954636 SOS 369494 HAS SOPS 369494 HAS SOUS 351884 HAS SOUPS 351884 WITH SCORE 352253.494
AT ITER 4451 NEW BEST:: SOT 954142 SOS 369000 HAS SOPS 369000 HAS SOUS 351390 HAS SOUPS 351390 WITH SCORE 351759.0
AT ITER 4459 NEW BEST:: SOT 953660 SOS 368518 HAS SOPS 368518 HAS SOUS 350908 HAS SOUPS 350908 WITH SCORE 351276.518
AT ITER 4462 NEW BEST:: SOT 953650 SOS 368508 HAS SOPS 368508 HAS SOUS 350898 HAS SOUPS 350898 WITH SCORE 351266.508
AT ITER 4466 NEW BEST:: SOT 953614 SOS 368472 HAS SOPS 368472 HAS SOUS 350862 HAS SOUPS 350862 WITH SCORE 351230.472
AT ITER 4469 NEW BEST:: SOT 953486 SOS 367326 HAS SOPS 367326 HAS SOUS 349716 HAS SOUPS 349716 WITH SCORE 350083.326
AT ITER 4472 NEW BEST:: SOT 953230 SOS 367088 HAS SOPS 367088 HAS SOUS 349478 HAS SOUPS 349478 WITH SCORE 349845.088
AT ITER 4473 NEW BEST:: SOT 952790 SOS 365980 HAS SOPS 365980 HAS SOUS 348370 HAS SOUPS 348370 WITH SCORE 348735.98
AT ITER 4481 NEW BEST:: SOT 952760 SOS 365538 HAS SOPS 365538 HAS SOUS 347928 HAS SOUPS 347928 WITH SCORE 348293.538
AT ITER 4485 NEW BEST:: SOT 952756 SOS 364792 HAS SOPS 364792 HAS SOUS 347182 HAS SOUPS 347182 WITH SCORE 347546.792
AT ITER 4498 NEW BEST:: SOT 952636 SOS 364370 HAS SOPS 364370 HAS SOUS 346760 HAS SOUPS 346760 WITH SCORE 347124.37
AT ITER 4506 NEW BEST:: SOT 952398 SOS 364132 HAS SOPS 364132 HAS SOUS 346522 HAS SOUPS 346522 WITH SCORE 346886.132
AT ITER 4510 NEW BEST:: SOT 952286 SOS 364078 HAS SOPS 364078 HAS SOUS 346468 HAS SOUPS 346468 WITH SCORE 346832.078
AT ITER 4514 NEW BEST:: SOT 952048 SOS 363932 HAS SOPS 363932 HAS SOUS 346322 HAS SOUPS 346322 WITH SCORE 346685.932
AT ITER 4523 NEW BEST:: SOT 951528 SOS 362944 HAS SOPS 362944 HAS SOUS 345334 HAS SOUPS 345334 WITH SCORE 345696.944
AT ITER 4534 NEW BEST:: SOT 951408 SOS 362770 HAS SOPS 362770 HAS SOUS 345160 HAS SOUPS 345160 WITH SCORE 345522.77
AT ITER 4536 NEW BEST:: SOT 951198 SOS 362406 HAS SOPS 362406 HAS SOUS 344796 HAS SOUPS 344796 WITH SCORE 345158.406
AT ITER 4540 NEW BEST:: SOT 951098 SOS 362248 HAS SOPS 362248 HAS SOUS 344638 HAS SOUPS 344638 WITH SCORE 345000.248
AT ITER 4543 NEW BEST:: SOT 951038 SOS 362188 HAS SOPS 362188 HAS SOUS 344578 HAS SOUPS 344578 WITH SCORE 344940.188
AT ITER 4567 NEW BEST:: SOT 950720 SOS 362032 HAS SOPS 362032 HAS SOUS 344422 HAS SOUPS 344422 WITH SCORE 344784.032
AT ITER 4582 NEW BEST:: SOT 950588 SOS 361900 HAS SOPS 361900 HAS SOUS 344290 HAS SOUPS 344290 WITH SCORE 344651.9
AT ITER 4584 NEW BEST:: SOT 950368 SOS 361680 HAS SOPS 361680 HAS SOUS 344070 HAS SOUPS 344070 WITH SCORE 344431.68
AT ITER 4587 NEW BEST:: SOT 950368 SOS 361558 HAS SOPS 361558 HAS SOUS 343948 HAS SOUPS 343948 WITH SCORE 344309.558
AT ITER 4592 NEW BEST:: SOT 950358 SOS 361348 HAS SOPS 361348 HAS SOUS 343738 HAS SOUPS 343738 WITH SCORE 344099.348
AT ITER 4595 NEW BEST:: SOT 950200 SOS 360624 HAS SOPS 360624 HAS SOUS 343014 HAS SOUPS 343014 WITH SCORE 343374.624
AT ITER 4600 NEW BEST:: SOT 950144 SOS 360512 HAS SOPS 360512 HAS SOUS 342902 HAS SOUPS 342902 WITH SCORE 343262.512
AT ITER 4604 NEW BEST:: SOT 950114 SOS 360316 HAS SOPS 360316 HAS SOUS 342706 HAS SOUPS 342706 WITH SCORE 343066.316
AT ITER 4607 NEW BEST:: SOT 950114 SOS 360296 HAS SOPS 360296 HAS SOUS 342686 HAS SOUPS 342686 WITH SCORE 343046.296
AT ITER 4612 NEW BEST:: SOT 950114 SOS 360172 HAS SOPS 360172 HAS SOUS 342562 HAS SOUPS 342562 WITH SCORE 342922.172
AT ITER 4616 NEW BEST:: SOT 950114 SOS 359978 HAS SOPS 359978 HAS SOUS 342368 HAS SOUPS 342368 WITH SCORE 342727.978
AT ITER 4618 NEW BEST:: SOT 950102 SOS 359966 HAS SOPS 359966 HAS SOUS 342356 HAS SOUPS 342356 WITH SCORE 342715.966
AT ITER 4619 NEW BEST:: SOT 949158 SOS 359022 HAS SOPS 359022 HAS SOUS 341412 HAS SOUPS 341412 WITH SCORE 341771.022
AT ITER 4623 NEW BEST:: SOT 949158 SOS 358864 HAS SOPS 358864 HAS SOUS 341254 HAS SOUPS 341254 WITH SCORE 341612.864
AT ITER 4632 NEW BEST:: SOT 949024 SOS 358508 HAS SOPS 358508 HAS SOUS 340898 HAS SOUPS 340898 WITH SCORE 341256.508
AT ITER 4642 NEW BEST:: SOT 948964 SOS 358448 HAS SOPS 358448 HAS SOUS 340838 HAS SOUPS 340838 WITH SCORE 341196.448
AT ITER 4651 NEW BEST:: SOT 948768 SOS 358252 HAS SOPS 358252 HAS SOUS 340642 HAS SOUPS 340642 WITH SCORE 341000.252
AT ITER 4652 NEW BEST:: SOT 948768 SOS 357758 HAS SOPS 357758 HAS SOUS 340148 HAS SOUPS 340148 WITH SCORE 340505.758
AT ITER 4670 NEW BEST:: SOT 948676 SOS 357664 HAS SOPS 357664 HAS SOUS 340054 HAS SOUPS 340054 WITH SCORE 340411.664
AT ITER 4673 NEW BEST:: SOT 948614 SOS 357574 HAS SOPS 357574 HAS SOUS 339964 HAS SOUPS 339964 WITH SCORE 340321.574
AT ITER 4681 NEW BEST:: SOT 948562 SOS 357470 HAS SOPS 357470 HAS SOUS 339860 HAS SOUPS 339860 WITH SCORE 340217.47
AT ITER 4682 NEW BEST:: SOT 947832 SOS 356740 HAS SOPS 356740 HAS SOUS 339130 HAS SOUPS 339130 WITH SCORE 339486.74
AT ITER 4683 NEW BEST:: SOT 947626 SOS 356534 HAS SOPS 356534 HAS SOUS 338924 HAS SOUPS 338924 WITH SCORE 339280.534
AT ITER 4691 NEW BEST:: SOT 947574 SOS 356490 HAS SOPS 356490 HAS SOUS 338880 HAS SOUPS 338880 WITH SCORE 339236.49
AT ITER 4692 NEW BEST:: SOT 947574 SOS 356424 HAS SOPS 356424 HAS SOUS 338814 HAS SOUPS 338814 WITH SCORE 339170.424
AT ITER 4693 NEW BEST:: SOT 947432 SOS 356242 HAS SOPS 356242 HAS SOUS 338632 HAS SOUPS 338632 WITH SCORE 338988.242
AT ITER 4697 NEW BEST:: SOT 947346 SOS 356070 HAS SOPS 356070 HAS SOUS 338460 HAS SOUPS 338460 WITH SCORE 338816.07
AT ITER 4719 NEW BEST:: SOT 947346 SOS 355830 HAS SOPS 355830 HAS SOUS 338220 HAS SOUPS 338220 WITH SCORE 338575.83
AT ITER 4729 NEW BEST:: SOT 947332 SOS 355816 HAS SOPS 355816 HAS SOUS 338206 HAS SOUPS 338206 WITH SCORE 338561.816
AT ITER 4730 NEW BEST:: SOT 947180 SOS 355664 HAS SOPS 355664 HAS SOUS 338054 HAS SOUPS 338054 WITH SCORE 338409.664
AT ITER 4732 NEW BEST:: SOT 947066 SOS 355550 HAS SOPS 355550 HAS SOUS 337940 HAS SOUPS 337940 WITH SCORE 338295.55
AT ITER 4738 NEW BEST:: SOT 946588 SOS 354594 HAS SOPS 354594 HAS SOUS 336984 HAS SOUPS 336984 WITH SCORE 337338.594
AT ITER 4747 NEW BEST:: SOT 946562 SOS 354244 HAS SOPS 354244 HAS SOUS 336634 HAS SOUPS 336634 WITH SCORE 336988.244
AT ITER 4752 NEW BEST:: SOT 945986 SOS 352906 HAS SOPS 352906 HAS SOUS 335296 HAS SOUPS 335296 WITH SCORE 335648.906
AT ITER 4754 NEW BEST:: SOT 945958 SOS 352878 HAS SOPS 352878 HAS SOUS 335268 HAS SOUPS 335268 WITH SCORE 335620.878
AT ITER 4763 NEW BEST:: SOT 945898 SOS 352754 HAS SOPS 352754 HAS SOUS 335144 HAS SOUPS 335144 WITH SCORE 335496.754
AT ITER 4774 NEW BEST:: SOT 945824 SOS 352680 HAS SOPS 352680 HAS SOUS 335070 HAS SOUPS 335070 WITH SCORE 335422.68
AT ITER 4780 NEW BEST:: SOT 945824 SOS 352468 HAS SOPS 352468 HAS SOUS 334858 HAS SOUPS 334858 WITH SCORE 335210.468
AT ITER 4789 NEW BEST:: SOT 945426 SOS 351704 HAS SOPS 351704 HAS SOUS 334094 HAS SOUPS 334094 WITH SCORE 334445.704
AT ITER 4790 NEW BEST:: SOT 945258 SOS 351536 HAS SOPS 351536 HAS SOUS 333926 HAS SOUPS 333926 WITH SCORE 334277.536
AT ITER 4792 NEW BEST:: SOT 944214 SOS 350206 HAS SOPS 350206 HAS SOUS 332596 HAS SOUPS 332596 WITH SCORE 332946.206
AT ITER 4796 NEW BEST:: SOT 944194 SOS 350186 HAS SOPS 350186 HAS SOUS 332576 HAS SOUPS 332576 WITH SCORE 332926.186
AT ITER 4799 NEW BEST:: SOT 944002 SOS 350166 HAS SOPS 350166 HAS SOUS 332556 HAS SOUPS 332556 WITH SCORE 332906.166
AT ITER 4805 NEW BEST:: SOT 943976 SOS 350140 HAS SOPS 350140 HAS SOUS 332530 HAS SOUPS 332530 WITH SCORE 332880.14
AT ITER 4812 NEW BEST:: SOT 943976 SOS 349966 HAS SOPS 349966 HAS SOUS 332356 HAS SOUPS 332356 WITH SCORE 332705.966
AT ITER 4827 NEW BEST:: SOT 943662 SOS 349622 HAS SOPS 349622 HAS SOUS 332012 HAS SOUPS 332012 WITH SCORE 332361.622
AT ITER 4829 NEW BEST:: SOT 943136 SOS 349096 HAS SOPS 349096 HAS SOUS 331486 HAS SOUPS 331486 WITH SCORE 331835.096
AT ITER 4849 NEW BEST:: SOT 942948 SOS 349050 HAS SOPS 349050 HAS SOUS 331440 HAS SOUPS 331440 WITH SCORE 331789.05
AT ITER 4863 NEW BEST:: SOT 942732 SOS 348474 HAS SOPS 348474 HAS SOUS 330864 HAS SOUPS 330864 WITH SCORE 331212.474
AT ITER 4864 NEW BEST:: SOT 942436 SOS 347772 HAS SOPS 347772 HAS SOUS 330162 HAS SOUPS 330162 WITH SCORE 330509.772
AT ITER 4870 NEW BEST:: SOT 941838 SOS 346580 HAS SOPS 346580 HAS SOUS 328970 HAS SOUPS 328970 WITH SCORE 329316.58
AT ITER 4871 NEW BEST:: SOT 941622 SOS 346364 HAS SOPS 346364 HAS SOUS 328754 HAS SOUPS 328754 WITH SCORE 329100.364
AT ITER 4888 NEW BEST:: SOT 941578 SOS 346358 HAS SOPS 346358 HAS SOUS 328748 HAS SOUPS 328748 WITH SCORE 329094.358
AT ITER 4907 NEW BEST:: SOT 941496 SOS 346088 HAS SOPS 346088 HAS SOUS 328478 HAS SOUPS 328478 WITH SCORE 328824.088
AT ITER 4912 NEW BEST:: SOT 941338 SOS 345852 HAS SOPS 345852 HAS SOUS 328242 HAS SOUPS 328242 WITH SCORE 328587.852
AT ITER 4913 NEW BEST:: SOT 941412 SOS 345660 HAS SOPS 345660 HAS SOUS 328050 HAS SOUPS 328050 WITH SCORE 328395.66
AT ITER 4917 NEW BEST:: SOT 941386 SOS 345634 HAS SOPS 345634 HAS SOUS 328024 HAS SOUPS 328024 WITH SCORE 328369.634
AT ITER 4922 NEW BEST:: SOT 941300 SOS 345462 HAS SOPS 345462 HAS SOUS 327852 HAS SOUPS 327852 WITH SCORE 328197.462
AT ITER 4931 NEW BEST:: SOT 940876 SOS 344648 HAS SOPS 344648 HAS SOUS 327038 HAS SOUPS 327038 WITH SCORE 327382.648
AT ITER 4934 NEW BEST:: SOT 940876 SOS 344288 HAS SOPS 344288 HAS SOUS 326678 HAS SOUPS 326678 WITH SCORE 327022.288
AT ITER 4959 NEW BEST:: SOT 940876 SOS 344286 HAS SOPS 344286 HAS SOUS 326676 HAS SOUPS 326676 WITH SCORE 327020.286
AT ITER 4962 NEW BEST:: SOT 939976 SOS 342578 HAS SOPS 342578 HAS SOUS 324968 HAS SOUPS 324968 WITH SCORE 325310.578
AT ITER 4968 NEW BEST:: SOT 939976 SOS 342514 HAS SOPS 342514 HAS SOUS 324904 HAS SOUPS 324904 WITH SCORE 325246.514
AT ITER 4978 NEW BEST:: SOT 939890 SOS 342428 HAS SOPS 342428 HAS SOUS 324818 HAS SOUPS 324818 WITH SCORE 325160.428
AT ITER 4984 NEW BEST:: SOT 939412 SOS 341904 HAS SOPS 341904 HAS SOUS 324294 HAS SOUPS 324294 WITH SCORE 324635.904
AT ITER 4985 NEW BEST:: SOT 939368 SOS 341860 HAS SOPS 341860 HAS SOUS 324250 HAS SOUPS 324250 WITH SCORE 324591.86
AT ITER 4986 NEW BEST:: SOT 939368 SOS 341598 HAS SOPS 341598 HAS SOUS 323988 HAS SOUPS 323988 WITH SCORE 324329.598
AT ITER 4996 NEW BEST:: SOT 939368 SOS 341564 HAS SOPS 341564 HAS SOUS 323954 HAS SOUPS 323954 WITH SCORE 324295.564
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-00 (! (EF((! (! potential( ( 2 ) <= (tk(P923)) ))))))
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-01 (EG( (EF(( potential( ( 3 ) <= (tk(P1200)) ) & potential( (tk(P1132)) <= (tk(P250)) ) )))))
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-02 (EF(( ( (! potential( ( 2 ) <= (tk(P662)) )) | ( potential( (tk(P367)) <= (tk(P694)) ) & potential( (tk(P336)) <= (tk(P1300)) ) ) ) & (AG( potential( ( 3 ) <= (tk(P1429)) ))) )))
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-03 ( (EX( (AX( potential( (tk(P1465)) <= (tk(P1125)) ))))) & ( ( ( ( potential( ( 1 ) <= (tk(P552)) ) | potential( ( 2 ) <= (tk(P955)) ) ) & ( potential( (tk(P1390)) <= (tk(P133)) ) | potential( ( 3 ) <= (tk(P438)) ) ) ) | (! ( potential( ( 3 ) <= (tk(P703)) ) | potential( (tk(P1188)) <= (tk(P412)) ) )) ) & (! (! ( potential( (tk(P1040)) <= (tk(P1127)) ) | potential( ( 2 ) <= (tk(P516)) ) ))) ) )
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-04 ( potential( (tk(P1013)) <= (tk(P674)) ) & (EX( (EX( potential( ( 3 ) <= (tk(P315)) ))))) )
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-05 ( (AF((EF(potential( (tk(P419)) <= (tk(P1362)) ))))) & (AX( (EF(potential( (tk(P181)) <= (tk(P1063)) ))))) )
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-06 (AX( (AU( potential( (tk(P1298)) <= (tk(P1173)) ),potential( (tk(P134)) <= (tk(P383)) ) ))))
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-07 ( ( (AX( (! potential( ( 1 ) <= (tk(P1328)) )))) & (AG( ( potential( ( 3 ) <= (tk(P602)) ) | potential( ( 1 ) <= (tk(P1060)) ) ))) ) | (EU( (! potential( (tk(P154)) <= (tk(P1212)) )),( potential( ( 2 ) <= (tk(P944)) ) & potential( ( 1 ) <= (tk(P1114)) ) ) )) )
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-08 (! (EF((AX( potential( ( 1 ) <= (tk(P1044)) ))))))
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-09 ( (AG( ( ( potential( (tk(P222)) <= (tk(P285)) ) | potential( (tk(P786)) <= (tk(P515)) ) ) | potential( ( 2 ) <= (tk(P518)) ) ))) | (AU( potential( ( 3 ) <= (tk(P1181)) ),(! potential( ( 1 ) <= (tk(P410)) )) )) )
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-10 (EF((EF(( potential( ( 1 ) <= (tk(P1083)) ) & potential( ( 2 ) <= (tk(P895)) ) )))))
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-11 (! (AX( (EX( potential( (tk(P1018)) <= (tk(P207)) ))))))
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-12 (EU( (EF(potential( ( 1 ) <= (tk(P284)) ))),(EX( potential( ( 2 ) <= (tk(P261)) ))) ))
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-13 (EU( ( potential( (tk(P660)) <= (tk(P776)) ) & ( potential( (tk(P1402)) <= (tk(P580)) ) | potential( (tk(P281)) <= (tk(P638)) ) ) ),(EG( potential( ( 3 ) <= (tk(P1142)) ))) ))
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-14 ( (EF((AX( potential( (tk(P453)) <= (tk(P62)) ))))) | (AU( ( potential( (tk(P183)) <= (tk(P214)) ) | potential( (tk(P669)) <= (tk(P579)) ) ),( potential( ( 3 ) <= (tk(P592)) ) | potential( (tk(P43)) <= (tk(P1494)) ) ) )) )
PROPERTY: RwMutex-PT-r0500w0010-CTLCardinality-15 (AG( (EG( ( potential( (tk(P270)) <= (tk(P630)) ) | potential( (tk(P449)) <= (tk(P1266)) ) )))))

BK_STOP 1589747063997

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

/home/mcc/BenchKit/bin/smart.sh: line 117: 462 Segmentation fault ${SMART} ${INPUT_SM}

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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