Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r483-tall-167912696701176.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is UtilityControlRoom-PT-Z4T3N08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696701176
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.5M
-rw-r--r-- 1 mcc users 43K Feb 26 14:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 206K Feb 26 14:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 86K Feb 26 14:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 338K Feb 26 14:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 23K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 49K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 146K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 45K Feb 26 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 251K Feb 26 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 195K Feb 26 14:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 740K Feb 26 14:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.9K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 255K Mar 5 18:23 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 1679191198583

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

Filename model.pnml
Petri model created: 302 places, 600 transitions, 1928 arcs.
AT ITER 0 NEW BEST:: SOT 150683 SOS 120580 HAS SOPS 120580 HAS SOUS 71425 HAS SOUPS 71425 WITH SCORE 71545.58
AT ITER 1 NEW BEST:: SOT 150654 SOS 120522 HAS SOPS 120522 HAS SOUS 71418 HAS SOUPS 71418 WITH SCORE 71538.522
AT ITER 2 NEW BEST:: SOT 150654 SOS 120522 HAS SOPS 120522 HAS SOUS 71406 HAS SOUPS 71406 WITH SCORE 71526.522
AT ITER 5 NEW BEST:: SOT 150518 SOS 120250 HAS SOPS 120250 HAS SOUS 70726 HAS SOUPS 70726 WITH SCORE 70846.25
AT ITER 7 NEW BEST:: SOT 150468 SOS 120150 HAS SOPS 120150 HAS SOUS 70624 HAS SOUPS 70624 WITH SCORE 70744.15
AT ITER 8 NEW BEST:: SOT 150397 SOS 120079 HAS SOPS 120079 HAS SOUS 70553 HAS SOUPS 70553 WITH SCORE 70673.079
AT ITER 11 NEW BEST:: SOT 150342 SOS 118490 HAS SOPS 118490 HAS SOUS 70482 HAS SOUPS 70482 WITH SCORE 70600.49
AT ITER 14 NEW BEST:: SOT 150342 SOS 118074 HAS SOPS 118074 HAS SOUS 70378 HAS SOUPS 70378 WITH SCORE 70496.074
AT ITER 15 NEW BEST:: SOT 150237 SOS 117969 HAS SOPS 117969 HAS SOUS 70336 HAS SOUPS 70336 WITH SCORE 70453.969
AT ITER 16 NEW BEST:: SOT 150180 SOS 117855 HAS SOPS 117855 HAS SOUS 70222 HAS SOUPS 70222 WITH SCORE 70339.855
AT ITER 17 NEW BEST:: SOT 150147 SOS 117699 HAS SOPS 117699 HAS SOUS 69937 HAS SOUPS 69937 WITH SCORE 70054.699
AT ITER 18 NEW BEST:: SOT 150147 SOS 117614 HAS SOPS 117614 HAS SOUS 69936 HAS SOUPS 69936 WITH SCORE 70053.614
AT ITER 19 NEW BEST:: SOT 150104 SOS 117571 HAS SOPS 117571 HAS SOUS 69928 HAS SOUPS 69928 WITH SCORE 70045.571
AT ITER 20 NEW BEST:: SOT 150043 SOS 117449 HAS SOPS 117449 HAS SOUS 69619 HAS SOUPS 69619 WITH SCORE 69736.449
AT ITER 22 NEW BEST:: SOT 150010 SOS 117252 HAS SOPS 117252 HAS SOUS 69190 HAS SOUPS 69190 WITH SCORE 69307.252
AT ITER 25 NEW BEST:: SOT 150109 SOS 117026 HAS SOPS 117026 HAS SOUS 69183 HAS SOUPS 69183 WITH SCORE 69300.026
AT ITER 26 NEW BEST:: SOT 150102 SOS 117040 HAS SOPS 117040 HAS SOUS 69169 HAS SOUPS 69169 WITH SCORE 69286.04
AT ITER 27 NEW BEST:: SOT 150105 SOS 116782 HAS SOPS 116782 HAS SOUS 69106 HAS SOUPS 69106 WITH SCORE 69222.782
AT ITER 29 NEW BEST:: SOT 149773 SOS 115570 HAS SOPS 115570 HAS SOUS 68493 HAS SOUPS 68493 WITH SCORE 68608.57
AT ITER 30 NEW BEST:: SOT 149773 SOS 115308 HAS SOPS 115308 HAS SOUS 67746 HAS SOUPS 67746 WITH SCORE 67861.308
AT ITER 31 NEW BEST:: SOT 149655 SOS 115190 HAS SOPS 115190 HAS SOUS 67628 HAS SOUPS 67628 WITH SCORE 67743.19
AT ITER 36 NEW BEST:: SOT 149584 SOS 115119 HAS SOPS 115119 HAS SOUS 67557 HAS SOUPS 67557 WITH SCORE 67672.119
AT ITER 38 NEW BEST:: SOT 149569 SOS 114854 HAS SOPS 114854 HAS SOUS 67125 HAS SOUPS 67125 WITH SCORE 67239.854
AT ITER 43 NEW BEST:: SOT 149534 SOS 114820 HAS SOPS 114820 HAS SOUS 67040 HAS SOUPS 67040 WITH SCORE 67154.82
AT ITER 44 NEW BEST:: SOT 149350 SOS 114606 HAS SOPS 114606 HAS SOUS 66979 HAS SOUPS 66979 WITH SCORE 67093.606
AT ITER 45 NEW BEST:: SOT 149317 SOS 114344 HAS SOPS 114344 HAS SOUS 66654 HAS SOUPS 66654 WITH SCORE 66768.344
AT ITER 48 NEW BEST:: SOT 149306 SOS 114275 HAS SOPS 114275 HAS SOUS 66637 HAS SOUPS 66637 WITH SCORE 66751.275
AT ITER 49 NEW BEST:: SOT 149284 SOS 113963 HAS SOPS 113963 HAS SOUS 66326 HAS SOUPS 66326 WITH SCORE 66439.963
AT ITER 51 NEW BEST:: SOT 149064 SOS 113629 HAS SOPS 113629 HAS SOUS 65832 HAS SOUPS 65832 WITH SCORE 65945.629
AT ITER 52 NEW BEST:: SOT 149024 SOS 113764 HAS SOPS 113764 HAS SOUS 65672 HAS SOUPS 65672 WITH SCORE 65785.764
AT ITER 53 NEW BEST:: SOT 148968 SOS 113708 HAS SOPS 113708 HAS SOUS 65628 HAS SOUPS 65628 WITH SCORE 65741.708
AT ITER 57 NEW BEST:: SOT 148866 SOS 113470 HAS SOPS 113470 HAS SOUS 65458 HAS SOUPS 65458 WITH SCORE 65571.47
AT ITER 60 NEW BEST:: SOT 148756 SOS 110557 HAS SOPS 110557 HAS SOUS 63293 HAS SOUPS 63293 WITH SCORE 63403.557
AT ITER 61 NEW BEST:: SOT 148790 SOS 110467 HAS SOPS 110467 HAS SOUS 63246 HAS SOUPS 63246 WITH SCORE 63356.467
AT ITER 62 NEW BEST:: SOT 148476 SOS 109812 HAS SOPS 109812 HAS SOUS 62405 HAS SOUPS 62405 WITH SCORE 62514.812
AT ITER 65 NEW BEST:: SOT 148476 SOS 109437 HAS SOPS 109437 HAS SOUS 61088 HAS SOUPS 61088 WITH SCORE 61197.437
AT ITER 67 NEW BEST:: SOT 148162 SOS 108823 HAS SOPS 108823 HAS SOUS 60289 HAS SOUPS 60289 WITH SCORE 60397.823
AT ITER 68 NEW BEST:: SOT 148117 SOS 108437 HAS SOPS 108437 HAS SOUS 60106 HAS SOUPS 60106 WITH SCORE 60214.437
AT ITER 70 NEW BEST:: SOT 148056 SOS 108533 HAS SOPS 108533 HAS SOUS 60027 HAS SOUPS 60027 WITH SCORE 60135.533
AT ITER 71 NEW BEST:: SOT 148056 SOS 108297 HAS SOPS 108297 HAS SOUS 60027 HAS SOUPS 60027 WITH SCORE 60135.297
AT ITER 73 NEW BEST:: SOT 148000 SOS 108241 HAS SOPS 108241 HAS SOUS 59959 HAS SOUPS 59959 WITH SCORE 60067.241
AT ITER 74 NEW BEST:: SOT 147976 SOS 108185 HAS SOPS 108185 HAS SOUS 59919 HAS SOUPS 59919 WITH SCORE 60027.185
AT ITER 76 NEW BEST:: SOT 147878 SOS 108087 HAS SOPS 108087 HAS SOUS 59817 HAS SOUPS 59817 WITH SCORE 59925.087
AT ITER 77 NEW BEST:: SOT 147845 SOS 108063 HAS SOPS 108063 HAS SOUS 59793 HAS SOUPS 59793 WITH SCORE 59901.063
AT ITER 78 NEW BEST:: SOT 147584 SOS 107113 HAS SOPS 107113 HAS SOUS 59175 HAS SOUPS 59175 WITH SCORE 59282.113
AT ITER 79 NEW BEST:: SOT 147491 SOS 106910 HAS SOPS 106910 HAS SOUS 59104 HAS SOUPS 59104 WITH SCORE 59210.91
AT ITER 83 NEW BEST:: SOT 147491 SOS 106910 HAS SOPS 106910 HAS SOUS 59092 HAS SOUPS 59092 WITH SCORE 59198.91
AT ITER 85 NEW BEST:: SOT 147491 SOS 106910 HAS SOPS 106910 HAS SOUS 59027 HAS SOUPS 59027 WITH SCORE 59133.91
AT ITER 86 NEW BEST:: SOT 147491 SOS 106868 HAS SOPS 106868 HAS SOUS 58968 HAS SOUPS 58968 WITH SCORE 59074.868
AT ITER 88 NEW BEST:: SOT 147491 SOS 104962 HAS SOPS 104962 HAS SOUS 58429 HAS SOUPS 58429 WITH SCORE 58533.962
AT ITER 90 NEW BEST:: SOT 147545 SOS 104936 HAS SOPS 104936 HAS SOUS 58409 HAS SOUPS 58409 WITH SCORE 58513.936
AT ITER 93 NEW BEST:: SOT 147534 SOS 104696 HAS SOPS 104696 HAS SOUS 58190 HAS SOUPS 58190 WITH SCORE 58294.696
AT ITER 98 NEW BEST:: SOT 147385 SOS 104447 HAS SOPS 104447 HAS SOUS 57855 HAS SOUPS 57855 WITH SCORE 57959.447
AT ITER 102 NEW BEST:: SOT 147197 SOS 103902 HAS SOPS 103902 HAS SOUS 57412 HAS SOUPS 57412 WITH SCORE 57515.902
AT ITER 105 NEW BEST:: SOT 147224 SOS 103874 HAS SOPS 103874 HAS SOUS 57362 HAS SOUPS 57362 WITH SCORE 57465.874
AT ITER 108 NEW BEST:: SOT 147187 SOS 103837 HAS SOPS 103837 HAS SOUS 57354 HAS SOUPS 57354 WITH SCORE 57457.837
AT ITER 109 NEW BEST:: SOT 147187 SOS 103822 HAS SOPS 103822 HAS SOUS 57351 HAS SOUPS 57351 WITH SCORE 57454.822
AT ITER 111 NEW BEST:: SOT 147187 SOS 103912 HAS SOPS 103912 HAS SOUS 57342 HAS SOUPS 57342 WITH SCORE 57445.912
AT ITER 113 NEW BEST:: SOT 147187 SOS 103912 HAS SOPS 103912 HAS SOUS 57298 HAS SOUPS 57298 WITH SCORE 57401.912
AT ITER 116 NEW BEST:: SOT 146951 SOS 103099 HAS SOPS 103099 HAS SOUS 56776 HAS SOUPS 56776 WITH SCORE 56879.099
AT ITER 117 NEW BEST:: SOT 146923 SOS 103015 HAS SOPS 103015 HAS SOUS 56763 HAS SOUPS 56763 WITH SCORE 56866.015
AT ITER 120 NEW BEST:: SOT 146923 SOS 103015 HAS SOPS 103015 HAS SOUS 56751 HAS SOUPS 56751 WITH SCORE 56854.015
AT ITER 122 NEW BEST:: SOT 146662 SOS 102710 HAS SOPS 102710 HAS SOUS 56363 HAS SOUPS 56363 WITH SCORE 56465.71
AT ITER 125 NEW BEST:: SOT 146293 SOS 102464 HAS SOPS 102464 HAS SOUS 56109 HAS SOUPS 56109 WITH SCORE 56211.464
AT ITER 126 NEW BEST:: SOT 146285 SOS 102004 HAS SOPS 102004 HAS SOUS 55997 HAS SOUPS 55997 WITH SCORE 56099.004
AT ITER 130 NEW BEST:: SOT 146352 SOS 101541 HAS SOPS 101541 HAS SOUS 55924 HAS SOUPS 55924 WITH SCORE 56025.541
AT ITER 132 NEW BEST:: SOT 146352 SOS 101200 HAS SOPS 101200 HAS SOUS 55769 HAS SOUPS 55769 WITH SCORE 55870.2
AT ITER 134 NEW BEST:: SOT 146352 SOS 101200 HAS SOPS 101200 HAS SOUS 55761 HAS SOUPS 55761 WITH SCORE 55862.2
AT ITER 135 NEW BEST:: SOT 146352 SOS 101501 HAS SOPS 101501 HAS SOUS 55686 HAS SOUPS 55686 WITH SCORE 55787.501
AT ITER 137 NEW BEST:: SOT 146115 SOS 101209 HAS SOPS 101209 HAS SOUS 55226 HAS SOUPS 55226 WITH SCORE 55327.209
AT ITER 138 NEW BEST:: SOT 146079 SOS 101359 HAS SOPS 101359 HAS SOUS 55121 HAS SOUPS 55121 WITH SCORE 55222.359
AT ITER 140 NEW BEST:: SOT 146079 SOS 101207 HAS SOPS 101207 HAS SOUS 55107 HAS SOUPS 55107 WITH SCORE 55208.207
AT ITER 142 NEW BEST:: SOT 146059 SOS 101147 HAS SOPS 101147 HAS SOUS 55065 HAS SOUPS 55065 WITH SCORE 55166.147
AT ITER 143 NEW BEST:: SOT 146075 SOS 101454 HAS SOPS 101454 HAS SOUS 55025 HAS SOUPS 55025 WITH SCORE 55126.454
AT ITER 147 NEW BEST:: SOT 146075 SOS 101449 HAS SOPS 101449 HAS SOUS 54952 HAS SOUPS 54952 WITH SCORE 55053.449
AT ITER 157 NEW BEST:: SOT 146170 SOS 100918 HAS SOPS 100918 HAS SOUS 54785 HAS SOUPS 54785 WITH SCORE 54885.918
AT ITER 160 NEW BEST:: SOT 146131 SOS 100756 HAS SOPS 100756 HAS SOUS 54702 HAS SOUPS 54702 WITH SCORE 54802.756
AT ITER 165 NEW BEST:: SOT 146160 SOS 100782 HAS SOPS 100782 HAS SOUS 54593 HAS SOUPS 54593 WITH SCORE 54693.782
AT ITER 168 NEW BEST:: SOT 145874 SOS 99545 HAS SOPS 99545 HAS SOUS 53866 HAS SOUPS 53866 WITH SCORE 53965.545
AT ITER 169 NEW BEST:: SOT 145796 SOS 99442 HAS SOPS 99442 HAS SOUS 53738 HAS SOUPS 53738 WITH SCORE 53837.442
AT ITER 173 NEW BEST:: SOT 145767 SOS 99428 HAS SOPS 99428 HAS SOUS 53731 HAS SOUPS 53731 WITH SCORE 53830.428
AT ITER 175 NEW BEST:: SOT 145763 SOS 99396 HAS SOPS 99396 HAS SOUS 53727 HAS SOUPS 53727 WITH SCORE 53826.396
AT ITER 176 NEW BEST:: SOT 145664 SOS 97504 HAS SOPS 97504 HAS SOUS 51877 HAS SOUPS 51877 WITH SCORE 51974.504
AT ITER 182 NEW BEST:: SOT 145664 SOS 97416 HAS SOPS 97416 HAS SOUS 51849 HAS SOUPS 51849 WITH SCORE 51946.416
AT ITER 183 NEW BEST:: SOT 145664 SOS 97336 HAS SOPS 97336 HAS SOUS 51828 HAS SOUPS 51828 WITH SCORE 51925.336
AT ITER 184 NEW BEST:: SOT 145664 SOS 97020 HAS SOPS 97020 HAS SOUS 51828 HAS SOUPS 51828 WITH SCORE 51925.02
AT ITER 187 NEW BEST:: SOT 145644 SOS 96780 HAS SOPS 96780 HAS SOUS 51808 HAS SOUPS 51808 WITH SCORE 51904.78
AT ITER 198 NEW BEST:: SOT 145607 SOS 96743 HAS SOPS 96743 HAS SOUS 51755 HAS SOUPS 51755 WITH SCORE 51851.743
AT ITER 205 NEW BEST:: SOT 145454 SOS 96510 HAS SOPS 96510 HAS SOUS 51470 HAS SOUPS 51470 WITH SCORE 51566.51
AT ITER 207 NEW BEST:: SOT 145431 SOS 96443 HAS SOPS 96443 HAS SOUS 51406 HAS SOUPS 51406 WITH SCORE 51502.443
AT ITER 215 NEW BEST:: SOT 128078 SOS 84594 HAS SOPS 84594 HAS SOUS 42331 HAS SOUPS 42331 WITH SCORE 42415.594
AT ITER 216 NEW BEST:: SOT 128108 SOS 84339 HAS SOPS 84339 HAS SOUS 42218 HAS SOUPS 42218 WITH SCORE 42302.339
AT ITER 217 NEW BEST:: SOT 123379 SOS 81965 HAS SOPS 81965 HAS SOUS 42213 HAS SOUPS 42213 WITH SCORE 42294.965
AT ITER 222 NEW BEST:: SOT 123265 SOS 81759 HAS SOPS 81759 HAS SOUS 41879 HAS SOUPS 41879 WITH SCORE 41960.759
AT ITER 225 NEW BEST:: SOT 123243 SOS 81781 HAS SOPS 81781 HAS SOUS 41857 HAS SOUPS 41857 WITH SCORE 41938.781
AT ITER 226 NEW BEST:: SOT 123202 SOS 81725 HAS SOPS 81725 HAS SOUS 41821 HAS SOUPS 41821 WITH SCORE 41902.725
AT ITER 228 NEW BEST:: SOT 123174 SOS 81697 HAS SOPS 81697 HAS SOUS 41793 HAS SOUPS 41793 WITH SCORE 41874.697
AT ITER 230 NEW BEST:: SOT 123197 SOS 81454 HAS SOPS 81454 HAS SOUS 41592 HAS SOUPS 41592 WITH SCORE 41673.454
AT ITER 235 NEW BEST:: SOT 123074 SOS 81208 HAS SOPS 81208 HAS SOUS 41576 HAS SOUPS 41576 WITH SCORE 41657.208
AT ITER 237 NEW BEST:: SOT 123049 SOS 81158 HAS SOPS 81158 HAS SOUS 41572 HAS SOUPS 41572 WITH SCORE 41653.158
AT ITER 241 NEW BEST:: SOT 123002 SOS 81102 HAS SOPS 81102 HAS SOUS 41372 HAS SOUPS 41372 WITH SCORE 41453.102
AT ITER 244 NEW BEST:: SOT 122973 SOS 80930 HAS SOPS 80930 HAS SOUS 41314 HAS SOUPS 41314 WITH SCORE 41394.93
AT ITER 245 NEW BEST:: SOT 122999 SOS 80708 HAS SOPS 80708 HAS SOUS 40792 HAS SOUPS 40792 WITH SCORE 40872.708
AT ITER 247 NEW BEST:: SOT 122900 SOS 80788 HAS SOPS 80788 HAS SOUS 40733 HAS SOUPS 40733 WITH SCORE 40813.788
AT ITER 248 NEW BEST:: SOT 122822 SOS 80788 HAS SOPS 80788 HAS SOUS 40721 HAS SOUPS 40721 WITH SCORE 40801.788
AT ITER 251 NEW BEST:: SOT 122721 SOS 80687 HAS SOPS 80687 HAS SOUS 40466 HAS SOUPS 40466 WITH SCORE 40546.687
AT ITER 252 NEW BEST:: SOT 121633 SOS 79839 HAS SOPS 79839 HAS SOUS 39380 HAS SOUPS 39380 WITH SCORE 39459.839
AT ITER 253 NEW BEST:: SOT 121633 SOS 79866 HAS SOPS 79866 HAS SOUS 39353 HAS SOUPS 39353 WITH SCORE 39432.866
AT ITER 259 NEW BEST:: SOT 121574 SOS 80067 HAS SOPS 80067 HAS SOUS 39292 HAS SOUPS 39292 WITH SCORE 39372.067
AT ITER 260 NEW BEST:: SOT 121574 SOS 79997 HAS SOPS 79997 HAS SOUS 39272 HAS SOUPS 39272 WITH SCORE 39351.997
AT ITER 263 NEW BEST:: SOT 121376 SOS 80220 HAS SOPS 80220 HAS SOUS 39149 HAS SOUPS 39149 WITH SCORE 39229.22
AT ITER 266 NEW BEST:: SOT 121321 SOS 79980 HAS SOPS 79980 HAS SOUS 39052 HAS SOUPS 39052 WITH SCORE 39131.98
AT ITER 267 NEW BEST:: SOT 121287 SOS 79963 HAS SOPS 79963 HAS SOUS 39001 HAS SOUPS 39001 WITH SCORE 39080.963
AT ITER 272 NEW BEST:: SOT 121133 SOS 79809 HAS SOPS 79809 HAS SOUS 38840 HAS SOUPS 38840 WITH SCORE 38919.809
AT ITER 273 NEW BEST:: SOT 121216 SOS 79712 HAS SOPS 79712 HAS SOUS 38437 HAS SOUPS 38437 WITH SCORE 38516.712
AT ITER 276 NEW BEST:: SOT 121160 SOS 79566 HAS SOPS 79566 HAS SOUS 38369 HAS SOUPS 38369 WITH SCORE 38448.566
AT ITER 278 NEW BEST:: SOT 121184 SOS 79569 HAS SOPS 79569 HAS SOUS 38262 HAS SOUPS 38262 WITH SCORE 38341.569
AT ITER 280 NEW BEST:: SOT 121146 SOS 79531 HAS SOPS 79531 HAS SOUS 38243 HAS SOUPS 38243 WITH SCORE 38322.531
AT ITER 281 NEW BEST:: SOT 121026 SOS 79411 HAS SOPS 79411 HAS SOUS 38151 HAS SOUPS 38151 WITH SCORE 38230.411
AT ITER 283 NEW BEST:: SOT 120949 SOS 79402 HAS SOPS 79402 HAS SOUS 38076 HAS SOUPS 38076 WITH SCORE 38155.402
AT ITER 284 NEW BEST:: SOT 120991 SOS 79344 HAS SOPS 79344 HAS SOUS 38039 HAS SOUPS 38039 WITH SCORE 38118.344
AT ITER 290 NEW BEST:: SOT 120882 SOS 79170 HAS SOPS 79170 HAS SOUS 37897 HAS SOUPS 37897 WITH SCORE 37976.17
AT ITER 291 NEW BEST:: SOT 120844 SOS 79094 HAS SOPS 79094 HAS SOUS 37859 HAS SOUPS 37859 WITH SCORE 37938.094
AT ITER 293 NEW BEST:: SOT 120844 SOS 79092 HAS SOPS 79092 HAS SOUS 37859 HAS SOUPS 37859 WITH SCORE 37938.092
AT ITER 297 NEW BEST:: SOT 120822 SOS 79064 HAS SOPS 79064 HAS SOUS 37789 HAS SOUPS 37789 WITH SCORE 37868.064
AT ITER 300 NEW BEST:: SOT 120802 SOS 79044 HAS SOPS 79044 HAS SOUS 37745 HAS SOUPS 37745 WITH SCORE 37824.044
AT ITER 307 NEW BEST:: SOT 121038 SOS 78924 HAS SOPS 78924 HAS SOUS 37635 HAS SOUPS 37635 WITH SCORE 37713.924
AT ITER 311 NEW BEST:: SOT 121047 SOS 78519 HAS SOPS 78519 HAS SOUS 37577 HAS SOUPS 37577 WITH SCORE 37655.519
AT ITER 313 NEW BEST:: SOT 120991 SOS 78158 HAS SOPS 78158 HAS SOUS 37234 HAS SOUPS 37234 WITH SCORE 37312.158
AT ITER 317 NEW BEST:: SOT 120987 SOS 78154 HAS SOPS 78154 HAS SOUS 37222 HAS SOUPS 37222 WITH SCORE 37300.154
AT ITER 320 NEW BEST:: SOT 121037 SOS 78229 HAS SOPS 78229 HAS SOUS 37102 HAS SOUPS 37102 WITH SCORE 37180.229
AT ITER 322 NEW BEST:: SOT 120859 SOS 78001 HAS SOPS 78001 HAS SOUS 36835 HAS SOUPS 36835 WITH SCORE 36913.001
AT ITER 325 NEW BEST:: SOT 120859 SOS 78001 HAS SOPS 78001 HAS SOUS 36831 HAS SOUPS 36831 WITH SCORE 36909.001
AT ITER 327 NEW BEST:: SOT 120711 SOS 77853 HAS SOPS 77853 HAS SOUS 36660 HAS SOUPS 36660 WITH SCORE 36737.853
AT ITER 328 NEW BEST:: SOT 120659 SOS 77748 HAS SOPS 77748 HAS SOUS 36486 HAS SOUPS 36486 WITH SCORE 36563.748
AT ITER 329 NEW BEST:: SOT 120625 SOS 77602 HAS SOPS 77602 HAS SOUS 36455 HAS SOUPS 36455 WITH SCORE 36532.602
AT ITER 332 NEW BEST:: SOT 120622 SOS 77602 HAS SOPS 77602 HAS SOUS 36452 HAS SOUPS 36452 WITH SCORE 36529.602
AT ITER 333 NEW BEST:: SOT 120571 SOS 77613 HAS SOPS 77613 HAS SOUS 36374 HAS SOUPS 36374 WITH SCORE 36451.613
AT ITER 337 NEW BEST:: SOT 120571 SOS 77609 HAS SOPS 77609 HAS SOUS 36354 HAS SOUPS 36354 WITH SCORE 36431.609
AT ITER 339 NEW BEST:: SOT 120567 SOS 77605 HAS SOPS 77605 HAS SOUS 36354 HAS SOUPS 36354 WITH SCORE 36431.605
AT ITER 342 NEW BEST:: SOT 120556 SOS 79664 HAS SOPS 79664 HAS SOUS 36343 HAS SOUPS 36343 WITH SCORE 36422.664
AT ITER 348 NEW BEST:: SOT 120546 SOS 79654 HAS SOPS 79654 HAS SOUS 36333 HAS SOUPS 36333 WITH SCORE 36412.654
AT ITER 351 NEW BEST:: SOT 120502 SOS 79460 HAS SOPS 79460 HAS SOUS 36238 HAS SOUPS 36238 WITH SCORE 36317.46
AT ITER 353 NEW BEST:: SOT 120400 SOS 79358 HAS SOPS 79358 HAS SOUS 36072 HAS SOUPS 36072 WITH SCORE 36151.358
AT ITER 362 NEW BEST:: SOT 120371 SOS 79386 HAS SOPS 79386 HAS SOUS 36029 HAS SOUPS 36029 WITH SCORE 36108.386
AT ITER 376 NEW BEST:: SOT 120343 SOS 79358 HAS SOPS 79358 HAS SOUS 36029 HAS SOUPS 36029 WITH SCORE 36108.358
AT ITER 379 NEW BEST:: SOT 120299 SOS 79314 HAS SOPS 79314 HAS SOUS 35965 HAS SOUPS 35965 WITH SCORE 36044.314
AT ITER 381 NEW BEST:: SOT 120279 SOS 79294 HAS SOPS 79294 HAS SOUS 35955 HAS SOUPS 35955 WITH SCORE 36034.294
AT ITER 384 NEW BEST:: SOT 120051 SOS 79054 HAS SOPS 79054 HAS SOUS 35620 HAS SOUPS 35620 WITH SCORE 35699.054
AT ITER 386 NEW BEST:: SOT 120051 SOS 77565 HAS SOPS 77565 HAS SOUS 35620 HAS SOUPS 35620 WITH SCORE 35697.565
AT ITER 388 NEW BEST:: SOT 120051 SOS 77316 HAS SOPS 77316 HAS SOUS 35553 HAS SOUPS 35553 WITH SCORE 35630.316
AT ITER 390 NEW BEST:: SOT 120074 SOS 77339 HAS SOPS 77339 HAS SOUS 35543 HAS SOUPS 35543 WITH SCORE 35620.339
AT ITER 397 NEW BEST:: SOT 120050 SOS 77315 HAS SOPS 77315 HAS SOUS 35526 HAS SOUPS 35526 WITH SCORE 35603.315
AT ITER 403 NEW BEST:: SOT 120038 SOS 77303 HAS SOPS 77303 HAS SOUS 35520 HAS SOUPS 35520 WITH SCORE 35597.303
AT ITER 405 NEW BEST:: SOT 119986 SOS 77303 HAS SOPS 77303 HAS SOUS 35494 HAS SOUPS 35494 WITH SCORE 35571.303
AT ITER 409 NEW BEST:: SOT 119953 SOS 77206 HAS SOPS 77206 HAS SOUS 35458 HAS SOUPS 35458 WITH SCORE 35535.206
AT ITER 410 NEW BEST:: SOT 119887 SOS 77118 HAS SOPS 77118 HAS SOUS 35392 HAS SOUPS 35392 WITH SCORE 35469.118
AT ITER 412 NEW BEST:: SOT 119886 SOS 77200 HAS SOPS 77200 HAS SOUS 35391 HAS SOUPS 35391 WITH SCORE 35468.2
AT ITER 417 NEW BEST:: SOT 119475 SOS 77024 HAS SOPS 77024 HAS SOUS 35320 HAS SOUPS 35320 WITH SCORE 35397.024
AT ITER 428 NEW BEST:: SOT 119386 SOS 76792 HAS SOPS 76792 HAS SOUS 35282 HAS SOUPS 35282 WITH SCORE 35358.792
AT ITER 429 NEW BEST:: SOT 119251 SOS 76252 HAS SOPS 76252 HAS SOUS 35066 HAS SOUPS 35066 WITH SCORE 35142.252
AT ITER 437 NEW BEST:: SOT 119292 SOS 76211 HAS SOPS 76211 HAS SOUS 34992 HAS SOUPS 34992 WITH SCORE 35068.211
AT ITER 439 NEW BEST:: SOT 119277 SOS 75032 HAS SOPS 75032 HAS SOUS 34837 HAS SOUPS 34837 WITH SCORE 34912.032
AT ITER 442 NEW BEST:: SOT 119311 SOS 75014 HAS SOPS 75014 HAS SOUS 34836 HAS SOUPS 34836 WITH SCORE 34911.014
AT ITER 447 NEW BEST:: SOT 119270 SOS 74973 HAS SOPS 74973 HAS SOUS 34795 HAS SOUPS 34795 WITH SCORE 34869.973
AT ITER 450 NEW BEST:: SOT 119237 SOS 74945 HAS SOPS 74945 HAS SOUS 34775 HAS SOUPS 34775 WITH SCORE 34849.945
AT ITER 455 NEW BEST:: SOT 119409 SOS 74937 HAS SOPS 74937 HAS SOUS 34670 HAS SOUPS 34670 WITH SCORE 34744.937
AT ITER 459 NEW BEST:: SOT 119409 SOS 73617 HAS SOPS 73617 HAS SOUS 34558 HAS SOUPS 34558 WITH SCORE 34631.617
AT ITER 461 NEW BEST:: SOT 119308 SOS 73365 HAS SOPS 73365 HAS SOUS 34363 HAS SOUPS 34363 WITH SCORE 34436.365
AT ITER 464 NEW BEST:: SOT 119308 SOS 73363 HAS SOPS 73363 HAS SOUS 34363 HAS SOUPS 34363 WITH SCORE 34436.363
AT ITER 466 NEW BEST:: SOT 119288 SOS 73343 HAS SOPS 73343 HAS SOUS 34343 HAS SOUPS 34343 WITH SCORE 34416.343
AT ITER 467 NEW BEST:: SOT 119188 SOS 73243 HAS SOPS 73243 HAS SOUS 34293 HAS SOUPS 34293 WITH SCORE 34366.243
AT ITER 470 NEW BEST:: SOT 119182 SOS 73598 HAS SOPS 73598 HAS SOUS 34285 HAS SOUPS 34285 WITH SCORE 34358.598
AT ITER 482 NEW BEST:: SOT 119181 SOS 73596 HAS SOPS 73596 HAS SOUS 34284 HAS SOUPS 34284 WITH SCORE 34357.596
AT ITER 488 NEW BEST:: SOT 119181 SOS 73596 HAS SOPS 73596 HAS SOUS 34272 HAS SOUPS 34272 WITH SCORE 34345.596
AT ITER 489 NEW BEST:: SOT 119165 SOS 73580 HAS SOPS 73580 HAS SOUS 34256 HAS SOUPS 34256 WITH SCORE 34329.58
AT ITER 491 NEW BEST:: SOT 119114 SOS 73593 HAS SOPS 73593 HAS SOUS 34193 HAS SOUPS 34193 WITH SCORE 34266.593
AT ITER 492 NEW BEST:: SOT 119064 SOS 73577 HAS SOPS 73577 HAS SOUS 34182 HAS SOUPS 34182 WITH SCORE 34255.577
AT ITER 493 NEW BEST:: SOT 119064 SOS 73577 HAS SOPS 73577 HAS SOUS 34181 HAS SOUPS 34181 WITH SCORE 34254.577
AT ITER 503 NEW BEST:: SOT 119061 SOS 73569 HAS SOPS 73569 HAS SOUS 34177 HAS SOUPS 34177 WITH SCORE 34250.569
AT ITER 515 NEW BEST:: SOT 119057 SOS 73553 HAS SOPS 73553 HAS SOUS 34169 HAS SOUPS 34169 WITH SCORE 34242.553
AT ITER 522 NEW BEST:: SOT 118863 SOS 73026 HAS SOPS 73026 HAS SOUS 33653 HAS SOUPS 33653 WITH SCORE 33726.026
AT ITER 526 NEW BEST:: SOT 119041 SOS 73155 HAS SOPS 73155 HAS SOUS 33594 HAS SOUPS 33594 WITH SCORE 33667.155
AT ITER 529 NEW BEST:: SOT 118682 SOS 72839 HAS SOPS 72839 HAS SOUS 33451 HAS SOUPS 33451 WITH SCORE 33523.839
AT ITER 534 NEW BEST:: SOT 118682 SOS 72812 HAS SOPS 72812 HAS SOUS 33450 HAS SOUPS 33450 WITH SCORE 33522.812
AT ITER 547 NEW BEST:: SOT 118643 SOS 72708 HAS SOPS 72708 HAS SOUS 33398 HAS SOUPS 33398 WITH SCORE 33470.708
AT ITER 551 NEW BEST:: SOT 118613 SOS 72769 HAS SOPS 72769 HAS SOUS 33387 HAS SOUPS 33387 WITH SCORE 33459.769
AT ITER 553 NEW BEST:: SOT 118833 SOS 72420 HAS SOPS 72420 HAS SOUS 33368 HAS SOUPS 33368 WITH SCORE 33440.42
AT ITER 560 NEW BEST:: SOT 118814 SOS 72528 HAS SOPS 72528 HAS SOUS 33288 HAS SOUPS 33288 WITH SCORE 33360.528
AT ITER 561 NEW BEST:: SOT 118814 SOS 72528 HAS SOPS 72528 HAS SOUS 33276 HAS SOUPS 33276 WITH SCORE 33348.528
AT ITER 569 NEW BEST:: SOT 118836 SOS 72550 HAS SOPS 72550 HAS SOUS 33212 HAS SOUPS 33212 WITH SCORE 33284.55
AT ITER 574 NEW BEST:: SOT 118830 SOS 72538 HAS SOPS 72538 HAS SOUS 33203 HAS SOUPS 33203 WITH SCORE 33275.538
AT ITER 593 NEW BEST:: SOT 118825 SOS 72522 HAS SOPS 72522 HAS SOUS 33187 HAS SOUPS 33187 WITH SCORE 33259.522
AT ITER 595 NEW BEST:: SOT 118692 SOS 72351 HAS SOPS 72351 HAS SOUS 32940 HAS SOUPS 32940 WITH SCORE 33012.351
AT ITER 601 NEW BEST:: SOT 118720 SOS 72379 HAS SOPS 72379 HAS SOUS 32917 HAS SOUPS 32917 WITH SCORE 32989.379
AT ITER 602 NEW BEST:: SOT 118691 SOS 72361 HAS SOPS 72361 HAS SOUS 32851 HAS SOUPS 32851 WITH SCORE 32923.361
AT ITER 612 NEW BEST:: SOT 118683 SOS 72353 HAS SOPS 72353 HAS SOUS 32843 HAS SOUPS 32843 WITH SCORE 32915.353
AT ITER 615 NEW BEST:: SOT 118592 SOS 71711 HAS SOPS 71711 HAS SOUS 32737 HAS SOUPS 32737 WITH SCORE 32808.711
AT ITER 618 NEW BEST:: SOT 118592 SOS 71711 HAS SOPS 71711 HAS SOUS 32704 HAS SOUPS 32704 WITH SCORE 32775.711
AT ITER 620 NEW BEST:: SOT 118588 SOS 71763 HAS SOPS 71763 HAS SOUS 32670 HAS SOUPS 32670 WITH SCORE 32741.763
AT ITER 621 NEW BEST:: SOT 118588 SOS 71550 HAS SOPS 71550 HAS SOUS 32599 HAS SOUPS 32599 WITH SCORE 32670.55
AT ITER 623 NEW BEST:: SOT 118580 SOS 71526 HAS SOPS 71526 HAS SOUS 32591 HAS SOUPS 32591 WITH SCORE 32662.526
AT ITER 626 NEW BEST:: SOT 118576 SOS 71518 HAS SOPS 71518 HAS SOUS 32587 HAS SOUPS 32587 WITH SCORE 32658.518
AT ITER 631 NEW BEST:: SOT 118574 SOS 71516 HAS SOPS 71516 HAS SOUS 32585 HAS SOUPS 32585 WITH SCORE 32656.516
AT ITER 632 NEW BEST:: SOT 118556 SOS 70978 HAS SOPS 70978 HAS SOUS 32409 HAS SOUPS 32409 WITH SCORE 32479.978
AT ITER 639 NEW BEST:: SOT 118345 SOS 70614 HAS SOPS 70614 HAS SOUS 32174 HAS SOUPS 32174 WITH SCORE 32244.614
AT ITER 645 NEW BEST:: SOT 118455 SOS 70726 HAS SOPS 70726 HAS SOUS 32173 HAS SOUPS 32173 WITH SCORE 32243.726
AT ITER 655 NEW BEST:: SOT 118385 SOS 70656 HAS SOPS 70656 HAS SOUS 32173 HAS SOUPS 32173 WITH SCORE 32243.656
AT ITER 656 NEW BEST:: SOT 118226 SOS 70673 HAS SOPS 70673 HAS SOUS 32028 HAS SOUPS 32028 WITH SCORE 32098.673
AT ITER 667 NEW BEST:: SOT 118225 SOS 70655 HAS SOPS 70655 HAS SOUS 32026 HAS SOUPS 32026 WITH SCORE 32096.655
AT ITER 672 NEW BEST:: SOT 118189 SOS 70497 HAS SOPS 70497 HAS SOUS 31875 HAS SOUPS 31875 WITH SCORE 31945.497
AT ITER 683 NEW BEST:: SOT 118331 SOS 70682 HAS SOPS 70682 HAS SOUS 31855 HAS SOUPS 31855 WITH SCORE 31925.682
AT ITER 686 NEW BEST:: SOT 118328 SOS 70679 HAS SOPS 70679 HAS SOUS 31852 HAS SOUPS 31852 WITH SCORE 31922.679
AT ITER 690 NEW BEST:: SOT 118340 SOS 70703 HAS SOPS 70703 HAS SOUS 31827 HAS SOUPS 31827 WITH SCORE 31897.703
AT ITER 691 NEW BEST:: SOT 118320 SOS 70435 HAS SOPS 70435 HAS SOUS 31745 HAS SOUPS 31745 WITH SCORE 31815.435
AT ITER 699 NEW BEST:: SOT 118310 SOS 70380 HAS SOPS 70380 HAS SOUS 31686 HAS SOUPS 31686 WITH SCORE 31756.38
AT ITER 701 NEW BEST:: SOT 118218 SOS 70288 HAS SOPS 70288 HAS SOUS 31594 HAS SOUPS 31594 WITH SCORE 31664.288
AT ITER 713 NEW BEST:: SOT 118026 SOS 70096 HAS SOPS 70096 HAS SOUS 31454 HAS SOUPS 31454 WITH SCORE 31524.096
AT ITER 722 NEW BEST:: SOT 118026 SOS 70096 HAS SOPS 70096 HAS SOUS 31444 HAS SOUPS 31444 WITH SCORE 31514.096
AT ITER 724 NEW BEST:: SOT 117888 SOS 69958 HAS SOPS 69958 HAS SOUS 31420 HAS SOUPS 31420 WITH SCORE 31489.958
AT ITER 737 NEW BEST:: SOT 117888 SOS 69892 HAS SOPS 69892 HAS SOUS 31420 HAS SOUPS 31420 WITH SCORE 31489.892
AT ITER 740 NEW BEST:: SOT 117027 SOS 69031 HAS SOPS 69031 HAS SOUS 31191 HAS SOUPS 31191 WITH SCORE 31260.031
AT ITER 742 NEW BEST:: SOT 117075 SOS 69079 HAS SOPS 69079 HAS SOUS 31190 HAS SOUPS 31190 WITH SCORE 31259.079
AT ITER 750 NEW BEST:: SOT 117051 SOS 69109 HAS SOPS 69109 HAS SOUS 31148 HAS SOUPS 31148 WITH SCORE 31217.109
AT ITER 770 NEW BEST:: SOT 117058 SOS 69116 HAS SOPS 69116 HAS SOUS 31132 HAS SOUPS 31132 WITH SCORE 31201.116
AT ITER 771 NEW BEST:: SOT 117078 SOS 69136 HAS SOPS 69136 HAS SOUS 31068 HAS SOUPS 31068 WITH SCORE 31137.136
AT ITER 787 NEW BEST:: SOT 117048 SOS 69076 HAS SOPS 69076 HAS SOUS 31038 HAS SOUPS 31038 WITH SCORE 31107.076
AT ITER 788 NEW BEST:: SOT 117081 SOS 69147 HAS SOPS 69147 HAS SOUS 31030 HAS SOUPS 31030 WITH SCORE 31099.147
AT ITER 789 NEW BEST:: SOT 116863 SOS 68789 HAS SOPS 68789 HAS SOUS 30952 HAS SOUPS 30952 WITH SCORE 31020.789
AT ITER 790 NEW BEST:: SOT 116860 SOS 68798 HAS SOPS 68798 HAS SOUS 30949 HAS SOUPS 30949 WITH SCORE 31017.798
AT ITER 798 NEW BEST:: SOT 116874 SOS 68768 HAS SOPS 68768 HAS SOUS 30922 HAS SOUPS 30922 WITH SCORE 30990.768
AT ITER 829 NEW BEST:: SOT 116674 SOS 68509 HAS SOPS 68509 HAS SOUS 30810 HAS SOUPS 30810 WITH SCORE 30878.509
AT ITER 838 NEW BEST:: SOT 116674 SOS 68489 HAS SOPS 68489 HAS SOUS 30800 HAS SOUPS 30800 WITH SCORE 30868.489
AT ITER 840 NEW BEST:: SOT 116618 SOS 68535 HAS SOPS 68535 HAS SOUS 30692 HAS SOUPS 30692 WITH SCORE 30760.535
AT ITER 842 NEW BEST:: SOT 116593 SOS 68535 HAS SOPS 68535 HAS SOUS 30667 HAS SOUPS 30667 WITH SCORE 30735.535
AT ITER 872 NEW BEST:: SOT 116593 SOS 68535 HAS SOPS 68535 HAS SOUS 30633 HAS SOUPS 30633 WITH SCORE 30701.535
AT ITER 889 NEW BEST:: SOT 116637 SOS 68579 HAS SOPS 68579 HAS SOUS 30589 HAS SOUPS 30589 WITH SCORE 30657.579
AT ITER 890 NEW BEST:: SOT 116424 SOS 68287 HAS SOPS 68287 HAS SOUS 30376 HAS SOUPS 30376 WITH SCORE 30444.287
AT ITER 896 NEW BEST:: SOT 116296 SOS 68159 HAS SOPS 68159 HAS SOUS 30298 HAS SOUPS 30298 WITH SCORE 30366.159
AT ITER 899 NEW BEST:: SOT 116302 SOS 68165 HAS SOPS 68165 HAS SOUS 30258 HAS SOUPS 30258 WITH SCORE 30326.165
AT ITER 904 NEW BEST:: SOT 116195 SOS 68173 HAS SOPS 68173 HAS SOUS 30209 HAS SOUPS 30209 WITH SCORE 30277.173
AT ITER 906 NEW BEST:: SOT 116195 SOS 68173 HAS SOPS 68173 HAS SOUS 30137 HAS SOUPS 30137 WITH SCORE 30205.173
AT ITER 908 NEW BEST:: SOT 116264 SOS 68068 HAS SOPS 68068 HAS SOUS 30091 HAS SOUPS 30091 WITH SCORE 30159.068
AT ITER 910 NEW BEST:: SOT 116268 SOS 68016 HAS SOPS 68016 HAS SOUS 29949 HAS SOUPS 29949 WITH SCORE 30017.016
AT ITER 914 NEW BEST:: SOT 116375 SOS 68060 HAS SOPS 68060 HAS SOUS 29938 HAS SOUPS 29938 WITH SCORE 30006.06
AT ITER 920 NEW BEST:: SOT 116261 SOS 67838 HAS SOPS 67838 HAS SOUS 29824 HAS SOUPS 29824 WITH SCORE 29891.838
AT ITER 940 NEW BEST:: SOT 116398 SOS 67975 HAS SOPS 67975 HAS SOUS 29789 HAS SOUPS 29789 WITH SCORE 29856.975
AT ITER 947 NEW BEST:: SOT 116356 SOS 67933 HAS SOPS 67933 HAS SOUS 29757 HAS SOUPS 29757 WITH SCORE 29824.933
AT ITER 949 NEW BEST:: SOT 116355 SOS 67979 HAS SOPS 67979 HAS SOUS 29740 HAS SOUPS 29740 WITH SCORE 29807.979
AT ITER 955 NEW BEST:: SOT 116355 SOS 67992 HAS SOPS 67992 HAS SOUS 29709 HAS SOUPS 29709 WITH SCORE 29776.992
AT ITER 961 NEW BEST:: SOT 116247 SOS 67884 HAS SOPS 67884 HAS SOUS 29638 HAS SOUPS 29638 WITH SCORE 29705.884
AT ITER 971 NEW BEST:: SOT 116245 SOS 67882 HAS SOPS 67882 HAS SOUS 29580 HAS SOUPS 29580 WITH SCORE 29647.882
AT ITER 976 NEW BEST:: SOT 116238 SOS 67968 HAS SOPS 67968 HAS SOUS 29563 HAS SOUPS 29563 WITH SCORE 29630.968
AT ITER 979 NEW BEST:: SOT 116238 SOS 67971 HAS SOPS 67971 HAS SOUS 29561 HAS SOUPS 29561 WITH SCORE 29628.971
AT ITER 984 NEW BEST:: SOT 116186 SOS 67781 HAS SOPS 67781 HAS SOUS 29453 HAS SOUPS 29453 WITH SCORE 29520.781
AT ITER 985 NEW BEST:: SOT 116180 SOS 67775 HAS SOPS 67775 HAS SOUS 29403 HAS SOUPS 29403 WITH SCORE 29470.775
AT ITER 988 NEW BEST:: SOT 116142 SOS 67699 HAS SOPS 67699 HAS SOUS 29365 HAS SOUPS 29365 WITH SCORE 29432.699
AT ITER 990 NEW BEST:: SOT 116139 SOS 67693 HAS SOPS 67693 HAS SOUS 29359 HAS SOUPS 29359 WITH SCORE 29426.693
AT ITER 993 NEW BEST:: SOT 116363 SOS 67902 HAS SOPS 67902 HAS SOUS 29315 HAS SOUPS 29315 WITH SCORE 29382.902
AT ITER 998 NEW BEST:: SOT 116355 SOS 67894 HAS SOPS 67894 HAS SOUS 29245 HAS SOUPS 29245 WITH SCORE 29312.894
AT ITER 1000 NEW BEST:: SOT 116308 SOS 67744 HAS SOPS 67744 HAS SOUS 29180 HAS SOUPS 29180 WITH SCORE 29247.744
AT ITER 1009 NEW BEST:: SOT 115902 SOS 67331 HAS SOPS 67331 HAS SOUS 28921 HAS SOUPS 28921 WITH SCORE 28988.331
AT ITER 1012 NEW BEST:: SOT 115894 SOS 67323 HAS SOPS 67323 HAS SOUS 28913 HAS SOUPS 28913 WITH SCORE 28980.323
AT ITER 1015 NEW BEST:: SOT 115859 SOS 66981 HAS SOPS 66981 HAS SOUS 28849 HAS SOUPS 28849 WITH SCORE 28915.981
AT ITER 1017 NEW BEST:: SOT 115859 SOS 66940 HAS SOPS 66940 HAS SOUS 28674 HAS SOUPS 28674 WITH SCORE 28740.94
AT ITER 1020 NEW BEST:: SOT 115683 SOS 66336 HAS SOPS 66336 HAS SOUS 28497 HAS SOUPS 28497 WITH SCORE 28563.336
AT ITER 1025 NEW BEST:: SOT 115689 SOS 66365 HAS SOPS 66365 HAS SOUS 28494 HAS SOUPS 28494 WITH SCORE 28560.365
AT ITER 1028 NEW BEST:: SOT 115665 SOS 66341 HAS SOPS 66341 HAS SOUS 28458 HAS SOUPS 28458 WITH SCORE 28524.341
AT ITER 1030 NEW BEST:: SOT 115668 SOS 66205 HAS SOPS 66205 HAS SOUS 28418 HAS SOUPS 28418 WITH SCORE 28484.205
AT ITER 1038 NEW BEST:: SOT 115616 SOS 66063 HAS SOPS 66063 HAS SOUS 28330 HAS SOUPS 28330 WITH SCORE 28396.063
AT ITER 1048 NEW BEST:: SOT 115616 SOS 66061 HAS SOPS 66061 HAS SOUS 28330 HAS SOUPS 28330 WITH SCORE 28396.061
AT ITER 1055 NEW BEST:: SOT 115548 SOS 65925 HAS SOPS 65925 HAS SOUS 28262 HAS SOUPS 28262 WITH SCORE 28327.925
AT ITER 1057 NEW BEST:: SOT 115501 SOS 65384 HAS SOPS 65384 HAS SOUS 28145 HAS SOUPS 28145 WITH SCORE 28210.384
AT ITER 1058 NEW BEST:: SOT 115501 SOS 65284 HAS SOPS 65284 HAS SOUS 28145 HAS SOUPS 28145 WITH SCORE 28210.284
AT ITER 1059 NEW BEST:: SOT 115497 SOS 65280 HAS SOPS 65280 HAS SOUS 28143 HAS SOUPS 28143 WITH SCORE 28208.28
AT ITER 1063 NEW BEST:: SOT 115433 SOS 65216 HAS SOPS 65216 HAS SOUS 28079 HAS SOUPS 28079 WITH SCORE 28144.216
AT ITER 1066 NEW BEST:: SOT 115384 SOS 65186 HAS SOPS 65186 HAS SOUS 28049 HAS SOUPS 28049 WITH SCORE 28114.186
AT ITER 1075 NEW BEST:: SOT 115382 SOS 65182 HAS SOPS 65182 HAS SOUS 28047 HAS SOUPS 28047 WITH SCORE 28112.182
AT ITER 1080 NEW BEST:: SOT 115364 SOS 65204 HAS SOPS 65204 HAS SOUS 28029 HAS SOUPS 28029 WITH SCORE 28094.204
AT ITER 1082 NEW BEST:: SOT 115315 SOS 65087 HAS SOPS 65087 HAS SOUS 28028 HAS SOUPS 28028 WITH SCORE 28093.087
AT ITER 1089 NEW BEST:: SOT 115326 SOS 62542 HAS SOPS 62542 HAS SOUS 27804 HAS SOUPS 27804 WITH SCORE 27866.542
AT ITER 1097 NEW BEST:: SOT 115298 SOS 62514 HAS SOPS 62514 HAS SOUS 27784 HAS SOUPS 27784 WITH SCORE 27846.514
AT ITER 1107 NEW BEST:: SOT 115274 SOS 62478 HAS SOPS 62478 HAS SOUS 27754 HAS SOUPS 27754 WITH SCORE 27816.478
AT ITER 1109 NEW BEST:: SOT 115283 SOS 62508 HAS SOPS 62508 HAS SOUS 27747 HAS SOUPS 27747 WITH SCORE 27809.508
AT ITER 1123 NEW BEST:: SOT 115321 SOS 62546 HAS SOPS 62546 HAS SOUS 27740 HAS SOUPS 27740 WITH SCORE 27802.546
AT ITER 1127 NEW BEST:: SOT 115305 SOS 62530 HAS SOPS 62530 HAS SOUS 27724 HAS SOUPS 27724 WITH SCORE 27786.53
AT ITER 1128 NEW BEST:: SOT 115302 SOS 62298 HAS SOPS 62298 HAS SOUS 27721 HAS SOUPS 27721 WITH SCORE 27783.298
AT ITER 1136 NEW BEST:: SOT 115297 SOS 62210 HAS SOPS 62210 HAS SOUS 27670 HAS SOUPS 27670 WITH SCORE 27732.21
AT ITER 1141 NEW BEST:: SOT 115206 SOS 61896 HAS SOPS 61896 HAS SOUS 27515 HAS SOUPS 27515 WITH SCORE 27576.896
AT ITER 1142 NEW BEST:: SOT 115128 SOS 61818 HAS SOPS 61818 HAS SOUS 27491 HAS SOUPS 27491 WITH SCORE 27552.818
AT ITER 1144 NEW BEST:: SOT 115145 SOS 61812 HAS SOPS 61812 HAS SOUS 27459 HAS SOUPS 27459 WITH SCORE 27520.812
AT ITER 1149 NEW BEST:: SOT 115135 SOS 61792 HAS SOPS 61792 HAS SOUS 27429 HAS SOUPS 27429 WITH SCORE 27490.792
AT ITER 1153 NEW BEST:: SOT 115367 SOS 62024 HAS SOPS 62024 HAS SOUS 27357 HAS SOUPS 27357 WITH SCORE 27419.024
AT ITER 1154 NEW BEST:: SOT 115355 SOS 62012 HAS SOPS 62012 HAS SOUS 27345 HAS SOUPS 27345 WITH SCORE 27407.012
AT ITER 1175 NEW BEST:: SOT 115326 SOS 61928 HAS SOPS 61928 HAS SOUS 27343 HAS SOUPS 27343 WITH SCORE 27404.928
AT ITER 1201 NEW BEST:: SOT 115340 SOS 61927 HAS SOPS 61927 HAS SOUS 27329 HAS SOUPS 27329 WITH SCORE 27390.927
AT ITER 1203 NEW BEST:: SOT 115339 SOS 61926 HAS SOPS 61926 HAS SOUS 27328 HAS SOUPS 27328 WITH SCORE 27389.926
AT ITER 1211 NEW BEST:: SOT 115143 SOS 61847 HAS SOPS 61847 HAS SOUS 27118 HAS SOUPS 27118 WITH SCORE 27179.847
AT ITER 1213 NEW BEST:: SOT 115026 SOS 61585 HAS SOPS 61585 HAS SOUS 27014 HAS SOUPS 27014 WITH SCORE 27075.585
AT ITER 1215 NEW BEST:: SOT 115025 SOS 61570 HAS SOPS 61570 HAS SOUS 26994 HAS SOUPS 26994 WITH SCORE 27055.57
AT ITER 1220 NEW BEST:: SOT 115011 SOS 61570 HAS SOPS 61570 HAS SOUS 26980 HAS SOUPS 26980 WITH SCORE 27041.57
AT ITER 1232 NEW BEST:: SOT 114860 SOS 61419 HAS SOPS 61419 HAS SOUS 26980 HAS SOUPS 26980 WITH SCORE 27041.419
AT ITER 1237 NEW BEST:: SOT 114737 SOS 61143 HAS SOPS 61143 HAS SOUS 26857 HAS SOUPS 26857 WITH SCORE 26918.143
AT ITER 1239 NEW BEST:: SOT 114737 SOS 61143 HAS SOPS 61143 HAS SOUS 26795 HAS SOUPS 26795 WITH SCORE 26856.143
AT ITER 1242 NEW BEST:: SOT 114715 SOS 61112 HAS SOPS 61112 HAS SOUS 26775 HAS SOUPS 26775 WITH SCORE 26836.112
AT ITER 1245 NEW BEST:: SOT 114707 SOS 61098 HAS SOPS 61098 HAS SOUS 26771 HAS SOUPS 26771 WITH SCORE 26832.098
AT ITER 1253 NEW BEST:: SOT 114707 SOS 61092 HAS SOPS 61092 HAS SOUS 26759 HAS SOUPS 26759 WITH SCORE 26820.092
AT ITER 1257 NEW BEST:: SOT 114731 SOS 61092 HAS SOPS 61092 HAS SOUS 26711 HAS SOUPS 26711 WITH SCORE 26772.092
AT ITER 1259 NEW BEST:: SOT 114698 SOS 61026 HAS SOPS 61026 HAS SOUS 26645 HAS SOUPS 26645 WITH SCORE 26706.026
AT ITER 1261 NEW BEST:: SOT 114690 SOS 61018 HAS SOPS 61018 HAS SOUS 26645 HAS SOUPS 26645 WITH SCORE 26706.018
AT ITER 1279 NEW BEST:: SOT 114687 SOS 60996 HAS SOPS 60996 HAS SOUS 26633 HAS SOUPS 26633 WITH SCORE 26693.996
AT ITER 1286 NEW BEST:: SOT 110824 SOS 57086 HAS SOPS 57086 HAS SOUS 24635 HAS SOUPS 24635 WITH SCORE 24692.086
AT ITER 1290 NEW BEST:: SOT 110820 SOS 57110 HAS SOPS 57110 HAS SOUS 24634 HAS SOUPS 24634 WITH SCORE 24691.11
AT ITER 1296 NEW BEST:: SOT 110778 SOS 57314 HAS SOPS 57314 HAS SOUS 24592 HAS SOUPS 24592 WITH SCORE 24649.314
AT ITER 1306 NEW BEST:: SOT 110736 SOS 57254 HAS SOPS 57254 HAS SOUS 24566 HAS SOUPS 24566 WITH SCORE 24623.254
AT ITER 1314 NEW BEST:: SOT 110706 SOS 57058 HAS SOPS 57058 HAS SOUS 24532 HAS SOUPS 24532 WITH SCORE 24589.058
AT ITER 1315 NEW BEST:: SOT 110706 SOS 57121 HAS SOPS 57121 HAS SOUS 24523 HAS SOUPS 24523 WITH SCORE 24580.121
AT ITER 1320 NEW BEST:: SOT 110545 SOS 56925 HAS SOPS 56925 HAS SOUS 24396 HAS SOUPS 24396 WITH SCORE 24452.925
AT ITER 1324 NEW BEST:: SOT 110542 SOS 56931 HAS SOPS 56931 HAS SOUS 24393 HAS SOUPS 24393 WITH SCORE 24449.931
AT ITER 1328 NEW BEST:: SOT 110542 SOS 56931 HAS SOPS 56931 HAS SOUS 24389 HAS SOUPS 24389 WITH SCORE 24445.931
AT ITER 1333 NEW BEST:: SOT 110542 SOS 56931 HAS SOPS 56931 HAS SOUS 24381 HAS SOUPS 24381 WITH SCORE 24437.931
AT ITER 1339 NEW BEST:: SOT 110510 SOS 56927 HAS SOPS 56927 HAS SOUS 24349 HAS SOUPS 24349 WITH SCORE 24405.927
AT ITER 1347 NEW BEST:: SOT 110502 SOS 56893 HAS SOPS 56893 HAS SOUS 24328 HAS SOUPS 24328 WITH SCORE 24384.893
AT ITER 1350 NEW BEST:: SOT 110490 SOS 56877 HAS SOPS 56877 HAS SOUS 24312 HAS SOUPS 24312 WITH SCORE 24368.877
AT ITER 1356 NEW BEST:: SOT 110490 SOS 56877 HAS SOPS 56877 HAS SOUS 24276 HAS SOUPS 24276 WITH SCORE 24332.877
AT ITER 1369 NEW BEST:: SOT 110493 SOS 56867 HAS SOPS 56867 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24327.867
AT ITER 1371 NEW BEST:: SOT 110527 SOS 56682 HAS SOPS 56682 HAS SOUS 24130 HAS SOUPS 24130 WITH SCORE 24186.682
AT ITER 1375 NEW BEST:: SOT 110527 SOS 56682 HAS SOPS 56682 HAS SOUS 24083 HAS SOUPS 24083 WITH SCORE 24139.682
AT ITER 1382 NEW BEST:: SOT 110599 SOS 56810 HAS SOPS 56810 HAS SOUS 23981 HAS SOUPS 23981 WITH SCORE 24037.81
AT ITER 1383 NEW BEST:: SOT 110560 SOS 56768 HAS SOPS 56768 HAS SOUS 23942 HAS SOUPS 23942 WITH SCORE 23998.768
AT ITER 1394 NEW BEST:: SOT 110654 SOS 56745 HAS SOPS 56745 HAS SOUS 23774 HAS SOUPS 23774 WITH SCORE 23830.745
AT ITER 1400 NEW BEST:: SOT 110651 SOS 56793 HAS SOPS 56793 HAS SOUS 23771 HAS SOUPS 23771 WITH SCORE 23827.793
AT ITER 1405 NEW BEST:: SOT 110651 SOS 56793 HAS SOPS 56793 HAS SOUS 23715 HAS SOUPS 23715 WITH SCORE 23771.793
AT ITER 1407 NEW BEST:: SOT 110605 SOS 56733 HAS SOPS 56733 HAS SOUS 23671 HAS SOUPS 23671 WITH SCORE 23727.733
AT ITER 1411 NEW BEST:: SOT 110617 SOS 56756 HAS SOPS 56756 HAS SOUS 23662 HAS SOUPS 23662 WITH SCORE 23718.756
AT ITER 1415 NEW BEST:: SOT 110545 SOS 56684 HAS SOPS 56684 HAS SOUS 23607 HAS SOUPS 23607 WITH SCORE 23663.684
AT ITER 1424 NEW BEST:: SOT 110527 SOS 56658 HAS SOPS 56658 HAS SOUS 23593 HAS SOUPS 23593 WITH SCORE 23649.658
AT ITER 1431 NEW BEST:: SOT 110473 SOS 56524 HAS SOPS 56524 HAS SOUS 23539 HAS SOUPS 23539 WITH SCORE 23595.524
AT ITER 1450 NEW BEST:: SOT 110448 SOS 56657 HAS SOPS 56657 HAS SOUS 23516 HAS SOUPS 23516 WITH SCORE 23572.657
AT ITER 1468 NEW BEST:: SOT 110448 SOS 56502 HAS SOPS 56502 HAS SOUS 23422 HAS SOUPS 23422 WITH SCORE 23478.502
AT ITER 1472 NEW BEST:: SOT 110396 SOS 56404 HAS SOPS 56404 HAS SOUS 23415 HAS SOUPS 23415 WITH SCORE 23471.404
AT ITER 1473 NEW BEST:: SOT 110375 SOS 56369 HAS SOPS 56369 HAS SOUS 23401 HAS SOUPS 23401 WITH SCORE 23457.369
AT ITER 1483 NEW BEST:: SOT 110349 SOS 56343 HAS SOPS 56343 HAS SOUS 23375 HAS SOUPS 23375 WITH SCORE 23431.343
AT ITER 1484 NEW BEST:: SOT 110349 SOS 56343 HAS SOPS 56343 HAS SOUS 23343 HAS SOUPS 23343 WITH SCORE 23399.343
AT ITER 1496 NEW BEST:: SOT 110343 SOS 56337 HAS SOPS 56337 HAS SOUS 23337 HAS SOUPS 23337 WITH SCORE 23393.337
AT ITER 1501 NEW BEST:: SOT 110345 SOS 56373 HAS SOPS 56373 HAS SOUS 23332 HAS SOUPS 23332 WITH SCORE 23388.373
AT ITER 1504 NEW BEST:: SOT 110153 SOS 56131 HAS SOPS 56131 HAS SOUS 23242 HAS SOUPS 23242 WITH SCORE 23298.131
AT ITER 1505 NEW BEST:: SOT 110086 SOS 56037 HAS SOPS 56037 HAS SOUS 23226 HAS SOUPS 23226 WITH SCORE 23282.037
AT ITER 1531 NEW BEST:: SOT 110108 SOS 56025 HAS SOPS 56025 HAS SOUS 23224 HAS SOUPS 23224 WITH SCORE 23280.025
AT ITER 1536 NEW BEST:: SOT 110036 SOS 55928 HAS SOPS 55928 HAS SOUS 23037 HAS SOUPS 23037 WITH SCORE 23092.928
AT ITER 1550 NEW BEST:: SOT 109820 SOS 55606 HAS SOPS 55606 HAS SOUS 22610 HAS SOUPS 22610 WITH SCORE 22665.606
AT ITER 1557 NEW BEST:: SOT 109887 SOS 55482 HAS SOPS 55482 HAS SOUS 22608 HAS SOUPS 22608 WITH SCORE 22663.482
AT ITER 1562 NEW BEST:: SOT 109872 SOS 55482 HAS SOPS 55482 HAS SOUS 22585 HAS SOUPS 22585 WITH SCORE 22640.482
AT ITER 1572 NEW BEST:: SOT 109914 SOS 55512 HAS SOPS 55512 HAS SOUS 22543 HAS SOUPS 22543 WITH SCORE 22598.512
AT ITER 1580 NEW BEST:: SOT 109902 SOS 55502 HAS SOPS 55502 HAS SOUS 22505 HAS SOUPS 22505 WITH SCORE 22560.502
AT ITER 1585 NEW BEST:: SOT 109894 SOS 55502 HAS SOPS 55502 HAS SOUS 22497 HAS SOUPS 22497 WITH SCORE 22552.502
AT ITER 1591 NEW BEST:: SOT 109889 SOS 55487 HAS SOPS 55487 HAS SOUS 22467 HAS SOUPS 22467 WITH SCORE 22522.487
AT ITER 1594 NEW BEST:: SOT 109885 SOS 55483 HAS SOPS 55483 HAS SOUS 22447 HAS SOUPS 22447 WITH SCORE 22502.483
AT ITER 1607 NEW BEST:: SOT 109883 SOS 55461 HAS SOPS 55461 HAS SOUS 22442 HAS SOUPS 22442 WITH SCORE 22497.461
AT ITER 1614 NEW BEST:: SOT 109884 SOS 55339 HAS SOPS 55339 HAS SOUS 22407 HAS SOUPS 22407 WITH SCORE 22462.339
AT ITER 1620 NEW BEST:: SOT 109876 SOS 55331 HAS SOPS 55331 HAS SOUS 22407 HAS SOUPS 22407 WITH SCORE 22462.331
AT ITER 1647 NEW BEST:: SOT 109862 SOS 55303 HAS SOPS 55303 HAS SOUS 22379 HAS SOUPS 22379 WITH SCORE 22434.303
AT ITER 1651 NEW BEST:: SOT 109832 SOS 55273 HAS SOPS 55273 HAS SOUS 22361 HAS SOUPS 22361 WITH SCORE 22416.273
AT ITER 1652 NEW BEST:: SOT 109832 SOS 55273 HAS SOPS 55273 HAS SOUS 22346 HAS SOUPS 22346 WITH SCORE 22401.273
AT ITER 1684 NEW BEST:: SOT 109806 SOS 55177 HAS SOPS 55177 HAS SOUS 22320 HAS SOUPS 22320 WITH SCORE 22375.177
AT ITER 1692 NEW BEST:: SOT 109788 SOS 55087 HAS SOPS 55087 HAS SOUS 22302 HAS SOUPS 22302 WITH SCORE 22357.087
AT ITER 1703 NEW BEST:: SOT 109785 SOS 55081 HAS SOPS 55081 HAS SOUS 22299 HAS SOUPS 22299 WITH SCORE 22354.081
AT ITER 1704 NEW BEST:: SOT 109778 SOS 55074 HAS SOPS 55074 HAS SOUS 22299 HAS SOUPS 22299 WITH SCORE 22354.074
AT ITER 1705 NEW BEST:: SOT 109774 SOS 55070 HAS SOPS 55070 HAS SOUS 22297 HAS SOUPS 22297 WITH SCORE 22352.07
AT ITER 1706 NEW BEST:: SOT 109757 SOS 55002 HAS SOPS 55002 HAS SOUS 22297 HAS SOUPS 22297 WITH SCORE 22352.002
AT ITER 1722 NEW BEST:: SOT 109632 SOS 54959 HAS SOPS 54959 HAS SOUS 22186 HAS SOUPS 22186 WITH SCORE 22240.959
AT ITER 1728 NEW BEST:: SOT 109618 SOS 54931 HAS SOPS 54931 HAS SOUS 22172 HAS SOUPS 22172 WITH SCORE 22226.931
AT ITER 1756 NEW BEST:: SOT 109586 SOS 54795 HAS SOPS 54795 HAS SOUS 22166 HAS SOUPS 22166 WITH SCORE 22220.795
AT ITER 1760 NEW BEST:: SOT 109574 SOS 54810 HAS SOPS 54810 HAS SOUS 22124 HAS SOUPS 22124 WITH SCORE 22178.81
AT ITER 1769 NEW BEST:: SOT 109574 SOS 54726 HAS SOPS 54726 HAS SOUS 22121 HAS SOUPS 22121 WITH SCORE 22175.726
AT ITER 1781 NEW BEST:: SOT 109548 SOS 54700 HAS SOPS 54700 HAS SOUS 22090 HAS SOUPS 22090 WITH SCORE 22144.7
AT ITER 1782 NEW BEST:: SOT 109533 SOS 54680 HAS SOPS 54680 HAS SOUS 22070 HAS SOUPS 22070 WITH SCORE 22124.68
AT ITER 1787 NEW BEST:: SOT 109518 SOS 54660 HAS SOPS 54660 HAS SOUS 22055 HAS SOUPS 22055 WITH SCORE 22109.66
AT ITER 1791 NEW BEST:: SOT 109672 SOS 54814 HAS SOPS 54814 HAS SOUS 22035 HAS SOUPS 22035 WITH SCORE 22089.814
AT ITER 1794 NEW BEST:: SOT 109669 SOS 54816 HAS SOPS 54816 HAS SOUS 22033 HAS SOUPS 22033 WITH SCORE 22087.816
AT ITER 1798 NEW BEST:: SOT 109669 SOS 54816 HAS SOPS 54816 HAS SOUS 22031 HAS SOUPS 22031 WITH SCORE 22085.816
AT ITER 1804 NEW BEST:: SOT 109655 SOS 54824 HAS SOPS 54824 HAS SOUS 22017 HAS SOUPS 22017 WITH SCORE 22071.824
AT ITER 1822 NEW BEST:: SOT 109671 SOS 54840 HAS SOPS 54840 HAS SOUS 21966 HAS SOUPS 21966 WITH SCORE 22020.84
AT ITER 1833 NEW BEST:: SOT 109574 SOS 54808 HAS SOPS 54808 HAS SOUS 21839 HAS SOUPS 21839 WITH SCORE 21893.808
AT ITER 1834 NEW BEST:: SOT 109491 SOS 54672 HAS SOPS 54672 HAS SOUS 21701 HAS SOUPS 21701 WITH SCORE 21755.672
AT ITER 1851 NEW BEST:: SOT 109516 SOS 54655 HAS SOPS 54655 HAS SOUS 21688 HAS SOUPS 21688 WITH SCORE 21742.655
AT ITER 1864 NEW BEST:: SOT 109511 SOS 54623 HAS SOPS 54623 HAS SOUS 21682 HAS SOUPS 21682 WITH SCORE 21736.623
AT ITER 1870 NEW BEST:: SOT 109499 SOS 54536 HAS SOPS 54536 HAS SOUS 21645 HAS SOUPS 21645 WITH SCORE 21699.536
AT ITER 1879 NEW BEST:: SOT 109418 SOS 54534 HAS SOPS 54534 HAS SOUS 21564 HAS SOUPS 21564 WITH SCORE 21618.534
AT ITER 1884 NEW BEST:: SOT 109311 SOS 54322 HAS SOPS 54322 HAS SOUS 21459 HAS SOUPS 21459 WITH SCORE 21513.322
AT ITER 1897 NEW BEST:: SOT 109391 SOS 54518 HAS SOPS 54518 HAS SOUS 21442 HAS SOUPS 21442 WITH SCORE 21496.518
AT ITER 1906 NEW BEST:: SOT 109391 SOS 54486 HAS SOPS 54486 HAS SOUS 21442 HAS SOUPS 21442 WITH SCORE 21496.486
AT ITER 1912 NEW BEST:: SOT 109443 SOS 54538 HAS SOPS 54538 HAS SOUS 21438 HAS SOUPS 21438 WITH SCORE 21492.538
AT ITER 1915 NEW BEST:: SOT 109470 SOS 54398 HAS SOPS 54398 HAS SOUS 21427 HAS SOUPS 21427 WITH SCORE 21481.398
AT ITER 1936 NEW BEST:: SOT 109424 SOS 54336 HAS SOPS 54336 HAS SOUS 21337 HAS SOUPS 21337 WITH SCORE 21391.336
AT ITER 1941 NEW BEST:: SOT 109424 SOS 54324 HAS SOPS 54324 HAS SOUS 21329 HAS SOUPS 21329 WITH SCORE 21383.324
AT ITER 1943 NEW BEST:: SOT 109482 SOS 54382 HAS SOPS 54382 HAS SOUS 21325 HAS SOUPS 21325 WITH SCORE 21379.382
AT ITER 1947 NEW BEST:: SOT 109482 SOS 54344 HAS SOPS 54344 HAS SOUS 21325 HAS SOUPS 21325 WITH SCORE 21379.344
AT ITER 1957 NEW BEST:: SOT 109482 SOS 54252 HAS SOPS 54252 HAS SOUS 21323 HAS SOUPS 21323 WITH SCORE 21377.252
AT ITER 1974 NEW BEST:: SOT 109563 SOS 54106 HAS SOPS 54106 HAS SOUS 21256 HAS SOUPS 21256 WITH SCORE 21310.106
AT ITER 1975 NEW BEST:: SOT 109575 SOS 54251 HAS SOPS 54251 HAS SOUS 21245 HAS SOUPS 21245 WITH SCORE 21299.251
AT ITER 1980 NEW BEST:: SOT 109649 SOS 54277 HAS SOPS 54277 HAS SOUS 21102 HAS SOUPS 21102 WITH SCORE 21156.277
AT ITER 1996 NEW BEST:: SOT 109256 SOS 53981 HAS SOPS 53981 HAS SOUS 21086 HAS SOUPS 21086 WITH SCORE 21139.981
AT ITER 2003 NEW BEST:: SOT 109231 SOS 53979 HAS SOPS 53979 HAS SOUS 21059 HAS SOUPS 21059 WITH SCORE 21112.979
AT ITER 2034 NEW BEST:: SOT 109219 SOS 53973 HAS SOPS 53973 HAS SOUS 21059 HAS SOUPS 21059 WITH SCORE 21112.973
AT ITER 2052 NEW BEST:: SOT 109199 SOS 53943 HAS SOPS 53943 HAS SOUS 21029 HAS SOUPS 21029 WITH SCORE 21082.943
AT ITER 2076 NEW BEST:: SOT 109199 SOS 53943 HAS SOPS 53943 HAS SOUS 21025 HAS SOUPS 21025 WITH SCORE 21078.943
AT ITER 2077 NEW BEST:: SOT 109238 SOS 54197 HAS SOPS 54197 HAS SOUS 21004 HAS SOUPS 21004 WITH SCORE 21058.197
AT ITER 2079 NEW BEST:: SOT 109213 SOS 53799 HAS SOPS 53799 HAS SOUS 20978 HAS SOUPS 20978 WITH SCORE 21031.799
AT ITER 2080 NEW BEST:: SOT 109193 SOS 53615 HAS SOPS 53615 HAS SOUS 20958 HAS SOUPS 20958 WITH SCORE 21011.615
AT ITER 2082 NEW BEST:: SOT 109213 SOS 53690 HAS SOPS 53690 HAS SOUS 20956 HAS SOUPS 20956 WITH SCORE 21009.69
AT ITER 2102 NEW BEST:: SOT 109213 SOS 53690 HAS SOPS 53690 HAS SOUS 20951 HAS SOUPS 20951 WITH SCORE 21004.69
AT ITER 2107 NEW BEST:: SOT 109203 SOS 53685 HAS SOPS 53685 HAS SOUS 20936 HAS SOUPS 20936 WITH SCORE 20989.685
AT ITER 2112 NEW BEST:: SOT 109202 SOS 53673 HAS SOPS 53673 HAS SOUS 20924 HAS SOUPS 20924 WITH SCORE 20977.673
AT ITER 2125 NEW BEST:: SOT 109194 SOS 53665 HAS SOPS 53665 HAS SOUS 20921 HAS SOUPS 20921 WITH SCORE 20974.665
AT ITER 2126 NEW BEST:: SOT 109230 SOS 53404 HAS SOPS 53404 HAS SOUS 20805 HAS SOUPS 20805 WITH SCORE 20858.404
AT ITER 2132 NEW BEST:: SOT 109186 SOS 53360 HAS SOPS 53360 HAS SOUS 20761 HAS SOUPS 20761 WITH SCORE 20814.36
AT ITER 2146 NEW BEST:: SOT 109177 SOS 53348 HAS SOPS 53348 HAS SOUS 20749 HAS SOUPS 20749 WITH SCORE 20802.348
AT ITER 2148 NEW BEST:: SOT 109159 SOS 53398 HAS SOPS 53398 HAS SOUS 20713 HAS SOUPS 20713 WITH SCORE 20766.398
AT ITER 2154 NEW BEST:: SOT 109129 SOS 53200 HAS SOPS 53200 HAS SOUS 20669 HAS SOUPS 20669 WITH SCORE 20722.2
AT ITER 2158 NEW BEST:: SOT 109092 SOS 53192 HAS SOPS 53192 HAS SOUS 20640 HAS SOUPS 20640 WITH SCORE 20693.192
AT ITER 2162 NEW BEST:: SOT 108927 SOS 53004 HAS SOPS 53004 HAS SOUS 20551 HAS SOUPS 20551 WITH SCORE 20604.004
AT ITER 2163 NEW BEST:: SOT 108778 SOS 52881 HAS SOPS 52881 HAS SOUS 20343 HAS SOUPS 20343 WITH SCORE 20395.881
AT ITER 2177 NEW BEST:: SOT 108694 SOS 52685 HAS SOPS 52685 HAS SOUS 20259 HAS SOUPS 20259 WITH SCORE 20311.685
AT ITER 2210 NEW BEST:: SOT 108102 SOS 52708 HAS SOPS 52708 HAS SOUS 19994 HAS SOUPS 19994 WITH SCORE 20046.708
AT ITER 2217 NEW BEST:: SOT 108104 SOS 52724 HAS SOPS 52724 HAS SOUS 19972 HAS SOUPS 19972 WITH SCORE 20024.724
AT ITER 2223 NEW BEST:: SOT 108106 SOS 52756 HAS SOPS 52756 HAS SOUS 19968 HAS SOUPS 19968 WITH SCORE 20020.756
AT ITER 2240 NEW BEST:: SOT 108120 SOS 52770 HAS SOPS 52770 HAS SOUS 19920 HAS SOUPS 19920 WITH SCORE 19972.77
AT ITER 2250 NEW BEST:: SOT 108103 SOS 52705 HAS SOPS 52705 HAS SOUS 19898 HAS SOUPS 19898 WITH SCORE 19950.705
AT ITER 2260 NEW BEST:: SOT 107877 SOS 51745 HAS SOPS 51745 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19691.745
AT ITER 2264 NEW BEST:: SOT 107855 SOS 51723 HAS SOPS 51723 HAS SOUS 19558 HAS SOUPS 19558 WITH SCORE 19609.723
AT ITER 2270 NEW BEST:: SOT 107660 SOS 51616 HAS SOPS 51616 HAS SOUS 19503 HAS SOUPS 19503 WITH SCORE 19554.616
AT ITER 2310 NEW BEST:: SOT 107624 SOS 51578 HAS SOPS 51578 HAS SOUS 19468 HAS SOUPS 19468 WITH SCORE 19519.578
AT ITER 2311 NEW BEST:: SOT 107499 SOS 51301 HAS SOPS 51301 HAS SOUS 19396 HAS SOUPS 19396 WITH SCORE 19447.301
AT ITER 2316 NEW BEST:: SOT 107515 SOS 51317 HAS SOPS 51317 HAS SOUS 19389 HAS SOUPS 19389 WITH SCORE 19440.317
AT ITER 2318 NEW BEST:: SOT 107452 SOS 51233 HAS SOPS 51233 HAS SOUS 19305 HAS SOUPS 19305 WITH SCORE 19356.233
AT ITER 2326 NEW BEST:: SOT 107428 SOS 51209 HAS SOPS 51209 HAS SOUS 19281 HAS SOUPS 19281 WITH SCORE 19332.209
AT ITER 2333 NEW BEST:: SOT 107426 SOS 51207 HAS SOPS 51207 HAS SOUS 19279 HAS SOUPS 19279 WITH SCORE 19330.207
AT ITER 2340 NEW BEST:: SOT 107409 SOS 51241 HAS SOPS 51241 HAS SOUS 19262 HAS SOUPS 19262 WITH SCORE 19313.241
AT ITER 2341 NEW BEST:: SOT 107462 SOS 51226 HAS SOPS 51226 HAS SOUS 19253 HAS SOUPS 19253 WITH SCORE 19304.226
AT ITER 2358 NEW BEST:: SOT 107455 SOS 51212 HAS SOPS 51212 HAS SOUS 19246 HAS SOUPS 19246 WITH SCORE 19297.212
AT ITER 2359 NEW BEST:: SOT 107447 SOS 51204 HAS SOPS 51204 HAS SOUS 19238 HAS SOUPS 19238 WITH SCORE 19289.204
AT ITER 2360 NEW BEST:: SOT 107353 SOS 51074 HAS SOPS 51074 HAS SOUS 19097 HAS SOUPS 19097 WITH SCORE 19148.074
AT ITER 2382 NEW BEST:: SOT 107338 SOS 51089 HAS SOPS 51089 HAS SOUS 19082 HAS SOUPS 19082 WITH SCORE 19133.089
AT ITER 2389 NEW BEST:: SOT 107347 SOS 51185 HAS SOPS 51185 HAS SOUS 19074 HAS SOUPS 19074 WITH SCORE 19125.185
AT ITER 2393 NEW BEST:: SOT 107347 SOS 50981 HAS SOPS 50981 HAS SOUS 19074 HAS SOUPS 19074 WITH SCORE 19124.981
AT ITER 2394 NEW BEST:: SOT 107330 SOS 50981 HAS SOPS 50981 HAS SOUS 19057 HAS SOUPS 19057 WITH SCORE 19107.981
AT ITER 2416 NEW BEST:: SOT 107330 SOS 50906 HAS SOPS 50906 HAS SOUS 19047 HAS SOUPS 19047 WITH SCORE 19097.906
AT ITER 2429 NEW BEST:: SOT 107342 SOS 50912 HAS SOPS 50912 HAS SOUS 19035 HAS SOUPS 19035 WITH SCORE 19085.912
AT ITER 2435 NEW BEST:: SOT 107340 SOS 50898 HAS SOPS 50898 HAS SOUS 19029 HAS SOUPS 19029 WITH SCORE 19079.898
AT ITER 2439 NEW BEST:: SOT 107347 SOS 50896 HAS SOPS 50896 HAS SOUS 19027 HAS SOUPS 19027 WITH SCORE 19077.896
AT ITER 2442 NEW BEST:: SOT 107323 SOS 50824 HAS SOPS 50824 HAS SOUS 19003 HAS SOUPS 19003 WITH SCORE 19053.824
AT ITER 2452 NEW BEST:: SOT 107249 SOS 50709 HAS SOPS 50709 HAS SOUS 18888 HAS SOUPS 18888 WITH SCORE 18938.709
AT ITER 2453 NEW BEST:: SOT 107238 SOS 50687 HAS SOPS 50687 HAS SOUS 18809 HAS SOUPS 18809 WITH SCORE 18859.687
AT ITER 2461 NEW BEST:: SOT 107126 SOS 50686 HAS SOPS 50686 HAS SOUS 18808 HAS SOUPS 18808 WITH SCORE 18858.686
AT ITER 2474 NEW BEST:: SOT 107121 SOS 50676 HAS SOPS 50676 HAS SOUS 18793 HAS SOUPS 18793 WITH SCORE 18843.676
AT ITER 2491 NEW BEST:: SOT 107088 SOS 50593 HAS SOPS 50593 HAS SOUS 18777 HAS SOUPS 18777 WITH SCORE 18827.593
AT ITER 2493 NEW BEST:: SOT 107082 SOS 50579 HAS SOPS 50579 HAS SOUS 18773 HAS SOUPS 18773 WITH SCORE 18823.579
AT ITER 2500 NEW BEST:: SOT 107082 SOS 50579 HAS SOPS 50579 HAS SOUS 18749 HAS SOUPS 18749 WITH SCORE 18799.579
AT ITER 2505 NEW BEST:: SOT 107138 SOS 50084 HAS SOPS 50084 HAS SOUS 18568 HAS SOUPS 18568 WITH SCORE 18618.084
AT ITER 2506 NEW BEST:: SOT 107120 SOS 50036 HAS SOPS 50036 HAS SOUS 18544 HAS SOUPS 18544 WITH SCORE 18594.036
AT ITER 2513 NEW BEST:: SOT 107120 SOS 50036 HAS SOPS 50036 HAS SOUS 18523 HAS SOUPS 18523 WITH SCORE 18573.036
AT ITER 2518 NEW BEST:: SOT 107082 SOS 50062 HAS SOPS 50062 HAS SOUS 18519 HAS SOUPS 18519 WITH SCORE 18569.062
AT ITER 2533 NEW BEST:: SOT 107079 SOS 50050 HAS SOPS 50050 HAS SOUS 18516 HAS SOUPS 18516 WITH SCORE 18566.05
AT ITER 2534 NEW BEST:: SOT 107074 SOS 50044 HAS SOPS 50044 HAS SOUS 18510 HAS SOUPS 18510 WITH SCORE 18560.044
AT ITER 2555 NEW BEST:: SOT 107140 SOS 50092 HAS SOPS 50092 HAS SOUS 18493 HAS SOUPS 18493 WITH SCORE 18543.092
AT ITER 2558 NEW BEST:: SOT 107167 SOS 50065 HAS SOPS 50065 HAS SOUS 18420 HAS SOUPS 18420 WITH SCORE 18470.065
AT ITER 2561 NEW BEST:: SOT 107191 SOS 50041 HAS SOPS 50041 HAS SOUS 18400 HAS SOUPS 18400 WITH SCORE 18450.041
AT ITER 2567 NEW BEST:: SOT 107191 SOS 50087 HAS SOPS 50087 HAS SOUS 18392 HAS SOUPS 18392 WITH SCORE 18442.087
AT ITER 2583 NEW BEST:: SOT 107181 SOS 50011 HAS SOPS 50011 HAS SOUS 18352 HAS SOUPS 18352 WITH SCORE 18402.011
AT ITER 2584 NEW BEST:: SOT 107038 SOS 50335 HAS SOPS 50335 HAS SOUS 18225 HAS SOUPS 18225 WITH SCORE 18275.335
AT ITER 2587 NEW BEST:: SOT 107026 SOS 50315 HAS SOPS 50315 HAS SOUS 18208 HAS SOUPS 18208 WITH SCORE 18258.315
AT ITER 2594 NEW BEST:: SOT 107035 SOS 50315 HAS SOPS 50315 HAS SOUS 18175 HAS SOUPS 18175 WITH SCORE 18225.315
AT ITER 2596 NEW BEST:: SOT 107025 SOS 50283 HAS SOPS 50283 HAS SOUS 18163 HAS SOUPS 18163 WITH SCORE 18213.283
AT ITER 2611 NEW BEST:: SOT 106968 SOS 50207 HAS SOPS 50207 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18137.207
AT ITER 2622 NEW BEST:: SOT 106933 SOS 50277 HAS SOPS 50277 HAS SOUS 18052 HAS SOUPS 18052 WITH SCORE 18102.277
AT ITER 2643 NEW BEST:: SOT 107030 SOS 50416 HAS SOPS 50416 HAS SOUS 18026 HAS SOUPS 18026 WITH SCORE 18076.416
AT ITER 2662 NEW BEST:: SOT 107030 SOS 50416 HAS SOPS 50416 HAS SOUS 18005 HAS SOUPS 18005 WITH SCORE 18055.416
AT ITER 2674 NEW BEST:: SOT 106940 SOS 50168 HAS SOPS 50168 HAS SOUS 17847 HAS SOUPS 17847 WITH SCORE 17897.168
AT ITER 2682 NEW BEST:: SOT 106946 SOS 50230 HAS SOPS 50230 HAS SOUS 17845 HAS SOUPS 17845 WITH SCORE 17895.23
AT ITER 2686 NEW BEST:: SOT 106907 SOS 50178 HAS SOPS 50178 HAS SOUS 17819 HAS SOUPS 17819 WITH SCORE 17869.178
AT ITER 2688 NEW BEST:: SOT 106878 SOS 50151 HAS SOPS 50151 HAS SOUS 17798 HAS SOUPS 17798 WITH SCORE 17848.151
AT ITER 2705 NEW BEST:: SOT 106891 SOS 50153 HAS SOPS 50153 HAS SOUS 17796 HAS SOUPS 17796 WITH SCORE 17846.153
AT ITER 2706 NEW BEST:: SOT 106849 SOS 51794 HAS SOPS 51794 HAS SOUS 17768 HAS SOUPS 17768 WITH SCORE 17819.794
AT ITER 2723 NEW BEST:: SOT 106834 SOS 51802 HAS SOPS 51802 HAS SOUS 17733 HAS SOUPS 17733 WITH SCORE 17784.802
AT ITER 2728 NEW BEST:: SOT 106843 SOS 51774 HAS SOPS 51774 HAS SOUS 17713 HAS SOUPS 17713 WITH SCORE 17764.774
AT ITER 2732 NEW BEST:: SOT 106739 SOS 51644 HAS SOPS 51644 HAS SOUS 17609 HAS SOUPS 17609 WITH SCORE 17660.644
AT ITER 2733 NEW BEST:: SOT 106739 SOS 51602 HAS SOPS 51602 HAS SOUS 17609 HAS SOUPS 17609 WITH SCORE 17660.602
AT ITER 2737 NEW BEST:: SOT 106742 SOS 51605 HAS SOPS 51605 HAS SOUS 17600 HAS SOUPS 17600 WITH SCORE 17651.605
AT ITER 2746 NEW BEST:: SOT 106732 SOS 51580 HAS SOPS 51580 HAS SOUS 17592 HAS SOUPS 17592 WITH SCORE 17643.58
AT ITER 2778 NEW BEST:: SOT 106707 SOS 51651 HAS SOPS 51651 HAS SOUS 17544 HAS SOUPS 17544 WITH SCORE 17595.651
AT ITER 2802 NEW BEST:: SOT 106717 SOS 51619 HAS SOPS 51619 HAS SOUS 17544 HAS SOUPS 17544 WITH SCORE 17595.619
AT ITER 2821 NEW BEST:: SOT 106685 SOS 51594 HAS SOPS 51594 HAS SOUS 17540 HAS SOUPS 17540 WITH SCORE 17591.594
AT ITER 2829 NEW BEST:: SOT 106654 SOS 51621 HAS SOPS 51621 HAS SOUS 17514 HAS SOUPS 17514 WITH SCORE 17565.621
AT ITER 2848 NEW BEST:: SOT 106629 SOS 51559 HAS SOPS 51559 HAS SOUS 17489 HAS SOUPS 17489 WITH SCORE 17540.559
AT ITER 2859 NEW BEST:: SOT 106623 SOS 51553 HAS SOPS 51553 HAS SOUS 17483 HAS SOUPS 17483 WITH SCORE 17534.553
AT ITER 2861 NEW BEST:: SOT 106614 SOS 51544 HAS SOPS 51544 HAS SOUS 17461 HAS SOUPS 17461 WITH SCORE 17512.544
AT ITER 2865 NEW BEST:: SOT 106637 SOS 51567 HAS SOPS 51567 HAS SOUS 17447 HAS SOUPS 17447 WITH SCORE 17498.567
AT ITER 2875 NEW BEST:: SOT 106595 SOS 51525 HAS SOPS 51525 HAS SOUS 17304 HAS SOUPS 17304 WITH SCORE 17355.525
AT ITER 2886 NEW BEST:: SOT 106517 SOS 51343 HAS SOPS 51343 HAS SOUS 17252 HAS SOUPS 17252 WITH SCORE 17303.343
AT ITER 2887 NEW BEST:: SOT 106510 SOS 51318 HAS SOPS 51318 HAS SOUS 17213 HAS SOUPS 17213 WITH SCORE 17264.318
AT ITER 2908 NEW BEST:: SOT 106507 SOS 51314 HAS SOPS 51314 HAS SOUS 17210 HAS SOUPS 17210 WITH SCORE 17261.314
AT ITER 2912 NEW BEST:: SOT 106449 SOS 51236 HAS SOPS 51236 HAS SOUS 17152 HAS SOUPS 17152 WITH SCORE 17203.236
AT ITER 2919 NEW BEST:: SOT 106440 SOS 51218 HAS SOPS 51218 HAS SOUS 17143 HAS SOUPS 17143 WITH SCORE 17194.218
AT ITER 2923 NEW BEST:: SOT 106423 SOS 51265 HAS SOPS 51265 HAS SOUS 17123 HAS SOUPS 17123 WITH SCORE 17174.265
AT ITER 2932 NEW BEST:: SOT 106467 SOS 51047 HAS SOPS 51047 HAS SOUS 17097 HAS SOUPS 17097 WITH SCORE 17148.047
AT ITER 2948 NEW BEST:: SOT 106462 SOS 50861 HAS SOPS 50861 HAS SOUS 17051 HAS SOUPS 17051 WITH SCORE 17101.861
AT ITER 2978 NEW BEST:: SOT 106458 SOS 50844 HAS SOPS 50844 HAS SOUS 17048 HAS SOUPS 17048 WITH SCORE 17098.844
AT ITER 2995 NEW BEST:: SOT 106461 SOS 50841 HAS SOPS 50841 HAS SOUS 17045 HAS SOUPS 17045 WITH SCORE 17095.841
AT ITER 3005 NEW BEST:: SOT 106442 SOS 50784 HAS SOPS 50784 HAS SOUS 17017 HAS SOUPS 17017 WITH SCORE 17067.784
AT ITER 3006 NEW BEST:: SOT 106440 SOS 50770 HAS SOPS 50770 HAS SOUS 16989 HAS SOUPS 16989 WITH SCORE 17039.77
AT ITER 3007 NEW BEST:: SOT 106440 SOS 50776 HAS SOPS 50776 HAS SOUS 16981 HAS SOUPS 16981 WITH SCORE 17031.776
AT ITER 3015 NEW BEST:: SOT 106423 SOS 50698 HAS SOPS 50698 HAS SOUS 16922 HAS SOUPS 16922 WITH SCORE 16972.698
AT ITER 3020 NEW BEST:: SOT 106465 SOS 50752 HAS SOPS 50752 HAS SOUS 16908 HAS SOUPS 16908 WITH SCORE 16958.752
AT ITER 3022 NEW BEST:: SOT 106445 SOS 50720 HAS SOPS 50720 HAS SOUS 16892 HAS SOUPS 16892 WITH SCORE 16942.72
AT ITER 3033 NEW BEST:: SOT 106425 SOS 50445 HAS SOPS 50445 HAS SOUS 16801 HAS SOUPS 16801 WITH SCORE 16851.445
AT ITER 3053 NEW BEST:: SOT 106426 SOS 50485 HAS SOPS 50485 HAS SOUS 16794 HAS SOUPS 16794 WITH SCORE 16844.485
AT ITER 3056 NEW BEST:: SOT 106422 SOS 50461 HAS SOPS 50461 HAS SOUS 16790 HAS SOUPS 16790 WITH SCORE 16840.461
AT ITER 3061 NEW BEST:: SOT 106349 SOS 50388 HAS SOPS 50388 HAS SOUS 16779 HAS SOUPS 16779 WITH SCORE 16829.388
AT ITER 3066 NEW BEST:: SOT 106354 SOS 50393 HAS SOPS 50393 HAS SOUS 16769 HAS SOUPS 16769 WITH SCORE 16819.393
AT ITER 3070 NEW BEST:: SOT 106354 SOS 50393 HAS SOPS 50393 HAS SOUS 16753 HAS SOUPS 16753 WITH SCORE 16803.393
AT ITER 3071 NEW BEST:: SOT 106354 SOS 50393 HAS SOPS 50393 HAS SOUS 16741 HAS SOUPS 16741 WITH SCORE 16791.393
AT ITER 3082 NEW BEST:: SOT 106346 SOS 50385 HAS SOPS 50385 HAS SOUS 16725 HAS SOUPS 16725 WITH SCORE 16775.385
AT ITER 3088 NEW BEST:: SOT 106378 SOS 50395 HAS SOPS 50395 HAS SOUS 16689 HAS SOUPS 16689 WITH SCORE 16739.395
AT ITER 3105 NEW BEST:: SOT 106334 SOS 50351 HAS SOPS 50351 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16685.351
AT ITER 3127 NEW BEST:: SOT 106314 SOS 50454 HAS SOPS 50454 HAS SOUS 16608 HAS SOUPS 16608 WITH SCORE 16658.454
AT ITER 3130 NEW BEST:: SOT 106217 SOS 50357 HAS SOPS 50357 HAS SOUS 16568 HAS SOUPS 16568 WITH SCORE 16618.357
AT ITER 3136 NEW BEST:: SOT 106217 SOS 50339 HAS SOPS 50339 HAS SOUS 16562 HAS SOUPS 16562 WITH SCORE 16612.339
AT ITER 3194 NEW BEST:: SOT 106197 SOS 50319 HAS SOPS 50319 HAS SOUS 16542 HAS SOUPS 16542 WITH SCORE 16592.319
AT ITER 3199 NEW BEST:: SOT 106206 SOS 50313 HAS SOPS 50313 HAS SOUS 16538 HAS SOUPS 16538 WITH SCORE 16588.313
AT ITER 3209 NEW BEST:: SOT 106190 SOS 50288 HAS SOPS 50288 HAS SOUS 16510 HAS SOUPS 16510 WITH SCORE 16560.288
AT ITER 3213 NEW BEST:: SOT 106216 SOS 50354 HAS SOPS 50354 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16546.354
AT ITER 3249 NEW BEST:: SOT 106213 SOS 50351 HAS SOPS 50351 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16546.351
AT ITER 3277 NEW BEST:: SOT 106191 SOS 50329 HAS SOPS 50329 HAS SOUS 16492 HAS SOUPS 16492 WITH SCORE 16542.329
AT ITER 3299 NEW BEST:: SOT 106187 SOS 50317 HAS SOPS 50317 HAS SOUS 16484 HAS SOUPS 16484 WITH SCORE 16534.317
AT ITER 3300 NEW BEST:: SOT 106167 SOS 50698 HAS SOPS 50698 HAS SOUS 16477 HAS SOUPS 16477 WITH SCORE 16527.698
AT ITER 3322 NEW BEST:: SOT 106106 SOS 50957 HAS SOPS 50957 HAS SOUS 16430 HAS SOUPS 16430 WITH SCORE 16480.957
AT ITER 3327 NEW BEST:: SOT 106120 SOS 50971 HAS SOPS 50971 HAS SOUS 16392 HAS SOUPS 16392 WITH SCORE 16442.971
AT ITER 3343 NEW BEST:: SOT 106106 SOS 50953 HAS SOPS 50953 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16415.953
AT ITER 3357 NEW BEST:: SOT 106104 SOS 50951 HAS SOPS 50951 HAS SOUS 16354 HAS SOUPS 16354 WITH SCORE 16404.951
AT ITER 3359 NEW BEST:: SOT 106073 SOS 50920 HAS SOPS 50920 HAS SOUS 16354 HAS SOUPS 16354 WITH SCORE 16404.92
AT ITER 3362 NEW BEST:: SOT 106074 SOS 50921 HAS SOPS 50921 HAS SOUS 16352 HAS SOUPS 16352 WITH SCORE 16402.921
AT ITER 3375 NEW BEST:: SOT 106068 SOS 50909 HAS SOPS 50909 HAS SOUS 16346 HAS SOUPS 16346 WITH SCORE 16396.909
AT ITER 3386 NEW BEST:: SOT 106044 SOS 50841 HAS SOPS 50841 HAS SOUS 16310 HAS SOUPS 16310 WITH SCORE 16360.841
AT ITER 3436 NEW BEST:: SOT 106033 SOS 50825 HAS SOPS 50825 HAS SOUS 16299 HAS SOUPS 16299 WITH SCORE 16349.825
AT ITER 3437 NEW BEST:: SOT 106033 SOS 50825 HAS SOPS 50825 HAS SOUS 16282 HAS SOUPS 16282 WITH SCORE 16332.825
AT ITER 3472 NEW BEST:: SOT 106072 SOS 50865 HAS SOPS 50865 HAS SOUS 16273 HAS SOUPS 16273 WITH SCORE 16323.865
AT ITER 3499 NEW BEST:: SOT 106098 SOS 50891 HAS SOPS 50891 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16321.891
AT ITER 3516 NEW BEST:: SOT 106074 SOS 50860 HAS SOPS 50860 HAS SOUS 16253 HAS SOUPS 16253 WITH SCORE 16303.86
AT ITER 3519 NEW BEST:: SOT 106068 SOS 50854 HAS SOPS 50854 HAS SOUS 16253 HAS SOUPS 16253 WITH SCORE 16303.854
AT ITER 3528 NEW BEST:: SOT 106026 SOS 51578 HAS SOPS 51578 HAS SOUS 16233 HAS SOUPS 16233 WITH SCORE 16284.578
AT ITER 3530 NEW BEST:: SOT 105616 SOS 52355 HAS SOPS 52355 HAS SOUS 16053 HAS SOUPS 16053 WITH SCORE 16105.355
AT ITER 3533 NEW BEST:: SOT 105616 SOS 52351 HAS SOPS 52351 HAS SOUS 16049 HAS SOUPS 16049 WITH SCORE 16101.351
AT ITER 3554 NEW BEST:: SOT 105612 SOS 52254 HAS SOPS 52254 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16097.254
AT ITER 3555 NEW BEST:: SOT 105616 SOS 52258 HAS SOPS 52258 HAS SOUS 16033 HAS SOUPS 16033 WITH SCORE 16085.258
AT ITER 3567 NEW BEST:: SOT 105616 SOS 52258 HAS SOPS 52258 HAS SOUS 16023 HAS SOUPS 16023 WITH SCORE 16075.258
AT ITER 3572 NEW BEST:: SOT 105618 SOS 52266 HAS SOPS 52266 HAS SOUS 16022 HAS SOUPS 16022 WITH SCORE 16074.266
AT ITER 3601 NEW BEST:: SOT 105645 SOS 52239 HAS SOPS 52239 HAS SOUS 16022 HAS SOUPS 16022 WITH SCORE 16074.239
AT ITER 3605 NEW BEST:: SOT 105623 SOS 51264 HAS SOPS 51264 HAS SOUS 15991 HAS SOUPS 15991 WITH SCORE 16042.264
AT ITER 3610 NEW BEST:: SOT 105615 SOS 51252 HAS SOPS 51252 HAS SOUS 15982 HAS SOUPS 15982 WITH SCORE 16033.252
AT ITER 3624 NEW BEST:: SOT 105612 SOS 51248 HAS SOPS 51248 HAS SOUS 15976 HAS SOUPS 15976 WITH SCORE 16027.248
AT ITER 3625 NEW BEST:: SOT 105569 SOS 51195 HAS SOPS 51195 HAS SOUS 15941 HAS SOUPS 15941 WITH SCORE 15992.195
AT ITER 3639 NEW BEST:: SOT 105560 SOS 51126 HAS SOPS 51126 HAS SOUS 15887 HAS SOUPS 15887 WITH SCORE 15938.126
AT ITER 3689 NEW BEST:: SOT 105481 SOS 51047 HAS SOPS 51047 HAS SOUS 15853 HAS SOUPS 15853 WITH SCORE 15904.047
AT ITER 3700 NEW BEST:: SOT 105500 SOS 51035 HAS SOPS 51035 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15898.035
AT ITER 3713 NEW BEST:: SOT 105475 SOS 51003 HAS SOPS 51003 HAS SOUS 15815 HAS SOUPS 15815 WITH SCORE 15866.003
AT ITER 3717 NEW BEST:: SOT 105475 SOS 51003 HAS SOPS 51003 HAS SOUS 15803 HAS SOUPS 15803 WITH SCORE 15854.003
AT ITER 3738 NEW BEST:: SOT 105427 SOS 50881 HAS SOPS 50881 HAS SOUS 15778 HAS SOUPS 15778 WITH SCORE 15828.881
AT ITER 3744 NEW BEST:: SOT 105422 SOS 50904 HAS SOPS 50904 HAS SOUS 15768 HAS SOUPS 15768 WITH SCORE 15818.904
AT ITER 3750 NEW BEST:: SOT 105317 SOS 50699 HAS SOPS 50699 HAS SOUS 15738 HAS SOUPS 15738 WITH SCORE 15788.699
AT ITER 3757 NEW BEST:: SOT 105335 SOS 50717 HAS SOPS 50717 HAS SOUS 15730 HAS SOUPS 15730 WITH SCORE 15780.717
AT ITER 3762 NEW BEST:: SOT 105330 SOS 50707 HAS SOPS 50707 HAS SOUS 15725 HAS SOUPS 15725 WITH SCORE 15775.707
AT ITER 3765 NEW BEST:: SOT 105296 SOS 50680 HAS SOPS 50680 HAS SOUS 15699 HAS SOUPS 15699 WITH SCORE 15749.68
AT ITER 3776 NEW BEST:: SOT 105280 SOS 50720 HAS SOPS 50720 HAS SOUS 15689 HAS SOUPS 15689 WITH SCORE 15739.72
AT ITER 3781 NEW BEST:: SOT 105266 SOS 50572 HAS SOPS 50572 HAS SOUS 15676 HAS SOUPS 15676 WITH SCORE 15726.572
AT ITER 3793 NEW BEST:: SOT 105253 SOS 50425 HAS SOPS 50425 HAS SOUS 15660 HAS SOUPS 15660 WITH SCORE 15710.425
AT ITER 3802 NEW BEST:: SOT 105250 SOS 50420 HAS SOPS 50420 HAS SOUS 15657 HAS SOUPS 15657 WITH SCORE 15707.42
AT ITER 3817 NEW BEST:: SOT 105163 SOS 50098 HAS SOPS 50098 HAS SOUS 15615 HAS SOUPS 15615 WITH SCORE 15665.098
AT ITER 3873 NEW BEST:: SOT 105113 SOS 50048 HAS SOPS 50048 HAS SOUS 15562 HAS SOUPS 15562 WITH SCORE 15612.048
AT ITER 3899 NEW BEST:: SOT 105089 SOS 50069 HAS SOPS 50069 HAS SOUS 15538 HAS SOUPS 15538 WITH SCORE 15588.069
AT ITER 3917 NEW BEST:: SOT 105089 SOS 50057 HAS SOPS 50057 HAS SOUS 15537 HAS SOUPS 15537 WITH SCORE 15587.057
AT ITER 3921 NEW BEST:: SOT 105075 SOS 50043 HAS SOPS 50043 HAS SOUS 15528 HAS SOUPS 15528 WITH SCORE 15578.043
AT ITER 3923 NEW BEST:: SOT 105074 SOS 50035 HAS SOPS 50035 HAS SOUS 15522 HAS SOUPS 15522 WITH SCORE 15572.035
AT ITER 3924 NEW BEST:: SOT 105075 SOS 50036 HAS SOPS 50036 HAS SOUS 15469 HAS SOUPS 15469 WITH SCORE 15519.036
AT ITER 3928 NEW BEST:: SOT 105060 SOS 50066 HAS SOPS 50066 HAS SOUS 15454 HAS SOUPS 15454 WITH SCORE 15504.066
AT ITER 3933 NEW BEST:: SOT 105021 SOS 50083 HAS SOPS 50083 HAS SOUS 15447 HAS SOUPS 15447 WITH SCORE 15497.083
AT ITER 3969 NEW BEST:: SOT 105031 SOS 50187 HAS SOPS 50187 HAS SOUS 15427 HAS SOUPS 15427 WITH SCORE 15477.187
AT ITER 3983 NEW BEST:: SOT 105031 SOS 50187 HAS SOPS 50187 HAS SOUS 15411 HAS SOUPS 15411 WITH SCORE 15461.187
AT ITER 3984 NEW BEST:: SOT 105015 SOS 50155 HAS SOPS 50155 HAS SOUS 15395 HAS SOUPS 15395 WITH SCORE 15445.155
AT ITER 3985 NEW BEST:: SOT 105004 SOS 50144 HAS SOPS 50144 HAS SOUS 15395 HAS SOUPS 15395 WITH SCORE 15445.144
AT ITER 3989 NEW BEST:: SOT 104969 SOS 50166 HAS SOPS 50166 HAS SOUS 15345 HAS SOUPS 15345 WITH SCORE 15395.166
AT ITER 3995 NEW BEST:: SOT 104963 SOS 50164 HAS SOPS 50164 HAS SOUS 15341 HAS SOUPS 15341 WITH SCORE 15391.164
AT ITER 4002 NEW BEST:: SOT 104967 SOS 50152 HAS SOPS 50152 HAS SOUS 15337 HAS SOUPS 15337 WITH SCORE 15387.152
AT ITER 4028 NEW BEST:: SOT 104936 SOS 50121 HAS SOPS 50121 HAS SOUS 15324 HAS SOUPS 15324 WITH SCORE 15374.121
AT ITER 4041 NEW BEST:: SOT 104927 SOS 50111 HAS SOPS 50111 HAS SOUS 15324 HAS SOUPS 15324 WITH SCORE 15374.111
AT ITER 4063 NEW BEST:: SOT 104927 SOS 50111 HAS SOPS 50111 HAS SOUS 15322 HAS SOUPS 15322 WITH SCORE 15372.111
AT ITER 4065 NEW BEST:: SOT 104918 SOS 50079 HAS SOPS 50079 HAS SOUS 15313 HAS SOUPS 15313 WITH SCORE 15363.079
AT ITER 4078 NEW BEST:: SOT 104888 SOS 50037 HAS SOPS 50037 HAS SOUS 15283 HAS SOUPS 15283 WITH SCORE 15333.037
AT ITER 4092 NEW BEST:: SOT 104901 SOS 50024 HAS SOPS 50024 HAS SOUS 15283 HAS SOUPS 15283 WITH SCORE 15333.024
AT ITER 4142 NEW BEST:: SOT 104885 SOS 50008 HAS SOPS 50008 HAS SOUS 15283 HAS SOUPS 15283 WITH SCORE 15333.008
AT ITER 4173 NEW BEST:: SOT 104890 SOS 49975 HAS SOPS 49975 HAS SOUS 15275 HAS SOUPS 15275 WITH SCORE 15324.975
AT ITER 4186 NEW BEST:: SOT 104827 SOS 49897 HAS SOPS 49897 HAS SOUS 15269 HAS SOUPS 15269 WITH SCORE 15318.897
AT ITER 4203 NEW BEST:: SOT 104806 SOS 49855 HAS SOPS 49855 HAS SOUS 15217 HAS SOUPS 15217 WITH SCORE 15266.855
AT ITER 4216 NEW BEST:: SOT 104806 SOS 49855 HAS SOPS 49855 HAS SOUS 15214 HAS SOUPS 15214 WITH SCORE 15263.855
AT ITER 4218 NEW BEST:: SOT 104729 SOS 49778 HAS SOPS 49778 HAS SOUS 15214 HAS SOUPS 15214 WITH SCORE 15263.778
AT ITER 4225 NEW BEST:: SOT 104717 SOS 49802 HAS SOPS 49802 HAS SOUS 15190 HAS SOUPS 15190 WITH SCORE 15239.802
AT ITER 4232 NEW BEST:: SOT 104681 SOS 49679 HAS SOPS 49679 HAS SOUS 15144 HAS SOUPS 15144 WITH SCORE 15193.679
AT ITER 4238 NEW BEST:: SOT 104676 SOS 49674 HAS SOPS 49674 HAS SOUS 15139 HAS SOUPS 15139 WITH SCORE 15188.674
AT ITER 4254 NEW BEST:: SOT 104675 SOS 49949 HAS SOPS 49949 HAS SOUS 15138 HAS SOUPS 15138 WITH SCORE 15187.949
AT ITER 4269 NEW BEST:: SOT 104694 SOS 50245 HAS SOPS 50245 HAS SOUS 15125 HAS SOUPS 15125 WITH SCORE 15175.245
AT ITER 4272 NEW BEST:: SOT 104800 SOS 50351 HAS SOPS 50351 HAS SOUS 15087 HAS SOUPS 15087 WITH SCORE 15137.351
AT ITER 4301 NEW BEST:: SOT 104792 SOS 50362 HAS SOPS 50362 HAS SOUS 15071 HAS SOUPS 15071 WITH SCORE 15121.362
AT ITER 4320 NEW BEST:: SOT 104827 SOS 50410 HAS SOPS 50410 HAS SOUS 15066 HAS SOUPS 15066 WITH SCORE 15116.41
AT ITER 4352 NEW BEST:: SOT 104827 SOS 50419 HAS SOPS 50419 HAS SOUS 15057 HAS SOUPS 15057 WITH SCORE 15107.419
AT ITER 4368 NEW BEST:: SOT 104827 SOS 50371 HAS SOPS 50371 HAS SOUS 15057 HAS SOUPS 15057 WITH SCORE 15107.371
AT ITER 4370 NEW BEST:: SOT 104827 SOS 50371 HAS SOPS 50371 HAS SOUS 15056 HAS SOUPS 15056 WITH SCORE 15106.371
AT ITER 4404 NEW BEST:: SOT 104802 SOS 50347 HAS SOPS 50347 HAS SOUS 15031 HAS SOUPS 15031 WITH SCORE 15081.347
AT ITER 4406 NEW BEST:: SOT 104800 SOS 50343 HAS SOPS 50343 HAS SOUS 15027 HAS SOUPS 15027 WITH SCORE 15077.343
AT ITER 4416 NEW BEST:: SOT 104752 SOS 50295 HAS SOPS 50295 HAS SOUS 14963 HAS SOUPS 14963 WITH SCORE 15013.295
AT ITER 4522 NEW BEST:: SOT 104854 SOS 50397 HAS SOPS 50397 HAS SOUS 14961 HAS SOUPS 14961 WITH SCORE 15011.397
AT ITER 4570 NEW BEST:: SOT 104849 SOS 50387 HAS SOPS 50387 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 15001.387
AT ITER 4582 NEW BEST:: SOT 104817 SOS 50355 HAS SOPS 50355 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 15001.355
AT ITER 4611 NEW BEST:: SOT 104812 SOS 50350 HAS SOPS 50350 HAS SOUS 14946 HAS SOUPS 14946 WITH SCORE 14996.35
AT ITER 4616 NEW BEST:: SOT 104801 SOS 50327 HAS SOPS 50327 HAS SOUS 14942 HAS SOUPS 14942 WITH SCORE 14992.327
AT ITER 4651 NEW BEST:: SOT 104795 SOS 50318 HAS SOPS 50318 HAS SOUS 14938 HAS SOUPS 14938 WITH SCORE 14988.318
AT ITER 4662 NEW BEST:: SOT 104799 SOS 50356 HAS SOPS 50356 HAS SOUS 14927 HAS SOUPS 14927 WITH SCORE 14977.356
AT ITER 4711 NEW BEST:: SOT 104779 SOS 50336 HAS SOPS 50336 HAS SOUS 14919 HAS SOUPS 14919 WITH SCORE 14969.336
AT ITER 4712 NEW BEST:: SOT 104780 SOS 50323 HAS SOPS 50323 HAS SOUS 14905 HAS SOUPS 14905 WITH SCORE 14955.323
AT ITER 4716 NEW BEST:: SOT 104780 SOS 50321 HAS SOPS 50321 HAS SOUS 14905 HAS SOUPS 14905 WITH SCORE 14955.321
AT ITER 4738 NEW BEST:: SOT 104675 SOS 50196 HAS SOPS 50196 HAS SOUS 14880 HAS SOUPS 14880 WITH SCORE 14930.196
AT ITER 4754 NEW BEST:: SOT 104669 SOS 50190 HAS SOPS 50190 HAS SOUS 14874 HAS SOUPS 14874 WITH SCORE 14924.19
AT ITER 4757 NEW BEST:: SOT 104658 SOS 50169 HAS SOPS 50169 HAS SOUS 14863 HAS SOUPS 14863 WITH SCORE 14913.169
AT ITER 4774 NEW BEST:: SOT 104652 SOS 50074 HAS SOPS 50074 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14907.074
AT ITER 4816 NEW BEST:: SOT 104628 SOS 50046 HAS SOPS 50046 HAS SOUS 14845 HAS SOUPS 14845 WITH SCORE 14895.046
AT ITER 4823 NEW BEST:: SOT 104556 SOS 50052 HAS SOPS 50052 HAS SOUS 14829 HAS SOUPS 14829 WITH SCORE 14879.052
AT ITER 4858 NEW BEST:: SOT 104534 SOS 49986 HAS SOPS 49986 HAS SOUS 14796 HAS SOUPS 14796 WITH SCORE 14845.986
AT ITER 4874 NEW BEST:: SOT 104522 SOS 50407 HAS SOPS 50407 HAS SOUS 14784 HAS SOUPS 14784 WITH SCORE 14834.407
AT ITER 4912 NEW BEST:: SOT 104515 SOS 50754 HAS SOPS 50754 HAS SOUS 14783 HAS SOUPS 14783 WITH SCORE 14833.754
AT ITER 4958 NEW BEST:: SOT 104479 SOS 50733 HAS SOPS 50733 HAS SOUS 14745 HAS SOUPS 14745 WITH SCORE 14795.733
AT ITER 4984 NEW BEST:: SOT 104437 SOS 50748 HAS SOPS 50748 HAS SOUS 14671 HAS SOUPS 14671 WITH SCORE 14721.748
AT ITER 4986 NEW BEST:: SOT 104432 SOS 50758 HAS SOPS 50758 HAS SOUS 14666 HAS SOUPS 14666 WITH SCORE 14716.758
AT ITER 5011 NEW BEST:: SOT 104430 SOS 50739 HAS SOPS 50739 HAS SOUS 14657 HAS SOUPS 14657 WITH SCORE 14707.739
AT ITER 5020 NEW BEST:: SOT 104430 SOS 50723 HAS SOPS 50723 HAS SOUS 14641 HAS SOUPS 14641 WITH SCORE 14691.723
AT ITER 5071 NEW BEST:: SOT 104308 SOS 50601 HAS SOPS 50601 HAS SOUS 14617 HAS SOUPS 14617 WITH SCORE 14667.601
AT ITER 5074 NEW BEST:: SOT 104308 SOS 50601 HAS SOPS 50601 HAS SOUS 14615 HAS SOUPS 14615 WITH SCORE 14665.601
AT ITER 5075 NEW BEST:: SOT 104240 SOS 50621 HAS SOPS 50621 HAS SOUS 14533 HAS SOUPS 14533 WITH SCORE 14583.621
AT ITER 5086 NEW BEST:: SOT 104232 SOS 50613 HAS SOPS 50613 HAS SOUS 14525 HAS SOUPS 14525 WITH SCORE 14575.613
AT ITER 5093 NEW BEST:: SOT 104169 SOS 50413 HAS SOPS 50413 HAS SOUS 14462 HAS SOUPS 14462 WITH SCORE 14512.413
AT ITER 5135 NEW BEST:: SOT 104177 SOS 50421 HAS SOPS 50421 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14496.421
AT ITER 5164 NEW BEST:: SOT 104178 SOS 50459 HAS SOPS 50459 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14480.459
AT ITER 5198 NEW BEST:: SOT 104166 SOS 50447 HAS SOPS 50447 HAS SOUS 14415 HAS SOUPS 14415 WITH SCORE 14465.447
AT ITER 5204 NEW BEST:: SOT 104175 SOS 50050 HAS SOPS 50050 HAS SOUS 14410 HAS SOUPS 14410 WITH SCORE 14460.05
AT ITER 5208 NEW BEST:: SOT 104177 SOS 50053 HAS SOPS 50053 HAS SOUS 14391 HAS SOUPS 14391 WITH SCORE 14441.053
AT ITER 5214 NEW BEST:: SOT 104177 SOS 50033 HAS SOPS 50033 HAS SOUS 14386 HAS SOUPS 14386 WITH SCORE 14436.033
AT ITER 5234 NEW BEST:: SOT 104171 SOS 50001 HAS SOPS 50001 HAS SOUS 14384 HAS SOUPS 14384 WITH SCORE 14434.001
AT ITER 5240 NEW BEST:: SOT 104154 SOS 49983 HAS SOPS 49983 HAS SOUS 14364 HAS SOUPS 14364 WITH SCORE 14413.983
AT ITER 5244 NEW BEST:: SOT 104106 SOS 49935 HAS SOPS 49935 HAS SOUS 14316 HAS SOUPS 14316 WITH SCORE 14365.935
AT ITER 5251 NEW BEST:: SOT 104087 SOS 49942 HAS SOPS 49942 HAS SOUS 14313 HAS SOUPS 14313 WITH SCORE 14362.942
AT ITER 5290 NEW BEST:: SOT 104088 SOS 49941 HAS SOPS 49941 HAS SOUS 14312 HAS SOUPS 14312 WITH SCORE 14361.941
AT ITER 5309 NEW BEST:: SOT 104074 SOS 49927 HAS SOPS 49927 HAS SOUS 14298 HAS SOUPS 14298 WITH SCORE 14347.927
AT ITER 5343 NEW BEST:: SOT 104061 SOS 49914 HAS SOPS 49914 HAS SOUS 14287 HAS SOUPS 14287 WITH SCORE 14336.914
AT ITER 5358 NEW BEST:: SOT 104079 SOS 49932 HAS SOPS 49932 HAS SOUS 14267 HAS SOUPS 14267 WITH SCORE 14316.932
AT ITER 5374 NEW BEST:: SOT 104079 SOS 49923 HAS SOPS 49923 HAS SOUS 14263 HAS SOUPS 14263 WITH SCORE 14312.923
AT ITER 5376 NEW BEST:: SOT 104063 SOS 49987 HAS SOPS 49987 HAS SOUS 14250 HAS SOUPS 14250 WITH SCORE 14299.987
AT ITER 5417 NEW BEST:: SOT 104063 SOS 49991 HAS SOPS 49991 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14297.991
AT ITER 5445 NEW BEST:: SOT 103969 SOS 49659 HAS SOPS 49659 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14281.659
AT ITER 5573 NEW BEST:: SOT 103969 SOS 49631 HAS SOPS 49631 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14281.631
AT ITER 5585 NEW BEST:: SOT 103955 SOS 49585 HAS SOPS 49585 HAS SOUS 14218 HAS SOUPS 14218 WITH SCORE 14267.585
AT ITER 5623 NEW BEST:: SOT 103939 SOS 49569 HAS SOPS 49569 HAS SOUS 14202 HAS SOUPS 14202 WITH SCORE 14251.569
AT ITER 5672 NEW BEST:: SOT 103944 SOS 49564 HAS SOPS 49564 HAS SOUS 14202 HAS SOUPS 14202 WITH SCORE 14251.564
AT ITER 5721 NEW BEST:: SOT 103938 SOS 49558 HAS SOPS 49558 HAS SOUS 14199 HAS SOUPS 14199 WITH SCORE 14248.558
AT ITER 5765 NEW BEST:: SOT 103938 SOS 49551 HAS SOPS 49551 HAS SOUS 14196 HAS SOUPS 14196 WITH SCORE 14245.551
AT ITER 5782 NEW BEST:: SOT 103940 SOS 49551 HAS SOPS 49551 HAS SOUS 14194 HAS SOUPS 14194 WITH SCORE 14243.551
AT ITER 5797 NEW BEST:: SOT 103916 SOS 49527 HAS SOPS 49527 HAS SOUS 14145 HAS SOUPS 14145 WITH SCORE 14194.527
AT ITER 5825 NEW BEST:: SOT 103916 SOS 49525 HAS SOPS 49525 HAS SOUS 14143 HAS SOUPS 14143 WITH SCORE 14192.525
AT ITER 5840 NEW BEST:: SOT 103925 SOS 49516 HAS SOPS 49516 HAS SOUS 14139 HAS SOUPS 14139 WITH SCORE 14188.516
AT ITER 5865 NEW BEST:: SOT 103921 SOS 49507 HAS SOPS 49507 HAS SOUS 14132 HAS SOUPS 14132 WITH SCORE 14181.507
AT ITER 5990 NEW BEST:: SOT 103917 SOS 49503 HAS SOPS 49503 HAS SOUS 14128 HAS SOUPS 14128 WITH SCORE 14177.503
AT ITER 6005 NEW BEST:: SOT 103901 SOS 49487 HAS SOPS 49487 HAS SOUS 14100 HAS SOUPS 14100 WITH SCORE 14149.487
AT ITER 6010 NEW BEST:: SOT 103903 SOS 49487 HAS SOPS 49487 HAS SOUS 14098 HAS SOUPS 14098 WITH SCORE 14147.487
AT ITER 6024 NEW BEST:: SOT 103903 SOS 49455 HAS SOPS 49455 HAS SOUS 14090 HAS SOUPS 14090 WITH SCORE 14139.455
AT ITER 6034 NEW BEST:: SOT 103878 SOS 49405 HAS SOPS 49405 HAS SOUS 14076 HAS SOUPS 14076 WITH SCORE 14125.405
AT ITER 6071 NEW BEST:: SOT 103882 SOS 49393 HAS SOPS 49393 HAS SOUS 14076 HAS SOUPS 14076 WITH SCORE 14125.393
AT ITER 6072 NEW BEST:: SOT 103885 SOS 49390 HAS SOPS 49390 HAS SOUS 14073 HAS SOUPS 14073 WITH SCORE 14122.39
AT ITER 6091 NEW BEST:: SOT 103889 SOS 49396 HAS SOPS 49396 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14118.396
AT ITER 6145 NEW BEST:: SOT 103887 SOS 49392 HAS SOPS 49392 HAS SOUS 14067 HAS SOUPS 14067 WITH SCORE 14116.392
AT ITER 6156 NEW BEST:: SOT 103893 SOS 49382 HAS SOPS 49382 HAS SOUS 14006 HAS SOUPS 14006 WITH SCORE 14055.382
AT ITER 6177 NEW BEST:: SOT 103941 SOS 49430 HAS SOPS 49430 HAS SOUS 13986 HAS SOUPS 13986 WITH SCORE 14035.43
AT ITER 6207 NEW BEST:: SOT 103934 SOS 49402 HAS SOPS 49402 HAS SOUS 13979 HAS SOUPS 13979 WITH SCORE 14028.402
AT ITER 6225 NEW BEST:: SOT 103916 SOS 49353 HAS SOPS 49353 HAS SOUS 13961 HAS SOUPS 13961 WITH SCORE 14010.353
AT ITER 6241 NEW BEST:: SOT 103926 SOS 49073 HAS SOPS 49073 HAS SOUS 13961 HAS SOUPS 13961 WITH SCORE 14010.073
AT ITER 6252 NEW BEST:: SOT 103898 SOS 49009 HAS SOPS 49009 HAS SOUS 13927 HAS SOUPS 13927 WITH SCORE 13976.009
AT ITER 6257 NEW BEST:: SOT 103895 SOS 48997 HAS SOPS 48997 HAS SOUS 13915 HAS SOUPS 13915 WITH SCORE 13963.997
AT ITER 6259 NEW BEST:: SOT 103895 SOS 48997 HAS SOPS 48997 HAS SOUS 13899 HAS SOUPS 13899 WITH SCORE 13947.997
AT ITER 6300 NEW BEST:: SOT 103895 SOS 48992 HAS SOPS 48992 HAS SOUS 13898 HAS SOUPS 13898 WITH SCORE 13946.992
AT ITER 6346 NEW BEST:: SOT 103889 SOS 49028 HAS SOPS 49028 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13940.028
AT ITER 6354 NEW BEST:: SOT 103872 SOS 49004 HAS SOPS 49004 HAS SOUS 13874 HAS SOUPS 13874 WITH SCORE 13923.004
AT ITER 6387 NEW BEST:: SOT 103842 SOS 48974 HAS SOPS 48974 HAS SOUS 13835 HAS SOUPS 13835 WITH SCORE 13883.974
AT ITER 6401 NEW BEST:: SOT 103824 SOS 48927 HAS SOPS 48927 HAS SOUS 13812 HAS SOUPS 13812 WITH SCORE 13860.927
AT ITER 6430 NEW BEST:: SOT 103830 SOS 48849 HAS SOPS 48849 HAS SOUS 13803 HAS SOUPS 13803 WITH SCORE 13851.849
AT ITER 6431 NEW BEST:: SOT 103804 SOS 48823 HAS SOPS 48823 HAS SOUS 13790 HAS SOUPS 13790 WITH SCORE 13838.823
AT ITER 6457 NEW BEST:: SOT 103818 SOS 48817 HAS SOPS 48817 HAS SOUS 13789 HAS SOUPS 13789 WITH SCORE 13837.817
AT ITER 6464 NEW BEST:: SOT 103808 SOS 48797 HAS SOPS 48797 HAS SOUS 13779 HAS SOUPS 13779 WITH SCORE 13827.797
AT ITER 6476 NEW BEST:: SOT 103806 SOS 48795 HAS SOPS 48795 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13826.795
AT ITER 6491 NEW BEST:: SOT 103748 SOS 48735 HAS SOPS 48735 HAS SOUS 13746 HAS SOUPS 13746 WITH SCORE 13794.735
AT ITER 6497 NEW BEST:: SOT 103710 SOS 48697 HAS SOPS 48697 HAS SOUS 13713 HAS SOUPS 13713 WITH SCORE 13761.697
AT ITER 6555 NEW BEST:: SOT 103710 SOS 48697 HAS SOPS 48697 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13757.697
AT ITER 6592 NEW BEST:: SOT 103685 SOS 48647 HAS SOPS 48647 HAS SOUS 13689 HAS SOUPS 13689 WITH SCORE 13737.647
AT ITER 6596 NEW BEST:: SOT 103689 SOS 48650 HAS SOPS 48650 HAS SOUS 13686 HAS SOUPS 13686 WITH SCORE 13734.65
AT ITER 6612 NEW BEST:: SOT 103683 SOS 48632 HAS SOPS 48632 HAS SOUS 13680 HAS SOUPS 13680 WITH SCORE 13728.632
AT ITER 6628 NEW BEST:: SOT 103703 SOS 48652 HAS SOPS 48652 HAS SOUS 13621 HAS SOUPS 13621 WITH SCORE 13669.652
AT ITER 6645 NEW BEST:: SOT 103702 SOS 48648 HAS SOPS 48648 HAS SOUS 13619 HAS SOUPS 13619 WITH SCORE 13667.648
AT ITER 6649 NEW BEST:: SOT 103675 SOS 48639 HAS SOPS 48639 HAS SOUS 13592 HAS SOUPS 13592 WITH SCORE 13640.639
AT ITER 6651 NEW BEST:: SOT 103609 SOS 48563 HAS SOPS 48563 HAS SOUS 13545 HAS SOUPS 13545 WITH SCORE 13593.563
AT ITER 6746 NEW BEST:: SOT 103609 SOS 48563 HAS SOPS 48563 HAS SOUS 13527 HAS SOUPS 13527 WITH SCORE 13575.563
AT ITER 6791 NEW BEST:: SOT 103607 SOS 48559 HAS SOPS 48559 HAS SOUS 13525 HAS SOUPS 13525 WITH SCORE 13573.559
AT ITER 6796 NEW BEST:: SOT 103597 SOS 48543 HAS SOPS 48543 HAS SOUS 13521 HAS SOUPS 13521 WITH SCORE 13569.543
AT ITER 6804 NEW BEST:: SOT 103593 SOS 48539 HAS SOPS 48539 HAS SOUS 13511 HAS SOUPS 13511 WITH SCORE 13559.539
AT ITER 6849 NEW BEST:: SOT 103595 SOS 48538 HAS SOPS 48538 HAS SOUS 13511 HAS SOUPS 13511 WITH SCORE 13559.538
AT ITER 6886 NEW BEST:: SOT 103593 SOS 48536 HAS SOPS 48536 HAS SOUS 13509 HAS SOUPS 13509 WITH SCORE 13557.536
AT ITER 6986 NEW BEST:: SOT 103593 SOS 48536 HAS SOPS 48536 HAS SOUS 13505 HAS SOUPS 13505 WITH SCORE 13553.536
AT ITER 6994 NEW BEST:: SOT 103500 SOS 48439 HAS SOPS 48439 HAS SOUS 13421 HAS SOUPS 13421 WITH SCORE 13469.439
AT ITER 7054 NEW BEST:: SOT 103484 SOS 48417 HAS SOPS 48417 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13414.417
AT ITER 7111 NEW BEST:: SOT 103478 SOS 48399 HAS SOPS 48399 HAS SOUS 13360 HAS SOUPS 13360 WITH SCORE 13408.399
AT ITER 7128 NEW BEST:: SOT 103488 SOS 48409 HAS SOPS 48409 HAS SOUS 13345 HAS SOUPS 13345 WITH SCORE 13393.409
AT ITER 7165 NEW BEST:: SOT 103484 SOS 48405 HAS SOPS 48405 HAS SOUS 13341 HAS SOUPS 13341 WITH SCORE 13389.405
AT ITER 7199 NEW BEST:: SOT 103483 SOS 48403 HAS SOPS 48403 HAS SOUS 13339 HAS SOUPS 13339 WITH SCORE 13387.403
AT ITER 7232 NEW BEST:: SOT 103424 SOS 48342 HAS SOPS 48342 HAS SOUS 13324 HAS SOUPS 13324 WITH SCORE 13372.342
AT ITER 7235 NEW BEST:: SOT 103424 SOS 48342 HAS SOPS 48342 HAS SOUS 13310 HAS SOUPS 13310 WITH SCORE 13358.342
AT ITER 7259 NEW BEST:: SOT 103404 SOS 48282 HAS SOPS 48282 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13318.282
AT ITER 7268 NEW BEST:: SOT 103386 SOS 48256 HAS SOPS 48256 HAS SOUS 13252 HAS SOUPS 13252 WITH SCORE 13300.256
AT ITER 7305 NEW BEST:: SOT 103368 SOS 48220 HAS SOPS 48220 HAS SOUS 13250 HAS SOUPS 13250 WITH SCORE 13298.22
AT ITER 7307 NEW BEST:: SOT 103370 SOS 48182 HAS SOPS 48182 HAS SOUS 13249 HAS SOUPS 13249 WITH SCORE 13297.182
AT ITER 7338 NEW BEST:: SOT 103364 SOS 48170 HAS SOPS 48170 HAS SOUS 13243 HAS SOUPS 13243 WITH SCORE 13291.17
AT ITER 7432 NEW BEST:: SOT 103360 SOS 48165 HAS SOPS 48165 HAS SOUS 13238 HAS SOUPS 13238 WITH SCORE 13286.165
AT ITER 7467 NEW BEST:: SOT 103264 SOS 48069 HAS SOPS 48069 HAS SOUS 13199 HAS SOUPS 13199 WITH SCORE 13247.069
AT ITER 7472 NEW BEST:: SOT 103240 SOS 48045 HAS SOPS 48045 HAS SOUS 13166 HAS SOUPS 13166 WITH SCORE 13214.045
AT ITER 7485 NEW BEST:: SOT 103238 SOS 48041 HAS SOPS 48041 HAS SOUS 13164 HAS SOUPS 13164 WITH SCORE 13212.041
AT ITER 7509 NEW BEST:: SOT 103215 SOS 47972 HAS SOPS 47972 HAS SOUS 13141 HAS SOUPS 13141 WITH SCORE 13188.972
AT ITER 7512 NEW BEST:: SOT 103209 SOS 47966 HAS SOPS 47966 HAS SOUS 13135 HAS SOUPS 13135 WITH SCORE 13182.966
AT ITER 7565 NEW BEST:: SOT 103211 SOS 47961 HAS SOPS 47961 HAS SOUS 13131 HAS SOUPS 13131 WITH SCORE 13178.961
AT ITER 7566 NEW BEST:: SOT 103271 SOS 47999 HAS SOPS 47999 HAS SOUS 13107 HAS SOUPS 13107 WITH SCORE 13154.999
AT ITER 7598 NEW BEST:: SOT 103264 SOS 47959 HAS SOPS 47959 HAS SOUS 13103 HAS SOUPS 13103 WITH SCORE 13150.959
AT ITER 7607 NEW BEST:: SOT 103259 SOS 47954 HAS SOPS 47954 HAS SOUS 13094 HAS SOUPS 13094 WITH SCORE 13141.954
AT ITER 7707 NEW BEST:: SOT 103257 SOS 47942 HAS SOPS 47942 HAS SOUS 13090 HAS SOUPS 13090 WITH SCORE 13137.942
AT ITER 7712 NEW BEST:: SOT 103265 SOS 47950 HAS SOPS 47950 HAS SOUS 13086 HAS SOUPS 13086 WITH SCORE 13133.95
AT ITER 7718 NEW BEST:: SOT 103260 SOS 47952 HAS SOPS 47952 HAS SOUS 13081 HAS SOUPS 13081 WITH SCORE 13128.952
AT ITER 7783 NEW BEST:: SOT 103228 SOS 47920 HAS SOPS 47920 HAS SOUS 13067 HAS SOUPS 13067 WITH SCORE 13114.92
AT ITER 7798 NEW BEST:: SOT 103228 SOS 47920 HAS SOPS 47920 HAS SOUS 13060 HAS SOUPS 13060 WITH SCORE 13107.92
AT ITER 7833 NEW BEST:: SOT 103246 SOS 47769 HAS SOPS 47769 HAS SOUS 13032 HAS SOUPS 13032 WITH SCORE 13079.769
AT ITER 7927 NEW BEST:: SOT 103232 SOS 47788 HAS SOPS 47788 HAS SOUS 13029 HAS SOUPS 13029 WITH SCORE 13076.788
AT ITER 7942 NEW BEST:: SOT 103228 SOS 47784 HAS SOPS 47784 HAS SOUS 13029 HAS SOUPS 13029 WITH SCORE 13076.784
AT ITER 7955 NEW BEST:: SOT 103228 SOS 47740 HAS SOPS 47740 HAS SOUS 13014 HAS SOUPS 13014 WITH SCORE 13061.74
AT ITER 8037 NEW BEST:: SOT 103228 SOS 47719 HAS SOPS 47719 HAS SOUS 13004 HAS SOUPS 13004 WITH SCORE 13051.719
AT ITER 8074 NEW BEST:: SOT 103258 SOS 47465 HAS SOPS 47465 HAS SOUS 12984 HAS SOUPS 12984 WITH SCORE 13031.465
AT ITER 8148 NEW BEST:: SOT 103246 SOS 47447 HAS SOPS 47447 HAS SOUS 12972 HAS SOUPS 12972 WITH SCORE 13019.447
AT ITER 8149 NEW BEST:: SOT 103368 SOS 47323 HAS SOPS 47323 HAS SOUS 12972 HAS SOUPS 12972 WITH SCORE 13019.323
AT ITER 8178 NEW BEST:: SOT 103372 SOS 47276 HAS SOPS 47276 HAS SOUS 12965 HAS SOUPS 12965 WITH SCORE 13012.276
AT ITER 8193 NEW BEST:: SOT 103396 SOS 47248 HAS SOPS 47248 HAS SOUS 12951 HAS SOUPS 12951 WITH SCORE 12998.248
AT ITER 8201 NEW BEST:: SOT 103394 SOS 47246 HAS SOPS 47246 HAS SOUS 12949 HAS SOUPS 12949 WITH SCORE 12996.246
AT ITER 8259 NEW BEST:: SOT 103395 SOS 47247 HAS SOPS 47247 HAS SOUS 12948 HAS SOUPS 12948 WITH SCORE 12995.247
AT ITER 8264 NEW BEST:: SOT 103320 SOS 47298 HAS SOPS 47298 HAS SOUS 12942 HAS SOUPS 12942 WITH SCORE 12989.298
AT ITER 8273 NEW BEST:: SOT 103272 SOS 47236 HAS SOPS 47236 HAS SOUS 12892 HAS SOUPS 12892 WITH SCORE 12939.236
AT ITER 8283 NEW BEST:: SOT 103278 SOS 47261 HAS SOPS 47261 HAS SOUS 12882 HAS SOUPS 12882 WITH SCORE 12929.261
AT ITER 8343 NEW BEST:: SOT 103259 SOS 47241 HAS SOPS 47241 HAS SOUS 12854 HAS SOUPS 12854 WITH SCORE 12901.241
AT ITER 8377 NEW BEST:: SOT 103197 SOS 47207 HAS SOPS 47207 HAS SOUS 12804 HAS SOUPS 12804 WITH SCORE 12851.207
AT ITER 8442 NEW BEST:: SOT 103110 SOS 47033 HAS SOPS 47033 HAS SOUS 12717 HAS SOUPS 12717 WITH SCORE 12764.033
AT ITER 8489 NEW BEST:: SOT 103104 SOS 47039 HAS SOPS 47039 HAS SOUS 12713 HAS SOUPS 12713 WITH SCORE 12760.039
AT ITER 8581 NEW BEST:: SOT 103083 SOS 47013 HAS SOPS 47013 HAS SOUS 12682 HAS SOUPS 12682 WITH SCORE 12729.013
AT ITER 8631 NEW BEST:: SOT 103083 SOS 47013 HAS SOPS 47013 HAS SOUS 12680 HAS SOUPS 12680 WITH SCORE 12727.013
AT ITER 8640 NEW BEST:: SOT 103082 SOS 47009 HAS SOPS 47009 HAS SOUS 12679 HAS SOUPS 12679 WITH SCORE 12726.009
AT ITER 8644 NEW BEST:: SOT 103054 SOS 46981 HAS SOPS 46981 HAS SOUS 12644 HAS SOUPS 12644 WITH SCORE 12690.981
AT ITER 8695 NEW BEST:: SOT 103042 SOS 46957 HAS SOPS 46957 HAS SOUS 12637 HAS SOUPS 12637 WITH SCORE 12683.957
AT ITER 8699 NEW BEST:: SOT 103039 SOS 46954 HAS SOPS 46954 HAS SOUS 12635 HAS SOUPS 12635 WITH SCORE 12681.954
AT ITER 8702 NEW BEST:: SOT 103038 SOS 46952 HAS SOPS 46952 HAS SOUS 12634 HAS SOUPS 12634 WITH SCORE 12680.952
AT ITER 8727 NEW BEST:: SOT 103038 SOS 46952 HAS SOPS 46952 HAS SOUS 12632 HAS SOUPS 12632 WITH SCORE 12678.952
AT ITER 8741 NEW BEST:: SOT 103049 SOS 46968 HAS SOPS 46968 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12671.968
AT ITER 8833 NEW BEST:: SOT 103057 SOS 46976 HAS SOPS 46976 HAS SOUS 12623 HAS SOUPS 12623 WITH SCORE 12669.976
AT ITER 8908 NEW BEST:: SOT 103066 SOS 46985 HAS SOPS 46985 HAS SOUS 12621 HAS SOUPS 12621 WITH SCORE 12667.985
AT ITER 8955 NEW BEST:: SOT 103047 SOS 46952 HAS SOPS 46952 HAS SOUS 12602 HAS SOUPS 12602 WITH SCORE 12648.952
AT ITER 9005 NEW BEST:: SOT 103052 SOS 46957 HAS SOPS 46957 HAS SOUS 12597 HAS SOUPS 12597 WITH SCORE 12643.957
AT ITER 9118 NEW BEST:: SOT 103050 SOS 46950 HAS SOPS 46950 HAS SOUS 12590 HAS SOUPS 12590 WITH SCORE 12636.95
AT ITER 9170 NEW BEST:: SOT 103056 SOS 46987 HAS SOPS 46987 HAS SOUS 12586 HAS SOUPS 12586 WITH SCORE 12632.987
AT ITER 9241 NEW BEST:: SOT 103040 SOS 46939 HAS SOPS 46939 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12616.939
AT ITER 9244 NEW BEST:: SOT 103039 SOS 46931 HAS SOPS 46931 HAS SOUS 12569 HAS SOUPS 12569 WITH SCORE 12615.931
AT ITER 9272 NEW BEST:: SOT 102985 SOS 46664 HAS SOPS 46664 HAS SOUS 12529 HAS SOUPS 12529 WITH SCORE 12575.664
AT ITER 9306 NEW BEST:: SOT 102964 SOS 46634 HAS SOPS 46634 HAS SOUS 12521 HAS SOUPS 12521 WITH SCORE 12567.634
AT ITER 9337 NEW BEST:: SOT 102963 SOS 46632 HAS SOPS 46632 HAS SOUS 12519 HAS SOUPS 12519 WITH SCORE 12565.632
AT ITER 9348 NEW BEST:: SOT 102961 SOS 46630 HAS SOPS 46630 HAS SOUS 12512 HAS SOUPS 12512 WITH SCORE 12558.63
AT ITER 9351 NEW BEST:: SOT 102957 SOS 46626 HAS SOPS 46626 HAS SOUS 12508 HAS SOUPS 12508 WITH SCORE 12554.626
AT ITER 9355 NEW BEST:: SOT 102954 SOS 46623 HAS SOPS 46623 HAS SOUS 12505 HAS SOUPS 12505 WITH SCORE 12551.623
AT ITER 9400 NEW BEST:: SOT 102957 SOS 46618 HAS SOPS 46618 HAS SOUS 12500 HAS SOUPS 12500 WITH SCORE 12546.618
AT ITER 9435 NEW BEST:: SOT 102881 SOS 49096 HAS SOPS 49096 HAS SOUS 12480 HAS SOUPS 12480 WITH SCORE 12529.096
AT ITER 9462 NEW BEST:: SOT 102894 SOS 49621 HAS SOPS 49621 HAS SOUS 12467 HAS SOUPS 12467 WITH SCORE 12516.621
AT ITER 9469 NEW BEST:: SOT 102874 SOS 49469 HAS SOPS 49469 HAS SOUS 12430 HAS SOUPS 12430 WITH SCORE 12479.469
AT ITER 9495 NEW BEST:: SOT 102868 SOS 49463 HAS SOPS 49463 HAS SOUS 12424 HAS SOUPS 12424 WITH SCORE 12473.463
AT ITER 9526 NEW BEST:: SOT 102864 SOS 49459 HAS SOPS 49459 HAS SOUS 12419 HAS SOUPS 12419 WITH SCORE 12468.459
AT ITER 9537 NEW BEST:: SOT 102851 SOS 49446 HAS SOPS 49446 HAS SOUS 12404 HAS SOUPS 12404 WITH SCORE 12453.446
AT ITER 9550 NEW BEST:: SOT 102846 SOS 49451 HAS SOPS 49451 HAS SOUS 12399 HAS SOUPS 12399 WITH SCORE 12448.451
AT ITER 9682 NEW BEST:: SOT 102853 SOS 49449 HAS SOPS 49449 HAS SOUS 12379 HAS SOUPS 12379 WITH SCORE 12428.449
AT ITER 9686 NEW BEST:: SOT 102809 SOS 49345 HAS SOPS 49345 HAS SOUS 12335 HAS SOUPS 12335 WITH SCORE 12384.345
AT ITER 9722 NEW BEST:: SOT 102797 SOS 49351 HAS SOPS 49351 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12359.351
AT ITER 9729 NEW BEST:: SOT 102753 SOS 49297 HAS SOPS 49297 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12345.297
AT ITER 9733 NEW BEST:: SOT 102729 SOS 49264 HAS SOPS 49264 HAS SOUS 12281 HAS SOUPS 12281 WITH SCORE 12330.264
AT ITER 9751 NEW BEST:: SOT 102728 SOS 49266 HAS SOPS 49266 HAS SOUS 12280 HAS SOUPS 12280 WITH SCORE 12329.266
AT ITER 9756 NEW BEST:: SOT 102732 SOS 49249 HAS SOPS 49249 HAS SOUS 12280 HAS SOUPS 12280 WITH SCORE 12329.249
AT ITER 9767 NEW BEST:: SOT 102718 SOS 49235 HAS SOPS 49235 HAS SOUS 12271 HAS SOUPS 12271 WITH SCORE 12320.235
AT ITER 9814 NEW BEST:: SOT 102700 SOS 49171 HAS SOPS 49171 HAS SOUS 12253 HAS SOUPS 12253 WITH SCORE 12302.171
AT ITER 9832 NEW BEST:: SOT 102699 SOS 49165 HAS SOPS 49165 HAS SOUS 12252 HAS SOUPS 12252 WITH SCORE 12301.165
AT ITER 9841 NEW BEST:: SOT 102699 SOS 49162 HAS SOPS 49162 HAS SOUS 12252 HAS SOUPS 12252 WITH SCORE 12301.162
AT ITER 9855 NEW BEST:: SOT 102679 SOS 49102 HAS SOPS 49102 HAS SOUS 12225 HAS SOUPS 12225 WITH SCORE 12274.102
AT ITER 9932 NEW BEST:: SOT 102626 SOS 49066 HAS SOPS 49066 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12266.066
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 174724 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16299928 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="UtilityControlRoom-PT-Z4T3N08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is UtilityControlRoom-PT-Z4T3N08, 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 r483-tall-167912696701176"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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