About the Execution of smart for ASLink-PT-08a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15764.710 | 3600000.00 | 3600001.00 | 0.00 | [undef] | Time out reached |
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.r003-smll-158897508100124.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 ASLink-PT-08a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100124
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 924K
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 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 757K 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 ASLink-PT-08a-CTLFireability-00
FORMULA_NAME ASLink-PT-08a-CTLFireability-01
FORMULA_NAME ASLink-PT-08a-CTLFireability-02
FORMULA_NAME ASLink-PT-08a-CTLFireability-03
FORMULA_NAME ASLink-PT-08a-CTLFireability-04
FORMULA_NAME ASLink-PT-08a-CTLFireability-05
FORMULA_NAME ASLink-PT-08a-CTLFireability-06
FORMULA_NAME ASLink-PT-08a-CTLFireability-07
FORMULA_NAME ASLink-PT-08a-CTLFireability-08
FORMULA_NAME ASLink-PT-08a-CTLFireability-09
FORMULA_NAME ASLink-PT-08a-CTLFireability-10
FORMULA_NAME ASLink-PT-08a-CTLFireability-11
FORMULA_NAME ASLink-PT-08a-CTLFireability-12
FORMULA_NAME ASLink-PT-08a-CTLFireability-13
FORMULA_NAME ASLink-PT-08a-CTLFireability-14
FORMULA_NAME ASLink-PT-08a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589059279779
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 08a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 1796 places, 2646 transitions, 9934 arcs.
AT ITER 0 NEW BEST:: SOT 2632951 SOS 1810403 HAS SOPS 1810403 HAS SOUS 1178590 HAS SOUPS 1178590 WITH SCORE 1180400.403
AT ITER 8 NEW BEST:: SOT 2632951 SOS 1810389 HAS SOPS 1810389 HAS SOUS 1178576 HAS SOUPS 1178576 WITH SCORE 1180386.389
AT ITER 10 NEW BEST:: SOT 2632403 SOS 1808086 HAS SOPS 1808086 HAS SOUS 1177045 HAS SOUPS 1177045 WITH SCORE 1178853.086
AT ITER 26 NEW BEST:: SOT 2622361 SOS 1799780 HAS SOPS 1799780 HAS SOUS 1167932 HAS SOUPS 1167932 WITH SCORE 1169731.78
AT ITER 35 NEW BEST:: SOT 2622361 SOS 1799716 HAS SOPS 1799716 HAS SOUS 1167932 HAS SOUPS 1167932 WITH SCORE 1169731.716
AT ITER 41 NEW BEST:: SOT 2622297 SOS 1799652 HAS SOPS 1799652 HAS SOUS 1167931 HAS SOUPS 1167931 WITH SCORE 1169730.652
AT ITER 43 NEW BEST:: SOT 2622134 SOS 1799489 HAS SOPS 1799489 HAS SOUS 1167767 HAS SOUPS 1167767 WITH SCORE 1169566.489
AT ITER 45 NEW BEST:: SOT 2622134 SOS 1799933 HAS SOPS 1799933 HAS SOUS 1167758 HAS SOUPS 1167758 WITH SCORE 1169557.933
AT ITER 46 NEW BEST:: SOT 2614841 SOS 1792640 HAS SOPS 1792640 HAS SOUS 1160465 HAS SOUPS 1160465 WITH SCORE 1162257.64
AT ITER 49 NEW BEST:: SOT 2613835 SOS 1791394 HAS SOPS 1791394 HAS SOUS 1160345 HAS SOUPS 1160345 WITH SCORE 1162136.394
AT ITER 54 NEW BEST:: SOT 2613325 SOS 1790374 HAS SOPS 1790374 HAS SOUS 1159829 HAS SOUPS 1159829 WITH SCORE 1161619.374
AT ITER 57 NEW BEST:: SOT 2613206 SOS 1790255 HAS SOPS 1790255 HAS SOUS 1159825 HAS SOUPS 1159825 WITH SCORE 1161615.255
AT ITER 58 NEW BEST:: SOT 2612777 SOS 1789389 HAS SOPS 1789389 HAS SOUS 1158959 HAS SOUPS 1158959 WITH SCORE 1160748.389
AT ITER 59 NEW BEST:: SOT 2612777 SOS 1788540 HAS SOPS 1788540 HAS SOUS 1158952 HAS SOUPS 1158952 WITH SCORE 1160740.54
AT ITER 65 NEW BEST:: SOT 2612777 SOS 1788001 HAS SOPS 1788001 HAS SOUS 1158760 HAS SOUPS 1158760 WITH SCORE 1160548.001
AT ITER 66 NEW BEST:: SOT 2605986 SOS 1781210 HAS SOPS 1781210 HAS SOUS 1151969 HAS SOUPS 1151969 WITH SCORE 1153750.21
AT ITER 70 NEW BEST:: SOT 2604673 SOS 1777515 HAS SOPS 1777515 HAS SOUS 1149340 HAS SOUPS 1149340 WITH SCORE 1151117.515
AT ITER 72 NEW BEST:: SOT 2604507 SOS 1777349 HAS SOPS 1777349 HAS SOUS 1149168 HAS SOUPS 1149168 WITH SCORE 1150945.349
AT ITER 74 NEW BEST:: SOT 2604507 SOS 1776644 HAS SOPS 1776644 HAS SOUS 1149167 HAS SOUPS 1149167 WITH SCORE 1150943.644
AT ITER 78 NEW BEST:: SOT 2604501 SOS 1776638 HAS SOPS 1776638 HAS SOUS 1149161 HAS SOUPS 1149161 WITH SCORE 1150937.638
AT ITER 79 NEW BEST:: SOT 2605481 SOS 1776237 HAS SOPS 1776237 HAS SOUS 1148545 HAS SOUPS 1148545 WITH SCORE 1150321.237
AT ITER 98 NEW BEST:: SOT 2604606 SOS 1775362 HAS SOPS 1775362 HAS SOUS 1147996 HAS SOUPS 1147996 WITH SCORE 1149771.362
AT ITER 105 NEW BEST:: SOT 2601125 SOS 1772933 HAS SOPS 1772933 HAS SOUS 1145001 HAS SOUPS 1145001 WITH SCORE 1146773.933
AT ITER 108 NEW BEST:: SOT 2600121 SOS 1771647 HAS SOPS 1771647 HAS SOUS 1144719 HAS SOUPS 1144719 WITH SCORE 1146490.647
AT ITER 115 NEW BEST:: SOT 2600060 SOS 1772375 HAS SOPS 1772375 HAS SOUS 1144584 HAS SOUPS 1144584 WITH SCORE 1146356.375
AT ITER 116 NEW BEST:: SOT 2599610 SOS 1771925 HAS SOPS 1771925 HAS SOUS 1144565 HAS SOUPS 1144565 WITH SCORE 1146336.925
AT ITER 122 NEW BEST:: SOT 2599117 SOS 1770300 HAS SOPS 1770300 HAS SOUS 1143579 HAS SOUPS 1143579 WITH SCORE 1145349.3
AT ITER 128 NEW BEST:: SOT 2598642 SOS 1768716 HAS SOPS 1768716 HAS SOUS 1142359 HAS SOUPS 1142359 WITH SCORE 1144127.716
AT ITER 133 NEW BEST:: SOT 2598196 SOS 1768270 HAS SOPS 1768270 HAS SOUS 1142336 HAS SOUPS 1142336 WITH SCORE 1144104.27
AT ITER 144 NEW BEST:: SOT 2598196 SOS 1764084 HAS SOPS 1764084 HAS SOUS 1142335 HAS SOUPS 1142335 WITH SCORE 1144099.084
AT ITER 145 NEW BEST:: SOT 2595957 SOS 1763047 HAS SOPS 1763047 HAS SOUS 1140895 HAS SOUPS 1140895 WITH SCORE 1142658.047
AT ITER 146 NEW BEST:: SOT 2595859 SOS 1763026 HAS SOPS 1763026 HAS SOUS 1140874 HAS SOUPS 1140874 WITH SCORE 1142637.026
AT ITER 154 NEW BEST:: SOT 2591800 SOS 1758967 HAS SOPS 1758967 HAS SOUS 1136815 HAS SOUPS 1136815 WITH SCORE 1138573.967
AT ITER 155 NEW BEST:: SOT 2589275 SOS 1765262 HAS SOPS 1765262 HAS SOUS 1135564 HAS SOUPS 1135564 WITH SCORE 1137329.262
AT ITER 156 NEW BEST:: SOT 2588206 SOS 1762323 HAS SOPS 1762323 HAS SOUS 1133418 HAS SOUPS 1133418 WITH SCORE 1135180.323
AT ITER 157 NEW BEST:: SOT 2583221 SOS 1763699 HAS SOPS 1763699 HAS SOUS 1129227 HAS SOUPS 1129227 WITH SCORE 1130990.699
AT ITER 169 NEW BEST:: SOT 2583710 SOS 1762246 HAS SOPS 1762246 HAS SOUS 1129226 HAS SOUPS 1129226 WITH SCORE 1130988.246
AT ITER 173 NEW BEST:: SOT 2583100 SOS 1761245 HAS SOPS 1761245 HAS SOUS 1128225 HAS SOUPS 1128225 WITH SCORE 1129986.245
AT ITER 179 NEW BEST:: SOT 2582784 SOS 1759486 HAS SOPS 1759486 HAS SOUS 1126683 HAS SOUPS 1126683 WITH SCORE 1128442.486
AT ITER 185 NEW BEST:: SOT 2582580 SOS 1759282 HAS SOPS 1759282 HAS SOUS 1126581 HAS SOUPS 1126581 WITH SCORE 1128340.282
AT ITER 192 NEW BEST:: SOT 2582580 SOS 1758901 HAS SOPS 1758901 HAS SOUS 1126575 HAS SOUPS 1126575 WITH SCORE 1128333.901
AT ITER 196 NEW BEST:: SOT 2582580 SOS 1758799 HAS SOPS 1758799 HAS SOUS 1126524 HAS SOUPS 1126524 WITH SCORE 1128282.799
AT ITER 207 NEW BEST:: SOT 2582580 SOS 1757558 HAS SOPS 1757558 HAS SOUS 1126524 HAS SOUPS 1126524 WITH SCORE 1128281.558
AT ITER 212 NEW BEST:: SOT 2582213 SOS 1757191 HAS SOPS 1757191 HAS SOUS 1126157 HAS SOUPS 1126157 WITH SCORE 1127914.191
AT ITER 217 NEW BEST:: SOT 2582213 SOS 1756725 HAS SOPS 1756725 HAS SOUS 1126156 HAS SOUPS 1126156 WITH SCORE 1127912.725
AT ITER 222 NEW BEST:: SOT 2582444 SOS 1756388 HAS SOPS 1756388 HAS SOUS 1126149 HAS SOUPS 1126149 WITH SCORE 1127905.388
AT ITER 225 NEW BEST:: SOT 2582012 SOS 1755956 HAS SOPS 1755956 HAS SOUS 1126148 HAS SOUPS 1126148 WITH SCORE 1127903.956
AT ITER 226 NEW BEST:: SOT 2579316 SOS 1753260 HAS SOPS 1753260 HAS SOUS 1123452 HAS SOUPS 1123452 WITH SCORE 1125205.26
AT ITER 228 NEW BEST:: SOT 2578622 SOS 1752566 HAS SOPS 1752566 HAS SOUS 1122758 HAS SOUPS 1122758 WITH SCORE 1124510.566
AT ITER 234 NEW BEST:: SOT 2578563 SOS 1752389 HAS SOPS 1752389 HAS SOUS 1122640 HAS SOUPS 1122640 WITH SCORE 1124392.389
AT ITER 239 NEW BEST:: SOT 2578495 SOS 1752253 HAS SOPS 1752253 HAS SOUS 1122502 HAS SOUPS 1122502 WITH SCORE 1124254.253
AT ITER 242 NEW BEST:: SOT 2578495 SOS 1752238 HAS SOPS 1752238 HAS SOUS 1122502 HAS SOUPS 1122502 WITH SCORE 1124254.238
AT ITER 250 NEW BEST:: SOT 2578495 SOS 1752233 HAS SOPS 1752233 HAS SOUS 1122497 HAS SOUPS 1122497 WITH SCORE 1124249.233
AT ITER 257 NEW BEST:: SOT 2578495 SOS 1752154 HAS SOPS 1752154 HAS SOUS 1122497 HAS SOUPS 1122497 WITH SCORE 1124249.154
AT ITER 263 NEW BEST:: SOT 2578495 SOS 1750457 HAS SOPS 1750457 HAS SOUS 1121006 HAS SOUPS 1121006 WITH SCORE 1122756.457
AT ITER 271 NEW BEST:: SOT 2578495 SOS 1750456 HAS SOPS 1750456 HAS SOUS 1121005 HAS SOUPS 1121005 WITH SCORE 1122755.456
AT ITER 275 NEW BEST:: SOT 2578491 SOS 1750452 HAS SOPS 1750452 HAS SOUS 1120997 HAS SOUPS 1120997 WITH SCORE 1122747.452
AT ITER 281 NEW BEST:: SOT 2578488 SOS 1750446 HAS SOPS 1750446 HAS SOUS 1120991 HAS SOUPS 1120991 WITH SCORE 1122741.446
AT ITER 284 NEW BEST:: SOT 2576933 SOS 1750601 HAS SOPS 1750601 HAS SOUS 1120320 HAS SOUPS 1120320 WITH SCORE 1122070.601
AT ITER 296 NEW BEST:: SOT 2576933 SOS 1749258 HAS SOPS 1749258 HAS SOUS 1119650 HAS SOUPS 1119650 WITH SCORE 1121399.258
AT ITER 302 NEW BEST:: SOT 2569114 SOS 1740992 HAS SOPS 1740992 HAS SOUS 1111384 HAS SOUPS 1111384 WITH SCORE 1113124.992
AT ITER 309 NEW BEST:: SOT 2569114 SOS 1740992 HAS SOPS 1740992 HAS SOUS 1110908 HAS SOUPS 1110908 WITH SCORE 1112648.992
AT ITER 310 NEW BEST:: SOT 2569111 SOS 1740527 HAS SOPS 1740527 HAS SOUS 1110679 HAS SOUPS 1110679 WITH SCORE 1112419.527
AT ITER 314 NEW BEST:: SOT 2568265 SOS 1733647 HAS SOPS 1733647 HAS SOUS 1108983 HAS SOUPS 1108983 WITH SCORE 1110716.647
AT ITER 316 NEW BEST:: SOT 2553431 SOS 1718813 HAS SOPS 1718813 HAS SOUS 1094148 HAS SOUPS 1094148 WITH SCORE 1095866.813
AT ITER 326 NEW BEST:: SOT 2553317 SOS 1718669 HAS SOPS 1718669 HAS SOUS 1094004 HAS SOUPS 1094004 WITH SCORE 1095722.669
AT ITER 327 NEW BEST:: SOT 2553021 SOS 1718373 HAS SOPS 1718373 HAS SOUS 1093985 HAS SOUPS 1093985 WITH SCORE 1095703.373
AT ITER 328 NEW BEST:: SOT 2553021 SOS 1718238 HAS SOPS 1718238 HAS SOUS 1093985 HAS SOUPS 1093985 WITH SCORE 1095703.238
AT ITER 338 NEW BEST:: SOT 2551266 SOS 1716457 HAS SOPS 1716457 HAS SOUS 1092204 HAS SOUPS 1092204 WITH SCORE 1093920.457
AT ITER 349 NEW BEST:: SOT 2551265 SOS 1714495 HAS SOPS 1714495 HAS SOUS 1092198 HAS SOUPS 1092198 WITH SCORE 1093912.495
AT ITER 356 NEW BEST:: SOT 2549409 SOS 1712065 HAS SOPS 1712065 HAS SOUS 1089285 HAS SOUPS 1089285 WITH SCORE 1090997.065
AT ITER 368 NEW BEST:: SOT 2549460 SOS 1711802 HAS SOPS 1711802 HAS SOUS 1089155 HAS SOUPS 1089155 WITH SCORE 1090866.802
AT ITER 371 NEW BEST:: SOT 2549460 SOS 1708825 HAS SOPS 1708825 HAS SOUS 1089154 HAS SOUPS 1089154 WITH SCORE 1090862.825
AT ITER 372 NEW BEST:: SOT 2547212 SOS 1709059 HAS SOPS 1709059 HAS SOUS 1087144 HAS SOUPS 1087144 WITH SCORE 1088853.059
AT ITER 373 NEW BEST:: SOT 2547211 SOS 1709058 HAS SOPS 1709058 HAS SOUS 1087132 HAS SOUPS 1087132 WITH SCORE 1088841.058
AT ITER 374 NEW BEST:: SOT 2547205 SOS 1709317 HAS SOPS 1709317 HAS SOUS 1087098 HAS SOUPS 1087098 WITH SCORE 1088807.317
AT ITER 378 NEW BEST:: SOT 2547013 SOS 1709125 HAS SOPS 1709125 HAS SOUS 1086885 HAS SOUPS 1086885 WITH SCORE 1088594.125
AT ITER 392 NEW BEST:: SOT 2547013 SOS 1707242 HAS SOPS 1707242 HAS SOUS 1086871 HAS SOUPS 1086871 WITH SCORE 1088578.242
AT ITER 397 NEW BEST:: SOT 2547013 SOS 1707140 HAS SOPS 1707140 HAS SOUS 1086871 HAS SOUPS 1086871 WITH SCORE 1088578.14
AT ITER 399 NEW BEST:: SOT 2538913 SOS 1698617 HAS SOPS 1698617 HAS SOUS 1078612 HAS SOUPS 1078612 WITH SCORE 1080310.617
AT ITER 402 NEW BEST:: SOT 2537298 SOS 1697002 HAS SOPS 1697002 HAS SOUS 1076995 HAS SOUPS 1076995 WITH SCORE 1078692.002
AT ITER 403 NEW BEST:: SOT 2537298 SOS 1696096 HAS SOPS 1696096 HAS SOUS 1076030 HAS SOUPS 1076030 WITH SCORE 1077726.096
AT ITER 405 NEW BEST:: SOT 2536659 SOS 1695457 HAS SOPS 1695457 HAS SOUS 1075391 HAS SOUPS 1075391 WITH SCORE 1077086.457
AT ITER 413 NEW BEST:: SOT 2536368 SOS 1694039 HAS SOPS 1694039 HAS SOUS 1075332 HAS SOUPS 1075332 WITH SCORE 1077026.039
AT ITER 414 NEW BEST:: SOT 2535619 SOS 1693290 HAS SOPS 1693290 HAS SOUS 1074583 HAS SOUPS 1074583 WITH SCORE 1076276.29
AT ITER 416 NEW BEST:: SOT 2518337 SOS 1674648 HAS SOPS 1674648 HAS SOUS 1056254 HAS SOUPS 1056254 WITH SCORE 1057928.648
AT ITER 427 NEW BEST:: SOT 2517913 SOS 1673651 HAS SOPS 1673651 HAS SOUS 1055925 HAS SOUPS 1055925 WITH SCORE 1057598.651
AT ITER 433 NEW BEST:: SOT 2516174 SOS 1672051 HAS SOPS 1672051 HAS SOUS 1054322 HAS SOUPS 1054322 WITH SCORE 1055994.051
AT ITER 435 NEW BEST:: SOT 2514907 SOS 1670517 HAS SOPS 1670517 HAS SOUS 1052249 HAS SOUPS 1052249 WITH SCORE 1053919.517
AT ITER 439 NEW BEST:: SOT 2509157 SOS 1665070 HAS SOPS 1665070 HAS SOUS 1044962 HAS SOUPS 1044962 WITH SCORE 1046627.07
AT ITER 445 NEW BEST:: SOT 2509153 SOS 1662185 HAS SOPS 1662185 HAS SOUS 1044520 HAS SOUPS 1044520 WITH SCORE 1046182.185
AT ITER 447 NEW BEST:: SOT 2508992 SOS 1661002 HAS SOPS 1661002 HAS SOUS 1044178 HAS SOUPS 1044178 WITH SCORE 1045839.002
AT ITER 448 NEW BEST:: SOT 2508992 SOS 1659037 HAS SOPS 1659037 HAS SOUS 1043329 HAS SOUPS 1043329 WITH SCORE 1044988.037
AT ITER 449 NEW BEST:: SOT 2508990 SOS 1658781 HAS SOPS 1658781 HAS SOUS 1043073 HAS SOUPS 1043073 WITH SCORE 1044731.781
AT ITER 453 NEW BEST:: SOT 2508233 SOS 1658024 HAS SOPS 1658024 HAS SOUS 1043050 HAS SOUPS 1043050 WITH SCORE 1044708.024
AT ITER 457 NEW BEST:: SOT 2508233 SOS 1657389 HAS SOPS 1657389 HAS SOUS 1042987 HAS SOUPS 1042987 WITH SCORE 1044644.389
AT ITER 458 NEW BEST:: SOT 2508259 SOS 1656099 HAS SOPS 1656099 HAS SOUS 1042232 HAS SOUPS 1042232 WITH SCORE 1043888.099
AT ITER 466 NEW BEST:: SOT 2507866 SOS 1655606 HAS SOPS 1655606 HAS SOUS 1042232 HAS SOUPS 1042232 WITH SCORE 1043887.606
AT ITER 475 NEW BEST:: SOT 2507469 SOS 1654385 HAS SOPS 1654385 HAS SOUS 1041438 HAS SOUPS 1041438 WITH SCORE 1043092.385
AT ITER 478 NEW BEST:: SOT 2507469 SOS 1653797 HAS SOPS 1653797 HAS SOUS 1040861 HAS SOUPS 1040861 WITH SCORE 1042514.797
AT ITER 479 NEW BEST:: SOT 2507182 SOS 1653510 HAS SOPS 1653510 HAS SOUS 1040855 HAS SOUPS 1040855 WITH SCORE 1042508.51
AT ITER 481 NEW BEST:: SOT 2486960 SOS 1636386 HAS SOPS 1636386 HAS SOUS 1019410 HAS SOUPS 1019410 WITH SCORE 1021046.386
AT ITER 490 NEW BEST:: SOT 2484687 SOS 1638006 HAS SOPS 1638006 HAS SOUS 1018125 HAS SOUPS 1018125 WITH SCORE 1019763.006
AT ITER 494 NEW BEST:: SOT 2484687 SOS 1638048 HAS SOPS 1638048 HAS SOUS 1018083 HAS SOUPS 1018083 WITH SCORE 1019721.048
AT ITER 497 NEW BEST:: SOT 2467938 SOS 1620526 HAS SOPS 1620526 HAS SOUS 999531 HAS SOUPS 999531 WITH SCORE 1001151.526
AT ITER 498 NEW BEST:: SOT 2467938 SOS 1616319 HAS SOPS 1616319 HAS SOUS 998802 HAS SOUPS 998802 WITH SCORE 1000418.319
AT ITER 513 NEW BEST:: SOT 2467052 SOS 1615433 HAS SOPS 1615433 HAS SOUS 997916 HAS SOUPS 997916 WITH SCORE 999531.433
AT ITER 522 NEW BEST:: SOT 2467301 SOS 1615519 HAS SOPS 1615519 HAS SOUS 997839 HAS SOUPS 997839 WITH SCORE 999454.519
AT ITER 523 NEW BEST:: SOT 2466412 SOS 1612877 HAS SOPS 1612877 HAS SOUS 995977 HAS SOUPS 995977 WITH SCORE 997589.877
AT ITER 526 NEW BEST:: SOT 2466412 SOS 1612815 HAS SOPS 1612815 HAS SOUS 995977 HAS SOUPS 995977 WITH SCORE 997589.815
AT ITER 530 NEW BEST:: SOT 2465917 SOS 1612320 HAS SOPS 1612320 HAS SOUS 995976 HAS SOUPS 995976 WITH SCORE 997588.32
AT ITER 532 NEW BEST:: SOT 2465917 SOS 1610734 HAS SOPS 1610734 HAS SOUS 995227 HAS SOUPS 995227 WITH SCORE 996837.734
AT ITER 537 NEW BEST:: SOT 2465689 SOS 1610506 HAS SOPS 1610506 HAS SOUS 994999 HAS SOUPS 994999 WITH SCORE 996609.506
AT ITER 538 NEW BEST:: SOT 2465238 SOS 1610506 HAS SOPS 1610506 HAS SOUS 994988 HAS SOUPS 994988 WITH SCORE 996598.506
AT ITER 554 NEW BEST:: SOT 2459921 SOS 1605545 HAS SOPS 1605545 HAS SOUS 990027 HAS SOUPS 990027 WITH SCORE 991632.545
AT ITER 557 NEW BEST:: SOT 2457807 SOS 1603431 HAS SOPS 1603431 HAS SOUS 987911 HAS SOUPS 987911 WITH SCORE 989514.431
AT ITER 560 NEW BEST:: SOT 2457807 SOS 1599465 HAS SOPS 1599465 HAS SOUS 987353 HAS SOUPS 987353 WITH SCORE 988952.465
AT ITER 563 NEW BEST:: SOT 2457621 SOS 1599279 HAS SOPS 1599279 HAS SOUS 987350 HAS SOUPS 987350 WITH SCORE 988949.279
AT ITER 567 NEW BEST:: SOT 2456544 SOS 1597794 HAS SOPS 1597794 HAS SOUS 985793 HAS SOUPS 985793 WITH SCORE 987390.794
AT ITER 570 NEW BEST:: SOT 2456478 SOS 1597667 HAS SOPS 1597667 HAS SOUS 985666 HAS SOUPS 985666 WITH SCORE 987263.667
AT ITER 571 NEW BEST:: SOT 2455088 SOS 1595677 HAS SOPS 1595677 HAS SOUS 983993 HAS SOUPS 983993 WITH SCORE 985588.677
AT ITER 575 NEW BEST:: SOT 2455092 SOS 1595667 HAS SOPS 1595667 HAS SOUS 983983 HAS SOUPS 983983 WITH SCORE 985578.667
AT ITER 577 NEW BEST:: SOT 2454648 SOS 1594647 HAS SOPS 1594647 HAS SOUS 983509 HAS SOUPS 983509 WITH SCORE 985103.647
AT ITER 582 NEW BEST:: SOT 2454648 SOS 1594647 HAS SOPS 1594647 HAS SOUS 983430 HAS SOUPS 983430 WITH SCORE 985024.647
AT ITER 590 NEW BEST:: SOT 2453430 SOS 1593429 HAS SOPS 1593429 HAS SOUS 982212 HAS SOUPS 982212 WITH SCORE 983805.429
AT ITER 596 NEW BEST:: SOT 2453385 SOS 1593384 HAS SOPS 1593384 HAS SOUS 982167 HAS SOUPS 982167 WITH SCORE 983760.384
AT ITER 603 NEW BEST:: SOT 2453380 SOS 1593379 HAS SOPS 1593379 HAS SOUS 982163 HAS SOUPS 982163 WITH SCORE 983756.379
AT ITER 610 NEW BEST:: SOT 2453380 SOS 1593259 HAS SOPS 1593259 HAS SOUS 982157 HAS SOUPS 982157 WITH SCORE 983750.259
AT ITER 618 NEW BEST:: SOT 2453380 SOS 1593061 HAS SOPS 1593061 HAS SOUS 982156 HAS SOUPS 982156 WITH SCORE 983749.061
AT ITER 625 NEW BEST:: SOT 2442175 SOS 1582798 HAS SOPS 1582798 HAS SOUS 971611 HAS SOUPS 971611 WITH SCORE 973193.798
AT ITER 627 NEW BEST:: SOT 2442958 SOS 1582698 HAS SOPS 1582698 HAS SOUS 970850 HAS SOUPS 970850 WITH SCORE 972432.698
AT ITER 631 NEW BEST:: SOT 2442981 SOS 1582590 HAS SOPS 1582590 HAS SOUS 970399 HAS SOUPS 970399 WITH SCORE 971981.59
AT ITER 632 NEW BEST:: SOT 2443202 SOS 1581279 HAS SOPS 1581279 HAS SOUS 970068 HAS SOUPS 970068 WITH SCORE 971649.279
AT ITER 634 NEW BEST:: SOT 2443196 SOS 1581095 HAS SOPS 1581095 HAS SOUS 969872 HAS SOUPS 969872 WITH SCORE 971453.095
AT ITER 637 NEW BEST:: SOT 2440951 SOS 1578850 HAS SOPS 1578850 HAS SOUS 967627 HAS SOUPS 967627 WITH SCORE 969205.85
AT ITER 639 NEW BEST:: SOT 2440951 SOS 1578397 HAS SOPS 1578397 HAS SOUS 967627 HAS SOUPS 967627 WITH SCORE 969205.397
AT ITER 647 NEW BEST:: SOT 2431897 SOS 1569343 HAS SOPS 1569343 HAS SOUS 958573 HAS SOUPS 958573 WITH SCORE 960142.343
AT ITER 654 NEW BEST:: SOT 2432275 SOS 1566969 HAS SOPS 1566969 HAS SOUS 958429 HAS SOUPS 958429 WITH SCORE 959995.969
AT ITER 672 NEW BEST:: SOT 2425671 SOS 1560365 HAS SOPS 1560365 HAS SOUS 951825 HAS SOUPS 951825 WITH SCORE 953385.365
AT ITER 684 NEW BEST:: SOT 2423677 SOS 1558565 HAS SOPS 1558565 HAS SOUS 950249 HAS SOUPS 950249 WITH SCORE 951807.565
AT ITER 688 NEW BEST:: SOT 2423658 SOS 1559040 HAS SOPS 1559040 HAS SOUS 950228 HAS SOUPS 950228 WITH SCORE 951787.04
AT ITER 690 NEW BEST:: SOT 2423658 SOS 1558574 HAS SOPS 1558574 HAS SOUS 950217 HAS SOUPS 950217 WITH SCORE 951775.574
AT ITER 691 NEW BEST:: SOT 2423658 SOS 1555838 HAS SOPS 1555838 HAS SOUS 949509 HAS SOUPS 949509 WITH SCORE 951064.838
AT ITER 693 NEW BEST:: SOT 2423482 SOS 1555662 HAS SOPS 1555662 HAS SOUS 949333 HAS SOUPS 949333 WITH SCORE 950888.662
AT ITER 694 NEW BEST:: SOT 2423482 SOS 1555076 HAS SOPS 1555076 HAS SOUS 948745 HAS SOUPS 948745 WITH SCORE 950300.076
AT ITER 705 NEW BEST:: SOT 2423286 SOS 1554880 HAS SOPS 1554880 HAS SOUS 948645 HAS SOUPS 948645 WITH SCORE 950199.88
AT ITER 710 NEW BEST:: SOT 2422913 SOS 1554720 HAS SOPS 1554720 HAS SOUS 948485 HAS SOUPS 948485 WITH SCORE 950039.72
AT ITER 714 NEW BEST:: SOT 2413165 SOS 1544972 HAS SOPS 1544972 HAS SOUS 938737 HAS SOUPS 938737 WITH SCORE 940281.972
AT ITER 720 NEW BEST:: SOT 2412846 SOS 1544653 HAS SOPS 1544653 HAS SOUS 938418 HAS SOUPS 938418 WITH SCORE 939962.653
AT ITER 722 NEW BEST:: SOT 2412846 SOS 1544203 HAS SOPS 1544203 HAS SOUS 938268 HAS SOUPS 938268 WITH SCORE 939812.203
AT ITER 724 NEW BEST:: SOT 2411479 SOS 1546067 HAS SOPS 1546067 HAS SOUS 937018 HAS SOUPS 937018 WITH SCORE 938564.067
AT ITER 726 NEW BEST:: SOT 2410430 SOS 1543157 HAS SOPS 1543157 HAS SOUS 934920 HAS SOUPS 934920 WITH SCORE 936463.157
AT ITER 740 NEW BEST:: SOT 2410694 SOS 1543767 HAS SOPS 1543767 HAS SOUS 934834 HAS SOUPS 934834 WITH SCORE 936377.767
AT ITER 753 NEW BEST:: SOT 2410694 SOS 1543553 HAS SOPS 1543553 HAS SOUS 934834 HAS SOUPS 934834 WITH SCORE 936377.553
AT ITER 757 NEW BEST:: SOT 2410694 SOS 1543552 HAS SOPS 1543552 HAS SOUS 934833 HAS SOUPS 934833 WITH SCORE 936376.552
AT ITER 761 NEW BEST:: SOT 2410691 SOS 1543549 HAS SOPS 1543549 HAS SOUS 934827 HAS SOUPS 934827 WITH SCORE 936370.549
AT ITER 763 NEW BEST:: SOT 2410178 SOS 1542827 HAS SOPS 1542827 HAS SOUS 934314 HAS SOUPS 934314 WITH SCORE 935856.827
AT ITER 767 NEW BEST:: SOT 2409995 SOS 1542644 HAS SOPS 1542644 HAS SOUS 934221 HAS SOUPS 934221 WITH SCORE 935763.644
AT ITER 772 NEW BEST:: SOT 2408605 SOS 1540799 HAS SOPS 1540799 HAS SOUS 931785 HAS SOUPS 931785 WITH SCORE 933325.799
AT ITER 774 NEW BEST:: SOT 2407971 SOS 1540374 HAS SOPS 1540374 HAS SOUS 931783 HAS SOUPS 931783 WITH SCORE 933323.374
AT ITER 775 NEW BEST:: SOT 2407464 SOS 1539867 HAS SOPS 1539867 HAS SOUS 931783 HAS SOUPS 931783 WITH SCORE 933322.867
AT ITER 777 NEW BEST:: SOT 2394454 SOS 1526429 HAS SOPS 1526429 HAS SOUS 918345 HAS SOUPS 918345 WITH SCORE 919871.429
AT ITER 778 NEW BEST:: SOT 2394375 SOS 1526220 HAS SOPS 1526220 HAS SOUS 918264 HAS SOUPS 918264 WITH SCORE 919790.22
AT ITER 781 NEW BEST:: SOT 2393826 SOS 1525009 HAS SOPS 1525009 HAS SOUS 917512 HAS SOUPS 917512 WITH SCORE 919037.009
AT ITER 782 NEW BEST:: SOT 2393826 SOS 1524984 HAS SOPS 1524984 HAS SOUS 917511 HAS SOUPS 917511 WITH SCORE 919035.984
AT ITER 786 NEW BEST:: SOT 2393328 SOS 1523988 HAS SOPS 1523988 HAS SOUS 916515 HAS SOUPS 916515 WITH SCORE 918038.988
AT ITER 797 NEW BEST:: SOT 2392259 SOS 1520721 HAS SOPS 1520721 HAS SOUS 915075 HAS SOUPS 915075 WITH SCORE 916595.721
AT ITER 798 NEW BEST:: SOT 2391707 SOS 1522148 HAS SOPS 1522148 HAS SOUS 913998 HAS SOUPS 913998 WITH SCORE 915520.148
AT ITER 803 NEW BEST:: SOT 2391707 SOS 1523008 HAS SOPS 1523008 HAS SOUS 913996 HAS SOUPS 913996 WITH SCORE 915519.008
AT ITER 804 NEW BEST:: SOT 2391628 SOS 1523310 HAS SOPS 1523310 HAS SOUS 913545 HAS SOUPS 913545 WITH SCORE 915068.31
AT ITER 810 NEW BEST:: SOT 2391536 SOS 1523213 HAS SOPS 1523213 HAS SOUS 913448 HAS SOUPS 913448 WITH SCORE 914971.213
AT ITER 811 NEW BEST:: SOT 2391663 SOS 1522601 HAS SOPS 1522601 HAS SOUS 913064 HAS SOUPS 913064 WITH SCORE 914586.601
AT ITER 821 NEW BEST:: SOT 2391656 SOS 1520254 HAS SOPS 1520254 HAS SOUS 912480 HAS SOUPS 912480 WITH SCORE 914000.254
AT ITER 827 NEW BEST:: SOT 2391656 SOS 1520254 HAS SOPS 1520254 HAS SOUS 912477 HAS SOUPS 912477 WITH SCORE 913997.254
AT ITER 858 NEW BEST:: SOT 2391809 SOS 1519458 HAS SOPS 1519458 HAS SOUS 911428 HAS SOUPS 911428 WITH SCORE 912947.458
AT ITER 859 NEW BEST:: SOT 2390734 SOS 1518383 HAS SOPS 1518383 HAS SOUS 910352 HAS SOUPS 910352 WITH SCORE 911870.383
AT ITER 860 NEW BEST:: SOT 2389259 SOS 1517466 HAS SOPS 1517466 HAS SOUS 908877 HAS SOUPS 908877 WITH SCORE 910394.466
AT ITER 870 NEW BEST:: SOT 2388962 SOS 1517161 HAS SOPS 1517161 HAS SOUS 908572 HAS SOUPS 908572 WITH SCORE 910089.161
AT ITER 881 NEW BEST:: SOT 2388325 SOS 1516524 HAS SOPS 1516524 HAS SOUS 908314 HAS SOUPS 908314 WITH SCORE 909830.524
AT ITER 885 NEW BEST:: SOT 2388833 SOS 1516880 HAS SOPS 1516880 HAS SOUS 908300 HAS SOUPS 908300 WITH SCORE 909816.88
AT ITER 892 NEW BEST:: SOT 2389076 SOS 1517028 HAS SOPS 1517028 HAS SOUS 907772 HAS SOUPS 907772 WITH SCORE 909289.028
AT ITER 893 NEW BEST:: SOT 2389065 SOS 1517006 HAS SOPS 1517006 HAS SOUS 907728 HAS SOUPS 907728 WITH SCORE 909245.006
AT ITER 895 NEW BEST:: SOT 2387524 SOS 1515465 HAS SOPS 1515465 HAS SOUS 906186 HAS SOUPS 906186 WITH SCORE 907701.465
AT ITER 914 NEW BEST:: SOT 2386619 SOS 1514757 HAS SOPS 1514757 HAS SOUS 904363 HAS SOUPS 904363 WITH SCORE 905877.757
AT ITER 916 NEW BEST:: SOT 2378233 SOS 1506371 HAS SOPS 1506371 HAS SOUS 895977 HAS SOUPS 895977 WITH SCORE 897483.371
AT ITER 925 NEW BEST:: SOT 2378233 SOS 1506317 HAS SOPS 1506317 HAS SOUS 895977 HAS SOUPS 895977 WITH SCORE 897483.317
AT ITER 933 NEW BEST:: SOT 2378233 SOS 1506617 HAS SOPS 1506617 HAS SOUS 895892 HAS SOUPS 895892 WITH SCORE 897398.617
AT ITER 934 NEW BEST:: SOT 2377326 SOS 1505360 HAS SOPS 1505360 HAS SOUS 894637 HAS SOUPS 894637 WITH SCORE 896142.36
AT ITER 940 NEW BEST:: SOT 2377015 SOS 1505049 HAS SOPS 1505049 HAS SOUS 894326 HAS SOUPS 894326 WITH SCORE 895831.049
AT ITER 945 NEW BEST:: SOT 2377166 SOS 1504837 HAS SOPS 1504837 HAS SOUS 894114 HAS SOUPS 894114 WITH SCORE 895618.837
AT ITER 947 NEW BEST:: SOT 2375509 SOS 1503362 HAS SOPS 1503362 HAS SOUS 892639 HAS SOUPS 892639 WITH SCORE 894142.362
AT ITER 948 NEW BEST:: SOT 2375509 SOS 1503157 HAS SOPS 1503157 HAS SOUS 892639 HAS SOUPS 892639 WITH SCORE 894142.157
AT ITER 958 NEW BEST:: SOT 2374596 SOS 1503007 HAS SOPS 1503007 HAS SOUS 892485 HAS SOUPS 892485 WITH SCORE 893988.007
AT ITER 960 NEW BEST:: SOT 2375145 SOS 1503020 HAS SOPS 1503020 HAS SOUS 891723 HAS SOUPS 891723 WITH SCORE 893226.02
AT ITER 981 NEW BEST:: SOT 2375145 SOS 1501816 HAS SOPS 1501816 HAS SOUS 891721 HAS SOUPS 891721 WITH SCORE 893222.816
AT ITER 986 NEW BEST:: SOT 2374841 SOS 1501512 HAS SOPS 1501512 HAS SOUS 891569 HAS SOUPS 891569 WITH SCORE 893070.512
AT ITER 989 NEW BEST:: SOT 2371497 SOS 1498168 HAS SOPS 1498168 HAS SOUS 888225 HAS SOUPS 888225 WITH SCORE 889723.168
AT ITER 991 NEW BEST:: SOT 2371963 SOS 1497552 HAS SOPS 1497552 HAS SOUS 887839 HAS SOUPS 887839 WITH SCORE 889336.552
AT ITER 996 NEW BEST:: SOT 2372093 SOS 1497475 HAS SOPS 1497475 HAS SOUS 887838 HAS SOUPS 887838 WITH SCORE 889335.475
AT ITER 1008 NEW BEST:: SOT 2371295 SOS 1495272 HAS SOPS 1495272 HAS SOUS 886707 HAS SOUPS 886707 WITH SCORE 888202.272
AT ITER 1015 NEW BEST:: SOT 2371295 SOS 1494888 HAS SOPS 1494888 HAS SOUS 886707 HAS SOUPS 886707 WITH SCORE 888201.888
AT ITER 1028 NEW BEST:: SOT 2370655 SOS 1493608 HAS SOPS 1493608 HAS SOUS 885954 HAS SOUPS 885954 WITH SCORE 887447.608
AT ITER 1030 NEW BEST:: SOT 2370147 SOS 1492498 HAS SOPS 1492498 HAS SOUS 885536 HAS SOUPS 885536 WITH SCORE 887028.498
AT ITER 1033 NEW BEST:: SOT 2370147 SOS 1489964 HAS SOPS 1489964 HAS SOUS 885374 HAS SOUPS 885374 WITH SCORE 886863.964
AT ITER 1035 NEW BEST:: SOT 2370147 SOS 1489500 HAS SOPS 1489500 HAS SOUS 885237 HAS SOUPS 885237 WITH SCORE 886726.5
AT ITER 1038 NEW BEST:: SOT 2369905 SOS 1489250 HAS SOPS 1489250 HAS SOUS 884989 HAS SOUPS 884989 WITH SCORE 886478.25
AT ITER 1041 NEW BEST:: SOT 2369905 SOS 1489229 HAS SOPS 1489229 HAS SOUS 884968 HAS SOUPS 884968 WITH SCORE 886457.229
AT ITER 1050 NEW BEST:: SOT 2369905 SOS 1489941 HAS SOPS 1489941 HAS SOUS 884966 HAS SOUPS 884966 WITH SCORE 886455.941
AT ITER 1058 NEW BEST:: SOT 2369898 SOS 1489927 HAS SOPS 1489927 HAS SOUS 884945 HAS SOUPS 884945 WITH SCORE 886434.927
AT ITER 1068 NEW BEST:: SOT 2369644 SOS 1489673 HAS SOPS 1489673 HAS SOUS 884691 HAS SOUPS 884691 WITH SCORE 886180.673
AT ITER 1080 NEW BEST:: SOT 2369153 SOS 1489508 HAS SOPS 1489508 HAS SOUS 884526 HAS SOUPS 884526 WITH SCORE 886015.508
AT ITER 1084 NEW BEST:: SOT 2369153 SOS 1489286 HAS SOPS 1489286 HAS SOUS 884525 HAS SOUPS 884525 WITH SCORE 886014.286
AT ITER 1100 NEW BEST:: SOT 2369061 SOS 1489194 HAS SOPS 1489194 HAS SOUS 884433 HAS SOUPS 884433 WITH SCORE 885922.194
AT ITER 1101 NEW BEST:: SOT 2369061 SOS 1489086 HAS SOPS 1489086 HAS SOUS 884433 HAS SOUPS 884433 WITH SCORE 885922.086
AT ITER 1108 NEW BEST:: SOT 2369226 SOS 1488254 HAS SOPS 1488254 HAS SOUS 884378 HAS SOUPS 884378 WITH SCORE 885866.254
AT ITER 1110 NEW BEST:: SOT 2369470 SOS 1487663 HAS SOPS 1487663 HAS SOUS 882640 HAS SOUPS 882640 WITH SCORE 884127.663
AT ITER 1113 NEW BEST:: SOT 2369466 SOS 1486149 HAS SOPS 1486149 HAS SOUS 881126 HAS SOUPS 881126 WITH SCORE 882612.149
AT ITER 1116 NEW BEST:: SOT 2369466 SOS 1486148 HAS SOPS 1486148 HAS SOUS 881125 HAS SOUPS 881125 WITH SCORE 882611.148
AT ITER 1118 NEW BEST:: SOT 2369223 SOS 1485662 HAS SOPS 1485662 HAS SOUS 880639 HAS SOUPS 880639 WITH SCORE 882124.662
AT ITER 1119 NEW BEST:: SOT 2368607 SOS 1485046 HAS SOPS 1485046 HAS SOUS 880023 HAS SOUPS 880023 WITH SCORE 881508.046
AT ITER 1133 NEW BEST:: SOT 2368607 SOS 1485016 HAS SOPS 1485016 HAS SOUS 879993 HAS SOUPS 879993 WITH SCORE 881478.016
AT ITER 1136 NEW BEST:: SOT 2368607 SOS 1484952 HAS SOPS 1484952 HAS SOUS 879867 HAS SOUPS 879867 WITH SCORE 881351.952
AT ITER 1143 NEW BEST:: SOT 2367929 SOS 1484274 HAS SOPS 1484274 HAS SOUS 879189 HAS SOUPS 879189 WITH SCORE 880673.274
AT ITER 1146 NEW BEST:: SOT 2368502 SOS 1483852 HAS SOPS 1483852 HAS SOUS 878767 HAS SOUPS 878767 WITH SCORE 880250.852
AT ITER 1151 NEW BEST:: SOT 2367530 SOS 1482872 HAS SOPS 1482872 HAS SOUS 877787 HAS SOUPS 877787 WITH SCORE 879269.872
AT ITER 1155 NEW BEST:: SOT 2367530 SOS 1482334 HAS SOPS 1482334 HAS SOUS 877249 HAS SOUPS 877249 WITH SCORE 878731.334
AT ITER 1164 NEW BEST:: SOT 2364885 SOS 1479689 HAS SOPS 1479689 HAS SOUS 874604 HAS SOUPS 874604 WITH SCORE 876083.689
AT ITER 1168 NEW BEST:: SOT 2363043 SOS 1476115 HAS SOPS 1476115 HAS SOUS 872288 HAS SOUPS 872288 WITH SCORE 873764.115
AT ITER 1170 NEW BEST:: SOT 2362953 SOS 1476025 HAS SOPS 1476025 HAS SOUS 872194 HAS SOUPS 872194 WITH SCORE 873670.025
AT ITER 1171 NEW BEST:: SOT 2362823 SOS 1475452 HAS SOPS 1475452 HAS SOUS 871747 HAS SOUPS 871747 WITH SCORE 873222.452
AT ITER 1184 NEW BEST:: SOT 2362818 SOS 1475444 HAS SOPS 1475444 HAS SOUS 871739 HAS SOUPS 871739 WITH SCORE 873214.444
AT ITER 1187 NEW BEST:: SOT 2362364 SOS 1474906 HAS SOPS 1474906 HAS SOUS 871739 HAS SOUPS 871739 WITH SCORE 873213.906
AT ITER 1188 NEW BEST:: SOT 2361923 SOS 1473623 HAS SOPS 1473623 HAS SOUS 870857 HAS SOUPS 870857 WITH SCORE 872330.623
AT ITER 1190 NEW BEST:: SOT 2362280 SOS 1473111 HAS SOPS 1473111 HAS SOUS 870761 HAS SOUPS 870761 WITH SCORE 872234.111
AT ITER 1191 NEW BEST:: SOT 2361595 SOS 1472426 HAS SOPS 1472426 HAS SOUS 870076 HAS SOUPS 870076 WITH SCORE 871548.426
AT ITER 1195 NEW BEST:: SOT 2361595 SOS 1472425 HAS SOPS 1472425 HAS SOUS 870075 HAS SOUPS 870075 WITH SCORE 871547.425
AT ITER 1201 NEW BEST:: SOT 2361686 SOS 1472425 HAS SOPS 1472425 HAS SOUS 870074 HAS SOUPS 870074 WITH SCORE 871546.425
AT ITER 1211 NEW BEST:: SOT 2361053 SOS 1468652 HAS SOPS 1468652 HAS SOUS 868807 HAS SOUPS 868807 WITH SCORE 870275.652
AT ITER 1218 NEW BEST:: SOT 2360610 SOS 1468357 HAS SOPS 1468357 HAS SOUS 868511 HAS SOUPS 868511 WITH SCORE 869979.357
AT ITER 1224 NEW BEST:: SOT 2360610 SOS 1468037 HAS SOPS 1468037 HAS SOUS 868346 HAS SOUPS 868346 WITH SCORE 869814.037
AT ITER 1231 NEW BEST:: SOT 2359492 SOS 1467432 HAS SOPS 1467432 HAS SOUS 867775 HAS SOUPS 867775 WITH SCORE 869242.432
AT ITER 1242 NEW BEST:: SOT 2358833 SOS 1466773 HAS SOPS 1466773 HAS SOUS 867660 HAS SOUPS 867660 WITH SCORE 869126.773
AT ITER 1244 NEW BEST:: SOT 2357540 SOS 1465480 HAS SOPS 1465480 HAS SOUS 867331 HAS SOUPS 867331 WITH SCORE 868796.48
AT ITER 1255 NEW BEST:: SOT 2357581 SOS 1465404 HAS SOPS 1465404 HAS SOUS 867255 HAS SOUPS 867255 WITH SCORE 868720.404
AT ITER 1271 NEW BEST:: SOT 2357348 SOS 1465171 HAS SOPS 1465171 HAS SOUS 867022 HAS SOUPS 867022 WITH SCORE 868487.171
AT ITER 1281 NEW BEST:: SOT 2353924 SOS 1462882 HAS SOPS 1462882 HAS SOUS 864356 HAS SOUPS 864356 WITH SCORE 865818.882
AT ITER 1296 NEW BEST:: SOT 2353924 SOS 1462543 HAS SOPS 1462543 HAS SOUS 864356 HAS SOUPS 864356 WITH SCORE 865818.543
AT ITER 1304 NEW BEST:: SOT 2353924 SOS 1462252 HAS SOPS 1462252 HAS SOUS 864356 HAS SOUPS 864356 WITH SCORE 865818.252
AT ITER 1314 NEW BEST:: SOT 2353790 SOS 1462092 HAS SOPS 1462092 HAS SOUS 864332 HAS SOUPS 864332 WITH SCORE 865794.092
AT ITER 1315 NEW BEST:: SOT 2354430 SOS 1461529 HAS SOPS 1461529 HAS SOUS 863541 HAS SOUPS 863541 WITH SCORE 865002.529
AT ITER 1348 NEW BEST:: SOT 2354588 SOS 1455936 HAS SOPS 1455936 HAS SOUS 863490 HAS SOUPS 863490 WITH SCORE 864945.936
AT ITER 1357 NEW BEST:: SOT 2354309 SOS 1455657 HAS SOPS 1455657 HAS SOUS 863280 HAS SOUPS 863280 WITH SCORE 864735.657
AT ITER 1360 NEW BEST:: SOT 2353401 SOS 1454749 HAS SOPS 1454749 HAS SOUS 862371 HAS SOUPS 862371 WITH SCORE 863825.749
AT ITER 1364 NEW BEST:: SOT 2353165 SOS 1454513 HAS SOPS 1454513 HAS SOUS 862134 HAS SOUPS 862134 WITH SCORE 863588.513
AT ITER 1368 NEW BEST:: SOT 2352824 SOS 1453831 HAS SOPS 1453831 HAS SOUS 861482 HAS SOUPS 861482 WITH SCORE 862935.831
AT ITER 1369 NEW BEST:: SOT 2352938 SOS 1452378 HAS SOPS 1452378 HAS SOUS 860843 HAS SOUPS 860843 WITH SCORE 862295.378
AT ITER 1371 NEW BEST:: SOT 2352938 SOS 1452076 HAS SOPS 1452076 HAS SOUS 860541 HAS SOUPS 860541 WITH SCORE 861993.076
AT ITER 1375 NEW BEST:: SOT 2352240 SOS 1451378 HAS SOPS 1451378 HAS SOUS 858970 HAS SOUPS 858970 WITH SCORE 860421.378
AT ITER 1389 NEW BEST:: SOT 2352240 SOS 1451367 HAS SOPS 1451367 HAS SOUS 858970 HAS SOUPS 858970 WITH SCORE 860421.367
AT ITER 1401 NEW BEST:: SOT 2352010 SOS 1451137 HAS SOPS 1451137 HAS SOUS 858739 HAS SOUPS 858739 WITH SCORE 860190.137
AT ITER 1409 NEW BEST:: SOT 2352010 SOS 1451980 HAS SOPS 1451980 HAS SOUS 858727 HAS SOUPS 858727 WITH SCORE 860178.98
AT ITER 1414 NEW BEST:: SOT 2351940 SOS 1451844 HAS SOPS 1451844 HAS SOUS 858591 HAS SOUPS 858591 WITH SCORE 860042.844
AT ITER 1416 NEW BEST:: SOT 2350465 SOS 1449257 HAS SOPS 1449257 HAS SOUS 856524 HAS SOUPS 856524 WITH SCORE 857973.257
AT ITER 1421 NEW BEST:: SOT 2350465 SOS 1449257 HAS SOPS 1449257 HAS SOUS 856197 HAS SOUPS 856197 WITH SCORE 857646.257
AT ITER 1434 NEW BEST:: SOT 2348920 SOS 1447170 HAS SOPS 1447170 HAS SOUS 854110 HAS SOUPS 854110 WITH SCORE 855557.17
AT ITER 1441 NEW BEST:: SOT 2348259 SOS 1446513 HAS SOPS 1446513 HAS SOUS 853438 HAS SOUPS 853438 WITH SCORE 854884.513
AT ITER 1453 NEW BEST:: SOT 2348232 SOS 1446486 HAS SOPS 1446486 HAS SOUS 853410 HAS SOUPS 853410 WITH SCORE 854856.486
AT ITER 1455 NEW BEST:: SOT 2348232 SOS 1447212 HAS SOPS 1447212 HAS SOUS 853370 HAS SOUPS 853370 WITH SCORE 854817.212
AT ITER 1461 NEW BEST:: SOT 2347999 SOS 1446979 HAS SOPS 1446979 HAS SOUS 853325 HAS SOUPS 853325 WITH SCORE 854771.979
AT ITER 1463 NEW BEST:: SOT 2347999 SOS 1446499 HAS SOPS 1446499 HAS SOUS 853096 HAS SOUPS 853096 WITH SCORE 854542.499
AT ITER 1470 NEW BEST:: SOT 2347990 SOS 1446490 HAS SOPS 1446490 HAS SOUS 853078 HAS SOUPS 853078 WITH SCORE 854524.49
AT ITER 1471 NEW BEST:: SOT 2347847 SOS 1446483 HAS SOPS 1446483 HAS SOUS 853071 HAS SOUPS 853071 WITH SCORE 854517.483
AT ITER 1474 NEW BEST:: SOT 2347735 SOS 1446371 HAS SOPS 1446371 HAS SOUS 852959 HAS SOUPS 852959 WITH SCORE 854405.371
AT ITER 1479 NEW BEST:: SOT 2344702 SOS 1443172 HAS SOPS 1443172 HAS SOUS 849760 HAS SOUPS 849760 WITH SCORE 851203.172
AT ITER 1482 NEW BEST:: SOT 2344309 SOS 1442776 HAS SOPS 1442776 HAS SOUS 849410 HAS SOUPS 849410 WITH SCORE 850852.776
AT ITER 1485 NEW BEST:: SOT 2344244 SOS 1442711 HAS SOPS 1442711 HAS SOUS 849280 HAS SOUPS 849280 WITH SCORE 850722.711
AT ITER 1487 NEW BEST:: SOT 2343609 SOS 1441940 HAS SOPS 1441940 HAS SOUS 848524 HAS SOUPS 848524 WITH SCORE 849965.94
AT ITER 1489 NEW BEST:: SOT 2343608 SOS 1441689 HAS SOPS 1441689 HAS SOUS 848281 HAS SOUPS 848281 WITH SCORE 849722.689
AT ITER 1490 NEW BEST:: SOT 2343608 SOS 1440954 HAS SOPS 1440954 HAS SOUS 848280 HAS SOUPS 848280 WITH SCORE 849720.954
AT ITER 1493 NEW BEST:: SOT 2343444 SOS 1440790 HAS SOPS 1440790 HAS SOUS 848116 HAS SOUPS 848116 WITH SCORE 849556.79
AT ITER 1501 NEW BEST:: SOT 2342959 SOS 1439738 HAS SOPS 1439738 HAS SOUS 847297 HAS SOUPS 847297 WITH SCORE 848736.738
AT ITER 1507 NEW BEST:: SOT 2343919 SOS 1440490 HAS SOPS 1440490 HAS SOUS 846998 HAS SOUPS 846998 WITH SCORE 848438.49
AT ITER 1516 NEW BEST:: SOT 2344087 SOS 1439767 HAS SOPS 1439767 HAS SOUS 846115 HAS SOUPS 846115 WITH SCORE 847554.767
AT ITER 1518 NEW BEST:: SOT 2342295 SOS 1438412 HAS SOPS 1438412 HAS SOUS 844573 HAS SOUPS 844573 WITH SCORE 846011.412
AT ITER 1520 NEW BEST:: SOT 2342289 SOS 1438406 HAS SOPS 1438406 HAS SOUS 844567 HAS SOUPS 844567 WITH SCORE 846005.406
AT ITER 1521 NEW BEST:: SOT 2342289 SOS 1443178 HAS SOPS 1443178 HAS SOUS 844132 HAS SOUPS 844132 WITH SCORE 845575.178
AT ITER 1528 NEW BEST:: SOT 2342289 SOS 1442404 HAS SOPS 1442404 HAS SOUS 843594 HAS SOUPS 843594 WITH SCORE 845036.404
AT ITER 1530 NEW BEST:: SOT 2341547 SOS 1440693 HAS SOPS 1440693 HAS SOUS 842296 HAS SOUPS 842296 WITH SCORE 843736.693
AT ITER 1548 NEW BEST:: SOT 2341546 SOS 1440692 HAS SOPS 1440692 HAS SOUS 842294 HAS SOUPS 842294 WITH SCORE 843734.692
AT ITER 1549 NEW BEST:: SOT 2341678 SOS 1440411 HAS SOPS 1440411 HAS SOUS 841600 HAS SOUPS 841600 WITH SCORE 843040.411
AT ITER 1565 NEW BEST:: SOT 2341510 SOS 1438227 HAS SOPS 1438227 HAS SOUS 841264 HAS SOUPS 841264 WITH SCORE 842702.227
AT ITER 1571 NEW BEST:: SOT 2341162 SOS 1437284 HAS SOPS 1437284 HAS SOUS 840249 HAS SOUPS 840249 WITH SCORE 841686.284
AT ITER 1579 NEW BEST:: SOT 2343306 SOS 1438826 HAS SOPS 1438826 HAS SOUS 840003 HAS SOUPS 840003 WITH SCORE 841441.826
AT ITER 1586 NEW BEST:: SOT 2342823 SOS 1438343 HAS SOPS 1438343 HAS SOUS 839520 HAS SOUPS 839520 WITH SCORE 840958.343
AT ITER 1592 NEW BEST:: SOT 2342594 SOS 1437441 HAS SOPS 1437441 HAS SOUS 838857 HAS SOUPS 838857 WITH SCORE 840294.441
AT ITER 1597 NEW BEST:: SOT 2342443 SOS 1437139 HAS SOPS 1437139 HAS SOUS 838784 HAS SOUPS 838784 WITH SCORE 840221.139
AT ITER 1599 NEW BEST:: SOT 2342443 SOS 1437157 HAS SOPS 1437157 HAS SOUS 838440 HAS SOUPS 838440 WITH SCORE 839877.157
AT ITER 1606 NEW BEST:: SOT 2342156 SOS 1436763 HAS SOPS 1436763 HAS SOUS 838046 HAS SOUPS 838046 WITH SCORE 839482.763
AT ITER 1614 NEW BEST:: SOT 2342147 SOS 1436754 HAS SOPS 1436754 HAS SOUS 838028 HAS SOUPS 838028 WITH SCORE 839464.754
AT ITER 1615 NEW BEST:: SOT 2336167 SOS 1430774 HAS SOPS 1430774 HAS SOUS 832048 HAS SOUPS 832048 WITH SCORE 833478.774
AT ITER 1617 NEW BEST:: SOT 2335748 SOS 1430355 HAS SOPS 1430355 HAS SOUS 831720 HAS SOUPS 831720 WITH SCORE 833150.355
AT ITER 1631 NEW BEST:: SOT 2334794 SOS 1429427 HAS SOPS 1429427 HAS SOUS 830818 HAS SOUPS 830818 WITH SCORE 832247.427
AT ITER 1639 NEW BEST:: SOT 2334918 SOS 1428437 HAS SOPS 1428437 HAS SOUS 830168 HAS SOUPS 830168 WITH SCORE 831596.437
AT ITER 1653 NEW BEST:: SOT 2334935 SOS 1427333 HAS SOPS 1427333 HAS SOUS 829492 HAS SOUPS 829492 WITH SCORE 830919.333
AT ITER 1658 NEW BEST:: SOT 2334901 SOS 1427299 HAS SOPS 1427299 HAS SOUS 829487 HAS SOUPS 829487 WITH SCORE 830914.299
AT ITER 1666 NEW BEST:: SOT 2334595 SOS 1427186 HAS SOPS 1427186 HAS SOUS 829374 HAS SOUPS 829374 WITH SCORE 830801.186
AT ITER 1668 NEW BEST:: SOT 2334594 SOS 1427185 HAS SOPS 1427185 HAS SOUS 829373 HAS SOUPS 829373 WITH SCORE 830800.185
AT ITER 1671 NEW BEST:: SOT 2334407 SOS 1426998 HAS SOPS 1426998 HAS SOUS 828978 HAS SOUPS 828978 WITH SCORE 830404.998
AT ITER 1677 NEW BEST:: SOT 2334407 SOS 1426338 HAS SOPS 1426338 HAS SOUS 828978 HAS SOUPS 828978 WITH SCORE 830404.338
AT ITER 1682 NEW BEST:: SOT 2333529 SOS 1425460 HAS SOPS 1425460 HAS SOUS 828099 HAS SOUPS 828099 WITH SCORE 829524.46
AT ITER 1687 NEW BEST:: SOT 2333776 SOS 1424607 HAS SOPS 1424607 HAS SOUS 827465 HAS SOUPS 827465 WITH SCORE 828889.607
AT ITER 1689 NEW BEST:: SOT 2333525 SOS 1423867 HAS SOPS 1423867 HAS SOUS 826223 HAS SOUPS 826223 WITH SCORE 827646.867
AT ITER 1691 NEW BEST:: SOT 2332908 SOS 1424424 HAS SOPS 1424424 HAS SOUS 825330 HAS SOUPS 825330 WITH SCORE 826754.424
AT ITER 1695 NEW BEST:: SOT 2332908 SOS 1424705 HAS SOPS 1424705 HAS SOUS 825080 HAS SOUPS 825080 WITH SCORE 826504.705
AT ITER 1703 NEW BEST:: SOT 2331878 SOS 1423849 HAS SOPS 1423849 HAS SOUS 823494 HAS SOUPS 823494 WITH SCORE 824917.849
AT ITER 1706 NEW BEST:: SOT 2331872 SOS 1423019 HAS SOPS 1423019 HAS SOUS 823482 HAS SOUPS 823482 WITH SCORE 824905.019
AT ITER 1710 NEW BEST:: SOT 2331776 SOS 1422923 HAS SOPS 1422923 HAS SOUS 823452 HAS SOUPS 823452 WITH SCORE 824874.923
AT ITER 1730 NEW BEST:: SOT 2331491 SOS 1422638 HAS SOPS 1422638 HAS SOUS 823167 HAS SOUPS 823167 WITH SCORE 824589.638
AT ITER 1737 NEW BEST:: SOT 2331343 SOS 1421906 HAS SOPS 1421906 HAS SOUS 822871 HAS SOUPS 822871 WITH SCORE 824292.906
AT ITER 1740 NEW BEST:: SOT 2330126 SOS 1417293 HAS SOPS 1417293 HAS SOUS 821655 HAS SOUPS 821655 WITH SCORE 823072.293
AT ITER 1747 NEW BEST:: SOT 2330126 SOS 1416531 HAS SOPS 1416531 HAS SOUS 821535 HAS SOUPS 821535 WITH SCORE 822951.531
AT ITER 1759 NEW BEST:: SOT 2330079 SOS 1416083 HAS SOPS 1416083 HAS SOUS 821224 HAS SOUPS 821224 WITH SCORE 822640.083
AT ITER 1761 NEW BEST:: SOT 2330004 SOS 1416000 HAS SOPS 1416000 HAS SOUS 821141 HAS SOUPS 821141 WITH SCORE 822557.0
AT ITER 1762 NEW BEST:: SOT 2330004 SOS 1415918 HAS SOPS 1415918 HAS SOUS 821100 HAS SOUPS 821100 WITH SCORE 822515.918
AT ITER 1766 NEW BEST:: SOT 2329992 SOS 1415880 HAS SOPS 1415880 HAS SOUS 821062 HAS SOUPS 821062 WITH SCORE 822477.88
AT ITER 1779 NEW BEST:: SOT 2328943 SOS 1415409 HAS SOPS 1415409 HAS SOUS 820664 HAS SOUPS 820664 WITH SCORE 822079.409
AT ITER 1784 NEW BEST:: SOT 2328943 SOS 1414629 HAS SOPS 1414629 HAS SOUS 819906 HAS SOUPS 819906 WITH SCORE 821320.629
AT ITER 1785 NEW BEST:: SOT 2328791 SOS 1414327 HAS SOPS 1414327 HAS SOUS 819604 HAS SOUPS 819604 WITH SCORE 821018.327
AT ITER 1794 NEW BEST:: SOT 2328791 SOS 1413509 HAS SOPS 1413509 HAS SOUS 819572 HAS SOUPS 819572 WITH SCORE 820985.509
AT ITER 1798 NEW BEST:: SOT 2328787 SOS 1413437 HAS SOPS 1413437 HAS SOUS 819562 HAS SOUPS 819562 WITH SCORE 820975.437
AT ITER 1803 NEW BEST:: SOT 2328787 SOS 1413486 HAS SOPS 1413486 HAS SOUS 819560 HAS SOUPS 819560 WITH SCORE 820973.486
AT ITER 1810 NEW BEST:: SOT 2328787 SOS 1413375 HAS SOPS 1413375 HAS SOUS 819559 HAS SOUPS 819559 WITH SCORE 820972.375
AT ITER 1811 NEW BEST:: SOT 2328722 SOS 1413180 HAS SOPS 1413180 HAS SOUS 819364 HAS SOUPS 819364 WITH SCORE 820777.18
AT ITER 1838 NEW BEST:: SOT 2328163 SOS 1412139 HAS SOPS 1412139 HAS SOUS 818558 HAS SOUPS 818558 WITH SCORE 819970.139
AT ITER 1851 NEW BEST:: SOT 2325156 SOS 1408783 HAS SOPS 1408783 HAS SOUS 815023 HAS SOUPS 815023 WITH SCORE 816431.783
AT ITER 1854 NEW BEST:: SOT 2325506 SOS 1407994 HAS SOPS 1407994 HAS SOUS 814714 HAS SOUPS 814714 WITH SCORE 816121.994
AT ITER 1855 NEW BEST:: SOT 2321037 SOS 1408749 HAS SOPS 1408749 HAS SOUS 810061 HAS SOUPS 810061 WITH SCORE 811469.749
AT ITER 1858 NEW BEST:: SOT 2321036 SOS 1408542 HAS SOPS 1408542 HAS SOUS 810059 HAS SOUPS 810059 WITH SCORE 811467.542
AT ITER 1864 NEW BEST:: SOT 2320924 SOS 1408430 HAS SOPS 1408430 HAS SOUS 809946 HAS SOUPS 809946 WITH SCORE 811354.43
AT ITER 1866 NEW BEST:: SOT 2321010 SOS 1408516 HAS SOPS 1408516 HAS SOUS 809698 HAS SOUPS 809698 WITH SCORE 811106.516
AT ITER 1871 NEW BEST:: SOT 2320708 SOS 1408433 HAS SOPS 1408433 HAS SOUS 809615 HAS SOUPS 809615 WITH SCORE 811023.433
AT ITER 1875 NEW BEST:: SOT 2320679 SOS 1408375 HAS SOPS 1408375 HAS SOUS 809557 HAS SOUPS 809557 WITH SCORE 810965.375
AT ITER 1884 NEW BEST:: SOT 2320636 SOS 1408327 HAS SOPS 1408327 HAS SOUS 809509 HAS SOUPS 809509 WITH SCORE 810917.327
AT ITER 1889 NEW BEST:: SOT 2320635 SOS 1408326 HAS SOPS 1408326 HAS SOUS 809508 HAS SOUPS 809508 WITH SCORE 810916.326
AT ITER 1891 NEW BEST:: SOT 2320425 SOS 1407036 HAS SOPS 1407036 HAS SOUS 809150 HAS SOUPS 809150 WITH SCORE 810557.036
AT ITER 1894 NEW BEST:: SOT 2319954 SOS 1406565 HAS SOPS 1406565 HAS SOUS 809144 HAS SOUPS 809144 WITH SCORE 810550.565
AT ITER 1897 NEW BEST:: SOT 2318826 SOS 1404445 HAS SOPS 1404445 HAS SOUS 807024 HAS SOUPS 807024 WITH SCORE 808428.445
AT ITER 1902 NEW BEST:: SOT 2318824 SOS 1404443 HAS SOPS 1404443 HAS SOUS 807022 HAS SOUPS 807022 WITH SCORE 808426.443
AT ITER 1912 NEW BEST:: SOT 2318824 SOS 1404345 HAS SOPS 1404345 HAS SOUS 806943 HAS SOUPS 806943 WITH SCORE 808347.345
AT ITER 1916 NEW BEST:: SOT 2318753 SOS 1404127 HAS SOPS 1404127 HAS SOUS 806804 HAS SOUPS 806804 WITH SCORE 808208.127
AT ITER 1920 NEW BEST:: SOT 2318556 SOS 1404156 HAS SOPS 1404156 HAS SOUS 806741 HAS SOUPS 806741 WITH SCORE 808145.156
AT ITER 1921 NEW BEST:: SOT 2318400 SOS 1404000 HAS SOPS 1404000 HAS SOUS 806585 HAS SOUPS 806585 WITH SCORE 807989.0
AT ITER 1922 NEW BEST:: SOT 2318277 SOS 1403196 HAS SOPS 1403196 HAS SOUS 806092 HAS SOUPS 806092 WITH SCORE 807495.196
AT ITER 1950 NEW BEST:: SOT 2318077 SOS 1402827 HAS SOPS 1402827 HAS SOUS 805725 HAS SOUPS 805725 WITH SCORE 807127.827
AT ITER 1954 NEW BEST:: SOT 2318009 SOS 1402754 HAS SOPS 1402754 HAS SOUS 805652 HAS SOUPS 805652 WITH SCORE 807054.754
AT ITER 1956 NEW BEST:: SOT 2317986 SOS 1402752 HAS SOPS 1402752 HAS SOUS 805650 HAS SOUPS 805650 WITH SCORE 807052.752
AT ITER 1957 NEW BEST:: SOT 2317947 SOS 1402635 HAS SOPS 1402635 HAS SOUS 805569 HAS SOUPS 805569 WITH SCORE 806971.635
AT ITER 1958 NEW BEST:: SOT 2317711 SOS 1402484 HAS SOPS 1402484 HAS SOUS 805333 HAS SOUPS 805333 WITH SCORE 806735.484
AT ITER 1959 NEW BEST:: SOT 2317576 SOS 1402349 HAS SOPS 1402349 HAS SOUS 805196 HAS SOUPS 805196 WITH SCORE 806598.349
AT ITER 1986 NEW BEST:: SOT 2317548 SOS 1402289 HAS SOPS 1402289 HAS SOUS 805136 HAS SOUPS 805136 WITH SCORE 806538.289
AT ITER 1998 NEW BEST:: SOT 2316799 SOS 1402493 HAS SOPS 1402493 HAS SOUS 804086 HAS SOUPS 804086 WITH SCORE 805488.493
AT ITER 2017 NEW BEST:: SOT 2316660 SOS 1402354 HAS SOPS 1402354 HAS SOUS 804081 HAS SOUPS 804081 WITH SCORE 805483.354
AT ITER 2022 NEW BEST:: SOT 2316383 SOS 1402077 HAS SOPS 1402077 HAS SOUS 803804 HAS SOUPS 803804 WITH SCORE 805206.077
AT ITER 2025 NEW BEST:: SOT 2315782 SOS 1400870 HAS SOPS 1400870 HAS SOUS 802597 HAS SOUPS 802597 WITH SCORE 803997.87
AT ITER 2055 NEW BEST:: SOT 2315782 SOS 1400998 HAS SOPS 1400998 HAS SOUS 802369 HAS SOUPS 802369 WITH SCORE 803769.998
AT ITER 2060 NEW BEST:: SOT 2314458 SOS 1398759 HAS SOPS 1398759 HAS SOUS 801114 HAS SOUPS 801114 WITH SCORE 802512.759
AT ITER 2084 NEW BEST:: SOT 2314403 SOS 1398704 HAS SOPS 1398704 HAS SOUS 801059 HAS SOUPS 801059 WITH SCORE 802457.704
AT ITER 2092 NEW BEST:: SOT 2314296 SOS 1398377 HAS SOPS 1398377 HAS SOUS 800845 HAS SOUPS 800845 WITH SCORE 802243.377
AT ITER 2093 NEW BEST:: SOT 2311843 SOS 1395886 HAS SOPS 1395886 HAS SOUS 798354 HAS SOUPS 798354 WITH SCORE 799749.886
AT ITER 2103 NEW BEST:: SOT 2311986 SOS 1396029 HAS SOPS 1396029 HAS SOUS 798350 HAS SOUPS 798350 WITH SCORE 799746.029
AT ITER 2118 NEW BEST:: SOT 2308290 SOS 1392333 HAS SOPS 1392333 HAS SOUS 794654 HAS SOUPS 794654 WITH SCORE 796046.333
AT ITER 2120 NEW BEST:: SOT 2308256 SOS 1392061 HAS SOPS 1392061 HAS SOUS 794552 HAS SOUPS 794552 WITH SCORE 795944.061
AT ITER 2153 NEW BEST:: SOT 2308074 SOS 1391891 HAS SOPS 1391891 HAS SOUS 793578 HAS SOUPS 793578 WITH SCORE 794969.891
AT ITER 2157 NEW BEST:: SOT 2308147 SOS 1391317 HAS SOPS 1391317 HAS SOUS 792962 HAS SOUPS 792962 WITH SCORE 794353.317
AT ITER 2160 NEW BEST:: SOT 2307963 SOS 1391133 HAS SOPS 1391133 HAS SOUS 792896 HAS SOUPS 792896 WITH SCORE 794287.133
AT ITER 2169 NEW BEST:: SOT 2306676 SOS 1392165 HAS SOPS 1392165 HAS SOUS 792317 HAS SOUPS 792317 WITH SCORE 793709.165
AT ITER 2170 NEW BEST:: SOT 2306524 SOS 1392013 HAS SOPS 1392013 HAS SOUS 792165 HAS SOUPS 792165 WITH SCORE 793557.013
AT ITER 2174 NEW BEST:: SOT 2306524 SOS 1392013 HAS SOPS 1392013 HAS SOUS 791997 HAS SOUPS 791997 WITH SCORE 793389.013
AT ITER 2175 NEW BEST:: SOT 2306524 SOS 1392012 HAS SOPS 1392012 HAS SOUS 791996 HAS SOUPS 791996 WITH SCORE 793388.012
AT ITER 2185 NEW BEST:: SOT 2306248 SOS 1391736 HAS SOPS 1391736 HAS SOUS 791021 HAS SOUPS 791021 WITH SCORE 792412.736
AT ITER 2186 NEW BEST:: SOT 2306247 SOS 1391735 HAS SOPS 1391735 HAS SOUS 791019 HAS SOUPS 791019 WITH SCORE 792410.735
AT ITER 2187 NEW BEST:: SOT 2306377 SOS 1392941 HAS SOPS 1392941 HAS SOUS 790853 HAS SOUPS 790853 WITH SCORE 792245.941
AT ITER 2188 NEW BEST:: SOT 2306377 SOS 1392816 HAS SOPS 1392816 HAS SOUS 790728 HAS SOUPS 790728 WITH SCORE 792120.816
AT ITER 2196 NEW BEST:: SOT 2306377 SOS 1386185 HAS SOPS 1386185 HAS SOUS 790167 HAS SOUPS 790167 WITH SCORE 791553.185
AT ITER 2200 NEW BEST:: SOT 2306355 SOS 1385947 HAS SOPS 1385947 HAS SOUS 790058 HAS SOUPS 790058 WITH SCORE 791443.947
AT ITER 2211 NEW BEST:: SOT 2306206 SOS 1385649 HAS SOPS 1385649 HAS SOUS 789760 HAS SOUPS 789760 WITH SCORE 791145.649
AT ITER 2218 NEW BEST:: SOT 2305905 SOS 1385440 HAS SOPS 1385440 HAS SOUS 789550 HAS SOUPS 789550 WITH SCORE 790935.44
AT ITER 2220 NEW BEST:: SOT 2306177 SOS 1385102 HAS SOPS 1385102 HAS SOUS 789407 HAS SOUPS 789407 WITH SCORE 790792.102
AT ITER 2231 NEW BEST:: SOT 2305202 SOS 1384127 HAS SOPS 1384127 HAS SOUS 788432 HAS SOUPS 788432 WITH SCORE 789816.127
AT ITER 2234 NEW BEST:: SOT 2305202 SOS 1384722 HAS SOPS 1384722 HAS SOUS 787691 HAS SOUPS 787691 WITH SCORE 789075.722
AT ITER 2243 NEW BEST:: SOT 2305202 SOS 1384703 HAS SOPS 1384703 HAS SOUS 787672 HAS SOUPS 787672 WITH SCORE 789056.703
AT ITER 2260 NEW BEST:: SOT 2304804 SOS 1384305 HAS SOPS 1384305 HAS SOUS 787274 HAS SOUPS 787274 WITH SCORE 788658.305
AT ITER 2261 NEW BEST:: SOT 2305040 SOS 1384312 HAS SOPS 1384312 HAS SOUS 787126 HAS SOUPS 787126 WITH SCORE 788510.312
AT ITER 2264 NEW BEST:: SOT 2305367 SOS 1384260 HAS SOPS 1384260 HAS SOUS 787074 HAS SOUPS 787074 WITH SCORE 788458.26
AT ITER 2315 NEW BEST:: SOT 2305365 SOS 1384258 HAS SOPS 1384258 HAS SOUS 787072 HAS SOUPS 787072 WITH SCORE 788456.258
AT ITER 2319 NEW BEST:: SOT 2304775 SOS 1383668 HAS SOPS 1383668 HAS SOUS 786275 HAS SOUPS 786275 WITH SCORE 787658.668
AT ITER 2320 NEW BEST:: SOT 2304734 SOS 1383627 HAS SOPS 1383627 HAS SOUS 786240 HAS SOUPS 786240 WITH SCORE 787623.627
AT ITER 2334 NEW BEST:: SOT 2304302 SOS 1382844 HAS SOPS 1382844 HAS SOUS 785457 HAS SOUPS 785457 WITH SCORE 786839.844
AT ITER 2343 NEW BEST:: SOT 2303498 SOS 1382040 HAS SOPS 1382040 HAS SOUS 784650 HAS SOUPS 784650 WITH SCORE 786032.04
AT ITER 2359 NEW BEST:: SOT 2303423 SOS 1381941 HAS SOPS 1381941 HAS SOUS 784551 HAS SOUPS 784551 WITH SCORE 785932.941
AT ITER 2366 NEW BEST:: SOT 2303397 SOS 1381915 HAS SOPS 1381915 HAS SOUS 784524 HAS SOUPS 784524 WITH SCORE 785905.915
AT ITER 2372 NEW BEST:: SOT 2302775 SOS 1381293 HAS SOPS 1381293 HAS SOUS 783878 HAS SOUPS 783878 WITH SCORE 785259.293
AT ITER 2375 NEW BEST:: SOT 2302656 SOS 1381174 HAS SOPS 1381174 HAS SOUS 783759 HAS SOUPS 783759 WITH SCORE 785140.174
AT ITER 2376 NEW BEST:: SOT 2302546 SOS 1381064 HAS SOPS 1381064 HAS SOUS 783649 HAS SOUPS 783649 WITH SCORE 785030.064
AT ITER 2380 NEW BEST:: SOT 2302917 SOS 1381435 HAS SOPS 1381435 HAS SOUS 783624 HAS SOUPS 783624 WITH SCORE 785005.435
AT ITER 2382 NEW BEST:: SOT 2302731 SOS 1381119 HAS SOPS 1381119 HAS SOUS 783608 HAS SOUPS 783608 WITH SCORE 784989.119
AT ITER 2391 NEW BEST:: SOT 2301800 SOS 1381920 HAS SOPS 1381920 HAS SOUS 782506 HAS SOUPS 782506 WITH SCORE 783887.92
AT ITER 2392 NEW BEST:: SOT 2299270 SOS 1379275 HAS SOPS 1379275 HAS SOUS 779861 HAS SOUPS 779861 WITH SCORE 781240.275
AT ITER 2397 NEW BEST:: SOT 2298024 SOS 1378125 HAS SOPS 1378125 HAS SOUS 779081 HAS SOUPS 779081 WITH SCORE 780459.125
AT ITER 2407 NEW BEST:: SOT 2297834 SOS 1377745 HAS SOPS 1377745 HAS SOUS 778701 HAS SOUPS 778701 WITH SCORE 780078.745
AT ITER 2411 NEW BEST:: SOT 2297834 SOS 1377717 HAS SOPS 1377717 HAS SOUS 778696 HAS SOUPS 778696 WITH SCORE 780073.717
AT ITER 2415 NEW BEST:: SOT 2297806 SOS 1377689 HAS SOPS 1377689 HAS SOUS 778664 HAS SOUPS 778664 WITH SCORE 780041.689
AT ITER 2416 NEW BEST:: SOT 2297362 SOS 1376896 HAS SOPS 1376896 HAS SOUS 777819 HAS SOUPS 777819 WITH SCORE 779195.896
AT ITER 2420 NEW BEST:: SOT 2296741 SOS 1376275 HAS SOPS 1376275 HAS SOUS 777460 HAS SOUPS 777460 WITH SCORE 778836.275
AT ITER 2434 NEW BEST:: SOT 2296699 SOS 1376191 HAS SOPS 1376191 HAS SOUS 777376 HAS SOUPS 777376 WITH SCORE 778752.191
AT ITER 2446 NEW BEST:: SOT 2296311 SOS 1375789 HAS SOPS 1375789 HAS SOUS 776974 HAS SOUPS 776974 WITH SCORE 778349.789
AT ITER 2447 NEW BEST:: SOT 2283140 SOS 1362771 HAS SOPS 1362771 HAS SOUS 763829 HAS SOUPS 763829 WITH SCORE 765191.771
AT ITER 2460 NEW BEST:: SOT 2282731 SOS 1362362 HAS SOPS 1362362 HAS SOUS 763682 HAS SOUPS 763682 WITH SCORE 765044.362
AT ITER 2463 NEW BEST:: SOT 2282467 SOS 1361439 HAS SOPS 1361439 HAS SOUS 762912 HAS SOUPS 762912 WITH SCORE 764273.439
AT ITER 2465 NEW BEST:: SOT 2282467 SOS 1361079 HAS SOPS 1361079 HAS SOUS 762718 HAS SOUPS 762718 WITH SCORE 764079.079
AT ITER 2472 NEW BEST:: SOT 2281383 SOS 1360788 HAS SOPS 1360788 HAS SOUS 762047 HAS SOUPS 762047 WITH SCORE 763407.788
AT ITER 2485 NEW BEST:: SOT 2280816 SOS 1360221 HAS SOPS 1360221 HAS SOUS 761665 HAS SOUPS 761665 WITH SCORE 763025.221
AT ITER 2489 NEW BEST:: SOT 2281215 SOS 1359245 HAS SOPS 1359245 HAS SOUS 760452 HAS SOUPS 760452 WITH SCORE 761811.245
AT ITER 2507 NEW BEST:: SOT 2280794 SOS 1355883 HAS SOPS 1355883 HAS SOUS 759404 HAS SOUPS 759404 WITH SCORE 760759.883
AT ITER 2508 NEW BEST:: SOT 2275005 SOS 1349623 HAS SOPS 1349623 HAS SOUS 753526 HAS SOUPS 753526 WITH SCORE 754875.623
AT ITER 2509 NEW BEST:: SOT 2275005 SOS 1349007 HAS SOPS 1349007 HAS SOUS 752884 HAS SOUPS 752884 WITH SCORE 754233.007
AT ITER 2515 NEW BEST:: SOT 2275003 SOS 1349005 HAS SOPS 1349005 HAS SOUS 752606 HAS SOUPS 752606 WITH SCORE 753955.005
AT ITER 2516 NEW BEST:: SOT 2272795 SOS 1346480 HAS SOPS 1346480 HAS SOUS 750081 HAS SOUPS 750081 WITH SCORE 751427.48
AT ITER 2518 NEW BEST:: SOT 2271006 SOS 1344691 HAS SOPS 1344691 HAS SOUS 748292 HAS SOUPS 748292 WITH SCORE 749636.691
AT ITER 2530 NEW BEST:: SOT 2264154 SOS 1340351 HAS SOPS 1340351 HAS SOUS 742416 HAS SOUPS 742416 WITH SCORE 743756.351
AT ITER 2532 NEW BEST:: SOT 2259381 SOS 1335577 HAS SOPS 1335577 HAS SOUS 737642 HAS SOUPS 737642 WITH SCORE 738977.577
AT ITER 2543 NEW BEST:: SOT 2259358 SOS 1335531 HAS SOPS 1335531 HAS SOUS 737596 HAS SOUPS 737596 WITH SCORE 738931.531
AT ITER 2558 NEW BEST:: SOT 2259346 SOS 1335487 HAS SOPS 1335487 HAS SOUS 737552 HAS SOUPS 737552 WITH SCORE 738887.487
AT ITER 2559 NEW BEST:: SOT 2258646 SOS 1333835 HAS SOPS 1333835 HAS SOUS 736935 HAS SOUPS 736935 WITH SCORE 738268.835
AT ITER 2572 NEW BEST:: SOT 2258142 SOS 1333331 HAS SOPS 1333331 HAS SOUS 736431 HAS SOUPS 736431 WITH SCORE 737764.331
AT ITER 2576 NEW BEST:: SOT 2258576 SOS 1333305 HAS SOPS 1333305 HAS SOUS 736394 HAS SOUPS 736394 WITH SCORE 737727.305
AT ITER 2578 NEW BEST:: SOT 2258388 SOS 1333117 HAS SOPS 1333117 HAS SOUS 736206 HAS SOUPS 736206 WITH SCORE 737539.117
AT ITER 2583 NEW BEST:: SOT 2258285 SOS 1333014 HAS SOPS 1333014 HAS SOUS 736103 HAS SOUPS 736103 WITH SCORE 737436.014
AT ITER 2589 NEW BEST:: SOT 2258177 SOS 1332394 HAS SOPS 1332394 HAS SOUS 735887 HAS SOUPS 735887 WITH SCORE 737219.394
AT ITER 2593 NEW BEST:: SOT 2258235 SOS 1332448 HAS SOPS 1332448 HAS SOUS 735879 HAS SOUPS 735879 WITH SCORE 737211.448
AT ITER 2596 NEW BEST:: SOT 2257858 SOS 1332056 HAS SOPS 1332056 HAS SOUS 735837 HAS SOUPS 735837 WITH SCORE 737169.056
AT ITER 2602 NEW BEST:: SOT 2257858 SOS 1331363 HAS SOPS 1331363 HAS SOUS 735837 HAS SOUPS 735837 WITH SCORE 737168.363
AT ITER 2603 NEW BEST:: SOT 2257808 SOS 1331313 HAS SOPS 1331313 HAS SOUS 735787 HAS SOUPS 735787 WITH SCORE 737118.313
AT ITER 2609 NEW BEST:: SOT 2257708 SOS 1330472 HAS SOPS 1330472 HAS SOUS 735681 HAS SOUPS 735681 WITH SCORE 737011.472
AT ITER 2633 NEW BEST:: SOT 2257632 SOS 1330320 HAS SOPS 1330320 HAS SOUS 735529 HAS SOUPS 735529 WITH SCORE 736859.32
AT ITER 2643 NEW BEST:: SOT 2257454 SOS 1329295 HAS SOPS 1329295 HAS SOUS 734626 HAS SOUPS 734626 WITH SCORE 735955.295
AT ITER 2650 NEW BEST:: SOT 2257453 SOS 1326073 HAS SOPS 1326073 HAS SOUS 734624 HAS SOUPS 734624 WITH SCORE 735950.073
AT ITER 2654 NEW BEST:: SOT 2254226 SOS 1322858 HAS SOPS 1322858 HAS SOUS 731930 HAS SOUPS 731930 WITH SCORE 733252.858
AT ITER 2661 NEW BEST:: SOT 2254098 SOS 1322730 HAS SOPS 1322730 HAS SOUS 731802 HAS SOUPS 731802 WITH SCORE 733124.73
AT ITER 2662 NEW BEST:: SOT 2253881 SOS 1322513 HAS SOPS 1322513 HAS SOUS 731614 HAS SOUPS 731614 WITH SCORE 732936.513
AT ITER 2674 NEW BEST:: SOT 2253881 SOS 1326948 HAS SOPS 1326948 HAS SOUS 731450 HAS SOUPS 731450 WITH SCORE 732776.948
AT ITER 2688 NEW BEST:: SOT 2253875 SOS 1326598 HAS SOPS 1326598 HAS SOUS 731100 HAS SOUPS 731100 WITH SCORE 732426.598
AT ITER 2691 NEW BEST:: SOT 2253403 SOS 1325632 HAS SOPS 1325632 HAS SOUS 730927 HAS SOUPS 730927 WITH SCORE 732252.632
AT ITER 2700 NEW BEST:: SOT 2252720 SOS 1324213 HAS SOPS 1324213 HAS SOUS 728774 HAS SOUPS 728774 WITH SCORE 730098.213
AT ITER 2708 NEW BEST:: SOT 2252716 SOS 1323326 HAS SOPS 1323326 HAS SOUS 728766 HAS SOUPS 728766 WITH SCORE 730089.326
AT ITER 2713 NEW BEST:: SOT 2252716 SOS 1322580 HAS SOPS 1322580 HAS SOUS 728533 HAS SOUPS 728533 WITH SCORE 729855.58
AT ITER 2716 NEW BEST:: SOT 2252484 SOS 1323042 HAS SOPS 1323042 HAS SOUS 728395 HAS SOUPS 728395 WITH SCORE 729718.042
AT ITER 2719 NEW BEST:: SOT 2251186 SOS 1322351 HAS SOPS 1322351 HAS SOUS 727333 HAS SOUPS 727333 WITH SCORE 728655.351
AT ITER 2720 NEW BEST:: SOT 2250445 SOS 1319541 HAS SOPS 1319541 HAS SOUS 726551 HAS SOUPS 726551 WITH SCORE 727870.541
AT ITER 2727 NEW BEST:: SOT 2250445 SOS 1319377 HAS SOPS 1319377 HAS SOUS 726551 HAS SOUPS 726551 WITH SCORE 727870.377
AT ITER 2734 NEW BEST:: SOT 2250373 SOS 1319305 HAS SOPS 1319305 HAS SOUS 726479 HAS SOUPS 726479 WITH SCORE 727798.305
AT ITER 2735 NEW BEST:: SOT 2250273 SOS 1319238 HAS SOPS 1319238 HAS SOUS 726412 HAS SOUPS 726412 WITH SCORE 727731.238
AT ITER 2740 NEW BEST:: SOT 2250273 SOS 1319238 HAS SOPS 1319238 HAS SOUS 726394 HAS SOUPS 726394 WITH SCORE 727713.238
AT ITER 2752 NEW BEST:: SOT 2250224 SOS 1319189 HAS SOPS 1319189 HAS SOUS 726345 HAS SOUPS 726345 WITH SCORE 727664.189
AT ITER 2758 NEW BEST:: SOT 2250118 SOS 1318502 HAS SOPS 1318502 HAS SOUS 726133 HAS SOUPS 726133 WITH SCORE 727451.502
AT ITER 2769 NEW BEST:: SOT 2250501 SOS 1318480 HAS SOPS 1318480 HAS SOUS 726111 HAS SOUPS 726111 WITH SCORE 727429.48
AT ITER 2786 NEW BEST:: SOT 2249927 SOS 1317863 HAS SOPS 1317863 HAS SOUS 725816 HAS SOUPS 725816 WITH SCORE 727133.863
AT ITER 2794 NEW BEST:: SOT 2249926 SOS 1317862 HAS SOPS 1317862 HAS SOUS 725814 HAS SOUPS 725814 WITH SCORE 727131.862
AT ITER 2798 NEW BEST:: SOT 2249926 SOS 1316849 HAS SOPS 1316849 HAS SOUS 725198 HAS SOUPS 725198 WITH SCORE 726514.849
AT ITER 2808 NEW BEST:: SOT 2249927 SOS 1316828 HAS SOPS 1316828 HAS SOUS 725177 HAS SOUPS 725177 WITH SCORE 726493.828
AT ITER 2809 NEW BEST:: SOT 2250023 SOS 1315312 HAS SOPS 1315312 HAS SOUS 725035 HAS SOUPS 725035 WITH SCORE 726350.312
AT ITER 2811 NEW BEST:: SOT 2249196 SOS 1314478 HAS SOPS 1314478 HAS SOUS 723705 HAS SOUPS 723705 WITH SCORE 725019.478
AT ITER 2815 NEW BEST:: SOT 2248311 SOS 1313593 HAS SOPS 1313593 HAS SOUS 722820 HAS SOUPS 722820 WITH SCORE 724133.593
AT ITER 2816 NEW BEST:: SOT 2247732 SOS 1308825 HAS SOPS 1308825 HAS SOUS 721400 HAS SOUPS 721400 WITH SCORE 722708.825
AT ITER 2825 NEW BEST:: SOT 2247636 SOS 1307566 HAS SOPS 1307566 HAS SOUS 720796 HAS SOUPS 720796 WITH SCORE 722103.566
AT ITER 2829 NEW BEST:: SOT 2247738 SOS 1307566 HAS SOPS 1307566 HAS SOUS 720694 HAS SOUPS 720694 WITH SCORE 722001.566
AT ITER 2843 NEW BEST:: SOT 2247738 SOS 1307522 HAS SOPS 1307522 HAS SOUS 720694 HAS SOUPS 720694 WITH SCORE 722001.522
AT ITER 2849 NEW BEST:: SOT 2247499 SOS 1307465 HAS SOPS 1307465 HAS SOUS 720455 HAS SOUPS 720455 WITH SCORE 721762.465
AT ITER 2866 NEW BEST:: SOT 2247499 SOS 1307311 HAS SOPS 1307311 HAS SOUS 720454 HAS SOUPS 720454 WITH SCORE 721761.311
AT ITER 2869 NEW BEST:: SOT 2247148 SOS 1306609 HAS SOPS 1306609 HAS SOUS 719752 HAS SOUPS 719752 WITH SCORE 721058.609
AT ITER 2872 NEW BEST:: SOT 2246651 SOS 1304790 HAS SOPS 1304790 HAS SOUS 718460 HAS SOUPS 718460 WITH SCORE 719764.79
AT ITER 2878 NEW BEST:: SOT 2246639 SOS 1304778 HAS SOPS 1304778 HAS SOUS 718448 HAS SOUPS 718448 WITH SCORE 719752.778
AT ITER 2890 NEW BEST:: SOT 2246538 SOS 1304576 HAS SOPS 1304576 HAS SOUS 718347 HAS SOUPS 718347 WITH SCORE 719651.576
AT ITER 2897 NEW BEST:: SOT 2246520 SOS 1304558 HAS SOPS 1304558 HAS SOUS 718329 HAS SOUPS 718329 WITH SCORE 719633.558
AT ITER 2909 NEW BEST:: SOT 2246439 SOS 1304477 HAS SOPS 1304477 HAS SOUS 718248 HAS SOUPS 718248 WITH SCORE 719552.477
AT ITER 2915 NEW BEST:: SOT 2246411 SOS 1304440 HAS SOPS 1304440 HAS SOUS 718211 HAS SOUPS 718211 WITH SCORE 719515.44
AT ITER 2917 NEW BEST:: SOT 2246275 SOS 1303945 HAS SOPS 1303945 HAS SOUS 717754 HAS SOUPS 717754 WITH SCORE 719057.945
AT ITER 2924 NEW BEST:: SOT 2245920 SOS 1303732 HAS SOPS 1303732 HAS SOUS 717524 HAS SOUPS 717524 WITH SCORE 718827.732
AT ITER 2927 NEW BEST:: SOT 2245915 SOS 1303722 HAS SOPS 1303722 HAS SOUS 717514 HAS SOUPS 717514 WITH SCORE 718817.722
AT ITER 2956 NEW BEST:: SOT 2245884 SOS 1303667 HAS SOPS 1303667 HAS SOUS 717498 HAS SOUPS 717498 WITH SCORE 718801.667
AT ITER 2960 NEW BEST:: SOT 2245457 SOS 1302616 HAS SOPS 1302616 HAS SOUS 716447 HAS SOUPS 716447 WITH SCORE 717749.616
AT ITER 2963 NEW BEST:: SOT 2245700 SOS 1302630 HAS SOPS 1302630 HAS SOUS 716273 HAS SOUPS 716273 WITH SCORE 717575.63
AT ITER 2964 NEW BEST:: SOT 2245381 SOS 1302311 HAS SOPS 1302311 HAS SOUS 715852 HAS SOUPS 715852 WITH SCORE 717154.311
AT ITER 2969 NEW BEST:: SOT 2245277 SOS 1302048 HAS SOPS 1302048 HAS SOUS 715644 HAS SOUPS 715644 WITH SCORE 716946.048
AT ITER 2973 NEW BEST:: SOT 2244863 SOS 1301226 HAS SOPS 1301226 HAS SOUS 714822 HAS SOUPS 714822 WITH SCORE 716123.226
AT ITER 2975 NEW BEST:: SOT 2244058 SOS 1300971 HAS SOPS 1300971 HAS SOUS 714045 HAS SOUPS 714045 WITH SCORE 715345.971
AT ITER 2977 NEW BEST:: SOT 2243208 SOS 1299498 HAS SOPS 1299498 HAS SOUS 712705 HAS SOUPS 712705 WITH SCORE 714004.498
AT ITER 2979 NEW BEST:: SOT 2243208 SOS 1299498 HAS SOPS 1299498 HAS SOUS 712672 HAS SOUPS 712672 WITH SCORE 713971.498
AT ITER 2983 NEW BEST:: SOT 2243022 SOS 1299311 HAS SOPS 1299311 HAS SOUS 712485 HAS SOUPS 712485 WITH SCORE 713784.311
AT ITER 2992 NEW BEST:: SOT 2241607 SOS 1297896 HAS SOPS 1297896 HAS SOUS 711070 HAS SOUPS 711070 WITH SCORE 712367.896
AT ITER 2994 NEW BEST:: SOT 2241517 SOS 1297730 HAS SOPS 1297730 HAS SOUS 710904 HAS SOUPS 710904 WITH SCORE 712201.73
AT ITER 3001 NEW BEST:: SOT 2240045 SOS 1295802 HAS SOPS 1295802 HAS SOUS 709241 HAS SOUPS 709241 WITH SCORE 710536.802
AT ITER 3003 NEW BEST:: SOT 2240045 SOS 1295645 HAS SOPS 1295645 HAS SOUS 709106 HAS SOUPS 709106 WITH SCORE 710401.645
AT ITER 3004 NEW BEST:: SOT 2239912 SOS 1295067 HAS SOPS 1295067 HAS SOUS 708973 HAS SOUPS 708973 WITH SCORE 710268.067
AT ITER 3016 NEW BEST:: SOT 2239928 SOS 1295399 HAS SOPS 1295399 HAS SOUS 708751 HAS SOUPS 708751 WITH SCORE 710046.399
AT ITER 3021 NEW BEST:: SOT 2239835 SOS 1295306 HAS SOPS 1295306 HAS SOUS 708711 HAS SOUPS 708711 WITH SCORE 710006.306
AT ITER 3041 NEW BEST:: SOT 2239835 SOS 1295233 HAS SOPS 1295233 HAS SOUS 708711 HAS SOUPS 708711 WITH SCORE 710006.233
AT ITER 3055 NEW BEST:: SOT 2239835 SOS 1295082 HAS SOPS 1295082 HAS SOUS 708711 HAS SOUPS 708711 WITH SCORE 710006.082
AT ITER 3061 NEW BEST:: SOT 2239495 SOS 1294657 HAS SOPS 1294657 HAS SOUS 708286 HAS SOUPS 708286 WITH SCORE 709580.657
AT ITER 3062 NEW BEST:: SOT 2238949 SOS 1293019 HAS SOPS 1293019 HAS SOUS 707578 HAS SOUPS 707578 WITH SCORE 708871.019
AT ITER 3069 NEW BEST:: SOT 2229439 SOS 1284409 HAS SOPS 1284409 HAS SOUS 698782 HAS SOUPS 698782 WITH SCORE 700066.409
AT ITER 3080 NEW BEST:: SOT 2229357 SOS 1284525 HAS SOPS 1284525 HAS SOUS 698613 HAS SOUPS 698613 WITH SCORE 699897.525
AT ITER 3081 NEW BEST:: SOT 2229325 SOS 1284363 HAS SOPS 1284363 HAS SOUS 698579 HAS SOUPS 698579 WITH SCORE 699863.363
AT ITER 3082 NEW BEST:: SOT 2228415 SOS 1283453 HAS SOPS 1283453 HAS SOUS 697663 HAS SOUPS 697663 WITH SCORE 698946.453
AT ITER 3096 NEW BEST:: SOT 2228415 SOS 1283416 HAS SOPS 1283416 HAS SOUS 697663 HAS SOUPS 697663 WITH SCORE 698946.416
AT ITER 3097 NEW BEST:: SOT 2228252 SOS 1283253 HAS SOPS 1283253 HAS SOUS 697500 HAS SOUPS 697500 WITH SCORE 698783.253
AT ITER 3106 NEW BEST:: SOT 2228243 SOS 1283244 HAS SOPS 1283244 HAS SOUS 697491 HAS SOUPS 697491 WITH SCORE 698774.244
AT ITER 3111 NEW BEST:: SOT 2228199 SOS 1282965 HAS SOPS 1282965 HAS SOUS 697212 HAS SOUPS 697212 WITH SCORE 698494.965
AT ITER 3140 NEW BEST:: SOT 2227781 SOS 1282562 HAS SOPS 1282562 HAS SOUS 696592 HAS SOUPS 696592 WITH SCORE 697874.562
AT ITER 3142 NEW BEST:: SOT 2227781 SOS 1282555 HAS SOPS 1282555 HAS SOUS 696592 HAS SOUPS 696592 WITH SCORE 697874.555
AT ITER 3150 NEW BEST:: SOT 2227812 SOS 1282154 HAS SOPS 1282154 HAS SOUS 696571 HAS SOUPS 696571 WITH SCORE 697853.154
AT ITER 3152 NEW BEST:: SOT 2227464 SOS 1281498 HAS SOPS 1281498 HAS SOUS 695915 HAS SOUPS 695915 WITH SCORE 697196.498
AT ITER 3155 NEW BEST:: SOT 2226916 SOS 1281773 HAS SOPS 1281773 HAS SOUS 695335 HAS SOUPS 695335 WITH SCORE 696616.773
AT ITER 3160 NEW BEST:: SOT 2226916 SOS 1281257 HAS SOPS 1281257 HAS SOUS 695238 HAS SOUPS 695238 WITH SCORE 696519.257
AT ITER 3164 NEW BEST:: SOT 2226900 SOS 1281673 HAS SOPS 1281673 HAS SOUS 695219 HAS SOUPS 695219 WITH SCORE 696500.673
AT ITER 3167 NEW BEST:: SOT 2226515 SOS 1281288 HAS SOPS 1281288 HAS SOUS 695049 HAS SOUPS 695049 WITH SCORE 696330.288
AT ITER 3174 NEW BEST:: SOT 2226314 SOS 1281087 HAS SOPS 1281087 HAS SOUS 695008 HAS SOUPS 695008 WITH SCORE 696289.087
AT ITER 3180 NEW BEST:: SOT 2226128 SOS 1281040 HAS SOPS 1281040 HAS SOUS 694961 HAS SOUPS 694961 WITH SCORE 696242.04
AT ITER 3183 NEW BEST:: SOT 2226120 SOS 1281032 HAS SOPS 1281032 HAS SOUS 694883 HAS SOUPS 694883 WITH SCORE 696164.032
AT ITER 3197 NEW BEST:: SOT 2226119 SOS 1281031 HAS SOPS 1281031 HAS SOUS 694881 HAS SOUPS 694881 WITH SCORE 696162.031
AT ITER 3202 NEW BEST:: SOT 2226108 SOS 1280987 HAS SOPS 1280987 HAS SOUS 694859 HAS SOUPS 694859 WITH SCORE 696139.987
AT ITER 3204 NEW BEST:: SOT 2226108 SOS 1280798 HAS SOPS 1280798 HAS SOUS 694670 HAS SOUPS 694670 WITH SCORE 695950.798
AT ITER 3206 NEW BEST:: SOT 2226246 SOS 1280935 HAS SOPS 1280935 HAS SOUS 694667 HAS SOUPS 694667 WITH SCORE 695947.935
AT ITER 3209 NEW BEST:: SOT 2226202 SOS 1280891 HAS SOPS 1280891 HAS SOUS 694623 HAS SOUPS 694623 WITH SCORE 695903.891
AT ITER 3210 NEW BEST:: SOT 2226192 SOS 1280881 HAS SOPS 1280881 HAS SOUS 694603 HAS SOUPS 694603 WITH SCORE 695883.881
AT ITER 3227 NEW BEST:: SOT 2226170 SOS 1280837 HAS SOPS 1280837 HAS SOUS 694559 HAS SOUPS 694559 WITH SCORE 695839.837
AT ITER 3238 NEW BEST:: SOT 2222702 SOS 1278557 HAS SOPS 1278557 HAS SOUS 691538 HAS SOUPS 691538 WITH SCORE 692816.557
AT ITER 3245 NEW BEST:: SOT 2222633 SOS 1278419 HAS SOPS 1278419 HAS SOUS 691400 HAS SOUPS 691400 WITH SCORE 692678.419
AT ITER 3248 NEW BEST:: SOT 2222596 SOS 1278260 HAS SOPS 1278260 HAS SOUS 691330 HAS SOUPS 691330 WITH SCORE 692608.26
AT ITER 3249 NEW BEST:: SOT 2222376 SOS 1278036 HAS SOPS 1278036 HAS SOUS 691106 HAS SOUPS 691106 WITH SCORE 692384.036
AT ITER 3252 NEW BEST:: SOT 2221168 SOS 1276583 HAS SOPS 1276583 HAS SOUS 689792 HAS SOUPS 689792 WITH SCORE 691068.583
AT ITER 3260 NEW BEST:: SOT 2221168 SOS 1275966 HAS SOPS 1275966 HAS SOUS 689550 HAS SOUPS 689550 WITH SCORE 690825.966
AT ITER 3264 NEW BEST:: SOT 2221168 SOS 1276190 HAS SOPS 1276190 HAS SOUS 689326 HAS SOUPS 689326 WITH SCORE 690602.19
AT ITER 3266 NEW BEST:: SOT 2221113 SOS 1276135 HAS SOPS 1276135 HAS SOUS 689271 HAS SOUPS 689271 WITH SCORE 690547.135
AT ITER 3272 NEW BEST:: SOT 2220595 SOS 1272051 HAS SOPS 1272051 HAS SOUS 688347 HAS SOUPS 688347 WITH SCORE 689619.051
AT ITER 3279 NEW BEST:: SOT 2220559 SOS 1272015 HAS SOPS 1272015 HAS SOUS 688275 HAS SOUPS 688275 WITH SCORE 689547.015
AT ITER 3291 NEW BEST:: SOT 2220559 SOS 1271666 HAS SOPS 1271666 HAS SOUS 687926 HAS SOUPS 687926 WITH SCORE 689197.666
AT ITER 3299 NEW BEST:: SOT 2220559 SOS 1271627 HAS SOPS 1271627 HAS SOUS 687926 HAS SOUPS 687926 WITH SCORE 689197.627
AT ITER 3313 NEW BEST:: SOT 2220153 SOS 1271221 HAS SOPS 1271221 HAS SOUS 687500 HAS SOUPS 687500 WITH SCORE 688771.221
AT ITER 3318 NEW BEST:: SOT 2220222 SOS 1270972 HAS SOPS 1270972 HAS SOUS 687190 HAS SOUPS 687190 WITH SCORE 688460.972
AT ITER 3321 NEW BEST:: SOT 2219856 SOS 1270434 HAS SOPS 1270434 HAS SOUS 686841 HAS SOUPS 686841 WITH SCORE 688111.434
AT ITER 3322 NEW BEST:: SOT 2219836 SOS 1269500 HAS SOPS 1269500 HAS SOUS 686801 HAS SOUPS 686801 WITH SCORE 688070.5
AT ITER 3340 NEW BEST:: SOT 2219836 SOS 1269288 HAS SOPS 1269288 HAS SOUS 686801 HAS SOUPS 686801 WITH SCORE 688070.288
AT ITER 3343 NEW BEST:: SOT 2219829 SOS 1269274 HAS SOPS 1269274 HAS SOUS 686787 HAS SOUPS 686787 WITH SCORE 688056.274
AT ITER 3344 NEW BEST:: SOT 2219634 SOS 1269069 HAS SOPS 1269069 HAS SOUS 686582 HAS SOUPS 686582 WITH SCORE 687851.069
AT ITER 3354 NEW BEST:: SOT 2219649 SOS 1269026 HAS SOPS 1269026 HAS SOUS 686539 HAS SOUPS 686539 WITH SCORE 687808.026
AT ITER 3356 NEW BEST:: SOT 2219745 SOS 1268926 HAS SOPS 1268926 HAS SOUS 686397 HAS SOUPS 686397 WITH SCORE 687665.926
AT ITER 3365 NEW BEST:: SOT 2219683 SOS 1268864 HAS SOPS 1268864 HAS SOUS 686310 HAS SOUPS 686310 WITH SCORE 687578.864
AT ITER 3368 NEW BEST:: SOT 2219278 SOS 1268645 HAS SOPS 1268645 HAS SOUS 685908 HAS SOUPS 685908 WITH SCORE 687176.645
AT ITER 3373 NEW BEST:: SOT 2219307 SOS 1266971 HAS SOPS 1266971 HAS SOUS 685838 HAS SOUPS 685838 WITH SCORE 687104.971
AT ITER 3383 NEW BEST:: SOT 2219067 SOS 1266440 HAS SOPS 1266440 HAS SOUS 685728 HAS SOUPS 685728 WITH SCORE 686994.44
AT ITER 3386 NEW BEST:: SOT 2218927 SOS 1266299 HAS SOPS 1266299 HAS SOUS 685587 HAS SOUPS 685587 WITH SCORE 686853.299
AT ITER 3388 NEW BEST:: SOT 2218804 SOS 1266128 HAS SOPS 1266128 HAS SOUS 685516 HAS SOUPS 685516 WITH SCORE 686782.128
AT ITER 3403 NEW BEST:: SOT 2218328 SOS 1265438 HAS SOPS 1265438 HAS SOUS 684790 HAS SOUPS 684790 WITH SCORE 686055.438
AT ITER 3404 NEW BEST:: SOT 2215034 SOS 1262144 HAS SOPS 1262144 HAS SOUS 681674 HAS SOUPS 681674 WITH SCORE 682936.144
AT ITER 3453 NEW BEST:: SOT 2215288 SOS 1262468 HAS SOPS 1262468 HAS SOUS 681660 HAS SOUPS 681660 WITH SCORE 682922.468
AT ITER 3456 NEW BEST:: SOT 2215288 SOS 1262260 HAS SOPS 1262260 HAS SOUS 681660 HAS SOUPS 681660 WITH SCORE 682922.26
AT ITER 3486 NEW BEST:: SOT 2214833 SOS 1261805 HAS SOPS 1261805 HAS SOUS 681205 HAS SOUPS 681205 WITH SCORE 682466.805
AT ITER 3489 NEW BEST:: SOT 2214709 SOS 1261557 HAS SOPS 1261557 HAS SOUS 680957 HAS SOUPS 680957 WITH SCORE 682218.557
AT ITER 3491 NEW BEST:: SOT 2214143 SOS 1257732 HAS SOPS 1257732 HAS SOUS 680243 HAS SOUPS 680243 WITH SCORE 681500.732
AT ITER 3495 NEW BEST:: SOT 2213926 SOS 1258235 HAS SOPS 1258235 HAS SOUS 679846 HAS SOUPS 679846 WITH SCORE 681104.235
AT ITER 3501 NEW BEST:: SOT 2213926 SOS 1258316 HAS SOPS 1258316 HAS SOUS 679821 HAS SOUPS 679821 WITH SCORE 681079.316
AT ITER 3516 NEW BEST:: SOT 2213576 SOS 1255994 HAS SOPS 1255994 HAS SOUS 679471 HAS SOUPS 679471 WITH SCORE 680726.994
AT ITER 3518 NEW BEST:: SOT 2213530 SOS 1255608 HAS SOPS 1255608 HAS SOUS 679085 HAS SOUPS 679085 WITH SCORE 680340.608
AT ITER 3546 NEW BEST:: SOT 2213530 SOS 1253363 HAS SOPS 1253363 HAS SOUS 678537 HAS SOUPS 678537 WITH SCORE 679790.363
AT ITER 3564 NEW BEST:: SOT 2213411 SOS 1253795 HAS SOPS 1253795 HAS SOUS 678362 HAS SOUPS 678362 WITH SCORE 679615.795
AT ITER 3566 NEW BEST:: SOT 2213173 SOS 1252813 HAS SOPS 1252813 HAS SOUS 677791 HAS SOUPS 677791 WITH SCORE 679043.813
AT ITER 3577 NEW BEST:: SOT 2213134 SOS 1252774 HAS SOPS 1252774 HAS SOUS 677752 HAS SOUPS 677752 WITH SCORE 679004.774
AT ITER 3578 NEW BEST:: SOT 2213215 SOS 1252788 HAS SOPS 1252788 HAS SOUS 677711 HAS SOUPS 677711 WITH SCORE 678963.788
AT ITER 3587 NEW BEST:: SOT 2213215 SOS 1252759 HAS SOPS 1252759 HAS SOUS 677711 HAS SOUPS 677711 WITH SCORE 678963.759
AT ITER 3596 NEW BEST:: SOT 2212992 SOS 1252536 HAS SOPS 1252536 HAS SOUS 677488 HAS SOUPS 677488 WITH SCORE 678740.536
AT ITER 3611 NEW BEST:: SOT 2212992 SOS 1252501 HAS SOPS 1252501 HAS SOUS 677453 HAS SOUPS 677453 WITH SCORE 678705.501
AT ITER 3631 NEW BEST:: SOT 2213035 SOS 1252156 HAS SOPS 1252156 HAS SOUS 677108 HAS SOUPS 677108 WITH SCORE 678360.156
AT ITER 3637 NEW BEST:: SOT 2211932 SOS 1250320 HAS SOPS 1250320 HAS SOUS 675272 HAS SOUPS 675272 WITH SCORE 676522.32
AT ITER 3641 NEW BEST:: SOT 2211925 SOS 1249966 HAS SOPS 1249966 HAS SOUS 675258 HAS SOUPS 675258 WITH SCORE 676507.966
AT ITER 3642 NEW BEST:: SOT 2210045 SOS 1252455 HAS SOPS 1252455 HAS SOUS 674351 HAS SOUPS 674351 WITH SCORE 675603.455
AT ITER 3647 NEW BEST:: SOT 2209552 SOS 1252246 HAS SOPS 1252246 HAS SOUS 673851 HAS SOUPS 673851 WITH SCORE 675103.246
AT ITER 3653 NEW BEST:: SOT 2209552 SOS 1252246 HAS SOPS 1252246 HAS SOUS 673796 HAS SOUPS 673796 WITH SCORE 675048.246
AT ITER 3660 NEW BEST:: SOT 2209738 SOS 1252258 HAS SOPS 1252258 HAS SOUS 673689 HAS SOUPS 673689 WITH SCORE 674941.258
AT ITER 3668 NEW BEST:: SOT 2209406 SOS 1251005 HAS SOPS 1251005 HAS SOUS 673215 HAS SOUPS 673215 WITH SCORE 674466.005
AT ITER 3676 NEW BEST:: SOT 2209368 SOS 1250576 HAS SOPS 1250576 HAS SOUS 672786 HAS SOUPS 672786 WITH SCORE 674036.576
AT ITER 3687 NEW BEST:: SOT 2206448 SOS 1247656 HAS SOPS 1247656 HAS SOUS 669866 HAS SOUPS 669866 WITH SCORE 671113.656
AT ITER 3691 NEW BEST:: SOT 2206448 SOS 1247656 HAS SOPS 1247656 HAS SOUS 669843 HAS SOUPS 669843 WITH SCORE 671090.656
AT ITER 3698 NEW BEST:: SOT 2206572 SOS 1246965 HAS SOPS 1246965 HAS SOUS 669254 HAS SOUPS 669254 WITH SCORE 670500.965
AT ITER 3702 NEW BEST:: SOT 2206289 SOS 1243852 HAS SOPS 1243852 HAS SOUS 668331 HAS SOUPS 668331 WITH SCORE 669574.852
AT ITER 3703 NEW BEST:: SOT 2206193 SOS 1243756 HAS SOPS 1243756 HAS SOUS 668235 HAS SOUPS 668235 WITH SCORE 669478.756
AT ITER 3718 NEW BEST:: SOT 2205968 SOS 1244169 HAS SOPS 1244169 HAS SOUS 668068 HAS SOUPS 668068 WITH SCORE 669312.169
AT ITER 3723 NEW BEST:: SOT 2205311 SOS 1244151 HAS SOPS 1244151 HAS SOUS 667392 HAS SOUPS 667392 WITH SCORE 668636.151
AT ITER 3733 NEW BEST:: SOT 2204975 SOS 1243377 HAS SOPS 1243377 HAS SOUS 666587 HAS SOUPS 666587 WITH SCORE 667830.377
AT ITER 3734 NEW BEST:: SOT 2204975 SOS 1243129 HAS SOPS 1243129 HAS SOUS 666317 HAS SOUPS 666317 WITH SCORE 667560.129
AT ITER 3755 NEW BEST:: SOT 2204975 SOS 1243000 HAS SOPS 1243000 HAS SOUS 666317 HAS SOUPS 666317 WITH SCORE 667560.0
AT ITER 3757 NEW BEST:: SOT 2204558 SOS 1242652 HAS SOPS 1242652 HAS SOUS 666102 HAS SOUPS 666102 WITH SCORE 667344.652
AT ITER 3768 NEW BEST:: SOT 2204555 SOS 1242171 HAS SOPS 1242171 HAS SOUS 665866 HAS SOUPS 665866 WITH SCORE 667108.171
AT ITER 3793 NEW BEST:: SOT 2204523 SOS 1242166 HAS SOPS 1242166 HAS SOUS 665802 HAS SOUPS 665802 WITH SCORE 667044.166
AT ITER 3814 NEW BEST:: SOT 2203998 SOS 1242972 HAS SOPS 1242972 HAS SOUS 665441 HAS SOUPS 665441 WITH SCORE 666683.972
AT ITER 3816 NEW BEST:: SOT 2203695 SOS 1242052 HAS SOPS 1242052 HAS SOUS 664617 HAS SOUPS 664617 WITH SCORE 665859.052
AT ITER 3823 NEW BEST:: SOT 2203682 SOS 1243341 HAS SOPS 1243341 HAS SOUS 664585 HAS SOUPS 664585 WITH SCORE 665828.341
AT ITER 3827 NEW BEST:: SOT 2203484 SOS 1243143 HAS SOPS 1243143 HAS SOUS 664349 HAS SOUPS 664349 WITH SCORE 665592.143
AT ITER 3843 NEW BEST:: SOT 2203484 SOS 1243143 HAS SOPS 1243143 HAS SOUS 664277 HAS SOUPS 664277 WITH SCORE 665520.143
AT ITER 3850 NEW BEST:: SOT 2203361 SOS 1242408 HAS SOPS 1242408 HAS SOUS 663542 HAS SOUPS 663542 WITH SCORE 664784.408
AT ITER 3859 NEW BEST:: SOT 2203361 SOS 1242387 HAS SOPS 1242387 HAS SOUS 663521 HAS SOUPS 663521 WITH SCORE 664763.387
AT ITER 3867 NEW BEST:: SOT 2203267 SOS 1242199 HAS SOPS 1242199 HAS SOUS 663333 HAS SOUPS 663333 WITH SCORE 664575.199
AT ITER 3878 NEW BEST:: SOT 2202367 SOS 1240638 HAS SOPS 1240638 HAS SOUS 661533 HAS SOUPS 661533 WITH SCORE 662773.638
AT ITER 3888 NEW BEST:: SOT 2202367 SOS 1238373 HAS SOPS 1238373 HAS SOUS 661411 HAS SOUPS 661411 WITH SCORE 662649.373
AT ITER 3889 NEW BEST:: SOT 2202317 SOS 1238281 HAS SOPS 1238281 HAS SOUS 661311 HAS SOUPS 661311 WITH SCORE 662549.281
AT ITER 3895 NEW BEST:: SOT 2201672 SOS 1237661 HAS SOPS 1237661 HAS SOUS 660691 HAS SOUPS 660691 WITH SCORE 661928.661
AT ITER 3905 NEW BEST:: SOT 2201672 SOS 1237455 HAS SOPS 1237455 HAS SOUS 660629 HAS SOUPS 660629 WITH SCORE 661866.455
AT ITER 3906 NEW BEST:: SOT 2201201 SOS 1237316 HAS SOPS 1237316 HAS SOUS 660490 HAS SOUPS 660490 WITH SCORE 661727.316
AT ITER 3910 NEW BEST:: SOT 2201003 SOS 1235930 HAS SOPS 1235930 HAS SOUS 660194 HAS SOUPS 660194 WITH SCORE 661429.93
AT ITER 3911 NEW BEST:: SOT 2200776 SOS 1235180 HAS SOPS 1235180 HAS SOUS 659740 HAS SOUPS 659740 WITH SCORE 660975.18
AT ITER 3918 NEW BEST:: SOT 2200776 SOS 1234570 HAS SOPS 1234570 HAS SOUS 659340 HAS SOUPS 659340 WITH SCORE 660574.57
AT ITER 3934 NEW BEST:: SOT 2200684 SOS 1234245 HAS SOPS 1234245 HAS SOUS 659015 HAS SOUPS 659015 WITH SCORE 660249.245
AT ITER 3938 NEW BEST:: SOT 2200684 SOS 1233993 HAS SOPS 1233993 HAS SOUS 658511 HAS SOUPS 658511 WITH SCORE 659744.993
AT ITER 3941 NEW BEST:: SOT 2200572 SOS 1233866 HAS SOPS 1233866 HAS SOUS 658285 HAS SOUPS 658285 WITH SCORE 659518.866
AT ITER 3951 NEW BEST:: SOT 2200572 SOS 1233714 HAS SOPS 1233714 HAS SOUS 658285 HAS SOUPS 658285 WITH SCORE 659518.714
AT ITER 3959 NEW BEST:: SOT 2200541 SOS 1233773 HAS SOPS 1233773 HAS SOUS 658083 HAS SOUPS 658083 WITH SCORE 659316.773
AT ITER 3965 NEW BEST:: SOT 2200541 SOS 1235708 HAS SOPS 1235708 HAS SOUS 657954 HAS SOUPS 657954 WITH SCORE 659189.708
AT ITER 3966 NEW BEST:: SOT 2199603 SOS 1234672 HAS SOPS 1234672 HAS SOUS 656451 HAS SOUPS 656451 WITH SCORE 657685.672
AT ITER 3970 NEW BEST:: SOT 2199603 SOS 1234492 HAS SOPS 1234492 HAS SOUS 656271 HAS SOUPS 656271 WITH SCORE 657505.492
AT ITER 3978 NEW BEST:: SOT 2199603 SOS 1234303 HAS SOPS 1234303 HAS SOUS 656271 HAS SOUPS 656271 WITH SCORE 657505.303
AT ITER 3984 NEW BEST:: SOT 2199603 SOS 1234146 HAS SOPS 1234146 HAS SOUS 656114 HAS SOUPS 656114 WITH SCORE 657348.146
AT ITER 3989 NEW BEST:: SOT 2199474 SOS 1234017 HAS SOPS 1234017 HAS SOUS 655985 HAS SOUPS 655985 WITH SCORE 657219.017
AT ITER 3993 NEW BEST:: SOT 2199407 SOS 1233898 HAS SOPS 1233898 HAS SOUS 655959 HAS SOUPS 655959 WITH SCORE 657192.898
AT ITER 4008 NEW BEST:: SOT 2199355 SOS 1233846 HAS SOPS 1233846 HAS SOUS 655907 HAS SOUPS 655907 WITH SCORE 657140.846
AT ITER 4009 NEW BEST:: SOT 2199351 SOS 1234208 HAS SOPS 1234208 HAS SOUS 655858 HAS SOUPS 655858 WITH SCORE 657092.208
AT ITER 4014 NEW BEST:: SOT 2199789 SOS 1233433 HAS SOPS 1233433 HAS SOUS 655630 HAS SOUPS 655630 WITH SCORE 656863.433
AT ITER 4017 NEW BEST:: SOT 2199393 SOS 1233548 HAS SOPS 1233548 HAS SOUS 655246 HAS SOUPS 655246 WITH SCORE 656479.548
AT ITER 4018 NEW BEST:: SOT 2199068 SOS 1232851 HAS SOPS 1232851 HAS SOUS 654981 HAS SOUPS 654981 WITH SCORE 656213.851
AT ITER 4022 NEW BEST:: SOT 2198737 SOS 1231762 HAS SOPS 1231762 HAS SOUS 654232 HAS SOUPS 654232 WITH SCORE 655463.762
AT ITER 4024 NEW BEST:: SOT 2198495 SOS 1231520 HAS SOPS 1231520 HAS SOUS 653983 HAS SOUPS 653983 WITH SCORE 655214.52
AT ITER 4035 NEW BEST:: SOT 2198495 SOS 1231488 HAS SOPS 1231488 HAS SOUS 653983 HAS SOUPS 653983 WITH SCORE 655214.488
AT ITER 4040 NEW BEST:: SOT 2198495 SOS 1236544 HAS SOPS 1236544 HAS SOUS 653939 HAS SOUPS 653939 WITH SCORE 655175.544
AT ITER 4042 NEW BEST:: SOT 2198271 SOS 1236204 HAS SOPS 1236204 HAS SOUS 653599 HAS SOUPS 653599 WITH SCORE 654835.204
AT ITER 4043 NEW BEST:: SOT 2198022 SOS 1235690 HAS SOPS 1235690 HAS SOUS 653035 HAS SOUPS 653035 WITH SCORE 654270.69
AT ITER 4047 NEW BEST:: SOT 2197680 SOS 1235159 HAS SOPS 1235159 HAS SOUS 652297 HAS SOUPS 652297 WITH SCORE 653532.159
AT ITER 4050 NEW BEST:: SOT 2196956 SOS 1234435 HAS SOPS 1234435 HAS SOUS 651413 HAS SOUPS 651413 WITH SCORE 652647.435
AT ITER 4055 NEW BEST:: SOT 2196885 SOS 1234364 HAS SOPS 1234364 HAS SOUS 651342 HAS SOUPS 651342 WITH SCORE 652576.364
AT ITER 4058 NEW BEST:: SOT 2192549 SOS 1231214 HAS SOPS 1231214 HAS SOUS 647088 HAS SOUPS 647088 WITH SCORE 648319.214
AT ITER 4080 NEW BEST:: SOT 2192696 SOS 1231323 HAS SOPS 1231323 HAS SOUS 647014 HAS SOUPS 647014 WITH SCORE 648245.323
AT ITER 4086 NEW BEST:: SOT 2192586 SOS 1231213 HAS SOPS 1231213 HAS SOUS 646904 HAS SOUPS 646904 WITH SCORE 648135.213
AT ITER 4088 NEW BEST:: SOT 2192581 SOS 1230279 HAS SOPS 1230279 HAS SOUS 646429 HAS SOUPS 646429 WITH SCORE 647659.279
AT ITER 4098 NEW BEST:: SOT 2192573 SOS 1230211 HAS SOPS 1230211 HAS SOUS 646321 HAS SOUPS 646321 WITH SCORE 647551.211
AT ITER 4099 NEW BEST:: SOT 2192685 SOS 1230089 HAS SOPS 1230089 HAS SOUS 646199 HAS SOUPS 646199 WITH SCORE 647429.089
AT ITER 4103 NEW BEST:: SOT 2192459 SOS 1230016 HAS SOPS 1230016 HAS SOUS 646126 HAS SOUPS 646126 WITH SCORE 647356.016
AT ITER 4104 NEW BEST:: SOT 2192282 SOS 1229917 HAS SOPS 1229917 HAS SOUS 645915 HAS SOUPS 645915 WITH SCORE 647144.917
AT ITER 4105 NEW BEST:: SOT 2192160 SOS 1229726 HAS SOPS 1229726 HAS SOUS 645723 HAS SOUPS 645723 WITH SCORE 646952.726
AT ITER 4109 NEW BEST:: SOT 2191946 SOS 1228442 HAS SOPS 1228442 HAS SOUS 645295 HAS SOUPS 645295 WITH SCORE 646523.442
AT ITER 4110 NEW BEST:: SOT 2191882 SOS 1228314 HAS SOPS 1228314 HAS SOUS 645103 HAS SOUPS 645103 WITH SCORE 646331.314
AT ITER 4114 NEW BEST:: SOT 2191817 SOS 1228099 HAS SOPS 1228099 HAS SOUS 644888 HAS SOUPS 644888 WITH SCORE 646116.099
AT ITER 4122 NEW BEST:: SOT 2191369 SOS 1227203 HAS SOPS 1227203 HAS SOUS 643992 HAS SOUPS 643992 WITH SCORE 645219.203
AT ITER 4127 NEW BEST:: SOT 2191276 SOS 1226939 HAS SOPS 1226939 HAS SOUS 643728 HAS SOUPS 643728 WITH SCORE 644954.939
AT ITER 4133 NEW BEST:: SOT 2191276 SOS 1226939 HAS SOPS 1226939 HAS SOUS 643727 HAS SOUPS 643727 WITH SCORE 644953.939
AT ITER 4140 NEW BEST:: SOT 2191213 SOS 1226876 HAS SOPS 1226876 HAS SOUS 643664 HAS SOUPS 643664 WITH SCORE 644890.876
AT ITER 4146 NEW BEST:: SOT 2191213 SOS 1226834 HAS SOPS 1226834 HAS SOUS 643650 HAS SOUPS 643650 WITH SCORE 644876.834
AT ITER 4153 NEW BEST:: SOT 2191213 SOS 1226824 HAS SOPS 1226824 HAS SOUS 643630 HAS SOUPS 643630 WITH SCORE 644856.824
AT ITER 4161 NEW BEST:: SOT 2191213 SOS 1226708 HAS SOPS 1226708 HAS SOUS 643514 HAS SOUPS 643514 WITH SCORE 644740.708
AT ITER 4169 NEW BEST:: SOT 2191126 SOS 1225532 HAS SOPS 1225532 HAS SOUS 643507 HAS SOUPS 643507 WITH SCORE 644732.532
AT ITER 4173 NEW BEST:: SOT 2190516 SOS 1224922 HAS SOPS 1224922 HAS SOUS 642935 HAS SOUPS 642935 WITH SCORE 644159.922
AT ITER 4177 NEW BEST:: SOT 2190369 SOS 1224318 HAS SOPS 1224318 HAS SOUS 642845 HAS SOUPS 642845 WITH SCORE 644069.318
AT ITER 4185 NEW BEST:: SOT 2190017 SOS 1223772 HAS SOPS 1223772 HAS SOUS 642477 HAS SOUPS 642477 WITH SCORE 643700.772
AT ITER 4190 NEW BEST:: SOT 2189905 SOS 1223793 HAS SOPS 1223793 HAS SOUS 642234 HAS SOUPS 642234 WITH SCORE 643457.793
AT ITER 4193 NEW BEST:: SOT 2190095 SOS 1223977 HAS SOPS 1223977 HAS SOUS 642222 HAS SOUPS 642222 WITH SCORE 643445.977
AT ITER 4198 NEW BEST:: SOT 2190094 SOS 1223810 HAS SOPS 1223810 HAS SOUS 642055 HAS SOUPS 642055 WITH SCORE 643278.81
AT ITER 4202 NEW BEST:: SOT 2189811 SOS 1223686 HAS SOPS 1223686 HAS SOUS 642015 HAS SOUPS 642015 WITH SCORE 643238.686
AT ITER 4217 NEW BEST:: SOT 2189688 SOS 1223563 HAS SOPS 1223563 HAS SOUS 641892 HAS SOUPS 641892 WITH SCORE 643115.563
AT ITER 4224 NEW BEST:: SOT 2189627 SOS 1223502 HAS SOPS 1223502 HAS SOUS 641831 HAS SOUPS 641831 WITH SCORE 643054.502
AT ITER 4231 NEW BEST:: SOT 2189626 SOS 1222906 HAS SOPS 1222906 HAS SOUS 641827 HAS SOUPS 641827 WITH SCORE 643049.906
AT ITER 4236 NEW BEST:: SOT 2189623 SOS 1222633 HAS SOPS 1222633 HAS SOUS 641628 HAS SOUPS 641628 WITH SCORE 642850.633
AT ITER 4252 NEW BEST:: SOT 2188647 SOS 1221273 HAS SOPS 1221273 HAS SOUS 641020 HAS SOUPS 641020 WITH SCORE 642241.273
AT ITER 4255 NEW BEST:: SOT 2186434 SOS 1219060 HAS SOPS 1219060 HAS SOUS 638798 HAS SOUPS 638798 WITH SCORE 640017.06
AT ITER 4271 NEW BEST:: SOT 2186434 SOS 1219446 HAS SOPS 1219446 HAS SOUS 638792 HAS SOUPS 638792 WITH SCORE 640011.446
AT ITER 4272 NEW BEST:: SOT 2186253 SOS 1219265 HAS SOPS 1219265 HAS SOUS 638611 HAS SOUPS 638611 WITH SCORE 639830.265
AT ITER 4275 NEW BEST:: SOT 2186687 SOS 1218743 HAS SOPS 1218743 HAS SOUS 638245 HAS SOUPS 638245 WITH SCORE 639463.743
AT ITER 4277 NEW BEST:: SOT 2186210 SOS 1218246 HAS SOPS 1218246 HAS SOUS 637748 HAS SOUPS 637748 WITH SCORE 638966.246
AT ITER 4278 NEW BEST:: SOT 2186192 SOS 1216250 HAS SOPS 1216250 HAS SOUS 637712 HAS SOUPS 637712 WITH SCORE 638928.25
AT ITER 4300 NEW BEST:: SOT 2185414 SOS 1215472 HAS SOPS 1215472 HAS SOUS 636955 HAS SOUPS 636955 WITH SCORE 638170.472
AT ITER 4302 NEW BEST:: SOT 2185414 SOS 1215421 HAS SOPS 1215421 HAS SOUS 636836 HAS SOUPS 636836 WITH SCORE 638051.421
AT ITER 4307 NEW BEST:: SOT 2173116 SOS 1204817 HAS SOPS 1204817 HAS SOUS 626721 HAS SOUPS 626721 WITH SCORE 627925.817
AT ITER 4315 NEW BEST:: SOT 2172855 SOS 1204556 HAS SOPS 1204556 HAS SOUS 626459 HAS SOUPS 626459 WITH SCORE 627663.556
AT ITER 4326 NEW BEST:: SOT 2172449 SOS 1203343 HAS SOPS 1203343 HAS SOUS 625246 HAS SOUPS 625246 WITH SCORE 626449.343
AT ITER 4329 NEW BEST:: SOT 2171318 SOS 1202212 HAS SOPS 1202212 HAS SOUS 623596 HAS SOUPS 623596 WITH SCORE 624798.212
AT ITER 4337 NEW BEST:: SOT 2170663 SOS 1201899 HAS SOPS 1201899 HAS SOUS 623283 HAS SOUPS 623283 WITH SCORE 624484.899
AT ITER 4339 NEW BEST:: SOT 2170654 SOS 1201890 HAS SOPS 1201890 HAS SOUS 623271 HAS SOUPS 623271 WITH SCORE 624472.89
AT ITER 4341 NEW BEST:: SOT 2170417 SOS 1201138 HAS SOPS 1201138 HAS SOUS 622880 HAS SOUPS 622880 WITH SCORE 624081.138
AT ITER 4362 NEW BEST:: SOT 2170417 SOS 1201125 HAS SOPS 1201125 HAS SOUS 622880 HAS SOUPS 622880 WITH SCORE 624081.125
AT ITER 4367 NEW BEST:: SOT 2170417 SOS 1201123 HAS SOPS 1201123 HAS SOUS 622880 HAS SOUPS 622880 WITH SCORE 624081.123
AT ITER 4370 NEW BEST:: SOT 2170105 SOS 1200979 HAS SOPS 1200979 HAS SOUS 622832 HAS SOUPS 622832 WITH SCORE 624032.979
AT ITER 4371 NEW BEST:: SOT 2169265 SOS 1202339 HAS SOPS 1202339 HAS SOUS 621842 HAS SOUPS 621842 WITH SCORE 623044.339
AT ITER 4376 NEW BEST:: SOT 2168799 SOS 1201873 HAS SOPS 1201873 HAS SOUS 621842 HAS SOUPS 621842 WITH SCORE 623043.873
AT ITER 4398 NEW BEST:: SOT 2168799 SOS 1201686 HAS SOPS 1201686 HAS SOUS 621795 HAS SOUPS 621795 WITH SCORE 622996.686
AT ITER 4407 NEW BEST:: SOT 2168294 SOS 1200809 HAS SOPS 1200809 HAS SOUS 621228 HAS SOUPS 621228 WITH SCORE 622428.809
AT ITER 4410 NEW BEST:: SOT 2168214 SOS 1200649 HAS SOPS 1200649 HAS SOUS 621068 HAS SOUPS 621068 WITH SCORE 622268.649
AT ITER 4415 NEW BEST:: SOT 2168094 SOS 1200489 HAS SOPS 1200489 HAS SOUS 620908 HAS SOUPS 620908 WITH SCORE 622108.489
AT ITER 4416 NEW BEST:: SOT 2167813 SOS 1200587 HAS SOPS 1200587 HAS SOUS 620725 HAS SOUPS 620725 WITH SCORE 621925.587
AT ITER 4419 NEW BEST:: SOT 2167398 SOS 1200129 HAS SOPS 1200129 HAS SOUS 620267 HAS SOUPS 620267 WITH SCORE 621467.129
AT ITER 4427 NEW BEST:: SOT 2167388 SOS 1200119 HAS SOPS 1200119 HAS SOUS 620267 HAS SOUPS 620267 WITH SCORE 621467.119
AT ITER 4428 NEW BEST:: SOT 2167087 SOS 1199818 HAS SOPS 1199818 HAS SOUS 619966 HAS SOUPS 619966 WITH SCORE 621165.818
AT ITER 4435 NEW BEST:: SOT 2167087 SOS 1199728 HAS SOPS 1199728 HAS SOUS 619876 HAS SOUPS 619876 WITH SCORE 621075.728
AT ITER 4439 NEW BEST:: SOT 2167086 SOS 1199713 HAS SOPS 1199713 HAS SOUS 619856 HAS SOUPS 619856 WITH SCORE 621055.713
AT ITER 4443 NEW BEST:: SOT 2167039 SOS 1199666 HAS SOPS 1199666 HAS SOUS 619787 HAS SOUPS 619787 WITH SCORE 620986.666
AT ITER 4445 NEW BEST:: SOT 2166978 SOS 1199077 HAS SOPS 1199077 HAS SOUS 619545 HAS SOUPS 619545 WITH SCORE 620744.077
AT ITER 4451 NEW BEST:: SOT 2166750 SOS 1198433 HAS SOPS 1198433 HAS SOUS 618733 HAS SOUPS 618733 WITH SCORE 619931.433
AT ITER 4465 NEW BEST:: SOT 2166750 SOS 1198317 HAS SOPS 1198317 HAS SOUS 618674 HAS SOUPS 618674 WITH SCORE 619872.317
AT ITER 4486 NEW BEST:: SOT 2166665 SOS 1197390 HAS SOPS 1197390 HAS SOUS 618432 HAS SOUPS 618432 WITH SCORE 619629.39
AT ITER 4503 NEW BEST:: SOT 2166075 SOS 1196666 HAS SOPS 1196666 HAS SOUS 617906 HAS SOUPS 617906 WITH SCORE 619102.666
AT ITER 4505 NEW BEST:: SOT 2165819 SOS 1196410 HAS SOPS 1196410 HAS SOUS 617618 HAS SOUPS 617618 WITH SCORE 618814.41
AT ITER 4506 NEW BEST:: SOT 2165685 SOS 1196047 HAS SOPS 1196047 HAS SOUS 617255 HAS SOUPS 617255 WITH SCORE 618451.047
AT ITER 4528 NEW BEST:: SOT 2165663 SOS 1196025 HAS SOPS 1196025 HAS SOUS 617233 HAS SOUPS 617233 WITH SCORE 618429.025
AT ITER 4530 NEW BEST:: SOT 2165662 SOS 1194813 HAS SOPS 1194813 HAS SOUS 617229 HAS SOUPS 617229 WITH SCORE 618423.813
AT ITER 4577 NEW BEST:: SOT 2165633 SOS 1194755 HAS SOPS 1194755 HAS SOUS 617171 HAS SOUPS 617171 WITH SCORE 618365.755
AT ITER 4583 NEW BEST:: SOT 2164945 SOS 1193800 HAS SOPS 1193800 HAS SOUS 616216 HAS SOUPS 616216 WITH SCORE 617409.8
AT ITER 4594 NEW BEST:: SOT 2164658 SOS 1193342 HAS SOPS 1193342 HAS SOUS 615758 HAS SOUPS 615758 WITH SCORE 616951.342
AT ITER 4607 NEW BEST:: SOT 2164619 SOS 1193303 HAS SOPS 1193303 HAS SOUS 615700 HAS SOUPS 615700 WITH SCORE 616893.303
AT ITER 4609 NEW BEST:: SOT 2158027 SOS 1188951 HAS SOPS 1188951 HAS SOUS 609076 HAS SOUPS 609076 WITH SCORE 610264.951
AT ITER 4629 NEW BEST:: SOT 2158027 SOS 1188950 HAS SOPS 1188950 HAS SOUS 609075 HAS SOUPS 609075 WITH SCORE 610263.95
AT ITER 4638 NEW BEST:: SOT 2158105 SOS 1188644 HAS SOPS 1188644 HAS SOUS 609062 HAS SOUPS 609062 WITH SCORE 610250.644
AT ITER 4644 NEW BEST:: SOT 2158411 SOS 1188950 HAS SOPS 1188950 HAS SOUS 608902 HAS SOUPS 608902 WITH SCORE 610090.95
AT ITER 4646 NEW BEST:: SOT 2158419 SOS 1188406 HAS SOPS 1188406 HAS SOUS 608358 HAS SOUPS 608358 WITH SCORE 609546.406
AT ITER 4647 NEW BEST:: SOT 2158350 SOS 1188268 HAS SOPS 1188268 HAS SOUS 608220 HAS SOUPS 608220 WITH SCORE 609408.268
AT ITER 4658 NEW BEST:: SOT 2158099 SOS 1187460 HAS SOPS 1187460 HAS SOUS 607967 HAS SOUPS 607967 WITH SCORE 609154.46
AT ITER 4672 NEW BEST:: SOT 2158073 SOS 1187281 HAS SOPS 1187281 HAS SOUS 607788 HAS SOUPS 607788 WITH SCORE 608975.281
AT ITER 4700 NEW BEST:: SOT 2158073 SOS 1186114 HAS SOPS 1186114 HAS SOUS 607658 HAS SOUPS 607658 WITH SCORE 608844.114
AT ITER 4706 NEW BEST:: SOT 2158054 SOS 1186095 HAS SOPS 1186095 HAS SOUS 607639 HAS SOUPS 607639 WITH SCORE 608825.095
AT ITER 4714 NEW BEST:: SOT 2157586 SOS 1184691 HAS SOPS 1184691 HAS SOUS 606703 HAS SOUPS 606703 WITH SCORE 607887.691
AT ITER 4722 NEW BEST:: SOT 2150284 SOS 1178210 HAS SOPS 1178210 HAS SOUS 601002 HAS SOUPS 601002 WITH SCORE 602180.21
AT ITER 4735 NEW BEST:: SOT 2149298 SOS 1177224 HAS SOPS 1177224 HAS SOUS 599353 HAS SOUPS 599353 WITH SCORE 600530.224
AT ITER 4741 NEW BEST:: SOT 2149298 SOS 1177030 HAS SOPS 1177030 HAS SOUS 599352 HAS SOUPS 599352 WITH SCORE 600529.03
AT ITER 4747 NEW BEST:: SOT 2148985 SOS 1176717 HAS SOPS 1176717 HAS SOUS 598979 HAS SOUPS 598979 WITH SCORE 600155.717
AT ITER 4753 NEW BEST:: SOT 2148737 SOS 1176777 HAS SOPS 1176777 HAS SOUS 598942 HAS SOUPS 598942 WITH SCORE 600118.777
AT ITER 4760 NEW BEST:: SOT 2148720 SOS 1176760 HAS SOPS 1176760 HAS SOUS 598925 HAS SOUPS 598925 WITH SCORE 600101.76
AT ITER 4772 NEW BEST:: SOT 2148586 SOS 1176409 HAS SOPS 1176409 HAS SOUS 598584 HAS SOUPS 598584 WITH SCORE 599760.409
AT ITER 4773 NEW BEST:: SOT 2148586 SOS 1176141 HAS SOPS 1176141 HAS SOUS 598316 HAS SOUPS 598316 WITH SCORE 599492.141
AT ITER 4776 NEW BEST:: SOT 2148177 SOS 1175323 HAS SOPS 1175323 HAS SOUS 597498 HAS SOUPS 597498 WITH SCORE 598673.323
AT ITER 4792 NEW BEST:: SOT 2147895 SOS 1175041 HAS SOPS 1175041 HAS SOUS 597216 HAS SOUPS 597216 WITH SCORE 598391.041
AT ITER 4793 NEW BEST:: SOT 2147895 SOS 1175031 HAS SOPS 1175031 HAS SOUS 597189 HAS SOUPS 597189 WITH SCORE 598364.031
AT ITER 4832 NEW BEST:: SOT 2147895 SOS 1174973 HAS SOPS 1174973 HAS SOUS 596885 HAS SOUPS 596885 WITH SCORE 598059.973
AT ITER 4840 NEW BEST:: SOT 2147174 SOS 1174252 HAS SOPS 1174252 HAS SOUS 596164 HAS SOUPS 596164 WITH SCORE 597338.252
AT ITER 4851 NEW BEST:: SOT 2146906 SOS 1173984 HAS SOPS 1173984 HAS SOUS 595896 HAS SOUPS 595896 WITH SCORE 597069.984
AT ITER 4856 NEW BEST:: SOT 2146790 SOS 1173868 HAS SOPS 1173868 HAS SOUS 595693 HAS SOUPS 595693 WITH SCORE 596866.868
AT ITER 4888 NEW BEST:: SOT 2146584 SOS 1173099 HAS SOPS 1173099 HAS SOUS 594924 HAS SOUPS 594924 WITH SCORE 596097.099
AT ITER 4893 NEW BEST:: SOT 2145583 SOS 1171114 HAS SOPS 1171114 HAS SOUS 594672 HAS SOUPS 594672 WITH SCORE 595843.114
AT ITER 4895 NEW BEST:: SOT 2145514 SOS 1170976 HAS SOPS 1170976 HAS SOUS 594534 HAS SOUPS 594534 WITH SCORE 595704.976
AT ITER 4898 NEW BEST:: SOT 2146211 SOS 1171542 HAS SOPS 1171542 HAS SOUS 594088 HAS SOUPS 594088 WITH SCORE 595259.542
AT ITER 4922 NEW BEST:: SOT 2146211 SOS 1171020 HAS SOPS 1171020 HAS SOUS 594077 HAS SOUPS 594077 WITH SCORE 595248.02
AT ITER 4958 NEW BEST:: SOT 2146166 SOS 1171050 HAS SOPS 1171050 HAS SOUS 594062 HAS SOUPS 594062 WITH SCORE 595233.05
AT ITER 4968 NEW BEST:: SOT 2146463 SOS 1171347 HAS SOPS 1171347 HAS SOUS 594015 HAS SOUPS 594015 WITH SCORE 595186.347
AT ITER 4987 NEW BEST:: SOT 2146279 SOS 1171163 HAS SOPS 1171163 HAS SOUS 593831 HAS SOUPS 593831 WITH SCORE 595002.163
AT ITER 4992 NEW BEST:: SOT 2144277 SOS 1173084 HAS SOPS 1173084 HAS SOUS 593814 HAS SOUPS 593814 WITH SCORE 594987.084
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-08a-CTLFireability-00 (EU( (AF( ( ((potential((tk(P1412)>=1) & (tk(P1602)>=1)))) | ((potential((tk(P741)>=1) & (tk(P803)>=1)))) ))) , (AG( ((potential((tk(P4)>=1) & (tk(P83)>=1)))))) ))
PROPERTY: ASLink-PT-08a-CTLFireability-01 (AF( (AX( ((potential((tk(P841)>=1) & (tk(P991)>=1))))))))
PROPERTY: ASLink-PT-08a-CTLFireability-02 (! (AF( (AG( (! ((potential((tk(P1167)>=1))))))))))
PROPERTY: ASLink-PT-08a-CTLFireability-03 (AF( ((potential((tk(P1400)>=1) & (tk(P1470)>=1))))))
PROPERTY: ASLink-PT-08a-CTLFireability-04 (EG( (! (AU( ((potential((tk(P628)>=1) & (tk(P869)>=1)))) , ((potential((tk(P339)>=1)))) )))))
PROPERTY: ASLink-PT-08a-CTLFireability-05 (EG( (AU( (! ((potential((tk(P1022)>=1) & (tk(P1255)>=1))))) , (! ((potential((tk(P1405)>=1) & (tk(P1609)>=1))))) ))))
PROPERTY: ASLink-PT-08a-CTLFireability-06 ( (AF( (AG( ( ((potential((tk(P1584)>=1) & (tk(P1649)>=1)))) | ((potential((tk(P1413)>=1) & (tk(P1622)>=1)))) ))))) & (AG( (AF( ( ((potential((tk(P1205)>=1) & (tk(P1365)>=1)))) & ((potential((tk(P9)>=1) & (tk(P76)>=1)))) ))))) )
PROPERTY: ASLink-PT-08a-CTLFireability-07 ( ( (EF( (EF( ((potential((tk(P1796)>=1) & (tk(P1792)>=1) & (tk(P1794)>=1)))))))) | ((potential((tk(P1409)>=1) & (tk(P1597)>=1)))) ) | (EG( (! ((potential((tk(P235)>=1) & (tk(P468)>=1))))))) )
PROPERTY: ASLink-PT-08a-CTLFireability-08 (EG( ( ( (! ((potential((tk(P1320)>=1))))) | (EX( ((potential((tk(P621)>=1) & (tk(P676)>=1)))))) ) & ( (! ( ((potential((tk(P439)>=1) & (tk(P670)>=1)))) & ((potential((tk(P248)>=1) & (tk(P479)>=1)))) )) | (! (! ((potential((tk(P1263)>=1) & (tk(P1393)>=1)))))) ) )))
PROPERTY: ASLink-PT-08a-CTLFireability-09 (AU( ( ( ((potential((tk(P1028)>=1) & (tk(P1251)>=1)))) | (! ((potential((tk(P1416)>=1) & (tk(P1617)>=1))))) ) & ( (! ((potential((tk(P436)>=1) & (tk(P665)>=1))))) & (! ((potential((tk(P1430)>=1) & (tk(P1576)>=1))))) ) ) , ( (EG( ((potential((tk(P156)>=1)))))) | (AX( ((potential((tk(P980)>=1) & (tk(P1004)>=1)))))) ) ))
PROPERTY: ASLink-PT-08a-CTLFireability-10 (EG( ( (EG( (! ((potential((tk(P239)>=1) & (tk(P474)>=1))))))) | (! (EF( ((potential((tk(P434)>=1) & (tk(P663)>=1))))))) )))
PROPERTY: ASLink-PT-08a-CTLFireability-11 (AF( ((potential((tk(P1413)>=1) & (tk(P1607)>=1))))))
PROPERTY: ASLink-PT-08a-CTLFireability-12 (EF( ( ((potential((tk(P444)>=1) & (tk(P520)>=1)))) & (AG( ( ((potential((tk(P1581)>=1) & (tk(P1647)>=1)))) | ((potential((tk(P1522)>=1) & (tk(P1576)>=1)))) ))) )))
PROPERTY: ASLink-PT-08a-CTLFireability-13 ( (AG( ( (AX( ((potential((tk(P1028)>=1) & (tk(P1257)>=1)))))) | (AF( ((potential((tk(P1012)>=1) & (tk(P1077)>=1)))))) ))) | (EU( ( ((potential((tk(P431)>=1) & (tk(P664)>=1)))) & ((potential((tk(P1483)>=1)))) ) , (AX( ((potential((tk(P1534)>=1)))))) )) )
PROPERTY: ASLink-PT-08a-CTLFireability-14 (AU( ( (EG( ((potential((tk(P1221)>=1) & (tk(P1444)>=1)))))) | (AF( ((potential((tk(P1377)>=1) & (tk(P1395)>=1)))))) ) , (AF( ( ((potential((tk(P239)>=1) & (tk(P474)>=1)))) & ((potential((tk(P1404)>=1) & (tk(P1617)>=1)))) ))) ))
PROPERTY: ASLink-PT-08a-CTLFireability-15 ( (! ((potential((tk(P145)>=1))))) & ( ( ( ( ( ((potential((tk(P312)>=1)))) | ((potential((tk(P1016)>=1) & (tk(P1253)>=1)))) ) & (! ((potential((tk(P1406)>=1) & (tk(P1615)>=1))))) ) & ( ((potential((tk(P1223)>=1) & (tk(P1450)>=1)))) & ( ((potential((tk(P1540)>=1)))) & ((potential((tk(P1780)>=1)))) ) ) ) & (! ( ((potential((tk(P58)>=1) & (tk(P211)>=1)))) & ( ((potential((tk(P1414)>=1) & (tk(P1619)>=1)))) | ((potential((tk(P14)>=1) & (tk(P85)>=1)))) ) )) ) | (EU( (! ((potential((tk(P1404)>=1) & (tk(P1600)>=1))))) , ((potential((tk(P1402)>=1) & (tk(P1471)>=1)))) )) ) )
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-08a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-08a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508100124"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08a.tgz
mv ASLink-PT-08a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;