Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354900528.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBLF-PT-S06J04T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354900528
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 6.9K Apr 12 05:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 12 05:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 57K Apr 11 05:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 193K Apr 11 05:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 15K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 43K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Apr 10 12:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 54K Apr 10 12:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 252K Apr 9 18:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 796K Apr 9 18:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.5K Apr 10 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 19M Mar 24 05:37 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 1589646132399

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J04T08
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 810 places, 14014 transitions, 118428 arcs.
AT ITER 0 NEW BEST:: SOT 7044553 SOS 4422184 HAS SOPS 4400850 HAS SOUS 771131 HAS SOUPS 770259 WITH SCORE 774681.184
AT ITER 1 NEW BEST:: SOT 7044277 SOS 4421914 HAS SOPS 4400580 HAS SOUS 770901 HAS SOUPS 770029 WITH SCORE 774450.914
AT ITER 23 NEW BEST:: SOT 7043540 SOS 4420937 HAS SOPS 4399603 HAS SOUS 770092 HAS SOUPS 769220 WITH SCORE 773640.937
AT ITER 26 NEW BEST:: SOT 7043508 SOS 4420873 HAS SOPS 4399539 HAS SOUS 770034 HAS SOUPS 769162 WITH SCORE 773582.873
AT ITER 32 NEW BEST:: SOT 7043214 SOS 4420626 HAS SOPS 4399292 HAS SOUS 769681 HAS SOUPS 768809 WITH SCORE 773229.626
AT ITER 37 NEW BEST:: SOT 7043190 SOS 4420602 HAS SOPS 4399268 HAS SOUS 769657 HAS SOUPS 768785 WITH SCORE 773205.602
AT ITER 39 NEW BEST:: SOT 7043219 SOS 4420631 HAS SOPS 4399172 HAS SOUS 769686 HAS SOUPS 768737 WITH SCORE 773157.631
AT ITER 53 NEW BEST:: SOT 7043189 SOS 4420571 HAS SOPS 4399112 HAS SOUS 769542 HAS SOUPS 768593 WITH SCORE 773013.571
AT ITER 59 NEW BEST:: SOT 7042764 SOS 4420262 HAS SOPS 4398803 HAS SOUS 768966 HAS SOUPS 768017 WITH SCORE 772437.262
AT ITER 74 NEW BEST:: SOT 7042682 SOS 4420180 HAS SOPS 4398680 HAS SOUS 768925 HAS SOUPS 767976 WITH SCORE 772396.18
AT ITER 75 NEW BEST:: SOT 7042553 SOS 4419844 HAS SOPS 4398569 HAS SOUS 768724 HAS SOUPS 767775 WITH SCORE 772194.844
AT ITER 86 NEW BEST:: SOT 7042590 SOS 4420444 HAS SOPS 4399169 HAS SOUS 768027 HAS SOUPS 767078 WITH SCORE 771498.444
AT ITER 89 NEW BEST:: SOT 7041600 SOS 4419600 HAS SOPS 4398325 HAS SOUS 767183 HAS SOUPS 766234 WITH SCORE 770653.6
AT ITER 111 NEW BEST:: SOT 7041169 SOS 4418570 HAS SOPS 4397295 HAS SOUS 766851 HAS SOUPS 765902 WITH SCORE 770320.57
AT ITER 115 NEW BEST:: SOT 7040629 SOS 4418219 HAS SOPS 4396944 HAS SOUS 766500 HAS SOUPS 765551 WITH SCORE 769969.219
AT ITER 121 NEW BEST:: SOT 7040359 SOS 4417967 HAS SOPS 4396692 HAS SOUS 766290 HAS SOUPS 765341 WITH SCORE 769758.967
AT ITER 124 NEW BEST:: SOT 7039889 SOS 4417522 HAS SOPS 4396247 HAS SOUS 765609 HAS SOUPS 764660 WITH SCORE 769077.522
AT ITER 132 NEW BEST:: SOT 7039889 SOS 4417622 HAS SOPS 4396347 HAS SOUS 765544 HAS SOUPS 764595 WITH SCORE 769012.622
AT ITER 135 NEW BEST:: SOT 7039911 SOS 4417606 HAS SOPS 4396331 HAS SOUS 765528 HAS SOUPS 764579 WITH SCORE 768996.606
AT ITER 148 NEW BEST:: SOT 6830796 SOS 4208491 HAS SOPS 4187216 HAS SOUS 737988 HAS SOUPS 737039 WITH SCORE 741247.491
AT ITER 153 NEW BEST:: SOT 6830484 SOS 4208424 HAS SOPS 4187149 HAS SOUS 737699 HAS SOUPS 736750 WITH SCORE 740958.424
AT ITER 160 NEW BEST:: SOT 6830431 SOS 4208371 HAS SOPS 4187096 HAS SOUS 737646 HAS SOUPS 736697 WITH SCORE 740905.371
AT ITER 171 NEW BEST:: SOT 6831152 SOS 4209367 HAS SOPS 4188092 HAS SOUS 737610 HAS SOUPS 736661 WITH SCORE 740870.367
AT ITER 176 NEW BEST:: SOT 6830737 SOS 4209093 HAS SOPS 4187818 HAS SOUS 736456 HAS SOUPS 735507 WITH SCORE 739716.093
AT ITER 181 NEW BEST:: SOT 6830698 SOS 4208999 HAS SOPS 4187724 HAS SOUS 736362 HAS SOUPS 735413 WITH SCORE 739621.999
AT ITER 192 NEW BEST:: SOT 6811745 SOS 4274428 HAS SOPS 4266337 HAS SOUS 721218 HAS SOUPS 720531 WITH SCORE 724805.428
AT ITER 206 NEW BEST:: SOT 6811764 SOS 4274542 HAS SOPS 4266451 HAS SOUS 721215 HAS SOUPS 720528 WITH SCORE 724802.542
AT ITER 209 NEW BEST:: SOT 6811388 SOS 4273978 HAS SOPS 4265887 HAS SOUS 720593 HAS SOUPS 719906 WITH SCORE 724179.978
AT ITER 213 NEW BEST:: SOT 6811359 SOS 4273920 HAS SOPS 4265829 HAS SOUS 720532 HAS SOUPS 719845 WITH SCORE 724118.92
AT ITER 218 NEW BEST:: SOT 6810578 SOS 4273284 HAS SOPS 4265193 HAS SOUS 719780 HAS SOUPS 719093 WITH SCORE 723366.284
AT ITER 234 NEW BEST:: SOT 6809821 SOS 4272834 HAS SOPS 4264743 HAS SOUS 719592 HAS SOUPS 718905 WITH SCORE 723177.834
AT ITER 236 NEW BEST:: SOT 6810028 SOS 4272093 HAS SOPS 4257282 HAS SOUS 719721 HAS SOUPS 718194 WITH SCORE 722466.093
AT ITER 239 NEW BEST:: SOT 6808650 SOS 4270842 HAS SOPS 4256031 HAS SOUS 718484 HAS SOUPS 716957 WITH SCORE 721227.842
AT ITER 250 NEW BEST:: SOT 6807536 SOS 4270072 HAS SOPS 4255261 HAS SOUS 718099 HAS SOUPS 716572 WITH SCORE 720842.072
AT ITER 258 NEW BEST:: SOT 6807452 SOS 4269851 HAS SOPS 4255037 HAS SOUS 717701 HAS SOUPS 716174 WITH SCORE 720443.851
AT ITER 270 NEW BEST:: SOT 6807352 SOS 4269758 HAS SOPS 4254944 HAS SOUS 717046 HAS SOUPS 715519 WITH SCORE 719788.758
AT ITER 273 NEW BEST:: SOT 6806307 SOS 4268951 HAS SOPS 4254137 HAS SOUS 716164 HAS SOUPS 714637 WITH SCORE 718905.951
AT ITER 286 NEW BEST:: SOT 6806316 SOS 4269412 HAS SOPS 4254577 HAS SOUS 716160 HAS SOUPS 714633 WITH SCORE 718902.412
AT ITER 288 NEW BEST:: SOT 6806268 SOS 4269364 HAS SOPS 4254481 HAS SOUS 715999 HAS SOUPS 714472 WITH SCORE 718741.364
AT ITER 292 NEW BEST:: SOT 6806001 SOS 4268737 HAS SOPS 4253854 HAS SOUS 715372 HAS SOUPS 713845 WITH SCORE 718113.737
AT ITER 304 NEW BEST:: SOT 6805703 SOS 4268437 HAS SOPS 4253673 HAS SOUS 715182 HAS SOUPS 713655 WITH SCORE 717923.437
AT ITER 305 NEW BEST:: SOT 6805654 SOS 4268388 HAS SOPS 4253624 HAS SOUS 715133 HAS SOUPS 713606 WITH SCORE 717874.388
AT ITER 307 NEW BEST:: SOT 6805202 SOS 4267991 HAS SOPS 4253227 HAS SOUS 714991 HAS SOUPS 713464 WITH SCORE 717731.991
AT ITER 314 NEW BEST:: SOT 6805181 SOS 4267949 HAS SOPS 4253185 HAS SOUS 714979 HAS SOUPS 713452 WITH SCORE 717719.949
AT ITER 328 NEW BEST:: SOT 6805118 SOS 4267584 HAS SOPS 4252820 HAS SOUS 714853 HAS SOUPS 713326 WITH SCORE 717593.584
AT ITER 330 NEW BEST:: SOT 6805162 SOS 4267672 HAS SOPS 4252908 HAS SOUS 714845 HAS SOUPS 713318 WITH SCORE 717585.672
AT ITER 331 NEW BEST:: SOT 6684928 SOS 4146022 HAS SOPS 4132674 HAS SOUS 699356 HAS SOUPS 698006 WITH SCORE 702152.022
AT ITER 335 NEW BEST:: SOT 6684888 SOS 4145942 HAS SOPS 4132594 HAS SOUS 699186 HAS SOUPS 697836 WITH SCORE 701981.942
AT ITER 344 NEW BEST:: SOT 6684864 SOS 4145918 HAS SOPS 4132546 HAS SOUS 699138 HAS SOUPS 697788 WITH SCORE 701933.918
AT ITER 351 NEW BEST:: SOT 6684844 SOS 4145898 HAS SOPS 4132506 HAS SOUS 699090 HAS SOUPS 697740 WITH SCORE 701885.898
AT ITER 367 NEW BEST:: SOT 6684628 SOS 4145692 HAS SOPS 4132300 HAS SOUS 698971 HAS SOUPS 697621 WITH SCORE 701766.692
AT ITER 376 NEW BEST:: SOT 6684837 SOS 4145901 HAS SOPS 4132509 HAS SOUS 698804 HAS SOUPS 697454 WITH SCORE 701599.901
AT ITER 384 NEW BEST:: SOT 6684830 SOS 4145752 HAS SOPS 4132360 HAS SOUS 698796 HAS SOUPS 697446 WITH SCORE 701591.752
AT ITER 390 NEW BEST:: SOT 6683710 SOS 4144525 HAS SOPS 4131133 HAS SOUS 697145 HAS SOUPS 695795 WITH SCORE 699939.525
AT ITER 391 NEW BEST:: SOT 6683464 SOS 4144519 HAS SOPS 4131127 HAS SOUS 697133 HAS SOUPS 695783 WITH SCORE 699927.519
AT ITER 392 NEW BEST:: SOT 6683785 SOS 4144857 HAS SOPS 4131465 HAS SOUS 697082 HAS SOUPS 695732 WITH SCORE 699876.857
AT ITER 411 NEW BEST:: SOT 6683749 SOS 4144821 HAS SOPS 4131393 HAS SOUS 697010 HAS SOUPS 695660 WITH SCORE 699804.821
AT ITER 412 NEW BEST:: SOT 6683731 SOS 4144785 HAS SOPS 4131357 HAS SOUS 696974 HAS SOUPS 695624 WITH SCORE 699768.785
AT ITER 415 NEW BEST:: SOT 6683731 SOS 4144755 HAS SOPS 4131327 HAS SOUS 696961 HAS SOUPS 695611 WITH SCORE 699755.755
AT ITER 419 NEW BEST:: SOT 6683729 SOS 4144753 HAS SOPS 4131325 HAS SOUS 696958 HAS SOUPS 695608 WITH SCORE 699752.753
AT ITER 420 NEW BEST:: SOT 6683693 SOS 4144717 HAS SOPS 4131253 HAS SOUS 696886 HAS SOUPS 695536 WITH SCORE 699680.717
AT ITER 422 NEW BEST:: SOT 6681964 SOS 4142736 HAS SOPS 4129272 HAS SOUS 695415 HAS SOUPS 694065 WITH SCORE 698207.736
AT ITER 427 NEW BEST:: SOT 6681362 SOS 4142125 HAS SOPS 4128661 HAS SOUS 694619 HAS SOUPS 693269 WITH SCORE 697411.125
AT ITER 428 NEW BEST:: SOT 6681331 SOS 4142063 HAS SOPS 4128599 HAS SOUS 694588 HAS SOUPS 693238 WITH SCORE 697380.063
AT ITER 429 NEW BEST:: SOT 6605185 SOS 4065917 HAS SOPS 4052453 HAS SOUS 684396 HAS SOUPS 683046 WITH SCORE 687111.917
AT ITER 438 NEW BEST:: SOT 6605181 SOS 4067494 HAS SOPS 4054030 HAS SOUS 683323 HAS SOUPS 681973 WITH SCORE 686040.494
AT ITER 443 NEW BEST:: SOT 6604911 SOS 4067284 HAS SOPS 4053820 HAS SOUS 683242 HAS SOUPS 681892 WITH SCORE 685959.284
AT ITER 448 NEW BEST:: SOT 6605256 SOS 4068569 HAS SOPS 4055105 HAS SOUS 683226 HAS SOUPS 681876 WITH SCORE 685944.569
AT ITER 451 NEW BEST:: SOT 6604979 SOS 4068224 HAS SOPS 4054853 HAS SOUS 683090 HAS SOUPS 681740 WITH SCORE 685808.224
AT ITER 462 NEW BEST:: SOT 6605125 SOS 4069470 HAS SOPS 4056099 HAS SOUS 683045 HAS SOUPS 681695 WITH SCORE 685764.47
AT ITER 465 NEW BEST:: SOT 6604983 SOS 4069361 HAS SOPS 4055990 HAS SOUS 682807 HAS SOUPS 681457 WITH SCORE 685526.361
AT ITER 476 NEW BEST:: SOT 6604929 SOS 4069280 HAS SOPS 4055909 HAS SOUS 682699 HAS SOUPS 681349 WITH SCORE 685418.28
AT ITER 478 NEW BEST:: SOT 6604884 SOS 4069235 HAS SOPS 4055819 HAS SOUS 682609 HAS SOUPS 681259 WITH SCORE 685328.235
AT ITER 481 NEW BEST:: SOT 6604872 SOS 4068962 HAS SOPS 4055546 HAS SOUS 682585 HAS SOUPS 681235 WITH SCORE 685303.962
AT ITER 486 NEW BEST:: SOT 6604673 SOS 4068792 HAS SOPS 4055376 HAS SOUS 681983 HAS SOUPS 680633 WITH SCORE 684701.792
AT ITER 489 NEW BEST:: SOT 6604379 SOS 4068496 HAS SOPS 4055194 HAS SOUS 681793 HAS SOUPS 680443 WITH SCORE 684511.496
AT ITER 515 NEW BEST:: SOT 6604372 SOS 4068489 HAS SOPS 4055180 HAS SOUS 681779 HAS SOUPS 680429 WITH SCORE 684497.489
AT ITER 516 NEW BEST:: SOT 6603951 SOS 4068169 HAS SOPS 4054860 HAS SOUS 681318 HAS SOUPS 679968 WITH SCORE 684036.169
AT ITER 520 NEW BEST:: SOT 6603967 SOS 4068185 HAS SOPS 4054876 HAS SOUS 681317 HAS SOUPS 679967 WITH SCORE 684035.185
AT ITER 522 NEW BEST:: SOT 6603130 SOS 4067502 HAS SOPS 4054193 HAS SOUS 680459 HAS SOUPS 679109 WITH SCORE 683176.502
AT ITER 523 NEW BEST:: SOT 6603111 SOS 4067464 HAS SOPS 4054155 HAS SOUS 680264 HAS SOUPS 678914 WITH SCORE 682981.464
AT ITER 525 NEW BEST:: SOT 6602955 SOS 4067308 HAS SOPS 4053999 HAS SOUS 680100 HAS SOUPS 678750 WITH SCORE 682817.308
AT ITER 530 NEW BEST:: SOT 6413724 SOS 3878077 HAS SOPS 3864768 HAS SOUS 654979 HAS SOUPS 653629 WITH SCORE 657507.077
AT ITER 539 NEW BEST:: SOT 6413304 SOS 3877869 HAS SOPS 3864560 HAS SOUS 654771 HAS SOUPS 653421 WITH SCORE 657298.869
AT ITER 546 NEW BEST:: SOT 6413201 SOS 3877726 HAS SOPS 3864417 HAS SOUS 654445 HAS SOUPS 653095 WITH SCORE 656972.726
AT ITER 552 NEW BEST:: SOT 6412497 SOS 3877226 HAS SOPS 3863917 HAS SOUS 653611 HAS SOUPS 652261 WITH SCORE 656138.226
AT ITER 568 NEW BEST:: SOT 6412489 SOS 3877210 HAS SOPS 3863901 HAS SOUS 653595 HAS SOUPS 652245 WITH SCORE 656122.21
AT ITER 581 NEW BEST:: SOT 6412203 SOS 3876832 HAS SOPS 3863523 HAS SOUS 653118 HAS SOUPS 651768 WITH SCORE 655644.832
AT ITER 583 NEW BEST:: SOT 6412194 SOS 3876438 HAS SOPS 3863129 HAS SOUS 652899 HAS SOUPS 651549 WITH SCORE 655425.438
AT ITER 594 NEW BEST:: SOT 6412194 SOS 3876426 HAS SOPS 3863117 HAS SOUS 652887 HAS SOUPS 651537 WITH SCORE 655413.426
AT ITER 604 NEW BEST:: SOT 6412151 SOS 3876383 HAS SOPS 3863031 HAS SOUS 652801 HAS SOUPS 651451 WITH SCORE 655327.383
AT ITER 618 NEW BEST:: SOT 6412149 SOS 3876381 HAS SOPS 3863029 HAS SOUS 652798 HAS SOUPS 651448 WITH SCORE 655324.381
AT ITER 619 NEW BEST:: SOT 6411939 SOS 3876215 HAS SOPS 3862863 HAS SOUS 652070 HAS SOUPS 650720 WITH SCORE 654596.215
AT ITER 620 NEW BEST:: SOT 6411879 SOS 3876107 HAS SOPS 3862755 HAS SOUS 651998 HAS SOUPS 650648 WITH SCORE 654524.107
AT ITER 621 NEW BEST:: SOT 6399455 SOS 3863675 HAS SOPS 3850323 HAS SOUS 650334 HAS SOUPS 648984 WITH SCORE 652847.675
AT ITER 634 NEW BEST:: SOT 6397868 SOS 3862259 HAS SOPS 3848907 HAS SOUS 648738 HAS SOUPS 647388 WITH SCORE 651250.259
AT ITER 641 NEW BEST:: SOT 6397825 SOS 3862216 HAS SOPS 3848821 HAS SOUS 648652 HAS SOUPS 647302 WITH SCORE 651164.216
AT ITER 645 NEW BEST:: SOT 6397601 SOS 3862002 HAS SOPS 3848607 HAS SOUS 648467 HAS SOUPS 647117 WITH SCORE 650979.002
AT ITER 646 NEW BEST:: SOT 6397340 SOS 3861526 HAS SOPS 3848217 HAS SOUS 648272 HAS SOUPS 646922 WITH SCORE 650783.526
AT ITER 647 NEW BEST:: SOT 6397250 SOS 3861376 HAS SOPS 3848067 HAS SOUS 648122 HAS SOUPS 646772 WITH SCORE 650633.376
AT ITER 654 NEW BEST:: SOT 6397238 SOS 3861364 HAS SOPS 3848043 HAS SOUS 648098 HAS SOUPS 646748 WITH SCORE 650609.364
AT ITER 656 NEW BEST:: SOT 6397218 SOS 3861344 HAS SOPS 3848023 HAS SOUS 648048 HAS SOUPS 646698 WITH SCORE 650559.344
AT ITER 660 NEW BEST:: SOT 6397210 SOS 3861334 HAS SOPS 3848013 HAS SOUS 648038 HAS SOUPS 646688 WITH SCORE 650549.334
AT ITER 661 NEW BEST:: SOT 6396750 SOS 3860874 HAS SOPS 3847553 HAS SOUS 646273 HAS SOUPS 644923 WITH SCORE 648783.874
AT ITER 662 NEW BEST:: SOT 6397219 SOS 3861527 HAS SOPS 3848206 HAS SOUS 644617 HAS SOUPS 643267 WITH SCORE 647128.527
AT ITER 663 NEW BEST:: SOT 6397102 SOS 3860943 HAS SOPS 3847622 HAS SOUS 644383 HAS SOUPS 643033 WITH SCORE 646893.943
AT ITER 670 NEW BEST:: SOT 6397093 SOS 3860925 HAS SOPS 3847604 HAS SOUS 644365 HAS SOUPS 643015 WITH SCORE 646875.925
AT ITER 680 NEW BEST:: SOT 6396169 SOS 3860061 HAS SOPS 3846740 HAS SOUS 643711 HAS SOUPS 642361 WITH SCORE 646221.061
AT ITER 709 NEW BEST:: SOT 6395958 SOS 3859850 HAS SOPS 3846529 HAS SOUS 643435 HAS SOUPS 642085 WITH SCORE 645944.85
AT ITER 711 NEW BEST:: SOT 6395920 SOS 3859812 HAS SOPS 3846491 HAS SOUS 642846 HAS SOUPS 641496 WITH SCORE 645355.812
AT ITER 714 NEW BEST:: SOT 6391624 SOS 4072007 HAS SOPS 4058686 HAS SOUS 641770 HAS SOUPS 640420 WITH SCORE 644492.007
AT ITER 720 NEW BEST:: SOT 6391478 SOS 4071813 HAS SOPS 4058492 HAS SOUS 641164 HAS SOUPS 639814 WITH SCORE 643885.813
AT ITER 721 NEW BEST:: SOT 6391359 SOS 4071408 HAS SOPS 4058087 HAS SOUS 640900 HAS SOUPS 639550 WITH SCORE 643621.408
AT ITER 731 NEW BEST:: SOT 6391389 SOS 4071508 HAS SOPS 4058187 HAS SOUS 640810 HAS SOUPS 639460 WITH SCORE 643531.508
AT ITER 735 NEW BEST:: SOT 6391389 SOS 4071508 HAS SOPS 4058187 HAS SOUS 640580 HAS SOUPS 639230 WITH SCORE 643301.508
AT ITER 748 NEW BEST:: SOT 6282869 SOS 3962988 HAS SOPS 3949667 HAS SOUS 623836 HAS SOUPS 622486 WITH SCORE 626448.988
AT ITER 751 NEW BEST:: SOT 6282549 SOS 3962684 HAS SOPS 3949363 HAS SOUS 622973 HAS SOUPS 621623 WITH SCORE 625585.684
AT ITER 753 NEW BEST:: SOT 6282541 SOS 3962676 HAS SOPS 3949347 HAS SOUS 622981 HAS SOUPS 621615 WITH SCORE 625577.676
AT ITER 763 NEW BEST:: SOT 6282541 SOS 3960734 HAS SOPS 3947405 HAS SOUS 622981 HAS SOUPS 621615 WITH SCORE 625575.734
AT ITER 781 NEW BEST:: SOT 6282349 SOS 3960155 HAS SOPS 3946826 HAS SOUS 622936 HAS SOUPS 621570 WITH SCORE 625530.155
AT ITER 790 NEW BEST:: SOT 6282317 SOS 3960123 HAS SOPS 3946794 HAS SOUS 622880 HAS SOUPS 621514 WITH SCORE 625474.123
AT ITER 794 NEW BEST:: SOT 6281497 SOS 3959139 HAS SOPS 3945810 HAS SOUS 621896 HAS SOUPS 620530 WITH SCORE 624489.139
AT ITER 795 NEW BEST:: SOT 6280731 SOS 3958640 HAS SOPS 3945311 HAS SOUS 621710 HAS SOUPS 620344 WITH SCORE 624302.64
AT ITER 797 NEW BEST:: SOT 6363003 SOS 4039426 HAS SOPS 4027593 HAS SOUS 614560 HAS SOUPS 613381 WITH SCORE 617420.426
AT ITER 802 NEW BEST:: SOT 6362763 SOS 4039186 HAS SOPS 4027353 HAS SOUS 614360 HAS SOUPS 613181 WITH SCORE 617220.186
AT ITER 803 NEW BEST:: SOT 6362769 SOS 4039032 HAS SOPS 4027199 HAS SOUS 614298 HAS SOUPS 613119 WITH SCORE 617158.032
AT ITER 807 NEW BEST:: SOT 6362831 SOS 4039158 HAS SOPS 4027325 HAS SOUS 614220 HAS SOUPS 613041 WITH SCORE 617080.158
AT ITER 808 NEW BEST:: SOT 6363081 SOS 4039408 HAS SOPS 4027575 HAS SOUS 613794 HAS SOUPS 612615 WITH SCORE 616654.408
AT ITER 820 NEW BEST:: SOT 6398939 SOS 4073992 HAS SOPS 4063615 HAS SOUS 609565 HAS SOUPS 608568 WITH SCORE 612641.992
AT ITER 821 NEW BEST:: SOT 6398956 SOS 4074017 HAS SOPS 4063640 HAS SOUS 609489 HAS SOUPS 608492 WITH SCORE 612566.017
AT ITER 823 NEW BEST:: SOT 6398984 SOS 4073800 HAS SOPS 4063423 HAS SOUS 609343 HAS SOUPS 608346 WITH SCORE 612419.8
AT ITER 827 NEW BEST:: SOT 6398764 SOS 4073595 HAS SOPS 4063221 HAS SOUS 609331 HAS SOUPS 608334 WITH SCORE 612407.595
AT ITER 842 NEW BEST:: SOT 6186332 SOS 3922715 HAS SOPS 3912341 HAS SOUS 583885 HAS SOUPS 582888 WITH SCORE 586810.715
AT ITER 845 NEW BEST:: SOT 6186335 SOS 3922718 HAS SOPS 3912408 HAS SOUS 583715 HAS SOUPS 582718 WITH SCORE 586640.718
AT ITER 847 NEW BEST:: SOT 6186116 SOS 3922514 HAS SOPS 3912204 HAS SOUS 583605 HAS SOUPS 582608 WITH SCORE 586530.514
AT ITER 855 NEW BEST:: SOT 6186216 SOS 3922614 HAS SOPS 3912256 HAS SOUS 583575 HAS SOUPS 582578 WITH SCORE 586500.614
AT ITER 857 NEW BEST:: SOT 6185709 SOS 3921946 HAS SOPS 3911588 HAS SOUS 583126 HAS SOUPS 582129 WITH SCORE 586050.946
AT ITER 859 NEW BEST:: SOT 6066237 SOS 3803290 HAS SOPS 3792932 HAS SOUS 566763 HAS SOUPS 565766 WITH SCORE 569569.29
AT ITER 865 NEW BEST:: SOT 6065822 SOS 3801839 HAS SOPS 3791481 HAS SOUS 566659 HAS SOUPS 565662 WITH SCORE 569463.839
AT ITER 867 NEW BEST:: SOT 6065822 SOS 3801767 HAS SOPS 3791409 HAS SOUS 566623 HAS SOUPS 565626 WITH SCORE 569427.767
AT ITER 869 NEW BEST:: SOT 6065806 SOS 3801751 HAS SOPS 3791393 HAS SOUS 566607 HAS SOUPS 565610 WITH SCORE 569411.751
AT ITER 871 NEW BEST:: SOT 6065658 SOS 3801603 HAS SOPS 3791245 HAS SOUS 565571 HAS SOUPS 564574 WITH SCORE 568375.603
AT ITER 877 NEW BEST:: SOT 6065616 SOS 3801561 HAS SOPS 3791203 HAS SOUS 565487 HAS SOUPS 564490 WITH SCORE 568291.561
AT ITER 884 NEW BEST:: SOT 6065331 SOS 3801312 HAS SOPS 3790954 HAS SOUS 565145 HAS SOUPS 564148 WITH SCORE 567949.312
AT ITER 889 NEW BEST:: SOT 6064983 SOS 3800775 HAS SOPS 3790549 HAS SOUS 565007 HAS SOUPS 564010 WITH SCORE 567810.775
AT ITER 892 NEW BEST:: SOT 6065111 SOS 3800967 HAS SOPS 3790741 HAS SOUS 564910 HAS SOUPS 563913 WITH SCORE 567713.967
AT ITER 904 NEW BEST:: SOT 6064896 SOS 3800895 HAS SOPS 3790669 HAS SOUS 553516 HAS SOUPS 552519 WITH SCORE 556319.895
AT ITER 908 NEW BEST:: SOT 6064954 SOS 3800936 HAS SOPS 3790550 HAS SOUS 553189 HAS SOUPS 552192 WITH SCORE 555992.936
AT ITER 914 NEW BEST:: SOT 6064954 SOS 3800928 HAS SOPS 3790542 HAS SOUS 553181 HAS SOUPS 552184 WITH SCORE 555984.928
AT ITER 937 NEW BEST:: SOT 6064851 SOS 3800825 HAS SOPS 3790439 HAS SOUS 553078 HAS SOUPS 552081 WITH SCORE 555881.825
AT ITER 942 NEW BEST:: SOT 6064762 SOS 3801227 HAS SOPS 3790856 HAS SOUS 553063 HAS SOUPS 552066 WITH SCORE 555867.227
AT ITER 951 NEW BEST:: SOT 6064723 SOS 3801149 HAS SOPS 3790817 HAS SOUS 553063 HAS SOUPS 552066 WITH SCORE 555867.149
AT ITER 953 NEW BEST:: SOT 6064656 SOS 3801082 HAS SOPS 3790750 HAS SOUS 552996 HAS SOUPS 551999 WITH SCORE 555800.082
AT ITER 960 NEW BEST:: SOT 6064698 SOS 3801124 HAS SOPS 3790744 HAS SOUS 552909 HAS SOUPS 551912 WITH SCORE 555713.124
AT ITER 973 NEW BEST:: SOT 6063865 SOS 3800442 HAS SOPS 3790062 HAS SOUS 552052 HAS SOUPS 551055 WITH SCORE 554855.442
AT ITER 977 NEW BEST:: SOT 6063865 SOS 3741552 HAS SOPS 3731172 HAS SOUS 552052 HAS SOUPS 551055 WITH SCORE 554796.552
AT ITER 986 NEW BEST:: SOT 6063293 SOS 3740980 HAS SOPS 3730600 HAS SOUS 551480 HAS SOUPS 550483 WITH SCORE 554223.98
AT ITER 988 NEW BEST:: SOT 5856901 SOS 3684786 HAS SOPS 3674406 HAS SOUS 523578 HAS SOUPS 522581 WITH SCORE 526265.786
AT ITER 991 NEW BEST:: SOT 5856901 SOS 3684690 HAS SOPS 3674310 HAS SOUS 523530 HAS SOUPS 522533 WITH SCORE 526217.69
AT ITER 996 NEW BEST:: SOT 5856758 SOS 3684689 HAS SOPS 3674309 HAS SOUS 523484 HAS SOUPS 522487 WITH SCORE 526171.689
AT ITER 999 NEW BEST:: SOT 5856745 SOS 3684582 HAS SOPS 3674298 HAS SOUS 521342 HAS SOUPS 520357 WITH SCORE 524041.582
AT ITER 1014 NEW BEST:: SOT 5856164 SOS 3684143 HAS SOPS 3673859 HAS SOUS 520763 HAS SOUPS 519778 WITH SCORE 523462.143
AT ITER 1021 NEW BEST:: SOT 5856678 SOS 3684830 HAS SOPS 3674546 HAS SOUS 520215 HAS SOUPS 519230 WITH SCORE 522914.83
AT ITER 1022 NEW BEST:: SOT 5856618 SOS 3684762 HAS SOPS 3674478 HAS SOUS 520147 HAS SOUPS 519162 WITH SCORE 522846.762
AT ITER 1030 NEW BEST:: SOT 5856618 SOS 3684462 HAS SOPS 3674178 HAS SOUS 520085 HAS SOUPS 519100 WITH SCORE 522784.462
AT ITER 1056 NEW BEST:: SOT 5856565 SOS 3684465 HAS SOPS 3674181 HAS SOUS 519322 HAS SOUPS 518337 WITH SCORE 522021.465
AT ITER 1070 NEW BEST:: SOT 5856602 SOS 3684588 HAS SOPS 3674304 HAS SOUS 518966 HAS SOUPS 517981 WITH SCORE 521665.588
AT ITER 1094 NEW BEST:: SOT 5856856 SOS 3684589 HAS SOPS 3674144 HAS SOUS 518927 HAS SOUPS 517942 WITH SCORE 521626.589
AT ITER 1100 NEW BEST:: SOT 5857271 SOS 3685207 HAS SOPS 3674904 HAS SOUS 518424 HAS SOUPS 517439 WITH SCORE 521124.207
AT ITER 1116 NEW BEST:: SOT 5857343 SOS 3685771 HAS SOPS 3675468 HAS SOUS 518328 HAS SOUPS 517343 WITH SCORE 521028.771
AT ITER 1125 NEW BEST:: SOT 5857282 SOS 3685748 HAS SOPS 3675445 HAS SOUS 517137 HAS SOUPS 516152 WITH SCORE 519837.748
AT ITER 1148 NEW BEST:: SOT 5857282 SOS 3685723 HAS SOPS 3675420 HAS SOUS 517065 HAS SOUPS 516080 WITH SCORE 519765.723
AT ITER 1150 NEW BEST:: SOT 5857334 SOS 3685723 HAS SOPS 3675420 HAS SOUS 516701 HAS SOUPS 515716 WITH SCORE 519401.723
AT ITER 1158 NEW BEST:: SOT 5857334 SOS 3685552 HAS SOPS 3675249 HAS SOUS 516669 HAS SOUPS 515684 WITH SCORE 519369.552
AT ITER 1165 NEW BEST:: SOT 5857334 SOS 3685591 HAS SOPS 3675288 HAS SOUS 515960 HAS SOUPS 514975 WITH SCORE 518660.591
AT ITER 1176 NEW BEST:: SOT 5856997 SOS 3685358 HAS SOPS 3675055 HAS SOUS 515025 HAS SOUPS 514040 WITH SCORE 517725.358
AT ITER 1191 NEW BEST:: SOT 5856819 SOS 3685136 HAS SOPS 3674833 HAS SOUS 514803 HAS SOUPS 513818 WITH SCORE 517503.136
AT ITER 1217 NEW BEST:: SOT 5856791 SOS 3685091 HAS SOPS 3674788 HAS SOUS 514474 HAS SOUPS 513489 WITH SCORE 517174.091
AT ITER 1221 NEW BEST:: SOT 5856231 SOS 3684187 HAS SOPS 3673884 HAS SOUS 514004 HAS SOUPS 513019 WITH SCORE 516703.187
AT ITER 1232 NEW BEST:: SOT 5856073 SOS 3684198 HAS SOPS 3673895 HAS SOUS 508256 HAS SOUPS 507271 WITH SCORE 510955.198
AT ITER 1235 NEW BEST:: SOT 5856131 SOS 3684169 HAS SOPS 3673866 HAS SOUS 507979 HAS SOUPS 506994 WITH SCORE 510678.169
AT ITER 1241 NEW BEST:: SOT 5856429 SOS 3684602 HAS SOPS 3674299 HAS SOUS 507975 HAS SOUPS 506990 WITH SCORE 510674.602
AT ITER 1243 NEW BEST:: SOT 5856475 SOS 3684508 HAS SOPS 3674205 HAS SOUS 507965 HAS SOUPS 506980 WITH SCORE 510664.508
AT ITER 1244 NEW BEST:: SOT 5883725 SOS 3711758 HAS SOPS 3701455 HAS SOUS 504547 HAS SOUPS 503562 WITH SCORE 507273.758
AT ITER 1248 NEW BEST:: SOT 5883650 SOS 3711670 HAS SOPS 3701367 HAS SOUS 504459 HAS SOUPS 503474 WITH SCORE 507185.67
AT ITER 1261 NEW BEST:: SOT 5883533 SOS 3658033 HAS SOPS 3647730 HAS SOUS 504265 HAS SOUPS 503280 WITH SCORE 506938.033
AT ITER 1266 NEW BEST:: SOT 5938143 SOS 3711327 HAS SOPS 3702528 HAS SOUS 503496 HAS SOUPS 502699 WITH SCORE 506410.327
AT ITER 1277 NEW BEST:: SOT 5836826 SOS 3686433 HAS SOPS 3677634 HAS SOUS 496474 HAS SOUPS 495677 WITH SCORE 499363.433
AT ITER 1289 NEW BEST:: SOT 5836976 SOS 3686583 HAS SOPS 3677844 HAS SOUS 496439 HAS SOUPS 495642 WITH SCORE 499328.583
AT ITER 1300 NEW BEST:: SOT 5836976 SOS 3686570 HAS SOPS 3677831 HAS SOUS 496413 HAS SOUPS 495616 WITH SCORE 499302.57
AT ITER 1302 NEW BEST:: SOT 5836895 SOS 3686489 HAS SOPS 3677750 HAS SOUS 496332 HAS SOUPS 495535 WITH SCORE 499221.489
AT ITER 1306 NEW BEST:: SOT 5836594 SOS 3686188 HAS SOPS 3677449 HAS SOUS 496031 HAS SOUPS 495234 WITH SCORE 498920.188
AT ITER 1313 NEW BEST:: SOT 5836695 SOS 3686289 HAS SOPS 3677576 HAS SOUS 495942 HAS SOUPS 495145 WITH SCORE 498831.289
AT ITER 1317 NEW BEST:: SOT 5836430 SOS 3685688 HAS SOPS 3676975 HAS SOUS 495758 HAS SOUPS 494961 WITH SCORE 498646.688
AT ITER 1322 NEW BEST:: SOT 5836496 SOS 3685808 HAS SOPS 3677120 HAS SOUS 494629 HAS SOUPS 493832 WITH SCORE 497517.808
AT ITER 1326 NEW BEST:: SOT 5836523 SOS 3685835 HAS SOPS 3677147 HAS SOUS 494552 HAS SOUPS 493755 WITH SCORE 497440.835
AT ITER 1332 NEW BEST:: SOT 5836071 SOS 3685543 HAS SOPS 3676855 HAS SOUS 494253 HAS SOUPS 493456 WITH SCORE 497141.543
AT ITER 1334 NEW BEST:: SOT 5836027 SOS 3685499 HAS SOPS 3676811 HAS SOUS 494203 HAS SOUPS 493406 WITH SCORE 497091.499
AT ITER 1355 NEW BEST:: SOT 5834087 SOS 3683724 HAS SOPS 3675036 HAS SOUS 492535 HAS SOUPS 491738 WITH SCORE 495421.724
AT ITER 1364 NEW BEST:: SOT 5834055 SOS 3683671 HAS SOPS 3674983 HAS SOUS 492492 HAS SOUPS 491695 WITH SCORE 495378.671
AT ITER 1398 NEW BEST:: SOT 5833742 SOS 3683160 HAS SOPS 3674472 HAS SOUS 492073 HAS SOUPS 491276 WITH SCORE 494959.16
AT ITER 1404 NEW BEST:: SOT 5833476 SOS 3682952 HAS SOPS 3674264 HAS SOUS 491773 HAS SOUPS 490976 WITH SCORE 494658.952
AT ITER 1416 NEW BEST:: SOT 5833411 SOS 3682922 HAS SOPS 3674234 HAS SOUS 491748 HAS SOUPS 490951 WITH SCORE 494633.922
AT ITER 1419 NEW BEST:: SOT 5833393 SOS 3682904 HAS SOPS 3674216 HAS SOUS 491712 HAS SOUPS 490915 WITH SCORE 494597.904
AT ITER 1438 NEW BEST:: SOT 5833383 SOS 3684766 HAS SOPS 3676088 HAS SOUS 490695 HAS SOUPS 489898 WITH SCORE 493582.766
AT ITER 1443 NEW BEST:: SOT 5833420 SOS 3684803 HAS SOPS 3676099 HAS SOUS 490580 HAS SOUPS 489783 WITH SCORE 493467.803
AT ITER 1446 NEW BEST:: SOT 5833391 SOS 3684774 HAS SOPS 3676041 HAS SOUS 490522 HAS SOUPS 489725 WITH SCORE 493409.774
AT ITER 1455 NEW BEST:: SOT 5833606 SOS 3684924 HAS SOPS 3676095 HAS SOUS 490309 HAS SOUPS 489512 WITH SCORE 493196.924
AT ITER 1459 NEW BEST:: SOT 5833361 SOS 3684679 HAS SOPS 3675850 HAS SOUS 490137 HAS SOUPS 489340 WITH SCORE 493024.679
AT ITER 1464 NEW BEST:: SOT 5833357 SOS 3684583 HAS SOPS 3675754 HAS SOUS 490031 HAS SOUPS 489234 WITH SCORE 492918.583
AT ITER 1466 NEW BEST:: SOT 5833154 SOS 3684393 HAS SOPS 3675564 HAS SOUS 489945 HAS SOUPS 489148 WITH SCORE 492832.393
AT ITER 1467 NEW BEST:: SOT 5833154 SOS 3684360 HAS SOPS 3675531 HAS SOUS 489934 HAS SOUPS 489137 WITH SCORE 492821.36
AT ITER 1481 NEW BEST:: SOT 5832695 SOS 3683853 HAS SOPS 3675024 HAS SOUS 489152 HAS SOUPS 488355 WITH SCORE 492038.853
AT ITER 1482 NEW BEST:: SOT 5832723 SOS 3684305 HAS SOPS 3675476 HAS SOUS 484212 HAS SOUPS 483415 WITH SCORE 487099.305
AT ITER 1492 NEW BEST:: SOT 5832556 SOS 3684015 HAS SOPS 3675297 HAS SOUS 484161 HAS SOUPS 483364 WITH SCORE 487048.015
AT ITER 1498 NEW BEST:: SOT 5831958 SOS 3683597 HAS SOPS 3674879 HAS SOUS 483577 HAS SOUPS 482780 WITH SCORE 486463.597
AT ITER 1525 NEW BEST:: SOT 5714622 SOS 3566182 HAS SOPS 3557464 HAS SOUS 467145 HAS SOUPS 466348 WITH SCORE 469914.182
AT ITER 1531 NEW BEST:: SOT 5714265 SOS 3565572 HAS SOPS 3556854 HAS SOUS 467011 HAS SOUPS 466214 WITH SCORE 469779.572
AT ITER 1532 NEW BEST:: SOT 5714181 SOS 3565488 HAS SOPS 3556770 HAS SOUS 466903 HAS SOUPS 466106 WITH SCORE 469671.488
AT ITER 1543 NEW BEST:: SOT 5714176 SOS 3565466 HAS SOPS 3556748 HAS SOUS 466902 HAS SOUPS 466105 WITH SCORE 469670.466
AT ITER 1551 NEW BEST:: SOT 5714136 SOS 3565434 HAS SOPS 3556716 HAS SOUS 466822 HAS SOUPS 466025 WITH SCORE 469590.434
AT ITER 1555 NEW BEST:: SOT 5714134 SOS 3565432 HAS SOPS 3556714 HAS SOUS 466820 HAS SOUPS 466023 WITH SCORE 469588.432
AT ITER 1558 NEW BEST:: SOT 5714356 SOS 3565793 HAS SOPS 3556953 HAS SOUS 466799 HAS SOUPS 466002 WITH SCORE 469567.793
AT ITER 1570 NEW BEST:: SOT 5714345 SOS 3565760 HAS SOPS 3556920 HAS SOUS 466766 HAS SOUPS 465969 WITH SCORE 469534.76
AT ITER 1575 NEW BEST:: SOT 5713957 SOS 3565372 HAS SOPS 3556532 HAS SOUS 464923 HAS SOUPS 464126 WITH SCORE 467691.372
AT ITER 1576 NEW BEST:: SOT 5714278 SOS 3565634 HAS SOPS 3556794 HAS SOUS 464798 HAS SOUPS 464001 WITH SCORE 467566.634
AT ITER 1578 NEW BEST:: SOT 5714194 SOS 3565444 HAS SOPS 3556601 HAS SOUS 464630 HAS SOUPS 463833 WITH SCORE 467398.444
AT ITER 1587 NEW BEST:: SOT 5693940 SOS 3545138 HAS SOPS 3536295 HAS SOUS 462264 HAS SOUPS 461467 WITH SCORE 465012.138
AT ITER 1591 NEW BEST:: SOT 5644213 SOS 3495379 HAS SOPS 3486536 HAS SOUS 455514 HAS SOUPS 454717 WITH SCORE 458212.379
AT ITER 1595 NEW BEST:: SOT 5643997 SOS 3495091 HAS SOPS 3486248 HAS SOUS 455370 HAS SOUPS 454573 WITH SCORE 458068.091
AT ITER 1617 NEW BEST:: SOT 5643748 SOS 3494842 HAS SOPS 3485999 HAS SOUS 454872 HAS SOUPS 454075 WITH SCORE 457569.842
AT ITER 1622 NEW BEST:: SOT 5644512 SOS 3495520 HAS SOPS 3486677 HAS SOUS 454842 HAS SOUPS 454045 WITH SCORE 457540.52
AT ITER 1629 NEW BEST:: SOT 5643223 SOS 3494366 HAS SOPS 3485523 HAS SOUS 454102 HAS SOUPS 453305 WITH SCORE 456799.366
AT ITER 1633 NEW BEST:: SOT 5642251 SOS 3493410 HAS SOPS 3484551 HAS SOUS 454097 HAS SOUPS 453298 WITH SCORE 456791.41
AT ITER 1638 NEW BEST:: SOT 5642251 SOS 3493355 HAS SOPS 3484496 HAS SOUS 454086 HAS SOUPS 453287 WITH SCORE 456780.355
AT ITER 1640 NEW BEST:: SOT 5642185 SOS 3493331 HAS SOPS 3484472 HAS SOUS 454083 HAS SOUPS 453284 WITH SCORE 456777.331
AT ITER 1647 NEW BEST:: SOT 5642145 SOS 3493291 HAS SOPS 3484400 HAS SOUS 454067 HAS SOUPS 453268 WITH SCORE 456761.291
AT ITER 1651 NEW BEST:: SOT 5642003 SOS 3493149 HAS SOPS 3484258 HAS SOUS 453902 HAS SOUPS 453103 WITH SCORE 456596.149
AT ITER 1654 NEW BEST:: SOT 5641893 SOS 3492995 HAS SOPS 3484104 HAS SOUS 453792 HAS SOUPS 452993 WITH SCORE 456485.995
AT ITER 1660 NEW BEST:: SOT 5641648 SOS 3492617 HAS SOPS 3483726 HAS SOUS 453524 HAS SOUPS 452725 WITH SCORE 456217.617
AT ITER 1661 NEW BEST:: SOT 5662843 SOS 3514286 HAS SOPS 3505395 HAS SOUS 449888 HAS SOUPS 449089 WITH SCORE 452603.286
AT ITER 1688 NEW BEST:: SOT 5662810 SOS 3514253 HAS SOPS 3505362 HAS SOUS 449830 HAS SOUPS 449031 WITH SCORE 452545.253
AT ITER 1698 NEW BEST:: SOT 5662807 SOS 3514250 HAS SOPS 3505359 HAS SOUS 449824 HAS SOUPS 449025 WITH SCORE 452539.25
AT ITER 1710 NEW BEST:: SOT 5662792 SOS 3514220 HAS SOPS 3505329 HAS SOUS 449794 HAS SOUPS 448995 WITH SCORE 452509.22
AT ITER 1729 NEW BEST:: SOT 5662826 SOS 3514262 HAS SOPS 3505371 HAS SOUS 449701 HAS SOUPS 448902 WITH SCORE 452416.262
AT ITER 1744 NEW BEST:: SOT 5662782 SOS 3514218 HAS SOPS 3505327 HAS SOUS 449590 HAS SOUPS 448791 WITH SCORE 452305.218
AT ITER 1746 NEW BEST:: SOT 5662695 SOS 3514149 HAS SOPS 3505258 HAS SOUS 449416 HAS SOUPS 448617 WITH SCORE 452131.149
AT ITER 1764 NEW BEST:: SOT 5662695 SOS 3514141 HAS SOPS 3505250 HAS SOUS 449398 HAS SOUPS 448599 WITH SCORE 452113.141
AT ITER 1775 NEW BEST:: SOT 5662333 SOS 3513740 HAS SOPS 3504849 HAS SOUS 449103 HAS SOUPS 448304 WITH SCORE 451817.74
AT ITER 1779 NEW BEST:: SOT 5662247 SOS 3514045 HAS SOPS 3505152 HAS SOUS 449076 HAS SOUPS 448265 WITH SCORE 451779.045
AT ITER 1781 NEW BEST:: SOT 5662112 SOS 3513771 HAS SOPS 3504878 HAS SOUS 448802 HAS SOUPS 447991 WITH SCORE 451504.771
AT ITER 1788 NEW BEST:: SOT 5662094 SOS 3513762 HAS SOPS 3504869 HAS SOUS 448388 HAS SOUPS 447577 WITH SCORE 451090.762
AT ITER 1803 NEW BEST:: SOT 5662215 SOS 3513883 HAS SOPS 3504985 HAS SOUS 448361 HAS SOUPS 447550 WITH SCORE 451063.883
AT ITER 1804 NEW BEST:: SOT 5662224 SOS 3513882 HAS SOPS 3504984 HAS SOUS 448339 HAS SOUPS 447528 WITH SCORE 451041.882
AT ITER 1818 NEW BEST:: SOT 5661571 SOS 3513203 HAS SOPS 3504305 HAS SOUS 447412 HAS SOUPS 446601 WITH SCORE 450114.203
AT ITER 1822 NEW BEST:: SOT 5679994 SOS 3532268 HAS SOPS 3523370 HAS SOUS 440057 HAS SOUPS 439246 WITH SCORE 442778.268
AT ITER 1836 NEW BEST:: SOT 5679937 SOS 3531908 HAS SOPS 3523010 HAS SOUS 439943 HAS SOUPS 439132 WITH SCORE 442663.908
AT ITER 1838 NEW BEST:: SOT 5679918 SOS 3531900 HAS SOPS 3523002 HAS SOUS 439728 HAS SOUPS 438917 WITH SCORE 442448.9
AT ITER 1839 NEW BEST:: SOT 5679402 SOS 3530208 HAS SOPS 3521310 HAS SOUS 439251 HAS SOUPS 438440 WITH SCORE 441970.208
AT ITER 1851 NEW BEST:: SOT 5679247 SOS 3529574 HAS SOPS 3520740 HAS SOUS 439120 HAS SOUPS 438309 WITH SCORE 441838.574
AT ITER 1859 NEW BEST:: SOT 5697040 SOS 3547702 HAS SOPS 3538868 HAS SOUS 438234 HAS SOUPS 437423 WITH SCORE 440970.702
AT ITER 1865 NEW BEST:: SOT 5696831 SOS 3547400 HAS SOPS 3538740 HAS SOUS 438179 HAS SOUPS 437368 WITH SCORE 440915.4
AT ITER 1874 NEW BEST:: SOT 5696699 SOS 3547129 HAS SOPS 3538469 HAS SOUS 438032 HAS SOUPS 437221 WITH SCORE 440768.129
AT ITER 1878 NEW BEST:: SOT 5696084 SOS 3546514 HAS SOPS 3537854 HAS SOUS 437354 HAS SOUPS 436543 WITH SCORE 440089.514
AT ITER 1884 NEW BEST:: SOT 5696211 SOS 3546641 HAS SOPS 3537884 HAS SOUS 437340 HAS SOUPS 436517 WITH SCORE 440063.641
AT ITER 1886 NEW BEST:: SOT 5696301 SOS 3546789 HAS SOPS 3538032 HAS SOUS 436305 HAS SOUPS 435482 WITH SCORE 439028.789
AT ITER 1887 NEW BEST:: SOT 5696907 SOS 3547624 HAS SOPS 3538867 HAS SOUS 429380 HAS SOUPS 428557 WITH SCORE 432104.624
AT ITER 1889 NEW BEST:: SOT 5696838 SOS 3547424 HAS SOPS 3538667 HAS SOUS 429372 HAS SOUPS 428549 WITH SCORE 432096.424
AT ITER 1895 NEW BEST:: SOT 5696836 SOS 3547422 HAS SOPS 3538663 HAS SOUS 429368 HAS SOUPS 428545 WITH SCORE 432092.422
AT ITER 1918 NEW BEST:: SOT 5696836 SOS 3547415 HAS SOPS 3538656 HAS SOUS 429352 HAS SOUPS 428529 WITH SCORE 432076.415
AT ITER 1920 NEW BEST:: SOT 5696736 SOS 3547340 HAS SOPS 3538581 HAS SOUS 429277 HAS SOUPS 428454 WITH SCORE 432001.34
AT ITER 1921 NEW BEST:: SOT 5696690 SOS 3547272 HAS SOPS 3538513 HAS SOUS 429185 HAS SOUPS 428362 WITH SCORE 431909.272
AT ITER 1924 NEW BEST:: SOT 5696788 SOS 3547680 HAS SOPS 3538921 HAS SOUS 428932 HAS SOUPS 428109 WITH SCORE 431656.68
AT ITER 1932 NEW BEST:: SOT 5696753 SOS 3547645 HAS SOPS 3538921 HAS SOUS 428890 HAS SOUPS 428067 WITH SCORE 431614.645
AT ITER 1934 NEW BEST:: SOT 5696722 SOS 3547614 HAS SOPS 3538919 HAS SOUS 428828 HAS SOUPS 428005 WITH SCORE 431552.614
AT ITER 1939 NEW BEST:: SOT 5691975 SOS 3549207 HAS SOPS 3538541 HAS SOUS 424616 HAS SOUPS 423436 WITH SCORE 426985.207
AT ITER 1946 NEW BEST:: SOT 5691963 SOS 3549195 HAS SOPS 3538517 HAS SOUS 424592 HAS SOUPS 423412 WITH SCORE 426961.195
AT ITER 1962 NEW BEST:: SOT 5700481 SOS 3556782 HAS SOPS 3547168 HAS SOUS 411677 HAS SOUPS 410630 WITH SCORE 414186.782
AT ITER 1965 NEW BEST:: SOT 5700409 SOS 3556548 HAS SOPS 3546934 HAS SOUS 411587 HAS SOUPS 410540 WITH SCORE 414096.548
AT ITER 1994 NEW BEST:: SOT 5700364 SOS 3556503 HAS SOPS 3546889 HAS SOUS 409359 HAS SOUPS 408312 WITH SCORE 411868.503
AT ITER 1999 NEW BEST:: SOT 5700318 SOS 3556457 HAS SOPS 3546838 HAS SOUS 409267 HAS SOUPS 408220 WITH SCORE 411776.457
AT ITER 2010 NEW BEST:: SOT 5700229 SOS 3556368 HAS SOPS 3546749 HAS SOUS 409061 HAS SOUPS 408014 WITH SCORE 411570.368
AT ITER 2016 NEW BEST:: SOT 5700087 SOS 3556226 HAS SOPS 3546607 HAS SOUS 408905 HAS SOUPS 407858 WITH SCORE 411414.226
AT ITER 2018 NEW BEST:: SOT 5699627 SOS 3555762 HAS SOPS 3546143 HAS SOUS 408441 HAS SOUPS 407394 WITH SCORE 410949.762
AT ITER 2038 NEW BEST:: SOT 5699591 SOS 3555968 HAS SOPS 3546349 HAS SOUS 408072 HAS SOUPS 407025 WITH SCORE 410580.968
AT ITER 2041 NEW BEST:: SOT 5699465 SOS 3555733 HAS SOPS 3546114 HAS SOUS 406454 HAS SOUPS 405407 WITH SCORE 408962.733
AT ITER 2049 NEW BEST:: SOT 5699465 SOS 3555727 HAS SOPS 3546108 HAS SOUS 406406 HAS SOUPS 405359 WITH SCORE 408914.727
AT ITER 2050 NEW BEST:: SOT 5699706 SOS 3555732 HAS SOPS 3545971 HAS SOUS 406281 HAS SOUPS 405234 WITH SCORE 408789.732
AT ITER 2063 NEW BEST:: SOT 5699546 SOS 3557092 HAS SOPS 3547251 HAS SOUS 406241 HAS SOUPS 405194 WITH SCORE 408751.092
AT ITER 2065 NEW BEST:: SOT 5699118 SOS 3557396 HAS SOPS 3547467 HAS SOUS 406019 HAS SOUPS 404972 WITH SCORE 408529.396
AT ITER 2068 NEW BEST:: SOT 5698889 SOS 3557179 HAS SOPS 3547250 HAS SOUS 405817 HAS SOUPS 404770 WITH SCORE 408327.179
AT ITER 2072 NEW BEST:: SOT 5681118 SOS 3539408 HAS SOPS 3529479 HAS SOUS 403582 HAS SOUPS 402535 WITH SCORE 406074.408
AT ITER 2083 NEW BEST:: SOT 5681224 SOS 3539535 HAS SOPS 3529606 HAS SOUS 403572 HAS SOUPS 402525 WITH SCORE 406064.535
AT ITER 2089 NEW BEST:: SOT 5747526 SOS 3606264 HAS SOPS 3596335 HAS SOUS 403402 HAS SOUPS 402355 WITH SCORE 405961.264
AT ITER 2128 NEW BEST:: SOT 5747194 SOS 3606095 HAS SOPS 3596166 HAS SOUS 402987 HAS SOUPS 401940 WITH SCORE 405546.095
AT ITER 2133 NEW BEST:: SOT 5747276 SOS 3606525 HAS SOPS 3596596 HAS SOUS 397504 HAS SOUPS 396457 WITH SCORE 400063.525
AT ITER 2138 NEW BEST:: SOT 5747276 SOS 3604157 HAS SOPS 3594228 HAS SOUS 397456 HAS SOUPS 396409 WITH SCORE 400013.157
AT ITER 2142 NEW BEST:: SOT 5747708 SOS 3604589 HAS SOPS 3594660 HAS SOUS 392412 HAS SOUPS 391365 WITH SCORE 394969.589
AT ITER 2143 NEW BEST:: SOT 5747750 SOS 3604507 HAS SOPS 3594625 HAS SOUS 392361 HAS SOUPS 391314 WITH SCORE 394918.507
AT ITER 2163 NEW BEST:: SOT 5747750 SOS 3602233 HAS SOPS 3592351 HAS SOUS 392297 HAS SOUPS 391250 WITH SCORE 394852.233
AT ITER 2164 NEW BEST:: SOT 5747193 SOS 3601817 HAS SOPS 3591935 HAS SOUS 391428 HAS SOUPS 390381 WITH SCORE 393982.817
AT ITER 2194 NEW BEST:: SOT 5788021 SOS 3642902 HAS SOPS 3633020 HAS SOUS 389117 HAS SOUPS 388070 WITH SCORE 391712.902
AT ITER 2235 NEW BEST:: SOT 5787959 SOS 3642840 HAS SOPS 3632952 HAS SOUS 388999 HAS SOUPS 387952 WITH SCORE 391594.84
AT ITER 2242 NEW BEST:: SOT 5787896 SOS 3642777 HAS SOPS 3632798 HAS SOUS 388764 HAS SOUPS 387704 WITH SCORE 391346.777
AT ITER 2253 NEW BEST:: SOT 5787812 SOS 3642665 HAS SOPS 3632686 HAS SOUS 388624 HAS SOUPS 387564 WITH SCORE 391206.665
AT ITER 2274 NEW BEST:: SOT 5787800 SOS 3642647 HAS SOPS 3632668 HAS SOUS 388606 HAS SOUPS 387546 WITH SCORE 391188.647
AT ITER 2280 NEW BEST:: SOT 5787807 SOS 3642629 HAS SOPS 3632650 HAS SOUS 388590 HAS SOUPS 387530 WITH SCORE 391172.629
AT ITER 2288 NEW BEST:: SOT 5787423 SOS 3642245 HAS SOPS 3632266 HAS SOUS 388143 HAS SOUPS 387083 WITH SCORE 390725.245
AT ITER 2291 NEW BEST:: SOT 5787372 SOS 3642177 HAS SOPS 3632198 HAS SOUS 387990 HAS SOUPS 386930 WITH SCORE 390572.177
AT ITER 2325 NEW BEST:: SOT 5786474 SOS 3641191 HAS SOPS 3631212 HAS SOUS 387584 HAS SOUPS 386524 WITH SCORE 390165.191
AT ITER 2343 NEW BEST:: SOT 5786416 SOS 3641221 HAS SOPS 3631267 HAS SOUS 387551 HAS SOUPS 386491 WITH SCORE 390132.221
AT ITER 2344 NEW BEST:: SOT 5786220 SOS 3641025 HAS SOPS 3631071 HAS SOUS 387260 HAS SOUPS 386200 WITH SCORE 389841.025
AT ITER 2349 NEW BEST:: SOT 5786043 SOS 3640514 HAS SOPS 3630560 HAS SOUS 387168 HAS SOUPS 386108 WITH SCORE 389748.514
AT ITER 2355 NEW BEST:: SOT 5785863 SOS 3640327 HAS SOPS 3630373 HAS SOUS 387088 HAS SOUPS 386028 WITH SCORE 389668.327
AT ITER 2357 NEW BEST:: SOT 5785283 SOS 3639747 HAS SOPS 3629793 HAS SOUS 386512 HAS SOUPS 385452 WITH SCORE 389091.747
AT ITER 2360 NEW BEST:: SOT 5784293 SOS 3638498 HAS SOPS 3628544 HAS SOUS 385821 HAS SOUPS 384761 WITH SCORE 388399.498
AT ITER 2361 NEW BEST:: SOT 5743569 SOS 3596134 HAS SOPS 3586180 HAS SOUS 384260 HAS SOUPS 383200 WITH SCORE 386796.134
AT ITER 2371 NEW BEST:: SOT 5743473 SOS 3595763 HAS SOPS 3585809 HAS SOUS 384068 HAS SOUPS 383008 WITH SCORE 386603.763
AT ITER 2386 NEW BEST:: SOT 5744922 SOS 3597297 HAS SOPS 3587343 HAS SOUS 383991 HAS SOUPS 382931 WITH SCORE 386528.297
AT ITER 2387 NEW BEST:: SOT 5745879 SOS 3598589 HAS SOPS 3588635 HAS SOUS 381646 HAS SOUPS 380586 WITH SCORE 384184.589
AT ITER 2388 NEW BEST:: SOT 5745864 SOS 3598574 HAS SOPS 3588620 HAS SOUS 381626 HAS SOUPS 380566 WITH SCORE 384164.574
AT ITER 2390 NEW BEST:: SOT 5745424 SOS 3598094 HAS SOPS 3588140 HAS SOUS 381242 HAS SOUPS 380182 WITH SCORE 383780.094
AT ITER 2392 NEW BEST:: SOT 5690828 SOS 3543498 HAS SOPS 3533544 HAS SOUS 379194 HAS SOUPS 378134 WITH SCORE 381677.498
AT ITER 2400 NEW BEST:: SOT 5690871 SOS 3618469 HAS SOPS 3608515 HAS SOUS 379056 HAS SOUPS 377996 WITH SCORE 381614.469
AT ITER 2405 NEW BEST:: SOT 5690628 SOS 3618395 HAS SOPS 3608441 HAS SOUS 378871 HAS SOUPS 377811 WITH SCORE 381429.395
AT ITER 2421 NEW BEST:: SOT 5690621 SOS 3618388 HAS SOPS 3608427 HAS SOUS 378863 HAS SOUPS 377803 WITH SCORE 381421.388
AT ITER 2424 NEW BEST:: SOT 5690631 SOS 3618398 HAS SOPS 3608437 HAS SOUS 378124 HAS SOUPS 377064 WITH SCORE 380682.398
AT ITER 2433 NEW BEST:: SOT 5690585 SOS 3618387 HAS SOPS 3608426 HAS SOUS 378078 HAS SOUPS 377018 WITH SCORE 380636.387
AT ITER 2435 NEW BEST:: SOT 5690567 SOS 3618333 HAS SOPS 3608372 HAS SOUS 378063 HAS SOUPS 377003 WITH SCORE 380621.333
AT ITER 2445 NEW BEST:: SOT 5690544 SOS 3618126 HAS SOPS 3608165 HAS SOUS 378017 HAS SOUPS 376957 WITH SCORE 380575.126
AT ITER 2449 NEW BEST:: SOT 5690520 SOS 3618102 HAS SOPS 3608055 HAS SOUS 377877 HAS SOUPS 376789 WITH SCORE 380407.102
AT ITER 2471 NEW BEST:: SOT 5690406 SOS 3617697 HAS SOPS 3607650 HAS SOUS 377622 HAS SOUPS 376534 WITH SCORE 380151.697
AT ITER 2477 NEW BEST:: SOT 5690174 SOS 3617503 HAS SOPS 3607459 HAS SOUS 377473 HAS SOUPS 376385 WITH SCORE 380002.503
AT ITER 2482 NEW BEST:: SOT 5690138 SOS 3617467 HAS SOPS 3607428 HAS SOUS 377449 HAS SOUPS 376361 WITH SCORE 379978.467
AT ITER 2487 NEW BEST:: SOT 5690165 SOS 3617494 HAS SOPS 3607360 HAS SOUS 377235 HAS SOUPS 376147 WITH SCORE 379764.494
AT ITER 2488 NEW BEST:: SOT 5690006 SOS 3617335 HAS SOPS 3607201 HAS SOUS 376917 HAS SOUPS 375829 WITH SCORE 379446.335
AT ITER 2491 NEW BEST:: SOT 5689682 SOS 3617011 HAS SOPS 3606877 HAS SOUS 376854 HAS SOUPS 375766 WITH SCORE 379383.011
AT ITER 2497 NEW BEST:: SOT 5689665 SOS 3617011 HAS SOPS 3606877 HAS SOUS 376781 HAS SOUPS 375693 WITH SCORE 379310.011
AT ITER 2499 NEW BEST:: SOT 5688552 SOS 3620121 HAS SOPS 3609987 HAS SOUS 375512 HAS SOUPS 374424 WITH SCORE 378044.121
AT ITER 2529 NEW BEST:: SOT 5688506 SOS 3620075 HAS SOPS 3609941 HAS SOUS 375398 HAS SOUPS 374310 WITH SCORE 377930.075
AT ITER 2547 NEW BEST:: SOT 5688468 SOS 3619961 HAS SOPS 3609827 HAS SOUS 375398 HAS SOUPS 374310 WITH SCORE 377929.961
AT ITER 2561 NEW BEST:: SOT 5688372 SOS 3619865 HAS SOPS 3609694 HAS SOUS 375112 HAS SOUPS 374024 WITH SCORE 377643.865
AT ITER 2572 NEW BEST:: SOT 5688361 SOS 3619843 HAS SOPS 3609672 HAS SOUS 375090 HAS SOUPS 374002 WITH SCORE 377621.843
AT ITER 2576 NEW BEST:: SOT 5688328 SOS 3619810 HAS SOPS 3609639 HAS SOUS 375024 HAS SOUPS 373936 WITH SCORE 377555.81
AT ITER 2579 NEW BEST:: SOT 5688500 SOS 3620083 HAS SOPS 3609912 HAS SOUS 372590 HAS SOUPS 371502 WITH SCORE 375122.083
AT ITER 2590 NEW BEST:: SOT 5688336 SOS 3619837 HAS SOPS 3609666 HAS SOUS 372344 HAS SOUPS 371256 WITH SCORE 374875.837
AT ITER 2597 NEW BEST:: SOT 5688322 SOS 3619823 HAS SOPS 3609652 HAS SOUS 372316 HAS SOUPS 371228 WITH SCORE 374847.823
AT ITER 2621 NEW BEST:: SOT 5688228 SOS 3619729 HAS SOPS 3609558 HAS SOUS 372088 HAS SOUPS 371000 WITH SCORE 374619.729
AT ITER 2646 NEW BEST:: SOT 5688045 SOS 3619546 HAS SOPS 3609375 HAS SOUS 371905 HAS SOUPS 370817 WITH SCORE 374436.546
AT ITER 2660 NEW BEST:: SOT 5687899 SOS 3619421 HAS SOPS 3609250 HAS SOUS 371856 HAS SOUPS 370768 WITH SCORE 374387.421
AT ITER 2670 NEW BEST:: SOT 5687876 SOS 3619352 HAS SOPS 3609181 HAS SOUS 371856 HAS SOUPS 370768 WITH SCORE 374387.352
AT ITER 2672 NEW BEST:: SOT 5687825 SOS 3619346 HAS SOPS 3609175 HAS SOUS 371684 HAS SOUPS 370596 WITH SCORE 374215.346
AT ITER 2677 NEW BEST:: SOT 5687825 SOS 3619306 HAS SOPS 3609135 HAS SOUS 371683 HAS SOUPS 370595 WITH SCORE 374214.306
AT ITER 2686 NEW BEST:: SOT 5710683 SOS 3642821 HAS SOPS 3632650 HAS SOUS 368255 HAS SOUPS 367167 WITH SCORE 370809.821
AT ITER 2694 NEW BEST:: SOT 5710683 SOS 3642789 HAS SOPS 3632618 HAS SOUS 368254 HAS SOUPS 367166 WITH SCORE 370808.789
AT ITER 2695 NEW BEST:: SOT 5710983 SOS 3643099 HAS SOPS 3633092 HAS SOUS 368209 HAS SOUPS 367112 WITH SCORE 370755.099
AT ITER 2708 NEW BEST:: SOT 5710945 SOS 3643042 HAS SOPS 3633035 HAS SOUS 368171 HAS SOUPS 367074 WITH SCORE 370717.042
AT ITER 2711 NEW BEST:: SOT 5710894 SOS 3642991 HAS SOPS 3632984 HAS SOUS 368103 HAS SOUPS 367006 WITH SCORE 370648.991
AT ITER 2714 NEW BEST:: SOT 5710907 SOS 3643004 HAS SOPS 3632997 HAS SOUS 368037 HAS SOUPS 366940 WITH SCORE 370583.004
AT ITER 2736 NEW BEST:: SOT 5711996 SOS 3507428 HAS SOPS 3497421 HAS SOUS 366915 HAS SOUPS 365818 WITH SCORE 369325.428
AT ITER 2738 NEW BEST:: SOT 5711994 SOS 3507348 HAS SOPS 3497341 HAS SOUS 366833 HAS SOUPS 365736 WITH SCORE 369243.348
AT ITER 2747 NEW BEST:: SOT 5711962 SOS 3507316 HAS SOPS 3497309 HAS SOUS 366793 HAS SOUPS 365696 WITH SCORE 369203.316
AT ITER 2760 NEW BEST:: SOT 5711929 SOS 3507283 HAS SOPS 3497276 HAS SOUS 366760 HAS SOUPS 365663 WITH SCORE 369170.283
AT ITER 2800 NEW BEST:: SOT 5711575 SOS 3506965 HAS SOPS 3496958 HAS SOUS 366592 HAS SOUPS 365495 WITH SCORE 369001.965
AT ITER 2801 NEW BEST:: SOT 5711458 SOS 3506876 HAS SOPS 3496869 HAS SOUS 365436 HAS SOUPS 364339 WITH SCORE 367845.876
AT ITER 2808 NEW BEST:: SOT 5711444 SOS 3506862 HAS SOPS 3496855 HAS SOUS 365380 HAS SOUPS 364283 WITH SCORE 367789.862
AT ITER 2833 NEW BEST:: SOT 5711240 SOS 3506691 HAS SOPS 3496684 HAS SOUS 365125 HAS SOUPS 364028 WITH SCORE 367534.691
AT ITER 2835 NEW BEST:: SOT 5710727 SOS 3506080 HAS SOPS 3496073 HAS SOUS 364589 HAS SOUPS 363492 WITH SCORE 366998.08
AT ITER 2848 NEW BEST:: SOT 5710811 SOS 3506164 HAS SOPS 3496157 HAS SOUS 364577 HAS SOUPS 363480 WITH SCORE 366986.164
AT ITER 2851 NEW BEST:: SOT 5710811 SOS 3506170 HAS SOPS 3496221 HAS SOUS 364576 HAS SOUPS 363479 WITH SCORE 366985.17
AT ITER 2854 NEW BEST:: SOT 5710706 SOS 3506065 HAS SOPS 3496116 HAS SOUS 364308 HAS SOUPS 363211 WITH SCORE 366717.065
AT ITER 2865 NEW BEST:: SOT 5694954 SOS 3490457 HAS SOPS 3480364 HAS SOUS 364197 HAS SOUPS 363082 WITH SCORE 366572.457
AT ITER 2867 NEW BEST:: SOT 5694885 SOS 3490388 HAS SOPS 3480295 HAS SOUS 363517 HAS SOUPS 362402 WITH SCORE 365892.388
AT ITER 2873 NEW BEST:: SOT 5694879 SOS 3490382 HAS SOPS 3480289 HAS SOUS 362145 HAS SOUPS 361030 WITH SCORE 364520.382
AT ITER 2891 NEW BEST:: SOT 5694879 SOS 3452199 HAS SOPS 3442106 HAS SOUS 361585 HAS SOUPS 360470 WITH SCORE 363922.199
AT ITER 2896 NEW BEST:: SOT 5694861 SOS 3452181 HAS SOPS 3442088 HAS SOUS 361565 HAS SOUPS 360450 WITH SCORE 363902.181
AT ITER 2897 NEW BEST:: SOT 5694870 SOS 3452190 HAS SOPS 3442097 HAS SOUS 361220 HAS SOUPS 360105 WITH SCORE 363557.19
AT ITER 2922 NEW BEST:: SOT 5694830 SOS 3451899 HAS SOPS 3441622 HAS SOUS 361172 HAS SOUPS 359965 WITH SCORE 363416.899
AT ITER 2923 NEW BEST:: SOT 5694754 SOS 3451823 HAS SOPS 3441546 HAS SOUS 361020 HAS SOUPS 359813 WITH SCORE 363264.823
AT ITER 2930 NEW BEST:: SOT 5694754 SOS 3451823 HAS SOPS 3441546 HAS SOUS 360987 HAS SOUPS 359780 WITH SCORE 363231.823
AT ITER 2946 NEW BEST:: SOT 5695077 SOS 3452146 HAS SOPS 3441869 HAS SOUS 359904 HAS SOUPS 358697 WITH SCORE 362149.146
AT ITER 2950 NEW BEST:: SOT 5694918 SOS 3381073 HAS SOPS 3370796 HAS SOUS 359639 HAS SOUPS 358432 WITH SCORE 361813.073
AT ITER 2962 NEW BEST:: SOT 5694908 SOS 3381063 HAS SOPS 3370786 HAS SOUS 359627 HAS SOUPS 358420 WITH SCORE 361801.063
AT ITER 2964 NEW BEST:: SOT 5688464 SOS 3374555 HAS SOPS 3364278 HAS SOUS 358014 HAS SOUPS 356807 WITH SCORE 360181.555
AT ITER 2966 NEW BEST:: SOT 5688236 SOS 3374304 HAS SOPS 3364027 HAS SOUS 357882 HAS SOUPS 356675 WITH SCORE 360049.304
AT ITER 2978 NEW BEST:: SOT 5688416 SOS 3374484 HAS SOPS 3364207 HAS SOUS 354110 HAS SOUPS 352903 WITH SCORE 356277.484
AT ITER 2996 NEW BEST:: SOT 5688392 SOS 3374460 HAS SOPS 3364183 HAS SOUS 354107 HAS SOUPS 352900 WITH SCORE 356274.46
AT ITER 3000 NEW BEST:: SOT 5710996 SOS 3397064 HAS SOPS 3386787 HAS SOUS 351560 HAS SOUPS 350353 WITH SCORE 353750.064
AT ITER 3024 NEW BEST:: SOT 5711022 SOS 3397090 HAS SOPS 3386813 HAS SOUS 350385 HAS SOUPS 349178 WITH SCORE 352575.09
AT ITER 3041 NEW BEST:: SOT 5711020 SOS 3397088 HAS SOPS 3386715 HAS SOUS 350383 HAS SOUPS 349164 WITH SCORE 352561.088
AT ITER 3044 NEW BEST:: SOT 5711109 SOS 3397316 HAS SOPS 3386943 HAS SOUS 345005 HAS SOUPS 343786 WITH SCORE 347183.316
AT ITER 3048 NEW BEST:: SOT 5711093 SOS 3397316 HAS SOPS 3386927 HAS SOUS 344989 HAS SOUPS 343770 WITH SCORE 347167.316
AT ITER 3054 NEW BEST:: SOT 5710876 SOS 3395696 HAS SOPS 3385307 HAS SOUS 344661 HAS SOUPS 343442 WITH SCORE 346837.696
AT ITER 3059 NEW BEST:: SOT 5710766 SOS 3395374 HAS SOPS 3384985 HAS SOUS 344339 HAS SOUPS 343120 WITH SCORE 346515.374
AT ITER 3063 NEW BEST:: SOT 5710760 SOS 3395368 HAS SOPS 3384979 HAS SOUS 344333 HAS SOUPS 343114 WITH SCORE 346509.368
AT ITER 3075 NEW BEST:: SOT 5692974 SOS 3377582 HAS SOPS 3367193 HAS SOUS 342201 HAS SOUPS 340982 WITH SCORE 344359.582
AT ITER 3098 NEW BEST:: SOT 5692729 SOS 3377264 HAS SOPS 3366875 HAS SOUS 342151 HAS SOUPS 340932 WITH SCORE 344309.264
AT ITER 3105 NEW BEST:: SOT 5692558 SOS 3376979 HAS SOPS 3366538 HAS SOUS 341866 HAS SOUPS 340647 WITH SCORE 344023.979
AT ITER 3122 NEW BEST:: SOT 5692498 SOS 3376805 HAS SOPS 3366364 HAS SOUS 341806 HAS SOUPS 340587 WITH SCORE 343963.805
AT ITER 3128 NEW BEST:: SOT 5692394 SOS 3376701 HAS SOPS 3366260 HAS SOUS 341717 HAS SOUPS 340498 WITH SCORE 343874.701
AT ITER 3132 NEW BEST:: SOT 5692394 SOS 3376613 HAS SOPS 3366172 HAS SOUS 341717 HAS SOUPS 340498 WITH SCORE 343874.613
AT ITER 3176 NEW BEST:: SOT 5692464 SOS 3376648 HAS SOPS 3366207 HAS SOUS 341580 HAS SOUPS 340361 WITH SCORE 343737.648
AT ITER 3183 NEW BEST:: SOT 5692407 SOS 3376583 HAS SOPS 3366142 HAS SOUS 341484 HAS SOUPS 340265 WITH SCORE 343641.583
AT ITER 3189 NEW BEST:: SOT 5692243 SOS 3376496 HAS SOPS 3366055 HAS SOUS 341337 HAS SOUPS 340118 WITH SCORE 343494.496
AT ITER 3201 NEW BEST:: SOT 5692166 SOS 3376417 HAS SOPS 3365976 HAS SOUS 341258 HAS SOUPS 340039 WITH SCORE 343415.417
AT ITER 3217 NEW BEST:: SOT 5692096 SOS 3376333 HAS SOPS 3365892 HAS SOUS 341244 HAS SOUPS 340025 WITH SCORE 343401.333
AT ITER 3220 NEW BEST:: SOT 5692080 SOS 3376296 HAS SOPS 3365855 HAS SOUS 341207 HAS SOUPS 339988 WITH SCORE 343364.296
AT ITER 3230 NEW BEST:: SOT 5692021 SOS 3376237 HAS SOPS 3365796 HAS SOUS 341142 HAS SOUPS 339923 WITH SCORE 343299.237
AT ITER 3235 NEW BEST:: SOT 5692011 SOS 3376227 HAS SOPS 3365786 HAS SOUS 341132 HAS SOUPS 339913 WITH SCORE 343289.227
AT ITER 3243 NEW BEST:: SOT 5691992 SOS 3376204 HAS SOPS 3365763 HAS SOUS 341094 HAS SOUPS 339875 WITH SCORE 343251.204
AT ITER 3244 NEW BEST:: SOT 5692131 SOS 3376343 HAS SOPS 3365902 HAS SOUS 341044 HAS SOUPS 339825 WITH SCORE 343201.343
AT ITER 3247 NEW BEST:: SOT 5692075 SOS 3376279 HAS SOPS 3365838 HAS SOUS 340932 HAS SOUPS 339713 WITH SCORE 343089.279
AT ITER 3249 NEW BEST:: SOT 5691702 SOS 3375945 HAS SOPS 3365504 HAS SOUS 340726 HAS SOUPS 339507 WITH SCORE 342882.945
AT ITER 3262 NEW BEST:: SOT 5691711 SOS 3375954 HAS SOPS 3365493 HAS SOUS 340704 HAS SOUPS 339485 WITH SCORE 342860.954
AT ITER 3280 NEW BEST:: SOT 5691669 SOS 3375993 HAS SOPS 3365532 HAS SOUS 340493 HAS SOUPS 339274 WITH SCORE 342649.993
AT ITER 3281 NEW BEST:: SOT 5691671 SOS 3376003 HAS SOPS 3365542 HAS SOUS 340492 HAS SOUPS 339273 WITH SCORE 342649.003
AT ITER 3282 NEW BEST:: SOT 5691664 SOS 3375996 HAS SOPS 3365535 HAS SOUS 340477 HAS SOUPS 339258 WITH SCORE 342633.996
AT ITER 3293 NEW BEST:: SOT 5691662 SOS 3375994 HAS SOPS 3365533 HAS SOUS 340467 HAS SOUPS 339248 WITH SCORE 342623.994
AT ITER 3300 NEW BEST:: SOT 5710954 SOS 3395286 HAS SOPS 3384825 HAS SOUS 336225 HAS SOUPS 335006 WITH SCORE 338401.286
AT ITER 3301 NEW BEST:: SOT 5710954 SOS 3395074 HAS SOPS 3384613 HAS SOUS 336013 HAS SOUPS 334794 WITH SCORE 338189.074
AT ITER 3303 NEW BEST:: SOT 5711036 SOS 3395508 HAS SOPS 3385047 HAS SOUS 335825 HAS SOUPS 334606 WITH SCORE 338001.508
AT ITER 3313 NEW BEST:: SOT 5711036 SOS 3395508 HAS SOPS 3385047 HAS SOUS 335775 HAS SOUPS 334556 WITH SCORE 337951.508
AT ITER 3319 NEW BEST:: SOT 5710725 SOS 3394533 HAS SOPS 3384072 HAS SOUS 335577 HAS SOUPS 334358 WITH SCORE 337752.533
AT ITER 3322 NEW BEST:: SOT 5710656 SOS 3394359 HAS SOPS 3383898 HAS SOUS 335450 HAS SOUPS 334231 WITH SCORE 337625.359
AT ITER 3324 NEW BEST:: SOT 5710783 SOS 3394486 HAS SOPS 3383989 HAS SOUS 335417 HAS SOUPS 334198 WITH SCORE 337592.486
AT ITER 3351 NEW BEST:: SOT 5709724 SOS 3393619 HAS SOPS 3383122 HAS SOUS 335151 HAS SOUPS 333932 WITH SCORE 337325.619
AT ITER 3364 NEW BEST:: SOT 5709671 SOS 3393699 HAS SOPS 3383202 HAS SOUS 334766 HAS SOUPS 333547 WITH SCORE 336940.699
AT ITER 3421 NEW BEST:: SOT 5702947 SOS 3386975 HAS SOPS 3376478 HAS SOUS 334179 HAS SOUPS 332960 WITH SCORE 336346.975
AT ITER 3426 NEW BEST:: SOT 5702947 SOS 3386963 HAS SOPS 3376466 HAS SOUS 334174 HAS SOUPS 332955 WITH SCORE 336341.963
AT ITER 3433 NEW BEST:: SOT 5702731 SOS 3386845 HAS SOPS 3376542 HAS SOUS 334174 HAS SOUPS 332955 WITH SCORE 336341.845
AT ITER 3439 NEW BEST:: SOT 5702799 SOS 3386648 HAS SOPS 3376345 HAS SOUS 334135 HAS SOUPS 332916 WITH SCORE 336302.648
AT ITER 3442 NEW BEST:: SOT 5702787 SOS 3386636 HAS SOPS 3376321 HAS SOUS 334111 HAS SOUPS 332892 WITH SCORE 336278.636
AT ITER 3454 NEW BEST:: SOT 5702874 SOS 3386723 HAS SOPS 3376386 HAS SOUS 334105 HAS SOUPS 332886 WITH SCORE 336272.723
AT ITER 3461 NEW BEST:: SOT 5702763 SOS 3386825 HAS SOPS 3376512 HAS SOUS 334049 HAS SOUPS 332839 WITH SCORE 336225.825
AT ITER 3465 NEW BEST:: SOT 5702741 SOS 3386803 HAS SOPS 3376485 HAS SOUS 334016 HAS SOUPS 332806 WITH SCORE 336192.803
AT ITER 3470 NEW BEST:: SOT 5702642 SOS 3386605 HAS SOPS 3376385 HAS SOUS 334014 HAS SOUPS 332804 WITH SCORE 336190.605
AT ITER 3472 NEW BEST:: SOT 5702671 SOS 3386653 HAS SOPS 3376433 HAS SOUS 333883 HAS SOUPS 332673 WITH SCORE 336059.653
AT ITER 3481 NEW BEST:: SOT 5702660 SOS 3386642 HAS SOPS 3376370 HAS SOUS 333757 HAS SOUPS 332547 WITH SCORE 335933.642
AT ITER 3506 NEW BEST:: SOT 5702701 SOS 3386678 HAS SOPS 3376406 HAS SOUS 333705 HAS SOUPS 332495 WITH SCORE 335881.678
AT ITER 3514 NEW BEST:: SOT 5702640 SOS 3386617 HAS SOPS 3376345 HAS SOUS 333700 HAS SOUPS 332490 WITH SCORE 335876.617
AT ITER 3522 NEW BEST:: SOT 5702793 SOS 3386920 HAS SOPS 3376648 HAS SOUS 333636 HAS SOUPS 332426 WITH SCORE 335812.92
AT ITER 3533 NEW BEST:: SOT 5703448 SOS 3387575 HAS SOPS 3377303 HAS SOUS 333608 HAS SOUPS 332398 WITH SCORE 335785.575
AT ITER 3535 NEW BEST:: SOT 5703462 SOS 3387589 HAS SOPS 3377269 HAS SOUS 333391 HAS SOUPS 332181 WITH SCORE 335568.589
AT ITER 3537 NEW BEST:: SOT 5705098 SOS 3389081 HAS SOPS 3378905 HAS SOUS 331383 HAS SOUPS 330191 WITH SCORE 333580.081
AT ITER 3569 NEW BEST:: SOT 5704791 SOS 3388774 HAS SOPS 3378598 HAS SOUS 331045 HAS SOUPS 329853 WITH SCORE 333241.774
AT ITER 3586 NEW BEST:: SOT 5704773 SOS 3388765 HAS SOPS 3378589 HAS SOUS 331027 HAS SOUPS 329835 WITH SCORE 333223.765
AT ITER 3591 NEW BEST:: SOT 5704728 SOS 3388720 HAS SOPS 3378544 HAS SOUS 331027 HAS SOUPS 329835 WITH SCORE 333223.72
AT ITER 3593 NEW BEST:: SOT 5704527 SOS 3388519 HAS SOPS 3378343 HAS SOUS 330745 HAS SOUPS 329553 WITH SCORE 332941.519
AT ITER 3598 NEW BEST:: SOT 5704534 SOS 3388526 HAS SOPS 3378325 HAS SOUS 330682 HAS SOUPS 329490 WITH SCORE 332878.526
AT ITER 3610 NEW BEST:: SOT 5704421 SOS 3388413 HAS SOPS 3378212 HAS SOUS 330584 HAS SOUPS 329392 WITH SCORE 332780.413
AT ITER 3629 NEW BEST:: SOT 5704461 SOS 3388453 HAS SOPS 3378252 HAS SOUS 330550 HAS SOUPS 329358 WITH SCORE 332746.453
AT ITER 3632 NEW BEST:: SOT 5704455 SOS 3388447 HAS SOPS 3378246 HAS SOUS 330538 HAS SOUPS 329346 WITH SCORE 332734.447
AT ITER 3647 NEW BEST:: SOT 5704412 SOS 3388404 HAS SOPS 3378160 HAS SOUS 330454 HAS SOUPS 329260 WITH SCORE 332648.404
AT ITER 3666 NEW BEST:: SOT 5704194 SOS 3388186 HAS SOPS 3377942 HAS SOUS 329894 HAS SOUPS 328700 WITH SCORE 332088.186
AT ITER 3668 NEW BEST:: SOT 5704189 SOS 3388175 HAS SOPS 3377931 HAS SOUS 329811 HAS SOUPS 328617 WITH SCORE 332005.175
AT ITER 3670 NEW BEST:: SOT 5704193 SOS 3388509 HAS SOPS 3378265 HAS SOUS 329777 HAS SOUPS 328583 WITH SCORE 331971.509
AT ITER 3674 NEW BEST:: SOT 5704137 SOS 3388453 HAS SOPS 3378209 HAS SOUS 329749 HAS SOUPS 328555 WITH SCORE 331943.453
AT ITER 3695 NEW BEST:: SOT 5704153 SOS 3388469 HAS SOPS 3378194 HAS SOUS 329705 HAS SOUPS 328510 WITH SCORE 331898.469
AT ITER 3719 NEW BEST:: SOT 5703960 SOS 3386986 HAS SOPS 3376904 HAS SOUS 329484 HAS SOUPS 328289 WITH SCORE 331675.986
AT ITER 3743 NEW BEST:: SOT 5703957 SOS 3386983 HAS SOPS 3376901 HAS SOUS 329478 HAS SOUPS 328283 WITH SCORE 331669.983
AT ITER 3747 NEW BEST:: SOT 5718504 SOS 3401530 HAS SOPS 3391448 HAS SOUS 329084 HAS SOUPS 327889 WITH SCORE 331290.53
AT ITER 3750 NEW BEST:: SOT 5718297 SOS 3400635 HAS SOPS 3390553 HAS SOUS 328969 HAS SOUPS 327774 WITH SCORE 331174.635
AT ITER 3762 NEW BEST:: SOT 5718297 SOS 3400679 HAS SOPS 3390597 HAS SOUS 328881 HAS SOUPS 327686 WITH SCORE 331086.679
AT ITER 3778 NEW BEST:: SOT 5718287 SOS 3400669 HAS SOPS 3390587 HAS SOUS 328878 HAS SOUPS 327683 WITH SCORE 331083.669
AT ITER 3787 NEW BEST:: SOT 5718046 SOS 3400324 HAS SOPS 3390242 HAS SOUS 328617 HAS SOUPS 327422 WITH SCORE 330822.324
AT ITER 3802 NEW BEST:: SOT 5718046 SOS 3399980 HAS SOPS 3389898 HAS SOUS 328610 HAS SOUPS 327415 WITH SCORE 330814.98
AT ITER 3817 NEW BEST:: SOT 5717959 SOS 3399893 HAS SOPS 3389811 HAS SOUS 328523 HAS SOUPS 327328 WITH SCORE 330727.893
AT ITER 3819 NEW BEST:: SOT 5717945 SOS 3399879 HAS SOPS 3389797 HAS SOUS 328509 HAS SOUPS 327314 WITH SCORE 330713.879
AT ITER 3820 NEW BEST:: SOT 5717491 SOS 3399406 HAS SOPS 3389324 HAS SOUS 327920 HAS SOUPS 326725 WITH SCORE 330124.406
AT ITER 3827 NEW BEST:: SOT 5717472 SOS 3399387 HAS SOPS 3389282 HAS SOUS 327805 HAS SOUPS 326610 WITH SCORE 330009.387
AT ITER 3833 NEW BEST:: SOT 5717466 SOS 3399381 HAS SOPS 3389276 HAS SOUS 327801 HAS SOUPS 326606 WITH SCORE 330005.381
AT ITER 3840 NEW BEST:: SOT 5717466 SOS 3399496 HAS SOPS 3389161 HAS SOUS 327709 HAS SOUPS 326376 WITH SCORE 329775.496
AT ITER 3861 NEW BEST:: SOT 5717389 SOS 3399419 HAS SOPS 3389084 HAS SOUS 327555 HAS SOUPS 326222 WITH SCORE 329621.419
AT ITER 3871 NEW BEST:: SOT 5717236 SOS 3399266 HAS SOPS 3388931 HAS SOUS 326357 HAS SOUPS 325024 WITH SCORE 328423.266
AT ITER 3881 NEW BEST:: SOT 5717233 SOS 3399263 HAS SOPS 3388942 HAS SOUS 326351 HAS SOUPS 325018 WITH SCORE 328417.263
AT ITER 3882 NEW BEST:: SOT 5717142 SOS 3399172 HAS SOPS 3388851 HAS SOUS 326105 HAS SOUPS 324772 WITH SCORE 328171.172
AT ITER 3884 NEW BEST:: SOT 5717142 SOS 3399172 HAS SOPS 3388851 HAS SOUS 326102 HAS SOUPS 324769 WITH SCORE 328168.172
AT ITER 3885 NEW BEST:: SOT 5720603 SOS 3401257 HAS SOPS 3392312 HAS SOUS 323056 HAS SOUPS 321895 WITH SCORE 325296.257
AT ITER 3916 NEW BEST:: SOT 5720512 SOS 3401189 HAS SOPS 3392244 HAS SOUS 322851 HAS SOUPS 321690 WITH SCORE 325091.189
AT ITER 3919 NEW BEST:: SOT 5720405 SOS 3401082 HAS SOPS 3392137 HAS SOUS 322637 HAS SOUPS 321476 WITH SCORE 324877.082
AT ITER 3923 NEW BEST:: SOT 5720489 SOS 3401166 HAS SOPS 3392209 HAS SOUS 322613 HAS SOUPS 321452 WITH SCORE 324853.166
AT ITER 3925 NEW BEST:: SOT 5719719 SOS 3400109 HAS SOPS 3391152 HAS SOUS 322015 HAS SOUPS 320854 WITH SCORE 324254.109
AT ITER 3931 NEW BEST:: SOT 5719614 SOS 3400980 HAS SOPS 3392023 HAS SOUS 321910 HAS SOUPS 320749 WITH SCORE 324149.98
AT ITER 3945 NEW BEST:: SOT 5719312 SOS 3400633 HAS SOPS 3391676 HAS SOUS 321654 HAS SOUPS 320493 WITH SCORE 323893.633
AT ITER 3953 NEW BEST:: SOT 5719290 SOS 3400611 HAS SOPS 3391593 HAS SOUS 321610 HAS SOUPS 320449 WITH SCORE 323849.611
AT ITER 3954 NEW BEST:: SOT 5719281 SOS 3400602 HAS SOPS 3391584 HAS SOUS 321592 HAS SOUPS 320431 WITH SCORE 323831.602
AT ITER 3955 NEW BEST:: SOT 5719236 SOS 3400560 HAS SOPS 3391542 HAS SOUS 321572 HAS SOUPS 320411 WITH SCORE 323811.56
AT ITER 3964 NEW BEST:: SOT 5719250 SOS 3400581 HAS SOPS 3391563 HAS SOUS 321509 HAS SOUPS 320348 WITH SCORE 323748.581
AT ITER 3975 NEW BEST:: SOT 5719226 SOS 3400557 HAS SOPS 3391539 HAS SOUS 321425 HAS SOUPS 320264 WITH SCORE 323664.557
AT ITER 3986 NEW BEST:: SOT 5719045 SOS 3399296 HAS SOPS 3390278 HAS SOUS 321385 HAS SOUPS 320224 WITH SCORE 323623.296
AT ITER 3990 NEW BEST:: SOT 5719042 SOS 3399293 HAS SOPS 3390278 HAS SOUS 321385 HAS SOUPS 320224 WITH SCORE 323623.293
AT ITER 4021 NEW BEST:: SOT 5719010 SOS 3399261 HAS SOPS 3390246 HAS SOUS 321321 HAS SOUPS 320160 WITH SCORE 323559.261
AT ITER 4030 NEW BEST:: SOT 5719001 SOS 3399243 HAS SOPS 3390228 HAS SOUS 321303 HAS SOUPS 320142 WITH SCORE 323541.243
AT ITER 4051 NEW BEST:: SOT 5718924 SOS 3399166 HAS SOPS 3390123 HAS SOUS 321198 HAS SOUPS 320037 WITH SCORE 323436.166
AT ITER 4068 NEW BEST:: SOT 5718898 SOS 3399172 HAS SOPS 3390129 HAS SOUS 319366 HAS SOUPS 318205 WITH SCORE 321604.172
AT ITER 4106 NEW BEST:: SOT 5718963 SOS 3399237 HAS SOPS 3390159 HAS SOUS 319343 HAS SOUPS 318182 WITH SCORE 321581.237
AT ITER 4109 NEW BEST:: SOT 5718847 SOS 3399121 HAS SOPS 3390043 HAS SOUS 319332 HAS SOUPS 318171 WITH SCORE 321570.121
AT ITER 4131 NEW BEST:: SOT 5718847 SOS 3399092 HAS SOPS 3390014 HAS SOUS 319332 HAS SOUPS 318171 WITH SCORE 321570.092
AT ITER 4136 NEW BEST:: SOT 5718973 SOS 3399174 HAS SOPS 3390096 HAS SOUS 318886 HAS SOUPS 317725 WITH SCORE 321124.174
AT ITER 4153 NEW BEST:: SOT 5718572 SOS 3399196 HAS SOPS 3390181 HAS SOUS 318572 HAS SOUPS 317400 WITH SCORE 320799.196
AT ITER 4165 NEW BEST:: SOT 5718535 SOS 3399408 HAS SOPS 3390393 HAS SOUS 318498 HAS SOUPS 317326 WITH SCORE 320725.408
AT ITER 4167 NEW BEST:: SOT 5718550 SOS 3399423 HAS SOPS 3390388 HAS SOUS 318473 HAS SOUPS 317301 WITH SCORE 320700.423
AT ITER 4209 NEW BEST:: SOT 5718548 SOS 3399421 HAS SOPS 3390386 HAS SOUS 318459 HAS SOUPS 317287 WITH SCORE 320686.421
AT ITER 4214 NEW BEST:: SOT 5718534 SOS 3399416 HAS SOPS 3390381 HAS SOUS 318431 HAS SOUPS 317259 WITH SCORE 320658.416
AT ITER 4216 NEW BEST:: SOT 5718498 SOS 3399380 HAS SOPS 3390309 HAS SOUS 318359 HAS SOUPS 317187 WITH SCORE 320586.38
AT ITER 4221 NEW BEST:: SOT 5720066 SOS 3400948 HAS SOPS 3391877 HAS SOUS 314419 HAS SOUPS 313247 WITH SCORE 316647.948
AT ITER 4270 NEW BEST:: SOT 5720136 SOS 3401051 HAS SOPS 3391980 HAS SOUS 314390 HAS SOUPS 313218 WITH SCORE 316619.051
AT ITER 4272 NEW BEST:: SOT 5720133 SOS 3401045 HAS SOPS 3391974 HAS SOUS 314347 HAS SOUPS 313175 WITH SCORE 316576.045
AT ITER 4275 NEW BEST:: SOT 5720200 SOS 3401142 HAS SOPS 3392071 HAS SOUS 314316 HAS SOUPS 313144 WITH SCORE 316545.142
AT ITER 4278 NEW BEST:: SOT 5720475 SOS 3401163 HAS SOPS 3392089 HAS SOUS 314293 HAS SOUPS 313121 WITH SCORE 316522.163
AT ITER 4285 NEW BEST:: SOT 5720468 SOS 3401156 HAS SOPS 3392075 HAS SOUS 314279 HAS SOUPS 313107 WITH SCORE 316508.156
AT ITER 4296 NEW BEST:: SOT 5720497 SOS 3401185 HAS SOPS 3392104 HAS SOUS 313601 HAS SOUPS 312429 WITH SCORE 315830.185
AT ITER 4304 NEW BEST:: SOT 5720142 SOS 3400922 HAS SOPS 3391841 HAS SOUS 313310 HAS SOUPS 312138 WITH SCORE 315538.922
AT ITER 4329 NEW BEST:: SOT 5720307 SOS 3401300 HAS SOPS 3392219 HAS SOUS 313214 HAS SOUPS 312042 WITH SCORE 315443.3
AT ITER 4339 NEW BEST:: SOT 5715728 SOS 3401960 HAS SOPS 3392879 HAS SOUS 312982 HAS SOUPS 311810 WITH SCORE 315211.96
AT ITER 4350 NEW BEST:: SOT 5715694 SOS 3401926 HAS SOPS 3392845 HAS SOUS 312960 HAS SOUPS 311788 WITH SCORE 315189.926
AT ITER 4352 NEW BEST:: SOT 5715694 SOS 3401887 HAS SOPS 3392806 HAS SOUS 312934 HAS SOUPS 311762 WITH SCORE 315163.887
AT ITER 4354 NEW BEST:: SOT 5715566 SOS 3401589 HAS SOPS 3392508 HAS SOUS 312678 HAS SOUPS 311506 WITH SCORE 314907.589
AT ITER 4367 NEW BEST:: SOT 5715651 SOS 3401674 HAS SOPS 3392585 HAS SOUS 312662 HAS SOUPS 311490 WITH SCORE 314891.674
AT ITER 4378 NEW BEST:: SOT 5715640 SOS 3401663 HAS SOPS 3392539 HAS SOUS 312640 HAS SOUPS 311468 WITH SCORE 314869.663
AT ITER 4381 NEW BEST:: SOT 5715200 SOS 3401251 HAS SOPS 3392127 HAS SOUS 312160 HAS SOUPS 310988 WITH SCORE 314389.251
AT ITER 4392 NEW BEST:: SOT 5715166 SOS 3401200 HAS SOPS 3392076 HAS SOUS 312092 HAS SOUPS 310920 WITH SCORE 314321.2
AT ITER 4417 NEW BEST:: SOT 5715162 SOS 3401196 HAS SOPS 3392072 HAS SOUS 312084 HAS SOUPS 310912 WITH SCORE 314313.196
AT ITER 4432 NEW BEST:: SOT 5715147 SOS 3401181 HAS SOPS 3392057 HAS SOUS 312054 HAS SOUPS 310882 WITH SCORE 314283.181
AT ITER 4454 NEW BEST:: SOT 5714989 SOS 3401023 HAS SOPS 3391899 HAS SOUS 311448 HAS SOUPS 310276 WITH SCORE 313677.023
AT ITER 4457 NEW BEST:: SOT 5715390 SOS 3402744 HAS SOPS 3393620 HAS SOUS 311423 HAS SOUPS 310251 WITH SCORE 313653.744
AT ITER 4462 NEW BEST:: SOT 5715382 SOS 3402732 HAS SOPS 3393608 HAS SOUS 311415 HAS SOUPS 310243 WITH SCORE 313645.732
AT ITER 4480 NEW BEST:: SOT 5715364 SOS 3402696 HAS SOPS 3393572 HAS SOUS 311379 HAS SOUPS 310207 WITH SCORE 313609.696
AT ITER 4505 NEW BEST:: SOT 5715357 SOS 3402689 HAS SOPS 3393525 HAS SOUS 311285 HAS SOUPS 310113 WITH SCORE 313515.689
AT ITER 4506 NEW BEST:: SOT 5715325 SOS 3402670 HAS SOPS 3393506 HAS SOUS 311221 HAS SOUPS 310049 WITH SCORE 313451.67
AT ITER 4527 NEW BEST:: SOT 5715253 SOS 3402641 HAS SOPS 3393477 HAS SOUS 310974 HAS SOUPS 309802 WITH SCORE 313204.641
AT ITER 4546 NEW BEST:: SOT 5715253 SOS 3402641 HAS SOPS 3393477 HAS SOUS 310973 HAS SOUPS 309801 WITH SCORE 313203.641
AT ITER 4560 NEW BEST:: SOT 5715253 SOS 3402686 HAS SOPS 3393522 HAS SOUS 310838 HAS SOUPS 309666 WITH SCORE 313068.686
AT ITER 4574 NEW BEST:: SOT 5715205 SOS 3402638 HAS SOPS 3393474 HAS SOUS 310706 HAS SOUPS 309534 WITH SCORE 312936.638
AT ITER 4585 NEW BEST:: SOT 5715151 SOS 3402584 HAS SOPS 3393420 HAS SOUS 310547 HAS SOUPS 309375 WITH SCORE 312777.584
AT ITER 4592 NEW BEST:: SOT 5692339 SOS 3379772 HAS SOPS 3370608 HAS SOUS 307971 HAS SOUPS 306799 WITH SCORE 310178.772
AT ITER 4611 NEW BEST:: SOT 5692330 SOS 3379763 HAS SOPS 3370599 HAS SOUS 307959 HAS SOUPS 306787 WITH SCORE 310166.763
AT ITER 4615 NEW BEST:: SOT 5692309 SOS 3379715 HAS SOPS 3370551 HAS SOUS 307868 HAS SOUPS 306696 WITH SCORE 310075.715
AT ITER 4636 NEW BEST:: SOT 5692401 SOS 3379807 HAS SOPS 3370643 HAS SOUS 307688 HAS SOUPS 306516 WITH SCORE 309895.807
AT ITER 4638 NEW BEST:: SOT 5692426 SOS 3379904 HAS SOPS 3370740 HAS SOUS 307599 HAS SOUPS 306427 WITH SCORE 309806.904
AT ITER 4643 NEW BEST:: SOT 5692403 SOS 3379881 HAS SOPS 3370714 HAS SOUS 307553 HAS SOUPS 306381 WITH SCORE 309760.881
AT ITER 4650 NEW BEST:: SOT 5692354 SOS 3379744 HAS SOPS 3370577 HAS SOUS 307482 HAS SOUPS 306310 WITH SCORE 309689.744
AT ITER 4659 NEW BEST:: SOT 5692347 SOS 3379744 HAS SOPS 3370577 HAS SOUS 307454 HAS SOUPS 306282 WITH SCORE 309661.744
AT ITER 4661 NEW BEST:: SOT 5692317 SOS 3379714 HAS SOPS 3370547 HAS SOUS 307394 HAS SOUPS 306222 WITH SCORE 309601.714
AT ITER 4671 NEW BEST:: SOT 5692427 SOS 3380096 HAS SOPS 3370929 HAS SOUS 307335 HAS SOUPS 306163 WITH SCORE 309543.096
AT ITER 4673 NEW BEST:: SOT 5692398 SOS 3380067 HAS SOPS 3370900 HAS SOUS 307330 HAS SOUPS 306158 WITH SCORE 309538.067
AT ITER 4702 NEW BEST:: SOT 5692310 SOS 3379953 HAS SOPS 3370786 HAS SOUS 307165 HAS SOUPS 305993 WITH SCORE 309372.953
AT ITER 4712 NEW BEST:: SOT 5691902 SOS 3379505 HAS SOPS 3370338 HAS SOUS 306747 HAS SOUPS 305575 WITH SCORE 308954.505
AT ITER 4732 NEW BEST:: SOT 5691102 SOS 3378705 HAS SOPS 3369538 HAS SOUS 306012 HAS SOUPS 304840 WITH SCORE 308218.705
AT ITER 4738 NEW BEST:: SOT 5691094 SOS 3378577 HAS SOPS 3369410 HAS SOUS 305940 HAS SOUPS 304768 WITH SCORE 308146.577
AT ITER 4750 NEW BEST:: SOT 5691635 SOS 3379154 HAS SOPS 3369987 HAS SOUS 304583 HAS SOUPS 303411 WITH SCORE 306790.154
AT ITER 4752 NEW BEST:: SOT 5691803 SOS 3379590 HAS SOPS 3370423 HAS SOUS 304486 HAS SOUPS 303314 WITH SCORE 306693.59
AT ITER 4763 NEW BEST:: SOT 5691944 SOS 3379821 HAS SOPS 3370654 HAS SOUS 303622 HAS SOUPS 302450 WITH SCORE 305829.821
AT ITER 4769 NEW BEST:: SOT 5691895 SOS 3379772 HAS SOPS 3370556 HAS SOUS 303524 HAS SOUPS 302352 WITH SCORE 305731.772
AT ITER 4773 NEW BEST:: SOT 5691896 SOS 3379773 HAS SOPS 3370557 HAS SOUS 303489 HAS SOUPS 302317 WITH SCORE 305696.773
AT ITER 4786 NEW BEST:: SOT 5691765 SOS 3379592 HAS SOPS 3370373 HAS SOUS 303232 HAS SOUPS 302060 WITH SCORE 305439.592
AT ITER 4794 NEW BEST:: SOT 5691644 SOS 3379471 HAS SOPS 3369148 HAS SOUS 303111 HAS SOUPS 301801 WITH SCORE 305180.471
AT ITER 4809 NEW BEST:: SOT 5680988 SOS 3368791 HAS SOPS 3358468 HAS SOUS 301647 HAS SOUPS 300337 WITH SCORE 303705.791
AT ITER 4816 NEW BEST:: SOT 5636600 SOS 3324115 HAS SOPS 3313792 HAS SOUS 295966 HAS SOUPS 294656 WITH SCORE 297980.115
AT ITER 4828 NEW BEST:: SOT 5636603 SOS 3324118 HAS SOPS 3313751 HAS SOUS 295925 HAS SOUPS 294615 WITH SCORE 297939.118
AT ITER 4835 NEW BEST:: SOT 5636813 SOS 3324328 HAS SOPS 3313917 HAS SOUS 295788 HAS SOUPS 294478 WITH SCORE 297802.328
AT ITER 4862 NEW BEST:: SOT 5636808 SOS 3324323 HAS SOPS 3313912 HAS SOUS 295783 HAS SOUPS 294473 WITH SCORE 297797.323
AT ITER 4869 NEW BEST:: SOT 5637089 SOS 3324604 HAS SOPS 3314193 HAS SOUS 285487 HAS SOUPS 284177 WITH SCORE 287501.604
AT ITER 4874 NEW BEST:: SOT 5637082 SOS 3324597 HAS SOPS 3314186 HAS SOUS 285467 HAS SOUPS 284157 WITH SCORE 287481.597
AT ITER 4900 NEW BEST:: SOT 5637047 SOS 3324655 HAS SOPS 3314244 HAS SOUS 284104 HAS SOUPS 282794 WITH SCORE 286118.655
AT ITER 4909 NEW BEST:: SOT 5637084 SOS 3324701 HAS SOPS 3314290 HAS SOUS 284091 HAS SOUPS 282781 WITH SCORE 286105.701
AT ITER 4930 NEW BEST:: SOT 5636767 SOS 3318873 HAS SOPS 3308462 HAS SOUS 283783 HAS SOUPS 282473 WITH SCORE 285791.873
AT ITER 4932 NEW BEST:: SOT 5636703 SOS 3318809 HAS SOPS 3308398 HAS SOUS 283623 HAS SOUPS 282313 WITH SCORE 285631.809
AT ITER 4942 NEW BEST:: SOT 5628580 SOS 3310686 HAS SOPS 3300275 HAS SOUS 282980 HAS SOUPS 281670 WITH SCORE 284980.686
AT ITER 4953 NEW BEST:: SOT 5604069 SOS 3286175 HAS SOPS 3275764 HAS SOUS 281831 HAS SOUPS 280521 WITH SCORE 283807.175
AT ITER 4972 NEW BEST:: SOT 5603904 SOS 3286116 HAS SOPS 3275805 HAS SOUS 281822 HAS SOUPS 280512 WITH SCORE 283798.116
AT ITER 4976 NEW BEST:: SOT 5603848 SOS 3286009 HAS SOPS 3275698 HAS SOUS 281768 HAS SOUPS 280458 WITH SCORE 283744.009
AT ITER 4978 NEW BEST:: SOT 5603676 SOS 3285837 HAS SOPS 3275477 HAS SOUS 281424 HAS SOUPS 280114 WITH SCORE 283399.837
AT ITER 4981 NEW BEST:: SOT 5603647 SOS 3285808 HAS SOPS 3275448 HAS SOUS 281352 HAS SOUPS 280042 WITH SCORE 283327.808
AT ITER 4983 NEW BEST:: SOT 5603579 SOS 3285672 HAS SOPS 3275312 HAS SOUS 281216 HAS SOUPS 279906 WITH SCORE 283191.672
AT ITER 4985 NEW BEST:: SOT 5603461 SOS 3285493 HAS SOPS 3275133 HAS SOUS 281140 HAS SOUPS 279830 WITH SCORE 283115.493
AT ITER 4986 NEW BEST:: SOT 5603453 SOS 3285478 HAS SOPS 3275118 HAS SOUS 281136 HAS SOUPS 279826 WITH SCORE 283111.478
AT ITER 4987 NEW BEST:: SOT 5603432 SOS 3285457 HAS SOPS 3275087 HAS SOUS 281104 HAS SOUPS 279787 WITH SCORE 283072.457
AT ITER 5017 NEW BEST:: SOT 5603436 SOS 3285461 HAS SOPS 3275091 HAS SOUS 281094 HAS SOUPS 279777 WITH SCORE 283062.461
AT ITER 5033 NEW BEST:: SOT 5603312 SOS 3285337 HAS SOPS 3274967 HAS SOUS 280793 HAS SOUPS 279476 WITH SCORE 282761.337
AT ITER 5049 NEW BEST:: SOT 5603190 SOS 3285215 HAS SOPS 3274845 HAS SOUS 280531 HAS SOUPS 279214 WITH SCORE 282499.215
AT ITER 5064 NEW BEST:: SOT 5559581 SOS 3241533 HAS SOPS 3231163 HAS SOUS 275465 HAS SOUPS 274148 WITH SCORE 277389.533
AT ITER 5075 NEW BEST:: SOT 5559567 SOS 3241371 HAS SOPS 3231001 HAS SOUS 275437 HAS SOUPS 274120 WITH SCORE 277361.371
AT ITER 5082 NEW BEST:: SOT 5559436 SOS 3241240 HAS SOPS 3230961 HAS SOUS 275357 HAS SOUPS 274040 WITH SCORE 277281.24
AT ITER 5087 NEW BEST:: SOT 5559419 SOS 3241223 HAS SOPS 3230896 HAS SOUS 275141 HAS SOUPS 273824 WITH SCORE 277065.223
AT ITER 5091 NEW BEST:: SOT 5559122 SOS 3240926 HAS SOPS 3230599 HAS SOUS 274584 HAS SOUPS 273267 WITH SCORE 276507.926
AT ITER 5096 NEW BEST:: SOT 5588859 SOS 3270663 HAS SOPS 3260336 HAS SOUS 271702 HAS SOUPS 270385 WITH SCORE 273655.663
AT ITER 5123 NEW BEST:: SOT 5588518 SOS 3270415 HAS SOPS 3260088 HAS SOUS 271373 HAS SOUPS 270056 WITH SCORE 273326.415
AT ITER 5135 NEW BEST:: SOT 5588525 SOS 3270422 HAS SOPS 3260095 HAS SOUS 271359 HAS SOUPS 270042 WITH SCORE 273312.422
AT ITER 5143 NEW BEST:: SOT 5588432 SOS 3270329 HAS SOPS 3260002 HAS SOUS 271287 HAS SOUPS 269970 WITH SCORE 273240.329
AT ITER 5149 NEW BEST:: SOT 5588293 SOS 3270122 HAS SOPS 3259795 HAS SOUS 270936 HAS SOUPS 269619 WITH SCORE 272889.122
AT ITER 5162 NEW BEST:: SOT 5588286 SOS 3270115 HAS SOPS 3259788 HAS SOUS 270929 HAS SOUPS 269612 WITH SCORE 272882.115
AT ITER 5215 NEW BEST:: SOT 5578272 SOS 3260101 HAS SOPS 3249774 HAS SOUS 269867 HAS SOUPS 268550 WITH SCORE 271810.101
AT ITER 5224 NEW BEST:: SOT 5578263 SOS 3260110 HAS SOPS 3249783 HAS SOUS 269858 HAS SOUPS 268541 WITH SCORE 271801.11
AT ITER 5244 NEW BEST:: SOT 5578261 SOS 3260108 HAS SOPS 3249781 HAS SOUS 269854 HAS SOUPS 268537 WITH SCORE 271797.108
AT ITER 5257 NEW BEST:: SOT 5578237 SOS 3260084 HAS SOPS 3249770 HAS SOUS 269806 HAS SOUPS 268489 WITH SCORE 271749.084
AT ITER 5273 NEW BEST:: SOT 5578205 SOS 3260052 HAS SOPS 3249738 HAS SOUS 269742 HAS SOUPS 268425 WITH SCORE 271685.052
AT ITER 5283 NEW BEST:: SOT 5578258 SOS 3260297 HAS SOPS 3249983 HAS SOUS 268676 HAS SOUPS 267359 WITH SCORE 270619.297
AT ITER 5289 NEW BEST:: SOT 5578183 SOS 3260222 HAS SOPS 3249908 HAS SOUS 268562 HAS SOUPS 267245 WITH SCORE 270505.222
AT ITER 5293 NEW BEST:: SOT 5578075 SOS 3259872 HAS SOPS 3249558 HAS SOUS 268336 HAS SOUPS 267019 WITH SCORE 270278.872
AT ITER 5297 NEW BEST:: SOT 5578609 SOS 3260307 HAS SOPS 3249993 HAS SOUS 268216 HAS SOUPS 266899 WITH SCORE 270159.307
AT ITER 5298 NEW BEST:: SOT 5578563 SOS 3260261 HAS SOPS 3250040 HAS SOUS 267853 HAS SOUPS 266536 WITH SCORE 269796.261
AT ITER 5306 NEW BEST:: SOT 5578480 SOS 3260178 HAS SOPS 3249957 HAS SOUS 267770 HAS SOUPS 266453 WITH SCORE 269713.178
AT ITER 5358 NEW BEST:: SOT 5578511 SOS 3260190 HAS SOPS 3249969 HAS SOUS 267734 HAS SOUPS 266417 WITH SCORE 269677.19
AT ITER 5362 NEW BEST:: SOT 5578417 SOS 3259962 HAS SOPS 3249741 HAS SOUS 267632 HAS SOUPS 266315 WITH SCORE 269574.962
AT ITER 5363 NEW BEST:: SOT 5578471 SOS 3250716 HAS SOPS 3240495 HAS SOUS 267321 HAS SOUPS 266004 WITH SCORE 269254.716
AT ITER 5365 NEW BEST:: SOT 5578584 SOS 3250893 HAS SOPS 3240672 HAS SOUS 266663 HAS SOUPS 265346 WITH SCORE 268596.893
AT ITER 5375 NEW BEST:: SOT 5578582 SOS 3250884 HAS SOPS 3240663 HAS SOUS 266654 HAS SOUPS 265337 WITH SCORE 268587.884
AT ITER 5398 NEW BEST:: SOT 5578542 SOS 3250844 HAS SOPS 3240623 HAS SOUS 266594 HAS SOUPS 265277 WITH SCORE 268527.844
AT ITER 5401 NEW BEST:: SOT 5549354 SOS 3221656 HAS SOPS 3211435 HAS SOUS 265735 HAS SOUPS 264418 WITH SCORE 267639.656
AT ITER 5411 NEW BEST:: SOT 5549371 SOS 3221673 HAS SOPS 3211436 HAS SOUS 265679 HAS SOUPS 264362 WITH SCORE 267583.673
AT ITER 5437 NEW BEST:: SOT 5549337 SOS 3221639 HAS SOPS 3211402 HAS SOUS 265623 HAS SOUPS 264306 WITH SCORE 267527.639
AT ITER 5451 NEW BEST:: SOT 5549238 SOS 3221579 HAS SOPS 3211342 HAS SOUS 265407 HAS SOUPS 264090 WITH SCORE 267311.579
AT ITER 5457 NEW BEST:: SOT 5549130 SOS 3221471 HAS SOPS 3211234 HAS SOUS 265191 HAS SOUPS 263874 WITH SCORE 267095.471
AT ITER 5484 NEW BEST:: SOT 5549119 SOS 3221322 HAS SOPS 3211085 HAS SOUS 265111 HAS SOUPS 263794 WITH SCORE 267015.322
AT ITER 5502 NEW BEST:: SOT 5549305 SOS 3200001 HAS SOPS 3189764 HAS SOUS 265072 HAS SOUPS 263755 WITH SCORE 266955.001
AT ITER 5505 NEW BEST:: SOT 5549233 SOS 3199920 HAS SOPS 3189683 HAS SOUS 264991 HAS SOUPS 263674 WITH SCORE 266873.92
AT ITER 5513 NEW BEST:: SOT 5549211 SOS 3199898 HAS SOPS 3189661 HAS SOUS 264979 HAS SOUPS 263662 WITH SCORE 266861.898
AT ITER 5536 NEW BEST:: SOT 5549211 SOS 3199898 HAS SOPS 3189661 HAS SOUS 264959 HAS SOUPS 263642 WITH SCORE 266841.898
AT ITER 5573 NEW BEST:: SOT 5548880 SOS 3199567 HAS SOPS 3189330 HAS SOUS 264807 HAS SOUPS 263490 WITH SCORE 266689.567
AT ITER 5594 NEW BEST:: SOT 5548920 SOS 3199607 HAS SOPS 3189370 HAS SOUS 264786 HAS SOUPS 263469 WITH SCORE 266668.607
AT ITER 5620 NEW BEST:: SOT 5548876 SOS 3199374 HAS SOPS 3189137 HAS SOUS 264742 HAS SOUPS 263425 WITH SCORE 266624.374
AT ITER 5632 NEW BEST:: SOT 5548871 SOS 3199367 HAS SOPS 3189130 HAS SOUS 264732 HAS SOUPS 263415 WITH SCORE 266614.367
AT ITER 5645 NEW BEST:: SOT 5548829 SOS 3199325 HAS SOPS 3189088 HAS SOUS 264711 HAS SOUPS 263394 WITH SCORE 266593.325
AT ITER 5683 NEW BEST:: SOT 5548784 SOS 3199267 HAS SOPS 3189030 HAS SOUS 264666 HAS SOUPS 263349 WITH SCORE 266548.267
AT ITER 5690 NEW BEST:: SOT 5548528 SOS 3199594 HAS SOPS 3189357 HAS SOUS 264196 HAS SOUPS 262879 WITH SCORE 266078.594
AT ITER 5707 NEW BEST:: SOT 5548323 SOS 3199445 HAS SOPS 3189208 HAS SOUS 263786 HAS SOUPS 262469 WITH SCORE 265668.445
AT ITER 5732 NEW BEST:: SOT 5548308 SOS 3199415 HAS SOPS 3189178 HAS SOUS 263713 HAS SOUPS 262396 WITH SCORE 265595.415
AT ITER 5733 NEW BEST:: SOT 5548224 SOS 3199331 HAS SOPS 3189094 HAS SOUS 263545 HAS SOUPS 262228 WITH SCORE 265427.331
AT ITER 5745 NEW BEST:: SOT 5535699 SOS 3186806 HAS SOPS 3176569 HAS SOUS 262190 HAS SOUPS 260873 WITH SCORE 264059.806
AT ITER 5751 NEW BEST:: SOT 5535699 SOS 3186806 HAS SOPS 3176569 HAS SOUS 262085 HAS SOUPS 260768 WITH SCORE 263954.806
AT ITER 5752 NEW BEST:: SOT 5535482 SOS 3186686 HAS SOPS 3176449 HAS SOUS 261505 HAS SOUPS 260188 WITH SCORE 263374.686
AT ITER 5760 NEW BEST:: SOT 5535756 SOS 3186021 HAS SOPS 3175784 HAS SOUS 261486 HAS SOUPS 260169 WITH SCORE 263355.021
AT ITER 5795 NEW BEST:: SOT 5535277 SOS 3185545 HAS SOPS 3175308 HAS SOUS 261059 HAS SOUPS 259742 WITH SCORE 262927.545
AT ITER 5801 NEW BEST:: SOT 5535266 SOS 3185529 HAS SOPS 3175292 HAS SOUS 261043 HAS SOUPS 259726 WITH SCORE 262911.529
AT ITER 5807 NEW BEST:: SOT 5535269 SOS 3185521 HAS SOPS 3175284 HAS SOUS 261016 HAS SOUPS 259699 WITH SCORE 262884.521
AT ITER 5812 NEW BEST:: SOT 5535276 SOS 3185379 HAS SOPS 3175133 HAS SOUS 260992 HAS SOUPS 259675 WITH SCORE 262860.379
AT ITER 5814 NEW BEST:: SOT 5535140 SOS 3185243 HAS SOPS 3174997 HAS SOUS 260847 HAS SOUPS 259530 WITH SCORE 262715.243
AT ITER 5844 NEW BEST:: SOT 5534876 SOS 3185813 HAS SOPS 3175567 HAS SOUS 260667 HAS SOUPS 259350 WITH SCORE 262535.813
AT ITER 5855 NEW BEST:: SOT 5534876 SOS 3185813 HAS SOPS 3175567 HAS SOUS 260623 HAS SOUPS 259306 WITH SCORE 262491.813
AT ITER 5859 NEW BEST:: SOT 5534889 SOS 3185776 HAS SOPS 3175530 HAS SOUS 260521 HAS SOUPS 259204 WITH SCORE 262389.776
AT ITER 5901 NEW BEST:: SOT 5534879 SOS 3185756 HAS SOPS 3175510 HAS SOUS 260501 HAS SOUPS 259184 WITH SCORE 262369.756
AT ITER 5932 NEW BEST:: SOT 5534769 SOS 3185575 HAS SOPS 3175327 HAS SOUS 260285 HAS SOUPS 258968 WITH SCORE 262153.575
AT ITER 5967 NEW BEST:: SOT 5534753 SOS 3185545 HAS SOPS 3175297 HAS SOUS 260227 HAS SOUPS 258910 WITH SCORE 262095.545
AT ITER 5976 NEW BEST:: SOT 5534518 SOS 3185144 HAS SOPS 3174896 HAS SOUS 259826 HAS SOUPS 258509 WITH SCORE 261694.144
AT ITER 5983 NEW BEST:: SOT 5534583 SOS 3185209 HAS SOPS 3174913 HAS SOUS 259738 HAS SOUPS 258421 WITH SCORE 261606.209
AT ITER 5994 NEW BEST:: SOT 5534541 SOS 3185167 HAS SOPS 3174871 HAS SOUS 259654 HAS SOUPS 258337 WITH SCORE 261522.167
AT ITER 6002 NEW BEST:: SOT 5534378 SOS 3185004 HAS SOPS 3174708 HAS SOUS 259326 HAS SOUPS 258009 WITH SCORE 261194.004
AT ITER 6019 NEW BEST:: SOT 5534348 SOS 3184912 HAS SOPS 3174708 HAS SOUS 259326 HAS SOUPS 258009 WITH SCORE 261193.912
AT ITER 6029 NEW BEST:: SOT 5534151 SOS 3184558 HAS SOPS 3174406 HAS SOUS 259221 HAS SOUPS 257904 WITH SCORE 261088.558
AT ITER 6054 NEW BEST:: SOT 5534139 SOS 3184450 HAS SOPS 3174298 HAS SOUS 259197 HAS SOUPS 257880 WITH SCORE 261064.45
AT ITER 6075 NEW BEST:: SOT 5534046 SOS 3184357 HAS SOPS 3174258 HAS SOUS 259168 HAS SOUPS 257851 WITH SCORE 261035.357
AT ITER 6076 NEW BEST:: SOT 5534017 SOS 3184328 HAS SOPS 3174229 HAS SOUS 259110 HAS SOUPS 257793 WITH SCORE 260977.328
AT ITER 6108 NEW BEST:: SOT 5534152 SOS 3184463 HAS SOPS 3174364 HAS SOUS 256618 HAS SOUPS 255301 WITH SCORE 258485.463
AT ITER 6113 NEW BEST:: SOT 5534124 SOS 3184435 HAS SOPS 3174336 HAS SOUS 256567 HAS SOUPS 255250 WITH SCORE 258434.435
AT ITER 6120 NEW BEST:: SOT 5534124 SOS 3184435 HAS SOPS 3174336 HAS SOUS 256557 HAS SOUPS 255240 WITH SCORE 258424.435
AT ITER 6128 NEW BEST:: SOT 5534124 SOS 3184435 HAS SOPS 3174336 HAS SOUS 256551 HAS SOUPS 255234 WITH SCORE 258418.435
AT ITER 6129 NEW BEST:: SOT 5534058 SOS 3184369 HAS SOPS 3174270 HAS SOUS 256485 HAS SOUPS 255168 WITH SCORE 258352.369
AT ITER 6142 NEW BEST:: SOT 5533972 SOS 3184283 HAS SOPS 3174184 HAS SOUS 256394 HAS SOUPS 255077 WITH SCORE 258261.283
AT ITER 6161 NEW BEST:: SOT 5533948 SOS 3184250 HAS SOPS 3174151 HAS SOUS 256361 HAS SOUPS 255044 WITH SCORE 258228.25
AT ITER 6172 NEW BEST:: SOT 5533971 SOS 3184273 HAS SOPS 3174114 HAS SOUS 256287 HAS SOUPS 254970 WITH SCORE 258154.273
AT ITER 6201 NEW BEST:: SOT 5532260 SOS 3182371 HAS SOPS 3172021 HAS SOUS 255348 HAS SOUPS 254031 WITH SCORE 257213.371
AT ITER 6204 NEW BEST:: SOT 5532526 SOS 3182637 HAS SOPS 3172287 HAS SOUS 255221 HAS SOUPS 253904 WITH SCORE 257086.637
AT ITER 6250 NEW BEST:: SOT 5532469 SOS 3182570 HAS SOPS 3172220 HAS SOUS 255169 HAS SOUPS 253852 WITH SCORE 257034.57
AT ITER 6277 NEW BEST:: SOT 5532438 SOS 3182539 HAS SOPS 3172189 HAS SOUS 255107 HAS SOUPS 253790 WITH SCORE 256972.539
AT ITER 6292 NEW BEST:: SOT 5532146 SOS 3182247 HAS SOPS 3171897 HAS SOUS 254887 HAS SOUPS 253570 WITH SCORE 256752.247
AT ITER 6321 NEW BEST:: SOT 5532146 SOS 3182445 HAS SOPS 3172095 HAS SOUS 254843 HAS SOUPS 253526 WITH SCORE 256708.445
AT ITER 6337 NEW BEST:: SOT 5532139 SOS 3182425 HAS SOPS 3172075 HAS SOUS 254826 HAS SOUPS 253509 WITH SCORE 256691.425
AT ITER 6357 NEW BEST:: SOT 5532131 SOS 3182421 HAS SOPS 3172071 HAS SOUS 254798 HAS SOUPS 253481 WITH SCORE 256663.421
AT ITER 6376 NEW BEST:: SOT 5532192 SOS 3182572 HAS SOPS 3172222 HAS SOUS 254736 HAS SOUPS 253419 WITH SCORE 256601.572
AT ITER 6400 NEW BEST:: SOT 5532651 SOS 3183535 HAS SOPS 3173185 HAS SOUS 254646 HAS SOUPS 253329 WITH SCORE 256512.535
AT ITER 6409 NEW BEST:: SOT 5532651 SOS 3183520 HAS SOPS 3173170 HAS SOUS 254646 HAS SOUPS 253329 WITH SCORE 256512.52
AT ITER 6413 NEW BEST:: SOT 5532650 SOS 3183519 HAS SOPS 3173182 HAS SOUS 254644 HAS SOUPS 253327 WITH SCORE 256510.519
AT ITER 6420 NEW BEST:: SOT 5532698 SOS 3183567 HAS SOPS 3173257 HAS SOUS 254508 HAS SOUPS 253191 WITH SCORE 256374.567
AT ITER 6438 NEW BEST:: SOT 5532811 SOS 3183786 HAS SOPS 3173476 HAS SOUS 254366 HAS SOUPS 253049 WITH SCORE 256232.786
AT ITER 6471 NEW BEST:: SOT 5532799 SOS 3183774 HAS SOPS 3173464 HAS SOUS 254357 HAS SOUPS 253040 WITH SCORE 256223.774
AT ITER 6475 NEW BEST:: SOT 5532919 SOS 2907481 HAS SOPS 2897171 HAS SOUS 254363 HAS SOUPS 253046 WITH SCORE 255953.481
AT ITER 6494 NEW BEST:: SOT 5532901 SOS 2907463 HAS SOPS 2897153 HAS SOUS 254327 HAS SOUPS 253010 WITH SCORE 255917.463
AT ITER 6520 NEW BEST:: SOT 5532889 SOS 2907451 HAS SOPS 2897141 HAS SOUS 254219 HAS SOUPS 252902 WITH SCORE 255809.451
AT ITER 6523 NEW BEST:: SOT 5532898 SOS 2907460 HAS SOPS 2897150 HAS SOUS 253622 HAS SOUPS 252305 WITH SCORE 255212.46
AT ITER 6530 NEW BEST:: SOT 5533197 SOS 2907759 HAS SOPS 2897449 HAS SOUS 252298 HAS SOUPS 250981 WITH SCORE 253888.759
AT ITER 6534 NEW BEST:: SOT 5533140 SOS 2907721 HAS SOPS 2897411 HAS SOUS 252260 HAS SOUPS 250943 WITH SCORE 253850.721
AT ITER 6545 NEW BEST:: SOT 5533432 SOS 2919485 HAS SOPS 2909175 HAS SOUS 250788 HAS SOUPS 249471 WITH SCORE 252390.485
AT ITER 6549 NEW BEST:: SOT 5533444 SOS 2919497 HAS SOPS 2909259 HAS SOUS 250524 HAS SOUPS 249207 WITH SCORE 252126.497
AT ITER 6567 NEW BEST:: SOT 5533421 SOS 2919474 HAS SOPS 2909236 HAS SOUS 250478 HAS SOUPS 249161 WITH SCORE 252080.474
AT ITER 6597 NEW BEST:: SOT 5533581 SOS 2919425 HAS SOPS 2909187 HAS SOUS 250406 HAS SOUPS 249089 WITH SCORE 252008.425
AT ITER 6608 NEW BEST:: SOT 5533203 SOS 2918691 HAS SOPS 2908453 HAS SOUS 249714 HAS SOUPS 248397 WITH SCORE 251315.691
AT ITER 6639 NEW BEST:: SOT 5533147 SOS 2917632 HAS SOPS 2907394 HAS SOUS 249707 HAS SOUPS 248390 WITH SCORE 251307.632
AT ITER 6648 NEW BEST:: SOT 5533186 SOS 2917671 HAS SOPS 2907393 HAS SOUS 249655 HAS SOUPS 248338 WITH SCORE 251255.671
AT ITER 6671 NEW BEST:: SOT 5533144 SOS 2917650 HAS SOPS 2907372 HAS SOUS 249592 HAS SOUPS 248275 WITH SCORE 251192.65
AT ITER 6673 NEW BEST:: SOT 5533016 SOS 2917084 HAS SOPS 2907317 HAS SOUS 249509 HAS SOUPS 248265 WITH SCORE 251182.084
AT ITER 6728 NEW BEST:: SOT 5532916 SOS 2916927 HAS SOPS 2907160 HAS SOUS 249352 HAS SOUPS 248108 WITH SCORE 251024.927
AT ITER 6740 NEW BEST:: SOT 5532971 SOS 2916982 HAS SOPS 2907215 HAS SOUS 248802 HAS SOUPS 247558 WITH SCORE 250474.982
AT ITER 6744 NEW BEST:: SOT 5532985 SOS 2917017 HAS SOPS 2907250 HAS SOUS 248795 HAS SOUPS 247551 WITH SCORE 250468.017
AT ITER 6753 NEW BEST:: SOT 5532926 SOS 2916736 HAS SOPS 2906969 HAS SOUS 248663 HAS SOUPS 247419 WITH SCORE 250335.736
AT ITER 6758 NEW BEST:: SOT 5532923 SOS 2916724 HAS SOPS 2906957 HAS SOUS 248657 HAS SOUPS 247413 WITH SCORE 250329.724
AT ITER 6799 NEW BEST:: SOT 5532883 SOS 2916419 HAS SOPS 2906652 HAS SOUS 248577 HAS SOUPS 247333 WITH SCORE 250249.419
AT ITER 6803 NEW BEST:: SOT 5532428 SOS 2914884 HAS SOPS 2905117 HAS SOUS 248416 HAS SOUPS 247172 WITH SCORE 250086.884
AT ITER 6830 NEW BEST:: SOT 5532314 SOS 2914717 HAS SOPS 2904967 HAS SOUS 248294 HAS SOUPS 247050 WITH SCORE 249964.717
AT ITER 6846 NEW BEST:: SOT 5532314 SOS 2914653 HAS SOPS 2904903 HAS SOUS 248292 HAS SOUPS 247048 WITH SCORE 249962.653
AT ITER 6852 NEW BEST:: SOT 5532721 SOS 2918566 HAS SOPS 2908816 HAS SOUS 248174 HAS SOUPS 246930 WITH SCORE 249848.566
AT ITER 6867 NEW BEST:: SOT 5532706 SOS 2918551 HAS SOPS 2908801 HAS SOUS 248157 HAS SOUPS 246913 WITH SCORE 249831.551
AT ITER 6875 NEW BEST:: SOT 5532938 SOS 2918783 HAS SOPS 2909033 HAS SOUS 247986 HAS SOUPS 246742 WITH SCORE 249660.783
AT ITER 6900 NEW BEST:: SOT 5532905 SOS 2918525 HAS SOPS 2908775 HAS SOUS 247959 HAS SOUPS 246715 WITH SCORE 249633.525
AT ITER 6903 NEW BEST:: SOT 5532758 SOS 2918378 HAS SOPS 2908628 HAS SOUS 247888 HAS SOUPS 246644 WITH SCORE 249562.378
AT ITER 6907 NEW BEST:: SOT 5532396 SOS 2918016 HAS SOPS 2908266 HAS SOUS 247770 HAS SOUPS 246526 WITH SCORE 249444.016
AT ITER 6909 NEW BEST:: SOT 5532364 SOS 2917984 HAS SOPS 2908234 HAS SOUS 247699 HAS SOUPS 246455 WITH SCORE 249372.984
AT ITER 6930 NEW BEST:: SOT 5532220 SOS 2917840 HAS SOPS 2908090 HAS SOUS 247663 HAS SOUPS 246419 WITH SCORE 249336.84
AT ITER 6933 NEW BEST:: SOT 5532141 SOS 2917761 HAS SOPS 2908011 HAS SOUS 247505 HAS SOUPS 246261 WITH SCORE 249178.761
AT ITER 6934 NEW BEST:: SOT 5532141 SOS 2907580 HAS SOPS 2897830 HAS SOUS 247502 HAS SOUPS 246258 WITH SCORE 249165.58
AT ITER 6975 NEW BEST:: SOT 5532016 SOS 2907492 HAS SOPS 2897742 HAS SOUS 247326 HAS SOUPS 246082 WITH SCORE 248989.492
AT ITER 6991 NEW BEST:: SOT 5532002 SOS 2907464 HAS SOPS 2897714 HAS SOUS 247298 HAS SOUPS 246054 WITH SCORE 248961.464
AT ITER 6995 NEW BEST:: SOT 5531968 SOS 2907447 HAS SOPS 2897697 HAS SOUS 247230 HAS SOUPS 245986 WITH SCORE 248893.447
AT ITER 7020 NEW BEST:: SOT 5531964 SOS 2907442 HAS SOPS 2897692 HAS SOUS 247222 HAS SOUPS 245978 WITH SCORE 248885.442
AT ITER 7041 NEW BEST:: SOT 5531998 SOS 2907468 HAS SOPS 2897718 HAS SOUS 247204 HAS SOUPS 245960 WITH SCORE 248867.468
AT ITER 7043 NEW BEST:: SOT 5532023 SOS 2907493 HAS SOPS 2897743 HAS SOUS 247102 HAS SOUPS 245858 WITH SCORE 248765.493
AT ITER 7045 NEW BEST:: SOT 5531768 SOS 2906881 HAS SOPS 2897131 HAS SOUS 246796 HAS SOUPS 245552 WITH SCORE 248458.881
AT ITER 7070 NEW BEST:: SOT 5531726 SOS 2906842 HAS SOPS 2897092 HAS SOUS 246787 HAS SOUPS 245543 WITH SCORE 248449.842
AT ITER 7117 NEW BEST:: SOT 5531687 SOS 2906803 HAS SOPS 2897053 HAS SOUS 246709 HAS SOUPS 245465 WITH SCORE 248371.803
AT ITER 7118 NEW BEST:: SOT 5531659 SOS 2906775 HAS SOPS 2897009 HAS SOUS 246633 HAS SOUPS 245389 WITH SCORE 248295.775
AT ITER 7119 NEW BEST:: SOT 5531611 SOS 2906673 HAS SOPS 2896907 HAS SOUS 246598 HAS SOUPS 245354 WITH SCORE 248260.673
AT ITER 7120 NEW BEST:: SOT 5539692 SOS 2914875 HAS SOPS 2905109 HAS SOUS 244864 HAS SOUPS 243620 WITH SCORE 246534.875
AT ITER 7139 NEW BEST:: SOT 5539676 SOS 2914840 HAS SOPS 2905075 HAS SOUS 244830 HAS SOUPS 243587 WITH SCORE 246501.84
AT ITER 7148 NEW BEST:: SOT 5539609 SOS 2914825 HAS SOPS 2905063 HAS SOUS 244691 HAS SOUPS 243448 WITH SCORE 246362.825
AT ITER 7175 NEW BEST:: SOT 5539438 SOS 2914629 HAS SOPS 2904867 HAS SOUS 244516 HAS SOUPS 243273 WITH SCORE 246187.629
AT ITER 7189 NEW BEST:: SOT 5539401 SOS 2914709 HAS SOPS 2904947 HAS SOUS 244280 HAS SOUPS 243037 WITH SCORE 245951.709
AT ITER 7220 NEW BEST:: SOT 5459575 SOS 2834883 HAS SOPS 2825121 HAS SOUS 239056 HAS SOUPS 237813 WITH SCORE 240647.883
AT ITER 7230 NEW BEST:: SOT 5459547 SOS 2834849 HAS SOPS 2825087 HAS SOUS 239024 HAS SOUPS 237781 WITH SCORE 240615.849
AT ITER 7248 NEW BEST:: SOT 5459554 SOS 2834856 HAS SOPS 2825094 HAS SOUS 238954 HAS SOUPS 237711 WITH SCORE 240545.856
AT ITER 7256 NEW BEST:: SOT 5459511 SOS 2834745 HAS SOPS 2824983 HAS SOUS 238796 HAS SOUPS 237553 WITH SCORE 240387.745
AT ITER 7295 NEW BEST:: SOT 5459246 SOS 2834425 HAS SOPS 2824663 HAS SOUS 238495 HAS SOUPS 237252 WITH SCORE 240086.425
AT ITER 7299 NEW BEST:: SOT 5459076 SOS 2834302 HAS SOPS 2824540 HAS SOUS 237983 HAS SOUPS 236740 WITH SCORE 239574.302
AT ITER 7308 NEW BEST:: SOT 5458803 SOS 2833895 HAS SOPS 2824133 HAS SOUS 237792 HAS SOUPS 236549 WITH SCORE 239382.895
AT ITER 7379 NEW BEST:: SOT 5458802 SOS 2833894 HAS SOPS 2824132 HAS SOUS 237790 HAS SOUPS 236547 WITH SCORE 239380.894
AT ITER 7381 NEW BEST:: SOT 5458774 SOS 2833852 HAS SOPS 2824090 HAS SOUS 237762 HAS SOUPS 236519 WITH SCORE 239352.852
AT ITER 7390 NEW BEST:: SOT 5458762 SOS 2833840 HAS SOPS 2824078 HAS SOUS 237456 HAS SOUPS 236213 WITH SCORE 239046.84
AT ITER 7415 NEW BEST:: SOT 5458620 SOS 2833745 HAS SOPS 2823983 HAS SOUS 236575 HAS SOUPS 235332 WITH SCORE 238165.745
AT ITER 7431 NEW BEST:: SOT 5458602 SOS 2833745 HAS SOPS 2823983 HAS SOUS 236485 HAS SOUPS 235242 WITH SCORE 238075.745
AT ITER 7438 NEW BEST:: SOT 5458569 SOS 2833709 HAS SOPS 2823947 HAS SOUS 236452 HAS SOUPS 235209 WITH SCORE 238042.709
AT ITER 7442 NEW BEST:: SOT 5458444 SOS 2833584 HAS SOPS 2823822 HAS SOUS 236209 HAS SOUPS 234966 WITH SCORE 237799.584
AT ITER 7450 NEW BEST:: SOT 5458273 SOS 2833291 HAS SOPS 2823533 HAS SOUS 236077 HAS SOUPS 234834 WITH SCORE 237667.291
AT ITER 7485 NEW BEST:: SOT 5458169 SOS 2833000 HAS SOPS 2823242 HAS SOUS 235942 HAS SOUPS 234699 WITH SCORE 237532.0
AT ITER 7486 NEW BEST:: SOT 5458030 SOS 2832694 HAS SOPS 2822936 HAS SOUS 235633 HAS SOUPS 234390 WITH SCORE 237222.694
AT ITER 7498 NEW BEST:: SOT 5458030 SOS 2832699 HAS SOPS 2822941 HAS SOUS 235628 HAS SOUPS 234385 WITH SCORE 237217.699
AT ITER 7515 NEW BEST:: SOT 5458007 SOS 2832676 HAS SOPS 2822918 HAS SOUS 235595 HAS SOUPS 234352 WITH SCORE 237184.676
AT ITER 7521 NEW BEST:: SOT 5457983 SOS 2832652 HAS SOPS 2822894 HAS SOUS 235539 HAS SOUPS 234296 WITH SCORE 237128.652
AT ITER 7534 NEW BEST:: SOT 5458007 SOS 2832676 HAS SOPS 2822882 HAS SOUS 235515 HAS SOUPS 234272 WITH SCORE 237104.676
AT ITER 7580 NEW BEST:: SOT 5457908 SOS 2832611 HAS SOPS 2822817 HAS SOUS 235495 HAS SOUPS 234252 WITH SCORE 237084.611
AT ITER 7625 NEW BEST:: SOT 5457853 SOS 2832556 HAS SOPS 2822762 HAS SOUS 235396 HAS SOUPS 234153 WITH SCORE 236985.556
AT ITER 7634 NEW BEST:: SOT 5457780 SOS 2832483 HAS SOPS 2822689 HAS SOUS 233577 HAS SOUPS 232334 WITH SCORE 235166.483
AT ITER 7666 NEW BEST:: SOT 5457654 SOS 2832357 HAS SOPS 2822626 HAS SOUS 233390 HAS SOUPS 232147 WITH SCORE 234979.357
AT ITER 7680 NEW BEST:: SOT 5457297 SOS 2831851 HAS SOPS 2822120 HAS SOUS 233173 HAS SOUPS 231930 WITH SCORE 234761.851
AT ITER 7709 NEW BEST:: SOT 5456514 SOS 2830862 HAS SOPS 2821131 HAS SOUS 232792 HAS SOUPS 231549 WITH SCORE 234379.862
AT ITER 7716 NEW BEST:: SOT 5456443 SOS 2830818 HAS SOPS 2821087 HAS SOUS 232673 HAS SOUPS 231430 WITH SCORE 234260.818
AT ITER 7729 NEW BEST:: SOT 5456433 SOS 2830808 HAS SOPS 2821077 HAS SOUS 232663 HAS SOUPS 231420 WITH SCORE 234250.808
AT ITER 7732 NEW BEST:: SOT 5456402 SOS 2830777 HAS SOPS 2821046 HAS SOUS 232632 HAS SOUPS 231389 WITH SCORE 234219.777
AT ITER 7746 NEW BEST:: SOT 5456379 SOS 2827283 HAS SOPS 2817552 HAS SOUS 231906 HAS SOUPS 230663 WITH SCORE 233490.283
AT ITER 7755 NEW BEST:: SOT 5456586 SOS 2827418 HAS SOPS 2817759 HAS SOUS 230808 HAS SOUPS 229574 WITH SCORE 232401.418
AT ITER 7761 NEW BEST:: SOT 5456522 SOS 2827354 HAS SOPS 2817695 HAS SOUS 230776 HAS SOUPS 229542 WITH SCORE 232369.354
AT ITER 7768 NEW BEST:: SOT 5456430 SOS 2827297 HAS SOPS 2817638 HAS SOUS 230697 HAS SOUPS 229463 WITH SCORE 232290.297
AT ITER 7777 NEW BEST:: SOT 5456392 SOS 2827259 HAS SOPS 2817600 HAS SOUS 230658 HAS SOUPS 229424 WITH SCORE 232251.259
AT ITER 7784 NEW BEST:: SOT 5456392 SOS 2827241 HAS SOPS 2817582 HAS SOUS 230654 HAS SOUPS 229420 WITH SCORE 232247.241
AT ITER 7788 NEW BEST:: SOT 5456387 SOS 2827236 HAS SOPS 2817577 HAS SOUS 230644 HAS SOUPS 229410 WITH SCORE 232237.236
AT ITER 7794 NEW BEST:: SOT 5456383 SOS 2827230 HAS SOPS 2817571 HAS SOUS 230636 HAS SOUPS 229402 WITH SCORE 232229.23
AT ITER 7801 NEW BEST:: SOT 5456464 SOS 2828146 HAS SOPS 2818476 HAS SOUS 230594 HAS SOUPS 229360 WITH SCORE 232188.146
AT ITER 7821 NEW BEST:: SOT 5456453 SOS 2828108 HAS SOPS 2818438 HAS SOUS 230572 HAS SOUPS 229338 WITH SCORE 232166.108
AT ITER 7868 NEW BEST:: SOT 5456442 SOS 2828097 HAS SOPS 2818427 HAS SOUS 230553 HAS SOUPS 229319 WITH SCORE 232147.097
AT ITER 7885 NEW BEST:: SOT 5456442 SOS 2828097 HAS SOPS 2818427 HAS SOUS 230552 HAS SOUPS 229318 WITH SCORE 232146.097
AT ITER 7889 NEW BEST:: SOT 5456351 SOS 2828006 HAS SOPS 2818336 HAS SOUS 230506 HAS SOUPS 229272 WITH SCORE 232100.006
AT ITER 7893 NEW BEST:: SOT 5456351 SOS 2828001 HAS SOPS 2818326 HAS SOUS 230506 HAS SOUPS 229272 WITH SCORE 232100.001
AT ITER 7903 NEW BEST:: SOT 5456326 SOS 2827981 HAS SOPS 2818306 HAS SOUS 230456 HAS SOUPS 229222 WITH SCORE 232049.981
AT ITER 7917 NEW BEST:: SOT 5456306 SOS 2783035 HAS SOPS 2773360 HAS SOUS 230178 HAS SOUPS 228944 WITH SCORE 231727.035
AT ITER 7918 NEW BEST:: SOT 5456243 SOS 2782972 HAS SOPS 2773297 HAS SOUS 230052 HAS SOUPS 228818 WITH SCORE 231600.972
AT ITER 7941 NEW BEST:: SOT 5456180 SOS 2782909 HAS SOPS 2773234 HAS SOUS 229277 HAS SOUPS 228043 WITH SCORE 230825.909
AT ITER 7950 NEW BEST:: SOT 5456149 SOS 2782878 HAS SOPS 2773203 HAS SOUS 229226 HAS SOUPS 227992 WITH SCORE 230774.878
AT ITER 7976 NEW BEST:: SOT 5456099 SOS 2782778 HAS SOPS 2773153 HAS SOUS 229226 HAS SOUPS 227992 WITH SCORE 230774.778
AT ITER 7979 NEW BEST:: SOT 5456102 SOS 2782781 HAS SOPS 2773156 HAS SOUS 229133 HAS SOUPS 227899 WITH SCORE 230681.781
AT ITER 7983 NEW BEST:: SOT 5455960 SOS 2782592 HAS SOPS 2772967 HAS SOUS 228944 HAS SOUPS 227710 WITH SCORE 230492.592
AT ITER 8002 NEW BEST:: SOT 5456000 SOS 2782677 HAS SOPS 2773052 HAS SOUS 228764 HAS SOUPS 227530 WITH SCORE 230312.677
AT ITER 8044 NEW BEST:: SOT 5455966 SOS 2782626 HAS SOPS 2773001 HAS SOUS 228679 HAS SOUPS 227445 WITH SCORE 230227.626
AT ITER 8048 NEW BEST:: SOT 5455883 SOS 2782526 HAS SOPS 2772901 HAS SOUS 228513 HAS SOUPS 227279 WITH SCORE 230061.526
AT ITER 8051 NEW BEST:: SOT 5455748 SOS 2782391 HAS SOPS 2772766 HAS SOUS 228429 HAS SOUPS 227195 WITH SCORE 229977.391
AT ITER 8119 NEW BEST:: SOT 5455755 SOS 2782378 HAS SOPS 2772753 HAS SOUS 228345 HAS SOUPS 227111 WITH SCORE 229893.378
AT ITER 8121 NEW BEST:: SOT 5455549 SOS 2782172 HAS SOPS 2772547 HAS SOUS 227705 HAS SOUPS 226471 WITH SCORE 229253.172
AT ITER 8146 NEW BEST:: SOT 5455707 SOS 2782558 HAS SOPS 2772933 HAS SOUS 227683 HAS SOUPS 226449 WITH SCORE 229231.558
AT ITER 8173 NEW BEST:: SOT 5455682 SOS 2782483 HAS SOPS 2772858 HAS SOUS 227683 HAS SOUPS 226449 WITH SCORE 229231.483
AT ITER 8208 NEW BEST:: SOT 5455682 SOS 2782524 HAS SOPS 2772899 HAS SOUS 227644 HAS SOUPS 226410 WITH SCORE 229192.524
AT ITER 8214 NEW BEST:: SOT 5455679 SOS 2782521 HAS SOPS 2772896 HAS SOUS 227638 HAS SOUPS 226404 WITH SCORE 229186.521
AT ITER 8216 NEW BEST:: SOT 5455748 SOS 2782590 HAS SOPS 2772884 HAS SOUS 227614 HAS SOUPS 226380 WITH SCORE 229162.59
AT ITER 8221 NEW BEST:: SOT 5455791 SOS 2782633 HAS SOPS 2772927 HAS SOUS 227581 HAS SOUPS 226347 WITH SCORE 229129.633
AT ITER 8234 NEW BEST:: SOT 5455789 SOS 2782628 HAS SOPS 2772922 HAS SOUS 227577 HAS SOUPS 226343 WITH SCORE 229125.628
AT ITER 8235 NEW BEST:: SOT 5455761 SOS 2782592 HAS SOPS 2772886 HAS SOUS 227505 HAS SOUPS 226271 WITH SCORE 229053.592
AT ITER 8246 NEW BEST:: SOT 5455728 SOS 2782541 HAS SOPS 2772835 HAS SOUS 227457 HAS SOUPS 226223 WITH SCORE 229005.541
AT ITER 8252 NEW BEST:: SOT 5439032 SOS 2765823 HAS SOPS 2756117 HAS SOUS 225627 HAS SOUPS 224393 WITH SCORE 227158.823
AT ITER 8294 NEW BEST:: SOT 5439032 SOS 2765798 HAS SOPS 2756092 HAS SOUS 225627 HAS SOUPS 224393 WITH SCORE 227158.798
AT ITER 8299 NEW BEST:: SOT 5439031 SOS 2765798 HAS SOPS 2756092 HAS SOUS 225625 HAS SOUPS 224391 WITH SCORE 227156.798
AT ITER 8301 NEW BEST:: SOT 5439031 SOS 2765798 HAS SOPS 2756092 HAS SOUS 225573 HAS SOUPS 224339 WITH SCORE 227104.798
AT ITER 8320 NEW BEST:: SOT 5436406 SOS 2763173 HAS SOPS 2753467 HAS SOUS 225478 HAS SOUPS 224244 WITH SCORE 227007.173
AT ITER 8374 NEW BEST:: SOT 5436553 SOS 2763546 HAS SOPS 2753840 HAS SOUS 225398 HAS SOUPS 224164 WITH SCORE 226927.546
AT ITER 8417 NEW BEST:: SOT 5436549 SOS 2763542 HAS SOPS 2753836 HAS SOUS 225398 HAS SOUPS 224164 WITH SCORE 226927.542
AT ITER 8423 NEW BEST:: SOT 5436450 SOS 2763443 HAS SOPS 2753737 HAS SOUS 225299 HAS SOUPS 224065 WITH SCORE 226828.443
AT ITER 8429 NEW BEST:: SOT 5436608 SOS 2763601 HAS SOPS 2753895 HAS SOUS 224900 HAS SOUPS 223666 WITH SCORE 226429.601
AT ITER 8432 NEW BEST:: SOT 5436605 SOS 2763601 HAS SOPS 2753895 HAS SOUS 224837 HAS SOUPS 223603 WITH SCORE 226366.601
AT ITER 8436 NEW BEST:: SOT 5436563 SOS 2763559 HAS SOPS 2753853 HAS SOUS 224753 HAS SOUPS 223519 WITH SCORE 226282.559
AT ITER 8458 NEW BEST:: SOT 5436549 SOS 2763543 HAS SOPS 2753837 HAS SOUS 224735 HAS SOUPS 223501 WITH SCORE 226264.543
AT ITER 8464 NEW BEST:: SOT 5436549 SOS 2763549 HAS SOPS 2753843 HAS SOUS 224731 HAS SOUPS 223497 WITH SCORE 226260.549
AT ITER 8475 NEW BEST:: SOT 5436259 SOS 2763518 HAS SOPS 2753812 HAS SOUS 224581 HAS SOUPS 223347 WITH SCORE 226110.518
AT ITER 8488 NEW BEST:: SOT 5436059 SOS 2762794 HAS SOPS 2753057 HAS SOUS 224519 HAS SOUPS 223285 WITH SCORE 226047.794
AT ITER 8503 NEW BEST:: SOT 5435961 SOS 2762713 HAS SOPS 2752976 HAS SOUS 224323 HAS SOUPS 223089 WITH SCORE 225851.713
AT ITER 8507 NEW BEST:: SOT 5435894 SOS 2762646 HAS SOPS 2752910 HAS SOUS 224189 HAS SOUPS 222955 WITH SCORE 225717.646
AT ITER 8515 NEW BEST:: SOT 5435880 SOS 2762498 HAS SOPS 2752762 HAS SOUS 224098 HAS SOUPS 222864 WITH SCORE 225626.498
AT ITER 8517 NEW BEST:: SOT 5435844 SOS 2762462 HAS SOPS 2752726 HAS SOUS 224092 HAS SOUPS 222858 WITH SCORE 225620.462
AT ITER 8536 NEW BEST:: SOT 5435835 SOS 2762453 HAS SOPS 2752717 HAS SOUS 224074 HAS SOUPS 222840 WITH SCORE 225602.453
AT ITER 8600 NEW BEST:: SOT 5435821 SOS 2762439 HAS SOPS 2752695 HAS SOUS 224038 HAS SOUPS 222804 WITH SCORE 225566.439
AT ITER 8601 NEW BEST:: SOT 5435744 SOS 2762362 HAS SOPS 2752618 HAS SOUS 223936 HAS SOUPS 222702 WITH SCORE 225464.362
AT ITER 8628 NEW BEST:: SOT 5435600 SOS 2762165 HAS SOPS 2752421 HAS SOUS 223767 HAS SOUPS 222533 WITH SCORE 225295.165
AT ITER 8642 NEW BEST:: SOT 5435614 SOS 2762205 HAS SOPS 2752461 HAS SOUS 223717 HAS SOUPS 222483 WITH SCORE 225245.205
AT ITER 8655 NEW BEST:: SOT 5435855 SOS 2762482 HAS SOPS 2752738 HAS SOUS 223655 HAS SOUPS 222421 WITH SCORE 225183.482
AT ITER 8684 NEW BEST:: SOT 5435797 SOS 2762515 HAS SOPS 2752771 HAS SOUS 223539 HAS SOUPS 222305 WITH SCORE 225067.515
AT ITER 8696 NEW BEST:: SOT 5435734 SOS 2762452 HAS SOPS 2752708 HAS SOUS 223413 HAS SOUPS 222179 WITH SCORE 224941.452
AT ITER 8697 NEW BEST:: SOT 5436174 SOS 2763903 HAS SOPS 2753127 HAS SOUS 223519 HAS SOUPS 222156 WITH SCORE 224919.903
AT ITER 8704 NEW BEST:: SOT 5436180 SOS 2763899 HAS SOPS 2753123 HAS SOUS 223515 HAS SOUPS 222152 WITH SCORE 224915.899
AT ITER 8708 NEW BEST:: SOT 5435986 SOS 2763708 HAS SOPS 2752932 HAS SOUS 222719 HAS SOUPS 221356 WITH SCORE 224119.708
AT ITER 8713 NEW BEST:: SOT 5435914 SOS 2763780 HAS SOPS 2753004 HAS SOUS 222602 HAS SOUPS 221239 WITH SCORE 224002.78
AT ITER 8721 NEW BEST:: SOT 5435862 SOS 2763728 HAS SOPS 2752952 HAS SOUS 222505 HAS SOUPS 221142 WITH SCORE 223905.728
AT ITER 8725 NEW BEST:: SOT 5435868 SOS 2763793 HAS SOPS 2753017 HAS SOUS 222294 HAS SOUPS 220931 WITH SCORE 223694.793
AT ITER 8739 NEW BEST:: SOT 5435826 SOS 2763751 HAS SOPS 2752975 HAS SOUS 222189 HAS SOUPS 220826 WITH SCORE 223589.751
AT ITER 8746 NEW BEST:: SOT 5435768 SOS 2763693 HAS SOPS 2752917 HAS SOUS 222066 HAS SOUPS 220703 WITH SCORE 223466.693
AT ITER 8753 NEW BEST:: SOT 5435874 SOS 2764075 HAS SOPS 2753299 HAS SOUS 221978 HAS SOUPS 220615 WITH SCORE 223379.075
AT ITER 8756 NEW BEST:: SOT 5435883 SOS 2764058 HAS SOPS 2753282 HAS SOUS 221961 HAS SOUPS 220598 WITH SCORE 223362.058
AT ITER 8758 NEW BEST:: SOT 5435857 SOS 2763980 HAS SOPS 2753204 HAS SOUS 221909 HAS SOUPS 220546 WITH SCORE 223309.98
AT ITER 8769 NEW BEST:: SOT 5435836 SOS 2763947 HAS SOPS 2753171 HAS SOUS 221623 HAS SOUPS 220260 WITH SCORE 223023.947
AT ITER 8782 NEW BEST:: SOT 5435733 SOS 2763898 HAS SOPS 2753122 HAS SOUS 221574 HAS SOUPS 220211 WITH SCORE 222974.898
AT ITER 8790 NEW BEST:: SOT 5435610 SOS 2763751 HAS SOPS 2752975 HAS SOUS 221568 HAS SOUPS 220205 WITH SCORE 222968.751
AT ITER 8828 NEW BEST:: SOT 5435478 SOS 2763619 HAS SOPS 2752843 HAS SOUS 221311 HAS SOUPS 219948 WITH SCORE 222711.619
AT ITER 8866 NEW BEST:: SOT 5435373 SOS 2763490 HAS SOPS 2752714 HAS SOUS 221182 HAS SOUPS 219819 WITH SCORE 222582.49
AT ITER 8879 NEW BEST:: SOT 5435373 SOS 2763463 HAS SOPS 2752687 HAS SOUS 221182 HAS SOUPS 219819 WITH SCORE 222582.463
AT ITER 8885 NEW BEST:: SOT 5435352 SOS 2763442 HAS SOPS 2752586 HAS SOUS 221045 HAS SOUPS 219682 WITH SCORE 222445.442
AT ITER 8940 NEW BEST:: SOT 5435292 SOS 2763386 HAS SOPS 2752530 HAS SOUS 220989 HAS SOUPS 219626 WITH SCORE 222389.386
AT ITER 8969 NEW BEST:: SOT 5435262 SOS 2763356 HAS SOPS 2752500 HAS SOUS 220900 HAS SOUPS 219537 WITH SCORE 222300.356
AT ITER 8982 NEW BEST:: SOT 5435338 SOS 2763399 HAS SOPS 2752543 HAS SOUS 220743 HAS SOUPS 219380 WITH SCORE 222143.399
AT ITER 8983 NEW BEST:: SOT 5435168 SOS 2762333 HAS SOPS 2751477 HAS SOUS 220537 HAS SOUPS 219174 WITH SCORE 221936.333
AT ITER 8985 NEW BEST:: SOT 5435142 SOS 2762307 HAS SOPS 2751451 HAS SOUS 220511 HAS SOUPS 219148 WITH SCORE 221910.307
AT ITER 8987 NEW BEST:: SOT 5459157 SOS 2785125 HAS SOPS 2774269 HAS SOUS 219385 HAS SOUPS 218022 WITH SCORE 220807.125
AT ITER 9004 NEW BEST:: SOT 5459157 SOS 2785140 HAS SOPS 2774284 HAS SOUS 219380 HAS SOUPS 218017 WITH SCORE 220802.14
AT ITER 9049 NEW BEST:: SOT 5459151 SOS 2785134 HAS SOPS 2774275 HAS SOUS 219371 HAS SOUPS 218006 WITH SCORE 220791.134
AT ITER 9051 NEW BEST:: SOT 5459279 SOS 2735578 HAS SOPS 2724719 HAS SOUS 218084 HAS SOUPS 216719 WITH SCORE 219454.578
AT ITER 9055 NEW BEST:: SOT 5459321 SOS 2344088 HAS SOPS 2333229 HAS SOUS 218203 HAS SOUPS 216838 WITH SCORE 219182.088
AT ITER 9062 NEW BEST:: SOT 5458990 SOS 2343701 HAS SOPS 2332842 HAS SOUS 217975 HAS SOUPS 216610 WITH SCORE 218953.701
AT ITER 9064 NEW BEST:: SOT 5458975 SOS 2343686 HAS SOPS 2332812 HAS SOUS 217995 HAS SOUPS 216606 WITH SCORE 218949.686
AT ITER 9093 NEW BEST:: SOT 5458908 SOS 2343469 HAS SOPS 2332595 HAS SOUS 217861 HAS SOUPS 216472 WITH SCORE 218815.469
AT ITER 9099 NEW BEST:: SOT 5458847 SOS 2343414 HAS SOPS 2332540 HAS SOUS 217755 HAS SOUPS 216366 WITH SCORE 218709.414
AT ITER 9111 NEW BEST:: SOT 5458917 SOS 2343484 HAS SOPS 2332535 HAS SOUS 217745 HAS SOUPS 216356 WITH SCORE 218699.484
AT ITER 9141 NEW BEST:: SOT 5458385 SOS 2342626 HAS SOPS 2331677 HAS SOUS 217433 HAS SOUPS 216044 WITH SCORE 218386.626
AT ITER 9152 NEW BEST:: SOT 5458343 SOS 2342591 HAS SOPS 2331642 HAS SOUS 217412 HAS SOUPS 216023 WITH SCORE 218365.591
AT ITER 9157 NEW BEST:: SOT 5458274 SOS 2342499 HAS SOPS 2331550 HAS SOUS 217343 HAS SOUPS 215954 WITH SCORE 218296.499
AT ITER 9173 NEW BEST:: SOT 5457998 SOS 2342380 HAS SOPS 2331431 HAS SOUS 217105 HAS SOUPS 215716 WITH SCORE 218058.38
AT ITER 9196 NEW BEST:: SOT 5461039 SOS 2346301 HAS SOPS 2335352 HAS SOUS 216463 HAS SOUPS 215074 WITH SCORE 217420.301
AT ITER 9202 NEW BEST:: SOT 5461030 SOS 2345999 HAS SOPS 2335050 HAS SOUS 216445 HAS SOUPS 215056 WITH SCORE 217401.999
AT ITER 9206 NEW BEST:: SOT 5461043 SOS 2346022 HAS SOPS 2335073 HAS SOUS 216280 HAS SOUPS 214891 WITH SCORE 217237.022
AT ITER 9216 NEW BEST:: SOT 5460897 SOS 2345891 HAS SOPS 2335103 HAS SOUS 216237 HAS SOUPS 214848 WITH SCORE 217193.891
AT ITER 9294 NEW BEST:: SOT 5460895 SOS 2345863 HAS SOPS 2335075 HAS SOUS 216233 HAS SOUPS 214844 WITH SCORE 217189.863
AT ITER 9304 NEW BEST:: SOT 5460912 SOS 2345857 HAS SOPS 2335069 HAS SOUS 216210 HAS SOUPS 214821 WITH SCORE 217166.857
AT ITER 9324 NEW BEST:: SOT 5460947 SOS 2345834 HAS SOPS 2335046 HAS SOUS 216169 HAS SOUPS 214780 WITH SCORE 217125.834
AT ITER 9330 NEW BEST:: SOT 5460913 SOS 2345785 HAS SOPS 2334994 HAS SOUS 216106 HAS SOUPS 214717 WITH SCORE 217062.785
AT ITER 9332 NEW BEST:: SOT 5460907 SOS 2345779 HAS SOPS 2334988 HAS SOUS 215326 HAS SOUPS 213937 WITH SCORE 216282.779
AT ITER 9335 NEW BEST:: SOT 5460879 SOS 2345751 HAS SOPS 2334960 HAS SOUS 215309 HAS SOUPS 213920 WITH SCORE 216265.751
AT ITER 9354 NEW BEST:: SOT 5459345 SOS 2344224 HAS SOPS 2333425 HAS SOUS 215147 HAS SOUPS 213757 WITH SCORE 216101.224
AT ITER 9358 NEW BEST:: SOT 5459361 SOS 2344240 HAS SOPS 2333441 HAS SOUS 215133 HAS SOUPS 213743 WITH SCORE 216087.24
AT ITER 9363 NEW BEST:: SOT 5459173 SOS 2344030 HAS SOPS 2333209 HAS SOUS 214923 HAS SOUPS 213533 WITH SCORE 215877.03
AT ITER 9372 NEW BEST:: SOT 5459162 SOS 2344008 HAS SOPS 2333187 HAS SOUS 214901 HAS SOUPS 213511 WITH SCORE 215855.008
AT ITER 9379 NEW BEST:: SOT 5459158 SOS 2344004 HAS SOPS 2333183 HAS SOUS 214899 HAS SOUPS 213509 WITH SCORE 215853.004
AT ITER 9398 NEW BEST:: SOT 5459083 SOS 2343929 HAS SOPS 2333108 HAS SOUS 214824 HAS SOUPS 213434 WITH SCORE 215777.929
AT ITER 9399 NEW BEST:: SOT 5458728 SOS 2343316 HAS SOPS 2332495 HAS SOUS 214719 HAS SOUPS 213329 WITH SCORE 215672.316
AT ITER 9402 NEW BEST:: SOT 5458728 SOS 2343575 HAS SOPS 2332754 HAS SOUS 214697 HAS SOUPS 213307 WITH SCORE 215650.575
AT ITER 9411 NEW BEST:: SOT 5458729 SOS 2343576 HAS SOPS 2332755 HAS SOUS 214633 HAS SOUPS 213243 WITH SCORE 215586.576
AT ITER 9417 NEW BEST:: SOT 5458582 SOS 2228716 HAS SOPS 2217895 HAS SOUS 214322 HAS SOUPS 212932 WITH SCORE 215160.716
AT ITER 9443 NEW BEST:: SOT 5458576 SOS 2228708 HAS SOPS 2217887 HAS SOUS 214316 HAS SOUPS 212926 WITH SCORE 215154.708
AT ITER 9460 NEW BEST:: SOT 5458352 SOS 2228639 HAS SOPS 2217818 HAS SOUS 214170 HAS SOUPS 212780 WITH SCORE 215008.639
AT ITER 9480 NEW BEST:: SOT 5458244 SOS 2228045 HAS SOPS 2217224 HAS SOUS 214062 HAS SOUPS 212672 WITH SCORE 214900.045
AT ITER 9484 NEW BEST:: SOT 5458233 SOS 2228034 HAS SOPS 2217213 HAS SOUS 214040 HAS SOUPS 212650 WITH SCORE 214878.034
AT ITER 9532 NEW BEST:: SOT 5458183 SOS 2227984 HAS SOPS 2217163 HAS SOUS 213968 HAS SOUPS 212578 WITH SCORE 214805.984
AT ITER 9547 NEW BEST:: SOT 5458191 SOS 2227992 HAS SOPS 2217171 HAS SOUS 213871 HAS SOUPS 212481 WITH SCORE 214708.992
AT ITER 9552 NEW BEST:: SOT 5465359 SOS 2235296 HAS SOPS 2224475 HAS SOUS 213534 HAS SOUPS 212144 WITH SCORE 214379.296
AT ITER 9557 NEW BEST:: SOT 5465428 SOS 2235697 HAS SOPS 2224876 HAS SOUS 213452 HAS SOUPS 212062 WITH SCORE 214297.697
AT ITER 9573 NEW BEST:: SOT 5465372 SOS 2235641 HAS SOPS 2224820 HAS SOUS 213340 HAS SOUPS 211950 WITH SCORE 214185.641
AT ITER 9626 NEW BEST:: SOT 5466339 SOS 2236608 HAS SOPS 2225787 HAS SOUS 212533 HAS SOUPS 211143 WITH SCORE 213379.608
AT ITER 9686 NEW BEST:: SOT 5466339 SOS 2236596 HAS SOPS 2225775 HAS SOUS 212533 HAS SOUPS 211143 WITH SCORE 213379.596
AT ITER 9758 NEW BEST:: SOT 5466322 SOS 2236562 HAS SOPS 2225741 HAS SOUS 212425 HAS SOUPS 211035 WITH SCORE 213271.562
AT ITER 9785 NEW BEST:: SOT 5467817 SOS 2238057 HAS SOPS 2227236 HAS SOUS 211269 HAS SOUPS 209879 WITH SCORE 212117.057
AT ITER 9786 NEW BEST:: SOT 5467721 SOS 2237883 HAS SOPS 2227062 HAS SOUS 211155 HAS SOUPS 209765 WITH SCORE 212002.883
AT ITER 9790 NEW BEST:: SOT 5467701 SOS 2237863 HAS SOPS 2227042 HAS SOUS 211125 HAS SOUPS 209735 WITH SCORE 211972.863
AT ITER 9794 NEW BEST:: SOT 5467532 SOS 2237246 HAS SOPS 2226425 HAS SOUS 211002 HAS SOUPS 209612 WITH SCORE 211849.246
AT ITER 9818 NEW BEST:: SOT 5467011 SOS 2235661 HAS SOPS 2224840 HAS SOUS 210292 HAS SOUPS 208902 WITH SCORE 211137.661
AT ITER 9843 NEW BEST:: SOT 5467006 SOS 2235651 HAS SOPS 2224830 HAS SOUS 210282 HAS SOUPS 208892 WITH SCORE 211127.651
AT ITER 9856 NEW BEST:: SOT 5466970 SOS 2235624 HAS SOPS 2224803 HAS SOUS 210201 HAS SOUPS 208811 WITH SCORE 211046.624
AT ITER 9863 NEW BEST:: SOT 5466994 SOS 2235648 HAS SOPS 2224793 HAS SOUS 210181 HAS SOUPS 208791 WITH SCORE 211026.648
AT ITER 9864 NEW BEST:: SOT 5466211 SOS 2234764 HAS SOPS 2223909 HAS SOUS 209744 HAS SOUPS 208354 WITH SCORE 210588.764
AT ITER 9890 NEW BEST:: SOT 5465902 SOS 2234394 HAS SOPS 2223539 HAS SOUS 209695 HAS SOUPS 208305 WITH SCORE 210539.394
AT ITER 9898 NEW BEST:: SOT 5465884 SOS 2234316 HAS SOPS 2223461 HAS SOUS 209665 HAS SOUPS 208275 WITH SCORE 210509.316
AT ITER 9904 NEW BEST:: SOT 5465831 SOS 2234263 HAS SOPS 2223408 HAS SOUS 209571 HAS SOUPS 208181 WITH SCORE 210415.263
AT ITER 9913 NEW BEST:: SOT 5465833 SOS 2234267 HAS SOPS 2223412 HAS SOUS 209567 HAS SOUPS 208177 WITH SCORE 210411.267
AT ITER 9918 NEW BEST:: SOT 5465779 SOS 2234213 HAS SOPS 2223331 HAS SOUS 209459 HAS SOUPS 208069 WITH SCORE 210303.213
AT ITER 9942 NEW BEST:: SOT 5465785 SOS 2234219 HAS SOPS 2223315 HAS SOUS 209417 HAS SOUPS 208027 WITH SCORE 210261.219

BK_TIME_CONFINEMENT_REACHED

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

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="PolyORBLF-PT-S06J04T08"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S06J04T08, 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 r123-tajo-158961354900528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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