About the Execution of smart for PolyORBLF-PT-S06J06T08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15766.060 | 3600000.00 | 3599040.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354900552.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBLF-PT-S06J06T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354900552
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 12K Apr 12 05:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Apr 12 05:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 11 05:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Apr 11 05:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 53K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Apr 10 12:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 32K Apr 10 12:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 51K Apr 9 18:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 171K Apr 9 18:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Apr 10 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 20M Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1589646211061
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J06T08
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 894 places, 14334 transitions, 119772 arcs.
AT ITER 0 NEW BEST:: SOT 8322897 SOS 4985904 HAS SOPS 4964570 HAS SOUS 907780 HAS SOUPS 906908 WITH SCORE 911893.904
AT ITER 7 NEW BEST:: SOT 7856056 SOS 4556715 HAS SOPS 4535381 HAS SOUS 854451 HAS SOUPS 853579 WITH SCORE 858135.715
AT ITER 19 NEW BEST:: SOT 7853325 SOS 4554128 HAS SOPS 4532794 HAS SOUS 852172 HAS SOUPS 851300 WITH SCORE 855854.128
AT ITER 23 NEW BEST:: SOT 7852017 SOS 4553034 HAS SOPS 4531700 HAS SOUS 851043 HAS SOUPS 850171 WITH SCORE 854724.034
AT ITER 25 NEW BEST:: SOT 7851985 SOS 4553002 HAS SOPS 4531724 HAS SOUS 851003 HAS SOUPS 850128 WITH SCORE 854681.002
AT ITER 27 NEW BEST:: SOT 7851945 SOS 4552922 HAS SOPS 4531644 HAS SOUS 850917 HAS SOUPS 850042 WITH SCORE 854594.922
AT ITER 28 NEW BEST:: SOT 7851910 SOS 4552887 HAS SOPS 4531679 HAS SOUS 850917 HAS SOUPS 850042 WITH SCORE 854594.887
AT ITER 30 NEW BEST:: SOT 7851910 SOS 4552887 HAS SOPS 4531795 HAS SOUS 850822 HAS SOUPS 849945 WITH SCORE 854497.887
AT ITER 33 NEW BEST:: SOT 7851074 SOS 4552168 HAS SOPS 4531076 HAS SOUS 849978 HAS SOUPS 849101 WITH SCORE 853653.168
AT ITER 34 NEW BEST:: SOT 7850472 SOS 4551652 HAS SOPS 4530560 HAS SOUS 849235 HAS SOUPS 848358 WITH SCORE 852909.652
AT ITER 44 NEW BEST:: SOT 7849814 SOS 4551053 HAS SOPS 4529961 HAS SOUS 848986 HAS SOUPS 848109 WITH SCORE 852660.053
AT ITER 45 NEW BEST:: SOT 7849757 SOS 4550939 HAS SOPS 4529847 HAS SOUS 848875 HAS SOUPS 847998 WITH SCORE 852548.939
AT ITER 58 NEW BEST:: SOT 7849753 SOS 4550935 HAS SOPS 4529843 HAS SOUS 848871 HAS SOUPS 847994 WITH SCORE 852544.935
AT ITER 64 NEW BEST:: SOT 7849792 SOS 4550974 HAS SOPS 4529747 HAS SOUS 848898 HAS SOUPS 847946 WITH SCORE 852496.974
AT ITER 77 NEW BEST:: SOT 7849062 SOS 4550303 HAS SOPS 4529076 HAS SOUS 848465 HAS SOUPS 847513 WITH SCORE 852063.303
AT ITER 78 NEW BEST:: SOT 7372177 SOS 4073726 HAS SOPS 4052499 HAS SOUS 785845 HAS SOUPS 784893 WITH SCORE 788966.726
AT ITER 81 NEW BEST:: SOT 7371852 SOS 4073393 HAS SOPS 4052163 HAS SOUS 785294 HAS SOUPS 784342 WITH SCORE 788415.393
AT ITER 94 NEW BEST:: SOT 7371822 SOS 4073363 HAS SOPS 4052133 HAS SOUS 785264 HAS SOUPS 784312 WITH SCORE 788385.363
AT ITER 96 NEW BEST:: SOT 7371875 SOS 4073347 HAS SOPS 4052117 HAS SOUS 785248 HAS SOUPS 784296 WITH SCORE 788369.347
AT ITER 113 NEW BEST:: SOT 7371767 SOS 4073239 HAS SOPS 4052009 HAS SOUS 785140 HAS SOUPS 784188 WITH SCORE 788261.239
AT ITER 117 NEW BEST:: SOT 7371580 SOS 4073052 HAS SOPS 4051822 HAS SOUS 784902 HAS SOUPS 783950 WITH SCORE 788023.052
AT ITER 119 NEW BEST:: SOT 7371580 SOS 4073103 HAS SOPS 4051873 HAS SOUS 784765 HAS SOUPS 783813 WITH SCORE 787886.103
AT ITER 125 NEW BEST:: SOT 6867909 SOS 3686408 HAS SOPS 3665178 HAS SOUS 722810 HAS SOUPS 721858 WITH SCORE 725544.408
AT ITER 127 NEW BEST:: SOT 6866525 SOS 3685180 HAS SOPS 3663950 HAS SOUS 721540 HAS SOUPS 720588 WITH SCORE 724273.18
AT ITER 137 NEW BEST:: SOT 6866525 SOS 3685180 HAS SOPS 3663950 HAS SOUS 721535 HAS SOUPS 720583 WITH SCORE 724268.18
AT ITER 141 NEW BEST:: SOT 6866512 SOS 3685167 HAS SOPS 3663937 HAS SOUS 721522 HAS SOUPS 720570 WITH SCORE 724255.167
AT ITER 152 NEW BEST:: SOT 6866512 SOS 3685167 HAS SOPS 3663937 HAS SOUS 721501 HAS SOUPS 720549 WITH SCORE 724234.167
AT ITER 172 NEW BEST:: SOT 6865739 SOS 3684440 HAS SOPS 3663210 HAS SOUS 720456 HAS SOUPS 719504 WITH SCORE 723188.44
AT ITER 176 NEW BEST:: SOT 6865047 SOS 3683807 HAS SOPS 3662577 HAS SOUS 720023 HAS SOUPS 719071 WITH SCORE 722754.807
AT ITER 181 NEW BEST:: SOT 6864888 SOS 3683496 HAS SOPS 3662266 HAS SOUS 719725 HAS SOUPS 718773 WITH SCORE 722456.496
AT ITER 191 NEW BEST:: SOT 6864552 SOS 3683112 HAS SOPS 3661882 HAS SOUS 719457 HAS SOUPS 718505 WITH SCORE 722188.112
AT ITER 196 NEW BEST:: SOT 6864471 SOS 3682998 HAS SOPS 3661768 HAS SOUS 719385 HAS SOUPS 718433 WITH SCORE 722115.998
AT ITER 201 NEW BEST:: SOT 6864471 SOS 3682998 HAS SOPS 3661768 HAS SOUS 719389 HAS SOUPS 718429 WITH SCORE 722111.998
AT ITER 204 NEW BEST:: SOT 6864474 SOS 3683001 HAS SOPS 3661771 HAS SOUS 719344 HAS SOUPS 718384 WITH SCORE 722067.001
AT ITER 205 NEW BEST:: SOT 6864413 SOS 3682965 HAS SOPS 3661848 HAS SOUS 719275 HAS SOUPS 718315 WITH SCORE 721997.965
AT ITER 215 NEW BEST:: SOT 6864317 SOS 3682869 HAS SOPS 3661724 HAS SOUS 719247 HAS SOUPS 718287 WITH SCORE 721969.869
AT ITER 226 NEW BEST:: SOT 6864351 SOS 3682971 HAS SOPS 3661826 HAS SOUS 719245 HAS SOUPS 718285 WITH SCORE 721967.971
AT ITER 233 NEW BEST:: SOT 6864388 SOS 3683058 HAS SOPS 3661913 HAS SOUS 718814 HAS SOUPS 717854 WITH SCORE 721537.058
AT ITER 251 NEW BEST:: SOT 6864090 SOS 3682760 HAS SOPS 3661615 HAS SOUS 718643 HAS SOUPS 717683 WITH SCORE 721365.76
AT ITER 256 NEW BEST:: SOT 6858184 SOS 3676781 HAS SOPS 3655419 HAS SOUS 712635 HAS SOUPS 711579 WITH SCORE 715255.781
AT ITER 274 NEW BEST:: SOT 6858167 SOS 3676764 HAS SOPS 3655402 HAS SOUS 712618 HAS SOUPS 711562 WITH SCORE 715238.764
AT ITER 295 NEW BEST:: SOT 6858211 SOS 3676888 HAS SOPS 3655526 HAS SOUS 712208 HAS SOUPS 711152 WITH SCORE 714828.888
AT ITER 309 NEW BEST:: SOT 6479965 SOS 3298682 HAS SOPS 3277320 HAS SOUS 659313 HAS SOUPS 658257 WITH SCORE 661555.682
AT ITER 319 NEW BEST:: SOT 6479900 SOS 3298617 HAS SOPS 3277255 HAS SOUS 658463 HAS SOUPS 657407 WITH SCORE 660705.617
AT ITER 332 NEW BEST:: SOT 6479466 SOS 3298183 HAS SOPS 3276821 HAS SOUS 656727 HAS SOUPS 655671 WITH SCORE 658969.183
AT ITER 339 NEW BEST:: SOT 6478745 SOS 3297359 HAS SOPS 3275997 HAS SOUS 655903 HAS SOUPS 654847 WITH SCORE 658144.359
AT ITER 340 NEW BEST:: SOT 6478695 SOS 3297289 HAS SOPS 3275927 HAS SOUS 655823 HAS SOUPS 654767 WITH SCORE 658064.289
AT ITER 346 NEW BEST:: SOT 6478695 SOS 3297818 HAS SOPS 3276456 HAS SOUS 655742 HAS SOUPS 654686 WITH SCORE 657983.818
AT ITER 352 NEW BEST:: SOT 6478065 SOS 3296978 HAS SOPS 3275616 HAS SOUS 655007 HAS SOUPS 653951 WITH SCORE 657247.978
AT ITER 353 NEW BEST:: SOT 6477393 SOS 3296365 HAS SOPS 3275003 HAS SOUS 654570 HAS SOUPS 653514 WITH SCORE 656810.365
AT ITER 386 NEW BEST:: SOT 6477060 SOS 3296074 HAS SOPS 3274712 HAS SOUS 653615 HAS SOUPS 652559 WITH SCORE 655855.074
AT ITER 398 NEW BEST:: SOT 6477079 SOS 3425094 HAS SOPS 3403732 HAS SOUS 653268 HAS SOUPS 652212 WITH SCORE 655637.094
AT ITER 407 NEW BEST:: SOT 6464798 SOS 3536084 HAS SOPS 3527793 HAS SOUS 645165 HAS SOUPS 644386 WITH SCORE 647922.084
AT ITER 412 NEW BEST:: SOT 6464849 SOS 3537106 HAS SOPS 3528815 HAS SOUS 645136 HAS SOUPS 644357 WITH SCORE 647894.106
AT ITER 417 NEW BEST:: SOT 6464573 SOS 3536690 HAS SOPS 3528492 HAS SOUS 645016 HAS SOUPS 644237 WITH SCORE 647773.69
AT ITER 421 NEW BEST:: SOT 6464573 SOS 3536652 HAS SOPS 3528454 HAS SOUS 645016 HAS SOUPS 644237 WITH SCORE 647773.652
AT ITER 423 NEW BEST:: SOT 6463774 SOS 3536004 HAS SOPS 3527806 HAS SOUS 643734 HAS SOUPS 642955 WITH SCORE 646491.004
AT ITER 434 NEW BEST:: SOT 6463764 SOS 3535994 HAS SOPS 3527796 HAS SOUS 643724 HAS SOUPS 642945 WITH SCORE 646480.994
AT ITER 457 NEW BEST:: SOT 6463898 SOS 3536061 HAS SOPS 3527727 HAS SOUS 643451 HAS SOUPS 642672 WITH SCORE 646208.061
AT ITER 466 NEW BEST:: SOT 6463290 SOS 3535512 HAS SOPS 3527178 HAS SOUS 643193 HAS SOUPS 642414 WITH SCORE 645949.512
AT ITER 469 NEW BEST:: SOT 6387144 SOS 3459366 HAS SOPS 3451032 HAS SOUS 633001 HAS SOUPS 632222 WITH SCORE 635681.366
AT ITER 481 NEW BEST:: SOT 6384934 SOS 3457684 HAS SOPS 3449350 HAS SOUS 631395 HAS SOUPS 630616 WITH SCORE 634073.684
AT ITER 486 NEW BEST:: SOT 6385277 SOS 3458075 HAS SOPS 3449741 HAS SOUS 630027 HAS SOUPS 629248 WITH SCORE 632706.075
AT ITER 492 NEW BEST:: SOT 6117977 SOS 3434581 HAS SOPS 3426247 HAS SOUS 593192 HAS SOUPS 592413 WITH SCORE 595847.581
AT ITER 495 NEW BEST:: SOT 6117977 SOS 3434555 HAS SOPS 3426221 HAS SOUS 593166 HAS SOUPS 592387 WITH SCORE 595821.555
AT ITER 496 NEW BEST:: SOT 6117949 SOS 3434527 HAS SOPS 3426193 HAS SOUS 593138 HAS SOUPS 592359 WITH SCORE 595793.527
AT ITER 500 NEW BEST:: SOT 6116591 SOS 3433503 HAS SOPS 3425169 HAS SOUS 593023 HAS SOUPS 592244 WITH SCORE 595677.503
AT ITER 504 NEW BEST:: SOT 6116171 SOS 3433083 HAS SOPS 3424749 HAS SOUS 591597 HAS SOUPS 590818 WITH SCORE 594251.083
AT ITER 510 NEW BEST:: SOT 6116159 SOS 3433023 HAS SOPS 3424689 HAS SOUS 591597 HAS SOUPS 590818 WITH SCORE 594251.023
AT ITER 513 NEW BEST:: SOT 6115631 SOS 3432554 HAS SOPS 3424220 HAS SOUS 591386 HAS SOUPS 590607 WITH SCORE 594039.554
AT ITER 522 NEW BEST:: SOT 6114145 SOS 3431202 HAS SOPS 3422868 HAS SOUS 590610 HAS SOUPS 589831 WITH SCORE 593262.202
AT ITER 523 NEW BEST:: SOT 6114000 SOS 3431086 HAS SOPS 3422752 HAS SOUS 590494 HAS SOUPS 589715 WITH SCORE 593146.086
AT ITER 525 NEW BEST:: SOT 6113664 SOS 3430918 HAS SOPS 3422584 HAS SOUS 590326 HAS SOUPS 589547 WITH SCORE 592977.918
AT ITER 538 NEW BEST:: SOT 6113629 SOS 3430883 HAS SOPS 3422549 HAS SOUS 590291 HAS SOUPS 589512 WITH SCORE 592942.883
AT ITER 551 NEW BEST:: SOT 6112574 SOS 3430170 HAS SOPS 3421836 HAS SOUS 590290 HAS SOUPS 589511 WITH SCORE 592941.17
AT ITER 559 NEW BEST:: SOT 6112696 SOS 3430292 HAS SOPS 3421910 HAS SOUS 590285 HAS SOUPS 589502 WITH SCORE 592932.292
AT ITER 567 NEW BEST:: SOT 6112696 SOS 3430292 HAS SOPS 3421910 HAS SOUS 590283 HAS SOUPS 589500 WITH SCORE 592930.292
AT ITER 617 NEW BEST:: SOT 6112728 SOS 3430306 HAS SOPS 3421924 HAS SOUS 590197 HAS SOUPS 589414 WITH SCORE 592844.306
AT ITER 618 NEW BEST:: SOT 6112608 SOS 3430146 HAS SOPS 3421764 HAS SOUS 590005 HAS SOUPS 589222 WITH SCORE 592652.146
AT ITER 624 NEW BEST:: SOT 6112300 SOS 3429838 HAS SOPS 3421456 HAS SOUS 588773 HAS SOUPS 587990 WITH SCORE 591419.838
AT ITER 635 NEW BEST:: SOT 6112280 SOS 3429528 HAS SOPS 3421146 HAS SOUS 588733 HAS SOUPS 587950 WITH SCORE 591379.528
AT ITER 637 NEW BEST:: SOT 6111962 SOS 3429236 HAS SOPS 3420854 HAS SOUS 588188 HAS SOUPS 587405 WITH SCORE 590834.236
AT ITER 642 NEW BEST:: SOT 6113120 SOS 3430787 HAS SOPS 3422405 HAS SOUS 587661 HAS SOUPS 586878 WITH SCORE 590308.787
AT ITER 643 NEW BEST:: SOT 6113166 SOS 3430962 HAS SOPS 3422580 HAS SOUS 587549 HAS SOUPS 586766 WITH SCORE 590196.962
AT ITER 656 NEW BEST:: SOT 6112244 SOS 3430205 HAS SOPS 3421823 HAS SOUS 586832 HAS SOUPS 586049 WITH SCORE 589479.205
AT ITER 658 NEW BEST:: SOT 6066999 SOS 3384829 HAS SOPS 3376447 HAS SOUS 579234 HAS SOUPS 578451 WITH SCORE 581835.829
AT ITER 661 NEW BEST:: SOT 6067012 SOS 3384842 HAS SOPS 3376412 HAS SOUS 579144 HAS SOUPS 578355 WITH SCORE 581739.842
AT ITER 688 NEW BEST:: SOT 6064956 SOS 3382944 HAS SOPS 3374514 HAS SOUS 577581 HAS SOUPS 576792 WITH SCORE 580174.944
AT ITER 702 NEW BEST:: SOT 6065073 SOS 3383073 HAS SOPS 3374643 HAS SOUS 576796 HAS SOUPS 576007 WITH SCORE 579390.073
AT ITER 713 NEW BEST:: SOT 5888309 SOS 3206309 HAS SOPS 3197879 HAS SOUS 552176 HAS SOUPS 551387 WITH SCORE 554593.309
AT ITER 739 NEW BEST:: SOT 5888213 SOS 3206213 HAS SOPS 3197735 HAS SOUS 551953 HAS SOUPS 551164 WITH SCORE 554370.213
AT ITER 744 NEW BEST:: SOT 5888245 SOS 3206245 HAS SOPS 3197719 HAS SOUS 551841 HAS SOUPS 551052 WITH SCORE 554258.245
AT ITER 753 NEW BEST:: SOT 5887651 SOS 3205779 HAS SOPS 3197253 HAS SOUS 551393 HAS SOUPS 550604 WITH SCORE 553809.779
AT ITER 754 NEW BEST:: SOT 5887137 SOS 3205163 HAS SOPS 3196634 HAS SOUS 550725 HAS SOUPS 549936 WITH SCORE 553141.163
AT ITER 760 NEW BEST:: SOT 5887215 SOS 3205379 HAS SOPS 3196850 HAS SOUS 550651 HAS SOUPS 549862 WITH SCORE 553067.379
AT ITER 763 NEW BEST:: SOT 5886359 SOS 3204180 HAS SOPS 3195651 HAS SOUS 549936 HAS SOUPS 549147 WITH SCORE 552351.18
AT ITER 765 NEW BEST:: SOT 5885735 SOS 3203819 HAS SOPS 3195290 HAS SOUS 548906 HAS SOUPS 548117 WITH SCORE 551320.819
AT ITER 769 NEW BEST:: SOT 5884184 SOS 3202327 HAS SOPS 3193798 HAS SOUS 547347 HAS SOUPS 546558 WITH SCORE 549760.327
AT ITER 770 NEW BEST:: SOT 5884177 SOS 3202336 HAS SOPS 3193807 HAS SOUS 547333 HAS SOUPS 546544 WITH SCORE 549746.336
AT ITER 775 NEW BEST:: SOT 5884129 SOS 3202288 HAS SOPS 3193759 HAS SOUS 547317 HAS SOUPS 546528 WITH SCORE 549730.288
AT ITER 777 NEW BEST:: SOT 5884136 SOS 3202345 HAS SOPS 3193816 HAS SOUS 546776 HAS SOUPS 545987 WITH SCORE 549189.345
AT ITER 788 NEW BEST:: SOT 5884097 SOS 3202267 HAS SOPS 3193738 HAS SOUS 546698 HAS SOUPS 545909 WITH SCORE 549111.267
AT ITER 795 NEW BEST:: SOT 5883189 SOS 3201524 HAS SOPS 3192995 HAS SOUS 545934 HAS SOUPS 545145 WITH SCORE 548346.524
AT ITER 796 NEW BEST:: SOT 5882179 SOS 3200567 HAS SOPS 3192038 HAS SOUS 544632 HAS SOUPS 543843 WITH SCORE 547043.567
AT ITER 798 NEW BEST:: SOT 5882153 SOS 3200541 HAS SOPS 3191999 HAS SOUS 544568 HAS SOUPS 543779 WITH SCORE 546979.541
AT ITER 802 NEW BEST:: SOT 5881502 SOS 3200042 HAS SOPS 3191500 HAS SOUS 543774 HAS SOUPS 542985 WITH SCORE 546185.042
AT ITER 804 NEW BEST:: SOT 5881280 SOS 3199831 HAS SOPS 3191289 HAS SOUS 543601 HAS SOUPS 542812 WITH SCORE 546011.831
AT ITER 811 NEW BEST:: SOT 5881259 SOS 3199810 HAS SOPS 3191268 HAS SOUS 543393 HAS SOUPS 542604 WITH SCORE 545803.81
AT ITER 823 NEW BEST:: SOT 5881489 SOS 3200366 HAS SOPS 3191824 HAS SOUS 543102 HAS SOUPS 542313 WITH SCORE 545513.366
AT ITER 834 NEW BEST:: SOT 5881180 SOS 3199859 HAS SOPS 3191317 HAS SOUS 542710 HAS SOUPS 541921 WITH SCORE 545120.859
AT ITER 839 NEW BEST:: SOT 5881056 SOS 3199735 HAS SOPS 3191193 HAS SOUS 542586 HAS SOUPS 541797 WITH SCORE 544996.735
AT ITER 840 NEW BEST:: SOT 5877671 SOS 3195717 HAS SOPS 3187175 HAS SOUS 539105 HAS SOUPS 538316 WITH SCORE 541511.717
AT ITER 848 NEW BEST:: SOT 5877664 SOS 3195703 HAS SOPS 3187161 HAS SOUS 539091 HAS SOUPS 538302 WITH SCORE 541497.703
AT ITER 862 NEW BEST:: SOT 5877312 SOS 3195085 HAS SOPS 3186543 HAS SOUS 538571 HAS SOUPS 537782 WITH SCORE 540977.085
AT ITER 873 NEW BEST:: SOT 5877267 SOS 3195040 HAS SOPS 3186453 HAS SOUS 538481 HAS SOUPS 537692 WITH SCORE 540887.04
AT ITER 874 NEW BEST:: SOT 5876720 SOS 3194697 HAS SOPS 3186110 HAS SOUS 537526 HAS SOUPS 536737 WITH SCORE 539931.697
AT ITER 883 NEW BEST:: SOT 5876708 SOS 3194685 HAS SOPS 3186086 HAS SOUS 537502 HAS SOUPS 536713 WITH SCORE 539907.685
AT ITER 887 NEW BEST:: SOT 5876712 SOS 3194629 HAS SOPS 3186030 HAS SOUS 537466 HAS SOUPS 536677 WITH SCORE 539871.629
AT ITER 893 NEW BEST:: SOT 5877036 SOS 3194066 HAS SOPS 3176203 HAS SOUS 537667 HAS SOUPS 535720 WITH SCORE 538914.066
AT ITER 894 NEW BEST:: SOT 5876808 SOS 3193854 HAS SOPS 3175995 HAS SOUS 537497 HAS SOUPS 535550 WITH SCORE 538743.854
AT ITER 907 NEW BEST:: SOT 5876808 SOS 3191503 HAS SOPS 3173644 HAS SOUS 537497 HAS SOUPS 535550 WITH SCORE 538741.503
AT ITER 924 NEW BEST:: SOT 5876541 SOS 3190953 HAS SOPS 3173094 HAS SOUS 536947 HAS SOUPS 535000 WITH SCORE 538190.953
AT ITER 941 NEW BEST:: SOT 5876467 SOS 3190838 HAS SOPS 3172979 HAS SOUS 536676 HAS SOUPS 534729 WITH SCORE 537919.838
AT ITER 944 NEW BEST:: SOT 5876467 SOS 3190838 HAS SOPS 3172979 HAS SOUS 536651 HAS SOUPS 534704 WITH SCORE 537894.838
AT ITER 947 NEW BEST:: SOT 5876459 SOS 3190407 HAS SOPS 3172551 HAS SOUS 536484 HAS SOUPS 534537 WITH SCORE 537727.407
AT ITER 962 NEW BEST:: SOT 5875781 SOS 3189657 HAS SOPS 3171801 HAS SOUS 535910 HAS SOUPS 533963 WITH SCORE 537152.657
AT ITER 974 NEW BEST:: SOT 5875781 SOS 3189798 HAS SOPS 3171942 HAS SOUS 534814 HAS SOUPS 532867 WITH SCORE 536056.798
AT ITER 975 NEW BEST:: SOT 5875712 SOS 3189721 HAS SOPS 3171865 HAS SOUS 534676 HAS SOUPS 532729 WITH SCORE 535918.721
AT ITER 976 NEW BEST:: SOT 5875548 SOS 3189557 HAS SOPS 3171701 HAS SOUS 534471 HAS SOUPS 532524 WITH SCORE 535713.557
AT ITER 980 NEW BEST:: SOT 5875478 SOS 3189487 HAS SOPS 3171631 HAS SOUS 534383 HAS SOUPS 532436 WITH SCORE 535625.487
AT ITER 982 NEW BEST:: SOT 5875357 SOS 3189363 HAS SOPS 3171507 HAS SOUS 534025 HAS SOUPS 532078 WITH SCORE 535267.363
AT ITER 990 NEW BEST:: SOT 5733878 SOS 3047750 HAS SOPS 3029894 HAS SOUS 517561 HAS SOUPS 515614 WITH SCORE 518661.75
AT ITER 993 NEW BEST:: SOT 5733856 SOS 3047728 HAS SOPS 3029911 HAS SOUS 517537 HAS SOUPS 515590 WITH SCORE 518637.728
AT ITER 994 NEW BEST:: SOT 5733866 SOS 3048376 HAS SOPS 3030435 HAS SOUS 517419 HAS SOUPS 515472 WITH SCORE 518520.376
AT ITER 998 NEW BEST:: SOT 5733174 SOS 3047892 HAS SOPS 3029951 HAS SOUS 516496 HAS SOUPS 514549 WITH SCORE 517596.892
AT ITER 1016 NEW BEST:: SOT 5733173 SOS 3047889 HAS SOPS 3029948 HAS SOUS 516493 HAS SOUPS 514546 WITH SCORE 517593.889
AT ITER 1019 NEW BEST:: SOT 5733173 SOS 3047889 HAS SOPS 3029948 HAS SOUS 516478 HAS SOUPS 514531 WITH SCORE 517578.889
AT ITER 1037 NEW BEST:: SOT 5733172 SOS 3047888 HAS SOPS 3029947 HAS SOUS 516477 HAS SOUPS 514530 WITH SCORE 517577.888
AT ITER 1048 NEW BEST:: SOT 5733172 SOS 3047872 HAS SOPS 3029931 HAS SOUS 516422 HAS SOUPS 514475 WITH SCORE 517522.872
AT ITER 1051 NEW BEST:: SOT 5732549 SOS 3047430 HAS SOPS 3029489 HAS SOUS 515731 HAS SOUPS 513784 WITH SCORE 516831.43
AT ITER 1068 NEW BEST:: SOT 5732031 SOS 3047129 HAS SOPS 3029188 HAS SOUS 515061 HAS SOUPS 513114 WITH SCORE 516161.129
AT ITER 1072 NEW BEST:: SOT 5732138 SOS 3047406 HAS SOPS 3029465 HAS SOUS 514847 HAS SOUPS 512900 WITH SCORE 515947.406
AT ITER 1075 NEW BEST:: SOT 5731557 SOS 3046870 HAS SOPS 3028929 HAS SOUS 513825 HAS SOUPS 511878 WITH SCORE 514924.87
AT ITER 1085 NEW BEST:: SOT 5731557 SOS 3046870 HAS SOPS 3028896 HAS SOUS 513802 HAS SOUPS 511832 WITH SCORE 514878.87
AT ITER 1093 NEW BEST:: SOT 5731270 SOS 3046669 HAS SOPS 3028695 HAS SOUS 513461 HAS SOUPS 511491 WITH SCORE 514537.669
AT ITER 1097 NEW BEST:: SOT 5730697 SOS 3046096 HAS SOPS 3028122 HAS SOUS 512862 HAS SOUPS 510892 WITH SCORE 513938.096
AT ITER 1133 NEW BEST:: SOT 5730601 SOS 3046000 HAS SOPS 3027996 HAS SOUS 512736 HAS SOUPS 510766 WITH SCORE 513812.0
AT ITER 1138 NEW BEST:: SOT 5730588 SOS 3045987 HAS SOPS 3027983 HAS SOUS 512723 HAS SOUPS 510753 WITH SCORE 513798.987
AT ITER 1147 NEW BEST:: SOT 5730489 SOS 3045777 HAS SOPS 3027527 HAS SOUS 512415 HAS SOUPS 510445 WITH SCORE 513490.777
AT ITER 1153 NEW BEST:: SOT 5730473 SOS 3045745 HAS SOPS 3027495 HAS SOUS 512359 HAS SOUPS 510389 WITH SCORE 513434.745
AT ITER 1160 NEW BEST:: SOT 5730566 SOS 3045889 HAS SOPS 3027639 HAS SOUS 512328 HAS SOUPS 510358 WITH SCORE 513403.889
AT ITER 1168 NEW BEST:: SOT 5550738 SOS 2866061 HAS SOPS 2847811 HAS SOUS 488636 HAS SOUPS 486666 WITH SCORE 489532.061
AT ITER 1169 NEW BEST:: SOT 5549743 SOS 2865258 HAS SOPS 2847008 HAS SOUS 487780 HAS SOUPS 485810 WITH SCORE 488675.258
AT ITER 1188 NEW BEST:: SOT 5550010 SOS 2865443 HAS SOPS 2847193 HAS SOUS 487371 HAS SOUPS 485401 WITH SCORE 488266.443
AT ITER 1196 NEW BEST:: SOT 5550014 SOS 2865447 HAS SOPS 2847197 HAS SOUS 487274 HAS SOUPS 485304 WITH SCORE 488169.447
AT ITER 1200 NEW BEST:: SOT 5550014 SOS 2865393 HAS SOPS 2847089 HAS SOUS 487220 HAS SOUPS 485250 WITH SCORE 488115.393
AT ITER 1206 NEW BEST:: SOT 5575977 SOS 2854168 HAS SOPS 2835864 HAS SOUS 481326 HAS SOUPS 479356 WITH SCORE 482210.168
AT ITER 1211 NEW BEST:: SOT 5575977 SOS 2854126 HAS SOPS 2835822 HAS SOUS 480570 HAS SOUPS 478600 WITH SCORE 481454.126
AT ITER 1213 NEW BEST:: SOT 5575560 SOS 2853709 HAS SOPS 2835405 HAS SOUS 480155 HAS SOUPS 478185 WITH SCORE 481038.709
AT ITER 1217 NEW BEST:: SOT 5575405 SOS 2853554 HAS SOPS 2835250 HAS SOUS 479935 HAS SOUPS 477965 WITH SCORE 480818.554
AT ITER 1222 NEW BEST:: SOT 5575403 SOS 2853553 HAS SOPS 2835249 HAS SOUS 479934 HAS SOUPS 477964 WITH SCORE 480817.553
AT ITER 1224 NEW BEST:: SOT 5575254 SOS 2853404 HAS SOPS 2835100 HAS SOUS 479785 HAS SOUPS 477815 WITH SCORE 480668.404
AT ITER 1230 NEW BEST:: SOT 5574878 SOS 2853124 HAS SOPS 2834820 HAS SOUS 479601 HAS SOUPS 477631 WITH SCORE 480484.124
AT ITER 1250 NEW BEST:: SOT 5574787 SOS 2852736 HAS SOPS 2834432 HAS SOUS 479428 HAS SOUPS 477458 WITH SCORE 480310.736
AT ITER 1252 NEW BEST:: SOT 5574782 SOS 2852726 HAS SOPS 2834422 HAS SOUS 479413 HAS SOUPS 477443 WITH SCORE 480295.726
AT ITER 1253 NEW BEST:: SOT 5574709 SOS 2852653 HAS SOPS 2834349 HAS SOUS 479340 HAS SOUPS 477370 WITH SCORE 480222.653
AT ITER 1263 NEW BEST:: SOT 5544679 SOS 2822623 HAS SOPS 2804319 HAS SOUS 476415 HAS SOUPS 474445 WITH SCORE 477267.623
AT ITER 1270 NEW BEST:: SOT 5544613 SOS 2822555 HAS SOPS 2804251 HAS SOUS 476127 HAS SOUPS 474157 WITH SCORE 476979.555
AT ITER 1274 NEW BEST:: SOT 5544280 SOS 2822222 HAS SOPS 2803918 HAS SOUS 475901 HAS SOUPS 473931 WITH SCORE 476753.222
AT ITER 1312 NEW BEST:: SOT 5543620 SOS 2821709 HAS SOPS 2803405 HAS SOUS 475535 HAS SOUPS 473565 WITH SCORE 476386.709
AT ITER 1338 NEW BEST:: SOT 5543606 SOS 2821655 HAS SOPS 2803351 HAS SOUS 475455 HAS SOUPS 473485 WITH SCORE 476306.655
AT ITER 1341 NEW BEST:: SOT 5543591 SOS 2821692 HAS SOPS 2803394 HAS SOUS 475425 HAS SOUPS 473458 WITH SCORE 476279.692
AT ITER 1346 NEW BEST:: SOT 5543529 SOS 2821320 HAS SOPS 2803022 HAS SOUS 475425 HAS SOUPS 473458 WITH SCORE 476279.32
AT ITER 1359 NEW BEST:: SOT 5543560 SOS 2821382 HAS SOPS 2803084 HAS SOUS 475177 HAS SOUPS 473210 WITH SCORE 476031.382
AT ITER 1365 NEW BEST:: SOT 5543889 SOS 2821721 HAS SOPS 2803423 HAS SOUS 475020 HAS SOUPS 473053 WITH SCORE 475874.721
AT ITER 1367 NEW BEST:: SOT 5543903 SOS 2821726 HAS SOPS 2803428 HAS SOUS 475012 HAS SOUPS 473045 WITH SCORE 475866.726
AT ITER 1368 NEW BEST:: SOT 5543900 SOS 2821723 HAS SOPS 2803425 HAS SOUS 475009 HAS SOUPS 473042 WITH SCORE 475863.723
AT ITER 1379 NEW BEST:: SOT 5543900 SOS 2821648 HAS SOPS 2803350 HAS SOUS 473659 HAS SOUPS 471692 WITH SCORE 474513.648
AT ITER 1380 NEW BEST:: SOT 5543772 SOS 2821268 HAS SOPS 2802970 HAS SOUS 473189 HAS SOUPS 471222 WITH SCORE 474043.268
AT ITER 1383 NEW BEST:: SOT 5543432 SOS 2821118 HAS SOPS 2802820 HAS SOUS 473055 HAS SOUPS 471088 WITH SCORE 473909.118
AT ITER 1384 NEW BEST:: SOT 5542508 SOS 2819971 HAS SOPS 2801673 HAS SOUS 472402 HAS SOUPS 470435 WITH SCORE 473254.971
AT ITER 1397 NEW BEST:: SOT 5542513 SOS 2819976 HAS SOPS 2801714 HAS SOUS 472261 HAS SOUPS 470294 WITH SCORE 473113.976
AT ITER 1398 NEW BEST:: SOT 5541976 SOS 2819704 HAS SOPS 2801613 HAS SOUS 472200 HAS SOUPS 470253 WITH SCORE 473072.704
AT ITER 1419 NEW BEST:: SOT 5497458 SOS 2842473 HAS SOPS 2824382 HAS SOUS 471304 HAS SOUPS 469357 WITH SCORE 472199.473
AT ITER 1424 NEW BEST:: SOT 5497434 SOS 2842449 HAS SOPS 2824358 HAS SOUS 471236 HAS SOUPS 469289 WITH SCORE 472131.449
AT ITER 1448 NEW BEST:: SOT 5496844 SOS 2842009 HAS SOPS 2823918 HAS SOUS 470556 HAS SOUPS 468609 WITH SCORE 471451.009
AT ITER 1472 NEW BEST:: SOT 5496742 SOS 2844161 HAS SOPS 2826083 HAS SOUS 470496 HAS SOUPS 468549 WITH SCORE 471393.161
AT ITER 1485 NEW BEST:: SOT 5496384 SOS 2843883 HAS SOPS 2825805 HAS SOUS 469407 HAS SOUPS 467460 WITH SCORE 470303.883
AT ITER 1494 NEW BEST:: SOT 5495821 SOS 2776015 HAS SOPS 2757937 HAS SOUS 466019 HAS SOUPS 464072 WITH SCORE 466848.015
AT ITER 1498 NEW BEST:: SOT 5496551 SOS 2776561 HAS SOPS 2758483 HAS SOUS 464201 HAS SOUPS 462254 WITH SCORE 465030.561
AT ITER 1501 NEW BEST:: SOT 5494752 SOS 2774709 HAS SOPS 2756631 HAS SOUS 462412 HAS SOUPS 460465 WITH SCORE 463239.709
AT ITER 1513 NEW BEST:: SOT 5494752 SOS 2774833 HAS SOPS 2756755 HAS SOUS 462373 HAS SOUPS 460426 WITH SCORE 463200.833
AT ITER 1528 NEW BEST:: SOT 5494552 SOS 2774712 HAS SOPS 2756634 HAS SOUS 462239 HAS SOUPS 460292 WITH SCORE 463066.712
AT ITER 1529 NEW BEST:: SOT 5493497 SOS 2773664 HAS SOPS 2755586 HAS SOUS 461166 HAS SOUPS 459219 WITH SCORE 461992.664
AT ITER 1530 NEW BEST:: SOT 5493317 SOS 2773364 HAS SOPS 2755286 HAS SOUS 460866 HAS SOUPS 458919 WITH SCORE 461692.364
AT ITER 1531 NEW BEST:: SOT 5490712 SOS 2770926 HAS SOPS 2752848 HAS SOUS 458878 HAS SOUPS 456931 WITH SCORE 459701.926
AT ITER 1547 NEW BEST:: SOT 5490615 SOS 2770852 HAS SOPS 2752774 HAS SOUS 458780 HAS SOUPS 456833 WITH SCORE 459603.852
AT ITER 1563 NEW BEST:: SOT 5490615 SOS 2770852 HAS SOPS 2752774 HAS SOUS 458769 HAS SOUPS 456822 WITH SCORE 459592.852
AT ITER 1574 NEW BEST:: SOT 5490596 SOS 2770833 HAS SOPS 2752755 HAS SOUS 458769 HAS SOUPS 456822 WITH SCORE 459592.833
AT ITER 1582 NEW BEST:: SOT 5490596 SOS 2770833 HAS SOPS 2752775 HAS SOUS 458762 HAS SOUPS 456815 WITH SCORE 459585.833
AT ITER 1586 NEW BEST:: SOT 5391993 SOS 2672049 HAS SOPS 2653991 HAS SOUS 443266 HAS SOUPS 441319 WITH SCORE 443991.049
AT ITER 1592 NEW BEST:: SOT 5390735 SOS 2670225 HAS SOPS 2652167 HAS SOUS 442044 HAS SOUPS 440097 WITH SCORE 442767.225
AT ITER 1620 NEW BEST:: SOT 5390727 SOS 2670389 HAS SOPS 2652331 HAS SOUS 441972 HAS SOUPS 440025 WITH SCORE 442695.389
AT ITER 1653 NEW BEST:: SOT 5390117 SOS 2669893 HAS SOPS 2651835 HAS SOUS 441561 HAS SOUPS 439614 WITH SCORE 442283.893
AT ITER 1670 NEW BEST:: SOT 5390072 SOS 2669848 HAS SOPS 2651790 HAS SOUS 441516 HAS SOUPS 439569 WITH SCORE 442238.848
AT ITER 1684 NEW BEST:: SOT 5390130 SOS 2669906 HAS SOPS 2651899 HAS SOUS 441428 HAS SOUPS 439481 WITH SCORE 442150.906
AT ITER 1702 NEW BEST:: SOT 5390120 SOS 2669888 HAS SOPS 2651881 HAS SOUS 441420 HAS SOUPS 439473 WITH SCORE 442142.888
AT ITER 1708 NEW BEST:: SOT 5391059 SOS 2671087 HAS SOPS 2653086 HAS SOUS 440644 HAS SOUPS 438697 WITH SCORE 441368.087
AT ITER 1745 NEW BEST:: SOT 5391031 SOS 2670851 HAS SOPS 2652850 HAS SOUS 440495 HAS SOUPS 438548 WITH SCORE 441218.851
AT ITER 1755 NEW BEST:: SOT 5390942 SOS 2670673 HAS SOPS 2652672 HAS SOUS 440317 HAS SOUPS 438370 WITH SCORE 441040.673
AT ITER 1779 NEW BEST:: SOT 5390877 SOS 2670463 HAS SOPS 2652462 HAS SOUS 440107 HAS SOUPS 438160 WITH SCORE 440830.463
AT ITER 1781 NEW BEST:: SOT 5390588 SOS 2670170 HAS SOPS 2652218 HAS SOUS 439958 HAS SOUPS 438011 WITH SCORE 440681.17
AT ITER 1787 NEW BEST:: SOT 5390588 SOS 2670282 HAS SOPS 2652330 HAS SOUS 439818 HAS SOUPS 437871 WITH SCORE 440541.282
AT ITER 1798 NEW BEST:: SOT 5390398 SOS 2670092 HAS SOPS 2652140 HAS SOUS 439622 HAS SOUPS 437675 WITH SCORE 440345.092
AT ITER 1801 NEW BEST:: SOT 5389680 SOS 2680712 HAS SOPS 2660015 HAS SOUS 439064 HAS SOUPS 436758 WITH SCORE 439438.712
AT ITER 1808 NEW BEST:: SOT 5389529 SOS 2680543 HAS SOPS 2659846 HAS SOUS 438895 HAS SOUPS 436589 WITH SCORE 439269.543
AT ITER 1816 NEW BEST:: SOT 5389365 SOS 2680363 HAS SOPS 2659666 HAS SOUS 438715 HAS SOUPS 436409 WITH SCORE 439089.363
AT ITER 1818 NEW BEST:: SOT 5389030 SOS 2680028 HAS SOPS 2659331 HAS SOUS 438200 HAS SOUPS 435894 WITH SCORE 438574.028
AT ITER 1830 NEW BEST:: SOT 5388944 SOS 2679942 HAS SOPS 2659313 HAS SOUS 438120 HAS SOUPS 435814 WITH SCORE 438493.942
AT ITER 1841 NEW BEST:: SOT 5388935 SOS 2679924 HAS SOPS 2659295 HAS SOUS 438081 HAS SOUPS 435775 WITH SCORE 438454.924
AT ITER 1850 NEW BEST:: SOT 5388887 SOS 2679876 HAS SOPS 2659220 HAS SOUS 437958 HAS SOUPS 435652 WITH SCORE 438331.876
AT ITER 1863 NEW BEST:: SOT 5388913 SOS 2680203 HAS SOPS 2659547 HAS SOUS 437863 HAS SOUPS 435557 WITH SCORE 438237.203
AT ITER 1880 NEW BEST:: SOT 5388003 SOS 2679615 HAS SOPS 2658959 HAS SOUS 437687 HAS SOUPS 435381 WITH SCORE 438060.615
AT ITER 1894 NEW BEST:: SOT 5387285 SOS 2678943 HAS SOPS 2658287 HAS SOUS 437078 HAS SOUPS 434772 WITH SCORE 437450.943
AT ITER 1904 NEW BEST:: SOT 5387276 SOS 2678931 HAS SOPS 2658275 HAS SOUS 437069 HAS SOUPS 434763 WITH SCORE 437441.931
AT ITER 1925 NEW BEST:: SOT 5387245 SOS 2679574 HAS SOPS 2658932 HAS SOUS 437005 HAS SOUPS 434699 WITH SCORE 437378.574
AT ITER 1931 NEW BEST:: SOT 5386814 SOS 2679411 HAS SOPS 2658769 HAS SOUS 436980 HAS SOUPS 434674 WITH SCORE 437353.411
AT ITER 1935 NEW BEST:: SOT 5386789 SOS 2679330 HAS SOPS 2658688 HAS SOUS 436930 HAS SOUPS 434624 WITH SCORE 437303.33
AT ITER 1937 NEW BEST:: SOT 5386752 SOS 2679237 HAS SOPS 2658595 HAS SOUS 436796 HAS SOUPS 434490 WITH SCORE 437169.237
AT ITER 1941 NEW BEST:: SOT 5386647 SOS 2678922 HAS SOPS 2658280 HAS SOUS 436796 HAS SOUPS 434490 WITH SCORE 437168.922
AT ITER 1947 NEW BEST:: SOT 5386634 SOS 2678909 HAS SOPS 2658254 HAS SOUS 436770 HAS SOUPS 434464 WITH SCORE 437142.909
AT ITER 1970 NEW BEST:: SOT 5275413 SOS 2674763 HAS SOPS 2654108 HAS SOUS 429199 HAS SOUPS 426893 WITH SCORE 429567.763
AT ITER 1977 NEW BEST:: SOT 5275189 SOS 2674539 HAS SOPS 2653884 HAS SOUS 428841 HAS SOUPS 426535 WITH SCORE 429209.539
AT ITER 1983 NEW BEST:: SOT 5275189 SOS 2674112 HAS SOPS 2653457 HAS SOUS 428841 HAS SOUPS 426535 WITH SCORE 429209.112
AT ITER 1991 NEW BEST:: SOT 5275086 SOS 2674009 HAS SOPS 2653354 HAS SOUS 428738 HAS SOUPS 426432 WITH SCORE 429106.009
AT ITER 1996 NEW BEST:: SOT 5275038 SOS 2673961 HAS SOPS 2653258 HAS SOUS 428642 HAS SOUPS 426336 WITH SCORE 429009.961
AT ITER 1998 NEW BEST:: SOT 5275066 SOS 2673989 HAS SOPS 2653286 HAS SOUS 428638 HAS SOUPS 426332 WITH SCORE 429005.989
AT ITER 1999 NEW BEST:: SOT 5275018 SOS 2673941 HAS SOPS 2653238 HAS SOUS 428590 HAS SOUPS 426284 WITH SCORE 428957.941
AT ITER 2000 NEW BEST:: SOT 5274995 SOS 2673918 HAS SOPS 2653215 HAS SOUS 428556 HAS SOUPS 426250 WITH SCORE 428923.918
AT ITER 2015 NEW BEST:: SOT 5274947 SOS 2673870 HAS SOPS 2653119 HAS SOUS 428460 HAS SOUPS 426154 WITH SCORE 428827.87
AT ITER 2027 NEW BEST:: SOT 5274718 SOS 2673500 HAS SOPS 2652749 HAS SOUS 428152 HAS SOUPS 425846 WITH SCORE 428519.5
AT ITER 2031 NEW BEST:: SOT 5274763 SOS 2673545 HAS SOPS 2652746 HAS SOUS 428056 HAS SOUPS 425750 WITH SCORE 428423.545
AT ITER 2059 NEW BEST:: SOT 5274700 SOS 2673482 HAS SOPS 2652640 HAS SOUS 427930 HAS SOUPS 425624 WITH SCORE 428297.482
AT ITER 2083 NEW BEST:: SOT 5273807 SOS 2672813 HAS SOPS 2651971 HAS SOUS 427414 HAS SOUPS 425108 WITH SCORE 427780.813
AT ITER 2131 NEW BEST:: SOT 5273772 SOS 2672777 HAS SOPS 2651935 HAS SOUS 427344 HAS SOUPS 425038 WITH SCORE 427710.777
AT ITER 2138 NEW BEST:: SOT 5273364 SOS 2672416 HAS SOPS 2651574 HAS SOUS 426772 HAS SOUPS 424466 WITH SCORE 427138.416
AT ITER 2145 NEW BEST:: SOT 5273241 SOS 2672293 HAS SOPS 2651451 HAS SOUS 426613 HAS SOUPS 424307 WITH SCORE 426979.293
AT ITER 2160 NEW BEST:: SOT 5273203 SOS 2672247 HAS SOPS 2651405 HAS SOUS 426537 HAS SOUPS 424231 WITH SCORE 426903.247
AT ITER 2189 NEW BEST:: SOT 5273375 SOS 2672653 HAS SOPS 2651811 HAS SOUS 426412 HAS SOUPS 424106 WITH SCORE 426778.653
AT ITER 2190 NEW BEST:: SOT 5273327 SOS 2672605 HAS SOPS 2651715 HAS SOUS 426316 HAS SOUPS 424010 WITH SCORE 426682.605
AT ITER 2196 NEW BEST:: SOT 5273266 SOS 2672241 HAS SOPS 2651351 HAS SOUS 426194 HAS SOUPS 423888 WITH SCORE 426560.241
AT ITER 2197 NEW BEST:: SOT 5273305 SOS 2672034 HAS SOPS 2651035 HAS SOUS 426047 HAS SOUPS 423741 WITH SCORE 426413.034
AT ITER 2231 NEW BEST:: SOT 5273229 SOS 2671958 HAS SOPS 2650959 HAS SOUS 425941 HAS SOUPS 423635 WITH SCORE 426306.958
AT ITER 2259 NEW BEST:: SOT 5273213 SOS 2671850 HAS SOPS 2650835 HAS SOUS 425883 HAS SOUPS 423557 WITH SCORE 426228.85
AT ITER 2264 NEW BEST:: SOT 5272904 SOS 2671597 HAS SOPS 2650582 HAS SOUS 425567 HAS SOUPS 423241 WITH SCORE 425912.597
AT ITER 2286 NEW BEST:: SOT 5272855 SOS 2671461 HAS SOPS 2650509 HAS SOUS 425560 HAS SOUPS 423234 WITH SCORE 425905.461
AT ITER 2287 NEW BEST:: SOT 5272806 SOS 2671412 HAS SOPS 2650460 HAS SOUS 425511 HAS SOUPS 423185 WITH SCORE 425856.412
AT ITER 2290 NEW BEST:: SOT 5272740 SOS 2671338 HAS SOPS 2650386 HAS SOUS 425379 HAS SOUPS 423053 WITH SCORE 425724.338
AT ITER 2292 NEW BEST:: SOT 5272368 SOS 2670900 HAS SOPS 2649948 HAS SOUS 424880 HAS SOUPS 422554 WITH SCORE 425224.9
AT ITER 2313 NEW BEST:: SOT 5271822 SOS 2670188 HAS SOPS 2649236 HAS SOUS 424419 HAS SOUPS 422093 WITH SCORE 424763.188
AT ITER 2329 NEW BEST:: SOT 5271820 SOS 2670186 HAS SOPS 2649232 HAS SOUS 424415 HAS SOUPS 422089 WITH SCORE 424759.186
AT ITER 2335 NEW BEST:: SOT 5271551 SOS 2669795 HAS SOPS 2648841 HAS SOUS 424337 HAS SOUPS 422011 WITH SCORE 424680.795
AT ITER 2341 NEW BEST:: SOT 5271456 SOS 2669667 HAS SOPS 2648713 HAS SOUS 424147 HAS SOUPS 421821 WITH SCORE 424490.667
AT ITER 2344 NEW BEST:: SOT 5271390 SOS 2669612 HAS SOPS 2648658 HAS SOUS 424071 HAS SOUPS 421745 WITH SCORE 424414.612
AT ITER 2359 NEW BEST:: SOT 5270757 SOS 2668703 HAS SOPS 2647749 HAS SOUS 423231 HAS SOUPS 420905 WITH SCORE 423573.703
AT ITER 2360 NEW BEST:: SOT 5270715 SOS 2668661 HAS SOPS 2647707 HAS SOUS 423189 HAS SOUPS 420863 WITH SCORE 423531.661
AT ITER 2366 NEW BEST:: SOT 5270687 SOS 2668605 HAS SOPS 2647651 HAS SOUS 423133 HAS SOUPS 420807 WITH SCORE 423475.605
AT ITER 2384 NEW BEST:: SOT 5270687 SOS 2668605 HAS SOPS 2647612 HAS SOUS 423055 HAS SOUPS 420729 WITH SCORE 423397.605
AT ITER 2386 NEW BEST:: SOT 5270469 SOS 2668387 HAS SOPS 2647394 HAS SOUS 422858 HAS SOUPS 420532 WITH SCORE 423200.387
AT ITER 2391 NEW BEST:: SOT 5270404 SOS 2668322 HAS SOPS 2647329 HAS SOUS 422793 HAS SOUPS 420467 WITH SCORE 423135.322
AT ITER 2397 NEW BEST:: SOT 5270339 SOS 2668212 HAS SOPS 2647219 HAS SOUS 422668 HAS SOUPS 420342 WITH SCORE 423010.212
AT ITER 2399 NEW BEST:: SOT 5270294 SOS 2668167 HAS SOPS 2647174 HAS SOUS 422623 HAS SOUPS 420297 WITH SCORE 422965.167
AT ITER 2435 NEW BEST:: SOT 5270316 SOS 2668251 HAS SOPS 2647258 HAS SOUS 422540 HAS SOUPS 420214 WITH SCORE 422882.251
AT ITER 2437 NEW BEST:: SOT 5270310 SOS 2668245 HAS SOPS 2647252 HAS SOUS 422534 HAS SOUPS 420208 WITH SCORE 422876.245
AT ITER 2443 NEW BEST:: SOT 5270430 SOS 2668365 HAS SOPS 2647442 HAS SOUS 422411 HAS SOUPS 420085 WITH SCORE 422753.365
AT ITER 2491 NEW BEST:: SOT 5270576 SOS 2668449 HAS SOPS 2647333 HAS SOUS 422309 HAS SOUPS 419983 WITH SCORE 422651.449
AT ITER 2509 NEW BEST:: SOT 5270551 SOS 2668424 HAS SOPS 2647308 HAS SOUS 422168 HAS SOUPS 419842 WITH SCORE 422510.424
AT ITER 2532 NEW BEST:: SOT 5269986 SOS 2667859 HAS SOPS 2646743 HAS SOUS 421336 HAS SOUPS 419010 WITH SCORE 421677.859
AT ITER 2533 NEW BEST:: SOT 5270045 SOS 2667918 HAS SOPS 2646754 HAS SOUS 421330 HAS SOUPS 419004 WITH SCORE 421671.918
AT ITER 2535 NEW BEST:: SOT 5270062 SOS 2667935 HAS SOPS 2646810 HAS SOUS 421208 HAS SOUPS 418882 WITH SCORE 421549.935
AT ITER 2540 NEW BEST:: SOT 5270251 SOS 2668124 HAS SOPS 2647057 HAS SOUS 421198 HAS SOUPS 418872 WITH SCORE 421540.124
AT ITER 2564 NEW BEST:: SOT 5270192 SOS 2667993 HAS SOPS 2646926 HAS SOUS 421046 HAS SOUPS 418720 WITH SCORE 421387.993
AT ITER 2579 NEW BEST:: SOT 5270230 SOS 2668031 HAS SOPS 2646905 HAS SOUS 420945 HAS SOUPS 418619 WITH SCORE 421287.031
AT ITER 2582 NEW BEST:: SOT 5269890 SOS 2667691 HAS SOPS 2646565 HAS SOUS 420537 HAS SOUPS 418211 WITH SCORE 420878.691
AT ITER 2591 NEW BEST:: SOT 5269966 SOS 2667767 HAS SOPS 2646671 HAS SOUS 420518 HAS SOUPS 418192 WITH SCORE 420859.767
AT ITER 2593 NEW BEST:: SOT 5270018 SOS 2667819 HAS SOPS 2646796 HAS SOUS 420338 HAS SOUPS 418012 WITH SCORE 420679.819
AT ITER 2594 NEW BEST:: SOT 5269776 SOS 2667658 HAS SOPS 2646635 HAS SOUS 418151 HAS SOUPS 415825 WITH SCORE 418492.658
AT ITER 2640 NEW BEST:: SOT 5269742 SOS 2667624 HAS SOPS 2646606 HAS SOUS 418119 HAS SOUPS 415793 WITH SCORE 418460.624
AT ITER 2646 NEW BEST:: SOT 5269545 SOS 2667510 HAS SOPS 2646492 HAS SOUS 418107 HAS SOUPS 415781 WITH SCORE 418448.51
AT ITER 2647 NEW BEST:: SOT 5269493 SOS 2667432 HAS SOPS 2646414 HAS SOUS 417990 HAS SOUPS 415664 WITH SCORE 418331.432
AT ITER 2657 NEW BEST:: SOT 5269291 SOS 2667403 HAS SOPS 2646385 HAS SOUS 417949 HAS SOUPS 415623 WITH SCORE 418290.403
AT ITER 2658 NEW BEST:: SOT 5269300 SOS 2667412 HAS SOPS 2646366 HAS SOUS 417911 HAS SOUPS 415585 WITH SCORE 418252.412
AT ITER 2674 NEW BEST:: SOT 5269173 SOS 2667227 HAS SOPS 2646181 HAS SOUS 417657 HAS SOUPS 415331 WITH SCORE 417998.227
AT ITER 2678 NEW BEST:: SOT 5269149 SOS 2667302 HAS SOPS 2646256 HAS SOUS 417654 HAS SOUPS 415328 WITH SCORE 417995.302
AT ITER 2679 NEW BEST:: SOT 5269123 SOS 2667302 HAS SOPS 2646256 HAS SOUS 417628 HAS SOUPS 415302 WITH SCORE 417969.302
AT ITER 2690 NEW BEST:: SOT 5269057 SOS 2667236 HAS SOPS 2646194 HAS SOUS 417600 HAS SOUPS 415274 WITH SCORE 417941.236
AT ITER 2691 NEW BEST:: SOT 5268977 SOS 2667140 HAS SOPS 2646098 HAS SOUS 417539 HAS SOUPS 415213 WITH SCORE 417880.14
AT ITER 2693 NEW BEST:: SOT 5268840 SOS 2667081 HAS SOPS 2646039 HAS SOUS 417455 HAS SOUPS 415129 WITH SCORE 417796.081
AT ITER 2694 NEW BEST:: SOT 5268833 SOS 2666804 HAS SOPS 2645762 HAS SOUS 417441 HAS SOUPS 415115 WITH SCORE 417781.804
AT ITER 2702 NEW BEST:: SOT 5268821 SOS 2666792 HAS SOPS 2645744 HAS SOUS 417417 HAS SOUPS 415091 WITH SCORE 417757.792
AT ITER 2703 NEW BEST:: SOT 5268961 SOS 2666932 HAS SOPS 2645772 HAS SOUS 417307 HAS SOUPS 414981 WITH SCORE 417647.932
AT ITER 2706 NEW BEST:: SOT 5269009 SOS 2667105 HAS SOPS 2645945 HAS SOUS 417249 HAS SOUPS 414923 WITH SCORE 417590.105
AT ITER 2739 NEW BEST:: SOT 5269009 SOS 2667098 HAS SOPS 2645931 HAS SOUS 417243 HAS SOUPS 414917 WITH SCORE 417584.098
AT ITER 2762 NEW BEST:: SOT 5269007 SOS 2667094 HAS SOPS 2645927 HAS SOUS 417231 HAS SOUPS 414905 WITH SCORE 417572.094
AT ITER 2764 NEW BEST:: SOT 5269110 SOS 2667301 HAS SOPS 2646134 HAS SOUS 416733 HAS SOUPS 414407 WITH SCORE 417074.301
AT ITER 2769 NEW BEST:: SOT 5173924 SOS 2572115 HAS SOPS 2550948 HAS SOUS 405805 HAS SOUPS 403479 WITH SCORE 406051.115
AT ITER 2770 NEW BEST:: SOT 5173724 SOS 2571915 HAS SOPS 2550748 HAS SOUS 405605 HAS SOUPS 403279 WITH SCORE 405850.915
AT ITER 2785 NEW BEST:: SOT 5173724 SOS 2571817 HAS SOPS 2550650 HAS SOUS 405605 HAS SOUPS 403279 WITH SCORE 405850.817
AT ITER 2789 NEW BEST:: SOT 5173517 SOS 2571691 HAS SOPS 2550524 HAS SOUS 403927 HAS SOUPS 401601 WITH SCORE 404172.691
AT ITER 2806 NEW BEST:: SOT 5173409 SOS 2571541 HAS SOPS 2550374 HAS SOUS 403807 HAS SOUPS 401481 WITH SCORE 404052.541
AT ITER 2812 NEW BEST:: SOT 5173236 SOS 2571242 HAS SOPS 2550075 HAS SOUS 403663 HAS SOUPS 401337 WITH SCORE 403908.242
AT ITER 2844 NEW BEST:: SOT 5172870 SOS 2570876 HAS SOPS 2549709 HAS SOUS 403540 HAS SOUPS 401214 WITH SCORE 403784.876
AT ITER 2849 NEW BEST:: SOT 5172861 SOS 2570867 HAS SOPS 2549700 HAS SOUS 403540 HAS SOUPS 401214 WITH SCORE 403784.867
AT ITER 2864 NEW BEST:: SOT 5171872 SOS 2569864 HAS SOPS 2548697 HAS SOUS 403346 HAS SOUPS 401020 WITH SCORE 403589.864
AT ITER 2896 NEW BEST:: SOT 5171811 SOS 2569803 HAS SOPS 2548636 HAS SOUS 403262 HAS SOUPS 400936 WITH SCORE 403505.803
AT ITER 2910 NEW BEST:: SOT 5171186 SOS 2569985 HAS SOPS 2548818 HAS SOUS 402504 HAS SOUPS 400178 WITH SCORE 402747.985
AT ITER 2923 NEW BEST:: SOT 5171094 SOS 2569893 HAS SOPS 2548726 HAS SOUS 402340 HAS SOUPS 400014 WITH SCORE 402583.893
AT ITER 2930 NEW BEST:: SOT 5171048 SOS 2569858 HAS SOPS 2548691 HAS SOUS 402261 HAS SOUPS 399935 WITH SCORE 402504.858
AT ITER 2940 NEW BEST:: SOT 5171039 SOS 2569849 HAS SOPS 2548664 HAS SOUS 402243 HAS SOUPS 399917 WITH SCORE 402486.849
AT ITER 2946 NEW BEST:: SOT 5171193 SOS 2570296 HAS SOPS 2549111 HAS SOUS 402127 HAS SOUPS 399801 WITH SCORE 402371.296
AT ITER 2959 NEW BEST:: SOT 5171214 SOS 2570126 HAS SOPS 2548941 HAS SOUS 402030 HAS SOUPS 399704 WITH SCORE 402274.126
AT ITER 2964 NEW BEST:: SOT 5171219 SOS 2570110 HAS SOPS 2548925 HAS SOUS 402014 HAS SOUPS 399688 WITH SCORE 402258.11
AT ITER 3019 NEW BEST:: SOT 5173980 SOS 2572752 HAS SOPS 2551703 HAS SOUS 401496 HAS SOUPS 399187 WITH SCORE 401759.752
AT ITER 3020 NEW BEST:: SOT 5173946 SOS 2572718 HAS SOPS 2551674 HAS SOUS 401452 HAS SOUPS 399143 WITH SCORE 401715.718
AT ITER 3032 NEW BEST:: SOT 5173767 SOS 2572360 HAS SOPS 2551316 HAS SOUS 401094 HAS SOUPS 398785 WITH SCORE 401357.36
AT ITER 3061 NEW BEST:: SOT 5173591 SOS 2572086 HAS SOPS 2551042 HAS SOUS 400666 HAS SOUPS 398357 WITH SCORE 400929.086
AT ITER 3062 NEW BEST:: SOT 5173556 SOS 2571981 HAS SOPS 2550902 HAS SOUS 400561 HAS SOUPS 398252 WITH SCORE 400823.981
AT ITER 3072 NEW BEST:: SOT 5173524 SOS 2571933 HAS SOPS 2550854 HAS SOUS 400513 HAS SOUPS 398204 WITH SCORE 400775.933
AT ITER 3075 NEW BEST:: SOT 5173541 SOS 2571967 HAS SOPS 2550868 HAS SOUS 400507 HAS SOUPS 398198 WITH SCORE 400769.967
AT ITER 3079 NEW BEST:: SOT 5174505 SOS 2572760 HAS SOPS 2551661 HAS SOUS 399386 HAS SOUPS 397077 WITH SCORE 399649.76
AT ITER 3090 NEW BEST:: SOT 5174468 SOS 2572723 HAS SOPS 2551624 HAS SOUS 399386 HAS SOUPS 397077 WITH SCORE 399649.723
AT ITER 3098 NEW BEST:: SOT 5174330 SOS 2572585 HAS SOPS 2551486 HAS SOUS 399339 HAS SOUPS 397030 WITH SCORE 399602.585
AT ITER 3105 NEW BEST:: SOT 5173986 SOS 2572241 HAS SOPS 2551142 HAS SOUS 399047 HAS SOUPS 396738 WITH SCORE 399310.241
AT ITER 3113 NEW BEST:: SOT 5173973 SOS 2572273 HAS SOPS 2551174 HAS SOUS 399034 HAS SOUPS 396725 WITH SCORE 399297.273
AT ITER 3116 NEW BEST:: SOT 5173504 SOS 2571804 HAS SOPS 2550705 HAS SOUS 398217 HAS SOUPS 395908 WITH SCORE 398479.804
AT ITER 3148 NEW BEST:: SOT 5163371 SOS 2561671 HAS SOPS 2540572 HAS SOUS 396503 HAS SOUPS 394194 WITH SCORE 396755.671
AT ITER 3153 NEW BEST:: SOT 5163085 SOS 2561385 HAS SOPS 2540280 HAS SOUS 396143 HAS SOUPS 393834 WITH SCORE 396395.385
AT ITER 3154 NEW BEST:: SOT 5163067 SOS 2561367 HAS SOPS 2540271 HAS SOUS 396125 HAS SOUPS 393816 WITH SCORE 396377.367
AT ITER 3164 NEW BEST:: SOT 5163350 SOS 2561627 HAS SOPS 2540531 HAS SOUS 396114 HAS SOUPS 393805 WITH SCORE 396366.627
AT ITER 3175 NEW BEST:: SOT 5163302 SOS 2561544 HAS SOPS 2540448 HAS SOUS 396031 HAS SOUPS 393722 WITH SCORE 396283.544
AT ITER 3182 NEW BEST:: SOT 5163245 SOS 2561487 HAS SOPS 2540384 HAS SOUS 395917 HAS SOUPS 393608 WITH SCORE 396169.487
AT ITER 3184 NEW BEST:: SOT 5163317 SOS 2561489 HAS SOPS 2540386 HAS SOUS 395871 HAS SOUPS 393562 WITH SCORE 396123.489
AT ITER 3192 NEW BEST:: SOT 5163277 SOS 2561449 HAS SOPS 2540346 HAS SOUS 395871 HAS SOUPS 393562 WITH SCORE 396123.449
AT ITER 3196 NEW BEST:: SOT 5162392 SOS 2560741 HAS SOPS 2539638 HAS SOUS 395163 HAS SOUPS 392854 WITH SCORE 395414.741
AT ITER 3229 NEW BEST:: SOT 5162317 SOS 2560666 HAS SOPS 2539563 HAS SOUS 395130 HAS SOUPS 392821 WITH SCORE 395381.666
AT ITER 3231 NEW BEST:: SOT 5162317 SOS 2560666 HAS SOPS 2539562 HAS SOUS 395129 HAS SOUPS 392819 WITH SCORE 395379.666
AT ITER 3234 NEW BEST:: SOT 5162384 SOS 2560733 HAS SOPS 2538813 HAS SOUS 395202 HAS SOUPS 392790 WITH SCORE 395350.733
AT ITER 3235 NEW BEST:: SOT 5162381 SOS 2560730 HAS SOPS 2538810 HAS SOUS 395191 HAS SOUPS 392779 WITH SCORE 395339.73
AT ITER 3243 NEW BEST:: SOT 5162380 SOS 2560728 HAS SOPS 2538808 HAS SOUS 395189 HAS SOUPS 392777 WITH SCORE 395337.728
AT ITER 3254 NEW BEST:: SOT 5162356 SOS 2560473 HAS SOPS 2538553 HAS SOUS 394833 HAS SOUPS 392421 WITH SCORE 394981.473
AT ITER 3258 NEW BEST:: SOT 5161691 SOS 2559646 HAS SOPS 2537726 HAS SOUS 394111 HAS SOUPS 391699 WITH SCORE 394258.646
AT ITER 3277 NEW BEST:: SOT 5161734 SOS 2559637 HAS SOPS 2537717 HAS SOUS 394038 HAS SOUPS 391626 WITH SCORE 394185.637
AT ITER 3327 NEW BEST:: SOT 5161102 SOS 2558817 HAS SOPS 2536897 HAS SOUS 393370 HAS SOUPS 390958 WITH SCORE 393516.817
AT ITER 3340 NEW BEST:: SOT 5161236 SOS 2558951 HAS SOPS 2536952 HAS SOUS 393282 HAS SOUPS 390870 WITH SCORE 393428.951
AT ITER 3347 NEW BEST:: SOT 5161260 SOS 2558975 HAS SOPS 2536976 HAS SOUS 393271 HAS SOUPS 390859 WITH SCORE 393417.975
AT ITER 3361 NEW BEST:: SOT 5161254 SOS 2558963 HAS SOPS 2536964 HAS SOUS 393259 HAS SOUPS 390847 WITH SCORE 393405.963
AT ITER 3368 NEW BEST:: SOT 5160926 SOS 2558660 HAS SOPS 2536661 HAS SOUS 393060 HAS SOUPS 390648 WITH SCORE 393206.66
AT ITER 3374 NEW BEST:: SOT 5160854 SOS 2558570 HAS SOPS 2536571 HAS SOUS 392934 HAS SOUPS 390522 WITH SCORE 393080.57
AT ITER 3375 NEW BEST:: SOT 5160846 SOS 2558562 HAS SOPS 2536561 HAS SOUS 392924 HAS SOUPS 390512 WITH SCORE 393070.562
AT ITER 3380 NEW BEST:: SOT 5160844 SOS 2558560 HAS SOPS 2536559 HAS SOUS 392924 HAS SOUPS 390512 WITH SCORE 393070.56
AT ITER 3403 NEW BEST:: SOT 5160641 SOS 2558202 HAS SOPS 2536289 HAS SOUS 392902 HAS SOUPS 390490 WITH SCORE 393048.202
AT ITER 3408 NEW BEST:: SOT 5160647 SOS 2558208 HAS SOPS 2536286 HAS SOUS 392890 HAS SOUPS 390478 WITH SCORE 393036.208
AT ITER 3419 NEW BEST:: SOT 5160430 SOS 2558035 HAS SOPS 2536113 HAS SOUS 392739 HAS SOUPS 390327 WITH SCORE 392885.035
AT ITER 3425 NEW BEST:: SOT 5160383 SOS 2557782 HAS SOPS 2535860 HAS SOUS 392493 HAS SOUPS 390081 WITH SCORE 392638.782
AT ITER 3429 NEW BEST:: SOT 5160236 SOS 2557635 HAS SOPS 2535713 HAS SOUS 392346 HAS SOUPS 389934 WITH SCORE 392491.635
AT ITER 3436 NEW BEST:: SOT 5160250 SOS 2557649 HAS SOPS 2535670 HAS SOUS 392244 HAS SOUPS 389832 WITH SCORE 392389.649
AT ITER 3437 NEW BEST:: SOT 5160208 SOS 2557607 HAS SOPS 2535649 HAS SOUS 392160 HAS SOUPS 389748 WITH SCORE 392305.607
AT ITER 3443 NEW BEST:: SOT 5159936 SOS 2557357 HAS SOPS 2535399 HAS SOUS 391619 HAS SOUPS 389207 WITH SCORE 391764.357
AT ITER 3455 NEW BEST:: SOT 5159936 SOS 2557357 HAS SOPS 2535399 HAS SOUS 391581 HAS SOUPS 389169 WITH SCORE 391726.357
AT ITER 3459 NEW BEST:: SOT 5159965 SOS 2557495 HAS SOPS 2535537 HAS SOUS 391227 HAS SOUPS 388815 WITH SCORE 391372.495
AT ITER 3460 NEW BEST:: SOT 5159952 SOS 2557349 HAS SOPS 2535391 HAS SOUS 391201 HAS SOUPS 388789 WITH SCORE 391346.349
AT ITER 3461 NEW BEST:: SOT 5159901 SOS 2557220 HAS SOPS 2535262 HAS SOUS 391099 HAS SOUPS 388687 WITH SCORE 391244.22
AT ITER 3463 NEW BEST:: SOT 5159901 SOS 2557185 HAS SOPS 2535227 HAS SOUS 391099 HAS SOUPS 388687 WITH SCORE 391244.185
AT ITER 3483 NEW BEST:: SOT 5159901 SOS 2557164 HAS SOPS 2535206 HAS SOUS 391057 HAS SOUPS 388645 WITH SCORE 391202.164
AT ITER 3527 NEW BEST:: SOT 5159791 SOS 2557227 HAS SOPS 2535269 HAS SOUS 390706 HAS SOUPS 388294 WITH SCORE 390851.227
AT ITER 3544 NEW BEST:: SOT 5159692 SOS 2557128 HAS SOPS 2535170 HAS SOUS 390580 HAS SOUPS 388168 WITH SCORE 390725.128
AT ITER 3555 NEW BEST:: SOT 5159652 SOS 2557048 HAS SOPS 2535090 HAS SOUS 389832 HAS SOUPS 387420 WITH SCORE 389977.048
AT ITER 3559 NEW BEST:: SOT 5159652 SOS 2556986 HAS SOPS 2535028 HAS SOUS 389832 HAS SOUPS 387420 WITH SCORE 389976.986
AT ITER 3570 NEW BEST:: SOT 5159672 SOS 2557006 HAS SOPS 2535048 HAS SOUS 389820 HAS SOUPS 387408 WITH SCORE 389965.006
AT ITER 3591 NEW BEST:: SOT 5159789 SOS 2557123 HAS SOPS 2535165 HAS SOUS 389551 HAS SOUPS 387139 WITH SCORE 389696.123
AT ITER 3594 NEW BEST:: SOT 5159767 SOS 2557101 HAS SOPS 2535143 HAS SOUS 389496 HAS SOUPS 387084 WITH SCORE 389641.101
AT ITER 3596 NEW BEST:: SOT 5159767 SOS 2557073 HAS SOPS 2535115 HAS SOUS 389468 HAS SOUPS 387056 WITH SCORE 389613.073
AT ITER 3597 NEW BEST:: SOT 5159835 SOS 2557141 HAS SOPS 2535212 HAS SOUS 389368 HAS SOUPS 386956 WITH SCORE 389513.141
AT ITER 3670 NEW BEST:: SOT 5159608 SOS 2556884 HAS SOPS 2534955 HAS SOUS 389214 HAS SOUPS 386802 WITH SCORE 389358.884
AT ITER 3672 NEW BEST:: SOT 5159588 SOS 2556864 HAS SOPS 2534935 HAS SOUS 389194 HAS SOUPS 386782 WITH SCORE 389338.864
AT ITER 3678 NEW BEST:: SOT 5159573 SOS 2556849 HAS SOPS 2534905 HAS SOUS 389164 HAS SOUPS 386752 WITH SCORE 389308.849
AT ITER 3681 NEW BEST:: SOT 5159523 SOS 2556799 HAS SOPS 2534805 HAS SOUS 389164 HAS SOUPS 386652 WITH SCORE 389208.799
AT ITER 3707 NEW BEST:: SOT 5159341 SOS 2556451 HAS SOPS 2534503 HAS SOUS 389132 HAS SOUPS 386620 WITH SCORE 389176.451
AT ITER 3709 NEW BEST:: SOT 5159115 SOS 2556112 HAS SOPS 2534212 HAS SOUS 388906 HAS SOUPS 386394 WITH SCORE 388950.112
AT ITER 3710 NEW BEST:: SOT 5158965 SOS 2555896 HAS SOPS 2533996 HAS SOUS 388774 HAS SOUPS 386262 WITH SCORE 388817.896
AT ITER 3713 NEW BEST:: SOT 5158324 SOS 2542672 HAS SOPS 2522564 HAS SOUS 388413 HAS SOUPS 386125 WITH SCORE 388667.672
AT ITER 3714 NEW BEST:: SOT 5158323 SOS 2542669 HAS SOPS 2522561 HAS SOUS 388409 HAS SOUPS 386121 WITH SCORE 388663.669
AT ITER 3719 NEW BEST:: SOT 5158205 SOS 2542551 HAS SOPS 2522443 HAS SOUS 388279 HAS SOUPS 385991 WITH SCORE 388533.551
AT ITER 3740 NEW BEST:: SOT 5158214 SOS 2542560 HAS SOPS 2522452 HAS SOUS 388084 HAS SOUPS 385796 WITH SCORE 388338.56
AT ITER 3754 NEW BEST:: SOT 5158102 SOS 2542378 HAS SOPS 2522270 HAS SOUS 387898 HAS SOUPS 385610 WITH SCORE 388152.378
AT ITER 3761 NEW BEST:: SOT 5157918 SOS 2541974 HAS SOPS 2521866 HAS SOUS 387112 HAS SOUPS 384824 WITH SCORE 387365.974
AT ITER 3779 NEW BEST:: SOT 5157872 SOS 2541908 HAS SOPS 2521754 HAS SOUS 387051 HAS SOUPS 384763 WITH SCORE 387304.908
AT ITER 3790 NEW BEST:: SOT 5157947 SOS 2541983 HAS SOPS 2521781 HAS SOUS 386990 HAS SOUPS 384702 WITH SCORE 387243.983
AT ITER 3792 NEW BEST:: SOT 5129073 SOS 2513109 HAS SOPS 2492907 HAS SOUS 383497 HAS SOUPS 381209 WITH SCORE 383722.109
AT ITER 3798 NEW BEST:: SOT 5129073 SOS 2513143 HAS SOPS 2492941 HAS SOUS 382914 HAS SOUPS 380626 WITH SCORE 383139.143
AT ITER 3806 NEW BEST:: SOT 5129079 SOS 2513122 HAS SOPS 2492920 HAS SOUS 382828 HAS SOUPS 380540 WITH SCORE 383053.122
AT ITER 3811 NEW BEST:: SOT 5129051 SOS 2513170 HAS SOPS 2492968 HAS SOUS 382800 HAS SOUPS 380512 WITH SCORE 383025.17
AT ITER 3846 NEW BEST:: SOT 5129167 SOS 2513286 HAS SOPS 2493045 HAS SOUS 382732 HAS SOUPS 380444 WITH SCORE 382957.286
AT ITER 3851 NEW BEST:: SOT 5129113 SOS 2513232 HAS SOPS 2492991 HAS SOUS 382648 HAS SOUPS 380360 WITH SCORE 382873.232
AT ITER 3853 NEW BEST:: SOT 5129053 SOS 2513368 HAS SOPS 2493127 HAS SOUS 382242 HAS SOUPS 379954 WITH SCORE 382467.368
AT ITER 3872 NEW BEST:: SOT 5129046 SOS 2513361 HAS SOPS 2493120 HAS SOUS 382221 HAS SOUPS 379933 WITH SCORE 382446.361
AT ITER 3876 NEW BEST:: SOT 5129031 SOS 2513356 HAS SOPS 2493115 HAS SOUS 382216 HAS SOUPS 379928 WITH SCORE 382441.356
AT ITER 3929 NEW BEST:: SOT 5128856 SOS 2512962 HAS SOPS 2492785 HAS SOUS 382155 HAS SOUPS 379867 WITH SCORE 382379.962
AT ITER 3935 NEW BEST:: SOT 5128721 SOS 2512692 HAS SOPS 2492515 HAS SOUS 381885 HAS SOUPS 379597 WITH SCORE 382109.692
AT ITER 3941 NEW BEST:: SOT 5128708 SOS 2512600 HAS SOPS 2492423 HAS SOUS 381859 HAS SOUPS 379571 WITH SCORE 382083.6
AT ITER 3949 NEW BEST:: SOT 5128708 SOS 2576275 HAS SOPS 2556098 HAS SOUS 381777 HAS SOUPS 379489 WITH SCORE 382065.275
AT ITER 3985 NEW BEST:: SOT 5128741 SOS 2576218 HAS SOPS 2556041 HAS SOUS 381720 HAS SOUPS 379432 WITH SCORE 382008.218
AT ITER 3995 NEW BEST:: SOT 5128295 SOS 2574876 HAS SOPS 2554699 HAS SOUS 381463 HAS SOUPS 379175 WITH SCORE 381749.876
AT ITER 4002 NEW BEST:: SOT 5128273 SOS 2574854 HAS SOPS 2554677 HAS SOUS 381441 HAS SOUPS 379153 WITH SCORE 381727.854
AT ITER 4003 NEW BEST:: SOT 5122806 SOS 2569387 HAS SOPS 2549210 HAS SOUS 380804 HAS SOUPS 378516 WITH SCORE 381085.387
AT ITER 4023 NEW BEST:: SOT 5122745 SOS 2569170 HAS SOPS 2548993 HAS SOUS 379891 HAS SOUPS 377603 WITH SCORE 380172.17
AT ITER 4025 NEW BEST:: SOT 5122717 SOS 2569142 HAS SOPS 2548965 HAS SOUS 379891 HAS SOUPS 377603 WITH SCORE 380172.142
AT ITER 4031 NEW BEST:: SOT 5122164 SOS 2568527 HAS SOPS 2548350 HAS SOUS 379426 HAS SOUPS 377138 WITH SCORE 379706.527
AT ITER 4049 NEW BEST:: SOT 5103863 SOS 2550151 HAS SOPS 2529974 HAS SOUS 376662 HAS SOUPS 374374 WITH SCORE 376924.151
AT ITER 4066 NEW BEST:: SOT 5103863 SOS 2549271 HAS SOPS 2529094 HAS SOUS 376662 HAS SOUPS 374374 WITH SCORE 376923.271
AT ITER 4070 NEW BEST:: SOT 5103783 SOS 2549372 HAS SOPS 2529195 HAS SOUS 376503 HAS SOUPS 374215 WITH SCORE 376764.372
AT ITER 4092 NEW BEST:: SOT 5103884 SOS 2549410 HAS SOPS 2529233 HAS SOUS 376453 HAS SOUPS 374165 WITH SCORE 376714.41
AT ITER 4146 NEW BEST:: SOT 5103773 SOS 2548538 HAS SOPS 2528642 HAS SOUS 376322 HAS SOUPS 374073 WITH SCORE 376621.538
AT ITER 4174 NEW BEST:: SOT 5103341 SOS 2548097 HAS SOPS 2528201 HAS SOUS 375742 HAS SOUPS 373493 WITH SCORE 376041.097
AT ITER 4176 NEW BEST:: SOT 5103552 SOS 2548393 HAS SOPS 2528497 HAS SOUS 373698 HAS SOUPS 371449 WITH SCORE 373997.393
AT ITER 4181 NEW BEST:: SOT 5103544 SOS 2548349 HAS SOPS 2528453 HAS SOUS 373615 HAS SOUPS 371366 WITH SCORE 373914.349
AT ITER 4192 NEW BEST:: SOT 5103382 SOS 2546647 HAS SOPS 2526751 HAS SOUS 373490 HAS SOUPS 371241 WITH SCORE 373787.647
AT ITER 4195 NEW BEST:: SOT 5103419 SOS 2546684 HAS SOPS 2526788 HAS SOUS 373477 HAS SOUPS 371228 WITH SCORE 373774.684
AT ITER 4209 NEW BEST:: SOT 5103386 SOS 2546651 HAS SOPS 2526755 HAS SOUS 373477 HAS SOUPS 371228 WITH SCORE 373774.651
AT ITER 4218 NEW BEST:: SOT 5103340 SOS 2546605 HAS SOPS 2526709 HAS SOUS 373454 HAS SOUPS 371205 WITH SCORE 373751.605
AT ITER 4222 NEW BEST:: SOT 5097109 SOS 2540334 HAS SOPS 2520438 HAS SOUS 372909 HAS SOUPS 370660 WITH SCORE 373200.334
AT ITER 4249 NEW BEST:: SOT 5096801 SOS 2540226 HAS SOPS 2520330 HAS SOUS 372879 HAS SOUPS 370630 WITH SCORE 373170.226
AT ITER 4253 NEW BEST:: SOT 5096801 SOS 2540574 HAS SOPS 2520678 HAS SOUS 372555 HAS SOUPS 370306 WITH SCORE 372846.574
AT ITER 4267 NEW BEST:: SOT 5096597 SOS 2546112 HAS SOPS 2526229 HAS SOUS 372230 HAS SOUPS 369981 WITH SCORE 372527.112
AT ITER 4280 NEW BEST:: SOT 5096571 SOS 2546086 HAS SOPS 2526190 HAS SOUS 372178 HAS SOUPS 369929 WITH SCORE 372475.086
AT ITER 4292 NEW BEST:: SOT 5096567 SOS 2546082 HAS SOPS 2526186 HAS SOUS 372174 HAS SOUPS 369925 WITH SCORE 372471.082
AT ITER 4293 NEW BEST:: SOT 5096540 SOS 2546055 HAS SOPS 2526159 HAS SOUS 372141 HAS SOUPS 369892 WITH SCORE 372438.055
AT ITER 4297 NEW BEST:: SOT 5096339 SOS 2545901 HAS SOPS 2526005 HAS SOUS 371731 HAS SOUPS 369482 WITH SCORE 372027.901
AT ITER 4300 NEW BEST:: SOT 5096422 SOS 2546038 HAS SOPS 2526142 HAS SOUS 371696 HAS SOUPS 369447 WITH SCORE 371993.038
AT ITER 4303 NEW BEST:: SOT 5096409 SOS 2546025 HAS SOPS 2526129 HAS SOUS 371493 HAS SOUPS 369244 WITH SCORE 371790.025
AT ITER 4319 NEW BEST:: SOT 5096409 SOS 2546025 HAS SOPS 2526108 HAS SOUS 371472 HAS SOUPS 369223 WITH SCORE 371769.025
AT ITER 4335 NEW BEST:: SOT 5096401 SOS 2546017 HAS SOPS 2526100 HAS SOUS 371456 HAS SOUPS 369207 WITH SCORE 371753.017
AT ITER 4344 NEW BEST:: SOT 5066998 SOS 2516614 HAS SOPS 2496697 HAS SOUS 368235 HAS SOUPS 365986 WITH SCORE 368502.614
AT ITER 4389 NEW BEST:: SOT 5066993 SOS 2516609 HAS SOPS 2496692 HAS SOUS 368225 HAS SOUPS 365976 WITH SCORE 368492.609
AT ITER 4409 NEW BEST:: SOT 5067113 SOS 2516627 HAS SOPS 2496710 HAS SOUS 368121 HAS SOUPS 365872 WITH SCORE 368388.627
AT ITER 4410 NEW BEST:: SOT 5067090 SOS 2516604 HAS SOPS 2496687 HAS SOUS 368075 HAS SOUPS 365826 WITH SCORE 368342.604
AT ITER 4414 NEW BEST:: SOT 5067004 SOS 2516546 HAS SOPS 2496629 HAS SOUS 367999 HAS SOUPS 365750 WITH SCORE 368266.546
AT ITER 4490 NEW BEST:: SOT 5066921 SOS 2516445 HAS SOPS 2496528 HAS SOUS 367859 HAS SOUPS 365610 WITH SCORE 368126.445
AT ITER 4504 NEW BEST:: SOT 5066784 SOS 2516171 HAS SOPS 2496254 HAS SOUS 367730 HAS SOUPS 365481 WITH SCORE 367997.171
AT ITER 4515 NEW BEST:: SOT 5025040 SOS 2474351 HAS SOPS 2454434 HAS SOUS 362941 HAS SOUPS 360692 WITH SCORE 363166.351
AT ITER 4537 NEW BEST:: SOT 5024994 SOS 2474319 HAS SOPS 2454402 HAS SOUS 362928 HAS SOUPS 360679 WITH SCORE 363153.319
AT ITER 4545 NEW BEST:: SOT 4915404 SOS 2364515 HAS SOPS 2344598 HAS SOUS 353482 HAS SOUPS 351233 WITH SCORE 353597.515
AT ITER 4551 NEW BEST:: SOT 4915166 SOS 2364348 HAS SOPS 2344514 HAS SOUS 353409 HAS SOUPS 351160 WITH SCORE 353524.348
AT ITER 4566 NEW BEST:: SOT 4915139 SOS 2364330 HAS SOPS 2344496 HAS SOUS 353391 HAS SOUPS 351142 WITH SCORE 353506.33
AT ITER 4577 NEW BEST:: SOT 4915105 SOS 2364296 HAS SOPS 2344428 HAS SOUS 353323 HAS SOUPS 351074 WITH SCORE 353438.296
AT ITER 4596 NEW BEST:: SOT 4915112 SOS 2364303 HAS SOPS 2344435 HAS SOUS 353183 HAS SOUPS 350934 WITH SCORE 353298.303
AT ITER 4599 NEW BEST:: SOT 4915026 SOS 2364134 HAS SOPS 2344266 HAS SOUS 352984 HAS SOUPS 350735 WITH SCORE 353099.134
AT ITER 4611 NEW BEST:: SOT 4915020 SOS 2364086 HAS SOPS 2344218 HAS SOUS 352936 HAS SOUPS 350687 WITH SCORE 353051.086
AT ITER 4652 NEW BEST:: SOT 4914966 SOS 2363779 HAS SOPS 2343911 HAS SOUS 352828 HAS SOUPS 350579 WITH SCORE 352942.779
AT ITER 4658 NEW BEST:: SOT 4914921 SOS 2363743 HAS SOPS 2343875 HAS SOUS 352783 HAS SOUPS 350534 WITH SCORE 352897.743
AT ITER 4679 NEW BEST:: SOT 4880805 SOS 2329418 HAS SOPS 2309550 HAS SOUS 349165 HAS SOUPS 346916 WITH SCORE 349245.418
AT ITER 4705 NEW BEST:: SOT 4880797 SOS 2329410 HAS SOPS 2309542 HAS SOUS 349153 HAS SOUPS 346904 WITH SCORE 349233.41
AT ITER 4714 NEW BEST:: SOT 4880776 SOS 2329389 HAS SOPS 2309521 HAS SOUS 349139 HAS SOUPS 346890 WITH SCORE 349219.389
AT ITER 4725 NEW BEST:: SOT 4880774 SOS 2329394 HAS SOPS 2309526 HAS SOUS 349126 HAS SOUPS 346877 WITH SCORE 349206.394
AT ITER 4730 NEW BEST:: SOT 4820231 SOS 2331493 HAS SOPS 2311625 HAS SOUS 348933 HAS SOUPS 346684 WITH SCORE 349015.493
AT ITER 4735 NEW BEST:: SOT 4820226 SOS 2331488 HAS SOPS 2311620 HAS SOUS 348923 HAS SOUPS 346674 WITH SCORE 349005.488
AT ITER 4754 NEW BEST:: SOT 4820113 SOS 2331340 HAS SOPS 2311472 HAS SOUS 348671 HAS SOUPS 346422 WITH SCORE 348753.34
AT ITER 4769 NEW BEST:: SOT 4820105 SOS 2331332 HAS SOPS 2311464 HAS SOUS 348663 HAS SOUPS 346414 WITH SCORE 348745.332
AT ITER 4773 NEW BEST:: SOT 4820091 SOS 2331318 HAS SOPS 2311457 HAS SOUS 348654 HAS SOUPS 346405 WITH SCORE 348736.318
AT ITER 4802 NEW BEST:: SOT 4820087 SOS 2331314 HAS SOPS 2311453 HAS SOUS 348636 HAS SOUPS 346387 WITH SCORE 348718.314
AT ITER 4812 NEW BEST:: SOT 4820019 SOS 2331212 HAS SOPS 2311351 HAS SOUS 348500 HAS SOUPS 346251 WITH SCORE 348582.212
AT ITER 4820 NEW BEST:: SOT 4819914 SOS 2331107 HAS SOPS 2311246 HAS SOUS 348269 HAS SOUPS 346020 WITH SCORE 348351.107
AT ITER 4831 NEW BEST:: SOT 4819877 SOS 2331070 HAS SOPS 2311209 HAS SOUS 348269 HAS SOUPS 346020 WITH SCORE 348351.07
AT ITER 4886 NEW BEST:: SOT 4819750 SOS 2330950 HAS SOPS 2311089 HAS SOUS 348199 HAS SOUPS 345950 WITH SCORE 348280.95
AT ITER 4889 NEW BEST:: SOT 4819419 SOS 2330801 HAS SOPS 2310940 HAS SOUS 347696 HAS SOUPS 345447 WITH SCORE 347777.801
AT ITER 4891 NEW BEST:: SOT 4819419 SOS 2330897 HAS SOPS 2311036 HAS SOUS 347632 HAS SOUPS 345383 WITH SCORE 347713.897
AT ITER 4902 NEW BEST:: SOT 4819463 SOS 2330941 HAS SOPS 2311080 HAS SOUS 347589 HAS SOUPS 345340 WITH SCORE 347670.941
AT ITER 4914 NEW BEST:: SOT 4818760 SOS 2330303 HAS SOPS 2310442 HAS SOUS 347353 HAS SOUPS 345104 WITH SCORE 347434.303
AT ITER 4932 NEW BEST:: SOT 4818743 SOS 2330303 HAS SOPS 2310425 HAS SOUS 347319 HAS SOUPS 345070 WITH SCORE 347400.303
AT ITER 4941 NEW BEST:: SOT 4817232 SOS 2328865 HAS SOPS 2308987 HAS SOUS 345932 HAS SOUPS 343683 WITH SCORE 346011.865
AT ITER 4944 NEW BEST:: SOT 4816758 SOS 2328426 HAS SOPS 2308548 HAS SOUS 345537 HAS SOUPS 343288 WITH SCORE 345616.426
AT ITER 4981 NEW BEST:: SOT 4816758 SOS 2328426 HAS SOPS 2308548 HAS SOUS 345531 HAS SOUPS 343282 WITH SCORE 345610.426
AT ITER 5000 NEW BEST:: SOT 4816907 SOS 2328575 HAS SOPS 2308649 HAS SOUS 345509 HAS SOUPS 343260 WITH SCORE 345588.575
AT ITER 5020 NEW BEST:: SOT 4816793 SOS 2328480 HAS SOPS 2308554 HAS SOUS 344768 HAS SOUPS 342519 WITH SCORE 344847.48
AT ITER 5028 NEW BEST:: SOT 4816750 SOS 2328437 HAS SOPS 2308497 HAS SOUS 344711 HAS SOUPS 342462 WITH SCORE 344790.437
AT ITER 5040 NEW BEST:: SOT 4816686 SOS 2328441 HAS SOPS 2308501 HAS SOUS 344654 HAS SOUPS 342405 WITH SCORE 344733.441
AT ITER 5042 NEW BEST:: SOT 4815902 SOS 2327377 HAS SOPS 2307437 HAS SOUS 343659 HAS SOUPS 341410 WITH SCORE 343737.377
AT ITER 5068 NEW BEST:: SOT 4815676 SOS 2326913 HAS SOPS 2306973 HAS SOUS 343403 HAS SOUPS 341154 WITH SCORE 343480.913
AT ITER 5070 NEW BEST:: SOT 4815656 SOS 2326893 HAS SOPS 2306953 HAS SOUS 343383 HAS SOUPS 341134 WITH SCORE 343460.893
AT ITER 5083 NEW BEST:: SOT 4815782 SOS 2327019 HAS SOPS 2307140 HAS SOUS 343337 HAS SOUPS 341088 WITH SCORE 343415.019
AT ITER 5088 NEW BEST:: SOT 4815712 SOS 2326949 HAS SOPS 2307070 HAS SOUS 343225 HAS SOUPS 340976 WITH SCORE 343302.949
AT ITER 5096 NEW BEST:: SOT 4815568 SOS 2326697 HAS SOPS 2306818 HAS SOUS 343113 HAS SOUPS 340864 WITH SCORE 343190.697
AT ITER 5117 NEW BEST:: SOT 4815219 SOS 2326418 HAS SOPS 2306539 HAS SOUS 342644 HAS SOUPS 340395 WITH SCORE 342721.418
AT ITER 5121 NEW BEST:: SOT 4814988 SOS 2326187 HAS SOPS 2306308 HAS SOUS 342413 HAS SOUPS 340164 WITH SCORE 342490.187
AT ITER 5134 NEW BEST:: SOT 4814973 SOS 2326172 HAS SOPS 2306293 HAS SOUS 342383 HAS SOUPS 340134 WITH SCORE 342460.172
AT ITER 5160 NEW BEST:: SOT 4814760 SOS 2325959 HAS SOPS 2306080 HAS SOUS 341957 HAS SOUPS 339708 WITH SCORE 342033.959
AT ITER 5166 NEW BEST:: SOT 4814703 SOS 2325950 HAS SOPS 2306071 HAS SOUS 341937 HAS SOUPS 339688 WITH SCORE 342013.95
AT ITER 5179 NEW BEST:: SOT 4814157 SOS 2325274 HAS SOPS 2305395 HAS SOUS 341300 HAS SOUPS 339051 WITH SCORE 341376.274
AT ITER 5181 NEW BEST:: SOT 4813982 SOS 2325099 HAS SOPS 2305166 HAS SOUS 341204 HAS SOUPS 338955 WITH SCORE 341280.099
AT ITER 5199 NEW BEST:: SOT 4814054 SOS 2325072 HAS SOPS 2305139 HAS SOUS 341177 HAS SOUPS 338928 WITH SCORE 341253.072
AT ITER 5200 NEW BEST:: SOT 4814054 SOS 2325040 HAS SOPS 2305107 HAS SOUS 341145 HAS SOUPS 338896 WITH SCORE 341221.04
AT ITER 5209 NEW BEST:: SOT 4754743 SOS 2339188 HAS SOPS 2319255 HAS SOUS 340472 HAS SOUPS 338223 WITH SCORE 340562.188
AT ITER 5216 NEW BEST:: SOT 4754435 SOS 2338880 HAS SOPS 2318947 HAS SOUS 340221 HAS SOUPS 337972 WITH SCORE 340310.88
AT ITER 5228 NEW BEST:: SOT 4754410 SOS 2338791 HAS SOPS 2318858 HAS SOUS 340042 HAS SOUPS 337793 WITH SCORE 340131.791
AT ITER 5233 NEW BEST:: SOT 4754438 SOS 2338795 HAS SOPS 2318862 HAS SOUS 340002 HAS SOUPS 337753 WITH SCORE 340091.795
AT ITER 5247 NEW BEST:: SOT 4754521 SOS 2338878 HAS SOPS 2318935 HAS SOUS 339998 HAS SOUPS 337749 WITH SCORE 340087.878
AT ITER 5251 NEW BEST:: SOT 4754477 SOS 2338774 HAS SOPS 2318831 HAS SOUS 339894 HAS SOUPS 337645 WITH SCORE 339983.774
AT ITER 5253 NEW BEST:: SOT 4754477 SOS 2338774 HAS SOPS 2318831 HAS SOUS 339880 HAS SOUPS 337631 WITH SCORE 339969.774
AT ITER 5259 NEW BEST:: SOT 4754261 SOS 2338550 HAS SOPS 2318607 HAS SOUS 339421 HAS SOUPS 337172 WITH SCORE 339510.55
AT ITER 5269 NEW BEST:: SOT 4754400 SOS 2338690 HAS SOPS 2318847 HAS SOUS 339406 HAS SOUPS 337157 WITH SCORE 339495.69
AT ITER 5290 NEW BEST:: SOT 4754563 SOS 2338796 HAS SOPS 2318953 HAS SOUS 339405 HAS SOUPS 337156 WITH SCORE 339494.796
AT ITER 5310 NEW BEST:: SOT 4754473 SOS 2338716 HAS SOPS 2318873 HAS SOUS 339330 HAS SOUPS 337081 WITH SCORE 339419.716
AT ITER 5343 NEW BEST:: SOT 4754473 SOS 2335605 HAS SOPS 2315762 HAS SOUS 339321 HAS SOUPS 337072 WITH SCORE 339407.605
AT ITER 5367 NEW BEST:: SOT 4754456 SOS 2335586 HAS SOPS 2315743 HAS SOUS 339287 HAS SOUPS 337038 WITH SCORE 339373.586
AT ITER 5389 NEW BEST:: SOT 4752864 SOS 2333994 HAS SOPS 2314151 HAS SOUS 339197 HAS SOUPS 336948 WITH SCORE 339281.994
AT ITER 5398 NEW BEST:: SOT 4752864 SOS 2333914 HAS SOPS 2314071 HAS SOUS 339197 HAS SOUPS 336948 WITH SCORE 339281.914
AT ITER 5406 NEW BEST:: SOT 4752900 SOS 2333943 HAS SOPS 2314100 HAS SOUS 339169 HAS SOUPS 336920 WITH SCORE 339253.943
AT ITER 5412 NEW BEST:: SOT 4752614 SOS 2333714 HAS SOPS 2313871 HAS SOUS 339152 HAS SOUPS 336903 WITH SCORE 339236.714
AT ITER 5419 NEW BEST:: SOT 4752606 SOS 2333622 HAS SOPS 2313779 HAS SOUS 339025 HAS SOUPS 336776 WITH SCORE 339109.622
AT ITER 5441 NEW BEST:: SOT 4752086 SOS 2333218 HAS SOPS 2313375 HAS SOUS 338505 HAS SOUPS 336256 WITH SCORE 338589.218
AT ITER 5479 NEW BEST:: SOT 4752086 SOS 2333199 HAS SOPS 2313356 HAS SOUS 338474 HAS SOUPS 336225 WITH SCORE 338558.199
AT ITER 5491 NEW BEST:: SOT 4751905 SOS 2332918 HAS SOPS 2313075 HAS SOUS 338212 HAS SOUPS 335963 WITH SCORE 338295.918
AT ITER 5495 NEW BEST:: SOT 4751936 SOS 2332949 HAS SOPS 2313106 HAS SOUS 338181 HAS SOUPS 335932 WITH SCORE 338264.949
AT ITER 5508 NEW BEST:: SOT 4751847 SOS 2332682 HAS SOPS 2312839 HAS SOUS 338181 HAS SOUPS 335932 WITH SCORE 338264.682
AT ITER 5512 NEW BEST:: SOT 4751847 SOS 2332682 HAS SOPS 2312837 HAS SOUS 338177 HAS SOUPS 335928 WITH SCORE 338260.682
AT ITER 5522 NEW BEST:: SOT 4751882 SOS 2332688 HAS SOPS 2312843 HAS SOUS 338171 HAS SOUPS 335922 WITH SCORE 338254.688
AT ITER 5544 NEW BEST:: SOT 4729659 SOS 2310358 HAS SOPS 2290513 HAS SOUS 335791 HAS SOUPS 333542 WITH SCORE 335852.358
AT ITER 5577 NEW BEST:: SOT 4729678 SOS 2310325 HAS SOPS 2290480 HAS SOUS 335758 HAS SOUPS 333509 WITH SCORE 335819.325
AT ITER 5591 NEW BEST:: SOT 4729542 SOS 2310189 HAS SOPS 2290344 HAS SOUS 335626 HAS SOUPS 333377 WITH SCORE 335687.189
AT ITER 5602 NEW BEST:: SOT 4729343 SOS 2310147 HAS SOPS 2290302 HAS SOUS 335613 HAS SOUPS 333364 WITH SCORE 335674.147
AT ITER 5606 NEW BEST:: SOT 4729155 SOS 2310024 HAS SOPS 2290179 HAS SOUS 335400 HAS SOUPS 333151 WITH SCORE 335461.024
AT ITER 5642 NEW BEST:: SOT 4729113 SOS 2310001 HAS SOPS 2290156 HAS SOUS 335379 HAS SOUPS 333130 WITH SCORE 335440.001
AT ITER 5652 NEW BEST:: SOT 4728458 SOS 2309430 HAS SOPS 2289585 HAS SOUS 334285 HAS SOUPS 332036 WITH SCORE 334345.43
AT ITER 5691 NEW BEST:: SOT 4729556 SOS 2310390 HAS SOPS 2290545 HAS SOUS 333973 HAS SOUPS 331724 WITH SCORE 334034.39
AT ITER 5703 NEW BEST:: SOT 4729738 SOS 2310172 HAS SOPS 2290327 HAS SOUS 333946 HAS SOUPS 331697 WITH SCORE 334007.172
AT ITER 5706 NEW BEST:: SOT 4729042 SOS 2309476 HAS SOPS 2289631 HAS SOUS 333041 HAS SOUPS 330792 WITH SCORE 333101.476
AT ITER 5765 NEW BEST:: SOT 4729234 SOS 2309725 HAS SOPS 2289991 HAS SOUS 332971 HAS SOUPS 330722 WITH SCORE 333031.725
AT ITER 5766 NEW BEST:: SOT 4729234 SOS 2309712 HAS SOPS 2289978 HAS SOUS 332893 HAS SOUPS 330644 WITH SCORE 332953.712
AT ITER 5776 NEW BEST:: SOT 4729162 SOS 2309640 HAS SOPS 2289906 HAS SOUS 332720 HAS SOUPS 330471 WITH SCORE 332780.64
AT ITER 5781 NEW BEST:: SOT 4729072 SOS 2309550 HAS SOPS 2289816 HAS SOUS 332567 HAS SOUPS 330318 WITH SCORE 332627.55
AT ITER 5793 NEW BEST:: SOT 4729092 SOS 2309538 HAS SOPS 2289804 HAS SOUS 332530 HAS SOUPS 330281 WITH SCORE 332590.538
AT ITER 5800 NEW BEST:: SOT 4729053 SOS 2309499 HAS SOPS 2289765 HAS SOUS 332455 HAS SOUPS 330206 WITH SCORE 332515.499
AT ITER 5811 NEW BEST:: SOT 4728691 SOS 2309200 HAS SOPS 2289466 HAS SOUS 332126 HAS SOUPS 329877 WITH SCORE 332186.2
AT ITER 5824 NEW BEST:: SOT 4728667 SOS 2309176 HAS SOPS 2289442 HAS SOUS 332078 HAS SOUPS 329829 WITH SCORE 332138.176
AT ITER 5828 NEW BEST:: SOT 4728667 SOS 2309176 HAS SOPS 2289442 HAS SOUS 332071 HAS SOUPS 329822 WITH SCORE 332131.176
AT ITER 5843 NEW BEST:: SOT 4728805 SOS 2309231 HAS SOPS 2289497 HAS SOUS 331965 HAS SOUPS 329716 WITH SCORE 332025.231
AT ITER 5855 NEW BEST:: SOT 4728004 SOS 2308751 HAS SOPS 2289017 HAS SOUS 331297 HAS SOUPS 329048 WITH SCORE 331356.751
AT ITER 5884 NEW BEST:: SOT 4727922 SOS 2308669 HAS SOPS 2289017 HAS SOUS 331297 HAS SOUPS 329048 WITH SCORE 331356.669
AT ITER 5889 NEW BEST:: SOT 4727914 SOS 2308664 HAS SOPS 2289009 HAS SOUS 331289 HAS SOUPS 329039 WITH SCORE 331347.664
AT ITER 5898 NEW BEST:: SOT 4727914 SOS 2308705 HAS SOPS 2289050 HAS SOUS 331043 HAS SOUPS 328793 WITH SCORE 331101.705
AT ITER 5912 NEW BEST:: SOT 4727914 SOS 2308690 HAS SOPS 2289035 HAS SOUS 331043 HAS SOUPS 328793 WITH SCORE 331101.69
AT ITER 5929 NEW BEST:: SOT 4727914 SOS 2308618 HAS SOPS 2288963 HAS SOUS 331043 HAS SOUPS 328793 WITH SCORE 331101.618
AT ITER 5931 NEW BEST:: SOT 4727858 SOS 2308534 HAS SOPS 2288879 HAS SOUS 330959 HAS SOUPS 328709 WITH SCORE 331017.534
AT ITER 5937 NEW BEST:: SOT 4727826 SOS 2308396 HAS SOPS 2288741 HAS SOUS 330821 HAS SOUPS 328571 WITH SCORE 330879.396
AT ITER 5956 NEW BEST:: SOT 4727823 SOS 2308393 HAS SOPS 2288738 HAS SOUS 330815 HAS SOUPS 328565 WITH SCORE 330873.393
AT ITER 5961 NEW BEST:: SOT 4727859 SOS 2308494 HAS SOPS 2288839 HAS SOUS 330783 HAS SOUPS 328533 WITH SCORE 330841.494
AT ITER 5962 NEW BEST:: SOT 4727859 SOS 2308461 HAS SOPS 2288806 HAS SOUS 330613 HAS SOUPS 328363 WITH SCORE 330671.461
AT ITER 5974 NEW BEST:: SOT 4727955 SOS 2308508 HAS SOPS 2288853 HAS SOUS 330576 HAS SOUPS 328326 WITH SCORE 330634.508
AT ITER 5997 NEW BEST:: SOT 4728148 SOS 2308663 HAS SOPS 2289008 HAS SOUS 330278 HAS SOUPS 328028 WITH SCORE 330336.663
AT ITER 6009 NEW BEST:: SOT 4728148 SOS 2199881 HAS SOPS 2180226 HAS SOUS 330214 HAS SOUPS 327964 WITH SCORE 330163.881
AT ITER 6014 NEW BEST:: SOT 4728123 SOS 2199675 HAS SOPS 2180020 HAS SOUS 330033 HAS SOUPS 327783 WITH SCORE 329982.675
AT ITER 6019 NEW BEST:: SOT 4728153 SOS 2199724 HAS SOPS 2180069 HAS SOUS 329845 HAS SOUPS 327595 WITH SCORE 329794.724
AT ITER 6054 NEW BEST:: SOT 4728142 SOS 2199713 HAS SOPS 2180069 HAS SOUS 329834 HAS SOUPS 327584 WITH SCORE 329783.713
AT ITER 6056 NEW BEST:: SOT 4728158 SOS 2199729 HAS SOPS 2180069 HAS SOUS 329827 HAS SOUPS 327576 WITH SCORE 329775.729
AT ITER 6059 NEW BEST:: SOT 4728119 SOS 2199500 HAS SOPS 2179840 HAS SOUS 329788 HAS SOUPS 327537 WITH SCORE 329736.5
AT ITER 6086 NEW BEST:: SOT 4728110 SOS 2199491 HAS SOPS 2179831 HAS SOUS 329779 HAS SOUPS 327528 WITH SCORE 329727.491
AT ITER 6107 NEW BEST:: SOT 4728084 SOS 2199014 HAS SOPS 2179354 HAS SOUS 329727 HAS SOUPS 327476 WITH SCORE 329675.014
AT ITER 6115 NEW BEST:: SOT 4727651 SOS 2198597 HAS SOPS 2178937 HAS SOUS 329280 HAS SOUPS 327029 WITH SCORE 329227.597
AT ITER 6121 NEW BEST:: SOT 4727364 SOS 2198348 HAS SOPS 2178688 HAS SOUS 328955 HAS SOUPS 326704 WITH SCORE 328902.348
AT ITER 6140 NEW BEST:: SOT 4727359 SOS 2198343 HAS SOPS 2178683 HAS SOUS 328950 HAS SOUPS 326699 WITH SCORE 328897.343
AT ITER 6146 NEW BEST:: SOT 4727374 SOS 2198358 HAS SOPS 2178698 HAS SOUS 328824 HAS SOUPS 326573 WITH SCORE 328771.358
AT ITER 6151 NEW BEST:: SOT 4727293 SOS 2197957 HAS SOPS 2178297 HAS SOUS 328322 HAS SOUPS 326071 WITH SCORE 328268.957
AT ITER 6174 NEW BEST:: SOT 4727272 SOS 2197957 HAS SOPS 2178297 HAS SOUS 328280 HAS SOUPS 326029 WITH SCORE 328226.957
AT ITER 6185 NEW BEST:: SOT 4728038 SOS 2198646 HAS SOPS 2178986 HAS SOUS 328125 HAS SOUPS 325874 WITH SCORE 328072.646
AT ITER 6213 NEW BEST:: SOT 4727648 SOS 2198057 HAS SOPS 2178397 HAS SOUS 327458 HAS SOUPS 325207 WITH SCORE 327405.057
AT ITER 6239 NEW BEST:: SOT 4727583 SOS 2197852 HAS SOPS 2178192 HAS SOUS 327448 HAS SOUPS 325197 WITH SCORE 327394.852
AT ITER 6256 NEW BEST:: SOT 4727583 SOS 2197744 HAS SOPS 2178084 HAS SOUS 326908 HAS SOUPS 324657 WITH SCORE 326854.744
AT ITER 6265 NEW BEST:: SOT 4727574 SOS 2197726 HAS SOPS 2178066 HAS SOUS 326890 HAS SOUPS 324639 WITH SCORE 326836.726
AT ITER 6272 NEW BEST:: SOT 4726706 SOS 2196816 HAS SOPS 2177156 HAS SOUS 326876 HAS SOUPS 324625 WITH SCORE 326821.816
AT ITER 6298 NEW BEST:: SOT 4726467 SOS 2196713 HAS SOPS 2177053 HAS SOUS 326806 HAS SOUPS 324555 WITH SCORE 326751.713
AT ITER 6319 NEW BEST:: SOT 4726380 SOS 2196699 HAS SOPS 2177115 HAS SOUS 326781 HAS SOUPS 324530 WITH SCORE 326726.699
AT ITER 6356 NEW BEST:: SOT 4726415 SOS 2196734 HAS SOPS 2177150 HAS SOUS 326751 HAS SOUPS 324500 WITH SCORE 326696.734
AT ITER 6357 NEW BEST:: SOT 4726095 SOS 2196381 HAS SOPS 2176797 HAS SOUS 326111 HAS SOUPS 323860 WITH SCORE 326056.381
AT ITER 6391 NEW BEST:: SOT 4725979 SOS 2196279 HAS SOPS 2176695 HAS SOUS 326001 HAS SOUPS 323750 WITH SCORE 325946.279
AT ITER 6420 NEW BEST:: SOT 4725952 SOS 2196159 HAS SOPS 2176575 HAS SOUS 325965 HAS SOUPS 323714 WITH SCORE 325910.159
AT ITER 6422 NEW BEST:: SOT 4725929 SOS 2196136 HAS SOPS 2176544 HAS SOUS 325922 HAS SOUPS 323671 WITH SCORE 325867.136
AT ITER 6439 NEW BEST:: SOT 4725831 SOS 2195979 HAS SOPS 2176387 HAS SOUS 325680 HAS SOUPS 323429 WITH SCORE 325624.979
AT ITER 6442 NEW BEST:: SOT 4725825 SOS 2195973 HAS SOPS 2176381 HAS SOUS 325668 HAS SOUPS 323417 WITH SCORE 325612.973
AT ITER 6451 NEW BEST:: SOT 4725817 SOS 2195948 HAS SOPS 2176356 HAS SOUS 325584 HAS SOUPS 323333 WITH SCORE 325528.948
AT ITER 6458 NEW BEST:: SOT 4725778 SOS 2195892 HAS SOPS 2176300 HAS SOUS 325540 HAS SOUPS 323289 WITH SCORE 325484.892
AT ITER 6467 NEW BEST:: SOT 4725646 SOS 2195617 HAS SOPS 2176025 HAS SOUS 325265 HAS SOUPS 323014 WITH SCORE 325209.617
AT ITER 6485 NEW BEST:: SOT 4725612 SOS 2195602 HAS SOPS 2176010 HAS SOUS 325254 HAS SOUPS 323003 WITH SCORE 325198.602
AT ITER 6489 NEW BEST:: SOT 4725506 SOS 2195490 HAS SOPS 2175898 HAS SOUS 325249 HAS SOUPS 322998 WITH SCORE 325193.49
AT ITER 6506 NEW BEST:: SOT 4725095 SOS 2195079 HAS SOPS 2175487 HAS SOUS 324568 HAS SOUPS 322317 WITH SCORE 324512.079
AT ITER 6512 NEW BEST:: SOT 4725095 SOS 2195074 HAS SOPS 2175482 HAS SOUS 324568 HAS SOUPS 322317 WITH SCORE 324512.074
AT ITER 6520 NEW BEST:: SOT 4724951 SOS 2194930 HAS SOPS 2175338 HAS SOUS 324319 HAS SOUPS 322068 WITH SCORE 324262.93
AT ITER 6547 NEW BEST:: SOT 4724904 SOS 2194883 HAS SOPS 2175291 HAS SOUS 324280 HAS SOUPS 322029 WITH SCORE 324223.883
AT ITER 6594 NEW BEST:: SOT 4724868 SOS 2194847 HAS SOPS 2175255 HAS SOUS 324244 HAS SOUPS 321993 WITH SCORE 324187.847
AT ITER 6608 NEW BEST:: SOT 4724918 SOS 2194897 HAS SOPS 2175274 HAS SOUS 324206 HAS SOUPS 321955 WITH SCORE 324149.897
AT ITER 6632 NEW BEST:: SOT 4724855 SOS 2194834 HAS SOPS 2175211 HAS SOUS 324115 HAS SOUPS 321864 WITH SCORE 324058.834
AT ITER 6643 NEW BEST:: SOT 4723908 SOS 2193250 HAS SOPS 2173627 HAS SOUS 323210 HAS SOUPS 320959 WITH SCORE 323152.25
AT ITER 6701 NEW BEST:: SOT 4723853 SOS 2193262 HAS SOPS 2173639 HAS SOUS 323092 HAS SOUPS 320841 WITH SCORE 323034.262
AT ITER 6730 NEW BEST:: SOT 4723883 SOS 2193403 HAS SOPS 2173732 HAS SOUS 322930 HAS SOUPS 320679 WITH SCORE 322872.403
AT ITER 6755 NEW BEST:: SOT 4723797 SOS 2193286 HAS SOPS 2173615 HAS SOUS 322806 HAS SOUPS 320555 WITH SCORE 322748.286
AT ITER 6776 NEW BEST:: SOT 4723797 SOS 2193286 HAS SOPS 2173540 HAS SOUS 322693 HAS SOUPS 320406 WITH SCORE 322599.286
AT ITER 6782 NEW BEST:: SOT 4723767 SOS 2193262 HAS SOPS 2173516 HAS SOUS 322657 HAS SOUPS 320370 WITH SCORE 322563.262
AT ITER 6785 NEW BEST:: SOT 4723865 SOS 2193356 HAS SOPS 2173704 HAS SOUS 322279 HAS SOUPS 319992 WITH SCORE 322185.356
AT ITER 6821 NEW BEST:: SOT 4722994 SOS 2192485 HAS SOPS 2172833 HAS SOUS 321363 HAS SOUPS 319076 WITH SCORE 321268.485
AT ITER 6831 NEW BEST:: SOT 4722888 SOS 2192418 HAS SOPS 2172766 HAS SOUS 321311 HAS SOUPS 319024 WITH SCORE 321216.418
AT ITER 6851 NEW BEST:: SOT 4722853 SOS 2192358 HAS SOPS 2172706 HAS SOUS 320995 HAS SOUPS 318708 WITH SCORE 320900.358
AT ITER 6855 NEW BEST:: SOT 4722843 SOS 2192348 HAS SOPS 2172696 HAS SOUS 320983 HAS SOUPS 318696 WITH SCORE 320888.348
AT ITER 6873 NEW BEST:: SOT 4722811 SOS 2192316 HAS SOPS 2172664 HAS SOUS 320909 HAS SOUPS 318622 WITH SCORE 320814.316
AT ITER 6877 NEW BEST:: SOT 4722534 SOS 2191151 HAS SOPS 2171499 HAS SOUS 320703 HAS SOUPS 318416 WITH SCORE 320607.151
AT ITER 6897 NEW BEST:: SOT 4721687 SOS 2190304 HAS SOPS 2170652 HAS SOUS 317678 HAS SOUPS 315391 WITH SCORE 317581.304
AT ITER 6900 NEW BEST:: SOT 4721158 SOS 2189748 HAS SOPS 2170096 HAS SOUS 317074 HAS SOUPS 314787 WITH SCORE 316976.748
AT ITER 6936 NEW BEST:: SOT 4721152 SOS 2189730 HAS SOPS 2170078 HAS SOUS 317056 HAS SOUPS 314769 WITH SCORE 316958.73
AT ITER 6964 NEW BEST:: SOT 4721336 SOS 2189896 HAS SOPS 2170244 HAS SOUS 316948 HAS SOUPS 314661 WITH SCORE 316850.896
AT ITER 6990 NEW BEST:: SOT 4720877 SOS 2189437 HAS SOPS 2169785 HAS SOUS 316290 HAS SOUPS 314003 WITH SCORE 316192.437
AT ITER 6999 NEW BEST:: SOT 4720416 SOS 2189050 HAS SOPS 2169398 HAS SOUS 315882 HAS SOUPS 313595 WITH SCORE 315784.05
AT ITER 7016 NEW BEST:: SOT 4720249 SOS 2188891 HAS SOPS 2169239 HAS SOUS 315659 HAS SOUPS 313372 WITH SCORE 315560.891
AT ITER 7026 NEW BEST:: SOT 4720090 SOS 2188830 HAS SOPS 2169178 HAS SOUS 315598 HAS SOUPS 313311 WITH SCORE 315499.83
AT ITER 7027 NEW BEST:: SOT 4720024 SOS 2188764 HAS SOPS 2169157 HAS SOUS 315483 HAS SOUPS 313196 WITH SCORE 315384.764
AT ITER 7035 NEW BEST:: SOT 4720077 SOS 2188510 HAS SOPS 2168903 HAS SOUS 315363 HAS SOUPS 313076 WITH SCORE 315264.51
AT ITER 7037 NEW BEST:: SOT 4719759 SOS 2188345 HAS SOPS 2168805 HAS SOUS 315305 HAS SOUPS 313018 WITH SCORE 315206.345
AT ITER 7047 NEW BEST:: SOT 4719913 SOS 2188683 HAS SOPS 2168997 HAS SOUS 315241 HAS SOUPS 312954 WITH SCORE 315142.683
AT ITER 7048 NEW BEST:: SOT 4719853 SOS 2188623 HAS SOPS 2168937 HAS SOUS 315121 HAS SOUPS 312834 WITH SCORE 315022.623
AT ITER 7065 NEW BEST:: SOT 4719865 SOS 2188475 HAS SOPS 2168789 HAS SOUS 314974 HAS SOUPS 312687 WITH SCORE 314875.475
AT ITER 7084 NEW BEST:: SOT 4719775 SOS 2188417 HAS SOPS 2168731 HAS SOUS 314921 HAS SOUPS 312634 WITH SCORE 314822.417
AT ITER 7109 NEW BEST:: SOT 4710608 SOS 2179250 HAS SOPS 2159564 HAS SOUS 313696 HAS SOUPS 311409 WITH SCORE 313588.25
AT ITER 7143 NEW BEST:: SOT 4710530 SOS 2179094 HAS SOPS 2159486 HAS SOUS 313696 HAS SOUPS 311409 WITH SCORE 313588.094
AT ITER 7146 NEW BEST:: SOT 4710546 SOS 2179110 HAS SOPS 2159518 HAS SOUS 313664 HAS SOUPS 311377 WITH SCORE 313556.11
AT ITER 7160 NEW BEST:: SOT 4710542 SOS 2179078 HAS SOPS 2159486 HAS SOUS 313656 HAS SOUPS 311369 WITH SCORE 313548.078
AT ITER 7164 NEW BEST:: SOT 4710490 SOS 2178974 HAS SOPS 2159434 HAS SOUS 313656 HAS SOUPS 311369 WITH SCORE 313547.974
AT ITER 7191 NEW BEST:: SOT 4695993 SOS 2164458 HAS SOPS 2144918 HAS SOUS 312250 HAS SOUPS 309963 WITH SCORE 312127.458
AT ITER 7215 NEW BEST:: SOT 4695278 SOS 2163945 HAS SOPS 2144405 HAS SOUS 311651 HAS SOUPS 309364 WITH SCORE 311527.945
AT ITER 7240 NEW BEST:: SOT 4695328 SOS 2163995 HAS SOPS 2144455 HAS SOUS 311551 HAS SOUPS 309264 WITH SCORE 311427.995
AT ITER 7246 NEW BEST:: SOT 4695328 SOS 2163947 HAS SOPS 2144407 HAS SOUS 311545 HAS SOUPS 309258 WITH SCORE 311421.947
AT ITER 7257 NEW BEST:: SOT 4695286 SOS 2163761 HAS SOPS 2144221 HAS SOUS 311515 HAS SOUPS 309228 WITH SCORE 311391.761
AT ITER 7260 NEW BEST:: SOT 4695125 SOS 2163364 HAS SOPS 2143824 HAS SOUS 311403 HAS SOUPS 309116 WITH SCORE 311279.364
AT ITER 7282 NEW BEST:: SOT 4695029 SOS 2163251 HAS SOPS 2143685 HAS SOUS 311406 HAS SOUPS 309093 WITH SCORE 311256.251
AT ITER 7300 NEW BEST:: SOT 4695025 SOS 2163247 HAS SOPS 2143677 HAS SOUS 311398 HAS SOUPS 309085 WITH SCORE 311248.247
AT ITER 7316 NEW BEST:: SOT 4632358 SOS 2100580 HAS SOPS 2081010 HAS SOUS 304885 HAS SOUPS 302572 WITH SCORE 304672.58
AT ITER 7320 NEW BEST:: SOT 4632397 SOS 2100637 HAS SOPS 2081047 HAS SOUS 304881 HAS SOUPS 302568 WITH SCORE 304668.637
AT ITER 7333 NEW BEST:: SOT 4632272 SOS 2100512 HAS SOPS 2080922 HAS SOUS 304803 HAS SOUPS 302490 WITH SCORE 304590.512
AT ITER 7350 NEW BEST:: SOT 4632263 SOS 2100503 HAS SOPS 2080913 HAS SOUS 304785 HAS SOUPS 302472 WITH SCORE 304572.503
AT ITER 7366 NEW BEST:: SOT 4632147 SOS 2100729 HAS SOPS 2081139 HAS SOUS 304754 HAS SOUPS 302441 WITH SCORE 304541.729
AT ITER 7384 NEW BEST:: SOT 4631987 SOS 2100609 HAS SOPS 2081019 HAS SOUS 304594 HAS SOUPS 302281 WITH SCORE 304381.609
AT ITER 7399 NEW BEST:: SOT 4632067 SOS 2100782 HAS SOPS 2081244 HAS SOUS 304400 HAS SOUPS 302087 WITH SCORE 304187.782
AT ITER 7401 NEW BEST:: SOT 4632045 SOS 2100770 HAS SOPS 2081232 HAS SOUS 304375 HAS SOUPS 302062 WITH SCORE 304162.77
AT ITER 7410 NEW BEST:: SOT 4632012 SOS 2100720 HAS SOPS 2081215 HAS SOUS 304368 HAS SOUPS 302055 WITH SCORE 304155.72
AT ITER 7423 NEW BEST:: SOT 4632004 SOS 2100677 HAS SOPS 2081172 HAS SOUS 304360 HAS SOUPS 302047 WITH SCORE 304147.677
AT ITER 7424 NEW BEST:: SOT 4632196 SOS 2100737 HAS SOPS 2081182 HAS SOUS 304328 HAS SOUPS 302015 WITH SCORE 304115.737
AT ITER 7433 NEW BEST:: SOT 4632135 SOS 2100676 HAS SOPS 2081121 HAS SOUS 304192 HAS SOUPS 301879 WITH SCORE 303979.676
AT ITER 7467 NEW BEST:: SOT 4632138 SOS 2100680 HAS SOPS 2081125 HAS SOUS 304172 HAS SOUPS 301859 WITH SCORE 303959.68
AT ITER 7496 NEW BEST:: SOT 4632152 SOS 2100637 HAS SOPS 2080971 HAS SOUS 303922 HAS SOUPS 301609 WITH SCORE 303709.637
AT ITER 7507 NEW BEST:: SOT 4632140 SOS 2100625 HAS SOPS 2080945 HAS SOUS 303898 HAS SOUPS 301585 WITH SCORE 303685.625
AT ITER 7509 NEW BEST:: SOT 4632005 SOS 2100648 HAS SOPS 2080968 HAS SOUS 303851 HAS SOUPS 301538 WITH SCORE 303638.648
AT ITER 7543 NEW BEST:: SOT 4631911 SOS 2100536 HAS SOPS 2080856 HAS SOUS 303757 HAS SOUPS 301444 WITH SCORE 303544.536
AT ITER 7590 NEW BEST:: SOT 4631676 SOS 2100174 HAS SOPS 2080494 HAS SOUS 303522 HAS SOUPS 301209 WITH SCORE 303309.174
AT ITER 7611 NEW BEST:: SOT 4631949 SOS 1986099 HAS SOPS 1961752 HAS SOUS 302977 HAS SOUPS 300576 WITH SCORE 302562.099
AT ITER 7642 NEW BEST:: SOT 4631823 SOS 1986035 HAS SOPS 1961684 HAS SOUS 302884 HAS SOUPS 300483 WITH SCORE 302469.035
AT ITER 7676 NEW BEST:: SOT 4631951 SOS 1986163 HAS SOPS 1961812 HAS SOUS 302856 HAS SOUPS 300455 WITH SCORE 302441.163
AT ITER 7694 NEW BEST:: SOT 4631849 SOS 1986091 HAS SOPS 1961740 HAS SOUS 302805 HAS SOUPS 300404 WITH SCORE 302390.091
AT ITER 7703 NEW BEST:: SOT 4631846 SOS 1986074 HAS SOPS 1961723 HAS SOUS 302799 HAS SOUPS 300398 WITH SCORE 302384.074
AT ITER 7709 NEW BEST:: SOT 4631954 SOS 1986915 HAS SOPS 1962564 HAS SOUS 302649 HAS SOUPS 300248 WITH SCORE 302234.915
AT ITER 7717 NEW BEST:: SOT 4631954 SOS 1986934 HAS SOPS 1962583 HAS SOUS 302611 HAS SOUPS 300210 WITH SCORE 302196.934
AT ITER 7723 NEW BEST:: SOT 4633085 SOS 1988023 HAS SOPS 1963720 HAS SOUS 300967 HAS SOUPS 298572 WITH SCORE 300560.023
AT ITER 7733 NEW BEST:: SOT 4633085 SOS 1988025 HAS SOPS 1963722 HAS SOUS 300963 HAS SOUPS 298568 WITH SCORE 300556.025
AT ITER 7744 NEW BEST:: SOT 4632136 SOS 1987019 HAS SOPS 1962716 HAS SOUS 299665 HAS SOUPS 297270 WITH SCORE 299257.019
AT ITER 7763 NEW BEST:: SOT 4631384 SOS 1983841 HAS SOPS 1959538 HAS SOUS 299488 HAS SOUPS 297093 WITH SCORE 299076.841
AT ITER 7790 NEW BEST:: SOT 4631384 SOS 1983841 HAS SOPS 1959532 HAS SOUS 299476 HAS SOUPS 297081 WITH SCORE 299064.841
AT ITER 7804 NEW BEST:: SOT 4631294 SOS 1983751 HAS SOPS 1959442 HAS SOUS 299386 HAS SOUPS 296991 WITH SCORE 298974.751
AT ITER 7805 NEW BEST:: SOT 4631292 SOS 1983749 HAS SOPS 1959440 HAS SOUS 299377 HAS SOUPS 296982 WITH SCORE 298965.749
AT ITER 7807 NEW BEST:: SOT 4631092 SOS 1983632 HAS SOPS 1959323 HAS SOUS 299274 HAS SOUPS 296879 WITH SCORE 298862.632
AT ITER 7841 NEW BEST:: SOT 4630267 SOS 1981231 HAS SOPS 1956922 HAS SOUS 298969 HAS SOUPS 296574 WITH SCORE 298555.231
AT ITER 7881 NEW BEST:: SOT 4630263 SOS 1981227 HAS SOPS 1956918 HAS SOUS 298961 HAS SOUPS 296566 WITH SCORE 298547.227
AT ITER 7884 NEW BEST:: SOT 4630300 SOS 1981264 HAS SOPS 1956955 HAS SOUS 298913 HAS SOUPS 296518 WITH SCORE 298499.264
AT ITER 7902 NEW BEST:: SOT 4630285 SOS 1981249 HAS SOPS 1956928 HAS SOUS 298907 HAS SOUPS 296512 WITH SCORE 298493.249
AT ITER 7913 NEW BEST:: SOT 4630280 SOS 1981244 HAS SOPS 1956908 HAS SOUS 298897 HAS SOUPS 296502 WITH SCORE 298483.244
AT ITER 7921 NEW BEST:: SOT 4630313 SOS 1981277 HAS SOPS 1956941 HAS SOUS 298864 HAS SOUPS 296469 WITH SCORE 298450.277
AT ITER 7938 NEW BEST:: SOT 4630223 SOS 1981139 HAS SOPS 1956803 HAS SOUS 298776 HAS SOUPS 296381 WITH SCORE 298362.139
AT ITER 7939 NEW BEST:: SOT 4629909 SOS 1980870 HAS SOPS 1956534 HAS SOUS 298356 HAS SOUPS 295961 WITH SCORE 297941.87
AT ITER 7946 NEW BEST:: SOT 4629748 SOS 1980667 HAS SOPS 1956382 HAS SOUS 298327 HAS SOUPS 295932 WITH SCORE 297912.667
AT ITER 7966 NEW BEST:: SOT 4629746 SOS 1980665 HAS SOPS 1956380 HAS SOUS 298323 HAS SOUPS 295928 WITH SCORE 297908.665
AT ITER 7975 NEW BEST:: SOT 4629746 SOS 1980665 HAS SOPS 1956380 HAS SOUS 298321 HAS SOUPS 295926 WITH SCORE 297906.665
AT ITER 7989 NEW BEST:: SOT 4629630 SOS 1980491 HAS SOPS 1956206 HAS SOUS 298205 HAS SOUPS 295810 WITH SCORE 297790.491
AT ITER 8002 NEW BEST:: SOT 4629625 SOS 1980486 HAS SOPS 1956197 HAS SOUS 298195 HAS SOUPS 295800 WITH SCORE 297780.486
AT ITER 8021 NEW BEST:: SOT 4628717 SOS 1978472 HAS SOPS 1954183 HAS SOUS 297383 HAS SOUPS 294988 WITH SCORE 296966.472
AT ITER 8035 NEW BEST:: SOT 4628707 SOS 1978430 HAS SOPS 1954141 HAS SOUS 297363 HAS SOUPS 294968 WITH SCORE 296946.43
AT ITER 8045 NEW BEST:: SOT 4628539 SOS 1978262 HAS SOPS 1953973 HAS SOUS 297126 HAS SOUPS 294731 WITH SCORE 296709.262
AT ITER 8064 NEW BEST:: SOT 4628546 SOS 1978269 HAS SOPS 1953973 HAS SOUS 297125 HAS SOUPS 294730 WITH SCORE 296708.269
AT ITER 8122 NEW BEST:: SOT 4628519 SOS 1978212 HAS SOPS 1953916 HAS SOUS 297041 HAS SOUPS 294646 WITH SCORE 296624.212
AT ITER 8165 NEW BEST:: SOT 4628383 SOS 1978075 HAS SOPS 1953661 HAS SOUS 296797 HAS SOUPS 294402 WITH SCORE 296380.075
AT ITER 8185 NEW BEST:: SOT 4627680 SOS 1977547 HAS SOPS 1953133 HAS SOUS 296180 HAS SOUPS 293785 WITH SCORE 295762.547
AT ITER 8196 NEW BEST:: SOT 4627620 SOS 1977487 HAS SOPS 1953073 HAS SOUS 296060 HAS SOUPS 293665 WITH SCORE 295642.487
AT ITER 8203 NEW BEST:: SOT 4627460 SOS 1977301 HAS SOPS 1952887 HAS SOUS 295779 HAS SOUPS 293384 WITH SCORE 295361.301
AT ITER 8228 NEW BEST:: SOT 4627542 SOS 1977383 HAS SOPS 1952969 HAS SOUS 295751 HAS SOUPS 293356 WITH SCORE 295333.383
AT ITER 8244 NEW BEST:: SOT 4627518 SOS 1977359 HAS SOPS 1952889 HAS SOUS 295669 HAS SOUPS 293274 WITH SCORE 295251.359
AT ITER 8250 NEW BEST:: SOT 4627341 SOS 1977182 HAS SOPS 1952712 HAS SOUS 295370 HAS SOUPS 292975 WITH SCORE 294952.182
AT ITER 8259 NEW BEST:: SOT 4627350 SOS 1977167 HAS SOPS 1952672 HAS SOUS 294666 HAS SOUPS 292271 WITH SCORE 294248.167
AT ITER 8319 NEW BEST:: SOT 4626703 SOS 1976572 HAS SOPS 1952077 HAS SOUS 294071 HAS SOUPS 291676 WITH SCORE 293652.572
AT ITER 8346 NEW BEST:: SOT 4626681 SOS 1976561 HAS SOPS 1952066 HAS SOUS 294060 HAS SOUPS 291665 WITH SCORE 293641.561
AT ITER 8403 NEW BEST:: SOT 4626736 SOS 1976569 HAS SOPS 1952074 HAS SOUS 294008 HAS SOUPS 291613 WITH SCORE 293589.569
AT ITER 8445 NEW BEST:: SOT 4626734 SOS 1976591 HAS SOPS 1952096 HAS SOUS 294005 HAS SOUPS 291610 WITH SCORE 293586.591
AT ITER 8469 NEW BEST:: SOT 4626731 SOS 1976585 HAS SOPS 1952090 HAS SOUS 293975 HAS SOUPS 291580 WITH SCORE 293556.585
AT ITER 8474 NEW BEST:: SOT 4626776 SOS 1976630 HAS SOPS 1952135 HAS SOUS 293949 HAS SOUPS 291554 WITH SCORE 293530.63
AT ITER 8513 NEW BEST:: SOT 4626743 SOS 1976612 HAS SOPS 1952117 HAS SOUS 293931 HAS SOUPS 291536 WITH SCORE 293512.612
AT ITER 8517 NEW BEST:: SOT 4626743 SOS 1976602 HAS SOPS 1952107 HAS SOUS 293880 HAS SOUPS 291485 WITH SCORE 293461.602
AT ITER 8536 NEW BEST:: SOT 4626608 SOS 1976467 HAS SOPS 1951972 HAS SOUS 293829 HAS SOUPS 291434 WITH SCORE 293410.467
AT ITER 8543 NEW BEST:: SOT 4626626 SOS 1976449 HAS SOPS 1951954 HAS SOUS 293811 HAS SOUPS 291416 WITH SCORE 293392.449
AT ITER 8554 NEW BEST:: SOT 4626648 SOS 1976438 HAS SOPS 1951943 HAS SOUS 293756 HAS SOUPS 291361 WITH SCORE 293337.438
AT ITER 8562 NEW BEST:: SOT 4626817 SOS 1975759 HAS SOPS 1951211 HAS SOUS 293716 HAS SOUPS 291321 WITH SCORE 293296.759
AT ITER 8567 NEW BEST:: SOT 4626715 SOS 1975596 HAS SOPS 1951048 HAS SOUS 293553 HAS SOUPS 291158 WITH SCORE 293133.596
AT ITER 8581 NEW BEST:: SOT 4626679 SOS 1975533 HAS SOPS 1950985 HAS SOUS 293499 HAS SOUPS 291104 WITH SCORE 293079.533
AT ITER 8583 NEW BEST:: SOT 4626679 SOS 1975524 HAS SOPS 1950976 HAS SOUS 293499 HAS SOUPS 291104 WITH SCORE 293079.524
AT ITER 8599 NEW BEST:: SOT 4626585 SOS 1975430 HAS SOPS 1950882 HAS SOUS 293446 HAS SOUPS 291051 WITH SCORE 293026.43
AT ITER 8613 NEW BEST:: SOT 4626585 SOS 1975367 HAS SOPS 1950819 HAS SOUS 293404 HAS SOUPS 291009 WITH SCORE 292984.367
AT ITER 8623 NEW BEST:: SOT 4626483 SOS 1975265 HAS SOPS 1950717 HAS SOUS 293200 HAS SOUPS 290805 WITH SCORE 292780.265
AT ITER 8636 NEW BEST:: SOT 4626433 SOS 1975174 HAS SOPS 1950626 HAS SOUS 293100 HAS SOUPS 290705 WITH SCORE 292680.174
AT ITER 8645 NEW BEST:: SOT 4626051 SOS 1973912 HAS SOPS 1949364 HAS SOUS 292739 HAS SOUPS 290344 WITH SCORE 292317.912
AT ITER 8677 NEW BEST:: SOT 4626297 SOS 1974158 HAS SOPS 1949610 HAS SOUS 292646 HAS SOUPS 290251 WITH SCORE 292225.158
AT ITER 8679 NEW BEST:: SOT 4626273 SOS 1974120 HAS SOPS 1949576 HAS SOUS 292626 HAS SOUPS 290231 WITH SCORE 292205.12
AT ITER 8735 NEW BEST:: SOT 4626273 SOS 1974056 HAS SOPS 1949512 HAS SOUS 292626 HAS SOUPS 290231 WITH SCORE 292205.056
AT ITER 8744 NEW BEST:: SOT 4626224 SOS 1973978 HAS SOPS 1949434 HAS SOUS 292546 HAS SOUPS 290151 WITH SCORE 292124.978
AT ITER 8761 NEW BEST:: SOT 4626236 SOS 1973914 HAS SOPS 1949370 HAS SOUS 292519 HAS SOUPS 290124 WITH SCORE 292097.914
AT ITER 8770 NEW BEST:: SOT 4626038 SOS 1973716 HAS SOPS 1949172 HAS SOUS 292317 HAS SOUPS 289922 WITH SCORE 291895.716
AT ITER 8771 NEW BEST:: SOT 4626012 SOS 1973632 HAS SOPS 1949088 HAS SOUS 292233 HAS SOUPS 289838 WITH SCORE 291811.632
AT ITER 8775 NEW BEST:: SOT 4626004 SOS 1973624 HAS SOPS 1949080 HAS SOUS 292218 HAS SOUPS 289823 WITH SCORE 291796.624
AT ITER 8785 NEW BEST:: SOT 4625650 SOS 1973417 HAS SOPS 1948873 HAS SOUS 291949 HAS SOUPS 289554 WITH SCORE 291527.417
AT ITER 8788 NEW BEST:: SOT 4626030 SOS 1973554 HAS SOPS 1949010 HAS SOUS 291887 HAS SOUPS 289492 WITH SCORE 291465.554
AT ITER 8804 NEW BEST:: SOT 4626067 SOS 1973543 HAS SOPS 1948999 HAS SOUS 291835 HAS SOUPS 289440 WITH SCORE 291413.543
AT ITER 8856 NEW BEST:: SOT 4626067 SOS 1973348 HAS SOPS 1948804 HAS SOUS 291835 HAS SOUPS 289440 WITH SCORE 291413.348
AT ITER 8872 NEW BEST:: SOT 4626059 SOS 1973340 HAS SOPS 1948796 HAS SOUS 291827 HAS SOUPS 289432 WITH SCORE 291405.34
AT ITER 8889 NEW BEST:: SOT 4626083 SOS 1973364 HAS SOPS 1948820 HAS SOUS 291719 HAS SOUPS 289324 WITH SCORE 291297.364
AT ITER 8895 NEW BEST:: SOT 4626106 SOS 1973370 HAS SOPS 1948723 HAS SOUS 291512 HAS SOUPS 289117 WITH SCORE 291090.37
AT ITER 8898 NEW BEST:: SOT 4625886 SOS 1973150 HAS SOPS 1948503 HAS SOUS 291484 HAS SOUPS 289089 WITH SCORE 291062.15
AT ITER 8959 NEW BEST:: SOT 4625886 SOS 1972671 HAS SOPS 1948024 HAS SOUS 291364 HAS SOUPS 288969 WITH SCORE 290941.671
AT ITER 8994 NEW BEST:: SOT 4625884 SOS 1972669 HAS SOPS 1948020 HAS SOUS 291360 HAS SOUPS 288965 WITH SCORE 290937.669
AT ITER 9001 NEW BEST:: SOT 4625826 SOS 1972550 HAS SOPS 1947961 HAS SOUS 291351 HAS SOUPS 288956 WITH SCORE 290928.55
AT ITER 9004 NEW BEST:: SOT 4625668 SOS 1972392 HAS SOPS 1947803 HAS SOUS 291338 HAS SOUPS 288943 WITH SCORE 290915.392
AT ITER 9030 NEW BEST:: SOT 4625608 SOS 1972353 HAS SOPS 1947764 HAS SOUS 291218 HAS SOUPS 288823 WITH SCORE 290795.353
AT ITER 9055 NEW BEST:: SOT 4625677 SOS 1972367 HAS SOPS 1947778 HAS SOUS 291176 HAS SOUPS 288781 WITH SCORE 290753.367
AT ITER 9078 NEW BEST:: SOT 4625733 SOS 1972423 HAS SOPS 1947823 HAS SOUS 291092 HAS SOUPS 288697 WITH SCORE 290669.423
AT ITER 9109 NEW BEST:: SOT 4625733 SOS 1972306 HAS SOPS 1947706 HAS SOUS 291018 HAS SOUPS 288623 WITH SCORE 290595.306
AT ITER 9133 NEW BEST:: SOT 4625723 SOS 1972275 HAS SOPS 1947675 HAS SOUS 290935 HAS SOUPS 288540 WITH SCORE 290512.275
AT ITER 9161 NEW BEST:: SOT 4625196 SOS 1971844 HAS SOPS 1947244 HAS SOUS 290878 HAS SOUPS 288483 WITH SCORE 290454.844
AT ITER 9162 NEW BEST:: SOT 4625145 SOS 1971788 HAS SOPS 1947188 HAS SOUS 290768 HAS SOUPS 288373 WITH SCORE 290344.788
AT ITER 9170 NEW BEST:: SOT 4625081 SOS 1971692 HAS SOPS 1947092 HAS SOUS 290704 HAS SOUPS 288309 WITH SCORE 290280.692
AT ITER 9181 NEW BEST:: SOT 4624891 SOS 1971502 HAS SOPS 1947024 HAS SOUS 290662 HAS SOUPS 288267 WITH SCORE 290238.502
AT ITER 9187 NEW BEST:: SOT 4624891 SOS 1971478 HAS SOPS 1947000 HAS SOUS 290662 HAS SOUPS 288267 WITH SCORE 290238.478
AT ITER 9189 NEW BEST:: SOT 4624844 SOS 1971431 HAS SOPS 1946953 HAS SOUS 290649 HAS SOUPS 288254 WITH SCORE 290225.431
AT ITER 9196 NEW BEST:: SOT 4624835 SOS 1971422 HAS SOPS 1946944 HAS SOUS 290640 HAS SOUPS 288245 WITH SCORE 290216.422
AT ITER 9220 NEW BEST:: SOT 4624769 SOS 1971362 HAS SOPS 1946884 HAS SOUS 290580 HAS SOUPS 288185 WITH SCORE 290156.362
AT ITER 9230 NEW BEST:: SOT 4624726 SOS 1971233 HAS SOPS 1946755 HAS SOUS 290580 HAS SOUPS 288185 WITH SCORE 290156.233
AT ITER 9236 NEW BEST:: SOT 4624620 SOS 1971021 HAS SOPS 1946543 HAS SOUS 290421 HAS SOUPS 288026 WITH SCORE 289997.021
AT ITER 9274 NEW BEST:: SOT 4624620 SOS 1971020 HAS SOPS 1946542 HAS SOUS 290421 HAS SOUPS 288026 WITH SCORE 289997.02
AT ITER 9285 NEW BEST:: SOT 4624748 SOS 1971148 HAS SOPS 1946759 HAS SOUS 290305 HAS SOUPS 287910 WITH SCORE 289881.148
AT ITER 9289 NEW BEST:: SOT 4624748 SOS 1970828 HAS SOPS 1946439 HAS SOUS 290305 HAS SOUPS 287910 WITH SCORE 289880.828
AT ITER 9293 NEW BEST:: SOT 4624833 SOS 1970913 HAS SOPS 1946426 HAS SOUS 290237 HAS SOUPS 287842 WITH SCORE 289812.913
AT ITER 9315 NEW BEST:: SOT 4624786 SOS 1970805 HAS SOPS 1946338 HAS SOUS 290191 HAS SOUPS 287806 WITH SCORE 289776.805
AT ITER 9322 NEW BEST:: SOT 4624690 SOS 1970709 HAS SOPS 1946242 HAS SOUS 290043 HAS SOUPS 287658 WITH SCORE 289628.709
AT ITER 9338 NEW BEST:: SOT 4624670 SOS 1970549 HAS SOPS 1946082 HAS SOUS 290003 HAS SOUPS 287618 WITH SCORE 289588.549
AT ITER 9358 NEW BEST:: SOT 4624670 SOS 1970373 HAS SOPS 1945906 HAS SOUS 289997 HAS SOUPS 287612 WITH SCORE 289582.373
AT ITER 9395 NEW BEST:: SOT 4624676 SOS 1970379 HAS SOPS 1945912 HAS SOUS 289952 HAS SOUPS 287567 WITH SCORE 289537.379
AT ITER 9402 NEW BEST:: SOT 4624675 SOS 1970377 HAS SOPS 1945910 HAS SOUS 289950 HAS SOUPS 287565 WITH SCORE 289535.377
AT ITER 9403 NEW BEST:: SOT 4624694 SOS 1970371 HAS SOPS 1945904 HAS SOUS 289922 HAS SOUPS 287537 WITH SCORE 289507.371
AT ITER 9499 NEW BEST:: SOT 4624694 SOS 1854821 HAS SOPS 1830354 HAS SOUS 289922 HAS SOUPS 287537 WITH SCORE 289391.821
AT ITER 9504 NEW BEST:: SOT 4624643 SOS 1854787 HAS SOPS 1830320 HAS SOUS 289871 HAS SOUPS 287486 WITH SCORE 289340.787
AT ITER 9574 NEW BEST:: SOT 4624619 SOS 1854720 HAS SOPS 1830253 HAS SOUS 289828 HAS SOUPS 287443 WITH SCORE 289297.72
AT ITER 9582 NEW BEST:: SOT 4624676 SOS 1855080 HAS SOPS 1830689 HAS SOUS 289615 HAS SOUPS 287230 WITH SCORE 289085.08
AT ITER 9610 NEW BEST:: SOT 4624444 SOS 1854940 HAS SOPS 1830549 HAS SOUS 289392 HAS SOUPS 287007 WITH SCORE 288861.94
AT ITER 9626 NEW BEST:: SOT 4624444 SOS 1855012 HAS SOPS 1830621 HAS SOUS 289353 HAS SOUPS 286968 WITH SCORE 288823.012
AT ITER 9633 NEW BEST:: SOT 4624366 SOS 1854934 HAS SOPS 1830543 HAS SOUS 289275 HAS SOUPS 286890 WITH SCORE 288744.934
AT ITER 9641 NEW BEST:: SOT 4624363 SOS 1854928 HAS SOPS 1830537 HAS SOUS 289267 HAS SOUPS 286882 WITH SCORE 288736.928
AT ITER 9711 NEW BEST:: SOT 4624325 SOS 1854879 HAS SOPS 1830488 HAS SOUS 289218 HAS SOUPS 286833 WITH SCORE 288687.879
AT ITER 9758 NEW BEST:: SOT 4624337 SOS 1854888 HAS SOPS 1830497 HAS SOUS 289173 HAS SOUPS 286788 WITH SCORE 288642.888
AT ITER 9770 NEW BEST:: SOT 4624269 SOS 1854812 HAS SOPS 1830421 HAS SOUS 289037 HAS SOUPS 286652 WITH SCORE 288506.812
AT ITER 9804 NEW BEST:: SOT 4624304 SOS 1854847 HAS SOPS 1830436 HAS SOUS 289009 HAS SOUPS 286624 WITH SCORE 288478.847
AT ITER 9808 NEW BEST:: SOT 4624304 SOS 1854861 HAS SOPS 1830450 HAS SOUS 288995 HAS SOUPS 286610 WITH SCORE 288464.861
AT ITER 9847 NEW BEST:: SOT 4624255 SOS 1854903 HAS SOPS 1830492 HAS SOUS 288974 HAS SOUPS 286589 WITH SCORE 288443.903
AT ITER 9873 NEW BEST:: SOT 4624129 SOS 1854738 HAS SOPS 1830327 HAS SOUS 288827 HAS SOUPS 286442 WITH SCORE 288296.738
AT ITER 9900 NEW BEST:: SOT 4624129 SOS 1854702 HAS SOPS 1830291 HAS SOUS 288791 HAS SOUPS 286406 WITH SCORE 288260.702
AT ITER 9909 NEW BEST:: SOT 4624129 SOS 1854453 HAS SOPS 1830042 HAS SOUS 288791 HAS SOUPS 286406 WITH SCORE 288260.453
AT ITER 9918 NEW BEST:: SOT 4624105 SOS 1854416 HAS SOPS 1829994 HAS SOUS 288750 HAS SOUPS 286365 WITH SCORE 288219.416
AT ITER 9935 NEW BEST:: SOT 4624105 SOS 1854416 HAS SOPS 1829994 HAS SOUS 288745 HAS SOUPS 286360 WITH SCORE 288214.416
AT ITER 9973 NEW BEST:: SOT 4624110 SOS 1854424 HAS SOPS 1830002 HAS SOUS 288740 HAS SOUPS 286355 WITH SCORE 288209.424
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S06J06T08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S06J06T08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961354900552"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S06J06T08.tgz
mv PolyORBLF-PT-S06J06T08 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 '
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 ;