Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972500331.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-12b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500331
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 3.7K Apr 4 18:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 4 18:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 4 07:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 4 07:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 3 21:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 3 21:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 3 13:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 3 13:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 536K Mar 24 05:37 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 FlexibleBarrier-PT-12b-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-12b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589420537117

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 12b
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: 1988 places, 2289 transitions, 5727 arcs.
AT ITER 0 NEW BEST:: SOT 2943990 SOS 1517988 HAS SOPS 1517988 HAS SOUS 1099831 HAS SOUPS 1099831 WITH SCORE 1101348.988
AT ITER 2 NEW BEST:: SOT 2943990 SOS 1517706 HAS SOPS 1517706 HAS SOUS 1099831 HAS SOUPS 1099831 WITH SCORE 1101348.706
AT ITER 3 NEW BEST:: SOT 2943558 SOS 1515978 HAS SOPS 1515978 HAS SOUS 1098967 HAS SOUPS 1098967 WITH SCORE 1100482.978
AT ITER 6 NEW BEST:: SOT 2943030 SOS 1515449 HAS SOPS 1515449 HAS SOUS 1098425 HAS SOUPS 1098425 WITH SCORE 1099940.449
AT ITER 8 NEW BEST:: SOT 2942999 SOS 1515387 HAS SOPS 1515387 HAS SOUS 1098394 HAS SOUPS 1098394 WITH SCORE 1099909.387
AT ITER 9 NEW BEST:: SOT 2942999 SOS 1515279 HAS SOPS 1515279 HAS SOUS 1098286 HAS SOUPS 1098286 WITH SCORE 1099801.279
AT ITER 13 NEW BEST:: SOT 2942794 SOS 1514869 HAS SOPS 1514869 HAS SOUS 1098081 HAS SOUPS 1098081 WITH SCORE 1099595.869
AT ITER 16 NEW BEST:: SOT 2942692 SOS 1514665 HAS SOPS 1514665 HAS SOUS 1097978 HAS SOUPS 1097978 WITH SCORE 1099492.665
AT ITER 18 NEW BEST:: SOT 2942516 SOS 1514731 HAS SOPS 1514731 HAS SOUS 1097926 HAS SOUPS 1097926 WITH SCORE 1099440.731
AT ITER 28 NEW BEST:: SOT 2942999 SOS 1514600 HAS SOPS 1514600 HAS SOUS 1097794 HAS SOUPS 1097794 WITH SCORE 1099308.6
AT ITER 31 NEW BEST:: SOT 2943171 SOS 1513548 HAS SOPS 1513548 HAS SOUS 1097557 HAS SOUPS 1097557 WITH SCORE 1099070.548
AT ITER 32 NEW BEST:: SOT 2942599 SOS 1512404 HAS SOPS 1512404 HAS SOUS 1097267 HAS SOUPS 1097267 WITH SCORE 1098779.404
AT ITER 37 NEW BEST:: SOT 2942569 SOS 1512344 HAS SOPS 1512344 HAS SOUS 1097206 HAS SOUPS 1097206 WITH SCORE 1098718.344
AT ITER 39 NEW BEST:: SOT 2942162 SOS 1511530 HAS SOPS 1511530 HAS SOUS 1096475 HAS SOUPS 1096475 WITH SCORE 1097986.53
AT ITER 42 NEW BEST:: SOT 2942130 SOS 1511466 HAS SOPS 1511466 HAS SOUS 1096442 HAS SOUPS 1096442 WITH SCORE 1097953.466
AT ITER 43 NEW BEST:: SOT 2941477 SOS 1508854 HAS SOPS 1508854 HAS SOUS 1094483 HAS SOUPS 1094483 WITH SCORE 1095991.854
AT ITER 45 NEW BEST:: SOT 2941477 SOS 1508378 HAS SOPS 1508378 HAS SOUS 1094462 HAS SOUPS 1094462 WITH SCORE 1095970.378
AT ITER 48 NEW BEST:: SOT 2941477 SOS 1508079 HAS SOPS 1508079 HAS SOUS 1094163 HAS SOUPS 1094163 WITH SCORE 1095671.079
AT ITER 51 NEW BEST:: SOT 2941440 SOS 1508005 HAS SOPS 1508005 HAS SOUS 1094125 HAS SOUPS 1094125 WITH SCORE 1095633.005
AT ITER 52 NEW BEST:: SOT 2941440 SOS 1508005 HAS SOPS 1508005 HAS SOUS 1094121 HAS SOUPS 1094121 WITH SCORE 1095629.005
AT ITER 56 NEW BEST:: SOT 2941440 SOS 1507550 HAS SOPS 1507550 HAS SOUS 1093570 HAS SOUPS 1093570 WITH SCORE 1095077.55
AT ITER 62 NEW BEST:: SOT 2940969 SOS 1504810 HAS SOPS 1504810 HAS SOUS 1093019 HAS SOUPS 1093019 WITH SCORE 1094523.81
AT ITER 64 NEW BEST:: SOT 2940915 SOS 1504702 HAS SOPS 1504702 HAS SOUS 1092910 HAS SOUPS 1092910 WITH SCORE 1094414.702
AT ITER 70 NEW BEST:: SOT 2940428 SOS 1502754 HAS SOPS 1502754 HAS SOUS 1092301 HAS SOUPS 1092301 WITH SCORE 1093803.754
AT ITER 72 NEW BEST:: SOT 2939636 SOS 1501170 HAS SOPS 1501170 HAS SOUS 1090717 HAS SOUPS 1090717 WITH SCORE 1092218.17
AT ITER 73 NEW BEST:: SOT 2939636 SOS 1501170 HAS SOPS 1501170 HAS SOUS 1090259 HAS SOUPS 1090259 WITH SCORE 1091760.17
AT ITER 76 NEW BEST:: SOT 2939255 SOS 1500408 HAS SOPS 1500408 HAS SOUS 1089578 HAS SOUPS 1089578 WITH SCORE 1091078.408
AT ITER 84 NEW BEST:: SOT 2939017 SOS 1499456 HAS SOPS 1499456 HAS SOUS 1089100 HAS SOUPS 1089100 WITH SCORE 1090599.456
AT ITER 87 NEW BEST:: SOT 2938347 SOS 1498931 HAS SOPS 1498931 HAS SOUS 1088689 HAS SOUPS 1088689 WITH SCORE 1090187.931
AT ITER 91 NEW BEST:: SOT 2938834 SOS 1498517 HAS SOPS 1498517 HAS SOUS 1088439 HAS SOUPS 1088439 WITH SCORE 1089937.517
AT ITER 96 NEW BEST:: SOT 2938636 SOS 1498121 HAS SOPS 1498121 HAS SOUS 1088240 HAS SOUPS 1088240 WITH SCORE 1089738.121
AT ITER 100 NEW BEST:: SOT 2938262 SOS 1496625 HAS SOPS 1496625 HAS SOUS 1087492 HAS SOUPS 1087492 WITH SCORE 1088988.625
AT ITER 103 NEW BEST:: SOT 2937874 SOS 1495849 HAS SOPS 1495849 HAS SOUS 1086716 HAS SOUPS 1086716 WITH SCORE 1088211.849
AT ITER 104 NEW BEST:: SOT 2937717 SOS 1495535 HAS SOPS 1495535 HAS SOUS 1086558 HAS SOUPS 1086558 WITH SCORE 1088053.535
AT ITER 107 NEW BEST:: SOT 2937701 SOS 1495503 HAS SOPS 1495503 HAS SOUS 1086526 HAS SOUPS 1086526 WITH SCORE 1088021.503
AT ITER 108 NEW BEST:: SOT 2937701 SOS 1495475 HAS SOPS 1495475 HAS SOUS 1086526 HAS SOUPS 1086526 WITH SCORE 1088021.475
AT ITER 109 NEW BEST:: SOT 2936964 SOS 1492527 HAS SOPS 1492527 HAS SOUS 1085203 HAS SOUPS 1085203 WITH SCORE 1086695.527
AT ITER 115 NEW BEST:: SOT 2936708 SOS 1491503 HAS SOPS 1491503 HAS SOUS 1084492 HAS SOUPS 1084492 WITH SCORE 1085983.503
AT ITER 116 NEW BEST:: SOT 2936411 SOS 1490909 HAS SOPS 1490909 HAS SOUS 1084195 HAS SOUPS 1084195 WITH SCORE 1085685.909
AT ITER 119 NEW BEST:: SOT 2935934 SOS 1489955 HAS SOPS 1489955 HAS SOUS 1083717 HAS SOUPS 1083717 WITH SCORE 1085206.955
AT ITER 125 NEW BEST:: SOT 2935753 SOS 1489231 HAS SOPS 1489231 HAS SOUS 1083490 HAS SOUPS 1083490 WITH SCORE 1084979.231
AT ITER 127 NEW BEST:: SOT 2935284 SOS 1488293 HAS SOPS 1488293 HAS SOUS 1083394 HAS SOUPS 1083394 WITH SCORE 1084882.293
AT ITER 128 NEW BEST:: SOT 2935284 SOS 1488293 HAS SOPS 1488293 HAS SOUS 1083360 HAS SOUPS 1083360 WITH SCORE 1084848.293
AT ITER 130 NEW BEST:: SOT 2935284 SOS 1487846 HAS SOPS 1487846 HAS SOUS 1082783 HAS SOUPS 1082783 WITH SCORE 1084270.846
AT ITER 131 NEW BEST:: SOT 2934793 SOS 1486864 HAS SOPS 1486864 HAS SOUS 1082299 HAS SOUPS 1082299 WITH SCORE 1083785.864
AT ITER 133 NEW BEST:: SOT 2934793 SOS 1486864 HAS SOPS 1486864 HAS SOUS 1082281 HAS SOUPS 1082281 WITH SCORE 1083767.864
AT ITER 139 NEW BEST:: SOT 2934535 SOS 1485832 HAS SOPS 1485832 HAS SOUS 1081765 HAS SOUPS 1081765 WITH SCORE 1083250.832
AT ITER 145 NEW BEST:: SOT 2934110 SOS 1484132 HAS SOPS 1484132 HAS SOUS 1080831 HAS SOUPS 1080831 WITH SCORE 1082315.132
AT ITER 146 NEW BEST:: SOT 2934110 SOS 1484132 HAS SOPS 1484132 HAS SOUS 1080830 HAS SOUPS 1080830 WITH SCORE 1082314.132
AT ITER 147 NEW BEST:: SOT 2933803 SOS 1484111 HAS SOPS 1484111 HAS SOUS 1080829 HAS SOUPS 1080829 WITH SCORE 1082313.111
AT ITER 148 NEW BEST:: SOT 2933598 SOS 1484006 HAS SOPS 1484006 HAS SOUS 1080707 HAS SOUPS 1080707 WITH SCORE 1082191.006
AT ITER 151 NEW BEST:: SOT 2933423 SOS 1483306 HAS SOPS 1483306 HAS SOUS 1080357 HAS SOUPS 1080357 WITH SCORE 1081840.306
AT ITER 152 NEW BEST:: SOT 2933423 SOS 1482768 HAS SOPS 1482768 HAS SOUS 1080236 HAS SOUPS 1080236 WITH SCORE 1081718.768
AT ITER 153 NEW BEST:: SOT 2933403 SOS 1482728 HAS SOPS 1482728 HAS SOUS 1080196 HAS SOUPS 1080196 WITH SCORE 1081678.728
AT ITER 156 NEW BEST:: SOT 2932750 SOS 1480769 HAS SOPS 1480769 HAS SOUS 1078890 HAS SOUPS 1078890 WITH SCORE 1080370.769
AT ITER 157 NEW BEST:: SOT 2933015 SOS 1478949 HAS SOPS 1478949 HAS SOUS 1078549 HAS SOUPS 1078549 WITH SCORE 1080027.949
AT ITER 161 NEW BEST:: SOT 2933015 SOS 1478681 HAS SOPS 1478681 HAS SOUS 1078013 HAS SOUPS 1078013 WITH SCORE 1079491.681
AT ITER 164 NEW BEST:: SOT 2932747 SOS 1478145 HAS SOPS 1478145 HAS SOUS 1078011 HAS SOUPS 1078011 WITH SCORE 1079489.145
AT ITER 168 NEW BEST:: SOT 2932747 SOS 1477259 HAS SOPS 1477259 HAS SOUS 1077809 HAS SOUPS 1077809 WITH SCORE 1079286.259
AT ITER 169 NEW BEST:: SOT 2931886 SOS 1476685 HAS SOPS 1476685 HAS SOUS 1077214 HAS SOUPS 1077214 WITH SCORE 1078690.685
AT ITER 173 NEW BEST:: SOT 2931521 SOS 1475955 HAS SOPS 1475955 HAS SOUS 1076848 HAS SOUPS 1076848 WITH SCORE 1078323.955
AT ITER 180 NEW BEST:: SOT 2931474 SOS 1475814 HAS SOPS 1475814 HAS SOUS 1076754 HAS SOUPS 1076754 WITH SCORE 1078229.814
AT ITER 190 NEW BEST:: SOT 2931143 SOS 1475152 HAS SOPS 1475152 HAS SOUS 1076423 HAS SOUPS 1076423 WITH SCORE 1077898.152
AT ITER 193 NEW BEST:: SOT 2930723 SOS 1474312 HAS SOPS 1474312 HAS SOUS 1076227 HAS SOUPS 1076227 WITH SCORE 1077701.312
AT ITER 194 NEW BEST:: SOT 2930723 SOS 1473799 HAS SOPS 1473799 HAS SOUS 1075807 HAS SOUPS 1075807 WITH SCORE 1077280.799
AT ITER 195 NEW BEST:: SOT 2930160 SOS 1472673 HAS SOPS 1472673 HAS SOUS 1074841 HAS SOUPS 1074841 WITH SCORE 1076313.673
AT ITER 197 NEW BEST:: SOT 2928698 SOS 1472213 HAS SOPS 1472213 HAS SOUS 1073402 HAS SOUPS 1073402 WITH SCORE 1074874.213
AT ITER 198 NEW BEST:: SOT 2929473 SOS 1471187 HAS SOPS 1471187 HAS SOUS 1073268 HAS SOUPS 1073268 WITH SCORE 1074739.187
AT ITER 201 NEW BEST:: SOT 2929126 SOS 1470903 HAS SOPS 1470903 HAS SOUS 1072971 HAS SOUPS 1072971 WITH SCORE 1074441.903
AT ITER 202 NEW BEST:: SOT 2929093 SOS 1470837 HAS SOPS 1470837 HAS SOUS 1072937 HAS SOUPS 1072937 WITH SCORE 1074407.837
AT ITER 204 NEW BEST:: SOT 2928437 SOS 1470181 HAS SOPS 1470181 HAS SOUS 1072936 HAS SOUPS 1072936 WITH SCORE 1074406.181
AT ITER 209 NEW BEST:: SOT 2928437 SOS 1469877 HAS SOPS 1469877 HAS SOUS 1072936 HAS SOUPS 1072936 WITH SCORE 1074405.877
AT ITER 212 NEW BEST:: SOT 2928459 SOS 1468383 HAS SOPS 1468383 HAS SOUS 1072175 HAS SOUPS 1072175 WITH SCORE 1073643.383
AT ITER 215 NEW BEST:: SOT 2927326 SOS 1466887 HAS SOPS 1466887 HAS SOUS 1070631 HAS SOUPS 1070631 WITH SCORE 1072097.887
AT ITER 223 NEW BEST:: SOT 2926931 SOS 1466084 HAS SOPS 1466084 HAS SOUS 1070021 HAS SOUPS 1070021 WITH SCORE 1071487.084
AT ITER 226 NEW BEST:: SOT 2926647 SOS 1464153 HAS SOPS 1464153 HAS SOUS 1068956 HAS SOUPS 1068956 WITH SCORE 1070420.153
AT ITER 231 NEW BEST:: SOT 2926493 SOS 1463691 HAS SOPS 1463691 HAS SOUS 1068796 HAS SOUPS 1068796 WITH SCORE 1070259.691
AT ITER 232 NEW BEST:: SOT 2926356 SOS 1463143 HAS SOPS 1463143 HAS SOUS 1068658 HAS SOUPS 1068658 WITH SCORE 1070121.143
AT ITER 233 NEW BEST:: SOT 2925728 SOS 1460231 HAS SOPS 1460231 HAS SOUS 1067703 HAS SOUPS 1067703 WITH SCORE 1069163.231
AT ITER 236 NEW BEST:: SOT 2925728 SOS 1460231 HAS SOPS 1460231 HAS SOUS 1067571 HAS SOUPS 1067571 WITH SCORE 1069031.231
AT ITER 237 NEW BEST:: SOT 2921865 SOS 1478449 HAS SOPS 1478449 HAS SOUS 1064063 HAS SOUPS 1064063 WITH SCORE 1065541.449
AT ITER 239 NEW BEST:: SOT 2921363 SOS 1476441 HAS SOPS 1476441 HAS SOUS 1063059 HAS SOUPS 1063059 WITH SCORE 1064535.441
AT ITER 240 NEW BEST:: SOT 2921202 SOS 1476494 HAS SOPS 1476494 HAS SOUS 1062898 HAS SOUPS 1062898 WITH SCORE 1064374.494
AT ITER 243 NEW BEST:: SOT 2920837 SOS 1476368 HAS SOPS 1476368 HAS SOUS 1062772 HAS SOUPS 1062772 WITH SCORE 1064248.368
AT ITER 251 NEW BEST:: SOT 2920837 SOS 1475989 HAS SOPS 1475989 HAS SOUS 1062135 HAS SOUPS 1062135 WITH SCORE 1063610.989
AT ITER 275 NEW BEST:: SOT 2913723 SOS 1491373 HAS SOPS 1491373 HAS SOUS 1058224 HAS SOUPS 1058224 WITH SCORE 1059715.373
AT ITER 284 NEW BEST:: SOT 2913605 SOS 1491255 HAS SOPS 1491255 HAS SOUS 1058224 HAS SOUPS 1058224 WITH SCORE 1059715.255
AT ITER 285 NEW BEST:: SOT 2913605 SOS 1491207 HAS SOPS 1491207 HAS SOUS 1058224 HAS SOUPS 1058224 WITH SCORE 1059715.207
AT ITER 287 NEW BEST:: SOT 2913311 SOS 1490031 HAS SOPS 1490031 HAS SOUS 1057930 HAS SOUPS 1057930 WITH SCORE 1059420.031
AT ITER 288 NEW BEST:: SOT 2913311 SOS 1489705 HAS SOPS 1489705 HAS SOUS 1057604 HAS SOUPS 1057604 WITH SCORE 1059093.705
AT ITER 294 NEW BEST:: SOT 2913311 SOS 1489451 HAS SOPS 1489451 HAS SOUS 1057349 HAS SOUPS 1057349 WITH SCORE 1058838.451
AT ITER 295 NEW BEST:: SOT 2912630 SOS 1488089 HAS SOPS 1488089 HAS SOUS 1056668 HAS SOUPS 1056668 WITH SCORE 1058156.089
AT ITER 301 NEW BEST:: SOT 2912094 SOS 1487553 HAS SOPS 1487553 HAS SOUS 1056665 HAS SOUPS 1056665 WITH SCORE 1058152.553
AT ITER 308 NEW BEST:: SOT 2911930 SOS 1486897 HAS SOPS 1486897 HAS SOUS 1056335 HAS SOUPS 1056335 WITH SCORE 1057821.897
AT ITER 323 NEW BEST:: SOT 2911677 SOS 1481250 HAS SOPS 1481250 HAS SOUS 1056081 HAS SOUPS 1056081 WITH SCORE 1057562.25
AT ITER 324 NEW BEST:: SOT 2911245 SOS 1480386 HAS SOPS 1480386 HAS SOUS 1055648 HAS SOUPS 1055648 WITH SCORE 1057128.386
AT ITER 327 NEW BEST:: SOT 2910371 SOS 1478638 HAS SOPS 1478638 HAS SOUS 1053899 HAS SOUPS 1053899 WITH SCORE 1055377.638
AT ITER 329 NEW BEST:: SOT 2910236 SOS 1476555 HAS SOPS 1476555 HAS SOUS 1053086 HAS SOUPS 1053086 WITH SCORE 1054562.555
AT ITER 332 NEW BEST:: SOT 2910236 SOS 1476466 HAS SOPS 1476466 HAS SOUS 1053079 HAS SOUPS 1053079 WITH SCORE 1054555.466
AT ITER 334 NEW BEST:: SOT 2910236 SOS 1476466 HAS SOPS 1476466 HAS SOUS 1053022 HAS SOUPS 1053022 WITH SCORE 1054498.466
AT ITER 336 NEW BEST:: SOT 2907460 SOS 1490763 HAS SOPS 1490763 HAS SOUS 1051803 HAS SOUPS 1051803 WITH SCORE 1053293.763
AT ITER 339 NEW BEST:: SOT 2907164 SOS 1487885 HAS SOPS 1487885 HAS SOUS 1051524 HAS SOUPS 1051524 WITH SCORE 1053011.885
AT ITER 344 NEW BEST:: SOT 2906746 SOS 1487049 HAS SOPS 1487049 HAS SOUS 1051167 HAS SOUPS 1051167 WITH SCORE 1052654.049
AT ITER 353 NEW BEST:: SOT 2906746 SOS 1487049 HAS SOPS 1487049 HAS SOUS 1051148 HAS SOUPS 1051148 WITH SCORE 1052635.049
AT ITER 360 NEW BEST:: SOT 2906488 SOS 1486017 HAS SOPS 1486017 HAS SOUS 1050643 HAS SOUPS 1050643 WITH SCORE 1052129.017
AT ITER 363 NEW BEST:: SOT 2906100 SOS 1485241 HAS SOPS 1485241 HAS SOUS 1050254 HAS SOUPS 1050254 WITH SCORE 1051739.241
AT ITER 366 NEW BEST:: SOT 2906100 SOS 1484663 HAS SOPS 1484663 HAS SOUS 1050253 HAS SOUPS 1050253 WITH SCORE 1051737.663
AT ITER 376 NEW BEST:: SOT 2906000 SOS 1484563 HAS SOPS 1484563 HAS SOUS 1050153 HAS SOUPS 1050153 WITH SCORE 1051637.563
AT ITER 377 NEW BEST:: SOT 2892608 SOS 1472299 HAS SOPS 1472299 HAS SOUS 1037074 HAS SOUPS 1037074 WITH SCORE 1038546.299
AT ITER 379 NEW BEST:: SOT 2892035 SOS 1471890 HAS SOPS 1471890 HAS SOUS 1036661 HAS SOUPS 1036661 WITH SCORE 1038132.89
AT ITER 385 NEW BEST:: SOT 2892035 SOS 1471686 HAS SOPS 1471686 HAS SOUS 1036029 HAS SOUPS 1036029 WITH SCORE 1037500.686
AT ITER 400 NEW BEST:: SOT 2891673 SOS 1470238 HAS SOPS 1470238 HAS SOUS 1035460 HAS SOUPS 1035460 WITH SCORE 1036930.238
AT ITER 401 NEW BEST:: SOT 2879523 SOS 1459314 HAS SOPS 1459314 HAS SOUS 1023310 HAS SOUPS 1023310 WITH SCORE 1024769.314
AT ITER 402 NEW BEST:: SOT 2879180 SOS 1459314 HAS SOPS 1459314 HAS SOUS 1023309 HAS SOUPS 1023309 WITH SCORE 1024768.314
AT ITER 410 NEW BEST:: SOT 2878898 SOS 1458750 HAS SOPS 1458750 HAS SOUS 1022869 HAS SOUPS 1022869 WITH SCORE 1024327.75
AT ITER 412 NEW BEST:: SOT 2878704 SOS 1457974 HAS SOPS 1457974 HAS SOUS 1022481 HAS SOUPS 1022481 WITH SCORE 1023938.974
AT ITER 417 NEW BEST:: SOT 2878069 SOS 1456746 HAS SOPS 1456746 HAS SOUS 1021936 HAS SOUPS 1021936 WITH SCORE 1023392.746
AT ITER 419 NEW BEST:: SOT 2877401 SOS 1456651 HAS SOPS 1456651 HAS SOUS 1021832 HAS SOUPS 1021832 WITH SCORE 1023288.651
AT ITER 420 NEW BEST:: SOT 2877084 SOS 1456334 HAS SOPS 1456334 HAS SOUS 1021515 HAS SOUPS 1021515 WITH SCORE 1022971.334
AT ITER 423 NEW BEST:: SOT 2876888 SOS 1454493 HAS SOPS 1454493 HAS SOUS 1020692 HAS SOUPS 1020692 WITH SCORE 1022146.493
AT ITER 424 NEW BEST:: SOT 2876451 SOS 1452663 HAS SOPS 1452663 HAS SOUS 1019304 HAS SOUPS 1019304 WITH SCORE 1020756.663
AT ITER 427 NEW BEST:: SOT 2876276 SOS 1452816 HAS SOPS 1452816 HAS SOUS 1019241 HAS SOUPS 1019241 WITH SCORE 1020693.816
AT ITER 428 NEW BEST:: SOT 2875818 SOS 1452787 HAS SOPS 1452787 HAS SOUS 1019240 HAS SOUPS 1019240 WITH SCORE 1020692.787
AT ITER 435 NEW BEST:: SOT 2875818 SOS 1452787 HAS SOPS 1452787 HAS SOUS 1019144 HAS SOUPS 1019144 WITH SCORE 1020596.787
AT ITER 436 NEW BEST:: SOT 2876223 SOS 1442783 HAS SOPS 1442783 HAS SOUS 1019077 HAS SOUPS 1019077 WITH SCORE 1020519.783
AT ITER 438 NEW BEST:: SOT 2875618 SOS 1442272 HAS SOPS 1442272 HAS SOUS 1018472 HAS SOUPS 1018472 WITH SCORE 1019914.272
AT ITER 442 NEW BEST:: SOT 2875157 SOS 1440428 HAS SOPS 1440428 HAS SOUS 1017550 HAS SOUPS 1017550 WITH SCORE 1018990.428
AT ITER 444 NEW BEST:: SOT 2874688 SOS 1438552 HAS SOPS 1438552 HAS SOUS 1016958 HAS SOUPS 1016958 WITH SCORE 1018396.552
AT ITER 445 NEW BEST:: SOT 2874414 SOS 1438004 HAS SOPS 1438004 HAS SOUS 1016684 HAS SOUPS 1016684 WITH SCORE 1018122.004
AT ITER 449 NEW BEST:: SOT 2874035 SOS 1438004 HAS SOPS 1438004 HAS SOUS 1016683 HAS SOUPS 1016683 WITH SCORE 1018121.004
AT ITER 451 NEW BEST:: SOT 2874031 SOS 1437996 HAS SOPS 1437996 HAS SOUS 1016679 HAS SOUPS 1016679 WITH SCORE 1018116.996
AT ITER 452 NEW BEST:: SOT 2874840 SOS 1438615 HAS SOPS 1438615 HAS SOUS 1016214 HAS SOUPS 1016214 WITH SCORE 1017652.615
AT ITER 454 NEW BEST:: SOT 2875161 SOS 1428805 HAS SOPS 1428805 HAS SOUS 1015914 HAS SOUPS 1015914 WITH SCORE 1017342.805
AT ITER 462 NEW BEST:: SOT 2875161 SOS 1428805 HAS SOPS 1428805 HAS SOUS 1015713 HAS SOUPS 1015713 WITH SCORE 1017141.805
AT ITER 465 NEW BEST:: SOT 2876054 SOS 1428022 HAS SOPS 1428022 HAS SOUS 1015695 HAS SOUPS 1015695 WITH SCORE 1017123.022
AT ITER 467 NEW BEST:: SOT 2876054 SOS 1428022 HAS SOPS 1428022 HAS SOUS 1015643 HAS SOUPS 1015643 WITH SCORE 1017071.022
AT ITER 472 NEW BEST:: SOT 2876202 SOS 1428318 HAS SOPS 1428318 HAS SOUS 1015274 HAS SOUPS 1015274 WITH SCORE 1016702.318
AT ITER 479 NEW BEST:: SOT 2876035 SOS 1424477 HAS SOPS 1424477 HAS SOUS 1015107 HAS SOUPS 1015107 WITH SCORE 1016531.477
AT ITER 484 NEW BEST:: SOT 2876144 SOS 1424107 HAS SOPS 1424107 HAS SOUS 1014895 HAS SOUPS 1014895 WITH SCORE 1016319.107
AT ITER 486 NEW BEST:: SOT 2876144 SOS 1424107 HAS SOPS 1424107 HAS SOUS 1014739 HAS SOUPS 1014739 WITH SCORE 1016163.107
AT ITER 488 NEW BEST:: SOT 2875943 SOS 1423974 HAS SOPS 1423974 HAS SOUS 1014538 HAS SOUPS 1014538 WITH SCORE 1015961.974
AT ITER 490 NEW BEST:: SOT 2875749 SOS 1423586 HAS SOPS 1423586 HAS SOUS 1014494 HAS SOUPS 1014494 WITH SCORE 1015917.586
AT ITER 491 NEW BEST:: SOT 2875164 SOS 1420316 HAS SOPS 1420316 HAS SOUS 1012463 HAS SOUPS 1012463 WITH SCORE 1013883.316
AT ITER 492 NEW BEST:: SOT 2875164 SOS 1420316 HAS SOPS 1420316 HAS SOUS 1012448 HAS SOUPS 1012448 WITH SCORE 1013868.316
AT ITER 493 NEW BEST:: SOT 2874682 SOS 1419834 HAS SOPS 1419834 HAS SOUS 1012308 HAS SOUPS 1012308 WITH SCORE 1013727.834
AT ITER 501 NEW BEST:: SOT 2874553 SOS 1419318 HAS SOPS 1419318 HAS SOUS 1012179 HAS SOUPS 1012179 WITH SCORE 1013598.318
AT ITER 504 NEW BEST:: SOT 2874553 SOS 1419318 HAS SOPS 1419318 HAS SOUS 1011853 HAS SOUPS 1011853 WITH SCORE 1013272.318
AT ITER 511 NEW BEST:: SOT 2874544 SOS 1419300 HAS SOPS 1419300 HAS SOUS 1011843 HAS SOUPS 1011843 WITH SCORE 1013262.3
AT ITER 516 NEW BEST:: SOT 2875705 SOS 1396457 HAS SOPS 1396457 HAS SOUS 1011585 HAS SOUPS 1011585 WITH SCORE 1012981.457
AT ITER 522 NEW BEST:: SOT 2875036 SOS 1396119 HAS SOPS 1396119 HAS SOUS 1010998 HAS SOUPS 1010998 WITH SCORE 1012394.119
AT ITER 525 NEW BEST:: SOT 2859239 SOS 1397217 HAS SOPS 1397217 HAS SOUS 997991 HAS SOUPS 997991 WITH SCORE 999388.217
AT ITER 530 NEW BEST:: SOT 2859239 SOS 1397146 HAS SOPS 1397146 HAS SOUS 997815 HAS SOUPS 997815 WITH SCORE 999212.146
AT ITER 547 NEW BEST:: SOT 2858941 SOS 1396848 HAS SOPS 1396848 HAS SOUS 997517 HAS SOUPS 997517 WITH SCORE 998913.848
AT ITER 560 NEW BEST:: SOT 2858941 SOS 1396848 HAS SOPS 1396848 HAS SOUS 997516 HAS SOUPS 997516 WITH SCORE 998912.848
AT ITER 561 NEW BEST:: SOT 2858757 SOS 1395081 HAS SOPS 1395081 HAS SOUS 996540 HAS SOUPS 996540 WITH SCORE 997935.081
AT ITER 562 NEW BEST:: SOT 2858506 SOS 1394581 HAS SOPS 1394581 HAS SOUS 996289 HAS SOUPS 996289 WITH SCORE 997683.581
AT ITER 574 NEW BEST:: SOT 2856531 SOS 1408341 HAS SOPS 1408341 HAS SOUS 995668 HAS SOUPS 995668 WITH SCORE 997076.341
AT ITER 575 NEW BEST:: SOT 2856653 SOS 1407112 HAS SOPS 1407112 HAS SOUS 995166 HAS SOUPS 995166 WITH SCORE 996573.112
AT ITER 586 NEW BEST:: SOT 2856653 SOS 1406740 HAS SOPS 1406740 HAS SOUS 994595 HAS SOUPS 994595 WITH SCORE 996001.74
AT ITER 587 NEW BEST:: SOT 2856454 SOS 1401266 HAS SOPS 1401266 HAS SOUS 993922 HAS SOUPS 993922 WITH SCORE 995323.266
AT ITER 592 NEW BEST:: SOT 2856454 SOS 1401266 HAS SOPS 1401266 HAS SOUS 993917 HAS SOUPS 993917 WITH SCORE 995318.266
AT ITER 593 NEW BEST:: SOT 2856493 SOS 1401249 HAS SOPS 1401249 HAS SOUS 993734 HAS SOUPS 993734 WITH SCORE 995135.249
AT ITER 597 NEW BEST:: SOT 2856451 SOS 1401165 HAS SOPS 1401165 HAS SOUS 993691 HAS SOUPS 993691 WITH SCORE 995092.165
AT ITER 603 NEW BEST:: SOT 2855627 SOS 1397869 HAS SOPS 1397869 HAS SOUS 992043 HAS SOUPS 992043 WITH SCORE 993440.869
AT ITER 616 NEW BEST:: SOT 2855627 SOS 1396485 HAS SOPS 1396485 HAS SOUS 991545 HAS SOUPS 991545 WITH SCORE 992941.485
AT ITER 623 NEW BEST:: SOT 2855308 SOS 1395847 HAS SOPS 1395847 HAS SOUS 991484 HAS SOUPS 991484 WITH SCORE 992879.847
AT ITER 627 NEW BEST:: SOT 2854842 SOS 1393529 HAS SOPS 1393529 HAS SOUS 990696 HAS SOUPS 990696 WITH SCORE 992089.529
AT ITER 635 NEW BEST:: SOT 2854842 SOS 1393206 HAS SOPS 1393206 HAS SOUS 990695 HAS SOUPS 990695 WITH SCORE 992088.206
AT ITER 637 NEW BEST:: SOT 2854842 SOS 1393206 HAS SOPS 1393206 HAS SOUS 990551 HAS SOUPS 990551 WITH SCORE 991944.206
AT ITER 639 NEW BEST:: SOT 2854842 SOS 1393212 HAS SOPS 1393212 HAS SOUS 990154 HAS SOUPS 990154 WITH SCORE 991547.212
AT ITER 643 NEW BEST:: SOT 2854278 SOS 1392084 HAS SOPS 1392084 HAS SOUS 988853 HAS SOUPS 988853 WITH SCORE 990245.084
AT ITER 644 NEW BEST:: SOT 2853954 SOS 1391436 HAS SOPS 1391436 HAS SOUS 988398 HAS SOUPS 988398 WITH SCORE 989789.436
AT ITER 648 NEW BEST:: SOT 2853954 SOS 1391436 HAS SOPS 1391436 HAS SOUS 988316 HAS SOUPS 988316 WITH SCORE 989707.436
AT ITER 662 NEW BEST:: SOT 2853715 SOS 1384947 HAS SOPS 1384947 HAS SOUS 988049 HAS SOUPS 988049 WITH SCORE 989433.947
AT ITER 665 NEW BEST:: SOT 2853715 SOS 1384947 HAS SOPS 1384947 HAS SOUS 987814 HAS SOUPS 987814 WITH SCORE 989198.947
AT ITER 667 NEW BEST:: SOT 2853504 SOS 1384525 HAS SOPS 1384525 HAS SOUS 987602 HAS SOUPS 987602 WITH SCORE 988986.525
AT ITER 671 NEW BEST:: SOT 2853504 SOS 1384525 HAS SOPS 1384525 HAS SOUS 987228 HAS SOUPS 987228 WITH SCORE 988612.525
AT ITER 679 NEW BEST:: SOT 2853504 SOS 1383921 HAS SOPS 1383921 HAS SOUS 986665 HAS SOUPS 986665 WITH SCORE 988048.921
AT ITER 680 NEW BEST:: SOT 2853504 SOS 1383921 HAS SOPS 1383921 HAS SOUS 986220 HAS SOUPS 986220 WITH SCORE 987603.921
AT ITER 681 NEW BEST:: SOT 2853504 SOS 1383769 HAS SOPS 1383769 HAS SOUS 986220 HAS SOUPS 986220 WITH SCORE 987603.769
AT ITER 682 NEW BEST:: SOT 2853293 SOS 1383136 HAS SOPS 1383136 HAS SOUS 986003 HAS SOUPS 986003 WITH SCORE 987386.136
AT ITER 685 NEW BEST:: SOT 2853313 SOS 1383011 HAS SOPS 1383011 HAS SOUS 985742 HAS SOUPS 985742 WITH SCORE 987125.011
AT ITER 689 NEW BEST:: SOT 2853230 SOS 1382845 HAS SOPS 1382845 HAS SOUS 985576 HAS SOUPS 985576 WITH SCORE 986958.845
AT ITER 692 NEW BEST:: SOT 2853411 SOS 1381940 HAS SOPS 1381940 HAS SOUS 984710 HAS SOUPS 984710 WITH SCORE 986091.94
AT ITER 693 NEW BEST:: SOT 2853226 SOS 1381570 HAS SOPS 1381570 HAS SOUS 984340 HAS SOUPS 984340 WITH SCORE 985721.57
AT ITER 703 NEW BEST:: SOT 2852835 SOS 1380397 HAS SOPS 1380397 HAS SOUS 983558 HAS SOUPS 983558 WITH SCORE 984938.397
AT ITER 705 NEW BEST:: SOT 2852343 SOS 1380031 HAS SOPS 1380031 HAS SOUS 983180 HAS SOUPS 983180 WITH SCORE 984560.031
AT ITER 717 NEW BEST:: SOT 2852343 SOS 1380031 HAS SOPS 1380031 HAS SOUS 983156 HAS SOUPS 983156 WITH SCORE 984536.031
AT ITER 724 NEW BEST:: SOT 2853268 SOS 1380971 HAS SOPS 1380971 HAS SOUS 982870 HAS SOUPS 982870 WITH SCORE 984250.971
AT ITER 727 NEW BEST:: SOT 2852891 SOS 1379840 HAS SOPS 1379840 HAS SOUS 982493 HAS SOUPS 982493 WITH SCORE 983872.84
AT ITER 730 NEW BEST:: SOT 2852580 SOS 1379218 HAS SOPS 1379218 HAS SOUS 982180 HAS SOUPS 982180 WITH SCORE 983559.218
AT ITER 740 NEW BEST:: SOT 2852580 SOS 1379218 HAS SOPS 1379218 HAS SOUS 982179 HAS SOUPS 982179 WITH SCORE 983558.218
AT ITER 742 NEW BEST:: SOT 2852045 SOS 1378874 HAS SOPS 1378874 HAS SOUS 981772 HAS SOUPS 981772 WITH SCORE 983150.874
AT ITER 747 NEW BEST:: SOT 2851475 SOS 1377734 HAS SOPS 1377734 HAS SOUS 981767 HAS SOUPS 981767 WITH SCORE 983144.734
AT ITER 752 NEW BEST:: SOT 2851287 SOS 1370195 HAS SOPS 1370195 HAS SOUS 981578 HAS SOUPS 981578 WITH SCORE 982948.195
AT ITER 756 NEW BEST:: SOT 2851287 SOS 1370195 HAS SOPS 1370195 HAS SOUS 981502 HAS SOUPS 981502 WITH SCORE 982872.195
AT ITER 760 NEW BEST:: SOT 2851287 SOS 1370195 HAS SOPS 1370195 HAS SOUS 981370 HAS SOUPS 981370 WITH SCORE 982740.195
AT ITER 761 NEW BEST:: SOT 2851234 SOS 1370195 HAS SOPS 1370195 HAS SOUS 981317 HAS SOUPS 981317 WITH SCORE 982687.195
AT ITER 766 NEW BEST:: SOT 2851199 SOS 1369345 HAS SOPS 1369345 HAS SOUS 981041 HAS SOUPS 981041 WITH SCORE 982410.345
AT ITER 773 NEW BEST:: SOT 2851221 SOS 1369225 HAS SOPS 1369225 HAS SOUS 980960 HAS SOUPS 980960 WITH SCORE 982329.225
AT ITER 774 NEW BEST:: SOT 2851105 SOS 1369200 HAS SOPS 1369200 HAS SOUS 980844 HAS SOUPS 980844 WITH SCORE 982213.2
AT ITER 775 NEW BEST:: SOT 2851121 SOS 1368184 HAS SOPS 1368184 HAS SOUS 980105 HAS SOUPS 980105 WITH SCORE 981473.184
AT ITER 777 NEW BEST:: SOT 2850938 SOS 1368001 HAS SOPS 1368001 HAS SOUS 979922 HAS SOUPS 979922 WITH SCORE 981290.001
AT ITER 781 NEW BEST:: SOT 2850588 SOS 1365227 HAS SOPS 1365227 HAS SOUS 979025 HAS SOUPS 979025 WITH SCORE 980390.227
AT ITER 782 NEW BEST:: SOT 2850948 SOS 1364978 HAS SOPS 1364978 HAS SOUS 978791 HAS SOUPS 978791 WITH SCORE 980155.978
AT ITER 783 NEW BEST:: SOT 2850356 SOS 1362292 HAS SOPS 1362292 HAS SOUS 978146 HAS SOUPS 978146 WITH SCORE 979508.292
AT ITER 794 NEW BEST:: SOT 2850356 SOS 1361690 HAS SOPS 1361690 HAS SOUS 977544 HAS SOUPS 977544 WITH SCORE 978905.69
AT ITER 797 NEW BEST:: SOT 2850515 SOS 1360427 HAS SOPS 1360427 HAS SOUS 977464 HAS SOUPS 977464 WITH SCORE 978824.427
AT ITER 799 NEW BEST:: SOT 2850115 SOS 1357864 HAS SOPS 1357864 HAS SOUS 976408 HAS SOUPS 976408 WITH SCORE 977765.864
AT ITER 800 NEW BEST:: SOT 2850115 SOS 1357502 HAS SOPS 1357502 HAS SOUS 976094 HAS SOUPS 976094 WITH SCORE 977451.502
AT ITER 801 NEW BEST:: SOT 2849599 SOS 1355923 HAS SOPS 1355923 HAS SOUS 975504 HAS SOUPS 975504 WITH SCORE 976859.923
AT ITER 809 NEW BEST:: SOT 2843477 SOS 1350461 HAS SOPS 1350461 HAS SOUS 969677 HAS SOUPS 969677 WITH SCORE 971027.461
AT ITER 811 NEW BEST:: SOT 2842924 SOS 1349355 HAS SOPS 1349355 HAS SOUS 969117 HAS SOUPS 969117 WITH SCORE 970466.355
AT ITER 822 NEW BEST:: SOT 2842956 SOS 1348910 HAS SOPS 1348910 HAS SOUS 968779 HAS SOUPS 968779 WITH SCORE 970127.91
AT ITER 823 NEW BEST:: SOT 2842956 SOS 1348909 HAS SOPS 1348909 HAS SOUS 968778 HAS SOUPS 968778 WITH SCORE 970126.909
AT ITER 825 NEW BEST:: SOT 2842715 SOS 1347945 HAS SOPS 1347945 HAS SOUS 968296 HAS SOUPS 968296 WITH SCORE 969643.945
AT ITER 827 NEW BEST:: SOT 2842715 SOS 1347815 HAS SOPS 1347815 HAS SOUS 968166 HAS SOUPS 968166 WITH SCORE 969513.815
AT ITER 831 NEW BEST:: SOT 2842476 SOS 1347722 HAS SOPS 1347722 HAS SOUS 967947 HAS SOUPS 967947 WITH SCORE 969294.722
AT ITER 834 NEW BEST:: SOT 2842476 SOS 1347722 HAS SOPS 1347722 HAS SOUS 967799 HAS SOUPS 967799 WITH SCORE 969146.722
AT ITER 847 NEW BEST:: SOT 2841928 SOS 1345557 HAS SOPS 1345557 HAS SOUS 966553 HAS SOUPS 966553 WITH SCORE 967898.557
AT ITER 868 NEW BEST:: SOT 2842123 SOS 1345187 HAS SOPS 1345187 HAS SOUS 966113 HAS SOUPS 966113 WITH SCORE 967458.187
AT ITER 871 NEW BEST:: SOT 2842123 SOS 1344820 HAS SOPS 1344820 HAS SOUS 965678 HAS SOUPS 965678 WITH SCORE 967022.82
AT ITER 878 NEW BEST:: SOT 2841970 SOS 1344667 HAS SOPS 1344667 HAS SOUS 965524 HAS SOUPS 965524 WITH SCORE 966868.667
AT ITER 884 NEW BEST:: SOT 2841629 SOS 1343985 HAS SOPS 1343985 HAS SOUS 965321 HAS SOUPS 965321 WITH SCORE 966664.985
AT ITER 886 NEW BEST:: SOT 2841417 SOS 1343137 HAS SOPS 1343137 HAS SOUS 964783 HAS SOUPS 964783 WITH SCORE 966126.137
AT ITER 887 NEW BEST:: SOT 2841417 SOS 1342804 HAS SOPS 1342804 HAS SOUS 964782 HAS SOUPS 964782 WITH SCORE 966124.804
AT ITER 891 NEW BEST:: SOT 2841417 SOS 1342804 HAS SOPS 1342804 HAS SOUS 964747 HAS SOUPS 964747 WITH SCORE 966089.804
AT ITER 893 NEW BEST:: SOT 2841078 SOS 1342126 HAS SOPS 1342126 HAS SOUS 964408 HAS SOUPS 964408 WITH SCORE 965750.126
AT ITER 898 NEW BEST:: SOT 2840975 SOS 1342117 HAS SOPS 1342117 HAS SOUS 964108 HAS SOUPS 964108 WITH SCORE 965450.117
AT ITER 900 NEW BEST:: SOT 2841376 SOS 1341031 HAS SOPS 1341031 HAS SOUS 963870 HAS SOUPS 963870 WITH SCORE 965211.031
AT ITER 903 NEW BEST:: SOT 2841329 SOS 1340937 HAS SOPS 1340937 HAS SOUS 963681 HAS SOUPS 963681 WITH SCORE 965021.937
AT ITER 908 NEW BEST:: SOT 2841329 SOS 1340937 HAS SOPS 1340937 HAS SOUS 963677 HAS SOUPS 963677 WITH SCORE 965017.937
AT ITER 909 NEW BEST:: SOT 2840922 SOS 1340838 HAS SOPS 1340838 HAS SOUS 963270 HAS SOUPS 963270 WITH SCORE 964610.838
AT ITER 913 NEW BEST:: SOT 2840313 SOS 1340229 HAS SOPS 1340229 HAS SOUS 962661 HAS SOUPS 962661 WITH SCORE 964001.229
AT ITER 915 NEW BEST:: SOT 2840222 SOS 1340210 HAS SOPS 1340210 HAS SOUS 962570 HAS SOUPS 962570 WITH SCORE 963910.21
AT ITER 924 NEW BEST:: SOT 2840187 SOS 1340140 HAS SOPS 1340140 HAS SOUS 962357 HAS SOUPS 962357 WITH SCORE 963697.14
AT ITER 926 NEW BEST:: SOT 2840110 SOS 1339986 HAS SOPS 1339986 HAS SOUS 962203 HAS SOUPS 962203 WITH SCORE 963542.986
AT ITER 934 NEW BEST:: SOT 2839825 SOS 1339538 HAS SOPS 1339538 HAS SOUS 961915 HAS SOUPS 961915 WITH SCORE 963254.538
AT ITER 942 NEW BEST:: SOT 2839487 SOS 1338861 HAS SOPS 1338861 HAS SOUS 961576 HAS SOUPS 961576 WITH SCORE 962914.861
AT ITER 943 NEW BEST:: SOT 2839490 SOS 1338474 HAS SOPS 1338474 HAS SOUS 961249 HAS SOUPS 961249 WITH SCORE 962587.474
AT ITER 944 NEW BEST:: SOT 2839476 SOS 1338669 HAS SOPS 1338669 HAS SOUS 961235 HAS SOUPS 961235 WITH SCORE 962573.669
AT ITER 945 NEW BEST:: SOT 2839345 SOS 1338740 HAS SOPS 1338740 HAS SOUS 960973 HAS SOUPS 960973 WITH SCORE 962311.74
AT ITER 947 NEW BEST:: SOT 2839345 SOS 1338585 HAS SOPS 1338585 HAS SOUS 960959 HAS SOUPS 960959 WITH SCORE 962297.585
AT ITER 948 NEW BEST:: SOT 2839372 SOS 1338190 HAS SOPS 1338190 HAS SOUS 960830 HAS SOUPS 960830 WITH SCORE 962168.19
AT ITER 951 NEW BEST:: SOT 2839620 SOS 1337985 HAS SOPS 1337985 HAS SOUS 959903 HAS SOUPS 959903 WITH SCORE 961240.985
AT ITER 953 NEW BEST:: SOT 2839620 SOS 1337697 HAS SOPS 1337697 HAS SOUS 959887 HAS SOUPS 959887 WITH SCORE 961224.697
AT ITER 954 NEW BEST:: SOT 2839620 SOS 1337693 HAS SOPS 1337693 HAS SOUS 959398 HAS SOUPS 959398 WITH SCORE 960735.693
AT ITER 956 NEW BEST:: SOT 2839278 SOS 1336325 HAS SOPS 1336325 HAS SOUS 958714 HAS SOUPS 958714 WITH SCORE 960050.325
AT ITER 960 NEW BEST:: SOT 2838578 SOS 1333829 HAS SOPS 1333829 HAS SOUS 957969 HAS SOUPS 957969 WITH SCORE 959302.829
AT ITER 961 NEW BEST:: SOT 2838280 SOS 1332531 HAS SOPS 1332531 HAS SOUS 957266 HAS SOUPS 957266 WITH SCORE 958598.531
AT ITER 974 NEW BEST:: SOT 2837875 SOS 1332119 HAS SOPS 1332119 HAS SOUS 956308 HAS SOUPS 956308 WITH SCORE 957640.119
AT ITER 978 NEW BEST:: SOT 2837340 SOS 1329369 HAS SOPS 1329369 HAS SOUS 955058 HAS SOUPS 955058 WITH SCORE 956387.369
AT ITER 980 NEW BEST:: SOT 2837319 SOS 1329347 HAS SOPS 1329347 HAS SOUS 954896 HAS SOUPS 954896 WITH SCORE 956225.347
AT ITER 984 NEW BEST:: SOT 2837018 SOS 1329201 HAS SOPS 1329201 HAS SOUS 954604 HAS SOUPS 954604 WITH SCORE 955933.201
AT ITER 998 NEW BEST:: SOT 2836915 SOS 1329098 HAS SOPS 1329098 HAS SOUS 954398 HAS SOUPS 954398 WITH SCORE 955727.098
AT ITER 999 NEW BEST:: SOT 2836915 SOS 1328754 HAS SOPS 1328754 HAS SOUS 953873 HAS SOUPS 953873 WITH SCORE 955201.754
AT ITER 1001 NEW BEST:: SOT 2836610 SOS 1328144 HAS SOPS 1328144 HAS SOUS 953567 HAS SOUPS 953567 WITH SCORE 954895.144
AT ITER 1003 NEW BEST:: SOT 2836072 SOS 1325426 HAS SOPS 1325426 HAS SOUS 952325 HAS SOUPS 952325 WITH SCORE 953650.426
AT ITER 1012 NEW BEST:: SOT 2835603 SOS 1324019 HAS SOPS 1324019 HAS SOUS 951808 HAS SOUPS 951808 WITH SCORE 953132.019
AT ITER 1013 NEW BEST:: SOT 2835178 SOS 1323594 HAS SOPS 1323594 HAS SOUS 951383 HAS SOUPS 951383 WITH SCORE 952706.594
AT ITER 1015 NEW BEST:: SOT 2835178 SOS 1323087 HAS SOPS 1323087 HAS SOUS 950988 HAS SOUPS 950988 WITH SCORE 952311.087
AT ITER 1023 NEW BEST:: SOT 2835178 SOS 1323087 HAS SOPS 1323087 HAS SOUS 950568 HAS SOUPS 950568 WITH SCORE 951891.087
AT ITER 1038 NEW BEST:: SOT 2835178 SOS 1322461 HAS SOPS 1322461 HAS SOUS 950531 HAS SOUPS 950531 WITH SCORE 951853.461
AT ITER 1045 NEW BEST:: SOT 2835178 SOS 1322181 HAS SOPS 1322181 HAS SOUS 950504 HAS SOUPS 950504 WITH SCORE 951826.181
AT ITER 1047 NEW BEST:: SOT 2835178 SOS 1322178 HAS SOPS 1322178 HAS SOUS 950185 HAS SOUPS 950185 WITH SCORE 951507.178
AT ITER 1048 NEW BEST:: SOT 2835129 SOS 1322031 HAS SOPS 1322031 HAS SOUS 950136 HAS SOUPS 950136 WITH SCORE 951458.031
AT ITER 1049 NEW BEST:: SOT 2834035 SOS 1318302 HAS SOPS 1318302 HAS SOUS 947328 HAS SOUPS 947328 WITH SCORE 948646.302
AT ITER 1051 NEW BEST:: SOT 2834035 SOS 1318273 HAS SOPS 1318273 HAS SOUS 947304 HAS SOUPS 947304 WITH SCORE 948622.273
AT ITER 1069 NEW BEST:: SOT 2833722 SOS 1317178 HAS SOPS 1317178 HAS SOUS 946835 HAS SOUPS 946835 WITH SCORE 948152.178
AT ITER 1077 NEW BEST:: SOT 2833722 SOS 1317178 HAS SOPS 1317178 HAS SOUS 946834 HAS SOUPS 946834 WITH SCORE 948151.178
AT ITER 1079 NEW BEST:: SOT 2833285 SOS 1317178 HAS SOPS 1317178 HAS SOUS 946833 HAS SOUPS 946833 WITH SCORE 948150.178
AT ITER 1081 NEW BEST:: SOT 2833285 SOS 1316728 HAS SOPS 1316728 HAS SOUS 946476 HAS SOUPS 946476 WITH SCORE 947792.728
AT ITER 1083 NEW BEST:: SOT 2833462 SOS 1315385 HAS SOPS 1315385 HAS SOUS 946405 HAS SOUPS 946405 WITH SCORE 947720.385
AT ITER 1085 NEW BEST:: SOT 2833586 SOS 1315190 HAS SOPS 1315190 HAS SOUS 945778 HAS SOUPS 945778 WITH SCORE 947093.19
AT ITER 1092 NEW BEST:: SOT 2833639 SOS 1314607 HAS SOPS 1314607 HAS SOUS 944973 HAS SOUPS 944973 WITH SCORE 946287.607
AT ITER 1094 NEW BEST:: SOT 2834014 SOS 1313963 HAS SOPS 1313963 HAS SOUS 944838 HAS SOUPS 944838 WITH SCORE 946151.963
AT ITER 1095 NEW BEST:: SOT 2833746 SOS 1313062 HAS SOPS 1313062 HAS SOUS 944238 HAS SOUPS 944238 WITH SCORE 945551.062
AT ITER 1102 NEW BEST:: SOT 2833581 SOS 1312732 HAS SOPS 1312732 HAS SOUS 944237 HAS SOUPS 944237 WITH SCORE 945549.732
AT ITER 1113 NEW BEST:: SOT 2833388 SOS 1312132 HAS SOPS 1312132 HAS SOUS 943751 HAS SOUPS 943751 WITH SCORE 945063.132
AT ITER 1114 NEW BEST:: SOT 2833330 SOS 1312016 HAS SOPS 1312016 HAS SOUS 943693 HAS SOUPS 943693 WITH SCORE 945005.016
AT ITER 1115 NEW BEST:: SOT 2833221 SOS 1311664 HAS SOPS 1311664 HAS SOUS 943677 HAS SOUPS 943677 WITH SCORE 944988.664
AT ITER 1117 NEW BEST:: SOT 2833175 SOS 1311618 HAS SOPS 1311618 HAS SOUS 943585 HAS SOUPS 943585 WITH SCORE 944896.618
AT ITER 1124 NEW BEST:: SOT 2833169 SOS 1311606 HAS SOPS 1311606 HAS SOUS 943573 HAS SOUPS 943573 WITH SCORE 944884.606
AT ITER 1132 NEW BEST:: SOT 2832965 SOS 1311198 HAS SOPS 1311198 HAS SOUS 943469 HAS SOUPS 943469 WITH SCORE 944780.198
AT ITER 1137 NEW BEST:: SOT 2832814 SOS 1310896 HAS SOPS 1310896 HAS SOUS 943318 HAS SOUPS 943318 WITH SCORE 944628.896
AT ITER 1138 NEW BEST:: SOT 2832445 SOS 1309578 HAS SOPS 1309578 HAS SOUS 942599 HAS SOUPS 942599 WITH SCORE 943908.578
AT ITER 1148 NEW BEST:: SOT 2832262 SOS 1309545 HAS SOPS 1309545 HAS SOUS 942599 HAS SOUPS 942599 WITH SCORE 943908.545
AT ITER 1154 NEW BEST:: SOT 2832070 SOS 1315293 HAS SOPS 1315293 HAS SOUS 942407 HAS SOUPS 942407 WITH SCORE 943722.293
AT ITER 1155 NEW BEST:: SOT 2832070 SOS 1314616 HAS SOPS 1314616 HAS SOUS 941403 HAS SOUPS 941403 WITH SCORE 942717.616
AT ITER 1156 NEW BEST:: SOT 2832430 SOS 1314945 HAS SOPS 1314945 HAS SOUS 941389 HAS SOUPS 941389 WITH SCORE 942703.945
AT ITER 1158 NEW BEST:: SOT 2832430 SOS 1314749 HAS SOPS 1314749 HAS SOUS 940829 HAS SOUPS 940829 WITH SCORE 942143.749
AT ITER 1161 NEW BEST:: SOT 2818547 SOS 1316243 HAS SOPS 1316243 HAS SOUS 928332 HAS SOUPS 928332 WITH SCORE 929648.243
AT ITER 1180 NEW BEST:: SOT 2818766 SOS 1316681 HAS SOPS 1316681 HAS SOUS 928183 HAS SOUPS 928183 WITH SCORE 929499.681
AT ITER 1181 NEW BEST:: SOT 2819664 SOS 1317636 HAS SOPS 1317636 HAS SOUS 927869 HAS SOUPS 927869 WITH SCORE 929186.636
AT ITER 1184 NEW BEST:: SOT 2819694 SOS 1317328 HAS SOPS 1317328 HAS SOUS 927531 HAS SOUPS 927531 WITH SCORE 928848.328
AT ITER 1188 NEW BEST:: SOT 2819894 SOS 1316333 HAS SOPS 1316333 HAS SOUS 927423 HAS SOUPS 927423 WITH SCORE 928739.333
AT ITER 1196 NEW BEST:: SOT 2819801 SOS 1315763 HAS SOPS 1315763 HAS SOUS 927330 HAS SOUPS 927330 WITH SCORE 928645.763
AT ITER 1200 NEW BEST:: SOT 2819485 SOS 1314666 HAS SOPS 1314666 HAS SOUS 927237 HAS SOUPS 927237 WITH SCORE 928551.666
AT ITER 1201 NEW BEST:: SOT 2819485 SOS 1314666 HAS SOPS 1314666 HAS SOUS 927197 HAS SOUPS 927197 WITH SCORE 928511.666
AT ITER 1206 NEW BEST:: SOT 2819827 SOS 1314891 HAS SOPS 1314891 HAS SOUS 927151 HAS SOUPS 927151 WITH SCORE 928465.891
AT ITER 1208 NEW BEST:: SOT 2819524 SOS 1314285 HAS SOPS 1314285 HAS SOUS 927105 HAS SOUPS 927105 WITH SCORE 928419.285
AT ITER 1232 NEW BEST:: SOT 2818873 SOS 1311501 HAS SOPS 1311501 HAS SOUS 926354 HAS SOUPS 926354 WITH SCORE 927665.501
AT ITER 1238 NEW BEST:: SOT 2818873 SOS 1311501 HAS SOPS 1311501 HAS SOUS 926305 HAS SOUPS 926305 WITH SCORE 927616.501
AT ITER 1248 NEW BEST:: SOT 2818873 SOS 1311501 HAS SOPS 1311501 HAS SOUS 926210 HAS SOUPS 926210 WITH SCORE 927521.501
AT ITER 1249 NEW BEST:: SOT 2818873 SOS 1311331 HAS SOPS 1311331 HAS SOUS 926040 HAS SOUPS 926040 WITH SCORE 927351.331
AT ITER 1254 NEW BEST:: SOT 2818215 SOS 1310342 HAS SOPS 1310342 HAS SOUS 925086 HAS SOUPS 925086 WITH SCORE 926396.342
AT ITER 1260 NEW BEST:: SOT 2818335 SOS 1309097 HAS SOPS 1309097 HAS SOUS 924587 HAS SOUPS 924587 WITH SCORE 925896.097
AT ITER 1261 NEW BEST:: SOT 2818335 SOS 1309097 HAS SOPS 1309097 HAS SOUS 923966 HAS SOUPS 923966 WITH SCORE 925275.097
AT ITER 1272 NEW BEST:: SOT 2818081 SOS 1308843 HAS SOPS 1308843 HAS SOUS 923608 HAS SOUPS 923608 WITH SCORE 924916.843
AT ITER 1275 NEW BEST:: SOT 2818081 SOS 1308620 HAS SOPS 1308620 HAS SOUS 923385 HAS SOUPS 923385 WITH SCORE 924693.62
AT ITER 1285 NEW BEST:: SOT 2817577 SOS 1307557 HAS SOPS 1307557 HAS SOUS 922881 HAS SOUPS 922881 WITH SCORE 924188.557
AT ITER 1288 NEW BEST:: SOT 2817577 SOS 1307518 HAS SOPS 1307518 HAS SOUS 922596 HAS SOUPS 922596 WITH SCORE 923903.518
AT ITER 1289 NEW BEST:: SOT 2817514 SOS 1305904 HAS SOPS 1305904 HAS SOUS 921789 HAS SOUPS 921789 WITH SCORE 923094.904
AT ITER 1292 NEW BEST:: SOT 2816521 SOS 1305101 HAS SOPS 1305101 HAS SOUS 920339 HAS SOUPS 920339 WITH SCORE 921644.101
AT ITER 1293 NEW BEST:: SOT 2816843 SOS 1305300 HAS SOPS 1305300 HAS SOUS 920144 HAS SOUPS 920144 WITH SCORE 921449.3
AT ITER 1296 NEW BEST:: SOT 2816843 SOS 1304946 HAS SOPS 1304946 HAS SOUS 920095 HAS SOUPS 920095 WITH SCORE 921399.946
AT ITER 1304 NEW BEST:: SOT 2816794 SOS 1304799 HAS SOPS 1304799 HAS SOUS 920046 HAS SOUPS 920046 WITH SCORE 921350.799
AT ITER 1305 NEW BEST:: SOT 2816794 SOS 1304799 HAS SOPS 1304799 HAS SOUS 919990 HAS SOUPS 919990 WITH SCORE 921294.799
AT ITER 1317 NEW BEST:: SOT 2816794 SOS 1304799 HAS SOPS 1304799 HAS SOUS 919835 HAS SOUPS 919835 WITH SCORE 921139.799
AT ITER 1319 NEW BEST:: SOT 2817259 SOS 1303765 HAS SOPS 1303765 HAS SOUS 919818 HAS SOUPS 919818 WITH SCORE 921121.765
AT ITER 1322 NEW BEST:: SOT 2817259 SOS 1303534 HAS SOPS 1303534 HAS SOUS 919818 HAS SOUPS 919818 WITH SCORE 921121.534
AT ITER 1327 NEW BEST:: SOT 2817259 SOS 1303293 HAS SOPS 1303293 HAS SOUS 919815 HAS SOUPS 919815 WITH SCORE 921118.293
AT ITER 1331 NEW BEST:: SOT 2817256 SOS 1303287 HAS SOPS 1303287 HAS SOUS 919809 HAS SOUPS 919809 WITH SCORE 921112.287
AT ITER 1333 NEW BEST:: SOT 2817252 SOS 1303755 HAS SOPS 1303755 HAS SOUS 919139 HAS SOUPS 919139 WITH SCORE 920442.755
AT ITER 1336 NEW BEST:: SOT 2817252 SOS 1303755 HAS SOPS 1303755 HAS SOUS 918988 HAS SOUPS 918988 WITH SCORE 920291.755
AT ITER 1339 NEW BEST:: SOT 2817203 SOS 1303706 HAS SOPS 1303706 HAS SOUS 918988 HAS SOUPS 918988 WITH SCORE 920291.706
AT ITER 1341 NEW BEST:: SOT 2817004 SOS 1302092 HAS SOPS 1302092 HAS SOUS 918580 HAS SOUPS 918580 WITH SCORE 919882.092
AT ITER 1343 NEW BEST:: SOT 2816522 SOS 1301873 HAS SOPS 1301873 HAS SOUS 918034 HAS SOUPS 918034 WITH SCORE 919335.873
AT ITER 1347 NEW BEST:: SOT 2816101 SOS 1300548 HAS SOPS 1300548 HAS SOUS 917613 HAS SOUPS 917613 WITH SCORE 918913.548
AT ITER 1351 NEW BEST:: SOT 2815619 SOS 1298672 HAS SOPS 1298672 HAS SOUS 917259 HAS SOUPS 917259 WITH SCORE 918557.672
AT ITER 1352 NEW BEST:: SOT 2815134 SOS 1297512 HAS SOPS 1297512 HAS SOUS 916288 HAS SOUPS 916288 WITH SCORE 917585.512
AT ITER 1355 NEW BEST:: SOT 2815134 SOS 1297534 HAS SOPS 1297534 HAS SOUS 916171 HAS SOUPS 916171 WITH SCORE 917468.534
AT ITER 1358 NEW BEST:: SOT 2814636 SOS 1294936 HAS SOPS 1294936 HAS SOUS 915192 HAS SOUPS 915192 WITH SCORE 916486.936
AT ITER 1359 NEW BEST:: SOT 2814469 SOS 1294602 HAS SOPS 1294602 HAS SOUS 914858 HAS SOUPS 914858 WITH SCORE 916152.602
AT ITER 1361 NEW BEST:: SOT 2814469 SOS 1294602 HAS SOPS 1294602 HAS SOUS 914842 HAS SOUPS 914842 WITH SCORE 916136.602
AT ITER 1362 NEW BEST:: SOT 2814343 SOS 1294724 HAS SOPS 1294724 HAS SOUS 914832 HAS SOUPS 914832 WITH SCORE 916126.724
AT ITER 1364 NEW BEST:: SOT 2813525 SOS 1293095 HAS SOPS 1293095 HAS SOUS 913574 HAS SOUPS 913574 WITH SCORE 914867.095
AT ITER 1373 NEW BEST:: SOT 2813509 SOS 1292098 HAS SOPS 1292098 HAS SOUS 913423 HAS SOUPS 913423 WITH SCORE 914715.098
AT ITER 1377 NEW BEST:: SOT 2812798 SOS 1291872 HAS SOPS 1291872 HAS SOUS 912954 HAS SOUPS 912954 WITH SCORE 914245.872
AT ITER 1378 NEW BEST:: SOT 2812758 SOS 1291792 HAS SOPS 1291792 HAS SOUS 912953 HAS SOUPS 912953 WITH SCORE 914244.792
AT ITER 1381 NEW BEST:: SOT 2812951 SOS 1291576 HAS SOPS 1291576 HAS SOUS 912559 HAS SOUPS 912559 WITH SCORE 913850.576
AT ITER 1383 NEW BEST:: SOT 2812881 SOS 1291296 HAS SOPS 1291296 HAS SOUS 912422 HAS SOUPS 912422 WITH SCORE 913713.296
AT ITER 1385 NEW BEST:: SOT 2813041 SOS 1291135 HAS SOPS 1291135 HAS SOUS 911792 HAS SOUPS 911792 WITH SCORE 913083.135
AT ITER 1391 NEW BEST:: SOT 2812982 SOS 1291017 HAS SOPS 1291017 HAS SOUS 911674 HAS SOUPS 911674 WITH SCORE 912965.017
AT ITER 1392 NEW BEST:: SOT 2812775 SOS 1290602 HAS SOPS 1290602 HAS SOUS 911673 HAS SOUPS 911673 WITH SCORE 912963.602
AT ITER 1393 NEW BEST:: SOT 2812775 SOS 1290602 HAS SOPS 1290602 HAS SOUS 911672 HAS SOUPS 911672 WITH SCORE 912962.602
AT ITER 1396 NEW BEST:: SOT 2812371 SOS 1289996 HAS SOPS 1289996 HAS SOUS 911268 HAS SOUPS 911268 WITH SCORE 912557.996
AT ITER 1398 NEW BEST:: SOT 2812371 SOS 1289947 HAS SOPS 1289947 HAS SOUS 911111 HAS SOUPS 911111 WITH SCORE 912400.947
AT ITER 1402 NEW BEST:: SOT 2812175 SOS 1289751 HAS SOPS 1289751 HAS SOUS 910914 HAS SOUPS 910914 WITH SCORE 912203.751
AT ITER 1403 NEW BEST:: SOT 2811865 SOS 1289131 HAS SOPS 1289131 HAS SOUS 910449 HAS SOUPS 910449 WITH SCORE 911738.131
AT ITER 1405 NEW BEST:: SOT 2811865 SOS 1289131 HAS SOPS 1289131 HAS SOUS 910361 HAS SOUPS 910361 WITH SCORE 911650.131
AT ITER 1409 NEW BEST:: SOT 2734544 SOS 1489908 HAS SOPS 1489908 HAS SOUS 839786 HAS SOUPS 839786 WITH SCORE 841275.908
AT ITER 1412 NEW BEST:: SOT 2734464 SOS 1489828 HAS SOPS 1489828 HAS SOUS 839706 HAS SOUPS 839706 WITH SCORE 841195.828
AT ITER 1413 NEW BEST:: SOT 2734372 SOS 1489644 HAS SOPS 1489644 HAS SOUS 839613 HAS SOUPS 839613 WITH SCORE 841102.644
AT ITER 1417 NEW BEST:: SOT 2733667 SOS 1488852 HAS SOPS 1488852 HAS SOUS 838908 HAS SOUPS 838908 WITH SCORE 840396.852
AT ITER 1419 NEW BEST:: SOT 2733564 SOS 1488879 HAS SOPS 1488879 HAS SOUS 838850 HAS SOUPS 838850 WITH SCORE 840338.879
AT ITER 1420 NEW BEST:: SOT 2733573 SOS 1487355 HAS SOPS 1487355 HAS SOUS 838636 HAS SOUPS 838636 WITH SCORE 840123.355
AT ITER 1422 NEW BEST:: SOT 2732875 SOS 1486456 HAS SOPS 1486456 HAS SOUS 838239 HAS SOUPS 838239 WITH SCORE 839725.456
AT ITER 1425 NEW BEST:: SOT 2732262 SOS 1485623 HAS SOPS 1485623 HAS SOUS 837626 HAS SOUPS 837626 WITH SCORE 839111.623
AT ITER 1428 NEW BEST:: SOT 2731597 SOS 1485337 HAS SOPS 1485337 HAS SOUS 837003 HAS SOUPS 837003 WITH SCORE 838488.337
AT ITER 1434 NEW BEST:: SOT 2731709 SOS 1484825 HAS SOPS 1484825 HAS SOUS 836566 HAS SOUPS 836566 WITH SCORE 838050.825
AT ITER 1436 NEW BEST:: SOT 2731227 SOS 1484125 HAS SOPS 1484125 HAS SOUS 836295 HAS SOUPS 836295 WITH SCORE 837779.125
AT ITER 1437 NEW BEST:: SOT 2731185 SOS 1484062 HAS SOPS 1484062 HAS SOUS 836253 HAS SOUPS 836253 WITH SCORE 837737.062
AT ITER 1441 NEW BEST:: SOT 2729425 SOS 1481653 HAS SOPS 1481653 HAS SOUS 834935 HAS SOUPS 834935 WITH SCORE 836416.653
AT ITER 1443 NEW BEST:: SOT 2729042 SOS 1481106 HAS SOPS 1481106 HAS SOUS 834552 HAS SOUPS 834552 WITH SCORE 836033.106
AT ITER 1445 NEW BEST:: SOT 2728960 SOS 1480947 HAS SOPS 1480947 HAS SOUS 834181 HAS SOUPS 834181 WITH SCORE 835661.947
AT ITER 1448 NEW BEST:: SOT 2728233 SOS 1479493 HAS SOPS 1479493 HAS SOUS 833454 HAS SOUPS 833454 WITH SCORE 834933.493
AT ITER 1449 NEW BEST:: SOT 2727992 SOS 1476685 HAS SOPS 1476685 HAS SOUS 832810 HAS SOUPS 832810 WITH SCORE 834286.685
AT ITER 1450 NEW BEST:: SOT 2727740 SOS 1476181 HAS SOPS 1476181 HAS SOUS 832367 HAS SOUPS 832367 WITH SCORE 833843.181
AT ITER 1454 NEW BEST:: SOT 2726666 SOS 1474705 HAS SOPS 1474705 HAS SOUS 831293 HAS SOUPS 831293 WITH SCORE 832767.705
AT ITER 1477 NEW BEST:: SOT 2726400 SOS 1474173 HAS SOPS 1474173 HAS SOUS 830995 HAS SOUPS 830995 WITH SCORE 832469.173
AT ITER 1490 NEW BEST:: SOT 2716546 SOS 1469455 HAS SOPS 1469455 HAS SOUS 822002 HAS SOUPS 822002 WITH SCORE 823471.455
AT ITER 1492 NEW BEST:: SOT 2715563 SOS 1468057 HAS SOPS 1468057 HAS SOUS 821158 HAS SOUPS 821158 WITH SCORE 822626.057
AT ITER 1493 NEW BEST:: SOT 2715563 SOS 1468057 HAS SOPS 1468057 HAS SOUS 821156 HAS SOUPS 821156 WITH SCORE 822624.057
AT ITER 1496 NEW BEST:: SOT 2715480 SOS 1467891 HAS SOPS 1467891 HAS SOUS 821073 HAS SOUPS 821073 WITH SCORE 822540.891
AT ITER 1500 NEW BEST:: SOT 2713792 SOS 1470265 HAS SOPS 1470265 HAS SOUS 819947 HAS SOUPS 819947 WITH SCORE 821417.265
AT ITER 1514 NEW BEST:: SOT 2713712 SOS 1469945 HAS SOPS 1469945 HAS SOUS 819787 HAS SOUPS 819787 WITH SCORE 821256.945
AT ITER 1519 NEW BEST:: SOT 2713543 SOS 1469778 HAS SOPS 1469778 HAS SOUS 819618 HAS SOUPS 819618 WITH SCORE 821087.778
AT ITER 1523 NEW BEST:: SOT 2713466 SOS 1469701 HAS SOPS 1469701 HAS SOUS 819618 HAS SOUPS 819618 WITH SCORE 821087.701
AT ITER 1528 NEW BEST:: SOT 2712541 SOS 1468776 HAS SOPS 1468776 HAS SOUS 818827 HAS SOUPS 818827 WITH SCORE 820295.776
AT ITER 1530 NEW BEST:: SOT 2712526 SOS 1468746 HAS SOPS 1468746 HAS SOUS 818797 HAS SOUPS 818797 WITH SCORE 820265.746
AT ITER 1531 NEW BEST:: SOT 2712395 SOS 1468615 HAS SOPS 1468615 HAS SOUS 818796 HAS SOUPS 818796 WITH SCORE 820264.615
AT ITER 1537 NEW BEST:: SOT 2711349 SOS 1465281 HAS SOPS 1465281 HAS SOUS 817243 HAS SOUPS 817243 WITH SCORE 818708.281
AT ITER 1545 NEW BEST:: SOT 2710693 SOS 1463969 HAS SOPS 1463969 HAS SOUS 816937 HAS SOUPS 816937 WITH SCORE 818400.969
AT ITER 1550 NEW BEST:: SOT 2709909 SOS 1462981 HAS SOPS 1462981 HAS SOUS 816239 HAS SOUPS 816239 WITH SCORE 817701.981
AT ITER 1557 NEW BEST:: SOT 2709838 SOS 1462910 HAS SOPS 1462910 HAS SOUS 816167 HAS SOUPS 816167 WITH SCORE 817629.91
AT ITER 1558 NEW BEST:: SOT 2709746 SOS 1462723 HAS SOPS 1462723 HAS SOUS 815622 HAS SOUPS 815622 WITH SCORE 817084.723
AT ITER 1560 NEW BEST:: SOT 2709746 SOS 1459134 HAS SOPS 1459134 HAS SOUS 815609 HAS SOUPS 815609 WITH SCORE 817068.134
AT ITER 1562 NEW BEST:: SOT 2709746 SOS 1459129 HAS SOPS 1459129 HAS SOUS 815609 HAS SOUPS 815609 WITH SCORE 817068.129
AT ITER 1565 NEW BEST:: SOT 2708573 SOS 1457494 HAS SOPS 1457494 HAS SOUS 814602 HAS SOUPS 814602 WITH SCORE 816059.494
AT ITER 1572 NEW BEST:: SOT 2708331 SOS 1457417 HAS SOPS 1457417 HAS SOUS 814531 HAS SOUPS 814531 WITH SCORE 815988.417
AT ITER 1574 NEW BEST:: SOT 2708149 SOS 1457244 HAS SOPS 1457244 HAS SOUS 814349 HAS SOUPS 814349 WITH SCORE 815806.244
AT ITER 1575 NEW BEST:: SOT 2708149 SOS 1457244 HAS SOPS 1457244 HAS SOUS 814282 HAS SOUPS 814282 WITH SCORE 815739.244
AT ITER 1576 NEW BEST:: SOT 2707776 SOS 1456871 HAS SOPS 1456871 HAS SOUS 813909 HAS SOUPS 813909 WITH SCORE 815365.871
AT ITER 1582 NEW BEST:: SOT 2707776 SOS 1456871 HAS SOPS 1456871 HAS SOUS 813750 HAS SOUPS 813750 WITH SCORE 815206.871
AT ITER 1587 NEW BEST:: SOT 2707776 SOS 1456322 HAS SOPS 1456322 HAS SOUS 813428 HAS SOUPS 813428 WITH SCORE 814884.322
AT ITER 1588 NEW BEST:: SOT 2707466 SOS 1456012 HAS SOPS 1456012 HAS SOUS 813118 HAS SOUPS 813118 WITH SCORE 814574.012
AT ITER 1591 NEW BEST:: SOT 2707466 SOS 1455878 HAS SOPS 1455878 HAS SOUS 812984 HAS SOUPS 812984 WITH SCORE 814439.878
AT ITER 1593 NEW BEST:: SOT 2707466 SOS 1455812 HAS SOPS 1455812 HAS SOUS 812918 HAS SOUPS 812918 WITH SCORE 814373.812
AT ITER 1596 NEW BEST:: SOT 2707466 SOS 1455812 HAS SOPS 1455812 HAS SOUS 812520 HAS SOUPS 812520 WITH SCORE 813975.812
AT ITER 1600 NEW BEST:: SOT 2707313 SOS 1455506 HAS SOPS 1455506 HAS SOUS 812367 HAS SOUPS 812367 WITH SCORE 813822.506
AT ITER 1603 NEW BEST:: SOT 2707313 SOS 1455119 HAS SOPS 1455119 HAS SOUS 811980 HAS SOUPS 811980 WITH SCORE 813435.119
AT ITER 1606 NEW BEST:: SOT 2706652 SOS 1453844 HAS SOPS 1453844 HAS SOUS 811121 HAS SOUPS 811121 WITH SCORE 812574.844
AT ITER 1607 NEW BEST:: SOT 2706652 SOS 1453848 HAS SOPS 1453848 HAS SOUS 810752 HAS SOUPS 810752 WITH SCORE 812205.848
AT ITER 1608 NEW BEST:: SOT 2706683 SOS 1453314 HAS SOPS 1453314 HAS SOUS 810255 HAS SOUPS 810255 WITH SCORE 811708.314
AT ITER 1609 NEW BEST:: SOT 2706683 SOS 1452941 HAS SOPS 1452941 HAS SOUS 810198 HAS SOUPS 810198 WITH SCORE 811650.941
AT ITER 1612 NEW BEST:: SOT 2706683 SOS 1452941 HAS SOPS 1452941 HAS SOUS 810191 HAS SOUPS 810191 WITH SCORE 811643.941
AT ITER 1614 NEW BEST:: SOT 2706957 SOS 1452523 HAS SOPS 1452523 HAS SOUS 810133 HAS SOUPS 810133 WITH SCORE 811585.523
AT ITER 1615 NEW BEST:: SOT 2706932 SOS 1451675 HAS SOPS 1451675 HAS SOUS 810108 HAS SOUPS 810108 WITH SCORE 811559.675
AT ITER 1622 NEW BEST:: SOT 2706216 SOS 1450959 HAS SOPS 1450959 HAS SOUS 810079 HAS SOUPS 810079 WITH SCORE 811529.959
AT ITER 1628 NEW BEST:: SOT 2706216 SOS 1450600 HAS SOPS 1450600 HAS SOUS 809349 HAS SOUPS 809349 WITH SCORE 810799.6
AT ITER 1630 NEW BEST:: SOT 2706126 SOS 1450465 HAS SOPS 1450465 HAS SOUS 809258 HAS SOUPS 809258 WITH SCORE 810708.465
AT ITER 1632 NEW BEST:: SOT 2705940 SOS 1450784 HAS SOPS 1450784 HAS SOUS 808723 HAS SOUPS 808723 WITH SCORE 810173.784
AT ITER 1639 NEW BEST:: SOT 2705482 SOS 1449868 HAS SOPS 1449868 HAS SOUS 808036 HAS SOUPS 808036 WITH SCORE 809485.868
AT ITER 1641 NEW BEST:: SOT 2705482 SOS 1449628 HAS SOPS 1449628 HAS SOUS 807927 HAS SOUPS 807927 WITH SCORE 809376.628
AT ITER 1645 NEW BEST:: SOT 2705219 SOS 1449102 HAS SOPS 1449102 HAS SOUS 807866 HAS SOUPS 807866 WITH SCORE 809315.102
AT ITER 1654 NEW BEST:: SOT 2704943 SOS 1449646 HAS SOPS 1449646 HAS SOUS 807726 HAS SOUPS 807726 WITH SCORE 809175.646
AT ITER 1657 NEW BEST:: SOT 2704801 SOS 1449504 HAS SOPS 1449504 HAS SOUS 807694 HAS SOUPS 807694 WITH SCORE 809143.504
AT ITER 1658 NEW BEST:: SOT 2704899 SOS 1449281 HAS SOPS 1449281 HAS SOUS 806686 HAS SOUPS 806686 WITH SCORE 808135.281
AT ITER 1664 NEW BEST:: SOT 2704899 SOS 1449163 HAS SOPS 1449163 HAS SOUS 806109 HAS SOUPS 806109 WITH SCORE 807558.163
AT ITER 1666 NEW BEST:: SOT 2704899 SOS 1448506 HAS SOPS 1448506 HAS SOUS 805828 HAS SOUPS 805828 WITH SCORE 807276.506
AT ITER 1674 NEW BEST:: SOT 2704659 SOS 1448026 HAS SOPS 1448026 HAS SOUS 805348 HAS SOUPS 805348 WITH SCORE 806796.026
AT ITER 1676 NEW BEST:: SOT 2704567 SOS 1447934 HAS SOPS 1447934 HAS SOUS 805348 HAS SOUPS 805348 WITH SCORE 806795.934
AT ITER 1678 NEW BEST:: SOT 2704567 SOS 1447934 HAS SOPS 1447934 HAS SOUS 804897 HAS SOUPS 804897 WITH SCORE 806344.934
AT ITER 1679 NEW BEST:: SOT 2704140 SOS 1447293 HAS SOPS 1447293 HAS SOUS 804785 HAS SOUPS 804785 WITH SCORE 806232.293
AT ITER 1681 NEW BEST:: SOT 2704140 SOS 1445930 HAS SOPS 1445930 HAS SOUS 804441 HAS SOUPS 804441 WITH SCORE 805886.93
AT ITER 1683 NEW BEST:: SOT 2703992 SOS 1445338 HAS SOPS 1445338 HAS SOUS 804208 HAS SOUPS 804208 WITH SCORE 805653.338
AT ITER 1684 NEW BEST:: SOT 2704031 SOS 1444945 HAS SOPS 1444945 HAS SOUS 804085 HAS SOUPS 804085 WITH SCORE 805529.945
AT ITER 1688 NEW BEST:: SOT 2704031 SOS 1444945 HAS SOPS 1444945 HAS SOUS 804003 HAS SOUPS 804003 WITH SCORE 805447.945
AT ITER 1689 NEW BEST:: SOT 2704031 SOS 1444729 HAS SOPS 1444729 HAS SOUS 804003 HAS SOUPS 804003 WITH SCORE 805447.729
AT ITER 1691 NEW BEST:: SOT 2704031 SOS 1444048 HAS SOPS 1444048 HAS SOUS 803296 HAS SOUPS 803296 WITH SCORE 804740.048
AT ITER 1696 NEW BEST:: SOT 2704238 SOS 1444596 HAS SOPS 1444596 HAS SOUS 802864 HAS SOUPS 802864 WITH SCORE 804308.596
AT ITER 1699 NEW BEST:: SOT 2704194 SOS 1442963 HAS SOPS 1442963 HAS SOUS 802043 HAS SOUPS 802043 WITH SCORE 803485.963
AT ITER 1700 NEW BEST:: SOT 2703836 SOS 1440651 HAS SOPS 1440651 HAS SOUS 800966 HAS SOUPS 800966 WITH SCORE 802406.651
AT ITER 1702 NEW BEST:: SOT 2703978 SOS 1440649 HAS SOPS 1440649 HAS SOUS 800726 HAS SOUPS 800726 WITH SCORE 802166.649
AT ITER 1710 NEW BEST:: SOT 2703506 SOS 1438336 HAS SOPS 1438336 HAS SOUS 799963 HAS SOUPS 799963 WITH SCORE 801401.336
AT ITER 1716 NEW BEST:: SOT 2703289 SOS 1438448 HAS SOPS 1438448 HAS SOUS 799707 HAS SOUPS 799707 WITH SCORE 801145.448
AT ITER 1719 NEW BEST:: SOT 2702827 SOS 1437524 HAS SOPS 1437524 HAS SOUS 798416 HAS SOUPS 798416 WITH SCORE 799853.524
AT ITER 1728 NEW BEST:: SOT 2702723 SOS 1437473 HAS SOPS 1437473 HAS SOUS 798312 HAS SOUPS 798312 WITH SCORE 799749.473
AT ITER 1731 NEW BEST:: SOT 2702699 SOS 1437337 HAS SOPS 1437337 HAS SOUS 797921 HAS SOUPS 797921 WITH SCORE 799358.337
AT ITER 1733 NEW BEST:: SOT 2702535 SOS 1437173 HAS SOPS 1437173 HAS SOUS 797535 HAS SOUPS 797535 WITH SCORE 798972.173
AT ITER 1747 NEW BEST:: SOT 2701921 SOS 1436111 HAS SOPS 1436111 HAS SOUS 796997 HAS SOUPS 796997 WITH SCORE 798433.111
AT ITER 1749 NEW BEST:: SOT 2701407 SOS 1435849 HAS SOPS 1435849 HAS SOUS 796604 HAS SOUPS 796604 WITH SCORE 798039.849
AT ITER 1750 NEW BEST:: SOT 2701383 SOS 1435825 HAS SOPS 1435825 HAS SOUS 796580 HAS SOUPS 796580 WITH SCORE 798015.825
AT ITER 1751 NEW BEST:: SOT 2701000 SOS 1434293 HAS SOPS 1434293 HAS SOUS 795690 HAS SOUPS 795690 WITH SCORE 797124.293
AT ITER 1755 NEW BEST:: SOT 2700912 SOS 1434204 HAS SOPS 1434204 HAS SOUS 795601 HAS SOUPS 795601 WITH SCORE 797035.204
AT ITER 1760 NEW BEST:: SOT 2700912 SOS 1434204 HAS SOPS 1434204 HAS SOUS 794798 HAS SOUPS 794798 WITH SCORE 796232.204
AT ITER 1765 NEW BEST:: SOT 2699506 SOS 1432340 HAS SOPS 1432340 HAS SOUS 793482 HAS SOUPS 793482 WITH SCORE 794914.34
AT ITER 1766 NEW BEST:: SOT 2699268 SOS 1431864 HAS SOPS 1431864 HAS SOUS 793006 HAS SOUPS 793006 WITH SCORE 794437.864
AT ITER 1767 NEW BEST:: SOT 2699589 SOS 1429936 HAS SOPS 1429936 HAS SOUS 792688 HAS SOUPS 792688 WITH SCORE 794117.936
AT ITER 1777 NEW BEST:: SOT 2699598 SOS 1428615 HAS SOPS 1428615 HAS SOUS 792194 HAS SOUPS 792194 WITH SCORE 793622.615
AT ITER 1802 NEW BEST:: SOT 2699598 SOS 1428326 HAS SOPS 1428326 HAS SOUS 792194 HAS SOUPS 792194 WITH SCORE 793622.326
AT ITER 1807 NEW BEST:: SOT 2699208 SOS 1427806 HAS SOPS 1427806 HAS SOUS 791804 HAS SOUPS 791804 WITH SCORE 793231.806
AT ITER 1821 NEW BEST:: SOT 2699208 SOS 1427806 HAS SOPS 1427806 HAS SOUS 791671 HAS SOUPS 791671 WITH SCORE 793098.806
AT ITER 1823 NEW BEST:: SOT 2699162 SOS 1427714 HAS SOPS 1427714 HAS SOUS 791624 HAS SOUPS 791624 WITH SCORE 793051.714
AT ITER 1827 NEW BEST:: SOT 2699159 SOS 1427708 HAS SOPS 1427708 HAS SOUS 791618 HAS SOUPS 791618 WITH SCORE 793045.708
AT ITER 1830 NEW BEST:: SOT 2698409 SOS 1426924 HAS SOPS 1426924 HAS SOUS 791146 HAS SOUPS 791146 WITH SCORE 792572.924
AT ITER 1849 NEW BEST:: SOT 2697618 SOS 1426166 HAS SOPS 1426166 HAS SOUS 790654 HAS SOUPS 790654 WITH SCORE 792080.166
AT ITER 1852 NEW BEST:: SOT 2697771 SOS 1424956 HAS SOPS 1424956 HAS SOUS 790195 HAS SOUPS 790195 WITH SCORE 791619.956
AT ITER 1856 NEW BEST:: SOT 2697771 SOS 1424956 HAS SOPS 1424956 HAS SOUS 790119 HAS SOUPS 790119 WITH SCORE 791543.956
AT ITER 1866 NEW BEST:: SOT 2697771 SOS 1424956 HAS SOPS 1424956 HAS SOUS 789484 HAS SOUPS 789484 WITH SCORE 790908.956
AT ITER 1867 NEW BEST:: SOT 2697754 SOS 1424939 HAS SOPS 1424939 HAS SOUS 789189 HAS SOUPS 789189 WITH SCORE 790613.939
AT ITER 1870 NEW BEST:: SOT 2697782 SOS 1424379 HAS SOPS 1424379 HAS SOUS 789189 HAS SOUPS 789189 WITH SCORE 790613.379
AT ITER 1876 NEW BEST:: SOT 2697782 SOS 1424379 HAS SOPS 1424379 HAS SOUS 789150 HAS SOUPS 789150 WITH SCORE 790574.379
AT ITER 1879 NEW BEST:: SOT 2697794 SOS 1425516 HAS SOPS 1425516 HAS SOUS 788754 HAS SOUPS 788754 WITH SCORE 790179.516
AT ITER 1882 NEW BEST:: SOT 2697744 SOS 1423374 HAS SOPS 1423374 HAS SOUS 788704 HAS SOUPS 788704 WITH SCORE 790127.374
AT ITER 1885 NEW BEST:: SOT 2697527 SOS 1422506 HAS SOPS 1422506 HAS SOUS 788270 HAS SOUPS 788270 WITH SCORE 789692.506
AT ITER 1887 NEW BEST:: SOT 2697310 SOS 1418094 HAS SOPS 1418094 HAS SOUS 787699 HAS SOUPS 787699 WITH SCORE 789117.094
AT ITER 1897 NEW BEST:: SOT 2697104 SOS 1417682 HAS SOPS 1417682 HAS SOUS 787287 HAS SOUPS 787287 WITH SCORE 788704.682
AT ITER 1898 NEW BEST:: SOT 2697104 SOS 1417682 HAS SOPS 1417682 HAS SOUS 787068 HAS SOUPS 787068 WITH SCORE 788485.682
AT ITER 1906 NEW BEST:: SOT 2696932 SOS 1416994 HAS SOPS 1416994 HAS SOUS 786742 HAS SOUPS 786742 WITH SCORE 788158.994
AT ITER 1919 NEW BEST:: SOT 2696932 SOS 1416554 HAS SOPS 1416554 HAS SOUS 786742 HAS SOUPS 786742 WITH SCORE 788158.554
AT ITER 1926 NEW BEST:: SOT 2696932 SOS 1417032 HAS SOPS 1417032 HAS SOUS 786616 HAS SOUPS 786616 WITH SCORE 788033.032
AT ITER 1933 NEW BEST:: SOT 2696529 SOS 1416449 HAS SOPS 1416449 HAS SOUS 786213 HAS SOUPS 786213 WITH SCORE 787629.449
AT ITER 1938 NEW BEST:: SOT 2697055 SOS 1416654 HAS SOPS 1416654 HAS SOUS 786030 HAS SOUPS 786030 WITH SCORE 787446.654
AT ITER 1940 NEW BEST:: SOT 2697055 SOS 1416422 HAS SOPS 1416422 HAS SOUS 785798 HAS SOUPS 785798 WITH SCORE 787214.422
AT ITER 1942 NEW BEST:: SOT 2697030 SOS 1416968 HAS SOPS 1416968 HAS SOUS 785773 HAS SOUPS 785773 WITH SCORE 787189.968
AT ITER 1944 NEW BEST:: SOT 2696966 SOS 1416904 HAS SOPS 1416904 HAS SOUS 785645 HAS SOUPS 785645 WITH SCORE 787061.904
AT ITER 1950 NEW BEST:: SOT 2696866 SOS 1416274 HAS SOPS 1416274 HAS SOUS 785041 HAS SOUPS 785041 WITH SCORE 786457.274
AT ITER 1956 NEW BEST:: SOT 2686351 SOS 1420874 HAS SOPS 1420874 HAS SOUS 777579 HAS SOUPS 777579 WITH SCORE 778999.874
AT ITER 1959 NEW BEST:: SOT 2685681 SOS 1419534 HAS SOPS 1419534 HAS SOUS 776909 HAS SOUPS 776909 WITH SCORE 778328.534
AT ITER 1963 NEW BEST:: SOT 2685681 SOS 1419534 HAS SOPS 1419534 HAS SOUS 776892 HAS SOUPS 776892 WITH SCORE 778311.534
AT ITER 1964 NEW BEST:: SOT 2685778 SOS 1417569 HAS SOPS 1417569 HAS SOUS 776589 HAS SOUPS 776589 WITH SCORE 778006.569
AT ITER 1968 NEW BEST:: SOT 2685778 SOS 1417569 HAS SOPS 1417569 HAS SOUS 776528 HAS SOUPS 776528 WITH SCORE 777945.569
AT ITER 1975 NEW BEST:: SOT 2685426 SOS 1417290 HAS SOPS 1417290 HAS SOUS 776281 HAS SOUPS 776281 WITH SCORE 777698.29
AT ITER 1976 NEW BEST:: SOT 2674977 SOS 1421991 HAS SOPS 1421991 HAS SOUS 768167 HAS SOUPS 768167 WITH SCORE 769588.991
AT ITER 1983 NEW BEST:: SOT 2674721 SOS 1421479 HAS SOPS 1421479 HAS SOUS 767743 HAS SOUPS 767743 WITH SCORE 769164.479
AT ITER 1984 NEW BEST:: SOT 2673723 SOS 1419497 HAS SOPS 1419497 HAS SOUS 766314 HAS SOUPS 766314 WITH SCORE 767733.497
AT ITER 1986 NEW BEST:: SOT 2673616 SOS 1419283 HAS SOPS 1419283 HAS SOUS 766217 HAS SOUPS 766217 WITH SCORE 767636.283
AT ITER 2001 NEW BEST:: SOT 2673616 SOS 1419150 HAS SOPS 1419150 HAS SOUS 766217 HAS SOUPS 766217 WITH SCORE 767636.15
AT ITER 2004 NEW BEST:: SOT 2673542 SOS 1418663 HAS SOPS 1418663 HAS SOUS 766143 HAS SOUPS 766143 WITH SCORE 767561.663
AT ITER 2005 NEW BEST:: SOT 2673116 SOS 1418366 HAS SOPS 1418366 HAS SOUS 765846 HAS SOUPS 765846 WITH SCORE 767264.366
AT ITER 2006 NEW BEST:: SOT 2673116 SOS 1418600 HAS SOPS 1418600 HAS SOUS 765774 HAS SOUPS 765774 WITH SCORE 767192.6
AT ITER 2015 NEW BEST:: SOT 2672848 SOS 1418064 HAS SOPS 1418064 HAS SOUS 765506 HAS SOUPS 765506 WITH SCORE 766924.064
AT ITER 2023 NEW BEST:: SOT 2672827 SOS 1418022 HAS SOPS 1418022 HAS SOUS 765464 HAS SOUPS 765464 WITH SCORE 766882.022
AT ITER 2024 NEW BEST:: SOT 2672318 SOS 1417865 HAS SOPS 1417865 HAS SOUS 765455 HAS SOUPS 765455 WITH SCORE 766872.865
AT ITER 2025 NEW BEST:: SOT 2672411 SOS 1417774 HAS SOPS 1417774 HAS SOUS 765364 HAS SOUPS 765364 WITH SCORE 766781.774
AT ITER 2027 NEW BEST:: SOT 2671156 SOS 1416373 HAS SOPS 1416373 HAS SOUS 765072 HAS SOUPS 765072 WITH SCORE 766488.373
AT ITER 2035 NEW BEST:: SOT 2670622 SOS 1415839 HAS SOPS 1415839 HAS SOUS 764941 HAS SOUPS 764941 WITH SCORE 766356.839
AT ITER 2037 NEW BEST:: SOT 2670109 SOS 1414813 HAS SOPS 1414813 HAS SOUS 763915 HAS SOUPS 763915 WITH SCORE 765329.813
AT ITER 2039 NEW BEST:: SOT 2669308 SOS 1413211 HAS SOPS 1413211 HAS SOUS 763154 HAS SOUPS 763154 WITH SCORE 764567.211
AT ITER 2041 NEW BEST:: SOT 2669074 SOS 1412743 HAS SOPS 1412743 HAS SOUS 762686 HAS SOUPS 762686 WITH SCORE 764098.743
AT ITER 2044 NEW BEST:: SOT 2669796 SOS 1411670 HAS SOPS 1411670 HAS SOUS 761282 HAS SOUPS 761282 WITH SCORE 762693.67
AT ITER 2045 NEW BEST:: SOT 2669999 SOS 1412076 HAS SOPS 1412076 HAS SOUS 761171 HAS SOUPS 761171 WITH SCORE 762583.076
AT ITER 2048 NEW BEST:: SOT 2669116 SOS 1411193 HAS SOPS 1411193 HAS SOUS 760345 HAS SOUPS 760345 WITH SCORE 761756.193
AT ITER 2050 NEW BEST:: SOT 2669156 SOS 1411282 HAS SOPS 1411282 HAS SOUS 759928 HAS SOUPS 759928 WITH SCORE 761339.282
AT ITER 2052 NEW BEST:: SOT 2668541 SOS 1409482 HAS SOPS 1409482 HAS SOUS 758438 HAS SOUPS 758438 WITH SCORE 759847.482
AT ITER 2059 NEW BEST:: SOT 2668541 SOS 1409482 HAS SOPS 1409482 HAS SOUS 758437 HAS SOUPS 758437 WITH SCORE 759846.482
AT ITER 2061 NEW BEST:: SOT 2668556 SOS 1409504 HAS SOPS 1409504 HAS SOUS 758400 HAS SOUPS 758400 WITH SCORE 759809.504
AT ITER 2078 NEW BEST:: SOT 2668161 SOS 1408804 HAS SOPS 1408804 HAS SOUS 757684 HAS SOUPS 757684 WITH SCORE 759092.804
AT ITER 2084 NEW BEST:: SOT 2668161 SOS 1408127 HAS SOPS 1408127 HAS SOUS 757382 HAS SOUPS 757382 WITH SCORE 758790.127
AT ITER 2088 NEW BEST:: SOT 2667601 SOS 1407007 HAS SOPS 1407007 HAS SOUS 756632 HAS SOUPS 756632 WITH SCORE 758039.007
AT ITER 2089 NEW BEST:: SOT 2667131 SOS 1406537 HAS SOPS 1406537 HAS SOUS 756294 HAS SOUPS 756294 WITH SCORE 757700.537
AT ITER 2090 NEW BEST:: SOT 2666225 SOS 1405425 HAS SOPS 1405425 HAS SOUS 755364 HAS SOUPS 755364 WITH SCORE 756769.425
AT ITER 2094 NEW BEST:: SOT 2666205 SOS 1405374 HAS SOPS 1405374 HAS SOUS 755333 HAS SOUPS 755333 WITH SCORE 756738.374
AT ITER 2097 NEW BEST:: SOT 2666190 SOS 1405209 HAS SOPS 1405209 HAS SOUS 755318 HAS SOUPS 755318 WITH SCORE 756723.209
AT ITER 2098 NEW BEST:: SOT 2665958 SOS 1404058 HAS SOPS 1404058 HAS SOUS 754754 HAS SOUPS 754754 WITH SCORE 756158.058
AT ITER 2102 NEW BEST:: SOT 2665904 SOS 1404004 HAS SOPS 1404004 HAS SOUS 754700 HAS SOUPS 754700 WITH SCORE 756104.004
AT ITER 2105 NEW BEST:: SOT 2665263 SOS 1403378 HAS SOPS 1403378 HAS SOUS 754047 HAS SOUPS 754047 WITH SCORE 755450.378
AT ITER 2116 NEW BEST:: SOT 2665256 SOS 1403364 HAS SOPS 1403364 HAS SOUS 754040 HAS SOUPS 754040 WITH SCORE 755443.364
AT ITER 2118 NEW BEST:: SOT 2664453 SOS 1402561 HAS SOPS 1402561 HAS SOUS 753583 HAS SOUPS 753583 WITH SCORE 754985.561
AT ITER 2122 NEW BEST:: SOT 2664541 SOS 1402456 HAS SOPS 1402456 HAS SOUS 753197 HAS SOUPS 753197 WITH SCORE 754599.456
AT ITER 2132 NEW BEST:: SOT 2664720 SOS 1403471 HAS SOPS 1403471 HAS SOUS 752898 HAS SOUPS 752898 WITH SCORE 754301.471
AT ITER 2141 NEW BEST:: SOT 2664416 SOS 1402662 HAS SOPS 1402662 HAS SOUS 752434 HAS SOUPS 752434 WITH SCORE 753836.662
AT ITER 2143 NEW BEST:: SOT 2664416 SOS 1402662 HAS SOPS 1402662 HAS SOUS 752366 HAS SOUPS 752366 WITH SCORE 753768.662
AT ITER 2151 NEW BEST:: SOT 2664416 SOS 1402297 HAS SOPS 1402297 HAS SOUS 751723 HAS SOUPS 751723 WITH SCORE 753125.297
AT ITER 2162 NEW BEST:: SOT 2663684 SOS 1401386 HAS SOPS 1401386 HAS SOUS 750991 HAS SOUPS 750991 WITH SCORE 752392.386
AT ITER 2165 NEW BEST:: SOT 2662242 SOS 1399509 HAS SOPS 1399509 HAS SOUS 749549 HAS SOUPS 749549 WITH SCORE 750948.509
AT ITER 2166 NEW BEST:: SOT 2662104 SOS 1399371 HAS SOPS 1399371 HAS SOUS 749490 HAS SOUPS 749490 WITH SCORE 750889.371
AT ITER 2176 NEW BEST:: SOT 2661582 SOS 1398849 HAS SOPS 1398849 HAS SOUS 749153 HAS SOUPS 749153 WITH SCORE 750551.849
AT ITER 2180 NEW BEST:: SOT 2661784 SOS 1398035 HAS SOPS 1398035 HAS SOUS 748704 HAS SOUPS 748704 WITH SCORE 750102.035
AT ITER 2185 NEW BEST:: SOT 2661772 SOS 1397246 HAS SOPS 1397246 HAS SOUS 748400 HAS SOUPS 748400 WITH SCORE 749797.246
AT ITER 2191 NEW BEST:: SOT 2661651 SOS 1397125 HAS SOPS 1397125 HAS SOUS 748399 HAS SOUPS 748399 WITH SCORE 749796.125
AT ITER 2195 NEW BEST:: SOT 2661651 SOS 1397125 HAS SOPS 1397125 HAS SOUS 747947 HAS SOUPS 747947 WITH SCORE 749344.125
AT ITER 2202 NEW BEST:: SOT 2661574 SOS 1396613 HAS SOPS 1396613 HAS SOUS 747717 HAS SOUPS 747717 WITH SCORE 749113.613
AT ITER 2203 NEW BEST:: SOT 2661473 SOS 1396310 HAS SOPS 1396310 HAS SOUS 747414 HAS SOUPS 747414 WITH SCORE 748810.31
AT ITER 2204 NEW BEST:: SOT 2661445 SOS 1396282 HAS SOPS 1396282 HAS SOUS 747386 HAS SOUPS 747386 WITH SCORE 748782.282
AT ITER 2210 NEW BEST:: SOT 2661416 SOS 1396253 HAS SOPS 1396253 HAS SOUS 747337 HAS SOUPS 747337 WITH SCORE 748733.253
AT ITER 2212 NEW BEST:: SOT 2661416 SOS 1395075 HAS SOPS 1395075 HAS SOUS 746936 HAS SOUPS 746936 WITH SCORE 748331.075
AT ITER 2213 NEW BEST:: SOT 2661416 SOS 1394996 HAS SOPS 1394996 HAS SOUS 746936 HAS SOUPS 746936 WITH SCORE 748330.996
AT ITER 2221 NEW BEST:: SOT 2660904 SOS 1394038 HAS SOPS 1394038 HAS SOUS 746424 HAS SOUPS 746424 WITH SCORE 747818.038
AT ITER 2233 NEW BEST:: SOT 2660535 SOS 1393669 HAS SOPS 1393669 HAS SOUS 746055 HAS SOUPS 746055 WITH SCORE 747448.669
AT ITER 2242 NEW BEST:: SOT 2659920 SOS 1393095 HAS SOPS 1393095 HAS SOUS 745563 HAS SOUPS 745563 WITH SCORE 746956.095
AT ITER 2248 NEW BEST:: SOT 2659606 SOS 1392781 HAS SOPS 1392781 HAS SOUS 745249 HAS SOUPS 745249 WITH SCORE 746641.781
AT ITER 2253 NEW BEST:: SOT 2657128 SOS 1391055 HAS SOPS 1391055 HAS SOUS 743077 HAS SOUPS 743077 WITH SCORE 744468.055
AT ITER 2270 NEW BEST:: SOT 2657075 SOS 1391002 HAS SOPS 1391002 HAS SOUS 743023 HAS SOUPS 743023 WITH SCORE 744414.002
AT ITER 2273 NEW BEST:: SOT 2657075 SOS 1391002 HAS SOPS 1391002 HAS SOUS 742910 HAS SOUPS 742910 WITH SCORE 744301.002
AT ITER 2285 NEW BEST:: SOT 2656669 SOS 1390190 HAS SOPS 1390190 HAS SOUS 742793 HAS SOUPS 742793 WITH SCORE 744183.19
AT ITER 2289 NEW BEST:: SOT 2656731 SOS 1390170 HAS SOPS 1390170 HAS SOUS 742773 HAS SOUPS 742773 WITH SCORE 744163.17
AT ITER 2306 NEW BEST:: SOT 2656978 SOS 1390073 HAS SOPS 1390073 HAS SOUS 742519 HAS SOUPS 742519 WITH SCORE 743909.073
AT ITER 2311 NEW BEST:: SOT 2655571 SOS 1388147 HAS SOPS 1388147 HAS SOUS 741112 HAS SOUPS 741112 WITH SCORE 742500.147
AT ITER 2316 NEW BEST:: SOT 2655488 SOS 1388099 HAS SOPS 1388099 HAS SOUS 740617 HAS SOUPS 740617 WITH SCORE 742005.099
AT ITER 2318 NEW BEST:: SOT 2655385 SOS 1387687 HAS SOPS 1387687 HAS SOUS 740514 HAS SOUPS 740514 WITH SCORE 741901.687
AT ITER 2320 NEW BEST:: SOT 2655162 SOS 1387464 HAS SOPS 1387464 HAS SOUS 740291 HAS SOUPS 740291 WITH SCORE 741678.464
AT ITER 2321 NEW BEST:: SOT 2655162 SOS 1387464 HAS SOPS 1387464 HAS SOUS 740223 HAS SOUPS 740223 WITH SCORE 741610.464
AT ITER 2333 NEW BEST:: SOT 2655134 SOS 1387896 HAS SOPS 1387896 HAS SOUS 740061 HAS SOUPS 740061 WITH SCORE 741448.896
AT ITER 2336 NEW BEST:: SOT 2655134 SOS 1387390 HAS SOPS 1387390 HAS SOUS 740061 HAS SOUPS 740061 WITH SCORE 741448.39
AT ITER 2338 NEW BEST:: SOT 2655085 SOS 1387292 HAS SOPS 1387292 HAS SOUS 739963 HAS SOUPS 739963 WITH SCORE 741350.292
AT ITER 2349 NEW BEST:: SOT 2655085 SOS 1387292 HAS SOPS 1387292 HAS SOUS 739514 HAS SOUPS 739514 WITH SCORE 740901.292
AT ITER 2357 NEW BEST:: SOT 2655069 SOS 1387260 HAS SOPS 1387260 HAS SOUS 739482 HAS SOUPS 739482 WITH SCORE 740869.26
AT ITER 2365 NEW BEST:: SOT 2655069 SOS 1387101 HAS SOPS 1387101 HAS SOUS 739482 HAS SOUPS 739482 WITH SCORE 740869.101
AT ITER 2370 NEW BEST:: SOT 2655003 SOS 1387035 HAS SOPS 1387035 HAS SOUS 739416 HAS SOUPS 739416 WITH SCORE 740803.035
AT ITER 2371 NEW BEST:: SOT 2655003 SOS 1387013 HAS SOPS 1387013 HAS SOUS 739405 HAS SOUPS 739405 WITH SCORE 740792.013
AT ITER 2385 NEW BEST:: SOT 2654811 SOS 1386821 HAS SOPS 1386821 HAS SOUS 739213 HAS SOUPS 739213 WITH SCORE 740599.821
AT ITER 2388 NEW BEST:: SOT 2654486 SOS 1385337 HAS SOPS 1385337 HAS SOUS 738137 HAS SOUPS 738137 WITH SCORE 739522.337
AT ITER 2392 NEW BEST:: SOT 2654486 SOS 1385337 HAS SOPS 1385337 HAS SOUS 738087 HAS SOUPS 738087 WITH SCORE 739472.337
AT ITER 2405 NEW BEST:: SOT 2653452 SOS 1383863 HAS SOPS 1383863 HAS SOUS 737053 HAS SOUPS 737053 WITH SCORE 738436.863
AT ITER 2413 NEW BEST:: SOT 2653449 SOS 1383595 HAS SOPS 1383595 HAS SOUS 736877 HAS SOUPS 736877 WITH SCORE 738260.595
AT ITER 2415 NEW BEST:: SOT 2653228 SOS 1382724 HAS SOPS 1382724 HAS SOUS 736212 HAS SOUPS 736212 WITH SCORE 737594.724
AT ITER 2419 NEW BEST:: SOT 2652134 SOS 1381630 HAS SOPS 1381630 HAS SOUS 735123 HAS SOUPS 735123 WITH SCORE 736504.63
AT ITER 2425 NEW BEST:: SOT 2652134 SOS 1381630 HAS SOPS 1381630 HAS SOUS 734849 HAS SOUPS 734849 WITH SCORE 736230.63
AT ITER 2434 NEW BEST:: SOT 2651367 SOS 1379990 HAS SOPS 1379990 HAS SOUS 734223 HAS SOUPS 734223 WITH SCORE 735602.99
AT ITER 2440 NEW BEST:: SOT 2651203 SOS 1379661 HAS SOPS 1379661 HAS SOUS 733894 HAS SOUPS 733894 WITH SCORE 735273.661
AT ITER 2444 NEW BEST:: SOT 2650612 SOS 1378893 HAS SOPS 1378893 HAS SOUS 733687 HAS SOUPS 733687 WITH SCORE 735065.893
AT ITER 2447 NEW BEST:: SOT 2650718 SOS 1377954 HAS SOPS 1377954 HAS SOUS 732784 HAS SOUPS 732784 WITH SCORE 734161.954
AT ITER 2450 NEW BEST:: SOT 2650698 SOS 1375803 HAS SOPS 1375803 HAS SOUS 731244 HAS SOUPS 731244 WITH SCORE 732619.803
AT ITER 2453 NEW BEST:: SOT 2650568 SOS 1375882 HAS SOPS 1375882 HAS SOUS 730956 HAS SOUPS 730956 WITH SCORE 732331.882
AT ITER 2456 NEW BEST:: SOT 2650512 SOS 1375826 HAS SOPS 1375826 HAS SOUS 730856 HAS SOUPS 730856 WITH SCORE 732231.826
AT ITER 2465 NEW BEST:: SOT 2650512 SOS 1375826 HAS SOPS 1375826 HAS SOUS 730771 HAS SOUPS 730771 WITH SCORE 732146.826
AT ITER 2479 NEW BEST:: SOT 2649958 SOS 1375272 HAS SOPS 1375272 HAS SOUS 730231 HAS SOUPS 730231 WITH SCORE 731606.272
AT ITER 2482 NEW BEST:: SOT 2649697 SOS 1375011 HAS SOPS 1375011 HAS SOUS 729970 HAS SOUPS 729970 WITH SCORE 731345.011
AT ITER 2485 NEW BEST:: SOT 2649779 SOS 1375092 HAS SOPS 1375092 HAS SOUS 729627 HAS SOUPS 729627 WITH SCORE 731002.092
AT ITER 2487 NEW BEST:: SOT 2649779 SOS 1374873 HAS SOPS 1374873 HAS SOUS 729551 HAS SOUPS 729551 WITH SCORE 730925.873
AT ITER 2498 NEW BEST:: SOT 2649503 SOS 1374446 HAS SOPS 1374446 HAS SOUS 729487 HAS SOUPS 729487 WITH SCORE 730861.446
AT ITER 2521 NEW BEST:: SOT 2649503 SOS 1374446 HAS SOPS 1374446 HAS SOUS 729334 HAS SOUPS 729334 WITH SCORE 730708.446
AT ITER 2522 NEW BEST:: SOT 2649468 SOS 1373823 HAS SOPS 1373823 HAS SOUS 728711 HAS SOUPS 728711 WITH SCORE 730084.823
AT ITER 2523 NEW BEST:: SOT 2648914 SOS 1373861 HAS SOPS 1373861 HAS SOUS 728556 HAS SOUPS 728556 WITH SCORE 729929.861
AT ITER 2528 NEW BEST:: SOT 2648847 SOS 1373727 HAS SOPS 1373727 HAS SOUS 728422 HAS SOUPS 728422 WITH SCORE 729795.727
AT ITER 2529 NEW BEST:: SOT 2648847 SOS 1373060 HAS SOPS 1373060 HAS SOUS 728393 HAS SOUPS 728393 WITH SCORE 729766.06
AT ITER 2538 NEW BEST:: SOT 2648863 SOS 1372614 HAS SOPS 1372614 HAS SOUS 727931 HAS SOUPS 727931 WITH SCORE 729303.614
AT ITER 2540 NEW BEST:: SOT 2648863 SOS 1372526 HAS SOPS 1372526 HAS SOUS 727843 HAS SOUPS 727843 WITH SCORE 729215.526
AT ITER 2544 NEW BEST:: SOT 2648167 SOS 1371630 HAS SOPS 1371630 HAS SOUS 727513 HAS SOUPS 727513 WITH SCORE 728884.63
AT ITER 2546 NEW BEST:: SOT 2648066 SOS 1371529 HAS SOPS 1371529 HAS SOUS 727412 HAS SOUPS 727412 WITH SCORE 728783.529
AT ITER 2556 NEW BEST:: SOT 2648066 SOS 1371382 HAS SOPS 1371382 HAS SOUS 727143 HAS SOUPS 727143 WITH SCORE 728514.382
AT ITER 2559 NEW BEST:: SOT 2647688 SOS 1370845 HAS SOPS 1370845 HAS SOUS 726851 HAS SOUPS 726851 WITH SCORE 728221.845
AT ITER 2563 NEW BEST:: SOT 2647208 SOS 1369629 HAS SOPS 1369629 HAS SOUS 726589 HAS SOUPS 726589 WITH SCORE 727958.629
AT ITER 2567 NEW BEST:: SOT 2647208 SOS 1369062 HAS SOPS 1369062 HAS SOUS 726022 HAS SOUPS 726022 WITH SCORE 727391.062
AT ITER 2568 NEW BEST:: SOT 2647208 SOS 1368774 HAS SOPS 1368774 HAS SOUS 726022 HAS SOUPS 726022 WITH SCORE 727390.774
AT ITER 2574 NEW BEST:: SOT 2646993 SOS 1368559 HAS SOPS 1368559 HAS SOUS 725899 HAS SOUPS 725899 WITH SCORE 727267.559
AT ITER 2585 NEW BEST:: SOT 2646473 SOS 1368039 HAS SOPS 1368039 HAS SOUS 725379 HAS SOUPS 725379 WITH SCORE 726747.039
AT ITER 2586 NEW BEST:: SOT 2646651 SOS 1367945 HAS SOPS 1367945 HAS SOUS 725107 HAS SOUPS 725107 WITH SCORE 726474.945
AT ITER 2587 NEW BEST:: SOT 2646651 SOS 1367774 HAS SOPS 1367774 HAS SOUS 725027 HAS SOUPS 725027 WITH SCORE 726394.774
AT ITER 2595 NEW BEST:: SOT 2646533 SOS 1367656 HAS SOPS 1367656 HAS SOUS 725026 HAS SOUPS 725026 WITH SCORE 726393.656
AT ITER 2596 NEW BEST:: SOT 2646458 SOS 1367581 HAS SOPS 1367581 HAS SOUS 724481 HAS SOUPS 724481 WITH SCORE 725848.581
AT ITER 2597 NEW BEST:: SOT 2646575 SOS 1367778 HAS SOPS 1367778 HAS SOUS 724165 HAS SOUPS 724165 WITH SCORE 725532.778
AT ITER 2602 NEW BEST:: SOT 2646550 SOS 1367728 HAS SOPS 1367728 HAS SOUS 724140 HAS SOUPS 724140 WITH SCORE 725507.728
AT ITER 2604 NEW BEST:: SOT 2646423 SOS 1367474 HAS SOPS 1367474 HAS SOUS 723886 HAS SOUPS 723886 WITH SCORE 725253.474
AT ITER 2615 NEW BEST:: SOT 2646243 SOS 1367294 HAS SOPS 1367294 HAS SOUS 723706 HAS SOUPS 723706 WITH SCORE 725073.294
AT ITER 2618 NEW BEST:: SOT 2646322 SOS 1367041 HAS SOPS 1367041 HAS SOUS 723595 HAS SOUPS 723595 WITH SCORE 724962.041
AT ITER 2625 NEW BEST:: SOT 2646010 SOS 1366104 HAS SOPS 1366104 HAS SOUS 723282 HAS SOUPS 723282 WITH SCORE 724648.104
AT ITER 2626 NEW BEST:: SOT 2646105 SOS 1365747 HAS SOPS 1365747 HAS SOUS 722610 HAS SOUPS 722610 WITH SCORE 723975.747
AT ITER 2629 NEW BEST:: SOT 2646001 SOS 1363355 HAS SOPS 1363355 HAS SOUS 722506 HAS SOUPS 722506 WITH SCORE 723869.355
AT ITER 2633 NEW BEST:: SOT 2645662 SOS 1362851 HAS SOPS 1362851 HAS SOUS 722167 HAS SOUPS 722167 WITH SCORE 723529.851
AT ITER 2635 NEW BEST:: SOT 2645662 SOS 1362514 HAS SOPS 1362514 HAS SOUS 721830 HAS SOUPS 721830 WITH SCORE 723192.514
AT ITER 2638 NEW BEST:: SOT 2645322 SOS 1362464 HAS SOPS 1362464 HAS SOUS 721735 HAS SOUPS 721735 WITH SCORE 723097.464
AT ITER 2639 NEW BEST:: SOT 2645031 SOS 1361181 HAS SOPS 1361181 HAS SOUS 720812 HAS SOUPS 720812 WITH SCORE 722173.181
AT ITER 2642 NEW BEST:: SOT 2644129 SOS 1359967 HAS SOPS 1359967 HAS SOUS 719910 HAS SOUPS 719910 WITH SCORE 721269.967
AT ITER 2650 NEW BEST:: SOT 2644129 SOS 1359736 HAS SOPS 1359736 HAS SOUS 719679 HAS SOUPS 719679 WITH SCORE 721038.736
AT ITER 2662 NEW BEST:: SOT 2644535 SOS 1360142 HAS SOPS 1360142 HAS SOUS 719656 HAS SOUPS 719656 WITH SCORE 721016.142
AT ITER 2665 NEW BEST:: SOT 2643623 SOS 1358838 HAS SOPS 1358838 HAS SOUS 718991 HAS SOUPS 718991 WITH SCORE 720349.838
AT ITER 2667 NEW BEST:: SOT 2642957 SOS 1358025 HAS SOPS 1358025 HAS SOUS 718571 HAS SOUPS 718571 WITH SCORE 719929.025
AT ITER 2672 NEW BEST:: SOT 2642905 SOS 1357401 HAS SOPS 1357401 HAS SOUS 718467 HAS SOUPS 718467 WITH SCORE 719824.401
AT ITER 2674 NEW BEST:: SOT 2642504 SOS 1357000 HAS SOPS 1357000 HAS SOUS 718066 HAS SOUPS 718066 WITH SCORE 719423.0
AT ITER 2687 NEW BEST:: SOT 2642504 SOS 1356946 HAS SOPS 1356946 HAS SOUS 717958 HAS SOUPS 717958 WITH SCORE 719314.946
AT ITER 2691 NEW BEST:: SOT 2642504 SOS 1356482 HAS SOPS 1356482 HAS SOUS 717494 HAS SOUPS 717494 WITH SCORE 718850.482
AT ITER 2699 NEW BEST:: SOT 2642183 SOS 1355840 HAS SOPS 1355840 HAS SOUS 716961 HAS SOUPS 716961 WITH SCORE 718316.84
AT ITER 2700 NEW BEST:: SOT 2642183 SOS 1355964 HAS SOPS 1355964 HAS SOUS 716837 HAS SOUPS 716837 WITH SCORE 718192.964
AT ITER 2708 NEW BEST:: SOT 2642156 SOS 1355910 HAS SOPS 1355910 HAS SOUS 716805 HAS SOUPS 716805 WITH SCORE 718160.91
AT ITER 2713 NEW BEST:: SOT 2641655 SOS 1354399 HAS SOPS 1354399 HAS SOUS 716354 HAS SOUPS 716354 WITH SCORE 717708.399
AT ITER 2718 NEW BEST:: SOT 2641655 SOS 1354399 HAS SOPS 1354399 HAS SOUS 716324 HAS SOUPS 716324 WITH SCORE 717678.399
AT ITER 2719 NEW BEST:: SOT 2641596 SOS 1354281 HAS SOPS 1354281 HAS SOUS 716206 HAS SOUPS 716206 WITH SCORE 717560.281
AT ITER 2721 NEW BEST:: SOT 2642069 SOS 1352878 HAS SOPS 1352878 HAS SOUS 715695 HAS SOUPS 715695 WITH SCORE 717047.878
AT ITER 2722 NEW BEST:: SOT 2641190 SOS 1351120 HAS SOPS 1351120 HAS SOUS 714287 HAS SOUPS 714287 WITH SCORE 715638.12
AT ITER 2730 NEW BEST:: SOT 2641156 SOS 1351268 HAS SOPS 1351268 HAS SOUS 714222 HAS SOUPS 714222 WITH SCORE 715573.268
AT ITER 2732 NEW BEST:: SOT 2640854 SOS 1350966 HAS SOPS 1350966 HAS SOUS 713920 HAS SOUPS 713920 WITH SCORE 715270.966
AT ITER 2743 NEW BEST:: SOT 2640676 SOS 1350699 HAS SOPS 1350699 HAS SOUS 713653 HAS SOUPS 713653 WITH SCORE 715003.699
AT ITER 2745 NEW BEST:: SOT 2640876 SOS 1351132 HAS SOPS 1351132 HAS SOUS 713590 HAS SOUPS 713590 WITH SCORE 714941.132
AT ITER 2750 NEW BEST:: SOT 2640876 SOS 1351258 HAS SOPS 1351258 HAS SOUS 713464 HAS SOUPS 713464 WITH SCORE 714815.258
AT ITER 2754 NEW BEST:: SOT 2640694 SOS 1350894 HAS SOPS 1350894 HAS SOUS 713282 HAS SOUPS 713282 WITH SCORE 714632.894
AT ITER 2755 NEW BEST:: SOT 2640505 SOS 1350705 HAS SOPS 1350705 HAS SOUS 713093 HAS SOUPS 713093 WITH SCORE 714443.705
AT ITER 2758 NEW BEST:: SOT 2640500 SOS 1350700 HAS SOPS 1350700 HAS SOUS 713083 HAS SOUPS 713083 WITH SCORE 714433.7
AT ITER 2765 NEW BEST:: SOT 2640601 SOS 1351074 HAS SOPS 1351074 HAS SOUS 712109 HAS SOUPS 712109 WITH SCORE 713460.074
AT ITER 2771 NEW BEST:: SOT 2640601 SOS 1351001 HAS SOPS 1351001 HAS SOUS 712109 HAS SOUPS 712109 WITH SCORE 713460.001
AT ITER 2779 NEW BEST:: SOT 2640486 SOS 1350771 HAS SOPS 1350771 HAS SOUS 711994 HAS SOUPS 711994 WITH SCORE 713344.771
AT ITER 2797 NEW BEST:: SOT 2640033 SOS 1349830 HAS SOPS 1349830 HAS SOUS 711624 HAS SOUPS 711624 WITH SCORE 712973.83
AT ITER 2802 NEW BEST:: SOT 2640013 SOS 1349791 HAS SOPS 1349791 HAS SOUS 711604 HAS SOUPS 711604 WITH SCORE 712953.791
AT ITER 2812 NEW BEST:: SOT 2639969 SOS 1349740 HAS SOPS 1349740 HAS SOUS 711553 HAS SOUPS 711553 WITH SCORE 712902.74
AT ITER 2816 NEW BEST:: SOT 2640031 SOS 1349802 HAS SOPS 1349802 HAS SOUS 711548 HAS SOUPS 711548 WITH SCORE 712897.802
AT ITER 2817 NEW BEST:: SOT 2639709 SOS 1349319 HAS SOPS 1349319 HAS SOUS 711226 HAS SOUPS 711226 WITH SCORE 712575.319
AT ITER 2825 NEW BEST:: SOT 2639145 SOS 1348639 HAS SOPS 1348639 HAS SOUS 710982 HAS SOUPS 710982 WITH SCORE 712330.639
AT ITER 2830 NEW BEST:: SOT 2639145 SOS 1348373 HAS SOPS 1348373 HAS SOUS 710849 HAS SOUPS 710849 WITH SCORE 712197.373
AT ITER 2843 NEW BEST:: SOT 2638826 SOS 1356446 HAS SOPS 1356446 HAS SOUS 710767 HAS SOUPS 710767 WITH SCORE 712123.446
AT ITER 2845 NEW BEST:: SOT 2639635 SOS 1356899 HAS SOPS 1356899 HAS SOUS 710742 HAS SOUPS 710742 WITH SCORE 712098.899
AT ITER 2848 NEW BEST:: SOT 2639393 SOS 1356665 HAS SOPS 1356665 HAS SOUS 710499 HAS SOUPS 710499 WITH SCORE 711855.665
AT ITER 2852 NEW BEST:: SOT 2639741 SOS 1356652 HAS SOPS 1356652 HAS SOUS 710486 HAS SOUPS 710486 WITH SCORE 711842.652
AT ITER 2872 NEW BEST:: SOT 2639376 SOS 1356510 HAS SOPS 1356510 HAS SOUS 710181 HAS SOUPS 710181 WITH SCORE 711537.51
AT ITER 2873 NEW BEST:: SOT 2639215 SOS 1356188 HAS SOPS 1356188 HAS SOUS 709635 HAS SOUPS 709635 WITH SCORE 710991.188
AT ITER 2874 NEW BEST:: SOT 2639169 SOS 1356142 HAS SOPS 1356142 HAS SOUS 709589 HAS SOUPS 709589 WITH SCORE 710945.142
AT ITER 2878 NEW BEST:: SOT 2638996 SOS 1355839 HAS SOPS 1355839 HAS SOUS 709249 HAS SOUPS 709249 WITH SCORE 710604.839
AT ITER 2881 NEW BEST:: SOT 2638549 SOS 1355392 HAS SOPS 1355392 HAS SOUS 709236 HAS SOUPS 709236 WITH SCORE 710591.392
AT ITER 2882 NEW BEST:: SOT 2637796 SOS 1354935 HAS SOPS 1354935 HAS SOUS 708483 HAS SOUPS 708483 WITH SCORE 709837.935
AT ITER 2886 NEW BEST:: SOT 2637796 SOS 1354340 HAS SOPS 1354340 HAS SOUS 707321 HAS SOUPS 707321 WITH SCORE 708675.34
AT ITER 2889 NEW BEST:: SOT 2637796 SOS 1351757 HAS SOPS 1351757 HAS SOUS 707321 HAS SOUPS 707321 WITH SCORE 708672.757
AT ITER 2892 NEW BEST:: SOT 2637781 SOS 1351742 HAS SOPS 1351742 HAS SOUS 707291 HAS SOUPS 707291 WITH SCORE 708642.742
AT ITER 2893 NEW BEST:: SOT 2636949 SOS 1350070 HAS SOPS 1350070 HAS SOUS 706944 HAS SOUPS 706944 WITH SCORE 708294.07
AT ITER 2897 NEW BEST:: SOT 2637001 SOS 1350006 HAS SOPS 1350006 HAS SOUS 706880 HAS SOUPS 706880 WITH SCORE 708230.006
AT ITER 2900 NEW BEST:: SOT 2635947 SOS 1348415 HAS SOPS 1348415 HAS SOUS 706035 HAS SOUPS 706035 WITH SCORE 707383.415
AT ITER 2901 NEW BEST:: SOT 2635768 SOS 1348236 HAS SOPS 1348236 HAS SOUS 705581 HAS SOUPS 705581 WITH SCORE 706929.236
AT ITER 2913 NEW BEST:: SOT 2635709 SOS 1348118 HAS SOPS 1348118 HAS SOUS 705463 HAS SOUPS 705463 WITH SCORE 706811.118
AT ITER 2917 NEW BEST:: SOT 2635664 SOS 1347813 HAS SOPS 1347813 HAS SOUS 705128 HAS SOUPS 705128 WITH SCORE 706475.813
AT ITER 2920 NEW BEST:: SOT 2635664 SOS 1347813 HAS SOPS 1347813 HAS SOUS 705127 HAS SOUPS 705127 WITH SCORE 706474.813
AT ITER 2921 NEW BEST:: SOT 2635375 SOS 1347235 HAS SOPS 1347235 HAS SOUS 704838 HAS SOUPS 704838 WITH SCORE 706185.235
AT ITER 2932 NEW BEST:: SOT 2635375 SOS 1342294 HAS SOPS 1342294 HAS SOUS 704838 HAS SOUPS 704838 WITH SCORE 706180.294
AT ITER 2939 NEW BEST:: SOT 2635375 SOS 1342294 HAS SOPS 1342294 HAS SOUS 704775 HAS SOUPS 704775 WITH SCORE 706117.294
AT ITER 2946 NEW BEST:: SOT 2635374 SOS 1342293 HAS SOPS 1342293 HAS SOUS 704774 HAS SOUPS 704774 WITH SCORE 706116.293
AT ITER 2948 NEW BEST:: SOT 2635323 SOS 1342242 HAS SOPS 1342242 HAS SOUS 704587 HAS SOUPS 704587 WITH SCORE 705929.242
AT ITER 2958 NEW BEST:: SOT 2635099 SOS 1342018 HAS SOPS 1342018 HAS SOUS 704363 HAS SOUPS 704363 WITH SCORE 705705.018
AT ITER 2962 NEW BEST:: SOT 2634626 SOS 1341280 HAS SOPS 1341280 HAS SOUS 703972 HAS SOUPS 703972 WITH SCORE 705313.28
AT ITER 2973 NEW BEST:: SOT 2634822 SOS 1341036 HAS SOPS 1341036 HAS SOUS 703944 HAS SOUPS 703944 WITH SCORE 705285.036
AT ITER 2980 NEW BEST:: SOT 2634888 SOS 1341239 HAS SOPS 1341239 HAS SOUS 703937 HAS SOUPS 703937 WITH SCORE 705278.239
AT ITER 2984 NEW BEST:: SOT 2635047 SOS 1341389 HAS SOPS 1341389 HAS SOUS 703919 HAS SOUPS 703919 WITH SCORE 705260.389
AT ITER 2995 NEW BEST:: SOT 2634774 SOS 1340843 HAS SOPS 1340843 HAS SOUS 703646 HAS SOUPS 703646 WITH SCORE 704986.843
AT ITER 2996 NEW BEST:: SOT 2634599 SOS 1340668 HAS SOPS 1340668 HAS SOUS 703646 HAS SOUPS 703646 WITH SCORE 704986.668
AT ITER 3005 NEW BEST:: SOT 2634383 SOS 1338876 HAS SOPS 1338876 HAS SOUS 703187 HAS SOUPS 703187 WITH SCORE 704525.876
AT ITER 3006 NEW BEST:: SOT 2626538 SOS 1399464 HAS SOPS 1399464 HAS SOUS 696013 HAS SOUPS 696013 WITH SCORE 697412.464
AT ITER 3020 NEW BEST:: SOT 2625900 SOS 1397992 HAS SOPS 1397992 HAS SOUS 695916 HAS SOUPS 695916 WITH SCORE 697313.992
AT ITER 3025 NEW BEST:: SOT 2625973 SOS 1398065 HAS SOPS 1398065 HAS SOUS 695722 HAS SOUPS 695722 WITH SCORE 697120.065
AT ITER 3029 NEW BEST:: SOT 2625230 SOS 1396894 HAS SOPS 1396894 HAS SOUS 695155 HAS SOUPS 695155 WITH SCORE 696551.894
AT ITER 3035 NEW BEST:: SOT 2623717 SOS 1395381 HAS SOPS 1395381 HAS SOUS 693863 HAS SOUPS 693863 WITH SCORE 695258.381
AT ITER 3043 NEW BEST:: SOT 2623717 SOS 1395381 HAS SOPS 1395381 HAS SOUS 693833 HAS SOUPS 693833 WITH SCORE 695228.381
AT ITER 3048 NEW BEST:: SOT 2623490 SOS 1394927 HAS SOPS 1394927 HAS SOUS 693540 HAS SOUPS 693540 WITH SCORE 694934.927
AT ITER 3053 NEW BEST:: SOT 2623488 SOS 1394925 HAS SOPS 1394925 HAS SOUS 693283 HAS SOUPS 693283 WITH SCORE 694677.925
AT ITER 3065 NEW BEST:: SOT 2623343 SOS 1394687 HAS SOPS 1394687 HAS SOUS 693138 HAS SOUPS 693138 WITH SCORE 694532.687
AT ITER 3068 NEW BEST:: SOT 2623774 SOS 1385071 HAS SOPS 1385071 HAS SOUS 693079 HAS SOUPS 693079 WITH SCORE 694464.071
AT ITER 3073 NEW BEST:: SOT 2623638 SOS 1384799 HAS SOPS 1384799 HAS SOUS 692807 HAS SOUPS 692807 WITH SCORE 694191.799
AT ITER 3074 NEW BEST:: SOT 2623293 SOS 1362679 HAS SOPS 1362679 HAS SOUS 691921 HAS SOUPS 691921 WITH SCORE 693283.679
AT ITER 3076 NEW BEST:: SOT 2623291 SOS 1362699 HAS SOPS 1362699 HAS SOUS 691919 HAS SOUPS 691919 WITH SCORE 693281.699
AT ITER 3084 NEW BEST:: SOT 2623275 SOS 1363019 HAS SOPS 1363019 HAS SOUS 691903 HAS SOUPS 691903 WITH SCORE 693266.019
AT ITER 3087 NEW BEST:: SOT 2622998 SOS 1362742 HAS SOPS 1362742 HAS SOUS 691349 HAS SOUPS 691349 WITH SCORE 692711.742
AT ITER 3093 NEW BEST:: SOT 2622998 SOS 1362742 HAS SOPS 1362742 HAS SOUS 691263 HAS SOUPS 691263 WITH SCORE 692625.742
AT ITER 3099 NEW BEST:: SOT 2622979 SOS 1362288 HAS SOPS 1362288 HAS SOUS 691149 HAS SOUPS 691149 WITH SCORE 692511.288
AT ITER 3100 NEW BEST:: SOT 2623076 SOS 1361918 HAS SOPS 1361918 HAS SOUS 690964 HAS SOUPS 690964 WITH SCORE 692325.918
AT ITER 3105 NEW BEST:: SOT 2622689 SOS 1361848 HAS SOPS 1361848 HAS SOUS 690542 HAS SOUPS 690542 WITH SCORE 691903.848
AT ITER 3108 NEW BEST:: SOT 2622521 SOS 1361680 HAS SOPS 1361680 HAS SOUS 690374 HAS SOUPS 690374 WITH SCORE 691735.68
AT ITER 3129 NEW BEST:: SOT 2622521 SOS 1361680 HAS SOPS 1361680 HAS SOUS 690276 HAS SOUPS 690276 WITH SCORE 691637.68
AT ITER 3130 NEW BEST:: SOT 2622678 SOS 1361712 HAS SOPS 1361712 HAS SOUS 690151 HAS SOUPS 690151 WITH SCORE 691512.712
AT ITER 3132 NEW BEST:: SOT 2622323 SOS 1361002 HAS SOPS 1361002 HAS SOUS 689981 HAS SOUPS 689981 WITH SCORE 691342.002
AT ITER 3140 NEW BEST:: SOT 2621881 SOS 1359063 HAS SOPS 1359063 HAS SOUS 689017 HAS SOUPS 689017 WITH SCORE 690376.063
AT ITER 3159 NEW BEST:: SOT 2621800 SOS 1359030 HAS SOPS 1359030 HAS SOUS 688855 HAS SOUPS 688855 WITH SCORE 690214.03
AT ITER 3161 NEW BEST:: SOT 2621547 SOS 1359107 HAS SOPS 1359107 HAS SOUS 688557 HAS SOUPS 688557 WITH SCORE 689916.107
AT ITER 3174 NEW BEST:: SOT 2621336 SOS 1358685 HAS SOPS 1358685 HAS SOUS 688346 HAS SOUPS 688346 WITH SCORE 689704.685
AT ITER 3184 NEW BEST:: SOT 2621336 SOS 1358685 HAS SOPS 1358685 HAS SOUS 687871 HAS SOUPS 687871 WITH SCORE 689229.685
AT ITER 3215 NEW BEST:: SOT 2621077 SOS 1358229 HAS SOPS 1358229 HAS SOUS 687430 HAS SOUPS 687430 WITH SCORE 688788.229
AT ITER 3216 NEW BEST:: SOT 2620969 SOS 1358229 HAS SOPS 1358229 HAS SOUS 687322 HAS SOUPS 687322 WITH SCORE 688680.229
AT ITER 3217 NEW BEST:: SOT 2621124 SOS 1358115 HAS SOPS 1358115 HAS SOUS 687236 HAS SOUPS 687236 WITH SCORE 688594.115
AT ITER 3220 NEW BEST:: SOT 2620771 SOS 1357415 HAS SOPS 1357415 HAS SOUS 686865 HAS SOUPS 686865 WITH SCORE 688222.415
AT ITER 3232 NEW BEST:: SOT 2620041 SOS 1356281 HAS SOPS 1356281 HAS SOUS 685694 HAS SOUPS 685694 WITH SCORE 687050.281
AT ITER 3241 NEW BEST:: SOT 2618594 SOS 1368880 HAS SOPS 1368880 HAS SOUS 684853 HAS SOUPS 684853 WITH SCORE 686221.88
AT ITER 3247 NEW BEST:: SOT 2618410 SOS 1368512 HAS SOPS 1368512 HAS SOUS 684671 HAS SOUPS 684671 WITH SCORE 686039.512
AT ITER 3253 NEW BEST:: SOT 2618370 SOS 1348988 HAS SOPS 1348988 HAS SOUS 684382 HAS SOUPS 684382 WITH SCORE 685730.988
AT ITER 3255 NEW BEST:: SOT 2618370 SOS 1348828 HAS SOPS 1348828 HAS SOUS 684356 HAS SOUPS 684356 WITH SCORE 685704.828
AT ITER 3256 NEW BEST:: SOT 2618361 SOS 1348819 HAS SOPS 1348819 HAS SOUS 684178 HAS SOUPS 684178 WITH SCORE 685526.819
AT ITER 3262 NEW BEST:: SOT 2618712 SOS 1348670 HAS SOPS 1348670 HAS SOUS 684057 HAS SOUPS 684057 WITH SCORE 685405.67
AT ITER 3271 NEW BEST:: SOT 2618712 SOS 1348670 HAS SOPS 1348670 HAS SOUS 683759 HAS SOUPS 683759 WITH SCORE 685107.67
AT ITER 3273 NEW BEST:: SOT 2618710 SOS 1347900 HAS SOPS 1347900 HAS SOUS 683306 HAS SOUPS 683306 WITH SCORE 684653.9
AT ITER 3275 NEW BEST:: SOT 2617650 SOS 1346924 HAS SOPS 1346924 HAS SOUS 682489 HAS SOUPS 682489 WITH SCORE 683835.924
AT ITER 3279 NEW BEST:: SOT 2616798 SOS 1346072 HAS SOPS 1346072 HAS SOUS 682056 HAS SOUPS 682056 WITH SCORE 683402.072
AT ITER 3285 NEW BEST:: SOT 2616847 SOS 1345192 HAS SOPS 1345192 HAS SOUS 681920 HAS SOUPS 681920 WITH SCORE 683265.192
AT ITER 3293 NEW BEST:: SOT 2616847 SOS 1345192 HAS SOPS 1345192 HAS SOUS 681918 HAS SOUPS 681918 WITH SCORE 683263.192
AT ITER 3296 NEW BEST:: SOT 2617034 SOS 1344874 HAS SOPS 1344874 HAS SOUS 681250 HAS SOUPS 681250 WITH SCORE 682594.874
AT ITER 3304 NEW BEST:: SOT 2616961 SOS 1344655 HAS SOPS 1344655 HAS SOUS 681177 HAS SOUPS 681177 WITH SCORE 682521.655
AT ITER 3309 NEW BEST:: SOT 2616606 SOS 1344309 HAS SOPS 1344309 HAS SOUS 680831 HAS SOUPS 680831 WITH SCORE 682175.309
AT ITER 3318 NEW BEST:: SOT 2616568 SOS 1344271 HAS SOPS 1344271 HAS SOUS 680793 HAS SOUPS 680793 WITH SCORE 682137.271
AT ITER 3320 NEW BEST:: SOT 2616380 SOS 1344107 HAS SOPS 1344107 HAS SOUS 680605 HAS SOUPS 680605 WITH SCORE 681949.107
AT ITER 3335 NEW BEST:: SOT 2615607 SOS 1342561 HAS SOPS 1342561 HAS SOUS 679446 HAS SOUPS 679446 WITH SCORE 680788.561
AT ITER 3337 NEW BEST:: SOT 2615607 SOS 1342561 HAS SOPS 1342561 HAS SOUS 679302 HAS SOUPS 679302 WITH SCORE 680644.561
AT ITER 3338 NEW BEST:: SOT 2615437 SOS 1342212 HAS SOPS 1342212 HAS SOUS 679132 HAS SOUPS 679132 WITH SCORE 680474.212
AT ITER 3341 NEW BEST:: SOT 2615437 SOS 1341787 HAS SOPS 1341787 HAS SOUS 678707 HAS SOUPS 678707 WITH SCORE 680048.787
AT ITER 3349 NEW BEST:: SOT 2615389 SOS 1341715 HAS SOPS 1341715 HAS SOUS 678635 HAS SOUPS 678635 WITH SCORE 679976.715
AT ITER 3353 NEW BEST:: SOT 2615361 SOS 1341687 HAS SOPS 1341687 HAS SOUS 678607 HAS SOUPS 678607 WITH SCORE 679948.687
AT ITER 3354 NEW BEST:: SOT 2615361 SOS 1341594 HAS SOPS 1341594 HAS SOUS 678607 HAS SOUPS 678607 WITH SCORE 679948.594
AT ITER 3359 NEW BEST:: SOT 2615471 SOS 1341666 HAS SOPS 1341666 HAS SOUS 678360 HAS SOUPS 678360 WITH SCORE 679701.666
AT ITER 3360 NEW BEST:: SOT 2615316 SOS 1341046 HAS SOPS 1341046 HAS SOUS 678050 HAS SOUPS 678050 WITH SCORE 679391.046
AT ITER 3364 NEW BEST:: SOT 2615115 SOS 1340443 HAS SOPS 1340443 HAS SOUS 677648 HAS SOUPS 677648 WITH SCORE 678988.443
AT ITER 3365 NEW BEST:: SOT 2615087 SOS 1340387 HAS SOPS 1340387 HAS SOUS 677620 HAS SOUPS 677620 WITH SCORE 678960.387
AT ITER 3371 NEW BEST:: SOT 2615138 SOS 1340438 HAS SOPS 1340438 HAS SOUS 677597 HAS SOUPS 677597 WITH SCORE 678937.438
AT ITER 3372 NEW BEST:: SOT 2614856 SOS 1339874 HAS SOPS 1339874 HAS SOUS 676878 HAS SOUPS 676878 WITH SCORE 678217.874
AT ITER 3380 NEW BEST:: SOT 2614765 SOS 1339601 HAS SOPS 1339601 HAS SOUS 676696 HAS SOUPS 676696 WITH SCORE 678035.601
AT ITER 3384 NEW BEST:: SOT 2614592 SOS 1338884 HAS SOPS 1338884 HAS SOUS 676523 HAS SOUPS 676523 WITH SCORE 677861.884
AT ITER 3392 NEW BEST:: SOT 2614728 SOS 1338994 HAS SOPS 1338994 HAS SOUS 676454 HAS SOUPS 676454 WITH SCORE 677792.994
AT ITER 3399 NEW BEST:: SOT 2613756 SOS 1337862 HAS SOPS 1337862 HAS SOUS 676452 HAS SOUPS 676452 WITH SCORE 677789.862
AT ITER 3407 NEW BEST:: SOT 2613580 SOS 1337469 HAS SOPS 1337469 HAS SOUS 676059 HAS SOUPS 676059 WITH SCORE 677396.469
AT ITER 3422 NEW BEST:: SOT 2613393 SOS 1337095 HAS SOPS 1337095 HAS SOUS 675857 HAS SOUPS 675857 WITH SCORE 677194.095
AT ITER 3430 NEW BEST:: SOT 2612930 SOS 1336586 HAS SOPS 1336586 HAS SOUS 675795 HAS SOUPS 675795 WITH SCORE 677131.586
AT ITER 3439 NEW BEST:: SOT 2612421 SOS 1336582 HAS SOPS 1336582 HAS SOUS 675727 HAS SOUPS 675727 WITH SCORE 677063.582
AT ITER 3443 NEW BEST:: SOT 2612421 SOS 1336582 HAS SOPS 1336582 HAS SOUS 675726 HAS SOUPS 675726 WITH SCORE 677062.582
AT ITER 3456 NEW BEST:: SOT 2612421 SOS 1333876 HAS SOPS 1333876 HAS SOUS 675434 HAS SOUPS 675434 WITH SCORE 676767.876
AT ITER 3458 NEW BEST:: SOT 2612421 SOS 1333536 HAS SOPS 1333536 HAS SOUS 675434 HAS SOUPS 675434 WITH SCORE 676767.536
AT ITER 3462 NEW BEST:: SOT 2612140 SOS 1333143 HAS SOPS 1333143 HAS SOUS 675310 HAS SOUPS 675310 WITH SCORE 676643.143
AT ITER 3471 NEW BEST:: SOT 2611921 SOS 1332924 HAS SOPS 1332924 HAS SOUS 675091 HAS SOUPS 675091 WITH SCORE 676423.924
AT ITER 3479 NEW BEST:: SOT 2611921 SOS 1332414 HAS SOPS 1332414 HAS SOUS 675091 HAS SOUPS 675091 WITH SCORE 676423.414
AT ITER 3480 NEW BEST:: SOT 2611862 SOS 1332296 HAS SOPS 1332296 HAS SOUS 674973 HAS SOUPS 674973 WITH SCORE 676305.296
AT ITER 3484 NEW BEST:: SOT 2611862 SOS 1332134 HAS SOPS 1332134 HAS SOUS 674655 HAS SOUPS 674655 WITH SCORE 675987.134
AT ITER 3490 NEW BEST:: SOT 2611675 SOS 1331760 HAS SOPS 1331760 HAS SOUS 674468 HAS SOUPS 674468 WITH SCORE 675799.76
AT ITER 3491 NEW BEST:: SOT 2610811 SOS 1330584 HAS SOPS 1330584 HAS SOUS 673604 HAS SOUPS 673604 WITH SCORE 674934.584
AT ITER 3492 NEW BEST:: SOT 2610811 SOS 1330355 HAS SOPS 1330355 HAS SOUS 673375 HAS SOUPS 673375 WITH SCORE 674705.355
AT ITER 3502 NEW BEST:: SOT 2610698 SOS 1330016 HAS SOPS 1330016 HAS SOUS 673262 HAS SOUPS 673262 WITH SCORE 674592.016
AT ITER 3506 NEW BEST:: SOT 2610698 SOS 1329559 HAS SOPS 1329559 HAS SOUS 672614 HAS SOUPS 672614 WITH SCORE 673943.559
AT ITER 3512 NEW BEST:: SOT 2610716 SOS 1329487 HAS SOPS 1329487 HAS SOUS 672542 HAS SOUPS 672542 WITH SCORE 673871.487
AT ITER 3520 NEW BEST:: SOT 2610423 SOS 1327833 HAS SOPS 1327833 HAS SOUS 672354 HAS SOUPS 672354 WITH SCORE 673681.833
AT ITER 3521 NEW BEST:: SOT 2610198 SOS 1327608 HAS SOPS 1327608 HAS SOUS 672285 HAS SOUPS 672285 WITH SCORE 673612.608
AT ITER 3527 NEW BEST:: SOT 2610198 SOS 1327581 HAS SOPS 1327581 HAS SOUS 672285 HAS SOUPS 672285 WITH SCORE 673612.581
AT ITER 3530 NEW BEST:: SOT 2609767 SOS 1327150 HAS SOPS 1327150 HAS SOUS 671854 HAS SOUPS 671854 WITH SCORE 673181.15
AT ITER 3531 NEW BEST:: SOT 2609771 SOS 1326973 HAS SOPS 1326973 HAS SOUS 671681 HAS SOUPS 671681 WITH SCORE 673007.973
AT ITER 3537 NEW BEST:: SOT 2609701 SOS 1326903 HAS SOPS 1326903 HAS SOUS 671611 HAS SOUPS 671611 WITH SCORE 672937.903
AT ITER 3545 NEW BEST:: SOT 2609658 SOS 1326817 HAS SOPS 1326817 HAS SOUS 671568 HAS SOUPS 671568 WITH SCORE 672894.817
AT ITER 3548 NEW BEST:: SOT 2609795 SOS 1326962 HAS SOPS 1326962 HAS SOUS 671043 HAS SOUPS 671043 WITH SCORE 672369.962
AT ITER 3551 NEW BEST:: SOT 2609795 SOS 1326829 HAS SOPS 1326829 HAS SOUS 670986 HAS SOUPS 670986 WITH SCORE 672312.829
AT ITER 3563 NEW BEST:: SOT 2609828 SOS 1326315 HAS SOPS 1326315 HAS SOUS 670015 HAS SOUPS 670015 WITH SCORE 671341.315
AT ITER 3565 NEW BEST:: SOT 2609664 SOS 1325987 HAS SOPS 1325987 HAS SOUS 669851 HAS SOUPS 669851 WITH SCORE 671176.987
AT ITER 3572 NEW BEST:: SOT 2609593 SOS 1325832 HAS SOPS 1325832 HAS SOUS 669767 HAS SOUPS 669767 WITH SCORE 671092.832
AT ITER 3574 NEW BEST:: SOT 2609684 SOS 1325818 HAS SOPS 1325818 HAS SOUS 669543 HAS SOUPS 669543 WITH SCORE 670868.818
AT ITER 3588 NEW BEST:: SOT 2610693 SOS 1326827 HAS SOPS 1326827 HAS SOUS 669453 HAS SOUPS 669453 WITH SCORE 670779.827
AT ITER 3597 NEW BEST:: SOT 2610555 SOS 1326551 HAS SOPS 1326551 HAS SOUS 669315 HAS SOUPS 669315 WITH SCORE 670641.551
AT ITER 3604 NEW BEST:: SOT 2609912 SOS 1325300 HAS SOPS 1325300 HAS SOUS 668709 HAS SOUPS 668709 WITH SCORE 670034.3
AT ITER 3606 NEW BEST:: SOT 2609912 SOS 1323665 HAS SOPS 1323665 HAS SOUS 668709 HAS SOUPS 668709 WITH SCORE 670032.665
AT ITER 3607 NEW BEST:: SOT 2609346 SOS 1322816 HAS SOPS 1322816 HAS SOUS 668143 HAS SOUPS 668143 WITH SCORE 669465.816
AT ITER 3609 NEW BEST:: SOT 2609221 SOS 1322229 HAS SOPS 1322229 HAS SOUS 667895 HAS SOUPS 667895 WITH SCORE 669217.229
AT ITER 3611 NEW BEST:: SOT 2608723 SOS 1321548 HAS SOPS 1321548 HAS SOUS 667212 HAS SOUPS 667212 WITH SCORE 668533.548
AT ITER 3616 NEW BEST:: SOT 2608591 SOS 1321284 HAS SOPS 1321284 HAS SOUS 666948 HAS SOUPS 666948 WITH SCORE 668269.284
AT ITER 3619 NEW BEST:: SOT 2607009 SOS 1319022 HAS SOPS 1319022 HAS SOUS 665517 HAS SOUPS 665517 WITH SCORE 666836.022
AT ITER 3622 NEW BEST:: SOT 2606140 SOS 1317940 HAS SOPS 1317940 HAS SOUS 664781 HAS SOUPS 664781 WITH SCORE 666098.94
AT ITER 3623 NEW BEST:: SOT 2605667 SOS 1317472 HAS SOPS 1317472 HAS SOUS 664388 HAS SOUPS 664388 WITH SCORE 665705.472
AT ITER 3624 NEW BEST:: SOT 2605667 SOS 1317107 HAS SOPS 1317107 HAS SOUS 663836 HAS SOUPS 663836 WITH SCORE 665153.107
AT ITER 3625 NEW BEST:: SOT 2605639 SOS 1316710 HAS SOPS 1316710 HAS SOUS 663439 HAS SOUPS 663439 WITH SCORE 664755.71
AT ITER 3631 NEW BEST:: SOT 2605441 SOS 1316061 HAS SOPS 1316061 HAS SOUS 662790 HAS SOUPS 662790 WITH SCORE 664106.061
AT ITER 3640 NEW BEST:: SOT 2605439 SOS 1316059 HAS SOPS 1316059 HAS SOUS 662788 HAS SOUPS 662788 WITH SCORE 664104.059
AT ITER 3656 NEW BEST:: SOT 2605435 SOS 1316055 HAS SOPS 1316055 HAS SOUS 662784 HAS SOUPS 662784 WITH SCORE 664100.055
AT ITER 3660 NEW BEST:: SOT 2604932 SOS 1315358 HAS SOPS 1315358 HAS SOUS 661519 HAS SOUPS 661519 WITH SCORE 662834.358
AT ITER 3664 NEW BEST:: SOT 2604861 SOS 1315069 HAS SOPS 1315069 HAS SOUS 661448 HAS SOUPS 661448 WITH SCORE 662763.069
AT ITER 3666 NEW BEST:: SOT 2605093 SOS 1315261 HAS SOPS 1315261 HAS SOUS 661059 HAS SOUPS 661059 WITH SCORE 662374.261
AT ITER 3672 NEW BEST:: SOT 2605032 SOS 1315139 HAS SOPS 1315139 HAS SOUS 660892 HAS SOUPS 660892 WITH SCORE 662207.139
AT ITER 3673 NEW BEST:: SOT 2605009 SOS 1315093 HAS SOPS 1315093 HAS SOUS 660846 HAS SOUPS 660846 WITH SCORE 662161.093
AT ITER 3678 NEW BEST:: SOT 2605351 SOS 1315461 HAS SOPS 1315461 HAS SOUS 660776 HAS SOUPS 660776 WITH SCORE 662091.461
AT ITER 3680 NEW BEST:: SOT 2604635 SOS 1314578 HAS SOPS 1314578 HAS SOUS 660060 HAS SOUPS 660060 WITH SCORE 661374.578
AT ITER 3683 NEW BEST:: SOT 2604531 SOS 1314614 HAS SOPS 1314614 HAS SOUS 659956 HAS SOUPS 659956 WITH SCORE 661270.614
AT ITER 3691 NEW BEST:: SOT 2603681 SOS 1312548 HAS SOPS 1312548 HAS SOUS 658449 HAS SOUPS 658449 WITH SCORE 659761.548
AT ITER 3693 NEW BEST:: SOT 2603530 SOS 1312397 HAS SOPS 1312397 HAS SOUS 658298 HAS SOUPS 658298 WITH SCORE 659610.397
AT ITER 3694 NEW BEST:: SOT 2603433 SOS 1312203 HAS SOPS 1312203 HAS SOUS 658243 HAS SOUPS 658243 WITH SCORE 659555.203
AT ITER 3699 NEW BEST:: SOT 2603134 SOS 1312026 HAS SOPS 1312026 HAS SOUS 657953 HAS SOUPS 657953 WITH SCORE 659265.026
AT ITER 3700 NEW BEST:: SOT 2603285 SOS 1310975 HAS SOPS 1310975 HAS SOUS 657773 HAS SOUPS 657773 WITH SCORE 659083.975
AT ITER 3703 NEW BEST:: SOT 2603162 SOS 1310852 HAS SOPS 1310852 HAS SOUS 657635 HAS SOUPS 657635 WITH SCORE 658945.852
AT ITER 3709 NEW BEST:: SOT 2603058 SOS 1310644 HAS SOPS 1310644 HAS SOUS 657531 HAS SOUPS 657531 WITH SCORE 658841.644
AT ITER 3716 NEW BEST:: SOT 2603013 SOS 1310599 HAS SOPS 1310599 HAS SOUS 657486 HAS SOUPS 657486 WITH SCORE 658796.599
AT ITER 3719 NEW BEST:: SOT 2602677 SOS 1309927 HAS SOPS 1309927 HAS SOUS 657122 HAS SOUPS 657122 WITH SCORE 658431.927
AT ITER 3723 NEW BEST:: SOT 2602677 SOS 1309912 HAS SOPS 1309912 HAS SOUS 657122 HAS SOUPS 657122 WITH SCORE 658431.912
AT ITER 3726 NEW BEST:: SOT 2601271 SOS 1308368 HAS SOPS 1308368 HAS SOUS 656850 HAS SOUPS 656850 WITH SCORE 658158.368
AT ITER 3732 NEW BEST:: SOT 2601018 SOS 1307270 HAS SOPS 1307270 HAS SOUS 656620 HAS SOUPS 656620 WITH SCORE 657927.27
AT ITER 3736 NEW BEST:: SOT 2601110 SOS 1307411 HAS SOPS 1307411 HAS SOUS 656325 HAS SOUPS 656325 WITH SCORE 657632.411
AT ITER 3739 NEW BEST:: SOT 2601110 SOS 1307243 HAS SOPS 1307243 HAS SOUS 656157 HAS SOUPS 656157 WITH SCORE 657464.243
AT ITER 3742 NEW BEST:: SOT 2601110 SOS 1307161 HAS SOPS 1307161 HAS SOUS 656157 HAS SOUPS 656157 WITH SCORE 657464.161
AT ITER 3745 NEW BEST:: SOT 2601101 SOS 1306565 HAS SOPS 1306565 HAS SOUS 656146 HAS SOUPS 656146 WITH SCORE 657452.565
AT ITER 3753 NEW BEST:: SOT 2601101 SOS 1306557 HAS SOPS 1306557 HAS SOUS 656146 HAS SOUPS 656146 WITH SCORE 657452.557
AT ITER 3760 NEW BEST:: SOT 2600602 SOS 1305991 HAS SOPS 1305991 HAS SOUS 655580 HAS SOUPS 655580 WITH SCORE 656885.991
AT ITER 3762 NEW BEST:: SOT 2600602 SOS 1305968 HAS SOPS 1305968 HAS SOUS 655557 HAS SOUPS 655557 WITH SCORE 656862.968
AT ITER 3763 NEW BEST:: SOT 2600058 SOS 1305424 HAS SOPS 1305424 HAS SOUS 655067 HAS SOUPS 655067 WITH SCORE 656372.424
AT ITER 3766 NEW BEST:: SOT 2599177 SOS 1304144 HAS SOPS 1304144 HAS SOUS 654269 HAS SOUPS 654269 WITH SCORE 655573.144
AT ITER 3792 NEW BEST:: SOT 2598993 SOS 1303897 HAS SOPS 1303897 HAS SOUS 653964 HAS SOUPS 653964 WITH SCORE 655267.897
AT ITER 3805 NEW BEST:: SOT 2598993 SOS 1303897 HAS SOPS 1303897 HAS SOUS 653801 HAS SOUPS 653801 WITH SCORE 655104.897
AT ITER 3806 NEW BEST:: SOT 2598946 SOS 1303803 HAS SOPS 1303803 HAS SOUS 653753 HAS SOUPS 653753 WITH SCORE 655056.803
AT ITER 3838 NEW BEST:: SOT 2598804 SOS 1303519 HAS SOPS 1303519 HAS SOUS 653611 HAS SOUPS 653611 WITH SCORE 654914.519
AT ITER 3853 NEW BEST:: SOT 2599152 SOS 1303860 HAS SOPS 1303860 HAS SOUS 653592 HAS SOUPS 653592 WITH SCORE 654895.86
AT ITER 3873 NEW BEST:: SOT 2599044 SOS 1303596 HAS SOPS 1303596 HAS SOUS 653484 HAS SOUPS 653484 WITH SCORE 654787.596
AT ITER 3882 NEW BEST:: SOT 2598857 SOS 1303968 HAS SOPS 1303968 HAS SOUS 653018 HAS SOUPS 653018 WITH SCORE 654321.968
AT ITER 3888 NEW BEST:: SOT 2598952 SOS 1304102 HAS SOPS 1304102 HAS SOUS 652970 HAS SOUPS 652970 WITH SCORE 654274.102
AT ITER 3899 NEW BEST:: SOT 2598841 SOS 1303872 HAS SOPS 1303872 HAS SOUS 652867 HAS SOUPS 652867 WITH SCORE 654170.872
AT ITER 3903 NEW BEST:: SOT 2598841 SOS 1303830 HAS SOPS 1303830 HAS SOUS 652506 HAS SOUPS 652506 WITH SCORE 653809.83
AT ITER 3908 NEW BEST:: SOT 2598659 SOS 1303271 HAS SOPS 1303271 HAS SOUS 652218 HAS SOUPS 652218 WITH SCORE 653521.271
AT ITER 3909 NEW BEST:: SOT 2598659 SOS 1303154 HAS SOPS 1303154 HAS SOUS 652101 HAS SOUPS 652101 WITH SCORE 653404.154
AT ITER 3915 NEW BEST:: SOT 2598728 SOS 1303685 HAS SOPS 1303685 HAS SOUS 651892 HAS SOUPS 651892 WITH SCORE 653195.685
AT ITER 3921 NEW BEST:: SOT 2598728 SOS 1303516 HAS SOPS 1303516 HAS SOUS 651723 HAS SOUPS 651723 WITH SCORE 653026.516
AT ITER 3925 NEW BEST:: SOT 2598728 SOS 1304657 HAS SOPS 1304657 HAS SOUS 651721 HAS SOUPS 651721 WITH SCORE 653025.657
AT ITER 3926 NEW BEST:: SOT 2599488 SOS 1304475 HAS SOPS 1304475 HAS SOUS 651550 HAS SOUPS 651550 WITH SCORE 652854.475
AT ITER 3933 NEW BEST:: SOT 2599488 SOS 1304480 HAS SOPS 1304480 HAS SOUS 651549 HAS SOUPS 651549 WITH SCORE 652853.48
AT ITER 3935 NEW BEST:: SOT 2599483 SOS 1304475 HAS SOPS 1304475 HAS SOUS 651544 HAS SOUPS 651544 WITH SCORE 652848.475
AT ITER 3940 NEW BEST:: SOT 2599453 SOS 1308596 HAS SOPS 1308596 HAS SOUS 651514 HAS SOUPS 651514 WITH SCORE 652822.596
AT ITER 3941 NEW BEST:: SOT 2599326 SOS 1308342 HAS SOPS 1308342 HAS SOUS 651260 HAS SOUPS 651260 WITH SCORE 652568.342
AT ITER 3959 NEW BEST:: SOT 2599129 SOS 1308145 HAS SOPS 1308145 HAS SOUS 651066 HAS SOUPS 651066 WITH SCORE 652374.145
AT ITER 3965 NEW BEST:: SOT 2599115 SOS 1308117 HAS SOPS 1308117 HAS SOUS 651038 HAS SOUPS 651038 WITH SCORE 652346.117
AT ITER 3976 NEW BEST:: SOT 2599115 SOS 1307769 HAS SOPS 1307769 HAS SOUS 650689 HAS SOUPS 650689 WITH SCORE 651996.769
AT ITER 3977 NEW BEST:: SOT 2599707 SOS 1308175 HAS SOPS 1308175 HAS SOUS 650617 HAS SOUPS 650617 WITH SCORE 651925.175
AT ITER 3988 NEW BEST:: SOT 2599779 SOS 1308319 HAS SOPS 1308319 HAS SOUS 650594 HAS SOUPS 650594 WITH SCORE 651902.319
AT ITER 3992 NEW BEST:: SOT 2599751 SOS 1308112 HAS SOPS 1308112 HAS SOUS 650566 HAS SOUPS 650566 WITH SCORE 651874.112
AT ITER 4003 NEW BEST:: SOT 2599669 SOS 1307689 HAS SOPS 1307689 HAS SOUS 650059 HAS SOUPS 650059 WITH SCORE 651366.689
AT ITER 4004 NEW BEST:: SOT 2599730 SOS 1307811 HAS SOPS 1307811 HAS SOUS 649916 HAS SOUPS 649916 WITH SCORE 651223.811
AT ITER 4006 NEW BEST:: SOT 2599244 SOS 1307935 HAS SOPS 1307935 HAS SOUS 649865 HAS SOUPS 649865 WITH SCORE 651172.935
AT ITER 4008 NEW BEST:: SOT 2595382 SOS 1446325 HAS SOPS 1446325 HAS SOUS 648505 HAS SOUPS 648505 WITH SCORE 649951.325
AT ITER 4018 NEW BEST:: SOT 2595382 SOS 1445425 HAS SOPS 1445425 HAS SOUS 648055 HAS SOUPS 648055 WITH SCORE 649500.425
AT ITER 4024 NEW BEST:: SOT 2595382 SOS 1445299 HAS SOPS 1445299 HAS SOUS 647929 HAS SOUPS 647929 WITH SCORE 649374.299
AT ITER 4029 NEW BEST:: SOT 2594134 SOS 1444051 HAS SOPS 1444051 HAS SOUS 647596 HAS SOUPS 647596 WITH SCORE 649040.051
AT ITER 4034 NEW BEST:: SOT 2594384 SOS 1444301 HAS SOPS 1444301 HAS SOUS 647582 HAS SOUPS 647582 WITH SCORE 649026.301
AT ITER 4036 NEW BEST:: SOT 2594256 SOS 1444109 HAS SOPS 1444109 HAS SOUS 647326 HAS SOUPS 647326 WITH SCORE 648770.109
AT ITER 4038 NEW BEST:: SOT 2593892 SOS 1444425 HAS SOPS 1444425 HAS SOUS 647120 HAS SOUPS 647120 WITH SCORE 648564.425
AT ITER 4047 NEW BEST:: SOT 2592954 SOS 1443487 HAS SOPS 1443487 HAS SOUS 646621 HAS SOUPS 646621 WITH SCORE 648064.487
AT ITER 4050 NEW BEST:: SOT 2592954 SOS 1443492 HAS SOPS 1443492 HAS SOUS 646616 HAS SOUPS 646616 WITH SCORE 648059.492
AT ITER 4053 NEW BEST:: SOT 2592887 SOS 1443425 HAS SOPS 1443425 HAS SOUS 646616 HAS SOUPS 646616 WITH SCORE 648059.425
AT ITER 4055 NEW BEST:: SOT 2592594 SOS 1440347 HAS SOPS 1440347 HAS SOUS 645867 HAS SOUPS 645867 WITH SCORE 647307.347
AT ITER 4057 NEW BEST:: SOT 2592567 SOS 1440293 HAS SOPS 1440293 HAS SOUS 645840 HAS SOUPS 645840 WITH SCORE 647280.293
AT ITER 4063 NEW BEST:: SOT 2592533 SOS 1440259 HAS SOPS 1440259 HAS SOUS 645772 HAS SOUPS 645772 WITH SCORE 647212.259
AT ITER 4064 NEW BEST:: SOT 2592591 SOS 1440196 HAS SOPS 1440196 HAS SOUS 645709 HAS SOUPS 645709 WITH SCORE 647149.196
AT ITER 4072 NEW BEST:: SOT 2592411 SOS 1439836 HAS SOPS 1439836 HAS SOUS 645553 HAS SOUPS 645553 WITH SCORE 646992.836
AT ITER 4074 NEW BEST:: SOT 2592411 SOS 1439396 HAS SOPS 1439396 HAS SOUS 645017 HAS SOUPS 645017 WITH SCORE 646456.396
AT ITER 4083 NEW BEST:: SOT 2592411 SOS 1439396 HAS SOPS 1439396 HAS SOUS 645016 HAS SOUPS 645016 WITH SCORE 646455.396
AT ITER 4088 NEW BEST:: SOT 2592244 SOS 1439229 HAS SOPS 1439229 HAS SOUS 644968 HAS SOUPS 644968 WITH SCORE 646407.229
AT ITER 4107 NEW BEST:: SOT 2592244 SOS 1439227 HAS SOPS 1439227 HAS SOUS 644734 HAS SOUPS 644734 WITH SCORE 646173.227
AT ITER 4119 NEW BEST:: SOT 2591967 SOS 1438950 HAS SOPS 1438950 HAS SOUS 644532 HAS SOUPS 644532 WITH SCORE 645970.95
AT ITER 4120 NEW BEST:: SOT 2592192 SOS 1438702 HAS SOPS 1438702 HAS SOUS 644468 HAS SOUPS 644468 WITH SCORE 645906.702
AT ITER 4121 NEW BEST:: SOT 2592189 SOS 1438699 HAS SOPS 1438699 HAS SOUS 644465 HAS SOUPS 644465 WITH SCORE 645903.699
AT ITER 4131 NEW BEST:: SOT 2592016 SOS 1438353 HAS SOPS 1438353 HAS SOUS 644310 HAS SOUPS 644310 WITH SCORE 645748.353
AT ITER 4142 NEW BEST:: SOT 2592016 SOS 1437942 HAS SOPS 1437942 HAS SOUS 644020 HAS SOUPS 644020 WITH SCORE 645457.942
AT ITER 4158 NEW BEST:: SOT 2592016 SOS 1437292 HAS SOPS 1437292 HAS SOUS 644020 HAS SOUPS 644020 WITH SCORE 645457.292
AT ITER 4164 NEW BEST:: SOT 2592056 SOS 1436870 HAS SOPS 1436870 HAS SOUS 643586 HAS SOUPS 643586 WITH SCORE 645022.87
AT ITER 4173 NEW BEST:: SOT 2592070 SOS 1436898 HAS SOPS 1436898 HAS SOUS 643500 HAS SOUPS 643500 WITH SCORE 644936.898
AT ITER 4176 NEW BEST:: SOT 2591901 SOS 1436560 HAS SOPS 1436560 HAS SOUS 643162 HAS SOUPS 643162 WITH SCORE 644598.56
AT ITER 4184 NEW BEST:: SOT 2591949 SOS 1436495 HAS SOPS 1436495 HAS SOUS 642936 HAS SOUPS 642936 WITH SCORE 644372.495
AT ITER 4185 NEW BEST:: SOT 2591593 SOS 1436117 HAS SOPS 1436117 HAS SOUS 642892 HAS SOUPS 642892 WITH SCORE 644328.117
AT ITER 4196 NEW BEST:: SOT 2591217 SOS 1435563 HAS SOPS 1435563 HAS SOUS 642536 HAS SOUPS 642536 WITH SCORE 643971.563
AT ITER 4204 NEW BEST:: SOT 2591189 SOS 1435507 HAS SOPS 1435507 HAS SOUS 642480 HAS SOUPS 642480 WITH SCORE 643915.507
AT ITER 4205 NEW BEST:: SOT 2591206 SOS 1435417 HAS SOPS 1435417 HAS SOUS 642390 HAS SOUPS 642390 WITH SCORE 643825.417
AT ITER 4209 NEW BEST:: SOT 2590989 SOS 1434983 HAS SOPS 1434983 HAS SOUS 642026 HAS SOUPS 642026 WITH SCORE 643460.983
AT ITER 4212 NEW BEST:: SOT 2590984 SOS 1434973 HAS SOPS 1434973 HAS SOUS 642016 HAS SOUPS 642016 WITH SCORE 643450.973
AT ITER 4220 NEW BEST:: SOT 2590983 SOS 1434375 HAS SOPS 1434375 HAS SOUS 642014 HAS SOUPS 642014 WITH SCORE 643448.375
AT ITER 4224 NEW BEST:: SOT 2590983 SOS 1434153 HAS SOPS 1434153 HAS SOUS 641792 HAS SOUPS 641792 WITH SCORE 643226.153
AT ITER 4226 NEW BEST:: SOT 2590874 SOS 1433935 HAS SOPS 1433935 HAS SOUS 641574 HAS SOUPS 641574 WITH SCORE 643007.935
AT ITER 4233 NEW BEST:: SOT 2590870 SOS 1433931 HAS SOPS 1433931 HAS SOUS 641532 HAS SOUPS 641532 WITH SCORE 642965.931
AT ITER 4240 NEW BEST:: SOT 2591661 SOS 1433723 HAS SOPS 1433723 HAS SOUS 641324 HAS SOUPS 641324 WITH SCORE 642757.723
AT ITER 4245 NEW BEST:: SOT 2591953 SOS 1434558 HAS SOPS 1434558 HAS SOUS 641276 HAS SOUPS 641276 WITH SCORE 642710.558
AT ITER 4267 NEW BEST:: SOT 2591967 SOS 1434491 HAS SOPS 1434491 HAS SOUS 641209 HAS SOUPS 641209 WITH SCORE 642643.491
AT ITER 4272 NEW BEST:: SOT 2591996 SOS 1434549 HAS SOPS 1434549 HAS SOUS 641149 HAS SOUPS 641149 WITH SCORE 642583.549
AT ITER 4280 NEW BEST:: SOT 2591844 SOS 1433783 HAS SOPS 1433783 HAS SOUS 640997 HAS SOUPS 640997 WITH SCORE 642430.783
AT ITER 4288 NEW BEST:: SOT 2591843 SOS 1433760 HAS SOPS 1433760 HAS SOUS 640995 HAS SOUPS 640995 WITH SCORE 642428.76
AT ITER 4292 NEW BEST:: SOT 2591276 SOS 1433595 HAS SOPS 1433595 HAS SOUS 640966 HAS SOUPS 640966 WITH SCORE 642399.595
AT ITER 4304 NEW BEST:: SOT 2591088 SOS 1433407 HAS SOPS 1433407 HAS SOUS 640778 HAS SOUPS 640778 WITH SCORE 642211.407
AT ITER 4308 NEW BEST:: SOT 2590913 SOS 1432925 HAS SOPS 1432925 HAS SOUS 640428 HAS SOUPS 640428 WITH SCORE 641860.925
AT ITER 4325 NEW BEST:: SOT 2590913 SOS 1432888 HAS SOPS 1432888 HAS SOUS 640428 HAS SOUPS 640428 WITH SCORE 641860.888
AT ITER 4326 NEW BEST:: SOT 2590974 SOS 1433094 HAS SOPS 1433094 HAS SOUS 639909 HAS SOUPS 639909 WITH SCORE 641342.094
AT ITER 4339 NEW BEST:: SOT 2590797 SOS 1433091 HAS SOPS 1433091 HAS SOUS 639906 HAS SOUPS 639906 WITH SCORE 641339.091
AT ITER 4340 NEW BEST:: SOT 2589785 SOS 1432079 HAS SOPS 1432079 HAS SOUS 639906 HAS SOUPS 639906 WITH SCORE 641338.079
AT ITER 4341 NEW BEST:: SOT 2589240 SOS 1432162 HAS SOPS 1432162 HAS SOUS 639361 HAS SOUPS 639361 WITH SCORE 640793.162
AT ITER 4348 NEW BEST:: SOT 2589098 SOS 1430780 HAS SOPS 1430780 HAS SOUS 639137 HAS SOUPS 639137 WITH SCORE 640567.78
AT ITER 4350 NEW BEST:: SOT 2589284 SOS 1430730 HAS SOPS 1430730 HAS SOUS 638436 HAS SOUPS 638436 WITH SCORE 639866.73
AT ITER 4354 NEW BEST:: SOT 2589111 SOS 1430680 HAS SOPS 1430680 HAS SOUS 638265 HAS SOUPS 638265 WITH SCORE 639695.68
AT ITER 4355 NEW BEST:: SOT 2589094 SOS 1430530 HAS SOPS 1430530 HAS SOUS 638115 HAS SOUPS 638115 WITH SCORE 639545.53
AT ITER 4356 NEW BEST:: SOT 2588990 SOS 1430402 HAS SOPS 1430402 HAS SOUS 637827 HAS SOUPS 637827 WITH SCORE 639257.402
AT ITER 4361 NEW BEST:: SOT 2588866 SOS 1430278 HAS SOPS 1430278 HAS SOUS 637703 HAS SOUPS 637703 WITH SCORE 639133.278
AT ITER 4364 NEW BEST:: SOT 2588866 SOS 1430278 HAS SOPS 1430278 HAS SOUS 637610 HAS SOUPS 637610 WITH SCORE 639040.278
AT ITER 4371 NEW BEST:: SOT 2588750 SOS 1430046 HAS SOPS 1430046 HAS SOUS 637494 HAS SOUPS 637494 WITH SCORE 638924.046
AT ITER 4372 NEW BEST:: SOT 2588765 SOS 1430076 HAS SOPS 1430076 HAS SOUS 637304 HAS SOUPS 637304 WITH SCORE 638734.076
AT ITER 4377 NEW BEST:: SOT 2588242 SOS 1429320 HAS SOPS 1429320 HAS SOUS 637227 HAS SOUPS 637227 WITH SCORE 638656.32
AT ITER 4382 NEW BEST:: SOT 2587553 SOS 1428631 HAS SOPS 1428631 HAS SOUS 636538 HAS SOUPS 636538 WITH SCORE 637966.631
AT ITER 4388 NEW BEST:: SOT 2587016 SOS 1427461 HAS SOPS 1427461 HAS SOUS 635657 HAS SOUPS 635657 WITH SCORE 637084.461
AT ITER 4393 NEW BEST:: SOT 2587016 SOS 1427470 HAS SOPS 1427470 HAS SOUS 635512 HAS SOUPS 635512 WITH SCORE 636939.47
AT ITER 4397 NEW BEST:: SOT 2587016 SOS 1427470 HAS SOPS 1427470 HAS SOUS 635227 HAS SOUPS 635227 WITH SCORE 636654.47
AT ITER 4404 NEW BEST:: SOT 2586859 SOS 1427157 HAS SOPS 1427157 HAS SOUS 635070 HAS SOUPS 635070 WITH SCORE 636497.157
AT ITER 4409 NEW BEST:: SOT 2587051 SOS 1427349 HAS SOPS 1427349 HAS SOUS 635054 HAS SOUPS 635054 WITH SCORE 636481.349
AT ITER 4415 NEW BEST:: SOT 2586967 SOS 1427433 HAS SOPS 1427433 HAS SOUS 634970 HAS SOUPS 634970 WITH SCORE 636397.433
AT ITER 4424 NEW BEST:: SOT 2586923 SOS 1427389 HAS SOPS 1427389 HAS SOUS 634926 HAS SOUPS 634926 WITH SCORE 636353.389
AT ITER 4426 NEW BEST:: SOT 2586886 SOS 1427315 HAS SOPS 1427315 HAS SOUS 634889 HAS SOUPS 634889 WITH SCORE 636316.315
AT ITER 4428 NEW BEST:: SOT 2586886 SOS 1427342 HAS SOPS 1427342 HAS SOUS 634862 HAS SOUPS 634862 WITH SCORE 636289.342
AT ITER 4431 NEW BEST:: SOT 2587662 SOS 1427745 HAS SOPS 1427745 HAS SOUS 634558 HAS SOUPS 634558 WITH SCORE 635985.745
AT ITER 4440 NEW BEST:: SOT 2587263 SOS 1426830 HAS SOPS 1426830 HAS SOUS 634297 HAS SOUPS 634297 WITH SCORE 635723.83
AT ITER 4443 NEW BEST:: SOT 2587263 SOS 1426704 HAS SOPS 1426704 HAS SOUS 634297 HAS SOUPS 634297 WITH SCORE 635723.704
AT ITER 4447 NEW BEST:: SOT 2586908 SOS 1426349 HAS SOPS 1426349 HAS SOUS 633942 HAS SOUPS 633942 WITH SCORE 635368.349
AT ITER 4453 NEW BEST:: SOT 2586823 SOS 1426277 HAS SOPS 1426277 HAS SOUS 633870 HAS SOUPS 633870 WITH SCORE 635296.277
AT ITER 4458 NEW BEST:: SOT 2586957 SOS 1426320 HAS SOPS 1426320 HAS SOUS 633779 HAS SOUPS 633779 WITH SCORE 635205.32
AT ITER 4459 NEW BEST:: SOT 2586959 SOS 1426324 HAS SOPS 1426324 HAS SOUS 633718 HAS SOUPS 633718 WITH SCORE 635144.324
AT ITER 4460 NEW BEST:: SOT 2587372 SOS 1426252 HAS SOPS 1426252 HAS SOUS 633533 HAS SOUPS 633533 WITH SCORE 634959.252
AT ITER 4480 NEW BEST:: SOT 2587305 SOS 1426118 HAS SOPS 1426118 HAS SOUS 633399 HAS SOUPS 633399 WITH SCORE 634825.118
AT ITER 4482 NEW BEST:: SOT 2587305 SOS 1425651 HAS SOPS 1425651 HAS SOUS 633001 HAS SOUPS 633001 WITH SCORE 634426.651
AT ITER 4487 NEW BEST:: SOT 2587195 SOS 1425541 HAS SOPS 1425541 HAS SOUS 632668 HAS SOUPS 632668 WITH SCORE 634093.541
AT ITER 4493 NEW BEST:: SOT 2587195 SOS 1425440 HAS SOPS 1425440 HAS SOUS 632382 HAS SOUPS 632382 WITH SCORE 633807.44
AT ITER 4495 NEW BEST:: SOT 2587025 SOS 1425270 HAS SOPS 1425270 HAS SOUS 632354 HAS SOUPS 632354 WITH SCORE 633779.27
AT ITER 4498 NEW BEST:: SOT 2586907 SOS 1425034 HAS SOPS 1425034 HAS SOUS 632118 HAS SOUPS 632118 WITH SCORE 633543.034
AT ITER 4510 NEW BEST:: SOT 2586832 SOS 1424884 HAS SOPS 1424884 HAS SOUS 632043 HAS SOUPS 632043 WITH SCORE 633467.884
AT ITER 4526 NEW BEST:: SOT 2586673 SOS 1424566 HAS SOPS 1424566 HAS SOUS 631555 HAS SOUPS 631555 WITH SCORE 632979.566
AT ITER 4527 NEW BEST:: SOT 2586409 SOS 1424038 HAS SOPS 1424038 HAS SOUS 631291 HAS SOUPS 631291 WITH SCORE 632715.038
AT ITER 4554 NEW BEST:: SOT 2586296 SOS 1423812 HAS SOPS 1423812 HAS SOUS 631065 HAS SOUPS 631065 WITH SCORE 632488.812
AT ITER 4559 NEW BEST:: SOT 2586025 SOS 1423593 HAS SOPS 1423593 HAS SOUS 631020 HAS SOUPS 631020 WITH SCORE 632443.593
AT ITER 4562 NEW BEST:: SOT 2585486 SOS 1422796 HAS SOPS 1422796 HAS SOUS 630481 HAS SOUPS 630481 WITH SCORE 631903.796
AT ITER 4576 NEW BEST:: SOT 2585486 SOS 1422471 HAS SOPS 1422471 HAS SOUS 630156 HAS SOUPS 630156 WITH SCORE 631578.471
AT ITER 4578 NEW BEST:: SOT 2585486 SOS 1422471 HAS SOPS 1422471 HAS SOUS 630155 HAS SOUPS 630155 WITH SCORE 631577.471
AT ITER 4581 NEW BEST:: SOT 2585450 SOS 1422879 HAS SOPS 1422879 HAS SOUS 630119 HAS SOUPS 630119 WITH SCORE 631541.879
AT ITER 4584 NEW BEST:: SOT 2585281 SOS 1422541 HAS SOPS 1422541 HAS SOUS 629866 HAS SOUPS 629866 WITH SCORE 631288.541
AT ITER 4585 NEW BEST:: SOT 2584546 SOS 1421806 HAS SOPS 1421806 HAS SOUS 629866 HAS SOUPS 629866 WITH SCORE 631287.806
AT ITER 4592 NEW BEST:: SOT 2584546 SOS 1421785 HAS SOPS 1421785 HAS SOUS 629866 HAS SOUPS 629866 WITH SCORE 631287.785
AT ITER 4600 NEW BEST:: SOT 2584562 SOS 1421817 HAS SOPS 1421817 HAS SOUS 629769 HAS SOUPS 629769 WITH SCORE 631190.817
AT ITER 4601 NEW BEST:: SOT 2584436 SOS 1421294 HAS SOPS 1421294 HAS SOUS 629725 HAS SOUPS 629725 WITH SCORE 631146.294
AT ITER 4604 NEW BEST:: SOT 2584373 SOS 1422069 HAS SOPS 1422069 HAS SOUS 629662 HAS SOUPS 629662 WITH SCORE 631084.069
AT ITER 4608 NEW BEST:: SOT 2584373 SOS 1422069 HAS SOPS 1422069 HAS SOUS 629392 HAS SOUPS 629392 WITH SCORE 630814.069
AT ITER 4617 NEW BEST:: SOT 2583156 SOS 1420852 HAS SOPS 1420852 HAS SOUS 628638 HAS SOUPS 628638 WITH SCORE 630058.852
AT ITER 4630 NEW BEST:: SOT 2583106 SOS 1420848 HAS SOPS 1420848 HAS SOUS 628588 HAS SOUPS 628588 WITH SCORE 630008.848
AT ITER 4640 NEW BEST:: SOT 2583106 SOS 1420848 HAS SOPS 1420848 HAS SOUS 628460 HAS SOUPS 628460 WITH SCORE 629880.848
AT ITER 4649 NEW BEST:: SOT 2582956 SOS 1420698 HAS SOPS 1420698 HAS SOUS 628366 HAS SOUPS 628366 WITH SCORE 629786.698
AT ITER 4651 NEW BEST:: SOT 2582943 SOS 1420572 HAS SOPS 1420572 HAS SOUS 628340 HAS SOUPS 628340 WITH SCORE 629760.572
AT ITER 4660 NEW BEST:: SOT 2582943 SOS 1420572 HAS SOPS 1420572 HAS SOUS 628283 HAS SOUPS 628283 WITH SCORE 629703.572
AT ITER 4662 NEW BEST:: SOT 2582943 SOS 1420447 HAS SOPS 1420447 HAS SOUS 628283 HAS SOUPS 628283 WITH SCORE 629703.447
AT ITER 4667 NEW BEST:: SOT 2582604 SOS 1419216 HAS SOPS 1419216 HAS SOUS 627313 HAS SOUPS 627313 WITH SCORE 628732.216
AT ITER 4681 NEW BEST:: SOT 2582449 SOS 1419061 HAS SOPS 1419061 HAS SOUS 627270 HAS SOUPS 627270 WITH SCORE 628689.061
AT ITER 4691 NEW BEST:: SOT 2582217 SOS 1417772 HAS SOPS 1417772 HAS SOUS 625769 HAS SOUPS 625769 WITH SCORE 627186.772
AT ITER 4696 NEW BEST:: SOT 2582909 SOS 1418162 HAS SOPS 1418162 HAS SOUS 625165 HAS SOUPS 625165 WITH SCORE 626583.162
AT ITER 4697 NEW BEST:: SOT 2582875 SOS 1418128 HAS SOPS 1418128 HAS SOUS 625097 HAS SOUPS 625097 WITH SCORE 626515.128
AT ITER 4701 NEW BEST:: SOT 2581854 SOS 1419452 HAS SOPS 1419452 HAS SOUS 624496 HAS SOUPS 624496 WITH SCORE 625915.452
AT ITER 4702 NEW BEST:: SOT 2581828 SOS 1419426 HAS SOPS 1419426 HAS SOUS 624470 HAS SOUPS 624470 WITH SCORE 625889.426
AT ITER 4708 NEW BEST:: SOT 2581804 SOS 1419480 HAS SOPS 1419480 HAS SOUS 624446 HAS SOUPS 624446 WITH SCORE 625865.48
AT ITER 4719 NEW BEST:: SOT 2581741 SOS 1419485 HAS SOPS 1419485 HAS SOUS 624383 HAS SOUPS 624383 WITH SCORE 625802.485
AT ITER 4722 NEW BEST:: SOT 2581150 SOS 1418894 HAS SOPS 1418894 HAS SOUS 623792 HAS SOUPS 623792 WITH SCORE 625210.894
AT ITER 4729 NEW BEST:: SOT 2580862 SOS 1418894 HAS SOPS 1418894 HAS SOUS 623504 HAS SOUPS 623504 WITH SCORE 624922.894
AT ITER 4734 NEW BEST:: SOT 2581083 SOS 1419336 HAS SOPS 1419336 HAS SOUS 623324 HAS SOUPS 623324 WITH SCORE 624743.336
AT ITER 4738 NEW BEST:: SOT 2580730 SOS 1419044 HAS SOPS 1419044 HAS SOUS 622971 HAS SOUPS 622971 WITH SCORE 624390.044
AT ITER 4741 NEW BEST:: SOT 2580730 SOS 1418692 HAS SOPS 1418692 HAS SOUS 622939 HAS SOUPS 622939 WITH SCORE 624357.692
AT ITER 4748 NEW BEST:: SOT 2581060 SOS 1418755 HAS SOPS 1418755 HAS SOUS 622802 HAS SOUPS 622802 WITH SCORE 624220.755
AT ITER 4750 NEW BEST:: SOT 2581050 SOS 1418725 HAS SOPS 1418725 HAS SOUS 622782 HAS SOUPS 622782 WITH SCORE 624200.725
AT ITER 4752 NEW BEST:: SOT 2581050 SOS 1418724 HAS SOPS 1418724 HAS SOUS 622781 HAS SOUPS 622781 WITH SCORE 624199.724
AT ITER 4762 NEW BEST:: SOT 2580720 SOS 1418064 HAS SOPS 1418064 HAS SOUS 622121 HAS SOUPS 622121 WITH SCORE 623539.064
AT ITER 4795 NEW BEST:: SOT 2580446 SOS 1417790 HAS SOPS 1417790 HAS SOUS 621847 HAS SOUPS 621847 WITH SCORE 623264.79
AT ITER 4799 NEW BEST:: SOT 2580921 SOS 1417758 HAS SOPS 1417758 HAS SOUS 621688 HAS SOUPS 621688 WITH SCORE 623105.758
AT ITER 4800 NEW BEST:: SOT 2580920 SOS 1417738 HAS SOPS 1417738 HAS SOUS 621686 HAS SOUPS 621686 WITH SCORE 623103.738
AT ITER 4810 NEW BEST:: SOT 2580691 SOS 1417280 HAS SOPS 1417280 HAS SOUS 621312 HAS SOUPS 621312 WITH SCORE 622729.28
AT ITER 4812 NEW BEST:: SOT 2580905 SOS 1417494 HAS SOPS 1417494 HAS SOUS 621214 HAS SOUPS 621214 WITH SCORE 622631.494
AT ITER 4816 NEW BEST:: SOT 2580778 SOS 1417367 HAS SOPS 1417367 HAS SOUS 620865 HAS SOUPS 620865 WITH SCORE 622282.367
AT ITER 4820 NEW BEST:: SOT 2580642 SOS 1417095 HAS SOPS 1417095 HAS SOUS 620729 HAS SOUPS 620729 WITH SCORE 622146.095
AT ITER 4834 NEW BEST:: SOT 2580219 SOS 1416553 HAS SOPS 1416553 HAS SOUS 619771 HAS SOUPS 619771 WITH SCORE 621187.553
AT ITER 4843 NEW BEST:: SOT 2580350 SOS 1416815 HAS SOPS 1416815 HAS SOUS 619689 HAS SOUPS 619689 WITH SCORE 621105.815
AT ITER 4848 NEW BEST:: SOT 2580350 SOS 1416799 HAS SOPS 1416799 HAS SOUS 619673 HAS SOUPS 619673 WITH SCORE 621089.799
AT ITER 4850 NEW BEST:: SOT 2580352 SOS 1416803 HAS SOPS 1416803 HAS SOUS 619399 HAS SOUPS 619399 WITH SCORE 620815.803
AT ITER 4853 NEW BEST:: SOT 2579909 SOS 1415917 HAS SOPS 1415917 HAS SOUS 618771 HAS SOUPS 618771 WITH SCORE 620186.917
AT ITER 4855 NEW BEST:: SOT 2579572 SOS 1415288 HAS SOPS 1415288 HAS SOUS 618664 HAS SOUPS 618664 WITH SCORE 620079.288
AT ITER 4868 NEW BEST:: SOT 2579724 SOS 1415440 HAS SOPS 1415440 HAS SOUS 618662 HAS SOUPS 618662 WITH SCORE 620077.44
AT ITER 4871 NEW BEST:: SOT 2579724 SOS 1415440 HAS SOPS 1415440 HAS SOUS 618629 HAS SOUPS 618629 WITH SCORE 620044.44
AT ITER 4873 NEW BEST:: SOT 2579724 SOS 1415138 HAS SOPS 1415138 HAS SOUS 618629 HAS SOUPS 618629 WITH SCORE 620044.138
AT ITER 4874 NEW BEST:: SOT 2579724 SOS 1415267 HAS SOPS 1415267 HAS SOUS 618279 HAS SOUPS 618279 WITH SCORE 619694.267
AT ITER 4878 NEW BEST:: SOT 2579724 SOS 1415267 HAS SOPS 1415267 HAS SOUS 618080 HAS SOUPS 618080 WITH SCORE 619495.267
AT ITER 4886 NEW BEST:: SOT 2579724 SOS 1415168 HAS SOPS 1415168 HAS SOUS 617981 HAS SOUPS 617981 WITH SCORE 619396.168
AT ITER 4898 NEW BEST:: SOT 2579691 SOS 1415102 HAS SOPS 1415102 HAS SOUS 617915 HAS SOUPS 617915 WITH SCORE 619330.102
AT ITER 4902 NEW BEST:: SOT 2579591 SOS 1415002 HAS SOPS 1415002 HAS SOUS 617915 HAS SOUPS 617915 WITH SCORE 619330.002
AT ITER 4906 NEW BEST:: SOT 2579591 SOS 1414923 HAS SOPS 1414923 HAS SOUS 617836 HAS SOUPS 617836 WITH SCORE 619250.923
AT ITER 4908 NEW BEST:: SOT 2579691 SOS 1415123 HAS SOPS 1415123 HAS SOUS 617779 HAS SOUPS 617779 WITH SCORE 619194.123
AT ITER 4909 NEW BEST:: SOT 2579691 SOS 1415012 HAS SOPS 1415012 HAS SOUS 617668 HAS SOUPS 617668 WITH SCORE 619083.012
AT ITER 4918 NEW BEST:: SOT 2579496 SOS 1414921 HAS SOPS 1414921 HAS SOUS 617403 HAS SOUPS 617403 WITH SCORE 618817.921
AT ITER 4923 NEW BEST:: SOT 2579447 SOS 1413794 HAS SOPS 1413794 HAS SOUS 617354 HAS SOUPS 617354 WITH SCORE 618767.794
AT ITER 4925 NEW BEST:: SOT 2579375 SOS 1413650 HAS SOPS 1413650 HAS SOUS 617354 HAS SOUPS 617354 WITH SCORE 618767.65
AT ITER 4927 NEW BEST:: SOT 2579190 SOS 1413280 HAS SOPS 1413280 HAS SOUS 617287 HAS SOUPS 617287 WITH SCORE 618700.28
AT ITER 4930 NEW BEST:: SOT 2579190 SOS 1413280 HAS SOPS 1413280 HAS SOUS 617286 HAS SOUPS 617286 WITH SCORE 618699.28
AT ITER 4932 NEW BEST:: SOT 2578942 SOS 1413032 HAS SOPS 1413032 HAS SOUS 617038 HAS SOUPS 617038 WITH SCORE 618451.032
AT ITER 4934 NEW BEST:: SOT 2578326 SOS 1412416 HAS SOPS 1412416 HAS SOUS 616616 HAS SOUPS 616616 WITH SCORE 618028.416
AT ITER 4939 NEW BEST:: SOT 2578316 SOS 1412386 HAS SOPS 1412386 HAS SOUS 616596 HAS SOUPS 616596 WITH SCORE 618008.386
AT ITER 4941 NEW BEST:: SOT 2578092 SOS 1411938 HAS SOPS 1411938 HAS SOUS 616502 HAS SOUPS 616502 WITH SCORE 617913.938
AT ITER 4943 NEW BEST:: SOT 2578207 SOS 1412176 HAS SOPS 1412176 HAS SOUS 616464 HAS SOUPS 616464 WITH SCORE 617876.176
AT ITER 4947 NEW BEST:: SOT 2578053 SOS 1411595 HAS SOPS 1411595 HAS SOUS 616260 HAS SOUPS 616260 WITH SCORE 617671.595
AT ITER 4957 NEW BEST:: SOT 2578000 SOS 1410921 HAS SOPS 1410921 HAS SOUS 615888 HAS SOUPS 615888 WITH SCORE 617298.921
AT ITER 4970 NEW BEST:: SOT 2577932 SOS 1410683 HAS SOPS 1410683 HAS SOUS 615558 HAS SOUPS 615558 WITH SCORE 616968.683
AT ITER 4971 NEW BEST:: SOT 2577871 SOS 1410622 HAS SOPS 1410622 HAS SOUS 615497 HAS SOUPS 615497 WITH SCORE 616907.622
AT ITER 4983 NEW BEST:: SOT 2577732 SOS 1410483 HAS SOPS 1410483 HAS SOUS 615358 HAS SOUPS 615358 WITH SCORE 616768.483
AT ITER 4996 NEW BEST:: SOT 2577732 SOS 1409244 HAS SOPS 1409244 HAS SOUS 615358 HAS SOUPS 615358 WITH SCORE 616767.244
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-00 (AG( ( ( ( potential( ( 1 ) <= (tk(P353)) ) & potential( ( 3 ) <= (tk(P1175)) ) ) | ( potential( ( 1 ) <= (tk(P1370)) ) | potential( ( 2 ) <= (tk(P1636)) ) ) ) | (EG( potential( (tk(P1166)) <= (tk(P618)) ))) )))
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-01 (EU( potential( (tk(P1531)) <= (tk(P534)) ),(EG( potential( (tk(P1045)) <= (tk(P148)) ))) ))
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-02 (AG( potential( (tk(P1384)) <= (tk(P1468)) )))
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-03 ( (AF((AX( potential( ( 1 ) <= (tk(P1327)) ))))) | (! ( ( (! potential( (tk(P1739)) <= (tk(P1188)) )) & ( potential( ( 2 ) <= (tk(P1265)) ) & potential( (tk(P847)) <= (tk(P1150)) ) ) ) | (AG( potential( (tk(P1217)) <= (tk(P202)) ))) )) )
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-04 ( ( (EF((! potential( (tk(P200)) <= (tk(P1353)) )))) & (EF((! potential( ( 1 ) <= (tk(P62)) )))) ) | (EG( (! ( potential( ( 3 ) <= (tk(P1722)) ) | potential( ( 2 ) <= (tk(P1941)) ) )))) )
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-05 (EF((! (AF(potential( ( 3 ) <= (tk(P522)) ))))))
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-06 (EX( (EU( potential( (tk(P648)) <= (tk(P1326)) ),potential( ( 2 ) <= (tk(P1724)) ) ))))
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-07 (AF(( ( (! potential( (tk(P920)) <= (tk(P1692)) )) & (! potential( ( 1 ) <= (tk(P1784)) )) ) & ( potential( ( 3 ) <= (tk(P764)) ) | (! potential( ( 2 ) <= (tk(P208)) )) ) )))
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-08 (EF((! ( ( potential( ( 2 ) <= (tk(P1511)) ) & potential( (tk(P1401)) <= (tk(P1576)) ) ) | ( potential( (tk(P1374)) <= (tk(P1861)) ) | potential( (tk(P912)) <= (tk(P1222)) ) ) ))))
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-09 (! (! (EF((! potential( (tk(P1019)) <= (tk(P519)) ))))))
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-10 (! ( (EU( potential( (tk(P896)) <= (tk(P221)) ),potential( ( 3 ) <= (tk(P1342)) ) )) & (AU( potential( (tk(P33)) <= (tk(P760)) ),potential( ( 3 ) <= (tk(P586)) ) )) ))
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-11 (EF(( (! potential( (tk(P1648)) <= (tk(P1983)) )) & ( ( potential( (tk(P1182)) <= (tk(P1214)) ) | potential( ( 1 ) <= (tk(P673)) ) ) & potential( (tk(P1289)) <= (tk(P1908)) ) ) )))
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-12 (EU( (AF(potential( ( 3 ) <= (tk(P1189)) ))),( ( potential( (tk(P1001)) <= (tk(P1413)) ) | potential( ( 2 ) <= (tk(P1878)) ) ) & ( potential( ( 3 ) <= (tk(P58)) ) | potential( ( 3 ) <= (tk(P1044)) ) ) ) ))
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-13 (EF((EX( ( potential( ( 3 ) <= (tk(P619)) ) | potential( ( 3 ) <= (tk(P1301)) ) )))))
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-14 ( potential( (tk(P1662)) <= (tk(P1784)) ) & ( (AX( (! potential( (tk(P726)) <= (tk(P53)) )))) | (AF(( potential( ( 3 ) <= (tk(P773)) ) & potential( ( 1 ) <= (tk(P996)) ) ))) ) )
PROPERTY: FlexibleBarrier-PT-12b-CTLCardinality-15 (AX( ( ( (! potential( ( 1 ) <= (tk(P1213)) )) | ( potential( ( 2 ) <= (tk(P1126)) ) | potential( (tk(P1084)) <= (tk(P1220)) ) ) ) & (AF(potential( ( 3 ) <= (tk(P1758)) ))) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-12b"
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 FlexibleBarrier-PT-12b, 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 r078-smll-158922972500331"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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