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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.3M
-rw-r--r-- 1 mcc users 3.8K Mar 30 13:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 13:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 29 03:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 29 03:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 18:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 18:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 16:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 6.2M 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 1589118318277

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

Filename model.pnml
Petri model created: 2913 places, 23319 transitions, 92260 arcs.
AT ITER 0 NEW BEST:: SOT 38399308 SOS 33380144 HAS SOPS 15923184 HAS SOUS 1960571 HAS SOUPS 773184 WITH SCORE 806564.144
AT ITER 2 NEW BEST:: SOT 38398821 SOS 33379170 HAS SOPS 15924703 HAS SOUS 1959573 HAS SOUPS 772463 WITH SCORE 805842.17
AT ITER 6 NEW BEST:: SOT 38398821 SOS 33379170 HAS SOPS 15924703 HAS SOUS 1959383 HAS SOUPS 772273 WITH SCORE 805652.17
AT ITER 19 NEW BEST:: SOT 38398821 SOS 33379170 HAS SOPS 15924703 HAS SOUS 1959217 HAS SOUPS 772107 WITH SCORE 805486.17
AT ITER 31 NEW BEST:: SOT 38398000 SOS 33381633 HAS SOPS 15923629 HAS SOUS 1958773 HAS SOUPS 771532 WITH SCORE 804913.633
AT ITER 34 NEW BEST:: SOT 38397732 SOS 33378842 HAS SOPS 15924897 HAS SOUS 1958212 HAS SOUPS 771422 WITH SCORE 804800.842
AT ITER 83 NEW BEST:: SOT 38397732 SOS 33378842 HAS SOPS 15924897 HAS SOUS 1958122 HAS SOUPS 771332 WITH SCORE 804710.842
AT ITER 126 NEW BEST:: SOT 38395181 SOS 33400873 HAS SOPS 15934310 HAS SOUS 1956761 HAS SOUPS 769971 WITH SCORE 803371.873
AT ITER 132 NEW BEST:: SOT 38395181 SOS 33400873 HAS SOPS 15934310 HAS SOUS 1956541 HAS SOUPS 769751 WITH SCORE 803151.873
AT ITER 156 NEW BEST:: SOT 38395181 SOS 33400873 HAS SOPS 15934310 HAS SOUS 1956321 HAS SOUPS 769531 WITH SCORE 802931.873
AT ITER 170 NEW BEST:: SOT 38393930 SOS 33405341 HAS SOPS 15931839 HAS SOUS 1955953 HAS SOUPS 768906 WITH SCORE 802311.341
AT ITER 185 NEW BEST:: SOT 38393636 SOS 33401793 HAS SOPS 15933619 HAS SOUS 1955119 HAS SOUPS 768664 WITH SCORE 802065.793
AT ITER 190 NEW BEST:: SOT 38393636 SOS 33401793 HAS SOPS 15933619 HAS SOUS 1954933 HAS SOUPS 768478 WITH SCORE 801879.793
AT ITER 202 NEW BEST:: SOT 38393154 SOS 33400829 HAS SOPS 15934824 HAS SOUS 1953969 HAS SOUPS 767755 WITH SCORE 801155.829
AT ITER 229 NEW BEST:: SOT 38392960 SOS 33399216 HAS SOPS 15933211 HAS SOUS 1953775 HAS SOUPS 767561 WITH SCORE 800960.216
AT ITER 230 NEW BEST:: SOT 38392960 SOS 33399216 HAS SOPS 15933211 HAS SOUS 1953689 HAS SOUPS 767475 WITH SCORE 800874.216
AT ITER 231 NEW BEST:: SOT 38392489 SOS 33398211 HAS SOPS 15939064 HAS SOUS 1952478 HAS SOUPS 767026 WITH SCORE 800424.211
AT ITER 245 NEW BEST:: SOT 38391150 SOS 33403047 HAS SOPS 15936097 HAS SOUS 1952042 HAS SOUPS 766301 WITH SCORE 799704.047
AT ITER 261 NEW BEST:: SOT 38389487 SOS 33408597 HAS SOPS 15933682 HAS SOUS 1950993 HAS SOUPS 764957 WITH SCORE 798365.597
AT ITER 281 NEW BEST:: SOT 38388973 SOS 33407569 HAS SOPS 15934967 HAS SOUS 1949965 HAS SOUPS 764186 WITH SCORE 797593.569
AT ITER 315 NEW BEST:: SOT 38388487 SOS 33406597 HAS SOPS 15936704 HAS SOUS 1948950 HAS SOUPS 763472 WITH SCORE 796878.597
AT ITER 329 NEW BEST:: SOT 38387000 SOS 33414491 HAS SOPS 15935499 HAS SOUS 1948179 HAS SOUPS 762364 WITH SCORE 795778.491
AT ITER 332 NEW BEST:: SOT 38386672 SOS 33411855 HAS SOPS 15936427 HAS SOUS 1947455 HAS SOUPS 762036 WITH SCORE 795447.855
AT ITER 337 NEW BEST:: SOT 38386431 SOS 33408968 HAS SOPS 15937869 HAS SOUS 1946912 HAS SOUPS 761974 WITH SCORE 795382.968
AT ITER 348 NEW BEST:: SOT 38385623 SOS 33411692 HAS SOPS 15936813 HAS SOUS 1946438 HAS SOUPS 761360 WITH SCORE 794771.692
AT ITER 353 NEW BEST:: SOT 38385623 SOS 33411692 HAS SOPS 15936813 HAS SOUS 1946304 HAS SOUPS 761226 WITH SCORE 794637.692
AT ITER 358 NEW BEST:: SOT 38385023 SOS 33410492 HAS SOPS 15938313 HAS SOUS 1945104 HAS SOUPS 760326 WITH SCORE 793736.492
AT ITER 360 NEW BEST:: SOT 38383837 SOS 33403561 HAS SOPS 15931382 HAS SOUS 1944071 HAS SOUPS 759293 WITH SCORE 792696.561
AT ITER 363 NEW BEST:: SOT 38381344 SOS 33423976 HAS SOPS 15939701 HAS SOUS 1942721 HAS SOUPS 757943 WITH SCORE 791366.976
AT ITER 373 NEW BEST:: SOT 38381344 SOS 33423256 HAS SOPS 15940277 HAS SOUS 1942577 HAS SOUPS 757943 WITH SCORE 791366.256
AT ITER 381 NEW BEST:: SOT 38381344 SOS 33423256 HAS SOPS 15940277 HAS SOUS 1942363 HAS SOUPS 757729 WITH SCORE 791152.256
AT ITER 390 NEW BEST:: SOT 38380075 SOS 33427556 HAS SOPS 15937476 HAS SOUS 1941860 HAS SOUPS 756963 WITH SCORE 790390.556
AT ITER 404 NEW BEST:: SOT 38380075 SOS 33427556 HAS SOPS 15937476 HAS SOUS 1941756 HAS SOUPS 756859 WITH SCORE 790286.556
AT ITER 410 NEW BEST:: SOT 38378429 SOS 33437554 HAS SOPS 15936944 HAS SOUS 1941338 HAS SOUPS 756051 WITH SCORE 789488.554
AT ITER 428 NEW BEST:: SOT 38378381 SOS 33437890 HAS SOPS 15937280 HAS SOUS 1941290 HAS SOUPS 756003 WITH SCORE 789440.89
AT ITER 439 NEW BEST:: SOT 38378223 SOS 33437574 HAS SOPS 15936964 HAS SOUS 1940974 HAS SOUPS 755687 WITH SCORE 789124.574
AT ITER 456 NEW BEST:: SOT 38375066 SOS 33451083 HAS SOPS 15940357 HAS SOUS 1938363 HAS SOUPS 753076 WITH SCORE 786527.083
AT ITER 477 NEW BEST:: SOT 38373394 SOS 33388121 HAS SOPS 15950468 HAS SOUS 1937550 HAS SOUPS 752263 WITH SCORE 785651.121
AT ITER 487 NEW BEST:: SOT 38373371 SOS 33385393 HAS SOPS 15947740 HAS SOUS 1937536 HAS SOUPS 752249 WITH SCORE 785634.393
AT ITER 514 NEW BEST:: SOT 38373097 SOS 33382710 HAS SOPS 15948900 HAS SOUS 1936977 HAS SOUPS 752117 WITH SCORE 785499.71
AT ITER 525 NEW BEST:: SOT 38370586 SOS 33406434 HAS SOPS 15959178 HAS SOUS 1935746 HAS SOUPS 750886 WITH SCORE 784292.434
AT ITER 560 NEW BEST:: SOT 38368979 SOS 33347563 HAS SOPS 15969740 HAS SOUS 1934906 HAS SOUPS 750046 WITH SCORE 783393.563
AT ITER 568 NEW BEST:: SOT 38368575 SOS 33344300 HAS SOPS 15970896 HAS SOUS 1934011 HAS SOUPS 749642 WITH SCORE 782986.3
AT ITER 574 NEW BEST:: SOT 38364984 SOS 33358671 HAS SOPS 15974053 HAS SOUS 1930956 HAS SOUPS 746587 WITH SCORE 779945.671
AT ITER 587 NEW BEST:: SOT 38364702 SOS 33358107 HAS SOPS 15974758 HAS SOUS 1930392 HAS SOUPS 746164 WITH SCORE 779522.107
AT ITER 593 NEW BEST:: SOT 38364702 SOS 33358107 HAS SOPS 15974758 HAS SOUS 1930172 HAS SOUPS 745944 WITH SCORE 779302.107
AT ITER 612 NEW BEST:: SOT 38361691 SOS 33373486 HAS SOPS 15979265 HAS SOUS 1928042 HAS SOUPS 743814 WITH SCORE 777187.486
AT ITER 631 NEW BEST:: SOT 38361312 SOS 33372728 HAS SOPS 15981729 HAS SOUS 1927116 HAS SOUPS 743246 WITH SCORE 776618.728
AT ITER 677 NEW BEST:: SOT 38360918 SOS 33371940 HAS SOPS 15980941 HAS SOUS 1926525 HAS SOUPS 742655 WITH SCORE 776026.94
AT ITER 700 NEW BEST:: SOT 38359918 SOS 33376648 HAS SOPS 15978683 HAS SOUS 1926404 HAS SOUPS 742276 WITH SCORE 775652.648
AT ITER 733 NEW BEST:: SOT 38359918 SOS 33376648 HAS SOPS 15978683 HAS SOUS 1926184 HAS SOUPS 742056 WITH SCORE 775432.648
AT ITER 738 NEW BEST:: SOT 38359918 SOS 33376648 HAS SOPS 15978683 HAS SOUS 1925964 HAS SOUPS 741836 WITH SCORE 775212.648
AT ITER 763 NEW BEST:: SOT 38359626 SOS 33372131 HAS SOPS 15978099 HAS SOUS 1925370 HAS SOUPS 741679 WITH SCORE 775051.131
AT ITER 771 NEW BEST:: SOT 38359626 SOS 33372131 HAS SOPS 15978099 HAS SOUS 1925150 HAS SOUPS 741459 WITH SCORE 774831.131
AT ITER 775 NEW BEST:: SOT 38359626 SOS 33368171 HAS SOPS 15978855 HAS SOUS 1924626 HAS SOUPS 741459 WITH SCORE 774827.171
AT ITER 783 NEW BEST:: SOT 38356757 SOS 33381340 HAS SOPS 15981458 HAS SOUS 1922678 HAS SOUPS 739511 WITH SCORE 772892.34
AT ITER 786 NEW BEST:: SOT 38355426 SOS 33386088 HAS SOPS 15978511 HAS SOUS 1922155 HAS SOUPS 738703 WITH SCORE 772089.088
AT ITER 813 NEW BEST:: SOT 38352424 SOS 33401596 HAS SOPS 15982877 HAS SOUS 1920245 HAS SOUPS 736793 WITH SCORE 770194.596
AT ITER 821 NEW BEST:: SOT 38352298 SOS 33401344 HAS SOPS 15982625 HAS SOUS 1920056 HAS SOUPS 736604 WITH SCORE 770005.344
AT ITER 837 NEW BEST:: SOT 38351830 SOS 33400408 HAS SOPS 15983795 HAS SOUS 1919120 HAS SOUPS 735902 WITH SCORE 769302.408
AT ITER 843 NEW BEST:: SOT 38349496 SOS 33407665 HAS SOPS 15983762 HAS SOUS 1917269 HAS SOUPS 734051 WITH SCORE 767458.665
AT ITER 857 NEW BEST:: SOT 38348301 SOS 33331152 HAS SOPS 15980763 HAS SOUS 1916441 HAS SOUPS 733846 WITH SCORE 767177.152
AT ITER 860 NEW BEST:: SOT 38348263 SOS 33331076 HAS SOPS 15980687 HAS SOUS 1916384 HAS SOUPS 733789 WITH SCORE 767120.076
AT ITER 904 NEW BEST:: SOT 38347233 SOS 33327611 HAS SOPS 15979751 HAS SOUS 1915451 HAS SOUPS 733137 WITH SCORE 766464.611
AT ITER 917 NEW BEST:: SOT 38344968 SOS 33335905 HAS SOPS 15980575 HAS SOUS 1913726 HAS SOUPS 731412 WITH SCORE 764747.905
AT ITER 921 NEW BEST:: SOT 38344264 SOS 33339302 HAS SOPS 15979787 HAS SOUS 1913406 HAS SOUPS 730937 WITH SCORE 764276.302
AT ITER 931 NEW BEST:: SOT 38343750 SOS 33338274 HAS SOPS 15981072 HAS SOUS 1912378 HAS SOUPS 730166 WITH SCORE 763504.274
AT ITER 958 NEW BEST:: SOT 38342931 SOS 33340263 HAS SOPS 15979902 HAS SOUS 1911910 HAS SOUPS 729581 WITH SCORE 762921.263
AT ITER 976 NEW BEST:: SOT 38342931 SOS 33340263 HAS SOPS 15979902 HAS SOUS 1911690 HAS SOUPS 729361 WITH SCORE 762701.263
AT ITER 987 NEW BEST:: SOT 38342022 SOS 33341071 HAS SOPS 15978892 HAS SOUS 1910983 HAS SOUPS 728654 WITH SCORE 761995.071
AT ITER 996 NEW BEST:: SOT 38339791 SOS 33334059 HAS SOPS 15976470 HAS SOUS 1909449 HAS SOUPS 727630 WITH SCORE 760964.059
AT ITER 1026 NEW BEST:: SOT 38339469 SOS 33333415 HAS SOPS 15978733 HAS SOUS 1908804 HAS SOUPS 727308 WITH SCORE 760641.415
AT ITER 1047 NEW BEST:: SOT 38338894 SOS 33332265 HAS SOPS 15980481 HAS SOUS 1907620 HAS SOUPS 726446 WITH SCORE 759778.265
AT ITER 1055 NEW BEST:: SOT 38338894 SOS 33332265 HAS SOPS 15980481 HAS SOUS 1907404 HAS SOUPS 726230 WITH SCORE 759562.265
AT ITER 1072 NEW BEST:: SOT 38338894 SOS 33332265 HAS SOPS 15980481 HAS SOUS 1907184 HAS SOUPS 726010 WITH SCORE 759342.265
AT ITER 1074 NEW BEST:: SOT 38338894 SOS 33332265 HAS SOPS 15980481 HAS SOUS 1906964 HAS SOUPS 725790 WITH SCORE 759122.265
AT ITER 1085 NEW BEST:: SOT 38338894 SOS 33331986 HAS SOPS 15980202 HAS SOUS 1906933 HAS SOUPS 725759 WITH SCORE 759090.986
AT ITER 1114 NEW BEST:: SOT 38338815 SOS 33331828 HAS SOPS 15981223 HAS SOUS 1906686 HAS SOUPS 725643 WITH SCORE 758974.828
AT ITER 1124 NEW BEST:: SOT 38336434 SOS 33345201 HAS SOPS 15984876 HAS SOUS 1905133 HAS SOUPS 724090 WITH SCORE 757435.201
AT ITER 1134 NEW BEST:: SOT 38336434 SOS 33345201 HAS SOPS 15984876 HAS SOUS 1905130 HAS SOUPS 724088 WITH SCORE 757433.201
AT ITER 1141 NEW BEST:: SOT 38321800 SOS 33319413 HAS SOPS 15975696 HAS SOUS 1904126 HAS SOUPS 723971 WITH SCORE 757290.413
AT ITER 1155 NEW BEST:: SOT 38321596 SOS 33319005 HAS SOPS 15977124 HAS SOUS 1903718 HAS SOUPS 723767 WITH SCORE 757086.005
AT ITER 1168 NEW BEST:: SOT 38320199 SOS 33326686 HAS SOPS 15975544 HAS SOUS 1902768 HAS SOUPS 722474 WITH SCORE 755800.686
AT ITER 1190 NEW BEST:: SOT 38319901 SOS 33326090 HAS SOPS 15976289 HAS SOUS 1902172 HAS SOUPS 722027 WITH SCORE 755353.09
AT ITER 1236 NEW BEST:: SOT 38319545 SOS 33325378 HAS SOPS 15977638 HAS SOUS 1901460 HAS SOUPS 721544 WITH SCORE 754869.378
AT ITER 1278 NEW BEST:: SOT 38317372 SOS 33331864 HAS SOPS 15977410 HAS SOUS 1899613 HAS SOUPS 719697 WITH SCORE 753028.8640000001
AT ITER 1308 NEW BEST:: SOT 38314695 SOS 33346681 HAS SOPS 15982705 HAS SOUS 1897910 HAS SOUPS 717994 WITH SCORE 751340.681
AT ITER 1309 NEW BEST:: SOT 38314695 SOS 33346681 HAS SOPS 15982705 HAS SOUS 1897690 HAS SOUPS 717774 WITH SCORE 751120.681
AT ITER 1317 NEW BEST:: SOT 38314695 SOS 33346681 HAS SOPS 15982705 HAS SOUS 1897470 HAS SOUPS 717554 WITH SCORE 750900.681
AT ITER 1349 NEW BEST:: SOT 38313723 SOS 33344737 HAS SOPS 15985135 HAS SOUS 1895526 HAS SOUPS 716096 WITH SCORE 749440.737
AT ITER 1374 NEW BEST:: SOT 38313723 SOS 33344737 HAS SOPS 15985135 HAS SOUS 1895306 HAS SOUPS 715876 WITH SCORE 749220.737
AT ITER 1388 NEW BEST:: SOT 38313105 SOS 33343501 HAS SOPS 15986680 HAS SOUS 1894070 HAS SOUPS 714949 WITH SCORE 748292.501
AT ITER 1423 NEW BEST:: SOT 38311605 SOS 33346585 HAS SOPS 15983446 HAS SOUS 1893044 HAS SOUPS 713689 WITH SCORE 747035.585
AT ITER 1456 NEW BEST:: SOT 38311321 SOS 33345307 HAS SOPS 15982168 HAS SOUS 1892760 HAS SOUPS 713405 WITH SCORE 746750.307
AT ITER 1470 NEW BEST:: SOT 38310623 SOS 33357230 HAS SOPS 15987593 HAS SOUS 1892442 HAS SOUPS 713087 WITH SCORE 746444.23
AT ITER 1476 NEW BEST:: SOT 38310623 SOS 33357445 HAS SOPS 15987808 HAS SOUS 1892399 HAS SOUPS 713044 WITH SCORE 746401.445
AT ITER 1481 NEW BEST:: SOT 38310623 SOS 33357445 HAS SOPS 15987808 HAS SOUS 1892225 HAS SOUPS 712870 WITH SCORE 746227.445
AT ITER 1501 NEW BEST:: SOT 38310623 SOS 33357445 HAS SOPS 15987808 HAS SOUS 1892221 HAS SOUPS 712866 WITH SCORE 746223.445
AT ITER 1557 NEW BEST:: SOT 38310623 SOS 33357445 HAS SOPS 15987808 HAS SOUS 1892215 HAS SOUPS 712860 WITH SCORE 746217.445
AT ITER 1603 NEW BEST:: SOT 38310623 SOS 33357445 HAS SOPS 15987808 HAS SOUS 1891995 HAS SOUPS 712640 WITH SCORE 745997.445
AT ITER 1635 NEW BEST:: SOT 38310623 SOS 33357445 HAS SOPS 15987808 HAS SOUS 1891775 HAS SOUPS 712420 WITH SCORE 745777.445
AT ITER 1656 NEW BEST:: SOT 38306784 SOS 33365670 HAS SOPS 15987447 HAS SOUS 1889539 HAS SOUPS 710184 WITH SCORE 743549.67
AT ITER 1657 NEW BEST:: SOT 38304598 SOS 33369072 HAS SOPS 15982776 HAS SOUS 1888549 HAS SOUPS 708895 WITH SCORE 742264.072
AT ITER 1663 NEW BEST:: SOT 38303226 SOS 33364693 HAS SOPS 15981340 HAS SOUS 1887946 HAS SOUPS 708619 WITH SCORE 741983.693
AT ITER 1664 NEW BEST:: SOT 38303226 SOS 33364693 HAS SOPS 15981340 HAS SOUS 1887726 HAS SOUPS 708399 WITH SCORE 741763.693
AT ITER 1678 NEW BEST:: SOT 38301483 SOS 33302133 HAS SOPS 15988759 HAS SOUS 1886099 HAS SOUPS 706772 WITH SCORE 740074.133
AT ITER 1701 NEW BEST:: SOT 38301483 SOS 33302133 HAS SOPS 15988759 HAS SOUS 1885879 HAS SOUPS 706552 WITH SCORE 739854.133
AT ITER 1702 NEW BEST:: SOT 38299428 SOS 33241134 HAS SOPS 15993917 HAS SOUS 1884428 HAS SOUPS 705101 WITH SCORE 738342.134
AT ITER 1716 NEW BEST:: SOT 38299733 SOS 33189862 HAS SOPS 15996099 HAS SOUS 1883929 HAS SOUPS 705055 WITH SCORE 738244.862
AT ITER 1733 NEW BEST:: SOT 38297269 SOS 33201753 HAS SOPS 15999044 HAS SOUS 1882416 HAS SOUPS 703542 WITH SCORE 736743.753
AT ITER 1779 NEW BEST:: SOT 38297269 SOS 33201753 HAS SOPS 15999044 HAS SOUS 1882334 HAS SOUPS 703460 WITH SCORE 736661.753
AT ITER 1802 NEW BEST:: SOT 38295326 SOS 33141508 HAS SOPS 16008232 HAS SOUS 1880459 HAS SOUPS 701585 WITH SCORE 734726.508
AT ITER 1803 NEW BEST:: SOT 38293564 SOS 33150080 HAS SOPS 16006841 HAS SOUS 1879661 HAS SOUPS 700418 WITH SCORE 733568.08
AT ITER 1811 NEW BEST:: SOT 38293219 SOS 33152955 HAS SOPS 16006611 HAS SOUS 1879431 HAS SOUPS 700073 WITH SCORE 733225.955
AT ITER 1835 NEW BEST:: SOT 38293219 SOS 33152955 HAS SOPS 16006611 HAS SOUS 1879211 HAS SOUPS 699853 WITH SCORE 733005.955
AT ITER 1845 NEW BEST:: SOT 38293219 SOS 33152955 HAS SOPS 16006611 HAS SOUS 1879135 HAS SOUPS 699777 WITH SCORE 732929.955
AT ITER 1846 NEW BEST:: SOT 38290586 SOS 33182636 HAS SOPS 16016339 HAS SOUS 1879421 HAS SOUPS 699324 WITH SCORE 732506.6359999999
AT ITER 1877 NEW BEST:: SOT 38288615 SOS 33194005 HAS SOPS 16018996 HAS SOUS 1878260 HAS SOUPS 698163 WITH SCORE 731357.005
AT ITER 1903 NEW BEST:: SOT 38288615 SOS 33194005 HAS SOPS 16018996 HAS SOUS 1878148 HAS SOUPS 698051 WITH SCORE 731245.005
AT ITER 1915 NEW BEST:: SOT 38288615 SOS 33194005 HAS SOPS 16018996 HAS SOUS 1878142 HAS SOUPS 698045 WITH SCORE 731239.005
AT ITER 1921 NEW BEST:: SOT 38287242 SOS 33199276 HAS SOPS 16016194 HAS SOUS 1877622 HAS SOUPS 697226 WITH SCORE 730425.276
AT ITER 1934 NEW BEST:: SOT 38286921 SOS 33197437 HAS SOPS 16016542 HAS SOUS 1876898 HAS SOUPS 696745 WITH SCORE 729942.437
AT ITER 1935 NEW BEST:: SOT 38286233 SOS 33202864 HAS SOPS 16018873 HAS SOUS 1876340 HAS SOUPS 696187 WITH SCORE 729389.8640000001
AT ITER 1952 NEW BEST:: SOT 38286233 SOS 33202864 HAS SOPS 16018873 HAS SOUS 1876126 HAS SOUPS 695973 WITH SCORE 729175.8640000001
AT ITER 1979 NEW BEST:: SOT 38286153 SOS 33202704 HAS SOPS 16018713 HAS SOUS 1876086 HAS SOUPS 695933 WITH SCORE 729135.704
AT ITER 2001 NEW BEST:: SOT 38286153 SOS 33202704 HAS SOPS 16018713 HAS SOUS 1875866 HAS SOUPS 695713 WITH SCORE 728915.704
AT ITER 2012 NEW BEST:: SOT 38286153 SOS 33202704 HAS SOPS 16018713 HAS SOUS 1875854 HAS SOUPS 695701 WITH SCORE 728903.704
AT ITER 2030 NEW BEST:: SOT 38284499 SOS 33208363 HAS SOPS 16016434 HAS SOUS 1874823 HAS SOUPS 694376 WITH SCORE 727584.363
AT ITER 2058 NEW BEST:: SOT 38283860 SOS 33206590 HAS SOPS 16018702 HAS SOUS 1873490 HAS SOUPS 693492 WITH SCORE 726698.59
AT ITER 2061 NEW BEST:: SOT 38283624 SOS 33205528 HAS SOPS 16017640 HAS SOUS 1873254 HAS SOUPS 693256 WITH SCORE 726461.528
AT ITER 2063 NEW BEST:: SOT 38284642 SOS 33213252 HAS SOPS 16018965 HAS SOUS 1873694 HAS SOUPS 692985 WITH SCORE 726198.252
AT ITER 2103 NEW BEST:: SOT 38284486 SOS 33211703 HAS SOPS 16017416 HAS SOUS 1873575 HAS SOUPS 692866 WITH SCORE 726077.703
AT ITER 2113 NEW BEST:: SOT 38279814 SOS 33225661 HAS SOPS 16019728 HAS SOUS 1870384 HAS SOUPS 689675 WITH SCORE 722900.661
AT ITER 2119 NEW BEST:: SOT 38278690 SOS 33230109 HAS SOPS 16018344 HAS SOUS 1869714 HAS SOUPS 688789 WITH SCORE 722019.109
AT ITER 2140 NEW BEST:: SOT 38276518 SOS 33253052 HAS SOPS 16028309 HAS SOUS 1869041 HAS SOUPS 688116 WITH SCORE 721369.052
AT ITER 2174 NEW BEST:: SOT 38262447 SOS 33228141 HAS SOPS 16019934 HAS SOUS 1867627 HAS SOUPS 687691 WITH SCORE 720919.1410000001
AT ITER 2176 NEW BEST:: SOT 38262271 SOS 33227789 HAS SOPS 16021166 HAS SOUS 1867275 HAS SOUPS 687515 WITH SCORE 720742.789
AT ITER 2198 NEW BEST:: SOT 38262271 SOS 33226628 HAS SOPS 16021166 HAS SOUS 1867146 HAS SOUPS 687515 WITH SCORE 720741.628
AT ITER 2206 NEW BEST:: SOT 38262803 SOS 33255062 HAS SOPS 16021516 HAS SOUS 1867202 HAS SOUPS 687333 WITH SCORE 720588.062
AT ITER 2209 NEW BEST:: SOT 38260755 SOS 33260766 HAS SOPS 16019660 HAS SOUS 1866554 HAS SOUPS 686405 WITH SCORE 719665.7660000001
AT ITER 2220 NEW BEST:: SOT 38260755 SOS 33260766 HAS SOPS 16019660 HAS SOUS 1866334 HAS SOUPS 686185 WITH SCORE 719445.7660000001
AT ITER 2227 NEW BEST:: SOT 38260755 SOS 33260766 HAS SOPS 16019660 HAS SOUS 1866290 HAS SOUPS 686141 WITH SCORE 719401.7660000001
AT ITER 2243 NEW BEST:: SOT 38260388 SOS 33260032 HAS SOPS 16022112 HAS SOUS 1865354 HAS SOUPS 685559 WITH SCORE 718819.032
AT ITER 2248 NEW BEST:: SOT 38263172 SOS 33264904 HAS SOPS 16023504 HAS SOUS 1865280 HAS SOUPS 685253 WITH SCORE 718517.904
AT ITER 2302 NEW BEST:: SOT 38262980 SOS 33263210 HAS SOPS 16024168 HAS SOUS 1864826 HAS SOUPS 685061 WITH SCORE 718324.21
AT ITER 2316 NEW BEST:: SOT 38262980 SOS 33263210 HAS SOPS 16024168 HAS SOUS 1864606 HAS SOUPS 684841 WITH SCORE 718104.21
AT ITER 2361 NEW BEST:: SOT 38262872 SOS 33262994 HAS SOPS 16023952 HAS SOUS 1864552 HAS SOUPS 684787 WITH SCORE 718049.994
AT ITER 2377 NEW BEST:: SOT 38262872 SOS 33262994 HAS SOPS 16023952 HAS SOUS 1864332 HAS SOUPS 684567 WITH SCORE 717829.994
AT ITER 2409 NEW BEST:: SOT 38262872 SOS 33262994 HAS SOPS 16023952 HAS SOUS 1864112 HAS SOUPS 684347 WITH SCORE 717609.994
AT ITER 2426 NEW BEST:: SOT 38262036 SOS 33331062 HAS SOPS 16022914 HAS SOUS 1863402 HAS SOUPS 683637 WITH SCORE 716968.062
AT ITER 2448 NEW BEST:: SOT 38261971 SOS 33330932 HAS SOPS 16022784 HAS SOUS 1863272 HAS SOUPS 683507 WITH SCORE 716837.932
AT ITER 2482 NEW BEST:: SOT 38261062 SOS 33332847 HAS SOPS 16022881 HAS SOUS 1862627 HAS SOUPS 682862 WITH SCORE 716194.847
AT ITER 2484 NEW BEST:: SOT 38261062 SOS 33332847 HAS SOPS 16022881 HAS SOUS 1862407 HAS SOUPS 682642 WITH SCORE 715974.847
AT ITER 2490 NEW BEST:: SOT 38261062 SOS 33332847 HAS SOPS 16022881 HAS SOUS 1862187 HAS SOUPS 682422 WITH SCORE 715754.847
AT ITER 2526 NEW BEST:: SOT 38257738 SOS 33342335 HAS SOPS 16024737 HAS SOUS 1860397 HAS SOUPS 680632 WITH SCORE 713974.335
AT ITER 2540 NEW BEST:: SOT 38256690 SOS 33339349 HAS SOPS 16021751 HAS SOUS 1859705 HAS SOUPS 679940 WITH SCORE 713279.349
AT ITER 2551 NEW BEST:: SOT 38256690 SOS 33339349 HAS SOPS 16021751 HAS SOUS 1859497 HAS SOUPS 679732 WITH SCORE 713071.349
AT ITER 2554 NEW BEST:: SOT 38256690 SOS 33339189 HAS SOPS 16021591 HAS SOUS 1859497 HAS SOUPS 679732 WITH SCORE 713071.189
AT ITER 2555 NEW BEST:: SOT 38256412 SOS 33342942 HAS SOPS 16021591 HAS SOUS 1859357 HAS SOUPS 679453 WITH SCORE 712795.942
AT ITER 2559 NEW BEST:: SOT 38256412 SOS 33342942 HAS SOPS 16021591 HAS SOUS 1859149 HAS SOUPS 679245 WITH SCORE 712587.942
AT ITER 2573 NEW BEST:: SOT 38254427 SOS 33356385 HAS SOPS 16025926 HAS SOUS 1858049 HAS SOUPS 678145 WITH SCORE 711501.385
AT ITER 2575 NEW BEST:: SOT 38254208 SOS 33355947 HAS SOPS 16028008 HAS SOUS 1857580 HAS SOUPS 677956 WITH SCORE 711311.947
AT ITER 2590 NEW BEST:: SOT 38254039 SOS 33355609 HAS SOPS 16028552 HAS SOUS 1857229 HAS SOUPS 677703 WITH SCORE 711058.609
AT ITER 2600 NEW BEST:: SOT 38253728 SOS 33354987 HAS SOPS 16031998 HAS SOUS 1856386 HAS SOUPS 677312 WITH SCORE 710666.987
AT ITER 2623 NEW BEST:: SOT 38253181 SOS 33353893 HAS SOPS 16035584 HAS SOUS 1855292 HAS SOUPS 676738 WITH SCORE 710091.893
AT ITER 2636 NEW BEST:: SOT 38251394 SOS 33365310 HAS SOPS 16037443 HAS SOUS 1855348 HAS SOUPS 676440 WITH SCORE 709805.31
AT ITER 2701 NEW BEST:: SOT 38251394 SOS 33365310 HAS SOPS 16037443 HAS SOUS 1855128 HAS SOUPS 676220 WITH SCORE 709585.31
AT ITER 2715 NEW BEST:: SOT 38251394 SOS 33365310 HAS SOPS 16037443 HAS SOUS 1854996 HAS SOUPS 676088 WITH SCORE 709453.31
AT ITER 2751 NEW BEST:: SOT 38251000 SOS 33362167 HAS SOPS 16038539 HAS SOUS 1854131 HAS SOUPS 675694 WITH SCORE 709056.167
AT ITER 2797 NEW BEST:: SOT 38250790 SOS 33363049 HAS SOPS 16038287 HAS SOUS 1853963 HAS SOUPS 675484 WITH SCORE 708847.049
AT ITER 2810 NEW BEST:: SOT 38250790 SOS 33363049 HAS SOPS 16038287 HAS SOUS 1853929 HAS SOUPS 675450 WITH SCORE 708813.049
AT ITER 2843 NEW BEST:: SOT 38250706 SOS 33362881 HAS SOPS 16038119 HAS SOUS 1853761 HAS SOUPS 675282 WITH SCORE 708644.881
AT ITER 2849 NEW BEST:: SOT 38248038 SOS 33376780 HAS SOPS 16042172 HAS SOUS 1852247 HAS SOUPS 673768 WITH SCORE 707144.78
AT ITER 2888 NEW BEST:: SOT 38245917 SOS 33393771 HAS SOPS 16048507 HAS SOUS 1850499 HAS SOUPS 672020 WITH SCORE 705413.771
AT ITER 2893 NEW BEST:: SOT 38245917 SOS 33393771 HAS SOPS 16048507 HAS SOUS 1850279 HAS SOUPS 671800 WITH SCORE 705193.771
AT ITER 2896 NEW BEST:: SOT 38245863 SOS 33393663 HAS SOPS 16048399 HAS SOUS 1850225 HAS SOUPS 671746 WITH SCORE 705139.663
AT ITER 2900 NEW BEST:: SOT 38245863 SOS 33393663 HAS SOPS 16048399 HAS SOUS 1850005 HAS SOUPS 671526 WITH SCORE 704919.663
AT ITER 2903 NEW BEST:: SOT 38245863 SOS 33393663 HAS SOPS 16048399 HAS SOUS 1849859 HAS SOUPS 671380 WITH SCORE 704773.663
AT ITER 2927 NEW BEST:: SOT 38236577 SOS 33377063 HAS SOPS 16042189 HAS SOUS 1849298 HAS SOUPS 671248 WITH SCORE 704625.063
AT ITER 2962 NEW BEST:: SOT 38236577 SOS 33377063 HAS SOPS 16042189 HAS SOUS 1849226 HAS SOUPS 671176 WITH SCORE 704553.063
AT ITER 3010 NEW BEST:: SOT 38236577 SOS 33377063 HAS SOPS 16042189 HAS SOUS 1849148 HAS SOUPS 671098 WITH SCORE 704475.063
AT ITER 3020 NEW BEST:: SOT 38236317 SOS 33375253 HAS SOPS 16042701 HAS SOUS 1848630 HAS SOUPS 670838 WITH SCORE 704213.253
AT ITER 3064 NEW BEST:: SOT 38236317 SOS 33375253 HAS SOPS 16042701 HAS SOUS 1848496 HAS SOUPS 670704 WITH SCORE 704079.253
AT ITER 3115 NEW BEST:: SOT 38235792 SOS 33373678 HAS SOPS 16041126 HAS SOUS 1848181 HAS SOUPS 670389 WITH SCORE 703762.678
AT ITER 3128 NEW BEST:: SOT 38233907 SOS 33366590 HAS SOPS 16039015 HAS SOUS 1845517 HAS SOUPS 668278 WITH SCORE 701644.59
AT ITER 3150 NEW BEST:: SOT 38233907 SOS 33366590 HAS SOPS 16039015 HAS SOUS 1845455 HAS SOUPS 668216 WITH SCORE 701582.59
AT ITER 3172 NEW BEST:: SOT 38232419 SOS 33375860 HAS SOPS 16039213 HAS SOUS 1845229 HAS SOUPS 667654 WITH SCORE 701029.86
AT ITER 3173 NEW BEST:: SOT 38229254 SOS 33366305 HAS SOPS 16035463 HAS SOUS 1843067 HAS SOUPS 666137 WITH SCORE 699503.305
AT ITER 3174 NEW BEST:: SOT 38229254 SOS 33366107 HAS SOPS 16035265 HAS SOUS 1843045 HAS SOUPS 666115 WITH SCORE 699481.107
AT ITER 3179 NEW BEST:: SOT 38229254 SOS 33366107 HAS SOPS 16035265 HAS SOUS 1842825 HAS SOUPS 665895 WITH SCORE 699261.107
AT ITER 3183 NEW BEST:: SOT 38228264 SOS 33363147 HAS SOPS 16032305 HAS SOUS 1842227 HAS SOUPS 665297 WITH SCORE 698660.147
AT ITER 3184 NEW BEST:: SOT 38227912 SOS 33359878 HAS SOPS 16029036 HAS SOUS 1841485 HAS SOUPS 664555 WITH SCORE 697914.878
AT ITER 3190 NEW BEST:: SOT 38227551 SOS 33359156 HAS SOPS 16030528 HAS SOUS 1840671 HAS SOUPS 663987 WITH SCORE 697346.156
AT ITER 3215 NEW BEST:: SOT 38227551 SOS 33359156 HAS SOPS 16030528 HAS SOUS 1840517 HAS SOUPS 663833 WITH SCORE 697192.156
AT ITER 3240 NEW BEST:: SOT 38225107 SOS 33372629 HAS SOPS 16034299 HAS SOUS 1839033 HAS SOUPS 662349 WITH SCORE 695721.629
AT ITER 3246 NEW BEST:: SOT 38225087 SOS 33372589 HAS SOPS 16034169 HAS SOUS 1839013 HAS SOUPS 662319 WITH SCORE 695691.589
AT ITER 3248 NEW BEST:: SOT 38224438 SOS 33378491 HAS SOPS 16035211 HAS SOUS 1838902 HAS SOUPS 662028 WITH SCORE 695406.491
AT ITER 3250 NEW BEST:: SOT 38223390 SOS 33323776 HAS SOPS 16045925 HAS SOUS 1837933 HAS SOUPS 661059 WITH SCORE 694382.776
AT ITER 3254 NEW BEST:: SOT 38223390 SOS 33323776 HAS SOPS 16045925 HAS SOUS 1837911 HAS SOUPS 661037 WITH SCORE 694360.776
AT ITER 3280 NEW BEST:: SOT 38222819 SOS 33332138 HAS SOPS 16048455 HAS SOUS 1837772 HAS SOUPS 660682 WITH SCORE 694014.138
AT ITER 3283 NEW BEST:: SOT 38222819 SOS 33332138 HAS SOPS 16048455 HAS SOUS 1837756 HAS SOUPS 660666 WITH SCORE 693998.138
AT ITER 3286 NEW BEST:: SOT 38222447 SOS 33337966 HAS SOPS 16050935 HAS SOUS 1837755 HAS SOUPS 660541 WITH SCORE 693878.966
AT ITER 3303 NEW BEST:: SOT 38222447 SOS 33337966 HAS SOPS 16050935 HAS SOUS 1837649 HAS SOUPS 660435 WITH SCORE 693772.966
AT ITER 3309 NEW BEST:: SOT 38222293 SOS 33339044 HAS SOPS 16052013 HAS SOUS 1837495 HAS SOUPS 660281 WITH SCORE 693620.044
AT ITER 3332 NEW BEST:: SOT 38221458 SOS 33341249 HAS SOPS 16050843 HAS SOUS 1837015 HAS SOUPS 659676 WITH SCORE 693017.249
AT ITER 3349 NEW BEST:: SOT 38220064 SOS 33361246 HAS SOPS 16054235 HAS SOUS 1837258 HAS SOUPS 659304 WITH SCORE 692665.246
AT ITER 3367 NEW BEST:: SOT 38219940 SOS 33360422 HAS SOPS 16053987 HAS SOUS 1837009 HAS SOUPS 659119 WITH SCORE 692479.422
AT ITER 3401 NEW BEST:: SOT 38220560 SOS 33267546 HAS SOPS 16051799 HAS SOUS 1836777 HAS SOUPS 658887 WITH SCORE 692154.546
AT ITER 3421 NEW BEST:: SOT 38218335 SOS 33288391 HAS SOPS 16060584 HAS SOUS 1835970 HAS SOUPS 658080 WITH SCORE 691368.3910000001
AT ITER 3436 NEW BEST:: SOT 38215220 SOS 33299958 HAS SOPS 16062665 HAS SOUS 1833323 HAS SOUPS 655433 WITH SCORE 688732.958
AT ITER 3457 NEW BEST:: SOT 38215134 SOS 33299786 HAS SOPS 16062493 HAS SOUS 1833237 HAS SOUPS 655347 WITH SCORE 688646.786
AT ITER 3458 NEW BEST:: SOT 38215134 SOS 33299786 HAS SOPS 16062493 HAS SOUS 1833063 HAS SOUPS 655173 WITH SCORE 688472.786
AT ITER 3478 NEW BEST:: SOT 38213489 SOS 33309749 HAS SOPS 16062628 HAS SOUS 1832285 HAS SOUPS 654031 WITH SCORE 687340.749
AT ITER 3490 NEW BEST:: SOT 38212737 SOS 33320037 HAS SOPS 16068092 HAS SOUS 1831801 HAS SOUPS 653547 WITH SCORE 686867.037
AT ITER 3495 NEW BEST:: SOT 38212737 SOS 33320037 HAS SOPS 16068092 HAS SOUS 1831581 HAS SOUPS 653327 WITH SCORE 686647.037
AT ITER 3503 NEW BEST:: SOT 38212737 SOS 33320037 HAS SOPS 16068092 HAS SOUS 1831361 HAS SOUPS 653107 WITH SCORE 686427.037
AT ITER 3520 NEW BEST:: SOT 38212452 SOS 33316902 HAS SOPS 16067522 HAS SOUS 1830791 HAS SOUPS 652822 WITH SCORE 686138.902
AT ITER 3526 NEW BEST:: SOT 38212278 SOS 33316554 HAS SOPS 16067174 HAS SOUS 1830562 HAS SOUPS 652593 WITH SCORE 685909.554
AT ITER 3532 NEW BEST:: SOT 38212253 SOS 33316504 HAS SOPS 16067124 HAS SOUS 1830537 HAS SOUPS 652568 WITH SCORE 685884.504
AT ITER 3535 NEW BEST:: SOT 38212088 SOS 33317032 HAS SOPS 16066761 HAS SOUS 1830405 HAS SOUPS 652403 WITH SCORE 685720.032
AT ITER 3536 NEW BEST:: SOT 38209582 SOS 33335149 HAS SOPS 16073034 HAS SOUS 1829142 HAS SOUPS 651140 WITH SCORE 684475.149
AT ITER 3545 NEW BEST:: SOT 38209582 SOS 33335149 HAS SOPS 16073034 HAS SOUS 1829138 HAS SOUPS 651136 WITH SCORE 684471.149
AT ITER 3578 NEW BEST:: SOT 38209348 SOS 33335149 HAS SOPS 16073034 HAS SOUS 1829020 HAS SOUPS 651018 WITH SCORE 684353.149
AT ITER 3583 NEW BEST:: SOT 38206352 SOS 33348281 HAS SOPS 16076590 HAS SOUS 1826654 HAS SOUPS 648652 WITH SCORE 682000.281
AT ITER 3614 NEW BEST:: SOT 38206352 SOS 33348281 HAS SOPS 16076590 HAS SOUS 1826434 HAS SOUPS 648432 WITH SCORE 681780.281
AT ITER 3624 NEW BEST:: SOT 38206352 SOS 33348281 HAS SOPS 16076590 HAS SOUS 1826242 HAS SOUPS 648240 WITH SCORE 681588.281
AT ITER 3670 NEW BEST:: SOT 38204730 SOS 33343337 HAS SOPS 16074706 HAS SOUS 1825054 HAS SOUPS 647392 WITH SCORE 680735.337
AT ITER 3685 NEW BEST:: SOT 38203869 SOS 33346482 HAS SOPS 16073612 HAS SOUS 1824514 HAS SOUPS 646695 WITH SCORE 680041.482
AT ITER 3691 NEW BEST:: SOT 38200725 SOS 33355249 HAS SOPS 16075053 HAS SOUS 1822973 HAS SOUPS 645154 WITH SCORE 678509.249
AT ITER 3697 NEW BEST:: SOT 38200667 SOS 33354908 HAS SOPS 16074712 HAS SOUS 1822915 HAS SOUPS 645096 WITH SCORE 678450.908
AT ITER 3725 NEW BEST:: SOT 38200667 SOS 33354908 HAS SOPS 16074712 HAS SOUS 1822913 HAS SOUPS 645094 WITH SCORE 678448.908
AT ITER 3726 NEW BEST:: SOT 38200667 SOS 33354908 HAS SOPS 16074712 HAS SOUS 1822867 HAS SOUPS 645048 WITH SCORE 678402.908
AT ITER 3727 NEW BEST:: SOT 38200586 SOS 33354746 HAS SOPS 16075279 HAS SOUS 1822705 HAS SOUPS 644967 WITH SCORE 678321.746
AT ITER 3755 NEW BEST:: SOT 38200586 SOS 33354746 HAS SOPS 16075279 HAS SOUS 1822282 HAS SOUPS 644965 WITH SCORE 678319.746
AT ITER 3792 NEW BEST:: SOT 38200174 SOS 33351192 HAS SOPS 16076639 HAS SOUS 1821630 HAS SOUPS 644859 WITH SCORE 678210.192
AT ITER 3801 NEW BEST:: SOT 38200174 SOS 33351192 HAS SOPS 16076639 HAS SOUS 1821410 HAS SOUPS 644639 WITH SCORE 677990.192
AT ITER 3804 NEW BEST:: SOT 38191680 SOS 33336056 HAS SOPS 16070598 HAS SOUS 1821001 HAS SOUPS 644444 WITH SCORE 677780.056
AT ITER 3827 NEW BEST:: SOT 38191680 SOS 33336056 HAS SOPS 16070598 HAS SOUS 1820941 HAS SOUPS 644384 WITH SCORE 677720.056
AT ITER 3850 NEW BEST:: SOT 38191680 SOS 33336056 HAS SOPS 16070598 HAS SOUS 1820855 HAS SOUPS 644298 WITH SCORE 677634.056
AT ITER 3854 NEW BEST:: SOT 38191640 SOS 33335656 HAS SOPS 16070198 HAS SOUS 1820855 HAS SOUPS 644298 WITH SCORE 677633.656
AT ITER 3882 NEW BEST:: SOT 38189639 SOS 33347804 HAS SOPS 16072005 HAS SOUS 1820065 HAS SOUPS 643125 WITH SCORE 676472.804
AT ITER 3889 NEW BEST:: SOT 38189639 SOS 33347804 HAS SOPS 16072005 HAS SOUS 1820033 HAS SOUPS 643093 WITH SCORE 676440.804
AT ITER 3901 NEW BEST:: SOT 38188205 SOS 33343616 HAS SOPS 16067817 HAS SOUS 1819173 HAS SOUPS 642233 WITH SCORE 675576.616
AT ITER 3911 NEW BEST:: SOT 38186781 SOS 33354690 HAS SOPS 16072555 HAS SOUS 1818269 HAS SOUPS 641329 WITH SCORE 674683.69
AT ITER 3918 NEW BEST:: SOT 38184560 SOS 33372946 HAS SOPS 16079633 HAS SOUS 1816951 HAS SOUPS 640011 WITH SCORE 673383.946
AT ITER 3940 NEW BEST:: SOT 38185109 SOS 33377148 HAS SOPS 16083835 HAS SOUS 1816805 HAS SOUPS 639865 WITH SCORE 673242.148
AT ITER 3942 NEW BEST:: SOT 38185109 SOS 33377148 HAS SOPS 16083835 HAS SOUS 1816804 HAS SOUPS 639864 WITH SCORE 673241.148
AT ITER 3966 NEW BEST:: SOT 38185109 SOS 33377148 HAS SOPS 16083835 HAS SOUS 1816642 HAS SOUPS 639702 WITH SCORE 673079.148
AT ITER 3977 NEW BEST:: SOT 38185097 SOS 33377232 HAS SOPS 16083919 HAS SOUS 1816630 HAS SOUPS 639690 WITH SCORE 673067.232
AT ITER 3982 NEW BEST:: SOT 38185097 SOS 33377232 HAS SOPS 16083919 HAS SOUS 1816614 HAS SOUPS 639674 WITH SCORE 673051.232
AT ITER 4008 NEW BEST:: SOT 38185097 SOS 33377232 HAS SOPS 16083919 HAS SOUS 1816394 HAS SOUPS 639454 WITH SCORE 672831.232
AT ITER 4022 NEW BEST:: SOT 38185097 SOS 33377232 HAS SOPS 16083919 HAS SOUS 1816174 HAS SOUPS 639234 WITH SCORE 672611.232
AT ITER 4030 NEW BEST:: SOT 38185097 SOS 33377232 HAS SOPS 16083919 HAS SOUS 1816135 HAS SOUPS 639195 WITH SCORE 672572.232
AT ITER 4040 NEW BEST:: SOT 38184989 SOS 33377124 HAS SOPS 16083811 HAS SOUS 1816108 HAS SOUPS 639168 WITH SCORE 672545.124
AT ITER 4062 NEW BEST:: SOT 38184850 SOS 33376000 HAS SOPS 16084784 HAS SOUS 1815735 HAS SOUPS 639028 WITH SCORE 672404.0
AT ITER 4087 NEW BEST:: SOT 38184734 SOS 33375623 HAS SOPS 16084668 HAS SOUS 1815677 HAS SOUPS 638999 WITH SCORE 672374.623
AT ITER 4136 NEW BEST:: SOT 38183902 SOS 33383111 HAS SOPS 16088412 HAS SOUS 1815053 HAS SOUPS 638375 WITH SCORE 671758.111
AT ITER 4161 NEW BEST:: SOT 38182422 SOS 33395239 HAS SOPS 16089956 HAS SOUS 1814410 HAS SOUPS 637340 WITH SCORE 670735.2390000001
AT ITER 4175 NEW BEST:: SOT 38182422 SOS 33395239 HAS SOPS 16089956 HAS SOUS 1814368 HAS SOUPS 637298 WITH SCORE 670693.2390000001
AT ITER 4184 NEW BEST:: SOT 38182270 SOS 33393425 HAS SOPS 16090860 HAS SOUS 1813969 HAS SOUPS 637201 WITH SCORE 670594.425
AT ITER 4187 NEW BEST:: SOT 38182448 SOS 33392848 HAS SOPS 16089288 HAS SOUS 1813589 HAS SOUPS 636821 WITH SCORE 670213.848
AT ITER 4191 NEW BEST:: SOT 38182448 SOS 33392848 HAS SOPS 16089288 HAS SOUS 1813447 HAS SOUPS 636679 WITH SCORE 670071.848
AT ITER 4203 NEW BEST:: SOT 38181335 SOS 33396108 HAS SOPS 16086851 HAS SOUS 1812996 HAS SOUPS 636017 WITH SCORE 669413.108
AT ITER 4251 NEW BEST:: SOT 38181335 SOS 33396108 HAS SOPS 16086851 HAS SOUS 1812964 HAS SOUPS 635985 WITH SCORE 669381.108
AT ITER 4263 NEW BEST:: SOT 38181335 SOS 33396108 HAS SOPS 16086851 HAS SOUS 1812744 HAS SOUPS 635765 WITH SCORE 669161.108
AT ITER 4279 NEW BEST:: SOT 38181297 SOS 33395411 HAS SOPS 16086946 HAS SOUS 1812580 HAS SOUPS 635689 WITH SCORE 669084.411
AT ITER 4305 NEW BEST:: SOT 38181177 SOS 33395867 HAS SOPS 16086754 HAS SOUS 1812492 HAS SOUPS 635577 WITH SCORE 668972.867
AT ITER 4346 NEW BEST:: SOT 38180314 SOS 33412794 HAS SOPS 16093367 HAS SOUS 1812687 HAS SOUPS 635390 WITH SCORE 668802.794
AT ITER 4361 NEW BEST:: SOT 38180314 SOS 33412794 HAS SOPS 16093367 HAS SOUS 1812467 HAS SOUPS 635170 WITH SCORE 668582.794
AT ITER 4367 NEW BEST:: SOT 38179395 SOS 33417638 HAS SOPS 16093585 HAS SOUS 1811803 HAS SOUPS 634506 WITH SCORE 667923.638
AT ITER 4376 NEW BEST:: SOT 38177812 SOS 33410048 HAS SOPS 16091683 HAS SOUS 1810533 HAS SOUPS 633868 WITH SCORE 667278.048
AT ITER 4378 NEW BEST:: SOT 38177812 SOS 33410048 HAS SOPS 16091683 HAS SOUS 1810337 HAS SOUPS 633672 WITH SCORE 667082.048
AT ITER 4379 NEW BEST:: SOT 38177176 SOS 33406928 HAS SOPS 16088563 HAS SOUS 1809437 HAS SOUPS 632772 WITH SCORE 666178.928
AT ITER 4392 NEW BEST:: SOT 38177176 SOS 33406928 HAS SOPS 16088563 HAS SOUS 1809217 HAS SOUPS 632552 WITH SCORE 665958.928
AT ITER 4411 NEW BEST:: SOT 38177176 SOS 33406928 HAS SOPS 16088563 HAS SOUS 1809041 HAS SOUPS 632376 WITH SCORE 665782.928
AT ITER 4414 NEW BEST:: SOT 38177105 SOS 33406786 HAS SOPS 16088421 HAS SOUS 1807950 HAS SOUPS 631285 WITH SCORE 664691.786
AT ITER 4425 NEW BEST:: SOT 38177070 SOS 33407024 HAS SOPS 16088533 HAS SOUS 1807922 HAS SOUPS 631257 WITH SCORE 664664.024
AT ITER 4435 NEW BEST:: SOT 38176446 SOS 33435404 HAS SOPS 16097716 HAS SOUS 1808228 HAS SOUPS 630852 WITH SCORE 664287.404
AT ITER 4440 NEW BEST:: SOT 38176432 SOS 33435376 HAS SOPS 16097688 HAS SOUS 1808214 HAS SOUPS 630838 WITH SCORE 664273.376
AT ITER 4493 NEW BEST:: SOT 38176432 SOS 33435376 HAS SOPS 16097688 HAS SOUS 1808200 HAS SOUPS 630824 WITH SCORE 664259.376
AT ITER 4530 NEW BEST:: SOT 38176432 SOS 33435376 HAS SOPS 16097688 HAS SOUS 1807980 HAS SOUPS 630604 WITH SCORE 664039.376
AT ITER 4573 NEW BEST:: SOT 38175458 SOS 33431003 HAS SOPS 16097680 HAS SOUS 1807169 HAS SOUPS 630278 WITH SCORE 663709.003
AT ITER 4594 NEW BEST:: SOT 38175182 SOS 33432413 HAS SOPS 16097128 HAS SOUS 1806891 HAS SOUPS 629782 WITH SCORE 663214.413
AT ITER 4642 NEW BEST:: SOT 38172501 SOS 33461242 HAS SOPS 16107219 HAS SOUS 1807294 HAS SOUPS 629491 WITH SCORE 662952.242
AT ITER 4648 NEW BEST:: SOT 38171612 SOS 33472056 HAS SOPS 16110599 HAS SOUS 1807175 HAS SOUPS 629372 WITH SCORE 662844.056
AT ITER 4713 NEW BEST:: SOT 38169530 SOS 33490825 HAS SOPS 16117722 HAS SOUS 1806330 HAS SOUPS 628527 WITH SCORE 662017.825
AT ITER 4718 NEW BEST:: SOT 38168890 SOS 33495280 HAS SOPS 16117182 HAS SOUS 1806009 HAS SOUPS 628021 WITH SCORE 661516.28
AT ITER 4751 NEW BEST:: SOT 38168172 SOS 33493844 HAS SOPS 16115746 HAS SOUS 1804898 HAS SOUPS 626910 WITH SCORE 660403.844
AT ITER 4769 NEW BEST:: SOT 38168115 SOS 33494566 HAS SOPS 16116126 HAS SOUS 1804860 HAS SOUPS 626872 WITH SCORE 660366.566
AT ITER 4796 NEW BEST:: SOT 38168115 SOS 33494566 HAS SOPS 16116126 HAS SOUS 1804774 HAS SOUPS 626786 WITH SCORE 660280.566
AT ITER 4805 NEW BEST:: SOT 38168115 SOS 33494566 HAS SOPS 16116126 HAS SOUS 1804554 HAS SOUPS 626566 WITH SCORE 660060.566
AT ITER 4877 NEW BEST:: SOT 38168191 SOS 33494718 HAS SOPS 16116278 HAS SOUS 1804435 HAS SOUPS 626447 WITH SCORE 659941.718
AT ITER 4883 NEW BEST:: SOT 38168191 SOS 33494718 HAS SOPS 16116278 HAS SOUS 1804405 HAS SOUPS 626417 WITH SCORE 659911.718
AT ITER 4931 NEW BEST:: SOT 38167635 SOS 33491554 HAS SOPS 16116012 HAS SOUS 1803260 HAS SOUPS 625594 WITH SCORE 659085.554
AT ITER 4947 NEW BEST:: SOT 38166447 SOS 33501468 HAS SOPS 16120670 HAS SOUS 1802880 HAS SOUPS 625214 WITH SCORE 658715.468
AT ITER 4986 NEW BEST:: SOT 38165280 SOS 33493734 HAS SOPS 16119011 HAS SOUS 1801541 HAS SOUPS 624550 WITH SCORE 658043.734
AT ITER 4998 NEW BEST:: SOT 38165280 SOS 33493734 HAS SOPS 16119011 HAS SOUS 1801523 HAS SOUPS 624532 WITH SCORE 658025.734
AT ITER 5015 NEW BEST:: SOT 38165280 SOS 33493734 HAS SOPS 16119011 HAS SOUS 1801315 HAS SOUPS 624324 WITH SCORE 657817.734
AT ITER 5021 NEW BEST:: SOT 38163396 SOS 33487786 HAS SOPS 16116987 HAS SOUS 1800303 HAS SOUPS 623748 WITH SCORE 657235.786
AT ITER 5027 NEW BEST:: SOT 38163614 SOS 33478630 HAS SOPS 16111755 HAS SOUS 1800303 HAS SOUPS 623748 WITH SCORE 657226.63
AT ITER 5090 NEW BEST:: SOT 38163614 SOS 33478630 HAS SOPS 16111755 HAS SOUS 1800277 HAS SOUPS 623722 WITH SCORE 657200.63
AT ITER 5111 NEW BEST:: SOT 38163480 SOS 33478362 HAS SOPS 16111487 HAS SOUS 1800143 HAS SOUPS 623588 WITH SCORE 657066.362
AT ITER 5128 NEW BEST:: SOT 38163480 SOS 33478362 HAS SOPS 16111487 HAS SOUS 1799923 HAS SOUPS 623368 WITH SCORE 656846.362
AT ITER 5151 NEW BEST:: SOT 38163359 SOS 33477999 HAS SOPS 16111124 HAS SOUS 1799679 HAS SOUPS 623124 WITH SCORE 656601.999
AT ITER 5153 NEW BEST:: SOT 38161139 SOS 33489242 HAS SOPS 16114519 HAS SOUS 1798433 HAS SOUPS 621878 WITH SCORE 655367.242
AT ITER 5166 NEW BEST:: SOT 38161139 SOS 33489242 HAS SOPS 16114519 HAS SOUS 1798213 HAS SOUPS 621658 WITH SCORE 655147.242
AT ITER 5239 NEW BEST:: SOT 38161139 SOS 33489242 HAS SOPS 16114519 HAS SOUS 1797993 HAS SOUPS 621438 WITH SCORE 654927.242
AT ITER 5250 NEW BEST:: SOT 38158296 SOS 33513892 HAS SOPS 16118190 HAS SOUS 1797975 HAS SOUPS 620643 WITH SCORE 654156.892
AT ITER 5257 NEW BEST:: SOT 38158296 SOS 33513892 HAS SOPS 16118190 HAS SOUS 1797907 HAS SOUPS 620575 WITH SCORE 654088.892
AT ITER 5261 NEW BEST:: SOT 38157156 SOS 33520253 HAS SOPS 16115587 HAS SOUS 1797789 HAS SOUPS 620125 WITH SCORE 653645.253
AT ITER 5288 NEW BEST:: SOT 38150749 SOS 33508987 HAS SOPS 16110707 HAS SOUS 1797404 HAS SOUPS 619907 WITH SCORE 653415.987
AT ITER 5291 NEW BEST:: SOT 38150512 SOS 33508513 HAS SOPS 16112555 HAS SOUS 1796909 HAS SOUPS 619670 WITH SCORE 653178.513
AT ITER 5297 NEW BEST:: SOT 38150047 SOS 33504328 HAS SOPS 16112555 HAS SOUS 1796231 HAS SOUPS 619457 WITH SCORE 652961.328
AT ITER 5330 NEW BEST:: SOT 38148635 SOS 33499734 HAS SOPS 16111147 HAS SOUS 1795878 HAS SOUPS 619458 WITH SCORE 652957.734
AT ITER 5391 NEW BEST:: SOT 38148508 SOS 33496897 HAS SOPS 16110893 HAS SOUS 1795276 HAS SOUPS 619143 WITH SCORE 652639.897
AT ITER 5406 NEW BEST:: SOT 38148469 SOS 33499168 HAS SOPS 16109960 HAS SOUS 1795459 HAS SOUPS 618970 WITH SCORE 652469.168
AT ITER 5429 NEW BEST:: SOT 38148469 SOS 33499168 HAS SOPS 16109960 HAS SOUS 1795417 HAS SOUPS 618928 WITH SCORE 652427.168
AT ITER 5438 NEW BEST:: SOT 38148276 SOS 33498782 HAS SOPS 16109574 HAS SOUS 1795030 HAS SOUPS 618541 WITH SCORE 652039.782
AT ITER 5451 NEW BEST:: SOT 38148264 SOS 33495482 HAS SOPS 16109550 HAS SOUS 1794654 HAS SOUPS 618529 WITH SCORE 652024.482
AT ITER 5456 NEW BEST:: SOT 38147488 SOS 33492745 HAS SOPS 16106813 HAS SOUS 1794576 HAS SOUPS 618451 WITH SCORE 651943.745
AT ITER 5458 NEW BEST:: SOT 38147403 SOS 33492490 HAS SOPS 16106711 HAS SOUS 1794508 HAS SOUPS 618400 WITH SCORE 651892.49
AT ITER 5470 NEW BEST:: SOT 38146703 SOS 33492578 HAS SOPS 16106799 HAS SOUS 1794505 HAS SOUPS 618397 WITH SCORE 651889.578
AT ITER 5555 NEW BEST:: SOT 38146703 SOS 33492578 HAS SOPS 16106799 HAS SOUS 1794285 HAS SOUPS 618177 WITH SCORE 651669.578
AT ITER 5558 NEW BEST:: SOT 38146703 SOS 33492578 HAS SOPS 16106799 HAS SOUS 1794065 HAS SOUPS 617957 WITH SCORE 651449.578
AT ITER 5567 NEW BEST:: SOT 38146469 SOS 33492110 HAS SOPS 16106331 HAS SOUS 1793831 HAS SOUPS 617723 WITH SCORE 651215.11
AT ITER 5589 NEW BEST:: SOT 38146469 SOS 33490949 HAS SOPS 16106331 HAS SOUS 1793573 HAS SOUPS 617594 WITH SCORE 651084.949
AT ITER 5614 NEW BEST:: SOT 38146469 SOS 33490949 HAS SOPS 16106331 HAS SOUS 1793458 HAS SOUPS 617479 WITH SCORE 650969.949
AT ITER 5618 NEW BEST:: SOT 38145389 SOS 33487889 HAS SOPS 16104891 HAS SOUS 1792738 HAS SOUPS 616939 WITH SCORE 650426.889
AT ITER 5692 NEW BEST:: SOT 38143610 SOS 33482031 HAS SOPS 16103173 HAS SOUS 1791460 HAS SOUPS 616121 WITH SCORE 649603.031
AT ITER 5716 NEW BEST:: SOT 38143548 SOS 33479612 HAS SOPS 16100754 HAS SOUS 1791398 HAS SOUPS 616059 WITH SCORE 649538.612
AT ITER 5805 NEW BEST:: SOT 38143548 SOS 33479612 HAS SOPS 16100754 HAS SOUS 1791288 HAS SOUPS 615949 WITH SCORE 649428.612
AT ITER 5816 NEW BEST:: SOT 38143548 SOS 33479612 HAS SOPS 16100754 HAS SOUS 1791068 HAS SOUPS 615729 WITH SCORE 649208.612
AT ITER 5833 NEW BEST:: SOT 38143548 SOS 33479342 HAS SOPS 16100484 HAS SOUS 1791068 HAS SOUPS 615729 WITH SCORE 649208.342
AT ITER 5841 NEW BEST:: SOT 38143658 SOS 33482343 HAS SOPS 16100704 HAS SOUS 1791319 HAS SOUPS 615671 WITH SCORE 649153.343
AT ITER 5851 NEW BEST:: SOT 38136535 SOS 33474707 HAS SOPS 16095685 HAS SOUS 1791297 HAS SOUPS 615261 WITH SCORE 648735.707
AT ITER 5866 NEW BEST:: SOT 38136817 SOS 33476036 HAS SOPS 16095637 HAS SOUS 1791438 HAS SOUPS 615249 WITH SCORE 648725.036
AT ITER 5877 NEW BEST:: SOT 38136817 SOS 33476036 HAS SOPS 16095637 HAS SOUS 1791290 HAS SOUPS 615101 WITH SCORE 648577.036
AT ITER 5979 NEW BEST:: SOT 38136817 SOS 33476036 HAS SOPS 16095637 HAS SOUS 1790986 HAS SOUPS 614797 WITH SCORE 648273.036
AT ITER 6010 NEW BEST:: SOT 38136467 SOS 33484326 HAS SOPS 16096097 HAS SOUS 1790356 HAS SOUPS 613877 WITH SCORE 647361.326
AT ITER 6013 NEW BEST:: SOT 38136467 SOS 33484326 HAS SOPS 16096097 HAS SOUS 1790278 HAS SOUPS 613799 WITH SCORE 647283.326
AT ITER 6028 NEW BEST:: SOT 38136467 SOS 33484326 HAS SOPS 16096097 HAS SOUS 1790058 HAS SOUPS 613579 WITH SCORE 647063.326
AT ITER 6053 NEW BEST:: SOT 38136467 SOS 33484326 HAS SOPS 16096097 HAS SOUS 1790012 HAS SOUPS 613533 WITH SCORE 647017.326
AT ITER 6090 NEW BEST:: SOT 38136122 SOS 33483636 HAS SOPS 16095407 HAS SOUS 1789837 HAS SOUPS 613358 WITH SCORE 646841.6359999999
AT ITER 6111 NEW BEST:: SOT 38134797 SOS 33335128 HAS SOPS 16020767 HAS SOUS 1788868 HAS SOUPS 613015 WITH SCORE 646350.128
AT ITER 6141 NEW BEST:: SOT 38134797 SOS 33335128 HAS SOPS 16020767 HAS SOUS 1788792 HAS SOUPS 612939 WITH SCORE 646274.128
AT ITER 6163 NEW BEST:: SOT 38134797 SOS 33335128 HAS SOPS 16020767 HAS SOUS 1788756 HAS SOUPS 612903 WITH SCORE 646238.128
AT ITER 6213 NEW BEST:: SOT 38134358 SOS 33332945 HAS SOPS 16020933 HAS SOUS 1788367 HAS SOUPS 612775 WITH SCORE 646107.945
AT ITER 6240 NEW BEST:: SOT 38134358 SOS 33334097 HAS SOPS 16019214 HAS SOUS 1788674 HAS SOUPS 612763 WITH SCORE 646097.097
AT ITER 6248 NEW BEST:: SOT 38134190 SOS 33333141 HAS SOPS 16018258 HAS SOUS 1788305 HAS SOUPS 612394 WITH SCORE 645727.1410000001
AT ITER 6253 NEW BEST:: SOT 38134190 SOS 33333141 HAS SOPS 16018258 HAS SOUS 1788297 HAS SOUPS 612386 WITH SCORE 645719.1410000001
AT ITER 6283 NEW BEST:: SOT 38133726 SOS 33332213 HAS SOPS 16019697 HAS SOUS 1787570 HAS SOUPS 611922 WITH SCORE 645254.213
AT ITER 6293 NEW BEST:: SOT 38133537 SOS 33334040 HAS SOPS 16019823 HAS SOUS 1787507 HAS SOUPS 611796 WITH SCORE 645130.04
AT ITER 6365 NEW BEST:: SOT 38133177 SOS 33333320 HAS SOPS 16019103 HAS SOUS 1787147 HAS SOUPS 611436 WITH SCORE 644769.32
AT ITER 6371 NEW BEST:: SOT 38131963 SOS 33326643 HAS SOPS 16017889 HAS SOUS 1786204 HAS SOUPS 611100 WITH SCORE 644426.643
AT ITER 6416 NEW BEST:: SOT 38131545 SOS 33325807 HAS SOPS 16017053 HAS SOUS 1785491 HAS SOUPS 610387 WITH SCORE 643712.807
AT ITER 6449 NEW BEST:: SOT 38130876 SOS 33363829 HAS SOPS 16016371 HAS SOUS 1785660 HAS SOUPS 610228 WITH SCORE 643591.829
AT ITER 6468 NEW BEST:: SOT 38130274 SOS 33368684 HAS SOPS 16016906 HAS SOUS 1785429 HAS SOUPS 609837 WITH SCORE 643205.684
AT ITER 6496 NEW BEST:: SOT 38130026 SOS 33365506 HAS SOPS 16016410 HAS SOUS 1784585 HAS SOUPS 609291 WITH SCORE 642656.506
AT ITER 6508 NEW BEST:: SOT 38130026 SOS 33365506 HAS SOPS 16016410 HAS SOUS 1784509 HAS SOUPS 609215 WITH SCORE 642580.506
AT ITER 6509 NEW BEST:: SOT 38129942 SOS 33365338 HAS SOPS 16016242 HAS SOUS 1784369 HAS SOUPS 609075 WITH SCORE 642440.338
AT ITER 6531 NEW BEST:: SOT 38129697 SOS 33370744 HAS SOPS 16018030 HAS SOUS 1784392 HAS SOUPS 608964 WITH SCORE 642334.744
AT ITER 6534 NEW BEST:: SOT 38129649 SOS 33370648 HAS SOPS 16019311 HAS SOUS 1784191 HAS SOUPS 608916 WITH SCORE 642286.648
AT ITER 6549 NEW BEST:: SOT 38129847 SOS 33368533 HAS SOPS 16017196 HAS SOUS 1784110 HAS SOUPS 608835 WITH SCORE 642203.533
AT ITER 6573 NEW BEST:: SOT 38129621 SOS 33368533 HAS SOPS 16017196 HAS SOUS 1783997 HAS SOUPS 608722 WITH SCORE 642090.533
AT ITER 6579 NEW BEST:: SOT 38129451 SOS 33365619 HAS SOPS 16016856 HAS SOUS 1783327 HAS SOUPS 608338 WITH SCORE 641703.619
AT ITER 6623 NEW BEST:: SOT 38129451 SOS 33365399 HAS SOPS 16016771 HAS SOUS 1783312 HAS SOUPS 608328 WITH SCORE 641693.399
AT ITER 6651 NEW BEST:: SOT 38129520 SOS 33448361 HAS SOPS 16017605 HAS SOUS 1783303 HAS SOUPS 607623 WITH SCORE 641071.361
AT ITER 6654 NEW BEST:: SOT 38128951 SOS 33457607 HAS SOPS 16022603 HAS SOUS 1783182 HAS SOUPS 607502 WITH SCORE 640959.607
AT ITER 6660 NEW BEST:: SOT 38127537 SOS 33466172 HAS SOPS 16020935 HAS SOUS 1783003 HAS SOUPS 606944 WITH SCORE 640410.172
AT ITER 6694 NEW BEST:: SOT 38127063 SOS 33467971 HAS SOPS 16020601 HAS SOUS 1782919 HAS SOUPS 606781 WITH SCORE 640248.971
AT ITER 6698 NEW BEST:: SOT 38127063 SOS 33467971 HAS SOPS 16020601 HAS SOUS 1782847 HAS SOUPS 606709 WITH SCORE 640176.971
AT ITER 6710 NEW BEST:: SOT 38126002 SOS 33464729 HAS SOPS 16019375 HAS SOUS 1782077 HAS SOUPS 606163 WITH SCORE 639627.729
AT ITER 6714 NEW BEST:: SOT 38125958 SOS 33464641 HAS SOPS 16018225 HAS SOUS 1782151 HAS SOUPS 606119 WITH SCORE 639583.6410000001
AT ITER 6732 NEW BEST:: SOT 38125643 SOS 33496131 HAS SOPS 16017887 HAS SOUS 1781565 HAS SOUPS 605533 WITH SCORE 639029.131
AT ITER 6759 NEW BEST:: SOT 38125152 SOS 33495149 HAS SOPS 16016905 HAS SOUS 1780854 HAS SOUPS 604822 WITH SCORE 638317.149
AT ITER 6786 NEW BEST:: SOT 38125058 SOS 33495068 HAS SOPS 16015754 HAS SOUS 1780666 HAS SOUPS 604527 WITH SCORE 638022.068
AT ITER 6846 NEW BEST:: SOT 38125058 SOS 33495068 HAS SOPS 16015754 HAS SOUS 1780446 HAS SOUPS 604307 WITH SCORE 637802.068
AT ITER 6877 NEW BEST:: SOT 38125267 SOS 33493918 HAS SOPS 16014604 HAS SOUS 1780446 HAS SOUPS 604307 WITH SCORE 637800.918
AT ITER 6942 NEW BEST:: SOT 38125267 SOS 33493918 HAS SOPS 16014604 HAS SOUS 1780360 HAS SOUPS 604221 WITH SCORE 637714.918
AT ITER 6988 NEW BEST:: SOT 38125177 SOS 33493738 HAS SOPS 16013956 HAS SOUS 1780284 HAS SOUPS 604093 WITH SCORE 637586.738
AT ITER 7023 NEW BEST:: SOT 38125177 SOS 33493738 HAS SOPS 16013956 HAS SOUS 1780276 HAS SOUPS 604085 WITH SCORE 637578.738
AT ITER 7031 NEW BEST:: SOT 38125150 SOS 33494161 HAS SOPS 16014136 HAS SOUS 1780276 HAS SOUPS 604076 WITH SCORE 637570.161
AT ITER 7068 NEW BEST:: SOT 38125054 SOS 33494065 HAS SOPS 16014040 HAS SOUS 1780249 HAS SOUPS 604049 WITH SCORE 637543.065
AT ITER 7103 NEW BEST:: SOT 38123378 SOS 33511655 HAS SOPS 16021244 HAS SOUS 1779640 HAS SOUPS 603440 WITH SCORE 636951.655
AT ITER 7166 NEW BEST:: SOT 38123359 SOS 33511617 HAS SOPS 16021206 HAS SOUS 1779602 HAS SOUPS 603402 WITH SCORE 636913.617
AT ITER 7167 NEW BEST:: SOT 38123452 SOS 33507711 HAS SOPS 16018974 HAS SOUS 1779602 HAS SOUPS 603402 WITH SCORE 636909.711
AT ITER 7169 NEW BEST:: SOT 38123452 SOS 33507711 HAS SOPS 16018974 HAS SOUS 1779482 HAS SOUPS 603282 WITH SCORE 636789.711
AT ITER 7204 NEW BEST:: SOT 38123280 SOS 33507538 HAS SOPS 16018226 HAS SOUS 1779310 HAS SOUPS 603110 WITH SCORE 636617.538
AT ITER 7222 NEW BEST:: SOT 38122581 SOS 33514104 HAS SOPS 16018690 HAS SOUS 1779049 HAS SOUPS 602623 WITH SCORE 636137.104
AT ITER 7237 NEW BEST:: SOT 38122107 SOS 33513156 HAS SOPS 16017742 HAS SOUS 1778697 HAS SOUPS 602271 WITH SCORE 635784.156
AT ITER 7239 NEW BEST:: SOT 38122136 SOS 33510706 HAS SOPS 16016318 HAS SOUS 1778669 HAS SOUPS 602243 WITH SCORE 635753.706
AT ITER 7261 NEW BEST:: SOT 38121867 SOS 33511743 HAS SOPS 16015780 HAS SOUS 1778575 HAS SOUPS 601974 WITH SCORE 635485.743
AT ITER 7335 NEW BEST:: SOT 38121867 SOS 33511743 HAS SOPS 16015780 HAS SOUS 1778401 HAS SOUPS 601800 WITH SCORE 635311.743
AT ITER 7370 NEW BEST:: SOT 38116402 SOS 33503366 HAS SOPS 16009598 HAS SOUS 1778278 HAS SOUPS 601558 WITH SCORE 635061.366
AT ITER 7394 NEW BEST:: SOT 38116346 SOS 33503254 HAS SOPS 16009486 HAS SOUS 1778278 HAS SOUPS 601558 WITH SCORE 635061.254
AT ITER 7406 NEW BEST:: SOT 38116205 SOS 33502972 HAS SOPS 16010446 HAS SOUS 1777996 HAS SOUPS 601414 WITH SCORE 634916.972
AT ITER 7411 NEW BEST:: SOT 38115379 SOS 33502308 HAS SOPS 16009782 HAS SOUS 1777945 HAS SOUPS 601363 WITH SCORE 634865.308
AT ITER 7417 NEW BEST:: SOT 38113212 SOS 33498597 HAS SOPS 16006150 HAS SOUS 1778007 HAS SOUPS 601191 WITH SCORE 634689.597
AT ITER 7431 NEW BEST:: SOT 38112018 SOS 33469284 HAS SOPS 16009506 HAS SOUS 1777877 HAS SOUPS 601061 WITH SCORE 634530.284
AT ITER 7464 NEW BEST:: SOT 38110370 SOS 33472463 HAS SOPS 16011080 HAS SOUS 1777264 HAS SOUPS 600633 WITH SCORE 634105.463
AT ITER 7473 NEW BEST:: SOT 38110370 SOS 33472463 HAS SOPS 16011080 HAS SOUS 1777170 HAS SOUPS 600539 WITH SCORE 634011.463
AT ITER 7525 NEW BEST:: SOT 38110370 SOS 33472463 HAS SOPS 16011080 HAS SOUS 1777096 HAS SOUPS 600465 WITH SCORE 633937.463
AT ITER 7551 NEW BEST:: SOT 38110363 SOS 33472683 HAS SOPS 16009698 HAS SOUS 1777200 HAS SOUPS 600391 WITH SCORE 633863.683
AT ITER 7565 NEW BEST:: SOT 38108632 SOS 33478721 HAS SOPS 16008338 HAS SOUS 1776523 HAS SOUPS 599440 WITH SCORE 632918.721
AT ITER 7566 NEW BEST:: SOT 38109054 SOS 33475071 HAS SOPS 16005972 HAS SOUS 1776623 HAS SOUPS 599433 WITH SCORE 632908.071
AT ITER 7575 NEW BEST:: SOT 38109054 SOS 33476187 HAS SOPS 16005972 HAS SOUS 1776514 HAS SOUPS 599200 WITH SCORE 632676.187
AT ITER 7606 NEW BEST:: SOT 38109054 SOS 33476187 HAS SOPS 16005972 HAS SOUS 1776496 HAS SOUPS 599182 WITH SCORE 632658.187
AT ITER 7618 NEW BEST:: SOT 38109330 SOS 33476670 HAS SOPS 16006110 HAS SOUS 1776473 HAS SOUPS 599136 WITH SCORE 632612.67
AT ITER 7629 NEW BEST:: SOT 38103936 SOS 33442278 HAS SOPS 15992498 HAS SOUS 1776219 HAS SOUPS 598997 WITH SCORE 632439.278
AT ITER 7725 NEW BEST:: SOT 38103936 SOS 33442278 HAS SOPS 15992498 HAS SOUS 1776075 HAS SOUPS 598853 WITH SCORE 632295.278
AT ITER 7733 NEW BEST:: SOT 38103848 SOS 33442102 HAS SOPS 15992322 HAS SOUS 1775987 HAS SOUPS 598765 WITH SCORE 632207.102
AT ITER 7751 NEW BEST:: SOT 38103581 SOS 33440856 HAS SOPS 15991877 HAS SOUS 1775764 HAS SOUPS 598631 WITH SCORE 632071.856
AT ITER 7759 NEW BEST:: SOT 38103581 SOS 33440856 HAS SOPS 15991877 HAS SOUS 1775674 HAS SOUPS 598541 WITH SCORE 631981.856
AT ITER 7774 NEW BEST:: SOT 38103581 SOS 33440856 HAS SOPS 15991877 HAS SOUS 1775646 HAS SOUPS 598513 WITH SCORE 631953.856
AT ITER 7776 NEW BEST:: SOT 38095343 SOS 33425758 HAS SOPS 15986264 HAS SOUS 1775435 HAS SOUPS 598488 WITH SCORE 631913.758
AT ITER 7790 NEW BEST:: SOT 38095343 SOS 33425758 HAS SOPS 15986264 HAS SOUS 1775215 HAS SOUPS 598268 WITH SCORE 631693.758
AT ITER 7791 NEW BEST:: SOT 38095343 SOS 33425758 HAS SOPS 15986264 HAS SOUS 1775009 HAS SOUPS 598062 WITH SCORE 631487.758
AT ITER 7811 NEW BEST:: SOT 38095305 SOS 33425682 HAS SOPS 15986188 HAS SOUS 1774971 HAS SOUPS 598024 WITH SCORE 631449.682
AT ITER 7831 NEW BEST:: SOT 38095305 SOS 33425682 HAS SOPS 15986188 HAS SOUS 1774911 HAS SOUPS 597964 WITH SCORE 631389.682
AT ITER 7838 NEW BEST:: SOT 38095305 SOS 33425682 HAS SOPS 15986188 HAS SOUS 1774501 HAS SOUPS 597554 WITH SCORE 630979.682
AT ITER 7844 NEW BEST:: SOT 38095287 SOS 33425646 HAS SOPS 15986152 HAS SOUS 1774465 HAS SOUPS 597518 WITH SCORE 630943.646
AT ITER 7845 NEW BEST:: SOT 38095177 SOS 33424374 HAS SOPS 15984880 HAS SOUS 1774331 HAS SOUPS 597384 WITH SCORE 630808.374
AT ITER 7888 NEW BEST:: SOT 38096597 SOS 33426869 HAS SOPS 15985650 HAS SOUS 1774397 HAS SOUPS 597335 WITH SCORE 630761.869
AT ITER 7908 NEW BEST:: SOT 38096276 SOS 33430764 HAS SOPS 15987619 HAS SOUS 1774183 HAS SOUPS 597121 WITH SCORE 630551.764
AT ITER 7940 NEW BEST:: SOT 38096276 SOS 33430764 HAS SOPS 15987619 HAS SOUS 1774149 HAS SOUPS 597087 WITH SCORE 630517.764
AT ITER 8080 NEW BEST:: SOT 38096276 SOS 33430764 HAS SOPS 15987619 HAS SOUS 1774137 HAS SOUPS 597075 WITH SCORE 630505.764
AT ITER 8116 NEW BEST:: SOT 38095347 SOS 33428384 HAS SOPS 15989703 HAS SOUS 1772248 HAS SOUPS 595682 WITH SCORE 629110.384
AT ITER 8125 NEW BEST:: SOT 38095347 SOS 33428384 HAS SOPS 15989703 HAS SOUS 1772028 HAS SOUPS 595462 WITH SCORE 628890.384
AT ITER 8127 NEW BEST:: SOT 38095483 SOS 33412540 HAS SOPS 15981883 HAS SOUS 1771960 HAS SOUPS 595462 WITH SCORE 628874.54
AT ITER 8161 NEW BEST:: SOT 38095175 SOS 33411348 HAS SOPS 15984120 HAS SOUS 1771029 HAS SOUPS 594912 WITH SCORE 628323.348
AT ITER 8164 NEW BEST:: SOT 38095175 SOS 33411388 HAS SOPS 15984160 HAS SOUS 1771019 HAS SOUPS 594902 WITH SCORE 628313.388
AT ITER 8168 NEW BEST:: SOT 38095025 SOS 33413464 HAS SOPS 15985264 HAS SOUS 1770923 HAS SOUPS 594806 WITH SCORE 628219.464
AT ITER 8196 NEW BEST:: SOT 38095025 SOS 33413464 HAS SOPS 15985264 HAS SOUS 1770783 HAS SOUPS 594666 WITH SCORE 628079.464
AT ITER 8219 NEW BEST:: SOT 38094809 SOS 33389320 HAS SOPS 15982242 HAS SOUS 1770404 HAS SOUPS 594466 WITH SCORE 627855.32
AT ITER 8222 NEW BEST:: SOT 38094809 SOS 33387835 HAS SOPS 15980757 HAS SOUS 1770259 HAS SOUPS 594321 WITH SCORE 627708.835
AT ITER 8235 NEW BEST:: SOT 38094751 SOS 33387719 HAS SOPS 15980641 HAS SOUS 1770226 HAS SOUPS 594288 WITH SCORE 627675.719
AT ITER 8387 NEW BEST:: SOT 38094751 SOS 33387719 HAS SOPS 15980641 HAS SOUS 1770220 HAS SOUPS 594282 WITH SCORE 627669.719
AT ITER 8404 NEW BEST:: SOT 38094656 SOS 33407235 HAS SOPS 15980451 HAS SOUS 1770290 HAS SOUPS 594185 WITH SCORE 627592.235
AT ITER 8407 NEW BEST:: SOT 38094715 SOS 33407353 HAS SOPS 15980569 HAS SOUS 1770219 HAS SOUPS 594114 WITH SCORE 627521.353
AT ITER 8423 NEW BEST:: SOT 38094715 SOS 33407353 HAS SOPS 15980569 HAS SOUS 1770131 HAS SOUPS 594026 WITH SCORE 627433.353
AT ITER 8460 NEW BEST:: SOT 38094715 SOS 33407353 HAS SOPS 15980569 HAS SOUS 1770051 HAS SOUPS 593946 WITH SCORE 627353.353
AT ITER 8478 NEW BEST:: SOT 38094589 SOS 33407101 HAS SOPS 15982387 HAS SOUS 1769695 HAS SOUPS 593820 WITH SCORE 627227.101
AT ITER 8520 NEW BEST:: SOT 38094140 SOS 33404547 HAS SOPS 15983010 HAS SOUS 1768667 HAS SOUPS 593145 WITH SCORE 626549.547
AT ITER 8528 NEW BEST:: SOT 38094140 SOS 33404547 HAS SOPS 15983010 HAS SOUS 1768447 HAS SOUPS 592925 WITH SCORE 626329.547
AT ITER 8550 NEW BEST:: SOT 38093975 SOS 33402732 HAS SOPS 15982680 HAS SOUS 1768117 HAS SOUPS 592760 WITH SCORE 626162.732
AT ITER 8551 NEW BEST:: SOT 38093436 SOS 33399701 HAS SOPS 15982421 HAS SOUS 1767000 HAS SOUPS 591951 WITH SCORE 625350.701
AT ITER 8555 NEW BEST:: SOT 38093756 SOS 33399653 HAS SOPS 15982373 HAS SOUS 1766796 HAS SOUPS 591747 WITH SCORE 625146.653
AT ITER 8601 NEW BEST:: SOT 38093756 SOS 33399653 HAS SOPS 15982373 HAS SOUS 1766792 HAS SOUPS 591743 WITH SCORE 625142.653
AT ITER 8642 NEW BEST:: SOT 38093756 SOS 33399653 HAS SOPS 15982373 HAS SOUS 1766790 HAS SOUPS 591741 WITH SCORE 625140.653
AT ITER 8644 NEW BEST:: SOT 38093712 SOS 33399961 HAS SOPS 15982681 HAS SOUS 1766746 HAS SOUPS 591697 WITH SCORE 625096.961
AT ITER 8655 NEW BEST:: SOT 38093670 SOS 33399497 HAS SOPS 15982217 HAS SOUS 1766704 HAS SOUPS 591655 WITH SCORE 625054.497
AT ITER 8661 NEW BEST:: SOT 38092060 SOS 33394067 HAS SOPS 15980765 HAS SOUS 1766256 HAS SOUPS 591649 WITH SCORE 625043.067
AT ITER 8683 NEW BEST:: SOT 38092096 SOS 33392555 HAS SOPS 15979901 HAS SOUS 1766220 HAS SOUPS 591613 WITH SCORE 625005.555
AT ITER 8727 NEW BEST:: SOT 38092078 SOS 33392519 HAS SOPS 15978551 HAS SOUS 1766330 HAS SOUPS 591577 WITH SCORE 624969.519
AT ITER 8749 NEW BEST:: SOT 38092078 SOS 33392519 HAS SOPS 15978551 HAS SOUS 1766308 HAS SOUPS 591555 WITH SCORE 624947.519
AT ITER 8764 NEW BEST:: SOT 38092033 SOS 33392429 HAS SOPS 15978461 HAS SOUS 1766262 HAS SOUPS 591509 WITH SCORE 624901.429
AT ITER 8791 NEW BEST:: SOT 38092033 SOS 33392429 HAS SOPS 15978461 HAS SOUS 1766230 HAS SOUPS 591477 WITH SCORE 624869.429
AT ITER 8810 NEW BEST:: SOT 38092033 SOS 33392429 HAS SOPS 15978461 HAS SOUS 1766010 HAS SOUPS 591257 WITH SCORE 624649.429
AT ITER 8832 NEW BEST:: SOT 38092033 SOS 33392429 HAS SOPS 15978461 HAS SOUS 1766007 HAS SOUPS 591255 WITH SCORE 624647.429
AT ITER 8852 NEW BEST:: SOT 38090746 SOS 33385459 HAS SOPS 15977143 HAS SOUS 1763968 HAS SOUPS 589844 WITH SCORE 623229.459
AT ITER 8881 NEW BEST:: SOT 38090746 SOS 33385459 HAS SOPS 15977143 HAS SOUS 1763946 HAS SOUPS 589822 WITH SCORE 623207.459
AT ITER 8882 NEW BEST:: SOT 38090746 SOS 33385459 HAS SOPS 15977143 HAS SOUS 1763926 HAS SOUPS 589802 WITH SCORE 623187.459
AT ITER 8909 NEW BEST:: SOT 38090637 SOS 33385241 HAS SOPS 15976925 HAS SOUS 1763733 HAS SOUPS 589609 WITH SCORE 622994.241
AT ITER 8927 NEW BEST:: SOT 38090523 SOS 33385013 HAS SOPS 15976697 HAS SOUS 1763505 HAS SOUPS 589381 WITH SCORE 622766.013
AT ITER 8979 NEW BEST:: SOT 38090637 SOS 33378855 HAS SOPS 15978327 HAS SOUS 1763416 HAS SOUPS 589358 WITH SCORE 622736.855
AT ITER 9001 NEW BEST:: SOT 38089613 SOS 33375462 HAS SOPS 15977355 HAS SOUS 1762905 HAS SOUPS 589116 WITH SCORE 622491.462
AT ITER 9094 NEW BEST:: SOT 38089613 SOS 33373182 HAS SOPS 15979179 HAS SOUS 1762449 HAS SOUPS 589116 WITH SCORE 622489.182
AT ITER 9141 NEW BEST:: SOT 38089231 SOS 33372518 HAS SOPS 15978985 HAS SOUS 1762249 HAS SOUPS 589010 WITH SCORE 622382.518
AT ITER 9149 NEW BEST:: SOT 38088988 SOS 33371510 HAS SOPS 15980164 HAS SOUS 1761763 HAS SOUPS 588767 WITH SCORE 622138.51
AT ITER 9153 NEW BEST:: SOT 38088984 SOS 33372058 HAS SOPS 15979997 HAS SOUS 1761315 HAS SOUPS 588469 WITH SCORE 621841.058
AT ITER 9159 NEW BEST:: SOT 38088984 SOS 33372058 HAS SOPS 15979997 HAS SOUS 1761143 HAS SOUPS 588297 WITH SCORE 621669.058
AT ITER 9167 NEW BEST:: SOT 38088984 SOS 33372058 HAS SOPS 15979997 HAS SOUS 1760923 HAS SOUPS 588077 WITH SCORE 621449.058
AT ITER 9192 NEW BEST:: SOT 38088992 SOS 33372138 HAS SOPS 15980005 HAS SOUS 1760923 HAS SOUPS 588069 WITH SCORE 621441.138
AT ITER 9236 NEW BEST:: SOT 38088961 SOS 33372076 HAS SOPS 15979943 HAS SOUS 1760892 HAS SOUPS 588038 WITH SCORE 621410.076
AT ITER 9256 NEW BEST:: SOT 38088961 SOS 33372076 HAS SOPS 15979943 HAS SOUS 1760778 HAS SOUPS 587924 WITH SCORE 621296.076
AT ITER 9319 NEW BEST:: SOT 38088272 SOS 33380829 HAS SOPS 15983134 HAS SOUS 1760564 HAS SOUPS 587710 WITH SCORE 621090.829
AT ITER 9347 NEW BEST:: SOT 38088268 SOS 33380821 HAS SOPS 15982379 HAS SOUS 1760643 HAS SOUPS 587706 WITH SCORE 621086.821
AT ITER 9405 NEW BEST:: SOT 38088268 SOS 33380821 HAS SOPS 15982379 HAS SOUS 1760505 HAS SOUPS 587568 WITH SCORE 620948.821
AT ITER 9450 NEW BEST:: SOT 38088268 SOS 33380821 HAS SOPS 15982379 HAS SOUS 1760275 HAS SOUPS 587338 WITH SCORE 620718.821
AT ITER 9456 NEW BEST:: SOT 38088283 SOS 33378943 HAS SOPS 15983777 HAS SOUS 1759714 HAS SOUPS 587141 WITH SCORE 620519.943
AT ITER 9457 NEW BEST:: SOT 38087609 SOS 33384820 HAS SOPS 15985892 HAS SOUS 1759239 HAS SOUPS 586666 WITH SCORE 620050.82
AT ITER 9487 NEW BEST:: SOT 38087579 SOS 33384760 HAS SOPS 15985832 HAS SOUS 1759132 HAS SOUPS 586559 WITH SCORE 619943.76
AT ITER 9492 NEW BEST:: SOT 38087579 SOS 33384760 HAS SOPS 15985832 HAS SOUS 1759124 HAS SOUPS 586551 WITH SCORE 619935.76
AT ITER 9625 NEW BEST:: SOT 38087579 SOS 33384760 HAS SOPS 15985832 HAS SOUS 1758978 HAS SOUPS 586405 WITH SCORE 619789.76
AT ITER 9634 NEW BEST:: SOT 38087251 SOS 33383748 HAS SOPS 15984820 HAS SOUS 1758902 HAS SOUPS 586329 WITH SCORE 619712.748
AT ITER 9654 NEW BEST:: SOT 38087137 SOS 33383292 HAS SOPS 15984364 HAS SOUS 1758731 HAS SOUPS 586158 WITH SCORE 619541.292
AT ITER 9662 NEW BEST:: SOT 38086852 SOS 33382821 HAS SOPS 15980905 HAS SOUS 1758510 HAS SOUPS 585605 WITH SCORE 618987.821
AT ITER 9669 NEW BEST:: SOT 38085766 SOS 33392183 HAS SOPS 15984849 HAS SOUS 1757795 HAS SOUPS 584890 WITH SCORE 618282.183
AT ITER 9676 NEW BEST:: SOT 38085766 SOS 33392183 HAS SOPS 15984849 HAS SOUS 1757783 HAS SOUPS 584878 WITH SCORE 618270.183
AT ITER 9700 NEW BEST:: SOT 38085492 SOS 33390676 HAS SOPS 15984575 HAS SOUS 1757443 HAS SOUPS 584675 WITH SCORE 618065.676
AT ITER 9704 NEW BEST:: SOT 38085450 SOS 33348485 HAS SOPS 15950290 HAS SOUS 1757372 HAS SOUPS 584671 WITH SCORE 618019.485
AT ITER 9709 NEW BEST:: SOT 38085060 SOS 33350873 HAS SOPS 15950734 HAS SOUS 1757400 HAS SOUPS 584627 WITH SCORE 617977.873
AT ITER 9711 NEW BEST:: SOT 38085060 SOS 33350873 HAS SOPS 15950734 HAS SOUS 1757180 HAS SOUPS 584407 WITH SCORE 617757.873
AT ITER 9715 NEW BEST:: SOT 38085060 SOS 33350873 HAS SOPS 15950734 HAS SOUS 1757126 HAS SOUPS 584353 WITH SCORE 617703.873
AT ITER 9722 NEW BEST:: SOT 38085044 SOS 33350697 HAS SOPS 15950558 HAS SOUS 1757094 HAS SOUPS 584321 WITH SCORE 617671.697
AT ITER 9734 NEW BEST:: SOT 38084786 SOS 33350181 HAS SOPS 15950042 HAS SOUS 1757089 HAS SOUPS 584316 WITH SCORE 617666.181
AT ITER 9739 NEW BEST:: SOT 38084320 SOS 33351078 HAS SOPS 15949346 HAS SOUS 1756830 HAS SOUPS 583998 WITH SCORE 617349.078
AT ITER 9745 NEW BEST:: SOT 38084320 SOS 33351078 HAS SOPS 15949346 HAS SOUS 1756786 HAS SOUPS 583954 WITH SCORE 617305.078
AT ITER 9771 NEW BEST:: SOT 38084318 SOS 33351074 HAS SOPS 15949342 HAS SOUS 1756782 HAS SOUPS 583950 WITH SCORE 617301.074
AT ITER 9782 NEW BEST:: SOT 38084301 SOS 33351040 HAS SOPS 15947580 HAS SOUS 1756858 HAS SOUPS 583834 WITH SCORE 617185.04
AT ITER 9810 NEW BEST:: SOT 38084024 SOS 33348547 HAS SOPS 15945087 HAS SOUS 1756581 HAS SOUPS 583557 WITH SCORE 616905.547
AT ITER 9817 NEW BEST:: SOT 38085001 SOS 33349166 HAS SOPS 15945706 HAS SOUS 1756317 HAS SOUPS 583293 WITH SCORE 616642.166
AT ITER 9852 NEW BEST:: SOT 38083444 SOS 33365437 HAS SOPS 15951105 HAS SOUS 1756123 HAS SOUPS 583099 WITH SCORE 616464.437
AT ITER 9865 NEW BEST:: SOT 38083499 SOS 33363504 HAS SOPS 15951953 HAS SOUS 1755642 HAS SOUPS 582927 WITH SCORE 616290.504
AT ITER 9876 NEW BEST:: SOT 38082706 SOS 33361088 HAS SOPS 15951031 HAS SOUS 1755047 HAS SOUPS 582498 WITH SCORE 615859.088
AT ITER 9887 NEW BEST:: SOT 38082644 SOS 33360214 HAS SOPS 15951507 HAS SOUS 1754835 HAS SOUPS 582436 WITH SCORE 615796.214
AT ITER 9907 NEW BEST:: SOT 38082644 SOS 33360214 HAS SOPS 15951507 HAS SOUS 1754833 HAS SOUPS 582434 WITH SCORE 615794.214
AT ITER 9930 NEW BEST:: SOT 38082644 SOS 33360214 HAS SOPS 15951507 HAS SOUS 1754613 HAS SOUPS 582214 WITH SCORE 615574.214

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="DLCflexbar-PT-7a"
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 DLCflexbar-PT-7a, 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-158902542200424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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