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-158901925900299.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925900299
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 328K
-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 6.3K Mar 24 05:37 GenericPropertiesVerdict.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)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-00
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-01
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-02
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-03
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-04
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-05
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-06
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-07
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-08
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-09
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-10
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-11
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-12
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-13
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-14
FORMULA_NAME CloudDeployment-PT-4a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589142987920

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

GOT IT HERE. BS
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 1 NEW BEST:: SOT 50176 SOS 29168 HAS SOPS 27042 HAS SOUS 23001 HAS SOUPS 21076 WITH SCORE 21105.168
AT ITER 2 NEW BEST:: SOT 50077 SOS 29235 HAS SOPS 27028 HAS SOUS 22951 HAS SOUPS 21062 WITH SCORE 21091.235
AT ITER 10 NEW BEST:: SOT 50074 SOS 29226 HAS SOPS 27019 HAS SOUS 22948 HAS SOUPS 21059 WITH SCORE 21088.226
AT ITER 13 NEW BEST:: SOT 50224 SOS 29209 HAS SOPS 27077 HAS SOUS 22743 HAS SOUPS 20929 WITH SCORE 20958.209
AT ITER 15 NEW BEST:: SOT 50359 SOS 29343 HAS SOPS 27211 HAS SOUS 22697 HAS SOUPS 20883 WITH SCORE 20912.343
AT ITER 19 NEW BEST:: SOT 50317 SOS 29320 HAS SOPS 27188 HAS SOUS 22674 HAS SOUPS 20860 WITH SCORE 20889.32
AT ITER 20 NEW BEST:: SOT 50271 SOS 29182 HAS SOPS 27096 HAS SOUS 22474 HAS SOUPS 20706 WITH SCORE 20735.182
AT ITER 27 NEW BEST:: SOT 50433 SOS 29106 HAS SOPS 27101 HAS SOUS 22066 HAS SOUPS 20379 WITH SCORE 20408.106
AT ITER 28 NEW BEST:: SOT 50502 SOS 29124 HAS SOPS 27149 HAS SOUS 22003 HAS SOUPS 20346 WITH SCORE 20375.124
AT ITER 29 NEW BEST:: SOT 50458 SOS 29065 HAS SOPS 26959 HAS SOUS 22019 HAS SOUPS 20311 WITH SCORE 20340.065
AT ITER 31 NEW BEST:: SOT 50493 SOS 29000 HAS SOPS 26894 HAS SOUS 21915 HAS SOUPS 20207 WITH SCORE 20236.0
AT ITER 37 NEW BEST:: SOT 50643 SOS 28980 HAS SOPS 26874 HAS SOUS 21908 HAS SOUPS 20200 WITH SCORE 20228.98
AT ITER 38 NEW BEST:: SOT 50647 SOS 28965 HAS SOPS 26859 HAS SOUS 21809 HAS SOUPS 20101 WITH SCORE 20129.965
AT ITER 41 NEW BEST:: SOT 50673 SOS 28986 HAS SOPS 26880 HAS SOUS 21758 HAS SOUPS 20050 WITH SCORE 20078.986
AT ITER 43 NEW BEST:: SOT 50651 SOS 29210 HAS SOPS 27104 HAS SOUS 21663 HAS SOUPS 19955 WITH SCORE 19984.21
AT ITER 48 NEW BEST:: SOT 50726 SOS 29266 HAS SOPS 27220 HAS SOUS 21425 HAS SOUPS 19782 WITH SCORE 19811.266
AT ITER 50 NEW BEST:: SOT 51217 SOS 29721 HAS SOPS 27675 HAS SOUS 21363 HAS SOUPS 19720 WITH SCORE 19749.721
AT ITER 56 NEW BEST:: SOT 51504 SOS 29803 HAS SOPS 27834 HAS SOUS 21086 HAS SOUPS 19525 WITH SCORE 19554.803
AT ITER 64 NEW BEST:: SOT 51607 SOS 29870 HAS SOPS 27889 HAS SOUS 21076 HAS SOUPS 19515 WITH SCORE 19544.87
AT ITER 65 NEW BEST:: SOT 51666 SOS 29808 HAS SOPS 27872 HAS SOUS 20813 HAS SOUPS 19297 WITH SCORE 19326.808
AT ITER 66 NEW BEST:: SOT 51685 SOS 29795 HAS SOPS 27842 HAS SOUS 20819 HAS SOUPS 19286 WITH SCORE 19315.795
AT ITER 69 NEW BEST:: SOT 51679 SOS 29783 HAS SOPS 27862 HAS SOUS 20684 HAS SOUPS 19183 WITH SCORE 19212.783
AT ITER 70 NEW BEST:: SOT 51743 SOS 29833 HAS SOPS 27951 HAS SOUS 20564 HAS SOUPS 19102 WITH SCORE 19131.833
AT ITER 72 NEW BEST:: SOT 51743 SOS 29833 HAS SOPS 27951 HAS SOUS 20558 HAS SOUPS 19096 WITH SCORE 19125.833
AT ITER 74 NEW BEST:: SOT 51449 SOS 29738 HAS SOPS 27702 HAS SOUS 20363 HAS SOUPS 18903 WITH SCORE 18932.738
AT ITER 75 NEW BEST:: SOT 51415 SOS 29636 HAS SOPS 27634 HAS SOUS 20261 HAS SOUPS 18835 WITH SCORE 18864.636
AT ITER 76 NEW BEST:: SOT 51531 SOS 29742 HAS SOPS 27798 HAS SOUS 20135 HAS SOUPS 18767 WITH SCORE 18796.742
AT ITER 79 NEW BEST:: SOT 51703 SOS 29703 HAS SOPS 27759 HAS SOUS 19885 HAS SOUPS 18517 WITH SCORE 18546.703
AT ITER 83 NEW BEST:: SOT 51703 SOS 29702 HAS SOPS 27758 HAS SOUS 19884 HAS SOUPS 18516 WITH SCORE 18545.702
AT ITER 86 NEW BEST:: SOT 51847 SOS 29725 HAS SOPS 27781 HAS SOUS 19661 HAS SOUPS 18293 WITH SCORE 18322.725
AT ITER 88 NEW BEST:: SOT 51989 SOS 29820 HAS SOPS 27893 HAS SOUS 19571 HAS SOUPS 18243 WITH SCORE 18272.82
AT ITER 89 NEW BEST:: SOT 51991 SOS 29819 HAS SOPS 27891 HAS SOUS 19570 HAS SOUPS 18241 WITH SCORE 18270.819
AT ITER 92 NEW BEST:: SOT 52011 SOS 29829 HAS SOPS 27901 HAS SOUS 19560 HAS SOUPS 18231 WITH SCORE 18260.829
AT ITER 95 NEW BEST:: SOT 51095 SOS 29605 HAS SOPS 27176 HAS SOUS 18635 HAS SOUPS 17414 WITH SCORE 17443.605
AT ITER 99 NEW BEST:: SOT 51095 SOS 29557 HAS SOPS 27128 HAS SOUS 18620 HAS SOUPS 17399 WITH SCORE 17428.557
AT ITER 101 NEW BEST:: SOT 51074 SOS 29536 HAS SOPS 27107 HAS SOUS 18599 HAS SOUPS 17378 WITH SCORE 17407.536
AT ITER 103 NEW BEST:: SOT 51089 SOS 29551 HAS SOPS 27122 HAS SOUS 18571 HAS SOUPS 17350 WITH SCORE 17379.551
AT ITER 111 NEW BEST:: SOT 51222 SOS 29621 HAS SOPS 27192 HAS SOUS 18404 HAS SOUPS 17183 WITH SCORE 17212.621
AT ITER 115 NEW BEST:: SOT 51241 SOS 29665 HAS SOPS 27236 HAS SOUS 18305 HAS SOUPS 17084 WITH SCORE 17113.665
AT ITER 120 NEW BEST:: SOT 51319 SOS 29646 HAS SOPS 27217 HAS SOUS 18288 HAS SOUPS 17067 WITH SCORE 17096.646
AT ITER 130 NEW BEST:: SOT 51350 SOS 29623 HAS SOPS 27204 HAS SOUS 18261 HAS SOUPS 17045 WITH SCORE 17074.623
AT ITER 132 NEW BEST:: SOT 51368 SOS 29650 HAS SOPS 27231 HAS SOUS 18240 HAS SOUPS 17024 WITH SCORE 17053.65
AT ITER 133 NEW BEST:: SOT 51276 SOS 29628 HAS SOPS 27219 HAS SOUS 18214 HAS SOUPS 17012 WITH SCORE 17041.628
AT ITER 136 NEW BEST:: SOT 51242 SOS 29540 HAS SOPS 27131 HAS SOUS 18078 HAS SOUPS 16876 WITH SCORE 16905.54
AT ITER 138 NEW BEST:: SOT 51388 SOS 29532 HAS SOPS 27123 HAS SOUS 18074 HAS SOUPS 16872 WITH SCORE 16901.532
AT ITER 141 NEW BEST:: SOT 51383 SOS 29517 HAS SOPS 27103 HAS SOUS 18069 HAS SOUPS 16862 WITH SCORE 16891.517
AT ITER 142 NEW BEST:: SOT 51357 SOS 29584 HAS SOPS 27170 HAS SOUS 17092 HAS SOUPS 15885 WITH SCORE 15914.584
AT ITER 143 NEW BEST:: SOT 51206 SOS 29440 HAS SOPS 27051 HAS SOUS 17096 HAS SOUPS 15882 WITH SCORE 15911.44
AT ITER 146 NEW BEST:: SOT 51206 SOS 29432 HAS SOPS 27043 HAS SOUS 17090 HAS SOUPS 15876 WITH SCORE 15905.432
AT ITER 154 NEW BEST:: SOT 51206 SOS 29366 HAS SOPS 26977 HAS SOUS 17068 HAS SOUPS 15854 WITH SCORE 15883.366
AT ITER 155 NEW BEST:: SOT 51348 SOS 29371 HAS SOPS 26982 HAS SOUS 17061 HAS SOUPS 15847 WITH SCORE 15876.371
AT ITER 157 NEW BEST:: SOT 51336 SOS 29358 HAS SOPS 26969 HAS SOUS 17048 HAS SOUPS 15834 WITH SCORE 15863.358
AT ITER 159 NEW BEST:: SOT 51309 SOS 29295 HAS SOPS 26906 HAS SOUS 17039 HAS SOUPS 15825 WITH SCORE 15854.295
AT ITER 162 NEW BEST:: SOT 51264 SOS 29261 HAS SOPS 26872 HAS SOUS 16841 HAS SOUPS 15627 WITH SCORE 15656.261
AT ITER 164 NEW BEST:: SOT 51263 SOS 29259 HAS SOPS 26870 HAS SOUS 16841 HAS SOUPS 15627 WITH SCORE 15656.259
AT ITER 165 NEW BEST:: SOT 51393 SOS 29424 HAS SOPS 27100 HAS SOUS 16741 HAS SOUPS 15592 WITH SCORE 15621.424
AT ITER 166 NEW BEST:: SOT 50900 SOS 28987 HAS SOPS 26710 HAS SOUS 16335 HAS SOUPS 15202 WITH SCORE 15230.987
AT ITER 173 NEW BEST:: SOT 50900 SOS 28969 HAS SOPS 26692 HAS SOUS 16299 HAS SOUPS 15166 WITH SCORE 15194.969
AT ITER 177 NEW BEST:: SOT 50856 SOS 28925 HAS SOPS 26648 HAS SOUS 16255 HAS SOUPS 15122 WITH SCORE 15150.925
AT ITER 178 NEW BEST:: SOT 50992 SOS 29061 HAS SOPS 26852 HAS SOUS 16146 HAS SOUPS 15081 WITH SCORE 15110.061
AT ITER 181 NEW BEST:: SOT 50478 SOS 28588 HAS SOPS 26432 HAS SOUS 15656 HAS SOUPS 14600 WITH SCORE 14628.588
AT ITER 185 NEW BEST:: SOT 50418 SOS 28528 HAS SOPS 26372 HAS SOUS 15656 HAS SOUPS 14600 WITH SCORE 14628.528
AT ITER 189 NEW BEST:: SOT 50417 SOS 28527 HAS SOPS 26371 HAS SOUS 15656 HAS SOUPS 14600 WITH SCORE 14628.527
AT ITER 196 NEW BEST:: SOT 50314 SOS 28498 HAS SOPS 26283 HAS SOUS 15649 HAS SOUPS 14534 WITH SCORE 14562.498
AT ITER 204 NEW BEST:: SOT 50211 SOS 28451 HAS SOPS 26236 HAS SOUS 15641 HAS SOUPS 14526 WITH SCORE 14554.451
AT ITER 209 NEW BEST:: SOT 50203 SOS 28509 HAS SOPS 26294 HAS SOUS 15592 HAS SOUPS 14477 WITH SCORE 14505.509
AT ITER 210 NEW BEST:: SOT 50069 SOS 28475 HAS SOPS 26260 HAS SOUS 15496 HAS SOUPS 14381 WITH SCORE 14409.475
AT ITER 217 NEW BEST:: SOT 50037 SOS 30575 HAS SOPS 28420 HAS SOUS 15428 HAS SOUPS 14313 WITH SCORE 14343.575
AT ITER 227 NEW BEST:: SOT 49960 SOS 30418 HAS SOPS 28263 HAS SOUS 15358 HAS SOUPS 14243 WITH SCORE 14273.418
AT ITER 228 NEW BEST:: SOT 49885 SOS 30268 HAS SOPS 28113 HAS SOUS 15312 HAS SOUPS 14197 WITH SCORE 14227.268
AT ITER 229 NEW BEST:: SOT 49897 SOS 30260 HAS SOPS 28105 HAS SOUS 15302 HAS SOUPS 14187 WITH SCORE 14217.26
AT ITER 259 NEW BEST:: SOT 49900 SOS 30257 HAS SOPS 28102 HAS SOUS 15299 HAS SOUPS 14184 WITH SCORE 14214.257
AT ITER 266 NEW BEST:: SOT 49896 SOS 30253 HAS SOPS 28094 HAS SOUS 15292 HAS SOUPS 14176 WITH SCORE 14206.253
AT ITER 267 NEW BEST:: SOT 49827 SOS 30073 HAS SOPS 27872 HAS SOUS 15268 HAS SOUPS 14110 WITH SCORE 14140.073
AT ITER 268 NEW BEST:: SOT 49831 SOS 30033 HAS SOPS 27832 HAS SOUS 15244 HAS SOUPS 14086 WITH SCORE 14116.033
AT ITER 269 NEW BEST:: SOT 49818 SOS 30020 HAS SOPS 27827 HAS SOUS 15198 HAS SOUPS 14041 WITH SCORE 14071.02
AT ITER 270 NEW BEST:: SOT 49897 SOS 30082 HAS SOPS 27839 HAS SOUS 15213 HAS SOUPS 14005 WITH SCORE 14035.082
AT ITER 280 NEW BEST:: SOT 49831 SOS 30027 HAS SOPS 27795 HAS SOUS 15170 HAS SOUPS 13969 WITH SCORE 13999.027
AT ITER 285 NEW BEST:: SOT 49831 SOS 30027 HAS SOPS 27801 HAS SOUS 15158 HAS SOUPS 13963 WITH SCORE 13993.027
AT ITER 287 NEW BEST:: SOT 49832 SOS 29862 HAS SOPS 27636 HAS SOUS 14902 HAS SOUPS 13707 WITH SCORE 13736.862
AT ITER 289 NEW BEST:: SOT 49832 SOS 29826 HAS SOPS 27591 HAS SOUS 14911 HAS SOUPS 13707 WITH SCORE 13736.826
AT ITER 296 NEW BEST:: SOT 49402 SOS 29652 HAS SOPS 27353 HAS SOUS 14550 HAS SOUPS 13367 WITH SCORE 13396.652
AT ITER 300 NEW BEST:: SOT 49399 SOS 29646 HAS SOPS 27347 HAS SOUS 14507 HAS SOUPS 13324 WITH SCORE 13353.646
AT ITER 301 NEW BEST:: SOT 49403 SOS 29710 HAS SOPS 27310 HAS SOUS 14484 HAS SOUPS 13278 WITH SCORE 13307.71
AT ITER 303 NEW BEST:: SOT 49409 SOS 29701 HAS SOPS 27301 HAS SOUS 14446 HAS SOUPS 13240 WITH SCORE 13269.701
AT ITER 309 NEW BEST:: SOT 49391 SOS 29683 HAS SOPS 27301 HAS SOUS 14392 HAS SOUPS 13204 WITH SCORE 13233.683
AT ITER 313 NEW BEST:: SOT 49334 SOS 29508 HAS SOPS 27065 HAS SOUS 14395 HAS SOUPS 13146 WITH SCORE 13175.508
AT ITER 314 NEW BEST:: SOT 49337 SOS 29410 HAS SOPS 26967 HAS SOUS 14297 HAS SOUPS 13048 WITH SCORE 13077.41
AT ITER 317 NEW BEST:: SOT 49322 SOS 29401 HAS SOPS 26958 HAS SOUS 14297 HAS SOUPS 13048 WITH SCORE 13077.401
AT ITER 321 NEW BEST:: SOT 49322 SOS 29341 HAS SOPS 26898 HAS SOUS 14282 HAS SOUPS 13033 WITH SCORE 13062.341
AT ITER 328 NEW BEST:: SOT 49479 SOS 29495 HAS SOPS 27052 HAS SOUS 14265 HAS SOUPS 13016 WITH SCORE 13045.495
AT ITER 331 NEW BEST:: SOT 49574 SOS 29541 HAS SOPS 27098 HAS SOUS 14262 HAS SOUPS 13013 WITH SCORE 13042.541
AT ITER 333 NEW BEST:: SOT 49594 SOS 29555 HAS SOPS 27111 HAS SOUS 14228 HAS SOUPS 12985 WITH SCORE 13014.555
AT ITER 334 NEW BEST:: SOT 49611 SOS 29557 HAS SOPS 27113 HAS SOUS 14223 HAS SOUPS 12980 WITH SCORE 13009.557
AT ITER 336 NEW BEST:: SOT 49572 SOS 29518 HAS SOPS 27074 HAS SOUS 14184 HAS SOUPS 12941 WITH SCORE 12970.518
AT ITER 338 NEW BEST:: SOT 47910 SOS 29894 HAS SOPS 26218 HAS SOUS 13280 HAS SOUPS 12314 WITH SCORE 12343.894
AT ITER 339 NEW BEST:: SOT 47854 SOS 30071 HAS SOPS 26683 HAS SOUS 13267 HAS SOUPS 12301 WITH SCORE 12331.071
AT ITER 341 NEW BEST:: SOT 47819 SOS 30036 HAS SOPS 26635 HAS SOUS 13183 HAS SOUPS 12217 WITH SCORE 12247.036
AT ITER 342 NEW BEST:: SOT 47990 SOS 30182 HAS SOPS 26781 HAS SOUS 13161 HAS SOUPS 12195 WITH SCORE 12225.182
AT ITER 357 NEW BEST:: SOT 47990 SOS 30176 HAS SOPS 26775 HAS SOUS 13155 HAS SOUPS 12189 WITH SCORE 12219.176
AT ITER 362 NEW BEST:: SOT 47755 SOS 30292 HAS SOPS 26566 HAS SOUS 13017 HAS SOUPS 12078 WITH SCORE 12108.292
AT ITER 365 NEW BEST:: SOT 47745 SOS 30343 HAS SOPS 26617 HAS SOUS 13014 HAS SOUPS 12075 WITH SCORE 12105.343
AT ITER 372 NEW BEST:: SOT 47740 SOS 30315 HAS SOPS 26589 HAS SOUS 12967 HAS SOUPS 12028 WITH SCORE 12058.315
AT ITER 381 NEW BEST:: SOT 47515 SOS 30237 HAS SOPS 26515 HAS SOUS 12952 HAS SOUPS 12013 WITH SCORE 12043.237
AT ITER 386 NEW BEST:: SOT 46857 SOS 29798 HAS SOPS 26076 HAS SOUS 12898 HAS SOUPS 11959 WITH SCORE 11988.798
AT ITER 390 NEW BEST:: SOT 46833 SOS 29782 HAS SOPS 26060 HAS SOUS 12894 HAS SOUPS 11955 WITH SCORE 11984.782
AT ITER 391 NEW BEST:: SOT 46816 SOS 29663 HAS SOPS 25856 HAS SOUS 12940 HAS SOUPS 11916 WITH SCORE 11945.663
AT ITER 395 NEW BEST:: SOT 46726 SOS 27436 HAS SOPS 23481 HAS SOUS 12942 HAS SOUPS 11901 WITH SCORE 11928.436
AT ITER 396 NEW BEST:: SOT 46629 SOS 27312 HAS SOPS 23357 HAS SOUS 12849 HAS SOUPS 11808 WITH SCORE 11835.312
AT ITER 400 NEW BEST:: SOT 46512 SOS 27250 HAS SOPS 23272 HAS SOUS 12794 HAS SOUPS 11753 WITH SCORE 11780.25
AT ITER 403 NEW BEST:: SOT 46471 SOS 27192 HAS SOPS 23236 HAS SOUS 12741 HAS SOUPS 11711 WITH SCORE 11738.192
AT ITER 414 NEW BEST:: SOT 46468 SOS 27195 HAS SOPS 23168 HAS SOUS 12726 HAS SOUPS 11696 WITH SCORE 11723.195
AT ITER 416 NEW BEST:: SOT 46470 SOS 27214 HAS SOPS 23162 HAS SOUS 12717 HAS SOUPS 11682 WITH SCORE 11709.214
AT ITER 418 NEW BEST:: SOT 46441 SOS 26942 HAS SOPS 22890 HAS SOUS 12570 HAS SOUPS 11535 WITH SCORE 11561.942
AT ITER 421 NEW BEST:: SOT 46415 SOS 26903 HAS SOPS 22838 HAS SOUS 12559 HAS SOUPS 11511 WITH SCORE 11537.903
AT ITER 435 NEW BEST:: SOT 45881 SOS 26541 HAS SOPS 22591 HAS SOUS 12297 HAS SOUPS 11264 WITH SCORE 11290.541
AT ITER 439 NEW BEST:: SOT 46039 SOS 26677 HAS SOPS 22727 HAS SOUS 12253 HAS SOUPS 11220 WITH SCORE 11246.677
AT ITER 440 NEW BEST:: SOT 46020 SOS 26678 HAS SOPS 22615 HAS SOUS 12283 HAS SOUPS 11213 WITH SCORE 11239.678
AT ITER 441 NEW BEST:: SOT 46032 SOS 26664 HAS SOPS 22601 HAS SOUS 12269 HAS SOUPS 11199 WITH SCORE 11225.664
AT ITER 444 NEW BEST:: SOT 45885 SOS 26560 HAS SOPS 22497 HAS SOUS 11674 HAS SOUPS 10604 WITH SCORE 10630.56
AT ITER 448 NEW BEST:: SOT 45879 SOS 26558 HAS SOPS 22485 HAS SOUS 11683 HAS SOUPS 10603 WITH SCORE 10629.558
AT ITER 451 NEW BEST:: SOT 46000 SOS 26679 HAS SOPS 22606 HAS SOUS 11573 HAS SOUPS 10493 WITH SCORE 10519.679
AT ITER 455 NEW BEST:: SOT 46017 SOS 26655 HAS SOPS 22582 HAS SOUS 11550 HAS SOUPS 10470 WITH SCORE 10496.655
AT ITER 456 NEW BEST:: SOT 45996 SOS 26637 HAS SOPS 22564 HAS SOUS 11544 HAS SOUPS 10464 WITH SCORE 10490.637
AT ITER 458 NEW BEST:: SOT 45887 SOS 26537 HAS SOPS 22446 HAS SOUS 11464 HAS SOUPS 10384 WITH SCORE 10410.537
AT ITER 464 NEW BEST:: SOT 45843 SOS 26505 HAS SOPS 22408 HAS SOUS 11426 HAS SOUPS 10346 WITH SCORE 10372.505
AT ITER 467 NEW BEST:: SOT 45844 SOS 26485 HAS SOPS 22388 HAS SOUS 11377 HAS SOUPS 10297 WITH SCORE 10323.485
AT ITER 469 NEW BEST:: SOT 45812 SOS 26481 HAS SOPS 22372 HAS SOUS 11376 HAS SOUPS 10296 WITH SCORE 10322.481
AT ITER 470 NEW BEST:: SOT 45762 SOS 26495 HAS SOPS 22386 HAS SOUS 11364 HAS SOUPS 10284 WITH SCORE 10310.495
AT ITER 478 NEW BEST:: SOT 45780 SOS 26521 HAS SOPS 22404 HAS SOUS 11362 HAS SOUPS 10282 WITH SCORE 10308.521
AT ITER 479 NEW BEST:: SOT 45780 SOS 26522 HAS SOPS 22404 HAS SOUS 11361 HAS SOUPS 10281 WITH SCORE 10307.522
AT ITER 488 NEW BEST:: SOT 45774 SOS 26516 HAS SOPS 22398 HAS SOUS 11355 HAS SOUPS 10275 WITH SCORE 10301.516
AT ITER 490 NEW BEST:: SOT 45675 SOS 26417 HAS SOPS 22380 HAS SOUS 11328 HAS SOUPS 10248 WITH SCORE 10274.417
AT ITER 494 NEW BEST:: SOT 45911 SOS 26691 HAS SOPS 22654 HAS SOUS 11105 HAS SOUPS 10025 WITH SCORE 10051.691
AT ITER 503 NEW BEST:: SOT 45845 SOS 26581 HAS SOPS 22566 HAS SOUS 11105 HAS SOUPS 10025 WITH SCORE 10051.581
AT ITER 508 NEW BEST:: SOT 45248 SOS 26580 HAS SOPS 21827 HAS SOUS 10558 HAS SOUPS 9462 WITH SCORE 9488.58
AT ITER 511 NEW BEST:: SOT 45105 SOS 27051 HAS SOPS 21621 HAS SOUS 10596 HAS SOUPS 9445 WITH SCORE 9472.051
AT ITER 514 NEW BEST:: SOT 45113 SOS 27060 HAS SOPS 21638 HAS SOUS 10580 HAS SOUPS 9429 WITH SCORE 9456.06
AT ITER 515 NEW BEST:: SOT 45123 SOS 27075 HAS SOPS 21661 HAS SOUS 10573 HAS SOUPS 9422 WITH SCORE 9449.075
AT ITER 520 NEW BEST:: SOT 45116 SOS 27068 HAS SOPS 21654 HAS SOUS 10573 HAS SOUPS 9422 WITH SCORE 9449.068
AT ITER 522 NEW BEST:: SOT 45006 SOS 26899 HAS SOPS 21487 HAS SOUS 10383 HAS SOUPS 9276 WITH SCORE 9302.899
AT ITER 526 NEW BEST:: SOT 44251 SOS 26211 HAS SOPS 21255 HAS SOUS 9970 HAS SOUPS 8964 WITH SCORE 8990.211
AT ITER 535 NEW BEST:: SOT 44257 SOS 26144 HAS SOPS 21189 HAS SOUS 9932 HAS SOUPS 8926 WITH SCORE 8952.144
AT ITER 536 NEW BEST:: SOT 44157 SOS 26056 HAS SOPS 21136 HAS SOUS 9818 HAS SOUPS 8812 WITH SCORE 8838.056
AT ITER 539 NEW BEST:: SOT 44156 SOS 26034 HAS SOPS 21114 HAS SOUS 9805 HAS SOUPS 8799 WITH SCORE 8825.034
AT ITER 545 NEW BEST:: SOT 44138 SOS 26016 HAS SOPS 21096 HAS SOUS 9797 HAS SOUPS 8791 WITH SCORE 8817.016
AT ITER 552 NEW BEST:: SOT 45628 SOS 27610 HAS SOPS 22690 HAS SOUS 9473 HAS SOUPS 8467 WITH SCORE 8494.61
AT ITER 556 NEW BEST:: SOT 45657 SOS 27623 HAS SOPS 22709 HAS SOUS 9449 HAS SOUPS 8449 WITH SCORE 8476.623
AT ITER 558 NEW BEST:: SOT 45654 SOS 27620 HAS SOPS 22742 HAS SOUS 9431 HAS SOUPS 8431 WITH SCORE 8458.62
AT ITER 564 NEW BEST:: SOT 45642 SOS 27596 HAS SOPS 22718 HAS SOUS 9419 HAS SOUPS 8419 WITH SCORE 8446.596
AT ITER 567 NEW BEST:: SOT 45642 SOS 27672 HAS SOPS 22689 HAS SOUS 9413 HAS SOUPS 8378 WITH SCORE 8405.672
AT ITER 570 NEW BEST:: SOT 44984 SOS 26990 HAS SOPS 22007 HAS SOUS 9205 HAS SOUPS 8170 WITH SCORE 8196.99
AT ITER 573 NEW BEST:: SOT 44984 SOS 26990 HAS SOPS 22007 HAS SOUS 9204 HAS SOUPS 8169 WITH SCORE 8195.99
AT ITER 584 NEW BEST:: SOT 44960 SOS 26970 HAS SOPS 21992 HAS SOUS 9192 HAS SOUPS 8157 WITH SCORE 8183.97
AT ITER 594 NEW BEST:: SOT 44993 SOS 27903 HAS SOPS 21951 HAS SOUS 9186 HAS SOUPS 8146 WITH SCORE 8173.903
AT ITER 597 NEW BEST:: SOT 44855 SOS 27778 HAS SOPS 21798 HAS SOUS 9050 HAS SOUPS 8010 WITH SCORE 8037.778
AT ITER 606 NEW BEST:: SOT 44814 SOS 27696 HAS SOPS 21716 HAS SOUS 9027 HAS SOUPS 7987 WITH SCORE 8014.696
AT ITER 609 NEW BEST:: SOT 44505 SOS 27571 HAS SOPS 21701 HAS SOUS 9004 HAS SOUPS 7972 WITH SCORE 7999.571
AT ITER 612 NEW BEST:: SOT 44479 SOS 27507 HAS SOPS 21677 HAS SOUS 8981 HAS SOUPS 7960 WITH SCORE 7987.507
AT ITER 620 NEW BEST:: SOT 44514 SOS 26073 HAS SOPS 21726 HAS SOUS 8901 HAS SOUPS 7928 WITH SCORE 7954.073
AT ITER 634 NEW BEST:: SOT 44514 SOS 26073 HAS SOPS 21726 HAS SOUS 8899 HAS SOUPS 7926 WITH SCORE 7952.073
AT ITER 639 NEW BEST:: SOT 44491 SOS 26076 HAS SOPS 21704 HAS SOUS 8890 HAS SOUPS 7917 WITH SCORE 7943.076
AT ITER 640 NEW BEST:: SOT 44473 SOS 26190 HAS SOPS 21692 HAS SOUS 8872 HAS SOUPS 7905 WITH SCORE 7931.19
AT ITER 643 NEW BEST:: SOT 44469 SOS 26178 HAS SOPS 21680 HAS SOUS 8868 HAS SOUPS 7901 WITH SCORE 7927.178
AT ITER 645 NEW BEST:: SOT 44469 SOS 26174 HAS SOPS 21676 HAS SOUS 8860 HAS SOUPS 7893 WITH SCORE 7919.174
AT ITER 663 NEW BEST:: SOT 44428 SOS 26217 HAS SOPS 21628 HAS SOUS 8868 HAS SOUPS 7888 WITH SCORE 7914.217
AT ITER 665 NEW BEST:: SOT 44428 SOS 26165 HAS SOPS 21576 HAS SOUS 8842 HAS SOUPS 7862 WITH SCORE 7888.165
AT ITER 674 NEW BEST:: SOT 44477 SOS 26222 HAS SOPS 21631 HAS SOUS 8840 HAS SOUPS 7860 WITH SCORE 7886.222
AT ITER 681 NEW BEST:: SOT 44423 SOS 26196 HAS SOPS 21622 HAS SOUS 8808 HAS SOUPS 7836 WITH SCORE 7862.196
AT ITER 684 NEW BEST:: SOT 44420 SOS 26187 HAS SOPS 21616 HAS SOUS 8806 HAS SOUPS 7830 WITH SCORE 7856.187
AT ITER 685 NEW BEST:: SOT 44415 SOS 26182 HAS SOPS 21606 HAS SOUS 8797 HAS SOUPS 7820 WITH SCORE 7846.182
AT ITER 686 NEW BEST:: SOT 44418 SOS 26185 HAS SOPS 21606 HAS SOUS 8794 HAS SOUPS 7817 WITH SCORE 7843.185
AT ITER 687 NEW BEST:: SOT 44373 SOS 26179 HAS SOPS 21581 HAS SOUS 8776 HAS SOUPS 7799 WITH SCORE 7825.179
AT ITER 688 NEW BEST:: SOT 44362 SOS 26338 HAS SOPS 21577 HAS SOUS 8763 HAS SOUPS 7789 WITH SCORE 7815.338
AT ITER 707 NEW BEST:: SOT 44267 SOS 26251 HAS SOPS 21549 HAS SOUS 8721 HAS SOUPS 7747 WITH SCORE 7773.251
AT ITER 715 NEW BEST:: SOT 44429 SOS 26334 HAS SOPS 21608 HAS SOUS 8684 HAS SOUPS 7727 WITH SCORE 7753.334
AT ITER 716 NEW BEST:: SOT 44435 SOS 26290 HAS SOPS 21564 HAS SOUS 8668 HAS SOUPS 7711 WITH SCORE 7737.29
AT ITER 721 NEW BEST:: SOT 44459 SOS 26302 HAS SOPS 21588 HAS SOUS 8644 HAS SOUPS 7699 WITH SCORE 7725.302
AT ITER 739 NEW BEST:: SOT 44495 SOS 26254 HAS SOPS 21630 HAS SOUS 8632 HAS SOUPS 7699 WITH SCORE 7725.254
AT ITER 742 NEW BEST:: SOT 44524 SOS 26289 HAS SOPS 21665 HAS SOUS 8629 HAS SOUPS 7696 WITH SCORE 7722.289
AT ITER 748 NEW BEST:: SOT 44511 SOS 25961 HAS SOPS 21307 HAS SOUS 8609 HAS SOUPS 7658 WITH SCORE 7683.961
AT ITER 749 NEW BEST:: SOT 44496 SOS 26867 HAS SOPS 22445 HAS SOUS 8584 HAS SOUPS 7640 WITH SCORE 7666.867
AT ITER 760 NEW BEST:: SOT 44465 SOS 26836 HAS SOPS 22400 HAS SOUS 8506 HAS SOUPS 7562 WITH SCORE 7588.836
AT ITER 763 NEW BEST:: SOT 44465 SOS 26826 HAS SOPS 22380 HAS SOUS 8486 HAS SOUPS 7542 WITH SCORE 7568.826
AT ITER 764 NEW BEST:: SOT 44461 SOS 26818 HAS SOPS 22372 HAS SOUS 8482 HAS SOUPS 7538 WITH SCORE 7564.818
AT ITER 775 NEW BEST:: SOT 44465 SOS 26746 HAS SOPS 22300 HAS SOUS 8446 HAS SOUPS 7502 WITH SCORE 7528.746
AT ITER 781 NEW BEST:: SOT 44145 SOS 26426 HAS SOPS 21984 HAS SOUS 8166 HAS SOUPS 7222 WITH SCORE 7248.426
AT ITER 782 NEW BEST:: SOT 44122 SOS 26272 HAS SOPS 21737 HAS SOUS 8118 HAS SOUPS 7174 WITH SCORE 7200.272
AT ITER 796 NEW BEST:: SOT 44034 SOS 26241 HAS SOPS 21706 HAS SOUS 8088 HAS SOUPS 7144 WITH SCORE 7170.241
AT ITER 800 NEW BEST:: SOT 43982 SOS 26187 HAS SOPS 21650 HAS SOUS 8082 HAS SOUPS 7138 WITH SCORE 7164.187
AT ITER 807 NEW BEST:: SOT 43971 SOS 25127 HAS SOPS 20311 HAS SOUS 8066 HAS SOUPS 7112 WITH SCORE 7137.127
AT ITER 836 NEW BEST:: SOT 43970 SOS 25124 HAS SOPS 20309 HAS SOUS 8066 HAS SOUPS 7111 WITH SCORE 7136.124
AT ITER 847 NEW BEST:: SOT 43960 SOS 25081 HAS SOPS 20267 HAS SOUS 8035 HAS SOUPS 7080 WITH SCORE 7105.081
AT ITER 848 NEW BEST:: SOT 43934 SOS 25051 HAS SOPS 20246 HAS SOUS 8024 HAS SOUPS 7069 WITH SCORE 7094.051
AT ITER 852 NEW BEST:: SOT 43843 SOS 25194 HAS SOPS 20246 HAS SOUS 8011 HAS SOUPS 7043 WITH SCORE 7068.194
AT ITER 857 NEW BEST:: SOT 43854 SOS 25192 HAS SOPS 20244 HAS SOUS 8010 HAS SOUPS 7042 WITH SCORE 7067.192
AT ITER 864 NEW BEST:: SOT 43780 SOS 25172 HAS SOPS 20224 HAS SOUS 7987 HAS SOUPS 7019 WITH SCORE 7044.172
AT ITER 869 NEW BEST:: SOT 43897 SOS 25174 HAS SOPS 20197 HAS SOUS 7977 HAS SOUPS 7009 WITH SCORE 7034.174
AT ITER 876 NEW BEST:: SOT 43838 SOS 25113 HAS SOPS 20153 HAS SOUS 7975 HAS SOUPS 7007 WITH SCORE 7032.113
AT ITER 878 NEW BEST:: SOT 43854 SOS 25113 HAS SOPS 20153 HAS SOUS 7959 HAS SOUPS 6991 WITH SCORE 7016.113
AT ITER 879 NEW BEST:: SOT 43854 SOS 25112 HAS SOPS 20152 HAS SOUS 7958 HAS SOUPS 6990 WITH SCORE 7015.112
AT ITER 883 NEW BEST:: SOT 43837 SOS 23398 HAS SOPS 17574 HAS SOUS 7941 HAS SOUPS 6879 WITH SCORE 6902.398
AT ITER 888 NEW BEST:: SOT 43668 SOS 23313 HAS SOPS 17471 HAS SOUS 7916 HAS SOUPS 6862 WITH SCORE 6885.313
AT ITER 897 NEW BEST:: SOT 43712 SOS 23321 HAS SOPS 17479 HAS SOUS 7910 HAS SOUPS 6856 WITH SCORE 6879.321
AT ITER 908 NEW BEST:: SOT 43375 SOS 24882 HAS SOPS 17379 HAS SOUS 7968 HAS SOUPS 6817 WITH SCORE 6841.882
AT ITER 909 NEW BEST:: SOT 43311 SOS 24846 HAS SOPS 17379 HAS SOUS 7968 HAS SOUPS 6817 WITH SCORE 6841.846
AT ITER 915 NEW BEST:: SOT 43323 SOS 24834 HAS SOPS 17379 HAS SOUS 7968 HAS SOUPS 6817 WITH SCORE 6841.834
AT ITER 919 NEW BEST:: SOT 43168 SOS 24691 HAS SOPS 17271 HAS SOUS 7955 HAS SOUPS 6813 WITH SCORE 6837.691
AT ITER 920 NEW BEST:: SOT 43168 SOS 24687 HAS SOPS 17267 HAS SOUS 7951 HAS SOUPS 6809 WITH SCORE 6833.687
AT ITER 927 NEW BEST:: SOT 43151 SOS 24670 HAS SOPS 17233 HAS SOUS 7917 HAS SOUPS 6775 WITH SCORE 6799.67
AT ITER 947 NEW BEST:: SOT 43147 SOS 24666 HAS SOPS 17227 HAS SOUS 7905 HAS SOUPS 6763 WITH SCORE 6787.666
AT ITER 952 NEW BEST:: SOT 43044 SOS 24564 HAS SOPS 17060 HAS SOUS 7892 HAS SOUPS 6730 WITH SCORE 6754.564
AT ITER 964 NEW BEST:: SOT 42874 SOS 24497 HAS SOPS 17060 HAS SOUS 7869 HAS SOUPS 6710 WITH SCORE 6734.497
AT ITER 976 NEW BEST:: SOT 43126 SOS 23922 HAS SOPS 17060 HAS SOUS 7895 HAS SOUPS 6710 WITH SCORE 6733.922
AT ITER 983 NEW BEST:: SOT 43118 SOS 24106 HAS SOPS 17380 HAS SOUS 7861 HAS SOUPS 6694 WITH SCORE 6718.106
AT ITER 995 NEW BEST:: SOT 43118 SOS 24091 HAS SOPS 17390 HAS SOUS 7856 HAS SOUPS 6694 WITH SCORE 6718.091
AT ITER 1008 NEW BEST:: SOT 43102 SOS 24077 HAS SOPS 17376 HAS SOUS 7844 HAS SOUPS 6682 WITH SCORE 6706.077
AT ITER 1024 NEW BEST:: SOT 43082 SOS 23309 HAS SOPS 17378 HAS SOUS 7823 HAS SOUPS 6675 WITH SCORE 6698.309
AT ITER 1032 NEW BEST:: SOT 42973 SOS 23200 HAS SOPS 17291 HAS SOUS 7808 HAS SOUPS 6668 WITH SCORE 6691.2
AT ITER 1058 NEW BEST:: SOT 42965 SOS 23180 HAS SOPS 17271 HAS SOUS 7796 HAS SOUPS 6656 WITH SCORE 6679.18
AT ITER 1061 NEW BEST:: SOT 42988 SOS 23226 HAS SOPS 17285 HAS SOUS 7770 HAS SOUPS 6635 WITH SCORE 6658.226
AT ITER 1064 NEW BEST:: SOT 42961 SOS 23206 HAS SOPS 17265 HAS SOUS 7777 HAS SOUPS 6634 WITH SCORE 6657.206
AT ITER 1067 NEW BEST:: SOT 42956 SOS 23199 HAS SOPS 17259 HAS SOUS 7771 HAS SOUPS 6628 WITH SCORE 6651.199
AT ITER 1073 NEW BEST:: SOT 42976 SOS 24802 HAS SOPS 17197 HAS SOUS 7823 HAS SOUPS 6608 WITH SCORE 6632.802
AT ITER 1074 NEW BEST:: SOT 42969 SOS 24795 HAS SOPS 17151 HAS SOUS 7802 HAS SOUPS 6581 WITH SCORE 6605.795
AT ITER 1084 NEW BEST:: SOT 42889 SOS 24932 HAS SOPS 17151 HAS SOUS 7766 HAS SOUPS 6570 WITH SCORE 6594.932
AT ITER 1094 NEW BEST:: SOT 42889 SOS 24932 HAS SOPS 17157 HAS SOUS 7754 HAS SOUPS 6564 WITH SCORE 6588.932
AT ITER 1104 NEW BEST:: SOT 42785 SOS 24999 HAS SOPS 17158 HAS SOUS 7747 HAS SOUPS 6557 WITH SCORE 6581.999
AT ITER 1107 NEW BEST:: SOT 42785 SOS 25029 HAS SOPS 17138 HAS SOUS 7747 HAS SOUPS 6547 WITH SCORE 6572.029
AT ITER 1114 NEW BEST:: SOT 42742 SOS 25016 HAS SOPS 17114 HAS SOUS 7738 HAS SOUPS 6538 WITH SCORE 6563.016
AT ITER 1116 NEW BEST:: SOT 42703 SOS 24131 HAS SOPS 14468 HAS SOUS 7745 HAS SOUPS 6354 WITH SCORE 6378.131
AT ITER 1125 NEW BEST:: SOT 42695 SOS 24123 HAS SOPS 14460 HAS SOUS 7737 HAS SOUPS 6346 WITH SCORE 6370.123
AT ITER 1127 NEW BEST:: SOT 42691 SOS 24119 HAS SOPS 14456 HAS SOUS 7733 HAS SOUPS 6342 WITH SCORE 6366.119
AT ITER 1129 NEW BEST:: SOT 42632 SOS 26041 HAS SOPS 14433 HAS SOUS 7800 HAS SOUPS 6340 WITH SCORE 6366.041
AT ITER 1145 NEW BEST:: SOT 42621 SOS 26014 HAS SOPS 14406 HAS SOUS 7787 HAS SOUPS 6327 WITH SCORE 6353.014
AT ITER 1146 NEW BEST:: SOT 42602 SOS 25476 HAS SOPS 11774 HAS SOUS 7684 HAS SOUPS 5922 WITH SCORE 5947.476
AT ITER 1151 NEW BEST:: SOT 42575 SOS 25458 HAS SOPS 11756 HAS SOUS 7675 HAS SOUPS 5913 WITH SCORE 5938.458
AT ITER 1169 NEW BEST:: SOT 42536 SOS 25418 HAS SOPS 11751 HAS SOUS 7706 HAS SOUPS 5907 WITH SCORE 5932.418
AT ITER 1176 NEW BEST:: SOT 42225 SOS 25366 HAS SOPS 11747 HAS SOUS 7758 HAS SOUPS 5897 WITH SCORE 5922.366
AT ITER 1187 NEW BEST:: SOT 42209 SOS 24895 HAS SOPS 11740 HAS SOUS 7727 HAS SOUPS 5882 WITH SCORE 5906.895
AT ITER 1189 NEW BEST:: SOT 42203 SOS 24873 HAS SOPS 10718 HAS SOUS 7793 HAS SOUPS 5765 WITH SCORE 5789.873
AT ITER 1195 NEW BEST:: SOT 42217 SOS 24836 HAS SOPS 10712 HAS SOUS 7753 HAS SOUPS 5753 WITH SCORE 5777.836
AT ITER 1204 NEW BEST:: SOT 41376 SOS 24363 HAS SOPS 10760 HAS SOUS 7642 HAS SOUPS 5751 WITH SCORE 5775.363
AT ITER 1205 NEW BEST:: SOT 41157 SOS 24588 HAS SOPS 10599 HAS SOUS 7524 HAS SOUPS 5662 WITH SCORE 5686.588
AT ITER 1220 NEW BEST:: SOT 41223 SOS 23407 HAS SOPS 10599 HAS SOUS 7458 HAS SOUPS 5658 WITH SCORE 5681.407
AT ITER 1224 NEW BEST:: SOT 41233 SOS 23417 HAS SOPS 10604 HAS SOUS 7453 HAS SOUPS 5653 WITH SCORE 5676.417
AT ITER 1229 NEW BEST:: SOT 41223 SOS 23397 HAS SOPS 10584 HAS SOUS 7443 HAS SOUPS 5643 WITH SCORE 5666.397
AT ITER 1230 NEW BEST:: SOT 41220 SOS 23394 HAS SOPS 10578 HAS SOUS 7434 HAS SOUPS 5637 WITH SCORE 5660.394
AT ITER 1240 NEW BEST:: SOT 41193 SOS 23367 HAS SOPS 10552 HAS SOUS 7406 HAS SOUPS 5609 WITH SCORE 5632.367
AT ITER 1246 NEW BEST:: SOT 41214 SOS 23366 HAS SOPS 10594 HAS SOUS 7394 HAS SOUPS 5608 WITH SCORE 5631.366
AT ITER 1271 NEW BEST:: SOT 41201 SOS 23353 HAS SOPS 10581 HAS SOUS 7394 HAS SOUPS 5608 WITH SCORE 5631.353
AT ITER 1294 NEW BEST:: SOT 41368 SOS 23381 HAS SOPS 10579 HAS SOUS 7393 HAS SOUPS 5603 WITH SCORE 5626.381
AT ITER 1296 NEW BEST:: SOT 41364 SOS 23378 HAS SOPS 10576 HAS SOUS 7391 HAS SOUPS 5601 WITH SCORE 5624.378
AT ITER 1299 NEW BEST:: SOT 41275 SOS 23307 HAS SOPS 10480 HAS SOUS 7276 HAS SOUPS 5486 WITH SCORE 5509.307
AT ITER 1300 NEW BEST:: SOT 41277 SOS 23305 HAS SOPS 10478 HAS SOUS 7272 HAS SOUPS 5482 WITH SCORE 5505.305
AT ITER 1311 NEW BEST:: SOT 41273 SOS 23257 HAS SOPS 10420 HAS SOUS 7246 HAS SOUPS 5456 WITH SCORE 5479.257
AT ITER 1350 NEW BEST:: SOT 41272 SOS 23250 HAS SOPS 10412 HAS SOUS 7250 HAS SOUPS 5454 WITH SCORE 5477.25
AT ITER 1355 NEW BEST:: SOT 41272 SOS 23248 HAS SOPS 10410 HAS SOUS 7250 HAS SOUPS 5454 WITH SCORE 5477.248
AT ITER 1372 NEW BEST:: SOT 41258 SOS 23226 HAS SOPS 10406 HAS SOUS 7238 HAS SOUPS 5448 WITH SCORE 5471.226
AT ITER 1380 NEW BEST:: SOT 41250 SOS 23219 HAS SOPS 10398 HAS SOUS 7230 HAS SOUPS 5440 WITH SCORE 5463.219
AT ITER 1382 NEW BEST:: SOT 41028 SOS 23399 HAS SOPS 10374 HAS SOUS 7222 HAS SOUPS 5396 WITH SCORE 5419.399
AT ITER 1391 NEW BEST:: SOT 40962 SOS 23351 HAS SOPS 9975 HAS SOUS 7210 HAS SOUPS 5318 WITH SCORE 5341.351
AT ITER 1398 NEW BEST:: SOT 40932 SOS 23267 HAS SOPS 9977 HAS SOUS 7183 HAS SOUPS 5290 WITH SCORE 5313.267
AT ITER 1400 NEW BEST:: SOT 40858 SOS 23211 HAS SOPS 9921 HAS SOUS 7139 HAS SOUPS 5246 WITH SCORE 5269.211
AT ITER 1408 NEW BEST:: SOT 40858 SOS 23232 HAS SOPS 9942 HAS SOUS 7137 HAS SOUPS 5244 WITH SCORE 5267.232
AT ITER 1410 NEW BEST:: SOT 40864 SOS 23248 HAS SOPS 9950 HAS SOUS 7141 HAS SOUPS 5231 WITH SCORE 5254.248
AT ITER 1429 NEW BEST:: SOT 40904 SOS 23208 HAS SOPS 9910 HAS SOUS 7122 HAS SOUPS 5212 WITH SCORE 5235.208
AT ITER 1431 NEW BEST:: SOT 41310 SOS 23407 HAS SOPS 9964 HAS SOUS 7188 HAS SOUPS 5209 WITH SCORE 5232.407
AT ITER 1444 NEW BEST:: SOT 41306 SOS 23399 HAS SOPS 9959 HAS SOUS 7185 HAS SOUPS 5206 WITH SCORE 5229.399
AT ITER 1457 NEW BEST:: SOT 41288 SOS 23381 HAS SOPS 9935 HAS SOUS 7161 HAS SOUPS 5182 WITH SCORE 5205.381
AT ITER 1467 NEW BEST:: SOT 41290 SOS 23377 HAS SOPS 9931 HAS SOUS 7157 HAS SOUPS 5178 WITH SCORE 5201.377
AT ITER 1490 NEW BEST:: SOT 41267 SOS 23375 HAS SOPS 9951 HAS SOUS 7146 HAS SOUPS 5178 WITH SCORE 5201.375
AT ITER 1504 NEW BEST:: SOT 41277 SOS 23783 HAS SOPS 9884 HAS SOUS 7166 HAS SOUPS 5177 WITH SCORE 5200.783
AT ITER 1510 NEW BEST:: SOT 41265 SOS 23771 HAS SOPS 9860 HAS SOUS 7142 HAS SOUPS 5141 WITH SCORE 5164.771
AT ITER 1518 NEW BEST:: SOT 41260 SOS 23766 HAS SOPS 9919 HAS SOUS 7107 HAS SOUPS 5131 WITH SCORE 5154.766
AT ITER 1527 NEW BEST:: SOT 41259 SOS 23771 HAS SOPS 9917 HAS SOUS 7101 HAS SOUPS 5129 WITH SCORE 5152.771
AT ITER 1543 NEW BEST:: SOT 41241 SOS 23771 HAS SOPS 9653 HAS SOUS 7109 HAS SOUPS 5091 WITH SCORE 5114.771
AT ITER 1579 NEW BEST:: SOT 41220 SOS 23756 HAS SOPS 9653 HAS SOUS 7109 HAS SOUPS 5091 WITH SCORE 5114.756
AT ITER 1587 NEW BEST:: SOT 41194 SOS 23721 HAS SOPS 9620 HAS SOUS 7086 HAS SOUPS 5060 WITH SCORE 5083.721
AT ITER 1592 NEW BEST:: SOT 41179 SOS 23714 HAS SOPS 9608 HAS SOUS 7074 HAS SOUPS 5048 WITH SCORE 5071.714
AT ITER 1593 NEW BEST:: SOT 41082 SOS 24295 HAS SOPS 9582 HAS SOUS 7086 HAS SOUPS 5028 WITH SCORE 5052.295
AT ITER 1637 NEW BEST:: SOT 41082 SOS 24287 HAS SOPS 9574 HAS SOUS 7082 HAS SOUPS 5024 WITH SCORE 5048.287
AT ITER 1651 NEW BEST:: SOT 41117 SOS 24293 HAS SOPS 9578 HAS SOUS 7069 HAS SOUPS 5011 WITH SCORE 5035.293
AT ITER 1657 NEW BEST:: SOT 41013 SOS 24185 HAS SOPS 9466 HAS SOUS 7045 HAS SOUPS 4987 WITH SCORE 5011.185
AT ITER 1659 NEW BEST:: SOT 41015 SOS 24179 HAS SOPS 9458 HAS SOUS 7045 HAS SOUPS 4987 WITH SCORE 5011.179
AT ITER 1670 NEW BEST:: SOT 41013 SOS 24174 HAS SOPS 9453 HAS SOUS 7040 HAS SOUPS 4982 WITH SCORE 5006.174
AT ITER 1671 NEW BEST:: SOT 40993 SOS 24154 HAS SOPS 9526 HAS SOUS 7020 HAS SOUPS 4982 WITH SCORE 5006.154
AT ITER 1672 NEW BEST:: SOT 40993 SOS 24160 HAS SOPS 9520 HAS SOUS 7020 HAS SOUPS 4976 WITH SCORE 5000.16
AT ITER 1716 NEW BEST:: SOT 41004 SOS 24119 HAS SOPS 9479 HAS SOUS 7008 HAS SOUPS 4964 WITH SCORE 4988.119
AT ITER 1720 NEW BEST:: SOT 41103 SOS 24201 HAS SOPS 9531 HAS SOUS 6993 HAS SOUPS 4946 WITH SCORE 4970.201
AT ITER 1736 NEW BEST:: SOT 41090 SOS 24210 HAS SOPS 9484 HAS SOUS 6996 HAS SOUPS 4942 WITH SCORE 4966.21
AT ITER 1755 NEW BEST:: SOT 41093 SOS 24189 HAS SOPS 9460 HAS SOUS 6996 HAS SOUPS 4936 WITH SCORE 4960.189
AT ITER 1758 NEW BEST:: SOT 41076 SOS 24182 HAS SOPS 9460 HAS SOUS 6994 HAS SOUPS 4936 WITH SCORE 4960.182
AT ITER 1767 NEW BEST:: SOT 41059 SOS 24148 HAS SOPS 9440 HAS SOUS 6991 HAS SOUPS 4919 WITH SCORE 4943.148
AT ITER 1796 NEW BEST:: SOT 41066 SOS 24180 HAS SOPS 9466 HAS SOUS 6975 HAS SOUPS 4915 WITH SCORE 4939.18
AT ITER 1805 NEW BEST:: SOT 41062 SOS 24180 HAS SOPS 9472 HAS SOUS 6971 HAS SOUPS 4913 WITH SCORE 4937.18
AT ITER 1821 NEW BEST:: SOT 41049 SOS 24165 HAS SOPS 9457 HAS SOUS 6937 HAS SOUPS 4879 WITH SCORE 4903.165
AT ITER 1876 NEW BEST:: SOT 41020 SOS 24087 HAS SOPS 9441 HAS SOUS 6877 HAS SOUPS 4845 WITH SCORE 4869.087
AT ITER 1895 NEW BEST:: SOT 41025 SOS 24082 HAS SOPS 9441 HAS SOUS 6877 HAS SOUPS 4845 WITH SCORE 4869.082
AT ITER 1897 NEW BEST:: SOT 40810 SOS 23964 HAS SOPS 9419 HAS SOUS 6842 HAS SOUPS 4834 WITH SCORE 4857.964
AT ITER 1903 NEW BEST:: SOT 40805 SOS 23967 HAS SOPS 9424 HAS SOUS 6840 HAS SOUPS 4832 WITH SCORE 4855.967
AT ITER 1931 NEW BEST:: SOT 40797 SOS 23961 HAS SOPS 9420 HAS SOUS 6832 HAS SOUPS 4827 WITH SCORE 4850.961
AT ITER 1966 NEW BEST:: SOT 40796 SOS 23959 HAS SOPS 9398 HAS SOUS 6771 HAS SOUPS 4783 WITH SCORE 4806.959
AT ITER 1974 NEW BEST:: SOT 40779 SOS 23942 HAS SOPS 9386 HAS SOUS 6759 HAS SOUPS 4771 WITH SCORE 4794.942
AT ITER 1979 NEW BEST:: SOT 40709 SOS 23872 HAS SOPS 9248 HAS SOUS 6757 HAS SOUPS 4753 WITH SCORE 4776.872
AT ITER 1988 NEW BEST:: SOT 40721 SOS 23812 HAS SOPS 9212 HAS SOUS 6743 HAS SOUPS 4739 WITH SCORE 4762.812
AT ITER 1997 NEW BEST:: SOT 40727 SOS 23794 HAS SOPS 9194 HAS SOUS 6740 HAS SOUPS 4736 WITH SCORE 4759.794
AT ITER 2004 NEW BEST:: SOT 40675 SOS 23764 HAS SOPS 9129 HAS SOUS 6752 HAS SOUPS 4731 WITH SCORE 4754.764
AT ITER 2021 NEW BEST:: SOT 40672 SOS 23753 HAS SOPS 9118 HAS SOUS 6748 HAS SOUPS 4727 WITH SCORE 4750.753
AT ITER 2036 NEW BEST:: SOT 40659 SOS 23753 HAS SOPS 9121 HAS SOUS 6742 HAS SOUPS 4722 WITH SCORE 4745.753
AT ITER 2038 NEW BEST:: SOT 40650 SOS 23744 HAS SOPS 9103 HAS SOUS 6747 HAS SOUPS 4722 WITH SCORE 4745.744
AT ITER 2053 NEW BEST:: SOT 40655 SOS 23721 HAS SOPS 9091 HAS SOUS 6725 HAS SOUPS 4700 WITH SCORE 4723.721
AT ITER 2056 NEW BEST:: SOT 40660 SOS 23714 HAS SOPS 9101 HAS SOUS 6723 HAS SOUPS 4698 WITH SCORE 4721.714
AT ITER 2059 NEW BEST:: SOT 40558 SOS 23676 HAS SOPS 9063 HAS SOUS 6715 HAS SOUPS 4681 WITH SCORE 4704.676
AT ITER 2102 NEW BEST:: SOT 40558 SOS 23668 HAS SOPS 9055 HAS SOUS 6707 HAS SOUPS 4673 WITH SCORE 4696.668
AT ITER 2105 NEW BEST:: SOT 40554 SOS 23656 HAS SOPS 9039 HAS SOUS 6707 HAS SOUPS 4665 WITH SCORE 4688.656
AT ITER 2110 NEW BEST:: SOT 40620 SOS 23694 HAS SOPS 9077 HAS SOUS 6685 HAS SOUPS 4643 WITH SCORE 4666.694
AT ITER 2118 NEW BEST:: SOT 40630 SOS 23664 HAS SOPS 9083 HAS SOUS 6685 HAS SOUPS 4643 WITH SCORE 4666.664
AT ITER 2146 NEW BEST:: SOT 40628 SOS 23676 HAS SOPS 9099 HAS SOUS 6687 HAS SOUPS 4641 WITH SCORE 4664.676
AT ITER 2180 NEW BEST:: SOT 40628 SOS 23675 HAS SOPS 8790 HAS SOUS 6671 HAS SOUPS 4564 WITH SCORE 4587.675
AT ITER 2182 NEW BEST:: SOT 40609 SOS 23656 HAS SOPS 8778 HAS SOUS 6659 HAS SOUPS 4552 WITH SCORE 4575.656
AT ITER 2218 NEW BEST:: SOT 40598 SOS 23636 HAS SOPS 8756 HAS SOUS 6648 HAS SOUPS 4540 WITH SCORE 4563.636
AT ITER 2258 NEW BEST:: SOT 40596 SOS 23638 HAS SOPS 8752 HAS SOUS 6643 HAS SOUPS 4535 WITH SCORE 4558.638
AT ITER 2270 NEW BEST:: SOT 40583 SOS 23599 HAS SOPS 8726 HAS SOUS 6654 HAS SOUPS 4535 WITH SCORE 4558.599
AT ITER 2286 NEW BEST:: SOT 40581 SOS 23597 HAS SOPS 8722 HAS SOUS 6646 HAS SOUPS 4527 WITH SCORE 4550.597
AT ITER 2316 NEW BEST:: SOT 40542 SOS 23612 HAS SOPS 8710 HAS SOUS 6639 HAS SOUPS 4520 WITH SCORE 4543.612
AT ITER 2337 NEW BEST:: SOT 40542 SOS 23610 HAS SOPS 8710 HAS SOUS 6641 HAS SOUPS 4520 WITH SCORE 4543.61
AT ITER 2342 NEW BEST:: SOT 40527 SOS 23597 HAS SOPS 8692 HAS SOUS 6617 HAS SOUPS 4496 WITH SCORE 4519.597
AT ITER 2408 NEW BEST:: SOT 40493 SOS 23521 HAS SOPS 8656 HAS SOUS 6610 HAS SOUPS 4469 WITH SCORE 4492.521
AT ITER 2410 NEW BEST:: SOT 40486 SOS 23513 HAS SOPS 8660 HAS SOUS 6614 HAS SOUPS 4467 WITH SCORE 4490.513
AT ITER 2420 NEW BEST:: SOT 40481 SOS 23503 HAS SOPS 8454 HAS SOUS 6604 HAS SOUPS 4457 WITH SCORE 4480.503
AT ITER 2426 NEW BEST:: SOT 40476 SOS 23499 HAS SOPS 8450 HAS SOUS 6601 HAS SOUPS 4454 WITH SCORE 4477.499
AT ITER 2443 NEW BEST:: SOT 40521 SOS 23561 HAS SOPS 8484 HAS SOUS 6569 HAS SOUPS 4422 WITH SCORE 4445.561
AT ITER 2445 NEW BEST:: SOT 40348 SOS 24116 HAS SOPS 8336 HAS SOUS 6601 HAS SOUPS 4398 WITH SCORE 4422.116
AT ITER 2486 NEW BEST:: SOT 40360 SOS 24145 HAS SOPS 8337 HAS SOUS 6618 HAS SOUPS 4397 WITH SCORE 4421.145
AT ITER 2488 NEW BEST:: SOT 40344 SOS 24097 HAS SOPS 8297 HAS SOUS 6570 HAS SOUPS 4365 WITH SCORE 4389.097
AT ITER 2495 NEW BEST:: SOT 40362 SOS 24063 HAS SOPS 8235 HAS SOUS 6542 HAS SOUPS 4351 WITH SCORE 4375.063
AT ITER 2512 NEW BEST:: SOT 40362 SOS 24057 HAS SOPS 8239 HAS SOUS 6540 HAS SOUPS 4351 WITH SCORE 4375.057
AT ITER 2542 NEW BEST:: SOT 40374 SOS 24059 HAS SOPS 8287 HAS SOUS 6499 HAS SOUPS 4346 WITH SCORE 4370.059
AT ITER 2550 NEW BEST:: SOT 40370 SOS 24055 HAS SOPS 8273 HAS SOUS 6475 HAS SOUPS 4322 WITH SCORE 4346.055
AT ITER 2598 NEW BEST:: SOT 40310 SOS 23995 HAS SOPS 8263 HAS SOUS 6465 HAS SOUPS 4312 WITH SCORE 4335.995
AT ITER 2607 NEW BEST:: SOT 40286 SOS 23980 HAS SOPS 8248 HAS SOUS 6465 HAS SOUPS 4312 WITH SCORE 4335.98
AT ITER 2639 NEW BEST:: SOT 40271 SOS 23965 HAS SOPS 8242 HAS SOUS 6439 HAS SOUPS 4286 WITH SCORE 4309.965
AT ITER 2656 NEW BEST:: SOT 40212 SOS 23919 HAS SOPS 8218 HAS SOUS 6430 HAS SOUPS 4281 WITH SCORE 4304.919
AT ITER 2683 NEW BEST:: SOT 40209 SOS 23967 HAS SOPS 8214 HAS SOUS 6430 HAS SOUPS 4279 WITH SCORE 4302.967
AT ITER 2710 NEW BEST:: SOT 40207 SOS 23959 HAS SOPS 8224 HAS SOUS 6426 HAS SOUPS 4279 WITH SCORE 4302.959
AT ITER 2733 NEW BEST:: SOT 40271 SOS 23395 HAS SOPS 8222 HAS SOUS 6390 HAS SOUPS 4278 WITH SCORE 4301.395
AT ITER 2736 NEW BEST:: SOT 40271 SOS 23395 HAS SOPS 8224 HAS SOUS 6386 HAS SOUPS 4275 WITH SCORE 4298.395
AT ITER 2745 NEW BEST:: SOT 40271 SOS 23392 HAS SOPS 8221 HAS SOUS 6383 HAS SOUPS 4272 WITH SCORE 4295.392
AT ITER 2768 NEW BEST:: SOT 40269 SOS 23390 HAS SOPS 8217 HAS SOUS 6381 HAS SOUPS 4268 WITH SCORE 4291.39
AT ITER 2770 NEW BEST:: SOT 40261 SOS 23387 HAS SOPS 8209 HAS SOUS 6378 HAS SOUPS 4265 WITH SCORE 4288.387
AT ITER 2771 NEW BEST:: SOT 40263 SOS 23397 HAS SOPS 8219 HAS SOUS 6374 HAS SOUPS 4261 WITH SCORE 4284.397
AT ITER 2777 NEW BEST:: SOT 40253 SOS 23384 HAS SOPS 8206 HAS SOUS 6365 HAS SOUPS 4252 WITH SCORE 4275.384
AT ITER 2832 NEW BEST:: SOT 40253 SOS 23381 HAS SOPS 8204 HAS SOUS 6362 HAS SOUPS 4250 WITH SCORE 4273.381
AT ITER 2890 NEW BEST:: SOT 40246 SOS 23374 HAS SOPS 8196 HAS SOUS 6351 HAS SOUPS 4239 WITH SCORE 4262.374
AT ITER 2898 NEW BEST:: SOT 40233 SOS 23361 HAS SOPS 8191 HAS SOUS 6346 HAS SOUPS 4234 WITH SCORE 4257.361
AT ITER 2919 NEW BEST:: SOT 40232 SOS 23358 HAS SOPS 8188 HAS SOUS 6346 HAS SOUPS 4234 WITH SCORE 4257.358
AT ITER 2925 NEW BEST:: SOT 40212 SOS 23474 HAS SOPS 8188 HAS SOUS 6353 HAS SOUPS 4233 WITH SCORE 4256.474
AT ITER 2932 NEW BEST:: SOT 40228 SOS 23450 HAS SOPS 8156 HAS SOUS 6322 HAS SOUPS 4210 WITH SCORE 4233.45
AT ITER 2951 NEW BEST:: SOT 40228 SOS 23450 HAS SOPS 8156 HAS SOUS 6320 HAS SOUPS 4208 WITH SCORE 4231.45
AT ITER 2982 NEW BEST:: SOT 40057 SOS 23419 HAS SOPS 8134 HAS SOUS 6302 HAS SOUPS 4197 WITH SCORE 4220.419
AT ITER 3032 NEW BEST:: SOT 40057 SOS 23415 HAS SOPS 8129 HAS SOUS 6300 HAS SOUPS 4195 WITH SCORE 4218.415
AT ITER 3040 NEW BEST:: SOT 40063 SOS 23427 HAS SOPS 8141 HAS SOUS 6293 HAS SOUPS 4188 WITH SCORE 4211.427
AT ITER 3101 NEW BEST:: SOT 40057 SOS 23402 HAS SOPS 8129 HAS SOUS 6285 HAS SOUPS 4180 WITH SCORE 4203.402
AT ITER 3110 NEW BEST:: SOT 40052 SOS 23397 HAS SOPS 8124 HAS SOUS 6280 HAS SOUPS 4175 WITH SCORE 4198.397
AT ITER 3114 NEW BEST:: SOT 40054 SOS 23205 HAS SOPS 8124 HAS SOUS 6275 HAS SOUPS 4175 WITH SCORE 4198.205
AT ITER 3135 NEW BEST:: SOT 39047 SOS 24107 HAS SOPS 7731 HAS SOUS 6286 HAS SOUPS 4167 WITH SCORE 4191.107
AT ITER 3138 NEW BEST:: SOT 39046 SOS 24106 HAS SOPS 7731 HAS SOUS 6282 HAS SOUPS 4163 WITH SCORE 4187.106
AT ITER 3157 NEW BEST:: SOT 39043 SOS 24104 HAS SOPS 7730 HAS SOUS 6281 HAS SOUPS 4163 WITH SCORE 4187.104
AT ITER 3168 NEW BEST:: SOT 39049 SOS 24082 HAS SOPS 7714 HAS SOUS 6264 HAS SOUPS 4153 WITH SCORE 4177.082
AT ITER 3192 NEW BEST:: SOT 38844 SOS 23869 HAS SOPS 7509 HAS SOUS 6233 HAS SOUPS 4122 WITH SCORE 4145.869
AT ITER 3208 NEW BEST:: SOT 38836 SOS 23859 HAS SOPS 7505 HAS SOUS 6238 HAS SOUPS 4121 WITH SCORE 4144.859
AT ITER 3241 NEW BEST:: SOT 38944 SOS 23917 HAS SOPS 7563 HAS SOUS 6231 HAS SOUPS 4114 WITH SCORE 4137.917
AT ITER 3246 NEW BEST:: SOT 38945 SOS 23918 HAS SOPS 7563 HAS SOUS 6229 HAS SOUPS 4113 WITH SCORE 4136.918
AT ITER 3280 NEW BEST:: SOT 38942 SOS 23916 HAS SOPS 7561 HAS SOUS 6228 HAS SOUPS 4112 WITH SCORE 4135.916
AT ITER 3285 NEW BEST:: SOT 38954 SOS 23917 HAS SOPS 7539 HAS SOUS 6223 HAS SOUPS 4107 WITH SCORE 4130.917
AT ITER 3299 NEW BEST:: SOT 38924 SOS 23887 HAS SOPS 7749 HAS SOUS 6223 HAS SOUPS 4107 WITH SCORE 4130.887
AT ITER 3329 NEW BEST:: SOT 38936 SOS 23883 HAS SOPS 7769 HAS SOUS 6219 HAS SOUPS 4107 WITH SCORE 4130.883
AT ITER 3336 NEW BEST:: SOT 38778 SOS 24558 HAS SOPS 7705 HAS SOUS 6267 HAS SOUPS 4090 WITH SCORE 4114.558
AT ITER 3362 NEW BEST:: SOT 38738 SOS 24533 HAS SOPS 7695 HAS SOUS 6267 HAS SOUPS 4080 WITH SCORE 4104.533
AT ITER 3373 NEW BEST:: SOT 38724 SOS 24498 HAS SOPS 7676 HAS SOUS 6241 HAS SOUPS 4054 WITH SCORE 4078.498
AT ITER 3477 NEW BEST:: SOT 38698 SOS 24472 HAS SOPS 7666 HAS SOUS 6218 HAS SOUPS 4044 WITH SCORE 4068.472
AT ITER 3506 NEW BEST:: SOT 38652 SOS 24426 HAS SOPS 7620 HAS SOUS 6172 HAS SOUPS 3998 WITH SCORE 4022.426
AT ITER 3542 NEW BEST:: SOT 38655 SOS 24426 HAS SOPS 7624 HAS SOUS 6170 HAS SOUPS 3996 WITH SCORE 4020.426
AT ITER 3559 NEW BEST:: SOT 38625 SOS 24406 HAS SOPS 7608 HAS SOUS 6147 HAS SOUPS 3974 WITH SCORE 3998.406
AT ITER 3625 NEW BEST:: SOT 38624 SOS 24394 HAS SOPS 7631 HAS SOUS 6139 HAS SOUPS 3971 WITH SCORE 3995.394
AT ITER 3649 NEW BEST:: SOT 38624 SOS 24378 HAS SOPS 7607 HAS SOUS 6121 HAS SOUPS 3957 WITH SCORE 3981.378
AT ITER 3665 NEW BEST:: SOT 38623 SOS 24376 HAS SOPS 7612 HAS SOUS 6127 HAS SOUPS 3956 WITH SCORE 3980.376
AT ITER 3724 NEW BEST:: SOT 38628 SOS 24376 HAS SOPS 7606 HAS SOUS 6116 HAS SOUPS 3955 WITH SCORE 3979.376
AT ITER 3805 NEW BEST:: SOT 38641 SOS 24383 HAS SOPS 7619 HAS SOUS 6108 HAS SOUPS 3949 WITH SCORE 3973.383
AT ITER 3852 NEW BEST:: SOT 38636 SOS 24373 HAS SOPS 7614 HAS SOUS 6109 HAS SOUPS 3945 WITH SCORE 3969.373
AT ITER 3879 NEW BEST:: SOT 38684 SOS 24397 HAS SOPS 7775 HAS SOUS 6079 HAS SOUPS 3939 WITH SCORE 3963.397
AT ITER 3907 NEW BEST:: SOT 38687 SOS 24383 HAS SOPS 7761 HAS SOUS 6073 HAS SOUPS 3933 WITH SCORE 3957.383
AT ITER 3943 NEW BEST:: SOT 38688 SOS 24382 HAS SOPS 7759 HAS SOUS 6066 HAS SOUPS 3929 WITH SCORE 3953.382
AT ITER 3959 NEW BEST:: SOT 38687 SOS 24384 HAS SOPS 7757 HAS SOUS 6050 HAS SOUPS 3913 WITH SCORE 3937.384
AT ITER 3981 NEW BEST:: SOT 38681 SOS 24378 HAS SOPS 7753 HAS SOUS 6050 HAS SOUPS 3913 WITH SCORE 3937.378
AT ITER 3987 NEW BEST:: SOT 38671 SOS 24370 HAS SOPS 7745 HAS SOUS 6042 HAS SOUPS 3905 WITH SCORE 3929.37
AT ITER 4014 NEW BEST:: SOT 38686 SOS 24374 HAS SOPS 7748 HAS SOUS 6029 HAS SOUPS 3903 WITH SCORE 3927.374
AT ITER 4019 NEW BEST:: SOT 38684 SOS 24369 HAS SOPS 7741 HAS SOUS 6028 HAS SOUPS 3899 WITH SCORE 3923.369
AT ITER 4101 NEW BEST:: SOT 38685 SOS 24366 HAS SOPS 7736 HAS SOUS 6026 HAS SOUPS 3898 WITH SCORE 3922.366
AT ITER 4173 NEW BEST:: SOT 38682 SOS 24360 HAS SOPS 7726 HAS SOUS 6018 HAS SOUPS 3890 WITH SCORE 3914.36
AT ITER 4198 NEW BEST:: SOT 38682 SOS 24336 HAS SOPS 7696 HAS SOUS 6002 HAS SOUPS 3885 WITH SCORE 3909.336
AT ITER 4218 NEW BEST:: SOT 38886 SOS 24456 HAS SOPS 7660 HAS SOUS 6007 HAS SOUPS 3873 WITH SCORE 3897.456
AT ITER 4225 NEW BEST:: SOT 38904 SOS 24462 HAS SOPS 7672 HAS SOUS 5986 HAS SOUPS 3855 WITH SCORE 3879.462
AT ITER 4281 NEW BEST:: SOT 38904 SOS 24461 HAS SOPS 7671 HAS SOUS 5985 HAS SOUPS 3854 WITH SCORE 3878.461
AT ITER 4307 NEW BEST:: SOT 38874 SOS 24227 HAS SOPS 7659 HAS SOUS 5954 HAS SOUPS 3842 WITH SCORE 3866.227
AT ITER 4312 NEW BEST:: SOT 38877 SOS 24228 HAS SOPS 7659 HAS SOUS 5950 HAS SOUPS 3838 WITH SCORE 3862.228
AT ITER 4389 NEW BEST:: SOT 38853 SOS 24204 HAS SOPS 7796 HAS SOUS 5934 HAS SOUPS 3838 WITH SCORE 3862.204
AT ITER 4408 NEW BEST:: SOT 38871 SOS 24217 HAS SOPS 7799 HAS SOUS 5929 HAS SOUPS 3833 WITH SCORE 3857.217
AT ITER 4515 NEW BEST:: SOT 38833 SOS 24223 HAS SOPS 7805 HAS SOUS 5913 HAS SOUPS 3817 WITH SCORE 3841.223
AT ITER 4533 NEW BEST:: SOT 38830 SOS 24205 HAS SOPS 7810 HAS SOUS 5901 HAS SOUPS 3815 WITH SCORE 3839.205
AT ITER 4562 NEW BEST:: SOT 38861 SOS 24195 HAS SOPS 7782 HAS SOUS 5887 HAS SOUPS 3810 WITH SCORE 3834.195
AT ITER 4643 NEW BEST:: SOT 38862 SOS 24196 HAS SOPS 7784 HAS SOUS 5883 HAS SOUPS 3809 WITH SCORE 3833.196
AT ITER 4673 NEW BEST:: SOT 38859 SOS 24187 HAS SOPS 7778 HAS SOUS 5886 HAS SOUPS 3809 WITH SCORE 3833.187
AT ITER 4691 NEW BEST:: SOT 38855 SOS 24234 HAS SOPS 7778 HAS SOUS 5886 HAS SOUPS 3808 WITH SCORE 3832.234
AT ITER 4743 NEW BEST:: SOT 38333 SOS 23944 HAS SOPS 7783 HAS SOUS 5867 HAS SOUPS 3799 WITH SCORE 3822.944
AT ITER 4747 NEW BEST:: SOT 38345 SOS 23950 HAS SOPS 7789 HAS SOUS 5858 HAS SOUPS 3790 WITH SCORE 3813.95
AT ITER 4802 NEW BEST:: SOT 38341 SOS 23946 HAS SOPS 7787 HAS SOUS 5858 HAS SOUPS 3790 WITH SCORE 3813.946
AT ITER 4805 NEW BEST:: SOT 38336 SOS 23946 HAS SOPS 7523 HAS SOUS 5862 HAS SOUPS 3738 WITH SCORE 3761.946
AT ITER 4810 NEW BEST:: SOT 38336 SOS 23946 HAS SOPS 7523 HAS SOUS 5860 HAS SOUPS 3736 WITH SCORE 3759.946
AT ITER 4838 NEW BEST:: SOT 38332 SOS 23938 HAS SOPS 7515 HAS SOUS 5853 HAS SOUPS 3729 WITH SCORE 3752.938
AT ITER 4858 NEW BEST:: SOT 38167 SOS 24353 HAS SOPS 7513 HAS SOUS 5863 HAS SOUPS 3727 WITH SCORE 3751.353
AT ITER 4860 NEW BEST:: SOT 38165 SOS 24353 HAS SOPS 7513 HAS SOUS 5862 HAS SOUPS 3726 WITH SCORE 3750.353
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-00 (EF((AF((! potential( (tk(P91)) <= (tk(P26)) ))))))
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-01 (! ( (EU( potential( ( 2 ) <= (tk(P99)) ),potential( (tk(P115)) <= (tk(P132)) ) )) & (EF(( potential( ( 3 ) <= (tk(P77)) ) & potential( (tk(P56)) <= (tk(P50)) ) ))) ))
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-02 ( (! (AU( potential( (tk(P8)) <= (tk(P88)) ),potential( ( 1 ) <= (tk(P135)) ) ))) | (EX( ( potential( ( 2 ) <= (tk(P18)) ) & (! potential( ( 3 ) <= (tk(P136)) )) ))) )
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-03 (AU( ( (! potential( ( 1 ) <= (tk(P84)) )) | (! potential( (tk(P8)) <= (tk(P54)) )) ),(AF(potential( ( 3 ) <= (tk(P26)) ))) ))
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-04 (EF((EU( potential( (tk(P130)) <= (tk(P74)) ),potential( ( 1 ) <= (tk(P102)) ) ))))
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-05 (AG( (! ( potential( ( 2 ) <= (tk(P27)) ) & ( potential( (tk(P49)) <= (tk(P52)) ) | potential( (tk(P32)) <= (tk(P89)) ) ) ))))
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-06 (! ( (AF(( potential( ( 2 ) <= (tk(P82)) ) | potential( ( 2 ) <= (tk(P26)) ) ))) | (AU( potential( (tk(P63)) <= (tk(P22)) ),potential( ( 2 ) <= (tk(P90)) ) )) ))
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-07 (AF((EG( ( potential( (tk(P109)) <= (tk(P123)) ) & potential( (tk(P94)) <= (tk(P48)) ) )))))
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-08 ( ( (EX( (! potential( (tk(P109)) <= (tk(P83)) )))) | ( ( potential( ( 2 ) <= (tk(P52)) ) | ( potential( ( 2 ) <= (tk(P84)) ) | potential( (tk(P128)) <= (tk(P92)) ) ) ) & (EG( potential( (tk(P56)) <= (tk(P101)) ))) ) ) | (! (! potential( ( 1 ) <= (tk(P22)) ))) )
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-09 (AU( ( (! potential( ( 2 ) <= (tk(P109)) )) & potential( ( 2 ) <= (tk(P34)) ) ),(AF(potential( ( 1 ) <= (tk(P25)) ))) ))
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-10 (AG( ( (AF(potential( (tk(P17)) <= (tk(P6)) ))) | (! ( potential( (tk(P101)) <= (tk(P114)) ) | potential( ( 3 ) <= (tk(P74)) ) )) )))
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-11 ( (AG( (AG( potential( ( 3 ) <= (tk(P112)) ))))) | ( ( (AG( potential( (tk(P11)) <= (tk(P59)) ))) & potential( (tk(P17)) <= (tk(P120)) ) ) & (! potential( ( 1 ) <= (tk(P125)) )) ) )
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-12 (! ( ( (AG( potential( (tk(P64)) <= (tk(P52)) ))) | (AG( potential( ( 2 ) <= (tk(P102)) ))) ) & ( potential( (tk(P123)) <= (tk(P96)) ) | potential( (tk(P1)) <= (tk(P113)) ) ) ))
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-13 (AU( (! ( potential( (tk(P139)) <= (tk(P123)) ) & potential( ( 3 ) <= (tk(P52)) ) )),(EG( potential( (tk(P10)) <= (tk(P48)) ))) ))
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-14 (AF(( (EG( potential( (tk(P136)) <= (tk(P66)) ))) | (! (! potential( ( 1 ) <= (tk(P91)) ))) )))
PROPERTY: CloudDeployment-PT-4a-CTLCardinality-15 (AF((! (! ( potential( ( 2 ) <= (tk(P107)) ) | potential( ( 3 ) <= (tk(P7)) ) )))))

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-4a"
export BK_EXAMINATION="CTLCardinality"
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 CTLCardinality"
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-158901925900299"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;