fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r033-smll-158901926000304
Last Updated
Jun 28, 2020

About the Execution of smart for CloudDeployment-PT-4a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.720 62457.00 62029.00 20.20 7.0910E+0006 5.0860E+0008 1 17 normal

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-158901926000304.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-4a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000304
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 320K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 08:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 07:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 07:49 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 156K 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 1589143762007

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

Filename model.pnml
Petri model created: 141 places, 475 transitions, 2657 arcs.
AT ITER 0 NEW BEST:: SOT 50104 SOS 29169 HAS SOPS 27043 HAS SOUS 23029 HAS SOUPS 21104 WITH SCORE 21133.169
AT ITER 3 NEW BEST:: SOT 50098 SOS 29161 HAS SOPS 27035 HAS SOUS 23021 HAS SOUPS 21096 WITH SCORE 21125.161
AT ITER 7 NEW BEST:: SOT 50054 SOS 29029 HAS SOPS 26947 HAS SOUS 22839 HAS SOUPS 20958 WITH SCORE 20987.029
AT ITER 10 NEW BEST:: SOT 50019 SOS 29006 HAS SOPS 26924 HAS SOUS 22816 HAS SOUPS 20935 WITH SCORE 20964.006
AT ITER 11 NEW BEST:: SOT 50103 SOS 29030 HAS SOPS 26996 HAS SOUS 22637 HAS SOUPS 20804 WITH SCORE 20833.03
AT ITER 14 NEW BEST:: SOT 50243 SOS 29111 HAS SOPS 27140 HAS SOUS 22452 HAS SOUPS 20682 WITH SCORE 20711.111
AT ITER 18 NEW BEST:: SOT 50243 SOS 29087 HAS SOPS 27116 HAS SOUS 22428 HAS SOUPS 20658 WITH SCORE 20687.087
AT ITER 26 NEW BEST:: SOT 50393 SOS 29026 HAS SOPS 27130 HAS SOUS 22071 HAS SOUPS 20376 WITH SCORE 20405.026
AT ITER 27 NEW BEST:: SOT 50385 SOS 29018 HAS SOPS 27130 HAS SOUS 22063 HAS SOUPS 20376 WITH SCORE 20405.018
AT ITER 29 NEW BEST:: SOT 50389 SOS 29006 HAS SOPS 27118 HAS SOUS 22059 HAS SOUPS 20372 WITH SCORE 20401.006
AT ITER 35 NEW BEST:: SOT 50374 SOS 28991 HAS SOPS 27103 HAS SOUS 22044 HAS SOUPS 20357 WITH SCORE 20385.991
AT ITER 39 NEW BEST:: SOT 50365 SOS 28955 HAS SOPS 27076 HAS SOUS 21972 HAS SOUPS 20294 WITH SCORE 20322.955
AT ITER 40 NEW BEST:: SOT 50428 SOS 28982 HAS SOPS 27103 HAS SOUS 21923 HAS SOUPS 20245 WITH SCORE 20273.982
AT ITER 44 NEW BEST:: SOT 50488 SOS 29006 HAS SOPS 27127 HAS SOUS 21911 HAS SOUPS 20233 WITH SCORE 20262.006
AT ITER 49 NEW BEST:: SOT 50516 SOS 29020 HAS SOPS 27141 HAS SOUS 21904 HAS SOUPS 20226 WITH SCORE 20255.02
AT ITER 52 NEW BEST:: SOT 50588 SOS 29092 HAS SOPS 27249 HAS SOUS 21797 HAS SOUPS 20155 WITH SCORE 20184.092
AT ITER 55 NEW BEST:: SOT 50587 SOS 29090 HAS SOPS 27247 HAS SOUS 21797 HAS SOUPS 20155 WITH SCORE 20184.09
AT ITER 57 NEW BEST:: SOT 50618 SOS 29183 HAS SOPS 27340 HAS SOUS 21765 HAS SOUPS 20123 WITH SCORE 20152.183
AT ITER 58 NEW BEST:: SOT 50617 SOS 29181 HAS SOPS 27338 HAS SOUS 21765 HAS SOUPS 20123 WITH SCORE 20152.181
AT ITER 60 NEW BEST:: SOT 50617 SOS 29181 HAS SOPS 27338 HAS SOUS 21759 HAS SOUPS 20117 WITH SCORE 20146.181
AT ITER 63 NEW BEST:: SOT 50499 SOS 28970 HAS SOPS 27127 HAS SOUS 21707 HAS SOUPS 20065 WITH SCORE 20093.97
AT ITER 64 NEW BEST:: SOT 50592 SOS 29108 HAS SOPS 27344 HAS SOUS 21586 HAS SOUPS 20023 WITH SCORE 20052.108
AT ITER 65 NEW BEST:: SOT 50514 SOS 29056 HAS SOPS 27318 HAS SOUS 21430 HAS SOUPS 19893 WITH SCORE 19922.056
AT ITER 67 NEW BEST:: SOT 50510 SOS 29051 HAS SOPS 27313 HAS SOUS 21425 HAS SOUPS 19888 WITH SCORE 19917.051
AT ITER 71 NEW BEST:: SOT 50522 SOS 29051 HAS SOPS 27313 HAS SOUS 21377 HAS SOUPS 19840 WITH SCORE 19869.051
AT ITER 77 NEW BEST:: SOT 50582 SOS 29096 HAS SOPS 27343 HAS SOUS 21377 HAS SOUPS 19825 WITH SCORE 19854.096
AT ITER 81 NEW BEST:: SOT 50595 SOS 29032 HAS SOPS 27324 HAS SOUS 21233 HAS SOUPS 19726 WITH SCORE 19755.032
AT ITER 83 NEW BEST:: SOT 50377 SOS 28987 HAS SOPS 27151 HAS SOUS 21088 HAS SOUPS 19561 WITH SCORE 19589.987
AT ITER 88 NEW BEST:: SOT 50452 SOS 28966 HAS SOPS 27187 HAS SOUS 20889 HAS SOUPS 19419 WITH SCORE 19447.966
AT ITER 89 NEW BEST:: SOT 50586 SOS 29162 HAS SOPS 27453 HAS SOUS 20820 HAS SOUPS 19417 WITH SCORE 19446.162
AT ITER 90 NEW BEST:: SOT 50572 SOS 29164 HAS SOPS 27455 HAS SOUS 20793 HAS SOUPS 19390 WITH SCORE 19419.164
AT ITER 91 NEW BEST:: SOT 50780 SOS 29232 HAS SOPS 27523 HAS SOUS 20771 HAS SOUPS 19368 WITH SCORE 19397.232
AT ITER 92 NEW BEST:: SOT 51070 SOS 29500 HAS SOPS 27791 HAS SOUS 20615 HAS SOUPS 19212 WITH SCORE 19241.5
AT ITER 96 NEW BEST:: SOT 51148 SOS 29512 HAS SOPS 27803 HAS SOUS 20447 HAS SOUPS 19044 WITH SCORE 19073.512
AT ITER 97 NEW BEST:: SOT 51180 SOS 29532 HAS SOPS 27835 HAS SOUS 20419 HAS SOUPS 19028 WITH SCORE 19057.532
AT ITER 100 NEW BEST:: SOT 51717 SOS 29969 HAS SOPS 28277 HAS SOUS 20369 HAS SOUPS 18978 WITH SCORE 19007.969
AT ITER 104 NEW BEST:: SOT 51835 SOS 30087 HAS SOPS 28454 HAS SOUS 20251 HAS SOUPS 18919 WITH SCORE 18949.087
AT ITER 108 NEW BEST:: SOT 51565 SOS 29919 HAS SOPS 28244 HAS SOUS 20017 HAS SOUPS 18709 WITH SCORE 18738.919
AT ITER 111 NEW BEST:: SOT 51927 SOS 29962 HAS SOPS 28287 HAS SOUS 19719 HAS SOUPS 18411 WITH SCORE 18440.962
AT ITER 116 NEW BEST:: SOT 51910 SOS 29945 HAS SOPS 28270 HAS SOUS 19702 HAS SOUPS 18394 WITH SCORE 18423.945
AT ITER 121 NEW BEST:: SOT 52148 SOS 30040 HAS SOPS 28444 HAS SOUS 19453 HAS SOUPS 18229 WITH SCORE 18259.04
AT ITER 124 NEW BEST:: SOT 52148 SOS 30004 HAS SOPS 28396 HAS SOUS 19436 HAS SOUPS 18200 WITH SCORE 18230.004
AT ITER 125 NEW BEST:: SOT 52148 SOS 29988 HAS SOPS 28380 HAS SOUS 19420 HAS SOUPS 18184 WITH SCORE 18213.988
AT ITER 129 NEW BEST:: SOT 52176 SOS 29988 HAS SOPS 28394 HAS SOUS 19378 HAS SOUPS 18156 WITH SCORE 18185.988
AT ITER 130 NEW BEST:: SOT 52234 SOS 29802 HAS SOPS 28208 HAS SOUS 19244 HAS SOUPS 18022 WITH SCORE 18051.802
AT ITER 132 NEW BEST:: SOT 52236 SOS 29782 HAS SOPS 28200 HAS SOUS 19166 HAS SOUPS 17956 WITH SCORE 17985.782
AT ITER 151 NEW BEST:: SOT 52376 SOS 29921 HAS SOPS 28409 HAS SOUS 18949 HAS SOUPS 17809 WITH SCORE 17838.921
AT ITER 153 NEW BEST:: SOT 52255 SOS 29927 HAS SOPS 28415 HAS SOUS 18890 HAS SOUPS 17750 WITH SCORE 17779.927
AT ITER 156 NEW BEST:: SOT 52300 SOS 29947 HAS SOPS 28400 HAS SOUS 18898 HAS SOUPS 17735 WITH SCORE 17764.947
AT ITER 160 NEW BEST:: SOT 52290 SOS 29838 HAS SOPS 28291 HAS SOUS 18834 HAS SOUPS 17671 WITH SCORE 17700.838
AT ITER 165 NEW BEST:: SOT 52376 SOS 29912 HAS SOPS 28365 HAS SOUS 18776 HAS SOUPS 17625 WITH SCORE 17654.912
AT ITER 170 NEW BEST:: SOT 52538 SOS 29902 HAS SOPS 28355 HAS SOUS 18673 HAS SOUPS 17522 WITH SCORE 17551.902
AT ITER 171 NEW BEST:: SOT 52549 SOS 29880 HAS SOPS 28333 HAS SOUS 18651 HAS SOUPS 17500 WITH SCORE 17529.88
AT ITER 180 NEW BEST:: SOT 52537 SOS 29868 HAS SOPS 28325 HAS SOUS 18623 HAS SOUPS 17476 WITH SCORE 17505.868
AT ITER 187 NEW BEST:: SOT 52425 SOS 29740 HAS SOPS 28197 HAS SOUS 18576 HAS SOUPS 17429 WITH SCORE 17458.74
AT ITER 190 NEW BEST:: SOT 52430 SOS 29714 HAS SOPS 28171 HAS SOUS 18550 HAS SOUPS 17403 WITH SCORE 17432.714
AT ITER 193 NEW BEST:: SOT 52388 SOS 29630 HAS SOPS 28087 HAS SOUS 18466 HAS SOUPS 17319 WITH SCORE 17348.63
AT ITER 196 NEW BEST:: SOT 52494 SOS 29767 HAS SOPS 28224 HAS SOUS 18450 HAS SOUPS 17303 WITH SCORE 17332.767
AT ITER 200 NEW BEST:: SOT 52422 SOS 29717 HAS SOPS 28174 HAS SOUS 18408 HAS SOUPS 17261 WITH SCORE 17290.717
AT ITER 203 NEW BEST:: SOT 52248 SOS 29609 HAS SOPS 28066 HAS SOUS 18124 HAS SOUPS 16977 WITH SCORE 17006.609
AT ITER 208 NEW BEST:: SOT 52319 SOS 29629 HAS SOPS 28086 HAS SOUS 18117 HAS SOUPS 16970 WITH SCORE 16999.629
AT ITER 209 NEW BEST:: SOT 52233 SOS 29649 HAS SOPS 28106 HAS SOUS 18101 HAS SOUPS 16954 WITH SCORE 16983.649
AT ITER 213 NEW BEST:: SOT 52326 SOS 29694 HAS SOPS 28151 HAS SOUS 17998 HAS SOUPS 16851 WITH SCORE 16880.694
AT ITER 217 NEW BEST:: SOT 52318 SOS 29686 HAS SOPS 28143 HAS SOUS 17998 HAS SOUPS 16851 WITH SCORE 16880.686
AT ITER 220 NEW BEST:: SOT 52318 SOS 29618 HAS SOPS 28075 HAS SOUS 17998 HAS SOUPS 16851 WITH SCORE 16880.618
AT ITER 225 NEW BEST:: SOT 52292 SOS 29526 HAS SOPS 27983 HAS SOUS 17966 HAS SOUPS 16819 WITH SCORE 16848.526
AT ITER 230 NEW BEST:: SOT 52306 SOS 29540 HAS SOPS 27983 HAS SOUS 17952 HAS SOUPS 16791 WITH SCORE 16820.54
AT ITER 231 NEW BEST:: SOT 52306 SOS 29497 HAS SOPS 27940 HAS SOUS 17024 HAS SOUPS 15863 WITH SCORE 15892.497
AT ITER 238 NEW BEST:: SOT 52541 SOS 29673 HAS SOPS 28116 HAS SOUS 16908 HAS SOUPS 15747 WITH SCORE 15776.673
AT ITER 241 NEW BEST:: SOT 52540 SOS 29681 HAS SOPS 28124 HAS SOUS 16615 HAS SOUPS 15454 WITH SCORE 15483.681
AT ITER 242 NEW BEST:: SOT 52534 SOS 29675 HAS SOPS 28118 HAS SOUS 16609 HAS SOUPS 15448 WITH SCORE 15477.675
AT ITER 243 NEW BEST:: SOT 52581 SOS 29653 HAS SOPS 28062 HAS SOUS 16600 HAS SOUPS 15393 WITH SCORE 15422.653
AT ITER 244 NEW BEST:: SOT 52537 SOS 29613 HAS SOPS 28022 HAS SOUS 16564 HAS SOUPS 15357 WITH SCORE 15386.613
AT ITER 245 NEW BEST:: SOT 52537 SOS 29605 HAS SOPS 28014 HAS SOUS 16556 HAS SOUPS 15349 WITH SCORE 15378.605
AT ITER 246 NEW BEST:: SOT 52528 SOS 29596 HAS SOPS 28005 HAS SOUS 16547 HAS SOUPS 15340 WITH SCORE 15369.596
AT ITER 249 NEW BEST:: SOT 52676 SOS 29712 HAS SOPS 28141 HAS SOUS 16460 HAS SOUPS 15283 WITH SCORE 15312.712
AT ITER 251 NEW BEST:: SOT 52697 SOS 29696 HAS SOPS 28125 HAS SOUS 16460 HAS SOUPS 15283 WITH SCORE 15312.696
AT ITER 256 NEW BEST:: SOT 52787 SOS 29728 HAS SOPS 28157 HAS SOUS 16452 HAS SOUPS 15275 WITH SCORE 15304.728
AT ITER 257 NEW BEST:: SOT 52694 SOS 29581 HAS SOPS 27979 HAS SOUS 16387 HAS SOUPS 15179 WITH SCORE 15208.581
AT ITER 259 NEW BEST:: SOT 52694 SOS 29569 HAS SOPS 27973 HAS SOUS 16350 HAS SOUPS 15148 WITH SCORE 15177.569
AT ITER 266 NEW BEST:: SOT 52694 SOS 29559 HAS SOPS 27963 HAS SOUS 16340 HAS SOUPS 15138 WITH SCORE 15167.559
AT ITER 267 NEW BEST:: SOT 52629 SOS 29481 HAS SOPS 27885 HAS SOUS 16262 HAS SOUPS 15060 WITH SCORE 15089.481
AT ITER 274 NEW BEST:: SOT 52797 SOS 29560 HAS SOPS 28010 HAS SOUS 16122 HAS SOUPS 14966 WITH SCORE 14995.56
AT ITER 285 NEW BEST:: SOT 52710 SOS 29515 HAS SOPS 27935 HAS SOUS 16041 HAS SOUPS 14891 WITH SCORE 14920.515
AT ITER 286 NEW BEST:: SOT 52915 SOS 29737 HAS SOPS 28157 HAS SOUS 16035 HAS SOUPS 14885 WITH SCORE 14914.737
AT ITER 289 NEW BEST:: SOT 52837 SOS 29633 HAS SOPS 28053 HAS SOUS 15931 HAS SOUPS 14781 WITH SCORE 14810.633
AT ITER 292 NEW BEST:: SOT 52925 SOS 29763 HAS SOPS 28262 HAS SOUS 15639 HAS SOUPS 14571 WITH SCORE 14600.763
AT ITER 298 NEW BEST:: SOT 52740 SOS 29771 HAS SOPS 28088 HAS SOUS 15423 HAS SOUPS 14355 WITH SCORE 14384.771
AT ITER 300 NEW BEST:: SOT 52740 SOS 29576 HAS SOPS 27893 HAS SOUS 15342 HAS SOUPS 14274 WITH SCORE 14303.576
AT ITER 301 NEW BEST:: SOT 52696 SOS 29570 HAS SOPS 27849 HAS SOUS 15296 HAS SOUPS 14190 WITH SCORE 14219.57
AT ITER 307 NEW BEST:: SOT 52615 SOS 29496 HAS SOPS 27775 HAS SOUS 15284 HAS SOUPS 14178 WITH SCORE 14207.496
AT ITER 313 NEW BEST:: SOT 52523 SOS 29487 HAS SOPS 27782 HAS SOUS 15256 HAS SOUPS 14178 WITH SCORE 14207.487
AT ITER 326 NEW BEST:: SOT 52523 SOS 29447 HAS SOPS 27742 HAS SOUS 15235 HAS SOUPS 14157 WITH SCORE 14186.447
AT ITER 327 NEW BEST:: SOT 52289 SOS 29864 HAS SOPS 27208 HAS SOUS 15208 HAS SOUPS 14039 WITH SCORE 14068.864
AT ITER 330 NEW BEST:: SOT 52323 SOS 29887 HAS SOPS 27231 HAS SOUS 15159 HAS SOUPS 13990 WITH SCORE 14019.887
AT ITER 338 NEW BEST:: SOT 52185 SOS 29704 HAS SOPS 27048 HAS SOUS 15122 HAS SOUPS 13953 WITH SCORE 13982.704
AT ITER 339 NEW BEST:: SOT 52226 SOS 29714 HAS SOPS 27046 HAS SOUS 15079 HAS SOUPS 13910 WITH SCORE 13939.714
AT ITER 343 NEW BEST:: SOT 52223 SOS 29708 HAS SOPS 27023 HAS SOUS 15070 HAS SOUPS 13901 WITH SCORE 13930.708
AT ITER 347 NEW BEST:: SOT 51211 SOS 29753 HAS SOPS 26378 HAS SOUS 14467 HAS SOUPS 13374 WITH SCORE 13403.753
AT ITER 352 NEW BEST:: SOT 51211 SOS 29850 HAS SOPS 26465 HAS SOUS 14377 HAS SOUPS 13284 WITH SCORE 13313.85
AT ITER 358 NEW BEST:: SOT 51190 SOS 29808 HAS SOPS 26423 HAS SOUS 14377 HAS SOUPS 13284 WITH SCORE 13313.808
AT ITER 359 NEW BEST:: SOT 51201 SOS 29818 HAS SOPS 26432 HAS SOUS 14373 HAS SOUPS 13281 WITH SCORE 13310.818
AT ITER 361 NEW BEST:: SOT 51182 SOS 29746 HAS SOPS 26326 HAS SOUS 14332 HAS SOUPS 13206 WITH SCORE 13235.746
AT ITER 366 NEW BEST:: SOT 51182 SOS 29736 HAS SOPS 26321 HAS SOUS 14297 HAS SOUPS 13176 WITH SCORE 13205.736
AT ITER 370 NEW BEST:: SOT 51199 SOS 29638 HAS SOPS 26261 HAS SOUS 14182 HAS SOUPS 13050 WITH SCORE 13079.638
AT ITER 371 NEW BEST:: SOT 51191 SOS 29639 HAS SOPS 26257 HAS SOUS 14153 HAS SOUPS 13021 WITH SCORE 13050.639
AT ITER 373 NEW BEST:: SOT 51219 SOS 29653 HAS SOPS 26271 HAS SOUS 14137 HAS SOUPS 13005 WITH SCORE 13034.653
AT ITER 375 NEW BEST:: SOT 51152 SOS 29615 HAS SOPS 26224 HAS SOUS 13206 HAS SOUPS 12074 WITH SCORE 12103.615
AT ITER 390 NEW BEST:: SOT 51098 SOS 29505 HAS SOPS 26032 HAS SOUS 13127 HAS SOUPS 11953 WITH SCORE 11982.505
AT ITER 391 NEW BEST:: SOT 50281 SOS 29830 HAS SOPS 25346 HAS SOUS 12617 HAS SOUPS 11400 WITH SCORE 11429.83
AT ITER 392 NEW BEST:: SOT 47961 SOS 30868 HAS SOPS 24344 HAS SOUS 11368 HAS SOUPS 10332 WITH SCORE 10362.868
AT ITER 396 NEW BEST:: SOT 47935 SOS 30747 HAS SOPS 24179 HAS SOUS 11294 HAS SOUPS 10258 WITH SCORE 10288.747
AT ITER 407 NEW BEST:: SOT 47935 SOS 30747 HAS SOPS 24173 HAS SOUS 11278 HAS SOUPS 10242 WITH SCORE 10272.747
AT ITER 419 NEW BEST:: SOT 47938 SOS 30738 HAS SOPS 24161 HAS SOUS 11269 HAS SOUPS 10230 WITH SCORE 10260.738
AT ITER 422 NEW BEST:: SOT 47894 SOS 30682 HAS SOPS 24121 HAS SOUS 11226 HAS SOUPS 10187 WITH SCORE 10217.682
AT ITER 435 NEW BEST:: SOT 47878 SOS 30604 HAS SOPS 24043 HAS SOUS 11210 HAS SOUPS 10171 WITH SCORE 10201.604
AT ITER 439 NEW BEST:: SOT 47836 SOS 30569 HAS SOPS 24015 HAS SOUS 11199 HAS SOUPS 10167 WITH SCORE 10197.569
AT ITER 441 NEW BEST:: SOT 48046 SOS 30747 HAS SOPS 24209 HAS SOUS 11158 HAS SOUPS 10156 WITH SCORE 10186.747
AT ITER 448 NEW BEST:: SOT 48032 SOS 30726 HAS SOPS 24188 HAS SOUS 11144 HAS SOUPS 10142 WITH SCORE 10172.726
AT ITER 450 NEW BEST:: SOT 46904 SOS 30102 HAS SOPS 23787 HAS SOUS 10569 HAS SOUPS 9663 WITH SCORE 9693.102
AT ITER 456 NEW BEST:: SOT 46947 SOS 30223 HAS SOPS 23917 HAS SOUS 10546 HAS SOUPS 9661 WITH SCORE 9691.223
AT ITER 458 NEW BEST:: SOT 46957 SOS 30208 HAS SOPS 23902 HAS SOUS 10536 HAS SOUPS 9651 WITH SCORE 9681.208
AT ITER 461 NEW BEST:: SOT 46957 SOS 30200 HAS SOPS 23894 HAS SOUS 10512 HAS SOUPS 9627 WITH SCORE 9657.2
AT ITER 462 NEW BEST:: SOT 46948 SOS 30241 HAS SOPS 23931 HAS SOUS 10496 HAS SOUPS 9611 WITH SCORE 9641.241
AT ITER 469 NEW BEST:: SOT 46890 SOS 30220 HAS SOPS 23909 HAS SOUS 10480 HAS SOUPS 9589 WITH SCORE 9619.22
AT ITER 480 NEW BEST:: SOT 46524 SOS 30045 HAS SOPS 23662 HAS SOUS 10472 HAS SOUPS 9581 WITH SCORE 9611.045
AT ITER 487 NEW BEST:: SOT 46522 SOS 30045 HAS SOPS 23650 HAS SOUS 10472 HAS SOUPS 9579 WITH SCORE 9609.045
AT ITER 488 NEW BEST:: SOT 46489 SOS 29990 HAS SOPS 23595 HAS SOUS 10405 HAS SOUPS 9512 WITH SCORE 9541.99
AT ITER 497 NEW BEST:: SOT 46489 SOS 29988 HAS SOPS 23593 HAS SOUS 10405 HAS SOUPS 9512 WITH SCORE 9541.988
AT ITER 499 NEW BEST:: SOT 46459 SOS 29911 HAS SOPS 23516 HAS SOUS 10341 HAS SOUPS 9448 WITH SCORE 9477.911
AT ITER 500 NEW BEST:: SOT 46227 SOS 29719 HAS SOPS 23355 HAS SOUS 10289 HAS SOUPS 9398 WITH SCORE 9427.719
AT ITER 503 NEW BEST:: SOT 46184 SOS 29646 HAS SOPS 23282 HAS SOUS 10216 HAS SOUPS 9325 WITH SCORE 9354.646
AT ITER 516 NEW BEST:: SOT 46193 SOS 29619 HAS SOPS 23282 HAS SOUS 10178 HAS SOUPS 9296 WITH SCORE 9325.619
AT ITER 518 NEW BEST:: SOT 46603 SOS 30049 HAS SOPS 23712 HAS SOUS 10157 HAS SOUPS 9275 WITH SCORE 9305.049
AT ITER 521 NEW BEST:: SOT 45322 SOS 29571 HAS SOPS 23548 HAS SOUS 10035 HAS SOUPS 9181 WITH SCORE 9210.571
AT ITER 537 NEW BEST:: SOT 45318 SOS 29567 HAS SOPS 23544 HAS SOUS 10031 HAS SOUPS 9177 WITH SCORE 9206.567
AT ITER 539 NEW BEST:: SOT 45312 SOS 29583 HAS SOPS 23553 HAS SOUS 10017 HAS SOUPS 9163 WITH SCORE 9192.583
AT ITER 545 NEW BEST:: SOT 45327 SOS 29598 HAS SOPS 23580 HAS SOUS 10013 HAS SOUPS 9159 WITH SCORE 9188.598
AT ITER 547 NEW BEST:: SOT 44899 SOS 29146 HAS SOPS 23128 HAS SOUS 9821 HAS SOUPS 8967 WITH SCORE 8996.146
AT ITER 548 NEW BEST:: SOT 44836 SOS 29083 HAS SOPS 23086 HAS SOUS 9815 HAS SOUPS 8961 WITH SCORE 8990.083
AT ITER 557 NEW BEST:: SOT 44854 SOS 29350 HAS SOPS 23038 HAS SOUS 9819 HAS SOUPS 8923 WITH SCORE 8952.35
AT ITER 559 NEW BEST:: SOT 44854 SOS 29322 HAS SOPS 23010 HAS SOUS 9805 HAS SOUPS 8909 WITH SCORE 8938.322
AT ITER 576 NEW BEST:: SOT 44831 SOS 29249 HAS SOPS 22964 HAS SOUS 9759 HAS SOUPS 8863 WITH SCORE 8892.249
AT ITER 590 NEW BEST:: SOT 45082 SOS 29515 HAS SOPS 23425 HAS SOUS 9730 HAS SOUPS 8834 WITH SCORE 8863.515
AT ITER 603 NEW BEST:: SOT 45071 SOS 29548 HAS SOPS 23447 HAS SOUS 9719 HAS SOUPS 8823 WITH SCORE 8852.548
AT ITER 610 NEW BEST:: SOT 44626 SOS 29606 HAS SOPS 23424 HAS SOUS 9622 HAS SOUPS 8796 WITH SCORE 8825.606
AT ITER 613 NEW BEST:: SOT 44439 SOS 29489 HAS SOPS 23271 HAS SOUS 9619 HAS SOUPS 8793 WITH SCORE 8822.489
AT ITER 620 NEW BEST:: SOT 44446 SOS 29503 HAS SOPS 23285 HAS SOUS 9604 HAS SOUPS 8778 WITH SCORE 8807.503
AT ITER 626 NEW BEST:: SOT 44446 SOS 29359 HAS SOPS 23047 HAS SOUS 9582 HAS SOUPS 8756 WITH SCORE 8785.359
AT ITER 640 NEW BEST:: SOT 44450 SOS 29363 HAS SOPS 23051 HAS SOUS 9574 HAS SOUPS 8748 WITH SCORE 8777.363
AT ITER 677 NEW BEST:: SOT 43960 SOS 29303 HAS SOPS 23049 HAS SOUS 9516 HAS SOUPS 8619 WITH SCORE 8648.303
AT ITER 679 NEW BEST:: SOT 43880 SOS 29223 HAS SOPS 22969 HAS SOUS 9459 HAS SOUPS 8562 WITH SCORE 8591.223
AT ITER 694 NEW BEST:: SOT 43892 SOS 29170 HAS SOPS 22916 HAS SOUS 9427 HAS SOUPS 8530 WITH SCORE 8559.17
AT ITER 696 NEW BEST:: SOT 43872 SOS 29150 HAS SOPS 22876 HAS SOUS 9387 HAS SOUPS 8490 WITH SCORE 8519.15
AT ITER 700 NEW BEST:: SOT 43889 SOS 29131 HAS SOPS 22872 HAS SOUS 9335 HAS SOUPS 8438 WITH SCORE 8467.131
AT ITER 707 NEW BEST:: SOT 43859 SOS 29101 HAS SOPS 22847 HAS SOUS 9325 HAS SOUPS 8430 WITH SCORE 8459.101
AT ITER 710 NEW BEST:: SOT 43853 SOS 29098 HAS SOPS 22829 HAS SOUS 9316 HAS SOUPS 8418 WITH SCORE 8447.098
AT ITER 712 NEW BEST:: SOT 43853 SOS 29089 HAS SOPS 22829 HAS SOUS 9313 HAS SOUPS 8418 WITH SCORE 8447.089
AT ITER 713 NEW BEST:: SOT 43095 SOS 28241 HAS SOPS 21981 HAS SOUS 8909 HAS SOUPS 8014 WITH SCORE 8042.241
AT ITER 714 NEW BEST:: SOT 43223 SOS 28291 HAS SOPS 22035 HAS SOUS 8810 HAS SOUPS 7915 WITH SCORE 7943.291
AT ITER 723 NEW BEST:: SOT 43223 SOS 28286 HAS SOPS 22035 HAS SOUS 8810 HAS SOUPS 7915 WITH SCORE 7943.286
AT ITER 732 NEW BEST:: SOT 43235 SOS 28297 HAS SOPS 22033 HAS SOUS 8807 HAS SOUPS 7912 WITH SCORE 7940.297
AT ITER 736 NEW BEST:: SOT 43277 SOS 28381 HAS SOPS 22293 HAS SOUS 8757 HAS SOUPS 7878 WITH SCORE 7906.381
AT ITER 737 NEW BEST:: SOT 43251 SOS 28355 HAS SOPS 22267 HAS SOUS 8745 HAS SOUPS 7866 WITH SCORE 7894.355
AT ITER 745 NEW BEST:: SOT 42912 SOS 28434 HAS SOPS 22200 HAS SOUS 8750 HAS SOUPS 7854 WITH SCORE 7882.434
AT ITER 761 NEW BEST:: SOT 43023 SOS 28545 HAS SOPS 22272 HAS SOUS 8688 HAS SOUPS 7768 WITH SCORE 7796.545
AT ITER 771 NEW BEST:: SOT 43031 SOS 28545 HAS SOPS 22272 HAS SOUS 8672 HAS SOUPS 7752 WITH SCORE 7780.545
AT ITER 783 NEW BEST:: SOT 42903 SOS 28550 HAS SOPS 22214 HAS SOUS 8652 HAS SOUPS 7732 WITH SCORE 7760.55
AT ITER 789 NEW BEST:: SOT 42519 SOS 28191 HAS SOPS 21885 HAS SOUS 8575 HAS SOUPS 7654 WITH SCORE 7682.191
AT ITER 790 NEW BEST:: SOT 42497 SOS 28169 HAS SOPS 21863 HAS SOUS 8553 HAS SOUPS 7632 WITH SCORE 7660.169
AT ITER 792 NEW BEST:: SOT 42464 SOS 28145 HAS SOPS 21848 HAS SOUS 8535 HAS SOUPS 7611 WITH SCORE 7639.145
AT ITER 796 NEW BEST:: SOT 42485 SOS 28001 HAS SOPS 21760 HAS SOUS 8505 HAS SOUPS 7600 WITH SCORE 7628.001
AT ITER 800 NEW BEST:: SOT 42511 SOS 27713 HAS SOPS 21472 HAS SOUS 8367 HAS SOUPS 7462 WITH SCORE 7489.713
AT ITER 806 NEW BEST:: SOT 42451 SOS 27608 HAS SOPS 21390 HAS SOUS 8333 HAS SOUPS 7428 WITH SCORE 7455.608
AT ITER 813 NEW BEST:: SOT 42784 SOS 27969 HAS SOPS 21787 HAS SOUS 8319 HAS SOUPS 7414 WITH SCORE 7441.969
AT ITER 826 NEW BEST:: SOT 42791 SOS 27976 HAS SOPS 21771 HAS SOUS 8321 HAS SOUPS 7398 WITH SCORE 7425.976
AT ITER 827 NEW BEST:: SOT 42393 SOS 27829 HAS SOPS 21622 HAS SOUS 8259 HAS SOUPS 7336 WITH SCORE 7363.829
AT ITER 860 NEW BEST:: SOT 42398 SOS 27814 HAS SOPS 21588 HAS SOUS 8220 HAS SOUPS 7287 WITH SCORE 7314.814
AT ITER 863 NEW BEST:: SOT 42412 SOS 27774 HAS SOPS 21553 HAS SOUS 8194 HAS SOUPS 7261 WITH SCORE 7288.774
AT ITER 866 NEW BEST:: SOT 42614 SOS 27952 HAS SOPS 21683 HAS SOUS 8188 HAS SOUPS 7255 WITH SCORE 7282.952
AT ITER 875 NEW BEST:: SOT 42620 SOS 27951 HAS SOPS 21675 HAS SOUS 8167 HAS SOUPS 7234 WITH SCORE 7261.951
AT ITER 894 NEW BEST:: SOT 42582 SOS 27989 HAS SOPS 21675 HAS SOUS 8153 HAS SOUPS 7220 WITH SCORE 7247.989
AT ITER 903 NEW BEST:: SOT 42602 SOS 27933 HAS SOPS 21619 HAS SOUS 8143 HAS SOUPS 7210 WITH SCORE 7237.933
AT ITER 923 NEW BEST:: SOT 42420 SOS 27780 HAS SOPS 21466 HAS SOUS 7875 HAS SOUPS 6942 WITH SCORE 6969.78
AT ITER 926 NEW BEST:: SOT 42418 SOS 27778 HAS SOPS 21462 HAS SOUS 7873 HAS SOUPS 6938 WITH SCORE 6965.778
AT ITER 938 NEW BEST:: SOT 42421 SOS 27772 HAS SOPS 21456 HAS SOUS 7872 HAS SOUPS 6937 WITH SCORE 6964.772
AT ITER 941 NEW BEST:: SOT 42387 SOS 27758 HAS SOPS 21442 HAS SOUS 7786 HAS SOUPS 6851 WITH SCORE 6878.758
AT ITER 950 NEW BEST:: SOT 42750 SOS 27797 HAS SOPS 21427 HAS SOUS 7801 HAS SOUPS 6840 WITH SCORE 6867.797
AT ITER 965 NEW BEST:: SOT 42795 SOS 27842 HAS SOPS 21463 HAS SOUS 7792 HAS SOUPS 6831 WITH SCORE 6858.842
AT ITER 976 NEW BEST:: SOT 42823 SOS 27870 HAS SOPS 21491 HAS SOUS 7785 HAS SOUPS 6824 WITH SCORE 6851.87
AT ITER 978 NEW BEST:: SOT 42780 SOS 27795 HAS SOPS 21416 HAS SOUS 7758 HAS SOUPS 6797 WITH SCORE 6824.795
AT ITER 979 NEW BEST:: SOT 42768 SOS 27771 HAS SOPS 21397 HAS SOUS 7737 HAS SOUPS 6781 WITH SCORE 6808.771
AT ITER 998 NEW BEST:: SOT 42771 SOS 27774 HAS SOPS 21401 HAS SOUS 7735 HAS SOUPS 6780 WITH SCORE 6807.774
AT ITER 1007 NEW BEST:: SOT 42798 SOS 27687 HAS SOPS 21314 HAS SOUS 7729 HAS SOUPS 6774 WITH SCORE 6801.687
AT ITER 1021 NEW BEST:: SOT 42780 SOS 27681 HAS SOPS 21302 HAS SOUS 7717 HAS SOUPS 6762 WITH SCORE 6789.681
AT ITER 1023 NEW BEST:: SOT 42717 SOS 27618 HAS SOPS 21260 HAS SOUS 7717 HAS SOUPS 6762 WITH SCORE 6789.618
AT ITER 1027 NEW BEST:: SOT 42663 SOS 27594 HAS SOPS 21236 HAS SOUS 7714 HAS SOUPS 6759 WITH SCORE 6786.594
AT ITER 1032 NEW BEST:: SOT 42679 SOS 27605 HAS SOPS 21240 HAS SOUS 7706 HAS SOUPS 6751 WITH SCORE 6778.605
AT ITER 1039 NEW BEST:: SOT 42691 SOS 27397 HAS SOPS 21240 HAS SOUS 7702 HAS SOUPS 6751 WITH SCORE 6778.397
AT ITER 1056 NEW BEST:: SOT 42633 SOS 27361 HAS SOPS 21204 HAS SOUS 7683 HAS SOUPS 6732 WITH SCORE 6759.361
AT ITER 1057 NEW BEST:: SOT 42621 SOS 27350 HAS SOPS 21180 HAS SOUS 7673 HAS SOUPS 6722 WITH SCORE 6749.35
AT ITER 1060 NEW BEST:: SOT 42715 SOS 27124 HAS SOPS 21156 HAS SOUS 7620 HAS SOUPS 6696 WITH SCORE 6723.124
AT ITER 1075 NEW BEST:: SOT 42691 SOS 27100 HAS SOPS 21129 HAS SOUS 7584 HAS SOUPS 6660 WITH SCORE 6687.1
AT ITER 1113 NEW BEST:: SOT 42725 SOS 27134 HAS SOPS 21153 HAS SOUS 7568 HAS SOUPS 6644 WITH SCORE 6671.134
AT ITER 1116 NEW BEST:: SOT 42284 SOS 27103 HAS SOPS 20943 HAS SOUS 7556 HAS SOUPS 6640 WITH SCORE 6667.103
AT ITER 1122 NEW BEST:: SOT 42208 SOS 27027 HAS SOPS 20879 HAS SOUS 7552 HAS SOUPS 6636 WITH SCORE 6663.027
AT ITER 1123 NEW BEST:: SOT 42206 SOS 27023 HAS SOPS 20875 HAS SOUS 7546 HAS SOUPS 6630 WITH SCORE 6657.023
AT ITER 1135 NEW BEST:: SOT 42136 SOS 27039 HAS SOPS 20852 HAS SOUS 7529 HAS SOUPS 6600 WITH SCORE 6627.039
AT ITER 1143 NEW BEST:: SOT 41863 SOS 26831 HAS SOPS 20839 HAS SOUS 7516 HAS SOUPS 6600 WITH SCORE 6626.831
AT ITER 1145 NEW BEST:: SOT 41868 SOS 26848 HAS SOPS 20856 HAS SOUS 7509 HAS SOUPS 6593 WITH SCORE 6619.848
AT ITER 1163 NEW BEST:: SOT 41871 SOS 26866 HAS SOPS 20854 HAS SOUS 7511 HAS SOUPS 6591 WITH SCORE 6617.866
AT ITER 1171 NEW BEST:: SOT 41866 SOS 26864 HAS SOPS 20856 HAS SOUS 7504 HAS SOUPS 6588 WITH SCORE 6614.864
AT ITER 1172 NEW BEST:: SOT 41819 SOS 27028 HAS SOPS 20857 HAS SOUS 7514 HAS SOUPS 6584 WITH SCORE 6611.028
AT ITER 1197 NEW BEST:: SOT 41795 SOS 26996 HAS SOPS 20825 HAS SOUS 7506 HAS SOUPS 6576 WITH SCORE 6602.996
AT ITER 1205 NEW BEST:: SOT 41777 SOS 26990 HAS SOPS 20813 HAS SOUS 7494 HAS SOUPS 6564 WITH SCORE 6590.99
AT ITER 1207 NEW BEST:: SOT 41761 SOS 26990 HAS SOPS 20803 HAS SOUS 7446 HAS SOUPS 6516 WITH SCORE 6542.99
AT ITER 1220 NEW BEST:: SOT 41746 SOS 26978 HAS SOPS 20791 HAS SOUS 7446 HAS SOUPS 6516 WITH SCORE 6542.978
AT ITER 1223 NEW BEST:: SOT 41733 SOS 26952 HAS SOPS 20777 HAS SOUS 7445 HAS SOUPS 6515 WITH SCORE 6541.952
AT ITER 1233 NEW BEST:: SOT 41712 SOS 26931 HAS SOPS 20756 HAS SOUS 7439 HAS SOUPS 6509 WITH SCORE 6535.931
AT ITER 1240 NEW BEST:: SOT 41731 SOS 26815 HAS SOPS 20780 HAS SOUS 7377 HAS SOUPS 6466 WITH SCORE 6492.815
AT ITER 1241 NEW BEST:: SOT 41752 SOS 26773 HAS SOPS 20738 HAS SOUS 7370 HAS SOUPS 6459 WITH SCORE 6485.773
AT ITER 1250 NEW BEST:: SOT 41752 SOS 26773 HAS SOPS 20750 HAS SOUS 7334 HAS SOUPS 6423 WITH SCORE 6449.773
AT ITER 1257 NEW BEST:: SOT 41588 SOS 26614 HAS SOPS 20596 HAS SOUS 7207 HAS SOUPS 6321 WITH SCORE 6347.614
AT ITER 1264 NEW BEST:: SOT 41593 SOS 26611 HAS SOPS 20595 HAS SOUS 7204 HAS SOUPS 6320 WITH SCORE 6346.611
AT ITER 1267 NEW BEST:: SOT 41584 SOS 26596 HAS SOPS 20580 HAS SOUS 7200 HAS SOUPS 6316 WITH SCORE 6342.596
AT ITER 1270 NEW BEST:: SOT 41565 SOS 26546 HAS SOPS 20543 HAS SOUS 7184 HAS SOUPS 6300 WITH SCORE 6326.546
AT ITER 1290 NEW BEST:: SOT 41584 SOS 26469 HAS SOPS 20469 HAS SOUS 7140 HAS SOUPS 6256 WITH SCORE 6282.469
AT ITER 1300 NEW BEST:: SOT 41370 SOS 26365 HAS SOPS 20450 HAS SOUS 7143 HAS SOUPS 6237 WITH SCORE 6263.365
AT ITER 1307 NEW BEST:: SOT 41388 SOS 26377 HAS SOPS 20462 HAS SOUS 7137 HAS SOUPS 6231 WITH SCORE 6257.377
AT ITER 1308 NEW BEST:: SOT 41325 SOS 26163 HAS SOPS 20261 HAS SOUS 7123 HAS SOUPS 6217 WITH SCORE 6243.163
AT ITER 1309 NEW BEST:: SOT 41325 SOS 26135 HAS SOPS 20265 HAS SOUS 7111 HAS SOUPS 6205 WITH SCORE 6231.135
AT ITER 1312 NEW BEST:: SOT 41354 SOS 26118 HAS SOPS 20248 HAS SOUS 7107 HAS SOUPS 6201 WITH SCORE 6227.118
AT ITER 1315 NEW BEST:: SOT 41387 SOS 26134 HAS SOPS 20276 HAS SOUS 7105 HAS SOUPS 6199 WITH SCORE 6225.134
AT ITER 1316 NEW BEST:: SOT 41376 SOS 26123 HAS SOPS 20265 HAS SOUS 7094 HAS SOUPS 6188 WITH SCORE 6214.123
AT ITER 1323 NEW BEST:: SOT 41378 SOS 26127 HAS SOPS 20269 HAS SOUS 7083 HAS SOUPS 6177 WITH SCORE 6203.127
AT ITER 1334 NEW BEST:: SOT 41495 SOS 26195 HAS SOPS 20350 HAS SOUS 7082 HAS SOUPS 6176 WITH SCORE 6202.195
AT ITER 1355 NEW BEST:: SOT 41484 SOS 26233 HAS SOPS 20304 HAS SOUS 7091 HAS SOUPS 6160 WITH SCORE 6186.233
AT ITER 1358 NEW BEST:: SOT 41493 SOS 26199 HAS SOPS 20270 HAS SOUS 7076 HAS SOUPS 6145 WITH SCORE 6171.199
AT ITER 1380 NEW BEST:: SOT 41528 SOS 26220 HAS SOPS 20277 HAS SOUS 7061 HAS SOUPS 6130 WITH SCORE 6156.22
AT ITER 1423 NEW BEST:: SOT 41349 SOS 25988 HAS SOPS 20082 HAS SOUS 6998 HAS SOUPS 6104 WITH SCORE 6129.988
AT ITER 1427 NEW BEST:: SOT 41349 SOS 25991 HAS SOPS 20085 HAS SOUS 6992 HAS SOUPS 6098 WITH SCORE 6123.991
AT ITER 1435 NEW BEST:: SOT 41229 SOS 25931 HAS SOPS 20005 HAS SOUS 6954 HAS SOUPS 6060 WITH SCORE 6085.931
AT ITER 1454 NEW BEST:: SOT 41243 SOS 25889 HAS SOPS 19963 HAS SOUS 6949 HAS SOUPS 6055 WITH SCORE 6080.889
AT ITER 1459 NEW BEST:: SOT 41222 SOS 25865 HAS SOPS 19937 HAS SOUS 6930 HAS SOUPS 6044 WITH SCORE 6069.865
AT ITER 1461 NEW BEST:: SOT 41218 SOS 25861 HAS SOPS 19933 HAS SOUS 6928 HAS SOUPS 6044 WITH SCORE 6069.861
AT ITER 1463 NEW BEST:: SOT 41244 SOS 25845 HAS SOPS 19917 HAS SOUS 6925 HAS SOUPS 6041 WITH SCORE 6066.845
AT ITER 1465 NEW BEST:: SOT 41203 SOS 25872 HAS SOPS 19768 HAS SOUS 6928 HAS SOUPS 6039 WITH SCORE 6064.872
AT ITER 1506 NEW BEST:: SOT 41203 SOS 25874 HAS SOPS 19766 HAS SOUS 6926 HAS SOUPS 6035 WITH SCORE 6060.874
AT ITER 1519 NEW BEST:: SOT 41242 SOS 25873 HAS SOPS 19786 HAS SOUS 6906 HAS SOUPS 6015 WITH SCORE 6040.873
AT ITER 1528 NEW BEST:: SOT 41246 SOS 25875 HAS SOPS 19788 HAS SOUS 6903 HAS SOUPS 6012 WITH SCORE 6037.875
AT ITER 1538 NEW BEST:: SOT 41234 SOS 25851 HAS SOPS 19760 HAS SOUS 6895 HAS SOUPS 6000 WITH SCORE 6025.851
AT ITER 1569 NEW BEST:: SOT 41206 SOS 25861 HAS SOPS 19777 HAS SOUS 6888 HAS SOUPS 5998 WITH SCORE 6023.861
AT ITER 1581 NEW BEST:: SOT 41193 SOS 25848 HAS SOPS 19764 HAS SOUS 6883 HAS SOUPS 5993 WITH SCORE 6018.848
AT ITER 1594 NEW BEST:: SOT 41191 SOS 25872 HAS SOPS 19788 HAS SOUS 6881 HAS SOUPS 5991 WITH SCORE 6016.872
AT ITER 1596 NEW BEST:: SOT 41191 SOS 25862 HAS SOPS 19788 HAS SOUS 6881 HAS SOUPS 5991 WITH SCORE 6016.862
AT ITER 1603 NEW BEST:: SOT 41197 SOS 25868 HAS SOPS 19794 HAS SOUS 6879 HAS SOUPS 5989 WITH SCORE 6014.868
AT ITER 1609 NEW BEST:: SOT 41198 SOS 25854 HAS SOPS 19780 HAS SOUS 6874 HAS SOUPS 5984 WITH SCORE 6009.854
AT ITER 1625 NEW BEST:: SOT 41180 SOS 25868 HAS SOPS 19782 HAS SOUS 6870 HAS SOUPS 5980 WITH SCORE 6005.868
AT ITER 1646 NEW BEST:: SOT 41281 SOS 25950 HAS SOPS 19840 HAS SOUS 6865 HAS SOUPS 5952 WITH SCORE 5977.95
AT ITER 1670 NEW BEST:: SOT 41279 SOS 25952 HAS SOPS 19836 HAS SOUS 6863 HAS SOUPS 5950 WITH SCORE 5975.952
AT ITER 1676 NEW BEST:: SOT 41520 SOS 25690 HAS SOPS 19830 HAS SOUS 6857 HAS SOUPS 5946 WITH SCORE 5971.69
AT ITER 1689 NEW BEST:: SOT 41495 SOS 25676 HAS SOPS 19828 HAS SOUS 6842 HAS SOUPS 5931 WITH SCORE 5956.676
AT ITER 1696 NEW BEST:: SOT 41478 SOS 25444 HAS SOPS 19362 HAS SOUS 6820 HAS SOUPS 5903 WITH SCORE 5928.444
AT ITER 1699 NEW BEST:: SOT 41476 SOS 25442 HAS SOPS 19358 HAS SOUS 6816 HAS SOUPS 5899 WITH SCORE 5924.442
AT ITER 1708 NEW BEST:: SOT 41473 SOS 25438 HAS SOPS 19354 HAS SOUS 6816 HAS SOUPS 5899 WITH SCORE 5924.438
AT ITER 1721 NEW BEST:: SOT 41425 SOS 25414 HAS SOPS 19330 HAS SOUS 6816 HAS SOUPS 5899 WITH SCORE 5924.414
AT ITER 1726 NEW BEST:: SOT 41417 SOS 25388 HAS SOPS 19304 HAS SOUS 6778 HAS SOUPS 5861 WITH SCORE 5886.388
AT ITER 1733 NEW BEST:: SOT 41393 SOS 25368 HAS SOPS 19280 HAS SOUS 6777 HAS SOUPS 5857 WITH SCORE 5882.368
AT ITER 1752 NEW BEST:: SOT 41266 SOS 25282 HAS SOPS 19194 HAS SOUS 6770 HAS SOUPS 5850 WITH SCORE 5875.282
AT ITER 1754 NEW BEST:: SOT 41136 SOS 25254 HAS SOPS 19147 HAS SOUS 6734 HAS SOUPS 5814 WITH SCORE 5839.254
AT ITER 1758 NEW BEST:: SOT 41098 SOS 25216 HAS SOPS 19107 HAS SOUS 6734 HAS SOUPS 5814 WITH SCORE 5839.216
AT ITER 1770 NEW BEST:: SOT 41102 SOS 25233 HAS SOPS 19124 HAS SOUS 6725 HAS SOUPS 5805 WITH SCORE 5830.233
AT ITER 1795 NEW BEST:: SOT 40950 SOS 25130 HAS SOPS 19114 HAS SOUS 6708 HAS SOUPS 5795 WITH SCORE 5820.13
AT ITER 1800 NEW BEST:: SOT 40954 SOS 25122 HAS SOPS 19106 HAS SOUS 6696 HAS SOUPS 5783 WITH SCORE 5808.122
AT ITER 1861 NEW BEST:: SOT 40934 SOS 25096 HAS SOPS 19080 HAS SOUS 6652 HAS SOUPS 5739 WITH SCORE 5764.096
AT ITER 1871 NEW BEST:: SOT 40949 SOS 25081 HAS SOPS 19065 HAS SOUS 6647 HAS SOUPS 5734 WITH SCORE 5759.081
AT ITER 1872 NEW BEST:: SOT 40950 SOS 25082 HAS SOPS 19063 HAS SOUS 6643 HAS SOUPS 5730 WITH SCORE 5755.082
AT ITER 1878 NEW BEST:: SOT 40952 SOS 25010 HAS SOPS 19063 HAS SOUS 6642 HAS SOUPS 5730 WITH SCORE 5755.01
AT ITER 1890 NEW BEST:: SOT 40900 SOS 25022 HAS SOPS 19075 HAS SOUS 6641 HAS SOUPS 5729 WITH SCORE 5754.022
AT ITER 1896 NEW BEST:: SOT 40900 SOS 25014 HAS SOPS 19071 HAS SOUS 6637 HAS SOUPS 5725 WITH SCORE 5750.014
AT ITER 1909 NEW BEST:: SOT 40814 SOS 24928 HAS SOPS 18985 HAS SOUS 6593 HAS SOUPS 5681 WITH SCORE 5705.928
AT ITER 1920 NEW BEST:: SOT 40846 SOS 24908 HAS SOPS 18965 HAS SOUS 6581 HAS SOUPS 5669 WITH SCORE 5693.908
AT ITER 1931 NEW BEST:: SOT 40770 SOS 25492 HAS SOPS 18901 HAS SOUS 6579 HAS SOUPS 5643 WITH SCORE 5668.492
AT ITER 1935 NEW BEST:: SOT 40799 SOS 25516 HAS SOPS 18919 HAS SOUS 6578 HAS SOUPS 5642 WITH SCORE 5667.516
AT ITER 1945 NEW BEST:: SOT 40797 SOS 25512 HAS SOPS 18915 HAS SOUS 6570 HAS SOUPS 5636 WITH SCORE 5661.512
AT ITER 1947 NEW BEST:: SOT 40796 SOS 25511 HAS SOPS 18913 HAS SOUS 6568 HAS SOUPS 5634 WITH SCORE 5659.511
AT ITER 1948 NEW BEST:: SOT 40764 SOS 25458 HAS SOPS 18876 HAS SOUS 6557 HAS SOUPS 5623 WITH SCORE 5648.458
AT ITER 1966 NEW BEST:: SOT 40662 SOS 25372 HAS SOPS 18790 HAS SOUS 6495 HAS SOUPS 5561 WITH SCORE 5586.372
AT ITER 1981 NEW BEST:: SOT 40638 SOS 25354 HAS SOPS 18772 HAS SOUS 6477 HAS SOUPS 5543 WITH SCORE 5568.354
AT ITER 2013 NEW BEST:: SOT 40641 SOS 25298 HAS SOPS 18772 HAS SOUS 6476 HAS SOUPS 5543 WITH SCORE 5568.298
AT ITER 2043 NEW BEST:: SOT 40476 SOS 25286 HAS SOPS 18806 HAS SOUS 6486 HAS SOUPS 5527 WITH SCORE 5552.286
AT ITER 2047 NEW BEST:: SOT 40490 SOS 25284 HAS SOPS 18802 HAS SOUS 6486 HAS SOUPS 5527 WITH SCORE 5552.284
AT ITER 2050 NEW BEST:: SOT 40482 SOS 25280 HAS SOPS 18798 HAS SOUS 6483 HAS SOUPS 5524 WITH SCORE 5549.28
AT ITER 2090 NEW BEST:: SOT 40511 SOS 25309 HAS SOPS 18814 HAS SOUS 6472 HAS SOUPS 5513 WITH SCORE 5538.309
AT ITER 2101 NEW BEST:: SOT 40501 SOS 25294 HAS SOPS 18804 HAS SOUS 6471 HAS SOUPS 5512 WITH SCORE 5537.294
AT ITER 2120 NEW BEST:: SOT 40499 SOS 25295 HAS SOPS 18790 HAS SOUS 6467 HAS SOUPS 5508 WITH SCORE 5533.295
AT ITER 2128 NEW BEST:: SOT 40487 SOS 25291 HAS SOPS 18786 HAS SOUS 6459 HAS SOUPS 5500 WITH SCORE 5525.291
AT ITER 2153 NEW BEST:: SOT 40475 SOS 25279 HAS SOPS 18774 HAS SOUS 6453 HAS SOUPS 5494 WITH SCORE 5519.279
AT ITER 2154 NEW BEST:: SOT 40206 SOS 25241 HAS SOPS 18774 HAS SOUS 6414 HAS SOUPS 5494 WITH SCORE 5519.241
AT ITER 2168 NEW BEST:: SOT 40195 SOS 25239 HAS SOPS 18772 HAS SOUS 6413 HAS SOUPS 5493 WITH SCORE 5518.239
AT ITER 2184 NEW BEST:: SOT 40090 SOS 25295 HAS SOPS 18187 HAS SOUS 6432 HAS SOUPS 5481 WITH SCORE 5506.295
AT ITER 2189 NEW BEST:: SOT 40087 SOS 25298 HAS SOPS 18184 HAS SOUS 6426 HAS SOUPS 5475 WITH SCORE 5500.298
AT ITER 2220 NEW BEST:: SOT 40088 SOS 25300 HAS SOPS 18186 HAS SOUS 6423 HAS SOUPS 5472 WITH SCORE 5497.3
AT ITER 2235 NEW BEST:: SOT 40078 SOS 25293 HAS SOPS 18179 HAS SOUS 6419 HAS SOUPS 5468 WITH SCORE 5493.293
AT ITER 2238 NEW BEST:: SOT 40034 SOS 25257 HAS SOPS 18143 HAS SOUS 6313 HAS SOUPS 5382 WITH SCORE 5407.257
AT ITER 2263 NEW BEST:: SOT 40030 SOS 25249 HAS SOPS 18135 HAS SOUS 6304 HAS SOUPS 5373 WITH SCORE 5398.249
AT ITER 2273 NEW BEST:: SOT 40030 SOS 25241 HAS SOPS 18129 HAS SOUS 6297 HAS SOUPS 5366 WITH SCORE 5391.241
AT ITER 2325 NEW BEST:: SOT 40023 SOS 25227 HAS SOPS 18115 HAS SOUS 6286 HAS SOUPS 5355 WITH SCORE 5380.227
AT ITER 2336 NEW BEST:: SOT 40028 SOS 25231 HAS SOPS 18119 HAS SOUS 6285 HAS SOUPS 5354 WITH SCORE 5379.231
AT ITER 2351 NEW BEST:: SOT 40012 SOS 25182 HAS SOPS 18081 HAS SOUS 6273 HAS SOUPS 5342 WITH SCORE 5367.182
AT ITER 2385 NEW BEST:: SOT 40014 SOS 25182 HAS SOPS 18081 HAS SOUS 6268 HAS SOUPS 5336 WITH SCORE 5361.182
AT ITER 2413 NEW BEST:: SOT 40006 SOS 25172 HAS SOPS 17777 HAS SOUS 6256 HAS SOUPS 5316 WITH SCORE 5341.172
AT ITER 2463 NEW BEST:: SOT 40009 SOS 25158 HAS SOPS 17759 HAS SOUS 6245 HAS SOUPS 5305 WITH SCORE 5330.158
AT ITER 2468 NEW BEST:: SOT 40008 SOS 25153 HAS SOPS 17755 HAS SOUS 6243 HAS SOUPS 5303 WITH SCORE 5328.153
AT ITER 2478 NEW BEST:: SOT 39999 SOS 25108 HAS SOPS 17710 HAS SOUS 6216 HAS SOUPS 5276 WITH SCORE 5301.108
AT ITER 2488 NEW BEST:: SOT 40000 SOS 25113 HAS SOPS 17713 HAS SOUS 6213 HAS SOUPS 5273 WITH SCORE 5298.113
AT ITER 2498 NEW BEST:: SOT 39958 SOS 25083 HAS SOPS 17677 HAS SOUS 6207 HAS SOUPS 5267 WITH SCORE 5292.083
AT ITER 2499 NEW BEST:: SOT 39956 SOS 25081 HAS SOPS 17673 HAS SOUS 6195 HAS SOUPS 5253 WITH SCORE 5278.081
AT ITER 2537 NEW BEST:: SOT 39949 SOS 25019 HAS SOPS 17613 HAS SOUS 6175 HAS SOUPS 5233 WITH SCORE 5258.019
AT ITER 2545 NEW BEST:: SOT 39949 SOS 25013 HAS SOPS 17607 HAS SOUS 6172 HAS SOUPS 5230 WITH SCORE 5255.013
AT ITER 2614 NEW BEST:: SOT 39949 SOS 25014 HAS SOPS 17607 HAS SOUS 6169 HAS SOUPS 5226 WITH SCORE 5251.014
AT ITER 2616 NEW BEST:: SOT 39934 SOS 24999 HAS SOPS 17592 HAS SOUS 6154 HAS SOUPS 5211 WITH SCORE 5235.999
AT ITER 2633 NEW BEST:: SOT 39930 SOS 24997 HAS SOPS 17588 HAS SOUS 6146 HAS SOUPS 5203 WITH SCORE 5227.997
AT ITER 2689 NEW BEST:: SOT 39931 SOS 24951 HAS SOPS 17644 HAS SOUS 6130 HAS SOUPS 5203 WITH SCORE 5227.951
AT ITER 2692 NEW BEST:: SOT 39926 SOS 24947 HAS SOPS 17634 HAS SOUS 6129 HAS SOUPS 5201 WITH SCORE 5225.947
AT ITER 2722 NEW BEST:: SOT 39924 SOS 24943 HAS SOPS 17632 HAS SOUS 6129 HAS SOUPS 5201 WITH SCORE 5225.943
AT ITER 2741 NEW BEST:: SOT 39922 SOS 24939 HAS SOPS 17628 HAS SOUS 6125 HAS SOUPS 5197 WITH SCORE 5221.939
AT ITER 2760 NEW BEST:: SOT 39914 SOS 24991 HAS SOPS 17625 HAS SOUS 6117 HAS SOUPS 5194 WITH SCORE 5218.991
AT ITER 2815 NEW BEST:: SOT 39914 SOS 24979 HAS SOPS 17613 HAS SOUS 6113 HAS SOUPS 5190 WITH SCORE 5214.979
AT ITER 2822 NEW BEST:: SOT 39922 SOS 24995 HAS SOPS 17629 HAS SOUS 6100 HAS SOUPS 5177 WITH SCORE 5201.995
AT ITER 2826 NEW BEST:: SOT 39925 SOS 24993 HAS SOPS 17628 HAS SOUS 6098 HAS SOUPS 5175 WITH SCORE 5199.993
AT ITER 2851 NEW BEST:: SOT 39924 SOS 24991 HAS SOPS 17626 HAS SOUS 6095 HAS SOUPS 5172 WITH SCORE 5196.991
AT ITER 2882 NEW BEST:: SOT 39861 SOS 24932 HAS SOPS 17572 HAS SOUS 6080 HAS SOUPS 5158 WITH SCORE 5182.932
AT ITER 2904 NEW BEST:: SOT 39857 SOS 24928 HAS SOPS 17568 HAS SOUS 6076 HAS SOUPS 5154 WITH SCORE 5178.928
AT ITER 2906 NEW BEST:: SOT 39821 SOS 24892 HAS SOPS 17530 HAS SOUS 6059 HAS SOUPS 5137 WITH SCORE 5161.892
AT ITER 2927 NEW BEST:: SOT 39813 SOS 25112 HAS SOPS 17526 HAS SOUS 6062 HAS SOUPS 5136 WITH SCORE 5161.112
AT ITER 2937 NEW BEST:: SOT 39813 SOS 25112 HAS SOPS 17525 HAS SOUS 6059 HAS SOUPS 5133 WITH SCORE 5158.112
AT ITER 2948 NEW BEST:: SOT 39810 SOS 25069 HAS SOPS 17547 HAS SOUS 6020 HAS SOUPS 5103 WITH SCORE 5128.069
AT ITER 2954 NEW BEST:: SOT 39855 SOS 25039 HAS SOPS 17532 HAS SOUS 6020 HAS SOUPS 5103 WITH SCORE 5128.039
AT ITER 2968 NEW BEST:: SOT 39836 SOS 25022 HAS SOPS 17515 HAS SOUS 6009 HAS SOUPS 5099 WITH SCORE 5124.022
AT ITER 2970 NEW BEST:: SOT 39719 SOS 24944 HAS SOPS 17497 HAS SOUS 6003 HAS SOUPS 5087 WITH SCORE 5111.944
AT ITER 3017 NEW BEST:: SOT 39709 SOS 24936 HAS SOPS 17487 HAS SOUS 6001 HAS SOUPS 5085 WITH SCORE 5109.936
AT ITER 3069 NEW BEST:: SOT 39713 SOS 24928 HAS SOPS 17475 HAS SOUS 5994 HAS SOUPS 5078 WITH SCORE 5102.928
AT ITER 3123 NEW BEST:: SOT 39761 SOS 24443 HAS SOPS 17475 HAS SOUS 6013 HAS SOUPS 5073 WITH SCORE 5097.443
AT ITER 3141 NEW BEST:: SOT 39773 SOS 24409 HAS SOPS 17475 HAS SOUS 6011 HAS SOUPS 5073 WITH SCORE 5097.409
AT ITER 3161 NEW BEST:: SOT 39757 SOS 24385 HAS SOPS 17451 HAS SOUS 6009 HAS SOUPS 5071 WITH SCORE 5095.385
AT ITER 3172 NEW BEST:: SOT 39721 SOS 24355 HAS SOPS 17421 HAS SOUS 6006 HAS SOUPS 5068 WITH SCORE 5092.355
AT ITER 3196 NEW BEST:: SOT 39720 SOS 24373 HAS SOPS 17414 HAS SOUS 6001 HAS SOUPS 5058 WITH SCORE 5082.373
AT ITER 3214 NEW BEST:: SOT 39724 SOS 24346 HAS SOPS 17412 HAS SOUS 5992 HAS SOUPS 5054 WITH SCORE 5078.346
AT ITER 3235 NEW BEST:: SOT 39731 SOS 24353 HAS SOPS 17419 HAS SOUS 5971 HAS SOUPS 5033 WITH SCORE 5057.353
AT ITER 3246 NEW BEST:: SOT 39729 SOS 24353 HAS SOPS 17417 HAS SOUS 5968 HAS SOUPS 5030 WITH SCORE 5054.353
AT ITER 3262 NEW BEST:: SOT 39724 SOS 24343 HAS SOPS 17407 HAS SOUS 5964 HAS SOUPS 5026 WITH SCORE 5050.343
AT ITER 3281 NEW BEST:: SOT 39705 SOS 24324 HAS SOPS 17400 HAS SOUS 5958 HAS SOUPS 5020 WITH SCORE 5044.324
AT ITER 3342 NEW BEST:: SOT 39705 SOS 24322 HAS SOPS 17400 HAS SOUS 5954 HAS SOUPS 5018 WITH SCORE 5042.322
AT ITER 3366 NEW BEST:: SOT 39705 SOS 24321 HAS SOPS 17399 HAS SOUS 5953 HAS SOUPS 5017 WITH SCORE 5041.321
AT ITER 3424 NEW BEST:: SOT 39705 SOS 24312 HAS SOPS 17393 HAS SOUS 5947 HAS SOUPS 5011 WITH SCORE 5035.312
AT ITER 3431 NEW BEST:: SOT 39716 SOS 24327 HAS SOPS 17400 HAS SOUS 5945 HAS SOUPS 5009 WITH SCORE 5033.327
AT ITER 3432 NEW BEST:: SOT 39780 SOS 24371 HAS SOPS 17458 HAS SOUS 5936 HAS SOUPS 5005 WITH SCORE 5029.371
AT ITER 3441 NEW BEST:: SOT 39781 SOS 24369 HAS SOPS 17456 HAS SOUS 5935 HAS SOUPS 5004 WITH SCORE 5028.369
AT ITER 3456 NEW BEST:: SOT 39765 SOS 24312 HAS SOPS 17399 HAS SOUS 5910 HAS SOUPS 4971 WITH SCORE 4995.312
AT ITER 3493 NEW BEST:: SOT 39756 SOS 24263 HAS SOPS 17399 HAS SOUS 5918 HAS SOUPS 4971 WITH SCORE 4995.263
AT ITER 3533 NEW BEST:: SOT 39745 SOS 24265 HAS SOPS 17393 HAS SOUS 5921 HAS SOUPS 4970 WITH SCORE 4994.265
AT ITER 3536 NEW BEST:: SOT 39737 SOS 24257 HAS SOPS 17377 HAS SOUS 5905 HAS SOUPS 4954 WITH SCORE 4978.257
AT ITER 3547 NEW BEST:: SOT 39741 SOS 24253 HAS SOPS 17377 HAS SOUS 5895 HAS SOUPS 4952 WITH SCORE 4976.253
AT ITER 3587 NEW BEST:: SOT 39739 SOS 24251 HAS SOPS 17375 HAS SOUS 5893 HAS SOUPS 4950 WITH SCORE 4974.251
AT ITER 3613 NEW BEST:: SOT 39720 SOS 24253 HAS SOPS 17372 HAS SOUS 5889 HAS SOUPS 4946 WITH SCORE 4970.253
AT ITER 3622 NEW BEST:: SOT 39730 SOS 23888 HAS SOPS 17367 HAS SOUS 5879 HAS SOUPS 4941 WITH SCORE 4964.888
AT ITER 3664 NEW BEST:: SOT 39735 SOS 23548 HAS SOPS 17387 HAS SOUS 5874 HAS SOUPS 4941 WITH SCORE 4964.548
AT ITER 3702 NEW BEST:: SOT 39701 SOS 23480 HAS SOPS 17336 HAS SOUS 5874 HAS SOUPS 4941 WITH SCORE 4964.48
AT ITER 3718 NEW BEST:: SOT 39701 SOS 23479 HAS SOPS 17327 HAS SOUS 5872 HAS SOUPS 4939 WITH SCORE 4962.479
AT ITER 3745 NEW BEST:: SOT 39701 SOS 23479 HAS SOPS 17295 HAS SOUS 5872 HAS SOUPS 4935 WITH SCORE 4958.479
AT ITER 3750 NEW BEST:: SOT 39700 SOS 23482 HAS SOPS 17293 HAS SOUS 5867 HAS SOUPS 4930 WITH SCORE 4953.482
AT ITER 3766 NEW BEST:: SOT 39693 SOS 23468 HAS SOPS 17281 HAS SOUS 5864 HAS SOUPS 4925 WITH SCORE 4948.468
AT ITER 3776 NEW BEST:: SOT 39694 SOS 23468 HAS SOPS 17287 HAS SOUS 5862 HAS SOUPS 4924 WITH SCORE 4947.468
AT ITER 3783 NEW BEST:: SOT 39692 SOS 23426 HAS SOPS 17263 HAS SOUS 5858 HAS SOUPS 4920 WITH SCORE 4943.426
AT ITER 3803 NEW BEST:: SOT 39692 SOS 23423 HAS SOPS 17260 HAS SOUS 5858 HAS SOUPS 4920 WITH SCORE 4943.423
AT ITER 3814 NEW BEST:: SOT 39701 SOS 23384 HAS SOPS 17260 HAS SOUS 5859 HAS SOUPS 4920 WITH SCORE 4943.384
AT ITER 3860 NEW BEST:: SOT 39701 SOS 23382 HAS SOPS 17268 HAS SOUS 5857 HAS SOUPS 4920 WITH SCORE 4943.382
AT ITER 3884 NEW BEST:: SOT 39702 SOS 23369 HAS SOPS 17255 HAS SOUS 5853 HAS SOUPS 4916 WITH SCORE 4939.369
AT ITER 4022 NEW BEST:: SOT 39700 SOS 23366 HAS SOPS 17252 HAS SOUS 5850 HAS SOUPS 4913 WITH SCORE 4936.366
AT ITER 4041 NEW BEST:: SOT 39708 SOS 23382 HAS SOPS 17263 HAS SOUS 5852 HAS SOUPS 4910 WITH SCORE 4933.382
AT ITER 4202 NEW BEST:: SOT 39706 SOS 23370 HAS SOPS 17263 HAS SOUS 5843 HAS SOUPS 4901 WITH SCORE 4924.37
AT ITER 4210 NEW BEST:: SOT 39712 SOS 23268 HAS SOPS 16724 HAS SOUS 5863 HAS SOUPS 4901 WITH SCORE 4924.268
AT ITER 4305 NEW BEST:: SOT 39702 SOS 23248 HAS SOPS 16710 HAS SOUS 5863 HAS SOUPS 4901 WITH SCORE 4924.248
AT ITER 4342 NEW BEST:: SOT 39797 SOS 23298 HAS SOPS 16706 HAS SOUS 5838 HAS SOUPS 4896 WITH SCORE 4919.298
AT ITER 4395 NEW BEST:: SOT 39773 SOS 23250 HAS SOPS 16666 HAS SOUS 5822 HAS SOUPS 4880 WITH SCORE 4903.25
AT ITER 4403 NEW BEST:: SOT 39771 SOS 23246 HAS SOPS 16665 HAS SOUS 5820 HAS SOUPS 4878 WITH SCORE 4901.246
AT ITER 4415 NEW BEST:: SOT 39787 SOS 23246 HAS SOPS 16673 HAS SOUS 5788 HAS SOUPS 4846 WITH SCORE 4869.246
AT ITER 4449 NEW BEST:: SOT 39783 SOS 23240 HAS SOPS 16669 HAS SOUS 5780 HAS SOUPS 4840 WITH SCORE 4863.24
AT ITER 4493 NEW BEST:: SOT 39782 SOS 23235 HAS SOPS 16664 HAS SOUS 5776 HAS SOUPS 4836 WITH SCORE 4859.235
AT ITER 4507 NEW BEST:: SOT 39733 SOS 23738 HAS SOPS 16657 HAS SOUS 5767 HAS SOUPS 4833 WITH SCORE 4856.738
AT ITER 4561 NEW BEST:: SOT 39737 SOS 23714 HAS SOPS 16653 HAS SOUS 5759 HAS SOUPS 4829 WITH SCORE 4852.714
AT ITER 4567 NEW BEST:: SOT 39763 SOS 23680 HAS SOPS 16653 HAS SOUS 5780 HAS SOUPS 4829 WITH SCORE 4852.68
AT ITER 4604 NEW BEST:: SOT 39763 SOS 23660 HAS SOPS 16713 HAS SOUS 5780 HAS SOUPS 4829 WITH SCORE 4852.66
AT ITER 4629 NEW BEST:: SOT 39760 SOS 23659 HAS SOPS 16712 HAS SOUS 5778 HAS SOUPS 4827 WITH SCORE 4850.659
AT ITER 4696 NEW BEST:: SOT 39760 SOS 23645 HAS SOPS 16698 HAS SOUS 5774 HAS SOUPS 4823 WITH SCORE 4846.645
AT ITER 4719 NEW BEST:: SOT 39762 SOS 23643 HAS SOPS 16696 HAS SOUS 5774 HAS SOUPS 4823 WITH SCORE 4846.643
AT ITER 4763 NEW BEST:: SOT 39771 SOS 23433 HAS SOPS 16696 HAS SOUS 5771 HAS SOUPS 4823 WITH SCORE 4846.433
AT ITER 4782 NEW BEST:: SOT 39772 SOS 23435 HAS SOPS 16698 HAS SOUS 5764 HAS SOUPS 4816 WITH SCORE 4839.435
AT ITER 4790 NEW BEST:: SOT 39766 SOS 23430 HAS SOPS 16692 HAS SOUS 5758 HAS SOUPS 4810 WITH SCORE 4833.43
AT ITER 4803 NEW BEST:: SOT 39766 SOS 23430 HAS SOPS 16692 HAS SOUS 5756 HAS SOUPS 4809 WITH SCORE 4832.43
AT ITER 4882 NEW BEST:: SOT 39762 SOS 23422 HAS SOPS 16136 HAS SOUS 5740 HAS SOUPS 4770 WITH SCORE 4793.422
AT ITER 4913 NEW BEST:: SOT 39747 SOS 23410 HAS SOPS 16122 HAS SOUS 5737 HAS SOUPS 4765 WITH SCORE 4788.41
AT ITER 4941 NEW BEST:: SOT 39722 SOS 23393 HAS SOPS 16114 HAS SOUS 5736 HAS SOUPS 4761 WITH SCORE 4784.393
AT ITER 4995 NEW BEST:: SOT 39722 SOS 23393 HAS SOPS 16114 HAS SOUS 5732 HAS SOUPS 4757 WITH SCORE 4780.393
AT ITER 5047 NEW BEST:: SOT 39719 SOS 23375 HAS SOPS 16099 HAS SOUS 5719 HAS SOUPS 4744 WITH SCORE 4767.375
AT ITER 5060 NEW BEST:: SOT 39720 SOS 23378 HAS SOPS 16101 HAS SOUS 5718 HAS SOUPS 4743 WITH SCORE 4766.378
AT ITER 5077 NEW BEST:: SOT 39728 SOS 23382 HAS SOPS 16105 HAS SOUS 5712 HAS SOUPS 4737 WITH SCORE 4760.382
AT ITER 5086 NEW BEST:: SOT 39713 SOS 23357 HAS SOPS 16085 HAS SOUS 5707 HAS SOUPS 4732 WITH SCORE 4755.357
AT ITER 5136 NEW BEST:: SOT 39683 SOS 23337 HAS SOPS 16065 HAS SOUS 5707 HAS SOUPS 4732 WITH SCORE 4755.337
AT ITER 5169 NEW BEST:: SOT 39659 SOS 23313 HAS SOPS 16041 HAS SOUS 5683 HAS SOUPS 4708 WITH SCORE 4731.313
AT ITER 5193 NEW BEST:: SOT 39705 SOS 23360 HAS SOPS 16079 HAS SOUS 5679 HAS SOUPS 4704 WITH SCORE 4727.36
AT ITER 5223 NEW BEST:: SOT 39707 SOS 23357 HAS SOPS 16076 HAS SOUS 5676 HAS SOUPS 4701 WITH SCORE 4724.357
AT ITER 5295 NEW BEST:: SOT 39599 SOS 23295 HAS SOPS 16076 HAS SOUS 5654 HAS SOUPS 4701 WITH SCORE 4724.295
AT ITER 5346 NEW BEST:: SOT 39597 SOS 23291 HAS SOPS 16072 HAS SOUS 5652 HAS SOUPS 4699 WITH SCORE 4722.291
AT ITER 5378 NEW BEST:: SOT 39598 SOS 23286 HAS SOPS 16072 HAS SOUS 5651 HAS SOUPS 4699 WITH SCORE 4722.286
AT ITER 5483 NEW BEST:: SOT 39596 SOS 23264 HAS SOPS 16098 HAS SOUS 5642 HAS SOUPS 4690 WITH SCORE 4713.264
AT ITER 5561 NEW BEST:: SOT 39595 SOS 23262 HAS SOPS 15955 HAS SOUS 5644 HAS SOUPS 4685 WITH SCORE 4708.262
AT ITER 5565 NEW BEST:: SOT 39482 SOS 23270 HAS SOPS 15948 HAS SOUS 5634 HAS SOUPS 4675 WITH SCORE 4698.27
AT ITER 5639 NEW BEST:: SOT 39480 SOS 23264 HAS SOPS 15944 HAS SOUS 5624 HAS SOUPS 4667 WITH SCORE 4690.264
AT ITER 5779 NEW BEST:: SOT 39567 SOS 23129 HAS SOPS 15947 HAS SOUS 5619 HAS SOUPS 4667 WITH SCORE 4690.129
AT ITER 5899 NEW BEST:: SOT 39562 SOS 23122 HAS SOPS 15941 HAS SOUS 5619 HAS SOUPS 4667 WITH SCORE 4690.122
AT ITER 5917 NEW BEST:: SOT 39555 SOS 23107 HAS SOPS 15926 HAS SOUS 5616 HAS SOUPS 4664 WITH SCORE 4687.107
AT ITER 6032 NEW BEST:: SOT 39556 SOS 23106 HAS SOPS 15926 HAS SOUS 5615 HAS SOUPS 4663 WITH SCORE 4686.106
AT ITER 6033 NEW BEST:: SOT 39415 SOS 23068 HAS SOPS 15800 HAS SOUS 5651 HAS SOUPS 4663 WITH SCORE 4686.068
AT ITER 6101 NEW BEST:: SOT 39415 SOS 23068 HAS SOPS 15800 HAS SOUS 5650 HAS SOUPS 4662 WITH SCORE 4685.068
AT ITER 6121 NEW BEST:: SOT 39413 SOS 23068 HAS SOPS 15800 HAS SOUS 5648 HAS SOUPS 4660 WITH SCORE 4683.068
AT ITER 6149 NEW BEST:: SOT 39415 SOS 23070 HAS SOPS 15800 HAS SOUS 5645 HAS SOUPS 4657 WITH SCORE 4680.07
AT ITER 6189 NEW BEST:: SOT 39414 SOS 23068 HAS SOPS 15130 HAS SOUS 5638 HAS SOUPS 4616 WITH SCORE 4639.068
AT ITER 6246 NEW BEST:: SOT 39418 SOS 23074 HAS SOPS 15136 HAS SOUS 5637 HAS SOUPS 4615 WITH SCORE 4638.074
AT ITER 6290 NEW BEST:: SOT 39411 SOS 23069 HAS SOPS 15110 HAS SOUS 5636 HAS SOUPS 4611 WITH SCORE 4634.069
AT ITER 6299 NEW BEST:: SOT 39411 SOS 23072 HAS SOPS 15113 HAS SOUS 5635 HAS SOUPS 4610 WITH SCORE 4633.072
AT ITER 6303 NEW BEST:: SOT 39415 SOS 23461 HAS SOPS 15080 HAS SOUS 5641 HAS SOUPS 4607 WITH SCORE 4630.461
AT ITER 6314 NEW BEST:: SOT 39415 SOS 23463 HAS SOPS 15080 HAS SOUS 5640 HAS SOUPS 4606 WITH SCORE 4629.463
AT ITER 6333 NEW BEST:: SOT 39403 SOS 23455 HAS SOPS 15080 HAS SOUS 5638 HAS SOUPS 4606 WITH SCORE 4629.455
AT ITER 6430 NEW BEST:: SOT 39384 SOS 23472 HAS SOPS 15082 HAS SOUS 5647 HAS SOUPS 4605 WITH SCORE 4628.472
AT ITER 6477 NEW BEST:: SOT 39368 SOS 23572 HAS SOPS 15082 HAS SOUS 5642 HAS SOUPS 4603 WITH SCORE 4626.572
AT ITER 6524 NEW BEST:: SOT 39376 SOS 23569 HAS SOPS 15079 HAS SOUS 5637 HAS SOUPS 4598 WITH SCORE 4621.569
AT ITER 6546 NEW BEST:: SOT 39375 SOS 23564 HAS SOPS 15077 HAS SOUS 5637 HAS SOUPS 4598 WITH SCORE 4621.564
AT ITER 6711 NEW BEST:: SOT 39355 SOS 23540 HAS SOPS 15053 HAS SOUS 5619 HAS SOUPS 4580 WITH SCORE 4603.54
AT ITER 6714 NEW BEST:: SOT 39385 SOS 23536 HAS SOPS 15068 HAS SOUS 5614 HAS SOUPS 4575 WITH SCORE 4598.536
AT ITER 6907 NEW BEST:: SOT 39381 SOS 23528 HAS SOPS 15060 HAS SOUS 5606 HAS SOUPS 4567 WITH SCORE 4590.528
AT ITER 6940 NEW BEST:: SOT 39380 SOS 23529 HAS SOPS 15053 HAS SOUS 5605 HAS SOUPS 4566 WITH SCORE 4589.529
AT ITER 6961 NEW BEST:: SOT 39316 SOS 23567 HAS SOPS 15045 HAS SOUS 5616 HAS SOUPS 4557 WITH SCORE 4580.567
AT ITER 7149 NEW BEST:: SOT 39306 SOS 23597 HAS SOPS 15043 HAS SOUS 5616 HAS SOUPS 4556 WITH SCORE 4579.597
AT ITER 7154 NEW BEST:: SOT 39274 SOS 23575 HAS SOPS 15021 HAS SOUS 5614 HAS SOUPS 4550 WITH SCORE 4573.575
AT ITER 7309 NEW BEST:: SOT 39266 SOS 23567 HAS SOPS 15013 HAS SOUS 5606 HAS SOUPS 4542 WITH SCORE 4565.567
AT ITER 7310 NEW BEST:: SOT 39265 SOS 23564 HAS SOPS 15018 HAS SOUS 5604 HAS SOUPS 4541 WITH SCORE 4564.564
AT ITER 7313 NEW BEST:: SOT 39261 SOS 23571 HAS SOPS 15020 HAS SOUS 5603 HAS SOUPS 4540 WITH SCORE 4563.571
AT ITER 7546 NEW BEST:: SOT 39229 SOS 23513 HAS SOPS 14970 HAS SOUS 5591 HAS SOUPS 4531 WITH SCORE 4554.513
AT ITER 7783 NEW BEST:: SOT 39226 SOS 23510 HAS SOPS 14964 HAS SOUS 5585 HAS SOUPS 4525 WITH SCORE 4548.51
AT ITER 7833 NEW BEST:: SOT 39230 SOS 23549 HAS SOPS 14573 HAS SOUS 5605 HAS SOUPS 4516 WITH SCORE 4539.549
AT ITER 7923 NEW BEST:: SOT 39225 SOS 23544 HAS SOPS 14573 HAS SOUS 5605 HAS SOUPS 4516 WITH SCORE 4539.544
AT ITER 7959 NEW BEST:: SOT 39261 SOS 23529 HAS SOPS 14587 HAS SOUS 5600 HAS SOUPS 4511 WITH SCORE 4534.529
AT ITER 8083 NEW BEST:: SOT 39261 SOS 23528 HAS SOPS 14586 HAS SOUS 5599 HAS SOUPS 4510 WITH SCORE 4533.528
AT ITER 8471 NEW BEST:: SOT 39267 SOS 23519 HAS SOPS 14577 HAS SOUS 5593 HAS SOUPS 4504 WITH SCORE 4527.519
AT ITER 8481 NEW BEST:: SOT 39276 SOS 23510 HAS SOPS 14577 HAS SOUS 5592 HAS SOUPS 4503 WITH SCORE 4526.51
AT ITER 8586 NEW BEST:: SOT 39276 SOS 23510 HAS SOPS 14569 HAS SOUS 5591 HAS SOUPS 4502 WITH SCORE 4525.51
AT ITER 8651 NEW BEST:: SOT 39277 SOS 23507 HAS SOPS 14569 HAS SOUS 5591 HAS SOUPS 4502 WITH SCORE 4525.507
AT ITER 8658 NEW BEST:: SOT 39287 SOS 23509 HAS SOPS 14571 HAS SOUS 5576 HAS SOUPS 4487 WITH SCORE 4510.509
AT ITER 8711 NEW BEST:: SOT 39285 SOS 23513 HAS SOPS 14575 HAS SOUS 5573 HAS SOUPS 4484 WITH SCORE 4507.513
AT ITER 8854 NEW BEST:: SOT 39278 SOS 23592 HAS SOPS 12343 HAS SOUS 5616 HAS SOUPS 4333 WITH SCORE 4356.592
AT ITER 8951 NEW BEST:: SOT 39278 SOS 23601 HAS SOPS 12337 HAS SOUS 5618 HAS SOUPS 4332 WITH SCORE 4355.601
AT ITER 8958 NEW BEST:: SOT 39264 SOS 23648 HAS SOPS 12333 HAS SOUS 5619 HAS SOUPS 4330 WITH SCORE 4353.648
AT ITER 8972 NEW BEST:: SOT 39254 SOS 23634 HAS SOPS 12321 HAS SOUS 5609 HAS SOUPS 4322 WITH SCORE 4345.634
AT ITER 8976 NEW BEST:: SOT 39251 SOS 23631 HAS SOPS 12318 HAS SOUS 5608 HAS SOUPS 4321 WITH SCORE 4344.631
AT ITER 9072 NEW BEST:: SOT 39223 SOS 23575 HAS SOPS 12281 HAS SOUS 5620 HAS SOUPS 4317 WITH SCORE 4340.575
AT ITER 9169 NEW BEST:: SOT 39187 SOS 23529 HAS SOPS 12233 HAS SOUS 5618 HAS SOUPS 4315 WITH SCORE 4338.529
AT ITER 9207 NEW BEST:: SOT 39148 SOS 23502 HAS SOPS 12189 HAS SOUS 5602 HAS SOUPS 4297 WITH SCORE 4320.502
AT ITER 9247 NEW BEST:: SOT 39151 SOS 23496 HAS SOPS 12183 HAS SOUS 5599 HAS SOUPS 4294 WITH SCORE 4317.496
AT ITER 9258 NEW BEST:: SOT 39165 SOS 23499 HAS SOPS 10792 HAS SOUS 5602 HAS SOUPS 4143 WITH SCORE 4166.499
AT ITER 9328 NEW BEST:: SOT 39154 SOS 23510 HAS SOPS 10631 HAS SOUS 5602 HAS SOUPS 4127 WITH SCORE 4150.51
AT ITER 9334 NEW BEST:: SOT 39154 SOS 23516 HAS SOPS 10627 HAS SOUS 5603 HAS SOUPS 4126 WITH SCORE 4149.516
AT ITER 9349 NEW BEST:: SOT 39153 SOS 23515 HAS SOPS 10625 HAS SOUS 5603 HAS SOUPS 4125 WITH SCORE 4148.515
AT ITER 9449 NEW BEST:: SOT 39150 SOS 23510 HAS SOPS 10620 HAS SOUS 5600 HAS SOUPS 4122 WITH SCORE 4145.51
AT ITER 9779 NEW BEST:: SOT 39146 SOS 23510 HAS SOPS 10588 HAS SOUS 5596 HAS SOUPS 4118 WITH SCORE 4141.51
AT ITER 9783 NEW BEST:: SOT 39134 SOS 23487 HAS SOPS 10570 HAS SOUS 5585 HAS SOUPS 4107 WITH SCORE 4130.487
AT ITER 9834 NEW BEST:: SOT 39145 SOS 23449 HAS SOPS 10532 HAS SOUS 5570 HAS SOUPS 4104 WITH SCORE 4127.449
AT ITER 9894 NEW BEST:: SOT 39147 SOS 23449 HAS SOPS 10532 HAS SOUS 5568 HAS SOUPS 4102 WITH SCORE 4125.449
STATE_SPACE STATES 7091029 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 17 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 508602470 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589143824464

--------------------
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-4a"
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-4a, 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-158901926000304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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