fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r018-oct2-158897679500083
Last Updated
Jun 28, 2020

About the Execution of smart for BART-PT-010

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15768.250 3600000.00 3593010.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897679500083.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BART-PT-010, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500083
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.2M
-rw-r--r-- 1 mcc users 4.7K Apr 15 13:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 15 13:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 15 13:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 229K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 601K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 247K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 641K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Apr 15 13:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 15 13:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 15 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 15 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 15 13:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.4M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BART-PT-010-CTLCardinality-00
FORMULA_NAME BART-PT-010-CTLCardinality-01
FORMULA_NAME BART-PT-010-CTLCardinality-02
FORMULA_NAME BART-PT-010-CTLCardinality-03
FORMULA_NAME BART-PT-010-CTLCardinality-04
FORMULA_NAME BART-PT-010-CTLCardinality-05
FORMULA_NAME BART-PT-010-CTLCardinality-06
FORMULA_NAME BART-PT-010-CTLCardinality-07
FORMULA_NAME BART-PT-010-CTLCardinality-08
FORMULA_NAME BART-PT-010-CTLCardinality-09
FORMULA_NAME BART-PT-010-CTLCardinality-10
FORMULA_NAME BART-PT-010-CTLCardinality-11
FORMULA_NAME BART-PT-010-CTLCardinality-12
FORMULA_NAME BART-PT-010-CTLCardinality-13
FORMULA_NAME BART-PT-010-CTLCardinality-14
FORMULA_NAME BART-PT-010-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589012459006

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

GOT IT HERE. BS
Petri model created: 1530 places, 2020 transitions, 16200 arcs.
AT ITER 0 NEW BEST:: SOT 2252514 SOS 1461891 HAS SOPS 1083092 HAS SOUS 1002681 HAS SOUPS 950167 WITH SCORE 951628.891
AT ITER 2 NEW BEST:: SOT 2252514 SOS 1461891 HAS SOPS 1083145 HAS SOUS 1002483 HAS SOUPS 949926 WITH SCORE 951387.891
AT ITER 12 NEW BEST:: SOT 2252792 SOS 1462169 HAS SOPS 1083144 HAS SOUS 1002447 HAS SOUPS 949648 WITH SCORE 951110.169
AT ITER 13 NEW BEST:: SOT 2252881 SOS 1462330 HAS SOPS 1082865 HAS SOUS 1003007 HAS SOUPS 949370 WITH SCORE 950832.33
AT ITER 17 NEW BEST:: SOT 2252623 SOS 1462072 HAS SOPS 1082090 HAS SOUS 1002491 HAS SOUPS 948338 WITH SCORE 949800.072
AT ITER 19 NEW BEST:: SOT 2252787 SOS 1462399 HAS SOPS 1081840 HAS SOUS 1002871 HAS SOUPS 948089 WITH SCORE 949551.399
AT ITER 26 NEW BEST:: SOT 2252695 SOS 1462307 HAS SOPS 1081661 HAS SOUS 1002731 HAS SOUPS 947910 WITH SCORE 949372.307
AT ITER 31 NEW BEST:: SOT 2252848 SOS 1462543 HAS SOPS 1081538 HAS SOUS 1003387 HAS SOUPS 947788 WITH SCORE 949250.543
AT ITER 32 NEW BEST:: SOT 2252857 SOS 1462942 HAS SOPS 1081508 HAS SOUS 1003410 HAS SOUPS 947758 WITH SCORE 949220.942
AT ITER 39 NEW BEST:: SOT 2253044 SOS 1463302 HAS SOPS 1081313 HAS SOUS 1003918 HAS SOUPS 947564 WITH SCORE 949027.302
AT ITER 43 NEW BEST:: SOT 2253178 SOS 1463569 HAS SOPS 1081031 HAS SOUS 1003637 HAS SOUPS 947283 WITH SCORE 948746.569
AT ITER 47 NEW BEST:: SOT 2253178 SOS 1463569 HAS SOPS 1080833 HAS SOUS 1003190 HAS SOUPS 946676 WITH SCORE 948139.569
AT ITER 54 NEW BEST:: SOT 2252932 SOS 1463323 HAS SOPS 1080587 HAS SOUS 1002944 HAS SOUPS 946430 WITH SCORE 947893.323
AT ITER 60 NEW BEST:: SOT 2252932 SOS 1463323 HAS SOPS 1080380 HAS SOUS 1002832 HAS SOUPS 946224 WITH SCORE 947687.323
AT ITER 64 NEW BEST:: SOT 2253095 SOS 1463647 HAS SOPS 1080137 HAS SOUS 1003292 HAS SOUPS 945982 WITH SCORE 947445.647
AT ITER 68 NEW BEST:: SOT 2253095 SOS 1456367 HAS SOPS 1066077 HAS SOUS 1002871 HAS SOUPS 945222 WITH SCORE 946678.367
AT ITER 75 NEW BEST:: SOT 2253095 SOS 1456367 HAS SOPS 1065916 HAS SOUS 1002951 HAS SOUPS 945061 WITH SCORE 946517.367
AT ITER 78 NEW BEST:: SOT 2253095 SOS 1456367 HAS SOPS 1065678 HAS SOUS 1002437 HAS SOUPS 944727 WITH SCORE 946183.367
AT ITER 87 NEW BEST:: SOT 2253095 SOS 1456367 HAS SOPS 1065288 HAS SOUS 1001796 HAS SOUPS 943949 WITH SCORE 945405.367
AT ITER 90 NEW BEST:: SOT 2253095 SOS 1456367 HAS SOPS 1065287 HAS SOUS 1001580 HAS SOUPS 943709 WITH SCORE 945165.367
AT ITER 91 NEW BEST:: SOT 2253095 SOS 1456367 HAS SOPS 1065326 HAS SOUS 1001575 HAS SOUPS 943704 WITH SCORE 945160.367
AT ITER 102 NEW BEST:: SOT 2253095 SOS 1456367 HAS SOPS 1065190 HAS SOUS 1001075 HAS SOUPS 943155 WITH SCORE 944611.367
AT ITER 103 NEW BEST:: SOT 2253095 SOS 1456367 HAS SOPS 1065231 HAS SOUS 1000718 HAS SOUPS 942798 WITH SCORE 944254.367
AT ITER 106 NEW BEST:: SOT 2253095 SOS 1456367 HAS SOPS 1065131 HAS SOUS 1000712 HAS SOUPS 942698 WITH SCORE 944154.367
AT ITER 108 NEW BEST:: SOT 2253095 SOS 1456367 HAS SOPS 1064929 HAS SOUS 1000189 HAS SOUPS 942083 WITH SCORE 943539.367
AT ITER 110 NEW BEST:: SOT 2252966 SOS 1456238 HAS SOPS 1064756 HAS SOUS 1000016 HAS SOUPS 941910 WITH SCORE 943366.238
AT ITER 119 NEW BEST:: SOT 2253319 SOS 1456591 HAS SOPS 1065038 HAS SOUS 1000083 HAS SOUPS 941840 WITH SCORE 943296.591
AT ITER 123 NEW BEST:: SOT 2253319 SOS 1456591 HAS SOPS 1064636 HAS SOUS 999574 HAS SOUPS 941038 WITH SCORE 942494.591
AT ITER 125 NEW BEST:: SOT 2253386 SOS 1456724 HAS SOPS 1064291 HAS SOUS 999874 HAS SOUPS 940694 WITH SCORE 942150.724
AT ITER 126 NEW BEST:: SOT 2253386 SOS 1456724 HAS SOPS 1063938 HAS SOUS 999200 HAS SOUPS 939928 WITH SCORE 941384.724
AT ITER 127 NEW BEST:: SOT 2253475 SOS 1456901 HAS SOPS 1063623 HAS SOUS 999662 HAS SOUPS 939614 WITH SCORE 941070.901
AT ITER 130 NEW BEST:: SOT 2253475 SOS 1456901 HAS SOPS 1063552 HAS SOUS 999556 HAS SOUPS 939474 WITH SCORE 940930.901
AT ITER 135 NEW BEST:: SOT 2253475 SOS 1456901 HAS SOPS 1063056 HAS SOUS 998978 HAS SOUPS 938754 WITH SCORE 940210.901
AT ITER 138 NEW BEST:: SOT 2253475 SOS 1456742 HAS SOPS 1063056 HAS SOUS 998999 HAS SOUPS 938754 WITH SCORE 940210.742
AT ITER 141 NEW BEST:: SOT 2253475 SOS 1456742 HAS SOPS 1063203 HAS SOUS 998847 HAS SOUPS 938602 WITH SCORE 940058.742
AT ITER 142 NEW BEST:: SOT 2253332 SOS 1456599 HAS SOPS 1062829 HAS SOUS 998561 HAS SOUPS 938086 WITH SCORE 939542.599
AT ITER 144 NEW BEST:: SOT 2253332 SOS 1456599 HAS SOPS 1063005 HAS SOUS 998560 HAS SOUPS 938085 WITH SCORE 939541.599
AT ITER 145 NEW BEST:: SOT 2253332 SOS 1456599 HAS SOPS 1062663 HAS SOUS 997908 HAS SOUPS 937433 WITH SCORE 938889.599
AT ITER 147 NEW BEST:: SOT 2252651 SOS 1455918 HAS SOPS 1062257 HAS SOUS 997503 HAS SOUPS 937028 WITH SCORE 938483.918
AT ITER 160 NEW BEST:: SOT 2252679 SOS 1457306 HAS SOPS 1062145 HAS SOUS 997606 HAS SOUPS 936916 WITH SCORE 938373.306
AT ITER 169 NEW BEST:: SOT 2252856 SOS 1457638 HAS SOPS 1061958 HAS SOUS 998156 HAS SOUPS 936730 WITH SCORE 938187.638
AT ITER 171 NEW BEST:: SOT 2252856 SOS 1457638 HAS SOPS 1061898 HAS SOUS 998156 HAS SOUPS 936670 WITH SCORE 938127.638
AT ITER 172 NEW BEST:: SOT 2252856 SOS 1457638 HAS SOPS 1061634 HAS SOUS 997607 HAS SOUPS 935995 WITH SCORE 937452.638
AT ITER 173 NEW BEST:: SOT 2252856 SOS 1457638 HAS SOPS 1061633 HAS SOUS 997374 HAS SOUPS 935811 WITH SCORE 937268.638
AT ITER 182 NEW BEST:: SOT 2252856 SOS 1457638 HAS SOPS 1061633 HAS SOUS 997172 HAS SOUPS 935609 WITH SCORE 937066.638
AT ITER 194 NEW BEST:: SOT 2252856 SOS 1457638 HAS SOPS 1061467 HAS SOUS 997410 HAS SOUPS 935443 WITH SCORE 936900.638
AT ITER 195 NEW BEST:: SOT 2252856 SOS 1457638 HAS SOPS 1061264 HAS SOUS 997410 HAS SOUPS 935240 WITH SCORE 936697.638
AT ITER 196 NEW BEST:: SOT 2252856 SOS 1457638 HAS SOPS 1060893 HAS SOUS 996826 HAS SOUPS 934462 WITH SCORE 935919.638
AT ITER 207 NEW BEST:: SOT 2252856 SOS 1457638 HAS SOPS 1060791 HAS SOUS 996826 HAS SOUPS 934360 WITH SCORE 935817.638
AT ITER 212 NEW BEST:: SOT 2252856 SOS 1457638 HAS SOPS 1060787 HAS SOUS 996791 HAS SOUPS 934325 WITH SCORE 935782.638
AT ITER 219 NEW BEST:: SOT 2252856 SOS 1457638 HAS SOPS 1060825 HAS SOUS 996790 HAS SOUPS 934324 WITH SCORE 935781.638
AT ITER 227 NEW BEST:: SOT 2252856 SOS 1457638 HAS SOPS 1060593 HAS SOUS 996451 HAS SOUPS 933862 WITH SCORE 935319.638
AT ITER 234 NEW BEST:: SOT 2252879 SOS 1457661 HAS SOPS 1060593 HAS SOUS 996451 HAS SOUPS 933839 WITH SCORE 935296.661
AT ITER 237 NEW BEST:: SOT 2252907 SOS 1457716 HAS SOPS 1060223 HAS SOUS 996951 HAS SOUPS 933470 WITH SCORE 934927.716
AT ITER 241 NEW BEST:: SOT 2252957 SOS 1457856 HAS SOPS 1059867 HAS SOUS 997325 HAS SOUPS 933115 WITH SCORE 934572.856
AT ITER 242 NEW BEST:: SOT 2252694 SOS 1457593 HAS SOPS 1059077 HAS SOUS 996799 HAS SOUPS 932063 WITH SCORE 933520.593
AT ITER 250 NEW BEST:: SOT 2252694 SOS 1457593 HAS SOPS 1059077 HAS SOUS 996737 HAS SOUPS 932001 WITH SCORE 933458.593
AT ITER 252 NEW BEST:: SOT 2252694 SOS 1457593 HAS SOPS 1058229 HAS SOUS 996243 HAS SOUPS 931154 WITH SCORE 932611.593
AT ITER 263 NEW BEST:: SOT 2252704 SOS 1459173 HAS SOPS 1058078 HAS SOUS 996311 HAS SOUPS 931003 WITH SCORE 932462.173
AT ITER 268 NEW BEST:: SOT 2252410 SOS 1458879 HAS SOPS 1056939 HAS SOUS 995591 HAS SOUPS 929902 WITH SCORE 931360.879
AT ITER 271 NEW BEST:: SOT 2252410 SOS 1458879 HAS SOPS 1057018 HAS SOUS 995586 HAS SOUPS 929897 WITH SCORE 931355.879
AT ITER 274 NEW BEST:: SOT 2252410 SOS 1458879 HAS SOPS 1056613 HAS SOUS 995040 HAS SOUPS 929089 WITH SCORE 930547.879
AT ITER 275 NEW BEST:: SOT 2252266 SOS 1458735 HAS SOPS 1056469 HAS SOUS 994896 HAS SOUPS 928945 WITH SCORE 930403.735
AT ITER 282 NEW BEST:: SOT 2252253 SOS 1458722 HAS SOPS 1056429 HAS SOUS 994857 HAS SOUPS 928893 WITH SCORE 930351.722
AT ITER 284 NEW BEST:: SOT 2252116 SOS 1458585 HAS SOPS 1056004 HAS SOUS 994446 HAS SOUPS 928345 WITH SCORE 929803.585
AT ITER 290 NEW BEST:: SOT 2251831 SOS 1458300 HAS SOPS 1055539 HAS SOUS 994125 HAS SOUPS 927880 WITH SCORE 929338.3
AT ITER 294 NEW BEST:: SOT 2251831 SOS 1458300 HAS SOPS 1055282 HAS SOUS 993972 HAS SOUPS 927623 WITH SCORE 929081.3
AT ITER 297 NEW BEST:: SOT 2251831 SOS 1458300 HAS SOPS 1054894 HAS SOUS 993185 HAS SOUPS 926832 WITH SCORE 928290.3
AT ITER 299 NEW BEST:: SOT 2251831 SOS 1458300 HAS SOPS 1054691 HAS SOUS 992724 HAS SOUPS 926277 WITH SCORE 927735.3
AT ITER 302 NEW BEST:: SOT 2251938 SOS 1458513 HAS SOPS 1054521 HAS SOUS 993016 HAS SOUPS 926108 WITH SCORE 927566.513
AT ITER 305 NEW BEST:: SOT 2251938 SOS 1458513 HAS SOPS 1054884 HAS SOUS 993015 HAS SOUPS 926107 WITH SCORE 927565.513
AT ITER 307 NEW BEST:: SOT 2251862 SOS 1458437 HAS SOPS 1054884 HAS SOUS 993015 HAS SOUPS 926107 WITH SCORE 927565.437
AT ITER 312 NEW BEST:: SOT 2251862 SOS 1458437 HAS SOPS 1054660 HAS SOUS 992867 HAS SOUPS 925883 WITH SCORE 927341.437
AT ITER 313 NEW BEST:: SOT 2252231 SOS 1458806 HAS SOPS 1054659 HAS SOUS 992607 HAS SOUPS 925514 WITH SCORE 926972.806
AT ITER 318 NEW BEST:: SOT 2252838 SOS 1462062 HAS SOPS 1054857 HAS SOUS 993224 HAS SOUPS 925306 WITH SCORE 926768.062
AT ITER 319 NEW BEST:: SOT 2252838 SOS 1462062 HAS SOPS 1054856 HAS SOUS 992986 HAS SOUPS 925068 WITH SCORE 926530.062
AT ITER 325 NEW BEST:: SOT 2253009 SOS 1462445 HAS SOPS 1054835 HAS SOUS 993268 HAS SOUPS 925047 WITH SCORE 926509.445
AT ITER 330 NEW BEST:: SOT 2253018 SOS 1462454 HAS SOPS 1054716 HAS SOUS 993242 HAS SOUPS 924928 WITH SCORE 926390.454
AT ITER 339 NEW BEST:: SOT 2253012 SOS 1462442 HAS SOPS 1054583 HAS SOUS 993109 HAS SOUPS 924795 WITH SCORE 926257.442
AT ITER 340 NEW BEST:: SOT 2253012 SOS 1462442 HAS SOPS 1054409 HAS SOUS 992653 HAS SOUPS 924339 WITH SCORE 925801.442
AT ITER 341 NEW BEST:: SOT 2252317 SOS 1461747 HAS SOPS 1053916 HAS SOUS 992250 HAS SOUPS 923936 WITH SCORE 925397.747
AT ITER 344 NEW BEST:: SOT 2252317 SOS 1461747 HAS SOPS 1053922 HAS SOUS 992162 HAS SOUPS 923848 WITH SCORE 925309.747
AT ITER 352 NEW BEST:: SOT 2252308 SOS 1461738 HAS SOPS 1053913 HAS SOUS 992153 HAS SOUPS 923839 WITH SCORE 925300.738
AT ITER 356 NEW BEST:: SOT 2252530 SOS 1467200 HAS SOPS 1053873 HAS SOUS 992403 HAS SOUPS 923799 WITH SCORE 925266.2
AT ITER 357 NEW BEST:: SOT 2252530 SOS 1467200 HAS SOPS 1053730 HAS SOUS 992403 HAS SOUPS 923656 WITH SCORE 925123.2
AT ITER 363 NEW BEST:: SOT 2252530 SOS 1467200 HAS SOPS 1053730 HAS SOUS 992144 HAS SOUPS 923397 WITH SCORE 924864.2
AT ITER 366 NEW BEST:: SOT 2252530 SOS 1467200 HAS SOPS 1053493 HAS SOUS 991496 HAS SOUPS 922749 WITH SCORE 924216.2
AT ITER 376 NEW BEST:: SOT 2252472 SOS 1467142 HAS SOPS 1053377 HAS SOUS 991488 HAS SOUPS 922633 WITH SCORE 924100.142
AT ITER 377 NEW BEST:: SOT 2252635 SOS 1467410 HAS SOPS 1053246 HAS SOUS 991867 HAS SOUPS 922503 WITH SCORE 923970.41
AT ITER 380 NEW BEST:: SOT 2252406 SOS 1467181 HAS SOPS 1052846 HAS SOUS 991467 HAS SOUPS 922103 WITH SCORE 923570.181
AT ITER 381 NEW BEST:: SOT 2252309 SOS 1467084 HAS SOPS 1052749 HAS SOUS 991370 HAS SOUPS 922006 WITH SCORE 923473.084
AT ITER 383 NEW BEST:: SOT 2252235 SOS 1467010 HAS SOPS 1052601 HAS SOUS 991296 HAS SOUPS 921858 WITH SCORE 923325.01
AT ITER 388 NEW BEST:: SOT 2252235 SOS 1467010 HAS SOPS 1052282 HAS SOUS 991116 HAS SOUPS 921539 WITH SCORE 923006.01
AT ITER 392 NEW BEST:: SOT 2252037 SOS 1466812 HAS SOPS 1051886 HAS SOUS 991205 HAS SOUPS 921341 WITH SCORE 922807.812
AT ITER 395 NEW BEST:: SOT 2252144 SOS 1467013 HAS SOPS 1051615 HAS SOUS 991739 HAS SOUPS 921071 WITH SCORE 922538.013
AT ITER 407 NEW BEST:: SOT 2252144 SOS 1467013 HAS SOPS 1051568 HAS SOUS 991692 HAS SOUPS 921024 WITH SCORE 922491.013
AT ITER 408 NEW BEST:: SOT 2252144 SOS 1467013 HAS SOPS 1051568 HAS SOUS 991501 HAS SOUPS 920833 WITH SCORE 922300.013
AT ITER 411 NEW BEST:: SOT 2252144 SOS 1467013 HAS SOPS 1051540 HAS SOUS 991446 HAS SOUPS 920778 WITH SCORE 922245.013
AT ITER 412 NEW BEST:: SOT 2251744 SOS 1466613 HAS SOPS 1051540 HAS SOUS 991046 HAS SOUPS 920778 WITH SCORE 922244.613
AT ITER 418 NEW BEST:: SOT 2251744 SOS 1466613 HAS SOPS 1051195 HAS SOUS 990766 HAS SOUPS 920233 WITH SCORE 921699.613
AT ITER 428 NEW BEST:: SOT 2254376 SOS 1454381 HAS SOPS 1034310 HAS SOUS 988391 HAS SOUPS 917858 WITH SCORE 919312.381
AT ITER 429 NEW BEST:: SOT 2254376 SOS 1454518 HAS SOPS 1033999 HAS SOUS 987949 HAS SOUPS 917416 WITH SCORE 918870.518
AT ITER 431 NEW BEST:: SOT 2254573 SOS 1454911 HAS SOPS 1033784 HAS SOUS 988325 HAS SOUPS 917202 WITH SCORE 918656.911
AT ITER 432 NEW BEST:: SOT 2254573 SOS 1454911 HAS SOPS 1033331 HAS SOUS 988011 HAS SOUPS 916888 WITH SCORE 918342.911
AT ITER 435 NEW BEST:: SOT 2254573 SOS 1454911 HAS SOPS 1033153 HAS SOUS 987488 HAS SOUPS 916365 WITH SCORE 917819.911
AT ITER 437 NEW BEST:: SOT 2254573 SOS 1454911 HAS SOPS 1032742 HAS SOUS 987078 HAS SOUPS 915955 WITH SCORE 917409.911
AT ITER 442 NEW BEST:: SOT 2254573 SOS 1454911 HAS SOPS 1031933 HAS SOUS 986606 HAS SOUPS 915148 WITH SCORE 916602.911
AT ITER 451 NEW BEST:: SOT 2254674 SOS 1455112 HAS SOPS 1031618 HAS SOUS 986292 HAS SOUPS 914834 WITH SCORE 916289.112
AT ITER 453 NEW BEST:: SOT 2254846 SOS 1459224 HAS SOPS 1031593 HAS SOUS 986505 HAS SOUPS 914809 WITH SCORE 916268.224
AT ITER 466 NEW BEST:: SOT 2264509 SOS 1453736 HAS SOPS 1013803 HAS SOUS 984082 HAS SOUPS 911615 WITH SCORE 913068.736
AT ITER 471 NEW BEST:: SOT 2264414 SOS 1453641 HAS SOPS 1013066 HAS SOUS 983503 HAS SOUPS 911036 WITH SCORE 912489.641
AT ITER 474 NEW BEST:: SOT 2264414 SOS 1453641 HAS SOPS 1012662 HAS SOUS 983099 HAS SOUPS 910632 WITH SCORE 912085.641
AT ITER 475 NEW BEST:: SOT 2264414 SOS 1453641 HAS SOPS 1012323 HAS SOUS 982887 HAS SOUPS 910294 WITH SCORE 911747.641
AT ITER 477 NEW BEST:: SOT 2264414 SOS 1453641 HAS SOPS 1011956 HAS SOUS 982355 HAS SOUPS 909562 WITH SCORE 911015.641
AT ITER 480 NEW BEST:: SOT 2264175 SOS 1453402 HAS SOPS 1011554 HAS SOUS 982156 HAS SOUPS 909160 WITH SCORE 910613.402
AT ITER 482 NEW BEST:: SOT 2264175 SOS 1453402 HAS SOPS 1011624 HAS SOUS 982226 HAS SOUPS 909159 WITH SCORE 910612.402
AT ITER 486 NEW BEST:: SOT 2263885 SOS 1442382 HAS SOPS 1000894 HAS SOUS 981646 HAS SOUPS 908579 WITH SCORE 910021.382
AT ITER 488 NEW BEST:: SOT 2263784 SOS 1442325 HAS SOPS 1000604 HAS SOUS 981141 HAS SOUPS 907955 WITH SCORE 909397.325
AT ITER 493 NEW BEST:: SOT 2263784 SOS 1442325 HAS SOPS 1000632 HAS SOUS 980986 HAS SOUPS 907800 WITH SCORE 909242.325
AT ITER 495 NEW BEST:: SOT 2263784 SOS 1442325 HAS SOPS 1000631 HAS SOUS 980985 HAS SOUPS 907799 WITH SCORE 909241.325
AT ITER 499 NEW BEST:: SOT 2263784 SOS 1442325 HAS SOPS 1000073 HAS SOUS 980325 HAS SOUPS 907139 WITH SCORE 908581.325
AT ITER 512 NEW BEST:: SOT 2263867 SOS 1442408 HAS SOPS 999782 HAS SOUS 980137 HAS SOUPS 906849 WITH SCORE 908291.408
AT ITER 514 NEW BEST:: SOT 2263605 SOS 1442146 HAS SOPS 999257 HAS SOUS 979612 HAS SOUPS 906062 WITH SCORE 907504.146
AT ITER 515 NEW BEST:: SOT 2263605 SOS 1442146 HAS SOPS 999061 HAS SOUS 979415 HAS SOUPS 905865 WITH SCORE 907307.146
AT ITER 522 NEW BEST:: SOT 2263312 SOS 1441853 HAS SOPS 998625 HAS SOUS 978866 HAS SOUPS 905260 WITH SCORE 906701.853
AT ITER 525 NEW BEST:: SOT 2263355 SOS 1442416 HAS SOPS 998478 HAS SOUS 979004 HAS SOUPS 905113 WITH SCORE 906555.416
AT ITER 531 NEW BEST:: SOT 2263366 SOS 1442438 HAS SOPS 998077 HAS SOUS 979219 HAS SOUPS 904713 WITH SCORE 906155.438
AT ITER 533 NEW BEST:: SOT 2263251 SOS 1442323 HAS SOPS 997847 HAS SOUS 979099 HAS SOUPS 904483 WITH SCORE 905925.323
AT ITER 542 NEW BEST:: SOT 2263289 SOS 1443851 HAS SOPS 997627 HAS SOUS 979134 HAS SOUPS 904263 WITH SCORE 905706.851
AT ITER 546 NEW BEST:: SOT 2263027 SOS 1438349 HAS SOPS 997627 HAS SOUS 978872 HAS SOUPS 904263 WITH SCORE 905701.349
AT ITER 549 NEW BEST:: SOT 2262988 SOS 1438310 HAS SOPS 997548 HAS SOUS 978794 HAS SOUPS 904146 WITH SCORE 905584.31
AT ITER 550 NEW BEST:: SOT 2262988 SOS 1438310 HAS SOPS 997378 HAS SOUS 978687 HAS SOUPS 903976 WITH SCORE 905414.31
AT ITER 559 NEW BEST:: SOT 2262990 SOS 1438314 HAS SOPS 997359 HAS SOUS 978668 HAS SOUPS 903957 WITH SCORE 905395.314
AT ITER 564 NEW BEST:: SOT 2263071 SOS 1438475 HAS SOPS 997034 HAS SOUS 979078 HAS SOUPS 903633 WITH SCORE 905071.475
AT ITER 567 NEW BEST:: SOT 2263025 SOS 1438429 HAS SOPS 996942 HAS SOUS 978986 HAS SOUPS 903495 WITH SCORE 904933.429
AT ITER 570 NEW BEST:: SOT 2263328 SOS 1438732 HAS SOPS 997026 HAS SOUS 978670 HAS SOUPS 903179 WITH SCORE 904617.732
AT ITER 573 NEW BEST:: SOT 2263107 SOS 1438511 HAS SOPS 996583 HAS SOUS 978191 HAS SOUPS 902515 WITH SCORE 903953.511
AT ITER 584 NEW BEST:: SOT 2262949 SOS 1438353 HAS SOPS 996267 HAS SOUS 977875 HAS SOUPS 902199 WITH SCORE 903637.353
AT ITER 585 NEW BEST:: SOT 2263002 SOS 1438585 HAS SOPS 996251 HAS SOUS 978001 HAS SOUPS 902183 WITH SCORE 903621.585
AT ITER 589 NEW BEST:: SOT 2263002 SOS 1438585 HAS SOPS 995911 HAS SOUS 977662 HAS SOUPS 901844 WITH SCORE 903282.585
AT ITER 599 NEW BEST:: SOT 2263002 SOS 1438585 HAS SOPS 995842 HAS SOUS 977593 HAS SOUPS 901775 WITH SCORE 903213.585
AT ITER 606 NEW BEST:: SOT 2263002 SOS 1438585 HAS SOPS 995840 HAS SOUS 977591 HAS SOUPS 901773 WITH SCORE 903211.585
AT ITER 608 NEW BEST:: SOT 2263002 SOS 1438585 HAS SOPS 995509 HAS SOUS 977260 HAS SOUPS 901442 WITH SCORE 902880.585
AT ITER 619 NEW BEST:: SOT 2262895 SOS 1438478 HAS SOPS 995402 HAS SOUS 977153 HAS SOUPS 901335 WITH SCORE 902773.478
AT ITER 622 NEW BEST:: SOT 2262756 SOS 1438339 HAS SOPS 995250 HAS SOUS 977001 HAS SOUPS 901183 WITH SCORE 902621.339
AT ITER 623 NEW BEST:: SOT 2262581 SOS 1438164 HAS SOPS 995075 HAS SOUS 976826 HAS SOUPS 901008 WITH SCORE 902446.164
AT ITER 630 NEW BEST:: SOT 2262587 SOS 1438176 HAS SOPS 994926 HAS SOUS 976678 HAS SOUPS 900860 WITH SCORE 902298.176
AT ITER 638 NEW BEST:: SOT 2252465 SOS 1428054 HAS SOPS 984804 HAS SOUS 966556 HAS SOUPS 890738 WITH SCORE 892166.054
AT ITER 639 NEW BEST:: SOT 2252465 SOS 1428054 HAS SOPS 984858 HAS SOUS 965763 HAS SOUPS 890380 WITH SCORE 891808.054
AT ITER 650 NEW BEST:: SOT 2252205 SOS 1427794 HAS SOPS 984077 HAS SOUS 965431 HAS SOUPS 889600 WITH SCORE 891027.794
AT ITER 654 NEW BEST:: SOT 2252277 SOS 1427937 HAS SOPS 983897 HAS SOUS 965777 HAS SOUPS 889421 WITH SCORE 890848.937
AT ITER 656 NEW BEST:: SOT 2252433 SOS 1431753 HAS SOPS 983870 HAS SOUS 965933 HAS SOUPS 889394 WITH SCORE 890825.753
AT ITER 658 NEW BEST:: SOT 2252338 SOS 1431658 HAS SOPS 983697 HAS SOUS 965677 HAS SOUPS 889127 WITH SCORE 890558.658
AT ITER 665 NEW BEST:: SOT 2252338 SOS 1431658 HAS SOPS 983303 HAS SOUS 965764 HAS SOUPS 888955 WITH SCORE 890386.658
AT ITER 674 NEW BEST:: SOT 2252338 SOS 1431658 HAS SOPS 983154 HAS SOUS 965592 HAS SOUPS 888657 WITH SCORE 890088.658
AT ITER 675 NEW BEST:: SOT 2251870 SOS 1431190 HAS SOPS 983154 HAS SOUS 965592 HAS SOUPS 888657 WITH SCORE 890088.19
AT ITER 676 NEW BEST:: SOT 2251889 SOS 1431429 HAS SOPS 983151 HAS SOUS 965633 HAS SOUPS 888654 WITH SCORE 890085.429
AT ITER 686 NEW BEST:: SOT 2252084 SOS 1431801 HAS SOPS 982972 HAS SOUS 966157 HAS SOUPS 888476 WITH SCORE 889907.801
AT ITER 687 NEW BEST:: SOT 2252084 SOS 1431801 HAS SOPS 982891 HAS SOUS 966157 HAS SOUPS 888395 WITH SCORE 889826.801
AT ITER 695 NEW BEST:: SOT 2252084 SOS 1431801 HAS SOPS 982906 HAS SOUS 966137 HAS SOUPS 888375 WITH SCORE 889806.801
AT ITER 700 NEW BEST:: SOT 2252084 SOS 1431801 HAS SOPS 981962 HAS SOUS 966103 HAS SOUPS 888307 WITH SCORE 889738.801
AT ITER 706 NEW BEST:: SOT 2252084 SOS 1431801 HAS SOPS 981689 HAS SOUS 965800 HAS SOUPS 887858 WITH SCORE 889289.801
AT ITER 709 NEW BEST:: SOT 2252187 SOS 1431985 HAS SOPS 981537 HAS SOUS 965941 HAS SOUPS 887706 WITH SCORE 889137.985
AT ITER 710 NEW BEST:: SOT 2252275 SOS 1433303 HAS SOPS 981348 HAS SOUS 966095 HAS SOUPS 887517 WITH SCORE 888950.303
AT ITER 714 NEW BEST:: SOT 2252275 SOS 1433303 HAS SOPS 981438 HAS SOUS 965682 HAS SOUPS 887104 WITH SCORE 888537.303
AT ITER 715 NEW BEST:: SOT 2252275 SOS 1433303 HAS SOPS 981547 HAS SOUS 965466 HAS SOUPS 886888 WITH SCORE 888321.303
AT ITER 717 NEW BEST:: SOT 2252467 SOS 1433623 HAS SOPS 981499 HAS SOUS 965419 HAS SOUPS 886841 WITH SCORE 888274.623
AT ITER 722 NEW BEST:: SOT 2252260 SOS 1433416 HAS SOPS 980671 HAS SOUS 965005 HAS SOUPS 886220 WITH SCORE 887653.416
AT ITER 730 NEW BEST:: SOT 2252260 SOS 1433416 HAS SOPS 980982 HAS SOUS 964696 HAS SOUPS 885775 WITH SCORE 887208.416
AT ITER 731 NEW BEST:: SOT 2252592 SOS 1439541 HAS SOPS 980318 HAS SOUS 965319 HAS SOUPS 885111 WITH SCORE 886550.541
AT ITER 739 NEW BEST:: SOT 2252559 SOS 1439409 HAS SOPS 980383 HAS SOUS 965144 HAS SOUPS 884969 WITH SCORE 886408.409
AT ITER 740 NEW BEST:: SOT 2252559 SOS 1439409 HAS SOPS 980382 HAS SOUS 964904 HAS SOUPS 884729 WITH SCORE 886168.409
AT ITER 745 NEW BEST:: SOT 2252559 SOS 1439409 HAS SOPS 980707 HAS SOUS 964903 HAS SOUPS 884728 WITH SCORE 886167.409
AT ITER 749 NEW BEST:: SOT 2252559 SOS 1439409 HAS SOPS 980533 HAS SOUS 964729 HAS SOUPS 884467 WITH SCORE 885906.409
AT ITER 754 NEW BEST:: SOT 2252559 SOS 1439409 HAS SOPS 980525 HAS SOUS 964729 HAS SOUPS 884459 WITH SCORE 885898.409
AT ITER 761 NEW BEST:: SOT 2252561 SOS 1441391 HAS SOPS 980325 HAS SOUS 964792 HAS SOUPS 884259 WITH SCORE 885700.391
AT ITER 762 NEW BEST:: SOT 2252293 SOS 1441123 HAS SOPS 979303 HAS SOUS 964097 HAS SOUPS 883238 WITH SCORE 884679.123
AT ITER 768 NEW BEST:: SOT 2252341 SOS 1442621 HAS SOPS 979058 HAS SOUS 964036 HAS SOUPS 882993 WITH SCORE 884435.621
AT ITER 769 NEW BEST:: SOT 2252341 SOS 1442621 HAS SOPS 978927 HAS SOUS 963899 HAS SOUPS 882856 WITH SCORE 884298.621
AT ITER 775 NEW BEST:: SOT 2252341 SOS 1442621 HAS SOPS 978910 HAS SOUS 963678 HAS SOUPS 882635 WITH SCORE 884077.621
AT ITER 779 NEW BEST:: SOT 2252434 SOS 1442714 HAS SOPS 978718 HAS SOUS 963237 HAS SOUPS 882132 WITH SCORE 883574.714
AT ITER 782 NEW BEST:: SOT 2252337 SOS 1442617 HAS SOPS 978440 HAS SOUS 963097 HAS SOUPS 881854 WITH SCORE 883296.617
AT ITER 783 NEW BEST:: SOT 2252085 SOS 1442365 HAS SOPS 978188 HAS SOUS 962845 HAS SOUPS 881602 WITH SCORE 883044.365
AT ITER 796 NEW BEST:: SOT 2252203 SOS 1448383 HAS SOPS 977904 HAS SOUS 963067 HAS SOUPS 881318 WITH SCORE 882766.383
AT ITER 803 NEW BEST:: SOT 2252373 SOS 1448553 HAS SOPS 976704 HAS SOUS 963390 HAS SOUPS 880119 WITH SCORE 881567.553
AT ITER 806 NEW BEST:: SOT 2252373 SOS 1448553 HAS SOPS 976664 HAS SOUS 963349 HAS SOUPS 880078 WITH SCORE 881526.553
AT ITER 813 NEW BEST:: SOT 2252237 SOS 1448417 HAS SOPS 976391 HAS SOUS 963077 HAS SOUPS 879670 WITH SCORE 881118.417
AT ITER 814 NEW BEST:: SOT 2252237 SOS 1448417 HAS SOPS 976138 HAS SOUS 962346 HAS SOUPS 879146 WITH SCORE 880594.417
AT ITER 818 NEW BEST:: SOT 2252240 SOS 1448420 HAS SOPS 976062 HAS SOUS 962349 HAS SOUPS 879070 WITH SCORE 880518.42
AT ITER 819 NEW BEST:: SOT 2252088 SOS 1448268 HAS SOPS 976053 HAS SOUS 962340 HAS SOUPS 879061 WITH SCORE 880509.268
AT ITER 824 NEW BEST:: SOT 2252148 SOS 1449698 HAS SOPS 975942 HAS SOUS 962487 HAS SOUPS 878950 WITH SCORE 880399.698
AT ITER 827 NEW BEST:: SOT 2251803 SOS 1447782 HAS SOPS 975890 HAS SOUS 962276 HAS SOUPS 878899 WITH SCORE 880346.782
AT ITER 828 NEW BEST:: SOT 2251803 SOS 1448072 HAS SOPS 975832 HAS SOUS 962280 HAS SOUPS 878841 WITH SCORE 880289.072
AT ITER 829 NEW BEST:: SOT 2251803 SOS 1448072 HAS SOPS 975657 HAS SOUS 962106 HAS SOUPS 878667 WITH SCORE 880115.072
AT ITER 836 NEW BEST:: SOT 2251803 SOS 1448072 HAS SOPS 975634 HAS SOUS 962084 HAS SOUPS 878622 WITH SCORE 880070.072
AT ITER 837 NEW BEST:: SOT 2251803 SOS 1448072 HAS SOPS 975530 HAS SOUS 961990 HAS SOUPS 878518 WITH SCORE 879966.072
AT ITER 848 NEW BEST:: SOT 2251803 SOS 1448072 HAS SOPS 975356 HAS SOUS 961816 HAS SOUPS 878344 WITH SCORE 879792.072
AT ITER 852 NEW BEST:: SOT 2251803 SOS 1448072 HAS SOPS 975356 HAS SOUS 961761 HAS SOUPS 878289 WITH SCORE 879737.072
AT ITER 853 NEW BEST:: SOT 2251803 SOS 1448072 HAS SOPS 975352 HAS SOUS 961761 HAS SOUPS 878285 WITH SCORE 879733.072
AT ITER 854 NEW BEST:: SOT 2251803 SOS 1448072 HAS SOPS 975152 HAS SOUS 961561 HAS SOUPS 878085 WITH SCORE 879533.072
AT ITER 855 NEW BEST:: SOT 2251803 SOS 1448072 HAS SOPS 974604 HAS SOUS 961013 HAS SOUPS 877537 WITH SCORE 878985.072
AT ITER 867 NEW BEST:: SOT 2251803 SOS 1448072 HAS SOPS 974344 HAS SOUS 960495 HAS SOUPS 877019 WITH SCORE 878467.072
AT ITER 871 NEW BEST:: SOT 2251503 SOS 1447772 HAS SOPS 973532 HAS SOUS 959947 HAS SOUPS 876207 WITH SCORE 877654.772
AT ITER 877 NEW BEST:: SOT 2251519 SOS 1448490 HAS SOPS 973466 HAS SOUS 960041 HAS SOUPS 876141 WITH SCORE 877589.49
AT ITER 884 NEW BEST:: SOT 2251496 SOS 1449317 HAS SOPS 973443 HAS SOUS 960068 HAS SOUPS 876118 WITH SCORE 877567.317
AT ITER 886 NEW BEST:: SOT 2251464 SOS 1449285 HAS SOPS 973411 HAS SOUS 960036 HAS SOUPS 876086 WITH SCORE 877535.285
AT ITER 890 NEW BEST:: SOT 2251797 SOS 1452478 HAS SOPS 972793 HAS SOUS 959705 HAS SOUPS 875468 WITH SCORE 876920.478
AT ITER 898 NEW BEST:: SOT 2251797 SOS 1452478 HAS SOPS 972569 HAS SOUS 959215 HAS SOUPS 874978 WITH SCORE 876430.478
AT ITER 902 NEW BEST:: SOT 2252061 SOS 1452742 HAS SOPS 972480 HAS SOUS 959127 HAS SOUPS 874890 WITH SCORE 876342.742
AT ITER 915 NEW BEST:: SOT 2252004 SOS 1452685 HAS SOPS 972707 HAS SOUS 958979 HAS SOUPS 874776 WITH SCORE 876228.685
AT ITER 918 NEW BEST:: SOT 2252004 SOS 1452685 HAS SOPS 972707 HAS SOUS 958775 HAS SOUPS 874572 WITH SCORE 876024.685
AT ITER 921 NEW BEST:: SOT 2252391 SOS 1460392 HAS SOPS 972667 HAS SOUS 959528 HAS SOUPS 874532 WITH SCORE 875992.392
AT ITER 923 NEW BEST:: SOT 2252391 SOS 1460392 HAS SOPS 972533 HAS SOUS 959394 HAS SOUPS 874398 WITH SCORE 875858.392
AT ITER 926 NEW BEST:: SOT 2252391 SOS 1460392 HAS SOPS 972648 HAS SOUS 959318 HAS SOUPS 874128 WITH SCORE 875588.392
AT ITER 936 NEW BEST:: SOT 2252391 SOS 1460392 HAS SOPS 972535 HAS SOUS 959205 HAS SOUPS 874015 WITH SCORE 875475.392
AT ITER 937 NEW BEST:: SOT 2252305 SOS 1460306 HAS SOPS 972362 HAS SOUS 958895 HAS SOUPS 873705 WITH SCORE 875165.306
AT ITER 939 NEW BEST:: SOT 2252305 SOS 1460306 HAS SOPS 971997 HAS SOUS 958526 HAS SOUPS 873309 WITH SCORE 874769.306
AT ITER 940 NEW BEST:: SOT 2252305 SOS 1445659 HAS SOPS 957444 HAS SOUS 957877 HAS SOUPS 872660 WITH SCORE 874105.659
AT ITER 942 NEW BEST:: SOT 2252159 SOS 1445513 HAS SOPS 956735 HAS SOUS 957373 HAS SOUPS 872316 WITH SCORE 873761.513
AT ITER 943 NEW BEST:: SOT 2252534 SOS 1453708 HAS SOPS 956595 HAS SOUS 957738 HAS SOUPS 872176 WITH SCORE 873629.708
AT ITER 954 NEW BEST:: SOT 2252534 SOS 1453708 HAS SOPS 956761 HAS SOUS 957555 HAS SOUPS 871993 WITH SCORE 873446.708
AT ITER 955 NEW BEST:: SOT 2252534 SOS 1453708 HAS SOPS 956701 HAS SOUS 957494 HAS SOUPS 871932 WITH SCORE 873385.708
AT ITER 966 NEW BEST:: SOT 2252405 SOS 1453579 HAS SOPS 956386 HAS SOUS 957249 HAS SOUPS 871617 WITH SCORE 873070.579
AT ITER 968 NEW BEST:: SOT 2252405 SOS 1453579 HAS SOPS 956265 HAS SOUS 957164 HAS SOUPS 871532 WITH SCORE 872985.579
AT ITER 973 NEW BEST:: SOT 2252533 SOS 1453834 HAS SOPS 955981 HAS SOUS 956881 HAS SOUPS 871249 WITH SCORE 872702.834
AT ITER 974 NEW BEST:: SOT 2252533 SOS 1453834 HAS SOPS 956343 HAS SOUS 956712 HAS SOUPS 871201 WITH SCORE 872654.834
AT ITER 977 NEW BEST:: SOT 2252533 SOS 1453834 HAS SOPS 955606 HAS SOUS 956380 HAS SOUPS 870728 WITH SCORE 872181.834
AT ITER 978 NEW BEST:: SOT 2252533 SOS 1453834 HAS SOPS 955295 HAS SOUS 956070 HAS SOUPS 870418 WITH SCORE 871871.834
AT ITER 983 NEW BEST:: SOT 2252533 SOS 1453834 HAS SOPS 954918 HAS SOUS 956021 HAS SOUPS 870369 WITH SCORE 871822.834
AT ITER 986 NEW BEST:: SOT 2252533 SOS 1453834 HAS SOPS 954101 HAS SOUS 955238 HAS SOUPS 869553 WITH SCORE 871006.834
AT ITER 987 NEW BEST:: SOT 2252176 SOS 1453477 HAS SOPS 954273 HAS SOUS 955012 HAS SOUPS 869468 WITH SCORE 870921.477
AT ITER 988 NEW BEST:: SOT 2252176 SOS 1453487 HAS SOPS 953428 HAS SOUS 954689 HAS SOUPS 868956 WITH SCORE 870409.487
AT ITER 989 NEW BEST:: SOT 2252146 SOS 1453457 HAS SOPS 953398 HAS SOUS 954659 HAS SOUPS 868926 WITH SCORE 870379.457
AT ITER 990 NEW BEST:: SOT 2252040 SOS 1453351 HAS SOPS 953684 HAS SOUS 954627 HAS SOUPS 868894 WITH SCORE 870347.351
AT ITER 994 NEW BEST:: SOT 2252231 SOS 1453732 HAS SOPS 953461 HAS SOUS 955009 HAS SOUPS 868672 WITH SCORE 870125.732
AT ITER 998 NEW BEST:: SOT 2252296 SOS 1455603 HAS SOPS 953385 HAS SOUS 955033 HAS SOUPS 868596 WITH SCORE 870051.603
AT ITER 999 NEW BEST:: SOT 2252296 SOS 1455863 HAS SOPS 953114 HAS SOUS 954762 HAS SOUPS 868325 WITH SCORE 869780.863
AT ITER 1003 NEW BEST:: SOT 2251643 SOS 1450641 HAS SOPS 952706 HAS SOUS 953861 HAS SOUPS 867918 WITH SCORE 869368.641
AT ITER 1006 NEW BEST:: SOT 2251643 SOS 1450641 HAS SOPS 952571 HAS SOUS 953725 HAS SOUPS 867782 WITH SCORE 869232.641
AT ITER 1007 NEW BEST:: SOT 2251643 SOS 1450641 HAS SOPS 952168 HAS SOUS 953569 HAS SOUPS 867585 WITH SCORE 869035.641
AT ITER 1009 NEW BEST:: SOT 2251736 SOS 1450734 HAS SOPS 951853 HAS SOUS 953967 HAS SOUPS 867271 WITH SCORE 868721.734
AT ITER 1014 NEW BEST:: SOT 2251625 SOS 1450623 HAS SOPS 951509 HAS SOUS 953734 HAS SOUPS 866927 WITH SCORE 868377.623
AT ITER 1024 NEW BEST:: SOT 2251625 SOS 1450623 HAS SOPS 951478 HAS SOUS 953703 HAS SOUPS 866896 WITH SCORE 868346.623
AT ITER 1027 NEW BEST:: SOT 2251594 SOS 1450569 HAS SOPS 951415 HAS SOUS 953648 HAS SOUPS 866833 WITH SCORE 868283.569
AT ITER 1031 NEW BEST:: SOT 2251448 SOS 1450423 HAS SOPS 951049 HAS SOUS 953318 HAS SOUPS 866357 WITH SCORE 867807.423
AT ITER 1036 NEW BEST:: SOT 2251326 SOS 1450301 HAS SOPS 950841 HAS SOUS 953225 HAS SOUPS 866149 WITH SCORE 867599.301
AT ITER 1038 NEW BEST:: SOT 2251326 SOS 1450301 HAS SOPS 950299 HAS SOUS 952865 HAS SOUPS 865616 WITH SCORE 867066.301
AT ITER 1039 NEW BEST:: SOT 2251326 SOS 1450301 HAS SOPS 950286 HAS SOUS 952852 HAS SOUPS 865603 WITH SCORE 867053.301
AT ITER 1051 NEW BEST:: SOT 2251326 SOS 1450348 HAS SOPS 950237 HAS SOUS 953192 HAS SOUPS 865554 WITH SCORE 867004.348
AT ITER 1054 NEW BEST:: SOT 2251326 SOS 1450348 HAS SOPS 950201 HAS SOUS 953083 HAS SOUPS 865445 WITH SCORE 866895.348
AT ITER 1064 NEW BEST:: SOT 2250974 SOS 1449996 HAS SOPS 949371 HAS SOUS 952417 HAS SOUPS 864264 WITH SCORE 865713.996
AT ITER 1070 NEW BEST:: SOT 2250974 SOS 1449996 HAS SOPS 948544 HAS SOUS 952192 HAS SOUPS 863546 WITH SCORE 864995.996
AT ITER 1083 NEW BEST:: SOT 2251024 SOS 1450046 HAS SOPS 948505 HAS SOUS 952154 HAS SOUPS 863508 WITH SCORE 864958.046
AT ITER 1093 NEW BEST:: SOT 2251367 SOS 1450389 HAS SOPS 948591 HAS SOUS 951969 HAS SOUPS 863282 WITH SCORE 864732.389
AT ITER 1101 NEW BEST:: SOT 2251275 SOS 1450297 HAS SOPS 948407 HAS SOUS 951844 HAS SOUPS 863098 WITH SCORE 864548.297
AT ITER 1106 NEW BEST:: SOT 2251275 SOS 1450297 HAS SOPS 948343 HAS SOUS 951780 HAS SOUPS 863034 WITH SCORE 864484.297
AT ITER 1109 NEW BEST:: SOT 2251275 SOS 1450297 HAS SOPS 947347 HAS SOUS 951608 HAS SOUPS 862862 WITH SCORE 864312.297
AT ITER 1113 NEW BEST:: SOT 2251275 SOS 1450297 HAS SOPS 947102 HAS SOUS 951217 HAS SOUPS 862471 WITH SCORE 863921.297
AT ITER 1117 NEW BEST:: SOT 2251188 SOS 1450210 HAS SOPS 947071 HAS SOUS 951130 HAS SOUPS 862440 WITH SCORE 863890.21
AT ITER 1124 NEW BEST:: SOT 2251188 SOS 1450210 HAS SOPS 946817 HAS SOUS 950912 HAS SOUPS 862186 WITH SCORE 863636.21
AT ITER 1132 NEW BEST:: SOT 2251188 SOS 1450210 HAS SOPS 946655 HAS SOUS 950779 HAS SOUPS 862024 WITH SCORE 863474.21
AT ITER 1142 NEW BEST:: SOT 2251188 SOS 1450210 HAS SOPS 946443 HAS SOUS 950421 HAS SOUPS 861666 WITH SCORE 863116.21
AT ITER 1150 NEW BEST:: SOT 2251188 SOS 1450210 HAS SOPS 946196 HAS SOUS 950185 HAS SOUPS 861430 WITH SCORE 862880.21
AT ITER 1154 NEW BEST:: SOT 2251009 SOS 1450031 HAS SOPS 945800 HAS SOUS 949827 HAS SOUPS 861034 WITH SCORE 862484.031
AT ITER 1161 NEW BEST:: SOT 2250921 SOS 1449943 HAS SOPS 945670 HAS SOUS 949697 HAS SOUPS 860904 WITH SCORE 862353.943
AT ITER 1172 NEW BEST:: SOT 2251022 SOS 1450044 HAS SOPS 945625 HAS SOUS 949754 HAS SOUPS 860860 WITH SCORE 862310.044
AT ITER 1177 NEW BEST:: SOT 2250362 SOS 1449384 HAS SOPS 945219 HAS SOUS 949483 HAS SOUPS 860589 WITH SCORE 862038.384
AT ITER 1183 NEW BEST:: SOT 2250364 SOS 1450126 HAS SOPS 945073 HAS SOUS 949411 HAS SOUPS 860443 WITH SCORE 861893.126
AT ITER 1185 NEW BEST:: SOT 2250364 SOS 1450126 HAS SOPS 945179 HAS SOUS 949275 HAS SOUPS 860363 WITH SCORE 861813.126
AT ITER 1203 NEW BEST:: SOT 2250116 SOS 1449878 HAS SOPS 944547 HAS SOUS 948579 HAS SOUPS 859619 WITH SCORE 861068.878
AT ITER 1207 NEW BEST:: SOT 2250074 SOS 1449836 HAS SOPS 944547 HAS SOUS 948579 HAS SOUPS 859619 WITH SCORE 861068.836
AT ITER 1208 NEW BEST:: SOT 2250074 SOS 1449836 HAS SOPS 944323 HAS SOUS 948489 HAS SOUPS 859514 WITH SCORE 860963.836
AT ITER 1212 NEW BEST:: SOT 2250074 SOS 1449836 HAS SOPS 943994 HAS SOUS 947833 HAS SOUPS 858858 WITH SCORE 860307.836
AT ITER 1220 NEW BEST:: SOT 2250074 SOS 1449777 HAS SOPS 943983 HAS SOUS 947959 HAS SOUPS 858847 WITH SCORE 860296.777
AT ITER 1222 NEW BEST:: SOT 2250589 SOS 1455792 HAS SOPS 943948 HAS SOUS 948578 HAS SOUPS 858812 WITH SCORE 860267.792
AT ITER 1229 NEW BEST:: SOT 2250589 SOS 1455792 HAS SOPS 944222 HAS SOUS 948404 HAS SOUPS 858679 WITH SCORE 860134.792
AT ITER 1238 NEW BEST:: SOT 2250491 SOS 1455694 HAS SOPS 944124 HAS SOUS 948306 HAS SOUPS 858581 WITH SCORE 860036.694
AT ITER 1240 NEW BEST:: SOT 2250669 SOS 1455872 HAS SOPS 943988 HAS SOUS 948170 HAS SOUPS 858445 WITH SCORE 859900.872
AT ITER 1244 NEW BEST:: SOT 2250669 SOS 1455872 HAS SOPS 943846 HAS SOUS 948028 HAS SOUPS 858303 WITH SCORE 859758.872
AT ITER 1249 NEW BEST:: SOT 2251219 SOS 1441577 HAS SOPS 928460 HAS SOUS 947469 HAS SOUPS 857744 WITH SCORE 859185.577
AT ITER 1251 NEW BEST:: SOT 2251383 SOS 1441940 HAS SOPS 928426 HAS SOUS 947713 HAS SOUPS 857710 WITH SCORE 859151.94
AT ITER 1258 NEW BEST:: SOT 2251113 SOS 1441670 HAS SOPS 927954 HAS SOUS 947423 HAS SOUPS 857479 WITH SCORE 858920.67
AT ITER 1260 NEW BEST:: SOT 2251442 SOS 1448562 HAS SOPS 927435 HAS SOUS 947765 HAS SOUPS 856960 WITH SCORE 858408.562
AT ITER 1261 NEW BEST:: SOT 2251442 SOS 1448562 HAS SOPS 926733 HAS SOUS 946947 HAS SOUPS 856142 WITH SCORE 857590.562
AT ITER 1263 NEW BEST:: SOT 2251442 SOS 1448562 HAS SOPS 926672 HAS SOUS 946946 HAS SOUPS 856141 WITH SCORE 857589.562
AT ITER 1265 NEW BEST:: SOT 2251442 SOS 1449412 HAS SOPS 926502 HAS SOUS 946861 HAS SOUPS 855971 WITH SCORE 857420.412
AT ITER 1266 NEW BEST:: SOT 2251442 SOS 1449412 HAS SOPS 926479 HAS SOUS 946846 HAS SOUPS 855956 WITH SCORE 857405.412
AT ITER 1274 NEW BEST:: SOT 2251879 SOS 1455618 HAS SOPS 926305 HAS SOUS 947052 HAS SOUPS 855782 WITH SCORE 857237.618
AT ITER 1276 NEW BEST:: SOT 2251879 SOS 1455618 HAS SOPS 926384 HAS SOUS 946901 HAS SOUPS 855631 WITH SCORE 857086.618
AT ITER 1280 NEW BEST:: SOT 2251853 SOS 1455592 HAS SOPS 925349 HAS SOUS 946440 HAS SOUPS 855012 WITH SCORE 856467.592
AT ITER 1281 NEW BEST:: SOT 2252857 SOS 1456352 HAS SOPS 918992 HAS SOUS 940083 HAS SOUPS 848655 WITH SCORE 850111.352
AT ITER 1284 NEW BEST:: SOT 2252914 SOS 1461669 HAS SOPS 918470 HAS SOUS 939995 HAS SOUPS 848133 WITH SCORE 849594.669
AT ITER 1301 NEW BEST:: SOT 2252193 SOS 1460588 HAS SOPS 918171 HAS SOUS 939624 HAS SOUPS 847835 WITH SCORE 849295.588
AT ITER 1304 NEW BEST:: SOT 2252093 SOS 1460488 HAS SOPS 918071 HAS SOUS 939524 HAS SOUPS 847735 WITH SCORE 849195.488
AT ITER 1305 NEW BEST:: SOT 2252093 SOS 1460488 HAS SOPS 918043 HAS SOUS 939525 HAS SOUPS 847707 WITH SCORE 849167.488
AT ITER 1315 NEW BEST:: SOT 2252179 SOS 1460574 HAS SOPS 918031 HAS SOUS 939513 HAS SOUPS 847695 WITH SCORE 849155.574
AT ITER 1316 NEW BEST:: SOT 2251881 SOS 1460276 HAS SOPS 917156 HAS SOUS 938981 HAS SOUPS 847099 WITH SCORE 848559.276
AT ITER 1323 NEW BEST:: SOT 2251881 SOS 1460276 HAS SOPS 916773 HAS SOUS 938731 HAS SOUPS 846717 WITH SCORE 848177.276
AT ITER 1326 NEW BEST:: SOT 2252299 SOS 1466386 HAS SOPS 916755 HAS SOUS 939435 HAS SOUPS 846699 WITH SCORE 848165.386
AT ITER 1332 NEW BEST:: SOT 2252037 SOS 1461032 HAS SOPS 916755 HAS SOUS 939147 HAS SOUPS 846699 WITH SCORE 848160.032
AT ITER 1333 NEW BEST:: SOT 2252037 SOS 1461032 HAS SOPS 916695 HAS SOUS 939087 HAS SOUPS 846639 WITH SCORE 848100.032
AT ITER 1334 NEW BEST:: SOT 2252037 SOS 1461032 HAS SOPS 916663 HAS SOUS 938848 HAS SOUPS 846400 WITH SCORE 847861.032
AT ITER 1336 NEW BEST:: SOT 2251723 SOS 1460718 HAS SOPS 915697 HAS SOUS 937798 HAS SOUPS 845350 WITH SCORE 846810.718
AT ITER 1341 NEW BEST:: SOT 2251723 SOS 1460718 HAS SOPS 915697 HAS SOUS 937554 HAS SOUPS 845106 WITH SCORE 846566.718
AT ITER 1349 NEW BEST:: SOT 2251689 SOS 1460684 HAS SOPS 915667 HAS SOUS 937521 HAS SOUPS 845073 WITH SCORE 846533.684
AT ITER 1354 NEW BEST:: SOT 2251472 SOS 1460414 HAS SOPS 915232 HAS SOUS 937194 HAS SOUPS 844638 WITH SCORE 846098.414
AT ITER 1355 NEW BEST:: SOT 2251417 SOS 1460359 HAS SOPS 915232 HAS SOUS 937194 HAS SOUPS 844638 WITH SCORE 846098.359
AT ITER 1362 NEW BEST:: SOT 2251401 SOS 1460327 HAS SOPS 915199 HAS SOUS 937177 HAS SOUPS 844621 WITH SCORE 846081.327
AT ITER 1366 NEW BEST:: SOT 2251170 SOS 1459414 HAS SOPS 915199 HAS SOUS 936946 HAS SOUPS 844621 WITH SCORE 846080.414
AT ITER 1367 NEW BEST:: SOT 2251106 SOS 1459350 HAS SOPS 915071 HAS SOUS 936818 HAS SOUPS 844493 WITH SCORE 845952.35
AT ITER 1368 NEW BEST:: SOT 2251106 SOS 1459350 HAS SOPS 915011 HAS SOUS 936758 HAS SOUPS 844433 WITH SCORE 845892.35
AT ITER 1373 NEW BEST:: SOT 2251106 SOS 1459350 HAS SOPS 915011 HAS SOUS 936647 HAS SOUPS 844322 WITH SCORE 845781.35
AT ITER 1376 NEW BEST:: SOT 2251027 SOS 1459271 HAS SOPS 914500 HAS SOUS 936039 HAS SOUPS 843712 WITH SCORE 845171.271
AT ITER 1381 NEW BEST:: SOT 2250828 SOS 1459072 HAS SOPS 914301 HAS SOUS 935840 HAS SOUPS 843513 WITH SCORE 844972.072
AT ITER 1383 NEW BEST:: SOT 2250828 SOS 1459072 HAS SOPS 914249 HAS SOUS 935878 HAS SOUPS 843461 WITH SCORE 844920.072
AT ITER 1385 NEW BEST:: SOT 2250895 SOS 1459205 HAS SOPS 913900 HAS SOUS 935624 HAS SOUPS 843113 WITH SCORE 844572.205
AT ITER 1388 NEW BEST:: SOT 2250624 SOS 1458934 HAS SOPS 913357 HAS SOUS 934636 HAS SOUPS 842317 WITH SCORE 843775.934
AT ITER 1390 NEW BEST:: SOT 2250947 SOS 1465204 HAS SOPS 913124 HAS SOUS 934716 HAS SOUPS 842084 WITH SCORE 843549.204
AT ITER 1391 NEW BEST:: SOT 2250759 SOS 1465016 HAS SOPS 913044 HAS SOUS 934602 HAS SOUPS 841816 WITH SCORE 843281.016
AT ITER 1414 NEW BEST:: SOT 2250759 SOS 1465016 HAS SOPS 912919 HAS SOUS 934589 HAS SOUPS 841803 WITH SCORE 843268.016
AT ITER 1423 NEW BEST:: SOT 2250759 SOS 1465016 HAS SOPS 912857 HAS SOUS 934162 HAS SOUPS 841759 WITH SCORE 843224.016
AT ITER 1424 NEW BEST:: SOT 2250759 SOS 1465016 HAS SOPS 912754 HAS SOUS 934059 HAS SOUPS 841656 WITH SCORE 843121.016
AT ITER 1438 NEW BEST:: SOT 2250274 SOS 1464531 HAS SOPS 912442 HAS SOUS 934059 HAS SOUPS 841656 WITH SCORE 843120.531
AT ITER 1446 NEW BEST:: SOT 2250044 SOS 1464301 HAS SOPS 912243 HAS SOUS 933626 HAS SOUPS 841227 WITH SCORE 842691.301
AT ITER 1450 NEW BEST:: SOT 2250040 SOS 1470130 HAS SOPS 911711 HAS SOUS 933401 HAS SOUPS 840695 WITH SCORE 842165.13
AT ITER 1452 NEW BEST:: SOT 2249903 SOS 1469993 HAS SOPS 911086 HAS SOUS 933021 HAS SOUPS 840167 WITH SCORE 841636.993
AT ITER 1455 NEW BEST:: SOT 2249903 SOS 1469993 HAS SOPS 910714 HAS SOUS 932649 HAS SOUPS 839795 WITH SCORE 841264.993
AT ITER 1470 NEW BEST:: SOT 2249869 SOS 1469959 HAS SOPS 910762 HAS SOUS 932581 HAS SOUPS 839727 WITH SCORE 841196.959
AT ITER 1478 NEW BEST:: SOT 2249869 SOS 1469959 HAS SOPS 910582 HAS SOUS 932474 HAS SOUPS 839620 WITH SCORE 841089.959
AT ITER 1479 NEW BEST:: SOT 2249556 SOS 1469646 HAS SOPS 910246 HAS SOUS 932138 HAS SOUPS 839284 WITH SCORE 840753.646
AT ITER 1489 NEW BEST:: SOT 2249527 SOS 1469617 HAS SOPS 910048 HAS SOUS 932097 HAS SOUPS 839122 WITH SCORE 840591.617
AT ITER 1490 NEW BEST:: SOT 2249527 SOS 1469617 HAS SOPS 909966 HAS SOUS 932015 HAS SOUPS 839040 WITH SCORE 840509.617
AT ITER 1495 NEW BEST:: SOT 2156049 SOS 1379981 HAS SOPS 816488 HAS SOUS 838302 HAS SOUPS 745507 WITH SCORE 746886.981
AT ITER 1501 NEW BEST:: SOT 2155935 SOS 1379867 HAS SOPS 816259 HAS SOUS 837979 HAS SOUPS 745184 WITH SCORE 746563.867
AT ITER 1504 NEW BEST:: SOT 2155935 SOS 1379867 HAS SOPS 816255 HAS SOUS 837975 HAS SOUPS 745180 WITH SCORE 746559.867
AT ITER 1506 NEW BEST:: SOT 2155879 SOS 1379811 HAS SOPS 815476 HAS SOUS 837786 HAS SOUPS 744729 WITH SCORE 746108.811
AT ITER 1510 NEW BEST:: SOT 2155531 SOS 1379463 HAS SOPS 814410 HAS SOUS 837159 HAS SOUPS 744034 WITH SCORE 745413.463
AT ITER 1514 NEW BEST:: SOT 2155307 SOS 1379189 HAS SOPS 814410 HAS SOUS 836935 HAS SOUPS 744034 WITH SCORE 745413.189
AT ITER 1518 NEW BEST:: SOT 2155170 SOS 1378760 HAS SOPS 813998 HAS SOUS 836525 HAS SOUPS 743624 WITH SCORE 745002.76
AT ITER 1524 NEW BEST:: SOT 2154921 SOS 1378511 HAS SOPS 813940 HAS SOUS 836265 HAS SOUPS 743566 WITH SCORE 744944.511
AT ITER 1530 NEW BEST:: SOT 2154765 SOS 1378331 HAS SOPS 813614 HAS SOUS 836126 HAS SOUPS 743427 WITH SCORE 744805.331
AT ITER 1534 NEW BEST:: SOT 2154830 SOS 1378396 HAS SOPS 813031 HAS SOUS 835972 HAS SOUPS 743265 WITH SCORE 744643.396
AT ITER 1540 NEW BEST:: SOT 2154840 SOS 1378505 HAS SOPS 812843 HAS SOUS 835784 HAS SOUPS 743077 WITH SCORE 744455.505
AT ITER 1542 NEW BEST:: SOT 2154837 SOS 1378502 HAS SOPS 812837 HAS SOUS 835781 HAS SOUPS 743071 WITH SCORE 744449.502
AT ITER 1544 NEW BEST:: SOT 2154751 SOS 1378416 HAS SOPS 812579 HAS SOUS 835609 HAS SOUPS 742899 WITH SCORE 744277.416
AT ITER 1546 NEW BEST:: SOT 2154751 SOS 1378416 HAS SOPS 812575 HAS SOUS 835605 HAS SOUPS 742895 WITH SCORE 744273.416
AT ITER 1556 NEW BEST:: SOT 2154705 SOS 1378370 HAS SOPS 812483 HAS SOUS 835513 HAS SOUPS 742803 WITH SCORE 744181.37
AT ITER 1557 NEW BEST:: SOT 2154993 SOS 1377634 HAS SOPS 813232 HAS SOUS 835079 HAS SOUPS 742642 WITH SCORE 744019.634
AT ITER 1560 NEW BEST:: SOT 2154791 SOS 1377432 HAS SOPS 812727 HAS SOUS 834613 HAS SOUPS 742137 WITH SCORE 743514.432
AT ITER 1566 NEW BEST:: SOT 2154358 SOS 1376999 HAS SOPS 812217 HAS SOUS 833829 HAS SOUPS 741485 WITH SCORE 742861.999
AT ITER 1567 NEW BEST:: SOT 2154161 SOS 1376802 HAS SOPS 812197 HAS SOUS 833436 HAS SOUPS 741092 WITH SCORE 742468.802
AT ITER 1570 NEW BEST:: SOT 2154104 SOS 1376745 HAS SOPS 811922 HAS SOUS 833162 HAS SOUPS 740818 WITH SCORE 742194.745
AT ITER 1574 NEW BEST:: SOT 2154141 SOS 1378742 HAS SOPS 811800 HAS SOUS 833138 HAS SOUPS 740696 WITH SCORE 742074.742
AT ITER 1577 NEW BEST:: SOT 2153721 SOS 1378322 HAS SOPS 810540 HAS SOUS 832646 HAS SOUPS 739856 WITH SCORE 741234.322
AT ITER 1584 NEW BEST:: SOT 2153530 SOS 1378131 HAS SOPS 809776 HAS SOUS 832073 HAS SOUPS 739283 WITH SCORE 740661.131
AT ITER 1588 NEW BEST:: SOT 2153450 SOS 1378051 HAS SOPS 809576 HAS SOUS 831913 HAS SOUPS 739123 WITH SCORE 740501.051
AT ITER 1595 NEW BEST:: SOT 2153418 SOS 1378019 HAS SOPS 809512 HAS SOUS 831817 HAS SOUPS 739027 WITH SCORE 740405.019
AT ITER 1604 NEW BEST:: SOT 2153428 SOS 1378029 HAS SOPS 809175 HAS SOUS 831423 HAS SOUPS 738633 WITH SCORE 740011.029
AT ITER 1606 NEW BEST:: SOT 2153192 SOS 1377793 HAS SOPS 808813 HAS SOUS 831061 HAS SOUPS 738271 WITH SCORE 739648.793
AT ITER 1612 NEW BEST:: SOT 2153247 SOS 1379311 HAS SOPS 808791 HAS SOUS 831116 HAS SOUPS 738249 WITH SCORE 739628.311
AT ITER 1618 NEW BEST:: SOT 2153247 SOS 1383632 HAS SOPS 808325 HAS SOUS 830889 HAS SOUPS 737783 WITH SCORE 739166.632
AT ITER 1627 NEW BEST:: SOT 2153187 SOS 1383572 HAS SOPS 808085 HAS SOUS 830793 HAS SOUPS 737603 WITH SCORE 738986.572
AT ITER 1628 NEW BEST:: SOT 2152900 SOS 1383285 HAS SOPS 807351 HAS SOUS 830304 HAS SOUPS 736834 WITH SCORE 738217.285
AT ITER 1636 NEW BEST:: SOT 2152981 SOS 1383366 HAS SOPS 807513 HAS SOUS 830198 HAS SOUPS 736728 WITH SCORE 738111.366
AT ITER 1639 NEW BEST:: SOT 2152963 SOS 1383348 HAS SOPS 807505 HAS SOUS 830166 HAS SOUPS 736696 WITH SCORE 738079.348
AT ITER 1640 NEW BEST:: SOT 2152929 SOS 1382634 HAS SOPS 807505 HAS SOUS 830132 HAS SOUPS 736696 WITH SCORE 738078.634
AT ITER 1649 NEW BEST:: SOT 2152990 SOS 1382695 HAS SOPS 807452 HAS SOUS 830079 HAS SOUPS 736643 WITH SCORE 738025.695
AT ITER 1664 NEW BEST:: SOT 2152888 SOS 1382593 HAS SOPS 807146 HAS SOUS 829875 HAS SOUPS 736439 WITH SCORE 737821.593
AT ITER 1669 NEW BEST:: SOT 2152886 SOS 1382591 HAS SOPS 807142 HAS SOUS 829871 HAS SOUPS 736435 WITH SCORE 737817.591
AT ITER 1670 NEW BEST:: SOT 2153428 SOS 1390933 HAS SOPS 806958 HAS SOUS 830445 HAS SOUPS 736251 WITH SCORE 737641.933
AT ITER 1674 NEW BEST:: SOT 2153428 SOS 1390925 HAS SOPS 806958 HAS SOUS 830445 HAS SOUPS 736251 WITH SCORE 737641.925
AT ITER 1677 NEW BEST:: SOT 2153428 SOS 1390925 HAS SOPS 806917 HAS SOUS 830404 HAS SOUPS 736210 WITH SCORE 737600.925
AT ITER 1682 NEW BEST:: SOT 2153424 SOS 1390921 HAS SOPS 806785 HAS SOUS 830272 HAS SOUPS 736078 WITH SCORE 737468.921
AT ITER 1686 NEW BEST:: SOT 2153316 SOS 1390813 HAS SOPS 806434 HAS SOUS 830094 HAS SOUPS 735731 WITH SCORE 737121.813
AT ITER 1698 NEW BEST:: SOT 2153936 SOS 1391433 HAS SOPS 806641 HAS SOUS 829891 HAS SOUPS 735528 WITH SCORE 736919.433
AT ITER 1700 NEW BEST:: SOT 2153486 SOS 1390983 HAS SOPS 805741 HAS SOUS 828990 HAS SOUPS 734627 WITH SCORE 736017.983
AT ITER 1702 NEW BEST:: SOT 2153478 SOS 1390975 HAS SOPS 805725 HAS SOUS 828974 HAS SOUPS 734611 WITH SCORE 736001.975
AT ITER 1704 NEW BEST:: SOT 2153587 SOS 1391084 HAS SOPS 805162 HAS SOUS 828601 HAS SOUPS 734146 WITH SCORE 735537.084
AT ITER 1708 NEW BEST:: SOT 2153587 SOS 1393604 HAS SOPS 805032 HAS SOUS 828628 HAS SOUPS 734016 WITH SCORE 735409.604
AT ITER 1713 NEW BEST:: SOT 2153587 SOS 1393604 HAS SOPS 804912 HAS SOUS 828533 HAS SOUPS 733896 WITH SCORE 735289.604
AT ITER 1719 NEW BEST:: SOT 2153698 SOS 1393723 HAS SOPS 804899 HAS SOUS 828639 HAS SOUPS 733883 WITH SCORE 735276.723
AT ITER 1722 NEW BEST:: SOT 2153638 SOS 1393663 HAS SOPS 804779 HAS SOUS 828519 HAS SOUPS 733763 WITH SCORE 735156.663
AT ITER 1726 NEW BEST:: SOT 2153626 SOS 1393639 HAS SOPS 804767 HAS SOUS 828507 HAS SOUPS 733751 WITH SCORE 735144.639
AT ITER 1729 NEW BEST:: SOT 2153801 SOS 1393886 HAS SOPS 804719 HAS SOUS 828475 HAS SOUPS 733703 WITH SCORE 735096.886
AT ITER 1736 NEW BEST:: SOT 2153823 SOS 1393941 HAS SOPS 804232 HAS SOUS 828339 HAS SOUPS 733567 WITH SCORE 734960.941
AT ITER 1738 NEW BEST:: SOT 2153807 SOS 1393925 HAS SOPS 804187 HAS SOUS 828294 HAS SOUPS 733522 WITH SCORE 734915.925
AT ITER 1739 NEW BEST:: SOT 2153807 SOS 1393729 HAS SOPS 803700 HAS SOUS 827807 HAS SOUPS 733035 WITH SCORE 734428.729
AT ITER 1740 NEW BEST:: SOT 2153625 SOS 1393547 HAS SOPS 802796 HAS SOUS 827152 HAS SOUPS 732131 WITH SCORE 733524.547
AT ITER 1742 NEW BEST:: SOT 2153384 SOS 1393306 HAS SOPS 802332 HAS SOUS 826688 HAS SOUPS 731667 WITH SCORE 733060.306
AT ITER 1743 NEW BEST:: SOT 2153265 SOS 1393187 HAS SOPS 802279 HAS SOUS 827132 HAS SOUPS 731614 WITH SCORE 733007.187
AT ITER 1744 NEW BEST:: SOT 2153036 SOS 1392958 HAS SOPS 801597 HAS SOUS 826602 HAS SOUPS 731084 WITH SCORE 732476.958
AT ITER 1747 NEW BEST:: SOT 2153000 SOS 1392922 HAS SOPS 801561 HAS SOUS 826566 HAS SOUPS 731048 WITH SCORE 732440.922
AT ITER 1748 NEW BEST:: SOT 2153000 SOS 1392922 HAS SOPS 801518 HAS SOUS 826527 HAS SOUPS 731005 WITH SCORE 732397.922
AT ITER 1751 NEW BEST:: SOT 2152996 SOS 1392918 HAS SOPS 801432 HAS SOUS 826443 HAS SOUPS 730918 WITH SCORE 732310.918
AT ITER 1753 NEW BEST:: SOT 2152660 SOS 1392582 HAS SOPS 800759 HAS SOUS 825459 HAS SOUPS 729847 WITH SCORE 731239.582
AT ITER 1755 NEW BEST:: SOT 2152501 SOS 1392423 HAS SOPS 800599 HAS SOUS 825300 HAS SOUPS 729688 WITH SCORE 731080.423
AT ITER 1761 NEW BEST:: SOT 2152408 SOS 1392330 HAS SOPS 800413 HAS SOUS 825114 HAS SOUPS 729502 WITH SCORE 730894.33
AT ITER 1762 NEW BEST:: SOT 2152314 SOS 1392236 HAS SOPS 799993 HAS SOUS 824833 HAS SOUPS 729127 WITH SCORE 730519.236
AT ITER 1780 NEW BEST:: SOT 2151370 SOS 1394422 HAS SOPS 798403 HAS SOUS 824295 HAS SOUPS 727537 WITH SCORE 728931.422
AT ITER 1781 NEW BEST:: SOT 2151324 SOS 1394376 HAS SOPS 798476 HAS SOUS 824226 HAS SOUPS 727468 WITH SCORE 728862.376
AT ITER 1789 NEW BEST:: SOT 2151014 SOS 1394066 HAS SOPS 798049 HAS SOUS 824095 HAS SOUPS 727234 WITH SCORE 728628.066
AT ITER 1795 NEW BEST:: SOT 2151002 SOS 1394054 HAS SOPS 798018 HAS SOUS 824080 HAS SOUPS 727203 WITH SCORE 728597.054
AT ITER 1806 NEW BEST:: SOT 2150951 SOS 1394091 HAS SOPS 797888 HAS SOUS 824372 HAS SOUPS 727073 WITH SCORE 728467.091
AT ITER 1807 NEW BEST:: SOT 2150951 SOS 1394892 HAS SOPS 797795 HAS SOUS 824438 HAS SOUPS 726980 WITH SCORE 728374.892
AT ITER 1813 NEW BEST:: SOT 2150834 SOS 1394775 HAS SOPS 797546 HAS SOUS 825095 HAS SOUPS 726815 WITH SCORE 728209.775
AT ITER 1814 NEW BEST:: SOT 2150911 SOS 1394852 HAS SOPS 797700 HAS SOUS 825041 HAS SOUPS 726761 WITH SCORE 728155.852
AT ITER 1822 NEW BEST:: SOT 2150899 SOS 1394852 HAS SOPS 797688 HAS SOUS 825029 HAS SOUPS 726749 WITH SCORE 728143.852
AT ITER 1825 NEW BEST:: SOT 2132688 SOS 1387991 HAS SOPS 779305 HAS SOUS 806845 HAS SOUPS 708366 WITH SCORE 709753.991
AT ITER 1830 NEW BEST:: SOT 2132688 SOS 1387991 HAS SOPS 779253 HAS SOUS 806793 HAS SOUPS 708314 WITH SCORE 709701.991
AT ITER 1831 NEW BEST:: SOT 2132688 SOS 1387991 HAS SOPS 779182 HAS SOUS 806772 HAS SOUPS 708243 WITH SCORE 709630.991
AT ITER 1834 NEW BEST:: SOT 2140897 SOS 1386623 HAS SOPS 760999 HAS SOUS 803922 HAS SOUPS 704584 WITH SCORE 705970.623
AT ITER 1836 NEW BEST:: SOT 2140766 SOS 1386492 HAS SOPS 760868 HAS SOUS 803713 HAS SOUPS 704453 WITH SCORE 705839.492
AT ITER 1853 NEW BEST:: SOT 2140732 SOS 1386458 HAS SOPS 760520 HAS SOUS 803535 HAS SOUPS 704335 WITH SCORE 705721.458
AT ITER 1855 NEW BEST:: SOT 2140732 SOS 1386429 HAS SOPS 760388 HAS SOUS 803403 HAS SOUPS 704203 WITH SCORE 705589.429
AT ITER 1865 NEW BEST:: SOT 2140824 SOS 1386681 HAS SOPS 760151 HAS SOUS 803283 HAS SOUPS 703966 WITH SCORE 705352.681
AT ITER 1868 NEW BEST:: SOT 2140643 SOS 1386500 HAS SOPS 759531 HAS SOUS 802437 HAS SOUPS 702975 WITH SCORE 704361.5
AT ITER 1873 NEW BEST:: SOT 2140561 SOS 1386418 HAS SOPS 759367 HAS SOUS 802355 HAS SOUPS 702811 WITH SCORE 704197.418
AT ITER 1889 NEW BEST:: SOT 2140629 SOS 1391125 HAS SOPS 759129 HAS SOUS 802354 HAS SOUPS 702573 WITH SCORE 703964.125
AT ITER 1891 NEW BEST:: SOT 2140587 SOS 1391083 HAS SOPS 759129 HAS SOUS 802354 HAS SOUPS 702573 WITH SCORE 703964.083
AT ITER 1895 NEW BEST:: SOT 2140555 SOS 1391051 HAS SOPS 758952 HAS SOUS 802177 HAS SOUPS 702396 WITH SCORE 703787.051
AT ITER 1896 NEW BEST:: SOT 2140517 SOS 1391013 HAS SOPS 758800 HAS SOUS 802063 HAS SOUPS 702282 WITH SCORE 703673.013
AT ITER 1910 NEW BEST:: SOT 2140649 SOS 1389993 HAS SOPS 759182 HAS SOUS 801548 HAS SOUPS 702017 WITH SCORE 703406.993
AT ITER 1930 NEW BEST:: SOT 2140266 SOS 1389610 HAS SOPS 757534 HAS SOUS 800574 HAS SOUPS 701043 WITH SCORE 702432.61
AT ITER 1931 NEW BEST:: SOT 2140173 SOS 1389668 HAS SOPS 757317 HAS SOUS 800358 HAS SOUPS 700827 WITH SCORE 702216.668
AT ITER 1936 NEW BEST:: SOT 2140173 SOS 1389668 HAS SOPS 757077 HAS SOUS 800436 HAS SOUPS 700587 WITH SCORE 701976.668
AT ITER 1942 NEW BEST:: SOT 2140059 SOS 1389554 HAS SOPS 756972 HAS SOUS 800198 HAS SOUPS 700454 WITH SCORE 701843.554
AT ITER 1943 NEW BEST:: SOT 2140059 SOS 1389554 HAS SOPS 756972 HAS SOUS 800015 HAS SOUPS 700271 WITH SCORE 701660.554
AT ITER 1945 NEW BEST:: SOT 2140068 SOS 1389563 HAS SOPS 756686 HAS SOUS 799729 HAS SOUPS 699985 WITH SCORE 701374.563
AT ITER 1948 NEW BEST:: SOT 2140046 SOS 1389541 HAS SOPS 756660 HAS SOUS 799689 HAS SOUPS 699945 WITH SCORE 701334.541
AT ITER 1952 NEW BEST:: SOT 2140063 SOS 1389601 HAS SOPS 756605 HAS SOUS 799634 HAS SOUPS 699890 WITH SCORE 701279.601
AT ITER 1954 NEW BEST:: SOT 2140063 SOS 1391562 HAS SOPS 756498 HAS SOUS 799634 HAS SOUPS 699783 WITH SCORE 701174.562
AT ITER 1959 NEW BEST:: SOT 2140004 SOS 1391503 HAS SOPS 756150 HAS SOUS 799516 HAS SOUPS 699665 WITH SCORE 701056.503
AT ITER 1965 NEW BEST:: SOT 2143224 SOS 1392228 HAS SOPS 750200 HAS SOUS 795491 HAS SOUPS 695640 WITH SCORE 697032.228
AT ITER 1977 NEW BEST:: SOT 2141868 SOS 1397147 HAS SOPS 748633 HAS SOUS 796680 HAS SOUPS 695529 WITH SCORE 696926.147
AT ITER 1978 NEW BEST:: SOT 2141868 SOS 1397147 HAS SOPS 748633 HAS SOUS 796666 HAS SOUPS 695515 WITH SCORE 696912.147
AT ITER 1987 NEW BEST:: SOT 2141491 SOS 1396770 HAS SOPS 747673 HAS SOUS 796460 HAS SOUPS 694932 WITH SCORE 696328.77
AT ITER 1988 NEW BEST:: SOT 2141491 SOS 1396770 HAS SOPS 747640 HAS SOUS 796427 HAS SOUPS 694899 WITH SCORE 696295.77
AT ITER 1994 NEW BEST:: SOT 2141454 SOS 1396733 HAS SOPS 747541 HAS SOUS 796328 HAS SOUPS 694800 WITH SCORE 696196.733
AT ITER 1997 NEW BEST:: SOT 2141236 SOS 1396515 HAS SOPS 747204 HAS SOUS 795988 HAS SOUPS 694460 WITH SCORE 695856.515
AT ITER 2002 NEW BEST:: SOT 2141220 SOS 1396499 HAS SOPS 747171 HAS SOUS 795926 HAS SOUPS 694398 WITH SCORE 695794.499
AT ITER 2008 NEW BEST:: SOT 2141002 SOS 1394818 HAS SOPS 747171 HAS SOUS 795745 HAS SOUPS 694398 WITH SCORE 695792.818
AT ITER 2018 NEW BEST:: SOT 2140430 SOS 1394246 HAS SOPS 745993 HAS SOUS 794601 HAS SOUPS 693254 WITH SCORE 694648.246
AT ITER 2032 NEW BEST:: SOT 2140433 SOS 1394252 HAS SOPS 745388 HAS SOUS 794380 HAS SOUPS 693033 WITH SCORE 694427.252
AT ITER 2034 NEW BEST:: SOT 2140298 SOS 1394117 HAS SOPS 745021 HAS SOUS 794112 HAS SOUPS 692666 WITH SCORE 694060.117
AT ITER 2043 NEW BEST:: SOT 2140194 SOS 1393296 HAS SOPS 744994 HAS SOUS 793686 HAS SOUPS 692349 WITH SCORE 693742.296
AT ITER 2065 NEW BEST:: SOT 2140416 SOS 1397748 HAS SOPS 744981 HAS SOUS 793908 HAS SOUPS 692336 WITH SCORE 693733.748
AT ITER 2067 NEW BEST:: SOT 2140285 SOS 1397617 HAS SOPS 744883 HAS SOUS 793679 HAS SOUPS 692107 WITH SCORE 693504.617
AT ITER 2068 NEW BEST:: SOT 2140124 SOS 1397456 HAS SOPS 744533 HAS SOUS 793409 HAS SOUPS 691757 WITH SCORE 693154.456
AT ITER 2076 NEW BEST:: SOT 2140124 SOS 1397456 HAS SOPS 744533 HAS SOUS 793368 HAS SOUPS 691716 WITH SCORE 693113.456
AT ITER 2089 NEW BEST:: SOT 2140168 SOS 1397500 HAS SOPS 744492 HAS SOUS 793304 HAS SOUPS 691675 WITH SCORE 693072.5
AT ITER 2096 NEW BEST:: SOT 2139981 SOS 1397556 HAS SOPS 743951 HAS SOUS 793035 HAS SOUPS 691235 WITH SCORE 692632.556
AT ITER 2106 NEW BEST:: SOT 2139981 SOS 1397556 HAS SOPS 743805 HAS SOUS 793160 HAS SOUPS 691089 WITH SCORE 692486.556
AT ITER 2107 NEW BEST:: SOT 2139962 SOS 1397537 HAS SOPS 743590 HAS SOUS 792912 HAS SOUPS 690841 WITH SCORE 692238.537
AT ITER 2109 NEW BEST:: SOT 2139613 SOS 1397188 HAS SOPS 742545 HAS SOUS 792449 HAS SOUPS 689796 WITH SCORE 691193.188
AT ITER 2128 NEW BEST:: SOT 2139613 SOS 1397188 HAS SOPS 742545 HAS SOUS 792434 HAS SOUPS 689781 WITH SCORE 691178.188
AT ITER 2129 NEW BEST:: SOT 2139665 SOS 1397240 HAS SOPS 742480 HAS SOUS 792369 HAS SOUPS 689716 WITH SCORE 691113.24
AT ITER 2143 NEW BEST:: SOT 2139665 SOS 1397240 HAS SOPS 742279 HAS SOUS 792168 HAS SOUPS 689515 WITH SCORE 690912.24
AT ITER 2145 NEW BEST:: SOT 2139662 SOS 1397237 HAS SOPS 742249 HAS SOUS 792189 HAS SOUPS 689485 WITH SCORE 690882.237
AT ITER 2149 NEW BEST:: SOT 2137214 SOS 1394789 HAS SOPS 739786 HAS SOUS 789726 HAS SOUPS 687022 WITH SCORE 688416.789
AT ITER 2154 NEW BEST:: SOT 2137214 SOS 1394789 HAS SOPS 739786 HAS SOUS 789635 HAS SOUPS 686931 WITH SCORE 688325.789
AT ITER 2164 NEW BEST:: SOT 2137237 SOS 1395042 HAS SOPS 739763 HAS SOUS 789635 HAS SOUPS 686908 WITH SCORE 688303.042
AT ITER 2167 NEW BEST:: SOT 2136931 SOS 1394736 HAS SOPS 739370 HAS SOUS 789299 HAS SOUPS 686593 WITH SCORE 687987.736
AT ITER 2171 NEW BEST:: SOT 2137282 SOS 1395087 HAS SOPS 738873 HAS SOUS 789151 HAS SOUPS 686393 WITH SCORE 687788.087
AT ITER 2174 NEW BEST:: SOT 2137262 SOS 1395067 HAS SOPS 738698 HAS SOUS 789022 HAS SOUPS 686222 WITH SCORE 687617.067
AT ITER 2186 NEW BEST:: SOT 2137039 SOS 1394844 HAS SOPS 738500 HAS SOUS 788824 HAS SOUPS 686024 WITH SCORE 687418.844
AT ITER 2190 NEW BEST:: SOT 2136889 SOS 1394694 HAS SOPS 738200 HAS SOUS 788382 HAS SOUPS 685582 WITH SCORE 686976.694
AT ITER 2208 NEW BEST:: SOT 2136729 SOS 1394534 HAS SOPS 737721 HAS SOUS 788111 HAS SOUPS 685311 WITH SCORE 686705.534
AT ITER 2209 NEW BEST:: SOT 2136766 SOS 1394571 HAS SOPS 737714 HAS SOUS 788104 HAS SOUPS 685304 WITH SCORE 686698.571
AT ITER 2214 NEW BEST:: SOT 2136686 SOS 1394491 HAS SOPS 737634 HAS SOUS 788024 HAS SOUPS 685224 WITH SCORE 686618.491
AT ITER 2223 NEW BEST:: SOT 2136686 SOS 1395327 HAS SOPS 737590 HAS SOUS 788024 HAS SOUPS 685180 WITH SCORE 686575.327
AT ITER 2227 NEW BEST:: SOT 2136530 SOS 1395171 HAS SOPS 737449 HAS SOUS 787715 HAS SOUPS 685039 WITH SCORE 686434.171
AT ITER 2232 NEW BEST:: SOT 2136042 SOS 1394683 HAS SOPS 736319 HAS SOUS 787180 HAS SOUPS 684248 WITH SCORE 685642.683
AT ITER 2236 NEW BEST:: SOT 2135991 SOS 1394838 HAS SOPS 736217 HAS SOUS 787078 HAS SOUPS 684146 WITH SCORE 685540.838
AT ITER 2237 NEW BEST:: SOT 2135952 SOS 1391620 HAS SOPS 736724 HAS SOUS 786324 HAS SOUPS 683832 WITH SCORE 685223.62
AT ITER 2248 NEW BEST:: SOT 2135952 SOS 1393760 HAS SOPS 736617 HAS SOUS 786324 HAS SOUPS 683725 WITH SCORE 685118.76
AT ITER 2251 NEW BEST:: SOT 2135812 SOS 1393620 HAS SOPS 736506 HAS SOUS 786250 HAS SOUPS 683651 WITH SCORE 685044.62
AT ITER 2255 NEW BEST:: SOT 2135230 SOS 1393038 HAS SOPS 735341 HAS SOUS 785414 HAS SOUPS 682589 WITH SCORE 683982.038
AT ITER 2260 NEW BEST:: SOT 2135011 SOS 1392819 HAS SOPS 734791 HAS SOUS 785195 HAS SOUPS 682151 WITH SCORE 683543.819
AT ITER 2263 NEW BEST:: SOT 2134929 SOS 1392853 HAS SOPS 734755 HAS SOUS 785159 HAS SOUPS 682115 WITH SCORE 683507.853
AT ITER 2264 NEW BEST:: SOT 2134679 SOS 1392603 HAS SOPS 734563 HAS SOUS 784881 HAS SOUPS 681923 WITH SCORE 683315.603
AT ITER 2267 NEW BEST:: SOT 2134828 SOS 1392943 HAS SOPS 734168 HAS SOUS 784868 HAS SOUPS 681529 WITH SCORE 682921.943
AT ITER 2268 NEW BEST:: SOT 2134764 SOS 1392879 HAS SOPS 734040 HAS SOUS 784740 HAS SOUPS 681401 WITH SCORE 682793.879
AT ITER 2275 NEW BEST:: SOT 2134690 SOS 1392805 HAS SOPS 733946 HAS SOUS 784647 HAS SOUPS 681308 WITH SCORE 682700.805
AT ITER 2276 NEW BEST:: SOT 2131022 SOS 1411981 HAS SOPS 730278 HAS SOUS 781655 HAS SOUPS 677640 WITH SCORE 679051.981
AT ITER 2277 NEW BEST:: SOT 2131472 SOS 1412480 HAS SOPS 730256 HAS SOUS 781817 HAS SOUPS 677618 WITH SCORE 679030.48
AT ITER 2284 NEW BEST:: SOT 2131706 SOS 1416534 HAS SOPS 730224 HAS SOUS 781994 HAS SOUPS 677586 WITH SCORE 679002.534
AT ITER 2285 NEW BEST:: SOT 2131469 SOS 1416297 HAS SOPS 729749 HAS SOUS 781282 HAS SOUPS 676874 WITH SCORE 678290.297
AT ITER 2303 NEW BEST:: SOT 2131226 SOS 1416054 HAS SOPS 729263 HAS SOUS 780796 HAS SOUPS 676388 WITH SCORE 677804.054
AT ITER 2307 NEW BEST:: SOT 2131119 SOS 1416219 HAS SOPS 729049 HAS SOUS 780718 HAS SOUPS 676174 WITH SCORE 677590.219
AT ITER 2311 NEW BEST:: SOT 2131108 SOS 1416208 HAS SOPS 729026 HAS SOUS 780689 HAS SOUPS 676145 WITH SCORE 677561.208
AT ITER 2325 NEW BEST:: SOT 2130816 SOS 1415916 HAS SOPS 728654 HAS SOUS 780305 HAS SOUPS 675761 WITH SCORE 677176.916
AT ITER 2327 NEW BEST:: SOT 2131113 SOS 1416310 HAS SOPS 728269 HAS SOUS 780286 HAS SOUPS 675617 WITH SCORE 677033.31
AT ITER 2345 NEW BEST:: SOT 2131029 SOS 1416226 HAS SOPS 728011 HAS SOUS 780118 HAS SOUPS 675449 WITH SCORE 676865.226
AT ITER 2353 NEW BEST:: SOT 2130619 SOS 1415816 HAS SOPS 727191 HAS SOUS 779975 HAS SOUPS 674983 WITH SCORE 676398.816
AT ITER 2361 NEW BEST:: SOT 2130437 SOS 1415634 HAS SOPS 726827 HAS SOUS 779502 HAS SOUPS 674510 WITH SCORE 675925.634
AT ITER 2364 NEW BEST:: SOT 2130437 SOS 1415634 HAS SOPS 726827 HAS SOUS 779398 HAS SOUPS 674406 WITH SCORE 675821.634
AT ITER 2368 NEW BEST:: SOT 2130380 SOS 1414437 HAS SOPS 726827 HAS SOUS 779341 HAS SOUPS 674406 WITH SCORE 675820.437
AT ITER 2374 NEW BEST:: SOT 2130264 SOS 1414321 HAS SOPS 726827 HAS SOUS 779341 HAS SOUPS 674406 WITH SCORE 675820.321
AT ITER 2377 NEW BEST:: SOT 2130398 SOS 1414455 HAS SOPS 726693 HAS SOUS 779341 HAS SOUPS 674272 WITH SCORE 675686.455
AT ITER 2381 NEW BEST:: SOT 2130250 SOS 1414307 HAS SOPS 726683 HAS SOUS 779299 HAS SOUPS 674230 WITH SCORE 675644.307
AT ITER 2382 NEW BEST:: SOT 2130196 SOS 1414253 HAS SOPS 726547 HAS SOUS 779164 HAS SOUPS 674095 WITH SCORE 675509.253
AT ITER 2393 NEW BEST:: SOT 2130078 SOS 1414135 HAS SOPS 726311 HAS SOUS 778928 HAS SOUPS 673859 WITH SCORE 675273.135
AT ITER 2394 NEW BEST:: SOT 2130045 SOS 1414950 HAS SOPS 726179 HAS SOUS 778834 HAS SOUPS 673727 WITH SCORE 675141.95
AT ITER 2412 NEW BEST:: SOT 2130040 SOS 1414945 HAS SOPS 726169 HAS SOUS 779071 HAS SOUPS 673717 WITH SCORE 675131.945
AT ITER 2413 NEW BEST:: SOT 2130169 SOS 1416364 HAS SOPS 726040 HAS SOUS 779200 HAS SOUPS 673588 WITH SCORE 675004.364
AT ITER 2422 NEW BEST:: SOT 2130271 SOS 1416466 HAS SOPS 726244 HAS SOUS 779035 HAS SOUPS 673408 WITH SCORE 674824.466
AT ITER 2431 NEW BEST:: SOT 2130223 SOS 1416482 HAS SOPS 726153 HAS SOUS 778945 HAS SOUPS 673318 WITH SCORE 674734.482
AT ITER 2441 NEW BEST:: SOT 2130213 SOS 1416472 HAS SOPS 726280 HAS SOUS 778839 HAS SOUPS 673252 WITH SCORE 674668.472
AT ITER 2449 NEW BEST:: SOT 2130121 SOS 1416380 HAS SOPS 726279 HAS SOUS 778839 HAS SOUPS 673252 WITH SCORE 674668.38
AT ITER 2464 NEW BEST:: SOT 2129856 SOS 1416115 HAS SOPS 725644 HAS SOUS 778328 HAS SOUPS 672476 WITH SCORE 673892.115
AT ITER 2469 NEW BEST:: SOT 2129728 SOS 1415987 HAS SOPS 725719 HAS SOUS 778239 HAS SOUPS 672387 WITH SCORE 673802.987
AT ITER 2476 NEW BEST:: SOT 2129639 SOS 1415898 HAS SOPS 725635 HAS SOUS 778155 HAS SOUPS 672303 WITH SCORE 673718.898
AT ITER 2488 NEW BEST:: SOT 2129550 SOS 1415809 HAS SOPS 725309 HAS SOUS 777830 HAS SOUPS 671978 WITH SCORE 673393.809
AT ITER 2490 NEW BEST:: SOT 2129469 SOS 1415728 HAS SOPS 725090 HAS SOUS 777611 HAS SOUPS 671759 WITH SCORE 673174.728
AT ITER 2495 NEW BEST:: SOT 2129568 SOS 1415827 HAS SOPS 724843 HAS SOUS 777364 HAS SOUPS 671512 WITH SCORE 672927.827
AT ITER 2503 NEW BEST:: SOT 2129550 SOS 1415812 HAS SOPS 724807 HAS SOUS 777739 HAS SOUPS 671494 WITH SCORE 672909.812
AT ITER 2508 NEW BEST:: SOT 2129626 SOS 1416268 HAS SOPS 724651 HAS SOUS 777697 HAS SOUPS 671338 WITH SCORE 672754.268
AT ITER 2518 NEW BEST:: SOT 2129660 SOS 1416302 HAS SOPS 724613 HAS SOUS 777625 HAS SOUPS 671300 WITH SCORE 672716.302
AT ITER 2521 NEW BEST:: SOT 2129364 SOS 1416006 HAS SOPS 724401 HAS SOUS 777414 HAS SOUPS 671089 WITH SCORE 672505.006
AT ITER 2531 NEW BEST:: SOT 2129393 SOS 1416489 HAS SOPS 724321 HAS SOUS 777368 HAS SOUPS 671043 WITH SCORE 672459.489
AT ITER 2535 NEW BEST:: SOT 2129284 SOS 1416232 HAS SOPS 724106 HAS SOUS 777153 HAS SOUPS 670828 WITH SCORE 672244.232
AT ITER 2548 NEW BEST:: SOT 2129265 SOS 1416080 HAS SOPS 724106 HAS SOUS 777077 HAS SOUPS 670771 WITH SCORE 672187.08
AT ITER 2561 NEW BEST:: SOT 2129339 SOS 1414942 HAS SOPS 724392 HAS SOUS 776755 HAS SOUPS 670661 WITH SCORE 672075.942
AT ITER 2563 NEW BEST:: SOT 2129245 SOS 1414848 HAS SOPS 724204 HAS SOUS 776623 HAS SOUPS 670473 WITH SCORE 671887.848
AT ITER 2564 NEW BEST:: SOT 2129401 SOS 1417114 HAS SOPS 724048 HAS SOUS 776559 HAS SOUPS 670317 WITH SCORE 671734.114
AT ITER 2568 NEW BEST:: SOT 2129180 SOS 1416893 HAS SOPS 723471 HAS SOUS 776397 HAS SOUPS 669740 WITH SCORE 671156.893
AT ITER 2573 NEW BEST:: SOT 2128902 SOS 1416744 HAS SOPS 722785 HAS SOUS 776119 HAS SOUPS 669462 WITH SCORE 670878.744
AT ITER 2579 NEW BEST:: SOT 2128966 SOS 1416808 HAS SOPS 722777 HAS SOUS 776047 HAS SOUPS 669390 WITH SCORE 670806.808
AT ITER 2586 NEW BEST:: SOT 2128762 SOS 1416604 HAS SOPS 722057 HAS SOUS 775499 HAS SOUPS 668842 WITH SCORE 670258.604
AT ITER 2588 NEW BEST:: SOT 2128932 SOS 1416774 HAS SOPS 721917 HAS SOUS 775219 HAS SOUPS 668775 WITH SCORE 670191.774
AT ITER 2604 NEW BEST:: SOT 2128880 SOS 1416719 HAS SOPS 721813 HAS SOUS 775116 HAS SOUPS 668672 WITH SCORE 670088.719
AT ITER 2607 NEW BEST:: SOT 2128816 SOS 1416655 HAS SOPS 721685 HAS SOUS 774953 HAS SOUPS 668544 WITH SCORE 669960.655
AT ITER 2611 NEW BEST:: SOT 2129279 SOS 1417139 HAS SOPS 720857 HAS SOUS 775702 HAS SOUPS 668033 WITH SCORE 669450.139
AT ITER 2618 NEW BEST:: SOT 2129397 SOS 1418017 HAS SOPS 720799 HAS SOUS 775818 HAS SOUPS 667975 WITH SCORE 669393.017
AT ITER 2621 NEW BEST:: SOT 2129319 SOS 1424374 HAS SOPS 720721 HAS SOUS 776082 HAS SOUPS 667897 WITH SCORE 669321.374
AT ITER 2624 NEW BEST:: SOT 2129264 SOS 1423342 HAS SOPS 720721 HAS SOUS 776027 HAS SOUPS 667897 WITH SCORE 669320.342
AT ITER 2628 NEW BEST:: SOT 2129231 SOS 1423309 HAS SOPS 720480 HAS SOUS 776011 HAS SOUPS 667864 WITH SCORE 669287.309
AT ITER 2631 NEW BEST:: SOT 2129018 SOS 1423096 HAS SOPS 720054 HAS SOUS 775745 HAS SOUPS 667438 WITH SCORE 668861.096
AT ITER 2635 NEW BEST:: SOT 2128953 SOS 1423031 HAS SOPS 720012 HAS SOUS 775703 HAS SOUPS 667396 WITH SCORE 668819.031
AT ITER 2642 NEW BEST:: SOT 2136886 SOS 1414535 HAS SOPS 701809 HAS SOUS 772834 HAS SOUPS 664422 WITH SCORE 665836.535
AT ITER 2662 NEW BEST:: SOT 2136757 SOS 1415462 HAS SOPS 701339 HAS SOUS 772788 HAS SOUPS 664210 WITH SCORE 665625.462
AT ITER 2671 NEW BEST:: SOT 2136276 SOS 1414981 HAS SOPS 700124 HAS SOUS 771827 HAS SOUPS 663249 WITH SCORE 664663.981
AT ITER 2672 NEW BEST:: SOT 2136643 SOS 1415348 HAS SOPS 700080 HAS SOUS 771783 HAS SOUPS 663205 WITH SCORE 664620.348
AT ITER 2677 NEW BEST:: SOT 2136407 SOS 1415112 HAS SOPS 699993 HAS SOUS 771447 HAS SOUPS 662875 WITH SCORE 664290.112
AT ITER 2683 NEW BEST:: SOT 2136239 SOS 1414944 HAS SOPS 699825 HAS SOUS 771157 HAS SOUPS 662707 WITH SCORE 664121.944
AT ITER 2686 NEW BEST:: SOT 2136318 SOS 1415023 HAS SOPS 699494 HAS SOUS 770826 HAS SOUPS 662376 WITH SCORE 663791.023
AT ITER 2690 NEW BEST:: SOT 2136406 SOS 1415111 HAS SOPS 699367 HAS SOUS 770700 HAS SOUPS 662250 WITH SCORE 663665.111
AT ITER 2699 NEW BEST:: SOT 2136391 SOS 1415096 HAS SOPS 698974 HAS SOUS 770466 HAS SOUPS 662016 WITH SCORE 663431.096
AT ITER 2707 NEW BEST:: SOT 2137098 SOS 1415123 HAS SOPS 698888 HAS SOUS 770380 HAS SOUPS 661992 WITH SCORE 663407.123
AT ITER 2741 NEW BEST:: SOT 2137060 SOS 1412125 HAS SOPS 698850 HAS SOUS 770193 HAS SOUPS 661954 WITH SCORE 663366.125
AT ITER 2755 NEW BEST:: SOT 2136878 SOS 1411980 HAS SOPS 698486 HAS SOUS 769846 HAS SOUPS 661590 WITH SCORE 663001.98
AT ITER 2762 NEW BEST:: SOT 2136878 SOS 1412860 HAS SOPS 698398 HAS SOUS 769802 HAS SOUPS 661502 WITH SCORE 662914.86
AT ITER 2769 NEW BEST:: SOT 2137016 SOS 1412998 HAS SOPS 698263 HAS SOUS 769667 HAS SOUPS 661367 WITH SCORE 662779.998
AT ITER 2783 NEW BEST:: SOT 2137005 SOS 1412987 HAS SOPS 698230 HAS SOUS 769645 HAS SOUPS 661334 WITH SCORE 662746.987
AT ITER 2785 NEW BEST:: SOT 2137046 SOS 1413028 HAS SOPS 698126 HAS SOUS 769541 HAS SOUPS 661230 WITH SCORE 662643.028
AT ITER 2793 NEW BEST:: SOT 2137567 SOS 1420929 HAS SOPS 698115 HAS SOUS 770419 HAS SOUPS 661219 WITH SCORE 662639.929
AT ITER 2797 NEW BEST:: SOT 2137087 SOS 1420449 HAS SOPS 697018 HAS SOUS 769710 HAS SOUPS 660259 WITH SCORE 661679.449
AT ITER 2803 NEW BEST:: SOT 2137081 SOS 1420443 HAS SOPS 697006 HAS SOUS 769698 HAS SOUPS 660247 WITH SCORE 661667.443
AT ITER 2804 NEW BEST:: SOT 2136916 SOS 1420278 HAS SOPS 696676 HAS SOUS 769368 HAS SOUPS 659917 WITH SCORE 661337.278
AT ITER 2810 NEW BEST:: SOT 2136814 SOS 1419664 HAS SOPS 696676 HAS SOUS 769339 HAS SOUPS 659917 WITH SCORE 661336.664
AT ITER 2816 NEW BEST:: SOT 2136814 SOS 1419664 HAS SOPS 696675 HAS SOUS 769338 HAS SOUPS 659916 WITH SCORE 661335.664
AT ITER 2822 NEW BEST:: SOT 2136329 SOS 1419179 HAS SOPS 696320 HAS SOUS 768771 HAS SOUPS 659561 WITH SCORE 660980.179
AT ITER 2839 NEW BEST:: SOT 2136339 SOS 1419189 HAS SOPS 696213 HAS SOUS 768537 HAS SOUPS 659454 WITH SCORE 660873.189
AT ITER 2845 NEW BEST:: SOT 2136588 SOS 1419477 HAS SOPS 696098 HAS SOUS 768422 HAS SOUPS 659339 WITH SCORE 660758.477
AT ITER 2847 NEW BEST:: SOT 2136588 SOS 1419477 HAS SOPS 696149 HAS SOUS 768411 HAS SOUPS 659328 WITH SCORE 660747.477
AT ITER 2848 NEW BEST:: SOT 2136452 SOS 1419341 HAS SOPS 695877 HAS SOUS 767807 HAS SOUPS 659056 WITH SCORE 660475.341
AT ITER 2853 NEW BEST:: SOT 2136424 SOS 1418277 HAS SOPS 694841 HAS SOUS 767751 HAS SOUPS 659000 WITH SCORE 660418.277
AT ITER 2859 NEW BEST:: SOT 2135764 SOS 1417247 HAS SOPS 694607 HAS SOUS 767315 HAS SOUPS 658766 WITH SCORE 660183.247
AT ITER 2862 NEW BEST:: SOT 2135957 SOS 1419200 HAS SOPS 694402 HAS SOUS 767399 HAS SOUPS 658561 WITH SCORE 659980.2
AT ITER 2869 NEW BEST:: SOT 2136040 SOS 1419283 HAS SOPS 694352 HAS SOUS 767349 HAS SOUPS 658511 WITH SCORE 659930.283
AT ITER 2879 NEW BEST:: SOT 2135985 SOS 1419228 HAS SOPS 694300 HAS SOUS 767297 HAS SOUPS 658459 WITH SCORE 659878.228
AT ITER 2885 NEW BEST:: SOT 2135812 SOS 1419055 HAS SOPS 693954 HAS SOUS 767211 HAS SOUPS 658283 WITH SCORE 659702.055
AT ITER 2887 NEW BEST:: SOT 2135633 SOS 1418876 HAS SOPS 693675 HAS SOUS 766951 HAS SOUPS 658004 WITH SCORE 659422.876
AT ITER 2894 NEW BEST:: SOT 2135614 SOS 1418857 HAS SOPS 693617 HAS SOUS 766882 HAS SOUPS 657946 WITH SCORE 659364.857
AT ITER 2895 NEW BEST:: SOT 2135390 SOS 1418633 HAS SOPS 693605 HAS SOUS 766799 HAS SOUPS 657934 WITH SCORE 659352.633
AT ITER 2916 NEW BEST:: SOT 2135306 SOS 1418549 HAS SOPS 693353 HAS SOUS 766547 HAS SOUPS 657682 WITH SCORE 659100.549
AT ITER 2925 NEW BEST:: SOT 2135237 SOS 1418480 HAS SOPS 693358 HAS SOUS 766500 HAS SOUPS 657635 WITH SCORE 659053.48
AT ITER 2929 NEW BEST:: SOT 2135237 SOS 1418480 HAS SOPS 693343 HAS SOUS 766360 HAS SOUPS 657495 WITH SCORE 658913.48
AT ITER 2943 NEW BEST:: SOT 2134808 SOS 1418051 HAS SOPS 691866 HAS SOUS 765606 HAS SOUPS 656637 WITH SCORE 658055.051
AT ITER 2944 NEW BEST:: SOT 2134754 SOS 1417997 HAS SOPS 691650 HAS SOUS 765390 HAS SOUPS 656421 WITH SCORE 657838.997
AT ITER 2959 NEW BEST:: SOT 2134697 SOS 1417940 HAS SOPS 691630 HAS SOUS 765371 HAS SOUPS 656402 WITH SCORE 657819.94
AT ITER 2974 NEW BEST:: SOT 2134899 SOS 1419692 HAS SOPS 691536 HAS SOUS 765503 HAS SOUPS 656308 WITH SCORE 657727.692
AT ITER 3001 NEW BEST:: SOT 2134899 SOS 1419692 HAS SOPS 691536 HAS SOUS 765503 HAS SOUPS 656304 WITH SCORE 657723.692
AT ITER 3002 NEW BEST:: SOT 2134826 SOS 1419741 HAS SOPS 691410 HAS SOUS 765377 HAS SOUPS 656178 WITH SCORE 657597.741
AT ITER 3003 NEW BEST:: SOT 2134551 SOS 1419466 HAS SOPS 690857 HAS SOUS 764789 HAS SOUPS 655533 WITH SCORE 656952.466
AT ITER 3006 NEW BEST:: SOT 2134432 SOS 1419347 HAS SOPS 690735 HAS SOUS 764667 HAS SOUPS 655411 WITH SCORE 656830.347
AT ITER 3014 NEW BEST:: SOT 2134222 SOS 1419116 HAS SOPS 690083 HAS SOUS 764247 HAS SOUPS 654991 WITH SCORE 656410.116
AT ITER 3024 NEW BEST:: SOT 2133921 SOS 1418815 HAS SOPS 689551 HAS SOUS 763987 HAS SOUPS 654731 WITH SCORE 656149.815
AT ITER 3027 NEW BEST:: SOT 2134016 SOS 1418910 HAS SOPS 689577 HAS SOUS 763977 HAS SOUPS 654699 WITH SCORE 656117.91
AT ITER 3033 NEW BEST:: SOT 2133688 SOS 1418582 HAS SOPS 688578 HAS SOUS 763370 HAS SOUPS 654043 WITH SCORE 655461.582
AT ITER 3038 NEW BEST:: SOT 2133879 SOS 1414387 HAS SOPS 679517 HAS SOUS 758244 HAS SOUPS 648917 WITH SCORE 650331.387
AT ITER 3039 NEW BEST:: SOT 2133879 SOS 1414387 HAS SOPS 679462 HAS SOUS 758197 HAS SOUPS 648870 WITH SCORE 650284.387
AT ITER 3044 NEW BEST:: SOT 2133260 SOS 1413768 HAS SOPS 678224 HAS SOUS 756647 HAS SOUPS 647320 WITH SCORE 648733.768
AT ITER 3052 NEW BEST:: SOT 2133240 SOS 1413838 HAS SOPS 678184 HAS SOUS 756607 HAS SOUPS 647280 WITH SCORE 648693.838
AT ITER 3053 NEW BEST:: SOT 2133065 SOS 1413312 HAS SOPS 677866 HAS SOUS 756289 HAS SOUPS 646962 WITH SCORE 648375.312
AT ITER 3060 NEW BEST:: SOT 2133044 SOS 1413291 HAS SOPS 677824 HAS SOUS 756268 HAS SOUPS 646920 WITH SCORE 648333.291
AT ITER 3061 NEW BEST:: SOT 2133044 SOS 1413291 HAS SOPS 677724 HAS SOUS 756168 HAS SOUPS 646820 WITH SCORE 648233.291
AT ITER 3067 NEW BEST:: SOT 2132654 SOS 1412901 HAS SOPS 676944 HAS SOUS 755778 HAS SOUPS 646430 WITH SCORE 647842.901
AT ITER 3070 NEW BEST:: SOT 2132540 SOS 1412787 HAS SOPS 676805 HAS SOUS 755768 HAS SOUPS 646420 WITH SCORE 647832.787
AT ITER 3079 NEW BEST:: SOT 2132409 SOS 1412656 HAS SOPS 676485 HAS SOUS 755679 HAS SOUPS 646331 WITH SCORE 647743.656
AT ITER 3095 NEW BEST:: SOT 2132012 SOS 1412273 HAS SOPS 675691 HAS SOUS 754886 HAS SOUPS 645538 WITH SCORE 646950.273
AT ITER 3098 NEW BEST:: SOT 2130711 SOS 1410387 HAS SOPS 673342 HAS SOUS 753250 HAS SOUPS 643902 WITH SCORE 645312.387
AT ITER 3099 NEW BEST:: SOT 2130719 SOS 1410395 HAS SOPS 672834 HAS SOUS 753160 HAS SOUPS 643552 WITH SCORE 644962.395
AT ITER 3108 NEW BEST:: SOT 2130659 SOS 1411343 HAS SOPS 672436 HAS SOUS 753269 HAS SOUPS 643492 WITH SCORE 644903.343
AT ITER 3113 NEW BEST:: SOT 2130637 SOS 1411299 HAS SOPS 672414 HAS SOUS 753247 HAS SOUPS 643470 WITH SCORE 644881.299
AT ITER 3137 NEW BEST:: SOT 2130637 SOS 1411253 HAS SOPS 672414 HAS SOUS 753247 HAS SOUPS 643470 WITH SCORE 644881.253
AT ITER 3143 NEW BEST:: SOT 2130712 SOS 1411328 HAS SOPS 672383 HAS SOUS 753216 HAS SOUPS 643439 WITH SCORE 644850.328
AT ITER 3146 NEW BEST:: SOT 2130718 SOS 1411334 HAS SOPS 672380 HAS SOUS 753218 HAS SOUPS 643436 WITH SCORE 644847.334
AT ITER 3160 NEW BEST:: SOT 2130837 SOS 1411453 HAS SOPS 672617 HAS SOUS 753209 HAS SOUPS 643427 WITH SCORE 644838.453
AT ITER 3161 NEW BEST:: SOT 2130659 SOS 1411184 HAS SOPS 672457 HAS SOUS 752979 HAS SOUPS 643267 WITH SCORE 644678.184
AT ITER 3162 NEW BEST:: SOT 2130612 SOS 1411137 HAS SOPS 672279 HAS SOUS 752848 HAS SOUPS 643089 WITH SCORE 644500.137
AT ITER 3165 NEW BEST:: SOT 2130505 SOS 1411030 HAS SOPS 672065 HAS SOUS 752741 HAS SOUPS 642875 WITH SCORE 644286.03
AT ITER 3172 NEW BEST:: SOT 2130485 SOS 1411010 HAS SOPS 672025 HAS SOUS 752701 HAS SOUPS 642835 WITH SCORE 644246.01
AT ITER 3186 NEW BEST:: SOT 2130381 SOS 1410906 HAS SOPS 671817 HAS SOUS 752597 HAS SOUPS 642627 WITH SCORE 644037.906
AT ITER 3192 NEW BEST:: SOT 2130369 SOS 1410894 HAS SOPS 671793 HAS SOUS 752585 HAS SOUPS 642603 WITH SCORE 644013.894
AT ITER 3196 NEW BEST:: SOT 2130566 SOS 1414646 HAS SOPS 671623 HAS SOUS 752802 HAS SOUPS 642433 WITH SCORE 643847.646
AT ITER 3197 NEW BEST:: SOT 2130528 SOS 1414608 HAS SOPS 671547 HAS SOUS 752727 HAS SOUPS 642358 WITH SCORE 643772.608
AT ITER 3201 NEW BEST:: SOT 2130515 SOS 1414595 HAS SOPS 671587 HAS SOUS 752629 HAS SOUPS 642326 WITH SCORE 643740.595
AT ITER 3212 NEW BEST:: SOT 2130515 SOS 1414595 HAS SOPS 671393 HAS SOUS 752435 HAS SOUPS 642132 WITH SCORE 643546.595
AT ITER 3214 NEW BEST:: SOT 2130372 SOS 1414452 HAS SOPS 671030 HAS SOUS 752072 HAS SOUPS 641769 WITH SCORE 643183.452
AT ITER 3224 NEW BEST:: SOT 2130372 SOS 1414452 HAS SOPS 671029 HAS SOUS 752071 HAS SOUPS 641768 WITH SCORE 643182.452
AT ITER 3231 NEW BEST:: SOT 2129907 SOS 1414017 HAS SOPS 670240 HAS SOUS 751291 HAS SOUPS 640988 WITH SCORE 642402.017
AT ITER 3233 NEW BEST:: SOT 2129920 SOS 1414030 HAS SOPS 670312 HAS SOUS 751205 HAS SOUPS 640902 WITH SCORE 642316.03
AT ITER 3254 NEW BEST:: SOT 2129856 SOS 1413966 HAS SOPS 670312 HAS SOUS 751077 HAS SOUPS 640902 WITH SCORE 642315.966
AT ITER 3277 NEW BEST:: SOT 2129982 SOS 1414234 HAS SOPS 670241 HAS SOUS 751277 HAS SOUPS 640831 WITH SCORE 642245.234
AT ITER 3283 NEW BEST:: SOT 2130098 SOS 1414350 HAS SOPS 670022 HAS SOUS 750877 HAS SOUPS 640431 WITH SCORE 641845.35
AT ITER 3285 NEW BEST:: SOT 2130003 SOS 1414255 HAS SOPS 669757 HAS SOUS 750612 HAS SOUPS 640166 WITH SCORE 641580.255
AT ITER 3287 NEW BEST:: SOT 2130080 SOS 1414332 HAS SOPS 669739 HAS SOUS 750594 HAS SOUPS 640148 WITH SCORE 641562.332
AT ITER 3292 NEW BEST:: SOT 2130041 SOS 1414293 HAS SOPS 669293 HAS SOUS 750612 HAS SOUPS 639702 WITH SCORE 641116.293
AT ITER 3295 NEW BEST:: SOT 2129196 SOS 1413543 HAS SOPS 667603 HAS SOUS 749068 HAS SOUPS 638127 WITH SCORE 639540.543
AT ITER 3306 NEW BEST:: SOT 2129165 SOS 1413512 HAS SOPS 667541 HAS SOUS 749049 HAS SOUPS 638077 WITH SCORE 639490.512
AT ITER 3309 NEW BEST:: SOT 2129199 SOS 1414504 HAS SOPS 667501 HAS SOUS 749063 HAS SOUPS 638037 WITH SCORE 639451.504
AT ITER 3317 NEW BEST:: SOT 2129215 SOS 1414520 HAS SOPS 667225 HAS SOUS 749079 HAS SOUPS 637761 WITH SCORE 639175.52
AT ITER 3326 NEW BEST:: SOT 2129215 SOS 1414520 HAS SOPS 667225 HAS SOUS 749002 HAS SOUPS 637684 WITH SCORE 639098.52
AT ITER 3339 NEW BEST:: SOT 2128936 SOS 1414241 HAS SOPS 666972 HAS SOUS 748819 HAS SOUPS 637501 WITH SCORE 638915.241
AT ITER 3343 NEW BEST:: SOT 2128916 SOS 1414221 HAS SOPS 666487 HAS SOUS 748580 HAS SOUPS 637034 WITH SCORE 638448.221
AT ITER 3350 NEW BEST:: SOT 2127642 SOS 1412151 HAS SOPS 661772 HAS SOUS 745177 HAS SOUPS 633631 WITH SCORE 635043.151
AT ITER 3428 NEW BEST:: SOT 2127441 SOS 1411950 HAS SOPS 661370 HAS SOUS 744953 HAS SOUPS 633407 WITH SCORE 634818.95
AT ITER 3442 NEW BEST:: SOT 2127441 SOS 1411950 HAS SOPS 661369 HAS SOUS 744822 HAS SOUPS 633276 WITH SCORE 634687.95
AT ITER 3445 NEW BEST:: SOT 2127367 SOS 1411737 HAS SOPS 661221 HAS SOUS 744674 HAS SOUPS 633128 WITH SCORE 634539.737
AT ITER 3453 NEW BEST:: SOT 2127306 SOS 1411676 HAS SOPS 661134 HAS SOUS 744648 HAS SOUPS 633102 WITH SCORE 634513.676
AT ITER 3460 NEW BEST:: SOT 2127305 SOS 1411675 HAS SOPS 661132 HAS SOUS 744646 HAS SOUPS 633100 WITH SCORE 634511.675
AT ITER 3467 NEW BEST:: SOT 2127314 SOS 1411803 HAS SOPS 661115 HAS SOUS 744629 HAS SOUPS 633083 WITH SCORE 634494.803
AT ITER 3469 NEW BEST:: SOT 2127235 SOS 1411724 HAS SOPS 660588 HAS SOUS 744150 HAS SOUPS 632604 WITH SCORE 634015.724
AT ITER 3470 NEW BEST:: SOT 2127235 SOS 1411724 HAS SOPS 660514 HAS SOUS 744076 HAS SOUPS 632530 WITH SCORE 633941.724
AT ITER 3484 NEW BEST:: SOT 2126877 SOS 1411366 HAS SOPS 659385 HAS SOUS 743276 HAS SOUPS 631730 WITH SCORE 633141.366
AT ITER 3487 NEW BEST:: SOT 2126877 SOS 1411366 HAS SOPS 659149 HAS SOUS 743040 HAS SOUPS 631494 WITH SCORE 632905.366
AT ITER 3491 NEW BEST:: SOT 2127062 SOS 1411859 HAS SOPS 658997 HAS SOUS 742954 HAS SOUPS 631342 WITH SCORE 632753.859
AT ITER 3504 NEW BEST:: SOT 2127086 SOS 1411883 HAS SOPS 658687 HAS SOUS 742891 HAS SOUPS 631240 WITH SCORE 632651.883
AT ITER 3509 NEW BEST:: SOT 2126882 SOS 1411679 HAS SOPS 658054 HAS SOUS 742258 HAS SOUPS 630607 WITH SCORE 632018.679
AT ITER 3510 NEW BEST:: SOT 2126845 SOS 1411642 HAS SOPS 657980 HAS SOUS 742184 HAS SOUPS 630533 WITH SCORE 631944.642
AT ITER 3514 NEW BEST:: SOT 2127175 SOS 1411972 HAS SOPS 657700 HAS SOUS 741960 HAS SOUPS 630253 WITH SCORE 631664.972
AT ITER 3516 NEW BEST:: SOT 2127054 SOS 1411851 HAS SOPS 657458 HAS SOUS 741669 HAS SOUPS 629962 WITH SCORE 631373.851
AT ITER 3518 NEW BEST:: SOT 2126979 SOS 1411776 HAS SOPS 657206 HAS SOUS 741417 HAS SOUPS 629710 WITH SCORE 631121.776
AT ITER 3525 NEW BEST:: SOT 2127025 SOS 1412922 HAS SOPS 657156 HAS SOUS 741422 HAS SOUPS 629660 WITH SCORE 631072.922
AT ITER 3531 NEW BEST:: SOT 2126833 SOS 1412730 HAS SOPS 656659 HAS SOUS 741082 HAS SOUPS 629276 WITH SCORE 630688.73
AT ITER 3536 NEW BEST:: SOT 2126737 SOS 1412634 HAS SOPS 656352 HAS SOUS 740794 HAS SOUPS 628988 WITH SCORE 630400.634
AT ITER 3551 NEW BEST:: SOT 2126737 SOS 1413939 HAS SOPS 656207 HAS SOUS 740794 HAS SOUPS 628843 WITH SCORE 630256.939
AT ITER 3567 NEW BEST:: SOT 2126659 SOS 1413861 HAS SOPS 656014 HAS SOUS 740601 HAS SOUPS 628650 WITH SCORE 630063.861
AT ITER 3573 NEW BEST:: SOT 2126588 SOS 1413790 HAS SOPS 655872 HAS SOUS 740459 HAS SOUPS 628508 WITH SCORE 629921.79
AT ITER 3581 NEW BEST:: SOT 2126663 SOS 1413865 HAS SOPS 655482 HAS SOUS 739946 HAS SOUPS 627953 WITH SCORE 629366.865
AT ITER 3589 NEW BEST:: SOT 2126663 SOS 1413961 HAS SOPS 655458 HAS SOUS 739934 HAS SOUPS 627929 WITH SCORE 629342.961
AT ITER 3591 NEW BEST:: SOT 2126490 SOS 1413625 HAS SOPS 655112 HAS SOUS 739588 HAS SOUPS 627583 WITH SCORE 628996.625
AT ITER 3598 NEW BEST:: SOT 2126401 SOS 1413536 HAS SOPS 654975 HAS SOUS 739560 HAS SOUPS 627555 WITH SCORE 628968.536
AT ITER 3601 NEW BEST:: SOT 2126401 SOS 1413536 HAS SOPS 654970 HAS SOUS 739560 HAS SOUPS 627550 WITH SCORE 628963.536
AT ITER 3604 NEW BEST:: SOT 2126401 SOS 1415436 HAS SOPS 654875 HAS SOUS 739560 HAS SOUPS 627455 WITH SCORE 628870.436
AT ITER 3621 NEW BEST:: SOT 2126366 SOS 1415271 HAS SOPS 654840 HAS SOUS 739525 HAS SOUPS 627420 WITH SCORE 628835.271
AT ITER 3627 NEW BEST:: SOT 2126222 SOS 1415127 HAS SOPS 654552 HAS SOUS 739238 HAS SOUPS 627132 WITH SCORE 628547.127
AT ITER 3628 NEW BEST:: SOT 2125915 SOS 1414820 HAS SOPS 653814 HAS SOUS 738616 HAS SOUPS 626510 WITH SCORE 627924.82
AT ITER 3629 NEW BEST:: SOT 2125950 SOS 1414855 HAS SOPS 653744 HAS SOUS 738788 HAS SOUPS 626440 WITH SCORE 627854.855
AT ITER 3638 NEW BEST:: SOT 2125862 SOS 1414767 HAS SOPS 653568 HAS SOUS 738617 HAS SOUPS 626181 WITH SCORE 627595.767
AT ITER 3652 NEW BEST:: SOT 2125848 SOS 1414753 HAS SOPS 653540 HAS SOUS 738577 HAS SOUPS 626153 WITH SCORE 627567.753
AT ITER 3654 NEW BEST:: SOT 2125752 SOS 1414657 HAS SOPS 653441 HAS SOUS 738478 HAS SOUPS 626054 WITH SCORE 627468.657
AT ITER 3664 NEW BEST:: SOT 2125752 SOS 1414657 HAS SOPS 653317 HAS SOUS 738354 HAS SOUPS 625930 WITH SCORE 627344.657
AT ITER 3665 NEW BEST:: SOT 2125688 SOS 1413925 HAS SOPS 653332 HAS SOUS 738211 HAS SOUPS 625866 WITH SCORE 627279.925
AT ITER 3668 NEW BEST:: SOT 2125688 SOS 1413925 HAS SOPS 653329 HAS SOUS 738208 HAS SOUPS 625863 WITH SCORE 627276.925
AT ITER 3672 NEW BEST:: SOT 2125688 SOS 1413925 HAS SOPS 653294 HAS SOUS 738173 HAS SOUPS 625828 WITH SCORE 627241.925
AT ITER 3678 NEW BEST:: SOT 2125633 SOS 1413870 HAS SOPS 653129 HAS SOUS 738008 HAS SOUPS 625718 WITH SCORE 627131.87
AT ITER 3690 NEW BEST:: SOT 2125522 SOS 1411539 HAS SOPS 653129 HAS SOUS 737897 HAS SOUPS 625718 WITH SCORE 627129.539
AT ITER 3693 NEW BEST:: SOT 2125522 SOS 1412337 HAS SOPS 653045 HAS SOUS 737855 HAS SOUPS 625634 WITH SCORE 627046.337
AT ITER 3694 NEW BEST:: SOT 2125522 SOS 1412337 HAS SOPS 653045 HAS SOUS 737824 HAS SOUPS 625603 WITH SCORE 627015.337
AT ITER 3728 NEW BEST:: SOT 2125519 SOS 1412334 HAS SOPS 653035 HAS SOUS 737814 HAS SOUPS 625593 WITH SCORE 627005.334
AT ITER 3744 NEW BEST:: SOT 2125463 SOS 1412222 HAS SOPS 652979 HAS SOUS 737758 HAS SOUPS 625537 WITH SCORE 626949.222
AT ITER 3745 NEW BEST:: SOT 2125441 SOS 1412200 HAS SOPS 652935 HAS SOUS 737714 HAS SOUPS 625493 WITH SCORE 626905.2
AT ITER 3760 NEW BEST:: SOT 2126090 SOS 1421538 HAS SOPS 652691 HAS SOUS 738310 HAS SOUPS 625249 WITH SCORE 626670.538
AT ITER 3762 NEW BEST:: SOT 2125698 SOS 1421146 HAS SOPS 651125 HAS SOUS 737303 HAS SOUPS 624188 WITH SCORE 625609.146
AT ITER 3789 NEW BEST:: SOT 2125698 SOS 1421146 HAS SOPS 650810 HAS SOUS 737103 HAS SOUPS 623988 WITH SCORE 625409.146
AT ITER 3797 NEW BEST:: SOT 2125874 SOS 1421449 HAS SOPS 650634 HAS SOUS 736934 HAS SOUPS 623812 WITH SCORE 625233.449
AT ITER 3799 NEW BEST:: SOT 2125838 SOS 1421413 HAS SOPS 650562 HAS SOUS 736859 HAS SOUPS 623740 WITH SCORE 625161.413
AT ITER 3811 NEW BEST:: SOT 2125711 SOS 1421286 HAS SOPS 650181 HAS SOUS 736478 HAS SOUPS 623359 WITH SCORE 624780.286
AT ITER 3830 NEW BEST:: SOT 2125614 SOS 1421092 HAS SOPS 650160 HAS SOUS 736455 HAS SOUPS 623338 WITH SCORE 624759.092
AT ITER 3844 NEW BEST:: SOT 2125480 SOS 1423878 HAS SOPS 649825 HAS SOUS 736266 HAS SOUPS 623003 WITH SCORE 624426.878
AT ITER 3860 NEW BEST:: SOT 2125131 SOS 1421233 HAS SOPS 649825 HAS SOUS 736151 HAS SOUPS 623003 WITH SCORE 624424.233
AT ITER 3866 NEW BEST:: SOT 2124868 SOS 1419265 HAS SOPS 649908 HAS SOUS 735806 HAS SOUPS 622872 WITH SCORE 624291.265
AT ITER 3869 NEW BEST:: SOT 2124834 SOS 1419231 HAS SOPS 649874 HAS SOUS 735738 HAS SOUPS 622838 WITH SCORE 624257.231
AT ITER 3872 NEW BEST:: SOT 2124777 SOS 1419174 HAS SOPS 649665 HAS SOUS 735529 HAS SOUPS 622629 WITH SCORE 624048.174
AT ITER 3874 NEW BEST:: SOT 2124889 SOS 1419286 HAS SOPS 649549 HAS SOUS 735301 HAS SOUPS 622513 WITH SCORE 623932.286
AT ITER 3875 NEW BEST:: SOT 2124889 SOS 1419118 HAS SOPS 649570 HAS SOUS 735280 HAS SOUPS 622513 WITH SCORE 623932.118
AT ITER 3888 NEW BEST:: SOT 2124750 SOS 1417576 HAS SOPS 649570 HAS SOUS 735141 HAS SOUPS 622513 WITH SCORE 623930.576
AT ITER 3912 NEW BEST:: SOT 2124882 SOS 1417708 HAS SOPS 649526 HAS SOUS 735097 HAS SOUPS 622469 WITH SCORE 623886.708
AT ITER 3916 NEW BEST:: SOT 2124651 SOS 1417477 HAS SOPS 648841 HAS SOUS 734602 HAS SOUPS 621974 WITH SCORE 623391.477
AT ITER 3931 NEW BEST:: SOT 2124708 SOS 1417522 HAS SOPS 648751 HAS SOUS 734512 HAS SOUPS 621884 WITH SCORE 623301.522
AT ITER 3950 NEW BEST:: SOT 2124708 SOS 1417522 HAS SOPS 648291 HAS SOUS 734052 HAS SOUPS 621424 WITH SCORE 622841.522
AT ITER 3967 NEW BEST:: SOT 2124734 SOS 1417548 HAS SOPS 648302 HAS SOUS 734027 HAS SOUPS 621399 WITH SCORE 622816.548
AT ITER 3975 NEW BEST:: SOT 2124800 SOS 1417614 HAS SOPS 648108 HAS SOUS 733833 HAS SOUPS 621205 WITH SCORE 622622.614
AT ITER 3977 NEW BEST:: SOT 2124776 SOS 1417590 HAS SOPS 648084 HAS SOUS 733833 HAS SOUPS 621205 WITH SCORE 622622.59
AT ITER 3979 NEW BEST:: SOT 2124758 SOS 1417752 HAS SOPS 648015 HAS SOUS 733797 HAS SOUPS 621136 WITH SCORE 622553.752
AT ITER 3983 NEW BEST:: SOT 2124752 SOS 1417740 HAS SOPS 648009 HAS SOUS 733791 HAS SOUPS 621130 WITH SCORE 622547.74
AT ITER 3989 NEW BEST:: SOT 2124652 SOS 1417640 HAS SOPS 647909 HAS SOUS 733702 HAS SOUPS 621030 WITH SCORE 622447.64
AT ITER 3992 NEW BEST:: SOT 2124211 SOS 1417199 HAS SOPS 647113 HAS SOUS 733103 HAS SOUPS 620431 WITH SCORE 621848.199
AT ITER 4002 NEW BEST:: SOT 2124209 SOS 1417197 HAS SOPS 647109 HAS SOUS 733100 HAS SOUPS 620427 WITH SCORE 621844.197
AT ITER 4017 NEW BEST:: SOT 2124180 SOS 1417168 HAS SOPS 647080 HAS SOUS 733071 HAS SOUPS 620398 WITH SCORE 621815.168
AT ITER 4022 NEW BEST:: SOT 2124046 SOS 1417048 HAS SOPS 646946 HAS SOUS 732937 HAS SOUPS 620264 WITH SCORE 621681.048
AT ITER 4023 NEW BEST:: SOT 2123695 SOS 1416697 HAS SOPS 645988 HAS SOUS 732440 HAS SOUPS 619648 WITH SCORE 621064.697
AT ITER 4032 NEW BEST:: SOT 2123629 SOS 1416631 HAS SOPS 644954 HAS SOUS 731648 HAS SOUPS 618856 WITH SCORE 620272.631
AT ITER 4035 NEW BEST:: SOT 2123791 SOS 1420460 HAS SOPS 644836 HAS SOUS 731714 HAS SOUPS 618738 WITH SCORE 620158.46
AT ITER 4038 NEW BEST:: SOT 2123684 SOS 1420353 HAS SOPS 644515 HAS SOUS 731393 HAS SOUPS 618417 WITH SCORE 619837.353
AT ITER 4046 NEW BEST:: SOT 2123410 SOS 1420079 HAS SOPS 644379 HAS SOUS 731257 HAS SOUPS 618281 WITH SCORE 619701.079
AT ITER 4049 NEW BEST:: SOT 2123393 SOS 1419756 HAS SOPS 644379 HAS SOUS 731240 HAS SOUPS 618281 WITH SCORE 619700.756
AT ITER 4068 NEW BEST:: SOT 2123378 SOS 1419741 HAS SOPS 644364 HAS SOUS 731225 HAS SOUPS 618266 WITH SCORE 619685.741
AT ITER 4069 NEW BEST:: SOT 2123272 SOS 1419635 HAS SOPS 644288 HAS SOUS 731119 HAS SOUPS 618190 WITH SCORE 619609.635
AT ITER 4075 NEW BEST:: SOT 2123212 SOS 1419575 HAS SOPS 644224 HAS SOUS 731055 HAS SOUPS 618126 WITH SCORE 619545.575
AT ITER 4088 NEW BEST:: SOT 2123154 SOS 1419517 HAS SOPS 644196 HAS SOUS 731027 HAS SOUPS 618098 WITH SCORE 619517.517
AT ITER 4093 NEW BEST:: SOT 2123051 SOS 1419332 HAS SOPS 644070 HAS SOUS 730901 HAS SOUPS 617972 WITH SCORE 619391.332
AT ITER 4094 NEW BEST:: SOT 2123109 SOS 1420070 HAS SOPS 643886 HAS SOUS 730991 HAS SOUPS 617788 WITH SCORE 619208.07
AT ITER 4104 NEW BEST:: SOT 2123082 SOS 1420043 HAS SOPS 643821 HAS SOUS 730926 HAS SOUPS 617723 WITH SCORE 619143.043
AT ITER 4119 NEW BEST:: SOT 2123065 SOS 1420026 HAS SOPS 643649 HAS SOUS 730688 HAS SOUPS 617552 WITH SCORE 618972.026
AT ITER 4147 NEW BEST:: SOT 2122971 SOS 1419932 HAS SOPS 643461 HAS SOUS 730594 HAS SOUPS 617364 WITH SCORE 618783.932
AT ITER 4148 NEW BEST:: SOT 2123322 SOS 1421875 HAS SOPS 643383 HAS SOUS 730726 HAS SOUPS 617286 WITH SCORE 618707.875
AT ITER 4153 NEW BEST:: SOT 2123258 SOS 1421811 HAS SOPS 643254 HAS SOUS 730598 HAS SOUPS 617158 WITH SCORE 618579.811
AT ITER 4157 NEW BEST:: SOT 2123220 SOS 1421773 HAS SOPS 643178 HAS SOUS 730842 HAS SOUPS 617082 WITH SCORE 618503.773
AT ITER 4180 NEW BEST:: SOT 2123213 SOS 1421650 HAS SOPS 643164 HAS SOUS 730263 HAS SOUPS 617068 WITH SCORE 618489.65
AT ITER 4184 NEW BEST:: SOT 2123191 SOS 1421628 HAS SOPS 643092 HAS SOUS 730191 HAS SOUPS 616996 WITH SCORE 618417.628
AT ITER 4186 NEW BEST:: SOT 2123031 SOS 1421468 HAS SOPS 642772 HAS SOUS 729871 HAS SOUPS 616676 WITH SCORE 618097.468
AT ITER 4193 NEW BEST:: SOT 2122903 SOS 1421340 HAS SOPS 642278 HAS SOUS 729531 HAS SOUPS 616336 WITH SCORE 617757.34
AT ITER 4199 NEW BEST:: SOT 2122903 SOS 1421340 HAS SOPS 641749 HAS SOUS 729268 HAS SOUPS 615807 WITH SCORE 617228.34
AT ITER 4200 NEW BEST:: SOT 2122922 SOS 1421359 HAS SOPS 641730 HAS SOUS 729249 HAS SOUPS 615788 WITH SCORE 617209.359
AT ITER 4209 NEW BEST:: SOT 2123114 SOS 1424000 HAS SOPS 641717 HAS SOUS 729381 HAS SOUPS 615775 WITH SCORE 617199.0
AT ITER 4215 NEW BEST:: SOT 2123152 SOS 1424056 HAS SOPS 641620 HAS SOUS 729284 HAS SOUPS 615678 WITH SCORE 617102.056
AT ITER 4217 NEW BEST:: SOT 2123152 SOS 1424056 HAS SOPS 641365 HAS SOUS 729029 HAS SOUPS 615423 WITH SCORE 616847.056
AT ITER 4220 NEW BEST:: SOT 2122961 SOS 1423865 HAS SOPS 641214 HAS SOUS 728879 HAS SOUPS 615273 WITH SCORE 616696.865
AT ITER 4221 NEW BEST:: SOT 2122861 SOS 1423765 HAS SOPS 641112 HAS SOUS 728809 HAS SOUPS 615203 WITH SCORE 616626.765
AT ITER 4229 NEW BEST:: SOT 2122786 SOS 1423690 HAS SOPS 640784 HAS SOUS 728563 HAS SOUPS 614950 WITH SCORE 616373.69
AT ITER 4234 NEW BEST:: SOT 2122559 SOS 1423463 HAS SOPS 640330 HAS SOUS 728357 HAS SOUPS 614744 WITH SCORE 616167.463
AT ITER 4238 NEW BEST:: SOT 2122506 SOS 1423410 HAS SOPS 640171 HAS SOUS 728198 HAS SOUPS 614585 WITH SCORE 616008.41
AT ITER 4247 NEW BEST:: SOT 2122121 SOS 1423025 HAS SOPS 639400 HAS SOUS 727268 HAS SOUPS 613655 WITH SCORE 615078.025
AT ITER 4249 NEW BEST:: SOT 2122077 SOS 1422981 HAS SOPS 639312 HAS SOUS 727224 HAS SOUPS 613611 WITH SCORE 615033.981
AT ITER 4265 NEW BEST:: SOT 2121783 SOS 1422687 HAS SOPS 638724 HAS SOUS 726264 HAS SOUPS 613023 WITH SCORE 614445.687
AT ITER 4290 NEW BEST:: SOT 2121672 SOS 1422576 HAS SOPS 638502 HAS SOUS 726107 HAS SOUPS 612801 WITH SCORE 614223.576
AT ITER 4294 NEW BEST:: SOT 2121470 SOS 1422374 HAS SOPS 638195 HAS SOUS 726002 HAS SOUPS 612494 WITH SCORE 613916.374
AT ITER 4298 NEW BEST:: SOT 2121256 SOS 1422160 HAS SOPS 637767 HAS SOUS 725574 HAS SOUPS 612066 WITH SCORE 613488.16
AT ITER 4301 NEW BEST:: SOT 2121479 SOS 1422383 HAS SOPS 637574 HAS SOUS 725491 HAS SOUPS 611872 WITH SCORE 613294.383
AT ITER 4304 NEW BEST:: SOT 2121422 SOS 1422269 HAS SOPS 637517 HAS SOUS 725434 HAS SOUPS 611815 WITH SCORE 613237.269
AT ITER 4324 NEW BEST:: SOT 2121382 SOS 1422229 HAS SOPS 637323 HAS SOUS 725240 HAS SOUPS 611621 WITH SCORE 613043.229
AT ITER 4332 NEW BEST:: SOT 2121329 SOS 1422176 HAS SOPS 636976 HAS SOUS 724946 HAS SOUPS 611327 WITH SCORE 612749.176
AT ITER 4359 NEW BEST:: SOT 2121292 SOS 1422139 HAS SOPS 636652 HAS SOUS 724888 HAS SOUPS 611269 WITH SCORE 612691.139
AT ITER 4369 NEW BEST:: SOT 2121128 SOS 1421975 HAS SOPS 636242 HAS SOUS 724642 HAS SOUPS 611023 WITH SCORE 612444.975
AT ITER 4380 NEW BEST:: SOT 2121084 SOS 1421887 HAS SOPS 636241 HAS SOUS 724641 HAS SOUPS 611022 WITH SCORE 612443.887
AT ITER 4389 NEW BEST:: SOT 2121314 SOS 1423732 HAS SOPS 636235 HAS SOUS 724723 HAS SOUPS 611016 WITH SCORE 612439.732
AT ITER 4393 NEW BEST:: SOT 2121314 SOS 1423732 HAS SOPS 636147 HAS SOUS 724635 HAS SOUPS 610928 WITH SCORE 612351.732
AT ITER 4400 NEW BEST:: SOT 2121276 SOS 1423694 HAS SOPS 636071 HAS SOUS 724479 HAS SOUPS 610772 WITH SCORE 612195.694
AT ITER 4403 NEW BEST:: SOT 2121243 SOS 1423661 HAS SOPS 636005 HAS SOUS 724414 HAS SOUPS 610706 WITH SCORE 612129.661
AT ITER 4411 NEW BEST:: SOT 2121111 SOS 1423529 HAS SOPS 636005 HAS SOUS 724414 HAS SOUPS 610706 WITH SCORE 612129.529
AT ITER 4428 NEW BEST:: SOT 2121188 SOS 1423606 HAS SOPS 635934 HAS SOUS 724461 HAS SOUPS 610635 WITH SCORE 612058.606
AT ITER 4430 NEW BEST:: SOT 2121153 SOS 1423571 HAS SOPS 635794 HAS SOUS 724356 HAS SOUPS 610530 WITH SCORE 611953.571
AT ITER 4436 NEW BEST:: SOT 2121010 SOS 1423428 HAS SOPS 635508 HAS SOUS 724070 HAS SOUPS 610244 WITH SCORE 611667.428
AT ITER 4437 NEW BEST:: SOT 2120883 SOS 1423301 HAS SOPS 635021 HAS SOUS 723583 HAS SOUPS 609757 WITH SCORE 611180.301
AT ITER 4449 NEW BEST:: SOT 2120686 SOS 1423104 HAS SOPS 634627 HAS SOUS 723189 HAS SOUPS 609363 WITH SCORE 610786.104
AT ITER 4457 NEW BEST:: SOT 2120638 SOS 1422200 HAS SOPS 634627 HAS SOUS 723141 HAS SOUPS 609363 WITH SCORE 610785.2
AT ITER 4492 NEW BEST:: SOT 2120603 SOS 1422165 HAS SOPS 634557 HAS SOUS 723308 HAS SOUPS 609293 WITH SCORE 610715.165
AT ITER 4498 NEW BEST:: SOT 2120521 SOS 1422083 HAS SOPS 634290 HAS SOUS 723042 HAS SOUPS 609027 WITH SCORE 610449.083
AT ITER 4512 NEW BEST:: SOT 2120445 SOS 1420487 HAS SOPS 634290 HAS SOUS 722966 HAS SOUPS 609027 WITH SCORE 610447.487
AT ITER 4520 NEW BEST:: SOT 2120445 SOS 1420492 HAS SOPS 634247 HAS SOUS 722923 HAS SOUPS 608984 WITH SCORE 610404.492
AT ITER 4524 NEW BEST:: SOT 2120386 SOS 1420433 HAS SOPS 634070 HAS SOUS 722805 HAS SOUPS 608807 WITH SCORE 610227.433
AT ITER 4527 NEW BEST:: SOT 2120342 SOS 1447972 HAS SOPS 633813 HAS SOUS 722761 HAS SOUPS 608550 WITH SCORE 609997.972
AT ITER 4538 NEW BEST:: SOT 2120282 SOS 1447912 HAS SOPS 633693 HAS SOUS 722641 HAS SOUPS 608430 WITH SCORE 609877.912
AT ITER 4541 NEW BEST:: SOT 2120289 SOS 1447919 HAS SOPS 633587 HAS SOUS 722535 HAS SOUPS 608324 WITH SCORE 609771.919
AT ITER 4563 NEW BEST:: SOT 2120449 SOS 1449839 HAS SOPS 633207 HAS SOUS 722249 HAS SOUPS 607944 WITH SCORE 609393.839
AT ITER 4578 NEW BEST:: SOT 2118814 SOS 1448204 HAS SOPS 632944 HAS SOUS 721852 HAS SOUPS 607754 WITH SCORE 609202.204
AT ITER 4593 NEW BEST:: SOT 2118913 SOS 1450307 HAS SOPS 633032 HAS SOUS 721910 HAS SOUPS 607598 WITH SCORE 609048.307
AT ITER 4608 NEW BEST:: SOT 2118909 SOS 1450303 HAS SOPS 633032 HAS SOUS 721910 HAS SOUPS 607598 WITH SCORE 609048.303
AT ITER 4624 NEW BEST:: SOT 2119090 SOS 1450484 HAS SOPS 633006 HAS SOUS 721884 HAS SOUPS 607572 WITH SCORE 609022.484
AT ITER 4632 NEW BEST:: SOT 2119390 SOS 1450784 HAS SOPS 633002 HAS SOUS 721880 HAS SOUPS 607568 WITH SCORE 609018.784
AT ITER 4642 NEW BEST:: SOT 2119404 SOS 1450798 HAS SOPS 632749 HAS SOUS 722057 HAS SOUPS 607315 WITH SCORE 608765.798
AT ITER 4658 NEW BEST:: SOT 2119404 SOS 1450798 HAS SOPS 632271 HAS SOUS 721579 HAS SOUPS 606837 WITH SCORE 608287.798
AT ITER 4664 NEW BEST:: SOT 2118979 SOS 1450373 HAS SOPS 632002 HAS SOUS 721506 HAS SOUPS 606350 WITH SCORE 607800.373
AT ITER 4684 NEW BEST:: SOT 2118979 SOS 1450373 HAS SOPS 631956 HAS SOUS 721460 HAS SOUPS 606304 WITH SCORE 607754.373
AT ITER 4693 NEW BEST:: SOT 2118865 SOS 1450259 HAS SOPS 631842 HAS SOUS 721360 HAS SOUPS 606204 WITH SCORE 607654.259
AT ITER 4694 NEW BEST:: SOT 2118811 SOS 1450205 HAS SOPS 631755 HAS SOUS 721251 HAS SOUPS 606095 WITH SCORE 607545.205
AT ITER 4698 NEW BEST:: SOT 2118811 SOS 1450205 HAS SOPS 631755 HAS SOUS 721116 HAS SOUPS 605960 WITH SCORE 607410.205
AT ITER 4707 NEW BEST:: SOT 2118364 SOS 1449758 HAS SOPS 631159 HAS SOUS 720591 HAS SOUPS 605435 WITH SCORE 606884.758
AT ITER 4733 NEW BEST:: SOT 2118364 SOS 1449758 HAS SOPS 631158 HAS SOUS 720590 HAS SOUPS 605434 WITH SCORE 606883.758
AT ITER 4735 NEW BEST:: SOT 2118302 SOS 1449696 HAS SOPS 631034 HAS SOUS 720483 HAS SOUPS 605310 WITH SCORE 606759.696
AT ITER 4743 NEW BEST:: SOT 2123790 SOS 1439166 HAS SOPS 615517 HAS SOUS 719510 HAS SOUPS 604337 WITH SCORE 605776.166
AT ITER 4749 NEW BEST:: SOT 2123763 SOS 1439139 HAS SOPS 615376 HAS SOUS 718854 HAS SOUPS 603882 WITH SCORE 605321.139
AT ITER 4756 NEW BEST:: SOT 2123738 SOS 1439114 HAS SOPS 615376 HAS SOUS 718854 HAS SOUPS 603882 WITH SCORE 605321.114
AT ITER 4759 NEW BEST:: SOT 2123645 SOS 1439021 HAS SOPS 614897 HAS SOUS 718349 HAS SOUPS 603224 WITH SCORE 604663.021
AT ITER 4771 NEW BEST:: SOT 2123669 SOS 1440938 HAS SOPS 614517 HAS SOUS 718171 HAS SOUPS 602844 WITH SCORE 604284.938
AT ITER 4777 NEW BEST:: SOT 2123731 SOS 1441195 HAS SOPS 614219 HAS SOUS 718176 HAS SOUPS 602546 WITH SCORE 603987.195
AT ITER 4781 NEW BEST:: SOT 2123731 SOS 1440935 HAS SOPS 614219 HAS SOUS 718130 HAS SOUPS 602546 WITH SCORE 603986.935
AT ITER 4783 NEW BEST:: SOT 2123610 SOS 1440814 HAS SOPS 614098 HAS SOUS 718096 HAS SOUPS 602512 WITH SCORE 603952.814
AT ITER 4803 NEW BEST:: SOT 2123549 SOS 1440753 HAS SOPS 613976 HAS SOUS 718035 HAS SOUPS 602451 WITH SCORE 603891.753
AT ITER 4806 NEW BEST:: SOT 2123488 SOS 1440692 HAS SOPS 613854 HAS SOUS 717913 HAS SOUPS 602329 WITH SCORE 603769.692
AT ITER 4817 NEW BEST:: SOT 2123484 SOS 1440688 HAS SOPS 613850 HAS SOUS 717909 HAS SOUPS 602325 WITH SCORE 603765.688
AT ITER 4831 NEW BEST:: SOT 2123625 SOS 1440829 HAS SOPS 613973 HAS SOUS 717863 HAS SOUPS 602279 WITH SCORE 603719.829
AT ITER 4837 NEW BEST:: SOT 2123765 SOS 1442476 HAS SOPS 613958 HAS SOUS 718003 HAS SOUPS 602264 WITH SCORE 603706.476
AT ITER 4845 NEW BEST:: SOT 2123756 SOS 1442467 HAS SOPS 613920 HAS SOUS 717975 HAS SOUPS 602236 WITH SCORE 603678.467
AT ITER 4864 NEW BEST:: SOT 2123655 SOS 1442366 HAS SOPS 613808 HAS SOUS 717863 HAS SOUPS 602124 WITH SCORE 603566.366
AT ITER 4866 NEW BEST:: SOT 2123437 SOS 1442206 HAS SOPS 613372 HAS SOUS 717645 HAS SOUPS 601906 WITH SCORE 603348.206
AT ITER 4886 NEW BEST:: SOT 2123436 SOS 1442205 HAS SOPS 613248 HAS SOUS 717521 HAS SOUPS 601782 WITH SCORE 603224.205
AT ITER 4912 NEW BEST:: SOT 2123330 SOS 1442099 HAS SOPS 613036 HAS SOUS 717319 HAS SOUPS 601570 WITH SCORE 603012.099
AT ITER 4917 NEW BEST:: SOT 2123243 SOS 1442012 HAS SOPS 612761 HAS SOUS 717479 HAS SOUPS 601568 WITH SCORE 603010.012
AT ITER 4926 NEW BEST:: SOT 2122895 SOS 1435384 HAS SOPS 612761 HAS SOUS 717059 HAS SOUPS 601568 WITH SCORE 603003.384
AT ITER 4931 NEW BEST:: SOT 2122827 SOS 1435316 HAS SOPS 612819 HAS SOUS 717057 HAS SOUPS 601566 WITH SCORE 603001.316
AT ITER 4933 NEW BEST:: SOT 2123237 SOS 1438646 HAS SOPS 612763 HAS SOUS 717293 HAS SOUPS 601510 WITH SCORE 602948.646
AT ITER 4934 NEW BEST:: SOT 2123144 SOS 1438553 HAS SOPS 612493 HAS SOUS 717023 HAS SOUPS 601240 WITH SCORE 602678.553
AT ITER 4935 NEW BEST:: SOT 2019157 SOS 1334566 HAS SOPS 508400 HAS SOUS 644938 HAS SOUPS 507622 WITH SCORE 508956.566
AT ITER 4938 NEW BEST:: SOT 2019100 SOS 1334509 HAS SOPS 508286 HAS SOUS 644824 HAS SOUPS 507508 WITH SCORE 508842.509
AT ITER 4946 NEW BEST:: SOT 2018630 SOS 1334039 HAS SOPS 507920 HAS SOUS 644347 HAS SOUPS 507142 WITH SCORE 508476.039
AT ITER 4970 NEW BEST:: SOT 2018609 SOS 1334018 HAS SOPS 507878 HAS SOUS 644305 HAS SOUPS 507100 WITH SCORE 508434.018
AT ITER 4991 NEW BEST:: SOT 2018564 SOS 1333973 HAS SOPS 507788 HAS SOUS 644215 HAS SOUPS 507010 WITH SCORE 508343.973
AT ITER 4997 NEW BEST:: SOT 2018355 SOS 1333764 HAS SOPS 507370 HAS SOUS 643797 HAS SOUPS 506592 WITH SCORE 507925.764
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BART-PT-010-CTLCardinality-00 (AX( (EX( potential( (tk(P1321)) <= (tk(P1353)) )))))
PROPERTY: BART-PT-010-CTLCardinality-01 ( ( (EF(potential( ( 1 ) <= (tk(P1310)) ))) | (EF(( potential( ( 1 ) <= (tk(P1059)) ) & potential( (tk(P716)) <= (tk(P395)) ) ))) ) | (! (EU( potential( (tk(P379)) <= (tk(P479)) ),potential( (tk(P867)) <= (tk(P408)) ) ))) )
PROPERTY: BART-PT-010-CTLCardinality-02 (EG( (AF((! potential( ( 3 ) <= (tk(P839)) ))))))
PROPERTY: BART-PT-010-CTLCardinality-03 (AF((! (AF(potential( ( 3 ) <= (tk(P1221)) ))))))
PROPERTY: BART-PT-010-CTLCardinality-04 (EU( (AX( potential( (tk(P242)) <= (tk(P1122)) ))),(EF(potential( ( 2 ) <= (tk(P510)) ))) ))
PROPERTY: BART-PT-010-CTLCardinality-05 (EU( (EG( potential( (tk(P920)) <= (tk(P1247)) ))),(! ( potential( ( 1 ) <= (tk(P287)) ) | potential( (tk(P137)) <= (tk(P1195)) ) )) ))
PROPERTY: BART-PT-010-CTLCardinality-06 ( ( (EG( (! potential( ( 2 ) <= (tk(P1437)) )))) & ( (EX( potential( ( 1 ) <= (tk(P1508)) ))) & potential( (tk(P1149)) <= (tk(P573)) ) ) ) | ( (! (AX( potential( ( 3 ) <= (tk(P404)) )))) & ( ( potential( ( 1 ) <= (tk(P693)) ) & ( potential( ( 3 ) <= (tk(P874)) ) & potential( (tk(P1041)) <= (tk(P1484)) ) ) ) & (EG( potential( (tk(P628)) <= (tk(P432)) ))) ) ) )
PROPERTY: BART-PT-010-CTLCardinality-07 (EU( ( ( potential( (tk(P133)) <= (tk(P1211)) ) | potential( (tk(P688)) <= (tk(P577)) ) ) | ( potential( ( 1 ) <= (tk(P857)) ) | potential( (tk(P1442)) <= (tk(P1385)) ) ) ),potential( ( 2 ) <= (tk(P720)) ) ))
PROPERTY: BART-PT-010-CTLCardinality-08 (AX( ( ( ( potential( (tk(P959)) <= (tk(P1276)) ) | potential( (tk(P95)) <= (tk(P128)) ) ) & ( potential( (tk(P330)) <= (tk(P979)) ) | potential( ( 2 ) <= (tk(P177)) ) ) ) & (AF(potential( ( 2 ) <= (tk(P1447)) ))) )))
PROPERTY: BART-PT-010-CTLCardinality-09 ( potential( (tk(P1149)) <= (tk(P740)) ) & ( (EG( ( potential( (tk(P1241)) <= (tk(P297)) ) | potential( ( 3 ) <= (tk(P1156)) ) ))) & ( ( potential( (tk(P625)) <= (tk(P861)) ) & (! potential( ( 3 ) <= (tk(P1276)) )) ) | (AF(potential( ( 2 ) <= (tk(P656)) ))) ) ) )
PROPERTY: BART-PT-010-CTLCardinality-10 (EF(( (EF(potential( ( 1 ) <= (tk(P812)) ))) & (EF(potential( ( 1 ) <= (tk(P1272)) ))) )))
PROPERTY: BART-PT-010-CTLCardinality-11 (AU( (EX( potential( (tk(P785)) <= (tk(P785)) ))),(EX( potential( ( 3 ) <= (tk(P1036)) ))) ))
PROPERTY: BART-PT-010-CTLCardinality-12 (EX( (AG( ( potential( ( 2 ) <= (tk(P1300)) ) | potential( ( 1 ) <= (tk(P787)) ) )))))
PROPERTY: BART-PT-010-CTLCardinality-13 ( (EG( ( (! potential( ( 1 ) <= (tk(P1441)) )) | ( potential( (tk(P188)) <= (tk(P325)) ) | potential( (tk(P791)) <= (tk(P1325)) ) ) ))) & (EU( ( potential( ( 3 ) <= (tk(P933)) ) | potential( (tk(P1503)) <= (tk(P772)) ) ),( potential( ( 1 ) <= (tk(P1450)) ) & potential( (tk(P60)) <= (tk(P815)) ) ) )) )
PROPERTY: BART-PT-010-CTLCardinality-14 (AG( (! (EF(potential( ( 3 ) <= (tk(P944)) ))))))
PROPERTY: BART-PT-010-CTLCardinality-15 ( (EG( ( ( potential( (tk(P70)) <= (tk(P839)) ) | potential( (tk(P696)) <= (tk(P437)) ) ) | (! potential( (tk(P1086)) <= (tk(P1347)) )) ))) | potential( ( 3 ) <= (tk(P674)) ) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-PT-010"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is BART-PT-010, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897679500083"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-010.tgz
mv BART-PT-010 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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