Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r033-smll-158901925900280.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 CloudDeployment-PT-2b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925900280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 332K
-rw-r--r-- 1 mcc users 3.8K Mar 30 01:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 15:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 07:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 07:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K 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 166K 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 1589135607159

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

Filename model.pnml
Petri model created: 556 places, 684 transitions, 1987 arcs.
AT ITER 0 NEW BEST:: SOT 220806 SOS 58153 HAS SOPS 58153 HAS SOUS 46115 HAS SOUPS 46115 WITH SCORE 46173.153
AT ITER 8 NEW BEST:: SOT 220790 SOS 58128 HAS SOPS 58128 HAS SOUS 46081 HAS SOUPS 46081 WITH SCORE 46139.128
AT ITER 19 NEW BEST:: SOT 220789 SOS 58068 HAS SOPS 58068 HAS SOUS 46080 HAS SOUPS 46080 WITH SCORE 46138.068
AT ITER 30 NEW BEST:: SOT 220779 SOS 58048 HAS SOPS 58048 HAS SOUS 45981 HAS SOUPS 45981 WITH SCORE 46039.048
AT ITER 36 NEW BEST:: SOT 220779 SOS 58010 HAS SOPS 58010 HAS SOUS 45943 HAS SOUPS 45943 WITH SCORE 46001.01
AT ITER 37 NEW BEST:: SOT 220739 SOS 57990 HAS SOPS 57990 HAS SOUS 45903 HAS SOUPS 45903 WITH SCORE 45960.99
AT ITER 39 NEW BEST:: SOT 220778 SOS 58066 HAS SOPS 58066 HAS SOUS 45878 HAS SOUPS 45878 WITH SCORE 45936.066
AT ITER 95 NEW BEST:: SOT 220776 SOS 58052 HAS SOPS 58052 HAS SOUS 45864 HAS SOUPS 45864 WITH SCORE 45922.052
AT ITER 118 NEW BEST:: SOT 220775 SOS 58055 HAS SOPS 58055 HAS SOUS 45847 HAS SOUPS 45847 WITH SCORE 45905.055
AT ITER 136 NEW BEST:: SOT 220707 SOS 57995 HAS SOPS 57995 HAS SOUS 45779 HAS SOUPS 45779 WITH SCORE 45836.995
AT ITER 138 NEW BEST:: SOT 220245 SOS 58051 HAS SOPS 58051 HAS SOUS 45413 HAS SOUPS 45413 WITH SCORE 45471.051
AT ITER 139 NEW BEST:: SOT 220231 SOS 58009 HAS SOPS 58009 HAS SOUS 45392 HAS SOUPS 45392 WITH SCORE 45450.009
AT ITER 150 NEW BEST:: SOT 220231 SOS 58249 HAS SOPS 58249 HAS SOUS 45371 HAS SOUPS 45371 WITH SCORE 45429.249
AT ITER 156 NEW BEST:: SOT 220169 SOS 58278 HAS SOPS 58278 HAS SOUS 45338 HAS SOUPS 45338 WITH SCORE 45396.278
AT ITER 190 NEW BEST:: SOT 220129 SOS 58238 HAS SOPS 58238 HAS SOUS 45298 HAS SOUPS 45298 WITH SCORE 45356.238
AT ITER 198 NEW BEST:: SOT 220128 SOS 58236 HAS SOPS 58236 HAS SOUS 45296 HAS SOUPS 45296 WITH SCORE 45354.236
AT ITER 212 NEW BEST:: SOT 220128 SOS 58209 HAS SOPS 58209 HAS SOUS 45290 HAS SOUPS 45290 WITH SCORE 45348.209
AT ITER 223 NEW BEST:: SOT 220111 SOS 58175 HAS SOPS 58175 HAS SOUS 45256 HAS SOUPS 45256 WITH SCORE 45314.175
AT ITER 226 NEW BEST:: SOT 220081 SOS 58145 HAS SOPS 58145 HAS SOUS 45226 HAS SOUPS 45226 WITH SCORE 45284.145
AT ITER 230 NEW BEST:: SOT 220154 SOS 58291 HAS SOPS 58291 HAS SOUS 45137 HAS SOUPS 45137 WITH SCORE 45195.291
AT ITER 232 NEW BEST:: SOT 220154 SOS 58409 HAS SOPS 58409 HAS SOUS 45135 HAS SOUPS 45135 WITH SCORE 45193.409
AT ITER 236 NEW BEST:: SOT 220154 SOS 58380 HAS SOPS 58380 HAS SOUS 45106 HAS SOUPS 45106 WITH SCORE 45164.38
AT ITER 270 NEW BEST:: SOT 220018 SOS 58478 HAS SOPS 58478 HAS SOUS 44986 HAS SOUPS 44986 WITH SCORE 45044.478
AT ITER 271 NEW BEST:: SOT 219974 SOS 58390 HAS SOPS 58390 HAS SOUS 44898 HAS SOUPS 44898 WITH SCORE 44956.39
AT ITER 277 NEW BEST:: SOT 219964 SOS 58370 HAS SOPS 58370 HAS SOUS 44894 HAS SOUPS 44894 WITH SCORE 44952.37
AT ITER 294 NEW BEST:: SOT 219937 SOS 58289 HAS SOPS 58289 HAS SOUS 44840 HAS SOUPS 44840 WITH SCORE 44898.289
AT ITER 324 NEW BEST:: SOT 219999 SOS 58351 HAS SOPS 58351 HAS SOUS 44785 HAS SOUPS 44785 WITH SCORE 44843.351
AT ITER 325 NEW BEST:: SOT 219986 SOS 58346 HAS SOPS 58346 HAS SOUS 44772 HAS SOUPS 44772 WITH SCORE 44830.346
AT ITER 333 NEW BEST:: SOT 219963 SOS 58323 HAS SOPS 58323 HAS SOUS 44749 HAS SOUPS 44749 WITH SCORE 44807.323
AT ITER 338 NEW BEST:: SOT 219874 SOS 58544 HAS SOPS 58544 HAS SOUS 44704 HAS SOUPS 44704 WITH SCORE 44762.544
AT ITER 380 NEW BEST:: SOT 219840 SOS 58654 HAS SOPS 58654 HAS SOUS 44670 HAS SOUPS 44670 WITH SCORE 44728.654
AT ITER 388 NEW BEST:: SOT 219865 SOS 58629 HAS SOPS 58629 HAS SOUS 44670 HAS SOUPS 44670 WITH SCORE 44728.629
AT ITER 389 NEW BEST:: SOT 219861 SOS 58621 HAS SOPS 58621 HAS SOUS 44662 HAS SOUPS 44662 WITH SCORE 44720.621
AT ITER 392 NEW BEST:: SOT 219760 SOS 58683 HAS SOPS 58683 HAS SOUS 44611 HAS SOUPS 44611 WITH SCORE 44669.683
AT ITER 394 NEW BEST:: SOT 219533 SOS 59759 HAS SOPS 59759 HAS SOUS 44534 HAS SOUPS 44534 WITH SCORE 44593.759
AT ITER 404 NEW BEST:: SOT 219553 SOS 59800 HAS SOPS 59800 HAS SOUS 44530 HAS SOUPS 44530 WITH SCORE 44589.8
AT ITER 417 NEW BEST:: SOT 219604 SOS 59811 HAS SOPS 59811 HAS SOUS 44411 HAS SOUPS 44411 WITH SCORE 44470.811
AT ITER 418 NEW BEST:: SOT 219567 SOS 59851 HAS SOPS 59851 HAS SOUS 44386 HAS SOUPS 44386 WITH SCORE 44445.851
AT ITER 448 NEW BEST:: SOT 219540 SOS 59797 HAS SOPS 59797 HAS SOUS 44332 HAS SOUPS 44332 WITH SCORE 44391.797
AT ITER 467 NEW BEST:: SOT 219540 SOS 59784 HAS SOPS 59784 HAS SOUS 44319 HAS SOUPS 44319 WITH SCORE 44378.784
AT ITER 479 NEW BEST:: SOT 219476 SOS 59384 HAS SOPS 59384 HAS SOUS 44130 HAS SOUPS 44130 WITH SCORE 44189.384
AT ITER 481 NEW BEST:: SOT 219476 SOS 59298 HAS SOPS 59298 HAS SOUS 44074 HAS SOUPS 44074 WITH SCORE 44133.298
AT ITER 494 NEW BEST:: SOT 219476 SOS 59232 HAS SOPS 59232 HAS SOUS 43992 HAS SOUPS 43992 WITH SCORE 44051.232
AT ITER 508 NEW BEST:: SOT 219476 SOS 59232 HAS SOPS 59232 HAS SOUS 43989 HAS SOUPS 43989 WITH SCORE 44048.232
AT ITER 526 NEW BEST:: SOT 219481 SOS 59231 HAS SOPS 59231 HAS SOUS 43980 HAS SOUPS 43980 WITH SCORE 44039.231
AT ITER 549 NEW BEST:: SOT 219337 SOS 59159 HAS SOPS 59159 HAS SOUS 43836 HAS SOUPS 43836 WITH SCORE 43895.159
AT ITER 552 NEW BEST:: SOT 219407 SOS 59038 HAS SOPS 59038 HAS SOUS 43785 HAS SOUPS 43785 WITH SCORE 43844.038
AT ITER 564 NEW BEST:: SOT 219407 SOS 59027 HAS SOPS 59027 HAS SOUS 43732 HAS SOUPS 43732 WITH SCORE 43791.027
AT ITER 576 NEW BEST:: SOT 219407 SOS 59027 HAS SOPS 59027 HAS SOUS 43714 HAS SOUPS 43714 WITH SCORE 43773.027
AT ITER 581 NEW BEST:: SOT 219319 SOS 58983 HAS SOPS 58983 HAS SOUS 43626 HAS SOUPS 43626 WITH SCORE 43684.983
AT ITER 583 NEW BEST:: SOT 219276 SOS 58920 HAS SOPS 58920 HAS SOUS 43623 HAS SOUPS 43623 WITH SCORE 43681.92
AT ITER 589 NEW BEST:: SOT 219192 SOS 58966 HAS SOPS 58966 HAS SOUS 43516 HAS SOUPS 43516 WITH SCORE 43574.966
AT ITER 599 NEW BEST:: SOT 219149 SOS 58782 HAS SOPS 58782 HAS SOUS 43473 HAS SOUPS 43473 WITH SCORE 43531.782
AT ITER 618 NEW BEST:: SOT 219221 SOS 58926 HAS SOPS 58926 HAS SOUS 43379 HAS SOUPS 43379 WITH SCORE 43437.926
AT ITER 628 NEW BEST:: SOT 219147 SOS 58902 HAS SOPS 58902 HAS SOUS 43321 HAS SOUPS 43321 WITH SCORE 43379.902
AT ITER 637 NEW BEST:: SOT 219187 SOS 58982 HAS SOPS 58982 HAS SOUS 43242 HAS SOUPS 43242 WITH SCORE 43300.982
AT ITER 650 NEW BEST:: SOT 219138 SOS 58995 HAS SOPS 58995 HAS SOUS 43203 HAS SOUPS 43203 WITH SCORE 43261.995
AT ITER 659 NEW BEST:: SOT 219147 SOS 58934 HAS SOPS 58934 HAS SOUS 43144 HAS SOUPS 43144 WITH SCORE 43202.934
AT ITER 676 NEW BEST:: SOT 219193 SOS 58963 HAS SOPS 58963 HAS SOUS 43082 HAS SOUPS 43082 WITH SCORE 43140.963
AT ITER 690 NEW BEST:: SOT 219186 SOS 58932 HAS SOPS 58932 HAS SOUS 43072 HAS SOUPS 43072 WITH SCORE 43130.932
AT ITER 726 NEW BEST:: SOT 219179 SOS 58918 HAS SOPS 58918 HAS SOUS 43065 HAS SOUPS 43065 WITH SCORE 43123.918
AT ITER 729 NEW BEST:: SOT 219200 SOS 58960 HAS SOPS 58960 HAS SOUS 43062 HAS SOUPS 43062 WITH SCORE 43120.96
AT ITER 739 NEW BEST:: SOT 219216 SOS 58937 HAS SOPS 58937 HAS SOUS 43056 HAS SOUPS 43056 WITH SCORE 43114.937
AT ITER 747 NEW BEST:: SOT 219176 SOS 58840 HAS SOPS 58840 HAS SOUS 42967 HAS SOUPS 42967 WITH SCORE 43025.84
AT ITER 749 NEW BEST:: SOT 219110 SOS 59002 HAS SOPS 59002 HAS SOUS 42950 HAS SOUPS 42950 WITH SCORE 43009.002
AT ITER 753 NEW BEST:: SOT 219119 SOS 59000 HAS SOPS 59000 HAS SOUS 42948 HAS SOUPS 42948 WITH SCORE 43007.0
AT ITER 766 NEW BEST:: SOT 218965 SOS 59036 HAS SOPS 59036 HAS SOUS 42761 HAS SOUPS 42761 WITH SCORE 42820.036
AT ITER 771 NEW BEST:: SOT 218965 SOS 59024 HAS SOPS 59024 HAS SOUS 42760 HAS SOUPS 42760 WITH SCORE 42819.024
AT ITER 788 NEW BEST:: SOT 218913 SOS 58910 HAS SOPS 58910 HAS SOUS 42688 HAS SOUPS 42688 WITH SCORE 42746.91
AT ITER 790 NEW BEST:: SOT 218788 SOS 59870 HAS SOPS 59870 HAS SOUS 42666 HAS SOUPS 42666 WITH SCORE 42725.87
AT ITER 799 NEW BEST:: SOT 218783 SOS 59830 HAS SOPS 59830 HAS SOUS 42656 HAS SOUPS 42656 WITH SCORE 42715.83
AT ITER 823 NEW BEST:: SOT 218818 SOS 59850 HAS SOPS 59850 HAS SOUS 42641 HAS SOUPS 42641 WITH SCORE 42700.85
AT ITER 825 NEW BEST:: SOT 218818 SOS 59874 HAS SOPS 59874 HAS SOUS 42640 HAS SOUPS 42640 WITH SCORE 42699.874
AT ITER 855 NEW BEST:: SOT 218829 SOS 59788 HAS SOPS 59788 HAS SOUS 42558 HAS SOUPS 42558 WITH SCORE 42617.788
AT ITER 858 NEW BEST:: SOT 218900 SOS 59794 HAS SOPS 59794 HAS SOUS 42554 HAS SOUPS 42554 WITH SCORE 42613.794
AT ITER 862 NEW BEST:: SOT 218887 SOS 59768 HAS SOPS 59768 HAS SOUS 42528 HAS SOUPS 42528 WITH SCORE 42587.768
AT ITER 874 NEW BEST:: SOT 218886 SOS 59693 HAS SOPS 59693 HAS SOUS 42450 HAS SOUPS 42450 WITH SCORE 42509.693
AT ITER 875 NEW BEST:: SOT 218878 SOS 59677 HAS SOPS 59677 HAS SOUS 42442 HAS SOUPS 42442 WITH SCORE 42501.677
AT ITER 878 NEW BEST:: SOT 218832 SOS 59645 HAS SOPS 59645 HAS SOUS 42400 HAS SOUPS 42400 WITH SCORE 42459.645
AT ITER 894 NEW BEST:: SOT 218826 SOS 59633 HAS SOPS 59633 HAS SOUS 42388 HAS SOUPS 42388 WITH SCORE 42447.633
AT ITER 919 NEW BEST:: SOT 218820 SOS 59621 HAS SOPS 59621 HAS SOUS 42376 HAS SOUPS 42376 WITH SCORE 42435.621
AT ITER 931 NEW BEST:: SOT 218820 SOS 59621 HAS SOPS 59621 HAS SOUS 42324 HAS SOUPS 42324 WITH SCORE 42383.621
AT ITER 933 NEW BEST:: SOT 218799 SOS 59611 HAS SOPS 59611 HAS SOUS 42310 HAS SOUPS 42310 WITH SCORE 42369.611
AT ITER 946 NEW BEST:: SOT 218798 SOS 59609 HAS SOPS 59609 HAS SOUS 42308 HAS SOUPS 42308 WITH SCORE 42367.609
AT ITER 949 NEW BEST:: SOT 218825 SOS 59663 HAS SOPS 59663 HAS SOUS 42242 HAS SOUPS 42242 WITH SCORE 42301.663
AT ITER 957 NEW BEST:: SOT 218816 SOS 59645 HAS SOPS 59645 HAS SOUS 42224 HAS SOUPS 42224 WITH SCORE 42283.645
AT ITER 958 NEW BEST:: SOT 218786 SOS 59609 HAS SOPS 59609 HAS SOUS 42177 HAS SOUPS 42177 WITH SCORE 42236.609
AT ITER 960 NEW BEST:: SOT 218786 SOS 59609 HAS SOPS 59609 HAS SOUS 42099 HAS SOUPS 42099 WITH SCORE 42158.609
AT ITER 967 NEW BEST:: SOT 218763 SOS 59563 HAS SOPS 59563 HAS SOUS 42046 HAS SOUPS 42046 WITH SCORE 42105.563
AT ITER 981 NEW BEST:: SOT 218763 SOS 59563 HAS SOPS 59563 HAS SOUS 42026 HAS SOUPS 42026 WITH SCORE 42085.563
AT ITER 984 NEW BEST:: SOT 218723 SOS 59520 HAS SOPS 59520 HAS SOUS 42020 HAS SOUPS 42020 WITH SCORE 42079.52
AT ITER 1043 NEW BEST:: SOT 218685 SOS 59444 HAS SOPS 59444 HAS SOUS 41920 HAS SOUPS 41920 WITH SCORE 41979.444
AT ITER 1044 NEW BEST:: SOT 218676 SOS 59426 HAS SOPS 59426 HAS SOUS 41902 HAS SOUPS 41902 WITH SCORE 41961.426
AT ITER 1052 NEW BEST:: SOT 218676 SOS 59366 HAS SOPS 59366 HAS SOUS 41832 HAS SOUPS 41832 WITH SCORE 41891.366
AT ITER 1066 NEW BEST:: SOT 218646 SOS 59108 HAS SOPS 59108 HAS SOUS 41772 HAS SOUPS 41772 WITH SCORE 41831.108
AT ITER 1134 NEW BEST:: SOT 218571 SOS 59067 HAS SOPS 59067 HAS SOUS 41507 HAS SOUPS 41507 WITH SCORE 41566.067
AT ITER 1135 NEW BEST:: SOT 218571 SOS 59107 HAS SOPS 59107 HAS SOUS 41506 HAS SOUPS 41506 WITH SCORE 41565.107
AT ITER 1137 NEW BEST:: SOT 218571 SOS 59107 HAS SOPS 59107 HAS SOUS 41503 HAS SOUPS 41503 WITH SCORE 41562.107
AT ITER 1148 NEW BEST:: SOT 218571 SOS 59162 HAS SOPS 59162 HAS SOUS 41427 HAS SOUPS 41427 WITH SCORE 41486.162
AT ITER 1193 NEW BEST:: SOT 218458 SOS 59049 HAS SOPS 59049 HAS SOUS 41340 HAS SOUPS 41340 WITH SCORE 41399.049
AT ITER 1220 NEW BEST:: SOT 218378 SOS 58925 HAS SOPS 58925 HAS SOUS 41198 HAS SOUPS 41198 WITH SCORE 41256.925
AT ITER 1238 NEW BEST:: SOT 218368 SOS 58915 HAS SOPS 58915 HAS SOUS 41188 HAS SOUPS 41188 WITH SCORE 41246.915
AT ITER 1270 NEW BEST:: SOT 218353 SOS 58885 HAS SOPS 58885 HAS SOUS 41158 HAS SOUPS 41158 WITH SCORE 41216.885
AT ITER 1281 NEW BEST:: SOT 218340 SOS 58859 HAS SOPS 58859 HAS SOUS 41132 HAS SOUPS 41132 WITH SCORE 41190.859
AT ITER 1308 NEW BEST:: SOT 218330 SOS 58839 HAS SOPS 58839 HAS SOUS 41112 HAS SOUPS 41112 WITH SCORE 41170.839
AT ITER 1310 NEW BEST:: SOT 218347 SOS 58869 HAS SOPS 58869 HAS SOUS 41108 HAS SOUPS 41108 WITH SCORE 41166.869
AT ITER 1313 NEW BEST:: SOT 218347 SOS 58869 HAS SOPS 58869 HAS SOUS 41065 HAS SOUPS 41065 WITH SCORE 41123.869
AT ITER 1315 NEW BEST:: SOT 218388 SOS 58880 HAS SOPS 58880 HAS SOUS 40990 HAS SOUPS 40990 WITH SCORE 41048.88
AT ITER 1317 NEW BEST:: SOT 218388 SOS 58880 HAS SOPS 58880 HAS SOUS 40970 HAS SOUPS 40970 WITH SCORE 41028.88
AT ITER 1322 NEW BEST:: SOT 218388 SOS 58880 HAS SOPS 58880 HAS SOUS 40897 HAS SOUPS 40897 WITH SCORE 40955.88
AT ITER 1342 NEW BEST:: SOT 218388 SOS 58922 HAS SOPS 58922 HAS SOUS 40896 HAS SOUPS 40896 WITH SCORE 40954.922
AT ITER 1351 NEW BEST:: SOT 218420 SOS 58912 HAS SOPS 58912 HAS SOUS 40845 HAS SOUPS 40845 WITH SCORE 40903.912
AT ITER 1356 NEW BEST:: SOT 218420 SOS 58912 HAS SOPS 58912 HAS SOUS 40765 HAS SOUPS 40765 WITH SCORE 40823.912
AT ITER 1381 NEW BEST:: SOT 218420 SOS 58909 HAS SOPS 58909 HAS SOUS 40762 HAS SOUPS 40762 WITH SCORE 40820.909
AT ITER 1389 NEW BEST:: SOT 218361 SOS 58791 HAS SOPS 58791 HAS SOUS 40644 HAS SOUPS 40644 WITH SCORE 40702.791
AT ITER 1404 NEW BEST:: SOT 218334 SOS 58764 HAS SOPS 58764 HAS SOUS 40638 HAS SOUPS 40638 WITH SCORE 40696.764
AT ITER 1432 NEW BEST:: SOT 218331 SOS 58765 HAS SOPS 58765 HAS SOUS 40635 HAS SOUPS 40635 WITH SCORE 40693.765
AT ITER 1442 NEW BEST:: SOT 218349 SOS 58778 HAS SOPS 58778 HAS SOUS 40625 HAS SOUPS 40625 WITH SCORE 40683.778
AT ITER 1482 NEW BEST:: SOT 218341 SOS 58714 HAS SOPS 58714 HAS SOUS 40617 HAS SOUPS 40617 WITH SCORE 40675.714
AT ITER 1486 NEW BEST:: SOT 218341 SOS 58714 HAS SOPS 58714 HAS SOUS 40595 HAS SOUPS 40595 WITH SCORE 40653.714
AT ITER 1487 NEW BEST:: SOT 218282 SOS 58596 HAS SOPS 58596 HAS SOUS 40477 HAS SOUPS 40477 WITH SCORE 40535.596
AT ITER 1509 NEW BEST:: SOT 218290 SOS 58539 HAS SOPS 58539 HAS SOUS 40360 HAS SOUPS 40360 WITH SCORE 40418.539
AT ITER 1519 NEW BEST:: SOT 218288 SOS 58543 HAS SOPS 58543 HAS SOUS 40359 HAS SOUPS 40359 WITH SCORE 40417.543
AT ITER 1545 NEW BEST:: SOT 218288 SOS 58543 HAS SOPS 58543 HAS SOUS 40358 HAS SOUPS 40358 WITH SCORE 40416.543
AT ITER 1579 NEW BEST:: SOT 218288 SOS 58543 HAS SOPS 58543 HAS SOUS 40350 HAS SOUPS 40350 WITH SCORE 40408.543
AT ITER 1610 NEW BEST:: SOT 218204 SOS 58375 HAS SOPS 58375 HAS SOUS 40192 HAS SOUPS 40192 WITH SCORE 40250.375
AT ITER 1627 NEW BEST:: SOT 218296 SOS 58559 HAS SOPS 58559 HAS SOUS 40180 HAS SOUPS 40180 WITH SCORE 40238.559
AT ITER 1629 NEW BEST:: SOT 218293 SOS 58553 HAS SOPS 58553 HAS SOUS 40174 HAS SOUPS 40174 WITH SCORE 40232.553
AT ITER 1660 NEW BEST:: SOT 218293 SOS 58512 HAS SOPS 58512 HAS SOUS 40115 HAS SOUPS 40115 WITH SCORE 40173.512
AT ITER 1673 NEW BEST:: SOT 218281 SOS 58516 HAS SOPS 58516 HAS SOUS 40091 HAS SOUPS 40091 WITH SCORE 40149.516
AT ITER 1675 NEW BEST:: SOT 218309 SOS 58572 HAS SOPS 58572 HAS SOUS 40082 HAS SOUPS 40082 WITH SCORE 40140.572
AT ITER 1701 NEW BEST:: SOT 218275 SOS 58504 HAS SOPS 58504 HAS SOUS 40014 HAS SOUPS 40014 WITH SCORE 40072.504
AT ITER 1703 NEW BEST:: SOT 218270 SOS 58494 HAS SOPS 58494 HAS SOUS 40009 HAS SOUPS 40009 WITH SCORE 40067.494
AT ITER 1720 NEW BEST:: SOT 218270 SOS 58436 HAS SOPS 58436 HAS SOUS 39958 HAS SOUPS 39958 WITH SCORE 40016.436
AT ITER 1731 NEW BEST:: SOT 218270 SOS 58430 HAS SOPS 58430 HAS SOUS 39952 HAS SOUPS 39952 WITH SCORE 40010.43
AT ITER 1740 NEW BEST:: SOT 218271 SOS 58393 HAS SOPS 58393 HAS SOUS 39943 HAS SOUPS 39943 WITH SCORE 40001.393
AT ITER 1747 NEW BEST:: SOT 218059 SOS 58171 HAS SOPS 58171 HAS SOUS 39652 HAS SOUPS 39652 WITH SCORE 39710.171
AT ITER 1760 NEW BEST:: SOT 218070 SOS 58113 HAS SOPS 58113 HAS SOUS 39629 HAS SOUPS 39629 WITH SCORE 39687.113
AT ITER 1769 NEW BEST:: SOT 218070 SOS 58113 HAS SOPS 58113 HAS SOUS 39482 HAS SOUPS 39482 WITH SCORE 39540.113
AT ITER 1770 NEW BEST:: SOT 217709 SOS 60693 HAS SOPS 60693 HAS SOUS 39355 HAS SOUPS 39355 WITH SCORE 39415.693
AT ITER 1774 NEW BEST:: SOT 217710 SOS 60695 HAS SOPS 60695 HAS SOUS 39332 HAS SOUPS 39332 WITH SCORE 39392.695
AT ITER 1782 NEW BEST:: SOT 217702 SOS 60630 HAS SOPS 60630 HAS SOUS 39275 HAS SOUPS 39275 WITH SCORE 39335.63
AT ITER 1869 NEW BEST:: SOT 217702 SOS 60630 HAS SOPS 60630 HAS SOUS 39252 HAS SOUPS 39252 WITH SCORE 39312.63
AT ITER 1909 NEW BEST:: SOT 217704 SOS 60634 HAS SOPS 60634 HAS SOUS 39243 HAS SOUPS 39243 WITH SCORE 39303.634
AT ITER 1913 NEW BEST:: SOT 217577 SOS 60510 HAS SOPS 60510 HAS SOUS 39118 HAS SOUPS 39118 WITH SCORE 39178.51
AT ITER 1945 NEW BEST:: SOT 217546 SOS 60477 HAS SOPS 60477 HAS SOUS 39117 HAS SOUPS 39117 WITH SCORE 39177.477
AT ITER 2043 NEW BEST:: SOT 217490 SOS 60029 HAS SOPS 60029 HAS SOUS 39005 HAS SOUPS 39005 WITH SCORE 39065.029
AT ITER 2066 NEW BEST:: SOT 217483 SOS 59993 HAS SOPS 59993 HAS SOUS 38998 HAS SOUPS 38998 WITH SCORE 39057.993
AT ITER 2068 NEW BEST:: SOT 217465 SOS 59974 HAS SOPS 59974 HAS SOUS 38979 HAS SOUPS 38979 WITH SCORE 39038.974
AT ITER 2075 NEW BEST:: SOT 217502 SOS 59937 HAS SOPS 59937 HAS SOUS 38979 HAS SOUPS 38979 WITH SCORE 39038.937
AT ITER 2078 NEW BEST:: SOT 217490 SOS 59913 HAS SOPS 59913 HAS SOUS 38955 HAS SOUPS 38955 WITH SCORE 39014.913
AT ITER 2082 NEW BEST:: SOT 217440 SOS 59863 HAS SOPS 59863 HAS SOUS 38942 HAS SOUPS 38942 WITH SCORE 39001.863
AT ITER 2135 NEW BEST:: SOT 217469 SOS 59921 HAS SOPS 59921 HAS SOUS 38895 HAS SOUPS 38895 WITH SCORE 38954.921
AT ITER 2157 NEW BEST:: SOT 217467 SOS 59920 HAS SOPS 59920 HAS SOUS 38886 HAS SOUPS 38886 WITH SCORE 38945.92
AT ITER 2174 NEW BEST:: SOT 217467 SOS 59863 HAS SOPS 59863 HAS SOUS 38821 HAS SOUPS 38821 WITH SCORE 38880.863
AT ITER 2203 NEW BEST:: SOT 217443 SOS 59853 HAS SOPS 59853 HAS SOUS 38797 HAS SOUPS 38797 WITH SCORE 38856.853
AT ITER 2204 NEW BEST:: SOT 217448 SOS 59857 HAS SOPS 59857 HAS SOUS 38786 HAS SOUPS 38786 WITH SCORE 38845.857
AT ITER 2205 NEW BEST:: SOT 217444 SOS 59849 HAS SOPS 59849 HAS SOUS 38778 HAS SOUPS 38778 WITH SCORE 38837.849
AT ITER 2206 NEW BEST:: SOT 217421 SOS 59826 HAS SOPS 59826 HAS SOUS 38778 HAS SOUPS 38778 WITH SCORE 38837.826
AT ITER 2215 NEW BEST:: SOT 217421 SOS 59826 HAS SOPS 59826 HAS SOUS 38747 HAS SOUPS 38747 WITH SCORE 38806.826
AT ITER 2233 NEW BEST:: SOT 217409 SOS 59802 HAS SOPS 59802 HAS SOUS 38723 HAS SOUPS 38723 WITH SCORE 38782.802
AT ITER 2237 NEW BEST:: SOT 217369 SOS 59722 HAS SOPS 59722 HAS SOUS 38683 HAS SOUPS 38683 WITH SCORE 38742.722
AT ITER 2240 NEW BEST:: SOT 217298 SOS 59700 HAS SOPS 59700 HAS SOUS 38579 HAS SOUPS 38579 WITH SCORE 38638.7
AT ITER 2258 NEW BEST:: SOT 217265 SOS 59678 HAS SOPS 59678 HAS SOUS 38557 HAS SOUPS 38557 WITH SCORE 38616.678
AT ITER 2291 NEW BEST:: SOT 217271 SOS 59570 HAS SOPS 59570 HAS SOUS 38551 HAS SOUPS 38551 WITH SCORE 38610.57
AT ITER 2334 NEW BEST:: SOT 217247 SOS 59522 HAS SOPS 59522 HAS SOUS 38502 HAS SOUPS 38502 WITH SCORE 38561.522
AT ITER 2348 NEW BEST:: SOT 217222 SOS 59472 HAS SOPS 59472 HAS SOUS 38452 HAS SOUPS 38452 WITH SCORE 38511.472
AT ITER 2356 NEW BEST:: SOT 217189 SOS 59406 HAS SOPS 59406 HAS SOUS 38437 HAS SOUPS 38437 WITH SCORE 38496.406
AT ITER 2372 NEW BEST:: SOT 217183 SOS 59394 HAS SOPS 59394 HAS SOUS 38431 HAS SOUPS 38431 WITH SCORE 38490.394
AT ITER 2399 NEW BEST:: SOT 217183 SOS 59301 HAS SOPS 59301 HAS SOUS 38338 HAS SOUPS 38338 WITH SCORE 38397.301
AT ITER 2405 NEW BEST:: SOT 217200 SOS 59209 HAS SOPS 59209 HAS SOUS 38331 HAS SOUPS 38331 WITH SCORE 38390.209
AT ITER 2422 NEW BEST:: SOT 217187 SOS 59183 HAS SOPS 59183 HAS SOUS 38305 HAS SOUPS 38305 WITH SCORE 38364.183
AT ITER 2436 NEW BEST:: SOT 217187 SOS 59149 HAS SOPS 59149 HAS SOUS 38288 HAS SOUPS 38288 WITH SCORE 38347.149
AT ITER 2503 NEW BEST:: SOT 217179 SOS 59141 HAS SOPS 59141 HAS SOUS 38280 HAS SOUPS 38280 WITH SCORE 38339.141
AT ITER 2515 NEW BEST:: SOT 217164 SOS 59111 HAS SOPS 59111 HAS SOUS 38250 HAS SOUPS 38250 WITH SCORE 38309.111
AT ITER 2532 NEW BEST:: SOT 217147 SOS 59077 HAS SOPS 59077 HAS SOUS 38213 HAS SOUPS 38213 WITH SCORE 38272.077
AT ITER 2542 NEW BEST:: SOT 217164 SOS 58887 HAS SOPS 58887 HAS SOUS 38191 HAS SOUPS 38191 WITH SCORE 38249.887
AT ITER 2565 NEW BEST:: SOT 217137 SOS 58814 HAS SOPS 58814 HAS SOUS 38103 HAS SOUPS 38103 WITH SCORE 38161.814
AT ITER 2578 NEW BEST:: SOT 217137 SOS 58814 HAS SOPS 58814 HAS SOUS 38100 HAS SOUPS 38100 WITH SCORE 38158.814
AT ITER 2595 NEW BEST:: SOT 217136 SOS 58812 HAS SOPS 58812 HAS SOUS 38092 HAS SOUPS 38092 WITH SCORE 38150.812
AT ITER 2611 NEW BEST:: SOT 217142 SOS 58840 HAS SOPS 58840 HAS SOUS 38088 HAS SOUPS 38088 WITH SCORE 38146.84
AT ITER 2640 NEW BEST:: SOT 217142 SOS 58835 HAS SOPS 58835 HAS SOUS 38083 HAS SOUPS 38083 WITH SCORE 38141.835
AT ITER 2644 NEW BEST:: SOT 217231 SOS 56516 HAS SOPS 56516 HAS SOUS 38020 HAS SOUPS 38020 WITH SCORE 38076.516
AT ITER 2645 NEW BEST:: SOT 217231 SOS 56534 HAS SOPS 56534 HAS SOUS 38017 HAS SOUPS 38017 WITH SCORE 38073.534
AT ITER 2653 NEW BEST:: SOT 217201 SOS 56543 HAS SOPS 56543 HAS SOUS 37998 HAS SOUPS 37998 WITH SCORE 38054.543
AT ITER 2715 NEW BEST:: SOT 217201 SOS 56551 HAS SOPS 56551 HAS SOUS 37987 HAS SOUPS 37987 WITH SCORE 38043.551
AT ITER 2831 NEW BEST:: SOT 217201 SOS 56551 HAS SOPS 56551 HAS SOUS 37986 HAS SOUPS 37986 WITH SCORE 38042.551
AT ITER 2840 NEW BEST:: SOT 216891 SOS 58561 HAS SOPS 58561 HAS SOUS 37888 HAS SOUPS 37888 WITH SCORE 37946.561
AT ITER 2856 NEW BEST:: SOT 216891 SOS 58434 HAS SOPS 58434 HAS SOUS 37820 HAS SOUPS 37820 WITH SCORE 37878.434
AT ITER 2884 NEW BEST:: SOT 216864 SOS 58380 HAS SOPS 58380 HAS SOUS 37793 HAS SOUPS 37793 WITH SCORE 37851.38
AT ITER 2903 NEW BEST:: SOT 216864 SOS 58341 HAS SOPS 58341 HAS SOUS 37778 HAS SOUPS 37778 WITH SCORE 37836.341
AT ITER 2911 NEW BEST:: SOT 216752 SOS 58093 HAS SOPS 58093 HAS SOUS 37671 HAS SOUPS 37671 WITH SCORE 37729.093
AT ITER 2926 NEW BEST:: SOT 216744 SOS 58085 HAS SOPS 58085 HAS SOUS 37663 HAS SOUPS 37663 WITH SCORE 37721.085
AT ITER 2997 NEW BEST:: SOT 216739 SOS 58075 HAS SOPS 58075 HAS SOUS 37658 HAS SOUPS 37658 WITH SCORE 37716.075
AT ITER 3002 NEW BEST:: SOT 216699 SOS 57995 HAS SOPS 57995 HAS SOUS 37528 HAS SOUPS 37528 WITH SCORE 37585.995
AT ITER 3033 NEW BEST:: SOT 216698 SOS 57993 HAS SOPS 57993 HAS SOUS 37526 HAS SOUPS 37526 WITH SCORE 37583.993
AT ITER 3040 NEW BEST:: SOT 216697 SOS 57991 HAS SOPS 57991 HAS SOUS 37524 HAS SOUPS 37524 WITH SCORE 37581.991
AT ITER 3043 NEW BEST:: SOT 216697 SOS 57991 HAS SOPS 57991 HAS SOUS 37522 HAS SOUPS 37522 WITH SCORE 37579.991
AT ITER 3072 NEW BEST:: SOT 216697 SOS 57944 HAS SOPS 57944 HAS SOUS 37442 HAS SOUPS 37442 WITH SCORE 37499.944
AT ITER 3091 NEW BEST:: SOT 216657 SOS 57921 HAS SOPS 57921 HAS SOUS 37441 HAS SOUPS 37441 WITH SCORE 37498.921
AT ITER 3141 NEW BEST:: SOT 216649 SOS 57905 HAS SOPS 57905 HAS SOUS 37425 HAS SOUPS 37425 WITH SCORE 37482.905
AT ITER 3175 NEW BEST:: SOT 216638 SOS 57959 HAS SOPS 57959 HAS SOUS 37422 HAS SOUPS 37422 WITH SCORE 37479.959
AT ITER 3177 NEW BEST:: SOT 216638 SOS 57911 HAS SOPS 57911 HAS SOUS 37410 HAS SOUPS 37410 WITH SCORE 37467.911
AT ITER 3258 NEW BEST:: SOT 216604 SOS 57862 HAS SOPS 57862 HAS SOUS 37395 HAS SOUPS 37395 WITH SCORE 37452.862
AT ITER 3289 NEW BEST:: SOT 216600 SOS 57842 HAS SOPS 57842 HAS SOUS 37387 HAS SOUPS 37387 WITH SCORE 37444.842
AT ITER 3290 NEW BEST:: SOT 216600 SOS 57842 HAS SOPS 57842 HAS SOUS 37383 HAS SOUPS 37383 WITH SCORE 37440.842
AT ITER 3295 NEW BEST:: SOT 216574 SOS 57790 HAS SOPS 57790 HAS SOUS 37351 HAS SOUPS 37351 WITH SCORE 37408.79
AT ITER 3342 NEW BEST:: SOT 216574 SOS 57871 HAS SOPS 57871 HAS SOUS 37327 HAS SOUPS 37327 WITH SCORE 37384.871
AT ITER 3351 NEW BEST:: SOT 216532 SOS 57816 HAS SOPS 57816 HAS SOUS 37269 HAS SOUPS 37269 WITH SCORE 37326.816
AT ITER 3391 NEW BEST:: SOT 216494 SOS 57778 HAS SOPS 57778 HAS SOUS 37231 HAS SOUPS 37231 WITH SCORE 37288.778
AT ITER 3417 NEW BEST:: SOT 216494 SOS 57753 HAS SOPS 57753 HAS SOUS 37231 HAS SOUPS 37231 WITH SCORE 37288.753
AT ITER 3422 NEW BEST:: SOT 216490 SOS 57745 HAS SOPS 57745 HAS SOUS 37227 HAS SOUPS 37227 WITH SCORE 37284.745
AT ITER 3430 NEW BEST:: SOT 216434 SOS 57732 HAS SOPS 57732 HAS SOUS 37181 HAS SOUPS 37181 WITH SCORE 37238.732
AT ITER 3431 NEW BEST:: SOT 216433 SOS 57730 HAS SOPS 57730 HAS SOUS 37181 HAS SOUPS 37181 WITH SCORE 37238.73
AT ITER 3437 NEW BEST:: SOT 216424 SOS 57432 HAS SOPS 57432 HAS SOUS 37163 HAS SOUPS 37163 WITH SCORE 37220.432
AT ITER 3439 NEW BEST:: SOT 216379 SOS 57342 HAS SOPS 57342 HAS SOUS 37118 HAS SOUPS 37118 WITH SCORE 37175.342
AT ITER 3475 NEW BEST:: SOT 216374 SOS 57332 HAS SOPS 57332 HAS SOUS 37111 HAS SOUPS 37111 WITH SCORE 37168.332
AT ITER 3491 NEW BEST:: SOT 216324 SOS 57282 HAS SOPS 57282 HAS SOUS 37055 HAS SOUPS 37055 WITH SCORE 37112.282
AT ITER 3506 NEW BEST:: SOT 216324 SOS 57280 HAS SOPS 57280 HAS SOUS 37053 HAS SOUPS 37053 WITH SCORE 37110.28
AT ITER 3513 NEW BEST:: SOT 216302 SOS 57308 HAS SOPS 57308 HAS SOUS 37040 HAS SOUPS 37040 WITH SCORE 37097.308
AT ITER 3543 NEW BEST:: SOT 216290 SOS 57296 HAS SOPS 57296 HAS SOUS 37028 HAS SOUPS 37028 WITH SCORE 37085.296
AT ITER 3561 NEW BEST:: SOT 216283 SOS 57195 HAS SOPS 57195 HAS SOUS 37016 HAS SOUPS 37016 WITH SCORE 37073.195
AT ITER 3610 NEW BEST:: SOT 216281 SOS 57191 HAS SOPS 57191 HAS SOUS 37012 HAS SOUPS 37012 WITH SCORE 37069.191
AT ITER 3616 NEW BEST:: SOT 216268 SOS 57165 HAS SOPS 57165 HAS SOUS 36986 HAS SOUPS 36986 WITH SCORE 37043.165
AT ITER 3625 NEW BEST:: SOT 216270 SOS 57169 HAS SOPS 57169 HAS SOUS 36974 HAS SOUPS 36974 WITH SCORE 37031.169
AT ITER 3685 NEW BEST:: SOT 216249 SOS 57127 HAS SOPS 57127 HAS SOUS 36932 HAS SOUPS 36932 WITH SCORE 36989.127
AT ITER 3719 NEW BEST:: SOT 216248 SOS 57005 HAS SOPS 57005 HAS SOUS 36931 HAS SOUPS 36931 WITH SCORE 36988.005
AT ITER 3745 NEW BEST:: SOT 216246 SOS 57001 HAS SOPS 57001 HAS SOUS 36927 HAS SOUPS 36927 WITH SCORE 36984.001
AT ITER 3751 NEW BEST:: SOT 216246 SOS 57001 HAS SOPS 57001 HAS SOUS 36917 HAS SOUPS 36917 WITH SCORE 36974.001
AT ITER 3772 NEW BEST:: SOT 216261 SOS 55751 HAS SOPS 55751 HAS SOUS 36897 HAS SOUPS 36897 WITH SCORE 36952.751
AT ITER 3777 NEW BEST:: SOT 216241 SOS 55741 HAS SOPS 55741 HAS SOUS 36881 HAS SOUPS 36881 WITH SCORE 36936.741
AT ITER 3859 NEW BEST:: SOT 216213 SOS 55685 HAS SOPS 55685 HAS SOUS 36825 HAS SOUPS 36825 WITH SCORE 36880.685
AT ITER 3873 NEW BEST:: SOT 216213 SOS 55685 HAS SOPS 55685 HAS SOUS 36818 HAS SOUPS 36818 WITH SCORE 36873.685
AT ITER 3905 NEW BEST:: SOT 216203 SOS 55865 HAS SOPS 55865 HAS SOUS 36808 HAS SOUPS 36808 WITH SCORE 36863.865
AT ITER 3913 NEW BEST:: SOT 216203 SOS 55797 HAS SOPS 55797 HAS SOUS 36808 HAS SOUPS 36808 WITH SCORE 36863.797
AT ITER 3918 NEW BEST:: SOT 216198 SOS 55798 HAS SOPS 55798 HAS SOUS 36780 HAS SOUPS 36780 WITH SCORE 36835.798
AT ITER 3931 NEW BEST:: SOT 216195 SOS 55823 HAS SOPS 55823 HAS SOUS 36774 HAS SOUPS 36774 WITH SCORE 36829.823
AT ITER 3951 NEW BEST:: SOT 216164 SOS 55767 HAS SOPS 55767 HAS SOUS 36698 HAS SOUPS 36698 WITH SCORE 36753.767
AT ITER 3964 NEW BEST:: SOT 216149 SOS 55765 HAS SOPS 55765 HAS SOUS 36696 HAS SOUPS 36696 WITH SCORE 36751.765
AT ITER 3990 NEW BEST:: SOT 216090 SOS 55802 HAS SOPS 55802 HAS SOUS 36668 HAS SOUPS 36668 WITH SCORE 36723.802
AT ITER 3999 NEW BEST:: SOT 216102 SOS 55586 HAS SOPS 55586 HAS SOUS 36640 HAS SOUPS 36640 WITH SCORE 36695.586
AT ITER 4009 NEW BEST:: SOT 216079 SOS 55540 HAS SOPS 55540 HAS SOUS 36594 HAS SOUPS 36594 WITH SCORE 36649.54
AT ITER 4039 NEW BEST:: SOT 216073 SOS 55528 HAS SOPS 55528 HAS SOUS 36582 HAS SOUPS 36582 WITH SCORE 36637.528
AT ITER 4067 NEW BEST:: SOT 216085 SOS 55516 HAS SOPS 55516 HAS SOUS 36582 HAS SOUPS 36582 WITH SCORE 36637.516
AT ITER 4080 NEW BEST:: SOT 216078 SOS 55502 HAS SOPS 55502 HAS SOUS 36568 HAS SOUPS 36568 WITH SCORE 36623.502
AT ITER 4094 NEW BEST:: SOT 216089 SOS 55490 HAS SOPS 55490 HAS SOUS 36566 HAS SOUPS 36566 WITH SCORE 36621.49
AT ITER 4105 NEW BEST:: SOT 216086 SOS 55487 HAS SOPS 55487 HAS SOUS 36566 HAS SOUPS 36566 WITH SCORE 36621.487
AT ITER 4136 NEW BEST:: SOT 216109 SOS 55445 HAS SOPS 55445 HAS SOUS 36547 HAS SOUPS 36547 WITH SCORE 36602.445
AT ITER 4145 NEW BEST:: SOT 216134 SOS 55429 HAS SOPS 55429 HAS SOUS 36487 HAS SOUPS 36487 WITH SCORE 36542.429
AT ITER 4149 NEW BEST:: SOT 216144 SOS 55419 HAS SOPS 55419 HAS SOUS 36487 HAS SOUPS 36487 WITH SCORE 36542.419
AT ITER 4156 NEW BEST:: SOT 216159 SOS 55293 HAS SOPS 55293 HAS SOUS 36487 HAS SOUPS 36487 WITH SCORE 36542.293
AT ITER 4160 NEW BEST:: SOT 216159 SOS 54804 HAS SOPS 54804 HAS SOUS 36487 HAS SOUPS 36487 WITH SCORE 36541.804
AT ITER 4177 NEW BEST:: SOT 216138 SOS 54762 HAS SOPS 54762 HAS SOUS 36445 HAS SOUPS 36445 WITH SCORE 36499.762
AT ITER 4188 NEW BEST:: SOT 216138 SOS 54744 HAS SOPS 54744 HAS SOUS 36409 HAS SOUPS 36409 WITH SCORE 36463.744
AT ITER 4234 NEW BEST:: SOT 216120 SOS 54708 HAS SOPS 54708 HAS SOUS 36373 HAS SOUPS 36373 WITH SCORE 36427.708
AT ITER 4249 NEW BEST:: SOT 216102 SOS 54672 HAS SOPS 54672 HAS SOUS 36337 HAS SOUPS 36337 WITH SCORE 36391.672
AT ITER 4271 NEW BEST:: SOT 216135 SOS 54738 HAS SOPS 54738 HAS SOUS 36314 HAS SOUPS 36314 WITH SCORE 36368.738
AT ITER 4310 NEW BEST:: SOT 216135 SOS 54733 HAS SOPS 54733 HAS SOUS 36309 HAS SOUPS 36309 WITH SCORE 36363.733
AT ITER 4353 NEW BEST:: SOT 216129 SOS 54726 HAS SOPS 54726 HAS SOUS 36303 HAS SOUPS 36303 WITH SCORE 36357.726
AT ITER 4368 NEW BEST:: SOT 216042 SOS 54552 HAS SOPS 54552 HAS SOUS 36234 HAS SOUPS 36234 WITH SCORE 36288.552
AT ITER 4380 NEW BEST:: SOT 216070 SOS 54416 HAS SOPS 54416 HAS SOUS 36226 HAS SOUPS 36226 WITH SCORE 36280.416
AT ITER 4388 NEW BEST:: SOT 216070 SOS 54406 HAS SOPS 54406 HAS SOUS 36221 HAS SOUPS 36221 WITH SCORE 36275.406
AT ITER 4390 NEW BEST:: SOT 216069 SOS 54397 HAS SOPS 54397 HAS SOUS 36219 HAS SOUPS 36219 WITH SCORE 36273.397
AT ITER 4425 NEW BEST:: SOT 216092 SOS 54443 HAS SOPS 54443 HAS SOUS 36204 HAS SOUPS 36204 WITH SCORE 36258.443
AT ITER 4434 NEW BEST:: SOT 216091 SOS 54441 HAS SOPS 54441 HAS SOUS 36203 HAS SOUPS 36203 WITH SCORE 36257.441
AT ITER 4448 NEW BEST:: SOT 216079 SOS 54417 HAS SOPS 54417 HAS SOUS 36179 HAS SOUPS 36179 WITH SCORE 36233.417
AT ITER 4520 NEW BEST:: SOT 216063 SOS 54385 HAS SOPS 54385 HAS SOUS 36147 HAS SOUPS 36147 WITH SCORE 36201.385
AT ITER 4522 NEW BEST:: SOT 216062 SOS 54399 HAS SOPS 54399 HAS SOUS 36145 HAS SOUPS 36145 WITH SCORE 36199.399
AT ITER 4580 NEW BEST:: SOT 216065 SOS 54381 HAS SOPS 54381 HAS SOUS 36145 HAS SOUPS 36145 WITH SCORE 36199.381
AT ITER 4592 NEW BEST:: SOT 216042 SOS 54335 HAS SOPS 54335 HAS SOUS 36081 HAS SOUPS 36081 WITH SCORE 36135.335
AT ITER 4598 NEW BEST:: SOT 216036 SOS 54317 HAS SOPS 54317 HAS SOUS 36075 HAS SOUPS 36075 WITH SCORE 36129.317
AT ITER 4635 NEW BEST:: SOT 216032 SOS 54317 HAS SOPS 54317 HAS SOUS 36071 HAS SOUPS 36071 WITH SCORE 36125.317
AT ITER 4643 NEW BEST:: SOT 215987 SOS 54255 HAS SOPS 54255 HAS SOUS 36026 HAS SOUPS 36026 WITH SCORE 36080.255
AT ITER 4728 NEW BEST:: SOT 215987 SOS 54255 HAS SOPS 54255 HAS SOUS 36019 HAS SOUPS 36019 WITH SCORE 36073.255
AT ITER 4769 NEW BEST:: SOT 215993 SOS 54267 HAS SOPS 54267 HAS SOUS 36011 HAS SOUPS 36011 WITH SCORE 36065.267
AT ITER 4772 NEW BEST:: SOT 216005 SOS 54291 HAS SOPS 54291 HAS SOUS 36002 HAS SOUPS 36002 WITH SCORE 36056.291
AT ITER 4811 NEW BEST:: SOT 215977 SOS 54235 HAS SOPS 54235 HAS SOUS 35980 HAS SOUPS 35980 WITH SCORE 36034.235
AT ITER 4823 NEW BEST:: SOT 216030 SOS 53927 HAS SOPS 53927 HAS SOUS 35972 HAS SOUPS 35972 WITH SCORE 36025.927
AT ITER 4836 NEW BEST:: SOT 216032 SOS 53965 HAS SOPS 53965 HAS SOUS 35969 HAS SOUPS 35969 WITH SCORE 36022.965
AT ITER 4879 NEW BEST:: SOT 215970 SOS 53903 HAS SOPS 53903 HAS SOUS 35907 HAS SOUPS 35907 WITH SCORE 35960.903
AT ITER 4898 NEW BEST:: SOT 215998 SOS 53875 HAS SOPS 53875 HAS SOUS 35907 HAS SOUPS 35907 WITH SCORE 35960.875
AT ITER 4902 NEW BEST:: SOT 215998 SOS 53871 HAS SOPS 53871 HAS SOUS 35899 HAS SOUPS 35899 WITH SCORE 35952.871
AT ITER 4946 NEW BEST:: SOT 215949 SOS 53773 HAS SOPS 53773 HAS SOUS 35816 HAS SOUPS 35816 WITH SCORE 35869.773
AT ITER 4949 NEW BEST:: SOT 215936 SOS 53734 HAS SOPS 53734 HAS SOUS 35803 HAS SOUPS 35803 WITH SCORE 35856.734
AT ITER 4959 NEW BEST:: SOT 215877 SOS 53613 HAS SOPS 53613 HAS SOUS 35714 HAS SOUPS 35714 WITH SCORE 35767.613
AT ITER 4975 NEW BEST:: SOT 215877 SOS 53610 HAS SOPS 53610 HAS SOUS 35708 HAS SOUPS 35708 WITH SCORE 35761.61
AT ITER 4996 NEW BEST:: SOT 215862 SOS 53571 HAS SOPS 53571 HAS SOUS 35669 HAS SOUPS 35669 WITH SCORE 35722.571
AT ITER 5032 NEW BEST:: SOT 215862 SOS 53571 HAS SOPS 53571 HAS SOUS 35665 HAS SOUPS 35665 WITH SCORE 35718.571
AT ITER 5072 NEW BEST:: SOT 215852 SOS 53561 HAS SOPS 53561 HAS SOUS 35635 HAS SOUPS 35635 WITH SCORE 35688.561
AT ITER 5085 NEW BEST:: SOT 215851 SOS 53562 HAS SOPS 53562 HAS SOUS 35634 HAS SOUPS 35634 WITH SCORE 35687.562
AT ITER 5105 NEW BEST:: SOT 215832 SOS 53585 HAS SOPS 53585 HAS SOUS 35625 HAS SOUPS 35625 WITH SCORE 35678.585
AT ITER 5109 NEW BEST:: SOT 215836 SOS 53553 HAS SOPS 53553 HAS SOUS 35621 HAS SOUPS 35621 WITH SCORE 35674.553
AT ITER 5132 NEW BEST:: SOT 215815 SOS 53511 HAS SOPS 53511 HAS SOUS 35600 HAS SOUPS 35600 WITH SCORE 35653.511
AT ITER 5155 NEW BEST:: SOT 215799 SOS 53415 HAS SOPS 53415 HAS SOUS 35568 HAS SOUPS 35568 WITH SCORE 35621.415
AT ITER 5188 NEW BEST:: SOT 215804 SOS 53425 HAS SOPS 53425 HAS SOUS 35566 HAS SOUPS 35566 WITH SCORE 35619.425
AT ITER 5219 NEW BEST:: SOT 215791 SOS 53399 HAS SOPS 53399 HAS SOUS 35540 HAS SOUPS 35540 WITH SCORE 35593.399
AT ITER 5225 NEW BEST:: SOT 215787 SOS 53391 HAS SOPS 53391 HAS SOUS 35532 HAS SOUPS 35532 WITH SCORE 35585.391
AT ITER 5246 NEW BEST:: SOT 215883 SOS 53397 HAS SOPS 53397 HAS SOUS 35442 HAS SOUPS 35442 WITH SCORE 35495.397
AT ITER 5259 NEW BEST:: SOT 215890 SOS 53411 HAS SOPS 53411 HAS SOUS 35429 HAS SOUPS 35429 WITH SCORE 35482.411
AT ITER 5286 NEW BEST:: SOT 215933 SOS 53409 HAS SOPS 53409 HAS SOUS 35427 HAS SOUPS 35427 WITH SCORE 35480.409
AT ITER 5330 NEW BEST:: SOT 215933 SOS 53401 HAS SOPS 53401 HAS SOUS 35427 HAS SOUPS 35427 WITH SCORE 35480.401
AT ITER 5341 NEW BEST:: SOT 215933 SOS 53401 HAS SOPS 53401 HAS SOUS 35423 HAS SOUPS 35423 WITH SCORE 35476.401
AT ITER 5392 NEW BEST:: SOT 215922 SOS 53388 HAS SOPS 53388 HAS SOUS 35422 HAS SOUPS 35422 WITH SCORE 35475.388
AT ITER 5402 NEW BEST:: SOT 215908 SOS 53369 HAS SOPS 53369 HAS SOUS 35417 HAS SOUPS 35417 WITH SCORE 35470.369
AT ITER 5460 NEW BEST:: SOT 215905 SOS 53377 HAS SOPS 53377 HAS SOUS 35412 HAS SOUPS 35412 WITH SCORE 35465.377
AT ITER 5497 NEW BEST:: SOT 215902 SOS 53371 HAS SOPS 53371 HAS SOUS 35406 HAS SOUPS 35406 WITH SCORE 35459.371
AT ITER 5506 NEW BEST:: SOT 215886 SOS 53339 HAS SOPS 53339 HAS SOUS 35374 HAS SOUPS 35374 WITH SCORE 35427.339
AT ITER 5526 NEW BEST:: SOT 215869 SOS 53305 HAS SOPS 53305 HAS SOUS 35357 HAS SOUPS 35357 WITH SCORE 35410.305
AT ITER 5529 NEW BEST:: SOT 215847 SOS 53261 HAS SOPS 53261 HAS SOUS 35297 HAS SOUPS 35297 WITH SCORE 35350.261
AT ITER 5558 NEW BEST:: SOT 215836 SOS 53239 HAS SOPS 53239 HAS SOUS 35275 HAS SOUPS 35275 WITH SCORE 35328.239
AT ITER 5565 NEW BEST:: SOT 215836 SOS 53234 HAS SOPS 53234 HAS SOUS 35265 HAS SOUPS 35265 WITH SCORE 35318.234
AT ITER 5586 NEW BEST:: SOT 215835 SOS 53232 HAS SOPS 53232 HAS SOUS 35264 HAS SOUPS 35264 WITH SCORE 35317.232
AT ITER 5598 NEW BEST:: SOT 215810 SOS 53182 HAS SOPS 53182 HAS SOUS 35234 HAS SOUPS 35234 WITH SCORE 35287.182
AT ITER 5635 NEW BEST:: SOT 215809 SOS 53225 HAS SOPS 53225 HAS SOUS 35232 HAS SOUPS 35232 WITH SCORE 35285.225
AT ITER 5646 NEW BEST:: SOT 215820 SOS 53252 HAS SOPS 53252 HAS SOUS 35196 HAS SOUPS 35196 WITH SCORE 35249.252
AT ITER 5741 NEW BEST:: SOT 215811 SOS 53247 HAS SOPS 53247 HAS SOUS 35178 HAS SOUPS 35178 WITH SCORE 35231.247
AT ITER 5763 NEW BEST:: SOT 215811 SOS 53247 HAS SOPS 53247 HAS SOUS 35137 HAS SOUPS 35137 WITH SCORE 35190.247
AT ITER 5832 NEW BEST:: SOT 215811 SOS 53247 HAS SOPS 53247 HAS SOUS 35133 HAS SOUPS 35133 WITH SCORE 35186.247
AT ITER 5888 NEW BEST:: SOT 215801 SOS 53227 HAS SOPS 53227 HAS SOUS 35113 HAS SOUPS 35113 WITH SCORE 35166.227
AT ITER 5918 NEW BEST:: SOT 215800 SOS 53225 HAS SOPS 53225 HAS SOUS 35111 HAS SOUPS 35111 WITH SCORE 35164.225
AT ITER 5931 NEW BEST:: SOT 215800 SOS 53225 HAS SOPS 53225 HAS SOUS 35095 HAS SOUPS 35095 WITH SCORE 35148.225
AT ITER 5954 NEW BEST:: SOT 215797 SOS 53219 HAS SOPS 53219 HAS SOUS 35061 HAS SOUPS 35061 WITH SCORE 35114.219
AT ITER 5985 NEW BEST:: SOT 215741 SOS 53164 HAS SOPS 53164 HAS SOUS 35005 HAS SOUPS 35005 WITH SCORE 35058.164
AT ITER 6000 NEW BEST:: SOT 215738 SOS 53158 HAS SOPS 53158 HAS SOUS 34999 HAS SOUPS 34999 WITH SCORE 35052.158
AT ITER 6017 NEW BEST:: SOT 215737 SOS 53156 HAS SOPS 53156 HAS SOUS 34997 HAS SOUPS 34997 WITH SCORE 35050.156
AT ITER 6035 NEW BEST:: SOT 215731 SOS 53152 HAS SOPS 53152 HAS SOUS 34985 HAS SOUPS 34985 WITH SCORE 35038.152
AT ITER 6038 NEW BEST:: SOT 215729 SOS 53148 HAS SOPS 53148 HAS SOUS 34981 HAS SOUPS 34981 WITH SCORE 35034.148
AT ITER 6157 NEW BEST:: SOT 215722 SOS 53141 HAS SOPS 53141 HAS SOUS 34981 HAS SOUPS 34981 WITH SCORE 35034.141
AT ITER 6161 NEW BEST:: SOT 215724 SOS 53117 HAS SOPS 53117 HAS SOUS 34971 HAS SOUPS 34971 WITH SCORE 35024.117
AT ITER 6175 NEW BEST:: SOT 215722 SOS 53090 HAS SOPS 53090 HAS SOUS 34967 HAS SOUPS 34967 WITH SCORE 35020.09
AT ITER 6179 NEW BEST:: SOT 215753 SOS 53121 HAS SOPS 53121 HAS SOUS 34851 HAS SOUPS 34851 WITH SCORE 34904.121
AT ITER 6183 NEW BEST:: SOT 215739 SOS 53079 HAS SOPS 53079 HAS SOUS 34837 HAS SOUPS 34837 WITH SCORE 34890.079
AT ITER 6192 NEW BEST:: SOT 215742 SOS 53120 HAS SOPS 53120 HAS SOUS 34829 HAS SOUPS 34829 WITH SCORE 34882.12
AT ITER 6211 NEW BEST:: SOT 215736 SOS 53108 HAS SOPS 53108 HAS SOUS 34817 HAS SOUPS 34817 WITH SCORE 34870.108
AT ITER 6233 NEW BEST:: SOT 215731 SOS 53113 HAS SOPS 53113 HAS SOUS 34812 HAS SOUPS 34812 WITH SCORE 34865.113
AT ITER 6245 NEW BEST:: SOT 215731 SOS 53113 HAS SOPS 53113 HAS SOUS 34802 HAS SOUPS 34802 WITH SCORE 34855.113
AT ITER 6299 NEW BEST:: SOT 215711 SOS 53073 HAS SOPS 53073 HAS SOUS 34762 HAS SOUPS 34762 WITH SCORE 34815.073
AT ITER 6323 NEW BEST:: SOT 215704 SOS 53059 HAS SOPS 53059 HAS SOUS 34748 HAS SOUPS 34748 WITH SCORE 34801.059
AT ITER 6365 NEW BEST:: SOT 215697 SOS 53065 HAS SOPS 53065 HAS SOUS 34745 HAS SOUPS 34745 WITH SCORE 34798.065
AT ITER 6373 NEW BEST:: SOT 215698 SOS 53064 HAS SOPS 53064 HAS SOUS 34745 HAS SOUPS 34745 WITH SCORE 34798.064
AT ITER 6400 NEW BEST:: SOT 215677 SOS 53058 HAS SOPS 53058 HAS SOUS 34739 HAS SOUPS 34739 WITH SCORE 34792.058
AT ITER 6438 NEW BEST:: SOT 215649 SOS 53177 HAS SOPS 53177 HAS SOUS 34728 HAS SOUPS 34728 WITH SCORE 34781.177
AT ITER 6454 NEW BEST:: SOT 215649 SOS 53172 HAS SOPS 53172 HAS SOUS 34728 HAS SOUPS 34728 WITH SCORE 34781.172
AT ITER 6510 NEW BEST:: SOT 215635 SOS 53158 HAS SOPS 53158 HAS SOUS 34728 HAS SOUPS 34728 WITH SCORE 34781.158
AT ITER 6519 NEW BEST:: SOT 215635 SOS 53147 HAS SOPS 53147 HAS SOUS 34728 HAS SOUPS 34728 WITH SCORE 34781.147
AT ITER 6545 NEW BEST:: SOT 215665 SOS 53176 HAS SOPS 53176 HAS SOUS 34726 HAS SOUPS 34726 WITH SCORE 34779.176
AT ITER 6617 NEW BEST:: SOT 215655 SOS 53032 HAS SOPS 53032 HAS SOUS 34706 HAS SOUPS 34706 WITH SCORE 34759.032
AT ITER 6673 NEW BEST:: SOT 215677 SOS 53146 HAS SOPS 53146 HAS SOUS 34690 HAS SOUPS 34690 WITH SCORE 34743.146
AT ITER 6677 NEW BEST:: SOT 215645 SOS 53178 HAS SOPS 53178 HAS SOUS 34689 HAS SOUPS 34689 WITH SCORE 34742.178
AT ITER 6696 NEW BEST:: SOT 215643 SOS 53176 HAS SOPS 53176 HAS SOUS 34687 HAS SOUPS 34687 WITH SCORE 34740.176
AT ITER 6704 NEW BEST:: SOT 215600 SOS 53146 HAS SOPS 53146 HAS SOUS 34657 HAS SOUPS 34657 WITH SCORE 34710.146
AT ITER 6714 NEW BEST:: SOT 215582 SOS 53110 HAS SOPS 53110 HAS SOUS 34634 HAS SOUPS 34634 WITH SCORE 34687.11
AT ITER 6736 NEW BEST:: SOT 215556 SOS 53152 HAS SOPS 53152 HAS SOUS 34619 HAS SOUPS 34619 WITH SCORE 34672.152
AT ITER 6750 NEW BEST:: SOT 215556 SOS 53152 HAS SOPS 53152 HAS SOUS 34618 HAS SOUPS 34618 WITH SCORE 34671.152
AT ITER 6764 NEW BEST:: SOT 215534 SOS 53147 HAS SOPS 53147 HAS SOUS 34600 HAS SOUPS 34600 WITH SCORE 34653.147
AT ITER 6776 NEW BEST:: SOT 215518 SOS 53136 HAS SOPS 53136 HAS SOUS 34589 HAS SOUPS 34589 WITH SCORE 34642.136
AT ITER 6777 NEW BEST:: SOT 215518 SOS 53133 HAS SOPS 53133 HAS SOUS 34589 HAS SOUPS 34589 WITH SCORE 34642.133
AT ITER 6794 NEW BEST:: SOT 215499 SOS 53114 HAS SOPS 53114 HAS SOUS 34589 HAS SOUPS 34589 WITH SCORE 34642.114
AT ITER 6848 NEW BEST:: SOT 215498 SOS 53112 HAS SOPS 53112 HAS SOUS 34588 HAS SOUPS 34588 WITH SCORE 34641.112
AT ITER 6872 NEW BEST:: SOT 215496 SOS 53108 HAS SOPS 53108 HAS SOUS 34584 HAS SOUPS 34584 WITH SCORE 34637.108
AT ITER 6932 NEW BEST:: SOT 215495 SOS 53106 HAS SOPS 53106 HAS SOUS 34582 HAS SOUPS 34582 WITH SCORE 34635.106
AT ITER 6949 NEW BEST:: SOT 215495 SOS 53106 HAS SOPS 53106 HAS SOUS 34560 HAS SOUPS 34560 WITH SCORE 34613.106
AT ITER 6983 NEW BEST:: SOT 215494 SOS 53104 HAS SOPS 53104 HAS SOUS 34560 HAS SOUPS 34560 WITH SCORE 34613.104
AT ITER 7033 NEW BEST:: SOT 215488 SOS 53092 HAS SOPS 53092 HAS SOUS 34548 HAS SOUPS 34548 WITH SCORE 34601.092
AT ITER 7101 NEW BEST:: SOT 215482 SOS 53059 HAS SOPS 53059 HAS SOUS 34531 HAS SOUPS 34531 WITH SCORE 34584.059
AT ITER 7110 NEW BEST:: SOT 215476 SOS 53047 HAS SOPS 53047 HAS SOUS 34525 HAS SOUPS 34525 WITH SCORE 34578.047
AT ITER 7114 NEW BEST:: SOT 215476 SOS 53041 HAS SOPS 53041 HAS SOUS 34513 HAS SOUPS 34513 WITH SCORE 34566.041
AT ITER 7117 NEW BEST:: SOT 215469 SOS 53035 HAS SOPS 53035 HAS SOUS 34507 HAS SOUPS 34507 WITH SCORE 34560.035
AT ITER 7133 NEW BEST:: SOT 215450 SOS 52997 HAS SOPS 52997 HAS SOUS 34493 HAS SOUPS 34493 WITH SCORE 34545.997
AT ITER 7216 NEW BEST:: SOT 215441 SOS 52979 HAS SOPS 52979 HAS SOUS 34485 HAS SOUPS 34485 WITH SCORE 34537.979
AT ITER 7225 NEW BEST:: SOT 215444 SOS 52979 HAS SOPS 52979 HAS SOUS 34482 HAS SOUPS 34482 WITH SCORE 34534.979
AT ITER 7255 NEW BEST:: SOT 215397 SOS 53068 HAS SOPS 53068 HAS SOUS 34475 HAS SOUPS 34475 WITH SCORE 34528.068
AT ITER 7261 NEW BEST:: SOT 215377 SOS 53133 HAS SOPS 53133 HAS SOUS 34472 HAS SOUPS 34472 WITH SCORE 34525.133
AT ITER 7301 NEW BEST:: SOT 215377 SOS 53133 HAS SOPS 53133 HAS SOUS 34469 HAS SOUPS 34469 WITH SCORE 34522.133
AT ITER 7330 NEW BEST:: SOT 215406 SOS 53137 HAS SOPS 53137 HAS SOUS 34431 HAS SOUPS 34431 WITH SCORE 34484.137
AT ITER 7442 NEW BEST:: SOT 215405 SOS 53135 HAS SOPS 53135 HAS SOUS 34430 HAS SOUPS 34430 WITH SCORE 34483.135
AT ITER 7444 NEW BEST:: SOT 215396 SOS 53117 HAS SOPS 53117 HAS SOUS 34421 HAS SOUPS 34421 WITH SCORE 34474.117
AT ITER 7484 NEW BEST:: SOT 215388 SOS 53101 HAS SOPS 53101 HAS SOUS 34405 HAS SOUPS 34405 WITH SCORE 34458.101
AT ITER 7515 NEW BEST:: SOT 215302 SOS 53055 HAS SOPS 53055 HAS SOUS 34359 HAS SOUPS 34359 WITH SCORE 34412.055
AT ITER 7525 NEW BEST:: SOT 215300 SOS 53051 HAS SOPS 53051 HAS SOUS 34355 HAS SOUPS 34355 WITH SCORE 34408.051
AT ITER 7536 NEW BEST:: SOT 215300 SOS 53059 HAS SOPS 53059 HAS SOUS 34351 HAS SOUPS 34351 WITH SCORE 34404.059
AT ITER 7569 NEW BEST:: SOT 215289 SOS 53037 HAS SOPS 53037 HAS SOUS 34340 HAS SOUPS 34340 WITH SCORE 34393.037
AT ITER 7576 NEW BEST:: SOT 215289 SOS 53029 HAS SOPS 53029 HAS SOUS 34324 HAS SOUPS 34324 WITH SCORE 34377.029
AT ITER 7623 NEW BEST:: SOT 215348 SOS 53016 HAS SOPS 53016 HAS SOUS 34305 HAS SOUPS 34305 WITH SCORE 34358.016
AT ITER 7636 NEW BEST:: SOT 215343 SOS 53009 HAS SOPS 53009 HAS SOUS 34298 HAS SOUPS 34298 WITH SCORE 34351.009
AT ITER 7655 NEW BEST:: SOT 215342 SOS 53007 HAS SOPS 53007 HAS SOUS 34296 HAS SOUPS 34296 WITH SCORE 34349.007
AT ITER 7688 NEW BEST:: SOT 215337 SOS 52997 HAS SOPS 52997 HAS SOUS 34293 HAS SOUPS 34293 WITH SCORE 34345.997
AT ITER 7702 NEW BEST:: SOT 215277 SOS 53019 HAS SOPS 53019 HAS SOUS 34276 HAS SOUPS 34276 WITH SCORE 34329.019
AT ITER 7707 NEW BEST:: SOT 215276 SOS 53024 HAS SOPS 53024 HAS SOUS 34275 HAS SOUPS 34275 WITH SCORE 34328.024
AT ITER 7709 NEW BEST:: SOT 215305 SOS 52926 HAS SOPS 52926 HAS SOUS 34264 HAS SOUPS 34264 WITH SCORE 34316.926
AT ITER 7713 NEW BEST:: SOT 215288 SOS 52892 HAS SOPS 52892 HAS SOUS 34230 HAS SOUPS 34230 WITH SCORE 34282.892
AT ITER 7753 NEW BEST:: SOT 215280 SOS 52888 HAS SOPS 52888 HAS SOUS 34222 HAS SOUPS 34222 WITH SCORE 34274.888
AT ITER 7796 NEW BEST:: SOT 215279 SOS 52886 HAS SOPS 52886 HAS SOUS 34220 HAS SOUPS 34220 WITH SCORE 34272.886
AT ITER 7820 NEW BEST:: SOT 215279 SOS 52884 HAS SOPS 52884 HAS SOUS 34213 HAS SOUPS 34213 WITH SCORE 34265.884
AT ITER 7849 NEW BEST:: SOT 215275 SOS 52880 HAS SOPS 52880 HAS SOUS 34200 HAS SOUPS 34200 WITH SCORE 34252.88
AT ITER 7901 NEW BEST:: SOT 215275 SOS 52862 HAS SOPS 52862 HAS SOUS 34191 HAS SOUPS 34191 WITH SCORE 34243.862
AT ITER 7906 NEW BEST:: SOT 215275 SOS 52916 HAS SOPS 52916 HAS SOUS 34164 HAS SOUPS 34164 WITH SCORE 34216.916
AT ITER 7910 NEW BEST:: SOT 215271 SOS 52908 HAS SOPS 52908 HAS SOUS 34156 HAS SOUPS 34156 WITH SCORE 34208.908
AT ITER 7956 NEW BEST:: SOT 215262 SOS 52890 HAS SOPS 52890 HAS SOUS 34147 HAS SOUPS 34147 WITH SCORE 34199.89
AT ITER 8067 NEW BEST:: SOT 215265 SOS 52884 HAS SOPS 52884 HAS SOUS 34134 HAS SOUPS 34134 WITH SCORE 34186.884
AT ITER 8163 NEW BEST:: SOT 215273 SOS 52900 HAS SOPS 52900 HAS SOUS 34097 HAS SOUPS 34097 WITH SCORE 34149.9
AT ITER 8187 NEW BEST:: SOT 215247 SOS 52920 HAS SOPS 52920 HAS SOUS 34073 HAS SOUPS 34073 WITH SCORE 34125.92
AT ITER 8223 NEW BEST:: SOT 215247 SOS 52930 HAS SOPS 52930 HAS SOUS 34069 HAS SOUPS 34069 WITH SCORE 34121.93
AT ITER 8243 NEW BEST:: SOT 215245 SOS 52894 HAS SOPS 52894 HAS SOUS 34068 HAS SOUPS 34068 WITH SCORE 34120.894
AT ITER 8329 NEW BEST:: SOT 215245 SOS 52866 HAS SOPS 52866 HAS SOUS 34068 HAS SOUPS 34068 WITH SCORE 34120.866
AT ITER 8373 NEW BEST:: SOT 215215 SOS 52806 HAS SOPS 52806 HAS SOUS 34008 HAS SOUPS 34008 WITH SCORE 34060.806
AT ITER 8374 NEW BEST:: SOT 215215 SOS 52805 HAS SOPS 52805 HAS SOUS 34006 HAS SOUPS 34006 WITH SCORE 34058.805
AT ITER 8457 NEW BEST:: SOT 215214 SOS 52803 HAS SOPS 52803 HAS SOUS 34004 HAS SOUPS 34004 WITH SCORE 34056.803
AT ITER 8488 NEW BEST:: SOT 215214 SOS 52803 HAS SOPS 52803 HAS SOUS 33967 HAS SOUPS 33967 WITH SCORE 34019.803
AT ITER 8489 NEW BEST:: SOT 215203 SOS 52792 HAS SOPS 52792 HAS SOUS 33956 HAS SOUPS 33956 WITH SCORE 34008.792
AT ITER 8514 NEW BEST:: SOT 215203 SOS 52791 HAS SOPS 52791 HAS SOUS 33954 HAS SOUPS 33954 WITH SCORE 34006.791
AT ITER 8552 NEW BEST:: SOT 215199 SOS 52783 HAS SOPS 52783 HAS SOUS 33946 HAS SOUPS 33946 WITH SCORE 33998.783
AT ITER 8553 NEW BEST:: SOT 215176 SOS 52737 HAS SOPS 52737 HAS SOUS 33929 HAS SOUPS 33929 WITH SCORE 33981.737
AT ITER 8557 NEW BEST:: SOT 215161 SOS 52677 HAS SOPS 52677 HAS SOUS 33869 HAS SOUPS 33869 WITH SCORE 33921.677
AT ITER 8592 NEW BEST:: SOT 215190 SOS 52535 HAS SOPS 52535 HAS SOUS 33858 HAS SOUPS 33858 WITH SCORE 33910.535
AT ITER 8596 NEW BEST:: SOT 215048 SOS 54092 HAS SOPS 54092 HAS SOUS 33817 HAS SOUPS 33817 WITH SCORE 33871.092
AT ITER 8602 NEW BEST:: SOT 215048 SOS 54092 HAS SOPS 54092 HAS SOUS 33807 HAS SOUPS 33807 WITH SCORE 33861.092
AT ITER 8609 NEW BEST:: SOT 215048 SOS 54092 HAS SOPS 54092 HAS SOUS 33783 HAS SOUPS 33783 WITH SCORE 33837.092
AT ITER 8610 NEW BEST:: SOT 215000 SOS 54068 HAS SOPS 54068 HAS SOUS 33735 HAS SOUPS 33735 WITH SCORE 33789.068
AT ITER 8686 NEW BEST:: SOT 214999 SOS 55491 HAS SOPS 55491 HAS SOUS 33733 HAS SOUPS 33733 WITH SCORE 33788.491
AT ITER 8692 NEW BEST:: SOT 215002 SOS 55497 HAS SOPS 55497 HAS SOUS 33724 HAS SOUPS 33724 WITH SCORE 33779.497
AT ITER 8702 NEW BEST:: SOT 214985 SOS 55480 HAS SOPS 55480 HAS SOUS 33707 HAS SOUPS 33707 WITH SCORE 33762.48
AT ITER 8721 NEW BEST:: SOT 215004 SOS 55461 HAS SOPS 55461 HAS SOUS 33707 HAS SOUPS 33707 WITH SCORE 33762.461
AT ITER 8792 NEW BEST:: SOT 214998 SOS 55449 HAS SOPS 55449 HAS SOUS 33698 HAS SOUPS 33698 WITH SCORE 33753.449
AT ITER 8817 NEW BEST:: SOT 215006 SOS 55417 HAS SOPS 55417 HAS SOUS 33682 HAS SOUPS 33682 WITH SCORE 33737.417
AT ITER 8924 NEW BEST:: SOT 214999 SOS 55403 HAS SOPS 55403 HAS SOUS 33672 HAS SOUPS 33672 WITH SCORE 33727.403
AT ITER 8925 NEW BEST:: SOT 214999 SOS 55374 HAS SOPS 55374 HAS SOUS 33657 HAS SOUPS 33657 WITH SCORE 33712.374
AT ITER 8931 NEW BEST:: SOT 214999 SOS 55372 HAS SOPS 55372 HAS SOUS 33655 HAS SOUPS 33655 WITH SCORE 33710.372
AT ITER 8980 NEW BEST:: SOT 214995 SOS 55364 HAS SOPS 55364 HAS SOUS 33651 HAS SOUPS 33651 WITH SCORE 33706.364
AT ITER 8998 NEW BEST:: SOT 214987 SOS 55348 HAS SOPS 55348 HAS SOUS 33635 HAS SOUPS 33635 WITH SCORE 33690.348
AT ITER 9021 NEW BEST:: SOT 214972 SOS 55333 HAS SOPS 55333 HAS SOUS 33620 HAS SOUPS 33620 WITH SCORE 33675.333
AT ITER 9024 NEW BEST:: SOT 214940 SOS 55486 HAS SOPS 55486 HAS SOUS 33606 HAS SOUPS 33606 WITH SCORE 33661.486
AT ITER 9064 NEW BEST:: SOT 214940 SOS 55461 HAS SOPS 55461 HAS SOUS 33606 HAS SOUPS 33606 WITH SCORE 33661.461
AT ITER 9094 NEW BEST:: SOT 214940 SOS 55401 HAS SOPS 55401 HAS SOUS 33600 HAS SOUPS 33600 WITH SCORE 33655.401
AT ITER 9101 NEW BEST:: SOT 214919 SOS 55548 HAS SOPS 55548 HAS SOUS 33581 HAS SOUPS 33581 WITH SCORE 33636.548
AT ITER 9187 NEW BEST:: SOT 214859 SOS 55759 HAS SOPS 55759 HAS SOUS 33563 HAS SOUPS 33563 WITH SCORE 33618.759
AT ITER 9216 NEW BEST:: SOT 214857 SOS 55755 HAS SOPS 55755 HAS SOUS 33559 HAS SOUPS 33559 WITH SCORE 33614.755
AT ITER 9285 NEW BEST:: SOT 214857 SOS 55736 HAS SOPS 55736 HAS SOUS 33559 HAS SOUPS 33559 WITH SCORE 33614.736
AT ITER 9302 NEW BEST:: SOT 214855 SOS 55732 HAS SOPS 55732 HAS SOUS 33555 HAS SOUPS 33555 WITH SCORE 33610.732
AT ITER 9408 NEW BEST:: SOT 214841 SOS 55704 HAS SOPS 55704 HAS SOUS 33546 HAS SOUPS 33546 WITH SCORE 33601.704
AT ITER 9434 NEW BEST:: SOT 214841 SOS 55688 HAS SOPS 55688 HAS SOUS 33546 HAS SOUPS 33546 WITH SCORE 33601.688
AT ITER 9464 NEW BEST:: SOT 214820 SOS 55646 HAS SOPS 55646 HAS SOUS 33539 HAS SOUPS 33539 WITH SCORE 33594.646
AT ITER 9476 NEW BEST:: SOT 214760 SOS 55526 HAS SOPS 55526 HAS SOUS 33419 HAS SOUPS 33419 WITH SCORE 33474.526
AT ITER 9502 NEW BEST:: SOT 214800 SOS 55486 HAS SOPS 55486 HAS SOUS 33419 HAS SOUPS 33419 WITH SCORE 33474.486
AT ITER 9547 NEW BEST:: SOT 214786 SOS 55458 HAS SOPS 55458 HAS SOUS 33382 HAS SOUPS 33382 WITH SCORE 33437.458
AT ITER 9548 NEW BEST:: SOT 214759 SOS 55404 HAS SOPS 55404 HAS SOUS 33382 HAS SOUPS 33382 WITH SCORE 33437.404
AT ITER 9564 NEW BEST:: SOT 214758 SOS 55403 HAS SOPS 55403 HAS SOUS 33381 HAS SOUPS 33381 WITH SCORE 33436.403
AT ITER 9571 NEW BEST:: SOT 214727 SOS 55354 HAS SOPS 55354 HAS SOUS 33350 HAS SOUPS 33350 WITH SCORE 33405.354
AT ITER 9574 NEW BEST:: SOT 214764 SOS 55384 HAS SOPS 55384 HAS SOUS 33348 HAS SOUPS 33348 WITH SCORE 33403.384
AT ITER 9594 NEW BEST:: SOT 214764 SOS 55386 HAS SOPS 55386 HAS SOUS 33346 HAS SOUPS 33346 WITH SCORE 33401.386
AT ITER 9607 NEW BEST:: SOT 214764 SOS 55386 HAS SOPS 55386 HAS SOUS 33334 HAS SOUPS 33334 WITH SCORE 33389.386
AT ITER 9640 NEW BEST:: SOT 214764 SOS 55367 HAS SOPS 55367 HAS SOUS 33315 HAS SOUPS 33315 WITH SCORE 33370.367
AT ITER 9689 NEW BEST:: SOT 214761 SOS 55361 HAS SOPS 55361 HAS SOUS 33309 HAS SOUPS 33309 WITH SCORE 33364.361
AT ITER 9749 NEW BEST:: SOT 214761 SOS 55355 HAS SOPS 55355 HAS SOUS 33303 HAS SOUPS 33303 WITH SCORE 33358.355
AT ITER 9791 NEW BEST:: SOT 214765 SOS 55351 HAS SOPS 55351 HAS SOUS 33303 HAS SOUPS 33303 WITH SCORE 33358.351
AT ITER 9834 NEW BEST:: SOT 214744 SOS 55364 HAS SOPS 55364 HAS SOUS 33289 HAS SOUPS 33289 WITH SCORE 33344.364
AT ITER 9901 NEW BEST:: SOT 214707 SOS 55318 HAS SOPS 55318 HAS SOUS 33211 HAS SOUPS 33211 WITH SCORE 33266.318

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="CloudDeployment-PT-2b"
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 CloudDeployment-PT-2b, 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 r033-smll-158901925900280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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