Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r227-tall-167856410600544.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is LeafsetExtension-PT-S64C4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410600544
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 15K Feb 25 16:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 25 16:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 16:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 16:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 16:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 29K Feb 25 16:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 183K Feb 25 16:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 25 16:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 25 16:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 14M Mar 5 18:22 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 1678617962640

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

Filename model.pnml
Petri model created: 21462 places, 21129 transitions, 67740 arcs.
AT ITER 0 NEW BEST:: SOT 256519574 SOS 63136615 HAS SOPS 63030740 HAS SOUS 52260382 HAS SOUPS 52256029 WITH SCORE 5.2319165615E7
AT ITER 54 NEW BEST:: SOT 256519055 SOS 63136615 HAS SOPS 63030740 HAS SOUS 52260377 HAS SOUPS 52256024 WITH SCORE 5.2319160615E7
AT ITER 133 NEW BEST:: SOT 256517663 SOS 63135243 HAS SOPS 63029368 HAS SOUS 52259838 HAS SOUPS 52255485 WITH SCORE 5.2318620243E7
AT ITER 162 NEW BEST:: SOT 256457084 SOS 63263379 HAS SOPS 63157504 HAS SOUS 52211540 HAS SOUPS 52207187 WITH SCORE 5.2270450379E7
AT ITER 168 NEW BEST:: SOT 256456745 SOS 63252192 HAS SOPS 63146317 HAS SOUS 52210862 HAS SOUPS 52206509 WITH SCORE 5.2269761192E7
AT ITER 181 NEW BEST:: SOT 256454528 SOS 63250504 HAS SOPS 63144629 HAS SOUS 52210522 HAS SOUPS 52206169 WITH SCORE 5.2269419504E7
AT ITER 184 NEW BEST:: SOT 256454008 SOS 63249952 HAS SOPS 63144077 HAS SOUS 52209970 HAS SOUPS 52205617 WITH SCORE 5.2268866952E7
AT ITER 238 NEW BEST:: SOT 256395315 SOS 63653764 HAS SOPS 63547889 HAS SOUS 52181270 HAS SOUPS 52176917 WITH SCORE 5.2240570764E7
AT ITER 250 NEW BEST:: SOT 256300685 SOS 63704568 HAS SOPS 63598693 HAS SOUS 52097487 HAS SOUPS 52093134 WITH SCORE 5.2156838568E7
AT ITER 258 NEW BEST:: SOT 256300685 SOS 63703275 HAS SOPS 63597400 HAS SOUS 52097487 HAS SOUPS 52093134 WITH SCORE 5.2156837275E7
AT ITER 377 NEW BEST:: SOT 256300685 SOS 63701895 HAS SOPS 63596020 HAS SOUS 52096093 HAS SOUPS 52091740 WITH SCORE 5.2155441895E7
AT ITER 406 NEW BEST:: SOT 256299628 SOS 63646617 HAS SOPS 63540742 HAS SOUS 52095004 HAS SOUPS 52090651 WITH SCORE 5.2154297617E7
AT ITER 427 NEW BEST:: SOT 256211383 SOS 63595682 HAS SOPS 63489841 HAS SOUS 52011544 HAS SOUPS 52007191 WITH SCORE 5.2070786682E7
AT ITER 430 NEW BEST:: SOT 256211383 SOS 63594329 HAS SOPS 63488488 HAS SOUS 52010179 HAS SOUPS 52005826 WITH SCORE 5.2069420329E7
AT ITER 435 NEW BEST:: SOT 256200070 SOS 63613161 HAS SOPS 63507320 HAS SOUS 52001080 HAS SOUPS 51996727 WITH SCORE 5.2060340161E7
AT ITER 444 NEW BEST:: SOT 256199939 SOS 63612998 HAS SOPS 63507157 HAS SOUS 52000917 HAS SOUPS 51996564 WITH SCORE 5.2060176998E7
AT ITER 452 NEW BEST:: SOT 256198583 SOS 63611656 HAS SOPS 63505815 HAS SOUS 52000120 HAS SOUPS 51995767 WITH SCORE 5.2059378656E7
AT ITER 480 NEW BEST:: SOT 256198160 SOS 63611656 HAS SOPS 63505815 HAS SOUS 52000106 HAS SOUPS 51995753 WITH SCORE 5.2059364656E7
AT ITER 484 NEW BEST:: SOT 256195867 SOS 63609396 HAS SOPS 63503555 HAS SOUS 51999457 HAS SOUPS 51995104 WITH SCORE 5.2058713396E7
AT ITER 490 NEW BEST:: SOT 256193260 SOS 63607328 HAS SOPS 63501487 HAS SOUS 51998923 HAS SOUPS 51994570 WITH SCORE 5.2058177328E7
AT ITER 503 NEW BEST:: SOT 256149468 SOS 63900865 HAS SOPS 63795024 HAS SOUS 51977513 HAS SOUPS 51973160 WITH SCORE 5.2037060865E7
AT ITER 533 NEW BEST:: SOT 256149468 SOS 63900510 HAS SOPS 63794669 HAS SOUS 51977158 HAS SOUPS 51972805 WITH SCORE 5.203670551E7
AT ITER 573 NEW BEST:: SOT 256149468 SOS 63902655 HAS SOPS 63796814 HAS SOUS 51975546 HAS SOUPS 51971193 WITH SCORE 5.2035095655E7
AT ITER 585 NEW BEST:: SOT 256147999 SOS 63901197 HAS SOPS 63795356 HAS SOUS 51974951 HAS SOUPS 51970598 WITH SCORE 5.2034499197E7
AT ITER 619 NEW BEST:: SOT 256147999 SOS 63901197 HAS SOPS 63795356 HAS SOUS 51974942 HAS SOUPS 51970589 WITH SCORE 5.2034490197E7
AT ITER 621 NEW BEST:: SOT 256145551 SOS 63898770 HAS SOPS 63792929 HAS SOUS 51973021 HAS SOUPS 51968668 WITH SCORE 5.203256677E7
AT ITER 652 NEW BEST:: SOT 256144111 SOS 63897324 HAS SOPS 63791483 HAS SOUS 51971575 HAS SOUPS 51967222 WITH SCORE 5.2031119324E7
AT ITER 658 NEW BEST:: SOT 256143754 SOS 63897324 HAS SOPS 63791483 HAS SOUS 51971554 HAS SOUPS 51967201 WITH SCORE 5.2031098324E7
AT ITER 674 NEW BEST:: SOT 256143754 SOS 63895887 HAS SOPS 63790046 HAS SOUS 51970117 HAS SOUPS 51965764 WITH SCORE 5.2029659887E7
AT ITER 702 NEW BEST:: SOT 256143754 SOS 63894648 HAS SOPS 63788807 HAS SOUS 51970117 HAS SOUPS 51965764 WITH SCORE 5.2029658648E7
AT ITER 706 NEW BEST:: SOT 256142756 SOS 63893618 HAS SOPS 63787777 HAS SOUS 51969087 HAS SOUPS 51964734 WITH SCORE 5.2028627618E7
AT ITER 712 NEW BEST:: SOT 256142756 SOS 63895018 HAS SOPS 63789177 HAS SOUS 51967317 HAS SOUPS 51962964 WITH SCORE 5.2026859018E7
AT ITER 736 NEW BEST:: SOT 256140954 SOS 63893224 HAS SOPS 63787383 HAS SOUS 51965934 HAS SOUPS 51961581 WITH SCORE 5.2025474224E7
AT ITER 751 NEW BEST:: SOT 256102119 SOS 63915415 HAS SOPS 63809574 HAS SOUS 51931981 HAS SOUPS 51927628 WITH SCORE 5.1991543415E7
AT ITER 762 NEW BEST:: SOT 256102119 SOS 63913408 HAS SOPS 63807567 HAS SOUS 51929965 HAS SOUPS 51925612 WITH SCORE 5.1989525408E7
AT ITER 785 NEW BEST:: SOT 256099915 SOS 63911208 HAS SOPS 63805367 HAS SOUS 51927761 HAS SOUPS 51923408 WITH SCORE 5.1987319208E7
AT ITER 798 NEW BEST:: SOT 256099915 SOS 63909841 HAS SOPS 63804000 HAS SOUS 51926372 HAS SOUPS 51922019 WITH SCORE 5.1985928841E7
AT ITER 805 NEW BEST:: SOT 256099915 SOS 63908773 HAS SOPS 63802932 HAS SOUS 51926372 HAS SOUPS 51922019 WITH SCORE 5.1985927773E7
AT ITER 821 NEW BEST:: SOT 256097278 SOS 63906163 HAS SOPS 63800322 HAS SOUS 51924437 HAS SOUPS 51920084 WITH SCORE 5.1983990163E7
AT ITER 838 NEW BEST:: SOT 256097278 SOS 63905478 HAS SOPS 63799637 HAS SOUS 51923746 HAS SOUPS 51919393 WITH SCORE 5.1983298478E7
AT ITER 858 NEW BEST:: SOT 256097668 SOS 63893262 HAS SOPS 63787421 HAS SOUS 51921720 HAS SOUPS 51917367 WITH SCORE 5.1981260262E7
AT ITER 876 NEW BEST:: SOT 256096951 SOS 63892513 HAS SOPS 63786672 HAS SOUS 51920971 HAS SOUPS 51916618 WITH SCORE 5.1980510513E7
AT ITER 886 NEW BEST:: SOT 256096625 SOS 63892513 HAS SOPS 63786672 HAS SOUS 51920645 HAS SOUPS 51916292 WITH SCORE 5.1980184513E7
AT ITER 887 NEW BEST:: SOT 256096075 SOS 63892513 HAS SOPS 63786672 HAS SOUS 51920618 HAS SOUPS 51916265 WITH SCORE 5.1980157513E7
AT ITER 903 NEW BEST:: SOT 256017074 SOS 63865671 HAS SOPS 63759868 HAS SOUS 51843833 HAS SOUPS 51839480 WITH SCORE 5.1903345671E7
AT ITER 909 NEW BEST:: SOT 256017074 SOS 63865671 HAS SOPS 63759868 HAS SOUS 51843805 HAS SOUPS 51839452 WITH SCORE 5.1903317671E7
AT ITER 910 NEW BEST:: SOT 255974926 SOS 63941690 HAS SOPS 63835887 HAS SOUS 51809500 HAS SOUPS 51805147 WITH SCORE 5.186908869E7
AT ITER 935 NEW BEST:: SOT 255973168 SOS 63939945 HAS SOPS 63834142 HAS SOUS 51808037 HAS SOUPS 51803684 WITH SCORE 5.1867623945E7
AT ITER 944 NEW BEST:: SOT 255973168 SOS 63938182 HAS SOPS 63832379 HAS SOUS 51806269 HAS SOUPS 51801916 WITH SCORE 5.1865854182E7
AT ITER 964 NEW BEST:: SOT 255973168 SOS 63938182 HAS SOPS 63832379 HAS SOUS 51805157 HAS SOUPS 51800804 WITH SCORE 5.1864742182E7
AT ITER 983 NEW BEST:: SOT 255972874 SOS 63938182 HAS SOPS 63832379 HAS SOUS 51805139 HAS SOUPS 51800786 WITH SCORE 5.1864724182E7
AT ITER 994 NEW BEST:: SOT 255971774 SOS 63937018 HAS SOPS 63831215 HAS SOUS 51803975 HAS SOUPS 51799622 WITH SCORE 5.1863559018E7
AT ITER 1015 NEW BEST:: SOT 255969552 SOS 63937018 HAS SOPS 63831215 HAS SOUS 51803952 HAS SOUPS 51799599 WITH SCORE 5.1863536018E7
AT ITER 1024 NEW BEST:: SOT 255969552 SOS 63936017 HAS SOPS 63830214 HAS SOUS 51803952 HAS SOUPS 51799599 WITH SCORE 5.1863535017E7
AT ITER 1074 NEW BEST:: SOT 255969552 SOS 63934550 HAS SOPS 63828747 HAS SOUS 51803952 HAS SOUPS 51799599 WITH SCORE 5.186353355E7
AT ITER 1126 NEW BEST:: SOT 255968055 SOS 63932989 HAS SOPS 63827186 HAS SOUS 51802391 HAS SOUPS 51798038 WITH SCORE 5.1861970989E7
AT ITER 1179 NEW BEST:: SOT 255966287 SOS 63932989 HAS SOPS 63827186 HAS SOUS 51802369 HAS SOUPS 51798016 WITH SCORE 5.1861948989E7
AT ITER 1222 NEW BEST:: SOT 255966178 SOS 63932816 HAS SOPS 63827013 HAS SOUS 51802196 HAS SOUPS 51797843 WITH SCORE 5.1861775816E7
AT ITER 1229 NEW BEST:: SOT 255897121 SOS 63929045 HAS SOPS 63823285 HAS SOUS 51737157 HAS SOUPS 51732804 WITH SCORE 5.1796733045E7
AT ITER 1243 NEW BEST:: SOT 255897121 SOS 63909902 HAS SOPS 63804142 HAS SOUS 51735507 HAS SOUPS 51731154 WITH SCORE 5.1795063902E7
AT ITER 1276 NEW BEST:: SOT 255896908 SOS 63909902 HAS SOPS 63804142 HAS SOUS 51735294 HAS SOUPS 51730941 WITH SCORE 5.1794850902E7
AT ITER 1285 NEW BEST:: SOT 255896908 SOS 63909902 HAS SOPS 63804142 HAS SOUS 51735288 HAS SOUPS 51730935 WITH SCORE 5.1794844902E7
AT ITER 1326 NEW BEST:: SOT 255896908 SOS 63909902 HAS SOPS 63804142 HAS SOUS 51735263 HAS SOUPS 51730910 WITH SCORE 5.1794819902E7
AT ITER 1331 NEW BEST:: SOT 255896908 SOS 63908799 HAS SOPS 63803039 HAS SOUS 51733510 HAS SOUPS 51729157 WITH SCORE 5.1793065799E7
AT ITER 1335 NEW BEST:: SOT 255895970 SOS 63908920 HAS SOPS 63803160 HAS SOUS 51732693 HAS SOUPS 51728340 WITH SCORE 5.179224892E7
AT ITER 1344 NEW BEST:: SOT 255895970 SOS 63908152 HAS SOPS 63802392 HAS SOUS 51731157 HAS SOUPS 51726804 WITH SCORE 5.1790712152E7
AT ITER 1350 NEW BEST:: SOT 255895175 SOS 63908242 HAS SOPS 63802482 HAS SOUS 51730452 HAS SOUPS 51726099 WITH SCORE 5.1790007242E7
AT ITER 1358 NEW BEST:: SOT 255895175 SOS 63908210 HAS SOPS 63802450 HAS SOUS 51730420 HAS SOUPS 51726067 WITH SCORE 5.178997521E7
AT ITER 1360 NEW BEST:: SOT 255895175 SOS 63908178 HAS SOPS 63802418 HAS SOUS 51730388 HAS SOUPS 51726035 WITH SCORE 5.1789943178E7
AT ITER 1370 NEW BEST:: SOT 255895175 SOS 63908440 HAS SOPS 63802680 HAS SOUS 51729808 HAS SOUPS 51725455 WITH SCORE 5.178936344E7
AT ITER 1384 NEW BEST:: SOT 255895175 SOS 63907972 HAS SOPS 63802212 HAS SOUS 51729808 HAS SOUPS 51725455 WITH SCORE 5.1789362972E7
AT ITER 1394 NEW BEST:: SOT 255895175 SOS 63907940 HAS SOPS 63802180 HAS SOUS 51729776 HAS SOUPS 51725423 WITH SCORE 5.178933094E7
AT ITER 1448 NEW BEST:: SOT 255895175 SOS 63907760 HAS SOPS 63802000 HAS SOUS 51729596 HAS SOUPS 51725243 WITH SCORE 5.178915076E7
AT ITER 1479 NEW BEST:: SOT 255892135 SOS 63908304 HAS SOPS 63802544 HAS SOUS 51727071 HAS SOUPS 51722718 WITH SCORE 5.1786626304E7
AT ITER 1497 NEW BEST:: SOT 255811211 SOS 63982483 HAS SOPS 63876758 HAS SOUS 51656504 HAS SOUPS 51652151 WITH SCORE 5.1716133483E7
AT ITER 1498 NEW BEST:: SOT 255811211 SOS 63984006 HAS SOPS 63878281 HAS SOUS 51654687 HAS SOUPS 51650334 WITH SCORE 5.1714318006E7
AT ITER 1501 NEW BEST:: SOT 255736678 SOS 64147958 HAS SOPS 64042233 HAS SOUS 51597392 HAS SOUPS 51593039 WITH SCORE 5.1657186958E7
AT ITER 1511 NEW BEST:: SOT 255736678 SOS 64147958 HAS SOPS 64042233 HAS SOUS 51596642 HAS SOUPS 51592289 WITH SCORE 5.1656436958E7
AT ITER 1524 NEW BEST:: SOT 255647068 SOS 64153962 HAS SOPS 64048270 HAS SOUS 51515476 HAS SOUPS 51511123 WITH SCORE 5.1575276962E7
AT ITER 1527 NEW BEST:: SOT 255647068 SOS 64153962 HAS SOPS 64048270 HAS SOUS 51515448 HAS SOUPS 51511095 WITH SCORE 5.1575248962E7
AT ITER 1598 NEW BEST:: SOT 255647036 SOS 64153898 HAS SOPS 64048206 HAS SOUS 51515352 HAS SOUPS 51510999 WITH SCORE 5.1575152898E7
AT ITER 1609 NEW BEST:: SOT 255644897 SOS 64152080 HAS SOPS 64046388 HAS SOUS 51513213 HAS SOUPS 51508860 WITH SCORE 5.157301208E7
AT ITER 1627 NEW BEST:: SOT 255644052 SOS 64151203 HAS SOPS 64045511 HAS SOUS 51512336 HAS SOUPS 51507983 WITH SCORE 5.1572134203E7
AT ITER 1647 NEW BEST:: SOT 255644052 SOS 64150389 HAS SOPS 64044697 HAS SOUS 51511521 HAS SOUPS 51507168 WITH SCORE 5.1571318389E7
AT ITER 1665 NEW BEST:: SOT 255604014 SOS 64546629 HAS SOPS 64009957 HAS SOUS 51506660 HAS SOUPS 51494479 WITH SCORE 5.1559025629E7
AT ITER 1697 NEW BEST:: SOT 255604014 SOS 64546629 HAS SOPS 64009957 HAS SOUS 51506646 HAS SOUPS 51494465 WITH SCORE 5.1559011629E7
AT ITER 1723 NEW BEST:: SOT 255604014 SOS 64547623 HAS SOPS 64010951 HAS SOUS 51506112 HAS SOUPS 51493931 WITH SCORE 5.1558478623E7
AT ITER 1726 NEW BEST:: SOT 255604014 SOS 64547370 HAS SOPS 64010698 HAS SOUS 51506112 HAS SOUPS 51493931 WITH SCORE 5.155847837E7
AT ITER 1741 NEW BEST:: SOT 255604014 SOS 64547316 HAS SOPS 64010644 HAS SOUS 51506058 HAS SOUPS 51493877 WITH SCORE 5.1558424316E7
AT ITER 1759 NEW BEST:: SOT 255604014 SOS 64546412 HAS SOPS 64009740 HAS SOUS 51506058 HAS SOUPS 51493877 WITH SCORE 5.1558423412E7
AT ITER 1763 NEW BEST:: SOT 255604014 SOS 64544868 HAS SOPS 64008196 HAS SOUS 51504513 HAS SOUPS 51492332 WITH SCORE 5.1556876868E7
AT ITER 1768 NEW BEST:: SOT 255604014 SOS 64543358 HAS SOPS 64006686 HAS SOUS 51504513 HAS SOUPS 51492332 WITH SCORE 5.1556875358E7
AT ITER 1774 NEW BEST:: SOT 255601380 SOS 64541328 HAS SOPS 64004656 HAS SOUS 51501667 HAS SOUPS 51489486 WITH SCORE 5.1554027328E7
AT ITER 1785 NEW BEST:: SOT 255600981 SOS 64540929 HAS SOPS 64004257 HAS SOUS 51501662 HAS SOUPS 51489481 WITH SCORE 5.1554021929E7
AT ITER 1813 NEW BEST:: SOT 255598959 SOS 64489104 HAS SOPS 63952432 HAS SOUS 51500255 HAS SOUPS 51488074 WITH SCORE 5.1552563104E7
AT ITER 1847 NEW BEST:: SOT 255598285 SOS 64489217 HAS SOPS 63952545 HAS SOUS 51499694 HAS SOUPS 51487513 WITH SCORE 5.1552002217E7
AT ITER 1865 NEW BEST:: SOT 255597793 SOS 64485717 HAS SOPS 63949045 HAS SOUS 51496194 HAS SOUPS 51484013 WITH SCORE 5.1548498717E7
AT ITER 1876 NEW BEST:: SOT 255595591 SOS 64485137 HAS SOPS 63948465 HAS SOUS 51493364 HAS SOUPS 51481183 WITH SCORE 5.1545668137E7
AT ITER 1912 NEW BEST:: SOT 255546585 SOS 64489096 HAS SOPS 63901064 HAS SOUS 51446259 HAS SOUPS 51432473 WITH SCORE 5.1496962096E7
AT ITER 1919 NEW BEST:: SOT 255545968 SOS 64488415 HAS SOPS 63900383 HAS SOUS 51445578 HAS SOUPS 51431792 WITH SCORE 5.1496280415E7
AT ITER 1922 NEW BEST:: SOT 255545968 SOS 64488415 HAS SOPS 63900383 HAS SOUS 51444244 HAS SOUPS 51430458 WITH SCORE 5.1494946415E7
AT ITER 1932 NEW BEST:: SOT 255545968 SOS 64487130 HAS SOPS 63899098 HAS SOUS 51441638 HAS SOUPS 51427852 WITH SCORE 5.149233913E7
AT ITER 1978 NEW BEST:: SOT 255543375 SOS 64484561 HAS SOPS 63896529 HAS SOUS 51437234 HAS SOUPS 51423448 WITH SCORE 5.1487932561E7
AT ITER 1979 NEW BEST:: SOT 255543375 SOS 64484001 HAS SOPS 63895969 HAS SOUS 51436644 HAS SOUPS 51422858 WITH SCORE 5.1487342001E7
AT ITER 1995 NEW BEST:: SOT 255543375 SOS 64482753 HAS SOPS 63894721 HAS SOUS 51436644 HAS SOUPS 51422858 WITH SCORE 5.1487340753E7
AT ITER 1999 NEW BEST:: SOT 255543375 SOS 64428917 HAS SOPS 63840885 HAS SOUS 51436644 HAS SOUPS 51422858 WITH SCORE 5.1487286917E7
AT ITER 2059 NEW BEST:: SOT 255542077 SOS 64386051 HAS SOPS 63798019 HAS SOUS 51435314 HAS SOUPS 51421528 WITH SCORE 5.1485914051E7
AT ITER 2069 NEW BEST:: SOT 255541945 SOS 64385887 HAS SOPS 63797855 HAS SOUS 51435150 HAS SOUPS 51421364 WITH SCORE 5.1485749887E7
AT ITER 2078 NEW BEST:: SOT 255541346 SOS 64385224 HAS SOPS 63797233 HAS SOUS 51434528 HAS SOUPS 51420742 WITH SCORE 5.1485127224E7
AT ITER 2089 NEW BEST:: SOT 255539979 SOS 64383825 HAS SOPS 63795834 HAS SOUS 51433129 HAS SOUPS 51419343 WITH SCORE 5.1483726825E7
AT ITER 2103 NEW BEST:: SOT 255539837 SOS 64383171 HAS SOPS 63795678 HAS SOUS 51432973 HAS SOUPS 51419187 WITH SCORE 5.1483570171E7
AT ITER 2104 NEW BEST:: SOT 255537679 SOS 64381855 HAS SOPS 63794362 HAS SOUS 51432006 HAS SOUPS 51418220 WITH SCORE 5.1482601855E7
AT ITER 2136 NEW BEST:: SOT 255537679 SOS 64381588 HAS SOPS 63794095 HAS SOUS 51431739 HAS SOUPS 51417953 WITH SCORE 5.1482334588E7
AT ITER 2179 NEW BEST:: SOT 255537679 SOS 64383801 HAS SOPS 63794063 HAS SOUS 51433932 HAS SOUPS 51417921 WITH SCORE 5.1482304801E7
AT ITER 2220 NEW BEST:: SOT 255537679 SOS 64382674 HAS SOPS 63792936 HAS SOUS 51433932 HAS SOUPS 51417921 WITH SCORE 5.1482303674E7
AT ITER 2246 NEW BEST:: SOT 255537679 SOS 64381189 HAS SOPS 63791451 HAS SOUS 51432447 HAS SOUPS 51416436 WITH SCORE 5.1480817189E7
AT ITER 2247 NEW BEST:: SOT 255536788 SOS 64379375 HAS SOPS 63790528 HAS SOUS 51430633 HAS SOUPS 51415513 WITH SCORE 5.1479892375E7
AT ITER 2264 NEW BEST:: SOT 255536681 SOS 64379204 HAS SOPS 63790357 HAS SOUS 51430462 HAS SOUPS 51415342 WITH SCORE 5.1479721204E7
AT ITER 2271 NEW BEST:: SOT 255536330 SOS 64378853 HAS SOPS 63790006 HAS SOUS 51430459 HAS SOUPS 51415339 WITH SCORE 5.1479717853E7
AT ITER 2277 NEW BEST:: SOT 255536330 SOS 64378257 HAS SOPS 63789410 HAS SOUS 51429863 HAS SOUPS 51414743 WITH SCORE 5.1479121257E7
AT ITER 2294 NEW BEST:: SOT 255534082 SOS 64376009 HAS SOPS 63787162 HAS SOUS 51427986 HAS SOUPS 51412866 WITH SCORE 5.1477242009E7
AT ITER 2298 NEW BEST:: SOT 255531998 SOS 64374146 HAS SOPS 63785299 HAS SOUS 51426000 HAS SOUPS 51410880 WITH SCORE 5.1475254146E7
AT ITER 2301 NEW BEST:: SOT 255531848 SOS 64373996 HAS SOPS 63785149 HAS SOUS 51425850 HAS SOUPS 51410730 WITH SCORE 5.1475103996E7
AT ITER 2332 NEW BEST:: SOT 255531848 SOS 64374065 HAS SOPS 63785218 HAS SOUS 51424585 HAS SOUPS 51409465 WITH SCORE 5.1473839065E7
AT ITER 2352 NEW BEST:: SOT 255531848 SOS 64359453 HAS SOPS 63770606 HAS SOUS 51423024 HAS SOUPS 51407904 WITH SCORE 5.1472263453E7
AT ITER 2378 NEW BEST:: SOT 255531848 SOS 64358584 HAS SOPS 63769737 HAS SOUS 51423024 HAS SOUPS 51407904 WITH SCORE 5.1472262584E7
AT ITER 2403 NEW BEST:: SOT 255556403 SOS 64383263 HAS SOPS 63729183 HAS SOUS 51447641 HAS SOUPS 51368631 WITH SCORE 5.1433014263E7
AT ITER 2450 NEW BEST:: SOT 255556403 SOS 64382029 HAS SOPS 63727949 HAS SOUS 51445839 HAS SOUPS 51366829 WITH SCORE 5.1431211029E7
AT ITER 2473 NEW BEST:: SOT 255555404 SOS 64381419 HAS SOPS 63727339 HAS SOUS 51444771 HAS SOUPS 51365761 WITH SCORE 5.1430142419E7
AT ITER 2479 NEW BEST:: SOT 255549824 SOS 64375891 HAS SOPS 63721811 HAS SOUS 51439243 HAS SOUPS 51360233 WITH SCORE 5.1424608891E7
AT ITER 2483 NEW BEST:: SOT 255549824 SOS 64374836 HAS SOPS 63720756 HAS SOUS 51439243 HAS SOUPS 51360233 WITH SCORE 5.1424607836E7
AT ITER 2493 NEW BEST:: SOT 255549824 SOS 64368404 HAS SOPS 63714324 HAS SOUS 51439211 HAS SOUPS 51360201 WITH SCORE 5.1424569404E7
AT ITER 2501 NEW BEST:: SOT 255547777 SOS 64366365 HAS SOPS 63712285 HAS SOUS 51438213 HAS SOUPS 51359203 WITH SCORE 5.1423569365E7
AT ITER 2513 NEW BEST:: SOT 255547777 SOS 64366095 HAS SOPS 63712015 HAS SOUS 51436179 HAS SOUPS 51357169 WITH SCORE 5.1421535095E7
AT ITER 2545 NEW BEST:: SOT 255522512 SOS 64341613 HAS SOPS 63687533 HAS SOUS 51411697 HAS SOUPS 51332687 WITH SCORE 5.1397028613E7
AT ITER 2600 NEW BEST:: SOT 255522480 SOS 64341581 HAS SOPS 63687501 HAS SOUS 51411633 HAS SOUPS 51332623 WITH SCORE 5.1396964581E7
AT ITER 2612 NEW BEST:: SOT 255522480 SOS 64341036 HAS SOPS 63686956 HAS SOUS 51411088 HAS SOUPS 51332078 WITH SCORE 5.1396419036E7
AT ITER 2620 NEW BEST:: SOT 255522480 SOS 64340108 HAS SOPS 63686028 HAS SOUS 51411088 HAS SOUPS 51332078 WITH SCORE 5.1396418108E7
AT ITER 2622 NEW BEST:: SOT 255522061 SOS 64339625 HAS SOPS 63685545 HAS SOUS 51410605 HAS SOUPS 51331595 WITH SCORE 5.1395934625E7
AT ITER 2623 NEW BEST:: SOT 255522061 SOS 64338996 HAS SOPS 63684916 HAS SOUS 51409976 HAS SOUPS 51330966 WITH SCORE 5.1395304996E7
AT ITER 2632 NEW BEST:: SOT 255521424 SOS 64339520 HAS SOPS 63685440 HAS SOUS 51409863 HAS SOUPS 51330853 WITH SCORE 5.139519252E7
AT ITER 2650 NEW BEST:: SOT 255519124 SOS 64338960 HAS SOPS 63684880 HAS SOUS 51409413 HAS SOUPS 51330403 WITH SCORE 5.139474196E7
AT ITER 2657 NEW BEST:: SOT 255517452 SOS 64285981 HAS SOPS 63631901 HAS SOUS 51407709 HAS SOUPS 51328699 WITH SCORE 5.1392984981E7
AT ITER 2682 NEW BEST:: SOT 255517417 SOS 64285981 HAS SOPS 63631901 HAS SOUS 51407688 HAS SOUPS 51328678 WITH SCORE 5.1392963981E7
AT ITER 2693 NEW BEST:: SOT 255517417 SOS 64285981 HAS SOPS 63631901 HAS SOUS 51406093 HAS SOUPS 51327083 WITH SCORE 5.1391368981E7
AT ITER 2696 NEW BEST:: SOT 255517417 SOS 64285009 HAS SOPS 63630929 HAS SOUS 51405120 HAS SOUPS 51326110 WITH SCORE 5.1390395009E7
AT ITER 2699 NEW BEST:: SOT 255514695 SOS 63994067 HAS SOPS 63339987 HAS SOUS 51399676 HAS SOUPS 51320666 WITH SCORE 5.1384660067E7
AT ITER 2705 NEW BEST:: SOT 255514695 SOS 63993692 HAS SOPS 63339612 HAS SOUS 51399284 HAS SOUPS 51320274 WITH SCORE 5.1384267692E7
AT ITER 2706 NEW BEST:: SOT 255514663 SOS 63993660 HAS SOPS 63339580 HAS SOUS 51399220 HAS SOUPS 51320210 WITH SCORE 5.138420366E7
AT ITER 2714 NEW BEST:: SOT 255514663 SOS 63992410 HAS SOPS 63338330 HAS SOUS 51397948 HAS SOUPS 51318938 WITH SCORE 5.138293041E7
AT ITER 2721 NEW BEST:: SOT 255514053 SOS 63991800 HAS SOPS 63337720 HAS SOUS 51397939 HAS SOUPS 51318929 WITH SCORE 5.13829208E7
AT ITER 2722 NEW BEST:: SOT 255514053 SOS 63990867 HAS SOPS 63336787 HAS SOUS 51397939 HAS SOUPS 51318929 WITH SCORE 5.1382919867E7
AT ITER 2735 NEW BEST:: SOT 255514053 SOS 63990867 HAS SOPS 63336787 HAS SOUS 51396776 HAS SOUPS 51317766 WITH SCORE 5.1381756867E7
AT ITER 2739 NEW BEST:: SOT 255511893 SOS 63989690 HAS SOPS 63335610 HAS SOUS 51394679 HAS SOUPS 51315669 WITH SCORE 5.137965869E7
AT ITER 2772 NEW BEST:: SOT 255510904 SOS 63989690 HAS SOPS 63335610 HAS SOUS 51394657 HAS SOUPS 51315647 WITH SCORE 5.137963669E7
AT ITER 2790 NEW BEST:: SOT 255509223 SOS 63989690 HAS SOPS 63335610 HAS SOUS 51392976 HAS SOUPS 51313966 WITH SCORE 5.137795569E7
AT ITER 2796 NEW BEST:: SOT 255463741 SOS 63987503 HAS SOPS 63333423 HAS SOUS 51350302 HAS SOUPS 51271292 WITH SCORE 5.1335279503E7
AT ITER 2827 NEW BEST:: SOT 255463652 SOS 63988400 HAS SOPS 63334231 HAS SOUS 51350301 HAS SOUPS 51271202 WITH SCORE 5.13351904E7
AT ITER 2852 NEW BEST:: SOT 255464100 SOS 63987698 HAS SOPS 63333529 HAS SOUS 51350047 HAS SOUPS 51270948 WITH SCORE 5.1334935698E7
AT ITER 2860 NEW BEST:: SOT 255464100 SOS 63987698 HAS SOPS 63333529 HAS SOUS 51350015 HAS SOUPS 51270916 WITH SCORE 5.1334903698E7
AT ITER 2871 NEW BEST:: SOT 255464100 SOS 63987698 HAS SOPS 63333529 HAS SOUS 51349123 HAS SOUPS 51270024 WITH SCORE 5.1334011698E7
AT ITER 2886 NEW BEST:: SOT 255462457 SOS 63987698 HAS SOPS 63333529 HAS SOUS 51349108 HAS SOUPS 51270009 WITH SCORE 5.1333996698E7
AT ITER 2917 NEW BEST:: SOT 255460269 SOS 63987698 HAS SOPS 63333529 HAS SOUS 51348825 HAS SOUPS 51269726 WITH SCORE 5.1333713698E7
AT ITER 2949 NEW BEST:: SOT 255460269 SOS 63986424 HAS SOPS 63332255 HAS SOUS 51346888 HAS SOUPS 51267789 WITH SCORE 5.1331775424E7
AT ITER 2961 NEW BEST:: SOT 255460269 SOS 63986357 HAS SOPS 63332188 HAS SOUS 51346888 HAS SOUPS 51267789 WITH SCORE 5.1331775357E7
AT ITER 2978 NEW BEST:: SOT 255458653 SOS 63984709 HAS SOPS 63330540 HAS SOUS 51345240 HAS SOUPS 51266141 WITH SCORE 5.1330125709E7
AT ITER 3013 NEW BEST:: SOT 255458653 SOS 63983769 HAS SOPS 63329600 HAS SOUS 51344278 HAS SOUPS 51265179 WITH SCORE 5.1329162769E7
AT ITER 3017 NEW BEST:: SOT 255457295 SOS 63982379 HAS SOPS 63328210 HAS SOUS 51342888 HAS SOUPS 51263789 WITH SCORE 5.1327771379E7
AT ITER 3019 NEW BEST:: SOT 255457295 SOS 63982379 HAS SOPS 63328210 HAS SOUS 51342536 HAS SOUPS 51263437 WITH SCORE 5.1327419379E7
AT ITER 3023 NEW BEST:: SOT 255455143 SOS 63980195 HAS SOPS 63326026 HAS SOUS 51340352 HAS SOUPS 51261253 WITH SCORE 5.1325233195E7
AT ITER 3026 NEW BEST:: SOT 255454139 SOS 63979159 HAS SOPS 63324990 HAS SOUS 51339316 HAS SOUPS 51260217 WITH SCORE 5.1324196159E7
AT ITER 3027 NEW BEST:: SOT 255454107 SOS 63979127 HAS SOPS 63324958 HAS SOUS 51339252 HAS SOUPS 51260153 WITH SCORE 5.1324132127E7
AT ITER 3036 NEW BEST:: SOT 255453841 SOS 63978861 HAS SOPS 63324692 HAS SOUS 51338720 HAS SOUPS 51259621 WITH SCORE 5.1323599861E7
AT ITER 3054 NEW BEST:: SOT 255453809 SOS 63978797 HAS SOPS 63324628 HAS SOUS 51338624 HAS SOUPS 51259525 WITH SCORE 5.1323503797E7
AT ITER 3062 NEW BEST:: SOT 255452859 SOS 63977783 HAS SOPS 63323614 HAS SOUS 51337610 HAS SOUPS 51258511 WITH SCORE 5.1322488783E7
AT ITER 3119 NEW BEST:: SOT 255452777 SOS 63977783 HAS SOPS 63323614 HAS SOUS 51337600 HAS SOUPS 51258501 WITH SCORE 5.1322478783E7
AT ITER 3141 NEW BEST:: SOT 255452777 SOS 63977492 HAS SOPS 63323323 HAS SOUS 51337600 HAS SOUPS 51258501 WITH SCORE 5.1322478492E7
AT ITER 3182 NEW BEST:: SOT 255393463 SOS 64248025 HAS SOPS 63593856 HAS SOUS 51300706 HAS SOUPS 51221607 WITH SCORE 5.1285855025E7
AT ITER 3186 NEW BEST:: SOT 255393463 SOS 64249277 HAS SOPS 63595108 HAS SOUS 51299739 HAS SOUPS 51220640 WITH SCORE 5.1284889277E7
AT ITER 3194 NEW BEST:: SOT 255393463 SOS 64248105 HAS SOPS 63593936 HAS SOUS 51298567 HAS SOUPS 51219468 WITH SCORE 5.1283716105E7
AT ITER 3207 NEW BEST:: SOT 255393384 SOS 64247962 HAS SOPS 63593793 HAS SOUS 51298424 HAS SOUPS 51219325 WITH SCORE 5.1283572962E7
AT ITER 3214 NEW BEST:: SOT 255393384 SOS 64246094 HAS SOPS 63591925 HAS SOUS 51296550 HAS SOUPS 51217451 WITH SCORE 5.1281697094E7
AT ITER 3219 NEW BEST:: SOT 255393384 SOS 64184416 HAS SOPS 63530247 HAS SOUS 51296550 HAS SOUPS 51217451 WITH SCORE 5.1281635416E7
AT ITER 3222 NEW BEST:: SOT 255393384 SOS 64184416 HAS SOPS 63530247 HAS SOUS 51294678 HAS SOUPS 51215579 WITH SCORE 5.1279763416E7
AT ITER 3245 NEW BEST:: SOT 255392274 SOS 64183242 HAS SOPS 63529073 HAS SOUS 51293504 HAS SOUPS 51214405 WITH SCORE 5.1278588242E7
AT ITER 3247 NEW BEST:: SOT 255392274 SOS 64181963 HAS SOPS 63527794 HAS SOUS 51293504 HAS SOUPS 51214405 WITH SCORE 5.1278586963E7
AT ITER 3248 NEW BEST:: SOT 255390842 SOS 64180499 HAS SOPS 63526330 HAS SOUS 51292040 HAS SOUPS 51212941 WITH SCORE 5.1277121499E7
AT ITER 3250 NEW BEST:: SOT 255388370 SOS 64178704 HAS SOPS 63524535 HAS SOUS 51290410 HAS SOUPS 51211311 WITH SCORE 5.1275489704E7
AT ITER 3268 NEW BEST:: SOT 255388270 SOS 64178704 HAS SOPS 63524535 HAS SOUS 51290385 HAS SOUPS 51211286 WITH SCORE 5.1275464704E7
AT ITER 3270 NEW BEST:: SOT 255387801 SOS 64178704 HAS SOPS 63524535 HAS SOUS 51289916 HAS SOUPS 51210817 WITH SCORE 5.1274995704E7
AT ITER 3276 NEW BEST:: SOT 255386562 SOS 63940478 HAS SOPS 63524325 HAS SOUS 51285987 HAS SOUPS 51210607 WITH SCORE 5.1274547478E7
AT ITER 3279 NEW BEST:: SOT 255289356 SOS 64142672 HAS SOPS 63726519 HAS SOUS 51210488 HAS SOUPS 51135108 WITH SCORE 5.1199250672E7
AT ITER 3330 NEW BEST:: SOT 255289356 SOS 64141701 HAS SOPS 63725548 HAS SOUS 51210488 HAS SOUPS 51135108 WITH SCORE 5.1199249701E7
AT ITER 3379 NEW BEST:: SOT 255289356 SOS 64140424 HAS SOPS 63724271 HAS SOUS 51210488 HAS SOUPS 51135108 WITH SCORE 5.1199248424E7
AT ITER 3394 NEW BEST:: SOT 255288112 SOS 64140424 HAS SOPS 63724271 HAS SOUS 51210463 HAS SOUPS 51135083 WITH SCORE 5.1199223424E7
AT ITER 3407 NEW BEST:: SOT 255288112 SOS 64140392 HAS SOPS 63724239 HAS SOUS 51210431 HAS SOUPS 51135051 WITH SCORE 5.1199191392E7
AT ITER 3419 NEW BEST:: SOT 255286098 SOS 64138384 HAS SOPS 63722231 HAS SOUS 51208847 HAS SOUPS 51133467 WITH SCORE 5.1197605384E7
AT ITER 3454 NEW BEST:: SOT 255286098 SOS 64137774 HAS SOPS 63721621 HAS SOUS 51206944 HAS SOUPS 51131564 WITH SCORE 5.1195701774E7
AT ITER 3468 NEW BEST:: SOT 255285159 SOS 64138318 HAS SOPS 63722165 HAS SOUS 51206549 HAS SOUPS 51131169 WITH SCORE 5.1195307318E7
AT ITER 3473 NEW BEST:: SOT 255281638 SOS 64074621 HAS SOPS 63658468 HAS SOUS 51200990 HAS SOUPS 51125610 WITH SCORE 5.1189684621E7
AT ITER 3479 NEW BEST:: SOT 255281638 SOS 64074121 HAS SOPS 63657968 HAS SOUS 51200990 HAS SOUPS 51125610 WITH SCORE 5.1189684121E7
AT ITER 3533 NEW BEST:: SOT 255279929 SOS 64075795 HAS SOPS 63659642 HAS SOUS 51200932 HAS SOUPS 51125552 WITH SCORE 5.1189627795E7
AT ITER 3535 NEW BEST:: SOT 255277846 SOS 64073680 HAS SOPS 63657527 HAS SOUS 51198817 HAS SOUPS 51123437 WITH SCORE 5.118751068E7
AT ITER 3544 NEW BEST:: SOT 255277846 SOS 64073680 HAS SOPS 63657527 HAS SOUS 51198293 HAS SOUPS 51122913 WITH SCORE 5.118698668E7
AT ITER 3566 NEW BEST:: SOT 255267886 SOS 64074344 HAS SOPS 63647567 HAS SOUS 51188665 HAS SOUPS 51112953 WITH SCORE 5.1177027344E7
AT ITER 3567 NEW BEST:: SOT 255267886 SOS 64076362 HAS SOPS 63649585 HAS SOUS 51188258 HAS SOUPS 51112546 WITH SCORE 5.1176622362E7
AT ITER 3593 NEW BEST:: SOT 255266540 SOS 64074984 HAS SOPS 63648207 HAS SOUS 51186880 HAS SOUPS 51111168 WITH SCORE 5.1175242984E7
AT ITER 3607 NEW BEST:: SOT 255266540 SOS 64077358 HAS SOPS 63650581 HAS SOUS 51186454 HAS SOUPS 51110742 WITH SCORE 5.1174819358E7
AT ITER 3636 NEW BEST:: SOT 255266540 SOS 64076576 HAS SOPS 63649799 HAS SOUS 51186454 HAS SOUPS 51110742 WITH SCORE 5.1174818576E7
AT ITER 3637 NEW BEST:: SOT 255264623 SOS 64076616 HAS SOPS 63649839 HAS SOUS 51184553 HAS SOUPS 51108841 WITH SCORE 5.1172917616E7
AT ITER 3640 NEW BEST:: SOT 255265077 SOS 64076057 HAS SOPS 63649280 HAS SOUS 51184448 HAS SOUPS 51108736 WITH SCORE 5.1172812057E7
AT ITER 3676 NEW BEST:: SOT 255264250 SOS 64076642 HAS SOPS 63649865 HAS SOUS 51184206 HAS SOUPS 51108494 WITH SCORE 5.1172570642E7
AT ITER 3686 NEW BEST:: SOT 255264049 SOS 64076642 HAS SOPS 63649865 HAS SOUS 51184005 HAS SOUPS 51108293 WITH SCORE 5.1172369642E7
AT ITER 3698 NEW BEST:: SOT 255263873 SOS 64076642 HAS SOPS 63649865 HAS SOUS 51183984 HAS SOUPS 51108272 WITH SCORE 5.1172348642E7
AT ITER 3714 NEW BEST:: SOT 255263873 SOS 64077170 HAS SOPS 63650393 HAS SOUS 51182716 HAS SOUPS 51107004 WITH SCORE 5.117108117E7
AT ITER 3718 NEW BEST:: SOT 255263575 SOS 64077170 HAS SOPS 63650393 HAS SOUS 51182418 HAS SOUPS 51106706 WITH SCORE 5.117078317E7
AT ITER 3758 NEW BEST:: SOT 255261525 SOS 64075190 HAS SOPS 63648413 HAS SOUS 51180803 HAS SOUPS 51105091 WITH SCORE 5.116916619E7
AT ITER 3760 NEW BEST:: SOT 255261525 SOS 64074784 HAS SOPS 63648007 HAS SOUS 51180397 HAS SOUPS 51104685 WITH SCORE 5.1168759784E7
AT ITER 3827 NEW BEST:: SOT 255260683 SOS 64073945 HAS SOPS 63647168 HAS SOUS 51180065 HAS SOUPS 51104353 WITH SCORE 5.1168426945E7
AT ITER 3836 NEW BEST:: SOT 255259121 SOS 64072406 HAS SOPS 63645629 HAS SOUS 51179714 HAS SOUPS 51104002 WITH SCORE 5.1168074406E7
AT ITER 3920 NEW BEST:: SOT 255255838 SOS 64072636 HAS SOPS 63645859 HAS SOUS 51179338 HAS SOUPS 51103626 WITH SCORE 5.1167698636E7
AT ITER 3932 NEW BEST:: SOT 255255838 SOS 64072267 HAS SOPS 63645490 HAS SOUS 51178622 HAS SOUPS 51102910 WITH SCORE 5.1166982267E7
AT ITER 3951 NEW BEST:: SOT 255254664 SOS 64072267 HAS SOPS 63645490 HAS SOUS 51178604 HAS SOUPS 51102892 WITH SCORE 5.1166964267E7
AT ITER 3978 NEW BEST:: SOT 255254358 SOS 64072373 HAS SOPS 63645596 HAS SOUS 51178404 HAS SOUPS 51102692 WITH SCORE 5.1166764373E7
AT ITER 3979 NEW BEST:: SOT 255254358 SOS 64072091 HAS SOPS 63645314 HAS SOUS 51178404 HAS SOUPS 51102692 WITH SCORE 5.1166764091E7
AT ITER 3981 NEW BEST:: SOT 255254358 SOS 64070776 HAS SOPS 63643999 HAS SOUS 51174122 HAS SOUPS 51098410 WITH SCORE 5.1162480776E7
AT ITER 3982 NEW BEST:: SOT 255254358 SOS 64069587 HAS SOPS 63642810 HAS SOUS 51172933 HAS SOUPS 51097221 WITH SCORE 5.1161290587E7
AT ITER 3999 NEW BEST:: SOT 255253387 SOS 64068584 HAS SOPS 63641807 HAS SOUS 51171930 HAS SOUPS 51096218 WITH SCORE 5.1160286584E7
AT ITER 4026 NEW BEST:: SOT 255253387 SOS 64068584 HAS SOPS 63641807 HAS SOUS 51171456 HAS SOUPS 51095744 WITH SCORE 5.1159812584E7
AT ITER 4029 NEW BEST:: SOT 255253387 SOS 64068526 HAS SOPS 63641749 HAS SOUS 51171398 HAS SOUPS 51095686 WITH SCORE 5.1159754526E7
AT ITER 4032 NEW BEST:: SOT 255253387 SOS 64068186 HAS SOPS 63641409 HAS SOUS 51171398 HAS SOUPS 51095686 WITH SCORE 5.1159754186E7
AT ITER 4040 NEW BEST:: SOT 255253387 SOS 64002912 HAS SOPS 63576135 HAS SOUS 51171398 HAS SOUPS 51095686 WITH SCORE 5.1159688912E7
AT ITER 4057 NEW BEST:: SOT 255251410 SOS 64000950 HAS SOPS 63574173 HAS SOUS 51169775 HAS SOUPS 51094063 WITH SCORE 5.115806395E7
AT ITER 4067 NEW BEST:: SOT 255249175 SOS 64000409 HAS SOPS 63573632 HAS SOUS 51167390 HAS SOUPS 51091678 WITH SCORE 5.1155678409E7
AT ITER 4077 NEW BEST:: SOT 255247353 SOS 64000409 HAS SOPS 63573632 HAS SOUS 51167388 HAS SOUPS 51091676 WITH SCORE 5.1155676409E7
AT ITER 4106 NEW BEST:: SOT 255247353 SOS 64000409 HAS SOPS 63573632 HAS SOUS 51165677 HAS SOUPS 51089965 WITH SCORE 5.1153965409E7
AT ITER 4112 NEW BEST:: SOT 255248016 SOS 63999334 HAS SOPS 63572557 HAS SOUS 51164092 HAS SOUPS 51088380 WITH SCORE 5.1152379334E7
AT ITER 4120 NEW BEST:: SOT 255205568 SOS 64022886 HAS SOPS 63530109 HAS SOUS 51141694 HAS SOUPS 51063938 WITH SCORE 5.1127960886E7
AT ITER 4122 NEW BEST:: SOT 255205568 SOS 64021288 HAS SOPS 63528511 HAS SOUS 51138610 HAS SOUPS 51060854 WITH SCORE 5.1124875288E7
AT ITER 4130 NEW BEST:: SOT 255205568 SOS 64020982 HAS SOPS 63528205 HAS SOUS 51138610 HAS SOUPS 51060854 WITH SCORE 5.1124874982E7
AT ITER 4154 NEW BEST:: SOT 255205568 SOS 64021554 HAS SOPS 63528173 HAS SOUS 51138578 HAS SOUPS 51060822 WITH SCORE 5.1124843554E7
AT ITER 4160 NEW BEST:: SOT 255203431 SOS 64019445 HAS SOPS 63526064 HAS SOUS 51136470 HAS SOUPS 51058714 WITH SCORE 5.1122733445E7
AT ITER 4188 NEW BEST:: SOT 255202567 SOS 63992628 HAS SOPS 63499247 HAS SOUS 51135573 HAS SOUPS 51057817 WITH SCORE 5.1121809628E7
AT ITER 4196 NEW BEST:: SOT 255199906 SOS 63991740 HAS SOPS 63498359 HAS SOUS 51134400 HAS SOUPS 51056644 WITH SCORE 5.112063574E7
AT ITER 4218 NEW BEST:: SOT 255198217 SOS 63990062 HAS SOPS 63496681 HAS SOUS 51132819 HAS SOUPS 51055063 WITH SCORE 5.1119053062E7
AT ITER 4228 NEW BEST:: SOT 255144617 SOS 64065462 HAS SOPS 63572131 HAS SOUS 51087585 HAS SOUPS 51009829 WITH SCORE 5.1073894462E7
AT ITER 4246 NEW BEST:: SOT 255144617 SOS 64064020 HAS SOPS 63570689 HAS SOUS 51086143 HAS SOUPS 51008387 WITH SCORE 5.107245102E7
AT ITER 4262 NEW BEST:: SOT 255143351 SOS 64064458 HAS SOPS 63571127 HAS SOUS 51086093 HAS SOUPS 51008337 WITH SCORE 5.1072401458E7
AT ITER 4264 NEW BEST:: SOT 255143351 SOS 64063500 HAS SOPS 63570169 HAS SOUS 51085120 HAS SOUPS 51007364 WITH SCORE 5.10714275E7
AT ITER 4294 NEW BEST:: SOT 255143351 SOS 64065420 HAS SOPS 63572089 HAS SOUS 51084086 HAS SOUPS 51006330 WITH SCORE 5.107039542E7
AT ITER 4302 NEW BEST:: SOT 255142960 SOS 64065029 HAS SOPS 63571698 HAS SOUS 51084081 HAS SOUPS 51006325 WITH SCORE 5.1070390029E7
AT ITER 4312 NEW BEST:: SOT 255118741 SOS 64040845 HAS SOPS 63547514 HAS SOUS 51059897 HAS SOUPS 50982141 WITH SCORE 5.1046181845E7
AT ITER 4328 NEW BEST:: SOT 255118709 SOS 64040813 HAS SOPS 63547482 HAS SOUS 51059833 HAS SOUPS 50982077 WITH SCORE 5.1046117813E7
AT ITER 4331 NEW BEST:: SOT 255118709 SOS 64040559 HAS SOPS 63547228 HAS SOUS 51059833 HAS SOUPS 50982077 WITH SCORE 5.1046117559E7
AT ITER 4335 NEW BEST:: SOT 255118516 SOS 64040329 HAS SOPS 63546998 HAS SOUS 51059767 HAS SOUPS 50982011 WITH SCORE 5.1046051329E7
AT ITER 4343 NEW BEST:: SOT 255118516 SOS 64040297 HAS SOPS 63546966 HAS SOUS 51059735 HAS SOUPS 50981979 WITH SCORE 5.1046019297E7
AT ITER 4347 NEW BEST:: SOT 255118516 SOS 64011573 HAS SOPS 63518242 HAS SOUS 51059735 HAS SOUPS 50981979 WITH SCORE 5.1045990573E7
AT ITER 4368 NEW BEST:: SOT 255118516 SOS 64010896 HAS SOPS 63517565 HAS SOUS 51059735 HAS SOUPS 50981979 WITH SCORE 5.1045989896E7
AT ITER 4384 NEW BEST:: SOT 252979205 SOS 83439404 HAS SOPS 82946073 HAS SOUS 48944870 HAS SOUPS 48867114 WITH SCORE 4.8950553404E7
AT ITER 4398 NEW BEST:: SOT 252977216 SOS 83437418 HAS SOPS 82944087 HAS SOUS 48942881 HAS SOUPS 48865125 WITH SCORE 4.8948562418E7
AT ITER 4419 NEW BEST:: SOT 252976558 SOS 83416326 HAS SOPS 82922995 HAS SOUS 48942187 HAS SOUPS 48864431 WITH SCORE 4.8947847326E7
AT ITER 4423 NEW BEST:: SOT 252962128 SOS 83417288 HAS SOPS 82908565 HAS SOUS 48928303 HAS SOUPS 48850066 WITH SCORE 4.8933483288E7
AT ITER 4431 NEW BEST:: SOT 252962128 SOS 83416941 HAS SOPS 82908218 HAS SOUS 48926762 HAS SOUPS 48848525 WITH SCORE 4.8931941941E7
AT ITER 4462 NEW BEST:: SOT 252959932 SOS 83415990 HAS SOPS 82907267 HAS SOUS 48923592 HAS SOUPS 48845355 WITH SCORE 4.892877099E7
AT ITER 4500 NEW BEST:: SOT 252957900 SOS 83413989 HAS SOPS 82905266 HAS SOUS 48922950 HAS SOUPS 48844713 WITH SCORE 4.8928126989E7
AT ITER 4504 NEW BEST:: SOT 252957690 SOS 83413715 HAS SOPS 82904992 HAS SOUS 48922676 HAS SOUPS 48844439 WITH SCORE 4.8927852715E7
AT ITER 4510 NEW BEST:: SOT 252956084 SOS 83374603 HAS SOPS 82865880 HAS SOUS 48918188 HAS SOUPS 48839951 WITH SCORE 4.8923325603E7
AT ITER 4518 NEW BEST:: SOT 252956084 SOS 83374603 HAS SOPS 82865880 HAS SOUS 48916964 HAS SOUPS 48838727 WITH SCORE 4.8922101603E7
AT ITER 4519 NEW BEST:: SOT 252954870 SOS 83373398 HAS SOPS 82864675 HAS SOUS 48916499 HAS SOUPS 48838262 WITH SCORE 4.8921635398E7
AT ITER 4530 NEW BEST:: SOT 252951996 SOS 83373398 HAS SOPS 82864675 HAS SOUS 48913625 HAS SOUPS 48835388 WITH SCORE 4.8918761398E7
AT ITER 4531 NEW BEST:: SOT 252951996 SOS 83371953 HAS SOPS 82863230 HAS SOUS 48912180 HAS SOUPS 48833943 WITH SCORE 4.8917314953E7
AT ITER 4544 NEW BEST:: SOT 252950546 SOS 83372221 HAS SOPS 82863498 HAS SOUS 48911324 HAS SOUPS 48833087 WITH SCORE 4.8916459221E7
AT ITER 4576 NEW BEST:: SOT 252950546 SOS 83372221 HAS SOPS 82863498 HAS SOUS 48909620 HAS SOUPS 48831383 WITH SCORE 4.8914755221E7
AT ITER 4603 NEW BEST:: SOT 252951682 SOS 83373357 HAS SOPS 82864634 HAS SOUS 48908836 HAS SOUPS 48830599 WITH SCORE 4.8913972357E7
AT ITER 4624 NEW BEST:: SOT 252950166 SOS 83371809 HAS SOPS 82863086 HAS SOUS 48907288 HAS SOUPS 48829051 WITH SCORE 4.8912422809E7
AT ITER 4638 NEW BEST:: SOT 252950166 SOS 83371809 HAS SOPS 82863086 HAS SOUS 48906118 HAS SOUPS 48827881 WITH SCORE 4.8911252809E7
AT ITER 4644 NEW BEST:: SOT 252950166 SOS 83371809 HAS SOPS 82863086 HAS SOUS 48903745 HAS SOUPS 48825508 WITH SCORE 4.8908879809E7
AT ITER 4651 NEW BEST:: SOT 252948908 SOS 83368923 HAS SOPS 82860200 HAS SOUS 48899601 HAS SOUPS 48821364 WITH SCORE 4.8904732923E7
AT ITER 4653 NEW BEST:: SOT 252946851 SOS 83370626 HAS SOPS 82861903 HAS SOUS 48898876 HAS SOUPS 48820639 WITH SCORE 4.8904009626E7
AT ITER 4660 NEW BEST:: SOT 252944823 SOS 83368002 HAS SOPS 82859279 HAS SOUS 48896610 HAS SOUPS 48818373 WITH SCORE 4.8901741002E7
AT ITER 4685 NEW BEST:: SOT 252943578 SOS 83368002 HAS SOPS 82859279 HAS SOUS 48896609 HAS SOUPS 48818372 WITH SCORE 4.8901740002E7
AT ITER 4753 NEW BEST:: SOT 252941941 SOS 83366387 HAS SOPS 82857664 HAS SOUS 48895688 HAS SOUPS 48817451 WITH SCORE 4.8900817387E7
AT ITER 4761 NEW BEST:: SOT 252941536 SOS 83366387 HAS SOPS 82857664 HAS SOUS 48895283 HAS SOUPS 48817046 WITH SCORE 4.8900412387E7
AT ITER 4779 NEW BEST:: SOT 252939241 SOS 83366387 HAS SOPS 82857664 HAS SOUS 48895252 HAS SOUPS 48817015 WITH SCORE 4.8900381387E7
AT ITER 4784 NEW BEST:: SOT 252938325 SOS 83365471 HAS SOPS 82856748 HAS SOUS 48895045 HAS SOUPS 48816808 WITH SCORE 4.8900173471E7
AT ITER 4801 NEW BEST:: SOT 252936565 SOS 83365471 HAS SOPS 82856748 HAS SOUS 48893819 HAS SOUPS 48815582 WITH SCORE 4.8898947471E7
AT ITER 4865 NEW BEST:: SOT 252936238 SOS 83354353 HAS SOPS 82845630 HAS SOUS 48893165 HAS SOUPS 48814928 WITH SCORE 4.8898282353E7
AT ITER 4868 NEW BEST:: SOT 252936238 SOS 83354353 HAS SOPS 82845630 HAS SOUS 48891138 HAS SOUPS 48812901 WITH SCORE 4.8896255353E7
AT ITER 4911 NEW BEST:: SOT 252935693 SOS 83353776 HAS SOPS 82845053 HAS SOUS 48890561 HAS SOUPS 48812324 WITH SCORE 4.8895677776E7
AT ITER 4912 NEW BEST:: SOT 252935693 SOS 83353776 HAS SOPS 82845053 HAS SOUS 48888160 HAS SOUPS 48809923 WITH SCORE 4.8893276776E7
AT ITER 4913 NEW BEST:: SOT 252933717 SOS 83352806 HAS SOPS 82844083 HAS SOUS 48885270 HAS SOUPS 48807033 WITH SCORE 4.8890385806E7
AT ITER 4917 NEW BEST:: SOT 252932962 SOS 83352019 HAS SOPS 82843296 HAS SOUS 48884483 HAS SOUPS 48806246 WITH SCORE 4.8889598019E7
AT ITER 4928 NEW BEST:: SOT 252930793 SOS 83350656 HAS SOPS 82841933 HAS SOUS 48884061 HAS SOUPS 48805824 WITH SCORE 4.8889174656E7
AT ITER 4934 NEW BEST:: SOT 252892202 SOS 83468381 HAS SOPS 82959716 HAS SOUS 48854508 HAS SOUPS 48776271 WITH SCORE 4.8859739381E7
AT ITER 4982 NEW BEST:: SOT 252892202 SOS 83468091 HAS SOPS 82959426 HAS SOUS 48854218 HAS SOUPS 48775981 WITH SCORE 4.8859449091E7
AT ITER 4993 NEW BEST:: SOT 252891832 SOS 83468091 HAS SOPS 82959426 HAS SOUS 48853848 HAS SOUPS 48775611 WITH SCORE 4.8859079091E7
AT ITER 5018 NEW BEST:: SOT 252891395 SOS 83468251 HAS SOPS 82959586 HAS SOUS 48853571 HAS SOUPS 48775334 WITH SCORE 4.8858802251E7
AT ITER 5026 NEW BEST:: SOT 252787312 SOS 83765775 HAS SOPS 83257110 HAS SOUS 48775020 HAS SOUPS 48696783 WITH SCORE 4.8780548775E7
AT ITER 5039 NEW BEST:: SOT 252786221 SOS 83765899 HAS SOPS 83257234 HAS SOUS 48774053 HAS SOUPS 48695816 WITH SCORE 4.8779581899E7
AT ITER 5043 NEW BEST:: SOT 252784131 SOS 83765899 HAS SOPS 83257234 HAS SOUS 48773687 HAS SOUPS 48695450 WITH SCORE 4.8779215899E7
AT ITER 5048 NEW BEST:: SOT 252783330 SOS 83765041 HAS SOPS 83256376 HAS SOUS 48773662 HAS SOUPS 48695425 WITH SCORE 4.8779190041E7
AT ITER 5073 NEW BEST:: SOT 252782767 SOS 83764083 HAS SOPS 83255418 HAS SOUS 48773099 HAS SOUPS 48694862 WITH SCORE 4.8778626083E7
AT ITER 5078 NEW BEST:: SOT 252743484 SOS 83988439 HAS SOPS 83479774 HAS SOUS 48751705 HAS SOUPS 48673468 WITH SCORE 4.8757456439E7
AT ITER 5089 NEW BEST:: SOT 252742978 SOS 83988439 HAS SOPS 83479774 HAS SOUS 48751199 HAS SOUPS 48672962 WITH SCORE 4.8756950439E7
AT ITER 5136 NEW BEST:: SOT 252743111 SOS 83988614 HAS SOPS 83479949 HAS SOUS 48751154 HAS SOUPS 48672917 WITH SCORE 4.8756905614E7
AT ITER 5146 NEW BEST:: SOT 252743511 SOS 83989014 HAS SOPS 83480349 HAS SOUS 48750450 HAS SOUPS 48672213 WITH SCORE 4.8756202014E7
AT ITER 5173 NEW BEST:: SOT 252743512 SOS 83989015 HAS SOPS 83480350 HAS SOUS 48748946 HAS SOUPS 48670709 WITH SCORE 4.8754698015E7
AT ITER 5187 NEW BEST:: SOT 252743659 SOS 83989301 HAS SOPS 83480636 HAS SOUS 48747130 HAS SOUPS 48668893 WITH SCORE 4.8752882301E7
AT ITER 5201 NEW BEST:: SOT 252743659 SOS 83990371 HAS SOPS 83481706 HAS SOUS 48745661 HAS SOUPS 48667424 WITH SCORE 4.8751414371E7
AT ITER 5211 NEW BEST:: SOT 252742289 SOS 83988969 HAS SOPS 83480304 HAS SOUS 48744259 HAS SOUPS 48666022 WITH SCORE 4.8750010969E7
AT ITER 5212 NEW BEST:: SOT 252739541 SOS 83986438 HAS SOPS 83477773 HAS SOUS 48738973 HAS SOUPS 48660736 WITH SCORE 4.8744722438E7
AT ITER 5239 NEW BEST:: SOT 252739541 SOS 83986438 HAS SOPS 83477773 HAS SOUS 48738964 HAS SOUPS 48660727 WITH SCORE 4.8744713438E7
AT ITER 5256 NEW BEST:: SOT 252739541 SOS 83984674 HAS SOPS 83476009 HAS SOUS 48737117 HAS SOUPS 48658880 WITH SCORE 4.8742864674E7
AT ITER 5258 NEW BEST:: SOT 252739541 SOS 83982955 HAS SOPS 83474290 HAS SOUS 48737117 HAS SOUPS 48658880 WITH SCORE 4.8742862955E7
AT ITER 5281 NEW BEST:: SOT 252737287 SOS 83982206 HAS SOPS 83473541 HAS SOUS 48735810 HAS SOUPS 48657573 WITH SCORE 4.8741555206E7
AT ITER 5296 NEW BEST:: SOT 252737287 SOS 83982206 HAS SOPS 83473541 HAS SOUS 48733760 HAS SOUPS 48655523 WITH SCORE 4.8739505206E7
AT ITER 5309 NEW BEST:: SOT 252734009 SOS 83978928 HAS SOPS 83470263 HAS SOUS 48730482 HAS SOUPS 48652245 WITH SCORE 4.8736223928E7
AT ITER 5322 NEW BEST:: SOT 252731042 SOS 83978928 HAS SOPS 83470263 HAS SOUS 48727515 HAS SOUPS 48649278 WITH SCORE 4.8733256928E7
AT ITER 5332 NEW BEST:: SOT 252729462 SOS 83978928 HAS SOPS 83470263 HAS SOUS 48727500 HAS SOUPS 48649263 WITH SCORE 4.8733241928E7
AT ITER 5333 NEW BEST:: SOT 252727301 SOS 83976735 HAS SOPS 83468070 HAS SOUS 48725307 HAS SOUPS 48647070 WITH SCORE 4.8731046735E7
AT ITER 5346 NEW BEST:: SOT 252726008 SOS 83976153 HAS SOPS 83467488 HAS SOUS 48724295 HAS SOUPS 48646058 WITH SCORE 4.8730034153E7
AT ITER 5353 NEW BEST:: SOT 252725854 SOS 83976153 HAS SOPS 83467488 HAS SOUS 48724141 HAS SOUPS 48645904 WITH SCORE 4.8729880153E7
AT ITER 5378 NEW BEST:: SOT 252725854 SOS 83975177 HAS SOPS 83466512 HAS SOUS 48722741 HAS SOUPS 48644504 WITH SCORE 4.8728479177E7
AT ITER 5426 NEW BEST:: SOT 252725822 SOS 83975145 HAS SOPS 83466480 HAS SOUS 48722677 HAS SOUPS 48644440 WITH SCORE 4.8728415145E7
AT ITER 5445 NEW BEST:: SOT 252723730 SOS 83973765 HAS SOPS 83465100 HAS SOUS 48719200 HAS SOUPS 48640963 WITH SCORE 4.8724936765E7
AT ITER 5447 NEW BEST:: SOT 252723730 SOS 83973765 HAS SOPS 83465100 HAS SOUS 48717445 HAS SOUPS 48639208 WITH SCORE 4.8723181765E7
AT ITER 5454 NEW BEST:: SOT 252721683 SOS 83971686 HAS SOPS 83463021 HAS SOUS 48715366 HAS SOUPS 48637129 WITH SCORE 4.8721100686E7
AT ITER 5460 NEW BEST:: SOT 252721651 SOS 83971622 HAS SOPS 83462957 HAS SOUS 48715270 HAS SOUPS 48637033 WITH SCORE 4.8721004622E7
AT ITER 5482 NEW BEST:: SOT 252721219 SOS 83971743 HAS SOPS 83463078 HAS SOUS 48714959 HAS SOUPS 48636722 WITH SCORE 4.8720693743E7
AT ITER 5493 NEW BEST:: SOT 252721219 SOS 83971933 HAS SOPS 83463268 HAS SOUS 48714647 HAS SOUPS 48636410 WITH SCORE 4.8720381933E7
AT ITER 5542 NEW BEST:: SOT 252719586 SOS 83971933 HAS SOPS 83463268 HAS SOUS 48714620 HAS SOUPS 48636383 WITH SCORE 4.8720354933E7
AT ITER 5554 NEW BEST:: SOT 252719554 SOS 83971869 HAS SOPS 83463204 HAS SOUS 48714524 HAS SOUPS 48636287 WITH SCORE 4.8720258869E7
AT ITER 5562 NEW BEST:: SOT 252719554 SOS 83971869 HAS SOPS 83463204 HAS SOUS 48712606 HAS SOUPS 48634369 WITH SCORE 4.8718340869E7
AT ITER 5568 NEW BEST:: SOT 252719554 SOS 83971869 HAS SOPS 83463204 HAS SOUS 48712604 HAS SOUPS 48634367 WITH SCORE 4.8718338869E7
AT ITER 5575 NEW BEST:: SOT 252719977 SOS 83972292 HAS SOPS 83463627 HAS SOUS 48710900 HAS SOUPS 48632663 WITH SCORE 4.8716635292E7
AT ITER 5603 NEW BEST:: SOT 252718869 SOS 83969871 HAS SOPS 83461206 HAS SOUS 48710050 HAS SOUPS 48631813 WITH SCORE 4.8715782871E7
AT ITER 5642 NEW BEST:: SOT 252718869 SOS 83968480 HAS SOPS 83459815 HAS SOUS 48708659 HAS SOUPS 48630422 WITH SCORE 4.871439048E7
AT ITER 5683 NEW BEST:: SOT 252718869 SOS 83968480 HAS SOPS 83459815 HAS SOUS 48707677 HAS SOUPS 48629440 WITH SCORE 4.871340848E7
AT ITER 5688 NEW BEST:: SOT 252720449 SOS 83970060 HAS SOPS 83461395 HAS SOUS 48707103 HAS SOUPS 48628866 WITH SCORE 4.871283606E7
AT ITER 5709 NEW BEST:: SOT 252718052 SOS 83965112 HAS SOPS 83456447 HAS SOUS 48704706 HAS SOUPS 48626469 WITH SCORE 4.8710434112E7
AT ITER 5796 NEW BEST:: SOT 252715890 SOS 83964078 HAS SOPS 83455413 HAS SOUS 48701494 HAS SOUPS 48623257 WITH SCORE 4.8707221078E7
AT ITER 5799 NEW BEST:: SOT 252715890 SOS 83962847 HAS SOPS 83454182 HAS SOUS 48701494 HAS SOUPS 48623257 WITH SCORE 4.8707219847E7
AT ITER 5805 NEW BEST:: SOT 252715890 SOS 83965099 HAS SOPS 83456434 HAS SOUS 48700757 HAS SOUPS 48622520 WITH SCORE 4.8706485099E7
AT ITER 5821 NEW BEST:: SOT 252713800 SOS 83963024 HAS SOPS 83454359 HAS SOUS 48699415 HAS SOUPS 48621178 WITH SCORE 4.8705141024E7
AT ITER 5836 NEW BEST:: SOT 252714271 SOS 83963495 HAS SOPS 83454830 HAS SOUS 48697663 HAS SOUPS 48619426 WITH SCORE 4.8703389495E7
AT ITER 5840 NEW BEST:: SOT 252714271 SOS 83963342 HAS SOPS 83454677 HAS SOUS 48697510 HAS SOUPS 48619273 WITH SCORE 4.8703236342E7
AT ITER 5849 NEW BEST:: SOT 252713335 SOS 83965252 HAS SOPS 83456587 HAS SOUS 48696782 HAS SOUPS 48618545 WITH SCORE 4.8702510252E7
AT ITER 5853 NEW BEST:: SOT 252711921 SOS 83964474 HAS SOPS 83455809 HAS SOUS 48695978 HAS SOUPS 48617741 WITH SCORE 4.8701705474E7
AT ITER 5870 NEW BEST:: SOT 252711759 SOS 83964150 HAS SOPS 83455485 HAS SOUS 48695752 HAS SOUPS 48617515 WITH SCORE 4.870147915E7
AT ITER 5881 NEW BEST:: SOT 252712074 SOS 83964465 HAS SOPS 83455800 HAS SOUS 48694027 HAS SOUPS 48615790 WITH SCORE 4.8699754465E7
AT ITER 5888 NEW BEST:: SOT 252710658 SOS 83963017 HAS SOPS 83454352 HAS SOUS 48692579 HAS SOUPS 48614342 WITH SCORE 4.8698305017E7
AT ITER 5912 NEW BEST:: SOT 252708678 SOS 83962417 HAS SOPS 83453752 HAS SOUS 48689976 HAS SOUPS 48611739 WITH SCORE 4.8695701417E7
AT ITER 5921 NEW BEST:: SOT 252708714 SOS 83962453 HAS SOPS 83453788 HAS SOUS 48688624 HAS SOUPS 48610387 WITH SCORE 4.8694349453E7
AT ITER 5940 NEW BEST:: SOT 252708691 SOS 83962430 HAS SOPS 83453742 HAS SOUS 48688601 HAS SOUPS 48610341 WITH SCORE 4.869430343E7
AT ITER 5960 NEW BEST:: SOT 252707761 SOS 83962430 HAS SOPS 83453742 HAS SOUS 48688517 HAS SOUPS 48610257 WITH SCORE 4.869421943E7
AT ITER 5961 NEW BEST:: SOT 252707947 SOS 83962616 HAS SOPS 83453928 HAS SOUS 48686038 HAS SOUPS 48607778 WITH SCORE 4.8691740616E7
AT ITER 5973 NEW BEST:: SOT 252707005 SOS 83962616 HAS SOPS 83453928 HAS SOUS 48685096 HAS SOUPS 48606836 WITH SCORE 4.8690798616E7
AT ITER 5996 NEW BEST:: SOT 252707005 SOS 83962616 HAS SOPS 83453928 HAS SOUS 48683822 HAS SOUPS 48605562 WITH SCORE 4.8689524616E7
AT ITER 6001 NEW BEST:: SOT 252688266 SOS 83985640 HAS SOPS 83476952 HAS SOUS 48668309 HAS SOUPS 48590049 WITH SCORE 4.867403464E7
AT ITER 6011 NEW BEST:: SOT 252687576 SOS 83985640 HAS SOPS 83476952 HAS SOUS 48667898 HAS SOUPS 48589638 WITH SCORE 4.867362364E7
AT ITER 6035 NEW BEST:: SOT 252687264 SOS 83985296 HAS SOPS 83476608 HAS SOUS 48667554 HAS SOUPS 48589294 WITH SCORE 4.8673279296E7
AT ITER 6046 NEW BEST:: SOT 252687264 SOS 83985296 HAS SOPS 83476608 HAS SOUS 48665943 HAS SOUPS 48587683 WITH SCORE 4.8671668296E7
AT ITER 6057 NEW BEST:: SOT 252687264 SOS 83985264 HAS SOPS 83476576 HAS SOUS 48665911 HAS SOUPS 48587651 WITH SCORE 4.8671636264E7
AT ITER 6068 NEW BEST:: SOT 252687264 SOS 83985264 HAS SOPS 83476576 HAS SOUS 48663328 HAS SOUPS 48585068 WITH SCORE 4.8669053264E7
AT ITER 6070 NEW BEST:: SOT 252687842 SOS 83985842 HAS SOPS 83477154 HAS SOUS 48661565 HAS SOUPS 48583305 WITH SCORE 4.8667290842E7
AT ITER 6079 NEW BEST:: SOT 252684821 SOS 83982821 HAS SOPS 83474133 HAS SOUS 48657582 HAS SOUPS 48579322 WITH SCORE 4.8663304821E7
AT ITER 6093 NEW BEST:: SOT 252682605 SOS 83981909 HAS SOPS 83473221 HAS SOUS 48657569 HAS SOUPS 48579309 WITH SCORE 4.8663290909E7
AT ITER 6102 NEW BEST:: SOT 252679297 SOS 83981909 HAS SOPS 83473221 HAS SOUS 48655985 HAS SOUPS 48577725 WITH SCORE 4.8661706909E7
AT ITER 6148 NEW BEST:: SOT 252677894 SOS 83980506 HAS SOPS 83471818 HAS SOUS 48654980 HAS SOUPS 48576720 WITH SCORE 4.8660700506E7
AT ITER 6162 NEW BEST:: SOT 252677894 SOS 83980024 HAS SOPS 83471336 HAS SOUS 48654498 HAS SOUPS 48576238 WITH SCORE 4.8660218024E7
AT ITER 6163 NEW BEST:: SOT 252677894 SOS 83980024 HAS SOPS 83471336 HAS SOUS 48654021 HAS SOUPS 48575761 WITH SCORE 4.8659741024E7
AT ITER 6192 NEW BEST:: SOT 252678507 SOS 83980637 HAS SOPS 83471949 HAS SOUS 48652732 HAS SOUPS 48574472 WITH SCORE 4.8658452637E7
AT ITER 6241 NEW BEST:: SOT 252679042 SOS 83981172 HAS SOPS 83472484 HAS SOUS 48650759 HAS SOUPS 48572499 WITH SCORE 4.8656480172E7
AT ITER 6251 NEW BEST:: SOT 252679042 SOS 83981172 HAS SOPS 83472484 HAS SOUS 48648618 HAS SOUPS 48570358 WITH SCORE 4.8654339172E7
AT ITER 6252 NEW BEST:: SOT 252607299 SOS 84152144 HAS SOPS 83643456 HAS SOUS 48592378 HAS SOUPS 48514118 WITH SCORE 4.8598270144E7
AT ITER 6275 NEW BEST:: SOT 252607117 SOS 84126159 HAS SOPS 83617471 HAS SOUS 48592214 HAS SOUPS 48513954 WITH SCORE 4.8598080159E7
AT ITER 6276 NEW BEST:: SOT 252608534 SOS 84127576 HAS SOPS 83618888 HAS SOUS 48592120 HAS SOUPS 48513860 WITH SCORE 4.8597987576E7
AT ITER 6297 NEW BEST:: SOT 252608891 SOS 84127933 HAS SOPS 83619245 HAS SOUS 48590291 HAS SOUPS 48512031 WITH SCORE 4.8596158933E7
AT ITER 6299 NEW BEST:: SOT 252607825 SOS 84086085 HAS SOPS 83576126 HAS SOUS 48587323 HAS SOUPS 48509063 WITH SCORE 4.8593149085E7
AT ITER 6317 NEW BEST:: SOT 252609122 SOS 84020593 HAS SOPS 83509366 HAS SOUS 48587320 HAS SOUPS 48509060 WITH SCORE 4.8593080593E7
AT ITER 6325 NEW BEST:: SOT 252608670 SOS 84020109 HAS SOPS 83508882 HAS SOUS 48586836 HAS SOUPS 48508576 WITH SCORE 4.8592596109E7
AT ITER 6329 NEW BEST:: SOT 252608670 SOS 84018999 HAS SOPS 83507772 HAS SOUS 48585726 HAS SOUPS 48507466 WITH SCORE 4.8591484999E7
AT ITER 6352 NEW BEST:: SOT 252608683 SOS 84018866 HAS SOPS 83507639 HAS SOUS 48585460 HAS SOUPS 48507200 WITH SCORE 4.8591218866E7
AT ITER 6359 NEW BEST:: SOT 252608683 SOS 84018834 HAS SOPS 83507607 HAS SOUS 48585428 HAS SOUPS 48507168 WITH SCORE 4.8591186834E7
AT ITER 6361 NEW BEST:: SOT 252605880 SOS 84018834 HAS SOPS 83507607 HAS SOUS 48585404 HAS SOUPS 48507144 WITH SCORE 4.8591162834E7
AT ITER 6368 NEW BEST:: SOT 252605880 SOS 84017962 HAS SOPS 83506735 HAS SOUS 48583089 HAS SOUPS 48504829 WITH SCORE 4.8588846962E7
AT ITER 6403 NEW BEST:: SOT 252607739 SOS 83980640 HAS SOPS 83469413 HAS SOUS 48582496 HAS SOUPS 48504236 WITH SCORE 4.858821664E7
AT ITER 6408 NEW BEST:: SOT 252606465 SOS 83979378 HAS SOPS 83468151 HAS SOUS 48582012 HAS SOUPS 48503752 WITH SCORE 4.8587731378E7
AT ITER 6416 NEW BEST:: SOT 252607003 SOS 83979916 HAS SOPS 83468689 HAS SOUS 48581306 HAS SOUPS 48503046 WITH SCORE 4.8587025916E7
AT ITER 6435 NEW BEST:: SOT 252604776 SOS 83978747 HAS SOPS 83467520 HAS SOUS 48578482 HAS SOUPS 48500222 WITH SCORE 4.8584200747E7
AT ITER 6437 NEW BEST:: SOT 252604776 SOS 83978051 HAS SOPS 83466824 HAS SOUS 48578482 HAS SOUPS 48500222 WITH SCORE 4.8584200051E7
AT ITER 6442 NEW BEST:: SOT 252604776 SOS 83976870 HAS SOPS 83465643 HAS SOUS 48578482 HAS SOUPS 48500222 WITH SCORE 4.858419887E7
AT ITER 6453 NEW BEST:: SOT 252604776 SOS 83976870 HAS SOPS 83465643 HAS SOUS 48578146 HAS SOUPS 48499886 WITH SCORE 4.858386287E7
AT ITER 6455 NEW BEST:: SOT 252604744 SOS 83975083 HAS SOPS 83463856 HAS SOUS 48578082 HAS SOUPS 48499822 WITH SCORE 4.8583797083E7
AT ITER 6490 NEW BEST:: SOT 252604744 SOS 83975083 HAS SOPS 83463856 HAS SOUS 48577512 HAS SOUPS 48499252 WITH SCORE 4.8583227083E7
AT ITER 6516 NEW BEST:: SOT 252604320 SOS 83975237 HAS SOPS 83464010 HAS SOUS 48577242 HAS SOUPS 48498982 WITH SCORE 4.8582957237E7
AT ITER 6518 NEW BEST:: SOT 252602738 SOS 83974337 HAS SOPS 83463110 HAS SOUS 48577211 HAS SOUPS 48498951 WITH SCORE 4.8582925337E7
AT ITER 6558 NEW BEST:: SOT 252602738 SOS 83974337 HAS SOPS 83463110 HAS SOUS 48576338 HAS SOUPS 48498078 WITH SCORE 4.8582052337E7
AT ITER 6574 NEW BEST:: SOT 252602058 SOS 83974518 HAS SOPS 83463291 HAS SOUS 48575839 HAS SOUPS 48497579 WITH SCORE 4.8581553518E7
AT ITER 6597 NEW BEST:: SOT 252602058 SOS 83974736 HAS SOPS 83463509 HAS SOUS 48574430 HAS SOUPS 48496170 WITH SCORE 4.8580144736E7
AT ITER 6613 NEW BEST:: SOT 252599629 SOS 83972333 HAS SOPS 83461106 HAS SOUS 48572960 HAS SOUPS 48494700 WITH SCORE 4.8578672333E7
AT ITER 6652 NEW BEST:: SOT 252600589 SOS 83973293 HAS SOPS 83462066 HAS SOUS 48572629 HAS SOUPS 48494369 WITH SCORE 4.8578342293E7
AT ITER 6662 NEW BEST:: SOT 252600589 SOS 83973293 HAS SOPS 83462066 HAS SOUS 48570842 HAS SOUPS 48492582 WITH SCORE 4.8576555293E7
AT ITER 6671 NEW BEST:: SOT 252600589 SOS 83972198 HAS SOPS 83460971 HAS SOUS 48570842 HAS SOUPS 48492582 WITH SCORE 4.8576554198E7
AT ITER 6702 NEW BEST:: SOT 252598529 SOS 83970154 HAS SOPS 83458927 HAS SOUS 48569610 HAS SOUPS 48491350 WITH SCORE 4.8575320154E7
AT ITER 6722 NEW BEST:: SOT 252598529 SOS 83970154 HAS SOPS 83458927 HAS SOUS 48567868 HAS SOUPS 48489608 WITH SCORE 4.8573578154E7
AT ITER 6724 NEW BEST:: SOT 252598648 SOS 83970273 HAS SOPS 83459046 HAS SOUS 48566011 HAS SOUPS 48487751 WITH SCORE 4.8571721273E7
AT ITER 6728 NEW BEST:: SOT 252598616 SOS 83970241 HAS SOPS 83459014 HAS SOUS 48565947 HAS SOUPS 48487687 WITH SCORE 4.8571657241E7
AT ITER 6731 NEW BEST:: SOT 252545396 SOS 83918706 HAS SOPS 83407479 HAS SOUS 48514412 HAS SOUPS 48436152 WITH SCORE 4.8520070706E7
AT ITER 6732 NEW BEST:: SOT 252545396 SOS 83918706 HAS SOPS 83407479 HAS SOUS 48512649 HAS SOUPS 48434389 WITH SCORE 4.8518307706E7
AT ITER 6754 NEW BEST:: SOT 252543288 SOS 83918706 HAS SOPS 83407479 HAS SOUS 48510541 HAS SOUPS 48432281 WITH SCORE 4.8516199706E7
AT ITER 6769 NEW BEST:: SOT 252506664 SOS 83889265 HAS SOPS 83378038 HAS SOUS 48473937 HAS SOUPS 48395677 WITH SCORE 4.8479566265E7
AT ITER 6814 NEW BEST:: SOT 252506664 SOS 83885496 HAS SOPS 83374269 HAS SOUS 48470168 HAS SOUPS 48391908 WITH SCORE 4.8475793496E7
AT ITER 6844 NEW BEST:: SOT 252506323 SOS 83884814 HAS SOPS 83373587 HAS SOUS 48469827 HAS SOUPS 48391567 WITH SCORE 4.8475451814E7
AT ITER 6845 NEW BEST:: SOT 252507681 SOS 83886172 HAS SOPS 83374945 HAS SOUS 48469791 HAS SOUPS 48391531 WITH SCORE 4.8475417172E7
AT ITER 6853 NEW BEST:: SOT 252507681 SOS 83885030 HAS SOPS 83373803 HAS SOUS 48468649 HAS SOUPS 48390389 WITH SCORE 4.847427403E7
AT ITER 6882 NEW BEST:: SOT 252508755 SOS 83886104 HAS SOPS 83374877 HAS SOUS 48467872 HAS SOUPS 48389612 WITH SCORE 4.8473498104E7
AT ITER 6883 NEW BEST:: SOT 252509678 SOS 83887027 HAS SOPS 83375800 HAS SOUS 48467658 HAS SOUPS 48389398 WITH SCORE 4.8473285027E7
AT ITER 6888 NEW BEST:: SOT 252518603 SOS 83896093 HAS SOPS 83335747 HAS SOUS 48429386 HAS SOUPS 48350113 WITH SCORE 4.8434009093E7
AT ITER 6901 NEW BEST:: SOT 252517835 SOS 83895293 HAS SOPS 83334947 HAS SOUS 48428586 HAS SOUPS 48349313 WITH SCORE 4.8433208293E7
AT ITER 6904 NEW BEST:: SOT 252516278 SOS 83894920 HAS SOPS 83334574 HAS SOUS 48425994 HAS SOUPS 48346721 WITH SCORE 4.843061592E7
AT ITER 6928 NEW BEST:: SOT 252516334 SOS 83894976 HAS SOPS 83334630 HAS SOUS 48424006 HAS SOUPS 48344733 WITH SCORE 4.8428627976E7
AT ITER 6934 NEW BEST:: SOT 252516334 SOS 83894791 HAS SOPS 83334445 HAS SOUS 48423821 HAS SOUPS 48344548 WITH SCORE 4.8428442791E7
AT ITER 6969 NEW BEST:: SOT 252516334 SOS 83894791 HAS SOPS 83334445 HAS SOUS 48423789 HAS SOUPS 48344516 WITH SCORE 4.8428410791E7
AT ITER 6975 NEW BEST:: SOT 252517117 SOS 83895778 HAS SOPS 83335432 HAS SOUS 48423583 HAS SOUPS 48344310 WITH SCORE 4.8428205778E7
AT ITER 6977 NEW BEST:: SOT 252484586 SOS 84040356 HAS SOPS 83480071 HAS SOUS 48399260 HAS SOUPS 48319987 WITH SCORE 4.8404027356E7
AT ITER 7007 NEW BEST:: SOT 252484586 SOS 84039583 HAS SOPS 83479298 HAS SOUS 48399260 HAS SOUPS 48319987 WITH SCORE 4.8404026583E7
AT ITER 7028 NEW BEST:: SOT 252483597 SOS 84039583 HAS SOPS 83479298 HAS SOUS 48399239 HAS SOUPS 48319966 WITH SCORE 4.8404005583E7
AT ITER 7048 NEW BEST:: SOT 252482335 SOS 84037658 HAS SOPS 83477373 HAS SOUS 48397314 HAS SOUPS 48318041 WITH SCORE 4.8402078658E7
AT ITER 7050 NEW BEST:: SOT 252482335 SOS 84036605 HAS SOPS 83476320 HAS SOUS 48395208 HAS SOUPS 48315935 WITH SCORE 4.8399971605E7
AT ITER 7054 NEW BEST:: SOT 252482335 SOS 84036182 HAS SOPS 83475897 HAS SOUS 48394785 HAS SOUPS 48315512 WITH SCORE 4.8399548182E7
AT ITER 7101 NEW BEST:: SOT 252481212 SOS 84034771 HAS SOPS 83474486 HAS SOUS 48392251 HAS SOUPS 48312978 WITH SCORE 4.8397012771E7
AT ITER 7126 NEW BEST:: SOT 252478974 SOS 84032559 HAS SOPS 83472274 HAS SOUS 48391630 HAS SOUPS 48312357 WITH SCORE 4.8396389559E7
AT ITER 7168 NEW BEST:: SOT 252477907 SOS 84031460 HAS SOPS 83471175 HAS SOUS 48390531 HAS SOUPS 48311258 WITH SCORE 4.839528946E7
AT ITER 7185 NEW BEST:: SOT 252478200 SOS 84031753 HAS SOPS 83471468 HAS SOUS 48389313 HAS SOUPS 48310040 WITH SCORE 4.8394071753E7
AT ITER 7192 NEW BEST:: SOT 252479294 SOS 84032847 HAS SOPS 83472562 HAS SOUS 48389191 HAS SOUPS 48309918 WITH SCORE 4.8393950847E7
AT ITER 7194 NEW BEST:: SOT 252479294 SOS 84031131 HAS SOPS 83470846 HAS SOUS 48385759 HAS SOUPS 48306486 WITH SCORE 4.8390517131E7
AT ITER 7208 NEW BEST:: SOT 252479294 SOS 84030872 HAS SOPS 83470587 HAS SOUS 48385241 HAS SOUPS 48305968 WITH SCORE 4.8389998872E7
AT ITER 7216 NEW BEST:: SOT 252477588 SOS 84029134 HAS SOPS 83468849 HAS SOUS 48383503 HAS SOUPS 48304230 WITH SCORE 4.8388259134E7
AT ITER 7243 NEW BEST:: SOT 252477240 SOS 84029134 HAS SOPS 83468849 HAS SOUS 48383155 HAS SOUPS 48303882 WITH SCORE 4.8387911134E7
AT ITER 7361 NEW BEST:: SOT 252421115 SOS 84409803 HAS SOPS 83420219 HAS SOUS 48345440 HAS SOUPS 48258368 WITH SCORE 4.8342777803E7
AT ITER 7380 NEW BEST:: SOT 252419089 SOS 84407258 HAS SOPS 83417674 HAS SOUS 48345008 HAS SOUPS 48257936 WITH SCORE 4.8342343258E7
AT ITER 7382 NEW BEST:: SOT 252419463 SOS 84407632 HAS SOPS 83418048 HAS SOUS 48344475 HAS SOUPS 48257403 WITH SCORE 4.8341810632E7
AT ITER 7387 NEW BEST:: SOT 252420264 SOS 84408433 HAS SOPS 83418849 HAS SOUS 48343928 HAS SOUPS 48256856 WITH SCORE 4.8341264433E7
AT ITER 7406 NEW BEST:: SOT 252420232 SOS 84408401 HAS SOPS 83418817 HAS SOUS 48343864 HAS SOUPS 48256792 WITH SCORE 4.8341200401E7
AT ITER 7418 NEW BEST:: SOT 252420232 SOS 84408099 HAS SOPS 83418515 HAS SOUS 48343562 HAS SOUPS 48256490 WITH SCORE 4.8340898099E7
AT ITER 7453 NEW BEST:: SOT 252419976 SOS 84407851 HAS SOPS 83418267 HAS SOUS 48343310 HAS SOUPS 48256238 WITH SCORE 4.8340645851E7
AT ITER 7468 NEW BEST:: SOT 252414982 SOS 84402857 HAS SOPS 83413273 HAS SOUS 48334995 HAS SOUPS 48247923 WITH SCORE 4.8332325857E7
AT ITER 7487 NEW BEST:: SOT 252413067 SOS 84401548 HAS SOPS 83411964 HAS SOUS 48331762 HAS SOUPS 48244690 WITH SCORE 4.8329091548E7
AT ITER 7488 NEW BEST:: SOT 252412189 SOS 84402315 HAS SOPS 83412731 HAS SOUS 48331651 HAS SOUPS 48244579 WITH SCORE 4.8328981315E7
AT ITER 7490 NEW BEST:: SOT 252412189 SOS 84402169 HAS SOPS 83412585 HAS SOUS 48331505 HAS SOUPS 48244433 WITH SCORE 4.8328835169E7
AT ITER 7526 NEW BEST:: SOT 252412189 SOS 84402169 HAS SOPS 83412585 HAS SOUS 48331500 HAS SOUPS 48244428 WITH SCORE 4.8328830169E7
AT ITER 7535 NEW BEST:: SOT 252412189 SOS 84402448 HAS SOPS 83412864 HAS SOUS 48329472 HAS SOUPS 48242400 WITH SCORE 4.8326802448E7
AT ITER 7548 NEW BEST:: SOT 252409597 SOS 84401764 HAS SOPS 83412180 HAS SOUS 48327938 HAS SOUPS 48240866 WITH SCORE 4.8325267764E7
AT ITER 7560 NEW BEST:: SOT 252408790 SOS 84400925 HAS SOPS 83411341 HAS SOUS 48327099 HAS SOUPS 48240027 WITH SCORE 4.8324427925E7
AT ITER 7572 NEW BEST:: SOT 252408790 SOS 84342062 HAS SOPS 83352478 HAS SOUS 48327099 HAS SOUPS 48240027 WITH SCORE 4.8324369062E7
AT ITER 7585 NEW BEST:: SOT 252409507 SOS 84342779 HAS SOPS 83353195 HAS SOUS 48327095 HAS SOUPS 48240023 WITH SCORE 4.8324365779E7
AT ITER 7594 NEW BEST:: SOT 252410260 SOS 84343532 HAS SOPS 83353948 HAS SOUS 48325608 HAS SOUPS 48238536 WITH SCORE 4.8322879532E7
AT ITER 7611 NEW BEST:: SOT 252397600 SOS 84344376 HAS SOPS 83341288 HAS SOUS 48313439 HAS SOUPS 48225945 WITH SCORE 4.8310289376E7
AT ITER 7615 NEW BEST:: SOT 252397600 SOS 84343687 HAS SOPS 83340599 HAS SOUS 48312044 HAS SOUPS 48224550 WITH SCORE 4.8308893687E7
AT ITER 7632 NEW BEST:: SOT 252398315 SOS 84344402 HAS SOPS 83341314 HAS SOUS 48311948 HAS SOUPS 48224454 WITH SCORE 4.8308798402E7
AT ITER 7634 NEW BEST:: SOT 252398283 SOS 84344370 HAS SOPS 83341282 HAS SOUS 48311884 HAS SOUPS 48224390 WITH SCORE 4.830873437E7
AT ITER 7649 NEW BEST:: SOT 252397065 SOS 84343644 HAS SOPS 83340556 HAS SOUS 48309883 HAS SOUPS 48222389 WITH SCORE 4.8306732644E7
AT ITER 7661 NEW BEST:: SOT 252396712 SOS 84343291 HAS SOPS 83340203 HAS SOUS 48309177 HAS SOUPS 48221683 WITH SCORE 4.8306026291E7
AT ITER 7667 NEW BEST:: SOT 252396712 SOS 84343291 HAS SOPS 83340203 HAS SOUS 48308698 HAS SOUPS 48221204 WITH SCORE 4.8305547291E7
AT ITER 7698 NEW BEST:: SOT 252395063 SOS 84343261 HAS SOPS 83340173 HAS SOUS 48307013 HAS SOUPS 48219519 WITH SCORE 4.8303862261E7
AT ITER 7712 NEW BEST:: SOT 252393570 SOS 84341776 HAS SOPS 83338688 HAS SOUS 48306143 HAS SOUPS 48218649 WITH SCORE 4.8302990776E7
AT ITER 7723 NEW BEST:: SOT 252393353 SOS 84341776 HAS SOPS 83338688 HAS SOUS 48305926 HAS SOUPS 48218432 WITH SCORE 4.8302773776E7
AT ITER 7741 NEW BEST:: SOT 252393353 SOS 84341660 HAS SOPS 83338572 HAS SOUS 48305926 HAS SOUPS 48218432 WITH SCORE 4.830277366E7
AT ITER 7752 NEW BEST:: SOT 252392180 SOS 84341660 HAS SOPS 83338572 HAS SOUS 48304753 HAS SOUPS 48217259 WITH SCORE 4.830160066E7
AT ITER 7755 NEW BEST:: SOT 252392180 SOS 84340913 HAS SOPS 83337825 HAS SOUS 48302897 HAS SOUPS 48215403 WITH SCORE 4.8299743913E7
AT ITER 7760 NEW BEST:: SOT 252389768 SOS 84339627 HAS SOPS 83336539 HAS SOUS 48299260 HAS SOUPS 48211766 WITH SCORE 4.8296105627E7
AT ITER 7764 NEW BEST:: SOT 252389768 SOS 84339079 HAS SOPS 83335991 HAS SOUS 48298712 HAS SOUPS 48211218 WITH SCORE 4.8295557079E7
AT ITER 7797 NEW BEST:: SOT 252389736 SOS 84339015 HAS SOPS 83335927 HAS SOUS 48298616 HAS SOUPS 48211122 WITH SCORE 4.8295461015E7
AT ITER 7816 NEW BEST:: SOT 252387009 SOS 84336288 HAS SOPS 83333200 HAS SOUS 48298263 HAS SOUPS 48210769 WITH SCORE 4.8295105288E7
AT ITER 7818 NEW BEST:: SOT 252387009 SOS 84337603 HAS SOPS 83334515 HAS SOUS 48297611 HAS SOUPS 48210117 WITH SCORE 4.8294454603E7
AT ITER 7821 NEW BEST:: SOT 252384616 SOS 84335822 HAS SOPS 83332734 HAS SOUS 48293437 HAS SOUPS 48205943 WITH SCORE 4.8290278822E7
AT ITER 7822 NEW BEST:: SOT 252383886 SOS 84334362 HAS SOPS 83331274 HAS SOUS 48292643 HAS SOUPS 48205149 WITH SCORE 4.8289483362E7
AT ITER 7849 NEW BEST:: SOT 252383886 SOS 84333329 HAS SOPS 83330241 HAS SOUS 48291610 HAS SOUPS 48204116 WITH SCORE 4.8288449329E7
AT ITER 7853 NEW BEST:: SOT 252383562 SOS 84333329 HAS SOPS 83330241 HAS SOUS 48291286 HAS SOUPS 48203792 WITH SCORE 4.8288125329E7
AT ITER 7874 NEW BEST:: SOT 252381139 SOS 84327816 HAS SOPS 83324728 HAS SOUS 48288863 HAS SOUPS 48201369 WITH SCORE 4.8285696816E7
AT ITER 7903 NEW BEST:: SOT 252381802 SOS 84328479 HAS SOPS 83325391 HAS SOUS 48287743 HAS SOUPS 48200249 WITH SCORE 4.8284577479E7
AT ITER 7909 NEW BEST:: SOT 252381802 SOS 84302770 HAS SOPS 83299682 HAS SOUS 48287743 HAS SOUPS 48200249 WITH SCORE 4.828455177E7
AT ITER 7938 NEW BEST:: SOT 252363141 SOS 84371778 HAS SOPS 83368690 HAS SOUS 48271805 HAS SOUPS 48184311 WITH SCORE 4.8268682778E7
AT ITER 7939 NEW BEST:: SOT 252365112 SOS 84352541 HAS SOPS 83349453 HAS SOUS 48270844 HAS SOUPS 48183350 WITH SCORE 4.8267702541E7
AT ITER 7949 NEW BEST:: SOT 252364296 SOS 84351693 HAS SOPS 83348605 HAS SOUS 48269996 HAS SOUPS 48182502 WITH SCORE 4.8266853693E7
AT ITER 7973 NEW BEST:: SOT 252364218 SOS 84351551 HAS SOPS 83348463 HAS SOUS 48269854 HAS SOUPS 48182360 WITH SCORE 4.8266711551E7
AT ITER 7980 NEW BEST:: SOT 252364218 SOS 84351551 HAS SOPS 83348463 HAS SOUS 48267616 HAS SOUPS 48180122 WITH SCORE 4.8264473551E7
AT ITER 7987 NEW BEST:: SOT 252363874 SOS 84351207 HAS SOPS 83348119 HAS SOUS 48267272 HAS SOUPS 48179778 WITH SCORE 4.8264129207E7
AT ITER 8040 NEW BEST:: SOT 252363851 SOS 84351184 HAS SOPS 83348096 HAS SOUS 48267249 HAS SOUPS 48179755 WITH SCORE 4.8264106184E7
AT ITER 8048 NEW BEST:: SOT 252363443 SOS 84350776 HAS SOPS 83347688 HAS SOUS 48266433 HAS SOUPS 48178939 WITH SCORE 4.8263289776E7
AT ITER 8091 NEW BEST:: SOT 252288009 SOS 84318884 HAS SOPS 83315796 HAS SOUS 48195997 HAS SOUPS 48108503 WITH SCORE 4.8192821884E7
AT ITER 8101 NEW BEST:: SOT 252288561 SOS 84320783 HAS SOPS 83317695 HAS SOUS 48195057 HAS SOUPS 48107563 WITH SCORE 4.8191883783E7
AT ITER 8117 NEW BEST:: SOT 252288561 SOS 84320783 HAS SOPS 83317695 HAS SOUS 48195025 HAS SOUPS 48107531 WITH SCORE 4.8191851783E7
AT ITER 8124 NEW BEST:: SOT 252260673 SOS 84323387 HAS SOPS 83290731 HAS SOUS 48168449 HAS SOUPS 48080031 WITH SCORE 4.8164354387E7
AT ITER 8132 NEW BEST:: SOT 252260056 SOS 84322770 HAS SOPS 83289497 HAS SOUS 48167832 HAS SOUPS 48078797 WITH SCORE 4.816311977E7
AT ITER 8136 NEW BEST:: SOT 252259602 SOS 84323116 HAS SOPS 83289843 HAS SOUS 48167724 HAS SOUPS 48078689 WITH SCORE 4.8163012116E7
AT ITER 8140 NEW BEST:: SOT 252258188 SOS 84321721 HAS SOPS 83288448 HAS SOUS 48167641 HAS SOUPS 48078606 WITH SCORE 4.8162927721E7
AT ITER 8148 NEW BEST:: SOT 252172560 SOS 84238869 HAS SOPS 83205596 HAS SOUS 48083032 HAS SOUPS 47993997 WITH SCORE 4.8078235869E7
AT ITER 8161 NEW BEST:: SOT 252170218 SOS 84236859 HAS SOPS 83203586 HAS SOUS 48078679 HAS SOUPS 47989644 WITH SCORE 4.8073880859E7
AT ITER 8175 NEW BEST:: SOT 252170218 SOS 84235678 HAS SOPS 83202405 HAS SOUS 48075922 HAS SOUPS 47986887 WITH SCORE 4.8071122678E7
AT ITER 8179 NEW BEST:: SOT 252170186 SOS 84235646 HAS SOPS 83202373 HAS SOUS 48075858 HAS SOUPS 47986823 WITH SCORE 4.8071058646E7
AT ITER 8181 NEW BEST:: SOT 252170441 SOS 84235901 HAS SOPS 83202628 HAS SOUS 48074229 HAS SOUPS 47985194 WITH SCORE 4.8069429901E7
AT ITER 8194 NEW BEST:: SOT 252169796 SOS 84235256 HAS SOPS 83201983 HAS SOUS 48072950 HAS SOUPS 47983915 WITH SCORE 4.8068150256E7
AT ITER 8205 NEW BEST:: SOT 252169764 SOS 84235224 HAS SOPS 83201951 HAS SOUS 48072886 HAS SOUPS 47983851 WITH SCORE 4.8068086224E7
AT ITER 8208 NEW BEST:: SOT 252126798 SOS 84193622 HAS SOPS 83160349 HAS SOUS 48029920 HAS SOUPS 47940885 WITH SCORE 4.8025078622E7
AT ITER 8222 NEW BEST:: SOT 252126798 SOS 84193622 HAS SOPS 83160349 HAS SOUS 48027234 HAS SOUPS 47938199 WITH SCORE 4.8022392622E7
AT ITER 8238 NEW BEST:: SOT 252126798 SOS 84193622 HAS SOPS 83160349 HAS SOUS 48026289 HAS SOUPS 47937254 WITH SCORE 4.8021447622E7
AT ITER 8257 NEW BEST:: SOT 252126798 SOS 84193622 HAS SOPS 83160349 HAS SOUS 48025316 HAS SOUPS 47936281 WITH SCORE 4.8020474622E7
AT ITER 8291 NEW BEST:: SOT 252125888 SOS 84192712 HAS SOPS 83159439 HAS SOUS 48025309 HAS SOUPS 47936274 WITH SCORE 4.8020466712E7
AT ITER 8389 NEW BEST:: SOT 252126164 SOS 84192988 HAS SOPS 83159715 HAS SOUS 48023654 HAS SOUPS 47934619 WITH SCORE 4.8018811988E7
AT ITER 8400 NEW BEST:: SOT 252123856 SOS 84190691 HAS SOPS 83157418 HAS SOUS 48022623 HAS SOUPS 47933588 WITH SCORE 4.8017778691E7
AT ITER 8423 NEW BEST:: SOT 252121928 SOS 84186826 HAS SOPS 83153553 HAS SOUS 48018758 HAS SOUPS 47929723 WITH SCORE 4.8013909826E7
AT ITER 8425 NEW BEST:: SOT 252121928 SOS 84186826 HAS SOPS 83153553 HAS SOUS 48018140 HAS SOUPS 47929105 WITH SCORE 4.8013291826E7
AT ITER 8435 NEW BEST:: SOT 252037476 SOS 84269257 HAS SOPS 83235984 HAS SOUS 47945301 HAS SOUPS 47856266 WITH SCORE 4.7940535257E7
AT ITER 8442 NEW BEST:: SOT 252037444 SOS 84269193 HAS SOPS 83235920 HAS SOUS 47945205 HAS SOUPS 47856170 WITH SCORE 4.7940439193E7
AT ITER 8450 NEW BEST:: SOT 252035611 SOS 84268227 HAS SOPS 83234954 HAS SOUS 47944858 HAS SOUPS 47855823 WITH SCORE 4.7940091227E7
AT ITER 8454 NEW BEST:: SOT 252036214 SOS 84268830 HAS SOPS 83235557 HAS SOUS 47944516 HAS SOUPS 47855481 WITH SCORE 4.793974983E7
AT ITER 8456 NEW BEST:: SOT 252035808 SOS 84268392 HAS SOPS 83235119 HAS SOUS 47944078 HAS SOUPS 47855043 WITH SCORE 4.7939311392E7
AT ITER 8457 NEW BEST:: SOT 252035847 SOS 84268431 HAS SOPS 83235158 HAS SOUS 47941586 HAS SOUPS 47852551 WITH SCORE 4.7936819431E7
AT ITER 8490 NEW BEST:: SOT 252033442 SOS 84267353 HAS SOPS 83234080 HAS SOUS 47940405 HAS SOUPS 47851370 WITH SCORE 4.7935637353E7
AT ITER 8501 NEW BEST:: SOT 252033442 SOS 84267353 HAS SOPS 83234080 HAS SOUS 47940009 HAS SOUPS 47850974 WITH SCORE 4.7935241353E7
AT ITER 8518 NEW BEST:: SOT 252033420 SOS 84267257 HAS SOPS 83233984 HAS SOUS 47939976 HAS SOUPS 47850941 WITH SCORE 4.7935208257E7
AT ITER 8545 NEW BEST:: SOT 252032859 SOS 84266696 HAS SOPS 83233423 HAS SOUS 47938854 HAS SOUPS 47849819 WITH SCORE 4.7934085696E7
AT ITER 8553 NEW BEST:: SOT 252033422 SOS 84267259 HAS SOPS 83233986 HAS SOUS 47938099 HAS SOUPS 47849064 WITH SCORE 4.7933331259E7
AT ITER 8570 NEW BEST:: SOT 252028858 SOS 84321198 HAS SOPS 83287925 HAS SOUS 47937238 HAS SOUPS 47848203 WITH SCORE 4.7932524198E7
AT ITER 8589 NEW BEST:: SOT 251979582 SOS 84528974 HAS SOPS 83241536 HAS SOUS 47903209 HAS SOUPS 47809074 WITH SCORE 4.7893602974E7
AT ITER 8591 NEW BEST:: SOT 251977815 SOS 84527207 HAS SOPS 83239769 HAS SOUS 47903122 HAS SOUPS 47808987 WITH SCORE 4.7893514207E7
AT ITER 8601 NEW BEST:: SOT 251975624 SOS 84525923 HAS SOPS 83238485 HAS SOUS 47899642 HAS SOUPS 47805507 WITH SCORE 4.7890032923E7
AT ITER 8607 NEW BEST:: SOT 251975624 SOS 84525146 HAS SOPS 83237708 HAS SOUS 47898088 HAS SOUPS 47803953 WITH SCORE 4.7888478146E7
AT ITER 8623 NEW BEST:: SOT 251975624 SOS 84524083 HAS SOPS 83236645 HAS SOUS 47895837 HAS SOUPS 47801702 WITH SCORE 4.7886226083E7
AT ITER 8637 NEW BEST:: SOT 251975624 SOS 84522877 HAS SOPS 83235439 HAS SOUS 47894631 HAS SOUPS 47800496 WITH SCORE 4.7885018877E7
AT ITER 8679 NEW BEST:: SOT 251973192 SOS 84520445 HAS SOPS 83233007 HAS SOUS 47893105 HAS SOUPS 47798970 WITH SCORE 4.7883490445E7
AT ITER 8725 NEW BEST:: SOT 251972283 SOS 84519536 HAS SOPS 83232098 HAS SOUS 47892641 HAS SOUPS 47798506 WITH SCORE 4.7883025536E7
AT ITER 8757 NEW BEST:: SOT 251972283 SOS 84518500 HAS SOPS 83231062 HAS SOUS 47892641 HAS SOUPS 47798506 WITH SCORE 4.78830245E7
AT ITER 8773 NEW BEST:: SOT 251972283 SOS 84518500 HAS SOPS 83231062 HAS SOUS 47892262 HAS SOUPS 47798127 WITH SCORE 4.78826455E7
AT ITER 8791 NEW BEST:: SOT 251970217 SOS 84516402 HAS SOPS 83228964 HAS SOUS 47890164 HAS SOUPS 47796029 WITH SCORE 4.7880545402E7
AT ITER 8795 NEW BEST:: SOT 251970217 SOS 84515218 HAS SOPS 83227780 HAS SOUS 47890164 HAS SOUPS 47796029 WITH SCORE 4.7880544218E7
AT ITER 8808 NEW BEST:: SOT 251970217 SOS 84515125 HAS SOPS 83227687 HAS SOUS 47890164 HAS SOUPS 47796029 WITH SCORE 4.7880544125E7
AT ITER 8810 NEW BEST:: SOT 251970217 SOS 84515125 HAS SOPS 83227687 HAS SOUS 47888541 HAS SOUPS 47794406 WITH SCORE 4.7878921125E7
AT ITER 8811 NEW BEST:: SOT 251970217 SOS 84515093 HAS SOPS 83227655 HAS SOUS 47888509 HAS SOUPS 47794374 WITH SCORE 4.7878889093E7
AT ITER 8823 NEW BEST:: SOT 251970743 SOS 84515619 HAS SOPS 83228181 HAS SOUS 47886443 HAS SOUPS 47792308 WITH SCORE 4.7876823619E7
AT ITER 8825 NEW BEST:: SOT 251949989 SOS 84626656 HAS SOPS 83339218 HAS SOUS 47873960 HAS SOUPS 47779825 WITH SCORE 4.7864451656E7
AT ITER 8827 NEW BEST:: SOT 251950795 SOS 84627462 HAS SOPS 83340024 HAS SOUS 47873692 HAS SOUPS 47779557 WITH SCORE 4.7864184462E7
AT ITER 8828 NEW BEST:: SOT 251951789 SOS 84628456 HAS SOPS 83341018 HAS SOUS 47872081 HAS SOUPS 47777946 WITH SCORE 4.7862574456E7
AT ITER 8855 NEW BEST:: SOT 251952246 SOS 84628913 HAS SOPS 83341475 HAS SOUS 47870351 HAS SOUPS 47776216 WITH SCORE 4.7860844913E7
AT ITER 8864 NEW BEST:: SOT 251926961 SOS 84633195 HAS SOPS 83317084 HAS SOUS 47848100 HAS SOUPS 47753071 WITH SCORE 4.7837704195E7
AT ITER 8885 NEW BEST:: SOT 251926961 SOS 84632283 HAS SOPS 83316172 HAS SOUS 47847179 HAS SOUPS 47752150 WITH SCORE 4.7836782283E7
AT ITER 8888 NEW BEST:: SOT 251927245 SOS 84632567 HAS SOPS 83316456 HAS SOUS 47846682 HAS SOUPS 47751653 WITH SCORE 4.7836285567E7
AT ITER 8897 NEW BEST:: SOT 251927245 SOS 84633869 HAS SOPS 83317758 HAS SOUS 47845688 HAS SOUPS 47750659 WITH SCORE 4.7835292869E7
AT ITER 8901 NEW BEST:: SOT 251873833 SOS 84831053 HAS SOPS 83514942 HAS SOUS 47809698 HAS SOUPS 47714669 WITH SCORE 4.7799500053E7
AT ITER 8907 NEW BEST:: SOT 251873833 SOS 84831053 HAS SOPS 83514942 HAS SOUS 47808810 HAS SOUPS 47713781 WITH SCORE 4.7798612053E7
AT ITER 8911 NEW BEST:: SOT 251873726 SOS 84830946 HAS SOPS 83514835 HAS SOUS 47808596 HAS SOUPS 47713567 WITH SCORE 4.7798397946E7
AT ITER 8941 NEW BEST:: SOT 251873150 SOS 84832329 HAS SOPS 83516218 HAS SOUS 47808020 HAS SOUPS 47712991 WITH SCORE 4.7797823329E7
AT ITER 8959 NEW BEST:: SOT 251873150 SOS 84830200 HAS SOPS 83514089 HAS SOUS 47803675 HAS SOUPS 47708646 WITH SCORE 4.77934762E7
AT ITER 8980 NEW BEST:: SOT 251873150 SOS 84830200 HAS SOPS 83514089 HAS SOUS 47801775 HAS SOUPS 47706746 WITH SCORE 4.77915762E7
AT ITER 8983 NEW BEST:: SOT 251871988 SOS 84826268 HAS SOPS 83510157 HAS SOUS 47801724 HAS SOUPS 47706695 WITH SCORE 4.7791521268E7
AT ITER 8993 NEW BEST:: SOT 251871956 SOS 84826204 HAS SOPS 83510093 HAS SOUS 47801628 HAS SOUPS 47706599 WITH SCORE 4.7791425204E7
AT ITER 8997 NEW BEST:: SOT 251869779 SOS 84823387 HAS SOPS 83507276 HAS SOUS 47798811 HAS SOUPS 47703782 WITH SCORE 4.7788605387E7
AT ITER 9001 NEW BEST:: SOT 251868685 SOS 84822294 HAS SOPS 83506183 HAS SOUS 47797717 HAS SOUPS 47702688 WITH SCORE 4.7787510294E7
AT ITER 9003 NEW BEST:: SOT 251866778 SOS 84820387 HAS SOPS 83504276 HAS SOUS 47796143 HAS SOUPS 47701114 WITH SCORE 4.7785934387E7
AT ITER 9015 NEW BEST:: SOT 251866778 SOS 84820387 HAS SOPS 83504276 HAS SOUS 47796111 HAS SOUPS 47701082 WITH SCORE 4.7785902387E7
AT ITER 9029 NEW BEST:: SOT 251813299 SOS 84768740 HAS SOPS 83452629 HAS SOUS 47744464 HAS SOUPS 47649435 WITH SCORE 4.773420374E7
AT ITER 9032 NEW BEST:: SOT 251814016 SOS 84769457 HAS SOPS 83453346 HAS SOUS 47742441 HAS SOUPS 47647412 WITH SCORE 4.7732181457E7
AT ITER 9036 NEW BEST:: SOT 251813407 SOS 84769457 HAS SOPS 83453346 HAS SOUS 47741832 HAS SOUPS 47646803 WITH SCORE 4.7731572457E7
AT ITER 9040 NEW BEST:: SOT 251812995 SOS 84769570 HAS SOPS 83453459 HAS SOUS 47741533 HAS SOUPS 47646504 WITH SCORE 4.773127357E7
AT ITER 9049 NEW BEST:: SOT 251812357 SOS 84768935 HAS SOPS 83452824 HAS SOUS 47740895 HAS SOUPS 47645866 WITH SCORE 4.7730634935E7
AT ITER 9058 NEW BEST:: SOT 251810895 SOS 84768935 HAS SOPS 83452824 HAS SOUS 47739433 HAS SOUPS 47644404 WITH SCORE 4.7729172935E7
AT ITER 9065 NEW BEST:: SOT 251810895 SOS 84768935 HAS SOPS 83452824 HAS SOUS 47737937 HAS SOUPS 47642908 WITH SCORE 4.7727676935E7
AT ITER 9078 NEW BEST:: SOT 251810895 SOS 84771177 HAS SOPS 83455066 HAS SOUS 47736328 HAS SOUPS 47641299 WITH SCORE 4.7726070177E7
AT ITER 9083 NEW BEST:: SOT 251810895 SOS 84770809 HAS SOPS 83454698 HAS SOUS 47733593 HAS SOUPS 47638564 WITH SCORE 4.7723334809E7
AT ITER 9097 NEW BEST:: SOT 251810424 SOS 84770809 HAS SOPS 83454698 HAS SOUS 47733122 HAS SOUPS 47638093 WITH SCORE 4.7722863809E7
AT ITER 9102 NEW BEST:: SOT 251809779 SOS 84770097 HAS SOPS 83453986 HAS SOUS 47732569 HAS SOUPS 47637540 WITH SCORE 4.7722310097E7
AT ITER 9121 NEW BEST:: SOT 251806288 SOS 84765138 HAS SOPS 83449027 HAS SOUS 47731273 HAS SOUPS 47636244 WITH SCORE 4.7721009138E7
AT ITER 9152 NEW BEST:: SOT 251805142 SOS 84763993 HAS SOPS 83447882 HAS SOUS 47730127 HAS SOUPS 47635098 WITH SCORE 4.7719861993E7
AT ITER 9159 NEW BEST:: SOT 251804948 SOS 84763735 HAS SOPS 83447624 HAS SOUS 47729869 HAS SOUPS 47634840 WITH SCORE 4.7719603735E7
AT ITER 9180 NEW BEST:: SOT 251804948 SOS 84763871 HAS SOPS 83447760 HAS SOUS 47728989 HAS SOUPS 47633960 WITH SCORE 4.7718723871E7
AT ITER 9188 NEW BEST:: SOT 251804948 SOS 84763529 HAS SOPS 83447418 HAS SOUS 47728989 HAS SOUPS 47633960 WITH SCORE 4.7718723529E7
AT ITER 9189 NEW BEST:: SOT 251805139 SOS 84763720 HAS SOPS 83447609 HAS SOUS 47726573 HAS SOUPS 47631544 WITH SCORE 4.771630772E7
AT ITER 9192 NEW BEST:: SOT 251772734 SOS 85060429 HAS SOPS 83744318 HAS SOUS 47713060 HAS SOUPS 47618031 WITH SCORE 4.7703091429E7
AT ITER 9196 NEW BEST:: SOT 251772697 SOS 85060392 HAS SOPS 83744281 HAS SOUS 47713023 HAS SOUPS 47617994 WITH SCORE 4.7703054392E7
AT ITER 9199 NEW BEST:: SOT 251770513 SOS 85060376 HAS SOPS 83744265 HAS SOUS 47709109 HAS SOUPS 47614080 WITH SCORE 4.7699140376E7
AT ITER 9216 NEW BEST:: SOT 251767390 SOS 85057262 HAS SOPS 83741151 HAS SOUS 47707012 HAS SOUPS 47611983 WITH SCORE 4.7697040262E7
AT ITER 9223 NEW BEST:: SOT 251769694 SOS 85059682 HAS SOPS 83714007 HAS SOUS 47680342 HAS SOUPS 47585223 WITH SCORE 4.7670282682E7
AT ITER 9224 NEW BEST:: SOT 251769694 SOS 85059682 HAS SOPS 83714007 HAS SOUS 47679583 HAS SOUPS 47584464 WITH SCORE 4.7669523682E7
AT ITER 9263 NEW BEST:: SOT 251731833 SOS 85572013 HAS SOPS 83683486 HAS SOUS 47680472 HAS SOUPS 47575799 WITH SCORE 4.7661371013E7
AT ITER 9270 NEW BEST:: SOT 251689493 SOS 86017705 HAS SOPS 84129178 HAS SOUS 47663955 HAS SOUPS 47559282 WITH SCORE 4.7645299705E7
AT ITER 9277 NEW BEST:: SOT 251689493 SOS 86016998 HAS SOPS 84128471 HAS SOUS 47663248 HAS SOUPS 47558575 WITH SCORE 4.7644591998E7
AT ITER 9290 NEW BEST:: SOT 251689493 SOS 86019109 HAS SOPS 84130582 HAS SOUS 47663091 HAS SOUPS 47558418 WITH SCORE 4.7644437109E7
AT ITER 9292 NEW BEST:: SOT 251688084 SOS 86017722 HAS SOPS 84129195 HAS SOUS 47662953 HAS SOUPS 47558280 WITH SCORE 4.7644297722E7
AT ITER 9311 NEW BEST:: SOT 251685535 SOS 86015838 HAS SOPS 84127311 HAS SOUS 47660404 HAS SOUPS 47555731 WITH SCORE 4.7641746838E7
AT ITER 9372 NEW BEST:: SOT 251685535 SOS 86015838 HAS SOPS 84127311 HAS SOUS 47658526 HAS SOUPS 47553853 WITH SCORE 4.7639868838E7
AT ITER 9376 NEW BEST:: SOT 251685316 SOS 86015838 HAS SOPS 84127311 HAS SOUS 47658511 HAS SOUPS 47553838 WITH SCORE 4.7639853838E7
AT ITER 9390 NEW BEST:: SOT 251685316 SOS 86015838 HAS SOPS 84127311 HAS SOUS 47657958 HAS SOUPS 47553285 WITH SCORE 4.7639300838E7
AT ITER 9413 NEW BEST:: SOT 251681347 SOS 85898520 HAS SOPS 84009993 HAS SOUS 47650707 HAS SOUPS 47546034 WITH SCORE 4.763193252E7
AT ITER 9423 NEW BEST:: SOT 251680074 SOS 85897215 HAS SOPS 84008688 HAS SOUS 47649402 HAS SOUPS 47544729 WITH SCORE 4.7630626215E7
AT ITER 9427 NEW BEST:: SOT 251680074 SOS 85897215 HAS SOPS 84008688 HAS SOUS 47646964 HAS SOUPS 47542291 WITH SCORE 4.7628188215E7
AT ITER 9438 NEW BEST:: SOT 251679786 SOS 85897009 HAS SOPS 84008482 HAS SOUS 47646311 HAS SOUPS 47541638 WITH SCORE 4.7627535009E7
AT ITER 9444 NEW BEST:: SOT 251679638 SOS 85896861 HAS SOPS 84008334 HAS SOUS 47646163 HAS SOUPS 47541490 WITH SCORE 4.7627386861E7
AT ITER 9464 NEW BEST:: SOT 251678702 SOS 85895925 HAS SOPS 84007398 HAS SOUS 47646143 HAS SOUPS 47541470 WITH SCORE 4.7627365925E7
AT ITER 9493 NEW BEST:: SOT 251678702 SOS 85895479 HAS SOPS 84006952 HAS SOUS 47646143 HAS SOUPS 47541470 WITH SCORE 4.7627365479E7
AT ITER 9497 NEW BEST:: SOT 251678702 SOS 85895734 HAS SOPS 84006920 HAS SOUS 47646398 HAS SOUPS 47541438 WITH SCORE 4.7627333734E7
AT ITER 9516 NEW BEST:: SOT 251678670 SOS 85895702 HAS SOPS 84006888 HAS SOUS 47646334 HAS SOUPS 47541374 WITH SCORE 4.7627269702E7
AT ITER 9520 NEW BEST:: SOT 251675021 SOS 85771828 HAS SOPS 83883014 HAS SOUS 47639868 HAS SOUPS 47534908 WITH SCORE 4.7620679828E7
AT ITER 9537 NEW BEST:: SOT 251675021 SOS 85771828 HAS SOPS 83883014 HAS SOUS 47639045 HAS SOUPS 47534085 WITH SCORE 4.7619856828E7
AT ITER 9544 NEW BEST:: SOT 251675021 SOS 85771960 HAS SOPS 83883146 HAS SOUS 47638020 HAS SOUPS 47533060 WITH SCORE 4.761883196E7
AT ITER 9571 NEW BEST:: SOT 251675415 SOS 85772354 HAS SOPS 83883540 HAS SOUS 47637113 HAS SOUPS 47532153 WITH SCORE 4.7617925354E7
AT ITER 9590 NEW BEST:: SOT 251675351 SOS 85772175 HAS SOPS 83883361 HAS SOUS 47636985 HAS SOUPS 47532025 WITH SCORE 4.7617797175E7
AT ITER 9595 NEW BEST:: SOT 251671734 SOS 85685301 HAS SOPS 83796487 HAS SOUS 47630018 HAS SOUPS 47525058 WITH SCORE 4.7610743301E7
AT ITER 9601 NEW BEST:: SOT 251671734 SOS 85685301 HAS SOPS 83796487 HAS SOUS 47627416 HAS SOUPS 47522456 WITH SCORE 4.7608141301E7
AT ITER 9635 NEW BEST:: SOT 251632229 SOS 86227514 HAS SOPS 83762311 HAS SOUS 47625067 HAS SOUPS 47510017 WITH SCORE 4.7596244514E7
AT ITER 9677 NEW BEST:: SOT 251632905 SOS 86228190 HAS SOPS 83762987 HAS SOUS 47623482 HAS SOUPS 47508432 WITH SCORE 4.759466019E7
AT ITER 9683 NEW BEST:: SOT 251631518 SOS 86226799 HAS SOPS 83761596 HAS SOUS 47622795 HAS SOUPS 47507745 WITH SCORE 4.7593971799E7
AT ITER 9702 NEW BEST:: SOT 251525854 SOS 87017896 HAS SOPS 83661037 HAS SOUS 47537715 HAS SOUPS 47406067 WITH SCORE 4.7493084896E7
AT ITER 9708 NEW BEST:: SOT 251526114 SOS 87017934 HAS SOPS 83661075 HAS SOUS 47537061 HAS SOUPS 47405413 WITH SCORE 4.7492430934E7
AT ITER 9714 NEW BEST:: SOT 251527110 SOS 87018930 HAS SOPS 83662071 HAS SOUS 47536460 HAS SOUPS 47404812 WITH SCORE 4.749183093E7
AT ITER 9715 NEW BEST:: SOT 251527110 SOS 87018964 HAS SOPS 83662105 HAS SOUS 47535677 HAS SOUPS 47404029 WITH SCORE 4.7491047964E7
AT ITER 9752 NEW BEST:: SOT 251527696 SOS 87019550 HAS SOPS 83662691 HAS SOUS 47533993 HAS SOUPS 47402345 WITH SCORE 4.748936455E7
AT ITER 9760 NEW BEST:: SOT 251527696 SOS 87019205 HAS SOPS 83662346 HAS SOUS 47531608 HAS SOUPS 47399960 WITH SCORE 4.7486979205E7
AT ITER 9772 NEW BEST:: SOT 251527866 SOS 87019375 HAS SOPS 83662516 HAS SOUS 47531092 HAS SOUPS 47399444 WITH SCORE 4.7486463375E7
AT ITER 9779 NEW BEST:: SOT 251527866 SOS 87020162 HAS SOPS 83663303 HAS SOUS 47529961 HAS SOUPS 47398313 WITH SCORE 4.7485333162E7
AT ITER 9791 NEW BEST:: SOT 251527866 SOS 87019559 HAS SOPS 83662700 HAS SOUS 47529358 HAS SOUPS 47397710 WITH SCORE 4.7484729559E7
AT ITER 9793 NEW BEST:: SOT 251525819 SOS 86961464 HAS SOPS 83604605 HAS SOUS 47525544 HAS SOUPS 47393896 WITH SCORE 4.7480857464E7
AT ITER 9817 NEW BEST:: SOT 251525819 SOS 86961464 HAS SOPS 83604605 HAS SOUS 47525149 HAS SOUPS 47393501 WITH SCORE 4.7480462464E7
AT ITER 9818 NEW BEST:: SOT 251525766 SOS 86961339 HAS SOPS 83604480 HAS SOUS 47525064 HAS SOUPS 47393416 WITH SCORE 4.7480377339E7
AT ITER 9830 NEW BEST:: SOT 251525766 SOS 86961488 HAS SOPS 83604629 HAS SOUS 47524555 HAS SOUPS 47392907 WITH SCORE 4.7479868488E7
AT ITER 9835 NEW BEST:: SOT 251525082 SOS 86961611 HAS SOPS 83604752 HAS SOUS 47523994 HAS SOUPS 47392346 WITH SCORE 4.7479307611E7
AT ITER 9859 NEW BEST:: SOT 251525701 SOS 86962230 HAS SOPS 83605371 HAS SOUS 47521796 HAS SOUPS 47390148 WITH SCORE 4.747711023E7
AT ITER 9892 NEW BEST:: SOT 251522435 SOS 86958964 HAS SOPS 83602105 HAS SOUS 47517600 HAS SOUPS 47385952 WITH SCORE 4.7472910964E7
AT ITER 9920 NEW BEST:: SOT 251522435 SOS 86958488 HAS SOPS 83601629 HAS SOUS 47517600 HAS SOUPS 47385952 WITH SCORE 4.7472910488E7
AT ITER 9924 NEW BEST:: SOT 251522311 SOS 86957814 HAS SOPS 83600955 HAS SOUS 47517352 HAS SOUPS 47385704 WITH SCORE 4.7472661814E7
AT ITER 9933 NEW BEST:: SOT 251520827 SOS 86911591 HAS SOPS 83554732 HAS SOUS 47515836 HAS SOUPS 47384188 WITH SCORE 4.7471099591E7
AT ITER 9970 NEW BEST:: SOT 251517275 SOS 86911591 HAS SOPS 83554732 HAS SOUS 47514211 HAS SOUPS 47382563 WITH SCORE 4.7469474591E7
AT ITER 9974 NEW BEST:: SOT 251490128 SOS 87062277 HAS SOPS 83712472 HAS SOUS 47499336 HAS SOUPS 47367688 WITH SCORE 4.7454750277E7
AT ITER 9998 NEW BEST:: SOT 251490128 SOS 87064125 HAS SOPS 83714320 HAS SOUS 47497873 HAS SOUPS 47366225 WITH SCORE 4.7453289125E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14627588 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16121936 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LeafsetExtension-PT-S64C4"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is LeafsetExtension-PT-S64C4, 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 r227-tall-167856410600544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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