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

About the Execution of smart for AutoFlight-PT-06a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15763.010 3600000.00 3600059.00 0.00 F??????????????? normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508500452.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 AutoFlight-PT-06a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508500452
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.0K Mar 25 23:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 23:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 15:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 15:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 10:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 43K 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 AutoFlight-PT-06a-CTLFireability-00
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-01
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-02
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-03
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-04
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-05
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-06
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-07
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-08
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-09
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-10
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-11
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-12
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-13
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-14
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589158134787

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 06a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 157 places, 155 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 18714 SOS 13096 HAS SOPS 13096 HAS SOUS 9157 HAS SOUPS 9157 WITH SCORE 9170.096
AT ITER 2 NEW BEST:: SOT 18714 SOS 13004 HAS SOPS 13004 HAS SOUS 9104 HAS SOUPS 9104 WITH SCORE 9117.004
AT ITER 3 NEW BEST:: SOT 18714 SOS 12850 HAS SOPS 12850 HAS SOUS 9005 HAS SOUPS 9005 WITH SCORE 9017.85
AT ITER 5 NEW BEST:: SOT 18643 SOS 12780 HAS SOPS 12780 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8977.78
AT ITER 8 NEW BEST:: SOT 18491 SOS 12707 HAS SOPS 12668 HAS SOUS 8862 HAS SOUPS 8823 WITH SCORE 8835.707
AT ITER 10 NEW BEST:: SOT 18216 SOS 12609 HAS SOPS 12570 HAS SOUS 8862 HAS SOUPS 8823 WITH SCORE 8835.609
AT ITER 11 NEW BEST:: SOT 17796 SOS 12076 HAS SOPS 12037 HAS SOUS 8531 HAS SOUPS 8492 WITH SCORE 8504.076
AT ITER 12 NEW BEST:: SOT 17796 SOS 11861 HAS SOPS 11822 HAS SOUS 8428 HAS SOUPS 8389 WITH SCORE 8400.861
AT ITER 15 NEW BEST:: SOT 17796 SOS 11691 HAS SOPS 11652 HAS SOUS 8326 HAS SOUPS 8287 WITH SCORE 8298.691
AT ITER 18 NEW BEST:: SOT 17796 SOS 11477 HAS SOPS 11382 HAS SOUS 8189 HAS SOUPS 8094 WITH SCORE 8105.477
AT ITER 19 NEW BEST:: SOT 17593 SOS 11131 HAS SOPS 11036 HAS SOUS 7957 HAS SOUPS 7862 WITH SCORE 7873.131
AT ITER 24 NEW BEST:: SOT 17572 SOS 11109 HAS SOPS 11014 HAS SOUS 7912 HAS SOUPS 7817 WITH SCORE 7828.109
AT ITER 26 NEW BEST:: SOT 17537 SOS 10841 HAS SOPS 10680 HAS SOUS 7753 HAS SOUPS 7592 WITH SCORE 7602.841
AT ITER 30 NEW BEST:: SOT 17256 SOS 10475 HAS SOPS 10314 HAS SOUS 7552 HAS SOUPS 7391 WITH SCORE 7401.475
AT ITER 33 NEW BEST:: SOT 17256 SOS 10321 HAS SOPS 10160 HAS SOUS 7552 HAS SOUPS 7391 WITH SCORE 7401.321
AT ITER 37 NEW BEST:: SOT 17229 SOS 10276 HAS SOPS 10115 HAS SOUS 7525 HAS SOUPS 7364 WITH SCORE 7374.276
AT ITER 40 NEW BEST:: SOT 17142 SOS 10196 HAS SOPS 10035 HAS SOUS 7437 HAS SOUPS 7276 WITH SCORE 7286.196
AT ITER 42 NEW BEST:: SOT 16830 SOS 10077 HAS SOPS 9916 HAS SOUS 7351 HAS SOUPS 7190 WITH SCORE 7200.077
AT ITER 49 NEW BEST:: SOT 16876 SOS 9948 HAS SOPS 9724 HAS SOUS 7299 HAS SOUPS 7075 WITH SCORE 7084.948
AT ITER 56 NEW BEST:: SOT 16868 SOS 9940 HAS SOPS 9716 HAS SOUS 7295 HAS SOUPS 7071 WITH SCORE 7080.94
AT ITER 57 NEW BEST:: SOT 16868 SOS 9894 HAS SOPS 9670 HAS SOUS 7294 HAS SOUPS 7070 WITH SCORE 7079.894
AT ITER 64 NEW BEST:: SOT 16858 SOS 9884 HAS SOPS 9660 HAS SOUS 7284 HAS SOUPS 7060 WITH SCORE 7069.884
AT ITER 67 NEW BEST:: SOT 16857 SOS 9883 HAS SOPS 9659 HAS SOUS 7214 HAS SOUPS 6990 WITH SCORE 6999.883
AT ITER 71 NEW BEST:: SOT 16681 SOS 9779 HAS SOPS 9483 HAS SOUS 7093 HAS SOUPS 6814 WITH SCORE 6823.779
AT ITER 75 NEW BEST:: SOT 16536 SOS 9625 HAS SOPS 9329 HAS SOUS 6968 HAS SOUPS 6689 WITH SCORE 6698.625
AT ITER 78 NEW BEST:: SOT 16457 SOS 9576 HAS SOPS 9249 HAS SOUS 6880 HAS SOUPS 6570 WITH SCORE 6579.576
AT ITER 79 NEW BEST:: SOT 16457 SOS 9575 HAS SOPS 9248 HAS SOUS 6879 HAS SOUPS 6569 WITH SCORE 6578.575
AT ITER 82 NEW BEST:: SOT 16457 SOS 9582 HAS SOPS 9255 HAS SOUS 6878 HAS SOUPS 6568 WITH SCORE 6577.582
AT ITER 83 NEW BEST:: SOT 16456 SOS 9575 HAS SOPS 9248 HAS SOUS 6874 HAS SOUPS 6564 WITH SCORE 6573.575
AT ITER 84 NEW BEST:: SOT 16449 SOS 9554 HAS SOPS 9227 HAS SOUS 6853 HAS SOUPS 6543 WITH SCORE 6552.554
AT ITER 87 NEW BEST:: SOT 16465 SOS 9538 HAS SOPS 9211 HAS SOUS 6837 HAS SOUPS 6527 WITH SCORE 6536.538
AT ITER 90 NEW BEST:: SOT 16412 SOS 9485 HAS SOPS 9158 HAS SOUS 6784 HAS SOUPS 6474 WITH SCORE 6483.485
AT ITER 93 NEW BEST:: SOT 16438 SOS 9503 HAS SOPS 9176 HAS SOUS 6783 HAS SOUPS 6473 WITH SCORE 6482.503
AT ITER 100 NEW BEST:: SOT 16438 SOS 9405 HAS SOPS 9078 HAS SOUS 6737 HAS SOUPS 6427 WITH SCORE 6436.405
AT ITER 104 NEW BEST:: SOT 16425 SOS 9244 HAS SOPS 8873 HAS SOUS 6651 HAS SOUPS 6297 WITH SCORE 6306.244
AT ITER 108 NEW BEST:: SOT 16419 SOS 9221 HAS SOPS 8850 HAS SOUS 6642 HAS SOUPS 6288 WITH SCORE 6297.221
AT ITER 110 NEW BEST:: SOT 16365 SOS 9183 HAS SOPS 8778 HAS SOUS 6604 HAS SOUPS 6216 WITH SCORE 6225.183
AT ITER 116 NEW BEST:: SOT 16365 SOS 9061 HAS SOPS 8656 HAS SOUS 6543 HAS SOUPS 6155 WITH SCORE 6164.061
AT ITER 124 NEW BEST:: SOT 16228 SOS 8918 HAS SOPS 8513 HAS SOUS 6468 HAS SOUPS 6080 WITH SCORE 6088.918
AT ITER 127 NEW BEST:: SOT 16194 SOS 8867 HAS SOPS 8462 HAS SOUS 6451 HAS SOUPS 6063 WITH SCORE 6071.867
AT ITER 131 NEW BEST:: SOT 16193 SOS 8678 HAS SOPS 8273 HAS SOUS 6345 HAS SOUPS 5957 WITH SCORE 5965.678
AT ITER 133 NEW BEST:: SOT 16211 SOS 8674 HAS SOPS 8269 HAS SOUS 6318 HAS SOUPS 5930 WITH SCORE 5938.674
AT ITER 134 NEW BEST:: SOT 16211 SOS 8672 HAS SOPS 8267 HAS SOUS 6316 HAS SOUPS 5928 WITH SCORE 5936.672
AT ITER 135 NEW BEST:: SOT 16187 SOS 8586 HAS SOPS 8181 HAS SOUS 6261 HAS SOUPS 5873 WITH SCORE 5881.586
AT ITER 137 NEW BEST:: SOT 16178 SOS 8702 HAS SOPS 8096 HAS SOUS 6241 HAS SOUPS 5788 WITH SCORE 5796.702
AT ITER 147 NEW BEST:: SOT 16178 SOS 8675 HAS SOPS 8074 HAS SOUS 6241 HAS SOUPS 5788 WITH SCORE 5796.675
AT ITER 152 NEW BEST:: SOT 16178 SOS 8630 HAS SOPS 8029 HAS SOUS 6213 HAS SOUPS 5760 WITH SCORE 5768.63
AT ITER 156 NEW BEST:: SOT 15996 SOS 8484 HAS SOPS 7883 HAS SOUS 6120 HAS SOUPS 5667 WITH SCORE 5675.484
AT ITER 165 NEW BEST:: SOT 15913 SOS 8453 HAS SOPS 7852 HAS SOUS 6089 HAS SOUPS 5636 WITH SCORE 5644.453
AT ITER 167 NEW BEST:: SOT 15844 SOS 8384 HAS SOPS 7783 HAS SOUS 6052 HAS SOUPS 5599 WITH SCORE 5607.384
AT ITER 168 NEW BEST:: SOT 15776 SOS 8287 HAS SOPS 7675 HAS SOUS 5975 HAS SOUPS 5511 WITH SCORE 5519.287
AT ITER 170 NEW BEST:: SOT 15776 SOS 8252 HAS SOPS 7640 HAS SOUS 5960 HAS SOUPS 5496 WITH SCORE 5504.252
AT ITER 174 NEW BEST:: SOT 15654 SOS 8208 HAS SOPS 7595 HAS SOUS 5959 HAS SOUPS 5495 WITH SCORE 5503.208
AT ITER 191 NEW BEST:: SOT 15666 SOS 8186 HAS SOPS 7573 HAS SOUS 5950 HAS SOUPS 5486 WITH SCORE 5494.186
AT ITER 196 NEW BEST:: SOT 15661 SOS 8181 HAS SOPS 7568 HAS SOUS 5945 HAS SOUPS 5481 WITH SCORE 5489.181
AT ITER 204 NEW BEST:: SOT 15654 SOS 8174 HAS SOPS 7561 HAS SOUS 5945 HAS SOUPS 5481 WITH SCORE 5489.174
AT ITER 208 NEW BEST:: SOT 15584 SOS 8108 HAS SOPS 7448 HAS SOUS 5875 HAS SOUPS 5368 WITH SCORE 5376.108
AT ITER 210 NEW BEST:: SOT 15566 SOS 8090 HAS SOPS 7430 HAS SOUS 5858 HAS SOUPS 5351 WITH SCORE 5359.09
AT ITER 211 NEW BEST:: SOT 15566 SOS 7992 HAS SOPS 7332 HAS SOUS 5848 HAS SOUPS 5341 WITH SCORE 5348.992
AT ITER 213 NEW BEST:: SOT 15482 SOS 7998 HAS SOPS 7337 HAS SOUS 5813 HAS SOUPS 5305 WITH SCORE 5312.998
AT ITER 218 NEW BEST:: SOT 15482 SOS 8004 HAS SOPS 7335 HAS SOUS 5813 HAS SOUPS 5303 WITH SCORE 5311.004
AT ITER 230 NEW BEST:: SOT 15452 SOS 8010 HAS SOPS 7314 HAS SOUS 5822 HAS SOUPS 5285 WITH SCORE 5293.01
AT ITER 241 NEW BEST:: SOT 15441 SOS 7990 HAS SOPS 7307 HAS SOUS 5815 HAS SOUPS 5278 WITH SCORE 5285.99
AT ITER 244 NEW BEST:: SOT 15389 SOS 7970 HAS SOPS 7287 HAS SOUS 5788 HAS SOUPS 5251 WITH SCORE 5258.97
AT ITER 255 NEW BEST:: SOT 15379 SOS 7960 HAS SOPS 7248 HAS SOUS 5785 HAS SOUPS 5248 WITH SCORE 5255.96
AT ITER 259 NEW BEST:: SOT 15476 SOS 7926 HAS SOPS 7214 HAS SOUS 5751 HAS SOUPS 5214 WITH SCORE 5221.926
AT ITER 268 NEW BEST:: SOT 15440 SOS 7890 HAS SOPS 7178 HAS SOUS 5739 HAS SOUPS 5202 WITH SCORE 5209.89
AT ITER 270 NEW BEST:: SOT 15440 SOS 7890 HAS SOPS 7178 HAS SOUS 5719 HAS SOUPS 5182 WITH SCORE 5189.89
AT ITER 275 NEW BEST:: SOT 15437 SOS 7874 HAS SOPS 7162 HAS SOUS 5718 HAS SOUPS 5181 WITH SCORE 5188.874
AT ITER 282 NEW BEST:: SOT 15437 SOS 7873 HAS SOPS 7161 HAS SOUS 5717 HAS SOUPS 5180 WITH SCORE 5187.873
AT ITER 297 NEW BEST:: SOT 15419 SOS 7711 HAS SOPS 6999 HAS SOUS 5714 HAS SOUPS 5177 WITH SCORE 5184.711
AT ITER 317 NEW BEST:: SOT 15408 SOS 7699 HAS SOPS 6987 HAS SOUS 5702 HAS SOUPS 5165 WITH SCORE 5172.699
AT ITER 319 NEW BEST:: SOT 15415 SOS 7752 HAS SOPS 7040 HAS SOUS 5700 HAS SOUPS 5163 WITH SCORE 5170.752
AT ITER 327 NEW BEST:: SOT 15405 SOS 7742 HAS SOPS 7030 HAS SOUS 5695 HAS SOUPS 5158 WITH SCORE 5165.742
AT ITER 330 NEW BEST:: SOT 15375 SOS 7681 HAS SOPS 6969 HAS SOUS 5664 HAS SOUPS 5127 WITH SCORE 5134.681
AT ITER 340 NEW BEST:: SOT 15375 SOS 7672 HAS SOPS 6960 HAS SOUS 5664 HAS SOUPS 5127 WITH SCORE 5134.672
AT ITER 346 NEW BEST:: SOT 15359 SOS 7640 HAS SOPS 6928 HAS SOUS 5648 HAS SOUPS 5111 WITH SCORE 5118.64
AT ITER 347 NEW BEST:: SOT 15359 SOS 7620 HAS SOPS 6908 HAS SOUS 5628 HAS SOUPS 5091 WITH SCORE 5098.62
AT ITER 349 NEW BEST:: SOT 15345 SOS 7621 HAS SOPS 6909 HAS SOUS 5625 HAS SOUPS 5088 WITH SCORE 5095.621
AT ITER 351 NEW BEST:: SOT 15341 SOS 7617 HAS SOPS 6905 HAS SOUS 5621 HAS SOUPS 5084 WITH SCORE 5091.617
AT ITER 354 NEW BEST:: SOT 15349 SOS 7563 HAS SOPS 6851 HAS SOUS 5618 HAS SOUPS 5081 WITH SCORE 5088.563
AT ITER 355 NEW BEST:: SOT 15432 SOS 7700 HAS SOPS 6934 HAS SOUS 5671 HAS SOUPS 5080 WITH SCORE 5087.7
AT ITER 362 NEW BEST:: SOT 15402 SOS 7690 HAS SOPS 6914 HAS SOUS 5661 HAS SOUPS 5060 WITH SCORE 5067.69
AT ITER 364 NEW BEST:: SOT 15322 SOS 7620 HAS SOPS 6860 HAS SOUS 5591 HAS SOUPS 5006 WITH SCORE 5013.62
AT ITER 370 NEW BEST:: SOT 15304 SOS 7584 HAS SOPS 6824 HAS SOUS 5564 HAS SOUPS 4979 WITH SCORE 4986.584
AT ITER 372 NEW BEST:: SOT 15264 SOS 7524 HAS SOPS 6764 HAS SOUS 5524 HAS SOUPS 4939 WITH SCORE 4946.524
AT ITER 376 NEW BEST:: SOT 15268 SOS 7504 HAS SOPS 6756 HAS SOUS 5516 HAS SOUPS 4931 WITH SCORE 4938.504
AT ITER 384 NEW BEST:: SOT 15233 SOS 7469 HAS SOPS 6721 HAS SOUS 5481 HAS SOUPS 4896 WITH SCORE 4903.469
AT ITER 399 NEW BEST:: SOT 15168 SOS 7283 HAS SOPS 6525 HAS SOUS 5361 HAS SOUPS 4766 WITH SCORE 4773.283
AT ITER 420 NEW BEST:: SOT 15102 SOS 7263 HAS SOPS 6505 HAS SOUS 5341 HAS SOUPS 4746 WITH SCORE 4753.263
AT ITER 428 NEW BEST:: SOT 15057 SOS 7265 HAS SOPS 6460 HAS SOUS 5296 HAS SOUPS 4673 WITH SCORE 4680.265
AT ITER 432 NEW BEST:: SOT 15085 SOS 7263 HAS SOPS 6458 HAS SOUS 5294 HAS SOUPS 4671 WITH SCORE 4678.263
AT ITER 439 NEW BEST:: SOT 15063 SOS 7211 HAS SOPS 6406 HAS SOUS 5264 HAS SOUPS 4641 WITH SCORE 4648.211
AT ITER 442 NEW BEST:: SOT 15057 SOS 7193 HAS SOPS 6388 HAS SOUS 5252 HAS SOUPS 4629 WITH SCORE 4636.193
AT ITER 444 NEW BEST:: SOT 14965 SOS 7101 HAS SOPS 6296 HAS SOUS 5182 HAS SOUPS 4559 WITH SCORE 4566.101
AT ITER 448 NEW BEST:: SOT 14965 SOS 7056 HAS SOPS 6232 HAS SOUS 5193 HAS SOUPS 4551 WITH SCORE 4558.056
AT ITER 467 NEW BEST:: SOT 14939 SOS 7014 HAS SOPS 6190 HAS SOUS 5192 HAS SOUPS 4550 WITH SCORE 4557.014
AT ITER 477 NEW BEST:: SOT 14938 SOS 6995 HAS SOPS 6176 HAS SOUS 5184 HAS SOUPS 4542 WITH SCORE 4548.995
AT ITER 478 NEW BEST:: SOT 14933 SOS 6989 HAS SOPS 6170 HAS SOUS 5142 HAS SOUPS 4500 WITH SCORE 4506.989
AT ITER 480 NEW BEST:: SOT 14900 SOS 6956 HAS SOPS 6137 HAS SOUS 5041 HAS SOUPS 4399 WITH SCORE 4405.956
AT ITER 497 NEW BEST:: SOT 14905 SOS 6951 HAS SOPS 6132 HAS SOUS 5036 HAS SOUPS 4394 WITH SCORE 4400.951
AT ITER 498 NEW BEST:: SOT 14905 SOS 6945 HAS SOPS 6126 HAS SOUS 5030 HAS SOUPS 4388 WITH SCORE 4394.945
AT ITER 504 NEW BEST:: SOT 14901 SOS 7022 HAS SOPS 6087 HAS SOUS 5033 HAS SOUPS 4349 WITH SCORE 4356.022
AT ITER 512 NEW BEST:: SOT 14899 SOS 7024 HAS SOPS 6085 HAS SOUS 5031 HAS SOUPS 4347 WITH SCORE 4354.024
AT ITER 516 NEW BEST:: SOT 14899 SOS 6950 HAS SOPS 6011 HAS SOUS 5027 HAS SOUPS 4343 WITH SCORE 4349.95
AT ITER 524 NEW BEST:: SOT 14905 SOS 6937 HAS SOPS 5998 HAS SOUS 5014 HAS SOUPS 4330 WITH SCORE 4336.937
AT ITER 536 NEW BEST:: SOT 14903 SOS 6875 HAS SOPS 5936 HAS SOUS 4972 HAS SOUPS 4288 WITH SCORE 4294.875
AT ITER 539 NEW BEST:: SOT 14870 SOS 6842 HAS SOPS 5903 HAS SOUS 4945 HAS SOUPS 4261 WITH SCORE 4267.842
AT ITER 550 NEW BEST:: SOT 14828 SOS 6810 HAS SOPS 5861 HAS SOUS 4913 HAS SOUPS 4219 WITH SCORE 4225.81
AT ITER 568 NEW BEST:: SOT 14820 SOS 6802 HAS SOPS 5877 HAS SOUS 4873 HAS SOUPS 4203 WITH SCORE 4209.802
AT ITER 569 NEW BEST:: SOT 14820 SOS 6802 HAS SOPS 5877 HAS SOUS 4867 HAS SOUPS 4197 WITH SCORE 4203.802
AT ITER 577 NEW BEST:: SOT 14824 SOS 6806 HAS SOPS 5876 HAS SOUS 4866 HAS SOUPS 4196 WITH SCORE 4202.806
AT ITER 597 NEW BEST:: SOT 14756 SOS 6684 HAS SOPS 5876 HAS SOUS 4793 HAS SOUPS 4196 WITH SCORE 4202.684
AT ITER 604 NEW BEST:: SOT 14756 SOS 6684 HAS SOPS 5858 HAS SOUS 4793 HAS SOUPS 4178 WITH SCORE 4184.684
AT ITER 619 NEW BEST:: SOT 14756 SOS 6682 HAS SOPS 5856 HAS SOUS 4791 HAS SOUPS 4176 WITH SCORE 4182.682
AT ITER 635 NEW BEST:: SOT 14730 SOS 6667 HAS SOPS 5841 HAS SOUS 4790 HAS SOUPS 4175 WITH SCORE 4181.667
AT ITER 639 NEW BEST:: SOT 14727 SOS 6656 HAS SOPS 5838 HAS SOUS 4787 HAS SOUPS 4172 WITH SCORE 4178.656
AT ITER 646 NEW BEST:: SOT 14727 SOS 6666 HAS SOPS 5848 HAS SOUS 4777 HAS SOUPS 4162 WITH SCORE 4168.666
AT ITER 654 NEW BEST:: SOT 14708 SOS 6647 HAS SOPS 5815 HAS SOUS 4758 HAS SOUPS 4129 WITH SCORE 4135.647
AT ITER 661 NEW BEST:: SOT 14708 SOS 6641 HAS SOPS 5809 HAS SOUS 4752 HAS SOUPS 4123 WITH SCORE 4129.641
AT ITER 662 NEW BEST:: SOT 14706 SOS 6635 HAS SOPS 5807 HAS SOUS 4750 HAS SOUPS 4122 WITH SCORE 4128.635
AT ITER 663 NEW BEST:: SOT 14698 SOS 6603 HAS SOPS 5807 HAS SOUS 4742 HAS SOUPS 4122 WITH SCORE 4128.603
AT ITER 671 NEW BEST:: SOT 14695 SOS 6598 HAS SOPS 5802 HAS SOUS 4739 HAS SOUPS 4119 WITH SCORE 4125.598
AT ITER 675 NEW BEST:: SOT 14695 SOS 6598 HAS SOPS 5802 HAS SOUS 4735 HAS SOUPS 4115 WITH SCORE 4121.598
AT ITER 679 NEW BEST:: SOT 14694 SOS 6597 HAS SOPS 5801 HAS SOUS 4734 HAS SOUPS 4114 WITH SCORE 4120.597
AT ITER 689 NEW BEST:: SOT 14714 SOS 6618 HAS SOPS 5797 HAS SOUS 4755 HAS SOUPS 4110 WITH SCORE 4116.618
AT ITER 704 NEW BEST:: SOT 14711 SOS 6624 HAS SOPS 5791 HAS SOUS 4752 HAS SOUPS 4104 WITH SCORE 4110.624
AT ITER 716 NEW BEST:: SOT 14710 SOS 6621 HAS SOPS 5788 HAS SOUS 4750 HAS SOUPS 4102 WITH SCORE 4108.621
AT ITER 725 NEW BEST:: SOT 14710 SOS 6617 HAS SOPS 5784 HAS SOUS 4748 HAS SOUPS 4100 WITH SCORE 4106.617
AT ITER 734 NEW BEST:: SOT 14643 SOS 6542 HAS SOPS 5709 HAS SOUS 4700 HAS SOUPS 4052 WITH SCORE 4058.542
AT ITER 757 NEW BEST:: SOT 14623 SOS 6532 HAS SOPS 5699 HAS SOUS 4690 HAS SOUPS 4042 WITH SCORE 4048.532
AT ITER 761 NEW BEST:: SOT 14515 SOS 6574 HAS SOPS 5741 HAS SOUS 4678 HAS SOUPS 4030 WITH SCORE 4036.574
AT ITER 766 NEW BEST:: SOT 14480 SOS 6573 HAS SOPS 5740 HAS SOUS 4664 HAS SOUPS 4016 WITH SCORE 4022.573
AT ITER 770 NEW BEST:: SOT 14489 SOS 6572 HAS SOPS 5739 HAS SOUS 4663 HAS SOUPS 4015 WITH SCORE 4021.572
AT ITER 794 NEW BEST:: SOT 14525 SOS 6639 HAS SOPS 5725 HAS SOUS 4699 HAS SOUPS 4002 WITH SCORE 4008.639
AT ITER 803 NEW BEST:: SOT 14514 SOS 6592 HAS SOPS 5678 HAS SOUS 4687 HAS SOUPS 3990 WITH SCORE 3996.592
AT ITER 804 NEW BEST:: SOT 14427 SOS 6493 HAS SOPS 5633 HAS SOUS 4614 HAS SOUPS 3971 WITH SCORE 3977.493
AT ITER 819 NEW BEST:: SOT 14421 SOS 6487 HAS SOPS 5627 HAS SOUS 4602 HAS SOUPS 3959 WITH SCORE 3965.487
AT ITER 821 NEW BEST:: SOT 14420 SOS 6486 HAS SOPS 5625 HAS SOUS 4601 HAS SOUPS 3957 WITH SCORE 3963.486
AT ITER 822 NEW BEST:: SOT 14352 SOS 6439 HAS SOPS 5498 HAS SOUS 4568 HAS SOUPS 3898 WITH SCORE 3904.439
AT ITER 838 NEW BEST:: SOT 14352 SOS 6400 HAS SOPS 5459 HAS SOUS 4565 HAS SOUPS 3895 WITH SCORE 3901.4
AT ITER 841 NEW BEST:: SOT 14352 SOS 6411 HAS SOPS 5470 HAS SOUS 4563 HAS SOUPS 3893 WITH SCORE 3899.411
AT ITER 847 NEW BEST:: SOT 14355 SOS 6409 HAS SOPS 5468 HAS SOUS 4561 HAS SOUPS 3891 WITH SCORE 3897.409
AT ITER 852 NEW BEST:: SOT 14339 SOS 6398 HAS SOPS 5457 HAS SOUS 4550 HAS SOUPS 3880 WITH SCORE 3886.398
AT ITER 859 NEW BEST:: SOT 14339 SOS 6398 HAS SOPS 5457 HAS SOUS 4547 HAS SOUPS 3877 WITH SCORE 3883.398
AT ITER 863 NEW BEST:: SOT 14296 SOS 6355 HAS SOPS 5414 HAS SOUS 4504 HAS SOUPS 3834 WITH SCORE 3840.355
AT ITER 874 NEW BEST:: SOT 14296 SOS 6355 HAS SOPS 5405 HAS SOUS 4504 HAS SOUPS 3825 WITH SCORE 3831.355
AT ITER 888 NEW BEST:: SOT 14278 SOS 6337 HAS SOPS 5387 HAS SOUS 4432 HAS SOUPS 3753 WITH SCORE 3759.337
AT ITER 900 NEW BEST:: SOT 14278 SOS 6310 HAS SOPS 5360 HAS SOUS 4414 HAS SOUPS 3735 WITH SCORE 3741.31
AT ITER 901 NEW BEST:: SOT 14267 SOS 6299 HAS SOPS 5333 HAS SOUS 4392 HAS SOUPS 3713 WITH SCORE 3719.299
AT ITER 911 NEW BEST:: SOT 14237 SOS 6283 HAS SOPS 5312 HAS SOUS 4385 HAS SOUPS 3706 WITH SCORE 3712.283
AT ITER 933 NEW BEST:: SOT 14216 SOS 6262 HAS SOPS 5291 HAS SOUS 4358 HAS SOUPS 3679 WITH SCORE 3685.262
AT ITER 935 NEW BEST:: SOT 14196 SOS 6242 HAS SOPS 5271 HAS SOUS 4338 HAS SOUPS 3659 WITH SCORE 3665.242
AT ITER 937 NEW BEST:: SOT 14186 SOS 6238 HAS SOPS 5267 HAS SOUS 4335 HAS SOUPS 3656 WITH SCORE 3662.238
AT ITER 950 NEW BEST:: SOT 14141 SOS 6148 HAS SOPS 5231 HAS SOUS 4271 HAS SOUPS 3620 WITH SCORE 3626.148
AT ITER 956 NEW BEST:: SOT 14122 SOS 6173 HAS SOPS 5174 HAS SOUS 4233 HAS SOUPS 3563 WITH SCORE 3569.173
AT ITER 961 NEW BEST:: SOT 14122 SOS 6184 HAS SOPS 5152 HAS SOUS 4233 HAS SOUPS 3552 WITH SCORE 3558.184
AT ITER 966 NEW BEST:: SOT 14106 SOS 6183 HAS SOPS 5151 HAS SOUS 4213 HAS SOUPS 3532 WITH SCORE 3538.183
AT ITER 972 NEW BEST:: SOT 14101 SOS 6193 HAS SOPS 5124 HAS SOUS 4207 HAS SOUPS 3514 WITH SCORE 3520.193
AT ITER 990 NEW BEST:: SOT 14099 SOS 6191 HAS SOPS 5122 HAS SOUS 4205 HAS SOUPS 3512 WITH SCORE 3518.191
AT ITER 992 NEW BEST:: SOT 14050 SOS 6156 HAS SOPS 5087 HAS SOUS 4171 HAS SOUPS 3478 WITH SCORE 3484.156
AT ITER 1003 NEW BEST:: SOT 14063 SOS 6175 HAS SOPS 5051 HAS SOUS 4164 HAS SOUPS 3442 WITH SCORE 3448.175
AT ITER 1009 NEW BEST:: SOT 14060 SOS 6169 HAS SOPS 5045 HAS SOUS 4161 HAS SOUPS 3439 WITH SCORE 3445.169
AT ITER 1022 NEW BEST:: SOT 14042 SOS 6155 HAS SOPS 5031 HAS SOUS 4143 HAS SOUPS 3421 WITH SCORE 3427.155
AT ITER 1034 NEW BEST:: SOT 14040 SOS 6150 HAS SOPS 5026 HAS SOUS 4142 HAS SOUPS 3420 WITH SCORE 3426.15
AT ITER 1036 NEW BEST:: SOT 14030 SOS 6125 HAS SOPS 5001 HAS SOUS 4122 HAS SOUPS 3400 WITH SCORE 3406.125
AT ITER 1045 NEW BEST:: SOT 14001 SOS 6074 HAS SOPS 4965 HAS SOUS 4086 HAS SOUPS 3364 WITH SCORE 3370.074
AT ITER 1047 NEW BEST:: SOT 13997 SOS 6064 HAS SOPS 4955 HAS SOUS 4080 HAS SOUPS 3358 WITH SCORE 3364.064
AT ITER 1078 NEW BEST:: SOT 13983 SOS 6074 HAS SOPS 4965 HAS SOUS 4076 HAS SOUPS 3354 WITH SCORE 3360.074
AT ITER 1086 NEW BEST:: SOT 13982 SOS 6073 HAS SOPS 4964 HAS SOUS 4074 HAS SOUPS 3352 WITH SCORE 3358.073
AT ITER 1101 NEW BEST:: SOT 13971 SOS 6050 HAS SOPS 4941 HAS SOUS 4063 HAS SOUPS 3341 WITH SCORE 3347.05
AT ITER 1112 NEW BEST:: SOT 13943 SOS 6018 HAS SOPS 4914 HAS SOUS 4035 HAS SOUPS 3313 WITH SCORE 3319.018
AT ITER 1251 NEW BEST:: SOT 13943 SOS 5978 HAS SOPS 4874 HAS SOUS 4035 HAS SOUPS 3313 WITH SCORE 3318.978
AT ITER 1263 NEW BEST:: SOT 13930 SOS 5965 HAS SOPS 4848 HAS SOUS 4047 HAS SOUPS 3312 WITH SCORE 3317.965
AT ITER 1271 NEW BEST:: SOT 13929 SOS 5964 HAS SOPS 4847 HAS SOUS 4044 HAS SOUPS 3309 WITH SCORE 3314.964
AT ITER 1284 NEW BEST:: SOT 13928 SOS 5965 HAS SOPS 4845 HAS SOUS 4043 HAS SOUPS 3307 WITH SCORE 3312.965
AT ITER 1295 NEW BEST:: SOT 13926 SOS 5963 HAS SOPS 4872 HAS SOUS 4013 HAS SOUPS 3303 WITH SCORE 3308.963
AT ITER 1318 NEW BEST:: SOT 13917 SOS 5913 HAS SOPS 4867 HAS SOUS 3963 HAS SOUPS 3298 WITH SCORE 3303.913
AT ITER 1323 NEW BEST:: SOT 13913 SOS 5980 HAS SOPS 4863 HAS SOUS 3964 HAS SOUPS 3294 WITH SCORE 3299.98
AT ITER 1349 NEW BEST:: SOT 13894 SOS 5953 HAS SOPS 4863 HAS SOUS 3945 HAS SOUPS 3294 WITH SCORE 3299.953
AT ITER 1353 NEW BEST:: SOT 13894 SOS 5944 HAS SOPS 4854 HAS SOUS 3944 HAS SOUPS 3293 WITH SCORE 3298.944
AT ITER 1362 NEW BEST:: SOT 13888 SOS 5938 HAS SOPS 4848 HAS SOUS 3938 HAS SOUPS 3287 WITH SCORE 3292.938
AT ITER 1372 NEW BEST:: SOT 13867 SOS 5917 HAS SOPS 4822 HAS SOUS 3933 HAS SOUPS 3277 WITH SCORE 3282.917
AT ITER 1390 NEW BEST:: SOT 13863 SOS 5913 HAS SOPS 4816 HAS SOUS 3927 HAS SOUPS 3269 WITH SCORE 3274.913
AT ITER 1400 NEW BEST:: SOT 13861 SOS 5911 HAS SOPS 4814 HAS SOUS 3925 HAS SOUPS 3267 WITH SCORE 3272.911
AT ITER 1412 NEW BEST:: SOT 13871 SOS 5920 HAS SOPS 4805 HAS SOUS 3926 HAS SOUPS 3262 WITH SCORE 3267.92
AT ITER 1416 NEW BEST:: SOT 13877 SOS 5929 HAS SOPS 4802 HAS SOUS 3926 HAS SOUPS 3259 WITH SCORE 3264.929
AT ITER 1435 NEW BEST:: SOT 13877 SOS 5929 HAS SOPS 4802 HAS SOUS 3923 HAS SOUPS 3256 WITH SCORE 3261.929
AT ITER 1495 NEW BEST:: SOT 13874 SOS 5922 HAS SOPS 4795 HAS SOUS 3920 HAS SOUPS 3253 WITH SCORE 3258.922
AT ITER 1532 NEW BEST:: SOT 13874 SOS 5916 HAS SOPS 4789 HAS SOUS 3916 HAS SOUPS 3249 WITH SCORE 3254.916
AT ITER 1536 NEW BEST:: SOT 13868 SOS 5919 HAS SOPS 4792 HAS SOUS 3914 HAS SOUPS 3247 WITH SCORE 3252.919
AT ITER 1594 NEW BEST:: SOT 13874 SOS 5925 HAS SOPS 4789 HAS SOUS 3920 HAS SOUPS 3244 WITH SCORE 3249.925
AT ITER 1598 NEW BEST:: SOT 13874 SOS 6013 HAS SOPS 4877 HAS SOUS 3913 HAS SOUPS 3237 WITH SCORE 3243.013
AT ITER 1600 NEW BEST:: SOT 13869 SOS 6008 HAS SOPS 4872 HAS SOUS 3908 HAS SOUPS 3232 WITH SCORE 3238.008
AT ITER 1615 NEW BEST:: SOT 13871 SOS 6007 HAS SOPS 4871 HAS SOUS 3906 HAS SOUPS 3230 WITH SCORE 3236.007
AT ITER 1626 NEW BEST:: SOT 13869 SOS 5993 HAS SOPS 4857 HAS SOUS 3898 HAS SOUPS 3222 WITH SCORE 3227.993
AT ITER 1641 NEW BEST:: SOT 13865 SOS 5989 HAS SOPS 4849 HAS SOUS 3890 HAS SOUPS 3214 WITH SCORE 3219.989
AT ITER 1674 NEW BEST:: SOT 13870 SOS 5984 HAS SOPS 4844 HAS SOUS 3885 HAS SOUPS 3209 WITH SCORE 3214.984
AT ITER 1679 NEW BEST:: SOT 13867 SOS 5981 HAS SOPS 4841 HAS SOUS 3882 HAS SOUPS 3206 WITH SCORE 3211.981
AT ITER 1685 NEW BEST:: SOT 13885 SOS 6039 HAS SOPS 4829 HAS SOUS 3890 HAS SOUPS 3195 WITH SCORE 3201.039
AT ITER 1689 NEW BEST:: SOT 13885 SOS 6039 HAS SOPS 4828 HAS SOUS 3890 HAS SOUPS 3194 WITH SCORE 3200.039
AT ITER 1692 NEW BEST:: SOT 13882 SOS 5966 HAS SOPS 4822 HAS SOUS 3856 HAS SOUPS 3188 WITH SCORE 3193.966
AT ITER 1701 NEW BEST:: SOT 13882 SOS 5862 HAS SOPS 4654 HAS SOUS 3858 HAS SOUPS 3174 WITH SCORE 3179.862
AT ITER 1747 NEW BEST:: SOT 13869 SOS 5857 HAS SOPS 4649 HAS SOUS 3851 HAS SOUPS 3167 WITH SCORE 3172.857
AT ITER 1771 NEW BEST:: SOT 13817 SOS 5742 HAS SOPS 4644 HAS SOUS 3817 HAS SOUPS 3162 WITH SCORE 3167.742
AT ITER 1793 NEW BEST:: SOT 13805 SOS 5730 HAS SOPS 4620 HAS SOUS 3805 HAS SOUPS 3150 WITH SCORE 3155.73
AT ITER 1824 NEW BEST:: SOT 13799 SOS 5691 HAS SOPS 4581 HAS SOUS 3782 HAS SOUPS 3127 WITH SCORE 3132.691
AT ITER 1826 NEW BEST:: SOT 13793 SOS 5685 HAS SOPS 4575 HAS SOUS 3770 HAS SOUPS 3115 WITH SCORE 3120.685
AT ITER 1845 NEW BEST:: SOT 13793 SOS 5662 HAS SOPS 4570 HAS SOUS 3765 HAS SOUPS 3110 WITH SCORE 3115.662
AT ITER 1850 NEW BEST:: SOT 13791 SOS 5651 HAS SOPS 4563 HAS SOUS 3758 HAS SOUPS 3103 WITH SCORE 3108.651
AT ITER 1951 NEW BEST:: SOT 13791 SOS 5672 HAS SOPS 4572 HAS SOUS 3767 HAS SOUPS 3100 WITH SCORE 3105.672
AT ITER 1963 NEW BEST:: SOT 13792 SOS 5652 HAS SOPS 4552 HAS SOUS 3748 HAS SOUPS 3081 WITH SCORE 3086.652
AT ITER 1977 NEW BEST:: SOT 13780 SOS 5650 HAS SOPS 4532 HAS SOUS 3730 HAS SOUPS 3063 WITH SCORE 3068.65
AT ITER 1999 NEW BEST:: SOT 13801 SOS 5672 HAS SOPS 4506 HAS SOUS 3752 HAS SOUPS 3037 WITH SCORE 3042.672
AT ITER 2002 NEW BEST:: SOT 13802 SOS 5657 HAS SOPS 4496 HAS SOUS 3748 HAS SOUPS 3033 WITH SCORE 3038.657
AT ITER 2062 NEW BEST:: SOT 13796 SOS 5651 HAS SOPS 4491 HAS SOUS 3742 HAS SOUPS 3028 WITH SCORE 3033.651
AT ITER 2074 NEW BEST:: SOT 13800 SOS 5649 HAS SOPS 4489 HAS SOUS 3741 HAS SOUPS 3027 WITH SCORE 3032.649
AT ITER 2078 NEW BEST:: SOT 13792 SOS 5649 HAS SOPS 4489 HAS SOUS 3733 HAS SOUPS 3019 WITH SCORE 3024.649
AT ITER 2095 NEW BEST:: SOT 13789 SOS 5640 HAS SOPS 4480 HAS SOUS 3727 HAS SOUPS 3013 WITH SCORE 3018.64
AT ITER 2176 NEW BEST:: SOT 13771 SOS 5586 HAS SOPS 4480 HAS SOUS 3727 HAS SOUPS 3013 WITH SCORE 3018.586
AT ITER 2193 NEW BEST:: SOT 13742 SOS 5591 HAS SOPS 4453 HAS SOUS 3732 HAS SOUPS 2986 WITH SCORE 2991.591
AT ITER 2196 NEW BEST:: SOT 13742 SOS 5562 HAS SOPS 4453 HAS SOUS 3703 HAS SOUPS 2986 WITH SCORE 2991.562
AT ITER 2198 NEW BEST:: SOT 13746 SOS 5566 HAS SOPS 4448 HAS SOUS 3707 HAS SOUPS 2981 WITH SCORE 2986.566
AT ITER 2223 NEW BEST:: SOT 13744 SOS 5562 HAS SOPS 4444 HAS SOUS 3703 HAS SOUPS 2977 WITH SCORE 2982.562
AT ITER 2225 NEW BEST:: SOT 13721 SOS 5539 HAS SOPS 4441 HAS SOUS 3680 HAS SOUPS 2974 WITH SCORE 2979.539
AT ITER 2246 NEW BEST:: SOT 13721 SOS 5548 HAS SOPS 4432 HAS SOUS 3671 HAS SOUPS 2965 WITH SCORE 2970.548
AT ITER 2256 NEW BEST:: SOT 13721 SOS 5542 HAS SOPS 4414 HAS SOUS 3668 HAS SOUPS 2959 WITH SCORE 2964.542
AT ITER 2286 NEW BEST:: SOT 13716 SOS 5537 HAS SOPS 4409 HAS SOUS 3666 HAS SOUPS 2957 WITH SCORE 2962.537
AT ITER 2305 NEW BEST:: SOT 13714 SOS 5535 HAS SOPS 4407 HAS SOUS 3660 HAS SOUPS 2951 WITH SCORE 2956.535
AT ITER 2322 NEW BEST:: SOT 13714 SOS 5535 HAS SOPS 4407 HAS SOUS 3652 HAS SOUPS 2943 WITH SCORE 2948.535
AT ITER 2359 NEW BEST:: SOT 13713 SOS 5526 HAS SOPS 4398 HAS SOUS 3650 HAS SOUPS 2941 WITH SCORE 2946.526
AT ITER 2362 NEW BEST:: SOT 13712 SOS 5523 HAS SOPS 4395 HAS SOUS 3648 HAS SOUPS 2939 WITH SCORE 2944.523
AT ITER 2369 NEW BEST:: SOT 13709 SOS 5492 HAS SOPS 4364 HAS SOUS 3646 HAS SOUPS 2937 WITH SCORE 2942.492
AT ITER 2395 NEW BEST:: SOT 13709 SOS 5492 HAS SOPS 4364 HAS SOUS 3644 HAS SOUPS 2935 WITH SCORE 2940.492
AT ITER 2409 NEW BEST:: SOT 13699 SOS 5482 HAS SOPS 4344 HAS SOUS 3633 HAS SOUPS 2924 WITH SCORE 2929.482
AT ITER 2497 NEW BEST:: SOT 13707 SOS 5490 HAS SOPS 4337 HAS SOUS 3641 HAS SOUPS 2917 WITH SCORE 2922.49
AT ITER 2536 NEW BEST:: SOT 13707 SOS 5478 HAS SOPS 4333 HAS SOUS 3629 HAS SOUPS 2913 WITH SCORE 2918.478
AT ITER 2557 NEW BEST:: SOT 13699 SOS 5462 HAS SOPS 4325 HAS SOUS 3613 HAS SOUPS 2905 WITH SCORE 2910.462
AT ITER 2566 NEW BEST:: SOT 13700 SOS 5460 HAS SOPS 4324 HAS SOUS 3612 HAS SOUPS 2904 WITH SCORE 2909.46
AT ITER 2621 NEW BEST:: SOT 13692 SOS 5452 HAS SOPS 4316 HAS SOUS 3598 HAS SOUPS 2890 WITH SCORE 2895.452
AT ITER 2626 NEW BEST:: SOT 13693 SOS 5453 HAS SOPS 4317 HAS SOUS 3597 HAS SOUPS 2889 WITH SCORE 2894.453
AT ITER 2658 NEW BEST:: SOT 13694 SOS 5499 HAS SOPS 4307 HAS SOUS 3597 HAS SOUPS 2880 WITH SCORE 2885.499
AT ITER 2679 NEW BEST:: SOT 13664 SOS 5469 HAS SOPS 4277 HAS SOUS 3588 HAS SOUPS 2871 WITH SCORE 2876.469
AT ITER 2682 NEW BEST:: SOT 13660 SOS 5461 HAS SOPS 4269 HAS SOUS 3584 HAS SOUPS 2867 WITH SCORE 2872.461
AT ITER 2684 NEW BEST:: SOT 13660 SOS 5458 HAS SOPS 4266 HAS SOUS 3582 HAS SOUPS 2865 WITH SCORE 2870.458
AT ITER 2700 NEW BEST:: SOT 13660 SOS 5454 HAS SOPS 4260 HAS SOUS 3581 HAS SOUPS 2863 WITH SCORE 2868.454
AT ITER 2709 NEW BEST:: SOT 13645 SOS 5433 HAS SOPS 4259 HAS SOUS 3560 HAS SOUPS 2862 WITH SCORE 2867.433
AT ITER 2712 NEW BEST:: SOT 13617 SOS 5377 HAS SOPS 4203 HAS SOUS 3532 HAS SOUPS 2834 WITH SCORE 2839.377
AT ITER 2717 NEW BEST:: SOT 13619 SOS 5379 HAS SOPS 4181 HAS SOUS 3552 HAS SOUPS 2830 WITH SCORE 2835.379
AT ITER 2734 NEW BEST:: SOT 13588 SOS 5351 HAS SOPS 4153 HAS SOUS 3526 HAS SOUPS 2804 WITH SCORE 2809.351
AT ITER 2765 NEW BEST:: SOT 13587 SOS 5346 HAS SOPS 4152 HAS SOUS 3524 HAS SOUPS 2803 WITH SCORE 2808.346
AT ITER 2779 NEW BEST:: SOT 13582 SOS 5259 HAS SOPS 4147 HAS SOUS 3437 HAS SOUPS 2798 WITH SCORE 2803.259
AT ITER 2789 NEW BEST:: SOT 13582 SOS 5247 HAS SOPS 4140 HAS SOUS 3427 HAS SOUPS 2793 WITH SCORE 2798.247
AT ITER 2795 NEW BEST:: SOT 13579 SOS 5244 HAS SOPS 4137 HAS SOUS 3424 HAS SOUPS 2790 WITH SCORE 2795.244
AT ITER 2807 NEW BEST:: SOT 13578 SOS 5243 HAS SOPS 4131 HAS SOUS 3427 HAS SOUPS 2788 WITH SCORE 2793.243
AT ITER 2818 NEW BEST:: SOT 13574 SOS 5239 HAS SOPS 4127 HAS SOUS 3425 HAS SOUPS 2786 WITH SCORE 2791.239
AT ITER 2832 NEW BEST:: SOT 13580 SOS 5254 HAS SOPS 4142 HAS SOUS 3424 HAS SOUPS 2785 WITH SCORE 2790.254
AT ITER 2833 NEW BEST:: SOT 13580 SOS 5252 HAS SOPS 4141 HAS SOUS 3423 HAS SOUPS 2785 WITH SCORE 2790.252
AT ITER 2875 NEW BEST:: SOT 13576 SOS 5248 HAS SOPS 4137 HAS SOUS 3421 HAS SOUPS 2783 WITH SCORE 2788.248
AT ITER 2893 NEW BEST:: SOT 13580 SOS 5258 HAS SOPS 4147 HAS SOUS 3413 HAS SOUPS 2775 WITH SCORE 2780.258
AT ITER 3001 NEW BEST:: SOT 13569 SOS 5227 HAS SOPS 4121 HAS SOUS 3396 HAS SOUPS 2763 WITH SCORE 2768.227
AT ITER 3058 NEW BEST:: SOT 13567 SOS 5221 HAS SOPS 4117 HAS SOUS 3392 HAS SOUPS 2761 WITH SCORE 2766.221
AT ITER 3087 NEW BEST:: SOT 13566 SOS 5220 HAS SOPS 4116 HAS SOUS 3391 HAS SOUPS 2760 WITH SCORE 2765.22
AT ITER 3135 NEW BEST:: SOT 13564 SOS 5218 HAS SOPS 4112 HAS SOUS 3389 HAS SOUPS 2756 WITH SCORE 2761.218
AT ITER 3177 NEW BEST:: SOT 13562 SOS 5184 HAS SOPS 4110 HAS SOUS 3378 HAS SOUPS 2754 WITH SCORE 2759.184
AT ITER 3178 NEW BEST:: SOT 13556 SOS 5172 HAS SOPS 4104 HAS SOUS 3372 HAS SOUPS 2754 WITH SCORE 2759.172
AT ITER 3199 NEW BEST:: SOT 13556 SOS 5172 HAS SOPS 4103 HAS SOUS 3371 HAS SOUPS 2752 WITH SCORE 2757.172
AT ITER 3200 NEW BEST:: SOT 13556 SOS 5175 HAS SOPS 4102 HAS SOUS 3371 HAS SOUPS 2751 WITH SCORE 2756.175
AT ITER 3222 NEW BEST:: SOT 13557 SOS 5198 HAS SOPS 4120 HAS SOUS 3374 HAS SOUPS 2749 WITH SCORE 2754.198
AT ITER 3228 NEW BEST:: SOT 13549 SOS 5175 HAS SOPS 4115 HAS SOUS 3351 HAS SOUPS 2744 WITH SCORE 2749.175
AT ITER 3231 NEW BEST:: SOT 13549 SOS 5168 HAS SOPS 4115 HAS SOUS 3351 HAS SOUPS 2744 WITH SCORE 2749.168
AT ITER 3347 NEW BEST:: SOT 13546 SOS 5165 HAS SOPS 4109 HAS SOUS 3351 HAS SOUPS 2744 WITH SCORE 2749.165
AT ITER 3348 NEW BEST:: SOT 13542 SOS 5139 HAS SOPS 4107 HAS SOUS 3343 HAS SOUPS 2742 WITH SCORE 2747.139
AT ITER 3367 NEW BEST:: SOT 13539 SOS 5136 HAS SOPS 4098 HAS SOUS 3343 HAS SOUPS 2736 WITH SCORE 2741.136
AT ITER 3537 NEW BEST:: SOT 13520 SOS 5102 HAS SOPS 4079 HAS SOUS 3320 HAS SOUPS 2728 WITH SCORE 2733.102
AT ITER 3555 NEW BEST:: SOT 13518 SOS 5100 HAS SOPS 4079 HAS SOUS 3314 HAS SOUPS 2724 WITH SCORE 2729.1
AT ITER 3556 NEW BEST:: SOT 13522 SOS 5107 HAS SOPS 4077 HAS SOUS 3312 HAS SOUPS 2722 WITH SCORE 2727.107
AT ITER 3565 NEW BEST:: SOT 13569 SOS 5106 HAS SOPS 4076 HAS SOUS 3311 HAS SOUPS 2721 WITH SCORE 2726.106
AT ITER 3570 NEW BEST:: SOT 13563 SOS 5096 HAS SOPS 4066 HAS SOUS 3305 HAS SOUPS 2715 WITH SCORE 2720.096
AT ITER 3573 NEW BEST:: SOT 13535 SOS 5068 HAS SOPS 4064 HAS SOUS 3303 HAS SOUPS 2713 WITH SCORE 2718.068
AT ITER 3578 NEW BEST:: SOT 13531 SOS 5064 HAS SOPS 4064 HAS SOUS 3303 HAS SOUPS 2713 WITH SCORE 2718.064
AT ITER 3589 NEW BEST:: SOT 13530 SOS 5063 HAS SOPS 4054 HAS SOUS 3301 HAS SOUPS 2711 WITH SCORE 2716.063
AT ITER 3595 NEW BEST:: SOT 13526 SOS 5059 HAS SOPS 4046 HAS SOUS 3293 HAS SOUPS 2703 WITH SCORE 2708.059
AT ITER 3598 NEW BEST:: SOT 13525 SOS 5057 HAS SOPS 4044 HAS SOUS 3291 HAS SOUPS 2701 WITH SCORE 2706.057
AT ITER 3799 NEW BEST:: SOT 13525 SOS 5051 HAS SOPS 4038 HAS SOUS 3286 HAS SOUPS 2696 WITH SCORE 2701.051
AT ITER 3848 NEW BEST:: SOT 13525 SOS 5045 HAS SOPS 4032 HAS SOUS 3284 HAS SOUPS 2694 WITH SCORE 2699.045
AT ITER 3862 NEW BEST:: SOT 13525 SOS 4993 HAS SOPS 3968 HAS SOUS 3282 HAS SOUPS 2686 WITH SCORE 2690.993
AT ITER 3884 NEW BEST:: SOT 13521 SOS 5061 HAS SOPS 4036 HAS SOUS 3280 HAS SOUPS 2684 WITH SCORE 2689.061
AT ITER 3903 NEW BEST:: SOT 13518 SOS 5058 HAS SOPS 4030 HAS SOUS 3274 HAS SOUPS 2678 WITH SCORE 2683.058
AT ITER 3909 NEW BEST:: SOT 13507 SOS 5063 HAS SOPS 4035 HAS SOUS 3273 HAS SOUPS 2677 WITH SCORE 2682.063
AT ITER 4041 NEW BEST:: SOT 13506 SOS 5062 HAS SOPS 4033 HAS SOUS 3272 HAS SOUPS 2675 WITH SCORE 2680.062
AT ITER 4051 NEW BEST:: SOT 13498 SOS 5054 HAS SOPS 4025 HAS SOUS 3268 HAS SOUPS 2671 WITH SCORE 2676.054
AT ITER 4081 NEW BEST:: SOT 13491 SOS 5047 HAS SOPS 4018 HAS SOUS 3261 HAS SOUPS 2664 WITH SCORE 2669.047
AT ITER 4095 NEW BEST:: SOT 13488 SOS 5044 HAS SOPS 4015 HAS SOUS 3261 HAS SOUPS 2664 WITH SCORE 2669.044
AT ITER 4184 NEW BEST:: SOT 13508 SOS 5062 HAS SOPS 4007 HAS SOUS 3279 HAS SOUPS 2656 WITH SCORE 2661.062
AT ITER 4197 NEW BEST:: SOT 13505 SOS 5053 HAS SOPS 3998 HAS SOUS 3270 HAS SOUPS 2647 WITH SCORE 2652.053
AT ITER 4222 NEW BEST:: SOT 13567 SOS 5004 HAS SOPS 3910 HAS SOUS 3291 HAS SOUPS 2629 WITH SCORE 2634.004
AT ITER 4272 NEW BEST:: SOT 13555 SOS 4982 HAS SOPS 3888 HAS SOUS 3269 HAS SOUPS 2607 WITH SCORE 2611.982
AT ITER 4288 NEW BEST:: SOT 13554 SOS 5023 HAS SOPS 3887 HAS SOUS 3310 HAS SOUPS 2606 WITH SCORE 2611.023
AT ITER 4313 NEW BEST:: SOT 13548 SOS 5005 HAS SOPS 3869 HAS SOUS 3302 HAS SOUPS 2598 WITH SCORE 2603.005
AT ITER 4406 NEW BEST:: SOT 13547 SOS 4988 HAS SOPS 3852 HAS SOUS 3301 HAS SOUPS 2597 WITH SCORE 2601.988
AT ITER 4424 NEW BEST:: SOT 13539 SOS 4975 HAS SOPS 3839 HAS SOUS 3296 HAS SOUPS 2592 WITH SCORE 2596.975
AT ITER 4430 NEW BEST:: SOT 13508 SOS 4932 HAS SOPS 3839 HAS SOUS 3265 HAS SOUPS 2592 WITH SCORE 2596.932
AT ITER 4433 NEW BEST:: SOT 13446 SOS 4852 HAS SOPS 3825 HAS SOUS 3227 HAS SOUPS 2576 WITH SCORE 2580.852
AT ITER 4464 NEW BEST:: SOT 13427 SOS 4833 HAS SOPS 3825 HAS SOUS 3208 HAS SOUPS 2576 WITH SCORE 2580.833
AT ITER 4485 NEW BEST:: SOT 13397 SOS 4803 HAS SOPS 3825 HAS SOUS 3208 HAS SOUPS 2576 WITH SCORE 2580.803
AT ITER 4610 NEW BEST:: SOT 13387 SOS 4793 HAS SOPS 3825 HAS SOUS 3198 HAS SOUPS 2576 WITH SCORE 2580.793
AT ITER 4659 NEW BEST:: SOT 13384 SOS 4793 HAS SOPS 3825 HAS SOUS 3195 HAS SOUPS 2573 WITH SCORE 2577.793
AT ITER 4700 NEW BEST:: SOT 13380 SOS 4783 HAS SOPS 3821 HAS SOUS 3191 HAS SOUPS 2571 WITH SCORE 2575.783
AT ITER 4704 NEW BEST:: SOT 13380 SOS 4783 HAS SOPS 3817 HAS SOUS 3191 HAS SOUPS 2567 WITH SCORE 2571.783
AT ITER 4706 NEW BEST:: SOT 13370 SOS 4433 HAS SOPS 3467 HAS SOUS 3184 HAS SOUPS 2560 WITH SCORE 2564.433
AT ITER 4724 NEW BEST:: SOT 13370 SOS 4429 HAS SOPS 3463 HAS SOUS 3182 HAS SOUPS 2558 WITH SCORE 2562.429
AT ITER 4734 NEW BEST:: SOT 13368 SOS 4420 HAS SOPS 3462 HAS SOUS 3179 HAS SOUPS 2557 WITH SCORE 2561.42
AT ITER 4766 NEW BEST:: SOT 13368 SOS 4420 HAS SOPS 3461 HAS SOUS 3179 HAS SOUPS 2556 WITH SCORE 2560.42
AT ITER 4768 NEW BEST:: SOT 13367 SOS 4425 HAS SOPS 3466 HAS SOUS 3178 HAS SOUPS 2555 WITH SCORE 2559.425
AT ITER 4783 NEW BEST:: SOT 13358 SOS 4316 HAS SOPS 3357 HAS SOUS 3178 HAS SOUPS 2555 WITH SCORE 2559.316
AT ITER 4787 NEW BEST:: SOT 13360 SOS 4313 HAS SOPS 3354 HAS SOUS 3178 HAS SOUPS 2555 WITH SCORE 2559.313
AT ITER 4799 NEW BEST:: SOT 13357 SOS 4313 HAS SOPS 3349 HAS SOUS 3176 HAS SOUPS 2553 WITH SCORE 2557.313
AT ITER 4834 NEW BEST:: SOT 13349 SOS 4284 HAS SOPS 3349 HAS SOUS 3168 HAS SOUPS 2553 WITH SCORE 2557.284
AT ITER 4835 NEW BEST:: SOT 13346 SOS 4251 HAS SOPS 3316 HAS SOUS 3164 HAS SOUPS 2549 WITH SCORE 2553.251
AT ITER 4844 NEW BEST:: SOT 13337 SOS 4242 HAS SOPS 3307 HAS SOUS 3158 HAS SOUPS 2543 WITH SCORE 2547.242
AT ITER 4899 NEW BEST:: SOT 13314 SOS 4217 HAS SOPS 3303 HAS SOUS 3133 HAS SOUPS 2539 WITH SCORE 2543.217
AT ITER 4999 NEW BEST:: SOT 13328 SOS 4175 HAS SOPS 3308 HAS SOUS 3131 HAS SOUPS 2537 WITH SCORE 2541.175
Bounds file is: CTLFireability.xml
PROPERTY: AutoFlight-PT-06a-CTLFireability-00 (AG( ( ( ((potential((tk(P32)>=1)))) | ( (! ((potential((tk(P20)>=1))))) | ( ((potential((tk(P56)>=1) & (tk(P147)>=1)))) & ((potential((tk(P38)>=1)))) ) ) ) | ((potential((tk(P34)>=1)))) )))
PROPERTY: AutoFlight-PT-06a-CTLFireability-01 ( ( (EG( (EX( ((potential((tk(P4)>=1)))))))) | ( (AU( ((potential((tk(P125)>=1) & (tk(P156)>=1)))) , ((potential((tk(P39)>=1)))) )) & ( ( ( ((potential((tk(P6)>=1)))) & ((potential((tk(P8)>=1) & (tk(P81)>=1)))) ) & ( ((potential((tk(P15)>=1) & (tk(P64)>=1)))) | ((potential((tk(P60)>=1)))) ) ) | (EX( ((potential((tk(P59)>=1) & (tk(P153)>=1)))))) ) ) ) & (AU( (! ( ((potential((tk(P43)>=1) & (tk(P86)>=1)))) | ((potential((tk(P75)>=1)))) )) , ((potential((tk(P17)>=1)))) )) )
PROPERTY: AutoFlight-PT-06a-CTLFireability-02 ( (EF( (! (EF( ((potential((tk(P29)>=1) & (tk(P84)>=1))))))))) | ((potential((tk(P19)>=1) & (tk(P115)>=1)))) )
PROPERTY: AutoFlight-PT-06a-CTLFireability-03 (AF( ((potential((tk(P15)>=1) & (tk(P96)>=1))))))
PROPERTY: AutoFlight-PT-06a-CTLFireability-04 (AG( (EF( ( (! ((potential((tk(P7)>=1))))) | ( ((potential((tk(P8)>=1) & (tk(P81)>=1)))) & ((potential((tk(P56)>=1) & (tk(P147)>=1)))) ) )))))
PROPERTY: AutoFlight-PT-06a-CTLFireability-05 (EF( ( ((potential((tk(P17)>=1)))) | (! (AF( ((potential((tk(P34)>=1))))))) )))
PROPERTY: AutoFlight-PT-06a-CTLFireability-06 (AX( (! ( (AG( ((potential((tk(P106)>=1)))))) | (EF( ((potential((tk(P69)>=1)))))) ))))
PROPERTY: AutoFlight-PT-06a-CTLFireability-07 ( (EX( (! (AF( ((potential((tk(P41)>=1))))))))) | ((potential((tk(P39)>=1) & (tk(P151)>=1)))) )
PROPERTY: AutoFlight-PT-06a-CTLFireability-08 ( (EU( (AF( ((potential((tk(P101)>=1)))))) , (! (! ((potential((tk(P18)>=1)))))) )) | (EF( (! (EF( ((potential((tk(P101)>=1))))))))) )
PROPERTY: AutoFlight-PT-06a-CTLFireability-09 (EU( (EX( ((potential((tk(P14)>=1)))))) , (EF( ( ((potential((tk(P79)>=1)))) | ((potential((tk(P78)>=1)))) ))) ))
PROPERTY: AutoFlight-PT-06a-CTLFireability-10 (! (EG( ( (! ( ((potential((tk(P42)>=1)))) & ((potential((tk(P45)>=1)))) )) | (! (! ((potential((tk(P14)>=1)))))) ))))
PROPERTY: AutoFlight-PT-06a-CTLFireability-11 (AU( ((potential((tk(P137)>=1) & (tk(P156)>=1)))) , (AF( ( ((potential((tk(P144)>=1) & (tk(P157)>=1)))) | ((potential((tk(P3)>=1)))) ))) ))
PROPERTY: AutoFlight-PT-06a-CTLFireability-12 (! (! (EX( (EF( ((potential((tk(P28)>=1) & (tk(P140)>=1))))))))))
PROPERTY: AutoFlight-PT-06a-CTLFireability-13 (AG( (AU( ( ((potential((tk(P119)>=1) & (tk(P156)>=1)))) | ((potential((tk(P54)>=1)))) ) , (! ((potential((tk(P54)>=1))))) ))))
PROPERTY: AutoFlight-PT-06a-CTLFireability-14 (AF( ( ( (AG( ((potential((tk(P32)>=1)))))) | (AF( ((potential((tk(P10)>=1)))))) ) | (! (! ( ((potential((tk(P10)>=1)))) & ((potential((tk(P3)>=1)))) ))) )))
PROPERTY: AutoFlight-PT-06a-CTLFireability-15 (! ( ( ( ( ( ((potential((tk(P41)>=1)))) & ((potential((tk(P101)>=1)))) ) & ( ((potential((tk(P76)>=1)))) & ((potential((tk(P54)>=1)))) ) ) & (EG( ((potential((tk(P29)>=1) & (tk(P84)>=1)))))) ) & ((potential((tk(P73)>=1)))) ) | ( ( ((potential((tk(P71)>=1)))) & (! ((potential((tk(P51)>=1))))) ) | (! (AF( ((potential((tk(P144)>=1) & (tk(P157)>=1))))))) ) ))
FORMULA AutoFlight-PT-06a-CTLFireability-00 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="AutoFlight-PT-06a"
export BK_EXAMINATION="CTLFireability"
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 AutoFlight-PT-06a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508500452"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-06a.tgz
mv AutoFlight-PT-06a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;