Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972500392.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-20a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 3.5K Apr 4 19:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 19:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 4 08:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 4 08:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 3 21:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 3 13:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 3 13:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 321K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589449991201

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

Filename model.pnml
Petri model created: 243 places, 1064 transitions, 5317 arcs.
AT ITER 0 NEW BEST:: SOT 230369 SOS 200657 HAS SOPS 200657 HAS SOUS 111239 HAS SOUPS 111239 WITH SCORE 111439.657
AT ITER 3 NEW BEST:: SOT 229614 SOS 199867 HAS SOPS 199867 HAS SOUS 110722 HAS SOUPS 110722 WITH SCORE 110921.867
AT ITER 4 NEW BEST:: SOT 229663 SOS 199818 HAS SOPS 199818 HAS SOUS 110673 HAS SOUPS 110673 WITH SCORE 110872.818
AT ITER 5 NEW BEST:: SOT 229740 SOS 199741 HAS SOPS 199741 HAS SOUS 110596 HAS SOUPS 110596 WITH SCORE 110795.741
AT ITER 8 NEW BEST:: SOT 229738 SOS 199613 HAS SOPS 199613 HAS SOUS 110532 HAS SOUPS 110532 WITH SCORE 110731.613
AT ITER 9 NEW BEST:: SOT 229771 SOS 199424 HAS SOPS 199424 HAS SOUS 109335 HAS SOUPS 109335 WITH SCORE 109534.424
AT ITER 10 NEW BEST:: SOT 229799 SOS 199479 HAS SOPS 199479 HAS SOUS 109332 HAS SOUPS 109332 WITH SCORE 109531.479
AT ITER 13 NEW BEST:: SOT 229848 SOS 199502 HAS SOPS 199502 HAS SOUS 109328 HAS SOUPS 109328 WITH SCORE 109527.502
AT ITER 15 NEW BEST:: SOT 229105 SOS 198589 HAS SOPS 198589 HAS SOUS 108829 HAS SOUPS 108829 WITH SCORE 109027.589
AT ITER 17 NEW BEST:: SOT 229218 SOS 198204 HAS SOPS 198204 HAS SOUS 105812 HAS SOUPS 105812 WITH SCORE 106010.204
AT ITER 20 NEW BEST:: SOT 229209 SOS 198186 HAS SOPS 198186 HAS SOUS 105807 HAS SOUPS 105807 WITH SCORE 106005.186
AT ITER 22 NEW BEST:: SOT 229318 SOS 197139 HAS SOPS 197139 HAS SOUS 101646 HAS SOUPS 101646 WITH SCORE 101843.139
AT ITER 24 NEW BEST:: SOT 228632 SOS 196453 HAS SOPS 196453 HAS SOUS 101011 HAS SOUPS 101011 WITH SCORE 101207.453
AT ITER 25 NEW BEST:: SOT 228618 SOS 195560 HAS SOPS 195560 HAS SOUS 100451 HAS SOUPS 100451 WITH SCORE 100646.56
AT ITER 26 NEW BEST:: SOT 227622 SOS 194587 HAS SOPS 194564 HAS SOUS 99571 HAS SOUPS 99548 WITH SCORE 99742.587
AT ITER 27 NEW BEST:: SOT 227736 SOS 193199 HAS SOPS 193176 HAS SOUS 95491 HAS SOUPS 95468 WITH SCORE 95661.199
AT ITER 30 NEW BEST:: SOT 226889 SOS 192171 HAS SOPS 192148 HAS SOUS 95072 HAS SOUPS 95049 WITH SCORE 95241.171
AT ITER 31 NEW BEST:: SOT 225967 SOS 191271 HAS SOPS 191248 HAS SOUS 94623 HAS SOUPS 94600 WITH SCORE 94791.271
AT ITER 32 NEW BEST:: SOT 224693 SOS 190000 HAS SOPS 189974 HAS SOUS 93356 HAS SOUPS 93330 WITH SCORE 93520.0
AT ITER 38 NEW BEST:: SOT 224769 SOS 189980 HAS SOPS 189948 HAS SOUS 93321 HAS SOUPS 93292 WITH SCORE 93481.98
AT ITER 41 NEW BEST:: SOT 224793 SOS 189980 HAS SOPS 189948 HAS SOUS 92937 HAS SOUPS 92908 WITH SCORE 93097.98
AT ITER 43 NEW BEST:: SOT 224828 SOS 187896 HAS SOPS 187864 HAS SOUS 87847 HAS SOUPS 87818 WITH SCORE 88005.896
AT ITER 45 NEW BEST:: SOT 224811 SOS 186953 HAS SOPS 186921 HAS SOUS 87344 HAS SOUPS 87315 WITH SCORE 87501.953
AT ITER 47 NEW BEST:: SOT 224777 SOS 186919 HAS SOPS 186887 HAS SOUS 87310 HAS SOUPS 87281 WITH SCORE 87467.919
AT ITER 49 NEW BEST:: SOT 224329 SOS 186503 HAS SOPS 186439 HAS SOUS 87143 HAS SOUPS 87104 WITH SCORE 87290.503
AT ITER 50 NEW BEST:: SOT 225311 SOS 186548 HAS SOPS 186484 HAS SOUS 86884 HAS SOUPS 86845 WITH SCORE 87031.548
AT ITER 52 NEW BEST:: SOT 225359 SOS 185079 HAS SOPS 185015 HAS SOUS 85101 HAS SOUPS 85062 WITH SCORE 85247.079
AT ITER 53 NEW BEST:: SOT 225354 SOS 185069 HAS SOPS 185005 HAS SOUS 85097 HAS SOUPS 85058 WITH SCORE 85243.069
AT ITER 54 NEW BEST:: SOT 225391 SOS 185014 HAS SOPS 184942 HAS SOUS 85049 HAS SOUPS 85008 WITH SCORE 85193.014
AT ITER 55 NEW BEST:: SOT 225553 SOS 182886 HAS SOPS 182712 HAS SOUS 80390 HAS SOUPS 80349 WITH SCORE 80531.886
AT ITER 59 NEW BEST:: SOT 225584 SOS 182865 HAS SOPS 182691 HAS SOUS 80331 HAS SOUPS 80290 WITH SCORE 80472.865
AT ITER 60 NEW BEST:: SOT 224151 SOS 181538 HAS SOPS 181364 HAS SOUS 79711 HAS SOUPS 79670 WITH SCORE 79851.538
AT ITER 61 NEW BEST:: SOT 222045 SOS 179231 HAS SOPS 179057 HAS SOUS 78544 HAS SOUPS 78503 WITH SCORE 78682.231
AT ITER 63 NEW BEST:: SOT 222074 SOS 179149 HAS SOPS 178975 HAS SOUS 78384 HAS SOUPS 78343 WITH SCORE 78522.149
AT ITER 64 NEW BEST:: SOT 222062 SOS 179031 HAS SOPS 178857 HAS SOUS 78325 HAS SOUPS 78284 WITH SCORE 78463.031
AT ITER 66 NEW BEST:: SOT 222143 SOS 176307 HAS SOPS 176133 HAS SOUS 75997 HAS SOUPS 75956 WITH SCORE 76132.307
AT ITER 68 NEW BEST:: SOT 222187 SOS 174125 HAS SOPS 173951 HAS SOUS 74749 HAS SOUPS 74708 WITH SCORE 74882.125
AT ITER 72 NEW BEST:: SOT 222181 SOS 174080 HAS SOPS 173906 HAS SOUS 74749 HAS SOUPS 74708 WITH SCORE 74882.08
AT ITER 75 NEW BEST:: SOT 222181 SOS 174080 HAS SOPS 173906 HAS SOUS 74746 HAS SOUPS 74705 WITH SCORE 74879.08
AT ITER 76 NEW BEST:: SOT 222292 SOS 174015 HAS SOPS 173841 HAS SOUS 74656 HAS SOUPS 74615 WITH SCORE 74789.015
AT ITER 78 NEW BEST:: SOT 222330 SOS 174051 HAS SOPS 173877 HAS SOUS 74653 HAS SOUPS 74612 WITH SCORE 74786.051
AT ITER 96 NEW BEST:: SOT 222397 SOS 170300 HAS SOPS 170126 HAS SOUS 71978 HAS SOUPS 71937 WITH SCORE 72107.3
AT ITER 97 NEW BEST:: SOT 222397 SOS 170299 HAS SOPS 170125 HAS SOUS 71978 HAS SOUPS 71937 WITH SCORE 72107.299
AT ITER 98 NEW BEST:: SOT 222411 SOS 170302 HAS SOPS 170128 HAS SOUS 71972 HAS SOUPS 71931 WITH SCORE 72101.302
AT ITER 107 NEW BEST:: SOT 222409 SOS 170134 HAS SOPS 169960 HAS SOUS 71888 HAS SOUPS 71847 WITH SCORE 72017.134
AT ITER 112 NEW BEST:: SOT 222421 SOS 170156 HAS SOPS 169982 HAS SOUS 71884 HAS SOUPS 71843 WITH SCORE 72013.156
AT ITER 114 NEW BEST:: SOT 222393 SOS 170069 HAS SOPS 169883 HAS SOUS 71803 HAS SOUPS 71758 WITH SCORE 71928.069
AT ITER 117 NEW BEST:: SOT 222434 SOS 168799 HAS SOPS 168613 HAS SOUS 70873 HAS SOUPS 70828 WITH SCORE 70996.799
AT ITER 118 NEW BEST:: SOT 222422 SOS 168743 HAS SOPS 168557 HAS SOUS 70832 HAS SOUPS 70787 WITH SCORE 70955.743
AT ITER 119 NEW BEST:: SOT 222421 SOS 168706 HAS SOPS 168520 HAS SOUS 70831 HAS SOUPS 70786 WITH SCORE 70954.706
AT ITER 127 NEW BEST:: SOT 222421 SOS 168706 HAS SOPS 168520 HAS SOUS 70823 HAS SOUPS 70778 WITH SCORE 70946.706
AT ITER 128 NEW BEST:: SOT 222430 SOS 168677 HAS SOPS 168491 HAS SOUS 70823 HAS SOUPS 70778 WITH SCORE 70946.677
AT ITER 129 NEW BEST:: SOT 220579 SOS 166303 HAS SOPS 166071 HAS SOUS 69747 HAS SOUPS 69689 WITH SCORE 69855.303
AT ITER 131 NEW BEST:: SOT 220762 SOS 166165 HAS SOPS 165933 HAS SOUS 69620 HAS SOUPS 69562 WITH SCORE 69728.165
AT ITER 132 NEW BEST:: SOT 219144 SOS 165060 HAS SOPS 164798 HAS SOUS 69488 HAS SOUPS 69430 WITH SCORE 69595.06
AT ITER 136 NEW BEST:: SOT 218202 SOS 164116 HAS SOPS 163830 HAS SOUS 68993 HAS SOUPS 68931 WITH SCORE 69095.116
AT ITER 137 NEW BEST:: SOT 218202 SOS 162589 HAS SOPS 162303 HAS SOUS 67530 HAS SOUPS 67468 WITH SCORE 67630.589
AT ITER 141 NEW BEST:: SOT 218198 SOS 162585 HAS SOPS 162299 HAS SOUS 67527 HAS SOUPS 67465 WITH SCORE 67627.585
AT ITER 142 NEW BEST:: SOT 218197 SOS 162583 HAS SOPS 162297 HAS SOUS 67526 HAS SOUPS 67464 WITH SCORE 67626.583
AT ITER 146 NEW BEST:: SOT 216855 SOS 161299 HAS SOPS 161013 HAS SOUS 66918 HAS SOUPS 66856 WITH SCORE 67017.299
AT ITER 148 NEW BEST:: SOT 216020 SOS 160439 HAS SOPS 160061 HAS SOUS 65610 HAS SOUPS 65548 WITH SCORE 65708.439
AT ITER 149 NEW BEST:: SOT 215610 SOS 159999 HAS SOPS 159621 HAS SOUS 65450 HAS SOUPS 65388 WITH SCORE 65547.999
AT ITER 154 NEW BEST:: SOT 215608 SOS 159995 HAS SOPS 159617 HAS SOUS 65446 HAS SOUPS 65384 WITH SCORE 65543.995
AT ITER 160 NEW BEST:: SOT 215629 SOS 159783 HAS SOPS 159379 HAS SOUS 65284 HAS SOUPS 65222 WITH SCORE 65381.783
AT ITER 165 NEW BEST:: SOT 215511 SOS 159589 HAS SOPS 159185 HAS SOUS 65072 HAS SOUPS 65010 WITH SCORE 65169.589
AT ITER 172 NEW BEST:: SOT 212857 SOS 156702 HAS SOPS 156298 HAS SOUS 63384 HAS SOUPS 63322 WITH SCORE 63478.702
AT ITER 175 NEW BEST:: SOT 210950 SOS 154795 HAS SOPS 154391 HAS SOUS 62396 HAS SOUPS 62334 WITH SCORE 62488.795
AT ITER 176 NEW BEST:: SOT 210978 SOS 154703 HAS SOPS 154299 HAS SOUS 62306 HAS SOUPS 62244 WITH SCORE 62398.703
AT ITER 181 NEW BEST:: SOT 210973 SOS 154555 HAS SOPS 154151 HAS SOUS 62226 HAS SOUPS 62164 WITH SCORE 62318.555
AT ITER 186 NEW BEST:: SOT 211055 SOS 154452 HAS SOPS 154048 HAS SOUS 62157 HAS SOUPS 62095 WITH SCORE 62249.452
AT ITER 188 NEW BEST:: SOT 211011 SOS 154364 HAS SOPS 153960 HAS SOUS 62111 HAS SOUPS 62049 WITH SCORE 62203.364
AT ITER 191 NEW BEST:: SOT 211010 SOS 154258 HAS SOPS 153854 HAS SOUS 62111 HAS SOUPS 62049 WITH SCORE 62203.258
AT ITER 195 NEW BEST:: SOT 211191 SOS 154280 HAS SOPS 153876 HAS SOUS 62109 HAS SOUPS 62047 WITH SCORE 62201.28
AT ITER 199 NEW BEST:: SOT 211191 SOS 153676 HAS SOPS 153272 HAS SOUS 61499 HAS SOUPS 61437 WITH SCORE 61590.676
AT ITER 200 NEW BEST:: SOT 211194 SOS 153552 HAS SOPS 153148 HAS SOUS 61324 HAS SOUPS 61262 WITH SCORE 61415.552
AT ITER 201 NEW BEST:: SOT 211093 SOS 153544 HAS SOPS 153140 HAS SOUS 61294 HAS SOUPS 61232 WITH SCORE 61385.544
AT ITER 202 NEW BEST:: SOT 211091 SOS 153490 HAS SOPS 153086 HAS SOUS 61242 HAS SOUPS 61180 WITH SCORE 61333.49
AT ITER 204 NEW BEST:: SOT 211024 SOS 153354 HAS SOPS 152950 HAS SOUS 61240 HAS SOUPS 61178 WITH SCORE 61331.354
AT ITER 210 NEW BEST:: SOT 210908 SOS 153142 HAS SOPS 152705 HAS SOUS 61065 HAS SOUPS 60999 WITH SCORE 61152.142
AT ITER 215 NEW BEST:: SOT 210908 SOS 153127 HAS SOPS 152690 HAS SOUS 61050 HAS SOUPS 60984 WITH SCORE 61137.127
AT ITER 218 NEW BEST:: SOT 207962 SOS 150181 HAS SOPS 149744 HAS SOUS 59558 HAS SOUPS 59492 WITH SCORE 59642.181
AT ITER 221 NEW BEST:: SOT 207962 SOS 150059 HAS SOPS 149622 HAS SOUS 59482 HAS SOUPS 59416 WITH SCORE 59566.059
AT ITER 224 NEW BEST:: SOT 207994 SOS 149592 HAS SOPS 149154 HAS SOUS 59280 HAS SOUPS 59214 WITH SCORE 59363.592
AT ITER 231 NEW BEST:: SOT 208070 SOS 149073 HAS SOPS 148635 HAS SOUS 59183 HAS SOUPS 59117 WITH SCORE 59266.073
AT ITER 233 NEW BEST:: SOT 208058 SOS 148809 HAS SOPS 148369 HAS SOUS 58981 HAS SOUPS 58915 WITH SCORE 59063.809
AT ITER 235 NEW BEST:: SOT 208058 SOS 148639 HAS SOPS 148199 HAS SOUS 58768 HAS SOUPS 58702 WITH SCORE 58850.639
AT ITER 238 NEW BEST:: SOT 208051 SOS 148625 HAS SOPS 148185 HAS SOUS 58761 HAS SOUPS 58695 WITH SCORE 58843.625
AT ITER 242 NEW BEST:: SOT 207920 SOS 144319 HAS SOPS 143879 HAS SOUS 57116 HAS SOUPS 57050 WITH SCORE 57194.319
AT ITER 248 NEW BEST:: SOT 207862 SOS 144199 HAS SOPS 143759 HAS SOUS 57054 HAS SOUPS 56988 WITH SCORE 57132.199
AT ITER 252 NEW BEST:: SOT 207851 SOS 144125 HAS SOPS 143685 HAS SOUS 57020 HAS SOUPS 56954 WITH SCORE 57098.125
AT ITER 253 NEW BEST:: SOT 207848 SOS 144118 HAS SOPS 143678 HAS SOUS 57015 HAS SOUPS 56949 WITH SCORE 57093.118
AT ITER 259 NEW BEST:: SOT 207818 SOS 143990 HAS SOPS 143550 HAS SOUS 56951 HAS SOUPS 56885 WITH SCORE 57028.99
AT ITER 261 NEW BEST:: SOT 207815 SOS 143338 HAS SOPS 142898 HAS SOUS 56823 HAS SOUPS 56757 WITH SCORE 56900.338
AT ITER 263 NEW BEST:: SOT 207815 SOS 140970 HAS SOPS 140530 HAS SOUS 56157 HAS SOUPS 56091 WITH SCORE 56231.97
AT ITER 266 NEW BEST:: SOT 208096 SOS 139321 HAS SOPS 138881 HAS SOUS 55903 HAS SOUPS 55837 WITH SCORE 55976.321
AT ITER 268 NEW BEST:: SOT 207994 SOS 139040 HAS SOPS 138600 HAS SOUS 55853 HAS SOUPS 55787 WITH SCORE 55926.04
AT ITER 270 NEW BEST:: SOT 208080 SOS 139123 HAS SOPS 138389 HAS SOUS 54475 HAS SOUPS 54409 WITH SCORE 54548.123
AT ITER 281 NEW BEST:: SOT 208038 SOS 139033 HAS SOPS 138299 HAS SOUS 54462 HAS SOUPS 54396 WITH SCORE 54535.033
AT ITER 292 NEW BEST:: SOT 208536 SOS 137334 HAS SOPS 136600 HAS SOUS 53232 HAS SOUPS 53166 WITH SCORE 53303.334
AT ITER 297 NEW BEST:: SOT 208624 SOS 137074 HAS SOPS 135968 HAS SOUS 51464 HAS SOUPS 51398 WITH SCORE 51535.074
AT ITER 303 NEW BEST:: SOT 208624 SOS 137073 HAS SOPS 135967 HAS SOUS 51464 HAS SOUPS 51398 WITH SCORE 51535.073
AT ITER 307 NEW BEST:: SOT 207735 SOS 136090 HAS SOPS 134967 HAS SOUS 50944 HAS SOUPS 50878 WITH SCORE 51014.09
AT ITER 308 NEW BEST:: SOT 207731 SOS 136082 HAS SOPS 134959 HAS SOUS 50941 HAS SOUPS 50875 WITH SCORE 51011.082
AT ITER 311 NEW BEST:: SOT 207733 SOS 135957 HAS SOPS 134834 HAS SOUS 50941 HAS SOUPS 50875 WITH SCORE 51010.957
AT ITER 314 NEW BEST:: SOT 207884 SOS 135793 HAS SOPS 134670 HAS SOUS 50836 HAS SOUPS 50770 WITH SCORE 50905.793
AT ITER 315 NEW BEST:: SOT 207886 SOS 135771 HAS SOPS 134650 HAS SOUS 50785 HAS SOUPS 50719 WITH SCORE 50854.771
AT ITER 317 NEW BEST:: SOT 207845 SOS 135745 HAS SOPS 134624 HAS SOUS 50785 HAS SOUPS 50719 WITH SCORE 50854.745
AT ITER 318 NEW BEST:: SOT 207847 SOS 135470 HAS SOPS 134349 HAS SOUS 50730 HAS SOUPS 50664 WITH SCORE 50799.47
AT ITER 324 NEW BEST:: SOT 207938 SOS 134898 HAS SOPS 133777 HAS SOUS 50657 HAS SOUPS 50591 WITH SCORE 50725.898
AT ITER 327 NEW BEST:: SOT 207960 SOS 134818 HAS SOPS 133697 HAS SOUS 50577 HAS SOUPS 50511 WITH SCORE 50645.818
AT ITER 328 NEW BEST:: SOT 204836 SOS 131711 HAS SOPS 130590 HAS SOUS 48993 HAS SOUPS 48927 WITH SCORE 49058.711
AT ITER 331 NEW BEST:: SOT 204819 SOS 131579 HAS SOPS 130458 HAS SOUS 48918 HAS SOUPS 48852 WITH SCORE 48983.579
AT ITER 334 NEW BEST:: SOT 204884 SOS 127629 HAS SOPS 126508 HAS SOUS 47813 HAS SOUPS 47747 WITH SCORE 47874.629
AT ITER 335 NEW BEST:: SOT 204850 SOS 127597 HAS SOPS 126476 HAS SOUS 47805 HAS SOUPS 47739 WITH SCORE 47866.597
AT ITER 341 NEW BEST:: SOT 204780 SOS 127492 HAS SOPS 126371 HAS SOUS 47766 HAS SOUPS 47700 WITH SCORE 47827.492
AT ITER 348 NEW BEST:: SOT 204626 SOS 127328 HAS SOPS 126124 HAS SOUS 47574 HAS SOUPS 47487 WITH SCORE 47614.328
AT ITER 353 NEW BEST:: SOT 204633 SOS 127308 HAS SOPS 126084 HAS SOUS 47534 HAS SOUPS 47447 WITH SCORE 47574.308
AT ITER 365 NEW BEST:: SOT 204614 SOS 127289 HAS SOPS 126065 HAS SOUS 47496 HAS SOUPS 47409 WITH SCORE 47536.289
AT ITER 366 NEW BEST:: SOT 204571 SOS 127281 HAS SOPS 126057 HAS SOUS 47491 HAS SOUPS 47404 WITH SCORE 47531.281
AT ITER 378 NEW BEST:: SOT 204263 SOS 126973 HAS SOPS 125749 HAS SOUS 47330 HAS SOUPS 47243 WITH SCORE 47369.973
AT ITER 381 NEW BEST:: SOT 204289 SOS 126570 HAS SOPS 125266 HAS SOUS 46432 HAS SOUPS 46345 WITH SCORE 46471.57
AT ITER 384 NEW BEST:: SOT 204290 SOS 126569 HAS SOPS 125265 HAS SOUS 46431 HAS SOUPS 46344 WITH SCORE 46470.569
AT ITER 396 NEW BEST:: SOT 204290 SOS 126560 HAS SOPS 125256 HAS SOUS 46431 HAS SOUPS 46344 WITH SCORE 46470.56
AT ITER 399 NEW BEST:: SOT 204304 SOS 126557 HAS SOPS 125253 HAS SOUS 46428 HAS SOUPS 46341 WITH SCORE 46467.557
AT ITER 403 NEW BEST:: SOT 202323 SOS 124845 HAS SOPS 123204 HAS SOUS 44490 HAS SOUPS 44369 WITH SCORE 44493.845
AT ITER 416 NEW BEST:: SOT 202351 SOS 122732 HAS SOPS 121091 HAS SOUS 44241 HAS SOUPS 44120 WITH SCORE 44242.732
AT ITER 419 NEW BEST:: SOT 202938 SOS 119627 HAS SOPS 117987 HAS SOUS 43433 HAS SOUPS 43312 WITH SCORE 43431.627
AT ITER 420 NEW BEST:: SOT 202939 SOS 119612 HAS SOPS 117972 HAS SOUS 43417 HAS SOUPS 43296 WITH SCORE 43415.612
AT ITER 429 NEW BEST:: SOT 202933 SOS 119600 HAS SOPS 117960 HAS SOUS 43405 HAS SOUPS 43284 WITH SCORE 43403.6
AT ITER 433 NEW BEST:: SOT 199769 SOS 122486 HAS SOPS 120846 HAS SOUS 43007 HAS SOUPS 42886 WITH SCORE 43008.486
AT ITER 435 NEW BEST:: SOT 199769 SOS 122478 HAS SOPS 120838 HAS SOUS 43007 HAS SOUPS 42886 WITH SCORE 43008.478
AT ITER 443 NEW BEST:: SOT 199754 SOS 119552 HAS SOPS 117912 HAS SOUS 42610 HAS SOUPS 42489 WITH SCORE 42608.552
AT ITER 444 NEW BEST:: SOT 199695 SOS 119493 HAS SOPS 117852 HAS SOUS 42580 HAS SOUPS 42458 WITH SCORE 42577.493
AT ITER 454 NEW BEST:: SOT 199231 SOS 119029 HAS SOPS 117388 HAS SOUS 42334 HAS SOUPS 42212 WITH SCORE 42331.029
AT ITER 455 NEW BEST:: SOT 199326 SOS 119055 HAS SOPS 117394 HAS SOUS 42298 HAS SOUPS 42176 WITH SCORE 42295.055
AT ITER 464 NEW BEST:: SOT 199305 SOS 119017 HAS SOPS 117336 HAS SOUS 42241 HAS SOUPS 42119 WITH SCORE 42238.017
AT ITER 472 NEW BEST:: SOT 199301 SOS 118998 HAS SOPS 117317 HAS SOUS 42221 HAS SOUPS 42099 WITH SCORE 42217.998
AT ITER 474 NEW BEST:: SOT 199420 SOS 118986 HAS SOPS 117305 HAS SOUS 42209 HAS SOUPS 42087 WITH SCORE 42205.986
AT ITER 475 NEW BEST:: SOT 199420 SOS 118983 HAS SOPS 117302 HAS SOUS 42206 HAS SOUPS 42084 WITH SCORE 42202.983
AT ITER 480 NEW BEST:: SOT 199420 SOS 118999 HAS SOPS 117302 HAS SOUS 42196 HAS SOUPS 42074 WITH SCORE 42192.999
AT ITER 483 NEW BEST:: SOT 199431 SOS 118999 HAS SOPS 117309 HAS SOUS 42160 HAS SOUPS 42038 WITH SCORE 42156.999
AT ITER 484 NEW BEST:: SOT 199560 SOS 117981 HAS SOPS 115601 HAS SOUS 39480 HAS SOUPS 39358 WITH SCORE 39475.981
AT ITER 494 NEW BEST:: SOT 199498 SOS 117919 HAS SOPS 115539 HAS SOUS 39418 HAS SOUPS 39296 WITH SCORE 39413.919
AT ITER 504 NEW BEST:: SOT 199505 SOS 117926 HAS SOPS 115537 HAS SOUS 39416 HAS SOUPS 39294 WITH SCORE 39411.926
AT ITER 513 NEW BEST:: SOT 199505 SOS 117948 HAS SOPS 115559 HAS SOUS 39379 HAS SOUPS 39257 WITH SCORE 39374.948
AT ITER 517 NEW BEST:: SOT 199594 SOS 112118 HAS SOPS 109729 HAS SOUS 38561 HAS SOUPS 38439 WITH SCORE 38551.118
AT ITER 518 NEW BEST:: SOT 199582 SOS 112071 HAS SOPS 109682 HAS SOUS 38556 HAS SOUPS 38434 WITH SCORE 38546.071
AT ITER 521 NEW BEST:: SOT 199616 SOS 110757 HAS SOPS 108368 HAS SOUS 37673 HAS SOUPS 37551 WITH SCORE 37661.757
AT ITER 522 NEW BEST:: SOT 199663 SOS 110741 HAS SOPS 108343 HAS SOUS 37610 HAS SOUPS 37488 WITH SCORE 37598.741
AT ITER 524 NEW BEST:: SOT 199659 SOS 110657 HAS SOPS 108259 HAS SOUS 37607 HAS SOUPS 37485 WITH SCORE 37595.657
AT ITER 528 NEW BEST:: SOT 199639 SOS 110617 HAS SOPS 108219 HAS SOUS 37607 HAS SOUPS 37485 WITH SCORE 37595.617
AT ITER 530 NEW BEST:: SOT 199701 SOS 110610 HAS SOPS 108179 HAS SOUS 37567 HAS SOUPS 37445 WITH SCORE 37555.61
AT ITER 531 NEW BEST:: SOT 199646 SOS 110704 HAS SOPS 108273 HAS SOUS 37545 HAS SOUPS 37423 WITH SCORE 37533.704
AT ITER 536 NEW BEST:: SOT 199658 SOS 110560 HAS SOPS 108109 HAS SOUS 37539 HAS SOUPS 37417 WITH SCORE 37527.56
AT ITER 538 NEW BEST:: SOT 199658 SOS 110554 HAS SOPS 108103 HAS SOUS 37539 HAS SOUPS 37417 WITH SCORE 37527.554
AT ITER 542 NEW BEST:: SOT 199658 SOS 110466 HAS SOPS 108015 HAS SOUS 37495 HAS SOUPS 37373 WITH SCORE 37483.466
AT ITER 546 NEW BEST:: SOT 198685 SOS 109488 HAS SOPS 107037 HAS SOUS 37001 HAS SOUPS 36879 WITH SCORE 36988.488
AT ITER 549 NEW BEST:: SOT 198639 SOS 109084 HAS SOPS 106586 HAS SOUS 36715 HAS SOUPS 36593 WITH SCORE 36702.084
AT ITER 558 NEW BEST:: SOT 198638 SOS 109083 HAS SOPS 106584 HAS SOUS 36713 HAS SOUPS 36591 WITH SCORE 36700.083
AT ITER 567 NEW BEST:: SOT 198678 SOS 108734 HAS SOPS 106235 HAS SOUS 36699 HAS SOUPS 36577 WITH SCORE 36685.734
AT ITER 571 NEW BEST:: SOT 198677 SOS 108732 HAS SOPS 106233 HAS SOUS 36697 HAS SOUPS 36575 WITH SCORE 36683.732
AT ITER 578 NEW BEST:: SOT 198697 SOS 108734 HAS SOPS 106235 HAS SOUS 36676 HAS SOUPS 36554 WITH SCORE 36662.734
AT ITER 581 NEW BEST:: SOT 198682 SOS 108704 HAS SOPS 106205 HAS SOUS 36654 HAS SOUPS 36532 WITH SCORE 36640.704
AT ITER 587 NEW BEST:: SOT 198682 SOS 108704 HAS SOPS 106196 HAS SOUS 36645 HAS SOUPS 36523 WITH SCORE 36631.704
AT ITER 590 NEW BEST:: SOT 198682 SOS 108664 HAS SOPS 106156 HAS SOUS 36617 HAS SOUPS 36495 WITH SCORE 36603.664
AT ITER 596 NEW BEST:: SOT 198592 SOS 108310 HAS SOPS 105798 HAS SOUS 36490 HAS SOUPS 36376 WITH SCORE 36484.31
AT ITER 599 NEW BEST:: SOT 198592 SOS 108348 HAS SOPS 105836 HAS SOUS 36464 HAS SOUPS 36350 WITH SCORE 36458.348
AT ITER 608 NEW BEST:: SOT 198605 SOS 108374 HAS SOPS 105862 HAS SOUS 36436 HAS SOUPS 36322 WITH SCORE 36430.374
AT ITER 614 NEW BEST:: SOT 198650 SOS 108118 HAS SOPS 105601 HAS SOUS 36408 HAS SOUPS 36294 WITH SCORE 36402.118
AT ITER 618 NEW BEST:: SOT 198642 SOS 108110 HAS SOPS 105593 HAS SOUS 36408 HAS SOUPS 36294 WITH SCORE 36402.11
AT ITER 628 NEW BEST:: SOT 198621 SOS 108048 HAS SOPS 105531 HAS SOUS 36367 HAS SOUPS 36253 WITH SCORE 36361.048
AT ITER 630 NEW BEST:: SOT 198597 SOS 107995 HAS SOPS 104650 HAS SOUS 34817 HAS SOUPS 34703 WITH SCORE 34810.995
AT ITER 643 NEW BEST:: SOT 198599 SOS 107992 HAS SOPS 104647 HAS SOUS 34812 HAS SOUPS 34698 WITH SCORE 34805.992
AT ITER 645 NEW BEST:: SOT 198531 SOS 103279 HAS SOPS 99934 HAS SOUS 34498 HAS SOUPS 34384 WITH SCORE 34487.279
AT ITER 649 NEW BEST:: SOT 198461 SOS 103134 HAS SOPS 99789 HAS SOUS 34422 HAS SOUPS 34308 WITH SCORE 34411.134
AT ITER 654 NEW BEST:: SOT 198437 SOS 103106 HAS SOPS 99761 HAS SOUS 34367 HAS SOUPS 34253 WITH SCORE 34356.106
AT ITER 667 NEW BEST:: SOT 198383 SOS 103041 HAS SOPS 99696 HAS SOUS 34326 HAS SOUPS 34212 WITH SCORE 34315.041
AT ITER 674 NEW BEST:: SOT 198331 SOS 102957 HAS SOPS 99612 HAS SOUS 34242 HAS SOUPS 34128 WITH SCORE 34230.957
AT ITER 676 NEW BEST:: SOT 198329 SOS 102951 HAS SOPS 99606 HAS SOUS 34240 HAS SOUPS 34126 WITH SCORE 34228.951
AT ITER 679 NEW BEST:: SOT 198319 SOS 102945 HAS SOPS 99600 HAS SOUS 34230 HAS SOUPS 34116 WITH SCORE 34218.945
AT ITER 687 NEW BEST:: SOT 198350 SOS 102870 HAS SOPS 99521 HAS SOUS 34225 HAS SOUPS 34111 WITH SCORE 34213.87
AT ITER 688 NEW BEST:: SOT 198350 SOS 102897 HAS SOPS 99548 HAS SOUS 34218 HAS SOUPS 34104 WITH SCORE 34206.897
AT ITER 690 NEW BEST:: SOT 199043 SOS 101947 HAS SOPS 98618 HAS SOUS 33952 HAS SOUPS 33838 WITH SCORE 33939.947
AT ITER 693 NEW BEST:: SOT 199023 SOS 101921 HAS SOPS 98578 HAS SOUS 33907 HAS SOUPS 33793 WITH SCORE 33894.921
AT ITER 701 NEW BEST:: SOT 196028 SOS 101249 HAS SOPS 95506 HAS SOUS 31039 HAS SOUPS 30849 WITH SCORE 30950.249
AT ITER 703 NEW BEST:: SOT 196048 SOS 100170 HAS SOPS 94427 HAS SOUS 30855 HAS SOUPS 30665 WITH SCORE 30765.17
AT ITER 709 NEW BEST:: SOT 196053 SOS 100175 HAS SOPS 94411 HAS SOUS 30839 HAS SOUPS 30649 WITH SCORE 30749.175
AT ITER 711 NEW BEST:: SOT 196100 SOS 100152 HAS SOPS 94388 HAS SOUS 30813 HAS SOUPS 30623 WITH SCORE 30723.152
AT ITER 713 NEW BEST:: SOT 196100 SOS 99584 HAS SOPS 93839 HAS SOUS 30375 HAS SOUPS 30185 WITH SCORE 30284.584
AT ITER 722 NEW BEST:: SOT 196062 SOS 99541 HAS SOPS 93763 HAS SOUS 30299 HAS SOUPS 30109 WITH SCORE 30208.541
AT ITER 723 NEW BEST:: SOT 196061 SOS 99539 HAS SOPS 93761 HAS SOUS 30298 HAS SOUPS 30108 WITH SCORE 30207.539
AT ITER 725 NEW BEST:: SOT 196056 SOS 99401 HAS SOPS 93628 HAS SOUS 30162 HAS SOUPS 29972 WITH SCORE 30071.401
AT ITER 727 NEW BEST:: SOT 196042 SOS 99373 HAS SOPS 93600 HAS SOUS 30147 HAS SOUPS 29957 WITH SCORE 30056.373
AT ITER 729 NEW BEST:: SOT 196022 SOS 99354 HAS SOPS 93571 HAS SOUS 30125 HAS SOUPS 29928 WITH SCORE 30027.354
AT ITER 732 NEW BEST:: SOT 196041 SOS 99371 HAS SOPS 93586 HAS SOUS 30117 HAS SOUPS 29920 WITH SCORE 30019.371
AT ITER 735 NEW BEST:: SOT 195986 SOS 99025 HAS SOPS 93240 HAS SOUS 29978 HAS SOUPS 29781 WITH SCORE 29880.025
AT ITER 740 NEW BEST:: SOT 195972 SOS 98963 HAS SOPS 93212 HAS SOUS 29950 HAS SOUPS 29753 WITH SCORE 29851.963
AT ITER 752 NEW BEST:: SOT 195950 SOS 98919 HAS SOPS 93146 HAS SOUS 29884 HAS SOUPS 29687 WITH SCORE 29785.919
AT ITER 762 NEW BEST:: SOT 196521 SOS 98866 HAS SOPS 92756 HAS SOUS 29338 HAS SOUPS 29141 WITH SCORE 29239.866
AT ITER 763 NEW BEST:: SOT 196518 SOS 98841 HAS SOPS 92731 HAS SOUS 29332 HAS SOUPS 29135 WITH SCORE 29233.841
AT ITER 766 NEW BEST:: SOT 196509 SOS 98665 HAS SOPS 92592 HAS SOUS 29314 HAS SOUPS 29117 WITH SCORE 29215.665
AT ITER 773 NEW BEST:: SOT 196475 SOS 98645 HAS SOPS 92524 HAS SOUS 29225 HAS SOUPS 29028 WITH SCORE 29126.645
AT ITER 777 NEW BEST:: SOT 196478 SOS 98371 HAS SOPS 92250 HAS SOUS 29109 HAS SOUPS 28912 WITH SCORE 29010.371
AT ITER 782 NEW BEST:: SOT 196470 SOS 98355 HAS SOPS 92234 HAS SOUS 29093 HAS SOUPS 28896 WITH SCORE 28994.355
AT ITER 794 NEW BEST:: SOT 196451 SOS 98297 HAS SOPS 92196 HAS SOUS 29085 HAS SOUPS 28888 WITH SCORE 28986.297
AT ITER 796 NEW BEST:: SOT 196409 SOS 98227 HAS SOPS 92112 HAS SOUS 29015 HAS SOUPS 28818 WITH SCORE 28916.227
AT ITER 797 NEW BEST:: SOT 196335 SOS 97859 HAS SOPS 91792 HAS SOUS 28834 HAS SOUPS 28637 WITH SCORE 28734.859
AT ITER 804 NEW BEST:: SOT 196340 SOS 97851 HAS SOPS 91784 HAS SOUS 28833 HAS SOUPS 28636 WITH SCORE 28733.851
AT ITER 806 NEW BEST:: SOT 196302 SOS 97773 HAS SOPS 91688 HAS SOUS 28737 HAS SOUPS 28540 WITH SCORE 28637.773
AT ITER 812 NEW BEST:: SOT 196298 SOS 97791 HAS SOPS 91706 HAS SOUS 28734 HAS SOUPS 28537 WITH SCORE 28634.791
AT ITER 815 NEW BEST:: SOT 196240 SOS 97710 HAS SOPS 91624 HAS SOUS 28645 HAS SOUPS 28448 WITH SCORE 28545.71
AT ITER 816 NEW BEST:: SOT 196240 SOS 97622 HAS SOPS 91536 HAS SOUS 28645 HAS SOUPS 28448 WITH SCORE 28545.622
AT ITER 819 NEW BEST:: SOT 196234 SOS 97613 HAS SOPS 91524 HAS SOUS 28630 HAS SOUPS 28433 WITH SCORE 28530.613
AT ITER 823 NEW BEST:: SOT 196234 SOS 97613 HAS SOPS 91524 HAS SOUS 28575 HAS SOUPS 28378 WITH SCORE 28475.613
AT ITER 827 NEW BEST:: SOT 196231 SOS 97609 HAS SOPS 91520 HAS SOUS 28572 HAS SOUPS 28375 WITH SCORE 28472.609
AT ITER 828 NEW BEST:: SOT 196187 SOS 96913 HAS SOPS 90824 HAS SOUS 28429 HAS SOUPS 28232 WITH SCORE 28328.913
AT ITER 832 NEW BEST:: SOT 196199 SOS 96911 HAS SOPS 90820 HAS SOUS 28422 HAS SOUPS 28225 WITH SCORE 28321.911
AT ITER 834 NEW BEST:: SOT 196199 SOS 96873 HAS SOPS 90782 HAS SOUS 28422 HAS SOUPS 28225 WITH SCORE 28321.873
AT ITER 836 NEW BEST:: SOT 196178 SOS 96852 HAS SOPS 90780 HAS SOUS 28420 HAS SOUPS 28223 WITH SCORE 28319.852
AT ITER 838 NEW BEST:: SOT 195907 SOS 97112 HAS SOPS 90505 HAS SOUS 28149 HAS SOUPS 27941 WITH SCORE 28038.112
AT ITER 842 NEW BEST:: SOT 195888 SOS 97074 HAS SOPS 90467 HAS SOUS 28130 HAS SOUPS 27922 WITH SCORE 28019.074
AT ITER 846 NEW BEST:: SOT 195786 SOS 96711 HAS SOPS 90069 HAS SOUS 27814 HAS SOUPS 27606 WITH SCORE 27702.711
AT ITER 849 NEW BEST:: SOT 195184 SOS 96099 HAS SOPS 89441 HAS SOUS 27348 HAS SOUPS 27140 WITH SCORE 27236.099
AT ITER 856 NEW BEST:: SOT 195126 SOS 96074 HAS SOPS 89370 HAS SOUS 27277 HAS SOUPS 27069 WITH SCORE 27165.074
AT ITER 857 NEW BEST:: SOT 195128 SOS 96254 HAS SOPS 89488 HAS SOUS 27230 HAS SOUPS 27022 WITH SCORE 27118.254
AT ITER 875 NEW BEST:: SOT 195118 SOS 96244 HAS SOPS 89478 HAS SOUS 27220 HAS SOUPS 27012 WITH SCORE 27108.244
AT ITER 882 NEW BEST:: SOT 195105 SOS 96225 HAS SOPS 89459 HAS SOUS 27213 HAS SOUPS 27005 WITH SCORE 27101.225
AT ITER 890 NEW BEST:: SOT 194864 SOS 95920 HAS SOPS 88986 HAS SOUS 26877 HAS SOUPS 26669 WITH SCORE 26764.92
AT ITER 897 NEW BEST:: SOT 194649 SOS 95705 HAS SOPS 88771 HAS SOUS 26774 HAS SOUPS 26566 WITH SCORE 26661.705
AT ITER 899 NEW BEST:: SOT 193971 SOS 97310 HAS SOPS 88055 HAS SOUS 26112 HAS SOUPS 25866 WITH SCORE 25963.31
AT ITER 905 NEW BEST:: SOT 193917 SOS 97242 HAS SOPS 87947 HAS SOUS 26004 HAS SOUPS 25758 WITH SCORE 25855.242
AT ITER 914 NEW BEST:: SOT 193910 SOS 97228 HAS SOPS 87933 HAS SOUS 25995 HAS SOUPS 25749 WITH SCORE 25846.228
AT ITER 915 NEW BEST:: SOT 193897 SOS 97215 HAS SOPS 87920 HAS SOUS 25982 HAS SOUPS 25736 WITH SCORE 25833.215
AT ITER 928 NEW BEST:: SOT 193900 SOS 97205 HAS SOPS 87910 HAS SOUS 25972 HAS SOUPS 25726 WITH SCORE 25823.205
AT ITER 946 NEW BEST:: SOT 193854 SOS 97103 HAS SOPS 87818 HAS SOUS 25893 HAS SOUPS 25647 WITH SCORE 25744.103
AT ITER 953 NEW BEST:: SOT 193831 SOS 97051 HAS SOPS 87743 HAS SOUS 25818 HAS SOUPS 25572 WITH SCORE 25669.051
AT ITER 962 NEW BEST:: SOT 193582 SOS 99882 HAS SOPS 87345 HAS SOUS 25590 HAS SOUPS 25304 WITH SCORE 25403.882
AT ITER 963 NEW BEST:: SOT 193582 SOS 99891 HAS SOPS 87345 HAS SOUS 25589 HAS SOUPS 25303 WITH SCORE 25402.891
AT ITER 968 NEW BEST:: SOT 193555 SOS 100151 HAS SOPS 87508 HAS SOUS 25585 HAS SOUPS 25299 WITH SCORE 25399.151
AT ITER 978 NEW BEST:: SOT 193547 SOS 100219 HAS SOPS 87530 HAS SOUS 25569 HAS SOUPS 25283 WITH SCORE 25383.219
AT ITER 982 NEW BEST:: SOT 193547 SOS 100166 HAS SOPS 87477 HAS SOUS 25516 HAS SOUPS 25230 WITH SCORE 25330.166
AT ITER 983 NEW BEST:: SOT 193466 SOS 100050 HAS SOPS 87315 HAS SOUS 25354 HAS SOUPS 25068 WITH SCORE 25168.05
AT ITER 984 NEW BEST:: SOT 193462 SOS 100042 HAS SOPS 87307 HAS SOUS 25346 HAS SOUPS 25060 WITH SCORE 25160.042
AT ITER 990 NEW BEST:: SOT 193378 SOS 99951 HAS SOPS 87158 HAS SOUS 25243 HAS SOUPS 24957 WITH SCORE 25056.951
AT ITER 994 NEW BEST:: SOT 193164 SOS 99737 HAS SOPS 86943 HAS SOUS 25137 HAS SOUPS 24850 WITH SCORE 24949.737
AT ITER 997 NEW BEST:: SOT 193153 SOS 99737 HAS SOPS 86932 HAS SOUS 25126 HAS SOUPS 24839 WITH SCORE 24938.737
AT ITER 1003 NEW BEST:: SOT 188962 SOS 106550 HAS SOPS 82639 HAS SOUS 23215 HAS SOUPS 22877 WITH SCORE 22983.55
AT ITER 1016 NEW BEST:: SOT 187783 SOS 109773 HAS SOPS 85861 HAS SOUS 23117 HAS SOUPS 22779 WITH SCORE 22888.773
AT ITER 1017 NEW BEST:: SOT 187765 SOS 109755 HAS SOPS 85825 HAS SOUS 23081 HAS SOUPS 22743 WITH SCORE 22852.755
AT ITER 1024 NEW BEST:: SOT 187519 SOS 109523 HAS SOPS 85521 HAS SOUS 22851 HAS SOUPS 22513 WITH SCORE 22622.523
AT ITER 1030 NEW BEST:: SOT 187523 SOS 109514 HAS SOPS 85514 HAS SOUS 22843 HAS SOUPS 22505 WITH SCORE 22614.514
AT ITER 1039 NEW BEST:: SOT 187522 SOS 106526 HAS SOPS 82570 HAS SOUS 22686 HAS SOUPS 22348 WITH SCORE 22454.526
AT ITER 1043 NEW BEST:: SOT 187502 SOS 106397 HAS SOPS 82472 HAS SOUS 22639 HAS SOUPS 22301 WITH SCORE 22407.397
AT ITER 1045 NEW BEST:: SOT 187502 SOS 106376 HAS SOPS 82437 HAS SOUS 22604 HAS SOUPS 22266 WITH SCORE 22372.376
AT ITER 1080 NEW BEST:: SOT 187500 SOS 106344 HAS SOPS 82433 HAS SOUS 22592 HAS SOUPS 22262 WITH SCORE 22368.344
AT ITER 1082 NEW BEST:: SOT 187514 SOS 106296 HAS SOPS 82399 HAS SOUS 22558 HAS SOUPS 22228 WITH SCORE 22334.296
AT ITER 1085 NEW BEST:: SOT 187505 SOS 106286 HAS SOPS 82381 HAS SOUS 22539 HAS SOUPS 22209 WITH SCORE 22315.286
AT ITER 1091 NEW BEST:: SOT 187483 SOS 105571 HAS SOPS 81666 HAS SOUS 22429 HAS SOUPS 22099 WITH SCORE 22204.571
AT ITER 1096 NEW BEST:: SOT 187483 SOS 105451 HAS SOPS 81591 HAS SOUS 22390 HAS SOUPS 22060 WITH SCORE 22165.451
AT ITER 1106 NEW BEST:: SOT 187473 SOS 105310 HAS SOPS 81509 HAS SOUS 22371 HAS SOUPS 22041 WITH SCORE 22146.31
AT ITER 1116 NEW BEST:: SOT 187469 SOS 105306 HAS SOPS 81503 HAS SOUS 22369 HAS SOUPS 22039 WITH SCORE 22144.306
AT ITER 1128 NEW BEST:: SOT 187469 SOS 105306 HAS SOPS 81503 HAS SOUS 22346 HAS SOUPS 22016 WITH SCORE 22121.306
AT ITER 1133 NEW BEST:: SOT 187464 SOS 105301 HAS SOPS 81497 HAS SOUS 22340 HAS SOUPS 22010 WITH SCORE 22115.301
AT ITER 1138 NEW BEST:: SOT 187392 SOS 105229 HAS SOPS 81353 HAS SOUS 22196 HAS SOUPS 21866 WITH SCORE 21971.229
AT ITER 1141 NEW BEST:: SOT 187362 SOS 103479 HAS SOPS 79603 HAS SOUS 21850 HAS SOUPS 21520 WITH SCORE 21623.479
AT ITER 1148 NEW BEST:: SOT 186400 SOS 133944 HAS SOPS 78557 HAS SOUS 21722 HAS SOUPS 21328 WITH SCORE 21461.944
AT ITER 1150 NEW BEST:: SOT 186402 SOS 133883 HAS SOPS 73778 HAS SOUS 21092 HAS SOUPS 20698 WITH SCORE 20831.883
AT ITER 1152 NEW BEST:: SOT 186384 SOS 133892 HAS SOPS 73773 HAS SOUS 21101 HAS SOUPS 20693 WITH SCORE 20826.892
AT ITER 1156 NEW BEST:: SOT 186366 SOS 133875 HAS SOPS 73756 HAS SOUS 21094 HAS SOUPS 20686 WITH SCORE 20819.875
AT ITER 1160 NEW BEST:: SOT 186270 SOS 133622 HAS SOPS 73464 HAS SOUS 20910 HAS SOUPS 20502 WITH SCORE 20635.622
AT ITER 1172 NEW BEST:: SOT 186270 SOS 133566 HAS SOPS 73408 HAS SOUS 20910 HAS SOUPS 20502 WITH SCORE 20635.566
AT ITER 1180 NEW BEST:: SOT 185553 SOS 132784 HAS SOPS 73791 HAS SOUS 20854 HAS SOUPS 20446 WITH SCORE 20578.784
AT ITER 1183 NEW BEST:: SOT 185553 SOS 132786 HAS SOPS 73789 HAS SOUS 20844 HAS SOUPS 20436 WITH SCORE 20568.786
AT ITER 1185 NEW BEST:: SOT 185537 SOS 132754 HAS SOPS 73757 HAS SOUS 20810 HAS SOUPS 20402 WITH SCORE 20534.754
AT ITER 1199 NEW BEST:: SOT 185528 SOS 132736 HAS SOPS 73736 HAS SOUS 20792 HAS SOUPS 20384 WITH SCORE 20516.736
AT ITER 1206 NEW BEST:: SOT 185605 SOS 132827 HAS SOPS 73552 HAS SOUS 20547 HAS SOUPS 20139 WITH SCORE 20271.827
AT ITER 1215 NEW BEST:: SOT 185619 SOS 132793 HAS SOPS 73518 HAS SOUS 20511 HAS SOUPS 20103 WITH SCORE 20235.793
AT ITER 1225 NEW BEST:: SOT 185591 SOS 132737 HAS SOPS 73462 HAS SOUS 20471 HAS SOUPS 20063 WITH SCORE 20195.737
AT ITER 1244 NEW BEST:: SOT 185575 SOS 132716 HAS SOPS 73430 HAS SOUS 20450 HAS SOUPS 20042 WITH SCORE 20174.716
AT ITER 1248 NEW BEST:: SOT 185460 SOS 132601 HAS SOPS 73346 HAS SOUS 20413 HAS SOUPS 20005 WITH SCORE 20137.601
AT ITER 1255 NEW BEST:: SOT 185513 SOS 132601 HAS SOPS 73387 HAS SOUS 20390 HAS SOUPS 19982 WITH SCORE 20114.601
AT ITER 1260 NEW BEST:: SOT 185506 SOS 132580 HAS SOPS 73359 HAS SOUS 20362 HAS SOUPS 19954 WITH SCORE 20086.58
AT ITER 1262 NEW BEST:: SOT 185500 SOS 132568 HAS SOPS 73341 HAS SOUS 20344 HAS SOUPS 19936 WITH SCORE 20068.568
AT ITER 1269 NEW BEST:: SOT 185514 SOS 132543 HAS SOPS 73316 HAS SOUS 20319 HAS SOUPS 19911 WITH SCORE 20043.543
AT ITER 1273 NEW BEST:: SOT 185486 SOS 132487 HAS SOPS 72536 HAS SOUS 20090 HAS SOUPS 19682 WITH SCORE 19814.487
AT ITER 1276 NEW BEST:: SOT 185499 SOS 132467 HAS SOPS 72525 HAS SOUS 20079 HAS SOUPS 19671 WITH SCORE 19803.467
AT ITER 1286 NEW BEST:: SOT 184180 SOS 131172 HAS SOPS 71537 HAS SOUS 20019 HAS SOUPS 19611 WITH SCORE 19742.172
AT ITER 1288 NEW BEST:: SOT 184181 SOS 131210 HAS SOPS 71552 HAS SOUS 19988 HAS SOUPS 19580 WITH SCORE 19711.21
AT ITER 1297 NEW BEST:: SOT 184171 SOS 131187 HAS SOPS 70694 HAS SOUS 19865 HAS SOUPS 19457 WITH SCORE 19588.187
AT ITER 1299 NEW BEST:: SOT 184165 SOS 131181 HAS SOPS 70682 HAS SOUS 19853 HAS SOUPS 19445 WITH SCORE 19576.181
AT ITER 1310 NEW BEST:: SOT 183075 SOS 130121 HAS SOPS 69767 HAS SOUS 19508 HAS SOUPS 19100 WITH SCORE 19230.121
AT ITER 1319 NEW BEST:: SOT 183037 SOS 129965 HAS SOPS 69607 HAS SOUS 19356 HAS SOUPS 18948 WITH SCORE 19077.965
AT ITER 1322 NEW BEST:: SOT 183034 SOS 129965 HAS SOPS 69604 HAS SOUS 19354 HAS SOUPS 18946 WITH SCORE 19075.965
AT ITER 1326 NEW BEST:: SOT 183034 SOS 129965 HAS SOPS 69604 HAS SOUS 19353 HAS SOUPS 18945 WITH SCORE 19074.965
AT ITER 1339 NEW BEST:: SOT 182963 SOS 129900 HAS SOPS 69535 HAS SOUS 19280 HAS SOUPS 18872 WITH SCORE 19001.9
AT ITER 1347 NEW BEST:: SOT 182951 SOS 129882 HAS SOPS 69511 HAS SOUS 19268 HAS SOUPS 18860 WITH SCORE 18989.882
AT ITER 1384 NEW BEST:: SOT 182949 SOS 129905 HAS SOPS 69533 HAS SOUS 19265 HAS SOUPS 18857 WITH SCORE 18986.905
AT ITER 1397 NEW BEST:: SOT 182875 SOS 129807 HAS SOPS 69385 HAS SOUS 19117 HAS SOUPS 18709 WITH SCORE 18838.807
AT ITER 1403 NEW BEST:: SOT 182885 SOS 129778 HAS SOPS 69349 HAS SOUS 19064 HAS SOUPS 18656 WITH SCORE 18785.778
AT ITER 1404 NEW BEST:: SOT 182869 SOS 129762 HAS SOPS 69317 HAS SOUS 19048 HAS SOUPS 18640 WITH SCORE 18769.762
AT ITER 1407 NEW BEST:: SOT 182840 SOS 129695 HAS SOPS 69259 HAS SOUS 19019 HAS SOUPS 18611 WITH SCORE 18740.695
AT ITER 1426 NEW BEST:: SOT 182830 SOS 129675 HAS SOPS 69239 HAS SOUS 19016 HAS SOUPS 18608 WITH SCORE 18737.675
AT ITER 1427 NEW BEST:: SOT 182829 SOS 129673 HAS SOPS 69235 HAS SOUS 19010 HAS SOUPS 18602 WITH SCORE 18731.673
AT ITER 1440 NEW BEST:: SOT 182799 SOS 129613 HAS SOPS 69175 HAS SOUS 18985 HAS SOUPS 18577 WITH SCORE 18706.613
AT ITER 1449 NEW BEST:: SOT 182740 SOS 129554 HAS SOPS 69115 HAS SOUS 18954 HAS SOUPS 18546 WITH SCORE 18675.554
AT ITER 1452 NEW BEST:: SOT 182470 SOS 129266 HAS SOPS 68821 HAS SOUS 18792 HAS SOUPS 18384 WITH SCORE 18513.266
AT ITER 1454 NEW BEST:: SOT 181757 SOS 128550 HAS SOPS 68429 HAS SOUS 18606 HAS SOUPS 18198 WITH SCORE 18326.55
AT ITER 1469 NEW BEST:: SOT 181756 SOS 128472 HAS SOPS 68384 HAS SOUS 18554 HAS SOUPS 18146 WITH SCORE 18274.472
AT ITER 1474 NEW BEST:: SOT 181718 SOS 128434 HAS SOPS 68331 HAS SOUS 18524 HAS SOUPS 18116 WITH SCORE 18244.434
AT ITER 1499 NEW BEST:: SOT 181649 SOS 128358 HAS SOPS 68247 HAS SOUS 18443 HAS SOUPS 18035 WITH SCORE 18163.358
AT ITER 1514 NEW BEST:: SOT 181633 SOS 128332 HAS SOPS 68215 HAS SOUS 18431 HAS SOUPS 18023 WITH SCORE 18151.332
AT ITER 1518 NEW BEST:: SOT 181678 SOS 128206 HAS SOPS 68151 HAS SOUS 18431 HAS SOUPS 18023 WITH SCORE 18151.206
AT ITER 1526 NEW BEST:: SOT 181700 SOS 128228 HAS SOPS 68113 HAS SOUS 18358 HAS SOUPS 17950 WITH SCORE 18078.228
AT ITER 1530 NEW BEST:: SOT 181687 SOS 128192 HAS SOPS 68077 HAS SOUS 18342 HAS SOUPS 17934 WITH SCORE 18062.192
AT ITER 1537 NEW BEST:: SOT 181686 SOS 128195 HAS SOPS 68075 HAS SOUS 18341 HAS SOUPS 17933 WITH SCORE 18061.195
AT ITER 1561 NEW BEST:: SOT 181683 SOS 128189 HAS SOPS 68073 HAS SOUS 18335 HAS SOUPS 17931 WITH SCORE 18059.189
AT ITER 1566 NEW BEST:: SOT 181637 SOS 128143 HAS SOPS 68006 HAS SOUS 18268 HAS SOUPS 17864 WITH SCORE 17992.143
AT ITER 1568 NEW BEST:: SOT 181589 SOS 128095 HAS SOPS 67942 HAS SOUS 18220 HAS SOUPS 17816 WITH SCORE 17944.095
AT ITER 1588 NEW BEST:: SOT 181557 SOS 127966 HAS SOPS 67813 HAS SOUS 18132 HAS SOUPS 17728 WITH SCORE 17855.966
AT ITER 1595 NEW BEST:: SOT 181559 SOS 127962 HAS SOPS 67811 HAS SOUS 18130 HAS SOUPS 17726 WITH SCORE 17853.962
AT ITER 1596 NEW BEST:: SOT 181559 SOS 127972 HAS SOPS 67816 HAS SOUS 18125 HAS SOUPS 17721 WITH SCORE 17848.972
AT ITER 1606 NEW BEST:: SOT 181553 SOS 127960 HAS SOPS 67804 HAS SOUS 18121 HAS SOUPS 17717 WITH SCORE 17844.96
AT ITER 1623 NEW BEST:: SOT 181541 SOS 127940 HAS SOPS 67780 HAS SOUS 18097 HAS SOUPS 17693 WITH SCORE 17820.94
AT ITER 1627 NEW BEST:: SOT 181541 SOS 127882 HAS SOPS 67780 HAS SOUS 18097 HAS SOUPS 17693 WITH SCORE 17820.882
AT ITER 1631 NEW BEST:: SOT 181531 SOS 127872 HAS SOPS 67760 HAS SOUS 18077 HAS SOUPS 17673 WITH SCORE 17800.872
AT ITER 1634 NEW BEST:: SOT 181449 SOS 127779 HAS SOPS 67596 HAS SOUS 17888 HAS SOUPS 17484 WITH SCORE 17611.779
AT ITER 1652 NEW BEST:: SOT 181424 SOS 127722 HAS SOPS 67530 HAS SOUS 17838 HAS SOUPS 17434 WITH SCORE 17561.722
AT ITER 1657 NEW BEST:: SOT 181417 SOS 127708 HAS SOPS 67516 HAS SOUS 17831 HAS SOUPS 17427 WITH SCORE 17554.708
AT ITER 1663 NEW BEST:: SOT 181386 SOS 127692 HAS SOPS 67454 HAS SOUS 17806 HAS SOUPS 17402 WITH SCORE 17529.692
AT ITER 1675 NEW BEST:: SOT 181386 SOS 127688 HAS SOPS 67452 HAS SOUS 17806 HAS SOUPS 17402 WITH SCORE 17529.688
AT ITER 1723 NEW BEST:: SOT 181343 SOS 127614 HAS SOPS 67366 HAS SOUS 17751 HAS SOUPS 17347 WITH SCORE 17474.614
AT ITER 1733 NEW BEST:: SOT 181315 SOS 127651 HAS SOPS 67310 HAS SOUS 17695 HAS SOUPS 17291 WITH SCORE 17418.651
AT ITER 1750 NEW BEST:: SOT 181308 SOS 127651 HAS SOPS 67303 HAS SOUS 17688 HAS SOUPS 17284 WITH SCORE 17411.651
AT ITER 1756 NEW BEST:: SOT 181276 SOS 127587 HAS SOPS 67239 HAS SOUS 17624 HAS SOUPS 17220 WITH SCORE 17347.587
AT ITER 1767 NEW BEST:: SOT 181212 SOS 127528 HAS SOPS 67171 HAS SOUS 17585 HAS SOUPS 17181 WITH SCORE 17308.528
AT ITER 1773 NEW BEST:: SOT 181187 SOS 127482 HAS SOPS 67116 HAS SOUS 17539 HAS SOUPS 17135 WITH SCORE 17262.482
AT ITER 1789 NEW BEST:: SOT 181175 SOS 127458 HAS SOPS 67086 HAS SOUS 17515 HAS SOUPS 17111 WITH SCORE 17238.458
AT ITER 1798 NEW BEST:: SOT 181155 SOS 127428 HAS SOPS 67046 HAS SOUS 17485 HAS SOUPS 17081 WITH SCORE 17208.428
AT ITER 1805 NEW BEST:: SOT 181159 SOS 127418 HAS SOPS 67054 HAS SOUS 17479 HAS SOUPS 17075 WITH SCORE 17202.418
AT ITER 1828 NEW BEST:: SOT 181159 SOS 127425 HAS SOPS 67054 HAS SOUS 17472 HAS SOUPS 17068 WITH SCORE 17195.425
AT ITER 1863 NEW BEST:: SOT 181155 SOS 127418 HAS SOPS 67046 HAS SOUS 17467 HAS SOUPS 17063 WITH SCORE 17190.418
AT ITER 1888 NEW BEST:: SOT 181150 SOS 127411 HAS SOPS 67036 HAS SOUS 17456 HAS SOUPS 17052 WITH SCORE 17179.411
AT ITER 1893 NEW BEST:: SOT 181060 SOS 127230 HAS SOPS 66785 HAS SOUS 17226 HAS SOUPS 16822 WITH SCORE 16949.23
AT ITER 1906 NEW BEST:: SOT 181004 SOS 127163 HAS SOPS 66605 HAS SOUS 17144 HAS SOUPS 16740 WITH SCORE 16867.163
AT ITER 1915 NEW BEST:: SOT 180995 SOS 127151 HAS SOPS 66587 HAS SOUS 17126 HAS SOUPS 16722 WITH SCORE 16849.151
AT ITER 1930 NEW BEST:: SOT 180952 SOS 127065 HAS SOPS 66501 HAS SOUS 17112 HAS SOUPS 16708 WITH SCORE 16835.065
AT ITER 1931 NEW BEST:: SOT 180957 SOS 127070 HAS SOPS 66511 HAS SOUS 17106 HAS SOUPS 16702 WITH SCORE 16829.07
AT ITER 1941 NEW BEST:: SOT 180955 SOS 127066 HAS SOPS 66505 HAS SOUS 17100 HAS SOUPS 16696 WITH SCORE 16823.066
AT ITER 1944 NEW BEST:: SOT 180893 SOS 127035 HAS SOPS 66443 HAS SOUS 17038 HAS SOUPS 16634 WITH SCORE 16761.035
AT ITER 1945 NEW BEST:: SOT 180902 SOS 127017 HAS SOPS 66420 HAS SOUS 17026 HAS SOUPS 16622 WITH SCORE 16749.017
AT ITER 1946 NEW BEST:: SOT 181181 SOS 127287 HAS SOPS 66380 HAS SOUS 16992 HAS SOUPS 16588 WITH SCORE 16715.287
AT ITER 1952 NEW BEST:: SOT 181180 SOS 127285 HAS SOPS 66378 HAS SOUS 16983 HAS SOUPS 16579 WITH SCORE 16706.285
AT ITER 1955 NEW BEST:: SOT 181641 SOS 127752 HAS SOPS 65798 HAS SOUS 16884 HAS SOUPS 16480 WITH SCORE 16607.752
AT ITER 1967 NEW BEST:: SOT 181610 SOS 142050 HAS SOPS 65726 HAS SOUS 16867 HAS SOUPS 16442 WITH SCORE 16584.05
AT ITER 1976 NEW BEST:: SOT 181608 SOS 142040 HAS SOPS 65708 HAS SOUS 16843 HAS SOUPS 16418 WITH SCORE 16560.04
AT ITER 1987 NEW BEST:: SOT 181524 SOS 141890 HAS SOPS 65540 HAS SOUS 16700 HAS SOUPS 16275 WITH SCORE 16416.89
AT ITER 2006 NEW BEST:: SOT 181605 SOS 141956 HAS SOPS 65567 HAS SOUS 16685 HAS SOUPS 16260 WITH SCORE 16401.956
AT ITER 2027 NEW BEST:: SOT 181510 SOS 141926 HAS SOPS 65556 HAS SOUS 16655 HAS SOUPS 16230 WITH SCORE 16371.926
AT ITER 2051 NEW BEST:: SOT 181513 SOS 141932 HAS SOPS 65562 HAS SOUS 16634 HAS SOUPS 16209 WITH SCORE 16350.932
AT ITER 2068 NEW BEST:: SOT 181493 SOS 141914 HAS SOPS 65531 HAS SOUS 16610 HAS SOUPS 16185 WITH SCORE 16326.914
AT ITER 2072 NEW BEST:: SOT 181488 SOS 141885 HAS SOPS 65509 HAS SOUS 16600 HAS SOUPS 16175 WITH SCORE 16316.885
AT ITER 2076 NEW BEST:: SOT 181471 SOS 141879 HAS SOPS 65486 HAS SOUS 16577 HAS SOUPS 16152 WITH SCORE 16293.879
AT ITER 2106 NEW BEST:: SOT 181453 SOS 141843 HAS SOPS 65432 HAS SOUS 16523 HAS SOUPS 16098 WITH SCORE 16239.843
AT ITER 2119 NEW BEST:: SOT 181481 SOS 141826 HAS SOPS 65427 HAS SOUS 16518 HAS SOUPS 16093 WITH SCORE 16234.826
AT ITER 2135 NEW BEST:: SOT 181472 SOS 141808 HAS SOPS 65400 HAS SOUS 16500 HAS SOUPS 16075 WITH SCORE 16216.808
AT ITER 2139 NEW BEST:: SOT 181435 SOS 141697 HAS SOPS 65286 HAS SOUS 16426 HAS SOUPS 16001 WITH SCORE 16142.697
AT ITER 2147 NEW BEST:: SOT 181397 SOS 141659 HAS SOPS 65210 HAS SOUS 16366 HAS SOUPS 15925 WITH SCORE 16066.659
AT ITER 2203 NEW BEST:: SOT 181408 SOS 141701 HAS SOPS 65232 HAS SOUS 16364 HAS SOUPS 15923 WITH SCORE 16064.701
AT ITER 2208 NEW BEST:: SOT 181341 SOS 141634 HAS SOPS 65098 HAS SOUS 16230 HAS SOUPS 15789 WITH SCORE 15930.634
AT ITER 2281 NEW BEST:: SOT 181327 SOS 141603 HAS SOPS 65067 HAS SOUS 16201 HAS SOUPS 15760 WITH SCORE 15901.603
AT ITER 2288 NEW BEST:: SOT 180820 SOS 141120 HAS SOPS 64584 HAS SOUS 15967 HAS SOUPS 15526 WITH SCORE 15667.12
AT ITER 2292 NEW BEST:: SOT 180883 SOS 141172 HAS SOPS 64632 HAS SOUS 15959 HAS SOUPS 15518 WITH SCORE 15659.172
AT ITER 2298 NEW BEST:: SOT 180850 SOS 141165 HAS SOPS 64566 HAS SOUS 15893 HAS SOUPS 15452 WITH SCORE 15593.165
AT ITER 2319 NEW BEST:: SOT 180849 SOS 141164 HAS SOPS 64564 HAS SOUS 15891 HAS SOUPS 15450 WITH SCORE 15591.164
AT ITER 2367 NEW BEST:: SOT 180849 SOS 141164 HAS SOPS 64563 HAS SOUS 15890 HAS SOUPS 15449 WITH SCORE 15590.164
AT ITER 2369 NEW BEST:: SOT 180831 SOS 141155 HAS SOPS 64554 HAS SOUS 15890 HAS SOUPS 15449 WITH SCORE 15590.155
AT ITER 2381 NEW BEST:: SOT 180804 SOS 141109 HAS SOPS 64500 HAS SOUS 15856 HAS SOUPS 15415 WITH SCORE 15556.109
AT ITER 2392 NEW BEST:: SOT 180917 SOS 141156 HAS SOPS 64581 HAS SOUS 15823 HAS SOUPS 15382 WITH SCORE 15523.156
AT ITER 2399 NEW BEST:: SOT 180904 SOS 141092 HAS SOPS 64501 HAS SOUS 15740 HAS SOUPS 15299 WITH SCORE 15440.092
AT ITER 2404 NEW BEST:: SOT 180904 SOS 141085 HAS SOPS 64495 HAS SOUS 15672 HAS SOUPS 15231 WITH SCORE 15372.085
AT ITER 2410 NEW BEST:: SOT 180916 SOS 141109 HAS SOPS 64195 HAS SOUS 15396 HAS SOUPS 14955 WITH SCORE 15096.109
AT ITER 2425 NEW BEST:: SOT 180916 SOS 141109 HAS SOPS 64179 HAS SOUS 15326 HAS SOUPS 14885 WITH SCORE 15026.109
AT ITER 2432 NEW BEST:: SOT 180873 SOS 141066 HAS SOPS 64114 HAS SOUS 15279 HAS SOUPS 14838 WITH SCORE 14979.066
AT ITER 2448 NEW BEST:: SOT 180858 SOS 141055 HAS SOPS 64097 HAS SOUS 15260 HAS SOUPS 14819 WITH SCORE 14960.055
AT ITER 2479 NEW BEST:: SOT 180857 SOS 141064 HAS SOPS 64067 HAS SOUS 15230 HAS SOUPS 14789 WITH SCORE 14930.064
AT ITER 2554 NEW BEST:: SOT 180815 SOS 140980 HAS SOPS 63983 HAS SOUS 15165 HAS SOUPS 14724 WITH SCORE 14864.98
AT ITER 2574 NEW BEST:: SOT 180813 SOS 140945 HAS SOPS 63947 HAS SOUS 15129 HAS SOUPS 14688 WITH SCORE 14828.945
AT ITER 2613 NEW BEST:: SOT 180799 SOS 140945 HAS SOPS 63933 HAS SOUS 15115 HAS SOUPS 14674 WITH SCORE 14814.945
AT ITER 2655 NEW BEST:: SOT 180799 SOS 140945 HAS SOPS 63925 HAS SOUS 15099 HAS SOUPS 14658 WITH SCORE 14798.945
AT ITER 2679 NEW BEST:: SOT 180796 SOS 140936 HAS SOPS 63919 HAS SOUS 15099 HAS SOUPS 14658 WITH SCORE 14798.936
AT ITER 2681 NEW BEST:: SOT 180780 SOS 140885 HAS SOPS 63887 HAS SOUS 15087 HAS SOUPS 14646 WITH SCORE 14786.885
AT ITER 2685 NEW BEST:: SOT 180800 SOS 140865 HAS SOPS 63887 HAS SOUS 15087 HAS SOUPS 14646 WITH SCORE 14786.865
AT ITER 2702 NEW BEST:: SOT 180800 SOS 140865 HAS SOPS 63881 HAS SOUS 15083 HAS SOUPS 14640 WITH SCORE 14780.865
AT ITER 2715 NEW BEST:: SOT 180818 SOS 140852 HAS SOPS 63877 HAS SOUS 15079 HAS SOUPS 14636 WITH SCORE 14776.852
AT ITER 2781 NEW BEST:: SOT 180807 SOS 152475 HAS SOPS 63815 HAS SOUS 15082 HAS SOUPS 14622 WITH SCORE 14774.475
AT ITER 2795 NEW BEST:: SOT 180760 SOS 152393 HAS SOPS 63733 HAS SOUS 15023 HAS SOUPS 14563 WITH SCORE 14715.393
AT ITER 2803 NEW BEST:: SOT 180712 SOS 152370 HAS SOPS 63701 HAS SOUS 14995 HAS SOUPS 14535 WITH SCORE 14687.37
AT ITER 2807 NEW BEST:: SOT 180722 SOS 152371 HAS SOPS 63661 HAS SOUS 14927 HAS SOUPS 14467 WITH SCORE 14619.371
AT ITER 2819 NEW BEST:: SOT 180426 SOS 152090 HAS SOPS 63503 HAS SOUS 14914 HAS SOUPS 14454 WITH SCORE 14606.09
AT ITER 2858 NEW BEST:: SOT 180424 SOS 152663 HAS SOPS 63492 HAS SOUS 14912 HAS SOUPS 14446 WITH SCORE 14598.663
AT ITER 2860 NEW BEST:: SOT 180470 SOS 152626 HAS SOPS 63392 HAS SOUS 14812 HAS SOUPS 14346 WITH SCORE 14498.626
AT ITER 2913 NEW BEST:: SOT 180442 SOS 152584 HAS SOPS 63336 HAS SOUS 14770 HAS SOUPS 14304 WITH SCORE 14456.584
AT ITER 2920 NEW BEST:: SOT 180409 SOS 152530 HAS SOPS 63270 HAS SOUS 14716 HAS SOUPS 14250 WITH SCORE 14402.53
AT ITER 2938 NEW BEST:: SOT 180409 SOS 152513 HAS SOPS 63253 HAS SOUS 14699 HAS SOUPS 14233 WITH SCORE 14385.513
AT ITER 2952 NEW BEST:: SOT 180407 SOS 152511 HAS SOPS 63249 HAS SOUS 14695 HAS SOUPS 14229 WITH SCORE 14381.511
AT ITER 2963 NEW BEST:: SOT 180401 SOS 152487 HAS SOPS 63222 HAS SOUS 14659 HAS SOUPS 14193 WITH SCORE 14345.487
AT ITER 2967 NEW BEST:: SOT 180389 SOS 152475 HAS SOPS 63210 HAS SOUS 14659 HAS SOUPS 14193 WITH SCORE 14345.475
AT ITER 2976 NEW BEST:: SOT 180389 SOS 152471 HAS SOPS 63206 HAS SOUS 14659 HAS SOUPS 14193 WITH SCORE 14345.471
AT ITER 2982 NEW BEST:: SOT 180383 SOS 152462 HAS SOPS 63194 HAS SOUS 14647 HAS SOUPS 14181 WITH SCORE 14333.462
AT ITER 2998 NEW BEST:: SOT 180357 SOS 152390 HAS SOPS 63122 HAS SOUS 14598 HAS SOUPS 14132 WITH SCORE 14284.39
AT ITER 3054 NEW BEST:: SOT 180357 SOS 152370 HAS SOPS 63102 HAS SOUS 14598 HAS SOUPS 14132 WITH SCORE 14284.37
AT ITER 3059 NEW BEST:: SOT 180326 SOS 152308 HAS SOPS 63040 HAS SOUS 14598 HAS SOUPS 14132 WITH SCORE 14284.308
AT ITER 3070 NEW BEST:: SOT 180273 SOS 152226 HAS SOPS 62974 HAS SOUS 14532 HAS SOUPS 14066 WITH SCORE 14218.226
AT ITER 3083 NEW BEST:: SOT 180284 SOS 152237 HAS SOPS 62960 HAS SOUS 14518 HAS SOUPS 14052 WITH SCORE 14204.237
AT ITER 3084 NEW BEST:: SOT 180265 SOS 152196 HAS SOPS 62922 HAS SOUS 14492 HAS SOUPS 14026 WITH SCORE 14178.196
AT ITER 3086 NEW BEST:: SOT 180268 SOS 152202 HAS SOPS 62928 HAS SOUS 14489 HAS SOUPS 14023 WITH SCORE 14175.202
AT ITER 3186 NEW BEST:: SOT 180262 SOS 152190 HAS SOPS 62916 HAS SOUS 14480 HAS SOUPS 14014 WITH SCORE 14166.19
AT ITER 3221 NEW BEST:: SOT 180244 SOS 152172 HAS SOPS 62880 HAS SOUS 14445 HAS SOUPS 13978 WITH SCORE 14130.172
AT ITER 3228 NEW BEST:: SOT 180215 SOS 152081 HAS SOPS 62822 HAS SOUS 14387 HAS SOUPS 13920 WITH SCORE 14072.081
AT ITER 3251 NEW BEST:: SOT 180188 SOS 152027 HAS SOPS 62759 HAS SOUS 14333 HAS SOUPS 13866 WITH SCORE 14018.027
AT ITER 3296 NEW BEST:: SOT 180170 SOS 152009 HAS SOPS 62741 HAS SOUS 14315 HAS SOUPS 13848 WITH SCORE 14000.009
AT ITER 3343 NEW BEST:: SOT 180179 SOS 152007 HAS SOPS 62739 HAS SOUS 14313 HAS SOUPS 13846 WITH SCORE 13998.007
AT ITER 3358 NEW BEST:: SOT 180182 SOS 152006 HAS SOPS 62737 HAS SOUS 14307 HAS SOUPS 13840 WITH SCORE 13992.006
AT ITER 3361 NEW BEST:: SOT 180176 SOS 152000 HAS SOPS 62731 HAS SOUS 14298 HAS SOUPS 13831 WITH SCORE 13983.0
AT ITER 3373 NEW BEST:: SOT 180245 SOS 151991 HAS SOPS 62794 HAS SOUS 14292 HAS SOUPS 13825 WITH SCORE 13976.991
AT ITER 3385 NEW BEST:: SOT 180232 SOS 151928 HAS SOPS 62724 HAS SOUS 14223 HAS SOUPS 13756 WITH SCORE 13907.928
AT ITER 3386 NEW BEST:: SOT 180230 SOS 151926 HAS SOPS 62695 HAS SOUS 14187 HAS SOUPS 13720 WITH SCORE 13871.926
AT ITER 3407 NEW BEST:: SOT 180215 SOS 151896 HAS SOPS 62665 HAS SOUS 14158 HAS SOUPS 13691 WITH SCORE 13842.896
AT ITER 3408 NEW BEST:: SOT 180218 SOS 151887 HAS SOPS 62662 HAS SOUS 14152 HAS SOUPS 13685 WITH SCORE 13836.887
AT ITER 3414 NEW BEST:: SOT 180209 SOS 151869 HAS SOPS 62635 HAS SOUS 14134 HAS SOUPS 13667 WITH SCORE 13818.869
AT ITER 3415 NEW BEST:: SOT 180207 SOS 151865 HAS SOPS 62631 HAS SOUS 14132 HAS SOUPS 13665 WITH SCORE 13816.865
AT ITER 3426 NEW BEST:: SOT 180212 SOS 151860 HAS SOPS 62631 HAS SOUS 14122 HAS SOUPS 13655 WITH SCORE 13806.86
AT ITER 3437 NEW BEST:: SOT 180210 SOS 151857 HAS SOPS 62627 HAS SOUS 14118 HAS SOUPS 13651 WITH SCORE 13802.857
AT ITER 3447 NEW BEST:: SOT 180210 SOS 151852 HAS SOPS 62627 HAS SOUS 14118 HAS SOUPS 13651 WITH SCORE 13802.852
AT ITER 3470 NEW BEST:: SOT 180200 SOS 151842 HAS SOPS 62607 HAS SOUS 14098 HAS SOUPS 13631 WITH SCORE 13782.842
AT ITER 3471 NEW BEST:: SOT 180191 SOS 151830 HAS SOPS 62592 HAS SOUS 14089 HAS SOUPS 13622 WITH SCORE 13773.83
AT ITER 3473 NEW BEST:: SOT 180188 SOS 151811 HAS SOPS 62586 HAS SOUS 14076 HAS SOUPS 13609 WITH SCORE 13760.811
AT ITER 3501 NEW BEST:: SOT 180190 SOS 151801 HAS SOPS 62576 HAS SOUS 14066 HAS SOUPS 13599 WITH SCORE 13750.801
AT ITER 3532 NEW BEST:: SOT 180190 SOS 151791 HAS SOPS 62576 HAS SOUS 14066 HAS SOUPS 13599 WITH SCORE 13750.791
AT ITER 3542 NEW BEST:: SOT 180188 SOS 151789 HAS SOPS 62573 HAS SOUS 14063 HAS SOUPS 13596 WITH SCORE 13747.789
AT ITER 3553 NEW BEST:: SOT 180183 SOS 151794 HAS SOPS 62563 HAS SOUS 14053 HAS SOUPS 13586 WITH SCORE 13737.794
AT ITER 3561 NEW BEST:: SOT 180180 SOS 151794 HAS SOPS 62560 HAS SOUS 14050 HAS SOUPS 13583 WITH SCORE 13734.794
AT ITER 3601 NEW BEST:: SOT 180178 SOS 151790 HAS SOPS 62520 HAS SOUS 13947 HAS SOUPS 13480 WITH SCORE 13631.79
AT ITER 3662 NEW BEST:: SOT 180177 SOS 151789 HAS SOPS 62519 HAS SOUS 13946 HAS SOUPS 13479 WITH SCORE 13630.789
AT ITER 3690 NEW BEST:: SOT 180171 SOS 151745 HAS SOPS 62475 HAS SOUS 13908 HAS SOUPS 13441 WITH SCORE 13592.745
AT ITER 3691 NEW BEST:: SOT 180185 SOS 151759 HAS SOPS 62489 HAS SOUS 13898 HAS SOUPS 13431 WITH SCORE 13582.759
AT ITER 3715 NEW BEST:: SOT 180185 SOS 151753 HAS SOPS 62483 HAS SOUS 13886 HAS SOUPS 13419 WITH SCORE 13570.753
AT ITER 3780 NEW BEST:: SOT 180153 SOS 151726 HAS SOPS 62452 HAS SOUS 13859 HAS SOUPS 13392 WITH SCORE 13543.726
AT ITER 3851 NEW BEST:: SOT 180137 SOS 151730 HAS SOPS 62438 HAS SOUS 13845 HAS SOUPS 13378 WITH SCORE 13529.73
AT ITER 3859 NEW BEST:: SOT 180123 SOS 151716 HAS SOPS 62410 HAS SOUS 13817 HAS SOUPS 13350 WITH SCORE 13501.716
AT ITER 3873 NEW BEST:: SOT 180040 SOS 151556 HAS SOPS 62244 HAS SOUS 13706 HAS SOUPS 13239 WITH SCORE 13390.556
AT ITER 3877 NEW BEST:: SOT 180038 SOS 151548 HAS SOPS 62236 HAS SOUS 13700 HAS SOUPS 13233 WITH SCORE 13384.548
AT ITER 3907 NEW BEST:: SOT 180033 SOS 151543 HAS SOPS 62226 HAS SOUS 13690 HAS SOUPS 13223 WITH SCORE 13374.543
AT ITER 3929 NEW BEST:: SOT 180033 SOS 151543 HAS SOPS 61960 HAS SOUS 13598 HAS SOUPS 13131 WITH SCORE 13282.543
AT ITER 3944 NEW BEST:: SOT 180033 SOS 151543 HAS SOPS 61950 HAS SOUS 13588 HAS SOUPS 13121 WITH SCORE 13272.543
AT ITER 3952 NEW BEST:: SOT 180074 SOS 151583 HAS SOPS 61956 HAS SOUS 13583 HAS SOUPS 13116 WITH SCORE 13267.583
AT ITER 3953 NEW BEST:: SOT 180068 SOS 151571 HAS SOPS 61944 HAS SOUS 13574 HAS SOUPS 13107 WITH SCORE 13258.571
AT ITER 3976 NEW BEST:: SOT 180062 SOS 151559 HAS SOPS 61932 HAS SOUS 13562 HAS SOUPS 13095 WITH SCORE 13246.559
AT ITER 4001 NEW BEST:: SOT 180057 SOS 151552 HAS SOPS 61922 HAS SOUS 13549 HAS SOUPS 13082 WITH SCORE 13233.552
AT ITER 4017 NEW BEST:: SOT 180064 SOS 151539 HAS SOPS 61912 HAS SOUS 13537 HAS SOUPS 13070 WITH SCORE 13221.539
AT ITER 4118 NEW BEST:: SOT 180146 SOS 151617 HAS SOPS 61872 HAS SOUS 13473 HAS SOUPS 13006 WITH SCORE 13157.617
AT ITER 4149 NEW BEST:: SOT 180134 SOS 151601 HAS SOPS 61852 HAS SOUS 13461 HAS SOUPS 12994 WITH SCORE 13145.601
AT ITER 4154 NEW BEST:: SOT 180130 SOS 151593 HAS SOPS 61844 HAS SOUS 13453 HAS SOUPS 12986 WITH SCORE 13137.593
AT ITER 4159 NEW BEST:: SOT 180129 SOS 151590 HAS SOPS 61829 HAS SOUS 13418 HAS SOUPS 12951 WITH SCORE 13102.59
AT ITER 4167 NEW BEST:: SOT 180134 SOS 151590 HAS SOPS 61654 HAS SOUS 13318 HAS SOUPS 12851 WITH SCORE 13002.59
AT ITER 4175 NEW BEST:: SOT 180140 SOS 151553 HAS SOPS 61617 HAS SOUS 13308 HAS SOUPS 12841 WITH SCORE 12992.553
AT ITER 4185 NEW BEST:: SOT 180128 SOS 151553 HAS SOPS 61605 HAS SOUS 13296 HAS SOUPS 12829 WITH SCORE 12980.553
AT ITER 4186 NEW BEST:: SOT 180122 SOS 151547 HAS SOPS 61599 HAS SOUS 13296 HAS SOUPS 12829 WITH SCORE 12980.547
AT ITER 4207 NEW BEST:: SOT 180110 SOS 151473 HAS SOPS 61544 HAS SOUS 13272 HAS SOUPS 12805 WITH SCORE 12956.473
AT ITER 4220 NEW BEST:: SOT 180091 SOS 151499 HAS SOPS 61506 HAS SOUS 13234 HAS SOUPS 12767 WITH SCORE 12918.499
AT ITER 4234 NEW BEST:: SOT 180080 SOS 151488 HAS SOPS 61505 HAS SOUS 13233 HAS SOUPS 12766 WITH SCORE 12917.488
AT ITER 4278 NEW BEST:: SOT 179933 SOS 151339 HAS SOPS 61356 HAS SOUS 13156 HAS SOUPS 12689 WITH SCORE 12840.339
AT ITER 4303 NEW BEST:: SOT 179928 SOS 151329 HAS SOPS 61346 HAS SOUS 13146 HAS SOUPS 12679 WITH SCORE 12830.329
AT ITER 4311 NEW BEST:: SOT 179919 SOS 151316 HAS SOPS 61328 HAS SOUS 13133 HAS SOUPS 12666 WITH SCORE 12817.316
AT ITER 4314 NEW BEST:: SOT 179924 SOS 151363 HAS SOPS 61338 HAS SOUS 13109 HAS SOUPS 12642 WITH SCORE 12793.363
AT ITER 4324 NEW BEST:: SOT 179916 SOS 151344 HAS SOPS 61315 HAS SOUS 13086 HAS SOUPS 12619 WITH SCORE 12770.344
AT ITER 4342 NEW BEST:: SOT 179906 SOS 151334 HAS SOPS 61305 HAS SOUS 13076 HAS SOUPS 12609 WITH SCORE 12760.334
AT ITER 4364 NEW BEST:: SOT 179885 SOS 151299 HAS SOPS 61263 HAS SOUS 13041 HAS SOUPS 12574 WITH SCORE 12725.299
AT ITER 4371 NEW BEST:: SOT 179885 SOS 151299 HAS SOPS 61263 HAS SOUS 13034 HAS SOUPS 12567 WITH SCORE 12718.299
AT ITER 4372 NEW BEST:: SOT 179887 SOS 151281 HAS SOPS 61253 HAS SOUS 13030 HAS SOUPS 12563 WITH SCORE 12714.281
AT ITER 4382 NEW BEST:: SOT 179876 SOS 151288 HAS SOPS 61249 HAS SOUS 13026 HAS SOUPS 12559 WITH SCORE 12710.288
AT ITER 4441 NEW BEST:: SOT 179876 SOS 151287 HAS SOPS 61248 HAS SOUS 13024 HAS SOUPS 12557 WITH SCORE 12708.287
AT ITER 4486 NEW BEST:: SOT 179867 SOS 151269 HAS SOPS 61230 HAS SOUS 12997 HAS SOUPS 12530 WITH SCORE 12681.269
AT ITER 4517 NEW BEST:: SOT 179894 SOS 151232 HAS SOPS 61220 HAS SOUS 12987 HAS SOUPS 12520 WITH SCORE 12671.232
AT ITER 4523 NEW BEST:: SOT 179489 SOS 150813 HAS SOPS 61460 HAS SOUS 12961 HAS SOUPS 12494 WITH SCORE 12644.813
AT ITER 4566 NEW BEST:: SOT 179440 SOS 150741 HAS SOPS 61388 HAS SOUS 12888 HAS SOUPS 12421 WITH SCORE 12571.741
AT ITER 4576 NEW BEST:: SOT 179440 SOS 150731 HAS SOPS 61378 HAS SOUS 12878 HAS SOUPS 12411 WITH SCORE 12561.731
AT ITER 4595 NEW BEST:: SOT 179445 SOS 150728 HAS SOPS 61377 HAS SOUS 12876 HAS SOUPS 12409 WITH SCORE 12559.728
AT ITER 4604 NEW BEST:: SOT 179253 SOS 150540 HAS SOPS 61189 HAS SOUS 12792 HAS SOUPS 12325 WITH SCORE 12475.54
AT ITER 4656 NEW BEST:: SOT 179250 SOS 150537 HAS SOPS 61183 HAS SOUS 12786 HAS SOUPS 12319 WITH SCORE 12469.537
AT ITER 4657 NEW BEST:: SOT 179236 SOS 150516 HAS SOPS 61155 HAS SOUS 12765 HAS SOUPS 12298 WITH SCORE 12448.516
AT ITER 4682 NEW BEST:: SOT 179245 SOS 150439 HAS SOPS 61087 HAS SOUS 12697 HAS SOUPS 12230 WITH SCORE 12380.439
AT ITER 4701 NEW BEST:: SOT 179243 SOS 150437 HAS SOPS 61083 HAS SOUS 12693 HAS SOUPS 12226 WITH SCORE 12376.437
AT ITER 4708 NEW BEST:: SOT 179250 SOS 150422 HAS SOPS 61075 HAS SOUS 12685 HAS SOUPS 12218 WITH SCORE 12368.422
AT ITER 4731 NEW BEST:: SOT 179250 SOS 150410 HAS SOPS 61063 HAS SOUS 12673 HAS SOUPS 12206 WITH SCORE 12356.41
AT ITER 4742 NEW BEST:: SOT 179179 SOS 150336 HAS SOPS 60987 HAS SOUS 12630 HAS SOUPS 12163 WITH SCORE 12313.336
AT ITER 4748 NEW BEST:: SOT 179169 SOS 150326 HAS SOPS 60977 HAS SOUS 12630 HAS SOUPS 12163 WITH SCORE 12313.326
AT ITER 4768 NEW BEST:: SOT 179198 SOS 150308 HAS SOPS 60935 HAS SOUS 12588 HAS SOUPS 12121 WITH SCORE 12271.308
AT ITER 4776 NEW BEST:: SOT 179188 SOS 150286 HAS SOPS 60915 HAS SOUS 12571 HAS SOUPS 12104 WITH SCORE 12254.286
AT ITER 4787 NEW BEST:: SOT 179188 SOS 150168 HAS SOPS 60843 HAS SOUS 12555 HAS SOUPS 12088 WITH SCORE 12238.168
AT ITER 4794 NEW BEST:: SOT 179186 SOS 150153 HAS SOPS 60814 HAS SOUS 12515 HAS SOUPS 12048 WITH SCORE 12198.153
AT ITER 4795 NEW BEST:: SOT 179178 SOS 150137 HAS SOPS 60798 HAS SOUS 12507 HAS SOUPS 12040 WITH SCORE 12190.137
AT ITER 4799 NEW BEST:: SOT 179164 SOS 150116 HAS SOPS 60770 HAS SOUS 12490 HAS SOUPS 12023 WITH SCORE 12173.116
AT ITER 4823 NEW BEST:: SOT 179158 SOS 150104 HAS SOPS 60752 HAS SOUS 12472 HAS SOUPS 12005 WITH SCORE 12155.104
AT ITER 4825 NEW BEST:: SOT 179158 SOS 150103 HAS SOPS 60751 HAS SOUS 12471 HAS SOUPS 12004 WITH SCORE 12154.103
AT ITER 4858 NEW BEST:: SOT 179211 SOS 150156 HAS SOPS 60717 HAS SOUS 12437 HAS SOUPS 11970 WITH SCORE 12120.156
AT ITER 4885 NEW BEST:: SOT 179182 SOS 150140 HAS SOPS 60679 HAS SOUS 12399 HAS SOUPS 11932 WITH SCORE 12082.14
AT ITER 4920 NEW BEST:: SOT 179174 SOS 150123 HAS SOPS 60656 HAS SOUS 12378 HAS SOUPS 11911 WITH SCORE 12061.123
AT ITER 4999 NEW BEST:: SOT 179159 SOS 150113 HAS SOPS 60626 HAS SOUS 12358 HAS SOUPS 11891 WITH SCORE 12041.113
AT ITER 5000 NEW BEST:: SOT 179148 SOS 150082 HAS SOPS 60584 HAS SOUS 12316 HAS SOUPS 11849 WITH SCORE 11999.082
AT ITER 5012 NEW BEST:: SOT 179126 SOS 150139 HAS SOPS 60597 HAS SOUS 12307 HAS SOUPS 11840 WITH SCORE 11990.139
AT ITER 5063 NEW BEST:: SOT 179116 SOS 150124 HAS SOPS 60577 HAS SOUS 12292 HAS SOUPS 11825 WITH SCORE 11975.124
AT ITER 5069 NEW BEST:: SOT 179099 SOS 150098 HAS SOPS 60543 HAS SOUS 12264 HAS SOUPS 11797 WITH SCORE 11947.098
AT ITER 5103 NEW BEST:: SOT 179091 SOS 150076 HAS SOPS 60520 HAS SOUS 12248 HAS SOUPS 11781 WITH SCORE 11931.076
AT ITER 5126 NEW BEST:: SOT 179083 SOS 150068 HAS SOPS 60504 HAS SOUS 12232 HAS SOUPS 11765 WITH SCORE 11915.068
AT ITER 5168 NEW BEST:: SOT 179084 SOS 150024 HAS SOPS 60474 HAS SOUS 12215 HAS SOUPS 11748 WITH SCORE 11898.024
AT ITER 5174 NEW BEST:: SOT 179078 SOS 150018 HAS SOPS 60468 HAS SOUS 12209 HAS SOUPS 11742 WITH SCORE 11892.018
AT ITER 5187 NEW BEST:: SOT 179078 SOS 150007 HAS SOPS 60457 HAS SOUS 12198 HAS SOUPS 11731 WITH SCORE 11881.007
AT ITER 5217 NEW BEST:: SOT 178953 SOS 149891 HAS SOPS 60332 HAS SOUS 12071 HAS SOUPS 11604 WITH SCORE 11753.891
AT ITER 5247 NEW BEST:: SOT 178957 SOS 149902 HAS SOPS 60340 HAS SOUS 12067 HAS SOUPS 11600 WITH SCORE 11749.902
AT ITER 5314 NEW BEST:: SOT 178956 SOS 149908 HAS SOPS 60338 HAS SOUS 12066 HAS SOUPS 11599 WITH SCORE 11748.908
AT ITER 5343 NEW BEST:: SOT 178950 SOS 149850 HAS SOPS 60299 HAS SOUS 12050 HAS SOUPS 11583 WITH SCORE 11732.85
AT ITER 5346 NEW BEST:: SOT 179017 SOS 149921 HAS SOPS 60354 HAS SOUS 12017 HAS SOUPS 11550 WITH SCORE 11699.921
AT ITER 5398 NEW BEST:: SOT 179013 SOS 149921 HAS SOPS 60350 HAS SOUS 12013 HAS SOUPS 11546 WITH SCORE 11695.921
AT ITER 5404 NEW BEST:: SOT 179013 SOS 149921 HAS SOPS 60350 HAS SOUS 12002 HAS SOUPS 11535 WITH SCORE 11684.921
AT ITER 5442 NEW BEST:: SOT 179013 SOS 149915 HAS SOPS 60350 HAS SOUS 12002 HAS SOUPS 11535 WITH SCORE 11684.915
AT ITER 5462 NEW BEST:: SOT 179017 SOS 149911 HAS SOPS 60350 HAS SOUS 11998 HAS SOUPS 11531 WITH SCORE 11680.911
AT ITER 5482 NEW BEST:: SOT 179009 SOS 149913 HAS SOPS 60343 HAS SOUS 11995 HAS SOUPS 11528 WITH SCORE 11677.913
AT ITER 5501 NEW BEST:: SOT 179008 SOS 149916 HAS SOPS 60343 HAS SOUS 11993 HAS SOUPS 11526 WITH SCORE 11675.916
AT ITER 5507 NEW BEST:: SOT 178958 SOS 149874 HAS SOPS 60278 HAS SOUS 11928 HAS SOUPS 11461 WITH SCORE 11610.874
AT ITER 5558 NEW BEST:: SOT 178956 SOS 149870 HAS SOPS 60274 HAS SOUS 11924 HAS SOUPS 11457 WITH SCORE 11606.87
AT ITER 5564 NEW BEST:: SOT 178946 SOS 149850 HAS SOPS 60254 HAS SOUS 11914 HAS SOUPS 11447 WITH SCORE 11596.85
AT ITER 5597 NEW BEST:: SOT 178932 SOS 149802 HAS SOPS 60209 HAS SOUS 11869 HAS SOUPS 11402 WITH SCORE 11551.802
AT ITER 5633 NEW BEST:: SOT 178905 SOS 149775 HAS SOPS 60171 HAS SOUS 11831 HAS SOUPS 11364 WITH SCORE 11513.775
AT ITER 5649 NEW BEST:: SOT 178895 SOS 149770 HAS SOPS 60156 HAS SOUS 11816 HAS SOUPS 11349 WITH SCORE 11498.77
AT ITER 5677 NEW BEST:: SOT 178897 SOS 149773 HAS SOPS 59724 HAS SOUS 11686 HAS SOUPS 11219 WITH SCORE 11368.773
AT ITER 5709 NEW BEST:: SOT 178897 SOS 149765 HAS SOPS 59724 HAS SOUS 11686 HAS SOUPS 11219 WITH SCORE 11368.765
AT ITER 5746 NEW BEST:: SOT 178892 SOS 149756 HAS SOPS 59714 HAS SOUS 11678 HAS SOUPS 11211 WITH SCORE 11360.756
AT ITER 5782 NEW BEST:: SOT 178892 SOS 149756 HAS SOPS 59706 HAS SOUS 11670 HAS SOUPS 11203 WITH SCORE 11352.756
AT ITER 5784 NEW BEST:: SOT 178897 SOS 149750 HAS SOPS 59707 HAS SOUS 11666 HAS SOUPS 11199 WITH SCORE 11348.75
AT ITER 5829 NEW BEST:: SOT 178890 SOS 149760 HAS SOPS 59693 HAS SOUS 11656 HAS SOUPS 11189 WITH SCORE 11338.76
AT ITER 5830 NEW BEST:: SOT 178978 SOS 149833 HAS SOPS 59645 HAS SOUS 11649 HAS SOUPS 11182 WITH SCORE 11331.833
AT ITER 5894 NEW BEST:: SOT 178977 SOS 149832 HAS SOPS 59644 HAS SOUS 11649 HAS SOUPS 11182 WITH SCORE 11331.832
AT ITER 5923 NEW BEST:: SOT 178978 SOS 149829 HAS SOPS 59643 HAS SOUS 11647 HAS SOUPS 11180 WITH SCORE 11329.829
AT ITER 5936 NEW BEST:: SOT 178973 SOS 149824 HAS SOPS 59633 HAS SOUS 11637 HAS SOUPS 11170 WITH SCORE 11319.824
AT ITER 5938 NEW BEST:: SOT 178947 SOS 149768 HAS SOPS 59581 HAS SOUS 11603 HAS SOUPS 11136 WITH SCORE 11285.768
AT ITER 5943 NEW BEST:: SOT 178945 SOS 149778 HAS SOPS 59583 HAS SOUS 11599 HAS SOUPS 11132 WITH SCORE 11281.778
AT ITER 6003 NEW BEST:: SOT 178945 SOS 149777 HAS SOPS 59531 HAS SOUS 11587 HAS SOUPS 11120 WITH SCORE 11269.777
AT ITER 6005 NEW BEST:: SOT 178959 SOS 149786 HAS SOPS 59531 HAS SOUS 11586 HAS SOUPS 11119 WITH SCORE 11268.786
AT ITER 6021 NEW BEST:: SOT 178959 SOS 149755 HAS SOPS 59531 HAS SOUS 11586 HAS SOUPS 11119 WITH SCORE 11268.755
AT ITER 6039 NEW BEST:: SOT 178959 SOS 149602 HAS SOPS 59378 HAS SOUS 11583 HAS SOUPS 11116 WITH SCORE 11265.602
AT ITER 6165 NEW BEST:: SOT 178957 SOS 149598 HAS SOPS 59372 HAS SOUS 11579 HAS SOUPS 11112 WITH SCORE 11261.598
AT ITER 6174 NEW BEST:: SOT 178946 SOS 149581 HAS SOPS 59350 HAS SOUS 11570 HAS SOUPS 11103 WITH SCORE 11252.581
AT ITER 6180 NEW BEST:: SOT 178964 SOS 149597 HAS SOPS 59364 HAS SOUS 11566 HAS SOUPS 11099 WITH SCORE 11248.597
AT ITER 6194 NEW BEST:: SOT 178994 SOS 149615 HAS SOPS 58918 HAS SOUS 11554 HAS SOUPS 11087 WITH SCORE 11236.615
AT ITER 6216 NEW BEST:: SOT 178985 SOS 149598 HAS SOPS 58900 HAS SOUS 11552 HAS SOUPS 11085 WITH SCORE 11234.598
AT ITER 6277 NEW BEST:: SOT 178967 SOS 149566 HAS SOPS 58864 HAS SOUS 11536 HAS SOUPS 11069 WITH SCORE 11218.566
AT ITER 6281 NEW BEST:: SOT 178970 SOS 149588 HAS SOPS 58870 HAS SOUS 11526 HAS SOUPS 11059 WITH SCORE 11208.588
AT ITER 6513 NEW BEST:: SOT 178970 SOS 149589 HAS SOPS 58870 HAS SOUS 11524 HAS SOUPS 11057 WITH SCORE 11206.589
AT ITER 6526 NEW BEST:: SOT 178973 SOS 149589 HAS SOPS 58729 HAS SOUS 11482 HAS SOUPS 11015 WITH SCORE 11164.589
AT ITER 6531 NEW BEST:: SOT 178966 SOS 149575 HAS SOPS 58709 HAS SOUS 11459 HAS SOUPS 10992 WITH SCORE 11141.575
AT ITER 6565 NEW BEST:: SOT 178945 SOS 149548 HAS SOPS 58682 HAS SOUS 11438 HAS SOUPS 10971 WITH SCORE 11120.548
AT ITER 6594 NEW BEST:: SOT 178946 SOS 149545 HAS SOPS 58673 HAS SOUS 11429 HAS SOUPS 10962 WITH SCORE 11111.545
AT ITER 6641 NEW BEST:: SOT 178941 SOS 149540 HAS SOPS 58663 HAS SOUS 11419 HAS SOUPS 10952 WITH SCORE 11101.54
AT ITER 6706 NEW BEST:: SOT 178956 SOS 149555 HAS SOPS 58677 HAS SOUS 11417 HAS SOUPS 10950 WITH SCORE 11099.555
AT ITER 6761 NEW BEST:: SOT 178969 SOS 149580 HAS SOPS 58657 HAS SOUS 11413 HAS SOUPS 10946 WITH SCORE 11095.58
AT ITER 6772 NEW BEST:: SOT 178961 SOS 149576 HAS SOPS 58645 HAS SOUS 11401 HAS SOUPS 10934 WITH SCORE 11083.576
AT ITER 6804 NEW BEST:: SOT 178963 SOS 149574 HAS SOPS 58646 HAS SOUS 11401 HAS SOUPS 10934 WITH SCORE 11083.574
AT ITER 6806 NEW BEST:: SOT 178960 SOS 149568 HAS SOPS 58637 HAS SOUS 11395 HAS SOUPS 10928 WITH SCORE 11077.568
AT ITER 6808 NEW BEST:: SOT 178960 SOS 149547 HAS SOPS 58637 HAS SOUS 11395 HAS SOUPS 10928 WITH SCORE 11077.547
AT ITER 6813 NEW BEST:: SOT 178959 SOS 149546 HAS SOPS 58635 HAS SOUS 11393 HAS SOUPS 10926 WITH SCORE 11075.546
AT ITER 6869 NEW BEST:: SOT 178950 SOS 149550 HAS SOPS 58630 HAS SOUS 11388 HAS SOUPS 10921 WITH SCORE 11070.55
AT ITER 6888 NEW BEST:: SOT 178941 SOS 149538 HAS SOPS 58617 HAS SOUS 11380 HAS SOUPS 10913 WITH SCORE 11062.538
AT ITER 6904 NEW BEST:: SOT 178941 SOS 149532 HAS SOPS 58611 HAS SOUS 11374 HAS SOUPS 10907 WITH SCORE 11056.532
AT ITER 6905 NEW BEST:: SOT 178925 SOS 149546 HAS SOPS 58609 HAS SOUS 11372 HAS SOUPS 10905 WITH SCORE 11054.546
AT ITER 7012 NEW BEST:: SOT 178924 SOS 149545 HAS SOPS 58607 HAS SOUS 11371 HAS SOUPS 10903 WITH SCORE 11052.545
AT ITER 7067 NEW BEST:: SOT 178923 SOS 149538 HAS SOPS 58602 HAS SOUS 11369 HAS SOUPS 10901 WITH SCORE 11050.538
AT ITER 7088 NEW BEST:: SOT 178923 SOS 149538 HAS SOPS 58598 HAS SOUS 11365 HAS SOUPS 10897 WITH SCORE 11046.538
AT ITER 7106 NEW BEST:: SOT 178921 SOS 149536 HAS SOPS 58594 HAS SOUS 11360 HAS SOUPS 10892 WITH SCORE 11041.536
AT ITER 7116 NEW BEST:: SOT 178920 SOS 149530 HAS SOPS 58588 HAS SOUS 11358 HAS SOUPS 10890 WITH SCORE 11039.53
AT ITER 7153 NEW BEST:: SOT 178917 SOS 149519 HAS SOPS 58582 HAS SOUS 11358 HAS SOUPS 10890 WITH SCORE 11039.519
AT ITER 7210 NEW BEST:: SOT 178910 SOS 149507 HAS SOPS 58568 HAS SOUS 11352 HAS SOUPS 10884 WITH SCORE 11033.507
AT ITER 7240 NEW BEST:: SOT 178908 SOS 146767 HAS SOPS 58576 HAS SOUS 11348 HAS SOUPS 10884 WITH SCORE 11030.767
AT ITER 7389 NEW BEST:: SOT 178897 SOS 146756 HAS SOPS 58560 HAS SOUS 11332 HAS SOUPS 10868 WITH SCORE 11014.756
AT ITER 7431 NEW BEST:: SOT 178891 SOS 146744 HAS SOPS 58548 HAS SOUS 11320 HAS SOUPS 10856 WITH SCORE 11002.744
AT ITER 7469 NEW BEST:: SOT 178899 SOS 146752 HAS SOPS 58564 HAS SOUS 11316 HAS SOUPS 10852 WITH SCORE 10998.752
AT ITER 7494 NEW BEST:: SOT 178888 SOS 146719 HAS SOPS 58531 HAS SOUS 11294 HAS SOUPS 10830 WITH SCORE 10976.719
AT ITER 7517 NEW BEST:: SOT 178879 SOS 146700 HAS SOPS 58508 HAS SOUS 11276 HAS SOUPS 10812 WITH SCORE 10958.7
AT ITER 7549 NEW BEST:: SOT 178414 SOS 146252 HAS SOPS 58467 HAS SOUS 11218 HAS SOUPS 10754 WITH SCORE 10900.252
AT ITER 7628 NEW BEST:: SOT 178418 SOS 146253 HAS SOPS 58468 HAS SOUS 11215 HAS SOUPS 10751 WITH SCORE 10897.253
AT ITER 7640 NEW BEST:: SOT 178414 SOS 145571 HAS SOPS 57794 HAS SOUS 11210 HAS SOUPS 10746 WITH SCORE 10891.571
AT ITER 7655 NEW BEST:: SOT 178414 SOS 145569 HAS SOPS 57793 HAS SOUS 11210 HAS SOUPS 10746 WITH SCORE 10891.569
AT ITER 7663 NEW BEST:: SOT 178414 SOS 145568 HAS SOPS 57793 HAS SOUS 11210 HAS SOUPS 10746 WITH SCORE 10891.568
AT ITER 7714 NEW BEST:: SOT 178420 SOS 145552 HAS SOPS 57789 HAS SOUS 11202 HAS SOUPS 10738 WITH SCORE 10883.552
AT ITER 7727 NEW BEST:: SOT 178340 SOS 145471 HAS SOPS 57777 HAS SOUS 11198 HAS SOUPS 10734 WITH SCORE 10879.471
AT ITER 7816 NEW BEST:: SOT 178318 SOS 145464 HAS SOPS 57756 HAS SOUS 11183 HAS SOUPS 10719 WITH SCORE 10864.464
AT ITER 7844 NEW BEST:: SOT 178317 SOS 145463 HAS SOPS 57754 HAS SOUS 11181 HAS SOUPS 10717 WITH SCORE 10862.463
AT ITER 7861 NEW BEST:: SOT 178308 SOS 145435 HAS SOPS 57736 HAS SOUS 11174 HAS SOUPS 10710 WITH SCORE 10855.435
AT ITER 7939 NEW BEST:: SOT 178300 SOS 145427 HAS SOPS 57727 HAS SOUS 11168 HAS SOUPS 10704 WITH SCORE 10849.427
AT ITER 7979 NEW BEST:: SOT 178299 SOS 145426 HAS SOPS 57725 HAS SOUS 11166 HAS SOUPS 10702 WITH SCORE 10847.426
AT ITER 7988 NEW BEST:: SOT 178295 SOS 145422 HAS SOPS 57717 HAS SOUS 11158 HAS SOUPS 10694 WITH SCORE 10839.422
AT ITER 8051 NEW BEST:: SOT 178275 SOS 145406 HAS SOPS 57701 HAS SOUS 11146 HAS SOUPS 10682 WITH SCORE 10827.406
AT ITER 8100 NEW BEST:: SOT 178273 SOS 145402 HAS SOPS 57697 HAS SOUS 11143 HAS SOUPS 10679 WITH SCORE 10824.402
AT ITER 8101 NEW BEST:: SOT 178262 SOS 145386 HAS SOPS 57684 HAS SOUS 11123 HAS SOUPS 10659 WITH SCORE 10804.386
AT ITER 8162 NEW BEST:: SOT 178186 SOS 145310 HAS SOPS 57608 HAS SOUS 11047 HAS SOUPS 10583 WITH SCORE 10728.31
AT ITER 8185 NEW BEST:: SOT 178179 SOS 145303 HAS SOPS 57601 HAS SOUS 11047 HAS SOUPS 10583 WITH SCORE 10728.303
AT ITER 8209 NEW BEST:: SOT 178176 SOS 145300 HAS SOPS 57598 HAS SOUS 11044 HAS SOUPS 10580 WITH SCORE 10725.3
AT ITER 8245 NEW BEST:: SOT 178152 SOS 145249 HAS SOPS 57550 HAS SOUS 11023 HAS SOUPS 10559 WITH SCORE 10704.249
AT ITER 8268 NEW BEST:: SOT 178152 SOS 145255 HAS SOPS 57550 HAS SOUS 11017 HAS SOUPS 10553 WITH SCORE 10698.255
AT ITER 8308 NEW BEST:: SOT 178143 SOS 145233 HAS SOPS 57532 HAS SOUS 10993 HAS SOUPS 10529 WITH SCORE 10674.233
AT ITER 8377 NEW BEST:: SOT 178130 SOS 145207 HAS SOPS 57506 HAS SOUS 10993 HAS SOUPS 10529 WITH SCORE 10674.207
AT ITER 8391 NEW BEST:: SOT 178128 SOS 145198 HAS SOPS 57502 HAS SOUS 10991 HAS SOUPS 10527 WITH SCORE 10672.198
AT ITER 8408 NEW BEST:: SOT 178117 SOS 145183 HAS SOPS 57480 HAS SOUS 10969 HAS SOUPS 10505 WITH SCORE 10650.183
AT ITER 8520 NEW BEST:: SOT 178117 SOS 145178 HAS SOPS 57474 HAS SOUS 10962 HAS SOUPS 10498 WITH SCORE 10643.178
AT ITER 8649 NEW BEST:: SOT 178117 SOS 145177 HAS SOPS 57474 HAS SOUS 10962 HAS SOUPS 10498 WITH SCORE 10643.177
AT ITER 8689 NEW BEST:: SOT 178138 SOS 145198 HAS SOPS 57393 HAS SOUS 10948 HAS SOUPS 10484 WITH SCORE 10629.198
AT ITER 8692 NEW BEST:: SOT 178122 SOS 145180 HAS SOPS 57373 HAS SOUS 10934 HAS SOUPS 10470 WITH SCORE 10615.18
AT ITER 8755 NEW BEST:: SOT 178116 SOS 145174 HAS SOPS 57361 HAS SOUS 10933 HAS SOUPS 10469 WITH SCORE 10614.174
AT ITER 8809 NEW BEST:: SOT 178114 SOS 145170 HAS SOPS 57357 HAS SOUS 10931 HAS SOUPS 10467 WITH SCORE 10612.17
AT ITER 8813 NEW BEST:: SOT 178112 SOS 145171 HAS SOPS 57364 HAS SOUS 10925 HAS SOUPS 10461 WITH SCORE 10606.171
AT ITER 8854 NEW BEST:: SOT 178111 SOS 145162 HAS SOPS 57358 HAS SOUS 10923 HAS SOUPS 10459 WITH SCORE 10604.162
AT ITER 8869 NEW BEST:: SOT 178110 SOS 145160 HAS SOPS 57356 HAS SOUS 10920 HAS SOUPS 10456 WITH SCORE 10601.16
AT ITER 8884 NEW BEST:: SOT 178099 SOS 145149 HAS SOPS 57345 HAS SOUS 10909 HAS SOUPS 10445 WITH SCORE 10590.149
AT ITER 8891 NEW BEST:: SOT 178098 SOS 145149 HAS SOPS 57343 HAS SOUS 10907 HAS SOUPS 10443 WITH SCORE 10588.149
AT ITER 8897 NEW BEST:: SOT 178088 SOS 145139 HAS SOPS 57329 HAS SOUS 10898 HAS SOUPS 10434 WITH SCORE 10579.139
AT ITER 8948 NEW BEST:: SOT 178085 SOS 145135 HAS SOPS 57323 HAS SOUS 10893 HAS SOUPS 10429 WITH SCORE 10574.135
AT ITER 8951 NEW BEST:: SOT 178082 SOS 145132 HAS SOPS 57317 HAS SOUS 10887 HAS SOUPS 10423 WITH SCORE 10568.132
AT ITER 9016 NEW BEST:: SOT 178092 SOS 145105 HAS SOPS 57297 HAS SOUS 10869 HAS SOUPS 10405 WITH SCORE 10550.105
AT ITER 9068 NEW BEST:: SOT 178011 SOS 145022 HAS SOPS 57247 HAS SOUS 10842 HAS SOUPS 10378 WITH SCORE 10523.022
AT ITER 9124 NEW BEST:: SOT 178010 SOS 145021 HAS SOPS 57245 HAS SOUS 10841 HAS SOUPS 10377 WITH SCORE 10522.021
AT ITER 9128 NEW BEST:: SOT 178007 SOS 145018 HAS SOPS 57242 HAS SOUS 10838 HAS SOUPS 10374 WITH SCORE 10519.018
AT ITER 9142 NEW BEST:: SOT 178067 SOS 145078 HAS SOPS 57290 HAS SOUS 10835 HAS SOUPS 10371 WITH SCORE 10516.078
AT ITER 9224 NEW BEST:: SOT 178067 SOS 145078 HAS SOPS 57285 HAS SOUS 10830 HAS SOUPS 10366 WITH SCORE 10511.078
AT ITER 9225 NEW BEST:: SOT 178059 SOS 145063 HAS SOPS 57276 HAS SOUS 10821 HAS SOUPS 10357 WITH SCORE 10502.063
AT ITER 9240 NEW BEST:: SOT 178052 SOS 145047 HAS SOPS 57262 HAS SOUS 10816 HAS SOUPS 10352 WITH SCORE 10497.047
AT ITER 9281 NEW BEST:: SOT 178052 SOS 145047 HAS SOPS 57256 HAS SOUS 10810 HAS SOUPS 10346 WITH SCORE 10491.047
AT ITER 9394 NEW BEST:: SOT 178049 SOS 145044 HAS SOPS 57250 HAS SOUS 10804 HAS SOUPS 10340 WITH SCORE 10485.044
AT ITER 9409 NEW BEST:: SOT 178044 SOS 145039 HAS SOPS 57240 HAS SOUS 10794 HAS SOUPS 10330 WITH SCORE 10475.039
AT ITER 9449 NEW BEST:: SOT 178039 SOS 145033 HAS SOPS 57230 HAS SOUS 10784 HAS SOUPS 10320 WITH SCORE 10465.033
AT ITER 9488 NEW BEST:: SOT 178039 SOS 145031 HAS SOPS 57230 HAS SOUS 10784 HAS SOUPS 10320 WITH SCORE 10465.031
AT ITER 9510 NEW BEST:: SOT 178038 SOS 145029 HAS SOPS 57226 HAS SOUS 10781 HAS SOUPS 10317 WITH SCORE 10462.029
AT ITER 9531 NEW BEST:: SOT 178035 SOS 145021 HAS SOPS 57216 HAS SOUS 10772 HAS SOUPS 10308 WITH SCORE 10453.021
AT ITER 9592 NEW BEST:: SOT 178033 SOS 145019 HAS SOPS 57215 HAS SOUS 10771 HAS SOUPS 10307 WITH SCORE 10452.019
AT ITER 9720 NEW BEST:: SOT 178001 SOS 145004 HAS SOPS 57185 HAS SOUS 10758 HAS SOUPS 10294 WITH SCORE 10439.004
AT ITER 9792 NEW BEST:: SOT 177999 SOS 144998 HAS SOPS 57181 HAS SOUS 10758 HAS SOUPS 10294 WITH SCORE 10438.998
AT ITER 9821 NEW BEST:: SOT 177997 SOS 144996 HAS SOPS 57179 HAS SOUS 10758 HAS SOUPS 10294 WITH SCORE 10438.996
AT ITER 9873 NEW BEST:: SOT 177989 SOS 144988 HAS SOPS 57167 HAS SOUS 10746 HAS SOUPS 10282 WITH SCORE 10426.988
AT ITER 9917 NEW BEST:: SOT 177972 SOS 144969 HAS SOPS 57213 HAS SOUS 10735 HAS SOUPS 10271 WITH SCORE 10415.969
AT ITER 9957 NEW BEST:: SOT 177974 SOS 144953 HAS SOPS 57193 HAS SOUS 10715 HAS SOUPS 10251 WITH SCORE 10395.953

BK_STOP 1589451301691

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 478 Aborted ${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="FlexibleBarrier-PT-20a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-20a, 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 r078-smll-158922972500392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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