Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r291-tall-167873943100608.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool 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 r291-tall-167873943100608
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 22M
-rw-r--r-- 1 mcc users 26K Feb 26 14:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 141K Feb 26 14:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 221K Feb 26 14:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 984K Feb 26 14:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 44K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 154K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K Feb 26 15:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 26 15:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.1M Feb 26 15:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 4.7M Feb 26 15:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.6K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 14M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678804823252

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

Filename model.pnml
Petri model created: 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 7044137 SOS 4421828 HAS SOPS 4400494 HAS SOUS 771058 HAS SOUPS 770186 WITH SCORE 774607.828
AT ITER 5 NEW BEST:: SOT 7044087 SOS 4421778 HAS SOPS 4400536 HAS SOUS 771005 HAS SOUPS 770132 WITH SCORE 774553.778
AT ITER 7 NEW BEST:: SOT 6856416 SOS 4234228 HAS SOPS 4212986 HAS SOUS 746200 HAS SOUPS 745327 WITH SCORE 749561.228
AT ITER 9 NEW BEST:: SOT 6856183 SOS 4234163 HAS SOPS 4212913 HAS SOUS 745952 HAS SOUPS 745074 WITH SCORE 749308.163
AT ITER 10 NEW BEST:: SOT 6856146 SOS 4234126 HAS SOPS 4212876 HAS SOUS 745915 HAS SOUPS 745037 WITH SCORE 749271.126
AT ITER 22 NEW BEST:: SOT 6855060 SOS 4233269 HAS SOPS 4212019 HAS SOUS 744993 HAS SOUPS 744115 WITH SCORE 748348.269
AT ITER 24 NEW BEST:: SOT 6854607 SOS 4232876 HAS SOPS 4211626 HAS SOUS 744900 HAS SOUPS 744022 WITH SCORE 748254.876
AT ITER 46 NEW BEST:: SOT 6854572 SOS 4232806 HAS SOPS 4211556 HAS SOUS 744833 HAS SOUPS 743955 WITH SCORE 748187.806
AT ITER 49 NEW BEST:: SOT 6854104 SOS 4232398 HAS SOPS 4211148 HAS SOUS 744673 HAS SOUPS 743795 WITH SCORE 748027.398
AT ITER 72 NEW BEST:: SOT 6854137 SOS 4232248 HAS SOPS 4210998 HAS SOUS 744523 HAS SOUPS 743645 WITH SCORE 747877.248
AT ITER 74 NEW BEST:: SOT 6853073 SOS 4231390 HAS SOPS 4210140 HAS SOUS 742141 HAS SOUPS 741263 WITH SCORE 745494.39
AT ITER 79 NEW BEST:: SOT 6852085 SOS 4230598 HAS SOPS 4209348 HAS SOUS 741169 HAS SOUPS 740291 WITH SCORE 744521.598
AT ITER 88 NEW BEST:: SOT 6851861 SOS 4230374 HAS SOPS 4209124 HAS SOUS 740961 HAS SOUPS 740083 WITH SCORE 744313.374
AT ITER 90 NEW BEST:: SOT 6851446 SOS 4230019 HAS SOPS 4208769 HAS SOUS 740834 HAS SOUPS 739956 WITH SCORE 744186.019
AT ITER 103 NEW BEST:: SOT 6851276 SOS 4229849 HAS SOPS 4208673 HAS SOUS 740786 HAS SOUPS 739908 WITH SCORE 744137.849
AT ITER 106 NEW BEST:: SOT 6850261 SOS 4229138 HAS SOPS 4207962 HAS SOUS 740239 HAS SOUPS 739361 WITH SCORE 743590.138
AT ITER 107 NEW BEST:: SOT 6849866 SOS 4228757 HAS SOPS 4207581 HAS SOUS 739782 HAS SOUPS 738904 WITH SCORE 743132.757
AT ITER 108 NEW BEST:: SOT 6849296 SOS 4228209 HAS SOPS 4207033 HAS SOUS 739087 HAS SOUPS 738209 WITH SCORE 742437.209
AT ITER 109 NEW BEST:: SOT 6848936 SOS 4227609 HAS SOPS 4206433 HAS SOUS 738595 HAS SOUPS 737717 WITH SCORE 741944.609
AT ITER 111 NEW BEST:: SOT 6849092 SOS 4227811 HAS SOPS 4206635 HAS SOUS 738467 HAS SOUPS 737589 WITH SCORE 741816.811
AT ITER 123 NEW BEST:: SOT 6849087 SOS 4228229 HAS SOPS 4207312 HAS SOUS 738227 HAS SOUPS 737349 WITH SCORE 741577.229
AT ITER 124 NEW BEST:: SOT 6849087 SOS 4228085 HAS SOPS 4207168 HAS SOUS 738225 HAS SOUPS 737347 WITH SCORE 741575.085
AT ITER 128 NEW BEST:: SOT 6848410 SOS 4227548 HAS SOPS 4206631 HAS SOUS 737577 HAS SOUPS 736699 WITH SCORE 740926.548
AT ITER 132 NEW BEST:: SOT 6848406 SOS 4227544 HAS SOPS 4206627 HAS SOUS 737569 HAS SOUPS 736691 WITH SCORE 740918.544
AT ITER 138 NEW BEST:: SOT 6847374 SOS 4226710 HAS SOPS 4205793 HAS SOUS 736645 HAS SOUPS 735767 WITH SCORE 739993.71
AT ITER 139 NEW BEST:: SOT 6847340 SOS 4226626 HAS SOPS 4205709 HAS SOUS 736561 HAS SOUPS 735683 WITH SCORE 739909.626
AT ITER 141 NEW BEST:: SOT 6831389 SOS 4263794 HAS SOPS 4255849 HAS SOUS 724230 HAS SOUPS 723591 WITH SCORE 727854.794
AT ITER 146 NEW BEST:: SOT 6831341 SOS 4263746 HAS SOPS 4255801 HAS SOUS 724157 HAS SOUPS 723518 WITH SCORE 727781.746
AT ITER 155 NEW BEST:: SOT 6831381 SOS 4263916 HAS SOPS 4255971 HAS SOUS 724128 HAS SOUPS 723489 WITH SCORE 727752.916
AT ITER 158 NEW BEST:: SOT 6831302 SOS 4263837 HAS SOPS 4255892 HAS SOUS 723944 HAS SOUPS 723305 WITH SCORE 727568.837
AT ITER 162 NEW BEST:: SOT 6830730 SOS 4263566 HAS SOPS 4255621 HAS SOUS 723828 HAS SOUPS 723189 WITH SCORE 727452.566
AT ITER 164 NEW BEST:: SOT 6830725 SOS 4263556 HAS SOPS 4255611 HAS SOUS 723818 HAS SOUPS 723179 WITH SCORE 727442.556
AT ITER 168 NEW BEST:: SOT 6830257 SOS 4263331 HAS SOPS 4255386 HAS SOUS 723577 HAS SOUPS 722938 WITH SCORE 727201.331
AT ITER 173 NEW BEST:: SOT 6675157 SOS 4108231 HAS SOPS 4100286 HAS SOUS 703077 HAS SOUPS 702438 WITH SCORE 706546.231
AT ITER 180 NEW BEST:: SOT 6674830 SOS 4107904 HAS SOPS 4099959 HAS SOUS 702750 HAS SOUPS 702111 WITH SCORE 706218.904
AT ITER 181 NEW BEST:: SOT 6674746 SOS 4107633 HAS SOPS 4099646 HAS SOUS 702705 HAS SOUPS 702066 WITH SCORE 706173.633
AT ITER 184 NEW BEST:: SOT 6674738 SOS 4107585 HAS SOPS 4099598 HAS SOUS 702705 HAS SOUPS 702066 WITH SCORE 706173.585
AT ITER 185 NEW BEST:: SOT 6675435 SOS 4108098 HAS SOPS 4100111 HAS SOUS 701500 HAS SOUPS 700861 WITH SCORE 704969.098
AT ITER 187 NEW BEST:: SOT 6674883 SOS 4107581 HAS SOPS 4099594 HAS SOUS 700808 HAS SOUPS 700169 WITH SCORE 704276.581
AT ITER 190 NEW BEST:: SOT 6674883 SOS 4107581 HAS SOPS 4099594 HAS SOUS 700761 HAS SOUPS 700122 WITH SCORE 704229.581
AT ITER 191 NEW BEST:: SOT 6675189 SOS 4107998 HAS SOPS 4100011 HAS SOUS 700201 HAS SOUPS 699562 WITH SCORE 703669.998
AT ITER 195 NEW BEST:: SOT 6675384 SOS 4108236 HAS SOPS 4100249 HAS SOUS 700050 HAS SOUPS 699411 WITH SCORE 703519.236
AT ITER 208 NEW BEST:: SOT 6393695 SOS 3826547 HAS SOPS 3818560 HAS SOUS 663333 HAS SOUPS 662694 WITH SCORE 666520.547
AT ITER 209 NEW BEST:: SOT 6392841 SOS 3825876 HAS SOPS 3817889 HAS SOUS 662522 HAS SOUPS 661883 WITH SCORE 665708.876
AT ITER 210 NEW BEST:: SOT 6392656 SOS 3825622 HAS SOPS 3817635 HAS SOUS 662355 HAS SOUPS 661716 WITH SCORE 665541.622
AT ITER 214 NEW BEST:: SOT 6392704 SOS 3825768 HAS SOPS 3817781 HAS SOUS 662187 HAS SOUPS 661548 WITH SCORE 665373.768
AT ITER 217 NEW BEST:: SOT 6392667 SOS 3825731 HAS SOPS 3817707 HAS SOUS 662178 HAS SOUPS 661504 WITH SCORE 665329.731
AT ITER 228 NEW BEST:: SOT 6392651 SOS 3825715 HAS SOPS 3817691 HAS SOUS 662162 HAS SOUPS 661488 WITH SCORE 665313.715
AT ITER 239 NEW BEST:: SOT 6392655 SOS 3825715 HAS SOPS 3817691 HAS SOUS 662150 HAS SOUPS 661476 WITH SCORE 665301.715
AT ITER 240 NEW BEST:: SOT 6392607 SOS 3825667 HAS SOPS 3817595 HAS SOUS 661993 HAS SOUPS 661319 WITH SCORE 665144.667
AT ITER 249 NEW BEST:: SOT 6392566 SOS 3825659 HAS SOPS 3817587 HAS SOUS 661979 HAS SOUPS 661305 WITH SCORE 665130.659
AT ITER 254 NEW BEST:: SOT 6392566 SOS 3825717 HAS SOPS 3817645 HAS SOUS 661923 HAS SOUPS 661249 WITH SCORE 665074.717
AT ITER 260 NEW BEST:: SOT 6392431 SOS 3825662 HAS SOPS 3817590 HAS SOUS 661435 HAS SOUPS 660761 WITH SCORE 664586.662
AT ITER 265 NEW BEST:: SOT 6392171 SOS 3814338 HAS SOPS 3806266 HAS SOUS 661071 HAS SOUPS 660397 WITH SCORE 664211.338
AT ITER 268 NEW BEST:: SOT 6391992 SOS 3814393 HAS SOPS 3806321 HAS SOUS 660490 HAS SOUPS 659816 WITH SCORE 663630.393
AT ITER 277 NEW BEST:: SOT 6391992 SOS 3814354 HAS SOPS 3806282 HAS SOUS 660373 HAS SOUPS 659699 WITH SCORE 663513.354
AT ITER 280 NEW BEST:: SOT 6392027 SOS 3814389 HAS SOPS 3806269 HAS SOUS 660282 HAS SOUPS 659608 WITH SCORE 663422.389
AT ITER 283 NEW BEST:: SOT 6392023 SOS 3814381 HAS SOPS 3806261 HAS SOUS 660274 HAS SOUPS 659600 WITH SCORE 663414.381
AT ITER 285 NEW BEST:: SOT 6392015 SOS 3814373 HAS SOPS 3806245 HAS SOUS 660258 HAS SOUPS 659584 WITH SCORE 663398.373
AT ITER 293 NEW BEST:: SOT 6391977 SOS 3814297 HAS SOPS 3806169 HAS SOUS 660182 HAS SOUPS 659508 WITH SCORE 663322.297
AT ITER 294 NEW BEST:: SOT 6392167 SOS 3814625 HAS SOPS 3806497 HAS SOUS 660162 HAS SOUPS 659488 WITH SCORE 663302.625
AT ITER 301 NEW BEST:: SOT 6391959 SOS 3814390 HAS SOPS 3806262 HAS SOUS 659988 HAS SOUPS 659314 WITH SCORE 663128.39
AT ITER 308 NEW BEST:: SOT 6391488 SOS 3813782 HAS SOPS 3805654 HAS SOUS 659756 HAS SOUPS 659082 WITH SCORE 662895.782
AT ITER 327 NEW BEST:: SOT 6391473 SOS 3813767 HAS SOPS 3805639 HAS SOUS 659741 HAS SOUPS 659067 WITH SCORE 662880.767
AT ITER 346 NEW BEST:: SOT 6391093 SOS 3813598 HAS SOPS 3805470 HAS SOUS 658793 HAS SOUPS 658119 WITH SCORE 661932.598
AT ITER 351 NEW BEST:: SOT 6390999 SOS 3813551 HAS SOPS 3805423 HAS SOUS 658722 HAS SOUPS 658048 WITH SCORE 661861.551
AT ITER 356 NEW BEST:: SOT 6390960 SOS 3813499 HAS SOPS 3805371 HAS SOUS 658656 HAS SOUPS 657982 WITH SCORE 661795.499
AT ITER 374 NEW BEST:: SOT 6391030 SOS 3813593 HAS SOPS 3805465 HAS SOUS 658644 HAS SOUPS 657970 WITH SCORE 661783.593
AT ITER 375 NEW BEST:: SOT 6391017 SOS 3813580 HAS SOPS 3805452 HAS SOUS 658566 HAS SOUPS 657892 WITH SCORE 661705.58
AT ITER 379 NEW BEST:: SOT 6390674 SOS 3817255 HAS SOPS 3809127 HAS SOUS 658186 HAS SOUPS 657512 WITH SCORE 661329.255
AT ITER 381 NEW BEST:: SOT 6390293 SOS 3816359 HAS SOPS 3808231 HAS SOUS 657405 HAS SOUPS 656731 WITH SCORE 660547.359
AT ITER 386 NEW BEST:: SOT 6389952 SOS 3815913 HAS SOPS 3807785 HAS SOUS 657025 HAS SOUPS 656351 WITH SCORE 660166.913
AT ITER 388 NEW BEST:: SOT 6387454 SOS 3813493 HAS SOPS 3805365 HAS SOUS 655008 HAS SOUPS 654334 WITH SCORE 658147.493
AT ITER 391 NEW BEST:: SOT 6387530 SOS 3813569 HAS SOPS 3805393 HAS SOUS 654988 HAS SOUPS 654304 WITH SCORE 658117.569
AT ITER 393 NEW BEST:: SOT 6387259 SOS 3813296 HAS SOPS 3805206 HAS SOUS 654788 HAS SOUPS 654104 WITH SCORE 657917.296
AT ITER 399 NEW BEST:: SOT 6387176 SOS 3813442 HAS SOPS 3805362 HAS SOUS 654657 HAS SOUPS 653973 WITH SCORE 657786.442
AT ITER 415 NEW BEST:: SOT 6386834 SOS 3812872 HAS SOPS 3804792 HAS SOUS 653517 HAS SOUPS 652833 WITH SCORE 656645.872
AT ITER 423 NEW BEST:: SOT 6386883 SOS 3813313 HAS SOPS 3805233 HAS SOUS 653223 HAS SOUPS 652539 WITH SCORE 656352.313
AT ITER 431 NEW BEST:: SOT 6386943 SOS 3813373 HAS SOPS 3805245 HAS SOUS 653169 HAS SOUPS 652485 WITH SCORE 656298.373
AT ITER 436 NEW BEST:: SOT 6386893 SOS 3813323 HAS SOPS 3805195 HAS SOUS 653069 HAS SOUPS 652385 WITH SCORE 656198.323
AT ITER 437 NEW BEST:: SOT 6386829 SOS 3813223 HAS SOPS 3805095 HAS SOUS 652941 HAS SOUPS 652257 WITH SCORE 656070.223
AT ITER 442 NEW BEST:: SOT 6386774 SOS 3812846 HAS SOPS 3804718 HAS SOUS 652831 HAS SOUPS 652147 WITH SCORE 655959.846
AT ITER 449 NEW BEST:: SOT 6386744 SOS 3812756 HAS SOPS 3804628 HAS SOUS 652741 HAS SOUPS 652057 WITH SCORE 655869.756
AT ITER 454 NEW BEST:: SOT 6386744 SOS 3812731 HAS SOPS 3804603 HAS SOUS 652741 HAS SOUPS 652057 WITH SCORE 655869.731
AT ITER 461 NEW BEST:: SOT 6360360 SOS 3786347 HAS SOPS 3778219 HAS SOUS 649222 HAS SOUPS 648538 WITH SCORE 652324.347
AT ITER 469 NEW BEST:: SOT 6360360 SOS 3786347 HAS SOPS 3778219 HAS SOUS 649040 HAS SOUPS 648356 WITH SCORE 652142.347
AT ITER 474 NEW BEST:: SOT 6360356 SOS 3786360 HAS SOPS 3778232 HAS SOUS 648983 HAS SOUPS 648299 WITH SCORE 652085.36
AT ITER 480 NEW BEST:: SOT 6360485 SOS 3786545 HAS SOPS 3778417 HAS SOUS 648970 HAS SOUPS 648286 WITH SCORE 652072.545
AT ITER 485 NEW BEST:: SOT 6360453 SOS 3786513 HAS SOPS 3778353 HAS SOUS 648906 HAS SOUPS 648222 WITH SCORE 652008.513
AT ITER 487 NEW BEST:: SOT 6118809 SOS 3544869 HAS SOPS 3536709 HAS SOUS 616990 HAS SOUPS 616306 WITH SCORE 619850.869
AT ITER 491 NEW BEST:: SOT 6118809 SOS 3544869 HAS SOPS 3536709 HAS SOUS 616988 HAS SOUPS 616304 WITH SCORE 619848.869
AT ITER 496 NEW BEST:: SOT 6117011 SOS 3542818 HAS SOPS 3534658 HAS SOUS 615538 HAS SOUPS 614854 WITH SCORE 618396.818
AT ITER 503 NEW BEST:: SOT 6116812 SOS 3542573 HAS SOPS 3534479 HAS SOUS 615368 HAS SOUPS 614684 WITH SCORE 618226.573
AT ITER 507 NEW BEST:: SOT 6116707 SOS 3542468 HAS SOPS 3534374 HAS SOUS 615284 HAS SOUPS 614600 WITH SCORE 618142.468
AT ITER 508 NEW BEST:: SOT 6116665 SOS 3542426 HAS SOPS 3534366 HAS SOUS 615246 HAS SOUPS 614562 WITH SCORE 618104.426
AT ITER 517 NEW BEST:: SOT 6116516 SOS 3542286 HAS SOPS 3534226 HAS SOUS 615178 HAS SOUPS 614494 WITH SCORE 618036.286
AT ITER 520 NEW BEST:: SOT 6116088 SOS 3541918 HAS SOPS 3533858 HAS SOUS 614974 HAS SOUPS 614290 WITH SCORE 617831.918
AT ITER 527 NEW BEST:: SOT 6116120 SOS 3542074 HAS SOPS 3534014 HAS SOUS 614914 HAS SOUPS 614230 WITH SCORE 617772.074
AT ITER 532 NEW BEST:: SOT 6116120 SOS 3542048 HAS SOPS 3533988 HAS SOUS 614914 HAS SOUPS 614230 WITH SCORE 617772.048
AT ITER 534 NEW BEST:: SOT 6116085 SOS 3542013 HAS SOPS 3533953 HAS SOUS 614844 HAS SOUPS 614160 WITH SCORE 617702.013
AT ITER 535 NEW BEST:: SOT 6115858 SOS 3541777 HAS SOPS 3533717 HAS SOUS 614603 HAS SOUPS 613919 WITH SCORE 617460.777
AT ITER 538 NEW BEST:: SOT 6116619 SOS 3542490 HAS SOPS 3534430 HAS SOUS 614131 HAS SOUPS 613447 WITH SCORE 616989.49
AT ITER 542 NEW BEST:: SOT 6116571 SOS 3542442 HAS SOPS 3534334 HAS SOUS 614027 HAS SOUPS 613343 WITH SCORE 616885.442
AT ITER 548 NEW BEST:: SOT 6116538 SOS 3542471 HAS SOPS 3534363 HAS SOUS 613981 HAS SOUPS 613297 WITH SCORE 616839.471
AT ITER 550 NEW BEST:: SOT 6116381 SOS 3542175 HAS SOPS 3534067 HAS SOUS 613695 HAS SOUPS 613011 WITH SCORE 616553.175
AT ITER 568 NEW BEST:: SOT 6116276 SOS 3543692 HAS SOPS 3535584 HAS SOUS 612569 HAS SOUPS 611885 WITH SCORE 615428.692
AT ITER 575 NEW BEST:: SOT 6116337 SOS 3543794 HAS SOPS 3535686 HAS SOUS 612360 HAS SOUPS 611676 WITH SCORE 615219.794
AT ITER 580 NEW BEST:: SOT 6116134 SOS 3543560 HAS SOPS 3535452 HAS SOUS 612212 HAS SOUPS 611528 WITH SCORE 615071.56
AT ITER 584 NEW BEST:: SOT 6116268 SOS 3544183 HAS SOPS 3536075 HAS SOUS 611790 HAS SOUPS 611106 WITH SCORE 614650.183
AT ITER 588 NEW BEST:: SOT 6116315 SOS 3544230 HAS SOPS 3536185 HAS SOUS 611654 HAS SOUPS 610970 WITH SCORE 614514.23
AT ITER 592 NEW BEST:: SOT 6086808 SOS 3514723 HAS SOPS 3506678 HAS SOUS 607721 HAS SOUPS 607037 WITH SCORE 610551.723
AT ITER 594 NEW BEST:: SOT 6086775 SOS 3514763 HAS SOPS 3506718 HAS SOUS 607445 HAS SOUPS 606761 WITH SCORE 610275.763
AT ITER 610 NEW BEST:: SOT 6086746 SOS 3514830 HAS SOPS 3506785 HAS SOUS 607280 HAS SOUPS 606596 WITH SCORE 610110.83
AT ITER 612 NEW BEST:: SOT 6087228 SOS 3515312 HAS SOPS 3507267 HAS SOUS 606808 HAS SOUPS 606124 WITH SCORE 609639.312
AT ITER 619 NEW BEST:: SOT 6086864 SOS 3514948 HAS SOPS 3506903 HAS SOUS 606444 HAS SOUPS 605760 WITH SCORE 609274.948
AT ITER 623 NEW BEST:: SOT 6087162 SOS 3515194 HAS SOPS 3507149 HAS SOUS 606344 HAS SOUPS 605660 WITH SCORE 609175.194
AT ITER 629 NEW BEST:: SOT 6087154 SOS 3515778 HAS SOPS 3507752 HAS SOUS 606340 HAS SOUPS 605657 WITH SCORE 609172.778
AT ITER 640 NEW BEST:: SOT 5945330 SOS 3373787 HAS SOPS 3365761 HAS SOUS 584764 HAS SOUPS 584081 WITH SCORE 587454.787
AT ITER 648 NEW BEST:: SOT 5945276 SOS 3373733 HAS SOPS 3365707 HAS SOUS 584740 HAS SOUPS 584057 WITH SCORE 587430.733
AT ITER 650 NEW BEST:: SOT 5945321 SOS 3373730 HAS SOPS 3365704 HAS SOUS 584686 HAS SOUPS 584003 WITH SCORE 587376.73
AT ITER 659 NEW BEST:: SOT 5945321 SOS 3373618 HAS SOPS 3365720 HAS SOUS 584535 HAS SOUPS 583868 WITH SCORE 587241.618
AT ITER 662 NEW BEST:: SOT 5944159 SOS 3372516 HAS SOPS 3364618 HAS SOUS 583373 HAS SOUPS 582706 WITH SCORE 586078.516
AT ITER 666 NEW BEST:: SOT 5943819 SOS 3372206 HAS SOPS 3364308 HAS SOUS 583155 HAS SOUPS 582488 WITH SCORE 585860.206
AT ITER 668 NEW BEST:: SOT 5670767 SOS 3316503 HAS SOPS 3308605 HAS SOUS 547024 HAS SOUPS 546357 WITH SCORE 549673.503
AT ITER 672 NEW BEST:: SOT 5670705 SOS 3316128 HAS SOPS 3308230 HAS SOUS 546765 HAS SOUPS 546098 WITH SCORE 549414.128
AT ITER 678 NEW BEST:: SOT 5648963 SOS 3294372 HAS SOPS 3286474 HAS SOUS 543853 HAS SOUPS 543186 WITH SCORE 546480.372
AT ITER 686 NEW BEST:: SOT 5648515 SOS 3294242 HAS SOPS 3286344 HAS SOUS 542305 HAS SOUPS 541638 WITH SCORE 544932.242
AT ITER 691 NEW BEST:: SOT 5648474 SOS 3294367 HAS SOPS 3286487 HAS SOUS 542280 HAS SOUPS 541614 WITH SCORE 544908.367
AT ITER 696 NEW BEST:: SOT 5648466 SOS 3294359 HAS SOPS 3286479 HAS SOUS 542272 HAS SOUPS 541606 WITH SCORE 544900.359
AT ITER 697 NEW BEST:: SOT 5648049 SOS 3293841 HAS SOPS 3285961 HAS SOUS 541807 HAS SOUPS 541141 WITH SCORE 544434.841
AT ITER 703 NEW BEST:: SOT 5648007 SOS 3293799 HAS SOPS 3285919 HAS SOUS 541723 HAS SOUPS 541057 WITH SCORE 544350.799
AT ITER 713 NEW BEST:: SOT 5647154 SOS 3292073 HAS SOPS 3284193 HAS SOUS 539997 HAS SOUPS 539331 WITH SCORE 542623.073
AT ITER 718 NEW BEST:: SOT 5647154 SOS 3292073 HAS SOPS 3284193 HAS SOUS 539990 HAS SOUPS 539324 WITH SCORE 542616.073
AT ITER 726 NEW BEST:: SOT 5647599 SOS 3292895 HAS SOPS 3285015 HAS SOUS 539492 HAS SOUPS 538826 WITH SCORE 542118.895
AT ITER 727 NEW BEST:: SOT 5647055 SOS 3292111 HAS SOPS 3284231 HAS SOUS 539113 HAS SOUPS 538447 WITH SCORE 541739.111
AT ITER 728 NEW BEST:: SOT 5647018 SOS 3292074 HAS SOPS 3284183 HAS SOUS 539059 HAS SOUPS 538393 WITH SCORE 541685.074
AT ITER 733 NEW BEST:: SOT 5646523 SOS 3291646 HAS SOPS 3283755 HAS SOUS 538631 HAS SOUPS 537965 WITH SCORE 541256.646
AT ITER 749 NEW BEST:: SOT 5646488 SOS 3291604 HAS SOPS 3283713 HAS SOUS 538589 HAS SOUPS 537923 WITH SCORE 541214.604
AT ITER 757 NEW BEST:: SOT 5646459 SOS 3291546 HAS SOPS 3283655 HAS SOUS 538560 HAS SOUPS 537894 WITH SCORE 541185.546
AT ITER 758 NEW BEST:: SOT 5646451 SOS 3291538 HAS SOPS 3283639 HAS SOUS 538548 HAS SOUPS 537876 WITH SCORE 541167.538
AT ITER 763 NEW BEST:: SOT 5646427 SOS 3291466 HAS SOPS 3283567 HAS SOUS 538518 HAS SOUPS 537846 WITH SCORE 541137.466
AT ITER 767 NEW BEST:: SOT 5646918 SOS 3291963 HAS SOPS 3284064 HAS SOUS 538194 HAS SOUPS 537522 WITH SCORE 540813.963
AT ITER 770 NEW BEST:: SOT 5646474 SOS 3291145 HAS SOPS 3283246 HAS SOUS 537660 HAS SOUPS 536988 WITH SCORE 540279.145
AT ITER 774 NEW BEST:: SOT 5646419 SOS 3291090 HAS SOPS 3283165 HAS SOUS 537576 HAS SOUPS 536904 WITH SCORE 540195.09
AT ITER 779 NEW BEST:: SOT 5646597 SOS 3291268 HAS SOPS 3283343 HAS SOUS 537412 HAS SOUPS 536740 WITH SCORE 540031.268
AT ITER 786 NEW BEST:: SOT 5646617 SOS 3291288 HAS SOPS 3283328 HAS SOUS 537379 HAS SOUPS 536697 WITH SCORE 539988.288
AT ITER 791 NEW BEST:: SOT 5584455 SOS 3325173 HAS SOPS 3317213 HAS SOUS 536552 HAS SOUPS 535870 WITH SCORE 539195.173
AT ITER 794 NEW BEST:: SOT 5584466 SOS 3325184 HAS SOPS 3317224 HAS SOUS 536452 HAS SOUPS 535770 WITH SCORE 539095.184
AT ITER 808 NEW BEST:: SOT 5583809 SOS 3324527 HAS SOPS 3316567 HAS SOUS 535739 HAS SOUPS 535057 WITH SCORE 538381.527
AT ITER 827 NEW BEST:: SOT 5583947 SOS 3324909 HAS SOPS 3316949 HAS SOUS 535641 HAS SOUPS 534959 WITH SCORE 538283.909
AT ITER 828 NEW BEST:: SOT 5583935 SOS 3324897 HAS SOPS 3316937 HAS SOUS 535637 HAS SOUPS 534955 WITH SCORE 538279.897
AT ITER 832 NEW BEST:: SOT 5583919 SOS 3324881 HAS SOPS 3316921 HAS SOUS 535621 HAS SOUPS 534939 WITH SCORE 538263.881
AT ITER 834 NEW BEST:: SOT 5583996 SOS 3326833 HAS SOPS 3318873 HAS SOUS 534846 HAS SOUPS 534164 WITH SCORE 537490.833
AT ITER 839 NEW BEST:: SOT 5583996 SOS 3326833 HAS SOPS 3318873 HAS SOUS 534776 HAS SOUPS 534094 WITH SCORE 537420.833
AT ITER 847 NEW BEST:: SOT 5583908 SOS 3326753 HAS SOPS 3318793 HAS SOUS 534574 HAS SOUPS 533892 WITH SCORE 537218.753
AT ITER 862 NEW BEST:: SOT 5584061 SOS 3327248 HAS SOPS 3319288 HAS SOUS 533916 HAS SOUPS 533234 WITH SCORE 536561.248
AT ITER 869 NEW BEST:: SOT 5583834 SOS 3327021 HAS SOPS 3319061 HAS SOUS 533645 HAS SOUPS 532963 WITH SCORE 536290.021
AT ITER 872 NEW BEST:: SOT 5583677 SOS 3326864 HAS SOPS 3318896 HAS SOUS 533411 HAS SOUPS 532729 WITH SCORE 536055.864
AT ITER 873 NEW BEST:: SOT 5583797 SOS 3327012 HAS SOPS 3319138 HAS SOUS 533219 HAS SOUPS 532537 WITH SCORE 535864.012
AT ITER 913 NEW BEST:: SOT 5583605 SOS 3326724 HAS SOPS 3318850 HAS SOUS 532883 HAS SOUPS 532201 WITH SCORE 535527.724
AT ITER 917 NEW BEST:: SOT 5583682 SOS 3326801 HAS SOPS 3318861 HAS SOUS 532753 HAS SOUPS 532071 WITH SCORE 535397.801
AT ITER 923 NEW BEST:: SOT 5579634 SOS 3322786 HAS SOPS 3314529 HAS SOUS 528605 HAS SOUPS 527829 WITH SCORE 531151.786
AT ITER 927 NEW BEST:: SOT 5559973 SOS 3303125 HAS SOPS 3294868 HAS SOUS 527007 HAS SOUPS 526231 WITH SCORE 529534.125
AT ITER 940 NEW BEST:: SOT 5559901 SOS 3303053 HAS SOPS 3294772 HAS SOUS 526863 HAS SOUPS 526087 WITH SCORE 529390.053
AT ITER 952 NEW BEST:: SOT 5560783 SOS 3304215 HAS SOPS 3295934 HAS SOUS 526310 HAS SOUPS 525534 WITH SCORE 528838.215
AT ITER 962 NEW BEST:: SOT 5560928 SOS 3304515 HAS SOPS 3296234 HAS SOUS 525980 HAS SOUPS 525204 WITH SCORE 528508.515
AT ITER 994 NEW BEST:: SOT 5560900 SOS 3304487 HAS SOPS 3296178 HAS SOUS 525924 HAS SOUPS 525148 WITH SCORE 528452.487
AT ITER 1008 NEW BEST:: SOT 5560843 SOS 3304430 HAS SOPS 3296121 HAS SOUS 525867 HAS SOUPS 525091 WITH SCORE 528395.43
AT ITER 1019 NEW BEST:: SOT 5560792 SOS 3304482 HAS SOPS 3296149 HAS SOUS 524086 HAS SOUPS 523289 WITH SCORE 526593.482
AT ITER 1021 NEW BEST:: SOT 5560792 SOS 3304363 HAS SOPS 3296030 HAS SOUS 524086 HAS SOUPS 523289 WITH SCORE 526593.363
AT ITER 1056 NEW BEST:: SOT 5560792 SOS 3304355 HAS SOPS 3296022 HAS SOUS 524086 HAS SOUPS 523289 WITH SCORE 526593.355
AT ITER 1061 NEW BEST:: SOT 5559531 SOS 3303234 HAS SOPS 3294901 HAS SOUS 523183 HAS SOUPS 522386 WITH SCORE 525689.234
AT ITER 1062 NEW BEST:: SOT 5559890 SOS 3303793 HAS SOPS 3295568 HAS SOUS 522876 HAS SOUPS 522079 WITH SCORE 525382.793
AT ITER 1072 NEW BEST:: SOT 5559833 SOS 3303736 HAS SOPS 3295511 HAS SOUS 522823 HAS SOUPS 522026 WITH SCORE 525329.736
AT ITER 1074 NEW BEST:: SOT 5397706 SOS 3141371 HAS SOPS 3133146 HAS SOUS 505776 HAS SOUPS 504979 WITH SCORE 508120.371
AT ITER 1088 NEW BEST:: SOT 5336367 SOS 3080058 HAS SOPS 3071833 HAS SOUS 493121 HAS SOUPS 492324 WITH SCORE 495404.058
AT ITER 1106 NEW BEST:: SOT 5335902 SOS 3079628 HAS SOPS 3071403 HAS SOUS 492691 HAS SOUPS 491894 WITH SCORE 494973.628
AT ITER 1113 NEW BEST:: SOT 5335706 SOS 3079334 HAS SOPS 3071109 HAS SOUS 492397 HAS SOUPS 491600 WITH SCORE 494679.334
AT ITER 1121 NEW BEST:: SOT 5335811 SOS 3079917 HAS SOPS 3071692 HAS SOUS 491397 HAS SOUPS 490600 WITH SCORE 493679.917
AT ITER 1142 NEW BEST:: SOT 5335840 SOS 3080025 HAS SOPS 3071800 HAS SOUS 490538 HAS SOUPS 489741 WITH SCORE 492821.025
AT ITER 1147 NEW BEST:: SOT 5335878 SOS 3080023 HAS SOPS 3071798 HAS SOUS 490134 HAS SOUPS 489337 WITH SCORE 492417.023
AT ITER 1149 NEW BEST:: SOT 5335555 SOS 3079815 HAS SOPS 3071590 HAS SOUS 489965 HAS SOUPS 489168 WITH SCORE 492247.815
AT ITER 1152 NEW BEST:: SOT 5335135 SOS 3079561 HAS SOPS 3071336 HAS SOUS 489829 HAS SOUPS 489032 WITH SCORE 492111.561
AT ITER 1162 NEW BEST:: SOT 5335074 SOS 3079500 HAS SOPS 3071241 HAS SOUS 489707 HAS SOUPS 488910 WITH SCORE 491989.5
AT ITER 1172 NEW BEST:: SOT 5335066 SOS 3079351 HAS SOPS 3071089 HAS SOUS 489691 HAS SOUPS 488894 WITH SCORE 491973.351
AT ITER 1173 NEW BEST:: SOT 5335420 SOS 3079885 HAS SOPS 3071623 HAS SOUS 488392 HAS SOUPS 487595 WITH SCORE 490674.885
AT ITER 1178 NEW BEST:: SOT 5335739 SOS 3080248 HAS SOPS 3071986 HAS SOUS 488128 HAS SOUPS 487331 WITH SCORE 490411.248
AT ITER 1207 NEW BEST:: SOT 5335341 SOS 3079638 HAS SOPS 3071376 HAS SOUS 487974 HAS SOUPS 487177 WITH SCORE 490256.638
AT ITER 1210 NEW BEST:: SOT 5236657 SOS 2980954 HAS SOPS 2972692 HAS SOUS 476917 HAS SOUPS 476120 WITH SCORE 479100.954
AT ITER 1217 NEW BEST:: SOT 5236826 SOS 2981123 HAS SOPS 2972861 HAS SOUS 476749 HAS SOUPS 475952 WITH SCORE 478933.123
AT ITER 1218 NEW BEST:: SOT 5236730 SOS 2981027 HAS SOPS 2972724 HAS SOUS 476582 HAS SOUPS 475785 WITH SCORE 478766.027
AT ITER 1239 NEW BEST:: SOT 5236357 SOS 2980861 HAS SOPS 2972558 HAS SOUS 476536 HAS SOUPS 475739 WITH SCORE 478719.861
AT ITER 1254 NEW BEST:: SOT 5236357 SOS 2980842 HAS SOPS 2972539 HAS SOUS 476536 HAS SOUPS 475739 WITH SCORE 478719.842
AT ITER 1256 NEW BEST:: SOT 5236299 SOS 2980767 HAS SOPS 2972464 HAS SOUS 476461 HAS SOUPS 475664 WITH SCORE 478644.767
AT ITER 1257 NEW BEST:: SOT 5236297 SOS 2980765 HAS SOPS 2972460 HAS SOUS 476435 HAS SOUPS 475638 WITH SCORE 478618.765
AT ITER 1266 NEW BEST:: SOT 5236274 SOS 2980742 HAS SOPS 2972437 HAS SOUS 476412 HAS SOUPS 475615 WITH SCORE 478595.742
AT ITER 1277 NEW BEST:: SOT 5236420 SOS 2980769 HAS SOPS 2972374 HAS SOUS 476320 HAS SOUPS 475523 WITH SCORE 478503.769
AT ITER 1278 NEW BEST:: SOT 5236372 SOS 2980721 HAS SOPS 2972326 HAS SOUS 476234 HAS SOUPS 475437 WITH SCORE 478417.721
AT ITER 1292 NEW BEST:: SOT 5236402 SOS 2980721 HAS SOPS 2972326 HAS SOUS 476084 HAS SOUPS 475287 WITH SCORE 478267.721
AT ITER 1299 NEW BEST:: SOT 5236221 SOS 2980328 HAS SOPS 2971933 HAS SOUS 475919 HAS SOUPS 475122 WITH SCORE 478102.328
AT ITER 1308 NEW BEST:: SOT 5236194 SOS 2980301 HAS SOPS 2971906 HAS SOUS 475892 HAS SOUPS 475095 WITH SCORE 478075.301
AT ITER 1319 NEW BEST:: SOT 5180568 SOS 3008268 HAS SOPS 2999873 HAS SOUS 475833 HAS SOUPS 475036 WITH SCORE 478044.268
AT ITER 1330 NEW BEST:: SOT 5180529 SOS 3008229 HAS SOPS 2999834 HAS SOUS 475794 HAS SOUPS 474997 WITH SCORE 478005.229
AT ITER 1339 NEW BEST:: SOT 5179578 SOS 3007278 HAS SOPS 2998883 HAS SOUS 475487 HAS SOUPS 474690 WITH SCORE 477697.278
AT ITER 1353 NEW BEST:: SOT 5179574 SOS 3007274 HAS SOPS 2998879 HAS SOUS 475479 HAS SOUPS 474682 WITH SCORE 477689.274
AT ITER 1355 NEW BEST:: SOT 5179151 SOS 3007332 HAS SOPS 2998989 HAS SOUS 475440 HAS SOUPS 474643 WITH SCORE 477650.332
AT ITER 1358 NEW BEST:: SOT 5179130 SOS 3007311 HAS SOPS 2998968 HAS SOUS 474750 HAS SOUPS 473953 WITH SCORE 476960.311
AT ITER 1360 NEW BEST:: SOT 5179029 SOS 3007301 HAS SOPS 2998958 HAS SOUS 474457 HAS SOUPS 473660 WITH SCORE 476667.301
AT ITER 1362 NEW BEST:: SOT 5179856 SOS 3008044 HAS SOPS 2999797 HAS SOUS 472823 HAS SOUPS 472038 WITH SCORE 475046.044
AT ITER 1364 NEW BEST:: SOT 5180810 SOS 3009610 HAS SOPS 3001363 HAS SOUS 472360 HAS SOUPS 471575 WITH SCORE 474584.61
AT ITER 1370 NEW BEST:: SOT 5127840 SOS 2956640 HAS SOPS 2948393 HAS SOUS 464044 HAS SOUPS 463259 WITH SCORE 466215.64
AT ITER 1374 NEW BEST:: SOT 5128036 SOS 2956836 HAS SOPS 2948589 HAS SOUS 463863 HAS SOUPS 463078 WITH SCORE 466034.836
AT ITER 1382 NEW BEST:: SOT 5127989 SOS 2956789 HAS SOPS 2948542 HAS SOUS 463649 HAS SOUPS 462864 WITH SCORE 465820.789
AT ITER 1384 NEW BEST:: SOT 5128055 SOS 2956855 HAS SOPS 2948608 HAS SOUS 462492 HAS SOUPS 461707 WITH SCORE 464663.855
AT ITER 1390 NEW BEST:: SOT 5127857 SOS 2956657 HAS SOPS 2948410 HAS SOUS 462179 HAS SOUPS 461394 WITH SCORE 464350.657
AT ITER 1395 NEW BEST:: SOT 5127664 SOS 2956464 HAS SOPS 2948217 HAS SOUS 461911 HAS SOUPS 461126 WITH SCORE 464082.464
AT ITER 1401 NEW BEST:: SOT 5127633 SOS 2956433 HAS SOPS 2948239 HAS SOUS 461857 HAS SOUPS 461072 WITH SCORE 464028.433
AT ITER 1404 NEW BEST:: SOT 5127625 SOS 2956425 HAS SOPS 2948231 HAS SOUS 461841 HAS SOUPS 461056 WITH SCORE 464012.425
AT ITER 1416 NEW BEST:: SOT 5127613 SOS 2956413 HAS SOPS 2948192 HAS SOUS 461800 HAS SOUPS 461015 WITH SCORE 463971.413
AT ITER 1422 NEW BEST:: SOT 5127606 SOS 2956406 HAS SOPS 2948185 HAS SOUS 461793 HAS SOUPS 461008 WITH SCORE 463964.406
AT ITER 1441 NEW BEST:: SOT 5127606 SOS 2956443 HAS SOPS 2948222 HAS SOUS 461514 HAS SOUPS 460729 WITH SCORE 463685.443
AT ITER 1445 NEW BEST:: SOT 5126969 SOS 2955965 HAS SOPS 2947744 HAS SOUS 461050 HAS SOUPS 460265 WITH SCORE 463220.965
AT ITER 1447 NEW BEST:: SOT 5126985 SOS 2956028 HAS SOPS 2947807 HAS SOUS 461011 HAS SOUPS 460226 WITH SCORE 463182.028
AT ITER 1451 NEW BEST:: SOT 5127264 SOS 2956219 HAS SOPS 2947835 HAS SOUS 461002 HAS SOUPS 460217 WITH SCORE 463173.219
AT ITER 1457 NEW BEST:: SOT 5127149 SOS 2956104 HAS SOPS 2947695 HAS SOUS 460896 HAS SOUPS 460111 WITH SCORE 463067.104
AT ITER 1462 NEW BEST:: SOT 5127039 SOS 2956175 HAS SOPS 2947867 HAS SOUS 459270 HAS SOUPS 458485 WITH SCORE 461441.175
AT ITER 1472 NEW BEST:: SOT 5127062 SOS 2956198 HAS SOPS 2947890 HAS SOUS 459260 HAS SOUPS 458475 WITH SCORE 461431.198
AT ITER 1478 NEW BEST:: SOT 5126336 SOS 2955538 HAS SOPS 2947230 HAS SOUS 458693 HAS SOUPS 457908 WITH SCORE 460863.538
AT ITER 1482 NEW BEST:: SOT 5126336 SOS 2955874 HAS SOPS 2947566 HAS SOUS 457975 HAS SOUPS 457190 WITH SCORE 460145.874
AT ITER 1493 NEW BEST:: SOT 5126336 SOS 2957582 HAS SOPS 2949274 HAS SOUS 457859 HAS SOUPS 457074 WITH SCORE 460031.582
AT ITER 1502 NEW BEST:: SOT 5126329 SOS 2957575 HAS SOPS 2949267 HAS SOUS 457859 HAS SOUPS 457074 WITH SCORE 460031.575
AT ITER 1507 NEW BEST:: SOT 5126056 SOS 2957302 HAS SOPS 2948994 HAS SOUS 455327 HAS SOUPS 454542 WITH SCORE 457499.302
AT ITER 1513 NEW BEST:: SOT 4997033 SOS 2961658 HAS SOPS 2953350 HAS SOUS 438501 HAS SOUPS 437716 WITH SCORE 440677.658
AT ITER 1529 NEW BEST:: SOT 4996996 SOS 2961621 HAS SOPS 2953313 HAS SOUS 438372 HAS SOUPS 437587 WITH SCORE 440548.621
AT ITER 1536 NEW BEST:: SOT 4996980 SOS 2962071 HAS SOPS 2953763 HAS SOUS 438238 HAS SOUPS 437453 WITH SCORE 440415.071
AT ITER 1537 NEW BEST:: SOT 4997148 SOS 2962219 HAS SOPS 2953911 HAS SOUS 438170 HAS SOUPS 437385 WITH SCORE 440347.219
AT ITER 1540 NEW BEST:: SOT 4996687 SOS 2961777 HAS SOPS 2953469 HAS SOUS 437648 HAS SOUPS 436863 WITH SCORE 439824.777
AT ITER 1543 NEW BEST:: SOT 4996804 SOS 2961894 HAS SOPS 2953586 HAS SOUS 437640 HAS SOUPS 436855 WITH SCORE 439816.894
AT ITER 1549 NEW BEST:: SOT 4997261 SOS 2962737 HAS SOPS 2954429 HAS SOUS 437506 HAS SOUPS 436721 WITH SCORE 439683.737
AT ITER 1553 NEW BEST:: SOT 4997302 SOS 2962870 HAS SOPS 2954562 HAS SOUS 437009 HAS SOUPS 436224 WITH SCORE 439186.87
AT ITER 1554 NEW BEST:: SOT 4997246 SOS 2962814 HAS SOPS 2954506 HAS SOUS 436939 HAS SOUPS 436154 WITH SCORE 439116.814
AT ITER 1557 NEW BEST:: SOT 4997017 SOS 2962025 HAS SOPS 2953717 HAS SOUS 436640 HAS SOUPS 435855 WITH SCORE 438817.025
AT ITER 1560 NEW BEST:: SOT 4997010 SOS 2962018 HAS SOPS 2953710 HAS SOUS 436631 HAS SOUPS 435846 WITH SCORE 438808.018
AT ITER 1568 NEW BEST:: SOT 4996880 SOS 2961888 HAS SOPS 2953567 HAS SOUS 436542 HAS SOUPS 435757 WITH SCORE 438718.888
AT ITER 1588 NEW BEST:: SOT 4995406 SOS 2960508 HAS SOPS 2952187 HAS SOUS 435569 HAS SOUPS 434784 WITH SCORE 437744.508
AT ITER 1597 NEW BEST:: SOT 4995398 SOS 2960472 HAS SOPS 2952151 HAS SOUS 435533 HAS SOUPS 434748 WITH SCORE 437708.472
AT ITER 1615 NEW BEST:: SOT 4988901 SOS 2953872 HAS SOPS 2945551 HAS SOUS 434672 HAS SOUPS 433887 WITH SCORE 436840.872
AT ITER 1616 NEW BEST:: SOT 4988739 SOS 2953878 HAS SOPS 2945557 HAS SOUS 434235 HAS SOUPS 433450 WITH SCORE 436403.878
AT ITER 1648 NEW BEST:: SOT 4988486 SOS 2953524 HAS SOPS 2945203 HAS SOUS 433881 HAS SOUPS 433096 WITH SCORE 436049.524
AT ITER 1668 NEW BEST:: SOT 4988549 SOS 2953761 HAS SOPS 2945440 HAS SOUS 433700 HAS SOUPS 432915 WITH SCORE 435868.761
AT ITER 1669 NEW BEST:: SOT 4988318 SOS 2953530 HAS SOPS 2945209 HAS SOUS 431713 HAS SOUPS 430928 WITH SCORE 433881.53
AT ITER 1671 NEW BEST:: SOT 4988489 SOS 2953701 HAS SOPS 2945332 HAS SOUS 431711 HAS SOUPS 430926 WITH SCORE 433879.701
AT ITER 1673 NEW BEST:: SOT 4988114 SOS 2953484 HAS SOPS 2945115 HAS SOUS 431332 HAS SOUPS 430547 WITH SCORE 433500.484
AT ITER 1674 NEW BEST:: SOT 4988114 SOS 2953215 HAS SOPS 2944846 HAS SOUS 431332 HAS SOUPS 430547 WITH SCORE 433500.215
AT ITER 1685 NEW BEST:: SOT 4908119 SOS 2873220 HAS SOPS 2864851 HAS SOUS 422320 HAS SOUPS 421535 WITH SCORE 424408.22
AT ITER 1687 NEW BEST:: SOT 4908097 SOS 2873198 HAS SOPS 2864829 HAS SOUS 422290 HAS SOUPS 421505 WITH SCORE 424378.198
AT ITER 1688 NEW BEST:: SOT 4906685 SOS 2871714 HAS SOPS 2863345 HAS SOUS 420976 HAS SOUPS 420191 WITH SCORE 423062.714
AT ITER 1692 NEW BEST:: SOT 4906662 SOS 2871453 HAS SOPS 2863084 HAS SOUS 420953 HAS SOUPS 420168 WITH SCORE 423039.453
AT ITER 1696 NEW BEST:: SOT 4907183 SOS 2871848 HAS SOPS 2863479 HAS SOUS 420823 HAS SOUPS 420038 WITH SCORE 422909.848
AT ITER 1713 NEW BEST:: SOT 4907120 SOS 2871482 HAS SOPS 2863113 HAS SOUS 420697 HAS SOUPS 419912 WITH SCORE 422783.482
AT ITER 1715 NEW BEST:: SOT 4907086 SOS 2871426 HAS SOPS 2863057 HAS SOUS 420681 HAS SOUPS 419896 WITH SCORE 422767.426
AT ITER 1734 NEW BEST:: SOT 4907084 SOS 2871420 HAS SOPS 2863051 HAS SOUS 420675 HAS SOUPS 419890 WITH SCORE 422761.42
AT ITER 1735 NEW BEST:: SOT 4906920 SOS 2871256 HAS SOPS 2862887 HAS SOUS 420624 HAS SOUPS 419839 WITH SCORE 422710.256
AT ITER 1759 NEW BEST:: SOT 4906801 SOS 2871137 HAS SOPS 2862768 HAS SOUS 420463 HAS SOUPS 419678 WITH SCORE 422549.137
AT ITER 1760 NEW BEST:: SOT 4906703 SOS 2871039 HAS SOPS 2862578 HAS SOUS 420530 HAS SOUPS 419653 WITH SCORE 422524.039
AT ITER 1773 NEW BEST:: SOT 4906677 SOS 2870973 HAS SOPS 2862512 HAS SOUS 420526 HAS SOUPS 419649 WITH SCORE 422519.973
AT ITER 1774 NEW BEST:: SOT 4906637 SOS 2870733 HAS SOPS 2862272 HAS SOUS 420526 HAS SOUPS 419649 WITH SCORE 422519.733
AT ITER 1807 NEW BEST:: SOT 4906637 SOS 2870749 HAS SOPS 2862288 HAS SOUS 420434 HAS SOUPS 419557 WITH SCORE 422427.749
AT ITER 1824 NEW BEST:: SOT 4906416 SOS 2870500 HAS SOPS 2861967 HAS SOUS 420321 HAS SOUPS 419444 WITH SCORE 422314.5
AT ITER 1832 NEW BEST:: SOT 4915187 SOS 2879271 HAS SOPS 2870738 HAS SOUS 418629 HAS SOUPS 417752 WITH SCORE 420631.271
AT ITER 1842 NEW BEST:: SOT 4915213 SOS 2879289 HAS SOPS 2870756 HAS SOUS 418530 HAS SOUPS 417653 WITH SCORE 420532.289
AT ITER 1854 NEW BEST:: SOT 4915209 SOS 2879283 HAS SOPS 2870750 HAS SOUS 418518 HAS SOUPS 417641 WITH SCORE 420520.283
AT ITER 1877 NEW BEST:: SOT 4915212 SOS 2879247 HAS SOPS 2870672 HAS SOUS 418482 HAS SOUPS 417605 WITH SCORE 420484.247
AT ITER 1888 NEW BEST:: SOT 4915168 SOS 2879199 HAS SOPS 2870624 HAS SOUS 418438 HAS SOUPS 417561 WITH SCORE 420440.199
AT ITER 1895 NEW BEST:: SOT 4915062 SOS 2879093 HAS SOPS 2870518 HAS SOUS 418318 HAS SOUPS 417441 WITH SCORE 420320.093
AT ITER 1898 NEW BEST:: SOT 4915062 SOS 2851114 HAS SOPS 2842539 HAS SOUS 418318 HAS SOUPS 417441 WITH SCORE 420292.114
AT ITER 1899 NEW BEST:: SOT 4914806 SOS 2850779 HAS SOPS 2842270 HAS SOUS 418117 HAS SOUPS 417240 WITH SCORE 420090.779
AT ITER 1927 NEW BEST:: SOT 4914789 SOS 2850641 HAS SOPS 2842132 HAS SOUS 418101 HAS SOUPS 417224 WITH SCORE 420074.641
AT ITER 1928 NEW BEST:: SOT 4914788 SOS 2850640 HAS SOPS 2842131 HAS SOUS 418099 HAS SOUPS 417222 WITH SCORE 420072.64
AT ITER 1938 NEW BEST:: SOT 4914750 SOS 2850594 HAS SOPS 2842085 HAS SOUS 418023 HAS SOUPS 417146 WITH SCORE 419996.594
AT ITER 1943 NEW BEST:: SOT 4914692 SOS 2850567 HAS SOPS 2842058 HAS SOUS 418000 HAS SOUPS 417123 WITH SCORE 419973.567
AT ITER 1950 NEW BEST:: SOT 4914750 SOS 2850625 HAS SOPS 2842068 HAS SOUS 417861 HAS SOUPS 416984 WITH SCORE 419834.625
AT ITER 1967 NEW BEST:: SOT 4783345 SOS 2845228 HAS SOPS 2836671 HAS SOUS 412035 HAS SOUPS 411158 WITH SCORE 414003.228
AT ITER 1973 NEW BEST:: SOT 4784230 SOS 2846097 HAS SOPS 2837556 HAS SOUS 411766 HAS SOUPS 410891 WITH SCORE 413737.097
AT ITER 1982 NEW BEST:: SOT 4784242 SOS 2846171 HAS SOPS 2837630 HAS SOUS 411710 HAS SOUPS 410835 WITH SCORE 413681.171
AT ITER 1985 NEW BEST:: SOT 4784353 SOS 2846464 HAS SOPS 2837923 HAS SOUS 411624 HAS SOUPS 410749 WITH SCORE 413595.464
AT ITER 1997 NEW BEST:: SOT 4755769 SOS 2817880 HAS SOPS 2809339 HAS SOUS 407996 HAS SOUPS 407121 WITH SCORE 409938.88
AT ITER 2011 NEW BEST:: SOT 4755810 SOS 2817921 HAS SOPS 2809314 HAS SOUS 407867 HAS SOUPS 406989 WITH SCORE 409806.921
AT ITER 2024 NEW BEST:: SOT 4755794 SOS 2818004 HAS SOPS 2809397 HAS SOUS 407851 HAS SOUPS 406973 WITH SCORE 409791.004
AT ITER 2026 NEW BEST:: SOT 4755794 SOS 2817989 HAS SOPS 2809382 HAS SOUS 407821 HAS SOUPS 406943 WITH SCORE 409760.989
AT ITER 2027 NEW BEST:: SOT 4773617 SOS 2805742 HAS SOPS 2797135 HAS SOUS 407642 HAS SOUPS 406764 WITH SCORE 409569.742
AT ITER 2036 NEW BEST:: SOT 4773575 SOS 2805700 HAS SOPS 2797093 HAS SOUS 407558 HAS SOUPS 406680 WITH SCORE 409485.7
AT ITER 2038 NEW BEST:: SOT 4773098 SOS 2805027 HAS SOPS 2796420 HAS SOUS 407290 HAS SOUPS 406412 WITH SCORE 409217.027
AT ITER 2062 NEW BEST:: SOT 4772422 SOS 2801713 HAS SOPS 2793106 HAS SOUS 407126 HAS SOUPS 406248 WITH SCORE 409049.713
AT ITER 2076 NEW BEST:: SOT 4772425 SOS 2801716 HAS SOPS 2793109 HAS SOUS 407117 HAS SOUPS 406239 WITH SCORE 409040.716
AT ITER 2079 NEW BEST:: SOT 4772121 SOS 2801366 HAS SOPS 2792759 HAS SOUS 407056 HAS SOUPS 406178 WITH SCORE 408979.366
AT ITER 2080 NEW BEST:: SOT 4772034 SOS 2801062 HAS SOPS 2792455 HAS SOUS 406752 HAS SOUPS 405874 WITH SCORE 408675.062
AT ITER 2092 NEW BEST:: SOT 4771972 SOS 2800953 HAS SOPS 2792283 HAS SOUS 406582 HAS SOUPS 405704 WITH SCORE 408504.953
AT ITER 2134 NEW BEST:: SOT 4772008 SOS 2742788 HAS SOPS 2734118 HAS SOUS 404788 HAS SOUPS 403910 WITH SCORE 406652.788
AT ITER 2151 NEW BEST:: SOT 4771924 SOS 2742676 HAS SOPS 2734006 HAS SOUS 404648 HAS SOUPS 403770 WITH SCORE 406512.676
AT ITER 2153 NEW BEST:: SOT 4771932 SOS 2742579 HAS SOPS 2733909 HAS SOUS 404625 HAS SOUPS 403747 WITH SCORE 406489.579
AT ITER 2166 NEW BEST:: SOT 4771902 SOS 2742549 HAS SOPS 2733879 HAS SOUS 404595 HAS SOUPS 403717 WITH SCORE 406459.549
AT ITER 2171 NEW BEST:: SOT 4771845 SOS 2742492 HAS SOPS 2733822 HAS SOUS 404481 HAS SOUPS 403603 WITH SCORE 406345.492
AT ITER 2174 NEW BEST:: SOT 4771764 SOS 2742411 HAS SOPS 2733741 HAS SOUS 404400 HAS SOUPS 403522 WITH SCORE 406264.411
AT ITER 2177 NEW BEST:: SOT 4771511 SOS 2742129 HAS SOPS 2733459 HAS SOUS 404147 HAS SOUPS 403269 WITH SCORE 406011.129
AT ITER 2181 NEW BEST:: SOT 4771524 SOS 2742311 HAS SOPS 2733641 HAS SOUS 404115 HAS SOUPS 403237 WITH SCORE 405979.311
AT ITER 2184 NEW BEST:: SOT 4771545 SOS 2742297 HAS SOPS 2733627 HAS SOUS 404101 HAS SOUPS 403223 WITH SCORE 405965.297
AT ITER 2190 NEW BEST:: SOT 4770864 SOS 2716368 HAS SOPS 2707698 HAS SOUS 401061 HAS SOUPS 400183 WITH SCORE 402899.368
AT ITER 2194 NEW BEST:: SOT 4770842 SOS 2716346 HAS SOPS 2707676 HAS SOUS 400819 HAS SOUPS 399941 WITH SCORE 402657.346
AT ITER 2195 NEW BEST:: SOT 4760720 SOS 2706198 HAS SOPS 2696904 HAS SOUS 399264 HAS SOUPS 398308 WITH SCORE 401014.198
AT ITER 2197 NEW BEST:: SOT 4760723 SOS 2706202 HAS SOPS 2696908 HAS SOUS 399256 HAS SOUPS 398300 WITH SCORE 401006.202
AT ITER 2203 NEW BEST:: SOT 4700242 SOS 2645750 HAS SOPS 2636456 HAS SOUS 391160 HAS SOUPS 390204 WITH SCORE 392849.75
AT ITER 2210 NEW BEST:: SOT 4699950 SOS 2645305 HAS SOPS 2636011 HAS SOUS 391082 HAS SOUPS 390126 WITH SCORE 392771.305
AT ITER 2216 NEW BEST:: SOT 4700242 SOS 2519754 HAS SOPS 2510460 HAS SOUS 385875 HAS SOUPS 384919 WITH SCORE 387438.754
AT ITER 2230 NEW BEST:: SOT 4699881 SOS 2519430 HAS SOPS 2510136 HAS SOUS 385338 HAS SOUPS 384382 WITH SCORE 386901.43
AT ITER 2259 NEW BEST:: SOT 4699998 SOS 2519547 HAS SOPS 2510205 HAS SOUS 385310 HAS SOUPS 384354 WITH SCORE 386873.547
AT ITER 2261 NEW BEST:: SOT 4699968 SOS 2519509 HAS SOPS 2510167 HAS SOUS 385250 HAS SOUPS 384294 WITH SCORE 386813.509
AT ITER 2262 NEW BEST:: SOT 4699964 SOS 2519505 HAS SOPS 2510163 HAS SOUS 385234 HAS SOUPS 384278 WITH SCORE 386797.505
AT ITER 2283 NEW BEST:: SOT 4699530 SOS 2519216 HAS SOPS 2510132 HAS SOUS 385100 HAS SOUPS 384242 WITH SCORE 386761.216
AT ITER 2306 NEW BEST:: SOT 4699381 SOS 2519207 HAS SOPS 2510123 HAS SOUS 384606 HAS SOUPS 383748 WITH SCORE 386267.207
AT ITER 2310 NEW BEST:: SOT 4699036 SOS 2518933 HAS SOPS 2509849 HAS SOUS 384060 HAS SOUPS 383202 WITH SCORE 385720.933
AT ITER 2314 NEW BEST:: SOT 4698883 SOS 2518780 HAS SOPS 2509820 HAS SOUS 384002 HAS SOUPS 383144 WITH SCORE 385662.78
AT ITER 2322 NEW BEST:: SOT 4698800 SOS 2518697 HAS SOPS 2509737 HAS SOUS 383994 HAS SOUPS 383136 WITH SCORE 385654.697
AT ITER 2333 NEW BEST:: SOT 4561683 SOS 2394584 HAS SOPS 2385624 HAS SOUS 371347 HAS SOUPS 370489 WITH SCORE 372883.584
AT ITER 2336 NEW BEST:: SOT 4561166 SOS 2393868 HAS SOPS 2384908 HAS SOUS 370609 HAS SOUPS 369751 WITH SCORE 372144.868
AT ITER 2342 NEW BEST:: SOT 4560684 SOS 2393357 HAS SOPS 2384397 HAS SOUS 370393 HAS SOUPS 369535 WITH SCORE 371928.357
AT ITER 2345 NEW BEST:: SOT 4560398 SOS 2393135 HAS SOPS 2384111 HAS SOUS 370115 HAS SOUPS 369249 WITH SCORE 371642.135
AT ITER 2350 NEW BEST:: SOT 4560271 SOS 2392733 HAS SOPS 2383709 HAS SOUS 369861 HAS SOUPS 368995 WITH SCORE 371387.733
AT ITER 2351 NEW BEST:: SOT 4560234 SOS 2392696 HAS SOPS 2383635 HAS SOUS 369713 HAS SOUPS 368847 WITH SCORE 371239.696
AT ITER 2354 NEW BEST:: SOT 4560234 SOS 2392660 HAS SOPS 2383599 HAS SOUS 369642 HAS SOUPS 368776 WITH SCORE 371168.66
AT ITER 2359 NEW BEST:: SOT 4559856 SOS 2392282 HAS SOPS 2383221 HAS SOUS 369264 HAS SOUPS 368398 WITH SCORE 370790.282
AT ITER 2371 NEW BEST:: SOT 4558646 SOS 2390961 HAS SOPS 2381900 HAS SOUS 367943 HAS SOUPS 367077 WITH SCORE 369467.961
AT ITER 2380 NEW BEST:: SOT 4559493 SOS 2391740 HAS SOPS 2373607 HAS SOUS 369051 HAS SOUPS 367051 WITH SCORE 369442.74
AT ITER 2383 NEW BEST:: SOT 4559187 SOS 2391410 HAS SOPS 2373277 HAS SOUS 369018 HAS SOUPS 367018 WITH SCORE 369409.41
AT ITER 2385 NEW BEST:: SOT 4559187 SOS 2391410 HAS SOPS 2373277 HAS SOUS 368994 HAS SOUPS 366994 WITH SCORE 369385.41
AT ITER 2390 NEW BEST:: SOT 4559177 SOS 2391400 HAS SOPS 2373267 HAS SOUS 368984 HAS SOUPS 366984 WITH SCORE 369375.4
AT ITER 2410 NEW BEST:: SOT 4559177 SOS 2391389 HAS SOPS 2373256 HAS SOUS 368973 HAS SOUPS 366973 WITH SCORE 369364.389
AT ITER 2419 NEW BEST:: SOT 4559339 SOS 2391844 HAS SOPS 2373711 HAS SOUS 368881 HAS SOUPS 366881 WITH SCORE 369272.844
AT ITER 2420 NEW BEST:: SOT 4558157 SOS 2390662 HAS SOPS 2372529 HAS SOUS 367633 HAS SOUPS 365633 WITH SCORE 368023.662
AT ITER 2438 NEW BEST:: SOT 4557924 SOS 2390428 HAS SOPS 2372295 HAS SOUS 367354 HAS SOUPS 365354 WITH SCORE 367744.428
AT ITER 2446 NEW BEST:: SOT 4557834 SOS 2390338 HAS SOPS 2372219 HAS SOUS 367183 HAS SOUPS 365183 WITH SCORE 367573.338
AT ITER 2460 NEW BEST:: SOT 4557417 SOS 2389928 HAS SOPS 2371809 HAS SOUS 366773 HAS SOUPS 364773 WITH SCORE 367162.928
AT ITER 2485 NEW BEST:: SOT 4558598 SOS 2391477 HAS SOPS 2373358 HAS SOUS 363649 HAS SOUPS 361649 WITH SCORE 364040.477
AT ITER 2492 NEW BEST:: SOT 4558847 SOS 2391796 HAS SOPS 2373677 HAS SOUS 363588 HAS SOUPS 361588 WITH SCORE 363979.796
AT ITER 2518 NEW BEST:: SOT 4558698 SOS 2391597 HAS SOPS 2373478 HAS SOUS 363414 HAS SOUPS 361414 WITH SCORE 363805.597
AT ITER 2558 NEW BEST:: SOT 4558698 SOS 2391591 HAS SOPS 2373472 HAS SOUS 363408 HAS SOUPS 361408 WITH SCORE 363799.591
AT ITER 2561 NEW BEST:: SOT 4556438 SOS 2389331 HAS SOPS 2371212 HAS SOUS 363057 HAS SOUPS 361057 WITH SCORE 363446.331
AT ITER 2572 NEW BEST:: SOT 4556421 SOS 2389276 HAS SOPS 2371157 HAS SOUS 362684 HAS SOUPS 360684 WITH SCORE 363073.276
AT ITER 2577 NEW BEST:: SOT 4556342 SOS 2389491 HAS SOPS 2371372 HAS SOUS 362111 HAS SOUPS 360111 WITH SCORE 362500.491
AT ITER 2586 NEW BEST:: SOT 4556342 SOS 2389491 HAS SOPS 2371372 HAS SOUS 362108 HAS SOUPS 360108 WITH SCORE 362497.491
AT ITER 2609 NEW BEST:: SOT 4556284 SOS 2351661 HAS SOPS 2333542 HAS SOUS 362066 HAS SOUPS 360066 WITH SCORE 362417.661
AT ITER 2610 NEW BEST:: SOT 4556318 SOS 2351652 HAS SOPS 2333533 HAS SOUS 362057 HAS SOUPS 360057 WITH SCORE 362408.652
AT ITER 2611 NEW BEST:: SOT 4556008 SOS 2351353 HAS SOPS 2333388 HAS SOUS 361811 HAS SOUPS 359811 WITH SCORE 362162.353
AT ITER 2612 NEW BEST:: SOT 4556073 SOS 2351418 HAS SOPS 2333328 HAS SOUS 361790 HAS SOUPS 359715 WITH SCORE 362066.418
AT ITER 2621 NEW BEST:: SOT 4556060 SOS 2351392 HAS SOPS 2333302 HAS SOUS 361764 HAS SOUPS 359689 WITH SCORE 362040.392
AT ITER 2628 NEW BEST:: SOT 4555994 SOS 2351294 HAS SOPS 2333204 HAS SOUS 361635 HAS SOUPS 359560 WITH SCORE 361911.294
AT ITER 2639 NEW BEST:: SOT 4556037 SOS 2351357 HAS SOPS 2333267 HAS SOUS 361633 HAS SOUPS 359558 WITH SCORE 361909.357
AT ITER 2666 NEW BEST:: SOT 4555994 SOS 2351314 HAS SOPS 2333177 HAS SOUS 361547 HAS SOUPS 359472 WITH SCORE 361823.314
AT ITER 2669 NEW BEST:: SOT 4555558 SOS 2350878 HAS SOPS 2332741 HAS SOUS 361111 HAS SOUPS 359036 WITH SCORE 361386.878
AT ITER 2675 NEW BEST:: SOT 4555472 SOS 2350491 HAS SOPS 2332354 HAS SOUS 360939 HAS SOUPS 358864 WITH SCORE 361214.491
AT ITER 2676 NEW BEST:: SOT 4555503 SOS 2350522 HAS SOPS 2332385 HAS SOUS 360938 HAS SOUPS 358863 WITH SCORE 361213.522
AT ITER 2684 NEW BEST:: SOT 4555481 SOS 2350636 HAS SOPS 2332499 HAS SOUS 360910 HAS SOUPS 358835 WITH SCORE 361185.636
AT ITER 2685 NEW BEST:: SOT 4555457 SOS 2350612 HAS SOPS 2332475 HAS SOUS 360838 HAS SOUPS 358763 WITH SCORE 361113.612
AT ITER 2739 NEW BEST:: SOT 4555416 SOS 2350571 HAS SOPS 2332434 HAS SOUS 360791 HAS SOUPS 358716 WITH SCORE 361066.571
AT ITER 2745 NEW BEST:: SOT 4555431 SOS 2350536 HAS SOPS 2332399 HAS SOUS 360783 HAS SOUPS 358708 WITH SCORE 361058.536
AT ITER 2747 NEW BEST:: SOT 4555489 SOS 2350593 HAS SOPS 2332456 HAS SOUS 360620 HAS SOUPS 358545 WITH SCORE 360895.593
AT ITER 2768 NEW BEST:: SOT 4555561 SOS 2350665 HAS SOPS 2332528 HAS SOUS 360530 HAS SOUPS 358455 WITH SCORE 360805.665
AT ITER 2772 NEW BEST:: SOT 4553664 SOS 2349968 HAS SOPS 2330631 HAS SOUS 358783 HAS SOUPS 356558 WITH SCORE 358907.968
AT ITER 2791 NEW BEST:: SOT 4553664 SOS 2349991 HAS SOPS 2330654 HAS SOUS 358771 HAS SOUPS 356546 WITH SCORE 358895.991
AT ITER 2798 NEW BEST:: SOT 4553365 SOS 2349393 HAS SOPS 2330056 HAS SOUS 358173 HAS SOUPS 355948 WITH SCORE 358297.393
AT ITER 2801 NEW BEST:: SOT 4553365 SOS 2349403 HAS SOPS 2330066 HAS SOUS 358163 HAS SOUPS 355938 WITH SCORE 358287.403
AT ITER 2810 NEW BEST:: SOT 4536691 SOS 2332729 HAS SOPS 2313392 HAS SOUS 355085 HAS SOUPS 352860 WITH SCORE 355192.729
AT ITER 2816 NEW BEST:: SOT 4536669 SOS 2332707 HAS SOPS 2313370 HAS SOUS 354954 HAS SOUPS 352729 WITH SCORE 355061.707
AT ITER 2831 NEW BEST:: SOT 4536600 SOS 2332562 HAS SOPS 2313145 HAS SOUS 354877 HAS SOUPS 352652 WITH SCORE 354984.562
AT ITER 2847 NEW BEST:: SOT 4536600 SOS 2332540 HAS SOPS 2313123 HAS SOUS 354877 HAS SOUPS 352652 WITH SCORE 354984.54
AT ITER 2849 NEW BEST:: SOT 4536600 SOS 2332540 HAS SOPS 2313082 HAS SOUS 354795 HAS SOUPS 352570 WITH SCORE 354902.54
AT ITER 2858 NEW BEST:: SOT 4536590 SOS 2332530 HAS SOPS 2313072 HAS SOUS 354735 HAS SOUPS 352510 WITH SCORE 354842.53
AT ITER 2897 NEW BEST:: SOT 4536588 SOS 2332504 HAS SOPS 2313046 HAS SOUS 354704 HAS SOUPS 352479 WITH SCORE 354811.504
AT ITER 2903 NEW BEST:: SOT 4536526 SOS 2332365 HAS SOPS 2312907 HAS SOUS 354703 HAS SOUPS 352478 WITH SCORE 354810.365
AT ITER 2934 NEW BEST:: SOT 4536488 SOS 2332327 HAS SOPS 2312869 HAS SOUS 354652 HAS SOUPS 352427 WITH SCORE 354759.327
AT ITER 2944 NEW BEST:: SOT 4536370 SOS 2332137 HAS SOPS 2312771 HAS SOUS 354598 HAS SOUPS 352373 WITH SCORE 354705.137
AT ITER 2953 NEW BEST:: SOT 4536233 SOS 2331994 HAS SOPS 2312628 HAS SOUS 354386 HAS SOUPS 352161 WITH SCORE 354492.994
AT ITER 2958 NEW BEST:: SOT 4536220 SOS 2331981 HAS SOPS 2312615 HAS SOUS 354360 HAS SOUPS 352135 WITH SCORE 354466.981
AT ITER 2976 NEW BEST:: SOT 4536039 SOS 2331800 HAS SOPS 2312434 HAS SOUS 354235 HAS SOUPS 352010 WITH SCORE 354341.8
AT ITER 2992 NEW BEST:: SOT 4536005 SOS 2331494 HAS SOPS 2312128 HAS SOUS 354201 HAS SOUPS 351976 WITH SCORE 354307.494
AT ITER 2996 NEW BEST:: SOT 4535983 SOS 2331483 HAS SOPS 2312117 HAS SOUS 353552 HAS SOUPS 351327 WITH SCORE 353658.483
AT ITER 3006 NEW BEST:: SOT 4536160 SOS 2331756 HAS SOPS 2312390 HAS SOUS 352693 HAS SOUPS 350468 WITH SCORE 352799.756
AT ITER 3008 NEW BEST:: SOT 4463771 SOS 2258615 HAS SOPS 2240001 HAS SOUS 345104 HAS SOUPS 342973 WITH SCORE 345231.615
AT ITER 3014 NEW BEST:: SOT 4463631 SOS 2258475 HAS SOPS 2239861 HAS SOUS 344764 HAS SOUPS 342633 WITH SCORE 344891.475
AT ITER 3029 NEW BEST:: SOT 4463343 SOS 2258187 HAS SOPS 2239525 HAS SOUS 344638 HAS SOUPS 342507 WITH SCORE 344765.187
AT ITER 3032 NEW BEST:: SOT 4463329 SOS 2258159 HAS SOPS 2239497 HAS SOUS 344610 HAS SOUPS 342479 WITH SCORE 344737.159
AT ITER 3040 NEW BEST:: SOT 4463084 SOS 2257138 HAS SOPS 2238476 HAS SOUS 344449 HAS SOUPS 342318 WITH SCORE 344575.138
AT ITER 3054 NEW BEST:: SOT 4462808 SOS 2256862 HAS SOPS 2238200 HAS SOUS 344173 HAS SOUPS 342042 WITH SCORE 344298.862
AT ITER 3060 NEW BEST:: SOT 4462711 SOS 2256765 HAS SOPS 2238103 HAS SOUS 343861 HAS SOUPS 341730 WITH SCORE 343986.765
AT ITER 3089 NEW BEST:: SOT 4462858 SOS 2256912 HAS SOPS 2238250 HAS SOUS 343234 HAS SOUPS 341103 WITH SCORE 343359.912
AT ITER 3090 NEW BEST:: SOT 4462943 SOS 2256997 HAS SOPS 2238287 HAS SOUS 343130 HAS SOUPS 340999 WITH SCORE 343255.997
AT ITER 3092 NEW BEST:: SOT 4463171 SOS 2257529 HAS SOPS 2238819 HAS SOUS 343116 HAS SOUPS 340985 WITH SCORE 343242.529
AT ITER 3093 NEW BEST:: SOT 4463040 SOS 2257398 HAS SOPS 2238688 HAS SOUS 343048 HAS SOUPS 340917 WITH SCORE 343174.398
AT ITER 3094 NEW BEST:: SOT 4463058 SOS 2257425 HAS SOPS 2238715 HAS SOUS 343039 HAS SOUPS 340908 WITH SCORE 343165.425
AT ITER 3101 NEW BEST:: SOT 4462998 SOS 2257365 HAS SOPS 2238655 HAS SOUS 343039 HAS SOUPS 340908 WITH SCORE 343165.365
AT ITER 3110 NEW BEST:: SOT 4417547 SOS 2211843 HAS SOPS 2193133 HAS SOUS 338191 HAS SOUPS 336060 WITH SCORE 338271.843
AT ITER 3111 NEW BEST:: SOT 4417492 SOS 2211788 HAS SOPS 2193099 HAS SOUS 338132 HAS SOUPS 336001 WITH SCORE 338212.788
AT ITER 3112 NEW BEST:: SOT 4417346 SOS 2211769 HAS SOPS 2193080 HAS SOUS 338039 HAS SOUPS 335908 WITH SCORE 338119.769
AT ITER 3122 NEW BEST:: SOT 4417338 SOS 2211761 HAS SOPS 2193072 HAS SOUS 337675 HAS SOUPS 335544 WITH SCORE 337755.761
AT ITER 3125 NEW BEST:: SOT 4417065 SOS 2211390 HAS SOPS 2192701 HAS SOUS 337423 HAS SOUPS 335292 WITH SCORE 337503.39
AT ITER 3147 NEW BEST:: SOT 4417009 SOS 2211229 HAS SOPS 2192540 HAS SOUS 337380 HAS SOUPS 335249 WITH SCORE 337460.229
AT ITER 3148 NEW BEST:: SOT 4416934 SOS 2210972 HAS SOPS 2192283 HAS SOUS 337220 HAS SOUPS 335089 WITH SCORE 337299.972
AT ITER 3165 NEW BEST:: SOT 4416962 SOS 2211002 HAS SOPS 2192313 HAS SOUS 336870 HAS SOUPS 334739 WITH SCORE 336950.002
AT ITER 3176 NEW BEST:: SOT 4416851 SOS 2210891 HAS SOPS 2192202 HAS SOUS 336736 HAS SOUPS 334605 WITH SCORE 336815.891
AT ITER 3183 NEW BEST:: SOT 4416762 SOS 2211050 HAS SOPS 2192523 HAS SOUS 336671 HAS SOUPS 334540 WITH SCORE 336751.05
AT ITER 3184 NEW BEST:: SOT 4416308 SOS 2210132 HAS SOPS 2191605 HAS SOUS 335972 HAS SOUPS 333841 WITH SCORE 336051.132
AT ITER 3217 NEW BEST:: SOT 4416264 SOS 2210028 HAS SOPS 2191501 HAS SOUS 335917 HAS SOUPS 333786 WITH SCORE 335996.028
AT ITER 3251 NEW BEST:: SOT 4416257 SOS 2210021 HAS SOPS 2191494 HAS SOUS 335910 HAS SOUPS 333779 WITH SCORE 335989.021
AT ITER 3252 NEW BEST:: SOT 4415933 SOS 2209636 HAS SOPS 2191109 HAS SOUS 335414 HAS SOUPS 333283 WITH SCORE 335492.636
AT ITER 3257 NEW BEST:: SOT 4415795 SOS 2209439 HAS SOPS 2190912 HAS SOUS 335387 HAS SOUPS 333256 WITH SCORE 335465.439
AT ITER 3280 NEW BEST:: SOT 4415813 SOS 2209475 HAS SOPS 2190948 HAS SOUS 335378 HAS SOUPS 333247 WITH SCORE 335456.475
AT ITER 3288 NEW BEST:: SOT 4415795 SOS 2209423 HAS SOPS 2190896 HAS SOUS 335342 HAS SOUPS 333211 WITH SCORE 335420.423
AT ITER 3297 NEW BEST:: SOT 4415649 SOS 2209277 HAS SOPS 2190750 HAS SOUS 335039 HAS SOUPS 332908 WITH SCORE 335117.277
AT ITER 3302 NEW BEST:: SOT 4415633 SOS 2209261 HAS SOPS 2190734 HAS SOUS 335039 HAS SOUPS 332908 WITH SCORE 335117.261
AT ITER 3323 NEW BEST:: SOT 4416142 SOS 2210079 HAS SOPS 2191552 HAS SOUS 334402 HAS SOUPS 332271 WITH SCORE 334481.079
AT ITER 3360 NEW BEST:: SOT 4416303 SOS 2209853 HAS SOPS 2191326 HAS SOUS 334303 HAS SOUPS 332172 WITH SCORE 334381.853
AT ITER 3386 NEW BEST:: SOT 4416418 SOS 2210383 HAS SOPS 2191856 HAS SOUS 333770 HAS SOUPS 331639 WITH SCORE 333849.383
AT ITER 3423 NEW BEST:: SOT 4416438 SOS 2210003 HAS SOPS 2191496 HAS SOUS 333760 HAS SOUPS 331629 WITH SCORE 333839.003
AT ITER 3449 NEW BEST:: SOT 4416438 SOS 2206840 HAS SOPS 2188333 HAS SOUS 333760 HAS SOUPS 331629 WITH SCORE 333835.84
AT ITER 3462 NEW BEST:: SOT 4335139 SOS 2164861 HAS SOPS 2146354 HAS SOUS 332003 HAS SOUPS 329872 WITH SCORE 332036.861
AT ITER 3470 NEW BEST:: SOT 4335094 SOS 2164831 HAS SOPS 2146324 HAS SOUS 331904 HAS SOUPS 329773 WITH SCORE 331937.831
AT ITER 3474 NEW BEST:: SOT 4335094 SOS 2164831 HAS SOPS 2146321 HAS SOUS 331898 HAS SOUPS 329767 WITH SCORE 331931.831
AT ITER 3481 NEW BEST:: SOT 4335169 SOS 2164906 HAS SOPS 2146313 HAS SOUS 331856 HAS SOUPS 329725 WITH SCORE 331889.906
AT ITER 3494 NEW BEST:: SOT 4335177 SOS 2164914 HAS SOPS 2146321 HAS SOUS 331137 HAS SOUPS 329006 WITH SCORE 331170.914
AT ITER 3495 NEW BEST:: SOT 4335078 SOS 2164810 HAS SOPS 2146217 HAS SOUS 330899 HAS SOUPS 328768 WITH SCORE 330932.81
AT ITER 3503 NEW BEST:: SOT 4335030 SOS 2164762 HAS SOPS 2146169 HAS SOUS 330823 HAS SOUPS 328692 WITH SCORE 330856.762
AT ITER 3505 NEW BEST:: SOT 4335525 SOS 2165057 HAS SOPS 2146464 HAS SOUS 329213 HAS SOUPS 327082 WITH SCORE 329247.057
AT ITER 3514 NEW BEST:: SOT 4335419 SOS 2164894 HAS SOPS 2146301 HAS SOUS 329061 HAS SOUPS 326930 WITH SCORE 329094.894
AT ITER 3518 NEW BEST:: SOT 4335199 SOS 2164674 HAS SOPS 2146081 HAS SOUS 327621 HAS SOUPS 325490 WITH SCORE 327654.674
AT ITER 3522 NEW BEST:: SOT 4335103 SOS 2164578 HAS SOPS 2145985 HAS SOUS 327550 HAS SOUPS 325419 WITH SCORE 327583.578
AT ITER 3542 NEW BEST:: SOT 4335107 SOS 2164582 HAS SOPS 2145989 HAS SOUS 327547 HAS SOUPS 325416 WITH SCORE 327580.582
AT ITER 3560 NEW BEST:: SOT 4335086 SOS 2164561 HAS SOPS 2145968 HAS SOUS 327511 HAS SOUPS 325380 WITH SCORE 327544.561
AT ITER 3562 NEW BEST:: SOT 4335170 SOS 2165113 HAS SOPS 2146520 HAS SOUS 327331 HAS SOUPS 325200 WITH SCORE 327365.113
AT ITER 3564 NEW BEST:: SOT 4335335 SOS 2165278 HAS SOPS 2146685 HAS SOUS 327174 HAS SOUPS 325043 WITH SCORE 327208.278
AT ITER 3570 NEW BEST:: SOT 4335265 SOS 2165142 HAS SOPS 2146549 HAS SOUS 327159 HAS SOUPS 325028 WITH SCORE 327193.142
AT ITER 3572 NEW BEST:: SOT 4335278 SOS 2165155 HAS SOPS 2146534 HAS SOUS 327115 HAS SOUPS 324984 WITH SCORE 327149.155
AT ITER 3613 NEW BEST:: SOT 4335308 SOS 2164969 HAS SOPS 2146346 HAS SOUS 327064 HAS SOUPS 324933 WITH SCORE 327097.969
AT ITER 3615 NEW BEST:: SOT 4335184 SOS 2164721 HAS SOPS 2146098 HAS SOUS 326816 HAS SOUPS 324685 WITH SCORE 326849.721
AT ITER 3640 NEW BEST:: SOT 4335197 SOS 2164734 HAS SOPS 2146111 HAS SOUS 326790 HAS SOUPS 324659 WITH SCORE 326823.734
AT ITER 3646 NEW BEST:: SOT 4287341 SOS 2116809 HAS SOPS 2098186 HAS SOUS 324282 HAS SOUPS 322151 WITH SCORE 324267.809
AT ITER 3653 NEW BEST:: SOT 4287277 SOS 2116712 HAS SOPS 2098089 HAS SOUS 324217 HAS SOUPS 322086 WITH SCORE 324202.712
AT ITER 3661 NEW BEST:: SOT 4287153 SOS 2116588 HAS SOPS 2097993 HAS SOUS 324121 HAS SOUPS 321990 WITH SCORE 324106.588
AT ITER 3668 NEW BEST:: SOT 4286870 SOS 2116305 HAS SOPS 2097710 HAS SOUS 323912 HAS SOUPS 321781 WITH SCORE 323897.305
AT ITER 3698 NEW BEST:: SOT 4286831 SOS 2116232 HAS SOPS 2097553 HAS SOUS 323789 HAS SOUPS 321658 WITH SCORE 323774.232
AT ITER 3700 NEW BEST:: SOT 4286831 SOS 2116987 HAS SOPS 2098308 HAS SOUS 323773 HAS SOUPS 321642 WITH SCORE 323758.987
AT ITER 3725 NEW BEST:: SOT 4286437 SOS 2116378 HAS SOPS 2097699 HAS SOUS 323499 HAS SOUPS 321368 WITH SCORE 323484.378
AT ITER 3750 NEW BEST:: SOT 4286349 SOS 2116182 HAS SOPS 2097583 HAS SOUS 323383 HAS SOUPS 321252 WITH SCORE 323368.182
AT ITER 3762 NEW BEST:: SOT 4285137 SOS 2114970 HAS SOPS 2096371 HAS SOUS 323239 HAS SOUPS 321108 WITH SCORE 323222.97
AT ITER 3773 NEW BEST:: SOT 4285137 SOS 2114970 HAS SOPS 2096347 HAS SOUS 323223 HAS SOUPS 321092 WITH SCORE 323206.97
AT ITER 3805 NEW BEST:: SOT 4285039 SOS 2114811 HAS SOPS 2096188 HAS SOUS 323027 HAS SOUPS 320896 WITH SCORE 323010.811
AT ITER 3806 NEW BEST:: SOT 4285020 SOS 2115062 HAS SOPS 2096439 HAS SOUS 322989 HAS SOUPS 320858 WITH SCORE 322973.062
AT ITER 3844 NEW BEST:: SOT 4285020 SOS 2115062 HAS SOPS 2096402 HAS SOUS 322915 HAS SOUPS 320784 WITH SCORE 322899.062
AT ITER 3855 NEW BEST:: SOT 4176983 SOS 2188580 HAS SOPS 2169920 HAS SOUS 310783 HAS SOUPS 308652 WITH SCORE 310840.58
AT ITER 3856 NEW BEST:: SOT 4177037 SOS 2188634 HAS SOPS 2169974 HAS SOUS 310773 HAS SOUPS 308642 WITH SCORE 310830.634
AT ITER 3858 NEW BEST:: SOT 4141777 SOS 2185979 HAS SOPS 2167319 HAS SOUS 308994 HAS SOUPS 306863 WITH SCORE 309048.979
AT ITER 3866 NEW BEST:: SOT 4141781 SOS 2185983 HAS SOPS 2167323 HAS SOUS 308986 HAS SOUPS 306855 WITH SCORE 309040.983
AT ITER 3922 NEW BEST:: SOT 4141748 SOS 2185950 HAS SOPS 2167290 HAS SOUS 308953 HAS SOUPS 306822 WITH SCORE 309007.95
AT ITER 3927 NEW BEST:: SOT 4141792 SOS 2185994 HAS SOPS 2167334 HAS SOUS 308855 HAS SOUPS 306724 WITH SCORE 308909.994
AT ITER 3936 NEW BEST:: SOT 4141791 SOS 2185945 HAS SOPS 2167285 HAS SOUS 308697 HAS SOUPS 306566 WITH SCORE 308751.945
AT ITER 3939 NEW BEST:: SOT 4141754 SOS 2185994 HAS SOPS 2167334 HAS SOUS 308623 HAS SOUPS 306492 WITH SCORE 308677.994
AT ITER 3954 NEW BEST:: SOT 4141871 SOS 2186111 HAS SOPS 2167451 HAS SOUS 308567 HAS SOUPS 306436 WITH SCORE 308622.111
AT ITER 3960 NEW BEST:: SOT 4141746 SOS 2185673 HAS SOPS 2167013 HAS SOUS 308386 HAS SOUPS 306255 WITH SCORE 308440.673
AT ITER 4008 NEW BEST:: SOT 4141188 SOS 2185208 HAS SOPS 2166548 HAS SOUS 308329 HAS SOUPS 306198 WITH SCORE 308383.208
AT ITER 4009 NEW BEST:: SOT 4140954 SOS 2184974 HAS SOPS 2166314 HAS SOUS 308167 HAS SOUPS 306036 WITH SCORE 308220.974
AT ITER 4014 NEW BEST:: SOT 4141838 SOS 2185784 HAS SOPS 2167124 HAS SOUS 304058 HAS SOUPS 301927 WITH SCORE 304112.784
AT ITER 4021 NEW BEST:: SOT 4141879 SOS 2185862 HAS SOPS 2167202 HAS SOUS 303955 HAS SOUPS 301824 WITH SCORE 304009.862
AT ITER 4036 NEW BEST:: SOT 4141715 SOS 2185698 HAS SOPS 2167038 HAS SOUS 303847 HAS SOUPS 301716 WITH SCORE 303901.698
AT ITER 4059 NEW BEST:: SOT 4141710 SOS 2185685 HAS SOPS 2167025 HAS SOUS 303841 HAS SOUPS 301710 WITH SCORE 303895.685
AT ITER 4075 NEW BEST:: SOT 4141694 SOS 2185640 HAS SOPS 2166950 HAS SOUS 303795 HAS SOUPS 301664 WITH SCORE 303849.64
AT ITER 4079 NEW BEST:: SOT 4141534 SOS 2185500 HAS SOPS 2166810 HAS SOUS 303730 HAS SOUPS 301599 WITH SCORE 303784.5
AT ITER 4080 NEW BEST:: SOT 4141509 SOS 2185475 HAS SOPS 2166785 HAS SOUS 303569 HAS SOUPS 301438 WITH SCORE 303623.475
AT ITER 4081 NEW BEST:: SOT 4141491 SOS 2185439 HAS SOPS 2166749 HAS SOUS 303533 HAS SOUPS 301402 WITH SCORE 303587.439
AT ITER 4085 NEW BEST:: SOT 4141490 SOS 2185413 HAS SOPS 2166723 HAS SOUS 303507 HAS SOUPS 301376 WITH SCORE 303561.413
AT ITER 4086 NEW BEST:: SOT 4141468 SOS 2182881 HAS SOPS 2164191 HAS SOUS 303478 HAS SOUPS 301347 WITH SCORE 303529.881
AT ITER 4118 NEW BEST:: SOT 4142673 SOS 2184466 HAS SOPS 2165776 HAS SOUS 303269 HAS SOUPS 301138 WITH SCORE 303322.466
AT ITER 4123 NEW BEST:: SOT 4142673 SOS 2184466 HAS SOPS 2165776 HAS SOUS 303257 HAS SOUPS 301126 WITH SCORE 303310.466
AT ITER 4152 NEW BEST:: SOT 4142671 SOS 2184464 HAS SOPS 2165790 HAS SOUS 303253 HAS SOUPS 301122 WITH SCORE 303306.464
AT ITER 4158 NEW BEST:: SOT 4142662 SOS 2184455 HAS SOPS 2165781 HAS SOUS 303244 HAS SOUPS 301113 WITH SCORE 303297.455
AT ITER 4160 NEW BEST:: SOT 4142502 SOS 2184307 HAS SOPS 2165633 HAS SOUS 303231 HAS SOUPS 301100 WITH SCORE 303284.307
AT ITER 4182 NEW BEST:: SOT 4142483 SOS 2184288 HAS SOPS 2165618 HAS SOUS 303212 HAS SOUPS 301085 WITH SCORE 303269.288
AT ITER 4184 NEW BEST:: SOT 4142543 SOS 2184477 HAS SOPS 2165807 HAS SOUS 303092 HAS SOUPS 300965 WITH SCORE 303149.477
AT ITER 4186 NEW BEST:: SOT 4142511 SOS 2184424 HAS SOPS 2165754 HAS SOUS 303076 HAS SOUPS 300949 WITH SCORE 303133.424
AT ITER 4205 NEW BEST:: SOT 4142533 SOS 2184446 HAS SOPS 2165776 HAS SOUS 303019 HAS SOUPS 300892 WITH SCORE 303076.446
AT ITER 4208 NEW BEST:: SOT 4142533 SOS 2184407 HAS SOPS 2165737 HAS SOUS 302999 HAS SOUPS 300872 WITH SCORE 303056.407
AT ITER 4236 NEW BEST:: SOT 4142533 SOS 2184410 HAS SOPS 2165740 HAS SOUS 302987 HAS SOUPS 300860 WITH SCORE 303044.41
AT ITER 4251 NEW BEST:: SOT 4142296 SOS 2183437 HAS SOPS 2164817 HAS SOUS 302418 HAS SOUPS 300291 WITH SCORE 302474.437
AT ITER 4258 NEW BEST:: SOT 4142156 SOS 2183297 HAS SOPS 2164677 HAS SOUS 302238 HAS SOUPS 300111 WITH SCORE 302294.297
AT ITER 4274 NEW BEST:: SOT 4142156 SOS 2183237 HAS SOPS 2164617 HAS SOUS 302147 HAS SOUPS 300020 WITH SCORE 302203.237
AT ITER 4285 NEW BEST:: SOT 4142120 SOS 2183198 HAS SOPS 2164578 HAS SOUS 302075 HAS SOUPS 299948 WITH SCORE 302131.198
AT ITER 4323 NEW BEST:: SOT 4142248 SOS 2183326 HAS SOPS 2164609 HAS SOUS 302035 HAS SOUPS 299908 WITH SCORE 302091.326
AT ITER 4353 NEW BEST:: SOT 4142247 SOS 2183324 HAS SOPS 2164607 HAS SOUS 302034 HAS SOUPS 299907 WITH SCORE 302090.324
AT ITER 4365 NEW BEST:: SOT 4119109 SOS 2160020 HAS SOPS 2141303 HAS SOUS 300405 HAS SOUPS 298278 WITH SCORE 300438.02
AT ITER 4373 NEW BEST:: SOT 4119141 SOS 2160052 HAS SOPS 2141328 HAS SOUS 300393 HAS SOUPS 298266 WITH SCORE 300426.052
AT ITER 4375 NEW BEST:: SOT 4119113 SOS 2157994 HAS SOPS 2139270 HAS SOUS 300315 HAS SOUPS 298188 WITH SCORE 300345.994
AT ITER 4377 NEW BEST:: SOT 4119068 SOS 2162067 HAS SOPS 2141982 HAS SOUS 300139 HAS SOUPS 297835 WITH SCORE 299997.067
AT ITER 4400 NEW BEST:: SOT 4119128 SOS 2162115 HAS SOPS 2142030 HAS SOUS 300115 HAS SOUPS 297811 WITH SCORE 299973.115
AT ITER 4401 NEW BEST:: SOT 4119052 SOS 2162020 HAS SOPS 2141935 HAS SOUS 300001 HAS SOUPS 297697 WITH SCORE 299859.02
AT ITER 4407 NEW BEST:: SOT 4119016 SOS 2161984 HAS SOPS 2141899 HAS SOUS 299928 HAS SOUPS 297624 WITH SCORE 299785.984
AT ITER 4417 NEW BEST:: SOT 4118841 SOS 2161809 HAS SOPS 2141724 HAS SOUS 299801 HAS SOUPS 297497 WITH SCORE 299658.809
AT ITER 4421 NEW BEST:: SOT 4118841 SOS 2161795 HAS SOPS 2141710 HAS SOUS 299787 HAS SOUPS 297483 WITH SCORE 299644.795
AT ITER 4436 NEW BEST:: SOT 4118737 SOS 2161639 HAS SOPS 2141554 HAS SOUS 299631 HAS SOUPS 297327 WITH SCORE 299488.639
AT ITER 4454 NEW BEST:: SOT 4118731 SOS 2161684 HAS SOPS 2141599 HAS SOUS 299364 HAS SOUPS 297060 WITH SCORE 299221.684
AT ITER 4455 NEW BEST:: SOT 4118466 SOS 2161274 HAS SOPS 2141295 HAS SOUS 299177 HAS SOUPS 296873 WITH SCORE 299034.274
AT ITER 4460 NEW BEST:: SOT 4118402 SOS 2161197 HAS SOPS 2141218 HAS SOUS 299075 HAS SOUPS 296771 WITH SCORE 298932.197
AT ITER 4465 NEW BEST:: SOT 4117679 SOS 2160474 HAS SOPS 2140495 HAS SOUS 298520 HAS SOUPS 296216 WITH SCORE 298376.474
AT ITER 4476 NEW BEST:: SOT 4117679 SOS 2160098 HAS SOPS 2140119 HAS SOUS 298473 HAS SOUPS 296169 WITH SCORE 298329.098
AT ITER 4492 NEW BEST:: SOT 4117673 SOS 2160092 HAS SOPS 2140113 HAS SOUS 298447 HAS SOUPS 296143 WITH SCORE 298303.092
AT ITER 4501 NEW BEST:: SOT 4117733 SOS 2160152 HAS SOPS 2140173 HAS SOUS 298438 HAS SOUPS 296134 WITH SCORE 298294.152
AT ITER 4516 NEW BEST:: SOT 4117721 SOS 2160140 HAS SOPS 2140113 HAS SOUS 298350 HAS SOUPS 296046 WITH SCORE 298206.14
AT ITER 4517 NEW BEST:: SOT 4117286 SOS 2159391 HAS SOPS 2139364 HAS SOUS 298241 HAS SOUPS 295937 WITH SCORE 298096.391
AT ITER 4522 NEW BEST:: SOT 4117286 SOS 2159391 HAS SOPS 2139364 HAS SOUS 298239 HAS SOUPS 295935 WITH SCORE 298094.391
AT ITER 4530 NEW BEST:: SOT 4117260 SOS 2159365 HAS SOPS 2139338 HAS SOUS 298182 HAS SOUPS 295878 WITH SCORE 298037.365
AT ITER 4536 NEW BEST:: SOT 4117260 SOS 2159347 HAS SOPS 2139320 HAS SOUS 298182 HAS SOUPS 295878 WITH SCORE 298037.347
AT ITER 4552 NEW BEST:: SOT 4117099 SOS 2159237 HAS SOPS 2139210 HAS SOUS 297962 HAS SOUPS 295658 WITH SCORE 297817.237
AT ITER 4555 NEW BEST:: SOT 4117008 SOS 2159146 HAS SOPS 2139119 HAS SOUS 297894 HAS SOUPS 295590 WITH SCORE 297749.146
AT ITER 4558 NEW BEST:: SOT 4116968 SOS 2159106 HAS SOPS 2139079 HAS SOUS 297808 HAS SOUPS 295504 WITH SCORE 297663.106
AT ITER 4588 NEW BEST:: SOT 4116311 SOS 2158393 HAS SOPS 2138366 HAS SOUS 297589 HAS SOUPS 295285 WITH SCORE 297443.393
AT ITER 4603 NEW BEST:: SOT 4110274 SOS 2152271 HAS SOPS 2132244 HAS SOUS 297260 HAS SOUPS 294956 WITH SCORE 297108.271
AT ITER 4610 NEW BEST:: SOT 4110013 SOS 2152084 HAS SOPS 2132057 HAS SOUS 297130 HAS SOUPS 294826 WITH SCORE 296978.084
AT ITER 4623 NEW BEST:: SOT 4109315 SOS 2150045 HAS SOPS 2130018 HAS SOUS 296314 HAS SOUPS 294010 WITH SCORE 296160.045
AT ITER 4626 NEW BEST:: SOT 4109245 SOS 2149901 HAS SOPS 2129874 HAS SOUS 296291 HAS SOUPS 293987 WITH SCORE 296136.901
AT ITER 4628 NEW BEST:: SOT 4109235 SOS 2149891 HAS SOPS 2129854 HAS SOUS 296271 HAS SOUPS 293967 WITH SCORE 296116.891
AT ITER 4644 NEW BEST:: SOT 4109202 SOS 2149878 HAS SOPS 2129841 HAS SOUS 296218 HAS SOUPS 293914 WITH SCORE 296063.878
AT ITER 4655 NEW BEST:: SOT 4109202 SOS 2149826 HAS SOPS 2129789 HAS SOUS 296218 HAS SOUPS 293914 WITH SCORE 296063.826
AT ITER 4674 NEW BEST:: SOT 4109136 SOS 2149760 HAS SOPS 2129749 HAS SOUS 296116 HAS SOUPS 293838 WITH SCORE 295987.76
AT ITER 4693 NEW BEST:: SOT 4125183 SOS 2133397 HAS SOPS 2113386 HAS SOUS 296092 HAS SOUPS 293814 WITH SCORE 295947.397
AT ITER 4705 NEW BEST:: SOT 4125060 SOS 2133274 HAS SOPS 2113295 HAS SOUS 296076 HAS SOUPS 293798 WITH SCORE 295931.274
AT ITER 4727 NEW BEST:: SOT 4125047 SOS 2133205 HAS SOPS 2113226 HAS SOUS 296007 HAS SOUPS 293729 WITH SCORE 295862.205
AT ITER 4810 NEW BEST:: SOT 4124868 SOS 2133026 HAS SOPS 2113047 HAS SOUS 293457 HAS SOUPS 291179 WITH SCORE 293312.026
AT ITER 4812 NEW BEST:: SOT 4124868 SOS 2133026 HAS SOPS 2113047 HAS SOUS 293442 HAS SOUPS 291164 WITH SCORE 293297.026
AT ITER 4828 NEW BEST:: SOT 4124842 SOS 2133000 HAS SOPS 2113021 HAS SOUS 293390 HAS SOUPS 291112 WITH SCORE 293245.0
AT ITER 4850 NEW BEST:: SOT 4124784 SOS 2132942 HAS SOPS 2112963 HAS SOUS 293350 HAS SOUPS 291072 WITH SCORE 293204.942
AT ITER 4858 NEW BEST:: SOT 4124755 SOS 2133105 HAS SOPS 2113126 HAS SOUS 293345 HAS SOUPS 291067 WITH SCORE 293200.105
AT ITER 4864 NEW BEST:: SOT 4124688 SOS 2132968 HAS SOPS 2112989 HAS SOUS 293211 HAS SOUPS 290933 WITH SCORE 293065.968
AT ITER 4866 NEW BEST:: SOT 4124688 SOS 2132968 HAS SOPS 2112989 HAS SOUS 293209 HAS SOUPS 290931 WITH SCORE 293063.968
AT ITER 4885 NEW BEST:: SOT 4124549 SOS 2132789 HAS SOPS 2112810 HAS SOUS 292971 HAS SOUPS 290693 WITH SCORE 292825.789
AT ITER 4900 NEW BEST:: SOT 4124580 SOS 2133050 HAS SOPS 2113071 HAS SOUS 292906 HAS SOUPS 290628 WITH SCORE 292761.05
AT ITER 4916 NEW BEST:: SOT 4124564 SOS 2133034 HAS SOPS 2113055 HAS SOUS 292890 HAS SOUPS 290612 WITH SCORE 292745.034
AT ITER 4944 NEW BEST:: SOT 4124624 SOS 2133064 HAS SOPS 2113085 HAS SOUS 292650 HAS SOUPS 290372 WITH SCORE 292505.064
AT ITER 4950 NEW BEST:: SOT 4124616 SOS 2133101 HAS SOPS 2113122 HAS SOUS 292634 HAS SOUPS 290356 WITH SCORE 292489.101
AT ITER 4983 NEW BEST:: SOT 4124601 SOS 2133086 HAS SOPS 2113107 HAS SOUS 292619 HAS SOUPS 290341 WITH SCORE 292474.086
AT ITER 5013 NEW BEST:: SOT 4124601 SOS 2133045 HAS SOPS 2113066 HAS SOUS 292578 HAS SOUPS 290300 WITH SCORE 292433.045
AT ITER 5016 NEW BEST:: SOT 4124552 SOS 2132960 HAS SOPS 2112981 HAS SOUS 292572 HAS SOUPS 290294 WITH SCORE 292426.96
AT ITER 5017 NEW BEST:: SOT 4124566 SOS 2132974 HAS SOPS 2112575 HAS SOUS 292776 HAS SOUPS 290098 WITH SCORE 292230.974
AT ITER 5022 NEW BEST:: SOT 4124566 SOS 2127615 HAS SOPS 2107216 HAS SOUS 292776 HAS SOUPS 290098 WITH SCORE 292225.615
AT ITER 5034 NEW BEST:: SOT 4124570 SOS 2127715 HAS SOPS 2107316 HAS SOUS 292636 HAS SOUPS 289958 WITH SCORE 292085.715
AT ITER 5046 NEW BEST:: SOT 4124484 SOS 2127543 HAS SOPS 2107144 HAS SOUS 292464 HAS SOUPS 289786 WITH SCORE 291913.543
AT ITER 5065 NEW BEST:: SOT 4136999 SOS 2139898 HAS SOPS 2119659 HAS SOUS 291995 HAS SOUPS 289337 WITH SCORE 291476.898
AT ITER 5079 NEW BEST:: SOT 4136906 SOS 2139836 HAS SOPS 2119597 HAS SOUS 291933 HAS SOUPS 289275 WITH SCORE 291414.836
AT ITER 5105 NEW BEST:: SOT 4136906 SOS 2139836 HAS SOPS 2119582 HAS SOUS 291903 HAS SOUPS 289245 WITH SCORE 291384.836
AT ITER 5110 NEW BEST:: SOT 4136909 SOS 2139839 HAS SOPS 2119585 HAS SOUS 291897 HAS SOUPS 289239 WITH SCORE 291378.839
AT ITER 5153 NEW BEST:: SOT 4136903 SOS 2139833 HAS SOPS 2119579 HAS SOUS 291869 HAS SOUPS 289211 WITH SCORE 291350.833
AT ITER 5164 NEW BEST:: SOT 4136720 SOS 2139529 HAS SOPS 2119275 HAS SOUS 291085 HAS SOUPS 288427 WITH SCORE 290566.529
AT ITER 5187 NEW BEST:: SOT 4136660 SOS 2139469 HAS SOPS 2119275 HAS SOUS 291085 HAS SOUPS 288427 WITH SCORE 290566.469
AT ITER 5194 NEW BEST:: SOT 4136710 SOS 2139519 HAS SOPS 2119311 HAS SOUS 291057 HAS SOUPS 288399 WITH SCORE 290538.519
AT ITER 5200 NEW BEST:: SOT 4136543 SOS 2138359 HAS SOPS 2118151 HAS SOUS 290996 HAS SOUPS 288338 WITH SCORE 290476.359
AT ITER 5207 NEW BEST:: SOT 4136543 SOS 2138359 HAS SOPS 2118151 HAS SOUS 290990 HAS SOUPS 288332 WITH SCORE 290470.359
AT ITER 5226 NEW BEST:: SOT 4136755 SOS 2138624 HAS SOPS 2118416 HAS SOUS 290852 HAS SOUPS 288194 WITH SCORE 290332.624
AT ITER 5247 NEW BEST:: SOT 4136746 SOS 2138615 HAS SOPS 2118416 HAS SOUS 290852 HAS SOUPS 288194 WITH SCORE 290332.615
AT ITER 5248 NEW BEST:: SOT 4136699 SOS 2037081 HAS SOPS 2016882 HAS SOUS 290833 HAS SOUPS 288175 WITH SCORE 290212.081
AT ITER 5266 NEW BEST:: SOT 4138433 SOS 1999695 HAS SOPS 1979496 HAS SOUS 284761 HAS SOUPS 282103 WITH SCORE 284102.695
AT ITER 5284 NEW BEST:: SOT 4138433 SOS 1999695 HAS SOPS 1979496 HAS SOUS 284760 HAS SOUPS 282102 WITH SCORE 284101.695
AT ITER 5316 NEW BEST:: SOT 4138504 SOS 1999768 HAS SOPS 1979569 HAS SOUS 284738 HAS SOUPS 282080 WITH SCORE 284079.768
AT ITER 5320 NEW BEST:: SOT 4138551 SOS 1999815 HAS SOPS 1979565 HAS SOUS 284676 HAS SOUPS 282018 WITH SCORE 284017.815
AT ITER 5323 NEW BEST:: SOT 4138507 SOS 1999758 HAS SOPS 1979509 HAS SOUS 284652 HAS SOUPS 281994 WITH SCORE 283993.758
AT ITER 5368 NEW BEST:: SOT 4138507 SOS 1999718 HAS SOPS 1979469 HAS SOUS 284652 HAS SOUPS 281994 WITH SCORE 283993.718
AT ITER 5406 NEW BEST:: SOT 4079202 SOS 1940413 HAS SOPS 1920164 HAS SOUS 283401 HAS SOUPS 280743 WITH SCORE 282683.413
AT ITER 5445 NEW BEST:: SOT 4079112 SOS 1940279 HAS SOPS 1920030 HAS SOUS 283317 HAS SOUPS 280659 WITH SCORE 282599.279
AT ITER 5458 NEW BEST:: SOT 4079421 SOS 1940588 HAS SOPS 1920339 HAS SOUS 282963 HAS SOUPS 280305 WITH SCORE 282245.588
AT ITER 5459 NEW BEST:: SOT 4079347 SOS 1940619 HAS SOPS 1920370 HAS SOUS 282815 HAS SOUPS 280157 WITH SCORE 282097.619
AT ITER 5478 NEW BEST:: SOT 4079532 SOS 1940632 HAS SOPS 1920383 HAS SOUS 282335 HAS SOUPS 279677 WITH SCORE 281617.632
AT ITER 5491 NEW BEST:: SOT 4079532 SOS 1940692 HAS SOPS 1920443 HAS SOUS 282291 HAS SOUPS 279633 WITH SCORE 281573.692
AT ITER 5493 NEW BEST:: SOT 4079532 SOS 1940713 HAS SOPS 1920416 HAS SOUS 282208 HAS SOUPS 279550 WITH SCORE 281490.713
AT ITER 5495 NEW BEST:: SOT 4079530 SOS 1940711 HAS SOPS 1920414 HAS SOUS 282204 HAS SOUPS 279546 WITH SCORE 281486.711
AT ITER 5507 NEW BEST:: SOT 4079477 SOS 1940945 HAS SOPS 1920625 HAS SOUS 282128 HAS SOUPS 279470 WITH SCORE 281410.945
AT ITER 5509 NEW BEST:: SOT 4079474 SOS 1940826 HAS SOPS 1920506 HAS SOUS 282045 HAS SOUPS 279387 WITH SCORE 281327.826
AT ITER 5536 NEW BEST:: SOT 4079468 SOS 1940820 HAS SOPS 1920500 HAS SOUS 282033 HAS SOUPS 279375 WITH SCORE 281315.82
AT ITER 5545 NEW BEST:: SOT 4079468 SOS 1940820 HAS SOPS 1920500 HAS SOUS 282027 HAS SOUPS 279369 WITH SCORE 281309.82
AT ITER 5559 NEW BEST:: SOT 4079473 SOS 1940825 HAS SOPS 1920532 HAS SOUS 281817 HAS SOUPS 279159 WITH SCORE 281099.825
AT ITER 5565 NEW BEST:: SOT 4079494 SOS 1940936 HAS SOPS 1920643 HAS SOUS 281490 HAS SOUPS 278832 WITH SCORE 280772.936
AT ITER 5572 NEW BEST:: SOT 4079497 SOS 1933931 HAS SOPS 1913638 HAS SOUS 281493 HAS SOUPS 278835 WITH SCORE 280768.931
AT ITER 5576 NEW BEST:: SOT 4079307 SOS 1933741 HAS SOPS 1913448 HAS SOUS 281248 HAS SOUPS 278590 WITH SCORE 280523.741
AT ITER 5597 NEW BEST:: SOT 4037254 SOS 1891539 HAS SOPS 1871246 HAS SOUS 278145 HAS SOUPS 275487 WITH SCORE 277378.539
AT ITER 5598 NEW BEST:: SOT 4037254 SOS 1891587 HAS SOPS 1871294 HAS SOUS 278129 HAS SOUPS 275471 WITH SCORE 277362.587
AT ITER 5601 NEW BEST:: SOT 4037254 SOS 1891559 HAS SOPS 1871266 HAS SOUS 278115 HAS SOUPS 275457 WITH SCORE 277348.559
AT ITER 5602 NEW BEST:: SOT 4037295 SOS 1891600 HAS SOPS 1871307 HAS SOUS 278100 HAS SOUPS 275442 WITH SCORE 277333.6
AT ITER 5606 NEW BEST:: SOT 4036978 SOS 1891809 HAS SOPS 1871516 HAS SOUS 277970 HAS SOUPS 275312 WITH SCORE 277203.809
AT ITER 5611 NEW BEST:: SOT 4036949 SOS 1891979 HAS SOPS 1871676 HAS SOUS 277958 HAS SOUPS 275301 WITH SCORE 277192.979
AT ITER 5617 NEW BEST:: SOT 4035834 SOS 1891671 HAS SOPS 1871368 HAS SOUS 277053 HAS SOUPS 274396 WITH SCORE 276287.671
AT ITER 5634 NEW BEST:: SOT 4035770 SOS 1892157 HAS SOPS 1871854 HAS SOUS 276900 HAS SOUPS 274243 WITH SCORE 276135.157
AT ITER 5643 NEW BEST:: SOT 4035581 SOS 1891968 HAS SOPS 1871665 HAS SOUS 276630 HAS SOUPS 273973 WITH SCORE 275864.968
AT ITER 5654 NEW BEST:: SOT 4035574 SOS 1891994 HAS SOPS 1871724 HAS SOUS 276623 HAS SOUPS 273966 WITH SCORE 275857.994
AT ITER 5671 NEW BEST:: SOT 4035370 SOS 1891664 HAS SOPS 1871394 HAS SOUS 276341 HAS SOUPS 273684 WITH SCORE 275575.664
AT ITER 5681 NEW BEST:: SOT 4035348 SOS 1891642 HAS SOPS 1871372 HAS SOUS 276308 HAS SOUPS 273651 WITH SCORE 275542.642
AT ITER 5706 NEW BEST:: SOT 4034957 SOS 1891251 HAS SOPS 1870981 HAS SOUS 275920 HAS SOUPS 273263 WITH SCORE 275154.251
AT ITER 5711 NEW BEST:: SOT 4034957 SOS 1891251 HAS SOPS 1870981 HAS SOUS 275913 HAS SOUPS 273256 WITH SCORE 275147.251
AT ITER 5751 NEW BEST:: SOT 4034957 SOS 1891175 HAS SOPS 1870905 HAS SOUS 275913 HAS SOUPS 273256 WITH SCORE 275147.175
AT ITER 5753 NEW BEST:: SOT 4034940 SOS 1891092 HAS SOPS 1870822 HAS SOUS 275879 HAS SOUPS 273222 WITH SCORE 275113.092
AT ITER 5762 NEW BEST:: SOT 4034894 SOS 1890999 HAS SOPS 1870729 HAS SOUS 275650 HAS SOUPS 272993 WITH SCORE 274883.999
AT ITER 5763 NEW BEST:: SOT 4034878 SOS 1890983 HAS SOPS 1870713 HAS SOUS 275634 HAS SOUPS 272977 WITH SCORE 274867.983
AT ITER 5764 NEW BEST:: SOT 4035135 SOS 1891400 HAS SOPS 1871130 HAS SOUS 275312 HAS SOUPS 272655 WITH SCORE 274546.4
AT ITER 5766 NEW BEST:: SOT 4025847 SOS 1882112 HAS SOPS 1861842 HAS SOUS 274268 HAS SOUPS 271611 WITH SCORE 273493.112
AT ITER 5785 NEW BEST:: SOT 4025910 SOS 1882175 HAS SOPS 1861964 HAS SOUS 274173 HAS SOUPS 271516 WITH SCORE 273398.175
AT ITER 5795 NEW BEST:: SOT 4025910 SOS 1781169 HAS SOPS 1760958 HAS SOUS 274112 HAS SOUPS 271455 WITH SCORE 273236.169
AT ITER 5821 NEW BEST:: SOT 4025944 SOS 1781186 HAS SOPS 1760975 HAS SOUS 274010 HAS SOUPS 271353 WITH SCORE 273134.186
AT ITER 5827 NEW BEST:: SOT 4025840 SOS 1773738 HAS SOPS 1753527 HAS SOUS 273690 HAS SOUPS 271033 WITH SCORE 272806.738
AT ITER 5843 NEW BEST:: SOT 4025840 SOS 1773738 HAS SOPS 1753489 HAS SOUS 273674 HAS SOUPS 271017 WITH SCORE 272790.738
AT ITER 5920 NEW BEST:: SOT 4025840 SOS 1773644 HAS SOPS 1753395 HAS SOUS 273434 HAS SOUPS 270777 WITH SCORE 272550.644
AT ITER 5923 NEW BEST:: SOT 4025804 SOS 1773572 HAS SOPS 1753323 HAS SOUS 273362 HAS SOUPS 270705 WITH SCORE 272478.572
AT ITER 5935 NEW BEST:: SOT 4025813 SOS 1773671 HAS SOPS 1753422 HAS SOUS 273334 HAS SOUPS 270677 WITH SCORE 272450.671
AT ITER 5954 NEW BEST:: SOT 4025868 SOS 1773726 HAS SOPS 1753477 HAS SOUS 273268 HAS SOUPS 270611 WITH SCORE 272384.726
AT ITER 5958 NEW BEST:: SOT 4025676 SOS 1773534 HAS SOPS 1753285 HAS SOUS 272998 HAS SOUPS 270341 WITH SCORE 272114.534
AT ITER 5971 NEW BEST:: SOT 4025676 SOS 1773534 HAS SOPS 1753285 HAS SOUS 272943 HAS SOUPS 270286 WITH SCORE 272059.534
AT ITER 5981 NEW BEST:: SOT 4025649 SOS 1773507 HAS SOPS 1753231 HAS SOUS 272889 HAS SOUPS 270232 WITH SCORE 272005.507
AT ITER 5993 NEW BEST:: SOT 4025584 SOS 1773390 HAS SOPS 1753089 HAS SOUS 272798 HAS SOUPS 270140 WITH SCORE 271913.39
AT ITER 5997 NEW BEST:: SOT 4059181 SOS 1808275 HAS SOPS 1787974 HAS SOUS 272506 HAS SOUPS 269848 WITH SCORE 271656.275
AT ITER 6020 NEW BEST:: SOT 4059280 SOS 1809049 HAS SOPS 1788748 HAS SOUS 272460 HAS SOUPS 269802 WITH SCORE 271611.049
AT ITER 6025 NEW BEST:: SOT 4059309 SOS 1809078 HAS SOPS 1788777 HAS SOUS 272416 HAS SOUPS 269758 WITH SCORE 271567.078
AT ITER 6053 NEW BEST:: SOT 4059368 SOS 1809137 HAS SOPS 1788805 HAS SOUS 272354 HAS SOUPS 269696 WITH SCORE 271505.137
AT ITER 6066 NEW BEST:: SOT 4059390 SOS 1809159 HAS SOPS 1788757 HAS SOUS 272147 HAS SOUPS 269489 WITH SCORE 271298.159
AT ITER 6087 NEW BEST:: SOT 4059071 SOS 1808840 HAS SOPS 1788438 HAS SOUS 272006 HAS SOUPS 269348 WITH SCORE 271156.84
AT ITER 6111 NEW BEST:: SOT 4058860 SOS 1808575 HAS SOPS 1788173 HAS SOUS 271741 HAS SOUPS 269083 WITH SCORE 270891.575
AT ITER 6122 NEW BEST:: SOT 4058628 SOS 1808343 HAS SOPS 1787941 HAS SOUS 271509 HAS SOUPS 268851 WITH SCORE 270659.343
AT ITER 6123 NEW BEST:: SOT 4058628 SOS 1808342 HAS SOPS 1787940 HAS SOUS 271509 HAS SOUPS 268851 WITH SCORE 270659.342
AT ITER 6135 NEW BEST:: SOT 4058380 SOS 1807852 HAS SOPS 1787450 HAS SOUS 271500 HAS SOUPS 268842 WITH SCORE 270649.852
AT ITER 6143 NEW BEST:: SOT 4058376 SOS 1807749 HAS SOPS 1787347 HAS SOUS 271130 HAS SOUPS 268472 WITH SCORE 270279.749
AT ITER 6146 NEW BEST:: SOT 4058381 SOS 1807577 HAS SOPS 1787175 HAS SOUS 271104 HAS SOUPS 268446 WITH SCORE 270253.577
AT ITER 6166 NEW BEST:: SOT 4058381 SOS 1807504 HAS SOPS 1787102 HAS SOUS 271057 HAS SOUPS 268399 WITH SCORE 270206.504
AT ITER 6171 NEW BEST:: SOT 4058374 SOS 1807466 HAS SOPS 1787064 HAS SOUS 270971 HAS SOUPS 268313 WITH SCORE 270120.466
AT ITER 6213 NEW BEST:: SOT 4058300 SOS 1807429 HAS SOPS 1787027 HAS SOUS 270860 HAS SOUPS 268202 WITH SCORE 270009.429
AT ITER 6236 NEW BEST:: SOT 4058176 SOS 1807133 HAS SOPS 1786731 HAS SOUS 270822 HAS SOUPS 268164 WITH SCORE 269971.133
AT ITER 6242 NEW BEST:: SOT 4058163 SOS 1807124 HAS SOPS 1786722 HAS SOUS 270813 HAS SOUPS 268155 WITH SCORE 269962.124
AT ITER 6245 NEW BEST:: SOT 4058120 SOS 1806892 HAS SOPS 1786490 HAS SOUS 270596 HAS SOUPS 267938 WITH SCORE 269744.892
AT ITER 6270 NEW BEST:: SOT 4058058 SOS 1806867 HAS SOPS 1786465 HAS SOUS 270483 HAS SOUPS 267825 WITH SCORE 269631.867
AT ITER 6272 NEW BEST:: SOT 4057412 SOS 1806038 HAS SOPS 1785636 HAS SOUS 269733 HAS SOUPS 267075 WITH SCORE 268881.038
AT ITER 6273 NEW BEST:: SOT 4057279 SOS 1805958 HAS SOPS 1785556 HAS SOUS 269550 HAS SOUPS 266892 WITH SCORE 268697.958
AT ITER 6280 NEW BEST:: SOT 4057279 SOS 1805781 HAS SOPS 1785379 HAS SOUS 269492 HAS SOUPS 266834 WITH SCORE 268639.781
AT ITER 6281 NEW BEST:: SOT 4057220 SOS 1805722 HAS SOPS 1785320 HAS SOUS 269374 HAS SOUPS 266716 WITH SCORE 268521.722
AT ITER 6283 NEW BEST:: SOT 4057197 SOS 1805699 HAS SOPS 1785297 HAS SOUS 269351 HAS SOUPS 266693 WITH SCORE 268498.699
AT ITER 6285 NEW BEST:: SOT 4023960 SOS 1772392 HAS SOPS 1751990 HAS SOUS 265367 HAS SOUPS 262709 WITH SCORE 264481.392
AT ITER 6289 NEW BEST:: SOT 4024043 SOS 1771943 HAS SOPS 1751541 HAS SOUS 265352 HAS SOUPS 262694 WITH SCORE 264465.943
AT ITER 6308 NEW BEST:: SOT 4024047 SOS 1771947 HAS SOPS 1751545 HAS SOUS 265346 HAS SOUPS 262688 WITH SCORE 264459.947
AT ITER 6313 NEW BEST:: SOT 4024047 SOS 1771939 HAS SOPS 1751537 HAS SOUS 265346 HAS SOUPS 262688 WITH SCORE 264459.939
AT ITER 6323 NEW BEST:: SOT 4023816 SOS 1771783 HAS SOPS 1751381 HAS SOUS 265339 HAS SOUPS 262681 WITH SCORE 264452.783
AT ITER 6337 NEW BEST:: SOT 4023816 SOS 1771768 HAS SOPS 1751366 HAS SOUS 265339 HAS SOUPS 262681 WITH SCORE 264452.768
AT ITER 6338 NEW BEST:: SOT 4023822 SOS 1771766 HAS SOPS 1751364 HAS SOUS 265336 HAS SOUPS 262678 WITH SCORE 264449.766
AT ITER 6358 NEW BEST:: SOT 4023784 SOS 1771728 HAS SOPS 1751397 HAS SOUS 265260 HAS SOUPS 262602 WITH SCORE 264373.728
AT ITER 6364 NEW BEST:: SOT 4023405 SOS 1771349 HAS SOPS 1751018 HAS SOUS 264879 HAS SOUPS 262221 WITH SCORE 263992.349
AT ITER 6371 NEW BEST:: SOT 4023401 SOS 1771341 HAS SOPS 1751010 HAS SOUS 264871 HAS SOUPS 262213 WITH SCORE 263984.341
AT ITER 6396 NEW BEST:: SOT 4023285 SOS 1771125 HAS SOPS 1750794 HAS SOUS 264739 HAS SOUPS 262081 WITH SCORE 263852.125
AT ITER 6403 NEW BEST:: SOT 4023284 SOS 1771124 HAS SOPS 1750793 HAS SOUS 264739 HAS SOUPS 262081 WITH SCORE 263852.124
AT ITER 6408 NEW BEST:: SOT 4023263 SOS 1771103 HAS SOPS 1750772 HAS SOUS 264258 HAS SOUPS 261600 WITH SCORE 263371.103
AT ITER 6409 NEW BEST:: SOT 4023260 SOS 1771101 HAS SOPS 1750770 HAS SOUS 264258 HAS SOUPS 261600 WITH SCORE 263371.101
AT ITER 6443 NEW BEST:: SOT 4023352 SOS 1771393 HAS SOPS 1751062 HAS SOUS 264231 HAS SOUPS 261573 WITH SCORE 263344.393
AT ITER 6454 NEW BEST:: SOT 4025436 SOS 1773373 HAS SOPS 1753146 HAS SOUS 262538 HAS SOUPS 259893 WITH SCORE 261666.373
AT ITER 6457 NEW BEST:: SOT 4027257 SOS 1753527 HAS SOPS 1733300 HAS SOUS 262538 HAS SOUPS 259893 WITH SCORE 261646.527
AT ITER 6459 NEW BEST:: SOT 4027249 SOS 1753511 HAS SOPS 1733284 HAS SOUS 262522 HAS SOUPS 259877 WITH SCORE 261630.511
AT ITER 6462 NEW BEST:: SOT 4027301 SOS 1753563 HAS SOPS 1733239 HAS SOUS 262331 HAS SOUPS 259686 WITH SCORE 261439.563
AT ITER 6469 NEW BEST:: SOT 4027288 SOS 1753550 HAS SOPS 1733226 HAS SOUS 262288 HAS SOUPS 259643 WITH SCORE 261396.55
AT ITER 6475 NEW BEST:: SOT 4027469 SOS 1753428 HAS SOPS 1732976 HAS SOUS 262136 HAS SOUPS 259491 WITH SCORE 261244.428
AT ITER 6482 NEW BEST:: SOT 4027482 SOS 1753441 HAS SOPS 1732989 HAS SOUS 262125 HAS SOUPS 259480 WITH SCORE 261233.441
AT ITER 6483 NEW BEST:: SOT 4027472 SOS 1753316 HAS SOPS 1732864 HAS SOUS 262100 HAS SOUPS 259455 WITH SCORE 261208.316
AT ITER 6486 NEW BEST:: SOT 4027461 SOS 1753305 HAS SOPS 1732853 HAS SOUS 262078 HAS SOUPS 259433 WITH SCORE 261186.305
AT ITER 6499 NEW BEST:: SOT 4027518 SOS 1753362 HAS SOPS 1732910 HAS SOUS 261952 HAS SOUPS 259307 WITH SCORE 261060.362
AT ITER 6501 NEW BEST:: SOT 4027307 SOS 1753151 HAS SOPS 1732699 HAS SOUS 261827 HAS SOUPS 259182 WITH SCORE 260935.151
AT ITER 6508 NEW BEST:: SOT 4027318 SOS 1753162 HAS SOPS 1732636 HAS SOUS 261747 HAS SOUPS 259102 WITH SCORE 260855.162
AT ITER 6518 NEW BEST:: SOT 4027190 SOS 1752835 HAS SOPS 1732309 HAS SOUS 261530 HAS SOUPS 258885 WITH SCORE 260637.835
AT ITER 6526 NEW BEST:: SOT 4027182 SOS 1752825 HAS SOPS 1732299 HAS SOUS 261514 HAS SOUPS 258869 WITH SCORE 260621.825
AT ITER 6547 NEW BEST:: SOT 4026917 SOS 1752064 HAS SOPS 1731538 HAS SOUS 261435 HAS SOUPS 258790 WITH SCORE 260542.064
AT ITER 6554 NEW BEST:: SOT 4026904 SOS 1751838 HAS SOPS 1731312 HAS SOUS 261409 HAS SOUPS 258764 WITH SCORE 260515.838
AT ITER 6556 NEW BEST:: SOT 4026856 SOS 1751742 HAS SOPS 1731216 HAS SOUS 261377 HAS SOUPS 258732 WITH SCORE 260483.742
AT ITER 6561 NEW BEST:: SOT 4026783 SOS 1751669 HAS SOPS 1731169 HAS SOUS 261305 HAS SOUPS 258660 WITH SCORE 260411.669
AT ITER 6623 NEW BEST:: SOT 4026783 SOS 1751847 HAS SOPS 1731347 HAS SOUS 261293 HAS SOUPS 258648 WITH SCORE 260399.847
AT ITER 6624 NEW BEST:: SOT 4026726 SOS 1751733 HAS SOPS 1731233 HAS SOUS 261179 HAS SOUPS 258534 WITH SCORE 260285.733
AT ITER 6643 NEW BEST:: SOT 4026678 SOS 1751827 HAS SOPS 1731327 HAS SOUS 261054 HAS SOUPS 258409 WITH SCORE 260160.827
AT ITER 6664 NEW BEST:: SOT 4026410 SOS 1751595 HAS SOPS 1731095 HAS SOUS 254175 HAS SOUPS 251530 WITH SCORE 253281.595
AT ITER 6684 NEW BEST:: SOT 4026411 SOS 1751596 HAS SOPS 1731079 HAS SOUS 254155 HAS SOUPS 251510 WITH SCORE 253261.596
AT ITER 6687 NEW BEST:: SOT 4026411 SOS 1751551 HAS SOPS 1731034 HAS SOUS 254155 HAS SOUPS 251510 WITH SCORE 253261.551
AT ITER 6707 NEW BEST:: SOT 4026421 SOS 1751544 HAS SOPS 1731027 HAS SOUS 254135 HAS SOUPS 251490 WITH SCORE 253241.544
AT ITER 6730 NEW BEST:: SOT 4026250 SOS 1751373 HAS SOPS 1730856 HAS SOUS 253948 HAS SOUPS 251303 WITH SCORE 253054.373
AT ITER 6739 NEW BEST:: SOT 4026192 SOS 1751317 HAS SOPS 1730800 HAS SOUS 253886 HAS SOUPS 251241 WITH SCORE 252992.317
AT ITER 6742 NEW BEST:: SOT 4009251 SOS 1734376 HAS SOPS 1713859 HAS SOUS 252068 HAS SOUPS 249423 WITH SCORE 251157.376
AT ITER 6759 NEW BEST:: SOT 4009250 SOS 1734375 HAS SOPS 1713858 HAS SOUS 252021 HAS SOUPS 249376 WITH SCORE 251110.375
AT ITER 6772 NEW BEST:: SOT 4009250 SOS 1734380 HAS SOPS 1713863 HAS SOUS 251873 HAS SOUPS 249228 WITH SCORE 250962.38
AT ITER 6813 NEW BEST:: SOT 4009226 SOS 1734352 HAS SOPS 1713835 HAS SOUS 251829 HAS SOUPS 249184 WITH SCORE 250918.352
AT ITER 6857 NEW BEST:: SOT 4009170 SOS 1731440 HAS SOPS 1710923 HAS SOUS 251689 HAS SOUPS 249044 WITH SCORE 250775.44
AT ITER 6864 NEW BEST:: SOT 4008917 SOS 1731365 HAS SOPS 1710848 HAS SOUS 251369 HAS SOUPS 248724 WITH SCORE 250455.365
AT ITER 6877 NEW BEST:: SOT 4008627 SOS 1729563 HAS SOPS 1709046 HAS SOUS 251079 HAS SOUPS 248434 WITH SCORE 250163.563
AT ITER 6896 NEW BEST:: SOT 4008606 SOS 1729610 HAS SOPS 1709093 HAS SOUS 251037 HAS SOUPS 248392 WITH SCORE 250121.61
AT ITER 6907 NEW BEST:: SOT 4008654 SOS 1729658 HAS SOPS 1709127 HAS SOUS 251035 HAS SOUPS 248390 WITH SCORE 250119.658
AT ITER 6914 NEW BEST:: SOT 4008621 SOS 1729539 HAS SOPS 1708931 HAS SOUS 250969 HAS SOUPS 248324 WITH SCORE 250053.539
AT ITER 6940 NEW BEST:: SOT 4008445 SOS 1729363 HAS SOPS 1708755 HAS SOUS 250852 HAS SOUPS 248207 WITH SCORE 249936.363
AT ITER 6980 NEW BEST:: SOT 3995445 SOS 1744261 HAS SOPS 1723653 HAS SOUS 250002 HAS SOUPS 247357 WITH SCORE 249101.261
AT ITER 7002 NEW BEST:: SOT 3995420 SOS 1744236 HAS SOPS 1723615 HAS SOUS 249952 HAS SOUPS 247307 WITH SCORE 249051.236
AT ITER 7003 NEW BEST:: SOT 3995420 SOS 1744232 HAS SOPS 1723611 HAS SOUS 249952 HAS SOUPS 247307 WITH SCORE 249051.232
AT ITER 7007 NEW BEST:: SOT 3995424 SOS 1744236 HAS SOPS 1723615 HAS SOUS 249643 HAS SOUPS 246998 WITH SCORE 248742.236
AT ITER 7027 NEW BEST:: SOT 3995409 SOS 1744191 HAS SOPS 1723570 HAS SOUS 249643 HAS SOUPS 246998 WITH SCORE 248742.191
AT ITER 7048 NEW BEST:: SOT 3995361 SOS 1744143 HAS SOPS 1723522 HAS SOUS 249606 HAS SOUPS 246961 WITH SCORE 248705.143
AT ITER 7087 NEW BEST:: SOT 3995363 SOS 1716461 HAS SOPS 1695840 HAS SOUS 249031 HAS SOUPS 246386 WITH SCORE 248102.461
AT ITER 7089 NEW BEST:: SOT 3995359 SOS 1716453 HAS SOPS 1695832 HAS SOUS 249023 HAS SOUPS 246378 WITH SCORE 248094.453
AT ITER 7110 NEW BEST:: SOT 3995259 SOS 1717044 HAS SOPS 1696423 HAS SOUS 248916 HAS SOUPS 246271 WITH SCORE 247988.044
AT ITER 7111 NEW BEST:: SOT 3995305 SOS 1717090 HAS SOPS 1696469 HAS SOUS 248750 HAS SOUPS 246105 WITH SCORE 247822.09
AT ITER 7118 NEW BEST:: SOT 3995235 SOS 1718039 HAS SOPS 1697418 HAS SOUS 248732 HAS SOUPS 246087 WITH SCORE 247805.039
AT ITER 7168 NEW BEST:: SOT 3995296 SOS 1718025 HAS SOPS 1697404 HAS SOUS 248374 HAS SOUPS 245729 WITH SCORE 247447.025
AT ITER 7190 NEW BEST:: SOT 3995315 SOS 1718101 HAS SOPS 1697480 HAS SOUS 248279 HAS SOUPS 245634 WITH SCORE 247352.101
AT ITER 7192 NEW BEST:: SOT 3995234 SOS 1718052 HAS SOPS 1697431 HAS SOUS 248196 HAS SOUPS 245551 WITH SCORE 247269.052
AT ITER 7205 NEW BEST:: SOT 3995228 SOS 1718046 HAS SOPS 1697425 HAS SOUS 248193 HAS SOUPS 245548 WITH SCORE 247266.046
AT ITER 7208 NEW BEST:: SOT 3995206 SOS 1718095 HAS SOPS 1697474 HAS SOUS 248149 HAS SOUPS 245504 WITH SCORE 247222.095
AT ITER 7219 NEW BEST:: SOT 3994625 SOS 1717446 HAS SOPS 1696825 HAS SOUS 247516 HAS SOUPS 244871 WITH SCORE 246588.446
AT ITER 7230 NEW BEST:: SOT 3994625 SOS 1717523 HAS SOPS 1696902 HAS SOUS 247514 HAS SOUPS 244869 WITH SCORE 246586.523
AT ITER 7233 NEW BEST:: SOT 3994611 SOS 1717509 HAS SOPS 1696864 HAS SOUS 247476 HAS SOUPS 244831 WITH SCORE 246548.509
AT ITER 7283 NEW BEST:: SOT 3994565 SOS 1717417 HAS SOPS 1696772 HAS SOUS 247384 HAS SOUPS 244739 WITH SCORE 246456.417
AT ITER 7301 NEW BEST:: SOT 3994605 SOS 1717697 HAS SOPS 1697052 HAS SOUS 247364 HAS SOUPS 244719 WITH SCORE 246436.697
AT ITER 7322 NEW BEST:: SOT 3994584 SOS 1717571 HAS SOPS 1696926 HAS SOUS 247322 HAS SOUPS 244677 WITH SCORE 246394.571
AT ITER 7339 NEW BEST:: SOT 3994224 SOS 1717354 HAS SOPS 1696709 HAS SOUS 247132 HAS SOUPS 244487 WITH SCORE 246204.354
AT ITER 7342 NEW BEST:: SOT 3994162 SOS 1717292 HAS SOPS 1696647 HAS SOUS 247127 HAS SOUPS 244482 WITH SCORE 246199.292
AT ITER 7361 NEW BEST:: SOT 3994091 SOS 1717061 HAS SOPS 1696416 HAS SOUS 247089 HAS SOUPS 244444 WITH SCORE 246161.061
AT ITER 7378 NEW BEST:: SOT 3994142 SOS 1717196 HAS SOPS 1696551 HAS SOUS 246124 HAS SOUPS 243479 WITH SCORE 245196.196
AT ITER 7383 NEW BEST:: SOT 3994267 SOS 1720398 HAS SOPS 1699753 HAS SOUS 246081 HAS SOUPS 243436 WITH SCORE 245156.398
AT ITER 7406 NEW BEST:: SOT 3994322 SOS 1720453 HAS SOPS 1699808 HAS SOUS 245978 HAS SOUPS 243333 WITH SCORE 245053.453
AT ITER 7422 NEW BEST:: SOT 3994310 SOS 1720441 HAS SOPS 1699796 HAS SOUS 245966 HAS SOUPS 243321 WITH SCORE 245041.441
AT ITER 7468 NEW BEST:: SOT 3994263 SOS 1720394 HAS SOPS 1699749 HAS SOUS 245966 HAS SOUPS 243321 WITH SCORE 245041.394
AT ITER 7475 NEW BEST:: SOT 3994263 SOS 1720373 HAS SOPS 1699728 HAS SOUS 245966 HAS SOUPS 243321 WITH SCORE 245041.373
AT ITER 7491 NEW BEST:: SOT 3994263 SOS 1720366 HAS SOPS 1699721 HAS SOUS 245966 HAS SOUPS 243321 WITH SCORE 245041.366
AT ITER 7510 NEW BEST:: SOT 3994313 SOS 1720416 HAS SOPS 1699770 HAS SOUS 245964 HAS SOUPS 243319 WITH SCORE 245039.416
AT ITER 7515 NEW BEST:: SOT 3994302 SOS 1720405 HAS SOPS 1699759 HAS SOUS 245832 HAS SOUPS 243187 WITH SCORE 244907.405
AT ITER 7550 NEW BEST:: SOT 3994262 SOS 1720375 HAS SOPS 1699729 HAS SOUS 245787 HAS SOUPS 243142 WITH SCORE 244862.375
AT ITER 7588 NEW BEST:: SOT 3994242 SOS 1720368 HAS SOPS 1699722 HAS SOUS 245741 HAS SOUPS 243096 WITH SCORE 244816.368
AT ITER 7602 NEW BEST:: SOT 3994226 SOS 1720352 HAS SOPS 1699706 HAS SOUS 245709 HAS SOUPS 243064 WITH SCORE 244784.352
AT ITER 7607 NEW BEST:: SOT 3993986 SOS 1720224 HAS SOPS 1699578 HAS SOUS 245399 HAS SOUPS 242754 WITH SCORE 244474.224
AT ITER 7670 NEW BEST:: SOT 3993857 SOS 1720063 HAS SOPS 1699417 HAS SOUS 245310 HAS SOUPS 242665 WITH SCORE 244385.063
AT ITER 7687 NEW BEST:: SOT 3993824 SOS 1720023 HAS SOPS 1699413 HAS SOUS 245280 HAS SOUPS 242635 WITH SCORE 244355.023
AT ITER 7702 NEW BEST:: SOT 3993824 SOS 1720023 HAS SOPS 1699413 HAS SOUS 245262 HAS SOUPS 242617 WITH SCORE 244337.023
AT ITER 7704 NEW BEST:: SOT 3993775 SOS 1719974 HAS SOPS 1699364 HAS SOUS 245164 HAS SOUPS 242519 WITH SCORE 244238.974
AT ITER 7718 NEW BEST:: SOT 3993737 SOS 1719913 HAS SOPS 1699303 HAS SOUS 245088 HAS SOUPS 242443 WITH SCORE 244162.913
AT ITER 7735 NEW BEST:: SOT 3993810 SOS 1719986 HAS SOPS 1699342 HAS SOUS 245040 HAS SOUPS 242395 WITH SCORE 244114.986
AT ITER 7738 NEW BEST:: SOT 3993778 SOS 1719922 HAS SOPS 1699278 HAS SOUS 245008 HAS SOUPS 242363 WITH SCORE 244082.922
AT ITER 7757 NEW BEST:: SOT 3993741 SOS 1719848 HAS SOPS 1699204 HAS SOUS 244976 HAS SOUPS 242331 WITH SCORE 244050.848
AT ITER 7759 NEW BEST:: SOT 3993764 SOS 1719843 HAS SOPS 1699179 HAS SOUS 244965 HAS SOUPS 242320 WITH SCORE 244039.843
AT ITER 7792 NEW BEST:: SOT 3993761 SOS 1719840 HAS SOPS 1699176 HAS SOUS 244962 HAS SOUPS 242317 WITH SCORE 244036.84
AT ITER 7800 NEW BEST:: SOT 3993775 SOS 1719868 HAS SOPS 1699204 HAS SOUS 244958 HAS SOUPS 242313 WITH SCORE 244032.868
AT ITER 7834 NEW BEST:: SOT 3993775 SOS 1719908 HAS SOPS 1699244 HAS SOUS 243778 HAS SOUPS 241133 WITH SCORE 242852.908
AT ITER 7842 NEW BEST:: SOT 3993727 SOS 1719850 HAS SOPS 1699186 HAS SOUS 243758 HAS SOUPS 241113 WITH SCORE 242832.85
AT ITER 7854 NEW BEST:: SOT 3993563 SOS 1719452 HAS SOPS 1698788 HAS SOUS 243372 HAS SOUPS 240727 WITH SCORE 242446.452
AT ITER 7897 NEW BEST:: SOT 3993561 SOS 1719448 HAS SOPS 1698784 HAS SOUS 243368 HAS SOUPS 240723 WITH SCORE 242442.448
AT ITER 7901 NEW BEST:: SOT 3993561 SOS 1719448 HAS SOPS 1698784 HAS SOUS 243296 HAS SOUPS 240651 WITH SCORE 242370.448
AT ITER 7929 NEW BEST:: SOT 3993516 SOS 1719418 HAS SOPS 1698754 HAS SOUS 243236 HAS SOUPS 240591 WITH SCORE 242310.418
AT ITER 7946 NEW BEST:: SOT 3993336 SOS 1719027 HAS SOPS 1698363 HAS SOUS 243187 HAS SOUPS 240542 WITH SCORE 242261.027
AT ITER 7953 NEW BEST:: SOT 3993294 SOS 1718985 HAS SOPS 1698321 HAS SOUS 243165 HAS SOUPS 240520 WITH SCORE 242238.985
AT ITER 7960 NEW BEST:: SOT 3993239 SOS 1718907 HAS SOPS 1698243 HAS SOUS 243089 HAS SOUPS 240444 WITH SCORE 242162.907
AT ITER 7962 NEW BEST:: SOT 3993236 SOS 1718904 HAS SOPS 1698240 HAS SOUS 243083 HAS SOUPS 240438 WITH SCORE 242156.904
AT ITER 7969 NEW BEST:: SOT 3993236 SOS 1718928 HAS SOPS 1698264 HAS SOUS 243069 HAS SOUPS 240424 WITH SCORE 242142.928
AT ITER 7975 NEW BEST:: SOT 3993224 SOS 1718950 HAS SOPS 1698286 HAS SOUS 242950 HAS SOUPS 240305 WITH SCORE 242023.95
AT ITER 7985 NEW BEST:: SOT 3992852 SOS 1718638 HAS SOPS 1697974 HAS SOUS 242510 HAS SOUPS 239865 WITH SCORE 241583.638
AT ITER 7999 NEW BEST:: SOT 3992756 SOS 1718494 HAS SOPS 1697830 HAS SOUS 242510 HAS SOUPS 239865 WITH SCORE 241583.494
AT ITER 8008 NEW BEST:: SOT 3994629 SOS 1720399 HAS SOPS 1699735 HAS SOUS 242320 HAS SOUPS 239675 WITH SCORE 241395.399
AT ITER 8012 NEW BEST:: SOT 3994665 SOS 1720435 HAS SOPS 1699771 HAS SOUS 241853 HAS SOUPS 239208 WITH SCORE 240928.435
AT ITER 8025 NEW BEST:: SOT 3994695 SOS 1720465 HAS SOPS 1699801 HAS SOUS 241837 HAS SOUPS 239192 WITH SCORE 240912.465
AT ITER 8045 NEW BEST:: SOT 3994434 SOS 1720268 HAS SOPS 1699604 HAS SOUS 241443 HAS SOUPS 238798 WITH SCORE 240518.268
AT ITER 8055 NEW BEST:: SOT 4004311 SOS 1729961 HAS SOPS 1709481 HAS SOUS 240951 HAS SOUPS 238329 WITH SCORE 240058.961
AT ITER 8086 NEW BEST:: SOT 4004305 SOS 1729955 HAS SOPS 1709458 HAS SOUS 240905 HAS SOUPS 238283 WITH SCORE 240012.955
AT ITER 8125 NEW BEST:: SOT 4004265 SOS 1729895 HAS SOPS 1709398 HAS SOUS 240905 HAS SOUPS 238283 WITH SCORE 240012.895
AT ITER 8127 NEW BEST:: SOT 4004070 SOS 1729764 HAS SOPS 1709323 HAS SOUS 240824 HAS SOUPS 238202 WITH SCORE 239931.764
AT ITER 8156 NEW BEST:: SOT 4004051 SOS 1729745 HAS SOPS 1709321 HAS SOUS 240787 HAS SOUPS 238166 WITH SCORE 239895.745
AT ITER 8157 NEW BEST:: SOT 3999532 SOS 1725237 HAS SOPS 1704813 HAS SOUS 240003 HAS SOUPS 237382 WITH SCORE 239107.237
AT ITER 8174 NEW BEST:: SOT 3999417 SOS 1725122 HAS SOPS 1704698 HAS SOUS 239969 HAS SOUPS 237348 WITH SCORE 239073.122
AT ITER 8176 NEW BEST:: SOT 3999194 SOS 1724826 HAS SOPS 1704402 HAS SOUS 239768 HAS SOUPS 237147 WITH SCORE 238871.826
AT ITER 8183 NEW BEST:: SOT 3999258 SOS 1724890 HAS SOPS 1704530 HAS SOUS 239642 HAS SOUPS 237021 WITH SCORE 238745.89
AT ITER 8186 NEW BEST:: SOT 3999247 SOS 1724879 HAS SOPS 1704519 HAS SOUS 239642 HAS SOUPS 237021 WITH SCORE 238745.879
AT ITER 8192 NEW BEST:: SOT 3975972 SOS 1701604 HAS SOPS 1681244 HAS SOUS 238318 HAS SOUPS 235697 WITH SCORE 237398.604
AT ITER 8230 NEW BEST:: SOT 3975972 SOS 1701541 HAS SOPS 1681190 HAS SOUS 238318 HAS SOUPS 235697 WITH SCORE 237398.541
AT ITER 8262 NEW BEST:: SOT 3975947 SOS 1701516 HAS SOPS 1681165 HAS SOUS 238293 HAS SOUPS 235672 WITH SCORE 237373.516
AT ITER 8263 NEW BEST:: SOT 3975612 SOS 1701052 HAS SOPS 1680773 HAS SOUS 238213 HAS SOUPS 235592 WITH SCORE 237293.052
AT ITER 8282 NEW BEST:: SOT 3975606 SOS 1701040 HAS SOPS 1680761 HAS SOUS 238168 HAS SOUPS 235547 WITH SCORE 237248.04
AT ITER 8364 NEW BEST:: SOT 3975601 SOS 1701035 HAS SOPS 1680751 HAS SOUS 238158 HAS SOUPS 235537 WITH SCORE 237238.035
AT ITER 8382 NEW BEST:: SOT 3975590 SOS 1700996 HAS SOPS 1680698 HAS SOUS 238153 HAS SOUPS 235532 WITH SCORE 237232.996
AT ITER 8390 NEW BEST:: SOT 3975412 SOS 1700818 HAS SOPS 1680646 HAS SOUS 238119 HAS SOUPS 235498 WITH SCORE 237198.818
AT ITER 8402 NEW BEST:: SOT 3975411 SOS 1700817 HAS SOPS 1680645 HAS SOUS 238117 HAS SOUPS 235496 WITH SCORE 237196.817
AT ITER 8406 NEW BEST:: SOT 3975447 SOS 1700879 HAS SOPS 1680707 HAS SOUS 238033 HAS SOUPS 235412 WITH SCORE 237112.879
AT ITER 8414 NEW BEST:: SOT 3975459 SOS 1700830 HAS SOPS 1680638 HAS SOUS 237956 HAS SOUPS 235335 WITH SCORE 237035.83
AT ITER 8424 NEW BEST:: SOT 3975398 SOS 1700804 HAS SOPS 1680599 HAS SOUS 237917 HAS SOUPS 235296 WITH SCORE 236996.804
AT ITER 8435 NEW BEST:: SOT 3975338 SOS 1700744 HAS SOPS 1680539 HAS SOUS 237812 HAS SOUPS 235191 WITH SCORE 236891.744
AT ITER 8453 NEW BEST:: SOT 3975429 SOS 1700521 HAS SOPS 1680403 HAS SOUS 237744 HAS SOUPS 235123 WITH SCORE 236823.521
AT ITER 8479 NEW BEST:: SOT 3968064 SOS 1693174 HAS SOPS 1673056 HAS SOUS 236598 HAS SOUPS 233977 WITH SCORE 235670.174
AT ITER 8504 NEW BEST:: SOT 3961473 SOS 1686583 HAS SOPS 1666465 HAS SOUS 236134 HAS SOUPS 233513 WITH SCORE 235199.583
AT ITER 8520 NEW BEST:: SOT 3961439 SOS 1686532 HAS SOPS 1666414 HAS SOUS 236083 HAS SOUPS 233462 WITH SCORE 235148.532
AT ITER 8521 NEW BEST:: SOT 3961403 SOS 1686485 HAS SOPS 1666367 HAS SOUS 236033 HAS SOUPS 233412 WITH SCORE 235098.485
AT ITER 8526 NEW BEST:: SOT 3961513 SOS 1686670 HAS SOPS 1666552 HAS SOUS 236021 HAS SOUPS 233400 WITH SCORE 235086.67
AT ITER 8540 NEW BEST:: SOT 3961288 SOS 1686434 HAS SOPS 1666316 HAS SOUS 235804 HAS SOUPS 233183 WITH SCORE 234869.434
AT ITER 8563 NEW BEST:: SOT 3961315 SOS 1686461 HAS SOPS 1666343 HAS SOUS 235734 HAS SOUPS 233113 WITH SCORE 234799.461
AT ITER 8590 NEW BEST:: SOT 3961315 SOS 1686447 HAS SOPS 1666329 HAS SOUS 235734 HAS SOUPS 233113 WITH SCORE 234799.447
AT ITER 8617 NEW BEST:: SOT 3961259 SOS 1686391 HAS SOPS 1666329 HAS SOUS 235734 HAS SOUPS 233113 WITH SCORE 234799.391
AT ITER 8620 NEW BEST:: SOT 3961191 SOS 1682855 HAS SOPS 1662793 HAS SOUS 235564 HAS SOUPS 232943 WITH SCORE 234625.855
AT ITER 8628 NEW BEST:: SOT 3961140 SOS 1682510 HAS SOPS 1662448 HAS SOUS 235560 HAS SOUPS 232939 WITH SCORE 234621.51
AT ITER 8630 NEW BEST:: SOT 3961125 SOS 1682495 HAS SOPS 1662433 HAS SOUS 235530 HAS SOUPS 232909 WITH SCORE 234591.495
AT ITER 8662 NEW BEST:: SOT 3961101 SOS 1682424 HAS SOPS 1662362 HAS SOUS 235482 HAS SOUPS 232861 WITH SCORE 234543.424
AT ITER 8703 NEW BEST:: SOT 3961016 SOS 1682339 HAS SOPS 1662277 HAS SOUS 235377 HAS SOUPS 232756 WITH SCORE 234438.339
AT ITER 8708 NEW BEST:: SOT 3961016 SOS 1682307 HAS SOPS 1662245 HAS SOUS 235377 HAS SOUPS 232756 WITH SCORE 234438.307
AT ITER 8710 NEW BEST:: SOT 3960926 SOS 1682169 HAS SOPS 1662107 HAS SOUS 235293 HAS SOUPS 232672 WITH SCORE 234354.169
AT ITER 8750 NEW BEST:: SOT 3960106 SOS 1681349 HAS SOPS 1661287 HAS SOUS 235262 HAS SOUPS 232641 WITH SCORE 234322.349
AT ITER 8772 NEW BEST:: SOT 3959990 SOS 1681233 HAS SOPS 1661175 HAS SOUS 235165 HAS SOUPS 232544 WITH SCORE 234225.233
AT ITER 8826 NEW BEST:: SOT 3959990 SOS 1654755 HAS SOPS 1634697 HAS SOUS 235159 HAS SOUPS 232538 WITH SCORE 234192.755
AT ITER 8865 NEW BEST:: SOT 3960128 SOS 1654959 HAS SOPS 1634901 HAS SOUS 235140 HAS SOUPS 232519 WITH SCORE 234173.959
AT ITER 8875 NEW BEST:: SOT 3960065 SOS 1654833 HAS SOPS 1634775 HAS SOUS 235014 HAS SOUPS 232393 WITH SCORE 234047.833
AT ITER 8879 NEW BEST:: SOT 3960063 SOS 1654831 HAS SOPS 1634747 HAS SOUS 235010 HAS SOUPS 232389 WITH SCORE 234043.831
AT ITER 8885 NEW BEST:: SOT 3960084 SOS 1654852 HAS SOPS 1634768 HAS SOUS 234984 HAS SOUPS 232363 WITH SCORE 234017.852
AT ITER 8899 NEW BEST:: SOT 3960082 SOS 1654850 HAS SOPS 1634758 HAS SOUS 234946 HAS SOUPS 232325 WITH SCORE 233979.85
AT ITER 8903 NEW BEST:: SOT 3960080 SOS 1654848 HAS SOPS 1634756 HAS SOUS 234946 HAS SOUPS 232325 WITH SCORE 233979.848
AT ITER 8911 NEW BEST:: SOT 3960080 SOS 1650832 HAS SOPS 1630740 HAS SOUS 234944 HAS SOUPS 232323 WITH SCORE 233973.832
AT ITER 8918 NEW BEST:: SOT 3960064 SOS 1650816 HAS SOPS 1630724 HAS SOUS 234928 HAS SOUPS 232307 WITH SCORE 233957.816
AT ITER 8930 NEW BEST:: SOT 3960041 SOS 1650793 HAS SOPS 1630701 HAS SOUS 234859 HAS SOUPS 232238 WITH SCORE 233888.793
AT ITER 8933 NEW BEST:: SOT 3960035 SOS 1650784 HAS SOPS 1630692 HAS SOUS 234853 HAS SOUPS 232232 WITH SCORE 233882.784
AT ITER 8976 NEW BEST:: SOT 3960031 SOS 1650784 HAS SOPS 1630692 HAS SOUS 234849 HAS SOUPS 232228 WITH SCORE 233878.784
AT ITER 9031 NEW BEST:: SOT 3960032 SOS 1650785 HAS SOPS 1630693 HAS SOUS 234845 HAS SOUPS 232224 WITH SCORE 233874.785
AT ITER 9033 NEW BEST:: SOT 3960031 SOS 1650897 HAS SOPS 1630805 HAS SOUS 234775 HAS SOUPS 232154 WITH SCORE 233804.897
AT ITER 9065 NEW BEST:: SOT 3960026 SOS 1650892 HAS SOPS 1630800 HAS SOUS 234775 HAS SOUPS 232154 WITH SCORE 233804.892
AT ITER 9067 NEW BEST:: SOT 3960000 SOS 1650866 HAS SOPS 1630748 HAS SOUS 234723 HAS SOUPS 232102 WITH SCORE 233752.866
AT ITER 9089 NEW BEST:: SOT 3959699 SOS 1650565 HAS SOPS 1630447 HAS SOUS 234533 HAS SOUPS 231912 WITH SCORE 233562.565
AT ITER 9112 NEW BEST:: SOT 3959545 SOS 1650359 HAS SOPS 1630241 HAS SOUS 234225 HAS SOUPS 231604 WITH SCORE 233254.359
AT ITER 9117 NEW BEST:: SOT 3959545 SOS 1650408 HAS SOPS 1630290 HAS SOUS 234190 HAS SOUPS 231569 WITH SCORE 233219.408
AT ITER 9165 NEW BEST:: SOT 3959535 SOS 1650388 HAS SOPS 1630270 HAS SOUS 234170 HAS SOUPS 231549 WITH SCORE 233199.388
AT ITER 9169 NEW BEST:: SOT 3959546 SOS 1650034 HAS SOPS 1629916 HAS SOUS 233969 HAS SOUPS 231348 WITH SCORE 232998.034
AT ITER 9181 NEW BEST:: SOT 3959295 SOS 1649783 HAS SOPS 1629665 HAS SOUS 233742 HAS SOUPS 231121 WITH SCORE 232770.783
AT ITER 9199 NEW BEST:: SOT 3959240 SOS 1649624 HAS SOPS 1629506 HAS SOUS 233693 HAS SOUPS 231072 WITH SCORE 232721.624
AT ITER 9205 NEW BEST:: SOT 3959060 SOS 1649444 HAS SOPS 1629326 HAS SOUS 233450 HAS SOUPS 230829 WITH SCORE 232478.444
AT ITER 9231 NEW BEST:: SOT 3959052 SOS 1649436 HAS SOPS 1629318 HAS SOUS 233434 HAS SOUPS 230813 WITH SCORE 232462.436
AT ITER 9234 NEW BEST:: SOT 3959028 SOS 1649412 HAS SOPS 1629294 HAS SOUS 233317 HAS SOUPS 230696 WITH SCORE 232345.412
AT ITER 9308 NEW BEST:: SOT 3959043 SOS 1649421 HAS SOPS 1629303 HAS SOUS 233101 HAS SOUPS 230480 WITH SCORE 232129.421
AT ITER 9343 NEW BEST:: SOT 3959013 SOS 1649391 HAS SOPS 1629273 HAS SOUS 233016 HAS SOUPS 230395 WITH SCORE 232044.391
AT ITER 9412 NEW BEST:: SOT 3958918 SOS 1649299 HAS SOPS 1629181 HAS SOUS 232789 HAS SOUPS 230168 WITH SCORE 231817.299
AT ITER 9416 NEW BEST:: SOT 3958913 SOS 1649288 HAS SOPS 1629170 HAS SOUS 232731 HAS SOUPS 230110 WITH SCORE 231759.288
AT ITER 9461 NEW BEST:: SOT 3958913 SOS 1649176 HAS SOPS 1629058 HAS SOUS 232731 HAS SOUPS 230110 WITH SCORE 231759.176
AT ITER 9471 NEW BEST:: SOT 3958909 SOS 1649172 HAS SOPS 1629054 HAS SOUS 232723 HAS SOUPS 230102 WITH SCORE 231751.172
AT ITER 9487 NEW BEST:: SOT 3958834 SOS 1649097 HAS SOPS 1628979 HAS SOUS 232603 HAS SOUPS 229982 WITH SCORE 231631.097
AT ITER 9489 NEW BEST:: SOT 3958796 SOS 1649059 HAS SOPS 1628941 HAS SOUS 232565 HAS SOUPS 229944 WITH SCORE 231593.059
AT ITER 9505 NEW BEST:: SOT 3958789 SOS 1649052 HAS SOPS 1628934 HAS SOUS 232558 HAS SOUPS 229937 WITH SCORE 231586.052
AT ITER 9550 NEW BEST:: SOT 3958691 SOS 1648556 HAS SOPS 1628438 HAS SOUS 232480 HAS SOUPS 229859 WITH SCORE 231507.556
AT ITER 9567 NEW BEST:: SOT 3958630 SOS 1648568 HAS SOPS 1628450 HAS SOUS 232388 HAS SOUPS 229767 WITH SCORE 231415.568
AT ITER 9596 NEW BEST:: SOT 3958644 SOS 1648550 HAS SOPS 1628432 HAS SOUS 232352 HAS SOUPS 229731 WITH SCORE 231379.55
AT ITER 9686 NEW BEST:: SOT 3958607 SOS 1648513 HAS SOPS 1628331 HAS SOUS 232278 HAS SOUPS 229657 WITH SCORE 231305.513
AT ITER 9691 NEW BEST:: SOT 3958601 SOS 1648509 HAS SOPS 1628327 HAS SOUS 232272 HAS SOUPS 229651 WITH SCORE 231299.509
AT ITER 9696 NEW BEST:: SOT 3958554 SOS 1648466 HAS SOPS 1628284 HAS SOUS 232178 HAS SOUPS 229557 WITH SCORE 231205.466
AT ITER 9751 NEW BEST:: SOT 3958548 SOS 1648462 HAS SOPS 1628280 HAS SOUS 231996 HAS SOUPS 229375 WITH SCORE 231023.462
AT ITER 9757 NEW BEST:: SOT 3958548 SOS 1648463 HAS SOPS 1628281 HAS SOUS 231995 HAS SOUPS 229374 WITH SCORE 231022.463
AT ITER 9764 NEW BEST:: SOT 3958545 SOS 1648460 HAS SOPS 1628278 HAS SOUS 231989 HAS SOUPS 229368 WITH SCORE 231016.46
AT ITER 9794 NEW BEST:: SOT 3958546 SOS 1648461 HAS SOPS 1628277 HAS SOUS 231987 HAS SOUPS 229366 WITH SCORE 231014.461
AT ITER 9816 NEW BEST:: SOT 3958540 SOS 1648455 HAS SOPS 1628271 HAS SOUS 231943 HAS SOUPS 229322 WITH SCORE 230970.455
AT ITER 9820 NEW BEST:: SOT 3958509 SOS 1648393 HAS SOPS 1628209 HAS SOUS 231912 HAS SOUPS 229291 WITH SCORE 230939.393
AT ITER 9872 NEW BEST:: SOT 3958505 SOS 1648385 HAS SOPS 1628201 HAS SOUS 231904 HAS SOUPS 229283 WITH SCORE 230931.385
AT ITER 9933 NEW BEST:: SOT 3958497 SOS 1648377 HAS SOPS 1628193 HAS SOUS 231804 HAS SOUPS 229183 WITH SCORE 230831.377
AT ITER 9955 NEW BEST:: SOT 3958497 SOS 1648377 HAS SOPS 1628171 HAS SOUS 231760 HAS SOUPS 229139 WITH SCORE 230787.377
AT ITER 9970 NEW BEST:: SOT 3958454 SOS 1648316 HAS SOPS 1628110 HAS SOUS 231674 HAS SOUPS 229053 WITH SCORE 230701.316
AT ITER 9977 NEW BEST:: SOT 3958430 SOS 1648292 HAS SOPS 1628086 HAS SOUS 231642 HAS SOUPS 229021 WITH SCORE 230669.292
AT ITER 9992 NEW BEST:: SOT 3958365 SOS 1648217 HAS SOPS 1628011 HAS SOUS 231582 HAS SOUPS 228961 WITH SCORE 230609.217
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15986660 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16117424 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is 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 r291-tall-167873943100608"
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 ;