Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542100368.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCflexbar-PT-3b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.7M
-rw-r--r-- 1 mcc users 2.9K Mar 30 02:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 02:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 17:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 17:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 09:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 09:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.5M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589114090152

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

Filename model.pnml
Petri model created: 7245 places, 10555 transitions, 28284 arcs.
AT ITER 0 NEW BEST:: SOT 48851062 SOS 10451936 HAS SOPS 10451936 HAS SOUS 7259579 HAS SOUPS 7259579 WITH SCORE 7270030.936
AT ITER 2 NEW BEST:: SOT 48850997 SOS 10451806 HAS SOPS 10451806 HAS SOUS 7259579 HAS SOUPS 7259579 WITH SCORE 7270030.806
AT ITER 6 NEW BEST:: SOT 48850378 SOS 10448711 HAS SOPS 10448711 HAS SOUS 7258341 HAS SOUPS 7258341 WITH SCORE 7268789.711
AT ITER 11 NEW BEST:: SOT 48850026 SOS 10448008 HAS SOPS 10448008 HAS SOUS 7257638 HAS SOUPS 7257638 WITH SCORE 7268086.008
AT ITER 27 NEW BEST:: SOT 48849235 SOS 10447220 HAS SOPS 10447220 HAS SOUS 7256850 HAS SOUPS 7256850 WITH SCORE 7267297.22
AT ITER 34 NEW BEST:: SOT 48849492 SOS 10452464 HAS SOPS 10452464 HAS SOUS 7255785 HAS SOUPS 7255785 WITH SCORE 7266237.464
AT ITER 65 NEW BEST:: SOT 48849491 SOS 10452462 HAS SOPS 10452462 HAS SOUS 7255783 HAS SOUPS 7255783 WITH SCORE 7266235.462
AT ITER 112 NEW BEST:: SOT 48845134 SOS 10454962 HAS SOPS 10454962 HAS SOUS 7255012 HAS SOUPS 7255012 WITH SCORE 7265466.962
AT ITER 133 NEW BEST:: SOT 48842440 SOS 10453615 HAS SOPS 10453615 HAS SOUS 7253665 HAS SOUPS 7253665 WITH SCORE 7264118.615
AT ITER 136 NEW BEST:: SOT 48842440 SOS 10453799 HAS SOPS 10453799 HAS SOUS 7253663 HAS SOUPS 7253663 WITH SCORE 7264116.799
AT ITER 152 NEW BEST:: SOT 48842440 SOS 10453799 HAS SOPS 10453799 HAS SOUS 7253662 HAS SOUPS 7253662 WITH SCORE 7264115.799
AT ITER 166 NEW BEST:: SOT 48841604 SOS 10453682 HAS SOPS 10453682 HAS SOUS 7253545 HAS SOUPS 7253545 WITH SCORE 7263998.682
AT ITER 188 NEW BEST:: SOT 48840751 SOS 10455202 HAS SOPS 10455202 HAS SOUS 7252692 HAS SOUPS 7252692 WITH SCORE 7263147.202
AT ITER 219 NEW BEST:: SOT 48840556 SOS 10455007 HAS SOPS 10455007 HAS SOUS 7252497 HAS SOUPS 7252497 WITH SCORE 7262952.007
AT ITER 235 NEW BEST:: SOT 48839655 SOS 10454911 HAS SOPS 10454911 HAS SOUS 7252401 HAS SOUPS 7252401 WITH SCORE 7262855.911
AT ITER 299 NEW BEST:: SOT 48839655 SOS 10454632 HAS SOPS 10454632 HAS SOUS 7252401 HAS SOUPS 7252401 WITH SCORE 7262855.632
AT ITER 318 NEW BEST:: SOT 48839278 SOS 10453878 HAS SOPS 10453878 HAS SOUS 7251647 HAS SOUPS 7251647 WITH SCORE 7262100.878
AT ITER 386 NEW BEST:: SOT 48839593 SOS 10454508 HAS SOPS 10454508 HAS SOUS 7250771 HAS SOUPS 7250771 WITH SCORE 7261225.508
AT ITER 388 NEW BEST:: SOT 48839592 SOS 10454506 HAS SOPS 10454506 HAS SOUS 7250769 HAS SOUPS 7250769 WITH SCORE 7261223.506
AT ITER 400 NEW BEST:: SOT 48837870 SOS 10454638 HAS SOPS 10454638 HAS SOUS 7250628 HAS SOUPS 7250628 WITH SCORE 7261082.638
AT ITER 410 NEW BEST:: SOT 48837436 SOS 10453770 HAS SOPS 10453770 HAS SOUS 7249760 HAS SOUPS 7249760 WITH SCORE 7260213.77
AT ITER 440 NEW BEST:: SOT 48837083 SOS 10453064 HAS SOPS 10453064 HAS SOUS 7249054 HAS SOUPS 7249054 WITH SCORE 7259507.064
AT ITER 464 NEW BEST:: SOT 48836315 SOS 10452822 HAS SOPS 10452822 HAS SOUS 7248815 HAS SOUPS 7248815 WITH SCORE 7259267.822
AT ITER 480 NEW BEST:: SOT 48835759 SOS 10451711 HAS SOPS 10451711 HAS SOUS 7247704 HAS SOUPS 7247704 WITH SCORE 7258155.711
AT ITER 515 NEW BEST:: SOT 48834927 SOS 10450047 HAS SOPS 10450047 HAS SOUS 7246040 HAS SOUPS 7246040 WITH SCORE 7256490.047
AT ITER 528 NEW BEST:: SOT 48833226 SOS 10447973 HAS SOPS 10447973 HAS SOUS 7244338 HAS SOUPS 7244338 WITH SCORE 7254785.973
AT ITER 529 NEW BEST:: SOT 48833226 SOS 10448290 HAS SOPS 10448290 HAS SOUS 7244337 HAS SOUPS 7244337 WITH SCORE 7254785.29
AT ITER 534 NEW BEST:: SOT 48833226 SOS 10448290 HAS SOPS 10448290 HAS SOUS 7244336 HAS SOUPS 7244336 WITH SCORE 7254784.29
AT ITER 543 NEW BEST:: SOT 48832593 SOS 10447657 HAS SOPS 10447657 HAS SOUS 7243703 HAS SOUPS 7243703 WITH SCORE 7254150.657
AT ITER 547 NEW BEST:: SOT 48832132 SOS 10447192 HAS SOPS 10447192 HAS SOUS 7243241 HAS SOUPS 7243241 WITH SCORE 7253688.192
AT ITER 559 NEW BEST:: SOT 48832132 SOS 10447192 HAS SOPS 10447192 HAS SOUS 7241466 HAS SOUPS 7241466 WITH SCORE 7251913.192
AT ITER 588 NEW BEST:: SOT 48831160 SOS 10439457 HAS SOPS 10439457 HAS SOUS 7237806 HAS SOUPS 7237806 WITH SCORE 7248245.457
AT ITER 597 NEW BEST:: SOT 48829009 SOS 10437306 HAS SOPS 10437306 HAS SOUS 7235655 HAS SOUPS 7235655 WITH SCORE 7246092.306
AT ITER 616 NEW BEST:: SOT 48829009 SOS 10438283 HAS SOPS 10438283 HAS SOUS 7235654 HAS SOUPS 7235654 WITH SCORE 7246092.283
AT ITER 638 NEW BEST:: SOT 48828676 SOS 10438177 HAS SOPS 10438177 HAS SOUS 7235548 HAS SOUPS 7235548 WITH SCORE 7245986.177
AT ITER 681 NEW BEST:: SOT 48828676 SOS 10435882 HAS SOPS 10435882 HAS SOUS 7234783 HAS SOUPS 7234783 WITH SCORE 7245218.882
AT ITER 715 NEW BEST:: SOT 48828441 SOS 10436348 HAS SOPS 10436348 HAS SOUS 7234547 HAS SOUPS 7234547 WITH SCORE 7244983.348
AT ITER 726 NEW BEST:: SOT 48826686 SOS 10435982 HAS SOPS 10435982 HAS SOUS 7234181 HAS SOUPS 7234181 WITH SCORE 7244616.982
AT ITER 747 NEW BEST:: SOT 48825893 SOS 10436884 HAS SOPS 10436884 HAS SOUS 7234087 HAS SOUPS 7234087 WITH SCORE 7244523.884
AT ITER 769 NEW BEST:: SOT 48825674 SOS 10437318 HAS SOPS 10437318 HAS SOUS 7233867 HAS SOUPS 7233867 WITH SCORE 7244304.318
AT ITER 808 NEW BEST:: SOT 48825674 SOS 10437318 HAS SOPS 10437318 HAS SOUS 7233866 HAS SOUPS 7233866 WITH SCORE 7244303.318
AT ITER 816 NEW BEST:: SOT 48824649 SOS 10432193 HAS SOPS 10432193 HAS SOUS 7231816 HAS SOUPS 7231816 WITH SCORE 7242248.193
AT ITER 840 NEW BEST:: SOT 48824846 SOS 10432587 HAS SOPS 10432587 HAS SOUS 7231507 HAS SOUPS 7231507 WITH SCORE 7241939.587
AT ITER 865 NEW BEST:: SOT 48823920 SOS 10432081 HAS SOPS 10432081 HAS SOUS 7231001 HAS SOUPS 7231001 WITH SCORE 7241433.081
AT ITER 869 NEW BEST:: SOT 48823916 SOS 10432073 HAS SOPS 10432073 HAS SOUS 7230993 HAS SOUPS 7230993 WITH SCORE 7241425.073
AT ITER 871 NEW BEST:: SOT 48823701 SOS 10431643 HAS SOPS 10431643 HAS SOUS 7230778 HAS SOUPS 7230778 WITH SCORE 7241209.643
AT ITER 876 NEW BEST:: SOT 48822901 SOS 10430864 HAS SOPS 10430864 HAS SOUS 7229999 HAS SOUPS 7229999 WITH SCORE 7240429.864
AT ITER 880 NEW BEST:: SOT 48822901 SOS 10430500 HAS SOPS 10430500 HAS SOUS 7229999 HAS SOUPS 7229999 WITH SCORE 7240429.5
AT ITER 895 NEW BEST:: SOT 48822900 SOS 10429860 HAS SOPS 10429860 HAS SOUS 7229359 HAS SOUPS 7229359 WITH SCORE 7239788.86
AT ITER 899 NEW BEST:: SOT 48822996 SOS 10430052 HAS SOPS 10430052 HAS SOUS 7229187 HAS SOUPS 7229187 WITH SCORE 7239617.052
AT ITER 907 NEW BEST:: SOT 48822806 SOS 10429854 HAS SOPS 10429854 HAS SOUS 7228998 HAS SOUPS 7228998 WITH SCORE 7239427.854
AT ITER 938 NEW BEST:: SOT 48821697 SOS 10429226 HAS SOPS 10429226 HAS SOUS 7228372 HAS SOUPS 7228372 WITH SCORE 7238801.226
AT ITER 940 NEW BEST:: SOT 48821410 SOS 10428939 HAS SOPS 10428939 HAS SOUS 7228085 HAS SOUPS 7228085 WITH SCORE 7238513.939
AT ITER 950 NEW BEST:: SOT 48821410 SOS 10429937 HAS SOPS 10429937 HAS SOUS 7228084 HAS SOUPS 7228084 WITH SCORE 7238513.937
AT ITER 971 NEW BEST:: SOT 48821399 SOS 10429911 HAS SOPS 10429911 HAS SOUS 7228061 HAS SOUPS 7228061 WITH SCORE 7238490.911
AT ITER 995 NEW BEST:: SOT 48821175 SOS 10429907 HAS SOPS 10429907 HAS SOUS 7227948 HAS SOUPS 7227948 WITH SCORE 7238377.907
AT ITER 1003 NEW BEST:: SOT 48821175 SOS 10431069 HAS SOPS 10431069 HAS SOUS 7227946 HAS SOUPS 7227946 WITH SCORE 7238377.069
AT ITER 1013 NEW BEST:: SOT 48818835 SOS 10429899 HAS SOPS 10429899 HAS SOUS 7226776 HAS SOUPS 7226776 WITH SCORE 7237205.899
AT ITER 1035 NEW BEST:: SOT 48817772 SOS 10428836 HAS SOPS 10428836 HAS SOUS 7225713 HAS SOUPS 7225713 WITH SCORE 7236141.836
AT ITER 1040 NEW BEST:: SOT 48816969 SOS 10424821 HAS SOPS 10424821 HAS SOUS 7224107 HAS SOUPS 7224107 WITH SCORE 7234531.821
AT ITER 1061 NEW BEST:: SOT 48816969 SOS 10425435 HAS SOPS 10425435 HAS SOUS 7224106 HAS SOUPS 7224106 WITH SCORE 7234531.435
AT ITER 1079 NEW BEST:: SOT 48816969 SOS 10424685 HAS SOPS 10424685 HAS SOUS 7223856 HAS SOUPS 7223856 WITH SCORE 7234280.685
AT ITER 1100 NEW BEST:: SOT 48816661 SOS 10424069 HAS SOPS 10424069 HAS SOUS 7222942 HAS SOUPS 7222942 WITH SCORE 7233366.069
AT ITER 1168 NEW BEST:: SOT 48816110 SOS 10423707 HAS SOPS 10423707 HAS SOUS 7222580 HAS SOUPS 7222580 WITH SCORE 7233003.707
AT ITER 1170 NEW BEST:: SOT 48815540 SOS 10423137 HAS SOPS 10423137 HAS SOUS 7222010 HAS SOUPS 7222010 WITH SCORE 7232433.137
AT ITER 1209 NEW BEST:: SOT 48815372 SOS 10422801 HAS SOPS 10422801 HAS SOUS 7221674 HAS SOUPS 7221674 WITH SCORE 7232096.801
AT ITER 1247 NEW BEST:: SOT 48814190 SOS 10420437 HAS SOPS 10420437 HAS SOUS 7219310 HAS SOUPS 7219310 WITH SCORE 7229730.437
AT ITER 1249 NEW BEST:: SOT 48813147 SOS 10419482 HAS SOPS 10419482 HAS SOUS 7218267 HAS SOUPS 7218267 WITH SCORE 7228686.482
AT ITER 1330 NEW BEST:: SOT 48811949 SOS 10418280 HAS SOPS 10418280 HAS SOUS 7217068 HAS SOUPS 7217068 WITH SCORE 7227486.28
AT ITER 1336 NEW BEST:: SOT 48811160 SOS 10417487 HAS SOPS 10417487 HAS SOUS 7216278 HAS SOUPS 7216278 WITH SCORE 7226695.487
AT ITER 1344 NEW BEST:: SOT 48810725 SOS 10421587 HAS SOPS 10421587 HAS SOUS 7215022 HAS SOUPS 7215022 WITH SCORE 7225443.587
AT ITER 1345 NEW BEST:: SOT 48810725 SOS 10423318 HAS SOPS 10423318 HAS SOUS 7214660 HAS SOUPS 7214660 WITH SCORE 7225083.318
AT ITER 1355 NEW BEST:: SOT 48810360 SOS 10423799 HAS SOPS 10423799 HAS SOUS 7214294 HAS SOUPS 7214294 WITH SCORE 7224717.799
AT ITER 1357 NEW BEST:: SOT 48809487 SOS 10422926 HAS SOPS 10422926 HAS SOUS 7213421 HAS SOUPS 7213421 WITH SCORE 7223843.926
AT ITER 1361 NEW BEST:: SOT 48808838 SOS 10419681 HAS SOPS 10419681 HAS SOUS 7212123 HAS SOUPS 7212123 WITH SCORE 7222542.681
AT ITER 1366 NEW BEST:: SOT 48807134 SOS 10421055 HAS SOPS 10421055 HAS SOUS 7212013 HAS SOUPS 7212013 WITH SCORE 7222434.055
AT ITER 1396 NEW BEST:: SOT 48807134 SOS 10420833 HAS SOPS 10420833 HAS SOUS 7212013 HAS SOUPS 7212013 WITH SCORE 7222433.833
AT ITER 1413 NEW BEST:: SOT 48799346 SOS 10430593 HAS SOPS 10430593 HAS SOUS 7205935 HAS SOUPS 7205935 WITH SCORE 7216365.593
AT ITER 1425 NEW BEST:: SOT 48798761 SOS 10430388 HAS SOPS 10430388 HAS SOUS 7205730 HAS SOUPS 7205730 WITH SCORE 7216160.388
AT ITER 1426 NEW BEST:: SOT 48789718 SOS 10453766 HAS SOPS 10453766 HAS SOUS 7199036 HAS SOUPS 7199036 WITH SCORE 7209489.766
AT ITER 1430 NEW BEST:: SOT 48789275 SOS 10452880 HAS SOPS 10452880 HAS SOUS 7198150 HAS SOUPS 7198150 WITH SCORE 7208602.88
AT ITER 1452 NEW BEST:: SOT 48786581 SOS 10448938 HAS SOPS 10448938 HAS SOUS 7194108 HAS SOUPS 7194108 WITH SCORE 7204556.938
AT ITER 1457 NEW BEST:: SOT 48786581 SOS 10449517 HAS SOPS 10449517 HAS SOUS 7194107 HAS SOUPS 7194107 WITH SCORE 7204556.517
AT ITER 1465 NEW BEST:: SOT 48787132 SOS 10449867 HAS SOPS 10449867 HAS SOUS 7193905 HAS SOUPS 7193905 WITH SCORE 7204354.867
AT ITER 1487 NEW BEST:: SOT 48786198 SOS 10448933 HAS SOPS 10448933 HAS SOUS 7192971 HAS SOUPS 7192971 WITH SCORE 7203419.933
AT ITER 1509 NEW BEST:: SOT 48786196 SOS 10448929 HAS SOPS 10448929 HAS SOUS 7192967 HAS SOUPS 7192967 WITH SCORE 7203415.929
AT ITER 1513 NEW BEST:: SOT 48783910 SOS 10447786 HAS SOPS 10447786 HAS SOUS 7191824 HAS SOUPS 7191824 WITH SCORE 7202271.786
AT ITER 1558 NEW BEST:: SOT 48783099 SOS 10447527 HAS SOPS 10447527 HAS SOUS 7191565 HAS SOUPS 7191565 WITH SCORE 7202012.527
AT ITER 1620 NEW BEST:: SOT 48781865 SOS 10447012 HAS SOPS 10447012 HAS SOUS 7188749 HAS SOUPS 7188749 WITH SCORE 7199196.012
AT ITER 1630 NEW BEST:: SOT 48770981 SOS 10439762 HAS SOPS 10439762 HAS SOUS 7182536 HAS SOUPS 7182536 WITH SCORE 7192975.762
AT ITER 1641 NEW BEST:: SOT 48770537 SOS 10438999 HAS SOPS 10438999 HAS SOUS 7181773 HAS SOUPS 7181773 WITH SCORE 7192211.999
AT ITER 1668 NEW BEST:: SOT 48770335 SOS 10438898 HAS SOPS 10438898 HAS SOUS 7181672 HAS SOUPS 7181672 WITH SCORE 7192110.898
AT ITER 1681 NEW BEST:: SOT 48769223 SOS 10438249 HAS SOPS 10438249 HAS SOUS 7181023 HAS SOUPS 7181023 WITH SCORE 7191461.249
AT ITER 1685 NEW BEST:: SOT 48769223 SOS 10437373 HAS SOPS 10437373 HAS SOUS 7181023 HAS SOUPS 7181023 WITH SCORE 7191460.373
AT ITER 1744 NEW BEST:: SOT 48769051 SOS 10437536 HAS SOPS 10437536 HAS SOUS 7181016 HAS SOUPS 7181016 WITH SCORE 7191453.536
AT ITER 1793 NEW BEST:: SOT 48768853 SOS 10437140 HAS SOPS 10437140 HAS SOUS 7180620 HAS SOUPS 7180620 WITH SCORE 7191057.14
AT ITER 1826 NEW BEST:: SOT 48767999 SOS 10436732 HAS SOPS 10436732 HAS SOUS 7180212 HAS SOUPS 7180212 WITH SCORE 7190648.732
AT ITER 1842 NEW BEST:: SOT 48767999 SOS 10436189 HAS SOPS 10436189 HAS SOUS 7179669 HAS SOUPS 7179669 WITH SCORE 7190105.189
AT ITER 1845 NEW BEST:: SOT 48767999 SOS 10436189 HAS SOPS 10436189 HAS SOUS 7179663 HAS SOUPS 7179663 WITH SCORE 7190099.189
AT ITER 1858 NEW BEST:: SOT 48767083 SOS 10434357 HAS SOPS 10434357 HAS SOUS 7177831 HAS SOUPS 7177831 WITH SCORE 7188265.357
AT ITER 1869 NEW BEST:: SOT 48764703 SOS 10433167 HAS SOPS 10433167 HAS SOUS 7176641 HAS SOUPS 7176641 WITH SCORE 7187074.167
AT ITER 1934 NEW BEST:: SOT 48764109 SOS 10431979 HAS SOPS 10431979 HAS SOUS 7174716 HAS SOUPS 7174716 WITH SCORE 7185147.979
AT ITER 1938 NEW BEST:: SOT 48764108 SOS 10431977 HAS SOPS 10431977 HAS SOUS 7174714 HAS SOUPS 7174714 WITH SCORE 7185145.977
AT ITER 1959 NEW BEST:: SOT 48762721 SOS 10429203 HAS SOPS 10429203 HAS SOUS 7171940 HAS SOUPS 7171940 WITH SCORE 7182369.203
AT ITER 1981 NEW BEST:: SOT 48762721 SOS 10428228 HAS SOPS 10428228 HAS SOUS 7171940 HAS SOUPS 7171940 WITH SCORE 7182368.228
AT ITER 1983 NEW BEST:: SOT 48762445 SOS 10427676 HAS SOPS 10427676 HAS SOUS 7171112 HAS SOUPS 7171112 WITH SCORE 7181539.676
AT ITER 1989 NEW BEST:: SOT 48761442 SOS 10428675 HAS SOPS 10428675 HAS SOUS 7169105 HAS SOUPS 7169105 WITH SCORE 7179533.675
AT ITER 1992 NEW BEST:: SOT 48761343 SOS 10428654 HAS SOPS 10428654 HAS SOUS 7169054 HAS SOUPS 7169054 WITH SCORE 7179482.654
AT ITER 2013 NEW BEST:: SOT 48760500 SOS 10427921 HAS SOPS 10427921 HAS SOUS 7168324 HAS SOUPS 7168324 WITH SCORE 7178751.921
AT ITER 2029 NEW BEST:: SOT 48760319 SOS 10427559 HAS SOPS 10427559 HAS SOUS 7167962 HAS SOUPS 7167962 WITH SCORE 7178389.559
AT ITER 2042 NEW BEST:: SOT 48760093 SOS 10427107 HAS SOPS 10427107 HAS SOUS 7167171 HAS SOUPS 7167171 WITH SCORE 7177598.107
AT ITER 2058 NEW BEST:: SOT 48760001 SOS 10426923 HAS SOPS 10426923 HAS SOUS 7166987 HAS SOUPS 7166987 WITH SCORE 7177413.923
AT ITER 2065 NEW BEST:: SOT 48758891 SOS 10425809 HAS SOPS 10425809 HAS SOUS 7165876 HAS SOUPS 7165876 WITH SCORE 7176301.809
AT ITER 2081 NEW BEST:: SOT 48758970 SOS 10425566 HAS SOPS 10425566 HAS SOUS 7165633 HAS SOUPS 7165633 WITH SCORE 7176058.566
AT ITER 2088 NEW BEST:: SOT 48758970 SOS 10425566 HAS SOPS 10425566 HAS SOUS 7164666 HAS SOUPS 7164666 WITH SCORE 7175091.566
AT ITER 2096 NEW BEST:: SOT 48753771 SOS 10416100 HAS SOPS 10416100 HAS SOUS 7158798 HAS SOUPS 7158798 WITH SCORE 7169214.1
AT ITER 2124 NEW BEST:: SOT 48753771 SOS 10416100 HAS SOPS 10416100 HAS SOUS 7158791 HAS SOUPS 7158791 WITH SCORE 7169207.1
AT ITER 2137 NEW BEST:: SOT 48753770 SOS 10416088 HAS SOPS 10416088 HAS SOUS 7158779 HAS SOUPS 7158779 WITH SCORE 7169195.088
AT ITER 2185 NEW BEST:: SOT 48753674 SOS 10416040 HAS SOPS 10416040 HAS SOUS 7158731 HAS SOUPS 7158731 WITH SCORE 7169147.04
AT ITER 2223 NEW BEST:: SOT 48753482 SOS 10415656 HAS SOPS 10415656 HAS SOUS 7158347 HAS SOUPS 7158347 WITH SCORE 7168762.656
AT ITER 2227 NEW BEST:: SOT 48753479 SOS 10415574 HAS SOPS 10415574 HAS SOUS 7158295 HAS SOUPS 7158295 WITH SCORE 7168710.574
AT ITER 2254 NEW BEST:: SOT 48753194 SOS 10415004 HAS SOPS 10415004 HAS SOUS 7158267 HAS SOUPS 7158267 WITH SCORE 7168682.004
AT ITER 2272 NEW BEST:: SOT 48752070 SOS 10414438 HAS SOPS 10414438 HAS SOUS 7157704 HAS SOUPS 7157704 WITH SCORE 7168118.438
AT ITER 2301 NEW BEST:: SOT 48751772 SOS 10413246 HAS SOPS 10413246 HAS SOUS 7157108 HAS SOUPS 7157108 WITH SCORE 7167521.246
AT ITER 2319 NEW BEST:: SOT 48749730 SOS 10414031 HAS SOPS 10414031 HAS SOUS 7155394 HAS SOUPS 7155394 WITH SCORE 7165808.031
AT ITER 2338 NEW BEST:: SOT 48717658 SOS 10394845 HAS SOPS 10394845 HAS SOUS 7124460 HAS SOUPS 7124460 WITH SCORE 7134854.845
AT ITER 2365 NEW BEST:: SOT 48717658 SOS 10394374 HAS SOPS 10394374 HAS SOUS 7123989 HAS SOUPS 7123989 WITH SCORE 7134383.374
AT ITER 2367 NEW BEST:: SOT 48717658 SOS 10394243 HAS SOPS 10394243 HAS SOUS 7123989 HAS SOUPS 7123989 WITH SCORE 7134383.243
AT ITER 2370 NEW BEST:: SOT 48716105 SOS 10391137 HAS SOPS 10391137 HAS SOUS 7120883 HAS SOUPS 7120883 WITH SCORE 7131274.137
AT ITER 2390 NEW BEST:: SOT 48714838 SOS 10390045 HAS SOPS 10390045 HAS SOUS 7119738 HAS SOUPS 7119738 WITH SCORE 7130128.045
AT ITER 2417 NEW BEST:: SOT 48714838 SOS 10390045 HAS SOPS 10390045 HAS SOUS 7119493 HAS SOUPS 7119493 WITH SCORE 7129883.045
AT ITER 2424 NEW BEST:: SOT 48714837 SOS 10390043 HAS SOPS 10390043 HAS SOUS 7119491 HAS SOUPS 7119491 WITH SCORE 7129881.043
AT ITER 2425 NEW BEST:: SOT 48714836 SOS 10390041 HAS SOPS 10390041 HAS SOUS 7119489 HAS SOUPS 7119489 WITH SCORE 7129879.041
AT ITER 2446 NEW BEST:: SOT 48714836 SOS 10389633 HAS SOPS 10389633 HAS SOUS 7119285 HAS SOUPS 7119285 WITH SCORE 7129674.633
AT ITER 2452 NEW BEST:: SOT 48714706 SOS 10389369 HAS SOPS 10389369 HAS SOUS 7119024 HAS SOUPS 7119024 WITH SCORE 7129413.369
AT ITER 2459 NEW BEST:: SOT 48714290 SOS 10388538 HAS SOPS 10388538 HAS SOUS 7118193 HAS SOUPS 7118193 WITH SCORE 7128581.538
AT ITER 2460 NEW BEST:: SOT 48713920 SOS 10388341 HAS SOPS 10388341 HAS SOUS 7117996 HAS SOUPS 7117996 WITH SCORE 7128384.341
AT ITER 2496 NEW BEST:: SOT 48713001 SOS 10387418 HAS SOPS 10387418 HAS SOUS 7117076 HAS SOUPS 7117076 WITH SCORE 7127463.418
AT ITER 2510 NEW BEST:: SOT 48712657 SOS 10386796 HAS SOPS 10386796 HAS SOUS 7116454 HAS SOUPS 7116454 WITH SCORE 7126840.796
AT ITER 2527 NEW BEST:: SOT 48710237 SOS 10385586 HAS SOPS 10385586 HAS SOUS 7115244 HAS SOUPS 7115244 WITH SCORE 7125629.586
AT ITER 2540 NEW BEST:: SOT 48709356 SOS 10388864 HAS SOPS 10388864 HAS SOUS 7114460 HAS SOUPS 7114460 WITH SCORE 7124848.864
AT ITER 2546 NEW BEST:: SOT 48708918 SOS 10391179 HAS SOPS 10391179 HAS SOUS 7112956 HAS SOUPS 7112956 WITH SCORE 7123347.179
AT ITER 2550 NEW BEST:: SOT 48708707 SOS 10390757 HAS SOPS 10390757 HAS SOUS 7112238 HAS SOUPS 7112238 WITH SCORE 7122628.757
AT ITER 2569 NEW BEST:: SOT 48708299 SOS 10389941 HAS SOPS 10389941 HAS SOUS 7111422 HAS SOUPS 7111422 WITH SCORE 7121811.941
AT ITER 2578 NEW BEST:: SOT 48708267 SOS 10389877 HAS SOPS 10389877 HAS SOUS 7111358 HAS SOUPS 7111358 WITH SCORE 7121747.877
AT ITER 2579 NEW BEST:: SOT 48707538 SOS 10388419 HAS SOPS 10388419 HAS SOUS 7109331 HAS SOUPS 7109331 WITH SCORE 7119719.419
AT ITER 2582 NEW BEST:: SOT 48706981 SOS 10387305 HAS SOPS 10387305 HAS SOUS 7108217 HAS SOUPS 7108217 WITH SCORE 7118604.305
AT ITER 2603 NEW BEST:: SOT 48706457 SOS 10386257 HAS SOPS 10386257 HAS SOUS 7107693 HAS SOUPS 7107693 WITH SCORE 7118079.257
AT ITER 2620 NEW BEST:: SOT 48706204 SOS 10385775 HAS SOPS 10385775 HAS SOUS 7107211 HAS SOUPS 7107211 WITH SCORE 7117596.775
AT ITER 2641 NEW BEST:: SOT 48705650 SOS 10385794 HAS SOPS 10385794 HAS SOUS 7106587 HAS SOUPS 7106587 WITH SCORE 7116972.794
AT ITER 2659 NEW BEST:: SOT 48705361 SOS 10385216 HAS SOPS 10385216 HAS SOUS 7106009 HAS SOUPS 7106009 WITH SCORE 7116394.216
AT ITER 2676 NEW BEST:: SOT 48704082 SOS 10395708 HAS SOPS 10395708 HAS SOUS 7104871 HAS SOUPS 7104871 WITH SCORE 7115266.708
AT ITER 2706 NEW BEST:: SOT 48704082 SOS 10394502 HAS SOPS 10394502 HAS SOUS 7104469 HAS SOUPS 7104469 WITH SCORE 7114863.502
AT ITER 2730 NEW BEST:: SOT 48704082 SOS 10394936 HAS SOPS 10394936 HAS SOUS 7104468 HAS SOUPS 7104468 WITH SCORE 7114862.936
AT ITER 2732 NEW BEST:: SOT 48703221 SOS 10393559 HAS SOPS 10393559 HAS SOUS 7103091 HAS SOUPS 7103091 WITH SCORE 7113484.559
AT ITER 2739 NEW BEST:: SOT 48703221 SOS 10393492 HAS SOPS 10393492 HAS SOUS 7103024 HAS SOUPS 7103024 WITH SCORE 7113417.492
AT ITER 2766 NEW BEST:: SOT 48703221 SOS 10393415 HAS SOPS 10393415 HAS SOUS 7103024 HAS SOUPS 7103024 WITH SCORE 7113417.415
AT ITER 2767 NEW BEST:: SOT 48703221 SOS 10392819 HAS SOPS 10392819 HAS SOUS 7103024 HAS SOUPS 7103024 WITH SCORE 7113416.819
AT ITER 2772 NEW BEST:: SOT 48703221 SOS 10392362 HAS SOPS 10392362 HAS SOUS 7102567 HAS SOUPS 7102567 WITH SCORE 7112959.362
AT ITER 2788 NEW BEST:: SOT 48703221 SOS 10393293 HAS SOPS 10393293 HAS SOUS 7102566 HAS SOUPS 7102566 WITH SCORE 7112959.293
AT ITER 2822 NEW BEST:: SOT 48703016 SOS 10392883 HAS SOPS 10392883 HAS SOUS 7102156 HAS SOUPS 7102156 WITH SCORE 7112548.883
AT ITER 2843 NEW BEST:: SOT 48702599 SOS 10392049 HAS SOPS 10392049 HAS SOUS 7101322 HAS SOUPS 7101322 WITH SCORE 7111714.049
AT ITER 2901 NEW BEST:: SOT 48702226 SOS 10391303 HAS SOPS 10391303 HAS SOUS 7100944 HAS SOUPS 7100944 WITH SCORE 7111335.303
AT ITER 2906 NEW BEST:: SOT 48702226 SOS 10391978 HAS SOPS 10391978 HAS SOUS 7100943 HAS SOUPS 7100943 WITH SCORE 7111334.978
AT ITER 2911 NEW BEST:: SOT 48702226 SOS 10392293 HAS SOPS 10392293 HAS SOUS 7100942 HAS SOUPS 7100942 WITH SCORE 7111334.293
AT ITER 2913 NEW BEST:: SOT 48701831 SOS 10393079 HAS SOPS 10393079 HAS SOUS 7100546 HAS SOUPS 7100546 WITH SCORE 7110939.079
AT ITER 2945 NEW BEST:: SOT 48701831 SOS 10392218 HAS SOPS 10392218 HAS SOUS 7100546 HAS SOUPS 7100546 WITH SCORE 7110938.218
AT ITER 2951 NEW BEST:: SOT 48701818 SOS 10392192 HAS SOPS 10392192 HAS SOUS 7100546 HAS SOUPS 7100546 WITH SCORE 7110938.192
AT ITER 2968 NEW BEST:: SOT 48701288 SOS 10391132 HAS SOPS 10391132 HAS SOUS 7099486 HAS SOUPS 7099486 WITH SCORE 7109877.132
AT ITER 3007 NEW BEST:: SOT 48699502 SOS 10386624 HAS SOPS 10386624 HAS SOUS 7094789 HAS SOUPS 7094789 WITH SCORE 7105175.624
AT ITER 3022 NEW BEST:: SOT 48699502 SOS 10385966 HAS SOPS 10385966 HAS SOUS 7094789 HAS SOUPS 7094789 WITH SCORE 7105174.966
AT ITER 3027 NEW BEST:: SOT 48699120 SOS 10385202 HAS SOPS 10385202 HAS SOUS 7094404 HAS SOUPS 7094404 WITH SCORE 7104789.202
AT ITER 3069 NEW BEST:: SOT 48698946 SOS 10384855 HAS SOPS 10384855 HAS SOUS 7094057 HAS SOUPS 7094057 WITH SCORE 7104441.855
AT ITER 3108 NEW BEST:: SOT 48698134 SOS 10384712 HAS SOPS 10384712 HAS SOUS 7093914 HAS SOUPS 7093914 WITH SCORE 7104298.712
AT ITER 3125 NEW BEST:: SOT 48697994 SOS 10384432 HAS SOPS 10384432 HAS SOUS 7093634 HAS SOUPS 7093634 WITH SCORE 7104018.432
AT ITER 3142 NEW BEST:: SOT 48696793 SOS 10383227 HAS SOPS 10383227 HAS SOUS 7092432 HAS SOUPS 7092432 WITH SCORE 7102815.227
AT ITER 3175 NEW BEST:: SOT 48694829 SOS 10382213 HAS SOPS 10382213 HAS SOUS 7090586 HAS SOUPS 7090586 WITH SCORE 7100968.213
AT ITER 3188 NEW BEST:: SOT 48694808 SOS 10382171 HAS SOPS 10382171 HAS SOUS 7090544 HAS SOUPS 7090544 WITH SCORE 7100926.171
AT ITER 3210 NEW BEST:: SOT 48694808 SOS 10379554 HAS SOPS 10379554 HAS SOUS 7090544 HAS SOUPS 7090544 WITH SCORE 7100923.554
AT ITER 3211 NEW BEST:: SOT 48690760 SOS 10380180 HAS SOPS 10380180 HAS SOUS 7089239 HAS SOUPS 7089239 WITH SCORE 7099619.18
AT ITER 3212 NEW BEST:: SOT 48690934 SOS 10379744 HAS SOPS 10379744 HAS SOUS 7088332 HAS SOUPS 7088332 WITH SCORE 7098711.744
AT ITER 3217 NEW BEST:: SOT 48690314 SOS 10378504 HAS SOPS 10378504 HAS SOUS 7087092 HAS SOUPS 7087092 WITH SCORE 7097470.504
AT ITER 3232 NEW BEST:: SOT 48690314 SOS 10377955 HAS SOPS 10377955 HAS SOUS 7086909 HAS SOUPS 7086909 WITH SCORE 7097286.955
AT ITER 3259 NEW BEST:: SOT 48690313 SOS 10380343 HAS SOPS 10380343 HAS SOUS 7086906 HAS SOUPS 7086906 WITH SCORE 7097286.343
AT ITER 3263 NEW BEST:: SOT 48690313 SOS 10368220 HAS SOPS 10368220 HAS SOUS 7086906 HAS SOUPS 7086906 WITH SCORE 7097274.22
AT ITER 3270 NEW BEST:: SOT 48690076 SOS 10367742 HAS SOPS 10367742 HAS SOUS 7086431 HAS SOUPS 7086431 WITH SCORE 7096798.742
AT ITER 3279 NEW BEST:: SOT 48689267 SOS 10366994 HAS SOPS 10366994 HAS SOUS 7085683 HAS SOUPS 7085683 WITH SCORE 7096049.994
AT ITER 3287 NEW BEST:: SOT 48688589 SOS 10366316 HAS SOPS 10366316 HAS SOUS 7085005 HAS SOUPS 7085005 WITH SCORE 7095371.316
AT ITER 3305 NEW BEST:: SOT 48688025 SOS 10365780 HAS SOPS 10365780 HAS SOUS 7084891 HAS SOUPS 7084891 WITH SCORE 7095256.78
AT ITER 3320 NEW BEST:: SOT 48688025 SOS 10365166 HAS SOPS 10365166 HAS SOUS 7084584 HAS SOUPS 7084584 WITH SCORE 7094949.166
AT ITER 3329 NEW BEST:: SOT 48687390 SOS 10363895 HAS SOPS 10363895 HAS SOUS 7083313 HAS SOUPS 7083313 WITH SCORE 7093676.895
AT ITER 3339 NEW BEST:: SOT 48686482 SOS 10363061 HAS SOPS 10363061 HAS SOUS 7082479 HAS SOUPS 7082479 WITH SCORE 7092842.061
AT ITER 3345 NEW BEST:: SOT 48686085 SOS 10362267 HAS SOPS 10362267 HAS SOUS 7081179 HAS SOUPS 7081179 WITH SCORE 7091541.267
AT ITER 3347 NEW BEST:: SOT 48686085 SOS 10362267 HAS SOPS 10362267 HAS SOUS 7079453 HAS SOUPS 7079453 WITH SCORE 7089815.267
AT ITER 3358 NEW BEST:: SOT 48686085 SOS 10362267 HAS SOPS 10362267 HAS SOUS 7078003 HAS SOUPS 7078003 WITH SCORE 7088365.267
AT ITER 3400 NEW BEST:: SOT 48685286 SOS 10362163 HAS SOPS 10362163 HAS SOUS 7077899 HAS SOUPS 7077899 WITH SCORE 7088261.163
AT ITER 3402 NEW BEST:: SOT 48685286 SOS 10366131 HAS SOPS 10366131 HAS SOUS 7076574 HAS SOUPS 7076574 WITH SCORE 7086940.131
AT ITER 3417 NEW BEST:: SOT 48685285 SOS 10365888 HAS SOPS 10365888 HAS SOUS 7076331 HAS SOUPS 7076331 WITH SCORE 7086696.888
AT ITER 3422 NEW BEST:: SOT 48684600 SOS 10364519 HAS SOPS 10364519 HAS SOUS 7075317 HAS SOUPS 7075317 WITH SCORE 7085681.519
AT ITER 3426 NEW BEST:: SOT 48684599 SOS 10364732 HAS SOPS 10364732 HAS SOUS 7075075 HAS SOUPS 7075075 WITH SCORE 7085439.732
AT ITER 3437 NEW BEST:: SOT 48683990 SOS 10365328 HAS SOPS 10365328 HAS SOUS 7074945 HAS SOUPS 7074945 WITH SCORE 7085310.328
AT ITER 3457 NEW BEST:: SOT 48682841 SOS 10367181 HAS SOPS 10367181 HAS SOUS 7072490 HAS SOUPS 7072490 WITH SCORE 7082857.181
AT ITER 3478 NEW BEST:: SOT 48676307 SOS 10362429 HAS SOPS 10362429 HAS SOUS 7068332 HAS SOUPS 7068332 WITH SCORE 7078694.429
AT ITER 3484 NEW BEST:: SOT 48676007 SOS 10361829 HAS SOPS 10361829 HAS SOUS 7067470 HAS SOUPS 7067470 WITH SCORE 7077831.829
AT ITER 3485 NEW BEST:: SOT 48676191 SOS 10362197 HAS SOPS 10362197 HAS SOUS 7066342 HAS SOUPS 7066342 WITH SCORE 7076704.197
AT ITER 3506 NEW BEST:: SOT 48673489 SOS 10361380 HAS SOPS 10361380 HAS SOUS 7065169 HAS SOUPS 7065169 WITH SCORE 7075530.38
AT ITER 3508 NEW BEST:: SOT 48673489 SOS 10361169 HAS SOPS 10361169 HAS SOUS 7065169 HAS SOUPS 7065169 WITH SCORE 7075530.169
AT ITER 3515 NEW BEST:: SOT 48671999 SOS 10358189 HAS SOPS 10358189 HAS SOUS 7062189 HAS SOUPS 7062189 WITH SCORE 7072547.189
AT ITER 3539 NEW BEST:: SOT 48671999 SOS 10358189 HAS SOPS 10358189 HAS SOUS 7060920 HAS SOUPS 7060920 WITH SCORE 7071278.189
AT ITER 3549 NEW BEST:: SOT 48671629 SOS 10357449 HAS SOPS 10357449 HAS SOUS 7060550 HAS SOUPS 7060550 WITH SCORE 7070907.449
AT ITER 3550 NEW BEST:: SOT 48671434 SOS 10357449 HAS SOPS 10357449 HAS SOUS 7060355 HAS SOUPS 7060355 WITH SCORE 7070712.449
AT ITER 3570 NEW BEST:: SOT 48670416 SOS 10355413 HAS SOPS 10355413 HAS SOUS 7058319 HAS SOUPS 7058319 WITH SCORE 7068674.413
AT ITER 3587 NEW BEST:: SOT 48669078 SOS 10348723 HAS SOPS 10348723 HAS SOUS 7055643 HAS SOUPS 7055643 WITH SCORE 7065991.723
AT ITER 3605 NEW BEST:: SOT 48668844 SOS 10348489 HAS SOPS 10348489 HAS SOUS 7055409 HAS SOUPS 7055409 WITH SCORE 7065757.489
AT ITER 3611 NEW BEST:: SOT 48668245 SOS 10348075 HAS SOPS 10348075 HAS SOUS 7054904 HAS SOUPS 7054904 WITH SCORE 7065252.075
AT ITER 3613 NEW BEST:: SOT 48664615 SOS 10344445 HAS SOPS 10344445 HAS SOUS 7051274 HAS SOUPS 7051274 WITH SCORE 7061618.445
AT ITER 3618 NEW BEST:: SOT 48663646 SOS 10342507 HAS SOPS 10342507 HAS SOUS 7049336 HAS SOUPS 7049336 WITH SCORE 7059678.507
AT ITER 3628 NEW BEST:: SOT 48663646 SOS 10342507 HAS SOPS 10342507 HAS SOUS 7049066 HAS SOUPS 7049066 WITH SCORE 7059408.507
AT ITER 3633 NEW BEST:: SOT 48663578 SOS 10342439 HAS SOPS 10342439 HAS SOUS 7048998 HAS SOUPS 7048998 WITH SCORE 7059340.439
AT ITER 3639 NEW BEST:: SOT 48663239 SOS 10343109 HAS SOPS 10343109 HAS SOUS 7048657 HAS SOUPS 7048657 WITH SCORE 7059000.109
AT ITER 3644 NEW BEST:: SOT 48662303 SOS 10341237 HAS SOPS 10341237 HAS SOUS 7046384 HAS SOUPS 7046384 WITH SCORE 7056725.237
AT ITER 3657 NEW BEST:: SOT 48662174 SOS 10340979 HAS SOPS 10340979 HAS SOUS 7046126 HAS SOUPS 7046126 WITH SCORE 7056466.979
AT ITER 3659 NEW BEST:: SOT 48661654 SOS 10340459 HAS SOPS 10340459 HAS SOUS 7045606 HAS SOUPS 7045606 WITH SCORE 7055946.459
AT ITER 3668 NEW BEST:: SOT 48660794 SOS 10339661 HAS SOPS 10339661 HAS SOUS 7044808 HAS SOUPS 7044808 WITH SCORE 7055147.661
AT ITER 3690 NEW BEST:: SOT 48659406 SOS 10324393 HAS SOPS 10324393 HAS SOUS 7042032 HAS SOUPS 7042032 WITH SCORE 7052356.393
AT ITER 3717 NEW BEST:: SOT 48658822 SOS 10323809 HAS SOPS 10323809 HAS SOUS 7041448 HAS SOUPS 7041448 WITH SCORE 7051771.809
AT ITER 3744 NEW BEST:: SOT 48653451 SOS 10336902 HAS SOPS 10336902 HAS SOUS 7040981 HAS SOUPS 7040981 WITH SCORE 7051317.902
AT ITER 3756 NEW BEST:: SOT 48652347 SOS 10336422 HAS SOPS 10336422 HAS SOUS 7040501 HAS SOUPS 7040501 WITH SCORE 7050837.422
AT ITER 3761 NEW BEST:: SOT 48652347 SOS 10336289 HAS SOPS 10336289 HAS SOUS 7040368 HAS SOUPS 7040368 WITH SCORE 7050704.289
AT ITER 3808 NEW BEST:: SOT 48651642 SOS 10338268 HAS SOPS 10338268 HAS SOUS 7038531 HAS SOUPS 7038531 WITH SCORE 7048869.268
AT ITER 3823 NEW BEST:: SOT 48651554 SOS 10338092 HAS SOPS 10338092 HAS SOUS 7038355 HAS SOUPS 7038355 WITH SCORE 7048693.092
AT ITER 3860 NEW BEST:: SOT 48651266 SOS 10337928 HAS SOPS 10337928 HAS SOUS 7038104 HAS SOUPS 7038104 WITH SCORE 7048441.928
AT ITER 3862 NEW BEST:: SOT 48650575 SOS 10337634 HAS SOPS 10337634 HAS SOUS 7035081 HAS SOUPS 7035081 WITH SCORE 7045418.634
AT ITER 3876 NEW BEST:: SOT 48650575 SOS 10336923 HAS SOPS 10336923 HAS SOUS 7034844 HAS SOUPS 7034844 WITH SCORE 7045180.923
AT ITER 3935 NEW BEST:: SOT 48650292 SOS 10336357 HAS SOPS 10336357 HAS SOUS 7034278 HAS SOUPS 7034278 WITH SCORE 7044614.357
AT ITER 3955 NEW BEST:: SOT 48650292 SOS 10335166 HAS SOPS 10335166 HAS SOUS 7034278 HAS SOUPS 7034278 WITH SCORE 7044613.166
AT ITER 3964 NEW BEST:: SOT 48648839 SOS 10330425 HAS SOPS 10330425 HAS SOUS 7032003 HAS SOUPS 7032003 WITH SCORE 7042333.425
AT ITER 3969 NEW BEST:: SOT 48648147 SOS 10326965 HAS SOPS 10326965 HAS SOUS 7030619 HAS SOUPS 7030619 WITH SCORE 7040945.965
AT ITER 3999 NEW BEST:: SOT 48648147 SOS 10326127 HAS SOPS 10326127 HAS SOUS 7029781 HAS SOUPS 7029781 WITH SCORE 7040107.127
AT ITER 4009 NEW BEST:: SOT 48647571 SOS 10324975 HAS SOPS 10324975 HAS SOUS 7028629 HAS SOUPS 7028629 WITH SCORE 7038953.975
AT ITER 4012 NEW BEST:: SOT 48646923 SOS 10324327 HAS SOPS 10324327 HAS SOUS 7027981 HAS SOUPS 7027981 WITH SCORE 7038305.327
AT ITER 4037 NEW BEST:: SOT 48646923 SOS 10325537 HAS SOPS 10325537 HAS SOUS 7027979 HAS SOUPS 7027979 WITH SCORE 7038304.537
AT ITER 4061 NEW BEST:: SOT 48645295 SOS 10320729 HAS SOPS 10320729 HAS SOUS 7023945 HAS SOUPS 7023945 WITH SCORE 7034265.729
AT ITER 4069 NEW BEST:: SOT 48644691 SOS 10319521 HAS SOPS 10319521 HAS SOUS 7022737 HAS SOUPS 7022737 WITH SCORE 7033056.521
AT ITER 4096 NEW BEST:: SOT 48643849 SOS 10318679 HAS SOPS 10318679 HAS SOUS 7021895 HAS SOUPS 7021895 WITH SCORE 7032213.679
AT ITER 4098 NEW BEST:: SOT 48643849 SOS 10318216 HAS SOPS 10318216 HAS SOUS 7021432 HAS SOUPS 7021432 WITH SCORE 7031750.216
AT ITER 4152 NEW BEST:: SOT 48643849 SOS 10318008 HAS SOPS 10318008 HAS SOUS 7021432 HAS SOUPS 7021432 WITH SCORE 7031750.008
AT ITER 4164 NEW BEST:: SOT 48643849 SOS 10318008 HAS SOPS 10318008 HAS SOUS 7021203 HAS SOUPS 7021203 WITH SCORE 7031521.008
AT ITER 4176 NEW BEST:: SOT 48643839 SOS 10318018 HAS SOPS 10318018 HAS SOUS 7021183 HAS SOUPS 7021183 WITH SCORE 7031501.018
AT ITER 4189 NEW BEST:: SOT 48643839 SOS 10317855 HAS SOPS 10317855 HAS SOUS 7021020 HAS SOUPS 7021020 WITH SCORE 7031337.855
AT ITER 4208 NEW BEST:: SOT 48643167 SOS 10316512 HAS SOPS 10316512 HAS SOUS 7020034 HAS SOUPS 7020034 WITH SCORE 7030350.512
AT ITER 4209 NEW BEST:: SOT 48642542 SOS 10315261 HAS SOPS 10315261 HAS SOUS 7018783 HAS SOUPS 7018783 WITH SCORE 7029098.261
AT ITER 4215 NEW BEST:: SOT 48642542 SOS 10315261 HAS SOPS 10315261 HAS SOUS 7017613 HAS SOUPS 7017613 WITH SCORE 7027928.261
AT ITER 4219 NEW BEST:: SOT 48640236 SOS 10312144 HAS SOPS 10312144 HAS SOUS 7014152 HAS SOUPS 7014152 WITH SCORE 7024464.144
AT ITER 4228 NEW BEST:: SOT 48637470 SOS 10313656 HAS SOPS 10313656 HAS SOUS 7013938 HAS SOUPS 7013938 WITH SCORE 7024251.656
AT ITER 4264 NEW BEST:: SOT 48637469 SOS 10313654 HAS SOPS 10313654 HAS SOUS 7013936 HAS SOUPS 7013936 WITH SCORE 7024249.654
AT ITER 4288 NEW BEST:: SOT 48631382 SOS 10315952 HAS SOPS 10315952 HAS SOUS 7012383 HAS SOUPS 7012383 WITH SCORE 7022698.952
AT ITER 4292 NEW BEST:: SOT 48630496 SOS 10315066 HAS SOPS 10315066 HAS SOUS 7011497 HAS SOUPS 7011497 WITH SCORE 7021812.066
AT ITER 4320 NEW BEST:: SOT 48630303 SOS 10315256 HAS SOPS 10315256 HAS SOUS 7011303 HAS SOUPS 7011303 WITH SCORE 7021618.256
AT ITER 4383 NEW BEST:: SOT 48630303 SOS 10314402 HAS SOPS 10314402 HAS SOUS 7010449 HAS SOUPS 7010449 WITH SCORE 7020763.402
AT ITER 4390 NEW BEST:: SOT 48630150 SOS 10314096 HAS SOPS 10314096 HAS SOUS 7010143 HAS SOUPS 7010143 WITH SCORE 7020457.096
AT ITER 4409 NEW BEST:: SOT 48630150 SOS 10314096 HAS SOPS 10314096 HAS SOUS 7010142 HAS SOUPS 7010142 WITH SCORE 7020456.096
AT ITER 4423 NEW BEST:: SOT 48630115 SOS 10314027 HAS SOPS 10314027 HAS SOUS 7010073 HAS SOUPS 7010073 WITH SCORE 7020387.027
AT ITER 4439 NEW BEST:: SOT 48630114 SOS 10313791 HAS SOPS 10313791 HAS SOUS 7010072 HAS SOUPS 7010072 WITH SCORE 7020385.791
AT ITER 4467 NEW BEST:: SOT 48629308 SOS 10313159 HAS SOPS 10313159 HAS SOUS 7009825 HAS SOUPS 7009825 WITH SCORE 7020138.159
AT ITER 4535 NEW BEST:: SOT 48629051 SOS 10310308 HAS SOPS 10310308 HAS SOUS 7009311 HAS SOUPS 7009311 WITH SCORE 7019621.308
AT ITER 4562 NEW BEST:: SOT 48628789 SOS 10309784 HAS SOPS 10309784 HAS SOUS 7008787 HAS SOUPS 7008787 WITH SCORE 7019096.784
AT ITER 4565 NEW BEST:: SOT 48628878 SOS 10308252 HAS SOPS 10308252 HAS SOUS 7008064 HAS SOUPS 7008064 WITH SCORE 7018372.252
AT ITER 4578 NEW BEST:: SOT 48629184 SOS 10308864 HAS SOPS 10308864 HAS SOUS 7007670 HAS SOUPS 7007670 WITH SCORE 7017978.864
AT ITER 4584 NEW BEST:: SOT 48629183 SOS 10308862 HAS SOPS 10308862 HAS SOUS 7007668 HAS SOUPS 7007668 WITH SCORE 7017976.862
AT ITER 4625 NEW BEST:: SOT 48628318 SOS 10308028 HAS SOPS 10308028 HAS SOUS 7006837 HAS SOUPS 7006837 WITH SCORE 7017145.028
AT ITER 4645 NEW BEST:: SOT 48628264 SOS 10308132 HAS SOPS 10308132 HAS SOUS 7006782 HAS SOUPS 7006782 WITH SCORE 7017090.132
AT ITER 4647 NEW BEST:: SOT 48628264 SOS 10308132 HAS SOPS 10308132 HAS SOUS 7006779 HAS SOUPS 7006779 WITH SCORE 7017087.132
AT ITER 4649 NEW BEST:: SOT 48628038 SOS 10307680 HAS SOPS 10307680 HAS SOUS 7005005 HAS SOUPS 7005005 WITH SCORE 7015312.68
AT ITER 4650 NEW BEST:: SOT 48628037 SOS 10307173 HAS SOPS 10307173 HAS SOUS 7004498 HAS SOUPS 7004498 WITH SCORE 7014805.173
AT ITER 4663 NEW BEST:: SOT 48628026 SOS 10307151 HAS SOPS 10307151 HAS SOUS 7004492 HAS SOUPS 7004492 WITH SCORE 7014799.151
AT ITER 4690 NEW BEST:: SOT 48627474 SOS 10306575 HAS SOPS 10306575 HAS SOUS 7004169 HAS SOUPS 7004169 WITH SCORE 7014475.575
AT ITER 4710 NEW BEST:: SOT 48626659 SOS 10304945 HAS SOPS 10304945 HAS SOUS 7002539 HAS SOUPS 7002539 WITH SCORE 7012843.945
AT ITER 4722 NEW BEST:: SOT 48626431 SOS 10304489 HAS SOPS 10304489 HAS SOUS 7000785 HAS SOUPS 7000785 WITH SCORE 7011089.489
AT ITER 4764 NEW BEST:: SOT 48626431 SOS 10304395 HAS SOPS 10304395 HAS SOUS 7000785 HAS SOUPS 7000785 WITH SCORE 7011089.395
AT ITER 4767 NEW BEST:: SOT 48625528 SOS 10303490 HAS SOPS 10303490 HAS SOUS 6999880 HAS SOUPS 6999880 WITH SCORE 7010183.49
AT ITER 4840 NEW BEST:: SOT 48625300 SOS 10302350 HAS SOPS 10302350 HAS SOUS 6999424 HAS SOUPS 6999424 WITH SCORE 7009726.35
AT ITER 4845 NEW BEST:: SOT 48625102 SOS 10301249 HAS SOPS 10301249 HAS SOUS 6999184 HAS SOUPS 6999184 WITH SCORE 7009485.249
AT ITER 4860 NEW BEST:: SOT 48625183 SOS 10301411 HAS SOPS 10301411 HAS SOUS 6997498 HAS SOUPS 6997498 WITH SCORE 7007799.411
AT ITER 4878 NEW BEST:: SOT 48625058 SOS 10301161 HAS SOPS 10301161 HAS SOUS 6996620 HAS SOUPS 6996620 WITH SCORE 7006921.161
AT ITER 4939 NEW BEST:: SOT 48623565 SOS 10299740 HAS SOPS 10299740 HAS SOUS 6995202 HAS SOUPS 6995202 WITH SCORE 7005501.74
AT ITER 4943 NEW BEST:: SOT 48622890 SOS 10299739 HAS SOPS 10299739 HAS SOUS 6994701 HAS SOUPS 6994701 WITH SCORE 7005000.739
AT ITER 4964 NEW BEST:: SOT 48622682 SOS 10299735 HAS SOPS 10299735 HAS SOUS 6994700 HAS SOUPS 6994700 WITH SCORE 7004999.735
AT ITER 5001 NEW BEST:: SOT 48622384 SOS 10299338 HAS SOPS 10299338 HAS SOUS 6994419 HAS SOUPS 6994419 WITH SCORE 7004718.338
AT ITER 5011 NEW BEST:: SOT 48622384 SOS 10298956 HAS SOPS 10298956 HAS SOUS 6994419 HAS SOUPS 6994419 WITH SCORE 7004717.956
AT ITER 5028 NEW BEST:: SOT 48622003 SOS 10297051 HAS SOPS 10297051 HAS SOUS 6993657 HAS SOUPS 6993657 WITH SCORE 7003954.051
AT ITER 5046 NEW BEST:: SOT 48621269 SOS 10296313 HAS SOPS 10296313 HAS SOUS 6992922 HAS SOUPS 6992922 WITH SCORE 7003218.313
AT ITER 5053 NEW BEST:: SOT 48620400 SOS 10302386 HAS SOPS 10302386 HAS SOUS 6991183 HAS SOUPS 6991183 WITH SCORE 7001485.386
AT ITER 5078 NEW BEST:: SOT 48620400 SOS 10303578 HAS SOPS 10303578 HAS SOUS 6991156 HAS SOUPS 6991156 WITH SCORE 7001459.578
AT ITER 5100 NEW BEST:: SOT 48619771 SOS 10302320 HAS SOPS 10302320 HAS SOUS 6989898 HAS SOUPS 6989898 WITH SCORE 7000200.32
AT ITER 5108 NEW BEST:: SOT 48619675 SOS 10302251 HAS SOPS 10302251 HAS SOUS 6989816 HAS SOUPS 6989816 WITH SCORE 7000118.251
AT ITER 5127 NEW BEST:: SOT 48618654 SOS 10300907 HAS SOPS 10300907 HAS SOUS 6988795 HAS SOUPS 6988795 WITH SCORE 6999095.907
AT ITER 5151 NEW BEST:: SOT 48618653 SOS 10300874 HAS SOPS 10300874 HAS SOUS 6988762 HAS SOUPS 6988762 WITH SCORE 6999062.874
AT ITER 5156 NEW BEST:: SOT 48617931 SOS 10300148 HAS SOPS 10300148 HAS SOUS 6988039 HAS SOUPS 6988039 WITH SCORE 6998339.148
AT ITER 5233 NEW BEST:: SOT 48617364 SOS 10300007 HAS SOPS 10300007 HAS SOUS 6987803 HAS SOUPS 6987803 WITH SCORE 6998103.007
AT ITER 5276 NEW BEST:: SOT 48613479 SOS 10301855 HAS SOPS 10301855 HAS SOUS 6987010 HAS SOUPS 6987010 WITH SCORE 6997311.855
AT ITER 5286 NEW BEST:: SOT 48613479 SOS 10301855 HAS SOPS 10301855 HAS SOUS 6986797 HAS SOUPS 6986797 WITH SCORE 6997098.855
AT ITER 5308 NEW BEST:: SOT 48613169 SOS 10301700 HAS SOPS 10301700 HAS SOUS 6986642 HAS SOUPS 6986642 WITH SCORE 6996943.7
AT ITER 5337 NEW BEST:: SOT 48612934 SOS 10301465 HAS SOPS 10301465 HAS SOUS 6986407 HAS SOUPS 6986407 WITH SCORE 6996708.465
AT ITER 5364 NEW BEST:: SOT 48612934 SOS 10301465 HAS SOPS 10301465 HAS SOUS 6985297 HAS SOUPS 6985297 WITH SCORE 6995598.465
AT ITER 5405 NEW BEST:: SOT 48611508 SOS 10296474 HAS SOPS 10296474 HAS SOUS 6983158 HAS SOUPS 6983158 WITH SCORE 6993454.474
AT ITER 5426 NEW BEST:: SOT 48611494 SOS 10296446 HAS SOPS 10296446 HAS SOUS 6983144 HAS SOUPS 6983144 WITH SCORE 6993440.446
AT ITER 5439 NEW BEST:: SOT 48609922 SOS 10295398 HAS SOPS 10295398 HAS SOUS 6982096 HAS SOUPS 6982096 WITH SCORE 6992391.398
AT ITER 5490 NEW BEST:: SOT 48609922 SOS 10295398 HAS SOPS 10295398 HAS SOUS 6980359 HAS SOUPS 6980359 WITH SCORE 6990654.398
AT ITER 5524 NEW BEST:: SOT 48609922 SOS 10294870 HAS SOPS 10294870 HAS SOUS 6980183 HAS SOUPS 6980183 WITH SCORE 6990477.87
AT ITER 5534 NEW BEST:: SOT 48609805 SOS 10294636 HAS SOPS 10294636 HAS SOUS 6979949 HAS SOUPS 6979949 WITH SCORE 6990243.636
AT ITER 5535 NEW BEST:: SOT 48609805 SOS 10295156 HAS SOPS 10295156 HAS SOUS 6979948 HAS SOUPS 6979948 WITH SCORE 6990243.156
AT ITER 5537 NEW BEST:: SOT 48608982 SOS 10291038 HAS SOPS 10291038 HAS SOUS 6978698 HAS SOUPS 6978698 WITH SCORE 6988989.038
AT ITER 5542 NEW BEST:: SOT 48608982 SOS 10291038 HAS SOPS 10291038 HAS SOUS 6978697 HAS SOUPS 6978697 WITH SCORE 6988988.038
AT ITER 5628 NEW BEST:: SOT 48608757 SOS 10290588 HAS SOPS 10290588 HAS SOUS 6978247 HAS SOUPS 6978247 WITH SCORE 6988537.588
AT ITER 5629 NEW BEST:: SOT 48608403 SOS 10290234 HAS SOPS 10290234 HAS SOUS 6977893 HAS SOUPS 6977893 WITH SCORE 6988183.234
AT ITER 5642 NEW BEST:: SOT 48606716 SOS 10271677 HAS SOPS 10271677 HAS SOUS 6974519 HAS SOUPS 6974519 WITH SCORE 6984790.677
AT ITER 5646 NEW BEST:: SOT 48606715 SOS 10271675 HAS SOPS 10271675 HAS SOUS 6974517 HAS SOUPS 6974517 WITH SCORE 6984788.675
AT ITER 5649 NEW BEST:: SOT 48606090 SOS 10270425 HAS SOPS 10270425 HAS SOUS 6974424 HAS SOUPS 6974424 WITH SCORE 6984694.425
AT ITER 5659 NEW BEST:: SOT 48603458 SOS 10268554 HAS SOPS 10268554 HAS SOUS 6972414 HAS SOUPS 6972414 WITH SCORE 6982682.554
AT ITER 5663 NEW BEST:: SOT 48603188 SOS 10268014 HAS SOPS 10268014 HAS SOUS 6971874 HAS SOUPS 6971874 WITH SCORE 6982142.014
AT ITER 5700 NEW BEST:: SOT 48603100 SOS 10267838 HAS SOPS 10267838 HAS SOUS 6971845 HAS SOUPS 6971845 WITH SCORE 6982112.838
AT ITER 5707 NEW BEST:: SOT 48603099 SOS 10267836 HAS SOPS 10267836 HAS SOUS 6971843 HAS SOUPS 6971843 WITH SCORE 6982110.836
AT ITER 5720 NEW BEST:: SOT 48603099 SOS 10267836 HAS SOPS 10267836 HAS SOUS 6970505 HAS SOUPS 6970505 WITH SCORE 6980772.836
AT ITER 5746 NEW BEST:: SOT 48602936 SOS 10269201 HAS SOPS 10269201 HAS SOUS 6970178 HAS SOUPS 6970178 WITH SCORE 6980447.201
AT ITER 5794 NEW BEST:: SOT 48602899 SOS 10269127 HAS SOPS 10269127 HAS SOUS 6970104 HAS SOUPS 6970104 WITH SCORE 6980373.127
AT ITER 5806 NEW BEST:: SOT 48602899 SOS 10269127 HAS SOPS 10269127 HAS SOUS 6970103 HAS SOUPS 6970103 WITH SCORE 6980372.127
AT ITER 5828 NEW BEST:: SOT 48602393 SOS 10269117 HAS SOPS 10269117 HAS SOUS 6969641 HAS SOUPS 6969641 WITH SCORE 6979910.117
AT ITER 5852 NEW BEST:: SOT 48601580 SOS 10268390 HAS SOPS 10268390 HAS SOUS 6968422 HAS SOUPS 6968422 WITH SCORE 6978690.39
AT ITER 5856 NEW BEST:: SOT 48600858 SOS 10266946 HAS SOPS 10266946 HAS SOUS 6966978 HAS SOUPS 6966978 WITH SCORE 6977244.946
AT ITER 5862 NEW BEST:: SOT 48600191 SOS 10266971 HAS SOPS 10266971 HAS SOUS 6966764 HAS SOUPS 6966764 WITH SCORE 6977030.971
AT ITER 5875 NEW BEST:: SOT 48596986 SOS 10269723 HAS SOPS 10269723 HAS SOUS 6965904 HAS SOUPS 6965904 WITH SCORE 6976173.723
AT ITER 5906 NEW BEST:: SOT 48596078 SOS 10264016 HAS SOPS 10264016 HAS SOUS 6964088 HAS SOUPS 6964088 WITH SCORE 6974352.016
AT ITER 5912 NEW BEST:: SOT 48595775 SOS 10263410 HAS SOPS 10263410 HAS SOUS 6963482 HAS SOUPS 6963482 WITH SCORE 6973745.41
AT ITER 5915 NEW BEST:: SOT 48595685 SOS 10263350 HAS SOPS 10263350 HAS SOUS 6963422 HAS SOUPS 6963422 WITH SCORE 6973685.35
AT ITER 5921 NEW BEST:: SOT 48594380 SOS 10263845 HAS SOPS 10263845 HAS SOUS 6963152 HAS SOUPS 6963152 WITH SCORE 6973415.845
AT ITER 5930 NEW BEST:: SOT 48593615 SOS 10262315 HAS SOPS 10262315 HAS SOUS 6961622 HAS SOUPS 6961622 WITH SCORE 6971884.315
AT ITER 5951 NEW BEST:: SOT 48592750 SOS 10260585 HAS SOPS 10260585 HAS SOUS 6959892 HAS SOUPS 6959892 WITH SCORE 6970152.585
AT ITER 5976 NEW BEST:: SOT 48590142 SOS 10262355 HAS SOPS 10262355 HAS SOUS 6959578 HAS SOUPS 6959578 WITH SCORE 6969840.355
AT ITER 5983 NEW BEST:: SOT 48587662 SOS 10261115 HAS SOPS 10261115 HAS SOUS 6958338 HAS SOUPS 6958338 WITH SCORE 6968599.115
AT ITER 5984 NEW BEST:: SOT 48587662 SOS 10263152 HAS SOPS 10263152 HAS SOUS 6957913 HAS SOUPS 6957913 WITH SCORE 6968176.152
AT ITER 5996 NEW BEST:: SOT 48587203 SOS 10262234 HAS SOPS 10262234 HAS SOUS 6956995 HAS SOUPS 6956995 WITH SCORE 6967257.234
AT ITER 5998 NEW BEST:: SOT 48558170 SOS 10303533 HAS SOPS 10303533 HAS SOUS 6934843 HAS SOUPS 6934843 WITH SCORE 6945146.533
AT ITER 6019 NEW BEST:: SOT 48557358 SOS 10301909 HAS SOPS 10301909 HAS SOUS 6932716 HAS SOUPS 6932716 WITH SCORE 6943017.909
AT ITER 6024 NEW BEST:: SOT 48556654 SOS 10303853 HAS SOPS 10303853 HAS SOUS 6930897 HAS SOUPS 6930897 WITH SCORE 6941200.853
AT ITER 6047 NEW BEST:: SOT 48556653 SOS 10303851 HAS SOPS 10303851 HAS SOUS 6930895 HAS SOUPS 6930895 WITH SCORE 6941198.851
AT ITER 6056 NEW BEST:: SOT 48556699 SOS 10303943 HAS SOPS 10303943 HAS SOUS 6930464 HAS SOUPS 6930464 WITH SCORE 6940767.943
AT ITER 6059 NEW BEST:: SOT 48555964 SOS 10304243 HAS SOPS 10304243 HAS SOUS 6930249 HAS SOUPS 6930249 WITH SCORE 6940553.243
AT ITER 6068 NEW BEST:: SOT 48555964 SOS 10306494 HAS SOPS 10306494 HAS SOUS 6930238 HAS SOUPS 6930238 WITH SCORE 6940544.494
AT ITER 6072 NEW BEST:: SOT 48556244 SOS 10306214 HAS SOPS 10306214 HAS SOUS 6930238 HAS SOUPS 6930238 WITH SCORE 6940544.214
AT ITER 6139 NEW BEST:: SOT 48556025 SOS 10305995 HAS SOPS 10305995 HAS SOUS 6930019 HAS SOUPS 6930019 WITH SCORE 6940324.995
AT ITER 6158 NEW BEST:: SOT 48556420 SOS 10304167 HAS SOPS 10304167 HAS SOUS 6929500 HAS SOUPS 6929500 WITH SCORE 6939804.167
AT ITER 6192 NEW BEST:: SOT 48556251 SOS 10303830 HAS SOPS 10303830 HAS SOUS 6929163 HAS SOUPS 6929163 WITH SCORE 6939466.83
AT ITER 6217 NEW BEST:: SOT 48556251 SOS 10303830 HAS SOPS 10303830 HAS SOUS 6929162 HAS SOUPS 6929162 WITH SCORE 6939465.83
AT ITER 6223 NEW BEST:: SOT 48556212 SOS 10303752 HAS SOPS 10303752 HAS SOUS 6929123 HAS SOUPS 6929123 WITH SCORE 6939426.752
AT ITER 6229 NEW BEST:: SOT 48555681 SOS 10307006 HAS SOPS 10307006 HAS SOUS 6928060 HAS SOUPS 6928060 WITH SCORE 6938367.006
AT ITER 6252 NEW BEST:: SOT 48555681 SOS 10307005 HAS SOPS 10307005 HAS SOUS 6928059 HAS SOUPS 6928059 WITH SCORE 6938366.005
AT ITER 6261 NEW BEST:: SOT 48555680 SOS 10307736 HAS SOPS 10307736 HAS SOUS 6927854 HAS SOUPS 6927854 WITH SCORE 6938161.736
AT ITER 6263 NEW BEST:: SOT 48555178 SOS 10306732 HAS SOPS 10306732 HAS SOUS 6927352 HAS SOUPS 6927352 WITH SCORE 6937658.732
AT ITER 6276 NEW BEST:: SOT 48555586 SOS 10305969 HAS SOPS 10305969 HAS SOUS 6926589 HAS SOUPS 6926589 WITH SCORE 6936894.969
AT ITER 6295 NEW BEST:: SOT 48555585 SOS 10305967 HAS SOPS 10305967 HAS SOUS 6926587 HAS SOUPS 6926587 WITH SCORE 6936892.967
AT ITER 6310 NEW BEST:: SOT 48554432 SOS 10304868 HAS SOPS 10304868 HAS SOUS 6925488 HAS SOUPS 6925488 WITH SCORE 6935792.868
AT ITER 6318 NEW BEST:: SOT 48554305 SOS 10305122 HAS SOPS 10305122 HAS SOUS 6925361 HAS SOUPS 6925361 WITH SCORE 6935666.122
AT ITER 6319 NEW BEST:: SOT 48554730 SOS 10304904 HAS SOPS 10304904 HAS SOUS 6925143 HAS SOUPS 6925143 WITH SCORE 6935447.904
AT ITER 6348 NEW BEST:: SOT 48551797 SOS 10303733 HAS SOPS 10303733 HAS SOUS 6923775 HAS SOUPS 6923775 WITH SCORE 6934078.733
AT ITER 6401 NEW BEST:: SOT 48551621 SOS 10303381 HAS SOPS 10303381 HAS SOUS 6923423 HAS SOUPS 6923423 WITH SCORE 6933726.381
AT ITER 6432 NEW BEST:: SOT 48552086 SOS 10298099 HAS SOPS 10298099 HAS SOUS 6923072 HAS SOUPS 6923072 WITH SCORE 6933370.099
AT ITER 6453 NEW BEST:: SOT 48551542 SOS 10298095 HAS SOPS 10298095 HAS SOUS 6922799 HAS SOUPS 6922799 WITH SCORE 6933097.095
AT ITER 6464 NEW BEST:: SOT 48551207 SOS 10297425 HAS SOPS 10297425 HAS SOUS 6922464 HAS SOUPS 6922464 WITH SCORE 6932761.425
AT ITER 6469 NEW BEST:: SOT 48551191 SOS 10297345 HAS SOPS 10297345 HAS SOUS 6922432 HAS SOUPS 6922432 WITH SCORE 6932729.345
AT ITER 6475 NEW BEST:: SOT 48551250 SOS 10296325 HAS SOPS 10296325 HAS SOUS 6921951 HAS SOUPS 6921951 WITH SCORE 6932247.325
AT ITER 6481 NEW BEST:: SOT 48550091 SOS 10295162 HAS SOPS 10295162 HAS SOUS 6920791 HAS SOUPS 6920791 WITH SCORE 6931086.162
AT ITER 6500 NEW BEST:: SOT 48549871 SOS 10294722 HAS SOPS 10294722 HAS SOUS 6920599 HAS SOUPS 6920599 WITH SCORE 6930893.722
AT ITER 6524 NEW BEST:: SOT 48549535 SOS 10294050 HAS SOPS 10294050 HAS SOUS 6920263 HAS SOUPS 6920263 WITH SCORE 6930557.05
AT ITER 6525 NEW BEST:: SOT 48546615 SOS 10292845 HAS SOPS 10292845 HAS SOUS 6918888 HAS SOUPS 6918888 WITH SCORE 6929180.845
AT ITER 6543 NEW BEST:: SOT 48546328 SOS 10292271 HAS SOPS 10292271 HAS SOUS 6918314 HAS SOUPS 6918314 WITH SCORE 6928606.271
AT ITER 6580 NEW BEST:: SOT 48546328 SOS 10292271 HAS SOPS 10292271 HAS SOUS 6918069 HAS SOUPS 6918069 WITH SCORE 6928361.271
AT ITER 6612 NEW BEST:: SOT 48542473 SOS 10292245 HAS SOPS 10292245 HAS SOUS 6916407 HAS SOUPS 6916407 WITH SCORE 6926699.245
AT ITER 6632 NEW BEST:: SOT 48542473 SOS 10291677 HAS SOPS 10291677 HAS SOUS 6916407 HAS SOUPS 6916407 WITH SCORE 6926698.677
AT ITER 6646 NEW BEST:: SOT 48541836 SOS 10291040 HAS SOPS 10291040 HAS SOUS 6915770 HAS SOUPS 6915770 WITH SCORE 6926061.04
AT ITER 6648 NEW BEST:: SOT 48541476 SOS 10290680 HAS SOPS 10290680 HAS SOUS 6915410 HAS SOUPS 6915410 WITH SCORE 6925700.68
AT ITER 6658 NEW BEST:: SOT 48539981 SOS 10289181 HAS SOPS 10289181 HAS SOUS 6913914 HAS SOUPS 6913914 WITH SCORE 6924203.181
AT ITER 6665 NEW BEST:: SOT 48539981 SOS 10289181 HAS SOPS 10289181 HAS SOUS 6912520 HAS SOUPS 6912520 WITH SCORE 6922809.181
AT ITER 6685 NEW BEST:: SOT 48539665 SOS 10289809 HAS SOPS 10289809 HAS SOUS 6912203 HAS SOUPS 6912203 WITH SCORE 6922492.809
AT ITER 6709 NEW BEST:: SOT 48539513 SOS 10290560 HAS SOPS 10290560 HAS SOUS 6911899 HAS SOUPS 6911899 WITH SCORE 6922189.56
AT ITER 6714 NEW BEST:: SOT 48539272 SOS 10290078 HAS SOPS 10290078 HAS SOUS 6911300 HAS SOUPS 6911300 WITH SCORE 6921590.078
AT ITER 6716 NEW BEST:: SOT 48538455 SOS 10288444 HAS SOPS 10288444 HAS SOUS 6909666 HAS SOUPS 6909666 WITH SCORE 6919954.444
AT ITER 6729 NEW BEST:: SOT 48534983 SOS 10290140 HAS SOPS 10290140 HAS SOUS 6908851 HAS SOUPS 6908851 WITH SCORE 6919141.14
AT ITER 6808 NEW BEST:: SOT 48534866 SOS 10289555 HAS SOPS 10289555 HAS SOUS 6908733 HAS SOUPS 6908733 WITH SCORE 6919022.555
AT ITER 6836 NEW BEST:: SOT 48534752 SOS 10289479 HAS SOPS 10289479 HAS SOUS 6908657 HAS SOUPS 6908657 WITH SCORE 6918946.479
AT ITER 6848 NEW BEST:: SOT 48534752 SOS 10289023 HAS SOPS 10289023 HAS SOUS 6908201 HAS SOUPS 6908201 WITH SCORE 6918490.023
AT ITER 6857 NEW BEST:: SOT 48534752 SOS 10290831 HAS SOPS 10290831 HAS SOUS 6908146 HAS SOUPS 6908146 WITH SCORE 6918436.831
AT ITER 6896 NEW BEST:: SOT 48534040 SOS 10290821 HAS SOPS 10290821 HAS SOUS 6907663 HAS SOUPS 6907663 WITH SCORE 6917953.821
AT ITER 6936 NEW BEST:: SOT 48533811 SOS 10290592 HAS SOPS 10290592 HAS SOUS 6907434 HAS SOUPS 6907434 WITH SCORE 6917724.592
AT ITER 6946 NEW BEST:: SOT 48532536 SOS 10284217 HAS SOPS 10284217 HAS SOUS 6904884 HAS SOUPS 6904884 WITH SCORE 6915168.217
AT ITER 6960 NEW BEST:: SOT 48531922 SOS 10282989 HAS SOPS 10282989 HAS SOUS 6904270 HAS SOUPS 6904270 WITH SCORE 6914552.989
AT ITER 6991 NEW BEST:: SOT 48531851 SOS 10282847 HAS SOPS 10282847 HAS SOUS 6904128 HAS SOUPS 6904128 WITH SCORE 6914410.847
AT ITER 6997 NEW BEST:: SOT 48531826 SOS 10280730 HAS SOPS 10280730 HAS SOUS 6903414 HAS SOUPS 6903414 WITH SCORE 6913694.73
AT ITER 7000 NEW BEST:: SOT 48532238 SOS 10281085 HAS SOPS 10281085 HAS SOUS 6903357 HAS SOUPS 6903357 WITH SCORE 6913638.085
AT ITER 7004 NEW BEST:: SOT 48532238 SOS 10280809 HAS SOPS 10280809 HAS SOUS 6903081 HAS SOUPS 6903081 WITH SCORE 6913361.809
AT ITER 7007 NEW BEST:: SOT 48532238 SOS 10280809 HAS SOPS 10280809 HAS SOUS 6902951 HAS SOUPS 6902951 WITH SCORE 6913231.809
AT ITER 7014 NEW BEST:: SOT 48532237 SOS 10280807 HAS SOPS 10280807 HAS SOUS 6902949 HAS SOUPS 6902949 WITH SCORE 6913229.807
AT ITER 7016 NEW BEST:: SOT 48531985 SOS 10280671 HAS SOPS 10280671 HAS SOUS 6902300 HAS SOUPS 6902300 WITH SCORE 6912580.671
AT ITER 7026 NEW BEST:: SOT 48530727 SOS 10278155 HAS SOPS 10278155 HAS SOUS 6901042 HAS SOUPS 6901042 WITH SCORE 6911320.155
AT ITER 7044 NEW BEST:: SOT 48530581 SOS 10277863 HAS SOPS 10277863 HAS SOUS 6900750 HAS SOUPS 6900750 WITH SCORE 6911027.863
AT ITER 7046 NEW BEST:: SOT 48529447 SOS 10278993 HAS SOPS 10278993 HAS SOUS 6898481 HAS SOUPS 6898481 WITH SCORE 6908759.993
AT ITER 7065 NEW BEST:: SOT 48529456 SOS 10278813 HAS SOPS 10278813 HAS SOUS 6898294 HAS SOUPS 6898294 WITH SCORE 6908572.813
AT ITER 7073 NEW BEST:: SOT 48529446 SOS 10278793 HAS SOPS 10278793 HAS SOUS 6898274 HAS SOUPS 6898274 WITH SCORE 6908552.793
AT ITER 7080 NEW BEST:: SOT 48529388 SOS 10279199 HAS SOPS 10279199 HAS SOUS 6898216 HAS SOUPS 6898216 WITH SCORE 6908495.199
AT ITER 7121 NEW BEST:: SOT 48529388 SOS 10279958 HAS SOPS 10279958 HAS SOUS 6898215 HAS SOUPS 6898215 WITH SCORE 6908494.958
AT ITER 7148 NEW BEST:: SOT 48529520 SOS 10280222 HAS SOPS 10280222 HAS SOUS 6897913 HAS SOUPS 6897913 WITH SCORE 6908193.222
AT ITER 7156 NEW BEST:: SOT 48528596 SOS 10279298 HAS SOPS 10279298 HAS SOUS 6896989 HAS SOUPS 6896989 WITH SCORE 6907268.298
AT ITER 7186 NEW BEST:: SOT 48528596 SOS 10278110 HAS SOPS 10278110 HAS SOUS 6896593 HAS SOUPS 6896593 WITH SCORE 6906871.11
AT ITER 7216 NEW BEST:: SOT 48528596 SOS 10278101 HAS SOPS 10278101 HAS SOUS 6896584 HAS SOUPS 6896584 WITH SCORE 6906862.101
AT ITER 7217 NEW BEST:: SOT 48528483 SOS 10277875 HAS SOPS 10277875 HAS SOUS 6896471 HAS SOUPS 6896471 WITH SCORE 6906748.875
AT ITER 7230 NEW BEST:: SOT 48527962 SOS 10276833 HAS SOPS 10276833 HAS SOUS 6895429 HAS SOUPS 6895429 WITH SCORE 6905705.833
AT ITER 7255 NEW BEST:: SOT 48527424 SOS 10277330 HAS SOPS 10277330 HAS SOUS 6895021 HAS SOUPS 6895021 WITH SCORE 6905298.33
AT ITER 7257 NEW BEST:: SOT 48527353 SOS 10277188 HAS SOPS 10277188 HAS SOUS 6894879 HAS SOUPS 6894879 WITH SCORE 6905156.188
AT ITER 7263 NEW BEST:: SOT 48527716 SOS 10276825 HAS SOPS 10276825 HAS SOUS 6894879 HAS SOUPS 6894879 WITH SCORE 6905155.825
AT ITER 7279 NEW BEST:: SOT 48528239 SOS 10275023 HAS SOPS 10275023 HAS SOUS 6894501 HAS SOUPS 6894501 WITH SCORE 6904776.023
AT ITER 7288 NEW BEST:: SOT 48526415 SOS 10207599 HAS SOPS 10207599 HAS SOUS 6889223 HAS SOUPS 6889223 WITH SCORE 6899430.599
AT ITER 7295 NEW BEST:: SOT 48526415 SOS 10207451 HAS SOPS 10207451 HAS SOUS 6889149 HAS SOUPS 6889149 WITH SCORE 6899356.451
AT ITER 7317 NEW BEST:: SOT 48526415 SOS 10207332 HAS SOPS 10207332 HAS SOUS 6889149 HAS SOUPS 6889149 WITH SCORE 6899356.332
AT ITER 7328 NEW BEST:: SOT 48523421 SOS 10205835 HAS SOPS 10205835 HAS SOUS 6887652 HAS SOUPS 6887652 WITH SCORE 6897857.835
AT ITER 7339 NEW BEST:: SOT 48523421 SOS 10205752 HAS SOPS 10205752 HAS SOUS 6887569 HAS SOUPS 6887569 WITH SCORE 6897774.752
AT ITER 7375 NEW BEST:: SOT 48522737 SOS 10206436 HAS SOPS 10206436 HAS SOUS 6886885 HAS SOUPS 6886885 WITH SCORE 6897091.436
AT ITER 7404 NEW BEST:: SOT 48521958 SOS 10204878 HAS SOPS 10204878 HAS SOUS 6885327 HAS SOUPS 6885327 WITH SCORE 6895531.878
AT ITER 7436 NEW BEST:: SOT 48521958 SOS 10204698 HAS SOPS 10204698 HAS SOUS 6885327 HAS SOUPS 6885327 WITH SCORE 6895531.698
AT ITER 7456 NEW BEST:: SOT 48521668 SOS 10204119 HAS SOPS 10204119 HAS SOUS 6884748 HAS SOUPS 6884748 WITH SCORE 6894952.119
AT ITER 7507 NEW BEST:: SOT 48521424 SOS 10203997 HAS SOPS 10203997 HAS SOUS 6884626 HAS SOUPS 6884626 WITH SCORE 6894829.997
AT ITER 7519 NEW BEST:: SOT 48520686 SOS 10202521 HAS SOPS 10202521 HAS SOUS 6883150 HAS SOUPS 6883150 WITH SCORE 6893352.521
AT ITER 7521 NEW BEST:: SOT 48520547 SOS 10202382 HAS SOPS 10202382 HAS SOUS 6882872 HAS SOUPS 6882872 WITH SCORE 6893074.382
AT ITER 7522 NEW BEST:: SOT 48520547 SOS 10202382 HAS SOPS 10202382 HAS SOUS 6882871 HAS SOUPS 6882871 WITH SCORE 6893073.382
AT ITER 7532 NEW BEST:: SOT 48519934 SOS 10199317 HAS SOPS 10199317 HAS SOUS 6881645 HAS SOUPS 6881645 WITH SCORE 6891844.317
AT ITER 7533 NEW BEST:: SOT 48519488 SOS 10198425 HAS SOPS 10198425 HAS SOUS 6880753 HAS SOUPS 6880753 WITH SCORE 6890951.425
AT ITER 7566 NEW BEST:: SOT 48518474 SOS 10197914 HAS SOPS 10197914 HAS SOUS 6880245 HAS SOUPS 6880245 WITH SCORE 6890442.914
AT ITER 7572 NEW BEST:: SOT 48518474 SOS 10197710 HAS SOPS 10197710 HAS SOUS 6880143 HAS SOUPS 6880143 WITH SCORE 6890340.71
AT ITER 7574 NEW BEST:: SOT 48518473 SOS 10197794 HAS SOPS 10197794 HAS SOUS 6880141 HAS SOUPS 6880141 WITH SCORE 6890338.794
AT ITER 7577 NEW BEST:: SOT 48518147 SOS 10197142 HAS SOPS 10197142 HAS SOUS 6879489 HAS SOUPS 6879489 WITH SCORE 6889686.142
AT ITER 7582 NEW BEST:: SOT 48516790 SOS 10197141 HAS SOPS 10197141 HAS SOUS 6879488 HAS SOUPS 6879488 WITH SCORE 6889685.141
AT ITER 7616 NEW BEST:: SOT 48515507 SOS 10194972 HAS SOPS 10194972 HAS SOUS 6875296 HAS SOUPS 6875296 WITH SCORE 6885490.972
AT ITER 7624 NEW BEST:: SOT 48515177 SOS 10191012 HAS SOPS 10191012 HAS SOUS 6874966 HAS SOUPS 6874966 WITH SCORE 6885157.012
AT ITER 7649 NEW BEST:: SOT 48514221 SOS 10188281 HAS SOPS 10188281 HAS SOUS 6873654 HAS SOUPS 6873654 WITH SCORE 6883842.281
AT ITER 7654 NEW BEST:: SOT 48513531 SOS 10187587 HAS SOPS 10187587 HAS SOUS 6872963 HAS SOUPS 6872963 WITH SCORE 6883150.587
AT ITER 7674 NEW BEST:: SOT 48513609 SOS 10187351 HAS SOPS 10187351 HAS SOUS 6872943 HAS SOUPS 6872943 WITH SCORE 6883130.351
AT ITER 7679 NEW BEST:: SOT 48513606 SOS 10187345 HAS SOPS 10187345 HAS SOUS 6872937 HAS SOUPS 6872937 WITH SCORE 6883124.345
AT ITER 7701 NEW BEST:: SOT 48512977 SOS 10186087 HAS SOPS 10186087 HAS SOUS 6871679 HAS SOUPS 6871679 WITH SCORE 6881865.087
AT ITER 7724 NEW BEST:: SOT 48512188 SOS 10185086 HAS SOPS 10185086 HAS SOUS 6870837 HAS SOUPS 6870837 WITH SCORE 6881022.086
AT ITER 7743 NEW BEST:: SOT 48512188 SOS 10185086 HAS SOPS 10185086 HAS SOUS 6869237 HAS SOUPS 6869237 WITH SCORE 6879422.086
AT ITER 7744 NEW BEST:: SOT 48511308 SOS 10182854 HAS SOPS 10182854 HAS SOUS 6868019 HAS SOUPS 6868019 WITH SCORE 6878201.854
AT ITER 7749 NEW BEST:: SOT 48510833 SOS 10181904 HAS SOPS 10181904 HAS SOUS 6867069 HAS SOUPS 6867069 WITH SCORE 6877250.904
AT ITER 7767 NEW BEST:: SOT 48510242 SOS 10181313 HAS SOPS 10181313 HAS SOUS 6866478 HAS SOUPS 6866478 WITH SCORE 6876659.313
AT ITER 7790 NEW BEST:: SOT 48510036 SOS 10180897 HAS SOPS 10180897 HAS SOUS 6866065 HAS SOUPS 6866065 WITH SCORE 6876245.897
AT ITER 7792 NEW BEST:: SOT 48508731 SOS 10179592 HAS SOPS 10179592 HAS SOUS 6865195 HAS SOUPS 6865195 WITH SCORE 6875374.592
AT ITER 7796 NEW BEST:: SOT 48508697 SOS 10179524 HAS SOPS 10179524 HAS SOUS 6864439 HAS SOUPS 6864439 WITH SCORE 6874618.524
AT ITER 7797 NEW BEST:: SOT 48507069 SOS 10179601 HAS SOPS 10179601 HAS SOUS 6864302 HAS SOUPS 6864302 WITH SCORE 6874481.601
AT ITER 7848 NEW BEST:: SOT 48506743 SOS 10176816 HAS SOPS 10176816 HAS SOUS 6863650 HAS SOUPS 6863650 WITH SCORE 6873826.816
AT ITER 7853 NEW BEST:: SOT 48506489 SOS 10176435 HAS SOPS 10176435 HAS SOUS 6863269 HAS SOUPS 6863269 WITH SCORE 6873445.435
AT ITER 7857 NEW BEST:: SOT 48506653 SOS 10176259 HAS SOPS 10176259 HAS SOUS 6863181 HAS SOUPS 6863181 WITH SCORE 6873357.259
AT ITER 7858 NEW BEST:: SOT 48506289 SOS 10176983 HAS SOPS 10176983 HAS SOUS 6862816 HAS SOUPS 6862816 WITH SCORE 6872992.983
AT ITER 7868 NEW BEST:: SOT 48506141 SOS 10176835 HAS SOPS 10176835 HAS SOUS 6862668 HAS SOUPS 6862668 WITH SCORE 6872844.835
AT ITER 7906 NEW BEST:: SOT 48506141 SOS 10176801 HAS SOPS 10176801 HAS SOUS 6862667 HAS SOUPS 6862667 WITH SCORE 6872843.801
AT ITER 7910 NEW BEST:: SOT 48506037 SOS 10176593 HAS SOPS 10176593 HAS SOUS 6862459 HAS SOUPS 6862459 WITH SCORE 6872635.593
AT ITER 7914 NEW BEST:: SOT 48505537 SOS 10176106 HAS SOPS 10176106 HAS SOUS 6861972 HAS SOUPS 6861972 WITH SCORE 6872148.106
AT ITER 7963 NEW BEST:: SOT 48505304 SOS 10175894 HAS SOPS 10175894 HAS SOUS 6861760 HAS SOUPS 6861760 WITH SCORE 6871935.894
AT ITER 7970 NEW BEST:: SOT 48504683 SOS 10174652 HAS SOPS 10174652 HAS SOUS 6860518 HAS SOUPS 6860518 WITH SCORE 6870692.652
AT ITER 7981 NEW BEST:: SOT 48503413 SOS 10170842 HAS SOPS 10170842 HAS SOUS 6858613 HAS SOUPS 6858613 WITH SCORE 6868783.842
AT ITER 8024 NEW BEST:: SOT 48502560 SOS 10169135 HAS SOPS 10169135 HAS SOUS 6856906 HAS SOUPS 6856906 WITH SCORE 6867075.135
AT ITER 8050 NEW BEST:: SOT 48502730 SOS 10169015 HAS SOPS 10169015 HAS SOUS 6856786 HAS SOUPS 6856786 WITH SCORE 6866955.015
AT ITER 8076 NEW BEST:: SOT 48501557 SOS 10166669 HAS SOPS 10166669 HAS SOUS 6855613 HAS SOUPS 6855613 WITH SCORE 6865779.669
AT ITER 8126 NEW BEST:: SOT 48500718 SOS 10162639 HAS SOPS 10162639 HAS SOUS 6854280 HAS SOUPS 6854280 WITH SCORE 6864442.639
AT ITER 8172 NEW BEST:: SOT 48500718 SOS 10163608 HAS SOPS 10163608 HAS SOUS 6854279 HAS SOUPS 6854279 WITH SCORE 6864442.608
AT ITER 8178 NEW BEST:: SOT 48500477 SOS 10163126 HAS SOPS 10163126 HAS SOUS 6854038 HAS SOUPS 6854038 WITH SCORE 6864201.126
AT ITER 8190 NEW BEST:: SOT 48500204 SOS 10162580 HAS SOPS 10162580 HAS SOUS 6853492 HAS SOUPS 6853492 WITH SCORE 6863654.58
AT ITER 8204 NEW BEST:: SOT 48500204 SOS 10162580 HAS SOPS 10162580 HAS SOUS 6853089 HAS SOUPS 6853089 WITH SCORE 6863251.58
AT ITER 8208 NEW BEST:: SOT 48499451 SOS 10162289 HAS SOPS 10162289 HAS SOUS 6852798 HAS SOUPS 6852798 WITH SCORE 6862960.289
AT ITER 8306 NEW BEST:: SOT 48498988 SOS 10161647 HAS SOPS 10161647 HAS SOUS 6852156 HAS SOUPS 6852156 WITH SCORE 6862317.647
AT ITER 8351 NEW BEST:: SOT 48497823 SOS 10155822 HAS SOPS 10155822 HAS SOUS 6849826 HAS SOUPS 6849826 WITH SCORE 6859981.822
AT ITER 8352 NEW BEST:: SOT 48497534 SOS 10153612 HAS SOPS 10153612 HAS SOUS 6849537 HAS SOUPS 6849537 WITH SCORE 6859690.612
AT ITER 8356 NEW BEST:: SOT 48497060 SOS 10152664 HAS SOPS 10152664 HAS SOUS 6848589 HAS SOUPS 6848589 WITH SCORE 6858741.664
AT ITER 8380 NEW BEST:: SOT 48496857 SOS 10152257 HAS SOPS 10152257 HAS SOUS 6848182 HAS SOUPS 6848182 WITH SCORE 6858334.257
AT ITER 8381 NEW BEST:: SOT 48496856 SOS 10152123 HAS SOPS 10152123 HAS SOUS 6848048 HAS SOUPS 6848048 WITH SCORE 6858200.123
AT ITER 8394 NEW BEST:: SOT 48496274 SOS 10150955 HAS SOPS 10150955 HAS SOUS 6847465 HAS SOUPS 6847465 WITH SCORE 6857615.955
AT ITER 8437 NEW BEST:: SOT 48496274 SOS 10150954 HAS SOPS 10150954 HAS SOUS 6847464 HAS SOUPS 6847464 WITH SCORE 6857614.954
AT ITER 8440 NEW BEST:: SOT 48496273 SOS 10150952 HAS SOPS 10150952 HAS SOUS 6847462 HAS SOUPS 6847462 WITH SCORE 6857612.952
AT ITER 8447 NEW BEST:: SOT 48496102 SOS 10150610 HAS SOPS 10150610 HAS SOUS 6847087 HAS SOUPS 6847087 WITH SCORE 6857237.61
AT ITER 8450 NEW BEST:: SOT 48495960 SOS 10150468 HAS SOPS 10150468 HAS SOUS 6846945 HAS SOUPS 6846945 WITH SCORE 6857095.468
AT ITER 8461 NEW BEST:: SOT 48495960 SOS 10151219 HAS SOPS 10151219 HAS SOUS 6846944 HAS SOUPS 6846944 WITH SCORE 6857095.219
AT ITER 8487 NEW BEST:: SOT 48495413 SOS 10150125 HAS SOPS 10150125 HAS SOUS 6845850 HAS SOUPS 6845850 WITH SCORE 6856000.125
AT ITER 8523 NEW BEST:: SOT 48495333 SOS 10150125 HAS SOPS 10150125 HAS SOUS 6845770 HAS SOUPS 6845770 WITH SCORE 6855920.125
AT ITER 8574 NEW BEST:: SOT 48495332 SOS 10149856 HAS SOPS 10149856 HAS SOUS 6845501 HAS SOUPS 6845501 WITH SCORE 6855650.856
AT ITER 8601 NEW BEST:: SOT 48495129 SOS 10149450 HAS SOPS 10149450 HAS SOUS 6845095 HAS SOUPS 6845095 WITH SCORE 6855244.45
AT ITER 8620 NEW BEST:: SOT 48494542 SOS 10148863 HAS SOPS 10148863 HAS SOUS 6845095 HAS SOUPS 6845095 WITH SCORE 6855243.863
AT ITER 8633 NEW BEST:: SOT 48494541 SOS 10151209 HAS SOPS 10151209 HAS SOUS 6845092 HAS SOUPS 6845092 WITH SCORE 6855243.209
AT ITER 8648 NEW BEST:: SOT 48494372 SOS 10150871 HAS SOPS 10150871 HAS SOUS 6844079 HAS SOUPS 6844079 WITH SCORE 6854229.871
AT ITER 8667 NEW BEST:: SOT 48494258 SOS 10150643 HAS SOPS 10150643 HAS SOUS 6843851 HAS SOUPS 6843851 WITH SCORE 6854001.643
AT ITER 8682 NEW BEST:: SOT 48493651 SOS 10149429 HAS SOPS 10149429 HAS SOUS 6842380 HAS SOUPS 6842380 WITH SCORE 6852529.429
AT ITER 8689 NEW BEST:: SOT 48491995 SOS 10147773 HAS SOPS 10147773 HAS SOUS 6840724 HAS SOUPS 6840724 WITH SCORE 6850871.773
AT ITER 8776 NEW BEST:: SOT 48486584 SOS 10144133 HAS SOPS 10144133 HAS SOUS 6837396 HAS SOUPS 6837396 WITH SCORE 6847540.133
AT ITER 8782 NEW BEST:: SOT 48485797 SOS 10142584 HAS SOPS 10142584 HAS SOUS 6836555 HAS SOUPS 6836555 WITH SCORE 6846697.584
AT ITER 8789 NEW BEST:: SOT 48485354 SOS 10141698 HAS SOPS 10141698 HAS SOUS 6835669 HAS SOUPS 6835669 WITH SCORE 6845810.698
AT ITER 8796 NEW BEST:: SOT 48485395 SOS 10139908 HAS SOPS 10139908 HAS SOUS 6835106 HAS SOUPS 6835106 WITH SCORE 6845245.908
AT ITER 8833 NEW BEST:: SOT 48485395 SOS 10139456 HAS SOPS 10139456 HAS SOUS 6835106 HAS SOUPS 6835106 WITH SCORE 6845245.456
AT ITER 8844 NEW BEST:: SOT 48484457 SOS 10138983 HAS SOPS 10138983 HAS SOUS 6834636 HAS SOUPS 6834636 WITH SCORE 6844774.983
AT ITER 8880 NEW BEST:: SOT 48484457 SOS 10138798 HAS SOPS 10138798 HAS SOUS 6834451 HAS SOUPS 6834451 WITH SCORE 6844589.798
AT ITER 8934 NEW BEST:: SOT 48484594 SOS 10138796 HAS SOPS 10138796 HAS SOUS 6834450 HAS SOUPS 6834450 WITH SCORE 6844588.796
AT ITER 9000 NEW BEST:: SOT 48484317 SOS 10138899 HAS SOPS 10138899 HAS SOUS 6834392 HAS SOUPS 6834392 WITH SCORE 6844530.899
AT ITER 9027 NEW BEST:: SOT 48484303 SOS 10138871 HAS SOPS 10138871 HAS SOUS 6834364 HAS SOUPS 6834364 WITH SCORE 6844502.871
AT ITER 9028 NEW BEST:: SOT 48483185 SOS 10136973 HAS SOPS 10136973 HAS SOUS 6832120 HAS SOUPS 6832120 WITH SCORE 6842256.973
AT ITER 9034 NEW BEST:: SOT 48481463 SOS 10136640 HAS SOPS 10136640 HAS SOUS 6831787 HAS SOUPS 6831787 WITH SCORE 6841923.64
AT ITER 9058 NEW BEST:: SOT 48480795 SOS 10135968 HAS SOPS 10135968 HAS SOUS 6831118 HAS SOUPS 6831118 WITH SCORE 6841253.968
AT ITER 9128 NEW BEST:: SOT 48480792 SOS 10135962 HAS SOPS 10135962 HAS SOUS 6831112 HAS SOUPS 6831112 WITH SCORE 6841247.962
AT ITER 9148 NEW BEST:: SOT 48480428 SOS 10136926 HAS SOPS 10136926 HAS SOUS 6830748 HAS SOUPS 6830748 WITH SCORE 6840884.926
AT ITER 9189 NEW BEST:: SOT 48479070 SOS 10136385 HAS SOPS 10136385 HAS SOUS 6830207 HAS SOUPS 6830207 WITH SCORE 6840343.385
AT ITER 9209 NEW BEST:: SOT 48478497 SOS 10139643 HAS SOPS 10139643 HAS SOUS 6829634 HAS SOUPS 6829634 WITH SCORE 6839773.643
AT ITER 9217 NEW BEST:: SOT 48478497 SOS 10139643 HAS SOPS 10139643 HAS SOUS 6829455 HAS SOUPS 6829455 WITH SCORE 6839594.643
AT ITER 9228 NEW BEST:: SOT 48478484 SOS 10139633 HAS SOPS 10139633 HAS SOUS 6829445 HAS SOUPS 6829445 WITH SCORE 6839584.633
AT ITER 9250 NEW BEST:: SOT 48477404 SOS 10138553 HAS SOPS 10138553 HAS SOUS 6828365 HAS SOUPS 6828365 WITH SCORE 6838503.553
AT ITER 9257 NEW BEST:: SOT 48471491 SOS 10148493 HAS SOPS 10148493 HAS SOUS 6827641 HAS SOUPS 6827641 WITH SCORE 6837789.493
AT ITER 9288 NEW BEST:: SOT 48469291 SOS 10147393 HAS SOPS 10147393 HAS SOUS 6825441 HAS SOUPS 6825441 WITH SCORE 6835588.393
AT ITER 9310 NEW BEST:: SOT 48468477 SOS 10147654 HAS SOPS 10147654 HAS SOUS 6825110 HAS SOUPS 6825110 WITH SCORE 6835257.654
AT ITER 9333 NEW BEST:: SOT 48467835 SOS 10152052 HAS SOPS 10152052 HAS SOUS 6824552 HAS SOUPS 6824552 WITH SCORE 6834704.052
AT ITER 9341 NEW BEST:: SOT 48467303 SOS 10152893 HAS SOPS 10152893 HAS SOUS 6824020 HAS SOUPS 6824020 WITH SCORE 6834172.893
AT ITER 9354 NEW BEST:: SOT 48466274 SOS 10150268 HAS SOPS 10150268 HAS SOUS 6820440 HAS SOUPS 6820440 WITH SCORE 6830590.268
AT ITER 9356 NEW BEST:: SOT 48465836 SOS 10149392 HAS SOPS 10149392 HAS SOUS 6819734 HAS SOUPS 6819734 WITH SCORE 6829883.392
AT ITER 9389 NEW BEST:: SOT 48465464 SOS 10149052 HAS SOPS 10149052 HAS SOUS 6818958 HAS SOUPS 6818958 WITH SCORE 6829107.052
AT ITER 9408 NEW BEST:: SOT 48465324 SOS 10148772 HAS SOPS 10148772 HAS SOUS 6818818 HAS SOUPS 6818818 WITH SCORE 6828966.772
AT ITER 9421 NEW BEST:: SOT 48464628 SOS 10147380 HAS SOPS 10147380 HAS SOUS 6817426 HAS SOUPS 6817426 WITH SCORE 6827573.38
AT ITER 9423 NEW BEST:: SOT 48464360 SOS 10146844 HAS SOPS 10146844 HAS SOUS 6815917 HAS SOUPS 6815917 WITH SCORE 6826063.844
AT ITER 9424 NEW BEST:: SOT 48464150 SOS 10146424 HAS SOPS 10146424 HAS SOUS 6815497 HAS SOUPS 6815497 WITH SCORE 6825643.424
AT ITER 9431 NEW BEST:: SOT 48460917 SOS 10146465 HAS SOPS 10146465 HAS SOUS 6814241 HAS SOUPS 6814241 WITH SCORE 6824387.465
AT ITER 9442 NEW BEST:: SOT 48459842 SOS 10145390 HAS SOPS 10145390 HAS SOUS 6813166 HAS SOUPS 6813166 WITH SCORE 6823311.39
AT ITER 9477 NEW BEST:: SOT 48459760 SOS 10145472 HAS SOPS 10145472 HAS SOUS 6813084 HAS SOUPS 6813084 WITH SCORE 6823229.472
AT ITER 9529 NEW BEST:: SOT 48459760 SOS 10145139 HAS SOPS 10145139 HAS SOUS 6813084 HAS SOUPS 6813084 WITH SCORE 6823229.139
AT ITER 9533 NEW BEST:: SOT 48459401 SOS 10143344 HAS SOPS 10143344 HAS SOUS 6812366 HAS SOUPS 6812366 WITH SCORE 6822509.344
AT ITER 9553 NEW BEST:: SOT 48459119 SOS 10142779 HAS SOPS 10142779 HAS SOUS 6811801 HAS SOUPS 6811801 WITH SCORE 6821943.779
AT ITER 9565 NEW BEST:: SOT 48458830 SOS 10142201 HAS SOPS 10142201 HAS SOUS 6811623 HAS SOUPS 6811623 WITH SCORE 6821765.201
AT ITER 9580 NEW BEST:: SOT 48457449 SOS 10135296 HAS SOPS 10135296 HAS SOUS 6808861 HAS SOUPS 6808861 WITH SCORE 6818996.296
AT ITER 9598 NEW BEST:: SOT 48456737 SOS 10133130 HAS SOPS 10133130 HAS SOUS 6807816 HAS SOUPS 6807816 WITH SCORE 6817949.13
AT ITER 9621 NEW BEST:: SOT 48457034 SOS 10132833 HAS SOPS 10132833 HAS SOUS 6807816 HAS SOUPS 6807816 WITH SCORE 6817948.833
AT ITER 9629 NEW BEST:: SOT 48456247 SOS 10132344 HAS SOPS 10132344 HAS SOUS 6807327 HAS SOUPS 6807327 WITH SCORE 6817459.344
AT ITER 9630 NEW BEST:: SOT 48455918 SOS 10135768 HAS SOPS 10135768 HAS SOUS 6806636 HAS SOUPS 6806636 WITH SCORE 6816771.768
AT ITER 9638 NEW BEST:: SOT 48455918 SOS 10135629 HAS SOPS 10135629 HAS SOUS 6806591 HAS SOUPS 6806591 WITH SCORE 6816726.629
AT ITER 9664 NEW BEST:: SOT 48455918 SOS 10135629 HAS SOPS 10135629 HAS SOUS 6806590 HAS SOUPS 6806590 WITH SCORE 6816725.629
AT ITER 9720 NEW BEST:: SOT 48455415 SOS 10135125 HAS SOPS 10135125 HAS SOUS 6806086 HAS SOUPS 6806086 WITH SCORE 6816221.125
AT ITER 9724 NEW BEST:: SOT 48455415 SOS 10135125 HAS SOPS 10135125 HAS SOUS 6805275 HAS SOUPS 6805275 WITH SCORE 6815410.125
AT ITER 9730 NEW BEST:: SOT 48455414 SOS 10135123 HAS SOPS 10135123 HAS SOUS 6805273 HAS SOUPS 6805273 WITH SCORE 6815408.123
AT ITER 9792 NEW BEST:: SOT 48454881 SOS 10135123 HAS SOPS 10135123 HAS SOUS 6804740 HAS SOUPS 6804740 WITH SCORE 6814875.123
AT ITER 9798 NEW BEST:: SOT 48454681 SOS 10134723 HAS SOPS 10134723 HAS SOUS 6804540 HAS SOUPS 6804540 WITH SCORE 6814674.723
AT ITER 9802 NEW BEST:: SOT 48454409 SOS 10134451 HAS SOPS 10134451 HAS SOUS 6804268 HAS SOUPS 6804268 WITH SCORE 6814402.451
AT ITER 9837 NEW BEST:: SOT 48454332 SOS 10134297 HAS SOPS 10134297 HAS SOUS 6804191 HAS SOUPS 6804191 WITH SCORE 6814325.297
AT ITER 9845 NEW BEST:: SOT 48453489 SOS 10133514 HAS SOPS 10133514 HAS SOUS 6803395 HAS SOUPS 6803395 WITH SCORE 6813528.514
AT ITER 9886 NEW BEST:: SOT 48452800 SOS 10132136 HAS SOPS 10132136 HAS SOUS 6802706 HAS SOUPS 6802706 WITH SCORE 6812838.136
AT ITER 9894 NEW BEST:: SOT 48447967 SOS 10134132 HAS SOPS 10134132 HAS SOUS 6801534 HAS SOUPS 6801534 WITH SCORE 6811668.132
AT ITER 9905 NEW BEST:: SOT 48447890 SOS 10135038 HAS SOPS 10135038 HAS SOUS 6801456 HAS SOUPS 6801456 WITH SCORE 6811591.038
AT ITER 9989 NEW BEST:: SOT 48447334 SOS 10134700 HAS SOPS 10134700 HAS SOUS 6801118 HAS SOUPS 6801118 WITH SCORE 6811252.7

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-3b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCflexbar-PT-3b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542100368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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