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.r048-ebro-158902541800152.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 CloudReconfiguration-PT-319, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541800152
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 820K
-rw-r--r-- 1 mcc users 3.3K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 661K 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 1589099188916

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

Filename model.pnml
Petri model created: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458368 SOS 744475 HAS SOPS 744475 HAS SOUS 686763 HAS SOUPS 686763 WITH SCORE 687507.475
AT ITER 23 NEW BEST:: SOT 4458271 SOS 744381 HAS SOPS 744381 HAS SOUS 686669 HAS SOUPS 686669 WITH SCORE 687413.381
AT ITER 33 NEW BEST:: SOT 4458095 SOS 744205 HAS SOPS 744205 HAS SOUS 686493 HAS SOUPS 686493 WITH SCORE 687237.205
AT ITER 36 NEW BEST:: SOT 4458095 SOS 743981 HAS SOPS 743981 HAS SOUS 686493 HAS SOUPS 686493 WITH SCORE 687236.981
AT ITER 39 NEW BEST:: SOT 4457948 SOS 743915 HAS SOPS 743915 HAS SOUS 686118 HAS SOUPS 686118 WITH SCORE 686861.915
AT ITER 119 NEW BEST:: SOT 4457542 SOS 743306 HAS SOPS 743306 HAS SOUS 685509 HAS SOUPS 685509 WITH SCORE 686252.306
AT ITER 125 NEW BEST:: SOT 4456874 SOS 747206 HAS SOPS 747206 HAS SOUS 685405 HAS SOUPS 685405 WITH SCORE 686152.206
AT ITER 133 NEW BEST:: SOT 4456650 SOS 747036 HAS SOPS 747036 HAS SOUS 685235 HAS SOUPS 685235 WITH SCORE 685982.036
AT ITER 143 NEW BEST:: SOT 4456106 SOS 746496 HAS SOPS 746496 HAS SOUS 684695 HAS SOUPS 684695 WITH SCORE 685441.496
AT ITER 182 NEW BEST:: SOT 4456003 SOS 746548 HAS SOPS 746548 HAS SOUS 684592 HAS SOUPS 684592 WITH SCORE 685338.548
AT ITER 192 NEW BEST:: SOT 4455940 SOS 746422 HAS SOPS 746422 HAS SOUS 684466 HAS SOUPS 684466 WITH SCORE 685212.422
AT ITER 203 NEW BEST:: SOT 4455863 SOS 745878 HAS SOPS 745878 HAS SOUS 683927 HAS SOUPS 683927 WITH SCORE 684672.878
AT ITER 235 NEW BEST:: SOT 4455843 SOS 745838 HAS SOPS 745838 HAS SOUS 683887 HAS SOUPS 683887 WITH SCORE 684632.838
AT ITER 239 NEW BEST:: SOT 4455609 SOS 746046 HAS SOPS 746046 HAS SOUS 683739 HAS SOUPS 683739 WITH SCORE 684485.046
AT ITER 241 NEW BEST:: SOT 4455476 SOS 745780 HAS SOPS 745780 HAS SOUS 683473 HAS SOUPS 683473 WITH SCORE 684218.78
AT ITER 248 NEW BEST:: SOT 4455476 SOS 745714 HAS SOPS 745714 HAS SOUS 683472 HAS SOUPS 683472 WITH SCORE 684217.714
AT ITER 251 NEW BEST:: SOT 4455336 SOS 745434 HAS SOPS 745434 HAS SOUS 683192 HAS SOUPS 683192 WITH SCORE 683937.434
AT ITER 257 NEW BEST:: SOT 4455167 SOS 745265 HAS SOPS 745265 HAS SOUS 683023 HAS SOUPS 683023 WITH SCORE 683768.265
AT ITER 262 NEW BEST:: SOT 4455116 SOS 745330 HAS SOPS 745330 HAS SOUS 683012 HAS SOUPS 683012 WITH SCORE 683757.33
AT ITER 296 NEW BEST:: SOT 4455042 SOS 745724 HAS SOPS 745724 HAS SOUS 682883 HAS SOUPS 682883 WITH SCORE 683628.724
AT ITER 308 NEW BEST:: SOT 4454876 SOS 745392 HAS SOPS 745392 HAS SOUS 682551 HAS SOUPS 682551 WITH SCORE 683296.392
AT ITER 315 NEW BEST:: SOT 4454876 SOS 745392 HAS SOPS 745392 HAS SOUS 682549 HAS SOUPS 682549 WITH SCORE 683294.392
AT ITER 355 NEW BEST:: SOT 4454481 SOS 745434 HAS SOPS 745434 HAS SOUS 682214 HAS SOUPS 682214 WITH SCORE 682959.434
AT ITER 381 NEW BEST:: SOT 4454163 SOS 745339 HAS SOPS 745339 HAS SOUS 682044 HAS SOUPS 682044 WITH SCORE 682789.339
AT ITER 396 NEW BEST:: SOT 4454075 SOS 745325 HAS SOPS 745325 HAS SOUS 681956 HAS SOUPS 681956 WITH SCORE 682701.325
AT ITER 399 NEW BEST:: SOT 4454471 SOS 745175 HAS SOPS 745175 HAS SOUS 681918 HAS SOUPS 681918 WITH SCORE 682663.175
AT ITER 423 NEW BEST:: SOT 4454050 SOS 744333 HAS SOPS 744333 HAS SOUS 681306 HAS SOUPS 681306 WITH SCORE 682050.333
AT ITER 430 NEW BEST:: SOT 4454050 SOS 744287 HAS SOPS 744287 HAS SOUS 681306 HAS SOUPS 681306 WITH SCORE 682050.287
AT ITER 433 NEW BEST:: SOT 4454050 SOS 744287 HAS SOPS 744287 HAS SOUS 681304 HAS SOUPS 681304 WITH SCORE 682048.287
AT ITER 452 NEW BEST:: SOT 4454003 SOS 744193 HAS SOPS 744193 HAS SOUS 681210 HAS SOUPS 681210 WITH SCORE 681954.193
AT ITER 465 NEW BEST:: SOT 4453664 SOS 743854 HAS SOPS 743854 HAS SOUS 680871 HAS SOUPS 680871 WITH SCORE 681614.854
AT ITER 468 NEW BEST:: SOT 4453730 SOS 743754 HAS SOPS 743754 HAS SOUS 680782 HAS SOUPS 680782 WITH SCORE 681525.754
AT ITER 513 NEW BEST:: SOT 4453860 SOS 744014 HAS SOPS 744014 HAS SOUS 680724 HAS SOUPS 680724 WITH SCORE 681468.014
AT ITER 535 NEW BEST:: SOT 4453817 SOS 743928 HAS SOPS 743928 HAS SOUS 680638 HAS SOUPS 680638 WITH SCORE 681381.928
AT ITER 548 NEW BEST:: SOT 4453561 SOS 744124 HAS SOPS 744124 HAS SOUS 680526 HAS SOUPS 680526 WITH SCORE 681270.124
AT ITER 555 NEW BEST:: SOT 4453605 SOS 744212 HAS SOPS 744212 HAS SOUS 680194 HAS SOUPS 680194 WITH SCORE 680938.212
AT ITER 557 NEW BEST:: SOT 4453605 SOS 744103 HAS SOPS 744103 HAS SOUS 680193 HAS SOUPS 680193 WITH SCORE 680937.103
AT ITER 564 NEW BEST:: SOT 4453426 SOS 743745 HAS SOPS 743745 HAS SOUS 679835 HAS SOUPS 679835 WITH SCORE 680578.745
AT ITER 571 NEW BEST:: SOT 4452642 SOS 743432 HAS SOPS 743432 HAS SOUS 679302 HAS SOUPS 679302 WITH SCORE 680045.432
AT ITER 577 NEW BEST:: SOT 4452415 SOS 742978 HAS SOPS 742978 HAS SOUS 678891 HAS SOUPS 678891 WITH SCORE 679633.978
AT ITER 599 NEW BEST:: SOT 4452302 SOS 742870 HAS SOPS 742870 HAS SOUS 678775 HAS SOUPS 678775 WITH SCORE 679517.87
AT ITER 618 NEW BEST:: SOT 4452264 SOS 742794 HAS SOPS 742794 HAS SOUS 678699 HAS SOUPS 678699 WITH SCORE 679441.794
AT ITER 656 NEW BEST:: SOT 4452264 SOS 742769 HAS SOPS 742769 HAS SOUS 678699 HAS SOUPS 678699 WITH SCORE 679441.769
AT ITER 662 NEW BEST:: SOT 4452185 SOS 742611 HAS SOPS 742611 HAS SOUS 678541 HAS SOUPS 678541 WITH SCORE 679283.611
AT ITER 665 NEW BEST:: SOT 4451985 SOS 742457 HAS SOPS 742457 HAS SOUS 678369 HAS SOUPS 678369 WITH SCORE 679111.457
AT ITER 675 NEW BEST:: SOT 4451847 SOS 742181 HAS SOPS 742181 HAS SOUS 678093 HAS SOUPS 678093 WITH SCORE 678835.181
AT ITER 695 NEW BEST:: SOT 4451709 SOS 742042 HAS SOPS 742042 HAS SOUS 677954 HAS SOUPS 677954 WITH SCORE 678696.042
AT ITER 716 NEW BEST:: SOT 4451709 SOS 742039 HAS SOPS 742039 HAS SOUS 677954 HAS SOUPS 677954 WITH SCORE 678696.039
AT ITER 718 NEW BEST:: SOT 4451596 SOS 741999 HAS SOPS 741999 HAS SOUS 677867 HAS SOUPS 677867 WITH SCORE 678608.999
AT ITER 770 NEW BEST:: SOT 4451530 SOS 741560 HAS SOPS 741560 HAS SOUS 677457 HAS SOUPS 677457 WITH SCORE 678198.56
AT ITER 773 NEW BEST:: SOT 4451530 SOS 741474 HAS SOPS 741474 HAS SOUS 677457 HAS SOUPS 677457 WITH SCORE 678198.474
AT ITER 783 NEW BEST:: SOT 4451721 SOS 741472 HAS SOPS 741472 HAS SOUS 677455 HAS SOUPS 677455 WITH SCORE 678196.472
AT ITER 789 NEW BEST:: SOT 4451725 SOS 741234 HAS SOPS 741234 HAS SOUS 677227 HAS SOUPS 677227 WITH SCORE 677968.234
AT ITER 798 NEW BEST:: SOT 4451011 SOS 740282 HAS SOPS 740282 HAS SOUS 676275 HAS SOUPS 676275 WITH SCORE 677015.282
AT ITER 823 NEW BEST:: SOT 4450657 SOS 739928 HAS SOPS 739928 HAS SOUS 675921 HAS SOUPS 675921 WITH SCORE 676660.928
AT ITER 850 NEW BEST:: SOT 4450447 SOS 740132 HAS SOPS 740132 HAS SOUS 675850 HAS SOUPS 675850 WITH SCORE 676590.132
AT ITER 853 NEW BEST:: SOT 4449835 SOS 740176 HAS SOPS 740176 HAS SOUS 675238 HAS SOUPS 675238 WITH SCORE 675978.176
AT ITER 892 NEW BEST:: SOT 4449834 SOS 740149 HAS SOPS 740149 HAS SOUS 675237 HAS SOUPS 675237 WITH SCORE 675977.149
AT ITER 894 NEW BEST:: SOT 4449763 SOS 740007 HAS SOPS 740007 HAS SOUS 675095 HAS SOUPS 675095 WITH SCORE 675835.007
AT ITER 901 NEW BEST:: SOT 4449730 SOS 739941 HAS SOPS 739941 HAS SOUS 675029 HAS SOUPS 675029 WITH SCORE 675768.941
AT ITER 922 NEW BEST:: SOT 4449730 SOS 739917 HAS SOPS 739917 HAS SOUS 675005 HAS SOUPS 675005 WITH SCORE 675744.917
AT ITER 1024 NEW BEST:: SOT 4449633 SOS 739502 HAS SOPS 739502 HAS SOUS 674597 HAS SOUPS 674597 WITH SCORE 675336.502
AT ITER 1059 NEW BEST:: SOT 4449584 SOS 739484 HAS SOPS 739484 HAS SOUS 674499 HAS SOUPS 674499 WITH SCORE 675238.484
AT ITER 1063 NEW BEST:: SOT 4449583 SOS 739482 HAS SOPS 739482 HAS SOUS 674497 HAS SOUPS 674497 WITH SCORE 675236.482
AT ITER 1065 NEW BEST:: SOT 4449424 SOS 739323 HAS SOPS 739323 HAS SOUS 674338 HAS SOUPS 674338 WITH SCORE 675077.323
AT ITER 1080 NEW BEST:: SOT 4449424 SOS 739294 HAS SOPS 739294 HAS SOUS 674338 HAS SOUPS 674338 WITH SCORE 675077.294
AT ITER 1102 NEW BEST:: SOT 4449312 SOS 739182 HAS SOPS 739182 HAS SOUS 674226 HAS SOUPS 674226 WITH SCORE 674965.182
AT ITER 1114 NEW BEST:: SOT 4449081 SOS 738501 HAS SOPS 738501 HAS SOUS 673551 HAS SOUPS 673551 WITH SCORE 674289.501
AT ITER 1115 NEW BEST:: SOT 4448919 SOS 738177 HAS SOPS 738177 HAS SOUS 673227 HAS SOUPS 673227 WITH SCORE 673965.177
AT ITER 1123 NEW BEST:: SOT 4448906 SOS 738151 HAS SOPS 738151 HAS SOUS 673160 HAS SOUPS 673160 WITH SCORE 673898.151
AT ITER 1141 NEW BEST:: SOT 4448735 SOS 738004 HAS SOPS 738004 HAS SOUS 673013 HAS SOUPS 673013 WITH SCORE 673751.004
AT ITER 1159 NEW BEST:: SOT 4448734 SOS 738002 HAS SOPS 738002 HAS SOUS 673011 HAS SOUPS 673011 WITH SCORE 673749.002
AT ITER 1168 NEW BEST:: SOT 4448624 SOS 738021 HAS SOPS 738021 HAS SOUS 672688 HAS SOUPS 672688 WITH SCORE 673426.021
AT ITER 1171 NEW BEST:: SOT 4448536 SOS 737935 HAS SOPS 737935 HAS SOUS 672602 HAS SOUPS 672602 WITH SCORE 673339.935
AT ITER 1194 NEW BEST:: SOT 4448353 SOS 737813 HAS SOPS 737813 HAS SOUS 672419 HAS SOUPS 672419 WITH SCORE 673156.813
AT ITER 1233 NEW BEST:: SOT 4448304 SOS 737764 HAS SOPS 737764 HAS SOUS 672418 HAS SOUPS 672418 WITH SCORE 673155.764
AT ITER 1274 NEW BEST:: SOT 4448207 SOS 737570 HAS SOPS 737570 HAS SOUS 672224 HAS SOUPS 672224 WITH SCORE 672961.57
AT ITER 1283 NEW BEST:: SOT 4448207 SOS 737570 HAS SOPS 737570 HAS SOUS 672223 HAS SOUPS 672223 WITH SCORE 672960.57
AT ITER 1286 NEW BEST:: SOT 4448165 SOS 737486 HAS SOPS 737486 HAS SOUS 672139 HAS SOUPS 672139 WITH SCORE 672876.486
AT ITER 1293 NEW BEST:: SOT 4448537 SOS 737108 HAS SOPS 737108 HAS SOUS 671950 HAS SOUPS 671950 WITH SCORE 672687.108
AT ITER 1338 NEW BEST:: SOT 4448439 SOS 736912 HAS SOPS 736912 HAS SOUS 671754 HAS SOUPS 671754 WITH SCORE 672490.912
AT ITER 1351 NEW BEST:: SOT 4448439 SOS 736733 HAS SOPS 736733 HAS SOUS 671642 HAS SOUPS 671642 WITH SCORE 672378.733
AT ITER 1371 NEW BEST:: SOT 4448202 SOS 736533 HAS SOPS 736533 HAS SOUS 671386 HAS SOUPS 671386 WITH SCORE 672122.533
AT ITER 1402 NEW BEST:: SOT 4448031 SOS 736191 HAS SOPS 736191 HAS SOUS 671044 HAS SOUPS 671044 WITH SCORE 671780.191
AT ITER 1443 NEW BEST:: SOT 4447982 SOS 736093 HAS SOPS 736093 HAS SOUS 670946 HAS SOUPS 670946 WITH SCORE 671682.093
AT ITER 1471 NEW BEST:: SOT 4447982 SOS 736093 HAS SOPS 736093 HAS SOUS 670651 HAS SOUPS 670651 WITH SCORE 671387.093
AT ITER 1495 NEW BEST:: SOT 4447855 SOS 735529 HAS SOPS 735529 HAS SOUS 670214 HAS SOUPS 670214 WITH SCORE 670949.529
AT ITER 1497 NEW BEST:: SOT 4447855 SOS 735429 HAS SOPS 735429 HAS SOUS 670213 HAS SOUPS 670213 WITH SCORE 670948.429
AT ITER 1523 NEW BEST:: SOT 4447630 SOS 734979 HAS SOPS 734979 HAS SOUS 669986 HAS SOUPS 669986 WITH SCORE 670720.979
AT ITER 1563 NEW BEST:: SOT 4447051 SOS 734400 HAS SOPS 734400 HAS SOUS 669407 HAS SOUPS 669407 WITH SCORE 670141.4
AT ITER 1589 NEW BEST:: SOT 4446886 SOS 734180 HAS SOPS 734180 HAS SOUS 669187 HAS SOUPS 669187 WITH SCORE 669921.18
AT ITER 1625 NEW BEST:: SOT 4446970 SOS 734348 HAS SOPS 734348 HAS SOUS 669074 HAS SOUPS 669074 WITH SCORE 669808.348
AT ITER 1629 NEW BEST:: SOT 4446970 SOS 734097 HAS SOPS 734097 HAS SOUS 668973 HAS SOUPS 668973 WITH SCORE 669707.097
AT ITER 1649 NEW BEST:: SOT 4447059 SOS 733928 HAS SOPS 733928 HAS SOUS 668804 HAS SOUPS 668804 WITH SCORE 669537.928
AT ITER 1668 NEW BEST:: SOT 4447059 SOS 733881 HAS SOPS 733881 HAS SOUS 668804 HAS SOUPS 668804 WITH SCORE 669537.881
AT ITER 1727 NEW BEST:: SOT 4446941 SOS 733645 HAS SOPS 733645 HAS SOUS 668568 HAS SOUPS 668568 WITH SCORE 669301.645
AT ITER 1758 NEW BEST:: SOT 4446851 SOS 733585 HAS SOPS 733585 HAS SOUS 668478 HAS SOUPS 668478 WITH SCORE 669211.585
AT ITER 1769 NEW BEST:: SOT 4446850 SOS 733583 HAS SOPS 733583 HAS SOUS 668476 HAS SOUPS 668476 WITH SCORE 669209.583
AT ITER 1788 NEW BEST:: SOT 4446639 SOS 733161 HAS SOPS 733161 HAS SOUS 668054 HAS SOUPS 668054 WITH SCORE 668787.161
AT ITER 1808 NEW BEST:: SOT 4444347 SOS 769821 HAS SOPS 769821 HAS SOUS 666903 HAS SOUPS 666903 WITH SCORE 667672.821
AT ITER 1814 NEW BEST:: SOT 4444303 SOS 769777 HAS SOPS 769777 HAS SOUS 666859 HAS SOUPS 666859 WITH SCORE 667628.777
AT ITER 1825 NEW BEST:: SOT 4444238 SOS 769647 HAS SOPS 769647 HAS SOUS 666432 HAS SOUPS 666432 WITH SCORE 667201.647
AT ITER 1883 NEW BEST:: SOT 4444238 SOS 769647 HAS SOPS 769647 HAS SOUS 666359 HAS SOUPS 666359 WITH SCORE 667128.647
AT ITER 1897 NEW BEST:: SOT 4444022 SOS 769431 HAS SOPS 769431 HAS SOUS 666351 HAS SOUPS 666351 WITH SCORE 667120.431
AT ITER 1931 NEW BEST:: SOT 4443920 SOS 769227 HAS SOPS 769227 HAS SOUS 666312 HAS SOUPS 666312 WITH SCORE 667081.227
AT ITER 1960 NEW BEST:: SOT 4443920 SOS 769074 HAS SOPS 769074 HAS SOUS 666311 HAS SOUPS 666311 WITH SCORE 667080.074
AT ITER 1973 NEW BEST:: SOT 4443912 SOS 769050 HAS SOPS 769050 HAS SOUS 666287 HAS SOUPS 666287 WITH SCORE 667056.05
AT ITER 1980 NEW BEST:: SOT 4443858 SOS 768942 HAS SOPS 768942 HAS SOUS 666179 HAS SOUPS 666179 WITH SCORE 666947.942
AT ITER 1997 NEW BEST:: SOT 4443856 SOS 768938 HAS SOPS 768938 HAS SOUS 666175 HAS SOUPS 666175 WITH SCORE 666943.938
AT ITER 2011 NEW BEST:: SOT 4443790 SOS 768806 HAS SOPS 768806 HAS SOUS 666043 HAS SOUPS 666043 WITH SCORE 666811.806
AT ITER 2035 NEW BEST:: SOT 4443790 SOS 768710 HAS SOPS 768710 HAS SOUS 665947 HAS SOUPS 665947 WITH SCORE 666715.71
AT ITER 2042 NEW BEST:: SOT 4443680 SOS 768732 HAS SOPS 768732 HAS SOUS 665906 HAS SOUPS 665906 WITH SCORE 666674.732
AT ITER 2044 NEW BEST:: SOT 4443578 SOS 768630 HAS SOPS 768630 HAS SOUS 665804 HAS SOUPS 665804 WITH SCORE 666572.63
AT ITER 2046 NEW BEST:: SOT 4443578 SOS 768339 HAS SOPS 768339 HAS SOUS 665804 HAS SOUPS 665804 WITH SCORE 666572.339
AT ITER 2060 NEW BEST:: SOT 4443244 SOS 767671 HAS SOPS 767671 HAS SOUS 665616 HAS SOUPS 665616 WITH SCORE 666383.671
AT ITER 2078 NEW BEST:: SOT 4443025 SOS 767517 HAS SOPS 767517 HAS SOUS 665416 HAS SOUPS 665416 WITH SCORE 666183.517
AT ITER 2089 NEW BEST:: SOT 4443025 SOS 767146 HAS SOPS 767146 HAS SOUS 665416 HAS SOUPS 665416 WITH SCORE 666183.146
AT ITER 2093 NEW BEST:: SOT 4442941 SOS 766556 HAS SOPS 766556 HAS SOUS 665167 HAS SOUPS 665167 WITH SCORE 665933.556
AT ITER 2138 NEW BEST:: SOT 4442941 SOS 766470 HAS SOPS 766470 HAS SOUS 665081 HAS SOUPS 665081 WITH SCORE 665847.47
AT ITER 2143 NEW BEST:: SOT 4442799 SOS 766186 HAS SOPS 766186 HAS SOUS 664797 HAS SOUPS 664797 WITH SCORE 665563.186
AT ITER 2146 NEW BEST:: SOT 4442799 SOS 766186 HAS SOPS 766186 HAS SOUS 664796 HAS SOUPS 664796 WITH SCORE 665562.186
AT ITER 2162 NEW BEST:: SOT 4442799 SOS 766186 HAS SOPS 766186 HAS SOUS 664616 HAS SOUPS 664616 WITH SCORE 665382.186
AT ITER 2171 NEW BEST:: SOT 4442602 SOS 766065 HAS SOPS 766065 HAS SOUS 664462 HAS SOUPS 664462 WITH SCORE 665228.065
AT ITER 2173 NEW BEST:: SOT 4442602 SOS 765866 HAS SOPS 765866 HAS SOUS 664461 HAS SOUPS 664461 WITH SCORE 665226.866
AT ITER 2201 NEW BEST:: SOT 4442536 SOS 765800 HAS SOPS 765800 HAS SOUS 664395 HAS SOUPS 664395 WITH SCORE 665160.8
AT ITER 2224 NEW BEST:: SOT 4442336 SOS 765599 HAS SOPS 765599 HAS SOUS 664194 HAS SOUPS 664194 WITH SCORE 664959.599
AT ITER 2253 NEW BEST:: SOT 4442331 SOS 765589 HAS SOPS 765589 HAS SOUS 664184 HAS SOUPS 664184 WITH SCORE 664949.589
AT ITER 2282 NEW BEST:: SOT 4442331 SOS 765589 HAS SOPS 765589 HAS SOUS 664137 HAS SOUPS 664137 WITH SCORE 664902.589
AT ITER 2285 NEW BEST:: SOT 4442330 SOS 765587 HAS SOPS 765587 HAS SOUS 664135 HAS SOUPS 664135 WITH SCORE 664900.587
AT ITER 2294 NEW BEST:: SOT 4442330 SOS 765512 HAS SOPS 765512 HAS SOUS 664060 HAS SOUPS 664060 WITH SCORE 664825.512
AT ITER 2307 NEW BEST:: SOT 4442330 SOS 765224 HAS SOPS 765224 HAS SOUS 663916 HAS SOUPS 663916 WITH SCORE 664681.224
AT ITER 2314 NEW BEST:: SOT 4442349 SOS 764792 HAS SOPS 764792 HAS SOUS 663484 HAS SOUPS 663484 WITH SCORE 664248.792
AT ITER 2331 NEW BEST:: SOT 4442144 SOS 764587 HAS SOPS 764587 HAS SOUS 663279 HAS SOUPS 663279 WITH SCORE 664043.587
AT ITER 2380 NEW BEST:: SOT 4441985 SOS 764589 HAS SOPS 764589 HAS SOUS 663143 HAS SOUPS 663143 WITH SCORE 663907.589
AT ITER 2392 NEW BEST:: SOT 4441802 SOS 764509 HAS SOPS 764509 HAS SOUS 662960 HAS SOUPS 662960 WITH SCORE 663724.509
AT ITER 2412 NEW BEST:: SOT 4441767 SOS 764439 HAS SOPS 764439 HAS SOUS 662890 HAS SOUPS 662890 WITH SCORE 663654.439
AT ITER 2421 NEW BEST:: SOT 4441639 SOS 764557 HAS SOPS 764557 HAS SOUS 662871 HAS SOUPS 662871 WITH SCORE 663635.557
AT ITER 2435 NEW BEST:: SOT 4441590 SOS 764459 HAS SOPS 764459 HAS SOUS 662773 HAS SOUPS 662773 WITH SCORE 663537.459
AT ITER 2453 NEW BEST:: SOT 4441562 SOS 764375 HAS SOPS 764375 HAS SOUS 662717 HAS SOUPS 662717 WITH SCORE 663481.375
AT ITER 2457 NEW BEST:: SOT 4441562 SOS 764375 HAS SOPS 764375 HAS SOUS 662716 HAS SOUPS 662716 WITH SCORE 663480.375
AT ITER 2464 NEW BEST:: SOT 4441444 SOS 764139 HAS SOPS 764139 HAS SOUS 662480 HAS SOUPS 662480 WITH SCORE 663244.139
AT ITER 2508 NEW BEST:: SOT 4441090 SOS 763785 HAS SOPS 763785 HAS SOUS 662126 HAS SOUPS 662126 WITH SCORE 662889.785
AT ITER 2510 NEW BEST:: SOT 4441089 SOS 763783 HAS SOPS 763783 HAS SOUS 662124 HAS SOUPS 662124 WITH SCORE 662887.783
AT ITER 2533 NEW BEST:: SOT 4440779 SOS 763466 HAS SOPS 763466 HAS SOUS 661693 HAS SOUPS 661693 WITH SCORE 662456.466
AT ITER 2535 NEW BEST:: SOT 4441167 SOS 763706 HAS SOPS 763706 HAS SOUS 661645 HAS SOUPS 661645 WITH SCORE 662408.706
AT ITER 2552 NEW BEST:: SOT 4441166 SOS 763704 HAS SOPS 763704 HAS SOUS 661643 HAS SOUPS 661643 WITH SCORE 662406.704
AT ITER 2617 NEW BEST:: SOT 4440810 SOS 766292 HAS SOPS 766292 HAS SOUS 661377 HAS SOUPS 661377 WITH SCORE 662143.292
AT ITER 2619 NEW BEST:: SOT 4440611 SOS 766093 HAS SOPS 766093 HAS SOUS 661377 HAS SOUPS 661377 WITH SCORE 662143.093
AT ITER 2645 NEW BEST:: SOT 4434407 SOS 770476 HAS SOPS 770476 HAS SOUS 655967 HAS SOUPS 655967 WITH SCORE 656737.476
AT ITER 2670 NEW BEST:: SOT 4434407 SOS 770476 HAS SOPS 770476 HAS SOUS 655964 HAS SOUPS 655964 WITH SCORE 656734.476
AT ITER 2688 NEW BEST:: SOT 4434407 SOS 770220 HAS SOPS 770220 HAS SOUS 655708 HAS SOUPS 655708 WITH SCORE 656478.22
AT ITER 2689 NEW BEST:: SOT 4434407 SOS 770088 HAS SOPS 770088 HAS SOUS 655708 HAS SOUPS 655708 WITH SCORE 656478.088
AT ITER 2691 NEW BEST:: SOT 4434334 SOS 769942 HAS SOPS 769942 HAS SOUS 655562 HAS SOUPS 655562 WITH SCORE 656331.942
AT ITER 2764 NEW BEST:: SOT 4434130 SOS 769534 HAS SOPS 769534 HAS SOUS 655395 HAS SOUPS 655395 WITH SCORE 656164.534
AT ITER 2809 NEW BEST:: SOT 4434079 SOS 769466 HAS SOPS 769466 HAS SOUS 655327 HAS SOUPS 655327 WITH SCORE 656096.466
AT ITER 2812 NEW BEST:: SOT 4434063 SOS 769450 HAS SOPS 769450 HAS SOUS 655311 HAS SOUPS 655311 WITH SCORE 656080.45
AT ITER 2817 NEW BEST:: SOT 4433904 SOS 769132 HAS SOPS 769132 HAS SOUS 655152 HAS SOUPS 655152 WITH SCORE 655921.132
AT ITER 2873 NEW BEST:: SOT 4433896 SOS 769116 HAS SOPS 769116 HAS SOUS 655136 HAS SOUPS 655136 WITH SCORE 655905.116
AT ITER 2882 NEW BEST:: SOT 4433839 SOS 769059 HAS SOPS 769059 HAS SOUS 655079 HAS SOUPS 655079 WITH SCORE 655848.059
AT ITER 2915 NEW BEST:: SOT 4433778 SOS 768998 HAS SOPS 768998 HAS SOUS 655018 HAS SOUPS 655018 WITH SCORE 655786.998
AT ITER 2944 NEW BEST:: SOT 4433755 SOS 768952 HAS SOPS 768952 HAS SOUS 654972 HAS SOUPS 654972 WITH SCORE 655740.952
AT ITER 2954 NEW BEST:: SOT 4433671 SOS 768913 HAS SOPS 768913 HAS SOUS 654933 HAS SOUPS 654933 WITH SCORE 655701.913
AT ITER 2955 NEW BEST:: SOT 4433671 SOS 768825 HAS SOPS 768825 HAS SOUS 654845 HAS SOUPS 654845 WITH SCORE 655613.825
AT ITER 2999 NEW BEST:: SOT 4433595 SOS 768749 HAS SOPS 768749 HAS SOUS 654769 HAS SOUPS 654769 WITH SCORE 655537.749
AT ITER 3007 NEW BEST:: SOT 4433415 SOS 768389 HAS SOPS 768389 HAS SOUS 654409 HAS SOUPS 654409 WITH SCORE 655177.389
AT ITER 3015 NEW BEST:: SOT 4433184 SOS 768081 HAS SOPS 768081 HAS SOUS 654101 HAS SOUPS 654101 WITH SCORE 654869.081
AT ITER 3035 NEW BEST:: SOT 4431776 SOS 766752 HAS SOPS 766752 HAS SOUS 652773 HAS SOUPS 652773 WITH SCORE 653539.752
AT ITER 3036 NEW BEST:: SOT 4430278 SOS 765254 HAS SOPS 765254 HAS SOUS 651275 HAS SOUPS 651275 WITH SCORE 652040.254
AT ITER 3053 NEW BEST:: SOT 4430282 SOS 765262 HAS SOPS 765262 HAS SOUS 651106 HAS SOUPS 651106 WITH SCORE 651871.262
AT ITER 3067 NEW BEST:: SOT 4430195 SOS 765088 HAS SOPS 765088 HAS SOUS 651019 HAS SOUPS 651019 WITH SCORE 651784.088
AT ITER 3068 NEW BEST:: SOT 4430195 SOS 765088 HAS SOPS 765088 HAS SOUS 651012 HAS SOUPS 651012 WITH SCORE 651777.088
AT ITER 3074 NEW BEST:: SOT 4429998 SOS 764889 HAS SOPS 764889 HAS SOUS 650852 HAS SOUPS 650852 WITH SCORE 651616.889
AT ITER 3077 NEW BEST:: SOT 4429327 SOS 763949 HAS SOPS 763949 HAS SOUS 649912 HAS SOUPS 649912 WITH SCORE 650675.949
AT ITER 3088 NEW BEST:: SOT 4429353 SOS 763825 HAS SOPS 763825 HAS SOUS 649788 HAS SOUPS 649788 WITH SCORE 650551.825
AT ITER 3112 NEW BEST:: SOT 4429289 SOS 763394 HAS SOPS 763394 HAS SOUS 649570 HAS SOUPS 649570 WITH SCORE 650333.394
AT ITER 3133 NEW BEST:: SOT 4429188 SOS 763308 HAS SOPS 763308 HAS SOUS 649469 HAS SOUPS 649469 WITH SCORE 650232.308
AT ITER 3137 NEW BEST:: SOT 4429187 SOS 763306 HAS SOPS 763306 HAS SOUS 649467 HAS SOUPS 649467 WITH SCORE 650230.306
AT ITER 3150 NEW BEST:: SOT 4428830 SOS 762952 HAS SOPS 762952 HAS SOUS 649064 HAS SOUPS 649064 WITH SCORE 649826.952
AT ITER 3156 NEW BEST:: SOT 4428830 SOS 762952 HAS SOPS 762952 HAS SOUS 649060 HAS SOUPS 649060 WITH SCORE 649822.952
AT ITER 3159 NEW BEST:: SOT 4428643 SOS 762578 HAS SOPS 762578 HAS SOUS 648686 HAS SOUPS 648686 WITH SCORE 649448.578
AT ITER 3199 NEW BEST:: SOT 4428642 SOS 762662 HAS SOPS 762662 HAS SOUS 648685 HAS SOUPS 648685 WITH SCORE 649447.662
AT ITER 3219 NEW BEST:: SOT 4428516 SOS 762410 HAS SOPS 762410 HAS SOUS 648433 HAS SOUPS 648433 WITH SCORE 649195.41
AT ITER 3239 NEW BEST:: SOT 4428472 SOS 762133 HAS SOPS 762133 HAS SOUS 648345 HAS SOUPS 648345 WITH SCORE 649107.133
AT ITER 3267 NEW BEST:: SOT 4428400 SOS 761989 HAS SOPS 761989 HAS SOUS 648201 HAS SOUPS 648201 WITH SCORE 648962.989
AT ITER 3288 NEW BEST:: SOT 4428183 SOS 761980 HAS SOPS 761980 HAS SOUS 648068 HAS SOUPS 648068 WITH SCORE 648829.98
AT ITER 3325 NEW BEST:: SOT 4427930 SOS 762095 HAS SOPS 762095 HAS SOUS 647969 HAS SOUPS 647969 WITH SCORE 648731.095
AT ITER 3352 NEW BEST:: SOT 4427930 SOS 762095 HAS SOPS 762095 HAS SOUS 647856 HAS SOUPS 647856 WITH SCORE 648618.095
AT ITER 3394 NEW BEST:: SOT 4427738 SOS 762098 HAS SOPS 762098 HAS SOUS 647731 HAS SOUPS 647731 WITH SCORE 648493.098
AT ITER 3397 NEW BEST:: SOT 4427737 SOS 762096 HAS SOPS 762096 HAS SOUS 647729 HAS SOUPS 647729 WITH SCORE 648491.096
AT ITER 3405 NEW BEST:: SOT 4427347 SOS 764291 HAS SOPS 764291 HAS SOUS 647545 HAS SOUPS 647545 WITH SCORE 648309.291
AT ITER 3447 NEW BEST:: SOT 4427294 SOS 764294 HAS SOPS 764294 HAS SOUS 647492 HAS SOUPS 647492 WITH SCORE 648256.294
AT ITER 3486 NEW BEST:: SOT 4427294 SOS 764037 HAS SOPS 764037 HAS SOUS 647491 HAS SOUPS 647491 WITH SCORE 648255.037
AT ITER 3495 NEW BEST:: SOT 4427251 SOS 763951 HAS SOPS 763951 HAS SOUS 647283 HAS SOUPS 647283 WITH SCORE 648046.951
AT ITER 3532 NEW BEST:: SOT 4427250 SOS 763908 HAS SOPS 763908 HAS SOUS 647241 HAS SOUPS 647241 WITH SCORE 648004.908
AT ITER 3557 NEW BEST:: SOT 4426953 SOS 763314 HAS SOPS 763314 HAS SOUS 646766 HAS SOUPS 646766 WITH SCORE 647529.314
AT ITER 3618 NEW BEST:: SOT 4426812 SOS 763032 HAS SOPS 763032 HAS SOUS 646484 HAS SOUPS 646484 WITH SCORE 647247.032
AT ITER 3625 NEW BEST:: SOT 4426812 SOS 763045 HAS SOPS 763045 HAS SOUS 646471 HAS SOUPS 646471 WITH SCORE 647234.045
AT ITER 3644 NEW BEST:: SOT 4426727 SOS 762875 HAS SOPS 762875 HAS SOUS 646326 HAS SOUPS 646326 WITH SCORE 647088.875
AT ITER 3686 NEW BEST:: SOT 4426588 SOS 762736 HAS SOPS 762736 HAS SOUS 646187 HAS SOUPS 646187 WITH SCORE 646949.736
AT ITER 3755 NEW BEST:: SOT 4426587 SOS 762587 HAS SOPS 762587 HAS SOUS 646184 HAS SOUPS 646184 WITH SCORE 646946.587
AT ITER 3811 NEW BEST:: SOT 4426334 SOS 762081 HAS SOPS 762081 HAS SOUS 645678 HAS SOUPS 645678 WITH SCORE 646440.081
AT ITER 3850 NEW BEST:: SOT 4426184 SOS 761981 HAS SOPS 761981 HAS SOUS 645528 HAS SOUPS 645528 WITH SCORE 646289.981
AT ITER 3861 NEW BEST:: SOT 4426184 SOS 762094 HAS SOPS 762094 HAS SOUS 645415 HAS SOUPS 645415 WITH SCORE 646177.094
AT ITER 3868 NEW BEST:: SOT 4426090 SOS 762000 HAS SOPS 762000 HAS SOUS 645321 HAS SOUPS 645321 WITH SCORE 646083.0
AT ITER 3872 NEW BEST:: SOT 4426090 SOS 761982 HAS SOPS 761982 HAS SOUS 645321 HAS SOUPS 645321 WITH SCORE 646082.982
AT ITER 3905 NEW BEST:: SOT 4426090 SOS 761767 HAS SOPS 761767 HAS SOUS 644973 HAS SOUPS 644973 WITH SCORE 645734.767
AT ITER 3906 NEW BEST:: SOT 4426008 SOS 761603 HAS SOPS 761603 HAS SOUS 644809 HAS SOUPS 644809 WITH SCORE 645570.603
AT ITER 3912 NEW BEST:: SOT 4426008 SOS 761603 HAS SOPS 761603 HAS SOUS 644726 HAS SOUPS 644726 WITH SCORE 645487.603
AT ITER 3999 NEW BEST:: SOT 4425942 SOS 761238 HAS SOPS 761238 HAS SOUS 644594 HAS SOUPS 644594 WITH SCORE 645355.238
AT ITER 4050 NEW BEST:: SOT 4425826 SOS 761006 HAS SOPS 761006 HAS SOUS 644293 HAS SOUPS 644293 WITH SCORE 645054.006
AT ITER 4075 NEW BEST:: SOT 4425637 SOS 760628 HAS SOPS 760628 HAS SOUS 644139 HAS SOUPS 644139 WITH SCORE 644899.628
AT ITER 4086 NEW BEST:: SOT 4425636 SOS 760626 HAS SOPS 760626 HAS SOUS 644137 HAS SOUPS 644137 WITH SCORE 644897.626
AT ITER 4087 NEW BEST:: SOT 4425557 SOS 760677 HAS SOPS 760677 HAS SOUS 644058 HAS SOUPS 644058 WITH SCORE 644818.677
AT ITER 4106 NEW BEST:: SOT 4425557 SOS 760492 HAS SOPS 760492 HAS SOUS 644057 HAS SOUPS 644057 WITH SCORE 644817.492
AT ITER 4114 NEW BEST:: SOT 4425330 SOS 759649 HAS SOPS 759649 HAS SOUS 643523 HAS SOUPS 643523 WITH SCORE 644282.649
AT ITER 4124 NEW BEST:: SOT 4425280 SOS 759549 HAS SOPS 759549 HAS SOUS 643423 HAS SOUPS 643423 WITH SCORE 644182.549
AT ITER 4136 NEW BEST:: SOT 4425232 SOS 759453 HAS SOPS 759453 HAS SOUS 643327 HAS SOUPS 643327 WITH SCORE 644086.453
AT ITER 4143 NEW BEST:: SOT 4425213 SOS 757521 HAS SOPS 757521 HAS SOUS 643062 HAS SOUPS 643062 WITH SCORE 643819.521
AT ITER 4152 NEW BEST:: SOT 4424970 SOS 757542 HAS SOPS 757542 HAS SOUS 642948 HAS SOUPS 642948 WITH SCORE 643705.542
AT ITER 4194 NEW BEST:: SOT 4424769 SOS 757540 HAS SOPS 757540 HAS SOUS 642746 HAS SOUPS 642746 WITH SCORE 643503.54
AT ITER 4196 NEW BEST:: SOT 4424769 SOS 757540 HAS SOPS 757540 HAS SOUS 642745 HAS SOUPS 642745 WITH SCORE 643502.54
AT ITER 4204 NEW BEST:: SOT 4424527 SOS 757056 HAS SOPS 757056 HAS SOUS 642261 HAS SOUPS 642261 WITH SCORE 643018.056
AT ITER 4211 NEW BEST:: SOT 4424542 SOS 756879 HAS SOPS 756879 HAS SOUS 642253 HAS SOUPS 642253 WITH SCORE 643009.879
AT ITER 4214 NEW BEST:: SOT 4424356 SOS 757051 HAS SOPS 757051 HAS SOUS 642160 HAS SOUPS 642160 WITH SCORE 642917.051
AT ITER 4230 NEW BEST:: SOT 4424355 SOS 757049 HAS SOPS 757049 HAS SOUS 642158 HAS SOUPS 642158 WITH SCORE 642915.049
AT ITER 4232 NEW BEST:: SOT 4423590 SOS 756541 HAS SOPS 756541 HAS SOUS 641464 HAS SOUPS 641464 WITH SCORE 642220.541
AT ITER 4245 NEW BEST:: SOT 4423414 SOS 756189 HAS SOPS 756189 HAS SOUS 641288 HAS SOUPS 641288 WITH SCORE 642044.189
AT ITER 4248 NEW BEST:: SOT 4423414 SOS 756053 HAS SOPS 756053 HAS SOUS 641152 HAS SOUPS 641152 WITH SCORE 641908.053
AT ITER 4276 NEW BEST:: SOT 4423414 SOS 755991 HAS SOPS 755991 HAS SOUS 641152 HAS SOUPS 641152 WITH SCORE 641907.991
AT ITER 4278 NEW BEST:: SOT 4423336 SOS 755991 HAS SOPS 755991 HAS SOUS 641150 HAS SOUPS 641150 WITH SCORE 641905.991
AT ITER 4304 NEW BEST:: SOT 4423335 SOS 755989 HAS SOPS 755989 HAS SOUS 641148 HAS SOUPS 641148 WITH SCORE 641903.989
AT ITER 4307 NEW BEST:: SOT 4423125 SOS 755843 HAS SOPS 755843 HAS SOUS 641062 HAS SOUPS 641062 WITH SCORE 641817.843
AT ITER 4311 NEW BEST:: SOT 4423061 SOS 755369 HAS SOPS 755369 HAS SOUS 640486 HAS SOUPS 640486 WITH SCORE 641241.369
AT ITER 4315 NEW BEST:: SOT 4422981 SOS 755209 HAS SOPS 755209 HAS SOUS 640326 HAS SOUPS 640326 WITH SCORE 641081.209
AT ITER 4326 NEW BEST:: SOT 4422981 SOS 755183 HAS SOPS 755183 HAS SOUS 640300 HAS SOUPS 640300 WITH SCORE 641055.183
AT ITER 4352 NEW BEST:: SOT 4422899 SOS 755019 HAS SOPS 755019 HAS SOUS 640136 HAS SOUPS 640136 WITH SCORE 640891.019
AT ITER 4356 NEW BEST:: SOT 4422899 SOS 754815 HAS SOPS 754815 HAS SOUS 640136 HAS SOUPS 640136 WITH SCORE 640890.815
AT ITER 4374 NEW BEST:: SOT 4422884 SOS 754785 HAS SOPS 754785 HAS SOUS 640134 HAS SOUPS 640134 WITH SCORE 640888.785
AT ITER 4417 NEW BEST:: SOT 4422726 SOS 754469 HAS SOPS 754469 HAS SOUS 639735 HAS SOUPS 639735 WITH SCORE 640489.469
AT ITER 4421 NEW BEST:: SOT 4422560 SOS 754441 HAS SOPS 754441 HAS SOUS 639707 HAS SOUPS 639707 WITH SCORE 640461.441
AT ITER 4429 NEW BEST:: SOT 4422434 SOS 754189 HAS SOPS 754189 HAS SOUS 639455 HAS SOUPS 639455 WITH SCORE 640209.189
AT ITER 4431 NEW BEST:: SOT 4422606 SOS 753967 HAS SOPS 753967 HAS SOUS 639412 HAS SOUPS 639412 WITH SCORE 640165.967
AT ITER 4440 NEW BEST:: SOT 4422455 SOS 753665 HAS SOPS 753665 HAS SOUS 639110 HAS SOUPS 639110 WITH SCORE 639863.665
AT ITER 4449 NEW BEST:: SOT 4422431 SOS 753617 HAS SOPS 753617 HAS SOUS 639086 HAS SOUPS 639086 WITH SCORE 639839.617
AT ITER 4454 NEW BEST:: SOT 4422533 SOS 753047 HAS SOPS 753047 HAS SOUS 638988 HAS SOUPS 638988 WITH SCORE 639741.047
AT ITER 4460 NEW BEST:: SOT 4422380 SOS 752741 HAS SOPS 752741 HAS SOUS 638703 HAS SOUPS 638703 WITH SCORE 639455.741
AT ITER 4519 NEW BEST:: SOT 4422374 SOS 752729 HAS SOPS 752729 HAS SOUS 638691 HAS SOUPS 638691 WITH SCORE 639443.729
AT ITER 4527 NEW BEST:: SOT 4422392 SOS 752273 HAS SOPS 752273 HAS SOUS 638217 HAS SOUPS 638217 WITH SCORE 638969.273
AT ITER 4528 NEW BEST:: SOT 4422271 SOS 751854 HAS SOPS 751854 HAS SOUS 637919 HAS SOUPS 637919 WITH SCORE 638670.854
AT ITER 4544 NEW BEST:: SOT 4422231 SOS 751774 HAS SOPS 751774 HAS SOUS 637839 HAS SOUPS 637839 WITH SCORE 638590.774
AT ITER 4545 NEW BEST:: SOT 4422197 SOS 751706 HAS SOPS 751706 HAS SOUS 637771 HAS SOUPS 637771 WITH SCORE 638522.706
AT ITER 4581 NEW BEST:: SOT 4422129 SOS 751570 HAS SOPS 751570 HAS SOUS 637635 HAS SOUPS 637635 WITH SCORE 638386.57
AT ITER 4585 NEW BEST:: SOT 4419961 SOS 767352 HAS SOPS 767352 HAS SOUS 635943 HAS SOUPS 635943 WITH SCORE 636710.352
AT ITER 4592 NEW BEST:: SOT 4420033 SOS 767195 HAS SOPS 767195 HAS SOUS 635900 HAS SOUPS 635900 WITH SCORE 636667.195
AT ITER 4607 NEW BEST:: SOT 4420032 SOS 767193 HAS SOPS 767193 HAS SOUS 635898 HAS SOUPS 635898 WITH SCORE 636665.193
AT ITER 4614 NEW BEST:: SOT 4420031 SOS 767191 HAS SOPS 767191 HAS SOUS 635896 HAS SOUPS 635896 WITH SCORE 636663.191
AT ITER 4646 NEW BEST:: SOT 4420031 SOS 767022 HAS SOPS 767022 HAS SOUS 635896 HAS SOUPS 635896 WITH SCORE 636663.022
AT ITER 4669 NEW BEST:: SOT 4420028 SOS 767016 HAS SOPS 767016 HAS SOUS 635890 HAS SOUPS 635890 WITH SCORE 636657.016
AT ITER 4673 NEW BEST:: SOT 4419906 SOS 767074 HAS SOPS 767074 HAS SOUS 635829 HAS SOUPS 635829 WITH SCORE 636596.074
AT ITER 4676 NEW BEST:: SOT 4419856 SOS 766974 HAS SOPS 766974 HAS SOUS 635729 HAS SOUPS 635729 WITH SCORE 636495.974
AT ITER 4681 NEW BEST:: SOT 4419795 SOS 767009 HAS SOPS 767009 HAS SOUS 635684 HAS SOUPS 635684 WITH SCORE 636451.009
AT ITER 4691 NEW BEST:: SOT 4420032 SOS 767173 HAS SOPS 767173 HAS SOUS 635561 HAS SOUPS 635561 WITH SCORE 636328.173
AT ITER 4743 NEW BEST:: SOT 4419800 SOS 766709 HAS SOPS 766709 HAS SOUS 635097 HAS SOUPS 635097 WITH SCORE 635863.709
AT ITER 4749 NEW BEST:: SOT 4419799 SOS 766707 HAS SOPS 766707 HAS SOUS 635096 HAS SOUPS 635096 WITH SCORE 635862.707
AT ITER 4786 NEW BEST:: SOT 4419687 SOS 766595 HAS SOPS 766595 HAS SOUS 634872 HAS SOUPS 634872 WITH SCORE 635638.595
AT ITER 4809 NEW BEST:: SOT 4419710 SOS 766618 HAS SOPS 766618 HAS SOUS 634871 HAS SOUPS 634871 WITH SCORE 635637.618
AT ITER 4816 NEW BEST:: SOT 4419728 SOS 766654 HAS SOPS 766654 HAS SOUS 634616 HAS SOUPS 634616 WITH SCORE 635382.654
AT ITER 4818 NEW BEST:: SOT 4419798 SOS 766794 HAS SOPS 766794 HAS SOUS 634418 HAS SOUPS 634418 WITH SCORE 635184.794
AT ITER 4846 NEW BEST:: SOT 4419051 SOS 766296 HAS SOPS 766296 HAS SOUS 633671 HAS SOUPS 633671 WITH SCORE 634437.296
AT ITER 4853 NEW BEST:: SOT 4418993 SOS 766180 HAS SOPS 766180 HAS SOUS 633555 HAS SOUPS 633555 WITH SCORE 634321.18
AT ITER 4864 NEW BEST:: SOT 4418737 SOS 765924 HAS SOPS 765924 HAS SOUS 633363 HAS SOUPS 633363 WITH SCORE 634128.924
AT ITER 4866 NEW BEST:: SOT 4418736 SOS 765922 HAS SOPS 765922 HAS SOUS 633361 HAS SOUPS 633361 WITH SCORE 634126.922
AT ITER 4884 NEW BEST:: SOT 4418696 SOS 765842 HAS SOPS 765842 HAS SOUS 633281 HAS SOUPS 633281 WITH SCORE 634046.842
AT ITER 4900 NEW BEST:: SOT 4418136 SOS 766489 HAS SOPS 766489 HAS SOUS 633181 HAS SOUPS 633181 WITH SCORE 633947.489
AT ITER 4910 NEW BEST:: SOT 4418146 SOS 766509 HAS SOPS 766509 HAS SOUS 633014 HAS SOUPS 633014 WITH SCORE 633780.509
AT ITER 4937 NEW BEST:: SOT 4418073 SOS 766436 HAS SOPS 766436 HAS SOUS 632941 HAS SOUPS 632941 WITH SCORE 633707.436
AT ITER 4938 NEW BEST:: SOT 4418073 SOS 766374 HAS SOPS 766374 HAS SOUS 632941 HAS SOUPS 632941 WITH SCORE 633707.374
AT ITER 4952 NEW BEST:: SOT 4418033 SOS 766294 HAS SOPS 766294 HAS SOUS 632861 HAS SOUPS 632861 WITH SCORE 633627.294
AT ITER 4958 NEW BEST:: SOT 4418033 SOS 766028 HAS SOPS 766028 HAS SOUS 632728 HAS SOUPS 632728 WITH SCORE 633494.028
AT ITER 5004 NEW BEST:: SOT 4417897 SOS 765756 HAS SOPS 765756 HAS SOUS 632592 HAS SOUPS 632592 WITH SCORE 633357.756
AT ITER 5005 NEW BEST:: SOT 4417890 SOS 765749 HAS SOPS 765749 HAS SOUS 632585 HAS SOUPS 632585 WITH SCORE 633350.749
AT ITER 5009 NEW BEST:: SOT 4417832 SOS 765633 HAS SOPS 765633 HAS SOUS 632527 HAS SOUPS 632527 WITH SCORE 633292.633
AT ITER 5023 NEW BEST:: SOT 4417832 SOS 765377 HAS SOPS 765377 HAS SOUS 632527 HAS SOUPS 632527 WITH SCORE 633292.377
AT ITER 5047 NEW BEST:: SOT 4418069 SOS 765605 HAS SOPS 765605 HAS SOUS 632518 HAS SOUPS 632518 WITH SCORE 633283.605
AT ITER 5073 NEW BEST:: SOT 4417995 SOS 765531 HAS SOPS 765531 HAS SOUS 632516 HAS SOUPS 632516 WITH SCORE 633281.531
AT ITER 5083 NEW BEST:: SOT 4417995 SOS 765531 HAS SOPS 765531 HAS SOUS 632489 HAS SOUPS 632489 WITH SCORE 633254.531
AT ITER 5099 NEW BEST:: SOT 4417905 SOS 765480 HAS SOPS 765480 HAS SOUS 632442 HAS SOUPS 632442 WITH SCORE 633207.48
AT ITER 5115 NEW BEST:: SOT 4417886 SOS 765324 HAS SOPS 765324 HAS SOUS 632404 HAS SOUPS 632404 WITH SCORE 633169.324
AT ITER 5120 NEW BEST:: SOT 4417731 SOS 765149 HAS SOPS 765149 HAS SOUS 632229 HAS SOUPS 632229 WITH SCORE 632994.149
AT ITER 5124 NEW BEST:: SOT 4417603 SOS 765021 HAS SOPS 765021 HAS SOUS 632101 HAS SOUPS 632101 WITH SCORE 632866.021
AT ITER 5130 NEW BEST:: SOT 4417431 SOS 764677 HAS SOPS 764677 HAS SOUS 631530 HAS SOUPS 631530 WITH SCORE 632294.677
AT ITER 5162 NEW BEST:: SOT 4417213 SOS 764241 HAS SOPS 764241 HAS SOUS 631206 HAS SOUPS 631206 WITH SCORE 631970.241
AT ITER 5178 NEW BEST:: SOT 4417006 SOS 763954 HAS SOPS 763954 HAS SOUS 630919 HAS SOUPS 630919 WITH SCORE 631682.954
AT ITER 5182 NEW BEST:: SOT 4416935 SOS 763812 HAS SOPS 763812 HAS SOUS 630777 HAS SOUPS 630777 WITH SCORE 631540.812
AT ITER 5190 NEW BEST:: SOT 4416935 SOS 763812 HAS SOPS 763812 HAS SOUS 630776 HAS SOUPS 630776 WITH SCORE 631539.812
AT ITER 5217 NEW BEST:: SOT 4416801 SOS 763499 HAS SOPS 763499 HAS SOUS 630690 HAS SOUPS 630690 WITH SCORE 631453.499
AT ITER 5233 NEW BEST:: SOT 4416801 SOS 763489 HAS SOPS 763489 HAS SOUS 630680 HAS SOUPS 630680 WITH SCORE 631443.489
AT ITER 5257 NEW BEST:: SOT 4416784 SOS 763455 HAS SOPS 763455 HAS SOUS 630646 HAS SOUPS 630646 WITH SCORE 631409.455
AT ITER 5273 NEW BEST:: SOT 4416765 SOS 763221 HAS SOPS 763221 HAS SOUS 630608 HAS SOUPS 630608 WITH SCORE 631371.221
AT ITER 5293 NEW BEST:: SOT 4416545 SOS 763020 HAS SOPS 763020 HAS SOUS 630388 HAS SOUPS 630388 WITH SCORE 631151.02
AT ITER 5304 NEW BEST:: SOT 4416565 SOS 762980 HAS SOPS 762980 HAS SOUS 630388 HAS SOUPS 630388 WITH SCORE 631150.98
AT ITER 5305 NEW BEST:: SOT 4416560 SOS 762970 HAS SOPS 762970 HAS SOUS 630378 HAS SOUPS 630378 WITH SCORE 631140.97
AT ITER 5309 NEW BEST:: SOT 4416536 SOS 762922 HAS SOPS 762922 HAS SOUS 630354 HAS SOUPS 630354 WITH SCORE 631116.922
AT ITER 5319 NEW BEST:: SOT 4416442 SOS 762582 HAS SOPS 762582 HAS SOUS 630019 HAS SOUPS 630019 WITH SCORE 630781.582
AT ITER 5324 NEW BEST:: SOT 4416401 SOS 762500 HAS SOPS 762500 HAS SOUS 629978 HAS SOUPS 629978 WITH SCORE 630740.5
AT ITER 5326 NEW BEST:: SOT 4416080 SOS 761858 HAS SOPS 761858 HAS SOUS 629963 HAS SOUPS 629963 WITH SCORE 630724.858
AT ITER 5334 NEW BEST:: SOT 4415811 SOS 761320 HAS SOPS 761320 HAS SOUS 629524 HAS SOUPS 629524 WITH SCORE 630285.32
AT ITER 5395 NEW BEST:: SOT 4415698 SOS 761231 HAS SOPS 761231 HAS SOUS 629411 HAS SOUPS 629411 WITH SCORE 630172.231
AT ITER 5406 NEW BEST:: SOT 4415698 SOS 761231 HAS SOPS 761231 HAS SOUS 629339 HAS SOUPS 629339 WITH SCORE 630100.231
AT ITER 5433 NEW BEST:: SOT 4415640 SOS 761173 HAS SOPS 761173 HAS SOUS 629281 HAS SOUPS 629281 WITH SCORE 630042.173
AT ITER 5437 NEW BEST:: SOT 4415611 SOS 761115 HAS SOPS 761115 HAS SOUS 629223 HAS SOUPS 629223 WITH SCORE 629984.115
AT ITER 5458 NEW BEST:: SOT 4415369 SOS 760631 HAS SOPS 760631 HAS SOUS 628521 HAS SOUPS 628521 WITH SCORE 629281.631
AT ITER 5504 NEW BEST:: SOT 4415369 SOS 760521 HAS SOPS 760521 HAS SOUS 628520 HAS SOUPS 628520 WITH SCORE 629280.521
AT ITER 5531 NEW BEST:: SOT 4415282 SOS 760495 HAS SOPS 760495 HAS SOUS 628494 HAS SOUPS 628494 WITH SCORE 629254.495
AT ITER 5541 NEW BEST:: SOT 4415282 SOS 760378 HAS SOPS 760378 HAS SOUS 628494 HAS SOUPS 628494 WITH SCORE 629254.378
AT ITER 5543 NEW BEST:: SOT 4414836 SOS 759486 HAS SOPS 759486 HAS SOUS 628181 HAS SOUPS 628181 WITH SCORE 628940.486
AT ITER 5564 NEW BEST:: SOT 4414809 SOS 759432 HAS SOPS 759432 HAS SOUS 628151 HAS SOUPS 628151 WITH SCORE 628910.432
AT ITER 5570 NEW BEST:: SOT 4414741 SOS 759296 HAS SOPS 759296 HAS SOUS 628015 HAS SOUPS 628015 WITH SCORE 628774.296
AT ITER 5600 NEW BEST:: SOT 4414741 SOS 759064 HAS SOPS 759064 HAS SOUS 628015 HAS SOUPS 628015 WITH SCORE 628774.064
AT ITER 5602 NEW BEST:: SOT 4414533 SOS 758856 HAS SOPS 758856 HAS SOUS 627807 HAS SOUPS 627807 WITH SCORE 628565.856
AT ITER 5605 NEW BEST:: SOT 4414352 SOS 758494 HAS SOPS 758494 HAS SOUS 627445 HAS SOUPS 627445 WITH SCORE 628203.494
AT ITER 5653 NEW BEST:: SOT 4414301 SOS 758392 HAS SOPS 758392 HAS SOUS 627343 HAS SOUPS 627343 WITH SCORE 628101.392
AT ITER 5678 NEW BEST:: SOT 4414222 SOS 758313 HAS SOPS 758313 HAS SOUS 627264 HAS SOUPS 627264 WITH SCORE 628022.313
AT ITER 5682 NEW BEST:: SOT 4413981 SOS 758072 HAS SOPS 758072 HAS SOUS 627067 HAS SOUPS 627067 WITH SCORE 627825.072
AT ITER 5694 NEW BEST:: SOT 4413829 SOS 757920 HAS SOPS 757920 HAS SOUS 626915 HAS SOUPS 626915 WITH SCORE 627672.92
AT ITER 5713 NEW BEST:: SOT 4413738 SOS 757738 HAS SOPS 757738 HAS SOUS 626733 HAS SOUPS 626733 WITH SCORE 627490.738
AT ITER 5740 NEW BEST:: SOT 4413522 SOS 757306 HAS SOPS 757306 HAS SOUS 626530 HAS SOUPS 626530 WITH SCORE 627287.306
AT ITER 5765 NEW BEST:: SOT 4413376 SOS 757014 HAS SOPS 757014 HAS SOUS 626238 HAS SOUPS 626238 WITH SCORE 626995.014
AT ITER 5769 NEW BEST:: SOT 4413376 SOS 756997 HAS SOPS 756997 HAS SOUS 626221 HAS SOUPS 626221 WITH SCORE 626977.997
AT ITER 5790 NEW BEST:: SOT 4413185 SOS 756615 HAS SOPS 756615 HAS SOUS 626030 HAS SOUPS 626030 WITH SCORE 626786.615
AT ITER 5823 NEW BEST:: SOT 4413155 SOS 756555 HAS SOPS 756555 HAS SOUS 626004 HAS SOUPS 626004 WITH SCORE 626760.555
AT ITER 5844 NEW BEST:: SOT 4413151 SOS 756416 HAS SOPS 756416 HAS SOUS 625933 HAS SOUPS 625933 WITH SCORE 626689.416
AT ITER 5887 NEW BEST:: SOT 4413037 SOS 756307 HAS SOPS 756307 HAS SOUS 625862 HAS SOUPS 625862 WITH SCORE 626618.307
AT ITER 5939 NEW BEST:: SOT 4412847 SOS 755927 HAS SOPS 755927 HAS SOUS 625482 HAS SOUPS 625482 WITH SCORE 626237.927
AT ITER 5957 NEW BEST:: SOT 4412679 SOS 755859 HAS SOPS 755859 HAS SOUS 625345 HAS SOUPS 625345 WITH SCORE 626100.859
AT ITER 5966 NEW BEST:: SOT 4412354 SOS 754709 HAS SOPS 754709 HAS SOUS 624695 HAS SOUPS 624695 WITH SCORE 625449.709
AT ITER 5967 NEW BEST:: SOT 4412354 SOS 754664 HAS SOPS 754664 HAS SOUS 624694 HAS SOUPS 624694 WITH SCORE 625448.664
AT ITER 5976 NEW BEST:: SOT 4412110 SOS 754996 HAS SOPS 754996 HAS SOUS 624614 HAS SOUPS 624614 WITH SCORE 625368.996
AT ITER 5977 NEW BEST:: SOT 4412110 SOS 754996 HAS SOPS 754996 HAS SOUS 624465 HAS SOUPS 624465 WITH SCORE 625219.996
AT ITER 6005 NEW BEST:: SOT 4412110 SOS 754996 HAS SOPS 754996 HAS SOUS 624428 HAS SOUPS 624428 WITH SCORE 625182.996
AT ITER 6039 NEW BEST:: SOT 4412110 SOS 754996 HAS SOPS 754996 HAS SOUS 624304 HAS SOUPS 624304 WITH SCORE 625058.996
AT ITER 6053 NEW BEST:: SOT 4412061 SOS 754898 HAS SOPS 754898 HAS SOUS 624206 HAS SOUPS 624206 WITH SCORE 624960.898
AT ITER 6103 NEW BEST:: SOT 4411947 SOS 755198 HAS SOPS 755198 HAS SOUS 624202 HAS SOUPS 624202 WITH SCORE 624957.198
AT ITER 6107 NEW BEST:: SOT 4411748 SOS 754999 HAS SOPS 754999 HAS SOUS 624003 HAS SOUPS 624003 WITH SCORE 624757.999
AT ITER 6110 NEW BEST:: SOT 4411652 SOS 754326 HAS SOPS 754326 HAS SOUS 623811 HAS SOUPS 623811 WITH SCORE 624565.326
AT ITER 6123 NEW BEST:: SOT 4411652 SOS 754118 HAS SOPS 754118 HAS SOUS 623811 HAS SOUPS 623811 WITH SCORE 624565.118
AT ITER 6136 NEW BEST:: SOT 4411444 SOS 753858 HAS SOPS 753858 HAS SOUS 623551 HAS SOUPS 623551 WITH SCORE 624304.858
AT ITER 6158 NEW BEST:: SOT 4411408 SOS 753786 HAS SOPS 753786 HAS SOUS 623515 HAS SOUPS 623515 WITH SCORE 624268.786
AT ITER 6181 NEW BEST:: SOT 4411363 SOS 753852 HAS SOPS 753852 HAS SOUS 623425 HAS SOUPS 623425 WITH SCORE 624178.852
AT ITER 6188 NEW BEST:: SOT 4411344 SOS 753814 HAS SOPS 753814 HAS SOUS 623406 HAS SOUPS 623406 WITH SCORE 624159.814
AT ITER 6195 NEW BEST:: SOT 4410639 SOS 753344 HAS SOPS 753344 HAS SOUS 622701 HAS SOUPS 622701 WITH SCORE 623454.344
AT ITER 6210 NEW BEST:: SOT 4410636 SOS 753338 HAS SOPS 753338 HAS SOUS 622522 HAS SOUPS 622522 WITH SCORE 623275.338
AT ITER 6253 NEW BEST:: SOT 4410611 SOS 753288 HAS SOPS 753288 HAS SOUS 622443 HAS SOUPS 622443 WITH SCORE 623196.288
AT ITER 6302 NEW BEST:: SOT 4410602 SOS 753270 HAS SOPS 753270 HAS SOUS 622425 HAS SOUPS 622425 WITH SCORE 623178.27
AT ITER 6306 NEW BEST:: SOT 4410308 SOS 753025 HAS SOPS 753025 HAS SOUS 622180 HAS SOUPS 622180 WITH SCORE 622933.025
AT ITER 6309 NEW BEST:: SOT 4410283 SOS 752975 HAS SOPS 752975 HAS SOUS 622130 HAS SOUPS 622130 WITH SCORE 622882.975
AT ITER 6315 NEW BEST:: SOT 4410197 SOS 752889 HAS SOPS 752889 HAS SOUS 621958 HAS SOUPS 621958 WITH SCORE 622710.889
AT ITER 6317 NEW BEST:: SOT 4409865 SOS 752557 HAS SOPS 752557 HAS SOUS 621626 HAS SOUPS 621626 WITH SCORE 622378.557
AT ITER 6327 NEW BEST:: SOT 4409713 SOS 752253 HAS SOPS 752253 HAS SOUS 621322 HAS SOUPS 621322 WITH SCORE 622074.253
AT ITER 6343 NEW BEST:: SOT 4409713 SOS 752245 HAS SOPS 752245 HAS SOUS 621318 HAS SOUPS 621318 WITH SCORE 622070.245
AT ITER 6359 NEW BEST:: SOT 4409712 SOS 752243 HAS SOPS 752243 HAS SOUS 621316 HAS SOUPS 621316 WITH SCORE 622068.243
AT ITER 6375 NEW BEST:: SOT 4409804 SOS 752427 HAS SOPS 752427 HAS SOUS 621189 HAS SOUPS 621189 WITH SCORE 621941.427
AT ITER 6387 NEW BEST:: SOT 4409744 SOS 752367 HAS SOPS 752367 HAS SOUS 621129 HAS SOUPS 621129 WITH SCORE 621881.367
AT ITER 6391 NEW BEST:: SOT 4409744 SOS 752338 HAS SOPS 752338 HAS SOUS 621128 HAS SOUPS 621128 WITH SCORE 621880.338
AT ITER 6392 NEW BEST:: SOT 4409774 SOS 752398 HAS SOPS 752398 HAS SOUS 621052 HAS SOUPS 621052 WITH SCORE 621804.398
AT ITER 6395 NEW BEST:: SOT 4409575 SOS 752000 HAS SOPS 752000 HAS SOUS 620907 HAS SOUPS 620907 WITH SCORE 621659.0
AT ITER 6428 NEW BEST:: SOT 4409568 SOS 751986 HAS SOPS 751986 HAS SOUS 620893 HAS SOUPS 620893 WITH SCORE 621644.986
AT ITER 6432 NEW BEST:: SOT 4409542 SOS 751888 HAS SOPS 751888 HAS SOUS 620841 HAS SOUPS 620841 WITH SCORE 621592.888
AT ITER 6458 NEW BEST:: SOT 4409460 SOS 751806 HAS SOPS 751806 HAS SOUS 620759 HAS SOUPS 620759 WITH SCORE 621510.806
AT ITER 6478 NEW BEST:: SOT 4409459 SOS 751804 HAS SOPS 751804 HAS SOUS 620757 HAS SOUPS 620757 WITH SCORE 621508.804
AT ITER 6500 NEW BEST:: SOT 4409459 SOS 751639 HAS SOPS 751639 HAS SOUS 620757 HAS SOUPS 620757 WITH SCORE 621508.639
AT ITER 6503 NEW BEST:: SOT 4409238 SOS 751552 HAS SOPS 751552 HAS SOUS 620536 HAS SOUPS 620536 WITH SCORE 621287.552
AT ITER 6510 NEW BEST:: SOT 4409120 SOS 751316 HAS SOPS 751316 HAS SOUS 620418 HAS SOUPS 620418 WITH SCORE 621169.316
AT ITER 6517 NEW BEST:: SOT 4409019 SOS 751114 HAS SOPS 751114 HAS SOUS 620216 HAS SOUPS 620216 WITH SCORE 620967.114
AT ITER 6522 NEW BEST:: SOT 4408894 SOS 750987 HAS SOPS 750987 HAS SOUS 620089 HAS SOUPS 620089 WITH SCORE 620839.987
AT ITER 6524 NEW BEST:: SOT 4408854 SOS 750907 HAS SOPS 750907 HAS SOUS 620029 HAS SOUPS 620029 WITH SCORE 620779.907
AT ITER 6534 NEW BEST:: SOT 4408826 SOS 750879 HAS SOPS 750879 HAS SOUS 620001 HAS SOUPS 620001 WITH SCORE 620751.879
AT ITER 6546 NEW BEST:: SOT 4408646 SOS 750844 HAS SOPS 750844 HAS SOUS 619861 HAS SOUPS 619861 WITH SCORE 620611.844
AT ITER 6574 NEW BEST:: SOT 4408641 SOS 750839 HAS SOPS 750839 HAS SOUS 619815 HAS SOUPS 619815 WITH SCORE 620565.839
AT ITER 6581 NEW BEST:: SOT 4408641 SOS 750500 HAS SOPS 750500 HAS SOUS 619814 HAS SOUPS 619814 WITH SCORE 620564.5
AT ITER 6616 NEW BEST:: SOT 4408093 SOS 750325 HAS SOPS 750325 HAS SOUS 619331 HAS SOUPS 619331 WITH SCORE 620081.325
AT ITER 6678 NEW BEST:: SOT 4408049 SOS 750237 HAS SOPS 750237 HAS SOUS 619243 HAS SOUPS 619243 WITH SCORE 619993.237
AT ITER 6702 NEW BEST:: SOT 4407945 SOS 750029 HAS SOPS 750029 HAS SOUS 619035 HAS SOUPS 619035 WITH SCORE 619785.029
AT ITER 6703 NEW BEST:: SOT 4407760 SOS 749867 HAS SOPS 749867 HAS SOUS 618850 HAS SOUPS 618850 WITH SCORE 619599.867
AT ITER 6709 NEW BEST:: SOT 4407773 SOS 749850 HAS SOPS 749850 HAS SOUS 618833 HAS SOUPS 618833 WITH SCORE 619582.85
AT ITER 6723 NEW BEST:: SOT 4407747 SOS 749798 HAS SOPS 749798 HAS SOUS 618781 HAS SOUPS 618781 WITH SCORE 619530.798
AT ITER 6749 NEW BEST:: SOT 4407745 SOS 749794 HAS SOPS 749794 HAS SOUS 618771 HAS SOUPS 618771 WITH SCORE 619520.794
AT ITER 6751 NEW BEST:: SOT 4407745 SOS 749763 HAS SOPS 749763 HAS SOUS 618771 HAS SOUPS 618771 WITH SCORE 619520.763
AT ITER 6768 NEW BEST:: SOT 4407295 SOS 750323 HAS SOPS 750323 HAS SOUS 618395 HAS SOUPS 618395 WITH SCORE 619145.323
AT ITER 6771 NEW BEST:: SOT 4407263 SOS 750259 HAS SOPS 750259 HAS SOUS 618347 HAS SOUPS 618347 WITH SCORE 619097.259
AT ITER 6779 NEW BEST:: SOT 4407033 SOS 749598 HAS SOPS 749598 HAS SOUS 617980 HAS SOUPS 617980 WITH SCORE 618729.598
AT ITER 6816 NEW BEST:: SOT 4406954 SOS 749361 HAS SOPS 749361 HAS SOUS 617822 HAS SOUPS 617822 WITH SCORE 618571.361
AT ITER 6818 NEW BEST:: SOT 4406845 SOS 749252 HAS SOPS 749252 HAS SOUS 617820 HAS SOUPS 617820 WITH SCORE 618569.252
AT ITER 6872 NEW BEST:: SOT 4406618 SOS 749025 HAS SOPS 749025 HAS SOUS 617635 HAS SOUPS 617635 WITH SCORE 618384.025
AT ITER 6892 NEW BEST:: SOT 4406429 SOS 748647 HAS SOPS 748647 HAS SOUS 617608 HAS SOUPS 617608 WITH SCORE 618356.647
AT ITER 6930 NEW BEST:: SOT 4406391 SOS 748571 HAS SOPS 748571 HAS SOUS 617532 HAS SOUPS 617532 WITH SCORE 618280.571
AT ITER 6968 NEW BEST:: SOT 4406390 SOS 748569 HAS SOPS 748569 HAS SOUS 617530 HAS SOUPS 617530 WITH SCORE 618278.569
AT ITER 6973 NEW BEST:: SOT 4406531 SOS 748549 HAS SOPS 748549 HAS SOUS 617510 HAS SOUPS 617510 WITH SCORE 618258.549
AT ITER 6982 NEW BEST:: SOT 4406429 SOS 748345 HAS SOPS 748345 HAS SOUS 617306 HAS SOUPS 617306 WITH SCORE 618054.345
AT ITER 6983 NEW BEST:: SOT 4406393 SOS 748309 HAS SOPS 748309 HAS SOUS 617270 HAS SOUPS 617270 WITH SCORE 618018.309
AT ITER 7009 NEW BEST:: SOT 4406295 SOS 748211 HAS SOPS 748211 HAS SOUS 617123 HAS SOUPS 617123 WITH SCORE 617871.211
AT ITER 7025 NEW BEST:: SOT 4406035 SOS 748003 HAS SOPS 748003 HAS SOUS 616872 HAS SOUPS 616872 WITH SCORE 617620.003
AT ITER 7045 NEW BEST:: SOT 4405928 SOS 748077 HAS SOPS 748077 HAS SOUS 616803 HAS SOUPS 616803 WITH SCORE 617551.077
AT ITER 7054 NEW BEST:: SOT 4405899 SOS 748019 HAS SOPS 748019 HAS SOUS 616774 HAS SOUPS 616774 WITH SCORE 617522.019
AT ITER 7088 NEW BEST:: SOT 4405876 SOS 748096 HAS SOPS 748096 HAS SOUS 616772 HAS SOUPS 616772 WITH SCORE 617520.096
AT ITER 7090 NEW BEST:: SOT 4405696 SOS 748138 HAS SOPS 748138 HAS SOUS 616653 HAS SOUPS 616653 WITH SCORE 617401.138
AT ITER 7092 NEW BEST:: SOT 4405351 SOS 747830 HAS SOPS 747830 HAS SOUS 616190 HAS SOUPS 616190 WITH SCORE 616937.83
AT ITER 7097 NEW BEST:: SOT 4405233 SOS 747594 HAS SOPS 747594 HAS SOUS 615954 HAS SOUPS 615954 WITH SCORE 616701.594
AT ITER 7105 NEW BEST:: SOT 4405227 SOS 747582 HAS SOPS 747582 HAS SOUS 615942 HAS SOUPS 615942 WITH SCORE 616689.582
AT ITER 7124 NEW BEST:: SOT 4404959 SOS 747046 HAS SOPS 747046 HAS SOUS 615850 HAS SOUPS 615850 WITH SCORE 616597.046
AT ITER 7140 NEW BEST:: SOT 4404959 SOS 746918 HAS SOPS 746918 HAS SOUS 615785 HAS SOUPS 615785 WITH SCORE 616531.918
AT ITER 7141 NEW BEST:: SOT 4404959 SOS 746600 HAS SOPS 746600 HAS SOUS 615785 HAS SOUPS 615785 WITH SCORE 616531.6
AT ITER 7177 NEW BEST:: SOT 4404554 SOS 745790 HAS SOPS 745790 HAS SOUS 615164 HAS SOUPS 615164 WITH SCORE 615909.79
AT ITER 7184 NEW BEST:: SOT 4404335 SOS 745352 HAS SOPS 745352 HAS SOUS 615137 HAS SOUPS 615137 WITH SCORE 615882.352
AT ITER 7215 NEW BEST:: SOT 4404184 SOS 745050 HAS SOPS 745050 HAS SOUS 614835 HAS SOUPS 614835 WITH SCORE 615580.05
AT ITER 7217 NEW BEST:: SOT 4404147 SOS 744976 HAS SOPS 744976 HAS SOUS 614761 HAS SOUPS 614761 WITH SCORE 615505.976
AT ITER 7229 NEW BEST:: SOT 4404146 SOS 744974 HAS SOPS 744974 HAS SOUS 614759 HAS SOUPS 614759 WITH SCORE 615503.974
AT ITER 7239 NEW BEST:: SOT 4404146 SOS 744623 HAS SOPS 744623 HAS SOUS 614759 HAS SOUPS 614759 WITH SCORE 615503.623
AT ITER 7260 NEW BEST:: SOT 4404113 SOS 744524 HAS SOPS 744524 HAS SOUS 614693 HAS SOUPS 614693 WITH SCORE 615437.524
AT ITER 7276 NEW BEST:: SOT 4404061 SOS 744420 HAS SOPS 744420 HAS SOUS 614643 HAS SOUPS 614643 WITH SCORE 615387.42
AT ITER 7300 NEW BEST:: SOT 4403778 SOS 743854 HAS SOPS 743854 HAS SOUS 614251 HAS SOUPS 614251 WITH SCORE 614994.854
AT ITER 7378 NEW BEST:: SOT 4403670 SOS 743638 HAS SOPS 743638 HAS SOUS 614143 HAS SOUPS 614143 WITH SCORE 614886.638
AT ITER 7430 NEW BEST:: SOT 4403679 SOS 743656 HAS SOPS 743656 HAS SOUS 614137 HAS SOUPS 614137 WITH SCORE 614880.656
AT ITER 7436 NEW BEST:: SOT 4403674 SOS 743646 HAS SOPS 743646 HAS SOUS 614127 HAS SOUPS 614127 WITH SCORE 614870.646
AT ITER 7494 NEW BEST:: SOT 4403674 SOS 743460 HAS SOPS 743460 HAS SOUS 613941 HAS SOUPS 613941 WITH SCORE 614684.46
AT ITER 7504 NEW BEST:: SOT 4403673 SOS 743458 HAS SOPS 743458 HAS SOUS 613939 HAS SOUPS 613939 WITH SCORE 614682.458
AT ITER 7510 NEW BEST:: SOT 4403602 SOS 743080 HAS SOPS 743080 HAS SOUS 613751 HAS SOUPS 613751 WITH SCORE 614494.08
AT ITER 7572 NEW BEST:: SOT 4403529 SOS 742934 HAS SOPS 742934 HAS SOUS 613605 HAS SOUPS 613605 WITH SCORE 614347.934
AT ITER 7581 NEW BEST:: SOT 4403472 SOS 742820 HAS SOPS 742820 HAS SOUS 613491 HAS SOUPS 613491 WITH SCORE 614233.82
AT ITER 7585 NEW BEST:: SOT 4403472 SOS 742820 HAS SOPS 742820 HAS SOUS 613397 HAS SOUPS 613397 WITH SCORE 614139.82
AT ITER 7630 NEW BEST:: SOT 4403528 SOS 742685 HAS SOPS 742685 HAS SOUS 613280 HAS SOUPS 613280 WITH SCORE 614022.685
AT ITER 7683 NEW BEST:: SOT 4403246 SOS 742121 HAS SOPS 742121 HAS SOUS 613037 HAS SOUPS 613037 WITH SCORE 613779.121
AT ITER 7717 NEW BEST:: SOT 4403190 SOS 742009 HAS SOPS 742009 HAS SOUS 612981 HAS SOUPS 612981 WITH SCORE 613723.009
AT ITER 7731 NEW BEST:: SOT 4403131 SOS 741719 HAS SOPS 741719 HAS SOUS 612863 HAS SOUPS 612863 WITH SCORE 613604.719
AT ITER 7755 NEW BEST:: SOT 4403107 SOS 741751 HAS SOPS 741751 HAS SOUS 612839 HAS SOUPS 612839 WITH SCORE 613580.751
AT ITER 7764 NEW BEST:: SOT 4403074 SOS 741657 HAS SOPS 741657 HAS SOUS 612779 HAS SOUPS 612779 WITH SCORE 613520.657
AT ITER 7771 NEW BEST:: SOT 4403034 SOS 741417 HAS SOPS 741417 HAS SOUS 612717 HAS SOUPS 612717 WITH SCORE 613458.417
AT ITER 7783 NEW BEST:: SOT 4402881 SOS 741271 HAS SOPS 741271 HAS SOUS 612571 HAS SOUPS 612571 WITH SCORE 613312.271
AT ITER 7795 NEW BEST:: SOT 4402859 SOS 741258 HAS SOPS 741258 HAS SOUS 612554 HAS SOUPS 612554 WITH SCORE 613295.258
AT ITER 7800 NEW BEST:: SOT 4402736 SOS 741012 HAS SOPS 741012 HAS SOUS 612371 HAS SOUPS 612371 WITH SCORE 613112.012
AT ITER 7823 NEW BEST:: SOT 4402632 SOS 741012 HAS SOPS 741012 HAS SOUS 612267 HAS SOUPS 612267 WITH SCORE 613008.012
AT ITER 7864 NEW BEST:: SOT 4402632 SOS 741012 HAS SOPS 741012 HAS SOUS 612260 HAS SOUPS 612260 WITH SCORE 613001.012
AT ITER 7873 NEW BEST:: SOT 4402597 SOS 740662 HAS SOPS 740662 HAS SOUS 611855 HAS SOUPS 611855 WITH SCORE 612595.662
AT ITER 7911 NEW BEST:: SOT 4402443 SOS 740354 HAS SOPS 740354 HAS SOUS 611701 HAS SOUPS 611701 WITH SCORE 612441.354
AT ITER 7916 NEW BEST:: SOT 4402136 SOS 740148 HAS SOPS 740148 HAS SOUS 611495 HAS SOUPS 611495 WITH SCORE 612235.148
AT ITER 7918 NEW BEST:: SOT 4401935 SOS 739947 HAS SOPS 739947 HAS SOUS 611294 HAS SOUPS 611294 WITH SCORE 612033.947
AT ITER 7922 NEW BEST:: SOT 4402070 SOS 739689 HAS SOPS 739689 HAS SOUS 611036 HAS SOUPS 611036 WITH SCORE 611775.689
AT ITER 7923 NEW BEST:: SOT 4402060 SOS 739669 HAS SOPS 739669 HAS SOUS 611016 HAS SOUPS 611016 WITH SCORE 611755.669
AT ITER 7982 NEW BEST:: SOT 4402060 SOS 739669 HAS SOPS 739669 HAS SOUS 610836 HAS SOUPS 610836 WITH SCORE 611575.669
AT ITER 7986 NEW BEST:: SOT 4402042 SOS 739633 HAS SOPS 739633 HAS SOUS 610800 HAS SOUPS 610800 WITH SCORE 611539.633
AT ITER 7991 NEW BEST:: SOT 4401974 SOS 739497 HAS SOPS 739497 HAS SOUS 610763 HAS SOUPS 610763 WITH SCORE 611502.497
AT ITER 8024 NEW BEST:: SOT 4402004 SOS 739328 HAS SOPS 739328 HAS SOUS 610658 HAS SOUPS 610658 WITH SCORE 611397.328
AT ITER 8049 NEW BEST:: SOT 4401996 SOS 739312 HAS SOPS 739312 HAS SOUS 610611 HAS SOUPS 610611 WITH SCORE 611350.312
AT ITER 8056 NEW BEST:: SOT 4401989 SOS 738830 HAS SOPS 738830 HAS SOUS 610565 HAS SOUPS 610565 WITH SCORE 611303.83
AT ITER 8061 NEW BEST:: SOT 4401964 SOS 738722 HAS SOPS 738722 HAS SOUS 610482 HAS SOUPS 610482 WITH SCORE 611220.722
AT ITER 8088 NEW BEST:: SOT 4401949 SOS 738692 HAS SOPS 738692 HAS SOUS 610475 HAS SOUPS 610475 WITH SCORE 611213.692
AT ITER 8091 NEW BEST:: SOT 4401848 SOS 738743 HAS SOPS 738743 HAS SOUS 610445 HAS SOUPS 610445 WITH SCORE 611183.743
AT ITER 8101 NEW BEST:: SOT 4401825 SOS 738697 HAS SOPS 738697 HAS SOUS 610399 HAS SOUPS 610399 WITH SCORE 611137.697
AT ITER 8209 NEW BEST:: SOT 4401441 SOS 738313 HAS SOPS 738313 HAS SOUS 610015 HAS SOUPS 610015 WITH SCORE 610753.313
AT ITER 8220 NEW BEST:: SOT 4401432 SOS 738295 HAS SOPS 738295 HAS SOUS 610006 HAS SOUPS 610006 WITH SCORE 610744.295
AT ITER 8245 NEW BEST:: SOT 4401430 SOS 738243 HAS SOPS 738243 HAS SOUS 610002 HAS SOUPS 610002 WITH SCORE 610740.243
AT ITER 8246 NEW BEST:: SOT 4401303 SOS 737989 HAS SOPS 737989 HAS SOUS 609748 HAS SOUPS 609748 WITH SCORE 610485.989
AT ITER 8249 NEW BEST:: SOT 4401198 SOS 737779 HAS SOPS 737779 HAS SOUS 609538 HAS SOUPS 609538 WITH SCORE 610275.779
AT ITER 8251 NEW BEST:: SOT 4400915 SOS 737213 HAS SOPS 737213 HAS SOUS 609292 HAS SOUPS 609292 WITH SCORE 610029.213
AT ITER 8281 NEW BEST:: SOT 4400793 SOS 737091 HAS SOPS 737091 HAS SOUS 609170 HAS SOUPS 609170 WITH SCORE 609907.091
AT ITER 8285 NEW BEST:: SOT 4400731 SOS 736967 HAS SOPS 736967 HAS SOUS 609046 HAS SOUPS 609046 WITH SCORE 609782.967
AT ITER 8294 NEW BEST:: SOT 4400871 SOS 737247 HAS SOPS 737247 HAS SOUS 609010 HAS SOUPS 609010 WITH SCORE 609747.247
AT ITER 8298 NEW BEST:: SOT 4400582 SOS 736669 HAS SOPS 736669 HAS SOUS 608886 HAS SOUPS 608886 WITH SCORE 609622.669
AT ITER 8310 NEW BEST:: SOT 4400568 SOS 736627 HAS SOPS 736627 HAS SOUS 608858 HAS SOUPS 608858 WITH SCORE 609594.627
AT ITER 8328 NEW BEST:: SOT 4399489 SOS 741213 HAS SOPS 741213 HAS SOUS 608337 HAS SOUPS 608337 WITH SCORE 609078.213
AT ITER 8337 NEW BEST:: SOT 4399475 SOS 741506 HAS SOPS 741506 HAS SOUS 608309 HAS SOUPS 608309 WITH SCORE 609050.506
AT ITER 8355 NEW BEST:: SOT 4399369 SOS 741294 HAS SOPS 741294 HAS SOUS 608097 HAS SOUPS 608097 WITH SCORE 608838.294
AT ITER 8357 NEW BEST:: SOT 4399369 SOS 741294 HAS SOPS 741294 HAS SOUS 608033 HAS SOUPS 608033 WITH SCORE 608774.294
AT ITER 8386 NEW BEST:: SOT 4398995 SOS 740733 HAS SOPS 740733 HAS SOUS 607472 HAS SOUPS 607472 WITH SCORE 608212.733
AT ITER 8390 NEW BEST:: SOT 4398994 SOS 740731 HAS SOPS 740731 HAS SOUS 607470 HAS SOUPS 607470 WITH SCORE 608210.731
AT ITER 8392 NEW BEST:: SOT 4399199 SOS 740450 HAS SOPS 740450 HAS SOUS 607463 HAS SOUPS 607463 WITH SCORE 608203.45
AT ITER 8421 NEW BEST:: SOT 4399134 SOS 740320 HAS SOPS 740320 HAS SOUS 607398 HAS SOUPS 607398 WITH SCORE 608138.32
AT ITER 8437 NEW BEST:: SOT 4399155 SOS 740341 HAS SOPS 740341 HAS SOUS 607364 HAS SOUPS 607364 WITH SCORE 608104.341
AT ITER 8455 NEW BEST:: SOT 4399065 SOS 740161 HAS SOPS 740161 HAS SOUS 607211 HAS SOUPS 607211 WITH SCORE 607951.161
AT ITER 8475 NEW BEST:: SOT 4399071 SOS 740166 HAS SOPS 740166 HAS SOUS 607210 HAS SOUPS 607210 WITH SCORE 607950.166
AT ITER 8511 NEW BEST:: SOT 4399233 SOS 740326 HAS SOPS 740326 HAS SOUS 607119 HAS SOUPS 607119 WITH SCORE 607859.326
AT ITER 8535 NEW BEST:: SOT 4399199 SOS 740292 HAS SOPS 740292 HAS SOUS 607085 HAS SOUPS 607085 WITH SCORE 607825.292
AT ITER 8571 NEW BEST:: SOT 4399199 SOS 740292 HAS SOPS 740292 HAS SOUS 606956 HAS SOUPS 606956 WITH SCORE 607696.292
AT ITER 8574 NEW BEST:: SOT 4399066 SOS 740026 HAS SOPS 740026 HAS SOUS 606376 HAS SOUPS 606376 WITH SCORE 607116.026
AT ITER 8578 NEW BEST:: SOT 4399042 SOS 739978 HAS SOPS 739978 HAS SOUS 606328 HAS SOUPS 606328 WITH SCORE 607067.978
AT ITER 8581 NEW BEST:: SOT 4399133 SOS 740160 HAS SOPS 740160 HAS SOUS 606241 HAS SOUPS 606241 WITH SCORE 606981.16
AT ITER 8609 NEW BEST:: SOT 4398709 SOS 739736 HAS SOPS 739736 HAS SOUS 605817 HAS SOUPS 605817 WITH SCORE 606556.736
AT ITER 8611 NEW BEST:: SOT 4398511 SOS 739604 HAS SOPS 739604 HAS SOUS 605619 HAS SOUPS 605619 WITH SCORE 606358.604
AT ITER 8630 NEW BEST:: SOT 4398422 SOS 739426 HAS SOPS 739426 HAS SOUS 605609 HAS SOUPS 605609 WITH SCORE 606348.426
AT ITER 8637 NEW BEST:: SOT 4398346 SOS 739406 HAS SOPS 739406 HAS SOUS 605523 HAS SOUPS 605523 WITH SCORE 606262.406
AT ITER 8638 NEW BEST:: SOT 4398316 SOS 739346 HAS SOPS 739346 HAS SOUS 605478 HAS SOUPS 605478 WITH SCORE 606217.346
AT ITER 8657 NEW BEST:: SOT 4398185 SOS 739084 HAS SOPS 739084 HAS SOUS 605216 HAS SOUPS 605216 WITH SCORE 605955.084
AT ITER 8672 NEW BEST:: SOT 4398172 SOS 739058 HAS SOPS 739058 HAS SOUS 605190 HAS SOUPS 605190 WITH SCORE 605929.058
AT ITER 8691 NEW BEST:: SOT 4398109 SOS 738932 HAS SOPS 738932 HAS SOUS 605064 HAS SOUPS 605064 WITH SCORE 605802.932
AT ITER 8710 NEW BEST:: SOT 4398070 SOS 738854 HAS SOPS 738854 HAS SOUS 605025 HAS SOUPS 605025 WITH SCORE 605763.854
AT ITER 8712 NEW BEST:: SOT 4397978 SOS 738578 HAS SOPS 738578 HAS SOUS 604841 HAS SOUPS 604841 WITH SCORE 605579.578
AT ITER 8750 NEW BEST:: SOT 4397977 SOS 738576 HAS SOPS 738576 HAS SOUS 604839 HAS SOUPS 604839 WITH SCORE 605577.576
AT ITER 8832 NEW BEST:: SOT 4397847 SOS 738316 HAS SOPS 738316 HAS SOUS 604821 HAS SOUPS 604821 WITH SCORE 605559.316
AT ITER 8855 NEW BEST:: SOT 4397847 SOS 738316 HAS SOPS 738316 HAS SOUS 604776 HAS SOUPS 604776 WITH SCORE 605514.316
AT ITER 8869 NEW BEST:: SOT 4397603 SOS 737828 HAS SOPS 737828 HAS SOUS 604288 HAS SOUPS 604288 WITH SCORE 605025.828
AT ITER 8884 NEW BEST:: SOT 4397531 SOS 737820 HAS SOPS 737820 HAS SOUS 604239 HAS SOUPS 604239 WITH SCORE 604976.82
AT ITER 8948 NEW BEST:: SOT 4397511 SOS 737489 HAS SOPS 737489 HAS SOUS 604219 HAS SOUPS 604219 WITH SCORE 604956.489
AT ITER 9005 NEW BEST:: SOT 4397242 SOS 736951 HAS SOPS 736951 HAS SOUS 604060 HAS SOUPS 604060 WITH SCORE 604796.951
AT ITER 9045 NEW BEST:: SOT 4397146 SOS 736759 HAS SOPS 736759 HAS SOUS 604060 HAS SOUPS 604060 WITH SCORE 604796.759
AT ITER 9052 NEW BEST:: SOT 4397042 SOS 736603 HAS SOPS 736603 HAS SOUS 603904 HAS SOUPS 603904 WITH SCORE 604640.603
AT ITER 9100 NEW BEST:: SOT 4397046 SOS 736302 HAS SOPS 736302 HAS SOUS 603656 HAS SOUPS 603656 WITH SCORE 604392.302
AT ITER 9125 NEW BEST:: SOT 4397046 SOS 736286 HAS SOPS 736286 HAS SOUS 603656 HAS SOUPS 603656 WITH SCORE 604392.286
AT ITER 9176 NEW BEST:: SOT 4396997 SOS 736188 HAS SOPS 736188 HAS SOUS 603607 HAS SOUPS 603607 WITH SCORE 604343.188
AT ITER 9206 NEW BEST:: SOT 4396982 SOS 736208 HAS SOPS 736208 HAS SOUS 603592 HAS SOUPS 603592 WITH SCORE 604328.208
AT ITER 9214 NEW BEST:: SOT 4397022 SOS 736288 HAS SOPS 736288 HAS SOUS 603527 HAS SOUPS 603527 WITH SCORE 604263.288
AT ITER 9216 NEW BEST:: SOT 4396855 SOS 735954 HAS SOPS 735954 HAS SOUS 603234 HAS SOUPS 603234 WITH SCORE 603969.954
AT ITER 9228 NEW BEST:: SOT 4396855 SOS 735875 HAS SOPS 735875 HAS SOUS 603155 HAS SOUPS 603155 WITH SCORE 603890.875
AT ITER 9256 NEW BEST:: SOT 4396851 SOS 735867 HAS SOPS 735867 HAS SOUS 603147 HAS SOUPS 603147 WITH SCORE 603882.867
AT ITER 9258 NEW BEST:: SOT 4397045 SOS 735526 HAS SOPS 735526 HAS SOUS 603037 HAS SOUPS 603037 WITH SCORE 603772.526
AT ITER 9266 NEW BEST:: SOT 4396971 SOS 735489 HAS SOPS 735489 HAS SOUS 602963 HAS SOUPS 602963 WITH SCORE 603698.489
AT ITER 9285 NEW BEST:: SOT 4396961 SOS 735576 HAS SOPS 735576 HAS SOUS 602894 HAS SOUPS 602894 WITH SCORE 603629.576
AT ITER 9297 NEW BEST:: SOT 4396961 SOS 735536 HAS SOPS 735536 HAS SOUS 602894 HAS SOUPS 602894 WITH SCORE 603629.536
AT ITER 9306 NEW BEST:: SOT 4396844 SOS 735474 HAS SOPS 735474 HAS SOUS 602832 HAS SOUPS 602832 WITH SCORE 603567.474
AT ITER 9327 NEW BEST:: SOT 4396844 SOS 735233 HAS SOPS 735233 HAS SOUS 602746 HAS SOUPS 602746 WITH SCORE 603481.233
AT ITER 9346 NEW BEST:: SOT 4396959 SOS 735344 HAS SOPS 735344 HAS SOUS 602333 HAS SOUPS 602333 WITH SCORE 603068.344
AT ITER 9370 NEW BEST:: SOT 4396408 SOS 735292 HAS SOPS 735292 HAS SOUS 602011 HAS SOUPS 602011 WITH SCORE 602746.292
AT ITER 9392 NEW BEST:: SOT 4396598 SOS 725099 HAS SOPS 725099 HAS SOUS 601964 HAS SOUPS 601964 WITH SCORE 602689.099
AT ITER 9412 NEW BEST:: SOT 4396526 SOS 725051 HAS SOPS 725051 HAS SOUS 601892 HAS SOUPS 601892 WITH SCORE 602617.051
AT ITER 9429 NEW BEST:: SOT 4396519 SOS 725037 HAS SOPS 725037 HAS SOUS 601646 HAS SOUPS 601646 WITH SCORE 602371.037
AT ITER 9498 NEW BEST:: SOT 4396519 SOS 725037 HAS SOPS 725037 HAS SOUS 601598 HAS SOUPS 601598 WITH SCORE 602323.037
AT ITER 9550 NEW BEST:: SOT 4396402 SOS 724803 HAS SOPS 724803 HAS SOUS 601506 HAS SOUPS 601506 WITH SCORE 602230.803
AT ITER 9554 NEW BEST:: SOT 4395929 SOS 724431 HAS SOPS 724431 HAS SOUS 600822 HAS SOUPS 600822 WITH SCORE 601546.431
AT ITER 9556 NEW BEST:: SOT 4395645 SOS 724147 HAS SOPS 724147 HAS SOUS 600653 HAS SOUPS 600653 WITH SCORE 601377.147
AT ITER 9563 NEW BEST:: SOT 4395605 SOS 724067 HAS SOPS 724067 HAS SOUS 600613 HAS SOUPS 600613 WITH SCORE 601337.067
AT ITER 9568 NEW BEST:: SOT 4395604 SOS 723946 HAS SOPS 723946 HAS SOUS 600610 HAS SOUPS 600610 WITH SCORE 601333.946
AT ITER 9614 NEW BEST:: SOT 4395503 SOS 723744 HAS SOPS 723744 HAS SOUS 600408 HAS SOUPS 600408 WITH SCORE 601131.744
AT ITER 9619 NEW BEST:: SOT 4395503 SOS 723712 HAS SOPS 723712 HAS SOUS 600408 HAS SOUPS 600408 WITH SCORE 601131.712
AT ITER 9642 NEW BEST:: SOT 4395592 SOS 723658 HAS SOPS 723658 HAS SOUS 600355 HAS SOUPS 600355 WITH SCORE 601078.658
AT ITER 9660 NEW BEST:: SOT 4395504 SOS 723657 HAS SOPS 723657 HAS SOUS 600241 HAS SOUPS 600241 WITH SCORE 600964.657
AT ITER 9696 NEW BEST:: SOT 4395483 SOS 723754 HAS SOPS 723754 HAS SOUS 600220 HAS SOUPS 600220 WITH SCORE 600943.754
AT ITER 9705 NEW BEST:: SOT 4395290 SOS 723368 HAS SOPS 723368 HAS SOUS 599809 HAS SOUPS 599809 WITH SCORE 600532.368
AT ITER 9713 NEW BEST:: SOT 4394940 SOS 723194 HAS SOPS 723194 HAS SOUS 599459 HAS SOUPS 599459 WITH SCORE 600182.194
AT ITER 9775 NEW BEST:: SOT 4394902 SOS 723118 HAS SOPS 723118 HAS SOUS 599383 HAS SOUPS 599383 WITH SCORE 600106.118
AT ITER 9780 NEW BEST:: SOT 4394888 SOS 723090 HAS SOPS 723090 HAS SOUS 599382 HAS SOUPS 599382 WITH SCORE 600105.09
AT ITER 9801 NEW BEST:: SOT 4394888 SOS 722954 HAS SOPS 722954 HAS SOUS 599382 HAS SOUPS 599382 WITH SCORE 600104.954
AT ITER 9811 NEW BEST:: SOT 4394817 SOS 722812 HAS SOPS 722812 HAS SOUS 599240 HAS SOUPS 599240 WITH SCORE 599962.812
AT ITER 9851 NEW BEST:: SOT 4395016 SOS 723052 HAS SOPS 723052 HAS SOUS 599179 HAS SOUPS 599179 WITH SCORE 599902.052
AT ITER 9861 NEW BEST:: SOT 4394883 SOS 722919 HAS SOPS 722919 HAS SOUS 599048 HAS SOUPS 599048 WITH SCORE 599770.919
AT ITER 9871 NEW BEST:: SOT 4394842 SOS 722837 HAS SOPS 722837 HAS SOUS 598966 HAS SOUPS 598966 WITH SCORE 599688.837
AT ITER 9877 NEW BEST:: SOT 4394841 SOS 722835 HAS SOPS 722835 HAS SOUS 598965 HAS SOUPS 598965 WITH SCORE 599687.835
AT ITER 9956 NEW BEST:: SOT 4394783 SOS 722719 HAS SOPS 722719 HAS SOUS 598849 HAS SOUPS 598849 WITH SCORE 599571.719

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="CloudReconfiguration-PT-319"
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 CloudReconfiguration-PT-319, 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 r048-ebro-158902541800152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-319.tgz
mv CloudReconfiguration-PT-319 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;