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.r003-oct2-167813590300048.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ASLink-PT-03a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590300048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 760K
-rw-r--r-- 1 mcc users 8.3K Feb 26 13:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 13:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 13:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 13:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 13:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 13:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 357K 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 1678469049144

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-03a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 03a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 821 places, 1281 transitions, 4839 arcs.
AT ITER 0 NEW BEST:: SOT 576589 SOS 393886 HAS SOPS 393886 HAS SOUS 240008 HAS SOUPS 240008 WITH SCORE 240401.886
AT ITER 1 NEW BEST:: SOT 576589 SOS 393195 HAS SOPS 393195 HAS SOUS 239722 HAS SOUPS 239722 WITH SCORE 240115.195
AT ITER 5 NEW BEST:: SOT 575565 SOS 392739 HAS SOPS 392739 HAS SOUS 238828 HAS SOUPS 238828 WITH SCORE 239220.739
AT ITER 8 NEW BEST:: SOT 575340 SOS 391668 HAS SOPS 391668 HAS SOUS 238095 HAS SOUPS 238095 WITH SCORE 238486.668
AT ITER 9 NEW BEST:: SOT 575159 SOS 391659 HAS SOPS 391659 HAS SOUS 238085 HAS SOUPS 238085 WITH SCORE 238476.659
AT ITER 15 NEW BEST:: SOT 575121 SOS 391621 HAS SOPS 391621 HAS SOUS 238084 HAS SOUPS 238084 WITH SCORE 238475.621
AT ITER 19 NEW BEST:: SOT 575121 SOS 391140 HAS SOPS 391140 HAS SOUS 237694 HAS SOUPS 237694 WITH SCORE 238085.14
AT ITER 20 NEW BEST:: SOT 575121 SOS 391072 HAS SOPS 391072 HAS SOUS 237658 HAS SOUPS 237658 WITH SCORE 238049.072
AT ITER 21 NEW BEST:: SOT 574555 SOS 390639 HAS SOPS 390639 HAS SOUS 237225 HAS SOUPS 237225 WITH SCORE 237615.639
AT ITER 25 NEW BEST:: SOT 574485 SOS 390567 HAS SOPS 390567 HAS SOUS 237221 HAS SOUPS 237221 WITH SCORE 237611.567
AT ITER 37 NEW BEST:: SOT 574301 SOS 390383 HAS SOPS 390383 HAS SOUS 237199 HAS SOUPS 237199 WITH SCORE 237589.383
AT ITER 44 NEW BEST:: SOT 573798 SOS 386525 HAS SOPS 386525 HAS SOUS 236502 HAS SOUPS 236502 WITH SCORE 236888.525
AT ITER 46 NEW BEST:: SOT 573600 SOS 386322 HAS SOPS 386322 HAS SOUS 236496 HAS SOUPS 236496 WITH SCORE 236882.322
AT ITER 48 NEW BEST:: SOT 572348 SOS 386565 HAS SOPS 386565 HAS SOUS 235398 HAS SOUPS 235398 WITH SCORE 235784.565
AT ITER 50 NEW BEST:: SOT 572230 SOS 386447 HAS SOPS 386447 HAS SOUS 235395 HAS SOUPS 235395 WITH SCORE 235781.447
AT ITER 53 NEW BEST:: SOT 564787 SOS 381710 HAS SOPS 381710 HAS SOUS 228424 HAS SOUPS 228424 WITH SCORE 228805.71
AT ITER 54 NEW BEST:: SOT 564787 SOS 381227 HAS SOPS 381227 HAS SOUS 228423 HAS SOUPS 228423 WITH SCORE 228804.227
AT ITER 56 NEW BEST:: SOT 564630 SOS 381070 HAS SOPS 381070 HAS SOUS 228266 HAS SOUPS 228266 WITH SCORE 228647.07
AT ITER 58 NEW BEST:: SOT 564630 SOS 378215 HAS SOPS 378215 HAS SOUS 227599 HAS SOUPS 227599 WITH SCORE 227977.215
AT ITER 61 NEW BEST:: SOT 564052 SOS 377880 HAS SOPS 377880 HAS SOUS 227252 HAS SOUPS 227252 WITH SCORE 227629.88
AT ITER 63 NEW BEST:: SOT 564044 SOS 377864 HAS SOPS 377864 HAS SOUS 227236 HAS SOUPS 227236 WITH SCORE 227613.864
AT ITER 69 NEW BEST:: SOT 563834 SOS 377771 HAS SOPS 377771 HAS SOUS 227236 HAS SOUPS 227236 WITH SCORE 227613.771
AT ITER 85 NEW BEST:: SOT 563834 SOS 375604 HAS SOPS 375604 HAS SOUS 226964 HAS SOUPS 226964 WITH SCORE 227339.604
AT ITER 92 NEW BEST:: SOT 563834 SOS 375555 HAS SOPS 375555 HAS SOUS 226915 HAS SOUPS 226915 WITH SCORE 227290.555
AT ITER 93 NEW BEST:: SOT 561385 SOS 373179 HAS SOPS 373179 HAS SOUS 224526 HAS SOUPS 224526 WITH SCORE 224899.179
AT ITER 94 NEW BEST:: SOT 560941 SOS 372735 HAS SOPS 372735 HAS SOUS 224082 HAS SOUPS 224082 WITH SCORE 224454.735
AT ITER 110 NEW BEST:: SOT 560680 SOS 372465 HAS SOPS 372465 HAS SOUS 223407 HAS SOUPS 223407 WITH SCORE 223779.465
AT ITER 120 NEW BEST:: SOT 560680 SOS 372463 HAS SOPS 372463 HAS SOUS 223405 HAS SOUPS 223405 WITH SCORE 223777.463
AT ITER 126 NEW BEST:: SOT 560356 SOS 371344 HAS SOPS 371344 HAS SOUS 222738 HAS SOUPS 222738 WITH SCORE 223109.344
AT ITER 128 NEW BEST:: SOT 560356 SOS 369713 HAS SOPS 369713 HAS SOUS 222738 HAS SOUPS 222738 WITH SCORE 223107.713
AT ITER 131 NEW BEST:: SOT 560356 SOS 369296 HAS SOPS 369296 HAS SOUS 222737 HAS SOUPS 222737 WITH SCORE 223106.296
AT ITER 135 NEW BEST:: SOT 560288 SOS 369228 HAS SOPS 369228 HAS SOUS 222667 HAS SOUPS 222667 WITH SCORE 223036.228
AT ITER 138 NEW BEST:: SOT 559833 SOS 368707 HAS SOPS 368707 HAS SOUS 222308 HAS SOUPS 222308 WITH SCORE 222676.707
AT ITER 155 NEW BEST:: SOT 557729 SOS 366603 HAS SOPS 366603 HAS SOUS 220204 HAS SOUPS 220204 WITH SCORE 220570.603
AT ITER 161 NEW BEST:: SOT 559142 SOS 367624 HAS SOPS 367624 HAS SOUS 220196 HAS SOUPS 220196 WITH SCORE 220563.624
AT ITER 169 NEW BEST:: SOT 559142 SOS 367108 HAS SOPS 367108 HAS SOUS 220177 HAS SOUPS 220177 WITH SCORE 220544.108
AT ITER 172 NEW BEST:: SOT 559142 SOS 366915 HAS SOPS 366915 HAS SOUS 219662 HAS SOUPS 219662 WITH SCORE 220028.915
AT ITER 173 NEW BEST:: SOT 556130 SOS 367657 HAS SOPS 367657 HAS SOUS 217151 HAS SOUPS 217151 WITH SCORE 217518.657
AT ITER 175 NEW BEST:: SOT 556251 SOS 367475 HAS SOPS 367475 HAS SOUS 216768 HAS SOUPS 216768 WITH SCORE 217135.475
AT ITER 177 NEW BEST:: SOT 556251 SOS 367475 HAS SOPS 367475 HAS SOUS 216765 HAS SOUPS 216765 WITH SCORE 217132.475
AT ITER 185 NEW BEST:: SOT 556251 SOS 367475 HAS SOPS 367475 HAS SOUS 216764 HAS SOUPS 216764 WITH SCORE 217131.475
AT ITER 188 NEW BEST:: SOT 556093 SOS 366169 HAS SOPS 366169 HAS SOUS 216446 HAS SOUPS 216446 WITH SCORE 216812.169
AT ITER 190 NEW BEST:: SOT 556093 SOS 366390 HAS SOPS 366390 HAS SOUS 216352 HAS SOUPS 216352 WITH SCORE 216718.39
AT ITER 191 NEW BEST:: SOT 555911 SOS 366680 HAS SOPS 366680 HAS SOUS 216052 HAS SOUPS 216052 WITH SCORE 216418.68
AT ITER 198 NEW BEST:: SOT 552112 SOS 362468 HAS SOPS 362468 HAS SOUS 212179 HAS SOUPS 212179 WITH SCORE 212541.468
AT ITER 201 NEW BEST:: SOT 552112 SOS 362461 HAS SOPS 362461 HAS SOUS 212172 HAS SOUPS 212172 WITH SCORE 212534.461
AT ITER 202 NEW BEST:: SOT 551456 SOS 361733 HAS SOPS 361733 HAS SOUS 211444 HAS SOUPS 211444 WITH SCORE 211805.733
AT ITER 204 NEW BEST:: SOT 551456 SOS 361461 HAS SOPS 361461 HAS SOUS 211444 HAS SOUPS 211444 WITH SCORE 211805.461
AT ITER 206 NEW BEST:: SOT 551082 SOS 359440 HAS SOPS 359440 HAS SOUS 210752 HAS SOUPS 210752 WITH SCORE 211111.44
AT ITER 209 NEW BEST:: SOT 551082 SOS 359439 HAS SOPS 359439 HAS SOUS 210751 HAS SOUPS 210751 WITH SCORE 211110.439
AT ITER 210 NEW BEST:: SOT 549882 SOS 358239 HAS SOPS 358239 HAS SOUS 209551 HAS SOUPS 209551 WITH SCORE 209909.239
AT ITER 211 NEW BEST:: SOT 549809 SOS 358199 HAS SOPS 358199 HAS SOUS 209511 HAS SOUPS 209511 WITH SCORE 209869.199
AT ITER 217 NEW BEST:: SOT 549634 SOS 357610 HAS SOPS 357610 HAS SOUS 209161 HAS SOUPS 209161 WITH SCORE 209518.61
AT ITER 218 NEW BEST:: SOT 549634 SOS 357607 HAS SOPS 357607 HAS SOUS 209161 HAS SOUPS 209161 WITH SCORE 209518.607
AT ITER 220 NEW BEST:: SOT 549634 SOS 357551 HAS SOPS 357551 HAS SOUS 209161 HAS SOUPS 209161 WITH SCORE 209518.551
AT ITER 227 NEW BEST:: SOT 549439 SOS 357355 HAS SOPS 357355 HAS SOUS 209158 HAS SOUPS 209158 WITH SCORE 209515.355
AT ITER 229 NEW BEST:: SOT 549395 SOS 357311 HAS SOPS 357311 HAS SOUS 209114 HAS SOUPS 209114 WITH SCORE 209471.311
AT ITER 234 NEW BEST:: SOT 549025 SOS 356670 HAS SOPS 356670 HAS SOUS 208744 HAS SOUPS 208744 WITH SCORE 209100.67
AT ITER 235 NEW BEST:: SOT 548878 SOS 356518 HAS SOPS 356518 HAS SOUS 208456 HAS SOUPS 208456 WITH SCORE 208812.518
AT ITER 244 NEW BEST:: SOT 548748 SOS 356366 HAS SOPS 356366 HAS SOUS 208434 HAS SOUPS 208434 WITH SCORE 208790.366
AT ITER 246 NEW BEST:: SOT 548238 SOS 356349 HAS SOPS 356349 HAS SOUS 208129 HAS SOUPS 208129 WITH SCORE 208485.349
AT ITER 248 NEW BEST:: SOT 548226 SOS 357250 HAS SOPS 357250 HAS SOUS 207981 HAS SOUPS 207981 WITH SCORE 208338.25
AT ITER 251 NEW BEST:: SOT 548275 SOS 356956 HAS SOPS 356956 HAS SOUS 207552 HAS SOUPS 207552 WITH SCORE 207908.956
AT ITER 254 NEW BEST:: SOT 548275 SOS 356930 HAS SOPS 356930 HAS SOUS 207552 HAS SOUPS 207552 WITH SCORE 207908.93
AT ITER 257 NEW BEST:: SOT 546963 SOS 355978 HAS SOPS 355978 HAS SOUS 206240 HAS SOUPS 206240 WITH SCORE 206595.978
AT ITER 259 NEW BEST:: SOT 546594 SOS 355597 HAS SOPS 355597 HAS SOUS 205859 HAS SOUPS 205859 WITH SCORE 206214.597
AT ITER 264 NEW BEST:: SOT 546393 SOS 355781 HAS SOPS 355781 HAS SOUS 205751 HAS SOUPS 205751 WITH SCORE 206106.781
AT ITER 269 NEW BEST:: SOT 546393 SOS 355767 HAS SOPS 355767 HAS SOUS 205737 HAS SOUPS 205737 WITH SCORE 206092.767
AT ITER 272 NEW BEST:: SOT 546520 SOS 355633 HAS SOPS 355633 HAS SOUS 205737 HAS SOUPS 205737 WITH SCORE 206092.633
AT ITER 279 NEW BEST:: SOT 546846 SOS 355633 HAS SOPS 355633 HAS SOUS 205434 HAS SOUPS 205434 WITH SCORE 205789.633
AT ITER 280 NEW BEST:: SOT 546846 SOS 355492 HAS SOPS 355492 HAS SOUS 205301 HAS SOUPS 205301 WITH SCORE 205656.492
AT ITER 284 NEW BEST:: SOT 546662 SOS 355308 HAS SOPS 355308 HAS SOUS 205299 HAS SOUPS 205299 WITH SCORE 205654.308
AT ITER 291 NEW BEST:: SOT 546662 SOS 355308 HAS SOPS 355308 HAS SOUS 205293 HAS SOUPS 205293 WITH SCORE 205648.308
AT ITER 293 NEW BEST:: SOT 546458 SOS 355104 HAS SOPS 355104 HAS SOUS 205280 HAS SOUPS 205280 WITH SCORE 205635.104
AT ITER 305 NEW BEST:: SOT 546464 SOS 354529 HAS SOPS 354529 HAS SOUS 204852 HAS SOUPS 204852 WITH SCORE 205206.529
AT ITER 307 NEW BEST:: SOT 546328 SOS 354929 HAS SOPS 354929 HAS SOUS 204805 HAS SOUPS 204805 WITH SCORE 205159.929
AT ITER 312 NEW BEST:: SOT 546328 SOS 354921 HAS SOPS 354921 HAS SOUS 204804 HAS SOUPS 204804 WITH SCORE 205158.921
AT ITER 313 NEW BEST:: SOT 546254 SOS 354492 HAS SOPS 354492 HAS SOUS 204375 HAS SOUPS 204375 WITH SCORE 204729.492
AT ITER 317 NEW BEST:: SOT 546130 SOS 354368 HAS SOPS 354368 HAS SOUS 204251 HAS SOUPS 204251 WITH SCORE 204605.368
AT ITER 321 NEW BEST:: SOT 545067 SOS 353981 HAS SOPS 353981 HAS SOUS 203542 HAS SOUPS 203542 WITH SCORE 203895.981
AT ITER 327 NEW BEST:: SOT 545067 SOS 353979 HAS SOPS 353979 HAS SOUS 203540 HAS SOUPS 203540 WITH SCORE 203893.979
AT ITER 330 NEW BEST:: SOT 540446 SOS 349358 HAS SOPS 349358 HAS SOUS 198919 HAS SOUPS 198919 WITH SCORE 199268.358
AT ITER 333 NEW BEST:: SOT 540122 SOS 348945 HAS SOPS 348945 HAS SOUS 198506 HAS SOUPS 198506 WITH SCORE 198854.945
AT ITER 338 NEW BEST:: SOT 537023 SOS 345719 HAS SOPS 345719 HAS SOUS 195280 HAS SOUPS 195280 WITH SCORE 195625.719
AT ITER 339 NEW BEST:: SOT 536973 SOS 345669 HAS SOPS 345669 HAS SOUS 195227 HAS SOUPS 195227 WITH SCORE 195572.669
AT ITER 352 NEW BEST:: SOT 537102 SOS 345223 HAS SOPS 345223 HAS SOUS 195054 HAS SOUPS 195054 WITH SCORE 195399.223
AT ITER 358 NEW BEST:: SOT 536824 SOS 344801 HAS SOPS 344801 HAS SOUS 194575 HAS SOUPS 194575 WITH SCORE 194919.801
AT ITER 360 NEW BEST:: SOT 536699 SOS 344217 HAS SOPS 344217 HAS SOUS 194450 HAS SOUPS 194450 WITH SCORE 194794.217
AT ITER 384 NEW BEST:: SOT 526023 SOS 331412 HAS SOPS 331412 HAS SOUS 182947 HAS SOUPS 182947 WITH SCORE 183278.412
AT ITER 388 NEW BEST:: SOT 525932 SOS 330382 HAS SOPS 330382 HAS SOUS 182822 HAS SOUPS 182822 WITH SCORE 183152.382
AT ITER 390 NEW BEST:: SOT 525932 SOS 330381 HAS SOPS 330381 HAS SOUS 182821 HAS SOUPS 182821 WITH SCORE 183151.381
AT ITER 395 NEW BEST:: SOT 525932 SOS 329845 HAS SOPS 329845 HAS SOUS 182674 HAS SOUPS 182674 WITH SCORE 183003.845
AT ITER 405 NEW BEST:: SOT 525932 SOS 329845 HAS SOPS 329845 HAS SOUS 182641 HAS SOUPS 182641 WITH SCORE 182970.845
AT ITER 406 NEW BEST:: SOT 525880 SOS 329793 HAS SOPS 329793 HAS SOUS 182588 HAS SOUPS 182588 WITH SCORE 182917.793
AT ITER 418 NEW BEST:: SOT 525652 SOS 329565 HAS SOPS 329565 HAS SOUS 182326 HAS SOUPS 182326 WITH SCORE 182655.565
AT ITER 437 NEW BEST:: SOT 525652 SOS 329561 HAS SOPS 329561 HAS SOUS 182324 HAS SOUPS 182324 WITH SCORE 182653.561
AT ITER 441 NEW BEST:: SOT 525652 SOS 329224 HAS SOPS 329224 HAS SOUS 182309 HAS SOUPS 182309 WITH SCORE 182638.224
AT ITER 446 NEW BEST:: SOT 525634 SOS 329170 HAS SOPS 329170 HAS SOUS 182255 HAS SOUPS 182255 WITH SCORE 182584.17
AT ITER 450 NEW BEST:: SOT 525600 SOS 329119 HAS SOPS 329119 HAS SOUS 182204 HAS SOUPS 182204 WITH SCORE 182533.119
AT ITER 460 NEW BEST:: SOT 525145 SOS 329774 HAS SOPS 329774 HAS SOUS 182018 HAS SOUPS 182018 WITH SCORE 182347.774
AT ITER 468 NEW BEST:: SOT 524844 SOS 329409 HAS SOPS 329409 HAS SOUS 181653 HAS SOUPS 181653 WITH SCORE 181982.409
AT ITER 470 NEW BEST:: SOT 524850 SOS 328928 HAS SOPS 328928 HAS SOUS 181270 HAS SOUPS 181270 WITH SCORE 181598.928
AT ITER 473 NEW BEST:: SOT 524774 SOS 328776 HAS SOPS 328776 HAS SOUS 181118 HAS SOUPS 181118 WITH SCORE 181446.776
AT ITER 475 NEW BEST:: SOT 524774 SOS 328217 HAS SOPS 328217 HAS SOUS 180422 HAS SOUPS 180422 WITH SCORE 180750.217
AT ITER 476 NEW BEST:: SOT 524647 SOS 327963 HAS SOPS 327963 HAS SOUS 180422 HAS SOUPS 180422 WITH SCORE 180749.963
AT ITER 481 NEW BEST:: SOT 524570 SOS 327896 HAS SOPS 327896 HAS SOUS 180421 HAS SOUPS 180421 WITH SCORE 180748.896
AT ITER 482 NEW BEST:: SOT 524517 SOS 327568 HAS SOPS 327568 HAS SOUS 180296 HAS SOUPS 180296 WITH SCORE 180623.568
AT ITER 484 NEW BEST:: SOT 524515 SOS 327164 HAS SOPS 327164 HAS SOUS 180281 HAS SOUPS 180281 WITH SCORE 180608.164
AT ITER 491 NEW BEST:: SOT 523498 SOS 326096 HAS SOPS 326096 HAS SOUS 179213 HAS SOUPS 179213 WITH SCORE 179539.096
AT ITER 499 NEW BEST:: SOT 523233 SOS 323859 HAS SOPS 323859 HAS SOUS 178673 HAS SOUPS 178673 WITH SCORE 178996.859
AT ITER 503 NEW BEST:: SOT 522954 SOS 323580 HAS SOPS 323580 HAS SOUS 178477 HAS SOUPS 178477 WITH SCORE 178800.58
AT ITER 512 NEW BEST:: SOT 522843 SOS 323469 HAS SOPS 323469 HAS SOUS 178366 HAS SOUPS 178366 WITH SCORE 178689.469
AT ITER 522 NEW BEST:: SOT 522843 SOS 323352 HAS SOPS 323352 HAS SOUS 178249 HAS SOUPS 178249 WITH SCORE 178572.352
AT ITER 525 NEW BEST:: SOT 522843 SOS 323337 HAS SOPS 323337 HAS SOUS 178204 HAS SOUPS 178204 WITH SCORE 178527.337
AT ITER 531 NEW BEST:: SOT 523026 SOS 323398 HAS SOPS 323398 HAS SOUS 178082 HAS SOUPS 178082 WITH SCORE 178405.398
AT ITER 553 NEW BEST:: SOT 523026 SOS 322675 HAS SOPS 322675 HAS SOUS 177546 HAS SOUPS 177546 WITH SCORE 177868.675
AT ITER 560 NEW BEST:: SOT 522867 SOS 321968 HAS SOPS 321968 HAS SOUS 177207 HAS SOUPS 177207 WITH SCORE 177528.968
AT ITER 562 NEW BEST:: SOT 522682 SOS 321783 HAS SOPS 321783 HAS SOUS 177204 HAS SOUPS 177204 WITH SCORE 177525.783
AT ITER 565 NEW BEST:: SOT 522774 SOS 321030 HAS SOPS 321030 HAS SOUS 176867 HAS SOUPS 176867 WITH SCORE 177188.03
AT ITER 569 NEW BEST:: SOT 522771 SOS 321027 HAS SOPS 321027 HAS SOUS 176863 HAS SOUPS 176863 WITH SCORE 177184.027
AT ITER 573 NEW BEST:: SOT 522863 SOS 321335 HAS SOPS 321335 HAS SOUS 176795 HAS SOUPS 176795 WITH SCORE 177116.335
AT ITER 575 NEW BEST:: SOT 522863 SOS 321335 HAS SOPS 321335 HAS SOUS 176793 HAS SOUPS 176793 WITH SCORE 177114.335
AT ITER 576 NEW BEST:: SOT 522646 SOS 320150 HAS SOPS 320150 HAS SOUS 176142 HAS SOUPS 176142 WITH SCORE 176462.15
AT ITER 585 NEW BEST:: SOT 522396 SOS 319161 HAS SOPS 319161 HAS SOUS 175932 HAS SOUPS 175932 WITH SCORE 176251.161
AT ITER 591 NEW BEST:: SOT 522377 SOS 319136 HAS SOPS 319136 HAS SOUS 175906 HAS SOUPS 175906 WITH SCORE 176225.136
AT ITER 607 NEW BEST:: SOT 522385 SOS 319144 HAS SOPS 319144 HAS SOUS 175902 HAS SOUPS 175902 WITH SCORE 176221.144
AT ITER 612 NEW BEST:: SOT 522385 SOS 319204 HAS SOPS 319204 HAS SOUS 175901 HAS SOUPS 175901 WITH SCORE 176220.204
AT ITER 620 NEW BEST:: SOT 522332 SOS 319151 HAS SOPS 319151 HAS SOUS 175848 HAS SOUPS 175848 WITH SCORE 176167.151
AT ITER 632 NEW BEST:: SOT 522241 SOS 319060 HAS SOPS 319060 HAS SOUS 175757 HAS SOUPS 175757 WITH SCORE 176076.06
AT ITER 635 NEW BEST:: SOT 522203 SOS 318946 HAS SOPS 318946 HAS SOUS 175605 HAS SOUPS 175605 WITH SCORE 175923.946
AT ITER 650 NEW BEST:: SOT 522184 SOS 318894 HAS SOPS 318894 HAS SOUS 175518 HAS SOUPS 175518 WITH SCORE 175836.894
AT ITER 651 NEW BEST:: SOT 522184 SOS 318682 HAS SOPS 318682 HAS SOUS 175491 HAS SOUPS 175491 WITH SCORE 175809.682
AT ITER 654 NEW BEST:: SOT 522102 SOS 317914 HAS SOPS 317914 HAS SOUS 175255 HAS SOUPS 175255 WITH SCORE 175572.914
AT ITER 656 NEW BEST:: SOT 521798 SOS 317549 HAS SOPS 317549 HAS SOUS 174708 HAS SOUPS 174708 WITH SCORE 175025.549
AT ITER 659 NEW BEST:: SOT 521798 SOS 317456 HAS SOPS 317456 HAS SOUS 174646 HAS SOUPS 174646 WITH SCORE 174963.456
AT ITER 675 NEW BEST:: SOT 521738 SOS 316984 HAS SOPS 316984 HAS SOUS 174526 HAS SOUPS 174526 WITH SCORE 174842.984
AT ITER 686 NEW BEST:: SOT 521738 SOS 316968 HAS SOPS 316968 HAS SOUS 174524 HAS SOUPS 174524 WITH SCORE 174840.968
AT ITER 699 NEW BEST:: SOT 521695 SOS 316960 HAS SOPS 316960 HAS SOUS 174523 HAS SOUPS 174523 WITH SCORE 174839.96
AT ITER 710 NEW BEST:: SOT 521797 SOS 314959 HAS SOPS 314959 HAS SOUS 174134 HAS SOUPS 174134 WITH SCORE 174448.959
AT ITER 716 NEW BEST:: SOT 521727 SOS 315375 HAS SOPS 315375 HAS SOUS 173902 HAS SOUPS 173902 WITH SCORE 174217.375
AT ITER 720 NEW BEST:: SOT 521436 SOS 315084 HAS SOPS 315084 HAS SOUS 173679 HAS SOUPS 173679 WITH SCORE 173994.084
AT ITER 723 NEW BEST:: SOT 521435 SOS 315083 HAS SOPS 315083 HAS SOUS 173677 HAS SOUPS 173677 WITH SCORE 173992.083
AT ITER 740 NEW BEST:: SOT 521244 SOS 314892 HAS SOPS 314892 HAS SOUS 173674 HAS SOUPS 173674 WITH SCORE 173988.892
AT ITER 758 NEW BEST:: SOT 521297 SOS 314742 HAS SOPS 314742 HAS SOUS 173440 HAS SOUPS 173440 WITH SCORE 173754.742
AT ITER 790 NEW BEST:: SOT 520902 SOS 314514 HAS SOPS 314514 HAS SOUS 173212 HAS SOUPS 173212 WITH SCORE 173526.514
AT ITER 797 NEW BEST:: SOT 520902 SOS 314600 HAS SOPS 314600 HAS SOUS 173068 HAS SOUPS 173068 WITH SCORE 173382.6
AT ITER 817 NEW BEST:: SOT 520873 SOS 314508 HAS SOPS 314508 HAS SOUS 173039 HAS SOUPS 173039 WITH SCORE 173353.508
AT ITER 822 NEW BEST:: SOT 520628 SOS 314263 HAS SOPS 314263 HAS SOUS 172794 HAS SOUPS 172794 WITH SCORE 173108.263
AT ITER 850 NEW BEST:: SOT 520521 SOS 314156 HAS SOPS 314156 HAS SOUS 172621 HAS SOUPS 172621 WITH SCORE 172935.156
AT ITER 853 NEW BEST:: SOT 520527 SOS 314274 HAS SOPS 314274 HAS SOUS 172616 HAS SOUPS 172616 WITH SCORE 172930.274
AT ITER 864 NEW BEST:: SOT 520527 SOS 314267 HAS SOPS 314267 HAS SOUS 172616 HAS SOUPS 172616 WITH SCORE 172930.267
AT ITER 869 NEW BEST:: SOT 520525 SOS 313999 HAS SOPS 313999 HAS SOUS 172612 HAS SOUPS 172612 WITH SCORE 172925.999
AT ITER 873 NEW BEST:: SOT 520523 SOS 313997 HAS SOPS 313997 HAS SOUS 172610 HAS SOUPS 172610 WITH SCORE 172923.997
AT ITER 878 NEW BEST:: SOT 520523 SOS 313997 HAS SOPS 313997 HAS SOUS 172582 HAS SOUPS 172582 WITH SCORE 172895.997
AT ITER 896 NEW BEST:: SOT 520287 SOS 313761 HAS SOPS 313761 HAS SOUS 172346 HAS SOUPS 172346 WITH SCORE 172659.761
AT ITER 906 NEW BEST:: SOT 520289 SOS 313763 HAS SOPS 313763 HAS SOUS 172251 HAS SOUPS 172251 WITH SCORE 172564.763
AT ITER 907 NEW BEST:: SOT 520163 SOS 313637 HAS SOPS 313637 HAS SOUS 172240 HAS SOUPS 172240 WITH SCORE 172553.637
AT ITER 914 NEW BEST:: SOT 520119 SOS 313587 HAS SOPS 313587 HAS SOUS 172194 HAS SOUPS 172194 WITH SCORE 172507.587
AT ITER 938 NEW BEST:: SOT 520269 SOS 313603 HAS SOPS 313603 HAS SOUS 172099 HAS SOUPS 172099 WITH SCORE 172412.603
AT ITER 940 NEW BEST:: SOT 519733 SOS 313067 HAS SOPS 313067 HAS SOUS 171738 HAS SOUPS 171738 WITH SCORE 172051.067
AT ITER 945 NEW BEST:: SOT 519316 SOS 312640 HAS SOPS 312640 HAS SOUS 171311 HAS SOUPS 171311 WITH SCORE 171623.64
AT ITER 946 NEW BEST:: SOT 519316 SOS 312208 HAS SOPS 312208 HAS SOUS 171210 HAS SOUPS 171210 WITH SCORE 171522.208
AT ITER 961 NEW BEST:: SOT 519160 SOS 312208 HAS SOPS 312208 HAS SOUS 171162 HAS SOUPS 171162 WITH SCORE 171474.208
AT ITER 962 NEW BEST:: SOT 519128 SOS 312199 HAS SOPS 312199 HAS SOUS 171153 HAS SOUPS 171153 WITH SCORE 171465.199
AT ITER 967 NEW BEST:: SOT 518824 SOS 311079 HAS SOPS 311079 HAS SOUS 170142 HAS SOUPS 170142 WITH SCORE 170453.079
AT ITER 973 NEW BEST:: SOT 519007 SOS 310947 HAS SOPS 310947 HAS SOUS 170010 HAS SOUPS 170010 WITH SCORE 170320.947
AT ITER 975 NEW BEST:: SOT 519007 SOS 310402 HAS SOPS 310402 HAS SOUS 169727 HAS SOUPS 169727 WITH SCORE 170037.402
AT ITER 979 NEW BEST:: SOT 518970 SOS 310365 HAS SOPS 310365 HAS SOUS 169689 HAS SOUPS 169689 WITH SCORE 169999.365
AT ITER 983 NEW BEST:: SOT 510792 SOS 307605 HAS SOPS 307605 HAS SOUS 161984 HAS SOUPS 161984 WITH SCORE 162291.605
AT ITER 993 NEW BEST:: SOT 510791 SOS 307604 HAS SOPS 307604 HAS SOUS 161982 HAS SOUPS 161982 WITH SCORE 162289.604
AT ITER 997 NEW BEST:: SOT 508461 SOS 308057 HAS SOPS 308057 HAS SOUS 160413 HAS SOUPS 160413 WITH SCORE 160721.057
AT ITER 999 NEW BEST:: SOT 508365 SOS 307961 HAS SOPS 307961 HAS SOUS 160343 HAS SOUPS 160343 WITH SCORE 160650.961
AT ITER 1000 NEW BEST:: SOT 507956 SOS 306829 HAS SOPS 306829 HAS SOUS 159723 HAS SOUPS 159723 WITH SCORE 160029.829
AT ITER 1002 NEW BEST:: SOT 507860 SOS 306772 HAS SOPS 306772 HAS SOUS 159681 HAS SOUPS 159681 WITH SCORE 159987.772
AT ITER 1004 NEW BEST:: SOT 507735 SOS 306522 HAS SOPS 306522 HAS SOUS 159431 HAS SOUPS 159431 WITH SCORE 159737.522
AT ITER 1020 NEW BEST:: SOT 507565 SOS 305906 HAS SOPS 305906 HAS SOUS 158986 HAS SOUPS 158986 WITH SCORE 159291.906
AT ITER 1025 NEW BEST:: SOT 507559 SOS 305894 HAS SOPS 305894 HAS SOUS 158986 HAS SOUPS 158986 WITH SCORE 159291.894
AT ITER 1027 NEW BEST:: SOT 507527 SOS 305602 HAS SOPS 305602 HAS SOUS 158622 HAS SOUPS 158622 WITH SCORE 158927.602
AT ITER 1031 NEW BEST:: SOT 507275 SOS 305350 HAS SOPS 305350 HAS SOUS 158169 HAS SOUPS 158169 WITH SCORE 158474.35
AT ITER 1040 NEW BEST:: SOT 507366 SOS 305440 HAS SOPS 305440 HAS SOUS 158084 HAS SOUPS 158084 WITH SCORE 158389.44
AT ITER 1052 NEW BEST:: SOT 507253 SOS 305386 HAS SOPS 305386 HAS SOUS 157917 HAS SOUPS 157917 WITH SCORE 158222.386
AT ITER 1054 NEW BEST:: SOT 507033 SOS 304861 HAS SOPS 304861 HAS SOUS 157357 HAS SOUPS 157357 WITH SCORE 157661.861
AT ITER 1058 NEW BEST:: SOT 507033 SOS 304833 HAS SOPS 304833 HAS SOUS 157357 HAS SOUPS 157357 WITH SCORE 157661.833
AT ITER 1060 NEW BEST:: SOT 506690 SOS 304003 HAS SOPS 304003 HAS SOUS 156527 HAS SOUPS 156527 WITH SCORE 156831.003
AT ITER 1064 NEW BEST:: SOT 507105 SOS 303510 HAS SOPS 303510 HAS SOUS 156034 HAS SOUPS 156034 WITH SCORE 156337.51
AT ITER 1066 NEW BEST:: SOT 507473 SOS 303778 HAS SOPS 303778 HAS SOUS 156028 HAS SOUPS 156028 WITH SCORE 156331.778
AT ITER 1078 NEW BEST:: SOT 507485 SOS 303198 HAS SOPS 303198 HAS SOUS 155802 HAS SOUPS 155802 WITH SCORE 156105.198
AT ITER 1079 NEW BEST:: SOT 507155 SOS 302193 HAS SOPS 302193 HAS SOUS 154797 HAS SOUPS 154797 WITH SCORE 155099.193
AT ITER 1082 NEW BEST:: SOT 507151 SOS 302118 HAS SOPS 302118 HAS SOUS 154793 HAS SOUPS 154793 WITH SCORE 155095.118
AT ITER 1086 NEW BEST:: SOT 506906 SOS 301609 HAS SOPS 301609 HAS SOUS 154548 HAS SOUPS 154548 WITH SCORE 154849.609
AT ITER 1099 NEW BEST:: SOT 506935 SOS 301506 HAS SOPS 301506 HAS SOUS 154445 HAS SOUPS 154445 WITH SCORE 154746.506
AT ITER 1104 NEW BEST:: SOT 506935 SOS 301393 HAS SOPS 301393 HAS SOUS 154445 HAS SOUPS 154445 WITH SCORE 154746.393
AT ITER 1108 NEW BEST:: SOT 506903 SOS 301361 HAS SOPS 301361 HAS SOUS 154413 HAS SOUPS 154413 WITH SCORE 154714.361
AT ITER 1117 NEW BEST:: SOT 506887 SOS 301330 HAS SOPS 301330 HAS SOUS 154394 HAS SOUPS 154394 WITH SCORE 154695.33
AT ITER 1118 NEW BEST:: SOT 506817 SOS 301260 HAS SOPS 301260 HAS SOUS 154210 HAS SOUPS 154210 WITH SCORE 154511.26
AT ITER 1148 NEW BEST:: SOT 501874 SOS 299789 HAS SOPS 299789 HAS SOUS 149974 HAS SOUPS 149974 WITH SCORE 150273.789
AT ITER 1170 NEW BEST:: SOT 501836 SOS 299751 HAS SOPS 299751 HAS SOUS 149898 HAS SOUPS 149898 WITH SCORE 150197.751
AT ITER 1175 NEW BEST:: SOT 501836 SOS 299731 HAS SOPS 299731 HAS SOUS 149722 HAS SOUPS 149722 WITH SCORE 150021.731
AT ITER 1176 NEW BEST:: SOT 501200 SOS 298826 HAS SOPS 298826 HAS SOUS 148817 HAS SOUPS 148817 WITH SCORE 149115.826
AT ITER 1183 NEW BEST:: SOT 501074 SOS 298674 HAS SOPS 298674 HAS SOUS 148665 HAS SOUPS 148665 WITH SCORE 148963.674
AT ITER 1216 NEW BEST:: SOT 501073 SOS 298673 HAS SOPS 298673 HAS SOUS 148664 HAS SOUPS 148664 WITH SCORE 148962.673
AT ITER 1232 NEW BEST:: SOT 501217 SOS 298829 HAS SOPS 298829 HAS SOUS 148657 HAS SOUPS 148657 WITH SCORE 148955.829
AT ITER 1239 NEW BEST:: SOT 501217 SOS 299156 HAS SOPS 299156 HAS SOUS 148649 HAS SOUPS 148649 WITH SCORE 148948.156
AT ITER 1245 NEW BEST:: SOT 501174 SOS 299063 HAS SOPS 299063 HAS SOUS 148556 HAS SOUPS 148556 WITH SCORE 148855.063
AT ITER 1252 NEW BEST:: SOT 501172 SOS 299021 HAS SOPS 299021 HAS SOUS 148550 HAS SOUPS 148550 WITH SCORE 148849.021
AT ITER 1254 NEW BEST:: SOT 501108 SOS 298957 HAS SOPS 298957 HAS SOUS 148422 HAS SOUPS 148422 WITH SCORE 148720.957
AT ITER 1293 NEW BEST:: SOT 500928 SOS 298558 HAS SOPS 298558 HAS SOUS 147742 HAS SOUPS 147742 WITH SCORE 148040.558
AT ITER 1295 NEW BEST:: SOT 500885 SOS 298558 HAS SOPS 298558 HAS SOUS 147735 HAS SOUPS 147735 WITH SCORE 148033.558
AT ITER 1296 NEW BEST:: SOT 500846 SOS 298106 HAS SOPS 298106 HAS SOUS 147589 HAS SOUPS 147589 WITH SCORE 147887.106
AT ITER 1299 NEW BEST:: SOT 500846 SOS 296768 HAS SOPS 296768 HAS SOUS 147589 HAS SOUPS 147589 WITH SCORE 147885.768
AT ITER 1300 NEW BEST:: SOT 500845 SOS 295228 HAS SOPS 295228 HAS SOUS 147528 HAS SOUPS 147528 WITH SCORE 147823.228
AT ITER 1303 NEW BEST:: SOT 500817 SOS 295107 HAS SOPS 295107 HAS SOUS 147472 HAS SOUPS 147472 WITH SCORE 147767.107
AT ITER 1306 NEW BEST:: SOT 500816 SOS 295022 HAS SOPS 295022 HAS SOUS 147469 HAS SOUPS 147469 WITH SCORE 147764.022
AT ITER 1309 NEW BEST:: SOT 500656 SOS 294406 HAS SOPS 294406 HAS SOUS 147088 HAS SOUPS 147088 WITH SCORE 147382.406
AT ITER 1310 NEW BEST:: SOT 500144 SOS 293862 HAS SOPS 293862 HAS SOUS 146544 HAS SOUPS 146544 WITH SCORE 146837.862
AT ITER 1315 NEW BEST:: SOT 499049 SOS 292767 HAS SOPS 292767 HAS SOUS 145448 HAS SOUPS 145448 WITH SCORE 145740.767
AT ITER 1316 NEW BEST:: SOT 499136 SOS 292392 HAS SOPS 292392 HAS SOUS 145073 HAS SOUPS 145073 WITH SCORE 145365.392
AT ITER 1328 NEW BEST:: SOT 495691 SOS 290576 HAS SOPS 290576 HAS SOUS 142347 HAS SOUPS 142347 WITH SCORE 142637.576
AT ITER 1333 NEW BEST:: SOT 495691 SOS 292355 HAS SOPS 292355 HAS SOUS 142056 HAS SOUPS 142056 WITH SCORE 142348.355
AT ITER 1339 NEW BEST:: SOT 495700 SOS 290204 HAS SOPS 290204 HAS SOUS 141939 HAS SOUPS 141939 WITH SCORE 142229.204
AT ITER 1345 NEW BEST:: SOT 495700 SOS 290191 HAS SOPS 290191 HAS SOUS 141913 HAS SOUPS 141913 WITH SCORE 142203.191
AT ITER 1373 NEW BEST:: SOT 495695 SOS 289814 HAS SOPS 289814 HAS SOUS 141903 HAS SOUPS 141903 WITH SCORE 142192.814
AT ITER 1377 NEW BEST:: SOT 495877 SOS 290101 HAS SOPS 290101 HAS SOUS 141361 HAS SOUPS 141361 WITH SCORE 141651.101
AT ITER 1382 NEW BEST:: SOT 495873 SOS 290528 HAS SOPS 290528 HAS SOUS 141359 HAS SOUPS 141359 WITH SCORE 141649.528
AT ITER 1395 NEW BEST:: SOT 495837 SOS 290492 HAS SOPS 290492 HAS SOUS 141287 HAS SOUPS 141287 WITH SCORE 141577.492
AT ITER 1405 NEW BEST:: SOT 495567 SOS 290221 HAS SOPS 290221 HAS SOUS 141086 HAS SOUPS 141086 WITH SCORE 141376.221
AT ITER 1409 NEW BEST:: SOT 495567 SOS 290208 HAS SOPS 290208 HAS SOUS 141060 HAS SOUPS 141060 WITH SCORE 141350.208
AT ITER 1420 NEW BEST:: SOT 495561 SOS 290305 HAS SOPS 290305 HAS SOUS 141053 HAS SOUPS 141053 WITH SCORE 141343.305
AT ITER 1422 NEW BEST:: SOT 495552 SOS 290296 HAS SOPS 290296 HAS SOUS 141044 HAS SOUPS 141044 WITH SCORE 141334.296
AT ITER 1424 NEW BEST:: SOT 495536 SOS 290280 HAS SOPS 290280 HAS SOUS 141027 HAS SOUPS 141027 WITH SCORE 141317.28
AT ITER 1438 NEW BEST:: SOT 495542 SOS 290262 HAS SOPS 290262 HAS SOUS 141024 HAS SOUPS 141024 WITH SCORE 141314.262
AT ITER 1449 NEW BEST:: SOT 495491 SOS 290211 HAS SOPS 290211 HAS SOUS 140875 HAS SOUPS 140875 WITH SCORE 141165.211
AT ITER 1464 NEW BEST:: SOT 495434 SOS 290097 HAS SOPS 290097 HAS SOUS 140761 HAS SOUPS 140761 WITH SCORE 141051.097
AT ITER 1472 NEW BEST:: SOT 495434 SOS 289912 HAS SOPS 289912 HAS SOUS 140576 HAS SOUPS 140576 WITH SCORE 140865.912
AT ITER 1487 NEW BEST:: SOT 495422 SOS 289906 HAS SOPS 289906 HAS SOUS 140566 HAS SOUPS 140566 WITH SCORE 140855.906
AT ITER 1503 NEW BEST:: SOT 495074 SOS 289905 HAS SOPS 289905 HAS SOUS 140305 HAS SOUPS 140305 WITH SCORE 140594.905
AT ITER 1507 NEW BEST:: SOT 495047 SOS 289878 HAS SOPS 289878 HAS SOUS 140138 HAS SOUPS 140138 WITH SCORE 140427.878
AT ITER 1558 NEW BEST:: SOT 491185 SOS 287700 HAS SOPS 287700 HAS SOUS 136827 HAS SOUPS 136827 WITH SCORE 137114.7
AT ITER 1562 NEW BEST:: SOT 491185 SOS 287616 HAS SOPS 287616 HAS SOUS 136781 HAS SOUPS 136781 WITH SCORE 137068.616
AT ITER 1566 NEW BEST:: SOT 491185 SOS 287614 HAS SOPS 287614 HAS SOUS 136775 HAS SOUPS 136775 WITH SCORE 137062.614
AT ITER 1588 NEW BEST:: SOT 491185 SOS 287654 HAS SOPS 287654 HAS SOUS 136584 HAS SOUPS 136584 WITH SCORE 136871.654
AT ITER 1600 NEW BEST:: SOT 491135 SOS 287643 HAS SOPS 287643 HAS SOUS 136572 HAS SOUPS 136572 WITH SCORE 136859.643
AT ITER 1602 NEW BEST:: SOT 491135 SOS 287640 HAS SOPS 287640 HAS SOUS 136563 HAS SOUPS 136563 WITH SCORE 136850.64
AT ITER 1613 NEW BEST:: SOT 491135 SOS 287623 HAS SOPS 287623 HAS SOUS 136563 HAS SOUPS 136563 WITH SCORE 136850.623
AT ITER 1623 NEW BEST:: SOT 490843 SOS 287331 HAS SOPS 287331 HAS SOUS 136270 HAS SOUPS 136270 WITH SCORE 136557.331
AT ITER 1628 NEW BEST:: SOT 490703 SOS 287191 HAS SOPS 287191 HAS SOUS 136032 HAS SOUPS 136032 WITH SCORE 136319.191
AT ITER 1629 NEW BEST:: SOT 490703 SOS 285507 HAS SOPS 285507 HAS SOUS 135970 HAS SOUPS 135970 WITH SCORE 136255.507
AT ITER 1640 NEW BEST:: SOT 488233 SOS 282706 HAS SOPS 282706 HAS SOUS 133330 HAS SOUPS 133330 WITH SCORE 133612.706
AT ITER 1661 NEW BEST:: SOT 488193 SOS 282661 HAS SOPS 282661 HAS SOUS 133285 HAS SOUPS 133285 WITH SCORE 133567.661
AT ITER 1662 NEW BEST:: SOT 488190 SOS 281866 HAS SOPS 281866 HAS SOUS 133279 HAS SOUPS 133279 WITH SCORE 133560.866
AT ITER 1665 NEW BEST:: SOT 488182 SOS 281858 HAS SOPS 281858 HAS SOUS 133263 HAS SOUPS 133263 WITH SCORE 133544.858
AT ITER 1667 NEW BEST:: SOT 488173 SOS 281841 HAS SOPS 281841 HAS SOUS 133245 HAS SOUPS 133245 WITH SCORE 133526.841
AT ITER 1675 NEW BEST:: SOT 488016 SOS 281180 HAS SOPS 281180 HAS SOUS 132584 HAS SOUPS 132584 WITH SCORE 132865.18
AT ITER 1684 NEW BEST:: SOT 488016 SOS 281180 HAS SOPS 281180 HAS SOUS 132560 HAS SOUPS 132560 WITH SCORE 132841.18
AT ITER 1685 NEW BEST:: SOT 488010 SOS 281174 HAS SOPS 281174 HAS SOUS 132548 HAS SOUPS 132548 WITH SCORE 132829.174
AT ITER 1689 NEW BEST:: SOT 488003 SOS 281350 HAS SOPS 281350 HAS SOUS 132539 HAS SOUPS 132539 WITH SCORE 132820.35
AT ITER 1693 NEW BEST:: SOT 487918 SOS 281265 HAS SOPS 281265 HAS SOUS 132454 HAS SOUPS 132454 WITH SCORE 132735.265
AT ITER 1694 NEW BEST:: SOT 487790 SOS 281137 HAS SOPS 281137 HAS SOUS 132326 HAS SOUPS 132326 WITH SCORE 132607.137
AT ITER 1702 NEW BEST:: SOT 487896 SOS 278839 HAS SOPS 278839 HAS SOUS 132249 HAS SOUPS 132249 WITH SCORE 132527.839
AT ITER 1707 NEW BEST:: SOT 487660 SOS 278304 HAS SOPS 278304 HAS SOUS 131714 HAS SOUPS 131714 WITH SCORE 131992.304
AT ITER 1713 NEW BEST:: SOT 487608 SOS 278252 HAS SOPS 278252 HAS SOUS 131558 HAS SOUPS 131558 WITH SCORE 131836.252
AT ITER 1720 NEW BEST:: SOT 487724 SOS 278452 HAS SOPS 278452 HAS SOUS 131359 HAS SOUPS 131359 WITH SCORE 131637.452
AT ITER 1733 NEW BEST:: SOT 486788 SOS 277516 HAS SOPS 277516 HAS SOUS 130423 HAS SOUPS 130423 WITH SCORE 130700.516
AT ITER 1735 NEW BEST:: SOT 486189 SOS 276911 HAS SOPS 276911 HAS SOUS 130010 HAS SOUPS 130010 WITH SCORE 130286.911
AT ITER 1744 NEW BEST:: SOT 486084 SOS 276780 HAS SOPS 276780 HAS SOUS 129874 HAS SOUPS 129874 WITH SCORE 130150.78
AT ITER 1746 NEW BEST:: SOT 486080 SOS 276776 HAS SOPS 276776 HAS SOUS 129870 HAS SOUPS 129870 WITH SCORE 130146.776
AT ITER 1755 NEW BEST:: SOT 484782 SOS 275551 HAS SOPS 275551 HAS SOUS 128642 HAS SOUPS 128642 WITH SCORE 128917.551
AT ITER 1756 NEW BEST:: SOT 484768 SOS 275369 HAS SOPS 275369 HAS SOUS 128550 HAS SOUPS 128550 WITH SCORE 128825.369
AT ITER 1777 NEW BEST:: SOT 484726 SOS 275305 HAS SOPS 275305 HAS SOUS 128486 HAS SOUPS 128486 WITH SCORE 128761.305
AT ITER 1792 NEW BEST:: SOT 483414 SOS 275841 HAS SOPS 275841 HAS SOUS 127334 HAS SOUPS 127334 WITH SCORE 127609.841
AT ITER 1804 NEW BEST:: SOT 483491 SOS 275918 HAS SOPS 275918 HAS SOUS 127315 HAS SOUPS 127315 WITH SCORE 127590.918
AT ITER 1806 NEW BEST:: SOT 483455 SOS 275882 HAS SOPS 275882 HAS SOUS 127314 HAS SOUPS 127314 WITH SCORE 127589.882
AT ITER 1817 NEW BEST:: SOT 483453 SOS 275880 HAS SOPS 275880 HAS SOUS 127312 HAS SOUPS 127312 WITH SCORE 127587.88
AT ITER 1820 NEW BEST:: SOT 483452 SOS 275834 HAS SOPS 275834 HAS SOUS 127310 HAS SOUPS 127310 WITH SCORE 127585.834
AT ITER 1826 NEW BEST:: SOT 483413 SOS 275864 HAS SOPS 275864 HAS SOUS 127215 HAS SOUPS 127215 WITH SCORE 127490.864
AT ITER 1846 NEW BEST:: SOT 483046 SOS 275205 HAS SOPS 275205 HAS SOUS 126556 HAS SOUPS 126556 WITH SCORE 126831.205
AT ITER 1847 NEW BEST:: SOT 482988 SOS 275155 HAS SOPS 275155 HAS SOUS 126463 HAS SOUPS 126463 WITH SCORE 126738.155
AT ITER 1848 NEW BEST:: SOT 482988 SOS 275124 HAS SOPS 275124 HAS SOUS 126463 HAS SOUPS 126463 WITH SCORE 126738.124
AT ITER 1854 NEW BEST:: SOT 482768 SOS 274863 HAS SOPS 274863 HAS SOUS 126201 HAS SOUPS 126201 WITH SCORE 126475.863
AT ITER 1869 NEW BEST:: SOT 482751 SOS 274846 HAS SOPS 274846 HAS SOUS 126184 HAS SOUPS 126184 WITH SCORE 126458.846
AT ITER 1886 NEW BEST:: SOT 482751 SOS 274995 HAS SOPS 274995 HAS SOUS 126107 HAS SOUPS 126107 WITH SCORE 126381.995
AT ITER 1895 NEW BEST:: SOT 482740 SOS 274642 HAS SOPS 274642 HAS SOUS 126103 HAS SOUPS 126103 WITH SCORE 126377.642
AT ITER 1921 NEW BEST:: SOT 482830 SOS 274550 HAS SOPS 274550 HAS SOUS 126068 HAS SOUPS 126068 WITH SCORE 126342.55
AT ITER 1947 NEW BEST:: SOT 482823 SOS 274551 HAS SOPS 274551 HAS SOUS 126067 HAS SOUPS 126067 WITH SCORE 126341.551
AT ITER 1959 NEW BEST:: SOT 482735 SOS 274485 HAS SOPS 274485 HAS SOUS 125968 HAS SOUPS 125968 WITH SCORE 126242.485
AT ITER 1968 NEW BEST:: SOT 482710 SOS 274460 HAS SOPS 274460 HAS SOUS 125892 HAS SOUPS 125892 WITH SCORE 126166.46
AT ITER 1995 NEW BEST:: SOT 482706 SOS 275210 HAS SOPS 275210 HAS SOUS 125890 HAS SOUPS 125890 WITH SCORE 126165.21
AT ITER 1997 NEW BEST:: SOT 482675 SOS 274938 HAS SOPS 274938 HAS SOUS 125618 HAS SOUPS 125618 WITH SCORE 125892.938
AT ITER 2001 NEW BEST:: SOT 482614 SOS 274877 HAS SOPS 274877 HAS SOUS 125516 HAS SOUPS 125516 WITH SCORE 125790.877
AT ITER 2003 NEW BEST:: SOT 482458 SOS 274721 HAS SOPS 274721 HAS SOUS 125360 HAS SOUPS 125360 WITH SCORE 125634.721
AT ITER 2014 NEW BEST:: SOT 482331 SOS 274594 HAS SOPS 274594 HAS SOUS 125233 HAS SOUPS 125233 WITH SCORE 125507.594
AT ITER 2019 NEW BEST:: SOT 482225 SOS 274488 HAS SOPS 274488 HAS SOUS 125126 HAS SOUPS 125126 WITH SCORE 125400.488
AT ITER 2027 NEW BEST:: SOT 482192 SOS 274455 HAS SOPS 274455 HAS SOUS 125093 HAS SOUPS 125093 WITH SCORE 125367.455
AT ITER 2028 NEW BEST:: SOT 481492 SOS 273754 HAS SOPS 273754 HAS SOUS 124389 HAS SOUPS 124389 WITH SCORE 124662.754
AT ITER 2035 NEW BEST:: SOT 481431 SOS 273675 HAS SOPS 273675 HAS SOUS 124267 HAS SOUPS 124267 WITH SCORE 124540.675
AT ITER 2046 NEW BEST:: SOT 481225 SOS 273469 HAS SOPS 273469 HAS SOUS 123998 HAS SOUPS 123998 WITH SCORE 124271.469
AT ITER 2057 NEW BEST:: SOT 481210 SOS 273400 HAS SOPS 273400 HAS SOUS 123929 HAS SOUPS 123929 WITH SCORE 124202.4
AT ITER 2087 NEW BEST:: SOT 481409 SOS 273393 HAS SOPS 273393 HAS SOUS 123848 HAS SOUPS 123848 WITH SCORE 124121.393
AT ITER 2090 NEW BEST:: SOT 481333 SOS 273317 HAS SOPS 273317 HAS SOUS 123846 HAS SOUPS 123846 WITH SCORE 124119.317
AT ITER 2137 NEW BEST:: SOT 481376 SOS 272877 HAS SOPS 272877 HAS SOUS 123770 HAS SOUPS 123770 WITH SCORE 124042.877
AT ITER 2142 NEW BEST:: SOT 481346 SOS 272847 HAS SOPS 272847 HAS SOUS 123740 HAS SOUPS 123740 WITH SCORE 124012.847
AT ITER 2150 NEW BEST:: SOT 481272 SOS 272700 HAS SOPS 272700 HAS SOUS 123665 HAS SOUPS 123665 WITH SCORE 123937.7
AT ITER 2164 NEW BEST:: SOT 481291 SOS 272285 HAS SOPS 272285 HAS SOUS 123618 HAS SOUPS 123618 WITH SCORE 123890.285
AT ITER 2165 NEW BEST:: SOT 481282 SOS 272267 HAS SOPS 272267 HAS SOUS 123565 HAS SOUPS 123565 WITH SCORE 123837.267
AT ITER 2166 NEW BEST:: SOT 481307 SOS 272292 HAS SOPS 272292 HAS SOUS 123507 HAS SOUPS 123507 WITH SCORE 123779.292
AT ITER 2171 NEW BEST:: SOT 480996 SOS 271670 HAS SOPS 271670 HAS SOUS 122885 HAS SOUPS 122885 WITH SCORE 123156.67
AT ITER 2184 NEW BEST:: SOT 480996 SOS 272142 HAS SOPS 272142 HAS SOUS 122873 HAS SOUPS 122873 WITH SCORE 123145.142
AT ITER 2194 NEW BEST:: SOT 480996 SOS 272138 HAS SOPS 272138 HAS SOUS 122869 HAS SOUPS 122869 WITH SCORE 123141.138
AT ITER 2198 NEW BEST:: SOT 480809 SOS 271844 HAS SOPS 271844 HAS SOUS 122495 HAS SOUPS 122495 WITH SCORE 122766.844
AT ITER 2206 NEW BEST:: SOT 480515 SOS 271541 HAS SOPS 271541 HAS SOUS 122192 HAS SOUPS 122192 WITH SCORE 122463.541
AT ITER 2207 NEW BEST:: SOT 480515 SOS 270886 HAS SOPS 270886 HAS SOUS 122140 HAS SOUPS 122140 WITH SCORE 122410.886
AT ITER 2226 NEW BEST:: SOT 480465 SOS 270836 HAS SOPS 270836 HAS SOUS 122102 HAS SOUPS 122102 WITH SCORE 122372.836
AT ITER 2229 NEW BEST:: SOT 480463 SOS 270834 HAS SOPS 270834 HAS SOUS 122098 HAS SOUPS 122098 WITH SCORE 122368.834
AT ITER 2238 NEW BEST:: SOT 480422 SOS 270793 HAS SOPS 270793 HAS SOUS 122057 HAS SOUPS 122057 WITH SCORE 122327.793
AT ITER 2239 NEW BEST:: SOT 480531 SOS 273348 HAS SOPS 273348 HAS SOUS 121876 HAS SOUPS 121876 WITH SCORE 122149.348
AT ITER 2241 NEW BEST:: SOT 480223 SOS 274067 HAS SOPS 274067 HAS SOUS 121568 HAS SOUPS 121568 WITH SCORE 121842.067
AT ITER 2244 NEW BEST:: SOT 480144 SOS 273887 HAS SOPS 273887 HAS SOUS 121436 HAS SOUPS 121436 WITH SCORE 121709.887
AT ITER 2259 NEW BEST:: SOT 480112 SOS 273855 HAS SOPS 273855 HAS SOUS 121403 HAS SOUPS 121403 WITH SCORE 121676.855
AT ITER 2262 NEW BEST:: SOT 480102 SOS 273835 HAS SOPS 273835 HAS SOUS 121383 HAS SOUPS 121383 WITH SCORE 121656.835
AT ITER 2283 NEW BEST:: SOT 480006 SOS 273631 HAS SOPS 273631 HAS SOUS 121275 HAS SOUPS 121275 WITH SCORE 121548.631
AT ITER 2287 NEW BEST:: SOT 479991 SOS 273599 HAS SOPS 273599 HAS SOUS 121245 HAS SOUPS 121245 WITH SCORE 121518.599
AT ITER 2305 NEW BEST:: SOT 479961 SOS 273569 HAS SOPS 273569 HAS SOUS 121129 HAS SOUPS 121129 WITH SCORE 121402.569
AT ITER 2307 NEW BEST:: SOT 479961 SOS 273417 HAS SOPS 273417 HAS SOUS 121129 HAS SOUPS 121129 WITH SCORE 121402.417
AT ITER 2309 NEW BEST:: SOT 479916 SOS 273285 HAS SOPS 273285 HAS SOUS 120997 HAS SOUPS 120997 WITH SCORE 121270.285
AT ITER 2312 NEW BEST:: SOT 479914 SOS 273025 HAS SOPS 273025 HAS SOUS 120902 HAS SOUPS 120902 WITH SCORE 121175.025
AT ITER 2331 NEW BEST:: SOT 479774 SOS 272885 HAS SOPS 272885 HAS SOUS 120762 HAS SOUPS 120762 WITH SCORE 121034.885
AT ITER 2337 NEW BEST:: SOT 479658 SOS 272751 HAS SOPS 272751 HAS SOUS 120628 HAS SOUPS 120628 WITH SCORE 120900.751
AT ITER 2355 NEW BEST:: SOT 479526 SOS 272619 HAS SOPS 272619 HAS SOUS 120553 HAS SOUPS 120553 WITH SCORE 120825.619
AT ITER 2392 NEW BEST:: SOT 479490 SOS 272580 HAS SOPS 272580 HAS SOUS 120550 HAS SOUPS 120550 WITH SCORE 120822.58
AT ITER 2403 NEW BEST:: SOT 479413 SOS 272434 HAS SOPS 272434 HAS SOUS 120327 HAS SOUPS 120327 WITH SCORE 120599.434
AT ITER 2404 NEW BEST:: SOT 479414 SOS 272417 HAS SOPS 272417 HAS SOUS 120310 HAS SOUPS 120310 WITH SCORE 120582.417
AT ITER 2411 NEW BEST:: SOT 479412 SOS 272415 HAS SOPS 272415 HAS SOUS 120298 HAS SOUPS 120298 WITH SCORE 120570.415
AT ITER 2412 NEW BEST:: SOT 479365 SOS 272317 HAS SOPS 272317 HAS SOUS 120204 HAS SOUPS 120204 WITH SCORE 120476.317
AT ITER 2414 NEW BEST:: SOT 479308 SOS 272260 HAS SOPS 272260 HAS SOUS 120095 HAS SOUPS 120095 WITH SCORE 120367.26
AT ITER 2433 NEW BEST:: SOT 479242 SOS 272362 HAS SOPS 272362 HAS SOUS 120021 HAS SOUPS 120021 WITH SCORE 120293.362
AT ITER 2437 NEW BEST:: SOT 479178 SOS 272331 HAS SOPS 272331 HAS SOUS 119966 HAS SOUPS 119966 WITH SCORE 120238.331
AT ITER 2442 NEW BEST:: SOT 479208 SOS 272131 HAS SOPS 272131 HAS SOUS 119965 HAS SOUPS 119965 WITH SCORE 120237.131
AT ITER 2448 NEW BEST:: SOT 478594 SOS 271583 HAS SOPS 271583 HAS SOUS 119180 HAS SOUPS 119180 WITH SCORE 119451.583
AT ITER 2452 NEW BEST:: SOT 478524 SOS 271485 HAS SOPS 271485 HAS SOUS 119157 HAS SOUPS 119157 WITH SCORE 119428.485
AT ITER 2463 NEW BEST:: SOT 478297 SOS 270725 HAS SOPS 270725 HAS SOUS 118858 HAS SOUPS 118858 WITH SCORE 119128.725
AT ITER 2475 NEW BEST:: SOT 478076 SOS 270405 HAS SOPS 270405 HAS SOUS 118538 HAS SOUPS 118538 WITH SCORE 118808.405
AT ITER 2501 NEW BEST:: SOT 478044 SOS 269529 HAS SOPS 269529 HAS SOUS 118516 HAS SOUPS 118516 WITH SCORE 118785.529
AT ITER 2506 NEW BEST:: SOT 478033 SOS 269518 HAS SOPS 269518 HAS SOUS 118505 HAS SOUPS 118505 WITH SCORE 118774.518
AT ITER 2513 NEW BEST:: SOT 477983 SOS 269468 HAS SOPS 269468 HAS SOUS 118437 HAS SOUPS 118437 WITH SCORE 118706.468
AT ITER 2515 NEW BEST:: SOT 477983 SOS 269337 HAS SOPS 269337 HAS SOUS 118365 HAS SOUPS 118365 WITH SCORE 118634.337
AT ITER 2519 NEW BEST:: SOT 477943 SOS 269586 HAS SOPS 269586 HAS SOUS 118317 HAS SOUPS 118317 WITH SCORE 118586.586
AT ITER 2530 NEW BEST:: SOT 477108 SOS 268690 HAS SOPS 268690 HAS SOUS 117360 HAS SOUPS 117360 WITH SCORE 117628.69
AT ITER 2545 NEW BEST:: SOT 477066 SOS 268648 HAS SOPS 268648 HAS SOUS 117318 HAS SOUPS 117318 WITH SCORE 117586.648
AT ITER 2570 NEW BEST:: SOT 477046 SOS 268608 HAS SOPS 268608 HAS SOUS 117296 HAS SOUPS 117296 WITH SCORE 117564.608
AT ITER 2584 NEW BEST:: SOT 476948 SOS 267764 HAS SOPS 267764 HAS SOUS 117100 HAS SOUPS 117100 WITH SCORE 117367.764
AT ITER 2602 NEW BEST:: SOT 477093 SOS 268020 HAS SOPS 268020 HAS SOUS 117087 HAS SOUPS 117087 WITH SCORE 117355.02
AT ITER 2604 NEW BEST:: SOT 476778 SOS 267441 HAS SOPS 267441 HAS SOUS 116596 HAS SOUPS 116596 WITH SCORE 116863.441
AT ITER 2635 NEW BEST:: SOT 476679 SOS 267284 HAS SOPS 267284 HAS SOUS 116589 HAS SOUPS 116589 WITH SCORE 116856.284
AT ITER 2647 NEW BEST:: SOT 476559 SOS 267044 HAS SOPS 267044 HAS SOUS 116349 HAS SOUPS 116349 WITH SCORE 116616.044
AT ITER 2653 NEW BEST:: SOT 476025 SOS 267887 HAS SOPS 267887 HAS SOUS 116291 HAS SOUPS 116291 WITH SCORE 116558.887
AT ITER 2659 NEW BEST:: SOT 476224 SOS 268014 HAS SOPS 268014 HAS SOUS 116230 HAS SOUPS 116230 WITH SCORE 116498.014
AT ITER 2669 NEW BEST:: SOT 476158 SOS 267948 HAS SOPS 267948 HAS SOUS 116164 HAS SOUPS 116164 WITH SCORE 116431.948
AT ITER 2687 NEW BEST:: SOT 476158 SOS 267147 HAS SOPS 267147 HAS SOUS 116164 HAS SOUPS 116164 WITH SCORE 116431.147
AT ITER 2720 NEW BEST:: SOT 476164 SOS 267144 HAS SOPS 267144 HAS SOUS 115775 HAS SOUPS 115775 WITH SCORE 116042.144
AT ITER 2733 NEW BEST:: SOT 476043 SOS 266835 HAS SOPS 266835 HAS SOUS 115507 HAS SOUPS 115507 WITH SCORE 115773.835
AT ITER 2753 NEW BEST:: SOT 475886 SOS 266678 HAS SOPS 266678 HAS SOUS 115350 HAS SOUPS 115350 WITH SCORE 115616.678
AT ITER 2777 NEW BEST:: SOT 475598 SOS 266461 HAS SOPS 266461 HAS SOUS 115107 HAS SOUPS 115107 WITH SCORE 115373.461
AT ITER 2809 NEW BEST:: SOT 475534 SOS 266397 HAS SOPS 266397 HAS SOUS 115084 HAS SOUPS 115084 WITH SCORE 115350.397
AT ITER 2813 NEW BEST:: SOT 475444 SOS 265993 HAS SOPS 265993 HAS SOUS 114876 HAS SOUPS 114876 WITH SCORE 115141.993
AT ITER 2850 NEW BEST:: SOT 475260 SOS 265809 HAS SOPS 265809 HAS SOUS 114692 HAS SOUPS 114692 WITH SCORE 114957.809
AT ITER 2858 NEW BEST:: SOT 475238 SOS 265787 HAS SOPS 265787 HAS SOUS 114648 HAS SOUPS 114648 WITH SCORE 114913.787
AT ITER 2859 NEW BEST:: SOT 474791 SOS 265733 HAS SOPS 265733 HAS SOUS 114587 HAS SOUPS 114587 WITH SCORE 114852.733
AT ITER 2873 NEW BEST:: SOT 474706 SOS 265593 HAS SOPS 265593 HAS SOUS 114493 HAS SOUPS 114493 WITH SCORE 114758.593
AT ITER 2880 NEW BEST:: SOT 474705 SOS 265592 HAS SOPS 265592 HAS SOUS 114492 HAS SOUPS 114492 WITH SCORE 114757.592
AT ITER 2893 NEW BEST:: SOT 474663 SOS 265550 HAS SOPS 265550 HAS SOUS 114408 HAS SOUPS 114408 WITH SCORE 114673.55
AT ITER 2896 NEW BEST:: SOT 474659 SOS 265546 HAS SOPS 265546 HAS SOUS 114404 HAS SOUPS 114404 WITH SCORE 114669.546
AT ITER 2931 NEW BEST:: SOT 474585 SOS 265398 HAS SOPS 265398 HAS SOUS 114330 HAS SOUPS 114330 WITH SCORE 114595.398
AT ITER 2935 NEW BEST:: SOT 474550 SOS 265279 HAS SOPS 265279 HAS SOUS 114211 HAS SOUPS 114211 WITH SCORE 114476.279
AT ITER 2943 NEW BEST:: SOT 474340 SOS 264907 HAS SOPS 264907 HAS SOUS 113823 HAS SOUPS 113823 WITH SCORE 114087.907
AT ITER 3011 NEW BEST:: SOT 474294 SOS 264848 HAS SOPS 264848 HAS SOUS 113810 HAS SOUPS 113810 WITH SCORE 114074.848
AT ITER 3038 NEW BEST:: SOT 474152 SOS 263125 HAS SOPS 263125 HAS SOUS 113529 HAS SOUPS 113529 WITH SCORE 113792.125
AT ITER 3047 NEW BEST:: SOT 474145 SOS 263129 HAS SOPS 263129 HAS SOUS 113527 HAS SOUPS 113527 WITH SCORE 113790.129
AT ITER 3053 NEW BEST:: SOT 474034 SOS 262214 HAS SOPS 262214 HAS SOUS 113086 HAS SOUPS 113086 WITH SCORE 113348.214
AT ITER 3058 NEW BEST:: SOT 473998 SOS 262178 HAS SOPS 262178 HAS SOUS 113050 HAS SOUPS 113050 WITH SCORE 113312.178
AT ITER 3068 NEW BEST:: SOT 473776 SOS 261954 HAS SOPS 261954 HAS SOUS 112826 HAS SOUPS 112826 WITH SCORE 113087.954
AT ITER 3078 NEW BEST:: SOT 473758 SOS 261936 HAS SOPS 261936 HAS SOUS 112790 HAS SOUPS 112790 WITH SCORE 113051.936
AT ITER 3084 NEW BEST:: SOT 473749 SOS 261927 HAS SOPS 261927 HAS SOUS 112708 HAS SOUPS 112708 WITH SCORE 112969.927
AT ITER 3105 NEW BEST:: SOT 473703 SOS 261740 HAS SOPS 261740 HAS SOUS 112521 HAS SOUPS 112521 WITH SCORE 112782.74
AT ITER 3144 NEW BEST:: SOT 473703 SOS 261113 HAS SOPS 261113 HAS SOUS 112499 HAS SOUPS 112499 WITH SCORE 112760.113
AT ITER 3176 NEW BEST:: SOT 473689 SOS 261099 HAS SOPS 261099 HAS SOUS 112457 HAS SOUPS 112457 WITH SCORE 112718.099
AT ITER 3192 NEW BEST:: SOT 473689 SOS 261093 HAS SOPS 261093 HAS SOUS 112453 HAS SOUPS 112453 WITH SCORE 112714.093
AT ITER 3194 NEW BEST:: SOT 473678 SOS 261082 HAS SOPS 261082 HAS SOUS 112442 HAS SOUPS 112442 WITH SCORE 112703.082
AT ITER 3211 NEW BEST:: SOT 474520 SOS 261358 HAS SOPS 261358 HAS SOUS 111956 HAS SOUPS 111956 WITH SCORE 112217.358
AT ITER 3214 NEW BEST:: SOT 474506 SOS 261330 HAS SOPS 261330 HAS SOUS 111928 HAS SOUPS 111928 WITH SCORE 112189.33
AT ITER 3217 NEW BEST:: SOT 474506 SOS 261326 HAS SOPS 261326 HAS SOUS 111926 HAS SOUPS 111926 WITH SCORE 112187.326
AT ITER 3222 NEW BEST:: SOT 474352 SOS 261018 HAS SOPS 261018 HAS SOUS 111683 HAS SOUPS 111683 WITH SCORE 111944.018
AT ITER 3237 NEW BEST:: SOT 474330 SOS 260974 HAS SOPS 260974 HAS SOUS 111639 HAS SOUPS 111639 WITH SCORE 111899.974
AT ITER 3256 NEW BEST:: SOT 474281 SOS 260650 HAS SOPS 260650 HAS SOUS 111315 HAS SOUPS 111315 WITH SCORE 111575.65
AT ITER 3274 NEW BEST:: SOT 474115 SOS 260372 HAS SOPS 260372 HAS SOUS 111142 HAS SOUPS 111142 WITH SCORE 111402.372
AT ITER 3293 NEW BEST:: SOT 474115 SOS 260333 HAS SOPS 260333 HAS SOUS 111010 HAS SOUPS 111010 WITH SCORE 111270.333
AT ITER 3303 NEW BEST:: SOT 474075 SOS 260293 HAS SOPS 260293 HAS SOUS 111010 HAS SOUPS 111010 WITH SCORE 111270.293
AT ITER 3305 NEW BEST:: SOT 474133 SOS 260287 HAS SOPS 260287 HAS SOUS 111004 HAS SOUPS 111004 WITH SCORE 111264.287
AT ITER 3361 NEW BEST:: SOT 474078 SOS 260209 HAS SOPS 260209 HAS SOUS 110926 HAS SOUPS 110926 WITH SCORE 111186.209
AT ITER 3363 NEW BEST:: SOT 474092 SOS 260189 HAS SOPS 260189 HAS SOUS 110886 HAS SOUPS 110886 WITH SCORE 111146.189
AT ITER 3374 NEW BEST:: SOT 474089 SOS 260200 HAS SOPS 260200 HAS SOUS 110883 HAS SOUPS 110883 WITH SCORE 111143.2
AT ITER 3389 NEW BEST:: SOT 474069 SOS 260160 HAS SOPS 260160 HAS SOUS 110843 HAS SOUPS 110843 WITH SCORE 111103.16
AT ITER 3394 NEW BEST:: SOT 474066 SOS 260142 HAS SOPS 260142 HAS SOUS 110837 HAS SOUPS 110837 WITH SCORE 111097.142
AT ITER 3413 NEW BEST:: SOT 474187 SOS 260102 HAS SOPS 260102 HAS SOUS 110837 HAS SOUPS 110837 WITH SCORE 111097.102
AT ITER 3426 NEW BEST:: SOT 474180 SOS 260095 HAS SOPS 260095 HAS SOUS 110830 HAS SOUPS 110830 WITH SCORE 111090.095
AT ITER 3435 NEW BEST:: SOT 474081 SOS 259862 HAS SOPS 259862 HAS SOUS 110747 HAS SOUPS 110747 WITH SCORE 111006.862
AT ITER 3444 NEW BEST:: SOT 473920 SOS 259926 HAS SOPS 259926 HAS SOUS 110669 HAS SOUPS 110669 WITH SCORE 110928.926
AT ITER 3445 NEW BEST:: SOT 473910 SOS 259926 HAS SOPS 259926 HAS SOUS 110659 HAS SOUPS 110659 WITH SCORE 110918.926
AT ITER 3454 NEW BEST:: SOT 473853 SOS 259761 HAS SOPS 259761 HAS SOUS 110458 HAS SOUPS 110458 WITH SCORE 110717.761
AT ITER 3456 NEW BEST:: SOT 472813 SOS 259436 HAS SOPS 259436 HAS SOUS 109589 HAS SOUPS 109589 WITH SCORE 109848.436
AT ITER 3463 NEW BEST:: SOT 472812 SOS 259435 HAS SOPS 259435 HAS SOUS 109582 HAS SOUPS 109582 WITH SCORE 109841.435
AT ITER 3477 NEW BEST:: SOT 472814 SOS 259433 HAS SOPS 259433 HAS SOUS 109580 HAS SOUPS 109580 WITH SCORE 109839.433
AT ITER 3488 NEW BEST:: SOT 472761 SOS 259198 HAS SOPS 259198 HAS SOUS 109374 HAS SOUPS 109374 WITH SCORE 109633.198
AT ITER 3496 NEW BEST:: SOT 472577 SOS 259014 HAS SOPS 259014 HAS SOUS 109178 HAS SOUPS 109178 WITH SCORE 109437.014
AT ITER 3508 NEW BEST:: SOT 472495 SOS 258610 HAS SOPS 258610 HAS SOUS 109019 HAS SOUPS 109019 WITH SCORE 109277.61
AT ITER 3510 NEW BEST:: SOT 472491 SOS 258606 HAS SOPS 258606 HAS SOUS 109019 HAS SOUPS 109019 WITH SCORE 109277.606
AT ITER 3513 NEW BEST:: SOT 472477 SOS 258592 HAS SOPS 258592 HAS SOUS 108979 HAS SOUPS 108979 WITH SCORE 109237.592
AT ITER 3521 NEW BEST:: SOT 472440 SOS 258535 HAS SOPS 258535 HAS SOUS 108922 HAS SOUPS 108922 WITH SCORE 109180.535
AT ITER 3534 NEW BEST:: SOT 472425 SOS 258524 HAS SOPS 258524 HAS SOUS 108911 HAS SOUPS 108911 WITH SCORE 109169.524
AT ITER 3537 NEW BEST:: SOT 472424 SOS 258523 HAS SOPS 258523 HAS SOUS 108910 HAS SOUPS 108910 WITH SCORE 109168.523
AT ITER 3545 NEW BEST:: SOT 472424 SOS 258616 HAS SOPS 258616 HAS SOUS 108841 HAS SOUPS 108841 WITH SCORE 109099.616
AT ITER 3549 NEW BEST:: SOT 472391 SOS 258604 HAS SOPS 258604 HAS SOUS 108829 HAS SOUPS 108829 WITH SCORE 109087.604
AT ITER 3573 NEW BEST:: SOT 472391 SOS 257729 HAS SOPS 257729 HAS SOUS 108829 HAS SOUPS 108829 WITH SCORE 109086.729
AT ITER 3578 NEW BEST:: SOT 472361 SOS 257699 HAS SOPS 257699 HAS SOUS 108769 HAS SOUPS 108769 WITH SCORE 109026.699
AT ITER 3607 NEW BEST:: SOT 472361 SOS 257715 HAS SOPS 257715 HAS SOUS 108746 HAS SOUPS 108746 WITH SCORE 109003.715
AT ITER 3617 NEW BEST:: SOT 472267 SOS 257527 HAS SOPS 257527 HAS SOUS 108558 HAS SOUPS 108558 WITH SCORE 108815.527
AT ITER 3639 NEW BEST:: SOT 471823 SOS 257166 HAS SOPS 257166 HAS SOUS 108174 HAS SOUPS 108174 WITH SCORE 108431.166
AT ITER 3645 NEW BEST:: SOT 471823 SOS 256662 HAS SOPS 256662 HAS SOUS 108111 HAS SOUPS 108111 WITH SCORE 108367.662
AT ITER 3687 NEW BEST:: SOT 471706 SOS 256495 HAS SOPS 256495 HAS SOUS 107944 HAS SOUPS 107944 WITH SCORE 108200.495
AT ITER 3695 NEW BEST:: SOT 471688 SOS 256439 HAS SOPS 256439 HAS SOUS 107888 HAS SOUPS 107888 WITH SCORE 108144.439
AT ITER 3722 NEW BEST:: SOT 471677 SOS 256428 HAS SOPS 256428 HAS SOUS 107875 HAS SOUPS 107875 WITH SCORE 108131.428
AT ITER 3723 NEW BEST:: SOT 471636 SOS 256387 HAS SOPS 256387 HAS SOUS 107819 HAS SOUPS 107819 WITH SCORE 108075.387
AT ITER 3736 NEW BEST:: SOT 471646 SOS 256385 HAS SOPS 256385 HAS SOUS 107817 HAS SOUPS 107817 WITH SCORE 108073.385
AT ITER 3748 NEW BEST:: SOT 471599 SOS 256318 HAS SOPS 256318 HAS SOUS 107743 HAS SOUPS 107743 WITH SCORE 107999.318
AT ITER 3756 NEW BEST:: SOT 471419 SOS 257143 HAS SOPS 257143 HAS SOUS 107605 HAS SOUPS 107605 WITH SCORE 107862.143
AT ITER 3765 NEW BEST:: SOT 471463 SOS 257332 HAS SOPS 257332 HAS SOUS 107347 HAS SOUPS 107347 WITH SCORE 107604.332
AT ITER 3791 NEW BEST:: SOT 471463 SOS 257332 HAS SOPS 257332 HAS SOUS 107336 HAS SOUPS 107336 WITH SCORE 107593.332
AT ITER 3810 NEW BEST:: SOT 471463 SOS 257188 HAS SOPS 257188 HAS SOUS 107240 HAS SOUPS 107240 WITH SCORE 107497.188
AT ITER 3816 NEW BEST:: SOT 471463 SOS 257132 HAS SOPS 257132 HAS SOUS 107184 HAS SOUPS 107184 WITH SCORE 107441.132
AT ITER 3827 NEW BEST:: SOT 471455 SOS 257124 HAS SOPS 257124 HAS SOUS 107176 HAS SOUPS 107176 WITH SCORE 107433.124
AT ITER 3830 NEW BEST:: SOT 471450 SOS 257099 HAS SOPS 257099 HAS SOUS 107161 HAS SOUPS 107161 WITH SCORE 107418.099
AT ITER 3831 NEW BEST:: SOT 471333 SOS 257426 HAS SOPS 257426 HAS SOUS 107020 HAS SOUPS 107020 WITH SCORE 107277.426
AT ITER 3836 NEW BEST:: SOT 471287 SOS 257288 HAS SOPS 257288 HAS SOUS 106959 HAS SOUPS 106959 WITH SCORE 107216.288
AT ITER 3842 NEW BEST:: SOT 471127 SOS 257086 HAS SOPS 257086 HAS SOUS 106656 HAS SOUPS 106656 WITH SCORE 106913.086
AT ITER 3846 NEW BEST:: SOT 471109 SOS 257086 HAS SOPS 257086 HAS SOUS 106638 HAS SOUPS 106638 WITH SCORE 106895.086
AT ITER 3847 NEW BEST:: SOT 471077 SOS 257054 HAS SOPS 257054 HAS SOUS 106610 HAS SOUPS 106610 WITH SCORE 106867.054
AT ITER 3852 NEW BEST:: SOT 471002 SOS 256871 HAS SOPS 256871 HAS SOUS 106399 HAS SOUPS 106399 WITH SCORE 106655.871
AT ITER 3859 NEW BEST:: SOT 470888 SOS 256863 HAS SOPS 256863 HAS SOUS 106391 HAS SOUPS 106391 WITH SCORE 106647.863
AT ITER 3868 NEW BEST:: SOT 470919 SOS 256005 HAS SOPS 256005 HAS SOUS 106361 HAS SOUPS 106361 WITH SCORE 106617.005
AT ITER 3885 NEW BEST:: SOT 470919 SOS 256003 HAS SOPS 256003 HAS SOUS 106359 HAS SOUPS 106359 WITH SCORE 106615.003
AT ITER 3901 NEW BEST:: SOT 470919 SOS 255722 HAS SOPS 255722 HAS SOUS 106330 HAS SOUPS 106330 WITH SCORE 106585.722
AT ITER 3918 NEW BEST:: SOT 470889 SOS 255662 HAS SOPS 255662 HAS SOUS 106270 HAS SOUPS 106270 WITH SCORE 106525.662
AT ITER 3934 NEW BEST:: SOT 470894 SOS 255620 HAS SOPS 255620 HAS SOUS 106251 HAS SOUPS 106251 WITH SCORE 106506.62
AT ITER 3936 NEW BEST:: SOT 470836 SOS 255392 HAS SOPS 255392 HAS SOUS 106197 HAS SOUPS 106197 WITH SCORE 106452.392
AT ITER 3979 NEW BEST:: SOT 470836 SOS 255266 HAS SOPS 255266 HAS SOUS 106197 HAS SOUPS 106197 WITH SCORE 106452.266
AT ITER 3984 NEW BEST:: SOT 470668 SOS 255098 HAS SOPS 255098 HAS SOUS 106029 HAS SOUPS 106029 WITH SCORE 106284.098
AT ITER 4001 NEW BEST:: SOT 470691 SOS 255140 HAS SOPS 255140 HAS SOUS 105973 HAS SOUPS 105973 WITH SCORE 106228.14
AT ITER 4027 NEW BEST:: SOT 470691 SOS 255083 HAS SOPS 255083 HAS SOUS 105973 HAS SOUPS 105973 WITH SCORE 106228.083
AT ITER 4054 NEW BEST:: SOT 470691 SOS 255591 HAS SOPS 255591 HAS SOUS 105970 HAS SOUPS 105970 WITH SCORE 106225.591
AT ITER 4057 NEW BEST:: SOT 470691 SOS 255559 HAS SOPS 255559 HAS SOUS 105938 HAS SOUPS 105938 WITH SCORE 106193.559
AT ITER 4085 NEW BEST:: SOT 470614 SOS 254501 HAS SOPS 254501 HAS SOUS 105360 HAS SOUPS 105360 WITH SCORE 105614.501
AT ITER 4094 NEW BEST:: SOT 470574 SOS 254421 HAS SOPS 254421 HAS SOUS 105280 HAS SOUPS 105280 WITH SCORE 105534.421
AT ITER 4096 NEW BEST:: SOT 470512 SOS 254314 HAS SOPS 254314 HAS SOUS 105212 HAS SOUPS 105212 WITH SCORE 105466.314
AT ITER 4104 NEW BEST:: SOT 470384 SOS 254382 HAS SOPS 254382 HAS SOUS 105112 HAS SOUPS 105112 WITH SCORE 105366.382
AT ITER 4126 NEW BEST:: SOT 470315 SOS 254169 HAS SOPS 254169 HAS SOUS 104890 HAS SOUPS 104890 WITH SCORE 105144.169
AT ITER 4130 NEW BEST:: SOT 470314 SOS 253258 HAS SOPS 253258 HAS SOUS 104575 HAS SOUPS 104575 WITH SCORE 104828.258
AT ITER 4137 NEW BEST:: SOT 470274 SOS 253178 HAS SOPS 253178 HAS SOUS 104495 HAS SOUPS 104495 WITH SCORE 104748.178
AT ITER 4145 NEW BEST:: SOT 470328 SOS 253092 HAS SOPS 253092 HAS SOUS 104409 HAS SOUPS 104409 WITH SCORE 104662.092
AT ITER 4146 NEW BEST:: SOT 470328 SOS 253071 HAS SOPS 253071 HAS SOUS 104367 HAS SOUPS 104367 WITH SCORE 104620.071
AT ITER 4149 NEW BEST:: SOT 470328 SOS 253035 HAS SOPS 253035 HAS SOUS 104352 HAS SOUPS 104352 WITH SCORE 104605.035
AT ITER 4151 NEW BEST:: SOT 470328 SOS 253033 HAS SOPS 253033 HAS SOUS 104348 HAS SOUPS 104348 WITH SCORE 104601.033
AT ITER 4162 NEW BEST:: SOT 470291 SOS 252996 HAS SOPS 252996 HAS SOUS 104274 HAS SOUPS 104274 WITH SCORE 104526.996
AT ITER 4173 NEW BEST:: SOT 470289 SOS 252994 HAS SOPS 252994 HAS SOUS 104272 HAS SOUPS 104272 WITH SCORE 104524.994
AT ITER 4175 NEW BEST:: SOT 470205 SOS 252893 HAS SOPS 252893 HAS SOUS 104146 HAS SOUPS 104146 WITH SCORE 104398.893
AT ITER 4176 NEW BEST:: SOT 470267 SOS 252828 HAS SOPS 252828 HAS SOUS 104081 HAS SOUPS 104081 WITH SCORE 104333.828
AT ITER 4192 NEW BEST:: SOT 470266 SOS 251451 HAS SOPS 251451 HAS SOUS 104075 HAS SOUPS 104075 WITH SCORE 104326.451
AT ITER 4202 NEW BEST:: SOT 470226 SOS 251411 HAS SOPS 251411 HAS SOUS 103995 HAS SOUPS 103995 WITH SCORE 104246.411
AT ITER 4203 NEW BEST:: SOT 470028 SOS 251376 HAS SOPS 251376 HAS SOUS 103960 HAS SOUPS 103960 WITH SCORE 104211.376
AT ITER 4219 NEW BEST:: SOT 469950 SOS 251252 HAS SOPS 251252 HAS SOUS 103910 HAS SOUPS 103910 WITH SCORE 104161.252
AT ITER 4220 NEW BEST:: SOT 469950 SOS 250846 HAS SOPS 250846 HAS SOUS 103820 HAS SOUPS 103820 WITH SCORE 104070.846
AT ITER 4222 NEW BEST:: SOT 469926 SOS 250813 HAS SOPS 250813 HAS SOUS 103817 HAS SOUPS 103817 WITH SCORE 104067.813
AT ITER 4244 NEW BEST:: SOT 469872 SOS 250731 HAS SOPS 250731 HAS SOUS 103735 HAS SOUPS 103735 WITH SCORE 103985.731
AT ITER 4263 NEW BEST:: SOT 469813 SOS 250693 HAS SOPS 250693 HAS SOUS 103697 HAS SOUPS 103697 WITH SCORE 103947.693
AT ITER 4308 NEW BEST:: SOT 469641 SOS 250462 HAS SOPS 250462 HAS SOUS 103538 HAS SOUPS 103538 WITH SCORE 103788.462
AT ITER 4363 NEW BEST:: SOT 469641 SOS 250462 HAS SOPS 250462 HAS SOUS 103537 HAS SOUPS 103537 WITH SCORE 103787.462
AT ITER 4379 NEW BEST:: SOT 469458 SOS 249968 HAS SOPS 249968 HAS SOUS 103186 HAS SOUPS 103186 WITH SCORE 103435.968
AT ITER 4397 NEW BEST:: SOT 469458 SOS 249912 HAS SOPS 249912 HAS SOUS 103186 HAS SOUPS 103186 WITH SCORE 103435.912
AT ITER 4399 NEW BEST:: SOT 469309 SOS 249403 HAS SOPS 249403 HAS SOUS 102710 HAS SOUPS 102710 WITH SCORE 102959.403
AT ITER 4429 NEW BEST:: SOT 469309 SOS 249388 HAS SOPS 249388 HAS SOUS 102707 HAS SOUPS 102707 WITH SCORE 102956.388
AT ITER 4468 NEW BEST:: SOT 469300 SOS 249379 HAS SOPS 249379 HAS SOUS 102685 HAS SOUPS 102685 WITH SCORE 102934.379
AT ITER 4535 NEW BEST:: SOT 469312 SOS 249333 HAS SOPS 249333 HAS SOUS 102620 HAS SOUPS 102620 WITH SCORE 102869.333
AT ITER 4554 NEW BEST:: SOT 469192 SOS 248860 HAS SOPS 248860 HAS SOUS 102352 HAS SOUPS 102352 WITH SCORE 102600.86
AT ITER 4569 NEW BEST:: SOT 469130 SOS 248798 HAS SOPS 248798 HAS SOUS 102290 HAS SOUPS 102290 WITH SCORE 102538.798
AT ITER 4570 NEW BEST:: SOT 469123 SOS 248726 HAS SOPS 248726 HAS SOUS 102275 HAS SOUPS 102275 WITH SCORE 102523.726
AT ITER 4584 NEW BEST:: SOT 469218 SOS 248576 HAS SOPS 248576 HAS SOUS 102177 HAS SOUPS 102177 WITH SCORE 102425.576
AT ITER 4589 NEW BEST:: SOT 469253 SOS 248536 HAS SOPS 248536 HAS SOUS 102137 HAS SOUPS 102137 WITH SCORE 102385.536
AT ITER 4596 NEW BEST:: SOT 469193 SOS 248476 HAS SOPS 248476 HAS SOUS 102077 HAS SOUPS 102077 WITH SCORE 102325.476
AT ITER 4610 NEW BEST:: SOT 468836 SOS 248371 HAS SOPS 248371 HAS SOUS 101877 HAS SOUPS 101877 WITH SCORE 102125.371
AT ITER 4650 NEW BEST:: SOT 468789 SOS 248324 HAS SOPS 248324 HAS SOUS 101783 HAS SOUPS 101783 WITH SCORE 102031.324
AT ITER 4659 NEW BEST:: SOT 468857 SOS 248200 HAS SOPS 248200 HAS SOUS 101659 HAS SOUPS 101659 WITH SCORE 101907.2
AT ITER 4692 NEW BEST:: SOT 468672 SOS 247830 HAS SOPS 247830 HAS SOUS 101289 HAS SOUPS 101289 WITH SCORE 101536.83
AT ITER 4697 NEW BEST:: SOT 468671 SOS 247828 HAS SOPS 247828 HAS SOUS 101287 HAS SOUPS 101287 WITH SCORE 101534.828
AT ITER 4708 NEW BEST:: SOT 468642 SOS 247834 HAS SOPS 247834 HAS SOUS 101276 HAS SOUPS 101276 WITH SCORE 101523.834
AT ITER 4739 NEW BEST:: SOT 468625 SOS 247804 HAS SOPS 247804 HAS SOUS 101246 HAS SOUPS 101246 WITH SCORE 101493.804
AT ITER 4747 NEW BEST:: SOT 468616 SOS 247795 HAS SOPS 247795 HAS SOUS 101237 HAS SOUPS 101237 WITH SCORE 101484.795
AT ITER 4776 NEW BEST:: SOT 468599 SOS 247428 HAS SOPS 247428 HAS SOUS 101109 HAS SOUPS 101109 WITH SCORE 101356.428
AT ITER 4791 NEW BEST:: SOT 468583 SOS 247386 HAS SOPS 247386 HAS SOUS 101067 HAS SOUPS 101067 WITH SCORE 101314.386
AT ITER 4804 NEW BEST:: SOT 468583 SOS 247586 HAS SOPS 247586 HAS SOUS 101021 HAS SOUPS 101021 WITH SCORE 101268.586
AT ITER 4829 NEW BEST:: SOT 468431 SOS 246420 HAS SOPS 246420 HAS SOUS 100789 HAS SOUPS 100789 WITH SCORE 101035.42
AT ITER 4890 NEW BEST:: SOT 468431 SOS 246367 HAS SOPS 246367 HAS SOUS 100728 HAS SOUPS 100728 WITH SCORE 100974.367
AT ITER 4894 NEW BEST:: SOT 468374 SOS 246317 HAS SOPS 246317 HAS SOUS 100666 HAS SOUPS 100666 WITH SCORE 100912.317
AT ITER 4925 NEW BEST:: SOT 468374 SOS 246312 HAS SOPS 246312 HAS SOUS 100661 HAS SOUPS 100661 WITH SCORE 100907.312
AT ITER 4939 NEW BEST:: SOT 468364 SOS 246311 HAS SOPS 246311 HAS SOUS 100653 HAS SOUPS 100653 WITH SCORE 100899.311
AT ITER 4941 NEW BEST:: SOT 468358 SOS 246305 HAS SOPS 246305 HAS SOUS 100641 HAS SOUPS 100641 WITH SCORE 100887.305
AT ITER 4948 NEW BEST:: SOT 468358 SOS 246275 HAS SOPS 246275 HAS SOUS 100641 HAS SOUPS 100641 WITH SCORE 100887.275
AT ITER 4960 NEW BEST:: SOT 468330 SOS 246219 HAS SOPS 246219 HAS SOUS 100585 HAS SOUPS 100585 WITH SCORE 100831.219
AT ITER 4969 NEW BEST:: SOT 468324 SOS 246213 HAS SOPS 246213 HAS SOUS 100579 HAS SOUPS 100579 WITH SCORE 100825.213
AT ITER 4988 NEW BEST:: SOT 467228 SOS 245274 HAS SOPS 245274 HAS SOUS 99745 HAS SOUPS 99745 WITH SCORE 99990.274
AT ITER 4994 NEW BEST:: SOT 467143 SOS 245204 HAS SOPS 245204 HAS SOUS 99633 HAS SOUPS 99633 WITH SCORE 99878.204
AT ITER 5015 NEW BEST:: SOT 466976 SOS 245097 HAS SOPS 245097 HAS SOUS 99531 HAS SOUPS 99531 WITH SCORE 99776.097
AT ITER 5021 NEW BEST:: SOT 467008 SOS 245077 HAS SOPS 245077 HAS SOUS 99511 HAS SOUPS 99511 WITH SCORE 99756.077
AT ITER 5036 NEW BEST:: SOT 466973 SOS 244878 HAS SOPS 244878 HAS SOUS 99277 HAS SOUPS 99277 WITH SCORE 99521.878
AT ITER 5037 NEW BEST:: SOT 467054 SOS 244959 HAS SOPS 244959 HAS SOUS 99262 HAS SOUPS 99262 WITH SCORE 99506.959
AT ITER 5045 NEW BEST:: SOT 467041 SOS 244946 HAS SOPS 244946 HAS SOUS 99249 HAS SOUPS 99249 WITH SCORE 99493.946
AT ITER 5046 NEW BEST:: SOT 466954 SOS 244859 HAS SOPS 244859 HAS SOUS 99104 HAS SOUPS 99104 WITH SCORE 99348.859
AT ITER 5101 NEW BEST:: SOT 466841 SOS 244729 HAS SOPS 244729 HAS SOUS 98978 HAS SOUPS 98978 WITH SCORE 99222.729
AT ITER 5106 NEW BEST:: SOT 466841 SOS 244620 HAS SOPS 244620 HAS SOUS 98978 HAS SOUPS 98978 WITH SCORE 99222.62
AT ITER 5175 NEW BEST:: SOT 466862 SOS 244683 HAS SOPS 244683 HAS SOUS 98962 HAS SOUPS 98962 WITH SCORE 99206.683
AT ITER 5200 NEW BEST:: SOT 466744 SOS 244486 HAS SOPS 244486 HAS SOUS 98727 HAS SOUPS 98727 WITH SCORE 98971.486
AT ITER 5222 NEW BEST:: SOT 466769 SOS 244310 HAS SOPS 244310 HAS SOUS 98702 HAS SOUPS 98702 WITH SCORE 98946.31
AT ITER 5261 NEW BEST:: SOT 466553 SOS 244096 HAS SOPS 244096 HAS SOUS 98488 HAS SOUPS 98488 WITH SCORE 98732.096
AT ITER 5268 NEW BEST:: SOT 466553 SOS 244005 HAS SOPS 244005 HAS SOUS 98397 HAS SOUPS 98397 WITH SCORE 98641.005
AT ITER 5282 NEW BEST:: SOT 466500 SOS 244029 HAS SOPS 244029 HAS SOUS 98388 HAS SOUPS 98388 WITH SCORE 98632.029
AT ITER 5302 NEW BEST:: SOT 466505 SOS 243981 HAS SOPS 243981 HAS SOUS 98369 HAS SOUPS 98369 WITH SCORE 98612.981
AT ITER 5303 NEW BEST:: SOT 466445 SOS 243891 HAS SOPS 243891 HAS SOUS 98279 HAS SOUPS 98279 WITH SCORE 98522.891
AT ITER 5308 NEW BEST:: SOT 465944 SOS 244941 HAS SOPS 244941 HAS SOUS 98144 HAS SOUPS 98144 WITH SCORE 98388.941
AT ITER 5313 NEW BEST:: SOT 465895 SOS 244892 HAS SOPS 244892 HAS SOUS 97936 HAS SOUPS 97936 WITH SCORE 98180.892
AT ITER 5316 NEW BEST:: SOT 465895 SOS 244892 HAS SOPS 244892 HAS SOUS 97906 HAS SOUPS 97906 WITH SCORE 98150.892
AT ITER 5340 NEW BEST:: SOT 465754 SOS 244715 HAS SOPS 244715 HAS SOUS 97729 HAS SOUPS 97729 WITH SCORE 97973.715
AT ITER 5384 NEW BEST:: SOT 465696 SOS 244626 HAS SOPS 244626 HAS SOUS 97687 HAS SOUPS 97687 WITH SCORE 97931.626
AT ITER 5385 NEW BEST:: SOT 465675 SOS 244586 HAS SOPS 244586 HAS SOUS 97652 HAS SOUPS 97652 WITH SCORE 97896.586
AT ITER 5420 NEW BEST:: SOT 465595 SOS 244422 HAS SOPS 244422 HAS SOUS 97488 HAS SOUPS 97488 WITH SCORE 97732.422
AT ITER 5430 NEW BEST:: SOT 465582 SOS 244405 HAS SOPS 244405 HAS SOUS 97438 HAS SOUPS 97438 WITH SCORE 97682.405
AT ITER 5431 NEW BEST:: SOT 465577 SOS 244400 HAS SOPS 244400 HAS SOUS 97425 HAS SOUPS 97425 WITH SCORE 97669.4
AT ITER 5449 NEW BEST:: SOT 465576 SOS 244399 HAS SOPS 244399 HAS SOUS 97423 HAS SOUPS 97423 WITH SCORE 97667.399
AT ITER 5482 NEW BEST:: SOT 465588 SOS 244411 HAS SOPS 244411 HAS SOUS 97408 HAS SOUPS 97408 WITH SCORE 97652.411
AT ITER 5485 NEW BEST:: SOT 465545 SOS 244422 HAS SOPS 244422 HAS SOUS 97366 HAS SOUPS 97366 WITH SCORE 97610.422
AT ITER 5489 NEW BEST:: SOT 465545 SOS 244166 HAS SOPS 244166 HAS SOUS 97355 HAS SOUPS 97355 WITH SCORE 97599.166
AT ITER 5493 NEW BEST:: SOT 465520 SOS 244166 HAS SOPS 244166 HAS SOUS 97305 HAS SOUPS 97305 WITH SCORE 97549.166
AT ITER 5497 NEW BEST:: SOT 465430 SOS 243889 HAS SOPS 243889 HAS SOUS 97124 HAS SOUPS 97124 WITH SCORE 97367.889
AT ITER 5532 NEW BEST:: SOT 465387 SOS 243859 HAS SOPS 243859 HAS SOUS 97094 HAS SOUPS 97094 WITH SCORE 97337.859
AT ITER 5542 NEW BEST:: SOT 465387 SOS 243723 HAS SOPS 243723 HAS SOUS 97094 HAS SOUPS 97094 WITH SCORE 97337.723
AT ITER 5544 NEW BEST:: SOT 465417 SOS 243373 HAS SOPS 243373 HAS SOUS 96744 HAS SOUPS 96744 WITH SCORE 96987.373
AT ITER 5557 NEW BEST:: SOT 465269 SOS 243003 HAS SOPS 243003 HAS SOUS 96448 HAS SOUPS 96448 WITH SCORE 96691.003
AT ITER 5621 NEW BEST:: SOT 465316 SOS 243131 HAS SOPS 243131 HAS SOUS 96418 HAS SOUPS 96418 WITH SCORE 96661.131
AT ITER 5625 NEW BEST:: SOT 465324 SOS 243152 HAS SOPS 243152 HAS SOUS 96410 HAS SOUPS 96410 WITH SCORE 96653.152
AT ITER 5631 NEW BEST:: SOT 465311 SOS 243139 HAS SOPS 243139 HAS SOUS 96385 HAS SOUPS 96385 WITH SCORE 96628.139
AT ITER 5638 NEW BEST:: SOT 465311 SOS 243139 HAS SOPS 243139 HAS SOUS 96338 HAS SOUPS 96338 WITH SCORE 96581.139
AT ITER 5641 NEW BEST:: SOT 465257 SOS 243085 HAS SOPS 243085 HAS SOUS 96230 HAS SOUPS 96230 WITH SCORE 96473.085
AT ITER 5707 NEW BEST:: SOT 465230 SOS 243024 HAS SOPS 243024 HAS SOUS 96171 HAS SOUPS 96171 WITH SCORE 96414.024
AT ITER 5713 NEW BEST:: SOT 465230 SOS 242950 HAS SOPS 242950 HAS SOUS 96097 HAS SOUPS 96097 WITH SCORE 96339.95
AT ITER 5743 NEW BEST:: SOT 465230 SOS 242794 HAS SOPS 242794 HAS SOUS 96013 HAS SOUPS 96013 WITH SCORE 96255.794
AT ITER 5745 NEW BEST:: SOT 465208 SOS 242530 HAS SOPS 242530 HAS SOUS 95749 HAS SOUPS 95749 WITH SCORE 95991.53
AT ITER 5753 NEW BEST:: SOT 465170 SOS 242492 HAS SOPS 242492 HAS SOUS 95711 HAS SOUPS 95711 WITH SCORE 95953.492
AT ITER 5764 NEW BEST:: SOT 465262 SOS 242425 HAS SOPS 242425 HAS SOUS 95684 HAS SOUPS 95684 WITH SCORE 95926.425
AT ITER 5773 NEW BEST:: SOT 465236 SOS 242399 HAS SOPS 242399 HAS SOUS 95658 HAS SOUPS 95658 WITH SCORE 95900.399
AT ITER 5836 NEW BEST:: SOT 464895 SOS 242058 HAS SOPS 242058 HAS SOUS 95314 HAS SOUPS 95314 WITH SCORE 95556.058
AT ITER 5855 NEW BEST:: SOT 464786 SOS 241773 HAS SOPS 241773 HAS SOUS 95069 HAS SOUPS 95069 WITH SCORE 95310.773
AT ITER 5863 NEW BEST:: SOT 464553 SOS 241026 HAS SOPS 241026 HAS SOUS 94787 HAS SOUPS 94787 WITH SCORE 95028.026
AT ITER 5873 NEW BEST:: SOT 464355 SOS 240837 HAS SOPS 240837 HAS SOUS 94589 HAS SOUPS 94589 WITH SCORE 94829.837
AT ITER 5882 NEW BEST:: SOT 464330 SOS 240798 HAS SOPS 240798 HAS SOUS 94550 HAS SOUPS 94550 WITH SCORE 94790.798
AT ITER 5883 NEW BEST:: SOT 464178 SOS 240451 HAS SOPS 240451 HAS SOUS 94438 HAS SOUPS 94438 WITH SCORE 94678.451
AT ITER 5886 NEW BEST:: SOT 464211 SOS 240484 HAS SOPS 240484 HAS SOUS 94388 HAS SOUPS 94388 WITH SCORE 94628.484
AT ITER 5906 NEW BEST:: SOT 464187 SOS 240460 HAS SOPS 240460 HAS SOUS 94364 HAS SOUPS 94364 WITH SCORE 94604.46
AT ITER 5935 NEW BEST:: SOT 464128 SOS 240305 HAS SOPS 240305 HAS SOUS 94095 HAS SOUPS 94095 WITH SCORE 94335.305
AT ITER 5958 NEW BEST:: SOT 464089 SOS 240266 HAS SOPS 240266 HAS SOUS 93813 HAS SOUPS 93813 WITH SCORE 94053.266
AT ITER 5968 NEW BEST:: SOT 464089 SOS 239239 HAS SOPS 239239 HAS SOUS 93802 HAS SOUPS 93802 WITH SCORE 94041.239
AT ITER 5993 NEW BEST:: SOT 464116 SOS 239326 HAS SOPS 239326 HAS SOUS 93729 HAS SOUPS 93729 WITH SCORE 93968.326
AT ITER 6014 NEW BEST:: SOT 464103 SOS 239313 HAS SOPS 239313 HAS SOUS 93686 HAS SOUPS 93686 WITH SCORE 93925.313
AT ITER 6016 NEW BEST:: SOT 463981 SOS 237741 HAS SOPS 237741 HAS SOUS 93581 HAS SOUPS 93581 WITH SCORE 93818.741
AT ITER 6047 NEW BEST:: SOT 463882 SOS 237741 HAS SOPS 237741 HAS SOUS 93383 HAS SOUPS 93383 WITH SCORE 93620.741
AT ITER 6090 NEW BEST:: SOT 463865 SOS 237724 HAS SOPS 237724 HAS SOUS 93366 HAS SOUPS 93366 WITH SCORE 93603.724
AT ITER 6105 NEW BEST:: SOT 463857 SOS 237643 HAS SOPS 237643 HAS SOUS 93285 HAS SOUPS 93285 WITH SCORE 93522.643
AT ITER 6133 NEW BEST:: SOT 463439 SOS 237171 HAS SOPS 237171 HAS SOUS 92577 HAS SOUPS 92577 WITH SCORE 92814.171
AT ITER 6166 NEW BEST:: SOT 463358 SOS 237077 HAS SOPS 237077 HAS SOUS 92563 HAS SOUPS 92563 WITH SCORE 92800.077
AT ITER 6169 NEW BEST:: SOT 463211 SOS 236721 HAS SOPS 236721 HAS SOUS 92207 HAS SOUPS 92207 WITH SCORE 92443.721
AT ITER 6174 NEW BEST:: SOT 463211 SOS 236721 HAS SOPS 236721 HAS SOUS 92197 HAS SOUPS 92197 WITH SCORE 92433.721
AT ITER 6199 NEW BEST:: SOT 463141 SOS 236599 HAS SOPS 236599 HAS SOUS 92185 HAS SOUPS 92185 WITH SCORE 92421.599
AT ITER 6213 NEW BEST:: SOT 463104 SOS 236562 HAS SOPS 236562 HAS SOUS 92148 HAS SOUPS 92148 WITH SCORE 92384.562
AT ITER 6240 NEW BEST:: SOT 463078 SOS 235870 HAS SOPS 235870 HAS SOUS 92142 HAS SOUPS 92142 WITH SCORE 92377.87
AT ITER 6268 NEW BEST:: SOT 463140 SOS 235645 HAS SOPS 235645 HAS SOUS 91990 HAS SOUPS 91990 WITH SCORE 92225.645
AT ITER 6274 NEW BEST:: SOT 463045 SOS 235508 HAS SOPS 235508 HAS SOUS 91800 HAS SOUPS 91800 WITH SCORE 92035.508
AT ITER 6281 NEW BEST:: SOT 462961 SOS 235814 HAS SOPS 235814 HAS SOUS 91574 HAS SOUPS 91574 WITH SCORE 91809.814
AT ITER 6287 NEW BEST:: SOT 462960 SOS 235529 HAS SOPS 235529 HAS SOUS 91572 HAS SOUPS 91572 WITH SCORE 91807.529
AT ITER 6300 NEW BEST:: SOT 462934 SOS 235416 HAS SOPS 235416 HAS SOUS 91462 HAS SOUPS 91462 WITH SCORE 91697.416
AT ITER 6316 NEW BEST:: SOT 462786 SOS 235066 HAS SOPS 235066 HAS SOUS 91390 HAS SOUPS 91390 WITH SCORE 91625.066
AT ITER 6319 NEW BEST:: SOT 462732 SOS 235012 HAS SOPS 235012 HAS SOUS 91336 HAS SOUPS 91336 WITH SCORE 91571.012
AT ITER 6322 NEW BEST:: SOT 462696 SOS 234948 HAS SOPS 234948 HAS SOUS 91264 HAS SOUPS 91264 WITH SCORE 91498.948
AT ITER 6323 NEW BEST:: SOT 462695 SOS 234947 HAS SOPS 234947 HAS SOUS 91261 HAS SOUPS 91261 WITH SCORE 91495.947
AT ITER 6351 NEW BEST:: SOT 462678 SOS 234930 HAS SOPS 234930 HAS SOUS 91244 HAS SOUPS 91244 WITH SCORE 91478.93
AT ITER 6355 NEW BEST:: SOT 462649 SOS 234855 HAS SOPS 234855 HAS SOUS 91217 HAS SOUPS 91217 WITH SCORE 91451.855
AT ITER 6371 NEW BEST:: SOT 462502 SOS 234595 HAS SOPS 234595 HAS SOUS 91075 HAS SOUPS 91075 WITH SCORE 91309.595
AT ITER 6388 NEW BEST:: SOT 462491 SOS 234584 HAS SOPS 234584 HAS SOUS 91068 HAS SOUPS 91068 WITH SCORE 91302.584
AT ITER 6429 NEW BEST:: SOT 462450 SOS 234461 HAS SOPS 234461 HAS SOUS 90986 HAS SOUPS 90986 WITH SCORE 91220.461
AT ITER 6435 NEW BEST:: SOT 462406 SOS 234417 HAS SOPS 234417 HAS SOUS 90856 HAS SOUPS 90856 WITH SCORE 91090.417
AT ITER 6468 NEW BEST:: SOT 462373 SOS 234189 HAS SOPS 234189 HAS SOUS 90830 HAS SOUPS 90830 WITH SCORE 91064.189
AT ITER 6480 NEW BEST:: SOT 462373 SOS 234189 HAS SOPS 234189 HAS SOUS 90825 HAS SOUPS 90825 WITH SCORE 91059.189
AT ITER 6481 NEW BEST:: SOT 462359 SOS 234168 HAS SOPS 234168 HAS SOUS 90804 HAS SOUPS 90804 WITH SCORE 91038.168
AT ITER 6510 NEW BEST:: SOT 462355 SOS 234164 HAS SOPS 234164 HAS SOUS 90763 HAS SOUPS 90763 WITH SCORE 90997.164
AT ITER 6517 NEW BEST:: SOT 462326 SOS 233701 HAS SOPS 233701 HAS SOUS 90711 HAS SOUPS 90711 WITH SCORE 90944.701
AT ITER 6542 NEW BEST:: SOT 462287 SOS 233664 HAS SOPS 233664 HAS SOUS 90501 HAS SOUPS 90501 WITH SCORE 90734.664
AT ITER 6545 NEW BEST:: SOT 462256 SOS 233633 HAS SOPS 233633 HAS SOUS 90472 HAS SOUPS 90472 WITH SCORE 90705.633
AT ITER 6548 NEW BEST:: SOT 462255 SOS 233632 HAS SOPS 233632 HAS SOUS 90470 HAS SOUPS 90470 WITH SCORE 90703.632
AT ITER 6584 NEW BEST:: SOT 462197 SOS 233441 HAS SOPS 233441 HAS SOUS 90279 HAS SOUPS 90279 WITH SCORE 90512.441
AT ITER 6633 NEW BEST:: SOT 462197 SOS 233429 HAS SOPS 233429 HAS SOUS 90255 HAS SOUPS 90255 WITH SCORE 90488.429
AT ITER 6668 NEW BEST:: SOT 462197 SOS 233429 HAS SOPS 233429 HAS SOUS 90228 HAS SOUPS 90228 WITH SCORE 90461.429
AT ITER 6671 NEW BEST:: SOT 462197 SOS 233429 HAS SOPS 233429 HAS SOUS 90214 HAS SOUPS 90214 WITH SCORE 90447.429
AT ITER 6678 NEW BEST:: SOT 462183 SOS 233415 HAS SOPS 233415 HAS SOUS 90184 HAS SOUPS 90184 WITH SCORE 90417.415
AT ITER 6683 NEW BEST:: SOT 462164 SOS 233396 HAS SOPS 233396 HAS SOUS 90146 HAS SOUPS 90146 WITH SCORE 90379.396
AT ITER 6693 NEW BEST:: SOT 462121 SOS 233418 HAS SOPS 233418 HAS SOUS 90060 HAS SOUPS 90060 WITH SCORE 90293.418
AT ITER 6702 NEW BEST:: SOT 462105 SOS 233402 HAS SOPS 233402 HAS SOUS 90032 HAS SOUPS 90032 WITH SCORE 90265.402
AT ITER 6726 NEW BEST:: SOT 462118 SOS 233403 HAS SOPS 233403 HAS SOUS 90006 HAS SOUPS 90006 WITH SCORE 90239.403
AT ITER 6749 NEW BEST:: SOT 462014 SOS 233245 HAS SOPS 233245 HAS SOUS 89863 HAS SOUPS 89863 WITH SCORE 90096.245
AT ITER 6750 NEW BEST:: SOT 462015 SOS 233246 HAS SOPS 233246 HAS SOUS 89832 HAS SOUPS 89832 WITH SCORE 90065.246
AT ITER 6765 NEW BEST:: SOT 461954 SOS 233187 HAS SOPS 233187 HAS SOUS 89574 HAS SOUPS 89574 WITH SCORE 89807.187
AT ITER 6791 NEW BEST:: SOT 461789 SOS 232959 HAS SOPS 232959 HAS SOUS 89346 HAS SOUPS 89346 WITH SCORE 89578.959
AT ITER 6796 NEW BEST:: SOT 461652 SOS 232822 HAS SOPS 232822 HAS SOUS 89231 HAS SOUPS 89231 WITH SCORE 89463.822
AT ITER 6800 NEW BEST:: SOT 461637 SOS 232792 HAS SOPS 232792 HAS SOUS 89216 HAS SOUPS 89216 WITH SCORE 89448.792
AT ITER 6810 NEW BEST:: SOT 461610 SOS 232800 HAS SOPS 232800 HAS SOUS 89202 HAS SOUPS 89202 WITH SCORE 89434.8
AT ITER 6826 NEW BEST:: SOT 461544 SOS 232696 HAS SOPS 232696 HAS SOUS 89098 HAS SOUPS 89098 WITH SCORE 89330.696
AT ITER 6851 NEW BEST:: SOT 461508 SOS 232660 HAS SOPS 232660 HAS SOUS 89062 HAS SOUPS 89062 WITH SCORE 89294.66
AT ITER 6868 NEW BEST:: SOT 461481 SOS 232603 HAS SOPS 232603 HAS SOUS 89035 HAS SOUPS 89035 WITH SCORE 89267.603
AT ITER 6883 NEW BEST:: SOT 461211 SOS 232489 HAS SOPS 232489 HAS SOUS 89008 HAS SOUPS 89008 WITH SCORE 89240.489
AT ITER 6891 NEW BEST:: SOT 461211 SOS 232489 HAS SOPS 232489 HAS SOUS 88952 HAS SOUPS 88952 WITH SCORE 89184.489
AT ITER 6907 NEW BEST:: SOT 461205 SOS 232483 HAS SOPS 232483 HAS SOUS 88941 HAS SOUPS 88941 WITH SCORE 89173.483
AT ITER 6924 NEW BEST:: SOT 461057 SOS 233111 HAS SOPS 233111 HAS SOUS 88867 HAS SOUPS 88867 WITH SCORE 89100.111
AT ITER 6943 NEW BEST:: SOT 461071 SOS 233072 HAS SOPS 233072 HAS SOUS 88847 HAS SOUPS 88847 WITH SCORE 89080.072
AT ITER 6949 NEW BEST:: SOT 461016 SOS 233017 HAS SOPS 233017 HAS SOUS 88808 HAS SOUPS 88808 WITH SCORE 89041.017
AT ITER 6957 NEW BEST:: SOT 460968 SOS 232978 HAS SOPS 232978 HAS SOUS 88769 HAS SOUPS 88769 WITH SCORE 89001.978
AT ITER 6962 NEW BEST:: SOT 460968 SOS 232910 HAS SOPS 232910 HAS SOUS 88767 HAS SOUPS 88767 WITH SCORE 88999.91
AT ITER 6978 NEW BEST:: SOT 460945 SOS 232868 HAS SOPS 232868 HAS SOUS 88759 HAS SOUPS 88759 WITH SCORE 88991.868
AT ITER 7022 NEW BEST:: SOT 461028 SOS 232810 HAS SOPS 232810 HAS SOUS 88753 HAS SOUPS 88753 WITH SCORE 88985.81
AT ITER 7051 NEW BEST:: SOT 460788 SOS 233697 HAS SOPS 233697 HAS SOUS 88733 HAS SOUPS 88733 WITH SCORE 88966.697
AT ITER 7067 NEW BEST:: SOT 460779 SOS 233688 HAS SOPS 233688 HAS SOUS 88724 HAS SOUPS 88724 WITH SCORE 88957.688
AT ITER 7083 NEW BEST:: SOT 460776 SOS 233685 HAS SOPS 233685 HAS SOUS 88654 HAS SOUPS 88654 WITH SCORE 88887.685
AT ITER 7084 NEW BEST:: SOT 460756 SOS 233605 HAS SOPS 233605 HAS SOUS 88594 HAS SOUPS 88594 WITH SCORE 88827.605
AT ITER 7090 NEW BEST:: SOT 460724 SOS 233557 HAS SOPS 233557 HAS SOUS 88546 HAS SOUPS 88546 WITH SCORE 88779.557
AT ITER 7111 NEW BEST:: SOT 460506 SOS 233249 HAS SOPS 233249 HAS SOUS 88284 HAS SOUPS 88284 WITH SCORE 88517.249
AT ITER 7114 NEW BEST:: SOT 460506 SOS 233221 HAS SOPS 233221 HAS SOUS 88284 HAS SOUPS 88284 WITH SCORE 88517.221
AT ITER 7134 NEW BEST:: SOT 460504 SOS 233073 HAS SOPS 233073 HAS SOUS 88127 HAS SOUPS 88127 WITH SCORE 88360.073
AT ITER 7176 NEW BEST:: SOT 460497 SOS 233064 HAS SOPS 233064 HAS SOUS 88094 HAS SOUPS 88094 WITH SCORE 88327.064
AT ITER 7180 NEW BEST:: SOT 460502 SOS 232906 HAS SOPS 232906 HAS SOUS 88094 HAS SOUPS 88094 WITH SCORE 88326.906
AT ITER 7198 NEW BEST:: SOT 460502 SOS 232421 HAS SOPS 232421 HAS SOUS 88094 HAS SOUPS 88094 WITH SCORE 88326.421
AT ITER 7222 NEW BEST:: SOT 460431 SOS 232343 HAS SOPS 232343 HAS SOUS 88042 HAS SOUPS 88042 WITH SCORE 88274.343
AT ITER 7248 NEW BEST:: SOT 460417 SOS 232355 HAS SOPS 232355 HAS SOUS 88034 HAS SOUPS 88034 WITH SCORE 88266.355
AT ITER 7259 NEW BEST:: SOT 460415 SOS 232337 HAS SOPS 232337 HAS SOUS 88032 HAS SOUPS 88032 WITH SCORE 88264.337
AT ITER 7274 NEW BEST:: SOT 460415 SOS 232276 HAS SOPS 232276 HAS SOUS 87971 HAS SOUPS 87971 WITH SCORE 88203.276
AT ITER 7308 NEW BEST:: SOT 460410 SOS 232271 HAS SOPS 232271 HAS SOUS 87966 HAS SOUPS 87966 WITH SCORE 88198.271
AT ITER 7310 NEW BEST:: SOT 460437 SOS 232364 HAS SOPS 232364 HAS SOUS 87955 HAS SOUPS 87955 WITH SCORE 88187.364
AT ITER 7315 NEW BEST:: SOT 460420 SOS 232347 HAS SOPS 232347 HAS SOUS 87877 HAS SOUPS 87877 WITH SCORE 88109.347
AT ITER 7321 NEW BEST:: SOT 460525 SOS 232297 HAS SOPS 232297 HAS SOUS 87827 HAS SOUPS 87827 WITH SCORE 88059.297
AT ITER 7329 NEW BEST:: SOT 460495 SOS 232319 HAS SOPS 232319 HAS SOUS 87803 HAS SOUPS 87803 WITH SCORE 88035.319
AT ITER 7412 NEW BEST:: SOT 460488 SOS 232309 HAS SOPS 232309 HAS SOUS 87803 HAS SOUPS 87803 WITH SCORE 88035.309
AT ITER 7416 NEW BEST:: SOT 460482 SOS 232303 HAS SOPS 232303 HAS SOUS 87797 HAS SOUPS 87797 WITH SCORE 88029.303
AT ITER 7434 NEW BEST:: SOT 460481 SOS 232302 HAS SOPS 232302 HAS SOUS 87795 HAS SOUPS 87795 WITH SCORE 88027.302
AT ITER 7435 NEW BEST:: SOT 460463 SOS 232293 HAS SOPS 232293 HAS SOUS 87775 HAS SOUPS 87775 WITH SCORE 88007.293
AT ITER 7438 NEW BEST:: SOT 460463 SOS 232293 HAS SOPS 232293 HAS SOUS 87765 HAS SOUPS 87765 WITH SCORE 87997.293
AT ITER 7453 NEW BEST:: SOT 460451 SOS 232281 HAS SOPS 232281 HAS SOUS 87753 HAS SOUPS 87753 WITH SCORE 87985.281
AT ITER 7489 NEW BEST:: SOT 460446 SOS 232255 HAS SOPS 232255 HAS SOUS 87743 HAS SOUPS 87743 WITH SCORE 87975.255
AT ITER 7502 NEW BEST:: SOT 460436 SOS 232322 HAS SOPS 232322 HAS SOUS 87723 HAS SOUPS 87723 WITH SCORE 87955.322
AT ITER 7512 NEW BEST:: SOT 460424 SOS 232310 HAS SOPS 232310 HAS SOUS 87711 HAS SOUPS 87711 WITH SCORE 87943.31
AT ITER 7562 NEW BEST:: SOT 460290 SOS 232163 HAS SOPS 232163 HAS SOUS 87564 HAS SOUPS 87564 WITH SCORE 87796.163
AT ITER 7565 NEW BEST:: SOT 460286 SOS 232159 HAS SOPS 232159 HAS SOUS 87556 HAS SOUPS 87556 WITH SCORE 87788.159
AT ITER 7573 NEW BEST:: SOT 460344 SOS 232267 HAS SOPS 232267 HAS SOUS 87548 HAS SOUPS 87548 WITH SCORE 87780.267
AT ITER 7652 NEW BEST:: SOT 460321 SOS 232244 HAS SOPS 232244 HAS SOUS 87538 HAS SOUPS 87538 WITH SCORE 87770.244
AT ITER 7657 NEW BEST:: SOT 460301 SOS 232224 HAS SOPS 232224 HAS SOUS 87518 HAS SOUPS 87518 WITH SCORE 87750.224
AT ITER 7678 NEW BEST:: SOT 460301 SOS 232212 HAS SOPS 232212 HAS SOUS 87506 HAS SOUPS 87506 WITH SCORE 87738.212
AT ITER 7685 NEW BEST:: SOT 460301 SOS 232209 HAS SOPS 232209 HAS SOUS 87503 HAS SOUPS 87503 WITH SCORE 87735.209
AT ITER 7750 NEW BEST:: SOT 460301 SOS 232177 HAS SOPS 232177 HAS SOUS 87471 HAS SOUPS 87471 WITH SCORE 87703.177
AT ITER 7806 NEW BEST:: SOT 460312 SOS 232149 HAS SOPS 232149 HAS SOUS 87443 HAS SOUPS 87443 WITH SCORE 87675.149
AT ITER 7816 NEW BEST:: SOT 460302 SOS 232129 HAS SOPS 232129 HAS SOUS 87433 HAS SOUPS 87433 WITH SCORE 87665.129
AT ITER 7821 NEW BEST:: SOT 460288 SOS 232112 HAS SOPS 232112 HAS SOUS 87416 HAS SOUPS 87416 WITH SCORE 87648.112
AT ITER 7852 NEW BEST:: SOT 460286 SOS 232110 HAS SOPS 232110 HAS SOUS 87414 HAS SOUPS 87414 WITH SCORE 87646.11
AT ITER 7859 NEW BEST:: SOT 460244 SOS 231788 HAS SOPS 231788 HAS SOUS 87337 HAS SOUPS 87337 WITH SCORE 87568.788
AT ITER 7863 NEW BEST:: SOT 460177 SOS 231654 HAS SOPS 231654 HAS SOUS 87203 HAS SOUPS 87203 WITH SCORE 87434.654
AT ITER 7890 NEW BEST:: SOT 460152 SOS 231604 HAS SOPS 231604 HAS SOUS 87176 HAS SOUPS 87176 WITH SCORE 87407.604
AT ITER 7893 NEW BEST:: SOT 460102 SOS 231556 HAS SOPS 231556 HAS SOUS 87156 HAS SOUPS 87156 WITH SCORE 87387.556
AT ITER 7899 NEW BEST:: SOT 460096 SOS 231300 HAS SOPS 231300 HAS SOUS 87144 HAS SOUPS 87144 WITH SCORE 87375.3
AT ITER 7917 NEW BEST:: SOT 460072 SOS 230918 HAS SOPS 230918 HAS SOUS 87144 HAS SOUPS 87144 WITH SCORE 87374.918
AT ITER 7932 NEW BEST:: SOT 460039 SOS 230935 HAS SOPS 230935 HAS SOUS 87135 HAS SOUPS 87135 WITH SCORE 87365.935
AT ITER 7937 NEW BEST:: SOT 460027 SOS 230875 HAS SOPS 230875 HAS SOUS 87099 HAS SOUPS 87099 WITH SCORE 87329.875
AT ITER 7944 NEW BEST:: SOT 460028 SOS 230796 HAS SOPS 230796 HAS SOUS 87080 HAS SOUPS 87080 WITH SCORE 87310.796
AT ITER 7957 NEW BEST:: SOT 460016 SOS 230784 HAS SOPS 230784 HAS SOUS 87079 HAS SOUPS 87079 WITH SCORE 87309.784
AT ITER 7972 NEW BEST:: SOT 459957 SOS 230725 HAS SOPS 230725 HAS SOUS 86912 HAS SOUPS 86912 WITH SCORE 87142.725
AT ITER 7989 NEW BEST:: SOT 459957 SOS 230706 HAS SOPS 230706 HAS SOUS 86912 HAS SOUPS 86912 WITH SCORE 87142.706
AT ITER 7992 NEW BEST:: SOT 459948 SOS 230696 HAS SOPS 230696 HAS SOUS 86894 HAS SOUPS 86894 WITH SCORE 87124.696
AT ITER 8009 NEW BEST:: SOT 459942 SOS 230690 HAS SOPS 230690 HAS SOUS 86888 HAS SOUPS 86888 WITH SCORE 87118.69
AT ITER 8039 NEW BEST:: SOT 459934 SOS 230650 HAS SOPS 230650 HAS SOUS 86820 HAS SOUPS 86820 WITH SCORE 87050.65
AT ITER 8103 NEW BEST:: SOT 459894 SOS 230586 HAS SOPS 230586 HAS SOUS 86795 HAS SOUPS 86795 WITH SCORE 87025.586
AT ITER 8181 NEW BEST:: SOT 459883 SOS 230575 HAS SOPS 230575 HAS SOUS 86782 HAS SOUPS 86782 WITH SCORE 87012.575
AT ITER 8193 NEW BEST:: SOT 459792 SOS 230456 HAS SOPS 230456 HAS SOUS 86663 HAS SOUPS 86663 WITH SCORE 86893.456
AT ITER 8199 NEW BEST:: SOT 459798 SOS 230462 HAS SOPS 230462 HAS SOUS 86656 HAS SOUPS 86656 WITH SCORE 86886.462
AT ITER 8203 NEW BEST:: SOT 459798 SOS 230462 HAS SOPS 230462 HAS SOUS 86575 HAS SOUPS 86575 WITH SCORE 86805.462
AT ITER 8217 NEW BEST:: SOT 459796 SOS 230460 HAS SOPS 230460 HAS SOUS 86573 HAS SOUPS 86573 WITH SCORE 86803.46
AT ITER 8317 NEW BEST:: SOT 459795 SOS 230453 HAS SOPS 230453 HAS SOUS 86566 HAS SOUPS 86566 WITH SCORE 86796.453
AT ITER 8363 NEW BEST:: SOT 459782 SOS 230440 HAS SOPS 230440 HAS SOUS 86553 HAS SOUPS 86553 WITH SCORE 86783.44
AT ITER 8370 NEW BEST:: SOT 459767 SOS 230370 HAS SOPS 230370 HAS SOUS 86483 HAS SOUPS 86483 WITH SCORE 86713.37
AT ITER 8388 NEW BEST:: SOT 459706 SOS 230233 HAS SOPS 230233 HAS SOUS 86281 HAS SOUPS 86281 WITH SCORE 86511.233
AT ITER 8412 NEW BEST:: SOT 459722 SOS 230178 HAS SOPS 230178 HAS SOUS 86226 HAS SOUPS 86226 WITH SCORE 86456.178
AT ITER 8413 NEW BEST:: SOT 459708 SOS 230164 HAS SOPS 230164 HAS SOUS 86181 HAS SOUPS 86181 WITH SCORE 86411.164
AT ITER 8464 NEW BEST:: SOT 459699 SOS 230077 HAS SOPS 230077 HAS SOUS 86133 HAS SOUPS 86133 WITH SCORE 86363.077
AT ITER 8465 NEW BEST:: SOT 459663 SOS 230041 HAS SOPS 230041 HAS SOUS 86117 HAS SOUPS 86117 WITH SCORE 86347.041
AT ITER 8487 NEW BEST:: SOT 459660 SOS 230032 HAS SOPS 230032 HAS SOUS 86108 HAS SOUPS 86108 WITH SCORE 86338.032
AT ITER 8520 NEW BEST:: SOT 459592 SOS 230032 HAS SOPS 230032 HAS SOUS 85982 HAS SOUPS 85982 WITH SCORE 86212.032
AT ITER 8525 NEW BEST:: SOT 459592 SOS 230030 HAS SOPS 230030 HAS SOUS 85982 HAS SOUPS 85982 WITH SCORE 86212.03
AT ITER 8531 NEW BEST:: SOT 459592 SOS 229994 HAS SOPS 229994 HAS SOUS 85982 HAS SOUPS 85982 WITH SCORE 86211.994
AT ITER 8554 NEW BEST:: SOT 459511 SOS 229968 HAS SOPS 229968 HAS SOUS 85893 HAS SOUPS 85893 WITH SCORE 86122.968
AT ITER 8598 NEW BEST:: SOT 459505 SOS 229962 HAS SOPS 229962 HAS SOUS 85887 HAS SOUPS 85887 WITH SCORE 86116.962
AT ITER 8684 NEW BEST:: SOT 459475 SOS 229998 HAS SOPS 229998 HAS SOUS 85857 HAS SOUPS 85857 WITH SCORE 86086.998
AT ITER 8691 NEW BEST:: SOT 459475 SOS 229955 HAS SOPS 229955 HAS SOUS 85771 HAS SOUPS 85771 WITH SCORE 86000.955
AT ITER 8730 NEW BEST:: SOT 459451 SOS 229883 HAS SOPS 229883 HAS SOUS 85699 HAS SOUPS 85699 WITH SCORE 85928.883
AT ITER 8747 NEW BEST:: SOT 459369 SOS 229801 HAS SOPS 229801 HAS SOUS 85617 HAS SOUPS 85617 WITH SCORE 85846.801
AT ITER 8791 NEW BEST:: SOT 459295 SOS 229706 HAS SOPS 229706 HAS SOUS 85542 HAS SOUPS 85542 WITH SCORE 85771.706
AT ITER 8793 NEW BEST:: SOT 459350 SOS 229636 HAS SOPS 229636 HAS SOUS 85536 HAS SOUPS 85536 WITH SCORE 85765.636
AT ITER 8846 NEW BEST:: SOT 459377 SOS 229689 HAS SOPS 229689 HAS SOUS 85531 HAS SOUPS 85531 WITH SCORE 85760.689
AT ITER 8859 NEW BEST:: SOT 459423 SOS 229682 HAS SOPS 229682 HAS SOUS 85468 HAS SOUPS 85468 WITH SCORE 85697.682
AT ITER 8879 NEW BEST:: SOT 459414 SOS 229664 HAS SOPS 229664 HAS SOUS 85450 HAS SOUPS 85450 WITH SCORE 85679.664
AT ITER 8888 NEW BEST:: SOT 459440 SOS 229682 HAS SOPS 229682 HAS SOUS 85403 HAS SOUPS 85403 WITH SCORE 85632.682
AT ITER 8931 NEW BEST:: SOT 459314 SOS 229645 HAS SOPS 229645 HAS SOUS 85117 HAS SOUPS 85117 WITH SCORE 85346.645
AT ITER 8950 NEW BEST:: SOT 459269 SOS 229458 HAS SOPS 229458 HAS SOUS 84953 HAS SOUPS 84953 WITH SCORE 85182.458
AT ITER 8954 NEW BEST:: SOT 459269 SOS 229430 HAS SOPS 229430 HAS SOUS 84917 HAS SOUPS 84917 WITH SCORE 85146.43
AT ITER 8955 NEW BEST:: SOT 459219 SOS 229318 HAS SOPS 229318 HAS SOUS 84800 HAS SOUPS 84800 WITH SCORE 85029.318
AT ITER 8956 NEW BEST:: SOT 459164 SOS 229130 HAS SOPS 229130 HAS SOUS 84666 HAS SOUPS 84666 WITH SCORE 84895.13
AT ITER 8976 NEW BEST:: SOT 459171 SOS 229123 HAS SOPS 229123 HAS SOUS 84659 HAS SOUPS 84659 WITH SCORE 84888.123
AT ITER 9005 NEW BEST:: SOT 459137 SOS 229078 HAS SOPS 229078 HAS SOUS 84614 HAS SOUPS 84614 WITH SCORE 84843.078
AT ITER 9075 NEW BEST:: SOT 459008 SOS 229096 HAS SOPS 229096 HAS SOUS 84485 HAS SOUPS 84485 WITH SCORE 84714.096
AT ITER 9080 NEW BEST:: SOT 458887 SOS 228975 HAS SOPS 228975 HAS SOUS 84305 HAS SOUPS 84305 WITH SCORE 84533.975
AT ITER 9100 NEW BEST:: SOT 458841 SOS 228879 HAS SOPS 228879 HAS SOUS 84209 HAS SOUPS 84209 WITH SCORE 84437.879
AT ITER 9110 NEW BEST:: SOT 458842 SOS 228857 HAS SOPS 228857 HAS SOUS 84208 HAS SOUPS 84208 WITH SCORE 84436.857
AT ITER 9126 NEW BEST:: SOT 458837 SOS 228817 HAS SOPS 228817 HAS SOUS 84208 HAS SOUPS 84208 WITH SCORE 84436.817
AT ITER 9129 NEW BEST:: SOT 458837 SOS 228805 HAS SOPS 228805 HAS SOUS 84196 HAS SOUPS 84196 WITH SCORE 84424.805
AT ITER 9135 NEW BEST:: SOT 458784 SOS 228699 HAS SOPS 228699 HAS SOUS 84090 HAS SOUPS 84090 WITH SCORE 84318.699
AT ITER 9160 NEW BEST:: SOT 458944 SOS 228725 HAS SOPS 228725 HAS SOUS 84088 HAS SOUPS 84088 WITH SCORE 84316.725
AT ITER 9197 NEW BEST:: SOT 458967 SOS 228917 HAS SOPS 228917 HAS SOUS 83977 HAS SOUPS 83977 WITH SCORE 84205.917
AT ITER 9233 NEW BEST:: SOT 458952 SOS 228887 HAS SOPS 228887 HAS SOUS 83947 HAS SOUPS 83947 WITH SCORE 84175.887
AT ITER 9246 NEW BEST:: SOT 458952 SOS 228647 HAS SOPS 228647 HAS SOUS 83917 HAS SOUPS 83917 WITH SCORE 84145.647
AT ITER 9264 NEW BEST:: SOT 458940 SOS 228618 HAS SOPS 228618 HAS SOUS 83888 HAS SOUPS 83888 WITH SCORE 84116.618
AT ITER 9319 NEW BEST:: SOT 458940 SOS 228618 HAS SOPS 228618 HAS SOUS 83868 HAS SOUPS 83868 WITH SCORE 84096.618
AT ITER 9326 NEW BEST:: SOT 458940 SOS 228609 HAS SOPS 228609 HAS SOUS 83868 HAS SOUPS 83868 WITH SCORE 84096.609
AT ITER 9329 NEW BEST:: SOT 458926 SOS 228595 HAS SOPS 228595 HAS SOUS 83854 HAS SOUPS 83854 WITH SCORE 84082.595
AT ITER 9330 NEW BEST:: SOT 458850 SOS 227903 HAS SOPS 227903 HAS SOUS 83792 HAS SOUPS 83792 WITH SCORE 84019.903
AT ITER 9336 NEW BEST:: SOT 458835 SOS 227888 HAS SOPS 227888 HAS SOUS 83777 HAS SOUPS 83777 WITH SCORE 84004.888
AT ITER 9357 NEW BEST:: SOT 458829 SOS 227876 HAS SOPS 227876 HAS SOUS 83759 HAS SOUPS 83759 WITH SCORE 83986.876
AT ITER 9444 NEW BEST:: SOT 458795 SOS 227842 HAS SOPS 227842 HAS SOUS 83715 HAS SOUPS 83715 WITH SCORE 83942.842
AT ITER 9450 NEW BEST:: SOT 458763 SOS 227810 HAS SOPS 227810 HAS SOUS 83679 HAS SOUPS 83679 WITH SCORE 83906.81
AT ITER 9453 NEW BEST:: SOT 458763 SOS 227810 HAS SOPS 227810 HAS SOUS 83627 HAS SOUPS 83627 WITH SCORE 83854.81
AT ITER 9457 NEW BEST:: SOT 458721 SOS 227768 HAS SOPS 227768 HAS SOUS 83563 HAS SOUPS 83563 WITH SCORE 83790.768
AT ITER 9469 NEW BEST:: SOT 458608 SOS 227827 HAS SOPS 227827 HAS SOUS 83535 HAS SOUPS 83535 WITH SCORE 83762.827
AT ITER 9503 NEW BEST:: SOT 458582 SOS 227801 HAS SOPS 227801 HAS SOUS 83483 HAS SOUPS 83483 WITH SCORE 83710.801
AT ITER 9506 NEW BEST:: SOT 458146 SOS 227437 HAS SOPS 227437 HAS SOUS 83079 HAS SOUPS 83079 WITH SCORE 83306.437
AT ITER 9527 NEW BEST:: SOT 458046 SOS 227337 HAS SOPS 227337 HAS SOUS 82906 HAS SOUPS 82906 WITH SCORE 83133.337
AT ITER 9533 NEW BEST:: SOT 458008 SOS 227284 HAS SOPS 227284 HAS SOUS 82837 HAS SOUPS 82837 WITH SCORE 83064.284
AT ITER 9539 NEW BEST:: SOT 457888 SOS 227044 HAS SOPS 227044 HAS SOUS 82570 HAS SOUPS 82570 WITH SCORE 82797.044
AT ITER 9562 NEW BEST:: SOT 457841 SOS 227211 HAS SOPS 227211 HAS SOUS 82525 HAS SOUPS 82525 WITH SCORE 82752.211
AT ITER 9615 NEW BEST:: SOT 457841 SOS 227211 HAS SOPS 227211 HAS SOUS 82485 HAS SOUPS 82485 WITH SCORE 82712.211
AT ITER 9643 NEW BEST:: SOT 457841 SOS 227196 HAS SOPS 227196 HAS SOUS 82470 HAS SOUPS 82470 WITH SCORE 82697.196
AT ITER 9680 NEW BEST:: SOT 457868 SOS 227159 HAS SOPS 227159 HAS SOUS 82455 HAS SOUPS 82455 WITH SCORE 82682.159
AT ITER 9737 NEW BEST:: SOT 457813 SOS 227052 HAS SOPS 227052 HAS SOUS 82322 HAS SOUPS 82322 WITH SCORE 82549.052
AT ITER 9739 NEW BEST:: SOT 457771 SOS 227169 HAS SOPS 227169 HAS SOUS 82238 HAS SOUPS 82238 WITH SCORE 82465.169
AT ITER 9741 NEW BEST:: SOT 457784 SOS 227149 HAS SOPS 227149 HAS SOUS 82227 HAS SOUPS 82227 WITH SCORE 82454.149
AT ITER 9747 NEW BEST:: SOT 457765 SOS 227111 HAS SOPS 227111 HAS SOUS 82208 HAS SOUPS 82208 WITH SCORE 82435.111
AT ITER 9779 NEW BEST:: SOT 458071 SOS 227025 HAS SOPS 227025 HAS SOUS 82182 HAS SOUPS 82182 WITH SCORE 82409.025
AT ITER 9784 NEW BEST:: SOT 458026 SOS 227634 HAS SOPS 227634 HAS SOUS 82137 HAS SOUPS 82137 WITH SCORE 82364.634
AT ITER 9806 NEW BEST:: SOT 458015 SOS 227634 HAS SOPS 227634 HAS SOUS 82126 HAS SOUPS 82126 WITH SCORE 82353.634
AT ITER 9809 NEW BEST:: SOT 457960 SOS 227579 HAS SOPS 227579 HAS SOUS 82071 HAS SOUPS 82071 WITH SCORE 82298.579
AT ITER 9845 NEW BEST:: SOT 457846 SOS 227465 HAS SOPS 227465 HAS SOUS 82046 HAS SOUPS 82046 WITH SCORE 82273.465
AT ITER 9855 NEW BEST:: SOT 457926 SOS 227665 HAS SOPS 227665 HAS SOUS 81733 HAS SOUPS 81733 WITH SCORE 81960.665
AT ITER 9867 NEW BEST:: SOT 457892 SOS 227163 HAS SOPS 227163 HAS SOUS 81708 HAS SOUPS 81708 WITH SCORE 81935.163
AT ITER 9885 NEW BEST:: SOT 457951 SOS 227222 HAS SOPS 227222 HAS SOUS 81703 HAS SOUPS 81703 WITH SCORE 81930.222
AT ITER 9943 NEW BEST:: SOT 457850 SOS 227121 HAS SOPS 227121 HAS SOUS 81602 HAS SOUPS 81602 WITH SCORE 81829.121
AT ITER 9956 NEW BEST:: SOT 457804 SOS 227126 HAS SOPS 227126 HAS SOUS 81569 HAS SOUPS 81569 WITH SCORE 81796.126
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 6437600 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16152400 kB

BK_TIME_CONFINEMENT_REACHED

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

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="ASLink-PT-03a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ASLink-PT-03a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813590300048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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