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-167856410600536.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-S64C3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410600536
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 11K Feb 25 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 16:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 16:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.7K 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.2K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 31K Feb 25 16:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 194K Feb 25 16:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 16:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 25 16:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K 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 1678617742767

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-S64C3
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S64C3
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 14 NEW BEST:: SOT 256517889 SOS 63134938 HAS SOPS 63029063 HAS SOUS 52259397 HAS SOUPS 52255044 WITH SCORE 5.2318178938E7
AT ITER 15 NEW BEST:: SOT 256517889 SOS 63133353 HAS SOPS 63027478 HAS SOUS 52259397 HAS SOUPS 52255044 WITH SCORE 5.2318177353E7
AT ITER 35 NEW BEST:: SOT 256517331 SOS 63133353 HAS SOPS 63027478 HAS SOUS 52259378 HAS SOUPS 52255025 WITH SCORE 5.2318158353E7
AT ITER 42 NEW BEST:: SOT 256493852 SOS 63141125 HAS SOPS 63004946 HAS SOUS 52242801 HAS SOUPS 52237501 WITH SCORE 5.2300642125E7
AT ITER 43 NEW BEST:: SOT 256491909 SOS 63139197 HAS SOPS 63003018 HAS SOUS 52241887 HAS SOUPS 52236587 WITH SCORE 5.2299726197E7
AT ITER 59 NEW BEST:: SOT 256491909 SOS 63139040 HAS SOPS 63002861 HAS SOUS 52241730 HAS SOUPS 52236430 WITH SCORE 5.229956904E7
AT ITER 96 NEW BEST:: SOT 256491909 SOS 63137936 HAS SOPS 63001757 HAS SOUS 52241730 HAS SOUPS 52236430 WITH SCORE 5.2299567936E7
AT ITER 98 NEW BEST:: SOT 256490773 SOS 63137936 HAS SOPS 63001757 HAS SOUS 52241705 HAS SOUPS 52236405 WITH SCORE 5.2299542936E7
AT ITER 119 NEW BEST:: SOT 256490773 SOS 63027776 HAS SOPS 62891597 HAS SOUS 52241715 HAS SOUPS 52236415 WITH SCORE 5.2299442776E7
AT ITER 148 NEW BEST:: SOT 256489677 SOS 63026681 HAS SOPS 62890502 HAS SOUS 52240619 HAS SOUPS 52235319 WITH SCORE 5.2298345681E7
AT ITER 176 NEW BEST:: SOT 256489677 SOS 63026118 HAS SOPS 62889939 HAS SOUS 52240029 HAS SOUPS 52234729 WITH SCORE 5.2297755118E7
AT ITER 189 NEW BEST:: SOT 256486441 SOS 63026118 HAS SOPS 62889939 HAS SOUS 52240025 HAS SOUPS 52234725 WITH SCORE 5.2297751118E7
AT ITER 195 NEW BEST:: SOT 256486441 SOS 63025498 HAS SOPS 62889319 HAS SOUS 52240025 HAS SOUPS 52234725 WITH SCORE 5.2297750498E7
AT ITER 227 NEW BEST:: SOT 256485008 SOS 63025498 HAS SOPS 62889319 HAS SOUS 52240016 HAS SOUPS 52234716 WITH SCORE 5.2297741498E7
AT ITER 245 NEW BEST:: SOT 256482123 SOS 63012068 HAS SOPS 62875889 HAS SOUS 52238351 HAS SOUPS 52233051 WITH SCORE 5.2296063068E7
AT ITER 254 NEW BEST:: SOT 256482123 SOS 63010881 HAS SOPS 62874702 HAS SOUS 52238351 HAS SOUPS 52233051 WITH SCORE 5.2296061881E7
AT ITER 315 NEW BEST:: SOT 256481297 SOS 63009991 HAS SOPS 62873812 HAS SOUS 52237461 HAS SOUPS 52232161 WITH SCORE 5.2295170991E7
AT ITER 324 NEW BEST:: SOT 256481297 SOS 63009959 HAS SOPS 62873780 HAS SOUS 52237429 HAS SOUPS 52232129 WITH SCORE 5.2295138959E7
AT ITER 354 NEW BEST:: SOT 256481264 SOS 63009959 HAS SOPS 62873780 HAS SOUS 52237422 HAS SOUPS 52232122 WITH SCORE 5.2295131959E7
AT ITER 370 NEW BEST:: SOT 256427301 SOS 63150286 HAS SOPS 62821708 HAS SOUS 52199509 HAS SOUPS 52190105 WITH SCORE 5.2253255286E7
AT ITER 391 NEW BEST:: SOT 256427301 SOS 63149689 HAS SOPS 62821111 HAS SOUS 52198912 HAS SOUPS 52189508 WITH SCORE 5.2252657689E7
AT ITER 412 NEW BEST:: SOT 256427301 SOS 63148323 HAS SOPS 62819745 HAS SOUS 52198912 HAS SOUPS 52189508 WITH SCORE 5.2252656323E7
AT ITER 500 NEW BEST:: SOT 256390786 SOS 63364759 HAS SOPS 63036181 HAS SOUS 52178787 HAS SOUPS 52169383 WITH SCORE 5.2232747759E7
AT ITER 517 NEW BEST:: SOT 256390158 SOS 63364135 HAS SOPS 63035557 HAS SOUS 52178159 HAS SOUPS 52168755 WITH SCORE 5.2232119135E7
AT ITER 542 NEW BEST:: SOT 256387925 SOS 63361870 HAS SOPS 63033292 HAS SOUS 52175894 HAS SOUPS 52166490 WITH SCORE 5.222985187E7
AT ITER 564 NEW BEST:: SOT 256385892 SOS 63359805 HAS SOPS 63031227 HAS SOUS 52173829 HAS SOUPS 52164425 WITH SCORE 5.2227784805E7
AT ITER 580 NEW BEST:: SOT 256385892 SOS 63358763 HAS SOPS 63030185 HAS SOUS 52173829 HAS SOUPS 52164425 WITH SCORE 5.2227783763E7
AT ITER 585 NEW BEST:: SOT 256383712 SOS 63356806 HAS SOPS 63028228 HAS SOUS 52173678 HAS SOUPS 52164274 WITH SCORE 5.2227630806E7
AT ITER 625 NEW BEST:: SOT 256269069 SOS 63478619 HAS SOPS 63150041 HAS SOUS 52074833 HAS SOUPS 52065429 WITH SCORE 5.2128907619E7
AT ITER 660 NEW BEST:: SOT 256166176 SOS 63581994 HAS SOPS 63253416 HAS SOUS 51988054 HAS SOUPS 51978650 WITH SCORE 5.2042231994E7
AT ITER 678 NEW BEST:: SOT 256165591 SOS 63581994 HAS SOPS 63253416 HAS SOUS 51988048 HAS SOUPS 51978644 WITH SCORE 5.2042225994E7
AT ITER 734 NEW BEST:: SOT 256165591 SOS 63527082 HAS SOPS 63198504 HAS SOUS 51988016 HAS SOUPS 51978612 WITH SCORE 5.2042139082E7
AT ITER 765 NEW BEST:: SOT 256164903 SOS 63527082 HAS SOPS 63198504 HAS SOUS 51987989 HAS SOUPS 51978585 WITH SCORE 5.2042112082E7
AT ITER 772 NEW BEST:: SOT 256163067 SOS 63527082 HAS SOPS 63198504 HAS SOUS 51987963 HAS SOUPS 51978559 WITH SCORE 5.2042086082E7
AT ITER 793 NEW BEST:: SOT 256160778 SOS 63524821 HAS SOPS 63196243 HAS SOUS 51986362 HAS SOUPS 51976958 WITH SCORE 5.2040482821E7
AT ITER 816 NEW BEST:: SOT 256160778 SOS 63525033 HAS SOPS 63196211 HAS SOUS 51986562 HAS SOUPS 51976926 WITH SCORE 5.2040451033E7
AT ITER 827 NEW BEST:: SOT 256160749 SOS 63525033 HAS SOPS 63196211 HAS SOUS 51986533 HAS SOUPS 51976897 WITH SCORE 5.2040422033E7
AT ITER 862 NEW BEST:: SOT 256158760 SOS 63525033 HAS SOPS 63196211 HAS SOUS 51986503 HAS SOUPS 51976867 WITH SCORE 5.2040392033E7
AT ITER 872 NEW BEST:: SOT 256089115 SOS 63621861 HAS SOPS 63293082 HAS SOUS 51926195 HAS SOUPS 51916559 WITH SCORE 5.1980180861E7
AT ITER 877 NEW BEST:: SOT 256088445 SOS 63621191 HAS SOPS 63292412 HAS SOUS 51926194 HAS SOUPS 51916558 WITH SCORE 5.1980179191E7
AT ITER 886 NEW BEST:: SOT 256088445 SOS 63619156 HAS SOPS 63290377 HAS SOUS 51924150 HAS SOUPS 51914514 WITH SCORE 5.1978133156E7
AT ITER 899 NEW BEST:: SOT 256088308 SOS 63618955 HAS SOPS 63290176 HAS SOUS 51923949 HAS SOUPS 51914313 WITH SCORE 5.1977931955E7
AT ITER 907 NEW BEST:: SOT 256088308 SOS 63618955 HAS SOPS 63290176 HAS SOUS 51923932 HAS SOUPS 51914296 WITH SCORE 5.1977914955E7
AT ITER 914 NEW BEST:: SOT 256087306 SOS 63618955 HAS SOPS 63290176 HAS SOUS 51923913 HAS SOUPS 51914277 WITH SCORE 5.1977895955E7
AT ITER 924 NEW BEST:: SOT 256084521 SOS 63616295 HAS SOPS 63287516 HAS SOUS 51920620 HAS SOUPS 51910984 WITH SCORE 5.1974600295E7
AT ITER 969 NEW BEST:: SOT 256084521 SOS 63615584 HAS SOPS 63286805 HAS SOUS 51919909 HAS SOUPS 51910273 WITH SCORE 5.1973888584E7
AT ITER 1007 NEW BEST:: SOT 256084237 SOS 63615584 HAS SOPS 63286805 HAS SOUS 51919901 HAS SOUPS 51910265 WITH SCORE 5.1973880584E7
AT ITER 1039 NEW BEST:: SOT 256082365 SOS 63613680 HAS SOPS 63284901 HAS SOUS 51917997 HAS SOUPS 51908361 WITH SCORE 5.197197468E7
AT ITER 1055 NEW BEST:: SOT 256082109 SOS 63613392 HAS SOPS 63284613 HAS SOUS 51917709 HAS SOUPS 51908073 WITH SCORE 5.1971686392E7
AT ITER 1069 NEW BEST:: SOT 256079460 SOS 63612318 HAS SOPS 63283539 HAS SOUS 51914585 HAS SOUPS 51904949 WITH SCORE 5.1968561318E7
AT ITER 1072 NEW BEST:: SOT 256079460 SOS 63610999 HAS SOPS 63282220 HAS SOUS 51913264 HAS SOUPS 51903628 WITH SCORE 5.1967238999E7
AT ITER 1114 NEW BEST:: SOT 256076440 SOS 63610999 HAS SOPS 63282220 HAS SOUS 51913262 HAS SOUPS 51903626 WITH SCORE 5.1967236999E7
AT ITER 1119 NEW BEST:: SOT 256051713 SOS 63637541 HAS SOPS 63308762 HAS SOUS 51891816 HAS SOUPS 51882180 WITH SCORE 5.1945817541E7
AT ITER 1130 NEW BEST:: SOT 256050562 SOS 63637599 HAS SOPS 63308820 HAS SOUS 51891320 HAS SOUPS 51881684 WITH SCORE 5.1945321599E7
AT ITER 1207 NEW BEST:: SOT 256048265 SOS 63636848 HAS SOPS 63308069 HAS SOUS 51889194 HAS SOUPS 51879558 WITH SCORE 5.1943194848E7
AT ITER 1215 NEW BEST:: SOT 256048265 SOS 63636848 HAS SOPS 63308069 HAS SOUS 51889186 HAS SOUPS 51879550 WITH SCORE 5.1943186848E7
AT ITER 1239 NEW BEST:: SOT 256048265 SOS 63636816 HAS SOPS 63308037 HAS SOUS 51889154 HAS SOUPS 51879518 WITH SCORE 5.1943154816E7
AT ITER 1241 NEW BEST:: SOT 256047671 SOS 63636816 HAS SOPS 63308037 HAS SOUS 51888560 HAS SOUPS 51878924 WITH SCORE 5.1942560816E7
AT ITER 1244 NEW BEST:: SOT 256047671 SOS 63636784 HAS SOPS 63308005 HAS SOUS 51888528 HAS SOUPS 51878892 WITH SCORE 5.1942528784E7
AT ITER 1253 NEW BEST:: SOT 256046052 SOS 63635133 HAS SOPS 63306354 HAS SOUS 51886877 HAS SOUPS 51877241 WITH SCORE 5.1940876133E7
AT ITER 1256 NEW BEST:: SOT 256046052 SOS 63634305 HAS SOPS 63305526 HAS SOUS 51886049 HAS SOUPS 51876413 WITH SCORE 5.1940047305E7
AT ITER 1271 NEW BEST:: SOT 256046052 SOS 63634134 HAS SOPS 63305355 HAS SOUS 51885878 HAS SOUPS 51876242 WITH SCORE 5.1939876134E7
AT ITER 1346 NEW BEST:: SOT 256046052 SOS 63633029 HAS SOPS 63304250 HAS SOUS 51885878 HAS SOUPS 51876242 WITH SCORE 5.1939875029E7
AT ITER 1358 NEW BEST:: SOT 256046016 SOS 63633029 HAS SOPS 63304250 HAS SOUS 51885865 HAS SOUPS 51876229 WITH SCORE 5.1939862029E7
AT ITER 1390 NEW BEST:: SOT 256044831 SOS 63633029 HAS SOPS 63304250 HAS SOUS 51884680 HAS SOUPS 51875044 WITH SCORE 5.1938677029E7
AT ITER 1398 NEW BEST:: SOT 256042339 SOS 63630505 HAS SOPS 63301726 HAS SOUS 51882156 HAS SOUPS 51872520 WITH SCORE 5.1936150505E7
AT ITER 1399 NEW BEST:: SOT 256042339 SOS 63630308 HAS SOPS 63301529 HAS SOUS 51881959 HAS SOUPS 51872323 WITH SCORE 5.1935953308E7
AT ITER 1403 NEW BEST:: SOT 256039361 SOS 63630308 HAS SOPS 63301529 HAS SOUS 51880531 HAS SOUPS 51870895 WITH SCORE 5.1934525308E7
AT ITER 1506 NEW BEST:: SOT 256038731 SOS 63629646 HAS SOPS 63300867 HAS SOUS 51879869 HAS SOUPS 51870233 WITH SCORE 5.1933862646E7
AT ITER 1547 NEW BEST:: SOT 256036932 SOS 63629646 HAS SOPS 63300867 HAS SOUS 51879866 HAS SOUPS 51870230 WITH SCORE 5.1933859646E7
AT ITER 1566 NEW BEST:: SOT 256036456 SOS 63629646 HAS SOPS 63300867 HAS SOUS 51879390 HAS SOUPS 51869754 WITH SCORE 5.1933383646E7
AT ITER 1569 NEW BEST:: SOT 256036456 SOS 63628864 HAS SOPS 63300085 HAS SOUS 51878600 HAS SOUPS 51868964 WITH SCORE 5.1932592864E7
AT ITER 1573 NEW BEST:: SOT 256035454 SOS 63628864 HAS SOPS 63300085 HAS SOUS 51878574 HAS SOUPS 51868938 WITH SCORE 5.1932566864E7
AT ITER 1608 NEW BEST:: SOT 256035454 SOS 63627949 HAS SOPS 63299170 HAS SOUS 51877659 HAS SOUPS 51868023 WITH SCORE 5.1931650949E7
AT ITER 1610 NEW BEST:: SOT 256035454 SOS 63627251 HAS SOPS 63298472 HAS SOUS 51876959 HAS SOUPS 51867323 WITH SCORE 5.1930950251E7
AT ITER 1618 NEW BEST:: SOT 255953033 SOS 63810038 HAS SOPS 63481259 HAS SOUS 51810834 HAS SOUPS 51801198 WITH SCORE 5.1865008038E7
AT ITER 1667 NEW BEST:: SOT 255953033 SOS 63809665 HAS SOPS 63480886 HAS SOUS 51810443 HAS SOUPS 51800807 WITH SCORE 5.1864616665E7
AT ITER 1683 NEW BEST:: SOT 255953033 SOS 63800308 HAS SOPS 63471529 HAS SOUS 51808247 HAS SOUPS 51798611 WITH SCORE 5.1862411308E7
AT ITER 1701 NEW BEST:: SOT 255950251 SOS 63800308 HAS SOPS 63471529 HAS SOUS 51808230 HAS SOUPS 51798594 WITH SCORE 5.1862394308E7
AT ITER 1781 NEW BEST:: SOT 255950251 SOS 63800308 HAS SOPS 63471529 HAS SOUS 51808227 HAS SOUPS 51798591 WITH SCORE 5.1862391308E7
AT ITER 1782 NEW BEST:: SOT 255949429 SOS 63799454 HAS SOPS 63470675 HAS SOUS 51807373 HAS SOUPS 51797737 WITH SCORE 5.1861536454E7
AT ITER 1820 NEW BEST:: SOT 255949224 SOS 63799454 HAS SOPS 63470675 HAS SOUS 51807168 HAS SOUPS 51797532 WITH SCORE 5.1861331454E7
AT ITER 1832 NEW BEST:: SOT 255949547 SOS 63799904 HAS SOPS 63451164 HAS SOUS 51807683 HAS SOUPS 51778213 WITH SCORE 5.1842012904E7
AT ITER 1842 NEW BEST:: SOT 255946960 SOS 63799033 HAS SOPS 63450293 HAS SOUS 51807519 HAS SOUPS 51778049 WITH SCORE 5.1841848033E7
AT ITER 1858 NEW BEST:: SOT 255946960 SOS 63799033 HAS SOPS 63450293 HAS SOUS 51807509 HAS SOUPS 51778039 WITH SCORE 5.1841838033E7
AT ITER 1871 NEW BEST:: SOT 255944954 SOS 63796995 HAS SOPS 63448255 HAS SOUS 51805471 HAS SOUPS 51776001 WITH SCORE 5.1839797995E7
AT ITER 1914 NEW BEST:: SOT 255943219 SOS 63795228 HAS SOPS 63446488 HAS SOUS 51803704 HAS SOUPS 51774234 WITH SCORE 5.1838029228E7
AT ITER 1922 NEW BEST:: SOT 255943219 SOS 63794603 HAS SOPS 63445863 HAS SOUS 51803079 HAS SOUPS 51773609 WITH SCORE 5.1837403603E7
AT ITER 1933 NEW BEST:: SOT 255943219 SOS 63794603 HAS SOPS 63445863 HAS SOUS 51803075 HAS SOUPS 51773605 WITH SCORE 5.1837399603E7
AT ITER 1941 NEW BEST:: SOT 255942906 SOS 63794258 HAS SOPS 63445518 HAS SOUS 51802730 HAS SOUPS 51773260 WITH SCORE 5.1837054258E7
AT ITER 1957 NEW BEST:: SOT 255941769 SOS 63793057 HAS SOPS 63444317 HAS SOUS 51801529 HAS SOUPS 51772059 WITH SCORE 5.1835852057E7
AT ITER 1969 NEW BEST:: SOT 255939639 SOS 63790942 HAS SOPS 63442202 HAS SOUS 51799657 HAS SOUPS 51770187 WITH SCORE 5.1833977942E7
AT ITER 1982 NEW BEST:: SOT 255937548 SOS 63789511 HAS SOPS 63440771 HAS SOUS 51799444 HAS SOUPS 51769974 WITH SCORE 5.1833763511E7
AT ITER 1985 NEW BEST:: SOT 255933995 SOS 63669430 HAS SOPS 63320690 HAS SOUS 51793558 HAS SOUPS 51764088 WITH SCORE 5.182775743E7
AT ITER 1987 NEW BEST:: SOT 255932985 SOS 63667378 HAS SOPS 63318638 HAS SOUS 51791506 HAS SOUPS 51762036 WITH SCORE 5.1825703378E7
AT ITER 1990 NEW BEST:: SOT 255932985 SOS 63592114 HAS SOPS 63243374 HAS SOUS 51791474 HAS SOUPS 51762004 WITH SCORE 5.1825596114E7
AT ITER 2004 NEW BEST:: SOT 255932985 SOS 63592102 HAS SOPS 63243362 HAS SOUS 51791462 HAS SOUPS 51761992 WITH SCORE 5.1825584102E7
AT ITER 2005 NEW BEST:: SOT 255932985 SOS 63592102 HAS SOPS 63243362 HAS SOUS 51791451 HAS SOUPS 51761981 WITH SCORE 5.1825573102E7
AT ITER 2009 NEW BEST:: SOT 255931417 SOS 63592102 HAS SOPS 63243362 HAS SOUS 51790855 HAS SOUPS 51761385 WITH SCORE 5.1824977102E7
AT ITER 2012 NEW BEST:: SOT 255929223 SOS 63592102 HAS SOPS 63243362 HAS SOUS 51790852 HAS SOUPS 51761382 WITH SCORE 5.1824974102E7
AT ITER 2036 NEW BEST:: SOT 255928138 SOS 63591033 HAS SOPS 63242293 HAS SOUS 51790670 HAS SOUPS 51761200 WITH SCORE 5.1824791033E7
AT ITER 2038 NEW BEST:: SOT 255924713 SOS 63587608 HAS SOPS 63238868 HAS SOUS 51786476 HAS SOUPS 51757006 WITH SCORE 5.1820593608E7
AT ITER 2053 NEW BEST:: SOT 255923683 SOS 63587815 HAS SOPS 63239075 HAS SOUS 51786002 HAS SOUPS 51756532 WITH SCORE 5.1820119815E7
AT ITER 2068 NEW BEST:: SOT 255923683 SOS 63587771 HAS SOPS 63239031 HAS SOUS 51785958 HAS SOUPS 51756488 WITH SCORE 5.1820075771E7
AT ITER 2089 NEW BEST:: SOT 255923683 SOS 63583914 HAS SOPS 63235174 HAS SOUS 51782101 HAS SOUPS 51752631 WITH SCORE 5.1816214914E7
AT ITER 2101 NEW BEST:: SOT 255923683 SOS 63582122 HAS SOPS 63233382 HAS SOUS 51780309 HAS SOUPS 51750839 WITH SCORE 5.1814421122E7
AT ITER 2168 NEW BEST:: SOT 255921389 SOS 63581200 HAS SOPS 63232460 HAS SOUS 51778660 HAS SOUPS 51749190 WITH SCORE 5.18127712E7
AT ITER 2211 NEW BEST:: SOT 255921389 SOS 63580510 HAS SOPS 63231770 HAS SOUS 51777006 HAS SOUPS 51747536 WITH SCORE 5.181111651E7
AT ITER 2257 NEW BEST:: SOT 255920800 SOS 63580847 HAS SOPS 63232107 HAS SOUS 51776754 HAS SOUPS 51747284 WITH SCORE 5.1810864847E7
AT ITER 2261 NEW BEST:: SOT 255920800 SOS 63580343 HAS SOPS 63231603 HAS SOUS 51776250 HAS SOUPS 51746780 WITH SCORE 5.1810360343E7
AT ITER 2278 NEW BEST:: SOT 255920800 SOS 63579785 HAS SOPS 63231045 HAS SOUS 51776250 HAS SOUPS 51746780 WITH SCORE 5.1810359785E7
AT ITER 2285 NEW BEST:: SOT 255917065 SOS 63579785 HAS SOPS 63231045 HAS SOUS 51776236 HAS SOUPS 51746766 WITH SCORE 5.1810345785E7
AT ITER 2351 NEW BEST:: SOT 255917065 SOS 63578502 HAS SOPS 63229762 HAS SOUS 51774933 HAS SOUPS 51745463 WITH SCORE 5.1809041502E7
AT ITER 2373 NEW BEST:: SOT 255916076 SOS 63577530 HAS SOPS 63228790 HAS SOUS 51773912 HAS SOUPS 51744442 WITH SCORE 5.180801953E7
AT ITER 2380 NEW BEST:: SOT 255801862 SOS 63534314 HAS SOPS 63185574 HAS SOUS 51666008 HAS SOUPS 51636538 WITH SCORE 5.1700072314E7
AT ITER 2411 NEW BEST:: SOT 255801862 SOS 63521309 HAS SOPS 63172569 HAS SOUS 51666008 HAS SOUPS 51636538 WITH SCORE 5.1700059309E7
AT ITER 2435 NEW BEST:: SOT 255799981 SOS 63519727 HAS SOPS 63170987 HAS SOUS 51665729 HAS SOUPS 51636259 WITH SCORE 5.1699778727E7
AT ITER 2444 NEW BEST:: SOT 255799963 SOS 63519727 HAS SOPS 63170987 HAS SOUS 51665716 HAS SOUPS 51636246 WITH SCORE 5.1699765727E7
AT ITER 2452 NEW BEST:: SOT 255799963 SOS 63519635 HAS SOPS 63170895 HAS SOUS 51665624 HAS SOUPS 51636154 WITH SCORE 5.1699673635E7
AT ITER 2479 NEW BEST:: SOT 255797919 SOS 63517617 HAS SOPS 63168877 HAS SOUS 51665145 HAS SOUPS 51635675 WITH SCORE 5.1699192617E7
AT ITER 2493 NEW BEST:: SOT 255797179 SOS 63516877 HAS SOPS 63168137 HAS SOUS 51665137 HAS SOUPS 51635667 WITH SCORE 5.1699183877E7
AT ITER 2494 NEW BEST:: SOT 255797179 SOS 63516755 HAS SOPS 63168015 HAS SOUS 51664893 HAS SOUPS 51635423 WITH SCORE 5.1698939755E7
AT ITER 2525 NEW BEST:: SOT 255797179 SOS 63515094 HAS SOPS 63166354 HAS SOUS 51661054 HAS SOUPS 51631584 WITH SCORE 5.1695099094E7
AT ITER 2534 NEW BEST:: SOT 255795493 SOS 63513376 HAS SOPS 63164636 HAS SOUS 51659336 HAS SOUPS 51629866 WITH SCORE 5.1693379376E7
AT ITER 2537 NEW BEST:: SOT 255778002 SOS 63686679 HAS SOPS 63337939 HAS SOUS 51654262 HAS SOUPS 51624792 WITH SCORE 5.1688478679E7
AT ITER 2549 NEW BEST:: SOT 255778002 SOS 63686647 HAS SOPS 63337907 HAS SOUS 51654230 HAS SOUPS 51624760 WITH SCORE 5.1688446647E7
AT ITER 2561 NEW BEST:: SOT 255778002 SOS 63686271 HAS SOPS 63337531 HAS SOUS 51653854 HAS SOUPS 51624384 WITH SCORE 5.1688070271E7
AT ITER 2563 NEW BEST:: SOT 255774828 SOS 63683115 HAS SOPS 63334375 HAS SOUS 51651136 HAS SOUPS 51621666 WITH SCORE 5.1685349115E7
AT ITER 2579 NEW BEST:: SOT 255774828 SOS 63680237 HAS SOPS 63331497 HAS SOUS 51648258 HAS SOUPS 51618788 WITH SCORE 5.1682468237E7
AT ITER 2607 NEW BEST:: SOT 255771781 SOS 63681102 HAS SOPS 63332362 HAS SOUS 51646296 HAS SOUPS 51616826 WITH SCORE 5.1680507102E7
AT ITER 2643 NEW BEST:: SOT 255771781 SOS 63680883 HAS SOPS 63332143 HAS SOUS 51646047 HAS SOUPS 51616577 WITH SCORE 5.1680257883E7
AT ITER 2647 NEW BEST:: SOT 255771781 SOS 63681118 HAS SOPS 63332378 HAS SOUS 51645456 HAS SOUPS 51615986 WITH SCORE 5.1679667118E7
AT ITER 2658 NEW BEST:: SOT 255771781 SOS 63679861 HAS SOPS 63331121 HAS SOUS 51643460 HAS SOUPS 51613990 WITH SCORE 5.1677669861E7
AT ITER 2678 NEW BEST:: SOT 255769483 SOS 63677531 HAS SOPS 63328791 HAS SOUS 51641130 HAS SOUPS 51611660 WITH SCORE 5.1675337531E7
AT ITER 2682 NEW BEST:: SOT 255768315 SOS 63677531 HAS SOPS 63328791 HAS SOUS 51641128 HAS SOUPS 51611658 WITH SCORE 5.1675335531E7
AT ITER 2691 NEW BEST:: SOT 255689958 SOS 63824150 HAS SOPS 63475410 HAS SOUS 51579427 HAS SOUPS 51549957 WITH SCORE 5.161378115E7
AT ITER 2693 NEW BEST:: SOT 255681337 SOS 63820983 HAS SOPS 63472243 HAS SOUS 51571428 HAS SOUPS 51541958 WITH SCORE 5.1605778983E7
AT ITER 2699 NEW BEST:: SOT 255651781 SOS 63947394 HAS SOPS 63598654 HAS SOUS 51550878 HAS SOUPS 51521408 WITH SCORE 5.1585355394E7
AT ITER 2713 NEW BEST:: SOT 255651781 SOS 63946857 HAS SOPS 63598117 HAS SOUS 51550878 HAS SOUPS 51521408 WITH SCORE 5.1585354857E7
AT ITER 2718 NEW BEST:: SOT 255650023 SOS 63945113 HAS SOPS 63596373 HAS SOUS 51549451 HAS SOUPS 51519981 WITH SCORE 5.1583926113E7
AT ITER 2720 NEW BEST:: SOT 255648781 SOS 63945113 HAS SOPS 63596373 HAS SOUS 51549426 HAS SOUPS 51519956 WITH SCORE 5.1583901113E7
AT ITER 2732 NEW BEST:: SOT 255648653 SOS 63945113 HAS SOPS 63596373 HAS SOUS 51549298 HAS SOUPS 51519828 WITH SCORE 5.1583773113E7
AT ITER 2748 NEW BEST:: SOT 255645554 SOS 63945969 HAS SOPS 63597229 HAS SOUS 51548794 HAS SOUPS 51519324 WITH SCORE 5.1583269969E7
AT ITER 2750 NEW BEST:: SOT 255645554 SOS 63945937 HAS SOPS 63597197 HAS SOUS 51548762 HAS SOUPS 51519292 WITH SCORE 5.1583237937E7
AT ITER 2786 NEW BEST:: SOT 255643300 SOS 63945937 HAS SOPS 63597197 HAS SOUS 51546508 HAS SOUPS 51517038 WITH SCORE 5.1580983937E7
AT ITER 2793 NEW BEST:: SOT 255643285 SOS 63945922 HAS SOPS 63597182 HAS SOUS 51546469 HAS SOUPS 51516999 WITH SCORE 5.1580944922E7
AT ITER 2796 NEW BEST:: SOT 255642176 SOS 63944200 HAS SOPS 63595460 HAS SOUS 51545381 HAS SOUPS 51515911 WITH SCORE 5.15798552E7
AT ITER 2801 NEW BEST:: SOT 255642176 SOS 63944200 HAS SOPS 63595460 HAS SOUS 51545362 HAS SOUPS 51515892 WITH SCORE 5.15798362E7
AT ITER 2805 NEW BEST:: SOT 255608531 SOS 63911607 HAS SOPS 63562867 HAS SOUS 51512249 HAS SOUPS 51482779 WITH SCORE 5.1546690607E7
AT ITER 2817 NEW BEST:: SOT 255606160 SOS 63909658 HAS SOPS 63560918 HAS SOUS 51512065 HAS SOUPS 51482595 WITH SCORE 5.1546504658E7
AT ITER 2820 NEW BEST:: SOT 255604295 SOS 63907761 HAS SOPS 63559021 HAS SOUS 51510168 HAS SOUPS 51480698 WITH SCORE 5.1544605761E7
AT ITER 2823 NEW BEST:: SOT 255631841 SOS 63935441 HAS SOPS 63519723 HAS SOUS 51518444 HAS SOUPS 51442745 WITH SCORE 5.1506680441E7
AT ITER 2850 NEW BEST:: SOT 255630564 SOS 63934187 HAS SOPS 63518469 HAS SOUS 51518352 HAS SOUPS 51442653 WITH SCORE 5.1506587187E7
AT ITER 2864 NEW BEST:: SOT 255630564 SOS 63934198 HAS SOPS 63518480 HAS SOUS 51518335 HAS SOUPS 51442636 WITH SCORE 5.1506570198E7
AT ITER 2873 NEW BEST:: SOT 255619962 SOS 63934882 HAS SOPS 63508220 HAS SOUS 51508161 HAS SOUPS 51432120 WITH SCORE 5.1496054882E7
AT ITER 2890 NEW BEST:: SOT 255619074 SOS 63934882 HAS SOPS 63508220 HAS SOUS 51507273 HAS SOUPS 51431232 WITH SCORE 5.1495166882E7
AT ITER 2923 NEW BEST:: SOT 255617750 SOS 63934882 HAS SOPS 63508220 HAS SOUS 51507261 HAS SOUPS 51431220 WITH SCORE 5.1495154882E7
AT ITER 2929 NEW BEST:: SOT 255544660 SOS 64014321 HAS SOPS 63587659 HAS SOUS 51445586 HAS SOUPS 51369545 WITH SCORE 5.1433559321E7
AT ITER 2937 NEW BEST:: SOT 255544621 SOS 64014218 HAS SOPS 63587556 HAS SOUS 51445483 HAS SOUPS 51369442 WITH SCORE 5.1433456218E7
AT ITER 2944 NEW BEST:: SOT 255544621 SOS 64012776 HAS SOPS 63586114 HAS SOUS 51445483 HAS SOUPS 51369442 WITH SCORE 5.1433454776E7
AT ITER 2985 NEW BEST:: SOT 255544331 SOS 64012776 HAS SOPS 63586114 HAS SOUS 51445193 HAS SOUPS 51369152 WITH SCORE 5.1433164776E7
AT ITER 2995 NEW BEST:: SOT 255542061 SOS 64010519 HAS SOPS 63583857 HAS SOUS 51443419 HAS SOUPS 51367378 WITH SCORE 5.1431388519E7
AT ITER 3039 NEW BEST:: SOT 255539514 SOS 64010519 HAS SOPS 63583857 HAS SOUS 51441594 HAS SOUPS 51365553 WITH SCORE 5.1429563519E7
AT ITER 3051 NEW BEST:: SOT 255433508 SOS 64015766 HAS SOPS 63589104 HAS SOUS 51345375 HAS SOUPS 51269334 WITH SCORE 5.1333349766E7
AT ITER 3054 NEW BEST:: SOT 255433508 SOS 64014086 HAS SOPS 63587424 HAS SOUS 51345375 HAS SOUPS 51269334 WITH SCORE 5.1333348086E7
AT ITER 3066 NEW BEST:: SOT 255432528 SOS 64014086 HAS SOPS 63587424 HAS SOUS 51344395 HAS SOUPS 51268354 WITH SCORE 5.1332368086E7
AT ITER 3070 NEW BEST:: SOT 255431991 SOS 64014086 HAS SOPS 63587424 HAS SOUS 51343858 HAS SOUPS 51267817 WITH SCORE 5.1331831086E7
AT ITER 3094 NEW BEST:: SOT 255365081 SOS 64191190 HAS SOPS 63764528 HAS SOUS 51293029 HAS SOUPS 51216988 WITH SCORE 5.128117919E7
AT ITER 3103 NEW BEST:: SOT 255362115 SOS 64189379 HAS SOPS 63762717 HAS SOUS 51291403 HAS SOUPS 51215362 WITH SCORE 5.1279551379E7
AT ITER 3136 NEW BEST:: SOT 255358601 SOS 64123342 HAS SOPS 63696680 HAS SOUS 51284375 HAS SOUPS 51208334 WITH SCORE 5.1272457342E7
AT ITER 3143 NEW BEST:: SOT 255358601 SOS 64122440 HAS SOPS 63695778 HAS SOUS 51284375 HAS SOUPS 51208334 WITH SCORE 5.127245644E7
AT ITER 3151 NEW BEST:: SOT 255358519 SOS 64122358 HAS SOPS 63695696 HAS SOUS 51284211 HAS SOUPS 51208170 WITH SCORE 5.1272292358E7
AT ITER 3175 NEW BEST:: SOT 255358519 SOS 64122358 HAS SOPS 63695696 HAS SOUS 51284204 HAS SOUPS 51208163 WITH SCORE 5.1272285358E7
AT ITER 3183 NEW BEST:: SOT 255357583 SOS 64121390 HAS SOPS 63694728 HAS SOUS 51283236 HAS SOUPS 51207195 WITH SCORE 5.127131639E7
AT ITER 3191 NEW BEST:: SOT 255357551 SOS 64120969 HAS SOPS 63694307 HAS SOUS 51283172 HAS SOUPS 51207131 WITH SCORE 5.1271251969E7
AT ITER 3197 NEW BEST:: SOT 255357551 SOS 64120969 HAS SOPS 63694307 HAS SOUS 51281642 HAS SOUPS 51205601 WITH SCORE 5.1269721969E7
AT ITER 3200 NEW BEST:: SOT 255357551 SOS 64119329 HAS SOPS 63692667 HAS SOUS 51277922 HAS SOUPS 51201881 WITH SCORE 5.1266000329E7
AT ITER 3204 NEW BEST:: SOT 255350416 SOS 64112194 HAS SOPS 63685532 HAS SOUS 51268565 HAS SOUPS 51192524 WITH SCORE 5.1256636194E7
AT ITER 3207 NEW BEST:: SOT 255349697 SOS 64112194 HAS SOPS 63685532 HAS SOUS 51268559 HAS SOUPS 51192518 WITH SCORE 5.1256630194E7
AT ITER 3216 NEW BEST:: SOT 255347594 SOS 64111503 HAS SOPS 63684841 HAS SOUS 51265764 HAS SOUPS 51189723 WITH SCORE 5.1253834503E7
AT ITER 3220 NEW BEST:: SOT 255285407 SOS 64232127 HAS SOPS 63805465 HAS SOUS 51215723 HAS SOUPS 51139682 WITH SCORE 5.1203914127E7
AT ITER 3226 NEW BEST:: SOT 255223762 SOS 64322948 HAS SOPS 63896332 HAS SOUS 51164392 HAS SOUPS 51088351 WITH SCORE 5.1152673948E7
AT ITER 3245 NEW BEST:: SOT 255195011 SOS 64363841 HAS SOPS 63937225 HAS SOUS 51138224 HAS SOUPS 51062183 WITH SCORE 5.1126546841E7
AT ITER 3258 NEW BEST:: SOT 255195011 SOS 64362731 HAS SOPS 63936115 HAS SOUS 51138224 HAS SOUPS 51062183 WITH SCORE 5.1126545731E7
AT ITER 3260 NEW BEST:: SOT 255192664 SOS 64361055 HAS SOPS 63934439 HAS SOUS 51138190 HAS SOUPS 51062149 WITH SCORE 5.1126510055E7
AT ITER 3289 NEW BEST:: SOT 255134044 SOS 64706487 HAS SOPS 64279871 HAS SOUS 51105199 HAS SOUPS 51029158 WITH SCORE 5.1093864487E7
AT ITER 3304 NEW BEST:: SOT 255133708 SOS 64705815 HAS SOPS 64279199 HAS SOUS 51104799 HAS SOUPS 51028758 WITH SCORE 5.1093463815E7
AT ITER 3306 NEW BEST:: SOT 255132333 SOS 64704408 HAS SOPS 64277792 HAS SOUS 51103392 HAS SOUPS 51027351 WITH SCORE 5.1092055408E7
AT ITER 3421 NEW BEST:: SOT 255128967 SOS 64704679 HAS SOPS 64278063 HAS SOUS 51100026 HAS SOUPS 51023985 WITH SCORE 5.1088689679E7
AT ITER 3449 NEW BEST:: SOT 255128932 SOS 64704580 HAS SOPS 64277964 HAS SOUS 51099959 HAS SOUPS 51023918 WITH SCORE 5.108862258E7
AT ITER 3451 NEW BEST:: SOT 255128932 SOS 64705781 HAS SOPS 64279165 HAS SOUS 51098318 HAS SOUPS 51022277 WITH SCORE 5.1086982781E7
AT ITER 3459 NEW BEST:: SOT 255083853 SOS 64713859 HAS SOPS 64287243 HAS SOUS 51057932 HAS SOUPS 50981891 WITH SCORE 5.1046604859E7
AT ITER 3498 NEW BEST:: SOT 255081056 SOS 64713859 HAS SOPS 64287243 HAS SOUS 51057917 HAS SOUPS 50981876 WITH SCORE 5.1046589859E7
AT ITER 3523 NEW BEST:: SOT 255047299 SOS 65232671 HAS SOPS 64259749 HAS SOUS 51063456 HAS SOUPS 50977774 WITH SCORE 5.1043006671E7
AT ITER 3528 NEW BEST:: SOT 255046100 SOS 65231473 HAS SOPS 64258551 HAS SOUS 51062257 HAS SOUPS 50976575 WITH SCORE 5.1041806473E7
AT ITER 3585 NEW BEST:: SOT 255046100 SOS 65230310 HAS SOPS 64257388 HAS SOUS 51061080 HAS SOUPS 50975398 WITH SCORE 5.104062831E7
AT ITER 3600 NEW BEST:: SOT 255044650 SOS 65228866 HAS SOPS 64255944 HAS SOUS 51059630 HAS SOUPS 50973948 WITH SCORE 5.1039176866E7
AT ITER 3665 NEW BEST:: SOT 254996148 SOS 65513856 HAS SOPS 64540934 HAS SOUS 51033604 HAS SOUPS 50947922 WITH SCORE 5.1013435856E7
AT ITER 3671 NEW BEST:: SOT 254995479 SOS 65513856 HAS SOPS 64540934 HAS SOUS 51032935 HAS SOUPS 50947253 WITH SCORE 5.1012766856E7
AT ITER 3673 NEW BEST:: SOT 254995479 SOS 65512407 HAS SOPS 64539485 HAS SOUS 51032935 HAS SOUPS 50947253 WITH SCORE 5.1012765407E7
AT ITER 3679 NEW BEST:: SOT 254995479 SOS 65511539 HAS SOPS 64538617 HAS SOUS 51030794 HAS SOUPS 50945112 WITH SCORE 5.1010623539E7
AT ITER 3699 NEW BEST:: SOT 254995479 SOS 65511115 HAS SOPS 64538193 HAS SOUS 51030370 HAS SOUPS 50944688 WITH SCORE 5.1010199115E7
AT ITER 3730 NEW BEST:: SOT 254995479 SOS 65510577 HAS SOPS 64537655 HAS SOUS 51029294 HAS SOUPS 50943612 WITH SCORE 5.1009122577E7
AT ITER 3785 NEW BEST:: SOT 254995447 SOS 65510545 HAS SOPS 64537623 HAS SOUS 51029230 HAS SOUPS 50943548 WITH SCORE 5.1009058545E7
AT ITER 3794 NEW BEST:: SOT 254994626 SOS 65510545 HAS SOPS 64537623 HAS SOUS 51029200 HAS SOUPS 50943518 WITH SCORE 5.1009028545E7
AT ITER 3822 NEW BEST:: SOT 254994626 SOS 65510545 HAS SOPS 64537623 HAS SOUS 51029182 HAS SOUPS 50943500 WITH SCORE 5.1009010545E7
AT ITER 3837 NEW BEST:: SOT 254908365 SOS 65473123 HAS SOPS 64500235 HAS SOUS 50945590 HAS SOUPS 50859908 WITH SCORE 5.0925381123E7
AT ITER 3849 NEW BEST:: SOT 254904278 SOS 65469859 HAS SOPS 64496971 HAS SOUS 50938934 HAS SOUPS 50853252 WITH SCORE 5.0918721859E7
AT ITER 3903 NEW BEST:: SOT 254904278 SOS 65468953 HAS SOPS 64496065 HAS SOUS 50936918 HAS SOUPS 50851236 WITH SCORE 5.0916704953E7
AT ITER 3950 NEW BEST:: SOT 254904246 SOS 65468889 HAS SOPS 64496001 HAS SOUS 50936822 HAS SOUPS 50851140 WITH SCORE 5.0916608889E7
AT ITER 3954 NEW BEST:: SOT 254905360 SOS 65469317 HAS SOPS 64496429 HAS SOUS 50936196 HAS SOUPS 50850514 WITH SCORE 5.0915983317E7
AT ITER 3989 NEW BEST:: SOT 254905360 SOS 65469661 HAS SOPS 64496773 HAS SOUS 50935861 HAS SOUPS 50850179 WITH SCORE 5.0915648661E7
AT ITER 4033 NEW BEST:: SOT 254905093 SOS 65469330 HAS SOPS 64496442 HAS SOUS 50935530 HAS SOUPS 50849848 WITH SCORE 5.091531733E7
AT ITER 4035 NEW BEST:: SOT 254905093 SOS 65468064 HAS SOPS 64495176 HAS SOUS 50934264 HAS SOUPS 50848582 WITH SCORE 5.0914050064E7
AT ITER 4042 NEW BEST:: SOT 254905093 SOS 65466953 HAS SOPS 64494065 HAS SOUS 50934264 HAS SOUPS 50848582 WITH SCORE 5.0914048953E7
AT ITER 4059 NEW BEST:: SOT 254841612 SOS 65604900 HAS SOPS 64432700 HAS SOUS 50880214 HAS SOUPS 50790321 WITH SCORE 5.08559259E7
AT ITER 4069 NEW BEST:: SOT 254752539 SOS 65615001 HAS SOPS 64442801 HAS SOUS 50798305 HAS SOUPS 50708412 WITH SCORE 5.0774027001E7
AT ITER 4088 NEW BEST:: SOT 254749596 SOS 65614017 HAS SOPS 64441817 HAS SOUS 50797291 HAS SOUPS 50707398 WITH SCORE 5.0773012017E7
AT ITER 4102 NEW BEST:: SOT 254717228 SOS 65618481 HAS SOPS 64446281 HAS SOUS 50764891 HAS SOUPS 50674998 WITH SCORE 5.0740616481E7
AT ITER 4108 NEW BEST:: SOT 254717228 SOS 65618481 HAS SOPS 64446281 HAS SOUS 50764060 HAS SOUPS 50674167 WITH SCORE 5.0739785481E7
AT ITER 4151 NEW BEST:: SOT 254717228 SOS 65618195 HAS SOPS 64445995 HAS SOUS 50763774 HAS SOUPS 50673881 WITH SCORE 5.0739499195E7
AT ITER 4166 NEW BEST:: SOT 254715217 SOS 65616195 HAS SOPS 64443995 HAS SOUS 50761763 HAS SOUPS 50671870 WITH SCORE 5.0737486195E7
AT ITER 4177 NEW BEST:: SOT 254661552 SOS 66068918 HAS SOPS 64397022 HAS SOUS 50732756 HAS SOUPS 50633958 WITH SCORE 5.0700026918E7
AT ITER 4218 NEW BEST:: SOT 254660895 SOS 66068261 HAS SOPS 64396365 HAS SOUS 50732099 HAS SOUPS 50633301 WITH SCORE 5.0699369261E7
AT ITER 4233 NEW BEST:: SOT 254660895 SOS 66068138 HAS SOPS 64396242 HAS SOUS 50731976 HAS SOUPS 50633178 WITH SCORE 5.0699246138E7
AT ITER 4251 NEW BEST:: SOT 254659593 SOS 66066857 HAS SOPS 64394961 HAS SOUS 50731630 HAS SOUPS 50632832 WITH SCORE 5.0698898857E7
AT ITER 4266 NEW BEST:: SOT 254659593 SOS 66065573 HAS SOPS 64393677 HAS SOUS 50728638 HAS SOUPS 50629840 WITH SCORE 5.0695905573E7
AT ITER 4274 NEW BEST:: SOT 254657904 SOS 66063902 HAS SOPS 64392006 HAS SOUS 50727293 HAS SOUPS 50628495 WITH SCORE 5.0694558902E7
AT ITER 4289 NEW BEST:: SOT 254657904 SOS 66063902 HAS SOPS 64392006 HAS SOUS 50727261 HAS SOUPS 50628463 WITH SCORE 5.0694526902E7
AT ITER 4299 NEW BEST:: SOT 254654977 SOS 65976703 HAS SOPS 64304807 HAS SOUS 50721685 HAS SOUPS 50622887 WITH SCORE 5.0688863703E7
AT ITER 4313 NEW BEST:: SOT 254653943 SOS 65975674 HAS SOPS 64303778 HAS SOUS 50720618 HAS SOUPS 50621820 WITH SCORE 5.0687795674E7
AT ITER 4317 NEW BEST:: SOT 254653943 SOS 65975642 HAS SOPS 64303746 HAS SOUS 50720586 HAS SOUPS 50621788 WITH SCORE 5.0687763642E7
AT ITER 4318 NEW BEST:: SOT 254604083 SOS 65978966 HAS SOPS 64253886 HAS SOUS 50672449 HAS SOUPS 50571989 WITH SCORE 5.0637967966E7
AT ITER 4344 NEW BEST:: SOT 254601098 SOS 65975994 HAS SOPS 64250914 HAS SOUS 50669772 HAS SOUPS 50569312 WITH SCORE 5.0635287994E7
AT ITER 4366 NEW BEST:: SOT 254599223 SOS 65914119 HAS SOPS 64189039 HAS SOUS 50666022 HAS SOUPS 50565562 WITH SCORE 5.0631476119E7
AT ITER 4375 NEW BEST:: SOT 254598935 SOS 65911858 HAS SOPS 64188679 HAS SOUS 50665446 HAS SOUPS 50564986 WITH SCORE 5.0630897858E7
AT ITER 4382 NEW BEST:: SOT 254598935 SOS 65909886 HAS SOPS 64186707 HAS SOUS 50663461 HAS SOUPS 50563001 WITH SCORE 5.0628910886E7
AT ITER 4420 NEW BEST:: SOT 254598935 SOS 65909141 HAS SOPS 64185962 HAS SOUS 50663461 HAS SOUPS 50563001 WITH SCORE 5.0628910141E7
AT ITER 4424 NEW BEST:: SOT 254597683 SOS 65907857 HAS SOPS 64184678 HAS SOUS 50662177 HAS SOUPS 50561717 WITH SCORE 5.0627624857E7
AT ITER 4440 NEW BEST:: SOT 254597683 SOS 65907005 HAS SOPS 64183826 HAS SOUS 50662177 HAS SOUPS 50561717 WITH SCORE 5.0627624005E7
AT ITER 4441 NEW BEST:: SOT 254597448 SOS 65906738 HAS SOPS 64183559 HAS SOUS 50661910 HAS SOUPS 50561450 WITH SCORE 5.0627356738E7
AT ITER 4469 NEW BEST:: SOT 254595085 SOS 65904412 HAS SOPS 64181233 HAS SOUS 50659864 HAS SOUPS 50559404 WITH SCORE 5.0625308412E7
AT ITER 4506 NEW BEST:: SOT 254593965 SOS 65905243 HAS SOPS 64182064 HAS SOUS 50659575 HAS SOUPS 50559115 WITH SCORE 5.0625020243E7
AT ITER 4521 NEW BEST:: SOT 254593742 SOS 65905020 HAS SOPS 64181841 HAS SOUS 50659352 HAS SOUPS 50558892 WITH SCORE 5.062479702E7
AT ITER 4567 NEW BEST:: SOT 254593742 SOS 65902775 HAS SOPS 64179596 HAS SOUS 50657107 HAS SOUPS 50556647 WITH SCORE 5.0622549775E7
AT ITER 4599 NEW BEST:: SOT 254593742 SOS 65902679 HAS SOPS 64179500 HAS SOUS 50655893 HAS SOUPS 50555433 WITH SCORE 5.0621335679E7
AT ITER 4665 NEW BEST:: SOT 254593168 SOS 65902073 HAS SOPS 64178894 HAS SOUS 50655287 HAS SOUPS 50554827 WITH SCORE 5.0620729073E7
AT ITER 4667 NEW BEST:: SOT 254593168 SOS 65902073 HAS SOPS 64178894 HAS SOUS 50654168 HAS SOUPS 50553708 WITH SCORE 5.0619610073E7
AT ITER 4683 NEW BEST:: SOT 254593168 SOS 65900471 HAS SOPS 64177292 HAS SOUS 50650964 HAS SOUPS 50550504 WITH SCORE 5.0616404471E7
AT ITER 4688 NEW BEST:: SOT 254593168 SOS 65900862 HAS SOPS 64177683 HAS SOUS 50649618 HAS SOUPS 50549158 WITH SCORE 5.0615058862E7
AT ITER 4695 NEW BEST:: SOT 254593168 SOS 65899743 HAS SOPS 64176564 HAS SOUS 50649618 HAS SOUPS 50549158 WITH SCORE 5.0615057743E7
AT ITER 4696 NEW BEST:: SOT 254591432 SOS 65899743 HAS SOPS 64176564 HAS SOUS 50648633 HAS SOUPS 50548173 WITH SCORE 5.0614072743E7
AT ITER 4722 NEW BEST:: SOT 254591432 SOS 65899743 HAS SOPS 64176564 HAS SOUS 50648482 HAS SOUPS 50548022 WITH SCORE 5.0613921743E7
AT ITER 4723 NEW BEST:: SOT 254591134 SOS 65898297 HAS SOPS 64176218 HAS SOUS 50648136 HAS SOUPS 50547676 WITH SCORE 5.0613574297E7
AT ITER 4726 NEW BEST:: SOT 254590842 SOS 65898297 HAS SOPS 64176218 HAS SOUS 50647844 HAS SOUPS 50547384 WITH SCORE 5.0613282297E7
AT ITER 4731 NEW BEST:: SOT 254589627 SOS 65898297 HAS SOPS 64176218 HAS SOUS 50647813 HAS SOUPS 50547353 WITH SCORE 5.0613251297E7
AT ITER 4757 NEW BEST:: SOT 254589627 SOS 65898885 HAS SOPS 64176186 HAS SOUS 50648144 HAS SOUPS 50547321 WITH SCORE 5.0613219885E7
AT ITER 4776 NEW BEST:: SOT 254589280 SOS 65898885 HAS SOPS 64176186 HAS SOUS 50647797 HAS SOUPS 50546974 WITH SCORE 5.0612872885E7
AT ITER 4782 NEW BEST:: SOT 252459990 SOS 97262869 HAS SOPS 95540170 HAS SOUS 48551642 HAS SOUPS 48450819 WITH SCORE 4.8548081869E7
AT ITER 4783 NEW BEST:: SOT 252459990 SOS 97262869 HAS SOPS 95540170 HAS SOUS 48550857 HAS SOUPS 48450034 WITH SCORE 4.8547296869E7
AT ITER 4786 NEW BEST:: SOT 252459149 SOS 97263643 HAS SOPS 95540944 HAS SOUS 48550790 HAS SOUPS 48449967 WITH SCORE 4.8547230643E7
AT ITER 4822 NEW BEST:: SOT 252459149 SOS 97263643 HAS SOPS 95540944 HAS SOUS 48549216 HAS SOUPS 48448393 WITH SCORE 4.8545656643E7
AT ITER 4824 NEW BEST:: SOT 252456497 SOS 97260242 HAS SOPS 95537543 HAS SOUS 48546948 HAS SOUPS 48446125 WITH SCORE 4.8543385242E7
AT ITER 4859 NEW BEST:: SOT 252456465 SOS 97259001 HAS SOPS 95536302 HAS SOUS 48546884 HAS SOUPS 48446061 WITH SCORE 4.8543320001E7
AT ITER 4862 NEW BEST:: SOT 252456467 SOS 97258907 HAS SOPS 95536275 HAS SOUS 48546857 HAS SOUPS 48446034 WITH SCORE 4.8543292907E7
AT ITER 4876 NEW BEST:: SOT 252456273 SOS 97258907 HAS SOPS 95536275 HAS SOUS 48546663 HAS SOUPS 48445840 WITH SCORE 4.8543098907E7
AT ITER 4889 NEW BEST:: SOT 252455109 SOS 97257711 HAS SOPS 95535079 HAS SOUS 48545467 HAS SOUPS 48444644 WITH SCORE 4.8541901711E7
AT ITER 4933 NEW BEST:: SOT 252455417 SOS 97258019 HAS SOPS 95535387 HAS SOUS 48544455 HAS SOUPS 48443632 WITH SCORE 4.8540890019E7
AT ITER 4936 NEW BEST:: SOT 252455417 SOS 97258510 HAS SOPS 95535878 HAS SOUS 48543199 HAS SOUPS 48442376 WITH SCORE 4.853963451E7
AT ITER 4943 NEW BEST:: SOT 252454776 SOS 97257805 HAS SOPS 95535173 HAS SOUS 48542494 HAS SOUPS 48441671 WITH SCORE 4.8538928805E7
AT ITER 4952 NEW BEST:: SOT 252456079 SOS 97259108 HAS SOPS 95536476 HAS SOUS 48541751 HAS SOUPS 48440928 WITH SCORE 4.8538187108E7
AT ITER 4953 NEW BEST:: SOT 252455176 SOS 97257068 HAS SOPS 95534436 HAS SOUS 48539945 HAS SOUPS 48439122 WITH SCORE 4.8536379068E7
AT ITER 4965 NEW BEST:: SOT 252454502 SOS 97256330 HAS SOPS 95533698 HAS SOUS 48539207 HAS SOUPS 48438384 WITH SCORE 4.853564033E7
AT ITER 4997 NEW BEST:: SOT 252451876 SOS 97032845 HAS SOPS 95310213 HAS SOUS 48533955 HAS SOUPS 48433132 WITH SCORE 4.8530164845E7
AT ITER 5007 NEW BEST:: SOT 252452898 SOS 97033867 HAS SOPS 95311235 HAS SOUS 48533575 HAS SOUPS 48432752 WITH SCORE 4.8529785867E7
AT ITER 5034 NEW BEST:: SOT 252452898 SOS 97033611 HAS SOPS 95310979 HAS SOUS 48533575 HAS SOUPS 48432752 WITH SCORE 4.8529785611E7
AT ITER 5055 NEW BEST:: SOT 252393457 SOS 97204913 HAS SOPS 95256183 HAS SOUS 48487423 HAS SOUPS 48381955 WITH SCORE 4.8479159913E7
AT ITER 5065 NEW BEST:: SOT 252391029 SOS 97204932 HAS SOPS 95256202 HAS SOUS 48487200 HAS SOUPS 48381732 WITH SCORE 4.8478936932E7
AT ITER 5067 NEW BEST:: SOT 252388504 SOS 97202407 HAS SOPS 95253677 HAS SOUS 48486827 HAS SOUPS 48381359 WITH SCORE 4.8478561407E7
AT ITER 5093 NEW BEST:: SOT 252385921 SOS 97199824 HAS SOPS 95251094 HAS SOUS 48485245 HAS SOUPS 48379777 WITH SCORE 4.8476976824E7
AT ITER 5094 NEW BEST:: SOT 252382850 SOS 97197714 HAS SOPS 95248984 HAS SOUS 48480066 HAS SOUPS 48374598 WITH SCORE 4.8471795714E7
AT ITER 5097 NEW BEST:: SOT 252383471 SOS 97198335 HAS SOPS 95249605 HAS SOUS 48479520 HAS SOUPS 48374052 WITH SCORE 4.8471250335E7
AT ITER 5114 NEW BEST:: SOT 252383471 SOS 97198335 HAS SOPS 95249605 HAS SOUS 48477952 HAS SOUPS 48372484 WITH SCORE 4.8469682335E7
AT ITER 5122 NEW BEST:: SOT 252383471 SOS 97197740 HAS SOPS 95249010 HAS SOUS 48476553 HAS SOUPS 48371085 WITH SCORE 4.846828274E7
AT ITER 5129 NEW BEST:: SOT 252383471 SOS 97196199 HAS SOPS 95247469 HAS SOUS 48476553 HAS SOUPS 48371085 WITH SCORE 4.8468281199E7
AT ITER 5148 NEW BEST:: SOT 252383471 SOS 97194850 HAS SOPS 95246120 HAS SOUS 48472384 HAS SOUPS 48366916 WITH SCORE 4.846411085E7
AT ITER 5154 NEW BEST:: SOT 252381532 SOS 97192932 HAS SOPS 95244202 HAS SOUS 48471564 HAS SOUPS 48366096 WITH SCORE 4.8463288932E7
AT ITER 5159 NEW BEST:: SOT 252386046 SOS 97197587 HAS SOPS 95211711 HAS SOUS 48439922 HAS SOUPS 48334117 WITH SCORE 4.8431314587E7
AT ITER 5175 NEW BEST:: SOT 252386528 SOS 97198069 HAS SOPS 95212193 HAS SOUS 48439518 HAS SOUPS 48333713 WITH SCORE 4.8430911069E7
AT ITER 5181 NEW BEST:: SOT 252387844 SOS 97199385 HAS SOPS 95213509 HAS SOUS 48439102 HAS SOUPS 48333297 WITH SCORE 4.8430496385E7
AT ITER 5200 NEW BEST:: SOT 252388009 SOS 97199550 HAS SOPS 95213674 HAS SOUS 48436457 HAS SOUPS 48330652 WITH SCORE 4.842785155E7
AT ITER 5213 NEW BEST:: SOT 252387183 SOS 97198660 HAS SOPS 95212784 HAS SOUS 48435567 HAS SOUPS 48329762 WITH SCORE 4.842696066E7
AT ITER 5215 NEW BEST:: SOT 252385181 SOS 97196658 HAS SOPS 95210782 HAS SOUS 48433886 HAS SOUPS 48328081 WITH SCORE 4.8425277658E7
AT ITER 5218 NEW BEST:: SOT 252385137 SOS 97196570 HAS SOPS 95210694 HAS SOUS 48433842 HAS SOUPS 48328037 WITH SCORE 4.842523357E7
AT ITER 5240 NEW BEST:: SOT 252384271 SOS 97197250 HAS SOPS 95211374 HAS SOUS 48433656 HAS SOUPS 48327851 WITH SCORE 4.842504825E7
AT ITER 5270 NEW BEST:: SOT 252384271 SOS 97196443 HAS SOPS 95210567 HAS SOUS 48433656 HAS SOUPS 48327851 WITH SCORE 4.8425047443E7
AT ITER 5277 NEW BEST:: SOT 252384059 SOS 97196443 HAS SOPS 95210567 HAS SOUS 48433444 HAS SOUPS 48327639 WITH SCORE 4.8424835443E7
AT ITER 5282 NEW BEST:: SOT 252384059 SOS 97196443 HAS SOPS 95210567 HAS SOUS 48433442 HAS SOUPS 48327637 WITH SCORE 4.8424833443E7
AT ITER 5293 NEW BEST:: SOT 252382941 SOS 97196443 HAS SOPS 95210567 HAS SOUS 48432324 HAS SOUPS 48326519 WITH SCORE 4.8423715443E7
AT ITER 5299 NEW BEST:: SOT 252382941 SOS 97195957 HAS SOPS 95210081 HAS SOUS 48432324 HAS SOUPS 48326519 WITH SCORE 4.8423714957E7
AT ITER 5304 NEW BEST:: SOT 252380251 SOS 97193496 HAS SOPS 95207620 HAS SOUS 48428603 HAS SOUPS 48322798 WITH SCORE 4.8419991496E7
AT ITER 5362 NEW BEST:: SOT 252380251 SOS 97192497 HAS SOPS 95206621 HAS SOUS 48426224 HAS SOUPS 48320419 WITH SCORE 4.8417611497E7
AT ITER 5372 NEW BEST:: SOT 252378301 SOS 97189237 HAS SOPS 95203361 HAS SOUS 48422335 HAS SOUPS 48316530 WITH SCORE 4.8413719237E7
AT ITER 5422 NEW BEST:: SOT 252376128 SOS 97188902 HAS SOPS 95203026 HAS SOUS 48422097 HAS SOUPS 48316292 WITH SCORE 4.8413480902E7
AT ITER 5451 NEW BEST:: SOT 252372823 SOS 97185622 HAS SOPS 95199746 HAS SOUS 48418792 HAS SOUPS 48312987 WITH SCORE 4.8410172622E7
AT ITER 5470 NEW BEST:: SOT 252372619 SOS 97185418 HAS SOPS 95199542 HAS SOUS 48418588 HAS SOUPS 48312783 WITH SCORE 4.8409968418E7
AT ITER 5471 NEW BEST:: SOT 252372931 SOS 97185730 HAS SOPS 95199854 HAS SOUS 48417671 HAS SOUPS 48311866 WITH SCORE 4.840905173E7
AT ITER 5476 NEW BEST:: SOT 252372370 SOS 97185730 HAS SOPS 95199854 HAS SOUS 48417110 HAS SOUPS 48311305 WITH SCORE 4.840849073E7
AT ITER 5496 NEW BEST:: SOT 252369428 SOS 97184681 HAS SOPS 95198805 HAS SOUS 48413180 HAS SOUPS 48307375 WITH SCORE 4.8404559681E7
AT ITER 5501 NEW BEST:: SOT 252368335 SOS 97183588 HAS SOPS 95197712 HAS SOUS 48413179 HAS SOUPS 48307374 WITH SCORE 4.8404557588E7
AT ITER 5505 NEW BEST:: SOT 252366890 SOS 97182111 HAS SOPS 95196235 HAS SOUS 48411702 HAS SOUPS 48305897 WITH SCORE 4.8403079111E7
AT ITER 5538 NEW BEST:: SOT 252367237 SOS 97182458 HAS SOPS 95196582 HAS SOUS 48410958 HAS SOUPS 48305153 WITH SCORE 4.8402335458E7
AT ITER 5551 NEW BEST:: SOT 252367237 SOS 97183335 HAS SOPS 95197459 HAS SOUS 48410150 HAS SOUPS 48304345 WITH SCORE 4.8401528335E7
AT ITER 5585 NEW BEST:: SOT 252367424 SOS 97183522 HAS SOPS 95197646 HAS SOUS 48409422 HAS SOUPS 48303617 WITH SCORE 4.8400800522E7
AT ITER 5594 NEW BEST:: SOT 252367103 SOS 97183201 HAS SOPS 95197325 HAS SOUS 48409101 HAS SOUPS 48303296 WITH SCORE 4.8400479201E7
AT ITER 5624 NEW BEST:: SOT 252366116 SOS 97184156 HAS SOPS 95198280 HAS SOUS 48409069 HAS SOUPS 48303264 WITH SCORE 4.8400448156E7
AT ITER 5634 NEW BEST:: SOT 252366116 SOS 97184156 HAS SOPS 95198280 HAS SOUS 48407837 HAS SOUPS 48302032 WITH SCORE 4.8399216156E7
AT ITER 5638 NEW BEST:: SOT 252366084 SOS 97184124 HAS SOPS 95198248 HAS SOUS 48407795 HAS SOUPS 48301990 WITH SCORE 4.8399174124E7
AT ITER 5679 NEW BEST:: SOT 252364018 SOS 97183153 HAS SOPS 95197277 HAS SOUS 48404752 HAS SOUPS 48298947 WITH SCORE 4.8396130153E7
AT ITER 5687 NEW BEST:: SOT 252361734 SOS 97180837 HAS SOPS 95194961 HAS SOUS 48402436 HAS SOUPS 48296631 WITH SCORE 4.8393811837E7
AT ITER 5704 NEW BEST:: SOT 252359620 SOS 97178691 HAS SOPS 95192815 HAS SOUS 48400290 HAS SOUPS 48294485 WITH SCORE 4.8391663691E7
AT ITER 5715 NEW BEST:: SOT 252359192 SOS 97178231 HAS SOPS 95192355 HAS SOUS 48399830 HAS SOUPS 48294025 WITH SCORE 4.8391203231E7
AT ITER 5723 NEW BEST:: SOT 252359192 SOS 97177976 HAS SOPS 95192100 HAS SOUS 48399830 HAS SOUPS 48294025 WITH SCORE 4.8391202976E7
AT ITER 5734 NEW BEST:: SOT 252357799 SOS 97176551 HAS SOPS 95190675 HAS SOUS 48398405 HAS SOUPS 48292600 WITH SCORE 4.8389776551E7
AT ITER 5759 NEW BEST:: SOT 252357346 SOS 97176066 HAS SOPS 95190190 HAS SOUS 48397920 HAS SOUPS 48292115 WITH SCORE 4.8389291066E7
AT ITER 5770 NEW BEST:: SOT 252306689 SOS 97656244 HAS SOPS 95148784 HAS SOUS 48378085 HAS SOUPS 48263029 WITH SCORE 4.8360685244E7
AT ITER 5782 NEW BEST:: SOT 252303335 SOS 97652890 HAS SOPS 95145430 HAS SOUS 48374731 HAS SOUPS 48259675 WITH SCORE 4.835732789E7
AT ITER 5792 NEW BEST:: SOT 252253177 SOS 97812285 HAS SOPS 95304825 HAS SOUS 48337500 HAS SOUPS 48222444 WITH SCORE 4.8320256285E7
AT ITER 5799 NEW BEST:: SOT 252253177 SOS 97812285 HAS SOPS 95304825 HAS SOUS 48336718 HAS SOUPS 48221662 WITH SCORE 4.8319474285E7
AT ITER 5803 NEW BEST:: SOT 252250672 SOS 97809780 HAS SOPS 95302320 HAS SOUS 48335600 HAS SOUPS 48220544 WITH SCORE 4.831835378E7
AT ITER 5825 NEW BEST:: SOT 252250640 SOS 97809748 HAS SOPS 95302288 HAS SOUS 48335536 HAS SOUPS 48220480 WITH SCORE 4.8318289748E7
AT ITER 5827 NEW BEST:: SOT 252250640 SOS 97809748 HAS SOPS 95302288 HAS SOUS 48333823 HAS SOUPS 48218767 WITH SCORE 4.8316576748E7
AT ITER 5846 NEW BEST:: SOT 252250640 SOS 97806389 HAS SOPS 95298929 HAS SOUS 48330464 HAS SOUPS 48215408 WITH SCORE 4.8313214389E7
AT ITER 5850 NEW BEST:: SOT 252248610 SOS 97804364 HAS SOPS 95296904 HAS SOUS 48328439 HAS SOUPS 48213383 WITH SCORE 4.8311187364E7
AT ITER 5853 NEW BEST:: SOT 252248061 SOS 97804364 HAS SOPS 95296904 HAS SOUS 48327890 HAS SOUPS 48212834 WITH SCORE 4.8310638364E7
AT ITER 5867 NEW BEST:: SOT 252246903 SOS 97803174 HAS SOPS 95295714 HAS SOUS 48326700 HAS SOUPS 48211644 WITH SCORE 4.8309447174E7
AT ITER 5879 NEW BEST:: SOT 252246903 SOS 97803142 HAS SOPS 95295682 HAS SOUS 48326668 HAS SOUPS 48211612 WITH SCORE 4.8309415142E7
AT ITER 5885 NEW BEST:: SOT 252246903 SOS 97803532 HAS SOPS 95296072 HAS SOUS 48324503 HAS SOUPS 48209447 WITH SCORE 4.8307250532E7
AT ITER 5898 NEW BEST:: SOT 252160286 SOS 97717956 HAS SOPS 95210496 HAS SOUS 48237902 HAS SOUPS 48122846 WITH SCORE 4.8220563956E7
AT ITER 5932 NEW BEST:: SOT 252160286 SOS 97717106 HAS SOPS 95209646 HAS SOUS 48236628 HAS SOUPS 48121572 WITH SCORE 4.8219289106E7
AT ITER 5968 NEW BEST:: SOT 252159446 SOS 97716234 HAS SOPS 95208774 HAS SOUS 48235756 HAS SOUPS 48120700 WITH SCORE 4.8218416234E7
AT ITER 5972 NEW BEST:: SOT 252159446 SOS 97714923 HAS SOPS 95207463 HAS SOUS 48234445 HAS SOUPS 48119389 WITH SCORE 4.8217103923E7
AT ITER 5980 NEW BEST:: SOT 252159265 SOS 97714742 HAS SOPS 95207282 HAS SOUS 48234083 HAS SOUPS 48119027 WITH SCORE 4.8216741742E7
AT ITER 5981 NEW BEST:: SOT 252159225 SOS 97714682 HAS SOPS 95207222 HAS SOUS 48234003 HAS SOUPS 48118947 WITH SCORE 4.8216661682E7
AT ITER 5992 NEW BEST:: SOT 252159225 SOS 97714349 HAS SOPS 95206889 HAS SOUS 48233670 HAS SOUPS 48118614 WITH SCORE 4.8216328349E7
AT ITER 5994 NEW BEST:: SOT 252159225 SOS 97714349 HAS SOPS 95206889 HAS SOUS 48232950 HAS SOUPS 48117894 WITH SCORE 4.8215608349E7
AT ITER 6002 NEW BEST:: SOT 252157124 SOS 97713560 HAS SOPS 95206100 HAS SOUS 48230031 HAS SOUPS 48114975 WITH SCORE 4.821268856E7
AT ITER 6028 NEW BEST:: SOT 252155451 SOS 97711898 HAS SOPS 95204438 HAS SOUS 48228819 HAS SOUPS 48113763 WITH SCORE 4.8211474898E7
AT ITER 6050 NEW BEST:: SOT 252155451 SOS 97711898 HAS SOPS 95204438 HAS SOUS 48227563 HAS SOUPS 48112507 WITH SCORE 4.8210218898E7
AT ITER 6060 NEW BEST:: SOT 252155451 SOS 97710653 HAS SOPS 95203193 HAS SOUS 48226155 HAS SOUPS 48111099 WITH SCORE 4.8208809653E7
AT ITER 6096 NEW BEST:: SOT 252156597 SOS 97711799 HAS SOPS 95204339 HAS SOUS 48225853 HAS SOUPS 48110797 WITH SCORE 4.8208508799E7
AT ITER 6106 NEW BEST:: SOT 252155733 SOS 97710935 HAS SOPS 95203475 HAS SOUS 48224989 HAS SOUPS 48109933 WITH SCORE 4.8207643935E7
AT ITER 6120 NEW BEST:: SOT 252154130 SOS 97709355 HAS SOPS 95201895 HAS SOUS 48224828 HAS SOUPS 48109772 WITH SCORE 4.8207481355E7
AT ITER 6174 NEW BEST:: SOT 252154130 SOS 97708957 HAS SOPS 95201497 HAS SOUS 48224828 HAS SOUPS 48109772 WITH SCORE 4.8207480957E7
AT ITER 6176 NEW BEST:: SOT 252152280 SOS 97707107 HAS SOPS 95199647 HAS SOUS 48224558 HAS SOUPS 48109502 WITH SCORE 4.8207209107E7
AT ITER 6201 NEW BEST:: SOT 252153910 SOS 97708737 HAS SOPS 95201277 HAS SOUS 48224248 HAS SOUPS 48109192 WITH SCORE 4.8206900737E7
AT ITER 6207 NEW BEST:: SOT 252153567 SOS 97708737 HAS SOPS 95201277 HAS SOUS 48224244 HAS SOUPS 48109188 WITH SCORE 4.8206896737E7
AT ITER 6224 NEW BEST:: SOT 252153567 SOS 97708737 HAS SOPS 95201277 HAS SOUS 48222832 HAS SOUPS 48107776 WITH SCORE 4.8205484737E7
AT ITER 6230 NEW BEST:: SOT 252152841 SOS 97708011 HAS SOPS 95200551 HAS SOUS 48222602 HAS SOUPS 48107546 WITH SCORE 4.8205254011E7
AT ITER 6239 NEW BEST:: SOT 252152841 SOS 97706471 HAS SOPS 95199011 HAS SOUS 48222602 HAS SOUPS 48107546 WITH SCORE 4.8205252471E7
AT ITER 6301 NEW BEST:: SOT 252151801 SOS 97705431 HAS SOPS 95197971 HAS SOUS 48221562 HAS SOUPS 48106506 WITH SCORE 4.8204211431E7
AT ITER 6308 NEW BEST:: SOT 252149938 SOS 97705018 HAS SOPS 95197558 HAS SOUS 48219460 HAS SOUPS 48104404 WITH SCORE 4.8202109018E7
AT ITER 6339 NEW BEST:: SOT 252147494 SOS 97702542 HAS SOPS 95195082 HAS SOUS 48216984 HAS SOUPS 48101928 WITH SCORE 4.8199630542E7
AT ITER 6348 NEW BEST:: SOT 252147494 SOS 97703089 HAS SOPS 95195629 HAS SOUS 48215324 HAS SOUPS 48100268 WITH SCORE 4.8197971089E7
AT ITER 6353 NEW BEST:: SOT 252147494 SOS 97705209 HAS SOPS 95197749 HAS SOUS 48214704 HAS SOUPS 48099648 WITH SCORE 4.8197353209E7
AT ITER 6368 NEW BEST:: SOT 252146902 SOS 97704617 HAS SOPS 95197157 HAS SOUS 48213520 HAS SOUPS 48098464 WITH SCORE 4.8196168617E7
AT ITER 6369 NEW BEST:: SOT 252146902 SOS 97703911 HAS SOPS 95196451 HAS SOUS 48213520 HAS SOUPS 48098464 WITH SCORE 4.8196167911E7
AT ITER 6386 NEW BEST:: SOT 252146902 SOS 97702704 HAS SOPS 95195244 HAS SOUS 48213520 HAS SOUPS 48098464 WITH SCORE 4.8196166704E7
AT ITER 6390 NEW BEST:: SOT 252145992 SOS 97702704 HAS SOPS 95195244 HAS SOUS 48212610 HAS SOUPS 48097554 WITH SCORE 4.8195256704E7
AT ITER 6413 NEW BEST:: SOT 252145190 SOS 97701902 HAS SOPS 95194442 HAS SOUS 48211808 HAS SOUPS 48096752 WITH SCORE 4.8194453902E7
AT ITER 6429 NEW BEST:: SOT 252145190 SOS 97701902 HAS SOPS 95194442 HAS SOUS 48209586 HAS SOUPS 48094530 WITH SCORE 4.8192231902E7
AT ITER 6463 NEW BEST:: SOT 252145190 SOS 97701745 HAS SOPS 95194285 HAS SOUS 48209429 HAS SOUPS 48094373 WITH SCORE 4.8192074745E7
AT ITER 6467 NEW BEST:: SOT 252145190 SOS 97701745 HAS SOPS 95194285 HAS SOUS 48207925 HAS SOUPS 48092869 WITH SCORE 4.8190570745E7
AT ITER 6516 NEW BEST:: SOT 252103563 SOS 97761328 HAS SOPS 95152619 HAS SOUS 48194904 HAS SOUPS 48077160 WITH SCORE 4.8174921328E7
AT ITER 6518 NEW BEST:: SOT 252101297 SOS 97686355 HAS SOPS 95077646 HAS SOUS 48190372 HAS SOUPS 48072628 WITH SCORE 4.8170314355E7
AT ITER 6528 NEW BEST:: SOT 252101135 SOS 97686097 HAS SOPS 95077450 HAS SOUS 48190176 HAS SOUPS 48072432 WITH SCORE 4.8170118097E7
AT ITER 6529 NEW BEST:: SOT 252101135 SOS 97684539 HAS SOPS 95075892 HAS SOUS 48188618 HAS SOUPS 48070874 WITH SCORE 4.8168558539E7
AT ITER 6530 NEW BEST:: SOT 252098350 SOS 97555062 HAS SOPS 94946415 HAS SOUS 48184488 HAS SOUPS 48066744 WITH SCORE 4.8164299062E7
AT ITER 6575 NEW BEST:: SOT 252098350 SOS 97547062 HAS SOPS 94938415 HAS SOUS 48184456 HAS SOUPS 48066712 WITH SCORE 4.8164259062E7
AT ITER 6606 NEW BEST:: SOT 252096898 SOS 97502003 HAS SOPS 94893356 HAS SOUS 48182972 HAS SOUPS 48065228 WITH SCORE 4.8162730003E7
AT ITER 6609 NEW BEST:: SOT 252096898 SOS 97500423 HAS SOPS 94891776 HAS SOUS 48181392 HAS SOUPS 48063648 WITH SCORE 4.8161148423E7
AT ITER 6610 NEW BEST:: SOT 252096898 SOS 97500391 HAS SOPS 94891744 HAS SOUS 48181360 HAS SOUPS 48063616 WITH SCORE 4.8161116391E7
AT ITER 6614 NEW BEST:: SOT 252096898 SOS 97498336 HAS SOPS 94889689 HAS SOUS 48176499 HAS SOUPS 48058755 WITH SCORE 4.8156253336E7
AT ITER 6629 NEW BEST:: SOT 252094584 SOS 97497919 HAS SOPS 94889272 HAS SOUS 48175856 HAS SOUPS 48058112 WITH SCORE 4.8155609919E7
AT ITER 6631 NEW BEST:: SOT 252093778 SOS 97497359 HAS SOPS 94888712 HAS SOUS 48175050 HAS SOUPS 48057306 WITH SCORE 4.8154803359E7
AT ITER 6637 NEW BEST:: SOT 252092538 SOS 97497359 HAS SOPS 94888712 HAS SOUS 48173810 HAS SOUPS 48056066 WITH SCORE 4.8153563359E7
AT ITER 6655 NEW BEST:: SOT 252089816 SOS 97494643 HAS SOPS 94885996 HAS SOUS 48171088 HAS SOUPS 48053344 WITH SCORE 4.8150838643E7
AT ITER 6688 NEW BEST:: SOT 252088853 SOS 97493680 HAS SOPS 94884070 HAS SOUS 48170123 HAS SOUPS 48051418 WITH SCORE 4.814891168E7
AT ITER 6702 NEW BEST:: SOT 252088853 SOS 97493077 HAS SOPS 94883467 HAS SOUS 48170123 HAS SOUPS 48051418 WITH SCORE 4.8148911077E7
AT ITER 6707 NEW BEST:: SOT 252088705 SOS 97493077 HAS SOPS 94883467 HAS SOUS 48170113 HAS SOUPS 48051408 WITH SCORE 4.8148901077E7
AT ITER 6718 NEW BEST:: SOT 252085414 SOS 97492919 HAS SOPS 94883309 HAS SOUS 48166822 HAS SOUPS 48048117 WITH SCORE 4.8145609919E7
AT ITER 6733 NEW BEST:: SOT 252085117 SOS 97492919 HAS SOPS 94883309 HAS SOUS 48166525 HAS SOUPS 48047820 WITH SCORE 4.8145312919E7
AT ITER 6734 NEW BEST:: SOT 252085117 SOS 97494499 HAS SOPS 94884889 HAS SOUS 48165341 HAS SOUPS 48046636 WITH SCORE 4.8144130499E7
AT ITER 6755 NEW BEST:: SOT 252085071 SOS 97494374 HAS SOPS 94884764 HAS SOUS 48165263 HAS SOUPS 48046558 WITH SCORE 4.8144052374E7
AT ITER 6759 NEW BEST:: SOT 252084069 SOS 97493340 HAS SOPS 94883730 HAS SOUS 48164229 HAS SOUPS 48045524 WITH SCORE 4.814301734E7
AT ITER 6771 NEW BEST:: SOT 252084069 SOS 97419983 HAS SOPS 94810373 HAS SOUS 48164197 HAS SOUPS 48045492 WITH SCORE 4.8142911983E7
AT ITER 6773 NEW BEST:: SOT 252084132 SOS 97420046 HAS SOPS 94810436 HAS SOUS 48161614 HAS SOUPS 48042909 WITH SCORE 4.8140329046E7
AT ITER 6797 NEW BEST:: SOT 252084266 SOS 97420180 HAS SOPS 94810570 HAS SOUS 48161150 HAS SOUPS 48042445 WITH SCORE 4.813986518E7
AT ITER 6802 NEW BEST:: SOT 252084234 SOS 97419129 HAS SOPS 94809519 HAS SOUS 48161086 HAS SOUPS 48042381 WITH SCORE 4.8139800129E7
AT ITER 6804 NEW BEST:: SOT 252084234 SOS 97420548 HAS SOPS 94810938 HAS SOUS 48160993 HAS SOUPS 48042288 WITH SCORE 4.8139708548E7
AT ITER 6821 NEW BEST:: SOT 252084202 SOS 97421487 HAS SOPS 94809672 HAS SOUS 48162511 HAS SOUPS 48042224 WITH SCORE 4.8139645487E7
AT ITER 6824 NEW BEST:: SOT 252082810 SOS 97420102 HAS SOPS 94808287 HAS SOUS 48161119 HAS SOUPS 48040832 WITH SCORE 4.8138252102E7
AT ITER 6898 NEW BEST:: SOT 252081383 SOS 97420102 HAS SOPS 94808287 HAS SOUS 48159692 HAS SOUPS 48039405 WITH SCORE 4.8136825102E7
AT ITER 6905 NEW BEST:: SOT 252081383 SOS 97420102 HAS SOPS 94808287 HAS SOUS 48158381 HAS SOUPS 48038094 WITH SCORE 4.8135514102E7
AT ITER 6926 NEW BEST:: SOT 252078483 SOS 97417232 HAS SOPS 94805417 HAS SOUS 48156556 HAS SOUPS 48036269 WITH SCORE 4.8133686232E7
AT ITER 6928 NEW BEST:: SOT 252041265 SOS 97416034 HAS SOPS 94804219 HAS SOUS 48123011 HAS SOUPS 48002724 WITH SCORE 4.8100140034E7
AT ITER 6947 NEW BEST:: SOT 252038789 SOS 97416034 HAS SOPS 94804219 HAS SOUS 48121006 HAS SOUPS 48000719 WITH SCORE 4.8098135034E7
AT ITER 6953 NEW BEST:: SOT 252036515 SOS 97413760 HAS SOPS 94801945 HAS SOUS 48116810 HAS SOUPS 47996523 WITH SCORE 4.809393676E7
AT ITER 6982 NEW BEST:: SOT 252036071 SOS 97411429 HAS SOPS 94799614 HAS SOUS 48116593 HAS SOUPS 47996306 WITH SCORE 4.8093717429E7
AT ITER 6996 NEW BEST:: SOT 252036071 SOS 97411429 HAS SOPS 94799614 HAS SOUS 48115483 HAS SOUPS 47995196 WITH SCORE 4.8092607429E7
AT ITER 6998 NEW BEST:: SOT 252036071 SOS 97410888 HAS SOPS 94799073 HAS SOUS 48114942 HAS SOUPS 47994655 WITH SCORE 4.8092065888E7
AT ITER 7008 NEW BEST:: SOT 252036071 SOS 97409506 HAS SOPS 94797691 HAS SOUS 48111744 HAS SOUPS 47991457 WITH SCORE 4.8088866506E7
AT ITER 7017 NEW BEST:: SOT 252036706 SOS 97410141 HAS SOPS 94798326 HAS SOUS 48111382 HAS SOUPS 47991095 WITH SCORE 4.8088505141E7
AT ITER 7027 NEW BEST:: SOT 252036706 SOS 97409186 HAS SOPS 94797371 HAS SOUS 48111382 HAS SOUPS 47991095 WITH SCORE 4.8088504186E7
AT ITER 7045 NEW BEST:: SOT 252037557 SOS 97410037 HAS SOPS 94798222 HAS SOUS 48110351 HAS SOUPS 47990064 WITH SCORE 4.8087474037E7
AT ITER 7052 NEW BEST:: SOT 252037557 SOS 97407965 HAS SOPS 94796150 HAS SOUS 48106016 HAS SOUPS 47985729 WITH SCORE 4.8083136965E7
AT ITER 7123 NEW BEST:: SOT 252034691 SOS 97405128 HAS SOPS 94793313 HAS SOUS 48105115 HAS SOUPS 47984828 WITH SCORE 4.8082233128E7
AT ITER 7126 NEW BEST:: SOT 252034579 SOS 97404952 HAS SOPS 94793137 HAS SOUS 48104939 HAS SOUPS 47984652 WITH SCORE 4.8082056952E7
AT ITER 7135 NEW BEST:: SOT 252034579 SOS 97404255 HAS SOPS 94792440 HAS SOUS 48102594 HAS SOUPS 47982307 WITH SCORE 4.8079711255E7
AT ITER 7174 NEW BEST:: SOT 252034579 SOS 97364705 HAS SOPS 94752890 HAS SOUS 48099084 HAS SOUPS 47978797 WITH SCORE 4.8076161705E7
AT ITER 7180 NEW BEST:: SOT 252033262 SOS 97322537 HAS SOPS 94710722 HAS SOUS 48096450 HAS SOUPS 47976163 WITH SCORE 4.8073485537E7
AT ITER 7192 NEW BEST:: SOT 252033262 SOS 97321231 HAS SOPS 94709416 HAS SOUS 48096450 HAS SOUPS 47976163 WITH SCORE 4.8073484231E7
AT ITER 7207 NEW BEST:: SOT 252033028 SOS 97319513 HAS SOPS 94707698 HAS SOUS 48094505 HAS SOUPS 47974218 WITH SCORE 4.8071537513E7
AT ITER 7214 NEW BEST:: SOT 252033028 SOS 97318036 HAS SOPS 94706221 HAS SOUS 48094505 HAS SOUPS 47974218 WITH SCORE 4.8071536036E7
AT ITER 7225 NEW BEST:: SOT 252033847 SOS 97318855 HAS SOPS 94707040 HAS SOUS 48094421 HAS SOUPS 47974134 WITH SCORE 4.8071452855E7
AT ITER 7227 NEW BEST:: SOT 252031614 SOS 97316643 HAS SOPS 94704828 HAS SOUS 48093509 HAS SOUPS 47973222 WITH SCORE 4.8070538643E7
AT ITER 7231 NEW BEST:: SOT 252031268 SOS 97316307 HAS SOPS 94704492 HAS SOUS 48092693 HAS SOUPS 47972406 WITH SCORE 4.8069722307E7
AT ITER 7250 NEW BEST:: SOT 252031268 SOS 97316307 HAS SOPS 94704492 HAS SOUS 48092346 HAS SOUPS 47972059 WITH SCORE 4.8069375307E7
AT ITER 7254 NEW BEST:: SOT 252031218 SOS 97316257 HAS SOPS 94704442 HAS SOUS 48092276 HAS SOUPS 47971989 WITH SCORE 4.8069305257E7
AT ITER 7264 NEW BEST:: SOT 252029443 SOS 97316352 HAS SOPS 94704537 HAS SOUS 48090596 HAS SOUPS 47970309 WITH SCORE 4.8067625352E7
AT ITER 7269 NEW BEST:: SOT 252029443 SOS 97316352 HAS SOPS 94704537 HAS SOUS 48089601 HAS SOUPS 47969314 WITH SCORE 4.8066630352E7
AT ITER 7274 NEW BEST:: SOT 252029103 SOS 97316012 HAS SOPS 94704197 HAS SOUS 48088834 HAS SOUPS 47968547 WITH SCORE 4.8065863012E7
AT ITER 7280 NEW BEST:: SOT 252026332 SOS 97313682 HAS SOPS 94701867 HAS SOUS 48087633 HAS SOUPS 47967346 WITH SCORE 4.8064659682E7
AT ITER 7289 NEW BEST:: SOT 252027001 SOS 97313650 HAS SOPS 94701835 HAS SOUS 48087272 HAS SOUPS 47966985 WITH SCORE 4.806429865E7
AT ITER 7301 NEW BEST:: SOT 252027001 SOS 97313650 HAS SOPS 94701835 HAS SOUS 48085445 HAS SOUPS 47965158 WITH SCORE 4.806247165E7
AT ITER 7313 NEW BEST:: SOT 252027001 SOS 97313650 HAS SOPS 94701835 HAS SOUS 48083889 HAS SOUPS 47963602 WITH SCORE 4.806091565E7
AT ITER 7318 NEW BEST:: SOT 252024762 SOS 97313666 HAS SOPS 94701851 HAS SOUS 48082302 HAS SOUPS 47962015 WITH SCORE 4.8059328666E7
AT ITER 7342 NEW BEST:: SOT 252024762 SOS 97314698 HAS SOPS 94702883 HAS SOUS 48081730 HAS SOUPS 47961443 WITH SCORE 4.8058757698E7
AT ITER 7347 NEW BEST:: SOT 251997220 SOS 97288073 HAS SOPS 94676258 HAS SOUS 48055089 HAS SOUPS 47934802 WITH SCORE 4.8032090073E7
AT ITER 7352 NEW BEST:: SOT 251996181 SOS 97287037 HAS SOPS 94675222 HAS SOUS 48054050 HAS SOUPS 47933763 WITH SCORE 4.8031050037E7
AT ITER 7355 NEW BEST:: SOT 251968886 SOS 97364620 HAS SOPS 94752805 HAS SOUS 48033146 HAS SOUPS 47912859 WITH SCORE 4.801022362E7
AT ITER 7358 NEW BEST:: SOT 251968886 SOS 97364362 HAS SOPS 94752547 HAS SOUS 48033146 HAS SOUPS 47912859 WITH SCORE 4.8010223362E7
AT ITER 7367 NEW BEST:: SOT 252041760 SOS 97437384 HAS SOPS 94749744 HAS SOUS 48042265 HAS SOUPS 47912414 WITH SCORE 4.8009851384E7
AT ITER 7412 NEW BEST:: SOT 252041760 SOS 97437384 HAS SOPS 94749744 HAS SOUS 48041251 HAS SOUPS 47911400 WITH SCORE 4.8008837384E7
AT ITER 7422 NEW BEST:: SOT 252019349 SOS 97414987 HAS SOPS 94727347 HAS SOUS 48018840 HAS SOUPS 47888989 WITH SCORE 4.7986403987E7
AT ITER 7425 NEW BEST:: SOT 251977995 SOS 97417655 HAS SOPS 94687327 HAS SOUS 47978874 HAS SOUPS 47847689 WITH SCORE 4.7945106655E7
AT ITER 7442 NEW BEST:: SOT 251975722 SOS 97415410 HAS SOPS 94685082 HAS SOUS 47977657 HAS SOUPS 47846472 WITH SCORE 4.794388741E7
AT ITER 7443 NEW BEST:: SOT 251974114 SOS 97413804 HAS SOPS 94683476 HAS SOUS 47976049 HAS SOUPS 47844864 WITH SCORE 4.7942277804E7
AT ITER 7446 NEW BEST:: SOT 251963503 SOS 97459265 HAS SOPS 94728937 HAS SOUS 47969452 HAS SOUPS 47838267 WITH SCORE 4.7935726265E7
AT ITER 7457 NEW BEST:: SOT 251929590 SOS 97492328 HAS SOPS 94695024 HAS SOUS 47966509 HAS SOUPS 47833231 WITH SCORE 4.7930723328E7
AT ITER 7460 NEW BEST:: SOT 251928642 SOS 97461044 HAS SOPS 94663740 HAS SOUS 47964613 HAS SOUPS 47831335 WITH SCORE 4.7928796044E7
AT ITER 7466 NEW BEST:: SOT 251927213 SOS 97461044 HAS SOPS 94663740 HAS SOUS 47963502 HAS SOUPS 47830224 WITH SCORE 4.7927685044E7
AT ITER 7480 NEW BEST:: SOT 251927213 SOS 97459006 HAS SOPS 94661702 HAS SOUS 47959364 HAS SOUPS 47826086 WITH SCORE 4.7923545006E7
AT ITER 7491 NEW BEST:: SOT 251928264 SOS 97460057 HAS SOPS 94662753 HAS SOUS 47958953 HAS SOUPS 47825675 WITH SCORE 4.7923135057E7
AT ITER 7505 NEW BEST:: SOT 251925731 SOS 97457801 HAS SOPS 94660497 HAS SOUS 47954160 HAS SOUPS 47820882 WITH SCORE 4.7918339801E7
AT ITER 7538 NEW BEST:: SOT 251926519 SOS 97458589 HAS SOPS 94661285 HAS SOUS 47953882 HAS SOUPS 47820604 WITH SCORE 4.7918062589E7
AT ITER 7558 NEW BEST:: SOT 251926519 SOS 97458589 HAS SOPS 94661285 HAS SOUS 47953208 HAS SOUPS 47819930 WITH SCORE 4.7917388589E7
AT ITER 7560 NEW BEST:: SOT 251926483 SOS 97458589 HAS SOPS 94661285 HAS SOUS 47953172 HAS SOUPS 47819894 WITH SCORE 4.7917352589E7
AT ITER 7563 NEW BEST:: SOT 251926483 SOS 97457344 HAS SOPS 94660040 HAS SOUS 47950925 HAS SOUPS 47817647 WITH SCORE 4.7915104344E7
AT ITER 7565 NEW BEST:: SOT 251872265 SOS 97771610 HAS SOPS 94611154 HAS SOUS 47912746 HAS SOUPS 47772696 WITH SCORE 4.787046761E7
AT ITER 7574 NEW BEST:: SOT 251871788 SOS 97771610 HAS SOPS 94611154 HAS SOUS 47912269 HAS SOUPS 47772219 WITH SCORE 4.786999061E7
AT ITER 7577 NEW BEST:: SOT 251870974 SOS 97770249 HAS SOPS 94610260 HAS SOUS 47911307 HAS SOUPS 47771257 WITH SCORE 4.7869027249E7
AT ITER 7582 NEW BEST:: SOT 251869601 SOS 97768883 HAS SOPS 94608894 HAS SOUS 47909934 HAS SOUPS 47769884 WITH SCORE 4.7867652883E7
AT ITER 7595 NEW BEST:: SOT 251832502 SOS 97731801 HAS SOPS 94571812 HAS SOUS 47872803 HAS SOUPS 47732753 WITH SCORE 4.7830484801E7
AT ITER 7597 NEW BEST:: SOT 251831847 SOS 97731801 HAS SOPS 94571812 HAS SOUS 47872148 HAS SOUPS 47732098 WITH SCORE 4.7829829801E7
AT ITER 7617 NEW BEST:: SOT 251831390 SOS 97731344 HAS SOPS 94570898 HAS SOUS 47871674 HAS SOUPS 47731184 WITH SCORE 4.7828915344E7
AT ITER 7621 NEW BEST:: SOT 251831390 SOS 97731856 HAS SOPS 94571410 HAS SOUS 47870240 HAS SOUPS 47729750 WITH SCORE 4.7827481856E7
AT ITER 7626 NEW BEST:: SOT 251831007 SOS 97720334 HAS SOPS 94559888 HAS SOUS 47869825 HAS SOUPS 47729335 WITH SCORE 4.7827055334E7
AT ITER 7642 NEW BEST:: SOT 251830568 SOS 97720334 HAS SOPS 94559888 HAS SOUS 47869462 HAS SOUPS 47728972 WITH SCORE 4.7826692334E7
AT ITER 7650 NEW BEST:: SOT 251830568 SOS 97721771 HAS SOPS 94559856 HAS SOUS 47869430 HAS SOUPS 47728940 WITH SCORE 4.7826661771E7
AT ITER 7652 NEW BEST:: SOT 251830965 SOS 97722947 HAS SOPS 94561032 HAS SOUS 47866766 HAS SOUPS 47726276 WITH SCORE 4.7823998947E7
AT ITER 7655 NEW BEST:: SOT 251829721 SOS 97721703 HAS SOPS 94559788 HAS SOUS 47866015 HAS SOUPS 47725525 WITH SCORE 4.7823246703E7
AT ITER 7701 NEW BEST:: SOT 251789437 SOS 98077145 HAS SOPS 94522646 HAS SOUS 47853768 HAS SOUPS 47706042 WITH SCORE 4.7804119145E7
AT ITER 7718 NEW BEST:: SOT 251787617 SOS 98075341 HAS SOPS 94520842 HAS SOUS 47853085 HAS SOUPS 47705359 WITH SCORE 4.7803434341E7
AT ITER 7736 NEW BEST:: SOT 251788860 SOS 98076584 HAS SOPS 94522085 HAS SOUS 47853068 HAS SOUPS 47705342 WITH SCORE 4.7803418584E7
AT ITER 7737 NEW BEST:: SOT 251710385 SOS 98000740 HAS SOPS 94447909 HAS SOUS 47778161 HAS SOUPS 47631166 WITH SCORE 4.772916674E7
AT ITER 7740 NEW BEST:: SOT 251707215 SOS 85481123 HAS SOPS 81928292 HAS SOUS 47771821 HAS SOUPS 47624826 WITH SCORE 4.7710307123E7
AT ITER 7760 NEW BEST:: SOT 251707174 SOS 85481082 HAS SOPS 81928251 HAS SOUS 47771780 HAS SOUPS 47624785 WITH SCORE 4.7710266082E7
AT ITER 7776 NEW BEST:: SOT 251707174 SOS 85481082 HAS SOPS 81928251 HAS SOUS 47770140 HAS SOUPS 47623145 WITH SCORE 4.7708626082E7
AT ITER 7779 NEW BEST:: SOT 251707174 SOS 85480758 HAS SOPS 81927927 HAS SOUS 47770140 HAS SOUPS 47623145 WITH SCORE 4.7708625758E7
AT ITER 7802 NEW BEST:: SOT 251705628 SOS 85479212 HAS SOPS 81926381 HAS SOUS 47768594 HAS SOUPS 47621599 WITH SCORE 4.7707078212E7
AT ITER 7822 NEW BEST:: SOT 251616220 SOS 85423788 HAS SOPS 81870957 HAS SOUS 47684002 HAS SOUPS 47537007 WITH SCORE 4.7622430788E7
AT ITER 7823 NEW BEST:: SOT 251616973 SOS 85424541 HAS SOPS 81871710 HAS SOUS 47683135 HAS SOUPS 47536140 WITH SCORE 4.7621564541E7
AT ITER 7833 NEW BEST:: SOT 251602693 SOS 85410321 HAS SOPS 81857490 HAS SOUS 47668915 HAS SOUPS 47521920 WITH SCORE 4.7607330321E7
AT ITER 7891 NEW BEST:: SOT 251602345 SOS 85409909 HAS SOPS 81857078 HAS SOUS 47668503 HAS SOUPS 47521508 WITH SCORE 4.7606917909E7
AT ITER 7915 NEW BEST:: SOT 251602345 SOS 85409909 HAS SOPS 81857078 HAS SOUS 47667715 HAS SOUPS 47520720 WITH SCORE 4.7606129909E7
AT ITER 7922 NEW BEST:: SOT 251602345 SOS 85409233 HAS SOPS 81856402 HAS SOUS 47667715 HAS SOUPS 47520720 WITH SCORE 4.7606129233E7
AT ITER 7947 NEW BEST:: SOT 251602907 SOS 85409795 HAS SOPS 81856964 HAS SOUS 47666753 HAS SOUPS 47519758 WITH SCORE 4.7605167795E7
AT ITER 7966 NEW BEST:: SOT 251602866 SOS 85409754 HAS SOPS 81856882 HAS SOUS 47666707 HAS SOUPS 47519676 WITH SCORE 4.7605085754E7
AT ITER 7972 NEW BEST:: SOT 251602866 SOS 85409754 HAS SOPS 81856882 HAS SOUS 47663629 HAS SOUPS 47516598 WITH SCORE 4.7602007754E7
AT ITER 8002 NEW BEST:: SOT 251602845 SOS 85409691 HAS SOPS 81856819 HAS SOUS 47663566 HAS SOUPS 47516535 WITH SCORE 4.7601944691E7
AT ITER 8017 NEW BEST:: SOT 251602811 SOS 85409657 HAS SOPS 81856785 HAS SOUS 47663526 HAS SOUPS 47516495 WITH SCORE 4.7601904657E7
AT ITER 8018 NEW BEST:: SOT 251602811 SOS 85411998 HAS SOPS 81859126 HAS SOUS 47663444 HAS SOUPS 47516413 WITH SCORE 4.7601824998E7
AT ITER 8022 NEW BEST:: SOT 251601304 SOS 85411838 HAS SOPS 81858966 HAS SOUS 47663424 HAS SOUPS 47516393 WITH SCORE 4.7601804838E7
AT ITER 8031 NEW BEST:: SOT 251601199 SOS 85411734 HAS SOPS 81858862 HAS SOUS 47663319 HAS SOUPS 47516288 WITH SCORE 4.7601699734E7
AT ITER 8041 NEW BEST:: SOT 251601199 SOS 85411734 HAS SOPS 81858862 HAS SOUS 47661636 HAS SOUPS 47514605 WITH SCORE 4.7600016734E7
AT ITER 8047 NEW BEST:: SOT 251600241 SOS 85410776 HAS SOPS 81857904 HAS SOUS 47659673 HAS SOUPS 47512642 WITH SCORE 4.7598052776E7
AT ITER 8062 NEW BEST:: SOT 251597575 SOS 85408135 HAS SOPS 81855263 HAS SOUS 47657040 HAS SOUPS 47510009 WITH SCORE 4.7595417135E7
AT ITER 8082 NEW BEST:: SOT 251597575 SOS 85408135 HAS SOPS 81855263 HAS SOUS 47656862 HAS SOUPS 47509831 WITH SCORE 4.7595239135E7
AT ITER 8090 NEW BEST:: SOT 251597587 SOS 85407987 HAS SOPS 81855256 HAS SOUS 47656855 HAS SOUPS 47509824 WITH SCORE 4.7595231987E7
AT ITER 8107 NEW BEST:: SOT 251596172 SOS 85406572 HAS SOPS 81853841 HAS SOUS 47655743 HAS SOUPS 47508712 WITH SCORE 4.7594118572E7
AT ITER 8108 NEW BEST:: SOT 251596172 SOS 85404392 HAS SOPS 81851661 HAS SOUS 47651062 HAS SOUPS 47504031 WITH SCORE 4.7589435392E7
AT ITER 8137 NEW BEST:: SOT 251513286 SOS 85461648 HAS SOPS 81908952 HAS SOUS 47579080 HAS SOUPS 47432049 WITH SCORE 4.7517510648E7
AT ITER 8156 NEW BEST:: SOT 251511492 SOS 85459822 HAS SOPS 81907126 HAS SOUS 47577254 HAS SOUPS 47430223 WITH SCORE 4.7515682822E7
AT ITER 8159 NEW BEST:: SOT 251511309 SOS 85459575 HAS SOPS 81906879 HAS SOUS 47577007 HAS SOUPS 47429976 WITH SCORE 4.7515435575E7
AT ITER 8188 NEW BEST:: SOT 251511309 SOS 85459298 HAS SOPS 81906602 HAS SOUS 47577007 HAS SOUPS 47429976 WITH SCORE 4.7515435298E7
AT ITER 8200 NEW BEST:: SOT 251511309 SOS 85458152 HAS SOPS 81905456 HAS SOUS 47574715 HAS SOUPS 47427684 WITH SCORE 4.7513142152E7
AT ITER 8201 NEW BEST:: SOT 251511309 SOS 85456305 HAS SOPS 81903609 HAS SOUS 47570122 HAS SOUPS 47423091 WITH SCORE 4.7508547305E7
AT ITER 8212 NEW BEST:: SOT 251510644 SOS 85456305 HAS SOPS 81903609 HAS SOUS 47569457 HAS SOUPS 47422426 WITH SCORE 4.7507882305E7
AT ITER 8215 NEW BEST:: SOT 251510644 SOS 85455519 HAS SOPS 81902823 HAS SOUS 47569457 HAS SOUPS 47422426 WITH SCORE 4.7507881519E7
AT ITER 8234 NEW BEST:: SOT 251510644 SOS 85453954 HAS SOPS 81901258 HAS SOUS 47567883 HAS SOUPS 47420852 WITH SCORE 4.7506305954E7
AT ITER 8236 NEW BEST:: SOT 251510644 SOS 85452987 HAS SOPS 81900291 HAS SOUS 47566916 HAS SOUPS 47419885 WITH SCORE 4.7505337987E7
AT ITER 8240 NEW BEST:: SOT 251509457 SOS 85451800 HAS SOPS 81899104 HAS SOUS 47566888 HAS SOUPS 47419857 WITH SCORE 4.75053088E7
AT ITER 8276 NEW BEST:: SOT 251507679 SOS 85453738 HAS SOPS 81901042 HAS SOUS 47564858 HAS SOUPS 47417827 WITH SCORE 4.7503280738E7
AT ITER 8315 NEW BEST:: SOT 251506923 SOS 85452950 HAS SOPS 81900254 HAS SOUS 47564070 HAS SOUPS 47417039 WITH SCORE 4.750249195E7
AT ITER 8327 NEW BEST:: SOT 251506891 SOS 85452918 HAS SOPS 81900222 HAS SOUS 47564006 HAS SOUPS 47416975 WITH SCORE 4.7502427918E7
AT ITER 8356 NEW BEST:: SOT 251506891 SOS 85452918 HAS SOPS 81900222 HAS SOUS 47562018 HAS SOUPS 47414987 WITH SCORE 4.7500439918E7
AT ITER 8368 NEW BEST:: SOT 251506130 SOS 85453336 HAS SOPS 81900640 HAS SOUS 47561675 HAS SOUPS 47414644 WITH SCORE 4.7500097336E7
AT ITER 8376 NEW BEST:: SOT 251506130 SOS 85452765 HAS SOPS 81900069 HAS SOUS 47560533 HAS SOUPS 47413502 WITH SCORE 4.7498954765E7
AT ITER 8386 NEW BEST:: SOT 251506130 SOS 85452346 HAS SOPS 81899650 HAS SOUS 47560533 HAS SOUPS 47413502 WITH SCORE 4.7498954346E7
AT ITER 8394 NEW BEST:: SOT 251503355 SOS 85449571 HAS SOPS 81896875 HAS SOUS 47558473 HAS SOUPS 47411442 WITH SCORE 4.7496891571E7
AT ITER 8396 NEW BEST:: SOT 251503907 SOS 85450123 HAS SOPS 81897427 HAS SOUS 47557414 HAS SOUPS 47410383 WITH SCORE 4.7495833123E7
AT ITER 8426 NEW BEST:: SOT 251503907 SOS 85450123 HAS SOPS 81897427 HAS SOUS 47556206 HAS SOUPS 47409175 WITH SCORE 4.7494625123E7
AT ITER 8445 NEW BEST:: SOT 251503907 SOS 85450123 HAS SOPS 81897427 HAS SOUS 47555020 HAS SOUPS 47407989 WITH SCORE 4.7493439123E7
AT ITER 8457 NEW BEST:: SOT 251502300 SOS 85448484 HAS SOPS 81895788 HAS SOUS 47553381 HAS SOUPS 47406350 WITH SCORE 4.7491798484E7
AT ITER 8491 NEW BEST:: SOT 251500852 SOS 85447036 HAS SOPS 81894340 HAS SOUS 47551913 HAS SOUPS 47404882 WITH SCORE 4.7490329036E7
AT ITER 8495 NEW BEST:: SOT 251485552 SOS 85448056 HAS SOPS 81879040 HAS SOUS 47537185 HAS SOUPS 47389644 WITH SCORE 4.7475092056E7
AT ITER 8500 NEW BEST:: SOT 251485552 SOS 85446619 HAS SOPS 81877603 HAS SOUS 47535748 HAS SOUPS 47388207 WITH SCORE 4.7473653619E7
AT ITER 8515 NEW BEST:: SOT 251484075 SOS 85445078 HAS SOPS 81876062 HAS SOUS 47534207 HAS SOUPS 47386666 WITH SCORE 4.7472111078E7
AT ITER 8534 NEW BEST:: SOT 251389387 SOS 85575574 HAS SOPS 82006558 HAS SOUS 47454962 HAS SOUPS 47307421 WITH SCORE 4.7392996574E7
AT ITER 8536 NEW BEST:: SOT 251389387 SOS 85578011 HAS SOPS 82008995 HAS SOUS 47454785 HAS SOUPS 47307244 WITH SCORE 4.7392822011E7
AT ITER 8561 NEW BEST:: SOT 251389872 SOS 85578496 HAS SOPS 82009480 HAS SOUS 47453413 HAS SOUPS 47305872 WITH SCORE 4.7391450496E7
AT ITER 8577 NEW BEST:: SOT 251389872 SOS 85578496 HAS SOPS 82009480 HAS SOUS 47452280 HAS SOUPS 47304739 WITH SCORE 4.7390317496E7
AT ITER 8605 NEW BEST:: SOT 251390543 SOS 85579167 HAS SOPS 82010151 HAS SOUS 47451910 HAS SOUPS 47304369 WITH SCORE 4.7389948167E7
AT ITER 8607 NEW BEST:: SOT 251388043 SOS 85576770 HAS SOPS 82007754 HAS SOUS 47448885 HAS SOUPS 47301344 WITH SCORE 4.738692077E7
AT ITER 8635 NEW BEST:: SOT 251385684 SOS 85574379 HAS SOPS 82005363 HAS SOUS 47446494 HAS SOUPS 47298953 WITH SCORE 4.7384527379E7
AT ITER 8654 NEW BEST:: SOT 251385475 SOS 85574170 HAS SOPS 82005154 HAS SOUS 47446076 HAS SOUPS 47298535 WITH SCORE 4.738410917E7
AT ITER 8669 NEW BEST:: SOT 251385443 SOS 85574138 HAS SOPS 82005122 HAS SOUS 47446012 HAS SOUPS 47298471 WITH SCORE 4.7384045138E7
AT ITER 8672 NEW BEST:: SOT 251385436 SOS 85574138 HAS SOPS 82005122 HAS SOUS 47446005 HAS SOUPS 47298464 WITH SCORE 4.7384038138E7
AT ITER 8673 NEW BEST:: SOT 251384687 SOS 85573732 HAS SOPS 82004716 HAS SOUS 47445857 HAS SOUPS 47298316 WITH SCORE 4.7383889732E7
AT ITER 8693 NEW BEST:: SOT 251383891 SOS 85573732 HAS SOPS 82004716 HAS SOUS 47445061 HAS SOUPS 47297520 WITH SCORE 4.7383093732E7
AT ITER 8706 NEW BEST:: SOT 251383891 SOS 85567972 HAS SOPS 81998956 HAS SOUS 47444881 HAS SOUPS 47297340 WITH SCORE 4.7382907972E7
AT ITER 8721 NEW BEST:: SOT 251383609 SOS 85567690 HAS SOPS 81998674 HAS SOUS 47444317 HAS SOUPS 47296776 WITH SCORE 4.738234369E7
AT ITER 8722 NEW BEST:: SOT 251383609 SOS 85568106 HAS SOPS 81999090 HAS SOUS 47443316 HAS SOUPS 47295775 WITH SCORE 4.7381343106E7
AT ITER 8728 NEW BEST:: SOT 251366936 SOS 85597412 HAS SOPS 82028396 HAS SOUS 47430028 HAS SOUPS 47282487 WITH SCORE 4.7368084412E7
AT ITER 8739 NEW BEST:: SOT 251366936 SOS 85596565 HAS SOPS 82027549 HAS SOUS 47430028 HAS SOUPS 47282487 WITH SCORE 4.7368083565E7
AT ITER 8749 NEW BEST:: SOT 251368077 SOS 85597706 HAS SOPS 82028690 HAS SOUS 47429883 HAS SOUPS 47282342 WITH SCORE 4.7367939706E7
AT ITER 8751 NEW BEST:: SOT 251368077 SOS 85597706 HAS SOPS 82028690 HAS SOUS 47428807 HAS SOUPS 47281266 WITH SCORE 4.7366863706E7
AT ITER 8776 NEW BEST:: SOT 251368077 SOS 85597706 HAS SOPS 82028690 HAS SOUS 47425216 HAS SOUPS 47277675 WITH SCORE 4.7363272706E7
AT ITER 8790 NEW BEST:: SOT 251339902 SOS 86068770 HAS SOPS 82499754 HAS SOUS 47423621 HAS SOUPS 47276080 WITH SCORE 4.736214877E7
AT ITER 8792 NEW BEST:: SOT 251337758 SOS 86066626 HAS SOPS 82497610 HAS SOUS 47423359 HAS SOUPS 47275818 WITH SCORE 4.7361884626E7
AT ITER 8808 NEW BEST:: SOT 251337865 SOS 86066733 HAS SOPS 82497717 HAS SOUS 47422563 HAS SOUPS 47275022 WITH SCORE 4.7361088733E7
AT ITER 8851 NEW BEST:: SOT 251337833 SOS 86066733 HAS SOPS 82497717 HAS SOUS 47422531 HAS SOUPS 47274990 WITH SCORE 4.7361056733E7
AT ITER 8859 NEW BEST:: SOT 251338054 SOS 86066954 HAS SOPS 82497938 HAS SOUS 47420024 HAS SOUPS 47272483 WITH SCORE 4.7358549954E7
AT ITER 8870 NEW BEST:: SOT 251338054 SOS 86065724 HAS SOPS 82496708 HAS SOUS 47418794 HAS SOUPS 47271253 WITH SCORE 4.7357318724E7
AT ITER 8879 NEW BEST:: SOT 251338054 SOS 86064443 HAS SOPS 82495427 HAS SOUS 47417499 HAS SOUPS 47269958 WITH SCORE 4.7356022443E7
AT ITER 8882 NEW BEST:: SOT 251336413 SOS 86062770 HAS SOPS 82493754 HAS SOUS 47415826 HAS SOUPS 47268285 WITH SCORE 4.735434777E7
AT ITER 8916 NEW BEST:: SOT 251336413 SOS 86062770 HAS SOPS 82493754 HAS SOUS 47413794 HAS SOUPS 47266253 WITH SCORE 4.735231577E7
AT ITER 8932 NEW BEST:: SOT 251334396 SOS 86062333 HAS SOPS 82493317 HAS SOUS 47411764 HAS SOUPS 47264223 WITH SCORE 4.7350285333E7
AT ITER 8939 NEW BEST:: SOT 251229635 SOS 86141879 HAS SOPS 82572863 HAS SOUS 47319772 HAS SOUPS 47172231 WITH SCORE 4.7258372879E7
AT ITER 8941 NEW BEST:: SOT 251229635 SOS 86141438 HAS SOPS 82572422 HAS SOUS 47318890 HAS SOUPS 47171349 WITH SCORE 4.7257490438E7
AT ITER 8945 NEW BEST:: SOT 251229635 SOS 86141438 HAS SOPS 82572422 HAS SOUS 47318711 HAS SOUPS 47171170 WITH SCORE 4.7257311438E7
AT ITER 8946 NEW BEST:: SOT 251229635 SOS 86140891 HAS SOPS 82571875 HAS SOUS 47318164 HAS SOUPS 47170623 WITH SCORE 4.7256763891E7
AT ITER 8951 NEW BEST:: SOT 251229659 SOS 86140915 HAS SOPS 82571899 HAS SOUS 47317902 HAS SOUPS 47170361 WITH SCORE 4.7256501915E7
AT ITER 8961 NEW BEST:: SOT 251229627 SOS 86140851 HAS SOPS 82571835 HAS SOUS 47317806 HAS SOUPS 47170265 WITH SCORE 4.7256405851E7
AT ITER 8969 NEW BEST:: SOT 251229627 SOS 86140851 HAS SOPS 82571835 HAS SOUS 47316722 HAS SOUPS 47169181 WITH SCORE 4.7255321851E7
AT ITER 9009 NEW BEST:: SOT 251229627 SOS 86139666 HAS SOPS 82570650 HAS SOUS 47316722 HAS SOUPS 47169181 WITH SCORE 4.7255320666E7
AT ITER 9015 NEW BEST:: SOT 251229627 SOS 86138500 HAS SOPS 82569484 HAS SOUS 47313832 HAS SOUPS 47166291 WITH SCORE 4.72524295E7
AT ITER 9027 NEW BEST:: SOT 251229627 SOS 86138500 HAS SOPS 82569484 HAS SOUS 47313698 HAS SOUPS 47166157 WITH SCORE 4.72522955E7
AT ITER 9035 NEW BEST:: SOT 251229574 SOS 86138415 HAS SOPS 82569399 HAS SOUS 47313613 HAS SOUPS 47166072 WITH SCORE 4.7252210415E7
AT ITER 9039 NEW BEST:: SOT 251227454 SOS 86136295 HAS SOPS 82567279 HAS SOUS 47312000 HAS SOUPS 47164459 WITH SCORE 4.7250595295E7
AT ITER 9047 NEW BEST:: SOT 251224721 SOS 86134361 HAS SOPS 82565345 HAS SOUS 47307325 HAS SOUPS 47159784 WITH SCORE 4.7245918361E7
AT ITER 9053 NEW BEST:: SOT 251222079 SOS 86132835 HAS SOPS 82563819 HAS SOUS 47304409 HAS SOUPS 47156868 WITH SCORE 4.7243000835E7
AT ITER 9063 NEW BEST:: SOT 251222079 SOS 86132835 HAS SOPS 82563819 HAS SOUS 47302928 HAS SOUPS 47155387 WITH SCORE 4.7241519835E7
AT ITER 9073 NEW BEST:: SOT 251221834 SOS 86132592 HAS SOPS 82563576 HAS SOUS 47302683 HAS SOUPS 47155142 WITH SCORE 4.7241274592E7
AT ITER 9076 NEW BEST:: SOT 251221348 SOS 86132106 HAS SOPS 82563090 HAS SOUS 47301243 HAS SOUPS 47153702 WITH SCORE 4.7239834106E7
AT ITER 9087 NEW BEST:: SOT 251221097 SOS 86131823 HAS SOPS 82562807 HAS SOUS 47300960 HAS SOUPS 47153419 WITH SCORE 4.7239550823E7
AT ITER 9103 NEW BEST:: SOT 251221097 SOS 86131823 HAS SOPS 82562807 HAS SOUS 47299574 HAS SOUPS 47152033 WITH SCORE 4.7238164823E7
AT ITER 9109 NEW BEST:: SOT 251220652 SOS 86130293 HAS SOPS 82562280 HAS SOUS 47298712 HAS SOUPS 47151171 WITH SCORE 4.7237301293E7
AT ITER 9115 NEW BEST:: SOT 251218590 SOS 86130293 HAS SOPS 82562280 HAS SOUS 47296650 HAS SOUPS 47149109 WITH SCORE 4.7235239293E7
AT ITER 9122 NEW BEST:: SOT 251216504 SOS 86126112 HAS SOPS 82558099 HAS SOUS 47292446 HAS SOUPS 47144905 WITH SCORE 4.7231031112E7
AT ITER 9173 NEW BEST:: SOT 251216061 SOS 86126261 HAS SOPS 82558248 HAS SOUS 47292152 HAS SOUPS 47144611 WITH SCORE 4.7230737261E7
AT ITER 9219 NEW BEST:: SOT 251216061 SOS 86126261 HAS SOPS 82558248 HAS SOUS 47291067 HAS SOUPS 47143526 WITH SCORE 4.7229652261E7
AT ITER 9227 NEW BEST:: SOT 251214539 SOS 86124739 HAS SOPS 82555204 HAS SOUS 47290476 HAS SOUPS 47141416 WITH SCORE 4.7227540739E7
AT ITER 9228 NEW BEST:: SOT 251213861 SOS 86124739 HAS SOPS 82555204 HAS SOUS 47289798 HAS SOUPS 47140738 WITH SCORE 4.7226862739E7
AT ITER 9250 NEW BEST:: SOT 251213972 SOS 86124850 HAS SOPS 82555315 HAS SOUS 47288806 HAS SOUPS 47139746 WITH SCORE 4.722587085E7
AT ITER 9251 NEW BEST:: SOT 251213345 SOS 86124850 HAS SOPS 82555315 HAS SOUS 47288179 HAS SOUPS 47139119 WITH SCORE 4.722524385E7
AT ITER 9271 NEW BEST:: SOT 251214488 SOS 86125993 HAS SOPS 82556458 HAS SOUS 47287723 HAS SOUPS 47138663 WITH SCORE 4.7224788993E7
AT ITER 9297 NEW BEST:: SOT 251159742 SOS 86132703 HAS SOPS 82563168 HAS SOUS 47238509 HAS SOUPS 47089449 WITH SCORE 4.7175581703E7
AT ITER 9321 NEW BEST:: SOT 251157996 SOS 86130957 HAS SOPS 82561422 HAS SOUS 47236763 HAS SOUPS 47087703 WITH SCORE 4.7173833957E7
AT ITER 9331 NEW BEST:: SOT 251157455 SOS 86130296 HAS SOPS 82560761 HAS SOUS 47236422 HAS SOUPS 47087362 WITH SCORE 4.7173492296E7
AT ITER 9365 NEW BEST:: SOT 251156806 SOS 86129647 HAS SOPS 82560112 HAS SOUS 47236421 HAS SOUPS 47087361 WITH SCORE 4.7173490647E7
AT ITER 9443 NEW BEST:: SOT 251154630 SOS 86127491 HAS SOPS 82557956 HAS SOUS 47235785 HAS SOUPS 47086725 WITH SCORE 4.7172852491E7
AT ITER 9464 NEW BEST:: SOT 251152148 SOS 86125038 HAS SOPS 82555503 HAS SOUS 47234825 HAS SOUPS 47085765 WITH SCORE 4.7171890038E7
AT ITER 9469 NEW BEST:: SOT 251151700 SOS 86125038 HAS SOPS 82555503 HAS SOUS 47234377 HAS SOUPS 47085317 WITH SCORE 4.7171442038E7
AT ITER 9487 NEW BEST:: SOT 251151831 SOS 86125169 HAS SOPS 82555634 HAS SOUS 47232301 HAS SOUPS 47083241 WITH SCORE 4.7169366169E7
AT ITER 9491 NEW BEST:: SOT 251151054 SOS 86124360 HAS SOPS 82554825 HAS SOUS 47231492 HAS SOUPS 47082432 WITH SCORE 4.716855636E7
AT ITER 9498 NEW BEST:: SOT 251149275 SOS 86122581 HAS SOPS 82553046 HAS SOUS 47231153 HAS SOUPS 47082093 WITH SCORE 4.7168215581E7
AT ITER 9502 NEW BEST:: SOT 251150099 SOS 86123405 HAS SOPS 82553870 HAS SOUS 47230943 HAS SOUPS 47081883 WITH SCORE 4.7168006405E7
AT ITER 9506 NEW BEST:: SOT 251147880 SOS 86123405 HAS SOPS 82553870 HAS SOUS 47230931 HAS SOUPS 47081871 WITH SCORE 4.7167994405E7
AT ITER 9523 NEW BEST:: SOT 251147880 SOS 86100139 HAS SOPS 82530604 HAS SOUS 47230931 HAS SOUPS 47081871 WITH SCORE 4.7167971139E7
AT ITER 9566 NEW BEST:: SOT 251147654 SOS 86100139 HAS SOPS 82530604 HAS SOUS 47230705 HAS SOUPS 47081645 WITH SCORE 4.7167745139E7
AT ITER 9571 NEW BEST:: SOT 251145050 SOS 86100139 HAS SOPS 82530604 HAS SOUS 47228101 HAS SOUPS 47079041 WITH SCORE 4.7165141139E7
AT ITER 9574 NEW BEST:: SOT 251144712 SOS 86099801 HAS SOPS 82530266 HAS SOUS 47227748 HAS SOUPS 47078688 WITH SCORE 4.7164787801E7
AT ITER 9576 NEW BEST:: SOT 251142503 SOS 86097975 HAS SOPS 82528440 HAS SOUS 47225539 HAS SOUPS 47076479 WITH SCORE 4.7162576975E7
AT ITER 9583 NEW BEST:: SOT 251142503 SOS 86096772 HAS SOPS 82527237 HAS SOUS 47224336 HAS SOUPS 47075276 WITH SCORE 4.7161372772E7
AT ITER 9613 NEW BEST:: SOT 251140241 SOS 86095880 HAS SOPS 82526345 HAS SOUS 47221164 HAS SOUPS 47072104 WITH SCORE 4.715819988E7
AT ITER 9615 NEW BEST:: SOT 251140241 SOS 86095880 HAS SOPS 82526345 HAS SOUS 47220865 HAS SOUPS 47071805 WITH SCORE 4.715790088E7
AT ITER 9625 NEW BEST:: SOT 251122812 SOS 86258201 HAS SOPS 82512106 HAS SOUS 47215992 HAS SOUPS 47063742 WITH SCORE 4.7150000201E7
AT ITER 9663 NEW BEST:: SOT 251121173 SOS 85956478 HAS SOPS 82210404 HAS SOUS 47212714 HAS SOUPS 47060464 WITH SCORE 4.7146420478E7
AT ITER 9666 NEW BEST:: SOT 251121173 SOS 85955477 HAS SOPS 82209403 HAS SOUS 47212714 HAS SOUPS 47060464 WITH SCORE 4.7146419477E7
AT ITER 9702 NEW BEST:: SOT 251118636 SOS 85953477 HAS SOPS 82207403 HAS SOUS 47208169 HAS SOUPS 47055919 WITH SCORE 4.7141872477E7
AT ITER 9703 NEW BEST:: SOT 251118636 SOS 85953345 HAS SOPS 82207271 HAS SOUS 47208169 HAS SOUPS 47055919 WITH SCORE 4.7141872345E7
AT ITER 9706 NEW BEST:: SOT 251115810 SOS 85950534 HAS SOPS 82204460 HAS SOUS 47205664 HAS SOUPS 47053414 WITH SCORE 4.7139364534E7
AT ITER 9709 NEW BEST:: SOT 251115810 SOS 85948790 HAS SOPS 82202716 HAS SOUS 47203920 HAS SOUPS 47051670 WITH SCORE 4.713761879E7
AT ITER 9715 NEW BEST:: SOT 251116030 SOS 85949010 HAS SOPS 82202936 HAS SOUS 47202757 HAS SOUPS 47050507 WITH SCORE 4.713645601E7
AT ITER 9728 NEW BEST:: SOT 251116534 SOS 85949514 HAS SOPS 82203440 HAS SOUS 47201942 HAS SOUPS 47049692 WITH SCORE 4.7135641514E7
AT ITER 9730 NEW BEST:: SOT 251114758 SOS 85947738 HAS SOPS 82201664 HAS SOUS 47200166 HAS SOUPS 47047916 WITH SCORE 4.7133863738E7
AT ITER 9758 NEW BEST:: SOT 251114758 SOS 85946538 HAS SOPS 82200464 HAS SOUS 47198966 HAS SOUPS 47046716 WITH SCORE 4.7132662538E7
AT ITER 9789 NEW BEST:: SOT 251114558 SOS 85946338 HAS SOPS 82200264 HAS SOUS 47198566 HAS SOUPS 47046316 WITH SCORE 4.7132262338E7
AT ITER 9803 NEW BEST:: SOT 251112994 SOS 85944774 HAS SOPS 82197136 HAS SOUS 47196997 HAS SOUPS 47043188 WITH SCORE 4.7129132774E7
AT ITER 9806 NEW BEST:: SOT 251112994 SOS 85943643 HAS SOPS 82196005 HAS SOUS 47195002 HAS SOUPS 47041193 WITH SCORE 4.7127136643E7
AT ITER 9834 NEW BEST:: SOT 251112994 SOS 85941841 HAS SOPS 82194203 HAS SOUS 47193200 HAS SOUPS 47039391 WITH SCORE 4.7125332841E7
AT ITER 9862 NEW BEST:: SOT 251112690 SOS 85941841 HAS SOPS 82194203 HAS SOUS 47192896 HAS SOUPS 47039087 WITH SCORE 4.7125028841E7
AT ITER 9865 NEW BEST:: SOT 251112690 SOS 85941568 HAS SOPS 82193930 HAS SOUS 47192623 HAS SOUPS 47038814 WITH SCORE 4.7124755568E7
AT ITER 9881 NEW BEST:: SOT 251113325 SOS 85942203 HAS SOPS 82194565 HAS SOUS 47190786 HAS SOUPS 47036977 WITH SCORE 4.7122919203E7
AT ITER 9906 NEW BEST:: SOT 251113325 SOS 85942203 HAS SOPS 82194565 HAS SOUS 47190552 HAS SOUPS 47036743 WITH SCORE 4.7122685203E7
AT ITER 9922 NEW BEST:: SOT 251113325 SOS 85915019 HAS SOPS 82167381 HAS SOUS 47185484 HAS SOUPS 47031675 WITH SCORE 4.7117590019E7
AT ITER 9933 NEW BEST:: SOT 251113325 SOS 85913483 HAS SOPS 82165845 HAS SOUS 47184716 HAS SOUPS 47030907 WITH SCORE 4.7116820483E7
AT ITER 9949 NEW BEST:: SOT 251113325 SOS 85911670 HAS SOPS 82164032 HAS SOUS 47182903 HAS SOUPS 47029094 WITH SCORE 4.711500567E7
AT ITER 9963 NEW BEST:: SOT 251112764 SOS 85910775 HAS SOPS 82163415 HAS SOUS 47182286 HAS SOUPS 47028477 WITH SCORE 4.7114387775E7
AT ITER 9966 NEW BEST:: SOT 251110987 SOS 85909170 HAS SOPS 82161810 HAS SOUS 47178879 HAS SOUPS 47025070 WITH SCORE 4.711097917E7
AT ITER 9979 NEW BEST:: SOT 251110362 SOS 85909170 HAS SOPS 82161810 HAS SOUS 47178254 HAS SOUPS 47024445 WITH SCORE 4.711035417E7
AT ITER 9985 NEW BEST:: SOT 251110362 SOS 85907903 HAS SOPS 82160543 HAS SOUS 47178254 HAS SOUPS 47024445 WITH SCORE 4.7110352903E7
AT ITER 9991 NEW BEST:: SOT 251110362 SOS 85907871 HAS SOPS 82160511 HAS SOUS 47178222 HAS SOUPS 47024413 WITH SCORE 4.7110320871E7
AT ITER 9995 NEW BEST:: SOT 251110246 SOS 85907755 HAS SOPS 82160395 HAS SOUS 47178106 HAS SOUPS 47024297 WITH SCORE 4.7110204755E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 14632104 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16122096 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-S64C3"
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-S64C3, 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-167856410600536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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