Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r323-tall-167889194600344.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 Raft-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194600344
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 624K
-rw-r--r-- 1 mcc users 6.5K Feb 26 17:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 17:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 17:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 17:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 17:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 163K Feb 26 17:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 17:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 17:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 156K 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 1679495400201

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=Raft-PT-08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 08
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: 328 places, 568 transitions, 2163 arcs.
AT ITER 0 NEW BEST:: SOT 163639 SOS 109952 HAS SOPS 109920 HAS SOUS 86574 HAS SOUPS 86566 WITH SCORE 86675.952
AT ITER 1 NEW BEST:: SOT 163539 SOS 109951 HAS SOPS 109902 HAS SOUS 86564 HAS SOUPS 86540 WITH SCORE 86649.951
AT ITER 3 NEW BEST:: SOT 163539 SOS 109951 HAS SOPS 109902 HAS SOUS 86533 HAS SOUPS 86509 WITH SCORE 86618.951
AT ITER 10 NEW BEST:: SOT 163379 SOS 109774 HAS SOPS 109708 HAS SOUS 86355 HAS SOUPS 86315 WITH SCORE 86424.774
AT ITER 11 NEW BEST:: SOT 163269 SOS 109708 HAS SOPS 109642 HAS SOUS 86322 HAS SOUPS 86282 WITH SCORE 86391.708
AT ITER 14 NEW BEST:: SOT 160822 SOS 109424 HAS SOPS 107949 HAS SOUS 85250 HAS SOUPS 85017 WITH SCORE 85126.424
AT ITER 17 NEW BEST:: SOT 160169 SOS 108056 HAS SOPS 106682 HAS SOUS 84763 HAS SOUPS 84530 WITH SCORE 84638.056
AT ITER 19 NEW BEST:: SOT 159775 SOS 107636 HAS SOPS 106210 HAS SOUS 84342 HAS SOUPS 84058 WITH SCORE 84165.636
AT ITER 22 NEW BEST:: SOT 159658 SOS 107519 HAS SOPS 106093 HAS SOUS 84222 HAS SOUPS 83938 WITH SCORE 84045.519
AT ITER 23 NEW BEST:: SOT 159658 SOS 106882 HAS SOPS 105456 HAS SOUS 84120 HAS SOUPS 83836 WITH SCORE 83942.882
AT ITER 25 NEW BEST:: SOT 159697 SOS 106300 HAS SOPS 104758 HAS SOUS 83747 HAS SOUPS 83463 WITH SCORE 83569.3
AT ITER 29 NEW BEST:: SOT 159681 SOS 106284 HAS SOPS 104742 HAS SOUS 83731 HAS SOUPS 83447 WITH SCORE 83553.284
AT ITER 30 NEW BEST:: SOT 159603 SOS 106245 HAS SOPS 104703 HAS SOUS 83692 HAS SOUPS 83408 WITH SCORE 83514.245
AT ITER 32 NEW BEST:: SOT 159287 SOS 105823 HAS SOPS 104215 HAS SOUS 83268 HAS SOUPS 82920 WITH SCORE 83025.823
AT ITER 33 NEW BEST:: SOT 158891 SOS 107594 HAS SOPS 104186 HAS SOUS 83174 HAS SOUPS 82775 WITH SCORE 82882.594
AT ITER 38 NEW BEST:: SOT 158549 SOS 107673 HAS SOPS 104239 HAS SOUS 83126 HAS SOUPS 82702 WITH SCORE 82809.673
AT ITER 39 NEW BEST:: SOT 158549 SOS 107673 HAS SOPS 104239 HAS SOUS 83102 HAS SOUPS 82678 WITH SCORE 82785.673
AT ITER 43 NEW BEST:: SOT 158549 SOS 107673 HAS SOPS 104201 HAS SOUS 83071 HAS SOUPS 82640 WITH SCORE 82747.673
AT ITER 44 NEW BEST:: SOT 158339 SOS 107463 HAS SOPS 103991 HAS SOUS 82861 HAS SOUPS 82430 WITH SCORE 82537.463
AT ITER 45 NEW BEST:: SOT 157622 SOS 106660 HAS SOPS 103148 HAS SOUS 81963 HAS SOUPS 81493 WITH SCORE 81599.66
AT ITER 47 NEW BEST:: SOT 157578 SOS 106521 HAS SOPS 103002 HAS SOUS 81755 HAS SOUPS 81285 WITH SCORE 81391.521
AT ITER 48 NEW BEST:: SOT 157146 SOS 106044 HAS SOPS 102442 HAS SOUS 81204 HAS SOUPS 80725 WITH SCORE 80831.044
AT ITER 49 NEW BEST:: SOT 157146 SOS 105444 HAS SOPS 101842 HAS SOUS 81204 HAS SOUPS 80725 WITH SCORE 80830.444
AT ITER 51 NEW BEST:: SOT 157146 SOS 105426 HAS SOPS 101842 HAS SOUS 81204 HAS SOUPS 80725 WITH SCORE 80830.426
AT ITER 53 NEW BEST:: SOT 157362 SOS 105642 HAS SOPS 102058 HAS SOUS 81173 HAS SOUPS 80694 WITH SCORE 80799.642
AT ITER 54 NEW BEST:: SOT 157077 SOS 105663 HAS SOPS 102106 HAS SOUS 81066 HAS SOUPS 80589 WITH SCORE 80694.663
AT ITER 55 NEW BEST:: SOT 156727 SOS 105408 HAS SOPS 101773 HAS SOUS 80728 HAS SOUPS 80245 WITH SCORE 80350.408
AT ITER 57 NEW BEST:: SOT 156393 SOS 105253 HAS SOPS 101555 HAS SOUS 80564 HAS SOUPS 80072 WITH SCORE 80177.253
AT ITER 58 NEW BEST:: SOT 156400 SOS 105654 HAS SOPS 101956 HAS SOUS 80472 HAS SOUPS 79980 WITH SCORE 80085.654
AT ITER 60 NEW BEST:: SOT 156400 SOS 105628 HAS SOPS 101930 HAS SOUS 80472 HAS SOUPS 79980 WITH SCORE 80085.628
AT ITER 62 NEW BEST:: SOT 156400 SOS 105241 HAS SOPS 101543 HAS SOUS 80410 HAS SOUPS 79918 WITH SCORE 80023.241
AT ITER 65 NEW BEST:: SOT 156109 SOS 104951 HAS SOPS 101317 HAS SOUS 80170 HAS SOUPS 79687 WITH SCORE 79791.951
AT ITER 67 NEW BEST:: SOT 156070 SOS 104927 HAS SOPS 101278 HAS SOUS 80167 HAS SOUPS 79684 WITH SCORE 79788.927
AT ITER 69 NEW BEST:: SOT 156046 SOS 104903 HAS SOPS 101254 HAS SOUS 80143 HAS SOUPS 79660 WITH SCORE 79764.903
AT ITER 71 NEW BEST:: SOT 155686 SOS 104546 HAS SOPS 100897 HAS SOUS 79783 HAS SOUPS 79300 WITH SCORE 79404.546
AT ITER 72 NEW BEST:: SOT 155465 SOS 104442 HAS SOPS 100859 HAS SOUS 79708 HAS SOUPS 79258 WITH SCORE 79362.442
AT ITER 76 NEW BEST:: SOT 155408 SOS 104151 HAS SOPS 100513 HAS SOUS 79457 HAS SOUPS 78994 WITH SCORE 79098.151
AT ITER 80 NEW BEST:: SOT 155556 SOS 103697 HAS SOPS 99585 HAS SOUS 79538 HAS SOUPS 78535 WITH SCORE 78638.697
AT ITER 81 NEW BEST:: SOT 155504 SOS 103615 HAS SOPS 99484 HAS SOUS 79388 HAS SOUPS 78385 WITH SCORE 78488.615
AT ITER 86 NEW BEST:: SOT 155504 SOS 103570 HAS SOPS 99439 HAS SOUS 79343 HAS SOUPS 78340 WITH SCORE 78443.57
AT ITER 87 NEW BEST:: SOT 155504 SOS 103497 HAS SOPS 99344 HAS SOUS 79248 HAS SOUPS 78245 WITH SCORE 78348.497
AT ITER 89 NEW BEST:: SOT 155504 SOS 103521 HAS SOPS 99368 HAS SOUS 79172 HAS SOUPS 78169 WITH SCORE 78272.521
AT ITER 91 NEW BEST:: SOT 155504 SOS 103521 HAS SOPS 99368 HAS SOUS 79140 HAS SOUPS 78137 WITH SCORE 78240.521
AT ITER 95 NEW BEST:: SOT 155220 SOS 103947 HAS SOPS 99775 HAS SOUS 79107 HAS SOUPS 78104 WITH SCORE 78207.947
AT ITER 96 NEW BEST:: SOT 154410 SOS 103158 HAS SOPS 98834 HAS SOUS 78077 HAS SOUPS 77050 WITH SCORE 77153.158
AT ITER 97 NEW BEST:: SOT 154098 SOS 103523 HAS SOPS 98996 HAS SOUS 77989 HAS SOUPS 76962 WITH SCORE 77065.523
AT ITER 98 NEW BEST:: SOT 153900 SOS 103325 HAS SOPS 98798 HAS SOUS 77787 HAS SOUPS 76760 WITH SCORE 76863.325
AT ITER 101 NEW BEST:: SOT 153900 SOS 102803 HAS SOPS 98276 HAS SOUS 77656 HAS SOUPS 76629 WITH SCORE 76731.803
AT ITER 102 NEW BEST:: SOT 153790 SOS 102729 HAS SOPS 98254 HAS SOUS 77574 HAS SOUPS 76563 WITH SCORE 76665.729
AT ITER 103 NEW BEST:: SOT 153790 SOS 101938 HAS SOPS 97463 HAS SOUS 77557 HAS SOUPS 76546 WITH SCORE 76647.938
AT ITER 107 NEW BEST:: SOT 153486 SOS 101523 HAS SOPS 97017 HAS SOUS 77109 HAS SOUPS 76068 WITH SCORE 76169.523
AT ITER 108 NEW BEST:: SOT 153486 SOS 101320 HAS SOPS 96814 HAS SOUS 77044 HAS SOUPS 76003 WITH SCORE 76104.32
AT ITER 113 NEW BEST:: SOT 153468 SOS 101302 HAS SOPS 96796 HAS SOUS 77026 HAS SOUPS 75985 WITH SCORE 76086.302
AT ITER 114 NEW BEST:: SOT 153468 SOS 100601 HAS SOPS 95955 HAS SOUS 77025 HAS SOUPS 75984 WITH SCORE 76084.601
AT ITER 115 NEW BEST:: SOT 153450 SOS 100574 HAS SOPS 95919 HAS SOUS 77006 HAS SOUPS 75956 WITH SCORE 76056.574
AT ITER 116 NEW BEST:: SOT 152950 SOS 100358 HAS SOPS 95807 HAS SOUS 76773 HAS SOUPS 75720 WITH SCORE 75820.358
AT ITER 119 NEW BEST:: SOT 152950 SOS 100234 HAS SOPS 95683 HAS SOUS 76649 HAS SOUPS 75596 WITH SCORE 75696.234
AT ITER 125 NEW BEST:: SOT 152950 SOS 100212 HAS SOPS 95661 HAS SOUS 76627 HAS SOUPS 75574 WITH SCORE 75674.212
AT ITER 127 NEW BEST:: SOT 152950 SOS 99534 HAS SOPS 94983 HAS SOUS 76559 HAS SOUPS 75506 WITH SCORE 75605.534
AT ITER 128 NEW BEST:: SOT 152732 SOS 99205 HAS SOPS 94731 HAS SOUS 76142 HAS SOUPS 75077 WITH SCORE 75176.205
AT ITER 132 NEW BEST:: SOT 152732 SOS 99194 HAS SOPS 94720 HAS SOUS 76142 HAS SOUPS 75077 WITH SCORE 75176.194
AT ITER 135 NEW BEST:: SOT 152670 SOS 99070 HAS SOPS 94596 HAS SOUS 76021 HAS SOUPS 74956 WITH SCORE 75055.07
AT ITER 136 NEW BEST:: SOT 152670 SOS 99037 HAS SOPS 94563 HAS SOUS 75990 HAS SOUPS 74925 WITH SCORE 75024.037
AT ITER 137 NEW BEST:: SOT 152670 SOS 98926 HAS SOPS 94452 HAS SOUS 75990 HAS SOUPS 74925 WITH SCORE 75023.926
AT ITER 138 NEW BEST:: SOT 152670 SOS 98926 HAS SOPS 94452 HAS SOUS 75928 HAS SOUPS 74863 WITH SCORE 74961.926
AT ITER 139 NEW BEST:: SOT 152658 SOS 98895 HAS SOPS 94409 HAS SOUS 75904 HAS SOUPS 74839 WITH SCORE 74937.895
AT ITER 140 NEW BEST:: SOT 152499 SOS 98897 HAS SOPS 94411 HAS SOUS 75785 HAS SOUPS 74720 WITH SCORE 74818.897
AT ITER 142 NEW BEST:: SOT 152499 SOS 98888 HAS SOPS 94402 HAS SOUS 75785 HAS SOUPS 74720 WITH SCORE 74818.888
AT ITER 143 NEW BEST:: SOT 149465 SOS 95833 HAS SOPS 91165 HAS SOUS 72569 HAS SOUPS 71504 WITH SCORE 71599.833
AT ITER 144 NEW BEST:: SOT 149293 SOS 95737 HAS SOPS 91147 HAS SOUS 72542 HAS SOUPS 71483 WITH SCORE 71578.737
AT ITER 152 NEW BEST:: SOT 148666 SOS 95116 HAS SOPS 90528 HAS SOUS 71915 HAS SOUPS 70856 WITH SCORE 70951.116
AT ITER 153 NEW BEST:: SOT 148666 SOS 95038 HAS SOPS 90291 HAS SOUS 71837 HAS SOUPS 70778 WITH SCORE 70873.038
AT ITER 154 NEW BEST:: SOT 148578 SOS 94880 HAS SOPS 90126 HAS SOUS 71672 HAS SOUPS 70613 WITH SCORE 70707.88
AT ITER 159 NEW BEST:: SOT 148522 SOS 94798 HAS SOPS 90034 HAS SOUS 71511 HAS SOUPS 70452 WITH SCORE 70546.798
AT ITER 160 NEW BEST:: SOT 148300 SOS 94828 HAS SOPS 90085 HAS SOUS 71470 HAS SOUPS 70411 WITH SCORE 70505.828
AT ITER 161 NEW BEST:: SOT 148352 SOS 94473 HAS SOPS 89730 HAS SOUS 71418 HAS SOUPS 70359 WITH SCORE 70453.473
AT ITER 162 NEW BEST:: SOT 148172 SOS 94318 HAS SOPS 89570 HAS SOUS 71273 HAS SOUPS 70209 WITH SCORE 70303.318
AT ITER 163 NEW BEST:: SOT 148313 SOS 94386 HAS SOPS 89638 HAS SOUS 71218 HAS SOUPS 70154 WITH SCORE 70248.386
AT ITER 166 NEW BEST:: SOT 148280 SOS 94384 HAS SOPS 89618 HAS SOUS 71197 HAS SOUPS 70133 WITH SCORE 70227.384
AT ITER 170 NEW BEST:: SOT 148235 SOS 94294 HAS SOPS 89423 HAS SOUS 71107 HAS SOUPS 70043 WITH SCORE 70137.294
AT ITER 175 NEW BEST:: SOT 148239 SOS 94298 HAS SOPS 89429 HAS SOUS 71102 HAS SOUPS 70040 WITH SCORE 70134.298
AT ITER 176 NEW BEST:: SOT 148239 SOS 94249 HAS SOPS 89380 HAS SOUS 71102 HAS SOUPS 70040 WITH SCORE 70134.249
AT ITER 179 NEW BEST:: SOT 147803 SOS 93779 HAS SOPS 88865 HAS SOUS 70601 HAS SOUPS 69516 WITH SCORE 69609.779
AT ITER 181 NEW BEST:: SOT 147706 SOS 93509 HAS SOPS 88595 HAS SOUS 70407 HAS SOUPS 69322 WITH SCORE 69415.509
AT ITER 183 NEW BEST:: SOT 147726 SOS 92901 HAS SOPS 88051 HAS SOUS 70280 HAS SOUPS 69259 WITH SCORE 69351.901
AT ITER 184 NEW BEST:: SOT 147559 SOS 92847 HAS SOPS 87997 HAS SOUS 70226 HAS SOUPS 69205 WITH SCORE 69297.847
AT ITER 185 NEW BEST:: SOT 146614 SOS 92127 HAS SOPS 87596 HAS SOUS 69530 HAS SOUPS 68509 WITH SCORE 68601.127
AT ITER 186 NEW BEST:: SOT 146614 SOS 92112 HAS SOPS 87581 HAS SOUS 69530 HAS SOUPS 68509 WITH SCORE 68601.112
AT ITER 187 NEW BEST:: SOT 146548 SOS 92031 HAS SOPS 87431 HAS SOUS 69390 HAS SOUPS 68359 WITH SCORE 68451.031
AT ITER 190 NEW BEST:: SOT 146548 SOS 91828 HAS SOPS 87228 HAS SOUS 69309 HAS SOUPS 68278 WITH SCORE 68369.828
AT ITER 192 NEW BEST:: SOT 146309 SOS 92201 HAS SOPS 87601 HAS SOUS 69308 HAS SOUPS 68277 WITH SCORE 68369.201
AT ITER 196 NEW BEST:: SOT 146381 SOS 91506 HAS SOPS 86969 HAS SOUS 69008 HAS SOUPS 68040 WITH SCORE 68131.506
AT ITER 197 NEW BEST:: SOT 146342 SOS 91988 HAS SOPS 87534 HAS SOUS 68992 HAS SOUPS 68024 WITH SCORE 68115.988
AT ITER 199 NEW BEST:: SOT 146308 SOS 91679 HAS SOPS 87210 HAS SOUS 68684 HAS SOUPS 67716 WITH SCORE 67807.679
AT ITER 201 NEW BEST:: SOT 146259 SOS 91447 HAS SOPS 86952 HAS SOUS 68546 HAS SOUPS 67578 WITH SCORE 67669.447
AT ITER 204 NEW BEST:: SOT 146259 SOS 91559 HAS SOPS 87064 HAS SOUS 68472 HAS SOUPS 67504 WITH SCORE 67595.559
AT ITER 205 NEW BEST:: SOT 146259 SOS 91559 HAS SOPS 87064 HAS SOUS 68442 HAS SOUPS 67474 WITH SCORE 67565.559
AT ITER 210 NEW BEST:: SOT 146368 SOS 91034 HAS SOPS 86539 HAS SOUS 68406 HAS SOUPS 67438 WITH SCORE 67529.034
AT ITER 211 NEW BEST:: SOT 146320 SOS 90969 HAS SOPS 86468 HAS SOUS 68335 HAS SOUPS 67367 WITH SCORE 67457.969
AT ITER 212 NEW BEST:: SOT 146592 SOS 91018 HAS SOPS 86598 HAS SOUS 67995 HAS SOUPS 67063 WITH SCORE 67154.018
AT ITER 216 NEW BEST:: SOT 146569 SOS 90771 HAS SOPS 86351 HAS SOUS 67906 HAS SOUPS 66974 WITH SCORE 67064.771
AT ITER 217 NEW BEST:: SOT 146569 SOS 90631 HAS SOPS 86211 HAS SOUS 67905 HAS SOUPS 66973 WITH SCORE 67063.631
AT ITER 219 NEW BEST:: SOT 146521 SOS 90583 HAS SOPS 86175 HAS SOUS 67857 HAS SOUPS 66937 WITH SCORE 67027.583
AT ITER 223 NEW BEST:: SOT 146063 SOS 90223 HAS SOPS 85913 HAS SOUS 67594 HAS SOUPS 66674 WITH SCORE 66764.223
AT ITER 226 NEW BEST:: SOT 144545 SOS 89040 HAS SOPS 84458 HAS SOUS 66306 HAS SOUPS 65342 WITH SCORE 65431.04
AT ITER 228 NEW BEST:: SOT 144545 SOS 88961 HAS SOPS 84379 HAS SOUS 66247 HAS SOUPS 65283 WITH SCORE 65371.961
AT ITER 230 NEW BEST:: SOT 144311 SOS 88769 HAS SOPS 84163 HAS SOUS 66049 HAS SOUPS 65079 WITH SCORE 65167.769
AT ITER 239 NEW BEST:: SOT 144215 SOS 88577 HAS SOPS 83756 HAS SOUS 65857 HAS SOUPS 64887 WITH SCORE 64975.577
AT ITER 245 NEW BEST:: SOT 140365 SOS 87396 HAS SOPS 80266 HAS SOUS 62886 HAS SOUPS 61783 WITH SCORE 61870.396
AT ITER 247 NEW BEST:: SOT 140213 SOS 87763 HAS SOPS 80408 HAS SOUS 62821 HAS SOUPS 61718 WITH SCORE 61805.763
AT ITER 250 NEW BEST:: SOT 140213 SOS 87732 HAS SOPS 80408 HAS SOUS 62821 HAS SOUPS 61718 WITH SCORE 61805.732
AT ITER 252 NEW BEST:: SOT 136767 SOS 87952 HAS SOPS 78279 HAS SOUS 61069 HAS SOUPS 59778 WITH SCORE 59865.952
AT ITER 254 NEW BEST:: SOT 136767 SOS 87952 HAS SOPS 78279 HAS SOUS 61035 HAS SOUPS 59744 WITH SCORE 59831.952
AT ITER 256 NEW BEST:: SOT 136767 SOS 87845 HAS SOPS 78279 HAS SOUS 61035 HAS SOUPS 59744 WITH SCORE 59831.845
AT ITER 260 NEW BEST:: SOT 136336 SOS 87395 HAS SOPS 78216 HAS SOUS 60958 HAS SOUPS 59681 WITH SCORE 59768.395
AT ITER 261 NEW BEST:: SOT 136336 SOS 87395 HAS SOPS 78216 HAS SOUS 60920 HAS SOUPS 59643 WITH SCORE 59730.395
AT ITER 262 NEW BEST:: SOT 136396 SOS 87000 HAS SOPS 77821 HAS SOUS 60737 HAS SOUPS 59460 WITH SCORE 59547.0
AT ITER 263 NEW BEST:: SOT 136079 SOS 86683 HAS SOPS 77554 HAS SOUS 60518 HAS SOUPS 59241 WITH SCORE 59327.683
AT ITER 265 NEW BEST:: SOT 136079 SOS 86493 HAS SOPS 77457 HAS SOUS 60509 HAS SOUPS 59232 WITH SCORE 59318.493
AT ITER 266 NEW BEST:: SOT 136039 SOS 86453 HAS SOPS 77412 HAS SOUS 60464 HAS SOUPS 59187 WITH SCORE 59273.453
AT ITER 268 NEW BEST:: SOT 135527 SOS 85941 HAS SOPS 76836 HAS SOUS 59860 HAS SOUPS 58579 WITH SCORE 58664.941
AT ITER 269 NEW BEST:: SOT 132345 SOS 86034 HAS SOPS 74942 HAS SOUS 58087 HAS SOUPS 56641 WITH SCORE 56727.034
AT ITER 274 NEW BEST:: SOT 132301 SOS 85643 HAS SOPS 74551 HAS SOUS 58031 HAS SOUPS 56585 WITH SCORE 56670.643
AT ITER 276 NEW BEST:: SOT 132293 SOS 85661 HAS SOPS 74446 HAS SOUS 58015 HAS SOUPS 56569 WITH SCORE 56654.661
AT ITER 279 NEW BEST:: SOT 132293 SOS 85563 HAS SOPS 74348 HAS SOUS 58015 HAS SOUPS 56569 WITH SCORE 56654.563
AT ITER 280 NEW BEST:: SOT 132289 SOS 85559 HAS SOPS 74340 HAS SOUS 58007 HAS SOUPS 56561 WITH SCORE 56646.559
AT ITER 282 NEW BEST:: SOT 132270 SOS 85491 HAS SOPS 74271 HAS SOUS 57888 HAS SOUPS 56442 WITH SCORE 56527.491
AT ITER 286 NEW BEST:: SOT 132181 SOS 85352 HAS SOPS 74129 HAS SOUS 57746 HAS SOUPS 56300 WITH SCORE 56385.352
AT ITER 288 NEW BEST:: SOT 131758 SOS 84929 HAS SOPS 73721 HAS SOUS 57278 HAS SOUPS 55832 WITH SCORE 55916.929
AT ITER 289 NEW BEST:: SOT 131658 SOS 84853 HAS SOPS 73752 HAS SOUS 57201 HAS SOUPS 55772 WITH SCORE 55856.853
AT ITER 293 NEW BEST:: SOT 131655 SOS 84852 HAS SOPS 73754 HAS SOUS 57201 HAS SOUPS 55772 WITH SCORE 55856.852
AT ITER 294 NEW BEST:: SOT 131629 SOS 85275 HAS SOPS 74080 HAS SOUS 57165 HAS SOUPS 55736 WITH SCORE 55821.275
AT ITER 295 NEW BEST:: SOT 131629 SOS 85275 HAS SOPS 74139 HAS SOUS 57153 HAS SOUPS 55724 WITH SCORE 55809.275
AT ITER 299 NEW BEST:: SOT 131621 SOS 85267 HAS SOPS 74127 HAS SOUS 57141 HAS SOUPS 55712 WITH SCORE 55797.267
AT ITER 300 NEW BEST:: SOT 129408 SOS 85095 HAS SOPS 73218 HAS SOUS 55785 HAS SOUPS 54248 WITH SCORE 54333.095
AT ITER 307 NEW BEST:: SOT 129392 SOS 85079 HAS SOPS 73206 HAS SOUS 55777 HAS SOUPS 54240 WITH SCORE 54325.079
AT ITER 309 NEW BEST:: SOT 129077 SOS 84890 HAS SOPS 73023 HAS SOUS 55655 HAS SOUPS 54118 WITH SCORE 54202.89
AT ITER 313 NEW BEST:: SOT 129035 SOS 84869 HAS SOPS 73023 HAS SOUS 55615 HAS SOUPS 54078 WITH SCORE 54162.869
AT ITER 314 NEW BEST:: SOT 128989 SOS 84823 HAS SOPS 72954 HAS SOUS 55523 HAS SOUPS 53986 WITH SCORE 54070.823
AT ITER 316 NEW BEST:: SOT 129004 SOS 84841 HAS SOPS 72947 HAS SOUS 55415 HAS SOUPS 53878 WITH SCORE 53962.841
AT ITER 317 NEW BEST:: SOT 129123 SOS 84052 HAS SOPS 72223 HAS SOUS 55329 HAS SOUPS 53857 WITH SCORE 53941.052
AT ITER 320 NEW BEST:: SOT 128774 SOS 83703 HAS SOPS 71933 HAS SOUS 54955 HAS SOUPS 53483 WITH SCORE 53566.703
AT ITER 321 NEW BEST:: SOT 128716 SOS 83555 HAS SOPS 71641 HAS SOUS 54807 HAS SOUPS 53335 WITH SCORE 53418.555
AT ITER 323 NEW BEST:: SOT 128328 SOS 83161 HAS SOPS 71400 HAS SOUS 54458 HAS SOUPS 52995 WITH SCORE 53078.161
AT ITER 332 NEW BEST:: SOT 124721 SOS 81131 HAS SOPS 68378 HAS SOUS 52007 HAS SOUPS 50427 WITH SCORE 50508.131
AT ITER 337 NEW BEST:: SOT 124721 SOS 81011 HAS SOPS 68295 HAS SOUS 52007 HAS SOUPS 50427 WITH SCORE 50508.011
AT ITER 342 NEW BEST:: SOT 122800 SOS 80041 HAS SOPS 66963 HAS SOUS 50573 HAS SOUPS 48931 WITH SCORE 49011.041
AT ITER 346 NEW BEST:: SOT 122800 SOS 79976 HAS SOPS 66898 HAS SOUS 50547 HAS SOUPS 48905 WITH SCORE 48984.976
AT ITER 347 NEW BEST:: SOT 122205 SOS 79604 HAS SOPS 66566 HAS SOUS 50060 HAS SOUPS 48418 WITH SCORE 48497.604
AT ITER 349 NEW BEST:: SOT 122461 SOS 79860 HAS SOPS 66498 HAS SOUS 50051 HAS SOUPS 48401 WITH SCORE 48480.86
AT ITER 350 NEW BEST:: SOT 122453 SOS 79852 HAS SOPS 66492 HAS SOUS 50045 HAS SOUPS 48395 WITH SCORE 48474.852
AT ITER 351 NEW BEST:: SOT 121986 SOS 79857 HAS SOPS 66383 HAS SOUS 49796 HAS SOUPS 48146 WITH SCORE 48225.857
AT ITER 352 NEW BEST:: SOT 121848 SOS 79757 HAS SOPS 66143 HAS SOUS 49551 HAS SOUPS 47901 WITH SCORE 47980.757
AT ITER 353 NEW BEST:: SOT 121844 SOS 79694 HAS SOPS 66041 HAS SOUS 49508 HAS SOUPS 47858 WITH SCORE 47937.694
AT ITER 354 NEW BEST:: SOT 121794 SOS 79619 HAS SOPS 65941 HAS SOUS 49433 HAS SOUPS 47783 WITH SCORE 47862.619
AT ITER 355 NEW BEST:: SOT 121777 SOS 79585 HAS SOPS 65922 HAS SOUS 49386 HAS SOUPS 47736 WITH SCORE 47815.585
AT ITER 356 NEW BEST:: SOT 121777 SOS 79525 HAS SOPS 65890 HAS SOUS 49386 HAS SOUPS 47736 WITH SCORE 47815.525
AT ITER 357 NEW BEST:: SOT 120377 SOS 78173 HAS SOPS 64751 HAS SOUS 47746 HAS SOUPS 46096 WITH SCORE 46174.173
AT ITER 359 NEW BEST:: SOT 120375 SOS 78171 HAS SOPS 64754 HAS SOUS 47697 HAS SOUPS 46047 WITH SCORE 46125.171
AT ITER 362 NEW BEST:: SOT 120291 SOS 78087 HAS SOPS 64667 HAS SOUS 47610 HAS SOUPS 45957 WITH SCORE 46035.087
AT ITER 363 NEW BEST:: SOT 120291 SOS 78001 HAS SOPS 64577 HAS SOUS 47610 HAS SOUPS 45957 WITH SCORE 46035.001
AT ITER 364 NEW BEST:: SOT 120233 SOS 77892 HAS SOPS 64633 HAS SOUS 47552 HAS SOUPS 45938 WITH SCORE 46015.892
AT ITER 367 NEW BEST:: SOT 120233 SOS 77875 HAS SOPS 64637 HAS SOUS 47552 HAS SOUPS 45938 WITH SCORE 46015.875
AT ITER 370 NEW BEST:: SOT 120220 SOS 77745 HAS SOPS 64585 HAS SOUS 47524 HAS SOUPS 45910 WITH SCORE 45987.745
AT ITER 372 NEW BEST:: SOT 120110 SOS 77635 HAS SOPS 64441 HAS SOUS 47413 HAS SOUPS 45799 WITH SCORE 45876.635
AT ITER 377 NEW BEST:: SOT 119381 SOS 78401 HAS SOPS 64525 HAS SOUS 47076 HAS SOUPS 45413 WITH SCORE 45491.401
AT ITER 381 NEW BEST:: SOT 119362 SOS 78382 HAS SOPS 64487 HAS SOUS 47057 HAS SOUPS 45394 WITH SCORE 45472.382
AT ITER 392 NEW BEST:: SOT 119320 SOS 78340 HAS SOPS 64424 HAS SOUS 47006 HAS SOUPS 45331 WITH SCORE 45409.34
AT ITER 394 NEW BEST:: SOT 119290 SOS 78310 HAS SOPS 64364 HAS SOUS 46938 HAS SOUPS 45263 WITH SCORE 45341.31
AT ITER 399 NEW BEST:: SOT 119073 SOS 78142 HAS SOPS 64178 HAS SOUS 46946 HAS SOUPS 45253 WITH SCORE 45331.142
AT ITER 401 NEW BEST:: SOT 119071 SOS 78140 HAS SOPS 64176 HAS SOUS 46944 HAS SOUPS 45251 WITH SCORE 45329.14
AT ITER 405 NEW BEST:: SOT 117843 SOS 83275 HAS SOPS 65576 HAS SOUS 47064 HAS SOUPS 45244 WITH SCORE 45327.275
AT ITER 410 NEW BEST:: SOT 117763 SOS 83195 HAS SOPS 65456 HAS SOUS 46904 HAS SOUPS 45084 WITH SCORE 45167.195
AT ITER 418 NEW BEST:: SOT 117763 SOS 83195 HAS SOPS 65434 HAS SOUS 46902 HAS SOUPS 45082 WITH SCORE 45165.195
AT ITER 424 NEW BEST:: SOT 117716 SOS 83148 HAS SOPS 65354 HAS SOUS 46787 HAS SOUPS 44967 WITH SCORE 45050.148
AT ITER 440 NEW BEST:: SOT 117846 SOS 83193 HAS SOPS 65414 HAS SOUS 46769 HAS SOUPS 44964 WITH SCORE 45047.193
AT ITER 443 NEW BEST:: SOT 117846 SOS 83187 HAS SOPS 65408 HAS SOUS 46769 HAS SOUPS 44964 WITH SCORE 45047.187
AT ITER 447 NEW BEST:: SOT 117717 SOS 83009 HAS SOPS 65191 HAS SOUS 46546 HAS SOUPS 44741 WITH SCORE 44824.009
AT ITER 450 NEW BEST:: SOT 117565 SOS 82857 HAS SOPS 65006 HAS SOUS 46407 HAS SOUPS 44602 WITH SCORE 44684.857
AT ITER 453 NEW BEST:: SOT 117565 SOS 82314 HAS SOPS 64463 HAS SOUS 46334 HAS SOUPS 44529 WITH SCORE 44611.314
AT ITER 457 NEW BEST:: SOT 117727 SOS 82427 HAS SOPS 64119 HAS SOUS 46283 HAS SOUPS 44478 WITH SCORE 44560.427
AT ITER 460 NEW BEST:: SOT 117431 SOS 82280 HAS SOPS 64135 HAS SOUS 46263 HAS SOUPS 44458 WITH SCORE 44540.28
AT ITER 465 NEW BEST:: SOT 117359 SOS 82208 HAS SOPS 63991 HAS SOUS 46155 HAS SOUPS 44350 WITH SCORE 44432.208
AT ITER 470 NEW BEST:: SOT 117337 SOS 82186 HAS SOPS 63947 HAS SOUS 46111 HAS SOUPS 44306 WITH SCORE 44388.186
AT ITER 476 NEW BEST:: SOT 116638 SOS 81732 HAS SOPS 63879 HAS SOUS 45585 HAS SOUPS 43780 WITH SCORE 43861.732
AT ITER 484 NEW BEST:: SOT 115931 SOS 81025 HAS SOPS 63383 HAS SOUS 45030 HAS SOUPS 43225 WITH SCORE 43306.025
AT ITER 486 NEW BEST:: SOT 115869 SOS 80972 HAS SOPS 63360 HAS SOUS 44906 HAS SOUPS 43101 WITH SCORE 43181.972
AT ITER 489 NEW BEST:: SOT 115869 SOS 80965 HAS SOPS 63371 HAS SOUS 44906 HAS SOUPS 43101 WITH SCORE 43181.965
AT ITER 492 NEW BEST:: SOT 115849 SOS 80890 HAS SOPS 63250 HAS SOUS 44830 HAS SOUPS 43025 WITH SCORE 43105.89
AT ITER 496 NEW BEST:: SOT 115916 SOS 80266 HAS SOPS 62655 HAS SOUS 44769 HAS SOUPS 42964 WITH SCORE 43044.266
AT ITER 497 NEW BEST:: SOT 115785 SOS 80152 HAS SOPS 62550 HAS SOUS 44651 HAS SOUPS 42846 WITH SCORE 42926.152
AT ITER 504 NEW BEST:: SOT 115452 SOS 79819 HAS SOPS 62157 HAS SOUS 44551 HAS SOUPS 42746 WITH SCORE 42825.819
AT ITER 507 NEW BEST:: SOT 115207 SOS 79574 HAS SOPS 61940 HAS SOUS 44350 HAS SOUPS 42529 WITH SCORE 42608.574
AT ITER 512 NEW BEST:: SOT 115263 SOS 79208 HAS SOPS 61574 HAS SOUS 44324 HAS SOUPS 42503 WITH SCORE 42582.208
AT ITER 527 NEW BEST:: SOT 115167 SOS 79152 HAS SOPS 61518 HAS SOUS 44234 HAS SOUPS 42413 WITH SCORE 42492.152
AT ITER 529 NEW BEST:: SOT 114901 SOS 78886 HAS SOPS 61119 HAS SOUS 43692 HAS SOUPS 41871 WITH SCORE 41949.886
AT ITER 530 NEW BEST:: SOT 114779 SOS 78724 HAS SOPS 60957 HAS SOUS 43610 HAS SOUPS 41789 WITH SCORE 41867.724
AT ITER 531 NEW BEST:: SOT 114779 SOS 78724 HAS SOPS 60957 HAS SOUS 43580 HAS SOUPS 41759 WITH SCORE 41837.724
AT ITER 535 NEW BEST:: SOT 114828 SOS 78696 HAS SOPS 60941 HAS SOUS 43576 HAS SOUPS 41755 WITH SCORE 41833.696
AT ITER 539 NEW BEST:: SOT 114230 SOS 78098 HAS SOPS 60240 HAS SOUS 42968 HAS SOUPS 41147 WITH SCORE 41225.098
AT ITER 542 NEW BEST:: SOT 114214 SOS 78050 HAS SOPS 60192 HAS SOUS 42952 HAS SOUPS 41131 WITH SCORE 41209.05
AT ITER 545 NEW BEST:: SOT 114281 SOS 77932 HAS SOPS 59955 HAS SOUS 43000 HAS SOUPS 41053 WITH SCORE 41130.932
AT ITER 549 NEW BEST:: SOT 114310 SOS 77532 HAS SOPS 59647 HAS SOUS 42857 HAS SOUPS 40989 WITH SCORE 41066.532
AT ITER 551 NEW BEST:: SOT 114274 SOS 77496 HAS SOPS 59605 HAS SOUS 42815 HAS SOUPS 40947 WITH SCORE 41024.496
AT ITER 559 NEW BEST:: SOT 114240 SOS 77462 HAS SOPS 59571 HAS SOUS 42761 HAS SOUPS 40893 WITH SCORE 40970.462
AT ITER 565 NEW BEST:: SOT 114235 SOS 77457 HAS SOPS 59561 HAS SOUS 42751 HAS SOUPS 40883 WITH SCORE 40960.457
AT ITER 570 NEW BEST:: SOT 114460 SOS 77522 HAS SOPS 59626 HAS SOUS 42581 HAS SOUPS 40713 WITH SCORE 40790.522
AT ITER 572 NEW BEST:: SOT 114346 SOS 77408 HAS SOPS 59512 HAS SOUS 42448 HAS SOUPS 40580 WITH SCORE 40657.408
AT ITER 587 NEW BEST:: SOT 114286 SOS 77348 HAS SOPS 59455 HAS SOUS 42391 HAS SOUPS 40523 WITH SCORE 40600.348
AT ITER 597 NEW BEST:: SOT 114286 SOS 77348 HAS SOPS 59395 HAS SOUS 42363 HAS SOUPS 40495 WITH SCORE 40572.348
AT ITER 599 NEW BEST:: SOT 114279 SOS 77341 HAS SOPS 59388 HAS SOUS 42356 HAS SOUPS 40488 WITH SCORE 40565.341
AT ITER 600 NEW BEST:: SOT 114233 SOS 77295 HAS SOPS 59342 HAS SOUS 42275 HAS SOUPS 40407 WITH SCORE 40484.295
AT ITER 602 NEW BEST:: SOT 114218 SOS 77280 HAS SOPS 59327 HAS SOUS 42260 HAS SOUPS 40392 WITH SCORE 40469.28
AT ITER 610 NEW BEST:: SOT 114331 SOS 77140 HAS SOPS 59024 HAS SOUS 42251 HAS SOUPS 40383 WITH SCORE 40460.14
AT ITER 611 NEW BEST:: SOT 114307 SOS 77156 HAS SOPS 58975 HAS SOUS 42217 HAS SOUPS 40349 WITH SCORE 40426.156
AT ITER 612 NEW BEST:: SOT 114240 SOS 77089 HAS SOPS 58908 HAS SOUS 42150 HAS SOUPS 40282 WITH SCORE 40359.089
AT ITER 614 NEW BEST:: SOT 114166 SOS 76991 HAS SOPS 58736 HAS SOUS 42076 HAS SOUPS 40208 WITH SCORE 40284.991
AT ITER 615 NEW BEST:: SOT 114166 SOS 76899 HAS SOPS 58675 HAS SOUS 42076 HAS SOUPS 40208 WITH SCORE 40284.899
AT ITER 617 NEW BEST:: SOT 114218 SOS 76689 HAS SOPS 58216 HAS SOUS 41894 HAS SOUPS 40026 WITH SCORE 40102.689
AT ITER 618 NEW BEST:: SOT 114124 SOS 76595 HAS SOPS 58075 HAS SOUS 41751 HAS SOUPS 39883 WITH SCORE 39959.595
AT ITER 621 NEW BEST:: SOT 114128 SOS 76599 HAS SOPS 58081 HAS SOUS 41746 HAS SOUPS 39880 WITH SCORE 39956.599
AT ITER 623 NEW BEST:: SOT 114093 SOS 76589 HAS SOPS 58011 HAS SOUS 41747 HAS SOUPS 39845 WITH SCORE 39921.589
AT ITER 629 NEW BEST:: SOT 114004 SOS 76502 HAS SOPS 57922 HAS SOUS 41641 HAS SOUPS 39739 WITH SCORE 39815.502
AT ITER 632 NEW BEST:: SOT 113856 SOS 76183 HAS SOPS 57583 HAS SOUS 41456 HAS SOUPS 39554 WITH SCORE 39630.183
AT ITER 633 NEW BEST:: SOT 111909 SOS 75191 HAS SOPS 55904 HAS SOUS 39911 HAS SOUPS 37942 WITH SCORE 38017.191
AT ITER 636 NEW BEST:: SOT 111953 SOS 75180 HAS SOPS 55850 HAS SOUS 39883 HAS SOUPS 37914 WITH SCORE 37989.18
AT ITER 641 NEW BEST:: SOT 111702 SOS 74929 HAS SOPS 55599 HAS SOUS 39656 HAS SOUPS 37687 WITH SCORE 37761.929
AT ITER 642 NEW BEST:: SOT 111486 SOS 74713 HAS SOPS 55681 HAS SOUS 39650 HAS SOUPS 37681 WITH SCORE 37755.713
AT ITER 645 NEW BEST:: SOT 111683 SOS 74265 HAS SOPS 55301 HAS SOUS 39635 HAS SOUPS 37666 WITH SCORE 37740.265
AT ITER 653 NEW BEST:: SOT 111665 SOS 73641 HAS SOPS 54677 HAS SOUS 39599 HAS SOUPS 37630 WITH SCORE 37703.641
AT ITER 657 NEW BEST:: SOT 111633 SOS 73413 HAS SOPS 54449 HAS SOUS 39511 HAS SOUPS 37542 WITH SCORE 37615.413
AT ITER 661 NEW BEST:: SOT 111443 SOS 73223 HAS SOPS 54341 HAS SOUS 39418 HAS SOUPS 37449 WITH SCORE 37522.223
AT ITER 664 NEW BEST:: SOT 111003 SOS 72774 HAS SOPS 54324 HAS SOUS 39401 HAS SOUPS 37432 WITH SCORE 37504.774
AT ITER 668 NEW BEST:: SOT 110957 SOS 72728 HAS SOPS 54229 HAS SOUS 39332 HAS SOUPS 37363 WITH SCORE 37435.728
AT ITER 670 NEW BEST:: SOT 110702 SOS 72473 HAS SOPS 53974 HAS SOUS 39163 HAS SOUPS 37194 WITH SCORE 37266.473
AT ITER 671 NEW BEST:: SOT 110692 SOS 72143 HAS SOPS 53644 HAS SOUS 39153 HAS SOUPS 37184 WITH SCORE 37256.143
AT ITER 675 NEW BEST:: SOT 109928 SOS 77610 HAS SOPS 55403 HAS SOUS 39126 HAS SOUPS 37041 WITH SCORE 37118.61
AT ITER 679 NEW BEST:: SOT 109922 SOS 77604 HAS SOPS 55394 HAS SOUS 39039 HAS SOUPS 36954 WITH SCORE 37031.604
AT ITER 681 NEW BEST:: SOT 109912 SOS 77584 HAS SOPS 55382 HAS SOUS 39029 HAS SOUPS 36944 WITH SCORE 37021.584
AT ITER 684 NEW BEST:: SOT 109912 SOS 77584 HAS SOPS 55382 HAS SOUS 39028 HAS SOUPS 36943 WITH SCORE 37020.584
AT ITER 685 NEW BEST:: SOT 109825 SOS 77497 HAS SOPS 55237 HAS SOUS 38941 HAS SOUPS 36856 WITH SCORE 36933.497
AT ITER 690 NEW BEST:: SOT 109688 SOS 77393 HAS SOPS 55058 HAS SOUS 38818 HAS SOUPS 36733 WITH SCORE 36810.393
AT ITER 691 NEW BEST:: SOT 109431 SOS 77136 HAS SOPS 54801 HAS SOUS 38781 HAS SOUPS 36696 WITH SCORE 36773.136
AT ITER 693 NEW BEST:: SOT 109388 SOS 77093 HAS SOPS 54723 HAS SOUS 38559 HAS SOUPS 36474 WITH SCORE 36551.093
AT ITER 695 NEW BEST:: SOT 109258 SOS 76963 HAS SOPS 54593 HAS SOUS 38539 HAS SOUPS 36454 WITH SCORE 36530.963
AT ITER 696 NEW BEST:: SOT 109256 SOS 76961 HAS SOPS 54591 HAS SOUS 38538 HAS SOUPS 36453 WITH SCORE 36529.961
AT ITER 701 NEW BEST:: SOT 109140 SOS 76845 HAS SOPS 54475 HAS SOUS 38500 HAS SOUPS 36415 WITH SCORE 36491.845
AT ITER 709 NEW BEST:: SOT 109140 SOS 76645 HAS SOPS 54300 HAS SOUS 38500 HAS SOUPS 36415 WITH SCORE 36491.645
AT ITER 710 NEW BEST:: SOT 108966 SOS 76471 HAS SOPS 54120 HAS SOUS 38320 HAS SOUPS 36235 WITH SCORE 36311.471
AT ITER 716 NEW BEST:: SOT 108919 SOS 76424 HAS SOPS 54073 HAS SOUS 38241 HAS SOUPS 36156 WITH SCORE 36232.424
AT ITER 718 NEW BEST:: SOT 108919 SOS 76368 HAS SOPS 54024 HAS SOUS 38241 HAS SOUPS 36156 WITH SCORE 36232.368
AT ITER 719 NEW BEST:: SOT 108677 SOS 76158 HAS SOPS 54146 HAS SOUS 38217 HAS SOUPS 36132 WITH SCORE 36208.158
AT ITER 720 NEW BEST:: SOT 108533 SOS 76093 HAS SOPS 54093 HAS SOUS 38046 HAS SOUPS 35961 WITH SCORE 36037.093
AT ITER 721 NEW BEST:: SOT 108543 SOS 76083 HAS SOPS 54093 HAS SOUS 38046 HAS SOUPS 35961 WITH SCORE 36037.083
AT ITER 724 NEW BEST:: SOT 108543 SOS 75939 HAS SOPS 53949 HAS SOUS 38046 HAS SOUPS 35961 WITH SCORE 36036.939
AT ITER 735 NEW BEST:: SOT 108511 SOS 75907 HAS SOPS 53917 HAS SOUS 37973 HAS SOUPS 35888 WITH SCORE 35963.907
AT ITER 737 NEW BEST:: SOT 108499 SOS 75895 HAS SOPS 53523 HAS SOUS 37673 HAS SOUPS 35588 WITH SCORE 35663.895
AT ITER 750 NEW BEST:: SOT 108393 SOS 75535 HAS SOPS 52589 HAS SOUS 37069 HAS SOUPS 34984 WITH SCORE 35059.535
AT ITER 752 NEW BEST:: SOT 108370 SOS 75465 HAS SOPS 52519 HAS SOUS 37066 HAS SOUPS 34981 WITH SCORE 35056.465
AT ITER 755 NEW BEST:: SOT 108404 SOS 75319 HAS SOPS 52373 HAS SOUS 37062 HAS SOUPS 34977 WITH SCORE 35052.319
AT ITER 761 NEW BEST:: SOT 108402 SOS 75317 HAS SOPS 52370 HAS SOUS 37059 HAS SOUPS 34974 WITH SCORE 35049.317
AT ITER 763 NEW BEST:: SOT 108005 SOS 75553 HAS SOPS 52337 HAS SOUS 36875 HAS SOUPS 34733 WITH SCORE 34808.553
AT ITER 764 NEW BEST:: SOT 107961 SOS 75509 HAS SOPS 52282 HAS SOUS 36808 HAS SOUPS 34666 WITH SCORE 34741.509
AT ITER 765 NEW BEST:: SOT 107946 SOS 75494 HAS SOPS 52283 HAS SOUS 36614 HAS SOUPS 34472 WITH SCORE 34547.494
AT ITER 767 NEW BEST:: SOT 107917 SOS 75645 HAS SOPS 52492 HAS SOUS 36585 HAS SOUPS 34443 WITH SCORE 34518.645
AT ITER 768 NEW BEST:: SOT 108004 SOS 76050 HAS SOPS 52793 HAS SOUS 36486 HAS SOUPS 34344 WITH SCORE 34420.05
AT ITER 769 NEW BEST:: SOT 107970 SOS 76016 HAS SOPS 52644 HAS SOUS 36355 HAS SOUPS 34221 WITH SCORE 34297.016
AT ITER 771 NEW BEST:: SOT 107914 SOS 75942 HAS SOPS 52460 HAS SOUS 36302 HAS SOUPS 34168 WITH SCORE 34243.942
AT ITER 776 NEW BEST:: SOT 107650 SOS 75678 HAS SOPS 52328 HAS SOUS 36162 HAS SOUPS 34028 WITH SCORE 34103.678
AT ITER 778 NEW BEST:: SOT 106917 SOS 79838 HAS SOPS 53895 HAS SOUS 36094 HAS SOUPS 33862 WITH SCORE 33941.838
AT ITER 779 NEW BEST:: SOT 106885 SOS 79806 HAS SOPS 53831 HAS SOUS 36030 HAS SOUPS 33798 WITH SCORE 33877.806
AT ITER 780 NEW BEST:: SOT 106813 SOS 79692 HAS SOPS 53733 HAS SOUS 35922 HAS SOUPS 33690 WITH SCORE 33769.692
AT ITER 787 NEW BEST:: SOT 106753 SOS 79618 HAS SOPS 53643 HAS SOUS 35794 HAS SOUPS 33562 WITH SCORE 33641.618
AT ITER 792 NEW BEST:: SOT 106771 SOS 79654 HAS SOPS 53697 HAS SOUS 35790 HAS SOUPS 33558 WITH SCORE 33637.654
AT ITER 794 NEW BEST:: SOT 106771 SOS 79584 HAS SOPS 53662 HAS SOUS 35720 HAS SOUPS 33523 WITH SCORE 33602.584
AT ITER 795 NEW BEST:: SOT 106771 SOS 79468 HAS SOPS 53579 HAS SOUS 35672 HAS SOUPS 33508 WITH SCORE 33587.468
AT ITER 796 NEW BEST:: SOT 106764 SOS 79426 HAS SOPS 53546 HAS SOUS 35652 HAS SOUPS 33488 WITH SCORE 33567.426
AT ITER 797 NEW BEST:: SOT 106764 SOS 79426 HAS SOPS 53546 HAS SOUS 35642 HAS SOUPS 33478 WITH SCORE 33557.426
AT ITER 805 NEW BEST:: SOT 106749 SOS 79411 HAS SOPS 53495 HAS SOUS 35588 HAS SOUPS 33424 WITH SCORE 33503.411
AT ITER 806 NEW BEST:: SOT 106601 SOS 79098 HAS SOPS 53125 HAS SOUS 35366 HAS SOUPS 33202 WITH SCORE 33281.098
AT ITER 815 NEW BEST:: SOT 106484 SOS 78550 HAS SOPS 52577 HAS SOUS 34983 HAS SOUPS 32819 WITH SCORE 32897.55
AT ITER 824 NEW BEST:: SOT 106484 SOS 78529 HAS SOPS 52556 HAS SOUS 34976 HAS SOUPS 32812 WITH SCORE 32890.529
AT ITER 832 NEW BEST:: SOT 106484 SOS 78479 HAS SOPS 52496 HAS SOUS 34986 HAS SOUPS 32812 WITH SCORE 32890.479
AT ITER 833 NEW BEST:: SOT 106437 SOS 78385 HAS SOPS 52355 HAS SOUS 34939 HAS SOUPS 32765 WITH SCORE 32843.385
AT ITER 837 NEW BEST:: SOT 106427 SOS 78375 HAS SOPS 52335 HAS SOUS 34905 HAS SOUPS 32731 WITH SCORE 32809.375
AT ITER 840 NEW BEST:: SOT 106368 SOS 78221 HAS SOPS 52029 HAS SOUS 34823 HAS SOUPS 32649 WITH SCORE 32727.221
AT ITER 841 NEW BEST:: SOT 106360 SOS 78163 HAS SOPS 52063 HAS SOUS 34807 HAS SOUPS 32633 WITH SCORE 32711.163
AT ITER 843 NEW BEST:: SOT 106302 SOS 78164 HAS SOPS 52030 HAS SOUS 34562 HAS SOUPS 32388 WITH SCORE 32466.164
AT ITER 852 NEW BEST:: SOT 106219 SOS 78081 HAS SOPS 51905 HAS SOUS 34458 HAS SOUPS 32284 WITH SCORE 32362.081
AT ITER 854 NEW BEST:: SOT 106227 SOS 78196 HAS SOPS 51847 HAS SOUS 34355 HAS SOUPS 32181 WITH SCORE 32259.196
AT ITER 863 NEW BEST:: SOT 106101 SOS 78015 HAS SOPS 51666 HAS SOUS 34130 HAS SOUPS 31956 WITH SCORE 32034.015
AT ITER 864 NEW BEST:: SOT 106019 SOS 77933 HAS SOPS 51538 HAS SOUS 34026 HAS SOUPS 31852 WITH SCORE 31929.933
AT ITER 871 NEW BEST:: SOT 106008 SOS 77912 HAS SOPS 51535 HAS SOUS 34015 HAS SOUPS 31841 WITH SCORE 31918.912
AT ITER 891 NEW BEST:: SOT 105890 SOS 77822 HAS SOPS 51385 HAS SOUS 33840 HAS SOUPS 31666 WITH SCORE 31743.822
AT ITER 899 NEW BEST:: SOT 105890 SOS 77807 HAS SOPS 51370 HAS SOUS 33840 HAS SOUPS 31666 WITH SCORE 31743.807
AT ITER 908 NEW BEST:: SOT 106043 SOS 77987 HAS SOPS 51577 HAS SOUS 33830 HAS SOUPS 31656 WITH SCORE 31733.987
AT ITER 910 NEW BEST:: SOT 105915 SOS 77859 HAS SOPS 51513 HAS SOUS 33701 HAS SOUPS 31535 WITH SCORE 31612.859
AT ITER 914 NEW BEST:: SOT 105913 SOS 77857 HAS SOPS 51510 HAS SOUS 33697 HAS SOUPS 31531 WITH SCORE 31608.857
AT ITER 918 NEW BEST:: SOT 105913 SOS 77674 HAS SOPS 51403 HAS SOUS 33697 HAS SOUPS 31531 WITH SCORE 31608.674
AT ITER 919 NEW BEST:: SOT 105678 SOS 77446 HAS SOPS 50828 HAS SOUS 33323 HAS SOUPS 31157 WITH SCORE 31234.446
AT ITER 921 NEW BEST:: SOT 105642 SOS 77410 HAS SOPS 50774 HAS SOUS 33257 HAS SOUPS 31091 WITH SCORE 31168.41
AT ITER 927 NEW BEST:: SOT 105598 SOS 77366 HAS SOPS 50744 HAS SOUS 33212 HAS SOUPS 31056 WITH SCORE 31133.366
AT ITER 928 NEW BEST:: SOT 105604 SOS 77366 HAS SOPS 50732 HAS SOUS 33206 HAS SOUPS 31050 WITH SCORE 31127.366
AT ITER 935 NEW BEST:: SOT 105602 SOS 77385 HAS SOPS 50726 HAS SOUS 33202 HAS SOUPS 31046 WITH SCORE 31123.385
AT ITER 939 NEW BEST:: SOT 105534 SOS 77323 HAS SOPS 50676 HAS SOUS 33181 HAS SOUPS 31025 WITH SCORE 31102.323
AT ITER 945 NEW BEST:: SOT 105460 SOS 77249 HAS SOPS 50565 HAS SOUS 32970 HAS SOUPS 30814 WITH SCORE 30891.249
AT ITER 950 NEW BEST:: SOT 105390 SOS 77179 HAS SOPS 50495 HAS SOUS 32900 HAS SOUPS 30744 WITH SCORE 30821.179
AT ITER 953 NEW BEST:: SOT 105349 SOS 77138 HAS SOPS 50406 HAS SOUS 32866 HAS SOUPS 30710 WITH SCORE 30787.138
AT ITER 954 NEW BEST:: SOT 105339 SOS 77128 HAS SOPS 50391 HAS SOUS 32851 HAS SOUPS 30695 WITH SCORE 30772.128
AT ITER 955 NEW BEST:: SOT 105321 SOS 77110 HAS SOPS 50381 HAS SOUS 32837 HAS SOUPS 30681 WITH SCORE 30758.11
AT ITER 958 NEW BEST:: SOT 105313 SOS 77098 HAS SOPS 50377 HAS SOUS 32829 HAS SOUPS 30673 WITH SCORE 30750.098
AT ITER 960 NEW BEST:: SOT 105259 SOS 77044 HAS SOPS 50323 HAS SOUS 32766 HAS SOUPS 30610 WITH SCORE 30687.044
AT ITER 979 NEW BEST:: SOT 105237 SOS 77022 HAS SOPS 50268 HAS SOUS 32722 HAS SOUPS 30566 WITH SCORE 30643.022
AT ITER 994 NEW BEST:: SOT 105034 SOS 76819 HAS SOPS 50065 HAS SOUS 32656 HAS SOUPS 30500 WITH SCORE 30576.819
AT ITER 998 NEW BEST:: SOT 105034 SOS 76819 HAS SOPS 50069 HAS SOUS 32644 HAS SOUPS 30488 WITH SCORE 30564.819
AT ITER 1005 NEW BEST:: SOT 104895 SOS 76716 HAS SOPS 49947 HAS SOUS 32522 HAS SOUPS 30347 WITH SCORE 30423.716
AT ITER 1007 NEW BEST:: SOT 104895 SOS 76626 HAS SOPS 49947 HAS SOUS 32522 HAS SOUPS 30347 WITH SCORE 30423.626
AT ITER 1017 NEW BEST:: SOT 104895 SOS 76590 HAS SOPS 49911 HAS SOUS 32522 HAS SOUPS 30347 WITH SCORE 30423.59
AT ITER 1021 NEW BEST:: SOT 104779 SOS 76474 HAS SOPS 49736 HAS SOUS 32317 HAS SOUPS 30142 WITH SCORE 30218.474
AT ITER 1025 NEW BEST:: SOT 104748 SOS 76384 HAS SOPS 49644 HAS SOUS 32284 HAS SOUPS 30109 WITH SCORE 30185.384
AT ITER 1033 NEW BEST:: SOT 105004 SOS 76640 HAS SOPS 49388 HAS SOUS 32041 HAS SOUPS 29866 WITH SCORE 29942.64
AT ITER 1038 NEW BEST:: SOT 104996 SOS 76632 HAS SOPS 49388 HAS SOUS 32037 HAS SOUPS 29866 WITH SCORE 29942.632
AT ITER 1044 NEW BEST:: SOT 104984 SOS 76646 HAS SOPS 49336 HAS SOUS 32017 HAS SOUPS 29846 WITH SCORE 29922.646
AT ITER 1046 NEW BEST:: SOT 104982 SOS 76568 HAS SOPS 49280 HAS SOUS 31989 HAS SOUPS 29832 WITH SCORE 29908.568
AT ITER 1047 NEW BEST:: SOT 104936 SOS 76522 HAS SOPS 49211 HAS SOUS 31980 HAS SOUPS 29823 WITH SCORE 29899.522
AT ITER 1049 NEW BEST:: SOT 104924 SOS 76501 HAS SOPS 49178 HAS SOUS 31953 HAS SOUPS 29796 WITH SCORE 29872.501
AT ITER 1054 NEW BEST:: SOT 104910 SOS 76487 HAS SOPS 49150 HAS SOUS 31925 HAS SOUPS 29768 WITH SCORE 29844.487
AT ITER 1057 NEW BEST:: SOT 104773 SOS 76350 HAS SOPS 49009 HAS SOUS 31883 HAS SOUPS 29726 WITH SCORE 29802.35
AT ITER 1066 NEW BEST:: SOT 104773 SOS 76350 HAS SOPS 49009 HAS SOUS 31877 HAS SOUPS 29720 WITH SCORE 29796.35
AT ITER 1071 NEW BEST:: SOT 104787 SOS 76376 HAS SOPS 49001 HAS SOUS 31872 HAS SOUPS 29715 WITH SCORE 29791.376
AT ITER 1076 NEW BEST:: SOT 104406 SOS 79113 HAS SOPS 49925 HAS SOUS 31840 HAS SOUPS 29625 WITH SCORE 29704.113
AT ITER 1077 NEW BEST:: SOT 104406 SOS 79102 HAS SOPS 50062 HAS SOUS 31840 HAS SOUPS 29625 WITH SCORE 29704.102
AT ITER 1096 NEW BEST:: SOT 104406 SOS 78982 HAS SOPS 49970 HAS SOUS 31840 HAS SOUPS 29625 WITH SCORE 29703.982
AT ITER 1102 NEW BEST:: SOT 104412 SOS 78989 HAS SOPS 49978 HAS SOUS 31767 HAS SOUPS 29552 WITH SCORE 29630.989
AT ITER 1105 NEW BEST:: SOT 104341 SOS 78877 HAS SOPS 49836 HAS SOUS 31684 HAS SOUPS 29469 WITH SCORE 29547.877
AT ITER 1106 NEW BEST:: SOT 104314 SOS 78869 HAS SOPS 49755 HAS SOUS 31630 HAS SOUPS 29415 WITH SCORE 29493.869
AT ITER 1108 NEW BEST:: SOT 104168 SOS 78703 HAS SOPS 49575 HAS SOUS 31528 HAS SOUPS 29313 WITH SCORE 29391.703
AT ITER 1118 NEW BEST:: SOT 104129 SOS 78656 HAS SOPS 49559 HAS SOUS 31437 HAS SOUPS 29222 WITH SCORE 29300.656
AT ITER 1121 NEW BEST:: SOT 104101 SOS 78628 HAS SOPS 49517 HAS SOUS 31381 HAS SOUPS 29166 WITH SCORE 29244.628
AT ITER 1130 NEW BEST:: SOT 103795 SOS 78322 HAS SOPS 49605 HAS SOUS 31381 HAS SOUPS 29166 WITH SCORE 29244.322
AT ITER 1132 NEW BEST:: SOT 103812 SOS 78339 HAS SOPS 49616 HAS SOUS 31359 HAS SOUPS 29144 WITH SCORE 29222.339
AT ITER 1136 NEW BEST:: SOT 103812 SOS 78339 HAS SOPS 49616 HAS SOUS 31357 HAS SOUPS 29142 WITH SCORE 29220.339
AT ITER 1138 NEW BEST:: SOT 103785 SOS 78256 HAS SOPS 49533 HAS SOUS 31330 HAS SOUPS 29115 WITH SCORE 29193.256
AT ITER 1147 NEW BEST:: SOT 103777 SOS 78248 HAS SOPS 49502 HAS SOUS 31307 HAS SOUPS 29109 WITH SCORE 29187.248
AT ITER 1149 NEW BEST:: SOT 103777 SOS 78248 HAS SOPS 49502 HAS SOUS 31305 HAS SOUPS 29107 WITH SCORE 29185.248
AT ITER 1150 NEW BEST:: SOT 103777 SOS 78248 HAS SOPS 49502 HAS SOUS 31301 HAS SOUPS 29103 WITH SCORE 29181.248
AT ITER 1152 NEW BEST:: SOT 103657 SOS 78128 HAS SOPS 49223 HAS SOUS 31103 HAS SOUPS 28889 WITH SCORE 28967.128
AT ITER 1154 NEW BEST:: SOT 103545 SOS 78016 HAS SOPS 49055 HAS SOUS 30935 HAS SOUPS 28721 WITH SCORE 28799.016
AT ITER 1166 NEW BEST:: SOT 103485 SOS 77956 HAS SOPS 49157 HAS SOUS 30883 HAS SOUPS 28669 WITH SCORE 28746.956
AT ITER 1172 NEW BEST:: SOT 103471 SOS 77942 HAS SOPS 49143 HAS SOUS 30839 HAS SOUPS 28625 WITH SCORE 28702.942
AT ITER 1175 NEW BEST:: SOT 103457 SOS 77928 HAS SOPS 49122 HAS SOUS 30811 HAS SOUPS 28597 WITH SCORE 28674.928
AT ITER 1195 NEW BEST:: SOT 103428 SOS 77899 HAS SOPS 49093 HAS SOUS 30753 HAS SOUPS 28539 WITH SCORE 28616.899
AT ITER 1199 NEW BEST:: SOT 103378 SOS 77849 HAS SOPS 49078 HAS SOUS 30729 HAS SOUPS 28515 WITH SCORE 28592.849
AT ITER 1215 NEW BEST:: SOT 103352 SOS 77823 HAS SOPS 49026 HAS SOUS 30703 HAS SOUPS 28489 WITH SCORE 28566.823
AT ITER 1233 NEW BEST:: SOT 103364 SOS 77835 HAS SOPS 48981 HAS SOUS 30708 HAS SOUPS 28473 WITH SCORE 28550.835
AT ITER 1236 NEW BEST:: SOT 103306 SOS 77809 HAS SOPS 48940 HAS SOUS 30597 HAS SOUPS 28362 WITH SCORE 28439.809
AT ITER 1239 NEW BEST:: SOT 103306 SOS 77789 HAS SOPS 48993 HAS SOUS 30597 HAS SOUPS 28362 WITH SCORE 28439.789
AT ITER 1244 NEW BEST:: SOT 103210 SOS 77645 HAS SOPS 48849 HAS SOUS 30508 HAS SOUPS 28273 WITH SCORE 28350.645
AT ITER 1250 NEW BEST:: SOT 103237 SOS 77672 HAS SOPS 48876 HAS SOUS 30468 HAS SOUPS 28233 WITH SCORE 28310.672
AT ITER 1260 NEW BEST:: SOT 103222 SOS 77657 HAS SOPS 48861 HAS SOUS 30453 HAS SOUPS 28218 WITH SCORE 28295.657
AT ITER 1272 NEW BEST:: SOT 103124 SOS 77625 HAS SOPS 48445 HAS SOUS 30310 HAS SOUPS 28066 WITH SCORE 28143.625
AT ITER 1282 NEW BEST:: SOT 103120 SOS 77621 HAS SOPS 48410 HAS SOUS 30277 HAS SOUPS 28033 WITH SCORE 28110.621
AT ITER 1289 NEW BEST:: SOT 102914 SOS 77395 HAS SOPS 48184 HAS SOUS 30092 HAS SOUPS 27848 WITH SCORE 27925.395
AT ITER 1296 NEW BEST:: SOT 102900 SOS 77393 HAS SOPS 48168 HAS SOUS 30058 HAS SOUPS 27814 WITH SCORE 27891.393
AT ITER 1299 NEW BEST:: SOT 102900 SOS 77393 HAS SOPS 48168 HAS SOUS 30036 HAS SOUPS 27792 WITH SCORE 27869.393
AT ITER 1300 NEW BEST:: SOT 102900 SOS 77393 HAS SOPS 48168 HAS SOUS 30000 HAS SOUPS 27756 WITH SCORE 27833.393
AT ITER 1304 NEW BEST:: SOT 102784 SOS 77277 HAS SOPS 48028 HAS SOUS 29860 HAS SOUPS 27626 WITH SCORE 27703.277
AT ITER 1323 NEW BEST:: SOT 102547 SOS 77040 HAS SOPS 47975 HAS SOUS 29724 HAS SOUPS 27490 WITH SCORE 27567.04
AT ITER 1325 NEW BEST:: SOT 102510 SOS 76966 HAS SOPS 47864 HAS SOUS 29686 HAS SOUPS 27452 WITH SCORE 27528.966
AT ITER 1328 NEW BEST:: SOT 102510 SOS 76960 HAS SOPS 47864 HAS SOUS 29686 HAS SOUPS 27452 WITH SCORE 27528.96
AT ITER 1330 NEW BEST:: SOT 102466 SOS 76916 HAS SOPS 47776 HAS SOUS 29622 HAS SOUPS 27388 WITH SCORE 27464.916
AT ITER 1332 NEW BEST:: SOT 102448 SOS 76898 HAS SOPS 47740 HAS SOUS 29604 HAS SOUPS 27370 WITH SCORE 27446.898
AT ITER 1349 NEW BEST:: SOT 102398 SOS 76841 HAS SOPS 47658 HAS SOUS 29464 HAS SOUPS 27230 WITH SCORE 27306.841
AT ITER 1355 NEW BEST:: SOT 102432 SOS 76826 HAS SOPS 47594 HAS SOUS 29372 HAS SOUPS 27138 WITH SCORE 27214.826
AT ITER 1358 NEW BEST:: SOT 102397 SOS 76791 HAS SOPS 47524 HAS SOUS 29302 HAS SOUPS 27068 WITH SCORE 27144.791
AT ITER 1366 NEW BEST:: SOT 102309 SOS 76666 HAS SOPS 47355 HAS SOUS 29205 HAS SOUPS 26971 WITH SCORE 27047.666
AT ITER 1376 NEW BEST:: SOT 102259 SOS 76616 HAS SOPS 47339 HAS SOUS 29172 HAS SOUPS 26938 WITH SCORE 27014.616
AT ITER 1382 NEW BEST:: SOT 102259 SOS 76616 HAS SOPS 47339 HAS SOUS 29084 HAS SOUPS 26850 WITH SCORE 26926.616
AT ITER 1396 NEW BEST:: SOT 102232 SOS 76589 HAS SOPS 47312 HAS SOUS 29045 HAS SOUPS 26811 WITH SCORE 26887.589
AT ITER 1424 NEW BEST:: SOT 102226 SOS 76574 HAS SOPS 47294 HAS SOUS 29039 HAS SOUPS 26802 WITH SCORE 26878.574
AT ITER 1432 NEW BEST:: SOT 102102 SOS 76450 HAS SOPS 47108 HAS SOUS 28918 HAS SOUPS 26681 WITH SCORE 26757.45
AT ITER 1437 NEW BEST:: SOT 101704 SOS 75998 HAS SOPS 47289 HAS SOUS 28906 HAS SOUPS 26669 WITH SCORE 26744.998
AT ITER 1451 NEW BEST:: SOT 101716 SOS 76010 HAS SOPS 47307 HAS SOUS 28903 HAS SOUPS 26666 WITH SCORE 26742.01
AT ITER 1461 NEW BEST:: SOT 101706 SOS 76000 HAS SOPS 47292 HAS SOUS 28888 HAS SOUPS 26651 WITH SCORE 26727.0
AT ITER 1475 NEW BEST:: SOT 101701 SOS 75995 HAS SOPS 47282 HAS SOUS 28883 HAS SOUPS 26646 WITH SCORE 26721.995
AT ITER 1483 NEW BEST:: SOT 101630 SOS 75924 HAS SOPS 47211 HAS SOUS 28744 HAS SOUPS 26507 WITH SCORE 26582.924
AT ITER 1493 NEW BEST:: SOT 101617 SOS 75911 HAS SOPS 47198 HAS SOUS 28744 HAS SOUPS 26507 WITH SCORE 26582.911
AT ITER 1508 NEW BEST:: SOT 101597 SOS 75891 HAS SOPS 47168 HAS SOUS 28704 HAS SOUPS 26467 WITH SCORE 26542.891
AT ITER 1521 NEW BEST:: SOT 101584 SOS 75872 HAS SOPS 47143 HAS SOUS 28635 HAS SOUPS 26398 WITH SCORE 26473.872
AT ITER 1524 NEW BEST:: SOT 101567 SOS 75855 HAS SOPS 47109 HAS SOUS 28595 HAS SOUPS 26358 WITH SCORE 26433.855
AT ITER 1525 NEW BEST:: SOT 101562 SOS 75850 HAS SOPS 47104 HAS SOUS 28580 HAS SOUPS 26343 WITH SCORE 26418.85
AT ITER 1526 NEW BEST:: SOT 101427 SOS 75670 HAS SOPS 46924 HAS SOUS 28540 HAS SOUPS 26303 WITH SCORE 26378.67
AT ITER 1543 NEW BEST:: SOT 101403 SOS 75642 HAS SOPS 46892 HAS SOUS 28508 HAS SOUPS 26271 WITH SCORE 26346.642
AT ITER 1547 NEW BEST:: SOT 101381 SOS 75620 HAS SOPS 46880 HAS SOUS 28496 HAS SOUPS 26259 WITH SCORE 26334.62
AT ITER 1555 NEW BEST:: SOT 101350 SOS 75589 HAS SOPS 46849 HAS SOUS 28457 HAS SOUPS 26220 WITH SCORE 26295.589
AT ITER 1573 NEW BEST:: SOT 101303 SOS 75542 HAS SOPS 46845 HAS SOUS 28449 HAS SOUPS 26212 WITH SCORE 26287.542
AT ITER 1588 NEW BEST:: SOT 101287 SOS 75526 HAS SOPS 46821 HAS SOUS 28420 HAS SOUPS 26183 WITH SCORE 26258.526
AT ITER 1592 NEW BEST:: SOT 101247 SOS 75486 HAS SOPS 46701 HAS SOUS 28300 HAS SOUPS 26063 WITH SCORE 26138.486
AT ITER 1593 NEW BEST:: SOT 101220 SOS 75467 HAS SOPS 46682 HAS SOUS 28294 HAS SOUPS 26057 WITH SCORE 26132.467
AT ITER 1595 NEW BEST:: SOT 101186 SOS 75400 HAS SOPS 46610 HAS SOUS 28192 HAS SOUPS 25955 WITH SCORE 26030.4
AT ITER 1610 NEW BEST:: SOT 101019 SOS 75233 HAS SOPS 46554 HAS SOUS 28062 HAS SOUPS 25877 WITH SCORE 25952.233
AT ITER 1612 NEW BEST:: SOT 100974 SOS 75188 HAS SOPS 46509 HAS SOUS 28062 HAS SOUPS 25877 WITH SCORE 25952.188
AT ITER 1617 NEW BEST:: SOT 101008 SOS 75222 HAS SOPS 46543 HAS SOUS 28037 HAS SOUPS 25852 WITH SCORE 25927.222
AT ITER 1624 NEW BEST:: SOT 101007 SOS 75207 HAS SOPS 46450 HAS SOUS 27944 HAS SOUPS 25759 WITH SCORE 25834.207
AT ITER 1625 NEW BEST:: SOT 100228 SOS 75438 HAS SOPS 46058 HAS SOUS 27466 HAS SOUPS 25243 WITH SCORE 25318.438
AT ITER 1626 NEW BEST:: SOT 100209 SOS 75422 HAS SOPS 46031 HAS SOUS 27450 HAS SOUPS 25216 WITH SCORE 25291.422
AT ITER 1629 NEW BEST:: SOT 100193 SOS 75406 HAS SOPS 46013 HAS SOUS 27430 HAS SOUPS 25196 WITH SCORE 25271.406
AT ITER 1630 NEW BEST:: SOT 100189 SOS 75380 HAS SOPS 45987 HAS SOUS 27422 HAS SOUPS 25188 WITH SCORE 25263.38
AT ITER 1646 NEW BEST:: SOT 100167 SOS 74997 HAS SOPS 45522 HAS SOUS 27354 HAS SOUPS 25120 WITH SCORE 25194.997
AT ITER 1652 NEW BEST:: SOT 100157 SOS 74987 HAS SOPS 45502 HAS SOUS 27305 HAS SOUPS 25071 WITH SCORE 25145.987
AT ITER 1653 NEW BEST:: SOT 99750 SOS 76363 HAS SOPS 45840 HAS SOUS 27176 HAS SOUPS 24910 WITH SCORE 24986.363
AT ITER 1661 NEW BEST:: SOT 99750 SOS 76363 HAS SOPS 45824 HAS SOUS 27164 HAS SOUPS 24898 WITH SCORE 24974.363
AT ITER 1667 NEW BEST:: SOT 99765 SOS 76378 HAS SOPS 45839 HAS SOUS 27157 HAS SOUPS 24891 WITH SCORE 24967.378
AT ITER 1674 NEW BEST:: SOT 99805 SOS 76402 HAS SOPS 45879 HAS SOUS 27045 HAS SOUPS 24795 WITH SCORE 24871.402
AT ITER 1682 NEW BEST:: SOT 99382 SOS 77817 HAS SOPS 46085 HAS SOUS 26873 HAS SOUPS 24584 WITH SCORE 24661.817
AT ITER 1702 NEW BEST:: SOT 99368 SOS 77803 HAS SOPS 46064 HAS SOUS 26848 HAS SOUPS 24559 WITH SCORE 24636.803
AT ITER 1708 NEW BEST:: SOT 99368 SOS 77803 HAS SOPS 46064 HAS SOUS 26841 HAS SOUPS 24552 WITH SCORE 24629.803
AT ITER 1719 NEW BEST:: SOT 99266 SOS 77701 HAS SOPS 45911 HAS SOUS 26699 HAS SOUPS 24410 WITH SCORE 24487.701
AT ITER 1727 NEW BEST:: SOT 99244 SOS 77679 HAS SOPS 45867 HAS SOUS 26696 HAS SOUPS 24407 WITH SCORE 24484.679
AT ITER 1730 NEW BEST:: SOT 99158 SOS 77593 HAS SOPS 45833 HAS SOUS 26608 HAS SOUPS 24319 WITH SCORE 24396.593
AT ITER 1756 NEW BEST:: SOT 99155 SOS 77590 HAS SOPS 45827 HAS SOUS 26608 HAS SOUPS 24319 WITH SCORE 24396.59
AT ITER 1770 NEW BEST:: SOT 99155 SOS 77590 HAS SOPS 45827 HAS SOUS 26595 HAS SOUPS 24306 WITH SCORE 24383.59
AT ITER 1773 NEW BEST:: SOT 99088 SOS 77559 HAS SOPS 45765 HAS SOUS 26555 HAS SOUPS 24257 WITH SCORE 24334.559
AT ITER 1788 NEW BEST:: SOT 99078 SOS 77549 HAS SOPS 45650 HAS SOUS 26521 HAS SOUPS 24223 WITH SCORE 24300.549
AT ITER 1789 NEW BEST:: SOT 99036 SOS 77507 HAS SOPS 45587 HAS SOUS 26479 HAS SOUPS 24181 WITH SCORE 24258.507
AT ITER 1800 NEW BEST:: SOT 99040 SOS 77511 HAS SOPS 45593 HAS SOUS 26468 HAS SOUPS 24170 WITH SCORE 24247.511
AT ITER 1801 NEW BEST:: SOT 99040 SOS 77511 HAS SOPS 45593 HAS SOUS 26461 HAS SOUPS 24163 WITH SCORE 24240.511
AT ITER 1803 NEW BEST:: SOT 98884 SOS 77355 HAS SOPS 45359 HAS SOUS 26226 HAS SOUPS 23928 WITH SCORE 24005.355
AT ITER 1832 NEW BEST:: SOT 98886 SOS 77357 HAS SOPS 45362 HAS SOUS 26207 HAS SOUPS 23909 WITH SCORE 23986.357
AT ITER 1853 NEW BEST:: SOT 98819 SOS 77290 HAS SOPS 45295 HAS SOUS 26144 HAS SOUPS 23846 WITH SCORE 23923.29
AT ITER 1881 NEW BEST:: SOT 98797 SOS 77268 HAS SOPS 45263 HAS SOUS 26111 HAS SOUPS 23813 WITH SCORE 23890.268
AT ITER 1888 NEW BEST:: SOT 98764 SOS 77247 HAS SOPS 45227 HAS SOUS 26098 HAS SOUPS 23800 WITH SCORE 23877.247
AT ITER 1890 NEW BEST:: SOT 98655 SOS 77083 HAS SOPS 45037 HAS SOUS 25799 HAS SOUPS 23501 WITH SCORE 23578.083
AT ITER 1897 NEW BEST:: SOT 98564 SOS 76990 HAS SOPS 44937 HAS SOUS 25772 HAS SOUPS 23474 WITH SCORE 23550.99
AT ITER 1904 NEW BEST:: SOT 98552 SOS 76978 HAS SOPS 44919 HAS SOUS 25731 HAS SOUPS 23433 WITH SCORE 23509.978
AT ITER 1909 NEW BEST:: SOT 98395 SOS 76910 HAS SOPS 44812 HAS SOUS 25629 HAS SOUPS 23331 WITH SCORE 23407.91
AT ITER 1921 NEW BEST:: SOT 98342 SOS 76955 HAS SOPS 44804 HAS SOUS 25652 HAS SOUPS 23301 WITH SCORE 23377.955
AT ITER 1925 NEW BEST:: SOT 98328 SOS 76941 HAS SOPS 44783 HAS SOUS 25624 HAS SOUPS 23273 WITH SCORE 23349.941
AT ITER 1942 NEW BEST:: SOT 98256 SOS 76869 HAS SOPS 44675 HAS SOUS 25516 HAS SOUPS 23165 WITH SCORE 23241.869
AT ITER 1957 NEW BEST:: SOT 98368 SOS 76981 HAS SOPS 44591 HAS SOUS 25495 HAS SOUPS 23144 WITH SCORE 23220.981
AT ITER 1976 NEW BEST:: SOT 98346 SOS 77083 HAS SOPS 44667 HAS SOUS 25480 HAS SOUPS 23103 WITH SCORE 23180.083
AT ITER 1988 NEW BEST:: SOT 98306 SOS 77125 HAS SOPS 44760 HAS SOUS 25420 HAS SOUPS 23043 WITH SCORE 23120.125
AT ITER 1994 NEW BEST:: SOT 98286 SOS 77105 HAS SOPS 44558 HAS SOUS 25286 HAS SOUPS 22889 WITH SCORE 22966.105
AT ITER 2006 NEW BEST:: SOT 98286 SOS 77105 HAS SOPS 44558 HAS SOUS 25273 HAS SOUPS 22876 WITH SCORE 22953.105
AT ITER 2015 NEW BEST:: SOT 98264 SOS 77083 HAS SOPS 44525 HAS SOUS 25240 HAS SOUPS 22843 WITH SCORE 22920.083
AT ITER 2025 NEW BEST:: SOT 98218 SOS 77037 HAS SOPS 44492 HAS SOUS 25207 HAS SOUPS 22810 WITH SCORE 22887.037
AT ITER 2038 NEW BEST:: SOT 98218 SOS 77037 HAS SOPS 44492 HAS SOUS 25151 HAS SOUPS 22754 WITH SCORE 22831.037
AT ITER 2055 NEW BEST:: SOT 98092 SOS 77541 HAS SOPS 44579 HAS SOUS 25115 HAS SOUPS 22705 WITH SCORE 22782.541
AT ITER 2066 NEW BEST:: SOT 98113 SOS 77593 HAS SOPS 44680 HAS SOUS 25106 HAS SOUPS 22696 WITH SCORE 22773.593
AT ITER 2080 NEW BEST:: SOT 98021 SOS 77501 HAS SOPS 44542 HAS SOUS 25027 HAS SOUPS 22617 WITH SCORE 22694.501
AT ITER 2083 NEW BEST:: SOT 97996 SOS 77476 HAS SOPS 44517 HAS SOUS 25023 HAS SOUPS 22613 WITH SCORE 22690.476
AT ITER 2099 NEW BEST:: SOT 97936 SOS 77416 HAS SOPS 44427 HAS SOUS 24933 HAS SOUPS 22523 WITH SCORE 22600.416
AT ITER 2102 NEW BEST:: SOT 97880 SOS 77346 HAS SOPS 44267 HAS SOUS 24849 HAS SOUPS 22439 WITH SCORE 22516.346
AT ITER 2107 NEW BEST:: SOT 97804 SOS 77270 HAS SOPS 44069 HAS SOUS 24651 HAS SOUPS 22241 WITH SCORE 22318.27
AT ITER 2108 NEW BEST:: SOT 97810 SOS 77276 HAS SOPS 44054 HAS SOUS 24641 HAS SOUPS 22231 WITH SCORE 22308.276
AT ITER 2112 NEW BEST:: SOT 97810 SOS 77276 HAS SOPS 44054 HAS SOUS 24598 HAS SOUPS 22188 WITH SCORE 22265.276
AT ITER 2121 NEW BEST:: SOT 97764 SOS 77252 HAS SOPS 44102 HAS SOUS 24589 HAS SOUPS 22179 WITH SCORE 22256.252
AT ITER 2140 NEW BEST:: SOT 97724 SOS 77212 HAS SOPS 44082 HAS SOUS 24569 HAS SOUPS 22159 WITH SCORE 22236.212
AT ITER 2142 NEW BEST:: SOT 97708 SOS 77139 HAS SOPS 43973 HAS SOUS 24545 HAS SOUPS 22135 WITH SCORE 22212.139
AT ITER 2149 NEW BEST:: SOT 97643 SOS 77074 HAS SOPS 43866 HAS SOUS 24377 HAS SOUPS 21967 WITH SCORE 22044.074
AT ITER 2155 NEW BEST:: SOT 97643 SOS 77008 HAS SOPS 43729 HAS SOUS 24377 HAS SOUPS 21967 WITH SCORE 22044.008
AT ITER 2173 NEW BEST:: SOT 97638 SOS 77003 HAS SOPS 43724 HAS SOUS 24304 HAS SOUPS 21894 WITH SCORE 21971.003
AT ITER 2180 NEW BEST:: SOT 97618 SOS 76875 HAS SOPS 43596 HAS SOUS 24272 HAS SOUPS 21862 WITH SCORE 21938.875
AT ITER 2188 NEW BEST:: SOT 97454 SOS 76711 HAS SOPS 43490 HAS SOUS 24175 HAS SOUPS 21765 WITH SCORE 21841.711
AT ITER 2190 NEW BEST:: SOT 97454 SOS 76711 HAS SOPS 43489 HAS SOUS 24174 HAS SOUPS 21764 WITH SCORE 21840.711
AT ITER 2193 NEW BEST:: SOT 97449 SOS 76658 HAS SOPS 43458 HAS SOUS 24125 HAS SOUPS 21737 WITH SCORE 21813.658
AT ITER 2199 NEW BEST:: SOT 97441 SOS 76650 HAS SOPS 43446 HAS SOUS 24114 HAS SOUPS 21729 WITH SCORE 21805.65
AT ITER 2200 NEW BEST:: SOT 97427 SOS 76664 HAS SOPS 43432 HAS SOUS 24114 HAS SOUPS 21715 WITH SCORE 21791.664
AT ITER 2206 NEW BEST:: SOT 97427 SOS 76640 HAS SOPS 43414 HAS SOUS 24114 HAS SOUPS 21715 WITH SCORE 21791.64
AT ITER 2219 NEW BEST:: SOT 97447 SOS 76390 HAS SOPS 43323 HAS SOUS 24111 HAS SOUPS 21712 WITH SCORE 21788.39
AT ITER 2231 NEW BEST:: SOT 97565 SOS 76508 HAS SOPS 43124 HAS SOUS 24001 HAS SOUPS 21602 WITH SCORE 21678.508
AT ITER 2251 NEW BEST:: SOT 97586 SOS 76529 HAS SOPS 43196 HAS SOUS 23976 HAS SOUPS 21577 WITH SCORE 21653.529
AT ITER 2264 NEW BEST:: SOT 97518 SOS 76533 HAS SOPS 43199 HAS SOUS 23971 HAS SOUPS 21572 WITH SCORE 21648.533
AT ITER 2268 NEW BEST:: SOT 97510 SOS 76525 HAS SOPS 43051 HAS SOUS 23848 HAS SOUPS 21449 WITH SCORE 21525.525
AT ITER 2270 NEW BEST:: SOT 97482 SOS 76497 HAS SOPS 42995 HAS SOUS 23806 HAS SOUPS 21407 WITH SCORE 21483.497
AT ITER 2286 NEW BEST:: SOT 97470 SOS 76485 HAS SOPS 43001 HAS SOUS 23764 HAS SOUPS 21365 WITH SCORE 21441.485
AT ITER 2289 NEW BEST:: SOT 97410 SOS 76367 HAS SOPS 42946 HAS SOUS 23672 HAS SOUPS 21273 WITH SCORE 21349.367
AT ITER 2315 NEW BEST:: SOT 97348 SOS 76305 HAS SOPS 42853 HAS SOUS 23579 HAS SOUPS 21180 WITH SCORE 21256.305
AT ITER 2319 NEW BEST:: SOT 97246 SOS 76217 HAS SOPS 42724 HAS SOUS 23537 HAS SOUPS 21138 WITH SCORE 21214.217
AT ITER 2353 NEW BEST:: SOT 97222 SOS 76193 HAS SOPS 42700 HAS SOUS 23532 HAS SOUPS 21133 WITH SCORE 21209.193
AT ITER 2363 NEW BEST:: SOT 97362 SOS 76333 HAS SOPS 42680 HAS SOUS 23515 HAS SOUPS 21116 WITH SCORE 21192.333
AT ITER 2381 NEW BEST:: SOT 97352 SOS 76323 HAS SOPS 42665 HAS SOUS 23500 HAS SOUPS 21101 WITH SCORE 21177.323
AT ITER 2389 NEW BEST:: SOT 97276 SOS 76247 HAS SOPS 42695 HAS SOUS 23494 HAS SOUPS 21095 WITH SCORE 21171.247
AT ITER 2403 NEW BEST:: SOT 97276 SOS 76247 HAS SOPS 42695 HAS SOUS 23486 HAS SOUPS 21087 WITH SCORE 21163.247
AT ITER 2408 NEW BEST:: SOT 97274 SOS 76245 HAS SOPS 42693 HAS SOUS 23474 HAS SOUPS 21075 WITH SCORE 21151.245
AT ITER 2417 NEW BEST:: SOT 97273 SOS 76236 HAS SOPS 42678 HAS SOUS 23472 HAS SOUPS 21073 WITH SCORE 21149.236
AT ITER 2443 NEW BEST:: SOT 97259 SOS 76222 HAS SOPS 42650 HAS SOUS 23451 HAS SOUPS 21052 WITH SCORE 21128.222
AT ITER 2469 NEW BEST:: SOT 97259 SOS 76222 HAS SOPS 42650 HAS SOUS 23446 HAS SOUPS 21047 WITH SCORE 21123.222
AT ITER 2500 NEW BEST:: SOT 97281 SOS 76244 HAS SOPS 42507 HAS SOUS 23346 HAS SOUPS 20947 WITH SCORE 21023.244
AT ITER 2505 NEW BEST:: SOT 97275 SOS 76238 HAS SOPS 42495 HAS SOUS 23342 HAS SOUPS 20940 WITH SCORE 21016.238
AT ITER 2511 NEW BEST:: SOT 97275 SOS 76238 HAS SOPS 42495 HAS SOUS 23328 HAS SOUPS 20926 WITH SCORE 21002.238
AT ITER 2539 NEW BEST:: SOT 97267 SOS 76230 HAS SOPS 42459 HAS SOUS 23311 HAS SOUPS 20906 WITH SCORE 20982.23
AT ITER 2547 NEW BEST:: SOT 97251 SOS 76192 HAS SOPS 42433 HAS SOUS 23300 HAS SOUPS 20895 WITH SCORE 20971.192
AT ITER 2551 NEW BEST:: SOT 97248 SOS 76189 HAS SOPS 42427 HAS SOUS 23291 HAS SOUPS 20886 WITH SCORE 20962.189
AT ITER 2574 NEW BEST:: SOT 97252 SOS 76193 HAS SOPS 42433 HAS SOUS 23225 HAS SOUPS 20820 WITH SCORE 20896.193
AT ITER 2605 NEW BEST:: SOT 97202 SOS 76143 HAS SOPS 42358 HAS SOUS 23150 HAS SOUPS 20745 WITH SCORE 20821.143
AT ITER 2622 NEW BEST:: SOT 97103 SOS 76064 HAS SOPS 42205 HAS SOUS 22997 HAS SOUPS 20592 WITH SCORE 20668.064
AT ITER 2643 NEW BEST:: SOT 97085 SOS 76046 HAS SOPS 42178 HAS SOUS 22973 HAS SOUPS 20568 WITH SCORE 20644.046
AT ITER 2649 NEW BEST:: SOT 97153 SOS 76114 HAS SOPS 42064 HAS SOUS 22900 HAS SOUPS 20495 WITH SCORE 20571.114
AT ITER 2665 NEW BEST:: SOT 97111 SOS 76045 HAS SOPS 42001 HAS SOUS 22817 HAS SOUPS 20412 WITH SCORE 20488.045
AT ITER 2672 NEW BEST:: SOT 97095 SOS 76029 HAS SOPS 41977 HAS SOUS 22793 HAS SOUPS 20388 WITH SCORE 20464.029
AT ITER 2680 NEW BEST:: SOT 97095 SOS 76029 HAS SOPS 41977 HAS SOUS 22785 HAS SOUPS 20380 WITH SCORE 20456.029
AT ITER 2686 NEW BEST:: SOT 97075 SOS 76009 HAS SOPS 41937 HAS SOUS 22770 HAS SOUPS 20365 WITH SCORE 20441.009
AT ITER 2687 NEW BEST:: SOT 97099 SOS 75959 HAS SOPS 41855 HAS SOUS 22683 HAS SOUPS 20278 WITH SCORE 20353.959
AT ITER 2690 NEW BEST:: SOT 97018 SOS 75878 HAS SOPS 41792 HAS SOUS 22620 HAS SOUPS 20215 WITH SCORE 20290.878
AT ITER 2695 NEW BEST:: SOT 97018 SOS 75878 HAS SOPS 41792 HAS SOUS 22601 HAS SOUPS 20196 WITH SCORE 20271.878
AT ITER 2719 NEW BEST:: SOT 97022 SOS 75822 HAS SOPS 41767 HAS SOUS 22598 HAS SOUPS 20194 WITH SCORE 20269.822
AT ITER 2733 NEW BEST:: SOT 97009 SOS 75809 HAS SOPS 41754 HAS SOUS 22575 HAS SOUPS 20171 WITH SCORE 20246.809
AT ITER 2734 NEW BEST:: SOT 97005 SOS 75805 HAS SOPS 41748 HAS SOUS 22569 HAS SOUPS 20165 WITH SCORE 20240.805
AT ITER 2740 NEW BEST:: SOT 96761 SOS 77003 HAS SOPS 42014 HAS SOUS 22493 HAS SOUPS 20061 WITH SCORE 20138.003
AT ITER 2745 NEW BEST:: SOT 96712 SOS 76954 HAS SOPS 42004 HAS SOUS 22454 HAS SOUPS 20022 WITH SCORE 20098.954
AT ITER 2756 NEW BEST:: SOT 96690 SOS 76932 HAS SOPS 41971 HAS SOUS 22410 HAS SOUPS 19978 WITH SCORE 20054.932
AT ITER 2757 NEW BEST:: SOT 96696 SOS 76938 HAS SOPS 41943 HAS SOUS 22403 HAS SOUPS 19971 WITH SCORE 20047.938
AT ITER 2759 NEW BEST:: SOT 96604 SOS 76846 HAS SOPS 41805 HAS SOUS 22269 HAS SOUPS 19837 WITH SCORE 19913.846
AT ITER 2779 NEW BEST:: SOT 96600 SOS 76842 HAS SOPS 41801 HAS SOUS 22261 HAS SOUPS 19829 WITH SCORE 19905.842
AT ITER 2783 NEW BEST:: SOT 96534 SOS 76776 HAS SOPS 41850 HAS SOUS 22257 HAS SOUPS 19825 WITH SCORE 19901.776
AT ITER 2785 NEW BEST:: SOT 96532 SOS 76779 HAS SOPS 41852 HAS SOUS 22216 HAS SOUPS 19784 WITH SCORE 19860.779
AT ITER 2811 NEW BEST:: SOT 96518 SOS 76765 HAS SOPS 41831 HAS SOUS 22196 HAS SOUPS 19764 WITH SCORE 19840.765
AT ITER 2819 NEW BEST:: SOT 96518 SOS 76765 HAS SOPS 41831 HAS SOUS 22188 HAS SOUPS 19756 WITH SCORE 19832.765
AT ITER 2828 NEW BEST:: SOT 96560 SOS 76807 HAS SOPS 41802 HAS SOUS 22182 HAS SOUPS 19750 WITH SCORE 19826.807
AT ITER 2829 NEW BEST:: SOT 96471 SOS 76754 HAS SOPS 41734 HAS SOUS 22135 HAS SOUPS 19703 WITH SCORE 19779.754
AT ITER 2831 NEW BEST:: SOT 96364 SOS 76647 HAS SOPS 41584 HAS SOUS 22086 HAS SOUPS 19654 WITH SCORE 19730.647
AT ITER 2833 NEW BEST:: SOT 96364 SOS 76647 HAS SOPS 41584 HAS SOUS 22053 HAS SOUPS 19621 WITH SCORE 19697.647
AT ITER 2844 NEW BEST:: SOT 96336 SOS 76619 HAS SOPS 41561 HAS SOUS 21988 HAS SOUPS 19556 WITH SCORE 19632.619
AT ITER 2870 NEW BEST:: SOT 96336 SOS 76619 HAS SOPS 41557 HAS SOUS 21988 HAS SOUPS 19555 WITH SCORE 19631.619
AT ITER 2895 NEW BEST:: SOT 96349 SOS 76632 HAS SOPS 41545 HAS SOUS 21985 HAS SOUPS 19552 WITH SCORE 19628.632
AT ITER 2911 NEW BEST:: SOT 96437 SOS 76720 HAS SOPS 41533 HAS SOUS 21972 HAS SOUPS 19539 WITH SCORE 19615.72
AT ITER 2927 NEW BEST:: SOT 96391 SOS 76445 HAS SOPS 41035 HAS SOUS 21924 HAS SOUPS 19491 WITH SCORE 19567.445
AT ITER 2928 NEW BEST:: SOT 96367 SOS 76421 HAS SOPS 40999 HAS SOUS 21917 HAS SOUPS 19484 WITH SCORE 19560.421
AT ITER 2944 NEW BEST:: SOT 96224 SOS 76321 HAS SOPS 40856 HAS SOUS 21834 HAS SOUPS 19358 WITH SCORE 19434.321
AT ITER 2952 NEW BEST:: SOT 96196 SOS 76293 HAS SOPS 40814 HAS SOUS 21804 HAS SOUPS 19328 WITH SCORE 19404.293
AT ITER 2954 NEW BEST:: SOT 96182 SOS 76279 HAS SOPS 40800 HAS SOUS 21790 HAS SOUPS 19314 WITH SCORE 19390.279
AT ITER 2979 NEW BEST:: SOT 96126 SOS 76223 HAS SOPS 40716 HAS SOUS 21685 HAS SOUPS 19209 WITH SCORE 19285.223
AT ITER 2991 NEW BEST:: SOT 96126 SOS 76215 HAS SOPS 40709 HAS SOUS 21685 HAS SOUPS 19209 WITH SCORE 19285.215
AT ITER 3021 NEW BEST:: SOT 95962 SOS 77350 HAS SOPS 40960 HAS SOUS 21702 HAS SOUPS 19200 WITH SCORE 19277.35
AT ITER 3058 NEW BEST:: SOT 95962 SOS 77350 HAS SOPS 40960 HAS SOUS 21681 HAS SOUPS 19179 WITH SCORE 19256.35
AT ITER 3065 NEW BEST:: SOT 95900 SOS 77274 HAS SOPS 40836 HAS SOUS 21525 HAS SOUPS 19023 WITH SCORE 19100.274
AT ITER 3076 NEW BEST:: SOT 95872 SOS 77298 HAS SOPS 40891 HAS SOUS 21509 HAS SOUPS 19007 WITH SCORE 19084.298
AT ITER 3077 NEW BEST:: SOT 95868 SOS 77368 HAS SOPS 40883 HAS SOUS 21546 HAS SOUPS 19003 WITH SCORE 19080.368
AT ITER 3085 NEW BEST:: SOT 95867 SOS 77367 HAS SOPS 40872 HAS SOUS 21545 HAS SOUPS 19002 WITH SCORE 19079.367
AT ITER 3125 NEW BEST:: SOT 95809 SOS 77309 HAS SOPS 40756 HAS SOUS 21441 HAS SOUPS 18898 WITH SCORE 18975.309
AT ITER 3126 NEW BEST:: SOT 95664 SOS 77164 HAS SOPS 40420 HAS SOUS 21178 HAS SOUPS 18635 WITH SCORE 18712.164
AT ITER 3129 NEW BEST:: SOT 95630 SOS 77130 HAS SOPS 40352 HAS SOUS 21127 HAS SOUPS 18584 WITH SCORE 18661.13
AT ITER 3190 NEW BEST:: SOT 95568 SOS 77039 HAS SOPS 40232 HAS SOUS 21046 HAS SOUPS 18503 WITH SCORE 18580.039
AT ITER 3210 NEW BEST:: SOT 95471 SOS 76975 HAS SOPS 40078 HAS SOUS 20997 HAS SOUPS 18454 WITH SCORE 18530.975
AT ITER 3254 NEW BEST:: SOT 95547 SOS 77051 HAS SOPS 39968 HAS SOUS 20915 HAS SOUPS 18372 WITH SCORE 18449.051
AT ITER 3259 NEW BEST:: SOT 95525 SOS 77019 HAS SOPS 39969 HAS SOUS 20904 HAS SOUPS 18361 WITH SCORE 18438.019
AT ITER 3272 NEW BEST:: SOT 95493 SOS 76987 HAS SOPS 39965 HAS SOUS 20889 HAS SOUPS 18346 WITH SCORE 18422.987
AT ITER 3279 NEW BEST:: SOT 95478 SOS 76972 HAS SOPS 39950 HAS SOUS 20882 HAS SOUPS 18339 WITH SCORE 18415.972
AT ITER 3283 NEW BEST:: SOT 95500 SOS 76994 HAS SOPS 39919 HAS SOUS 20867 HAS SOUPS 18324 WITH SCORE 18400.994
AT ITER 3304 NEW BEST:: SOT 95490 SOS 76984 HAS SOPS 39904 HAS SOUS 20857 HAS SOUPS 18314 WITH SCORE 18390.984
AT ITER 3307 NEW BEST:: SOT 95348 SOS 78166 HAS SOPS 40265 HAS SOUS 20862 HAS SOUPS 18296 WITH SCORE 18374.166
AT ITER 3328 NEW BEST:: SOT 95346 SOS 78164 HAS SOPS 40265 HAS SOUS 20860 HAS SOUPS 18294 WITH SCORE 18372.164
AT ITER 3337 NEW BEST:: SOT 95120 SOS 77938 HAS SOPS 40089 HAS SOUS 20847 HAS SOUPS 18281 WITH SCORE 18358.938
AT ITER 3364 NEW BEST:: SOT 95112 SOS 77930 HAS SOPS 40073 HAS SOUS 20832 HAS SOUPS 18266 WITH SCORE 18343.93
AT ITER 3407 NEW BEST:: SOT 95082 SOS 77900 HAS SOPS 40023 HAS SOUS 20780 HAS SOUPS 18214 WITH SCORE 18291.9
AT ITER 3411 NEW BEST:: SOT 94960 SOS 77778 HAS SOPS 39779 HAS SOUS 20519 HAS SOUPS 17953 WITH SCORE 18030.778
AT ITER 3430 NEW BEST:: SOT 94948 SOS 77754 HAS SOPS 39755 HAS SOUS 20495 HAS SOUPS 17929 WITH SCORE 18006.754
AT ITER 3448 NEW BEST:: SOT 94942 SOS 77748 HAS SOPS 39750 HAS SOUS 20488 HAS SOUPS 17922 WITH SCORE 17999.748
AT ITER 3467 NEW BEST:: SOT 94949 SOS 77893 HAS SOPS 39577 HAS SOUS 20549 HAS SOUPS 17904 WITH SCORE 17981.893
AT ITER 3497 NEW BEST:: SOT 94925 SOS 77869 HAS SOPS 39553 HAS SOUS 20525 HAS SOUPS 17880 WITH SCORE 17957.869
AT ITER 3501 NEW BEST:: SOT 94853 SOS 77797 HAS SOPS 39399 HAS SOUS 20408 HAS SOUPS 17763 WITH SCORE 17840.797
AT ITER 3521 NEW BEST:: SOT 94833 SOS 77777 HAS SOPS 39369 HAS SOUS 20361 HAS SOUPS 17716 WITH SCORE 17793.777
AT ITER 3532 NEW BEST:: SOT 94821 SOS 77765 HAS SOPS 39351 HAS SOUS 20343 HAS SOUPS 17698 WITH SCORE 17775.765
AT ITER 3533 NEW BEST:: SOT 94781 SOS 77725 HAS SOPS 39291 HAS SOUS 20309 HAS SOUPS 17664 WITH SCORE 17741.725
AT ITER 3534 NEW BEST:: SOT 94799 SOS 77743 HAS SOPS 39307 HAS SOUS 20250 HAS SOUPS 17605 WITH SCORE 17682.743
AT ITER 3538 NEW BEST:: SOT 94791 SOS 77735 HAS SOPS 39311 HAS SOUS 20250 HAS SOUPS 17605 WITH SCORE 17682.735
AT ITER 3555 NEW BEST:: SOT 94791 SOS 77735 HAS SOPS 39311 HAS SOUS 20240 HAS SOUPS 17595 WITH SCORE 17672.735
AT ITER 3612 NEW BEST:: SOT 94791 SOS 77733 HAS SOPS 39309 HAS SOUS 20240 HAS SOUPS 17595 WITH SCORE 17672.733
AT ITER 3621 NEW BEST:: SOT 94777 SOS 77719 HAS SOPS 39324 HAS SOUS 20219 HAS SOUPS 17574 WITH SCORE 17651.719
AT ITER 3626 NEW BEST:: SOT 94741 SOS 77683 HAS SOPS 39294 HAS SOUS 20182 HAS SOUPS 17537 WITH SCORE 17614.683
AT ITER 3638 NEW BEST:: SOT 94762 SOS 77704 HAS SOPS 39112 HAS SOUS 20131 HAS SOUPS 17426 WITH SCORE 17503.704
AT ITER 3644 NEW BEST:: SOT 94745 SOS 77687 HAS SOPS 39061 HAS SOUS 20098 HAS SOUPS 17393 WITH SCORE 17470.687
AT ITER 3652 NEW BEST:: SOT 94697 SOS 77639 HAS SOPS 38965 HAS SOUS 20050 HAS SOUPS 17345 WITH SCORE 17422.639
AT ITER 3654 NEW BEST:: SOT 94693 SOS 77635 HAS SOPS 38943 HAS SOUS 20033 HAS SOUPS 17328 WITH SCORE 17405.635
AT ITER 3669 NEW BEST:: SOT 94665 SOS 77607 HAS SOPS 38885 HAS SOUS 19991 HAS SOUPS 17286 WITH SCORE 17363.607
AT ITER 3686 NEW BEST:: SOT 94675 SOS 77617 HAS SOPS 38843 HAS SOUS 19982 HAS SOUPS 17277 WITH SCORE 17354.617
AT ITER 3691 NEW BEST:: SOT 94649 SOS 77609 HAS SOPS 38805 HAS SOUS 19959 HAS SOUPS 17239 WITH SCORE 17316.609
AT ITER 3692 NEW BEST:: SOT 94578 SOS 77572 HAS SOPS 38602 HAS SOUS 19858 HAS SOUPS 17138 WITH SCORE 17215.572
AT ITER 3719 NEW BEST:: SOT 94599 SOS 77593 HAS SOPS 38623 HAS SOUS 19857 HAS SOUPS 17137 WITH SCORE 17214.593
AT ITER 3750 NEW BEST:: SOT 94595 SOS 77599 HAS SOPS 38644 HAS SOUS 19851 HAS SOUPS 17131 WITH SCORE 17208.599
AT ITER 3758 NEW BEST:: SOT 94595 SOS 77599 HAS SOPS 38632 HAS SOUS 19835 HAS SOUPS 17115 WITH SCORE 17192.599
AT ITER 3775 NEW BEST:: SOT 94555 SOS 77704 HAS SOPS 38706 HAS SOUS 19810 HAS SOUPS 17090 WITH SCORE 17167.704
AT ITER 3833 NEW BEST:: SOT 94555 SOS 77678 HAS SOPS 38700 HAS SOUS 19810 HAS SOUPS 17090 WITH SCORE 17167.678
AT ITER 3844 NEW BEST:: SOT 94555 SOS 77546 HAS SOPS 38634 HAS SOUS 19810 HAS SOUPS 17090 WITH SCORE 17167.546
AT ITER 3856 NEW BEST:: SOT 94546 SOS 77537 HAS SOPS 38625 HAS SOUS 19789 HAS SOUPS 17069 WITH SCORE 17146.537
AT ITER 3857 NEW BEST:: SOT 94544 SOS 77535 HAS SOPS 38622 HAS SOUS 19785 HAS SOUPS 17065 WITH SCORE 17142.535
AT ITER 3858 NEW BEST:: SOT 94504 SOS 77495 HAS SOPS 38602 HAS SOUS 19758 HAS SOUPS 17038 WITH SCORE 17115.495
AT ITER 3865 NEW BEST:: SOT 94494 SOS 77485 HAS SOPS 38599 HAS SOUS 19752 HAS SOUPS 17032 WITH SCORE 17109.485
AT ITER 3869 NEW BEST:: SOT 94474 SOS 77465 HAS SOPS 38650 HAS SOUS 19738 HAS SOUPS 17018 WITH SCORE 17095.465
AT ITER 3870 NEW BEST:: SOT 94486 SOS 77485 HAS SOPS 38640 HAS SOUS 19729 HAS SOUPS 17009 WITH SCORE 17086.485
AT ITER 3874 NEW BEST:: SOT 94452 SOS 77451 HAS SOPS 38521 HAS SOUS 19610 HAS SOUPS 16890 WITH SCORE 16967.451
AT ITER 3910 NEW BEST:: SOT 94390 SOS 77537 HAS SOPS 38568 HAS SOUS 19596 HAS SOUPS 16876 WITH SCORE 16953.537
AT ITER 3918 NEW BEST:: SOT 94334 SOS 77481 HAS SOPS 38484 HAS SOUS 19486 HAS SOUPS 16766 WITH SCORE 16843.481
AT ITER 3919 NEW BEST:: SOT 94334 SOS 77491 HAS SOPS 38444 HAS SOUS 19466 HAS SOUPS 16736 WITH SCORE 16813.491
AT ITER 3944 NEW BEST:: SOT 94318 SOS 77475 HAS SOPS 38403 HAS SOUS 19463 HAS SOUPS 16733 WITH SCORE 16810.475
AT ITER 3972 NEW BEST:: SOT 94262 SOS 77419 HAS SOPS 38326 HAS SOUS 19362 HAS SOUPS 16632 WITH SCORE 16709.419
AT ITER 3980 NEW BEST:: SOT 94258 SOS 77415 HAS SOPS 38320 HAS SOUS 19355 HAS SOUPS 16625 WITH SCORE 16702.415
AT ITER 3988 NEW BEST:: SOT 94258 SOS 77405 HAS SOPS 38320 HAS SOUS 19345 HAS SOUPS 16625 WITH SCORE 16702.405
AT ITER 4016 NEW BEST:: SOT 94234 SOS 77381 HAS SOPS 38284 HAS SOUS 19309 HAS SOUPS 16589 WITH SCORE 16666.381
AT ITER 4018 NEW BEST:: SOT 94234 SOS 77381 HAS SOPS 38284 HAS SOUS 19305 HAS SOUPS 16585 WITH SCORE 16662.381
AT ITER 4032 NEW BEST:: SOT 94234 SOS 77381 HAS SOPS 38284 HAS SOUS 19303 HAS SOUPS 16583 WITH SCORE 16660.381
AT ITER 4040 NEW BEST:: SOT 94294 SOS 77441 HAS SOPS 38170 HAS SOUS 19253 HAS SOUPS 16520 WITH SCORE 16597.441
AT ITER 4046 NEW BEST:: SOT 94280 SOS 77427 HAS SOPS 38149 HAS SOUS 19232 HAS SOUPS 16499 WITH SCORE 16576.427
AT ITER 4085 NEW BEST:: SOT 94238 SOS 77385 HAS SOPS 38096 HAS SOUS 19169 HAS SOUPS 16436 WITH SCORE 16513.385
AT ITER 4137 NEW BEST:: SOT 94238 SOS 77385 HAS SOPS 38096 HAS SOUS 19161 HAS SOUPS 16428 WITH SCORE 16505.385
AT ITER 4159 NEW BEST:: SOT 94216 SOS 77363 HAS SOPS 38107 HAS SOUS 19161 HAS SOUPS 16428 WITH SCORE 16505.363
AT ITER 4162 NEW BEST:: SOT 94212 SOS 77359 HAS SOPS 38101 HAS SOUS 19155 HAS SOUPS 16422 WITH SCORE 16499.359
AT ITER 4180 NEW BEST:: SOT 94208 SOS 77355 HAS SOPS 38097 HAS SOUS 19125 HAS SOUPS 16392 WITH SCORE 16469.355
AT ITER 4195 NEW BEST:: SOT 94202 SOS 77349 HAS SOPS 38091 HAS SOUS 19119 HAS SOUPS 16386 WITH SCORE 16463.349
AT ITER 4231 NEW BEST:: SOT 94125 SOS 77318 HAS SOPS 38014 HAS SOUS 19088 HAS SOUPS 16355 WITH SCORE 16432.318
AT ITER 4234 NEW BEST:: SOT 94085 SOS 77278 HAS SOPS 37971 HAS SOUS 19064 HAS SOUPS 16331 WITH SCORE 16408.278
AT ITER 4295 NEW BEST:: SOT 94073 SOS 77266 HAS SOPS 37890 HAS SOUS 19051 HAS SOUPS 16297 WITH SCORE 16374.266
AT ITER 4315 NEW BEST:: SOT 94073 SOS 77266 HAS SOPS 37890 HAS SOUS 19034 HAS SOUPS 16280 WITH SCORE 16357.266
AT ITER 4318 NEW BEST:: SOT 94085 SOS 77278 HAS SOPS 37914 HAS SOUS 19031 HAS SOUPS 16277 WITH SCORE 16354.278
AT ITER 4366 NEW BEST:: SOT 94065 SOS 77258 HAS SOPS 37884 HAS SOUS 18990 HAS SOUPS 16236 WITH SCORE 16313.258
AT ITER 4400 NEW BEST:: SOT 94047 SOS 77240 HAS SOPS 37857 HAS SOUS 18963 HAS SOUPS 16209 WITH SCORE 16286.24
AT ITER 4403 NEW BEST:: SOT 94055 SOS 77248 HAS SOPS 37753 HAS SOUS 18885 HAS SOUPS 16131 WITH SCORE 16208.248
AT ITER 4458 NEW BEST:: SOT 94051 SOS 77244 HAS SOPS 37747 HAS SOUS 18879 HAS SOUPS 16125 WITH SCORE 16202.244
AT ITER 4472 NEW BEST:: SOT 94051 SOS 77192 HAS SOPS 37721 HAS SOUS 18879 HAS SOUPS 16125 WITH SCORE 16202.192
AT ITER 4489 NEW BEST:: SOT 94005 SOS 77146 HAS SOPS 37642 HAS SOUS 18834 HAS SOUPS 16080 WITH SCORE 16157.146
AT ITER 4519 NEW BEST:: SOT 93999 SOS 77140 HAS SOPS 37621 HAS SOUS 18813 HAS SOUPS 16059 WITH SCORE 16136.14
AT ITER 4535 NEW BEST:: SOT 93983 SOS 77124 HAS SOPS 37597 HAS SOUS 18786 HAS SOUPS 16032 WITH SCORE 16109.124
AT ITER 4543 NEW BEST:: SOT 93975 SOS 77116 HAS SOPS 37585 HAS SOUS 18774 HAS SOUPS 16020 WITH SCORE 16097.116
AT ITER 4545 NEW BEST:: SOT 93975 SOS 77116 HAS SOPS 37585 HAS SOUS 18771 HAS SOUPS 16017 WITH SCORE 16094.116
AT ITER 4563 NEW BEST:: SOT 93956 SOS 77097 HAS SOPS 37547 HAS SOUS 18752 HAS SOUPS 15998 WITH SCORE 16075.097
AT ITER 4570 NEW BEST:: SOT 93952 SOS 77093 HAS SOPS 37541 HAS SOUS 18746 HAS SOUPS 15992 WITH SCORE 16069.093
AT ITER 4582 NEW BEST:: SOT 93950 SOS 77091 HAS SOPS 37538 HAS SOUS 18743 HAS SOUPS 15989 WITH SCORE 16066.091
AT ITER 4592 NEW BEST:: SOT 93950 SOS 77091 HAS SOPS 37522 HAS SOUS 18736 HAS SOUPS 15978 WITH SCORE 16055.091
AT ITER 4631 NEW BEST:: SOT 93938 SOS 77079 HAS SOPS 37519 HAS SOUS 18717 HAS SOUPS 15959 WITH SCORE 16036.079
AT ITER 4654 NEW BEST:: SOT 93930 SOS 77071 HAS SOPS 37507 HAS SOUS 18694 HAS SOUPS 15936 WITH SCORE 16013.071
AT ITER 4697 NEW BEST:: SOT 93930 SOS 77071 HAS SOPS 37507 HAS SOUS 18673 HAS SOUPS 15915 WITH SCORE 15992.071
AT ITER 4714 NEW BEST:: SOT 93916 SOS 77057 HAS SOPS 37486 HAS SOUS 18649 HAS SOUPS 15891 WITH SCORE 15968.057
AT ITER 4716 NEW BEST:: SOT 93914 SOS 77055 HAS SOPS 37483 HAS SOUS 18645 HAS SOUPS 15887 WITH SCORE 15964.055
AT ITER 4742 NEW BEST:: SOT 93909 SOS 77050 HAS SOPS 37478 HAS SOUS 18636 HAS SOUPS 15878 WITH SCORE 15955.05
AT ITER 4797 NEW BEST:: SOT 93914 SOS 77048 HAS SOPS 37482 HAS SOUS 18632 HAS SOUPS 15874 WITH SCORE 15951.048
AT ITER 4814 NEW BEST:: SOT 93920 SOS 77237 HAS SOPS 37586 HAS SOUS 18663 HAS SOUPS 15864 WITH SCORE 15941.237
AT ITER 4852 NEW BEST:: SOT 93885 SOS 77202 HAS SOPS 37479 HAS SOUS 18619 HAS SOUPS 15820 WITH SCORE 15897.202
AT ITER 4908 NEW BEST:: SOT 93816 SOS 77130 HAS SOPS 37390 HAS SOUS 18600 HAS SOUPS 15801 WITH SCORE 15878.13
AT ITER 4926 NEW BEST:: SOT 93786 SOS 77100 HAS SOPS 37381 HAS SOUS 18584 HAS SOUPS 15785 WITH SCORE 15862.1
AT ITER 4942 NEW BEST:: SOT 93786 SOS 77100 HAS SOPS 37381 HAS SOUS 18580 HAS SOUPS 15781 WITH SCORE 15858.1
AT ITER 4946 NEW BEST:: SOT 93786 SOS 77100 HAS SOPS 37381 HAS SOUS 18579 HAS SOUPS 15780 WITH SCORE 15857.1
AT ITER 4954 NEW BEST:: SOT 93778 SOS 77096 HAS SOPS 37369 HAS SOUS 18575 HAS SOUPS 15776 WITH SCORE 15853.096
AT ITER 4960 NEW BEST:: SOT 93774 SOS 77092 HAS SOPS 37365 HAS SOUS 18573 HAS SOUPS 15774 WITH SCORE 15851.092
AT ITER 4967 NEW BEST:: SOT 93774 SOS 77092 HAS SOPS 37365 HAS SOUS 18518 HAS SOUPS 15719 WITH SCORE 15796.092
AT ITER 5010 NEW BEST:: SOT 93721 SOS 77519 HAS SOPS 37525 HAS SOUS 18513 HAS SOUPS 15706 WITH SCORE 15783.519
AT ITER 5019 NEW BEST:: SOT 93721 SOS 77519 HAS SOPS 37509 HAS SOUS 18508 HAS SOUPS 15697 WITH SCORE 15774.519
AT ITER 5030 NEW BEST:: SOT 93776 SOS 76672 HAS SOPS 37160 HAS SOUS 18478 HAS SOUPS 15681 WITH SCORE 15757.672
AT ITER 5031 NEW BEST:: SOT 93770 SOS 76666 HAS SOPS 37151 HAS SOUS 18469 HAS SOUPS 15672 WITH SCORE 15748.666
AT ITER 5037 NEW BEST:: SOT 93756 SOS 76744 HAS SOPS 37159 HAS SOUS 18469 HAS SOUPS 15670 WITH SCORE 15746.744
AT ITER 5053 NEW BEST:: SOT 93669 SOS 77326 HAS SOPS 37221 HAS SOUS 18434 HAS SOUPS 15622 WITH SCORE 15699.326
AT ITER 5078 NEW BEST:: SOT 93687 SOS 77344 HAS SOPS 37208 HAS SOUS 18425 HAS SOUPS 15613 WITH SCORE 15690.344
AT ITER 5153 NEW BEST:: SOT 93651 SOS 77308 HAS SOPS 37154 HAS SOUS 18378 HAS SOUPS 15566 WITH SCORE 15643.308
AT ITER 5157 NEW BEST:: SOT 93647 SOS 77304 HAS SOPS 37148 HAS SOUS 18364 HAS SOUPS 15552 WITH SCORE 15629.304
AT ITER 5211 NEW BEST:: SOT 93647 SOS 77315 HAS SOPS 37148 HAS SOUS 18364 HAS SOUPS 15541 WITH SCORE 15618.315
AT ITER 5219 NEW BEST:: SOT 93645 SOS 77313 HAS SOPS 37037 HAS SOUS 18328 HAS SOUPS 15505 WITH SCORE 15582.313
AT ITER 5283 NEW BEST:: SOT 93618 SOS 77286 HAS SOPS 37016 HAS SOUS 18312 HAS SOUPS 15489 WITH SCORE 15566.286
AT ITER 5294 NEW BEST:: SOT 93665 SOS 77333 HAS SOPS 37075 HAS SOUS 18310 HAS SOUPS 15487 WITH SCORE 15564.333
AT ITER 5350 NEW BEST:: SOT 93665 SOS 77333 HAS SOPS 37075 HAS SOUS 18294 HAS SOUPS 15471 WITH SCORE 15548.333
AT ITER 5354 NEW BEST:: SOT 93658 SOS 77385 HAS SOPS 37145 HAS SOUS 18274 HAS SOUPS 15469 WITH SCORE 15546.385
AT ITER 5405 NEW BEST:: SOT 93579 SOS 77306 HAS SOPS 37062 HAS SOUS 18269 HAS SOUPS 15464 WITH SCORE 15541.306
AT ITER 5433 NEW BEST:: SOT 93573 SOS 77300 HAS SOPS 37053 HAS SOUS 18260 HAS SOUPS 15455 WITH SCORE 15532.3
AT ITER 5439 NEW BEST:: SOT 93571 SOS 77298 HAS SOPS 37049 HAS SOUS 18256 HAS SOUPS 15451 WITH SCORE 15528.298
AT ITER 5446 NEW BEST:: SOT 93565 SOS 77292 HAS SOPS 37049 HAS SOUS 18247 HAS SOUPS 15445 WITH SCORE 15522.292
AT ITER 5447 NEW BEST:: SOT 93497 SOS 77224 HAS SOPS 37067 HAS SOUS 18234 HAS SOUPS 15432 WITH SCORE 15509.224
AT ITER 5507 NEW BEST:: SOT 93495 SOS 77222 HAS SOPS 37064 HAS SOUS 18230 HAS SOUPS 15428 WITH SCORE 15505.222
AT ITER 5510 NEW BEST:: SOT 93474 SOS 77201 HAS SOPS 37036 HAS SOUS 18216 HAS SOUPS 15414 WITH SCORE 15491.201
AT ITER 5527 NEW BEST:: SOT 93474 SOS 77201 HAS SOPS 37036 HAS SOUS 18210 HAS SOUPS 15408 WITH SCORE 15485.201
AT ITER 5535 NEW BEST:: SOT 93464 SOS 77221 HAS SOPS 37076 HAS SOUS 18200 HAS SOUPS 15398 WITH SCORE 15475.221
AT ITER 5559 NEW BEST:: SOT 93462 SOS 77219 HAS SOPS 37100 HAS SOUS 18197 HAS SOUPS 15395 WITH SCORE 15472.219
AT ITER 5567 NEW BEST:: SOT 93458 SOS 77215 HAS SOPS 37094 HAS SOUS 18195 HAS SOUPS 15393 WITH SCORE 15470.215
AT ITER 5571 NEW BEST:: SOT 93458 SOS 77210 HAS SOPS 37094 HAS SOUS 18190 HAS SOUPS 15393 WITH SCORE 15470.21
AT ITER 5639 NEW BEST:: SOT 93448 SOS 77200 HAS SOPS 37079 HAS SOUS 18166 HAS SOUPS 15369 WITH SCORE 15446.2
AT ITER 5645 NEW BEST:: SOT 93414 SOS 77166 HAS SOPS 37028 HAS SOUS 18115 HAS SOUPS 15318 WITH SCORE 15395.166
AT ITER 5653 NEW BEST:: SOT 93404 SOS 77156 HAS SOPS 37013 HAS SOUS 18102 HAS SOUPS 15305 WITH SCORE 15382.156
AT ITER 5669 NEW BEST:: SOT 93385 SOS 77137 HAS SOPS 36994 HAS SOUS 18064 HAS SOUPS 15267 WITH SCORE 15344.137
AT ITER 5670 NEW BEST:: SOT 93410 SOS 77095 HAS SOPS 36911 HAS SOUS 18102 HAS SOUPS 15264 WITH SCORE 15341.095
AT ITER 5677 NEW BEST:: SOT 93402 SOS 77087 HAS SOPS 36903 HAS SOUS 18094 HAS SOUPS 15256 WITH SCORE 15333.087
AT ITER 5708 NEW BEST:: SOT 93370 SOS 77055 HAS SOPS 36855 HAS SOUS 18038 HAS SOUPS 15200 WITH SCORE 15277.055
AT ITER 5709 NEW BEST:: SOT 93518 SOS 77203 HAS SOPS 36835 HAS SOUS 17977 HAS SOUPS 15139 WITH SCORE 15216.203
AT ITER 5710 NEW BEST:: SOT 93514 SOS 77199 HAS SOPS 36829 HAS SOUS 17971 HAS SOUPS 15133 WITH SCORE 15210.199
AT ITER 5729 NEW BEST:: SOT 93515 SOS 77226 HAS SOPS 36830 HAS SOUS 17972 HAS SOUPS 15108 WITH SCORE 15185.226
AT ITER 5760 NEW BEST:: SOT 93428 SOS 77922 HAS SOPS 36999 HAS SOUS 17967 HAS SOUPS 15088 WITH SCORE 15165.922
AT ITER 5787 NEW BEST:: SOT 93426 SOS 77920 HAS SOPS 37000 HAS SOUS 17966 HAS SOUPS 15088 WITH SCORE 15165.92
AT ITER 5859 NEW BEST:: SOT 93482 SOS 77832 HAS SOPS 36934 HAS SOUS 17868 HAS SOUPS 14990 WITH SCORE 15067.832
AT ITER 5863 NEW BEST:: SOT 93474 SOS 77824 HAS SOPS 36922 HAS SOUS 17856 HAS SOUPS 14978 WITH SCORE 15055.824
AT ITER 5884 NEW BEST:: SOT 93452 SOS 77802 HAS SOPS 36878 HAS SOUS 17823 HAS SOUPS 14945 WITH SCORE 15022.802
AT ITER 5912 NEW BEST:: SOT 93414 SOS 77764 HAS SOPS 36802 HAS SOUS 17805 HAS SOUPS 14927 WITH SCORE 15004.764
AT ITER 5944 NEW BEST:: SOT 93406 SOS 77756 HAS SOPS 36774 HAS SOUS 17793 HAS SOUPS 14915 WITH SCORE 14992.756
AT ITER 5946 NEW BEST:: SOT 93406 SOS 77756 HAS SOPS 36774 HAS SOUS 17788 HAS SOUPS 14910 WITH SCORE 14987.756
AT ITER 5991 NEW BEST:: SOT 93406 SOS 77756 HAS SOPS 36774 HAS SOUS 17781 HAS SOUPS 14903 WITH SCORE 14980.756
AT ITER 6016 NEW BEST:: SOT 93398 SOS 77748 HAS SOPS 36762 HAS SOUS 17769 HAS SOUPS 14891 WITH SCORE 14968.748
AT ITER 6017 NEW BEST:: SOT 93395 SOS 77767 HAS SOPS 36800 HAS SOUS 17744 HAS SOUPS 14880 WITH SCORE 14957.767
AT ITER 6034 NEW BEST:: SOT 93361 SOS 77751 HAS SOPS 36769 HAS SOUS 17714 HAS SOUPS 14850 WITH SCORE 14927.751
AT ITER 6039 NEW BEST:: SOT 93329 SOS 77719 HAS SOPS 36785 HAS SOUS 17714 HAS SOUPS 14850 WITH SCORE 14927.719
AT ITER 6052 NEW BEST:: SOT 93327 SOS 77717 HAS SOPS 36776 HAS SOUS 17707 HAS SOUPS 14843 WITH SCORE 14920.717
AT ITER 6058 NEW BEST:: SOT 93323 SOS 77713 HAS SOPS 36778 HAS SOUS 17707 HAS SOUPS 14843 WITH SCORE 14920.713
AT ITER 6103 NEW BEST:: SOT 93323 SOS 77713 HAS SOPS 36778 HAS SOUS 17702 HAS SOUPS 14838 WITH SCORE 14915.713
AT ITER 6124 NEW BEST:: SOT 93321 SOS 77711 HAS SOPS 36775 HAS SOUS 17699 HAS SOUPS 14835 WITH SCORE 14912.711
AT ITER 6157 NEW BEST:: SOT 93321 SOS 77711 HAS SOPS 36771 HAS SOUS 17697 HAS SOUPS 14833 WITH SCORE 14910.711
AT ITER 6202 NEW BEST:: SOT 93307 SOS 77697 HAS SOPS 36750 HAS SOUS 17676 HAS SOUPS 14812 WITH SCORE 14889.697
AT ITER 6215 NEW BEST:: SOT 93303 SOS 77693 HAS SOPS 36742 HAS SOUS 17668 HAS SOUPS 14804 WITH SCORE 14881.693
AT ITER 6280 NEW BEST:: SOT 93330 SOS 77695 HAS SOPS 36769 HAS SOUS 17641 HAS SOUPS 14802 WITH SCORE 14879.695
AT ITER 6283 NEW BEST:: SOT 93345 SOS 77400 HAS SOPS 36649 HAS SOUS 17616 HAS SOUPS 14782 WITH SCORE 14859.4
AT ITER 6289 NEW BEST:: SOT 93335 SOS 77390 HAS SOPS 36639 HAS SOUS 17616 HAS SOUPS 14782 WITH SCORE 14859.39
AT ITER 6307 NEW BEST:: SOT 93313 SOS 77368 HAS SOPS 36633 HAS SOUS 17604 HAS SOUPS 14770 WITH SCORE 14847.368
AT ITER 6387 NEW BEST:: SOT 93303 SOS 77250 HAS SOPS 36515 HAS SOUS 17592 HAS SOUPS 14758 WITH SCORE 14835.25
AT ITER 6422 NEW BEST:: SOT 93300 SOS 77247 HAS SOPS 36512 HAS SOUS 17592 HAS SOUPS 14758 WITH SCORE 14835.247
AT ITER 6455 NEW BEST:: SOT 93274 SOS 77221 HAS SOPS 36337 HAS SOUS 17572 HAS SOUPS 14738 WITH SCORE 14815.221
AT ITER 6468 NEW BEST:: SOT 93216 SOS 77163 HAS SOPS 36259 HAS SOUS 17536 HAS SOUPS 14702 WITH SCORE 14779.163
AT ITER 6499 NEW BEST:: SOT 93215 SOS 77116 HAS SOPS 36235 HAS SOUS 17495 HAS SOUPS 14683 WITH SCORE 14760.116
AT ITER 6540 NEW BEST:: SOT 93189 SOS 77090 HAS SOPS 36196 HAS SOUS 17471 HAS SOUPS 14659 WITH SCORE 14736.09
AT ITER 6545 NEW BEST:: SOT 93149 SOS 77050 HAS SOPS 36156 HAS SOUS 17411 HAS SOUPS 14599 WITH SCORE 14676.05
AT ITER 6569 NEW BEST:: SOT 93149 SOS 77050 HAS SOPS 36156 HAS SOUS 17406 HAS SOUPS 14594 WITH SCORE 14671.05
AT ITER 6614 NEW BEST:: SOT 93147 SOS 77048 HAS SOPS 36156 HAS SOUS 17404 HAS SOUPS 14593 WITH SCORE 14670.048
AT ITER 6619 NEW BEST:: SOT 93175 SOS 77076 HAS SOPS 36100 HAS SOUS 17362 HAS SOUPS 14551 WITH SCORE 14628.076
AT ITER 6622 NEW BEST:: SOT 93183 SOS 77084 HAS SOPS 36102 HAS SOUS 17356 HAS SOUPS 14545 WITH SCORE 14622.084
AT ITER 6642 NEW BEST:: SOT 93163 SOS 77064 HAS SOPS 36112 HAS SOUS 17336 HAS SOUPS 14525 WITH SCORE 14602.064
AT ITER 6731 NEW BEST:: SOT 93157 SOS 77058 HAS SOPS 36091 HAS SOUS 17336 HAS SOUPS 14525 WITH SCORE 14602.058
AT ITER 6739 NEW BEST:: SOT 93157 SOS 77058 HAS SOPS 36088 HAS SOUS 17332 HAS SOUPS 14521 WITH SCORE 14598.058
AT ITER 6809 NEW BEST:: SOT 93147 SOS 76988 HAS SOPS 36030 HAS SOUS 17310 HAS SOUPS 14511 WITH SCORE 14587.988
AT ITER 6813 NEW BEST:: SOT 93143 SOS 76984 HAS SOPS 36024 HAS SOUS 17304 HAS SOUPS 14505 WITH SCORE 14581.984
AT ITER 6819 NEW BEST:: SOT 93143 SOS 76984 HAS SOPS 35992 HAS SOUS 17279 HAS SOUPS 14480 WITH SCORE 14556.984
AT ITER 6843 NEW BEST:: SOT 93236 SOS 76082 HAS SOPS 35715 HAS SOUS 17239 HAS SOUPS 14440 WITH SCORE 14516.082
AT ITER 6855 NEW BEST:: SOT 93224 SOS 76082 HAS SOPS 35699 HAS SOUS 17231 HAS SOUPS 14424 WITH SCORE 14500.082
AT ITER 6878 NEW BEST:: SOT 93193 SOS 76051 HAS SOPS 35677 HAS SOUS 17202 HAS SOUPS 14395 WITH SCORE 14471.051
AT ITER 6888 NEW BEST:: SOT 93221 SOS 76079 HAS SOPS 35604 HAS SOUS 17148 HAS SOUPS 14341 WITH SCORE 14417.079
AT ITER 6905 NEW BEST:: SOT 93219 SOS 76077 HAS SOPS 35601 HAS SOUS 17145 HAS SOUPS 14338 WITH SCORE 14414.077
AT ITER 6934 NEW BEST:: SOT 93219 SOS 76045 HAS SOPS 35577 HAS SOUS 17141 HAS SOUPS 14338 WITH SCORE 14414.045
AT ITER 6956 NEW BEST:: SOT 93219 SOS 76045 HAS SOPS 35577 HAS SOUS 17139 HAS SOUPS 14336 WITH SCORE 14412.045
AT ITER 6973 NEW BEST:: SOT 93318 SOS 74957 HAS SOPS 35214 HAS SOUS 17090 HAS SOUPS 14308 WITH SCORE 14382.957
AT ITER 6995 NEW BEST:: SOT 93304 SOS 74943 HAS SOPS 35195 HAS SOUS 17066 HAS SOUPS 14284 WITH SCORE 14358.943
AT ITER 7040 NEW BEST:: SOT 93262 SOS 74901 HAS SOPS 35139 HAS SOUS 17030 HAS SOUPS 14248 WITH SCORE 14322.901
AT ITER 7049 NEW BEST:: SOT 93260 SOS 74899 HAS SOPS 35136 HAS SOUS 17030 HAS SOUPS 14248 WITH SCORE 14322.899
AT ITER 7054 NEW BEST:: SOT 93252 SOS 74883 HAS SOPS 35120 HAS SOUS 17020 HAS SOUPS 14238 WITH SCORE 14312.883
AT ITER 7088 NEW BEST:: SOT 93236 SOS 74867 HAS SOPS 35096 HAS SOUS 17019 HAS SOUPS 14237 WITH SCORE 14311.867
AT ITER 7109 NEW BEST:: SOT 93213 SOS 74844 HAS SOPS 35074 HAS SOUS 16996 HAS SOUPS 14214 WITH SCORE 14288.844
AT ITER 7142 NEW BEST:: SOT 93213 SOS 74844 HAS SOPS 35074 HAS SOUS 16993 HAS SOUPS 14211 WITH SCORE 14285.844
AT ITER 7145 NEW BEST:: SOT 93233 SOS 74864 HAS SOPS 35064 HAS SOUS 16991 HAS SOUPS 14209 WITH SCORE 14283.864
AT ITER 7199 NEW BEST:: SOT 93227 SOS 74824 HAS SOPS 34970 HAS SOUS 16991 HAS SOUPS 14209 WITH SCORE 14283.824
AT ITER 7216 NEW BEST:: SOT 93227 SOS 74812 HAS SOPS 34942 HAS SOUS 16995 HAS SOUPS 14197 WITH SCORE 14271.812
AT ITER 7228 NEW BEST:: SOT 93139 SOS 74724 HAS SOPS 34810 HAS SOUS 16832 HAS SOUPS 14034 WITH SCORE 14108.724
AT ITER 7242 NEW BEST:: SOT 93136 SOS 74721 HAS SOPS 34807 HAS SOUS 16826 HAS SOUPS 14028 WITH SCORE 14102.721
AT ITER 7245 NEW BEST:: SOT 93134 SOS 74719 HAS SOPS 34804 HAS SOUS 16823 HAS SOUPS 14025 WITH SCORE 14099.719
AT ITER 7262 NEW BEST:: SOT 93130 SOS 74715 HAS SOPS 34806 HAS SOUS 16817 HAS SOUPS 14019 WITH SCORE 14093.715
AT ITER 7292 NEW BEST:: SOT 93092 SOS 74677 HAS SOPS 34749 HAS SOUS 16758 HAS SOUPS 13960 WITH SCORE 14034.677
AT ITER 7309 NEW BEST:: SOT 93092 SOS 74629 HAS SOPS 34707 HAS SOUS 16758 HAS SOUPS 13960 WITH SCORE 14034.629
AT ITER 7329 NEW BEST:: SOT 92923 SOS 74460 HAS SOPS 34499 HAS SOUS 16741 HAS SOUPS 13943 WITH SCORE 14017.46
AT ITER 7351 NEW BEST:: SOT 92903 SOS 74440 HAS SOPS 34469 HAS SOUS 16697 HAS SOUPS 13899 WITH SCORE 13973.44
AT ITER 7357 NEW BEST:: SOT 92893 SOS 74430 HAS SOPS 34454 HAS SOUS 16688 HAS SOUPS 13890 WITH SCORE 13964.43
AT ITER 7369 NEW BEST:: SOT 92875 SOS 74412 HAS SOPS 34418 HAS SOUS 16652 HAS SOUPS 13845 WITH SCORE 13919.412
AT ITER 7375 NEW BEST:: SOT 92871 SOS 74409 HAS SOPS 34416 HAS SOUS 16648 HAS SOUPS 13841 WITH SCORE 13915.409
AT ITER 7378 NEW BEST:: SOT 92901 SOS 74439 HAS SOPS 34413 HAS SOUS 16645 HAS SOUPS 13838 WITH SCORE 13912.439
AT ITER 7379 NEW BEST:: SOT 92893 SOS 74431 HAS SOPS 34401 HAS SOUS 16633 HAS SOUPS 13826 WITH SCORE 13900.431
AT ITER 7399 NEW BEST:: SOT 92891 SOS 74429 HAS SOPS 34391 HAS SOUS 16627 HAS SOUPS 13820 WITH SCORE 13894.429
AT ITER 7408 NEW BEST:: SOT 92857 SOS 74395 HAS SOPS 34340 HAS SOUS 16570 HAS SOUPS 13763 WITH SCORE 13837.395
AT ITER 7440 NEW BEST:: SOT 92862 SOS 74400 HAS SOPS 34345 HAS SOUS 16556 HAS SOUPS 13749 WITH SCORE 13823.4
AT ITER 7508 NEW BEST:: SOT 92850 SOS 74390 HAS SOPS 34259 HAS SOUS 16470 HAS SOUPS 13661 WITH SCORE 13735.39
AT ITER 7572 NEW BEST:: SOT 92846 SOS 74386 HAS SOPS 34251 HAS SOUS 16464 HAS SOUPS 13655 WITH SCORE 13729.386
AT ITER 7586 NEW BEST:: SOT 92826 SOS 74366 HAS SOPS 34221 HAS SOUS 16424 HAS SOUPS 13615 WITH SCORE 13689.366
AT ITER 7592 NEW BEST:: SOT 92816 SOS 74356 HAS SOPS 34206 HAS SOUS 16409 HAS SOUPS 13600 WITH SCORE 13674.356
AT ITER 7612 NEW BEST:: SOT 92784 SOS 74324 HAS SOPS 34158 HAS SOUS 16336 HAS SOUPS 13527 WITH SCORE 13601.324
AT ITER 7644 NEW BEST:: SOT 92786 SOS 74326 HAS SOPS 34154 HAS SOUS 16332 HAS SOUPS 13523 WITH SCORE 13597.326
AT ITER 7665 NEW BEST:: SOT 92778 SOS 74318 HAS SOPS 34142 HAS SOUS 16320 HAS SOUPS 13511 WITH SCORE 13585.318
AT ITER 7743 NEW BEST:: SOT 92753 SOS 74310 HAS SOPS 34117 HAS SOUS 16293 HAS SOUPS 13467 WITH SCORE 13541.31
AT ITER 7770 NEW BEST:: SOT 92749 SOS 74306 HAS SOPS 34105 HAS SOUS 16289 HAS SOUPS 13463 WITH SCORE 13537.306
AT ITER 7816 NEW BEST:: SOT 92745 SOS 74302 HAS SOPS 34099 HAS SOUS 16283 HAS SOUPS 13457 WITH SCORE 13531.302
AT ITER 7837 NEW BEST:: SOT 92758 SOS 74315 HAS SOPS 34084 HAS SOUS 16261 HAS SOUPS 13435 WITH SCORE 13509.315
AT ITER 7848 NEW BEST:: SOT 92754 SOS 74311 HAS SOPS 34078 HAS SOUS 16260 HAS SOUPS 13434 WITH SCORE 13508.311
AT ITER 7904 NEW BEST:: SOT 92752 SOS 74309 HAS SOPS 34074 HAS SOUS 16257 HAS SOUPS 13431 WITH SCORE 13505.309
AT ITER 7921 NEW BEST:: SOT 92753 SOS 74307 HAS SOPS 34087 HAS SOUS 16255 HAS SOUPS 13429 WITH SCORE 13503.307
AT ITER 7971 NEW BEST:: SOT 92733 SOS 74287 HAS SOPS 34067 HAS SOUS 16248 HAS SOUPS 13422 WITH SCORE 13496.287
AT ITER 7986 NEW BEST:: SOT 92725 SOS 74279 HAS SOPS 34055 HAS SOUS 16240 HAS SOUPS 13414 WITH SCORE 13488.279
AT ITER 7990 NEW BEST:: SOT 92665 SOS 74209 HAS SOPS 34089 HAS SOUS 16212 HAS SOUPS 13386 WITH SCORE 13460.209
AT ITER 7997 NEW BEST:: SOT 92677 SOS 74189 HAS SOPS 34091 HAS SOUS 16186 HAS SOUPS 13382 WITH SCORE 13456.189
AT ITER 8006 NEW BEST:: SOT 92669 SOS 74190 HAS SOPS 34075 HAS SOUS 16178 HAS SOUPS 13365 WITH SCORE 13439.19
AT ITER 8027 NEW BEST:: SOT 92665 SOS 74186 HAS SOPS 34071 HAS SOUS 16178 HAS SOUPS 13365 WITH SCORE 13439.186
AT ITER 8030 NEW BEST:: SOT 92665 SOS 74186 HAS SOPS 34071 HAS SOUS 16172 HAS SOUPS 13359 WITH SCORE 13433.186
AT ITER 8055 NEW BEST:: SOT 92667 SOS 74188 HAS SOPS 34062 HAS SOUS 16166 HAS SOUPS 13353 WITH SCORE 13427.188
AT ITER 8063 NEW BEST:: SOT 92663 SOS 74184 HAS SOPS 34019 HAS SOUS 16160 HAS SOUPS 13347 WITH SCORE 13421.184
AT ITER 8075 NEW BEST:: SOT 92638 SOS 74153 HAS SOPS 33971 HAS SOUS 16120 HAS SOUPS 13307 WITH SCORE 13381.153
AT ITER 8124 NEW BEST:: SOT 92627 SOS 74142 HAS SOPS 33970 HAS SOUS 16119 HAS SOUPS 13306 WITH SCORE 13380.142
AT ITER 8235 NEW BEST:: SOT 92621 SOS 74136 HAS SOPS 33958 HAS SOUS 16119 HAS SOUPS 13306 WITH SCORE 13380.136
AT ITER 8243 NEW BEST:: SOT 92621 SOS 74136 HAS SOPS 33958 HAS SOUS 16114 HAS SOUPS 13301 WITH SCORE 13375.136
AT ITER 8299 NEW BEST:: SOT 92623 SOS 74138 HAS SOPS 33957 HAS SOUS 16113 HAS SOUPS 13300 WITH SCORE 13374.138
AT ITER 8314 NEW BEST:: SOT 92593 SOS 74108 HAS SOPS 33912 HAS SOUS 16068 HAS SOUPS 13255 WITH SCORE 13329.108
AT ITER 8316 NEW BEST:: SOT 92593 SOS 74108 HAS SOPS 33912 HAS SOUS 16066 HAS SOUPS 13253 WITH SCORE 13327.108
AT ITER 8320 NEW BEST:: SOT 92567 SOS 74082 HAS SOPS 33873 HAS SOUS 16053 HAS SOUPS 13240 WITH SCORE 13314.082
AT ITER 8323 NEW BEST:: SOT 92553 SOS 74068 HAS SOPS 33873 HAS SOUS 16028 HAS SOUPS 13215 WITH SCORE 13289.068
AT ITER 8338 NEW BEST:: SOT 92549 SOS 74064 HAS SOPS 33856 HAS SOUS 16019 HAS SOUPS 13206 WITH SCORE 13280.064
AT ITER 8359 NEW BEST:: SOT 92537 SOS 74052 HAS SOPS 33838 HAS SOUS 15984 HAS SOUPS 13171 WITH SCORE 13245.052
AT ITER 8368 NEW BEST:: SOT 92507 SOS 74022 HAS SOPS 33792 HAS SOUS 15934 HAS SOUPS 13121 WITH SCORE 13195.022
AT ITER 8369 NEW BEST:: SOT 92508 SOS 73923 HAS SOPS 33711 HAS SOUS 15931 HAS SOUPS 13118 WITH SCORE 13191.923
AT ITER 8392 NEW BEST:: SOT 92478 SOS 73893 HAS SOPS 33651 HAS SOUS 15882 HAS SOUPS 13069 WITH SCORE 13142.893
AT ITER 8393 NEW BEST:: SOT 92464 SOS 73879 HAS SOPS 33630 HAS SOUS 15834 HAS SOUPS 13021 WITH SCORE 13094.879
AT ITER 8448 NEW BEST:: SOT 92448 SOS 73863 HAS SOPS 33606 HAS SOUS 15826 HAS SOUPS 13013 WITH SCORE 13086.863
AT ITER 8452 NEW BEST:: SOT 92448 SOS 73863 HAS SOPS 33602 HAS SOUS 15824 HAS SOUPS 13010 WITH SCORE 13083.863
AT ITER 8469 NEW BEST:: SOT 92442 SOS 73857 HAS SOPS 33593 HAS SOUS 15812 HAS SOUPS 12998 WITH SCORE 13071.857
AT ITER 8475 NEW BEST:: SOT 92428 SOS 73843 HAS SOPS 33572 HAS SOUS 15791 HAS SOUPS 12977 WITH SCORE 13050.843
AT ITER 8477 NEW BEST:: SOT 92424 SOS 73839 HAS SOPS 33566 HAS SOUS 15779 HAS SOUPS 12965 WITH SCORE 13038.839
AT ITER 8491 NEW BEST:: SOT 92413 SOS 73861 HAS SOPS 33600 HAS SOUS 15756 HAS SOUPS 12954 WITH SCORE 13027.861
AT ITER 8539 NEW BEST:: SOT 92411 SOS 73859 HAS SOPS 33597 HAS SOUS 15752 HAS SOUPS 12950 WITH SCORE 13023.859
AT ITER 8565 NEW BEST:: SOT 92409 SOS 73857 HAS SOPS 33593 HAS SOUS 15749 HAS SOUPS 12947 WITH SCORE 13020.857
AT ITER 8663 NEW BEST:: SOT 92376 SOS 73824 HAS SOPS 33560 HAS SOUS 15728 HAS SOUPS 12926 WITH SCORE 12999.824
AT ITER 8707 NEW BEST:: SOT 92368 SOS 73816 HAS SOPS 33548 HAS SOUS 15699 HAS SOUPS 12897 WITH SCORE 12970.816
AT ITER 8722 NEW BEST:: SOT 92363 SOS 73811 HAS SOPS 33545 HAS SOUS 15694 HAS SOUPS 12894 WITH SCORE 12967.811
AT ITER 8764 NEW BEST:: SOT 92322 SOS 73816 HAS SOPS 33433 HAS SOUS 15632 HAS SOUPS 12793 WITH SCORE 12866.816
AT ITER 8846 NEW BEST:: SOT 92322 SOS 73816 HAS SOPS 33433 HAS SOUS 15619 HAS SOUPS 12780 WITH SCORE 12853.816
AT ITER 8883 NEW BEST:: SOT 92306 SOS 73800 HAS SOPS 33409 HAS SOUS 15595 HAS SOUPS 12756 WITH SCORE 12829.8
AT ITER 9038 NEW BEST:: SOT 92304 SOS 73798 HAS SOPS 33429 HAS SOUS 15592 HAS SOUPS 12753 WITH SCORE 12826.798
AT ITER 9079 NEW BEST:: SOT 92294 SOS 73788 HAS SOPS 33409 HAS SOUS 15573 HAS SOUPS 12734 WITH SCORE 12807.788
AT ITER 9084 NEW BEST:: SOT 92294 SOS 73788 HAS SOPS 33409 HAS SOUS 15562 HAS SOUPS 12723 WITH SCORE 12796.788
AT ITER 9193 NEW BEST:: SOT 92294 SOS 73788 HAS SOPS 33409 HAS SOUS 15549 HAS SOUPS 12710 WITH SCORE 12783.788
AT ITER 9207 NEW BEST:: SOT 92284 SOS 73778 HAS SOPS 33394 HAS SOUS 15534 HAS SOUPS 12695 WITH SCORE 12768.778
AT ITER 9209 NEW BEST:: SOT 92278 SOS 73772 HAS SOPS 33388 HAS SOUS 15533 HAS SOUPS 12694 WITH SCORE 12767.772
AT ITER 9211 NEW BEST:: SOT 92262 SOS 73756 HAS SOPS 33364 HAS SOUS 15492 HAS SOUPS 12653 WITH SCORE 12726.756
AT ITER 9214 NEW BEST:: SOT 92206 SOS 73700 HAS SOPS 33348 HAS SOUS 15453 HAS SOUPS 12614 WITH SCORE 12687.7
AT ITER 9257 NEW BEST:: SOT 92192 SOS 73686 HAS SOPS 33327 HAS SOUS 15432 HAS SOUPS 12593 WITH SCORE 12666.686
AT ITER 9285 NEW BEST:: SOT 92192 SOS 73686 HAS SOPS 33327 HAS SOUS 15428 HAS SOUPS 12589 WITH SCORE 12662.686
AT ITER 9289 NEW BEST:: SOT 92171 SOS 73827 HAS SOPS 33360 HAS SOUS 15428 HAS SOUPS 12586 WITH SCORE 12659.827
AT ITER 9318 NEW BEST:: SOT 92185 SOS 73841 HAS SOPS 33342 HAS SOUS 15404 HAS SOUPS 12562 WITH SCORE 12635.841
AT ITER 9367 NEW BEST:: SOT 92177 SOS 73833 HAS SOPS 33326 HAS SOUS 15392 HAS SOUPS 12550 WITH SCORE 12623.833
AT ITER 9395 NEW BEST:: SOT 92173 SOS 73822 HAS SOPS 33324 HAS SOUS 15383 HAS SOUPS 12550 WITH SCORE 12623.822
AT ITER 9396 NEW BEST:: SOT 92165 SOS 73814 HAS SOPS 33308 HAS SOUS 15371 HAS SOUPS 12538 WITH SCORE 12611.814
AT ITER 9416 NEW BEST:: SOT 92153 SOS 73802 HAS SOPS 33302 HAS SOUS 15365 HAS SOUPS 12532 WITH SCORE 12605.802
AT ITER 9418 NEW BEST:: SOT 92153 SOS 73802 HAS SOPS 33302 HAS SOUS 15361 HAS SOUPS 12528 WITH SCORE 12601.802
AT ITER 9426 NEW BEST:: SOT 92153 SOS 73802 HAS SOPS 33302 HAS SOUS 15356 HAS SOUPS 12523 WITH SCORE 12596.802
AT ITER 9636 NEW BEST:: SOT 92153 SOS 73802 HAS SOPS 33302 HAS SOUS 15344 HAS SOUPS 12511 WITH SCORE 12584.802
AT ITER 9641 NEW BEST:: SOT 92153 SOS 73802 HAS SOPS 33302 HAS SOUS 15335 HAS SOUPS 12502 WITH SCORE 12575.802
AT ITER 9664 NEW BEST:: SOT 92153 SOS 73802 HAS SOPS 33302 HAS SOUS 15323 HAS SOUPS 12490 WITH SCORE 12563.802
AT ITER 9765 NEW BEST:: SOT 92157 SOS 73759 HAS SOPS 33259 HAS SOUS 15312 HAS SOUPS 12479 WITH SCORE 12552.759
AT ITER 9783 NEW BEST:: SOT 92099 SOS 73701 HAS SOPS 33231 HAS SOUS 15312 HAS SOUPS 12479 WITH SCORE 12552.701
AT ITER 9847 NEW BEST:: SOT 92070 SOS 73644 HAS SOPS 33054 HAS SOUS 15234 HAS SOUPS 12401 WITH SCORE 12474.644
AT ITER 9867 NEW BEST:: SOT 92038 SOS 73612 HAS SOPS 32990 HAS SOUS 15168 HAS SOUPS 12335 WITH SCORE 12408.612
AT ITER 9928 NEW BEST:: SOT 92023 SOS 73597 HAS SOPS 32963 HAS SOUS 15150 HAS SOUPS 12317 WITH SCORE 12390.597
AT ITER 9932 NEW BEST:: SOT 91943 SOS 73517 HAS SOPS 32900 HAS SOUS 15124 HAS SOUPS 12291 WITH SCORE 12364.517
AT ITER 9985 NEW BEST:: SOT 91948 SOS 73494 HAS SOPS 32894 HAS SOUS 15085 HAS SOUPS 12269 WITH SCORE 12342.494

BK_STOP 1679498408994

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 367 Killed ${SMART}/smart ${INPUT_SM}

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="Raft-PT-08"
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 Raft-PT-08, 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 r323-tall-167889194600344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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