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.r363-smll-167891814200384.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 smartxred
Input is SemanticWebServices-PT-S128P06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814200384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 10:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 10:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 26 10:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 10:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 120K Feb 26 10:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679149120537

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SemanticWebServices-PT-S128P06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 14:18:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 14:18:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 14:18:43] [INFO ] Load time of PNML (sax parser for PT used): 395 ms
[2023-03-18 14:18:43] [INFO ] Transformed 262 places.
[2023-03-18 14:18:43] [INFO ] Transformed 1328 transitions.
[2023-03-18 14:18:43] [INFO ] Parsed PT model containing 262 places and 1328 transitions and 9727 arcs in 591 ms.
[2023-03-18 14:18:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 262 places, 1328 transitions and 9727 arcs took 45 ms.
Total runtime 697 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S128P06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 262 places, 1328 transitions, 9727 arcs.
AT ITER 0 NEW BEST:: SOT 312936 SOS 260724 HAS SOPS 226720 HAS SOUS 155407 HAS SOUPS 148769 WITH SCORE 149029.724
AT ITER 3 NEW BEST:: SOT 312936 SOS 260034 HAS SOPS 225492 HAS SOUS 154549 HAS SOUPS 147916 WITH SCORE 148176.034
AT ITER 9 NEW BEST:: SOT 312936 SOS 260122 HAS SOPS 225564 HAS SOUS 154215 HAS SOUPS 147515 WITH SCORE 147775.122
AT ITER 10 NEW BEST:: SOT 312936 SOS 260396 HAS SOPS 225674 HAS SOUS 154039 HAS SOUPS 147370 WITH SCORE 147630.396
AT ITER 12 NEW BEST:: SOT 312936 SOS 260424 HAS SOPS 225568 HAS SOUS 154053 HAS SOUPS 147257 WITH SCORE 147517.424
AT ITER 13 NEW BEST:: SOT 312936 SOS 260368 HAS SOPS 225512 HAS SOUS 153962 HAS SOUPS 147166 WITH SCORE 147426.368
AT ITER 14 NEW BEST:: SOT 312936 SOS 259308 HAS SOPS 224898 HAS SOUS 153896 HAS SOUPS 146981 WITH SCORE 147240.308
AT ITER 15 NEW BEST:: SOT 312936 SOS 258776 HAS SOPS 224002 HAS SOUS 153962 HAS SOUPS 146891 WITH SCORE 147149.776
AT ITER 16 NEW BEST:: SOT 312936 SOS 259036 HAS SOPS 224150 HAS SOUS 152895 HAS SOUPS 145965 WITH SCORE 146224.036
AT ITER 17 NEW BEST:: SOT 312936 SOS 259036 HAS SOPS 224150 HAS SOUS 152703 HAS SOUPS 145773 WITH SCORE 146032.036
AT ITER 18 NEW BEST:: SOT 312936 SOS 259004 HAS SOPS 224122 HAS SOUS 152857 HAS SOUPS 145694 WITH SCORE 145953.004
AT ITER 19 NEW BEST:: SOT 312936 SOS 259346 HAS SOPS 224284 HAS SOUS 152857 HAS SOUPS 145606 WITH SCORE 145865.346
AT ITER 20 NEW BEST:: SOT 312936 SOS 258348 HAS SOPS 222950 HAS SOUS 146216 HAS SOUPS 138914 WITH SCORE 139172.348
AT ITER 22 NEW BEST:: SOT 312936 SOS 258378 HAS SOPS 222054 HAS SOUS 144174 HAS SOUPS 136857 WITH SCORE 137115.378
AT ITER 25 NEW BEST:: SOT 312936 SOS 258354 HAS SOPS 222030 HAS SOUS 144079 HAS SOUPS 136762 WITH SCORE 137020.354
AT ITER 26 NEW BEST:: SOT 312968 SOS 258472 HAS SOPS 221976 HAS SOUS 144142 HAS SOUPS 136739 WITH SCORE 136997.472
AT ITER 27 NEW BEST:: SOT 312968 SOS 258766 HAS SOPS 221722 HAS SOUS 140720 HAS SOUPS 133209 WITH SCORE 133467.766
AT ITER 28 NEW BEST:: SOT 312968 SOS 258526 HAS SOPS 221338 HAS SOUS 140763 HAS SOUPS 133180 WITH SCORE 133438.526
AT ITER 29 NEW BEST:: SOT 312968 SOS 258510 HAS SOPS 221330 HAS SOUS 140755 HAS SOUPS 133176 WITH SCORE 133434.51
AT ITER 31 NEW BEST:: SOT 312968 SOS 258358 HAS SOPS 221498 HAS SOUS 140686 HAS SOUPS 133107 WITH SCORE 133365.358
AT ITER 32 NEW BEST:: SOT 313499 SOS 259197 HAS SOPS 218929 HAS SOUS 140863 HAS SOUPS 131644 WITH SCORE 131903.197
AT ITER 34 NEW BEST:: SOT 313499 SOS 259197 HAS SOPS 218809 HAS SOUS 140884 HAS SOUPS 131605 WITH SCORE 131864.197
AT ITER 36 NEW BEST:: SOT 313499 SOS 258993 HAS SOPS 218605 HAS SOUS 140776 HAS SOUPS 131497 WITH SCORE 131755.993
AT ITER 39 NEW BEST:: SOT 313499 SOS 258993 HAS SOPS 218605 HAS SOUS 140765 HAS SOUPS 131486 WITH SCORE 131744.993
AT ITER 44 NEW BEST:: SOT 313499 SOS 258801 HAS SOPS 218089 HAS SOUS 140526 HAS SOUPS 131314 WITH SCORE 131572.801
AT ITER 46 NEW BEST:: SOT 313499 SOS 258673 HAS SOPS 217961 HAS SOUS 140462 HAS SOUPS 131250 WITH SCORE 131508.673
AT ITER 48 NEW BEST:: SOT 313511 SOS 258682 HAS SOPS 217910 HAS SOUS 140459 HAS SOUPS 131247 WITH SCORE 131505.682
AT ITER 51 NEW BEST:: SOT 313547 SOS 258716 HAS SOPS 217792 HAS SOUS 140419 HAS SOUPS 131207 WITH SCORE 131465.716
AT ITER 52 NEW BEST:: SOT 313547 SOS 258716 HAS SOPS 217792 HAS SOUS 140365 HAS SOUPS 131153 WITH SCORE 131411.716
AT ITER 53 NEW BEST:: SOT 314825 SOS 259656 HAS SOPS 218264 HAS SOUS 134780 HAS SOUPS 125681 WITH SCORE 125940.656
AT ITER 55 NEW BEST:: SOT 314825 SOS 259924 HAS SOPS 218138 HAS SOUS 134717 HAS SOUPS 125618 WITH SCORE 125877.924
AT ITER 56 NEW BEST:: SOT 314825 SOS 259950 HAS SOPS 218194 HAS SOUS 134678 HAS SOUPS 125594 WITH SCORE 125853.95
AT ITER 57 NEW BEST:: SOT 314825 SOS 259764 HAS SOPS 216986 HAS SOUS 134783 HAS SOUPS 125182 WITH SCORE 125441.764
AT ITER 59 NEW BEST:: SOT 314825 SOS 259764 HAS SOPS 217480 HAS SOUS 131090 HAS SOUPS 121509 WITH SCORE 121768.764
AT ITER 60 NEW BEST:: SOT 314825 SOS 259458 HAS SOPS 212608 HAS SOUS 130935 HAS SOUPS 120937 WITH SCORE 121196.458
AT ITER 63 NEW BEST:: SOT 314825 SOS 259676 HAS SOPS 212418 HAS SOUS 131038 HAS SOUPS 120935 WITH SCORE 121194.676
AT ITER 64 NEW BEST:: SOT 314885 SOS 259736 HAS SOPS 212478 HAS SOUS 130576 HAS SOUPS 120473 WITH SCORE 120732.736
AT ITER 65 NEW BEST:: SOT 314927 SOS 259804 HAS SOPS 212546 HAS SOUS 130472 HAS SOUPS 120369 WITH SCORE 120628.804
AT ITER 67 NEW BEST:: SOT 314891 SOS 259525 HAS SOPS 212267 HAS SOUS 130319 HAS SOUPS 119940 WITH SCORE 120199.525
AT ITER 70 NEW BEST:: SOT 314891 SOS 259963 HAS SOPS 212489 HAS SOUS 130133 HAS SOUPS 119787 WITH SCORE 120046.963
AT ITER 72 NEW BEST:: SOT 314891 SOS 260202 HAS SOPS 212265 HAS SOUS 129813 HAS SOUPS 119543 WITH SCORE 119803.202
AT ITER 75 NEW BEST:: SOT 314891 SOS 260192 HAS SOPS 212305 HAS SOUS 129807 HAS SOUPS 119524 WITH SCORE 119784.192
AT ITER 79 NEW BEST:: SOT 314891 SOS 260780 HAS SOPS 212151 HAS SOUS 129730 HAS SOUPS 119447 WITH SCORE 119707.78
AT ITER 80 NEW BEST:: SOT 314891 SOS 260920 HAS SOPS 212151 HAS SOUS 129622 HAS SOUPS 119395 WITH SCORE 119655.92
AT ITER 83 NEW BEST:: SOT 314934 SOS 261108 HAS SOPS 211931 HAS SOUS 129563 HAS SOUPS 119336 WITH SCORE 119597.108
AT ITER 86 NEW BEST:: SOT 315054 SOS 261484 HAS SOPS 212163 HAS SOUS 128815 HAS SOUPS 118588 WITH SCORE 118849.484
AT ITER 88 NEW BEST:: SOT 315054 SOS 261410 HAS SOPS 211825 HAS SOUS 127886 HAS SOUPS 117501 WITH SCORE 117762.41
AT ITER 92 NEW BEST:: SOT 315054 SOS 261410 HAS SOPS 211609 HAS SOUS 127886 HAS SOUPS 117373 WITH SCORE 117634.41
AT ITER 93 NEW BEST:: SOT 315054 SOS 261044 HAS SOPS 211099 HAS SOUS 125256 HAS SOUPS 114779 WITH SCORE 115040.044
AT ITER 98 NEW BEST:: SOT 315054 SOS 261084 HAS SOPS 211139 HAS SOUS 125216 HAS SOUPS 114753 WITH SCORE 115014.084
AT ITER 99 NEW BEST:: SOT 315324 SOS 261694 HAS SOPS 211749 HAS SOUS 124753 HAS SOUPS 114396 WITH SCORE 114657.694
AT ITER 103 NEW BEST:: SOT 315324 SOS 261638 HAS SOPS 211749 HAS SOUS 124641 HAS SOUPS 114340 WITH SCORE 114601.638
AT ITER 108 NEW BEST:: SOT 315324 SOS 261406 HAS SOPS 211669 HAS SOUS 124409 HAS SOUPS 114146 WITH SCORE 114407.406
AT ITER 109 NEW BEST:: SOT 315324 SOS 261400 HAS SOPS 211663 HAS SOUS 124406 HAS SOUPS 114143 WITH SCORE 114404.4
AT ITER 115 NEW BEST:: SOT 315324 SOS 261296 HAS SOPS 211203 HAS SOUS 123530 HAS SOUPS 113267 WITH SCORE 113528.296
AT ITER 118 NEW BEST:: SOT 315324 SOS 261814 HAS SOPS 210803 HAS SOUS 123002 HAS SOUPS 112595 WITH SCORE 112856.814
AT ITER 121 NEW BEST:: SOT 315324 SOS 261190 HAS SOPS 210803 HAS SOUS 122909 HAS SOUPS 112595 WITH SCORE 112856.19
AT ITER 124 NEW BEST:: SOT 315324 SOS 261168 HAS SOPS 211081 HAS SOUS 122545 HAS SOUPS 112281 WITH SCORE 112542.168
AT ITER 126 NEW BEST:: SOT 315214 SOS 261004 HAS SOPS 210925 HAS SOUS 122395 HAS SOUPS 112139 WITH SCORE 112400.004
AT ITER 128 NEW BEST:: SOT 315214 SOS 261057 HAS SOPS 211237 HAS SOUS 121784 HAS SOUPS 111709 WITH SCORE 111970.057
AT ITER 130 NEW BEST:: SOT 315214 SOS 261173 HAS SOPS 211201 HAS SOUS 121617 HAS SOUPS 111542 WITH SCORE 111803.173
AT ITER 132 NEW BEST:: SOT 315214 SOS 261281 HAS SOPS 211273 HAS SOUS 121635 HAS SOUPS 111524 WITH SCORE 111785.281
AT ITER 133 NEW BEST:: SOT 314974 SOS 261041 HAS SOPS 211033 HAS SOUS 121357 HAS SOUPS 111246 WITH SCORE 111507.041
AT ITER 135 NEW BEST:: SOT 314974 SOS 260973 HAS SOPS 205465 HAS SOUS 121325 HAS SOUPS 109378 WITH SCORE 109638.973
AT ITER 137 NEW BEST:: SOT 315945 SOS 262307 HAS SOPS 200223 HAS SOUS 115761 HAS SOUPS 103094 WITH SCORE 103356.307
AT ITER 138 NEW BEST:: SOT 315945 SOS 260319 HAS SOPS 199449 HAS SOUS 115761 HAS SOUPS 103049 WITH SCORE 103309.319
AT ITER 140 NEW BEST:: SOT 315945 SOS 259827 HAS SOPS 199369 HAS SOUS 114664 HAS SOUPS 102196 WITH SCORE 102455.827
AT ITER 142 NEW BEST:: SOT 315945 SOS 259931 HAS SOPS 198611 HAS SOUS 114510 HAS SOUPS 102083 WITH SCORE 102342.931
AT ITER 145 NEW BEST:: SOT 315945 SOS 260075 HAS SOPS 198403 HAS SOUS 114390 HAS SOUPS 101963 WITH SCORE 102223.075
AT ITER 153 NEW BEST:: SOT 315945 SOS 259761 HAS SOPS 196173 HAS SOUS 114204 HAS SOUPS 101777 WITH SCORE 102036.761
AT ITER 156 NEW BEST:: SOT 315945 SOS 259763 HAS SOPS 193825 HAS SOUS 113041 HAS SOUPS 100627 WITH SCORE 100886.763
AT ITER 157 NEW BEST:: SOT 315945 SOS 259737 HAS SOPS 193799 HAS SOUS 113028 HAS SOUPS 100614 WITH SCORE 100873.737
AT ITER 160 NEW BEST:: SOT 315945 SOS 259529 HAS SOPS 194147 HAS SOUS 112723 HAS SOUPS 100614 WITH SCORE 100873.529
AT ITER 163 NEW BEST:: SOT 315945 SOS 259279 HAS SOPS 193097 HAS SOUS 112278 HAS SOUPS 99409 WITH SCORE 99668.279
AT ITER 164 NEW BEST:: SOT 315945 SOS 259255 HAS SOPS 193065 HAS SOUS 112258 HAS SOUPS 99393 WITH SCORE 99652.255
AT ITER 172 NEW BEST:: SOT 315945 SOS 259222 HAS SOPS 193032 HAS SOUS 112258 HAS SOUPS 99393 WITH SCORE 99652.222
AT ITER 175 NEW BEST:: SOT 315945 SOS 259168 HAS SOPS 190560 HAS SOUS 112015 HAS SOUPS 98999 WITH SCORE 99258.168
AT ITER 176 NEW BEST:: SOT 315945 SOS 259142 HAS SOPS 190020 HAS SOUS 111997 HAS SOUPS 98998 WITH SCORE 99257.142
AT ITER 180 NEW BEST:: SOT 315945 SOS 259418 HAS SOPS 189656 HAS SOUS 111994 HAS SOUPS 98675 WITH SCORE 98934.418
AT ITER 181 NEW BEST:: SOT 315945 SOS 259106 HAS SOPS 183380 HAS SOUS 112083 HAS SOUPS 96822 WITH SCORE 97081.106
AT ITER 182 NEW BEST:: SOT 315945 SOS 259066 HAS SOPS 180140 HAS SOUS 109851 HAS SOUPS 94941 WITH SCORE 95200.066
AT ITER 186 NEW BEST:: SOT 315945 SOS 258990 HAS SOPS 180064 HAS SOUS 109787 HAS SOUPS 94886 WITH SCORE 95144.99
AT ITER 188 NEW BEST:: SOT 316077 SOS 259330 HAS SOPS 180332 HAS SOUS 109781 HAS SOUPS 94844 WITH SCORE 95103.33
AT ITER 190 NEW BEST:: SOT 316227 SOS 259276 HAS SOPS 180482 HAS SOUS 109445 HAS SOUPS 94623 WITH SCORE 94882.276
AT ITER 192 NEW BEST:: SOT 316227 SOS 259304 HAS SOPS 180578 HAS SOUS 108909 HAS SOUPS 94127 WITH SCORE 94386.304
AT ITER 197 NEW BEST:: SOT 316659 SOS 259736 HAS SOPS 180754 HAS SOUS 106263 HAS SOUPS 91993 WITH SCORE 92252.736
AT ITER 199 NEW BEST:: SOT 316659 SOS 259992 HAS SOPS 180302 HAS SOUS 106254 HAS SOUPS 91661 WITH SCORE 91920.992
AT ITER 204 NEW BEST:: SOT 316659 SOS 258706 HAS SOPS 180114 HAS SOUS 106061 HAS SOUPS 91472 WITH SCORE 91730.706
AT ITER 212 NEW BEST:: SOT 316659 SOS 258684 HAS SOPS 180114 HAS SOUS 106024 HAS SOUPS 91446 WITH SCORE 91704.684
AT ITER 214 NEW BEST:: SOT 316659 SOS 258572 HAS SOPS 178802 HAS SOUS 105574 HAS SOUPS 90890 WITH SCORE 91148.572
AT ITER 215 NEW BEST:: SOT 316659 SOS 258530 HAS SOPS 178802 HAS SOUS 105460 HAS SOUPS 90890 WITH SCORE 91148.53
AT ITER 217 NEW BEST:: SOT 316659 SOS 258494 HAS SOPS 178942 HAS SOUS 105372 HAS SOUPS 90890 WITH SCORE 91148.494
AT ITER 218 NEW BEST:: SOT 316659 SOS 258318 HAS SOPS 178932 HAS SOUS 105314 HAS SOUPS 90869 WITH SCORE 91127.318
AT ITER 219 NEW BEST:: SOT 316813 SOS 258488 HAS SOPS 178790 HAS SOUS 105487 HAS SOUPS 90778 WITH SCORE 91036.488
AT ITER 220 NEW BEST:: SOT 316813 SOS 258674 HAS SOPS 178118 HAS SOUS 105244 HAS SOUPS 90666 WITH SCORE 90924.674
AT ITER 221 NEW BEST:: SOT 316813 SOS 258128 HAS SOPS 178294 HAS SOUS 104900 HAS SOUPS 90407 WITH SCORE 90665.128
AT ITER 222 NEW BEST:: SOT 316813 SOS 257880 HAS SOPS 178046 HAS SOUS 104889 HAS SOUPS 90396 WITH SCORE 90653.88
AT ITER 223 NEW BEST:: SOT 316837 SOS 251498 HAS SOPS 176682 HAS SOUS 102918 HAS SOUPS 89199 WITH SCORE 89450.498
AT ITER 234 NEW BEST:: SOT 316837 SOS 252738 HAS SOPS 180822 HAS SOUS 101264 HAS SOUPS 88309 WITH SCORE 88561.738
AT ITER 239 NEW BEST:: SOT 316837 SOS 252686 HAS SOPS 180682 HAS SOUS 101070 HAS SOUPS 88099 WITH SCORE 88351.686
AT ITER 240 NEW BEST:: SOT 316837 SOS 251866 HAS SOPS 180436 HAS SOUS 100023 HAS SOUPS 87225 WITH SCORE 87476.866
AT ITER 241 NEW BEST:: SOT 316837 SOS 251866 HAS SOPS 180524 HAS SOUS 99919 HAS SOUPS 87183 WITH SCORE 87434.866
AT ITER 244 NEW BEST:: SOT 316837 SOS 251612 HAS SOPS 180406 HAS SOUS 99706 HAS SOUPS 87106 WITH SCORE 87357.612
AT ITER 246 NEW BEST:: SOT 316837 SOS 251060 HAS SOPS 180020 HAS SOUS 99452 HAS SOUPS 86812 WITH SCORE 87063.06
AT ITER 251 NEW BEST:: SOT 316997 SOS 251336 HAS SOPS 180180 HAS SOUS 99416 HAS SOUPS 86718 WITH SCORE 86969.336
AT ITER 255 NEW BEST:: SOT 316997 SOS 250832 HAS SOPS 180012 HAS SOUS 99362 HAS SOUPS 86691 WITH SCORE 86941.832
AT ITER 256 NEW BEST:: SOT 316997 SOS 250772 HAS SOPS 180162 HAS SOUS 99422 HAS SOUPS 86676 WITH SCORE 86926.772
AT ITER 258 NEW BEST:: SOT 316997 SOS 250984 HAS SOPS 179638 HAS SOUS 98043 HAS SOUPS 85297 WITH SCORE 85547.984
AT ITER 263 NEW BEST:: SOT 316997 SOS 250984 HAS SOPS 179590 HAS SOUS 97899 HAS SOUPS 85165 WITH SCORE 85415.984
AT ITER 264 NEW BEST:: SOT 316997 SOS 250912 HAS SOPS 179564 HAS SOUS 95892 HAS SOUPS 83240 WITH SCORE 83490.912
AT ITER 267 NEW BEST:: SOT 316997 SOS 251418 HAS SOPS 179936 HAS SOUS 95695 HAS SOUPS 83068 WITH SCORE 83319.418
AT ITER 268 NEW BEST:: SOT 316954 SOS 251419 HAS SOPS 180111 HAS SOUS 95712 HAS SOUPS 82955 WITH SCORE 83206.419
AT ITER 269 NEW BEST:: SOT 316954 SOS 251349 HAS SOPS 179893 HAS SOUS 95951 HAS SOUPS 82872 WITH SCORE 83123.349
AT ITER 270 NEW BEST:: SOT 316954 SOS 251349 HAS SOPS 179713 HAS SOUS 95915 HAS SOUPS 82854 WITH SCORE 83105.349
AT ITER 272 NEW BEST:: SOT 316909 SOS 251273 HAS SOPS 179637 HAS SOUS 95863 HAS SOUPS 82802 WITH SCORE 83053.273
AT ITER 274 NEW BEST:: SOT 316909 SOS 251289 HAS SOPS 179645 HAS SOUS 95863 HAS SOUPS 82794 WITH SCORE 83045.289
AT ITER 275 NEW BEST:: SOT 316815 SOS 251257 HAS SOPS 179697 HAS SOUS 95975 HAS SOUPS 82510 WITH SCORE 82761.257
AT ITER 276 NEW BEST:: SOT 316815 SOS 251449 HAS SOPS 179889 HAS SOUS 95973 HAS SOUPS 82508 WITH SCORE 82759.449
AT ITER 278 NEW BEST:: SOT 316815 SOS 248659 HAS SOPS 175819 HAS SOUS 94565 HAS SOUPS 81547 WITH SCORE 81795.659
AT ITER 280 NEW BEST:: SOT 316815 SOS 248595 HAS SOPS 175905 HAS SOUS 93576 HAS SOUPS 80748 WITH SCORE 80996.595
AT ITER 284 NEW BEST:: SOT 316815 SOS 248787 HAS SOPS 174495 HAS SOUS 93516 HAS SOUPS 80735 WITH SCORE 80983.787
AT ITER 289 NEW BEST:: SOT 317069 SOS 249417 HAS SOPS 175227 HAS SOUS 92863 HAS SOUPS 80132 WITH SCORE 80381.417
AT ITER 290 NEW BEST:: SOT 317026 SOS 249374 HAS SOPS 175098 HAS SOUS 92622 HAS SOUPS 79891 WITH SCORE 80140.374
AT ITER 291 NEW BEST:: SOT 317026 SOS 249566 HAS SOPS 174772 HAS SOUS 92525 HAS SOUPS 79616 WITH SCORE 79865.566
AT ITER 294 NEW BEST:: SOT 317026 SOS 245155 HAS SOPS 173372 HAS SOUS 91498 HAS SOUPS 78818 WITH SCORE 79063.155
AT ITER 302 NEW BEST:: SOT 317026 SOS 245203 HAS SOPS 173468 HAS SOUS 89670 HAS SOUPS 77134 WITH SCORE 77379.203
AT ITER 303 NEW BEST:: SOT 317026 SOS 246069 HAS SOPS 173542 HAS SOUS 89193 HAS SOUPS 76719 WITH SCORE 76965.069
AT ITER 304 NEW BEST:: SOT 317026 SOS 246153 HAS SOPS 173542 HAS SOUS 89133 HAS SOUPS 76668 WITH SCORE 76914.153
AT ITER 312 NEW BEST:: SOT 317026 SOS 246145 HAS SOPS 173092 HAS SOUS 89043 HAS SOUPS 76593 WITH SCORE 76839.145
AT ITER 314 NEW BEST:: SOT 317026 SOS 246039 HAS SOPS 173092 HAS SOUS 88990 HAS SOUPS 76593 WITH SCORE 76839.039
AT ITER 315 NEW BEST:: SOT 317026 SOS 246039 HAS SOPS 173092 HAS SOUS 88981 HAS SOUPS 76584 WITH SCORE 76830.039
AT ITER 316 NEW BEST:: SOT 317026 SOS 246031 HAS SOPS 172978 HAS SOUS 88968 HAS SOUPS 76518 WITH SCORE 76764.031
AT ITER 317 NEW BEST:: SOT 317026 SOS 246069 HAS SOPS 169220 HAS SOUS 88705 HAS SOUPS 75732 WITH SCORE 75978.069
AT ITER 319 NEW BEST:: SOT 265714 SOS 223549 HAS SOPS 190558 HAS SOUS 57151 HAS SOUPS 55031 WITH SCORE 55254.549
AT ITER 320 NEW BEST:: SOT 265524 SOS 223359 HAS SOPS 190368 HAS SOUS 57125 HAS SOUPS 55005 WITH SCORE 55228.359
AT ITER 323 NEW BEST:: SOT 265506 SOS 223341 HAS SOPS 190350 HAS SOUS 57098 HAS SOUPS 54978 WITH SCORE 55201.341
AT ITER 327 NEW BEST:: SOT 265698 SOS 223533 HAS SOPS 190542 HAS SOUS 56828 HAS SOUPS 54708 WITH SCORE 54931.533
AT ITER 328 NEW BEST:: SOT 265894 SOS 223677 HAS SOPS 190614 HAS SOUS 56735 HAS SOUPS 54579 WITH SCORE 54802.677
AT ITER 330 NEW BEST:: SOT 266800 SOS 224583 HAS SOPS 191520 HAS SOUS 55781 HAS SOUPS 53625 WITH SCORE 53849.583
AT ITER 331 NEW BEST:: SOT 266830 SOS 224613 HAS SOPS 191550 HAS SOUS 55022 HAS SOUPS 52866 WITH SCORE 53090.613
AT ITER 332 NEW BEST:: SOT 266845 SOS 224628 HAS SOPS 191565 HAS SOUS 54991 HAS SOUPS 52835 WITH SCORE 53059.628
AT ITER 334 NEW BEST:: SOT 266843 SOS 224626 HAS SOPS 191563 HAS SOUS 54989 HAS SOUPS 52833 WITH SCORE 53057.626
AT ITER 338 NEW BEST:: SOT 266924 SOS 224707 HAS SOPS 191644 HAS SOUS 54932 HAS SOUPS 52776 WITH SCORE 53000.707
AT ITER 339 NEW BEST:: SOT 266826 SOS 224485 HAS SOPS 191586 HAS SOUS 54214 HAS SOUPS 52078 WITH SCORE 52302.485
AT ITER 347 NEW BEST:: SOT 265198 SOS 222857 HAS SOPS 189958 HAS SOUS 53427 HAS SOUPS 51291 WITH SCORE 51513.857
AT ITER 351 NEW BEST:: SOT 265198 SOS 222859 HAS SOPS 189960 HAS SOUS 53424 HAS SOUPS 51288 WITH SCORE 51510.859
AT ITER 361 NEW BEST:: SOT 265040 SOS 222701 HAS SOPS 189802 HAS SOUS 53170 HAS SOUPS 51034 WITH SCORE 51256.701
AT ITER 362 NEW BEST:: SOT 263618 SOS 222103 HAS SOPS 189257 HAS SOUS 52644 HAS SOUPS 50561 WITH SCORE 50783.103
AT ITER 363 NEW BEST:: SOT 264453 SOS 223007 HAS SOPS 190161 HAS SOUS 51900 HAS SOUPS 49817 WITH SCORE 50040.007
AT ITER 364 NEW BEST:: SOT 264411 SOS 222965 HAS SOPS 190119 HAS SOUS 51591 HAS SOUPS 49508 WITH SCORE 49730.965
AT ITER 367 NEW BEST:: SOT 264481 SOS 222993 HAS SOPS 190035 HAS SOUS 51562 HAS SOUPS 49479 WITH SCORE 49701.993
AT ITER 369 NEW BEST:: SOT 264263 SOS 222775 HAS SOPS 189817 HAS SOUS 51499 HAS SOUPS 49416 WITH SCORE 49638.775
AT ITER 373 NEW BEST:: SOT 262617 SOS 221224 HAS SOPS 188146 HAS SOUS 50945 HAS SOUPS 48910 WITH SCORE 49131.224
AT ITER 374 NEW BEST:: SOT 262717 SOS 221137 HAS SOPS 187952 HAS SOUS 50709 HAS SOUPS 48666 WITH SCORE 48887.137
AT ITER 375 NEW BEST:: SOT 262717 SOS 221137 HAS SOPS 187952 HAS SOUS 50689 HAS SOUPS 48646 WITH SCORE 48867.137
AT ITER 377 NEW BEST:: SOT 262611 SOS 220987 HAS SOPS 187912 HAS SOUS 50384 HAS SOUPS 48341 WITH SCORE 48561.987
AT ITER 381 NEW BEST:: SOT 263616 SOS 221992 HAS SOPS 188917 HAS SOUS 49500 HAS SOUPS 47457 WITH SCORE 47678.992
AT ITER 383 NEW BEST:: SOT 263616 SOS 221942 HAS SOPS 189059 HAS SOUS 49383 HAS SOUPS 47457 WITH SCORE 47678.942
AT ITER 386 NEW BEST:: SOT 263285 SOS 221611 HAS SOPS 188728 HAS SOUS 49169 HAS SOUPS 47243 WITH SCORE 47464.611
AT ITER 387 NEW BEST:: SOT 262455 SOS 220781 HAS SOPS 187898 HAS SOUS 48392 HAS SOUPS 46466 WITH SCORE 46686.781
AT ITER 391 NEW BEST:: SOT 262211 SOS 220221 HAS SOPS 187594 HAS SOUS 48344 HAS SOUPS 46426 WITH SCORE 46646.221
AT ITER 392 NEW BEST:: SOT 262231 SOS 220241 HAS SOPS 187614 HAS SOUS 48322 HAS SOUPS 46404 WITH SCORE 46624.241
AT ITER 393 NEW BEST:: SOT 262231 SOS 220229 HAS SOPS 187354 HAS SOUS 47649 HAS SOUPS 45731 WITH SCORE 45951.229
AT ITER 394 NEW BEST:: SOT 262291 SOS 220289 HAS SOPS 187414 HAS SOUS 47623 HAS SOUPS 45705 WITH SCORE 45925.289
AT ITER 398 NEW BEST:: SOT 262291 SOS 220289 HAS SOPS 187414 HAS SOUS 47610 HAS SOUPS 45692 WITH SCORE 45912.289
AT ITER 399 NEW BEST:: SOT 261707 SOS 219787 HAS SOPS 186912 HAS SOUS 47540 HAS SOUPS 45622 WITH SCORE 45841.787
AT ITER 402 NEW BEST:: SOT 261099 SOS 219115 HAS SOPS 186304 HAS SOUS 47449 HAS SOUPS 45531 WITH SCORE 45750.115
AT ITER 403 NEW BEST:: SOT 261197 SOS 219213 HAS SOPS 186402 HAS SOUS 47174 HAS SOUPS 45256 WITH SCORE 45475.213
AT ITER 408 NEW BEST:: SOT 261729 SOS 219745 HAS SOPS 186934 HAS SOUS 45801 HAS SOUPS 43883 WITH SCORE 44102.745
AT ITER 409 NEW BEST:: SOT 261747 SOS 219763 HAS SOPS 186952 HAS SOUS 45776 HAS SOUPS 43858 WITH SCORE 44077.763
AT ITER 418 NEW BEST:: SOT 261821 SOS 219666 HAS SOPS 186694 HAS SOUS 45273 HAS SOUPS 43342 WITH SCORE 43561.666
AT ITER 422 NEW BEST:: SOT 261771 SOS 219616 HAS SOPS 186644 HAS SOUS 45083 HAS SOUPS 43152 WITH SCORE 43371.616
AT ITER 424 NEW BEST:: SOT 261980 SOS 219825 HAS SOPS 186853 HAS SOUS 44995 HAS SOUPS 43064 WITH SCORE 43283.825
AT ITER 435 NEW BEST:: SOT 262058 SOS 220169 HAS SOPS 187197 HAS SOUS 44892 HAS SOUPS 42963 WITH SCORE 43183.169
AT ITER 438 NEW BEST:: SOT 261545 SOS 219100 HAS SOPS 185244 HAS SOUS 42721 HAS SOUPS 40852 WITH SCORE 41071.1
AT ITER 439 NEW BEST:: SOT 261527 SOS 218994 HAS SOPS 185098 HAS SOUS 42609 HAS SOUPS 40744 WITH SCORE 40962.994
AT ITER 440 NEW BEST:: SOT 261119 SOS 218586 HAS SOPS 184690 HAS SOUS 42476 HAS SOUPS 40611 WITH SCORE 40829.586
AT ITER 443 NEW BEST:: SOT 261152 SOS 218619 HAS SOPS 184723 HAS SOUS 42353 HAS SOUPS 40488 WITH SCORE 40706.619
AT ITER 445 NEW BEST:: SOT 261042 SOS 218509 HAS SOPS 184613 HAS SOUS 42353 HAS SOUPS 40488 WITH SCORE 40706.509
AT ITER 448 NEW BEST:: SOT 261008 SOS 218475 HAS SOPS 184579 HAS SOUS 42353 HAS SOUPS 40488 WITH SCORE 40706.475
AT ITER 451 NEW BEST:: SOT 262310 SOS 219795 HAS SOPS 185899 HAS SOUS 42120 HAS SOUPS 40267 WITH SCORE 40486.795
AT ITER 455 NEW BEST:: SOT 262336 SOS 219813 HAS SOPS 185925 HAS SOUS 42082 HAS SOUPS 40237 WITH SCORE 40456.813
AT ITER 458 NEW BEST:: SOT 262058 SOS 219327 HAS SOPS 185413 HAS SOUS 41801 HAS SOUPS 39943 WITH SCORE 40162.327
AT ITER 463 NEW BEST:: SOT 262102 SOS 219371 HAS SOPS 185457 HAS SOUS 41742 HAS SOUPS 39884 WITH SCORE 40103.371
AT ITER 464 NEW BEST:: SOT 261920 SOS 219189 HAS SOPS 185275 HAS SOUS 41651 HAS SOUPS 39793 WITH SCORE 40012.189
AT ITER 465 NEW BEST:: SOT 261504 SOS 218773 HAS SOPS 184859 HAS SOUS 41649 HAS SOUPS 39791 WITH SCORE 40009.773
AT ITER 466 NEW BEST:: SOT 261430 SOS 218699 HAS SOPS 184785 HAS SOUS 41185 HAS SOUPS 39327 WITH SCORE 39545.699
AT ITER 468 NEW BEST:: SOT 261230 SOS 218543 HAS SOPS 183073 HAS SOUS 40750 HAS SOUPS 38998 WITH SCORE 39216.543
AT ITER 471 NEW BEST:: SOT 261086 SOS 218399 HAS SOPS 182929 HAS SOUS 40102 HAS SOUPS 38350 WITH SCORE 38568.399
AT ITER 473 NEW BEST:: SOT 261086 SOS 218429 HAS SOPS 182923 HAS SOUS 40093 HAS SOUPS 38347 WITH SCORE 38565.429
AT ITER 474 NEW BEST:: SOT 261086 SOS 218429 HAS SOPS 182923 HAS SOUS 40003 HAS SOUPS 38257 WITH SCORE 38475.429
AT ITER 475 NEW BEST:: SOT 261030 SOS 218265 HAS SOPS 182903 HAS SOUS 39727 HAS SOUPS 37990 WITH SCORE 38208.265
AT ITER 478 NEW BEST:: SOT 260958 SOS 218193 HAS SOPS 182831 HAS SOUS 39671 HAS SOUPS 37934 WITH SCORE 38152.193
AT ITER 481 NEW BEST:: SOT 260958 SOS 218393 HAS SOPS 183215 HAS SOUS 39550 HAS SOUPS 37881 WITH SCORE 38099.393
AT ITER 482 NEW BEST:: SOT 261082 SOS 218517 HAS SOPS 183339 HAS SOUS 39272 HAS SOUPS 37603 WITH SCORE 37821.517
AT ITER 483 NEW BEST:: SOT 261108 SOS 218543 HAS SOPS 183365 HAS SOUS 39229 HAS SOUPS 37560 WITH SCORE 37778.543
AT ITER 485 NEW BEST:: SOT 261102 SOS 218537 HAS SOPS 182527 HAS SOUS 39226 HAS SOUPS 37540 WITH SCORE 37758.537
AT ITER 486 NEW BEST:: SOT 261084 SOS 218519 HAS SOPS 182509 HAS SOUS 39060 HAS SOUPS 37374 WITH SCORE 37592.519
AT ITER 488 NEW BEST:: SOT 261040 SOS 218475 HAS SOPS 182465 HAS SOUS 39038 HAS SOUPS 37352 WITH SCORE 37570.475
AT ITER 497 NEW BEST:: SOT 261012 SOS 218475 HAS SOPS 182465 HAS SOUS 39010 HAS SOUPS 37324 WITH SCORE 37542.475
AT ITER 498 NEW BEST:: SOT 260790 SOS 218253 HAS SOPS 182243 HAS SOUS 38939 HAS SOUPS 37253 WITH SCORE 37471.253
AT ITER 499 NEW BEST:: SOT 260790 SOS 218253 HAS SOPS 182243 HAS SOUS 38930 HAS SOUPS 37244 WITH SCORE 37462.253
AT ITER 502 NEW BEST:: SOT 260756 SOS 218219 HAS SOPS 182209 HAS SOUS 38896 HAS SOUPS 37210 WITH SCORE 37428.219
AT ITER 505 NEW BEST:: SOT 260720 SOS 218183 HAS SOPS 182173 HAS SOUS 38896 HAS SOUPS 37210 WITH SCORE 37428.183
AT ITER 510 NEW BEST:: SOT 260770 SOS 218221 HAS SOPS 182211 HAS SOUS 38785 HAS SOUPS 37099 WITH SCORE 37317.221
AT ITER 512 NEW BEST:: SOT 260490 SOS 217941 HAS SOPS 181931 HAS SOUS 38627 HAS SOUPS 36941 WITH SCORE 37158.941
AT ITER 515 NEW BEST:: SOT 260538 SOS 217989 HAS SOPS 181979 HAS SOUS 38595 HAS SOUPS 36909 WITH SCORE 37126.989
AT ITER 522 NEW BEST:: SOT 260557 SOS 217387 HAS SOPS 181301 HAS SOUS 38607 HAS SOUPS 36899 WITH SCORE 37116.387
AT ITER 523 NEW BEST:: SOT 260541 SOS 217371 HAS SOPS 181285 HAS SOUS 38572 HAS SOUPS 36864 WITH SCORE 37081.371
AT ITER 524 NEW BEST:: SOT 260484 SOS 217314 HAS SOPS 181228 HAS SOUS 38572 HAS SOUPS 36864 WITH SCORE 37081.314
AT ITER 527 NEW BEST:: SOT 260482 SOS 217312 HAS SOPS 181226 HAS SOUS 38566 HAS SOUPS 36858 WITH SCORE 37075.312
AT ITER 537 NEW BEST:: SOT 260702 SOS 217532 HAS SOPS 181446 HAS SOUS 38516 HAS SOUPS 36808 WITH SCORE 37025.532
AT ITER 547 NEW BEST:: SOT 260702 SOS 217348 HAS SOPS 181262 HAS SOUS 38493 HAS SOUPS 36785 WITH SCORE 37002.348
AT ITER 556 NEW BEST:: SOT 260698 SOS 217344 HAS SOPS 181258 HAS SOUS 38479 HAS SOUPS 36771 WITH SCORE 36988.344
AT ITER 559 NEW BEST:: SOT 260934 SOS 217580 HAS SOPS 181494 HAS SOUS 38463 HAS SOUPS 36755 WITH SCORE 36972.58
AT ITER 561 NEW BEST:: SOT 260934 SOS 217580 HAS SOPS 181494 HAS SOUS 38175 HAS SOUPS 36467 WITH SCORE 36684.58
AT ITER 566 NEW BEST:: SOT 260967 SOS 217603 HAS SOPS 181505 HAS SOUS 38141 HAS SOUPS 36427 WITH SCORE 36644.603
AT ITER 573 NEW BEST:: SOT 260133 SOS 216869 HAS SOPS 180771 HAS SOUS 37974 HAS SOUPS 36260 WITH SCORE 36476.869
AT ITER 574 NEW BEST:: SOT 259757 SOS 216493 HAS SOPS 180395 HAS SOUS 37753 HAS SOUPS 36039 WITH SCORE 36255.493
AT ITER 575 NEW BEST:: SOT 259757 SOS 216465 HAS SOPS 180367 HAS SOUS 37739 HAS SOUPS 36025 WITH SCORE 36241.465
AT ITER 579 NEW BEST:: SOT 259757 SOS 216369 HAS SOPS 180303 HAS SOUS 37675 HAS SOUPS 35993 WITH SCORE 36209.369
AT ITER 582 NEW BEST:: SOT 259603 SOS 216215 HAS SOPS 180149 HAS SOUS 37665 HAS SOUPS 35983 WITH SCORE 36199.215
AT ITER 591 NEW BEST:: SOT 259231 SOS 215843 HAS SOPS 179777 HAS SOUS 37544 HAS SOUPS 35862 WITH SCORE 36077.843
AT ITER 593 NEW BEST:: SOT 259197 SOS 215809 HAS SOPS 179743 HAS SOUS 37514 HAS SOUPS 35832 WITH SCORE 36047.809
AT ITER 604 NEW BEST:: SOT 259197 SOS 215749 HAS SOPS 179729 HAS SOUS 37507 HAS SOUPS 35825 WITH SCORE 36040.749
AT ITER 605 NEW BEST:: SOT 259275 SOS 215827 HAS SOPS 179807 HAS SOUS 37477 HAS SOUPS 35795 WITH SCORE 36010.827
AT ITER 607 NEW BEST:: SOT 259297 SOS 215849 HAS SOPS 179829 HAS SOUS 37394 HAS SOUPS 35712 WITH SCORE 35927.849
AT ITER 609 NEW BEST:: SOT 259301 SOS 215853 HAS SOPS 179833 HAS SOUS 37235 HAS SOUPS 35553 WITH SCORE 35768.853
AT ITER 627 NEW BEST:: SOT 259301 SOS 215637 HAS SOPS 179617 HAS SOUS 37235 HAS SOUPS 35553 WITH SCORE 35768.637
AT ITER 630 NEW BEST:: SOT 258365 SOS 214701 HAS SOPS 178681 HAS SOUS 36911 HAS SOUPS 35229 WITH SCORE 35443.701
AT ITER 633 NEW BEST:: SOT 258623 SOS 214959 HAS SOPS 178939 HAS SOUS 36145 HAS SOUPS 34463 WITH SCORE 34677.959
AT ITER 635 NEW BEST:: SOT 258555 SOS 214891 HAS SOPS 178871 HAS SOUS 36105 HAS SOUPS 34423 WITH SCORE 34637.891
AT ITER 640 NEW BEST:: SOT 258640 SOS 214987 HAS SOPS 178967 HAS SOUS 35983 HAS SOUPS 34301 WITH SCORE 34515.987
AT ITER 643 NEW BEST:: SOT 257819 SOS 214166 HAS SOPS 178146 HAS SOUS 35283 HAS SOUPS 33601 WITH SCORE 33815.166
AT ITER 646 NEW BEST:: SOT 257819 SOS 214078 HAS SOPS 178146 HAS SOUS 35294 HAS SOUPS 33601 WITH SCORE 33815.078
AT ITER 647 NEW BEST:: SOT 258067 SOS 214326 HAS SOPS 178394 HAS SOUS 35190 HAS SOUPS 33497 WITH SCORE 33711.326
AT ITER 650 NEW BEST:: SOT 258067 SOS 214298 HAS SOPS 178394 HAS SOUS 35176 HAS SOUPS 33497 WITH SCORE 33711.298
AT ITER 654 NEW BEST:: SOT 258067 SOS 214286 HAS SOPS 178382 HAS SOUS 35210 HAS SOUPS 33491 WITH SCORE 33705.286
AT ITER 655 NEW BEST:: SOT 257925 SOS 214144 HAS SOPS 178240 HAS SOUS 35207 HAS SOUPS 33488 WITH SCORE 33702.144
AT ITER 663 NEW BEST:: SOT 257653 SOS 213880 HAS SOPS 177976 HAS SOUS 35201 HAS SOUPS 33482 WITH SCORE 33695.88
AT ITER 668 NEW BEST:: SOT 257737 SOS 213964 HAS SOPS 178060 HAS SOUS 34781 HAS SOUPS 33062 WITH SCORE 33275.964
AT ITER 674 NEW BEST:: SOT 257739 SOS 213886 HAS SOPS 177482 HAS SOUS 34686 HAS SOUPS 32968 WITH SCORE 33181.886
AT ITER 678 NEW BEST:: SOT 257731 SOS 213790 HAS SOPS 177496 HAS SOUS 34481 HAS SOUPS 32774 WITH SCORE 32987.79
AT ITER 683 NEW BEST:: SOT 257757 SOS 213816 HAS SOPS 177522 HAS SOUS 33748 HAS SOUPS 32041 WITH SCORE 32254.816
AT ITER 689 NEW BEST:: SOT 257671 SOS 213730 HAS SOPS 177436 HAS SOUS 33695 HAS SOUPS 31988 WITH SCORE 32201.73
AT ITER 692 NEW BEST:: SOT 257451 SOS 213499 HAS SOPS 177205 HAS SOUS 33647 HAS SOUPS 31940 WITH SCORE 32153.499
AT ITER 699 NEW BEST:: SOT 257451 SOS 213453 HAS SOPS 177159 HAS SOUS 33652 HAS SOUPS 31917 WITH SCORE 32130.453
AT ITER 701 NEW BEST:: SOT 255975 SOS 211977 HAS SOPS 175683 HAS SOUS 32186 HAS SOUPS 30451 WITH SCORE 30662.977
AT ITER 707 NEW BEST:: SOT 255975 SOS 211833 HAS SOPS 175539 HAS SOUS 32174 HAS SOUPS 30445 WITH SCORE 30656.833
AT ITER 710 NEW BEST:: SOT 255731 SOS 211589 HAS SOPS 175295 HAS SOUS 31931 HAS SOUPS 30202 WITH SCORE 30413.589
AT ITER 721 NEW BEST:: SOT 255563 SOS 211421 HAS SOPS 175127 HAS SOUS 31679 HAS SOUPS 29950 WITH SCORE 30161.421
AT ITER 723 NEW BEST:: SOT 255767 SOS 211625 HAS SOPS 175011 HAS SOUS 31642 HAS SOUPS 29913 WITH SCORE 30124.625
AT ITER 736 NEW BEST:: SOT 256019 SOS 211877 HAS SOPS 175263 HAS SOUS 31621 HAS SOUPS 29892 WITH SCORE 30103.877
AT ITER 741 NEW BEST:: SOT 256181 SOS 212039 HAS SOPS 175425 HAS SOUS 31612 HAS SOUPS 29883 WITH SCORE 30095.039
AT ITER 748 NEW BEST:: SOT 256169 SOS 212027 HAS SOPS 175413 HAS SOUS 31540 HAS SOUPS 29811 WITH SCORE 30023.027
AT ITER 751 NEW BEST:: SOT 256325 SOS 212440 HAS SOPS 175826 HAS SOUS 31509 HAS SOUPS 29780 WITH SCORE 29992.44
AT ITER 753 NEW BEST:: SOT 256441 SOS 212556 HAS SOPS 175942 HAS SOUS 31383 HAS SOUPS 29654 WITH SCORE 29866.556
AT ITER 755 NEW BEST:: SOT 257131 SOS 213246 HAS SOPS 176632 HAS SOUS 30517 HAS SOUPS 28788 WITH SCORE 29001.246
AT ITER 756 NEW BEST:: SOT 257072 SOS 213187 HAS SOPS 176573 HAS SOUS 30399 HAS SOUPS 28670 WITH SCORE 28883.187
AT ITER 757 NEW BEST:: SOT 257064 SOS 213179 HAS SOPS 176565 HAS SOUS 30395 HAS SOUPS 28666 WITH SCORE 28879.179
AT ITER 758 NEW BEST:: SOT 257064 SOS 213139 HAS SOPS 176565 HAS SOUS 30375 HAS SOUPS 28666 WITH SCORE 28879.139
AT ITER 765 NEW BEST:: SOT 257056 SOS 213131 HAS SOPS 176557 HAS SOUS 30375 HAS SOUPS 28666 WITH SCORE 28879.131
AT ITER 774 NEW BEST:: SOT 257056 SOS 213263 HAS SOPS 176545 HAS SOUS 30383 HAS SOUPS 28638 WITH SCORE 28851.263
AT ITER 778 NEW BEST:: SOT 256832 SOS 213039 HAS SOPS 176321 HAS SOUS 30140 HAS SOUPS 28395 WITH SCORE 28608.039
AT ITER 779 NEW BEST:: SOT 256668 SOS 212875 HAS SOPS 176157 HAS SOUS 30114 HAS SOUPS 28369 WITH SCORE 28581.875
AT ITER 780 NEW BEST:: SOT 256700 SOS 212851 HAS SOPS 176441 HAS SOUS 30042 HAS SOUPS 28361 WITH SCORE 28573.851
AT ITER 790 NEW BEST:: SOT 256598 SOS 212749 HAS SOPS 176339 HAS SOUS 29984 HAS SOUPS 28303 WITH SCORE 28515.749
AT ITER 792 NEW BEST:: SOT 256554 SOS 212705 HAS SOPS 176295 HAS SOUS 29970 HAS SOUPS 28289 WITH SCORE 28501.705
AT ITER 807 NEW BEST:: SOT 256554 SOS 212677 HAS SOPS 176267 HAS SOUS 29963 HAS SOUPS 28282 WITH SCORE 28494.677
AT ITER 810 NEW BEST:: SOT 256554 SOS 211893 HAS SOPS 176267 HAS SOUS 29918 HAS SOUPS 28237 WITH SCORE 28448.893
AT ITER 821 NEW BEST:: SOT 256406 SOS 211745 HAS SOPS 176119 HAS SOUS 29844 HAS SOUPS 28163 WITH SCORE 28374.745
AT ITER 823 NEW BEST:: SOT 256372 SOS 211571 HAS SOPS 176015 HAS SOUS 29735 HAS SOUPS 28089 WITH SCORE 28300.571
AT ITER 836 NEW BEST:: SOT 256968 SOS 212167 HAS SOPS 176611 HAS SOUS 29715 HAS SOUPS 28069 WITH SCORE 28281.167
AT ITER 838 NEW BEST:: SOT 256834 SOS 212033 HAS SOPS 176477 HAS SOUS 29600 HAS SOUPS 27954 WITH SCORE 28166.033
AT ITER 841 NEW BEST:: SOT 256834 SOS 212253 HAS SOPS 176457 HAS SOUS 29576 HAS SOUPS 27930 WITH SCORE 28142.253
AT ITER 850 NEW BEST:: SOT 256756 SOS 204173 HAS SOPS 176441 HAS SOUS 29469 HAS SOUPS 27886 WITH SCORE 28090.173
AT ITER 861 NEW BEST:: SOT 256628 SOS 204045 HAS SOPS 176313 HAS SOUS 29402 HAS SOUPS 27819 WITH SCORE 28023.045
AT ITER 869 NEW BEST:: SOT 256868 SOS 204285 HAS SOPS 176553 HAS SOUS 29324 HAS SOUPS 27741 WITH SCORE 27945.285
AT ITER 877 NEW BEST:: SOT 257416 SOS 204833 HAS SOPS 177101 HAS SOUS 29129 HAS SOUPS 27546 WITH SCORE 27750.833
AT ITER 881 NEW BEST:: SOT 257416 SOS 204749 HAS SOPS 177093 HAS SOUS 29099 HAS SOUPS 27538 WITH SCORE 27742.749
AT ITER 886 NEW BEST:: SOT 257487 SOS 204820 HAS SOPS 177164 HAS SOUS 29023 HAS SOUPS 27462 WITH SCORE 27666.82
AT ITER 894 NEW BEST:: SOT 257525 SOS 204858 HAS SOPS 177202 HAS SOUS 28658 HAS SOUPS 27097 WITH SCORE 27301.858
AT ITER 908 NEW BEST:: SOT 257644 SOS 204977 HAS SOPS 177321 HAS SOUS 28421 HAS SOUPS 26860 WITH SCORE 27064.977
AT ITER 911 NEW BEST:: SOT 257536 SOS 204869 HAS SOPS 177213 HAS SOUS 28367 HAS SOUPS 26806 WITH SCORE 27010.869
AT ITER 913 NEW BEST:: SOT 257426 SOS 204759 HAS SOPS 177103 HAS SOUS 28312 HAS SOUPS 26751 WITH SCORE 26955.759
AT ITER 921 NEW BEST:: SOT 257342 SOS 204675 HAS SOPS 177019 HAS SOUS 28175 HAS SOUPS 26614 WITH SCORE 26818.675
AT ITER 938 NEW BEST:: SOT 257104 SOS 204205 HAS SOPS 176789 HAS SOUS 28152 HAS SOUPS 26564 WITH SCORE 26768.205
AT ITER 948 NEW BEST:: SOT 257066 SOS 204167 HAS SOPS 176751 HAS SOUS 28144 HAS SOUPS 26556 WITH SCORE 26760.167
AT ITER 950 NEW BEST:: SOT 257062 SOS 204003 HAS SOPS 176747 HAS SOUS 28130 HAS SOUPS 26552 WITH SCORE 26756.003
AT ITER 951 NEW BEST:: SOT 255892 SOS 203053 HAS SOPS 175821 HAS SOUS 28024 HAS SOUPS 26449 WITH SCORE 26652.053
AT ITER 961 NEW BEST:: SOT 256152 SOS 203313 HAS SOPS 176081 HAS SOUS 27916 HAS SOUPS 26341 WITH SCORE 26544.313
AT ITER 970 NEW BEST:: SOT 256164 SOS 203257 HAS SOPS 176093 HAS SOUS 27742 HAS SOUPS 26303 WITH SCORE 26506.257
AT ITER 974 NEW BEST:: SOT 256162 SOS 203162 HAS SOPS 175998 HAS SOUS 27694 HAS SOUPS 26255 WITH SCORE 26458.162
AT ITER 977 NEW BEST:: SOT 256162 SOS 203162 HAS SOPS 175998 HAS SOUS 27550 HAS SOUPS 26111 WITH SCORE 26314.162
AT ITER 980 NEW BEST:: SOT 256162 SOS 203114 HAS SOPS 175946 HAS SOUS 27540 HAS SOUPS 26099 WITH SCORE 26302.114
AT ITER 985 NEW BEST:: SOT 256062 SOS 203014 HAS SOPS 175846 HAS SOUS 27518 HAS SOUPS 26077 WITH SCORE 26280.014
AT ITER 994 NEW BEST:: SOT 255934 SOS 202886 HAS SOPS 175718 HAS SOUS 27344 HAS SOUPS 25903 WITH SCORE 26105.886
AT ITER 1009 NEW BEST:: SOT 256424 SOS 203376 HAS SOPS 176208 HAS SOUS 27227 HAS SOUPS 25786 WITH SCORE 25989.376
AT ITER 1017 NEW BEST:: SOT 256438 SOS 203404 HAS SOPS 176236 HAS SOUS 27208 HAS SOUPS 25784 WITH SCORE 25987.404
AT ITER 1028 NEW BEST:: SOT 256438 SOS 203082 HAS SOPS 175914 HAS SOUS 27185 HAS SOUPS 25784 WITH SCORE 25987.082
AT ITER 1041 NEW BEST:: SOT 256400 SOS 202314 HAS SOPS 175618 HAS SOUS 27084 HAS SOUPS 25726 WITH SCORE 25928.314
AT ITER 1042 NEW BEST:: SOT 256406 SOS 202320 HAS SOPS 175624 HAS SOUS 27078 HAS SOUPS 25720 WITH SCORE 25922.32
AT ITER 1044 NEW BEST:: SOT 256262 SOS 202176 HAS SOPS 175480 HAS SOUS 26926 HAS SOUPS 25568 WITH SCORE 25770.176
AT ITER 1051 NEW BEST:: SOT 256252 SOS 202166 HAS SOPS 175470 HAS SOUS 26921 HAS SOUPS 25563 WITH SCORE 25765.166
AT ITER 1056 NEW BEST:: SOT 256212 SOS 202126 HAS SOPS 175430 HAS SOUS 26917 HAS SOUPS 25559 WITH SCORE 25761.126
AT ITER 1058 NEW BEST:: SOT 256192 SOS 201986 HAS SOPS 175290 HAS SOUS 26770 HAS SOUPS 25412 WITH SCORE 25613.986
AT ITER 1063 NEW BEST:: SOT 255928 SOS 201722 HAS SOPS 175026 HAS SOUS 26614 HAS SOUPS 25256 WITH SCORE 25457.722
AT ITER 1066 NEW BEST:: SOT 255900 SOS 201680 HAS SOPS 174984 HAS SOUS 26558 HAS SOUPS 25200 WITH SCORE 25401.68
AT ITER 1068 NEW BEST:: SOT 255832 SOS 201612 HAS SOPS 174916 HAS SOUS 26473 HAS SOUPS 25115 WITH SCORE 25316.612
AT ITER 1070 NEW BEST:: SOT 255674 SOS 201454 HAS SOPS 174758 HAS SOUS 26194 HAS SOUPS 24836 WITH SCORE 25037.454
AT ITER 1071 NEW BEST:: SOT 255674 SOS 201454 HAS SOPS 174732 HAS SOUS 26194 HAS SOUPS 24823 WITH SCORE 25024.454
AT ITER 1079 NEW BEST:: SOT 255663 SOS 201443 HAS SOPS 174721 HAS SOUS 26182 HAS SOUPS 24811 WITH SCORE 25012.443
AT ITER 1080 NEW BEST:: SOT 255689 SOS 201469 HAS SOPS 174747 HAS SOUS 26169 HAS SOUPS 24798 WITH SCORE 24999.469
AT ITER 1085 NEW BEST:: SOT 255603 SOS 201385 HAS SOPS 174663 HAS SOUS 26139 HAS SOUPS 24768 WITH SCORE 24969.385
AT ITER 1104 NEW BEST:: SOT 255615 SOS 201397 HAS SOPS 174675 HAS SOUS 26115 HAS SOUPS 24744 WITH SCORE 24945.397
AT ITER 1107 NEW BEST:: SOT 255615 SOS 201479 HAS SOPS 178335 HAS SOUS 25930 HAS SOUPS 24735 WITH SCORE 24936.479
AT ITER 1110 NEW BEST:: SOT 255615 SOS 201479 HAS SOPS 178335 HAS SOUS 25906 HAS SOUPS 24711 WITH SCORE 24912.479
AT ITER 1132 NEW BEST:: SOT 255592 SOS 201456 HAS SOPS 178312 HAS SOUS 25902 HAS SOUPS 24707 WITH SCORE 24908.456
AT ITER 1138 NEW BEST:: SOT 255410 SOS 201274 HAS SOPS 178130 HAS SOUS 25800 HAS SOUPS 24605 WITH SCORE 24806.274
AT ITER 1145 NEW BEST:: SOT 255434 SOS 201298 HAS SOPS 178154 HAS SOUS 25760 HAS SOUPS 24565 WITH SCORE 24766.298
AT ITER 1157 NEW BEST:: SOT 255190 SOS 201054 HAS SOPS 177910 HAS SOUS 25699 HAS SOUPS 24504 WITH SCORE 24705.054
AT ITER 1159 NEW BEST:: SOT 255196 SOS 201060 HAS SOPS 177916 HAS SOUS 25693 HAS SOUPS 24498 WITH SCORE 24699.06
AT ITER 1162 NEW BEST:: SOT 255332 SOS 201196 HAS SOPS 178052 HAS SOUS 25612 HAS SOUPS 24417 WITH SCORE 24618.196
AT ITER 1165 NEW BEST:: SOT 254634 SOS 200498 HAS SOPS 177354 HAS SOUS 25559 HAS SOUPS 24364 WITH SCORE 24564.498
AT ITER 1168 NEW BEST:: SOT 254634 SOS 200498 HAS SOPS 177354 HAS SOUS 25542 HAS SOUPS 24347 WITH SCORE 24547.498
AT ITER 1169 NEW BEST:: SOT 254704 SOS 200568 HAS SOPS 177424 HAS SOUS 25464 HAS SOUPS 24269 WITH SCORE 24469.568
AT ITER 1177 NEW BEST:: SOT 254668 SOS 200532 HAS SOPS 177388 HAS SOUS 25446 HAS SOUPS 24251 WITH SCORE 24451.532
AT ITER 1186 NEW BEST:: SOT 254748 SOS 200612 HAS SOPS 177468 HAS SOUS 25350 HAS SOUPS 24155 WITH SCORE 24355.612
AT ITER 1190 NEW BEST:: SOT 254808 SOS 200672 HAS SOPS 177528 HAS SOUS 25230 HAS SOUPS 24035 WITH SCORE 24235.672
AT ITER 1191 NEW BEST:: SOT 255010 SOS 200874 HAS SOPS 177730 HAS SOUS 25104 HAS SOUPS 23909 WITH SCORE 24109.874
AT ITER 1203 NEW BEST:: SOT 254554 SOS 200418 HAS SOPS 177274 HAS SOUS 24984 HAS SOUPS 23789 WITH SCORE 23989.418
AT ITER 1217 NEW BEST:: SOT 254763 SOS 200627 HAS SOPS 177483 HAS SOUS 24967 HAS SOUPS 23772 WITH SCORE 23972.627
AT ITER 1220 NEW BEST:: SOT 254713 SOS 200577 HAS SOPS 177433 HAS SOUS 24937 HAS SOUPS 23742 WITH SCORE 23942.577
AT ITER 1224 NEW BEST:: SOT 254711 SOS 200575 HAS SOPS 177431 HAS SOUS 24934 HAS SOUPS 23739 WITH SCORE 23939.575
AT ITER 1229 NEW BEST:: SOT 254724 SOS 200588 HAS SOPS 177444 HAS SOUS 24928 HAS SOUPS 23733 WITH SCORE 23933.588
AT ITER 1231 NEW BEST:: SOT 254700 SOS 200564 HAS SOPS 177420 HAS SOUS 24910 HAS SOUPS 23715 WITH SCORE 23915.564
AT ITER 1240 NEW BEST:: SOT 254322 SOS 200186 HAS SOPS 177042 HAS SOUS 24714 HAS SOUPS 23519 WITH SCORE 23719.186
AT ITER 1244 NEW BEST:: SOT 254456 SOS 200320 HAS SOPS 177176 HAS SOUS 24707 HAS SOUPS 23512 WITH SCORE 23712.32
AT ITER 1246 NEW BEST:: SOT 254456 SOS 200320 HAS SOPS 177176 HAS SOUS 24687 HAS SOUPS 23492 WITH SCORE 23692.32
AT ITER 1249 NEW BEST:: SOT 254034 SOS 199898 HAS SOPS 176754 HAS SOUS 24683 HAS SOUPS 23488 WITH SCORE 23687.898
AT ITER 1256 NEW BEST:: SOT 253906 SOS 200128 HAS SOPS 176738 HAS SOUS 24589 HAS SOUPS 23436 WITH SCORE 23636.128
AT ITER 1257 NEW BEST:: SOT 253934 SOS 200318 HAS SOPS 176680 HAS SOUS 24576 HAS SOUPS 23393 WITH SCORE 23593.318
AT ITER 1262 NEW BEST:: SOT 253694 SOS 200078 HAS SOPS 176440 HAS SOUS 24482 HAS SOUPS 23299 WITH SCORE 23499.078
AT ITER 1264 NEW BEST:: SOT 253684 SOS 200068 HAS SOPS 176430 HAS SOUS 24482 HAS SOUPS 23299 WITH SCORE 23499.068
AT ITER 1272 NEW BEST:: SOT 253666 SOS 199852 HAS SOPS 176160 HAS SOUS 24473 HAS SOUPS 23290 WITH SCORE 23489.852
AT ITER 1276 NEW BEST:: SOT 253540 SOS 199726 HAS SOPS 176034 HAS SOUS 24440 HAS SOUPS 23257 WITH SCORE 23456.726
AT ITER 1299 NEW BEST:: SOT 253455 SOS 199641 HAS SOPS 175949 HAS SOUS 24420 HAS SOUPS 23237 WITH SCORE 23436.641
AT ITER 1319 NEW BEST:: SOT 253478 SOS 199664 HAS SOPS 175972 HAS SOUS 24419 HAS SOUPS 23236 WITH SCORE 23435.664
AT ITER 1322 NEW BEST:: SOT 253478 SOS 199656 HAS SOPS 175964 HAS SOUS 24418 HAS SOUPS 23235 WITH SCORE 23434.656
AT ITER 1335 NEW BEST:: SOT 253560 SOS 199738 HAS SOPS 176046 HAS SOUS 24405 HAS SOUPS 23222 WITH SCORE 23421.738
AT ITER 1337 NEW BEST:: SOT 253646 SOS 199824 HAS SOPS 176132 HAS SOUS 24387 HAS SOUPS 23204 WITH SCORE 23403.824
AT ITER 1339 NEW BEST:: SOT 253568 SOS 199746 HAS SOPS 176054 HAS SOUS 24364 HAS SOUPS 23181 WITH SCORE 23380.746
AT ITER 1346 NEW BEST:: SOT 253546 SOS 199724 HAS SOPS 176032 HAS SOUS 24342 HAS SOUPS 23159 WITH SCORE 23358.724
AT ITER 1347 NEW BEST:: SOT 253491 SOS 199669 HAS SOPS 175977 HAS SOUS 24230 HAS SOUPS 23047 WITH SCORE 23246.669
AT ITER 1348 NEW BEST:: SOT 253439 SOS 199617 HAS SOPS 175925 HAS SOUS 24204 HAS SOUPS 23021 WITH SCORE 23220.617
AT ITER 1358 NEW BEST:: SOT 253439 SOS 199025 HAS SOPS 175909 HAS SOUS 24196 HAS SOUPS 23013 WITH SCORE 23212.025
AT ITER 1362 NEW BEST:: SOT 252933 SOS 198519 HAS SOPS 175403 HAS SOUS 24169 HAS SOUPS 22986 WITH SCORE 23184.519
AT ITER 1363 NEW BEST:: SOT 252947 SOS 198533 HAS SOPS 175417 HAS SOUS 24046 HAS SOUPS 22863 WITH SCORE 23061.533
AT ITER 1364 NEW BEST:: SOT 252961 SOS 198547 HAS SOPS 175431 HAS SOUS 24036 HAS SOUPS 22853 WITH SCORE 23051.547
AT ITER 1370 NEW BEST:: SOT 252961 SOS 198671 HAS SOPS 175405 HAS SOUS 24033 HAS SOUPS 22840 WITH SCORE 23038.671
AT ITER 1375 NEW BEST:: SOT 252961 SOS 198655 HAS SOPS 175389 HAS SOUS 24031 HAS SOUPS 22839 WITH SCORE 23037.655
AT ITER 1379 NEW BEST:: SOT 253341 SOS 199031 HAS SOPS 175765 HAS SOUS 23983 HAS SOUPS 22791 WITH SCORE 22990.031
AT ITER 1384 NEW BEST:: SOT 253697 SOS 199387 HAS SOPS 176121 HAS SOUS 23911 HAS SOUPS 22719 WITH SCORE 22918.387
AT ITER 1421 NEW BEST:: SOT 253485 SOS 199175 HAS SOPS 175909 HAS SOUS 23871 HAS SOUPS 22679 WITH SCORE 22878.175
AT ITER 1427 NEW BEST:: SOT 253485 SOS 199124 HAS SOPS 175903 HAS SOUS 23859 HAS SOUPS 22676 WITH SCORE 22875.124
AT ITER 1432 NEW BEST:: SOT 253477 SOS 199116 HAS SOPS 175895 HAS SOUS 23851 HAS SOUPS 22668 WITH SCORE 22867.116
AT ITER 1434 NEW BEST:: SOT 253462 SOS 198676 HAS SOPS 172063 HAS SOUS 23852 HAS SOUPS 22616 WITH SCORE 22814.676
AT ITER 1435 NEW BEST:: SOT 253534 SOS 198748 HAS SOPS 172135 HAS SOUS 23778 HAS SOUPS 22542 WITH SCORE 22740.748
AT ITER 1441 NEW BEST:: SOT 253526 SOS 198740 HAS SOPS 172127 HAS SOUS 23768 HAS SOUPS 22532 WITH SCORE 22730.74
AT ITER 1447 NEW BEST:: SOT 253502 SOS 198716 HAS SOPS 172103 HAS SOUS 23762 HAS SOUPS 22526 WITH SCORE 22724.716
AT ITER 1479 NEW BEST:: SOT 253526 SOS 198740 HAS SOPS 172127 HAS SOUS 23761 HAS SOUPS 22525 WITH SCORE 22723.74
AT ITER 1480 NEW BEST:: SOT 253526 SOS 197948 HAS SOPS 171587 HAS SOUS 23725 HAS SOUPS 22507 WITH SCORE 22704.948
AT ITER 1489 NEW BEST:: SOT 253476 SOS 197898 HAS SOPS 171537 HAS SOUS 23725 HAS SOUPS 22507 WITH SCORE 22704.898
AT ITER 1490 NEW BEST:: SOT 253492 SOS 200202 HAS SOPS 171553 HAS SOUS 23324 HAS SOUPS 22125 WITH SCORE 22325.202
AT ITER 1495 NEW BEST:: SOT 253318 SOS 200028 HAS SOPS 171379 HAS SOUS 23262 HAS SOUPS 22063 WITH SCORE 22263.028
AT ITER 1498 NEW BEST:: SOT 253302 SOS 200012 HAS SOPS 171363 HAS SOUS 23230 HAS SOUPS 22031 WITH SCORE 22231.012
AT ITER 1500 NEW BEST:: SOT 253858 SOS 200568 HAS SOPS 171919 HAS SOUS 23108 HAS SOUPS 21909 WITH SCORE 22109.568
AT ITER 1502 NEW BEST:: SOT 253858 SOS 200524 HAS SOPS 171875 HAS SOUS 23108 HAS SOUPS 21909 WITH SCORE 22109.524
AT ITER 1518 NEW BEST:: SOT 253858 SOS 200514 HAS SOPS 171865 HAS SOUS 23108 HAS SOUPS 21909 WITH SCORE 22109.514
AT ITER 1519 NEW BEST:: SOT 253858 SOS 200492 HAS SOPS 171843 HAS SOUS 23108 HAS SOUPS 21898 WITH SCORE 22098.492
AT ITER 1531 NEW BEST:: SOT 253826 SOS 200460 HAS SOPS 171811 HAS SOUS 23105 HAS SOUPS 21895 WITH SCORE 22095.46
AT ITER 1535 NEW BEST:: SOT 253876 SOS 200510 HAS SOPS 171861 HAS SOUS 23044 HAS SOUPS 21834 WITH SCORE 22034.51
AT ITER 1539 NEW BEST:: SOT 253876 SOS 200064 HAS SOPS 171639 HAS SOUS 23031 HAS SOUPS 21828 WITH SCORE 22028.064
AT ITER 1546 NEW BEST:: SOT 253876 SOS 200064 HAS SOPS 171639 HAS SOUS 22996 HAS SOUPS 21793 WITH SCORE 21993.064
AT ITER 1550 NEW BEST:: SOT 253874 SOS 200062 HAS SOPS 171637 HAS SOUS 22996 HAS SOUPS 21793 WITH SCORE 21993.062
AT ITER 1552 NEW BEST:: SOT 253814 SOS 200002 HAS SOPS 171577 HAS SOUS 22914 HAS SOUPS 21711 WITH SCORE 21911.002
AT ITER 1563 NEW BEST:: SOT 253719 SOS 199907 HAS SOPS 171482 HAS SOUS 22819 HAS SOUPS 21616 WITH SCORE 21815.907
AT ITER 1572 NEW BEST:: SOT 253689 SOS 199877 HAS SOPS 171452 HAS SOUS 22804 HAS SOUPS 21601 WITH SCORE 21800.877
AT ITER 1575 NEW BEST:: SOT 253691 SOS 199879 HAS SOPS 171454 HAS SOUS 22803 HAS SOUPS 21600 WITH SCORE 21799.879
AT ITER 1580 NEW BEST:: SOT 253569 SOS 199757 HAS SOPS 171332 HAS SOUS 22312 HAS SOUPS 21109 WITH SCORE 21308.757
AT ITER 1616 NEW BEST:: SOT 253497 SOS 199685 HAS SOPS 171260 HAS SOUS 22287 HAS SOUPS 21084 WITH SCORE 21283.685
AT ITER 1620 NEW BEST:: SOT 253482 SOS 199670 HAS SOPS 171245 HAS SOUS 22221 HAS SOUPS 21018 WITH SCORE 21217.67
AT ITER 1636 NEW BEST:: SOT 253391 SOS 199594 HAS SOPS 171097 HAS SOUS 22193 HAS SOUPS 20988 WITH SCORE 21187.594
AT ITER 1644 NEW BEST:: SOT 253451 SOS 199654 HAS SOPS 171157 HAS SOUS 22151 HAS SOUPS 20946 WITH SCORE 21145.654
AT ITER 1648 NEW BEST:: SOT 253962 SOS 200165 HAS SOPS 171668 HAS SOUS 22065 HAS SOUPS 20860 WITH SCORE 21060.165
AT ITER 1649 NEW BEST:: SOT 254036 SOS 200239 HAS SOPS 171742 HAS SOUS 22041 HAS SOUPS 20836 WITH SCORE 21036.239
AT ITER 1653 NEW BEST:: SOT 254036 SOS 200239 HAS SOPS 171742 HAS SOUS 22038 HAS SOUPS 20833 WITH SCORE 21033.239
AT ITER 1654 NEW BEST:: SOT 254036 SOS 200351 HAS SOPS 171742 HAS SOUS 22022 HAS SOUPS 20817 WITH SCORE 21017.351
AT ITER 1662 NEW BEST:: SOT 254214 SOS 200529 HAS SOPS 171920 HAS SOUS 21574 HAS SOUPS 20369 WITH SCORE 20569.529
AT ITER 1668 NEW BEST:: SOT 254214 SOS 200251 HAS SOPS 172100 HAS SOUS 21555 HAS SOUPS 20369 WITH SCORE 20569.251
AT ITER 1678 NEW BEST:: SOT 254240 SOS 200277 HAS SOPS 172126 HAS SOUS 21510 HAS SOUPS 20324 WITH SCORE 20524.277
AT ITER 1691 NEW BEST:: SOT 253514 SOS 199551 HAS SOPS 171400 HAS SOUS 21418 HAS SOUPS 20232 WITH SCORE 20431.551
AT ITER 1699 NEW BEST:: SOT 253514 SOS 199551 HAS SOPS 171400 HAS SOUS 21361 HAS SOUPS 20175 WITH SCORE 20374.551
AT ITER 1705 NEW BEST:: SOT 253514 SOS 199551 HAS SOPS 171400 HAS SOUS 21347 HAS SOUPS 20161 WITH SCORE 20360.551
AT ITER 1711 NEW BEST:: SOT 253482 SOS 199519 HAS SOPS 171368 HAS SOUS 21331 HAS SOUPS 20145 WITH SCORE 20344.519
AT ITER 1718 NEW BEST:: SOT 253517 SOS 200090 HAS SOPS 171275 HAS SOUS 21346 HAS SOUPS 20128 WITH SCORE 20328.09
AT ITER 1722 NEW BEST:: SOT 253517 SOS 200090 HAS SOPS 171275 HAS SOUS 21344 HAS SOUPS 20126 WITH SCORE 20326.09
AT ITER 1733 NEW BEST:: SOT 253461 SOS 200008 HAS SOPS 171205 HAS SOUS 21297 HAS SOUPS 20085 WITH SCORE 20285.008
AT ITER 1743 NEW BEST:: SOT 253461 SOS 199478 HAS SOPS 171205 HAS SOUS 21257 HAS SOUPS 20085 WITH SCORE 20284.478
AT ITER 1745 NEW BEST:: SOT 253459 SOS 199476 HAS SOPS 171203 HAS SOUS 21255 HAS SOUPS 20083 WITH SCORE 20282.476
AT ITER 1755 NEW BEST:: SOT 253459 SOS 191602 HAS SOPS 171203 HAS SOUS 21253 HAS SOUPS 20081 WITH SCORE 20272.602
AT ITER 1757 NEW BEST:: SOT 253641 SOS 191784 HAS SOPS 171385 HAS SOUS 21184 HAS SOUPS 20012 WITH SCORE 20203.784
AT ITER 1759 NEW BEST:: SOT 253534 SOS 191677 HAS SOPS 171278 HAS SOUS 21173 HAS SOUPS 20001 WITH SCORE 20192.677
AT ITER 1762 NEW BEST:: SOT 253278 SOS 191421 HAS SOPS 171022 HAS SOUS 21111 HAS SOUPS 19939 WITH SCORE 20130.421
AT ITER 1767 NEW BEST:: SOT 253278 SOS 191388 HAS SOPS 171000 HAS SOUS 21089 HAS SOUPS 19928 WITH SCORE 20119.388
AT ITER 1771 NEW BEST:: SOT 253278 SOS 191384 HAS SOPS 170996 HAS SOUS 21087 HAS SOUPS 19926 WITH SCORE 20117.384
AT ITER 1793 NEW BEST:: SOT 253388 SOS 191494 HAS SOPS 171106 HAS SOUS 21083 HAS SOUPS 19922 WITH SCORE 20113.494
AT ITER 1804 NEW BEST:: SOT 253388 SOS 191491 HAS SOPS 171106 HAS SOUS 21068 HAS SOUPS 19922 WITH SCORE 20113.491
AT ITER 1807 NEW BEST:: SOT 253388 SOS 191667 HAS SOPS 171074 HAS SOUS 21096 HAS SOUPS 19910 WITH SCORE 20101.667
AT ITER 1818 NEW BEST:: SOT 253384 SOS 191663 HAS SOPS 171070 HAS SOUS 21096 HAS SOUPS 19910 WITH SCORE 20101.663
AT ITER 1823 NEW BEST:: SOT 253330 SOS 191609 HAS SOPS 171016 HAS SOUS 21048 HAS SOUPS 19862 WITH SCORE 20053.609
AT ITER 1824 NEW BEST:: SOT 253184 SOS 191463 HAS SOPS 170870 HAS SOUS 20983 HAS SOUPS 19797 WITH SCORE 19988.463
AT ITER 1827 NEW BEST:: SOT 253130 SOS 191409 HAS SOPS 170816 HAS SOUS 20956 HAS SOUPS 19770 WITH SCORE 19961.409
AT ITER 1833 NEW BEST:: SOT 253428 SOS 191707 HAS SOPS 171114 HAS SOUS 20684 HAS SOUPS 19498 WITH SCORE 19689.707
AT ITER 1845 NEW BEST:: SOT 253398 SOS 191677 HAS SOPS 171084 HAS SOUS 20684 HAS SOUPS 19498 WITH SCORE 19689.677
AT ITER 1852 NEW BEST:: SOT 253398 SOS 191677 HAS SOPS 171084 HAS SOUS 20659 HAS SOUPS 19473 WITH SCORE 19664.677
AT ITER 1861 NEW BEST:: SOT 253240 SOS 191519 HAS SOPS 170926 HAS SOUS 20576 HAS SOUPS 19390 WITH SCORE 19581.519
AT ITER 1862 NEW BEST:: SOT 253058 SOS 191337 HAS SOPS 170744 HAS SOUS 20102 HAS SOUPS 18916 WITH SCORE 19107.337
AT ITER 1871 NEW BEST:: SOT 253060 SOS 191339 HAS SOPS 170746 HAS SOUS 20100 HAS SOUPS 18914 WITH SCORE 19105.339
AT ITER 1879 NEW BEST:: SOT 253062 SOS 191341 HAS SOPS 170748 HAS SOUS 20097 HAS SOUPS 18911 WITH SCORE 19102.341
AT ITER 1888 NEW BEST:: SOT 252674 SOS 190231 HAS SOPS 170000 HAS SOUS 19948 HAS SOUPS 18762 WITH SCORE 18952.231
AT ITER 1907 NEW BEST:: SOT 252679 SOS 190236 HAS SOPS 170005 HAS SOUS 19867 HAS SOUPS 18681 WITH SCORE 18871.236
AT ITER 1910 NEW BEST:: SOT 252666 SOS 190223 HAS SOPS 169992 HAS SOUS 19853 HAS SOUPS 18667 WITH SCORE 18857.223
AT ITER 1916 NEW BEST:: SOT 252322 SOS 189879 HAS SOPS 169648 HAS SOUS 19701 HAS SOUPS 18515 WITH SCORE 18704.879
AT ITER 1942 NEW BEST:: SOT 252322 SOS 189879 HAS SOPS 169648 HAS SOUS 19698 HAS SOUPS 18512 WITH SCORE 18701.879
AT ITER 1958 NEW BEST:: SOT 252322 SOS 189879 HAS SOPS 169648 HAS SOUS 19630 HAS SOUPS 18444 WITH SCORE 18633.879
AT ITER 2016 NEW BEST:: SOT 252396 SOS 189953 HAS SOPS 169722 HAS SOUS 19495 HAS SOUPS 18309 WITH SCORE 18498.953
AT ITER 2023 NEW BEST:: SOT 252396 SOS 189633 HAS SOPS 169682 HAS SOUS 19495 HAS SOUPS 18309 WITH SCORE 18498.633
AT ITER 2036 NEW BEST:: SOT 252388 SOS 189625 HAS SOPS 169674 HAS SOUS 19295 HAS SOUPS 18109 WITH SCORE 18298.625
AT ITER 2042 NEW BEST:: SOT 252388 SOS 189589 HAS SOPS 169638 HAS SOUS 19286 HAS SOUPS 18100 WITH SCORE 18289.589
AT ITER 2064 NEW BEST:: SOT 252388 SOS 189545 HAS SOPS 169594 HAS SOUS 19264 HAS SOUPS 18078 WITH SCORE 18267.545
AT ITER 2072 NEW BEST:: SOT 252388 SOS 189545 HAS SOPS 169594 HAS SOUS 19209 HAS SOUPS 18023 WITH SCORE 18212.545
AT ITER 2077 NEW BEST:: SOT 252388 SOS 189545 HAS SOPS 169594 HAS SOUS 19205 HAS SOUPS 18019 WITH SCORE 18208.545
AT ITER 2108 NEW BEST:: SOT 252388 SOS 189541 HAS SOPS 169594 HAS SOUS 19203 HAS SOUPS 18019 WITH SCORE 18208.541
AT ITER 2121 NEW BEST:: SOT 252313 SOS 189466 HAS SOPS 169519 HAS SOUS 19102 HAS SOUPS 17918 WITH SCORE 18107.466
AT ITER 2140 NEW BEST:: SOT 252313 SOS 189466 HAS SOPS 169519 HAS SOUS 19080 HAS SOUPS 17896 WITH SCORE 18085.466
AT ITER 2146 NEW BEST:: SOT 252321 SOS 189474 HAS SOPS 169527 HAS SOUS 19066 HAS SOUPS 17882 WITH SCORE 18071.474
AT ITER 2148 NEW BEST:: SOT 251929 SOS 189229 HAS SOPS 169327 HAS SOUS 18981 HAS SOUPS 17830 WITH SCORE 18019.229
AT ITER 2153 NEW BEST:: SOT 251903 SOS 189203 HAS SOPS 169301 HAS SOUS 18905 HAS SOUPS 17754 WITH SCORE 17943.203
AT ITER 2210 NEW BEST:: SOT 251819 SOS 189119 HAS SOPS 169217 HAS SOUS 18884 HAS SOUPS 17733 WITH SCORE 17922.119
AT ITER 2222 NEW BEST:: SOT 251935 SOS 189235 HAS SOPS 169333 HAS SOUS 18809 HAS SOUPS 17658 WITH SCORE 17847.235
AT ITER 2236 NEW BEST:: SOT 251947 SOS 189221 HAS SOPS 170151 HAS SOUS 18796 HAS SOUPS 17658 WITH SCORE 17847.221
AT ITER 2243 NEW BEST:: SOT 251938 SOS 189212 HAS SOPS 170142 HAS SOUS 18796 HAS SOUPS 17658 WITH SCORE 17847.212
AT ITER 2251 NEW BEST:: SOT 251916 SOS 189190 HAS SOPS 170120 HAS SOUS 18774 HAS SOUPS 17636 WITH SCORE 17825.19
AT ITER 2256 NEW BEST:: SOT 251668 SOS 188942 HAS SOPS 169872 HAS SOUS 18732 HAS SOUPS 17594 WITH SCORE 17782.942
AT ITER 2266 NEW BEST:: SOT 251654 SOS 188928 HAS SOPS 169858 HAS SOUS 18684 HAS SOUPS 17546 WITH SCORE 17734.928
AT ITER 2283 NEW BEST:: SOT 251654 SOS 188928 HAS SOPS 169858 HAS SOUS 18613 HAS SOUPS 17475 WITH SCORE 17663.928
AT ITER 2284 NEW BEST:: SOT 251654 SOS 192330 HAS SOPS 169804 HAS SOUS 18613 HAS SOUPS 17448 WITH SCORE 17640.33
AT ITER 2286 NEW BEST:: SOT 251654 SOS 192318 HAS SOPS 169810 HAS SOUS 18601 HAS SOUPS 17445 WITH SCORE 17637.318
AT ITER 2305 NEW BEST:: SOT 251592 SOS 192256 HAS SOPS 169748 HAS SOUS 18559 HAS SOUPS 17403 WITH SCORE 17595.256
AT ITER 2306 NEW BEST:: SOT 251624 SOS 192288 HAS SOPS 169780 HAS SOUS 18511 HAS SOUPS 17355 WITH SCORE 17547.288
AT ITER 2316 NEW BEST:: SOT 251826 SOS 192381 HAS SOPS 169914 HAS SOUS 18507 HAS SOUPS 17351 WITH SCORE 17543.381
AT ITER 2332 NEW BEST:: SOT 251798 SOS 192353 HAS SOPS 169886 HAS SOUS 18487 HAS SOUPS 17331 WITH SCORE 17523.353
AT ITER 2340 NEW BEST:: SOT 251646 SOS 192201 HAS SOPS 169734 HAS SOUS 18463 HAS SOUPS 17307 WITH SCORE 17499.201
AT ITER 2370 NEW BEST:: SOT 251666 SOS 192089 HAS SOPS 169622 HAS SOUS 18460 HAS SOUPS 17304 WITH SCORE 17496.089
AT ITER 2379 NEW BEST:: SOT 251582 SOS 192005 HAS SOPS 169538 HAS SOUS 18444 HAS SOUPS 17288 WITH SCORE 17480.005
AT ITER 2380 NEW BEST:: SOT 251462 SOS 191575 HAS SOPS 169462 HAS SOUS 18401 HAS SOUPS 17267 WITH SCORE 17458.575
AT ITER 2401 NEW BEST:: SOT 251462 SOS 190935 HAS SOPS 169462 HAS SOUS 18393 HAS SOUPS 17267 WITH SCORE 17457.935
AT ITER 2416 NEW BEST:: SOT 251430 SOS 190903 HAS SOPS 169430 HAS SOUS 18377 HAS SOUPS 17251 WITH SCORE 17441.903
AT ITER 2419 NEW BEST:: SOT 251386 SOS 190859 HAS SOPS 169386 HAS SOUS 18254 HAS SOUPS 17128 WITH SCORE 17318.859
AT ITER 2420 NEW BEST:: SOT 251386 SOS 187509 HAS SOPS 169440 HAS SOUS 18223 HAS SOUPS 17097 WITH SCORE 17284.509
AT ITER 2468 NEW BEST:: SOT 251386 SOS 187509 HAS SOPS 169440 HAS SOUS 18217 HAS SOUPS 17091 WITH SCORE 17278.509
AT ITER 2472 NEW BEST:: SOT 251254 SOS 187377 HAS SOPS 169308 HAS SOUS 18195 HAS SOUPS 17069 WITH SCORE 17256.377
AT ITER 2477 NEW BEST:: SOT 251276 SOS 187399 HAS SOPS 169330 HAS SOUS 18164 HAS SOUPS 17038 WITH SCORE 17225.399
AT ITER 2479 NEW BEST:: SOT 251276 SOS 187291 HAS SOPS 169222 HAS SOUS 18164 HAS SOUPS 17038 WITH SCORE 17225.291
AT ITER 2488 NEW BEST:: SOT 251276 SOS 187183 HAS SOPS 169258 HAS SOUS 18146 HAS SOUPS 17038 WITH SCORE 17225.183
AT ITER 2508 NEW BEST:: SOT 251260 SOS 187167 HAS SOPS 169242 HAS SOUS 18130 HAS SOUPS 17022 WITH SCORE 17209.167
AT ITER 2511 NEW BEST:: SOT 251260 SOS 187167 HAS SOPS 169242 HAS SOUS 18124 HAS SOUPS 17016 WITH SCORE 17203.167
AT ITER 2512 NEW BEST:: SOT 251059 SOS 186966 HAS SOPS 169041 HAS SOUS 18124 HAS SOUPS 17016 WITH SCORE 17202.966
AT ITER 2515 NEW BEST:: SOT 251057 SOS 186964 HAS SOPS 169039 HAS SOUS 18116 HAS SOUPS 17008 WITH SCORE 17194.964
AT ITER 2520 NEW BEST:: SOT 251057 SOS 186960 HAS SOPS 169039 HAS SOUS 18114 HAS SOUPS 17008 WITH SCORE 17194.96
AT ITER 2521 NEW BEST:: SOT 251192 SOS 187095 HAS SOPS 169174 HAS SOUS 17945 HAS SOUPS 16839 WITH SCORE 17026.095
AT ITER 2522 NEW BEST:: SOT 251366 SOS 187269 HAS SOPS 169348 HAS SOUS 17835 HAS SOUPS 16729 WITH SCORE 16916.269
AT ITER 2534 NEW BEST:: SOT 251366 SOS 187505 HAS SOPS 172208 HAS SOUS 17774 HAS SOUPS 16709 WITH SCORE 16896.505
AT ITER 2550 NEW BEST:: SOT 251434 SOS 187573 HAS SOPS 172276 HAS SOUS 17729 HAS SOUPS 16664 WITH SCORE 16851.573
AT ITER 2576 NEW BEST:: SOT 251410 SOS 187549 HAS SOPS 172252 HAS SOUS 17721 HAS SOUPS 16656 WITH SCORE 16843.549
AT ITER 2577 NEW BEST:: SOT 251410 SOS 187549 HAS SOPS 172252 HAS SOUS 17694 HAS SOUPS 16629 WITH SCORE 16816.549
AT ITER 2578 NEW BEST:: SOT 251405 SOS 187544 HAS SOPS 172247 HAS SOUS 17688 HAS SOUPS 16623 WITH SCORE 16810.544
AT ITER 2584 NEW BEST:: SOT 251405 SOS 187548 HAS SOPS 172243 HAS SOUS 17684 HAS SOUPS 16615 WITH SCORE 16802.548
AT ITER 2602 NEW BEST:: SOT 251399 SOS 187542 HAS SOPS 172237 HAS SOUS 17684 HAS SOUPS 16615 WITH SCORE 16802.542
AT ITER 2612 NEW BEST:: SOT 251373 SOS 187524 HAS SOPS 171979 HAS SOUS 17713 HAS SOUPS 16615 WITH SCORE 16802.524
AT ITER 2630 NEW BEST:: SOT 251303 SOS 187454 HAS SOPS 171909 HAS SOUS 17623 HAS SOUPS 16525 WITH SCORE 16712.454
AT ITER 2631 NEW BEST:: SOT 251303 SOS 187150 HAS SOPS 170349 HAS SOUS 17657 HAS SOUPS 16520 WITH SCORE 16707.15
AT ITER 2634 NEW BEST:: SOT 251351 SOS 187198 HAS SOPS 170397 HAS SOUS 17653 HAS SOUPS 16516 WITH SCORE 16703.198
AT ITER 2637 NEW BEST:: SOT 251493 SOS 187340 HAS SOPS 170539 HAS SOUS 17626 HAS SOUPS 16489 WITH SCORE 16676.34
AT ITER 2669 NEW BEST:: SOT 251493 SOS 187196 HAS SOPS 170491 HAS SOUS 17597 HAS SOUPS 16460 WITH SCORE 16647.196
AT ITER 2679 NEW BEST:: SOT 251493 SOS 187140 HAS SOPS 170491 HAS SOUS 17590 HAS SOUPS 16460 WITH SCORE 16647.14
AT ITER 2699 NEW BEST:: SOT 251481 SOS 187080 HAS SOPS 170647 HAS SOUS 17554 HAS SOUPS 16448 WITH SCORE 16635.08
AT ITER 2708 NEW BEST:: SOT 251203 SOS 186750 HAS SOPS 170369 HAS SOUS 17490 HAS SOUPS 16411 WITH SCORE 16597.75
AT ITER 2739 NEW BEST:: SOT 251173 SOS 186720 HAS SOPS 170339 HAS SOUS 17419 HAS SOUPS 16340 WITH SCORE 16526.72
AT ITER 2745 NEW BEST:: SOT 251165 SOS 186712 HAS SOPS 170331 HAS SOUS 17419 HAS SOUPS 16340 WITH SCORE 16526.712
AT ITER 2762 NEW BEST:: SOT 251163 SOS 186710 HAS SOPS 170329 HAS SOUS 17419 HAS SOUPS 16340 WITH SCORE 16526.71
AT ITER 2767 NEW BEST:: SOT 251225 SOS 186772 HAS SOPS 170391 HAS SOUS 17385 HAS SOUPS 16306 WITH SCORE 16492.772
AT ITER 2769 NEW BEST:: SOT 251115 SOS 186662 HAS SOPS 170281 HAS SOUS 17199 HAS SOUPS 16120 WITH SCORE 16306.662
AT ITER 2772 NEW BEST:: SOT 251149 SOS 186458 HAS SOPS 170077 HAS SOUS 17156 HAS SOUPS 16077 WITH SCORE 16263.458
AT ITER 2781 NEW BEST:: SOT 251149 SOS 186362 HAS SOPS 170125 HAS SOUS 17125 HAS SOUPS 16070 WITH SCORE 16256.362
AT ITER 2828 NEW BEST:: SOT 251161 SOS 186374 HAS SOPS 170137 HAS SOUS 17122 HAS SOUPS 16067 WITH SCORE 16253.374
AT ITER 2831 NEW BEST:: SOT 251161 SOS 186352 HAS SOPS 170819 HAS SOUS 17111 HAS SOUPS 16067 WITH SCORE 16253.352
AT ITER 2837 NEW BEST:: SOT 250868 SOS 186059 HAS SOPS 170526 HAS SOUS 17081 HAS SOUPS 16037 WITH SCORE 16223.059
AT ITER 2865 NEW BEST:: SOT 250806 SOS 185997 HAS SOPS 170464 HAS SOUS 17050 HAS SOUPS 16006 WITH SCORE 16191.997
AT ITER 2896 NEW BEST:: SOT 250806 SOS 185997 HAS SOPS 170464 HAS SOUS 17026 HAS SOUPS 15982 WITH SCORE 16167.997
AT ITER 2908 NEW BEST:: SOT 250953 SOS 186144 HAS SOPS 170611 HAS SOUS 17002 HAS SOUPS 15958 WITH SCORE 16144.144
AT ITER 2937 NEW BEST:: SOT 250953 SOS 186108 HAS SOPS 170599 HAS SOUS 16999 HAS SOUPS 15958 WITH SCORE 16144.108
AT ITER 2947 NEW BEST:: SOT 250935 SOS 186090 HAS SOPS 170581 HAS SOUS 16990 HAS SOUPS 15949 WITH SCORE 16135.09
AT ITER 2968 NEW BEST:: SOT 250911 SOS 186066 HAS SOPS 170557 HAS SOUS 16984 HAS SOUPS 15943 WITH SCORE 16129.066
AT ITER 2991 NEW BEST:: SOT 250913 SOS 186068 HAS SOPS 170559 HAS SOUS 16981 HAS SOUPS 15940 WITH SCORE 16126.068
AT ITER 2996 NEW BEST:: SOT 250961 SOS 185876 HAS SOPS 170607 HAS SOUS 16948 HAS SOUPS 15936 WITH SCORE 16121.876
AT ITER 3006 NEW BEST:: SOT 250961 SOS 185820 HAS SOPS 170607 HAS SOUS 16948 HAS SOUPS 15936 WITH SCORE 16121.82
AT ITER 3009 NEW BEST:: SOT 250929 SOS 185786 HAS SOPS 170575 HAS SOUS 16932 HAS SOUPS 15920 WITH SCORE 16105.786
AT ITER 3014 NEW BEST:: SOT 250870 SOS 185727 HAS SOPS 170516 HAS SOUS 16928 HAS SOUPS 15916 WITH SCORE 16101.727
AT ITER 3032 NEW BEST:: SOT 250833 SOS 185690 HAS SOPS 170479 HAS SOUS 16891 HAS SOUPS 15879 WITH SCORE 16064.69
AT ITER 3033 NEW BEST:: SOT 250833 SOS 183482 HAS SOPS 170479 HAS SOUS 16891 HAS SOUPS 15879 WITH SCORE 16062.482
AT ITER 3036 NEW BEST:: SOT 250789 SOS 183438 HAS SOPS 170435 HAS SOUS 16847 HAS SOUPS 15835 WITH SCORE 16018.438
AT ITER 3041 NEW BEST:: SOT 250789 SOS 183770 HAS SOPS 170595 HAS SOUS 16884 HAS SOUPS 15829 WITH SCORE 16012.77
AT ITER 3065 NEW BEST:: SOT 250623 SOS 183604 HAS SOPS 170429 HAS SOUS 16780 HAS SOUPS 15725 WITH SCORE 15908.604
AT ITER 3136 NEW BEST:: SOT 250641 SOS 183622 HAS SOPS 170447 HAS SOUS 16774 HAS SOUPS 15719 WITH SCORE 15902.622
AT ITER 3145 NEW BEST:: SOT 250685 SOS 183666 HAS SOPS 170491 HAS SOUS 16562 HAS SOUPS 15507 WITH SCORE 15690.666
AT ITER 3180 NEW BEST:: SOT 250689 SOS 183670 HAS SOPS 170495 HAS SOUS 16548 HAS SOUPS 15493 WITH SCORE 15676.67
AT ITER 3194 NEW BEST:: SOT 250445 SOS 183426 HAS SOPS 170251 HAS SOUS 16471 HAS SOUPS 15416 WITH SCORE 15599.426
AT ITER 3217 NEW BEST:: SOT 250472 SOS 183453 HAS SOPS 170278 HAS SOUS 16444 HAS SOUPS 15389 WITH SCORE 15572.453
AT ITER 3262 NEW BEST:: SOT 250176 SOS 183157 HAS SOPS 169982 HAS SOUS 16444 HAS SOUPS 15389 WITH SCORE 15572.157
AT ITER 3270 NEW BEST:: SOT 250190 SOS 183171 HAS SOPS 169996 HAS SOUS 16440 HAS SOUPS 15385 WITH SCORE 15568.171
AT ITER 3345 NEW BEST:: SOT 250319 SOS 183284 HAS SOPS 170107 HAS SOUS 16433 HAS SOUPS 15378 WITH SCORE 15561.284
AT ITER 3377 NEW BEST:: SOT 250319 SOS 183276 HAS SOPS 170099 HAS SOUS 16429 HAS SOUPS 15374 WITH SCORE 15557.276
AT ITER 3407 NEW BEST:: SOT 250271 SOS 183228 HAS SOPS 170051 HAS SOUS 16375 HAS SOUPS 15320 WITH SCORE 15503.228
AT ITER 3420 NEW BEST:: SOT 250515 SOS 183472 HAS SOPS 170295 HAS SOUS 16230 HAS SOUPS 15175 WITH SCORE 15358.472
AT ITER 3424 NEW BEST:: SOT 250499 SOS 183456 HAS SOPS 170279 HAS SOUS 16214 HAS SOUPS 15159 WITH SCORE 15342.456
AT ITER 3425 NEW BEST:: SOT 250445 SOS 183410 HAS SOPS 170217 HAS SOUS 16218 HAS SOUPS 15159 WITH SCORE 15342.41
AT ITER 3433 NEW BEST:: SOT 250445 SOS 183420 HAS SOPS 170201 HAS SOUS 16223 HAS SOUPS 15151 WITH SCORE 15334.42
AT ITER 3461 NEW BEST:: SOT 250427 SOS 183402 HAS SOPS 170183 HAS SOUS 16204 HAS SOUPS 15132 WITH SCORE 15315.402
AT ITER 3467 NEW BEST:: SOT 250427 SOS 183386 HAS SOPS 170171 HAS SOUS 16204 HAS SOUPS 15132 WITH SCORE 15315.386
AT ITER 3483 NEW BEST:: SOT 250427 SOS 182982 HAS SOPS 169779 HAS SOUS 16063 HAS SOUPS 15025 WITH SCORE 15207.982
AT ITER 3497 NEW BEST:: SOT 250427 SOS 182982 HAS SOPS 169779 HAS SOUS 16061 HAS SOUPS 15023 WITH SCORE 15205.982
AT ITER 3514 NEW BEST:: SOT 250413 SOS 182968 HAS SOPS 169765 HAS SOUS 16028 HAS SOUPS 14990 WITH SCORE 15172.968
AT ITER 3515 NEW BEST:: SOT 250369 SOS 182930 HAS SOPS 169727 HAS SOUS 16021 HAS SOUPS 14983 WITH SCORE 15165.93
AT ITER 3535 NEW BEST:: SOT 250253 SOS 182760 HAS SOPS 169557 HAS SOUS 15878 HAS SOUPS 14840 WITH SCORE 15022.76
AT ITER 3538 NEW BEST:: SOT 250253 SOS 182758 HAS SOPS 169555 HAS SOUS 15877 HAS SOUPS 14839 WITH SCORE 15021.758
AT ITER 3553 NEW BEST:: SOT 250313 SOS 182818 HAS SOPS 169615 HAS SOUS 15872 HAS SOUPS 14834 WITH SCORE 15016.818
AT ITER 3566 NEW BEST:: SOT 250389 SOS 182244 HAS SOPS 169641 HAS SOUS 15837 HAS SOUPS 14799 WITH SCORE 14981.244
AT ITER 3605 NEW BEST:: SOT 250695 SOS 182550 HAS SOPS 169947 HAS SOUS 15768 HAS SOUPS 14730 WITH SCORE 14912.55
AT ITER 3608 NEW BEST:: SOT 250553 SOS 182432 HAS SOPS 169781 HAS SOUS 15780 HAS SOUPS 14730 WITH SCORE 14912.432
AT ITER 3645 NEW BEST:: SOT 250553 SOS 182432 HAS SOPS 169781 HAS SOUS 15765 HAS SOUPS 14715 WITH SCORE 14897.432
AT ITER 3655 NEW BEST:: SOT 250529 SOS 182408 HAS SOPS 169757 HAS SOUS 15765 HAS SOUPS 14715 WITH SCORE 14897.408
AT ITER 3663 NEW BEST:: SOT 250589 SOS 182468 HAS SOPS 169817 HAS SOUS 15755 HAS SOUPS 14705 WITH SCORE 14887.468
AT ITER 3669 NEW BEST:: SOT 250581 SOS 182460 HAS SOPS 169809 HAS SOUS 15753 HAS SOUPS 14703 WITH SCORE 14885.46
AT ITER 3712 NEW BEST:: SOT 250589 SOS 182468 HAS SOPS 169817 HAS SOUS 15749 HAS SOUPS 14699 WITH SCORE 14881.468
AT ITER 3720 NEW BEST:: SOT 250589 SOS 182468 HAS SOPS 169817 HAS SOUS 15743 HAS SOUPS 14693 WITH SCORE 14875.468
AT ITER 3737 NEW BEST:: SOT 250609 SOS 182488 HAS SOPS 169837 HAS SOUS 15724 HAS SOUPS 14674 WITH SCORE 14856.488
AT ITER 3758 NEW BEST:: SOT 250703 SOS 182582 HAS SOPS 169931 HAS SOUS 15673 HAS SOUPS 14623 WITH SCORE 14805.582
AT ITER 3766 NEW BEST:: SOT 250695 SOS 182579 HAS SOPS 169096 HAS SOUS 15678 HAS SOUPS 14615 WITH SCORE 14797.579
AT ITER 3782 NEW BEST:: SOT 250675 SOS 182559 HAS SOPS 169076 HAS SOUS 15670 HAS SOUPS 14607 WITH SCORE 14789.559
AT ITER 3818 NEW BEST:: SOT 250751 SOS 182531 HAS SOPS 169088 HAS SOUS 15660 HAS SOUPS 14597 WITH SCORE 14779.531
AT ITER 3824 NEW BEST:: SOT 250731 SOS 182511 HAS SOPS 169068 HAS SOUS 15541 HAS SOUPS 14478 WITH SCORE 14660.511
AT ITER 3841 NEW BEST:: SOT 250747 SOS 182507 HAS SOPS 169064 HAS SOUS 15541 HAS SOUPS 14478 WITH SCORE 14660.507
AT ITER 3863 NEW BEST:: SOT 250708 SOS 182468 HAS SOPS 169025 HAS SOUS 15502 HAS SOUPS 14439 WITH SCORE 14621.468
AT ITER 3876 NEW BEST:: SOT 250524 SOS 180668 HAS SOPS 168951 HAS SOUS 15436 HAS SOUPS 14410 WITH SCORE 14590.668
AT ITER 4000 NEW BEST:: SOT 250554 SOS 180698 HAS SOPS 168981 HAS SOUS 15432 HAS SOUPS 14406 WITH SCORE 14586.698
AT ITER 4018 NEW BEST:: SOT 250618 SOS 180762 HAS SOPS 169045 HAS SOUS 15424 HAS SOUPS 14398 WITH SCORE 14578.762
AT ITER 4021 NEW BEST:: SOT 250752 SOS 180896 HAS SOPS 169179 HAS SOUS 15412 HAS SOUPS 14386 WITH SCORE 14566.896
AT ITER 4032 NEW BEST:: SOT 250716 SOS 181202 HAS SOPS 169177 HAS SOUS 15447 HAS SOUPS 14385 WITH SCORE 14566.202
AT ITER 4036 NEW BEST:: SOT 250693 SOS 181155 HAS SOPS 169130 HAS SOUS 15447 HAS SOUPS 14385 WITH SCORE 14566.155
AT ITER 4048 NEW BEST:: SOT 250731 SOS 181193 HAS SOPS 169168 HAS SOUS 15431 HAS SOUPS 14369 WITH SCORE 14550.193
AT ITER 4063 NEW BEST:: SOT 250729 SOS 181191 HAS SOPS 169166 HAS SOUS 15419 HAS SOUPS 14357 WITH SCORE 14538.191
AT ITER 4098 NEW BEST:: SOT 250338 SOS 180800 HAS SOPS 168775 HAS SOUS 15276 HAS SOUPS 14214 WITH SCORE 14394.8
AT ITER 4099 NEW BEST:: SOT 250338 SOS 180800 HAS SOPS 168775 HAS SOUS 15265 HAS SOUPS 14203 WITH SCORE 14383.8
AT ITER 4131 NEW BEST:: SOT 250338 SOS 180788 HAS SOPS 168771 HAS SOUS 15261 HAS SOUPS 14203 WITH SCORE 14383.788
AT ITER 4138 NEW BEST:: SOT 250342 SOS 180792 HAS SOPS 168775 HAS SOUS 15260 HAS SOUPS 14202 WITH SCORE 14382.792
AT ITER 4156 NEW BEST:: SOT 250342 SOS 180797 HAS SOPS 168776 HAS SOUS 15261 HAS SOUPS 14201 WITH SCORE 14381.797
AT ITER 4168 NEW BEST:: SOT 250324 SOS 180779 HAS SOPS 168758 HAS SOUS 15252 HAS SOUPS 14192 WITH SCORE 14372.779
AT ITER 4189 NEW BEST:: SOT 250336 SOS 180791 HAS SOPS 168770 HAS SOUS 15144 HAS SOUPS 14084 WITH SCORE 14264.791
AT ITER 4210 NEW BEST:: SOT 250098 SOS 180553 HAS SOPS 168644 HAS SOUS 15039 HAS SOUPS 14035 WITH SCORE 14215.553
AT ITER 4211 NEW BEST:: SOT 250026 SOS 180481 HAS SOPS 168572 HAS SOUS 15027 HAS SOUPS 14023 WITH SCORE 14203.481
AT ITER 4228 NEW BEST:: SOT 250026 SOS 179706 HAS SOPS 168572 HAS SOUS 15027 HAS SOUPS 14023 WITH SCORE 14202.706
AT ITER 4233 NEW BEST:: SOT 250104 SOS 179784 HAS SOPS 168650 HAS SOUS 15015 HAS SOUPS 14011 WITH SCORE 14190.784
AT ITER 4242 NEW BEST:: SOT 250093 SOS 179773 HAS SOPS 168639 HAS SOUS 14993 HAS SOUPS 13989 WITH SCORE 14168.773
AT ITER 4271 NEW BEST:: SOT 250199 SOS 179879 HAS SOPS 168745 HAS SOUS 14969 HAS SOUPS 13965 WITH SCORE 14144.879
AT ITER 4309 NEW BEST:: SOT 250175 SOS 179855 HAS SOPS 168721 HAS SOUS 14965 HAS SOUPS 13961 WITH SCORE 14140.855
AT ITER 4313 NEW BEST:: SOT 250243 SOS 179923 HAS SOPS 168789 HAS SOUS 14921 HAS SOUPS 13917 WITH SCORE 14096.923
AT ITER 4314 NEW BEST:: SOT 250247 SOS 179927 HAS SOPS 168793 HAS SOUS 14920 HAS SOUPS 13916 WITH SCORE 14095.927
AT ITER 4333 NEW BEST:: SOT 250259 SOS 179939 HAS SOPS 168805 HAS SOUS 14916 HAS SOUPS 13912 WITH SCORE 14091.939
AT ITER 4347 NEW BEST:: SOT 250255 SOS 179935 HAS SOPS 168801 HAS SOUS 14914 HAS SOUPS 13910 WITH SCORE 14089.935
AT ITER 4390 NEW BEST:: SOT 250221 SOS 179901 HAS SOPS 168767 HAS SOUS 14914 HAS SOUPS 13910 WITH SCORE 14089.901
AT ITER 4394 NEW BEST:: SOT 250175 SOS 179855 HAS SOPS 168721 HAS SOUS 14914 HAS SOUPS 13910 WITH SCORE 14089.855
AT ITER 4399 NEW BEST:: SOT 250015 SOS 179695 HAS SOPS 168561 HAS SOUS 14822 HAS SOUPS 13818 WITH SCORE 13997.695
AT ITER 4408 NEW BEST:: SOT 250025 SOS 179703 HAS SOPS 168569 HAS SOUS 14808 HAS SOUPS 13804 WITH SCORE 13983.703
AT ITER 4409 NEW BEST:: SOT 250069 SOS 179747 HAS SOPS 168613 HAS SOUS 14793 HAS SOUPS 13789 WITH SCORE 13968.747
AT ITER 4414 NEW BEST:: SOT 250081 SOS 179759 HAS SOPS 168625 HAS SOUS 14775 HAS SOUPS 13771 WITH SCORE 13950.759
AT ITER 4436 NEW BEST:: SOT 250299 SOS 179977 HAS SOPS 168843 HAS SOUS 14769 HAS SOUPS 13765 WITH SCORE 13944.977
AT ITER 4437 NEW BEST:: SOT 250296 SOS 179974 HAS SOPS 168840 HAS SOUS 14763 HAS SOUPS 13759 WITH SCORE 13938.974
AT ITER 4457 NEW BEST:: SOT 249436 SOS 198596 HAS SOPS 191616 HAS SOUS 14339 HAS SOUPS 13711 WITH SCORE 13909.596
AT ITER 4472 NEW BEST:: SOT 249492 SOS 198652 HAS SOPS 191672 HAS SOUS 14329 HAS SOUPS 13701 WITH SCORE 13899.652
AT ITER 4507 NEW BEST:: SOT 249552 SOS 198712 HAS SOPS 191732 HAS SOUS 14316 HAS SOUPS 13688 WITH SCORE 13886.712
AT ITER 4509 NEW BEST:: SOT 249568 SOS 198728 HAS SOPS 191748 HAS SOUS 14281 HAS SOUPS 13653 WITH SCORE 13851.728
AT ITER 4511 NEW BEST:: SOT 249568 SOS 198272 HAS SOPS 191748 HAS SOUS 14281 HAS SOUPS 13653 WITH SCORE 13851.272
AT ITER 4515 NEW BEST:: SOT 249423 SOS 198127 HAS SOPS 191603 HAS SOUS 14272 HAS SOUPS 13644 WITH SCORE 13842.127
AT ITER 4528 NEW BEST:: SOT 249417 SOS 198121 HAS SOPS 191597 HAS SOUS 14266 HAS SOUPS 13638 WITH SCORE 13836.121
AT ITER 4542 NEW BEST:: SOT 249337 SOS 198041 HAS SOPS 191517 HAS SOUS 14258 HAS SOUPS 13630 WITH SCORE 13828.041
AT ITER 4581 NEW BEST:: SOT 249193 SOS 197897 HAS SOPS 191373 HAS SOUS 14242 HAS SOUPS 13614 WITH SCORE 13811.897
AT ITER 4627 NEW BEST:: SOT 249193 SOS 197807 HAS SOPS 191367 HAS SOUS 14242 HAS SOUPS 13614 WITH SCORE 13811.807
AT ITER 4632 NEW BEST:: SOT 249083 SOS 197697 HAS SOPS 191257 HAS SOUS 14242 HAS SOUPS 13614 WITH SCORE 13811.697
AT ITER 4637 NEW BEST:: SOT 248939 SOS 197553 HAS SOPS 191113 HAS SOUS 14238 HAS SOUPS 13610 WITH SCORE 13807.553
AT ITER 4662 NEW BEST:: SOT 248777 SOS 197535 HAS SOPS 190951 HAS SOUS 14263 HAS SOUPS 13599 WITH SCORE 13796.535
AT ITER 4674 NEW BEST:: SOT 248769 SOS 197527 HAS SOPS 190943 HAS SOUS 14255 HAS SOUPS 13591 WITH SCORE 13788.527
AT ITER 4677 NEW BEST:: SOT 248769 SOS 197527 HAS SOPS 190943 HAS SOUS 14247 HAS SOUPS 13583 WITH SCORE 13780.527
AT ITER 4687 NEW BEST:: SOT 248705 SOS 197463 HAS SOPS 190879 HAS SOUS 14203 HAS SOUPS 13539 WITH SCORE 13736.463
AT ITER 4702 NEW BEST:: SOT 248805 SOS 197563 HAS SOPS 190979 HAS SOUS 14175 HAS SOUPS 13511 WITH SCORE 13708.563
AT ITER 4708 NEW BEST:: SOT 248805 SOS 197563 HAS SOPS 190979 HAS SOUS 14169 HAS SOUPS 13505 WITH SCORE 13702.563
AT ITER 4709 NEW BEST:: SOT 248637 SOS 197395 HAS SOPS 190811 HAS SOUS 14165 HAS SOUPS 13501 WITH SCORE 13698.395
AT ITER 4733 NEW BEST:: SOT 248625 SOS 197343 HAS SOPS 190799 HAS SOUS 14148 HAS SOUPS 13489 WITH SCORE 13686.343
AT ITER 4741 NEW BEST:: SOT 248549 SOS 197267 HAS SOPS 190723 HAS SOUS 14116 HAS SOUPS 13457 WITH SCORE 13654.267
AT ITER 4756 NEW BEST:: SOT 248581 SOS 197299 HAS SOPS 190755 HAS SOUS 14101 HAS SOUPS 13442 WITH SCORE 13639.299
AT ITER 4762 NEW BEST:: SOT 248131 SOS 196980 HAS SOPS 190389 HAS SOUS 14084 HAS SOUPS 13425 WITH SCORE 13621.98
AT ITER 4764 NEW BEST:: SOT 248003 SOS 196852 HAS SOPS 190261 HAS SOUS 14080 HAS SOUPS 13421 WITH SCORE 13617.852
AT ITER 4821 NEW BEST:: SOT 247847 SOS 196696 HAS SOPS 190105 HAS SOUS 14012 HAS SOUPS 13353 WITH SCORE 13549.696
AT ITER 4833 NEW BEST:: SOT 247847 SOS 196696 HAS SOPS 190105 HAS SOUS 13988 HAS SOUPS 13329 WITH SCORE 13525.696
AT ITER 4875 NEW BEST:: SOT 247767 SOS 196616 HAS SOPS 190025 HAS SOUS 13948 HAS SOUPS 13289 WITH SCORE 13485.616
AT ITER 4894 NEW BEST:: SOT 247687 SOS 196543 HAS SOPS 189957 HAS SOUS 13885 HAS SOUPS 13227 WITH SCORE 13423.543
AT ITER 4903 NEW BEST:: SOT 247631 SOS 196487 HAS SOPS 189901 HAS SOUS 13834 HAS SOUPS 13176 WITH SCORE 13372.487
AT ITER 4940 NEW BEST:: SOT 247633 SOS 196489 HAS SOPS 189903 HAS SOUS 13833 HAS SOUPS 13175 WITH SCORE 13371.489
AT ITER 4958 NEW BEST:: SOT 247633 SOS 196483 HAS SOPS 189897 HAS SOUS 13830 HAS SOUPS 13172 WITH SCORE 13368.483
AT ITER 4963 NEW BEST:: SOT 247645 SOS 194911 HAS SOPS 189909 HAS SOUS 13825 HAS SOUPS 13167 WITH SCORE 13361.911
AT ITER 4979 NEW BEST:: SOT 247685 SOS 194901 HAS SOPS 189949 HAS SOUS 13783 HAS SOUPS 13167 WITH SCORE 13361.901
AT ITER 5001 NEW BEST:: SOT 247671 SOS 194457 HAS SOPS 189953 HAS SOUS 13769 HAS SOUPS 13167 WITH SCORE 13361.457
AT ITER 5008 NEW BEST:: SOT 247671 SOS 194457 HAS SOPS 189953 HAS SOUS 13663 HAS SOUPS 13061 WITH SCORE 13255.457
AT ITER 5022 NEW BEST:: SOT 247663 SOS 194449 HAS SOPS 189945 HAS SOUS 13655 HAS SOUPS 13053 WITH SCORE 13247.449
AT ITER 5027 NEW BEST:: SOT 247631 SOS 194417 HAS SOPS 189913 HAS SOUS 13623 HAS SOUPS 13021 WITH SCORE 13215.417
AT ITER 5049 NEW BEST:: SOT 247627 SOS 194413 HAS SOPS 189909 HAS SOUS 13621 HAS SOUPS 13019 WITH SCORE 13213.413
AT ITER 5086 NEW BEST:: SOT 247605 SOS 194391 HAS SOPS 189887 HAS SOUS 13610 HAS SOUPS 13008 WITH SCORE 13202.391
AT ITER 5095 NEW BEST:: SOT 247561 SOS 194347 HAS SOPS 189843 HAS SOUS 13598 HAS SOUPS 12996 WITH SCORE 13190.347
AT ITER 5103 NEW BEST:: SOT 247561 SOS 194347 HAS SOPS 189843 HAS SOUS 13589 HAS SOUPS 12987 WITH SCORE 13181.347
AT ITER 5104 NEW BEST:: SOT 248135 SOS 194921 HAS SOPS 190417 HAS SOUS 13575 HAS SOUPS 12973 WITH SCORE 13167.921
AT ITER 5107 NEW BEST:: SOT 248195 SOS 194981 HAS SOPS 190477 HAS SOUS 13552 HAS SOUPS 12950 WITH SCORE 13144.981
AT ITER 5169 NEW BEST:: SOT 248141 SOS 194927 HAS SOPS 190423 HAS SOUS 13543 HAS SOUPS 12941 WITH SCORE 13135.927
AT ITER 5172 NEW BEST:: SOT 248141 SOS 194927 HAS SOPS 190423 HAS SOUS 13527 HAS SOUPS 12925 WITH SCORE 13119.927
AT ITER 5175 NEW BEST:: SOT 248109 SOS 194895 HAS SOPS 190391 HAS SOUS 13519 HAS SOUPS 12917 WITH SCORE 13111.895
AT ITER 5185 NEW BEST:: SOT 248109 SOS 194875 HAS SOPS 190391 HAS SOUS 13509 HAS SOUPS 12917 WITH SCORE 13111.875
AT ITER 5192 NEW BEST:: SOT 248077 SOS 194843 HAS SOPS 190359 HAS SOUS 13499 HAS SOUPS 12907 WITH SCORE 13101.843
AT ITER 5218 NEW BEST:: SOT 248070 SOS 194836 HAS SOPS 190352 HAS SOUS 13485 HAS SOUPS 12893 WITH SCORE 13087.836
AT ITER 5224 NEW BEST:: SOT 248087 SOS 194845 HAS SOPS 190357 HAS SOUS 13471 HAS SOUPS 12879 WITH SCORE 13073.845
AT ITER 5228 NEW BEST:: SOT 248159 SOS 194917 HAS SOPS 190429 HAS SOUS 13434 HAS SOUPS 12842 WITH SCORE 13036.917
AT ITER 5246 NEW BEST:: SOT 248133 SOS 194891 HAS SOPS 190403 HAS SOUS 13433 HAS SOUPS 12841 WITH SCORE 13035.891
AT ITER 5258 NEW BEST:: SOT 248009 SOS 194767 HAS SOPS 190279 HAS SOUS 13407 HAS SOUPS 12815 WITH SCORE 13009.767
AT ITER 5261 NEW BEST:: SOT 248009 SOS 194827 HAS SOPS 190253 HAS SOUS 13398 HAS SOUPS 12802 WITH SCORE 12996.827
AT ITER 5300 NEW BEST:: SOT 247895 SOS 194713 HAS SOPS 190139 HAS SOUS 13351 HAS SOUPS 12755 WITH SCORE 12949.713
AT ITER 5303 NEW BEST:: SOT 247895 SOS 193745 HAS SOPS 190139 HAS SOUS 13329 HAS SOUPS 12733 WITH SCORE 12926.745
AT ITER 5317 NEW BEST:: SOT 247769 SOS 193641 HAS SOPS 190035 HAS SOUS 13323 HAS SOUPS 12727 WITH SCORE 12920.641
AT ITER 5359 NEW BEST:: SOT 247707 SOS 193579 HAS SOPS 189973 HAS SOUS 13307 HAS SOUPS 12711 WITH SCORE 12904.579
AT ITER 5367 NEW BEST:: SOT 247819 SOS 194339 HAS SOPS 190013 HAS SOUS 13271 HAS SOUPS 12675 WITH SCORE 12869.339
AT ITER 5373 NEW BEST:: SOT 247771 SOS 194291 HAS SOPS 189965 HAS SOUS 13271 HAS SOUPS 12675 WITH SCORE 12869.291
AT ITER 5382 NEW BEST:: SOT 247719 SOS 194239 HAS SOPS 189913 HAS SOUS 13271 HAS SOUPS 12675 WITH SCORE 12869.239
AT ITER 5391 NEW BEST:: SOT 247723 SOS 194243 HAS SOPS 189917 HAS SOUS 13269 HAS SOUPS 12673 WITH SCORE 12867.243
AT ITER 5420 NEW BEST:: SOT 247717 SOS 194237 HAS SOPS 189911 HAS SOUS 13266 HAS SOUPS 12670 WITH SCORE 12864.237
AT ITER 5422 NEW BEST:: SOT 247379 SOS 193899 HAS SOPS 189573 HAS SOUS 13157 HAS SOUPS 12561 WITH SCORE 12754.899
AT ITER 5442 NEW BEST:: SOT 247347 SOS 193867 HAS SOPS 189541 HAS SOUS 13157 HAS SOUPS 12561 WITH SCORE 12754.867
AT ITER 5480 NEW BEST:: SOT 247347 SOS 193867 HAS SOPS 189541 HAS SOUS 13145 HAS SOUPS 12549 WITH SCORE 12742.867
AT ITER 5484 NEW BEST:: SOT 247269 SOS 193789 HAS SOPS 189463 HAS SOUS 13124 HAS SOUPS 12528 WITH SCORE 12721.789
AT ITER 5536 NEW BEST:: SOT 247269 SOS 193825 HAS SOPS 189445 HAS SOUS 13115 HAS SOUPS 12519 WITH SCORE 12712.825
AT ITER 5547 NEW BEST:: SOT 247267 SOS 193823 HAS SOPS 189443 HAS SOUS 13114 HAS SOUPS 12518 WITH SCORE 12711.823
AT ITER 5552 NEW BEST:: SOT 247367 SOS 193923 HAS SOPS 189543 HAS SOUS 13103 HAS SOUPS 12507 WITH SCORE 12700.923
AT ITER 5622 NEW BEST:: SOT 247367 SOS 193923 HAS SOPS 189543 HAS SOUS 13051 HAS SOUPS 12455 WITH SCORE 12648.923
AT ITER 5659 NEW BEST:: SOT 247367 SOS 193923 HAS SOPS 189543 HAS SOUS 13047 HAS SOUPS 12451 WITH SCORE 12644.923
AT ITER 5757 NEW BEST:: SOT 247367 SOS 194119 HAS SOPS 189337 HAS SOUS 13026 HAS SOUPS 12450 WITH SCORE 12644.119
AT ITER 5763 NEW BEST:: SOT 247351 SOS 194103 HAS SOPS 189321 HAS SOUS 13018 HAS SOUPS 12442 WITH SCORE 12636.103
AT ITER 5777 NEW BEST:: SOT 247237 SOS 193989 HAS SOPS 189207 HAS SOUS 13012 HAS SOUPS 12436 WITH SCORE 12629.989
AT ITER 5830 NEW BEST:: SOT 247233 SOS 193985 HAS SOPS 189203 HAS SOUS 13008 HAS SOUPS 12432 WITH SCORE 12625.985
AT ITER 5853 NEW BEST:: SOT 247233 SOS 193981 HAS SOPS 189199 HAS SOUS 13006 HAS SOUPS 12430 WITH SCORE 12623.981
AT ITER 5906 NEW BEST:: SOT 247245 SOS 193993 HAS SOPS 189211 HAS SOUS 12992 HAS SOUPS 12416 WITH SCORE 12609.993
AT ITER 5966 NEW BEST:: SOT 247317 SOS 194065 HAS SOPS 189283 HAS SOUS 12982 HAS SOUPS 12406 WITH SCORE 12600.065
AT ITER 5982 NEW BEST:: SOT 247315 SOS 194063 HAS SOPS 189281 HAS SOUS 12981 HAS SOUPS 12405 WITH SCORE 12599.063
AT ITER 6009 NEW BEST:: SOT 247347 SOS 194095 HAS SOPS 189313 HAS SOUS 12973 HAS SOUPS 12397 WITH SCORE 12591.095
AT ITER 6036 NEW BEST:: SOT 247347 SOS 194095 HAS SOPS 189313 HAS SOUS 12933 HAS SOUPS 12357 WITH SCORE 12551.095
AT ITER 6053 NEW BEST:: SOT 247355 SOS 194103 HAS SOPS 189321 HAS SOUS 12931 HAS SOUPS 12355 WITH SCORE 12549.103
AT ITER 6062 NEW BEST:: SOT 247345 SOS 194093 HAS SOPS 189311 HAS SOUS 12926 HAS SOUPS 12350 WITH SCORE 12544.093
AT ITER 6077 NEW BEST:: SOT 247335 SOS 194083 HAS SOPS 189301 HAS SOUS 12916 HAS SOUPS 12340 WITH SCORE 12534.083
AT ITER 6080 NEW BEST:: SOT 247387 SOS 194135 HAS SOPS 189353 HAS SOUS 12891 HAS SOUPS 12315 WITH SCORE 12509.135
AT ITER 6089 NEW BEST:: SOT 247387 SOS 193315 HAS SOPS 189497 HAS SOUS 12816 HAS SOUPS 12301 WITH SCORE 12494.315
AT ITER 6151 NEW BEST:: SOT 247387 SOS 193315 HAS SOPS 189497 HAS SOUS 12807 HAS SOUPS 12292 WITH SCORE 12485.315
AT ITER 6177 NEW BEST:: SOT 247381 SOS 193309 HAS SOPS 189491 HAS SOUS 12807 HAS SOUPS 12292 WITH SCORE 12485.309
AT ITER 6181 NEW BEST:: SOT 247438 SOS 193336 HAS SOPS 189530 HAS SOUS 12781 HAS SOUPS 12269 WITH SCORE 12462.336
AT ITER 6359 NEW BEST:: SOT 247438 SOS 193336 HAS SOPS 189530 HAS SOUS 12714 HAS SOUPS 12202 WITH SCORE 12395.336
AT ITER 6411 NEW BEST:: SOT 247438 SOS 193324 HAS SOPS 189716 HAS SOUS 12708 HAS SOUPS 12202 WITH SCORE 12395.324
AT ITER 6412 NEW BEST:: SOT 247518 SOS 193404 HAS SOPS 189796 HAS SOUS 12685 HAS SOUPS 12179 WITH SCORE 12372.404
AT ITER 6450 NEW BEST:: SOT 247510 SOS 193396 HAS SOPS 189788 HAS SOUS 12685 HAS SOUPS 12179 WITH SCORE 12372.396
AT ITER 6531 NEW BEST:: SOT 247510 SOS 193408 HAS SOPS 189780 HAS SOUS 12677 HAS SOUPS 12175 WITH SCORE 12368.408
AT ITER 6541 NEW BEST:: SOT 247510 SOS 193408 HAS SOPS 189780 HAS SOUS 12664 HAS SOUPS 12162 WITH SCORE 12355.408
AT ITER 6550 NEW BEST:: SOT 247478 SOS 193376 HAS SOPS 189748 HAS SOUS 12664 HAS SOUPS 12162 WITH SCORE 12355.376
AT ITER 6583 NEW BEST:: SOT 247473 SOS 193368 HAS SOPS 189744 HAS SOUS 12660 HAS SOUPS 12160 WITH SCORE 12353.368
AT ITER 6597 NEW BEST:: SOT 247463 SOS 193358 HAS SOPS 189734 HAS SOUS 12640 HAS SOUPS 12140 WITH SCORE 12333.358
AT ITER 6629 NEW BEST:: SOT 247303 SOS 193198 HAS SOPS 189574 HAS SOUS 12640 HAS SOUPS 12140 WITH SCORE 12333.198
AT ITER 6631 NEW BEST:: SOT 247319 SOS 193214 HAS SOPS 189590 HAS SOUS 12631 HAS SOUPS 12131 WITH SCORE 12324.214
AT ITER 6646 NEW BEST:: SOT 247319 SOS 193214 HAS SOPS 189590 HAS SOUS 12625 HAS SOUPS 12125 WITH SCORE 12318.214
AT ITER 6678 NEW BEST:: SOT 247387 SOS 193282 HAS SOPS 189658 HAS SOUS 12620 HAS SOUPS 12120 WITH SCORE 12313.282
AT ITER 6684 NEW BEST:: SOT 247361 SOS 193256 HAS SOPS 189632 HAS SOUS 12618 HAS SOUPS 12118 WITH SCORE 12311.256
AT ITER 6700 NEW BEST:: SOT 247361 SOS 193490 HAS SOPS 189632 HAS SOUS 12592 HAS SOUPS 12092 WITH SCORE 12285.49
AT ITER 6736 NEW BEST:: SOT 247395 SOS 193524 HAS SOPS 189666 HAS SOUS 12569 HAS SOUPS 12069 WITH SCORE 12262.524
AT ITER 6783 NEW BEST:: SOT 247371 SOS 193500 HAS SOPS 189642 HAS SOUS 12557 HAS SOUPS 12057 WITH SCORE 12250.5
AT ITER 6789 NEW BEST:: SOT 247371 SOS 193514 HAS SOPS 189576 HAS SOUS 12575 HAS SOUPS 12055 WITH SCORE 12248.514
AT ITER 6826 NEW BEST:: SOT 247371 SOS 193514 HAS SOPS 189576 HAS SOUS 12511 HAS SOUPS 11991 WITH SCORE 12184.514
AT ITER 6830 NEW BEST:: SOT 247367 SOS 193510 HAS SOPS 189572 HAS SOUS 12510 HAS SOUPS 11990 WITH SCORE 12183.51
AT ITER 6845 NEW BEST:: SOT 247367 SOS 193552 HAS SOPS 189566 HAS SOUS 12531 HAS SOUPS 11987 WITH SCORE 12180.552
AT ITER 6854 NEW BEST:: SOT 247361 SOS 193546 HAS SOPS 189560 HAS SOUS 12528 HAS SOUPS 11984 WITH SCORE 12177.546
AT ITER 6878 NEW BEST:: SOT 247355 SOS 193540 HAS SOPS 189554 HAS SOUS 12526 HAS SOUPS 11982 WITH SCORE 12175.54
AT ITER 6885 NEW BEST:: SOT 247361 SOS 193546 HAS SOPS 189560 HAS SOUS 12524 HAS SOUPS 11980 WITH SCORE 12173.546
AT ITER 6889 NEW BEST:: SOT 247361 SOS 193538 HAS SOPS 189556 HAS SOUS 12520 HAS SOUPS 11978 WITH SCORE 12171.538
AT ITER 6904 NEW BEST:: SOT 247361 SOS 193528 HAS SOPS 189590 HAS SOUS 12503 HAS SOUPS 11978 WITH SCORE 12171.528
AT ITER 6912 NEW BEST:: SOT 247479 SOS 193646 HAS SOPS 189708 HAS SOUS 12496 HAS SOUPS 11971 WITH SCORE 12164.646
AT ITER 6932 NEW BEST:: SOT 247391 SOS 193558 HAS SOPS 189620 HAS SOUS 12479 HAS SOUPS 11954 WITH SCORE 12147.558
AT ITER 7004 NEW BEST:: SOT 247371 SOS 193538 HAS SOPS 189600 HAS SOUS 12464 HAS SOUPS 11939 WITH SCORE 12132.538
AT ITER 7019 NEW BEST:: SOT 247447 SOS 193614 HAS SOPS 189676 HAS SOUS 12445 HAS SOUPS 11920 WITH SCORE 12113.614
AT ITER 7026 NEW BEST:: SOT 247629 SOS 193796 HAS SOPS 189858 HAS SOUS 12438 HAS SOUPS 11913 WITH SCORE 12106.796
AT ITER 7069 NEW BEST:: SOT 247629 SOS 193796 HAS SOPS 189858 HAS SOUS 12423 HAS SOUPS 11898 WITH SCORE 12091.796
AT ITER 7103 NEW BEST:: SOT 247693 SOS 193860 HAS SOPS 189922 HAS SOUS 12419 HAS SOUPS 11894 WITH SCORE 12087.86
AT ITER 7104 NEW BEST:: SOT 247693 SOS 193836 HAS SOPS 189922 HAS SOUS 12419 HAS SOUPS 11894 WITH SCORE 12087.836
AT ITER 7124 NEW BEST:: SOT 247697 SOS 193840 HAS SOPS 189926 HAS SOUS 12407 HAS SOUPS 11882 WITH SCORE 12075.84
AT ITER 7135 NEW BEST:: SOT 247689 SOS 193832 HAS SOPS 189918 HAS SOUS 12403 HAS SOUPS 11878 WITH SCORE 12071.832
AT ITER 7168 NEW BEST:: SOT 247753 SOS 193896 HAS SOPS 189982 HAS SOUS 12399 HAS SOUPS 11874 WITH SCORE 12067.896
AT ITER 7213 NEW BEST:: SOT 247753 SOS 193896 HAS SOPS 189982 HAS SOUS 12398 HAS SOUPS 11873 WITH SCORE 12066.896
AT ITER 7225 NEW BEST:: SOT 247747 SOS 193890 HAS SOPS 189976 HAS SOUS 12398 HAS SOUPS 11873 WITH SCORE 12066.89
AT ITER 7299 NEW BEST:: SOT 247635 SOS 193778 HAS SOPS 189864 HAS SOUS 12381 HAS SOUPS 11856 WITH SCORE 12049.778
AT ITER 7370 NEW BEST:: SOT 247643 SOS 193786 HAS SOPS 189872 HAS SOUS 12377 HAS SOUPS 11852 WITH SCORE 12045.786
AT ITER 7419 NEW BEST:: SOT 247643 SOS 193582 HAS SOPS 189858 HAS SOUS 12363 HAS SOUPS 11852 WITH SCORE 12045.582
AT ITER 7426 NEW BEST:: SOT 247691 SOS 193560 HAS SOPS 189822 HAS SOUS 12396 HAS SOUPS 11843 WITH SCORE 12036.56
AT ITER 7445 NEW BEST:: SOT 247637 SOS 193506 HAS SOPS 189768 HAS SOUS 12391 HAS SOUPS 11838 WITH SCORE 12031.506
AT ITER 7482 NEW BEST:: SOT 247627 SOS 193496 HAS SOPS 189758 HAS SOUS 12384 HAS SOUPS 11831 WITH SCORE 12024.496
AT ITER 7586 NEW BEST:: SOT 247612 SOS 193436 HAS SOPS 189928 HAS SOUS 12343 HAS SOUPS 11814 WITH SCORE 12007.436
AT ITER 7605 NEW BEST:: SOT 247848 SOS 193672 HAS SOPS 190164 HAS SOUS 12341 HAS SOUPS 11812 WITH SCORE 12005.672
AT ITER 7620 NEW BEST:: SOT 247818 SOS 193642 HAS SOPS 190134 HAS SOUS 12338 HAS SOUPS 11809 WITH SCORE 12002.642
AT ITER 7668 NEW BEST:: SOT 247866 SOS 193690 HAS SOPS 190182 HAS SOUS 12290 HAS SOUPS 11761 WITH SCORE 11954.69
AT ITER 7681 NEW BEST:: SOT 247863 SOS 193820 HAS SOPS 190026 HAS SOUS 12304 HAS SOUPS 11755 WITH SCORE 11948.82
AT ITER 7683 NEW BEST:: SOT 247845 SOS 193802 HAS SOPS 190008 HAS SOUS 12286 HAS SOUPS 11737 WITH SCORE 11930.802
AT ITER 7974 NEW BEST:: SOT 247873 SOS 193830 HAS SOPS 190036 HAS SOUS 12281 HAS SOUPS 11732 WITH SCORE 11925.83
AT ITER 7993 NEW BEST:: SOT 247733 SOS 193690 HAS SOPS 189896 HAS SOUS 12262 HAS SOUPS 11713 WITH SCORE 11906.69
AT ITER 7998 NEW BEST:: SOT 247717 SOS 193674 HAS SOPS 189880 HAS SOUS 12255 HAS SOUPS 11706 WITH SCORE 11899.674
AT ITER 8048 NEW BEST:: SOT 247715 SOS 193672 HAS SOPS 189878 HAS SOUS 12238 HAS SOUPS 11689 WITH SCORE 11882.672
AT ITER 8095 NEW BEST:: SOT 247709 SOS 193666 HAS SOPS 189872 HAS SOUS 12237 HAS SOUPS 11688 WITH SCORE 11881.666
AT ITER 8116 NEW BEST:: SOT 247707 SOS 193664 HAS SOPS 189870 HAS SOUS 12235 HAS SOUPS 11686 WITH SCORE 11879.664
AT ITER 8144 NEW BEST:: SOT 247703 SOS 193660 HAS SOPS 189866 HAS SOUS 12231 HAS SOUPS 11682 WITH SCORE 11875.66
AT ITER 8162 NEW BEST:: SOT 247699 SOS 193656 HAS SOPS 189862 HAS SOUS 12227 HAS SOUPS 11678 WITH SCORE 11871.656
AT ITER 8173 NEW BEST:: SOT 247683 SOS 193640 HAS SOPS 189846 HAS SOUS 12227 HAS SOUPS 11678 WITH SCORE 11871.64
AT ITER 8322 NEW BEST:: SOT 247683 SOS 193636 HAS SOPS 189846 HAS SOUS 12227 HAS SOUPS 11678 WITH SCORE 11871.636
AT ITER 8326 NEW BEST:: SOT 247683 SOS 193636 HAS SOPS 189846 HAS SOUS 12224 HAS SOUPS 11675 WITH SCORE 11868.636
AT ITER 8335 NEW BEST:: SOT 247683 SOS 193636 HAS SOPS 189846 HAS SOUS 12214 HAS SOUPS 11665 WITH SCORE 11858.636
AT ITER 8362 NEW BEST:: SOT 247771 SOS 193724 HAS SOPS 189934 HAS SOUS 12166 HAS SOUPS 11617 WITH SCORE 11810.724
AT ITER 8363 NEW BEST:: SOT 248021 SOS 193974 HAS SOPS 190184 HAS SOUS 12159 HAS SOUPS 11610 WITH SCORE 11803.974
AT ITER 8377 NEW BEST:: SOT 248047 SOS 194000 HAS SOPS 190210 HAS SOUS 12146 HAS SOUPS 11597 WITH SCORE 11791.0
AT ITER 8389 NEW BEST:: SOT 248094 SOS 194047 HAS SOPS 190257 HAS SOUS 12141 HAS SOUPS 11592 WITH SCORE 11786.047
AT ITER 8423 NEW BEST:: SOT 248094 SOS 194047 HAS SOPS 190255 HAS SOUS 12140 HAS SOUPS 11591 WITH SCORE 11785.047
AT ITER 8466 NEW BEST:: SOT 248094 SOS 194047 HAS SOPS 190255 HAS SOUS 12118 HAS SOUPS 11569 WITH SCORE 11763.047
AT ITER 8561 NEW BEST:: SOT 248094 SOS 194017 HAS SOPS 190255 HAS SOUS 12113 HAS SOUPS 11569 WITH SCORE 11763.017
AT ITER 8589 NEW BEST:: SOT 248178 SOS 194101 HAS SOPS 190339 HAS SOUS 12112 HAS SOUPS 11568 WITH SCORE 11762.101
AT ITER 8608 NEW BEST:: SOT 248186 SOS 194109 HAS SOPS 190347 HAS SOUS 12108 HAS SOUPS 11564 WITH SCORE 11758.109
AT ITER 8695 NEW BEST:: SOT 248218 SOS 194141 HAS SOPS 190379 HAS SOUS 12094 HAS SOUPS 11550 WITH SCORE 11744.141
AT ITER 8717 NEW BEST:: SOT 248206 SOS 194129 HAS SOPS 190367 HAS SOUS 12094 HAS SOUPS 11550 WITH SCORE 11744.129
AT ITER 8754 NEW BEST:: SOT 248142 SOS 194065 HAS SOPS 190303 HAS SOUS 12078 HAS SOUPS 11534 WITH SCORE 11728.065
AT ITER 8788 NEW BEST:: SOT 248142 SOS 194041 HAS SOPS 190303 HAS SOUS 12078 HAS SOUPS 11534 WITH SCORE 11728.041
AT ITER 8852 NEW BEST:: SOT 247854 SOS 193753 HAS SOPS 190015 HAS SOUS 12048 HAS SOUPS 11504 WITH SCORE 11697.753
AT ITER 8925 NEW BEST:: SOT 247854 SOS 193753 HAS SOPS 190013 HAS SOUS 12047 HAS SOUPS 11503 WITH SCORE 11696.753
AT ITER 8938 NEW BEST:: SOT 247848 SOS 193747 HAS SOPS 190007 HAS SOUS 12047 HAS SOUPS 11503 WITH SCORE 11696.747
AT ITER 9005 NEW BEST:: SOT 247846 SOS 193745 HAS SOPS 190005 HAS SOUS 12043 HAS SOUPS 11499 WITH SCORE 11692.745
AT ITER 9045 NEW BEST:: SOT 247818 SOS 193765 HAS SOPS 190049 HAS SOUS 12025 HAS SOUPS 11497 WITH SCORE 11690.765
AT ITER 9148 NEW BEST:: SOT 247818 SOS 193949 HAS SOPS 190045 HAS SOUS 12024 HAS SOUPS 11495 WITH SCORE 11688.949
AT ITER 9159 NEW BEST:: SOT 247818 SOS 193922 HAS SOPS 190036 HAS SOUS 12015 HAS SOUPS 11495 WITH SCORE 11688.922
AT ITER 9205 NEW BEST:: SOT 247848 SOS 193952 HAS SOPS 190042 HAS SOUS 11991 HAS SOUPS 11471 WITH SCORE 11664.952
AT ITER 9368 NEW BEST:: SOT 247858 SOS 193962 HAS SOPS 190052 HAS SOUS 11987 HAS SOUPS 11467 WITH SCORE 11660.962
AT ITER 9387 NEW BEST:: SOT 247784 SOS 193888 HAS SOPS 189978 HAS SOUS 11980 HAS SOUPS 11460 WITH SCORE 11653.888
AT ITER 9403 NEW BEST:: SOT 247789 SOS 193893 HAS SOPS 189983 HAS SOUS 11973 HAS SOUPS 11453 WITH SCORE 11646.893
AT ITER 9449 NEW BEST:: SOT 247761 SOS 193865 HAS SOPS 189955 HAS SOUS 11961 HAS SOUPS 11441 WITH SCORE 11634.865
AT ITER 9511 NEW BEST:: SOT 247769 SOS 193873 HAS SOPS 189963 HAS SOUS 11945 HAS SOUPS 11425 WITH SCORE 11618.873
AT ITER 9531 NEW BEST:: SOT 247743 SOS 193847 HAS SOPS 189937 HAS SOUS 11944 HAS SOUPS 11424 WITH SCORE 11617.847
AT ITER 9564 NEW BEST:: SOT 247743 SOS 193847 HAS SOPS 189937 HAS SOUS 11938 HAS SOUPS 11418 WITH SCORE 11611.847
AT ITER 9569 NEW BEST:: SOT 247741 SOS 193845 HAS SOPS 189935 HAS SOUS 11937 HAS SOUPS 11417 WITH SCORE 11610.845
AT ITER 9643 NEW BEST:: SOT 247709 SOS 193813 HAS SOPS 189903 HAS SOUS 11937 HAS SOUPS 11417 WITH SCORE 11610.813
AT ITER 9650 NEW BEST:: SOT 247713 SOS 193817 HAS SOPS 189907 HAS SOUS 11935 HAS SOUPS 11415 WITH SCORE 11608.817
AT ITER 9688 NEW BEST:: SOT 247707 SOS 193811 HAS SOPS 189901 HAS SOUS 11935 HAS SOUPS 11415 WITH SCORE 11608.811
AT ITER 9755 NEW BEST:: SOT 247707 SOS 193807 HAS SOPS 189897 HAS SOUS 11933 HAS SOUPS 11413 WITH SCORE 11606.807
AT ITER 9775 NEW BEST:: SOT 247695 SOS 193795 HAS SOPS 189885 HAS SOUS 11921 HAS SOUPS 11401 WITH SCORE 11594.795
AT ITER 9870 NEW BEST:: SOT 247695 SOS 193795 HAS SOPS 189885 HAS SOUS 11910 HAS SOUPS 11390 WITH SCORE 11583.795
AT ITER 9905 NEW BEST:: SOT 247695 SOS 193811 HAS SOPS 189325 HAS SOUS 11918 HAS SOUPS 11389 WITH SCORE 11582.811
AT ITER 9981 NEW BEST:: SOT 247689 SOS 193805 HAS SOPS 189319 HAS SOUS 11915 HAS SOUPS 11386 WITH SCORE 11579.805
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 12979324 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16119568 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SemanticWebServices-PT-S128P06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is SemanticWebServices-PT-S128P06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r363-smll-167891814200384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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