Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 732K
-rw-r--r-- 1 mcc users 8.3K Feb 25 13:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 13:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 12:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 12:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 13:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 25 13:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 13:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 13:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:08 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:08 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 321K Mar 5 18:22 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 1678454735592

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=FlexibleBarrier-PT-20a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 20a
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: 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 1 NEW BEST:: SOT 230427 SOS 200599 HAS SOPS 200599 HAS SOUS 111181 HAS SOUPS 111181 WITH SCORE 111381.599
AT ITER 4 NEW BEST:: SOT 230324 SOS 200574 HAS SOPS 200574 HAS SOUS 111129 HAS SOUPS 111129 WITH SCORE 111329.574
AT ITER 5 NEW BEST:: SOT 230291 SOS 200541 HAS SOPS 200541 HAS SOUS 111129 HAS SOUPS 111129 WITH SCORE 111329.541
AT ITER 6 NEW BEST:: SOT 230002 SOS 200252 HAS SOPS 200252 HAS SOUS 110960 HAS SOUPS 110960 WITH SCORE 111160.252
AT ITER 7 NEW BEST:: SOT 229352 SOS 199602 HAS SOPS 199602 HAS SOUS 110568 HAS SOUPS 110568 WITH SCORE 110767.602
AT ITER 9 NEW BEST:: SOT 229477 SOS 199566 HAS SOPS 199566 HAS SOUS 107597 HAS SOUPS 107597 WITH SCORE 107796.566
AT ITER 10 NEW BEST:: SOT 229579 SOS 199770 HAS SOPS 199770 HAS SOUS 107593 HAS SOUPS 107593 WITH SCORE 107792.77
AT ITER 12 NEW BEST:: SOT 229648 SOS 199768 HAS SOPS 199768 HAS SOUS 107589 HAS SOUPS 107589 WITH SCORE 107788.768
AT ITER 17 NEW BEST:: SOT 229649 SOS 199675 HAS SOPS 199675 HAS SOUS 106748 HAS SOUPS 106748 WITH SCORE 106947.675
AT ITER 18 NEW BEST:: SOT 229647 SOS 199614 HAS SOPS 199614 HAS SOUS 106741 HAS SOUPS 106741 WITH SCORE 106940.614
AT ITER 19 NEW BEST:: SOT 229647 SOS 199601 HAS SOPS 199601 HAS SOUS 106507 HAS SOUPS 106507 WITH SCORE 106706.601
AT ITER 20 NEW BEST:: SOT 229637 SOS 199525 HAS SOPS 199525 HAS SOUS 106339 HAS SOUPS 106339 WITH SCORE 106538.525
AT ITER 21 NEW BEST:: SOT 229637 SOS 199525 HAS SOPS 199525 HAS SOUS 106314 HAS SOUPS 106314 WITH SCORE 106513.525
AT ITER 23 NEW BEST:: SOT 229235 SOS 198942 HAS SOPS 198942 HAS SOUS 106017 HAS SOUPS 106017 WITH SCORE 106215.942
AT ITER 24 NEW BEST:: SOT 229271 SOS 197667 HAS SOPS 197667 HAS SOUS 100272 HAS SOUPS 100272 WITH SCORE 100469.667
AT ITER 25 NEW BEST:: SOT 229315 SOS 197494 HAS SOPS 197494 HAS SOUS 99411 HAS SOUPS 99411 WITH SCORE 99608.494
AT ITER 27 NEW BEST:: SOT 229430 SOS 197724 HAS SOPS 197724 HAS SOUS 99410 HAS SOUPS 99410 WITH SCORE 99607.724
AT ITER 29 NEW BEST:: SOT 229329 SOS 196486 HAS SOPS 196486 HAS SOUS 96742 HAS SOUPS 96742 WITH SCORE 96938.486
AT ITER 30 NEW BEST:: SOT 228847 SOS 194554 HAS SOPS 194554 HAS SOUS 91326 HAS SOUPS 91326 WITH SCORE 91520.554
AT ITER 34 NEW BEST:: SOT 228959 SOS 194577 HAS SOPS 194577 HAS SOUS 91258 HAS SOUPS 91258 WITH SCORE 91452.577
AT ITER 35 NEW BEST:: SOT 228274 SOS 193977 HAS SOPS 193977 HAS SOUS 91133 HAS SOUPS 91133 WITH SCORE 91326.977
AT ITER 37 NEW BEST:: SOT 228274 SOS 193806 HAS SOPS 193806 HAS SOUS 91068 HAS SOUPS 91068 WITH SCORE 91261.806
AT ITER 38 NEW BEST:: SOT 227648 SOS 193182 HAS SOPS 193182 HAS SOUS 90838 HAS SOUPS 90838 WITH SCORE 91031.182
AT ITER 40 NEW BEST:: SOT 227648 SOS 193039 HAS SOPS 193039 HAS SOUS 90698 HAS SOUPS 90698 WITH SCORE 90891.039
AT ITER 41 NEW BEST:: SOT 227646 SOS 193005 HAS SOPS 193005 HAS SOUS 90681 HAS SOUPS 90681 WITH SCORE 90874.005
AT ITER 43 NEW BEST:: SOT 227691 SOS 192984 HAS SOPS 192984 HAS SOUS 90660 HAS SOUPS 90660 WITH SCORE 90852.984
AT ITER 45 NEW BEST:: SOT 227532 SOS 192806 HAS SOPS 192806 HAS SOUS 90558 HAS SOUPS 90558 WITH SCORE 90750.806
AT ITER 46 NEW BEST:: SOT 227506 SOS 192780 HAS SOPS 192780 HAS SOUS 90558 HAS SOUPS 90558 WITH SCORE 90750.78
AT ITER 48 NEW BEST:: SOT 227640 SOS 192733 HAS SOPS 192733 HAS SOUS 90510 HAS SOUPS 90510 WITH SCORE 90702.733
AT ITER 49 NEW BEST:: SOT 227676 SOS 192757 HAS SOPS 192757 HAS SOUS 90450 HAS SOUPS 90450 WITH SCORE 90642.757
AT ITER 51 NEW BEST:: SOT 227942 SOS 191389 HAS SOPS 191389 HAS SOUS 87823 HAS SOUPS 87823 WITH SCORE 88014.389
AT ITER 52 NEW BEST:: SOT 227885 SOS 191246 HAS SOPS 191246 HAS SOUS 87711 HAS SOUPS 87711 WITH SCORE 87902.246
AT ITER 54 NEW BEST:: SOT 227879 SOS 191228 HAS SOPS 191228 HAS SOUS 87711 HAS SOUPS 87711 WITH SCORE 87902.228
AT ITER 55 NEW BEST:: SOT 226883 SOS 190245 HAS SOPS 190245 HAS SOUS 87202 HAS SOUPS 87202 WITH SCORE 87392.245
AT ITER 56 NEW BEST:: SOT 226928 SOS 190335 HAS SOPS 190335 HAS SOUS 87198 HAS SOUPS 87198 WITH SCORE 87388.335
AT ITER 57 NEW BEST:: SOT 226992 SOS 190267 HAS SOPS 190267 HAS SOUS 87135 HAS SOUPS 87135 WITH SCORE 87325.267
AT ITER 64 NEW BEST:: SOT 227196 SOS 190294 HAS SOPS 190294 HAS SOUS 87086 HAS SOUPS 87086 WITH SCORE 87276.294
AT ITER 65 NEW BEST:: SOT 227016 SOS 190112 HAS SOPS 190112 HAS SOUS 87024 HAS SOUPS 87024 WITH SCORE 87214.112
AT ITER 66 NEW BEST:: SOT 226957 SOS 190041 HAS SOPS 190041 HAS SOUS 86989 HAS SOUPS 86989 WITH SCORE 87179.041
AT ITER 70 NEW BEST:: SOT 227011 SOS 190075 HAS SOPS 190075 HAS SOUS 86841 HAS SOUPS 86841 WITH SCORE 87031.075
AT ITER 72 NEW BEST:: SOT 227098 SOS 188259 HAS SOPS 188259 HAS SOUS 83846 HAS SOUPS 83846 WITH SCORE 84034.259
AT ITER 74 NEW BEST:: SOT 227181 SOS 187399 HAS SOPS 187399 HAS SOUS 82898 HAS SOUPS 82898 WITH SCORE 83085.399
AT ITER 77 NEW BEST:: SOT 227410 SOS 186602 HAS SOPS 186602 HAS SOUS 79897 HAS SOUPS 79897 WITH SCORE 80083.602
AT ITER 79 NEW BEST:: SOT 227387 SOS 186556 HAS SOPS 186556 HAS SOUS 79897 HAS SOUPS 79897 WITH SCORE 80083.556
AT ITER 80 NEW BEST:: SOT 227379 SOS 186540 HAS SOPS 186540 HAS SOUS 79897 HAS SOUPS 79897 WITH SCORE 80083.54
AT ITER 81 NEW BEST:: SOT 223182 SOS 182699 HAS SOPS 182275 HAS SOUS 75765 HAS SOUPS 75698 WITH SCORE 75880.699
AT ITER 82 NEW BEST:: SOT 223167 SOS 182655 HAS SOPS 182216 HAS SOUS 75706 HAS SOUPS 75639 WITH SCORE 75821.655
AT ITER 83 NEW BEST:: SOT 223166 SOS 182652 HAS SOPS 182213 HAS SOUS 75704 HAS SOUPS 75637 WITH SCORE 75819.652
AT ITER 90 NEW BEST:: SOT 223166 SOS 181878 HAS SOPS 181439 HAS SOUS 75342 HAS SOUPS 75275 WITH SCORE 75456.878
AT ITER 91 NEW BEST:: SOT 223285 SOS 178605 HAS SOPS 178186 HAS SOUS 71663 HAS SOUPS 71596 WITH SCORE 71774.605
AT ITER 92 NEW BEST:: SOT 223322 SOS 178597 HAS SOPS 178178 HAS SOUS 71658 HAS SOUPS 71591 WITH SCORE 71769.597
AT ITER 96 NEW BEST:: SOT 223269 SOS 178394 HAS SOPS 177975 HAS SOUS 71524 HAS SOUPS 71457 WITH SCORE 71635.394
AT ITER 100 NEW BEST:: SOT 223145 SOS 174707 HAS SOPS 174288 HAS SOUS 69337 HAS SOUPS 69270 WITH SCORE 69444.707
AT ITER 101 NEW BEST:: SOT 223013 SOS 174566 HAS SOPS 174144 HAS SOUS 69264 HAS SOUPS 69194 WITH SCORE 69368.566
AT ITER 102 NEW BEST:: SOT 223007 SOS 170486 HAS SOPS 170064 HAS SOUS 67151 HAS SOUPS 67081 WITH SCORE 67251.486
AT ITER 103 NEW BEST:: SOT 222636 SOS 169920 HAS SOPS 169474 HAS SOUS 64971 HAS SOUPS 64898 WITH SCORE 65067.92
AT ITER 105 NEW BEST:: SOT 222742 SOS 164897 HAS SOPS 164451 HAS SOUS 61070 HAS SOUPS 60997 WITH SCORE 61161.897
AT ITER 113 NEW BEST:: SOT 222742 SOS 164897 HAS SOPS 164451 HAS SOUS 61069 HAS SOUPS 60996 WITH SCORE 61160.897
AT ITER 120 NEW BEST:: SOT 222742 SOS 164868 HAS SOPS 164422 HAS SOUS 61069 HAS SOUPS 60996 WITH SCORE 61160.868
AT ITER 132 NEW BEST:: SOT 222770 SOS 164483 HAS SOPS 164073 HAS SOUS 61000 HAS SOUPS 60927 WITH SCORE 61091.483
AT ITER 135 NEW BEST:: SOT 221772 SOS 163562 HAS SOPS 163152 HAS SOUS 60710 HAS SOUPS 60637 WITH SCORE 60800.562
AT ITER 136 NEW BEST:: SOT 221728 SOS 163384 HAS SOPS 162900 HAS SOUS 60465 HAS SOUPS 60385 WITH SCORE 60548.384
AT ITER 137 NEW BEST:: SOT 221683 SOS 163226 HAS SOPS 162697 HAS SOUS 60366 HAS SOUPS 60286 WITH SCORE 60449.226
AT ITER 138 NEW BEST:: SOT 220895 SOS 162422 HAS SOPS 161893 HAS SOUS 59980 HAS SOUPS 59900 WITH SCORE 60062.422
AT ITER 139 NEW BEST:: SOT 221011 SOS 156355 HAS SOPS 155858 HAS SOUS 56673 HAS SOUPS 56593 WITH SCORE 56749.355
AT ITER 140 NEW BEST:: SOT 220963 SOS 156307 HAS SOPS 155810 HAS SOUS 56658 HAS SOUPS 56578 WITH SCORE 56734.307
AT ITER 141 NEW BEST:: SOT 221129 SOS 151660 HAS SOPS 151184 HAS SOUS 54857 HAS SOUPS 54777 WITH SCORE 54928.66
AT ITER 144 NEW BEST:: SOT 221125 SOS 151556 HAS SOPS 151080 HAS SOUS 54749 HAS SOUPS 54669 WITH SCORE 54820.556
AT ITER 149 NEW BEST:: SOT 221029 SOS 150461 HAS SOPS 149985 HAS SOUS 54190 HAS SOUPS 54110 WITH SCORE 54260.461
AT ITER 155 NEW BEST:: SOT 221029 SOS 150461 HAS SOPS 149985 HAS SOUS 54185 HAS SOUPS 54105 WITH SCORE 54255.461
AT ITER 156 NEW BEST:: SOT 221029 SOS 150355 HAS SOPS 149879 HAS SOUS 54108 HAS SOUPS 54028 WITH SCORE 54178.355
AT ITER 161 NEW BEST:: SOT 220971 SOS 150296 HAS SOPS 149763 HAS SOUS 54069 HAS SOUPS 53989 WITH SCORE 54139.296
AT ITER 162 NEW BEST:: SOT 220216 SOS 149554 HAS SOPS 149013 HAS SOUS 53852 HAS SOUPS 53772 WITH SCORE 53921.554
AT ITER 163 NEW BEST:: SOT 220215 SOS 149552 HAS SOPS 149011 HAS SOUS 53850 HAS SOUPS 53770 WITH SCORE 53919.552
AT ITER 167 NEW BEST:: SOT 220166 SOS 149405 HAS SOPS 148864 HAS SOUS 53850 HAS SOUPS 53770 WITH SCORE 53919.405
AT ITER 173 NEW BEST:: SOT 220166 SOS 149404 HAS SOPS 148863 HAS SOUS 53849 HAS SOUPS 53769 WITH SCORE 53918.404
AT ITER 174 NEW BEST:: SOT 220121 SOS 149314 HAS SOPS 148773 HAS SOUS 53839 HAS SOUPS 53759 WITH SCORE 53908.314
AT ITER 177 NEW BEST:: SOT 220101 SOS 149274 HAS SOPS 148733 HAS SOUS 53819 HAS SOUPS 53739 WITH SCORE 53888.274
AT ITER 178 NEW BEST:: SOT 220044 SOS 148991 HAS SOPS 148406 HAS SOUS 53671 HAS SOUPS 53591 WITH SCORE 53739.991
AT ITER 179 NEW BEST:: SOT 220098 SOS 143797 HAS SOPS 143212 HAS SOUS 52435 HAS SOUPS 52355 WITH SCORE 52498.797
AT ITER 184 NEW BEST:: SOT 220056 SOS 143713 HAS SOPS 143075 HAS SOUS 52287 HAS SOUPS 52207 WITH SCORE 52350.713
AT ITER 193 NEW BEST:: SOT 220103 SOS 143807 HAS SOPS 143169 HAS SOUS 52284 HAS SOUPS 52204 WITH SCORE 52347.807
AT ITER 197 NEW BEST:: SOT 220103 SOS 143747 HAS SOPS 143114 HAS SOUS 52124 HAS SOUPS 52044 WITH SCORE 52187.747
AT ITER 204 NEW BEST:: SOT 220103 SOS 143728 HAS SOPS 143095 HAS SOUS 52105 HAS SOUPS 52025 WITH SCORE 52168.728
AT ITER 211 NEW BEST:: SOT 219906 SOS 143536 HAS SOPS 142903 HAS SOUS 52084 HAS SOUPS 52004 WITH SCORE 52147.536
AT ITER 214 NEW BEST:: SOT 220049 SOS 143018 HAS SOPS 142397 HAS SOUS 51562 HAS SOUPS 51482 WITH SCORE 51625.018
AT ITER 217 NEW BEST:: SOT 220107 SOS 141790 HAS SOPS 141169 HAS SOUS 51132 HAS SOUPS 51052 WITH SCORE 51193.79
AT ITER 218 NEW BEST:: SOT 220169 SOS 141909 HAS SOPS 141293 HAS SOUS 51011 HAS SOUPS 50931 WITH SCORE 51072.909
AT ITER 222 NEW BEST:: SOT 220169 SOS 141871 HAS SOPS 141255 HAS SOUS 51011 HAS SOUPS 50931 WITH SCORE 51072.871
AT ITER 225 NEW BEST:: SOT 220165 SOS 141835 HAS SOPS 141219 HAS SOUS 51008 HAS SOUPS 50928 WITH SCORE 51069.835
AT ITER 228 NEW BEST:: SOT 220151 SOS 141667 HAS SOPS 141051 HAS SOUS 50875 HAS SOUPS 50795 WITH SCORE 50936.667
AT ITER 231 NEW BEST:: SOT 219225 SOS 141938 HAS SOPS 141322 HAS SOUS 50789 HAS SOUPS 50709 WITH SCORE 50850.938
AT ITER 232 NEW BEST:: SOT 216576 SOS 139324 HAS SOPS 138673 HAS SOUS 49405 HAS SOUPS 49318 WITH SCORE 49457.324
AT ITER 235 NEW BEST:: SOT 217652 SOS 134887 HAS SOPS 134289 HAS SOUS 46759 HAS SOUPS 46672 WITH SCORE 46806.887
AT ITER 240 NEW BEST:: SOT 217652 SOS 134847 HAS SOPS 134249 HAS SOUS 46759 HAS SOUPS 46672 WITH SCORE 46806.847
AT ITER 244 NEW BEST:: SOT 217786 SOS 134693 HAS SOPS 134095 HAS SOUS 46691 HAS SOUPS 46604 WITH SCORE 46738.693
AT ITER 245 NEW BEST:: SOT 217785 SOS 134691 HAS SOPS 134093 HAS SOUS 46689 HAS SOUPS 46602 WITH SCORE 46736.691
AT ITER 246 NEW BEST:: SOT 217725 SOS 134520 HAS SOPS 133922 HAS SOUS 46568 HAS SOUPS 46481 WITH SCORE 46615.52
AT ITER 248 NEW BEST:: SOT 217777 SOS 134423 HAS SOPS 133761 HAS SOUS 46407 HAS SOUPS 46320 WITH SCORE 46454.423
AT ITER 250 NEW BEST:: SOT 217771 SOS 134367 HAS SOPS 133705 HAS SOUS 46401 HAS SOUPS 46314 WITH SCORE 46448.367
AT ITER 251 NEW BEST:: SOT 217784 SOS 134016 HAS SOPS 133354 HAS SOUS 46336 HAS SOUPS 46249 WITH SCORE 46383.016
AT ITER 255 NEW BEST:: SOT 217760 SOS 133968 HAS SOPS 133306 HAS SOUS 46336 HAS SOUPS 46249 WITH SCORE 46382.968
AT ITER 259 NEW BEST:: SOT 210064 SOS 127148 HAS SOPS 125118 HAS SOUS 41682 HAS SOUPS 41560 WITH SCORE 41687.148
AT ITER 261 NEW BEST:: SOT 209900 SOS 127194 HAS SOPS 125164 HAS SOUS 41647 HAS SOUPS 41525 WITH SCORE 41652.194
AT ITER 262 NEW BEST:: SOT 209876 SOS 127084 HAS SOPS 125121 HAS SOUS 41598 HAS SOUPS 41476 WITH SCORE 41603.084
AT ITER 266 NEW BEST:: SOT 209890 SOS 126633 HAS SOPS 124670 HAS SOUS 41563 HAS SOUPS 41441 WITH SCORE 41567.633
AT ITER 267 NEW BEST:: SOT 209943 SOS 126589 HAS SOPS 124626 HAS SOUS 41511 HAS SOUPS 41389 WITH SCORE 41515.589
AT ITER 270 NEW BEST:: SOT 209966 SOS 121134 HAS SOPS 119171 HAS SOUS 40748 HAS SOUPS 40626 WITH SCORE 40747.134
AT ITER 273 NEW BEST:: SOT 209966 SOS 121102 HAS SOPS 119139 HAS SOUS 40725 HAS SOUPS 40603 WITH SCORE 40724.102
AT ITER 276 NEW BEST:: SOT 210054 SOS 120860 HAS SOPS 118897 HAS SOUS 40598 HAS SOUPS 40476 WITH SCORE 40596.86
AT ITER 279 NEW BEST:: SOT 210039 SOS 120830 HAS SOPS 118867 HAS SOUS 40568 HAS SOUPS 40446 WITH SCORE 40566.83
AT ITER 280 NEW BEST:: SOT 210042 SOS 120499 HAS SOPS 118536 HAS SOUS 40414 HAS SOUPS 40292 WITH SCORE 40412.499
AT ITER 285 NEW BEST:: SOT 209994 SOS 117050 HAS SOPS 115087 HAS SOUS 39033 HAS SOUPS 38911 WITH SCORE 39028.05
AT ITER 291 NEW BEST:: SOT 210116 SOS 116941 HAS SOPS 114978 HAS SOUS 39031 HAS SOUPS 38909 WITH SCORE 39025.941
AT ITER 292 NEW BEST:: SOT 210074 SOS 116880 HAS SOPS 114917 HAS SOUS 39001 HAS SOUPS 38879 WITH SCORE 38995.88
AT ITER 293 NEW BEST:: SOT 209005 SOS 115836 HAS SOPS 113945 HAS SOUS 38819 HAS SOUPS 38697 WITH SCORE 38812.836
AT ITER 297 NEW BEST:: SOT 209015 SOS 115846 HAS SOPS 113955 HAS SOUS 38809 HAS SOUPS 38687 WITH SCORE 38802.846
AT ITER 298 NEW BEST:: SOT 209085 SOS 115892 HAS SOPS 113949 HAS SOUS 38774 HAS SOUPS 38652 WITH SCORE 38767.892
AT ITER 302 NEW BEST:: SOT 208903 SOS 115561 HAS SOPS 113585 HAS SOUS 38454 HAS SOUPS 38332 WITH SCORE 38447.561
AT ITER 303 NEW BEST:: SOT 208902 SOS 115494 HAS SOPS 113518 HAS SOUS 38452 HAS SOUPS 38330 WITH SCORE 38445.494
AT ITER 309 NEW BEST:: SOT 208867 SOS 115440 HAS SOPS 113428 HAS SOUS 38414 HAS SOUPS 38292 WITH SCORE 38407.44
AT ITER 313 NEW BEST:: SOT 208849 SOS 115459 HAS SOPS 113447 HAS SOUS 38396 HAS SOUPS 38274 WITH SCORE 38389.459
AT ITER 318 NEW BEST:: SOT 208935 SOS 113402 HAS SOPS 111390 HAS SOUS 37591 HAS SOUPS 37469 WITH SCORE 37582.402
AT ITER 322 NEW BEST:: SOT 208935 SOS 113402 HAS SOPS 111390 HAS SOUS 37561 HAS SOUPS 37439 WITH SCORE 37552.402
AT ITER 328 NEW BEST:: SOT 207753 SOS 112376 HAS SOPS 110397 HAS SOUS 37294 HAS SOUPS 37172 WITH SCORE 37284.376
AT ITER 342 NEW BEST:: SOT 207753 SOS 111557 HAS SOPS 109578 HAS SOUS 37203 HAS SOUPS 37081 WITH SCORE 37192.557
AT ITER 346 NEW BEST:: SOT 207752 SOS 111545 HAS SOPS 109553 HAS SOUS 37184 HAS SOUPS 37062 WITH SCORE 37173.545
AT ITER 352 NEW BEST:: SOT 207690 SOS 111421 HAS SOPS 109429 HAS SOUS 37151 HAS SOUPS 37029 WITH SCORE 37140.421
AT ITER 361 NEW BEST:: SOT 207741 SOS 111421 HAS SOPS 109429 HAS SOUS 37100 HAS SOUPS 36978 WITH SCORE 37089.421
AT ITER 365 NEW BEST:: SOT 207721 SOS 111381 HAS SOPS 109389 HAS SOUS 37063 HAS SOUPS 36941 WITH SCORE 37052.381
AT ITER 369 NEW BEST:: SOT 207721 SOS 111228 HAS SOPS 109236 HAS SOUS 37012 HAS SOUPS 36890 WITH SCORE 37001.228
AT ITER 370 NEW BEST:: SOT 207721 SOS 111228 HAS SOPS 109236 HAS SOUS 37007 HAS SOUPS 36885 WITH SCORE 36996.228
AT ITER 373 NEW BEST:: SOT 207721 SOS 111220 HAS SOPS 109228 HAS SOUS 36991 HAS SOUPS 36869 WITH SCORE 36980.22
AT ITER 375 NEW BEST:: SOT 207659 SOS 110511 HAS SOPS 107872 HAS SOUS 35306 HAS SOUPS 35184 WITH SCORE 35294.511
AT ITER 378 NEW BEST:: SOT 207566 SOS 110340 HAS SOPS 107686 HAS SOUS 35163 HAS SOUPS 35041 WITH SCORE 35151.34
AT ITER 384 NEW BEST:: SOT 207512 SOS 110232 HAS SOPS 107578 HAS SOUS 35016 HAS SOUPS 34894 WITH SCORE 35004.232
AT ITER 392 NEW BEST:: SOT 207488 SOS 110184 HAS SOPS 107530 HAS SOUS 34992 HAS SOUPS 34870 WITH SCORE 34980.184
AT ITER 397 NEW BEST:: SOT 207481 SOS 110163 HAS SOPS 107509 HAS SOUS 34978 HAS SOUPS 34856 WITH SCORE 34966.163
AT ITER 398 NEW BEST:: SOT 207476 SOS 110153 HAS SOPS 107499 HAS SOUS 34967 HAS SOUPS 34845 WITH SCORE 34955.153
AT ITER 401 NEW BEST:: SOT 205808 SOS 110348 HAS SOPS 105831 HAS SOUS 33512 HAS SOUPS 33329 WITH SCORE 33439.348
AT ITER 411 NEW BEST:: SOT 205809 SOS 110333 HAS SOPS 105805 HAS SOUS 33497 HAS SOUPS 33314 WITH SCORE 33424.333
AT ITER 414 NEW BEST:: SOT 205749 SOS 110273 HAS SOPS 105685 HAS SOUS 33374 HAS SOUPS 33191 WITH SCORE 33301.273
AT ITER 429 NEW BEST:: SOT 205692 SOS 110035 HAS SOPS 105480 HAS SOUS 33295 HAS SOUPS 33112 WITH SCORE 33222.035
AT ITER 430 NEW BEST:: SOT 205692 SOS 110020 HAS SOPS 105465 HAS SOUS 33294 HAS SOUPS 33111 WITH SCORE 33221.02
AT ITER 437 NEW BEST:: SOT 205696 SOS 109980 HAS SOPS 105425 HAS SOUS 33250 HAS SOUPS 33067 WITH SCORE 33176.98
AT ITER 443 NEW BEST:: SOT 205700 SOS 110062 HAS SOPS 105507 HAS SOUS 33135 HAS SOUPS 32952 WITH SCORE 33062.062
AT ITER 445 NEW BEST:: SOT 205735 SOS 110033 HAS SOPS 105485 HAS SOUS 33084 HAS SOUPS 32901 WITH SCORE 33011.033
AT ITER 451 NEW BEST:: SOT 205695 SOS 110054 HAS SOPS 105454 HAS SOUS 32992 HAS SOUPS 32809 WITH SCORE 32919.054
AT ITER 455 NEW BEST:: SOT 206196 SOS 108945 HAS SOPS 103421 HAS SOUS 30925 HAS SOUPS 30739 WITH SCORE 30847.945
AT ITER 456 NEW BEST:: SOT 206178 SOS 108845 HAS SOPS 103321 HAS SOUS 30907 HAS SOUPS 30721 WITH SCORE 30829.845
AT ITER 457 NEW BEST:: SOT 206163 SOS 108824 HAS SOPS 103288 HAS SOUS 30894 HAS SOUPS 30708 WITH SCORE 30816.824
AT ITER 458 NEW BEST:: SOT 206180 SOS 108536 HAS SOPS 103000 HAS SOUS 30884 HAS SOUPS 30698 WITH SCORE 30806.536
AT ITER 462 NEW BEST:: SOT 206161 SOS 108479 HAS SOPS 102943 HAS SOUS 30808 HAS SOUPS 30622 WITH SCORE 30730.479
AT ITER 464 NEW BEST:: SOT 206038 SOS 108251 HAS SOPS 102654 HAS SOUS 30566 HAS SOUPS 30380 WITH SCORE 30488.251
AT ITER 470 NEW BEST:: SOT 206042 SOS 107743 HAS SOPS 102146 HAS SOUS 30540 HAS SOUPS 30354 WITH SCORE 30461.743
AT ITER 478 NEW BEST:: SOT 206027 SOS 107713 HAS SOPS 102101 HAS SOUS 30495 HAS SOUPS 30309 WITH SCORE 30416.713
AT ITER 482 NEW BEST:: SOT 205979 SOS 107677 HAS SOPS 102077 HAS SOUS 30430 HAS SOUPS 30244 WITH SCORE 30351.677
AT ITER 483 NEW BEST:: SOT 205979 SOS 107626 HAS SOPS 102077 HAS SOUS 30430 HAS SOUPS 30244 WITH SCORE 30351.626
AT ITER 488 NEW BEST:: SOT 205956 SOS 106174 HAS SOPS 100625 HAS SOUS 30217 HAS SOUPS 30031 WITH SCORE 30137.174
AT ITER 490 NEW BEST:: SOT 205956 SOS 105598 HAS SOPS 100061 HAS SOUS 30061 HAS SOUPS 29875 WITH SCORE 29980.598
AT ITER 491 NEW BEST:: SOT 205881 SOS 105300 HAS SOPS 99763 HAS SOUS 29922 HAS SOUPS 29736 WITH SCORE 29841.3
AT ITER 494 NEW BEST:: SOT 205825 SOS 105188 HAS SOPS 99651 HAS SOUS 29922 HAS SOUPS 29736 WITH SCORE 29841.188
AT ITER 496 NEW BEST:: SOT 205818 SOS 105092 HAS SOPS 99548 HAS SOUS 29819 HAS SOUPS 29633 WITH SCORE 29738.092
AT ITER 499 NEW BEST:: SOT 205812 SOS 105086 HAS SOPS 99542 HAS SOUS 29813 HAS SOUPS 29627 WITH SCORE 29732.086
AT ITER 506 NEW BEST:: SOT 205851 SOS 105047 HAS SOPS 99503 HAS SOUS 29735 HAS SOUPS 29549 WITH SCORE 29654.047
AT ITER 525 NEW BEST:: SOT 205732 SOS 104928 HAS SOPS 99418 HAS SOUS 29605 HAS SOUPS 29419 WITH SCORE 29523.928
AT ITER 529 NEW BEST:: SOT 200366 SOS 134414 HAS SOPS 93860 HAS SOUS 27562 HAS SOUPS 27270 WITH SCORE 27404.414
AT ITER 533 NEW BEST:: SOT 200527 SOS 134550 HAS SOPS 92927 HAS SOUS 27463 HAS SOUPS 27171 WITH SCORE 27305.55
AT ITER 541 NEW BEST:: SOT 200516 SOS 134528 HAS SOPS 92905 HAS SOUS 27450 HAS SOUPS 27158 WITH SCORE 27292.528
AT ITER 545 NEW BEST:: SOT 200498 SOS 134467 HAS SOPS 92884 HAS SOUS 27429 HAS SOUPS 27137 WITH SCORE 27271.467
AT ITER 548 NEW BEST:: SOT 200426 SOS 134246 HAS SOPS 92663 HAS SOUS 27280 HAS SOUPS 26988 WITH SCORE 27122.246
AT ITER 552 NEW BEST:: SOT 200414 SOS 134215 HAS SOPS 92639 HAS SOUS 27256 HAS SOUPS 26964 WITH SCORE 27098.215
AT ITER 559 NEW BEST:: SOT 199470 SOS 133369 HAS SOPS 93359 HAS SOUS 27113 HAS SOUPS 26821 WITH SCORE 26954.369
AT ITER 561 NEW BEST:: SOT 199470 SOS 133323 HAS SOPS 93313 HAS SOUS 27067 HAS SOUPS 26775 WITH SCORE 26908.323
AT ITER 572 NEW BEST:: SOT 199447 SOS 133300 HAS SOPS 93267 HAS SOUS 27021 HAS SOUPS 26729 WITH SCORE 26862.3
AT ITER 574 NEW BEST:: SOT 199447 SOS 133296 HAS SOPS 93263 HAS SOUS 27017 HAS SOUPS 26725 WITH SCORE 26858.296
AT ITER 586 NEW BEST:: SOT 199223 SOS 132908 HAS SOPS 92815 HAS SOUS 26673 HAS SOUPS 26381 WITH SCORE 26513.908
AT ITER 599 NEW BEST:: SOT 199219 SOS 132904 HAS SOPS 92811 HAS SOUS 26673 HAS SOUPS 26381 WITH SCORE 26513.904
AT ITER 602 NEW BEST:: SOT 199192 SOS 132986 HAS SOPS 92913 HAS SOUS 26599 HAS SOUPS 26307 WITH SCORE 26439.986
AT ITER 604 NEW BEST:: SOT 199054 SOS 132848 HAS SOPS 92775 HAS SOUS 26531 HAS SOUPS 26239 WITH SCORE 26371.848
AT ITER 606 NEW BEST:: SOT 198960 SOS 132689 HAS SOPS 92587 HAS SOUS 26373 HAS SOUPS 26081 WITH SCORE 26213.689
AT ITER 614 NEW BEST:: SOT 199003 SOS 129092 HAS SOPS 88990 HAS SOUS 26163 HAS SOUPS 25871 WITH SCORE 26000.092
AT ITER 617 NEW BEST:: SOT 199000 SOS 128975 HAS SOPS 88822 HAS SOUS 26048 HAS SOUPS 25756 WITH SCORE 25884.975
AT ITER 619 NEW BEST:: SOT 198996 SOS 128967 HAS SOPS 88814 HAS SOUS 26030 HAS SOUPS 25738 WITH SCORE 25866.967
AT ITER 622 NEW BEST:: SOT 199009 SOS 128884 HAS SOPS 88756 HAS SOUS 25972 HAS SOUPS 25680 WITH SCORE 25808.884
AT ITER 623 NEW BEST:: SOT 199034 SOS 128960 HAS SOPS 88805 HAS SOUS 25969 HAS SOUPS 25677 WITH SCORE 25805.96
AT ITER 625 NEW BEST:: SOT 199070 SOS 128539 HAS SOPS 88384 HAS SOUS 25951 HAS SOUPS 25659 WITH SCORE 25787.539
AT ITER 627 NEW BEST:: SOT 198631 SOS 128071 HAS SOPS 88020 HAS SOUS 25729 HAS SOUPS 25437 WITH SCORE 25565.071
AT ITER 635 NEW BEST:: SOT 198648 SOS 125737 HAS SOPS 85148 HAS SOUS 25437 HAS SOUPS 25145 WITH SCORE 25270.737
AT ITER 638 NEW BEST:: SOT 198693 SOS 125827 HAS SOPS 85144 HAS SOUS 25388 HAS SOUPS 25096 WITH SCORE 25221.827
AT ITER 654 NEW BEST:: SOT 198714 SOS 125813 HAS SOPS 85141 HAS SOUS 25375 HAS SOUPS 25083 WITH SCORE 25208.813
AT ITER 662 NEW BEST:: SOT 198705 SOS 125824 HAS SOPS 85123 HAS SOUS 25250 HAS SOUPS 24958 WITH SCORE 25083.824
AT ITER 665 NEW BEST:: SOT 198701 SOS 125812 HAS SOPS 85119 HAS SOUS 25242 HAS SOUPS 24950 WITH SCORE 25075.812
AT ITER 670 NEW BEST:: SOT 198717 SOS 125832 HAS SOPS 85034 HAS SOUS 25235 HAS SOUPS 24943 WITH SCORE 25068.832
AT ITER 671 NEW BEST:: SOT 198717 SOS 125813 HAS SOPS 85015 HAS SOUS 25216 HAS SOUPS 24924 WITH SCORE 25049.813
AT ITER 679 NEW BEST:: SOT 198668 SOS 125727 HAS SOPS 84917 HAS SOUS 25150 HAS SOUPS 24858 WITH SCORE 24983.727
AT ITER 682 NEW BEST:: SOT 198011 SOS 124924 HAS SOPS 84083 HAS SOUS 24757 HAS SOUPS 24465 WITH SCORE 24589.924
AT ITER 684 NEW BEST:: SOT 197781 SOS 124831 HAS SOPS 83806 HAS SOUS 24449 HAS SOUPS 24157 WITH SCORE 24281.831
AT ITER 685 NEW BEST:: SOT 197755 SOS 124805 HAS SOPS 83754 HAS SOUS 24397 HAS SOUPS 24105 WITH SCORE 24229.805
AT ITER 704 NEW BEST:: SOT 197662 SOS 124681 HAS SOPS 83603 HAS SOUS 24249 HAS SOUPS 23957 WITH SCORE 24081.681
AT ITER 709 NEW BEST:: SOT 197662 SOS 124671 HAS SOPS 83593 HAS SOUS 24239 HAS SOUPS 23947 WITH SCORE 24071.671
AT ITER 711 NEW BEST:: SOT 197537 SOS 124614 HAS SOPS 83457 HAS SOUS 24164 HAS SOUPS 23867 WITH SCORE 23991.614
AT ITER 712 NEW BEST:: SOT 197752 SOS 124821 HAS SOPS 83421 HAS SOUS 24095 HAS SOUPS 23798 WITH SCORE 23922.821
AT ITER 718 NEW BEST:: SOT 198803 SOS 125852 HAS SOPS 84112 HAS SOUS 23999 HAS SOUPS 23702 WITH SCORE 23827.852
AT ITER 719 NEW BEST:: SOT 198798 SOS 125874 HAS SOPS 84102 HAS SOUS 23935 HAS SOUPS 23638 WITH SCORE 23763.874
AT ITER 728 NEW BEST:: SOT 198739 SOS 125815 HAS SOPS 83984 HAS SOUS 23902 HAS SOUPS 23605 WITH SCORE 23730.815
AT ITER 730 NEW BEST:: SOT 198715 SOS 125776 HAS SOPS 83945 HAS SOUS 23875 HAS SOUPS 23578 WITH SCORE 23703.776
AT ITER 731 NEW BEST:: SOT 198172 SOS 125233 HAS SOPS 83402 HAS SOUS 23596 HAS SOUPS 23299 WITH SCORE 23424.233
AT ITER 732 NEW BEST:: SOT 197964 SOS 125041 HAS SOPS 83202 HAS SOUS 23500 HAS SOUPS 23203 WITH SCORE 23328.041
AT ITER 749 NEW BEST:: SOT 197950 SOS 125000 HAS SOPS 83140 HAS SOUS 23458 HAS SOUPS 23161 WITH SCORE 23286.0
AT ITER 760 NEW BEST:: SOT 198021 SOS 125001 HAS SOPS 83109 HAS SOUS 23426 HAS SOUPS 23129 WITH SCORE 23254.001
AT ITER 761 NEW BEST:: SOT 196072 SOS 123098 HAS SOPS 81510 HAS SOUS 22734 HAS SOUPS 22437 WITH SCORE 22560.098
AT ITER 766 NEW BEST:: SOT 196124 SOS 120669 HAS SOPS 79081 HAS SOUS 22663 HAS SOUPS 22366 WITH SCORE 22486.669
AT ITER 768 NEW BEST:: SOT 196054 SOS 120657 HAS SOPS 79073 HAS SOUS 22612 HAS SOUPS 22315 WITH SCORE 22435.657
AT ITER 774 NEW BEST:: SOT 196059 SOS 120623 HAS SOPS 79044 HAS SOUS 22583 HAS SOUPS 22286 WITH SCORE 22406.623
AT ITER 777 NEW BEST:: SOT 195982 SOS 120609 HAS SOPS 79030 HAS SOUS 22569 HAS SOUPS 22272 WITH SCORE 22392.609
AT ITER 783 NEW BEST:: SOT 195360 SOS 123396 HAS SOPS 78386 HAS SOUS 22082 HAS SOUPS 21732 WITH SCORE 21855.396
AT ITER 785 NEW BEST:: SOT 195394 SOS 123321 HAS SOPS 78206 HAS SOUS 21947 HAS SOUPS 21597 WITH SCORE 21720.321
AT ITER 795 NEW BEST:: SOT 195065 SOS 122980 HAS SOPS 77858 HAS SOUS 21762 HAS SOUPS 21405 WITH SCORE 21527.98
AT ITER 798 NEW BEST:: SOT 195060 SOS 122970 HAS SOPS 77859 HAS SOUS 21757 HAS SOUPS 21400 WITH SCORE 21522.97
AT ITER 807 NEW BEST:: SOT 195060 SOS 122966 HAS SOPS 77859 HAS SOUS 21754 HAS SOUPS 21397 WITH SCORE 21519.966
AT ITER 809 NEW BEST:: SOT 193949 SOS 121865 HAS SOPS 77050 HAS SOUS 21732 HAS SOUPS 21375 WITH SCORE 21496.865
AT ITER 827 NEW BEST:: SOT 193894 SOS 121791 HAS SOPS 76940 HAS SOUS 21635 HAS SOUPS 21278 WITH SCORE 21399.791
AT ITER 828 NEW BEST:: SOT 193894 SOS 121789 HAS SOPS 76938 HAS SOUS 21633 HAS SOUPS 21276 WITH SCORE 21397.789
AT ITER 834 NEW BEST:: SOT 193866 SOS 122435 HAS SOPS 77584 HAS SOUS 21624 HAS SOUPS 21267 WITH SCORE 21389.435
AT ITER 846 NEW BEST:: SOT 193866 SOS 122430 HAS SOPS 77579 HAS SOUS 21624 HAS SOUPS 21267 WITH SCORE 21389.43
AT ITER 852 NEW BEST:: SOT 193835 SOS 122399 HAS SOPS 77544 HAS SOUS 21589 HAS SOUPS 21232 WITH SCORE 21354.399
AT ITER 859 NEW BEST:: SOT 193825 SOS 122399 HAS SOPS 77534 HAS SOUS 21569 HAS SOUPS 21212 WITH SCORE 21334.399
AT ITER 868 NEW BEST:: SOT 193769 SOS 122240 HAS SOPS 77422 HAS SOUS 21433 HAS SOUPS 21076 WITH SCORE 21198.24
AT ITER 877 NEW BEST:: SOT 194082 SOS 122526 HAS SOPS 76181 HAS SOUS 21400 HAS SOUPS 21043 WITH SCORE 21165.526
AT ITER 886 NEW BEST:: SOT 194077 SOS 122521 HAS SOPS 76176 HAS SOUS 21400 HAS SOUPS 21043 WITH SCORE 21165.521
AT ITER 894 NEW BEST:: SOT 193975 SOS 122611 HAS SOPS 76118 HAS SOUS 21318 HAS SOUPS 20961 WITH SCORE 21083.611
AT ITER 896 NEW BEST:: SOT 193971 SOS 122607 HAS SOPS 76114 HAS SOUS 21310 HAS SOUPS 20953 WITH SCORE 21075.607
AT ITER 905 NEW BEST:: SOT 193959 SOS 122609 HAS SOPS 76079 HAS SOUS 21275 HAS SOUPS 20918 WITH SCORE 21040.609
AT ITER 911 NEW BEST:: SOT 193942 SOS 122532 HAS SOPS 76017 HAS SOUS 21264 HAS SOUPS 20907 WITH SCORE 21029.532
AT ITER 912 NEW BEST:: SOT 193858 SOS 122319 HAS SOPS 75792 HAS SOUS 21108 HAS SOUPS 20751 WITH SCORE 20873.319
AT ITER 924 NEW BEST:: SOT 193768 SOS 122072 HAS SOPS 75532 HAS SOUS 20964 HAS SOUPS 20607 WITH SCORE 20729.072
AT ITER 932 NEW BEST:: SOT 193776 SOS 122032 HAS SOPS 75500 HAS SOUS 20922 HAS SOUPS 20565 WITH SCORE 20687.032
AT ITER 944 NEW BEST:: SOT 193625 SOS 121861 HAS SOPS 75198 HAS SOUS 20620 HAS SOUPS 20263 WITH SCORE 20384.861
AT ITER 946 NEW BEST:: SOT 193625 SOS 121861 HAS SOPS 75150 HAS SOUS 20572 HAS SOUPS 20215 WITH SCORE 20336.861
AT ITER 951 NEW BEST:: SOT 193625 SOS 121831 HAS SOPS 75120 HAS SOUS 20542 HAS SOUPS 20185 WITH SCORE 20306.831
AT ITER 967 NEW BEST:: SOT 193608 SOS 121797 HAS SOPS 75086 HAS SOUS 20508 HAS SOUPS 20151 WITH SCORE 20272.797
AT ITER 973 NEW BEST:: SOT 193596 SOS 121785 HAS SOPS 75074 HAS SOUS 20496 HAS SOUPS 20139 WITH SCORE 20260.785
AT ITER 975 NEW BEST:: SOT 193592 SOS 121781 HAS SOPS 75070 HAS SOUS 20496 HAS SOUPS 20139 WITH SCORE 20260.781
AT ITER 979 NEW BEST:: SOT 193367 SOS 121556 HAS SOPS 74845 HAS SOUS 20382 HAS SOUPS 20025 WITH SCORE 20146.556
AT ITER 982 NEW BEST:: SOT 193348 SOS 121500 HAS SOPS 74807 HAS SOUS 20360 HAS SOUPS 20003 WITH SCORE 20124.5
AT ITER 984 NEW BEST:: SOT 193346 SOS 121498 HAS SOPS 74836 HAS SOUS 20355 HAS SOUPS 20003 WITH SCORE 20124.498
AT ITER 990 NEW BEST:: SOT 193346 SOS 121438 HAS SOPS 74836 HAS SOUS 20355 HAS SOUPS 20003 WITH SCORE 20124.438
AT ITER 992 NEW BEST:: SOT 193339 SOS 121431 HAS SOPS 74822 HAS SOUS 20348 HAS SOUPS 19996 WITH SCORE 20117.431
AT ITER 996 NEW BEST:: SOT 193327 SOS 121407 HAS SOPS 74786 HAS SOUS 20312 HAS SOUPS 19960 WITH SCORE 20081.407
AT ITER 999 NEW BEST:: SOT 193240 SOS 123445 HAS SOPS 74697 HAS SOUS 20253 HAS SOUPS 19877 WITH SCORE 20000.445
AT ITER 1002 NEW BEST:: SOT 193240 SOS 123419 HAS SOPS 74697 HAS SOUS 20253 HAS SOUPS 19877 WITH SCORE 20000.419
AT ITER 1007 NEW BEST:: SOT 193167 SOS 123345 HAS SOPS 74551 HAS SOUS 20157 HAS SOUPS 19781 WITH SCORE 19904.345
AT ITER 1011 NEW BEST:: SOT 193080 SOS 123171 HAS SOPS 74377 HAS SOUS 19983 HAS SOUPS 19607 WITH SCORE 19730.171
AT ITER 1013 NEW BEST:: SOT 193067 SOS 123124 HAS SOPS 74352 HAS SOUS 19958 HAS SOUPS 19582 WITH SCORE 19705.124
AT ITER 1014 NEW BEST:: SOT 193072 SOS 123042 HAS SOPS 74269 HAS SOUS 19871 HAS SOUPS 19495 WITH SCORE 19618.042
AT ITER 1015 NEW BEST:: SOT 193026 SOS 122996 HAS SOPS 74223 HAS SOUS 19844 HAS SOUPS 19468 WITH SCORE 19590.996
AT ITER 1016 NEW BEST:: SOT 192997 SOS 122938 HAS SOPS 74165 HAS SOUS 19815 HAS SOUPS 19439 WITH SCORE 19561.938
AT ITER 1026 NEW BEST:: SOT 192975 SOS 122808 HAS SOPS 74047 HAS SOUS 19731 HAS SOUPS 19355 WITH SCORE 19477.808
AT ITER 1043 NEW BEST:: SOT 192949 SOS 122782 HAS SOPS 74021 HAS SOUS 19705 HAS SOUPS 19329 WITH SCORE 19451.782
AT ITER 1081 NEW BEST:: SOT 192971 SOS 122760 HAS SOPS 74021 HAS SOUS 19705 HAS SOUPS 19329 WITH SCORE 19451.76
AT ITER 1086 NEW BEST:: SOT 192971 SOS 122760 HAS SOPS 74021 HAS SOUS 19691 HAS SOUPS 19315 WITH SCORE 19437.76
AT ITER 1092 NEW BEST:: SOT 192344 SOS 124795 HAS SOPS 75984 HAS SOUS 19504 HAS SOUPS 19128 WITH SCORE 19252.795
AT ITER 1094 NEW BEST:: SOT 192323 SOS 124732 HAS SOPS 75921 HAS SOUS 19462 HAS SOUPS 19086 WITH SCORE 19210.732
AT ITER 1098 NEW BEST:: SOT 192332 SOS 124725 HAS SOPS 75926 HAS SOUS 19457 HAS SOUPS 19081 WITH SCORE 19205.725
AT ITER 1101 NEW BEST:: SOT 192359 SOS 124801 HAS SOPS 75980 HAS SOUS 19422 HAS SOUPS 19046 WITH SCORE 19170.801
AT ITER 1107 NEW BEST:: SOT 192437 SOS 124875 HAS SOPS 75822 HAS SOUS 19402 HAS SOUPS 19026 WITH SCORE 19150.875
AT ITER 1109 NEW BEST:: SOT 192457 SOS 124821 HAS SOPS 75788 HAS SOUS 19368 HAS SOUPS 18992 WITH SCORE 19116.821
AT ITER 1112 NEW BEST:: SOT 192415 SOS 124765 HAS SOPS 75718 HAS SOUS 19312 HAS SOUPS 18936 WITH SCORE 19060.765
AT ITER 1117 NEW BEST:: SOT 192414 SOS 124766 HAS SOPS 75715 HAS SOUS 19306 HAS SOUPS 18930 WITH SCORE 19054.766
AT ITER 1138 NEW BEST:: SOT 192394 SOS 124766 HAS SOPS 75695 HAS SOUS 19286 HAS SOUPS 18910 WITH SCORE 19034.766
AT ITER 1139 NEW BEST:: SOT 192417 SOS 124666 HAS SOPS 75653 HAS SOUS 19279 HAS SOUPS 18903 WITH SCORE 19027.666
AT ITER 1142 NEW BEST:: SOT 192511 SOS 124762 HAS SOPS 75609 HAS SOUS 19204 HAS SOUPS 18828 WITH SCORE 18952.762
AT ITER 1147 NEW BEST:: SOT 192466 SOS 124761 HAS SOPS 75608 HAS SOUS 19195 HAS SOUPS 18819 WITH SCORE 18943.761
AT ITER 1151 NEW BEST:: SOT 192477 SOS 124743 HAS SOPS 75590 HAS SOUS 19165 HAS SOUPS 18789 WITH SCORE 18913.743
AT ITER 1154 NEW BEST:: SOT 192496 SOS 124736 HAS SOPS 75623 HAS SOUS 19140 HAS SOUPS 18764 WITH SCORE 18888.736
AT ITER 1156 NEW BEST:: SOT 192495 SOS 124734 HAS SOPS 75621 HAS SOUS 19138 HAS SOUPS 18762 WITH SCORE 18886.734
AT ITER 1169 NEW BEST:: SOT 192495 SOS 124734 HAS SOPS 75621 HAS SOUS 19127 HAS SOUPS 18751 WITH SCORE 18875.734
AT ITER 1178 NEW BEST:: SOT 192483 SOS 124701 HAS SOPS 75570 HAS SOUS 19097 HAS SOUPS 18721 WITH SCORE 18845.701
AT ITER 1185 NEW BEST:: SOT 192483 SOS 124716 HAS SOPS 75570 HAS SOUS 19082 HAS SOUPS 18706 WITH SCORE 18830.716
AT ITER 1194 NEW BEST:: SOT 192483 SOS 124711 HAS SOPS 75565 HAS SOUS 19077 HAS SOUPS 18701 WITH SCORE 18825.711
AT ITER 1203 NEW BEST:: SOT 192017 SOS 124247 HAS SOPS 75092 HAS SOUS 18829 HAS SOUPS 18453 WITH SCORE 18577.247
AT ITER 1205 NEW BEST:: SOT 192006 SOS 124204 HAS SOPS 75038 HAS SOUS 18796 HAS SOUPS 18420 WITH SCORE 18544.204
AT ITER 1218 NEW BEST:: SOT 192006 SOS 124201 HAS SOPS 75038 HAS SOUS 18796 HAS SOUPS 18420 WITH SCORE 18544.201
AT ITER 1224 NEW BEST:: SOT 192023 SOS 124164 HAS SOPS 75007 HAS SOUS 18762 HAS SOUPS 18386 WITH SCORE 18510.164
AT ITER 1255 NEW BEST:: SOT 192023 SOS 124163 HAS SOPS 75006 HAS SOUS 18761 HAS SOUPS 18385 WITH SCORE 18509.163
AT ITER 1267 NEW BEST:: SOT 192006 SOS 124146 HAS SOPS 74998 HAS SOUS 18754 HAS SOUPS 18378 WITH SCORE 18502.146
AT ITER 1318 NEW BEST:: SOT 192006 SOS 124144 HAS SOPS 74996 HAS SOUS 18754 HAS SOUPS 18378 WITH SCORE 18502.144
AT ITER 1334 NEW BEST:: SOT 191979 SOS 124117 HAS SOPS 74969 HAS SOUS 18727 HAS SOUPS 18351 WITH SCORE 18475.117
AT ITER 1341 NEW BEST:: SOT 191942 SOS 124020 HAS SOPS 74853 HAS SOUS 18630 HAS SOUPS 18254 WITH SCORE 18378.02
AT ITER 1345 NEW BEST:: SOT 191963 SOS 123776 HAS SOPS 74709 HAS SOUS 18565 HAS SOUPS 18189 WITH SCORE 18312.776
AT ITER 1360 NEW BEST:: SOT 191941 SOS 121079 HAS SOPS 72039 HAS SOUS 18400 HAS SOUPS 18024 WITH SCORE 18145.079
AT ITER 1363 NEW BEST:: SOT 191941 SOS 121041 HAS SOPS 72001 HAS SOUS 18400 HAS SOUPS 18024 WITH SCORE 18145.041
AT ITER 1367 NEW BEST:: SOT 191937 SOS 121022 HAS SOPS 71974 HAS SOUS 18388 HAS SOUPS 18012 WITH SCORE 18133.022
AT ITER 1374 NEW BEST:: SOT 191922 SOS 121007 HAS SOPS 71901 HAS SOUS 18315 HAS SOUPS 17939 WITH SCORE 18060.007
AT ITER 1388 NEW BEST:: SOT 191963 SOS 120988 HAS SOPS 71847 HAS SOUS 18293 HAS SOUPS 17917 WITH SCORE 18037.988
AT ITER 1394 NEW BEST:: SOT 191926 SOS 121029 HAS SOPS 71855 HAS SOUS 18264 HAS SOUPS 17888 WITH SCORE 18009.029
AT ITER 1397 NEW BEST:: SOT 191921 SOS 121029 HAS SOPS 71850 HAS SOUS 18259 HAS SOUPS 17883 WITH SCORE 18004.029
AT ITER 1402 NEW BEST:: SOT 191891 SOS 120969 HAS SOPS 71158 HAS SOUS 17930 HAS SOUPS 17554 WITH SCORE 17674.969
AT ITER 1409 NEW BEST:: SOT 191877 SOS 120949 HAS SOPS 71130 HAS SOUS 17914 HAS SOUPS 17538 WITH SCORE 17658.949
AT ITER 1410 NEW BEST:: SOT 191876 SOS 120925 HAS SOPS 71096 HAS SOUS 17877 HAS SOUPS 17501 WITH SCORE 17621.925
AT ITER 1423 NEW BEST:: SOT 191870 SOS 120901 HAS SOPS 71084 HAS SOUS 17868 HAS SOUPS 17492 WITH SCORE 17612.901
AT ITER 1427 NEW BEST:: SOT 191875 SOS 120847 HAS SOPS 71035 HAS SOUS 17819 HAS SOUPS 17443 WITH SCORE 17563.847
AT ITER 1436 NEW BEST:: SOT 191260 SOS 120232 HAS SOPS 70420 HAS SOUS 17517 HAS SOUPS 17141 WITH SCORE 17261.232
AT ITER 1437 NEW BEST:: SOT 191249 SOS 120197 HAS SOPS 70385 HAS SOUS 17482 HAS SOUPS 17106 WITH SCORE 17226.197
AT ITER 1438 NEW BEST:: SOT 191203 SOS 120096 HAS SOPS 70239 HAS SOUS 17347 HAS SOUPS 16971 WITH SCORE 17091.096
AT ITER 1446 NEW BEST:: SOT 190504 SOS 119390 HAS SOPS 69533 HAS SOUS 16987 HAS SOUPS 16611 WITH SCORE 16730.39
AT ITER 1452 NEW BEST:: SOT 190604 SOS 119312 HAS SOPS 69515 HAS SOUS 16967 HAS SOUPS 16591 WITH SCORE 16710.312
AT ITER 1469 NEW BEST:: SOT 190590 SOS 119280 HAS SOPS 69457 HAS SOUS 16914 HAS SOUPS 16533 WITH SCORE 16652.28
AT ITER 1483 NEW BEST:: SOT 190599 SOS 119278 HAS SOPS 69434 HAS SOUS 16891 HAS SOUPS 16510 WITH SCORE 16629.278
AT ITER 1495 NEW BEST:: SOT 190589 SOS 119273 HAS SOPS 69424 HAS SOUS 16886 HAS SOUPS 16505 WITH SCORE 16624.273
AT ITER 1509 NEW BEST:: SOT 190585 SOS 119273 HAS SOPS 69420 HAS SOUS 16882 HAS SOUPS 16501 WITH SCORE 16620.273
AT ITER 1510 NEW BEST:: SOT 190580 SOS 119252 HAS SOPS 69394 HAS SOUS 16872 HAS SOUPS 16491 WITH SCORE 16610.252
AT ITER 1512 NEW BEST:: SOT 190598 SOS 119276 HAS SOPS 69430 HAS SOUS 16864 HAS SOUPS 16483 WITH SCORE 16602.276
AT ITER 1562 NEW BEST:: SOT 190602 SOS 119256 HAS SOPS 69410 HAS SOUS 16844 HAS SOUPS 16463 WITH SCORE 16582.256
AT ITER 1566 NEW BEST:: SOT 190599 SOS 119250 HAS SOPS 69404 HAS SOUS 16838 HAS SOUPS 16457 WITH SCORE 16576.25
AT ITER 1582 NEW BEST:: SOT 190599 SOS 119241 HAS SOPS 69404 HAS SOUS 16838 HAS SOUPS 16457 WITH SCORE 16576.241
AT ITER 1585 NEW BEST:: SOT 190595 SOS 119230 HAS SOPS 69389 HAS SOUS 16830 HAS SOUPS 16449 WITH SCORE 16568.23
AT ITER 1587 NEW BEST:: SOT 190545 SOS 119221 HAS SOPS 69363 HAS SOUS 16807 HAS SOUPS 16426 WITH SCORE 16545.221
AT ITER 1589 NEW BEST:: SOT 190566 SOS 119218 HAS SOPS 69359 HAS SOUS 16787 HAS SOUPS 16406 WITH SCORE 16525.218
AT ITER 1593 NEW BEST:: SOT 190555 SOS 119207 HAS SOPS 69337 HAS SOUS 16765 HAS SOUPS 16384 WITH SCORE 16503.207
AT ITER 1601 NEW BEST:: SOT 190254 SOS 118909 HAS SOPS 69213 HAS SOUS 16628 HAS SOUPS 16247 WITH SCORE 16365.909
AT ITER 1614 NEW BEST:: SOT 190228 SOS 118935 HAS SOPS 69243 HAS SOUS 16621 HAS SOUPS 16240 WITH SCORE 16358.935
AT ITER 1616 NEW BEST:: SOT 190178 SOS 118796 HAS SOPS 69103 HAS SOUS 16511 HAS SOUPS 16130 WITH SCORE 16248.796
AT ITER 1620 NEW BEST:: SOT 190164 SOS 118768 HAS SOPS 69068 HAS SOUS 16483 HAS SOUPS 16102 WITH SCORE 16220.768
AT ITER 1629 NEW BEST:: SOT 190070 SOS 118610 HAS SOPS 68880 HAS SOUS 16356 HAS SOUPS 15975 WITH SCORE 16093.61
AT ITER 1642 NEW BEST:: SOT 190071 SOS 118613 HAS SOPS 68882 HAS SOUS 16355 HAS SOUPS 15974 WITH SCORE 16092.613
AT ITER 1650 NEW BEST:: SOT 190069 SOS 118601 HAS SOPS 68878 HAS SOUS 16351 HAS SOUPS 15970 WITH SCORE 16088.601
AT ITER 1653 NEW BEST:: SOT 190073 SOS 118617 HAS SOPS 68886 HAS SOUS 16347 HAS SOUPS 15966 WITH SCORE 16084.617
AT ITER 1676 NEW BEST:: SOT 190092 SOS 118598 HAS SOPS 68886 HAS SOUS 16347 HAS SOUPS 15966 WITH SCORE 16084.598
AT ITER 1685 NEW BEST:: SOT 190092 SOS 118593 HAS SOPS 68881 HAS SOUS 16342 HAS SOUPS 15961 WITH SCORE 16079.593
AT ITER 1689 NEW BEST:: SOT 190053 SOS 115782 HAS SOPS 66103 HAS SOUS 16264 HAS SOUPS 15883 WITH SCORE 15998.782
AT ITER 1700 NEW BEST:: SOT 189974 SOS 115783 HAS SOPS 66066 HAS SOUS 16227 HAS SOUPS 15846 WITH SCORE 15961.783
AT ITER 1706 NEW BEST:: SOT 189974 SOS 115783 HAS SOPS 66066 HAS SOUS 16200 HAS SOUPS 15819 WITH SCORE 15934.783
AT ITER 1711 NEW BEST:: SOT 189973 SOS 115701 HAS SOPS 65976 HAS SOUS 16147 HAS SOUPS 15766 WITH SCORE 15881.701
AT ITER 1737 NEW BEST:: SOT 189987 SOS 115651 HAS SOPS 65940 HAS SOUS 16098 HAS SOUPS 15717 WITH SCORE 15832.651
AT ITER 1761 NEW BEST:: SOT 189963 SOS 115627 HAS SOPS 65916 HAS SOUS 16098 HAS SOUPS 15717 WITH SCORE 15832.627
AT ITER 1763 NEW BEST:: SOT 189939 SOS 115585 HAS SOPS 65868 HAS SOUS 16050 HAS SOUPS 15669 WITH SCORE 15784.585
AT ITER 1790 NEW BEST:: SOT 189925 SOS 115585 HAS SOPS 65840 HAS SOUS 16022 HAS SOUPS 15641 WITH SCORE 15756.585
AT ITER 1793 NEW BEST:: SOT 189905 SOS 115566 HAS SOPS 65800 HAS SOUS 15982 HAS SOUPS 15601 WITH SCORE 15716.566
AT ITER 1797 NEW BEST:: SOT 189908 SOS 115641 HAS SOPS 65806 HAS SOUS 15957 HAS SOUPS 15576 WITH SCORE 15691.641
AT ITER 1798 NEW BEST:: SOT 189911 SOS 115649 HAS SOPS 65812 HAS SOUS 15941 HAS SOUPS 15560 WITH SCORE 15675.649
AT ITER 1802 NEW BEST:: SOT 189911 SOS 115642 HAS SOPS 65812 HAS SOUS 15941 HAS SOUPS 15560 WITH SCORE 15675.642
AT ITER 1803 NEW BEST:: SOT 189917 SOS 115642 HAS SOPS 65812 HAS SOUS 15929 HAS SOUPS 15548 WITH SCORE 15663.642
AT ITER 1811 NEW BEST:: SOT 189913 SOS 115636 HAS SOPS 65806 HAS SOUS 15923 HAS SOUPS 15542 WITH SCORE 15657.636
AT ITER 1820 NEW BEST:: SOT 189945 SOS 115647 HAS SOPS 65774 HAS SOUS 15907 HAS SOUPS 15526 WITH SCORE 15641.647
AT ITER 1821 NEW BEST:: SOT 189925 SOS 115627 HAS SOPS 65734 HAS SOUS 15867 HAS SOUPS 15486 WITH SCORE 15601.627
AT ITER 1840 NEW BEST:: SOT 189796 SOS 115619 HAS SOPS 65605 HAS SOUS 15738 HAS SOUPS 15357 WITH SCORE 15472.619
AT ITER 1841 NEW BEST:: SOT 189745 SOS 115527 HAS SOPS 65583 HAS SOUS 15716 HAS SOUPS 15335 WITH SCORE 15450.527
AT ITER 1861 NEW BEST:: SOT 189680 SOS 115461 HAS SOPS 65527 HAS SOUS 15712 HAS SOUPS 15331 WITH SCORE 15446.461
AT ITER 1863 NEW BEST:: SOT 189628 SOS 115320 HAS SOPS 65360 HAS SOUS 15534 HAS SOUPS 15153 WITH SCORE 15268.32
AT ITER 1870 NEW BEST:: SOT 189618 SOS 115306 HAS SOPS 65340 HAS SOUS 15514 HAS SOUPS 15133 WITH SCORE 15248.306
AT ITER 1873 NEW BEST:: SOT 189568 SOS 115252 HAS SOPS 65285 HAS SOUS 15486 HAS SOUPS 15105 WITH SCORE 15220.252
AT ITER 1899 NEW BEST:: SOT 189568 SOS 115252 HAS SOPS 65285 HAS SOUS 15484 HAS SOUPS 15103 WITH SCORE 15218.252
AT ITER 1910 NEW BEST:: SOT 189531 SOS 115108 HAS SOPS 65164 HAS SOUS 15423 HAS SOUPS 15042 WITH SCORE 15157.108
AT ITER 1996 NEW BEST:: SOT 189481 SOS 115058 HAS SOPS 65114 HAS SOUS 15398 HAS SOUPS 15017 WITH SCORE 15132.058
AT ITER 2017 NEW BEST:: SOT 189415 SOS 114893 HAS SOPS 64949 HAS SOUS 15276 HAS SOUPS 14895 WITH SCORE 15009.893
AT ITER 2018 NEW BEST:: SOT 189398 SOS 114859 HAS SOPS 64848 HAS SOUS 15175 HAS SOUPS 14794 WITH SCORE 14908.859
AT ITER 2031 NEW BEST:: SOT 189284 SOS 123488 HAS SOPS 64734 HAS SOUS 15154 HAS SOUPS 14758 WITH SCORE 14881.488
AT ITER 2035 NEW BEST:: SOT 189264 SOS 123461 HAS SOPS 64694 HAS SOUS 15136 HAS SOUPS 14740 WITH SCORE 14863.461
AT ITER 2040 NEW BEST:: SOT 189213 SOS 123393 HAS SOPS 64609 HAS SOUS 15068 HAS SOUPS 14672 WITH SCORE 14795.393
AT ITER 2055 NEW BEST:: SOT 189210 SOS 123390 HAS SOPS 64603 HAS SOUS 15065 HAS SOUPS 14669 WITH SCORE 14792.39
AT ITER 2069 NEW BEST:: SOT 189173 SOS 123362 HAS SOPS 64569 HAS SOUS 15063 HAS SOUPS 14667 WITH SCORE 14790.362
AT ITER 2075 NEW BEST:: SOT 189173 SOS 122987 HAS SOPS 63767 HAS SOUS 15045 HAS SOUPS 14649 WITH SCORE 14771.987
AT ITER 2085 NEW BEST:: SOT 189232 SOS 123109 HAS SOPS 63881 HAS SOUS 15032 HAS SOUPS 14636 WITH SCORE 14759.109
AT ITER 2091 NEW BEST:: SOT 189197 SOS 123074 HAS SOPS 63811 HAS SOUS 14962 HAS SOUPS 14566 WITH SCORE 14689.074
AT ITER 2092 NEW BEST:: SOT 189196 SOS 123073 HAS SOPS 63809 HAS SOUS 14960 HAS SOUPS 14564 WITH SCORE 14687.073
AT ITER 2121 NEW BEST:: SOT 189184 SOS 123036 HAS SOPS 63785 HAS SOUS 14940 HAS SOUPS 14544 WITH SCORE 14667.036
AT ITER 2124 NEW BEST:: SOT 189184 SOS 123036 HAS SOPS 63785 HAS SOUS 14936 HAS SOUPS 14540 WITH SCORE 14663.036
AT ITER 2195 NEW BEST:: SOT 189143 SOS 122994 HAS SOPS 63761 HAS SOUS 14902 HAS SOUPS 14506 WITH SCORE 14628.994
AT ITER 2205 NEW BEST:: SOT 189138 SOS 122997 HAS SOPS 63751 HAS SOUS 14893 HAS SOUPS 14497 WITH SCORE 14619.997
AT ITER 2217 NEW BEST:: SOT 189132 SOS 122997 HAS SOPS 63745 HAS SOUS 14881 HAS SOUPS 14485 WITH SCORE 14607.997
AT ITER 2221 NEW BEST:: SOT 189066 SOS 122856 HAS SOPS 63609 HAS SOUS 14832 HAS SOUPS 14436 WITH SCORE 14558.856
AT ITER 2232 NEW BEST:: SOT 189065 SOS 122838 HAS SOPS 63595 HAS SOUS 14815 HAS SOUPS 14419 WITH SCORE 14541.838
AT ITER 2236 NEW BEST:: SOT 189065 SOS 122834 HAS SOPS 63595 HAS SOUS 14815 HAS SOUPS 14419 WITH SCORE 14541.834
AT ITER 2257 NEW BEST:: SOT 189056 SOS 122816 HAS SOPS 63566 HAS SOUS 14787 HAS SOUPS 14391 WITH SCORE 14513.816
AT ITER 2268 NEW BEST:: SOT 189029 SOS 122777 HAS SOPS 63527 HAS SOUS 14748 HAS SOUPS 14352 WITH SCORE 14474.777
AT ITER 2281 NEW BEST:: SOT 189034 SOS 122779 HAS SOPS 63529 HAS SOUS 14745 HAS SOUPS 14349 WITH SCORE 14471.779
AT ITER 2285 NEW BEST:: SOT 189033 SOS 122777 HAS SOPS 63527 HAS SOUS 14744 HAS SOUPS 14348 WITH SCORE 14470.777
AT ITER 2288 NEW BEST:: SOT 189032 SOS 122776 HAS SOPS 63525 HAS SOUS 14742 HAS SOUPS 14346 WITH SCORE 14468.776
AT ITER 2293 NEW BEST:: SOT 189011 SOS 122743 HAS SOPS 63519 HAS SOUS 14736 HAS SOUPS 14340 WITH SCORE 14462.743
AT ITER 2296 NEW BEST:: SOT 189000 SOS 122692 HAS SOPS 63474 HAS SOUS 14715 HAS SOUPS 14319 WITH SCORE 14441.692
AT ITER 2343 NEW BEST:: SOT 188967 SOS 122642 HAS SOPS 63408 HAS SOUS 14677 HAS SOUPS 14281 WITH SCORE 14403.642
AT ITER 2370 NEW BEST:: SOT 188928 SOS 122564 HAS SOPS 63330 HAS SOUS 14656 HAS SOUPS 14260 WITH SCORE 14382.564
AT ITER 2380 NEW BEST:: SOT 188933 SOS 122574 HAS SOPS 63340 HAS SOUS 14646 HAS SOUPS 14250 WITH SCORE 14372.574
AT ITER 2383 NEW BEST:: SOT 188927 SOS 122562 HAS SOPS 63328 HAS SOUS 14640 HAS SOUPS 14244 WITH SCORE 14366.562
AT ITER 2400 NEW BEST:: SOT 188540 SOS 122168 HAS SOPS 63006 HAS SOUS 14514 HAS SOUPS 14118 WITH SCORE 14240.168
AT ITER 2416 NEW BEST:: SOT 188532 SOS 122160 HAS SOPS 62990 HAS SOUS 14490 HAS SOUPS 14094 WITH SCORE 14216.16
AT ITER 2425 NEW BEST:: SOT 188530 SOS 122158 HAS SOPS 62986 HAS SOUS 14488 HAS SOUPS 14092 WITH SCORE 14214.158
AT ITER 2429 NEW BEST:: SOT 188528 SOS 122146 HAS SOPS 62784 HAS SOUS 14340 HAS SOUPS 13944 WITH SCORE 14066.146
AT ITER 2432 NEW BEST:: SOT 188498 SOS 122079 HAS SOPS 62724 HAS SOUS 14300 HAS SOUPS 13904 WITH SCORE 14026.079
AT ITER 2502 NEW BEST:: SOT 188513 SOS 122060 HAS SOPS 62722 HAS SOUS 14298 HAS SOUPS 13902 WITH SCORE 14024.06
AT ITER 2516 NEW BEST:: SOT 188510 SOS 122059 HAS SOPS 62721 HAS SOUS 14297 HAS SOUPS 13901 WITH SCORE 14023.059
AT ITER 2520 NEW BEST:: SOT 188493 SOS 122015 HAS SOPS 62687 HAS SOUS 14263 HAS SOUPS 13867 WITH SCORE 13989.015
AT ITER 2529 NEW BEST:: SOT 188408 SOS 121935 HAS SOPS 62651 HAS SOUS 14244 HAS SOUPS 13848 WITH SCORE 13969.935
AT ITER 2536 NEW BEST:: SOT 188352 SOS 121823 HAS SOPS 62539 HAS SOUS 14132 HAS SOUPS 13736 WITH SCORE 13857.823
AT ITER 2553 NEW BEST:: SOT 188264 SOS 142106 HAS SOPS 62397 HAS SOUS 14017 HAS SOUPS 13594 WITH SCORE 13736.106
AT ITER 2562 NEW BEST:: SOT 188233 SOS 157982 HAS SOPS 62340 HAS SOUS 13981 HAS SOUPS 13537 WITH SCORE 13694.982
AT ITER 2564 NEW BEST:: SOT 188219 SOS 157962 HAS SOPS 62312 HAS SOUS 13959 HAS SOUPS 13515 WITH SCORE 13672.962
AT ITER 2581 NEW BEST:: SOT 188212 SOS 157951 HAS SOPS 62298 HAS SOUS 13929 HAS SOUPS 13485 WITH SCORE 13642.951
AT ITER 2622 NEW BEST:: SOT 188201 SOS 157925 HAS SOPS 62261 HAS SOUS 13885 HAS SOUPS 13441 WITH SCORE 13598.925
AT ITER 2648 NEW BEST:: SOT 188186 SOS 157895 HAS SOPS 62231 HAS SOUS 13870 HAS SOUPS 13426 WITH SCORE 13583.895
AT ITER 2676 NEW BEST:: SOT 188186 SOS 157873 HAS SOPS 62220 HAS SOUS 13870 HAS SOUPS 13426 WITH SCORE 13583.873
AT ITER 2678 NEW BEST:: SOT 188184 SOS 157882 HAS SOPS 62216 HAS SOUS 13875 HAS SOUPS 13422 WITH SCORE 13579.882
AT ITER 2716 NEW BEST:: SOT 188182 SOS 157876 HAS SOPS 62216 HAS SOUS 13875 HAS SOUPS 13422 WITH SCORE 13579.876
AT ITER 2724 NEW BEST:: SOT 188193 SOS 157887 HAS SOPS 62206 HAS SOUS 13833 HAS SOUPS 13380 WITH SCORE 13537.887
AT ITER 2743 NEW BEST:: SOT 188191 SOS 157892 HAS SOPS 62202 HAS SOUS 13831 HAS SOUPS 13378 WITH SCORE 13535.892
AT ITER 2757 NEW BEST:: SOT 188137 SOS 157770 HAS SOPS 62094 HAS SOUS 13791 HAS SOUPS 13338 WITH SCORE 13495.77
AT ITER 2774 NEW BEST:: SOT 188130 SOS 157763 HAS SOPS 62080 HAS SOUS 13782 HAS SOUPS 13329 WITH SCORE 13486.763
AT ITER 2781 NEW BEST:: SOT 188111 SOS 157737 HAS SOPS 62071 HAS SOUS 13780 HAS SOUPS 13327 WITH SCORE 13484.737
AT ITER 2801 NEW BEST:: SOT 188109 SOS 157718 HAS SOPS 62067 HAS SOUS 13771 HAS SOUPS 13318 WITH SCORE 13475.718
AT ITER 2858 NEW BEST:: SOT 188086 SOS 157694 HAS SOPS 62095 HAS SOUS 13765 HAS SOUPS 13312 WITH SCORE 13469.694
AT ITER 2861 NEW BEST:: SOT 188082 SOS 157690 HAS SOPS 61955 HAS SOUS 13749 HAS SOUPS 13296 WITH SCORE 13453.69
AT ITER 2872 NEW BEST:: SOT 188077 SOS 157680 HAS SOPS 61945 HAS SOUS 13739 HAS SOUPS 13286 WITH SCORE 13443.68
AT ITER 2877 NEW BEST:: SOT 188072 SOS 157680 HAS SOPS 61940 HAS SOUS 13734 HAS SOUPS 13281 WITH SCORE 13438.68
AT ITER 2889 NEW BEST:: SOT 188065 SOS 157666 HAS SOPS 61919 HAS SOUS 13713 HAS SOUPS 13260 WITH SCORE 13417.666
AT ITER 2891 NEW BEST:: SOT 188065 SOS 157640 HAS SOPS 61893 HAS SOUS 13687 HAS SOUPS 13234 WITH SCORE 13391.64
AT ITER 2908 NEW BEST:: SOT 188048 SOS 157624 HAS SOPS 61859 HAS SOUS 13644 HAS SOUPS 13191 WITH SCORE 13348.624
AT ITER 2954 NEW BEST:: SOT 188098 SOS 157528 HAS SOPS 61850 HAS SOUS 13603 HAS SOUPS 13150 WITH SCORE 13307.528
AT ITER 2957 NEW BEST:: SOT 188104 SOS 157550 HAS SOPS 61862 HAS SOUS 13601 HAS SOUPS 13148 WITH SCORE 13305.55
AT ITER 2963 NEW BEST:: SOT 188111 SOS 157564 HAS SOPS 61876 HAS SOUS 13599 HAS SOUPS 13146 WITH SCORE 13303.564
AT ITER 2977 NEW BEST:: SOT 188098 SOS 157551 HAS SOPS 61850 HAS SOUS 13573 HAS SOUPS 13120 WITH SCORE 13277.551
AT ITER 2987 NEW BEST:: SOT 188098 SOS 157519 HAS SOPS 61850 HAS SOUS 13573 HAS SOUPS 13120 WITH SCORE 13277.519
AT ITER 2998 NEW BEST:: SOT 188069 SOS 157531 HAS SOPS 61821 HAS SOUS 13541 HAS SOUPS 13088 WITH SCORE 13245.531
AT ITER 3002 NEW BEST:: SOT 188054 SOS 157500 HAS SOPS 61791 HAS SOUS 13539 HAS SOUPS 13086 WITH SCORE 13243.5
AT ITER 3004 NEW BEST:: SOT 188054 SOS 157460 HAS SOPS 61791 HAS SOUS 13539 HAS SOUPS 13086 WITH SCORE 13243.46
AT ITER 3012 NEW BEST:: SOT 188031 SOS 157500 HAS SOPS 61785 HAS SOUS 13510 HAS SOUPS 13057 WITH SCORE 13214.5
AT ITER 3013 NEW BEST:: SOT 188027 SOS 157496 HAS SOPS 61777 HAS SOUS 13502 HAS SOUPS 13049 WITH SCORE 13206.496
AT ITER 3041 NEW BEST:: SOT 188024 SOS 157514 HAS SOPS 61783 HAS SOUS 13499 HAS SOUPS 13046 WITH SCORE 13203.514
AT ITER 3048 NEW BEST:: SOT 188044 SOS 157484 HAS SOPS 61823 HAS SOUS 13484 HAS SOUPS 13031 WITH SCORE 13188.484
AT ITER 3072 NEW BEST:: SOT 188037 SOS 157470 HAS SOPS 61809 HAS SOUS 13477 HAS SOUPS 13024 WITH SCORE 13181.47
AT ITER 3087 NEW BEST:: SOT 187979 SOS 157412 HAS SOPS 61751 HAS SOUS 13419 HAS SOUPS 12966 WITH SCORE 13123.412
AT ITER 3134 NEW BEST:: SOT 187968 SOS 157401 HAS SOPS 61740 HAS SOUS 13408 HAS SOUPS 12955 WITH SCORE 13112.401
AT ITER 3135 NEW BEST:: SOT 187950 SOS 157383 HAS SOPS 61722 HAS SOUS 13399 HAS SOUPS 12946 WITH SCORE 13103.383
AT ITER 3139 NEW BEST:: SOT 187915 SOS 157313 HAS SOPS 61617 HAS SOUS 13329 HAS SOUPS 12876 WITH SCORE 13033.313
AT ITER 3169 NEW BEST:: SOT 187922 SOS 157307 HAS SOPS 61604 HAS SOUS 13323 HAS SOUPS 12863 WITH SCORE 13020.307
AT ITER 3182 NEW BEST:: SOT 187928 SOS 157313 HAS SOPS 61598 HAS SOUS 13299 HAS SOUPS 12839 WITH SCORE 12996.313
AT ITER 3212 NEW BEST:: SOT 187979 SOS 157358 HAS SOPS 61508 HAS SOUS 13051 HAS SOUPS 12591 WITH SCORE 12748.358
AT ITER 3269 NEW BEST:: SOT 187977 SOS 157449 HAS SOPS 61504 HAS SOUS 13049 HAS SOUPS 12588 WITH SCORE 12745.449
AT ITER 3279 NEW BEST:: SOT 187976 SOS 157447 HAS SOPS 61502 HAS SOUS 13048 HAS SOUPS 12587 WITH SCORE 12744.447
AT ITER 3314 NEW BEST:: SOT 187972 SOS 157439 HAS SOPS 61473 HAS SOUS 13023 HAS SOUPS 12562 WITH SCORE 12719.439
AT ITER 3320 NEW BEST:: SOT 187970 SOS 157437 HAS SOPS 61471 HAS SOUS 13021 HAS SOUPS 12560 WITH SCORE 12717.437
AT ITER 3323 NEW BEST:: SOT 187960 SOS 157437 HAS SOPS 61461 HAS SOUS 13011 HAS SOUPS 12550 WITH SCORE 12707.437
AT ITER 3324 NEW BEST:: SOT 187943 SOS 157406 HAS SOPS 61427 HAS SOUS 12984 HAS SOUPS 12523 WITH SCORE 12680.406
AT ITER 3329 NEW BEST:: SOT 187933 SOS 157368 HAS SOPS 61393 HAS SOUS 12964 HAS SOUPS 12503 WITH SCORE 12660.368
AT ITER 3332 NEW BEST:: SOT 187919 SOS 157360 HAS SOPS 61365 HAS SOUS 12930 HAS SOUPS 12469 WITH SCORE 12626.36
AT ITER 3335 NEW BEST:: SOT 187895 SOS 157440 HAS SOPS 61317 HAS SOUS 12882 HAS SOUPS 12421 WITH SCORE 12578.44
AT ITER 3357 NEW BEST:: SOT 187892 SOS 157436 HAS SOPS 61311 HAS SOUS 12876 HAS SOUPS 12415 WITH SCORE 12572.436
AT ITER 3403 NEW BEST:: SOT 187890 SOS 157433 HAS SOPS 61307 HAS SOUS 12874 HAS SOUPS 12413 WITH SCORE 12570.433
AT ITER 3405 NEW BEST:: SOT 187899 SOS 157403 HAS SOPS 61277 HAS SOUS 12844 HAS SOUPS 12383 WITH SCORE 12540.403
AT ITER 3422 NEW BEST:: SOT 187797 SOS 157299 HAS SOPS 61173 HAS SOUS 12790 HAS SOUPS 12329 WITH SCORE 12486.299
AT ITER 3438 NEW BEST:: SOT 187744 SOS 157246 HAS SOPS 61088 HAS SOUS 12714 HAS SOUPS 12253 WITH SCORE 12410.246
AT ITER 3462 NEW BEST:: SOT 187733 SOS 157222 HAS SOPS 61066 HAS SOUS 12712 HAS SOUPS 12251 WITH SCORE 12408.222
AT ITER 3467 NEW BEST:: SOT 187727 SOS 157213 HAS SOPS 61054 HAS SOUS 12700 HAS SOUPS 12239 WITH SCORE 12396.213
AT ITER 3481 NEW BEST:: SOT 187686 SOS 157137 HAS SOPS 60972 HAS SOUS 12676 HAS SOUPS 12215 WITH SCORE 12372.137
AT ITER 3519 NEW BEST:: SOT 187682 SOS 157133 HAS SOPS 60964 HAS SOUS 12668 HAS SOUPS 12207 WITH SCORE 12364.133
AT ITER 3526 NEW BEST:: SOT 187680 SOS 157130 HAS SOPS 60960 HAS SOUS 12664 HAS SOUPS 12203 WITH SCORE 12360.13
AT ITER 3544 NEW BEST:: SOT 187666 SOS 157111 HAS SOPS 60941 HAS SOUS 12641 HAS SOUPS 12180 WITH SCORE 12337.111
AT ITER 3548 NEW BEST:: SOT 187666 SOS 157108 HAS SOPS 60941 HAS SOUS 12641 HAS SOUPS 12180 WITH SCORE 12337.108
AT ITER 3578 NEW BEST:: SOT 187697 SOS 157138 HAS SOPS 60929 HAS SOUS 12640 HAS SOUPS 12179 WITH SCORE 12336.138
AT ITER 3589 NEW BEST:: SOT 187687 SOS 157113 HAS SOPS 60904 HAS SOUS 12625 HAS SOUPS 12164 WITH SCORE 12321.113
AT ITER 3601 NEW BEST:: SOT 187660 SOS 157086 HAS SOPS 60877 HAS SOUS 12598 HAS SOUPS 12137 WITH SCORE 12294.086
AT ITER 3643 NEW BEST:: SOT 187651 SOS 157077 HAS SOPS 60870 HAS SOUS 12592 HAS SOUPS 12131 WITH SCORE 12288.077
AT ITER 3664 NEW BEST:: SOT 187650 SOS 157071 HAS SOPS 60863 HAS SOUS 12590 HAS SOUPS 12129 WITH SCORE 12286.071
AT ITER 3684 NEW BEST:: SOT 187647 SOS 157072 HAS SOPS 60861 HAS SOUS 12588 HAS SOUPS 12127 WITH SCORE 12284.072
AT ITER 3768 NEW BEST:: SOT 187632 SOS 157057 HAS SOPS 60836 HAS SOUS 12568 HAS SOUPS 12107 WITH SCORE 12264.057
AT ITER 3778 NEW BEST:: SOT 187624 SOS 157033 HAS SOPS 60820 HAS SOUS 12552 HAS SOUPS 12091 WITH SCORE 12248.033
AT ITER 3789 NEW BEST:: SOT 187610 SOS 157002 HAS SOPS 60792 HAS SOUS 12538 HAS SOUPS 12077 WITH SCORE 12234.002
AT ITER 3802 NEW BEST:: SOT 187601 SOS 156984 HAS SOPS 60774 HAS SOUS 12525 HAS SOUPS 12064 WITH SCORE 12220.984
AT ITER 3852 NEW BEST:: SOT 187595 SOS 156972 HAS SOPS 60762 HAS SOUS 12519 HAS SOUPS 12058 WITH SCORE 12214.972
AT ITER 3861 NEW BEST:: SOT 187593 SOS 156968 HAS SOPS 60758 HAS SOUS 12517 HAS SOUPS 12056 WITH SCORE 12212.968
AT ITER 3898 NEW BEST:: SOT 187546 SOS 156889 HAS SOPS 60664 HAS SOUS 12453 HAS SOUPS 11992 WITH SCORE 12148.889
AT ITER 3916 NEW BEST:: SOT 187531 SOS 156811 HAS SOPS 60594 HAS SOUS 12406 HAS SOUPS 11945 WITH SCORE 12101.811
AT ITER 3970 NEW BEST:: SOT 187524 SOS 156804 HAS SOPS 60586 HAS SOUS 12401 HAS SOUPS 11940 WITH SCORE 12096.804
AT ITER 3988 NEW BEST:: SOT 187524 SOS 156798 HAS SOPS 60580 HAS SOUS 12395 HAS SOUPS 11934 WITH SCORE 12090.798
AT ITER 3992 NEW BEST:: SOT 187519 SOS 156806 HAS SOPS 60578 HAS SOUS 12394 HAS SOUPS 11933 WITH SCORE 12089.806
AT ITER 4041 NEW BEST:: SOT 187517 SOS 156800 HAS SOPS 60572 HAS SOUS 12390 HAS SOUPS 11929 WITH SCORE 12085.8
AT ITER 4090 NEW BEST:: SOT 187487 SOS 156726 HAS SOPS 60512 HAS SOUS 12329 HAS SOUPS 11868 WITH SCORE 12024.726
AT ITER 4101 NEW BEST:: SOT 187528 SOS 156817 HAS SOPS 60594 HAS SOUS 12303 HAS SOUPS 11842 WITH SCORE 11998.817
AT ITER 4133 NEW BEST:: SOT 187528 SOS 156818 HAS SOPS 60593 HAS SOUS 12302 HAS SOUPS 11841 WITH SCORE 11997.818
AT ITER 4156 NEW BEST:: SOT 187502 SOS 156792 HAS SOPS 60562 HAS SOUS 12271 HAS SOUPS 11810 WITH SCORE 11966.792
AT ITER 4158 NEW BEST:: SOT 187496 SOS 156798 HAS SOPS 60550 HAS SOUS 12259 HAS SOUPS 11798 WITH SCORE 11954.798
AT ITER 4162 NEW BEST:: SOT 187486 SOS 156778 HAS SOPS 60530 HAS SOUS 12239 HAS SOUPS 11778 WITH SCORE 11934.778
AT ITER 4219 NEW BEST:: SOT 187474 SOS 156754 HAS SOPS 60500 HAS SOUS 12215 HAS SOUPS 11754 WITH SCORE 11910.754
AT ITER 4225 NEW BEST:: SOT 187497 SOS 156800 HAS SOPS 60546 HAS SOUS 12197 HAS SOUPS 11736 WITH SCORE 11892.8
AT ITER 4237 NEW BEST:: SOT 187498 SOS 156800 HAS SOPS 60515 HAS SOUS 12175 HAS SOUPS 11714 WITH SCORE 11870.8
AT ITER 4240 NEW BEST:: SOT 187529 SOS 156803 HAS SOPS 60518 HAS SOUS 12161 HAS SOUPS 11700 WITH SCORE 11856.803
AT ITER 4251 NEW BEST:: SOT 187515 SOS 156799 HAS SOPS 60502 HAS SOUS 12143 HAS SOUPS 11682 WITH SCORE 11838.799
AT ITER 4252 NEW BEST:: SOT 187471 SOS 156740 HAS SOPS 60443 HAS SOUS 12099 HAS SOUPS 11638 WITH SCORE 11794.74
AT ITER 4269 NEW BEST:: SOT 187465 SOS 156730 HAS SOPS 60431 HAS SOUS 12090 HAS SOUPS 11629 WITH SCORE 11785.73
AT ITER 4300 NEW BEST:: SOT 187458 SOS 156716 HAS SOPS 60417 HAS SOUS 12076 HAS SOUPS 11615 WITH SCORE 11771.716
AT ITER 4318 NEW BEST:: SOT 187436 SOS 156657 HAS SOPS 60373 HAS SOUS 12032 HAS SOUPS 11571 WITH SCORE 11727.657
AT ITER 4320 NEW BEST:: SOT 187415 SOS 156659 HAS SOPS 60331 HAS SOUS 11980 HAS SOUPS 11519 WITH SCORE 11675.659
AT ITER 4332 NEW BEST:: SOT 187411 SOS 156659 HAS SOPS 60327 HAS SOUS 11976 HAS SOUPS 11515 WITH SCORE 11671.659
AT ITER 4338 NEW BEST:: SOT 187408 SOS 156656 HAS SOPS 60321 HAS SOUS 11970 HAS SOUPS 11509 WITH SCORE 11665.656
AT ITER 4339 NEW BEST:: SOT 187406 SOS 156646 HAS SOPS 60317 HAS SOUS 11968 HAS SOUPS 11507 WITH SCORE 11663.646
AT ITER 4404 NEW BEST:: SOT 187399 SOS 156660 HAS SOPS 60317 HAS SOUS 11961 HAS SOUPS 11500 WITH SCORE 11656.66
AT ITER 4452 NEW BEST:: SOT 187375 SOS 156640 HAS SOPS 60269 HAS SOUS 11912 HAS SOUPS 11451 WITH SCORE 11607.64
AT ITER 4458 NEW BEST:: SOT 187363 SOS 156654 HAS SOPS 60245 HAS SOUS 11888 HAS SOUPS 11427 WITH SCORE 11583.654
AT ITER 4471 NEW BEST:: SOT 187359 SOS 159685 HAS SOPS 60234 HAS SOUS 11881 HAS SOUPS 11416 WITH SCORE 11575.685
AT ITER 4505 NEW BEST:: SOT 187369 SOS 159682 HAS SOPS 60222 HAS SOUS 11869 HAS SOUPS 11404 WITH SCORE 11563.682
AT ITER 4510 NEW BEST:: SOT 187357 SOS 159645 HAS SOPS 60185 HAS SOUS 11845 HAS SOUPS 11380 WITH SCORE 11539.645
AT ITER 4543 NEW BEST:: SOT 187343 SOS 159631 HAS SOPS 60171 HAS SOUS 11831 HAS SOUPS 11366 WITH SCORE 11525.631
AT ITER 4554 NEW BEST:: SOT 187342 SOS 159628 HAS SOPS 60167 HAS SOUS 11827 HAS SOUPS 11362 WITH SCORE 11521.628
AT ITER 4592 NEW BEST:: SOT 187341 SOS 159626 HAS SOPS 60165 HAS SOUS 11826 HAS SOUPS 11361 WITH SCORE 11520.626
AT ITER 4616 NEW BEST:: SOT 187341 SOS 159606 HAS SOPS 60165 HAS SOUS 11826 HAS SOUPS 11361 WITH SCORE 11520.606
AT ITER 4625 NEW BEST:: SOT 187331 SOS 159586 HAS SOPS 60145 HAS SOUS 11806 HAS SOUPS 11341 WITH SCORE 11500.586
AT ITER 4666 NEW BEST:: SOT 187315 SOS 159583 HAS SOPS 60126 HAS SOUS 11787 HAS SOUPS 11322 WITH SCORE 11481.583
AT ITER 4688 NEW BEST:: SOT 187319 SOS 159581 HAS SOPS 60122 HAS SOUS 11783 HAS SOUPS 11318 WITH SCORE 11477.581
AT ITER 4733 NEW BEST:: SOT 187317 SOS 159577 HAS SOPS 60117 HAS SOUS 11778 HAS SOUPS 11313 WITH SCORE 11472.577
AT ITER 4863 NEW BEST:: SOT 187309 SOS 159561 HAS SOPS 60101 HAS SOUS 11766 HAS SOUPS 11301 WITH SCORE 11460.561
AT ITER 4876 NEW BEST:: SOT 187304 SOS 159551 HAS SOPS 60091 HAS SOUS 11761 HAS SOUPS 11296 WITH SCORE 11455.551
AT ITER 4914 NEW BEST:: SOT 187299 SOS 159541 HAS SOPS 60081 HAS SOUS 11751 HAS SOUPS 11286 WITH SCORE 11445.541
AT ITER 4960 NEW BEST:: SOT 187298 SOS 159529 HAS SOPS 60063 HAS SOUS 11733 HAS SOUPS 11268 WITH SCORE 11427.529
AT ITER 4965 NEW BEST:: SOT 187326 SOS 159555 HAS SOPS 60043 HAS SOUS 11731 HAS SOUPS 11266 WITH SCORE 11425.555
AT ITER 4984 NEW BEST:: SOT 187319 SOS 159548 HAS SOPS 60043 HAS SOUS 11731 HAS SOUPS 11266 WITH SCORE 11425.548
AT ITER 5016 NEW BEST:: SOT 187319 SOS 159553 HAS SOPS 60043 HAS SOUS 11726 HAS SOUPS 11261 WITH SCORE 11420.553
AT ITER 5021 NEW BEST:: SOT 187337 SOS 159579 HAS SOPS 60037 HAS SOUS 11713 HAS SOUPS 11248 WITH SCORE 11407.579
AT ITER 5038 NEW BEST:: SOT 187333 SOS 159587 HAS SOPS 60035 HAS SOUS 11705 HAS SOUPS 11240 WITH SCORE 11399.587
AT ITER 5044 NEW BEST:: SOT 187332 SOS 159579 HAS SOPS 60023 HAS SOUS 11696 HAS SOUPS 11231 WITH SCORE 11390.579
AT ITER 5051 NEW BEST:: SOT 187332 SOS 159571 HAS SOPS 60023 HAS SOUS 11696 HAS SOUPS 11231 WITH SCORE 11390.571
AT ITER 5056 NEW BEST:: SOT 187287 SOS 159500 HAS SOPS 59974 HAS SOUS 11647 HAS SOUPS 11182 WITH SCORE 11341.5
AT ITER 5077 NEW BEST:: SOT 187272 SOS 159476 HAS SOPS 59944 HAS SOUS 11623 HAS SOUPS 11158 WITH SCORE 11317.476
AT ITER 5106 NEW BEST:: SOT 187222 SOS 159421 HAS SOPS 60176 HAS SOUS 11582 HAS SOUPS 11117 WITH SCORE 11276.421
AT ITER 5107 NEW BEST:: SOT 187194 SOS 159365 HAS SOPS 60120 HAS SOUS 11555 HAS SOUPS 11090 WITH SCORE 11249.365
AT ITER 5116 NEW BEST:: SOT 187194 SOS 159357 HAS SOPS 60112 HAS SOUS 11544 HAS SOUPS 11079 WITH SCORE 11238.357
AT ITER 5131 NEW BEST:: SOT 187189 SOS 159352 HAS SOPS 60102 HAS SOUS 11535 HAS SOUPS 11069 WITH SCORE 11228.352
AT ITER 5217 NEW BEST:: SOT 187187 SOS 159349 HAS SOPS 60098 HAS SOUS 11532 HAS SOUPS 11066 WITH SCORE 11225.349
AT ITER 5224 NEW BEST:: SOT 187169 SOS 159323 HAS SOPS 60062 HAS SOUS 11492 HAS SOUPS 11026 WITH SCORE 11185.323
AT ITER 5255 NEW BEST:: SOT 187158 SOS 159294 HAS SOPS 60026 HAS SOUS 11460 HAS SOUPS 10994 WITH SCORE 11153.294
AT ITER 5357 NEW BEST:: SOT 187132 SOS 159261 HAS SOPS 59998 HAS SOUS 11432 HAS SOUPS 10966 WITH SCORE 11125.261
AT ITER 5371 NEW BEST:: SOT 187119 SOS 159248 HAS SOPS 59993 HAS SOUS 11427 HAS SOUPS 10961 WITH SCORE 11120.248
AT ITER 5373 NEW BEST:: SOT 187115 SOS 159244 HAS SOPS 59985 HAS SOUS 11419 HAS SOUPS 10953 WITH SCORE 11112.244
AT ITER 5374 NEW BEST:: SOT 187108 SOS 159230 HAS SOPS 59964 HAS SOUS 11398 HAS SOUPS 10932 WITH SCORE 11091.23
AT ITER 5386 NEW BEST:: SOT 187108 SOS 159232 HAS SOPS 59964 HAS SOUS 11396 HAS SOUPS 10930 WITH SCORE 11089.232
AT ITER 5389 NEW BEST:: SOT 187104 SOS 159226 HAS SOPS 59956 HAS SOUS 11390 HAS SOUPS 10924 WITH SCORE 11083.226
AT ITER 5391 NEW BEST:: SOT 187102 SOS 159222 HAS SOPS 59952 HAS SOUS 11388 HAS SOUPS 10922 WITH SCORE 11081.222
AT ITER 5396 NEW BEST:: SOT 187095 SOS 159212 HAS SOPS 59938 HAS SOUS 11378 HAS SOUPS 10912 WITH SCORE 11071.212
AT ITER 5433 NEW BEST:: SOT 187048 SOS 159165 HAS SOPS 59890 HAS SOUS 11353 HAS SOUPS 10887 WITH SCORE 11046.165
AT ITER 5495 NEW BEST:: SOT 187028 SOS 159135 HAS SOPS 59850 HAS SOUS 11323 HAS SOUPS 10857 WITH SCORE 11016.135
AT ITER 5541 NEW BEST:: SOT 187009 SOS 159128 HAS SOPS 59831 HAS SOUS 11310 HAS SOUPS 10844 WITH SCORE 11003.128
AT ITER 5615 NEW BEST:: SOT 186969 SOS 159088 HAS SOPS 59773 HAS SOUS 11293 HAS SOUPS 10827 WITH SCORE 10986.088
AT ITER 5630 NEW BEST:: SOT 186962 SOS 159081 HAS SOPS 59759 HAS SOUS 11279 HAS SOUPS 10813 WITH SCORE 10972.081
AT ITER 5642 NEW BEST:: SOT 186954 SOS 159069 HAS SOPS 59743 HAS SOUS 11267 HAS SOUPS 10801 WITH SCORE 10960.069
AT ITER 5698 NEW BEST:: SOT 186951 SOS 159071 HAS SOPS 59740 HAS SOUS 11264 HAS SOUPS 10798 WITH SCORE 10957.071
AT ITER 5757 NEW BEST:: SOT 186947 SOS 159057 HAS SOPS 59727 HAS SOUS 11256 HAS SOUPS 10790 WITH SCORE 10949.057
AT ITER 5772 NEW BEST:: SOT 186927 SOS 159028 HAS SOPS 59687 HAS SOUS 11216 HAS SOUPS 10750 WITH SCORE 10909.028
AT ITER 5798 NEW BEST:: SOT 186907 SOS 159034 HAS SOPS 59670 HAS SOUS 11205 HAS SOUPS 10739 WITH SCORE 10898.034
AT ITER 5870 NEW BEST:: SOT 186881 SOS 159036 HAS SOPS 59646 HAS SOUS 11181 HAS SOUPS 10715 WITH SCORE 10874.036
AT ITER 5936 NEW BEST:: SOT 186875 SOS 159027 HAS SOPS 59637 HAS SOUS 11172 HAS SOUPS 10706 WITH SCORE 10865.027
AT ITER 5938 NEW BEST:: SOT 186874 SOS 159015 HAS SOPS 59625 HAS SOUS 11160 HAS SOUPS 10694 WITH SCORE 10853.015
AT ITER 5958 NEW BEST:: SOT 186927 SOS 159065 HAS SOPS 59655 HAS SOUS 11155 HAS SOUPS 10689 WITH SCORE 10848.065
AT ITER 5986 NEW BEST:: SOT 186925 SOS 159061 HAS SOPS 59649 HAS SOUS 11151 HAS SOUPS 10685 WITH SCORE 10844.061
AT ITER 5999 NEW BEST:: SOT 186914 SOS 159039 HAS SOPS 59618 HAS SOUS 11129 HAS SOUPS 10663 WITH SCORE 10822.039
AT ITER 6033 NEW BEST:: SOT 186912 SOS 159030 HAS SOPS 59607 HAS SOUS 11125 HAS SOUPS 10659 WITH SCORE 10818.03
AT ITER 6046 NEW BEST:: SOT 186911 SOS 159028 HAS SOPS 59605 HAS SOUS 11123 HAS SOUPS 10657 WITH SCORE 10816.028
AT ITER 6131 NEW BEST:: SOT 186912 SOS 159016 HAS SOPS 59590 HAS SOUS 11108 HAS SOUPS 10642 WITH SCORE 10801.016
AT ITER 6148 NEW BEST:: SOT 186905 SOS 159009 HAS SOPS 59576 HAS SOUS 11101 HAS SOUPS 10635 WITH SCORE 10794.009
AT ITER 6152 NEW BEST:: SOT 186901 SOS 159005 HAS SOPS 59570 HAS SOUS 11095 HAS SOUPS 10629 WITH SCORE 10788.005
AT ITER 6180 NEW BEST:: SOT 186900 SOS 159011 HAS SOPS 59572 HAS SOUS 11094 HAS SOUPS 10628 WITH SCORE 10787.011
AT ITER 6194 NEW BEST:: SOT 186897 SOS 159004 HAS SOPS 59562 HAS SOUS 11080 HAS SOUPS 10614 WITH SCORE 10773.004
AT ITER 6209 NEW BEST:: SOT 186878 SOS 158973 HAS SOPS 59524 HAS SOUS 11054 HAS SOUPS 10588 WITH SCORE 10746.973
AT ITER 6271 NEW BEST:: SOT 186865 SOS 158942 HAS SOPS 59498 HAS SOUS 11040 HAS SOUPS 10574 WITH SCORE 10732.942
AT ITER 6281 NEW BEST:: SOT 186876 SOS 158934 HAS SOPS 59492 HAS SOUS 11034 HAS SOUPS 10568 WITH SCORE 10726.934
AT ITER 6350 NEW BEST:: SOT 186848 SOS 158878 HAS SOPS 59436 HAS SOUS 10992 HAS SOUPS 10526 WITH SCORE 10684.878
AT ITER 6379 NEW BEST:: SOT 186847 SOS 158876 HAS SOPS 59433 HAS SOUS 10989 HAS SOUPS 10523 WITH SCORE 10681.876
AT ITER 6538 NEW BEST:: SOT 186847 SOS 158865 HAS SOPS 59422 HAS SOUS 10967 HAS SOUPS 10501 WITH SCORE 10659.865
AT ITER 6589 NEW BEST:: SOT 186847 SOS 158848 HAS SOPS 59422 HAS SOUS 10953 HAS SOUPS 10487 WITH SCORE 10645.848
AT ITER 6591 NEW BEST:: SOT 186844 SOS 158844 HAS SOPS 59416 HAS SOUS 10948 HAS SOUPS 10482 WITH SCORE 10640.844
AT ITER 6617 NEW BEST:: SOT 186842 SOS 158842 HAS SOPS 59414 HAS SOUS 10948 HAS SOUPS 10482 WITH SCORE 10640.842
AT ITER 6631 NEW BEST:: SOT 186816 SOS 158816 HAS SOPS 59386 HAS SOUS 10934 HAS SOUPS 10468 WITH SCORE 10626.816
AT ITER 6675 NEW BEST:: SOT 186804 SOS 158798 HAS SOPS 59362 HAS SOUS 10910 HAS SOUPS 10444 WITH SCORE 10602.798
AT ITER 6716 NEW BEST:: SOT 186780 SOS 158802 HAS SOPS 59341 HAS SOUS 10897 HAS SOUPS 10431 WITH SCORE 10589.802
AT ITER 6756 NEW BEST:: SOT 186777 SOS 158793 HAS SOPS 59332 HAS SOUS 10891 HAS SOUPS 10425 WITH SCORE 10583.793
AT ITER 6809 NEW BEST:: SOT 186752 SOS 158769 HAS SOPS 59308 HAS SOUS 10867 HAS SOUPS 10401 WITH SCORE 10559.769
AT ITER 6867 NEW BEST:: SOT 186749 SOS 158774 HAS SOPS 59302 HAS SOUS 10858 HAS SOUPS 10392 WITH SCORE 10550.774
AT ITER 6916 NEW BEST:: SOT 186749 SOS 158774 HAS SOPS 59302 HAS SOUS 10851 HAS SOUPS 10385 WITH SCORE 10543.774
AT ITER 6931 NEW BEST:: SOT 186743 SOS 158762 HAS SOPS 59290 HAS SOUS 10836 HAS SOUPS 10370 WITH SCORE 10528.762
AT ITER 6937 NEW BEST:: SOT 186743 SOS 158760 HAS SOPS 59288 HAS SOUS 10834 HAS SOUPS 10368 WITH SCORE 10526.76
AT ITER 6941 NEW BEST:: SOT 186740 SOS 158684 HAS SOPS 59282 HAS SOUS 10828 HAS SOUPS 10362 WITH SCORE 10520.684
AT ITER 6942 NEW BEST:: SOT 186733 SOS 158667 HAS SOPS 59268 HAS SOUS 10814 HAS SOUPS 10348 WITH SCORE 10506.667
AT ITER 6951 NEW BEST:: SOT 186728 SOS 158674 HAS SOPS 59264 HAS SOUS 10810 HAS SOUPS 10344 WITH SCORE 10502.674
AT ITER 6958 NEW BEST:: SOT 186708 SOS 158634 HAS SOPS 59224 HAS SOUS 10790 HAS SOUPS 10324 WITH SCORE 10482.634
AT ITER 6965 NEW BEST:: SOT 186708 SOS 158631 HAS SOPS 59221 HAS SOUS 10790 HAS SOUPS 10324 WITH SCORE 10482.631
AT ITER 6981 NEW BEST:: SOT 186697 SOS 158678 HAS SOPS 59234 HAS SOUS 10780 HAS SOUPS 10314 WITH SCORE 10472.678
AT ITER 6984 NEW BEST:: SOT 186696 SOS 158675 HAS SOPS 59230 HAS SOUS 10778 HAS SOUPS 10312 WITH SCORE 10470.675
AT ITER 6985 NEW BEST:: SOT 186688 SOS 158654 HAS SOPS 59214 HAS SOUS 10770 HAS SOUPS 10304 WITH SCORE 10462.654
AT ITER 7046 NEW BEST:: SOT 186669 SOS 158635 HAS SOPS 59176 HAS SOUS 10732 HAS SOUPS 10266 WITH SCORE 10424.635
AT ITER 7079 NEW BEST:: SOT 186667 SOS 158602 HAS SOPS 59150 HAS SOUS 10728 HAS SOUPS 10262 WITH SCORE 10420.602
AT ITER 7090 NEW BEST:: SOT 186654 SOS 158581 HAS SOPS 59124 HAS SOUS 10709 HAS SOUPS 10243 WITH SCORE 10401.581
AT ITER 7102 NEW BEST:: SOT 186654 SOS 158577 HAS SOPS 59120 HAS SOUS 10705 HAS SOUPS 10239 WITH SCORE 10397.577
AT ITER 7115 NEW BEST:: SOT 186655 SOS 158578 HAS SOPS 59114 HAS SOUS 10699 HAS SOUPS 10233 WITH SCORE 10391.578
AT ITER 7131 NEW BEST:: SOT 186649 SOS 158569 HAS SOPS 59102 HAS SOUS 10690 HAS SOUPS 10224 WITH SCORE 10382.569
AT ITER 7134 NEW BEST:: SOT 186643 SOS 158569 HAS SOPS 59096 HAS SOUS 10684 HAS SOUPS 10218 WITH SCORE 10376.569
AT ITER 7162 NEW BEST:: SOT 186643 SOS 158565 HAS SOPS 59092 HAS SOUS 10680 HAS SOUPS 10214 WITH SCORE 10372.565
AT ITER 7164 NEW BEST:: SOT 186636 SOS 158564 HAS SOPS 59084 HAS SOUS 10672 HAS SOUPS 10206 WITH SCORE 10364.564
AT ITER 7187 NEW BEST:: SOT 186634 SOS 158560 HAS SOPS 59080 HAS SOUS 10668 HAS SOUPS 10202 WITH SCORE 10360.56
AT ITER 7239 NEW BEST:: SOT 186635 SOS 158556 HAS SOPS 59077 HAS SOUS 10665 HAS SOUPS 10199 WITH SCORE 10357.556
AT ITER 7276 NEW BEST:: SOT 186632 SOS 158553 HAS SOPS 59071 HAS SOUS 10659 HAS SOUPS 10193 WITH SCORE 10351.553
AT ITER 7296 NEW BEST:: SOT 186625 SOS 158548 HAS SOPS 59062 HAS SOUS 10650 HAS SOUPS 10184 WITH SCORE 10342.548
AT ITER 7303 NEW BEST:: SOT 186623 SOS 158544 HAS SOPS 59058 HAS SOUS 10646 HAS SOUPS 10180 WITH SCORE 10338.544
AT ITER 7309 NEW BEST:: SOT 186623 SOS 158544 HAS SOPS 59053 HAS SOUS 10641 HAS SOUPS 10175 WITH SCORE 10333.544
AT ITER 7405 NEW BEST:: SOT 186614 SOS 158530 HAS SOPS 59035 HAS SOUS 10629 HAS SOUPS 10163 WITH SCORE 10321.53
AT ITER 7517 NEW BEST:: SOT 186613 SOS 158528 HAS SOPS 59033 HAS SOUS 10628 HAS SOUPS 10162 WITH SCORE 10320.528
AT ITER 7533 NEW BEST:: SOT 186611 SOS 158526 HAS SOPS 59029 HAS SOUS 10624 HAS SOUPS 10158 WITH SCORE 10316.526
AT ITER 7540 NEW BEST:: SOT 186609 SOS 158520 HAS SOPS 59023 HAS SOUS 10620 HAS SOUPS 10154 WITH SCORE 10312.52
AT ITER 7555 NEW BEST:: SOT 186603 SOS 158514 HAS SOPS 59017 HAS SOUS 10614 HAS SOUPS 10148 WITH SCORE 10306.514
AT ITER 7561 NEW BEST:: SOT 186600 SOS 158508 HAS SOPS 59011 HAS SOUS 10611 HAS SOUPS 10145 WITH SCORE 10303.508
AT ITER 7569 NEW BEST:: SOT 186602 SOS 158508 HAS SOPS 58949 HAS SOUS 10567 HAS SOUPS 10101 WITH SCORE 10259.508
AT ITER 7594 NEW BEST:: SOT 186633 SOS 158536 HAS SOPS 58937 HAS SOUS 10560 HAS SOUPS 10094 WITH SCORE 10252.536
AT ITER 7615 NEW BEST:: SOT 186624 SOS 158534 HAS SOPS 58935 HAS SOUS 10558 HAS SOUPS 10092 WITH SCORE 10250.534
AT ITER 7633 NEW BEST:: SOT 186623 SOS 158533 HAS SOPS 58933 HAS SOUS 10556 HAS SOUPS 10090 WITH SCORE 10248.533
AT ITER 7641 NEW BEST:: SOT 186554 SOS 158469 HAS SOPS 58872 HAS SOUS 10532 HAS SOUPS 10066 WITH SCORE 10224.469
AT ITER 7644 NEW BEST:: SOT 186552 SOS 158468 HAS SOPS 58869 HAS SOUS 10529 HAS SOUPS 10063 WITH SCORE 10221.468
AT ITER 7672 NEW BEST:: SOT 186556 SOS 158476 HAS SOPS 58867 HAS SOUS 10527 HAS SOUPS 10061 WITH SCORE 10219.476
AT ITER 7683 NEW BEST:: SOT 186544 SOS 158452 HAS SOPS 58843 HAS SOUS 10503 HAS SOUPS 10037 WITH SCORE 10195.452
AT ITER 7696 NEW BEST:: SOT 186541 SOS 158449 HAS SOPS 58837 HAS SOUS 10500 HAS SOUPS 10034 WITH SCORE 10192.449
AT ITER 7698 NEW BEST:: SOT 186539 SOS 158447 HAS SOPS 58835 HAS SOUS 10498 HAS SOUPS 10032 WITH SCORE 10190.447
AT ITER 7762 NEW BEST:: SOT 186531 SOS 158439 HAS SOPS 58823 HAS SOUS 10486 HAS SOUPS 10020 WITH SCORE 10178.439
AT ITER 7784 NEW BEST:: SOT 186523 SOS 158423 HAS SOPS 58807 HAS SOUS 10478 HAS SOUPS 10012 WITH SCORE 10170.423
AT ITER 7787 NEW BEST:: SOT 186511 SOS 158423 HAS SOPS 58794 HAS SOUS 10459 HAS SOUPS 9993 WITH SCORE 10151.423
AT ITER 7834 NEW BEST:: SOT 186511 SOS 158402 HAS SOPS 58794 HAS SOUS 10459 HAS SOUPS 9993 WITH SCORE 10151.402
AT ITER 7840 NEW BEST:: SOT 186510 SOS 158399 HAS SOPS 58792 HAS SOUS 10459 HAS SOUPS 9993 WITH SCORE 10151.399
AT ITER 7908 NEW BEST:: SOT 186482 SOS 158346 HAS SOPS 58736 HAS SOUS 10429 HAS SOUPS 9963 WITH SCORE 10121.346
AT ITER 7926 NEW BEST:: SOT 186478 SOS 158342 HAS SOPS 58728 HAS SOUS 10421 HAS SOUPS 9955 WITH SCORE 10113.342
AT ITER 7930 NEW BEST:: SOT 186433 SOS 158294 HAS SOPS 58710 HAS SOUS 10415 HAS SOUPS 9949 WITH SCORE 10107.294
AT ITER 7939 NEW BEST:: SOT 186420 SOS 158253 HAS SOPS 58684 HAS SOUS 10389 HAS SOUPS 9923 WITH SCORE 10081.253
AT ITER 7945 NEW BEST:: SOT 186419 SOS 158251 HAS SOPS 58682 HAS SOUS 10388 HAS SOUPS 9922 WITH SCORE 10080.251
AT ITER 8030 NEW BEST:: SOT 186418 SOS 158250 HAS SOPS 58680 HAS SOUS 10385 HAS SOUPS 9919 WITH SCORE 10077.25
AT ITER 8052 NEW BEST:: SOT 186409 SOS 158223 HAS SOPS 58653 HAS SOUS 10367 HAS SOUPS 9901 WITH SCORE 10059.223
AT ITER 8064 NEW BEST:: SOT 186412 SOS 158218 HAS SOPS 58651 HAS SOUS 10365 HAS SOUPS 9899 WITH SCORE 10057.218
AT ITER 8067 NEW BEST:: SOT 186411 SOS 158218 HAS SOPS 58650 HAS SOUS 10364 HAS SOUPS 9898 WITH SCORE 10056.218
AT ITER 8094 NEW BEST:: SOT 186401 SOS 158208 HAS SOPS 58630 HAS SOUS 10344 HAS SOUPS 9878 WITH SCORE 10036.208
AT ITER 8255 NEW BEST:: SOT 186390 SOS 158190 HAS SOPS 58608 HAS SOUS 10342 HAS SOUPS 9876 WITH SCORE 10034.19
AT ITER 8313 NEW BEST:: SOT 186382 SOS 158190 HAS SOPS 58600 HAS SOUS 10334 HAS SOUPS 9868 WITH SCORE 10026.19
AT ITER 8365 NEW BEST:: SOT 186381 SOS 158184 HAS SOPS 58598 HAS SOUS 10332 HAS SOUPS 9866 WITH SCORE 10024.184
AT ITER 8389 NEW BEST:: SOT 186381 SOS 158171 HAS SOPS 58598 HAS SOUS 10332 HAS SOUPS 9866 WITH SCORE 10024.171
AT ITER 8393 NEW BEST:: SOT 186378 SOS 158161 HAS SOPS 58588 HAS SOUS 10322 HAS SOUPS 9856 WITH SCORE 10014.161
AT ITER 8419 NEW BEST:: SOT 186364 SOS 158143 HAS SOPS 58567 HAS SOUS 10308 HAS SOUPS 9842 WITH SCORE 10000.143
AT ITER 8460 NEW BEST:: SOT 186376 SOS 158134 HAS SOPS 58558 HAS SOUS 10299 HAS SOUPS 9833 WITH SCORE 9991.134
AT ITER 8520 NEW BEST:: SOT 186375 SOS 158132 HAS SOPS 58556 HAS SOUS 10296 HAS SOUPS 9830 WITH SCORE 9988.132
AT ITER 8524 NEW BEST:: SOT 186373 SOS 158128 HAS SOPS 58544 HAS SOUS 10285 HAS SOUPS 9819 WITH SCORE 9977.128
AT ITER 8572 NEW BEST:: SOT 186367 SOS 158122 HAS SOPS 58538 HAS SOUS 10285 HAS SOUPS 9819 WITH SCORE 9977.122
AT ITER 8615 NEW BEST:: SOT 186357 SOS 158102 HAS SOPS 58518 HAS SOUS 10265 HAS SOUPS 9799 WITH SCORE 9957.102
AT ITER 8621 NEW BEST:: SOT 186357 SOS 158103 HAS SOPS 58518 HAS SOUS 10259 HAS SOUPS 9793 WITH SCORE 9951.103
AT ITER 8673 NEW BEST:: SOT 186357 SOS 158095 HAS SOPS 58514 HAS SOUS 10259 HAS SOUPS 9793 WITH SCORE 9951.095
AT ITER 8721 NEW BEST:: SOT 186355 SOS 158091 HAS SOPS 58360 HAS SOUS 10251 HAS SOUPS 9785 WITH SCORE 9943.091
AT ITER 8735 NEW BEST:: SOT 186347 SOS 158078 HAS SOPS 58358 HAS SOUS 10249 HAS SOUPS 9783 WITH SCORE 9941.078
AT ITER 8830 NEW BEST:: SOT 186346 SOS 158069 HAS SOPS 58352 HAS SOUS 10247 HAS SOUPS 9781 WITH SCORE 9939.069
AT ITER 8859 NEW BEST:: SOT 186344 SOS 158068 HAS SOPS 58350 HAS SOUS 10245 HAS SOUPS 9779 WITH SCORE 9937.068
AT ITER 8899 NEW BEST:: SOT 186344 SOS 158067 HAS SOPS 58350 HAS SOUS 10245 HAS SOUPS 9779 WITH SCORE 9937.067
AT ITER 8972 NEW BEST:: SOT 186347 SOS 158062 HAS SOPS 58347 HAS SOUS 10241 HAS SOUPS 9775 WITH SCORE 9933.062
AT ITER 9071 NEW BEST:: SOT 186340 SOS 158056 HAS SOPS 58339 HAS SOUS 10239 HAS SOUPS 9773 WITH SCORE 9931.056
AT ITER 9146 NEW BEST:: SOT 186337 SOS 158047 HAS SOPS 58333 HAS SOUS 10239 HAS SOUPS 9773 WITH SCORE 9931.047
AT ITER 9204 NEW BEST:: SOT 186331 SOS 158046 HAS SOPS 58327 HAS SOUS 10234 HAS SOUPS 9768 WITH SCORE 9926.046
AT ITER 9259 NEW BEST:: SOT 186340 SOS 158035 HAS SOPS 58326 HAS SOUS 10232 HAS SOUPS 9766 WITH SCORE 9924.035
AT ITER 9276 NEW BEST:: SOT 186346 SOS 158047 HAS SOPS 58325 HAS SOUS 10225 HAS SOUPS 9759 WITH SCORE 9917.047
AT ITER 9281 NEW BEST:: SOT 186284 SOS 157921 HAS SOPS 58201 HAS SOUS 10137 HAS SOUPS 9671 WITH SCORE 9828.921
AT ITER 9332 NEW BEST:: SOT 186284 SOS 157918 HAS SOPS 58201 HAS SOUS 10137 HAS SOUPS 9671 WITH SCORE 9828.918
AT ITER 9361 NEW BEST:: SOT 186284 SOS 157904 HAS SOPS 58187 HAS SOUS 10123 HAS SOUPS 9657 WITH SCORE 9814.904
AT ITER 9382 NEW BEST:: SOT 186279 SOS 157899 HAS SOPS 58182 HAS SOUS 10118 HAS SOUPS 9652 WITH SCORE 9809.899
AT ITER 9415 NEW BEST:: SOT 186272 SOS 157939 HAS SOPS 58168 HAS SOUS 10104 HAS SOUPS 9638 WITH SCORE 9795.939
AT ITER 9475 NEW BEST:: SOT 186257 SOS 157924 HAS SOPS 58138 HAS SOUS 10074 HAS SOUPS 9608 WITH SCORE 9765.924
AT ITER 9481 NEW BEST:: SOT 186255 SOS 157918 HAS SOPS 58134 HAS SOUS 10072 HAS SOUPS 9606 WITH SCORE 9763.918
AT ITER 9482 NEW BEST:: SOT 186255 SOS 157920 HAS SOPS 58134 HAS SOUS 10070 HAS SOUPS 9604 WITH SCORE 9761.92
AT ITER 9487 NEW BEST:: SOT 186268 SOS 157933 HAS SOPS 58147 HAS SOUS 10057 HAS SOUPS 9591 WITH SCORE 9748.933
AT ITER 9566 NEW BEST:: SOT 186268 SOS 157925 HAS SOPS 58147 HAS SOUS 10057 HAS SOUPS 9591 WITH SCORE 9748.925
AT ITER 9772 NEW BEST:: SOT 186260 SOS 157917 HAS SOPS 58131 HAS SOUS 10041 HAS SOUPS 9575 WITH SCORE 9732.917
AT ITER 9822 NEW BEST:: SOT 186257 SOS 160950 HAS SOPS 58120 HAS SOUS 10038 HAS SOUPS 9568 WITH SCORE 9728.95
AT ITER 9926 NEW BEST:: SOT 186259 SOS 160952 HAS SOPS 58052 HAS SOUS 10036 HAS SOUPS 9566 WITH SCORE 9726.952
AT ITER 9968 NEW BEST:: SOT 186257 SOS 160954 HAS SOPS 58051 HAS SOUS 10034 HAS SOUPS 9564 WITH SCORE 9724.954

BK_STOP 1678456326032

--------------------
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="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"
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 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 r163-tall-167838848000576"
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 ;