Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r153-oct2-158972910000259.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RwMutex-PT-r0010w0050, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910000259
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 3.9K Apr 12 11:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 11:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 11 12:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 11 12:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 16:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 16:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 9 23:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Apr 9 23:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 88K Mar 24 05:38 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 RwMutex-PT-r0010w0050-CTLCardinality-00
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-01
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-02
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-03
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-04
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-05
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-06
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-07
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-08
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-09
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-10
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-11
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-12
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-13
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-14
FORMULA_NAME RwMutex-PT-r0010w0050-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589742600976

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0010w0050
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: 130 places, 120 transitions, 1260 arcs.
AT ITER 0 NEW BEST:: SOT 15274 SOS 11616 HAS SOPS 11616 HAS SOUS 11616 HAS SOUPS 11616 WITH SCORE 11627.616
AT ITER 1 NEW BEST:: SOT 15274 SOS 11500 HAS SOPS 11500 HAS SOUS 11500 HAS SOUPS 11500 WITH SCORE 11511.5
AT ITER 2 NEW BEST:: SOT 15274 SOS 11458 HAS SOPS 11458 HAS SOUS 11458 HAS SOUPS 11458 WITH SCORE 11469.458
AT ITER 3 NEW BEST:: SOT 15274 SOS 11364 HAS SOPS 11364 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11375.364
AT ITER 5 NEW BEST:: SOT 15274 SOS 11344 HAS SOPS 11344 HAS SOUS 11344 HAS SOUPS 11344 WITH SCORE 11355.344
AT ITER 8 NEW BEST:: SOT 15274 SOS 11298 HAS SOPS 11298 HAS SOUS 11298 HAS SOUPS 11298 WITH SCORE 11309.298
AT ITER 13 NEW BEST:: SOT 15274 SOS 11190 HAS SOPS 11190 HAS SOUS 11190 HAS SOUPS 11190 WITH SCORE 11201.19
AT ITER 14 NEW BEST:: SOT 15274 SOS 11150 HAS SOPS 11150 HAS SOUS 11150 HAS SOUPS 11150 WITH SCORE 11161.15
AT ITER 17 NEW BEST:: SOT 15274 SOS 11110 HAS SOPS 11110 HAS SOUS 11110 HAS SOUPS 11110 WITH SCORE 11121.11
AT ITER 23 NEW BEST:: SOT 15096 SOS 11472 HAS SOPS 11472 HAS SOUS 11034 HAS SOUPS 11034 WITH SCORE 11045.472
AT ITER 25 NEW BEST:: SOT 15096 SOS 11472 HAS SOPS 11472 HAS SOUS 11006 HAS SOUPS 11006 WITH SCORE 11017.472
AT ITER 30 NEW BEST:: SOT 15096 SOS 11460 HAS SOPS 11460 HAS SOUS 10994 HAS SOUPS 10994 WITH SCORE 11005.46
AT ITER 31 NEW BEST:: SOT 15096 SOS 11436 HAS SOPS 11436 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10881.436
AT ITER 32 NEW BEST:: SOT 15076 SOS 11416 HAS SOPS 11416 HAS SOUS 10850 HAS SOUPS 10850 WITH SCORE 10861.416
AT ITER 36 NEW BEST:: SOT 15076 SOS 11382 HAS SOPS 11382 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10827.382
AT ITER 37 NEW BEST:: SOT 15076 SOS 11336 HAS SOPS 11336 HAS SOUS 10686 HAS SOUPS 10686 WITH SCORE 10697.336
AT ITER 38 NEW BEST:: SOT 14954 SOS 11214 HAS SOPS 11214 HAS SOUS 10564 HAS SOUPS 10564 WITH SCORE 10575.214
AT ITER 41 NEW BEST:: SOT 14954 SOS 11202 HAS SOPS 11202 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10535.202
AT ITER 44 NEW BEST:: SOT 14954 SOS 11186 HAS SOPS 11186 HAS SOUS 10482 HAS SOUPS 10482 WITH SCORE 10493.186
AT ITER 45 NEW BEST:: SOT 14954 SOS 10854 HAS SOPS 10854 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10470.854
AT ITER 47 NEW BEST:: SOT 14954 SOS 10854 HAS SOPS 10854 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10450.854
AT ITER 48 NEW BEST:: SOT 14954 SOS 10824 HAS SOPS 10824 HAS SOUS 10336 HAS SOUPS 10336 WITH SCORE 10346.824
AT ITER 53 NEW BEST:: SOT 14954 SOS 10760 HAS SOPS 10760 HAS SOUS 10226 HAS SOUPS 10226 WITH SCORE 10236.76
AT ITER 62 NEW BEST:: SOT 14954 SOS 10708 HAS SOPS 10708 HAS SOUS 10174 HAS SOUPS 10174 WITH SCORE 10184.708
AT ITER 63 NEW BEST:: SOT 14954 SOS 10704 HAS SOPS 10704 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10180.704
AT ITER 66 NEW BEST:: SOT 14864 SOS 10614 HAS SOPS 10614 HAS SOUS 10080 HAS SOUPS 10080 WITH SCORE 10090.614
AT ITER 69 NEW BEST:: SOT 14864 SOS 10612 HAS SOPS 10612 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10088.612
AT ITER 71 NEW BEST:: SOT 14864 SOS 10560 HAS SOPS 10560 HAS SOUS 10012 HAS SOUPS 10012 WITH SCORE 10022.56
AT ITER 72 NEW BEST:: SOT 14864 SOS 10560 HAS SOPS 10560 HAS SOUS 10010 HAS SOUPS 10010 WITH SCORE 10020.56
AT ITER 73 NEW BEST:: SOT 14858 SOS 10554 HAS SOPS 10554 HAS SOUS 10004 HAS SOUPS 10004 WITH SCORE 10014.554
AT ITER 75 NEW BEST:: SOT 14858 SOS 10530 HAS SOPS 10530 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 9990.53
AT ITER 78 NEW BEST:: SOT 14858 SOS 10530 HAS SOPS 10530 HAS SOUS 9972 HAS SOUPS 9972 WITH SCORE 9982.53
AT ITER 80 NEW BEST:: SOT 14850 SOS 10522 HAS SOPS 10522 HAS SOUS 9956 HAS SOUPS 9956 WITH SCORE 9966.522
AT ITER 81 NEW BEST:: SOT 14850 SOS 10518 HAS SOPS 10518 HAS SOUS 9952 HAS SOUPS 9952 WITH SCORE 9962.518
AT ITER 82 NEW BEST:: SOT 14838 SOS 12944 HAS SOPS 12944 HAS SOUS 9912 HAS SOUPS 9912 WITH SCORE 9924.944
AT ITER 83 NEW BEST:: SOT 14838 SOS 12944 HAS SOPS 12944 HAS SOUS 9776 HAS SOUPS 9776 WITH SCORE 9788.944
AT ITER 85 NEW BEST:: SOT 14734 SOS 12840 HAS SOPS 12840 HAS SOUS 9672 HAS SOUPS 9672 WITH SCORE 9684.84
AT ITER 86 NEW BEST:: SOT 14734 SOS 12840 HAS SOPS 12840 HAS SOUS 9632 HAS SOUPS 9632 WITH SCORE 9644.84
AT ITER 94 NEW BEST:: SOT 14662 SOS 12768 HAS SOPS 12768 HAS SOUS 9560 HAS SOUPS 9560 WITH SCORE 9572.768
AT ITER 100 NEW BEST:: SOT 14662 SOS 12768 HAS SOPS 12768 HAS SOUS 9506 HAS SOUPS 9506 WITH SCORE 9518.768
AT ITER 103 NEW BEST:: SOT 14662 SOS 12732 HAS SOPS 12732 HAS SOUS 9470 HAS SOUPS 9470 WITH SCORE 9482.732
AT ITER 104 NEW BEST:: SOT 14616 SOS 12686 HAS SOPS 12686 HAS SOUS 9470 HAS SOUPS 9470 WITH SCORE 9482.686
AT ITER 105 NEW BEST:: SOT 14616 SOS 12686 HAS SOPS 12686 HAS SOUS 9406 HAS SOUPS 9406 WITH SCORE 9418.686
AT ITER 107 NEW BEST:: SOT 14616 SOS 12686 HAS SOPS 12686 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9410.686
AT ITER 110 NEW BEST:: SOT 14592 SOS 12662 HAS SOPS 12662 HAS SOUS 9364 HAS SOUPS 9364 WITH SCORE 9376.662
AT ITER 114 NEW BEST:: SOT 14592 SOS 12544 HAS SOPS 12544 HAS SOUS 9358 HAS SOUPS 9358 WITH SCORE 9370.544
AT ITER 120 NEW BEST:: SOT 14592 SOS 12548 HAS SOPS 12548 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9358.548
AT ITER 124 NEW BEST:: SOT 14548 SOS 12504 HAS SOPS 12504 HAS SOUS 9302 HAS SOUPS 9302 WITH SCORE 9314.504
AT ITER 126 NEW BEST:: SOT 14548 SOS 12504 HAS SOPS 12504 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9284.504
AT ITER 131 NEW BEST:: SOT 14548 SOS 12504 HAS SOPS 12504 HAS SOUS 9232 HAS SOUPS 9232 WITH SCORE 9244.504
AT ITER 136 NEW BEST:: SOT 14466 SOS 12422 HAS SOPS 12422 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9114.422
AT ITER 137 NEW BEST:: SOT 14466 SOS 12422 HAS SOPS 12422 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9108.422
AT ITER 138 NEW BEST:: SOT 14466 SOS 12416 HAS SOPS 12416 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9102.416
AT ITER 139 NEW BEST:: SOT 14466 SOS 12366 HAS SOPS 12366 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9060.366
AT ITER 145 NEW BEST:: SOT 14222 SOS 12160 HAS SOPS 12160 HAS SOUS 8842 HAS SOUPS 8842 WITH SCORE 8854.16
AT ITER 146 NEW BEST:: SOT 14222 SOS 12160 HAS SOPS 12160 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8848.16
AT ITER 147 NEW BEST:: SOT 14220 SOS 12158 HAS SOPS 12158 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8846.158
AT ITER 150 NEW BEST:: SOT 14144 SOS 12082 HAS SOPS 12082 HAS SOUS 8782 HAS SOUPS 8782 WITH SCORE 8794.082
AT ITER 154 NEW BEST:: SOT 14144 SOS 12080 HAS SOPS 12080 HAS SOUS 8694 HAS SOUPS 8694 WITH SCORE 8706.08
AT ITER 159 NEW BEST:: SOT 14144 SOS 12080 HAS SOPS 12080 HAS SOUS 8688 HAS SOUPS 8688 WITH SCORE 8700.08
AT ITER 162 NEW BEST:: SOT 14144 SOS 12080 HAS SOPS 12080 HAS SOUS 8664 HAS SOUPS 8664 WITH SCORE 8676.08
AT ITER 165 NEW BEST:: SOT 14144 SOS 12080 HAS SOPS 12080 HAS SOUS 8650 HAS SOUPS 8650 WITH SCORE 8662.08
AT ITER 166 NEW BEST:: SOT 14144 SOS 12080 HAS SOPS 12080 HAS SOUS 8630 HAS SOUPS 8630 WITH SCORE 8642.08
AT ITER 167 NEW BEST:: SOT 14144 SOS 12080 HAS SOPS 12080 HAS SOUS 8614 HAS SOUPS 8614 WITH SCORE 8626.08
AT ITER 173 NEW BEST:: SOT 14128 SOS 12108 HAS SOPS 12108 HAS SOUS 8544 HAS SOUPS 8544 WITH SCORE 8556.108
AT ITER 178 NEW BEST:: SOT 14128 SOS 12108 HAS SOPS 12108 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8522.108
AT ITER 181 NEW BEST:: SOT 14128 SOS 12108 HAS SOPS 12108 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8518.108
AT ITER 184 NEW BEST:: SOT 14128 SOS 12108 HAS SOPS 12108 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8462.108
AT ITER 185 NEW BEST:: SOT 14128 SOS 12066 HAS SOPS 12066 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8462.066
AT ITER 188 NEW BEST:: SOT 14128 SOS 12066 HAS SOPS 12066 HAS SOUS 8396 HAS SOUPS 8396 WITH SCORE 8408.066
AT ITER 189 NEW BEST:: SOT 14128 SOS 12066 HAS SOPS 12066 HAS SOUS 8376 HAS SOUPS 8376 WITH SCORE 8388.066
AT ITER 191 NEW BEST:: SOT 14128 SOS 12062 HAS SOPS 12062 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8376.062
AT ITER 196 NEW BEST:: SOT 14128 SOS 12062 HAS SOPS 12062 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8334.062
AT ITER 202 NEW BEST:: SOT 14128 SOS 11178 HAS SOPS 11178 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8311.178
AT ITER 203 NEW BEST:: SOT 14128 SOS 10648 HAS SOPS 10648 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8310.648
AT ITER 207 NEW BEST:: SOT 14128 SOS 10648 HAS SOPS 10648 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8286.648
AT ITER 209 NEW BEST:: SOT 14128 SOS 10648 HAS SOPS 10648 HAS SOUS 8248 HAS SOUPS 8248 WITH SCORE 8258.648
AT ITER 210 NEW BEST:: SOT 14128 SOS 10636 HAS SOPS 10636 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8154.636
AT ITER 211 NEW BEST:: SOT 14108 SOS 10612 HAS SOPS 10612 HAS SOUS 8120 HAS SOUPS 8120 WITH SCORE 8130.612
AT ITER 212 NEW BEST:: SOT 14108 SOS 12332 HAS SOPS 12332 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8128.332
AT ITER 215 NEW BEST:: SOT 14108 SOS 12332 HAS SOPS 12332 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8110.332
AT ITER 218 NEW BEST:: SOT 14108 SOS 12370 HAS SOPS 12370 HAS SOUS 8064 HAS SOUPS 8064 WITH SCORE 8076.37
AT ITER 224 NEW BEST:: SOT 14108 SOS 12370 HAS SOPS 12370 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8038.37
AT ITER 230 NEW BEST:: SOT 14108 SOS 12264 HAS SOPS 12264 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8038.264
AT ITER 231 NEW BEST:: SOT 14108 SOS 12264 HAS SOPS 12264 HAS SOUS 8004 HAS SOUPS 8004 WITH SCORE 8016.264
AT ITER 234 NEW BEST:: SOT 14108 SOS 12264 HAS SOPS 12264 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8012.264
AT ITER 240 NEW BEST:: SOT 14108 SOS 12264 HAS SOPS 12264 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 8002.264
AT ITER 247 NEW BEST:: SOT 14108 SOS 12092 HAS SOPS 12092 HAS SOUS 7986 HAS SOUPS 7986 WITH SCORE 7998.092
AT ITER 253 NEW BEST:: SOT 14084 SOS 12084 HAS SOPS 12084 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 7990.084
AT ITER 268 NEW BEST:: SOT 14084 SOS 12084 HAS SOPS 12084 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7980.084
AT ITER 269 NEW BEST:: SOT 14084 SOS 12062 HAS SOPS 12062 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7958.062
AT ITER 270 NEW BEST:: SOT 14084 SOS 12062 HAS SOPS 12062 HAS SOUS 7916 HAS SOUPS 7916 WITH SCORE 7928.062
AT ITER 271 NEW BEST:: SOT 14084 SOS 12056 HAS SOPS 12056 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7922.056
AT ITER 279 NEW BEST:: SOT 14084 SOS 12056 HAS SOPS 12056 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7908.056
AT ITER 281 NEW BEST:: SOT 13600 SOS 11572 HAS SOPS 11572 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7403.572
AT ITER 284 NEW BEST:: SOT 13128 SOS 11100 HAS SOPS 11100 HAS SOUS 6920 HAS SOUPS 6920 WITH SCORE 6931.1
AT ITER 301 NEW BEST:: SOT 13128 SOS 11100 HAS SOPS 11100 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6927.1
AT ITER 309 NEW BEST:: SOT 11952 SOS 9998 HAS SOPS 9998 HAS SOUS 5826 HAS SOUPS 5826 WITH SCORE 5835.998
AT ITER 317 NEW BEST:: SOT 11952 SOS 9108 HAS SOPS 9108 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5823.108
AT ITER 321 NEW BEST:: SOT 11952 SOS 9102 HAS SOPS 9102 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5817.102
AT ITER 328 NEW BEST:: SOT 11946 SOS 9096 HAS SOPS 9096 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5811.096
AT ITER 333 NEW BEST:: SOT 11946 SOS 9096 HAS SOPS 9096 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5801.096
AT ITER 342 NEW BEST:: SOT 11946 SOS 9096 HAS SOPS 9096 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5789.096
AT ITER 357 NEW BEST:: SOT 11946 SOS 9096 HAS SOPS 9096 HAS SOUS 5766 HAS SOUPS 5766 WITH SCORE 5775.096
AT ITER 358 NEW BEST:: SOT 11898 SOS 9048 HAS SOPS 9048 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5675.048
AT ITER 371 NEW BEST:: SOT 11870 SOS 9020 HAS SOPS 9020 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5619.02
AT ITER 375 NEW BEST:: SOT 11864 SOS 9014 HAS SOPS 9014 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5607.014
AT ITER 378 NEW BEST:: SOT 11864 SOS 9008 HAS SOPS 9008 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5601.008
AT ITER 381 NEW BEST:: SOT 11864 SOS 9008 HAS SOPS 9008 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5579.008
AT ITER 383 NEW BEST:: SOT 11854 SOS 8998 HAS SOPS 8998 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5558.998
AT ITER 385 NEW BEST:: SOT 11288 SOS 9888 HAS SOPS 9888 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5091.888
AT ITER 394 NEW BEST:: SOT 11288 SOS 9854 HAS SOPS 9854 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5091.854
AT ITER 401 NEW BEST:: SOT 11288 SOS 8436 HAS SOPS 8436 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5072.436
AT ITER 408 NEW BEST:: SOT 11288 SOS 8432 HAS SOPS 8432 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5068.432
AT ITER 422 NEW BEST:: SOT 11276 SOS 8420 HAS SOPS 8420 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5044.42
AT ITER 423 NEW BEST:: SOT 11276 SOS 8420 HAS SOPS 8420 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5026.42
AT ITER 427 NEW BEST:: SOT 11208 SOS 8352 HAS SOPS 8352 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4838.352
AT ITER 429 NEW BEST:: SOT 11188 SOS 8332 HAS SOPS 8332 HAS SOUS 4790 HAS SOUPS 4790 WITH SCORE 4798.332
AT ITER 436 NEW BEST:: SOT 11152 SOS 8296 HAS SOPS 8296 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4758.296
AT ITER 437 NEW BEST:: SOT 11152 SOS 8292 HAS SOPS 8292 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4754.292
AT ITER 448 NEW BEST:: SOT 11140 SOS 8280 HAS SOPS 8280 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4730.28
AT ITER 450 NEW BEST:: SOT 11140 SOS 8278 HAS SOPS 8278 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4698.278
AT ITER 455 NEW BEST:: SOT 10878 SOS 8124 HAS SOPS 8124 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4538.124
AT ITER 457 NEW BEST:: SOT 10878 SOS 8124 HAS SOPS 8124 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4526.124
AT ITER 464 NEW BEST:: SOT 10872 SOS 8118 HAS SOPS 8118 HAS SOUS 4504 HAS SOUPS 4504 WITH SCORE 4512.118
AT ITER 480 NEW BEST:: SOT 10858 SOS 8104 HAS SOPS 8104 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4482.104
AT ITER 481 NEW BEST:: SOT 10858 SOS 8104 HAS SOPS 8104 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4468.104
AT ITER 483 NEW BEST:: SOT 10858 SOS 8156 HAS SOPS 8156 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4452.156
AT ITER 500 NEW BEST:: SOT 10806 SOS 8104 HAS SOPS 8104 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4392.104
AT ITER 503 NEW BEST:: SOT 10578 SOS 8436 HAS SOPS 8436 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4182.436
AT ITER 507 NEW BEST:: SOT 10578 SOS 8436 HAS SOPS 8436 HAS SOUS 4170 HAS SOUPS 4170 WITH SCORE 4178.436
AT ITER 508 NEW BEST:: SOT 10358 SOS 9574 HAS SOPS 9574 HAS SOUS 4038 HAS SOUPS 4038 WITH SCORE 4047.574
AT ITER 510 NEW BEST:: SOT 10362 SOS 9578 HAS SOPS 9578 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4007.578
AT ITER 514 NEW BEST:: SOT 10362 SOS 9578 HAS SOPS 9578 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 4003.578
AT ITER 515 NEW BEST:: SOT 10362 SOS 9578 HAS SOPS 9578 HAS SOUS 3956 HAS SOUPS 3956 WITH SCORE 3965.578
AT ITER 529 NEW BEST:: SOT 10362 SOS 9558 HAS SOPS 9558 HAS SOUS 3956 HAS SOUPS 3956 WITH SCORE 3965.558
AT ITER 538 NEW BEST:: SOT 10344 SOS 9540 HAS SOPS 9540 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3887.54
AT ITER 568 NEW BEST:: SOT 10344 SOS 9506 HAS SOPS 9506 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3887.506
AT ITER 570 NEW BEST:: SOT 10334 SOS 9496 HAS SOPS 9496 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3867.496
AT ITER 572 NEW BEST:: SOT 10322 SOS 9478 HAS SOPS 9478 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3849.478
AT ITER 588 NEW BEST:: SOT 10322 SOS 8160 HAS SOPS 8160 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3848.16
AT ITER 591 NEW BEST:: SOT 10296 SOS 8134 HAS SOPS 8134 HAS SOUS 3788 HAS SOUPS 3788 WITH SCORE 3796.134
AT ITER 595 NEW BEST:: SOT 10296 SOS 8126 HAS SOPS 8126 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3748.126
AT ITER 603 NEW BEST:: SOT 10290 SOS 8120 HAS SOPS 8120 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3736.12
AT ITER 605 NEW BEST:: SOT 10290 SOS 8134 HAS SOPS 8134 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3714.134
AT ITER 614 NEW BEST:: SOT 10290 SOS 8134 HAS SOPS 8134 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3704.134
AT ITER 631 NEW BEST:: SOT 10254 SOS 8098 HAS SOPS 8098 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3692.098
AT ITER 636 NEW BEST:: SOT 10254 SOS 8098 HAS SOPS 8098 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3690.098
AT ITER 643 NEW BEST:: SOT 10230 SOS 8074 HAS SOPS 8074 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3642.074
AT ITER 646 NEW BEST:: SOT 10230 SOS 8074 HAS SOPS 8074 HAS SOUS 3594 HAS SOUPS 3594 WITH SCORE 3602.074
AT ITER 647 NEW BEST:: SOT 10228 SOS 8072 HAS SOPS 8072 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3598.072
AT ITER 649 NEW BEST:: SOT 10228 SOS 8064 HAS SOPS 8064 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3598.064
AT ITER 652 NEW BEST:: SOT 10224 SOS 8060 HAS SOPS 8060 HAS SOUS 3582 HAS SOUPS 3582 WITH SCORE 3590.06
AT ITER 656 NEW BEST:: SOT 10218 SOS 8054 HAS SOPS 8054 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3566.054
AT ITER 670 NEW BEST:: SOT 10180 SOS 8016 HAS SOPS 8016 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3490.016
AT ITER 693 NEW BEST:: SOT 10144 SOS 8152 HAS SOPS 8152 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3458.152
AT ITER 700 NEW BEST:: SOT 10140 SOS 8148 HAS SOPS 8148 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3450.148
AT ITER 712 NEW BEST:: SOT 10140 SOS 8148 HAS SOPS 8148 HAS SOUS 3414 HAS SOUPS 3414 WITH SCORE 3422.148
AT ITER 723 NEW BEST:: SOT 10108 SOS 8116 HAS SOPS 8116 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3358.116
AT ITER 726 NEW BEST:: SOT 10108 SOS 8116 HAS SOPS 8116 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3356.116
AT ITER 733 NEW BEST:: SOT 10106 SOS 8114 HAS SOPS 8114 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3334.114
AT ITER 741 NEW BEST:: SOT 10106 SOS 8114 HAS SOPS 8114 HAS SOUS 3320 HAS SOUPS 3320 WITH SCORE 3328.114
AT ITER 748 NEW BEST:: SOT 10104 SOS 8112 HAS SOPS 8112 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3324.112
AT ITER 772 NEW BEST:: SOT 10092 SOS 8100 HAS SOPS 8100 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3300.1
AT ITER 780 NEW BEST:: SOT 10082 SOS 8090 HAS SOPS 8090 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3280.09
AT ITER 790 NEW BEST:: SOT 10044 SOS 8052 HAS SOPS 8052 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3242.052
AT ITER 800 NEW BEST:: SOT 10042 SOS 8050 HAS SOPS 8050 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3240.05
AT ITER 829 NEW BEST:: SOT 10028 SOS 8036 HAS SOPS 8036 HAS SOUS 3164 HAS SOUPS 3164 WITH SCORE 3172.036
AT ITER 830 NEW BEST:: SOT 10024 SOS 8032 HAS SOPS 8032 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3164.032
AT ITER 846 NEW BEST:: SOT 9984 SOS 8028 HAS SOPS 8028 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3128.028
AT ITER 855 NEW BEST:: SOT 9984 SOS 8022 HAS SOPS 8022 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3122.022
AT ITER 860 NEW BEST:: SOT 9984 SOS 8022 HAS SOPS 8022 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3086.022
AT ITER 863 NEW BEST:: SOT 9984 SOS 8024 HAS SOPS 8024 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3080.024
AT ITER 869 NEW BEST:: SOT 9982 SOS 8022 HAS SOPS 8022 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3078.022
AT ITER 873 NEW BEST:: SOT 9982 SOS 8066 HAS SOPS 8066 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3070.066
AT ITER 881 NEW BEST:: SOT 9982 SOS 8066 HAS SOPS 8066 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3060.066
AT ITER 883 NEW BEST:: SOT 9976 SOS 8058 HAS SOPS 8058 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3052.058
AT ITER 896 NEW BEST:: SOT 9976 SOS 8058 HAS SOPS 8058 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3042.058
AT ITER 911 NEW BEST:: SOT 9966 SOS 8048 HAS SOPS 8048 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3022.048
AT ITER 912 NEW BEST:: SOT 9966 SOS 8042 HAS SOPS 8042 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3010.042
AT ITER 925 NEW BEST:: SOT 9966 SOS 8042 HAS SOPS 8042 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3008.042
AT ITER 927 NEW BEST:: SOT 9964 SOS 8040 HAS SOPS 8040 HAS SOUS 2996 HAS SOUPS 2996 WITH SCORE 3004.04
AT ITER 933 NEW BEST:: SOT 9956 SOS 8040 HAS SOPS 8040 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2974.04
AT ITER 936 NEW BEST:: SOT 9954 SOS 8038 HAS SOPS 8038 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2970.038
AT ITER 952 NEW BEST:: SOT 9954 SOS 8034 HAS SOPS 8034 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2966.034
AT ITER 954 NEW BEST:: SOT 9878 SOS 8010 HAS SOPS 8010 HAS SOUS 2934 HAS SOUPS 2934 WITH SCORE 2942.01
AT ITER 959 NEW BEST:: SOT 9876 SOS 8008 HAS SOPS 8008 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2938.008
AT ITER 960 NEW BEST:: SOT 9876 SOS 8008 HAS SOPS 8008 HAS SOUS 2914 HAS SOUPS 2914 WITH SCORE 2922.008
AT ITER 962 NEW BEST:: SOT 9876 SOS 7996 HAS SOPS 7996 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2909.996
AT ITER 987 NEW BEST:: SOT 9876 SOS 7974 HAS SOPS 7974 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2909.974
AT ITER 995 NEW BEST:: SOT 9848 SOS 7952 HAS SOPS 7952 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2887.952
AT ITER 1029 NEW BEST:: SOT 9848 SOS 7952 HAS SOPS 7952 HAS SOUS 2866 HAS SOUPS 2866 WITH SCORE 2873.952
AT ITER 1050 NEW BEST:: SOT 9828 SOS 8112 HAS SOPS 8112 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2858.112
AT ITER 1064 NEW BEST:: SOT 9818 SOS 8102 HAS SOPS 8102 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2838.102
AT ITER 1066 NEW BEST:: SOT 9788 SOS 8072 HAS SOPS 8072 HAS SOUS 2770 HAS SOUPS 2770 WITH SCORE 2778.072
AT ITER 1079 NEW BEST:: SOT 9786 SOS 8070 HAS SOPS 8070 HAS SOUS 2768 HAS SOUPS 2768 WITH SCORE 2776.07
AT ITER 1080 NEW BEST:: SOT 9774 SOS 8066 HAS SOPS 8066 HAS SOUS 2750 HAS SOUPS 2750 WITH SCORE 2758.066
AT ITER 1082 NEW BEST:: SOT 9336 SOS 7670 HAS SOPS 7670 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2361.67
AT ITER 1115 NEW BEST:: SOT 9332 SOS 7666 HAS SOPS 7666 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2353.666
AT ITER 1120 NEW BEST:: SOT 9340 SOS 7674 HAS SOPS 7674 HAS SOUS 2338 HAS SOUPS 2338 WITH SCORE 2345.674
AT ITER 1148 NEW BEST:: SOT 9330 SOS 8598 HAS SOPS 8598 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2334.598
AT ITER 1168 NEW BEST:: SOT 9314 SOS 8582 HAS SOPS 8582 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2316.582
AT ITER 1180 NEW BEST:: SOT 9314 SOS 8582 HAS SOPS 8582 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2312.582
AT ITER 1204 NEW BEST:: SOT 9322 SOS 8646 HAS SOPS 8646 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2286.646
AT ITER 1212 NEW BEST:: SOT 9320 SOS 8644 HAS SOPS 8644 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2284.644
AT ITER 1263 NEW BEST:: SOT 9308 SOS 8632 HAS SOPS 8632 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2260.632
AT ITER 1294 NEW BEST:: SOT 9294 SOS 8618 HAS SOPS 8618 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2232.618
AT ITER 1309 NEW BEST:: SOT 9292 SOS 8616 HAS SOPS 8616 HAS SOUS 2222 HAS SOUPS 2222 WITH SCORE 2230.616
AT ITER 1317 NEW BEST:: SOT 9288 SOS 8612 HAS SOPS 8612 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2218.612
AT ITER 1318 NEW BEST:: SOT 9282 SOS 8606 HAS SOPS 8606 HAS SOUS 2198 HAS SOUPS 2198 WITH SCORE 2206.606
AT ITER 1322 NEW BEST:: SOT 9282 SOS 8606 HAS SOPS 8606 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2202.606
AT ITER 1341 NEW BEST:: SOT 9282 SOS 8606 HAS SOPS 8606 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2188.606
AT ITER 1347 NEW BEST:: SOT 9252 SOS 8576 HAS SOPS 8576 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2152.576
AT ITER 1350 NEW BEST:: SOT 9252 SOS 8576 HAS SOPS 8576 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2150.576
AT ITER 1354 NEW BEST:: SOT 9236 SOS 8560 HAS SOPS 8560 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2134.56
AT ITER 1428 NEW BEST:: SOT 9236 SOS 8558 HAS SOPS 8558 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2132.558
AT ITER 1459 NEW BEST:: SOT 9236 SOS 8558 HAS SOPS 8558 HAS SOUS 2118 HAS SOUPS 2118 WITH SCORE 2126.558
AT ITER 1467 NEW BEST:: SOT 9228 SOS 8550 HAS SOPS 8550 HAS SOUS 2102 HAS SOUPS 2102 WITH SCORE 2110.55
AT ITER 1506 NEW BEST:: SOT 9222 SOS 8544 HAS SOPS 8544 HAS SOUS 2090 HAS SOUPS 2090 WITH SCORE 2098.544
AT ITER 1518 NEW BEST:: SOT 9222 SOS 8544 HAS SOPS 8544 HAS SOUS 2088 HAS SOUPS 2088 WITH SCORE 2096.544
AT ITER 1531 NEW BEST:: SOT 9224 SOS 8546 HAS SOPS 8546 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2070.546
AT ITER 1538 NEW BEST:: SOT 9218 SOS 8638 HAS SOPS 8638 HAS SOUS 2056 HAS SOUPS 2056 WITH SCORE 2064.638
AT ITER 1545 NEW BEST:: SOT 9212 SOS 8632 HAS SOPS 8632 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2052.632
AT ITER 1553 NEW BEST:: SOT 9212 SOS 8632 HAS SOPS 8632 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2048.632
AT ITER 1555 NEW BEST:: SOT 9198 SOS 8618 HAS SOPS 8618 HAS SOUS 2008 HAS SOUPS 2008 WITH SCORE 2016.618
AT ITER 1559 NEW BEST:: SOT 9126 SOS 8566 HAS SOPS 8566 HAS SOUS 1956 HAS SOUPS 1956 WITH SCORE 1964.566
AT ITER 1600 NEW BEST:: SOT 9094 SOS 8534 HAS SOPS 8534 HAS SOUS 1918 HAS SOUPS 1918 WITH SCORE 1926.534
AT ITER 1602 NEW BEST:: SOT 9080 SOS 8520 HAS SOPS 8520 HAS SOUS 1890 HAS SOUPS 1890 WITH SCORE 1898.52
AT ITER 1629 NEW BEST:: SOT 9068 SOS 8508 HAS SOPS 8508 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1874.508
AT ITER 1645 NEW BEST:: SOT 9090 SOS 8544 HAS SOPS 8544 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1870.544
AT ITER 1672 NEW BEST:: SOT 9086 SOS 8540 HAS SOPS 8540 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1862.54
AT ITER 1677 NEW BEST:: SOT 9080 SOS 8534 HAS SOPS 8534 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1834.534
AT ITER 1722 NEW BEST:: SOT 9076 SOS 8530 HAS SOPS 8530 HAS SOUS 1818 HAS SOUPS 1818 WITH SCORE 1826.53
AT ITER 1733 NEW BEST:: SOT 9068 SOS 8522 HAS SOPS 8522 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1810.522
AT ITER 1752 NEW BEST:: SOT 9010 SOS 8532 HAS SOPS 8532 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1772.532
AT ITER 1761 NEW BEST:: SOT 8956 SOS 8490 HAS SOPS 8490 HAS SOUS 1702 HAS SOUPS 1702 WITH SCORE 1710.49
AT ITER 1771 NEW BEST:: SOT 8944 SOS 8464 HAS SOPS 8464 HAS SOUS 1698 HAS SOUPS 1698 WITH SCORE 1706.464
AT ITER 1827 NEW BEST:: SOT 8922 SOS 8442 HAS SOPS 8442 HAS SOUS 1654 HAS SOUPS 1654 WITH SCORE 1662.442
AT ITER 1831 NEW BEST:: SOT 8912 SOS 8432 HAS SOPS 8432 HAS SOUS 1634 HAS SOUPS 1634 WITH SCORE 1642.432
AT ITER 1855 NEW BEST:: SOT 8898 SOS 8418 HAS SOPS 8418 HAS SOUS 1606 HAS SOUPS 1606 WITH SCORE 1614.418
AT ITER 1883 NEW BEST:: SOT 8894 SOS 8414 HAS SOPS 8414 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1606.414
AT ITER 1899 NEW BEST:: SOT 8892 SOS 8412 HAS SOPS 8412 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1602.412
AT ITER 1937 NEW BEST:: SOT 8880 SOS 8400 HAS SOPS 8400 HAS SOUS 1570 HAS SOUPS 1570 WITH SCORE 1578.4
AT ITER 1938 NEW BEST:: SOT 8876 SOS 8396 HAS SOPS 8396 HAS SOUS 1562 HAS SOUPS 1562 WITH SCORE 1570.396
AT ITER 1939 NEW BEST:: SOT 8854 SOS 8374 HAS SOPS 8374 HAS SOUS 1518 HAS SOUPS 1518 WITH SCORE 1526.374
AT ITER 1991 NEW BEST:: SOT 8846 SOS 8366 HAS SOPS 8366 HAS SOUS 1502 HAS SOUPS 1502 WITH SCORE 1510.366
AT ITER 2023 NEW BEST:: SOT 8844 SOS 8364 HAS SOPS 8364 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1506.364
AT ITER 2054 NEW BEST:: SOT 8834 SOS 8354 HAS SOPS 8354 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1496.354
AT ITER 2064 NEW BEST:: SOT 8834 SOS 8354 HAS SOPS 8354 HAS SOUS 1484 HAS SOUPS 1484 WITH SCORE 1492.354
AT ITER 2078 NEW BEST:: SOT 8830 SOS 8350 HAS SOPS 8350 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1484.35
AT ITER 2094 NEW BEST:: SOT 8828 SOS 8348 HAS SOPS 8348 HAS SOUS 1472 HAS SOUPS 1472 WITH SCORE 1480.348
AT ITER 2101 NEW BEST:: SOT 8814 SOS 8340 HAS SOPS 8340 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1472.34
AT ITER 2121 NEW BEST:: SOT 8812 SOS 8338 HAS SOPS 8338 HAS SOUS 1460 HAS SOUPS 1460 WITH SCORE 1468.338
AT ITER 2135 NEW BEST:: SOT 8806 SOS 8332 HAS SOPS 8332 HAS SOUS 1422 HAS SOUPS 1422 WITH SCORE 1430.332
AT ITER 2141 NEW BEST:: SOT 8802 SOS 8322 HAS SOPS 8322 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1420.322
AT ITER 2183 NEW BEST:: SOT 8802 SOS 8280 HAS SOPS 8280 HAS SOUS 1386 HAS SOUPS 1386 WITH SCORE 1394.28
AT ITER 2234 NEW BEST:: SOT 8800 SOS 8278 HAS SOPS 8278 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1390.278
AT ITER 2245 NEW BEST:: SOT 8800 SOS 8278 HAS SOPS 8278 HAS SOUS 1380 HAS SOUPS 1380 WITH SCORE 1388.278
AT ITER 2280 NEW BEST:: SOT 8772 SOS 8250 HAS SOPS 8250 HAS SOUS 1352 HAS SOUPS 1352 WITH SCORE 1360.25
AT ITER 2308 NEW BEST:: SOT 8764 SOS 8242 HAS SOPS 8242 HAS SOUS 1336 HAS SOUPS 1336 WITH SCORE 1344.242
AT ITER 2326 NEW BEST:: SOT 8758 SOS 8236 HAS SOPS 8236 HAS SOUS 1324 HAS SOUPS 1324 WITH SCORE 1332.236
AT ITER 2397 NEW BEST:: SOT 8754 SOS 8232 HAS SOPS 8232 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1324.232
AT ITER 2413 NEW BEST:: SOT 8738 SOS 8226 HAS SOPS 8226 HAS SOUS 1302 HAS SOUPS 1302 WITH SCORE 1310.226
AT ITER 2440 NEW BEST:: SOT 8736 SOS 8224 HAS SOPS 8224 HAS SOUS 1298 HAS SOUPS 1298 WITH SCORE 1306.224
AT ITER 2468 NEW BEST:: SOT 8736 SOS 8232 HAS SOPS 8232 HAS SOUS 1294 HAS SOUPS 1294 WITH SCORE 1302.232
AT ITER 2502 NEW BEST:: SOT 8734 SOS 8230 HAS SOPS 8230 HAS SOUS 1290 HAS SOUPS 1290 WITH SCORE 1298.23
AT ITER 2528 NEW BEST:: SOT 8732 SOS 8228 HAS SOPS 8228 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1294.228
AT ITER 2536 NEW BEST:: SOT 8734 SOS 8224 HAS SOPS 8224 HAS SOUS 1282 HAS SOUPS 1282 WITH SCORE 1290.224
AT ITER 2553 NEW BEST:: SOT 8728 SOS 8218 HAS SOPS 8218 HAS SOUS 1264 HAS SOUPS 1264 WITH SCORE 1272.218
AT ITER 2589 NEW BEST:: SOT 8728 SOS 8246 HAS SOPS 8246 HAS SOUS 1260 HAS SOUPS 1260 WITH SCORE 1268.246
AT ITER 2595 NEW BEST:: SOT 8716 SOS 8234 HAS SOPS 8234 HAS SOUS 1236 HAS SOUPS 1236 WITH SCORE 1244.234
AT ITER 2600 NEW BEST:: SOT 8710 SOS 8228 HAS SOPS 8228 HAS SOUS 1224 HAS SOUPS 1224 WITH SCORE 1232.228
AT ITER 2602 NEW BEST:: SOT 8702 SOS 8220 HAS SOPS 8220 HAS SOUS 1216 HAS SOUPS 1216 WITH SCORE 1224.22
AT ITER 2673 NEW BEST:: SOT 8698 SOS 8200 HAS SOPS 8200 HAS SOUS 1196 HAS SOUPS 1196 WITH SCORE 1204.2
AT ITER 2756 NEW BEST:: SOT 8698 SOS 8200 HAS SOPS 8200 HAS SOUS 1190 HAS SOUPS 1190 WITH SCORE 1198.2
AT ITER 2764 NEW BEST:: SOT 8696 SOS 8198 HAS SOPS 8198 HAS SOUS 1186 HAS SOUPS 1186 WITH SCORE 1194.198
AT ITER 2782 NEW BEST:: SOT 8694 SOS 8196 HAS SOPS 8196 HAS SOUS 1182 HAS SOUPS 1182 WITH SCORE 1190.196
AT ITER 2832 NEW BEST:: SOT 8692 SOS 8194 HAS SOPS 8194 HAS SOUS 1178 HAS SOUPS 1178 WITH SCORE 1186.194
AT ITER 2857 NEW BEST:: SOT 8690 SOS 8192 HAS SOPS 8192 HAS SOUS 1174 HAS SOUPS 1174 WITH SCORE 1182.192
AT ITER 2861 NEW BEST:: SOT 8686 SOS 8188 HAS SOPS 8188 HAS SOUS 1166 HAS SOUPS 1166 WITH SCORE 1174.188
AT ITER 2891 NEW BEST:: SOT 8684 SOS 8186 HAS SOPS 8186 HAS SOUS 1162 HAS SOUPS 1162 WITH SCORE 1170.186
AT ITER 2910 NEW BEST:: SOT 8684 SOS 8182 HAS SOPS 8182 HAS SOUS 1162 HAS SOUPS 1162 WITH SCORE 1170.182
AT ITER 2917 NEW BEST:: SOT 8680 SOS 8178 HAS SOPS 8178 HAS SOUS 1158 HAS SOUPS 1158 WITH SCORE 1166.178
AT ITER 2954 NEW BEST:: SOT 8676 SOS 8170 HAS SOPS 8170 HAS SOUS 1150 HAS SOUPS 1150 WITH SCORE 1158.17
AT ITER 2960 NEW BEST:: SOT 8674 SOS 8168 HAS SOPS 8168 HAS SOUS 1146 HAS SOUPS 1146 WITH SCORE 1154.168
AT ITER 2977 NEW BEST:: SOT 8670 SOS 8164 HAS SOPS 8164 HAS SOUS 1138 HAS SOUPS 1138 WITH SCORE 1146.164
AT ITER 2984 NEW BEST:: SOT 8660 SOS 8154 HAS SOPS 8154 HAS SOUS 1118 HAS SOUPS 1118 WITH SCORE 1126.154
AT ITER 2988 NEW BEST:: SOT 8654 SOS 8148 HAS SOPS 8148 HAS SOUS 1102 HAS SOUPS 1102 WITH SCORE 1110.148
AT ITER 3098 NEW BEST:: SOT 8652 SOS 8146 HAS SOPS 8146 HAS SOUS 1098 HAS SOUPS 1098 WITH SCORE 1106.146
AT ITER 3110 NEW BEST:: SOT 8646 SOS 8140 HAS SOPS 8140 HAS SOUS 1092 HAS SOUPS 1092 WITH SCORE 1100.14
AT ITER 3115 NEW BEST:: SOT 8644 SOS 8138 HAS SOPS 8138 HAS SOUS 1088 HAS SOUPS 1088 WITH SCORE 1096.138
AT ITER 3184 NEW BEST:: SOT 8622 SOS 8126 HAS SOPS 8126 HAS SOUS 1076 HAS SOUPS 1076 WITH SCORE 1084.126
AT ITER 3215 NEW BEST:: SOT 8618 SOS 8122 HAS SOPS 8122 HAS SOUS 1068 HAS SOUPS 1068 WITH SCORE 1076.122
AT ITER 3282 NEW BEST:: SOT 8614 SOS 8118 HAS SOPS 8118 HAS SOUS 1064 HAS SOUPS 1064 WITH SCORE 1072.118
AT ITER 3316 NEW BEST:: SOT 8614 SOS 8108 HAS SOPS 8108 HAS SOUS 1064 HAS SOUPS 1064 WITH SCORE 1072.108
AT ITER 3363 NEW BEST:: SOT 8610 SOS 8102 HAS SOPS 8102 HAS SOUS 1054 HAS SOUPS 1054 WITH SCORE 1062.102
AT ITER 3426 NEW BEST:: SOT 8604 SOS 8114 HAS SOPS 8114 HAS SOUS 1048 HAS SOUPS 1048 WITH SCORE 1056.114
AT ITER 3438 NEW BEST:: SOT 8600 SOS 8110 HAS SOPS 8110 HAS SOUS 1040 HAS SOUPS 1040 WITH SCORE 1048.11
AT ITER 3439 NEW BEST:: SOT 8592 SOS 8102 HAS SOPS 8102 HAS SOUS 1024 HAS SOUPS 1024 WITH SCORE 1032.102
AT ITER 3469 NEW BEST:: SOT 8590 SOS 8106 HAS SOPS 8106 HAS SOUS 1012 HAS SOUPS 1012 WITH SCORE 1020.106
AT ITER 3494 NEW BEST:: SOT 8588 SOS 8104 HAS SOPS 8104 HAS SOUS 1010 HAS SOUPS 1010 WITH SCORE 1018.104
AT ITER 3558 NEW BEST:: SOT 8586 SOS 8102 HAS SOPS 8102 HAS SOUS 1006 HAS SOUPS 1006 WITH SCORE 1014.102
AT ITER 3693 NEW BEST:: SOT 8584 SOS 8100 HAS SOPS 8100 HAS SOUS 1002 HAS SOUPS 1002 WITH SCORE 1010.1
AT ITER 3869 NEW BEST:: SOT 8582 SOS 8098 HAS SOPS 8098 HAS SOUS 1000 HAS SOUPS 1000 WITH SCORE 1008.098
AT ITER 3871 NEW BEST:: SOT 8580 SOS 8096 HAS SOPS 8096 HAS SOUS 996 HAS SOUPS 996 WITH SCORE 1004.096
AT ITER 3881 NEW BEST:: SOT 8578 SOS 8094 HAS SOPS 8094 HAS SOUS 992 HAS SOUPS 992 WITH SCORE 1000.094
AT ITER 3893 NEW BEST:: SOT 8574 SOS 8082 HAS SOPS 8082 HAS SOUS 980 HAS SOUPS 980 WITH SCORE 988.082
AT ITER 3920 NEW BEST:: SOT 8572 SOS 8080 HAS SOPS 8080 HAS SOUS 976 HAS SOUPS 976 WITH SCORE 984.08
AT ITER 3939 NEW BEST:: SOT 8570 SOS 8078 HAS SOPS 8078 HAS SOUS 972 HAS SOUPS 972 WITH SCORE 980.078
AT ITER 4157 NEW BEST:: SOT 8568 SOS 8076 HAS SOPS 8076 HAS SOUS 968 HAS SOUPS 968 WITH SCORE 976.076
AT ITER 4279 NEW BEST:: SOT 8566 SOS 8074 HAS SOPS 8074 HAS SOUS 964 HAS SOUPS 964 WITH SCORE 972.074
AT ITER 4365 NEW BEST:: SOT 8566 SOS 8074 HAS SOPS 8074 HAS SOUS 960 HAS SOUPS 960 WITH SCORE 968.074
AT ITER 4417 NEW BEST:: SOT 8566 SOS 8074 HAS SOPS 8074 HAS SOUS 948 HAS SOUPS 948 WITH SCORE 956.074
AT ITER 4437 NEW BEST:: SOT 8564 SOS 8070 HAS SOPS 8070 HAS SOUS 944 HAS SOUPS 944 WITH SCORE 952.07
AT ITER 4442 NEW BEST:: SOT 8562 SOS 8068 HAS SOPS 8068 HAS SOUS 940 HAS SOUPS 940 WITH SCORE 948.068
AT ITER 4448 NEW BEST:: SOT 8562 SOS 8066 HAS SOPS 8066 HAS SOUS 938 HAS SOUPS 938 WITH SCORE 946.066
AT ITER 4470 NEW BEST:: SOT 8560 SOS 8064 HAS SOPS 8064 HAS SOUS 934 HAS SOUPS 934 WITH SCORE 942.064
AT ITER 4547 NEW BEST:: SOT 8558 SOS 8062 HAS SOPS 8062 HAS SOUS 930 HAS SOUPS 930 WITH SCORE 938.062
AT ITER 4600 NEW BEST:: SOT 8554 SOS 8058 HAS SOPS 8058 HAS SOUS 922 HAS SOUPS 922 WITH SCORE 930.058
AT ITER 4906 NEW BEST:: SOT 8552 SOS 8056 HAS SOPS 8056 HAS SOUS 918 HAS SOUPS 918 WITH SCORE 926.056
AT ITER 4934 NEW BEST:: SOT 8550 SOS 8054 HAS SOPS 8054 HAS SOUS 914 HAS SOUPS 914 WITH SCORE 922.054
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-00 ( (AX( (! ( potential( ( 2 ) <= (tk(P66)) ) | potential( (tk(P118)) <= (tk(P82)) ) )))) & (AF(( ( potential( (tk(P73)) <= (tk(P30)) ) | potential( (tk(P107)) <= (tk(P111)) ) ) & (! potential( ( 1 ) <= (tk(P57)) )) ))) )
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-01 (EF((! ( (! potential( ( 2 ) <= (tk(P48)) )) | ( potential( (tk(P58)) <= (tk(P126)) ) & potential( (tk(P60)) <= (tk(P70)) ) ) ))))
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-02 (AU( potential( ( 2 ) <= (tk(P50)) ),(EX( potential( ( 1 ) <= (tk(P38)) ))) ))
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-03 (EU( (AF(potential( (tk(P46)) <= (tk(P32)) ))),( ( potential( ( 1 ) <= (tk(P39)) ) | potential( (tk(P49)) <= (tk(P72)) ) ) & potential( ( 1 ) <= (tk(P37)) ) ) ))
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-04 (EF(potential( (tk(P95)) <= (tk(P95)) )))
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-05 ( ( ( ( ( potential( ( 2 ) <= (tk(P114)) ) | potential( (tk(P128)) <= (tk(P90)) ) ) & (! potential( (tk(P130)) <= (tk(P24)) )) ) & potential( ( 1 ) <= (tk(P112)) ) ) & ( ( ( potential( ( 3 ) <= (tk(P56)) ) & potential( (tk(P114)) <= (tk(P29)) ) ) & ( potential( ( 1 ) <= (tk(P103)) ) | potential( (tk(P120)) <= (tk(P50)) ) ) ) & (EF(potential( (tk(P24)) <= (tk(P32)) ))) ) ) & ( (EU( potential( (tk(P9)) <= (tk(P91)) ),potential( (tk(P11)) <= (tk(P52)) ) )) | ( (! ( potential( (tk(P32)) <= (tk(P75)) ) | potential( ( 3 ) <= (tk(P75)) ) )) & (EG( potential( ( 3 ) <= (tk(P28)) ))) ) ) )
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-06 (AU( ( (! potential( ( 1 ) <= (tk(P84)) )) & potential( (tk(P100)) <= (tk(P94)) ) ),potential( ( 2 ) <= (tk(P84)) ) ))
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-07 ( ( (! (! ( potential( ( 1 ) <= (tk(P58)) ) | potential( (tk(P76)) <= (tk(P20)) ) ))) & (! ( potential( ( 3 ) <= (tk(P82)) ) & (! potential( (tk(P119)) <= (tk(P5)) )) )) ) | ( (EF(potential( ( 2 ) <= (tk(P32)) ))) & ( (! ( potential( (tk(P129)) <= (tk(P108)) ) | potential( (tk(P67)) <= (tk(P83)) ) )) & (! (! potential( (tk(P113)) <= (tk(P28)) ))) ) ) )
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-08 (EG( (AX( ( potential( (tk(P82)) <= (tk(P50)) ) & potential( ( 3 ) <= (tk(P68)) ) )))))
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-09 (! (! (AU( potential( (tk(P77)) <= (tk(P119)) ),potential( ( 1 ) <= (tk(P28)) ) ))))
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-10 ( (AX( (AG( potential( ( 1 ) <= (tk(P65)) ))))) & (AG( ( ( potential( (tk(P112)) <= (tk(P16)) ) & potential( ( 2 ) <= (tk(P130)) ) ) & potential( ( 2 ) <= (tk(P47)) ) ))) )
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-11 (AX( potential( ( 3 ) <= (tk(P106)) )))
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-12 potential( (tk(P105)) <= (tk(P1)) )
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-13 (EG( (! ( (! potential( ( 2 ) <= (tk(P52)) )) | ( potential( ( 3 ) <= (tk(P59)) ) & potential( ( 3 ) <= (tk(P75)) ) ) ))))
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-14 (AU( ( ( potential( ( 2 ) <= (tk(P69)) ) & potential( (tk(P17)) <= (tk(P102)) ) ) | ( potential( ( 2 ) <= (tk(P57)) ) | potential( (tk(P30)) <= (tk(P123)) ) ) ),(! (! potential( (tk(P55)) <= (tk(P56)) ))) ))
PROPERTY: RwMutex-PT-r0010w0050-CTLCardinality-15 ( potential( ( 2 ) <= (tk(P29)) ) | potential( ( 2 ) <= (tk(P130)) ) )
FORMULA RwMutex-PT-r0010w0050-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0010w0050-CTLCardinality-01 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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="RwMutex-PT-r0010w0050"
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 RwMutex-PT-r0010w0050, 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 r153-oct2-158972910000259"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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