Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r451-smll-167912643200192.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is SmartHome-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643200192
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 5.5K Feb 26 05:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 05:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 05:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 05:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 05:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 189K Feb 26 05:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 05:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 05:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 54K Mar 5 18:23 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 1679182448658

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SmartHome-PT-05
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 05
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 213 places, 245 transitions, 557 arcs.
AT ITER 0 NEW BEST:: SOT 30533 SOS 7055 HAS SOPS 7055 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6869.055
AT ITER 1 NEW BEST:: SOT 30520 SOS 7029 HAS SOPS 7029 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6842.029
AT ITER 4 NEW BEST:: SOT 30520 SOS 7028 HAS SOPS 7028 HAS SOUS 6834 HAS SOUPS 6834 WITH SCORE 6841.028
AT ITER 7 NEW BEST:: SOT 30520 SOS 7029 HAS SOPS 7029 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6840.029
AT ITER 14 NEW BEST:: SOT 30435 SOS 7298 HAS SOPS 7298 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6787.298
AT ITER 17 NEW BEST:: SOT 30405 SOS 7277 HAS SOPS 7277 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6762.277
AT ITER 31 NEW BEST:: SOT 30349 SOS 7240 HAS SOPS 7240 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6716.24
AT ITER 44 NEW BEST:: SOT 30342 SOS 7221 HAS SOPS 7221 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6697.221
AT ITER 59 NEW BEST:: SOT 30374 SOS 7235 HAS SOPS 7235 HAS SOUS 6665 HAS SOUPS 6665 WITH SCORE 6672.235
AT ITER 60 NEW BEST:: SOT 30373 SOS 7233 HAS SOPS 7233 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6670.233
AT ITER 67 NEW BEST:: SOT 30390 SOS 7250 HAS SOPS 7250 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6660.25
AT ITER 71 NEW BEST:: SOT 30370 SOS 7230 HAS SOPS 7230 HAS SOUS 6632 HAS SOUPS 6632 WITH SCORE 6639.23
AT ITER 75 NEW BEST:: SOT 30369 SOS 7228 HAS SOPS 7228 HAS SOUS 6630 HAS SOUPS 6630 WITH SCORE 6637.228
AT ITER 77 NEW BEST:: SOT 30366 SOS 7222 HAS SOPS 7222 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6607.222
AT ITER 87 NEW BEST:: SOT 30366 SOS 7204 HAS SOPS 7204 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6589.204
AT ITER 89 NEW BEST:: SOT 30366 SOS 7200 HAS SOPS 7200 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6589.2
AT ITER 90 NEW BEST:: SOT 30365 SOS 7198 HAS SOPS 7198 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6587.198
AT ITER 94 NEW BEST:: SOT 30380 SOS 7197 HAS SOPS 7197 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6586.197
AT ITER 99 NEW BEST:: SOT 30380 SOS 7189 HAS SOPS 7189 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6586.189
AT ITER 121 NEW BEST:: SOT 30338 SOS 7126 HAS SOPS 7126 HAS SOUS 6516 HAS SOUPS 6516 WITH SCORE 6523.126
AT ITER 126 NEW BEST:: SOT 30319 SOS 7088 HAS SOPS 7088 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6491.088
AT ITER 140 NEW BEST:: SOT 30314 SOS 7085 HAS SOPS 7085 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6488.085
AT ITER 148 NEW BEST:: SOT 30314 SOS 7069 HAS SOPS 7069 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6472.069
AT ITER 163 NEW BEST:: SOT 30315 SOS 7063 HAS SOPS 7063 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6466.063
AT ITER 175 NEW BEST:: SOT 30299 SOS 7059 HAS SOPS 7059 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6452.059
AT ITER 176 NEW BEST:: SOT 30299 SOS 7050 HAS SOPS 7050 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6446.05
AT ITER 180 NEW BEST:: SOT 30291 SOS 6914 HAS SOPS 6914 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6421.914
AT ITER 186 NEW BEST:: SOT 30191 SOS 7277 HAS SOPS 7277 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6353.277
AT ITER 192 NEW BEST:: SOT 30178 SOS 7251 HAS SOPS 7251 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6327.251
AT ITER 202 NEW BEST:: SOT 30165 SOS 7234 HAS SOPS 7234 HAS SOUS 6298 HAS SOUPS 6298 WITH SCORE 6305.234
AT ITER 214 NEW BEST:: SOT 30156 SOS 7221 HAS SOPS 7221 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6292.221
AT ITER 225 NEW BEST:: SOT 30110 SOS 7129 HAS SOPS 7129 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6257.129
AT ITER 245 NEW BEST:: SOT 30096 SOS 7101 HAS SOPS 7101 HAS SOUS 6237 HAS SOUPS 6237 WITH SCORE 6244.101
AT ITER 248 NEW BEST:: SOT 30097 SOS 7090 HAS SOPS 7090 HAS SOUS 6226 HAS SOUPS 6226 WITH SCORE 6233.09
AT ITER 254 NEW BEST:: SOT 29913 SOS 7255 HAS SOPS 7255 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6129.255
AT ITER 260 NEW BEST:: SOT 29913 SOS 7241 HAS SOPS 7241 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6115.241
AT ITER 265 NEW BEST:: SOT 29878 SOS 7223 HAS SOPS 7223 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6097.223
AT ITER 273 NEW BEST:: SOT 29878 SOS 7207 HAS SOPS 7207 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6081.207
AT ITER 300 NEW BEST:: SOT 29890 SOS 7186 HAS SOPS 7186 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6060.186
AT ITER 302 NEW BEST:: SOT 29890 SOS 7183 HAS SOPS 7183 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6057.183
AT ITER 303 NEW BEST:: SOT 29884 SOS 7169 HAS SOPS 7169 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6051.169
AT ITER 311 NEW BEST:: SOT 29859 SOS 7119 HAS SOPS 7119 HAS SOUS 6019 HAS SOUPS 6019 WITH SCORE 6026.119
AT ITER 323 NEW BEST:: SOT 29848 SOS 7097 HAS SOPS 7097 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6017.097
AT ITER 330 NEW BEST:: SOT 29847 SOS 7095 HAS SOPS 7095 HAS SOUS 6008 HAS SOUPS 6008 WITH SCORE 6015.095
AT ITER 331 NEW BEST:: SOT 29839 SOS 7079 HAS SOPS 7079 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 5999.079
AT ITER 332 NEW BEST:: SOT 29837 SOS 7077 HAS SOPS 7077 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 5997.077
AT ITER 335 NEW BEST:: SOT 29828 SOS 7068 HAS SOPS 7068 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5988.068
AT ITER 360 NEW BEST:: SOT 29822 SOS 7062 HAS SOPS 7062 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5982.062
AT ITER 415 NEW BEST:: SOT 29820 SOS 7059 HAS SOPS 7059 HAS SOUS 5973 HAS SOUPS 5973 WITH SCORE 5980.059
AT ITER 426 NEW BEST:: SOT 29757 SOS 6933 HAS SOPS 6933 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5874.933
AT ITER 428 NEW BEST:: SOT 29755 SOS 6929 HAS SOPS 6929 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5870.929
AT ITER 438 NEW BEST:: SOT 29763 SOS 6928 HAS SOPS 6928 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5869.928
AT ITER 446 NEW BEST:: SOT 29740 SOS 6896 HAS SOPS 6896 HAS SOUS 5828 HAS SOUPS 5828 WITH SCORE 5834.896
AT ITER 459 NEW BEST:: SOT 29734 SOS 6884 HAS SOPS 6884 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5828.884
AT ITER 475 NEW BEST:: SOT 29579 SOS 7205 HAS SOPS 7205 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5721.205
AT ITER 492 NEW BEST:: SOT 29561 SOS 7189 HAS SOPS 7189 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5705.189
AT ITER 493 NEW BEST:: SOT 29487 SOS 7160 HAS SOPS 7160 HAS SOUS 5645 HAS SOUPS 5645 WITH SCORE 5652.16
AT ITER 495 NEW BEST:: SOT 29487 SOS 7140 HAS SOPS 7140 HAS SOUS 5645 HAS SOUPS 5645 WITH SCORE 5652.14
AT ITER 514 NEW BEST:: SOT 29476 SOS 7129 HAS SOPS 7129 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5641.129
AT ITER 516 NEW BEST:: SOT 29468 SOS 7136 HAS SOPS 7136 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5637.136
AT ITER 517 NEW BEST:: SOT 29461 SOS 7122 HAS SOPS 7122 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5630.122
AT ITER 524 NEW BEST:: SOT 29462 SOS 7131 HAS SOPS 7131 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5627.131
AT ITER 532 NEW BEST:: SOT 29437 SOS 7317 HAS SOPS 7317 HAS SOUS 5609 HAS SOUPS 5609 WITH SCORE 5616.317
AT ITER 554 NEW BEST:: SOT 29430 SOS 7309 HAS SOPS 7309 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5603.309
AT ITER 568 NEW BEST:: SOT 29430 SOS 7304 HAS SOPS 7304 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5598.304
AT ITER 579 NEW BEST:: SOT 29423 SOS 7290 HAS SOPS 7290 HAS SOUS 5571 HAS SOUPS 5571 WITH SCORE 5578.29
AT ITER 654 NEW BEST:: SOT 29397 SOS 7238 HAS SOPS 7238 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5552.238
AT ITER 680 NEW BEST:: SOT 29392 SOS 7204 HAS SOPS 7204 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5535.204
AT ITER 683 NEW BEST:: SOT 29374 SOS 7182 HAS SOPS 7182 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5516.182
AT ITER 694 NEW BEST:: SOT 29378 SOS 7179 HAS SOPS 7179 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5513.179
AT ITER 710 NEW BEST:: SOT 29343 SOS 7109 HAS SOPS 7109 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5478.109
AT ITER 718 NEW BEST:: SOT 29332 SOS 7087 HAS SOPS 7087 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5467.087
AT ITER 719 NEW BEST:: SOT 29328 SOS 7079 HAS SOPS 7079 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5467.079
AT ITER 726 NEW BEST:: SOT 29325 SOS 7073 HAS SOPS 7073 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5464.073
AT ITER 749 NEW BEST:: SOT 29327 SOS 7047 HAS SOPS 7047 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5438.047
AT ITER 754 NEW BEST:: SOT 29320 SOS 7033 HAS SOPS 7033 HAS SOUS 5416 HAS SOUPS 5416 WITH SCORE 5423.033
AT ITER 773 NEW BEST:: SOT 29313 SOS 7019 HAS SOPS 7019 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5416.019
AT ITER 785 NEW BEST:: SOT 29313 SOS 7019 HAS SOPS 7019 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5415.019
AT ITER 800 NEW BEST:: SOT 29304 SOS 7001 HAS SOPS 7001 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5397.001
AT ITER 821 NEW BEST:: SOT 29309 SOS 6991 HAS SOPS 6991 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5386.991
AT ITER 823 NEW BEST:: SOT 29301 SOS 6975 HAS SOPS 6975 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5370.975
AT ITER 875 NEW BEST:: SOT 29309 SOS 6991 HAS SOPS 6991 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5366.991
AT ITER 876 NEW BEST:: SOT 29245 SOS 6855 HAS SOPS 6855 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5302.855
AT ITER 899 NEW BEST:: SOT 29244 SOS 6853 HAS SOPS 6853 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5300.853
AT ITER 903 NEW BEST:: SOT 29214 SOS 6847 HAS SOPS 6847 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5295.847
AT ITER 915 NEW BEST:: SOT 29214 SOS 6842 HAS SOPS 6842 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5295.842
AT ITER 923 NEW BEST:: SOT 29095 SOS 6903 HAS SOPS 6903 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5199.903
AT ITER 937 NEW BEST:: SOT 29085 SOS 6901 HAS SOPS 6901 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5197.901
AT ITER 994 NEW BEST:: SOT 29070 SOS 6886 HAS SOPS 6886 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5186.886
AT ITER 1010 NEW BEST:: SOT 29066 SOS 6883 HAS SOPS 6883 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5182.883
AT ITER 1015 NEW BEST:: SOT 29081 SOS 6883 HAS SOPS 6883 HAS SOUS 5161 HAS SOUPS 5161 WITH SCORE 5167.883
AT ITER 1025 NEW BEST:: SOT 29119 SOS 6921 HAS SOPS 6921 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5142.921
AT ITER 1048 NEW BEST:: SOT 29113 SOS 6942 HAS SOPS 6942 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5136.942
AT ITER 1060 NEW BEST:: SOT 29091 SOS 6909 HAS SOPS 6909 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5114.909
AT ITER 1069 NEW BEST:: SOT 29053 SOS 6970 HAS SOPS 6970 HAS SOUS 5083 HAS SOUPS 5083 WITH SCORE 5089.97
AT ITER 1086 NEW BEST:: SOT 29074 SOS 6964 HAS SOPS 6964 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5088.964
AT ITER 1106 NEW BEST:: SOT 29074 SOS 6962 HAS SOPS 6962 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5088.962
AT ITER 1127 NEW BEST:: SOT 29070 SOS 6969 HAS SOPS 6969 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5080.969
AT ITER 1139 NEW BEST:: SOT 29043 SOS 7145 HAS SOPS 7145 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5077.145
AT ITER 1161 NEW BEST:: SOT 29049 SOS 7154 HAS SOPS 7154 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5072.154
AT ITER 1172 NEW BEST:: SOT 29040 SOS 7136 HAS SOPS 7136 HAS SOUS 5056 HAS SOUPS 5056 WITH SCORE 5063.136
AT ITER 1187 NEW BEST:: SOT 29016 SOS 7088 HAS SOPS 7088 HAS SOUS 5056 HAS SOUPS 5056 WITH SCORE 5063.088
AT ITER 1190 NEW BEST:: SOT 29025 SOS 6980 HAS SOPS 6980 HAS SOUS 5056 HAS SOUPS 5056 WITH SCORE 5062.98
AT ITER 1194 NEW BEST:: SOT 29030 SOS 6973 HAS SOPS 6973 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5055.973
AT ITER 1210 NEW BEST:: SOT 29029 SOS 6893 HAS SOPS 6893 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5029.893
AT ITER 1232 NEW BEST:: SOT 29013 SOS 6869 HAS SOPS 6869 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5013.869
AT ITER 1294 NEW BEST:: SOT 29013 SOS 6871 HAS SOPS 6871 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5007.871
AT ITER 1299 NEW BEST:: SOT 29015 SOS 6869 HAS SOPS 6869 HAS SOUS 4997 HAS SOUPS 4997 WITH SCORE 5003.869
AT ITER 1319 NEW BEST:: SOT 28989 SOS 7097 HAS SOPS 7097 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4978.097
AT ITER 1353 NEW BEST:: SOT 28988 SOS 7095 HAS SOPS 7095 HAS SOUS 4969 HAS SOUPS 4969 WITH SCORE 4976.095
AT ITER 1355 NEW BEST:: SOT 28985 SOS 7089 HAS SOPS 7089 HAS SOUS 4963 HAS SOUPS 4963 WITH SCORE 4970.089
AT ITER 1361 NEW BEST:: SOT 28988 SOS 7069 HAS SOPS 7069 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4952.069
AT ITER 1394 NEW BEST:: SOT 29038 SOS 7047 HAS SOPS 7047 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4936.047
AT ITER 1410 NEW BEST:: SOT 29034 SOS 7044 HAS SOPS 7044 HAS SOUS 4926 HAS SOUPS 4926 WITH SCORE 4933.044
AT ITER 1412 NEW BEST:: SOT 29033 SOS 7043 HAS SOPS 7043 HAS SOUS 4926 HAS SOUPS 4926 WITH SCORE 4933.043
AT ITER 1428 NEW BEST:: SOT 29033 SOS 7043 HAS SOPS 7043 HAS SOUS 4921 HAS SOUPS 4921 WITH SCORE 4928.043
AT ITER 1433 NEW BEST:: SOT 29024 SOS 7034 HAS SOPS 7034 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4919.034
AT ITER 1485 NEW BEST:: SOT 29020 SOS 7026 HAS SOPS 7026 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4911.026
AT ITER 1486 NEW BEST:: SOT 29014 SOS 7014 HAS SOPS 7014 HAS SOUS 4892 HAS SOUPS 4892 WITH SCORE 4899.014
AT ITER 1489 NEW BEST:: SOT 29012 SOS 7011 HAS SOPS 7011 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4897.011
AT ITER 1491 NEW BEST:: SOT 29012 SOS 6965 HAS SOPS 6965 HAS SOUS 4870 HAS SOUPS 4870 WITH SCORE 4876.965
AT ITER 1494 NEW BEST:: SOT 29010 SOS 6961 HAS SOPS 6961 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4873.961
AT ITER 1504 NEW BEST:: SOT 28983 SOS 6907 HAS SOPS 6907 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4805.907
AT ITER 1530 NEW BEST:: SOT 28977 SOS 6903 HAS SOPS 6903 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4801.903
AT ITER 1542 NEW BEST:: SOT 28949 SOS 7071 HAS SOPS 7071 HAS SOUS 4778 HAS SOUPS 4778 WITH SCORE 4785.071
AT ITER 1581 NEW BEST:: SOT 28942 SOS 7057 HAS SOPS 7057 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4771.057
AT ITER 1608 NEW BEST:: SOT 28936 SOS 7040 HAS SOPS 7040 HAS SOUS 4747 HAS SOUPS 4747 WITH SCORE 4754.04
AT ITER 1633 NEW BEST:: SOT 28893 SOS 6875 HAS SOPS 6875 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4640.875
AT ITER 1658 NEW BEST:: SOT 28892 SOS 6873 HAS SOPS 6873 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4638.873
AT ITER 1669 NEW BEST:: SOT 28875 SOS 6856 HAS SOPS 6856 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4621.856
AT ITER 1709 NEW BEST:: SOT 28874 SOS 6855 HAS SOPS 6855 HAS SOUS 4614 HAS SOUPS 4614 WITH SCORE 4620.855
AT ITER 1739 NEW BEST:: SOT 28861 SOS 6842 HAS SOPS 6842 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4618.842
AT ITER 1758 NEW BEST:: SOT 28850 SOS 6833 HAS SOPS 6833 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4609.833
AT ITER 1759 NEW BEST:: SOT 28841 SOS 6831 HAS SOPS 6831 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4607.831
AT ITER 1785 NEW BEST:: SOT 28844 SOS 6826 HAS SOPS 6826 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4605.826
AT ITER 1793 NEW BEST:: SOT 28839 SOS 6821 HAS SOPS 6821 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4603.821
AT ITER 1813 NEW BEST:: SOT 28839 SOS 6817 HAS SOPS 6817 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4603.817
AT ITER 1814 NEW BEST:: SOT 28825 SOS 6789 HAS SOPS 6789 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4602.789
AT ITER 1830 NEW BEST:: SOT 28828 SOS 6787 HAS SOPS 6787 HAS SOUS 4594 HAS SOUPS 4594 WITH SCORE 4600.787
AT ITER 1843 NEW BEST:: SOT 28832 SOS 6791 HAS SOPS 6791 HAS SOUS 4593 HAS SOUPS 4593 WITH SCORE 4599.791
AT ITER 1847 NEW BEST:: SOT 28828 SOS 6783 HAS SOPS 6783 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4595.783
AT ITER 1857 NEW BEST:: SOT 28793 SOS 6713 HAS SOPS 6713 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4547.713
AT ITER 1863 NEW BEST:: SOT 28792 SOS 6712 HAS SOPS 6712 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4546.712
AT ITER 1864 NEW BEST:: SOT 28776 SOS 6800 HAS SOPS 6800 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4538.8
AT ITER 1874 NEW BEST:: SOT 28772 SOS 6792 HAS SOPS 6792 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4530.792
AT ITER 1981 NEW BEST:: SOT 28767 SOS 6787 HAS SOPS 6787 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4520.787
AT ITER 1982 NEW BEST:: SOT 28758 SOS 6780 HAS SOPS 6780 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4519.78
AT ITER 1985 NEW BEST:: SOT 28748 SOS 6760 HAS SOPS 6760 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4509.76
AT ITER 1992 NEW BEST:: SOT 28742 SOS 6754 HAS SOPS 6754 HAS SOUS 4495 HAS SOUPS 4495 WITH SCORE 4501.754
AT ITER 2007 NEW BEST:: SOT 28735 SOS 6750 HAS SOPS 6750 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4497.75
AT ITER 2045 NEW BEST:: SOT 28752 SOS 6759 HAS SOPS 6759 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4495.759
AT ITER 2057 NEW BEST:: SOT 28743 SOS 6750 HAS SOPS 6750 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4486.75
AT ITER 2063 NEW BEST:: SOT 28743 SOS 6720 HAS SOPS 6720 HAS SOUS 4477 HAS SOUPS 4477 WITH SCORE 4483.72
AT ITER 2070 NEW BEST:: SOT 28742 SOS 6717 HAS SOPS 6717 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4480.717
AT ITER 2104 NEW BEST:: SOT 28729 SOS 6691 HAS SOPS 6691 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4471.691
AT ITER 2115 NEW BEST:: SOT 28729 SOS 6689 HAS SOPS 6689 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4469.689
AT ITER 2135 NEW BEST:: SOT 28729 SOS 6712 HAS SOPS 6712 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4466.712
AT ITER 2173 NEW BEST:: SOT 28726 SOS 6706 HAS SOPS 6706 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4446.706
AT ITER 2178 NEW BEST:: SOT 28720 SOS 6694 HAS SOPS 6694 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4440.694
AT ITER 2206 NEW BEST:: SOT 28670 SOS 6594 HAS SOPS 6594 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4428.594
AT ITER 2212 NEW BEST:: SOT 28668 SOS 6590 HAS SOPS 6590 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4424.59
AT ITER 2249 NEW BEST:: SOT 28668 SOS 6590 HAS SOPS 6590 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4423.59
AT ITER 2251 NEW BEST:: SOT 28662 SOS 6578 HAS SOPS 6578 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4411.578
AT ITER 2302 NEW BEST:: SOT 28661 SOS 6577 HAS SOPS 6577 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4406.577
AT ITER 2319 NEW BEST:: SOT 28650 SOS 6566 HAS SOPS 6566 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4404.566
AT ITER 2328 NEW BEST:: SOT 28645 SOS 6556 HAS SOPS 6556 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4394.556
AT ITER 2336 NEW BEST:: SOT 28571 SOS 6408 HAS SOPS 6408 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4316.408
AT ITER 2348 NEW BEST:: SOT 28571 SOS 6404 HAS SOPS 6404 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4314.404
AT ITER 2394 NEW BEST:: SOT 28571 SOS 6404 HAS SOPS 6404 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4292.404
AT ITER 2409 NEW BEST:: SOT 28571 SOS 6399 HAS SOPS 6399 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4292.399
AT ITER 2417 NEW BEST:: SOT 28571 SOS 6394 HAS SOPS 6394 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4287.394
AT ITER 2418 NEW BEST:: SOT 28571 SOS 6370 HAS SOPS 6370 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4273.37
AT ITER 2425 NEW BEST:: SOT 28568 SOS 6345 HAS SOPS 6345 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4267.345
AT ITER 2426 NEW BEST:: SOT 28551 SOS 6328 HAS SOPS 6328 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4264.328
AT ITER 2434 NEW BEST:: SOT 28546 SOS 6318 HAS SOPS 6318 HAS SOUS 4248 HAS SOUPS 4248 WITH SCORE 4254.318
AT ITER 2435 NEW BEST:: SOT 28540 SOS 6306 HAS SOPS 6306 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4244.306
AT ITER 2455 NEW BEST:: SOT 28517 SOS 6283 HAS SOPS 6283 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4234.283
AT ITER 2473 NEW BEST:: SOT 28517 SOS 6230 HAS SOPS 6230 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4234.23
AT ITER 2522 NEW BEST:: SOT 28483 SOS 6181 HAS SOPS 6181 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4215.181
AT ITER 2524 NEW BEST:: SOT 28466 SOS 6159 HAS SOPS 6159 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4193.159
AT ITER 2545 NEW BEST:: SOT 28457 SOS 6150 HAS SOPS 6150 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4184.15
AT ITER 2595 NEW BEST:: SOT 28456 SOS 6148 HAS SOPS 6148 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4182.148
AT ITER 2600 NEW BEST:: SOT 28454 SOS 6144 HAS SOPS 6144 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4178.144
AT ITER 2650 NEW BEST:: SOT 28454 SOS 6143 HAS SOPS 6143 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4177.143
AT ITER 2742 NEW BEST:: SOT 28452 SOS 6140 HAS SOPS 6140 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4175.14
AT ITER 2752 NEW BEST:: SOT 28448 SOS 6132 HAS SOPS 6132 HAS SOUS 4161 HAS SOUPS 4161 WITH SCORE 4167.132
AT ITER 2762 NEW BEST:: SOT 28450 SOS 6123 HAS SOPS 6123 HAS SOUS 4152 HAS SOUPS 4152 WITH SCORE 4158.123
AT ITER 2797 NEW BEST:: SOT 28430 SOS 6103 HAS SOPS 6103 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4138.103
AT ITER 2802 NEW BEST:: SOT 28436 SOS 6109 HAS SOPS 6109 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4132.109
AT ITER 2825 NEW BEST:: SOT 28428 SOS 6101 HAS SOPS 6101 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4125.101
AT ITER 2828 NEW BEST:: SOT 28441 SOS 6096 HAS SOPS 6096 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4120.096
AT ITER 2830 NEW BEST:: SOT 28413 SOS 6040 HAS SOPS 6040 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4107.04
AT ITER 2912 NEW BEST:: SOT 28412 SOS 6039 HAS SOPS 6039 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4106.039
AT ITER 2914 NEW BEST:: SOT 28395 SOS 6005 HAS SOPS 6005 HAS SOUS 4069 HAS SOUPS 4069 WITH SCORE 4075.005
AT ITER 2921 NEW BEST:: SOT 28396 SOS 5994 HAS SOPS 5994 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4073.994
AT ITER 2967 NEW BEST:: SOT 28353 SOS 6463 HAS SOPS 6463 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4059.463
AT ITER 3063 NEW BEST:: SOT 28353 SOS 6463 HAS SOPS 6463 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4057.463
AT ITER 3079 NEW BEST:: SOT 28359 SOS 6451 HAS SOPS 6451 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4056.451
AT ITER 3097 NEW BEST:: SOT 28359 SOS 6450 HAS SOPS 6450 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4056.45
AT ITER 3118 NEW BEST:: SOT 28363 SOS 6454 HAS SOPS 6454 HAS SOUS 4049 HAS SOUPS 4049 WITH SCORE 4055.454
AT ITER 3126 NEW BEST:: SOT 28363 SOS 6452 HAS SOPS 6452 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4053.452
AT ITER 3225 NEW BEST:: SOT 28364 SOS 6454 HAS SOPS 6454 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4050.454
AT ITER 3240 NEW BEST:: SOT 28350 SOS 6440 HAS SOPS 6440 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4040.44
AT ITER 3245 NEW BEST:: SOT 28357 SOS 6433 HAS SOPS 6433 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4033.433
AT ITER 3281 NEW BEST:: SOT 28355 SOS 6428 HAS SOPS 6428 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4026.428
AT ITER 3351 NEW BEST:: SOT 28355 SOS 6413 HAS SOPS 6413 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4026.413
AT ITER 3371 NEW BEST:: SOT 28346 SOS 6405 HAS SOPS 6405 HAS SOUS 4012 HAS SOUPS 4012 WITH SCORE 4018.405
AT ITER 3378 NEW BEST:: SOT 28330 SOS 6373 HAS SOPS 6373 HAS SOUS 3986 HAS SOUPS 3986 WITH SCORE 3992.373
AT ITER 3410 NEW BEST:: SOT 28301 SOS 6306 HAS SOPS 6306 HAS SOUS 3929 HAS SOUPS 3929 WITH SCORE 3935.306
AT ITER 3436 NEW BEST:: SOT 28301 SOS 6294 HAS SOPS 6294 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3923.294
AT ITER 3446 NEW BEST:: SOT 28299 SOS 6290 HAS SOPS 6290 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3923.29
AT ITER 3465 NEW BEST:: SOT 28299 SOS 6288 HAS SOPS 6288 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3921.288
AT ITER 3477 NEW BEST:: SOT 28298 SOS 6286 HAS SOPS 6286 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3920.286
AT ITER 3525 NEW BEST:: SOT 28303 SOS 6271 HAS SOPS 6271 HAS SOUS 3900 HAS SOUPS 3900 WITH SCORE 3906.271
AT ITER 3540 NEW BEST:: SOT 28298 SOS 6255 HAS SOPS 6255 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3895.255
AT ITER 3547 NEW BEST:: SOT 28297 SOS 6253 HAS SOPS 6253 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3894.253
AT ITER 3560 NEW BEST:: SOT 28291 SOS 6241 HAS SOPS 6241 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3891.241
AT ITER 3599 NEW BEST:: SOT 28289 SOS 6237 HAS SOPS 6237 HAS SOUS 3881 HAS SOUPS 3881 WITH SCORE 3887.237
AT ITER 3603 NEW BEST:: SOT 28278 SOS 6224 HAS SOPS 6224 HAS SOUS 3868 HAS SOUPS 3868 WITH SCORE 3874.224
AT ITER 3605 NEW BEST:: SOT 28276 SOS 6220 HAS SOPS 6220 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3870.22
AT ITER 3644 NEW BEST:: SOT 28268 SOS 6208 HAS SOPS 6208 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3863.208
AT ITER 3683 NEW BEST:: SOT 28262 SOS 6079 HAS SOPS 6079 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3856.079
AT ITER 3757 NEW BEST:: SOT 28262 SOS 6074 HAS SOPS 6074 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3856.074
AT ITER 3884 NEW BEST:: SOT 28251 SOS 6063 HAS SOPS 6063 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3845.063
AT ITER 3930 NEW BEST:: SOT 28244 SOS 6056 HAS SOPS 6056 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3845.056
AT ITER 4054 NEW BEST:: SOT 28240 SOS 6048 HAS SOPS 6048 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3837.048
AT ITER 4129 NEW BEST:: SOT 28240 SOS 5982 HAS SOPS 5982 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3814.982
AT ITER 4153 NEW BEST:: SOT 28234 SOS 5970 HAS SOPS 5970 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3808.97
AT ITER 4239 NEW BEST:: SOT 28232 SOS 5968 HAS SOPS 5968 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3806.968
AT ITER 4242 NEW BEST:: SOT 28232 SOS 5968 HAS SOPS 5968 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3805.968
AT ITER 4270 NEW BEST:: SOT 28218 SOS 5954 HAS SOPS 5954 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3805.954
AT ITER 4343 NEW BEST:: SOT 28212 SOS 5942 HAS SOPS 5942 HAS SOUS 3793 HAS SOUPS 3793 WITH SCORE 3798.942
AT ITER 4345 NEW BEST:: SOT 28210 SOS 5940 HAS SOPS 5940 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3796.94
AT ITER 4405 NEW BEST:: SOT 28206 SOS 5932 HAS SOPS 5932 HAS SOUS 3788 HAS SOUPS 3788 WITH SCORE 3793.932
AT ITER 4444 NEW BEST:: SOT 28215 SOS 5918 HAS SOPS 5918 HAS SOUS 3784 HAS SOUPS 3784 WITH SCORE 3789.918
AT ITER 4462 NEW BEST:: SOT 28211 SOS 5910 HAS SOPS 5910 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3785.91
AT ITER 4540 NEW BEST:: SOT 28210 SOS 5909 HAS SOPS 5909 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3784.909
AT ITER 4633 NEW BEST:: SOT 28208 SOS 5900 HAS SOPS 5900 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3775.9
AT ITER 4680 NEW BEST:: SOT 28205 SOS 5891 HAS SOPS 5891 HAS SOUS 3767 HAS SOUPS 3767 WITH SCORE 3772.891
AT ITER 4751 NEW BEST:: SOT 28191 SOS 5911 HAS SOPS 5911 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3762.911
AT ITER 4810 NEW BEST:: SOT 28170 SOS 5869 HAS SOPS 5869 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3761.869
AT ITER 4861 NEW BEST:: SOT 28169 SOS 5868 HAS SOPS 5868 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3761.868
AT ITER 4880 NEW BEST:: SOT 28173 SOS 5867 HAS SOPS 5867 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3760.867
AT ITER 4895 NEW BEST:: SOT 28162 SOS 5953 HAS SOPS 5953 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3758.953
AT ITER 4936 NEW BEST:: SOT 28161 SOS 5952 HAS SOPS 5952 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3757.952
AT ITER 4940 NEW BEST:: SOT 28163 SOS 5951 HAS SOPS 5951 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3751.951
AT ITER 4948 NEW BEST:: SOT 28145 SOS 5920 HAS SOPS 5920 HAS SOUS 3745 HAS SOUPS 3745 WITH SCORE 3750.92
AT ITER 5022 NEW BEST:: SOT 28145 SOS 5920 HAS SOPS 5920 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3744.92
AT ITER 5047 NEW BEST:: SOT 28097 SOS 5824 HAS SOPS 5824 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3744.824
AT ITER 5245 NEW BEST:: SOT 28090 SOS 5810 HAS SOPS 5810 HAS SOUS 3725 HAS SOUPS 3725 WITH SCORE 3730.81
AT ITER 5312 NEW BEST:: SOT 28090 SOS 5808 HAS SOPS 5808 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3728.808
AT ITER 5446 NEW BEST:: SOT 28090 SOS 5807 HAS SOPS 5807 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3727.807
AT ITER 5454 NEW BEST:: SOT 28090 SOS 5804 HAS SOPS 5804 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3724.804
AT ITER 5462 NEW BEST:: SOT 28114 SOS 5828 HAS SOPS 5828 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3723.828
AT ITER 5496 NEW BEST:: SOT 28109 SOS 5823 HAS SOPS 5823 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3723.823
AT ITER 5565 NEW BEST:: SOT 28107 SOS 5819 HAS SOPS 5819 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3719.819
AT ITER 5571 NEW BEST:: SOT 28103 SOS 5806 HAS SOPS 5806 HAS SOUS 3701 HAS SOUPS 3701 WITH SCORE 3706.806
AT ITER 5598 NEW BEST:: SOT 28062 SOS 5724 HAS SOPS 5724 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3702.724
AT ITER 5615 NEW BEST:: SOT 28060 SOS 5720 HAS SOPS 5720 HAS SOUS 3687 HAS SOUPS 3687 WITH SCORE 3692.72
AT ITER 5639 NEW BEST:: SOT 28053 SOS 5706 HAS SOPS 5706 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3678.706
AT ITER 5682 NEW BEST:: SOT 28047 SOS 5713 HAS SOPS 5713 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3676.713
AT ITER 5735 NEW BEST:: SOT 28044 SOS 5707 HAS SOPS 5707 HAS SOUS 3661 HAS SOUPS 3661 WITH SCORE 3666.707
AT ITER 5744 NEW BEST:: SOT 28041 SOS 5701 HAS SOPS 5701 HAS SOUS 3655 HAS SOUPS 3655 WITH SCORE 3660.701
AT ITER 5830 NEW BEST:: SOT 28035 SOS 5689 HAS SOPS 5689 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3648.689
AT ITER 5851 NEW BEST:: SOT 28032 SOS 5683 HAS SOPS 5683 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3642.683
AT ITER 5890 NEW BEST:: SOT 28026 SOS 5677 HAS SOPS 5677 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3639.677
AT ITER 5913 NEW BEST:: SOT 28023 SOS 5676 HAS SOPS 5676 HAS SOUS 3633 HAS SOUPS 3633 WITH SCORE 3638.676
AT ITER 5925 NEW BEST:: SOT 28021 SOS 5672 HAS SOPS 5672 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3634.672
AT ITER 5984 NEW BEST:: SOT 28016 SOS 5662 HAS SOPS 5662 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3624.662
AT ITER 6011 NEW BEST:: SOT 28020 SOS 5660 HAS SOPS 5660 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3623.66
AT ITER 6037 NEW BEST:: SOT 28020 SOS 5660 HAS SOPS 5660 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3621.66
AT ITER 6078 NEW BEST:: SOT 28020 SOS 5651 HAS SOPS 5651 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3621.651
AT ITER 6096 NEW BEST:: SOT 28019 SOS 5649 HAS SOPS 5649 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3620.649
AT ITER 6099 NEW BEST:: SOT 28018 SOS 5647 HAS SOPS 5647 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3619.647
AT ITER 6105 NEW BEST:: SOT 28011 SOS 5645 HAS SOPS 5645 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3618.645
AT ITER 6127 NEW BEST:: SOT 28005 SOS 5641 HAS SOPS 5641 HAS SOUS 3609 HAS SOUPS 3609 WITH SCORE 3614.641
AT ITER 6249 NEW BEST:: SOT 28005 SOS 5629 HAS SOPS 5629 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3612.629
AT ITER 6272 NEW BEST:: SOT 28003 SOS 5625 HAS SOPS 5625 HAS SOUS 3605 HAS SOUPS 3605 WITH SCORE 3610.625
AT ITER 6314 NEW BEST:: SOT 28003 SOS 5625 HAS SOPS 5625 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3609.625
AT ITER 6421 NEW BEST:: SOT 27991 SOS 5616 HAS SOPS 5616 HAS SOUS 3600 HAS SOUPS 3600 WITH SCORE 3605.616
AT ITER 6469 NEW BEST:: SOT 28024 SOS 5647 HAS SOPS 5647 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3602.647
AT ITER 6473 NEW BEST:: SOT 28021 SOS 5644 HAS SOPS 5644 HAS SOUS 3594 HAS SOUPS 3594 WITH SCORE 3599.644
AT ITER 6608 NEW BEST:: SOT 28020 SOS 5643 HAS SOPS 5643 HAS SOUS 3594 HAS SOUPS 3594 WITH SCORE 3599.643
AT ITER 6613 NEW BEST:: SOT 28019 SOS 5639 HAS SOPS 5639 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3597.639
AT ITER 6618 NEW BEST:: SOT 28016 SOS 5636 HAS SOPS 5636 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3591.636
AT ITER 6766 NEW BEST:: SOT 28012 SOS 5652 HAS SOPS 5652 HAS SOUS 3584 HAS SOUPS 3584 WITH SCORE 3589.652
AT ITER 6767 NEW BEST:: SOT 28012 SOS 5652 HAS SOPS 5652 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3588.652
AT ITER 6815 NEW BEST:: SOT 28010 SOS 5650 HAS SOPS 5650 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3586.65
AT ITER 6837 NEW BEST:: SOT 28007 SOS 5644 HAS SOPS 5644 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3580.644
AT ITER 6993 NEW BEST:: SOT 28007 SOS 5642 HAS SOPS 5642 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3578.642
AT ITER 7075 NEW BEST:: SOT 28007 SOS 5638 HAS SOPS 5638 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3578.638
AT ITER 7077 NEW BEST:: SOT 27999 SOS 5643 HAS SOPS 5643 HAS SOUS 3564 HAS SOUPS 3564 WITH SCORE 3569.643
AT ITER 7098 NEW BEST:: SOT 27998 SOS 5634 HAS SOPS 5634 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3563.634
AT ITER 7099 NEW BEST:: SOT 27988 SOS 5624 HAS SOPS 5624 HAS SOUS 3545 HAS SOUPS 3545 WITH SCORE 3550.624
AT ITER 7163 NEW BEST:: SOT 27988 SOS 5623 HAS SOPS 5623 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3549.623
AT ITER 7381 NEW BEST:: SOT 27986 SOS 5621 HAS SOPS 5621 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3549.621
AT ITER 7413 NEW BEST:: SOT 27986 SOS 5618 HAS SOPS 5618 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3547.618
AT ITER 7424 NEW BEST:: SOT 27985 SOS 5616 HAS SOPS 5616 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3546.616
AT ITER 7427 NEW BEST:: SOT 27989 SOS 5598 HAS SOPS 5598 HAS SOUS 3540 HAS SOUPS 3540 WITH SCORE 3545.598
AT ITER 7475 NEW BEST:: SOT 27985 SOS 5594 HAS SOPS 5594 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3542.594
AT ITER 7516 NEW BEST:: SOT 27981 SOS 5586 HAS SOPS 5586 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3534.586
AT ITER 7521 NEW BEST:: SOT 27978 SOS 5580 HAS SOPS 5580 HAS SOUS 3528 HAS SOUPS 3528 WITH SCORE 3533.58
AT ITER 7557 NEW BEST:: SOT 27977 SOS 5578 HAS SOPS 5578 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3531.578
AT ITER 7644 NEW BEST:: SOT 27976 SOS 5576 HAS SOPS 5576 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3529.576
AT ITER 7831 NEW BEST:: SOT 27972 SOS 5568 HAS SOPS 5568 HAS SOUS 3522 HAS SOUPS 3522 WITH SCORE 3527.568
AT ITER 7893 NEW BEST:: SOT 27972 SOS 5568 HAS SOPS 5568 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3524.568
AT ITER 7904 NEW BEST:: SOT 27972 SOS 5567 HAS SOPS 5567 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3523.567
AT ITER 7955 NEW BEST:: SOT 27971 SOS 5560 HAS SOPS 5560 HAS SOUS 3516 HAS SOUPS 3516 WITH SCORE 3521.56
AT ITER 8001 NEW BEST:: SOT 27967 SOS 5552 HAS SOPS 5552 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3515.552
AT ITER 8070 NEW BEST:: SOT 27961 SOS 5540 HAS SOPS 5540 HAS SOUS 3501 HAS SOUPS 3501 WITH SCORE 3506.54
AT ITER 8142 NEW BEST:: SOT 27961 SOS 5543 HAS SOPS 5543 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3505.543
AT ITER 8168 NEW BEST:: SOT 27955 SOS 5531 HAS SOPS 5531 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3499.531
AT ITER 8252 NEW BEST:: SOT 27954 SOS 5530 HAS SOPS 5530 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3498.53
AT ITER 8257 NEW BEST:: SOT 27948 SOS 5581 HAS SOPS 5581 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3495.581
AT ITER 8286 NEW BEST:: SOT 27946 SOS 5577 HAS SOPS 5577 HAS SOUS 3487 HAS SOUPS 3487 WITH SCORE 3492.577
AT ITER 8325 NEW BEST:: SOT 27943 SOS 5571 HAS SOPS 5571 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3489.571
AT ITER 8350 NEW BEST:: SOT 27939 SOS 5568 HAS SOPS 5568 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3486.568
AT ITER 8351 NEW BEST:: SOT 27939 SOS 5566 HAS SOPS 5566 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3484.566
AT ITER 8379 NEW BEST:: SOT 27938 SOS 5564 HAS SOPS 5564 HAS SOUS 3477 HAS SOUPS 3477 WITH SCORE 3482.564
AT ITER 8389 NEW BEST:: SOT 27936 SOS 5562 HAS SOPS 5562 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3480.562
AT ITER 8445 NEW BEST:: SOT 27930 SOS 5550 HAS SOPS 5550 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3468.55
AT ITER 8451 NEW BEST:: SOT 27930 SOS 5550 HAS SOPS 5550 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3466.55
AT ITER 8596 NEW BEST:: SOT 27927 SOS 5544 HAS SOPS 5544 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3460.544
AT ITER 8600 NEW BEST:: SOT 27926 SOS 5542 HAS SOPS 5542 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3458.542
AT ITER 8607 NEW BEST:: SOT 27934 SOS 5548 HAS SOPS 5548 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3453.548
AT ITER 8618 NEW BEST:: SOT 27927 SOS 5527 HAS SOPS 5527 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3444.527
AT ITER 8657 NEW BEST:: SOT 27917 SOS 5517 HAS SOPS 5517 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3435.517
AT ITER 8691 NEW BEST:: SOT 27916 SOS 5515 HAS SOPS 5515 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3433.515
AT ITER 8747 NEW BEST:: SOT 27904 SOS 5502 HAS SOPS 5502 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3431.502
AT ITER 8754 NEW BEST:: SOT 27902 SOS 5498 HAS SOPS 5498 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3427.498
AT ITER 8762 NEW BEST:: SOT 27900 SOS 5498 HAS SOPS 5498 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3424.498
AT ITER 8914 NEW BEST:: SOT 27890 SOS 5488 HAS SOPS 5488 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3414.488
AT ITER 8934 NEW BEST:: SOT 27881 SOS 5470 HAS SOPS 5470 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3414.47
AT ITER 8945 NEW BEST:: SOT 27879 SOS 5468 HAS SOPS 5468 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3412.468
AT ITER 9017 NEW BEST:: SOT 27880 SOS 5469 HAS SOPS 5469 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3411.469
AT ITER 9180 NEW BEST:: SOT 27879 SOS 5467 HAS SOPS 5467 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3409.467
AT ITER 9216 NEW BEST:: SOT 27878 SOS 5465 HAS SOPS 5465 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3407.465
AT ITER 9264 NEW BEST:: SOT 27870 SOS 5457 HAS SOPS 5457 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3407.457
AT ITER 9293 NEW BEST:: SOT 27863 SOS 5448 HAS SOPS 5448 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3403.448
AT ITER 9316 NEW BEST:: SOT 27863 SOS 5445 HAS SOPS 5445 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3403.445
AT ITER 9365 NEW BEST:: SOT 27844 SOS 5426 HAS SOPS 5426 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3403.426
AT ITER 9372 NEW BEST:: SOT 27844 SOS 5367 HAS SOPS 5367 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3394.367
AT ITER 9474 NEW BEST:: SOT 27841 SOS 5364 HAS SOPS 5364 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3391.364
AT ITER 9488 NEW BEST:: SOT 27839 SOS 5366 HAS SOPS 5366 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3387.366
AT ITER 9501 NEW BEST:: SOT 27837 SOS 5320 HAS SOPS 5320 HAS SOUS 3374 HAS SOUPS 3374 WITH SCORE 3379.32
AT ITER 9532 NEW BEST:: SOT 27837 SOS 5320 HAS SOPS 5320 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3378.32
AT ITER 9556 NEW BEST:: SOT 27837 SOS 5320 HAS SOPS 5320 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3375.32
AT ITER 9697 NEW BEST:: SOT 27836 SOS 5318 HAS SOPS 5318 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3372.318
AT ITER 9699 NEW BEST:: SOT 27836 SOS 5317 HAS SOPS 5317 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3372.317
AT ITER 9887 NEW BEST:: SOT 27836 SOS 5317 HAS SOPS 5317 HAS SOUS 3341 HAS SOUPS 3341 WITH SCORE 3346.317
AT ITER 9911 NEW BEST:: SOT 27832 SOS 5309 HAS SOPS 5309 HAS SOUS 3333 HAS SOUPS 3333 WITH SCORE 3338.309
AT ITER 9923 NEW BEST:: SOT 27831 SOS 5307 HAS SOPS 5307 HAS SOUS 3333 HAS SOUPS 3333 WITH SCORE 3338.307
STATE_SPACE STATES 19706343297 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 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 158985414038 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679182472872

--------------------
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="SmartHome-PT-05"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is SmartHome-PT-05, 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 r451-smll-167912643200192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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