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

--------------------
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 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)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589012465376

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

Filename model.pnml
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 3 NEW BEST:: SOT 2252821 SOS 1462198 HAS SOPS 1083091 HAS SOUS 1002573 HAS SOUPS 949860 WITH SCORE 951322.198
AT ITER 4 NEW BEST:: SOT 2252990 SOS 1462458 HAS SOPS 1083000 HAS SOUS 1003261 HAS SOUPS 949770 WITH SCORE 951232.458
AT ITER 7 NEW BEST:: SOT 2252584 SOS 1462052 HAS SOPS 1081797 HAS SOUS 1002467 HAS SOUPS 948172 WITH SCORE 949634.052
AT ITER 11 NEW BEST:: SOT 2252584 SOS 1462052 HAS SOPS 1081509 HAS SOUS 1001966 HAS SOUPS 947477 WITH SCORE 948939.052
AT ITER 14 NEW BEST:: SOT 2252584 SOS 1462052 HAS SOPS 1081224 HAS SOUS 1001360 HAS SOUPS 946779 WITH SCORE 948241.052
AT ITER 19 NEW BEST:: SOT 2252584 SOS 1462052 HAS SOPS 1080898 HAS SOUS 1001116 HAS SOUPS 946363 WITH SCORE 947825.052
AT ITER 20 NEW BEST:: SOT 2252584 SOS 1462052 HAS SOPS 1080534 HAS SOUS 1000500 HAS SOUPS 945635 WITH SCORE 947097.052
AT ITER 21 NEW BEST:: SOT 2251827 SOS 1461295 HAS SOPS 1080134 HAS SOUS 1000101 HAS SOUPS 945236 WITH SCORE 946697.295
AT ITER 23 NEW BEST:: SOT 2251827 SOS 1461295 HAS SOPS 1080194 HAS SOUS 1000018 HAS SOUPS 945085 WITH SCORE 946546.295
AT ITER 30 NEW BEST:: SOT 2252004 SOS 1461648 HAS SOPS 1079961 HAS SOUS 1000444 HAS SOUPS 944853 WITH SCORE 946314.648
AT ITER 36 NEW BEST:: SOT 2252004 SOS 1461648 HAS SOPS 1079602 HAS SOUS 999870 HAS SOUPS 944137 WITH SCORE 945598.648
AT ITER 39 NEW BEST:: SOT 2252031 SOS 1461701 HAS SOPS 1079215 HAS SOUS 1000080 HAS SOUPS 943751 WITH SCORE 945212.701
AT ITER 54 NEW BEST:: SOT 2252031 SOS 1461701 HAS SOPS 1078943 HAS SOUS 1000003 HAS SOUPS 943478 WITH SCORE 944939.701
AT ITER 57 NEW BEST:: SOT 2252058 SOS 1461794 HAS SOPS 1078856 HAS SOUS 1000546 HAS SOUPS 943391 WITH SCORE 944852.794
AT ITER 58 NEW BEST:: SOT 2252101 SOS 1462917 HAS SOPS 1078597 HAS SOUS 1000626 HAS SOUPS 943132 WITH SCORE 944594.917
AT ITER 64 NEW BEST:: SOT 2252046 SOS 1462862 HAS SOPS 1078486 HAS SOUS 1000522 HAS SOUPS 943021 WITH SCORE 944483.862
AT ITER 65 NEW BEST:: SOT 2252046 SOS 1462862 HAS SOPS 1077964 HAS SOUS 999900 HAS SOUPS 942275 WITH SCORE 943737.862
AT ITER 67 NEW BEST:: SOT 2252046 SOS 1462862 HAS SOPS 1077690 HAS SOUS 999591 HAS SOUPS 941729 WITH SCORE 943191.862
AT ITER 68 NEW BEST:: SOT 2252080 SOS 1463110 HAS SOPS 1077314 HAS SOUS 999850 HAS SOUPS 941354 WITH SCORE 942817.11
AT ITER 69 NEW BEST:: SOT 2251778 SOS 1462808 HAS SOPS 1077012 HAS SOUS 999548 HAS SOUPS 941052 WITH SCORE 942514.808
AT ITER 71 NEW BEST:: SOT 2251863 SOS 1462977 HAS SOPS 1076689 HAS SOUS 999930 HAS SOUPS 940730 WITH SCORE 942192.977
AT ITER 75 NEW BEST:: SOT 2251863 SOS 1462977 HAS SOPS 1076517 HAS SOUS 999758 HAS SOUPS 940558 WITH SCORE 942020.977
AT ITER 79 NEW BEST:: SOT 2251863 SOS 1462977 HAS SOPS 1076632 HAS SOUS 999622 HAS SOUPS 940377 WITH SCORE 941839.977
AT ITER 84 NEW BEST:: SOT 2251744 SOS 1462858 HAS SOPS 1076632 HAS SOUS 999503 HAS SOUPS 940377 WITH SCORE 941839.858
AT ITER 88 NEW BEST:: SOT 2251744 SOS 1462858 HAS SOPS 1076288 HAS SOUS 998836 HAS SOUPS 939691 WITH SCORE 941153.858
AT ITER 90 NEW BEST:: SOT 2159863 SOS 1599809 HAS SOPS 983611 HAS SOUS 908094 HAS SOUPS 847014 WITH SCORE 848613.809
AT ITER 91 NEW BEST:: SOT 2159650 SOS 1599596 HAS SOPS 983050 HAS SOUS 907534 HAS SOUPS 846454 WITH SCORE 848053.596
AT ITER 93 NEW BEST:: SOT 2159650 SOS 1599596 HAS SOPS 983049 HAS SOUS 907215 HAS SOUPS 846135 WITH SCORE 847734.596
AT ITER 99 NEW BEST:: SOT 2159325 SOS 1599271 HAS SOPS 982398 HAS SOUS 906385 HAS SOUPS 845160 WITH SCORE 846759.271
AT ITER 105 NEW BEST:: SOT 2159156 SOS 1599102 HAS SOPS 981716 HAS SOUS 905633 HAS SOUPS 844408 WITH SCORE 846007.102
AT ITER 106 NEW BEST:: SOT 2159661 SOS 1599607 HAS SOPS 981594 HAS SOUS 905511 HAS SOUPS 844286 WITH SCORE 845885.607
AT ITER 111 NEW BEST:: SOT 2159289 SOS 1599235 HAS SOPS 980816 HAS SOUS 905476 HAS SOUPS 843509 WITH SCORE 845108.235
AT ITER 114 NEW BEST:: SOT 2158502 SOS 1598448 HAS SOPS 980165 HAS SOUS 904826 HAS SOUPS 842859 WITH SCORE 844457.448
AT ITER 117 NEW BEST:: SOT 2158413 SOS 1598359 HAS SOPS 979990 HAS SOUS 904689 HAS SOUPS 842684 WITH SCORE 844282.359
AT ITER 118 NEW BEST:: SOT 2158187 SOS 1598133 HAS SOPS 979538 HAS SOUS 904237 HAS SOUPS 842232 WITH SCORE 843830.133
AT ITER 122 NEW BEST:: SOT 2158114 SOS 1598060 HAS SOPS 979391 HAS SOUS 903964 HAS SOUPS 841869 WITH SCORE 843467.06
AT ITER 125 NEW BEST:: SOT 2158114 SOS 1598060 HAS SOPS 979041 HAS SOUS 904103 HAS SOUPS 841519 WITH SCORE 843117.06
AT ITER 131 NEW BEST:: SOT 2158255 SOS 1598201 HAS SOPS 978970 HAS SOUS 904071 HAS SOUPS 841449 WITH SCORE 843047.201
AT ITER 132 NEW BEST:: SOT 2158104 SOS 1598050 HAS SOPS 978509 HAS SOUS 904347 HAS SOUPS 840989 WITH SCORE 842587.05
AT ITER 133 NEW BEST:: SOT 2157921 SOS 1597867 HAS SOPS 977912 HAS SOUS 904369 HAS SOUPS 840393 WITH SCORE 841990.867
AT ITER 134 NEW BEST:: SOT 2157567 SOS 1597513 HAS SOPS 977152 HAS SOUS 904341 HAS SOUPS 839634 WITH SCORE 841231.513
AT ITER 136 NEW BEST:: SOT 2156820 SOS 1596766 HAS SOPS 976485 HAS SOUS 903675 HAS SOUPS 838968 WITH SCORE 840564.766
AT ITER 137 NEW BEST:: SOT 2156529 SOS 1596475 HAS SOPS 975778 HAS SOUS 903870 HAS SOUPS 838581 WITH SCORE 840177.475
AT ITER 145 NEW BEST:: SOT 2156234 SOS 1596180 HAS SOPS 975188 HAS SOUS 903569 HAS SOUPS 837991 WITH SCORE 839587.18
AT ITER 146 NEW BEST:: SOT 2155981 SOS 1595927 HAS SOPS 974763 HAS SOUS 903272 HAS SOUPS 837566 WITH SCORE 839161.927
AT ITER 150 NEW BEST:: SOT 2155789 SOS 1595735 HAS SOPS 974322 HAS SOUS 903375 HAS SOUPS 837126 WITH SCORE 838721.735
AT ITER 151 NEW BEST:: SOT 2155502 SOS 1595448 HAS SOPS 973747 HAS SOUS 902587 HAS SOUPS 836144 WITH SCORE 837739.448
AT ITER 155 NEW BEST:: SOT 2142101 SOS 1582732 HAS SOPS 970917 HAS SOUS 889206 HAS SOUPS 832902 WITH SCORE 834484.732
AT ITER 161 NEW BEST:: SOT 2142027 SOS 1582658 HAS SOPS 970768 HAS SOUS 888702 HAS SOUPS 832356 WITH SCORE 833938.658
AT ITER 163 NEW BEST:: SOT 2142027 SOS 1570931 HAS SOPS 957781 HAS SOUS 888351 HAS SOUPS 831654 WITH SCORE 833224.931
AT ITER 164 NEW BEST:: SOT 2141723 SOS 1570627 HAS SOPS 957172 HAS SOUS 887830 HAS SOUPS 831041 WITH SCORE 832611.627
AT ITER 169 NEW BEST:: SOT 2141723 SOS 1570627 HAS SOPS 956792 HAS SOUS 887531 HAS SOUPS 830661 WITH SCORE 832231.627
AT ITER 170 NEW BEST:: SOT 2142394 SOS 1571325 HAS SOPS 956151 HAS SOUS 888056 HAS SOUPS 830021 WITH SCORE 831592.325
AT ITER 174 NEW BEST:: SOT 2142361 SOS 1571292 HAS SOPS 956084 HAS SOUS 887954 HAS SOUPS 829655 WITH SCORE 831226.292
AT ITER 175 NEW BEST:: SOT 2142166 SOS 1571097 HAS SOPS 955814 HAS SOUS 887684 HAS SOUPS 829385 WITH SCORE 830956.097
AT ITER 177 NEW BEST:: SOT 2142166 SOS 1571097 HAS SOPS 955653 HAS SOUS 887672 HAS SOUPS 829224 WITH SCORE 830795.097
AT ITER 180 NEW BEST:: SOT 2142232 SOS 1575593 HAS SOPS 955563 HAS SOUS 887829 HAS SOUPS 829134 WITH SCORE 830709.593
AT ITER 182 NEW BEST:: SOT 2142690 SOS 1576051 HAS SOPS 955398 HAS SOUS 888321 HAS SOUPS 828969 WITH SCORE 830545.051
AT ITER 186 NEW BEST:: SOT 2142476 SOS 1575837 HAS SOPS 954970 HAS SOUS 887894 HAS SOUPS 828542 WITH SCORE 830117.837
AT ITER 188 NEW BEST:: SOT 2142449 SOS 1575810 HAS SOPS 954914 HAS SOUS 887980 HAS SOUPS 828486 WITH SCORE 830061.81
AT ITER 189 NEW BEST:: SOT 2142774 SOS 1576135 HAS SOPS 954560 HAS SOUS 887699 HAS SOUPS 827866 WITH SCORE 829442.135
AT ITER 193 NEW BEST:: SOT 2142699 SOS 1576060 HAS SOPS 954301 HAS SOUS 888292 HAS SOUPS 827825 WITH SCORE 829401.06
AT ITER 198 NEW BEST:: SOT 2142673 SOS 1576034 HAS SOPS 954274 HAS SOUS 888240 HAS SOUPS 827773 WITH SCORE 829349.034
AT ITER 199 NEW BEST:: SOT 2142442 SOS 1575803 HAS SOPS 953487 HAS SOUS 887600 HAS SOUPS 826905 WITH SCORE 828480.803
AT ITER 200 NEW BEST:: SOT 2142297 SOS 1575658 HAS SOPS 953196 HAS SOUS 887265 HAS SOUPS 826470 WITH SCORE 828045.658
AT ITER 202 NEW BEST:: SOT 2142174 SOS 1575535 HAS SOPS 952950 HAS SOUS 887245 HAS SOUPS 826224 WITH SCORE 827799.535
AT ITER 215 NEW BEST:: SOT 2141900 SOS 1575261 HAS SOPS 952401 HAS SOUS 886516 HAS SOUPS 825402 WITH SCORE 826977.261
AT ITER 217 NEW BEST:: SOT 2141811 SOS 1575172 HAS SOPS 952223 HAS SOUS 886427 HAS SOUPS 825224 WITH SCORE 826799.172
AT ITER 223 NEW BEST:: SOT 2141753 SOS 1575114 HAS SOPS 951789 HAS SOUS 886418 HAS SOUPS 824982 WITH SCORE 826557.114
AT ITER 230 NEW BEST:: SOT 2141763 SOS 1575284 HAS SOPS 951783 HAS SOUS 886439 HAS SOUPS 824976 WITH SCORE 826551.284
AT ITER 248 NEW BEST:: SOT 2141425 SOS 1574946 HAS SOPS 951106 HAS SOUS 885421 HAS SOUPS 823890 WITH SCORE 825464.946
AT ITER 253 NEW BEST:: SOT 2141363 SOS 1574800 HAS SOPS 951162 HAS SOUS 885321 HAS SOUPS 823874 WITH SCORE 825448.8
AT ITER 254 NEW BEST:: SOT 2141380 SOS 1575407 HAS SOPS 951120 HAS SOUS 885357 HAS SOUPS 823832 WITH SCORE 825407.407
AT ITER 257 NEW BEST:: SOT 2141380 SOS 1575407 HAS SOPS 951116 HAS SOUS 885365 HAS SOUPS 823828 WITH SCORE 825403.407
AT ITER 259 NEW BEST:: SOT 2141377 SOS 1575404 HAS SOPS 951110 HAS SOUS 885421 HAS SOUPS 823822 WITH SCORE 825397.404
AT ITER 260 NEW BEST:: SOT 2141094 SOS 1575121 HAS SOPS 950435 HAS SOUS 885517 HAS SOUPS 823148 WITH SCORE 824723.121
AT ITER 261 NEW BEST:: SOT 2140874 SOS 1574901 HAS SOPS 949994 HAS SOUS 885077 HAS SOUPS 822488 WITH SCORE 824062.901
AT ITER 262 NEW BEST:: SOT 2140768 SOS 1574795 HAS SOPS 949781 HAS SOUS 884870 HAS SOUPS 822169 WITH SCORE 823743.795
AT ITER 272 NEW BEST:: SOT 2140377 SOS 1574404 HAS SOPS 948998 HAS SOUS 884088 HAS SOUPS 821387 WITH SCORE 822961.404
AT ITER 287 NEW BEST:: SOT 2140256 SOS 1574283 HAS SOPS 948600 HAS SOUS 884427 HAS SOUPS 820990 WITH SCORE 822564.283
AT ITER 305 NEW BEST:: SOT 2140112 SOS 1574139 HAS SOPS 948311 HAS SOUS 883746 HAS SOUPS 820291 WITH SCORE 821865.139
AT ITER 306 NEW BEST:: SOT 2063462 SOS 1497489 HAS SOPS 871661 HAS SOUS 807798 HAS SOUPS 744343 WITH SCORE 745840.489
AT ITER 316 NEW BEST:: SOT 2063371 SOS 1497398 HAS SOPS 871370 HAS SOUS 808142 HAS SOUPS 744053 WITH SCORE 745550.398
AT ITER 322 NEW BEST:: SOT 2063346 SOS 1497373 HAS SOPS 871320 HAS SOUS 808117 HAS SOUPS 744003 WITH SCORE 745500.373
AT ITER 327 NEW BEST:: SOT 2063223 SOS 1497250 HAS SOPS 871074 HAS SOUS 807870 HAS SOUPS 743756 WITH SCORE 745253.25
AT ITER 337 NEW BEST:: SOT 2063151 SOS 1497126 HAS SOPS 871105 HAS SOUS 807413 HAS SOUPS 743351 WITH SCORE 744848.126
AT ITER 338 NEW BEST:: SOT 2063192 SOS 1497167 HAS SOPS 870735 HAS SOUS 807157 HAS SOUPS 742982 WITH SCORE 744479.167
AT ITER 340 NEW BEST:: SOT 2063170 SOS 1497145 HAS SOPS 870696 HAS SOUS 807118 HAS SOUPS 742943 WITH SCORE 744440.145
AT ITER 341 NEW BEST:: SOT 2063194 SOS 1497169 HAS SOPS 870461 HAS SOUS 807687 HAS SOUPS 742708 WITH SCORE 744205.169
AT ITER 348 NEW BEST:: SOT 2063154 SOS 1497129 HAS SOPS 870381 HAS SOUS 807647 HAS SOUPS 742628 WITH SCORE 744125.129
AT ITER 354 NEW BEST:: SOT 2063072 SOS 1497047 HAS SOPS 870217 HAS SOUS 807483 HAS SOUPS 742464 WITH SCORE 743961.047
AT ITER 356 NEW BEST:: SOT 2063119 SOS 1497094 HAS SOPS 870310 HAS SOUS 807164 HAS SOUPS 742145 WITH SCORE 743642.094
AT ITER 361 NEW BEST:: SOT 2063083 SOS 1497001 HAS SOPS 870444 HAS SOUS 806693 HAS SOUPS 741731 WITH SCORE 743228.001
AT ITER 365 NEW BEST:: SOT 2063083 SOS 1497001 HAS SOPS 870443 HAS SOUS 806646 HAS SOUPS 741684 WITH SCORE 743181.001
AT ITER 366 NEW BEST:: SOT 2062913 SOS 1496831 HAS SOPS 870102 HAS SOUS 806198 HAS SOUPS 741174 WITH SCORE 742670.831
AT ITER 376 NEW BEST:: SOT 2062944 SOS 1496922 HAS SOPS 869700 HAS SOUS 806291 HAS SOUPS 740772 WITH SCORE 742268.922
AT ITER 381 NEW BEST:: SOT 2062711 SOS 1496689 HAS SOPS 869272 HAS SOUS 806075 HAS SOUPS 740212 WITH SCORE 741708.689
AT ITER 382 NEW BEST:: SOT 2062437 SOS 1496415 HAS SOPS 868724 HAS SOUS 805480 HAS SOUPS 739563 WITH SCORE 741059.415
AT ITER 386 NEW BEST:: SOT 2062268 SOS 1496246 HAS SOPS 868299 HAS SOUS 805083 HAS SOUPS 739138 WITH SCORE 740634.246
AT ITER 387 NEW BEST:: SOT 2062192 SOS 1496073 HAS SOPS 868645 HAS SOUS 804154 HAS SOUPS 738306 WITH SCORE 739802.073
AT ITER 395 NEW BEST:: SOT 2062145 SOS 1496026 HAS SOPS 868444 HAS SOUS 803954 HAS SOUPS 738106 WITH SCORE 739602.026
AT ITER 398 NEW BEST:: SOT 2062238 SOS 1496244 HAS SOPS 868362 HAS SOUS 804183 HAS SOUPS 738024 WITH SCORE 739520.244
AT ITER 401 NEW BEST:: SOT 2062336 SOS 1496342 HAS SOPS 868149 HAS SOUS 804013 HAS SOUPS 737718 WITH SCORE 739214.342
AT ITER 403 NEW BEST:: SOT 2062308 SOS 1496314 HAS SOPS 868093 HAS SOUS 804013 HAS SOUPS 737690 WITH SCORE 739186.314
AT ITER 405 NEW BEST:: SOT 2062301 SOS 1496307 HAS SOPS 867969 HAS SOUS 803934 HAS SOUPS 737364 WITH SCORE 738860.307
AT ITER 407 NEW BEST:: SOT 2062718 SOS 1497684 HAS SOPS 867605 HAS SOUS 804032 HAS SOUPS 737000 WITH SCORE 738497.684
AT ITER 409 NEW BEST:: SOT 2062708 SOS 1497674 HAS SOPS 867585 HAS SOUS 804012 HAS SOUPS 736980 WITH SCORE 738477.674
AT ITER 424 NEW BEST:: SOT 2062704 SOS 1497670 HAS SOPS 867780 HAS SOUS 804008 HAS SOUPS 736976 WITH SCORE 738473.67
AT ITER 425 NEW BEST:: SOT 2062658 SOS 1497624 HAS SOPS 867623 HAS SOUS 804464 HAS SOUPS 736858 WITH SCORE 738355.624
AT ITER 429 NEW BEST:: SOT 2062658 SOS 1497624 HAS SOPS 867549 HAS SOUS 804390 HAS SOUPS 736784 WITH SCORE 738281.624
AT ITER 430 NEW BEST:: SOT 2062269 SOS 1497235 HAS SOPS 866770 HAS SOUS 803396 HAS SOUPS 735617 WITH SCORE 737114.235
AT ITER 436 NEW BEST:: SOT 2062191 SOS 1497157 HAS SOPS 866344 HAS SOUS 803125 HAS SOUPS 735190 WITH SCORE 736687.157
AT ITER 437 NEW BEST:: SOT 2062159 SOS 1497125 HAS SOPS 866312 HAS SOUS 803093 HAS SOUPS 735158 WITH SCORE 736655.125
AT ITER 447 NEW BEST:: SOT 2062159 SOS 1496925 HAS SOPS 866312 HAS SOUS 803053 HAS SOUPS 735158 WITH SCORE 736654.925
AT ITER 448 NEW BEST:: SOT 2062048 SOS 1492713 HAS SOPS 862205 HAS SOUS 802831 HAS SOUPS 734936 WITH SCORE 736428.713
AT ITER 449 NEW BEST:: SOT 2061710 SOS 1492375 HAS SOPS 861750 HAS SOUS 802493 HAS SOUPS 734481 WITH SCORE 735973.375
AT ITER 453 NEW BEST:: SOT 2061723 SOS 1493238 HAS SOPS 861593 HAS SOUS 802553 HAS SOUPS 734324 WITH SCORE 735817.238
AT ITER 463 NEW BEST:: SOT 2061723 SOS 1493238 HAS SOPS 861592 HAS SOUS 802516 HAS SOUPS 734287 WITH SCORE 735780.238
AT ITER 472 NEW BEST:: SOT 2061535 SOS 1493050 HAS SOPS 861404 HAS SOUS 802328 HAS SOUPS 734099 WITH SCORE 735592.05
AT ITER 475 NEW BEST:: SOT 2061859 SOS 1493374 HAS SOPS 861413 HAS SOUS 802216 HAS SOUPS 733952 WITH SCORE 735445.374
AT ITER 479 NEW BEST:: SOT 2061859 SOS 1493374 HAS SOPS 860887 HAS SOUS 801690 HAS SOUPS 733426 WITH SCORE 734919.374
AT ITER 485 NEW BEST:: SOT 2061825 SOS 1493340 HAS SOPS 860801 HAS SOUS 801530 HAS SOUPS 733165 WITH SCORE 734658.34
AT ITER 486 NEW BEST:: SOT 2061526 SOS 1493041 HAS SOPS 860800 HAS SOUS 801530 HAS SOUPS 733165 WITH SCORE 734658.041
AT ITER 489 NEW BEST:: SOT 2061567 SOS 1493082 HAS SOPS 860097 HAS SOUS 801158 HAS SOUPS 732806 WITH SCORE 734299.082
AT ITER 492 NEW BEST:: SOT 2061927 SOS 1493331 HAS SOPS 861003 HAS SOUS 800604 HAS SOUPS 732363 WITH SCORE 733856.331
AT ITER 497 NEW BEST:: SOT 2061671 SOS 1493075 HAS SOPS 860634 HAS SOUS 800204 HAS SOUPS 731963 WITH SCORE 733456.075
AT ITER 498 NEW BEST:: SOT 2061484 SOS 1492888 HAS SOPS 860073 HAS SOUS 799755 HAS SOUPS 731402 WITH SCORE 732894.888
AT ITER 500 NEW BEST:: SOT 2061594 SOS 1492998 HAS SOPS 860063 HAS SOUS 799865 HAS SOUPS 731392 WITH SCORE 732884.998
AT ITER 501 NEW BEST:: SOT 2061436 SOS 1492840 HAS SOPS 859762 HAS SOUS 799564 HAS SOUPS 731091 WITH SCORE 732583.84
AT ITER 513 NEW BEST:: SOT 2061227 SOS 1492631 HAS SOPS 859183 HAS SOUS 798986 HAS SOUPS 730513 WITH SCORE 732005.631
AT ITER 515 NEW BEST:: SOT 2060888 SOS 1492292 HAS SOPS 858432 HAS SOUS 799183 HAS SOUPS 730060 WITH SCORE 731552.292
AT ITER 524 NEW BEST:: SOT 2060903 SOS 1493157 HAS SOPS 858277 HAS SOUS 799113 HAS SOUPS 729905 WITH SCORE 731398.157
AT ITER 527 NEW BEST:: SOT 2060834 SOS 1493088 HAS SOPS 858277 HAS SOUS 799111 HAS SOUPS 729905 WITH SCORE 731398.088
AT ITER 533 NEW BEST:: SOT 2060602 SOS 1492856 HAS SOPS 857444 HAS SOUS 798609 HAS SOUPS 729073 WITH SCORE 730565.856
AT ITER 558 NEW BEST:: SOT 2060499 SOS 1492753 HAS SOPS 857129 HAS SOUS 798266 HAS SOUPS 728758 WITH SCORE 730250.753
AT ITER 571 NEW BEST:: SOT 2060481 SOS 1492735 HAS SOPS 857093 HAS SOUS 798248 HAS SOUPS 728722 WITH SCORE 730214.735
AT ITER 572 NEW BEST:: SOT 2060424 SOS 1492678 HAS SOPS 857021 HAS SOUS 798185 HAS SOUPS 728650 WITH SCORE 730142.678
AT ITER 576 NEW BEST:: SOT 2060427 SOS 1492681 HAS SOPS 856822 HAS SOUS 797573 HAS SOUPS 728038 WITH SCORE 729530.681
AT ITER 587 NEW BEST:: SOT 2060060 SOS 1492314 HAS SOPS 856041 HAS SOUS 796793 HAS SOUPS 727258 WITH SCORE 728750.314
AT ITER 592 NEW BEST:: SOT 2060060 SOS 1492714 HAS SOPS 856001 HAS SOUS 796794 HAS SOUPS 727218 WITH SCORE 728710.714
AT ITER 593 NEW BEST:: SOT 2060229 SOS 1492883 HAS SOPS 855223 HAS SOUS 797220 HAS SOUPS 726852 WITH SCORE 728344.883
AT ITER 595 NEW BEST:: SOT 2060098 SOS 1492752 HAS SOPS 854960 HAS SOUS 796938 HAS SOUPS 726570 WITH SCORE 728062.752
AT ITER 597 NEW BEST:: SOT 2060031 SOS 1492685 HAS SOPS 854665 HAS SOUS 797244 HAS SOUPS 726276 WITH SCORE 727768.685
AT ITER 599 NEW BEST:: SOT 2060031 SOS 1492685 HAS SOPS 854579 HAS SOUS 797158 HAS SOUPS 726190 WITH SCORE 727682.685
AT ITER 605 NEW BEST:: SOT 2060031 SOS 1492685 HAS SOPS 854465 HAS SOUS 797158 HAS SOUPS 726076 WITH SCORE 727568.685
AT ITER 614 NEW BEST:: SOT 2060031 SOS 1492722 HAS SOPS 854376 HAS SOUS 797168 HAS SOUPS 725987 WITH SCORE 727479.722
AT ITER 624 NEW BEST:: SOT 2060207 SOS 1492898 HAS SOPS 853854 HAS SOUS 796320 HAS SOUPS 725139 WITH SCORE 726631.898
AT ITER 631 NEW BEST:: SOT 2059819 SOS 1492510 HAS SOPS 853064 HAS SOUS 796320 HAS SOUPS 724350 WITH SCORE 725842.51
AT ITER 637 NEW BEST:: SOT 2059502 SOS 1492193 HAS SOPS 852337 HAS SOUS 795690 HAS SOUPS 723624 WITH SCORE 725116.193
AT ITER 638 NEW BEST:: SOT 2059134 SOS 1491825 HAS SOPS 851553 HAS SOUS 795322 HAS SOUPS 723256 WITH SCORE 724747.825
AT ITER 666 NEW BEST:: SOT 2059069 SOS 1491760 HAS SOPS 851423 HAS SOUS 795192 HAS SOUPS 723126 WITH SCORE 724617.76
AT ITER 669 NEW BEST:: SOT 2059094 SOS 1491785 HAS SOPS 851246 HAS SOUS 794694 HAS SOUPS 722536 WITH SCORE 724027.785
AT ITER 672 NEW BEST:: SOT 2059094 SOS 1491785 HAS SOPS 851191 HAS SOUS 794639 HAS SOUPS 722481 WITH SCORE 723972.785
AT ITER 680 NEW BEST:: SOT 2059184 SOS 1493935 HAS SOPS 850937 HAS SOUS 794741 HAS SOUPS 722227 WITH SCORE 723720.935
AT ITER 683 NEW BEST:: SOT 2059013 SOS 1492489 HAS SOPS 850937 HAS SOUS 794570 HAS SOUPS 722227 WITH SCORE 723719.489
AT ITER 687 NEW BEST:: SOT 2059388 SOS 1492921 HAS SOPS 850888 HAS SOUS 796759 HAS SOUPS 722174 WITH SCORE 723666.921
AT ITER 701 NEW BEST:: SOT 2059388 SOS 1492921 HAS SOPS 850884 HAS SOUS 796798 HAS SOUPS 722170 WITH SCORE 723662.921
AT ITER 703 NEW BEST:: SOT 2059311 SOS 1492844 HAS SOPS 850977 HAS SOUS 796752 HAS SOUPS 722124 WITH SCORE 723616.844
AT ITER 706 NEW BEST:: SOT 2059144 SOS 1492677 HAS SOPS 850809 HAS SOUS 796418 HAS SOUPS 721790 WITH SCORE 723282.677
AT ITER 712 NEW BEST:: SOT 2059333 SOS 1492866 HAS SOPS 850745 HAS SOUS 796569 HAS SOUPS 721688 WITH SCORE 723180.866
AT ITER 716 NEW BEST:: SOT 2059285 SOS 1492818 HAS SOPS 850649 HAS SOUS 796521 HAS SOUPS 721592 WITH SCORE 723084.818
AT ITER 720 NEW BEST:: SOT 2059471 SOS 1493004 HAS SOPS 850970 HAS SOUS 796433 HAS SOUPS 721504 WITH SCORE 722997.004
AT ITER 723 NEW BEST:: SOT 2059847 SOS 1493820 HAS SOPS 850635 HAS SOUS 797044 HAS SOUPS 721169 WITH SCORE 722662.82
AT ITER 724 NEW BEST:: SOT 2059847 SOS 1493820 HAS SOPS 850631 HAS SOUS 797040 HAS SOUPS 721165 WITH SCORE 722658.82
AT ITER 725 NEW BEST:: SOT 2059984 SOS 1493957 HAS SOPS 850603 HAS SOUS 797238 HAS SOUPS 721137 WITH SCORE 722630.957
AT ITER 730 NEW BEST:: SOT 2059957 SOS 1493930 HAS SOPS 850601 HAS SOUS 797238 HAS SOUPS 721137 WITH SCORE 722630.93
AT ITER 733 NEW BEST:: SOT 2059642 SOS 1493615 HAS SOPS 849905 HAS SOUS 796595 HAS SOUPS 720441 WITH SCORE 721934.615
AT ITER 739 NEW BEST:: SOT 2059642 SOS 1493615 HAS SOPS 849729 HAS SOUS 796419 HAS SOUPS 720265 WITH SCORE 721758.615
AT ITER 743 NEW BEST:: SOT 2060163 SOS 1494174 HAS SOPS 849513 HAS SOUS 796856 HAS SOUPS 720050 WITH SCORE 721544.174
AT ITER 753 NEW BEST:: SOT 2059786 SOS 1493797 HAS SOPS 848758 HAS SOUS 795850 HAS SOUPS 718919 WITH SCORE 720412.797
AT ITER 756 NEW BEST:: SOT 2059602 SOS 1493613 HAS SOPS 848305 HAS SOUS 794984 HAS SOUPS 718053 WITH SCORE 719546.613
AT ITER 758 NEW BEST:: SOT 2059141 SOS 1493152 HAS SOPS 847383 HAS SOUS 794116 HAS SOUPS 717168 WITH SCORE 718661.152
AT ITER 760 NEW BEST:: SOT 2059250 SOS 1493261 HAS SOPS 847182 HAS SOUS 794057 HAS SOUPS 716881 WITH SCORE 718374.261
AT ITER 766 NEW BEST:: SOT 2059295 SOS 1493306 HAS SOPS 846881 HAS SOUS 793608 HAS SOUPS 716322 WITH SCORE 717815.306
AT ITER 768 NEW BEST:: SOT 2059210 SOS 1493221 HAS SOPS 846875 HAS SOUS 793523 HAS SOUPS 716316 WITH SCORE 717809.221
AT ITER 775 NEW BEST:: SOT 2059309 SOS 1477820 HAS SOPS 830006 HAS SOUS 791283 HAS SOUPS 714076 WITH SCORE 715553.82
AT ITER 789 NEW BEST:: SOT 2059361 SOS 1478662 HAS SOPS 829949 HAS SOUS 791417 HAS SOUPS 714019 WITH SCORE 715497.662
AT ITER 795 NEW BEST:: SOT 2059295 SOS 1478596 HAS SOPS 829816 HAS SOUS 791255 HAS SOUPS 713845 WITH SCORE 715323.596
AT ITER 798 NEW BEST:: SOT 2059197 SOS 1478498 HAS SOPS 829816 HAS SOUS 791218 HAS SOUPS 713845 WITH SCORE 715323.498
AT ITER 805 NEW BEST:: SOT 2059198 SOS 1478499 HAS SOPS 829608 HAS SOUS 791100 HAS SOUPS 713637 WITH SCORE 715115.499
AT ITER 806 NEW BEST:: SOT 2059128 SOS 1478429 HAS SOPS 829468 HAS SOUS 790328 HAS SOUPS 713497 WITH SCORE 714975.429
AT ITER 809 NEW BEST:: SOT 2059030 SOS 1478331 HAS SOPS 829272 HAS SOUS 790187 HAS SOUPS 713301 WITH SCORE 714779.331
AT ITER 816 NEW BEST:: SOT 2058788 SOS 1478089 HAS SOPS 828788 HAS SOUS 789945 HAS SOUPS 712817 WITH SCORE 714295.089
AT ITER 819 NEW BEST:: SOT 2058852 SOS 1479773 HAS SOPS 828751 HAS SOUS 790138 HAS SOUPS 712780 WITH SCORE 714259.773
AT ITER 836 NEW BEST:: SOT 2058820 SOS 1479741 HAS SOPS 828719 HAS SOUS 790106 HAS SOUPS 712748 WITH SCORE 714227.741
AT ITER 841 NEW BEST:: SOT 2058489 SOS 1479410 HAS SOPS 827972 HAS SOUS 789360 HAS SOUPS 712002 WITH SCORE 713481.41
AT ITER 846 NEW BEST:: SOT 2058500 SOS 1479421 HAS SOPS 827857 HAS SOUS 789371 HAS SOUPS 711887 WITH SCORE 713366.421
AT ITER 875 NEW BEST:: SOT 2058113 SOS 1479034 HAS SOPS 827123 HAS SOUS 788422 HAS SOUPS 710808 WITH SCORE 712287.034
AT ITER 887 NEW BEST:: SOT 2058113 SOS 1479034 HAS SOPS 827080 HAS SOUS 788456 HAS SOUPS 710765 WITH SCORE 712244.034
AT ITER 896 NEW BEST:: SOT 2058106 SOS 1479027 HAS SOPS 826873 HAS SOUS 788234 HAS SOUPS 710543 WITH SCORE 712022.027
AT ITER 897 NEW BEST:: SOT 2057886 SOS 1478807 HAS SOPS 826432 HAS SOUS 787574 HAS SOUPS 709883 WITH SCORE 711361.807
AT ITER 900 NEW BEST:: SOT 2057477 SOS 1478398 HAS SOPS 825613 HAS SOUS 786470 HAS SOUPS 708653 WITH SCORE 710131.398
AT ITER 903 NEW BEST:: SOT 2057941 SOS 1478888 HAS SOPS 825246 HAS SOUS 786408 HAS SOUPS 708287 WITH SCORE 709765.888
AT ITER 906 NEW BEST:: SOT 2057941 SOS 1478888 HAS SOPS 825098 HAS SOUS 786260 HAS SOUPS 708139 WITH SCORE 709617.888
AT ITER 921 NEW BEST:: SOT 2057541 SOS 1478488 HAS SOPS 824278 HAS SOUS 785028 HAS SOUPS 706907 WITH SCORE 708385.488
AT ITER 922 NEW BEST:: SOT 2057507 SOS 1478454 HAS SOPS 824278 HAS SOUS 784994 HAS SOUPS 706907 WITH SCORE 708385.454
AT ITER 925 NEW BEST:: SOT 2056868 SOS 1477815 HAS SOPS 822941 HAS SOUS 783658 HAS SOUPS 705571 WITH SCORE 707048.815
AT ITER 926 NEW BEST:: SOT 2056879 SOS 1477826 HAS SOPS 822681 HAS SOUS 783428 HAS SOUPS 705311 WITH SCORE 706788.826
AT ITER 935 NEW BEST:: SOT 2056955 SOS 1477862 HAS SOPS 822618 HAS SOUS 783366 HAS SOUPS 705249 WITH SCORE 706726.862
AT ITER 938 NEW BEST:: SOT 2056936 SOS 1477843 HAS SOPS 822580 HAS SOUS 783347 HAS SOUPS 705211 WITH SCORE 706688.843
AT ITER 942 NEW BEST:: SOT 2056693 SOS 1477160 HAS SOPS 822580 HAS SOUS 783104 HAS SOUPS 705211 WITH SCORE 706688.16
AT ITER 944 NEW BEST:: SOT 2056488 SOS 1476955 HAS SOPS 822580 HAS SOUS 782687 HAS SOUPS 705006 WITH SCORE 706482.955
AT ITER 947 NEW BEST:: SOT 2056408 SOS 1476875 HAS SOPS 822500 HAS SOUS 782607 HAS SOUPS 704926 WITH SCORE 706402.875
AT ITER 950 NEW BEST:: SOT 2056263 SOS 1476730 HAS SOPS 822459 HAS SOUS 782316 HAS SOUPS 704635 WITH SCORE 706111.73
AT ITER 962 NEW BEST:: SOT 2056263 SOS 1476730 HAS SOPS 822458 HAS SOUS 782127 HAS SOUPS 704446 WITH SCORE 705922.73
AT ITER 965 NEW BEST:: SOT 2055868 SOS 1476335 HAS SOPS 821496 HAS SOUS 781252 HAS SOUPS 703571 WITH SCORE 705047.335
AT ITER 969 NEW BEST:: SOT 2055655 SOS 1476122 HAS SOPS 820901 HAS SOUS 780334 HAS SOUPS 702595 WITH SCORE 704071.122
AT ITER 982 NEW BEST:: SOT 2055671 SOS 1476138 HAS SOPS 820693 HAS SOUS 780143 HAS SOUPS 702387 WITH SCORE 703863.138
AT ITER 984 NEW BEST:: SOT 2055352 SOS 1475819 HAS SOPS 819585 HAS SOUS 779126 HAS SOUPS 701370 WITH SCORE 702845.819
AT ITER 987 NEW BEST:: SOT 2055280 SOS 1475597 HAS SOPS 819737 HAS SOUS 778532 HAS SOUPS 700851 WITH SCORE 702326.597
AT ITER 988 NEW BEST:: SOT 2055116 SOS 1475433 HAS SOPS 819735 HAS SOUS 778531 HAS SOUPS 700850 WITH SCORE 702325.433
AT ITER 989 NEW BEST:: SOT 2055116 SOS 1475433 HAS SOPS 819600 HAS SOUS 778396 HAS SOUPS 700715 WITH SCORE 702190.433
AT ITER 992 NEW BEST:: SOT 2055240 SOS 1475557 HAS SOPS 819389 HAS SOUS 778276 HAS SOUPS 700595 WITH SCORE 702070.557
AT ITER 1003 NEW BEST:: SOT 2055210 SOS 1475527 HAS SOPS 819388 HAS SOUS 778276 HAS SOUPS 700595 WITH SCORE 702070.527
AT ITER 1015 NEW BEST:: SOT 1974590 SOS 1480586 HAS SOPS 738387 HAS SOUS 730242 HAS SOUPS 633395 WITH SCORE 634875.586
AT ITER 1016 NEW BEST:: SOT 1974559 SOS 1480555 HAS SOPS 738325 HAS SOUS 730180 HAS SOUPS 633333 WITH SCORE 634813.555
AT ITER 1030 NEW BEST:: SOT 1974584 SOS 1480580 HAS SOPS 738260 HAS SOUS 730295 HAS SOUPS 633268 WITH SCORE 634748.58
AT ITER 1031 NEW BEST:: SOT 1974549 SOS 1480475 HAS SOPS 738330 HAS SOUS 730050 HAS SOUPS 633058 WITH SCORE 634538.475
AT ITER 1033 NEW BEST:: SOT 1974495 SOS 1480421 HAS SOPS 737456 HAS SOUS 729904 HAS SOUPS 632184 WITH SCORE 633664.421
AT ITER 1048 NEW BEST:: SOT 1974360 SOS 1480286 HAS SOPS 736991 HAS SOUS 730072 HAS SOUPS 631719 WITH SCORE 633199.286
AT ITER 1073 NEW BEST:: SOT 1974342 SOS 1480268 HAS SOPS 736923 HAS SOUS 730241 HAS SOUPS 631651 WITH SCORE 633131.268
AT ITER 1074 NEW BEST:: SOT 1974162 SOS 1480088 HAS SOPS 736653 HAS SOUS 729971 HAS SOUPS 631381 WITH SCORE 632861.088
AT ITER 1076 NEW BEST:: SOT 1974077 SOS 1480003 HAS SOPS 736398 HAS SOUS 729801 HAS SOUPS 631126 WITH SCORE 632606.003
AT ITER 1079 NEW BEST:: SOT 1973904 SOS 1479830 HAS SOPS 736052 HAS SOUS 729455 HAS SOUPS 630780 WITH SCORE 632259.83
AT ITER 1081 NEW BEST:: SOT 1973495 SOS 1479421 HAS SOPS 735227 HAS SOUS 728630 HAS SOUPS 629955 WITH SCORE 631434.421
AT ITER 1088 NEW BEST:: SOT 1973495 SOS 1479421 HAS SOPS 735223 HAS SOUS 728663 HAS SOUPS 629951 WITH SCORE 631430.421
AT ITER 1096 NEW BEST:: SOT 1980447 SOS 1485640 HAS SOPS 730672 HAS SOUS 736031 HAS SOUPS 625505 WITH SCORE 626990.64
AT ITER 1098 NEW BEST:: SOT 1980454 SOS 1485723 HAS SOPS 730322 HAS SOUS 736046 HAS SOUPS 625155 WITH SCORE 626640.723
AT ITER 1106 NEW BEST:: SOT 1980314 SOS 1480403 HAS SOPS 725142 HAS SOUS 735766 HAS SOUPS 624875 WITH SCORE 626355.403
AT ITER 1110 NEW BEST:: SOT 1980380 SOS 1480469 HAS SOPS 725052 HAS SOUS 735676 HAS SOUPS 624785 WITH SCORE 626265.469
AT ITER 1126 NEW BEST:: SOT 1980380 SOS 1482019 HAS SOPS 724893 HAS SOUS 735694 HAS SOUPS 624626 WITH SCORE 626108.019
AT ITER 1138 NEW BEST:: SOT 1980527 SOS 1482166 HAS SOPS 724891 HAS SOUS 735693 HAS SOUPS 624624 WITH SCORE 626106.166
AT ITER 1139 NEW BEST:: SOT 1980371 SOS 1482010 HAS SOPS 724579 HAS SOUS 735381 HAS SOUPS 624312 WITH SCORE 625794.01
AT ITER 1144 NEW BEST:: SOT 1980393 SOS 1483872 HAS SOPS 724413 HAS SOUS 735469 HAS SOUPS 624146 WITH SCORE 625629.872
AT ITER 1151 NEW BEST:: SOT 1980301 SOS 1483156 HAS SOPS 724413 HAS SOUS 735400 HAS SOUPS 624146 WITH SCORE 625629.156
AT ITER 1159 NEW BEST:: SOT 1980235 SOS 1483090 HAS SOPS 724281 HAS SOUS 735132 HAS SOUPS 624014 WITH SCORE 625497.09
AT ITER 1176 NEW BEST:: SOT 1980556 SOS 1483123 HAS SOPS 724792 HAS SOUS 734364 HAS SOUPS 623436 WITH SCORE 624919.123
AT ITER 1177 NEW BEST:: SOT 1980470 SOS 1479855 HAS SOPS 721610 HAS SOUS 734192 HAS SOUPS 623264 WITH SCORE 624743.855
AT ITER 1182 NEW BEST:: SOT 1980157 SOS 1479542 HAS SOPS 720927 HAS SOUS 733858 HAS SOUPS 622581 WITH SCORE 624060.542
AT ITER 1183 NEW BEST:: SOT 1980157 SOS 1479542 HAS SOPS 720904 HAS SOUS 733835 HAS SOUPS 622558 WITH SCORE 624037.542
AT ITER 1196 NEW BEST:: SOT 1979896 SOS 1479281 HAS SOPS 720468 HAS SOUS 733399 HAS SOUPS 622122 WITH SCORE 623601.281
AT ITER 1199 NEW BEST:: SOT 1979841 SOS 1479226 HAS SOPS 720014 HAS SOUS 733344 HAS SOUPS 621668 WITH SCORE 623147.226
AT ITER 1200 NEW BEST:: SOT 1979889 SOS 1479069 HAS SOPS 720290 HAS SOUS 732733 HAS SOUPS 621171 WITH SCORE 622650.069
AT ITER 1206 NEW BEST:: SOT 1979893 SOS 1479073 HAS SOPS 720283 HAS SOUS 732726 HAS SOUPS 621164 WITH SCORE 622643.073
AT ITER 1208 NEW BEST:: SOT 1980143 SOS 1479038 HAS SOPS 721215 HAS SOUS 732236 HAS SOUPS 620873 WITH SCORE 622352.038
AT ITER 1227 NEW BEST:: SOT 1980143 SOS 1478388 HAS SOPS 721215 HAS SOUS 732227 HAS SOUPS 620873 WITH SCORE 622351.388
AT ITER 1235 NEW BEST:: SOT 1979932 SOS 1478177 HAS SOPS 720793 HAS SOUS 731833 HAS SOUPS 620451 WITH SCORE 621929.177
AT ITER 1242 NEW BEST:: SOT 1979542 SOS 1477787 HAS SOPS 720009 HAS SOUS 731350 HAS SOUPS 619667 WITH SCORE 621144.787
AT ITER 1253 NEW BEST:: SOT 1979494 SOS 1477739 HAS SOPS 720009 HAS SOUS 731350 HAS SOUPS 619667 WITH SCORE 621144.739
AT ITER 1259 NEW BEST:: SOT 1979608 SOS 1477853 HAS SOPS 719999 HAS SOUS 731340 HAS SOUPS 619657 WITH SCORE 621134.853
AT ITER 1260 NEW BEST:: SOT 1979243 SOS 1477488 HAS SOPS 719230 HAS SOUS 730618 HAS SOUPS 618888 WITH SCORE 620365.488
AT ITER 1267 NEW BEST:: SOT 1979102 SOS 1477473 HAS SOPS 718773 HAS SOUS 731150 HAS SOUPS 618431 WITH SCORE 619908.473
AT ITER 1274 NEW BEST:: SOT 1979087 SOS 1477410 HAS SOPS 718830 HAS SOUS 731000 HAS SOUPS 618305 WITH SCORE 619782.41
AT ITER 1277 NEW BEST:: SOT 1979053 SOS 1476118 HAS SOPS 717572 HAS SOUS 730932 HAS SOUPS 618237 WITH SCORE 619713.118
AT ITER 1278 NEW BEST:: SOT 1979053 SOS 1476118 HAS SOPS 717568 HAS SOUS 730951 HAS SOUPS 618233 WITH SCORE 619709.118
AT ITER 1281 NEW BEST:: SOT 1979031 SOS 1476096 HAS SOPS 717524 HAS SOUS 730929 HAS SOUPS 618189 WITH SCORE 619665.096
AT ITER 1292 NEW BEST:: SOT 1979003 SOS 1476068 HAS SOPS 717496 HAS SOUS 730884 HAS SOUPS 618161 WITH SCORE 619637.068
AT ITER 1293 NEW BEST:: SOT 1978902 SOS 1475967 HAS SOPS 716742 HAS SOUS 730214 HAS SOUPS 617407 WITH SCORE 618882.967
AT ITER 1307 NEW BEST:: SOT 1978891 SOS 1475956 HAS SOPS 716720 HAS SOUS 730192 HAS SOUPS 617385 WITH SCORE 618860.956
AT ITER 1311 NEW BEST:: SOT 1978899 SOS 1478204 HAS SOPS 716324 HAS SOUS 730039 HAS SOUPS 616989 WITH SCORE 618467.204
AT ITER 1316 NEW BEST:: SOT 1979181 SOS 1478133 HAS SOPS 717405 HAS SOUS 729523 HAS SOUPS 616741 WITH SCORE 618219.133
AT ITER 1332 NEW BEST:: SOT 1979316 SOS 1478272 HAS SOPS 717219 HAS SOUS 729480 HAS SOUPS 616555 WITH SCORE 618033.272
AT ITER 1339 NEW BEST:: SOT 1979027 SOS 1477983 HAS SOPS 716993 HAS SOUS 729254 HAS SOUPS 616329 WITH SCORE 617806.983
AT ITER 1348 NEW BEST:: SOT 1978457 SOS 1477413 HAS SOPS 715853 HAS SOUS 728187 HAS SOUPS 615189 WITH SCORE 616666.413
AT ITER 1351 NEW BEST:: SOT 1978871 SOS 1477827 HAS SOPS 715735 HAS SOUS 728069 HAS SOUPS 615071 WITH SCORE 616548.827
AT ITER 1360 NEW BEST:: SOT 1978964 SOS 1481004 HAS SOPS 715672 HAS SOUS 728416 HAS SOUPS 615008 WITH SCORE 616489.004
AT ITER 1363 NEW BEST:: SOT 1978878 SOS 1480918 HAS SOPS 715612 HAS SOUS 728332 HAS SOUPS 614948 WITH SCORE 616428.918
AT ITER 1365 NEW BEST:: SOT 1978419 SOS 1480459 HAS SOPS 714807 HAS SOUS 727527 HAS SOUPS 614143 WITH SCORE 615623.459
AT ITER 1380 NEW BEST:: SOT 1978610 SOS 1480768 HAS SOPS 714694 HAS SOUS 727684 HAS SOUPS 614030 WITH SCORE 615510.768
AT ITER 1381 NEW BEST:: SOT 1979131 SOS 1483149 HAS SOPS 714323 HAS SOUS 728373 HAS SOUPS 613659 WITH SCORE 615142.149
AT ITER 1385 NEW BEST:: SOT 1979094 SOS 1483112 HAS SOPS 714249 HAS SOUS 728336 HAS SOUPS 613585 WITH SCORE 615068.112
AT ITER 1392 NEW BEST:: SOT 1979108 SOS 1483126 HAS SOPS 714247 HAS SOUS 728334 HAS SOUPS 613583 WITH SCORE 615066.126
AT ITER 1405 NEW BEST:: SOT 1979604 SOS 1485112 HAS SOPS 713861 HAS SOUS 729390 HAS SOUPS 613197 WITH SCORE 614682.112
AT ITER 1412 NEW BEST:: SOT 1979632 SOS 1485140 HAS SOPS 713463 HAS SOUS 728992 HAS SOUPS 612799 WITH SCORE 614284.14
AT ITER 1416 NEW BEST:: SOT 1979968 SOS 1485836 HAS SOPS 712998 HAS SOUS 729161 HAS SOUPS 612334 WITH SCORE 613819.836
AT ITER 1426 NEW BEST:: SOT 1979923 SOS 1485791 HAS SOPS 712881 HAS SOUS 729116 HAS SOUPS 612217 WITH SCORE 613702.791
AT ITER 1446 NEW BEST:: SOT 1979984 SOS 1485852 HAS SOPS 712671 HAS SOUS 729366 HAS SOUPS 612007 WITH SCORE 613492.852
AT ITER 1455 NEW BEST:: SOT 1980145 SOS 1486013 HAS SOPS 712269 HAS SOUS 729143 HAS SOUPS 611605 WITH SCORE 613091.013
AT ITER 1465 NEW BEST:: SOT 1980127 SOS 1485995 HAS SOPS 712201 HAS SOUS 729222 HAS SOUPS 611537 WITH SCORE 613022.995
AT ITER 1466 NEW BEST:: SOT 1980127 SOS 1485995 HAS SOPS 711495 HAS SOUS 728688 HAS SOUPS 610831 WITH SCORE 612316.995
AT ITER 1482 NEW BEST:: SOT 1979561 SOS 1485429 HAS SOPS 711333 HAS SOUS 728558 HAS SOUPS 610701 WITH SCORE 612186.429
AT ITER 1483 NEW BEST:: SOT 1979654 SOS 1485272 HAS SOPS 711867 HAS SOUS 727902 HAS SOUPS 610201 WITH SCORE 611686.272
AT ITER 1496 NEW BEST:: SOT 1978805 SOS 1484423 HAS SOPS 711347 HAS SOUS 727393 HAS SOUPS 609864 WITH SCORE 611348.423
AT ITER 1498 NEW BEST:: SOT 1978791 SOS 1484409 HAS SOPS 711319 HAS SOUS 727379 HAS SOUPS 609836 WITH SCORE 611320.409
AT ITER 1501 NEW BEST:: SOT 1978791 SOS 1483768 HAS SOPS 711319 HAS SOUS 727564 HAS SOUPS 609836 WITH SCORE 611319.768
AT ITER 1507 NEW BEST:: SOT 1978795 SOS 1483772 HAS SOPS 711097 HAS SOUS 727345 HAS SOUPS 609614 WITH SCORE 611097.772
AT ITER 1515 NEW BEST:: SOT 1978829 SOS 1483738 HAS SOPS 711233 HAS SOUS 727243 HAS SOUPS 609546 WITH SCORE 611029.738
AT ITER 1518 NEW BEST:: SOT 1978819 SOS 1483728 HAS SOPS 711213 HAS SOUS 727223 HAS SOUPS 609526 WITH SCORE 611009.728
AT ITER 1524 NEW BEST:: SOT 1978780 SOS 1483689 HAS SOPS 711135 HAS SOUS 727381 HAS SOUPS 609448 WITH SCORE 610931.689
AT ITER 1526 NEW BEST:: SOT 1978904 SOS 1483813 HAS SOPS 711133 HAS SOUS 727379 HAS SOUPS 609446 WITH SCORE 610929.813
AT ITER 1544 NEW BEST:: SOT 1978974 SOS 1485193 HAS SOPS 710963 HAS SOUS 727628 HAS SOUPS 609276 WITH SCORE 610761.193
AT ITER 1550 NEW BEST:: SOT 1978969 SOS 1485188 HAS SOPS 710953 HAS SOUS 727618 HAS SOUPS 609266 WITH SCORE 610751.188
AT ITER 1555 NEW BEST:: SOT 1978941 SOS 1485132 HAS SOPS 710901 HAS SOUS 727566 HAS SOUPS 609214 WITH SCORE 610699.132
AT ITER 1558 NEW BEST:: SOT 1978975 SOS 1485166 HAS SOPS 710886 HAS SOUS 727621 HAS SOUPS 609199 WITH SCORE 610684.166
AT ITER 1562 NEW BEST:: SOT 1979053 SOS 1476812 HAS SOPS 702532 HAS SOUS 727455 HAS SOUPS 608895 WITH SCORE 610371.812
AT ITER 1563 NEW BEST:: SOT 1979052 SOS 1476811 HAS SOPS 702530 HAS SOUS 727453 HAS SOUPS 608893 WITH SCORE 610369.811
AT ITER 1577 NEW BEST:: SOT 1979005 SOS 1476764 HAS SOPS 702240 HAS SOUS 727458 HAS SOUPS 608603 WITH SCORE 610079.764
AT ITER 1583 NEW BEST:: SOT 1979005 SOS 1476764 HAS SOPS 702215 HAS SOUS 727433 HAS SOUPS 608578 WITH SCORE 610054.764
AT ITER 1585 NEW BEST:: SOT 1979111 SOS 1474188 HAS SOPS 697989 HAS SOUS 725889 HAS SOUPS 607034 WITH SCORE 608508.188
AT ITER 1596 NEW BEST:: SOT 1979109 SOS 1474186 HAS SOPS 697987 HAS SOUS 725889 HAS SOUPS 607032 WITH SCORE 608506.186
AT ITER 1602 NEW BEST:: SOT 1979109 SOS 1474426 HAS SOPS 697963 HAS SOUS 725889 HAS SOUPS 607008 WITH SCORE 608482.426
AT ITER 1607 NEW BEST:: SOT 1978991 SOS 1458733 HAS SOPS 682247 HAS SOUS 724905 HAS SOUPS 606024 WITH SCORE 607482.733
AT ITER 1609 NEW BEST:: SOT 1979001 SOS 1458743 HAS SOPS 682217 HAS SOUS 724915 HAS SOUPS 605994 WITH SCORE 607452.743
AT ITER 1611 NEW BEST:: SOT 1979551 SOS 1459293 HAS SOPS 682173 HAS SOUS 725059 HAS SOUPS 605950 WITH SCORE 607409.293
AT ITER 1614 NEW BEST:: SOT 1980211 SOS 1459953 HAS SOPS 682141 HAS SOUS 725922 HAS SOUPS 605918 WITH SCORE 607377.953
AT ITER 1616 NEW BEST:: SOT 1980257 SOS 1461109 HAS SOPS 682072 HAS SOUS 726056 HAS SOUPS 605849 WITH SCORE 607310.109
AT ITER 1618 NEW BEST:: SOT 1980284 SOS 1461136 HAS SOPS 682018 HAS SOUS 726060 HAS SOUPS 605795 WITH SCORE 607256.136
AT ITER 1620 NEW BEST:: SOT 1980292 SOS 1460862 HAS SOPS 682328 HAS SOUS 725707 HAS SOUPS 605535 WITH SCORE 606995.862
AT ITER 1656 NEW BEST:: SOT 1980252 SOS 1460822 HAS SOPS 682248 HAS SOUS 725627 HAS SOUPS 605455 WITH SCORE 606915.822
AT ITER 1668 NEW BEST:: SOT 1980312 SOS 1464462 HAS SOPS 681854 HAS SOUS 725651 HAS SOUPS 605061 WITH SCORE 606525.462
AT ITER 1670 NEW BEST:: SOT 1980445 SOS 1464595 HAS SOPS 681852 HAS SOUS 725774 HAS SOUPS 605059 WITH SCORE 606523.595
AT ITER 1678 NEW BEST:: SOT 1980349 SOS 1464499 HAS SOPS 681756 HAS SOUS 725678 HAS SOUPS 604963 WITH SCORE 606427.499
AT ITER 1679 NEW BEST:: SOT 1980522 SOS 1464672 HAS SOPS 681216 HAS SOUS 725455 HAS SOUPS 604423 WITH SCORE 605887.672
AT ITER 1682 NEW BEST:: SOT 1980522 SOS 1464672 HAS SOPS 681114 HAS SOUS 725353 HAS SOUPS 604321 WITH SCORE 605785.672
AT ITER 1710 NEW BEST:: SOT 1980559 SOS 1464794 HAS SOPS 681036 HAS SOUS 725223 HAS SOUPS 604243 WITH SCORE 605707.794
AT ITER 1715 NEW BEST:: SOT 1980771 SOS 1465010 HAS SOPS 680986 HAS SOUS 725450 HAS SOUPS 604193 WITH SCORE 605658.01
AT ITER 1717 NEW BEST:: SOT 1981007 SOS 1465246 HAS SOPS 680984 HAS SOUS 725549 HAS SOUPS 604191 WITH SCORE 605656.246
AT ITER 1719 NEW BEST:: SOT 1980785 SOS 1465024 HAS SOPS 680762 HAS SOUS 725154 HAS SOUPS 603796 WITH SCORE 605261.024
AT ITER 1720 NEW BEST:: SOT 1980785 SOS 1464830 HAS SOPS 680762 HAS SOUS 725154 HAS SOUPS 603796 WITH SCORE 605260.83
AT ITER 1731 NEW BEST:: SOT 1980856 SOS 1465042 HAS SOPS 680506 HAS SOUS 725501 HAS SOUPS 603540 WITH SCORE 605005.042
AT ITER 1732 NEW BEST:: SOT 1980856 SOS 1465042 HAS SOPS 680230 HAS SOUS 725225 HAS SOUPS 603264 WITH SCORE 604729.042
AT ITER 1737 NEW BEST:: SOT 1980855 SOS 1465041 HAS SOPS 680250 HAS SOUS 725223 HAS SOUPS 603262 WITH SCORE 604727.041
AT ITER 1744 NEW BEST:: SOT 1980855 SOS 1465098 HAS SOPS 680216 HAS SOUS 725189 HAS SOUPS 603228 WITH SCORE 604693.098
AT ITER 1747 NEW BEST:: SOT 1980855 SOS 1465098 HAS SOPS 680108 HAS SOUS 725081 HAS SOUPS 603120 WITH SCORE 604585.098
AT ITER 1749 NEW BEST:: SOT 1981097 SOS 1465340 HAS SOPS 680106 HAS SOUS 725079 HAS SOUPS 603118 WITH SCORE 604583.34
AT ITER 1761 NEW BEST:: SOT 1981073 SOS 1465316 HAS SOPS 680058 HAS SOUS 725005 HAS SOUPS 603070 WITH SCORE 604535.316
AT ITER 1767 NEW BEST:: SOT 1981373 SOS 1465310 HAS SOPS 680748 HAS SOUS 724729 HAS SOUPS 602977 WITH SCORE 604442.31
AT ITER 1772 NEW BEST:: SOT 1963192 SOS 1466539 HAS SOPS 662567 HAS SOUS 706812 HAS SOUPS 584796 WITH SCORE 586262.539
AT ITER 1795 NEW BEST:: SOT 1963223 SOS 1467620 HAS SOPS 662524 HAS SOUS 706804 HAS SOUPS 584753 WITH SCORE 586220.62
AT ITER 1798 NEW BEST:: SOT 1963183 SOS 1467580 HAS SOPS 662444 HAS SOUS 706724 HAS SOUPS 584673 WITH SCORE 586140.58
AT ITER 1803 NEW BEST:: SOT 1963562 SOS 1467959 HAS SOPS 662442 HAS SOUS 707030 HAS SOUPS 584671 WITH SCORE 586138.959
AT ITER 1805 NEW BEST:: SOT 1963642 SOS 1468039 HAS SOPS 662420 HAS SOUS 706928 HAS SOUPS 584649 WITH SCORE 586117.039
AT ITER 1807 NEW BEST:: SOT 1963564 SOS 1467961 HAS SOPS 662284 HAS SOUS 706908 HAS SOUPS 584513 WITH SCORE 585980.961
AT ITER 1815 NEW BEST:: SOT 1963564 SOS 1467961 HAS SOPS 662131 HAS SOUS 706755 HAS SOUPS 584360 WITH SCORE 585827.961
AT ITER 1819 NEW BEST:: SOT 1963819 SOS 1468216 HAS SOPS 662129 HAS SOUS 706909 HAS SOUPS 584358 WITH SCORE 585826.216
AT ITER 1833 NEW BEST:: SOT 1964063 SOS 1469506 HAS SOPS 661885 HAS SOUS 706909 HAS SOUPS 584114 WITH SCORE 585583.506
AT ITER 1845 NEW BEST:: SOT 1963589 SOS 1469032 HAS SOPS 661517 HAS SOUS 706541 HAS SOUPS 583746 WITH SCORE 585215.032
AT ITER 1848 NEW BEST:: SOT 1963785 SOS 1469397 HAS SOPS 661503 HAS SOUS 706527 HAS SOUPS 583732 WITH SCORE 585201.397
AT ITER 1852 NEW BEST:: SOT 1963813 SOS 1469425 HAS SOPS 661261 HAS SOUS 706402 HAS SOUPS 583490 WITH SCORE 584959.425
AT ITER 1856 NEW BEST:: SOT 1963756 SOS 1469368 HAS SOPS 661147 HAS SOUS 706288 HAS SOUPS 583376 WITH SCORE 584845.368
AT ITER 1864 NEW BEST:: SOT 1963718 SOS 1469330 HAS SOPS 661071 HAS SOUS 706212 HAS SOUPS 583300 WITH SCORE 584769.33
AT ITER 1878 NEW BEST:: SOT 1963566 SOS 1469178 HAS SOPS 660957 HAS SOUS 706100 HAS SOUPS 583186 WITH SCORE 584655.178
AT ITER 1885 NEW BEST:: SOT 1963566 SOS 1469242 HAS SOPS 660813 HAS SOUS 706158 HAS SOUPS 583042 WITH SCORE 584511.242
AT ITER 1902 NEW BEST:: SOT 1963212 SOS 1468888 HAS SOPS 660049 HAS SOUS 705394 HAS SOUPS 582278 WITH SCORE 583746.888
AT ITER 1907 NEW BEST:: SOT 1963473 SOS 1469149 HAS SOPS 660047 HAS SOUS 705654 HAS SOUPS 582276 WITH SCORE 583745.149
AT ITER 1920 NEW BEST:: SOT 1963435 SOS 1469111 HAS SOPS 659073 HAS SOUS 704805 HAS SOUPS 581302 WITH SCORE 582771.111
AT ITER 1923 NEW BEST:: SOT 1963921 SOS 1469917 HAS SOPS 658768 HAS SOUS 705134 HAS SOUPS 580997 WITH SCORE 582466.917
AT ITER 1929 NEW BEST:: SOT 1963974 SOS 1470500 HAS SOPS 658743 HAS SOUS 705162 HAS SOUPS 580972 WITH SCORE 582442.5
AT ITER 1944 NEW BEST:: SOT 1963746 SOS 1470272 HAS SOPS 658287 HAS SOUS 704870 HAS SOUPS 580516 WITH SCORE 581986.272
AT ITER 1952 NEW BEST:: SOT 1963590 SOS 1469721 HAS SOPS 658440 HAS SOUS 703868 HAS SOUPS 579669 WITH SCORE 581138.721
AT ITER 1953 NEW BEST:: SOT 1963690 SOS 1469821 HAS SOPS 658262 HAS SOUS 703790 HAS SOUPS 579491 WITH SCORE 580960.821
AT ITER 1955 NEW BEST:: SOT 1963378 SOS 1469509 HAS SOPS 657542 HAS SOUS 703070 HAS SOUPS 578771 WITH SCORE 580240.509
AT ITER 1960 NEW BEST:: SOT 1963465 SOS 1469596 HAS SOPS 657272 HAS SOUS 702935 HAS SOUPS 578501 WITH SCORE 579970.596
AT ITER 1968 NEW BEST:: SOT 1963594 SOS 1469725 HAS SOPS 657256 HAS SOUS 703012 HAS SOUPS 578485 WITH SCORE 579954.725
AT ITER 1973 NEW BEST:: SOT 1963324 SOS 1469455 HAS SOPS 656716 HAS SOUS 702750 HAS SOUPS 577945 WITH SCORE 579414.455
AT ITER 1977 NEW BEST:: SOT 1963523 SOS 1469654 HAS SOPS 656508 HAS SOUS 702398 HAS SOUPS 577593 WITH SCORE 579062.654
AT ITER 1978 NEW BEST:: SOT 1963586 SOS 1469717 HAS SOPS 655835 HAS SOUS 701668 HAS SOUPS 576863 WITH SCORE 578332.717
AT ITER 1998 NEW BEST:: SOT 1963586 SOS 1469717 HAS SOPS 655831 HAS SOUS 701664 HAS SOUPS 576859 WITH SCORE 578328.717
AT ITER 2003 NEW BEST:: SOT 1963581 SOS 1469712 HAS SOPS 655821 HAS SOUS 701659 HAS SOUPS 576849 WITH SCORE 578318.712
AT ITER 2009 NEW BEST:: SOT 1963566 SOS 1469697 HAS SOPS 655778 HAS SOUS 701620 HAS SOUPS 576810 WITH SCORE 578279.697
AT ITER 2019 NEW BEST:: SOT 1963663 SOS 1469794 HAS SOPS 655609 HAS SOUS 701451 HAS SOUPS 576641 WITH SCORE 578110.794
AT ITER 2025 NEW BEST:: SOT 1963527 SOS 1469658 HAS SOPS 655205 HAS SOUS 701047 HAS SOUPS 576237 WITH SCORE 577706.658
AT ITER 2030 NEW BEST:: SOT 1963527 SOS 1469658 HAS SOPS 654995 HAS SOUS 700837 HAS SOUPS 576027 WITH SCORE 577496.658
AT ITER 2032 NEW BEST:: SOT 1963933 SOS 1470106 HAS SOPS 654416 HAS SOUS 700258 HAS SOUPS 575448 WITH SCORE 576918.106
AT ITER 2049 NEW BEST:: SOT 1963672 SOS 1469845 HAS SOPS 654416 HAS SOUS 700095 HAS SOUPS 575448 WITH SCORE 576917.845
AT ITER 2051 NEW BEST:: SOT 1963693 SOS 1470235 HAS SOPS 654396 HAS SOUS 700116 HAS SOUPS 575428 WITH SCORE 576898.235
AT ITER 2067 NEW BEST:: SOT 1963655 SOS 1470197 HAS SOPS 654320 HAS SOUS 700078 HAS SOUPS 575352 WITH SCORE 576822.197
AT ITER 2068 NEW BEST:: SOT 1963652 SOS 1470194 HAS SOPS 654314 HAS SOUS 700072 HAS SOUPS 575346 WITH SCORE 576816.194
AT ITER 2069 NEW BEST:: SOT 1963183 SOS 1469725 HAS SOPS 653376 HAS SOUS 699522 HAS SOUPS 574408 WITH SCORE 575877.725
AT ITER 2080 NEW BEST:: SOT 1963179 SOS 1469721 HAS SOPS 653370 HAS SOUS 699516 HAS SOUPS 574402 WITH SCORE 575871.721
AT ITER 2085 NEW BEST:: SOT 1963083 SOS 1469625 HAS SOPS 653213 HAS SOUS 699359 HAS SOUPS 574245 WITH SCORE 575714.625
AT ITER 2096 NEW BEST:: SOT 1962930 SOS 1469472 HAS SOPS 653169 HAS SOUS 699315 HAS SOUPS 574201 WITH SCORE 575670.472
AT ITER 2124 NEW BEST:: SOT 1962654 SOS 1469196 HAS SOPS 652586 HAS SOUS 699217 HAS SOUPS 573618 WITH SCORE 575087.196
AT ITER 2135 NEW BEST:: SOT 1962681 SOS 1469223 HAS SOPS 652559 HAS SOUS 699244 HAS SOUPS 573591 WITH SCORE 575060.223
AT ITER 2140 NEW BEST:: SOT 1962681 SOS 1457553 HAS SOPS 641207 HAS SOUS 698987 HAS SOUPS 573334 WITH SCORE 574791.553
AT ITER 2156 NEW BEST:: SOT 1962703 SOS 1459012 HAS SOPS 641049 HAS SOUS 699142 HAS SOUPS 573176 WITH SCORE 574635.012
AT ITER 2172 NEW BEST:: SOT 1962695 SOS 1458979 HAS SOPS 641003 HAS SOUS 699207 HAS SOUPS 573130 WITH SCORE 574588.979
AT ITER 2173 NEW BEST:: SOT 1962694 SOS 1458978 HAS SOPS 640835 HAS SOUS 699205 HAS SOUPS 572962 WITH SCORE 574420.978
AT ITER 2176 NEW BEST:: SOT 1962942 SOS 1459246 HAS SOPS 640803 HAS SOUS 699733 HAS SOUPS 572930 WITH SCORE 574389.246
AT ITER 2184 NEW BEST:: SOT 1962753 SOS 1459057 HAS SOPS 640367 HAS SOUS 699328 HAS SOUPS 572494 WITH SCORE 573953.057
AT ITER 2192 NEW BEST:: SOT 1962958 SOS 1455956 HAS SOPS 636977 HAS SOUS 699126 HAS SOUPS 572292 WITH SCORE 573747.956
AT ITER 2205 NEW BEST:: SOT 1962951 SOS 1455949 HAS SOPS 636970 HAS SOUS 699119 HAS SOUPS 572285 WITH SCORE 573740.949
AT ITER 2206 NEW BEST:: SOT 1963280 SOS 1456948 HAS SOPS 636949 HAS SOUS 699798 HAS SOUPS 572264 WITH SCORE 573720.948
AT ITER 2207 NEW BEST:: SOT 1963208 SOS 1456876 HAS SOPS 636805 HAS SOUS 699726 HAS SOUPS 572120 WITH SCORE 573576.876
AT ITER 2220 NEW BEST:: SOT 1963091 SOS 1456759 HAS SOPS 636466 HAS SOUS 699732 HAS SOUPS 571781 WITH SCORE 573237.759
AT ITER 2221 NEW BEST:: SOT 1962812 SOS 1456480 HAS SOPS 636162 HAS SOUS 699453 HAS SOUPS 571477 WITH SCORE 572933.48
AT ITER 2223 NEW BEST:: SOT 1962789 SOS 1456457 HAS SOPS 636011 HAS SOUS 699302 HAS SOUPS 571326 WITH SCORE 572782.457
AT ITER 2227 NEW BEST:: SOT 1962715 SOS 1456383 HAS SOPS 635863 HAS SOUS 699154 HAS SOUPS 571178 WITH SCORE 572634.383
AT ITER 2229 NEW BEST:: SOT 1962692 SOS 1456360 HAS SOPS 635861 HAS SOUS 699152 HAS SOUPS 571176 WITH SCORE 572632.36
AT ITER 2230 NEW BEST:: SOT 1962655 SOS 1456323 HAS SOPS 635861 HAS SOUS 699115 HAS SOUPS 571176 WITH SCORE 572632.323
AT ITER 2232 NEW BEST:: SOT 1962717 SOS 1456386 HAS SOPS 635852 HAS SOUS 699106 HAS SOUPS 571167 WITH SCORE 572623.386
AT ITER 2237 NEW BEST:: SOT 1962717 SOS 1456386 HAS SOPS 635778 HAS SOUS 699032 HAS SOUPS 571093 WITH SCORE 572549.386
AT ITER 2239 NEW BEST:: SOT 1963506 SOS 1456394 HAS SOPS 632581 HAS SOUS 696363 HAS SOUPS 568424 WITH SCORE 569880.394
AT ITER 2246 NEW BEST:: SOT 1963210 SOS 1410398 HAS SOPS 632285 HAS SOUS 695397 HAS SOUPS 568128 WITH SCORE 569538.398
AT ITER 2248 NEW BEST:: SOT 1962845 SOS 1410033 HAS SOPS 631555 HAS SOUS 695392 HAS SOUPS 567398 WITH SCORE 568808.033
AT ITER 2267 NEW BEST:: SOT 1962813 SOS 1410001 HAS SOPS 631491 HAS SOUS 695328 HAS SOUPS 567334 WITH SCORE 568744.001
AT ITER 2270 NEW BEST:: SOT 1961837 SOS 1409223 HAS SOPS 631087 HAS SOUS 694924 HAS SOUPS 566930 WITH SCORE 568339.223
AT ITER 2278 NEW BEST:: SOT 1961817 SOS 1409203 HAS SOPS 631015 HAS SOUS 694852 HAS SOUPS 566858 WITH SCORE 568267.203
AT ITER 2284 NEW BEST:: SOT 1961415 SOS 1408801 HAS SOPS 630211 HAS SOUS 694257 HAS SOUPS 566054 WITH SCORE 567462.801
AT ITER 2286 NEW BEST:: SOT 1961292 SOS 1408678 HAS SOPS 629965 HAS SOUS 694011 HAS SOUPS 565808 WITH SCORE 567216.678
AT ITER 2294 NEW BEST:: SOT 1961194 SOS 1408580 HAS SOPS 629867 HAS SOUS 693913 HAS SOUPS 565710 WITH SCORE 567118.58
AT ITER 2297 NEW BEST:: SOT 1961348 SOS 1408838 HAS SOPS 629591 HAS SOUS 693637 HAS SOUPS 565434 WITH SCORE 566842.838
AT ITER 2301 NEW BEST:: SOT 1961565 SOS 1409055 HAS SOPS 629573 HAS SOUS 694089 HAS SOUPS 565416 WITH SCORE 566825.055
AT ITER 2308 NEW BEST:: SOT 1961251 SOS 1408741 HAS SOPS 628668 HAS SOUS 693520 HAS SOUPS 564511 WITH SCORE 565919.741
AT ITER 2316 NEW BEST:: SOT 1961200 SOS 1408690 HAS SOPS 628617 HAS SOUS 693469 HAS SOUPS 564460 WITH SCORE 565868.69
AT ITER 2321 NEW BEST:: SOT 1961110 SOS 1406800 HAS SOPS 628617 HAS SOUS 693379 HAS SOUPS 564460 WITH SCORE 565866.8
AT ITER 2340 NEW BEST:: SOT 1961071 SOS 1406761 HAS SOPS 628539 HAS SOUS 693418 HAS SOUPS 564382 WITH SCORE 565788.761
AT ITER 2348 NEW BEST:: SOT 1961000 SOS 1406690 HAS SOPS 628397 HAS SOUS 693095 HAS SOUPS 564240 WITH SCORE 565646.69
AT ITER 2350 NEW BEST:: SOT 1960942 SOS 1406632 HAS SOPS 628379 HAS SOUS 693077 HAS SOUPS 564222 WITH SCORE 565628.632
AT ITER 2351 NEW BEST:: SOT 1960317 SOS 1406007 HAS SOPS 627791 HAS SOUS 692514 HAS SOUPS 563634 WITH SCORE 565040.007
AT ITER 2353 NEW BEST:: SOT 1960317 SOS 1405847 HAS SOPS 627791 HAS SOUS 692468 HAS SOUPS 563634 WITH SCORE 565039.847
AT ITER 2357 NEW BEST:: SOT 1960317 SOS 1405847 HAS SOPS 627759 HAS SOUS 692500 HAS SOUPS 563602 WITH SCORE 565007.847
AT ITER 2367 NEW BEST:: SOT 1960363 SOS 1405893 HAS SOPS 627369 HAS SOUS 692404 HAS SOUPS 563212 WITH SCORE 564617.893
AT ITER 2368 NEW BEST:: SOT 1960349 SOS 1405879 HAS SOPS 627369 HAS SOUS 692404 HAS SOUPS 563212 WITH SCORE 564617.879
AT ITER 2374 NEW BEST:: SOT 1960875 SOS 1405783 HAS SOPS 628138 HAS SOUS 691594 HAS SOUPS 562704 WITH SCORE 564109.783
AT ITER 2384 NEW BEST:: SOT 1960791 SOS 1405699 HAS SOPS 627970 HAS SOUS 691510 HAS SOUPS 562536 WITH SCORE 563941.699
AT ITER 2394 NEW BEST:: SOT 1960542 SOS 1405450 HAS SOPS 627311 HAS SOUS 690851 HAS SOUPS 561877 WITH SCORE 563282.45
AT ITER 2395 NEW BEST:: SOT 1960541 SOS 1405449 HAS SOPS 627105 HAS SOUS 690712 HAS SOUPS 561671 WITH SCORE 563076.449
AT ITER 2405 NEW BEST:: SOT 1960648 SOS 1405200 HAS SOPS 627595 HAS SOUS 690508 HAS SOUPS 561584 WITH SCORE 562989.2
AT ITER 2407 NEW BEST:: SOT 1960634 SOS 1405709 HAS SOPS 627026 HAS SOUS 690599 HAS SOUPS 561015 WITH SCORE 562420.709
AT ITER 2411 NEW BEST:: SOT 1960483 SOS 1405558 HAS SOPS 626708 HAS SOUS 690281 HAS SOUPS 560697 WITH SCORE 562102.558
AT ITER 2419 NEW BEST:: SOT 1960315 SOS 1405390 HAS SOPS 626372 HAS SOUS 689939 HAS SOUPS 560361 WITH SCORE 561766.39
AT ITER 2427 NEW BEST:: SOT 1960281 SOS 1405356 HAS SOPS 626338 HAS SOUS 689905 HAS SOUPS 560327 WITH SCORE 561732.356
AT ITER 2430 NEW BEST:: SOT 1960107 SOS 1405182 HAS SOPS 625990 HAS SOUS 689557 HAS SOUPS 559979 WITH SCORE 561384.182
AT ITER 2434 NEW BEST:: SOT 1960016 SOS 1405087 HAS SOPS 625954 HAS SOUS 689521 HAS SOUPS 559943 WITH SCORE 561348.087
AT ITER 2435 NEW BEST:: SOT 1960045 SOS 1405116 HAS SOPS 625644 HAS SOUS 689579 HAS SOUPS 559633 WITH SCORE 561038.116
AT ITER 2444 NEW BEST:: SOT 1959986 SOS 1405057 HAS SOPS 625495 HAS SOUS 689262 HAS SOUPS 559484 WITH SCORE 560889.057
AT ITER 2446 NEW BEST:: SOT 1959986 SOS 1405057 HAS SOPS 625283 HAS SOUS 689004 HAS SOUPS 559272 WITH SCORE 560677.057
AT ITER 2449 NEW BEST:: SOT 1959975 SOS 1405046 HAS SOPS 625261 HAS SOUS 688941 HAS SOUPS 559250 WITH SCORE 560655.046
AT ITER 2450 NEW BEST:: SOT 1959759 SOS 1404452 HAS SOPS 625855 HAS SOUS 687416 HAS SOUPS 558814 WITH SCORE 560218.452
AT ITER 2470 NEW BEST:: SOT 1959719 SOS 1404412 HAS SOPS 625775 HAS SOUS 687336 HAS SOUPS 558734 WITH SCORE 560138.412
AT ITER 2476 NEW BEST:: SOT 1959719 SOS 1404412 HAS SOPS 625609 HAS SOUS 687170 HAS SOUPS 558568 WITH SCORE 559972.412
AT ITER 2481 NEW BEST:: SOT 1959714 SOS 1404407 HAS SOPS 625417 HAS SOUS 686978 HAS SOUPS 558376 WITH SCORE 559780.407
AT ITER 2506 NEW BEST:: SOT 1959689 SOS 1404382 HAS SOPS 625465 HAS SOUS 686928 HAS SOUPS 558326 WITH SCORE 559730.382
AT ITER 2507 NEW BEST:: SOT 1959689 SOS 1403928 HAS SOPS 624103 HAS SOUS 685566 HAS SOUPS 556964 WITH SCORE 558367.928
AT ITER 2517 NEW BEST:: SOT 1959664 SOS 1401322 HAS SOPS 621568 HAS SOUS 685516 HAS SOUPS 556914 WITH SCORE 558315.322
AT ITER 2518 NEW BEST:: SOT 1959636 SOS 1401294 HAS SOPS 621512 HAS SOUS 685488 HAS SOUPS 556858 WITH SCORE 558259.294
AT ITER 2525 NEW BEST:: SOT 1959564 SOS 1401222 HAS SOPS 621368 HAS SOUS 685344 HAS SOUPS 556714 WITH SCORE 558115.222
AT ITER 2535 NEW BEST:: SOT 1959538 SOS 1401196 HAS SOPS 621316 HAS SOUS 685318 HAS SOUPS 556662 WITH SCORE 558063.196
AT ITER 2538 NEW BEST:: SOT 1959073 SOS 1400731 HAS SOPS 620990 HAS SOUS 684992 HAS SOUPS 556336 WITH SCORE 557736.731
AT ITER 2541 NEW BEST:: SOT 1959366 SOS 1400347 HAS SOPS 621814 HAS SOUS 683237 HAS SOUPS 554941 WITH SCORE 556341.347
AT ITER 2550 NEW BEST:: SOT 1959751 SOS 1401022 HAS SOPS 621499 HAS SOUS 683516 HAS SOUPS 554626 WITH SCORE 556027.022
AT ITER 2563 NEW BEST:: SOT 1959576 SOS 1400847 HAS SOPS 621363 HAS SOUS 683456 HAS SOUPS 554566 WITH SCORE 555966.847
AT ITER 2567 NEW BEST:: SOT 1959560 SOS 1400831 HAS SOPS 621331 HAS SOUS 683424 HAS SOUPS 554534 WITH SCORE 555934.831
AT ITER 2577 NEW BEST:: SOT 1959559 SOS 1400830 HAS SOPS 621330 HAS SOUS 683423 HAS SOUPS 554533 WITH SCORE 555933.83
AT ITER 2593 NEW BEST:: SOT 1959348 SOS 1400619 HAS SOPS 620908 HAS SOUS 683001 HAS SOUPS 554111 WITH SCORE 555511.619
AT ITER 2599 NEW BEST:: SOT 1959300 SOS 1400559 HAS SOPS 620848 HAS SOUS 682905 HAS SOUPS 554015 WITH SCORE 555415.559
AT ITER 2610 NEW BEST:: SOT 1959138 SOS 1400397 HAS SOPS 620524 HAS SOUS 682599 HAS SOUPS 553691 WITH SCORE 555091.397
AT ITER 2612 NEW BEST:: SOT 1959525 SOS 1400784 HAS SOPS 620522 HAS SOUS 682597 HAS SOUPS 553689 WITH SCORE 555089.784
AT ITER 2627 NEW BEST:: SOT 1959525 SOS 1398342 HAS SOPS 618080 HAS SOUS 682465 HAS SOUPS 553557 WITH SCORE 554955.342
AT ITER 2635 NEW BEST:: SOT 1959509 SOS 1398326 HAS SOPS 618048 HAS SOUS 682433 HAS SOUPS 553525 WITH SCORE 554923.326
AT ITER 2646 NEW BEST:: SOT 1959509 SOS 1398569 HAS SOPS 617596 HAS SOUS 682207 HAS SOUPS 553073 WITH SCORE 554471.569
AT ITER 2648 NEW BEST:: SOT 1959566 SOS 1398626 HAS SOPS 617546 HAS SOUS 682289 HAS SOUPS 553023 WITH SCORE 554421.626
AT ITER 2651 NEW BEST:: SOT 1959541 SOS 1398665 HAS SOPS 617280 HAS SOUS 682414 HAS SOUPS 552757 WITH SCORE 554155.665
AT ITER 2659 NEW BEST:: SOT 1959474 SOS 1398598 HAS SOPS 617213 HAS SOUS 682021 HAS SOUPS 552690 WITH SCORE 554088.598
AT ITER 2662 NEW BEST:: SOT 1959533 SOS 1399247 HAS SOPS 617154 HAS SOUS 682080 HAS SOUPS 552631 WITH SCORE 554030.247
AT ITER 2681 NEW BEST:: SOT 1959668 SOS 1400212 HAS SOPS 617019 HAS SOUS 682215 HAS SOUPS 552496 WITH SCORE 553896.212
AT ITER 2687 NEW BEST:: SOT 1959663 SOS 1400207 HAS SOPS 617009 HAS SOUS 682026 HAS SOUPS 552486 WITH SCORE 553886.207
AT ITER 2694 NEW BEST:: SOT 1959475 SOS 1400019 HAS SOPS 616904 HAS SOUS 681849 HAS SOUPS 552381 WITH SCORE 553781.019
AT ITER 2705 NEW BEST:: SOT 1959475 SOS 1400019 HAS SOPS 616776 HAS SOUS 681721 HAS SOUPS 552253 WITH SCORE 553653.019
AT ITER 2738 NEW BEST:: SOT 1959984 SOS 1399828 HAS SOPS 617467 HAS SOUS 680380 HAS SOUPS 551252 WITH SCORE 552651.828
AT ITER 2787 NEW BEST:: SOT 1959984 SOS 1399828 HAS SOPS 617448 HAS SOUS 680361 HAS SOUPS 551233 WITH SCORE 552632.828
AT ITER 2789 NEW BEST:: SOT 1959874 SOS 1399718 HAS SOPS 617344 HAS SOUS 680257 HAS SOUPS 551129 WITH SCORE 552528.718
AT ITER 2799 NEW BEST:: SOT 1959803 SOS 1399647 HAS SOPS 617202 HAS SOUS 680216 HAS SOUPS 550987 WITH SCORE 552386.647
AT ITER 2806 NEW BEST:: SOT 1959809 SOS 1399639 HAS SOPS 617228 HAS SOUS 680193 HAS SOUPS 550971 WITH SCORE 552370.639
AT ITER 2813 NEW BEST:: SOT 1961040 SOS 1400199 HAS SOPS 618724 HAS SOUS 679591 HAS SOUPS 550729 WITH SCORE 552129.199
AT ITER 2825 NEW BEST:: SOT 1960689 SOS 1399829 HAS SOPS 618693 HAS SOUS 679560 HAS SOUPS 550698 WITH SCORE 552097.829
AT ITER 2826 NEW BEST:: SOT 1960805 SOS 1399945 HAS SOPS 618299 HAS SOUS 679718 HAS SOUPS 550304 WITH SCORE 551703.945
AT ITER 2827 NEW BEST:: SOT 1960744 SOS 1399884 HAS SOPS 618177 HAS SOUS 679736 HAS SOUPS 550182 WITH SCORE 551581.884
AT ITER 2828 NEW BEST:: SOT 1960744 SOS 1399884 HAS SOPS 618031 HAS SOUS 679590 HAS SOUPS 550036 WITH SCORE 551435.884
AT ITER 2830 NEW BEST:: SOT 1960966 SOS 1400106 HAS SOPS 617601 HAS SOUS 679480 HAS SOUPS 549444 WITH SCORE 550844.106
AT ITER 2850 NEW BEST:: SOT 1960947 SOS 1400087 HAS SOPS 616810 HAS SOUS 679043 HAS SOUPS 548653 WITH SCORE 550053.087
AT ITER 2889 NEW BEST:: SOT 1960928 SOS 1400068 HAS SOPS 616772 HAS SOUS 679005 HAS SOUPS 548615 WITH SCORE 550015.068
AT ITER 2891 NEW BEST:: SOT 1961021 SOS 1400166 HAS SOPS 616529 HAS SOUS 678778 HAS SOUPS 548372 WITH SCORE 549772.166
AT ITER 2901 NEW BEST:: SOT 1961047 SOS 1400192 HAS SOPS 616511 HAS SOUS 678760 HAS SOUPS 548354 WITH SCORE 549754.192
AT ITER 2932 NEW BEST:: SOT 1960966 SOS 1400111 HAS SOPS 616511 HAS SOUS 678760 HAS SOUPS 548354 WITH SCORE 549754.111
AT ITER 2934 NEW BEST:: SOT 1961173 SOS 1400318 HAS SOPS 616225 HAS SOUS 678474 HAS SOUPS 548068 WITH SCORE 549468.318
AT ITER 2936 NEW BEST:: SOT 1961122 SOS 1400267 HAS SOPS 616123 HAS SOUS 678373 HAS SOUPS 547966 WITH SCORE 549366.267
AT ITER 2938 NEW BEST:: SOT 1961576 SOS 1400721 HAS SOPS 616101 HAS SOUS 678594 HAS SOUPS 547944 WITH SCORE 549344.721
AT ITER 2939 NEW BEST:: SOT 1961479 SOS 1400624 HAS SOPS 615999 HAS SOUS 678492 HAS SOUPS 547842 WITH SCORE 549242.624
AT ITER 2946 NEW BEST:: SOT 1961383 SOS 1400528 HAS SOPS 615807 HAS SOUS 678300 HAS SOUPS 547650 WITH SCORE 549050.528
AT ITER 2949 NEW BEST:: SOT 1961311 SOS 1400456 HAS SOPS 615648 HAS SOUS 678141 HAS SOUPS 547491 WITH SCORE 548891.456
AT ITER 2961 NEW BEST:: SOT 1961039 SOS 1400184 HAS SOPS 615002 HAS SOUS 677495 HAS SOUPS 546845 WITH SCORE 548245.184
AT ITER 2964 NEW BEST:: SOT 1962187 SOS 1400723 HAS SOPS 616485 HAS SOUS 676953 HAS SOUPS 546696 WITH SCORE 548096.723
AT ITER 2972 NEW BEST:: SOT 1962261 SOS 1400797 HAS SOPS 616480 HAS SOUS 677106 HAS SOUPS 546691 WITH SCORE 548091.797
AT ITER 2975 NEW BEST:: SOT 1962142 SOS 1400673 HAS SOPS 616282 HAS SOUS 676908 HAS SOUPS 546493 WITH SCORE 547893.673
AT ITER 2976 NEW BEST:: SOT 1962116 SOS 1400647 HAS SOPS 616230 HAS SOUS 676856 HAS SOUPS 546441 WITH SCORE 547841.647
AT ITER 2992 NEW BEST:: SOT 1961884 SOS 1400415 HAS SOPS 616230 HAS SOUS 676682 HAS SOUPS 546441 WITH SCORE 547841.415
AT ITER 2997 NEW BEST:: SOT 1961810 SOS 1400341 HAS SOPS 616082 HAS SOUS 676534 HAS SOUPS 546293 WITH SCORE 547693.341
AT ITER 2998 NEW BEST:: SOT 1961810 SOS 1400341 HAS SOPS 616024 HAS SOUS 676476 HAS SOUPS 546235 WITH SCORE 547635.341
AT ITER 3010 NEW BEST:: SOT 1961771 SOS 1400302 HAS SOPS 615946 HAS SOUS 676435 HAS SOUPS 546157 WITH SCORE 547557.302
AT ITER 3015 NEW BEST:: SOT 1961538 SOS 1400069 HAS SOPS 615480 HAS SOUS 676065 HAS SOUPS 545691 WITH SCORE 547091.069
AT ITER 3020 NEW BEST:: SOT 1961870 SOS 1401281 HAS SOPS 615448 HAS SOUS 677129 HAS SOUPS 545659 WITH SCORE 547060.281
AT ITER 3028 NEW BEST:: SOT 1961870 SOS 1401281 HAS SOPS 615185 HAS SOUS 676816 HAS SOUPS 545396 WITH SCORE 546797.281
AT ITER 3030 NEW BEST:: SOT 1961814 SOS 1401101 HAS SOPS 615133 HAS SOUS 676764 HAS SOUPS 545344 WITH SCORE 546745.101
AT ITER 3032 NEW BEST:: SOT 1961712 SOS 1400999 HAS SOPS 615031 HAS SOUS 676662 HAS SOUPS 545242 WITH SCORE 546642.999
AT ITER 3033 NEW BEST:: SOT 1961637 SOS 1400924 HAS SOPS 614440 HAS SOUS 676071 HAS SOUPS 544651 WITH SCORE 546051.924
AT ITER 3036 NEW BEST:: SOT 1961743 SOS 1401364 HAS SOPS 614102 HAS SOUS 676594 HAS SOUPS 544313 WITH SCORE 545714.364
AT ITER 3041 NEW BEST:: SOT 1961524 SOS 1401145 HAS SOPS 613902 HAS SOUS 676375 HAS SOUPS 544113 WITH SCORE 545514.145
AT ITER 3042 NEW BEST:: SOT 1961520 SOS 1401141 HAS SOPS 613898 HAS SOUS 676371 HAS SOUPS 544109 WITH SCORE 545510.141
AT ITER 3044 NEW BEST:: SOT 1961836 SOS 1401431 HAS SOPS 613868 HAS SOUS 676561 HAS SOUPS 544079 WITH SCORE 545480.431
AT ITER 3046 NEW BEST:: SOT 1961836 SOS 1401411 HAS SOPS 613868 HAS SOUS 676546 HAS SOUPS 544079 WITH SCORE 545480.411
AT ITER 3050 NEW BEST:: SOT 1961836 SOS 1401411 HAS SOPS 613747 HAS SOUS 676304 HAS SOUPS 543837 WITH SCORE 545238.411
AT ITER 3061 NEW BEST:: SOT 1961836 SOS 1401411 HAS SOPS 613654 HAS SOUS 676211 HAS SOUPS 543744 WITH SCORE 545145.411
AT ITER 3069 NEW BEST:: SOT 1961753 SOS 1401348 HAS SOPS 613511 HAS SOUS 676145 HAS SOUPS 543658 WITH SCORE 545059.348
AT ITER 3076 NEW BEST:: SOT 1961409 SOS 1401004 HAS SOPS 613511 HAS SOUS 676145 HAS SOUPS 543658 WITH SCORE 545059.004
AT ITER 3081 NEW BEST:: SOT 1961378 SOS 1400973 HAS SOPS 613449 HAS SOUS 675265 HAS SOUPS 543596 WITH SCORE 544996.973
AT ITER 3090 NEW BEST:: SOT 1961871 SOS 1401466 HAS SOPS 613396 HAS SOUS 674945 HAS SOUPS 543522 WITH SCORE 544923.466
AT ITER 3093 NEW BEST:: SOT 1961822 SOS 1401417 HAS SOPS 613396 HAS SOUS 674945 HAS SOUPS 543522 WITH SCORE 544923.417
AT ITER 3111 NEW BEST:: SOT 1961821 SOS 1401341 HAS SOPS 613182 HAS SOUS 674763 HAS SOUPS 543308 WITH SCORE 544709.341
AT ITER 3143 NEW BEST:: SOT 1961821 SOS 1401341 HAS SOPS 612977 HAS SOUS 674558 HAS SOUPS 543103 WITH SCORE 544504.341
AT ITER 3162 NEW BEST:: SOT 1961884 SOS 1402543 HAS SOPS 612911 HAS SOUS 674617 HAS SOUPS 543037 WITH SCORE 544439.543
AT ITER 3189 NEW BEST:: SOT 1961726 SOS 1402385 HAS SOPS 612583 HAS SOUS 674289 HAS SOUPS 542709 WITH SCORE 544111.385
AT ITER 3203 NEW BEST:: SOT 1961897 SOS 1402556 HAS SOPS 612560 HAS SOUS 674378 HAS SOUPS 542686 WITH SCORE 544088.556
AT ITER 3219 NEW BEST:: SOT 1961804 SOS 1402463 HAS SOPS 612374 HAS SOUS 674192 HAS SOUPS 542500 WITH SCORE 543902.463
AT ITER 3225 NEW BEST:: SOT 1961712 SOS 1402371 HAS SOPS 612190 HAS SOUS 674024 HAS SOUPS 542316 WITH SCORE 543718.371
AT ITER 3234 NEW BEST:: SOT 1961670 SOS 1402329 HAS SOPS 612097 HAS SOUS 673931 HAS SOUPS 542223 WITH SCORE 543625.329
AT ITER 3237 NEW BEST:: SOT 1961666 SOS 1402325 HAS SOPS 612089 HAS SOUS 673848 HAS SOUPS 542215 WITH SCORE 543617.325
AT ITER 3263 NEW BEST:: SOT 1961594 SOS 1402253 HAS SOPS 612089 HAS SOUS 673848 HAS SOUPS 542215 WITH SCORE 543617.253
AT ITER 3267 NEW BEST:: SOT 1961397 SOS 1402056 HAS SOPS 611991 HAS SOUS 673571 HAS SOUPS 542117 WITH SCORE 543519.056
AT ITER 3280 NEW BEST:: SOT 1961397 SOS 1404242 HAS SOPS 611553 HAS SOUS 673401 HAS SOUPS 541679 WITH SCORE 543083.242
AT ITER 3284 NEW BEST:: SOT 1961434 SOS 1404279 HAS SOPS 611445 HAS SOUS 673448 HAS SOUPS 541571 WITH SCORE 542975.279
AT ITER 3288 NEW BEST:: SOT 1962020 SOS 1404865 HAS SOPS 611323 HAS SOUS 673573 HAS SOUPS 541449 WITH SCORE 542853.865
AT ITER 3303 NEW BEST:: SOT 1962407 SOS 1405252 HAS SOPS 611251 HAS SOUS 674237 HAS SOUPS 541377 WITH SCORE 542782.252
AT ITER 3306 NEW BEST:: SOT 1962584 SOS 1405429 HAS SOPS 611238 HAS SOUS 674596 HAS SOUPS 541364 WITH SCORE 542769.429
AT ITER 3307 NEW BEST:: SOT 1962517 SOS 1405362 HAS SOPS 611020 HAS SOUS 674378 HAS SOUPS 541146 WITH SCORE 542551.362
AT ITER 3310 NEW BEST:: SOT 1962517 SOS 1405362 HAS SOPS 611009 HAS SOUS 674367 HAS SOUPS 541135 WITH SCORE 542540.362
AT ITER 3314 NEW BEST:: SOT 1962425 SOS 1405270 HAS SOPS 610825 HAS SOUS 674192 HAS SOUPS 540951 WITH SCORE 542356.27
AT ITER 3318 NEW BEST:: SOT 1962437 SOS 1405282 HAS SOPS 610446 HAS SOUS 673813 HAS SOUPS 540572 WITH SCORE 541977.282
AT ITER 3328 NEW BEST:: SOT 1962211 SOS 1405056 HAS SOPS 609999 HAS SOUS 673366 HAS SOUPS 540125 WITH SCORE 541530.056
AT ITER 3331 NEW BEST:: SOT 1962168 SOS 1405013 HAS SOPS 609686 HAS SOUS 673053 HAS SOUPS 539812 WITH SCORE 541217.013
AT ITER 3355 NEW BEST:: SOT 1962168 SOS 1405013 HAS SOPS 609542 HAS SOUS 672909 HAS SOUPS 539668 WITH SCORE 541073.013
AT ITER 3359 NEW BEST:: SOT 1962223 SOS 1405068 HAS SOPS 609394 HAS SOUS 673085 HAS SOUPS 539520 WITH SCORE 540925.068
AT ITER 3365 NEW BEST:: SOT 1962155 SOS 1405000 HAS SOPS 609258 HAS SOUS 672949 HAS SOUPS 539384 WITH SCORE 540789.0
AT ITER 3382 NEW BEST:: SOT 1962312 SOS 1405157 HAS SOPS 609059 HAS SOUS 672807 HAS SOUPS 539185 WITH SCORE 540590.157
AT ITER 3404 NEW BEST:: SOT 1962636 SOS 1405481 HAS SOPS 609054 HAS SOUS 672524 HAS SOUPS 538983 WITH SCORE 540388.481
AT ITER 3408 NEW BEST:: SOT 1962605 SOS 1405450 HAS SOPS 608992 HAS SOUS 672492 HAS SOUPS 538921 WITH SCORE 540326.45
AT ITER 3410 NEW BEST:: SOT 1962730 SOS 1405575 HAS SOPS 608918 HAS SOUS 672418 HAS SOUPS 538847 WITH SCORE 540252.575
AT ITER 3413 NEW BEST:: SOT 1962597 SOS 1405442 HAS SOPS 608652 HAS SOUS 672415 HAS SOUPS 538581 WITH SCORE 539986.442
AT ITER 3415 NEW BEST:: SOT 1962587 SOS 1405432 HAS SOPS 608410 HAS SOUS 672173 HAS SOUPS 538339 WITH SCORE 539744.432
AT ITER 3416 NEW BEST:: SOT 1962593 SOS 1405438 HAS SOPS 608215 HAS SOUS 672308 HAS SOUPS 538144 WITH SCORE 539549.438
AT ITER 3418 NEW BEST:: SOT 1962663 SOS 1405628 HAS SOPS 608212 HAS SOUS 672993 HAS SOUPS 538141 WITH SCORE 539546.628
AT ITER 3422 NEW BEST:: SOT 1962479 SOS 1403892 HAS SOPS 608212 HAS SOUS 672715 HAS SOUPS 538141 WITH SCORE 539544.892
AT ITER 3423 NEW BEST:: SOT 1962455 SOS 1403868 HAS SOPS 608188 HAS SOUS 672691 HAS SOUPS 538117 WITH SCORE 539520.868
AT ITER 3429 NEW BEST:: SOT 1962461 SOS 1403874 HAS SOPS 608081 HAS SOUS 672465 HAS SOUPS 537891 WITH SCORE 539294.874
AT ITER 3430 NEW BEST:: SOT 1962470 SOS 1403883 HAS SOPS 608012 HAS SOUS 672419 HAS SOUPS 537822 WITH SCORE 539225.883
AT ITER 3445 NEW BEST:: SOT 1962323 SOS 1403736 HAS SOPS 607429 HAS SOUS 672067 HAS SOUPS 537239 WITH SCORE 538642.736
AT ITER 3458 NEW BEST:: SOT 1962088 SOS 1395509 HAS SOPS 599700 HAS SOUS 671898 HAS SOUPS 537070 WITH SCORE 538465.509
AT ITER 3475 NEW BEST:: SOT 1961975 SOS 1395276 HAS SOPS 599473 HAS SOUS 671671 HAS SOUPS 536843 WITH SCORE 538238.276
AT ITER 3482 NEW BEST:: SOT 1961947 SOS 1395257 HAS SOPS 599321 HAS SOUS 671614 HAS SOUPS 536691 WITH SCORE 538086.257
AT ITER 3485 NEW BEST:: SOT 1961937 SOS 1395247 HAS SOPS 599301 HAS SOUS 671604 HAS SOUPS 536671 WITH SCORE 538066.247
AT ITER 3489 NEW BEST:: SOT 1961933 SOS 1395243 HAS SOPS 599293 HAS SOUS 671543 HAS SOUPS 536663 WITH SCORE 538058.243
AT ITER 3518 NEW BEST:: SOT 1962676 SOS 1395986 HAS SOPS 598845 HAS SOUS 671310 HAS SOUPS 536203 WITH SCORE 537598.986
AT ITER 3526 NEW BEST:: SOT 1962624 SOS 1395934 HAS SOPS 598793 HAS SOUS 671258 HAS SOUPS 536151 WITH SCORE 537546.934
AT ITER 3528 NEW BEST:: SOT 1962621 SOS 1395931 HAS SOPS 598742 HAS SOUS 671351 HAS SOUPS 536100 WITH SCORE 537495.931
AT ITER 3551 NEW BEST:: SOT 1962589 SOS 1395899 HAS SOPS 598678 HAS SOUS 672304 HAS SOUPS 536036 WITH SCORE 537431.899
AT ITER 3568 NEW BEST:: SOT 1962584 SOS 1395894 HAS SOPS 598626 HAS SOUS 672284 HAS SOUPS 535984 WITH SCORE 537379.894
AT ITER 3577 NEW BEST:: SOT 1968867 SOS 1386827 HAS SOPS 581927 HAS SOUS 670428 HAS SOUPS 533752 WITH SCORE 535138.827
AT ITER 3599 NEW BEST:: SOT 1964129 SOS 1383315 HAS SOPS 576989 HAS SOUS 665940 HAS SOUPS 528814 WITH SCORE 530197.315
AT ITER 3612 NEW BEST:: SOT 1964125 SOS 1383311 HAS SOPS 576843 HAS SOUS 665794 HAS SOUPS 528668 WITH SCORE 530051.311
AT ITER 3617 NEW BEST:: SOT 1964302 SOS 1383488 HAS SOPS 576721 HAS SOUS 665672 HAS SOUPS 528546 WITH SCORE 529929.488
AT ITER 3622 NEW BEST:: SOT 1964302 SOS 1383488 HAS SOPS 576594 HAS SOUS 665545 HAS SOUPS 528419 WITH SCORE 529802.488
AT ITER 3628 NEW BEST:: SOT 1964098 SOS 1383284 HAS SOPS 576254 HAS SOUS 665205 HAS SOUPS 528079 WITH SCORE 529462.284
AT ITER 3642 NEW BEST:: SOT 1964098 SOS 1380714 HAS SOPS 576254 HAS SOUS 664846 HAS SOUPS 528079 WITH SCORE 529459.714
AT ITER 3644 NEW BEST:: SOT 1964053 SOS 1380669 HAS SOPS 576209 HAS SOUS 664801 HAS SOUPS 528034 WITH SCORE 529414.669
AT ITER 3646 NEW BEST:: SOT 1963940 SOS 1380556 HAS SOPS 575983 HAS SOUS 664575 HAS SOUPS 527808 WITH SCORE 529188.556
AT ITER 3652 NEW BEST:: SOT 1963948 SOS 1380564 HAS SOPS 575972 HAS SOUS 664564 HAS SOUPS 527797 WITH SCORE 529177.564
AT ITER 3655 NEW BEST:: SOT 1963908 SOS 1380524 HAS SOPS 575756 HAS SOUS 664348 HAS SOUPS 527581 WITH SCORE 528961.524
AT ITER 3656 NEW BEST:: SOT 1963934 SOS 1380550 HAS SOPS 575722 HAS SOUS 664338 HAS SOUPS 527547 WITH SCORE 528927.55
AT ITER 3672 NEW BEST:: SOT 1963452 SOS 1380068 HAS SOPS 575296 HAS SOUS 663615 HAS SOUPS 527121 WITH SCORE 528501.068
AT ITER 3680 NEW BEST:: SOT 1963452 SOS 1380068 HAS SOPS 575163 HAS SOUS 663482 HAS SOUPS 526988 WITH SCORE 528368.068
AT ITER 3682 NEW BEST:: SOT 1963425 SOS 1380041 HAS SOPS 575109 HAS SOUS 663441 HAS SOUPS 526934 WITH SCORE 528314.041
AT ITER 3686 NEW BEST:: SOT 1963726 SOS 1380342 HAS SOPS 574801 HAS SOUS 663227 HAS SOUPS 526626 WITH SCORE 528006.342
AT ITER 3694 NEW BEST:: SOT 1963582 SOS 1380198 HAS SOPS 574729 HAS SOUS 662939 HAS SOUPS 526554 WITH SCORE 527934.198
AT ITER 3703 NEW BEST:: SOT 1963580 SOS 1380196 HAS SOPS 574571 HAS SOUS 662781 HAS SOUPS 526396 WITH SCORE 527776.196
AT ITER 3715 NEW BEST:: SOT 1963600 SOS 1380216 HAS SOPS 574549 HAS SOUS 662759 HAS SOUPS 526374 WITH SCORE 527754.216
AT ITER 3722 NEW BEST:: SOT 1963266 SOS 1379882 HAS SOPS 573881 HAS SOUS 662091 HAS SOUPS 525706 WITH SCORE 527085.882
AT ITER 3723 NEW BEST:: SOT 1963261 SOS 1379877 HAS SOPS 573871 HAS SOUS 662081 HAS SOUPS 525696 WITH SCORE 527075.877
AT ITER 3728 NEW BEST:: SOT 1963146 SOS 1379762 HAS SOPS 573871 HAS SOUS 661851 HAS SOUPS 525696 WITH SCORE 527075.762
AT ITER 3736 NEW BEST:: SOT 1963146 SOS 1379725 HAS SOPS 573812 HAS SOUS 661792 HAS SOUPS 525637 WITH SCORE 527016.725
AT ITER 3749 NEW BEST:: SOT 1963126 SOS 1379705 HAS SOPS 573750 HAS SOUS 661708 HAS SOUPS 525553 WITH SCORE 526932.705
AT ITER 3768 NEW BEST:: SOT 1962796 SOS 1379749 HAS SOPS 573104 HAS SOUS 661757 HAS SOUPS 525444 WITH SCORE 526823.749
AT ITER 3774 NEW BEST:: SOT 1962720 SOS 1379673 HAS SOPS 572952 HAS SOUS 661605 HAS SOUPS 525292 WITH SCORE 526671.673
AT ITER 3778 NEW BEST:: SOT 1962689 SOS 1379642 HAS SOPS 572921 HAS SOUS 661574 HAS SOUPS 525261 WITH SCORE 526640.642
AT ITER 3784 NEW BEST:: SOT 1962659 SOS 1379617 HAS SOPS 572881 HAS SOUS 661539 HAS SOUPS 525221 WITH SCORE 526600.617
AT ITER 3793 NEW BEST:: SOT 1962026 SOS 1378984 HAS SOPS 572503 HAS SOUS 661011 HAS SOUPS 524843 WITH SCORE 526221.984
AT ITER 3794 NEW BEST:: SOT 1961982 SOS 1378940 HAS SOPS 572415 HAS SOUS 660923 HAS SOUPS 524755 WITH SCORE 526133.94
AT ITER 3797 NEW BEST:: SOT 1961956 SOS 1378914 HAS SOPS 572363 HAS SOUS 660871 HAS SOUPS 524703 WITH SCORE 526081.914
AT ITER 3803 NEW BEST:: SOT 1961787 SOS 1378745 HAS SOPS 572025 HAS SOUS 660533 HAS SOUPS 524365 WITH SCORE 525743.745
AT ITER 3806 NEW BEST:: SOT 1961547 SOS 1378505 HAS SOPS 571543 HAS SOUS 660051 HAS SOUPS 523883 WITH SCORE 525261.505
AT ITER 3814 NEW BEST:: SOT 1961557 SOS 1378515 HAS SOPS 571155 HAS SOUS 659460 HAS SOUPS 523495 WITH SCORE 524873.515
AT ITER 3827 NEW BEST:: SOT 1962545 SOS 1378529 HAS SOPS 572201 HAS SOUS 658940 HAS SOUPS 523335 WITH SCORE 524713.529
AT ITER 3830 NEW BEST:: SOT 1962441 SOS 1378425 HAS SOPS 571993 HAS SOUS 658732 HAS SOUPS 523127 WITH SCORE 524505.425
AT ITER 3833 NEW BEST:: SOT 1961439 SOS 1377423 HAS SOPS 570755 HAS SOUS 658274 HAS SOUPS 522181 WITH SCORE 523558.423
AT ITER 3844 NEW BEST:: SOT 1961181 SOS 1377337 HAS SOPS 570411 HAS SOUS 658130 HAS SOUPS 521951 WITH SCORE 523328.337
AT ITER 3847 NEW BEST:: SOT 1961146 SOS 1377302 HAS SOPS 570341 HAS SOUS 658060 HAS SOUPS 521881 WITH SCORE 523258.302
AT ITER 3855 NEW BEST:: SOT 1961254 SOS 1379570 HAS SOPS 570233 HAS SOUS 658060 HAS SOUPS 521773 WITH SCORE 523152.57
AT ITER 3859 NEW BEST:: SOT 1961387 SOS 1379703 HAS SOPS 570175 HAS SOUS 658468 HAS SOUPS 521715 WITH SCORE 523094.703
AT ITER 3863 NEW BEST:: SOT 1961127 SOS 1379443 HAS SOPS 569364 HAS SOUS 657657 HAS SOUPS 520904 WITH SCORE 522283.443
AT ITER 3876 NEW BEST:: SOT 1961054 SOS 1379370 HAS SOPS 569018 HAS SOUS 657311 HAS SOUPS 520558 WITH SCORE 521937.37
AT ITER 3886 NEW BEST:: SOT 1961015 SOS 1379331 HAS SOPS 568982 HAS SOUS 657272 HAS SOUPS 520522 WITH SCORE 521901.331
AT ITER 3892 NEW BEST:: SOT 1961167 SOS 1379483 HAS SOPS 568760 HAS SOUS 657050 HAS SOUPS 520300 WITH SCORE 521679.483
AT ITER 3895 NEW BEST:: SOT 1961323 SOS 1379639 HAS SOPS 568679 HAS SOUS 656969 HAS SOUPS 520219 WITH SCORE 521598.639
AT ITER 3907 NEW BEST:: SOT 1961544 SOS 1381976 HAS SOPS 568675 HAS SOUS 657416 HAS SOUPS 520215 WITH SCORE 521596.976
AT ITER 3915 NEW BEST:: SOT 1961339 SOS 1381771 HAS SOPS 568265 HAS SOUS 656963 HAS SOUPS 519805 WITH SCORE 521186.771
AT ITER 3916 NEW BEST:: SOT 1961234 SOS 1381666 HAS SOPS 568055 HAS SOUS 656753 HAS SOUPS 519595 WITH SCORE 520976.666
AT ITER 3920 NEW BEST:: SOT 1961016 SOS 1381448 HAS SOPS 567694 HAS SOUS 656392 HAS SOUPS 519234 WITH SCORE 520615.448
AT ITER 3934 NEW BEST:: SOT 1961959 SOS 1381657 HAS SOPS 568641 HAS SOUS 655738 HAS SOUPS 518996 WITH SCORE 520377.657
AT ITER 3955 NEW BEST:: SOT 1961959 SOS 1381656 HAS SOPS 568640 HAS SOUS 655738 HAS SOUPS 518996 WITH SCORE 520377.656
AT ITER 3974 NEW BEST:: SOT 1961674 SOS 1381371 HAS SOPS 568517 HAS SOUS 655615 HAS SOUPS 518873 WITH SCORE 520254.371
AT ITER 3978 NEW BEST:: SOT 1961437 SOS 1381134 HAS SOPS 568043 HAS SOUS 655401 HAS SOUPS 518399 WITH SCORE 519780.134
AT ITER 3981 NEW BEST:: SOT 1961227 SOS 1380924 HAS SOPS 567623 HAS SOUS 654981 HAS SOUPS 517979 WITH SCORE 519359.924
AT ITER 3987 NEW BEST:: SOT 1961436 SOS 1381133 HAS SOPS 567414 HAS SOUS 654981 HAS SOUPS 517770 WITH SCORE 519151.133
AT ITER 3988 NEW BEST:: SOT 1961164 SOS 1380861 HAS SOPS 567304 HAS SOUS 654871 HAS SOUPS 517660 WITH SCORE 519040.861
AT ITER 3990 NEW BEST:: SOT 1961113 SOS 1400352 HAS SOPS 567129 HAS SOUS 655106 HAS SOUPS 517485 WITH SCORE 518885.352
AT ITER 3991 NEW BEST:: SOT 1961039 SOS 1400278 HAS SOPS 566872 HAS SOUS 654849 HAS SOUPS 517228 WITH SCORE 518628.278
AT ITER 3993 NEW BEST:: SOT 1960982 SOS 1400221 HAS SOPS 566758 HAS SOUS 654735 HAS SOUPS 517114 WITH SCORE 518514.221
AT ITER 4015 NEW BEST:: SOT 1960919 SOS 1400095 HAS SOPS 566592 HAS SOUS 654569 HAS SOUPS 516948 WITH SCORE 518348.095
AT ITER 4019 NEW BEST:: SOT 1960901 SOS 1400077 HAS SOPS 566574 HAS SOUS 654551 HAS SOUPS 516930 WITH SCORE 518330.077
AT ITER 4026 NEW BEST:: SOT 1960854 SOS 1400030 HAS SOPS 566527 HAS SOUS 654457 HAS SOUPS 516836 WITH SCORE 518236.03
AT ITER 4034 NEW BEST:: SOT 1960854 SOS 1400030 HAS SOPS 566332 HAS SOUS 654262 HAS SOUPS 516641 WITH SCORE 518041.03
AT ITER 4048 NEW BEST:: SOT 1960889 SOS 1400065 HAS SOPS 566278 HAS SOUS 654297 HAS SOUPS 516587 WITH SCORE 517987.065
AT ITER 4058 NEW BEST:: SOT 1960748 SOS 1399924 HAS SOPS 565996 HAS SOUS 654015 HAS SOUPS 516305 WITH SCORE 517704.924
AT ITER 4062 NEW BEST:: SOT 1960748 SOS 1400014 HAS SOPS 565894 HAS SOUS 654099 HAS SOUPS 516203 WITH SCORE 517603.014
AT ITER 4080 NEW BEST:: SOT 1960761 SOS 1400027 HAS SOPS 565620 HAS SOUS 653903 HAS SOUPS 515929 WITH SCORE 517329.027
AT ITER 4100 NEW BEST:: SOT 1960811 SOS 1400077 HAS SOPS 565508 HAS SOUS 653791 HAS SOUPS 515817 WITH SCORE 517217.077
AT ITER 4115 NEW BEST:: SOT 1960770 SOS 1400036 HAS SOPS 565344 HAS SOUS 653627 HAS SOUPS 515653 WITH SCORE 517053.036
AT ITER 4117 NEW BEST:: SOT 1960242 SOS 1399508 HAS SOPS 564712 HAS SOUS 653070 HAS SOUPS 515021 WITH SCORE 516420.508
AT ITER 4135 NEW BEST:: SOT 1960684 SOS 1399722 HAS SOPS 564691 HAS SOUS 652649 HAS SOUPS 514600 WITH SCORE 515999.722
AT ITER 4143 NEW BEST:: SOT 1960547 SOS 1399585 HAS SOPS 564417 HAS SOUS 652480 HAS SOUPS 514326 WITH SCORE 515725.585
AT ITER 4152 NEW BEST:: SOT 1960534 SOS 1399572 HAS SOPS 564391 HAS SOUS 652244 HAS SOUPS 514300 WITH SCORE 515699.572
AT ITER 4153 NEW BEST:: SOT 1960534 SOS 1399572 HAS SOPS 564306 HAS SOUS 652159 HAS SOUPS 514215 WITH SCORE 515614.572
AT ITER 4159 NEW BEST:: SOT 1960499 SOS 1399537 HAS SOPS 564236 HAS SOUS 652124 HAS SOUPS 514145 WITH SCORE 515544.537
AT ITER 4172 NEW BEST:: SOT 1961057 SOS 1400108 HAS SOPS 564175 HAS SOUS 652252 HAS SOUPS 514084 WITH SCORE 515484.108
AT ITER 4199 NEW BEST:: SOT 1961071 SOS 1400122 HAS SOPS 564034 HAS SOUS 652266 HAS SOUPS 513943 WITH SCORE 515343.122
AT ITER 4215 NEW BEST:: SOT 1961004 SOS 1400103 HAS SOPS 564015 HAS SOUS 652266 HAS SOUPS 513943 WITH SCORE 515343.103
AT ITER 4227 NEW BEST:: SOT 1960890 SOS 1399989 HAS SOPS 563878 HAS SOUS 652038 HAS SOUPS 513715 WITH SCORE 515114.989
AT ITER 4235 NEW BEST:: SOT 1960792 SOS 1399891 HAS SOPS 563682 HAS SOUS 651748 HAS SOUPS 513519 WITH SCORE 514918.891
AT ITER 4247 NEW BEST:: SOT 1960613 SOS 1399712 HAS SOPS 563434 HAS SOUS 651500 HAS SOUPS 513271 WITH SCORE 514670.712
AT ITER 4250 NEW BEST:: SOT 1960574 SOS 1399673 HAS SOPS 563356 HAS SOUS 651422 HAS SOUPS 513193 WITH SCORE 514592.673
AT ITER 4251 NEW BEST:: SOT 1960659 SOS 1419568 HAS SOPS 563271 HAS SOUS 651592 HAS SOUPS 513108 WITH SCORE 514527.568
AT ITER 4278 NEW BEST:: SOT 1961422 SOS 1420331 HAS SOPS 563265 HAS SOUS 651586 HAS SOUPS 513102 WITH SCORE 514522.331
AT ITER 4280 NEW BEST:: SOT 1960387 SOS 1419392 HAS SOPS 561992 HAS SOUS 650731 HAS SOUPS 512076 WITH SCORE 513495.392
AT ITER 4289 NEW BEST:: SOT 1960267 SOS 1419272 HAS SOPS 561752 HAS SOUS 650491 HAS SOUPS 511836 WITH SCORE 513255.272
AT ITER 4290 NEW BEST:: SOT 1960284 SOS 1419289 HAS SOPS 561704 HAS SOUS 650508 HAS SOUPS 511788 WITH SCORE 513207.289
AT ITER 4293 NEW BEST:: SOT 1960028 SOS 1419033 HAS SOPS 561478 HAS SOUS 650428 HAS SOUPS 511708 WITH SCORE 513127.033
AT ITER 4303 NEW BEST:: SOT 1959950 SOS 1418955 HAS SOPS 561322 HAS SOUS 650272 HAS SOUPS 511552 WITH SCORE 512970.955
AT ITER 4307 NEW BEST:: SOT 1960434 SOS 1419439 HAS SOPS 561102 HAS SOUS 650420 HAS SOUPS 511332 WITH SCORE 512751.439
AT ITER 4323 NEW BEST:: SOT 1960689 SOS 1419694 HAS SOPS 561074 HAS SOUS 650392 HAS SOUPS 511304 WITH SCORE 512723.694
AT ITER 4328 NEW BEST:: SOT 1960643 SOS 1419648 HAS SOPS 560982 HAS SOUS 650300 HAS SOUPS 511212 WITH SCORE 512631.648
AT ITER 4341 NEW BEST:: SOT 1960725 SOS 1419730 HAS SOPS 560614 HAS SOUS 650461 HAS SOUPS 510844 WITH SCORE 512263.73
AT ITER 4343 NEW BEST:: SOT 1960565 SOS 1418959 HAS SOPS 560454 HAS SOUS 649586 HAS SOUPS 510120 WITH SCORE 511538.959
AT ITER 4348 NEW BEST:: SOT 1960666 SOS 1419060 HAS SOPS 559900 HAS SOUS 649032 HAS SOUPS 509566 WITH SCORE 510985.06
AT ITER 4350 NEW BEST:: SOT 1960766 SOS 1419160 HAS SOPS 559835 HAS SOUS 649193 HAS SOUPS 509501 WITH SCORE 510920.16
AT ITER 4370 NEW BEST:: SOT 1960883 SOS 1419277 HAS SOPS 559671 HAS SOUS 649029 HAS SOUPS 509337 WITH SCORE 510756.277
AT ITER 4382 NEW BEST:: SOT 1960883 SOS 1415347 HAS SOPS 559671 HAS SOUS 648845 HAS SOUPS 509337 WITH SCORE 510752.347
AT ITER 4393 NEW BEST:: SOT 1960718 SOS 1415182 HAS SOPS 559559 HAS SOUS 648556 HAS SOUPS 509225 WITH SCORE 510640.182
AT ITER 4412 NEW BEST:: SOT 1960643 SOS 1415107 HAS SOPS 559223 HAS SOUS 648220 HAS SOUPS 508889 WITH SCORE 510304.107
AT ITER 4414 NEW BEST:: SOT 1960607 SOS 1414639 HAS SOPS 559420 HAS SOUS 647878 HAS SOUPS 508651 WITH SCORE 510065.639
AT ITER 4417 NEW BEST:: SOT 1960394 SOS 1414426 HAS SOPS 559077 HAS SOUS 647535 HAS SOUPS 508308 WITH SCORE 509722.426
AT ITER 4421 NEW BEST:: SOT 1960311 SOS 1414343 HAS SOPS 558911 HAS SOUS 647044 HAS SOUPS 508142 WITH SCORE 509556.343
AT ITER 4443 NEW BEST:: SOT 1959946 SOS 1413978 HAS SOPS 558134 HAS SOUS 646267 HAS SOUPS 507365 WITH SCORE 508778.978
AT ITER 4447 NEW BEST:: SOT 1960182 SOS 1414214 HAS SOPS 557856 HAS SOUS 646371 HAS SOUPS 507087 WITH SCORE 508501.214
AT ITER 4449 NEW BEST:: SOT 1960179 SOS 1414211 HAS SOPS 557850 HAS SOUS 646368 HAS SOUPS 507081 WITH SCORE 508495.211
AT ITER 4453 NEW BEST:: SOT 1960161 SOS 1414193 HAS SOPS 557814 HAS SOUS 646350 HAS SOUPS 507045 WITH SCORE 508459.193
AT ITER 4495 NEW BEST:: SOT 1960108 SOS 1414073 HAS SOPS 557813 HAS SOUS 646244 HAS SOUPS 506939 WITH SCORE 508353.073
AT ITER 4497 NEW BEST:: SOT 1960055 SOS 1414020 HAS SOPS 557613 HAS SOUS 646044 HAS SOUPS 506739 WITH SCORE 508153.02
AT ITER 4531 NEW BEST:: SOT 1959997 SOS 1413962 HAS SOPS 557613 HAS SOUS 646097 HAS SOUPS 506739 WITH SCORE 508152.962
AT ITER 4545 NEW BEST:: SOT 1960033 SOS 1413998 HAS SOPS 557592 HAS SOUS 646101 HAS SOUPS 506718 WITH SCORE 508131.998
AT ITER 4550 NEW BEST:: SOT 1959993 SOS 1413958 HAS SOPS 557512 HAS SOUS 646021 HAS SOUPS 506638 WITH SCORE 508051.958
AT ITER 4561 NEW BEST:: SOT 1959964 SOS 1413929 HAS SOPS 557454 HAS SOUS 645963 HAS SOUPS 506580 WITH SCORE 507993.929
AT ITER 4566 NEW BEST:: SOT 1960014 SOS 1413979 HAS SOPS 557304 HAS SOUS 645813 HAS SOUPS 506430 WITH SCORE 507843.979
AT ITER 4568 NEW BEST:: SOT 1959928 SOS 1413893 HAS SOPS 557038 HAS SOUS 645973 HAS SOUPS 506164 WITH SCORE 507577.893
AT ITER 4573 NEW BEST:: SOT 1959314 SOS 1413070 HAS SOPS 555810 HAS SOUS 644745 HAS SOUPS 504936 WITH SCORE 506349.07
AT ITER 4575 NEW BEST:: SOT 1959447 SOS 1413272 HAS SOPS 555791 HAS SOUS 645049 HAS SOUPS 504917 WITH SCORE 506330.272
AT ITER 4580 NEW BEST:: SOT 1959433 SOS 1413258 HAS SOPS 555777 HAS SOUS 645021 HAS SOUPS 504889 WITH SCORE 506302.258
AT ITER 4601 NEW BEST:: SOT 1959289 SOS 1413114 HAS SOPS 555633 HAS SOUS 644877 HAS SOUPS 504745 WITH SCORE 506158.114
AT ITER 4602 NEW BEST:: SOT 1959286 SOS 1413111 HAS SOPS 555630 HAS SOUS 644874 HAS SOUPS 504742 WITH SCORE 506155.111
AT ITER 4605 NEW BEST:: SOT 1959377 SOS 1413202 HAS SOPS 555628 HAS SOUS 644979 HAS SOUPS 504740 WITH SCORE 506153.202
AT ITER 4620 NEW BEST:: SOT 1959310 SOS 1413135 HAS SOPS 555580 HAS SOUS 644878 HAS SOUPS 504692 WITH SCORE 506105.135
AT ITER 4629 NEW BEST:: SOT 1959225 SOS 1413050 HAS SOPS 555539 HAS SOUS 644837 HAS SOUPS 504651 WITH SCORE 506064.05
AT ITER 4631 NEW BEST:: SOT 1959460 SOS 1413285 HAS SOPS 555460 HAS SOUS 644593 HAS SOUPS 504407 WITH SCORE 505820.285
AT ITER 4638 NEW BEST:: SOT 1959242 SOS 1413067 HAS SOPS 555188 HAS SOUS 644167 HAS SOUPS 504135 WITH SCORE 505548.067
AT ITER 4653 NEW BEST:: SOT 1959309 SOS 1413134 HAS SOPS 555173 HAS SOUS 644152 HAS SOUPS 504120 WITH SCORE 505533.134
AT ITER 4657 NEW BEST:: SOT 1959785 SOS 1413610 HAS SOPS 554758 HAS SOUS 644654 HAS SOUPS 503705 WITH SCORE 505118.61
AT ITER 4661 NEW BEST:: SOT 1959704 SOS 1413529 HAS SOPS 554542 HAS SOUS 644573 HAS SOUPS 503489 WITH SCORE 504902.529
AT ITER 4680 NEW BEST:: SOT 1959608 SOS 1413433 HAS SOPS 554261 HAS SOUS 644292 HAS SOUPS 503208 WITH SCORE 504621.433
AT ITER 4695 NEW BEST:: SOT 1959604 SOS 1413429 HAS SOPS 554120 HAS SOUS 644151 HAS SOUPS 503067 WITH SCORE 504480.429
AT ITER 4706 NEW BEST:: SOT 1959609 SOS 1413974 HAS SOPS 553911 HAS SOUS 644047 HAS SOUPS 502858 WITH SCORE 504271.974
AT ITER 4707 NEW BEST:: SOT 1959665 SOS 1413405 HAS SOPS 554380 HAS SOUS 643626 HAS SOUPS 502606 WITH SCORE 504019.405
AT ITER 4726 NEW BEST:: SOT 1959735 SOS 1414965 HAS SOPS 554317 HAS SOUS 643760 HAS SOUPS 502543 WITH SCORE 503957.965
AT ITER 4727 NEW BEST:: SOT 1959803 SOS 1415033 HAS SOPS 554249 HAS SOUS 643760 HAS SOUPS 502475 WITH SCORE 503890.033
AT ITER 4729 NEW BEST:: SOT 1959780 SOS 1415010 HAS SOPS 554203 HAS SOUS 643714 HAS SOUPS 502429 WITH SCORE 503844.01
AT ITER 4739 NEW BEST:: SOT 1960133 SOS 1415363 HAS SOPS 554194 HAS SOUS 643978 HAS SOUPS 502420 WITH SCORE 503835.363
AT ITER 4743 NEW BEST:: SOT 1960265 SOS 1416280 HAS SOPS 554062 HAS SOUS 643978 HAS SOUPS 502288 WITH SCORE 503704.28
AT ITER 4749 NEW BEST:: SOT 1960209 SOS 1416224 HAS SOPS 553950 HAS SOUS 643866 HAS SOUPS 502176 WITH SCORE 503592.224
AT ITER 4771 NEW BEST:: SOT 1960417 SOS 1416432 HAS SOPS 553782 HAS SOUS 643952 HAS SOUPS 502008 WITH SCORE 503424.432
AT ITER 4810 NEW BEST:: SOT 1960583 SOS 1416590 HAS SOPS 553838 HAS SOUS 643846 HAS SOUPS 501902 WITH SCORE 503318.59
AT ITER 4822 NEW BEST:: SOT 1960583 SOS 1416590 HAS SOPS 553737 HAS SOUS 643745 HAS SOUPS 501801 WITH SCORE 503217.59
AT ITER 4836 NEW BEST:: SOT 1960560 SOS 1416544 HAS SOPS 553691 HAS SOUS 643699 HAS SOUPS 501755 WITH SCORE 503171.544
AT ITER 4870 NEW BEST:: SOT 1960430 SOS 1416414 HAS SOPS 553561 HAS SOUS 643569 HAS SOUPS 501625 WITH SCORE 503041.414
AT ITER 4874 NEW BEST:: SOT 1960276 SOS 1416260 HAS SOPS 553253 HAS SOUS 643332 HAS SOUPS 501317 WITH SCORE 502733.26
AT ITER 4897 NEW BEST:: SOT 1960103 SOS 1416087 HAS SOPS 553139 HAS SOUS 643218 HAS SOUPS 501203 WITH SCORE 502619.087
AT ITER 4912 NEW BEST:: SOT 1960057 SOS 1416041 HAS SOPS 553047 HAS SOUS 643173 HAS SOUPS 501111 WITH SCORE 502527.041
AT ITER 4922 NEW BEST:: SOT 1959945 SOS 1415929 HAS SOPS 552823 HAS SOUS 642949 HAS SOUPS 500887 WITH SCORE 502302.929
AT ITER 4932 NEW BEST:: SOT 1959972 SOS 1415956 HAS SOPS 552821 HAS SOUS 642947 HAS SOUPS 500885 WITH SCORE 502300.956
AT ITER 4933 NEW BEST:: SOT 1959928 SOS 1415912 HAS SOPS 552777 HAS SOUS 642903 HAS SOUPS 500841 WITH SCORE 502256.912
AT ITER 4934 NEW BEST:: SOT 1959887 SOS 1415871 HAS SOPS 552665 HAS SOUS 642771 HAS SOUPS 500709 WITH SCORE 502124.871
AT ITER 4952 NEW BEST:: SOT 1959845 SOS 1415829 HAS SOPS 552594 HAS SOUS 642700 HAS SOUPS 500638 WITH SCORE 502053.829
AT ITER 4954 NEW BEST:: SOT 1960048 SOS 1416032 HAS SOPS 552240 HAS SOUS 643053 HAS SOUPS 500284 WITH SCORE 501700.032
AT ITER 4976 NEW BEST:: SOT 1960196 SOS 1416180 HAS SOPS 552230 HAS SOUS 642953 HAS SOUPS 500184 WITH SCORE 501600.18
AT ITER 4980 NEW BEST:: SOT 1960320 SOS 1416304 HAS SOPS 551593 HAS SOUS 643201 HAS SOUPS 499547 WITH SCORE 500963.304
AT ITER 4990 NEW BEST:: SOT 1960480 SOS 1416464 HAS SOPS 551578 HAS SOUS 643186 HAS SOUPS 499532 WITH SCORE 500948.464
AT ITER 5000 NEW BEST:: SOT 1960469 SOS 1416453 HAS SOPS 551556 HAS SOUS 643164 HAS SOUPS 499510 WITH SCORE 500926.453
AT ITER 5015 NEW BEST:: SOT 1960759 SOS 1420933 HAS SOPS 551266 HAS SOUS 643250 HAS SOUPS 499220 WITH SCORE 500640.933
AT ITER 5018 NEW BEST:: SOT 1960728 SOS 1420902 HAS SOPS 551266 HAS SOUS 643281 HAS SOUPS 499220 WITH SCORE 500640.902
AT ITER 5032 NEW BEST:: SOT 1960694 SOS 1420868 HAS SOPS 551266 HAS SOUS 643247 HAS SOUPS 499220 WITH SCORE 500640.868
AT ITER 5046 NEW BEST:: SOT 1960741 SOS 1421016 HAS SOPS 551228 HAS SOUS 643209 HAS SOUPS 499182 WITH SCORE 500603.016
AT ITER 5064 NEW BEST:: SOT 1960719 SOS 1420994 HAS SOPS 551206 HAS SOUS 643187 HAS SOUPS 499160 WITH SCORE 500580.994
AT ITER 5065 NEW BEST:: SOT 1960585 SOS 1420860 HAS SOPS 550938 HAS SOUS 642919 HAS SOUPS 498892 WITH SCORE 500312.86
AT ITER 5092 NEW BEST:: SOT 1960503 SOS 1420778 HAS SOPS 550574 HAS SOUS 642555 HAS SOUPS 498528 WITH SCORE 499948.778
AT ITER 5100 NEW BEST:: SOT 1960449 SOS 1420724 HAS SOPS 550466 HAS SOUS 642447 HAS SOUPS 498420 WITH SCORE 499840.724
AT ITER 5119 NEW BEST:: SOT 1960446 SOS 1420721 HAS SOPS 550466 HAS SOUS 642444 HAS SOUPS 498420 WITH SCORE 499840.721
AT ITER 5135 NEW BEST:: SOT 1960434 SOS 1420709 HAS SOPS 550442 HAS SOUS 642420 HAS SOUPS 498396 WITH SCORE 499816.709
AT ITER 5152 NEW BEST:: SOT 1960374 SOS 1421014 HAS SOPS 549983 HAS SOUS 643007 HAS SOUPS 497937 WITH SCORE 499358.014
AT ITER 5160 NEW BEST:: SOT 1960374 SOS 1421014 HAS SOPS 549854 HAS SOUS 642878 HAS SOUPS 497808 WITH SCORE 499229.014
AT ITER 5198 NEW BEST:: SOT 1960442 SOS 1421136 HAS SOPS 549786 HAS SOUS 642878 HAS SOUPS 497740 WITH SCORE 499161.136
AT ITER 5230 NEW BEST:: SOT 1960701 SOS 1421395 HAS SOPS 549686 HAS SOUS 642845 HAS SOUPS 497640 WITH SCORE 499061.395
AT ITER 5252 NEW BEST:: SOT 1960595 SOS 1421289 HAS SOPS 549686 HAS SOUS 642845 HAS SOUPS 497640 WITH SCORE 499061.289
AT ITER 5264 NEW BEST:: SOT 1960495 SOS 1421189 HAS SOPS 549486 HAS SOUS 642645 HAS SOUPS 497440 WITH SCORE 498861.189
AT ITER 5272 NEW BEST:: SOT 1959937 SOS 1420631 HAS SOPS 548320 HAS SOUS 641479 HAS SOUPS 496274 WITH SCORE 497694.631
AT ITER 5281 NEW BEST:: SOT 1959937 SOS 1420631 HAS SOPS 548304 HAS SOUS 641463 HAS SOUPS 496258 WITH SCORE 497678.631
AT ITER 5282 NEW BEST:: SOT 1959876 SOS 1420570 HAS SOPS 548304 HAS SOUS 641463 HAS SOUPS 496258 WITH SCORE 497678.57
AT ITER 5284 NEW BEST:: SOT 1959879 SOS 1420573 HAS SOPS 548245 HAS SOUS 641404 HAS SOUPS 496199 WITH SCORE 497619.573
AT ITER 5295 NEW BEST:: SOT 1959829 SOS 1420523 HAS SOPS 548245 HAS SOUS 641354 HAS SOUPS 496199 WITH SCORE 497619.523
AT ITER 5326 NEW BEST:: SOT 1959768 SOS 1420462 HAS SOPS 548184 HAS SOUS 641293 HAS SOUPS 496138 WITH SCORE 497558.462
AT ITER 5351 NEW BEST:: SOT 1959706 SOS 1420400 HAS SOPS 548044 HAS SOUS 641169 HAS SOUPS 496014 WITH SCORE 497434.4
AT ITER 5367 NEW BEST:: SOT 1959350 SOS 1420044 HAS SOPS 547332 HAS SOUS 640457 HAS SOUPS 495302 WITH SCORE 496722.044
AT ITER 5377 NEW BEST:: SOT 1959304 SOS 1419998 HAS SOPS 547286 HAS SOUS 640411 HAS SOUPS 495256 WITH SCORE 496675.998
AT ITER 5382 NEW BEST:: SOT 1959434 SOS 1418501 HAS SOPS 544863 HAS SOUS 639439 HAS SOUPS 494284 WITH SCORE 495702.501
AT ITER 5388 NEW BEST:: SOT 1959648 SOS 1418715 HAS SOPS 544649 HAS SOUS 639225 HAS SOUPS 494070 WITH SCORE 495488.715
AT ITER 5398 NEW BEST:: SOT 1959739 SOS 1418806 HAS SOPS 544643 HAS SOUS 639219 HAS SOUPS 494064 WITH SCORE 495482.806
AT ITER 5399 NEW BEST:: SOT 1959699 SOS 1418766 HAS SOPS 544603 HAS SOUS 639139 HAS SOUPS 494024 WITH SCORE 495442.766
AT ITER 5422 NEW BEST:: SOT 1959701 SOS 1418768 HAS SOPS 544351 HAS SOUS 639015 HAS SOUPS 493772 WITH SCORE 495190.768
AT ITER 5424 NEW BEST:: SOT 1959552 SOS 1418506 HAS SOPS 544254 HAS SOUS 638906 HAS SOUPS 493675 WITH SCORE 495093.506
AT ITER 5431 NEW BEST:: SOT 1959550 SOS 1418504 HAS SOPS 544312 HAS SOUS 638902 HAS SOUPS 493671 WITH SCORE 495089.504
AT ITER 5447 NEW BEST:: SOT 1959288 SOS 1418242 HAS SOPS 542650 HAS SOUS 637845 HAS SOUPS 492009 WITH SCORE 493427.242
AT ITER 5448 NEW BEST:: SOT 1959115 SOS 1418069 HAS SOPS 542304 HAS SOUS 637499 HAS SOUPS 491663 WITH SCORE 493081.069
AT ITER 5466 NEW BEST:: SOT 1959292 SOS 1420349 HAS SOPS 542127 HAS SOUS 637785 HAS SOUPS 491486 WITH SCORE 492906.349
AT ITER 5496 NEW BEST:: SOT 1958898 SOS 1419955 HAS SOPS 541825 HAS SOUS 637493 HAS SOUPS 491184 WITH SCORE 492603.955
AT ITER 5510 NEW BEST:: SOT 1958751 SOS 1419808 HAS SOPS 541439 HAS SOUS 637107 HAS SOUPS 490798 WITH SCORE 492217.808
AT ITER 5523 NEW BEST:: SOT 1959119 SOS 1421437 HAS SOPS 541339 HAS SOUS 637425 HAS SOUPS 490698 WITH SCORE 492119.437
AT ITER 5528 NEW BEST:: SOT 1958907 SOS 1421225 HAS SOPS 540910 HAS SOUS 636996 HAS SOUPS 490269 WITH SCORE 491690.225
AT ITER 5534 NEW BEST:: SOT 1958906 SOS 1421224 HAS SOPS 541012 HAS SOUS 636994 HAS SOUPS 490267 WITH SCORE 491688.224
AT ITER 5541 NEW BEST:: SOT 1958810 SOS 1421128 HAS SOPS 540954 HAS SOUS 636802 HAS SOUPS 490075 WITH SCORE 491496.128
AT ITER 5558 NEW BEST:: SOT 1958776 SOS 1421094 HAS SOPS 540886 HAS SOUS 636734 HAS SOUPS 490007 WITH SCORE 491428.094
AT ITER 5567 NEW BEST:: SOT 1958956 SOS 1420892 HAS SOPS 539135 HAS SOUS 635286 HAS SOUPS 488225 WITH SCORE 489645.892
AT ITER 5607 NEW BEST:: SOT 1958893 SOS 1420829 HAS SOPS 539009 HAS SOUS 635230 HAS SOUPS 488099 WITH SCORE 489519.829
AT ITER 5612 NEW BEST:: SOT 1958902 SOS 1420838 HAS SOPS 538929 HAS SOUS 635150 HAS SOUPS 488019 WITH SCORE 489439.838
AT ITER 5628 NEW BEST:: SOT 1958730 SOS 1420666 HAS SOPS 538585 HAS SOUS 634838 HAS SOUPS 487675 WITH SCORE 489095.666
AT ITER 5634 NEW BEST:: SOT 1958745 SOS 1420681 HAS SOPS 538547 HAS SOUS 634800 HAS SOUPS 487637 WITH SCORE 489057.681
AT ITER 5639 NEW BEST:: SOT 1958468 SOS 1420404 HAS SOPS 537993 HAS SOUS 634621 HAS SOUPS 487083 WITH SCORE 488503.404
AT ITER 5648 NEW BEST:: SOT 1958849 SOS 1420785 HAS SOPS 538083 HAS SOUS 634513 HAS SOUPS 486975 WITH SCORE 488395.785
AT ITER 5654 NEW BEST:: SOT 1958817 SOS 1420753 HAS SOPS 538081 HAS SOUS 634511 HAS SOUPS 486973 WITH SCORE 488393.753
AT ITER 5658 NEW BEST:: SOT 1958812 SOS 1420785 HAS SOPS 538076 HAS SOUS 634534 HAS SOUPS 486968 WITH SCORE 488388.785
AT ITER 5661 NEW BEST:: SOT 1958907 SOS 1420942 HAS SOPS 537916 HAS SOUS 634877 HAS SOUPS 486808 WITH SCORE 488228.942
AT ITER 5664 NEW BEST:: SOT 1959039 SOS 1421074 HAS SOPS 537811 HAS SOUS 634911 HAS SOUPS 486612 WITH SCORE 488033.074
AT ITER 5670 NEW BEST:: SOT 1958916 SOS 1420951 HAS SOPS 537565 HAS SOUS 634665 HAS SOUPS 486366 WITH SCORE 487786.951
AT ITER 5699 NEW BEST:: SOT 1959732 SOS 1420661 HAS SOPS 538746 HAS SOUS 634175 HAS SOUPS 486241 WITH SCORE 487661.661
AT ITER 5717 NEW BEST:: SOT 1959732 SOS 1420661 HAS SOPS 538712 HAS SOUS 634209 HAS SOUPS 486207 WITH SCORE 487627.661
AT ITER 5720 NEW BEST:: SOT 1960114 SOS 1421043 HAS SOPS 538424 HAS SOUS 635321 HAS SOUPS 485919 WITH SCORE 487340.043
AT ITER 5749 NEW BEST:: SOT 1960049 SOS 1420978 HAS SOPS 538294 HAS SOUS 635707 HAS SOUPS 485789 WITH SCORE 487209.978
AT ITER 5809 NEW BEST:: SOT 1959872 SOS 1420801 HAS SOPS 537984 HAS SOUS 635310 HAS SOUPS 485479 WITH SCORE 486899.801
AT ITER 5810 NEW BEST:: SOT 1959872 SOS 1420801 HAS SOPS 537949 HAS SOUS 635240 HAS SOUPS 485444 WITH SCORE 486864.801
AT ITER 5820 NEW BEST:: SOT 1959715 SOS 1420644 HAS SOPS 537889 HAS SOUS 635083 HAS SOUPS 485384 WITH SCORE 486804.644
AT ITER 5830 NEW BEST:: SOT 1959728 SOS 1420436 HAS SOPS 537317 HAS SOUS 634511 HAS SOUPS 484812 WITH SCORE 486232.436
AT ITER 5831 NEW BEST:: SOT 1959626 SOS 1420334 HAS SOPS 537093 HAS SOUS 634307 HAS SOUPS 484608 WITH SCORE 486028.334
AT ITER 5892 NEW BEST:: SOT 1959568 SOS 1420276 HAS SOPS 536895 HAS SOUS 634109 HAS SOUPS 484410 WITH SCORE 485830.276
AT ITER 5893 NEW BEST:: SOT 1959668 SOS 1420376 HAS SOPS 536888 HAS SOUS 634167 HAS SOUPS 484403 WITH SCORE 485823.376
AT ITER 5905 NEW BEST:: SOT 1959467 SOS 1420175 HAS SOPS 536758 HAS SOUS 634037 HAS SOUPS 484273 WITH SCORE 485693.175
AT ITER 5915 NEW BEST:: SOT 1956118 SOS 1417040 HAS SOPS 535140 HAS SOUS 631897 HAS SOUPS 482579 WITH SCORE 483996.04
AT ITER 5924 NEW BEST:: SOT 1956143 SOS 1417040 HAS SOPS 535240 HAS SOUS 631847 HAS SOUPS 482554 WITH SCORE 483971.04
AT ITER 5925 NEW BEST:: SOT 1956072 SOS 1416969 HAS SOPS 535098 HAS SOUS 631852 HAS SOUPS 482412 WITH SCORE 483828.969
AT ITER 5940 NEW BEST:: SOT 1956059 SOS 1416956 HAS SOPS 535085 HAS SOUS 631839 HAS SOUPS 482399 WITH SCORE 483815.956
AT ITER 5951 NEW BEST:: SOT 1955956 SOS 1416853 HAS SOPS 534982 HAS SOUS 631675 HAS SOUPS 482296 WITH SCORE 483712.853
AT ITER 5956 NEW BEST:: SOT 1955951 SOS 1416848 HAS SOPS 534967 HAS SOUS 631660 HAS SOUPS 482281 WITH SCORE 483697.848
AT ITER 5978 NEW BEST:: SOT 1956010 SOS 1416907 HAS SOPS 534958 HAS SOUS 631651 HAS SOUPS 482272 WITH SCORE 483688.907
AT ITER 5989 NEW BEST:: SOT 1955318 SOS 1417325 HAS SOPS 533291 HAS SOUS 631662 HAS SOUPS 481917 WITH SCORE 483334.325
AT ITER 6013 NEW BEST:: SOT 1955420 SOS 1417427 HAS SOPS 533046 HAS SOUS 632111 HAS SOUPS 481672 WITH SCORE 483089.427
AT ITER 6018 NEW BEST:: SOT 1955485 SOS 1417492 HAS SOPS 533010 HAS SOUS 632075 HAS SOUPS 481636 WITH SCORE 483053.492
AT ITER 6025 NEW BEST:: SOT 1955546 SOS 1417553 HAS SOPS 532948 HAS SOUS 632013 HAS SOUPS 481574 WITH SCORE 482991.553
AT ITER 6028 NEW BEST:: SOT 1955397 SOS 1417404 HAS SOPS 532650 HAS SOUS 631917 HAS SOUPS 481276 WITH SCORE 482693.404
AT ITER 6064 NEW BEST:: SOT 1955370 SOS 1417377 HAS SOPS 532596 HAS SOUS 631890 HAS SOUPS 481222 WITH SCORE 482639.377
AT ITER 6065 NEW BEST:: SOT 1955342 SOS 1417349 HAS SOPS 532568 HAS SOUS 631862 HAS SOUPS 481194 WITH SCORE 482611.349
AT ITER 6068 NEW BEST:: SOT 1955333 SOS 1417340 HAS SOPS 532559 HAS SOUS 631789 HAS SOUPS 481176 WITH SCORE 482593.34
AT ITER 6070 NEW BEST:: SOT 1954949 SOS 1416933 HAS SOPS 532173 HAS SOUS 631236 HAS SOUPS 480790 WITH SCORE 482206.933
AT ITER 6086 NEW BEST:: SOT 1955043 SOS 1416461 HAS SOPS 532580 HAS SOUS 630785 HAS SOUPS 480513 WITH SCORE 481929.461
AT ITER 6090 NEW BEST:: SOT 1955013 SOS 1416431 HAS SOPS 532550 HAS SOUS 630755 HAS SOUPS 480483 WITH SCORE 481899.431
AT ITER 6104 NEW BEST:: SOT 1961528 SOS 1414708 HAS SOPS 522537 HAS SOUS 629684 HAS SOUPS 478240 WITH SCORE 479654.708
AT ITER 6121 NEW BEST:: SOT 1961566 SOS 1414799 HAS SOPS 522521 HAS SOUS 629668 HAS SOUPS 478224 WITH SCORE 479638.799
AT ITER 6122 NEW BEST:: SOT 1960949 SOS 1414182 HAS SOPS 522013 HAS SOUS 629160 HAS SOUPS 477716 WITH SCORE 479130.182
AT ITER 6135 NEW BEST:: SOT 1960861 SOS 1414094 HAS SOPS 521969 HAS SOUS 629116 HAS SOUPS 477672 WITH SCORE 479086.094
AT ITER 6148 NEW BEST:: SOT 1960828 SOS 1414061 HAS SOPS 521903 HAS SOUS 629050 HAS SOUPS 477606 WITH SCORE 479020.061
AT ITER 6152 NEW BEST:: SOT 1961096 SOS 1415885 HAS SOPS 521781 HAS SOUS 629009 HAS SOUPS 477484 WITH SCORE 478899.885
AT ITER 6174 NEW BEST:: SOT 1961063 SOS 1415852 HAS SOPS 521737 HAS SOUS 628967 HAS SOUPS 477440 WITH SCORE 478855.852
AT ITER 6179 NEW BEST:: SOT 1960895 SOS 1415684 HAS SOPS 521513 HAS SOUS 628799 HAS SOUPS 477216 WITH SCORE 478631.684
AT ITER 6184 NEW BEST:: SOT 1960887 SOS 1415676 HAS SOPS 521505 HAS SOUS 628791 HAS SOUPS 477208 WITH SCORE 478623.676
AT ITER 6223 NEW BEST:: SOT 1960868 SOS 1415657 HAS SOPS 521493 HAS SOUS 628772 HAS SOUPS 477196 WITH SCORE 478611.657
AT ITER 6225 NEW BEST:: SOT 1960829 SOS 1415618 HAS SOPS 521415 HAS SOUS 628706 HAS SOUPS 477118 WITH SCORE 478533.618
AT ITER 6232 NEW BEST:: SOT 1960960 SOS 1415749 HAS SOPS 521325 HAS SOUS 629312 HAS SOUPS 477091 WITH SCORE 478506.749
AT ITER 6235 NEW BEST:: SOT 1961018 SOS 1415807 HAS SOPS 521267 HAS SOUS 629346 HAS SOUPS 477033 WITH SCORE 478448.807
AT ITER 6243 NEW BEST:: SOT 1961023 SOS 1415812 HAS SOPS 521139 HAS SOUS 629534 HAS SOUPS 476905 WITH SCORE 478320.812
AT ITER 6250 NEW BEST:: SOT 1960906 SOS 1415695 HAS SOPS 520874 HAS SOUS 629269 HAS SOUPS 476640 WITH SCORE 478055.695
AT ITER 6260 NEW BEST:: SOT 1960816 SOS 1415587 HAS SOPS 520874 HAS SOUS 629251 HAS SOUPS 476640 WITH SCORE 478055.587
AT ITER 6264 NEW BEST:: SOT 1960663 SOS 1415434 HAS SOPS 520568 HAS SOUS 628945 HAS SOUPS 476334 WITH SCORE 477749.434
AT ITER 6271 NEW BEST:: SOT 1960752 SOS 1417153 HAS SOPS 520479 HAS SOUS 628958 HAS SOUPS 476245 WITH SCORE 477662.153
AT ITER 6272 NEW BEST:: SOT 1960892 SOS 1417293 HAS SOPS 520427 HAS SOUS 629022 HAS SOUPS 476193 WITH SCORE 477610.293
AT ITER 6278 NEW BEST:: SOT 1960806 SOS 1417189 HAS SOPS 520255 HAS SOUS 628850 HAS SOUPS 476021 WITH SCORE 477438.189
AT ITER 6282 NEW BEST:: SOT 1960725 SOS 1417108 HAS SOPS 520093 HAS SOUS 628769 HAS SOUPS 475859 WITH SCORE 477276.108
AT ITER 6285 NEW BEST:: SOT 1960720 SOS 1417103 HAS SOPS 520083 HAS SOUS 628764 HAS SOUPS 475849 WITH SCORE 477266.103
AT ITER 6299 NEW BEST:: SOT 1960719 SOS 1417102 HAS SOPS 520081 HAS SOUS 628762 HAS SOUPS 475847 WITH SCORE 477264.102
AT ITER 6304 NEW BEST:: SOT 1960581 SOS 1416964 HAS SOPS 519834 HAS SOUS 628515 HAS SOUPS 475600 WITH SCORE 477016.964
AT ITER 6306 NEW BEST:: SOT 1960197 SOS 1416580 HAS SOPS 519532 HAS SOUS 628213 HAS SOUPS 475298 WITH SCORE 476714.58
AT ITER 6317 NEW BEST:: SOT 1960018 SOS 1416401 HAS SOPS 519174 HAS SOUS 627844 HAS SOUPS 474940 WITH SCORE 476356.401
AT ITER 6320 NEW BEST:: SOT 1960537 SOS 1416920 HAS SOPS 518842 HAS SOUS 627512 HAS SOUPS 474608 WITH SCORE 476024.92
AT ITER 6327 NEW BEST:: SOT 1960537 SOS 1416920 HAS SOPS 518816 HAS SOUS 627486 HAS SOUPS 474582 WITH SCORE 475998.92
AT ITER 6328 NEW BEST:: SOT 1960491 SOS 1416874 HAS SOPS 518678 HAS SOUS 627389 HAS SOUPS 474444 WITH SCORE 475860.874
AT ITER 6342 NEW BEST:: SOT 1960488 SOS 1416871 HAS SOPS 518526 HAS SOUS 627354 HAS SOUPS 474292 WITH SCORE 475708.871
AT ITER 6350 NEW BEST:: SOT 1960476 SOS 1416867 HAS SOPS 518510 HAS SOUS 627346 HAS SOUPS 474280 WITH SCORE 475696.867
AT ITER 6358 NEW BEST:: SOT 1960453 SOS 1416844 HAS SOPS 518464 HAS SOUS 627300 HAS SOUPS 474234 WITH SCORE 475650.844
AT ITER 6368 NEW BEST:: SOT 1960453 SOS 1414304 HAS SOPS 518464 HAS SOUS 627300 HAS SOUPS 474234 WITH SCORE 475648.304
AT ITER 6376 NEW BEST:: SOT 1960264 SOS 1414115 HAS SOPS 518086 HAS SOUS 626922 HAS SOUPS 473856 WITH SCORE 475270.115
AT ITER 6383 NEW BEST:: SOT 1960071 SOS 1413922 HAS SOPS 518086 HAS SOUS 626916 HAS SOUPS 473856 WITH SCORE 475269.922
AT ITER 6386 NEW BEST:: SOT 1960040 SOS 1413891 HAS SOPS 518024 HAS SOUS 626854 HAS SOUPS 473794 WITH SCORE 475207.891
AT ITER 6392 NEW BEST:: SOT 1960017 SOS 1413845 HAS SOPS 517955 HAS SOUS 626808 HAS SOUPS 473748 WITH SCORE 475161.845
AT ITER 6394 NEW BEST:: SOT 1959867 SOS 1413695 HAS SOPS 517955 HAS SOUS 626358 HAS SOUPS 473748 WITH SCORE 475161.695
AT ITER 6406 NEW BEST:: SOT 1959808 SOS 1413636 HAS SOPS 517955 HAS SOUS 626358 HAS SOUPS 473748 WITH SCORE 475161.636
AT ITER 6411 NEW BEST:: SOT 1959811 SOS 1413639 HAS SOPS 517932 HAS SOUS 626335 HAS SOUPS 473725 WITH SCORE 475138.639
AT ITER 6413 NEW BEST:: SOT 1959856 SOS 1413684 HAS SOPS 517922 HAS SOUS 626325 HAS SOUPS 473715 WITH SCORE 475128.684
AT ITER 6430 NEW BEST:: SOT 1959983 SOS 1413811 HAS SOPS 517896 HAS SOUS 626299 HAS SOUPS 473689 WITH SCORE 475102.811
AT ITER 6466 NEW BEST:: SOT 1959957 SOS 1413785 HAS SOPS 517870 HAS SOUS 626273 HAS SOUPS 473663 WITH SCORE 475076.785
AT ITER 6487 NEW BEST:: SOT 1959876 SOS 1413704 HAS SOPS 517848 HAS SOUS 626251 HAS SOUPS 473641 WITH SCORE 475054.704
AT ITER 6497 NEW BEST:: SOT 1959909 SOS 1413737 HAS SOPS 517840 HAS SOUS 626272 HAS SOUPS 473633 WITH SCORE 475046.737
AT ITER 6507 NEW BEST:: SOT 1960073 SOS 1413901 HAS SOPS 517512 HAS SOUS 626568 HAS SOUPS 473305 WITH SCORE 474718.901
AT ITER 6524 NEW BEST:: SOT 1960901 SOS 1415469 HAS SOPS 517367 HAS SOUS 627483 HAS SOUPS 473160 WITH SCORE 474575.469
AT ITER 6534 NEW BEST:: SOT 1960895 SOS 1415463 HAS SOPS 517367 HAS SOUS 627465 HAS SOUPS 473160 WITH SCORE 474575.463
AT ITER 6535 NEW BEST:: SOT 1960509 SOS 1415866 HAS SOPS 516607 HAS SOUS 627564 HAS SOUPS 472954 WITH SCORE 474369.866
AT ITER 6537 NEW BEST:: SOT 1960476 SOS 1415833 HAS SOPS 516574 HAS SOUS 627531 HAS SOUPS 472921 WITH SCORE 474336.833
AT ITER 6539 NEW BEST:: SOT 1960441 SOS 1415798 HAS SOPS 516504 HAS SOUS 627461 HAS SOUPS 472851 WITH SCORE 474266.798
AT ITER 6549 NEW BEST:: SOT 1960491 SOS 1415848 HAS SOPS 516496 HAS SOUS 627453 HAS SOUPS 472843 WITH SCORE 474258.848
AT ITER 6552 NEW BEST:: SOT 1960694 SOS 1415533 HAS SOPS 516699 HAS SOUS 626340 HAS SOUPS 471952 WITH SCORE 473367.533
AT ITER 6555 NEW BEST:: SOT 1960678 SOS 1415517 HAS SOPS 516667 HAS SOUS 626308 HAS SOUPS 471920 WITH SCORE 473335.517
AT ITER 6564 NEW BEST:: SOT 1960696 SOS 1415535 HAS SOPS 516527 HAS SOUS 626502 HAS SOUPS 471780 WITH SCORE 473195.535
AT ITER 6566 NEW BEST:: SOT 1960696 SOS 1410927 HAS SOPS 512047 HAS SOUS 626502 HAS SOUPS 471780 WITH SCORE 473190.927
AT ITER 6572 NEW BEST:: SOT 1960655 SOS 1410886 HAS SOPS 511965 HAS SOUS 626283 HAS SOUPS 471698 WITH SCORE 473108.886
AT ITER 6574 NEW BEST:: SOT 1960515 SOS 1410746 HAS SOPS 511779 HAS SOUS 626143 HAS SOUPS 471512 WITH SCORE 472922.746
AT ITER 6583 NEW BEST:: SOT 1960477 SOS 1410708 HAS SOPS 511751 HAS SOUS 626067 HAS SOUPS 471436 WITH SCORE 472846.708
AT ITER 6591 NEW BEST:: SOT 1960278 SOS 1410509 HAS SOPS 511353 HAS SOUS 625669 HAS SOUPS 471038 WITH SCORE 472448.509
AT ITER 6595 NEW BEST:: SOT 1960228 SOS 1410459 HAS SOPS 511196 HAS SOUS 625455 HAS SOUPS 470824 WITH SCORE 472234.459
AT ITER 6605 NEW BEST:: SOT 1960174 SOS 1412349 HAS SOPS 513032 HAS SOUS 625401 HAS SOUPS 470770 WITH SCORE 472182.349
AT ITER 6607 NEW BEST:: SOT 1960029 SOS 1412204 HAS SOPS 512426 HAS SOUS 625148 HAS SOUPS 470164 WITH SCORE 471576.204
AT ITER 6608 NEW BEST:: SOT 1960064 SOS 1412239 HAS SOPS 512376 HAS SOUS 625098 HAS SOUPS 470114 WITH SCORE 471526.239
AT ITER 6614 NEW BEST:: SOT 1960020 SOS 1412195 HAS SOPS 512288 HAS SOUS 625010 HAS SOUPS 470026 WITH SCORE 471438.195
AT ITER 6625 NEW BEST:: SOT 1959873 SOS 1412048 HAS SOPS 511994 HAS SOUS 624767 HAS SOUPS 469732 WITH SCORE 471144.048
AT ITER 6626 NEW BEST:: SOT 1959853 SOS 1412028 HAS SOPS 511954 HAS SOUS 624727 HAS SOUPS 469692 WITH SCORE 471104.028
AT ITER 6630 NEW BEST:: SOT 1959998 SOS 1412183 HAS SOPS 511895 HAS SOUS 624668 HAS SOUPS 469633 WITH SCORE 471045.183
AT ITER 6633 NEW BEST:: SOT 1959955 SOS 1412124 HAS SOPS 511687 HAS SOUS 624460 HAS SOUPS 469425 WITH SCORE 470837.124
AT ITER 6643 NEW BEST:: SOT 1959880 SOS 1412049 HAS SOPS 511537 HAS SOUS 624310 HAS SOUPS 469275 WITH SCORE 470687.049
AT ITER 6648 NEW BEST:: SOT 1960246 SOS 1412415 HAS SOPS 511536 HAS SOUS 624676 HAS SOUPS 469274 WITH SCORE 470686.415
AT ITER 6667 NEW BEST:: SOT 1960246 SOS 1412415 HAS SOPS 511378 HAS SOUS 624676 HAS SOUPS 469116 WITH SCORE 470528.415
AT ITER 6691 NEW BEST:: SOT 1959904 SOS 1412073 HAS SOPS 511212 HAS SOUS 624510 HAS SOUPS 468950 WITH SCORE 470362.073
AT ITER 6706 NEW BEST:: SOT 1959900 SOS 1412025 HAS SOPS 511208 HAS SOUS 624462 HAS SOUPS 468913 WITH SCORE 470325.025
AT ITER 6708 NEW BEST:: SOT 1959895 SOS 1412020 HAS SOPS 511198 HAS SOUS 624452 HAS SOUPS 468903 WITH SCORE 470315.02
AT ITER 6711 NEW BEST:: SOT 1959863 SOS 1411988 HAS SOPS 511134 HAS SOUS 624420 HAS SOUPS 468839 WITH SCORE 470250.988
AT ITER 6745 NEW BEST:: SOT 1959732 SOS 1411857 HAS SOPS 510316 HAS SOUS 623746 HAS SOUPS 468021 WITH SCORE 469432.857
AT ITER 6768 NEW BEST:: SOT 1959712 SOS 1411827 HAS SOPS 510276 HAS SOUS 623706 HAS SOUPS 467981 WITH SCORE 469392.827
AT ITER 6773 NEW BEST:: SOT 1959603 SOS 1411718 HAS SOPS 510058 HAS SOUS 623523 HAS SOUPS 467763 WITH SCORE 469174.718
AT ITER 6782 NEW BEST:: SOT 1959609 SOS 1411700 HAS SOPS 510070 HAS SOUS 623505 HAS SOUPS 467751 WITH SCORE 469162.7
AT ITER 6788 NEW BEST:: SOT 1959641 SOS 1411732 HAS SOPS 509920 HAS SOUS 623355 HAS SOUPS 467601 WITH SCORE 469012.732
AT ITER 6790 NEW BEST:: SOT 1959622 SOS 1411713 HAS SOPS 509844 HAS SOUS 623279 HAS SOUPS 467525 WITH SCORE 468936.713
AT ITER 6799 NEW BEST:: SOT 1959546 SOS 1411637 HAS SOPS 509692 HAS SOUS 623127 HAS SOUPS 467373 WITH SCORE 468784.637
AT ITER 6808 NEW BEST:: SOT 1959546 SOS 1411637 HAS SOPS 509648 HAS SOUS 623171 HAS SOUPS 467329 WITH SCORE 468740.637
AT ITER 6812 NEW BEST:: SOT 1959530 SOS 1411621 HAS SOPS 509587 HAS SOUS 623110 HAS SOUPS 467268 WITH SCORE 468679.621
AT ITER 6819 NEW BEST:: SOT 1959366 SOS 1411457 HAS SOPS 509259 HAS SOUS 622871 HAS SOUPS 466940 WITH SCORE 468351.457
AT ITER 6849 NEW BEST:: SOT 1959336 SOS 1411427 HAS SOPS 509199 HAS SOUS 622811 HAS SOUPS 466880 WITH SCORE 468291.427
AT ITER 6861 NEW BEST:: SOT 1959336 SOS 1411427 HAS SOPS 509189 HAS SOUS 622801 HAS SOUPS 466870 WITH SCORE 468281.427
AT ITER 6862 NEW BEST:: SOT 1953654 SOS 1406233 HAS SOPS 507837 HAS SOUS 620210 HAS SOUPS 465227 WITH SCORE 466633.233
AT ITER 6881 NEW BEST:: SOT 1953540 SOS 1406119 HAS SOPS 507617 HAS SOUS 619990 HAS SOUPS 465007 WITH SCORE 466413.119
AT ITER 6883 NEW BEST:: SOT 1953289 SOS 1405868 HAS SOPS 507479 HAS SOUS 619790 HAS SOUPS 464869 WITH SCORE 466274.868
AT ITER 6918 NEW BEST:: SOT 1953285 SOS 1405864 HAS SOPS 507458 HAS SOUS 619769 HAS SOUPS 464848 WITH SCORE 466253.864
AT ITER 6925 NEW BEST:: SOT 1953423 SOS 1406097 HAS SOPS 507455 HAS SOUS 619766 HAS SOUPS 464845 WITH SCORE 466251.097
AT ITER 6929 NEW BEST:: SOT 1953254 SOS 1405928 HAS SOPS 506759 HAS SOUS 619279 HAS SOUPS 464149 WITH SCORE 465554.928
AT ITER 6950 NEW BEST:: SOT 1953335 SOS 1406009 HAS SOPS 506547 HAS SOUS 619067 HAS SOUPS 463937 WITH SCORE 465343.009
AT ITER 6958 NEW BEST:: SOT 1953304 SOS 1405978 HAS SOPS 506485 HAS SOUS 619005 HAS SOUPS 463875 WITH SCORE 465280.978
AT ITER 6961 NEW BEST:: SOT 1954070 SOS 1411397 HAS SOPS 506427 HAS SOUS 619532 HAS SOUPS 463817 WITH SCORE 465228.397
AT ITER 6969 NEW BEST:: SOT 1954070 SOS 1411397 HAS SOPS 506327 HAS SOUS 619432 HAS SOUPS 463717 WITH SCORE 465128.397
AT ITER 6977 NEW BEST:: SOT 1954201 SOS 1411528 HAS SOPS 506199 HAS SOUS 619322 HAS SOUPS 463536 WITH SCORE 464947.528
AT ITER 6998 NEW BEST:: SOT 1954328 SOS 1411655 HAS SOPS 506181 HAS SOUS 619304 HAS SOUPS 463518 WITH SCORE 464929.655
AT ITER 7003 NEW BEST:: SOT 1957035 SOS 1409179 HAS SOPS 500431 HAS SOUS 618312 HAS SOUPS 462526 WITH SCORE 463935.179
AT ITER 7013 NEW BEST:: SOT 1956939 SOS 1409083 HAS SOPS 500239 HAS SOUS 618120 HAS SOUPS 462334 WITH SCORE 463743.083
AT ITER 7019 NEW BEST:: SOT 1956939 SOS 1409083 HAS SOPS 500195 HAS SOUS 618076 HAS SOUPS 462290 WITH SCORE 463699.083
AT ITER 7030 NEW BEST:: SOT 1956939 SOS 1409083 HAS SOPS 500157 HAS SOUS 618038 HAS SOUPS 462252 WITH SCORE 463661.083
AT ITER 7036 NEW BEST:: SOT 1956812 SOS 1408956 HAS SOPS 499794 HAS SOUS 617853 HAS SOUPS 461889 WITH SCORE 463297.956
AT ITER 7041 NEW BEST:: SOT 1956215 SOS 1408359 HAS SOPS 499365 HAS SOUS 617585 HAS SOUPS 461621 WITH SCORE 463029.359
AT ITER 7044 NEW BEST:: SOT 1956155 SOS 1408299 HAS SOPS 499123 HAS SOUS 617355 HAS SOUPS 461379 WITH SCORE 462787.299
AT ITER 7048 NEW BEST:: SOT 1956085 SOS 1408229 HAS SOPS 498983 HAS SOUS 617276 HAS SOUPS 461239 WITH SCORE 462647.229
AT ITER 7064 NEW BEST:: SOT 1953614 SOS 1406874 HAS SOPS 499543 HAS SOUS 617110 HAS SOUPS 461073 WITH SCORE 462479.874
AT ITER 7076 NEW BEST:: SOT 1953863 SOS 1407123 HAS SOPS 498795 HAS SOUS 616362 HAS SOUPS 460325 WITH SCORE 461732.123
AT ITER 7077 NEW BEST:: SOT 1954048 SOS 1407331 HAS SOPS 498778 HAS SOUS 616345 HAS SOUPS 460308 WITH SCORE 461715.331
AT ITER 7107 NEW BEST:: SOT 1953884 SOS 1407167 HAS SOPS 498450 HAS SOUS 616017 HAS SOUPS 459980 WITH SCORE 461387.167
AT ITER 7111 NEW BEST:: SOT 1953748 SOS 1407031 HAS SOPS 498450 HAS SOUS 616017 HAS SOUPS 459980 WITH SCORE 461387.031
AT ITER 7121 NEW BEST:: SOT 1953759 SOS 1407042 HAS SOPS 498440 HAS SOUS 616007 HAS SOUPS 459970 WITH SCORE 461377.042
AT ITER 7140 NEW BEST:: SOT 1953753 SOS 1407036 HAS SOPS 498428 HAS SOUS 616036 HAS SOUPS 459958 WITH SCORE 461365.036
AT ITER 7141 NEW BEST:: SOT 1953518 SOS 1406020 HAS SOPS 498426 HAS SOUS 615099 HAS SOUPS 459177 WITH SCORE 460583.02
AT ITER 7161 NEW BEST:: SOT 1953440 SOS 1405942 HAS SOPS 498014 HAS SOUS 614437 HAS SOUPS 458765 WITH SCORE 460170.942
AT ITER 7169 NEW BEST:: SOT 1953514 SOS 1406002 HAS SOPS 497945 HAS SOUS 614255 HAS SOUPS 458583 WITH SCORE 459989.002
AT ITER 7172 NEW BEST:: SOT 1953231 SOS 1405642 HAS SOPS 497379 HAS SOUS 613612 HAS SOUPS 458017 WITH SCORE 459422.642
AT ITER 7175 NEW BEST:: SOT 1953219 SOS 1405639 HAS SOPS 497355 HAS SOUS 613588 HAS SOUPS 457993 WITH SCORE 459398.639
AT ITER 7189 NEW BEST:: SOT 1953312 SOS 1405732 HAS SOPS 497244 HAS SOUS 613413 HAS SOUPS 457818 WITH SCORE 459223.732
AT ITER 7221 NEW BEST:: SOT 1953294 SOS 1405714 HAS SOPS 497208 HAS SOUS 613377 HAS SOUPS 457782 WITH SCORE 459187.714
AT ITER 7230 NEW BEST:: SOT 1952950 SOS 1405645 HAS SOPS 496441 HAS SOUS 612610 HAS SOUPS 457015 WITH SCORE 458420.645
AT ITER 7246 NEW BEST:: SOT 1952878 SOS 1405573 HAS SOPS 496297 HAS SOUS 612466 HAS SOUPS 456871 WITH SCORE 458276.573
AT ITER 7273 NEW BEST:: SOT 1953081 SOS 1405702 HAS SOPS 496213 HAS SOUS 612382 HAS SOUPS 456787 WITH SCORE 458192.702
AT ITER 7277 NEW BEST:: SOT 1953078 SOS 1405699 HAS SOPS 496192 HAS SOUS 612361 HAS SOUPS 456766 WITH SCORE 458171.699
AT ITER 7287 NEW BEST:: SOT 1953069 SOS 1405690 HAS SOPS 496192 HAS SOUS 612352 HAS SOUPS 456766 WITH SCORE 458171.69
AT ITER 7301 NEW BEST:: SOT 1953119 SOS 1405730 HAS SOPS 496017 HAS SOUS 612372 HAS SOUPS 456591 WITH SCORE 457996.73
AT ITER 7312 NEW BEST:: SOT 1953195 SOS 1405806 HAS SOPS 495941 HAS SOUS 612372 HAS SOUPS 456515 WITH SCORE 457920.806
AT ITER 7320 NEW BEST:: SOT 1953075 SOS 1405686 HAS SOPS 495701 HAS SOUS 612132 HAS SOUPS 456275 WITH SCORE 457680.686
AT ITER 7353 NEW BEST:: SOT 1952901 SOS 1405512 HAS SOPS 495353 HAS SOUS 611889 HAS SOUPS 455927 WITH SCORE 457332.512
AT ITER 7377 NEW BEST:: SOT 1952901 SOS 1405512 HAS SOPS 495351 HAS SOUS 611887 HAS SOUPS 455925 WITH SCORE 457330.512
AT ITER 7383 NEW BEST:: SOT 1952850 SOS 1405461 HAS SOPS 495249 HAS SOUS 611897 HAS SOUPS 455823 WITH SCORE 457228.461
AT ITER 7388 NEW BEST:: SOT 1952832 SOS 1405443 HAS SOPS 495204 HAS SOUS 611843 HAS SOUPS 455769 WITH SCORE 457174.443
AT ITER 7399 NEW BEST:: SOT 1952832 SOS 1405443 HAS SOPS 495129 HAS SOUS 611768 HAS SOUPS 455694 WITH SCORE 457099.443
AT ITER 7408 NEW BEST:: SOT 1953196 SOS 1405867 HAS SOPS 495104 HAS SOUS 612578 HAS SOUPS 455669 WITH SCORE 457074.867
AT ITER 7424 NEW BEST:: SOT 1952425 SOS 1405096 HAS SOPS 494653 HAS SOUS 612127 HAS SOUPS 455218 WITH SCORE 456623.096
AT ITER 7431 NEW BEST:: SOT 1952421 SOS 1405092 HAS SOPS 494570 HAS SOUS 612044 HAS SOUPS 455135 WITH SCORE 456540.092
AT ITER 7437 NEW BEST:: SOT 1952420 SOS 1405091 HAS SOPS 494568 HAS SOUS 612042 HAS SOUPS 455133 WITH SCORE 456538.091
AT ITER 7439 NEW BEST:: SOT 1952307 SOS 1404978 HAS SOPS 494434 HAS SOUS 611908 HAS SOUPS 454999 WITH SCORE 456403.978
AT ITER 7442 NEW BEST:: SOT 1952288 SOS 1404946 HAS SOPS 494537 HAS SOUS 611870 HAS SOUPS 454961 WITH SCORE 456365.946
AT ITER 7445 NEW BEST:: SOT 1952286 SOS 1404944 HAS SOPS 494533 HAS SOUS 611866 HAS SOUPS 454957 WITH SCORE 456361.944
AT ITER 7446 NEW BEST:: SOT 1952343 SOS 1404678 HAS SOPS 494044 HAS SOUS 611662 HAS SOUPS 454753 WITH SCORE 456157.678
AT ITER 7453 NEW BEST:: SOT 1952102 SOS 1404437 HAS SOPS 493808 HAS SOUS 611426 HAS SOUPS 454517 WITH SCORE 455921.437
AT ITER 7494 NEW BEST:: SOT 1951935 SOS 1403201 HAS SOPS 493695 HAS SOUS 610280 HAS SOUPS 453601 WITH SCORE 455004.201
AT ITER 7528 NEW BEST:: SOT 1951404 SOS 1402670 HAS SOPS 492717 HAS SOUS 609218 HAS SOUPS 452539 WITH SCORE 453941.67
AT ITER 7530 NEW BEST:: SOT 1951385 SOS 1402651 HAS SOPS 492679 HAS SOUS 609180 HAS SOUPS 452501 WITH SCORE 453903.651
AT ITER 7533 NEW BEST:: SOT 1951317 SOS 1402583 HAS SOPS 492611 HAS SOUS 609112 HAS SOUPS 452433 WITH SCORE 453835.583
AT ITER 7561 NEW BEST:: SOT 1951317 SOS 1402534 HAS SOPS 492469 HAS SOUS 608992 HAS SOUPS 452291 WITH SCORE 453693.534
AT ITER 7566 NEW BEST:: SOT 1951309 SOS 1402526 HAS SOPS 492453 HAS SOUS 608976 HAS SOUPS 452275 WITH SCORE 453677.526
AT ITER 7590 NEW BEST:: SOT 1951404 SOS 1402621 HAS SOPS 492311 HAS SOUS 608923 HAS SOUPS 452133 WITH SCORE 453535.621
AT ITER 7609 NEW BEST:: SOT 1951404 SOS 1402621 HAS SOPS 492310 HAS SOUS 608922 HAS SOUPS 452132 WITH SCORE 453534.621
AT ITER 7616 NEW BEST:: SOT 1951393 SOS 1402610 HAS SOPS 492310 HAS SOUS 608911 HAS SOUPS 452132 WITH SCORE 453534.61
AT ITER 7624 NEW BEST:: SOT 1951341 SOS 1402558 HAS SOPS 492206 HAS SOUS 609120 HAS SOUPS 452028 WITH SCORE 453430.558
AT ITER 7631 NEW BEST:: SOT 1951341 SOS 1402558 HAS SOPS 492155 HAS SOUS 609069 HAS SOUPS 451977 WITH SCORE 453379.558
AT ITER 7640 NEW BEST:: SOT 1951329 SOS 1402546 HAS SOPS 492140 HAS SOUS 609063 HAS SOUPS 451971 WITH SCORE 453373.546
AT ITER 7658 NEW BEST:: SOT 1951247 SOS 1402464 HAS SOPS 491976 HAS SOUS 608899 HAS SOUPS 451807 WITH SCORE 453209.464
AT ITER 7676 NEW BEST:: SOT 1951231 SOS 1402448 HAS SOPS 491944 HAS SOUS 608867 HAS SOUPS 451775 WITH SCORE 453177.448
AT ITER 7678 NEW BEST:: SOT 1951220 SOS 1402437 HAS SOPS 491720 HAS SOUS 608845 HAS SOUPS 451753 WITH SCORE 453155.437
AT ITER 7686 NEW BEST:: SOT 1951140 SOS 1402357 HAS SOPS 491554 HAS SOUS 608658 HAS SOUPS 451593 WITH SCORE 452995.357
AT ITER 7689 NEW BEST:: SOT 1951333 SOS 1402550 HAS SOPS 490772 HAS SOUS 609033 HAS SOUPS 450811 WITH SCORE 452213.55
AT ITER 7728 NEW BEST:: SOT 1951240 SOS 1402457 HAS SOPS 490772 HAS SOUS 609016 HAS SOUPS 450811 WITH SCORE 452213.457
AT ITER 7759 NEW BEST:: SOT 1951240 SOS 1402457 HAS SOPS 490543 HAS SOUS 608787 HAS SOUPS 450582 WITH SCORE 451984.457
AT ITER 7762 NEW BEST:: SOT 1950834 SOS 1402051 HAS SOPS 489731 HAS SOUS 608724 HAS SOUPS 449770 WITH SCORE 451172.051
AT ITER 7766 NEW BEST:: SOT 1950840 SOS 1401708 HAS SOPS 489959 HAS SOUS 608252 HAS SOUPS 449417 WITH SCORE 450818.708
AT ITER 7784 NEW BEST:: SOT 1950851 SOS 1403759 HAS SOPS 489630 HAS SOUS 608040 HAS SOUPS 449088 WITH SCORE 450491.759
AT ITER 7805 NEW BEST:: SOT 1950780 SOS 1403688 HAS SOPS 489310 HAS SOUS 607803 HAS SOUPS 448768 WITH SCORE 450171.688
AT ITER 7812 NEW BEST:: SOT 1951156 SOS 1404064 HAS SOPS 489254 HAS SOUS 608107 HAS SOUPS 448688 WITH SCORE 450092.064
AT ITER 7813 NEW BEST:: SOT 1951208 SOS 1404116 HAS SOPS 489252 HAS SOUS 608105 HAS SOUPS 448686 WITH SCORE 450090.116
AT ITER 7816 NEW BEST:: SOT 1951204 SOS 1404112 HAS SOPS 489244 HAS SOUS 608097 HAS SOUPS 448678 WITH SCORE 450082.112
AT ITER 7819 NEW BEST:: SOT 1951005 SOS 1403792 HAS SOPS 488725 HAS SOUS 607699 HAS SOUPS 448280 WITH SCORE 449683.792
AT ITER 7830 NEW BEST:: SOT 1951090 SOS 1404237 HAS SOPS 488669 HAS SOUS 607716 HAS SOUPS 448224 WITH SCORE 449628.237
AT ITER 7833 NEW BEST:: SOT 1951039 SOS 1404186 HAS SOPS 488567 HAS SOUS 607614 HAS SOUPS 448122 WITH SCORE 449526.186
AT ITER 7842 NEW BEST:: SOT 1950998 SOS 1404145 HAS SOPS 488485 HAS SOUS 607532 HAS SOUPS 448040 WITH SCORE 449444.145
AT ITER 7849 NEW BEST:: SOT 1950879 SOS 1404026 HAS SOPS 488247 HAS SOUS 607294 HAS SOUPS 447802 WITH SCORE 449206.026
AT ITER 7851 NEW BEST:: SOT 1950810 SOS 1403957 HAS SOPS 488109 HAS SOUS 607156 HAS SOUPS 447664 WITH SCORE 449067.957
AT ITER 7875 NEW BEST:: SOT 1950957 SOS 1405303 HAS SOPS 488075 HAS SOUS 607299 HAS SOUPS 447630 WITH SCORE 449035.303
AT ITER 7881 NEW BEST:: SOT 1950947 SOS 1405293 HAS SOPS 488065 HAS SOUS 607289 HAS SOUPS 447620 WITH SCORE 449025.293
AT ITER 7884 NEW BEST:: SOT 1950913 SOS 1405259 HAS SOPS 487836 HAS SOUS 607060 HAS SOUPS 447391 WITH SCORE 448796.259
AT ITER 7894 NEW BEST:: SOT 1950897 SOS 1405243 HAS SOPS 487804 HAS SOUS 607028 HAS SOUPS 447359 WITH SCORE 448764.243
AT ITER 7952 NEW BEST:: SOT 1950893 SOS 1405239 HAS SOPS 487804 HAS SOUS 607028 HAS SOUPS 447359 WITH SCORE 448764.239
AT ITER 7960 NEW BEST:: SOT 1950893 SOS 1405239 HAS SOPS 487750 HAS SOUS 606974 HAS SOUPS 447305 WITH SCORE 448710.239
AT ITER 7964 NEW BEST:: SOT 1950516 SOS 1404862 HAS SOPS 487363 HAS SOUS 606275 HAS SOUPS 446918 WITH SCORE 448322.862
AT ITER 7966 NEW BEST:: SOT 1950432 SOS 1404778 HAS SOPS 487195 HAS SOUS 606191 HAS SOUPS 446750 WITH SCORE 448154.778
AT ITER 7985 NEW BEST:: SOT 1950386 SOS 1404732 HAS SOPS 487103 HAS SOUS 606099 HAS SOUPS 446658 WITH SCORE 448062.732
AT ITER 7988 NEW BEST:: SOT 1950216 SOS 1404562 HAS SOPS 486943 HAS SOUS 605929 HAS SOUPS 446498 WITH SCORE 447902.562
AT ITER 7993 NEW BEST:: SOT 1950170 SOS 1404516 HAS SOPS 486851 HAS SOUS 605837 HAS SOUPS 446406 WITH SCORE 447810.516
AT ITER 7996 NEW BEST:: SOT 1950253 SOS 1404599 HAS SOPS 486717 HAS SOUS 605703 HAS SOUPS 446272 WITH SCORE 447676.599
AT ITER 8005 NEW BEST:: SOT 1950410 SOS 1404756 HAS SOPS 486560 HAS SOUS 605778 HAS SOUPS 446115 WITH SCORE 447519.756
AT ITER 8015 NEW BEST:: SOT 1950198 SOS 1404544 HAS SOPS 486364 HAS SOUS 605468 HAS SOUPS 445919 WITH SCORE 447323.544
AT ITER 8077 NEW BEST:: SOT 1950198 SOS 1404544 HAS SOPS 486209 HAS SOUS 605418 HAS SOUPS 445764 WITH SCORE 447168.544
AT ITER 8087 NEW BEST:: SOT 1950196 SOS 1404542 HAS SOPS 486155 HAS SOUS 605416 HAS SOUPS 445710 WITH SCORE 447114.542
AT ITER 8090 NEW BEST:: SOT 1949862 SOS 1404313 HAS SOPS 486155 HAS SOUS 605137 HAS SOUPS 445710 WITH SCORE 447114.313
AT ITER 8106 NEW BEST:: SOT 1949716 SOS 1404213 HAS SOPS 485905 HAS SOUS 604887 HAS SOUPS 445460 WITH SCORE 446864.213
AT ITER 8107 NEW BEST:: SOT 1949716 SOS 1400652 HAS SOPS 485905 HAS SOUS 604887 HAS SOUPS 445460 WITH SCORE 446860.652
AT ITER 8114 NEW BEST:: SOT 1949566 SOS 1400502 HAS SOPS 485793 HAS SOUS 604827 HAS SOUPS 445348 WITH SCORE 446748.502
AT ITER 8134 NEW BEST:: SOT 1949562 SOS 1400498 HAS SOPS 485766 HAS SOUS 604819 HAS SOUPS 445340 WITH SCORE 446740.498
AT ITER 8137 NEW BEST:: SOT 1949426 SOS 1400362 HAS SOPS 485630 HAS SOUS 604683 HAS SOUPS 445204 WITH SCORE 446604.362
AT ITER 8162 NEW BEST:: SOT 1949433 SOS 1400369 HAS SOPS 485594 HAS SOUS 604612 HAS SOUPS 445168 WITH SCORE 446568.369
AT ITER 8182 NEW BEST:: SOT 1949415 SOS 1400351 HAS SOPS 485576 HAS SOUS 604576 HAS SOUPS 445132 WITH SCORE 446532.351
AT ITER 8186 NEW BEST:: SOT 1949153 SOS 1398459 HAS SOPS 485497 HAS SOUS 604281 HAS SOUPS 445053 WITH SCORE 446451.459
AT ITER 8203 NEW BEST:: SOT 1949095 SOS 1398401 HAS SOPS 485439 HAS SOUS 604223 HAS SOUPS 444995 WITH SCORE 446393.401
AT ITER 8236 NEW BEST:: SOT 1949055 SOS 1398361 HAS SOPS 485359 HAS SOUS 604143 HAS SOUPS 444915 WITH SCORE 446313.361
AT ITER 8237 NEW BEST:: SOT 1948738 SOS 1396874 HAS SOPS 485359 HAS SOUS 603908 HAS SOUPS 444915 WITH SCORE 446311.874
AT ITER 8243 NEW BEST:: SOT 1948662 SOS 1396697 HAS SOPS 485182 HAS SOUS 603731 HAS SOUPS 444738 WITH SCORE 446134.697
AT ITER 8244 NEW BEST:: SOT 1948651 SOS 1396664 HAS SOPS 485182 HAS SOUS 603662 HAS SOUPS 444680 WITH SCORE 446076.664
AT ITER 8261 NEW BEST:: SOT 1948662 SOS 1396555 HAS SOPS 485226 HAS SOUS 603608 HAS SOUPS 444654 WITH SCORE 446050.555
AT ITER 8267 NEW BEST:: SOT 1947792 SOS 1395321 HAS SOPS 484674 HAS SOUS 603056 HAS SOUPS 444102 WITH SCORE 445497.321
AT ITER 8291 NEW BEST:: SOT 1947785 SOS 1395314 HAS SOPS 484660 HAS SOUS 603042 HAS SOUPS 444088 WITH SCORE 445483.314
AT ITER 8296 NEW BEST:: SOT 1947785 SOS 1395314 HAS SOPS 484637 HAS SOUS 603042 HAS SOUPS 444065 WITH SCORE 445460.314
AT ITER 8317 NEW BEST:: SOT 1947770 SOS 1395299 HAS SOPS 484637 HAS SOUS 603012 HAS SOUPS 444065 WITH SCORE 445460.299
AT ITER 8327 NEW BEST:: SOT 1947559 SOS 1395088 HAS SOPS 484215 HAS SOUS 602891 HAS SOUPS 443643 WITH SCORE 445038.088
AT ITER 8330 NEW BEST:: SOT 1947597 SOS 1395126 HAS SOPS 484203 HAS SOUS 603055 HAS SOUPS 443631 WITH SCORE 445026.126
AT ITER 8351 NEW BEST:: SOT 1947555 SOS 1395084 HAS SOPS 484119 HAS SOUS 602946 HAS SOUPS 443547 WITH SCORE 444942.084
AT ITER 8369 NEW BEST:: SOT 1947148 SOS 1394677 HAS SOPS 483652 HAS SOUS 602479 HAS SOUPS 443080 WITH SCORE 444474.677
AT ITER 8392 NEW BEST:: SOT 1946797 SOS 1394326 HAS SOPS 483648 HAS SOUS 602475 HAS SOUPS 443076 WITH SCORE 444470.326
AT ITER 8393 NEW BEST:: SOT 1946829 SOS 1394358 HAS SOPS 483616 HAS SOUS 602507 HAS SOUPS 443044 WITH SCORE 444438.358
AT ITER 8394 NEW BEST:: SOT 1946875 SOS 1394854 HAS SOPS 483261 HAS SOUS 602321 HAS SOUPS 442689 WITH SCORE 444083.854
AT ITER 8409 NEW BEST:: SOT 1946897 SOS 1394876 HAS SOPS 483061 HAS SOUS 602121 HAS SOUPS 442489 WITH SCORE 443883.876
AT ITER 8414 NEW BEST:: SOT 1946678 SOS 1394657 HAS SOPS 482996 HAS SOUS 601652 HAS SOUPS 442424 WITH SCORE 443818.657
AT ITER 8428 NEW BEST:: SOT 1946646 SOS 1394516 HAS SOPS 482746 HAS SOUS 601475 HAS SOUPS 442174 WITH SCORE 443568.516
AT ITER 8435 NEW BEST:: SOT 1946709 SOS 1394579 HAS SOPS 482717 HAS SOUS 601446 HAS SOUPS 442145 WITH SCORE 443539.579
AT ITER 8436 NEW BEST:: SOT 1946667 SOS 1394579 HAS SOPS 482633 HAS SOUS 601362 HAS SOUPS 442061 WITH SCORE 443455.579
AT ITER 8453 NEW BEST:: SOT 1946372 SOS 1394284 HAS SOPS 482344 HAS SOUS 601045 HAS SOUPS 441744 WITH SCORE 443138.284
AT ITER 8489 NEW BEST:: SOT 1946241 SOS 1394153 HAS SOPS 482082 HAS SOUS 600783 HAS SOUPS 441482 WITH SCORE 442876.153
AT ITER 8498 NEW BEST:: SOT 1946166 SOS 1394078 HAS SOPS 481982 HAS SOUS 600683 HAS SOUPS 441382 WITH SCORE 442776.078
AT ITER 8505 NEW BEST:: SOT 1946482 SOS 1400233 HAS SOPS 481666 HAS SOUS 600774 HAS SOUPS 441066 WITH SCORE 442466.233
AT ITER 8522 NEW BEST:: SOT 1946459 SOS 1400210 HAS SOPS 481620 HAS SOUS 600728 HAS SOUPS 441020 WITH SCORE 442420.21
AT ITER 8534 NEW BEST:: SOT 1946688 SOS 1400439 HAS SOPS 481415 HAS SOUS 600530 HAS SOUPS 440815 WITH SCORE 442215.439
AT ITER 8535 NEW BEST:: SOT 1946648 SOS 1400399 HAS SOPS 481335 HAS SOUS 600450 HAS SOUPS 440735 WITH SCORE 442135.399
AT ITER 8538 NEW BEST:: SOT 1946914 SOS 1401655 HAS SOPS 481305 HAS SOUS 600968 HAS SOUPS 440705 WITH SCORE 442106.655
AT ITER 8540 NEW BEST:: SOT 1946293 SOS 1401034 HAS SOPS 480436 HAS SOUS 600001 HAS SOUPS 439836 WITH SCORE 441237.034
AT ITER 8546 NEW BEST:: SOT 1946293 SOS 1400974 HAS SOPS 480436 HAS SOUS 599992 HAS SOUPS 439836 WITH SCORE 441236.974
AT ITER 8548 NEW BEST:: SOT 1945625 SOS 1400306 HAS SOPS 479987 HAS SOUS 599551 HAS SOUPS 439402 WITH SCORE 440802.306
AT ITER 8558 NEW BEST:: SOT 1945748 SOS 1400429 HAS SOPS 479957 HAS SOUS 599521 HAS SOUPS 439372 WITH SCORE 440772.429
AT ITER 8574 NEW BEST:: SOT 1945723 SOS 1400404 HAS SOPS 479907 HAS SOUS 599471 HAS SOUPS 439322 WITH SCORE 440722.404
AT ITER 8607 NEW BEST:: SOT 1945672 SOS 1400353 HAS SOPS 479607 HAS SOUS 599202 HAS SOUPS 439022 WITH SCORE 440422.353
AT ITER 8622 NEW BEST:: SOT 1945415 SOS 1400096 HAS SOPS 479521 HAS SOUS 599116 HAS SOUPS 438936 WITH SCORE 440336.096
AT ITER 8629 NEW BEST:: SOT 1945415 SOS 1400096 HAS SOPS 479507 HAS SOUS 599116 HAS SOUPS 438922 WITH SCORE 440322.096
AT ITER 8653 NEW BEST:: SOT 1945279 SOS 1399960 HAS SOPS 479052 HAS SOUS 598688 HAS SOUPS 438467 WITH SCORE 439866.96
AT ITER 8654 NEW BEST:: SOT 1945244 SOS 1399925 HAS SOPS 479030 HAS SOUS 598653 HAS SOUPS 438445 WITH SCORE 439844.925
AT ITER 8698 NEW BEST:: SOT 1945183 SOS 1399864 HAS SOPS 479049 HAS SOUS 598582 HAS SOUPS 438343 WITH SCORE 439742.864
AT ITER 8706 NEW BEST:: SOT 1945166 SOS 1399847 HAS SOPS 479049 HAS SOUS 598582 HAS SOUPS 438343 WITH SCORE 439742.847
AT ITER 8709 NEW BEST:: SOT 1945169 SOS 1399850 HAS SOPS 478897 HAS SOUS 598430 HAS SOUPS 438191 WITH SCORE 439590.85
AT ITER 8710 NEW BEST:: SOT 1945298 SOS 1399979 HAS SOPS 478645 HAS SOUS 598867 HAS SOUPS 437939 WITH SCORE 439338.979
AT ITER 8729 NEW BEST:: SOT 1944931 SOS 1399612 HAS SOPS 478369 HAS SOUS 598591 HAS SOUPS 437663 WITH SCORE 439062.612
AT ITER 8769 NEW BEST:: SOT 1944999 SOS 1399680 HAS SOPS 478225 HAS SOUS 598447 HAS SOUPS 437519 WITH SCORE 438918.68
AT ITER 8801 NEW BEST:: SOT 1944999 SOS 1399680 HAS SOPS 478187 HAS SOUS 598470 HAS SOUPS 437481 WITH SCORE 438880.68
AT ITER 8843 NEW BEST:: SOT 1944928 SOS 1399609 HAS SOPS 477826 HAS SOUS 597996 HAS SOUPS 437007 WITH SCORE 438406.609
AT ITER 8848 NEW BEST:: SOT 1945119 SOS 1399800 HAS SOPS 477692 HAS SOUS 598052 HAS SOUPS 436873 WITH SCORE 438272.8
AT ITER 8850 NEW BEST:: SOT 1945119 SOS 1399800 HAS SOPS 477670 HAS SOUS 598030 HAS SOUPS 436851 WITH SCORE 438250.8
AT ITER 8862 NEW BEST:: SOT 1944746 SOS 1399427 HAS SOPS 476924 HAS SOUS 597331 HAS SOUPS 436105 WITH SCORE 437504.427
AT ITER 8864 NEW BEST:: SOT 1944671 SOS 1399352 HAS SOPS 476462 HAS SOUS 596869 HAS SOUPS 435643 WITH SCORE 437042.352
AT ITER 8879 NEW BEST:: SOT 1944671 SOS 1399389 HAS SOPS 476462 HAS SOUS 596832 HAS SOUPS 435606 WITH SCORE 437005.389
AT ITER 8887 NEW BEST:: SOT 1944795 SOS 1399513 HAS SOPS 475906 HAS SOUS 596295 HAS SOUPS 435050 WITH SCORE 436449.513
AT ITER 8891 NEW BEST:: SOT 1944790 SOS 1399520 HAS SOPS 475896 HAS SOUS 596308 HAS SOUPS 435040 WITH SCORE 436439.52
AT ITER 8926 NEW BEST:: SOT 1944867 SOS 1399597 HAS SOPS 475888 HAS SOUS 596300 HAS SOUPS 435032 WITH SCORE 436431.597
AT ITER 8928 NEW BEST:: SOT 1944829 SOS 1399559 HAS SOPS 475812 HAS SOUS 596224 HAS SOUPS 434956 WITH SCORE 436355.559
AT ITER 8935 NEW BEST:: SOT 1944829 SOS 1399559 HAS SOPS 475577 HAS SOUS 595989 HAS SOUPS 434721 WITH SCORE 436120.559
AT ITER 8941 NEW BEST:: SOT 1944849 SOS 1399579 HAS SOPS 475295 HAS SOUS 595707 HAS SOUPS 434439 WITH SCORE 435838.579
AT ITER 8942 NEW BEST:: SOT 1944990 SOS 1399720 HAS SOPS 475187 HAS SOUS 595599 HAS SOUPS 434331 WITH SCORE 435730.72
AT ITER 8949 NEW BEST:: SOT 1944982 SOS 1399712 HAS SOPS 475163 HAS SOUS 595575 HAS SOUPS 434307 WITH SCORE 435706.712
AT ITER 8976 NEW BEST:: SOT 1944971 SOS 1399701 HAS SOPS 475049 HAS SOUS 595524 HAS SOUPS 434193 WITH SCORE 435592.701
AT ITER 8998 NEW BEST:: SOT 1945087 SOS 1399817 HAS SOPS 475002 HAS SOUS 595640 HAS SOUPS 434146 WITH SCORE 435545.817
AT ITER 9002 NEW BEST:: SOT 1945073 SOS 1399803 HAS SOPS 474959 HAS SOUS 595597 HAS SOUPS 434103 WITH SCORE 435502.803
AT ITER 9016 NEW BEST:: SOT 1945166 SOS 1399896 HAS SOPS 474854 HAS SOUS 595589 HAS SOUPS 433998 WITH SCORE 435397.896
AT ITER 9024 NEW BEST:: SOT 1944571 SOS 1399301 HAS SOPS 474080 HAS SOUS 594815 HAS SOUPS 433224 WITH SCORE 434623.301
AT ITER 9048 NEW BEST:: SOT 1944448 SOS 1399178 HAS SOPS 473985 HAS SOUS 594659 HAS SOUPS 433129 WITH SCORE 434528.178
AT ITER 9051 NEW BEST:: SOT 1944399 SOS 1399129 HAS SOPS 473769 HAS SOUS 594325 HAS SOUPS 432795 WITH SCORE 434194.129
AT ITER 9070 NEW BEST:: SOT 1944259 SOS 1398989 HAS SOPS 473625 HAS SOUS 594181 HAS SOUPS 432651 WITH SCORE 434049.989
AT ITER 9145 NEW BEST:: SOT 1944133 SOS 1398863 HAS SOPS 473625 HAS SOUS 594127 HAS SOUPS 432651 WITH SCORE 434049.863
AT ITER 9179 NEW BEST:: SOT 1944192 SOS 1398961 HAS SOPS 473522 HAS SOUS 594024 HAS SOUPS 432548 WITH SCORE 433946.961
AT ITER 9198 NEW BEST:: SOT 1944192 SOS 1399141 HAS SOPS 473504 HAS SOUS 594012 HAS SOUPS 432530 WITH SCORE 433929.141
AT ITER 9201 NEW BEST:: SOT 1944174 SOS 1399123 HAS SOPS 473486 HAS SOUS 593994 HAS SOUPS 432512 WITH SCORE 433911.123
AT ITER 9213 NEW BEST:: SOT 1944156 SOS 1399038 HAS SOPS 473333 HAS SOUS 593958 HAS SOUPS 432476 WITH SCORE 433875.038
AT ITER 9231 NEW BEST:: SOT 1944344 SOS 1397979 HAS SOPS 473776 HAS SOUS 593408 HAS SOUPS 432200 WITH SCORE 433597.979
AT ITER 9242 NEW BEST:: SOT 1944294 SOS 1397929 HAS SOPS 473776 HAS SOUS 593408 HAS SOUPS 432200 WITH SCORE 433597.929
AT ITER 9251 NEW BEST:: SOT 1944294 SOS 1397929 HAS SOPS 473690 HAS SOUS 593322 HAS SOUPS 432114 WITH SCORE 433511.929
AT ITER 9260 NEW BEST:: SOT 1944112 SOS 1397747 HAS SOPS 473326 HAS SOUS 592958 HAS SOUPS 431750 WITH SCORE 433147.747
AT ITER 9277 NEW BEST:: SOT 1944433 SOS 1398068 HAS SOPS 473144 HAS SOUS 592776 HAS SOUPS 431568 WITH SCORE 432966.068
AT ITER 9294 NEW BEST:: SOT 1944346 SOS 1397981 HAS SOPS 473144 HAS SOUS 592776 HAS SOUPS 431568 WITH SCORE 432965.981
AT ITER 9299 NEW BEST:: SOT 1944343 SOS 1397978 HAS SOPS 473138 HAS SOUS 592770 HAS SOUPS 431562 WITH SCORE 432959.978
AT ITER 9302 NEW BEST:: SOT 1944215 SOS 1397850 HAS SOPS 472754 HAS SOUS 592642 HAS SOUPS 431178 WITH SCORE 432575.85
AT ITER 9346 NEW BEST:: SOT 1944137 SOS 1397772 HAS SOPS 472676 HAS SOUS 592642 HAS SOUPS 431178 WITH SCORE 432575.772
AT ITER 9370 NEW BEST:: SOT 1944385 SOS 1398020 HAS SOPS 472674 HAS SOUS 592640 HAS SOUPS 431176 WITH SCORE 432574.02
AT ITER 9376 NEW BEST:: SOT 1944198 SOS 1397833 HAS SOPS 472628 HAS SOUS 592453 HAS SOUPS 431130 WITH SCORE 432527.833
AT ITER 9397 NEW BEST:: SOT 1944153 SOS 1397788 HAS SOPS 472628 HAS SOUS 592363 HAS SOUPS 431130 WITH SCORE 432527.788
AT ITER 9399 NEW BEST:: SOT 1944056 SOS 1397691 HAS SOPS 472507 HAS SOUS 592234 HAS SOUPS 431009 WITH SCORE 432406.691
AT ITER 9423 NEW BEST:: SOT 1944108 SOS 1397743 HAS SOPS 472398 HAS SOUS 592125 HAS SOUPS 430900 WITH SCORE 432297.743
AT ITER 9429 NEW BEST:: SOT 1944108 SOS 1397743 HAS SOPS 472382 HAS SOUS 592117 HAS SOUPS 430884 WITH SCORE 432281.743
AT ITER 9435 NEW BEST:: SOT 1944048 SOS 1397683 HAS SOPS 472378 HAS SOUS 592057 HAS SOUPS 430880 WITH SCORE 432277.683
AT ITER 9438 NEW BEST:: SOT 1944029 SOS 1397664 HAS SOPS 472340 HAS SOUS 592019 HAS SOUPS 430842 WITH SCORE 432239.664
AT ITER 9444 NEW BEST:: SOT 1944021 SOS 1397656 HAS SOPS 472340 HAS SOUS 592019 HAS SOUPS 430842 WITH SCORE 432239.656
AT ITER 9505 NEW BEST:: SOT 1945100 SOS 1395272 HAS SOPS 467761 HAS SOUS 590646 HAS SOUPS 429469 WITH SCORE 430864.272
AT ITER 9513 NEW BEST:: SOT 1945225 SOS 1395397 HAS SOPS 467745 HAS SOUS 590364 HAS SOUPS 429187 WITH SCORE 430582.397
AT ITER 9557 NEW BEST:: SOT 1945267 SOS 1395439 HAS SOPS 467697 HAS SOUS 590316 HAS SOUPS 429139 WITH SCORE 430534.439
AT ITER 9578 NEW BEST:: SOT 1944940 SOS 1395633 HAS SOPS 467022 HAS SOUS 590198 HAS SOUPS 428868 WITH SCORE 430263.633
AT ITER 9597 NEW BEST:: SOT 1944941 SOS 1394498 HAS SOPS 467142 HAS SOUS 589908 HAS SOUPS 428739 WITH SCORE 430133.498
AT ITER 9598 NEW BEST:: SOT 1944941 SOS 1394498 HAS SOPS 466956 HAS SOUS 589722 HAS SOUPS 428553 WITH SCORE 429947.498
AT ITER 9606 NEW BEST:: SOT 1944941 SOS 1394498 HAS SOPS 466897 HAS SOUS 589663 HAS SOUPS 428494 WITH SCORE 429888.498
AT ITER 9611 NEW BEST:: SOT 1945337 SOS 1394894 HAS SOPS 466543 HAS SOUS 589321 HAS SOUPS 428140 WITH SCORE 429534.894
AT ITER 9626 NEW BEST:: SOT 1945291 SOS 1394848 HAS SOPS 466497 HAS SOUS 589229 HAS SOUPS 428094 WITH SCORE 429488.848
AT ITER 9634 NEW BEST:: SOT 1945159 SOS 1394716 HAS SOPS 466389 HAS SOUS 589121 HAS SOUPS 427986 WITH SCORE 429380.716
AT ITER 9640 NEW BEST:: SOT 1945654 SOS 1397281 HAS SOPS 466053 HAS SOUS 590056 HAS SOUPS 427650 WITH SCORE 429047.281
AT ITER 9645 NEW BEST:: SOT 1945351 SOS 1396978 HAS SOPS 465851 HAS SOUS 589854 HAS SOUPS 427448 WITH SCORE 428844.978
AT ITER 9667 NEW BEST:: SOT 1945263 SOS 1396890 HAS SOPS 465675 HAS SOUS 589678 HAS SOUPS 427272 WITH SCORE 428668.89
AT ITER 9673 NEW BEST:: SOT 1944946 SOS 1396573 HAS SOPS 465364 HAS SOUS 589452 HAS SOUPS 427046 WITH SCORE 428442.573
AT ITER 9693 NEW BEST:: SOT 1944946 SOS 1396573 HAS SOPS 465284 HAS SOUS 589372 HAS SOUPS 426966 WITH SCORE 428362.573
AT ITER 9696 NEW BEST:: SOT 1944901 SOS 1396507 HAS SOPS 465137 HAS SOUS 589210 HAS SOUPS 426804 WITH SCORE 428200.507
AT ITER 9712 NEW BEST:: SOT 1944892 SOS 1396498 HAS SOPS 465119 HAS SOUS 589192 HAS SOUPS 426786 WITH SCORE 428182.498
AT ITER 9717 NEW BEST:: SOT 1944851 SOS 1396457 HAS SOPS 465037 HAS SOUS 589110 HAS SOUPS 426704 WITH SCORE 428100.457
AT ITER 9728 NEW BEST:: SOT 1944851 SOS 1396425 HAS SOPS 464909 HAS SOUS 589046 HAS SOUPS 426576 WITH SCORE 427972.425
AT ITER 9764 NEW BEST:: SOT 1944695 SOS 1396269 HAS SOPS 464753 HAS SOUS 589142 HAS SOUPS 426420 WITH SCORE 427816.269
AT ITER 9774 NEW BEST:: SOT 1944695 SOS 1395009 HAS SOPS 464753 HAS SOUS 589142 HAS SOUPS 426420 WITH SCORE 427815.009
AT ITER 9776 NEW BEST:: SOT 1945020 SOS 1395334 HAS SOPS 464749 HAS SOUS 589361 HAS SOUPS 426416 WITH SCORE 427811.334
AT ITER 9827 NEW BEST:: SOT 1944914 SOS 1395163 HAS SOPS 464646 HAS SOUS 589285 HAS SOUPS 426340 WITH SCORE 427735.163
AT ITER 9836 NEW BEST:: SOT 1945146 SOS 1395307 HAS SOPS 463704 HAS SOUS 588343 HAS SOUPS 425398 WITH SCORE 426793.307
AT ITER 9845 NEW BEST:: SOT 1945205 SOS 1395366 HAS SOPS 463576 HAS SOUS 588215 HAS SOUPS 425270 WITH SCORE 426665.366
AT ITER 9890 NEW BEST:: SOT 1945155 SOS 1395316 HAS SOPS 463551 HAS SOUS 588190 HAS SOUPS 425245 WITH SCORE 426640.316
AT ITER 9908 NEW BEST:: SOT 1945133 SOS 1395294 HAS SOPS 463507 HAS SOUS 588146 HAS SOUPS 425201 WITH SCORE 426596.294
AT ITER 9919 NEW BEST:: SOT 1945141 SOS 1395542 HAS SOPS 463487 HAS SOUS 588138 HAS SOUPS 425181 WITH SCORE 426576.542
AT ITER 9957 NEW BEST:: SOT 1945061 SOS 1395462 HAS SOPS 463247 HAS SOUS 587958 HAS SOUPS 424941 WITH SCORE 426336.462
AT ITER 9966 NEW BEST:: SOT 1944957 SOS 1395358 HAS SOPS 462995 HAS SOUS 587706 HAS SOUPS 424689 WITH SCORE 426084.358

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="StateSpace"
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 StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897679500088"
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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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