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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 820K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 661K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589099209061

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

Filename model.pnml
Petri model created: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458525 SOS 744630 HAS SOPS 744630 HAS SOUS 686894 HAS SOUPS 686894 WITH SCORE 687638.63
AT ITER 5 NEW BEST:: SOT 4458524 SOS 744628 HAS SOPS 744628 HAS SOUS 686892 HAS SOUPS 686892 WITH SCORE 687636.628
AT ITER 44 NEW BEST:: SOT 4458374 SOS 744428 HAS SOPS 744428 HAS SOUS 686692 HAS SOUPS 686692 WITH SCORE 687436.428
AT ITER 77 NEW BEST:: SOT 4458240 SOS 744428 HAS SOPS 744428 HAS SOUS 686558 HAS SOUPS 686558 WITH SCORE 687302.428
AT ITER 78 NEW BEST:: SOT 4458240 SOS 744390 HAS SOPS 744390 HAS SOUS 686558 HAS SOUPS 686558 WITH SCORE 687302.39
AT ITER 109 NEW BEST:: SOT 4458173 SOS 744488 HAS SOPS 744488 HAS SOUS 686534 HAS SOUPS 686534 WITH SCORE 687278.488
AT ITER 117 NEW BEST:: SOT 4458173 SOS 744453 HAS SOPS 744453 HAS SOUS 686499 HAS SOUPS 686499 WITH SCORE 687243.453
AT ITER 187 NEW BEST:: SOT 4458141 SOS 744389 HAS SOPS 744389 HAS SOUS 686467 HAS SOUPS 686467 WITH SCORE 687211.389
AT ITER 203 NEW BEST:: SOT 4457593 SOS 744349 HAS SOPS 744349 HAS SOUS 686268 HAS SOUPS 686268 WITH SCORE 687012.349
AT ITER 223 NEW BEST:: SOT 4456897 SOS 743827 HAS SOPS 743827 HAS SOUS 685746 HAS SOUPS 685746 WITH SCORE 686489.827
AT ITER 244 NEW BEST:: SOT 4456761 SOS 743555 HAS SOPS 743555 HAS SOUS 685732 HAS SOUPS 685732 WITH SCORE 686475.555
AT ITER 297 NEW BEST:: SOT 4456761 SOS 743204 HAS SOPS 743204 HAS SOUS 685732 HAS SOUPS 685732 WITH SCORE 686475.204
AT ITER 361 NEW BEST:: SOT 4456761 SOS 743155 HAS SOPS 743155 HAS SOUS 685732 HAS SOUPS 685732 WITH SCORE 686475.155
AT ITER 369 NEW BEST:: SOT 4456578 SOS 742996 HAS SOPS 742996 HAS SOUS 685573 HAS SOUPS 685573 WITH SCORE 686315.996
AT ITER 375 NEW BEST:: SOT 4456230 SOS 742548 HAS SOPS 742548 HAS SOUS 685003 HAS SOUPS 685003 WITH SCORE 685745.548
AT ITER 379 NEW BEST:: SOT 4456003 SOS 742094 HAS SOPS 742094 HAS SOUS 684549 HAS SOUPS 684549 WITH SCORE 685291.094
AT ITER 390 NEW BEST:: SOT 4449353 SOS 737992 HAS SOPS 737992 HAS SOUS 678118 HAS SOUPS 678118 WITH SCORE 678855.992
AT ITER 464 NEW BEST:: SOT 4449098 SOS 737482 HAS SOPS 737482 HAS SOUS 677608 HAS SOUPS 677608 WITH SCORE 678345.482
AT ITER 470 NEW BEST:: SOT 4449098 SOS 737360 HAS SOPS 737360 HAS SOUS 677547 HAS SOUPS 677547 WITH SCORE 678284.36
AT ITER 489 NEW BEST:: SOT 4449098 SOS 737137 HAS SOPS 737137 HAS SOUS 677547 HAS SOUPS 677547 WITH SCORE 678284.137
AT ITER 496 NEW BEST:: SOT 4448872 SOS 737191 HAS SOPS 737191 HAS SOUS 677246 HAS SOUPS 677246 WITH SCORE 677983.191
AT ITER 507 NEW BEST:: SOT 4448744 SOS 737063 HAS SOPS 737063 HAS SOUS 677118 HAS SOUPS 677118 WITH SCORE 677855.063
AT ITER 526 NEW BEST:: SOT 4448743 SOS 737061 HAS SOPS 737061 HAS SOUS 677116 HAS SOUPS 677116 WITH SCORE 677853.061
AT ITER 552 NEW BEST:: SOT 4448718 SOS 737036 HAS SOPS 737036 HAS SOUS 677091 HAS SOUPS 677091 WITH SCORE 677828.036
AT ITER 589 NEW BEST:: SOT 4448687 SOS 737005 HAS SOPS 737005 HAS SOUS 677090 HAS SOUPS 677090 WITH SCORE 677827.005
AT ITER 593 NEW BEST:: SOT 4448381 SOS 736699 HAS SOPS 736699 HAS SOUS 676784 HAS SOUPS 676784 WITH SCORE 677520.699
AT ITER 612 NEW BEST:: SOT 4448183 SOS 736303 HAS SOPS 736303 HAS SOUS 676388 HAS SOUPS 676388 WITH SCORE 677124.303
AT ITER 635 NEW BEST:: SOT 4448116 SOS 736169 HAS SOPS 736169 HAS SOUS 676254 HAS SOUPS 676254 WITH SCORE 676990.169
AT ITER 636 NEW BEST:: SOT 4447567 SOS 735803 HAS SOPS 735803 HAS SOUS 675888 HAS SOUPS 675888 WITH SCORE 676623.803
AT ITER 650 NEW BEST:: SOT 4446852 SOS 734925 HAS SOPS 734925 HAS SOUS 674996 HAS SOUPS 674996 WITH SCORE 675730.925
AT ITER 657 NEW BEST:: SOT 4446544 SOS 734933 HAS SOPS 734933 HAS SOUS 674795 HAS SOUPS 674795 WITH SCORE 675529.933
AT ITER 668 NEW BEST:: SOT 4446430 SOS 734705 HAS SOPS 734705 HAS SOUS 674567 HAS SOUPS 674567 WITH SCORE 675301.705
AT ITER 671 NEW BEST:: SOT 4446209 SOS 734263 HAS SOPS 734263 HAS SOUS 674443 HAS SOUPS 674443 WITH SCORE 675177.263
AT ITER 698 NEW BEST:: SOT 4446158 SOS 734216 HAS SOPS 734216 HAS SOUS 674392 HAS SOUPS 674392 WITH SCORE 675126.216
AT ITER 728 NEW BEST:: SOT 4445957 SOS 734217 HAS SOPS 734217 HAS SOUS 674268 HAS SOUPS 674268 WITH SCORE 675002.217
AT ITER 733 NEW BEST:: SOT 4445909 SOS 734169 HAS SOPS 734169 HAS SOUS 674220 HAS SOUPS 674220 WITH SCORE 674954.169
AT ITER 779 NEW BEST:: SOT 4445690 SOS 734583 HAS SOPS 734583 HAS SOUS 674078 HAS SOUPS 674078 WITH SCORE 674812.583
AT ITER 815 NEW BEST:: SOT 4445351 SOS 733905 HAS SOPS 733905 HAS SOUS 673400 HAS SOUPS 673400 WITH SCORE 674133.905
AT ITER 861 NEW BEST:: SOT 4445488 SOS 733862 HAS SOPS 733862 HAS SOUS 673357 HAS SOUPS 673357 WITH SCORE 674090.862
AT ITER 864 NEW BEST:: SOT 4445249 SOS 734528 HAS SOPS 734528 HAS SOUS 673061 HAS SOUPS 673061 WITH SCORE 673795.528
AT ITER 880 NEW BEST:: SOT 4445112 SOS 734391 HAS SOPS 734391 HAS SOUS 672924 HAS SOUPS 672924 WITH SCORE 673658.391
AT ITER 883 NEW BEST:: SOT 4445166 SOS 734499 HAS SOPS 734499 HAS SOUS 672879 HAS SOUPS 672879 WITH SCORE 673613.499
AT ITER 884 NEW BEST:: SOT 4445166 SOS 734499 HAS SOPS 734499 HAS SOUS 672726 HAS SOUPS 672726 WITH SCORE 673460.499
AT ITER 898 NEW BEST:: SOT 4445160 SOS 734487 HAS SOPS 734487 HAS SOUS 672714 HAS SOUPS 672714 WITH SCORE 673448.487
AT ITER 907 NEW BEST:: SOT 4445127 SOS 734753 HAS SOPS 734753 HAS SOUS 672681 HAS SOUPS 672681 WITH SCORE 673415.753
AT ITER 937 NEW BEST:: SOT 4445126 SOS 734751 HAS SOPS 734751 HAS SOUS 672679 HAS SOUPS 672679 WITH SCORE 673413.751
AT ITER 943 NEW BEST:: SOT 4445003 SOS 734505 HAS SOPS 734505 HAS SOUS 672433 HAS SOUPS 672433 WITH SCORE 673167.505
AT ITER 961 NEW BEST:: SOT 4444927 SOS 734046 HAS SOPS 734046 HAS SOUS 672281 HAS SOUPS 672281 WITH SCORE 673015.046
AT ITER 970 NEW BEST:: SOT 4444927 SOS 734046 HAS SOPS 734046 HAS SOUS 672170 HAS SOUPS 672170 WITH SCORE 672904.046
AT ITER 1003 NEW BEST:: SOT 4444940 SOS 733649 HAS SOPS 733649 HAS SOUS 671868 HAS SOUPS 671868 WITH SCORE 672601.649
AT ITER 1021 NEW BEST:: SOT 4444849 SOS 733610 HAS SOPS 733610 HAS SOUS 671829 HAS SOUPS 671829 WITH SCORE 672562.61
AT ITER 1028 NEW BEST:: SOT 4444849 SOS 733289 HAS SOPS 733289 HAS SOUS 671271 HAS SOUPS 671271 WITH SCORE 672004.289
AT ITER 1032 NEW BEST:: SOT 4444691 SOS 733144 HAS SOPS 733144 HAS SOUS 671126 HAS SOUPS 671126 WITH SCORE 671859.144
AT ITER 1033 NEW BEST:: SOT 4444691 SOS 732994 HAS SOPS 732994 HAS SOUS 670976 HAS SOUPS 670976 WITH SCORE 671708.994
AT ITER 1077 NEW BEST:: SOT 4444691 SOS 732788 HAS SOPS 732788 HAS SOUS 670770 HAS SOUPS 670770 WITH SCORE 671502.788
AT ITER 1114 NEW BEST:: SOT 4444691 SOS 732623 HAS SOPS 732623 HAS SOUS 670770 HAS SOUPS 670770 WITH SCORE 671502.623
AT ITER 1173 NEW BEST:: SOT 4444648 SOS 732494 HAS SOPS 732494 HAS SOUS 670726 HAS SOUPS 670726 WITH SCORE 671458.494
AT ITER 1224 NEW BEST:: SOT 4444548 SOS 732415 HAS SOPS 732415 HAS SOUS 670647 HAS SOUPS 670647 WITH SCORE 671379.415
AT ITER 1239 NEW BEST:: SOT 4444548 SOS 732371 HAS SOPS 732371 HAS SOUS 670645 HAS SOUPS 670645 WITH SCORE 671377.371
AT ITER 1262 NEW BEST:: SOT 4443802 SOS 732319 HAS SOPS 732319 HAS SOUS 670007 HAS SOUPS 670007 WITH SCORE 670739.319
AT ITER 1268 NEW BEST:: SOT 4443567 SOS 732242 HAS SOPS 732242 HAS SOUS 669877 HAS SOUPS 669877 WITH SCORE 670609.242
AT ITER 1292 NEW BEST:: SOT 4443389 SOS 731886 HAS SOPS 731886 HAS SOUS 669697 HAS SOUPS 669697 WITH SCORE 670428.886
AT ITER 1293 NEW BEST:: SOT 4443103 SOS 731600 HAS SOPS 731600 HAS SOUS 669411 HAS SOUPS 669411 WITH SCORE 670142.6
AT ITER 1302 NEW BEST:: SOT 4443100 SOS 731594 HAS SOPS 731594 HAS SOUS 669361 HAS SOUPS 669361 WITH SCORE 670092.594
AT ITER 1321 NEW BEST:: SOT 4443062 SOS 731518 HAS SOPS 731518 HAS SOUS 669285 HAS SOUPS 669285 WITH SCORE 670016.518
AT ITER 1347 NEW BEST:: SOT 4443008 SOS 731410 HAS SOPS 731410 HAS SOUS 669231 HAS SOUPS 669231 WITH SCORE 669962.41
AT ITER 1400 NEW BEST:: SOT 4442862 SOS 731193 HAS SOPS 731193 HAS SOUS 669014 HAS SOUPS 669014 WITH SCORE 669745.193
AT ITER 1430 NEW BEST:: SOT 4442955 SOS 730943 HAS SOPS 730943 HAS SOUS 668982 HAS SOUPS 668982 WITH SCORE 669712.943
AT ITER 1478 NEW BEST:: SOT 4442930 SOS 730893 HAS SOPS 730893 HAS SOUS 668932 HAS SOUPS 668932 WITH SCORE 669662.893
AT ITER 1494 NEW BEST:: SOT 4442861 SOS 730755 HAS SOPS 730755 HAS SOUS 668794 HAS SOUPS 668794 WITH SCORE 669524.755
AT ITER 1558 NEW BEST:: SOT 4442823 SOS 730679 HAS SOPS 730679 HAS SOUS 668756 HAS SOUPS 668756 WITH SCORE 669486.679
AT ITER 1559 NEW BEST:: SOT 4442781 SOS 730595 HAS SOPS 730595 HAS SOUS 668672 HAS SOUPS 668672 WITH SCORE 669402.595
AT ITER 1569 NEW BEST:: SOT 4442725 SOS 730655 HAS SOPS 730655 HAS SOUS 668659 HAS SOUPS 668659 WITH SCORE 669389.655
AT ITER 1571 NEW BEST:: SOT 4442490 SOS 730185 HAS SOPS 730185 HAS SOUS 668189 HAS SOUPS 668189 WITH SCORE 668919.185
AT ITER 1572 NEW BEST:: SOT 4442423 SOS 730051 HAS SOPS 730051 HAS SOUS 668055 HAS SOUPS 668055 WITH SCORE 668785.051
AT ITER 1591 NEW BEST:: SOT 4442164 SOS 729533 HAS SOPS 729533 HAS SOUS 667537 HAS SOUPS 667537 WITH SCORE 668266.533
AT ITER 1608 NEW BEST:: SOT 4442258 SOS 729026 HAS SOPS 729026 HAS SOUS 667055 HAS SOUPS 667055 WITH SCORE 667784.026
AT ITER 1665 NEW BEST:: SOT 4442105 SOS 729215 HAS SOPS 729215 HAS SOUS 667001 HAS SOUPS 667001 WITH SCORE 667730.215
AT ITER 1692 NEW BEST:: SOT 4442105 SOS 729215 HAS SOPS 729215 HAS SOUS 667000 HAS SOUPS 667000 WITH SCORE 667729.215
AT ITER 1695 NEW BEST:: SOT 4442074 SOS 729153 HAS SOPS 729153 HAS SOUS 666938 HAS SOUPS 666938 WITH SCORE 667667.153
AT ITER 1718 NEW BEST:: SOT 4442363 SOS 729352 HAS SOPS 729352 HAS SOUS 666888 HAS SOUPS 666888 WITH SCORE 667617.352
AT ITER 1735 NEW BEST:: SOT 4442149 SOS 729260 HAS SOPS 729260 HAS SOUS 666688 HAS SOUPS 666688 WITH SCORE 667417.26
AT ITER 1736 NEW BEST:: SOT 4442149 SOS 729420 HAS SOPS 729420 HAS SOUS 666681 HAS SOUPS 666681 WITH SCORE 667410.42
AT ITER 1737 NEW BEST:: SOT 4442149 SOS 729232 HAS SOPS 729232 HAS SOUS 666681 HAS SOUPS 666681 WITH SCORE 667410.232
AT ITER 1750 NEW BEST:: SOT 4442115 SOS 729232 HAS SOPS 729232 HAS SOUS 666647 HAS SOUPS 666647 WITH SCORE 667376.232
AT ITER 1755 NEW BEST:: SOT 4442115 SOS 729070 HAS SOPS 729070 HAS SOUS 666646 HAS SOUPS 666646 WITH SCORE 667375.07
AT ITER 1779 NEW BEST:: SOT 4441651 SOS 729070 HAS SOPS 729070 HAS SOUS 666414 HAS SOUPS 666414 WITH SCORE 667143.07
AT ITER 1800 NEW BEST:: SOT 4441585 SOS 729019 HAS SOPS 729019 HAS SOUS 666354 HAS SOUPS 666354 WITH SCORE 667083.019
AT ITER 1811 NEW BEST:: SOT 4441585 SOS 728831 HAS SOPS 728831 HAS SOUS 666353 HAS SOUPS 666353 WITH SCORE 667081.831
AT ITER 1820 NEW BEST:: SOT 4441597 SOS 728855 HAS SOPS 728855 HAS SOUS 666268 HAS SOUPS 666268 WITH SCORE 666996.855
AT ITER 1821 NEW BEST:: SOT 4441527 SOS 728715 HAS SOPS 728715 HAS SOUS 666128 HAS SOUPS 666128 WITH SCORE 666856.715
AT ITER 1838 NEW BEST:: SOT 4441527 SOS 728660 HAS SOPS 728660 HAS SOUS 666073 HAS SOUPS 666073 WITH SCORE 666801.66
AT ITER 1851 NEW BEST:: SOT 4441527 SOS 728660 HAS SOPS 728660 HAS SOUS 665740 HAS SOUPS 665740 WITH SCORE 666468.66
AT ITER 1856 NEW BEST:: SOT 4441425 SOS 728558 HAS SOPS 728558 HAS SOUS 665739 HAS SOUPS 665739 WITH SCORE 666467.558
AT ITER 1858 NEW BEST:: SOT 4441206 SOS 728482 HAS SOPS 728482 HAS SOUS 665663 HAS SOUPS 665663 WITH SCORE 666391.482
AT ITER 1862 NEW BEST:: SOT 4441032 SOS 728134 HAS SOPS 728134 HAS SOUS 665488 HAS SOUPS 665488 WITH SCORE 666216.134
AT ITER 1871 NEW BEST:: SOT 4440728 SOS 727830 HAS SOPS 727830 HAS SOUS 665032 HAS SOUPS 665032 WITH SCORE 665759.83
AT ITER 1886 NEW BEST:: SOT 4439860 SOS 726962 HAS SOPS 726962 HAS SOUS 664164 HAS SOUPS 664164 WITH SCORE 664890.962
AT ITER 1923 NEW BEST:: SOT 4439711 SOS 726664 HAS SOPS 726664 HAS SOUS 663937 HAS SOUPS 663937 WITH SCORE 664663.664
AT ITER 1937 NEW BEST:: SOT 4439622 SOS 726486 HAS SOPS 726486 HAS SOUS 663759 HAS SOUPS 663759 WITH SCORE 664485.486
AT ITER 1943 NEW BEST:: SOT 4439527 SOS 726296 HAS SOPS 726296 HAS SOUS 663576 HAS SOUPS 663576 WITH SCORE 664302.296
AT ITER 1946 NEW BEST:: SOT 4439416 SOS 725963 HAS SOPS 725963 HAS SOUS 663354 HAS SOUPS 663354 WITH SCORE 664079.963
AT ITER 1950 NEW BEST:: SOT 4439416 SOS 725885 HAS SOPS 725885 HAS SOUS 663276 HAS SOUPS 663276 WITH SCORE 664001.885
AT ITER 2005 NEW BEST:: SOT 4439040 SOS 725351 HAS SOPS 725351 HAS SOUS 662878 HAS SOUPS 662878 WITH SCORE 663603.351
AT ITER 2024 NEW BEST:: SOT 4439080 SOS 725329 HAS SOPS 725329 HAS SOUS 662816 HAS SOUPS 662816 WITH SCORE 663541.329
AT ITER 2026 NEW BEST:: SOT 4438933 SOS 725035 HAS SOPS 725035 HAS SOUS 662522 HAS SOUPS 662522 WITH SCORE 663247.035
AT ITER 2031 NEW BEST:: SOT 4439062 SOS 724853 HAS SOPS 724853 HAS SOUS 662431 HAS SOUPS 662431 WITH SCORE 663155.853
AT ITER 2044 NEW BEST:: SOT 4438843 SOS 724634 HAS SOPS 724634 HAS SOUS 662212 HAS SOUPS 662212 WITH SCORE 662936.634
AT ITER 2060 NEW BEST:: SOT 4438843 SOS 724634 HAS SOPS 724634 HAS SOUS 662169 HAS SOUPS 662169 WITH SCORE 662893.634
AT ITER 2080 NEW BEST:: SOT 4438864 SOS 724536 HAS SOPS 724536 HAS SOUS 662120 HAS SOUPS 662120 WITH SCORE 662844.536
AT ITER 2092 NEW BEST:: SOT 4436704 SOS 722484 HAS SOPS 722484 HAS SOUS 660068 HAS SOUPS 660068 WITH SCORE 660790.484
AT ITER 2112 NEW BEST:: SOT 4436282 SOS 724866 HAS SOPS 724866 HAS SOUS 660047 HAS SOUPS 660047 WITH SCORE 660771.866
AT ITER 2146 NEW BEST:: SOT 4436261 SOS 724824 HAS SOPS 724824 HAS SOUS 660005 HAS SOUPS 660005 WITH SCORE 660729.824
AT ITER 2156 NEW BEST:: SOT 4436261 SOS 724662 HAS SOPS 724662 HAS SOUS 660004 HAS SOUPS 660004 WITH SCORE 660728.662
AT ITER 2193 NEW BEST:: SOT 4436225 SOS 724554 HAS SOPS 724554 HAS SOUS 659932 HAS SOUPS 659932 WITH SCORE 660656.554
AT ITER 2197 NEW BEST:: SOT 4436141 SOS 724470 HAS SOPS 724470 HAS SOUS 659848 HAS SOUPS 659848 WITH SCORE 660572.47
AT ITER 2203 NEW BEST:: SOT 4436101 SOS 724390 HAS SOPS 724390 HAS SOUS 659768 HAS SOUPS 659768 WITH SCORE 660492.39
AT ITER 2212 NEW BEST:: SOT 4436035 SOS 724258 HAS SOPS 724258 HAS SOUS 659636 HAS SOUPS 659636 WITH SCORE 660360.258
AT ITER 2259 NEW BEST:: SOT 4435972 SOS 724195 HAS SOPS 724195 HAS SOUS 659573 HAS SOUPS 659573 WITH SCORE 660297.195
AT ITER 2287 NEW BEST:: SOT 4435972 SOS 724193 HAS SOPS 724193 HAS SOUS 659573 HAS SOUPS 659573 WITH SCORE 660297.193
AT ITER 2290 NEW BEST:: SOT 4435946 SOS 724167 HAS SOPS 724167 HAS SOUS 659547 HAS SOUPS 659547 WITH SCORE 660271.167
AT ITER 2296 NEW BEST:: SOT 4436013 SOS 724301 HAS SOPS 724301 HAS SOUS 659356 HAS SOUPS 659356 WITH SCORE 660080.301
AT ITER 2341 NEW BEST:: SOT 4435876 SOS 724164 HAS SOPS 724164 HAS SOUS 659082 HAS SOUPS 659082 WITH SCORE 659806.164
AT ITER 2358 NEW BEST:: SOT 4435876 SOS 723672 HAS SOPS 723672 HAS SOUS 658836 HAS SOUPS 658836 WITH SCORE 659559.672
AT ITER 2362 NEW BEST:: SOT 4435843 SOS 723606 HAS SOPS 723606 HAS SOUS 658770 HAS SOUPS 658770 WITH SCORE 659493.606
AT ITER 2384 NEW BEST:: SOT 4435621 SOS 723675 HAS SOPS 723675 HAS SOUS 658563 HAS SOUPS 658563 WITH SCORE 659286.675
AT ITER 2401 NEW BEST:: SOT 4435576 SOS 723585 HAS SOPS 723585 HAS SOUS 658518 HAS SOUPS 658518 WITH SCORE 659241.585
AT ITER 2439 NEW BEST:: SOT 4435324 SOS 723081 HAS SOPS 723081 HAS SOUS 658014 HAS SOUPS 658014 WITH SCORE 658737.081
AT ITER 2442 NEW BEST:: SOT 4435250 SOS 722933 HAS SOPS 722933 HAS SOUS 657940 HAS SOUPS 657940 WITH SCORE 658662.933
AT ITER 2449 NEW BEST:: SOT 4435066 SOS 722565 HAS SOPS 722565 HAS SOUS 657572 HAS SOUPS 657572 WITH SCORE 658294.565
AT ITER 2454 NEW BEST:: SOT 4434848 SOS 722565 HAS SOPS 722565 HAS SOUS 657463 HAS SOUPS 657463 WITH SCORE 658185.565
AT ITER 2467 NEW BEST:: SOT 4434558 SOS 723073 HAS SOPS 723073 HAS SOUS 657173 HAS SOUPS 657173 WITH SCORE 657896.073
AT ITER 2535 NEW BEST:: SOT 4434561 SOS 722755 HAS SOPS 722755 HAS SOUS 657060 HAS SOUPS 657060 WITH SCORE 657782.755
AT ITER 2549 NEW BEST:: SOT 4434561 SOS 722755 HAS SOPS 722755 HAS SOUS 656901 HAS SOUPS 656901 WITH SCORE 657623.755
AT ITER 2569 NEW BEST:: SOT 4434561 SOS 722755 HAS SOPS 722755 HAS SOUS 656739 HAS SOUPS 656739 WITH SCORE 657461.755
AT ITER 2622 NEW BEST:: SOT 4434561 SOS 722752 HAS SOPS 722752 HAS SOUS 656739 HAS SOUPS 656739 WITH SCORE 657461.752
AT ITER 2640 NEW BEST:: SOT 4434590 SOS 722715 HAS SOPS 722715 HAS SOUS 656673 HAS SOUPS 656673 WITH SCORE 657395.715
AT ITER 2670 NEW BEST:: SOT 4434668 SOS 722871 HAS SOPS 722871 HAS SOUS 656324 HAS SOUPS 656324 WITH SCORE 657046.871
AT ITER 2727 NEW BEST:: SOT 4434668 SOS 722871 HAS SOPS 722871 HAS SOUS 656320 HAS SOUPS 656320 WITH SCORE 657042.871
AT ITER 2761 NEW BEST:: SOT 4434443 SOS 722721 HAS SOPS 722721 HAS SOUS 656095 HAS SOUPS 656095 WITH SCORE 656817.721
AT ITER 2773 NEW BEST:: SOT 4434210 SOS 722255 HAS SOPS 722255 HAS SOUS 655629 HAS SOUPS 655629 WITH SCORE 656351.255
AT ITER 2781 NEW BEST:: SOT 4433935 SOS 721705 HAS SOPS 721705 HAS SOUS 655126 HAS SOUPS 655126 WITH SCORE 655847.705
AT ITER 2789 NEW BEST:: SOT 4433912 SOS 721659 HAS SOPS 721659 HAS SOUS 655080 HAS SOUPS 655080 WITH SCORE 655801.659
AT ITER 2825 NEW BEST:: SOT 4433911 SOS 721657 HAS SOPS 721657 HAS SOUS 655078 HAS SOUPS 655078 WITH SCORE 655799.657
AT ITER 2831 NEW BEST:: SOT 4433631 SOS 721377 HAS SOPS 721377 HAS SOUS 654798 HAS SOUPS 654798 WITH SCORE 655519.377
AT ITER 2857 NEW BEST:: SOT 4433617 SOS 721349 HAS SOPS 721349 HAS SOUS 654770 HAS SOUPS 654770 WITH SCORE 655491.349
AT ITER 2876 NEW BEST:: SOT 4431106 SOS 745616 HAS SOPS 745616 HAS SOUS 653980 HAS SOUPS 653980 WITH SCORE 654725.616
AT ITER 2893 NEW BEST:: SOT 4430961 SOS 745471 HAS SOPS 745471 HAS SOUS 653980 HAS SOUPS 653980 WITH SCORE 654725.471
AT ITER 2901 NEW BEST:: SOT 4430960 SOS 745469 HAS SOPS 745469 HAS SOUS 653978 HAS SOUPS 653978 WITH SCORE 654723.469
AT ITER 2905 NEW BEST:: SOT 4430927 SOS 745403 HAS SOPS 745403 HAS SOUS 653912 HAS SOUPS 653912 WITH SCORE 654657.403
AT ITER 2956 NEW BEST:: SOT 4430927 SOS 745200 HAS SOPS 745200 HAS SOUS 653709 HAS SOUPS 653709 WITH SCORE 654454.2
AT ITER 2960 NEW BEST:: SOT 4431056 SOS 745147 HAS SOPS 745147 HAS SOUS 653667 HAS SOUPS 653667 WITH SCORE 654412.147
AT ITER 2965 NEW BEST:: SOT 4430920 SOS 744875 HAS SOPS 744875 HAS SOUS 653395 HAS SOUPS 653395 WITH SCORE 654139.875
AT ITER 2966 NEW BEST:: SOT 4430956 SOS 744947 HAS SOPS 744947 HAS SOUS 653245 HAS SOUPS 653245 WITH SCORE 653989.947
AT ITER 2970 NEW BEST:: SOT 4430701 SOS 744723 HAS SOPS 744723 HAS SOUS 652990 HAS SOUPS 652990 WITH SCORE 653734.723
AT ITER 3024 NEW BEST:: SOT 4430701 SOS 744723 HAS SOPS 744723 HAS SOUS 652989 HAS SOUPS 652989 WITH SCORE 653733.723
AT ITER 3038 NEW BEST:: SOT 4430515 SOS 744629 HAS SOPS 744629 HAS SOUS 652838 HAS SOUPS 652838 WITH SCORE 653582.629
AT ITER 3044 NEW BEST:: SOT 4430515 SOS 744320 HAS SOPS 744320 HAS SOUS 652838 HAS SOUPS 652838 WITH SCORE 653582.32
AT ITER 3046 NEW BEST:: SOT 4430310 SOS 743910 HAS SOPS 743910 HAS SOUS 652428 HAS SOUPS 652428 WITH SCORE 653171.91
AT ITER 3076 NEW BEST:: SOT 4429875 SOS 743475 HAS SOPS 743475 HAS SOUS 651993 HAS SOUPS 651993 WITH SCORE 652736.475
AT ITER 3182 NEW BEST:: SOT 4429999 SOS 743475 HAS SOPS 743475 HAS SOUS 651992 HAS SOUPS 651992 WITH SCORE 652735.475
AT ITER 3192 NEW BEST:: SOT 4429747 SOS 743223 HAS SOPS 743223 HAS SOUS 651740 HAS SOUPS 651740 WITH SCORE 652483.223
AT ITER 3197 NEW BEST:: SOT 4429533 SOS 743127 HAS SOPS 743127 HAS SOUS 651593 HAS SOUPS 651593 WITH SCORE 652336.127
AT ITER 3214 NEW BEST:: SOT 4429027 SOS 742621 HAS SOPS 742621 HAS SOUS 651087 HAS SOUPS 651087 WITH SCORE 651829.621
AT ITER 3229 NEW BEST:: SOT 4429024 SOS 742600 HAS SOPS 742600 HAS SOUS 651082 HAS SOUPS 651082 WITH SCORE 651824.6
AT ITER 3231 NEW BEST:: SOT 4428954 SOS 742574 HAS SOPS 742574 HAS SOUS 651056 HAS SOUPS 651056 WITH SCORE 651798.574
AT ITER 3282 NEW BEST:: SOT 4428955 SOS 742014 HAS SOPS 742014 HAS SOUS 650703 HAS SOUPS 650703 WITH SCORE 651445.014
AT ITER 3331 NEW BEST:: SOT 4428885 SOS 742049 HAS SOPS 742049 HAS SOUS 650668 HAS SOUPS 650668 WITH SCORE 651410.049
AT ITER 3335 NEW BEST:: SOT 4428971 SOS 742221 HAS SOPS 742221 HAS SOUS 650657 HAS SOUPS 650657 WITH SCORE 651399.221
AT ITER 3357 NEW BEST:: SOT 4428846 SOS 742296 HAS SOPS 742296 HAS SOUS 650583 HAS SOUPS 650583 WITH SCORE 651325.296
AT ITER 3424 NEW BEST:: SOT 4428773 SOS 742276 HAS SOPS 742276 HAS SOUS 650559 HAS SOUPS 650559 WITH SCORE 651301.276
AT ITER 3436 NEW BEST:: SOT 4428740 SOS 742210 HAS SOPS 742210 HAS SOUS 650418 HAS SOUPS 650418 WITH SCORE 651160.21
AT ITER 3457 NEW BEST:: SOT 4428421 SOS 742006 HAS SOPS 742006 HAS SOUS 650329 HAS SOUPS 650329 WITH SCORE 651071.006
AT ITER 3466 NEW BEST:: SOT 4428635 SOS 742434 HAS SOPS 742434 HAS SOUS 650316 HAS SOUPS 650316 WITH SCORE 651058.434
AT ITER 3485 NEW BEST:: SOT 4428635 SOS 742393 HAS SOPS 742393 HAS SOUS 650316 HAS SOUPS 650316 WITH SCORE 651058.393
AT ITER 3542 NEW BEST:: SOT 4428576 SOS 742331 HAS SOPS 742331 HAS SOUS 650257 HAS SOUPS 650257 WITH SCORE 650999.331
AT ITER 3546 NEW BEST:: SOT 4428528 SOS 742283 HAS SOPS 742283 HAS SOUS 650209 HAS SOUPS 650209 WITH SCORE 650951.283
AT ITER 3574 NEW BEST:: SOT 4427730 SOS 744017 HAS SOPS 744017 HAS SOUS 649845 HAS SOUPS 649845 WITH SCORE 650589.017
AT ITER 3591 NEW BEST:: SOT 4427689 SOS 743935 HAS SOPS 743935 HAS SOUS 649763 HAS SOUPS 649763 WITH SCORE 650506.935
AT ITER 3598 NEW BEST:: SOT 4427427 SOS 743804 HAS SOPS 743804 HAS SOUS 649501 HAS SOUPS 649501 WITH SCORE 650244.804
AT ITER 3615 NEW BEST:: SOT 4427394 SOS 743949 HAS SOPS 743949 HAS SOUS 649435 HAS SOUPS 649435 WITH SCORE 650178.949
AT ITER 3618 NEW BEST:: SOT 4427268 SOS 743991 HAS SOPS 743991 HAS SOUS 649366 HAS SOUPS 649366 WITH SCORE 650109.991
AT ITER 3620 NEW BEST:: SOT 4427224 SOS 743903 HAS SOPS 743903 HAS SOUS 649281 HAS SOUPS 649281 WITH SCORE 650024.903
AT ITER 3674 NEW BEST:: SOT 4427186 SOS 743678 HAS SOPS 743678 HAS SOUS 649094 HAS SOUPS 649094 WITH SCORE 649837.678
AT ITER 3695 NEW BEST:: SOT 4427163 SOS 743632 HAS SOPS 743632 HAS SOUS 649093 HAS SOUPS 649093 WITH SCORE 649836.632
AT ITER 3717 NEW BEST:: SOT 4427163 SOS 743327 HAS SOPS 743327 HAS SOUS 649093 HAS SOUPS 649093 WITH SCORE 649836.327
AT ITER 3772 NEW BEST:: SOT 4427183 SOS 743645 HAS SOPS 743645 HAS SOUS 648888 HAS SOUPS 648888 WITH SCORE 649631.645
AT ITER 3813 NEW BEST:: SOT 4427053 SOS 743515 HAS SOPS 743515 HAS SOUS 648758 HAS SOUPS 648758 WITH SCORE 649501.515
AT ITER 3827 NEW BEST:: SOT 4426943 SOS 742968 HAS SOPS 742968 HAS SOUS 648240 HAS SOUPS 648240 WITH SCORE 648982.968
AT ITER 3828 NEW BEST:: SOT 4426859 SOS 742446 HAS SOPS 742446 HAS SOUS 648072 HAS SOUPS 648072 WITH SCORE 648814.446
AT ITER 3830 NEW BEST:: SOT 4426858 SOS 742444 HAS SOPS 742444 HAS SOUS 648070 HAS SOUPS 648070 WITH SCORE 648812.444
AT ITER 3837 NEW BEST:: SOT 4426889 SOS 742324 HAS SOPS 742324 HAS SOUS 647950 HAS SOUPS 647950 WITH SCORE 648692.324
AT ITER 3854 NEW BEST:: SOT 4426880 SOS 742306 HAS SOPS 742306 HAS SOUS 647932 HAS SOUPS 647932 WITH SCORE 648674.306
AT ITER 3898 NEW BEST:: SOT 4426798 SOS 741827 HAS SOPS 741827 HAS SOUS 647768 HAS SOUPS 647768 WITH SCORE 648509.827
AT ITER 3901 NEW BEST:: SOT 4426538 SOS 741307 HAS SOPS 741307 HAS SOUS 647242 HAS SOUPS 647242 WITH SCORE 647983.307
AT ITER 3931 NEW BEST:: SOT 4426286 SOS 741155 HAS SOPS 741155 HAS SOUS 647090 HAS SOUPS 647090 WITH SCORE 647831.155
AT ITER 3933 NEW BEST:: SOT 4426105 SOS 740793 HAS SOPS 740793 HAS SOUS 646728 HAS SOUPS 646728 WITH SCORE 647468.793
AT ITER 3949 NEW BEST:: SOT 4426105 SOS 740793 HAS SOPS 740793 HAS SOUS 646681 HAS SOUPS 646681 WITH SCORE 647421.793
AT ITER 3960 NEW BEST:: SOT 4426043 SOS 740669 HAS SOPS 740669 HAS SOUS 646557 HAS SOUPS 646557 WITH SCORE 647297.669
AT ITER 3969 NEW BEST:: SOT 4425735 SOS 740715 HAS SOPS 740715 HAS SOUS 646249 HAS SOUPS 646249 WITH SCORE 646989.715
AT ITER 3975 NEW BEST:: SOT 4425734 SOS 740467 HAS SOPS 740467 HAS SOUS 646247 HAS SOUPS 646247 WITH SCORE 646987.467
AT ITER 3983 NEW BEST:: SOT 4425734 SOS 740381 HAS SOPS 740381 HAS SOUS 646161 HAS SOUPS 646161 WITH SCORE 646901.381
AT ITER 3989 NEW BEST:: SOT 4426086 SOS 741085 HAS SOPS 741085 HAS SOUS 646100 HAS SOUPS 646100 WITH SCORE 646841.085
AT ITER 4001 NEW BEST:: SOT 4426085 SOS 741083 HAS SOPS 741083 HAS SOUS 646098 HAS SOUPS 646098 WITH SCORE 646839.083
AT ITER 4008 NEW BEST:: SOT 4425988 SOS 741083 HAS SOPS 741083 HAS SOUS 646001 HAS SOUPS 646001 WITH SCORE 646742.083
AT ITER 4025 NEW BEST:: SOT 4425779 SOS 741443 HAS SOPS 741443 HAS SOUS 645984 HAS SOUPS 645984 WITH SCORE 646725.443
AT ITER 4038 NEW BEST:: SOT 4425735 SOS 740956 HAS SOPS 740956 HAS SOUS 645541 HAS SOUPS 645541 WITH SCORE 646281.956
AT ITER 4180 NEW BEST:: SOT 4425740 SOS 740480 HAS SOPS 740480 HAS SOUS 645390 HAS SOUPS 645390 WITH SCORE 646130.48
AT ITER 4212 NEW BEST:: SOT 4425703 SOS 739926 HAS SOPS 739926 HAS SOUS 645233 HAS SOUPS 645233 WITH SCORE 645972.926
AT ITER 4214 NEW BEST:: SOT 4425633 SOS 739786 HAS SOPS 739786 HAS SOUS 645093 HAS SOUPS 645093 WITH SCORE 645832.786
AT ITER 4228 NEW BEST:: SOT 4425632 SOS 739784 HAS SOPS 739784 HAS SOUS 645091 HAS SOUPS 645091 WITH SCORE 645830.784
AT ITER 4233 NEW BEST:: SOT 4425631 SOS 739694 HAS SOPS 739694 HAS SOUS 645089 HAS SOUPS 645089 WITH SCORE 645828.694
AT ITER 4262 NEW BEST:: SOT 4425459 SOS 739817 HAS SOPS 739817 HAS SOUS 645055 HAS SOUPS 645055 WITH SCORE 645794.817
AT ITER 4347 NEW BEST:: SOT 4425422 SOS 739609 HAS SOPS 739609 HAS SOUS 644981 HAS SOUPS 644981 WITH SCORE 645720.609
AT ITER 4361 NEW BEST:: SOT 4425422 SOS 739543 HAS SOPS 739543 HAS SOUS 644981 HAS SOUPS 644981 WITH SCORE 645720.543
AT ITER 4419 NEW BEST:: SOT 4425276 SOS 739251 HAS SOPS 739251 HAS SOUS 644689 HAS SOUPS 644689 WITH SCORE 645428.251
AT ITER 4442 NEW BEST:: SOT 4424890 SOS 751457 HAS SOPS 751457 HAS SOUS 644666 HAS SOUPS 644666 WITH SCORE 645417.457
AT ITER 4452 NEW BEST:: SOT 4424822 SOS 751389 HAS SOPS 751389 HAS SOUS 644598 HAS SOUPS 644598 WITH SCORE 645349.389
AT ITER 4479 NEW BEST:: SOT 4424504 SOS 751124 HAS SOPS 751124 HAS SOUS 644333 HAS SOUPS 644333 WITH SCORE 645084.124
AT ITER 4495 NEW BEST:: SOT 4424504 SOS 751107 HAS SOPS 751107 HAS SOUS 644333 HAS SOUPS 644333 WITH SCORE 645084.107
AT ITER 4511 NEW BEST:: SOT 4424389 SOS 750877 HAS SOPS 750877 HAS SOUS 644103 HAS SOUPS 644103 WITH SCORE 644853.877
AT ITER 4515 NEW BEST:: SOT 4424389 SOS 750599 HAS SOPS 750599 HAS SOUS 643547 HAS SOUPS 643547 WITH SCORE 644297.599
AT ITER 4564 NEW BEST:: SOT 4424217 SOS 750255 HAS SOPS 750255 HAS SOUS 643375 HAS SOUPS 643375 WITH SCORE 644125.255
AT ITER 4585 NEW BEST:: SOT 4424217 SOS 750255 HAS SOPS 750255 HAS SOUS 643278 HAS SOUPS 643278 WITH SCORE 644028.255
AT ITER 4642 NEW BEST:: SOT 4424101 SOS 749683 HAS SOPS 749683 HAS SOUS 643046 HAS SOUPS 643046 WITH SCORE 643795.683
AT ITER 4652 NEW BEST:: SOT 4424100 SOS 749752 HAS SOPS 749752 HAS SOUS 643044 HAS SOUPS 643044 WITH SCORE 643793.752
AT ITER 4702 NEW BEST:: SOT 4423901 SOS 749354 HAS SOPS 749354 HAS SOUS 642972 HAS SOUPS 642972 WITH SCORE 643721.354
AT ITER 4705 NEW BEST:: SOT 4423901 SOS 749241 HAS SOPS 749241 HAS SOUS 642972 HAS SOUPS 642972 WITH SCORE 643721.241
AT ITER 4713 NEW BEST:: SOT 4423763 SOS 749103 HAS SOPS 749103 HAS SOUS 642834 HAS SOUPS 642834 WITH SCORE 643583.103
AT ITER 4738 NEW BEST:: SOT 4423598 SOS 748773 HAS SOPS 748773 HAS SOUS 642669 HAS SOUPS 642669 WITH SCORE 643417.773
AT ITER 4753 NEW BEST:: SOT 4423520 SOS 748617 HAS SOPS 748617 HAS SOUS 642513 HAS SOUPS 642513 WITH SCORE 643261.617
AT ITER 4778 NEW BEST:: SOT 4423398 SOS 748373 HAS SOPS 748373 HAS SOUS 642269 HAS SOUPS 642269 WITH SCORE 643017.373
AT ITER 4781 NEW BEST:: SOT 4423398 SOS 748353 HAS SOPS 748353 HAS SOUS 642269 HAS SOUPS 642269 WITH SCORE 643017.353
AT ITER 4791 NEW BEST:: SOT 4423325 SOS 748207 HAS SOPS 748207 HAS SOUS 642213 HAS SOUPS 642213 WITH SCORE 642961.207
AT ITER 4812 NEW BEST:: SOT 4423238 SOS 748241 HAS SOPS 748241 HAS SOUS 642143 HAS SOUPS 642143 WITH SCORE 642891.241
AT ITER 4819 NEW BEST:: SOT 4423193 SOS 748151 HAS SOPS 748151 HAS SOUS 641939 HAS SOUPS 641939 WITH SCORE 642687.151
AT ITER 4826 NEW BEST:: SOT 4423085 SOS 747935 HAS SOPS 747935 HAS SOUS 641831 HAS SOUPS 641831 WITH SCORE 642578.935
AT ITER 4849 NEW BEST:: SOT 4423005 SOS 747775 HAS SOPS 747775 HAS SOUS 641751 HAS SOUPS 641751 WITH SCORE 642498.775
AT ITER 4874 NEW BEST:: SOT 4422879 SOS 747684 HAS SOPS 747684 HAS SOUS 641514 HAS SOUPS 641514 WITH SCORE 642261.684
AT ITER 4903 NEW BEST:: SOT 4422813 SOS 747552 HAS SOPS 747552 HAS SOUS 641448 HAS SOUPS 641448 WITH SCORE 642195.552
AT ITER 4985 NEW BEST:: SOT 4422484 SOS 746894 HAS SOPS 746894 HAS SOUS 640987 HAS SOUPS 640987 WITH SCORE 641733.894
AT ITER 5069 NEW BEST:: SOT 4422484 SOS 746566 HAS SOPS 746566 HAS SOUS 640964 HAS SOUPS 640964 WITH SCORE 641710.566
AT ITER 5075 NEW BEST:: SOT 4422484 SOS 746473 HAS SOPS 746473 HAS SOUS 640964 HAS SOUPS 640964 WITH SCORE 641710.473
AT ITER 5096 NEW BEST:: SOT 4422484 SOS 746404 HAS SOPS 746404 HAS SOUS 640964 HAS SOUPS 640964 WITH SCORE 641710.404
AT ITER 5101 NEW BEST:: SOT 4421326 SOS 745324 HAS SOPS 745324 HAS SOUS 639884 HAS SOUPS 639884 WITH SCORE 640629.324
AT ITER 5130 NEW BEST:: SOT 4421326 SOS 745324 HAS SOPS 745324 HAS SOUS 639877 HAS SOUPS 639877 WITH SCORE 640622.324
AT ITER 5145 NEW BEST:: SOT 4421273 SOS 745218 HAS SOPS 745218 HAS SOUS 639824 HAS SOUPS 639824 WITH SCORE 640569.218
AT ITER 5153 NEW BEST:: SOT 4421277 SOS 745226 HAS SOPS 745226 HAS SOUS 639760 HAS SOUPS 639760 WITH SCORE 640505.226
AT ITER 5212 NEW BEST:: SOT 4421276 SOS 745225 HAS SOPS 745225 HAS SOUS 639758 HAS SOUPS 639758 WITH SCORE 640503.225
AT ITER 5225 NEW BEST:: SOT 4421276 SOS 744887 HAS SOPS 744887 HAS SOUS 639308 HAS SOUPS 639308 WITH SCORE 640052.887
AT ITER 5226 NEW BEST:: SOT 4421276 SOS 744605 HAS SOPS 744605 HAS SOUS 639026 HAS SOUPS 639026 WITH SCORE 639770.605
AT ITER 5243 NEW BEST:: SOT 4421216 SOS 744535 HAS SOPS 744535 HAS SOUS 638956 HAS SOUPS 638956 WITH SCORE 639700.535
AT ITER 5278 NEW BEST:: SOT 4421458 SOS 744438 HAS SOPS 744438 HAS SOUS 638859 HAS SOUPS 638859 WITH SCORE 639603.438
AT ITER 5300 NEW BEST:: SOT 4421393 SOS 744308 HAS SOPS 744308 HAS SOUS 638729 HAS SOUPS 638729 WITH SCORE 639473.308
AT ITER 5307 NEW BEST:: SOT 4421445 SOS 744412 HAS SOPS 744412 HAS SOUS 638637 HAS SOUPS 638637 WITH SCORE 639381.412
AT ITER 5313 NEW BEST:: SOT 4421444 SOS 744167 HAS SOPS 744167 HAS SOUS 638635 HAS SOUPS 638635 WITH SCORE 639379.167
AT ITER 5314 NEW BEST:: SOT 4421432 SOS 744471 HAS SOPS 744471 HAS SOUS 638611 HAS SOUPS 638611 WITH SCORE 639355.471
AT ITER 5322 NEW BEST:: SOT 4421290 SOS 744187 HAS SOPS 744187 HAS SOUS 638327 HAS SOUPS 638327 WITH SCORE 639071.187
AT ITER 5347 NEW BEST:: SOT 4421259 SOS 744413 HAS SOPS 744413 HAS SOUS 638296 HAS SOUPS 638296 WITH SCORE 639040.413
AT ITER 5400 NEW BEST:: SOT 4421258 SOS 744411 HAS SOPS 744411 HAS SOUS 638294 HAS SOUPS 638294 WITH SCORE 639038.411
AT ITER 5414 NEW BEST:: SOT 4421117 SOS 744270 HAS SOPS 744270 HAS SOUS 638153 HAS SOUPS 638153 WITH SCORE 638897.27
AT ITER 5464 NEW BEST:: SOT 4420908 SOS 743998 HAS SOPS 743998 HAS SOUS 637881 HAS SOUPS 637881 WITH SCORE 638624.998
AT ITER 5467 NEW BEST:: SOT 4420679 SOS 743540 HAS SOPS 743540 HAS SOUS 637423 HAS SOUPS 637423 WITH SCORE 638166.54
AT ITER 5471 NEW BEST:: SOT 4420769 SOS 743462 HAS SOPS 743462 HAS SOUS 637345 HAS SOUPS 637345 WITH SCORE 638088.462
AT ITER 5486 NEW BEST:: SOT 4420714 SOS 743352 HAS SOPS 743352 HAS SOUS 637110 HAS SOUPS 637110 WITH SCORE 637853.352
AT ITER 5504 NEW BEST:: SOT 4420714 SOS 743119 HAS SOPS 743119 HAS SOUS 637110 HAS SOUPS 637110 WITH SCORE 637853.119
AT ITER 5507 NEW BEST:: SOT 4420714 SOS 743119 HAS SOPS 743119 HAS SOUS 637042 HAS SOUPS 637042 WITH SCORE 637785.119
AT ITER 5514 NEW BEST:: SOT 4420580 SOS 743153 HAS SOPS 743153 HAS SOUS 636924 HAS SOUPS 636924 WITH SCORE 637667.153
AT ITER 5539 NEW BEST:: SOT 4420516 SOS 743025 HAS SOPS 743025 HAS SOUS 636860 HAS SOUPS 636860 WITH SCORE 637603.025
AT ITER 5549 NEW BEST:: SOT 4420453 SOS 743065 HAS SOPS 743065 HAS SOUS 636797 HAS SOUPS 636797 WITH SCORE 637540.065
AT ITER 5560 NEW BEST:: SOT 4420416 SOS 743171 HAS SOPS 743171 HAS SOUS 636760 HAS SOUPS 636760 WITH SCORE 637503.171
AT ITER 5561 NEW BEST:: SOT 4420364 SOS 743393 HAS SOPS 743393 HAS SOUS 636656 HAS SOUPS 636656 WITH SCORE 637399.393
AT ITER 5577 NEW BEST:: SOT 4420387 SOS 743439 HAS SOPS 743439 HAS SOUS 636580 HAS SOUPS 636580 WITH SCORE 637323.439
AT ITER 5586 NEW BEST:: SOT 4420356 SOS 743377 HAS SOPS 743377 HAS SOUS 636518 HAS SOUPS 636518 WITH SCORE 637261.377
AT ITER 5667 NEW BEST:: SOT 4420255 SOS 743175 HAS SOPS 743175 HAS SOUS 636316 HAS SOUPS 636316 WITH SCORE 637059.175
AT ITER 5691 NEW BEST:: SOT 4419962 SOS 742589 HAS SOPS 742589 HAS SOUS 635730 HAS SOUPS 635730 WITH SCORE 636472.589
AT ITER 5693 NEW BEST:: SOT 4419922 SOS 742509 HAS SOPS 742509 HAS SOUS 635690 HAS SOUPS 635690 WITH SCORE 636432.509
AT ITER 5710 NEW BEST:: SOT 4419837 SOS 742339 HAS SOPS 742339 HAS SOUS 635520 HAS SOUPS 635520 WITH SCORE 636262.339
AT ITER 5733 NEW BEST:: SOT 4419813 SOS 742219 HAS SOPS 742219 HAS SOUS 635400 HAS SOUPS 635400 WITH SCORE 636142.219
AT ITER 5744 NEW BEST:: SOT 4419813 SOS 741765 HAS SOPS 741765 HAS SOUS 635400 HAS SOUPS 635400 WITH SCORE 636141.765
AT ITER 5746 NEW BEST:: SOT 4419812 SOS 741763 HAS SOPS 741763 HAS SOUS 635398 HAS SOUPS 635398 WITH SCORE 636139.763
AT ITER 5747 NEW BEST:: SOT 4419747 SOS 741715 HAS SOPS 741715 HAS SOUS 635333 HAS SOUPS 635333 WITH SCORE 636074.715
AT ITER 5756 NEW BEST:: SOT 4419694 SOS 741609 HAS SOPS 741609 HAS SOUS 635227 HAS SOUPS 635227 WITH SCORE 635968.609
AT ITER 5776 NEW BEST:: SOT 4419678 SOS 741147 HAS SOPS 741147 HAS SOUS 635195 HAS SOUPS 635195 WITH SCORE 635936.147
AT ITER 5789 NEW BEST:: SOT 4419676 SOS 741143 HAS SOPS 741143 HAS SOUS 635191 HAS SOUPS 635191 WITH SCORE 635932.143
AT ITER 5793 NEW BEST:: SOT 4419663 SOS 741117 HAS SOPS 741117 HAS SOUS 635165 HAS SOUPS 635165 WITH SCORE 635906.117
AT ITER 5816 NEW BEST:: SOT 4419488 SOS 740972 HAS SOPS 740972 HAS SOUS 634998 HAS SOUPS 634998 WITH SCORE 635738.972
AT ITER 5827 NEW BEST:: SOT 4419382 SOS 740813 HAS SOPS 740813 HAS SOUS 634839 HAS SOUPS 634839 WITH SCORE 635579.813
AT ITER 5838 NEW BEST:: SOT 4419088 SOS 740225 HAS SOPS 740225 HAS SOUS 634328 HAS SOUPS 634328 WITH SCORE 635068.225
AT ITER 5873 NEW BEST:: SOT 4419084 SOS 740217 HAS SOPS 740217 HAS SOUS 634255 HAS SOUPS 634255 WITH SCORE 634995.217
AT ITER 5880 NEW BEST:: SOT 4419119 SOS 740287 HAS SOPS 740287 HAS SOUS 634182 HAS SOUPS 634182 WITH SCORE 634922.287
AT ITER 5897 NEW BEST:: SOT 4416861 SOS 756297 HAS SOPS 756297 HAS SOUS 632867 HAS SOUPS 632867 WITH SCORE 633623.297
AT ITER 5898 NEW BEST:: SOT 4416860 SOS 756197 HAS SOPS 756197 HAS SOUS 632865 HAS SOUPS 632865 WITH SCORE 633621.197
AT ITER 5900 NEW BEST:: SOT 4416618 SOS 756221 HAS SOPS 756221 HAS SOUS 632845 HAS SOUPS 632845 WITH SCORE 633601.221
AT ITER 5913 NEW BEST:: SOT 4416503 SOS 755991 HAS SOPS 755991 HAS SOUS 632600 HAS SOUPS 632600 WITH SCORE 633355.991
AT ITER 5921 NEW BEST:: SOT 4416375 SOS 755489 HAS SOPS 755489 HAS SOUS 632226 HAS SOUPS 632226 WITH SCORE 632981.489
AT ITER 5942 NEW BEST:: SOT 4416375 SOS 755203 HAS SOPS 755203 HAS SOUS 632226 HAS SOUPS 632226 WITH SCORE 632981.203
AT ITER 5943 NEW BEST:: SOT 4416305 SOS 755063 HAS SOPS 755063 HAS SOUS 632156 HAS SOUPS 632156 WITH SCORE 632911.063
AT ITER 5947 NEW BEST:: SOT 4416304 SOS 754976 HAS SOPS 754976 HAS SOUS 632154 HAS SOUPS 632154 WITH SCORE 632908.976
AT ITER 5957 NEW BEST:: SOT 4415859 SOS 754289 HAS SOPS 754289 HAS SOUS 631467 HAS SOUPS 631467 WITH SCORE 632221.289
AT ITER 5960 NEW BEST:: SOT 4415738 SOS 754168 HAS SOPS 754168 HAS SOUS 631346 HAS SOUPS 631346 WITH SCORE 632100.168
AT ITER 5966 NEW BEST:: SOT 4415785 SOS 754163 HAS SOPS 754163 HAS SOUS 631341 HAS SOUPS 631341 WITH SCORE 632095.163
AT ITER 5983 NEW BEST:: SOT 4415785 SOS 754153 HAS SOPS 754153 HAS SOUS 631331 HAS SOUPS 631331 WITH SCORE 632085.153
AT ITER 5988 NEW BEST:: SOT 4415761 SOS 754105 HAS SOPS 754105 HAS SOUS 630888 HAS SOUPS 630888 WITH SCORE 631642.105
AT ITER 5993 NEW BEST:: SOT 4415764 SOS 754111 HAS SOPS 754111 HAS SOUS 630822 HAS SOUPS 630822 WITH SCORE 631576.111
AT ITER 6008 NEW BEST:: SOT 4415747 SOS 754077 HAS SOPS 754077 HAS SOUS 630805 HAS SOUPS 630805 WITH SCORE 631559.077
AT ITER 6010 NEW BEST:: SOT 4415710 SOS 754276 HAS SOPS 754276 HAS SOUS 630495 HAS SOUPS 630495 WITH SCORE 631249.276
AT ITER 6021 NEW BEST:: SOT 4415583 SOS 754156 HAS SOPS 754156 HAS SOUS 630371 HAS SOUPS 630371 WITH SCORE 631125.156
AT ITER 6024 NEW BEST:: SOT 4415510 SOS 753750 HAS SOPS 753750 HAS SOUS 630109 HAS SOUPS 630109 WITH SCORE 630862.75
AT ITER 6029 NEW BEST:: SOT 4415379 SOS 753619 HAS SOPS 753619 HAS SOUS 629978 HAS SOUPS 629978 WITH SCORE 630731.619
AT ITER 6036 NEW BEST:: SOT 4415327 SOS 753515 HAS SOPS 753515 HAS SOUS 629923 HAS SOUPS 629923 WITH SCORE 630676.515
AT ITER 6065 NEW BEST:: SOT 4415275 SOS 753531 HAS SOPS 753531 HAS SOUS 629913 HAS SOUPS 629913 WITH SCORE 630666.531
AT ITER 6082 NEW BEST:: SOT 4415281 SOS 753503 HAS SOPS 753503 HAS SOUS 629884 HAS SOUPS 629884 WITH SCORE 630637.503
AT ITER 6103 NEW BEST:: SOT 4415280 SOS 753297 HAS SOPS 753297 HAS SOUS 629882 HAS SOUPS 629882 WITH SCORE 630635.297
AT ITER 6123 NEW BEST:: SOT 4415099 SOS 753152 HAS SOPS 753152 HAS SOUS 629737 HAS SOUPS 629737 WITH SCORE 630490.152
AT ITER 6151 NEW BEST:: SOT 4415098 SOS 753150 HAS SOPS 753150 HAS SOUS 629735 HAS SOUPS 629735 WITH SCORE 630488.15
AT ITER 6163 NEW BEST:: SOT 4415106 SOS 752688 HAS SOPS 752688 HAS SOUS 629516 HAS SOUPS 629516 WITH SCORE 630268.688
AT ITER 6192 NEW BEST:: SOT 4414990 SOS 752658 HAS SOPS 752658 HAS SOUS 629486 HAS SOUPS 629486 WITH SCORE 630238.658
AT ITER 6216 NEW BEST:: SOT 4414850 SOS 752378 HAS SOPS 752378 HAS SOUS 629248 HAS SOUPS 629248 WITH SCORE 630000.378
AT ITER 6310 NEW BEST:: SOT 4414836 SOS 752350 HAS SOPS 752350 HAS SOUS 629220 HAS SOUPS 629220 WITH SCORE 629972.35
AT ITER 6338 NEW BEST:: SOT 4414836 SOS 752274 HAS SOPS 752274 HAS SOUS 629220 HAS SOUPS 629220 WITH SCORE 629972.274
AT ITER 6358 NEW BEST:: SOT 4414850 SOS 752259 HAS SOPS 752259 HAS SOUS 629205 HAS SOUPS 629205 WITH SCORE 629957.259
AT ITER 6376 NEW BEST:: SOT 4414790 SOS 751730 HAS SOPS 751730 HAS SOUS 629031 HAS SOUPS 629031 WITH SCORE 629782.73
AT ITER 6393 NEW BEST:: SOT 4414789 SOS 751691 HAS SOPS 751691 HAS SOUS 629010 HAS SOUPS 629010 WITH SCORE 629761.691
AT ITER 6396 NEW BEST:: SOT 4414779 SOS 751671 HAS SOPS 751671 HAS SOUS 628990 HAS SOUPS 628990 WITH SCORE 629741.671
AT ITER 6410 NEW BEST:: SOT 4414707 SOS 751311 HAS SOPS 751311 HAS SOUS 628832 HAS SOUPS 628832 WITH SCORE 629583.311
AT ITER 6412 NEW BEST:: SOT 4414676 SOS 751249 HAS SOPS 751249 HAS SOUS 628770 HAS SOUPS 628770 WITH SCORE 629521.249
AT ITER 6450 NEW BEST:: SOT 4414676 SOS 751249 HAS SOPS 751249 HAS SOUS 628764 HAS SOUPS 628764 WITH SCORE 629515.249
AT ITER 6453 NEW BEST:: SOT 4414676 SOS 751181 HAS SOPS 751181 HAS SOUS 628696 HAS SOUPS 628696 WITH SCORE 629447.181
AT ITER 6462 NEW BEST:: SOT 4414152 SOS 750657 HAS SOPS 750657 HAS SOUS 628172 HAS SOUPS 628172 WITH SCORE 628922.657
AT ITER 6487 NEW BEST:: SOT 4413946 SOS 750245 HAS SOPS 750245 HAS SOUS 627760 HAS SOUPS 627760 WITH SCORE 628510.245
AT ITER 6518 NEW BEST:: SOT 4413344 SOS 750049 HAS SOPS 750049 HAS SOUS 627383 HAS SOUPS 627383 WITH SCORE 628133.049
AT ITER 6548 NEW BEST:: SOT 4413147 SOS 749907 HAS SOPS 749907 HAS SOUS 627186 HAS SOUPS 627186 WITH SCORE 627935.907
AT ITER 6549 NEW BEST:: SOT 4413146 SOS 749866 HAS SOPS 749866 HAS SOUS 627184 HAS SOUPS 627184 WITH SCORE 627933.866
AT ITER 6578 NEW BEST:: SOT 4412829 SOS 749872 HAS SOPS 749872 HAS SOUS 626867 HAS SOUPS 626867 WITH SCORE 627616.872
AT ITER 6584 NEW BEST:: SOT 4412829 SOS 749762 HAS SOPS 749762 HAS SOUS 626867 HAS SOUPS 626867 WITH SCORE 627616.762
AT ITER 6586 NEW BEST:: SOT 4412829 SOS 749727 HAS SOPS 749727 HAS SOUS 626832 HAS SOUPS 626832 WITH SCORE 627581.727
AT ITER 6604 NEW BEST:: SOT 4412820 SOS 749691 HAS SOPS 749691 HAS SOUS 626814 HAS SOUPS 626814 WITH SCORE 627563.691
AT ITER 6617 NEW BEST:: SOT 4412838 SOS 749491 HAS SOPS 749491 HAS SOUS 626744 HAS SOUPS 626744 WITH SCORE 627493.491
AT ITER 6619 NEW BEST:: SOT 4412670 SOS 749323 HAS SOPS 749323 HAS SOUS 626576 HAS SOUPS 626576 WITH SCORE 627325.323
AT ITER 6634 NEW BEST:: SOT 4412514 SOS 749011 HAS SOPS 749011 HAS SOUS 626264 HAS SOUPS 626264 WITH SCORE 627013.011
AT ITER 6635 NEW BEST:: SOT 4412514 SOS 748672 HAS SOPS 748672 HAS SOUS 626264 HAS SOUPS 626264 WITH SCORE 627012.672
AT ITER 6692 NEW BEST:: SOT 4412701 SOS 749046 HAS SOPS 749046 HAS SOUS 626154 HAS SOUPS 626154 WITH SCORE 626903.046
AT ITER 6702 NEW BEST:: SOT 4412735 SOS 749042 HAS SOPS 749042 HAS SOUS 626150 HAS SOUPS 626150 WITH SCORE 626899.042
AT ITER 6726 NEW BEST:: SOT 4412626 SOS 748933 HAS SOPS 748933 HAS SOUS 626041 HAS SOUPS 626041 WITH SCORE 626789.933
AT ITER 6767 NEW BEST:: SOT 4412571 SOS 748823 HAS SOPS 748823 HAS SOUS 625986 HAS SOUPS 625986 WITH SCORE 626734.823
AT ITER 6773 NEW BEST:: SOT 4412627 SOS 748935 HAS SOPS 748935 HAS SOUS 625897 HAS SOUPS 625897 WITH SCORE 626645.935
AT ITER 6803 NEW BEST:: SOT 4412386 SOS 748783 HAS SOPS 748783 HAS SOUS 625679 HAS SOUPS 625679 WITH SCORE 626427.783
AT ITER 6807 NEW BEST:: SOT 4412339 SOS 748606 HAS SOPS 748606 HAS SOUS 625542 HAS SOUPS 625542 WITH SCORE 626290.606
AT ITER 6892 NEW BEST:: SOT 4412207 SOS 748212 HAS SOPS 748212 HAS SOUS 625278 HAS SOUPS 625278 WITH SCORE 626026.212
AT ITER 6899 NEW BEST:: SOT 4411993 SOS 747984 HAS SOPS 747984 HAS SOUS 624982 HAS SOUPS 624982 WITH SCORE 625729.984
AT ITER 6939 NEW BEST:: SOT 4412094 SOS 746960 HAS SOPS 746960 HAS SOUS 624514 HAS SOUPS 624514 WITH SCORE 625260.96
AT ITER 6990 NEW BEST:: SOT 4412105 SOS 747276 HAS SOPS 747276 HAS SOUS 624392 HAS SOUPS 624392 WITH SCORE 625139.276
AT ITER 7042 NEW BEST:: SOT 4412105 SOS 747276 HAS SOPS 747276 HAS SOUS 624365 HAS SOUPS 624365 WITH SCORE 625112.276
AT ITER 7046 NEW BEST:: SOT 4412023 SOS 747112 HAS SOPS 747112 HAS SOUS 624201 HAS SOUPS 624201 WITH SCORE 624948.112
AT ITER 7052 NEW BEST:: SOT 4411886 SOS 747112 HAS SOPS 747112 HAS SOUS 624064 HAS SOUPS 624064 WITH SCORE 624811.112
AT ITER 7071 NEW BEST:: SOT 4411885 SOS 747110 HAS SOPS 747110 HAS SOUS 624062 HAS SOUPS 624062 WITH SCORE 624809.11
AT ITER 7078 NEW BEST:: SOT 4411695 SOS 747062 HAS SOPS 747062 HAS SOUS 624014 HAS SOUPS 624014 WITH SCORE 624761.062
AT ITER 7095 NEW BEST:: SOT 4411614 SOS 746900 HAS SOPS 746900 HAS SOUS 623852 HAS SOUPS 623852 WITH SCORE 624598.9
AT ITER 7113 NEW BEST:: SOT 4411764 SOS 747200 HAS SOPS 747200 HAS SOUS 623795 HAS SOUPS 623795 WITH SCORE 624542.2
AT ITER 7115 NEW BEST:: SOT 4411757 SOS 747186 HAS SOPS 747186 HAS SOUS 623781 HAS SOUPS 623781 WITH SCORE 624528.186
AT ITER 7133 NEW BEST:: SOT 4411491 SOS 746174 HAS SOPS 746174 HAS SOUS 623249 HAS SOUPS 623249 WITH SCORE 623995.174
AT ITER 7135 NEW BEST:: SOT 4411490 SOS 746173 HAS SOPS 746173 HAS SOUS 623225 HAS SOUPS 623225 WITH SCORE 623971.173
AT ITER 7142 NEW BEST:: SOT 4411490 SOS 746124 HAS SOPS 746124 HAS SOUS 623225 HAS SOUPS 623225 WITH SCORE 623971.124
AT ITER 7170 NEW BEST:: SOT 4411490 SOS 746124 HAS SOPS 746124 HAS SOUS 623217 HAS SOUPS 623217 WITH SCORE 623963.124
AT ITER 7177 NEW BEST:: SOT 4411490 SOS 745823 HAS SOPS 745823 HAS SOUS 623217 HAS SOUPS 623217 WITH SCORE 623962.823
AT ITER 7210 NEW BEST:: SOT 4411490 SOS 745610 HAS SOPS 745610 HAS SOUS 623004 HAS SOUPS 623004 WITH SCORE 623749.61
AT ITER 7220 NEW BEST:: SOT 4411338 SOS 744829 HAS SOPS 744829 HAS SOUS 622482 HAS SOUPS 622482 WITH SCORE 623226.829
AT ITER 7230 NEW BEST:: SOT 4411267 SOS 744779 HAS SOPS 744779 HAS SOUS 622411 HAS SOUPS 622411 WITH SCORE 623155.779
AT ITER 7245 NEW BEST:: SOT 4411267 SOS 744699 HAS SOPS 744699 HAS SOUS 622411 HAS SOUPS 622411 WITH SCORE 623155.699
AT ITER 7251 NEW BEST:: SOT 4411261 SOS 744693 HAS SOPS 744693 HAS SOUS 622405 HAS SOUPS 622405 WITH SCORE 623149.693
AT ITER 7254 NEW BEST:: SOT 4411271 SOS 744489 HAS SOPS 744489 HAS SOUS 622392 HAS SOUPS 622392 WITH SCORE 623136.489
AT ITER 7308 NEW BEST:: SOT 4411209 SOS 744365 HAS SOPS 744365 HAS SOUS 622330 HAS SOUPS 622330 WITH SCORE 623074.365
AT ITER 7332 NEW BEST:: SOT 4411511 SOS 744079 HAS SOPS 744079 HAS SOUS 622021 HAS SOUPS 622021 WITH SCORE 622765.079
AT ITER 7347 NEW BEST:: SOT 4411738 SOS 744158 HAS SOPS 744158 HAS SOUS 621872 HAS SOUPS 621872 WITH SCORE 622616.158
AT ITER 7359 NEW BEST:: SOT 4411566 SOS 743986 HAS SOPS 743986 HAS SOUS 621700 HAS SOUPS 621700 WITH SCORE 622443.986
AT ITER 7366 NEW BEST:: SOT 4411765 SOS 743832 HAS SOPS 743832 HAS SOUS 621685 HAS SOUPS 621685 WITH SCORE 622428.832
AT ITER 7370 NEW BEST:: SOT 4411773 SOS 743848 HAS SOPS 743848 HAS SOUS 621396 HAS SOUPS 621396 WITH SCORE 622139.848
AT ITER 7380 NEW BEST:: SOT 4411802 SOS 743707 HAS SOPS 743707 HAS SOUS 621226 HAS SOUPS 621226 WITH SCORE 621969.707
AT ITER 7390 NEW BEST:: SOT 4411802 SOS 743611 HAS SOPS 743611 HAS SOUS 621226 HAS SOUPS 621226 WITH SCORE 621969.611
AT ITER 7466 NEW BEST:: SOT 4411762 SOS 743531 HAS SOPS 743531 HAS SOUS 621186 HAS SOUPS 621186 WITH SCORE 621929.531
AT ITER 7482 NEW BEST:: SOT 4411738 SOS 743483 HAS SOPS 743483 HAS SOUS 621138 HAS SOUPS 621138 WITH SCORE 621881.483
AT ITER 7485 NEW BEST:: SOT 4411706 SOS 743387 HAS SOPS 743387 HAS SOUS 621074 HAS SOUPS 621074 WITH SCORE 621817.387
AT ITER 7495 NEW BEST:: SOT 4411703 SOS 743381 HAS SOPS 743381 HAS SOUS 621068 HAS SOUPS 621068 WITH SCORE 621811.381
AT ITER 7498 NEW BEST:: SOT 4411717 SOS 743357 HAS SOPS 743357 HAS SOUS 621068 HAS SOUPS 621068 WITH SCORE 621811.357
AT ITER 7510 NEW BEST:: SOT 4411446 SOS 742815 HAS SOPS 742815 HAS SOUS 620841 HAS SOUPS 620841 WITH SCORE 621583.815
AT ITER 7519 NEW BEST:: SOT 4411425 SOS 742798 HAS SOPS 742798 HAS SOUS 620795 HAS SOUPS 620795 WITH SCORE 621537.798
AT ITER 7544 NEW BEST:: SOT 4411425 SOS 742756 HAS SOPS 742756 HAS SOUS 620795 HAS SOUPS 620795 WITH SCORE 621537.756
AT ITER 7553 NEW BEST:: SOT 4411393 SOS 742692 HAS SOPS 742692 HAS SOUS 620759 HAS SOUPS 620759 WITH SCORE 621501.692
AT ITER 7556 NEW BEST:: SOT 4411381 SOS 742668 HAS SOPS 742668 HAS SOUS 620735 HAS SOUPS 620735 WITH SCORE 621477.668
AT ITER 7577 NEW BEST:: SOT 4411381 SOS 742630 HAS SOPS 742630 HAS SOUS 620735 HAS SOUPS 620735 WITH SCORE 621477.63
AT ITER 7630 NEW BEST:: SOT 4411374 SOS 742623 HAS SOPS 742623 HAS SOUS 620721 HAS SOUPS 620721 WITH SCORE 621463.623
AT ITER 7723 NEW BEST:: SOT 4411048 SOS 742299 HAS SOPS 742299 HAS SOUS 620399 HAS SOUPS 620399 WITH SCORE 621141.299
AT ITER 7733 NEW BEST:: SOT 4411069 SOS 742278 HAS SOPS 742278 HAS SOUS 620399 HAS SOUPS 620399 WITH SCORE 621141.278
AT ITER 7738 NEW BEST:: SOT 4411690 SOS 741732 HAS SOPS 741732 HAS SOUS 620300 HAS SOUPS 620300 WITH SCORE 621041.732
AT ITER 7740 NEW BEST:: SOT 4411386 SOS 741894 HAS SOPS 741894 HAS SOUS 620184 HAS SOUPS 620184 WITH SCORE 620925.894
AT ITER 7751 NEW BEST:: SOT 4411386 SOS 741767 HAS SOPS 741767 HAS SOUS 620184 HAS SOUPS 620184 WITH SCORE 620925.767
AT ITER 7755 NEW BEST:: SOT 4411343 SOS 741681 HAS SOPS 741681 HAS SOUS 620093 HAS SOUPS 620093 WITH SCORE 620834.681
AT ITER 7788 NEW BEST:: SOT 4411343 SOS 741570 HAS SOPS 741570 HAS SOUS 620093 HAS SOUPS 620093 WITH SCORE 620834.57
AT ITER 7798 NEW BEST:: SOT 4411381 SOS 741550 HAS SOPS 741550 HAS SOUS 620073 HAS SOUPS 620073 WITH SCORE 620814.55
AT ITER 7879 NEW BEST:: SOT 4411347 SOS 741482 HAS SOPS 741482 HAS SOUS 620054 HAS SOUPS 620054 WITH SCORE 620795.482
AT ITER 7885 NEW BEST:: SOT 4411665 SOS 740551 HAS SOPS 740551 HAS SOUS 619906 HAS SOUPS 619906 WITH SCORE 620646.551
AT ITER 7890 NEW BEST:: SOT 4411562 SOS 740326 HAS SOPS 740326 HAS SOUS 619700 HAS SOUPS 619700 WITH SCORE 620440.326
AT ITER 7918 NEW BEST:: SOT 4411562 SOS 740326 HAS SOPS 740326 HAS SOUS 619676 HAS SOUPS 619676 WITH SCORE 620416.326
AT ITER 7939 NEW BEST:: SOT 4411492 SOS 740116 HAS SOPS 740116 HAS SOUS 619536 HAS SOUPS 619536 WITH SCORE 620276.116
AT ITER 7943 NEW BEST:: SOT 4411425 SOS 739982 HAS SOPS 739982 HAS SOUS 619402 HAS SOUPS 619402 WITH SCORE 620141.982
AT ITER 7949 NEW BEST:: SOT 4411438 SOS 739840 HAS SOPS 739840 HAS SOUS 619393 HAS SOUPS 619393 WITH SCORE 620132.84
AT ITER 7964 NEW BEST:: SOT 4411353 SOS 739670 HAS SOPS 739670 HAS SOUS 619223 HAS SOUPS 619223 WITH SCORE 619962.67
AT ITER 7966 NEW BEST:: SOT 4411353 SOS 739670 HAS SOPS 739670 HAS SOUS 619201 HAS SOUPS 619201 WITH SCORE 619940.67
AT ITER 7998 NEW BEST:: SOT 4411352 SOS 739668 HAS SOPS 739668 HAS SOUS 619199 HAS SOUPS 619199 WITH SCORE 619938.668
AT ITER 8005 NEW BEST:: SOT 4411004 SOS 739270 HAS SOPS 739270 HAS SOUS 618735 HAS SOUPS 618735 WITH SCORE 619474.27
AT ITER 8047 NEW BEST:: SOT 4411024 SOS 739224 HAS SOPS 739224 HAS SOUS 618689 HAS SOUPS 618689 WITH SCORE 619428.224
AT ITER 8051 NEW BEST:: SOT 4410809 SOS 739088 HAS SOPS 739088 HAS SOUS 618259 HAS SOUPS 618259 WITH SCORE 618998.088
AT ITER 8065 NEW BEST:: SOT 4410809 SOS 739068 HAS SOPS 739068 HAS SOUS 618259 HAS SOUPS 618259 WITH SCORE 618998.068
AT ITER 8067 NEW BEST:: SOT 4410846 SOS 739142 HAS SOPS 739142 HAS SOUS 618197 HAS SOUPS 618197 WITH SCORE 618936.142
AT ITER 8086 NEW BEST:: SOT 4410936 SOS 739142 HAS SOPS 739142 HAS SOUS 618056 HAS SOUPS 618056 WITH SCORE 618795.142
AT ITER 8087 NEW BEST:: SOT 4410804 SOS 738878 HAS SOPS 738878 HAS SOUS 617792 HAS SOUPS 617792 WITH SCORE 618530.878
AT ITER 8146 NEW BEST:: SOT 4410710 SOS 738878 HAS SOPS 738878 HAS SOUS 617698 HAS SOUPS 617698 WITH SCORE 618436.878
AT ITER 8155 NEW BEST:: SOT 4410433 SOS 738892 HAS SOPS 738892 HAS SOUS 617610 HAS SOUPS 617610 WITH SCORE 618348.892
AT ITER 8157 NEW BEST:: SOT 4410396 SOS 738897 HAS SOPS 738897 HAS SOUS 617513 HAS SOUPS 617513 WITH SCORE 618251.897
AT ITER 8190 NEW BEST:: SOT 4410330 SOS 738949 HAS SOPS 738949 HAS SOUS 617473 HAS SOUPS 617473 WITH SCORE 618211.949
AT ITER 8210 NEW BEST:: SOT 4410262 SOS 738813 HAS SOPS 738813 HAS SOUS 617405 HAS SOUPS 617405 WITH SCORE 618143.813
AT ITER 8227 NEW BEST:: SOT 4410171 SOS 738491 HAS SOPS 738491 HAS SOUS 617174 HAS SOUPS 617174 WITH SCORE 617912.491
AT ITER 8241 NEW BEST:: SOT 4410065 SOS 738385 HAS SOPS 738385 HAS SOUS 617068 HAS SOUPS 617068 WITH SCORE 617806.385
AT ITER 8251 NEW BEST:: SOT 4410065 SOS 738217 HAS SOPS 738217 HAS SOUS 616984 HAS SOUPS 616984 WITH SCORE 617722.217
AT ITER 8256 NEW BEST:: SOT 4410065 SOS 738032 HAS SOPS 738032 HAS SOUS 616799 HAS SOUPS 616799 WITH SCORE 617537.032
AT ITER 8261 NEW BEST:: SOT 4409830 SOS 737797 HAS SOPS 737797 HAS SOUS 616620 HAS SOUPS 616620 WITH SCORE 617357.797
AT ITER 8267 NEW BEST:: SOT 4409684 SOS 737505 HAS SOPS 737505 HAS SOUS 616328 HAS SOUPS 616328 WITH SCORE 617065.505
AT ITER 8288 NEW BEST:: SOT 4409676 SOS 737442 HAS SOPS 737442 HAS SOUS 616312 HAS SOUPS 616312 WITH SCORE 617049.442
AT ITER 8303 NEW BEST:: SOT 4409761 SOS 737421 HAS SOPS 737421 HAS SOUS 616291 HAS SOUPS 616291 WITH SCORE 617028.421
AT ITER 8315 NEW BEST:: SOT 4409686 SOS 737271 HAS SOPS 737271 HAS SOUS 616141 HAS SOUPS 616141 WITH SCORE 616878.271
AT ITER 8363 NEW BEST:: SOT 4409683 SOS 737265 HAS SOPS 737265 HAS SOUS 616135 HAS SOUPS 616135 WITH SCORE 616872.265
AT ITER 8370 NEW BEST:: SOT 4409694 SOS 737287 HAS SOPS 737287 HAS SOUS 616070 HAS SOUPS 616070 WITH SCORE 616807.287
AT ITER 8371 NEW BEST:: SOT 4409617 SOS 737133 HAS SOPS 737133 HAS SOUS 615916 HAS SOUPS 615916 WITH SCORE 616653.133
AT ITER 8386 NEW BEST:: SOT 4409617 SOS 737101 HAS SOPS 737101 HAS SOUS 615884 HAS SOUPS 615884 WITH SCORE 616621.101
AT ITER 8395 NEW BEST:: SOT 4409497 SOS 736981 HAS SOPS 736981 HAS SOUS 615647 HAS SOUPS 615647 WITH SCORE 616383.981
AT ITER 8411 NEW BEST:: SOT 4409470 SOS 736753 HAS SOPS 736753 HAS SOUS 615518 HAS SOUPS 615518 WITH SCORE 616254.753
AT ITER 8430 NEW BEST:: SOT 4409470 SOS 736720 HAS SOPS 736720 HAS SOUS 615485 HAS SOUPS 615485 WITH SCORE 616221.72
AT ITER 8438 NEW BEST:: SOT 4409247 SOS 736428 HAS SOPS 736428 HAS SOUS 615270 HAS SOUPS 615270 WITH SCORE 616006.428
AT ITER 8460 NEW BEST:: SOT 4408683 SOS 736535 HAS SOPS 736535 HAS SOUS 614819 HAS SOUPS 614819 WITH SCORE 615555.535
AT ITER 8464 NEW BEST:: SOT 4408626 SOS 736421 HAS SOPS 736421 HAS SOUS 614705 HAS SOUPS 614705 WITH SCORE 615441.421
AT ITER 8524 NEW BEST:: SOT 4408626 SOS 736411 HAS SOPS 736411 HAS SOUS 614705 HAS SOUPS 614705 WITH SCORE 615441.411
AT ITER 8565 NEW BEST:: SOT 4408318 SOS 736108 HAS SOPS 736108 HAS SOUS 614562 HAS SOUPS 614562 WITH SCORE 615298.108
AT ITER 8592 NEW BEST:: SOT 4408206 SOS 736019 HAS SOPS 736019 HAS SOUS 614450 HAS SOUPS 614450 WITH SCORE 615186.019
AT ITER 8602 NEW BEST:: SOT 4408160 SOS 735927 HAS SOPS 735927 HAS SOUS 614444 HAS SOUPS 614444 WITH SCORE 615179.927
AT ITER 8633 NEW BEST:: SOT 4408125 SOS 735857 HAS SOPS 735857 HAS SOUS 614053 HAS SOUPS 614053 WITH SCORE 614788.857
AT ITER 8640 NEW BEST:: SOT 4408095 SOS 735797 HAS SOPS 735797 HAS SOUS 613951 HAS SOUPS 613951 WITH SCORE 614686.797
AT ITER 8652 NEW BEST:: SOT 4408016 SOS 735639 HAS SOPS 735639 HAS SOUS 613793 HAS SOUPS 613793 WITH SCORE 614528.639
AT ITER 8665 NEW BEST:: SOT 4408005 SOS 735524 HAS SOPS 735524 HAS SOUS 613771 HAS SOUPS 613771 WITH SCORE 614506.524
AT ITER 8676 NEW BEST:: SOT 4407887 SOS 735288 HAS SOPS 735288 HAS SOUS 613535 HAS SOUPS 613535 WITH SCORE 614270.288
AT ITER 8689 NEW BEST:: SOT 4407826 SOS 735166 HAS SOPS 735166 HAS SOUS 613347 HAS SOUPS 613347 WITH SCORE 614082.166
AT ITER 8716 NEW BEST:: SOT 4407671 SOS 734856 HAS SOPS 734856 HAS SOUS 613037 HAS SOUPS 613037 WITH SCORE 613771.856
AT ITER 8721 NEW BEST:: SOT 4407612 SOS 734808 HAS SOPS 734808 HAS SOUS 612919 HAS SOUPS 612919 WITH SCORE 613653.808
AT ITER 8732 NEW BEST:: SOT 4407455 SOS 734494 HAS SOPS 734494 HAS SOUS 612605 HAS SOUPS 612605 WITH SCORE 613339.494
AT ITER 8760 NEW BEST:: SOT 4406650 SOS 737035 HAS SOPS 737035 HAS SOUS 612429 HAS SOUPS 612429 WITH SCORE 613166.035
AT ITER 8767 NEW BEST:: SOT 4406649 SOS 737033 HAS SOPS 737033 HAS SOUS 612427 HAS SOUPS 612427 WITH SCORE 613164.033
AT ITER 8812 NEW BEST:: SOT 4406638 SOS 737035 HAS SOPS 737035 HAS SOUS 612416 HAS SOUPS 612416 WITH SCORE 613153.035
AT ITER 8817 NEW BEST:: SOT 4406398 SOS 736555 HAS SOPS 736555 HAS SOUS 612066 HAS SOUPS 612066 WITH SCORE 612802.555
AT ITER 8820 NEW BEST:: SOT 4406445 SOS 736530 HAS SOPS 736530 HAS SOUS 612041 HAS SOUPS 612041 WITH SCORE 612777.53
AT ITER 8837 NEW BEST:: SOT 4406440 SOS 736018 HAS SOPS 736018 HAS SOUS 612031 HAS SOUPS 612031 WITH SCORE 612767.018
AT ITER 8851 NEW BEST:: SOT 4406347 SOS 735832 HAS SOPS 735832 HAS SOUS 612013 HAS SOUPS 612013 WITH SCORE 612748.832
AT ITER 8866 NEW BEST:: SOT 4406301 SOS 735786 HAS SOPS 735786 HAS SOUS 611921 HAS SOUPS 611921 WITH SCORE 612656.786
AT ITER 8902 NEW BEST:: SOT 4406271 SOS 735756 HAS SOPS 735756 HAS SOUS 611891 HAS SOUPS 611891 WITH SCORE 612626.756
AT ITER 8904 NEW BEST:: SOT 4406201 SOS 735616 HAS SOPS 735616 HAS SOUS 611751 HAS SOUPS 611751 WITH SCORE 612486.616
AT ITER 8924 NEW BEST:: SOT 4406201 SOS 735616 HAS SOPS 735616 HAS SOUS 611683 HAS SOUPS 611683 WITH SCORE 612418.616
AT ITER 8956 NEW BEST:: SOT 4406134 SOS 735482 HAS SOPS 735482 HAS SOUS 611660 HAS SOUPS 611660 WITH SCORE 612395.482
AT ITER 8972 NEW BEST:: SOT 4406069 SOS 735417 HAS SOPS 735417 HAS SOUS 611595 HAS SOUPS 611595 WITH SCORE 612330.417
AT ITER 8980 NEW BEST:: SOT 4406083 SOS 735556 HAS SOPS 735556 HAS SOUS 611562 HAS SOUPS 611562 WITH SCORE 612297.556
AT ITER 8991 NEW BEST:: SOT 4405717 SOS 735160 HAS SOPS 735160 HAS SOUS 611358 HAS SOUPS 611358 WITH SCORE 612093.16
AT ITER 9006 NEW BEST:: SOT 4405677 SOS 735080 HAS SOPS 735080 HAS SOUS 611278 HAS SOUPS 611278 WITH SCORE 612013.08
AT ITER 9078 NEW BEST:: SOT 4405536 SOS 735051 HAS SOPS 735051 HAS SOUS 611249 HAS SOUPS 611249 WITH SCORE 611984.051
AT ITER 9086 NEW BEST:: SOT 4405528 SOS 735035 HAS SOPS 735035 HAS SOUS 611209 HAS SOUPS 611209 WITH SCORE 611944.035
AT ITER 9107 NEW BEST:: SOT 4405546 SOS 734995 HAS SOPS 734995 HAS SOUS 611189 HAS SOUPS 611189 WITH SCORE 611923.995
AT ITER 9128 NEW BEST:: SOT 4405462 SOS 734921 HAS SOPS 734921 HAS SOUS 611115 HAS SOUPS 611115 WITH SCORE 611849.921
AT ITER 9129 NEW BEST:: SOT 4405542 SOS 734906 HAS SOPS 734906 HAS SOUS 611100 HAS SOUPS 611100 WITH SCORE 611834.906
AT ITER 9132 NEW BEST:: SOT 4405727 SOS 734904 HAS SOPS 734904 HAS SOUS 611099 HAS SOUPS 611099 WITH SCORE 611833.904
AT ITER 9133 NEW BEST:: SOT 4405569 SOS 734588 HAS SOPS 734588 HAS SOUS 610941 HAS SOUPS 610941 WITH SCORE 611675.588
AT ITER 9192 NEW BEST:: SOT 4405359 SOS 734168 HAS SOPS 734168 HAS SOUS 610731 HAS SOUPS 610731 WITH SCORE 611465.168
AT ITER 9211 NEW BEST:: SOT 4405232 SOS 733914 HAS SOPS 733914 HAS SOUS 610685 HAS SOUPS 610685 WITH SCORE 611418.914
AT ITER 9241 NEW BEST:: SOT 4405111 SOS 733793 HAS SOPS 733793 HAS SOUS 610564 HAS SOUPS 610564 WITH SCORE 611297.793
AT ITER 9249 NEW BEST:: SOT 4405111 SOS 733707 HAS SOPS 733707 HAS SOUS 610521 HAS SOUPS 610521 WITH SCORE 611254.707
AT ITER 9262 NEW BEST:: SOT 4405192 SOS 733545 HAS SOPS 733545 HAS SOUS 610521 HAS SOUPS 610521 WITH SCORE 611254.545
AT ITER 9292 NEW BEST:: SOT 4405206 SOS 733607 HAS SOPS 733607 HAS SOUS 610515 HAS SOUPS 610515 WITH SCORE 611248.607
AT ITER 9297 NEW BEST:: SOT 4405207 SOS 733547 HAS SOPS 733547 HAS SOUS 610455 HAS SOUPS 610455 WITH SCORE 611188.547
AT ITER 9313 NEW BEST:: SOT 4405195 SOS 733523 HAS SOPS 733523 HAS SOUS 610431 HAS SOUPS 610431 WITH SCORE 611164.523
AT ITER 9315 NEW BEST:: SOT 4404936 SOS 733005 HAS SOPS 733005 HAS SOUS 609913 HAS SOUPS 609913 WITH SCORE 610646.005
AT ITER 9330 NEW BEST:: SOT 4404745 SOS 733080 HAS SOPS 733080 HAS SOUS 609898 HAS SOUPS 609898 WITH SCORE 610631.08
AT ITER 9363 NEW BEST:: SOT 4404724 SOS 733038 HAS SOPS 733038 HAS SOUS 609877 HAS SOUPS 609877 WITH SCORE 610610.038
AT ITER 9406 NEW BEST:: SOT 4404724 SOS 732945 HAS SOPS 732945 HAS SOUS 609784 HAS SOUPS 609784 WITH SCORE 610516.945
AT ITER 9470 NEW BEST:: SOT 4404724 SOS 732945 HAS SOPS 732945 HAS SOUS 609751 HAS SOUPS 609751 WITH SCORE 610483.945
AT ITER 9495 NEW BEST:: SOT 4404705 SOS 732907 HAS SOPS 732907 HAS SOUS 609732 HAS SOUPS 609732 WITH SCORE 610464.907
AT ITER 9497 NEW BEST:: SOT 4404704 SOS 732906 HAS SOPS 732906 HAS SOUS 609731 HAS SOUPS 609731 WITH SCORE 610463.906
AT ITER 9540 NEW BEST:: SOT 4404693 SOS 732895 HAS SOPS 732895 HAS SOUS 609720 HAS SOUPS 609720 WITH SCORE 610452.895
AT ITER 9567 NEW BEST:: SOT 4404614 SOS 732737 HAS SOPS 732737 HAS SOUS 609562 HAS SOUPS 609562 WITH SCORE 610294.737
AT ITER 9584 NEW BEST:: SOT 4404275 SOS 732448 HAS SOPS 732448 HAS SOUS 609380 HAS SOUPS 609380 WITH SCORE 610112.448
AT ITER 9618 NEW BEST:: SOT 4404225 SOS 732348 HAS SOPS 732348 HAS SOUS 609280 HAS SOUPS 609280 WITH SCORE 610012.348
AT ITER 9620 NEW BEST:: SOT 4403042 SOS 731746 HAS SOPS 731746 HAS SOUS 608356 HAS SOUPS 608356 WITH SCORE 609087.746
AT ITER 9643 NEW BEST:: SOT 4402968 SOS 731678 HAS SOPS 731678 HAS SOUS 608282 HAS SOUPS 608282 WITH SCORE 609013.678
AT ITER 9644 NEW BEST:: SOT 4402967 SOS 731676 HAS SOPS 731676 HAS SOUS 608280 HAS SOUPS 608280 WITH SCORE 609011.676
AT ITER 9651 NEW BEST:: SOT 4402938 SOS 731618 HAS SOPS 731618 HAS SOUS 608251 HAS SOUPS 608251 WITH SCORE 608982.618
AT ITER 9659 NEW BEST:: SOT 4402868 SOS 731478 HAS SOPS 731478 HAS SOUS 608111 HAS SOUPS 608111 WITH SCORE 608842.478
AT ITER 9670 NEW BEST:: SOT 4402867 SOS 731476 HAS SOPS 731476 HAS SOUS 608109 HAS SOUPS 608109 WITH SCORE 608840.476
AT ITER 9675 NEW BEST:: SOT 4402767 SOS 731141 HAS SOPS 731141 HAS SOUS 607909 HAS SOUPS 607909 WITH SCORE 608640.141
AT ITER 9677 NEW BEST:: SOT 4402766 SOS 731139 HAS SOPS 731139 HAS SOUS 607907 HAS SOUPS 607907 WITH SCORE 608638.139
AT ITER 9682 NEW BEST:: SOT 4402672 SOS 730951 HAS SOPS 730951 HAS SOUS 607719 HAS SOUPS 607719 WITH SCORE 608449.951
AT ITER 9697 NEW BEST:: SOT 4402598 SOS 730877 HAS SOPS 730877 HAS SOUS 607645 HAS SOUPS 607645 WITH SCORE 608375.877
AT ITER 9781 NEW BEST:: SOT 4402441 SOS 730563 HAS SOPS 730563 HAS SOUS 607331 HAS SOUPS 607331 WITH SCORE 608061.563
AT ITER 9794 NEW BEST:: SOT 4402435 SOS 730429 HAS SOPS 730429 HAS SOUS 607325 HAS SOUPS 607325 WITH SCORE 608055.429
AT ITER 9812 NEW BEST:: SOT 4401906 SOS 730835 HAS SOPS 730835 HAS SOUS 607055 HAS SOUPS 607055 WITH SCORE 607785.835
AT ITER 9823 NEW BEST:: SOT 4401890 SOS 730803 HAS SOPS 730803 HAS SOUS 607023 HAS SOUPS 607023 WITH SCORE 607753.803
AT ITER 9836 NEW BEST:: SOT 4401785 SOS 730593 HAS SOPS 730593 HAS SOUS 606813 HAS SOUPS 606813 WITH SCORE 607543.593
AT ITER 9837 NEW BEST:: SOT 4401785 SOS 730593 HAS SOPS 730593 HAS SOUS 606696 HAS SOUPS 606696 WITH SCORE 607426.593
AT ITER 9839 NEW BEST:: SOT 4401756 SOS 730564 HAS SOPS 730564 HAS SOUS 606667 HAS SOUPS 606667 WITH SCORE 607397.564
AT ITER 9845 NEW BEST:: SOT 4401621 SOS 730540 HAS SOPS 730540 HAS SOUS 606643 HAS SOUPS 606643 WITH SCORE 607373.54
AT ITER 9876 NEW BEST:: SOT 4401618 SOS 730528 HAS SOPS 730528 HAS SOUS 606637 HAS SOUPS 606637 WITH SCORE 607367.528
AT ITER 9878 NEW BEST:: SOT 4401618 SOS 730528 HAS SOPS 730528 HAS SOUS 606619 HAS SOUPS 606619 WITH SCORE 607349.528
AT ITER 9906 NEW BEST:: SOT 4401560 SOS 730705 HAS SOPS 730705 HAS SOUS 606604 HAS SOUPS 606604 WITH SCORE 607334.705
AT ITER 9920 NEW BEST:: SOT 4401560 SOS 730238 HAS SOPS 730238 HAS SOUS 606604 HAS SOUPS 606604 WITH SCORE 607334.238
AT ITER 9926 NEW BEST:: SOT 4401416 SOS 730055 HAS SOPS 730055 HAS SOUS 606526 HAS SOUPS 606526 WITH SCORE 607256.055
AT ITER 9939 NEW BEST:: SOT 4401146 SOS 729747 HAS SOPS 729747 HAS SOUS 606037 HAS SOUPS 606037 WITH SCORE 606766.747
AT ITER 9948 NEW BEST:: SOT 4401071 SOS 729672 HAS SOPS 729672 HAS SOUS 606037 HAS SOUPS 606037 WITH SCORE 606766.672
AT ITER 9965 NEW BEST:: SOT 4401185 SOS 729358 HAS SOPS 729358 HAS SOUS 605880 HAS SOUPS 605880 WITH SCORE 606609.358
AT ITER 9970 NEW BEST:: SOT 4401026 SOS 729040 HAS SOPS 729040 HAS SOUS 605562 HAS SOUPS 605562 WITH SCORE 606291.04
AT ITER 9971 NEW BEST:: SOT 4401034 SOS 729056 HAS SOPS 729056 HAS SOUS 605450 HAS SOUPS 605450 WITH SCORE 606179.056
AT ITER 9977 NEW BEST:: SOT 4400821 SOS 728942 HAS SOPS 728942 HAS SOUS 605238 HAS SOUPS 605238 WITH SCORE 605966.942

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CloudReconfiguration-PT-320, 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-158902541800160"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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