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.r171-tall-167838859000696.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 FunctionPointer-PT-b032, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838859000696
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 772K
-rw-r--r-- 1 mcc users 7.6K Feb 25 11:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 11:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 11:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 11:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.7K Feb 25 11:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 11:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 11:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 11:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 391K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679498428730

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=FunctionPointer-PT-b032
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 15:20:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 15:20:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 15:20:30] [INFO ] Load time of PNML (sax parser for PT used): 86 ms
[2023-03-22 15:20:30] [INFO ] Transformed 306 places.
[2023-03-22 15:20:30] [INFO ] Transformed 840 transitions.
[2023-03-22 15:20:30] [INFO ] Parsed PT model containing 306 places and 840 transitions and 3392 arcs in 149 ms.
[2023-03-22 15:20:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 306 places, 840 transitions and 3392 arcs took 9 ms.
Total runtime 184 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FunctionPointer (PT), instance b032
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: 306 places, 840 transitions, 3392 arcs.
AT ITER 0 NEW BEST:: SOT 250193 SOS 199462 HAS SOPS 193223 HAS SOUS 100184 HAS SOUPS 99748 WITH SCORE 99947.462
AT ITER 2 NEW BEST:: SOT 250193 SOS 199117 HAS SOPS 192878 HAS SOUS 100106 HAS SOUPS 99670 WITH SCORE 99869.117
AT ITER 6 NEW BEST:: SOT 250193 SOS 199257 HAS SOPS 193018 HAS SOUS 100070 HAS SOUPS 99634 WITH SCORE 99833.257
AT ITER 9 NEW BEST:: SOT 250177 SOS 199241 HAS SOPS 193104 HAS SOUS 100052 HAS SOUPS 99616 WITH SCORE 99815.241
AT ITER 10 NEW BEST:: SOT 250177 SOS 198421 HAS SOPS 191189 HAS SOUS 100224 HAS SOUPS 98693 WITH SCORE 98891.421
AT ITER 15 NEW BEST:: SOT 250177 SOS 198401 HAS SOPS 191169 HAS SOUS 100216 HAS SOUPS 98685 WITH SCORE 98883.401
AT ITER 16 NEW BEST:: SOT 250180 SOS 198409 HAS SOPS 191178 HAS SOUS 100152 HAS SOUPS 98622 WITH SCORE 98820.409
AT ITER 19 NEW BEST:: SOT 250180 SOS 198409 HAS SOPS 191178 HAS SOUS 100032 HAS SOUPS 98502 WITH SCORE 98700.409
AT ITER 27 NEW BEST:: SOT 250180 SOS 198195 HAS SOPS 190847 HAS SOUS 100105 HAS SOUPS 98458 WITH SCORE 98656.195
AT ITER 40 NEW BEST:: SOT 250186 SOS 198201 HAS SOPS 190837 HAS SOUS 100073 HAS SOUPS 98426 WITH SCORE 98624.201
AT ITER 41 NEW BEST:: SOT 250186 SOS 198157 HAS SOPS 190793 HAS SOUS 100073 HAS SOUPS 98426 WITH SCORE 98624.157
AT ITER 42 NEW BEST:: SOT 250186 SOS 198109 HAS SOPS 190745 HAS SOUS 99987 HAS SOUPS 98340 WITH SCORE 98538.109
AT ITER 47 NEW BEST:: SOT 250186 SOS 198101 HAS SOPS 190737 HAS SOUS 99932 HAS SOUPS 98285 WITH SCORE 98483.101
AT ITER 48 NEW BEST:: SOT 250186 SOS 198085 HAS SOPS 190721 HAS SOUS 99916 HAS SOUPS 98269 WITH SCORE 98467.085
AT ITER 53 NEW BEST:: SOT 250186 SOS 197995 HAS SOPS 190683 HAS SOUS 99606 HAS SOUPS 98011 WITH SCORE 98208.995
AT ITER 56 NEW BEST:: SOT 250186 SOS 197695 HAS SOPS 190435 HAS SOUS 99356 HAS SOUPS 97813 WITH SCORE 98010.695
AT ITER 61 NEW BEST:: SOT 250186 SOS 197728 HAS SOPS 190547 HAS SOUS 99247 HAS SOUPS 97783 WITH SCORE 97980.728
AT ITER 69 NEW BEST:: SOT 250186 SOS 197526 HAS SOPS 190345 HAS SOUS 99149 HAS SOUPS 97685 WITH SCORE 97882.526
AT ITER 71 NEW BEST:: SOT 250186 SOS 197577 HAS SOPS 190565 HAS SOUS 98758 HAS SOUPS 97463 WITH SCORE 97660.577
AT ITER 72 NEW BEST:: SOT 250186 SOS 197351 HAS SOPS 190339 HAS SOUS 98566 HAS SOUPS 97271 WITH SCORE 97468.351
AT ITER 78 NEW BEST:: SOT 250186 SOS 197299 HAS SOPS 190287 HAS SOUS 98475 HAS SOUPS 97180 WITH SCORE 97377.299
AT ITER 87 NEW BEST:: SOT 250186 SOS 197250 HAS SOPS 190093 HAS SOUS 98360 HAS SOUPS 96920 WITH SCORE 97117.25
AT ITER 89 NEW BEST:: SOT 250186 SOS 197340 HAS SOPS 190183 HAS SOUS 98340 HAS SOUPS 96900 WITH SCORE 97097.34
AT ITER 91 NEW BEST:: SOT 250189 SOS 197344 HAS SOPS 190375 HAS SOUS 98151 HAS SOUPS 96899 WITH SCORE 97096.344
AT ITER 92 NEW BEST:: SOT 250189 SOS 197330 HAS SOPS 190413 HAS SOUS 97995 HAS SOUPS 96795 WITH SCORE 96992.33
AT ITER 93 NEW BEST:: SOT 250189 SOS 197058 HAS SOPS 190027 HAS SOUS 97859 HAS SOUPS 96545 WITH SCORE 96742.058
AT ITER 107 NEW BEST:: SOT 250189 SOS 197058 HAS SOPS 190027 HAS SOUS 97839 HAS SOUPS 96525 WITH SCORE 96722.058
AT ITER 111 NEW BEST:: SOT 250189 SOS 196546 HAS SOPS 189302 HAS SOUS 97777 HAS SOUPS 96250 WITH SCORE 96446.546
AT ITER 119 NEW BEST:: SOT 250189 SOS 196584 HAS SOPS 189340 HAS SOUS 97761 HAS SOUPS 96234 WITH SCORE 96430.584
AT ITER 126 NEW BEST:: SOT 250189 SOS 196584 HAS SOPS 189340 HAS SOUS 97759 HAS SOUPS 96232 WITH SCORE 96428.584
AT ITER 132 NEW BEST:: SOT 250189 SOS 196940 HAS SOPS 189696 HAS SOUS 97743 HAS SOUPS 96216 WITH SCORE 96412.94
AT ITER 138 NEW BEST:: SOT 250216 SOS 196771 HAS SOPS 189527 HAS SOUS 97672 HAS SOUPS 96145 WITH SCORE 96341.771
AT ITER 141 NEW BEST:: SOT 250216 SOS 196787 HAS SOPS 189543 HAS SOUS 97661 HAS SOUPS 96134 WITH SCORE 96330.787
AT ITER 142 NEW BEST:: SOT 250216 SOS 196787 HAS SOPS 189543 HAS SOUS 97613 HAS SOUPS 96086 WITH SCORE 96282.787
AT ITER 144 NEW BEST:: SOT 250216 SOS 196921 HAS SOPS 189677 HAS SOUS 97583 HAS SOUPS 96056 WITH SCORE 96252.921
AT ITER 148 NEW BEST:: SOT 250216 SOS 196929 HAS SOPS 189685 HAS SOUS 97577 HAS SOUPS 96050 WITH SCORE 96246.929
AT ITER 149 NEW BEST:: SOT 250216 SOS 196913 HAS SOPS 189669 HAS SOUS 97569 HAS SOUPS 96042 WITH SCORE 96238.913
AT ITER 156 NEW BEST:: SOT 250216 SOS 196551 HAS SOPS 189207 HAS SOUS 97474 HAS SOUPS 95847 WITH SCORE 96043.551
AT ITER 165 NEW BEST:: SOT 250216 SOS 196417 HAS SOPS 189125 HAS SOUS 97275 HAS SOUPS 95700 WITH SCORE 95896.417
AT ITER 177 NEW BEST:: SOT 250216 SOS 196409 HAS SOPS 189117 HAS SOUS 97271 HAS SOUPS 95696 WITH SCORE 95892.409
AT ITER 186 NEW BEST:: SOT 250216 SOS 196199 HAS SOPS 189034 HAS SOUS 97042 HAS SOUPS 95594 WITH SCORE 95790.199
AT ITER 188 NEW BEST:: SOT 250216 SOS 196007 HAS SOPS 188842 HAS SOUS 96696 HAS SOUPS 95248 WITH SCORE 95444.007
AT ITER 192 NEW BEST:: SOT 250216 SOS 196241 HAS SOPS 189076 HAS SOUS 96664 HAS SOUPS 95216 WITH SCORE 95412.241
AT ITER 193 NEW BEST:: SOT 250216 SOS 196139 HAS SOPS 188974 HAS SOUS 96490 HAS SOUPS 95042 WITH SCORE 95238.139
AT ITER 195 NEW BEST:: SOT 250216 SOS 195981 HAS SOPS 188816 HAS SOUS 96461 HAS SOUPS 95013 WITH SCORE 95208.981
AT ITER 200 NEW BEST:: SOT 250216 SOS 195957 HAS SOPS 188792 HAS SOUS 96453 HAS SOUPS 95005 WITH SCORE 95200.957
AT ITER 201 NEW BEST:: SOT 250216 SOS 195599 HAS SOPS 188337 HAS SOUS 96534 HAS SOUPS 94989 WITH SCORE 95184.599
AT ITER 202 NEW BEST:: SOT 250216 SOS 195445 HAS SOPS 188183 HAS SOUS 96457 HAS SOUPS 94912 WITH SCORE 95107.445
AT ITER 208 NEW BEST:: SOT 250216 SOS 195359 HAS SOPS 188097 HAS SOUS 96414 HAS SOUPS 94869 WITH SCORE 95064.359
AT ITER 209 NEW BEST:: SOT 250216 SOS 195429 HAS SOPS 188210 HAS SOUS 96281 HAS SOUPS 94779 WITH SCORE 94974.429
AT ITER 210 NEW BEST:: SOT 250216 SOS 195401 HAS SOPS 188182 HAS SOUS 96227 HAS SOUPS 94725 WITH SCORE 94920.401
AT ITER 211 NEW BEST:: SOT 250216 SOS 195466 HAS SOPS 188355 HAS SOUS 96076 HAS SOUPS 94682 WITH SCORE 94877.466
AT ITER 215 NEW BEST:: SOT 250216 SOS 195732 HAS SOPS 188621 HAS SOUS 96043 HAS SOUPS 94649 WITH SCORE 94844.732
AT ITER 217 NEW BEST:: SOT 250216 SOS 195720 HAS SOPS 188609 HAS SOUS 96043 HAS SOUPS 94649 WITH SCORE 94844.72
AT ITER 218 NEW BEST:: SOT 250216 SOS 195662 HAS SOPS 188551 HAS SOUS 96043 HAS SOUPS 94649 WITH SCORE 94844.662
AT ITER 220 NEW BEST:: SOT 250216 SOS 195502 HAS SOPS 188391 HAS SOUS 95996 HAS SOUPS 94602 WITH SCORE 94797.502
AT ITER 223 NEW BEST:: SOT 250216 SOS 195502 HAS SOPS 188391 HAS SOUS 95946 HAS SOUPS 94552 WITH SCORE 94747.502
AT ITER 224 NEW BEST:: SOT 250216 SOS 195974 HAS SOPS 188863 HAS SOUS 95566 HAS SOUPS 94172 WITH SCORE 94367.974
AT ITER 227 NEW BEST:: SOT 250216 SOS 196030 HAS SOPS 188919 HAS SOUS 95534 HAS SOUPS 94140 WITH SCORE 94336.03
AT ITER 234 NEW BEST:: SOT 250216 SOS 195724 HAS SOPS 188613 HAS SOUS 95409 HAS SOUPS 94015 WITH SCORE 94210.724
AT ITER 242 NEW BEST:: SOT 250216 SOS 195560 HAS SOPS 188367 HAS SOUS 95327 HAS SOUPS 93851 WITH SCORE 94046.56
AT ITER 247 NEW BEST:: SOT 250216 SOS 195769 HAS SOPS 188576 HAS SOUS 95293 HAS SOUPS 93817 WITH SCORE 94012.769
AT ITER 250 NEW BEST:: SOT 250216 SOS 195563 HAS SOPS 188370 HAS SOUS 95188 HAS SOUPS 93712 WITH SCORE 93907.563
AT ITER 252 NEW BEST:: SOT 250216 SOS 195823 HAS SOPS 188565 HAS SOUS 94869 HAS SOUPS 93328 WITH SCORE 93523.823
AT ITER 253 NEW BEST:: SOT 250216 SOS 195345 HAS SOPS 188087 HAS SOUS 94806 HAS SOUPS 93265 WITH SCORE 93460.345
AT ITER 254 NEW BEST:: SOT 250216 SOS 195340 HAS SOPS 188082 HAS SOUS 94801 HAS SOUPS 93260 WITH SCORE 93455.34
AT ITER 257 NEW BEST:: SOT 250216 SOS 194742 HAS SOPS 187484 HAS SOUS 94703 HAS SOUPS 93162 WITH SCORE 93356.742
AT ITER 260 NEW BEST:: SOT 245106 SOS 189632 HAS SOPS 182374 HAS SOUS 94117 HAS SOUPS 92576 WITH SCORE 92765.632
AT ITER 261 NEW BEST:: SOT 245106 SOS 189645 HAS SOPS 182387 HAS SOUS 94076 HAS SOUPS 92535 WITH SCORE 92724.645
AT ITER 265 NEW BEST:: SOT 245106 SOS 189583 HAS SOPS 182325 HAS SOUS 94036 HAS SOUPS 92495 WITH SCORE 92684.583
AT ITER 269 NEW BEST:: SOT 245106 SOS 189553 HAS SOPS 182295 HAS SOUS 94026 HAS SOUPS 92485 WITH SCORE 92674.553
AT ITER 272 NEW BEST:: SOT 245106 SOS 189679 HAS SOPS 182421 HAS SOUS 93585 HAS SOUPS 92044 WITH SCORE 92233.679
AT ITER 273 NEW BEST:: SOT 245106 SOS 189481 HAS SOPS 182623 HAS SOUS 92518 HAS SOUPS 90977 WITH SCORE 91166.481
AT ITER 279 NEW BEST:: SOT 245106 SOS 189387 HAS SOPS 182529 HAS SOUS 92373 HAS SOUPS 90832 WITH SCORE 91021.387
AT ITER 280 NEW BEST:: SOT 245106 SOS 189258 HAS SOPS 182400 HAS SOUS 92244 HAS SOUPS 90703 WITH SCORE 90892.258
AT ITER 285 NEW BEST:: SOT 245106 SOS 189246 HAS SOPS 182388 HAS SOUS 92238 HAS SOUPS 90697 WITH SCORE 90886.246
AT ITER 289 NEW BEST:: SOT 245106 SOS 189238 HAS SOPS 182380 HAS SOUS 92234 HAS SOUPS 90693 WITH SCORE 90882.238
AT ITER 291 NEW BEST:: SOT 245108 SOS 189240 HAS SOPS 182382 HAS SOUS 92205 HAS SOUPS 90664 WITH SCORE 90853.24
AT ITER 292 NEW BEST:: SOT 245108 SOS 189622 HAS SOPS 182829 HAS SOUS 92109 HAS SOUPS 90633 WITH SCORE 90822.622
AT ITER 296 NEW BEST:: SOT 245108 SOS 189970 HAS SOPS 183177 HAS SOUS 90826 HAS SOUPS 89350 WITH SCORE 89539.97
AT ITER 301 NEW BEST:: SOT 245108 SOS 189852 HAS SOPS 183059 HAS SOUS 90724 HAS SOUPS 89248 WITH SCORE 89437.852
AT ITER 304 NEW BEST:: SOT 245108 SOS 190006 HAS SOPS 183213 HAS SOUS 90533 HAS SOUPS 89057 WITH SCORE 89247.006
AT ITER 310 NEW BEST:: SOT 245108 SOS 189974 HAS SOPS 183181 HAS SOUS 90517 HAS SOUPS 89041 WITH SCORE 89230.974
AT ITER 313 NEW BEST:: SOT 245108 SOS 189941 HAS SOPS 183206 HAS SOUS 90333 HAS SOUPS 88915 WITH SCORE 89104.941
AT ITER 314 NEW BEST:: SOT 245108 SOS 189941 HAS SOPS 183206 HAS SOUS 90053 HAS SOUPS 88635 WITH SCORE 88824.941
AT ITER 321 NEW BEST:: SOT 245158 SOS 189929 HAS SOPS 183194 HAS SOUS 89968 HAS SOUPS 88550 WITH SCORE 88739.929
AT ITER 324 NEW BEST:: SOT 245158 SOS 189575 HAS SOPS 182840 HAS SOUS 89751 HAS SOUPS 88333 WITH SCORE 88522.575
AT ITER 325 NEW BEST:: SOT 245158 SOS 189575 HAS SOPS 182840 HAS SOUS 89599 HAS SOUPS 88181 WITH SCORE 88370.575
AT ITER 326 NEW BEST:: SOT 245158 SOS 187369 HAS SOPS 180243 HAS SOUS 88518 HAS SOUPS 87100 WITH SCORE 87287.369
AT ITER 327 NEW BEST:: SOT 245158 SOS 187346 HAS SOPS 180220 HAS SOUS 88472 HAS SOUPS 87054 WITH SCORE 87241.346
AT ITER 332 NEW BEST:: SOT 245129 SOS 187301 HAS SOPS 180175 HAS SOUS 88435 HAS SOUPS 87017 WITH SCORE 87204.301
AT ITER 333 NEW BEST:: SOT 245121 SOS 187293 HAS SOPS 180159 HAS SOUS 88423 HAS SOUPS 87001 WITH SCORE 87188.293
AT ITER 335 NEW BEST:: SOT 245121 SOS 187265 HAS SOPS 180131 HAS SOUS 88400 HAS SOUPS 86978 WITH SCORE 87165.265
AT ITER 336 NEW BEST:: SOT 245121 SOS 187055 HAS SOPS 179921 HAS SOUS 88295 HAS SOUPS 86873 WITH SCORE 87060.055
AT ITER 339 NEW BEST:: SOT 245121 SOS 186288 HAS SOPS 179282 HAS SOUS 87673 HAS SOUPS 86330 WITH SCORE 86516.288
AT ITER 341 NEW BEST:: SOT 245105 SOS 186236 HAS SOPS 179546 HAS SOUS 86691 HAS SOUPS 85348 WITH SCORE 85534.236
AT ITER 342 NEW BEST:: SOT 245105 SOS 186092 HAS SOPS 179402 HAS SOUS 86613 HAS SOUPS 85270 WITH SCORE 85456.092
AT ITER 343 NEW BEST:: SOT 245105 SOS 186092 HAS SOPS 179402 HAS SOUS 86589 HAS SOUPS 85246 WITH SCORE 85432.092
AT ITER 347 NEW BEST:: SOT 245105 SOS 185091 HAS SOPS 177908 HAS SOUS 83112 HAS SOUPS 81769 WITH SCORE 81954.091
AT ITER 355 NEW BEST:: SOT 245105 SOS 185075 HAS SOPS 177892 HAS SOUS 83001 HAS SOUPS 81658 WITH SCORE 81843.075
AT ITER 356 NEW BEST:: SOT 245105 SOS 184723 HAS SOPS 177540 HAS SOUS 82874 HAS SOUPS 81531 WITH SCORE 81715.723
AT ITER 360 NEW BEST:: SOT 245105 SOS 184824 HAS SOPS 177641 HAS SOUS 82861 HAS SOUPS 81518 WITH SCORE 81702.824
AT ITER 362 NEW BEST:: SOT 245105 SOS 184694 HAS SOPS 177511 HAS SOUS 82705 HAS SOUPS 81362 WITH SCORE 81546.694
AT ITER 363 NEW BEST:: SOT 245105 SOS 184690 HAS SOPS 177507 HAS SOUS 82705 HAS SOUPS 81362 WITH SCORE 81546.69
AT ITER 366 NEW BEST:: SOT 245105 SOS 184686 HAS SOPS 177503 HAS SOUS 82690 HAS SOUPS 81347 WITH SCORE 81531.686
AT ITER 369 NEW BEST:: SOT 245105 SOS 184310 HAS SOPS 177127 HAS SOUS 82501 HAS SOUPS 81158 WITH SCORE 81342.31
AT ITER 375 NEW BEST:: SOT 245105 SOS 184310 HAS SOPS 177127 HAS SOUS 82444 HAS SOUPS 81101 WITH SCORE 81285.31
AT ITER 377 NEW BEST:: SOT 245105 SOS 184248 HAS SOPS 177065 HAS SOUS 82397 HAS SOUPS 81054 WITH SCORE 81238.248
AT ITER 378 NEW BEST:: SOT 245105 SOS 184278 HAS SOPS 177095 HAS SOUS 82391 HAS SOUPS 81048 WITH SCORE 81232.278
AT ITER 379 NEW BEST:: SOT 245105 SOS 184152 HAS SOPS 177127 HAS SOUS 82312 HAS SOUPS 81048 WITH SCORE 81232.152
AT ITER 380 NEW BEST:: SOT 245101 SOS 184148 HAS SOPS 177119 HAS SOUS 82296 HAS SOUPS 81032 WITH SCORE 81216.148
AT ITER 382 NEW BEST:: SOT 245101 SOS 183542 HAS SOPS 176513 HAS SOUS 82280 HAS SOUPS 81016 WITH SCORE 81199.542
AT ITER 389 NEW BEST:: SOT 245101 SOS 183394 HAS SOPS 176513 HAS SOUS 82206 HAS SOUPS 81016 WITH SCORE 81199.394
AT ITER 393 NEW BEST:: SOT 245101 SOS 183260 HAS SOPS 176379 HAS SOUS 82190 HAS SOUPS 81000 WITH SCORE 81183.26
AT ITER 394 NEW BEST:: SOT 245101 SOS 183124 HAS SOPS 176243 HAS SOUS 82179 HAS SOUPS 80989 WITH SCORE 81172.124
AT ITER 400 NEW BEST:: SOT 245085 SOS 183004 HAS SOPS 176107 HAS SOUS 82153 HAS SOUPS 80937 WITH SCORE 81120.004
AT ITER 401 NEW BEST:: SOT 245085 SOS 182868 HAS SOPS 175971 HAS SOUS 82153 HAS SOUPS 80937 WITH SCORE 81119.868
AT ITER 403 NEW BEST:: SOT 245085 SOS 182352 HAS SOPS 175455 HAS SOUS 81895 HAS SOUPS 80679 WITH SCORE 80861.352
AT ITER 404 NEW BEST:: SOT 245097 SOS 181194 HAS SOPS 174297 HAS SOUS 81576 HAS SOUPS 80360 WITH SCORE 80541.194
AT ITER 416 NEW BEST:: SOT 245097 SOS 181158 HAS SOPS 174261 HAS SOUS 81558 HAS SOUPS 80342 WITH SCORE 80523.158
AT ITER 417 NEW BEST:: SOT 245097 SOS 181158 HAS SOPS 174261 HAS SOUS 81551 HAS SOUPS 80335 WITH SCORE 80516.158
AT ITER 422 NEW BEST:: SOT 245097 SOS 181158 HAS SOPS 174261 HAS SOUS 81423 HAS SOUPS 80207 WITH SCORE 80388.158
AT ITER 432 NEW BEST:: SOT 245097 SOS 181128 HAS SOPS 174231 HAS SOUS 81412 HAS SOUPS 80196 WITH SCORE 80377.128
AT ITER 436 NEW BEST:: SOT 245097 SOS 181054 HAS SOPS 174157 HAS SOUS 81379 HAS SOUPS 80163 WITH SCORE 80344.054
AT ITER 439 NEW BEST:: SOT 245097 SOS 180912 HAS SOPS 174015 HAS SOUS 81316 HAS SOUPS 80100 WITH SCORE 80280.912
AT ITER 440 NEW BEST:: SOT 245097 SOS 180736 HAS SOPS 173839 HAS SOUS 81316 HAS SOUPS 80100 WITH SCORE 80280.736
AT ITER 445 NEW BEST:: SOT 245097 SOS 180868 HAS SOPS 173873 HAS SOUS 81333 HAS SOUPS 80068 WITH SCORE 80248.868
AT ITER 446 NEW BEST:: SOT 245097 SOS 180860 HAS SOPS 173865 HAS SOUS 81315 HAS SOUPS 80050 WITH SCORE 80230.86
AT ITER 453 NEW BEST:: SOT 245097 SOS 180588 HAS SOPS 173593 HAS SOUS 81296 HAS SOUPS 80031 WITH SCORE 80211.588
AT ITER 454 NEW BEST:: SOT 245097 SOS 180364 HAS SOPS 173369 HAS SOUS 81245 HAS SOUPS 79980 WITH SCORE 80160.364
AT ITER 457 NEW BEST:: SOT 245097 SOS 180308 HAS SOPS 173313 HAS SOUS 81245 HAS SOUPS 79980 WITH SCORE 80160.308
AT ITER 460 NEW BEST:: SOT 245091 SOS 180192 HAS SOPS 173531 HAS SOUS 80579 HAS SOUPS 79314 WITH SCORE 79494.192
AT ITER 463 NEW BEST:: SOT 241521 SOS 176624 HAS SOPS 169967 HAS SOUS 77011 HAS SOUPS 75750 WITH SCORE 75926.624
AT ITER 467 NEW BEST:: SOT 241521 SOS 176538 HAS SOPS 169881 HAS SOUS 76949 HAS SOUPS 75688 WITH SCORE 75864.538
AT ITER 468 NEW BEST:: SOT 241521 SOS 176436 HAS SOPS 169779 HAS SOUS 76934 HAS SOUPS 75673 WITH SCORE 75849.436
AT ITER 476 NEW BEST:: SOT 241521 SOS 176432 HAS SOPS 169779 HAS SOUS 76930 HAS SOUPS 75671 WITH SCORE 75847.432
AT ITER 479 NEW BEST:: SOT 241521 SOS 176426 HAS SOPS 169773 HAS SOUS 76924 HAS SOUPS 75665 WITH SCORE 75841.426
AT ITER 484 NEW BEST:: SOT 241521 SOS 176400 HAS SOPS 169747 HAS SOUS 76898 HAS SOUPS 75639 WITH SCORE 75815.4
AT ITER 487 NEW BEST:: SOT 241521 SOS 176392 HAS SOPS 169739 HAS SOUS 76892 HAS SOUPS 75633 WITH SCORE 75809.392
AT ITER 488 NEW BEST:: SOT 241521 SOS 176024 HAS SOPS 169691 HAS SOUS 76649 HAS SOUPS 75550 WITH SCORE 75726.024
AT ITER 490 NEW BEST:: SOT 241521 SOS 175888 HAS SOPS 169555 HAS SOUS 76649 HAS SOUPS 75550 WITH SCORE 75725.888
AT ITER 496 NEW BEST:: SOT 241521 SOS 175920 HAS SOPS 169587 HAS SOUS 76648 HAS SOUPS 75549 WITH SCORE 75724.92
AT ITER 499 NEW BEST:: SOT 241521 SOS 175922 HAS SOPS 169587 HAS SOUS 76648 HAS SOUPS 75548 WITH SCORE 75723.922
AT ITER 501 NEW BEST:: SOT 241521 SOS 175904 HAS SOPS 169569 HAS SOUS 76645 HAS SOUPS 75545 WITH SCORE 75720.904
AT ITER 504 NEW BEST:: SOT 241521 SOS 176204 HAS SOPS 169677 HAS SOUS 76579 HAS SOUPS 75437 WITH SCORE 75613.204
AT ITER 505 NEW BEST:: SOT 241511 SOS 176180 HAS SOPS 169643 HAS SOUS 76560 HAS SOUPS 75408 WITH SCORE 75584.18
AT ITER 506 NEW BEST:: SOT 241511 SOS 176150 HAS SOPS 169613 HAS SOUS 76479 HAS SOUPS 75327 WITH SCORE 75503.15
AT ITER 508 NEW BEST:: SOT 241757 SOS 176936 HAS SOPS 170075 HAS SOUS 76249 HAS SOUPS 75107 WITH SCORE 75283.936
AT ITER 510 NEW BEST:: SOT 241757 SOS 176944 HAS SOPS 170051 HAS SOUS 76257 HAS SOUPS 75095 WITH SCORE 75271.944
AT ITER 511 NEW BEST:: SOT 241757 SOS 176856 HAS SOPS 169963 HAS SOUS 76245 HAS SOUPS 75083 WITH SCORE 75259.856
AT ITER 514 NEW BEST:: SOT 241757 SOS 176860 HAS SOPS 169967 HAS SOUS 76238 HAS SOUPS 75076 WITH SCORE 75252.86
AT ITER 515 NEW BEST:: SOT 241757 SOS 176832 HAS SOPS 169939 HAS SOUS 76224 HAS SOUPS 75062 WITH SCORE 75238.832
AT ITER 517 NEW BEST:: SOT 241741 SOS 176816 HAS SOPS 170067 HAS SOUS 75872 HAS SOUPS 74710 WITH SCORE 74886.816
AT ITER 525 NEW BEST:: SOT 241741 SOS 176516 HAS SOPS 169767 HAS SOUS 75705 HAS SOUPS 74543 WITH SCORE 74719.516
AT ITER 529 NEW BEST:: SOT 241741 SOS 176344 HAS SOPS 169595 HAS SOUS 75619 HAS SOUPS 74457 WITH SCORE 74633.344
AT ITER 533 NEW BEST:: SOT 241741 SOS 176344 HAS SOPS 169561 HAS SOUS 75602 HAS SOUPS 74440 WITH SCORE 74616.344
AT ITER 535 NEW BEST:: SOT 241741 SOS 176047 HAS SOPS 169257 HAS SOUS 75514 HAS SOUPS 74345 WITH SCORE 74521.047
AT ITER 537 NEW BEST:: SOT 241741 SOS 176007 HAS SOPS 169217 HAS SOUS 75494 HAS SOUPS 74325 WITH SCORE 74501.007
AT ITER 538 NEW BEST:: SOT 241741 SOS 175904 HAS SOPS 169114 HAS SOUS 75475 HAS SOUPS 74306 WITH SCORE 74481.904
AT ITER 543 NEW BEST:: SOT 241741 SOS 175348 HAS SOPS 168558 HAS SOUS 74980 HAS SOUPS 73811 WITH SCORE 73986.348
AT ITER 545 NEW BEST:: SOT 241741 SOS 174596 HAS SOPS 167806 HAS SOUS 74908 HAS SOUPS 73739 WITH SCORE 73913.596
AT ITER 551 NEW BEST:: SOT 241741 SOS 174596 HAS SOPS 167806 HAS SOUS 74869 HAS SOUPS 73700 WITH SCORE 73874.596
AT ITER 552 NEW BEST:: SOT 241741 SOS 174356 HAS SOPS 167566 HAS SOUS 74837 HAS SOUPS 73668 WITH SCORE 73842.356
AT ITER 557 NEW BEST:: SOT 241741 SOS 173978 HAS SOPS 167188 HAS SOUS 74834 HAS SOUPS 73665 WITH SCORE 73838.978
AT ITER 560 NEW BEST:: SOT 241741 SOS 174256 HAS SOPS 167466 HAS SOUS 74810 HAS SOUPS 73641 WITH SCORE 73815.256
AT ITER 565 NEW BEST:: SOT 241741 SOS 173862 HAS SOPS 167072 HAS SOUS 74581 HAS SOUPS 73412 WITH SCORE 73585.862
AT ITER 566 NEW BEST:: SOT 241741 SOS 173686 HAS SOPS 166896 HAS SOUS 74507 HAS SOUPS 73338 WITH SCORE 73511.686
AT ITER 567 NEW BEST:: SOT 241797 SOS 173660 HAS SOPS 166870 HAS SOUS 74390 HAS SOUPS 73221 WITH SCORE 73394.66
AT ITER 568 NEW BEST:: SOT 241797 SOS 173940 HAS SOPS 167150 HAS SOUS 74346 HAS SOUPS 73177 WITH SCORE 73350.94
AT ITER 570 NEW BEST:: SOT 241797 SOS 173476 HAS SOPS 166686 HAS SOUS 74091 HAS SOUPS 72922 WITH SCORE 73095.476
AT ITER 571 NEW BEST:: SOT 241797 SOS 173269 HAS SOPS 166479 HAS SOUS 73934 HAS SOUPS 72765 WITH SCORE 72938.269
AT ITER 577 NEW BEST:: SOT 241797 SOS 173751 HAS SOPS 166961 HAS SOUS 73738 HAS SOUPS 72569 WITH SCORE 72742.751
AT ITER 578 NEW BEST:: SOT 241797 SOS 173751 HAS SOPS 166999 HAS SOUS 73624 HAS SOUPS 72455 WITH SCORE 72628.751
AT ITER 581 NEW BEST:: SOT 241797 SOS 173749 HAS SOPS 166997 HAS SOUS 73622 HAS SOUPS 72453 WITH SCORE 72626.749
AT ITER 582 NEW BEST:: SOT 241797 SOS 173207 HAS SOPS 166455 HAS SOUS 73173 HAS SOUPS 72004 WITH SCORE 72177.207
AT ITER 590 NEW BEST:: SOT 241797 SOS 173119 HAS SOPS 166367 HAS SOUS 73113 HAS SOUPS 71944 WITH SCORE 72117.119
AT ITER 594 NEW BEST:: SOT 241777 SOS 173059 HAS SOPS 166307 HAS SOUS 73103 HAS SOUPS 71934 WITH SCORE 72107.059
AT ITER 595 NEW BEST:: SOT 241777 SOS 173207 HAS SOPS 166462 HAS SOUS 73067 HAS SOUPS 71905 WITH SCORE 72078.207
AT ITER 601 NEW BEST:: SOT 241777 SOS 173209 HAS SOPS 166462 HAS SOUS 73060 HAS SOUPS 71897 WITH SCORE 72070.209
AT ITER 602 NEW BEST:: SOT 241675 SOS 173107 HAS SOPS 166562 HAS SOUS 72974 HAS SOUPS 71811 WITH SCORE 71984.107
AT ITER 604 NEW BEST:: SOT 241675 SOS 172921 HAS SOPS 166376 HAS SOUS 72974 HAS SOUPS 71811 WITH SCORE 71983.921
AT ITER 605 NEW BEST:: SOT 241675 SOS 172901 HAS SOPS 166356 HAS SOUS 72968 HAS SOUPS 71805 WITH SCORE 71977.901
AT ITER 609 NEW BEST:: SOT 241671 SOS 172863 HAS SOPS 166352 HAS SOUS 72932 HAS SOUPS 71801 WITH SCORE 71973.863
AT ITER 610 NEW BEST:: SOT 241671 SOS 173347 HAS SOPS 166836 HAS SOUS 72884 HAS SOUPS 71753 WITH SCORE 71926.347
AT ITER 611 NEW BEST:: SOT 241671 SOS 173563 HAS SOPS 167052 HAS SOUS 72506 HAS SOUPS 71375 WITH SCORE 71548.563
AT ITER 612 NEW BEST:: SOT 241671 SOS 173501 HAS SOPS 166990 HAS SOUS 72505 HAS SOUPS 71374 WITH SCORE 71547.501
AT ITER 615 NEW BEST:: SOT 241671 SOS 173569 HAS SOPS 167058 HAS SOUS 72458 HAS SOUPS 71327 WITH SCORE 71500.569
AT ITER 618 NEW BEST:: SOT 241671 SOS 173561 HAS SOPS 167050 HAS SOUS 72450 HAS SOUPS 71319 WITH SCORE 71492.561
AT ITER 627 NEW BEST:: SOT 241671 SOS 173215 HAS SOPS 166704 HAS SOUS 72218 HAS SOUPS 71087 WITH SCORE 71260.215
AT ITER 630 NEW BEST:: SOT 241671 SOS 173215 HAS SOPS 166704 HAS SOUS 72134 HAS SOUPS 71003 WITH SCORE 71176.215
AT ITER 636 NEW BEST:: SOT 241671 SOS 173091 HAS SOPS 166580 HAS SOUS 72125 HAS SOUPS 70994 WITH SCORE 71167.091
AT ITER 637 NEW BEST:: SOT 241671 SOS 173465 HAS SOPS 166612 HAS SOUS 72272 HAS SOUPS 70970 WITH SCORE 71143.465
AT ITER 644 NEW BEST:: SOT 241671 SOS 173301 HAS SOPS 166448 HAS SOUS 72104 HAS SOUPS 70802 WITH SCORE 70975.301
AT ITER 647 NEW BEST:: SOT 241671 SOS 173267 HAS SOPS 166414 HAS SOUS 72071 HAS SOUPS 70769 WITH SCORE 70942.267
AT ITER 654 NEW BEST:: SOT 241561 SOS 173157 HAS SOPS 166304 HAS SOUS 71851 HAS SOUPS 70549 WITH SCORE 70722.157
AT ITER 655 NEW BEST:: SOT 241561 SOS 172785 HAS SOPS 165732 HAS SOUS 71794 HAS SOUPS 70392 WITH SCORE 70564.785
AT ITER 659 NEW BEST:: SOT 241596 SOS 172796 HAS SOPS 165688 HAS SOUS 71817 HAS SOUPS 70370 WITH SCORE 70542.796
AT ITER 661 NEW BEST:: SOT 241596 SOS 172774 HAS SOPS 165666 HAS SOUS 71806 HAS SOUPS 70359 WITH SCORE 70531.774
AT ITER 663 NEW BEST:: SOT 241590 SOS 172768 HAS SOPS 165654 HAS SOUS 71788 HAS SOUPS 70341 WITH SCORE 70513.768
AT ITER 666 NEW BEST:: SOT 241590 SOS 172560 HAS SOPS 165446 HAS SOUS 71736 HAS SOUPS 70289 WITH SCORE 70461.56
AT ITER 674 NEW BEST:: SOT 241590 SOS 172603 HAS SOPS 165489 HAS SOUS 71577 HAS SOUPS 70130 WITH SCORE 70302.603
AT ITER 676 NEW BEST:: SOT 241590 SOS 172037 HAS SOPS 164923 HAS SOUS 71379 HAS SOUPS 69932 WITH SCORE 70104.037
AT ITER 677 NEW BEST:: SOT 241590 SOS 171973 HAS SOPS 164859 HAS SOUS 71379 HAS SOUPS 69932 WITH SCORE 70103.973
AT ITER 682 NEW BEST:: SOT 241670 SOS 172053 HAS SOPS 164939 HAS SOUS 70859 HAS SOUPS 69412 WITH SCORE 69584.053
AT ITER 683 NEW BEST:: SOT 241684 SOS 171755 HAS SOPS 164641 HAS SOUS 70789 HAS SOUPS 69342 WITH SCORE 69513.755
AT ITER 684 NEW BEST:: SOT 241684 SOS 171363 HAS SOPS 164249 HAS SOUS 70761 HAS SOUPS 69314 WITH SCORE 69485.363
AT ITER 686 NEW BEST:: SOT 241682 SOS 171335 HAS SOPS 164221 HAS SOUS 70663 HAS SOUPS 69216 WITH SCORE 69387.335
AT ITER 695 NEW BEST:: SOT 241682 SOS 169093 HAS SOPS 161979 HAS SOUS 70628 HAS SOUPS 69181 WITH SCORE 69350.093
AT ITER 704 NEW BEST:: SOT 241682 SOS 168859 HAS SOPS 161745 HAS SOUS 70459 HAS SOUPS 69012 WITH SCORE 69180.859
AT ITER 709 NEW BEST:: SOT 241682 SOS 166687 HAS SOPS 159829 HAS SOUS 70362 HAS SOUPS 68915 WITH SCORE 69081.687
AT ITER 714 NEW BEST:: SOT 241682 SOS 166861 HAS SOPS 159945 HAS SOUS 70304 HAS SOUPS 68857 WITH SCORE 69023.861
AT ITER 719 NEW BEST:: SOT 241644 SOS 166811 HAS SOPS 159895 HAS SOUS 70152 HAS SOUPS 68705 WITH SCORE 68871.811
AT ITER 720 NEW BEST:: SOT 241644 SOS 166725 HAS SOPS 159809 HAS SOUS 70152 HAS SOUPS 68705 WITH SCORE 68871.725
AT ITER 724 NEW BEST:: SOT 241644 SOS 166411 HAS SOPS 159495 HAS SOUS 69131 HAS SOUPS 67684 WITH SCORE 67850.411
AT ITER 727 NEW BEST:: SOT 241644 SOS 166367 HAS SOPS 159451 HAS SOUS 69131 HAS SOUPS 67684 WITH SCORE 67850.367
AT ITER 732 NEW BEST:: SOT 241524 SOS 166297 HAS SOPS 159425 HAS SOUS 69050 HAS SOUPS 67647 WITH SCORE 67813.297
AT ITER 733 NEW BEST:: SOT 241524 SOS 164195 HAS SOPS 157323 HAS SOUS 68989 HAS SOUPS 67586 WITH SCORE 67750.195
AT ITER 739 NEW BEST:: SOT 241524 SOS 164227 HAS SOPS 157339 HAS SOUS 68981 HAS SOUPS 67578 WITH SCORE 67742.227
AT ITER 741 NEW BEST:: SOT 241552 SOS 163848 HAS SOPS 156960 HAS SOUS 68836 HAS SOUPS 67433 WITH SCORE 67596.848
AT ITER 751 NEW BEST:: SOT 241552 SOS 163848 HAS SOPS 156960 HAS SOUS 68831 HAS SOUPS 67428 WITH SCORE 67591.848
AT ITER 756 NEW BEST:: SOT 241552 SOS 162420 HAS SOPS 155532 HAS SOUS 68803 HAS SOUPS 67400 WITH SCORE 67562.42
AT ITER 757 NEW BEST:: SOT 241552 SOS 162622 HAS SOPS 155734 HAS SOUS 68786 HAS SOUPS 67383 WITH SCORE 67545.622
AT ITER 767 NEW BEST:: SOT 241566 SOS 162352 HAS SOPS 155464 HAS SOUS 68658 HAS SOUPS 67255 WITH SCORE 67417.352
AT ITER 768 NEW BEST:: SOT 241566 SOS 162252 HAS SOPS 155364 HAS SOUS 68530 HAS SOUPS 67127 WITH SCORE 67289.252
AT ITER 769 NEW BEST:: SOT 241566 SOS 162096 HAS SOPS 155292 HAS SOUS 68473 HAS SOUPS 67112 WITH SCORE 67274.096
AT ITER 773 NEW BEST:: SOT 241566 SOS 162096 HAS SOPS 155146 HAS SOUS 68361 HAS SOUPS 67000 WITH SCORE 67162.096
AT ITER 777 NEW BEST:: SOT 241568 SOS 157486 HAS SOPS 152238 HAS SOUS 68172 HAS SOUPS 66932 WITH SCORE 67089.486
AT ITER 784 NEW BEST:: SOT 241568 SOS 157458 HAS SOPS 152404 HAS SOUS 68075 HAS SOUPS 66932 WITH SCORE 67089.458
AT ITER 785 NEW BEST:: SOT 241568 SOS 157663 HAS SOPS 152609 HAS SOUS 67721 HAS SOUPS 66578 WITH SCORE 66735.663
AT ITER 787 NEW BEST:: SOT 241568 SOS 157439 HAS SOPS 152385 HAS SOUS 67585 HAS SOUPS 66442 WITH SCORE 66599.439
AT ITER 790 NEW BEST:: SOT 241568 SOS 157513 HAS SOPS 152245 HAS SOUS 67550 HAS SOUPS 66300 WITH SCORE 66457.513
AT ITER 791 NEW BEST:: SOT 241713 SOS 151302 HAS SOPS 148365 HAS SOUS 66763 HAS SOUPS 65695 WITH SCORE 65846.302
AT ITER 792 NEW BEST:: SOT 241713 SOS 151302 HAS SOPS 148365 HAS SOUS 66746 HAS SOUPS 65678 WITH SCORE 65829.302
AT ITER 798 NEW BEST:: SOT 241713 SOS 150618 HAS SOPS 147681 HAS SOUS 66673 HAS SOUPS 65605 WITH SCORE 65755.618
AT ITER 800 NEW BEST:: SOT 241689 SOS 150560 HAS SOPS 147646 HAS SOUS 66630 HAS SOUPS 65574 WITH SCORE 65724.56
AT ITER 809 NEW BEST:: SOT 241689 SOS 150540 HAS SOPS 147626 HAS SOUS 66598 HAS SOUPS 65542 WITH SCORE 65692.54
AT ITER 811 NEW BEST:: SOT 241689 SOS 150342 HAS SOPS 147428 HAS SOUS 66587 HAS SOUPS 65531 WITH SCORE 65681.342
AT ITER 814 NEW BEST:: SOT 241689 SOS 150240 HAS SOPS 147326 HAS SOUS 66536 HAS SOUPS 65480 WITH SCORE 65630.24
AT ITER 820 NEW BEST:: SOT 241689 SOS 150060 HAS SOPS 147206 HAS SOUS 66446 HAS SOUPS 65420 WITH SCORE 65570.06
AT ITER 830 NEW BEST:: SOT 241689 SOS 149932 HAS SOPS 147078 HAS SOUS 66382 HAS SOUPS 65356 WITH SCORE 65505.932
AT ITER 839 NEW BEST:: SOT 242058 SOS 150257 HAS SOPS 147376 HAS SOUS 66360 HAS SOUPS 65328 WITH SCORE 65478.257
AT ITER 842 NEW BEST:: SOT 242058 SOS 150123 HAS SOPS 147242 HAS SOUS 66282 HAS SOUPS 65250 WITH SCORE 65400.123
AT ITER 848 NEW BEST:: SOT 242058 SOS 150279 HAS SOPS 147196 HAS SOUS 66360 HAS SOUPS 65227 WITH SCORE 65377.279
AT ITER 849 NEW BEST:: SOT 242106 SOS 150327 HAS SOPS 147188 HAS SOUS 66366 HAS SOUPS 65219 WITH SCORE 65369.327
AT ITER 855 NEW BEST:: SOT 242106 SOS 150259 HAS SOPS 147120 HAS SOUS 66332 HAS SOUPS 65185 WITH SCORE 65335.259
AT ITER 863 NEW BEST:: SOT 242150 SOS 149613 HAS SOPS 146474 HAS SOUS 66220 HAS SOUPS 65073 WITH SCORE 65222.613
AT ITER 865 NEW BEST:: SOT 242151 SOS 149610 HAS SOPS 146471 HAS SOUS 66218 HAS SOUPS 65071 WITH SCORE 65220.61
AT ITER 866 NEW BEST:: SOT 242151 SOS 149610 HAS SOPS 146471 HAS SOUS 66183 HAS SOUPS 65036 WITH SCORE 65185.61
AT ITER 873 NEW BEST:: SOT 242151 SOS 149340 HAS SOPS 146343 HAS SOUS 66048 HAS SOUPS 64972 WITH SCORE 65121.34
AT ITER 882 NEW BEST:: SOT 242151 SOS 149638 HAS SOPS 146641 HAS SOUS 65515 HAS SOUPS 64439 WITH SCORE 64588.638
AT ITER 884 NEW BEST:: SOT 242151 SOS 149622 HAS SOPS 146625 HAS SOUS 65511 HAS SOUPS 64435 WITH SCORE 64584.622
AT ITER 885 NEW BEST:: SOT 242151 SOS 149604 HAS SOPS 146607 HAS SOUS 65450 HAS SOUPS 64374 WITH SCORE 64523.604
AT ITER 890 NEW BEST:: SOT 242151 SOS 149490 HAS SOPS 146493 HAS SOUS 65450 HAS SOUPS 64374 WITH SCORE 64523.49
AT ITER 891 NEW BEST:: SOT 242151 SOS 149331 HAS SOPS 146334 HAS SOUS 65417 HAS SOUPS 64341 WITH SCORE 64490.331
AT ITER 898 NEW BEST:: SOT 242151 SOS 149283 HAS SOPS 146286 HAS SOUS 65340 HAS SOUPS 64264 WITH SCORE 64413.283
AT ITER 904 NEW BEST:: SOT 242151 SOS 149283 HAS SOPS 146286 HAS SOUS 65188 HAS SOUPS 64112 WITH SCORE 64261.283
AT ITER 920 NEW BEST:: SOT 242151 SOS 149229 HAS SOPS 146232 HAS SOUS 65170 HAS SOUPS 64094 WITH SCORE 64243.229
AT ITER 921 NEW BEST:: SOT 242151 SOS 149219 HAS SOPS 146222 HAS SOUS 65165 HAS SOUPS 64089 WITH SCORE 64238.219
AT ITER 924 NEW BEST:: SOT 242151 SOS 149195 HAS SOPS 146198 HAS SOUS 65153 HAS SOUPS 64077 WITH SCORE 64226.195
AT ITER 925 NEW BEST:: SOT 242151 SOS 149194 HAS SOPS 146197 HAS SOUS 65153 HAS SOUPS 64077 WITH SCORE 64226.194
AT ITER 926 NEW BEST:: SOT 242151 SOS 149090 HAS SOPS 146093 HAS SOUS 65143 HAS SOUPS 64067 WITH SCORE 64216.09
AT ITER 930 NEW BEST:: SOT 242151 SOS 149072 HAS SOPS 146075 HAS SOUS 65124 HAS SOUPS 64048 WITH SCORE 64197.072
AT ITER 944 NEW BEST:: SOT 242006 SOS 150682 HAS SOPS 147007 HAS SOUS 65079 HAS SOUPS 63938 WITH SCORE 64088.682
AT ITER 950 NEW BEST:: SOT 241958 SOS 150634 HAS SOPS 147047 HAS SOUS 65041 HAS SOUPS 63914 WITH SCORE 64064.634
AT ITER 959 NEW BEST:: SOT 241958 SOS 150364 HAS SOPS 146777 HAS SOUS 64832 HAS SOUPS 63705 WITH SCORE 63855.364
AT ITER 962 NEW BEST:: SOT 241958 SOS 147243 HAS SOPS 143656 HAS SOUS 64758 HAS SOUPS 63631 WITH SCORE 63778.243
AT ITER 971 NEW BEST:: SOT 241867 SOS 147085 HAS SOPS 143407 HAS SOUS 64561 HAS SOUPS 63434 WITH SCORE 63581.085
AT ITER 977 NEW BEST:: SOT 241867 SOS 147010 HAS SOPS 143332 HAS SOUS 64471 HAS SOUPS 63344 WITH SCORE 63491.01
AT ITER 978 NEW BEST:: SOT 241867 SOS 142152 HAS SOPS 138474 HAS SOUS 63639 HAS SOUPS 62512 WITH SCORE 62654.152
AT ITER 979 NEW BEST:: SOT 241871 SOS 141808 HAS SOPS 138130 HAS SOUS 63505 HAS SOUPS 62378 WITH SCORE 62519.808
AT ITER 986 NEW BEST:: SOT 241871 SOS 141804 HAS SOPS 138126 HAS SOUS 63505 HAS SOUPS 62378 WITH SCORE 62519.804
AT ITER 987 NEW BEST:: SOT 241871 SOS 141630 HAS SOPS 138114 HAS SOUS 63400 HAS SOUPS 62360 WITH SCORE 62501.63
AT ITER 990 NEW BEST:: SOT 241870 SOS 141583 HAS SOPS 138067 HAS SOUS 63376 HAS SOUPS 62336 WITH SCORE 62477.583
AT ITER 991 NEW BEST:: SOT 241870 SOS 141285 HAS SOPS 137769 HAS SOUS 63205 HAS SOUPS 62165 WITH SCORE 62306.285
AT ITER 994 NEW BEST:: SOT 241870 SOS 141189 HAS SOPS 137467 HAS SOUS 63166 HAS SOUPS 62023 WITH SCORE 62164.189
AT ITER 1002 NEW BEST:: SOT 241870 SOS 141165 HAS SOPS 137443 HAS SOUS 63150 HAS SOUPS 62007 WITH SCORE 62148.165
AT ITER 1003 NEW BEST:: SOT 241870 SOS 141170 HAS SOPS 137448 HAS SOUS 63145 HAS SOUPS 62002 WITH SCORE 62143.17
AT ITER 1005 NEW BEST:: SOT 241870 SOS 141154 HAS SOPS 137418 HAS SOUS 63139 HAS SOUPS 61989 WITH SCORE 62130.154
AT ITER 1006 NEW BEST:: SOT 241858 SOS 141118 HAS SOPS 137382 HAS SOUS 63127 HAS SOUPS 61977 WITH SCORE 62118.118
AT ITER 1014 NEW BEST:: SOT 241858 SOS 141106 HAS SOPS 137370 HAS SOUS 63127 HAS SOUPS 61977 WITH SCORE 62118.106
AT ITER 1016 NEW BEST:: SOT 241716 SOS 140604 HAS SOPS 137026 HAS SOUS 63091 HAS SOUPS 61941 WITH SCORE 62081.604
AT ITER 1021 NEW BEST:: SOT 241716 SOS 138270 HAS SOPS 134692 HAS SOUS 63051 HAS SOUPS 61901 WITH SCORE 62039.27
AT ITER 1024 NEW BEST:: SOT 241843 SOS 137358 HAS SOPS 133767 HAS SOUS 62770 HAS SOUPS 61610 WITH SCORE 61747.358
AT ITER 1026 NEW BEST:: SOT 241843 SOS 137270 HAS SOPS 133679 HAS SOUS 62762 HAS SOUPS 61602 WITH SCORE 61739.27
AT ITER 1028 NEW BEST:: SOT 241843 SOS 137160 HAS SOPS 133569 HAS SOUS 62724 HAS SOUPS 61564 WITH SCORE 61701.16
AT ITER 1035 NEW BEST:: SOT 241843 SOS 137130 HAS SOPS 133539 HAS SOUS 62709 HAS SOUPS 61549 WITH SCORE 61686.13
AT ITER 1038 NEW BEST:: SOT 241838 SOS 136894 HAS SOPS 133209 HAS SOUS 62642 HAS SOUPS 61435 WITH SCORE 61571.894
AT ITER 1040 NEW BEST:: SOT 241838 SOS 136866 HAS SOPS 133181 HAS SOUS 62635 HAS SOUPS 61428 WITH SCORE 61564.866
AT ITER 1042 NEW BEST:: SOT 241838 SOS 136794 HAS SOPS 133109 HAS SOUS 62605 HAS SOUPS 61398 WITH SCORE 61534.794
AT ITER 1043 NEW BEST:: SOT 241838 SOS 136770 HAS SOPS 133085 HAS SOUS 62576 HAS SOUPS 61369 WITH SCORE 61505.77
AT ITER 1044 NEW BEST:: SOT 241838 SOS 136618 HAS SOPS 133009 HAS SOUS 62538 HAS SOUPS 61331 WITH SCORE 61467.618
AT ITER 1048 NEW BEST:: SOT 241838 SOS 136594 HAS SOPS 132985 HAS SOUS 62532 HAS SOUPS 61325 WITH SCORE 61461.594
AT ITER 1065 NEW BEST:: SOT 241838 SOS 136594 HAS SOPS 132985 HAS SOUS 62522 HAS SOUPS 61315 WITH SCORE 61451.594
AT ITER 1066 NEW BEST:: SOT 241838 SOS 136542 HAS SOPS 132933 HAS SOUS 62516 HAS SOUPS 61309 WITH SCORE 61445.542
AT ITER 1067 NEW BEST:: SOT 241838 SOS 136271 HAS SOPS 132662 HAS SOUS 62489 HAS SOUPS 61282 WITH SCORE 61418.271
AT ITER 1072 NEW BEST:: SOT 241838 SOS 136169 HAS SOPS 132560 HAS SOUS 62488 HAS SOUPS 61281 WITH SCORE 61417.169
AT ITER 1073 NEW BEST:: SOT 241838 SOS 135959 HAS SOPS 132420 HAS SOUS 62383 HAS SOUPS 61211 WITH SCORE 61346.959
AT ITER 1080 NEW BEST:: SOT 241842 SOS 136267 HAS SOPS 132362 HAS SOUS 62467 HAS SOUPS 61112 WITH SCORE 61248.267
AT ITER 1086 NEW BEST:: SOT 241842 SOS 136257 HAS SOPS 132284 HAS SOUS 62501 HAS SOUPS 61112 WITH SCORE 61248.257
AT ITER 1088 NEW BEST:: SOT 241842 SOS 136129 HAS SOPS 132156 HAS SOUS 62462 HAS SOUPS 61073 WITH SCORE 61209.129
AT ITER 1093 NEW BEST:: SOT 241844 SOS 136155 HAS SOPS 132182 HAS SOUS 62400 HAS SOUPS 61011 WITH SCORE 61147.155
AT ITER 1105 NEW BEST:: SOT 241844 SOS 136155 HAS SOPS 132182 HAS SOUS 62372 HAS SOUPS 60983 WITH SCORE 61119.155
AT ITER 1106 NEW BEST:: SOT 241844 SOS 136135 HAS SOPS 132162 HAS SOUS 62362 HAS SOUPS 60973 WITH SCORE 61109.135
AT ITER 1111 NEW BEST:: SOT 241844 SOS 135925 HAS SOPS 131794 HAS SOUS 62436 HAS SOUPS 60968 WITH SCORE 61103.925
AT ITER 1119 NEW BEST:: SOT 241844 SOS 136825 HAS SOPS 132694 HAS SOUS 62366 HAS SOUPS 60898 WITH SCORE 61034.825
AT ITER 1121 NEW BEST:: SOT 241844 SOS 136825 HAS SOPS 132694 HAS SOUS 62330 HAS SOUPS 60862 WITH SCORE 60998.825
AT ITER 1122 NEW BEST:: SOT 241844 SOS 136759 HAS SOPS 132628 HAS SOUS 62329 HAS SOUPS 60861 WITH SCORE 60997.759
AT ITER 1129 NEW BEST:: SOT 241844 SOS 136427 HAS SOPS 132296 HAS SOUS 62239 HAS SOUPS 60771 WITH SCORE 60907.427
AT ITER 1130 NEW BEST:: SOT 241844 SOS 136456 HAS SOPS 132325 HAS SOUS 62188 HAS SOUPS 60720 WITH SCORE 60856.456
AT ITER 1136 NEW BEST:: SOT 241844 SOS 136414 HAS SOPS 132283 HAS SOUS 62153 HAS SOUPS 60685 WITH SCORE 60821.414
AT ITER 1153 NEW BEST:: SOT 241844 SOS 135060 HAS SOPS 130929 HAS SOUS 62050 HAS SOUPS 60582 WITH SCORE 60717.06
AT ITER 1163 NEW BEST:: SOT 241844 SOS 134074 HAS SOPS 129943 HAS SOUS 62046 HAS SOUPS 60578 WITH SCORE 60712.074
AT ITER 1164 NEW BEST:: SOT 241844 SOS 134002 HAS SOPS 129871 HAS SOUS 62013 HAS SOUPS 60545 WITH SCORE 60679.002
AT ITER 1170 NEW BEST:: SOT 241844 SOS 134002 HAS SOPS 129871 HAS SOUS 62008 HAS SOUPS 60540 WITH SCORE 60674.002
AT ITER 1175 NEW BEST:: SOT 241844 SOS 134002 HAS SOPS 129871 HAS SOUS 61954 HAS SOUPS 60486 WITH SCORE 60620.002
AT ITER 1177 NEW BEST:: SOT 241814 SOS 133894 HAS SOPS 129763 HAS SOUS 61885 HAS SOUPS 60417 WITH SCORE 60550.894
AT ITER 1181 NEW BEST:: SOT 241814 SOS 133380 HAS SOPS 129249 HAS SOUS 61883 HAS SOUPS 60415 WITH SCORE 60548.38
AT ITER 1185 NEW BEST:: SOT 241814 SOS 133348 HAS SOPS 129217 HAS SOUS 61875 HAS SOUPS 60407 WITH SCORE 60540.348
AT ITER 1187 NEW BEST:: SOT 241814 SOS 133324 HAS SOPS 129193 HAS SOUS 61875 HAS SOUPS 60407 WITH SCORE 60540.324
AT ITER 1204 NEW BEST:: SOT 241814 SOS 133240 HAS SOPS 129109 HAS SOUS 61857 HAS SOUPS 60389 WITH SCORE 60522.24
AT ITER 1208 NEW BEST:: SOT 241814 SOS 133260 HAS SOPS 129129 HAS SOUS 61776 HAS SOUPS 60308 WITH SCORE 60441.26
AT ITER 1213 NEW BEST:: SOT 241814 SOS 132688 HAS SOPS 128557 HAS SOUS 61633 HAS SOUPS 60165 WITH SCORE 60297.688
AT ITER 1216 NEW BEST:: SOT 241814 SOS 132688 HAS SOPS 128557 HAS SOUS 61586 HAS SOUPS 60118 WITH SCORE 60250.688
AT ITER 1218 NEW BEST:: SOT 241814 SOS 132644 HAS SOPS 128513 HAS SOUS 61564 HAS SOUPS 60096 WITH SCORE 60228.644
AT ITER 1219 NEW BEST:: SOT 241676 SOS 132506 HAS SOPS 128375 HAS SOUS 61544 HAS SOUPS 60076 WITH SCORE 60208.506
AT ITER 1226 NEW BEST:: SOT 241680 SOS 132284 HAS SOPS 128147 HAS SOUS 61490 HAS SOUPS 60022 WITH SCORE 60154.284
AT ITER 1227 NEW BEST:: SOT 241680 SOS 132166 HAS SOPS 128147 HAS SOUS 61431 HAS SOUPS 60022 WITH SCORE 60154.166
AT ITER 1236 NEW BEST:: SOT 241680 SOS 132124 HAS SOPS 128105 HAS SOUS 61409 HAS SOUPS 60000 WITH SCORE 60132.124
AT ITER 1237 NEW BEST:: SOT 241680 SOS 131988 HAS SOPS 127969 HAS SOUS 61395 HAS SOUPS 59986 WITH SCORE 60117.988
AT ITER 1239 NEW BEST:: SOT 241680 SOS 131758 HAS SOPS 127587 HAS SOUS 61280 HAS SOUPS 59795 WITH SCORE 59926.758
AT ITER 1241 NEW BEST:: SOT 241680 SOS 130922 HAS SOPS 126751 HAS SOUS 61156 HAS SOUPS 59671 WITH SCORE 59801.922
AT ITER 1249 NEW BEST:: SOT 241680 SOS 130898 HAS SOPS 126727 HAS SOUS 61144 HAS SOUPS 59659 WITH SCORE 59789.898
AT ITER 1251 NEW BEST:: SOT 241680 SOS 130784 HAS SOPS 126613 HAS SOUS 61087 HAS SOUPS 59602 WITH SCORE 59732.784
AT ITER 1258 NEW BEST:: SOT 241680 SOS 130762 HAS SOPS 126591 HAS SOUS 61087 HAS SOUPS 59602 WITH SCORE 59732.762
AT ITER 1259 NEW BEST:: SOT 241680 SOS 130720 HAS SOPS 126549 HAS SOUS 61084 HAS SOUPS 59599 WITH SCORE 59729.72
AT ITER 1260 NEW BEST:: SOT 241680 SOS 130692 HAS SOPS 126521 HAS SOUS 61077 HAS SOUPS 59592 WITH SCORE 59722.692
AT ITER 1267 NEW BEST:: SOT 241804 SOS 130519 HAS SOPS 126341 HAS SOUS 60757 HAS SOUPS 59278 WITH SCORE 59408.519
AT ITER 1275 NEW BEST:: SOT 241804 SOS 130519 HAS SOPS 126341 HAS SOUS 60755 HAS SOUPS 59276 WITH SCORE 59406.519
AT ITER 1276 NEW BEST:: SOT 241804 SOS 130341 HAS SOPS 126163 HAS SOUS 60755 HAS SOUPS 59276 WITH SCORE 59406.341
AT ITER 1283 NEW BEST:: SOT 241804 SOS 130063 HAS SOPS 125885 HAS SOUS 60696 HAS SOUPS 59217 WITH SCORE 59347.063
AT ITER 1286 NEW BEST:: SOT 241804 SOS 129979 HAS SOPS 125801 HAS SOUS 60668 HAS SOUPS 59189 WITH SCORE 59318.979
AT ITER 1287 NEW BEST:: SOT 241804 SOS 129961 HAS SOPS 125783 HAS SOUS 60659 HAS SOUPS 59180 WITH SCORE 59309.961
AT ITER 1288 NEW BEST:: SOT 241698 SOS 129855 HAS SOPS 125677 HAS SOUS 60643 HAS SOUPS 59164 WITH SCORE 59293.855
AT ITER 1290 NEW BEST:: SOT 241758 SOS 130118 HAS SOPS 125661 HAS SOUS 60697 HAS SOUPS 59070 WITH SCORE 59200.118
AT ITER 1292 NEW BEST:: SOT 241758 SOS 129924 HAS SOPS 125327 HAS SOUS 60696 HAS SOUPS 58999 WITH SCORE 59128.924
AT ITER 1294 NEW BEST:: SOT 241758 SOS 129826 HAS SOPS 125229 HAS SOUS 60696 HAS SOUPS 58999 WITH SCORE 59128.826
AT ITER 1299 NEW BEST:: SOT 241742 SOS 129754 HAS SOPS 125187 HAS SOUS 60641 HAS SOUPS 58944 WITH SCORE 59073.754
AT ITER 1306 NEW BEST:: SOT 241742 SOS 129646 HAS SOPS 125079 HAS SOUS 60616 HAS SOUPS 58919 WITH SCORE 59048.646
AT ITER 1316 NEW BEST:: SOT 241742 SOS 129608 HAS SOPS 125041 HAS SOUS 60611 HAS SOUPS 58914 WITH SCORE 59043.608
AT ITER 1317 NEW BEST:: SOT 241742 SOS 129532 HAS SOPS 124965 HAS SOUS 60592 HAS SOUPS 58895 WITH SCORE 59024.532
AT ITER 1323 NEW BEST:: SOT 241742 SOS 129438 HAS SOPS 125007 HAS SOUS 60477 HAS SOUPS 58848 WITH SCORE 58977.438
AT ITER 1326 NEW BEST:: SOT 241742 SOS 129407 HAS SOPS 124976 HAS SOUS 60446 HAS SOUPS 58817 WITH SCORE 58946.407
AT ITER 1328 NEW BEST:: SOT 241742 SOS 129323 HAS SOPS 124892 HAS SOUS 60383 HAS SOUPS 58754 WITH SCORE 58883.323
AT ITER 1329 NEW BEST:: SOT 241742 SOS 129403 HAS SOPS 124972 HAS SOUS 60321 HAS SOUPS 58692 WITH SCORE 58821.403
AT ITER 1330 NEW BEST:: SOT 241724 SOS 129175 HAS SOPS 124766 HAS SOUS 60290 HAS SOUPS 58661 WITH SCORE 58790.175
AT ITER 1335 NEW BEST:: SOT 241724 SOS 129175 HAS SOPS 124766 HAS SOUS 60256 HAS SOUPS 58627 WITH SCORE 58756.175
AT ITER 1336 NEW BEST:: SOT 241724 SOS 129155 HAS SOPS 124746 HAS SOUS 60250 HAS SOUPS 58621 WITH SCORE 58750.155
AT ITER 1338 NEW BEST:: SOT 241724 SOS 129095 HAS SOPS 124686 HAS SOUS 60235 HAS SOUPS 58606 WITH SCORE 58735.095
AT ITER 1340 NEW BEST:: SOT 241724 SOS 129003 HAS SOPS 124640 HAS SOUS 60189 HAS SOUPS 58583 WITH SCORE 58712.003
AT ITER 1344 NEW BEST:: SOT 241724 SOS 128967 HAS SOPS 124604 HAS SOUS 60189 HAS SOUPS 58583 WITH SCORE 58711.967
AT ITER 1349 NEW BEST:: SOT 241708 SOS 128951 HAS SOPS 124590 HAS SOUS 60175 HAS SOUPS 58569 WITH SCORE 58697.951
AT ITER 1357 NEW BEST:: SOT 241708 SOS 128931 HAS SOPS 124550 HAS SOUS 60185 HAS SOUPS 58569 WITH SCORE 58697.931
AT ITER 1359 NEW BEST:: SOT 241682 SOS 128853 HAS SOPS 124472 HAS SOUS 60157 HAS SOUPS 58541 WITH SCORE 58669.853
AT ITER 1365 NEW BEST:: SOT 241696 SOS 128867 HAS SOPS 124450 HAS SOUS 60135 HAS SOUPS 58519 WITH SCORE 58647.867
AT ITER 1367 NEW BEST:: SOT 241696 SOS 128743 HAS SOPS 124326 HAS SOUS 60072 HAS SOUPS 58456 WITH SCORE 58584.743
AT ITER 1368 NEW BEST:: SOT 241696 SOS 128729 HAS SOPS 124312 HAS SOUS 60065 HAS SOUPS 58449 WITH SCORE 58577.729
AT ITER 1376 NEW BEST:: SOT 241696 SOS 128729 HAS SOPS 124308 HAS SOUS 60065 HAS SOUPS 58447 WITH SCORE 58575.729
AT ITER 1377 NEW BEST:: SOT 241696 SOS 128625 HAS SOPS 124204 HAS SOUS 60051 HAS SOUPS 58433 WITH SCORE 58561.625
AT ITER 1379 NEW BEST:: SOT 241696 SOS 128623 HAS SOPS 124202 HAS SOUS 60049 HAS SOUPS 58431 WITH SCORE 58559.623
AT ITER 1384 NEW BEST:: SOT 241696 SOS 128529 HAS SOPS 124108 HAS SOUS 59977 HAS SOUPS 58359 WITH SCORE 58487.529
AT ITER 1396 NEW BEST:: SOT 241696 SOS 128481 HAS SOPS 124060 HAS SOUS 59953 HAS SOUPS 58335 WITH SCORE 58463.481
AT ITER 1400 NEW BEST:: SOT 241690 SOS 128445 HAS SOPS 124024 HAS SOUS 59935 HAS SOUPS 58317 WITH SCORE 58445.445
AT ITER 1426 NEW BEST:: SOT 241690 SOS 128511 HAS SOPS 124090 HAS SOUS 59924 HAS SOUPS 58306 WITH SCORE 58434.511
AT ITER 1434 NEW BEST:: SOT 241690 SOS 128487 HAS SOPS 124066 HAS SOUS 59918 HAS SOUPS 58300 WITH SCORE 58428.487
AT ITER 1439 NEW BEST:: SOT 241690 SOS 128329 HAS SOPS 123908 HAS SOUS 59887 HAS SOUPS 58269 WITH SCORE 58397.329
AT ITER 1446 NEW BEST:: SOT 232910 SOS 120138 HAS SOPS 115173 HAS SOUS 59717 HAS SOUPS 58067 WITH SCORE 58187.138
AT ITER 1452 NEW BEST:: SOT 232910 SOS 119930 HAS SOPS 114965 HAS SOUS 59403 HAS SOUPS 57753 WITH SCORE 57872.93
AT ITER 1464 NEW BEST:: SOT 232910 SOS 119950 HAS SOPS 114975 HAS SOUS 59393 HAS SOUPS 57743 WITH SCORE 57862.95
AT ITER 1467 NEW BEST:: SOT 232818 SOS 119858 HAS SOPS 114883 HAS SOUS 59255 HAS SOUPS 57605 WITH SCORE 57724.858
AT ITER 1468 NEW BEST:: SOT 232818 SOS 119761 HAS SOPS 114786 HAS SOUS 59219 HAS SOUPS 57569 WITH SCORE 57688.761
AT ITER 1477 NEW BEST:: SOT 232812 SOS 119755 HAS SOPS 114780 HAS SOUS 59213 HAS SOUPS 57563 WITH SCORE 57682.755
AT ITER 1478 NEW BEST:: SOT 232798 SOS 119641 HAS SOPS 114702 HAS SOUS 59213 HAS SOUPS 57563 WITH SCORE 57682.641
AT ITER 1488 NEW BEST:: SOT 232798 SOS 119621 HAS SOPS 114682 HAS SOUS 59172 HAS SOUPS 57522 WITH SCORE 57641.621
AT ITER 1505 NEW BEST:: SOT 232456 SOS 119279 HAS SOPS 114340 HAS SOUS 58830 HAS SOUPS 57180 WITH SCORE 57299.279
AT ITER 1507 NEW BEST:: SOT 232456 SOS 119225 HAS SOPS 114286 HAS SOUS 58803 HAS SOUPS 57153 WITH SCORE 57272.225
AT ITER 1511 NEW BEST:: SOT 232456 SOS 119211 HAS SOPS 114272 HAS SOUS 58796 HAS SOUPS 57146 WITH SCORE 57265.211
AT ITER 1513 NEW BEST:: SOT 232456 SOS 119361 HAS SOPS 114326 HAS SOUS 58823 HAS SOUPS 57125 WITH SCORE 57244.361
AT ITER 1519 NEW BEST:: SOT 232456 SOS 119361 HAS SOPS 114332 HAS SOUS 58814 HAS SOUPS 57119 WITH SCORE 57238.361
AT ITER 1521 NEW BEST:: SOT 215150 SOS 107508 HAS SOPS 97775 HAS SOUS 58096 HAS SOUPS 56343 WITH SCORE 56450.508
AT ITER 1523 NEW BEST:: SOT 231170 SOS 118253 HAS SOPS 113223 HAS SOUS 57830 HAS SOUPS 56134 WITH SCORE 56252.253
AT ITER 1524 NEW BEST:: SOT 231170 SOS 118249 HAS SOPS 113219 HAS SOUS 57822 HAS SOUPS 56126 WITH SCORE 56244.249
AT ITER 1528 NEW BEST:: SOT 231170 SOS 118287 HAS SOPS 113339 HAS SOUS 57778 HAS SOUPS 56123 WITH SCORE 56241.287
AT ITER 1532 NEW BEST:: SOT 231170 SOS 118289 HAS SOPS 113341 HAS SOUS 57776 HAS SOUPS 56121 WITH SCORE 56239.289
AT ITER 1534 NEW BEST:: SOT 231147 SOS 118117 HAS SOPS 113146 HAS SOUS 57644 HAS SOUPS 55989 WITH SCORE 56107.117
AT ITER 1536 NEW BEST:: SOT 231129 SOS 118043 HAS SOPS 113008 HAS SOUS 57512 HAS SOUPS 55857 WITH SCORE 55975.043
AT ITER 1542 NEW BEST:: SOT 231129 SOS 117881 HAS SOPS 112846 HAS SOUS 57458 HAS SOUPS 55803 WITH SCORE 55920.881
AT ITER 1545 NEW BEST:: SOT 231129 SOS 117876 HAS SOPS 112841 HAS SOUS 57453 HAS SOUPS 55798 WITH SCORE 55915.876
AT ITER 1547 NEW BEST:: SOT 231129 SOS 117694 HAS SOPS 112659 HAS SOUS 57434 HAS SOUPS 55779 WITH SCORE 55896.694
AT ITER 1555 NEW BEST:: SOT 231129 SOS 117794 HAS SOPS 112759 HAS SOUS 57400 HAS SOUPS 55745 WITH SCORE 55862.794
AT ITER 1558 NEW BEST:: SOT 231129 SOS 117928 HAS SOPS 112783 HAS SOUS 57450 HAS SOUPS 55740 WITH SCORE 55857.928
AT ITER 1559 NEW BEST:: SOT 231073 SOS 117722 HAS SOPS 112596 HAS SOUS 57313 HAS SOUPS 55603 WITH SCORE 55720.722
AT ITER 1560 NEW BEST:: SOT 231073 SOS 117722 HAS SOPS 112596 HAS SOUS 57303 HAS SOUPS 55593 WITH SCORE 55710.722
AT ITER 1563 NEW BEST:: SOT 231073 SOS 117670 HAS SOPS 112544 HAS SOUS 57277 HAS SOUPS 55567 WITH SCORE 55684.67
AT ITER 1573 NEW BEST:: SOT 231073 SOS 117560 HAS SOPS 112434 HAS SOUS 57271 HAS SOUPS 55561 WITH SCORE 55678.56
AT ITER 1578 NEW BEST:: SOT 231073 SOS 117550 HAS SOPS 112424 HAS SOUS 57266 HAS SOUPS 55556 WITH SCORE 55673.55
AT ITER 1583 NEW BEST:: SOT 231073 SOS 117502 HAS SOPS 112376 HAS SOUS 57242 HAS SOUPS 55532 WITH SCORE 55649.502
AT ITER 1598 NEW BEST:: SOT 231073 SOS 117672 HAS SOPS 112264 HAS SOUS 57327 HAS SOUPS 55476 WITH SCORE 55593.672
AT ITER 1625 NEW BEST:: SOT 231073 SOS 117752 HAS SOPS 112144 HAS SOUS 57367 HAS SOUPS 55416 WITH SCORE 55533.752
AT ITER 1637 NEW BEST:: SOT 231073 SOS 117664 HAS SOPS 112056 HAS SOUS 57345 HAS SOUPS 55394 WITH SCORE 55511.664
AT ITER 1641 NEW BEST:: SOT 231073 SOS 117536 HAS SOPS 111984 HAS SOUS 57295 HAS SOUPS 55372 WITH SCORE 55489.536
AT ITER 1643 NEW BEST:: SOT 231073 SOS 117458 HAS SOPS 111906 HAS SOUS 57334 HAS SOUPS 55372 WITH SCORE 55489.458
AT ITER 1653 NEW BEST:: SOT 231073 SOS 117458 HAS SOPS 111906 HAS SOUS 57292 HAS SOUPS 55330 WITH SCORE 55447.458
AT ITER 1655 NEW BEST:: SOT 231073 SOS 117408 HAS SOPS 112078 HAS SOUS 57152 HAS SOUPS 55301 WITH SCORE 55418.408
AT ITER 1664 NEW BEST:: SOT 231073 SOS 117408 HAS SOPS 112078 HAS SOUS 57101 HAS SOUPS 55250 WITH SCORE 55367.408
AT ITER 1677 NEW BEST:: SOT 231073 SOS 117352 HAS SOPS 112102 HAS SOUS 57007 HAS SOUPS 55196 WITH SCORE 55313.352
AT ITER 1678 NEW BEST:: SOT 231054 SOS 117258 HAS SOPS 112008 HAS SOUS 56999 HAS SOUPS 55188 WITH SCORE 55305.258
AT ITER 1679 NEW BEST:: SOT 230990 SOS 117194 HAS SOPS 111944 HAS SOUS 56898 HAS SOUPS 55087 WITH SCORE 55204.194
AT ITER 1690 NEW BEST:: SOT 230990 SOS 117126 HAS SOPS 111876 HAS SOUS 56881 HAS SOUPS 55070 WITH SCORE 55187.126
AT ITER 1702 NEW BEST:: SOT 230978 SOS 117106 HAS SOPS 111824 HAS SOUS 56851 HAS SOUPS 55038 WITH SCORE 55155.106
AT ITER 1722 NEW BEST:: SOT 230978 SOS 117088 HAS SOPS 111806 HAS SOUS 56851 HAS SOUPS 55038 WITH SCORE 55155.088
AT ITER 1743 NEW BEST:: SOT 230954 SOS 117064 HAS SOPS 111782 HAS SOUS 56815 HAS SOUPS 55002 WITH SCORE 55119.064
AT ITER 1756 NEW BEST:: SOT 230958 SOS 116532 HAS SOPS 111240 HAS SOUS 56691 HAS SOUPS 54878 WITH SCORE 54994.532
AT ITER 1762 NEW BEST:: SOT 230958 SOS 116552 HAS SOPS 111250 HAS SOUS 56681 HAS SOUPS 54868 WITH SCORE 54984.552
AT ITER 1765 NEW BEST:: SOT 230958 SOS 116012 HAS SOPS 110710 HAS SOUS 56681 HAS SOUPS 54868 WITH SCORE 54984.012
AT ITER 1766 NEW BEST:: SOT 230958 SOS 115946 HAS SOPS 110838 HAS SOUS 56526 HAS SOUPS 54810 WITH SCORE 54925.946
AT ITER 1773 NEW BEST:: SOT 230958 SOS 115922 HAS SOPS 110814 HAS SOUS 56526 HAS SOUPS 54810 WITH SCORE 54925.922
AT ITER 1785 NEW BEST:: SOT 230948 SOS 115968 HAS SOPS 110884 HAS SOUS 56460 HAS SOUPS 54744 WITH SCORE 54859.968
AT ITER 1786 NEW BEST:: SOT 230875 SOS 115895 HAS SOPS 110783 HAS SOUS 56409 HAS SOUPS 54681 WITH SCORE 54796.895
AT ITER 1793 NEW BEST:: SOT 230875 SOS 115743 HAS SOPS 110701 HAS SOUS 56281 HAS SOUPS 54588 WITH SCORE 54703.743
AT ITER 1802 NEW BEST:: SOT 230863 SOS 115297 HAS SOPS 110519 HAS SOUS 56116 HAS SOUPS 54566 WITH SCORE 54681.297
AT ITER 1809 NEW BEST:: SOT 230863 SOS 115464 HAS SOPS 110686 HAS SOUS 56102 HAS SOUPS 54552 WITH SCORE 54667.464
AT ITER 1811 NEW BEST:: SOT 230862 SOS 115492 HAS SOPS 110713 HAS SOUS 56084 HAS SOUPS 54534 WITH SCORE 54649.492
AT ITER 1815 NEW BEST:: SOT 230862 SOS 115460 HAS SOPS 110697 HAS SOUS 56084 HAS SOUPS 54534 WITH SCORE 54649.46
AT ITER 1821 NEW BEST:: SOT 230862 SOS 114880 HAS SOPS 110117 HAS SOUS 55949 HAS SOUPS 54399 WITH SCORE 54513.88
AT ITER 1831 NEW BEST:: SOT 230862 SOS 114742 HAS SOPS 109979 HAS SOUS 55949 HAS SOUPS 54399 WITH SCORE 54513.742
AT ITER 1840 NEW BEST:: SOT 230862 SOS 114708 HAS SOPS 109945 HAS SOUS 55932 HAS SOUPS 54382 WITH SCORE 54496.708
AT ITER 1841 NEW BEST:: SOT 230848 SOS 114703 HAS SOPS 109941 HAS SOUS 55924 HAS SOUPS 54374 WITH SCORE 54488.703
AT ITER 1848 NEW BEST:: SOT 230818 SOS 114599 HAS SOPS 109881 HAS SOUS 55901 HAS SOUPS 54351 WITH SCORE 54465.599
AT ITER 1854 NEW BEST:: SOT 226483 SOS 110577 HAS SOPS 105593 HAS SOUS 51611 HAS SOUPS 50048 WITH SCORE 50158.577
AT ITER 1859 NEW BEST:: SOT 226437 SOS 110485 HAS SOPS 105501 HAS SOUS 51565 HAS SOUPS 50002 WITH SCORE 50112.485
AT ITER 1876 NEW BEST:: SOT 226437 SOS 110431 HAS SOPS 105497 HAS SOUS 51538 HAS SOUPS 50000 WITH SCORE 50110.431
AT ITER 1887 NEW BEST:: SOT 226437 SOS 110397 HAS SOPS 105463 HAS SOUS 51521 HAS SOUPS 49983 WITH SCORE 50093.397
AT ITER 1895 NEW BEST:: SOT 226437 SOS 110397 HAS SOPS 105463 HAS SOUS 51504 HAS SOUPS 49966 WITH SCORE 50076.397
AT ITER 1896 NEW BEST:: SOT 226437 SOS 110343 HAS SOPS 105409 HAS SOUS 51501 HAS SOUPS 49963 WITH SCORE 50073.343
AT ITER 1903 NEW BEST:: SOT 226433 SOS 110308 HAS SOPS 105281 HAS SOUS 51497 HAS SOUPS 49939 WITH SCORE 50049.308
AT ITER 1904 NEW BEST:: SOT 226433 SOS 110366 HAS SOPS 105339 HAS SOUS 51446 HAS SOUPS 49888 WITH SCORE 49998.366
AT ITER 1905 NEW BEST:: SOT 226433 SOS 110324 HAS SOPS 105433 HAS SOUS 51378 HAS SOUPS 49888 WITH SCORE 49998.324
AT ITER 1909 NEW BEST:: SOT 226433 SOS 110300 HAS SOPS 105409 HAS SOUS 51365 HAS SOUPS 49875 WITH SCORE 49985.3
AT ITER 1918 NEW BEST:: SOT 226433 SOS 110362 HAS SOPS 105471 HAS SOUS 51344 HAS SOUPS 49854 WITH SCORE 49964.362
AT ITER 1923 NEW BEST:: SOT 226433 SOS 110256 HAS SOPS 105365 HAS SOUS 51331 HAS SOUPS 49841 WITH SCORE 49951.256
AT ITER 1926 NEW BEST:: SOT 226433 SOS 110300 HAS SOPS 105387 HAS SOUS 51320 HAS SOUPS 49830 WITH SCORE 49940.3
AT ITER 1937 NEW BEST:: SOT 226433 SOS 110300 HAS SOPS 105387 HAS SOUS 51319 HAS SOUPS 49829 WITH SCORE 49939.3
AT ITER 1942 NEW BEST:: SOT 226433 SOS 110290 HAS SOPS 105377 HAS SOUS 51309 HAS SOUPS 49819 WITH SCORE 49929.29
AT ITER 1943 NEW BEST:: SOT 226360 SOS 110305 HAS SOPS 105412 HAS SOUS 51183 HAS SOUPS 49693 WITH SCORE 49803.305
AT ITER 1945 NEW BEST:: SOT 226360 SOS 110155 HAS SOPS 105262 HAS SOUS 51144 HAS SOUPS 49654 WITH SCORE 49764.155
AT ITER 1946 NEW BEST:: SOT 226360 SOS 109933 HAS SOPS 105040 HAS SOUS 51141 HAS SOUPS 49651 WITH SCORE 49760.933
AT ITER 1949 NEW BEST:: SOT 226360 SOS 110013 HAS SOPS 105120 HAS SOUS 51133 HAS SOUPS 49643 WITH SCORE 49753.013
AT ITER 1954 NEW BEST:: SOT 226360 SOS 110057 HAS SOPS 105164 HAS SOUS 51118 HAS SOUPS 49628 WITH SCORE 49738.057
AT ITER 1956 NEW BEST:: SOT 226360 SOS 110031 HAS SOPS 105190 HAS SOUS 51079 HAS SOUPS 49615 WITH SCORE 49725.031
AT ITER 1959 NEW BEST:: SOT 226317 SOS 109988 HAS SOPS 105174 HAS SOUS 50986 HAS SOUPS 49522 WITH SCORE 49631.988
AT ITER 1968 NEW BEST:: SOT 226317 SOS 110106 HAS SOPS 105292 HAS SOUS 50927 HAS SOUPS 49463 WITH SCORE 49573.106
AT ITER 1980 NEW BEST:: SOT 226308 SOS 110100 HAS SOPS 105261 HAS SOUS 50924 HAS SOUPS 49448 WITH SCORE 49558.1
AT ITER 1992 NEW BEST:: SOT 226320 SOS 110112 HAS SOPS 105269 HAS SOUS 50922 HAS SOUPS 49446 WITH SCORE 49556.112
AT ITER 2000 NEW BEST:: SOT 226318 SOS 110074 HAS SOPS 105265 HAS SOUS 50918 HAS SOUPS 49442 WITH SCORE 49552.074
AT ITER 2007 NEW BEST:: SOT 226314 SOS 110062 HAS SOPS 105253 HAS SOUS 50916 HAS SOUPS 49440 WITH SCORE 49550.062
AT ITER 2016 NEW BEST:: SOT 226314 SOS 109960 HAS SOPS 105151 HAS SOUS 50914 HAS SOUPS 49438 WITH SCORE 49547.96
AT ITER 2017 NEW BEST:: SOT 226381 SOS 110136 HAS SOPS 105394 HAS SOUS 50748 HAS SOUPS 49272 WITH SCORE 49382.136
AT ITER 2025 NEW BEST:: SOT 226381 SOS 109904 HAS SOPS 105162 HAS SOUS 50690 HAS SOUPS 49214 WITH SCORE 49323.904
AT ITER 2030 NEW BEST:: SOT 226381 SOS 109884 HAS SOPS 105142 HAS SOUS 50690 HAS SOUPS 49214 WITH SCORE 49323.884
AT ITER 2042 NEW BEST:: SOT 226381 SOS 109933 HAS SOPS 105299 HAS SOUS 50634 HAS SOUPS 49212 WITH SCORE 49321.933
AT ITER 2043 NEW BEST:: SOT 226381 SOS 109823 HAS SOPS 105189 HAS SOUS 50579 HAS SOUPS 49157 WITH SCORE 49266.823
AT ITER 2049 NEW BEST:: SOT 226381 SOS 109819 HAS SOPS 105185 HAS SOUS 50576 HAS SOUPS 49154 WITH SCORE 49263.819
AT ITER 2053 NEW BEST:: SOT 226381 SOS 109819 HAS SOPS 105185 HAS SOUS 50552 HAS SOUPS 49130 WITH SCORE 49239.819
AT ITER 2055 NEW BEST:: SOT 226381 SOS 111736 HAS SOPS 107102 HAS SOUS 50401 HAS SOUPS 48979 WITH SCORE 49090.736
AT ITER 2062 NEW BEST:: SOT 226381 SOS 111609 HAS SOPS 106887 HAS SOUS 50422 HAS SOUPS 48956 WITH SCORE 49067.609
AT ITER 2076 NEW BEST:: SOT 226390 SOS 111617 HAS SOPS 106927 HAS SOUS 50357 HAS SOUPS 48910 WITH SCORE 49021.617
AT ITER 2079 NEW BEST:: SOT 226390 SOS 110879 HAS SOPS 106189 HAS SOUS 50267 HAS SOUPS 48820 WITH SCORE 48930.879
AT ITER 2081 NEW BEST:: SOT 226390 SOS 110847 HAS SOPS 106099 HAS SOUS 50280 HAS SOUPS 48804 WITH SCORE 48914.847
AT ITER 2089 NEW BEST:: SOT 226390 SOS 110863 HAS SOPS 106115 HAS SOUS 50272 HAS SOUPS 48796 WITH SCORE 48906.863
AT ITER 2093 NEW BEST:: SOT 226390 SOS 111071 HAS SOPS 105857 HAS SOUS 50467 HAS SOUPS 48758 WITH SCORE 48869.071
AT ITER 2096 NEW BEST:: SOT 226390 SOS 110893 HAS SOPS 105981 HAS SOUS 50213 HAS SOUPS 48655 WITH SCORE 48765.893
AT ITER 2100 NEW BEST:: SOT 226390 SOS 110813 HAS SOPS 105901 HAS SOUS 50193 HAS SOUPS 48635 WITH SCORE 48745.813
AT ITER 2108 NEW BEST:: SOT 226390 SOS 110783 HAS SOPS 105871 HAS SOUS 50178 HAS SOUPS 48620 WITH SCORE 48730.783
AT ITER 2140 NEW BEST:: SOT 226790 SOS 111074 HAS SOPS 106034 HAS SOUS 49969 HAS SOUPS 48411 WITH SCORE 48522.074
AT ITER 2141 NEW BEST:: SOT 226790 SOS 111074 HAS SOPS 105964 HAS SOUS 49969 HAS SOUPS 48376 WITH SCORE 48487.074
AT ITER 2153 NEW BEST:: SOT 226820 SOS 111104 HAS SOPS 105986 HAS SOUS 49963 HAS SOUPS 48370 WITH SCORE 48481.104
AT ITER 2159 NEW BEST:: SOT 226820 SOS 108426 HAS SOPS 103308 HAS SOUS 49737 HAS SOUPS 48144 WITH SCORE 48252.426
AT ITER 2162 NEW BEST:: SOT 226820 SOS 108377 HAS SOPS 103259 HAS SOUS 49721 HAS SOUPS 48128 WITH SCORE 48236.377
AT ITER 2165 NEW BEST:: SOT 226820 SOS 108371 HAS SOPS 103253 HAS SOUS 49718 HAS SOUPS 48125 WITH SCORE 48233.371
AT ITER 2167 NEW BEST:: SOT 226820 SOS 108121 HAS SOPS 103003 HAS SOUS 49593 HAS SOUPS 48000 WITH SCORE 48108.121
AT ITER 2176 NEW BEST:: SOT 226820 SOS 108099 HAS SOPS 102981 HAS SOUS 49582 HAS SOUPS 47989 WITH SCORE 48097.099
AT ITER 2189 NEW BEST:: SOT 226820 SOS 107995 HAS SOPS 102877 HAS SOUS 49533 HAS SOUPS 47940 WITH SCORE 48047.995
AT ITER 2190 NEW BEST:: SOT 226814 SOS 107985 HAS SOPS 102867 HAS SOUS 49525 HAS SOUPS 47932 WITH SCORE 48039.985
AT ITER 2194 NEW BEST:: SOT 226814 SOS 107985 HAS SOPS 102867 HAS SOUS 49513 HAS SOUPS 47920 WITH SCORE 48027.985
AT ITER 2199 NEW BEST:: SOT 226814 SOS 107655 HAS SOPS 102537 HAS SOUS 49503 HAS SOUPS 47910 WITH SCORE 48017.655
AT ITER 2202 NEW BEST:: SOT 226814 SOS 107567 HAS SOPS 102449 HAS SOUS 49481 HAS SOUPS 47888 WITH SCORE 47995.567
AT ITER 2203 NEW BEST:: SOT 226814 SOS 107561 HAS SOPS 102443 HAS SOUS 49481 HAS SOUPS 47888 WITH SCORE 47995.561
AT ITER 2213 NEW BEST:: SOT 226786 SOS 107491 HAS SOPS 102373 HAS SOUS 49411 HAS SOUPS 47818 WITH SCORE 47925.491
AT ITER 2223 NEW BEST:: SOT 226765 SOS 107464 HAS SOPS 102200 HAS SOUS 49360 HAS SOUPS 47767 WITH SCORE 47874.464
AT ITER 2234 NEW BEST:: SOT 226765 SOS 107472 HAS SOPS 102044 HAS SOUS 49422 HAS SOUPS 47747 WITH SCORE 47854.472
AT ITER 2240 NEW BEST:: SOT 226701 SOS 107408 HAS SOPS 101972 HAS SOUS 49410 HAS SOUPS 47735 WITH SCORE 47842.408
AT ITER 2243 NEW BEST:: SOT 226701 SOS 107288 HAS SOPS 101912 HAS SOUS 49380 HAS SOUPS 47735 WITH SCORE 47842.288
AT ITER 2251 NEW BEST:: SOT 222439 SOS 103959 HAS SOPS 97730 HAS SOUS 47971 HAS SOUPS 46325 WITH SCORE 46428.959
AT ITER 2253 NEW BEST:: SOT 222439 SOS 104189 HAS SOPS 97960 HAS SOUS 47960 HAS SOUPS 46314 WITH SCORE 46418.189
AT ITER 2273 NEW BEST:: SOT 222439 SOS 104077 HAS SOPS 97848 HAS SOUS 47932 HAS SOUPS 46286 WITH SCORE 46390.077
AT ITER 2279 NEW BEST:: SOT 222670 SOS 103749 HAS SOPS 97421 HAS SOUS 47774 HAS SOUPS 46128 WITH SCORE 46231.749
AT ITER 2286 NEW BEST:: SOT 222654 SOS 103733 HAS SOPS 97405 HAS SOUS 47772 HAS SOUPS 46126 WITH SCORE 46229.733
AT ITER 2293 NEW BEST:: SOT 222654 SOS 103725 HAS SOPS 97393 HAS SOUS 47770 HAS SOUPS 46122 WITH SCORE 46225.725
AT ITER 2297 NEW BEST:: SOT 222654 SOS 103741 HAS SOPS 97371 HAS SOUS 47778 HAS SOUPS 46111 WITH SCORE 46214.741
AT ITER 2298 NEW BEST:: SOT 222654 SOS 103662 HAS SOPS 97292 HAS SOUS 47666 HAS SOUPS 45999 WITH SCORE 46102.662
AT ITER 2303 NEW BEST:: SOT 222618 SOS 103626 HAS SOPS 97256 HAS SOUS 47658 HAS SOUPS 45991 WITH SCORE 46094.626
AT ITER 2308 NEW BEST:: SOT 222600 SOS 103372 HAS SOPS 96716 HAS SOUS 47621 HAS SOUPS 45834 WITH SCORE 45937.372
AT ITER 2319 NEW BEST:: SOT 222600 SOS 103360 HAS SOPS 96704 HAS SOUS 47618 HAS SOUPS 45831 WITH SCORE 45934.36
AT ITER 2320 NEW BEST:: SOT 222606 SOS 103436 HAS SOPS 96768 HAS SOUS 47617 HAS SOUPS 45830 WITH SCORE 45933.436
AT ITER 2326 NEW BEST:: SOT 222606 SOS 101632 HAS SOPS 94964 HAS SOUS 47598 HAS SOUPS 45811 WITH SCORE 45912.632
AT ITER 2335 NEW BEST:: SOT 222606 SOS 101577 HAS SOPS 94907 HAS SOUS 47554 HAS SOUPS 45767 WITH SCORE 45868.577
AT ITER 2341 NEW BEST:: SOT 222606 SOS 101535 HAS SOPS 94865 HAS SOUS 47554 HAS SOUPS 45767 WITH SCORE 45868.535
AT ITER 2346 NEW BEST:: SOT 222606 SOS 101467 HAS SOPS 94797 HAS SOUS 47549 HAS SOUPS 45762 WITH SCORE 45863.467
AT ITER 2347 NEW BEST:: SOT 222434 SOS 101295 HAS SOPS 94625 HAS SOUS 47377 HAS SOUPS 45590 WITH SCORE 45691.295
AT ITER 2348 NEW BEST:: SOT 222434 SOS 101261 HAS SOPS 94591 HAS SOUS 47377 HAS SOUPS 45590 WITH SCORE 45691.261
AT ITER 2359 NEW BEST:: SOT 222434 SOS 101219 HAS SOPS 94479 HAS SOUS 47377 HAS SOUPS 45555 WITH SCORE 45656.219
AT ITER 2378 NEW BEST:: SOT 222434 SOS 101243 HAS SOPS 94479 HAS SOUS 47353 HAS SOUPS 45519 WITH SCORE 45620.243
AT ITER 2386 NEW BEST:: SOT 222434 SOS 101213 HAS SOPS 94449 HAS SOUS 47338 HAS SOUPS 45504 WITH SCORE 45605.213
AT ITER 2391 NEW BEST:: SOT 222434 SOS 101213 HAS SOPS 94449 HAS SOUS 47324 HAS SOUPS 45490 WITH SCORE 45591.213
AT ITER 2400 NEW BEST:: SOT 222422 SOS 101201 HAS SOPS 94437 HAS SOUS 47324 HAS SOUPS 45490 WITH SCORE 45591.201
AT ITER 2404 NEW BEST:: SOT 222369 SOS 100937 HAS SOPS 93772 HAS SOUS 47167 HAS SOUPS 45333 WITH SCORE 45433.937
AT ITER 2415 NEW BEST:: SOT 222369 SOS 101119 HAS SOPS 93954 HAS SOUS 47132 HAS SOUPS 45298 WITH SCORE 45399.119
AT ITER 2436 NEW BEST:: SOT 222369 SOS 101119 HAS SOPS 93892 HAS SOUS 47118 HAS SOUPS 45232 WITH SCORE 45333.119
AT ITER 2442 NEW BEST:: SOT 222369 SOS 101285 HAS SOPS 94058 HAS SOUS 47117 HAS SOUPS 45231 WITH SCORE 45332.285
AT ITER 2448 NEW BEST:: SOT 222369 SOS 101635 HAS SOPS 94408 HAS SOUS 47107 HAS SOUPS 45221 WITH SCORE 45322.635
AT ITER 2460 NEW BEST:: SOT 222369 SOS 101635 HAS SOPS 94312 HAS SOUS 47149 HAS SOUPS 45215 WITH SCORE 45316.635
AT ITER 2491 NEW BEST:: SOT 222369 SOS 101541 HAS SOPS 94218 HAS SOUS 47132 HAS SOUPS 45198 WITH SCORE 45299.541
AT ITER 2492 NEW BEST:: SOT 222369 SOS 101513 HAS SOPS 94190 HAS SOUS 47132 HAS SOUPS 45198 WITH SCORE 45299.513
AT ITER 2496 NEW BEST:: SOT 222369 SOS 101513 HAS SOPS 94190 HAS SOUS 47127 HAS SOUPS 45193 WITH SCORE 45294.513
AT ITER 2503 NEW BEST:: SOT 222369 SOS 101489 HAS SOPS 94166 HAS SOUS 47115 HAS SOUPS 45181 WITH SCORE 45282.489
AT ITER 2509 NEW BEST:: SOT 222369 SOS 101477 HAS SOPS 94154 HAS SOUS 47093 HAS SOUPS 45159 WITH SCORE 45260.477
AT ITER 2516 NEW BEST:: SOT 222369 SOS 101441 HAS SOPS 94118 HAS SOUS 47093 HAS SOUPS 45159 WITH SCORE 45260.441
AT ITER 2523 NEW BEST:: SOT 222369 SOS 101453 HAS SOPS 94130 HAS SOUS 47089 HAS SOUPS 45155 WITH SCORE 45256.453
AT ITER 2526 NEW BEST:: SOT 222365 SOS 101445 HAS SOPS 94122 HAS SOUS 47083 HAS SOUPS 45149 WITH SCORE 45250.445
AT ITER 2530 NEW BEST:: SOT 222240 SOS 101272 HAS SOPS 93749 HAS SOUS 46806 HAS SOUPS 44855 WITH SCORE 44956.272
AT ITER 2531 NEW BEST:: SOT 222240 SOS 101244 HAS SOPS 93721 HAS SOUS 46806 HAS SOUPS 44855 WITH SCORE 44956.244
AT ITER 2532 NEW BEST:: SOT 222092 SOS 101290 HAS SOPS 93767 HAS SOUS 46776 HAS SOUPS 44825 WITH SCORE 44926.29
AT ITER 2544 NEW BEST:: SOT 222092 SOS 101256 HAS SOPS 93733 HAS SOUS 46776 HAS SOUPS 44825 WITH SCORE 44926.256
AT ITER 2551 NEW BEST:: SOT 222092 SOS 101252 HAS SOPS 93725 HAS SOUS 46774 HAS SOUPS 44821 WITH SCORE 44922.252
AT ITER 2560 NEW BEST:: SOT 222092 SOS 101216 HAS SOPS 93701 HAS SOUS 46756 HAS SOUPS 44809 WITH SCORE 44910.216
AT ITER 2564 NEW BEST:: SOT 222378 SOS 101502 HAS SOPS 93793 HAS SOUS 46626 HAS SOUPS 44679 WITH SCORE 44780.502
AT ITER 2579 NEW BEST:: SOT 222378 SOS 101420 HAS SOPS 93487 HAS SOUS 46617 HAS SOUPS 44558 WITH SCORE 44659.42
AT ITER 2630 NEW BEST:: SOT 222378 SOS 101430 HAS SOPS 93557 HAS SOUS 46574 HAS SOUPS 44545 WITH SCORE 44646.43
AT ITER 2664 NEW BEST:: SOT 222378 SOS 101632 HAS SOPS 93651 HAS SOUS 46621 HAS SOUPS 44538 WITH SCORE 44639.632
AT ITER 2676 NEW BEST:: SOT 222378 SOS 101622 HAS SOPS 93641 HAS SOUS 46614 HAS SOUPS 44531 WITH SCORE 44632.622
AT ITER 2685 NEW BEST:: SOT 222476 SOS 101720 HAS SOPS 93697 HAS SOUS 46578 HAS SOUPS 44495 WITH SCORE 44596.72
AT ITER 2689 NEW BEST:: SOT 222480 SOS 101818 HAS SOPS 93799 HAS SOUS 46529 HAS SOUPS 44446 WITH SCORE 44547.818
AT ITER 2693 NEW BEST:: SOT 222480 SOS 101846 HAS SOPS 93813 HAS SOUS 46522 HAS SOUPS 44439 WITH SCORE 44540.846
AT ITER 2694 NEW BEST:: SOT 222438 SOS 101802 HAS SOPS 93769 HAS SOUS 46479 HAS SOUPS 44396 WITH SCORE 44497.802
AT ITER 2706 NEW BEST:: SOT 222438 SOS 101712 HAS SOPS 93679 HAS SOUS 46434 HAS SOUPS 44351 WITH SCORE 44452.712
AT ITER 2709 NEW BEST:: SOT 222438 SOS 101502 HAS SOPS 93469 HAS SOUS 46398 HAS SOUPS 44315 WITH SCORE 44416.502
AT ITER 2710 NEW BEST:: SOT 222438 SOS 101588 HAS SOPS 93555 HAS SOUS 46352 HAS SOUPS 44269 WITH SCORE 44370.588
AT ITER 2720 NEW BEST:: SOT 222384 SOS 101430 HAS SOPS 93343 HAS SOUS 46295 HAS SOUPS 44212 WITH SCORE 44313.43
AT ITER 2731 NEW BEST:: SOT 222384 SOS 101430 HAS SOPS 93343 HAS SOUS 46261 HAS SOUPS 44178 WITH SCORE 44279.43
AT ITER 2749 NEW BEST:: SOT 222368 SOS 101414 HAS SOPS 93363 HAS SOUS 46257 HAS SOUPS 44174 WITH SCORE 44275.414
AT ITER 2756 NEW BEST:: SOT 219689 SOS 99573 HAS SOPS 90758 HAS SOUS 43877 HAS SOUPS 41823 WITH SCORE 41922.573
AT ITER 2763 NEW BEST:: SOT 219689 SOS 99459 HAS SOPS 90644 HAS SOUS 43854 HAS SOUPS 41800 WITH SCORE 41899.459
AT ITER 2781 NEW BEST:: SOT 219689 SOS 99425 HAS SOPS 90610 HAS SOUS 43837 HAS SOUPS 41783 WITH SCORE 41882.425
AT ITER 2783 NEW BEST:: SOT 219689 SOS 99369 HAS SOPS 90608 HAS SOUS 43809 HAS SOUPS 41782 WITH SCORE 41881.369
AT ITER 2792 NEW BEST:: SOT 219689 SOS 99343 HAS SOPS 90692 HAS SOUS 43741 HAS SOUPS 41769 WITH SCORE 41868.343
AT ITER 2833 NEW BEST:: SOT 219681 SOS 99275 HAS SOPS 90646 HAS SOUS 43710 HAS SOUPS 41738 WITH SCORE 41837.275
AT ITER 2836 NEW BEST:: SOT 219681 SOS 99231 HAS SOPS 90602 HAS SOUS 43706 HAS SOUPS 41734 WITH SCORE 41833.231
AT ITER 2857 NEW BEST:: SOT 219650 SOS 99186 HAS SOPS 90526 HAS SOUS 43655 HAS SOUPS 41681 WITH SCORE 41780.186
AT ITER 2860 NEW BEST:: SOT 219650 SOS 99105 HAS SOPS 90445 HAS SOUS 43615 HAS SOUPS 41641 WITH SCORE 41740.105
AT ITER 2872 NEW BEST:: SOT 218987 SOS 98442 HAS SOPS 89782 HAS SOUS 42952 HAS SOUPS 40978 WITH SCORE 41076.442
AT ITER 2883 NEW BEST:: SOT 218987 SOS 98392 HAS SOPS 89732 HAS SOUS 42952 HAS SOUPS 40978 WITH SCORE 41076.392
AT ITER 2890 NEW BEST:: SOT 218967 SOS 98372 HAS SOPS 89712 HAS SOUS 42879 HAS SOUPS 40905 WITH SCORE 41003.372
AT ITER 2893 NEW BEST:: SOT 218967 SOS 98346 HAS SOPS 89686 HAS SOUS 42877 HAS SOUPS 40903 WITH SCORE 41001.346
AT ITER 2895 NEW BEST:: SOT 218967 SOS 98537 HAS SOPS 89877 HAS SOUS 42801 HAS SOUPS 40827 WITH SCORE 40925.537
AT ITER 2908 NEW BEST:: SOT 218967 SOS 98452 HAS SOPS 89805 HAS SOUS 42770 HAS SOUPS 40796 WITH SCORE 40894.452
AT ITER 2917 NEW BEST:: SOT 218967 SOS 98058 HAS SOPS 89411 HAS SOUS 42608 HAS SOUPS 40634 WITH SCORE 40732.058
AT ITER 2921 NEW BEST:: SOT 218967 SOS 97983 HAS SOPS 89336 HAS SOUS 42608 HAS SOUPS 40634 WITH SCORE 40731.983
AT ITER 2926 NEW BEST:: SOT 218967 SOS 98015 HAS SOPS 89368 HAS SOUS 42588 HAS SOUPS 40614 WITH SCORE 40712.015
AT ITER 2930 NEW BEST:: SOT 218967 SOS 97919 HAS SOPS 89272 HAS SOUS 42584 HAS SOUPS 40610 WITH SCORE 40707.919
AT ITER 2932 NEW BEST:: SOT 218967 SOS 97831 HAS SOPS 89184 HAS SOUS 42562 HAS SOUPS 40588 WITH SCORE 40685.831
AT ITER 2950 NEW BEST:: SOT 218967 SOS 97805 HAS SOPS 89158 HAS SOUS 42562 HAS SOUPS 40588 WITH SCORE 40685.805
AT ITER 2991 NEW BEST:: SOT 218967 SOS 97891 HAS SOPS 89244 HAS SOUS 42556 HAS SOUPS 40582 WITH SCORE 40679.891
AT ITER 2994 NEW BEST:: SOT 218967 SOS 97985 HAS SOPS 89338 HAS SOUS 42549 HAS SOUPS 40575 WITH SCORE 40672.985
AT ITER 2998 NEW BEST:: SOT 218965 SOS 97983 HAS SOPS 89319 HAS SOUS 42533 HAS SOUPS 40557 WITH SCORE 40654.983
AT ITER 3000 NEW BEST:: SOT 218965 SOS 98003 HAS SOPS 89319 HAS SOUS 42527 HAS SOUPS 40551 WITH SCORE 40649.003
AT ITER 3015 NEW BEST:: SOT 218965 SOS 97971 HAS SOPS 89287 HAS SOUS 42519 HAS SOUPS 40543 WITH SCORE 40640.971
AT ITER 3018 NEW BEST:: SOT 218965 SOS 98049 HAS SOPS 89365 HAS SOUS 42510 HAS SOUPS 40534 WITH SCORE 40632.049
AT ITER 3020 NEW BEST:: SOT 218981 SOS 98083 HAS SOPS 89415 HAS SOUS 42459 HAS SOUPS 40506 WITH SCORE 40604.083
AT ITER 3039 NEW BEST:: SOT 218981 SOS 98021 HAS SOPS 89353 HAS SOUS 42455 HAS SOUPS 40502 WITH SCORE 40600.021
AT ITER 3078 NEW BEST:: SOT 218981 SOS 98073 HAS SOPS 89405 HAS SOUS 42441 HAS SOUPS 40488 WITH SCORE 40586.073
AT ITER 3083 NEW BEST:: SOT 218981 SOS 98019 HAS SOPS 89351 HAS SOUS 42441 HAS SOUPS 40488 WITH SCORE 40586.019
AT ITER 3085 NEW BEST:: SOT 218981 SOS 98191 HAS SOPS 89523 HAS SOUS 42433 HAS SOUPS 40480 WITH SCORE 40578.191
AT ITER 3108 NEW BEST:: SOT 218981 SOS 98183 HAS SOPS 89515 HAS SOUS 42431 HAS SOUPS 40478 WITH SCORE 40576.183
AT ITER 3140 NEW BEST:: SOT 218981 SOS 98195 HAS SOPS 89527 HAS SOUS 42419 HAS SOUPS 40466 WITH SCORE 40564.195
AT ITER 3167 NEW BEST:: SOT 218981 SOS 98213 HAS SOPS 89529 HAS SOUS 42411 HAS SOUPS 40458 WITH SCORE 40556.213
AT ITER 3168 NEW BEST:: SOT 218981 SOS 98203 HAS SOPS 89519 HAS SOUS 42406 HAS SOUPS 40453 WITH SCORE 40551.203
AT ITER 3181 NEW BEST:: SOT 218981 SOS 98151 HAS SOPS 89467 HAS SOUS 42380 HAS SOUPS 40427 WITH SCORE 40525.151
AT ITER 3187 NEW BEST:: SOT 218981 SOS 98201 HAS SOPS 89467 HAS SOUS 42381 HAS SOUPS 40403 WITH SCORE 40501.201
AT ITER 3211 NEW BEST:: SOT 218981 SOS 98219 HAS SOPS 89485 HAS SOUS 42377 HAS SOUPS 40399 WITH SCORE 40497.219
AT ITER 3215 NEW BEST:: SOT 218981 SOS 98209 HAS SOPS 89465 HAS SOUS 42377 HAS SOUPS 40394 WITH SCORE 40492.209
AT ITER 3216 NEW BEST:: SOT 218981 SOS 98375 HAS SOPS 89631 HAS SOUS 42370 HAS SOUPS 40387 WITH SCORE 40485.375
AT ITER 3225 NEW BEST:: SOT 218934 SOS 98197 HAS SOPS 89369 HAS SOUS 42332 HAS SOUPS 40307 WITH SCORE 40405.197
AT ITER 3231 NEW BEST:: SOT 218934 SOS 98163 HAS SOPS 89335 HAS SOUS 42315 HAS SOUPS 40290 WITH SCORE 40388.163
AT ITER 3247 NEW BEST:: SOT 218934 SOS 98154 HAS SOPS 89326 HAS SOUS 42288 HAS SOUPS 40263 WITH SCORE 40361.154
AT ITER 3251 NEW BEST:: SOT 218934 SOS 98088 HAS SOPS 89260 HAS SOUS 42279 HAS SOUPS 40254 WITH SCORE 40352.088
AT ITER 3277 NEW BEST:: SOT 218934 SOS 98958 HAS SOPS 90232 HAS SOUS 42265 HAS SOUPS 40240 WITH SCORE 40338.958
AT ITER 3284 NEW BEST:: SOT 218934 SOS 98740 HAS SOPS 90014 HAS SOUS 42251 HAS SOUPS 40226 WITH SCORE 40324.74
AT ITER 3291 NEW BEST:: SOT 218934 SOS 98274 HAS SOPS 89548 HAS SOUS 42148 HAS SOUPS 40123 WITH SCORE 40221.274
AT ITER 3310 NEW BEST:: SOT 218934 SOS 98216 HAS SOPS 89440 HAS SOUS 42105 HAS SOUPS 40080 WITH SCORE 40178.216
AT ITER 3312 NEW BEST:: SOT 218934 SOS 98153 HAS SOPS 89377 HAS SOUS 42096 HAS SOUPS 40071 WITH SCORE 40169.153
AT ITER 3341 NEW BEST:: SOT 218934 SOS 98152 HAS SOPS 89376 HAS SOUS 42095 HAS SOUPS 40070 WITH SCORE 40168.152
AT ITER 3350 NEW BEST:: SOT 218934 SOS 98116 HAS SOPS 89340 HAS SOUS 42089 HAS SOUPS 40064 WITH SCORE 40162.116
AT ITER 3357 NEW BEST:: SOT 218934 SOS 97782 HAS SOPS 89006 HAS SOUS 42078 HAS SOUPS 40053 WITH SCORE 40150.782
AT ITER 3376 NEW BEST:: SOT 218934 SOS 97762 HAS SOPS 88986 HAS SOUS 42068 HAS SOUPS 40043 WITH SCORE 40140.762
AT ITER 3392 NEW BEST:: SOT 218934 SOS 97762 HAS SOPS 88986 HAS SOUS 42059 HAS SOUPS 40034 WITH SCORE 40131.762
AT ITER 3393 NEW BEST:: SOT 218932 SOS 97756 HAS SOPS 88980 HAS SOUS 42058 HAS SOUPS 40033 WITH SCORE 40130.756
AT ITER 3397 NEW BEST:: SOT 218932 SOS 97756 HAS SOPS 88980 HAS SOUS 42031 HAS SOUPS 40006 WITH SCORE 40103.756
AT ITER 3418 NEW BEST:: SOT 218900 SOS 97724 HAS SOPS 88948 HAS SOUS 42023 HAS SOUPS 39998 WITH SCORE 40095.724
AT ITER 3435 NEW BEST:: SOT 218868 SOS 97692 HAS SOPS 88908 HAS SOUS 41997 HAS SOUPS 39972 WITH SCORE 40069.692
AT ITER 3452 NEW BEST:: SOT 218868 SOS 97656 HAS SOPS 88872 HAS SOUS 41988 HAS SOUPS 39963 WITH SCORE 40060.656
AT ITER 3473 NEW BEST:: SOT 218868 SOS 97646 HAS SOPS 88862 HAS SOUS 41978 HAS SOUPS 39953 WITH SCORE 40050.646
AT ITER 3489 NEW BEST:: SOT 218868 SOS 97636 HAS SOPS 88860 HAS SOUS 41973 HAS SOUPS 39952 WITH SCORE 40049.636
AT ITER 3490 NEW BEST:: SOT 218849 SOS 97620 HAS SOPS 88851 HAS SOUS 41952 HAS SOUPS 39931 WITH SCORE 40028.62
AT ITER 3492 NEW BEST:: SOT 218823 SOS 97594 HAS SOPS 88799 HAS SOUS 41926 HAS SOUPS 39905 WITH SCORE 40002.594
AT ITER 3523 NEW BEST:: SOT 218771 SOS 97542 HAS SOPS 88725 HAS SOUS 41914 HAS SOUPS 39893 WITH SCORE 39990.542
AT ITER 3539 NEW BEST:: SOT 218752 SOS 97520 HAS SOPS 88684 HAS SOUS 41904 HAS SOUPS 39883 WITH SCORE 39980.52
AT ITER 3542 NEW BEST:: SOT 218752 SOS 97504 HAS SOPS 88668 HAS SOUS 41904 HAS SOUPS 39883 WITH SCORE 39980.504
AT ITER 3551 NEW BEST:: SOT 218752 SOS 97488 HAS SOPS 88652 HAS SOUS 41896 HAS SOUPS 39875 WITH SCORE 39972.488
AT ITER 3553 NEW BEST:: SOT 218793 SOS 97596 HAS SOPS 88801 HAS SOUS 41894 HAS SOUPS 39873 WITH SCORE 39970.596
AT ITER 3559 NEW BEST:: SOT 218793 SOS 97612 HAS SOPS 88817 HAS SOUS 41888 HAS SOUPS 39867 WITH SCORE 39964.612
AT ITER 3571 NEW BEST:: SOT 218793 SOS 97570 HAS SOPS 88775 HAS SOUS 41888 HAS SOUPS 39867 WITH SCORE 39964.57
AT ITER 3606 NEW BEST:: SOT 218793 SOS 97380 HAS SOPS 88585 HAS SOUS 41877 HAS SOUPS 39856 WITH SCORE 39953.38
AT ITER 3609 NEW BEST:: SOT 218741 SOS 97128 HAS SOPS 87977 HAS SOUS 41765 HAS SOUPS 39764 WITH SCORE 39861.128
AT ITER 3640 NEW BEST:: SOT 218741 SOS 97096 HAS SOPS 87945 HAS SOUS 41765 HAS SOUPS 39764 WITH SCORE 39861.096
AT ITER 3645 NEW BEST:: SOT 218741 SOS 97078 HAS SOPS 87927 HAS SOUS 41756 HAS SOUPS 39755 WITH SCORE 39852.078
AT ITER 3655 NEW BEST:: SOT 218741 SOS 97062 HAS SOPS 87911 HAS SOUS 41755 HAS SOUPS 39754 WITH SCORE 39851.062
AT ITER 3660 NEW BEST:: SOT 218731 SOS 97032 HAS SOPS 87881 HAS SOUS 41735 HAS SOUPS 39734 WITH SCORE 39831.032
AT ITER 3664 NEW BEST:: SOT 218712 SOS 97034 HAS SOPS 87883 HAS SOUS 41731 HAS SOUPS 39730 WITH SCORE 39827.034
AT ITER 3665 NEW BEST:: SOT 218712 SOS 96954 HAS SOPS 87885 HAS SOUS 41650 HAS SOUPS 39690 WITH SCORE 39786.954
AT ITER 3666 NEW BEST:: SOT 218712 SOS 96950 HAS SOPS 87881 HAS SOUS 41648 HAS SOUPS 39688 WITH SCORE 39784.95
AT ITER 3670 NEW BEST:: SOT 218712 SOS 96948 HAS SOPS 87879 HAS SOUS 41647 HAS SOUPS 39687 WITH SCORE 39783.948
AT ITER 3671 NEW BEST:: SOT 218712 SOS 96930 HAS SOPS 87861 HAS SOUS 41644 HAS SOUPS 39684 WITH SCORE 39780.93
AT ITER 3675 NEW BEST:: SOT 218712 SOS 96886 HAS SOPS 87817 HAS SOUS 41633 HAS SOUPS 39673 WITH SCORE 39769.886
AT ITER 3678 NEW BEST:: SOT 218712 SOS 96471 HAS SOPS 87176 HAS SOUS 41670 HAS SOUPS 39597 WITH SCORE 39693.471
AT ITER 3688 NEW BEST:: SOT 218712 SOS 96415 HAS SOPS 87120 HAS SOUS 41663 HAS SOUPS 39590 WITH SCORE 39686.415
AT ITER 3715 NEW BEST:: SOT 218712 SOS 96235 HAS SOPS 86940 HAS SOUS 41663 HAS SOUPS 39590 WITH SCORE 39686.235
AT ITER 3727 NEW BEST:: SOT 218712 SOS 96191 HAS SOPS 86896 HAS SOUS 41663 HAS SOUPS 39590 WITH SCORE 39686.191
AT ITER 3739 NEW BEST:: SOT 218712 SOS 96142 HAS SOPS 86847 HAS SOUS 41640 HAS SOUPS 39567 WITH SCORE 39663.142
AT ITER 3751 NEW BEST:: SOT 218712 SOS 96122 HAS SOPS 86827 HAS SOUS 41627 HAS SOUPS 39554 WITH SCORE 39650.122
AT ITER 3769 NEW BEST:: SOT 218712 SOS 96122 HAS SOPS 86827 HAS SOUS 41549 HAS SOUPS 39476 WITH SCORE 39572.122
AT ITER 3813 NEW BEST:: SOT 218712 SOS 97054 HAS SOPS 87637 HAS SOUS 41588 HAS SOUPS 39454 WITH SCORE 39551.054
AT ITER 3837 NEW BEST:: SOT 218712 SOS 96982 HAS SOPS 87677 HAS SOUS 41506 HAS SOUPS 39428 WITH SCORE 39524.982
AT ITER 3866 NEW BEST:: SOT 218696 SOS 96882 HAS SOPS 87561 HAS SOUS 41527 HAS SOUPS 39428 WITH SCORE 39524.882
AT ITER 3870 NEW BEST:: SOT 218696 SOS 96870 HAS SOPS 87549 HAS SOUS 41521 HAS SOUPS 39422 WITH SCORE 39518.87
AT ITER 3909 NEW BEST:: SOT 218696 SOS 96952 HAS SOPS 87631 HAS SOUS 41479 HAS SOUPS 39380 WITH SCORE 39476.952
AT ITER 3912 NEW BEST:: SOT 218696 SOS 97132 HAS SOPS 87811 HAS SOUS 41434 HAS SOUPS 39335 WITH SCORE 39432.132
AT ITER 3915 NEW BEST:: SOT 218546 SOS 96994 HAS SOPS 87693 HAS SOUS 41379 HAS SOUPS 39285 WITH SCORE 39381.994
AT ITER 3922 NEW BEST:: SOT 218546 SOS 96824 HAS SOPS 87523 HAS SOUS 41356 HAS SOUPS 39262 WITH SCORE 39358.824
AT ITER 3930 NEW BEST:: SOT 218546 SOS 96822 HAS SOPS 87521 HAS SOUS 41354 HAS SOUPS 39260 WITH SCORE 39356.822
AT ITER 3937 NEW BEST:: SOT 218546 SOS 96808 HAS SOPS 87507 HAS SOUS 41347 HAS SOUPS 39253 WITH SCORE 39349.808
AT ITER 3939 NEW BEST:: SOT 218546 SOS 96792 HAS SOPS 87507 HAS SOUS 41339 HAS SOUPS 39253 WITH SCORE 39349.792
AT ITER 3967 NEW BEST:: SOT 218543 SOS 96789 HAS SOPS 87510 HAS SOUS 41336 HAS SOUPS 39250 WITH SCORE 39346.789
AT ITER 3973 NEW BEST:: SOT 218543 SOS 96789 HAS SOPS 87510 HAS SOUS 41334 HAS SOUPS 39248 WITH SCORE 39344.789
AT ITER 3996 NEW BEST:: SOT 218543 SOS 96533 HAS SOPS 87254 HAS SOUS 41305 HAS SOUPS 39219 WITH SCORE 39315.533
AT ITER 4036 NEW BEST:: SOT 218543 SOS 96531 HAS SOPS 87252 HAS SOUS 41305 HAS SOUPS 39219 WITH SCORE 39315.531
AT ITER 4051 NEW BEST:: SOT 218543 SOS 96521 HAS SOPS 87242 HAS SOUS 41296 HAS SOUPS 39210 WITH SCORE 39306.521
AT ITER 4053 NEW BEST:: SOT 218543 SOS 96495 HAS SOPS 87216 HAS SOUS 41283 HAS SOUPS 39197 WITH SCORE 39293.495
AT ITER 4096 NEW BEST:: SOT 218543 SOS 96527 HAS SOPS 87248 HAS SOUS 41281 HAS SOUPS 39195 WITH SCORE 39291.527
AT ITER 4099 NEW BEST:: SOT 218550 SOS 97042 HAS SOPS 87819 HAS SOUS 41257 HAS SOUPS 39171 WITH SCORE 39268.042
AT ITER 4114 NEW BEST:: SOT 218550 SOS 96950 HAS SOPS 87787 HAS SOUS 41211 HAS SOUPS 39155 WITH SCORE 39251.95
AT ITER 4124 NEW BEST:: SOT 218550 SOS 96910 HAS SOPS 87747 HAS SOUS 41201 HAS SOUPS 39145 WITH SCORE 39241.91
AT ITER 4153 NEW BEST:: SOT 218550 SOS 96890 HAS SOPS 87767 HAS SOUS 41181 HAS SOUPS 39145 WITH SCORE 39241.89
AT ITER 4169 NEW BEST:: SOT 218550 SOS 96874 HAS SOPS 87751 HAS SOUS 41173 HAS SOUPS 39137 WITH SCORE 39233.874
AT ITER 4180 NEW BEST:: SOT 218550 SOS 96826 HAS SOPS 87703 HAS SOUS 41135 HAS SOUPS 39099 WITH SCORE 39195.826
AT ITER 4185 NEW BEST:: SOT 218550 SOS 96814 HAS SOPS 87691 HAS SOUS 41129 HAS SOUPS 39093 WITH SCORE 39189.814
AT ITER 4212 NEW BEST:: SOT 218550 SOS 96804 HAS SOPS 87681 HAS SOUS 41124 HAS SOUPS 39088 WITH SCORE 39184.804
AT ITER 4228 NEW BEST:: SOT 218550 SOS 96786 HAS SOPS 87681 HAS SOUS 41115 HAS SOUPS 39088 WITH SCORE 39184.786
AT ITER 4234 NEW BEST:: SOT 218540 SOS 96728 HAS SOPS 87613 HAS SOUS 41093 HAS SOUPS 39068 WITH SCORE 39164.728
AT ITER 4235 NEW BEST:: SOT 218540 SOS 96720 HAS SOPS 87605 HAS SOUS 41089 HAS SOUPS 39064 WITH SCORE 39160.72
AT ITER 4236 NEW BEST:: SOT 218540 SOS 96666 HAS SOPS 87551 HAS SOUS 41089 HAS SOUPS 39064 WITH SCORE 39160.666
AT ITER 4241 NEW BEST:: SOT 218720 SOS 96846 HAS SOPS 87757 HAS SOUS 41071 HAS SOUPS 39046 WITH SCORE 39142.846
AT ITER 4242 NEW BEST:: SOT 218720 SOS 96840 HAS SOPS 87751 HAS SOUS 41067 HAS SOUPS 39042 WITH SCORE 39138.84
AT ITER 4264 NEW BEST:: SOT 218717 SOS 96837 HAS SOPS 87756 HAS SOUS 41048 HAS SOUPS 39023 WITH SCORE 39119.837
AT ITER 4266 NEW BEST:: SOT 218717 SOS 97023 HAS SOPS 87942 HAS SOUS 41041 HAS SOUPS 39016 WITH SCORE 39113.023
AT ITER 4267 NEW BEST:: SOT 218717 SOS 97033 HAS SOPS 87858 HAS SOUS 41058 HAS SOUPS 38986 WITH SCORE 39083.033
AT ITER 4270 NEW BEST:: SOT 218717 SOS 96925 HAS SOPS 87750 HAS SOUS 41034 HAS SOUPS 38962 WITH SCORE 39058.925
AT ITER 4279 NEW BEST:: SOT 218717 SOS 96847 HAS SOPS 87672 HAS SOUS 40995 HAS SOUPS 38923 WITH SCORE 39019.847
AT ITER 4285 NEW BEST:: SOT 218717 SOS 97127 HAS SOPS 87952 HAS SOUS 40975 HAS SOUPS 38903 WITH SCORE 39000.127
AT ITER 4313 NEW BEST:: SOT 218717 SOS 97119 HAS SOPS 87944 HAS SOUS 40973 HAS SOUPS 38901 WITH SCORE 38998.119
AT ITER 4328 NEW BEST:: SOT 218717 SOS 97089 HAS SOPS 87914 HAS SOUS 40972 HAS SOUPS 38900 WITH SCORE 38997.089
AT ITER 4332 NEW BEST:: SOT 218717 SOS 97083 HAS SOPS 87908 HAS SOUS 40970 HAS SOUPS 38898 WITH SCORE 38995.083
AT ITER 4338 NEW BEST:: SOT 218717 SOS 97153 HAS SOPS 87978 HAS SOUS 40950 HAS SOUPS 38878 WITH SCORE 38975.153
AT ITER 4350 NEW BEST:: SOT 218717 SOS 97153 HAS SOPS 87930 HAS SOUS 40950 HAS SOUPS 38854 WITH SCORE 38951.153
AT ITER 4374 NEW BEST:: SOT 218731 SOS 97167 HAS SOPS 87882 HAS SOUS 40906 HAS SOUPS 38810 WITH SCORE 38907.167
AT ITER 4378 NEW BEST:: SOT 218731 SOS 97149 HAS SOPS 87864 HAS SOUS 40897 HAS SOUPS 38801 WITH SCORE 38898.149
AT ITER 4388 NEW BEST:: SOT 218731 SOS 97105 HAS SOPS 87820 HAS SOUS 40875 HAS SOUPS 38779 WITH SCORE 38876.105
AT ITER 4403 NEW BEST:: SOT 218717 SOS 96931 HAS SOPS 87712 HAS SOUS 40849 HAS SOUPS 38771 WITH SCORE 38867.931
AT ITER 4427 NEW BEST:: SOT 218717 SOS 96963 HAS SOPS 87744 HAS SOUS 40847 HAS SOUPS 38769 WITH SCORE 38865.963
AT ITER 4439 NEW BEST:: SOT 218695 SOS 96911 HAS SOPS 87669 HAS SOUS 40810 HAS SOUPS 38725 WITH SCORE 38821.911
AT ITER 4480 NEW BEST:: SOT 218695 SOS 96815 HAS SOPS 87573 HAS SOUS 40766 HAS SOUPS 38681 WITH SCORE 38777.815
AT ITER 4485 NEW BEST:: SOT 218695 SOS 96839 HAS SOPS 87597 HAS SOUS 40743 HAS SOUPS 38658 WITH SCORE 38754.839
AT ITER 4505 NEW BEST:: SOT 218695 SOS 96815 HAS SOPS 87573 HAS SOUS 40731 HAS SOUPS 38646 WITH SCORE 38742.815
AT ITER 4520 NEW BEST:: SOT 218679 SOS 96709 HAS SOPS 87517 HAS SOUS 40720 HAS SOUPS 38635 WITH SCORE 38731.709
AT ITER 4566 NEW BEST:: SOT 218679 SOS 96683 HAS SOPS 87425 HAS SOUS 40740 HAS SOUPS 38622 WITH SCORE 38718.683
AT ITER 4587 NEW BEST:: SOT 218679 SOS 96655 HAS SOPS 87397 HAS SOUS 40726 HAS SOUPS 38608 WITH SCORE 38704.655
AT ITER 4591 NEW BEST:: SOT 218679 SOS 96653 HAS SOPS 87395 HAS SOUS 40726 HAS SOUPS 38608 WITH SCORE 38704.653
AT ITER 4592 NEW BEST:: SOT 218679 SOS 96652 HAS SOPS 87394 HAS SOUS 40726 HAS SOUPS 38608 WITH SCORE 38704.652
AT ITER 4613 NEW BEST:: SOT 218672 SOS 96631 HAS SOPS 87366 HAS SOUS 40681 HAS SOUPS 38563 WITH SCORE 38659.631
AT ITER 4615 NEW BEST:: SOT 218672 SOS 96615 HAS SOPS 87350 HAS SOUS 40681 HAS SOUPS 38563 WITH SCORE 38659.615
AT ITER 4619 NEW BEST:: SOT 218606 SOS 96429 HAS SOPS 87182 HAS SOUS 40612 HAS SOUPS 38494 WITH SCORE 38590.429
AT ITER 4627 NEW BEST:: SOT 218618 SOS 96391 HAS SOPS 87055 HAS SOUS 40584 HAS SOUPS 38466 WITH SCORE 38562.391
AT ITER 4632 NEW BEST:: SOT 218618 SOS 96311 HAS SOPS 86975 HAS SOUS 40584 HAS SOUPS 38466 WITH SCORE 38562.311
AT ITER 4669 NEW BEST:: SOT 218618 SOS 96249 HAS SOPS 86913 HAS SOUS 40539 HAS SOUPS 38421 WITH SCORE 38517.249
AT ITER 4684 NEW BEST:: SOT 218618 SOS 96145 HAS SOPS 86809 HAS SOUS 40522 HAS SOUPS 38404 WITH SCORE 38500.145
AT ITER 4699 NEW BEST:: SOT 218618 SOS 96151 HAS SOPS 86815 HAS SOUS 40504 HAS SOUPS 38386 WITH SCORE 38482.151
AT ITER 4716 NEW BEST:: SOT 218616 SOS 96149 HAS SOPS 86811 HAS SOUS 40504 HAS SOUPS 38386 WITH SCORE 38482.149
AT ITER 4717 NEW BEST:: SOT 218616 SOS 96051 HAS SOPS 86819 HAS SOUS 40450 HAS SOUPS 38385 WITH SCORE 38481.051
AT ITER 4732 NEW BEST:: SOT 218616 SOS 96043 HAS SOPS 86811 HAS SOUS 40448 HAS SOUPS 38383 WITH SCORE 38479.043
AT ITER 4740 NEW BEST:: SOT 218616 SOS 96053 HAS SOPS 86821 HAS SOUS 40438 HAS SOUPS 38373 WITH SCORE 38469.053
AT ITER 4820 NEW BEST:: SOT 218616 SOS 96053 HAS SOPS 86821 HAS SOUS 40400 HAS SOUPS 38335 WITH SCORE 38431.053
AT ITER 4889 NEW BEST:: SOT 218583 SOS 96010 HAS SOPS 86708 HAS SOUS 40348 HAS SOUPS 38283 WITH SCORE 38379.01
AT ITER 4933 NEW BEST:: SOT 218579 SOS 96006 HAS SOPS 86708 HAS SOUS 40344 HAS SOUPS 38279 WITH SCORE 38375.006
AT ITER 4935 NEW BEST:: SOT 218579 SOS 96018 HAS SOPS 86714 HAS SOUS 40338 HAS SOUPS 38273 WITH SCORE 38369.018
AT ITER 4959 NEW BEST:: SOT 218329 SOS 95768 HAS SOPS 86462 HAS SOUS 40336 HAS SOUPS 38271 WITH SCORE 38366.768
AT ITER 4964 NEW BEST:: SOT 218329 SOS 95756 HAS SOPS 86450 HAS SOUS 40336 HAS SOUPS 38271 WITH SCORE 38366.756
AT ITER 5056 NEW BEST:: SOT 218329 SOS 95768 HAS SOPS 86462 HAS SOUS 40335 HAS SOUPS 38270 WITH SCORE 38365.768
AT ITER 5082 NEW BEST:: SOT 218329 SOS 95748 HAS SOPS 86442 HAS SOUS 40330 HAS SOUPS 38265 WITH SCORE 38360.748
AT ITER 5132 NEW BEST:: SOT 218329 SOS 95724 HAS SOPS 86418 HAS SOUS 40330 HAS SOUPS 38265 WITH SCORE 38360.724
AT ITER 5157 NEW BEST:: SOT 218329 SOS 95708 HAS SOPS 86402 HAS SOUS 40326 HAS SOUPS 38261 WITH SCORE 38356.708
AT ITER 5172 NEW BEST:: SOT 218329 SOS 95668 HAS SOPS 86362 HAS SOUS 40306 HAS SOUPS 38241 WITH SCORE 38336.668
AT ITER 5196 NEW BEST:: SOT 218329 SOS 95664 HAS SOPS 86358 HAS SOUS 40304 HAS SOUPS 38239 WITH SCORE 38334.664
AT ITER 5205 NEW BEST:: SOT 218329 SOS 95654 HAS SOPS 86348 HAS SOUS 40299 HAS SOUPS 38234 WITH SCORE 38329.654
AT ITER 5225 NEW BEST:: SOT 218329 SOS 95570 HAS SOPS 86264 HAS SOUS 40285 HAS SOUPS 38220 WITH SCORE 38315.57
AT ITER 5253 NEW BEST:: SOT 218329 SOS 95544 HAS SOPS 86324 HAS SOUS 40229 HAS SOUPS 38207 WITH SCORE 38302.544
AT ITER 5286 NEW BEST:: SOT 218329 SOS 94986 HAS SOPS 85766 HAS SOUS 40202 HAS SOUPS 38180 WITH SCORE 38274.986
AT ITER 5301 NEW BEST:: SOT 218329 SOS 94882 HAS SOPS 85714 HAS SOUS 40150 HAS SOUPS 38154 WITH SCORE 38248.882
AT ITER 5303 NEW BEST:: SOT 218329 SOS 94930 HAS SOPS 85762 HAS SOUS 40139 HAS SOUPS 38143 WITH SCORE 38237.93
AT ITER 5333 NEW BEST:: SOT 218440 SOS 94907 HAS SOPS 85739 HAS SOUS 40084 HAS SOUPS 38088 WITH SCORE 38182.907
AT ITER 5356 NEW BEST:: SOT 218367 SOS 94577 HAS SOPS 84850 HAS SOUS 39977 HAS SOUPS 37981 WITH SCORE 38075.577
AT ITER 5359 NEW BEST:: SOT 218367 SOS 94571 HAS SOPS 84844 HAS SOUS 39976 HAS SOUPS 37980 WITH SCORE 38074.571
AT ITER 5375 NEW BEST:: SOT 218359 SOS 94492 HAS SOPS 84728 HAS SOUS 39925 HAS SOUPS 37929 WITH SCORE 38023.492
AT ITER 5437 NEW BEST:: SOT 218359 SOS 94486 HAS SOPS 84722 HAS SOUS 39922 HAS SOUPS 37926 WITH SCORE 38020.486
AT ITER 5455 NEW BEST:: SOT 218359 SOS 94484 HAS SOPS 84720 HAS SOUS 39917 HAS SOUPS 37921 WITH SCORE 38015.484
AT ITER 5478 NEW BEST:: SOT 218359 SOS 94472 HAS SOPS 84708 HAS SOUS 39915 HAS SOUPS 37919 WITH SCORE 38013.472
AT ITER 5516 NEW BEST:: SOT 218359 SOS 94468 HAS SOPS 84704 HAS SOUS 39914 HAS SOUPS 37918 WITH SCORE 38012.468
AT ITER 5569 NEW BEST:: SOT 218359 SOS 94456 HAS SOPS 84692 HAS SOUS 39908 HAS SOUPS 37912 WITH SCORE 38006.456
AT ITER 5577 NEW BEST:: SOT 218359 SOS 94444 HAS SOPS 84680 HAS SOUS 39890 HAS SOUPS 37894 WITH SCORE 37988.444
AT ITER 5579 NEW BEST:: SOT 218349 SOS 94424 HAS SOPS 84660 HAS SOUS 39885 HAS SOUPS 37889 WITH SCORE 37983.424
AT ITER 5584 NEW BEST:: SOT 218349 SOS 94482 HAS SOPS 84718 HAS SOUS 39882 HAS SOUPS 37886 WITH SCORE 37980.482
AT ITER 5598 NEW BEST:: SOT 218349 SOS 94482 HAS SOPS 84738 HAS SOUS 39862 HAS SOUPS 37876 WITH SCORE 37970.482
AT ITER 5663 NEW BEST:: SOT 218349 SOS 94480 HAS SOPS 84736 HAS SOUS 39861 HAS SOUPS 37875 WITH SCORE 37969.48
AT ITER 5673 NEW BEST:: SOT 218349 SOS 94440 HAS SOPS 84696 HAS SOUS 39859 HAS SOUPS 37873 WITH SCORE 37967.44
AT ITER 5682 NEW BEST:: SOT 218349 SOS 94392 HAS SOPS 84648 HAS SOUS 39847 HAS SOUPS 37861 WITH SCORE 37955.392
AT ITER 5684 NEW BEST:: SOT 218349 SOS 94390 HAS SOPS 84646 HAS SOUS 39847 HAS SOUPS 37861 WITH SCORE 37955.39
AT ITER 5710 NEW BEST:: SOT 218349 SOS 94354 HAS SOPS 84610 HAS SOUS 39847 HAS SOUPS 37861 WITH SCORE 37955.354
AT ITER 5734 NEW BEST:: SOT 218349 SOS 94224 HAS SOPS 84480 HAS SOUS 39837 HAS SOUPS 37851 WITH SCORE 37945.224
AT ITER 5741 NEW BEST:: SOT 218349 SOS 94218 HAS SOPS 84474 HAS SOUS 39831 HAS SOUPS 37845 WITH SCORE 37939.218
AT ITER 5781 NEW BEST:: SOT 218349 SOS 94211 HAS SOPS 84467 HAS SOUS 39824 HAS SOUPS 37838 WITH SCORE 37932.211
AT ITER 5820 NEW BEST:: SOT 218349 SOS 94155 HAS SOPS 84411 HAS SOUS 39824 HAS SOUPS 37838 WITH SCORE 37932.155
AT ITER 5821 NEW BEST:: SOT 218349 SOS 94083 HAS SOPS 84339 HAS SOUS 39823 HAS SOUPS 37837 WITH SCORE 37931.083
AT ITER 5834 NEW BEST:: SOT 218349 SOS 94059 HAS SOPS 84315 HAS SOUS 39823 HAS SOUPS 37837 WITH SCORE 37931.059
AT ITER 5881 NEW BEST:: SOT 218349 SOS 94047 HAS SOPS 84303 HAS SOUS 39820 HAS SOUPS 37834 WITH SCORE 37928.047
AT ITER 5941 NEW BEST:: SOT 218349 SOS 94041 HAS SOPS 84297 HAS SOUS 39820 HAS SOUPS 37834 WITH SCORE 37928.041
AT ITER 5944 NEW BEST:: SOT 218349 SOS 94039 HAS SOPS 84295 HAS SOUS 39820 HAS SOUPS 37834 WITH SCORE 37928.039
AT ITER 5950 NEW BEST:: SOT 218307 SOS 93997 HAS SOPS 84323 HAS SOUS 39804 HAS SOUPS 37818 WITH SCORE 37911.997
AT ITER 5972 NEW BEST:: SOT 218307 SOS 93953 HAS SOPS 84279 HAS SOUS 39782 HAS SOUPS 37796 WITH SCORE 37889.953
AT ITER 5979 NEW BEST:: SOT 218307 SOS 93933 HAS SOPS 84259 HAS SOUS 39771 HAS SOUPS 37785 WITH SCORE 37878.933
AT ITER 5980 NEW BEST:: SOT 218307 SOS 93927 HAS SOPS 84235 HAS SOUS 39768 HAS SOUPS 37773 WITH SCORE 37866.927
AT ITER 5988 NEW BEST:: SOT 218307 SOS 93843 HAS SOPS 84151 HAS SOUS 39744 HAS SOUPS 37749 WITH SCORE 37842.843
AT ITER 5989 NEW BEST:: SOT 218307 SOS 93879 HAS SOPS 84187 HAS SOUS 39724 HAS SOUPS 37729 WITH SCORE 37822.879
AT ITER 6000 NEW BEST:: SOT 218307 SOS 93933 HAS SOPS 84241 HAS SOUS 39722 HAS SOUPS 37727 WITH SCORE 37820.933
AT ITER 6025 NEW BEST:: SOT 218307 SOS 93865 HAS SOPS 84173 HAS SOUS 39722 HAS SOUPS 37727 WITH SCORE 37820.865
AT ITER 6026 NEW BEST:: SOT 218307 SOS 93857 HAS SOPS 84173 HAS SOUS 39706 HAS SOUPS 37715 WITH SCORE 37808.857
AT ITER 6045 NEW BEST:: SOT 218307 SOS 93913 HAS SOPS 84183 HAS SOUS 39718 HAS SOUPS 37704 WITH SCORE 37797.913
AT ITER 6054 NEW BEST:: SOT 218285 SOS 93891 HAS SOPS 84147 HAS SOUS 39676 HAS SOUPS 37662 WITH SCORE 37755.891
AT ITER 6084 NEW BEST:: SOT 218285 SOS 93863 HAS SOPS 84119 HAS SOUS 39676 HAS SOUPS 37662 WITH SCORE 37755.863
AT ITER 6093 NEW BEST:: SOT 218285 SOS 93867 HAS SOPS 84123 HAS SOUS 39674 HAS SOUPS 37660 WITH SCORE 37753.867
AT ITER 6106 NEW BEST:: SOT 218285 SOS 93913 HAS SOPS 84169 HAS SOUS 39663 HAS SOUPS 37649 WITH SCORE 37742.913
AT ITER 6129 NEW BEST:: SOT 218285 SOS 93907 HAS SOPS 84163 HAS SOUS 39660 HAS SOUPS 37646 WITH SCORE 37739.907
AT ITER 6132 NEW BEST:: SOT 218285 SOS 93905 HAS SOPS 84161 HAS SOUS 39659 HAS SOUPS 37645 WITH SCORE 37738.905
AT ITER 6142 NEW BEST:: SOT 218285 SOS 93891 HAS SOPS 84147 HAS SOUS 39652 HAS SOUPS 37638 WITH SCORE 37731.891
AT ITER 6153 NEW BEST:: SOT 218285 SOS 93845 HAS SOPS 84101 HAS SOUS 39652 HAS SOUPS 37638 WITH SCORE 37731.845
AT ITER 6183 NEW BEST:: SOT 218255 SOS 93815 HAS SOPS 84003 HAS SOUS 39604 HAS SOUPS 37588 WITH SCORE 37681.815
AT ITER 6201 NEW BEST:: SOT 218255 SOS 93811 HAS SOPS 83999 HAS SOUS 39602 HAS SOUPS 37586 WITH SCORE 37679.811
AT ITER 6209 NEW BEST:: SOT 218255 SOS 93805 HAS SOPS 83993 HAS SOUS 39601 HAS SOUPS 37585 WITH SCORE 37678.805
AT ITER 6255 NEW BEST:: SOT 218255 SOS 93775 HAS SOPS 83859 HAS SOUS 39638 HAS SOUPS 37570 WITH SCORE 37663.775
AT ITER 6261 NEW BEST:: SOT 218279 SOS 93799 HAS SOPS 83883 HAS SOUS 39626 HAS SOUPS 37558 WITH SCORE 37651.799
AT ITER 6268 NEW BEST:: SOT 218279 SOS 93799 HAS SOPS 83883 HAS SOUS 39615 HAS SOUPS 37547 WITH SCORE 37640.799
AT ITER 6281 NEW BEST:: SOT 218247 SOS 93767 HAS SOPS 83777 HAS SOUS 39559 HAS SOUPS 37491 WITH SCORE 37584.767
AT ITER 6315 NEW BEST:: SOT 218247 SOS 93741 HAS SOPS 83751 HAS SOUS 39546 HAS SOUPS 37478 WITH SCORE 37571.741
AT ITER 6409 NEW BEST:: SOT 218232 SOS 93737 HAS SOPS 83717 HAS SOUS 39537 HAS SOUPS 37469 WITH SCORE 37562.737
AT ITER 6443 NEW BEST:: SOT 218232 SOS 93693 HAS SOPS 83703 HAS SOUS 39515 HAS SOUPS 37462 WITH SCORE 37555.693
AT ITER 6449 NEW BEST:: SOT 218204 SOS 93665 HAS SOPS 83660 HAS SOUS 39472 HAS SOUPS 37419 WITH SCORE 37512.665
AT ITER 6488 NEW BEST:: SOT 218204 SOS 93665 HAS SOPS 83652 HAS SOUS 39472 HAS SOUPS 37415 WITH SCORE 37508.665
AT ITER 6523 NEW BEST:: SOT 218204 SOS 93663 HAS SOPS 83650 HAS SOUS 39471 HAS SOUPS 37414 WITH SCORE 37507.663
AT ITER 6533 NEW BEST:: SOT 218194 SOS 93631 HAS SOPS 83608 HAS SOUS 39450 HAS SOUPS 37393 WITH SCORE 37486.631
AT ITER 6534 NEW BEST:: SOT 218194 SOS 93623 HAS SOPS 83600 HAS SOUS 39446 HAS SOUPS 37389 WITH SCORE 37482.623
AT ITER 6535 NEW BEST:: SOT 218194 SOS 93617 HAS SOPS 83594 HAS SOUS 39446 HAS SOUPS 37389 WITH SCORE 37482.617
AT ITER 6539 NEW BEST:: SOT 218194 SOS 93615 HAS SOPS 83592 HAS SOUS 39445 HAS SOUPS 37388 WITH SCORE 37481.615
AT ITER 6671 NEW BEST:: SOT 218194 SOS 93543 HAS SOPS 83520 HAS SOUS 39445 HAS SOUPS 37388 WITH SCORE 37481.543
AT ITER 6690 NEW BEST:: SOT 218194 SOS 93516 HAS SOPS 83506 HAS SOUS 39445 HAS SOUPS 37388 WITH SCORE 37481.516
AT ITER 6711 NEW BEST:: SOT 218192 SOS 93514 HAS SOPS 83814 HAS SOUS 39445 HAS SOUPS 37388 WITH SCORE 37481.514
AT ITER 6725 NEW BEST:: SOT 218192 SOS 93504 HAS SOPS 83804 HAS SOUS 39440 HAS SOUPS 37383 WITH SCORE 37476.504
AT ITER 6749 NEW BEST:: SOT 218192 SOS 93486 HAS SOPS 83786 HAS SOUS 39440 HAS SOUPS 37383 WITH SCORE 37476.486
AT ITER 6754 NEW BEST:: SOT 218192 SOS 93456 HAS SOPS 83756 HAS SOUS 39425 HAS SOUPS 37368 WITH SCORE 37461.456
AT ITER 6772 NEW BEST:: SOT 218192 SOS 93468 HAS SOPS 83756 HAS SOUS 39425 HAS SOUPS 37362 WITH SCORE 37455.468
AT ITER 6794 NEW BEST:: SOT 218200 SOS 93476 HAS SOPS 83662 HAS SOUS 39423 HAS SOUPS 37360 WITH SCORE 37453.476
AT ITER 6842 NEW BEST:: SOT 218200 SOS 93454 HAS SOPS 83640 HAS SOUS 39423 HAS SOUPS 37360 WITH SCORE 37453.454
AT ITER 6888 NEW BEST:: SOT 218200 SOS 93444 HAS SOPS 83630 HAS SOUS 39413 HAS SOUPS 37350 WITH SCORE 37443.444
AT ITER 6928 NEW BEST:: SOT 218200 SOS 93442 HAS SOPS 83630 HAS SOUS 39412 HAS SOUPS 37350 WITH SCORE 37443.442
AT ITER 6936 NEW BEST:: SOT 218186 SOS 93400 HAS SOPS 83574 HAS SOUS 39384 HAS SOUPS 37315 WITH SCORE 37408.4
AT ITER 6943 NEW BEST:: SOT 218186 SOS 93403 HAS SOPS 83577 HAS SOUS 39381 HAS SOUPS 37312 WITH SCORE 37405.403
AT ITER 6977 NEW BEST:: SOT 218186 SOS 93453 HAS SOPS 83535 HAS SOUS 39425 HAS SOUPS 37310 WITH SCORE 37403.453
AT ITER 6999 NEW BEST:: SOT 218186 SOS 93615 HAS SOPS 83697 HAS SOUS 39412 HAS SOUPS 37297 WITH SCORE 37390.615
AT ITER 7067 NEW BEST:: SOT 218174 SOS 93552 HAS SOPS 83656 HAS SOUS 39394 HAS SOUPS 37279 WITH SCORE 37372.552
AT ITER 7122 NEW BEST:: SOT 218174 SOS 93506 HAS SOPS 83682 HAS SOUS 39336 HAS SOUPS 37257 WITH SCORE 37350.506
AT ITER 7159 NEW BEST:: SOT 218210 SOS 93414 HAS SOPS 83634 HAS SOUS 39311 HAS SOUPS 37232 WITH SCORE 37325.414
AT ITER 7166 NEW BEST:: SOT 218210 SOS 93420 HAS SOPS 83640 HAS SOUS 39299 HAS SOUPS 37220 WITH SCORE 37313.42
AT ITER 7185 NEW BEST:: SOT 218210 SOS 93264 HAS SOPS 83484 HAS SOUS 39281 HAS SOUPS 37202 WITH SCORE 37295.264
AT ITER 7191 NEW BEST:: SOT 218210 SOS 93262 HAS SOPS 83484 HAS SOUS 39281 HAS SOUPS 37202 WITH SCORE 37295.262
AT ITER 7199 NEW BEST:: SOT 218210 SOS 93260 HAS SOPS 83482 HAS SOUS 39280 HAS SOUPS 37201 WITH SCORE 37294.26
AT ITER 7202 NEW BEST:: SOT 218210 SOS 93338 HAS SOPS 83560 HAS SOUS 39278 HAS SOUPS 37199 WITH SCORE 37292.338
AT ITER 7205 NEW BEST:: SOT 218210 SOS 93336 HAS SOPS 83558 HAS SOUS 39278 HAS SOUPS 37199 WITH SCORE 37292.336
AT ITER 7221 NEW BEST:: SOT 218210 SOS 93328 HAS SOPS 83550 HAS SOUS 39274 HAS SOUPS 37195 WITH SCORE 37288.328
AT ITER 7234 NEW BEST:: SOT 218210 SOS 93330 HAS SOPS 83544 HAS SOUS 39275 HAS SOUPS 37192 WITH SCORE 37285.33
AT ITER 7269 NEW BEST:: SOT 218210 SOS 93330 HAS SOPS 83542 HAS SOUS 39272 HAS SOUPS 37189 WITH SCORE 37282.33
AT ITER 7345 NEW BEST:: SOT 218190 SOS 93310 HAS SOPS 83522 HAS SOUS 39264 HAS SOUPS 37181 WITH SCORE 37274.31
AT ITER 7385 NEW BEST:: SOT 218190 SOS 93292 HAS SOPS 83504 HAS SOUS 39263 HAS SOUPS 37180 WITH SCORE 37273.292
AT ITER 7433 NEW BEST:: SOT 218190 SOS 93278 HAS SOPS 83490 HAS SOUS 39263 HAS SOUPS 37180 WITH SCORE 37273.278
AT ITER 7456 NEW BEST:: SOT 218174 SOS 93262 HAS SOPS 83408 HAS SOUS 39235 HAS SOUPS 37152 WITH SCORE 37245.262
AT ITER 7491 NEW BEST:: SOT 218174 SOS 93156 HAS SOPS 83302 HAS SOUS 39226 HAS SOUPS 37143 WITH SCORE 37236.156
AT ITER 7497 NEW BEST:: SOT 218174 SOS 93086 HAS SOPS 83232 HAS SOUS 39191 HAS SOUPS 37108 WITH SCORE 37201.086
AT ITER 7504 NEW BEST:: SOT 218170 SOS 93082 HAS SOPS 83224 HAS SOUS 39187 HAS SOUPS 37104 WITH SCORE 37197.082
AT ITER 7568 NEW BEST:: SOT 218197 SOS 93176 HAS SOPS 83345 HAS SOUS 39178 HAS SOUPS 37095 WITH SCORE 37188.176
AT ITER 7574 NEW BEST:: SOT 218197 SOS 93166 HAS SOPS 83335 HAS SOUS 39173 HAS SOUPS 37090 WITH SCORE 37183.166
AT ITER 7579 NEW BEST:: SOT 218197 SOS 93162 HAS SOPS 83331 HAS SOUS 39169 HAS SOUPS 37086 WITH SCORE 37179.162
AT ITER 7640 NEW BEST:: SOT 218197 SOS 93160 HAS SOPS 83329 HAS SOUS 39169 HAS SOUPS 37086 WITH SCORE 37179.16
AT ITER 7678 NEW BEST:: SOT 217515 SOS 92758 HAS SOPS 82639 HAS SOUS 38934 HAS SOUPS 36848 WITH SCORE 36940.758
AT ITER 7680 NEW BEST:: SOT 217515 SOS 92642 HAS SOPS 82623 HAS SOUS 38876 HAS SOUPS 36840 WITH SCORE 36932.642
AT ITER 7699 NEW BEST:: SOT 217515 SOS 92592 HAS SOPS 82601 HAS SOUS 38852 HAS SOUPS 36830 WITH SCORE 36922.592
AT ITER 7733 NEW BEST:: SOT 217515 SOS 92546 HAS SOPS 82555 HAS SOUS 38829 HAS SOUPS 36807 WITH SCORE 36899.546
AT ITER 7738 NEW BEST:: SOT 217515 SOS 92410 HAS SOPS 82487 HAS SOUS 38761 HAS SOUPS 36773 WITH SCORE 36865.41
AT ITER 7760 NEW BEST:: SOT 217491 SOS 92386 HAS SOPS 82453 HAS SOUS 38739 HAS SOUPS 36751 WITH SCORE 36843.386
AT ITER 7819 NEW BEST:: SOT 217491 SOS 92354 HAS SOPS 82421 HAS SOUS 38723 HAS SOUPS 36735 WITH SCORE 36827.354
AT ITER 7890 NEW BEST:: SOT 217491 SOS 92350 HAS SOPS 82417 HAS SOUS 38721 HAS SOUPS 36733 WITH SCORE 36825.35
AT ITER 7914 NEW BEST:: SOT 217491 SOS 92348 HAS SOPS 82415 HAS SOUS 38719 HAS SOUPS 36731 WITH SCORE 36823.348
AT ITER 7936 NEW BEST:: SOT 217491 SOS 92336 HAS SOPS 82403 HAS SOUS 38713 HAS SOUPS 36725 WITH SCORE 36817.336
AT ITER 7951 NEW BEST:: SOT 217491 SOS 92324 HAS SOPS 82391 HAS SOUS 38709 HAS SOUPS 36721 WITH SCORE 36813.324
AT ITER 7962 NEW BEST:: SOT 217491 SOS 92320 HAS SOPS 82387 HAS SOUS 38709 HAS SOUPS 36721 WITH SCORE 36813.32
AT ITER 7980 NEW BEST:: SOT 217491 SOS 92308 HAS SOPS 82375 HAS SOUS 38703 HAS SOUPS 36715 WITH SCORE 36807.308
AT ITER 7982 NEW BEST:: SOT 217477 SOS 92294 HAS SOPS 82361 HAS SOUS 38703 HAS SOUPS 36715 WITH SCORE 36807.294
AT ITER 7997 NEW BEST:: SOT 217477 SOS 92310 HAS SOPS 82377 HAS SOUS 38700 HAS SOUPS 36712 WITH SCORE 36804.31
AT ITER 8054 NEW BEST:: SOT 217477 SOS 92282 HAS SOPS 82349 HAS SOUS 38686 HAS SOUPS 36698 WITH SCORE 36790.282
AT ITER 8103 NEW BEST:: SOT 217477 SOS 92248 HAS SOPS 82315 HAS SOUS 38686 HAS SOUPS 36698 WITH SCORE 36790.248
AT ITER 8122 NEW BEST:: SOT 217477 SOS 92212 HAS SOPS 82279 HAS SOUS 38682 HAS SOUPS 36694 WITH SCORE 36786.212
AT ITER 8155 NEW BEST:: SOT 217467 SOS 92202 HAS SOPS 82269 HAS SOUS 38672 HAS SOUPS 36684 WITH SCORE 36776.202
AT ITER 8185 NEW BEST:: SOT 217467 SOS 92201 HAS SOPS 82266 HAS SOUS 38672 HAS SOUPS 36683 WITH SCORE 36775.201
AT ITER 8195 NEW BEST:: SOT 217467 SOS 92201 HAS SOPS 82262 HAS SOUS 38668 HAS SOUPS 36679 WITH SCORE 36771.201
AT ITER 8290 NEW BEST:: SOT 217467 SOS 92207 HAS SOPS 82240 HAS SOUS 38672 HAS SOUPS 36669 WITH SCORE 36761.207
AT ITER 8295 NEW BEST:: SOT 217467 SOS 92201 HAS SOPS 82234 HAS SOUS 38672 HAS SOUPS 36669 WITH SCORE 36761.201
AT ITER 8363 NEW BEST:: SOT 217467 SOS 92201 HAS SOPS 82212 HAS SOUS 38672 HAS SOUPS 36658 WITH SCORE 36750.201
AT ITER 8376 NEW BEST:: SOT 217467 SOS 92127 HAS SOPS 82294 HAS SOUS 38572 HAS SOUPS 36636 WITH SCORE 36728.127
AT ITER 8380 NEW BEST:: SOT 217467 SOS 92081 HAS SOPS 82222 HAS SOUS 38561 HAS SOUPS 36612 WITH SCORE 36704.081
AT ITER 8399 NEW BEST:: SOT 217503 SOS 91979 HAS SOPS 82174 HAS SOUS 38528 HAS SOUPS 36585 WITH SCORE 36676.979
AT ITER 8427 NEW BEST:: SOT 217503 SOS 91973 HAS SOPS 82174 HAS SOUS 38522 HAS SOUPS 36585 WITH SCORE 36676.973
AT ITER 8429 NEW BEST:: SOT 217503 SOS 91971 HAS SOPS 82172 HAS SOUS 38518 HAS SOUPS 36581 WITH SCORE 36672.971
AT ITER 8525 NEW BEST:: SOT 217503 SOS 91963 HAS SOPS 82164 HAS SOUS 38517 HAS SOUPS 36580 WITH SCORE 36671.963
AT ITER 8549 NEW BEST:: SOT 217679 SOS 92139 HAS SOPS 82334 HAS SOUS 38499 HAS SOUPS 36562 WITH SCORE 36654.139
AT ITER 8550 NEW BEST:: SOT 217677 SOS 92137 HAS SOPS 82332 HAS SOUS 38499 HAS SOUPS 36562 WITH SCORE 36654.137
AT ITER 8552 NEW BEST:: SOT 217509 SOS 91035 HAS SOPS 80612 HAS SOUS 38424 HAS SOUPS 36487 WITH SCORE 36578.035
AT ITER 8565 NEW BEST:: SOT 217509 SOS 91003 HAS SOPS 80596 HAS SOUS 38408 HAS SOUPS 36479 WITH SCORE 36570.003
AT ITER 8573 NEW BEST:: SOT 217509 SOS 90983 HAS SOPS 80596 HAS SOUS 38398 HAS SOUPS 36479 WITH SCORE 36569.983
AT ITER 8588 NEW BEST:: SOT 217509 SOS 90989 HAS SOPS 80602 HAS SOUS 38395 HAS SOUPS 36476 WITH SCORE 36566.989
AT ITER 8607 NEW BEST:: SOT 217509 SOS 91027 HAS SOPS 80640 HAS SOUS 38386 HAS SOUPS 36467 WITH SCORE 36558.027
AT ITER 8614 NEW BEST:: SOT 217479 SOS 90997 HAS SOPS 80596 HAS SOUS 38368 HAS SOUPS 36449 WITH SCORE 36539.997
AT ITER 8653 NEW BEST:: SOT 217479 SOS 90939 HAS SOPS 80570 HAS SOUS 38346 HAS SOUPS 36443 WITH SCORE 36533.939
AT ITER 8684 NEW BEST:: SOT 217469 SOS 90929 HAS SOPS 80560 HAS SOUS 38326 HAS SOUPS 36423 WITH SCORE 36513.929
AT ITER 8729 NEW BEST:: SOT 217469 SOS 90927 HAS SOPS 80558 HAS SOUS 38325 HAS SOUPS 36422 WITH SCORE 36512.927
AT ITER 8740 NEW BEST:: SOT 217469 SOS 90827 HAS SOPS 80458 HAS SOUS 38325 HAS SOUPS 36422 WITH SCORE 36512.827
AT ITER 8746 NEW BEST:: SOT 217469 SOS 90823 HAS SOPS 80454 HAS SOUS 38323 HAS SOUPS 36420 WITH SCORE 36510.823
AT ITER 8846 NEW BEST:: SOT 217422 SOS 90776 HAS SOPS 80390 HAS SOUS 38272 HAS SOUPS 36369 WITH SCORE 36459.776
AT ITER 8856 NEW BEST:: SOT 217422 SOS 90764 HAS SOPS 80378 HAS SOUS 38266 HAS SOUPS 36363 WITH SCORE 36453.764
AT ITER 8985 NEW BEST:: SOT 217446 SOS 90788 HAS SOPS 80466 HAS SOUS 38260 HAS SOUPS 36357 WITH SCORE 36447.788
AT ITER 8990 NEW BEST:: SOT 217446 SOS 90744 HAS SOPS 80422 HAS SOUS 38245 HAS SOUPS 36342 WITH SCORE 36432.744
AT ITER 9008 NEW BEST:: SOT 217446 SOS 90742 HAS SOPS 80422 HAS SOUS 38244 HAS SOUPS 36342 WITH SCORE 36432.742
AT ITER 9014 NEW BEST:: SOT 217446 SOS 90712 HAS SOPS 80392 HAS SOUS 38244 HAS SOUPS 36342 WITH SCORE 36432.712
AT ITER 9022 NEW BEST:: SOT 217446 SOS 90714 HAS SOPS 80394 HAS SOUS 38243 HAS SOUPS 36341 WITH SCORE 36431.714
AT ITER 9025 NEW BEST:: SOT 217446 SOS 90710 HAS SOPS 80390 HAS SOUS 38241 HAS SOUPS 36339 WITH SCORE 36429.71
AT ITER 9032 NEW BEST:: SOT 217446 SOS 90696 HAS SOPS 80376 HAS SOUS 38234 HAS SOUPS 36332 WITH SCORE 36422.696
AT ITER 9051 NEW BEST:: SOT 217446 SOS 90696 HAS SOPS 80376 HAS SOUS 38227 HAS SOUPS 36325 WITH SCORE 36415.696
AT ITER 9101 NEW BEST:: SOT 217446 SOS 90674 HAS SOPS 80354 HAS SOUS 38216 HAS SOUPS 36314 WITH SCORE 36404.674
AT ITER 9111 NEW BEST:: SOT 217432 SOS 90630 HAS SOPS 80314 HAS SOUS 38193 HAS SOUPS 36291 WITH SCORE 36381.63
AT ITER 9141 NEW BEST:: SOT 217430 SOS 90628 HAS SOPS 80312 HAS SOUS 38191 HAS SOUPS 36289 WITH SCORE 36379.628
AT ITER 9163 NEW BEST:: SOT 217430 SOS 90246 HAS SOPS 79930 HAS SOUS 38190 HAS SOUPS 36288 WITH SCORE 36378.246
AT ITER 9171 NEW BEST:: SOT 217430 SOS 90196 HAS SOPS 79880 HAS SOUS 38183 HAS SOUPS 36281 WITH SCORE 36371.196
AT ITER 9199 NEW BEST:: SOT 217430 SOS 90184 HAS SOPS 79868 HAS SOUS 38183 HAS SOUPS 36281 WITH SCORE 36371.184
AT ITER 9215 NEW BEST:: SOT 217430 SOS 90172 HAS SOPS 79856 HAS SOUS 38183 HAS SOUPS 36281 WITH SCORE 36371.172
AT ITER 9227 NEW BEST:: SOT 217430 SOS 90122 HAS SOPS 79806 HAS SOUS 38183 HAS SOUPS 36281 WITH SCORE 36371.122
AT ITER 9251 NEW BEST:: SOT 217195 SOS 89876 HAS SOPS 79538 HAS SOUS 37966 HAS SOUPS 36082 WITH SCORE 36171.876
AT ITER 9282 NEW BEST:: SOT 217195 SOS 89922 HAS SOPS 79584 HAS SOUS 37964 HAS SOUPS 36080 WITH SCORE 36169.922
AT ITER 9340 NEW BEST:: SOT 217195 SOS 89914 HAS SOPS 79576 HAS SOUS 37964 HAS SOUPS 36080 WITH SCORE 36169.914
AT ITER 9347 NEW BEST:: SOT 217182 SOS 89888 HAS SOPS 79550 HAS SOUS 37959 HAS SOUPS 36075 WITH SCORE 36164.888
AT ITER 9363 NEW BEST:: SOT 217200 SOS 90894 HAS SOPS 80664 HAS SOUS 37861 HAS SOUPS 35977 WITH SCORE 36067.894
AT ITER 9418 NEW BEST:: SOT 217200 SOS 91082 HAS SOPS 80822 HAS SOUS 37864 HAS SOUPS 35965 WITH SCORE 36056.082
AT ITER 9486 NEW BEST:: SOT 217200 SOS 91062 HAS SOPS 80802 HAS SOUS 37854 HAS SOUPS 35955 WITH SCORE 36046.062
AT ITER 9517 NEW BEST:: SOT 217200 SOS 91060 HAS SOPS 80802 HAS SOUS 37852 HAS SOUPS 35954 WITH SCORE 36045.06
AT ITER 9543 NEW BEST:: SOT 217200 SOS 91008 HAS SOPS 80750 HAS SOUS 37846 HAS SOUPS 35948 WITH SCORE 36039.008
AT ITER 9596 NEW BEST:: SOT 217200 SOS 91008 HAS SOPS 80750 HAS SOUS 37840 HAS SOUPS 35942 WITH SCORE 36033.008
AT ITER 9605 NEW BEST:: SOT 217200 SOS 90960 HAS SOPS 80702 HAS SOUS 37835 HAS SOUPS 35937 WITH SCORE 36027.96
AT ITER 9701 NEW BEST:: SOT 217200 SOS 90928 HAS SOPS 80670 HAS SOUS 37819 HAS SOUPS 35921 WITH SCORE 36011.928
AT ITER 9706 NEW BEST:: SOT 217200 SOS 90897 HAS SOPS 80639 HAS SOUS 37808 HAS SOUPS 35910 WITH SCORE 36000.897
AT ITER 9733 NEW BEST:: SOT 217200 SOS 90879 HAS SOPS 80621 HAS SOUS 37799 HAS SOUPS 35901 WITH SCORE 35991.879
AT ITER 9742 NEW BEST:: SOT 217200 SOS 90855 HAS SOPS 80597 HAS SOUS 37799 HAS SOUPS 35901 WITH SCORE 35991.855
AT ITER 9783 NEW BEST:: SOT 217164 SOS 90819 HAS SOPS 80553 HAS SOUS 37799 HAS SOUPS 35901 WITH SCORE 35991.819
AT ITER 9800 NEW BEST:: SOT 217164 SOS 90815 HAS SOPS 80549 HAS SOUS 37797 HAS SOUPS 35899 WITH SCORE 35989.815
AT ITER 9810 NEW BEST:: SOT 217164 SOS 90799 HAS SOPS 80533 HAS SOUS 37794 HAS SOUPS 35896 WITH SCORE 35986.799
AT ITER 9863 NEW BEST:: SOT 217162 SOS 90795 HAS SOPS 80529 HAS SOUS 37791 HAS SOUPS 35893 WITH SCORE 35983.795
AT ITER 9907 NEW BEST:: SOT 217162 SOS 90785 HAS SOPS 80509 HAS SOUS 37791 HAS SOUPS 35888 WITH SCORE 35978.785
AT ITER 9926 NEW BEST:: SOT 217162 SOS 90755 HAS SOPS 80479 HAS SOUS 37787 HAS SOUPS 35884 WITH SCORE 35974.755
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 5941760 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16121548 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:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ 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="FunctionPointer-PT-b032"
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 FunctionPointer-PT-b032, 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 r171-tall-167838859000696"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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