Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813590400096.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ASLink-PT-06a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590400096
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.0M
-rw-r--r-- 1 mcc users 7.1K Feb 26 13:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 13:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 13:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 13:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 13:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 13:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 13:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 13:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 597K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678469064353

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-06a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 06a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1406 places, 2100 transitions, 7896 arcs.
AT ITER 0 NEW BEST:: SOT 1632622 SOS 1122872 HAS SOPS 1122872 HAS SOUS 718392 HAS SOUPS 718392 WITH SCORE 719514.872
AT ITER 2 NEW BEST:: SOT 1630828 SOS 1121706 HAS SOPS 1121706 HAS SOUS 717103 HAS SOUPS 717103 WITH SCORE 718224.706
AT ITER 4 NEW BEST:: SOT 1630828 SOS 1121440 HAS SOPS 1121440 HAS SOUS 716705 HAS SOUPS 716705 WITH SCORE 717826.44
AT ITER 5 NEW BEST:: SOT 1630495 SOS 1121107 HAS SOPS 1121107 HAS SOUS 716685 HAS SOUPS 716685 WITH SCORE 717806.107
AT ITER 6 NEW BEST:: SOT 1631056 SOS 1121413 HAS SOPS 1121413 HAS SOUS 716363 HAS SOUPS 716363 WITH SCORE 717484.413
AT ITER 7 NEW BEST:: SOT 1631056 SOS 1120769 HAS SOPS 1120769 HAS SOUS 715728 HAS SOUPS 715728 WITH SCORE 716848.769
AT ITER 9 NEW BEST:: SOT 1631056 SOS 1121070 HAS SOPS 1121070 HAS SOUS 715635 HAS SOUPS 715635 WITH SCORE 716756.07
AT ITER 16 NEW BEST:: SOT 1631151 SOS 1120578 HAS SOPS 1120578 HAS SOUS 715455 HAS SOUPS 715455 WITH SCORE 716575.578
AT ITER 31 NEW BEST:: SOT 1630892 SOS 1120312 HAS SOPS 1120312 HAS SOUS 715446 HAS SOUPS 715446 WITH SCORE 716566.312
AT ITER 32 NEW BEST:: SOT 1625222 SOS 1123193 HAS SOPS 1123193 HAS SOUS 709804 HAS SOUPS 709804 WITH SCORE 710927.193
AT ITER 33 NEW BEST:: SOT 1624986 SOS 1122957 HAS SOPS 1122957 HAS SOUS 709801 HAS SOUPS 709801 WITH SCORE 710923.957
AT ITER 46 NEW BEST:: SOT 1624160 SOS 1118313 HAS SOPS 1118313 HAS SOUS 708609 HAS SOUPS 708609 WITH SCORE 709727.313
AT ITER 47 NEW BEST:: SOT 1623355 SOS 1116833 HAS SOPS 1116833 HAS SOUS 707634 HAS SOUPS 707634 WITH SCORE 708750.833
AT ITER 58 NEW BEST:: SOT 1622009 SOS 1115482 HAS SOPS 1115482 HAS SOUS 706283 HAS SOUPS 706283 WITH SCORE 707398.482
AT ITER 59 NEW BEST:: SOT 1621938 SOS 1115162 HAS SOPS 1115162 HAS SOUS 706141 HAS SOUPS 706141 WITH SCORE 707256.162
AT ITER 60 NEW BEST:: SOT 1619778 SOS 1113002 HAS SOPS 1113002 HAS SOUS 703976 HAS SOUPS 703976 WITH SCORE 705089.002
AT ITER 68 NEW BEST:: SOT 1619778 SOS 1113000 HAS SOPS 1113000 HAS SOUS 703716 HAS SOUPS 703716 WITH SCORE 704829.0
AT ITER 70 NEW BEST:: SOT 1619778 SOS 1113562 HAS SOPS 1113562 HAS SOUS 703714 HAS SOUPS 703714 WITH SCORE 704827.562
AT ITER 72 NEW BEST:: SOT 1619054 SOS 1111620 HAS SOPS 1111620 HAS SOUS 702243 HAS SOUPS 702243 WITH SCORE 703354.62
AT ITER 74 NEW BEST:: SOT 1619409 SOS 1110717 HAS SOPS 1110717 HAS SOUS 702084 HAS SOUPS 702084 WITH SCORE 703194.717
AT ITER 83 NEW BEST:: SOT 1619546 SOS 1110417 HAS SOPS 1110417 HAS SOUS 702041 HAS SOUPS 702041 WITH SCORE 703151.417
AT ITER 85 NEW BEST:: SOT 1618985 SOS 1109295 HAS SOPS 1109295 HAS SOUS 700919 HAS SOUPS 700919 WITH SCORE 702028.295
AT ITER 90 NEW BEST:: SOT 1618985 SOS 1107503 HAS SOPS 1107503 HAS SOUS 700918 HAS SOUPS 700918 WITH SCORE 702025.503
AT ITER 97 NEW BEST:: SOT 1618985 SOS 1107363 HAS SOPS 1107363 HAS SOUS 700918 HAS SOUPS 700918 WITH SCORE 702025.363
AT ITER 98 NEW BEST:: SOT 1618670 SOS 1107048 HAS SOPS 1107048 HAS SOUS 700602 HAS SOUPS 700602 WITH SCORE 701709.048
AT ITER 103 NEW BEST:: SOT 1618395 SOS 1106237 HAS SOPS 1106237 HAS SOUS 700065 HAS SOUPS 700065 WITH SCORE 701171.237
AT ITER 104 NEW BEST:: SOT 1609320 SOS 1097160 HAS SOPS 1097160 HAS SOUS 690988 HAS SOUPS 690988 WITH SCORE 692085.16
AT ITER 111 NEW BEST:: SOT 1593363 SOS 1086271 HAS SOPS 1086271 HAS SOUS 674521 HAS SOUPS 674521 WITH SCORE 675607.271
AT ITER 115 NEW BEST:: SOT 1593010 SOS 1085847 HAS SOPS 1085847 HAS SOUS 674521 HAS SOUPS 674521 WITH SCORE 675606.847
AT ITER 116 NEW BEST:: SOT 1593010 SOS 1086128 HAS SOPS 1086128 HAS SOUS 674519 HAS SOUPS 674519 WITH SCORE 675605.128
AT ITER 119 NEW BEST:: SOT 1592276 SOS 1085437 HAS SOPS 1085437 HAS SOUS 673834 HAS SOUPS 673834 WITH SCORE 674919.437
AT ITER 121 NEW BEST:: SOT 1592713 SOS 1085437 HAS SOPS 1085437 HAS SOUS 672960 HAS SOUPS 672960 WITH SCORE 674045.437
AT ITER 122 NEW BEST:: SOT 1592713 SOS 1084508 HAS SOPS 1084508 HAS SOUS 672959 HAS SOUPS 672959 WITH SCORE 674043.508
AT ITER 125 NEW BEST:: SOT 1584587 SOS 1083335 HAS SOPS 1083335 HAS SOUS 665071 HAS SOUPS 665071 WITH SCORE 666154.335
AT ITER 126 NEW BEST:: SOT 1572350 SOS 1071098 HAS SOPS 1071098 HAS SOUS 652833 HAS SOUPS 652833 WITH SCORE 653904.098
AT ITER 127 NEW BEST:: SOT 1572350 SOS 1071098 HAS SOPS 1071098 HAS SOUS 652832 HAS SOUPS 652832 WITH SCORE 653903.098
AT ITER 128 NEW BEST:: SOT 1571913 SOS 1069993 HAS SOPS 1069993 HAS SOUS 651953 HAS SOUPS 651953 WITH SCORE 653022.993
AT ITER 129 NEW BEST:: SOT 1572046 SOS 1070525 HAS SOPS 1070525 HAS SOUS 651896 HAS SOUPS 651896 WITH SCORE 652966.525
AT ITER 137 NEW BEST:: SOT 1572046 SOS 1068481 HAS SOPS 1068481 HAS SOUS 651568 HAS SOUPS 651568 WITH SCORE 652636.481
AT ITER 138 NEW BEST:: SOT 1569301 SOS 1065599 HAS SOPS 1065599 HAS SOUS 648686 HAS SOUPS 648686 WITH SCORE 649751.599
AT ITER 146 NEW BEST:: SOT 1569221 SOS 1064755 HAS SOPS 1064755 HAS SOUS 648318 HAS SOUPS 648318 WITH SCORE 649382.755
AT ITER 157 NEW BEST:: SOT 1567640 SOS 1073029 HAS SOPS 1073029 HAS SOUS 646452 HAS SOUPS 646452 WITH SCORE 647525.029
AT ITER 162 NEW BEST:: SOT 1567640 SOS 1073016 HAS SOPS 1073016 HAS SOUS 646439 HAS SOUPS 646439 WITH SCORE 647512.016
AT ITER 169 NEW BEST:: SOT 1560975 SOS 1071167 HAS SOPS 1071167 HAS SOUS 640444 HAS SOUPS 640444 WITH SCORE 641515.167
AT ITER 170 NEW BEST:: SOT 1560685 SOS 1070877 HAS SOPS 1070877 HAS SOUS 640210 HAS SOUPS 640210 WITH SCORE 641280.877
AT ITER 177 NEW BEST:: SOT 1560685 SOS 1071071 HAS SOPS 1071071 HAS SOUS 640181 HAS SOUPS 640181 WITH SCORE 641252.071
AT ITER 182 NEW BEST:: SOT 1560685 SOS 1071071 HAS SOPS 1071071 HAS SOUS 640180 HAS SOUPS 640180 WITH SCORE 641251.071
AT ITER 185 NEW BEST:: SOT 1559786 SOS 1070172 HAS SOPS 1070172 HAS SOUS 639281 HAS SOUPS 639281 WITH SCORE 640351.172
AT ITER 187 NEW BEST:: SOT 1559889 SOS 1069634 HAS SOPS 1069634 HAS SOUS 639172 HAS SOUPS 639172 WITH SCORE 640241.634
AT ITER 188 NEW BEST:: SOT 1559889 SOS 1069399 HAS SOPS 1069399 HAS SOUS 639172 HAS SOUPS 639172 WITH SCORE 640241.399
AT ITER 197 NEW BEST:: SOT 1559889 SOS 1069399 HAS SOPS 1069399 HAS SOUS 639155 HAS SOUPS 639155 WITH SCORE 640224.399
AT ITER 217 NEW BEST:: SOT 1559602 SOS 1069103 HAS SOPS 1069103 HAS SOUS 638859 HAS SOUPS 638859 WITH SCORE 639928.103
AT ITER 219 NEW BEST:: SOT 1559602 SOS 1069516 HAS SOPS 1069516 HAS SOUS 638855 HAS SOUPS 638855 WITH SCORE 639924.516
AT ITER 220 NEW BEST:: SOT 1549350 SOS 1059264 HAS SOPS 1059264 HAS SOUS 628602 HAS SOUPS 628602 WITH SCORE 629661.264
AT ITER 222 NEW BEST:: SOT 1549264 SOS 1059193 HAS SOPS 1059193 HAS SOUS 628516 HAS SOUPS 628516 WITH SCORE 629575.193
AT ITER 228 NEW BEST:: SOT 1549145 SOS 1059074 HAS SOPS 1059074 HAS SOUS 628471 HAS SOUPS 628471 WITH SCORE 629530.074
AT ITER 232 NEW BEST:: SOT 1549367 SOS 1058634 HAS SOPS 1058634 HAS SOUS 628469 HAS SOUPS 628469 WITH SCORE 629527.634
AT ITER 235 NEW BEST:: SOT 1548312 SOS 1057528 HAS SOPS 1057528 HAS SOUS 627359 HAS SOUPS 627359 WITH SCORE 628416.528
AT ITER 237 NEW BEST:: SOT 1547776 SOS 1057122 HAS SOPS 1057122 HAS SOUS 626960 HAS SOUPS 626960 WITH SCORE 628017.122
AT ITER 251 NEW BEST:: SOT 1547353 SOS 1056699 HAS SOPS 1056699 HAS SOUS 626943 HAS SOUPS 626943 WITH SCORE 627999.699
AT ITER 256 NEW BEST:: SOT 1547353 SOS 1055933 HAS SOPS 1055933 HAS SOUS 626943 HAS SOUPS 626943 WITH SCORE 627998.933
AT ITER 264 NEW BEST:: SOT 1547178 SOS 1054575 HAS SOPS 1054575 HAS SOUS 626876 HAS SOUPS 626876 WITH SCORE 627930.575
AT ITER 277 NEW BEST:: SOT 1547147 SOS 1054531 HAS SOPS 1054531 HAS SOUS 626861 HAS SOUPS 626861 WITH SCORE 627915.531
AT ITER 279 NEW BEST:: SOT 1546777 SOS 1053007 HAS SOPS 1053007 HAS SOUS 626030 HAS SOUPS 626030 WITH SCORE 627083.007
AT ITER 286 NEW BEST:: SOT 1546637 SOS 1052867 HAS SOPS 1052867 HAS SOUS 625832 HAS SOUPS 625832 WITH SCORE 626884.867
AT ITER 289 NEW BEST:: SOT 1545455 SOS 1050282 HAS SOPS 1050282 HAS SOUS 624261 HAS SOUPS 624261 WITH SCORE 625311.282
AT ITER 294 NEW BEST:: SOT 1545455 SOS 1050138 HAS SOPS 1050138 HAS SOUS 624260 HAS SOUPS 624260 WITH SCORE 625310.138
AT ITER 313 NEW BEST:: SOT 1546010 SOS 1049808 HAS SOPS 1049808 HAS SOUS 623930 HAS SOUPS 623930 WITH SCORE 624979.808
AT ITER 315 NEW BEST:: SOT 1545197 SOS 1048976 HAS SOPS 1048976 HAS SOUS 623089 HAS SOUPS 623089 WITH SCORE 624137.976
AT ITER 320 NEW BEST:: SOT 1545197 SOS 1048117 HAS SOPS 1048117 HAS SOUS 623089 HAS SOUPS 623089 WITH SCORE 624137.117
AT ITER 322 NEW BEST:: SOT 1544397 SOS 1047317 HAS SOPS 1047317 HAS SOUS 622286 HAS SOUPS 622286 WITH SCORE 623333.317
AT ITER 325 NEW BEST:: SOT 1543789 SOS 1046101 HAS SOPS 1046101 HAS SOUS 621676 HAS SOUPS 621676 WITH SCORE 622722.101
AT ITER 327 NEW BEST:: SOT 1536976 SOS 1039290 HAS SOPS 1039290 HAS SOUS 614865 HAS SOUPS 614865 WITH SCORE 615904.29
AT ITER 331 NEW BEST:: SOT 1537340 SOS 1038689 HAS SOPS 1038689 HAS SOUS 614265 HAS SOUPS 614265 WITH SCORE 615303.689
AT ITER 333 NEW BEST:: SOT 1534234 SOS 1035583 HAS SOPS 1035583 HAS SOUS 611128 HAS SOUPS 611128 WITH SCORE 612163.583
AT ITER 338 NEW BEST:: SOT 1534347 SOS 1035464 HAS SOPS 1035464 HAS SOUS 610887 HAS SOUPS 610887 WITH SCORE 611922.464
AT ITER 340 NEW BEST:: SOT 1534347 SOS 1033890 HAS SOPS 1033890 HAS SOUS 610873 HAS SOUPS 610873 WITH SCORE 611906.89
AT ITER 341 NEW BEST:: SOT 1534347 SOS 1033484 HAS SOPS 1033484 HAS SOUS 610467 HAS SOUPS 610467 WITH SCORE 611500.484
AT ITER 342 NEW BEST:: SOT 1534288 SOS 1033307 HAS SOPS 1033307 HAS SOUS 610290 HAS SOUPS 610290 WITH SCORE 611323.307
AT ITER 344 NEW BEST:: SOT 1534073 SOS 1032482 HAS SOPS 1032482 HAS SOUS 609860 HAS SOUPS 609860 WITH SCORE 610892.482
AT ITER 345 NEW BEST:: SOT 1532747 SOS 1031816 HAS SOPS 1031816 HAS SOUS 609194 HAS SOUPS 609194 WITH SCORE 610225.816
AT ITER 355 NEW BEST:: SOT 1532233 SOS 1030274 HAS SOPS 1030274 HAS SOUS 608166 HAS SOUPS 608166 WITH SCORE 609196.274
AT ITER 357 NEW BEST:: SOT 1529733 SOS 1027774 HAS SOPS 1027774 HAS SOUS 605666 HAS SOUPS 605666 WITH SCORE 606693.774
AT ITER 358 NEW BEST:: SOT 1530178 SOS 1027658 HAS SOPS 1027658 HAS SOUS 604910 HAS SOUPS 604910 WITH SCORE 605937.658
AT ITER 364 NEW BEST:: SOT 1529516 SOS 1027560 HAS SOPS 1027560 HAS SOUS 604312 HAS SOUPS 604312 WITH SCORE 605339.56
AT ITER 365 NEW BEST:: SOT 1527083 SOS 1025127 HAS SOPS 1025127 HAS SOUS 601870 HAS SOUPS 601870 WITH SCORE 602895.127
AT ITER 376 NEW BEST:: SOT 1526861 SOS 1023299 HAS SOPS 1023299 HAS SOUS 601422 HAS SOUPS 601422 WITH SCORE 602445.299
AT ITER 379 NEW BEST:: SOT 1526858 SOS 1022889 HAS SOPS 1022889 HAS SOUS 601387 HAS SOUPS 601387 WITH SCORE 602409.889
AT ITER 380 NEW BEST:: SOT 1525956 SOS 1021987 HAS SOPS 1021987 HAS SOUS 600485 HAS SOUPS 600485 WITH SCORE 601506.987
AT ITER 381 NEW BEST:: SOT 1524955 SOS 1020980 HAS SOPS 1020980 HAS SOUS 599477 HAS SOUPS 599477 WITH SCORE 600497.98
AT ITER 382 NEW BEST:: SOT 1524303 SOS 1020328 HAS SOPS 1020328 HAS SOUS 599477 HAS SOUPS 599477 WITH SCORE 600497.328
AT ITER 393 NEW BEST:: SOT 1524019 SOS 1020044 HAS SOPS 1020044 HAS SOUS 599477 HAS SOUPS 599477 WITH SCORE 600497.044
AT ITER 397 NEW BEST:: SOT 1524019 SOS 1020044 HAS SOPS 1020044 HAS SOUS 599471 HAS SOUPS 599471 WITH SCORE 600491.044
AT ITER 402 NEW BEST:: SOT 1524019 SOS 1019968 HAS SOPS 1019968 HAS SOUS 599408 HAS SOUPS 599408 WITH SCORE 600427.968
AT ITER 403 NEW BEST:: SOT 1517969 SOS 1016932 HAS SOPS 1016932 HAS SOUS 592700 HAS SOUPS 592700 WITH SCORE 593716.932
AT ITER 409 NEW BEST:: SOT 1517969 SOS 1016790 HAS SOPS 1016790 HAS SOUS 592664 HAS SOUPS 592664 WITH SCORE 593680.79
AT ITER 411 NEW BEST:: SOT 1513706 SOS 1014541 HAS SOPS 1014541 HAS SOUS 588998 HAS SOUPS 588998 WITH SCORE 590012.541
AT ITER 412 NEW BEST:: SOT 1513877 SOS 1014236 HAS SOPS 1014236 HAS SOUS 588683 HAS SOUPS 588683 WITH SCORE 589697.236
AT ITER 417 NEW BEST:: SOT 1513877 SOS 1014000 HAS SOPS 1014000 HAS SOUS 588679 HAS SOUPS 588679 WITH SCORE 589693.0
AT ITER 434 NEW BEST:: SOT 1500435 SOS 999475 HAS SOPS 999475 HAS SOUS 577430 HAS SOUPS 577430 WITH SCORE 578429.475
AT ITER 437 NEW BEST:: SOT 1500343 SOS 999292 HAS SOPS 999292 HAS SOUS 577335 HAS SOUPS 577335 WITH SCORE 578334.292
AT ITER 440 NEW BEST:: SOT 1496006 SOS 995974 HAS SOPS 995974 HAS SOUS 573106 HAS SOUPS 573106 WITH SCORE 574101.974
AT ITER 441 NEW BEST:: SOT 1495294 SOS 994708 HAS SOPS 994708 HAS SOUS 571268 HAS SOUPS 571268 WITH SCORE 572262.708
AT ITER 442 NEW BEST:: SOT 1494906 SOS 991373 HAS SOPS 991373 HAS SOUS 570072 HAS SOUPS 570072 WITH SCORE 571063.373
AT ITER 443 NEW BEST:: SOT 1494894 SOS 990164 HAS SOPS 990164 HAS SOUS 570035 HAS SOUPS 570035 WITH SCORE 571025.164
AT ITER 444 NEW BEST:: SOT 1494731 SOS 989999 HAS SOPS 989999 HAS SOUS 569870 HAS SOUPS 569870 WITH SCORE 570859.999
AT ITER 448 NEW BEST:: SOT 1494621 SOS 989889 HAS SOPS 989889 HAS SOUS 569760 HAS SOUPS 569760 WITH SCORE 570749.889
AT ITER 451 NEW BEST:: SOT 1494618 SOS 988793 HAS SOPS 988793 HAS SOUS 569753 HAS SOUPS 569753 WITH SCORE 570741.793
AT ITER 456 NEW BEST:: SOT 1494432 SOS 988307 HAS SOPS 988307 HAS SOUS 569474 HAS SOUPS 569474 WITH SCORE 570462.307
AT ITER 459 NEW BEST:: SOT 1494198 SOS 988073 HAS SOPS 988073 HAS SOUS 569474 HAS SOUPS 569474 WITH SCORE 570462.073
AT ITER 465 NEW BEST:: SOT 1494657 SOS 987901 HAS SOPS 987901 HAS SOUS 569302 HAS SOUPS 569302 WITH SCORE 570289.901
AT ITER 502 NEW BEST:: SOT 1494657 SOS 987901 HAS SOPS 987901 HAS SOUS 569157 HAS SOUPS 569157 WITH SCORE 570144.901
AT ITER 510 NEW BEST:: SOT 1493124 SOS 986368 HAS SOPS 986368 HAS SOUS 567595 HAS SOUPS 567595 WITH SCORE 568581.368
AT ITER 514 NEW BEST:: SOT 1492711 SOS 985955 HAS SOPS 985955 HAS SOUS 567181 HAS SOUPS 567181 WITH SCORE 568166.955
AT ITER 521 NEW BEST:: SOT 1489922 SOS 983927 HAS SOPS 983927 HAS SOUS 564713 HAS SOUPS 564713 WITH SCORE 565696.927
AT ITER 524 NEW BEST:: SOT 1488464 SOS 982469 HAS SOPS 982469 HAS SOUS 563255 HAS SOUPS 563255 WITH SCORE 564237.469
AT ITER 526 NEW BEST:: SOT 1488445 SOS 982053 HAS SOPS 982053 HAS SOUS 563191 HAS SOUPS 563191 WITH SCORE 564173.053
AT ITER 527 NEW BEST:: SOT 1488286 SOS 982053 HAS SOPS 982053 HAS SOUS 563032 HAS SOUPS 563032 WITH SCORE 564014.053
AT ITER 530 NEW BEST:: SOT 1488087 SOS 981655 HAS SOPS 981655 HAS SOUS 562659 HAS SOUPS 562659 WITH SCORE 563640.655
AT ITER 541 NEW BEST:: SOT 1487892 SOS 981460 HAS SOPS 981460 HAS SOUS 562464 HAS SOUPS 562464 WITH SCORE 563445.46
AT ITER 558 NEW BEST:: SOT 1487892 SOS 982005 HAS SOPS 982005 HAS SOUS 562462 HAS SOUPS 562462 WITH SCORE 563444.005
AT ITER 564 NEW BEST:: SOT 1487714 SOS 981827 HAS SOPS 981827 HAS SOUS 562284 HAS SOUPS 562284 WITH SCORE 563265.827
AT ITER 568 NEW BEST:: SOT 1484046 SOS 979237 HAS SOPS 979237 HAS SOUS 558770 HAS SOUPS 558770 WITH SCORE 559749.237
AT ITER 572 NEW BEST:: SOT 1484013 SOS 979204 HAS SOPS 979204 HAS SOUS 558737 HAS SOUPS 558737 WITH SCORE 559716.204
AT ITER 574 NEW BEST:: SOT 1483338 SOS 978529 HAS SOPS 978529 HAS SOUS 558061 HAS SOUPS 558061 WITH SCORE 559039.529
AT ITER 582 NEW BEST:: SOT 1482442 SOS 977633 HAS SOPS 977633 HAS SOUS 556269 HAS SOUPS 556269 WITH SCORE 557246.633
AT ITER 587 NEW BEST:: SOT 1482044 SOS 976629 HAS SOPS 976629 HAS SOUS 555473 HAS SOUPS 555473 WITH SCORE 556449.629
AT ITER 608 NEW BEST:: SOT 1482043 SOS 976222 HAS SOPS 976222 HAS SOUS 555467 HAS SOUPS 555467 WITH SCORE 556443.222
AT ITER 609 NEW BEST:: SOT 1481994 SOS 976173 HAS SOPS 976173 HAS SOUS 555418 HAS SOUPS 555418 WITH SCORE 556394.173
AT ITER 610 NEW BEST:: SOT 1481594 SOS 976054 HAS SOPS 976054 HAS SOUS 555297 HAS SOUPS 555297 WITH SCORE 556273.054
AT ITER 613 NEW BEST:: SOT 1481998 SOS 976458 HAS SOPS 976458 HAS SOUS 554893 HAS SOUPS 554893 WITH SCORE 555869.458
AT ITER 628 NEW BEST:: SOT 1481466 SOS 975925 HAS SOPS 975925 HAS SOUS 554360 HAS SOUPS 554360 WITH SCORE 555335.925
AT ITER 640 NEW BEST:: SOT 1481466 SOS 975366 HAS SOPS 975366 HAS SOUS 554360 HAS SOUPS 554360 WITH SCORE 555335.366
AT ITER 651 NEW BEST:: SOT 1481465 SOS 975174 HAS SOPS 975174 HAS SOUS 554337 HAS SOUPS 554337 WITH SCORE 555312.174
AT ITER 653 NEW BEST:: SOT 1481465 SOS 972254 HAS SOPS 972254 HAS SOUS 554331 HAS SOUPS 554331 WITH SCORE 555303.254
AT ITER 654 NEW BEST:: SOT 1481465 SOS 969627 HAS SOPS 969627 HAS SOUS 554031 HAS SOUPS 554031 WITH SCORE 555000.627
AT ITER 656 NEW BEST:: SOT 1481457 SOS 969611 HAS SOPS 969611 HAS SOUS 554015 HAS SOUPS 554015 WITH SCORE 554984.611
AT ITER 663 NEW BEST:: SOT 1481453 SOS 964651 HAS SOPS 964651 HAS SOUS 554007 HAS SOUPS 554007 WITH SCORE 554971.651
AT ITER 672 NEW BEST:: SOT 1480983 SOS 964167 HAS SOPS 964167 HAS SOUS 553523 HAS SOUPS 553523 WITH SCORE 554487.167
AT ITER 680 NEW BEST:: SOT 1480914 SOS 964098 HAS SOPS 964098 HAS SOUS 553454 HAS SOUPS 553454 WITH SCORE 554418.098
AT ITER 682 NEW BEST:: SOT 1480671 SOS 963839 HAS SOPS 963839 HAS SOUS 552970 HAS SOUPS 552970 WITH SCORE 553933.839
AT ITER 685 NEW BEST:: SOT 1479886 SOS 963402 HAS SOPS 963402 HAS SOUS 552387 HAS SOUPS 552387 WITH SCORE 553350.402
AT ITER 686 NEW BEST:: SOT 1479868 SOS 963349 HAS SOPS 963349 HAS SOUS 552347 HAS SOUPS 552347 WITH SCORE 553310.349
AT ITER 691 NEW BEST:: SOT 1479763 SOS 963413 HAS SOPS 963413 HAS SOUS 552321 HAS SOUPS 552321 WITH SCORE 553284.413
AT ITER 695 NEW BEST:: SOT 1479552 SOS 963201 HAS SOPS 963201 HAS SOUS 552109 HAS SOUPS 552109 WITH SCORE 553072.201
AT ITER 704 NEW BEST:: SOT 1478468 SOS 962359 HAS SOPS 962359 HAS SOUS 551267 HAS SOUPS 551267 WITH SCORE 552229.359
AT ITER 714 NEW BEST:: SOT 1478455 SOS 962346 HAS SOPS 962346 HAS SOUS 551250 HAS SOUPS 551250 WITH SCORE 552212.346
AT ITER 721 NEW BEST:: SOT 1477976 SOS 959078 HAS SOPS 959078 HAS SOUS 549893 HAS SOUPS 549893 WITH SCORE 550852.078
AT ITER 738 NEW BEST:: SOT 1477976 SOS 959070 HAS SOPS 959070 HAS SOUS 549885 HAS SOUPS 549885 WITH SCORE 550844.07
AT ITER 741 NEW BEST:: SOT 1477976 SOS 959070 HAS SOPS 959070 HAS SOUS 549818 HAS SOUPS 549818 WITH SCORE 550777.07
AT ITER 751 NEW BEST:: SOT 1477976 SOS 958942 HAS SOPS 958942 HAS SOUS 549817 HAS SOUPS 549817 WITH SCORE 550775.942
AT ITER 758 NEW BEST:: SOT 1477506 SOS 958726 HAS SOPS 958726 HAS SOUS 549561 HAS SOUPS 549561 WITH SCORE 550519.726
AT ITER 760 NEW BEST:: SOT 1477468 SOS 958436 HAS SOPS 958436 HAS SOUS 549480 HAS SOUPS 549480 WITH SCORE 550438.436
AT ITER 761 NEW BEST:: SOT 1477261 SOS 958229 HAS SOPS 958229 HAS SOUS 549212 HAS SOUPS 549212 WITH SCORE 550170.229
AT ITER 762 NEW BEST:: SOT 1477281 SOS 958020 HAS SOPS 958020 HAS SOUS 549208 HAS SOUPS 549208 WITH SCORE 550166.02
AT ITER 765 NEW BEST:: SOT 1477281 SOS 958222 HAS SOPS 958222 HAS SOUS 549000 HAS SOUPS 549000 WITH SCORE 549958.222
AT ITER 766 NEW BEST:: SOT 1477154 SOS 958095 HAS SOPS 958095 HAS SOUS 548867 HAS SOUPS 548867 WITH SCORE 549825.095
AT ITER 768 NEW BEST:: SOT 1474535 SOS 957271 HAS SOPS 957271 HAS SOUS 546128 HAS SOUPS 546128 WITH SCORE 547085.271
AT ITER 770 NEW BEST:: SOT 1474560 SOS 956849 HAS SOPS 956849 HAS SOUS 545706 HAS SOUPS 545706 WITH SCORE 546662.849
AT ITER 771 NEW BEST:: SOT 1474559 SOS 956844 HAS SOPS 956844 HAS SOUS 545700 HAS SOUPS 545700 WITH SCORE 546656.844
AT ITER 772 NEW BEST:: SOT 1474558 SOS 956843 HAS SOPS 956843 HAS SOUS 545698 HAS SOUPS 545698 WITH SCORE 546654.843
AT ITER 780 NEW BEST:: SOT 1474006 SOS 956291 HAS SOPS 956291 HAS SOUS 545284 HAS SOUPS 545284 WITH SCORE 546240.291
AT ITER 788 NEW BEST:: SOT 1473972 SOS 956257 HAS SOPS 956257 HAS SOUS 545250 HAS SOUPS 545250 WITH SCORE 546206.257
AT ITER 792 NEW BEST:: SOT 1473972 SOS 956256 HAS SOPS 956256 HAS SOUS 545249 HAS SOUPS 545249 WITH SCORE 546205.256
AT ITER 793 NEW BEST:: SOT 1473934 SOS 956218 HAS SOPS 956218 HAS SOUS 545211 HAS SOUPS 545211 WITH SCORE 546167.218
AT ITER 800 NEW BEST:: SOT 1473934 SOS 955134 HAS SOPS 955134 HAS SOUS 544693 HAS SOUPS 544693 WITH SCORE 545648.134
AT ITER 802 NEW BEST:: SOT 1473242 SOS 954490 HAS SOPS 954490 HAS SOUS 544006 HAS SOUPS 544006 WITH SCORE 544960.49
AT ITER 807 NEW BEST:: SOT 1473089 SOS 954399 HAS SOPS 954399 HAS SOUS 543915 HAS SOUPS 543915 WITH SCORE 544869.399
AT ITER 812 NEW BEST:: SOT 1472671 SOS 952395 HAS SOPS 952395 HAS SOUS 542375 HAS SOUPS 542375 WITH SCORE 543327.395
AT ITER 813 NEW BEST:: SOT 1472590 SOS 952314 HAS SOPS 952314 HAS SOUS 542366 HAS SOUPS 542366 WITH SCORE 543318.314
AT ITER 836 NEW BEST:: SOT 1469346 SOS 949070 HAS SOPS 949070 HAS SOUS 539122 HAS SOUPS 539122 WITH SCORE 540071.07
AT ITER 837 NEW BEST:: SOT 1466225 SOS 945620 HAS SOPS 945620 HAS SOUS 534790 HAS SOUPS 534790 WITH SCORE 535735.62
AT ITER 839 NEW BEST:: SOT 1453249 SOS 932330 HAS SOPS 932330 HAS SOUS 521500 HAS SOUPS 521500 WITH SCORE 522432.33
AT ITER 841 NEW BEST:: SOT 1453105 SOS 931685 HAS SOPS 931685 HAS SOUS 520956 HAS SOUPS 520956 WITH SCORE 521887.685
AT ITER 846 NEW BEST:: SOT 1451743 SOS 930323 HAS SOPS 930323 HAS SOUS 519587 HAS SOUPS 519587 WITH SCORE 520517.323
AT ITER 849 NEW BEST:: SOT 1449433 SOS 928013 HAS SOPS 928013 HAS SOUS 517277 HAS SOUPS 517277 WITH SCORE 518205.013
AT ITER 869 NEW BEST:: SOT 1443893 SOS 922632 HAS SOPS 922632 HAS SOUS 511823 HAS SOUPS 511823 WITH SCORE 512745.632
AT ITER 890 NEW BEST:: SOT 1443056 SOS 920367 HAS SOPS 920367 HAS SOUS 510983 HAS SOUPS 510983 WITH SCORE 511903.367
AT ITER 892 NEW BEST:: SOT 1442135 SOS 919127 HAS SOPS 919127 HAS SOUS 509742 HAS SOUPS 509742 WITH SCORE 510661.127
AT ITER 898 NEW BEST:: SOT 1442263 SOS 918671 HAS SOPS 918671 HAS SOUS 509564 HAS SOUPS 509564 WITH SCORE 510482.671
AT ITER 901 NEW BEST:: SOT 1444787 SOS 920927 HAS SOPS 920927 HAS SOUS 509534 HAS SOUPS 509534 WITH SCORE 510454.927
AT ITER 907 NEW BEST:: SOT 1444297 SOS 919685 HAS SOPS 919685 HAS SOUS 508865 HAS SOUPS 508865 WITH SCORE 509784.685
AT ITER 914 NEW BEST:: SOT 1444297 SOS 919537 HAS SOPS 919537 HAS SOUS 508717 HAS SOUPS 508717 WITH SCORE 509636.537
AT ITER 921 NEW BEST:: SOT 1444568 SOS 919902 HAS SOPS 919902 HAS SOUS 508672 HAS SOUPS 508672 WITH SCORE 509591.902
AT ITER 923 NEW BEST:: SOT 1444568 SOS 919387 HAS SOPS 919387 HAS SOUS 508650 HAS SOUPS 508650 WITH SCORE 509569.387
AT ITER 929 NEW BEST:: SOT 1444568 SOS 919166 HAS SOPS 919166 HAS SOUS 508631 HAS SOUPS 508631 WITH SCORE 509550.166
AT ITER 931 NEW BEST:: SOT 1441915 SOS 916513 HAS SOPS 916513 HAS SOUS 505978 HAS SOUPS 505978 WITH SCORE 506894.513
AT ITER 932 NEW BEST:: SOT 1441967 SOS 916133 HAS SOPS 916133 HAS SOUS 505788 HAS SOUPS 505788 WITH SCORE 506704.133
AT ITER 936 NEW BEST:: SOT 1441967 SOS 915797 HAS SOPS 915797 HAS SOUS 505788 HAS SOUPS 505788 WITH SCORE 506703.797
AT ITER 959 NEW BEST:: SOT 1441502 SOS 915629 HAS SOPS 915629 HAS SOUS 505254 HAS SOUPS 505254 WITH SCORE 506169.629
AT ITER 964 NEW BEST:: SOT 1441440 SOS 915567 HAS SOPS 915567 HAS SOUS 505192 HAS SOUPS 505192 WITH SCORE 506107.567
AT ITER 968 NEW BEST:: SOT 1441380 SOS 915489 HAS SOPS 915489 HAS SOUS 505114 HAS SOUPS 505114 WITH SCORE 506029.489
AT ITER 973 NEW BEST:: SOT 1441380 SOS 915201 HAS SOPS 915201 HAS SOUS 504838 HAS SOUPS 504838 WITH SCORE 505753.201
AT ITER 979 NEW BEST:: SOT 1441159 SOS 914980 HAS SOPS 914980 HAS SOUS 504833 HAS SOUPS 504833 WITH SCORE 505747.98
AT ITER 987 NEW BEST:: SOT 1440891 SOS 913874 HAS SOPS 913874 HAS SOUS 504295 HAS SOUPS 504295 WITH SCORE 505208.874
AT ITER 988 NEW BEST:: SOT 1440204 SOS 913187 HAS SOPS 913187 HAS SOUS 503608 HAS SOUPS 503608 WITH SCORE 504521.187
AT ITER 989 NEW BEST:: SOT 1439435 SOS 913293 HAS SOPS 913293 HAS SOUS 502832 HAS SOUPS 502832 WITH SCORE 503745.293
AT ITER 1000 NEW BEST:: SOT 1439433 SOS 913226 HAS SOPS 913226 HAS SOUS 502765 HAS SOUPS 502765 WITH SCORE 503678.226
AT ITER 1001 NEW BEST:: SOT 1439389 SOS 913182 HAS SOPS 913182 HAS SOUS 502729 HAS SOUPS 502729 WITH SCORE 503642.182
AT ITER 1002 NEW BEST:: SOT 1438778 SOS 911981 HAS SOPS 911981 HAS SOUS 501810 HAS SOUPS 501810 WITH SCORE 502721.981
AT ITER 1010 NEW BEST:: SOT 1438776 SOS 911813 HAS SOPS 911813 HAS SOUS 501799 HAS SOUPS 501799 WITH SCORE 502710.813
AT ITER 1036 NEW BEST:: SOT 1438523 SOS 911560 HAS SOPS 911560 HAS SOUS 501553 HAS SOUPS 501553 WITH SCORE 502464.56
AT ITER 1047 NEW BEST:: SOT 1438523 SOS 911456 HAS SOPS 911456 HAS SOUS 501553 HAS SOUPS 501553 WITH SCORE 502464.456
AT ITER 1050 NEW BEST:: SOT 1438523 SOS 910744 HAS SOPS 910744 HAS SOUS 501171 HAS SOUPS 501171 WITH SCORE 502081.744
AT ITER 1059 NEW BEST:: SOT 1438368 SOS 910441 HAS SOPS 910441 HAS SOUS 500868 HAS SOUPS 500868 WITH SCORE 501778.441
AT ITER 1063 NEW BEST:: SOT 1438151 SOS 910184 HAS SOPS 910184 HAS SOUS 500682 HAS SOUPS 500682 WITH SCORE 501592.184
AT ITER 1081 NEW BEST:: SOT 1438082 SOS 910046 HAS SOPS 910046 HAS SOUS 500544 HAS SOUPS 500544 WITH SCORE 501454.046
AT ITER 1085 NEW BEST:: SOT 1438082 SOS 909376 HAS SOPS 909376 HAS SOUS 500544 HAS SOUPS 500544 WITH SCORE 501453.376
AT ITER 1104 NEW BEST:: SOT 1437074 SOS 907352 HAS SOPS 907352 HAS SOUS 498520 HAS SOUPS 498520 WITH SCORE 499427.352
AT ITER 1106 NEW BEST:: SOT 1432831 SOS 903048 HAS SOPS 903048 HAS SOUS 494216 HAS SOUPS 494216 WITH SCORE 495119.048
AT ITER 1110 NEW BEST:: SOT 1432756 SOS 902609 HAS SOPS 902609 HAS SOUS 494066 HAS SOUPS 494066 WITH SCORE 494968.609
AT ITER 1111 NEW BEST:: SOT 1432756 SOS 902541 HAS SOPS 902541 HAS SOUS 494053 HAS SOUPS 494053 WITH SCORE 494955.541
AT ITER 1133 NEW BEST:: SOT 1432892 SOS 902677 HAS SOPS 902677 HAS SOUS 494020 HAS SOUPS 494020 WITH SCORE 494922.677
AT ITER 1136 NEW BEST:: SOT 1432666 SOS 902225 HAS SOPS 902225 HAS SOUS 493568 HAS SOUPS 493568 WITH SCORE 494470.225
AT ITER 1144 NEW BEST:: SOT 1432665 SOS 901150 HAS SOPS 901150 HAS SOUS 493564 HAS SOUPS 493564 WITH SCORE 494465.15
AT ITER 1152 NEW BEST:: SOT 1432665 SOS 901162 HAS SOPS 901162 HAS SOUS 493558 HAS SOUPS 493558 WITH SCORE 494459.162
AT ITER 1153 NEW BEST:: SOT 1432461 SOS 900796 HAS SOPS 900796 HAS SOUS 493192 HAS SOUPS 493192 WITH SCORE 494092.796
AT ITER 1157 NEW BEST:: SOT 1432460 SOS 900795 HAS SOPS 900795 HAS SOUS 493191 HAS SOUPS 493191 WITH SCORE 494091.795
AT ITER 1162 NEW BEST:: SOT 1432261 SOS 900204 HAS SOPS 900204 HAS SOUS 492600 HAS SOUPS 492600 WITH SCORE 493500.204
AT ITER 1168 NEW BEST:: SOT 1432190 SOS 900250 HAS SOPS 900250 HAS SOUS 492458 HAS SOUPS 492458 WITH SCORE 493358.25
AT ITER 1192 NEW BEST:: SOT 1432190 SOS 900699 HAS SOPS 900699 HAS SOUS 492155 HAS SOUPS 492155 WITH SCORE 493055.699
AT ITER 1200 NEW BEST:: SOT 1429539 SOS 898192 HAS SOPS 898192 HAS SOUS 489552 HAS SOUPS 489552 WITH SCORE 490450.192
AT ITER 1213 NEW BEST:: SOT 1429170 SOS 897321 HAS SOPS 897321 HAS SOUS 488681 HAS SOUPS 488681 WITH SCORE 489578.321
AT ITER 1216 NEW BEST:: SOT 1429044 SOS 897195 HAS SOPS 897195 HAS SOUS 488555 HAS SOUPS 488555 WITH SCORE 489452.195
AT ITER 1224 NEW BEST:: SOT 1429488 SOS 897515 HAS SOPS 897515 HAS SOUS 488359 HAS SOUPS 488359 WITH SCORE 489256.515
AT ITER 1234 NEW BEST:: SOT 1429850 SOS 897765 HAS SOPS 897765 HAS SOUS 488298 HAS SOUPS 488298 WITH SCORE 489195.765
AT ITER 1239 NEW BEST:: SOT 1429629 SOS 895757 HAS SOPS 895757 HAS SOUS 487445 HAS SOUPS 487445 WITH SCORE 488340.757
AT ITER 1248 NEW BEST:: SOT 1429713 SOS 895757 HAS SOPS 895757 HAS SOUS 487361 HAS SOUPS 487361 WITH SCORE 488256.757
AT ITER 1251 NEW BEST:: SOT 1429713 SOS 895401 HAS SOPS 895401 HAS SOUS 487153 HAS SOUPS 487153 WITH SCORE 488048.401
AT ITER 1261 NEW BEST:: SOT 1429707 SOS 895216 HAS SOPS 895216 HAS SOUS 487145 HAS SOUPS 487145 WITH SCORE 488040.216
AT ITER 1268 NEW BEST:: SOT 1428555 SOS 893402 HAS SOPS 893402 HAS SOUS 485331 HAS SOUPS 485331 WITH SCORE 486224.402
AT ITER 1269 NEW BEST:: SOT 1428469 SOS 894118 HAS SOPS 894118 HAS SOUS 485209 HAS SOUPS 485209 WITH SCORE 486103.118
AT ITER 1278 NEW BEST:: SOT 1428443 SOS 894092 HAS SOPS 894092 HAS SOUS 485183 HAS SOUPS 485183 WITH SCORE 486077.092
AT ITER 1288 NEW BEST:: SOT 1427406 SOS 893055 HAS SOPS 893055 HAS SOUS 484146 HAS SOUPS 484146 WITH SCORE 485039.055
AT ITER 1291 NEW BEST:: SOT 1426236 SOS 891755 HAS SOPS 891755 HAS SOUS 482846 HAS SOUPS 482846 WITH SCORE 483737.755
AT ITER 1295 NEW BEST:: SOT 1426322 SOS 891407 HAS SOPS 891407 HAS SOUS 482459 HAS SOUPS 482459 WITH SCORE 483350.407
AT ITER 1309 NEW BEST:: SOT 1426159 SOS 891038 HAS SOPS 891038 HAS SOUS 481898 HAS SOUPS 481898 WITH SCORE 482789.038
AT ITER 1310 NEW BEST:: SOT 1426118 SOS 890915 HAS SOPS 890915 HAS SOUS 481816 HAS SOUPS 481816 WITH SCORE 482706.915
AT ITER 1313 NEW BEST:: SOT 1424910 SOS 890835 HAS SOPS 890835 HAS SOUS 480796 HAS SOUPS 480796 WITH SCORE 481686.835
AT ITER 1317 NEW BEST:: SOT 1424934 SOS 890852 HAS SOPS 890852 HAS SOUS 480696 HAS SOUPS 480696 WITH SCORE 481586.852
AT ITER 1318 NEW BEST:: SOT 1424770 SOS 890740 HAS SOPS 890740 HAS SOUS 480500 HAS SOUPS 480500 WITH SCORE 481390.74
AT ITER 1322 NEW BEST:: SOT 1424741 SOS 890682 HAS SOPS 890682 HAS SOUS 480442 HAS SOUPS 480442 WITH SCORE 481332.682
AT ITER 1325 NEW BEST:: SOT 1424414 SOS 890355 HAS SOPS 890355 HAS SOUS 480115 HAS SOUPS 480115 WITH SCORE 481005.355
AT ITER 1327 NEW BEST:: SOT 1424170 SOS 890223 HAS SOPS 890223 HAS SOUS 479983 HAS SOUPS 479983 WITH SCORE 480873.223
AT ITER 1341 NEW BEST:: SOT 1424267 SOS 890348 HAS SOPS 890348 HAS SOUS 479820 HAS SOUPS 479820 WITH SCORE 480710.348
AT ITER 1370 NEW BEST:: SOT 1424217 SOS 890198 HAS SOPS 890198 HAS SOUS 479710 HAS SOUPS 479710 WITH SCORE 480600.198
AT ITER 1373 NEW BEST:: SOT 1424217 SOS 890161 HAS SOPS 890161 HAS SOUS 479636 HAS SOUPS 479636 WITH SCORE 480526.161
AT ITER 1375 NEW BEST:: SOT 1424217 SOS 887911 HAS SOPS 887911 HAS SOUS 479156 HAS SOUPS 479156 WITH SCORE 480043.911
AT ITER 1407 NEW BEST:: SOT 1421699 SOS 885650 HAS SOPS 885650 HAS SOUS 476892 HAS SOUPS 476892 WITH SCORE 477777.65
AT ITER 1410 NEW BEST:: SOT 1421772 SOS 884260 HAS SOPS 884260 HAS SOUS 476829 HAS SOUPS 476829 WITH SCORE 477713.26
AT ITER 1418 NEW BEST:: SOT 1421611 SOS 885012 HAS SOPS 885012 HAS SOUS 476510 HAS SOUPS 476510 WITH SCORE 477395.012
AT ITER 1421 NEW BEST:: SOT 1421245 SOS 880350 HAS SOPS 880350 HAS SOUS 475896 HAS SOUPS 475896 WITH SCORE 476776.35
AT ITER 1424 NEW BEST:: SOT 1421027 SOS 883103 HAS SOPS 883103 HAS SOUS 475709 HAS SOUPS 475709 WITH SCORE 476592.103
AT ITER 1438 NEW BEST:: SOT 1420982 SOS 883058 HAS SOPS 883058 HAS SOUS 475664 HAS SOUPS 475664 WITH SCORE 476547.058
AT ITER 1443 NEW BEST:: SOT 1420982 SOS 883849 HAS SOPS 883849 HAS SOUS 475569 HAS SOUPS 475569 WITH SCORE 476452.849
AT ITER 1448 NEW BEST:: SOT 1420913 SOS 883602 HAS SOPS 883602 HAS SOUS 475322 HAS SOUPS 475322 WITH SCORE 476205.602
AT ITER 1453 NEW BEST:: SOT 1419226 SOS 881915 HAS SOPS 881915 HAS SOUS 473635 HAS SOUPS 473635 WITH SCORE 474516.915
AT ITER 1462 NEW BEST:: SOT 1419225 SOS 880601 HAS SOPS 880601 HAS SOUS 472608 HAS SOUPS 472608 WITH SCORE 473488.601
AT ITER 1479 NEW BEST:: SOT 1419223 SOS 880621 HAS SOPS 880621 HAS SOUS 472607 HAS SOUPS 472607 WITH SCORE 473487.621
AT ITER 1483 NEW BEST:: SOT 1418851 SOS 879071 HAS SOPS 879071 HAS SOUS 471460 HAS SOUPS 471460 WITH SCORE 472339.071
AT ITER 1485 NEW BEST:: SOT 1418851 SOS 878742 HAS SOPS 878742 HAS SOUS 471382 HAS SOUPS 471382 WITH SCORE 472260.742
AT ITER 1490 NEW BEST:: SOT 1418851 SOS 878564 HAS SOPS 878564 HAS SOUS 471382 HAS SOUPS 471382 WITH SCORE 472260.564
AT ITER 1491 NEW BEST:: SOT 1405575 SOS 865288 HAS SOPS 865288 HAS SOUS 458104 HAS SOUPS 458104 WITH SCORE 458969.288
AT ITER 1504 NEW BEST:: SOT 1405259 SOS 863970 HAS SOPS 863970 HAS SOUS 456786 HAS SOUPS 456786 WITH SCORE 457649.97
AT ITER 1506 NEW BEST:: SOT 1405138 SOS 863847 HAS SOPS 863847 HAS SOUS 456784 HAS SOUPS 456784 WITH SCORE 457647.847
AT ITER 1526 NEW BEST:: SOT 1405138 SOS 862851 HAS SOPS 862851 HAS SOUS 456784 HAS SOUPS 456784 WITH SCORE 457646.851
AT ITER 1529 NEW BEST:: SOT 1404966 SOS 862679 HAS SOPS 862679 HAS SOUS 456612 HAS SOUPS 456612 WITH SCORE 457474.679
AT ITER 1532 NEW BEST:: SOT 1404966 SOS 862595 HAS SOPS 862595 HAS SOUS 456528 HAS SOUPS 456528 WITH SCORE 457390.595
AT ITER 1543 NEW BEST:: SOT 1404966 SOS 862505 HAS SOPS 862505 HAS SOUS 455890 HAS SOUPS 455890 WITH SCORE 456752.505
AT ITER 1547 NEW BEST:: SOT 1404300 SOS 861839 HAS SOPS 861839 HAS SOUS 455164 HAS SOUPS 455164 WITH SCORE 456025.839
AT ITER 1561 NEW BEST:: SOT 1405970 SOS 864603 HAS SOPS 864603 HAS SOUS 454176 HAS SOUPS 454176 WITH SCORE 455040.603
AT ITER 1582 NEW BEST:: SOT 1406434 SOS 865414 HAS SOPS 865414 HAS SOUS 454154 HAS SOUPS 454154 WITH SCORE 455019.414
AT ITER 1585 NEW BEST:: SOT 1406342 SOS 865230 HAS SOPS 865230 HAS SOUS 453970 HAS SOUPS 453970 WITH SCORE 454835.23
AT ITER 1604 NEW BEST:: SOT 1406313 SOS 865201 HAS SOPS 865201 HAS SOUS 453955 HAS SOUPS 453955 WITH SCORE 454820.201
AT ITER 1607 NEW BEST:: SOT 1406408 SOS 864283 HAS SOPS 864283 HAS SOUS 453288 HAS SOUPS 453288 WITH SCORE 454152.283
AT ITER 1613 NEW BEST:: SOT 1406404 SOS 864279 HAS SOPS 864279 HAS SOUS 453284 HAS SOUPS 453284 WITH SCORE 454148.279
AT ITER 1617 NEW BEST:: SOT 1406404 SOS 864052 HAS SOPS 864052 HAS SOUS 453283 HAS SOUPS 453283 WITH SCORE 454147.052
AT ITER 1626 NEW BEST:: SOT 1406315 SOS 864201 HAS SOPS 864201 HAS SOUS 453137 HAS SOUPS 453137 WITH SCORE 454001.201
AT ITER 1642 NEW BEST:: SOT 1406331 SOS 864180 HAS SOPS 864180 HAS SOUS 453116 HAS SOUPS 453116 WITH SCORE 453980.18
AT ITER 1646 NEW BEST:: SOT 1406331 SOS 864182 HAS SOPS 864182 HAS SOUS 453115 HAS SOUPS 453115 WITH SCORE 453979.182
AT ITER 1649 NEW BEST:: SOT 1406289 SOS 864050 HAS SOPS 864050 HAS SOUS 453089 HAS SOUPS 453089 WITH SCORE 453953.05
AT ITER 1660 NEW BEST:: SOT 1406169 SOS 863771 HAS SOPS 863771 HAS SOUS 452968 HAS SOUPS 452968 WITH SCORE 453831.771
AT ITER 1665 NEW BEST:: SOT 1406161 SOS 863755 HAS SOPS 863755 HAS SOUS 452967 HAS SOUPS 452967 WITH SCORE 453830.755
AT ITER 1674 NEW BEST:: SOT 1406104 SOS 863641 HAS SOPS 863641 HAS SOUS 452853 HAS SOUPS 452853 WITH SCORE 453716.641
AT ITER 1675 NEW BEST:: SOT 1405692 SOS 862999 HAS SOPS 862999 HAS SOUS 452211 HAS SOUPS 452211 WITH SCORE 453073.999
AT ITER 1688 NEW BEST:: SOT 1405591 SOS 864801 HAS SOPS 864801 HAS SOUS 451996 HAS SOUPS 451996 WITH SCORE 452860.801
AT ITER 1695 NEW BEST:: SOT 1405591 SOS 864779 HAS SOPS 864779 HAS SOUS 451974 HAS SOUPS 451974 WITH SCORE 452838.779
AT ITER 1715 NEW BEST:: SOT 1405518 SOS 864706 HAS SOPS 864706 HAS SOUS 451900 HAS SOUPS 451900 WITH SCORE 452764.706
AT ITER 1723 NEW BEST:: SOT 1405512 SOS 863475 HAS SOPS 863475 HAS SOUS 451628 HAS SOUPS 451628 WITH SCORE 452491.475
AT ITER 1729 NEW BEST:: SOT 1405509 SOS 863472 HAS SOPS 863472 HAS SOUS 451624 HAS SOUPS 451624 WITH SCORE 452487.472
AT ITER 1732 NEW BEST:: SOT 1404601 SOS 862564 HAS SOPS 862564 HAS SOUS 450760 HAS SOUPS 450760 WITH SCORE 451622.564
AT ITER 1734 NEW BEST:: SOT 1404601 SOS 862564 HAS SOPS 862564 HAS SOUS 450758 HAS SOUPS 450758 WITH SCORE 451620.564
AT ITER 1740 NEW BEST:: SOT 1404601 SOS 862555 HAS SOPS 862555 HAS SOUS 450749 HAS SOUPS 450749 WITH SCORE 451611.555
AT ITER 1758 NEW BEST:: SOT 1404001 SOS 861955 HAS SOPS 861955 HAS SOUS 450149 HAS SOUPS 450149 WITH SCORE 451010.955
AT ITER 1773 NEW BEST:: SOT 1403977 SOS 861911 HAS SOPS 861911 HAS SOUS 450105 HAS SOUPS 450105 WITH SCORE 450966.911
AT ITER 1774 NEW BEST:: SOT 1403874 SOS 861776 HAS SOPS 861776 HAS SOUS 450069 HAS SOUPS 450069 WITH SCORE 450930.776
AT ITER 1775 NEW BEST:: SOT 1403716 SOS 861618 HAS SOPS 861618 HAS SOUS 449871 HAS SOUPS 449871 WITH SCORE 450732.618
AT ITER 1792 NEW BEST:: SOT 1403573 SOS 861789 HAS SOPS 861789 HAS SOUS 449801 HAS SOUPS 449801 WITH SCORE 450662.789
AT ITER 1834 NEW BEST:: SOT 1403573 SOS 860951 HAS SOPS 860951 HAS SOUS 449794 HAS SOUPS 449794 WITH SCORE 450654.951
AT ITER 1843 NEW BEST:: SOT 1403468 SOS 860882 HAS SOPS 860882 HAS SOUS 449758 HAS SOUPS 449758 WITH SCORE 450618.882
AT ITER 1849 NEW BEST:: SOT 1402330 SOS 859744 HAS SOPS 859744 HAS SOUS 448620 HAS SOUPS 448620 WITH SCORE 449479.744
AT ITER 1851 NEW BEST:: SOT 1402330 SOS 859741 HAS SOPS 859741 HAS SOUS 448617 HAS SOUPS 448617 WITH SCORE 449476.741
AT ITER 1876 NEW BEST:: SOT 1401914 SOS 859095 HAS SOPS 859095 HAS SOUS 447741 HAS SOUPS 447741 WITH SCORE 448600.095
AT ITER 1878 NEW BEST:: SOT 1397490 SOS 860082 HAS SOPS 860082 HAS SOUS 444321 HAS SOUPS 444321 WITH SCORE 445181.082
AT ITER 1888 NEW BEST:: SOT 1394993 SOS 858826 HAS SOPS 858826 HAS SOUS 442267 HAS SOUPS 442267 WITH SCORE 443125.826
AT ITER 1895 NEW BEST:: SOT 1394965 SOS 858641 HAS SOPS 858641 HAS SOUS 442219 HAS SOUPS 442219 WITH SCORE 443077.641
AT ITER 1901 NEW BEST:: SOT 1392970 SOS 856646 HAS SOPS 856646 HAS SOUS 440148 HAS SOUPS 440148 WITH SCORE 441004.646
AT ITER 1905 NEW BEST:: SOT 1392236 SOS 855488 HAS SOPS 855488 HAS SOUS 439324 HAS SOUPS 439324 WITH SCORE 440179.488
AT ITER 1908 NEW BEST:: SOT 1392235 SOS 855487 HAS SOPS 855487 HAS SOUS 439322 HAS SOUPS 439322 WITH SCORE 440177.487
AT ITER 1913 NEW BEST:: SOT 1391846 SOS 855144 HAS SOPS 855144 HAS SOUS 438979 HAS SOUPS 438979 WITH SCORE 439834.144
AT ITER 1941 NEW BEST:: SOT 1391458 SOS 855328 HAS SOPS 855328 HAS SOUS 438300 HAS SOUPS 438300 WITH SCORE 439155.328
AT ITER 1959 NEW BEST:: SOT 1381209 SOS 844720 HAS SOPS 844720 HAS SOUS 424884 HAS SOUPS 424884 WITH SCORE 425728.72
AT ITER 1969 NEW BEST:: SOT 1380397 SOS 845684 HAS SOPS 845684 HAS SOUS 424624 HAS SOUPS 424624 WITH SCORE 425469.684
AT ITER 1977 NEW BEST:: SOT 1380209 SOS 845313 HAS SOPS 845313 HAS SOUS 424374 HAS SOUPS 424374 WITH SCORE 425219.313
AT ITER 1978 NEW BEST:: SOT 1379925 SOS 845146 HAS SOPS 845146 HAS SOUS 424207 HAS SOUPS 424207 WITH SCORE 425052.146
AT ITER 1981 NEW BEST:: SOT 1379805 SOS 844212 HAS SOPS 844212 HAS SOUS 423954 HAS SOUPS 423954 WITH SCORE 424798.212
AT ITER 1985 NEW BEST:: SOT 1379394 SOS 843172 HAS SOPS 843172 HAS SOUS 423083 HAS SOUPS 423083 WITH SCORE 423926.172
AT ITER 1989 NEW BEST:: SOT 1378978 SOS 842955 HAS SOPS 842955 HAS SOUS 422616 HAS SOUPS 422616 WITH SCORE 423458.955
AT ITER 1994 NEW BEST:: SOT 1378709 SOS 842760 HAS SOPS 842760 HAS SOUS 422421 HAS SOUPS 422421 WITH SCORE 423263.76
AT ITER 1995 NEW BEST:: SOT 1378709 SOS 842384 HAS SOPS 842384 HAS SOUS 422233 HAS SOUPS 422233 WITH SCORE 423075.384
AT ITER 1998 NEW BEST:: SOT 1378472 SOS 841837 HAS SOPS 841837 HAS SOUS 421924 HAS SOUPS 421924 WITH SCORE 422765.837
AT ITER 2000 NEW BEST:: SOT 1378314 SOS 841834 HAS SOPS 841834 HAS SOUS 421921 HAS SOUPS 421921 WITH SCORE 422762.834
AT ITER 2004 NEW BEST:: SOT 1376456 SOS 839439 HAS SOPS 839439 HAS SOUS 419884 HAS SOUPS 419884 WITH SCORE 420723.439
AT ITER 2028 NEW BEST:: SOT 1375915 SOS 838480 HAS SOPS 838480 HAS SOUS 419468 HAS SOUPS 419468 WITH SCORE 420306.48
AT ITER 2055 NEW BEST:: SOT 1375834 SOS 838148 HAS SOPS 838148 HAS SOUS 419163 HAS SOUPS 419163 WITH SCORE 420001.148
AT ITER 2069 NEW BEST:: SOT 1375802 SOS 838085 HAS SOPS 838085 HAS SOUS 419103 HAS SOUPS 419103 WITH SCORE 419941.085
AT ITER 2071 NEW BEST:: SOT 1375777 SOS 838056 HAS SOPS 838056 HAS SOUS 419099 HAS SOUPS 419099 WITH SCORE 419937.056
AT ITER 2078 NEW BEST:: SOT 1375777 SOS 837678 HAS SOPS 837678 HAS SOUS 418912 HAS SOUPS 418912 WITH SCORE 419749.678
AT ITER 2088 NEW BEST:: SOT 1375840 SOS 837656 HAS SOPS 837656 HAS SOUS 418890 HAS SOUPS 418890 WITH SCORE 419727.656
AT ITER 2092 NEW BEST:: SOT 1375635 SOS 837451 HAS SOPS 837451 HAS SOUS 418683 HAS SOUPS 418683 WITH SCORE 419520.451
AT ITER 2097 NEW BEST:: SOT 1375400 SOS 837216 HAS SOPS 837216 HAS SOUS 418213 HAS SOUPS 418213 WITH SCORE 419050.216
AT ITER 2114 NEW BEST:: SOT 1375400 SOS 837216 HAS SOPS 837216 HAS SOUS 418204 HAS SOUPS 418204 WITH SCORE 419041.216
AT ITER 2118 NEW BEST:: SOT 1375287 SOS 837044 HAS SOPS 837044 HAS SOUS 418032 HAS SOUPS 418032 WITH SCORE 418869.044
AT ITER 2121 NEW BEST:: SOT 1375287 SOS 836946 HAS SOPS 836946 HAS SOUS 418017 HAS SOUPS 418017 WITH SCORE 418853.946
AT ITER 2123 NEW BEST:: SOT 1375287 SOS 836971 HAS SOPS 836971 HAS SOUS 417787 HAS SOUPS 417787 WITH SCORE 418623.971
AT ITER 2128 NEW BEST:: SOT 1375133 SOS 836817 HAS SOPS 836817 HAS SOUS 417766 HAS SOUPS 417766 WITH SCORE 418602.817
AT ITER 2142 NEW BEST:: SOT 1375072 SOS 836695 HAS SOPS 836695 HAS SOUS 417644 HAS SOUPS 417644 WITH SCORE 418480.695
AT ITER 2156 NEW BEST:: SOT 1375072 SOS 836671 HAS SOPS 836671 HAS SOUS 417644 HAS SOUPS 417644 WITH SCORE 418480.671
AT ITER 2158 NEW BEST:: SOT 1374737 SOS 836336 HAS SOPS 836336 HAS SOUS 417309 HAS SOUPS 417309 WITH SCORE 418145.336
AT ITER 2159 NEW BEST:: SOT 1374588 SOS 835949 HAS SOPS 835949 HAS SOUS 417235 HAS SOUPS 417235 WITH SCORE 418070.949
AT ITER 2166 NEW BEST:: SOT 1374585 SOS 835946 HAS SOPS 835946 HAS SOUS 417232 HAS SOUPS 417232 WITH SCORE 418067.946
AT ITER 2167 NEW BEST:: SOT 1374689 SOS 835803 HAS SOPS 835803 HAS SOUS 417208 HAS SOUPS 417208 WITH SCORE 418043.803
AT ITER 2170 NEW BEST:: SOT 1374659 SOS 834753 HAS SOPS 834753 HAS SOUS 417145 HAS SOUPS 417145 WITH SCORE 417979.753
AT ITER 2173 NEW BEST:: SOT 1374635 SOS 834729 HAS SOPS 834729 HAS SOUS 417145 HAS SOUPS 417145 WITH SCORE 417979.729
AT ITER 2184 NEW BEST:: SOT 1374532 SOS 835142 HAS SOPS 835142 HAS SOUS 416997 HAS SOUPS 416997 WITH SCORE 417832.142
AT ITER 2191 NEW BEST:: SOT 1374248 SOS 834950 HAS SOPS 834950 HAS SOUS 416637 HAS SOUPS 416637 WITH SCORE 417471.95
AT ITER 2201 NEW BEST:: SOT 1373723 SOS 835265 HAS SOPS 835265 HAS SOUS 415902 HAS SOUPS 415902 WITH SCORE 416737.265
AT ITER 2210 NEW BEST:: SOT 1373539 SOS 834743 HAS SOPS 834743 HAS SOUS 415807 HAS SOUPS 415807 WITH SCORE 416641.743
AT ITER 2219 NEW BEST:: SOT 1370085 SOS 831289 HAS SOPS 831289 HAS SOUS 412349 HAS SOUPS 412349 WITH SCORE 413180.289
AT ITER 2220 NEW BEST:: SOT 1369952 SOS 830890 HAS SOPS 830890 HAS SOUS 411950 HAS SOUPS 411950 WITH SCORE 412780.89
AT ITER 2226 NEW BEST:: SOT 1369401 SOS 830327 HAS SOPS 830327 HAS SOUS 411397 HAS SOUPS 411397 WITH SCORE 412227.327
AT ITER 2245 NEW BEST:: SOT 1369400 SOS 830326 HAS SOPS 830326 HAS SOUS 411396 HAS SOUPS 411396 WITH SCORE 412226.326
AT ITER 2252 NEW BEST:: SOT 1369400 SOS 828609 HAS SOPS 828609 HAS SOUS 411382 HAS SOUPS 411382 WITH SCORE 412210.609
AT ITER 2266 NEW BEST:: SOT 1369082 SOS 828134 HAS SOPS 828134 HAS SOUS 410907 HAS SOUPS 410907 WITH SCORE 411735.134
AT ITER 2271 NEW BEST:: SOT 1369043 SOS 828056 HAS SOPS 828056 HAS SOUS 410829 HAS SOUPS 410829 WITH SCORE 411657.056
AT ITER 2291 NEW BEST:: SOT 1369040 SOS 828053 HAS SOPS 828053 HAS SOUS 410826 HAS SOUPS 410826 WITH SCORE 411654.053
AT ITER 2302 NEW BEST:: SOT 1368999 SOS 827605 HAS SOPS 827605 HAS SOUS 410619 HAS SOUPS 410619 WITH SCORE 411446.605
AT ITER 2318 NEW BEST:: SOT 1368998 SOS 827575 HAS SOPS 827575 HAS SOUS 410617 HAS SOUPS 410617 WITH SCORE 411444.575
AT ITER 2323 NEW BEST:: SOT 1368824 SOS 827771 HAS SOPS 827771 HAS SOUS 410559 HAS SOUPS 410559 WITH SCORE 411386.771
AT ITER 2331 NEW BEST:: SOT 1368824 SOS 827763 HAS SOPS 827763 HAS SOUS 410559 HAS SOUPS 410559 WITH SCORE 411386.763
AT ITER 2333 NEW BEST:: SOT 1367339 SOS 826278 HAS SOPS 826278 HAS SOUS 409074 HAS SOUPS 409074 WITH SCORE 409900.278
AT ITER 2351 NEW BEST:: SOT 1367125 SOS 826705 HAS SOPS 826705 HAS SOUS 408845 HAS SOUPS 408845 WITH SCORE 409671.705
AT ITER 2353 NEW BEST:: SOT 1367092 SOS 826672 HAS SOPS 826672 HAS SOUS 408779 HAS SOUPS 408779 WITH SCORE 409605.672
AT ITER 2356 NEW BEST:: SOT 1367040 SOS 826567 HAS SOPS 826567 HAS SOUS 408703 HAS SOUPS 408703 WITH SCORE 409529.567
AT ITER 2358 NEW BEST:: SOT 1367036 SOS 826559 HAS SOPS 826559 HAS SOUS 408695 HAS SOUPS 408695 WITH SCORE 409521.559
AT ITER 2363 NEW BEST:: SOT 1366791 SOS 826314 HAS SOPS 826314 HAS SOUS 408450 HAS SOUPS 408450 WITH SCORE 409276.314
AT ITER 2376 NEW BEST:: SOT 1366794 SOS 826317 HAS SOPS 826317 HAS SOUS 408273 HAS SOUPS 408273 WITH SCORE 409099.317
AT ITER 2377 NEW BEST:: SOT 1366794 SOS 826309 HAS SOPS 826309 HAS SOUS 408273 HAS SOUPS 408273 WITH SCORE 409099.309
AT ITER 2385 NEW BEST:: SOT 1367150 SOS 825862 HAS SOPS 825862 HAS SOUS 407893 HAS SOUPS 407893 WITH SCORE 408718.862
AT ITER 2391 NEW BEST:: SOT 1367128 SOS 825882 HAS SOPS 825882 HAS SOUS 407849 HAS SOUPS 407849 WITH SCORE 408674.882
AT ITER 2394 NEW BEST:: SOT 1367082 SOS 825342 HAS SOPS 825342 HAS SOUS 407309 HAS SOUPS 407309 WITH SCORE 408134.342
AT ITER 2396 NEW BEST:: SOT 1367093 SOS 825353 HAS SOPS 825353 HAS SOUS 407308 HAS SOUPS 407308 WITH SCORE 408133.353
AT ITER 2408 NEW BEST:: SOT 1367090 SOS 825350 HAS SOPS 825350 HAS SOUS 407302 HAS SOUPS 407302 WITH SCORE 408127.35
AT ITER 2413 NEW BEST:: SOT 1367038 SOS 825246 HAS SOPS 825246 HAS SOUS 407206 HAS SOUPS 407206 WITH SCORE 408031.246
AT ITER 2416 NEW BEST:: SOT 1367038 SOS 825225 HAS SOPS 825225 HAS SOUS 407185 HAS SOUPS 407185 WITH SCORE 408010.225
AT ITER 2421 NEW BEST:: SOT 1367038 SOS 824553 HAS SOPS 824553 HAS SOUS 407101 HAS SOUPS 407101 WITH SCORE 407925.553
AT ITER 2426 NEW BEST:: SOT 1367089 SOS 824016 HAS SOPS 824016 HAS SOUS 406840 HAS SOUPS 406840 WITH SCORE 407664.016
AT ITER 2437 NEW BEST:: SOT 1367089 SOS 824016 HAS SOPS 824016 HAS SOUS 406655 HAS SOUPS 406655 WITH SCORE 407479.016
AT ITER 2439 NEW BEST:: SOT 1367246 SOS 823493 HAS SOPS 823493 HAS SOUS 406547 HAS SOUPS 406547 WITH SCORE 407370.493
AT ITER 2446 NEW BEST:: SOT 1367377 SOS 823181 HAS SOPS 823181 HAS SOUS 406491 HAS SOUPS 406491 WITH SCORE 407314.181
AT ITER 2450 NEW BEST:: SOT 1367375 SOS 823179 HAS SOPS 823179 HAS SOUS 406416 HAS SOUPS 406416 WITH SCORE 407239.179
AT ITER 2476 NEW BEST:: SOT 1367345 SOS 823149 HAS SOPS 823149 HAS SOUS 406386 HAS SOUPS 406386 WITH SCORE 407209.149
AT ITER 2484 NEW BEST:: SOT 1367346 SOS 822440 HAS SOPS 822440 HAS SOUS 405677 HAS SOUPS 405677 WITH SCORE 406499.44
AT ITER 2507 NEW BEST:: SOT 1366748 SOS 822448 HAS SOPS 822448 HAS SOUS 405399 HAS SOUPS 405399 WITH SCORE 406221.448
AT ITER 2509 NEW BEST:: SOT 1366748 SOS 820006 HAS SOPS 820006 HAS SOUS 405399 HAS SOUPS 405399 WITH SCORE 406219.006
AT ITER 2515 NEW BEST:: SOT 1366748 SOS 819790 HAS SOPS 819790 HAS SOUS 405262 HAS SOUPS 405262 WITH SCORE 406081.79
AT ITER 2520 NEW BEST:: SOT 1366878 SOS 819142 HAS SOPS 819142 HAS SOUS 404699 HAS SOUPS 404699 WITH SCORE 405518.142
AT ITER 2533 NEW BEST:: SOT 1366834 SOS 818911 HAS SOPS 818911 HAS SOUS 404468 HAS SOUPS 404468 WITH SCORE 405286.911
AT ITER 2547 NEW BEST:: SOT 1366711 SOS 818542 HAS SOPS 818542 HAS SOUS 404099 HAS SOUPS 404099 WITH SCORE 404917.542
AT ITER 2548 NEW BEST:: SOT 1366582 SOS 818192 HAS SOPS 818192 HAS SOUS 403749 HAS SOUPS 403749 WITH SCORE 404567.192
AT ITER 2549 NEW BEST:: SOT 1366464 SOS 817976 HAS SOPS 817976 HAS SOUS 403582 HAS SOUPS 403582 WITH SCORE 404399.976
AT ITER 2554 NEW BEST:: SOT 1366291 SOS 817945 HAS SOPS 817945 HAS SOUS 403551 HAS SOUPS 403551 WITH SCORE 404368.945
AT ITER 2596 NEW BEST:: SOT 1366238 SOS 817021 HAS SOPS 817021 HAS SOUS 402877 HAS SOUPS 402877 WITH SCORE 403694.021
AT ITER 2599 NEW BEST:: SOT 1366004 SOS 816787 HAS SOPS 816787 HAS SOUS 402643 HAS SOUPS 402643 WITH SCORE 403459.787
AT ITER 2612 NEW BEST:: SOT 1366048 SOS 815732 HAS SOPS 815732 HAS SOUS 402525 HAS SOUPS 402525 WITH SCORE 403340.732
AT ITER 2641 NEW BEST:: SOT 1365742 SOS 815426 HAS SOPS 815426 HAS SOUS 402115 HAS SOUPS 402115 WITH SCORE 402930.426
AT ITER 2647 NEW BEST:: SOT 1365968 SOS 814888 HAS SOPS 814888 HAS SOUS 401601 HAS SOUPS 401601 WITH SCORE 402415.888
AT ITER 2669 NEW BEST:: SOT 1365618 SOS 814538 HAS SOPS 814538 HAS SOUS 401251 HAS SOUPS 401251 WITH SCORE 402065.538
AT ITER 2680 NEW BEST:: SOT 1365546 SOS 814395 HAS SOPS 814395 HAS SOUS 401108 HAS SOUPS 401108 WITH SCORE 401922.395
AT ITER 2687 NEW BEST:: SOT 1365544 SOS 814393 HAS SOPS 814393 HAS SOUS 401106 HAS SOUPS 401106 WITH SCORE 401920.393
AT ITER 2688 NEW BEST:: SOT 1365324 SOS 813045 HAS SOPS 813045 HAS SOUS 400930 HAS SOUPS 400930 WITH SCORE 401743.045
AT ITER 2694 NEW BEST:: SOT 1364958 SOS 810839 HAS SOPS 810839 HAS SOUS 400196 HAS SOUPS 400196 WITH SCORE 401006.839
AT ITER 2703 NEW BEST:: SOT 1364512 SOS 810393 HAS SOPS 810393 HAS SOUS 399052 HAS SOUPS 399052 WITH SCORE 399862.393
AT ITER 2716 NEW BEST:: SOT 1364512 SOS 810046 HAS SOPS 810046 HAS SOUS 398982 HAS SOUPS 398982 WITH SCORE 399792.046
AT ITER 2717 NEW BEST:: SOT 1364637 SOS 809355 HAS SOPS 809355 HAS SOUS 398921 HAS SOUPS 398921 WITH SCORE 399730.355
AT ITER 2725 NEW BEST:: SOT 1364256 SOS 811330 HAS SOPS 811330 HAS SOUS 398762 HAS SOUPS 398762 WITH SCORE 399573.33
AT ITER 2730 NEW BEST:: SOT 1364251 SOS 811325 HAS SOPS 811325 HAS SOUS 398757 HAS SOUPS 398757 WITH SCORE 399568.325
AT ITER 2744 NEW BEST:: SOT 1364165 SOS 811067 HAS SOPS 811067 HAS SOUS 398564 HAS SOUPS 398564 WITH SCORE 399375.067
AT ITER 2747 NEW BEST:: SOT 1363722 SOS 810624 HAS SOPS 810624 HAS SOUS 398121 HAS SOUPS 398121 WITH SCORE 398931.624
AT ITER 2759 NEW BEST:: SOT 1364013 SOS 809526 HAS SOPS 809526 HAS SOUS 398084 HAS SOUPS 398084 WITH SCORE 398893.526
AT ITER 2760 NEW BEST:: SOT 1363604 SOS 807808 HAS SOPS 807808 HAS SOUS 397766 HAS SOUPS 397766 WITH SCORE 398573.808
AT ITER 2764 NEW BEST:: SOT 1363567 SOS 805289 HAS SOPS 805289 HAS SOUS 397523 HAS SOUPS 397523 WITH SCORE 398328.289
AT ITER 2798 NEW BEST:: SOT 1363186 SOS 805603 HAS SOPS 805603 HAS SOUS 397384 HAS SOUPS 397384 WITH SCORE 398189.603
AT ITER 2802 NEW BEST:: SOT 1362765 SOS 805182 HAS SOPS 805182 HAS SOUS 397179 HAS SOUPS 397179 WITH SCORE 397984.182
AT ITER 2804 NEW BEST:: SOT 1361794 SOS 804211 HAS SOPS 804211 HAS SOUS 396208 HAS SOUPS 396208 WITH SCORE 397012.211
AT ITER 2838 NEW BEST:: SOT 1361792 SOS 804209 HAS SOPS 804209 HAS SOUS 396206 HAS SOUPS 396206 WITH SCORE 397010.209
AT ITER 2846 NEW BEST:: SOT 1361789 SOS 804206 HAS SOPS 804206 HAS SOUS 396200 HAS SOUPS 396200 WITH SCORE 397004.206
AT ITER 2849 NEW BEST:: SOT 1361789 SOS 804032 HAS SOPS 804032 HAS SOUS 396026 HAS SOUPS 396026 WITH SCORE 396830.032
AT ITER 2858 NEW BEST:: SOT 1361281 SOS 803341 HAS SOPS 803341 HAS SOUS 395752 HAS SOUPS 395752 WITH SCORE 396555.341
AT ITER 2865 NEW BEST:: SOT 1361248 SOS 803044 HAS SOPS 803044 HAS SOUS 395719 HAS SOUPS 395719 WITH SCORE 396522.044
AT ITER 2875 NEW BEST:: SOT 1359238 SOS 801667 HAS SOPS 801667 HAS SOUS 394103 HAS SOUPS 394103 WITH SCORE 394904.667
AT ITER 2877 NEW BEST:: SOT 1359238 SOS 801667 HAS SOPS 801667 HAS SOUS 393825 HAS SOUPS 393825 WITH SCORE 394626.667
AT ITER 2891 NEW BEST:: SOT 1359097 SOS 802163 HAS SOPS 802163 HAS SOUS 393632 HAS SOUPS 393632 WITH SCORE 394434.163
AT ITER 2892 NEW BEST:: SOT 1359097 SOS 802979 HAS SOPS 802979 HAS SOUS 393559 HAS SOUPS 393559 WITH SCORE 394361.979
AT ITER 2896 NEW BEST:: SOT 1359096 SOS 802738 HAS SOPS 802738 HAS SOUS 393557 HAS SOUPS 393557 WITH SCORE 394359.738
AT ITER 2906 NEW BEST:: SOT 1358824 SOS 801774 HAS SOPS 801774 HAS SOUS 392862 HAS SOUPS 392862 WITH SCORE 393663.774
AT ITER 2914 NEW BEST:: SOT 1358444 SOS 801644 HAS SOPS 801644 HAS SOUS 392732 HAS SOUPS 392732 WITH SCORE 393533.644
AT ITER 2916 NEW BEST:: SOT 1358443 SOS 801643 HAS SOPS 801643 HAS SOUS 392713 HAS SOUPS 392713 WITH SCORE 393514.643
AT ITER 2918 NEW BEST:: SOT 1358442 SOS 801615 HAS SOPS 801615 HAS SOUS 392711 HAS SOUPS 392711 WITH SCORE 393512.615
AT ITER 2940 NEW BEST:: SOT 1358357 SOS 801530 HAS SOPS 801530 HAS SOUS 392626 HAS SOUPS 392626 WITH SCORE 393427.53
AT ITER 2955 NEW BEST:: SOT 1358356 SOS 801529 HAS SOPS 801529 HAS SOUS 392569 HAS SOUPS 392569 WITH SCORE 393370.529
AT ITER 2965 NEW BEST:: SOT 1358370 SOS 801384 HAS SOPS 801384 HAS SOUS 392566 HAS SOUPS 392566 WITH SCORE 393367.384
AT ITER 2970 NEW BEST:: SOT 1358319 SOS 801231 HAS SOPS 801231 HAS SOUS 392464 HAS SOUPS 392464 WITH SCORE 393265.231
AT ITER 2992 NEW BEST:: SOT 1357965 SOS 800325 HAS SOPS 800325 HAS SOUS 391943 HAS SOUPS 391943 WITH SCORE 392743.325
AT ITER 3002 NEW BEST:: SOT 1357965 SOS 800249 HAS SOPS 800249 HAS SOUS 391791 HAS SOUPS 391791 WITH SCORE 392591.249
AT ITER 3027 NEW BEST:: SOT 1357853 SOS 800018 HAS SOPS 800018 HAS SOUS 391567 HAS SOUPS 391567 WITH SCORE 392367.018
AT ITER 3047 NEW BEST:: SOT 1357853 SOS 793138 HAS SOPS 793138 HAS SOUS 391297 HAS SOUPS 391297 WITH SCORE 392090.138
AT ITER 3083 NEW BEST:: SOT 1357236 SOS 791906 HAS SOPS 791906 HAS SOUS 390155 HAS SOUPS 390155 WITH SCORE 390946.906
AT ITER 3092 NEW BEST:: SOT 1357333 SOS 791887 HAS SOPS 791887 HAS SOUS 390136 HAS SOUPS 390136 WITH SCORE 390927.887
AT ITER 3131 NEW BEST:: SOT 1357529 SOS 792678 HAS SOPS 792678 HAS SOUS 390132 HAS SOUPS 390132 WITH SCORE 390924.678
AT ITER 3144 NEW BEST:: SOT 1357485 SOS 792634 HAS SOPS 792634 HAS SOUS 389807 HAS SOUPS 389807 WITH SCORE 390599.634
AT ITER 3150 NEW BEST:: SOT 1357435 SOS 792582 HAS SOPS 792582 HAS SOUS 389755 HAS SOUPS 389755 WITH SCORE 390547.582
AT ITER 3163 NEW BEST:: SOT 1357286 SOS 792879 HAS SOPS 792879 HAS SOUS 389734 HAS SOUPS 389734 WITH SCORE 390526.879
AT ITER 3164 NEW BEST:: SOT 1356758 SOS 792351 HAS SOPS 792351 HAS SOUS 388745 HAS SOUPS 388745 WITH SCORE 389537.351
AT ITER 3165 NEW BEST:: SOT 1356753 SOS 792346 HAS SOPS 792346 HAS SOUS 388740 HAS SOUPS 388740 WITH SCORE 389532.346
AT ITER 3166 NEW BEST:: SOT 1356691 SOS 792082 HAS SOPS 792082 HAS SOUS 388476 HAS SOUPS 388476 WITH SCORE 389268.082
AT ITER 3169 NEW BEST:: SOT 1356694 SOS 791953 HAS SOPS 791953 HAS SOUS 388347 HAS SOUPS 388347 WITH SCORE 389138.953
AT ITER 3175 NEW BEST:: SOT 1356694 SOS 792240 HAS SOPS 792240 HAS SOUS 388285 HAS SOUPS 388285 WITH SCORE 389077.24
AT ITER 3180 NEW BEST:: SOT 1356653 SOS 792159 HAS SOPS 792159 HAS SOUS 388164 HAS SOUPS 388164 WITH SCORE 388956.159
AT ITER 3188 NEW BEST:: SOT 1356779 SOS 792182 HAS SOPS 792182 HAS SOUS 388036 HAS SOUPS 388036 WITH SCORE 388828.182
AT ITER 3192 NEW BEST:: SOT 1356715 SOS 792054 HAS SOPS 792054 HAS SOUS 387908 HAS SOUPS 387908 WITH SCORE 388700.054
AT ITER 3205 NEW BEST:: SOT 1356744 SOS 791909 HAS SOPS 791909 HAS SOUS 387575 HAS SOUPS 387575 WITH SCORE 388366.909
AT ITER 3214 NEW BEST:: SOT 1356067 SOS 791103 HAS SOPS 791103 HAS SOUS 386769 HAS SOUPS 386769 WITH SCORE 387560.103
AT ITER 3223 NEW BEST:: SOT 1355885 SOS 790955 HAS SOPS 790955 HAS SOUS 386628 HAS SOUPS 386628 WITH SCORE 387418.955
AT ITER 3228 NEW BEST:: SOT 1355885 SOS 790947 HAS SOPS 790947 HAS SOUS 386620 HAS SOUPS 386620 WITH SCORE 387410.947
AT ITER 3232 NEW BEST:: SOT 1355827 SOS 790731 HAS SOPS 790731 HAS SOUS 386493 HAS SOUPS 386493 WITH SCORE 387283.731
AT ITER 3240 NEW BEST:: SOT 1355516 SOS 790598 HAS SOPS 790598 HAS SOUS 386301 HAS SOUPS 386301 WITH SCORE 387091.598
AT ITER 3260 NEW BEST:: SOT 1355576 SOS 790637 HAS SOPS 790637 HAS SOUS 386219 HAS SOUPS 386219 WITH SCORE 387009.637
AT ITER 3271 NEW BEST:: SOT 1355507 SOS 790564 HAS SOPS 790564 HAS SOUS 386090 HAS SOUPS 386090 WITH SCORE 386880.564
AT ITER 3279 NEW BEST:: SOT 1355158 SOS 789697 HAS SOPS 789697 HAS SOUS 385714 HAS SOUPS 385714 WITH SCORE 386503.697
AT ITER 3285 NEW BEST:: SOT 1355137 SOS 789655 HAS SOPS 789655 HAS SOUS 385672 HAS SOUPS 385672 WITH SCORE 386461.655
AT ITER 3297 NEW BEST:: SOT 1354632 SOS 789046 HAS SOPS 789046 HAS SOUS 384305 HAS SOUPS 384305 WITH SCORE 385094.046
AT ITER 3308 NEW BEST:: SOT 1354656 SOS 788809 HAS SOPS 788809 HAS SOUS 384221 HAS SOUPS 384221 WITH SCORE 385009.809
AT ITER 3329 NEW BEST:: SOT 1354423 SOS 788351 HAS SOPS 788351 HAS SOUS 383755 HAS SOUPS 383755 WITH SCORE 384543.351
AT ITER 3331 NEW BEST:: SOT 1354283 SOS 788082 HAS SOPS 788082 HAS SOUS 383329 HAS SOUPS 383329 WITH SCORE 384117.082
AT ITER 3334 NEW BEST:: SOT 1355168 SOS 788812 HAS SOPS 788812 HAS SOUS 383174 HAS SOUPS 383174 WITH SCORE 383962.812
AT ITER 3343 NEW BEST:: SOT 1355020 SOS 788790 HAS SOPS 788790 HAS SOUS 382710 HAS SOUPS 382710 WITH SCORE 383498.79
AT ITER 3353 NEW BEST:: SOT 1354197 SOS 788838 HAS SOPS 788838 HAS SOUS 382010 HAS SOUPS 382010 WITH SCORE 382798.838
AT ITER 3358 NEW BEST:: SOT 1354197 SOS 788465 HAS SOPS 788465 HAS SOUS 381977 HAS SOUPS 381977 WITH SCORE 382765.465
AT ITER 3368 NEW BEST:: SOT 1354196 SOS 788471 HAS SOPS 788471 HAS SOUS 381976 HAS SOUPS 381976 WITH SCORE 382764.471
AT ITER 3370 NEW BEST:: SOT 1353970 SOS 788373 HAS SOPS 788373 HAS SOUS 381878 HAS SOUPS 381878 WITH SCORE 382666.373
AT ITER 3373 NEW BEST:: SOT 1353970 SOS 788085 HAS SOPS 788085 HAS SOUS 381590 HAS SOUPS 381590 WITH SCORE 382378.085
AT ITER 3378 NEW BEST:: SOT 1353970 SOS 787642 HAS SOPS 787642 HAS SOUS 381409 HAS SOUPS 381409 WITH SCORE 382196.642
AT ITER 3384 NEW BEST:: SOT 1353916 SOS 787588 HAS SOPS 787588 HAS SOUS 381189 HAS SOUPS 381189 WITH SCORE 381976.588
AT ITER 3406 NEW BEST:: SOT 1353405 SOS 787077 HAS SOPS 787077 HAS SOUS 380678 HAS SOUPS 380678 WITH SCORE 381465.077
AT ITER 3407 NEW BEST:: SOT 1353197 SOS 786469 HAS SOPS 786469 HAS SOUS 380070 HAS SOUPS 380070 WITH SCORE 380856.469
AT ITER 3417 NEW BEST:: SOT 1353066 SOS 786338 HAS SOPS 786338 HAS SOUS 379671 HAS SOUPS 379671 WITH SCORE 380457.338
AT ITER 3419 NEW BEST:: SOT 1353059 SOS 786331 HAS SOPS 786331 HAS SOUS 379657 HAS SOUPS 379657 WITH SCORE 380443.331
AT ITER 3430 NEW BEST:: SOT 1353027 SOS 786299 HAS SOPS 786299 HAS SOUS 379624 HAS SOUPS 379624 WITH SCORE 380410.299
AT ITER 3440 NEW BEST:: SOT 1352874 SOS 786146 HAS SOPS 786146 HAS SOUS 379381 HAS SOUPS 379381 WITH SCORE 380167.146
AT ITER 3483 NEW BEST:: SOT 1352874 SOS 786108 HAS SOPS 786108 HAS SOUS 379343 HAS SOUPS 379343 WITH SCORE 380129.108
AT ITER 3485 NEW BEST:: SOT 1352826 SOS 785907 HAS SOPS 785907 HAS SOUS 379213 HAS SOUPS 379213 WITH SCORE 379998.907
AT ITER 3494 NEW BEST:: SOT 1352705 SOS 785665 HAS SOPS 785665 HAS SOUS 379092 HAS SOUPS 379092 WITH SCORE 379877.665
AT ITER 3511 NEW BEST:: SOT 1352342 SOS 784941 HAS SOPS 784941 HAS SOUS 378369 HAS SOUPS 378369 WITH SCORE 379153.941
AT ITER 3514 NEW BEST:: SOT 1352382 SOS 785013 HAS SOPS 785013 HAS SOUS 378077 HAS SOUPS 378077 WITH SCORE 378862.013
AT ITER 3515 NEW BEST:: SOT 1352615 SOS 781898 HAS SOPS 781898 HAS SOUS 377673 HAS SOUPS 377673 WITH SCORE 378454.898
AT ITER 3518 NEW BEST:: SOT 1352609 SOS 781892 HAS SOPS 781892 HAS SOUS 377667 HAS SOUPS 377667 WITH SCORE 378448.892
AT ITER 3519 NEW BEST:: SOT 1352609 SOS 776643 HAS SOPS 776643 HAS SOUS 377386 HAS SOUPS 377386 WITH SCORE 378162.643
AT ITER 3525 NEW BEST:: SOT 1352550 SOS 776584 HAS SOPS 776584 HAS SOUS 377327 HAS SOUPS 377327 WITH SCORE 378103.584
AT ITER 3570 NEW BEST:: SOT 1352550 SOS 776489 HAS SOPS 776489 HAS SOUS 377327 HAS SOUPS 377327 WITH SCORE 378103.489
AT ITER 3574 NEW BEST:: SOT 1352282 SOS 776125 HAS SOPS 776125 HAS SOUS 376995 HAS SOUPS 376995 WITH SCORE 377771.125
AT ITER 3579 NEW BEST:: SOT 1351844 SOS 775230 HAS SOPS 775230 HAS SOUS 376547 HAS SOUPS 376547 WITH SCORE 377322.23
AT ITER 3593 NEW BEST:: SOT 1351844 SOS 775173 HAS SOPS 775173 HAS SOUS 376532 HAS SOUPS 376532 WITH SCORE 377307.173
AT ITER 3596 NEW BEST:: SOT 1351844 SOS 774856 HAS SOPS 774856 HAS SOUS 376513 HAS SOUPS 376513 WITH SCORE 377287.856
AT ITER 3597 NEW BEST:: SOT 1351843 SOS 774855 HAS SOPS 774855 HAS SOUS 376512 HAS SOUPS 376512 WITH SCORE 377286.855
AT ITER 3598 NEW BEST:: SOT 1351843 SOS 772497 HAS SOPS 772497 HAS SOUS 375615 HAS SOUPS 375615 WITH SCORE 376387.497
AT ITER 3611 NEW BEST:: SOT 1351616 SOS 771774 HAS SOPS 771774 HAS SOUS 374803 HAS SOUPS 374803 WITH SCORE 375574.774
AT ITER 3627 NEW BEST:: SOT 1351469 SOS 771442 HAS SOPS 771442 HAS SOUS 374500 HAS SOUPS 374500 WITH SCORE 375271.442
AT ITER 3644 NEW BEST:: SOT 1351468 SOS 771441 HAS SOPS 771441 HAS SOUS 374461 HAS SOUPS 374461 WITH SCORE 375232.441
AT ITER 3652 NEW BEST:: SOT 1351780 SOS 771512 HAS SOPS 771512 HAS SOUS 374448 HAS SOUPS 374448 WITH SCORE 375219.512
AT ITER 3693 NEW BEST:: SOT 1351530 SOS 771028 HAS SOPS 771028 HAS SOUS 374138 HAS SOUPS 374138 WITH SCORE 374909.028
AT ITER 3723 NEW BEST:: SOT 1351636 SOS 770992 HAS SOPS 770992 HAS SOUS 374102 HAS SOUPS 374102 WITH SCORE 374872.992
AT ITER 3728 NEW BEST:: SOT 1351658 SOS 770910 HAS SOPS 770910 HAS SOUS 374020 HAS SOUPS 374020 WITH SCORE 374790.91
AT ITER 3740 NEW BEST:: SOT 1351644 SOS 770164 HAS SOPS 770164 HAS SOUS 373636 HAS SOUPS 373636 WITH SCORE 374406.164
AT ITER 3760 NEW BEST:: SOT 1351559 SOS 770135 HAS SOPS 770135 HAS SOUS 373635 HAS SOUPS 373635 WITH SCORE 374405.135
AT ITER 3766 NEW BEST:: SOT 1351535 SOS 770111 HAS SOPS 770111 HAS SOUS 373634 HAS SOUPS 373634 WITH SCORE 374404.111
AT ITER 3769 NEW BEST:: SOT 1351527 SOS 770103 HAS SOPS 770103 HAS SOUS 373626 HAS SOUPS 373626 WITH SCORE 374396.103
AT ITER 3772 NEW BEST:: SOT 1351381 SOS 766362 HAS SOPS 766362 HAS SOUS 373128 HAS SOUPS 373128 WITH SCORE 373894.362
AT ITER 3795 NEW BEST:: SOT 1351668 SOS 766326 HAS SOPS 766326 HAS SOUS 373115 HAS SOUPS 373115 WITH SCORE 373881.326
AT ITER 3799 NEW BEST:: SOT 1351585 SOS 766243 HAS SOPS 766243 HAS SOUS 372949 HAS SOUPS 372949 WITH SCORE 373715.243
AT ITER 3816 NEW BEST:: SOT 1351601 SOS 766237 HAS SOPS 766237 HAS SOUS 372943 HAS SOUPS 372943 WITH SCORE 373709.237
AT ITER 3847 NEW BEST:: SOT 1351427 SOS 766063 HAS SOPS 766063 HAS SOUS 372759 HAS SOUPS 372759 WITH SCORE 373525.063
AT ITER 3856 NEW BEST:: SOT 1350218 SOS 764781 HAS SOPS 764781 HAS SOUS 371957 HAS SOUPS 371957 WITH SCORE 372721.781
AT ITER 3865 NEW BEST:: SOT 1350217 SOS 764770 HAS SOPS 764770 HAS SOUS 371955 HAS SOUPS 371955 WITH SCORE 372719.77
AT ITER 3878 NEW BEST:: SOT 1350026 SOS 764451 HAS SOPS 764451 HAS SOUS 371636 HAS SOUPS 371636 WITH SCORE 372400.451
AT ITER 3886 NEW BEST:: SOT 1350027 SOS 764429 HAS SOPS 764429 HAS SOUS 371614 HAS SOUPS 371614 WITH SCORE 372378.429
AT ITER 3917 NEW BEST:: SOT 1349958 SOS 764219 HAS SOPS 764219 HAS SOUS 371380 HAS SOUPS 371380 WITH SCORE 372144.219
AT ITER 3924 NEW BEST:: SOT 1350073 SOS 763788 HAS SOPS 763788 HAS SOUS 370697 HAS SOUPS 370697 WITH SCORE 371460.788
AT ITER 3927 NEW BEST:: SOT 1350075 SOS 763767 HAS SOPS 763767 HAS SOUS 370676 HAS SOUPS 370676 WITH SCORE 371439.767
AT ITER 3931 NEW BEST:: SOT 1350075 SOS 763731 HAS SOPS 763731 HAS SOUS 370640 HAS SOUPS 370640 WITH SCORE 371403.731
AT ITER 3947 NEW BEST:: SOT 1350020 SOS 763676 HAS SOPS 763676 HAS SOUS 370585 HAS SOUPS 370585 WITH SCORE 371348.676
AT ITER 3958 NEW BEST:: SOT 1350189 SOS 763830 HAS SOPS 763830 HAS SOUS 370535 HAS SOUPS 370535 WITH SCORE 371298.83
AT ITER 3963 NEW BEST:: SOT 1350143 SOS 763738 HAS SOPS 763738 HAS SOUS 370443 HAS SOUPS 370443 WITH SCORE 371206.738
AT ITER 3972 NEW BEST:: SOT 1349980 SOS 763363 HAS SOPS 763363 HAS SOUS 370068 HAS SOUPS 370068 WITH SCORE 370831.363
AT ITER 3987 NEW BEST:: SOT 1349864 SOS 763127 HAS SOPS 763127 HAS SOUS 369832 HAS SOUPS 369832 WITH SCORE 370595.127
AT ITER 3989 NEW BEST:: SOT 1349825 SOS 763088 HAS SOPS 763088 HAS SOUS 369787 HAS SOUPS 369787 WITH SCORE 370550.088
AT ITER 3999 NEW BEST:: SOT 1349825 SOS 763037 HAS SOPS 763037 HAS SOUS 369734 HAS SOUPS 369734 WITH SCORE 370497.037
AT ITER 4008 NEW BEST:: SOT 1349700 SOS 762623 HAS SOPS 762623 HAS SOUS 369691 HAS SOUPS 369691 WITH SCORE 370453.623
AT ITER 4011 NEW BEST:: SOT 1349491 SOS 762698 HAS SOPS 762698 HAS SOUS 369463 HAS SOUPS 369463 WITH SCORE 370225.698
AT ITER 4016 NEW BEST:: SOT 1349391 SOS 761856 HAS SOPS 761856 HAS SOUS 368880 HAS SOUPS 368880 WITH SCORE 369641.856
AT ITER 4020 NEW BEST:: SOT 1348782 SOS 761247 HAS SOPS 761247 HAS SOUS 368270 HAS SOUPS 368270 WITH SCORE 369031.247
AT ITER 4023 NEW BEST:: SOT 1348782 SOS 761237 HAS SOPS 761237 HAS SOUS 368270 HAS SOUPS 368270 WITH SCORE 369031.237
AT ITER 4033 NEW BEST:: SOT 1348778 SOS 761233 HAS SOPS 761233 HAS SOUS 368266 HAS SOUPS 368266 WITH SCORE 369027.233
AT ITER 4071 NEW BEST:: SOT 1348996 SOS 761227 HAS SOPS 761227 HAS SOUS 368164 HAS SOUPS 368164 WITH SCORE 368925.227
AT ITER 4074 NEW BEST:: SOT 1347668 SOS 759899 HAS SOPS 759899 HAS SOUS 366836 HAS SOUPS 366836 WITH SCORE 367595.899
AT ITER 4085 NEW BEST:: SOT 1347666 SOS 760026 HAS SOPS 760026 HAS SOUS 366785 HAS SOUPS 366785 WITH SCORE 367545.026
AT ITER 4088 NEW BEST:: SOT 1347658 SOS 760002 HAS SOPS 760002 HAS SOUS 366769 HAS SOUPS 366769 WITH SCORE 367529.002
AT ITER 4089 NEW BEST:: SOT 1347658 SOS 759835 HAS SOPS 759835 HAS SOUS 366557 HAS SOUPS 366557 WITH SCORE 367316.835
AT ITER 4102 NEW BEST:: SOT 1347543 SOS 759631 HAS SOPS 759631 HAS SOUS 366353 HAS SOUPS 366353 WITH SCORE 367112.631
AT ITER 4104 NEW BEST:: SOT 1347472 SOS 759252 HAS SOPS 759252 HAS SOUS 366209 HAS SOUPS 366209 WITH SCORE 366968.252
AT ITER 4138 NEW BEST:: SOT 1347077 SOS 757834 HAS SOPS 757834 HAS SOUS 364948 HAS SOUPS 364948 WITH SCORE 365705.834
AT ITER 4143 NEW BEST:: SOT 1347077 SOS 757580 HAS SOPS 757580 HAS SOUS 364694 HAS SOUPS 364694 WITH SCORE 365451.58
AT ITER 4144 NEW BEST:: SOT 1347116 SOS 757901 HAS SOPS 757901 HAS SOUS 364548 HAS SOUPS 364548 WITH SCORE 365305.901
AT ITER 4149 NEW BEST:: SOT 1347116 SOS 756619 HAS SOPS 756619 HAS SOUS 364548 HAS SOUPS 364548 WITH SCORE 365304.619
AT ITER 4164 NEW BEST:: SOT 1347095 SOS 756598 HAS SOPS 756598 HAS SOUS 364514 HAS SOUPS 364514 WITH SCORE 365270.598
AT ITER 4167 NEW BEST:: SOT 1346866 SOS 756369 HAS SOPS 756369 HAS SOUS 364285 HAS SOUPS 364285 WITH SCORE 365041.369
AT ITER 4176 NEW BEST:: SOT 1346147 SOS 755390 HAS SOPS 755390 HAS SOUS 363306 HAS SOUPS 363306 WITH SCORE 364061.39
AT ITER 4179 NEW BEST:: SOT 1346323 SOS 755566 HAS SOPS 755566 HAS SOUS 363270 HAS SOUPS 363270 WITH SCORE 364025.566
AT ITER 4180 NEW BEST:: SOT 1346310 SOS 755527 HAS SOPS 755527 HAS SOUS 363231 HAS SOUPS 363231 WITH SCORE 363986.527
AT ITER 4195 NEW BEST:: SOT 1346266 SOS 755386 HAS SOPS 755386 HAS SOUS 363187 HAS SOUPS 363187 WITH SCORE 363942.386
AT ITER 4210 NEW BEST:: SOT 1346266 SOS 754916 HAS SOPS 754916 HAS SOUS 362918 HAS SOUPS 362918 WITH SCORE 363672.916
AT ITER 4213 NEW BEST:: SOT 1346266 SOS 752970 HAS SOPS 752970 HAS SOUS 362122 HAS SOUPS 362122 WITH SCORE 362874.97
AT ITER 4215 NEW BEST:: SOT 1346266 SOS 752980 HAS SOPS 752980 HAS SOUS 361950 HAS SOUPS 361950 WITH SCORE 362702.98
AT ITER 4217 NEW BEST:: SOT 1345490 SOS 751449 HAS SOPS 751449 HAS SOUS 361486 HAS SOUPS 361486 WITH SCORE 362237.449
AT ITER 4225 NEW BEST:: SOT 1346079 SOS 751958 HAS SOPS 751958 HAS SOUS 361326 HAS SOUPS 361326 WITH SCORE 362077.958
AT ITER 4226 NEW BEST:: SOT 1345972 SOS 751690 HAS SOPS 751690 HAS SOUS 361228 HAS SOUPS 361228 WITH SCORE 361979.69
AT ITER 4232 NEW BEST:: SOT 1340081 SOS 748857 HAS SOPS 748857 HAS SOUS 355049 HAS SOUPS 355049 WITH SCORE 355797.857
AT ITER 4233 NEW BEST:: SOT 1340039 SOS 748773 HAS SOPS 748773 HAS SOUS 354965 HAS SOUPS 354965 WITH SCORE 355713.773
AT ITER 4242 NEW BEST:: SOT 1340411 SOS 748658 HAS SOPS 748658 HAS SOUS 354850 HAS SOUPS 354850 WITH SCORE 355598.658
AT ITER 4254 NEW BEST:: SOT 1340276 SOS 748500 HAS SOPS 748500 HAS SOUS 354541 HAS SOUPS 354541 WITH SCORE 355289.5
AT ITER 4268 NEW BEST:: SOT 1340228 SOS 748452 HAS SOPS 748452 HAS SOUS 354493 HAS SOUPS 354493 WITH SCORE 355241.452
AT ITER 4278 NEW BEST:: SOT 1340190 SOS 748558 HAS SOPS 748558 HAS SOUS 354470 HAS SOUPS 354470 WITH SCORE 355218.558
AT ITER 4290 NEW BEST:: SOT 1340111 SOS 748508 HAS SOPS 748508 HAS SOUS 354420 HAS SOUPS 354420 WITH SCORE 355168.508
AT ITER 4296 NEW BEST:: SOT 1340147 SOS 748580 HAS SOPS 748580 HAS SOUS 354347 HAS SOUPS 354347 WITH SCORE 355095.58
AT ITER 4304 NEW BEST:: SOT 1340823 SOS 748989 HAS SOPS 748989 HAS SOUS 354251 HAS SOUPS 354251 WITH SCORE 354999.989
AT ITER 4306 NEW BEST:: SOT 1340788 SOS 748954 HAS SOPS 748954 HAS SOUS 354216 HAS SOUPS 354216 WITH SCORE 354964.954
AT ITER 4312 NEW BEST:: SOT 1339281 SOS 750505 HAS SOPS 750505 HAS SOUS 353888 HAS SOUPS 353888 WITH SCORE 354638.505
AT ITER 4376 NEW BEST:: SOT 1339281 SOS 748792 HAS SOPS 748792 HAS SOUS 353382 HAS SOUPS 353382 WITH SCORE 354130.792
AT ITER 4386 NEW BEST:: SOT 1338615 SOS 748126 HAS SOPS 748126 HAS SOUS 352716 HAS SOUPS 352716 WITH SCORE 353464.126
AT ITER 4387 NEW BEST:: SOT 1338522 SOS 747940 HAS SOPS 747940 HAS SOUS 352599 HAS SOUPS 352599 WITH SCORE 353346.94
AT ITER 4388 NEW BEST:: SOT 1338513 SOS 747865 HAS SOPS 747865 HAS SOUS 352581 HAS SOUPS 352581 WITH SCORE 353328.865
AT ITER 4399 NEW BEST:: SOT 1338409 SOS 747709 HAS SOPS 747709 HAS SOUS 352325 HAS SOUPS 352325 WITH SCORE 353072.709
AT ITER 4413 NEW BEST:: SOT 1338406 SOS 747528 HAS SOPS 747528 HAS SOUS 352233 HAS SOUPS 352233 WITH SCORE 352980.528
AT ITER 4424 NEW BEST:: SOT 1338353 SOS 747724 HAS SOPS 747724 HAS SOUS 352062 HAS SOUPS 352062 WITH SCORE 352809.724
AT ITER 4443 NEW BEST:: SOT 1338350 SOS 747721 HAS SOPS 747721 HAS SOUS 352059 HAS SOUPS 352059 WITH SCORE 352806.721
AT ITER 4455 NEW BEST:: SOT 1338346 SOS 747715 HAS SOPS 747715 HAS SOUS 352053 HAS SOUPS 352053 WITH SCORE 352800.715
AT ITER 4460 NEW BEST:: SOT 1338346 SOS 747753 HAS SOPS 747753 HAS SOUS 351977 HAS SOUPS 351977 WITH SCORE 352724.753
AT ITER 4466 NEW BEST:: SOT 1338333 SOS 747441 HAS SOPS 747441 HAS SOUS 351951 HAS SOUPS 351951 WITH SCORE 352698.441
AT ITER 4476 NEW BEST:: SOT 1338333 SOS 747365 HAS SOPS 747365 HAS SOUS 351918 HAS SOUPS 351918 WITH SCORE 352665.365
AT ITER 4500 NEW BEST:: SOT 1338333 SOS 747355 HAS SOPS 747355 HAS SOUS 351916 HAS SOUPS 351916 WITH SCORE 352663.355
AT ITER 4504 NEW BEST:: SOT 1338288 SOS 747310 HAS SOPS 747310 HAS SOUS 351871 HAS SOUPS 351871 WITH SCORE 352618.31
AT ITER 4506 NEW BEST:: SOT 1338335 SOS 747357 HAS SOPS 747357 HAS SOUS 351869 HAS SOUPS 351869 WITH SCORE 352616.357
AT ITER 4518 NEW BEST:: SOT 1338348 SOS 745859 HAS SOPS 745859 HAS SOUS 351412 HAS SOUPS 351412 WITH SCORE 352157.859
AT ITER 4527 NEW BEST:: SOT 1338344 SOS 745851 HAS SOPS 745851 HAS SOUS 351404 HAS SOUPS 351404 WITH SCORE 352149.851
AT ITER 4579 NEW BEST:: SOT 1338084 SOS 744994 HAS SOPS 744994 HAS SOUS 350884 HAS SOUPS 350884 WITH SCORE 351628.994
AT ITER 4585 NEW BEST:: SOT 1337987 SOS 744897 HAS SOPS 744897 HAS SOUS 350787 HAS SOUPS 350787 WITH SCORE 351531.897
AT ITER 4595 NEW BEST:: SOT 1337937 SOS 744294 HAS SOPS 744294 HAS SOUS 350184 HAS SOUPS 350184 WITH SCORE 350928.294
AT ITER 4598 NEW BEST:: SOT 1337916 SOS 744303 HAS SOPS 744303 HAS SOUS 350178 HAS SOUPS 350178 WITH SCORE 350922.303
AT ITER 4600 NEW BEST:: SOT 1337831 SOS 744218 HAS SOPS 744218 HAS SOUS 350093 HAS SOUPS 350093 WITH SCORE 350837.218
AT ITER 4623 NEW BEST:: SOT 1337221 SOS 743475 HAS SOPS 743475 HAS SOUS 349128 HAS SOUPS 349128 WITH SCORE 349871.475
AT ITER 4630 NEW BEST:: SOT 1337076 SOS 743330 HAS SOPS 743330 HAS SOUS 348900 HAS SOUPS 348900 WITH SCORE 349643.33
AT ITER 4639 NEW BEST:: SOT 1337005 SOS 743083 HAS SOPS 743083 HAS SOUS 348751 HAS SOUPS 348751 WITH SCORE 349494.083
AT ITER 4644 NEW BEST:: SOT 1337001 SOS 743176 HAS SOPS 743176 HAS SOUS 348739 HAS SOUPS 348739 WITH SCORE 349482.176
AT ITER 4646 NEW BEST:: SOT 1336896 SOS 743071 HAS SOPS 743071 HAS SOUS 348634 HAS SOUPS 348634 WITH SCORE 349377.071
AT ITER 4648 NEW BEST:: SOT 1336952 SOS 742683 HAS SOPS 742683 HAS SOUS 348233 HAS SOUPS 348233 WITH SCORE 348975.683
AT ITER 4658 NEW BEST:: SOT 1336952 SOS 742627 HAS SOPS 742627 HAS SOUS 348177 HAS SOUPS 348177 WITH SCORE 348919.627
AT ITER 4675 NEW BEST:: SOT 1336940 SOS 742615 HAS SOPS 742615 HAS SOUS 348165 HAS SOUPS 348165 WITH SCORE 348907.615
AT ITER 4678 NEW BEST:: SOT 1336911 SOS 742628 HAS SOPS 742628 HAS SOUS 348096 HAS SOUPS 348096 WITH SCORE 348838.628
AT ITER 4684 NEW BEST:: SOT 1336911 SOS 742606 HAS SOPS 742606 HAS SOUS 347994 HAS SOUPS 347994 WITH SCORE 348736.606
AT ITER 4691 NEW BEST:: SOT 1336810 SOS 742505 HAS SOPS 742505 HAS SOUS 347872 HAS SOUPS 347872 WITH SCORE 348614.505
AT ITER 4693 NEW BEST:: SOT 1336646 SOS 742216 HAS SOPS 742216 HAS SOUS 347468 HAS SOUPS 347468 WITH SCORE 348210.216
AT ITER 4713 NEW BEST:: SOT 1336240 SOS 741404 HAS SOPS 741404 HAS SOUS 346656 HAS SOUPS 346656 WITH SCORE 347397.404
AT ITER 4751 NEW BEST:: SOT 1336092 SOS 741256 HAS SOPS 741256 HAS SOUS 346508 HAS SOUPS 346508 WITH SCORE 347249.256
AT ITER 4753 NEW BEST:: SOT 1335886 SOS 740836 HAS SOPS 740836 HAS SOUS 345979 HAS SOUPS 345979 WITH SCORE 346719.836
AT ITER 4773 NEW BEST:: SOT 1335861 SOS 740629 HAS SOPS 740629 HAS SOUS 345772 HAS SOUPS 345772 WITH SCORE 346512.629
AT ITER 4780 NEW BEST:: SOT 1335791 SOS 740559 HAS SOPS 740559 HAS SOUS 345687 HAS SOUPS 345687 WITH SCORE 346427.559
AT ITER 4795 NEW BEST:: SOT 1335734 SOS 740502 HAS SOPS 740502 HAS SOUS 345600 HAS SOUPS 345600 WITH SCORE 346340.502
AT ITER 4807 NEW BEST:: SOT 1335734 SOS 740482 HAS SOPS 740482 HAS SOUS 345594 HAS SOUPS 345594 WITH SCORE 346334.482
AT ITER 4817 NEW BEST:: SOT 1335620 SOS 740263 HAS SOPS 740263 HAS SOUS 345477 HAS SOUPS 345477 WITH SCORE 346217.263
AT ITER 4820 NEW BEST:: SOT 1335508 SOS 740117 HAS SOPS 740117 HAS SOUS 345349 HAS SOUPS 345349 WITH SCORE 346089.117
AT ITER 4821 NEW BEST:: SOT 1335508 SOS 739880 HAS SOPS 739880 HAS SOUS 345205 HAS SOUPS 345205 WITH SCORE 345944.88
AT ITER 4863 NEW BEST:: SOT 1335615 SOS 739840 HAS SOPS 739840 HAS SOUS 345185 HAS SOUPS 345185 WITH SCORE 345924.84
AT ITER 4868 NEW BEST:: SOT 1335634 SOS 739831 HAS SOPS 739831 HAS SOUS 344969 HAS SOUPS 344969 WITH SCORE 345708.831
AT ITER 4880 NEW BEST:: SOT 1335642 SOS 739839 HAS SOPS 739839 HAS SOUS 344838 HAS SOUPS 344838 WITH SCORE 345577.839
AT ITER 4929 NEW BEST:: SOT 1335952 SOS 740028 HAS SOPS 740028 HAS SOUS 344664 HAS SOUPS 344664 WITH SCORE 345404.028
AT ITER 4941 NEW BEST:: SOT 1335901 SOS 739972 HAS SOPS 739972 HAS SOUS 344608 HAS SOUPS 344608 WITH SCORE 345347.972
AT ITER 4948 NEW BEST:: SOT 1335800 SOS 739796 HAS SOPS 739796 HAS SOUS 344432 HAS SOUPS 344432 WITH SCORE 345171.796
AT ITER 4978 NEW BEST:: SOT 1335400 SOS 739616 HAS SOPS 739616 HAS SOUS 344184 HAS SOUPS 344184 WITH SCORE 344923.616
AT ITER 4984 NEW BEST:: SOT 1335302 SOS 739518 HAS SOPS 739518 HAS SOUS 344086 HAS SOUPS 344086 WITH SCORE 344825.518
AT ITER 4987 NEW BEST:: SOT 1335149 SOS 739212 HAS SOPS 739212 HAS SOUS 343780 HAS SOUPS 343780 WITH SCORE 344519.212
AT ITER 5000 NEW BEST:: SOT 1334828 SOS 738938 HAS SOPS 738938 HAS SOUS 343177 HAS SOUPS 343177 WITH SCORE 343915.938
AT ITER 5009 NEW BEST:: SOT 1334496 SOS 738564 HAS SOPS 738564 HAS SOUS 343149 HAS SOUPS 343149 WITH SCORE 343887.564
AT ITER 5015 NEW BEST:: SOT 1334617 SOS 738554 HAS SOPS 738554 HAS SOUS 343091 HAS SOUPS 343091 WITH SCORE 343829.554
AT ITER 5019 NEW BEST:: SOT 1333936 SOS 737909 HAS SOPS 737909 HAS SOUS 342336 HAS SOUPS 342336 WITH SCORE 343073.909
AT ITER 5041 NEW BEST:: SOT 1333757 SOS 737730 HAS SOPS 737730 HAS SOUS 341993 HAS SOUPS 341993 WITH SCORE 342730.73
AT ITER 5050 NEW BEST:: SOT 1333757 SOS 737730 HAS SOPS 737730 HAS SOUS 341989 HAS SOUPS 341989 WITH SCORE 342726.73
AT ITER 5082 NEW BEST:: SOT 1333757 SOS 737730 HAS SOPS 737730 HAS SOUS 341957 HAS SOUPS 341957 WITH SCORE 342694.73
AT ITER 5091 NEW BEST:: SOT 1333750 SOS 737716 HAS SOPS 737716 HAS SOUS 341943 HAS SOUPS 341943 WITH SCORE 342680.716
AT ITER 5093 NEW BEST:: SOT 1333750 SOS 737716 HAS SOPS 737716 HAS SOUS 341921 HAS SOUPS 341921 WITH SCORE 342658.716
AT ITER 5104 NEW BEST:: SOT 1333573 SOS 737539 HAS SOPS 737539 HAS SOUS 341744 HAS SOUPS 341744 WITH SCORE 342481.539
AT ITER 5137 NEW BEST:: SOT 1333322 SOS 737587 HAS SOPS 737587 HAS SOUS 341559 HAS SOUPS 341559 WITH SCORE 342296.587
AT ITER 5166 NEW BEST:: SOT 1333322 SOS 737513 HAS SOPS 737513 HAS SOUS 341485 HAS SOUPS 341485 WITH SCORE 342222.513
AT ITER 5189 NEW BEST:: SOT 1333320 SOS 737399 HAS SOPS 737399 HAS SOUS 341481 HAS SOUPS 341481 WITH SCORE 342218.399
AT ITER 5206 NEW BEST:: SOT 1333062 SOS 736685 HAS SOPS 736685 HAS SOUS 341255 HAS SOUPS 341255 WITH SCORE 341991.685
AT ITER 5214 NEW BEST:: SOT 1333030 SOS 736588 HAS SOPS 736588 HAS SOUS 341158 HAS SOUPS 341158 WITH SCORE 341894.588
AT ITER 5255 NEW BEST:: SOT 1333010 SOS 736568 HAS SOPS 736568 HAS SOUS 341138 HAS SOUPS 341138 WITH SCORE 341874.568
AT ITER 5276 NEW BEST:: SOT 1332644 SOS 735788 HAS SOPS 735788 HAS SOUS 340164 HAS SOUPS 340164 WITH SCORE 340899.788
AT ITER 5293 NEW BEST:: SOT 1329417 SOS 737025 HAS SOPS 737025 HAS SOUS 336959 HAS SOUPS 336959 WITH SCORE 337696.025
AT ITER 5327 NEW BEST:: SOT 1329460 SOS 736946 HAS SOPS 736946 HAS SOUS 336821 HAS SOUPS 336821 WITH SCORE 337557.946
AT ITER 5356 NEW BEST:: SOT 1329460 SOS 736770 HAS SOPS 736770 HAS SOUS 336645 HAS SOUPS 336645 WITH SCORE 337381.77
AT ITER 5391 NEW BEST:: SOT 1329457 SOS 736764 HAS SOPS 736764 HAS SOUS 336639 HAS SOUPS 336639 WITH SCORE 337375.764
AT ITER 5397 NEW BEST:: SOT 1329312 SOS 735963 HAS SOPS 735963 HAS SOUS 336340 HAS SOUPS 336340 WITH SCORE 337075.963
AT ITER 5410 NEW BEST:: SOT 1329050 SOS 735701 HAS SOPS 735701 HAS SOUS 336182 HAS SOUPS 336182 WITH SCORE 336917.701
AT ITER 5418 NEW BEST:: SOT 1329008 SOS 735617 HAS SOPS 735617 HAS SOUS 336098 HAS SOUPS 336098 WITH SCORE 336833.617
AT ITER 5434 NEW BEST:: SOT 1329103 SOS 737215 HAS SOPS 737215 HAS SOUS 336065 HAS SOUPS 336065 WITH SCORE 336802.215
AT ITER 5460 NEW BEST:: SOT 1329103 SOS 737342 HAS SOPS 737342 HAS SOUS 335992 HAS SOUPS 335992 WITH SCORE 336729.342
AT ITER 5468 NEW BEST:: SOT 1328848 SOS 736832 HAS SOPS 736832 HAS SOUS 335482 HAS SOUPS 335482 WITH SCORE 336218.832
AT ITER 5483 NEW BEST:: SOT 1328879 SOS 736622 HAS SOPS 736622 HAS SOUS 335062 HAS SOUPS 335062 WITH SCORE 335798.622
AT ITER 5492 NEW BEST:: SOT 1328719 SOS 736462 HAS SOPS 736462 HAS SOUS 334880 HAS SOUPS 334880 WITH SCORE 335616.462
AT ITER 5510 NEW BEST:: SOT 1328719 SOS 736342 HAS SOPS 736342 HAS SOUS 334831 HAS SOUPS 334831 WITH SCORE 335567.342
AT ITER 5515 NEW BEST:: SOT 1328663 SOS 736243 HAS SOPS 736243 HAS SOUS 334770 HAS SOUPS 334770 WITH SCORE 335506.243
AT ITER 5543 NEW BEST:: SOT 1328651 SOS 736225 HAS SOPS 736225 HAS SOUS 334752 HAS SOUPS 334752 WITH SCORE 335488.225
AT ITER 5555 NEW BEST:: SOT 1328433 SOS 735865 HAS SOPS 735865 HAS SOUS 334228 HAS SOUPS 334228 WITH SCORE 334963.865
AT ITER 5557 NEW BEST:: SOT 1328316 SOS 735768 HAS SOPS 735768 HAS SOUS 334144 HAS SOUPS 334144 WITH SCORE 334879.768
AT ITER 5560 NEW BEST:: SOT 1328113 SOS 735903 HAS SOPS 735903 HAS SOUS 333485 HAS SOUPS 333485 WITH SCORE 334220.903
AT ITER 5577 NEW BEST:: SOT 1327927 SOS 735717 HAS SOPS 735717 HAS SOUS 333299 HAS SOUPS 333299 WITH SCORE 334034.717
AT ITER 5582 NEW BEST:: SOT 1327911 SOS 735677 HAS SOPS 735677 HAS SOUS 333259 HAS SOUPS 333259 WITH SCORE 333994.677
AT ITER 5584 NEW BEST:: SOT 1327911 SOS 735480 HAS SOPS 735480 HAS SOUS 333259 HAS SOUPS 333259 WITH SCORE 333994.48
AT ITER 5607 NEW BEST:: SOT 1327914 SOS 735183 HAS SOPS 735183 HAS SOUS 333192 HAS SOUPS 333192 WITH SCORE 333927.183
AT ITER 5625 NEW BEST:: SOT 1328205 SOS 735041 HAS SOPS 735041 HAS SOUS 332485 HAS SOUPS 332485 WITH SCORE 333220.041
AT ITER 5636 NEW BEST:: SOT 1328176 SOS 734987 HAS SOPS 734987 HAS SOUS 332431 HAS SOUPS 332431 WITH SCORE 333165.987
AT ITER 5644 NEW BEST:: SOT 1328038 SOS 734849 HAS SOPS 734849 HAS SOUS 332155 HAS SOUPS 332155 WITH SCORE 332889.849
AT ITER 5649 NEW BEST:: SOT 1327827 SOS 734599 HAS SOPS 734599 HAS SOUS 331905 HAS SOUPS 331905 WITH SCORE 332639.599
AT ITER 5684 NEW BEST:: SOT 1327686 SOS 734176 HAS SOPS 734176 HAS SOUS 331623 HAS SOUPS 331623 WITH SCORE 332357.176
AT ITER 5696 NEW BEST:: SOT 1327686 SOS 734987 HAS SOPS 734987 HAS SOUS 331614 HAS SOUPS 331614 WITH SCORE 332348.987
AT ITER 5739 NEW BEST:: SOT 1327641 SOS 734924 HAS SOPS 734924 HAS SOUS 331551 HAS SOUPS 331551 WITH SCORE 332285.924
AT ITER 5746 NEW BEST:: SOT 1327603 SOS 734886 HAS SOPS 734886 HAS SOUS 331494 HAS SOUPS 331494 WITH SCORE 332228.886
AT ITER 5749 NEW BEST:: SOT 1327598 SOS 734881 HAS SOPS 734881 HAS SOUS 331489 HAS SOUPS 331489 WITH SCORE 332223.881
AT ITER 5755 NEW BEST:: SOT 1327762 SOS 733897 HAS SOPS 733897 HAS SOUS 331334 HAS SOUPS 331334 WITH SCORE 332067.897
AT ITER 5762 NEW BEST:: SOT 1327717 SOS 733763 HAS SOPS 733763 HAS SOUS 331327 HAS SOUPS 331327 WITH SCORE 332060.763
AT ITER 5771 NEW BEST:: SOT 1327704 SOS 733646 HAS SOPS 733646 HAS SOUS 331301 HAS SOUPS 331301 WITH SCORE 332034.646
AT ITER 5774 NEW BEST:: SOT 1327704 SOS 733449 HAS SOPS 733449 HAS SOUS 331104 HAS SOUPS 331104 WITH SCORE 331837.449
AT ITER 5790 NEW BEST:: SOT 1327541 SOS 733286 HAS SOPS 733286 HAS SOUS 331061 HAS SOUPS 331061 WITH SCORE 331794.286
AT ITER 5823 NEW BEST:: SOT 1327524 SOS 733234 HAS SOPS 733234 HAS SOUS 331009 HAS SOUPS 331009 WITH SCORE 331742.234
AT ITER 5838 NEW BEST:: SOT 1327524 SOS 733226 HAS SOPS 733226 HAS SOUS 331008 HAS SOUPS 331008 WITH SCORE 331741.226
AT ITER 5853 NEW BEST:: SOT 1327406 SOS 733108 HAS SOPS 733108 HAS SOUS 330890 HAS SOUPS 330890 WITH SCORE 331623.108
AT ITER 5859 NEW BEST:: SOT 1327439 SOS 733049 HAS SOPS 733049 HAS SOUS 330890 HAS SOUPS 330890 WITH SCORE 331623.049
AT ITER 5906 NEW BEST:: SOT 1327507 SOS 732784 HAS SOPS 732784 HAS SOUS 330819 HAS SOUPS 330819 WITH SCORE 331551.784
AT ITER 5910 NEW BEST:: SOT 1327506 SOS 732783 HAS SOPS 732783 HAS SOUS 330817 HAS SOUPS 330817 WITH SCORE 331549.783
AT ITER 5913 NEW BEST:: SOT 1327458 SOS 732779 HAS SOPS 732779 HAS SOUS 330813 HAS SOUPS 330813 WITH SCORE 331545.779
AT ITER 5937 NEW BEST:: SOT 1326544 SOS 732239 HAS SOPS 732239 HAS SOUS 329865 HAS SOUPS 329865 WITH SCORE 330597.239
AT ITER 5946 NEW BEST:: SOT 1326632 SOS 732572 HAS SOPS 732572 HAS SOUS 329437 HAS SOUPS 329437 WITH SCORE 330169.572
AT ITER 5949 NEW BEST:: SOT 1326453 SOS 732614 HAS SOPS 732614 HAS SOUS 329279 HAS SOUPS 329279 WITH SCORE 330011.614
AT ITER 5956 NEW BEST:: SOT 1326012 SOS 732173 HAS SOPS 732173 HAS SOUS 329188 HAS SOUPS 329188 WITH SCORE 329920.173
AT ITER 5958 NEW BEST:: SOT 1325890 SOS 732051 HAS SOPS 732051 HAS SOUS 329118 HAS SOUPS 329118 WITH SCORE 329850.051
AT ITER 5959 NEW BEST:: SOT 1325890 SOS 732023 HAS SOPS 732023 HAS SOUS 329118 HAS SOUPS 329118 WITH SCORE 329850.023
AT ITER 5962 NEW BEST:: SOT 1325687 SOS 731871 HAS SOPS 731871 HAS SOUS 328966 HAS SOUPS 328966 WITH SCORE 329697.871
AT ITER 5963 NEW BEST:: SOT 1325125 SOS 731309 HAS SOPS 731309 HAS SOUS 328404 HAS SOUPS 328404 WITH SCORE 329135.309
AT ITER 5987 NEW BEST:: SOT 1325163 SOS 731276 HAS SOPS 731276 HAS SOUS 328371 HAS SOUPS 328371 WITH SCORE 329102.276
AT ITER 5999 NEW BEST:: SOT 1325163 SOS 731216 HAS SOPS 731216 HAS SOUS 328371 HAS SOUPS 328371 WITH SCORE 329102.216
AT ITER 6005 NEW BEST:: SOT 1325163 SOS 731216 HAS SOPS 731216 HAS SOUS 328354 HAS SOUPS 328354 WITH SCORE 329085.216
AT ITER 6017 NEW BEST:: SOT 1325012 SOS 731065 HAS SOPS 731065 HAS SOUS 327986 HAS SOUPS 327986 WITH SCORE 328717.065
AT ITER 6021 NEW BEST:: SOT 1325012 SOS 731065 HAS SOPS 731065 HAS SOUS 327964 HAS SOUPS 327964 WITH SCORE 328695.065
AT ITER 6041 NEW BEST:: SOT 1325012 SOS 730945 HAS SOPS 730945 HAS SOUS 327963 HAS SOUPS 327963 WITH SCORE 328693.945
AT ITER 6043 NEW BEST:: SOT 1324655 SOS 730478 HAS SOPS 730478 HAS SOUS 327496 HAS SOUPS 327496 WITH SCORE 328226.478
AT ITER 6063 NEW BEST:: SOT 1324620 SOS 730462 HAS SOPS 730462 HAS SOUS 327466 HAS SOUPS 327466 WITH SCORE 328196.462
AT ITER 6094 NEW BEST:: SOT 1324034 SOS 729527 HAS SOPS 729527 HAS SOUS 326835 HAS SOUPS 326835 WITH SCORE 327564.527
AT ITER 6097 NEW BEST:: SOT 1324026 SOS 729512 HAS SOPS 729512 HAS SOUS 326826 HAS SOUPS 326826 WITH SCORE 327555.512
AT ITER 6106 NEW BEST:: SOT 1323988 SOS 729474 HAS SOPS 729474 HAS SOUS 326788 HAS SOUPS 326788 WITH SCORE 327517.474
AT ITER 6111 NEW BEST:: SOT 1323452 SOS 728938 HAS SOPS 728938 HAS SOUS 326058 HAS SOUPS 326058 WITH SCORE 326786.938
AT ITER 6156 NEW BEST:: SOT 1323390 SOS 728611 HAS SOPS 728611 HAS SOUS 326000 HAS SOUPS 326000 WITH SCORE 326728.611
AT ITER 6184 NEW BEST:: SOT 1323386 SOS 728540 HAS SOPS 728540 HAS SOUS 325984 HAS SOUPS 325984 WITH SCORE 326712.54
AT ITER 6188 NEW BEST:: SOT 1323386 SOS 728540 HAS SOPS 728540 HAS SOUS 325955 HAS SOUPS 325955 WITH SCORE 326683.54
AT ITER 6190 NEW BEST:: SOT 1323381 SOS 728573 HAS SOPS 728573 HAS SOUS 325945 HAS SOUPS 325945 WITH SCORE 326673.573
AT ITER 6212 NEW BEST:: SOT 1323359 SOS 728584 HAS SOPS 728584 HAS SOUS 325817 HAS SOUPS 325817 WITH SCORE 326545.584
AT ITER 6250 NEW BEST:: SOT 1323342 SOS 728531 HAS SOPS 728531 HAS SOUS 325765 HAS SOUPS 325765 WITH SCORE 326493.531
AT ITER 6271 NEW BEST:: SOT 1323295 SOS 728484 HAS SOPS 728484 HAS SOUS 325693 HAS SOUPS 325693 WITH SCORE 326421.484
AT ITER 6290 NEW BEST:: SOT 1323295 SOS 728460 HAS SOPS 728460 HAS SOUS 325690 HAS SOUPS 325690 WITH SCORE 326418.46
AT ITER 6299 NEW BEST:: SOT 1323294 SOS 728458 HAS SOPS 728458 HAS SOUS 325688 HAS SOUPS 325688 WITH SCORE 326416.458
AT ITER 6309 NEW BEST:: SOT 1323219 SOS 728383 HAS SOPS 728383 HAS SOUS 325487 HAS SOUPS 325487 WITH SCORE 326215.383
AT ITER 6328 NEW BEST:: SOT 1323114 SOS 728278 HAS SOPS 728278 HAS SOUS 325240 HAS SOUPS 325240 WITH SCORE 325968.278
AT ITER 6332 NEW BEST:: SOT 1323114 SOS 728278 HAS SOPS 728278 HAS SOUS 325236 HAS SOUPS 325236 WITH SCORE 325964.278
AT ITER 6356 NEW BEST:: SOT 1323016 SOS 728180 HAS SOPS 728180 HAS SOUS 325138 HAS SOUPS 325138 WITH SCORE 325866.18
AT ITER 6357 NEW BEST:: SOT 1322945 SOS 728038 HAS SOPS 728038 HAS SOUS 324996 HAS SOUPS 324996 WITH SCORE 325724.038
AT ITER 6365 NEW BEST:: SOT 1322928 SOS 727983 HAS SOPS 727983 HAS SOUS 324941 HAS SOUPS 324941 WITH SCORE 325668.983
AT ITER 6366 NEW BEST:: SOT 1322899 SOS 728059 HAS SOPS 728059 HAS SOUS 324911 HAS SOUPS 324911 WITH SCORE 325639.059
AT ITER 6400 NEW BEST:: SOT 1323088 SOS 728048 HAS SOPS 728048 HAS SOUS 324674 HAS SOUPS 324674 WITH SCORE 325402.048
AT ITER 6404 NEW BEST:: SOT 1322794 SOS 727494 HAS SOPS 727494 HAS SOUS 324198 HAS SOUPS 324198 WITH SCORE 324925.494
AT ITER 6467 NEW BEST:: SOT 1322793 SOS 727493 HAS SOPS 727493 HAS SOUS 324197 HAS SOUPS 324197 WITH SCORE 324924.493
AT ITER 6468 NEW BEST:: SOT 1322642 SOS 727191 HAS SOPS 727191 HAS SOUS 323895 HAS SOUPS 323895 WITH SCORE 324622.191
AT ITER 6477 NEW BEST:: SOT 1322577 SOS 727126 HAS SOPS 727126 HAS SOUS 323830 HAS SOUPS 323830 WITH SCORE 324557.126
AT ITER 6479 NEW BEST:: SOT 1322531 SOS 727080 HAS SOPS 727080 HAS SOUS 323738 HAS SOUPS 323738 WITH SCORE 324465.08
AT ITER 6503 NEW BEST:: SOT 1322565 SOS 726716 HAS SOPS 726716 HAS SOUS 323696 HAS SOUPS 323696 WITH SCORE 324422.716
AT ITER 6509 NEW BEST:: SOT 1322161 SOS 726418 HAS SOPS 726418 HAS SOUS 323329 HAS SOUPS 323329 WITH SCORE 324055.418
AT ITER 6521 NEW BEST:: SOT 1322123 SOS 726190 HAS SOPS 726190 HAS SOUS 323291 HAS SOUPS 323291 WITH SCORE 324017.19
AT ITER 6522 NEW BEST:: SOT 1322094 SOS 726161 HAS SOPS 726161 HAS SOUS 323262 HAS SOUPS 323262 WITH SCORE 323988.161
AT ITER 6523 NEW BEST:: SOT 1322094 SOS 726158 HAS SOPS 726158 HAS SOUS 323259 HAS SOUPS 323259 WITH SCORE 323985.158
AT ITER 6536 NEW BEST:: SOT 1321988 SOS 725968 HAS SOPS 725968 HAS SOUS 323093 HAS SOUPS 323093 WITH SCORE 323818.968
AT ITER 6544 NEW BEST:: SOT 1321799 SOS 725779 HAS SOPS 725779 HAS SOUS 322928 HAS SOUPS 322928 WITH SCORE 323653.779
AT ITER 6564 NEW BEST:: SOT 1321799 SOS 725752 HAS SOPS 725752 HAS SOUS 322906 HAS SOUPS 322906 WITH SCORE 323631.752
AT ITER 6571 NEW BEST:: SOT 1321669 SOS 725622 HAS SOPS 725622 HAS SOUS 322841 HAS SOUPS 322841 WITH SCORE 323566.622
AT ITER 6577 NEW BEST:: SOT 1321485 SOS 725423 HAS SOPS 725423 HAS SOUS 322517 HAS SOUPS 322517 WITH SCORE 323242.423
AT ITER 6602 NEW BEST:: SOT 1321441 SOS 725379 HAS SOPS 725379 HAS SOUS 322473 HAS SOUPS 322473 WITH SCORE 323198.379
AT ITER 6621 NEW BEST:: SOT 1321403 SOS 725379 HAS SOPS 725379 HAS SOUS 322435 HAS SOUPS 322435 WITH SCORE 323160.379
AT ITER 6629 NEW BEST:: SOT 1321273 SOS 725249 HAS SOPS 725249 HAS SOUS 322306 HAS SOUPS 322306 WITH SCORE 323031.249
AT ITER 6631 NEW BEST:: SOT 1321233 SOS 725209 HAS SOPS 725209 HAS SOUS 322266 HAS SOUPS 322266 WITH SCORE 322991.209
AT ITER 6638 NEW BEST:: SOT 1321233 SOS 724785 HAS SOPS 724785 HAS SOUS 322033 HAS SOUPS 322033 WITH SCORE 322757.785
AT ITER 6643 NEW BEST:: SOT 1321199 SOS 725219 HAS SOPS 725219 HAS SOUS 321906 HAS SOUPS 321906 WITH SCORE 322631.219
AT ITER 6655 NEW BEST:: SOT 1321199 SOS 725181 HAS SOPS 725181 HAS SOUS 321864 HAS SOUPS 321864 WITH SCORE 322589.181
AT ITER 6706 NEW BEST:: SOT 1321169 SOS 725151 HAS SOPS 725151 HAS SOUS 321790 HAS SOUPS 321790 WITH SCORE 322515.151
AT ITER 6721 NEW BEST:: SOT 1321094 SOS 725093 HAS SOPS 725093 HAS SOUS 321716 HAS SOUPS 321716 WITH SCORE 322441.093
AT ITER 6757 NEW BEST:: SOT 1321057 SOS 725056 HAS SOPS 725056 HAS SOUS 321679 HAS SOUPS 321679 WITH SCORE 322404.056
AT ITER 6789 NEW BEST:: SOT 1321033 SOS 725032 HAS SOPS 725032 HAS SOUS 321655 HAS SOUPS 321655 WITH SCORE 322380.032
AT ITER 6803 NEW BEST:: SOT 1321022 SOS 725021 HAS SOPS 725021 HAS SOUS 321593 HAS SOUPS 321593 WITH SCORE 322318.021
AT ITER 6808 NEW BEST:: SOT 1320975 SOS 724947 HAS SOPS 724947 HAS SOUS 321523 HAS SOUPS 321523 WITH SCORE 322247.947
AT ITER 6809 NEW BEST:: SOT 1320786 SOS 724590 HAS SOPS 724590 HAS SOUS 321376 HAS SOUPS 321376 WITH SCORE 322100.59
AT ITER 6810 NEW BEST:: SOT 1320673 SOS 724477 HAS SOPS 724477 HAS SOUS 321225 HAS SOUPS 321225 WITH SCORE 321949.477
AT ITER 6811 NEW BEST:: SOT 1320581 SOS 724229 HAS SOPS 724229 HAS SOUS 321197 HAS SOUPS 321197 WITH SCORE 321921.229
AT ITER 6817 NEW BEST:: SOT 1320580 SOS 724228 HAS SOPS 724228 HAS SOUS 321185 HAS SOUPS 321185 WITH SCORE 321909.228
AT ITER 6818 NEW BEST:: SOT 1320530 SOS 724168 HAS SOPS 724168 HAS SOUS 321155 HAS SOUPS 321155 WITH SCORE 321879.168
AT ITER 6828 NEW BEST:: SOT 1320646 SOS 725089 HAS SOPS 725089 HAS SOUS 321153 HAS SOUPS 321153 WITH SCORE 321878.089
AT ITER 6876 NEW BEST:: SOT 1320628 SOS 725035 HAS SOPS 725035 HAS SOUS 321081 HAS SOUPS 321081 WITH SCORE 321806.035
AT ITER 6880 NEW BEST:: SOT 1320628 SOS 725035 HAS SOPS 725035 HAS SOUS 321061 HAS SOUPS 321061 WITH SCORE 321786.035
AT ITER 6886 NEW BEST:: SOT 1320628 SOS 724984 HAS SOPS 724984 HAS SOUS 320959 HAS SOUPS 320959 WITH SCORE 321683.984
AT ITER 6904 NEW BEST:: SOT 1320471 SOS 724718 HAS SOPS 724718 HAS SOUS 320739 HAS SOUPS 320739 WITH SCORE 321463.718
AT ITER 6923 NEW BEST:: SOT 1320471 SOS 724360 HAS SOPS 724360 HAS SOUS 320560 HAS SOUPS 320560 WITH SCORE 321284.36
AT ITER 6928 NEW BEST:: SOT 1320471 SOS 724339 HAS SOPS 724339 HAS SOUS 320539 HAS SOUPS 320539 WITH SCORE 321263.339
AT ITER 6945 NEW BEST:: SOT 1320471 SOS 724267 HAS SOPS 724267 HAS SOUS 320467 HAS SOUPS 320467 WITH SCORE 321191.267
AT ITER 6949 NEW BEST:: SOT 1320419 SOS 723935 HAS SOPS 723935 HAS SOUS 320363 HAS SOUPS 320363 WITH SCORE 321086.935
AT ITER 6958 NEW BEST:: SOT 1319367 SOS 724372 HAS SOPS 724372 HAS SOUS 319497 HAS SOUPS 319497 WITH SCORE 320221.372
AT ITER 6963 NEW BEST:: SOT 1319198 SOS 724203 HAS SOPS 724203 HAS SOUS 319328 HAS SOUPS 319328 WITH SCORE 320052.203
AT ITER 6978 NEW BEST:: SOT 1319193 SOS 724198 HAS SOPS 724198 HAS SOUS 319322 HAS SOUPS 319322 WITH SCORE 320046.198
AT ITER 7001 NEW BEST:: SOT 1319190 SOS 724255 HAS SOPS 724255 HAS SOUS 319253 HAS SOUPS 319253 WITH SCORE 319977.255
AT ITER 7010 NEW BEST:: SOT 1319210 SOS 724275 HAS SOPS 724275 HAS SOUS 319179 HAS SOUPS 319179 WITH SCORE 319903.275
AT ITER 7033 NEW BEST:: SOT 1319209 SOS 724269 HAS SOPS 724269 HAS SOUS 319173 HAS SOUPS 319173 WITH SCORE 319897.269
AT ITER 7061 NEW BEST:: SOT 1319119 SOS 724179 HAS SOPS 724179 HAS SOUS 318881 HAS SOUPS 318881 WITH SCORE 319605.179
AT ITER 7066 NEW BEST:: SOT 1319119 SOS 723959 HAS SOPS 723959 HAS SOUS 318689 HAS SOUPS 318689 WITH SCORE 319412.959
AT ITER 7097 NEW BEST:: SOT 1319119 SOS 724073 HAS SOPS 724073 HAS SOUS 318575 HAS SOUPS 318575 WITH SCORE 319299.073
AT ITER 7110 NEW BEST:: SOT 1318919 SOS 723518 HAS SOPS 723518 HAS SOUS 318165 HAS SOUPS 318165 WITH SCORE 318888.518
AT ITER 7112 NEW BEST:: SOT 1318948 SOS 723504 HAS SOPS 723504 HAS SOUS 318115 HAS SOUPS 318115 WITH SCORE 318838.504
AT ITER 7123 NEW BEST:: SOT 1318796 SOS 723518 HAS SOPS 723518 HAS SOUS 317841 HAS SOUPS 317841 WITH SCORE 318564.518
AT ITER 7125 NEW BEST:: SOT 1318770 SOS 723492 HAS SOPS 723492 HAS SOUS 317815 HAS SOUPS 317815 WITH SCORE 318538.492
AT ITER 7158 NEW BEST:: SOT 1318770 SOS 723492 HAS SOPS 723492 HAS SOUS 317771 HAS SOUPS 317771 WITH SCORE 318494.492
AT ITER 7165 NEW BEST:: SOT 1318769 SOS 723486 HAS SOPS 723486 HAS SOUS 317768 HAS SOUPS 317768 WITH SCORE 318491.486
AT ITER 7177 NEW BEST:: SOT 1318769 SOS 723196 HAS SOPS 723196 HAS SOUS 317710 HAS SOUPS 317710 WITH SCORE 318433.196
AT ITER 7187 NEW BEST:: SOT 1318567 SOS 723535 HAS SOPS 723535 HAS SOUS 317437 HAS SOUPS 317437 WITH SCORE 318160.535
AT ITER 7201 NEW BEST:: SOT 1318567 SOS 723466 HAS SOPS 723466 HAS SOUS 317382 HAS SOUPS 317382 WITH SCORE 318105.466
AT ITER 7208 NEW BEST:: SOT 1318567 SOS 723458 HAS SOPS 723458 HAS SOUS 317381 HAS SOUPS 317381 WITH SCORE 318104.458
AT ITER 7211 NEW BEST:: SOT 1318567 SOS 723430 HAS SOPS 723430 HAS SOUS 317353 HAS SOUPS 317353 WITH SCORE 318076.43
AT ITER 7228 NEW BEST:: SOT 1318484 SOS 726492 HAS SOPS 726492 HAS SOUS 317324 HAS SOUPS 317324 WITH SCORE 318050.492
AT ITER 7235 NEW BEST:: SOT 1318482 SOS 726452 HAS SOPS 726452 HAS SOUS 317320 HAS SOUPS 317320 WITH SCORE 318046.452
AT ITER 7253 NEW BEST:: SOT 1318296 SOS 726392 HAS SOPS 726392 HAS SOUS 317260 HAS SOUPS 317260 WITH SCORE 317986.392
AT ITER 7265 NEW BEST:: SOT 1318485 SOS 726322 HAS SOPS 726322 HAS SOUS 317190 HAS SOUPS 317190 WITH SCORE 317916.322
AT ITER 7271 NEW BEST:: SOT 1318415 SOS 726252 HAS SOPS 726252 HAS SOUS 317120 HAS SOUPS 317120 WITH SCORE 317846.252
AT ITER 7328 NEW BEST:: SOT 1318424 SOS 723788 HAS SOPS 723788 HAS SOUS 317020 HAS SOUPS 317020 WITH SCORE 317743.788
AT ITER 7341 NEW BEST:: SOT 1318424 SOS 723900 HAS SOPS 723900 HAS SOUS 316992 HAS SOUPS 316992 WITH SCORE 317715.9
AT ITER 7365 NEW BEST:: SOT 1318235 SOS 719735 HAS SOPS 719735 HAS SOUS 316614 HAS SOUPS 316614 WITH SCORE 317333.735
AT ITER 7375 NEW BEST:: SOT 1318228 SOS 719728 HAS SOPS 719728 HAS SOUS 316601 HAS SOUPS 316601 WITH SCORE 317320.728
AT ITER 7431 NEW BEST:: SOT 1318184 SOS 719648 HAS SOPS 719648 HAS SOUS 316548 HAS SOUPS 316548 WITH SCORE 317267.648
AT ITER 7445 NEW BEST:: SOT 1318153 SOS 719617 HAS SOPS 719617 HAS SOUS 316517 HAS SOUPS 316517 WITH SCORE 317236.617
AT ITER 7470 NEW BEST:: SOT 1318101 SOS 719340 HAS SOPS 719340 HAS SOUS 316413 HAS SOUPS 316413 WITH SCORE 317132.34
AT ITER 7521 NEW BEST:: SOT 1318340 SOS 719109 HAS SOPS 719109 HAS SOUS 316085 HAS SOUPS 316085 WITH SCORE 316804.109
AT ITER 7540 NEW BEST:: SOT 1318469 SOS 718888 HAS SOPS 718888 HAS SOUS 315993 HAS SOUPS 315993 WITH SCORE 316711.888
AT ITER 7558 NEW BEST:: SOT 1318182 SOS 718282 HAS SOPS 718282 HAS SOUS 315387 HAS SOUPS 315387 WITH SCORE 316105.282
AT ITER 7562 NEW BEST:: SOT 1317440 SOS 715811 HAS SOPS 715811 HAS SOUS 314492 HAS SOUPS 314492 WITH SCORE 315207.811
AT ITER 7611 NEW BEST:: SOT 1317264 SOS 715635 HAS SOPS 715635 HAS SOUS 314469 HAS SOUPS 314469 WITH SCORE 315184.635
AT ITER 7613 NEW BEST:: SOT 1316904 SOS 714915 HAS SOPS 714915 HAS SOUS 313792 HAS SOUPS 313792 WITH SCORE 314506.915
AT ITER 7616 NEW BEST:: SOT 1316954 SOS 714965 HAS SOPS 714965 HAS SOUS 313763 HAS SOUPS 313763 WITH SCORE 314477.965
AT ITER 7719 NEW BEST:: SOT 1316761 SOS 714772 HAS SOPS 714772 HAS SOUS 313570 HAS SOUPS 313570 WITH SCORE 314284.772
AT ITER 7729 NEW BEST:: SOT 1316869 SOS 714968 HAS SOPS 714968 HAS SOUS 313458 HAS SOUPS 313458 WITH SCORE 314172.968
AT ITER 7747 NEW BEST:: SOT 1316775 SOS 714780 HAS SOPS 714780 HAS SOUS 313298 HAS SOUPS 313298 WITH SCORE 314012.78
AT ITER 7782 NEW BEST:: SOT 1316774 SOS 714727 HAS SOPS 714727 HAS SOUS 313296 HAS SOUPS 313296 WITH SCORE 314010.727
AT ITER 7789 NEW BEST:: SOT 1316740 SOS 714693 HAS SOPS 714693 HAS SOUS 313178 HAS SOUPS 313178 WITH SCORE 313892.693
AT ITER 7790 NEW BEST:: SOT 1316706 SOS 714693 HAS SOPS 714693 HAS SOUS 313110 HAS SOUPS 313110 WITH SCORE 313824.693
AT ITER 7797 NEW BEST:: SOT 1316704 SOS 714620 HAS SOPS 714620 HAS SOUS 313037 HAS SOUPS 313037 WITH SCORE 313751.62
AT ITER 7818 NEW BEST:: SOT 1316747 SOS 714663 HAS SOPS 714663 HAS SOUS 313003 HAS SOUPS 313003 WITH SCORE 313717.663
AT ITER 7823 NEW BEST:: SOT 1316829 SOS 714645 HAS SOPS 714645 HAS SOUS 312836 HAS SOUPS 312836 WITH SCORE 313550.645
AT ITER 7862 NEW BEST:: SOT 1316285 SOS 714142 HAS SOPS 714142 HAS SOUS 312525 HAS SOUPS 312525 WITH SCORE 313239.142
AT ITER 7876 NEW BEST:: SOT 1316136 SOS 713859 HAS SOPS 713859 HAS SOUS 312309 HAS SOUPS 312309 WITH SCORE 313022.859
AT ITER 7881 NEW BEST:: SOT 1316129 SOS 713838 HAS SOPS 713838 HAS SOUS 312288 HAS SOUPS 312288 WITH SCORE 313001.838
AT ITER 7902 NEW BEST:: SOT 1315987 SOS 713223 HAS SOPS 713223 HAS SOUS 312004 HAS SOUPS 312004 WITH SCORE 312717.223
AT ITER 7905 NEW BEST:: SOT 1316022 SOS 713139 HAS SOPS 713139 HAS SOUS 311610 HAS SOUPS 311610 WITH SCORE 312323.139
AT ITER 7913 NEW BEST:: SOT 1316261 SOS 713203 HAS SOPS 713203 HAS SOUS 311565 HAS SOUPS 311565 WITH SCORE 312278.203
AT ITER 7914 NEW BEST:: SOT 1316264 SOS 713206 HAS SOPS 713206 HAS SOUS 311563 HAS SOUPS 311563 WITH SCORE 312276.206
AT ITER 7915 NEW BEST:: SOT 1316209 SOS 713175 HAS SOPS 713175 HAS SOUS 311294 HAS SOUPS 311294 WITH SCORE 312007.175
AT ITER 7922 NEW BEST:: SOT 1316209 SOS 711515 HAS SOPS 711515 HAS SOUS 311233 HAS SOUPS 311233 WITH SCORE 311944.515
AT ITER 7932 NEW BEST:: SOT 1316135 SOS 711367 HAS SOPS 711367 HAS SOUS 311085 HAS SOUPS 311085 WITH SCORE 311796.367
AT ITER 7949 NEW BEST:: SOT 1318140 SOS 712965 HAS SOPS 712965 HAS SOUS 311083 HAS SOUPS 311083 WITH SCORE 311795.965
AT ITER 7961 NEW BEST:: SOT 1318185 SOS 713079 HAS SOPS 713079 HAS SOUS 311068 HAS SOUPS 311068 WITH SCORE 311781.079
AT ITER 7965 NEW BEST:: SOT 1318172 SOS 713042 HAS SOPS 713042 HAS SOUS 311042 HAS SOUPS 311042 WITH SCORE 311755.042
AT ITER 7968 NEW BEST:: SOT 1317984 SOS 712767 HAS SOPS 712767 HAS SOUS 310910 HAS SOUPS 310910 WITH SCORE 311622.767
AT ITER 7973 NEW BEST:: SOT 1317919 SOS 712697 HAS SOPS 712697 HAS SOUS 310821 HAS SOUPS 310821 WITH SCORE 311533.697
AT ITER 7980 NEW BEST:: SOT 1317933 SOS 712398 HAS SOPS 712398 HAS SOUS 310572 HAS SOUPS 310572 WITH SCORE 311284.398
AT ITER 8007 NEW BEST:: SOT 1317875 SOS 712253 HAS SOPS 712253 HAS SOUS 310456 HAS SOUPS 310456 WITH SCORE 311168.253
AT ITER 8008 NEW BEST:: SOT 1317790 SOS 712131 HAS SOPS 712131 HAS SOUS 310389 HAS SOUPS 310389 WITH SCORE 311101.131
AT ITER 8013 NEW BEST:: SOT 1317836 SOS 712145 HAS SOPS 712145 HAS SOUS 310357 HAS SOUPS 310357 WITH SCORE 311069.145
AT ITER 8017 NEW BEST:: SOT 1317781 SOS 712137 HAS SOPS 712137 HAS SOUS 310349 HAS SOUPS 310349 WITH SCORE 311061.137
AT ITER 8029 NEW BEST:: SOT 1317770 SOS 712126 HAS SOPS 712126 HAS SOUS 310338 HAS SOUPS 310338 WITH SCORE 311050.126
AT ITER 8048 NEW BEST:: SOT 1317736 SOS 712092 HAS SOPS 712092 HAS SOUS 310304 HAS SOUPS 310304 WITH SCORE 311016.092
AT ITER 8069 NEW BEST:: SOT 1317556 SOS 711912 HAS SOPS 711912 HAS SOUS 310162 HAS SOUPS 310162 WITH SCORE 310873.912
AT ITER 8098 NEW BEST:: SOT 1317558 SOS 711842 HAS SOPS 711842 HAS SOUS 310155 HAS SOUPS 310155 WITH SCORE 310866.842
AT ITER 8103 NEW BEST:: SOT 1317535 SOS 711764 HAS SOPS 711764 HAS SOUS 310077 HAS SOUPS 310077 WITH SCORE 310788.764
AT ITER 8143 NEW BEST:: SOT 1317323 SOS 711552 HAS SOPS 711552 HAS SOUS 309865 HAS SOUPS 309865 WITH SCORE 310576.552
AT ITER 8162 NEW BEST:: SOT 1317322 SOS 711551 HAS SOPS 711551 HAS SOUS 309863 HAS SOUPS 309863 WITH SCORE 310574.551
AT ITER 8166 NEW BEST:: SOT 1318607 SOS 710147 HAS SOPS 710147 HAS SOUS 308940 HAS SOUPS 308940 WITH SCORE 309650.147
AT ITER 8182 NEW BEST:: SOT 1318607 SOS 706748 HAS SOPS 706748 HAS SOUS 308913 HAS SOUPS 308913 WITH SCORE 309619.748
AT ITER 8201 NEW BEST:: SOT 1318610 SOS 706700 HAS SOPS 706700 HAS SOUS 308865 HAS SOUPS 308865 WITH SCORE 309571.7
AT ITER 8202 NEW BEST:: SOT 1318594 SOS 706709 HAS SOPS 706709 HAS SOUS 308752 HAS SOUPS 308752 WITH SCORE 309458.709
AT ITER 8235 NEW BEST:: SOT 1318594 SOS 706767 HAS SOPS 706767 HAS SOUS 308703 HAS SOUPS 308703 WITH SCORE 309409.767
AT ITER 8242 NEW BEST:: SOT 1318494 SOS 706542 HAS SOPS 706542 HAS SOUS 308575 HAS SOUPS 308575 WITH SCORE 309281.542
AT ITER 8254 NEW BEST:: SOT 1318509 SOS 706542 HAS SOPS 706542 HAS SOUS 308560 HAS SOUPS 308560 WITH SCORE 309266.542
AT ITER 8303 NEW BEST:: SOT 1318497 SOS 706531 HAS SOPS 706531 HAS SOUS 308549 HAS SOUPS 308549 WITH SCORE 309255.531
AT ITER 8320 NEW BEST:: SOT 1318478 SOS 706493 HAS SOPS 706493 HAS SOUS 308530 HAS SOUPS 308530 WITH SCORE 309236.493
AT ITER 8325 NEW BEST:: SOT 1318556 SOS 706387 HAS SOPS 706387 HAS SOUS 308514 HAS SOUPS 308514 WITH SCORE 309220.387
AT ITER 8329 NEW BEST:: SOT 1318555 SOS 706315 HAS SOPS 706315 HAS SOUS 308512 HAS SOUPS 308512 WITH SCORE 309218.315
AT ITER 8348 NEW BEST:: SOT 1318554 SOS 706314 HAS SOPS 706314 HAS SOUS 308510 HAS SOUPS 308510 WITH SCORE 309216.314
AT ITER 8350 NEW BEST:: SOT 1318474 SOS 706234 HAS SOPS 706234 HAS SOUS 308430 HAS SOUPS 308430 WITH SCORE 309136.234
AT ITER 8368 NEW BEST:: SOT 1318434 SOS 706265 HAS SOPS 706265 HAS SOUS 308389 HAS SOUPS 308389 WITH SCORE 309095.265
AT ITER 8370 NEW BEST:: SOT 1318424 SOS 706255 HAS SOPS 706255 HAS SOUS 308379 HAS SOUPS 308379 WITH SCORE 309085.255
AT ITER 8372 NEW BEST:: SOT 1318393 SOS 706190 HAS SOPS 706190 HAS SOUS 308351 HAS SOUPS 308351 WITH SCORE 309057.19
AT ITER 8393 NEW BEST:: SOT 1318349 SOS 706109 HAS SOPS 706109 HAS SOUS 308270 HAS SOUPS 308270 WITH SCORE 308976.109
AT ITER 8431 NEW BEST:: SOT 1318290 SOS 705932 HAS SOPS 705932 HAS SOUS 308152 HAS SOUPS 308152 WITH SCORE 308857.932
AT ITER 8444 NEW BEST:: SOT 1318290 SOS 705832 HAS SOPS 705832 HAS SOUS 308151 HAS SOUPS 308151 WITH SCORE 308856.832
AT ITER 8554 NEW BEST:: SOT 1318222 SOS 705696 HAS SOPS 705696 HAS SOUS 308015 HAS SOUPS 308015 WITH SCORE 308720.696
AT ITER 8568 NEW BEST:: SOT 1318161 SOS 705574 HAS SOPS 705574 HAS SOUS 307893 HAS SOUPS 307893 WITH SCORE 308598.574
AT ITER 8592 NEW BEST:: SOT 1318366 SOS 705384 HAS SOPS 705384 HAS SOUS 307817 HAS SOUPS 307817 WITH SCORE 308522.384
AT ITER 8596 NEW BEST:: SOT 1318366 SOS 705424 HAS SOPS 705424 HAS SOUS 307795 HAS SOUPS 307795 WITH SCORE 308500.424
AT ITER 8601 NEW BEST:: SOT 1318366 SOS 705424 HAS SOPS 705424 HAS SOUS 307786 HAS SOUPS 307786 WITH SCORE 308491.424
AT ITER 8608 NEW BEST:: SOT 1317233 SOS 704874 HAS SOPS 704874 HAS SOUS 307689 HAS SOUPS 307689 WITH SCORE 308393.874
AT ITER 8611 NEW BEST:: SOT 1317193 SOS 704794 HAS SOPS 704794 HAS SOUS 307609 HAS SOUPS 307609 WITH SCORE 308313.794
AT ITER 8618 NEW BEST:: SOT 1316388 SOS 704156 HAS SOPS 704156 HAS SOUS 307220 HAS SOUPS 307220 WITH SCORE 307924.156
AT ITER 8625 NEW BEST:: SOT 1316335 SOS 703982 HAS SOPS 703982 HAS SOUS 307092 HAS SOUPS 307092 WITH SCORE 307795.982
AT ITER 8634 NEW BEST:: SOT 1316335 SOS 703757 HAS SOPS 703757 HAS SOUS 306867 HAS SOUPS 306867 WITH SCORE 307570.757
AT ITER 8693 NEW BEST:: SOT 1316335 SOS 703862 HAS SOPS 703862 HAS SOUS 306846 HAS SOUPS 306846 WITH SCORE 307549.862
AT ITER 8738 NEW BEST:: SOT 1316326 SOS 703857 HAS SOPS 703857 HAS SOUS 306836 HAS SOUPS 306836 WITH SCORE 307539.857
AT ITER 8749 NEW BEST:: SOT 1316326 SOS 703784 HAS SOPS 703784 HAS SOUS 306763 HAS SOUPS 306763 WITH SCORE 307466.784
AT ITER 8791 NEW BEST:: SOT 1316326 SOS 703680 HAS SOPS 703680 HAS SOUS 306761 HAS SOUPS 306761 WITH SCORE 307464.68
AT ITER 8809 NEW BEST:: SOT 1316225 SOS 703596 HAS SOPS 703596 HAS SOUS 306677 HAS SOUPS 306677 WITH SCORE 307380.596
AT ITER 8858 NEW BEST:: SOT 1316225 SOS 703540 HAS SOPS 703540 HAS SOUS 306677 HAS SOUPS 306677 WITH SCORE 307380.54
AT ITER 8873 NEW BEST:: SOT 1316225 SOS 694518 HAS SOPS 694518 HAS SOUS 306677 HAS SOUPS 306677 WITH SCORE 307371.518
AT ITER 8877 NEW BEST:: SOT 1315238 SOS 693524 HAS SOPS 693524 HAS SOUS 306335 HAS SOUPS 306335 WITH SCORE 307028.524
AT ITER 8889 NEW BEST:: SOT 1315235 SOS 693518 HAS SOPS 693518 HAS SOUS 306329 HAS SOUPS 306329 WITH SCORE 307022.518
AT ITER 8914 NEW BEST:: SOT 1315128 SOS 693411 HAS SOPS 693411 HAS SOUS 306214 HAS SOUPS 306214 WITH SCORE 306907.411
AT ITER 8921 NEW BEST:: SOT 1315052 SOS 693335 HAS SOPS 693335 HAS SOUS 306138 HAS SOUPS 306138 WITH SCORE 306831.335
AT ITER 8926 NEW BEST:: SOT 1315043 SOS 693326 HAS SOPS 693326 HAS SOUS 306129 HAS SOUPS 306129 WITH SCORE 306822.326
AT ITER 8941 NEW BEST:: SOT 1315006 SOS 693289 HAS SOPS 693289 HAS SOUS 306055 HAS SOUPS 306055 WITH SCORE 306748.289
AT ITER 8949 NEW BEST:: SOT 1315005 SOS 692925 HAS SOPS 692925 HAS SOUS 306053 HAS SOUPS 306053 WITH SCORE 306745.925
AT ITER 8972 NEW BEST:: SOT 1314728 SOS 692413 HAS SOPS 692413 HAS SOUS 305984 HAS SOUPS 305984 WITH SCORE 306676.413
AT ITER 8977 NEW BEST:: SOT 1314730 SOS 692441 HAS SOPS 692441 HAS SOUS 305983 HAS SOUPS 305983 WITH SCORE 306675.441
AT ITER 8978 NEW BEST:: SOT 1314211 SOS 692196 HAS SOPS 692196 HAS SOUS 305711 HAS SOUPS 305711 WITH SCORE 306403.196
AT ITER 9009 NEW BEST:: SOT 1314204 SOS 692189 HAS SOPS 692189 HAS SOUS 305653 HAS SOUPS 305653 WITH SCORE 306345.189
AT ITER 9022 NEW BEST:: SOT 1314204 SOS 687558 HAS SOPS 687558 HAS SOUS 305653 HAS SOUPS 305653 WITH SCORE 306340.558
AT ITER 9030 NEW BEST:: SOT 1313924 SOS 684240 HAS SOPS 684240 HAS SOUS 305144 HAS SOUPS 305144 WITH SCORE 305828.24
AT ITER 9033 NEW BEST:: SOT 1313842 SOS 683922 HAS SOPS 683922 HAS SOUS 304960 HAS SOUPS 304960 WITH SCORE 305643.922
AT ITER 9049 NEW BEST:: SOT 1313842 SOS 683920 HAS SOPS 683920 HAS SOUS 304958 HAS SOUPS 304958 WITH SCORE 305641.92
AT ITER 9078 NEW BEST:: SOT 1313809 SOS 683887 HAS SOPS 683887 HAS SOUS 304892 HAS SOUPS 304892 WITH SCORE 305575.887
AT ITER 9111 NEW BEST:: SOT 1313798 SOS 683854 HAS SOPS 683854 HAS SOUS 304870 HAS SOUPS 304870 WITH SCORE 305553.854
AT ITER 9114 NEW BEST:: SOT 1313737 SOS 683732 HAS SOPS 683732 HAS SOUS 304813 HAS SOUPS 304813 WITH SCORE 305496.732
AT ITER 9119 NEW BEST:: SOT 1313657 SOS 683550 HAS SOPS 683550 HAS SOUS 304660 HAS SOUPS 304660 WITH SCORE 305343.55
AT ITER 9134 NEW BEST:: SOT 1313459 SOS 683713 HAS SOPS 683713 HAS SOUS 304462 HAS SOUPS 304462 WITH SCORE 305145.713
AT ITER 9144 NEW BEST:: SOT 1313438 SOS 683650 HAS SOPS 683650 HAS SOUS 304411 HAS SOUPS 304411 WITH SCORE 305094.65
AT ITER 9177 NEW BEST:: SOT 1313399 SOS 683641 HAS SOPS 683641 HAS SOUS 304402 HAS SOUPS 304402 WITH SCORE 305085.641
AT ITER 9180 NEW BEST:: SOT 1313462 SOS 683632 HAS SOPS 683632 HAS SOUS 304393 HAS SOUPS 304393 WITH SCORE 305076.632
AT ITER 9189 NEW BEST:: SOT 1313459 SOS 683629 HAS SOPS 683629 HAS SOUS 304387 HAS SOUPS 304387 WITH SCORE 305070.629
AT ITER 9205 NEW BEST:: SOT 1313452 SOS 683636 HAS SOPS 683636 HAS SOUS 304380 HAS SOUPS 304380 WITH SCORE 305063.636
AT ITER 9252 NEW BEST:: SOT 1313370 SOS 683622 HAS SOPS 683622 HAS SOUS 304379 HAS SOUPS 304379 WITH SCORE 305062.622
AT ITER 9260 NEW BEST:: SOT 1313338 SOS 683590 HAS SOPS 683590 HAS SOUS 304283 HAS SOUPS 304283 WITH SCORE 304966.59
AT ITER 9292 NEW BEST:: SOT 1313337 SOS 682650 HAS SOPS 682650 HAS SOUS 304282 HAS SOUPS 304282 WITH SCORE 304964.65
AT ITER 9309 NEW BEST:: SOT 1313355 SOS 682629 HAS SOPS 682629 HAS SOUS 304277 HAS SOUPS 304277 WITH SCORE 304959.629
AT ITER 9310 NEW BEST:: SOT 1313277 SOS 682572 HAS SOPS 682572 HAS SOUS 304220 HAS SOUPS 304220 WITH SCORE 304902.572
AT ITER 9324 NEW BEST:: SOT 1313262 SOS 682557 HAS SOPS 682557 HAS SOUS 304205 HAS SOUPS 304205 WITH SCORE 304887.557
AT ITER 9326 NEW BEST:: SOT 1312904 SOS 682558 HAS SOPS 682558 HAS SOUS 303847 HAS SOUPS 303847 WITH SCORE 304529.558
AT ITER 9340 NEW BEST:: SOT 1312852 SOS 682506 HAS SOPS 682506 HAS SOUS 303769 HAS SOUPS 303769 WITH SCORE 304451.506
AT ITER 9346 NEW BEST:: SOT 1312847 SOS 682501 HAS SOPS 682501 HAS SOUS 303764 HAS SOUPS 303764 WITH SCORE 304446.501
AT ITER 9372 NEW BEST:: SOT 1312648 SOS 682378 HAS SOPS 682378 HAS SOUS 303763 HAS SOUPS 303763 WITH SCORE 304445.378
AT ITER 9408 NEW BEST:: SOT 1312521 SOS 682266 HAS SOPS 682266 HAS SOUS 303699 HAS SOUPS 303699 WITH SCORE 304381.266
AT ITER 9415 NEW BEST:: SOT 1312511 SOS 682257 HAS SOPS 682257 HAS SOUS 303690 HAS SOUPS 303690 WITH SCORE 304372.257
AT ITER 9420 NEW BEST:: SOT 1312392 SOS 682138 HAS SOPS 682138 HAS SOUS 303571 HAS SOUPS 303571 WITH SCORE 304253.138
AT ITER 9449 NEW BEST:: SOT 1312392 SOS 682158 HAS SOPS 682158 HAS SOUS 303551 HAS SOUPS 303551 WITH SCORE 304233.158
AT ITER 9451 NEW BEST:: SOT 1312230 SOS 681781 HAS SOPS 681781 HAS SOUS 303227 HAS SOUPS 303227 WITH SCORE 303908.781
AT ITER 9455 NEW BEST:: SOT 1312230 SOS 681357 HAS SOPS 681357 HAS SOUS 303227 HAS SOUPS 303227 WITH SCORE 303908.357
AT ITER 9465 NEW BEST:: SOT 1312071 SOS 681104 HAS SOPS 681104 HAS SOUS 303138 HAS SOUPS 303138 WITH SCORE 303819.104
AT ITER 9471 NEW BEST:: SOT 1312001 SOS 681034 HAS SOPS 681034 HAS SOUS 303052 HAS SOUPS 303052 WITH SCORE 303733.034
AT ITER 9492 NEW BEST:: SOT 1311909 SOS 680942 HAS SOPS 680942 HAS SOUS 302914 HAS SOUPS 302914 WITH SCORE 303594.942
AT ITER 9493 NEW BEST:: SOT 1311909 SOS 680818 HAS SOPS 680818 HAS SOUS 302849 HAS SOUPS 302849 WITH SCORE 303529.818
AT ITER 9502 NEW BEST:: SOT 1311803 SOS 680659 HAS SOPS 680659 HAS SOUS 302690 HAS SOUPS 302690 WITH SCORE 303370.659
AT ITER 9528 NEW BEST:: SOT 1311803 SOS 680653 HAS SOPS 680653 HAS SOUS 302684 HAS SOUPS 302684 WITH SCORE 303364.653
AT ITER 9531 NEW BEST:: SOT 1311531 SOS 680273 HAS SOPS 680273 HAS SOUS 302270 HAS SOUPS 302270 WITH SCORE 302950.273
AT ITER 9545 NEW BEST:: SOT 1311531 SOS 680265 HAS SOPS 680265 HAS SOUS 302269 HAS SOUPS 302269 WITH SCORE 302949.265
AT ITER 9585 NEW BEST:: SOT 1311506 SOS 680215 HAS SOPS 680215 HAS SOUS 302219 HAS SOUPS 302219 WITH SCORE 302899.215
AT ITER 9616 NEW BEST:: SOT 1311430 SOS 679531 HAS SOPS 679531 HAS SOUS 302143 HAS SOUPS 302143 WITH SCORE 302822.531
AT ITER 9622 NEW BEST:: SOT 1311280 SOS 676982 HAS SOPS 676982 HAS SOUS 301947 HAS SOUPS 301947 WITH SCORE 302623.982
AT ITER 9627 NEW BEST:: SOT 1311280 SOS 676979 HAS SOPS 676979 HAS SOUS 301944 HAS SOUPS 301944 WITH SCORE 302620.979
AT ITER 9630 NEW BEST:: SOT 1311133 SOS 676698 HAS SOPS 676698 HAS SOUS 301663 HAS SOUPS 301663 WITH SCORE 302339.698
AT ITER 9660 NEW BEST:: SOT 1311133 SOS 676698 HAS SOPS 676698 HAS SOUS 301647 HAS SOUPS 301647 WITH SCORE 302323.698
AT ITER 9676 NEW BEST:: SOT 1311086 SOS 676651 HAS SOPS 676651 HAS SOUS 301543 HAS SOUPS 301543 WITH SCORE 302219.651
AT ITER 9683 NEW BEST:: SOT 1311067 SOS 676724 HAS SOPS 676724 HAS SOUS 301510 HAS SOUPS 301510 WITH SCORE 302186.724
AT ITER 9699 NEW BEST:: SOT 1311013 SOS 676670 HAS SOPS 676670 HAS SOUS 301456 HAS SOUPS 301456 WITH SCORE 302132.67
AT ITER 9753 NEW BEST:: SOT 1310980 SOS 676614 HAS SOPS 676614 HAS SOUS 301334 HAS SOUPS 301334 WITH SCORE 302010.614
AT ITER 9762 NEW BEST:: SOT 1311050 SOS 676754 HAS SOPS 676754 HAS SOUS 301212 HAS SOUPS 301212 WITH SCORE 301888.754
AT ITER 9776 NEW BEST:: SOT 1311050 SOS 676656 HAS SOPS 676656 HAS SOUS 301187 HAS SOUPS 301187 WITH SCORE 301863.656
AT ITER 9779 NEW BEST:: SOT 1310991 SOS 676493 HAS SOPS 676493 HAS SOUS 301024 HAS SOUPS 301024 WITH SCORE 301700.493
AT ITER 9785 NEW BEST:: SOT 1310980 SOS 676336 HAS SOPS 676336 HAS SOUS 300948 HAS SOUPS 300948 WITH SCORE 301624.336
AT ITER 9798 NEW BEST:: SOT 1310960 SOS 676306 HAS SOPS 676306 HAS SOUS 300918 HAS SOUPS 300918 WITH SCORE 301594.306
AT ITER 9813 NEW BEST:: SOT 1310920 SOS 676266 HAS SOPS 676266 HAS SOUS 300838 HAS SOUPS 300838 WITH SCORE 301514.266
AT ITER 9895 NEW BEST:: SOT 1310000 SOS 674890 HAS SOPS 674890 HAS SOUS 300088 HAS SOUPS 300088 WITH SCORE 300762.89
AT ITER 9896 NEW BEST:: SOT 1309945 SOS 674518 HAS SOPS 674518 HAS SOUS 299961 HAS SOUPS 299961 WITH SCORE 300635.518
AT ITER 9899 NEW BEST:: SOT 1309705 SOS 674217 HAS SOPS 674217 HAS SOUS 299660 HAS SOUPS 299660 WITH SCORE 300334.217
AT ITER 9925 NEW BEST:: SOT 1309633 SOS 674126 HAS SOPS 674126 HAS SOUS 299588 HAS SOUPS 299588 WITH SCORE 300262.126
AT ITER 9947 NEW BEST:: SOT 1309633 SOS 674118 HAS SOPS 674118 HAS SOUS 299587 HAS SOUPS 299587 WITH SCORE 300261.118
AT ITER 9972 NEW BEST:: SOT 1309620 SOS 674105 HAS SOPS 674105 HAS SOUS 299574 HAS SOUPS 299574 WITH SCORE 300248.105
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 10208316 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153668 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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-06a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is ASLink-PT-06a, examination is StateSpace"
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-oct2-167813590400096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-06a.tgz
mv ASLink-PT-06a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;