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-167813590400064.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-04a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590400064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 980K
-rw-r--r-- 1 mcc users 6.5K Feb 26 13:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 13:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 13:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 13:03 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.2K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 158K Feb 26 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 113K Feb 26 13:04 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 436K 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 1678469050740

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-04a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 04a
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: 1016 places, 1554 transitions, 5858 arcs.
AT ITER 0 NEW BEST:: SOT 867032 SOS 592964 HAS SOPS 592964 HAS SOUS 372089 HAS SOUPS 372089 WITH SCORE 372681.964
AT ITER 1 NEW BEST:: SOT 866304 SOS 592291 HAS SOPS 592291 HAS SOUS 371415 HAS SOUPS 371415 WITH SCORE 372007.291
AT ITER 11 NEW BEST:: SOT 865872 SOS 592005 HAS SOPS 592005 HAS SOUS 371374 HAS SOUPS 371374 WITH SCORE 371966.005
AT ITER 12 NEW BEST:: SOT 865872 SOS 591604 HAS SOPS 591604 HAS SOUS 371347 HAS SOUPS 371347 WITH SCORE 371938.604
AT ITER 18 NEW BEST:: SOT 865872 SOS 591122 HAS SOPS 591122 HAS SOUS 371210 HAS SOUPS 371210 WITH SCORE 371801.122
AT ITER 19 NEW BEST:: SOT 865671 SOS 590921 HAS SOPS 590921 HAS SOUS 371009 HAS SOUPS 371009 WITH SCORE 371599.921
AT ITER 22 NEW BEST:: SOT 865671 SOS 591019 HAS SOPS 591019 HAS SOUS 370959 HAS SOUPS 370959 WITH SCORE 371550.019
AT ITER 25 NEW BEST:: SOT 865257 SOS 589174 HAS SOPS 589174 HAS SOUS 370044 HAS SOUPS 370044 WITH SCORE 370633.174
AT ITER 27 NEW BEST:: SOT 864871 SOS 588161 HAS SOPS 588161 HAS SOUS 369270 HAS SOUPS 369270 WITH SCORE 369858.161
AT ITER 30 NEW BEST:: SOT 859626 SOS 583535 HAS SOPS 583535 HAS SOUS 364206 HAS SOUPS 364206 WITH SCORE 364789.535
AT ITER 33 NEW BEST:: SOT 859483 SOS 583392 HAS SOPS 583392 HAS SOUS 364063 HAS SOUPS 364063 WITH SCORE 364646.392
AT ITER 42 NEW BEST:: SOT 859476 SOS 583385 HAS SOPS 583385 HAS SOUS 364058 HAS SOUPS 364058 WITH SCORE 364641.385
AT ITER 45 NEW BEST:: SOT 859257 SOS 583166 HAS SOPS 583166 HAS SOUS 364055 HAS SOUPS 364055 WITH SCORE 364638.166
AT ITER 50 NEW BEST:: SOT 858744 SOS 582237 HAS SOPS 582237 HAS SOUS 363129 HAS SOUPS 363129 WITH SCORE 363711.237
AT ITER 51 NEW BEST:: SOT 858744 SOS 581602 HAS SOPS 581602 HAS SOUS 363128 HAS SOUPS 363128 WITH SCORE 363709.602
AT ITER 53 NEW BEST:: SOT 857274 SOS 580132 HAS SOPS 580132 HAS SOUS 361658 HAS SOUPS 361658 WITH SCORE 362238.132
AT ITER 54 NEW BEST:: SOT 857274 SOS 580132 HAS SOPS 580132 HAS SOUS 361647 HAS SOUPS 361647 WITH SCORE 362227.132
AT ITER 55 NEW BEST:: SOT 857274 SOS 580126 HAS SOPS 580126 HAS SOUS 361641 HAS SOUPS 361641 WITH SCORE 362221.126
AT ITER 57 NEW BEST:: SOT 857267 SOS 580128 HAS SOPS 580128 HAS SOUS 361640 HAS SOUPS 361640 WITH SCORE 362220.128
AT ITER 60 NEW BEST:: SOT 857121 SOS 579982 HAS SOPS 579982 HAS SOUS 361639 HAS SOUPS 361639 WITH SCORE 362218.982
AT ITER 72 NEW BEST:: SOT 852886 SOS 575778 HAS SOPS 575778 HAS SOUS 357435 HAS SOUPS 357435 WITH SCORE 358010.778
AT ITER 78 NEW BEST:: SOT 850734 SOS 573626 HAS SOPS 573626 HAS SOUS 355282 HAS SOUPS 355282 WITH SCORE 355855.626
AT ITER 79 NEW BEST:: SOT 850734 SOS 573312 HAS SOPS 573312 HAS SOUS 355275 HAS SOUPS 355275 WITH SCORE 355848.312
AT ITER 80 NEW BEST:: SOT 850734 SOS 573312 HAS SOPS 573312 HAS SOUS 355273 HAS SOUPS 355273 WITH SCORE 355846.312
AT ITER 81 NEW BEST:: SOT 850734 SOS 572769 HAS SOPS 572769 HAS SOUS 355101 HAS SOUPS 355101 WITH SCORE 355673.769
AT ITER 90 NEW BEST:: SOT 850676 SOS 572653 HAS SOPS 572653 HAS SOUS 355024 HAS SOUPS 355024 WITH SCORE 355596.653
AT ITER 93 NEW BEST:: SOT 848613 SOS 570590 HAS SOPS 570590 HAS SOUS 352961 HAS SOUPS 352961 WITH SCORE 353531.59
AT ITER 94 NEW BEST:: SOT 848569 SOS 570546 HAS SOPS 570546 HAS SOUS 352917 HAS SOUPS 352917 WITH SCORE 353487.546
AT ITER 103 NEW BEST:: SOT 848029 SOS 570268 HAS SOPS 570268 HAS SOUS 352639 HAS SOUPS 352639 WITH SCORE 353209.268
AT ITER 105 NEW BEST:: SOT 848029 SOS 569935 HAS SOPS 569935 HAS SOUS 352358 HAS SOUPS 352358 WITH SCORE 352927.935
AT ITER 106 NEW BEST:: SOT 847559 SOS 569438 HAS SOPS 569438 HAS SOUS 351841 HAS SOUPS 351841 WITH SCORE 352410.438
AT ITER 116 NEW BEST:: SOT 847284 SOS 569355 HAS SOPS 569355 HAS SOUS 351841 HAS SOUPS 351841 WITH SCORE 352410.355
AT ITER 117 NEW BEST:: SOT 847289 SOS 568984 HAS SOPS 568984 HAS SOUS 351828 HAS SOUPS 351828 WITH SCORE 352396.984
AT ITER 120 NEW BEST:: SOT 847022 SOS 568717 HAS SOPS 568717 HAS SOUS 351822 HAS SOUPS 351822 WITH SCORE 352390.717
AT ITER 125 NEW BEST:: SOT 847022 SOS 568423 HAS SOPS 568423 HAS SOUS 351812 HAS SOUPS 351812 WITH SCORE 352380.423
AT ITER 127 NEW BEST:: SOT 846888 SOS 566949 HAS SOPS 566949 HAS SOUS 351307 HAS SOUPS 351307 WITH SCORE 351873.949
AT ITER 139 NEW BEST:: SOT 846884 SOS 566854 HAS SOPS 566854 HAS SOUS 351305 HAS SOUPS 351305 WITH SCORE 351871.854
AT ITER 142 NEW BEST:: SOT 846776 SOS 566746 HAS SOPS 566746 HAS SOUS 351196 HAS SOUPS 351196 WITH SCORE 351762.746
AT ITER 146 NEW BEST:: SOT 847131 SOS 566301 HAS SOPS 566301 HAS SOUS 351190 HAS SOUPS 351190 WITH SCORE 351756.301
AT ITER 147 NEW BEST:: SOT 847131 SOS 566012 HAS SOPS 566012 HAS SOUS 351189 HAS SOUPS 351189 WITH SCORE 351755.012
AT ITER 148 NEW BEST:: SOT 847131 SOS 566012 HAS SOPS 566012 HAS SOUS 351115 HAS SOUPS 351115 WITH SCORE 351681.012
AT ITER 150 NEW BEST:: SOT 847126 SOS 566007 HAS SOPS 566007 HAS SOUS 351110 HAS SOUPS 351110 WITH SCORE 351676.007
AT ITER 169 NEW BEST:: SOT 846913 SOS 565993 HAS SOPS 565993 HAS SOUS 351096 HAS SOUPS 351096 WITH SCORE 351661.993
AT ITER 178 NEW BEST:: SOT 846740 SOS 565326 HAS SOPS 565326 HAS SOUS 350911 HAS SOUPS 350911 WITH SCORE 351476.326
AT ITER 183 NEW BEST:: SOT 846870 SOS 565456 HAS SOPS 565456 HAS SOUS 350777 HAS SOUPS 350777 WITH SCORE 351342.456
AT ITER 184 NEW BEST:: SOT 846521 SOS 564275 HAS SOPS 564275 HAS SOUS 350019 HAS SOUPS 350019 WITH SCORE 350583.275
AT ITER 188 NEW BEST:: SOT 846193 SOS 563618 HAS SOPS 563618 HAS SOUS 349362 HAS SOUPS 349362 WITH SCORE 349925.618
AT ITER 194 NEW BEST:: SOT 846552 SOS 564009 HAS SOPS 564009 HAS SOUS 349292 HAS SOUPS 349292 WITH SCORE 349856.009
AT ITER 195 NEW BEST:: SOT 846181 SOS 563699 HAS SOPS 563699 HAS SOUS 348694 HAS SOUPS 348694 WITH SCORE 349257.699
AT ITER 197 NEW BEST:: SOT 845772 SOS 563290 HAS SOPS 563290 HAS SOUS 348285 HAS SOUPS 348285 WITH SCORE 348848.29
AT ITER 199 NEW BEST:: SOT 846014 SOS 562251 HAS SOPS 562251 HAS SOUS 347463 HAS SOUPS 347463 WITH SCORE 348025.251
AT ITER 204 NEW BEST:: SOT 845763 SOS 561988 HAS SOPS 561988 HAS SOUS 347200 HAS SOUPS 347200 WITH SCORE 347761.988
AT ITER 206 NEW BEST:: SOT 845763 SOS 561817 HAS SOPS 561817 HAS SOUS 347200 HAS SOUPS 347200 WITH SCORE 347761.817
AT ITER 216 NEW BEST:: SOT 845990 SOS 561222 HAS SOPS 561222 HAS SOUS 346741 HAS SOUPS 346741 WITH SCORE 347302.222
AT ITER 217 NEW BEST:: SOT 845973 SOS 561200 HAS SOPS 561200 HAS SOUS 346719 HAS SOUPS 346719 WITH SCORE 347280.2
AT ITER 222 NEW BEST:: SOT 845973 SOS 560706 HAS SOPS 560706 HAS SOUS 346620 HAS SOUPS 346620 WITH SCORE 347180.706
AT ITER 225 NEW BEST:: SOT 845789 SOS 560359 HAS SOPS 560359 HAS SOUS 346453 HAS SOUPS 346453 WITH SCORE 347013.359
AT ITER 231 NEW BEST:: SOT 845789 SOS 560291 HAS SOPS 560291 HAS SOUS 346401 HAS SOUPS 346401 WITH SCORE 346961.291
AT ITER 234 NEW BEST:: SOT 845789 SOS 557458 HAS SOPS 557458 HAS SOUS 346392 HAS SOUPS 346392 WITH SCORE 346949.458
AT ITER 236 NEW BEST:: SOT 845735 SOS 557402 HAS SOPS 557402 HAS SOUS 346391 HAS SOUPS 346391 WITH SCORE 346948.402
AT ITER 244 NEW BEST:: SOT 845642 SOS 557295 HAS SOPS 557295 HAS SOUS 346376 HAS SOUPS 346376 WITH SCORE 346933.295
AT ITER 252 NEW BEST:: SOT 845642 SOS 557295 HAS SOPS 557295 HAS SOUS 346375 HAS SOUPS 346375 WITH SCORE 346932.295
AT ITER 259 NEW BEST:: SOT 845626 SOS 557279 HAS SOPS 557279 HAS SOUS 346359 HAS SOUPS 346359 WITH SCORE 346916.279
AT ITER 260 NEW BEST:: SOT 845626 SOS 556700 HAS SOPS 556700 HAS SOUS 346062 HAS SOUPS 346062 WITH SCORE 346618.7
AT ITER 267 NEW BEST:: SOT 845540 SOS 556639 HAS SOPS 556639 HAS SOUS 345999 HAS SOUPS 345999 WITH SCORE 346555.639
AT ITER 271 NEW BEST:: SOT 845247 SOS 556338 HAS SOPS 556338 HAS SOUS 345987 HAS SOUPS 345987 WITH SCORE 346543.338
AT ITER 274 NEW BEST:: SOT 845205 SOS 556296 HAS SOPS 556296 HAS SOUS 345984 HAS SOUPS 345984 WITH SCORE 346540.296
AT ITER 285 NEW BEST:: SOT 845205 SOS 556008 HAS SOPS 556008 HAS SOUS 345984 HAS SOUPS 345984 WITH SCORE 346540.008
AT ITER 294 NEW BEST:: SOT 845205 SOS 555666 HAS SOPS 555666 HAS SOUS 345642 HAS SOUPS 345642 WITH SCORE 346197.666
AT ITER 296 NEW BEST:: SOT 844855 SOS 554140 HAS SOPS 554140 HAS SOUS 344818 HAS SOUPS 344818 WITH SCORE 345372.14
AT ITER 297 NEW BEST:: SOT 844483 SOS 553736 HAS SOPS 553736 HAS SOUS 344414 HAS SOUPS 344414 WITH SCORE 344967.736
AT ITER 300 NEW BEST:: SOT 844483 SOS 553729 HAS SOPS 553729 HAS SOUS 344407 HAS SOUPS 344407 WITH SCORE 344960.729
AT ITER 316 NEW BEST:: SOT 844511 SOS 553813 HAS SOPS 553813 HAS SOUS 344026 HAS SOUPS 344026 WITH SCORE 344579.813
AT ITER 317 NEW BEST:: SOT 842973 SOS 552547 HAS SOPS 552547 HAS SOUS 342767 HAS SOUPS 342767 WITH SCORE 343319.547
AT ITER 319 NEW BEST:: SOT 841675 SOS 551725 HAS SOPS 551725 HAS SOUS 341630 HAS SOUPS 341630 WITH SCORE 342181.725
AT ITER 320 NEW BEST:: SOT 841236 SOS 550577 HAS SOPS 550577 HAS SOUS 340990 HAS SOUPS 340990 WITH SCORE 341540.577
AT ITER 323 NEW BEST:: SOT 841146 SOS 550576 HAS SOPS 550576 HAS SOUS 340988 HAS SOUPS 340988 WITH SCORE 341538.576
AT ITER 325 NEW BEST:: SOT 840724 SOS 550154 HAS SOPS 550154 HAS SOUS 340566 HAS SOUPS 340566 WITH SCORE 341116.154
AT ITER 335 NEW BEST:: SOT 840606 SOS 549433 HAS SOPS 549433 HAS SOUS 339845 HAS SOUPS 339845 WITH SCORE 340394.433
AT ITER 337 NEW BEST:: SOT 834194 SOS 543020 HAS SOPS 543020 HAS SOUS 333432 HAS SOUPS 333432 WITH SCORE 333975.02
AT ITER 339 NEW BEST:: SOT 834126 SOS 543010 HAS SOPS 543010 HAS SOUS 333422 HAS SOUPS 333422 WITH SCORE 333965.01
AT ITER 345 NEW BEST:: SOT 834126 SOS 543870 HAS SOPS 543870 HAS SOUS 333421 HAS SOUPS 333421 WITH SCORE 333964.87
AT ITER 355 NEW BEST:: SOT 834126 SOS 543142 HAS SOPS 543142 HAS SOUS 333412 HAS SOUPS 333412 WITH SCORE 333955.142
AT ITER 364 NEW BEST:: SOT 834493 SOS 543128 HAS SOPS 543128 HAS SOUS 333398 HAS SOUPS 333398 WITH SCORE 333941.128
AT ITER 367 NEW BEST:: SOT 834493 SOS 543066 HAS SOPS 543066 HAS SOUS 333336 HAS SOUPS 333336 WITH SCORE 333879.066
AT ITER 375 NEW BEST:: SOT 834374 SOS 542825 HAS SOPS 542825 HAS SOUS 333262 HAS SOUPS 333262 WITH SCORE 333804.825
AT ITER 377 NEW BEST:: SOT 834439 SOS 542890 HAS SOPS 542890 HAS SOUS 333093 HAS SOUPS 333093 WITH SCORE 333635.89
AT ITER 381 NEW BEST:: SOT 834433 SOS 542878 HAS SOPS 542878 HAS SOUS 333081 HAS SOUPS 333081 WITH SCORE 333623.878
AT ITER 382 NEW BEST:: SOT 831615 SOS 540060 HAS SOPS 540060 HAS SOUS 330263 HAS SOUPS 330263 WITH SCORE 330803.06
AT ITER 390 NEW BEST:: SOT 831230 SOS 539718 HAS SOPS 539718 HAS SOUS 329921 HAS SOUPS 329921 WITH SCORE 330460.718
AT ITER 393 NEW BEST:: SOT 831285 SOS 538733 HAS SOPS 538733 HAS SOUS 329566 HAS SOUPS 329566 WITH SCORE 330104.733
AT ITER 395 NEW BEST:: SOT 832056 SOS 538716 HAS SOPS 538716 HAS SOUS 329549 HAS SOUPS 329549 WITH SCORE 330087.716
AT ITER 404 NEW BEST:: SOT 832005 SOS 538415 HAS SOPS 538415 HAS SOUS 329248 HAS SOUPS 329248 WITH SCORE 329786.415
AT ITER 407 NEW BEST:: SOT 832005 SOS 538411 HAS SOPS 538411 HAS SOUS 329244 HAS SOUPS 329244 WITH SCORE 329782.411
AT ITER 409 NEW BEST:: SOT 831900 SOS 537687 HAS SOPS 537687 HAS SOUS 329103 HAS SOUPS 329103 WITH SCORE 329640.687
AT ITER 418 NEW BEST:: SOT 832002 SOS 537891 HAS SOPS 537891 HAS SOUS 329038 HAS SOUPS 329038 WITH SCORE 329575.891
AT ITER 419 NEW BEST:: SOT 826008 SOS 535080 HAS SOPS 535080 HAS SOUS 323060 HAS SOUPS 323060 WITH SCORE 323595.08
AT ITER 427 NEW BEST:: SOT 825679 SOS 534751 HAS SOPS 534751 HAS SOUS 322731 HAS SOUPS 322731 WITH SCORE 323265.751
AT ITER 449 NEW BEST:: SOT 825135 SOS 535094 HAS SOPS 535094 HAS SOUS 321899 HAS SOUPS 321899 WITH SCORE 322434.094
AT ITER 452 NEW BEST:: SOT 825042 SOS 534815 HAS SOPS 534815 HAS SOUS 321713 HAS SOUPS 321713 WITH SCORE 322247.815
AT ITER 453 NEW BEST:: SOT 825138 SOS 533938 HAS SOPS 533938 HAS SOUS 321337 HAS SOUPS 321337 WITH SCORE 321870.938
AT ITER 455 NEW BEST:: SOT 825137 SOS 533937 HAS SOPS 533937 HAS SOUS 321335 HAS SOUPS 321335 WITH SCORE 321868.937
AT ITER 456 NEW BEST:: SOT 824942 SOS 533196 HAS SOPS 533196 HAS SOUS 321249 HAS SOUPS 321249 WITH SCORE 321782.196
AT ITER 462 NEW BEST:: SOT 824861 SOS 531795 HAS SOPS 531795 HAS SOUS 321078 HAS SOUPS 321078 WITH SCORE 321609.795
AT ITER 463 NEW BEST:: SOT 824754 SOS 531790 HAS SOPS 531790 HAS SOUS 321073 HAS SOUPS 321073 WITH SCORE 321604.79
AT ITER 464 NEW BEST:: SOT 824228 SOS 531343 HAS SOPS 531343 HAS SOUS 320677 HAS SOUPS 320677 WITH SCORE 321208.343
AT ITER 465 NEW BEST:: SOT 821877 SOS 528834 HAS SOPS 528834 HAS SOUS 317851 HAS SOUPS 317851 WITH SCORE 318379.834
AT ITER 468 NEW BEST:: SOT 821874 SOS 528831 HAS SOPS 528831 HAS SOUS 317756 HAS SOUPS 317756 WITH SCORE 318284.831
AT ITER 474 NEW BEST:: SOT 821874 SOS 528660 HAS SOPS 528660 HAS SOUS 317288 HAS SOUPS 317288 WITH SCORE 317816.66
AT ITER 475 NEW BEST:: SOT 821492 SOS 528132 HAS SOPS 528132 HAS SOUS 317019 HAS SOUPS 317019 WITH SCORE 317547.132
AT ITER 478 NEW BEST:: SOT 814852 SOS 527082 HAS SOPS 527082 HAS SOUS 310869 HAS SOUPS 310869 WITH SCORE 311396.082
AT ITER 479 NEW BEST:: SOT 814707 SOS 526937 HAS SOPS 526937 HAS SOUS 310724 HAS SOUPS 310724 WITH SCORE 311250.937
AT ITER 482 NEW BEST:: SOT 814248 SOS 526858 HAS SOPS 526858 HAS SOUS 310642 HAS SOUPS 310642 WITH SCORE 311168.858
AT ITER 484 NEW BEST:: SOT 812959 SOS 526779 HAS SOPS 526779 HAS SOUS 310090 HAS SOUPS 310090 WITH SCORE 310616.779
AT ITER 488 NEW BEST:: SOT 812842 SOS 526662 HAS SOPS 526662 HAS SOUS 309973 HAS SOUPS 309973 WITH SCORE 310499.662
AT ITER 493 NEW BEST:: SOT 804470 SOS 519582 HAS SOPS 519582 HAS SOUS 301072 HAS SOUPS 301072 WITH SCORE 301591.582
AT ITER 498 NEW BEST:: SOT 795242 SOS 510354 HAS SOPS 510354 HAS SOUS 291841 HAS SOUPS 291841 WITH SCORE 292351.354
AT ITER 499 NEW BEST:: SOT 795195 SOS 510352 HAS SOPS 510352 HAS SOUS 291839 HAS SOUPS 291839 WITH SCORE 292349.352
AT ITER 502 NEW BEST:: SOT 795144 SOS 510191 HAS SOPS 510191 HAS SOUS 291325 HAS SOUPS 291325 WITH SCORE 291835.191
AT ITER 504 NEW BEST:: SOT 794956 SOS 509422 HAS SOPS 509422 HAS SOUS 290557 HAS SOUPS 290557 WITH SCORE 291066.422
AT ITER 505 NEW BEST:: SOT 796806 SOS 512418 HAS SOPS 512418 HAS SOUS 290341 HAS SOUPS 290341 WITH SCORE 290853.418
AT ITER 506 NEW BEST:: SOT 796292 SOS 511764 HAS SOPS 511764 HAS SOUS 289426 HAS SOUPS 289426 WITH SCORE 289937.764
AT ITER 510 NEW BEST:: SOT 796028 SOS 511525 HAS SOPS 511525 HAS SOUS 289191 HAS SOUPS 289191 WITH SCORE 289702.525
AT ITER 524 NEW BEST:: SOT 796023 SOS 511520 HAS SOPS 511520 HAS SOUS 289186 HAS SOUPS 289186 WITH SCORE 289697.52
AT ITER 527 NEW BEST:: SOT 795656 SOS 511153 HAS SOPS 511153 HAS SOUS 288819 HAS SOUPS 288819 WITH SCORE 289330.153
AT ITER 528 NEW BEST:: SOT 794968 SOS 510317 HAS SOPS 510317 HAS SOUS 288178 HAS SOUPS 288178 WITH SCORE 288688.317
AT ITER 531 NEW BEST:: SOT 794932 SOS 510281 HAS SOPS 510281 HAS SOUS 288141 HAS SOUPS 288141 WITH SCORE 288651.281
AT ITER 535 NEW BEST:: SOT 794605 SOS 510428 HAS SOPS 510428 HAS SOUS 288088 HAS SOUPS 288088 WITH SCORE 288598.428
AT ITER 536 NEW BEST:: SOT 794605 SOS 510299 HAS SOPS 510299 HAS SOUS 288088 HAS SOUPS 288088 WITH SCORE 288598.299
AT ITER 538 NEW BEST:: SOT 794543 SOS 510237 HAS SOPS 510237 HAS SOUS 288026 HAS SOUPS 288026 WITH SCORE 288536.237
AT ITER 548 NEW BEST:: SOT 791421 SOS 507034 HAS SOPS 507034 HAS SOUS 284772 HAS SOUPS 284772 WITH SCORE 285279.034
AT ITER 549 NEW BEST:: SOT 791421 SOS 507000 HAS SOPS 507000 HAS SOUS 284772 HAS SOUPS 284772 WITH SCORE 285279.0
AT ITER 551 NEW BEST:: SOT 791117 SOS 506696 HAS SOPS 506696 HAS SOUS 284672 HAS SOUPS 284672 WITH SCORE 285178.696
AT ITER 553 NEW BEST:: SOT 790783 SOS 506639 HAS SOPS 506639 HAS SOUS 284268 HAS SOUPS 284268 WITH SCORE 284774.639
AT ITER 560 NEW BEST:: SOT 790711 SOS 506567 HAS SOPS 506567 HAS SOUS 284195 HAS SOUPS 284195 WITH SCORE 284701.567
AT ITER 562 NEW BEST:: SOT 790563 SOS 506419 HAS SOPS 506419 HAS SOUS 283899 HAS SOUPS 283899 WITH SCORE 284405.419
AT ITER 563 NEW BEST:: SOT 790558 SOS 506093 HAS SOPS 506093 HAS SOUS 283687 HAS SOUPS 283687 WITH SCORE 284193.093
AT ITER 580 NEW BEST:: SOT 786687 SOS 504819 HAS SOPS 504819 HAS SOUS 279344 HAS SOUPS 279344 WITH SCORE 279848.819
AT ITER 601 NEW BEST:: SOT 786827 SOS 504461 HAS SOPS 504461 HAS SOUS 278986 HAS SOUPS 278986 WITH SCORE 279490.461
AT ITER 604 NEW BEST:: SOT 785790 SOS 503424 HAS SOPS 503424 HAS SOUS 277949 HAS SOUPS 277949 WITH SCORE 278452.424
AT ITER 605 NEW BEST:: SOT 785790 SOS 500635 HAS SOPS 500635 HAS SOUS 277453 HAS SOUPS 277453 WITH SCORE 277953.635
AT ITER 610 NEW BEST:: SOT 785722 SOS 500564 HAS SOPS 500564 HAS SOUS 277382 HAS SOUPS 277382 WITH SCORE 277882.564
AT ITER 612 NEW BEST:: SOT 785528 SOS 500370 HAS SOPS 500370 HAS SOUS 277382 HAS SOUPS 277382 WITH SCORE 277882.37
AT ITER 623 NEW BEST:: SOT 785557 SOS 499712 HAS SOPS 499712 HAS SOUS 277119 HAS SOUPS 277119 WITH SCORE 277618.712
AT ITER 630 NEW BEST:: SOT 785401 SOS 499556 HAS SOPS 499556 HAS SOUS 276963 HAS SOUPS 276963 WITH SCORE 277462.556
AT ITER 635 NEW BEST:: SOT 785389 SOS 499544 HAS SOPS 499544 HAS SOUS 276951 HAS SOUPS 276951 WITH SCORE 277450.544
AT ITER 641 NEW BEST:: SOT 784039 SOS 498194 HAS SOPS 498194 HAS SOUS 275601 HAS SOUPS 275601 WITH SCORE 276099.194
AT ITER 647 NEW BEST:: SOT 783837 SOS 497790 HAS SOPS 497790 HAS SOUS 275197 HAS SOUPS 275197 WITH SCORE 275694.79
AT ITER 649 NEW BEST:: SOT 783837 SOS 497177 HAS SOPS 497177 HAS SOUS 275197 HAS SOUPS 275197 WITH SCORE 275694.177
AT ITER 651 NEW BEST:: SOT 783575 SOS 495744 HAS SOPS 495744 HAS SOUS 273969 HAS SOUPS 273969 WITH SCORE 274464.744
AT ITER 652 NEW BEST:: SOT 783567 SOS 495736 HAS SOPS 495736 HAS SOUS 273961 HAS SOUPS 273961 WITH SCORE 274456.736
AT ITER 656 NEW BEST:: SOT 783543 SOS 495544 HAS SOPS 495544 HAS SOUS 273889 HAS SOUPS 273889 WITH SCORE 274384.544
AT ITER 663 NEW BEST:: SOT 780078 SOS 492232 HAS SOPS 492232 HAS SOUS 270399 HAS SOUPS 270399 WITH SCORE 270891.232
AT ITER 667 NEW BEST:: SOT 779947 SOS 495527 HAS SOPS 495527 HAS SOUS 269790 HAS SOUPS 269790 WITH SCORE 270285.527
AT ITER 672 NEW BEST:: SOT 779758 SOS 495476 HAS SOPS 495476 HAS SOUS 269578 HAS SOUPS 269578 WITH SCORE 270073.476
AT ITER 675 NEW BEST:: SOT 779758 SOS 495438 HAS SOPS 495438 HAS SOUS 269540 HAS SOUPS 269540 WITH SCORE 270035.438
AT ITER 698 NEW BEST:: SOT 779510 SOS 495190 HAS SOPS 495190 HAS SOUS 269072 HAS SOUPS 269072 WITH SCORE 269567.19
AT ITER 702 NEW BEST:: SOT 778802 SOS 494482 HAS SOPS 494482 HAS SOUS 268387 HAS SOUPS 268387 WITH SCORE 268881.482
AT ITER 704 NEW BEST:: SOT 778620 SOS 494206 HAS SOPS 494206 HAS SOUS 268151 HAS SOUPS 268151 WITH SCORE 268645.206
AT ITER 708 NEW BEST:: SOT 778620 SOS 493014 HAS SOPS 493014 HAS SOUS 267816 HAS SOUPS 267816 WITH SCORE 268309.014
AT ITER 711 NEW BEST:: SOT 778652 SOS 492638 HAS SOPS 492638 HAS SOUS 267157 HAS SOUPS 267157 WITH SCORE 267649.638
AT ITER 719 NEW BEST:: SOT 778568 SOS 492479 HAS SOPS 492479 HAS SOUS 267078 HAS SOUPS 267078 WITH SCORE 267570.479
AT ITER 721 NEW BEST:: SOT 777800 SOS 491711 HAS SOPS 491711 HAS SOUS 266310 HAS SOUPS 266310 WITH SCORE 266801.711
AT ITER 735 NEW BEST:: SOT 777254 SOS 490999 HAS SOPS 490999 HAS SOUS 265978 HAS SOUPS 265978 WITH SCORE 266468.999
AT ITER 738 NEW BEST:: SOT 777254 SOS 490985 HAS SOPS 490985 HAS SOUS 265978 HAS SOUPS 265978 WITH SCORE 266468.985
AT ITER 741 NEW BEST:: SOT 776821 SOS 490126 HAS SOPS 490126 HAS SOUS 265442 HAS SOUPS 265442 WITH SCORE 265932.126
AT ITER 743 NEW BEST:: SOT 776747 SOS 490052 HAS SOPS 490052 HAS SOUS 265368 HAS SOUPS 265368 WITH SCORE 265858.052
AT ITER 744 NEW BEST:: SOT 776249 SOS 489791 HAS SOPS 489791 HAS SOUS 265107 HAS SOUPS 265107 WITH SCORE 265596.791
AT ITER 752 NEW BEST:: SOT 776240 SOS 489782 HAS SOPS 489782 HAS SOUS 265098 HAS SOUPS 265098 WITH SCORE 265587.782
AT ITER 755 NEW BEST:: SOT 776156 SOS 489476 HAS SOPS 489476 HAS SOUS 264993 HAS SOUPS 264993 WITH SCORE 265482.476
AT ITER 771 NEW BEST:: SOT 776155 SOS 489475 HAS SOPS 489475 HAS SOUS 264991 HAS SOUPS 264991 WITH SCORE 265480.475
AT ITER 779 NEW BEST:: SOT 776158 SOS 489283 HAS SOPS 489283 HAS SOUS 264991 HAS SOUPS 264991 WITH SCORE 265480.283
AT ITER 781 NEW BEST:: SOT 776151 SOS 489257 HAS SOPS 489257 HAS SOUS 264952 HAS SOUPS 264952 WITH SCORE 265441.257
AT ITER 786 NEW BEST:: SOT 776048 SOS 489154 HAS SOPS 489154 HAS SOUS 264839 HAS SOUPS 264839 WITH SCORE 265328.154
AT ITER 793 NEW BEST:: SOT 775670 SOS 488906 HAS SOPS 488906 HAS SOUS 264596 HAS SOUPS 264596 WITH SCORE 265084.906
AT ITER 796 NEW BEST:: SOT 775669 SOS 488905 HAS SOPS 488905 HAS SOUS 264595 HAS SOUPS 264595 WITH SCORE 265083.905
AT ITER 802 NEW BEST:: SOT 775566 SOS 488611 HAS SOPS 488611 HAS SOUS 264301 HAS SOUPS 264301 WITH SCORE 264789.611
AT ITER 809 NEW BEST:: SOT 775329 SOS 487955 HAS SOPS 487955 HAS SOUS 263645 HAS SOUPS 263645 WITH SCORE 264132.955
AT ITER 810 NEW BEST:: SOT 775328 SOS 487944 HAS SOPS 487944 HAS SOUS 263634 HAS SOUPS 263634 WITH SCORE 264121.944
AT ITER 824 NEW BEST:: SOT 775237 SOS 487851 HAS SOPS 487851 HAS SOUS 263513 HAS SOUPS 263513 WITH SCORE 264000.851
AT ITER 829 NEW BEST:: SOT 775125 SOS 488356 HAS SOPS 488356 HAS SOUS 263282 HAS SOUPS 263282 WITH SCORE 263770.356
AT ITER 847 NEW BEST:: SOT 774951 SOS 487999 HAS SOPS 487999 HAS SOUS 263012 HAS SOUPS 263012 WITH SCORE 263499.999
AT ITER 858 NEW BEST:: SOT 775037 SOS 487319 HAS SOPS 487319 HAS SOUS 262866 HAS SOUPS 262866 WITH SCORE 263353.319
AT ITER 864 NEW BEST:: SOT 772852 SOS 485134 HAS SOPS 485134 HAS SOUS 260671 HAS SOUPS 260671 WITH SCORE 261156.134
AT ITER 866 NEW BEST:: SOT 772852 SOS 485134 HAS SOPS 485134 HAS SOUS 260670 HAS SOUPS 260670 WITH SCORE 261155.134
AT ITER 867 NEW BEST:: SOT 772442 SOS 484724 HAS SOPS 484724 HAS SOUS 260259 HAS SOUPS 260259 WITH SCORE 260743.724
AT ITER 876 NEW BEST:: SOT 772410 SOS 484692 HAS SOPS 484692 HAS SOUS 260219 HAS SOUPS 260219 WITH SCORE 260703.692
AT ITER 878 NEW BEST:: SOT 772410 SOS 484588 HAS SOPS 484588 HAS SOUS 260219 HAS SOUPS 260219 WITH SCORE 260703.588
AT ITER 894 NEW BEST:: SOT 772410 SOS 483640 HAS SOPS 483640 HAS SOUS 260198 HAS SOUPS 260198 WITH SCORE 260681.64
AT ITER 911 NEW BEST:: SOT 772410 SOS 483640 HAS SOPS 483640 HAS SOUS 260197 HAS SOUPS 260197 WITH SCORE 260680.64
AT ITER 912 NEW BEST:: SOT 771946 SOS 482593 HAS SOPS 482593 HAS SOUS 259150 HAS SOUPS 259150 WITH SCORE 259632.593
AT ITER 924 NEW BEST:: SOT 771858 SOS 482329 HAS SOPS 482329 HAS SOUS 258965 HAS SOUPS 258965 WITH SCORE 259447.329
AT ITER 926 NEW BEST:: SOT 771703 SOS 478212 HAS SOPS 478212 HAS SOUS 258579 HAS SOUPS 258579 WITH SCORE 259057.212
AT ITER 931 NEW BEST:: SOT 771593 SOS 478728 HAS SOPS 478728 HAS SOUS 258516 HAS SOUPS 258516 WITH SCORE 258994.728
AT ITER 932 NEW BEST:: SOT 771129 SOS 478762 HAS SOPS 478762 HAS SOUS 257909 HAS SOUPS 257909 WITH SCORE 258387.762
AT ITER 934 NEW BEST:: SOT 771263 SOS 478942 HAS SOPS 478942 HAS SOUS 257707 HAS SOUPS 257707 WITH SCORE 258185.942
AT ITER 955 NEW BEST:: SOT 771263 SOS 478462 HAS SOPS 478462 HAS SOUS 257659 HAS SOUPS 257659 WITH SCORE 258137.462
AT ITER 960 NEW BEST:: SOT 771071 SOS 478270 HAS SOPS 478270 HAS SOUS 257584 HAS SOUPS 257584 WITH SCORE 258062.27
AT ITER 962 NEW BEST:: SOT 771071 SOS 478269 HAS SOPS 478269 HAS SOUS 257583 HAS SOUPS 257583 WITH SCORE 258061.269
AT ITER 966 NEW BEST:: SOT 770848 SOS 478027 HAS SOPS 478027 HAS SOUS 257524 HAS SOUPS 257524 WITH SCORE 258002.027
AT ITER 975 NEW BEST:: SOT 770839 SOS 477902 HAS SOPS 477902 HAS SOUS 257506 HAS SOUPS 257506 WITH SCORE 257983.902
AT ITER 980 NEW BEST:: SOT 770839 SOS 477900 HAS SOPS 477900 HAS SOUS 257504 HAS SOUPS 257504 WITH SCORE 257981.9
AT ITER 988 NEW BEST:: SOT 770620 SOS 477681 HAS SOPS 477681 HAS SOUS 257285 HAS SOUPS 257285 WITH SCORE 257762.681
AT ITER 995 NEW BEST:: SOT 766580 SOS 473349 HAS SOPS 473349 HAS SOUS 251438 HAS SOUPS 251438 WITH SCORE 251911.349
AT ITER 1019 NEW BEST:: SOT 766580 SOS 473463 HAS SOPS 473463 HAS SOUS 251324 HAS SOUPS 251324 WITH SCORE 251797.463
AT ITER 1031 NEW BEST:: SOT 766570 SOS 473453 HAS SOPS 473453 HAS SOUS 251310 HAS SOUPS 251310 WITH SCORE 251783.453
AT ITER 1033 NEW BEST:: SOT 766570 SOS 473453 HAS SOPS 473453 HAS SOUS 251308 HAS SOUPS 251308 WITH SCORE 251781.453
AT ITER 1035 NEW BEST:: SOT 766568 SOS 473451 HAS SOPS 473451 HAS SOUS 251235 HAS SOUPS 251235 WITH SCORE 251708.451
AT ITER 1036 NEW BEST:: SOT 766423 SOS 472436 HAS SOPS 472436 HAS SOUS 251027 HAS SOUPS 251027 WITH SCORE 251499.436
AT ITER 1038 NEW BEST:: SOT 766416 SOS 472429 HAS SOPS 472429 HAS SOUS 251013 HAS SOUPS 251013 WITH SCORE 251485.429
AT ITER 1039 NEW BEST:: SOT 766408 SOS 472420 HAS SOPS 472420 HAS SOUS 251004 HAS SOUPS 251004 WITH SCORE 251476.42
AT ITER 1055 NEW BEST:: SOT 766384 SOS 473398 HAS SOPS 473398 HAS SOUS 250991 HAS SOUPS 250991 WITH SCORE 251464.398
AT ITER 1056 NEW BEST:: SOT 766384 SOS 473521 HAS SOPS 473521 HAS SOUS 250950 HAS SOUPS 250950 WITH SCORE 251423.521
AT ITER 1057 NEW BEST:: SOT 766381 SOS 473518 HAS SOPS 473518 HAS SOUS 250947 HAS SOUPS 250947 WITH SCORE 251420.518
AT ITER 1062 NEW BEST:: SOT 766381 SOS 473518 HAS SOPS 473518 HAS SOUS 250857 HAS SOUPS 250857 WITH SCORE 251330.518
AT ITER 1071 NEW BEST:: SOT 766381 SOS 473014 HAS SOPS 473014 HAS SOUS 250855 HAS SOUPS 250855 WITH SCORE 251328.014
AT ITER 1073 NEW BEST:: SOT 766462 SOS 472809 HAS SOPS 472809 HAS SOUS 250775 HAS SOUPS 250775 WITH SCORE 251247.809
AT ITER 1078 NEW BEST:: SOT 766462 SOS 472743 HAS SOPS 472743 HAS SOUS 250764 HAS SOUPS 250764 WITH SCORE 251236.743
AT ITER 1079 NEW BEST:: SOT 766461 SOS 472742 HAS SOPS 472742 HAS SOUS 250763 HAS SOUPS 250763 WITH SCORE 251235.742
AT ITER 1115 NEW BEST:: SOT 766020 SOS 471659 HAS SOPS 471659 HAS SOUS 250075 HAS SOUPS 250075 WITH SCORE 250546.659
AT ITER 1126 NEW BEST:: SOT 765739 SOS 471378 HAS SOPS 471378 HAS SOUS 249869 HAS SOUPS 249869 WITH SCORE 250340.378
AT ITER 1132 NEW BEST:: SOT 760008 SOS 465647 HAS SOPS 465647 HAS SOUS 244135 HAS SOUPS 244135 WITH SCORE 244600.647
AT ITER 1143 NEW BEST:: SOT 759458 SOS 465470 HAS SOPS 465470 HAS SOUS 243532 HAS SOUPS 243532 WITH SCORE 243997.47
AT ITER 1146 NEW BEST:: SOT 758951 SOS 465599 HAS SOPS 465599 HAS SOUS 243375 HAS SOUPS 243375 WITH SCORE 243840.599
AT ITER 1150 NEW BEST:: SOT 758951 SOS 465445 HAS SOPS 465445 HAS SOUS 243221 HAS SOUPS 243221 WITH SCORE 243686.445
AT ITER 1159 NEW BEST:: SOT 757613 SOS 464394 HAS SOPS 464394 HAS SOUS 242037 HAS SOUPS 242037 WITH SCORE 242501.394
AT ITER 1167 NEW BEST:: SOT 757475 SOS 464122 HAS SOPS 464122 HAS SOUS 242005 HAS SOUPS 242005 WITH SCORE 242469.122
AT ITER 1168 NEW BEST:: SOT 757180 SOS 463637 HAS SOPS 463637 HAS SOUS 241236 HAS SOUPS 241236 WITH SCORE 241699.637
AT ITER 1176 NEW BEST:: SOT 757551 SOS 463433 HAS SOPS 463433 HAS SOUS 241095 HAS SOUPS 241095 WITH SCORE 241558.433
AT ITER 1192 NEW BEST:: SOT 757548 SOS 463430 HAS SOPS 463430 HAS SOUS 241092 HAS SOUPS 241092 WITH SCORE 241555.43
AT ITER 1211 NEW BEST:: SOT 757542 SOS 463424 HAS SOPS 463424 HAS SOUS 241086 HAS SOUPS 241086 WITH SCORE 241549.424
AT ITER 1215 NEW BEST:: SOT 757542 SOS 463336 HAS SOPS 463336 HAS SOUS 240998 HAS SOUPS 240998 WITH SCORE 241461.336
AT ITER 1217 NEW BEST:: SOT 757254 SOS 463048 HAS SOPS 463048 HAS SOUS 240710 HAS SOUPS 240710 WITH SCORE 241173.048
AT ITER 1221 NEW BEST:: SOT 757014 SOS 462808 HAS SOPS 462808 HAS SOUS 240470 HAS SOUPS 240470 WITH SCORE 240932.808
AT ITER 1233 NEW BEST:: SOT 757014 SOS 462709 HAS SOPS 462709 HAS SOUS 240447 HAS SOUPS 240447 WITH SCORE 240909.709
AT ITER 1240 NEW BEST:: SOT 756973 SOS 462668 HAS SOPS 462668 HAS SOUS 240406 HAS SOUPS 240406 WITH SCORE 240868.668
AT ITER 1246 NEW BEST:: SOT 756973 SOS 463550 HAS SOPS 463550 HAS SOUS 239863 HAS SOUPS 239863 WITH SCORE 240326.55
AT ITER 1248 NEW BEST:: SOT 756977 SOS 463486 HAS SOPS 463486 HAS SOUS 239798 HAS SOUPS 239798 WITH SCORE 240261.486
AT ITER 1256 NEW BEST:: SOT 756971 SOS 463481 HAS SOPS 463481 HAS SOUS 239784 HAS SOUPS 239784 WITH SCORE 240247.481
AT ITER 1267 NEW BEST:: SOT 756657 SOS 463767 HAS SOPS 463767 HAS SOUS 239660 HAS SOUPS 239660 WITH SCORE 240123.767
AT ITER 1270 NEW BEST:: SOT 756356 SOS 463441 HAS SOPS 463441 HAS SOUS 239254 HAS SOUPS 239254 WITH SCORE 239717.441
AT ITER 1274 NEW BEST:: SOT 756349 SOS 463424 HAS SOPS 463424 HAS SOUS 239240 HAS SOUPS 239240 WITH SCORE 239703.424
AT ITER 1278 NEW BEST:: SOT 756349 SOS 463312 HAS SOPS 463312 HAS SOUS 239184 HAS SOUPS 239184 WITH SCORE 239647.312
AT ITER 1279 NEW BEST:: SOT 756155 SOS 463021 HAS SOPS 463021 HAS SOUS 238893 HAS SOUPS 238893 WITH SCORE 239356.021
AT ITER 1293 NEW BEST:: SOT 756365 SOS 462770 HAS SOPS 462770 HAS SOUS 238729 HAS SOUPS 238729 WITH SCORE 239191.77
AT ITER 1296 NEW BEST:: SOT 756366 SOS 462604 HAS SOPS 462604 HAS SOUS 238563 HAS SOUPS 238563 WITH SCORE 239025.604
AT ITER 1297 NEW BEST:: SOT 756246 SOS 462364 HAS SOPS 462364 HAS SOUS 238323 HAS SOUPS 238323 WITH SCORE 238785.364
AT ITER 1312 NEW BEST:: SOT 756247 SOS 461393 HAS SOPS 461393 HAS SOUS 237920 HAS SOUPS 237920 WITH SCORE 238381.393
AT ITER 1313 NEW BEST:: SOT 755953 SOS 461167 HAS SOPS 461167 HAS SOUS 237637 HAS SOUPS 237637 WITH SCORE 238098.167
AT ITER 1316 NEW BEST:: SOT 755902 SOS 461116 HAS SOPS 461116 HAS SOUS 237586 HAS SOUPS 237586 WITH SCORE 238047.116
AT ITER 1318 NEW BEST:: SOT 755902 SOS 459403 HAS SOPS 459403 HAS SOUS 237249 HAS SOUPS 237249 WITH SCORE 237708.403
AT ITER 1327 NEW BEST:: SOT 755726 SOS 459227 HAS SOPS 459227 HAS SOUS 237072 HAS SOUPS 237072 WITH SCORE 237531.227
AT ITER 1334 NEW BEST:: SOT 755706 SOS 459206 HAS SOPS 459206 HAS SOUS 237051 HAS SOUPS 237051 WITH SCORE 237510.206
AT ITER 1347 NEW BEST:: SOT 755455 SOS 458557 HAS SOPS 458557 HAS SOUS 236455 HAS SOUPS 236455 WITH SCORE 236913.557
AT ITER 1353 NEW BEST:: SOT 754943 SOS 458045 HAS SOPS 458045 HAS SOUS 235943 HAS SOUPS 235943 WITH SCORE 236401.045
AT ITER 1361 NEW BEST:: SOT 754943 SOS 457940 HAS SOPS 457940 HAS SOUS 235805 HAS SOUPS 235805 WITH SCORE 236262.94
AT ITER 1376 NEW BEST:: SOT 754787 SOS 457784 HAS SOPS 457784 HAS SOUS 235649 HAS SOUPS 235649 WITH SCORE 236106.784
AT ITER 1377 NEW BEST:: SOT 754672 SOS 456752 HAS SOPS 456752 HAS SOUS 235377 HAS SOUPS 235377 WITH SCORE 235833.752
AT ITER 1384 NEW BEST:: SOT 753059 SOS 455287 HAS SOPS 455287 HAS SOUS 235219 HAS SOUPS 235219 WITH SCORE 235674.287
AT ITER 1387 NEW BEST:: SOT 752801 SOS 455287 HAS SOPS 455287 HAS SOUS 235214 HAS SOUPS 235214 WITH SCORE 235669.287
AT ITER 1388 NEW BEST:: SOT 752792 SOS 455278 HAS SOPS 455278 HAS SOUS 235205 HAS SOUPS 235205 WITH SCORE 235660.278
AT ITER 1390 NEW BEST:: SOT 752597 SOS 455031 HAS SOPS 455031 HAS SOUS 234906 HAS SOUPS 234906 WITH SCORE 235361.031
AT ITER 1392 NEW BEST:: SOT 749742 SOS 453167 HAS SOPS 453167 HAS SOUS 234780 HAS SOUPS 234780 WITH SCORE 235233.167
AT ITER 1400 NEW BEST:: SOT 749671 SOS 453096 HAS SOPS 453096 HAS SOUS 234686 HAS SOUPS 234686 WITH SCORE 235139.096
AT ITER 1401 NEW BEST:: SOT 749671 SOS 452768 HAS SOPS 452768 HAS SOUS 234358 HAS SOUPS 234358 WITH SCORE 234810.768
AT ITER 1414 NEW BEST:: SOT 749659 SOS 452756 HAS SOPS 452756 HAS SOUS 234346 HAS SOUPS 234346 WITH SCORE 234798.756
AT ITER 1427 NEW BEST:: SOT 749647 SOS 452744 HAS SOPS 452744 HAS SOUS 234334 HAS SOUPS 234334 WITH SCORE 234786.744
AT ITER 1430 NEW BEST:: SOT 749631 SOS 452553 HAS SOPS 452553 HAS SOUS 234143 HAS SOUPS 234143 WITH SCORE 234595.553
AT ITER 1438 NEW BEST:: SOT 749565 SOS 452057 HAS SOPS 452057 HAS SOUS 233647 HAS SOUPS 233647 WITH SCORE 234099.057
AT ITER 1453 NEW BEST:: SOT 749217 SOS 452054 HAS SOPS 452054 HAS SOUS 233151 HAS SOUPS 233151 WITH SCORE 233603.054
AT ITER 1454 NEW BEST:: SOT 749328 SOS 451823 HAS SOPS 451823 HAS SOUS 233114 HAS SOUPS 233114 WITH SCORE 233565.823
AT ITER 1460 NEW BEST:: SOT 749274 SOS 451745 HAS SOPS 451745 HAS SOUS 232928 HAS SOUPS 232928 WITH SCORE 233379.745
AT ITER 1461 NEW BEST:: SOT 749374 SOS 452036 HAS SOPS 452036 HAS SOUS 232504 HAS SOUPS 232504 WITH SCORE 232956.036
AT ITER 1486 NEW BEST:: SOT 749374 SOS 452018 HAS SOPS 452018 HAS SOUS 232486 HAS SOUPS 232486 WITH SCORE 232938.018
AT ITER 1492 NEW BEST:: SOT 748930 SOS 451183 HAS SOPS 451183 HAS SOUS 231651 HAS SOUPS 231651 WITH SCORE 232102.183
AT ITER 1506 NEW BEST:: SOT 748642 SOS 450531 HAS SOPS 450531 HAS SOUS 230999 HAS SOUPS 230999 WITH SCORE 231449.531
AT ITER 1510 NEW BEST:: SOT 748642 SOS 450531 HAS SOPS 450531 HAS SOUS 230927 HAS SOUPS 230927 WITH SCORE 231377.531
AT ITER 1511 NEW BEST:: SOT 748468 SOS 450162 HAS SOPS 450162 HAS SOUS 230557 HAS SOUPS 230557 WITH SCORE 231007.162
AT ITER 1513 NEW BEST:: SOT 748471 SOS 450165 HAS SOPS 450165 HAS SOUS 230507 HAS SOUPS 230507 WITH SCORE 230957.165
AT ITER 1518 NEW BEST:: SOT 748453 SOS 450147 HAS SOPS 450147 HAS SOUS 230471 HAS SOUPS 230471 WITH SCORE 230921.147
AT ITER 1530 NEW BEST:: SOT 748394 SOS 450088 HAS SOPS 450088 HAS SOUS 230468 HAS SOUPS 230468 WITH SCORE 230918.088
AT ITER 1532 NEW BEST:: SOT 748144 SOS 449693 HAS SOPS 449693 HAS SOUS 230073 HAS SOUPS 230073 WITH SCORE 230522.693
AT ITER 1548 NEW BEST:: SOT 748194 SOS 449643 HAS SOPS 449643 HAS SOUS 230023 HAS SOUPS 230023 WITH SCORE 230472.643
AT ITER 1551 NEW BEST:: SOT 748189 SOS 449633 HAS SOPS 449633 HAS SOUS 230013 HAS SOUPS 230013 WITH SCORE 230462.633
AT ITER 1556 NEW BEST:: SOT 748150 SOS 449518 HAS SOPS 449518 HAS SOUS 229935 HAS SOUPS 229935 WITH SCORE 230384.518
AT ITER 1572 NEW BEST:: SOT 748150 SOS 449320 HAS SOPS 449320 HAS SOUS 229935 HAS SOUPS 229935 WITH SCORE 230384.32
AT ITER 1574 NEW BEST:: SOT 746638 SOS 446032 HAS SOPS 446032 HAS SOUS 228440 HAS SOUPS 228440 WITH SCORE 228886.032
AT ITER 1575 NEW BEST:: SOT 746638 SOS 445684 HAS SOPS 445684 HAS SOUS 228389 HAS SOUPS 228389 WITH SCORE 228834.684
AT ITER 1586 NEW BEST:: SOT 746638 SOS 446194 HAS SOPS 446194 HAS SOUS 228304 HAS SOUPS 228304 WITH SCORE 228750.194
AT ITER 1589 NEW BEST:: SOT 746611 SOS 446137 HAS SOPS 446137 HAS SOUS 228247 HAS SOUPS 228247 WITH SCORE 228693.137
AT ITER 1598 NEW BEST:: SOT 746089 SOS 445579 HAS SOPS 445579 HAS SOUS 227689 HAS SOUPS 227689 WITH SCORE 228134.579
AT ITER 1599 NEW BEST:: SOT 745870 SOS 445250 HAS SOPS 445250 HAS SOUS 227360 HAS SOUPS 227360 WITH SCORE 227805.25
AT ITER 1603 NEW BEST:: SOT 745817 SOS 445220 HAS SOPS 445220 HAS SOUS 227330 HAS SOUPS 227330 WITH SCORE 227775.22
AT ITER 1610 NEW BEST:: SOT 745860 SOS 445144 HAS SOPS 445144 HAS SOUS 227193 HAS SOUPS 227193 WITH SCORE 227638.144
AT ITER 1612 NEW BEST:: SOT 745763 SOS 443750 HAS SOPS 443750 HAS SOUS 226999 HAS SOUPS 226999 WITH SCORE 227442.75
AT ITER 1619 NEW BEST:: SOT 745419 SOS 443061 HAS SOPS 443061 HAS SOUS 226698 HAS SOUPS 226698 WITH SCORE 227141.061
AT ITER 1627 NEW BEST:: SOT 745355 SOS 442997 HAS SOPS 442997 HAS SOUS 226625 HAS SOUPS 226625 WITH SCORE 227067.997
AT ITER 1633 NEW BEST:: SOT 745351 SOS 442617 HAS SOPS 442617 HAS SOUS 226483 HAS SOUPS 226483 WITH SCORE 226925.617
AT ITER 1637 NEW BEST:: SOT 745337 SOS 441635 HAS SOPS 441635 HAS SOUS 226455 HAS SOUPS 226455 WITH SCORE 226896.635
AT ITER 1654 NEW BEST:: SOT 744783 SOS 440038 HAS SOPS 440038 HAS SOUS 225044 HAS SOUPS 225044 WITH SCORE 225484.038
AT ITER 1655 NEW BEST:: SOT 742237 SOS 439820 HAS SOPS 439820 HAS SOUS 222933 HAS SOUPS 222933 WITH SCORE 223372.82
AT ITER 1685 NEW BEST:: SOT 741902 SOS 439698 HAS SOPS 439698 HAS SOUS 222797 HAS SOUPS 222797 WITH SCORE 223236.698
AT ITER 1696 NEW BEST:: SOT 741721 SOS 439485 HAS SOPS 439485 HAS SOUS 222692 HAS SOUPS 222692 WITH SCORE 223131.485
AT ITER 1699 NEW BEST:: SOT 741696 SOS 439460 HAS SOPS 439460 HAS SOUS 222667 HAS SOUPS 222667 WITH SCORE 223106.46
AT ITER 1700 NEW BEST:: SOT 741696 SOS 439282 HAS SOPS 439282 HAS SOUS 222599 HAS SOUPS 222599 WITH SCORE 223038.282
AT ITER 1703 NEW BEST:: SOT 741513 SOS 437963 HAS SOPS 437963 HAS SOUS 222341 HAS SOUPS 222341 WITH SCORE 222778.963
AT ITER 1729 NEW BEST:: SOT 741513 SOS 437847 HAS SOPS 437847 HAS SOUS 222341 HAS SOUPS 222341 WITH SCORE 222778.847
AT ITER 1734 NEW BEST:: SOT 741116 SOS 437577 HAS SOPS 437577 HAS SOUS 221898 HAS SOUPS 221898 WITH SCORE 222335.577
AT ITER 1745 NEW BEST:: SOT 741028 SOS 437459 HAS SOPS 437459 HAS SOUS 221736 HAS SOUPS 221736 WITH SCORE 222173.459
AT ITER 1749 NEW BEST:: SOT 740990 SOS 437398 HAS SOPS 437398 HAS SOUS 221652 HAS SOUPS 221652 WITH SCORE 222089.398
AT ITER 1751 NEW BEST:: SOT 740833 SOS 437241 HAS SOPS 437241 HAS SOUS 221395 HAS SOUPS 221395 WITH SCORE 221832.241
AT ITER 1757 NEW BEST:: SOT 740782 SOS 437178 HAS SOPS 437178 HAS SOUS 221074 HAS SOUPS 221074 WITH SCORE 221511.178
AT ITER 1763 NEW BEST:: SOT 740776 SOS 436824 HAS SOPS 436824 HAS SOUS 221044 HAS SOUPS 221044 WITH SCORE 221480.824
AT ITER 1768 NEW BEST:: SOT 740739 SOS 436676 HAS SOPS 436676 HAS SOUS 221007 HAS SOUPS 221007 WITH SCORE 221443.676
AT ITER 1782 NEW BEST:: SOT 740719 SOS 436636 HAS SOPS 436636 HAS SOUS 220967 HAS SOUPS 220967 WITH SCORE 221403.636
AT ITER 1786 NEW BEST:: SOT 740256 SOS 436207 HAS SOPS 436207 HAS SOUS 220618 HAS SOUPS 220618 WITH SCORE 221054.207
AT ITER 1801 NEW BEST:: SOT 740256 SOS 436103 HAS SOPS 436103 HAS SOUS 220566 HAS SOUPS 220566 WITH SCORE 221002.103
AT ITER 1805 NEW BEST:: SOT 740256 SOS 435743 HAS SOPS 435743 HAS SOUS 220507 HAS SOUPS 220507 WITH SCORE 220942.743
AT ITER 1808 NEW BEST:: SOT 740256 SOS 435612 HAS SOPS 435612 HAS SOUS 220422 HAS SOUPS 220422 WITH SCORE 220857.612
AT ITER 1830 NEW BEST:: SOT 740279 SOS 435495 HAS SOPS 435495 HAS SOUS 220305 HAS SOUPS 220305 WITH SCORE 220740.495
AT ITER 1857 NEW BEST:: SOT 740275 SOS 435170 HAS SOPS 435170 HAS SOUS 219980 HAS SOUPS 219980 WITH SCORE 220415.17
AT ITER 1861 NEW BEST:: SOT 740252 SOS 433461 HAS SOPS 433461 HAS SOUS 219589 HAS SOUPS 219589 WITH SCORE 220022.461
AT ITER 1883 NEW BEST:: SOT 740023 SOS 433232 HAS SOPS 433232 HAS SOUS 219177 HAS SOUPS 219177 WITH SCORE 219610.232
AT ITER 1885 NEW BEST:: SOT 740023 SOS 433093 HAS SOPS 433093 HAS SOUS 219146 HAS SOUPS 219146 WITH SCORE 219579.093
AT ITER 1893 NEW BEST:: SOT 740003 SOS 433073 HAS SOPS 433073 HAS SOUS 219126 HAS SOUPS 219126 WITH SCORE 219559.073
AT ITER 1894 NEW BEST:: SOT 739985 SOS 433055 HAS SOPS 433055 HAS SOUS 219108 HAS SOUPS 219108 WITH SCORE 219541.055
AT ITER 1903 NEW BEST:: SOT 733735 SOS 426995 HAS SOPS 426995 HAS SOUS 212459 HAS SOUPS 212459 WITH SCORE 212885.995
AT ITER 1911 NEW BEST:: SOT 733728 SOS 426826 HAS SOPS 426826 HAS SOUS 212290 HAS SOUPS 212290 WITH SCORE 212716.826
AT ITER 1916 NEW BEST:: SOT 732346 SOS 425544 HAS SOPS 425544 HAS SOUS 210911 HAS SOUPS 210911 WITH SCORE 211336.544
AT ITER 1931 NEW BEST:: SOT 732294 SOS 425492 HAS SOPS 425492 HAS SOUS 210859 HAS SOUPS 210859 WITH SCORE 211284.492
AT ITER 1938 NEW BEST:: SOT 732587 SOS 425785 HAS SOPS 425785 HAS SOUS 210815 HAS SOUPS 210815 WITH SCORE 211240.785
AT ITER 1965 NEW BEST:: SOT 732204 SOS 425846 HAS SOPS 425846 HAS SOUS 210573 HAS SOUPS 210573 WITH SCORE 210998.846
AT ITER 1967 NEW BEST:: SOT 732195 SOS 425855 HAS SOPS 425855 HAS SOUS 210564 HAS SOUPS 210564 WITH SCORE 210989.855
AT ITER 1974 NEW BEST:: SOT 732195 SOS 425785 HAS SOPS 425785 HAS SOUS 210564 HAS SOUPS 210564 WITH SCORE 210989.785
AT ITER 1979 NEW BEST:: SOT 732199 SOS 425707 HAS SOPS 425707 HAS SOUS 210486 HAS SOUPS 210486 WITH SCORE 210911.707
AT ITER 1993 NEW BEST:: SOT 731858 SOS 425787 HAS SOPS 425787 HAS SOUS 210145 HAS SOUPS 210145 WITH SCORE 210570.787
AT ITER 1998 NEW BEST:: SOT 731844 SOS 425191 HAS SOPS 425191 HAS SOUS 209676 HAS SOUPS 209676 WITH SCORE 210101.191
AT ITER 2019 NEW BEST:: SOT 731750 SOS 425065 HAS SOPS 425065 HAS SOUS 209518 HAS SOUPS 209518 WITH SCORE 209943.065
AT ITER 2023 NEW BEST:: SOT 731819 SOS 425063 HAS SOPS 425063 HAS SOUS 209516 HAS SOUPS 209516 WITH SCORE 209941.063
AT ITER 2028 NEW BEST:: SOT 731705 SOS 425028 HAS SOPS 425028 HAS SOUS 209118 HAS SOUPS 209118 WITH SCORE 209543.028
AT ITER 2043 NEW BEST:: SOT 731705 SOS 424353 HAS SOPS 424353 HAS SOUS 208674 HAS SOUPS 208674 WITH SCORE 209098.353
AT ITER 2045 NEW BEST:: SOT 731705 SOS 424261 HAS SOPS 424261 HAS SOUS 208666 HAS SOUPS 208666 WITH SCORE 209090.261
AT ITER 2046 NEW BEST:: SOT 731653 SOS 426821 HAS SOPS 426821 HAS SOUS 208491 HAS SOUPS 208491 WITH SCORE 208917.821
AT ITER 2051 NEW BEST:: SOT 731650 SOS 426812 HAS SOPS 426812 HAS SOUS 208482 HAS SOUPS 208482 WITH SCORE 208908.812
AT ITER 2068 NEW BEST:: SOT 731570 SOS 426134 HAS SOPS 426134 HAS SOUS 208058 HAS SOUPS 208058 WITH SCORE 208484.134
AT ITER 2093 NEW BEST:: SOT 731475 SOS 426004 HAS SOPS 426004 HAS SOUS 207965 HAS SOUPS 207965 WITH SCORE 208391.004
AT ITER 2099 NEW BEST:: SOT 730969 SOS 426163 HAS SOPS 426163 HAS SOUS 207766 HAS SOUPS 207766 WITH SCORE 208192.163
AT ITER 2115 NEW BEST:: SOT 725429 SOS 420707 HAS SOPS 420707 HAS SOUS 202202 HAS SOUPS 202202 WITH SCORE 202622.707
AT ITER 2120 NEW BEST:: SOT 725411 SOS 420689 HAS SOPS 420689 HAS SOUS 202179 HAS SOUPS 202179 WITH SCORE 202599.689
AT ITER 2134 NEW BEST:: SOT 725087 SOS 420203 HAS SOPS 420203 HAS SOUS 201915 HAS SOUPS 201915 WITH SCORE 202335.203
AT ITER 2137 NEW BEST:: SOT 724904 SOS 419969 HAS SOPS 419969 HAS SOUS 201681 HAS SOUPS 201681 WITH SCORE 202100.969
AT ITER 2145 NEW BEST:: SOT 724955 SOS 419578 HAS SOPS 419578 HAS SOUS 201290 HAS SOUPS 201290 WITH SCORE 201709.578
AT ITER 2146 NEW BEST:: SOT 724882 SOS 418996 HAS SOPS 418996 HAS SOUS 200920 HAS SOUPS 200920 WITH SCORE 201338.996
AT ITER 2150 NEW BEST:: SOT 724848 SOS 418991 HAS SOPS 418991 HAS SOUS 200407 HAS SOUPS 200407 WITH SCORE 200825.991
AT ITER 2156 NEW BEST:: SOT 724843 SOS 418986 HAS SOPS 418986 HAS SOUS 200402 HAS SOUPS 200402 WITH SCORE 200820.986
AT ITER 2157 NEW BEST:: SOT 724807 SOS 418914 HAS SOPS 418914 HAS SOUS 200330 HAS SOUPS 200330 WITH SCORE 200748.914
AT ITER 2163 NEW BEST:: SOT 724731 SOS 418761 HAS SOPS 418761 HAS SOUS 200177 HAS SOUPS 200177 WITH SCORE 200595.761
AT ITER 2175 NEW BEST:: SOT 724724 SOS 418754 HAS SOPS 418754 HAS SOUS 200170 HAS SOUPS 200170 WITH SCORE 200588.754
AT ITER 2200 NEW BEST:: SOT 724715 SOS 418745 HAS SOPS 418745 HAS SOUS 200152 HAS SOUPS 200152 WITH SCORE 200570.745
AT ITER 2203 NEW BEST:: SOT 724615 SOS 418645 HAS SOPS 418645 HAS SOUS 199913 HAS SOUPS 199913 WITH SCORE 200331.645
AT ITER 2204 NEW BEST:: SOT 724564 SOS 418594 HAS SOPS 418594 HAS SOUS 199858 HAS SOUPS 199858 WITH SCORE 200276.594
AT ITER 2212 NEW BEST:: SOT 724462 SOS 418876 HAS SOPS 418876 HAS SOUS 199801 HAS SOUPS 199801 WITH SCORE 200219.876
AT ITER 2232 NEW BEST:: SOT 724355 SOS 418769 HAS SOPS 418769 HAS SOUS 199694 HAS SOUPS 199694 WITH SCORE 200112.769
AT ITER 2234 NEW BEST:: SOT 724304 SOS 418667 HAS SOPS 418667 HAS SOUS 199592 HAS SOUPS 199592 WITH SCORE 200010.667
AT ITER 2262 NEW BEST:: SOT 724134 SOS 418497 HAS SOPS 418497 HAS SOUS 199592 HAS SOUPS 199592 WITH SCORE 200010.497
AT ITER 2279 NEW BEST:: SOT 724134 SOS 418495 HAS SOPS 418495 HAS SOUS 199590 HAS SOUPS 199590 WITH SCORE 200008.495
AT ITER 2287 NEW BEST:: SOT 724116 SOS 418477 HAS SOPS 418477 HAS SOUS 199572 HAS SOUPS 199572 WITH SCORE 199990.477
AT ITER 2291 NEW BEST:: SOT 724116 SOS 418425 HAS SOPS 418425 HAS SOUS 199520 HAS SOUPS 199520 WITH SCORE 199938.425
AT ITER 2303 NEW BEST:: SOT 723782 SOS 417757 HAS SOPS 417757 HAS SOUS 198852 HAS SOUPS 198852 WITH SCORE 199269.757
AT ITER 2311 NEW BEST:: SOT 723714 SOS 417757 HAS SOPS 417757 HAS SOUS 198786 HAS SOUPS 198786 WITH SCORE 199203.757
AT ITER 2325 NEW BEST:: SOT 723666 SOS 417742 HAS SOPS 417742 HAS SOUS 198752 HAS SOUPS 198752 WITH SCORE 199169.742
AT ITER 2328 NEW BEST:: SOT 723665 SOS 417741 HAS SOPS 417741 HAS SOUS 198750 HAS SOUPS 198750 WITH SCORE 199167.741
AT ITER 2335 NEW BEST:: SOT 723607 SOS 417290 HAS SOPS 417290 HAS SOUS 198571 HAS SOUPS 198571 WITH SCORE 198988.29
AT ITER 2339 NEW BEST:: SOT 723577 SOS 417326 HAS SOPS 417326 HAS SOUS 198551 HAS SOUPS 198551 WITH SCORE 198968.326
AT ITER 2347 NEW BEST:: SOT 723510 SOS 417361 HAS SOPS 417361 HAS SOUS 198269 HAS SOUPS 198269 WITH SCORE 198686.361
AT ITER 2391 NEW BEST:: SOT 723498 SOS 417349 HAS SOPS 417349 HAS SOUS 198257 HAS SOUPS 198257 WITH SCORE 198674.349
AT ITER 2394 NEW BEST:: SOT 723375 SOS 417949 HAS SOPS 417949 HAS SOUS 198161 HAS SOUPS 198161 WITH SCORE 198578.949
AT ITER 2416 NEW BEST:: SOT 723093 SOS 417808 HAS SOPS 417808 HAS SOUS 198020 HAS SOUPS 198020 WITH SCORE 198437.808
AT ITER 2419 NEW BEST:: SOT 723060 SOS 417561 HAS SOPS 417561 HAS SOUS 197847 HAS SOUPS 197847 WITH SCORE 198264.561
AT ITER 2421 NEW BEST:: SOT 723147 SOS 417532 HAS SOPS 417532 HAS SOUS 197832 HAS SOUPS 197832 WITH SCORE 198249.532
AT ITER 2430 NEW BEST:: SOT 723147 SOS 417489 HAS SOPS 417489 HAS SOUS 197832 HAS SOUPS 197832 WITH SCORE 198249.489
AT ITER 2431 NEW BEST:: SOT 723129 SOS 417453 HAS SOPS 417453 HAS SOUS 197796 HAS SOUPS 197796 WITH SCORE 198213.453
AT ITER 2438 NEW BEST:: SOT 722849 SOS 417056 HAS SOPS 417056 HAS SOUS 197399 HAS SOUPS 197399 WITH SCORE 197816.056
AT ITER 2444 NEW BEST:: SOT 722661 SOS 417054 HAS SOPS 417054 HAS SOUS 197209 HAS SOUPS 197209 WITH SCORE 197626.054
AT ITER 2448 NEW BEST:: SOT 722433 SOS 416826 HAS SOPS 416826 HAS SOUS 196753 HAS SOUPS 196753 WITH SCORE 197169.826
AT ITER 2449 NEW BEST:: SOT 722389 SOS 416782 HAS SOPS 416782 HAS SOUS 196665 HAS SOUPS 196665 WITH SCORE 197081.782
AT ITER 2456 NEW BEST:: SOT 722391 SOS 416707 HAS SOPS 416707 HAS SOUS 196590 HAS SOUPS 196590 WITH SCORE 197006.707
AT ITER 2462 NEW BEST:: SOT 722535 SOS 416908 HAS SOPS 416908 HAS SOUS 196521 HAS SOUPS 196521 WITH SCORE 196937.908
AT ITER 2474 NEW BEST:: SOT 722079 SOS 416865 HAS SOPS 416865 HAS SOUS 196453 HAS SOUPS 196453 WITH SCORE 196869.865
AT ITER 2488 NEW BEST:: SOT 721976 SOS 416710 HAS SOPS 416710 HAS SOUS 196298 HAS SOUPS 196298 WITH SCORE 196714.71
AT ITER 2496 NEW BEST:: SOT 721959 SOS 416693 HAS SOPS 416693 HAS SOUS 196218 HAS SOUPS 196218 WITH SCORE 196634.693
AT ITER 2526 NEW BEST:: SOT 721839 SOS 416573 HAS SOPS 416573 HAS SOUS 196096 HAS SOUPS 196096 WITH SCORE 196512.573
AT ITER 2531 NEW BEST:: SOT 721691 SOS 415250 HAS SOPS 415250 HAS SOUS 195897 HAS SOUPS 195897 WITH SCORE 196312.25
AT ITER 2535 NEW BEST:: SOT 721571 SOS 414619 HAS SOPS 414619 HAS SOUS 195565 HAS SOUPS 195565 WITH SCORE 195979.619
AT ITER 2541 NEW BEST:: SOT 721776 SOS 414549 HAS SOPS 414549 HAS SOUS 195342 HAS SOUPS 195342 WITH SCORE 195756.549
AT ITER 2549 NEW BEST:: SOT 721774 SOS 414415 HAS SOPS 414415 HAS SOUS 195208 HAS SOUPS 195208 WITH SCORE 195622.415
AT ITER 2558 NEW BEST:: SOT 721833 SOS 414356 HAS SOPS 414356 HAS SOUS 195208 HAS SOUPS 195208 WITH SCORE 195622.356
AT ITER 2570 NEW BEST:: SOT 721809 SOS 414372 HAS SOPS 414372 HAS SOUS 195160 HAS SOUPS 195160 WITH SCORE 195574.372
AT ITER 2581 NEW BEST:: SOT 721775 SOS 414338 HAS SOPS 414338 HAS SOUS 195126 HAS SOUPS 195126 WITH SCORE 195540.338
AT ITER 2585 NEW BEST:: SOT 721987 SOS 414536 HAS SOPS 414536 HAS SOUS 195048 HAS SOUPS 195048 WITH SCORE 195462.536
AT ITER 2587 NEW BEST:: SOT 721984 SOS 414533 HAS SOPS 414533 HAS SOUS 195045 HAS SOUPS 195045 WITH SCORE 195459.533
AT ITER 2589 NEW BEST:: SOT 721855 SOS 414091 HAS SOPS 414091 HAS SOUS 194827 HAS SOUPS 194827 WITH SCORE 195241.091
AT ITER 2590 NEW BEST:: SOT 721653 SOS 413889 HAS SOPS 413889 HAS SOUS 194629 HAS SOUPS 194629 WITH SCORE 195042.889
AT ITER 2591 NEW BEST:: SOT 721539 SOS 413775 HAS SOPS 413775 HAS SOUS 194463 HAS SOUPS 194463 WITH SCORE 194876.775
AT ITER 2595 NEW BEST:: SOT 721407 SOS 413643 HAS SOPS 413643 HAS SOUS 194327 HAS SOUPS 194327 WITH SCORE 194740.643
AT ITER 2603 NEW BEST:: SOT 721390 SOS 413672 HAS SOPS 413672 HAS SOUS 194293 HAS SOUPS 194293 WITH SCORE 194706.672
AT ITER 2651 NEW BEST:: SOT 721183 SOS 413834 HAS SOPS 413834 HAS SOUS 193829 HAS SOUPS 193829 WITH SCORE 194242.834
AT ITER 2665 NEW BEST:: SOT 721178 SOS 413829 HAS SOPS 413829 HAS SOUS 193824 HAS SOUPS 193824 WITH SCORE 194237.829
AT ITER 2691 NEW BEST:: SOT 721178 SOS 413852 HAS SOPS 413852 HAS SOUS 193761 HAS SOUPS 193761 WITH SCORE 194174.852
AT ITER 2698 NEW BEST:: SOT 721147 SOS 413844 HAS SOPS 413844 HAS SOUS 193760 HAS SOUPS 193760 WITH SCORE 194173.844
AT ITER 2702 NEW BEST:: SOT 721075 SOS 413801 HAS SOPS 413801 HAS SOUS 193573 HAS SOUPS 193573 WITH SCORE 193986.801
AT ITER 2728 NEW BEST:: SOT 720934 SOS 414431 HAS SOPS 414431 HAS SOUS 193548 HAS SOUPS 193548 WITH SCORE 193962.431
AT ITER 2774 NEW BEST:: SOT 720859 SOS 414421 HAS SOPS 414421 HAS SOUS 193487 HAS SOUPS 193487 WITH SCORE 193901.421
AT ITER 2781 NEW BEST:: SOT 720859 SOS 414421 HAS SOPS 414421 HAS SOUS 193479 HAS SOUPS 193479 WITH SCORE 193893.421
AT ITER 2782 NEW BEST:: SOT 720857 SOS 414391 HAS SOPS 414391 HAS SOUS 193460 HAS SOUPS 193460 WITH SCORE 193874.391
AT ITER 2784 NEW BEST:: SOT 720844 SOS 414306 HAS SOPS 414306 HAS SOUS 193283 HAS SOUPS 193283 WITH SCORE 193697.306
AT ITER 2812 NEW BEST:: SOT 720844 SOS 414084 HAS SOPS 414084 HAS SOUS 193061 HAS SOUPS 193061 WITH SCORE 193475.084
AT ITER 2827 NEW BEST:: SOT 720619 SOS 413859 HAS SOPS 413859 HAS SOUS 192836 HAS SOUPS 192836 WITH SCORE 193249.859
AT ITER 2841 NEW BEST:: SOT 720547 SOS 413814 HAS SOPS 413814 HAS SOUS 192764 HAS SOUPS 192764 WITH SCORE 193177.814
AT ITER 2844 NEW BEST:: SOT 720430 SOS 413697 HAS SOPS 413697 HAS SOUS 192647 HAS SOUPS 192647 WITH SCORE 193060.697
AT ITER 2849 NEW BEST:: SOT 719788 SOS 413359 HAS SOPS 413359 HAS SOUS 191994 HAS SOUPS 191994 WITH SCORE 192407.359
AT ITER 2854 NEW BEST:: SOT 719849 SOS 412891 HAS SOPS 412891 HAS SOUS 191381 HAS SOUPS 191381 WITH SCORE 191793.891
AT ITER 2865 NEW BEST:: SOT 719739 SOS 412833 HAS SOPS 412833 HAS SOUS 191380 HAS SOUPS 191380 WITH SCORE 191792.833
AT ITER 2866 NEW BEST:: SOT 719708 SOS 412771 HAS SOPS 412771 HAS SOUS 191318 HAS SOUPS 191318 WITH SCORE 191730.771
AT ITER 2870 NEW BEST:: SOT 719660 SOS 412299 HAS SOPS 412299 HAS SOUS 190923 HAS SOUPS 190923 WITH SCORE 191335.299
AT ITER 2880 NEW BEST:: SOT 719586 SOS 412151 HAS SOPS 412151 HAS SOUS 190714 HAS SOUPS 190714 WITH SCORE 191126.151
AT ITER 2893 NEW BEST:: SOT 719496 SOS 411596 HAS SOPS 411596 HAS SOUS 190395 HAS SOUPS 190395 WITH SCORE 190806.596
AT ITER 2898 NEW BEST:: SOT 719369 SOS 411342 HAS SOPS 411342 HAS SOUS 190395 HAS SOUPS 190395 WITH SCORE 190806.342
AT ITER 2906 NEW BEST:: SOT 719286 SOS 411279 HAS SOPS 411279 HAS SOUS 190332 HAS SOUPS 190332 WITH SCORE 190743.279
AT ITER 2907 NEW BEST:: SOT 719315 SOS 409144 HAS SOPS 409144 HAS SOUS 190141 HAS SOUPS 190141 WITH SCORE 190550.144
AT ITER 2914 NEW BEST:: SOT 719272 SOS 409107 HAS SOPS 409107 HAS SOUS 190104 HAS SOUPS 190104 WITH SCORE 190513.107
AT ITER 2924 NEW BEST:: SOT 718378 SOS 408904 HAS SOPS 408904 HAS SOUS 189536 HAS SOUPS 189536 WITH SCORE 189944.904
AT ITER 2926 NEW BEST:: SOT 718064 SOS 408196 HAS SOPS 408196 HAS SOUS 189399 HAS SOUPS 189399 WITH SCORE 189807.196
AT ITER 2930 NEW BEST:: SOT 717875 SOS 408254 HAS SOPS 408254 HAS SOUS 189268 HAS SOUPS 189268 WITH SCORE 189676.254
AT ITER 2936 NEW BEST:: SOT 717875 SOS 408283 HAS SOPS 408283 HAS SOUS 189224 HAS SOUPS 189224 WITH SCORE 189632.283
AT ITER 2938 NEW BEST:: SOT 716830 SOS 407234 HAS SOPS 407234 HAS SOUS 188175 HAS SOUPS 188175 WITH SCORE 188582.234
AT ITER 2960 NEW BEST:: SOT 716813 SOS 407217 HAS SOPS 407217 HAS SOUS 188175 HAS SOUPS 188175 WITH SCORE 188582.217
AT ITER 2962 NEW BEST:: SOT 717305 SOS 407580 HAS SOPS 407580 HAS SOUS 188053 HAS SOUPS 188053 WITH SCORE 188460.58
AT ITER 2998 NEW BEST:: SOT 717303 SOS 407578 HAS SOPS 407578 HAS SOUS 187992 HAS SOUPS 187992 WITH SCORE 188399.578
AT ITER 3019 NEW BEST:: SOT 717255 SOS 407429 HAS SOPS 407429 HAS SOUS 187843 HAS SOUPS 187843 WITH SCORE 188250.429
AT ITER 3027 NEW BEST:: SOT 717252 SOS 407411 HAS SOPS 407411 HAS SOUS 187838 HAS SOUPS 187838 WITH SCORE 188245.411
AT ITER 3028 NEW BEST:: SOT 717258 SOS 407030 HAS SOPS 407030 HAS SOUS 187810 HAS SOUPS 187810 WITH SCORE 188217.03
AT ITER 3035 NEW BEST:: SOT 717938 SOS 407546 HAS SOPS 407546 HAS SOUS 187756 HAS SOUPS 187756 WITH SCORE 188163.546
AT ITER 3050 NEW BEST:: SOT 717938 SOS 407532 HAS SOPS 407532 HAS SOUS 187742 HAS SOUPS 187742 WITH SCORE 188149.532
AT ITER 3057 NEW BEST:: SOT 717919 SOS 407513 HAS SOPS 407513 HAS SOUS 187723 HAS SOUPS 187723 WITH SCORE 188130.513
AT ITER 3058 NEW BEST:: SOT 717634 SOS 406320 HAS SOPS 406320 HAS SOUS 187153 HAS SOUPS 187153 WITH SCORE 187559.32
AT ITER 3072 NEW BEST:: SOT 717586 SOS 406272 HAS SOPS 406272 HAS SOUS 187057 HAS SOUPS 187057 WITH SCORE 187463.272
AT ITER 3084 NEW BEST:: SOT 717461 SOS 406147 HAS SOPS 406147 HAS SOUS 186807 HAS SOUPS 186807 WITH SCORE 187213.147
AT ITER 3089 NEW BEST:: SOT 718247 SOS 406899 HAS SOPS 406899 HAS SOUS 186773 HAS SOUPS 186773 WITH SCORE 187179.899
AT ITER 3093 NEW BEST:: SOT 717700 SOS 406352 HAS SOPS 406352 HAS SOUS 186515 HAS SOUPS 186515 WITH SCORE 186921.352
AT ITER 3128 NEW BEST:: SOT 717700 SOS 406209 HAS SOPS 406209 HAS SOUS 186515 HAS SOUPS 186515 WITH SCORE 186921.209
AT ITER 3153 NEW BEST:: SOT 717700 SOS 406175 HAS SOPS 406175 HAS SOUS 186434 HAS SOUPS 186434 WITH SCORE 186840.175
AT ITER 3175 NEW BEST:: SOT 717687 SOS 406302 HAS SOPS 406302 HAS SOUS 186418 HAS SOUPS 186418 WITH SCORE 186824.302
AT ITER 3190 NEW BEST:: SOT 717694 SOS 406309 HAS SOPS 406309 HAS SOUS 186411 HAS SOUPS 186411 WITH SCORE 186817.309
AT ITER 3215 NEW BEST:: SOT 717590 SOS 406018 HAS SOPS 406018 HAS SOUS 186186 HAS SOUPS 186186 WITH SCORE 186592.018
AT ITER 3228 NEW BEST:: SOT 717524 SOS 405009 HAS SOPS 405009 HAS SOUS 186054 HAS SOUPS 186054 WITH SCORE 186459.009
AT ITER 3238 NEW BEST:: SOT 717524 SOS 404795 HAS SOPS 404795 HAS SOUS 186019 HAS SOUPS 186019 WITH SCORE 186423.795
AT ITER 3262 NEW BEST:: SOT 717483 SOS 404754 HAS SOPS 404754 HAS SOUS 185978 HAS SOUPS 185978 WITH SCORE 186382.754
AT ITER 3271 NEW BEST:: SOT 717408 SOS 404604 HAS SOPS 404604 HAS SOUS 185889 HAS SOUPS 185889 WITH SCORE 186293.604
AT ITER 3275 NEW BEST:: SOT 717408 SOS 404588 HAS SOPS 404588 HAS SOUS 185887 HAS SOUPS 185887 WITH SCORE 186291.588
AT ITER 3292 NEW BEST:: SOT 717418 SOS 404476 HAS SOPS 404476 HAS SOUS 185792 HAS SOUPS 185792 WITH SCORE 186196.476
AT ITER 3299 NEW BEST:: SOT 717430 SOS 404556 HAS SOPS 404556 HAS SOUS 185607 HAS SOUPS 185607 WITH SCORE 186011.556
AT ITER 3337 NEW BEST:: SOT 717605 SOS 404379 HAS SOPS 404379 HAS SOUS 185430 HAS SOUPS 185430 WITH SCORE 185834.379
AT ITER 3346 NEW BEST:: SOT 717598 SOS 404316 HAS SOPS 404316 HAS SOUS 185423 HAS SOUPS 185423 WITH SCORE 185827.316
AT ITER 3349 NEW BEST:: SOT 717598 SOS 404308 HAS SOPS 404308 HAS SOUS 185422 HAS SOUPS 185422 WITH SCORE 185826.308
AT ITER 3351 NEW BEST:: SOT 717507 SOS 404060 HAS SOPS 404060 HAS SOUS 185249 HAS SOUPS 185249 WITH SCORE 185653.06
AT ITER 3370 NEW BEST:: SOT 717444 SOS 403997 HAS SOPS 403997 HAS SOUS 185186 HAS SOUPS 185186 WITH SCORE 185589.997
AT ITER 3371 NEW BEST:: SOT 717444 SOS 402617 HAS SOPS 402617 HAS SOUS 185081 HAS SOUPS 185081 WITH SCORE 185483.617
AT ITER 3372 NEW BEST:: SOT 716338 SOS 401511 HAS SOPS 401511 HAS SOUS 183975 HAS SOUPS 183975 WITH SCORE 184376.511
AT ITER 3388 NEW BEST:: SOT 716428 SOS 401601 HAS SOPS 401601 HAS SOUS 183819 HAS SOUPS 183819 WITH SCORE 184220.601
AT ITER 3410 NEW BEST:: SOT 716428 SOS 401744 HAS SOPS 401744 HAS SOUS 183560 HAS SOUPS 183560 WITH SCORE 183961.744
AT ITER 3413 NEW BEST:: SOT 716054 SOS 402615 HAS SOPS 402615 HAS SOUS 183436 HAS SOUPS 183436 WITH SCORE 183838.615
AT ITER 3414 NEW BEST:: SOT 716092 SOS 402551 HAS SOPS 402551 HAS SOUS 183372 HAS SOUPS 183372 WITH SCORE 183774.551
AT ITER 3424 NEW BEST:: SOT 716052 SOS 402219 HAS SOPS 402219 HAS SOUS 183334 HAS SOUPS 183334 WITH SCORE 183736.219
AT ITER 3452 NEW BEST:: SOT 716538 SOS 401558 HAS SOPS 401558 HAS SOUS 183178 HAS SOUPS 183178 WITH SCORE 183579.558
AT ITER 3474 NEW BEST:: SOT 716401 SOS 401070 HAS SOPS 401070 HAS SOUS 182730 HAS SOUPS 182730 WITH SCORE 183131.07
AT ITER 3486 NEW BEST:: SOT 716360 SOS 400988 HAS SOPS 400988 HAS SOUS 182648 HAS SOUPS 182648 WITH SCORE 183048.988
AT ITER 3487 NEW BEST:: SOT 716347 SOS 400975 HAS SOPS 400975 HAS SOUS 182635 HAS SOUPS 182635 WITH SCORE 183035.975
AT ITER 3488 NEW BEST:: SOT 716375 SOS 400428 HAS SOPS 400428 HAS SOUS 182507 HAS SOUPS 182507 WITH SCORE 182907.428
AT ITER 3502 NEW BEST:: SOT 716084 SOS 399991 HAS SOPS 399991 HAS SOUS 181648 HAS SOUPS 181648 WITH SCORE 182047.991
AT ITER 3505 NEW BEST:: SOT 716052 SOS 399959 HAS SOPS 399959 HAS SOUS 181616 HAS SOUPS 181616 WITH SCORE 182015.959
AT ITER 3526 NEW BEST:: SOT 716010 SOS 399917 HAS SOPS 399917 HAS SOUS 181532 HAS SOUPS 181532 WITH SCORE 181931.917
AT ITER 3533 NEW BEST:: SOT 715885 SOS 399667 HAS SOPS 399667 HAS SOUS 181532 HAS SOUPS 181532 WITH SCORE 181931.667
AT ITER 3558 NEW BEST:: SOT 715851 SOS 399633 HAS SOPS 399633 HAS SOUS 181447 HAS SOUPS 181447 WITH SCORE 181846.633
AT ITER 3587 NEW BEST:: SOT 715650 SOS 399557 HAS SOPS 399557 HAS SOUS 181208 HAS SOUPS 181208 WITH SCORE 181607.557
AT ITER 3592 NEW BEST:: SOT 715581 SOS 399516 HAS SOPS 399516 HAS SOUS 181167 HAS SOUPS 181167 WITH SCORE 181566.516
AT ITER 3596 NEW BEST:: SOT 715409 SOS 399056 HAS SOPS 399056 HAS SOUS 180534 HAS SOUPS 180534 WITH SCORE 180933.056
AT ITER 3618 NEW BEST:: SOT 715406 SOS 399026 HAS SOPS 399026 HAS SOUS 180528 HAS SOUPS 180528 WITH SCORE 180927.026
AT ITER 3626 NEW BEST:: SOT 715343 SOS 398074 HAS SOPS 398074 HAS SOUS 180464 HAS SOUPS 180464 WITH SCORE 180862.074
AT ITER 3629 NEW BEST:: SOT 715342 SOS 397921 HAS SOPS 397921 HAS SOUS 180460 HAS SOUPS 180460 WITH SCORE 180857.921
AT ITER 3633 NEW BEST:: SOT 715261 SOS 397759 HAS SOPS 397759 HAS SOUS 180408 HAS SOUPS 180408 WITH SCORE 180805.759
AT ITER 3651 NEW BEST:: SOT 715173 SOS 397311 HAS SOPS 397311 HAS SOUS 180200 HAS SOUPS 180200 WITH SCORE 180597.311
AT ITER 3670 NEW BEST:: SOT 714952 SOS 397090 HAS SOPS 397090 HAS SOUS 179960 HAS SOUPS 179960 WITH SCORE 180357.09
AT ITER 3672 NEW BEST:: SOT 714938 SOS 396468 HAS SOPS 396468 HAS SOUS 179882 HAS SOUPS 179882 WITH SCORE 180278.468
AT ITER 3674 NEW BEST:: SOT 714916 SOS 396199 HAS SOPS 396199 HAS SOUS 179858 HAS SOUPS 179858 WITH SCORE 180254.199
AT ITER 3678 NEW BEST:: SOT 714707 SOS 395925 HAS SOPS 395925 HAS SOUS 179567 HAS SOUPS 179567 WITH SCORE 179962.925
AT ITER 3700 NEW BEST:: SOT 714683 SOS 395829 HAS SOPS 395829 HAS SOUS 179495 HAS SOUPS 179495 WITH SCORE 179890.829
AT ITER 3710 NEW BEST:: SOT 714564 SOS 395922 HAS SOPS 395922 HAS SOUS 179418 HAS SOUPS 179418 WITH SCORE 179813.922
AT ITER 3765 NEW BEST:: SOT 714356 SOS 395625 HAS SOPS 395625 HAS SOUS 179224 HAS SOUPS 179224 WITH SCORE 179619.625
AT ITER 3789 NEW BEST:: SOT 714350 SOS 395619 HAS SOPS 395619 HAS SOUS 179218 HAS SOUPS 179218 WITH SCORE 179613.619
AT ITER 3795 NEW BEST:: SOT 714351 SOS 395593 HAS SOPS 395593 HAS SOUS 179218 HAS SOUPS 179218 WITH SCORE 179613.593
AT ITER 3828 NEW BEST:: SOT 714398 SOS 395450 HAS SOPS 395450 HAS SOUS 179162 HAS SOUPS 179162 WITH SCORE 179557.45
AT ITER 3829 NEW BEST:: SOT 714606 SOS 395448 HAS SOPS 395448 HAS SOUS 179160 HAS SOUPS 179160 WITH SCORE 179555.448
AT ITER 3841 NEW BEST:: SOT 714606 SOS 395416 HAS SOPS 395416 HAS SOUS 179147 HAS SOUPS 179147 WITH SCORE 179542.416
AT ITER 3849 NEW BEST:: SOT 714507 SOS 395045 HAS SOPS 395045 HAS SOUS 179079 HAS SOUPS 179079 WITH SCORE 179474.045
AT ITER 3851 NEW BEST:: SOT 714186 SOS 394082 HAS SOPS 394082 HAS SOUS 178116 HAS SOUPS 178116 WITH SCORE 178510.082
AT ITER 3874 NEW BEST:: SOT 714186 SOS 394014 HAS SOPS 394014 HAS SOUS 178048 HAS SOUPS 178048 WITH SCORE 178442.014
AT ITER 3886 NEW BEST:: SOT 714150 SOS 393978 HAS SOPS 393978 HAS SOUS 178012 HAS SOUPS 178012 WITH SCORE 178405.978
AT ITER 3911 NEW BEST:: SOT 714117 SOS 393945 HAS SOPS 393945 HAS SOUS 177830 HAS SOUPS 177830 WITH SCORE 178223.945
AT ITER 3940 NEW BEST:: SOT 714117 SOS 393916 HAS SOPS 393916 HAS SOUS 177801 HAS SOUPS 177801 WITH SCORE 178194.916
AT ITER 3946 NEW BEST:: SOT 714117 SOS 393772 HAS SOPS 393772 HAS SOUS 177777 HAS SOUPS 177777 WITH SCORE 178170.772
AT ITER 3956 NEW BEST:: SOT 714117 SOS 393652 HAS SOPS 393652 HAS SOUS 177777 HAS SOUPS 177777 WITH SCORE 178170.652
AT ITER 3968 NEW BEST:: SOT 714075 SOS 393605 HAS SOPS 393605 HAS SOUS 177730 HAS SOUPS 177730 WITH SCORE 178123.605
AT ITER 3983 NEW BEST:: SOT 713858 SOS 393388 HAS SOPS 393388 HAS SOUS 177730 HAS SOUPS 177730 WITH SCORE 178123.388
AT ITER 3985 NEW BEST:: SOT 713809 SOS 393060 HAS SOPS 393060 HAS SOUS 177724 HAS SOUPS 177724 WITH SCORE 178117.06
AT ITER 3986 NEW BEST:: SOT 713807 SOS 392962 HAS SOPS 392962 HAS SOUS 177699 HAS SOUPS 177699 WITH SCORE 178091.962
AT ITER 3996 NEW BEST:: SOT 713576 SOS 392262 HAS SOPS 392262 HAS SOUS 176920 HAS SOUPS 176920 WITH SCORE 177312.262
AT ITER 4021 NEW BEST:: SOT 713497 SOS 392143 HAS SOPS 392143 HAS SOUS 176683 HAS SOUPS 176683 WITH SCORE 177075.143
AT ITER 4031 NEW BEST:: SOT 713449 SOS 391980 HAS SOPS 391980 HAS SOUS 176568 HAS SOUPS 176568 WITH SCORE 176959.98
AT ITER 4051 NEW BEST:: SOT 713448 SOS 391979 HAS SOPS 391979 HAS SOUS 176567 HAS SOUPS 176567 WITH SCORE 176958.979
AT ITER 4061 NEW BEST:: SOT 713448 SOS 391971 HAS SOPS 391971 HAS SOUS 176566 HAS SOUPS 176566 WITH SCORE 176957.971
AT ITER 4062 NEW BEST:: SOT 713369 SOS 391873 HAS SOPS 391873 HAS SOUS 176454 HAS SOUPS 176454 WITH SCORE 176845.873
AT ITER 4068 NEW BEST:: SOT 713872 SOS 392376 HAS SOPS 392376 HAS SOUS 176074 HAS SOUPS 176074 WITH SCORE 176466.376
AT ITER 4085 NEW BEST:: SOT 713656 SOS 391863 HAS SOPS 391863 HAS SOUS 175644 HAS SOUPS 175644 WITH SCORE 176035.863
AT ITER 4088 NEW BEST:: SOT 713572 SOS 391918 HAS SOPS 391918 HAS SOUS 175577 HAS SOUPS 175577 WITH SCORE 175968.918
AT ITER 4103 NEW BEST:: SOT 713491 SOS 391711 HAS SOPS 391711 HAS SOUS 175415 HAS SOUPS 175415 WITH SCORE 175806.711
AT ITER 4111 NEW BEST:: SOT 713491 SOS 391723 HAS SOPS 391723 HAS SOUS 175413 HAS SOUPS 175413 WITH SCORE 175804.723
AT ITER 4115 NEW BEST:: SOT 713490 SOS 391722 HAS SOPS 391722 HAS SOUS 175412 HAS SOUPS 175412 WITH SCORE 175803.722
AT ITER 4136 NEW BEST:: SOT 713419 SOS 391651 HAS SOPS 391651 HAS SOUS 175341 HAS SOUPS 175341 WITH SCORE 175732.651
AT ITER 4142 NEW BEST:: SOT 713149 SOS 391182 HAS SOPS 391182 HAS SOUS 174872 HAS SOUPS 174872 WITH SCORE 175263.182
AT ITER 4163 NEW BEST:: SOT 713102 SOS 391135 HAS SOPS 391135 HAS SOUS 174864 HAS SOUPS 174864 WITH SCORE 175255.135
AT ITER 4164 NEW BEST:: SOT 712969 SOS 390869 HAS SOPS 390869 HAS SOUS 174598 HAS SOUPS 174598 WITH SCORE 174988.869
AT ITER 4175 NEW BEST:: SOT 712741 SOS 390479 HAS SOPS 390479 HAS SOUS 174178 HAS SOUPS 174178 WITH SCORE 174568.479
AT ITER 4176 NEW BEST:: SOT 712725 SOS 390511 HAS SOPS 390511 HAS SOUS 174151 HAS SOUPS 174151 WITH SCORE 174541.511
AT ITER 4185 NEW BEST:: SOT 712723 SOS 390507 HAS SOPS 390507 HAS SOUS 174147 HAS SOUPS 174147 WITH SCORE 174537.507
AT ITER 4190 NEW BEST:: SOT 712766 SOS 390373 HAS SOPS 390373 HAS SOUS 174013 HAS SOUPS 174013 WITH SCORE 174403.373
AT ITER 4203 NEW BEST:: SOT 712694 SOS 390229 HAS SOPS 390229 HAS SOUS 173869 HAS SOUPS 173869 WITH SCORE 174259.229
AT ITER 4204 NEW BEST:: SOT 712676 SOS 390211 HAS SOPS 390211 HAS SOUS 173851 HAS SOUPS 173851 WITH SCORE 174241.211
AT ITER 4211 NEW BEST:: SOT 712646 SOS 390172 HAS SOPS 390172 HAS SOUS 173789 HAS SOUPS 173789 WITH SCORE 174179.172
AT ITER 4220 NEW BEST:: SOT 712793 SOS 389764 HAS SOPS 389764 HAS SOUS 173738 HAS SOUPS 173738 WITH SCORE 174127.764
AT ITER 4222 NEW BEST:: SOT 712946 SOS 388843 HAS SOPS 388843 HAS SOUS 173382 HAS SOUPS 173382 WITH SCORE 173770.843
AT ITER 4225 NEW BEST:: SOT 712814 SOS 388711 HAS SOPS 388711 HAS SOUS 173272 HAS SOUPS 173272 WITH SCORE 173660.711
AT ITER 4234 NEW BEST:: SOT 712761 SOS 388700 HAS SOPS 388700 HAS SOUS 173261 HAS SOUPS 173261 WITH SCORE 173649.7
AT ITER 4236 NEW BEST:: SOT 712959 SOS 387404 HAS SOPS 387404 HAS SOUS 173210 HAS SOUPS 173210 WITH SCORE 173597.404
AT ITER 4243 NEW BEST:: SOT 712834 SOS 387154 HAS SOPS 387154 HAS SOUS 172960 HAS SOUPS 172960 WITH SCORE 173347.154
AT ITER 4253 NEW BEST:: SOT 712822 SOS 386975 HAS SOPS 386975 HAS SOUS 172781 HAS SOUPS 172781 WITH SCORE 173167.975
AT ITER 4273 NEW BEST:: SOT 712822 SOS 386959 HAS SOPS 386959 HAS SOUS 172779 HAS SOUPS 172779 WITH SCORE 173165.959
AT ITER 4278 NEW BEST:: SOT 712822 SOS 386824 HAS SOPS 386824 HAS SOUS 172752 HAS SOUPS 172752 WITH SCORE 173138.824
AT ITER 4288 NEW BEST:: SOT 712822 SOS 386754 HAS SOPS 386754 HAS SOUS 172752 HAS SOUPS 172752 WITH SCORE 173138.754
AT ITER 4295 NEW BEST:: SOT 712712 SOS 386614 HAS SOPS 386614 HAS SOUS 172612 HAS SOUPS 172612 WITH SCORE 172998.614
AT ITER 4296 NEW BEST:: SOT 712712 SOS 386606 HAS SOPS 386606 HAS SOUS 172611 HAS SOUPS 172611 WITH SCORE 172997.606
AT ITER 4317 NEW BEST:: SOT 712712 SOS 386573 HAS SOPS 386573 HAS SOUS 172578 HAS SOUPS 172578 WITH SCORE 172964.573
AT ITER 4323 NEW BEST:: SOT 712645 SOS 386492 HAS SOPS 386492 HAS SOUS 172497 HAS SOUPS 172497 WITH SCORE 172883.492
AT ITER 4352 NEW BEST:: SOT 712252 SOS 386493 HAS SOPS 386493 HAS SOUS 172425 HAS SOUPS 172425 WITH SCORE 172811.493
AT ITER 4366 NEW BEST:: SOT 712183 SOS 386424 HAS SOPS 386424 HAS SOUS 172356 HAS SOUPS 172356 WITH SCORE 172742.424
AT ITER 4382 NEW BEST:: SOT 711832 SOS 382840 HAS SOPS 382840 HAS SOUS 171073 HAS SOUPS 171073 WITH SCORE 171455.84
AT ITER 4387 NEW BEST:: SOT 711797 SOS 382770 HAS SOPS 382770 HAS SOUS 171038 HAS SOUPS 171038 WITH SCORE 171420.77
AT ITER 4394 NEW BEST:: SOT 711645 SOS 382618 HAS SOPS 382618 HAS SOUS 170822 HAS SOUPS 170822 WITH SCORE 171204.618
AT ITER 4423 NEW BEST:: SOT 711544 SOS 382517 HAS SOPS 382517 HAS SOUS 170725 HAS SOUPS 170725 WITH SCORE 171107.517
AT ITER 4434 NEW BEST:: SOT 711756 SOS 382715 HAS SOPS 382715 HAS SOUS 170704 HAS SOUPS 170704 WITH SCORE 171086.715
AT ITER 4450 NEW BEST:: SOT 711734 SOS 382693 HAS SOPS 382693 HAS SOUS 170660 HAS SOUPS 170660 WITH SCORE 171042.693
AT ITER 4455 NEW BEST:: SOT 711523 SOS 382573 HAS SOPS 382573 HAS SOUS 170540 HAS SOUPS 170540 WITH SCORE 170922.573
AT ITER 4456 NEW BEST:: SOT 711428 SOS 382485 HAS SOPS 382485 HAS SOUS 170452 HAS SOUPS 170452 WITH SCORE 170834.485
AT ITER 4466 NEW BEST:: SOT 711986 SOS 382260 HAS SOPS 382260 HAS SOUS 170406 HAS SOUPS 170406 WITH SCORE 170788.26
AT ITER 4500 NEW BEST:: SOT 711799 SOS 382135 HAS SOPS 382135 HAS SOUS 170217 HAS SOUPS 170217 WITH SCORE 170599.135
AT ITER 4510 NEW BEST:: SOT 711768 SOS 382026 HAS SOPS 382026 HAS SOUS 170019 HAS SOUPS 170019 WITH SCORE 170401.026
AT ITER 4523 NEW BEST:: SOT 711697 SOS 381994 HAS SOPS 381994 HAS SOUS 169877 HAS SOUPS 169877 WITH SCORE 170258.994
AT ITER 4538 NEW BEST:: SOT 711687 SOS 381879 HAS SOPS 381879 HAS SOUS 169762 HAS SOUPS 169762 WITH SCORE 170143.879
AT ITER 4555 NEW BEST:: SOT 711681 SOS 381875 HAS SOPS 381875 HAS SOUS 169758 HAS SOUPS 169758 WITH SCORE 170139.875
AT ITER 4569 NEW BEST:: SOT 711681 SOS 381860 HAS SOPS 381860 HAS SOUS 169743 HAS SOUPS 169743 WITH SCORE 170124.86
AT ITER 4608 NEW BEST:: SOT 711563 SOS 381647 HAS SOPS 381647 HAS SOUS 169389 HAS SOUPS 169389 WITH SCORE 169770.647
AT ITER 4609 NEW BEST:: SOT 711483 SOS 381422 HAS SOPS 381422 HAS SOUS 169254 HAS SOUPS 169254 WITH SCORE 169635.422
AT ITER 4642 NEW BEST:: SOT 711140 SOS 381095 HAS SOPS 381095 HAS SOUS 168927 HAS SOUPS 168927 WITH SCORE 169308.095
AT ITER 4648 NEW BEST:: SOT 711135 SOS 381090 HAS SOPS 381090 HAS SOUS 168922 HAS SOUPS 168922 WITH SCORE 169303.09
AT ITER 4649 NEW BEST:: SOT 711134 SOS 381047 HAS SOPS 381047 HAS SOUS 168920 HAS SOUPS 168920 WITH SCORE 169301.047
AT ITER 4669 NEW BEST:: SOT 711164 SOS 381077 HAS SOPS 381077 HAS SOUS 168919 HAS SOUPS 168919 WITH SCORE 169300.077
AT ITER 4679 NEW BEST:: SOT 711111 SOS 381024 HAS SOPS 381024 HAS SOUS 168813 HAS SOUPS 168813 WITH SCORE 169194.024
AT ITER 4700 NEW BEST:: SOT 711099 SOS 381005 HAS SOPS 381005 HAS SOUS 168789 HAS SOUPS 168789 WITH SCORE 169170.005
AT ITER 4702 NEW BEST:: SOT 711009 SOS 380866 HAS SOPS 380866 HAS SOUS 168658 HAS SOUPS 168658 WITH SCORE 169038.866
AT ITER 4709 NEW BEST:: SOT 711009 SOS 380865 HAS SOPS 380865 HAS SOUS 168657 HAS SOUPS 168657 WITH SCORE 169037.865
AT ITER 4712 NEW BEST:: SOT 710971 SOS 380881 HAS SOPS 380881 HAS SOUS 168581 HAS SOUPS 168581 WITH SCORE 168961.881
AT ITER 4750 NEW BEST:: SOT 710971 SOS 380881 HAS SOPS 380881 HAS SOUS 168547 HAS SOUPS 168547 WITH SCORE 168927.881
AT ITER 4753 NEW BEST:: SOT 710856 SOS 380710 HAS SOPS 380710 HAS SOUS 168174 HAS SOUPS 168174 WITH SCORE 168554.71
AT ITER 4755 NEW BEST:: SOT 710436 SOS 380697 HAS SOPS 380697 HAS SOUS 167927 HAS SOUPS 167927 WITH SCORE 168307.697
AT ITER 4783 NEW BEST:: SOT 710379 SOS 380626 HAS SOPS 380626 HAS SOUS 167835 HAS SOUPS 167835 WITH SCORE 168215.626
AT ITER 4786 NEW BEST:: SOT 710330 SOS 380577 HAS SOPS 380577 HAS SOUS 167784 HAS SOUPS 167784 WITH SCORE 168164.577
AT ITER 4788 NEW BEST:: SOT 710322 SOS 380569 HAS SOPS 380569 HAS SOUS 167776 HAS SOUPS 167776 WITH SCORE 168156.569
AT ITER 4816 NEW BEST:: SOT 710253 SOS 380429 HAS SOPS 380429 HAS SOUS 167636 HAS SOUPS 167636 WITH SCORE 168016.429
AT ITER 4826 NEW BEST:: SOT 710253 SOS 380429 HAS SOPS 380429 HAS SOUS 167526 HAS SOUPS 167526 WITH SCORE 167906.429
AT ITER 4842 NEW BEST:: SOT 710097 SOS 380483 HAS SOPS 380483 HAS SOUS 167393 HAS SOUPS 167393 WITH SCORE 167773.483
AT ITER 4861 NEW BEST:: SOT 710094 SOS 380477 HAS SOPS 380477 HAS SOUS 167387 HAS SOUPS 167387 WITH SCORE 167767.477
AT ITER 4878 NEW BEST:: SOT 710079 SOS 380462 HAS SOPS 380462 HAS SOUS 167387 HAS SOUPS 167387 WITH SCORE 167767.462
AT ITER 4881 NEW BEST:: SOT 710079 SOS 380094 HAS SOPS 380094 HAS SOUS 167341 HAS SOUPS 167341 WITH SCORE 167721.094
AT ITER 4897 NEW BEST:: SOT 710079 SOS 380564 HAS SOPS 380564 HAS SOUS 167319 HAS SOUPS 167319 WITH SCORE 167699.564
AT ITER 4898 NEW BEST:: SOT 709944 SOS 380452 HAS SOPS 380452 HAS SOUS 167072 HAS SOUPS 167072 WITH SCORE 167452.452
AT ITER 4904 NEW BEST:: SOT 709924 SOS 380452 HAS SOPS 380452 HAS SOUS 167052 HAS SOUPS 167052 WITH SCORE 167432.452
AT ITER 4906 NEW BEST:: SOT 709928 SOS 380433 HAS SOPS 380433 HAS SOUS 167033 HAS SOUPS 167033 WITH SCORE 167413.433
AT ITER 4908 NEW BEST:: SOT 709930 SOS 380435 HAS SOPS 380435 HAS SOUS 167016 HAS SOUPS 167016 WITH SCORE 167396.435
AT ITER 4925 NEW BEST:: SOT 709930 SOS 380409 HAS SOPS 380409 HAS SOUS 166990 HAS SOUPS 166990 WITH SCORE 167370.409
AT ITER 4956 NEW BEST:: SOT 709771 SOS 379882 HAS SOPS 379882 HAS SOUS 166463 HAS SOUPS 166463 WITH SCORE 166842.882
AT ITER 4979 NEW BEST:: SOT 709704 SOS 379775 HAS SOPS 379775 HAS SOUS 166366 HAS SOUPS 166366 WITH SCORE 166745.775
AT ITER 4993 NEW BEST:: SOT 709732 SOS 379803 HAS SOPS 379803 HAS SOUS 166170 HAS SOUPS 166170 WITH SCORE 166549.803
AT ITER 5000 NEW BEST:: SOT 709629 SOS 379700 HAS SOPS 379700 HAS SOUS 166035 HAS SOUPS 166035 WITH SCORE 166414.7
AT ITER 5016 NEW BEST:: SOT 709460 SOS 379451 HAS SOPS 379451 HAS SOUS 165789 HAS SOUPS 165789 WITH SCORE 166168.451
AT ITER 5037 NEW BEST:: SOT 709446 SOS 377883 HAS SOPS 377883 HAS SOUS 165485 HAS SOUPS 165485 WITH SCORE 165862.883
AT ITER 5038 NEW BEST:: SOT 709404 SOS 377744 HAS SOPS 377744 HAS SOUS 165324 HAS SOUPS 165324 WITH SCORE 165701.744
AT ITER 5080 NEW BEST:: SOT 709361 SOS 377473 HAS SOPS 377473 HAS SOUS 165258 HAS SOUPS 165258 WITH SCORE 165635.473
AT ITER 5083 NEW BEST:: SOT 708923 SOS 377263 HAS SOPS 377263 HAS SOUS 165229 HAS SOUPS 165229 WITH SCORE 165606.263
AT ITER 5097 NEW BEST:: SOT 708878 SOS 377218 HAS SOPS 377218 HAS SOUS 165069 HAS SOUPS 165069 WITH SCORE 165446.218
AT ITER 5107 NEW BEST:: SOT 708733 SOS 377115 HAS SOPS 377115 HAS SOUS 164966 HAS SOUPS 164966 WITH SCORE 165343.115
AT ITER 5131 NEW BEST:: SOT 708403 SOS 377172 HAS SOPS 377172 HAS SOUS 164715 HAS SOUPS 164715 WITH SCORE 165092.172
AT ITER 5132 NEW BEST:: SOT 708415 SOS 377184 HAS SOPS 377184 HAS SOUS 164712 HAS SOUPS 164712 WITH SCORE 165089.184
AT ITER 5157 NEW BEST:: SOT 708286 SOS 377074 HAS SOPS 377074 HAS SOUS 164641 HAS SOUPS 164641 WITH SCORE 165018.074
AT ITER 5204 NEW BEST:: SOT 708203 SOS 377819 HAS SOPS 377819 HAS SOUS 164546 HAS SOUPS 164546 WITH SCORE 164923.819
AT ITER 5214 NEW BEST:: SOT 708130 SOS 377778 HAS SOPS 377778 HAS SOUS 164533 HAS SOUPS 164533 WITH SCORE 164910.778
AT ITER 5216 NEW BEST:: SOT 708075 SOS 377714 HAS SOPS 377714 HAS SOUS 164504 HAS SOUPS 164504 WITH SCORE 164881.714
AT ITER 5243 NEW BEST:: SOT 708075 SOS 377723 HAS SOPS 377723 HAS SOUS 164473 HAS SOUPS 164473 WITH SCORE 164850.723
AT ITER 5289 NEW BEST:: SOT 708043 SOS 377627 HAS SOPS 377627 HAS SOUS 164377 HAS SOUPS 164377 WITH SCORE 164754.627
AT ITER 5292 NEW BEST:: SOT 708039 SOS 377622 HAS SOPS 377622 HAS SOUS 164369 HAS SOUPS 164369 WITH SCORE 164746.622
AT ITER 5303 NEW BEST:: SOT 707987 SOS 377616 HAS SOPS 377616 HAS SOUS 164363 HAS SOUPS 164363 WITH SCORE 164740.616
AT ITER 5319 NEW BEST:: SOT 707923 SOS 377441 HAS SOPS 377441 HAS SOUS 164235 HAS SOUPS 164235 WITH SCORE 164612.441
AT ITER 5401 NEW BEST:: SOT 707938 SOS 377158 HAS SOPS 377158 HAS SOUS 164213 HAS SOUPS 164213 WITH SCORE 164590.158
AT ITER 5407 NEW BEST:: SOT 707938 SOS 377150 HAS SOPS 377150 HAS SOUS 164212 HAS SOUPS 164212 WITH SCORE 164589.15
AT ITER 5429 NEW BEST:: SOT 707755 SOS 376936 HAS SOPS 376936 HAS SOUS 164183 HAS SOUPS 164183 WITH SCORE 164559.936
AT ITER 5441 NEW BEST:: SOT 707751 SOS 376932 HAS SOPS 376932 HAS SOUS 164158 HAS SOUPS 164158 WITH SCORE 164534.932
AT ITER 5454 NEW BEST:: SOT 707719 SOS 376846 HAS SOPS 376846 HAS SOUS 164072 HAS SOUPS 164072 WITH SCORE 164448.846
AT ITER 5456 NEW BEST:: SOT 707719 SOS 376838 HAS SOPS 376838 HAS SOUS 164071 HAS SOUPS 164071 WITH SCORE 164447.838
AT ITER 5471 NEW BEST:: SOT 707404 SOS 376523 HAS SOPS 376523 HAS SOUS 163755 HAS SOUPS 163755 WITH SCORE 164131.523
AT ITER 5481 NEW BEST:: SOT 706746 SOS 376195 HAS SOPS 376195 HAS SOUS 163209 HAS SOUPS 163209 WITH SCORE 163585.195
AT ITER 5484 NEW BEST:: SOT 706690 SOS 376139 HAS SOPS 376139 HAS SOUS 163209 HAS SOUPS 163209 WITH SCORE 163585.139
AT ITER 5490 NEW BEST:: SOT 706608 SOS 376057 HAS SOPS 376057 HAS SOUS 162963 HAS SOUPS 162963 WITH SCORE 163339.057
AT ITER 5503 NEW BEST:: SOT 706559 SOS 376019 HAS SOPS 376019 HAS SOUS 162925 HAS SOUPS 162925 WITH SCORE 163301.019
AT ITER 5521 NEW BEST:: SOT 706396 SOS 376062 HAS SOPS 376062 HAS SOUS 162762 HAS SOUPS 162762 WITH SCORE 163138.062
AT ITER 5527 NEW BEST:: SOT 706396 SOS 376061 HAS SOPS 376061 HAS SOUS 162761 HAS SOUPS 162761 WITH SCORE 163137.061
AT ITER 5529 NEW BEST:: SOT 706175 SOS 375435 HAS SOPS 375435 HAS SOUS 162525 HAS SOUPS 162525 WITH SCORE 162900.435
AT ITER 5534 NEW BEST:: SOT 706174 SOS 375434 HAS SOPS 375434 HAS SOUS 162524 HAS SOUPS 162524 WITH SCORE 162899.434
AT ITER 5550 NEW BEST:: SOT 706166 SOS 375434 HAS SOPS 375434 HAS SOUS 162509 HAS SOUPS 162509 WITH SCORE 162884.434
AT ITER 5560 NEW BEST:: SOT 706162 SOS 375388 HAS SOPS 375388 HAS SOUS 162505 HAS SOUPS 162505 WITH SCORE 162880.388
AT ITER 5568 NEW BEST:: SOT 705977 SOS 375491 HAS SOPS 375491 HAS SOUS 162383 HAS SOUPS 162383 WITH SCORE 162758.491
AT ITER 5586 NEW BEST:: SOT 705876 SOS 375390 HAS SOPS 375390 HAS SOUS 162282 HAS SOUPS 162282 WITH SCORE 162657.39
AT ITER 5606 NEW BEST:: SOT 705602 SOS 375626 HAS SOPS 375626 HAS SOUS 162008 HAS SOUPS 162008 WITH SCORE 162383.626
AT ITER 5617 NEW BEST:: SOT 705427 SOS 375454 HAS SOPS 375454 HAS SOUS 161836 HAS SOUPS 161836 WITH SCORE 162211.454
AT ITER 5618 NEW BEST:: SOT 705379 SOS 375328 HAS SOPS 375328 HAS SOUS 161803 HAS SOUPS 161803 WITH SCORE 162178.328
AT ITER 5626 NEW BEST:: SOT 705270 SOS 375209 HAS SOPS 375209 HAS SOUS 161684 HAS SOUPS 161684 WITH SCORE 162059.209
AT ITER 5653 NEW BEST:: SOT 705099 SOS 375038 HAS SOPS 375038 HAS SOUS 161498 HAS SOUPS 161498 WITH SCORE 161873.038
AT ITER 5656 NEW BEST:: SOT 705084 SOS 375037 HAS SOPS 375037 HAS SOUS 161467 HAS SOUPS 161467 WITH SCORE 161842.037
AT ITER 5663 NEW BEST:: SOT 705069 SOS 375022 HAS SOPS 375022 HAS SOUS 161448 HAS SOUPS 161448 WITH SCORE 161823.022
AT ITER 5669 NEW BEST:: SOT 704750 SOS 374216 HAS SOPS 374216 HAS SOUS 161283 HAS SOUPS 161283 WITH SCORE 161657.216
AT ITER 5672 NEW BEST:: SOT 704738 SOS 374197 HAS SOPS 374197 HAS SOUS 161264 HAS SOUPS 161264 WITH SCORE 161638.197
AT ITER 5676 NEW BEST:: SOT 704738 SOS 373608 HAS SOPS 373608 HAS SOUS 161180 HAS SOUPS 161180 WITH SCORE 161553.608
AT ITER 5680 NEW BEST:: SOT 704722 SOS 373592 HAS SOPS 373592 HAS SOUS 161164 HAS SOUPS 161164 WITH SCORE 161537.592
AT ITER 5690 NEW BEST:: SOT 704754 SOS 373524 HAS SOPS 373524 HAS SOUS 161096 HAS SOUPS 161096 WITH SCORE 161469.524
AT ITER 5694 NEW BEST:: SOT 704684 SOS 373424 HAS SOPS 373424 HAS SOUS 161081 HAS SOUPS 161081 WITH SCORE 161454.424
AT ITER 5709 NEW BEST:: SOT 705358 SOS 372992 HAS SOPS 372992 HAS SOUS 160444 HAS SOUPS 160444 WITH SCORE 160816.992
AT ITER 5731 NEW BEST:: SOT 705233 SOS 372867 HAS SOPS 372867 HAS SOUS 160152 HAS SOUPS 160152 WITH SCORE 160524.867
AT ITER 5746 NEW BEST:: SOT 705233 SOS 373339 HAS SOPS 373339 HAS SOUS 160146 HAS SOUPS 160146 WITH SCORE 160519.339
AT ITER 5753 NEW BEST:: SOT 705197 SOS 373295 HAS SOPS 373295 HAS SOUS 160074 HAS SOUPS 160074 WITH SCORE 160447.295
AT ITER 5762 NEW BEST:: SOT 705172 SOS 373270 HAS SOPS 373270 HAS SOUS 160049 HAS SOUPS 160049 WITH SCORE 160422.27
AT ITER 5773 NEW BEST:: SOT 704819 SOS 372961 HAS SOPS 372961 HAS SOUS 159596 HAS SOUPS 159596 WITH SCORE 159968.961
AT ITER 5793 NEW BEST:: SOT 704734 SOS 372752 HAS SOPS 372752 HAS SOUS 159361 HAS SOUPS 159361 WITH SCORE 159733.752
AT ITER 5808 NEW BEST:: SOT 704777 SOS 371659 HAS SOPS 371659 HAS SOUS 159333 HAS SOUPS 159333 WITH SCORE 159704.659
AT ITER 5811 NEW BEST:: SOT 704699 SOS 371581 HAS SOPS 371581 HAS SOUS 159296 HAS SOUPS 159296 WITH SCORE 159667.581
AT ITER 5860 NEW BEST:: SOT 704668 SOS 371422 HAS SOPS 371422 HAS SOUS 159234 HAS SOUPS 159234 WITH SCORE 159605.422
AT ITER 5870 NEW BEST:: SOT 704655 SOS 371409 HAS SOPS 371409 HAS SOUS 159195 HAS SOUPS 159195 WITH SCORE 159566.409
AT ITER 5903 NEW BEST:: SOT 704655 SOS 369373 HAS SOPS 369373 HAS SOUS 159087 HAS SOUPS 159087 WITH SCORE 159456.373
AT ITER 5905 NEW BEST:: SOT 704449 SOS 369086 HAS SOPS 369086 HAS SOUS 159016 HAS SOUPS 159016 WITH SCORE 159385.086
AT ITER 5919 NEW BEST:: SOT 704443 SOS 369080 HAS SOPS 369080 HAS SOUS 159010 HAS SOUPS 159010 WITH SCORE 159379.08
AT ITER 5935 NEW BEST:: SOT 703822 SOS 368593 HAS SOPS 368593 HAS SOUS 158613 HAS SOUPS 158613 WITH SCORE 158981.593
AT ITER 5944 NEW BEST:: SOT 703801 SOS 368572 HAS SOPS 368572 HAS SOUS 158613 HAS SOUPS 158613 WITH SCORE 158981.572
AT ITER 5956 NEW BEST:: SOT 703850 SOS 368642 HAS SOPS 368642 HAS SOUS 158601 HAS SOUPS 158601 WITH SCORE 158969.642
AT ITER 5971 NEW BEST:: SOT 703605 SOS 368397 HAS SOPS 368397 HAS SOUS 158475 HAS SOUPS 158475 WITH SCORE 158843.397
AT ITER 5981 NEW BEST:: SOT 703461 SOS 368213 HAS SOPS 368213 HAS SOUS 157780 HAS SOUPS 157780 WITH SCORE 158148.213
AT ITER 5987 NEW BEST:: SOT 703467 SOS 368219 HAS SOPS 368219 HAS SOUS 157770 HAS SOUPS 157770 WITH SCORE 158138.219
AT ITER 6020 NEW BEST:: SOT 703423 SOS 368320 HAS SOPS 368320 HAS SOUS 157726 HAS SOUPS 157726 WITH SCORE 158094.32
AT ITER 6021 NEW BEST:: SOT 703423 SOS 367634 HAS SOPS 367634 HAS SOUS 157726 HAS SOUPS 157726 WITH SCORE 158093.634
AT ITER 6038 NEW BEST:: SOT 703407 SOS 367740 HAS SOPS 367740 HAS SOUS 157724 HAS SOUPS 157724 WITH SCORE 158091.74
AT ITER 6089 NEW BEST:: SOT 703375 SOS 367716 HAS SOPS 367716 HAS SOUS 157700 HAS SOUPS 157700 WITH SCORE 158067.716
AT ITER 6099 NEW BEST:: SOT 703375 SOS 368043 HAS SOPS 368043 HAS SOUS 157668 HAS SOUPS 157668 WITH SCORE 158036.043
AT ITER 6103 NEW BEST:: SOT 703358 SOS 368026 HAS SOPS 368026 HAS SOUS 157634 HAS SOUPS 157634 WITH SCORE 158002.026
AT ITER 6116 NEW BEST:: SOT 703354 SOS 368053 HAS SOPS 368053 HAS SOUS 157574 HAS SOUPS 157574 WITH SCORE 157942.053
AT ITER 6123 NEW BEST:: SOT 703354 SOS 368016 HAS SOPS 368016 HAS SOUS 157537 HAS SOUPS 157537 WITH SCORE 157905.016
AT ITER 6146 NEW BEST:: SOT 703350 SOS 368012 HAS SOPS 368012 HAS SOUS 157505 HAS SOUPS 157505 WITH SCORE 157873.012
AT ITER 6183 NEW BEST:: SOT 703307 SOS 368011 HAS SOPS 368011 HAS SOUS 157504 HAS SOUPS 157504 WITH SCORE 157872.011
AT ITER 6209 NEW BEST:: SOT 703306 SOS 367910 HAS SOPS 367910 HAS SOUS 157502 HAS SOUPS 157502 WITH SCORE 157869.91
AT ITER 6232 NEW BEST:: SOT 703168 SOS 367525 HAS SOPS 367525 HAS SOUS 157310 HAS SOUPS 157310 WITH SCORE 157677.525
AT ITER 6241 NEW BEST:: SOT 703018 SOS 367355 HAS SOPS 367355 HAS SOUS 157140 HAS SOUPS 157140 WITH SCORE 157507.355
AT ITER 6253 NEW BEST:: SOT 703016 SOS 361710 HAS SOPS 361710 HAS SOUS 156997 HAS SOUPS 156997 WITH SCORE 157358.71
AT ITER 6288 NEW BEST:: SOT 702884 SOS 361515 HAS SOPS 361515 HAS SOUS 156885 HAS SOUPS 156885 WITH SCORE 157246.515
AT ITER 6312 NEW BEST:: SOT 702804 SOS 361435 HAS SOPS 361435 HAS SOUS 156805 HAS SOUPS 156805 WITH SCORE 157166.435
AT ITER 6334 NEW BEST:: SOT 702703 SOS 361334 HAS SOPS 361334 HAS SOUS 156603 HAS SOUPS 156603 WITH SCORE 156964.334
AT ITER 6340 NEW BEST:: SOT 702797 SOS 361069 HAS SOPS 361069 HAS SOUS 156233 HAS SOUPS 156233 WITH SCORE 156594.069
AT ITER 6350 NEW BEST:: SOT 702689 SOS 360961 HAS SOPS 360961 HAS SOUS 156134 HAS SOUPS 156134 WITH SCORE 156494.961
AT ITER 6364 NEW BEST:: SOT 702678 SOS 360950 HAS SOPS 360950 HAS SOUS 156112 HAS SOUPS 156112 WITH SCORE 156472.95
AT ITER 6381 NEW BEST:: SOT 702678 SOS 360946 HAS SOPS 360946 HAS SOUS 156108 HAS SOUPS 156108 WITH SCORE 156468.946
AT ITER 6398 NEW BEST:: SOT 702641 SOS 360673 HAS SOPS 360673 HAS SOUS 155835 HAS SOUPS 155835 WITH SCORE 156195.673
AT ITER 6412 NEW BEST:: SOT 702435 SOS 359843 HAS SOPS 359843 HAS SOUS 155778 HAS SOUPS 155778 WITH SCORE 156137.843
AT ITER 6417 NEW BEST:: SOT 702342 SOS 359750 HAS SOPS 359750 HAS SOUS 155699 HAS SOUPS 155699 WITH SCORE 156058.75
AT ITER 6426 NEW BEST:: SOT 702331 SOS 359739 HAS SOPS 359739 HAS SOUS 155653 HAS SOUPS 155653 WITH SCORE 156012.739
AT ITER 6446 NEW BEST:: SOT 702291 SOS 359659 HAS SOPS 359659 HAS SOUS 155573 HAS SOUPS 155573 WITH SCORE 155932.659
AT ITER 6453 NEW BEST:: SOT 702271 SOS 359639 HAS SOPS 359639 HAS SOUS 155543 HAS SOUPS 155543 WITH SCORE 155902.639
AT ITER 6459 NEW BEST:: SOT 702047 SOS 359415 HAS SOPS 359415 HAS SOUS 155543 HAS SOUPS 155543 WITH SCORE 155902.415
AT ITER 6469 NEW BEST:: SOT 702017 SOS 359342 HAS SOPS 359342 HAS SOUS 155470 HAS SOUPS 155470 WITH SCORE 155829.342
AT ITER 6474 NEW BEST:: SOT 702001 SOS 359326 HAS SOPS 359326 HAS SOUS 155438 HAS SOUPS 155438 WITH SCORE 155797.326
AT ITER 6483 NEW BEST:: SOT 702029 SOS 359354 HAS SOPS 359354 HAS SOUS 155426 HAS SOUPS 155426 WITH SCORE 155785.354
AT ITER 6490 NEW BEST:: SOT 702173 SOS 359445 HAS SOPS 359445 HAS SOUS 155282 HAS SOUPS 155282 WITH SCORE 155641.445
AT ITER 6525 NEW BEST:: SOT 702069 SOS 359268 HAS SOPS 359268 HAS SOUS 155209 HAS SOUPS 155209 WITH SCORE 155568.268
AT ITER 6540 NEW BEST:: SOT 702054 SOS 359075 HAS SOPS 359075 HAS SOUS 155130 HAS SOUPS 155130 WITH SCORE 155489.075
AT ITER 6544 NEW BEST:: SOT 702068 SOS 359089 HAS SOPS 359089 HAS SOUS 155128 HAS SOUPS 155128 WITH SCORE 155487.089
AT ITER 6561 NEW BEST:: SOT 702017 SOS 359038 HAS SOPS 359038 HAS SOUS 155077 HAS SOUPS 155077 WITH SCORE 155436.038
AT ITER 6621 NEW BEST:: SOT 702169 SOS 359238 HAS SOPS 359238 HAS SOUS 155043 HAS SOUPS 155043 WITH SCORE 155402.238
AT ITER 6637 NEW BEST:: SOT 702168 SOS 359237 HAS SOPS 359237 HAS SOUS 155041 HAS SOUPS 155041 WITH SCORE 155400.237
AT ITER 6640 NEW BEST:: SOT 702087 SOS 359156 HAS SOPS 359156 HAS SOUS 154960 HAS SOUPS 154960 WITH SCORE 155319.156
AT ITER 6651 NEW BEST:: SOT 701817 SOS 358425 HAS SOPS 358425 HAS SOUS 154818 HAS SOUPS 154818 WITH SCORE 155176.425
AT ITER 6653 NEW BEST:: SOT 701740 SOS 357633 HAS SOPS 357633 HAS SOUS 154534 HAS SOUPS 154534 WITH SCORE 154891.633
AT ITER 6666 NEW BEST:: SOT 701623 SOS 357475 HAS SOPS 357475 HAS SOUS 154436 HAS SOUPS 154436 WITH SCORE 154793.475
AT ITER 6702 NEW BEST:: SOT 701553 SOS 357407 HAS SOPS 357407 HAS SOUS 154363 HAS SOUPS 154363 WITH SCORE 154720.407
AT ITER 6710 NEW BEST:: SOT 701449 SOS 357303 HAS SOPS 357303 HAS SOUS 154259 HAS SOUPS 154259 WITH SCORE 154616.303
AT ITER 6720 NEW BEST:: SOT 701449 SOS 356953 HAS SOPS 356953 HAS SOUS 154172 HAS SOUPS 154172 WITH SCORE 154528.953
AT ITER 6721 NEW BEST:: SOT 701431 SOS 356926 HAS SOPS 356926 HAS SOUS 154145 HAS SOUPS 154145 WITH SCORE 154501.926
AT ITER 6741 NEW BEST:: SOT 701430 SOS 356925 HAS SOPS 356925 HAS SOUS 154143 HAS SOUPS 154143 WITH SCORE 154499.925
AT ITER 6747 NEW BEST:: SOT 701184 SOS 356446 HAS SOPS 356446 HAS SOUS 153918 HAS SOUPS 153918 WITH SCORE 154274.446
AT ITER 6751 NEW BEST:: SOT 701184 SOS 356353 HAS SOPS 356353 HAS SOUS 153804 HAS SOUPS 153804 WITH SCORE 154160.353
AT ITER 6791 NEW BEST:: SOT 700477 SOS 356670 HAS SOPS 356670 HAS SOUS 153225 HAS SOUPS 153225 WITH SCORE 153581.67
AT ITER 6804 NEW BEST:: SOT 700467 SOS 356660 HAS SOPS 356660 HAS SOUS 153208 HAS SOUPS 153208 WITH SCORE 153564.66
AT ITER 6840 NEW BEST:: SOT 700467 SOS 356660 HAS SOPS 356660 HAS SOUS 153141 HAS SOUPS 153141 WITH SCORE 153497.66
AT ITER 6842 NEW BEST:: SOT 700466 SOS 356659 HAS SOPS 356659 HAS SOUS 153140 HAS SOUPS 153140 WITH SCORE 153496.659
AT ITER 6850 NEW BEST:: SOT 700452 SOS 356645 HAS SOPS 356645 HAS SOUS 153134 HAS SOUPS 153134 WITH SCORE 153490.645
AT ITER 6856 NEW BEST:: SOT 700416 SOS 356609 HAS SOPS 356609 HAS SOUS 153062 HAS SOUPS 153062 WITH SCORE 153418.609
AT ITER 6882 NEW BEST:: SOT 700396 SOS 356575 HAS SOPS 356575 HAS SOUS 153028 HAS SOUPS 153028 WITH SCORE 153384.575
AT ITER 6902 NEW BEST:: SOT 700377 SOS 356498 HAS SOPS 356498 HAS SOUS 152900 HAS SOUPS 152900 WITH SCORE 153256.498
AT ITER 6913 NEW BEST:: SOT 700374 SOS 356495 HAS SOPS 356495 HAS SOUS 152897 HAS SOUPS 152897 WITH SCORE 153253.495
AT ITER 6924 NEW BEST:: SOT 700373 SOS 356487 HAS SOPS 356487 HAS SOUS 152896 HAS SOUPS 152896 WITH SCORE 153252.487
AT ITER 6932 NEW BEST:: SOT 700380 SOS 356487 HAS SOPS 356487 HAS SOUS 152887 HAS SOUPS 152887 WITH SCORE 153243.487
AT ITER 6964 NEW BEST:: SOT 700332 SOS 356797 HAS SOPS 356797 HAS SOUS 152841 HAS SOUPS 152841 WITH SCORE 153197.797
AT ITER 6975 NEW BEST:: SOT 700302 SOS 356752 HAS SOPS 356752 HAS SOUS 152781 HAS SOUPS 152781 WITH SCORE 153137.752
AT ITER 6982 NEW BEST:: SOT 700283 SOS 356697 HAS SOPS 356697 HAS SOUS 152726 HAS SOUPS 152726 WITH SCORE 153082.697
AT ITER 6991 NEW BEST:: SOT 700279 SOS 356685 HAS SOPS 356685 HAS SOUS 152714 HAS SOUPS 152714 WITH SCORE 153070.685
AT ITER 7016 NEW BEST:: SOT 700304 SOS 356710 HAS SOPS 356710 HAS SOUS 152667 HAS SOUPS 152667 WITH SCORE 153023.71
AT ITER 7059 NEW BEST:: SOT 700287 SOS 356676 HAS SOPS 356676 HAS SOUS 152616 HAS SOUPS 152616 WITH SCORE 152972.676
AT ITER 7089 NEW BEST:: SOT 700273 SOS 356459 HAS SOPS 356459 HAS SOUS 152556 HAS SOUPS 152556 WITH SCORE 152912.459
AT ITER 7117 NEW BEST:: SOT 700273 SOS 354842 HAS SOPS 354842 HAS SOUS 152446 HAS SOUPS 152446 WITH SCORE 152800.842
AT ITER 7136 NEW BEST:: SOT 700265 SOS 354822 HAS SOPS 354822 HAS SOUS 152442 HAS SOUPS 152442 WITH SCORE 152796.822
AT ITER 7164 NEW BEST:: SOT 700287 SOS 354844 HAS SOPS 354844 HAS SOUS 152407 HAS SOUPS 152407 WITH SCORE 152761.844
AT ITER 7168 NEW BEST:: SOT 700287 SOS 354708 HAS SOPS 354708 HAS SOUS 152271 HAS SOUPS 152271 WITH SCORE 152625.708
AT ITER 7171 NEW BEST:: SOT 700975 SOS 354488 HAS SOPS 354488 HAS SOUS 152215 HAS SOUPS 152215 WITH SCORE 152569.488
AT ITER 7178 NEW BEST:: SOT 700975 SOS 354152 HAS SOPS 354152 HAS SOUS 152173 HAS SOUPS 152173 WITH SCORE 152527.152
AT ITER 7193 NEW BEST:: SOT 700895 SOS 354042 HAS SOPS 354042 HAS SOUS 152083 HAS SOUPS 152083 WITH SCORE 152437.042
AT ITER 7211 NEW BEST:: SOT 700753 SOS 353679 HAS SOPS 353679 HAS SOUS 151994 HAS SOUPS 151994 WITH SCORE 152347.679
AT ITER 7220 NEW BEST:: SOT 700743 SOS 353621 HAS SOPS 353621 HAS SOUS 151936 HAS SOUPS 151936 WITH SCORE 152289.621
AT ITER 7232 NEW BEST:: SOT 700743 SOS 353577 HAS SOPS 353577 HAS SOUS 151914 HAS SOUPS 151914 WITH SCORE 152267.577
AT ITER 7246 NEW BEST:: SOT 699787 SOS 352500 HAS SOPS 352500 HAS SOUS 151500 HAS SOUPS 151500 WITH SCORE 151852.5
AT ITER 7259 NEW BEST:: SOT 699638 SOS 352215 HAS SOPS 352215 HAS SOUS 151231 HAS SOUPS 151231 WITH SCORE 151583.215
AT ITER 7276 NEW BEST:: SOT 699594 SOS 352127 HAS SOPS 352127 HAS SOUS 151143 HAS SOUPS 151143 WITH SCORE 151495.127
AT ITER 7283 NEW BEST:: SOT 699525 SOS 351950 HAS SOPS 351950 HAS SOUS 150966 HAS SOUPS 150966 WITH SCORE 151317.95
AT ITER 7289 NEW BEST:: SOT 699463 SOS 351888 HAS SOPS 351888 HAS SOUS 150904 HAS SOUPS 150904 WITH SCORE 151255.888
AT ITER 7304 NEW BEST:: SOT 699462 SOS 351887 HAS SOPS 351887 HAS SOUS 150902 HAS SOUPS 150902 WITH SCORE 151253.887
AT ITER 7308 NEW BEST:: SOT 699018 SOS 351740 HAS SOPS 351740 HAS SOUS 150485 HAS SOUPS 150485 WITH SCORE 150836.74
AT ITER 7319 NEW BEST:: SOT 699012 SOS 351734 HAS SOPS 351734 HAS SOUS 150473 HAS SOUPS 150473 WITH SCORE 150824.734
AT ITER 7354 NEW BEST:: SOT 699012 SOS 351677 HAS SOPS 351677 HAS SOUS 150407 HAS SOUPS 150407 WITH SCORE 150758.677
AT ITER 7359 NEW BEST:: SOT 699041 SOS 352094 HAS SOPS 352094 HAS SOUS 150396 HAS SOUPS 150396 WITH SCORE 150748.094
AT ITER 7369 NEW BEST:: SOT 698997 SOS 352511 HAS SOPS 352511 HAS SOUS 150360 HAS SOUPS 150360 WITH SCORE 150712.511
AT ITER 7373 NEW BEST:: SOT 698841 SOS 351938 HAS SOPS 351938 HAS SOUS 150194 HAS SOUPS 150194 WITH SCORE 150545.938
AT ITER 7374 NEW BEST:: SOT 698829 SOS 351914 HAS SOPS 351914 HAS SOUS 150170 HAS SOUPS 150170 WITH SCORE 150521.914
AT ITER 7383 NEW BEST:: SOT 698793 SOS 351878 HAS SOPS 351878 HAS SOUS 150134 HAS SOUPS 150134 WITH SCORE 150485.878
AT ITER 7384 NEW BEST:: SOT 698717 SOS 351802 HAS SOPS 351802 HAS SOUS 150058 HAS SOUPS 150058 WITH SCORE 150409.802
AT ITER 7385 NEW BEST:: SOT 698706 SOS 351745 HAS SOPS 351745 HAS SOUS 150001 HAS SOUPS 150001 WITH SCORE 150352.745
AT ITER 7411 NEW BEST:: SOT 698688 SOS 351718 HAS SOPS 351718 HAS SOUS 149974 HAS SOUPS 149974 WITH SCORE 150325.718
AT ITER 7414 NEW BEST:: SOT 698635 SOS 351452 HAS SOPS 351452 HAS SOUS 149912 HAS SOUPS 149912 WITH SCORE 150263.452
AT ITER 7417 NEW BEST:: SOT 698729 SOS 351542 HAS SOPS 351542 HAS SOUS 149714 HAS SOUPS 149714 WITH SCORE 150065.542
AT ITER 7425 NEW BEST:: SOT 698899 SOS 351504 HAS SOPS 351504 HAS SOUS 149655 HAS SOUPS 149655 WITH SCORE 150006.504
AT ITER 7432 NEW BEST:: SOT 698925 SOS 351482 HAS SOPS 351482 HAS SOUS 149594 HAS SOUPS 149594 WITH SCORE 149945.482
AT ITER 7450 NEW BEST:: SOT 698796 SOS 351313 HAS SOPS 351313 HAS SOUS 149468 HAS SOUPS 149468 WITH SCORE 149819.313
AT ITER 7455 NEW BEST:: SOT 698554 SOS 350829 HAS SOPS 350829 HAS SOUS 148984 HAS SOUPS 148984 WITH SCORE 149334.829
AT ITER 7468 NEW BEST:: SOT 698298 SOS 348332 HAS SOPS 348332 HAS SOUS 148831 HAS SOUPS 148831 WITH SCORE 149179.332
AT ITER 7473 NEW BEST:: SOT 698298 SOS 348168 HAS SOPS 348168 HAS SOUS 148790 HAS SOUPS 148790 WITH SCORE 149138.168
AT ITER 7488 NEW BEST:: SOT 698403 SOS 348139 HAS SOPS 348139 HAS SOUS 148761 HAS SOUPS 148761 WITH SCORE 149109.139
AT ITER 7516 NEW BEST:: SOT 697854 SOS 347611 HAS SOPS 347611 HAS SOUS 148233 HAS SOUPS 148233 WITH SCORE 148580.611
AT ITER 7522 NEW BEST:: SOT 697636 SOS 346986 HAS SOPS 346986 HAS SOUS 147835 HAS SOUPS 147835 WITH SCORE 148181.986
AT ITER 7556 NEW BEST:: SOT 697735 SOS 347016 HAS SOPS 347016 HAS SOUS 147823 HAS SOUPS 147823 WITH SCORE 148170.016
AT ITER 7568 NEW BEST:: SOT 697743 SOS 346952 HAS SOPS 346952 HAS SOUS 147759 HAS SOUPS 147759 WITH SCORE 148105.952
AT ITER 7580 NEW BEST:: SOT 697680 SOS 346884 HAS SOPS 346884 HAS SOUS 147691 HAS SOUPS 147691 WITH SCORE 148037.884
AT ITER 7624 NEW BEST:: SOT 697672 SOS 346880 HAS SOPS 346880 HAS SOUS 147682 HAS SOUPS 147682 WITH SCORE 148028.88
AT ITER 7634 NEW BEST:: SOT 697631 SOS 346775 HAS SOPS 346775 HAS SOUS 147625 HAS SOUPS 147625 WITH SCORE 147971.775
AT ITER 7638 NEW BEST:: SOT 697566 SOS 346710 HAS SOPS 346710 HAS SOUS 147479 HAS SOUPS 147479 WITH SCORE 147825.71
AT ITER 7640 NEW BEST:: SOT 697520 SOS 346641 HAS SOPS 346641 HAS SOUS 147410 HAS SOUPS 147410 WITH SCORE 147756.641
AT ITER 7672 NEW BEST:: SOT 697517 SOS 346645 HAS SOPS 346645 HAS SOUS 147385 HAS SOUPS 147385 WITH SCORE 147731.645
AT ITER 7676 NEW BEST:: SOT 697576 SOS 346523 HAS SOPS 346523 HAS SOUS 147180 HAS SOUPS 147180 WITH SCORE 147526.523
AT ITER 7700 NEW BEST:: SOT 697454 SOS 346340 HAS SOPS 346340 HAS SOUS 146999 HAS SOUPS 146999 WITH SCORE 147345.34
AT ITER 7708 NEW BEST:: SOT 697335 SOS 344897 HAS SOPS 344897 HAS SOUS 146804 HAS SOUPS 146804 WITH SCORE 147148.897
AT ITER 7732 NEW BEST:: SOT 697335 SOS 344897 HAS SOPS 344897 HAS SOUS 146767 HAS SOUPS 146767 WITH SCORE 147111.897
AT ITER 7766 NEW BEST:: SOT 697204 SOS 344472 HAS SOPS 344472 HAS SOUS 146505 HAS SOUPS 146505 WITH SCORE 146849.472
AT ITER 7767 NEW BEST:: SOT 697192 SOS 344436 HAS SOPS 344436 HAS SOUS 146469 HAS SOUPS 146469 WITH SCORE 146813.436
AT ITER 7800 NEW BEST:: SOT 697175 SOS 344402 HAS SOPS 344402 HAS SOUS 146435 HAS SOUPS 146435 WITH SCORE 146779.402
AT ITER 7825 NEW BEST:: SOT 697175 SOS 344322 HAS SOPS 344322 HAS SOUS 146313 HAS SOUPS 146313 WITH SCORE 146657.322
AT ITER 7837 NEW BEST:: SOT 697142 SOS 344289 HAS SOPS 344289 HAS SOUS 146297 HAS SOUPS 146297 WITH SCORE 146641.289
AT ITER 7889 NEW BEST:: SOT 697142 SOS 344271 HAS SOPS 344271 HAS SOUS 146297 HAS SOUPS 146297 WITH SCORE 146641.271
AT ITER 7910 NEW BEST:: SOT 697038 SOS 344231 HAS SOPS 344231 HAS SOUS 146257 HAS SOUPS 146257 WITH SCORE 146601.231
AT ITER 7930 NEW BEST:: SOT 697038 SOS 344231 HAS SOPS 344231 HAS SOUS 146198 HAS SOUPS 146198 WITH SCORE 146542.231
AT ITER 7934 NEW BEST:: SOT 697028 SOS 344221 HAS SOPS 344221 HAS SOUS 146183 HAS SOUPS 146183 WITH SCORE 146527.221
AT ITER 7937 NEW BEST:: SOT 697028 SOS 343368 HAS SOPS 343368 HAS SOUS 146147 HAS SOUPS 146147 WITH SCORE 146490.368
AT ITER 7941 NEW BEST:: SOT 697014 SOS 343354 HAS SOPS 343354 HAS SOUS 146147 HAS SOUPS 146147 WITH SCORE 146490.354
AT ITER 7942 NEW BEST:: SOT 697005 SOS 343345 HAS SOPS 343345 HAS SOUS 146147 HAS SOUPS 146147 WITH SCORE 146490.345
AT ITER 7977 NEW BEST:: SOT 696976 SOS 343032 HAS SOPS 343032 HAS SOUS 146004 HAS SOUPS 146004 WITH SCORE 146347.032
AT ITER 8029 NEW BEST:: SOT 696976 SOS 343031 HAS SOPS 343031 HAS SOUS 145839 HAS SOUPS 145839 WITH SCORE 146182.031
AT ITER 8042 NEW BEST:: SOT 696960 SOS 342983 HAS SOPS 342983 HAS SOUS 145807 HAS SOUPS 145807 WITH SCORE 146149.983
AT ITER 8058 NEW BEST:: SOT 696974 SOS 342907 HAS SOPS 342907 HAS SOUS 145675 HAS SOUPS 145675 WITH SCORE 146017.907
AT ITER 8068 NEW BEST:: SOT 696519 SOS 342452 HAS SOPS 342452 HAS SOUS 144968 HAS SOUPS 144968 WITH SCORE 145310.452
AT ITER 8071 NEW BEST:: SOT 696572 SOS 342672 HAS SOPS 342672 HAS SOUS 144831 HAS SOUPS 144831 WITH SCORE 145173.672
AT ITER 8088 NEW BEST:: SOT 696572 SOS 342616 HAS SOPS 342616 HAS SOUS 144775 HAS SOUPS 144775 WITH SCORE 145117.616
AT ITER 8141 NEW BEST:: SOT 696635 SOS 342679 HAS SOPS 342679 HAS SOUS 144757 HAS SOUPS 144757 WITH SCORE 145099.679
AT ITER 8164 NEW BEST:: SOT 696624 SOS 342657 HAS SOPS 342657 HAS SOUS 144735 HAS SOUPS 144735 WITH SCORE 145077.657
AT ITER 8178 NEW BEST:: SOT 696398 SOS 342751 HAS SOPS 342751 HAS SOUS 144549 HAS SOUPS 144549 WITH SCORE 144891.751
AT ITER 8186 NEW BEST:: SOT 696200 SOS 342751 HAS SOPS 342751 HAS SOUS 144351 HAS SOUPS 144351 WITH SCORE 144693.751
AT ITER 8187 NEW BEST:: SOT 696176 SOS 342745 HAS SOPS 342745 HAS SOUS 144324 HAS SOUPS 144324 WITH SCORE 144666.745
AT ITER 8209 NEW BEST:: SOT 696072 SOS 342641 HAS SOPS 342641 HAS SOUS 144143 HAS SOUPS 144143 WITH SCORE 144485.641
AT ITER 8212 NEW BEST:: SOT 695985 SOS 342524 HAS SOPS 342524 HAS SOUS 144026 HAS SOUPS 144026 WITH SCORE 144368.524
AT ITER 8226 NEW BEST:: SOT 695985 SOS 342504 HAS SOPS 342504 HAS SOUS 144006 HAS SOUPS 144006 WITH SCORE 144348.504
AT ITER 8228 NEW BEST:: SOT 695934 SOS 342453 HAS SOPS 342453 HAS SOUS 143955 HAS SOUPS 143955 WITH SCORE 144297.453
AT ITER 8234 NEW BEST:: SOT 695938 SOS 342419 HAS SOPS 342419 HAS SOUS 143921 HAS SOUPS 143921 WITH SCORE 144263.419
AT ITER 8297 NEW BEST:: SOT 695947 SOS 342211 HAS SOPS 342211 HAS SOUS 143796 HAS SOUPS 143796 WITH SCORE 144138.211
AT ITER 8327 NEW BEST:: SOT 695890 SOS 341869 HAS SOPS 341869 HAS SOUS 143739 HAS SOUPS 143739 WITH SCORE 144080.869
AT ITER 8352 NEW BEST:: SOT 695950 SOS 341842 HAS SOPS 341842 HAS SOUS 143712 HAS SOUPS 143712 WITH SCORE 144053.842
AT ITER 8358 NEW BEST:: SOT 695874 SOS 341759 HAS SOPS 341759 HAS SOUS 143707 HAS SOUPS 143707 WITH SCORE 144048.759
AT ITER 8401 NEW BEST:: SOT 695869 SOS 341754 HAS SOPS 341754 HAS SOUS 143702 HAS SOUPS 143702 WITH SCORE 144043.754
AT ITER 8404 NEW BEST:: SOT 695860 SOS 341745 HAS SOPS 341745 HAS SOUS 143684 HAS SOUPS 143684 WITH SCORE 144025.745
AT ITER 8410 NEW BEST:: SOT 695804 SOS 339609 HAS SOPS 339609 HAS SOUS 143468 HAS SOUPS 143468 WITH SCORE 143807.609
AT ITER 8473 NEW BEST:: SOT 695883 SOS 339202 HAS SOPS 339202 HAS SOUS 143449 HAS SOUPS 143449 WITH SCORE 143788.202
AT ITER 8489 NEW BEST:: SOT 695752 SOS 339041 HAS SOPS 339041 HAS SOUS 143221 HAS SOUPS 143221 WITH SCORE 143560.041
AT ITER 8531 NEW BEST:: SOT 695590 SOS 338954 HAS SOPS 338954 HAS SOUS 143134 HAS SOUPS 143134 WITH SCORE 143472.954
AT ITER 8576 NEW BEST:: SOT 695530 SOS 339190 HAS SOPS 339190 HAS SOUS 143124 HAS SOUPS 143124 WITH SCORE 143463.19
AT ITER 8579 NEW BEST:: SOT 695529 SOS 339189 HAS SOPS 339189 HAS SOUS 143123 HAS SOUPS 143123 WITH SCORE 143462.189
AT ITER 8598 NEW BEST:: SOT 695541 SOS 339201 HAS SOPS 339201 HAS SOUS 143117 HAS SOUPS 143117 WITH SCORE 143456.201
AT ITER 8612 NEW BEST:: SOT 695407 SOS 339131 HAS SOPS 339131 HAS SOUS 143047 HAS SOUPS 143047 WITH SCORE 143386.131
AT ITER 8617 NEW BEST:: SOT 695318 SOS 338953 HAS SOPS 338953 HAS SOUS 142869 HAS SOUPS 142869 WITH SCORE 143207.953
AT ITER 8619 NEW BEST:: SOT 695304 SOS 338939 HAS SOPS 338939 HAS SOUS 142855 HAS SOUPS 142855 WITH SCORE 143193.939
AT ITER 8626 NEW BEST:: SOT 695319 SOS 338703 HAS SOPS 338703 HAS SOUS 142567 HAS SOUPS 142567 WITH SCORE 142905.703
AT ITER 8674 NEW BEST:: SOT 695046 SOS 337038 HAS SOPS 337038 HAS SOUS 142120 HAS SOUPS 142120 WITH SCORE 142457.038
AT ITER 8678 NEW BEST:: SOT 695046 SOS 337066 HAS SOPS 337066 HAS SOUS 142092 HAS SOUPS 142092 WITH SCORE 142429.066
AT ITER 8692 NEW BEST:: SOT 695025 SOS 336999 HAS SOPS 336999 HAS SOUS 142068 HAS SOUPS 142068 WITH SCORE 142404.999
AT ITER 8723 NEW BEST:: SOT 694952 SOS 336872 HAS SOPS 336872 HAS SOUS 141986 HAS SOUPS 141986 WITH SCORE 142322.872
AT ITER 8727 NEW BEST:: SOT 694710 SOS 336559 HAS SOPS 336559 HAS SOUS 141817 HAS SOUPS 141817 WITH SCORE 142153.559
AT ITER 8796 NEW BEST:: SOT 694694 SOS 336551 HAS SOPS 336551 HAS SOUS 141801 HAS SOUPS 141801 WITH SCORE 142137.551
AT ITER 8804 NEW BEST:: SOT 694627 SOS 336484 HAS SOPS 336484 HAS SOUS 141745 HAS SOUPS 141745 WITH SCORE 142081.484
AT ITER 8844 NEW BEST:: SOT 694586 SOS 336443 HAS SOPS 336443 HAS SOUS 141704 HAS SOUPS 141704 WITH SCORE 142040.443
AT ITER 8861 NEW BEST:: SOT 693779 SOS 336942 HAS SOPS 336942 HAS SOUS 141236 HAS SOUPS 141236 WITH SCORE 141572.942
AT ITER 8880 NEW BEST:: SOT 693778 SOS 336932 HAS SOPS 336932 HAS SOUS 141226 HAS SOUPS 141226 WITH SCORE 141562.932
AT ITER 8882 NEW BEST:: SOT 693771 SOS 336932 HAS SOPS 336932 HAS SOUS 141219 HAS SOUPS 141219 WITH SCORE 141555.932
AT ITER 8895 NEW BEST:: SOT 693739 SOS 336884 HAS SOPS 336884 HAS SOUS 141155 HAS SOUPS 141155 WITH SCORE 141491.884
AT ITER 8909 NEW BEST:: SOT 693739 SOS 336884 HAS SOPS 336884 HAS SOUS 141153 HAS SOUPS 141153 WITH SCORE 141489.884
AT ITER 8928 NEW BEST:: SOT 693619 SOS 336803 HAS SOPS 336803 HAS SOUS 140986 HAS SOUPS 140986 WITH SCORE 141322.803
AT ITER 8945 NEW BEST:: SOT 693665 SOS 336738 HAS SOPS 336738 HAS SOUS 140921 HAS SOUPS 140921 WITH SCORE 141257.738
AT ITER 8946 NEW BEST:: SOT 693486 SOS 336699 HAS SOPS 336699 HAS SOUS 140703 HAS SOUPS 140703 WITH SCORE 141039.699
AT ITER 8953 NEW BEST:: SOT 693424 SOS 336141 HAS SOPS 336141 HAS SOUS 140579 HAS SOUPS 140579 WITH SCORE 140915.141
AT ITER 8956 NEW BEST:: SOT 693424 SOS 336029 HAS SOPS 336029 HAS SOUS 140579 HAS SOUPS 140579 WITH SCORE 140915.029
AT ITER 8972 NEW BEST:: SOT 693273 SOS 335885 HAS SOPS 335885 HAS SOUS 140579 HAS SOUPS 140579 WITH SCORE 140914.885
AT ITER 9002 NEW BEST:: SOT 693250 SOS 335781 HAS SOPS 335781 HAS SOUS 140498 HAS SOUPS 140498 WITH SCORE 140833.781
AT ITER 9013 NEW BEST:: SOT 693235 SOS 335766 HAS SOPS 335766 HAS SOUS 140415 HAS SOUPS 140415 WITH SCORE 140750.766
AT ITER 9027 NEW BEST:: SOT 693193 SOS 335727 HAS SOPS 335727 HAS SOUS 140376 HAS SOUPS 140376 WITH SCORE 140711.727
AT ITER 9039 NEW BEST:: SOT 692817 SOS 335274 HAS SOPS 335274 HAS SOUS 139953 HAS SOUPS 139953 WITH SCORE 140288.274
AT ITER 9065 NEW BEST:: SOT 692940 SOS 335135 HAS SOPS 335135 HAS SOUS 139814 HAS SOUPS 139814 WITH SCORE 140149.135
AT ITER 9069 NEW BEST:: SOT 692908 SOS 335071 HAS SOPS 335071 HAS SOUS 139766 HAS SOUPS 139766 WITH SCORE 140101.071
AT ITER 9074 NEW BEST:: SOT 692897 SOS 335060 HAS SOPS 335060 HAS SOUS 139722 HAS SOUPS 139722 WITH SCORE 140057.06
AT ITER 9171 NEW BEST:: SOT 692915 SOS 334086 HAS SOPS 334086 HAS SOUS 139616 HAS SOUPS 139616 WITH SCORE 139950.086
AT ITER 9195 NEW BEST:: SOT 692862 SOS 333970 HAS SOPS 333970 HAS SOUS 139562 HAS SOUPS 139562 WITH SCORE 139895.97
AT ITER 9226 NEW BEST:: SOT 692759 SOS 333764 HAS SOPS 333764 HAS SOUS 139356 HAS SOUPS 139356 WITH SCORE 139689.764
AT ITER 9231 NEW BEST:: SOT 692754 SOS 333759 HAS SOPS 333759 HAS SOUS 139346 HAS SOUPS 139346 WITH SCORE 139679.759
AT ITER 9235 NEW BEST:: SOT 692754 SOS 333693 HAS SOPS 333693 HAS SOUS 139346 HAS SOUPS 139346 WITH SCORE 139679.693
AT ITER 9241 NEW BEST:: SOT 692631 SOS 333486 HAS SOPS 333486 HAS SOUS 139224 HAS SOUPS 139224 WITH SCORE 139557.486
AT ITER 9251 NEW BEST:: SOT 692477 SOS 333228 HAS SOPS 333228 HAS SOUS 138966 HAS SOUPS 138966 WITH SCORE 139299.228
AT ITER 9277 NEW BEST:: SOT 692304 SOS 332887 HAS SOPS 332887 HAS SOUS 138781 HAS SOUPS 138781 WITH SCORE 139113.887
AT ITER 9281 NEW BEST:: SOT 692304 SOS 333231 HAS SOPS 333231 HAS SOUS 138780 HAS SOUPS 138780 WITH SCORE 139113.231
AT ITER 9298 NEW BEST:: SOT 692211 SOS 333381 HAS SOPS 333381 HAS SOUS 138766 HAS SOUPS 138766 WITH SCORE 139099.381
AT ITER 9299 NEW BEST:: SOT 692224 SOS 333428 HAS SOPS 333428 HAS SOUS 138762 HAS SOUPS 138762 WITH SCORE 139095.428
AT ITER 9300 NEW BEST:: SOT 692235 SOS 333530 HAS SOPS 333530 HAS SOUS 138713 HAS SOUPS 138713 WITH SCORE 139046.53
AT ITER 9310 NEW BEST:: SOT 692216 SOS 333511 HAS SOPS 333511 HAS SOUS 138694 HAS SOUPS 138694 WITH SCORE 139027.511
AT ITER 9345 NEW BEST:: SOT 692152 SOS 333447 HAS SOPS 333447 HAS SOUS 138630 HAS SOUPS 138630 WITH SCORE 138963.447
AT ITER 9366 NEW BEST:: SOT 692135 SOS 333424 HAS SOPS 333424 HAS SOUS 138607 HAS SOUPS 138607 WITH SCORE 138940.424
AT ITER 9415 NEW BEST:: SOT 692148 SOS 333467 HAS SOPS 333467 HAS SOUS 138596 HAS SOUPS 138596 WITH SCORE 138929.467
AT ITER 9418 NEW BEST:: SOT 692148 SOS 333467 HAS SOPS 333467 HAS SOUS 138514 HAS SOUPS 138514 WITH SCORE 138847.467
AT ITER 9426 NEW BEST:: SOT 692145 SOS 333465 HAS SOPS 333465 HAS SOUS 138512 HAS SOUPS 138512 WITH SCORE 138845.465
AT ITER 9438 NEW BEST:: SOT 691903 SOS 332748 HAS SOPS 332748 HAS SOUS 138116 HAS SOUPS 138116 WITH SCORE 138448.748
AT ITER 9447 NEW BEST:: SOT 691824 SOS 332661 HAS SOPS 332661 HAS SOUS 138029 HAS SOUPS 138029 WITH SCORE 138361.661
AT ITER 9465 NEW BEST:: SOT 691812 SOS 332649 HAS SOPS 332649 HAS SOUS 138017 HAS SOUPS 138017 WITH SCORE 138349.649
AT ITER 9476 NEW BEST:: SOT 691795 SOS 332632 HAS SOPS 332632 HAS SOUS 137987 HAS SOUPS 137987 WITH SCORE 138319.632
AT ITER 9506 NEW BEST:: SOT 691779 SOS 332612 HAS SOPS 332612 HAS SOUS 137967 HAS SOUPS 137967 WITH SCORE 138299.612
AT ITER 9511 NEW BEST:: SOT 691769 SOS 332601 HAS SOPS 332601 HAS SOUS 137949 HAS SOUPS 137949 WITH SCORE 138281.601
AT ITER 9518 NEW BEST:: SOT 691647 SOS 332661 HAS SOPS 332661 HAS SOUS 137939 HAS SOUPS 137939 WITH SCORE 138271.661
AT ITER 9520 NEW BEST:: SOT 691646 SOS 332658 HAS SOPS 332658 HAS SOUS 137936 HAS SOUPS 137936 WITH SCORE 138268.658
AT ITER 9535 NEW BEST:: SOT 691634 SOS 332634 HAS SOPS 332634 HAS SOUS 137899 HAS SOUPS 137899 WITH SCORE 138231.634
AT ITER 9581 NEW BEST:: SOT 691606 SOS 332450 HAS SOPS 332450 HAS SOUS 137855 HAS SOUPS 137855 WITH SCORE 138187.45
AT ITER 9585 NEW BEST:: SOT 691573 SOS 332183 HAS SOPS 332183 HAS SOUS 137794 HAS SOUPS 137794 WITH SCORE 138126.183
AT ITER 9586 NEW BEST:: SOT 691541 SOS 332151 HAS SOPS 332151 HAS SOUS 137730 HAS SOUPS 137730 WITH SCORE 138062.151
AT ITER 9615 NEW BEST:: SOT 691541 SOS 332141 HAS SOPS 332141 HAS SOUS 137720 HAS SOUPS 137720 WITH SCORE 138052.141
AT ITER 9644 NEW BEST:: SOT 691424 SOS 331961 HAS SOPS 331961 HAS SOUS 137573 HAS SOUPS 137573 WITH SCORE 137904.961
AT ITER 9662 NEW BEST:: SOT 691425 SOS 331958 HAS SOPS 331958 HAS SOUS 137570 HAS SOUPS 137570 WITH SCORE 137901.958
AT ITER 9664 NEW BEST:: SOT 691398 SOS 331899 HAS SOPS 331899 HAS SOUS 137521 HAS SOUPS 137521 WITH SCORE 137852.899
AT ITER 9699 NEW BEST:: SOT 691398 SOS 331897 HAS SOPS 331897 HAS SOUS 137521 HAS SOUPS 137521 WITH SCORE 137852.897
AT ITER 9706 NEW BEST:: SOT 691622 SOS 331891 HAS SOPS 331891 HAS SOUS 137502 HAS SOUPS 137502 WITH SCORE 137833.891
AT ITER 9710 NEW BEST:: SOT 691622 SOS 330952 HAS SOPS 330952 HAS SOUS 137494 HAS SOUPS 137494 WITH SCORE 137824.952
AT ITER 9745 NEW BEST:: SOT 691606 SOS 330936 HAS SOPS 330936 HAS SOUS 137478 HAS SOUPS 137478 WITH SCORE 137808.936
AT ITER 9763 NEW BEST:: SOT 691606 SOS 330936 HAS SOPS 330936 HAS SOUS 137454 HAS SOUPS 137454 WITH SCORE 137784.936
AT ITER 9790 NEW BEST:: SOT 691573 SOS 330903 HAS SOPS 330903 HAS SOUS 137421 HAS SOUPS 137421 WITH SCORE 137751.903
AT ITER 9797 NEW BEST:: SOT 691572 SOS 330902 HAS SOPS 330902 HAS SOUS 137419 HAS SOUPS 137419 WITH SCORE 137749.902
AT ITER 9799 NEW BEST:: SOT 691572 SOS 330892 HAS SOPS 330892 HAS SOUS 137409 HAS SOUPS 137409 WITH SCORE 137739.892
AT ITER 9822 NEW BEST:: SOT 691572 SOS 330808 HAS SOPS 330808 HAS SOUS 137368 HAS SOUPS 137368 WITH SCORE 137698.808
AT ITER 9838 NEW BEST:: SOT 691561 SOS 330797 HAS SOPS 330797 HAS SOUS 137346 HAS SOUPS 137346 WITH SCORE 137676.797
AT ITER 9880 NEW BEST:: SOT 691606 SOS 330794 HAS SOPS 330794 HAS SOUS 137343 HAS SOUPS 137343 WITH SCORE 137673.794
AT ITER 9883 NEW BEST:: SOT 691602 SOS 330790 HAS SOPS 330790 HAS SOUS 137339 HAS SOUPS 137339 WITH SCORE 137669.79
AT ITER 9896 NEW BEST:: SOT 691594 SOS 330807 HAS SOPS 330807 HAS SOUS 137331 HAS SOUPS 137331 WITH SCORE 137661.807
AT ITER 9899 NEW BEST:: SOT 691565 SOS 330749 HAS SOPS 330749 HAS SOUS 137302 HAS SOUPS 137302 WITH SCORE 137632.749
AT ITER 9911 NEW BEST:: SOT 691508 SOS 330656 HAS SOPS 330656 HAS SOUS 137255 HAS SOUPS 137255 WITH SCORE 137585.656
AT ITER 9929 NEW BEST:: SOT 691505 SOS 330653 HAS SOPS 330653 HAS SOUS 137249 HAS SOUPS 137249 WITH SCORE 137579.653
AT ITER 9933 NEW BEST:: SOT 691391 SOS 330240 HAS SOPS 330240 HAS SOUS 136913 HAS SOUPS 136913 WITH SCORE 137243.24
AT ITER 9940 NEW BEST:: SOT 691219 SOS 330015 HAS SOPS 330015 HAS SOUS 136592 HAS SOUPS 136592 WITH SCORE 136922.015
AT ITER 9952 NEW BEST:: SOT 691219 SOS 329959 HAS SOPS 329959 HAS SOUS 136564 HAS SOUPS 136564 WITH SCORE 136893.959
AT ITER 9959 NEW BEST:: SOT 691155 SOS 329811 HAS SOPS 329811 HAS SOUS 136436 HAS SOUPS 136436 WITH SCORE 136765.811
AT ITER 9965 NEW BEST:: SOT 691155 SOS 330315 HAS SOPS 330315 HAS SOUS 136396 HAS SOUPS 136396 WITH SCORE 136726.315
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7500064 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151932 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-04a"
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-04a, 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-167813590400064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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