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.r163-tall-167838847300088.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 Echo-PT-d03r03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847300088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 7.4K Feb 25 14:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 14:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 14:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 14:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 14:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 14:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 14:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:03 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 114K Mar 5 18:22 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 1678435382665

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=Echo-PT-d03r03
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Echo (PT), instance d03r03
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: 265 places, 206 transitions, 1252 arcs.
AT ITER 0 NEW BEST:: SOT 37256 SOS 20310 HAS SOPS 20310 HAS SOUS 16751 HAS SOUPS 16751 WITH SCORE 16771.31
AT ITER 13 NEW BEST:: SOT 37255 SOS 20339 HAS SOPS 20339 HAS SOUS 16729 HAS SOUPS 16729 WITH SCORE 16749.339
AT ITER 19 NEW BEST:: SOT 37255 SOS 20339 HAS SOPS 20339 HAS SOUS 16699 HAS SOUPS 16699 WITH SCORE 16719.339
AT ITER 24 NEW BEST:: SOT 37235 SOS 20338 HAS SOPS 20338 HAS SOUS 16672 HAS SOUPS 16672 WITH SCORE 16692.338
AT ITER 26 NEW BEST:: SOT 37235 SOS 20338 HAS SOPS 20338 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16662.338
AT ITER 33 NEW BEST:: SOT 37181 SOS 20457 HAS SOPS 20457 HAS SOUS 16619 HAS SOUPS 16619 WITH SCORE 16639.457
AT ITER 39 NEW BEST:: SOT 37117 SOS 20410 HAS SOPS 20410 HAS SOUS 16572 HAS SOUPS 16572 WITH SCORE 16592.41
AT ITER 63 NEW BEST:: SOT 37114 SOS 20407 HAS SOPS 20407 HAS SOUS 16569 HAS SOUPS 16569 WITH SCORE 16589.407
AT ITER 91 NEW BEST:: SOT 37114 SOS 20407 HAS SOPS 20407 HAS SOUS 16537 HAS SOUPS 16537 WITH SCORE 16557.407
AT ITER 132 NEW BEST:: SOT 37088 SOS 20441 HAS SOPS 20441 HAS SOUS 16499 HAS SOUPS 16499 WITH SCORE 16519.441
AT ITER 133 NEW BEST:: SOT 37088 SOS 20474 HAS SOPS 20474 HAS SOUS 16479 HAS SOUPS 16479 WITH SCORE 16499.474
AT ITER 140 NEW BEST:: SOT 37055 SOS 20441 HAS SOPS 20441 HAS SOUS 16446 HAS SOUPS 16446 WITH SCORE 16466.441
AT ITER 160 NEW BEST:: SOT 36973 SOS 20735 HAS SOPS 20735 HAS SOUS 16440 HAS SOUPS 16440 WITH SCORE 16460.735
AT ITER 198 NEW BEST:: SOT 36970 SOS 20736 HAS SOPS 20736 HAS SOUS 16436 HAS SOUPS 16436 WITH SCORE 16456.736
AT ITER 215 NEW BEST:: SOT 36970 SOS 20736 HAS SOPS 20736 HAS SOUS 16434 HAS SOUPS 16434 WITH SCORE 16454.736
AT ITER 276 NEW BEST:: SOT 36950 SOS 20718 HAS SOPS 20718 HAS SOUS 16418 HAS SOUPS 16418 WITH SCORE 16438.718
AT ITER 292 NEW BEST:: SOT 36951 SOS 20719 HAS SOPS 20719 HAS SOUS 16415 HAS SOUPS 16415 WITH SCORE 16435.719
AT ITER 295 NEW BEST:: SOT 36951 SOS 20719 HAS SOPS 20719 HAS SOUS 16407 HAS SOUPS 16407 WITH SCORE 16427.719
AT ITER 320 NEW BEST:: SOT 36950 SOS 20726 HAS SOPS 20726 HAS SOUS 16406 HAS SOUPS 16406 WITH SCORE 16426.726
AT ITER 344 NEW BEST:: SOT 36933 SOS 20709 HAS SOPS 20709 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16409.709
AT ITER 349 NEW BEST:: SOT 36933 SOS 20711 HAS SOPS 20711 HAS SOUS 16387 HAS SOUPS 16387 WITH SCORE 16407.711
AT ITER 351 NEW BEST:: SOT 36933 SOS 20711 HAS SOPS 20711 HAS SOUS 16379 HAS SOUPS 16379 WITH SCORE 16399.711
AT ITER 390 NEW BEST:: SOT 36933 SOS 20711 HAS SOPS 20711 HAS SOUS 16357 HAS SOUPS 16357 WITH SCORE 16377.711
AT ITER 419 NEW BEST:: SOT 36933 SOS 20711 HAS SOPS 20711 HAS SOUS 16355 HAS SOUPS 16355 WITH SCORE 16375.711
AT ITER 431 NEW BEST:: SOT 36914 SOS 20692 HAS SOPS 20692 HAS SOUS 16336 HAS SOUPS 16336 WITH SCORE 16356.692
AT ITER 440 NEW BEST:: SOT 36823 SOS 20755 HAS SOPS 20755 HAS SOUS 16279 HAS SOUPS 16279 WITH SCORE 16299.755
AT ITER 478 NEW BEST:: SOT 36823 SOS 20785 HAS SOPS 20785 HAS SOUS 16265 HAS SOUPS 16265 WITH SCORE 16285.785
AT ITER 485 NEW BEST:: SOT 36805 SOS 20767 HAS SOPS 20767 HAS SOUS 16247 HAS SOUPS 16247 WITH SCORE 16267.767
AT ITER 515 NEW BEST:: SOT 36737 SOS 21054 HAS SOPS 21054 HAS SOUS 16244 HAS SOUPS 16244 WITH SCORE 16265.054
AT ITER 521 NEW BEST:: SOT 36701 SOS 21018 HAS SOPS 21018 HAS SOUS 16208 HAS SOUPS 16208 WITH SCORE 16229.018
AT ITER 538 NEW BEST:: SOT 36671 SOS 20988 HAS SOPS 20988 HAS SOUS 16178 HAS SOUPS 16178 WITH SCORE 16198.988
AT ITER 547 NEW BEST:: SOT 36656 SOS 20973 HAS SOPS 20973 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16183.973
AT ITER 577 NEW BEST:: SOT 36636 SOS 20960 HAS SOPS 20960 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16170.96
AT ITER 580 NEW BEST:: SOT 36636 SOS 20960 HAS SOPS 20960 HAS SOUS 16148 HAS SOUPS 16148 WITH SCORE 16168.96
AT ITER 589 NEW BEST:: SOT 36612 SOS 20936 HAS SOPS 20936 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16138.936
AT ITER 595 NEW BEST:: SOT 36612 SOS 20936 HAS SOPS 20936 HAS SOUS 16110 HAS SOUPS 16110 WITH SCORE 16130.936
AT ITER 612 NEW BEST:: SOT 36572 SOS 21001 HAS SOPS 21001 HAS SOUS 16091 HAS SOUPS 16091 WITH SCORE 16112.001
AT ITER 624 NEW BEST:: SOT 36572 SOS 21001 HAS SOPS 21001 HAS SOUS 16073 HAS SOUPS 16073 WITH SCORE 16094.001
AT ITER 625 NEW BEST:: SOT 36577 SOS 20958 HAS SOPS 20958 HAS SOUS 16067 HAS SOUPS 16067 WITH SCORE 16087.958
AT ITER 648 NEW BEST:: SOT 36577 SOS 20958 HAS SOPS 20958 HAS SOUS 16061 HAS SOUPS 16061 WITH SCORE 16081.958
AT ITER 656 NEW BEST:: SOT 36577 SOS 20938 HAS SOPS 20938 HAS SOUS 16057 HAS SOUPS 16057 WITH SCORE 16077.938
AT ITER 698 NEW BEST:: SOT 36575 SOS 20922 HAS SOPS 20922 HAS SOUS 16051 HAS SOUPS 16051 WITH SCORE 16071.922
AT ITER 755 NEW BEST:: SOT 36523 SOS 20881 HAS SOPS 20881 HAS SOUS 16017 HAS SOUPS 16017 WITH SCORE 16037.881
AT ITER 767 NEW BEST:: SOT 36509 SOS 20867 HAS SOPS 20867 HAS SOUS 16003 HAS SOUPS 16003 WITH SCORE 16023.867
AT ITER 776 NEW BEST:: SOT 36374 SOS 20944 HAS SOPS 20944 HAS SOUS 15980 HAS SOUPS 15980 WITH SCORE 16000.944
AT ITER 782 NEW BEST:: SOT 36374 SOS 20944 HAS SOPS 20944 HAS SOUS 15978 HAS SOUPS 15978 WITH SCORE 15998.944
AT ITER 827 NEW BEST:: SOT 36372 SOS 20962 HAS SOPS 20962 HAS SOUS 15976 HAS SOUPS 15976 WITH SCORE 15996.962
AT ITER 833 NEW BEST:: SOT 36372 SOS 20962 HAS SOPS 20962 HAS SOUS 15968 HAS SOUPS 15968 WITH SCORE 15988.962
AT ITER 847 NEW BEST:: SOT 36372 SOS 20962 HAS SOPS 20962 HAS SOUS 15962 HAS SOUPS 15962 WITH SCORE 15982.962
AT ITER 860 NEW BEST:: SOT 36371 SOS 20961 HAS SOPS 20961 HAS SOUS 15961 HAS SOUPS 15961 WITH SCORE 15981.961
AT ITER 869 NEW BEST:: SOT 36371 SOS 20961 HAS SOPS 20961 HAS SOUS 15959 HAS SOUPS 15959 WITH SCORE 15979.961
AT ITER 892 NEW BEST:: SOT 36371 SOS 20960 HAS SOPS 20960 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 15978.96
AT ITER 898 NEW BEST:: SOT 36364 SOS 21045 HAS SOPS 21045 HAS SOUS 15928 HAS SOUPS 15928 WITH SCORE 15949.045
AT ITER 902 NEW BEST:: SOT 36364 SOS 21045 HAS SOPS 21045 HAS SOUS 15914 HAS SOUPS 15914 WITH SCORE 15935.045
AT ITER 911 NEW BEST:: SOT 36362 SOS 21043 HAS SOPS 21043 HAS SOUS 15912 HAS SOUPS 15912 WITH SCORE 15933.043
AT ITER 959 NEW BEST:: SOT 36360 SOS 21041 HAS SOPS 21041 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15931.041
AT ITER 982 NEW BEST:: SOT 36356 SOS 21037 HAS SOPS 21037 HAS SOUS 15906 HAS SOUPS 15906 WITH SCORE 15927.037
AT ITER 989 NEW BEST:: SOT 36355 SOS 21036 HAS SOPS 21036 HAS SOUS 15905 HAS SOUPS 15905 WITH SCORE 15926.036
AT ITER 990 NEW BEST:: SOT 36355 SOS 21036 HAS SOPS 21036 HAS SOUS 15885 HAS SOUPS 15885 WITH SCORE 15906.036
AT ITER 996 NEW BEST:: SOT 36347 SOS 21048 HAS SOPS 21048 HAS SOUS 15881 HAS SOUPS 15881 WITH SCORE 15902.048
AT ITER 998 NEW BEST:: SOT 36355 SOS 21044 HAS SOPS 21044 HAS SOUS 15881 HAS SOUPS 15881 WITH SCORE 15902.044
AT ITER 1001 NEW BEST:: SOT 36355 SOS 21044 HAS SOPS 21044 HAS SOUS 15869 HAS SOUPS 15869 WITH SCORE 15890.044
AT ITER 1017 NEW BEST:: SOT 36355 SOS 21044 HAS SOPS 21044 HAS SOUS 15733 HAS SOUPS 15733 WITH SCORE 15754.044
AT ITER 1049 NEW BEST:: SOT 36346 SOS 21035 HAS SOPS 21035 HAS SOUS 15724 HAS SOUPS 15724 WITH SCORE 15745.035
AT ITER 1076 NEW BEST:: SOT 36318 SOS 21007 HAS SOPS 21007 HAS SOUS 15704 HAS SOUPS 15704 WITH SCORE 15725.007
AT ITER 1093 NEW BEST:: SOT 36318 SOS 21007 HAS SOPS 21007 HAS SOUS 15696 HAS SOUPS 15696 WITH SCORE 15717.007
AT ITER 1096 NEW BEST:: SOT 36317 SOS 21012 HAS SOPS 21012 HAS SOUS 15695 HAS SOUPS 15695 WITH SCORE 15716.012
AT ITER 1100 NEW BEST:: SOT 36316 SOS 21011 HAS SOPS 21011 HAS SOUS 15666 HAS SOUPS 15666 WITH SCORE 15687.011
AT ITER 1107 NEW BEST:: SOT 36303 SOS 21014 HAS SOPS 21014 HAS SOUS 15653 HAS SOUPS 15653 WITH SCORE 15674.014
AT ITER 1119 NEW BEST:: SOT 36285 SOS 20995 HAS SOPS 20995 HAS SOUS 15634 HAS SOUPS 15634 WITH SCORE 15654.995
AT ITER 1138 NEW BEST:: SOT 36285 SOS 21031 HAS SOPS 21031 HAS SOUS 15632 HAS SOUPS 15632 WITH SCORE 15653.031
AT ITER 1140 NEW BEST:: SOT 36285 SOS 21031 HAS SOPS 21031 HAS SOUS 15620 HAS SOUPS 15620 WITH SCORE 15641.031
AT ITER 1219 NEW BEST:: SOT 36284 SOS 21098 HAS SOPS 21098 HAS SOUS 15598 HAS SOUPS 15598 WITH SCORE 15619.098
AT ITER 1255 NEW BEST:: SOT 36284 SOS 21073 HAS SOPS 21073 HAS SOUS 15593 HAS SOUPS 15593 WITH SCORE 15614.073
AT ITER 1265 NEW BEST:: SOT 36282 SOS 21094 HAS SOPS 21094 HAS SOUS 15592 HAS SOUPS 15592 WITH SCORE 15613.094
AT ITER 1334 NEW BEST:: SOT 36214 SOS 20874 HAS SOPS 20874 HAS SOUS 15510 HAS SOUPS 15510 WITH SCORE 15530.874
AT ITER 1340 NEW BEST:: SOT 36146 SOS 20828 HAS SOPS 20828 HAS SOUS 15464 HAS SOUPS 15464 WITH SCORE 15484.828
AT ITER 1365 NEW BEST:: SOT 36142 SOS 20800 HAS SOPS 20800 HAS SOUS 15436 HAS SOUPS 15436 WITH SCORE 15456.8
AT ITER 1383 NEW BEST:: SOT 36140 SOS 20803 HAS SOPS 20803 HAS SOUS 15435 HAS SOUPS 15435 WITH SCORE 15455.803
AT ITER 1417 NEW BEST:: SOT 36139 SOS 20798 HAS SOPS 20798 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15450.798
AT ITER 1420 NEW BEST:: SOT 36123 SOS 20782 HAS SOPS 20782 HAS SOUS 15426 HAS SOUPS 15426 WITH SCORE 15446.782
AT ITER 1438 NEW BEST:: SOT 36123 SOS 20782 HAS SOPS 20782 HAS SOUS 15406 HAS SOUPS 15406 WITH SCORE 15426.782
AT ITER 1445 NEW BEST:: SOT 36122 SOS 20781 HAS SOPS 20781 HAS SOUS 15405 HAS SOUPS 15405 WITH SCORE 15425.781
AT ITER 1448 NEW BEST:: SOT 36122 SOS 20781 HAS SOPS 20781 HAS SOUS 15403 HAS SOUPS 15403 WITH SCORE 15423.781
AT ITER 1459 NEW BEST:: SOT 36111 SOS 20795 HAS SOPS 20795 HAS SOUS 15397 HAS SOUPS 15397 WITH SCORE 15417.795
AT ITER 1465 NEW BEST:: SOT 36108 SOS 20774 HAS SOPS 20774 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15413.774
AT ITER 1491 NEW BEST:: SOT 36110 SOS 20770 HAS SOPS 20770 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15413.77
AT ITER 1503 NEW BEST:: SOT 36109 SOS 20769 HAS SOPS 20769 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15412.769
AT ITER 1569 NEW BEST:: SOT 36093 SOS 20753 HAS SOPS 20753 HAS SOUS 15364 HAS SOUPS 15364 WITH SCORE 15384.753
AT ITER 1587 NEW BEST:: SOT 36074 SOS 20734 HAS SOPS 20734 HAS SOUS 15345 HAS SOUPS 15345 WITH SCORE 15365.734
AT ITER 1602 NEW BEST:: SOT 36066 SOS 20726 HAS SOPS 20726 HAS SOUS 15335 HAS SOUPS 15335 WITH SCORE 15355.726
AT ITER 1641 NEW BEST:: SOT 36064 SOS 20724 HAS SOPS 20724 HAS SOUS 15331 HAS SOUPS 15331 WITH SCORE 15351.724
AT ITER 1656 NEW BEST:: SOT 36064 SOS 20724 HAS SOPS 20724 HAS SOUS 15275 HAS SOUPS 15275 WITH SCORE 15295.724
AT ITER 1672 NEW BEST:: SOT 36061 SOS 20721 HAS SOPS 20721 HAS SOUS 15272 HAS SOUPS 15272 WITH SCORE 15292.721
AT ITER 1681 NEW BEST:: SOT 36061 SOS 20721 HAS SOPS 20721 HAS SOUS 15264 HAS SOUPS 15264 WITH SCORE 15284.721
AT ITER 1699 NEW BEST:: SOT 36061 SOS 20721 HAS SOPS 20721 HAS SOUS 15260 HAS SOUPS 15260 WITH SCORE 15280.721
AT ITER 1716 NEW BEST:: SOT 36028 SOS 20695 HAS SOPS 20695 HAS SOUS 15234 HAS SOUPS 15234 WITH SCORE 15254.695
AT ITER 1718 NEW BEST:: SOT 36011 SOS 20768 HAS SOPS 20768 HAS SOUS 15201 HAS SOUPS 15201 WITH SCORE 15221.768
AT ITER 1719 NEW BEST:: SOT 36011 SOS 20768 HAS SOPS 20768 HAS SOUS 15193 HAS SOUPS 15193 WITH SCORE 15213.768
AT ITER 1738 NEW BEST:: SOT 36011 SOS 20768 HAS SOPS 20768 HAS SOUS 15189 HAS SOUPS 15189 WITH SCORE 15209.768
AT ITER 1754 NEW BEST:: SOT 36004 SOS 20777 HAS SOPS 20777 HAS SOUS 15182 HAS SOUPS 15182 WITH SCORE 15202.777
AT ITER 1770 NEW BEST:: SOT 36004 SOS 20777 HAS SOPS 20777 HAS SOUS 15180 HAS SOUPS 15180 WITH SCORE 15200.777
AT ITER 1837 NEW BEST:: SOT 35985 SOS 20798 HAS SOPS 20798 HAS SOUS 15165 HAS SOUPS 15165 WITH SCORE 15185.798
AT ITER 1838 NEW BEST:: SOT 35984 SOS 20797 HAS SOPS 20797 HAS SOUS 15164 HAS SOUPS 15164 WITH SCORE 15184.797
AT ITER 1852 NEW BEST:: SOT 35972 SOS 20785 HAS SOPS 20785 HAS SOUS 15152 HAS SOUPS 15152 WITH SCORE 15172.785
AT ITER 1940 NEW BEST:: SOT 35950 SOS 20846 HAS SOPS 20846 HAS SOUS 15147 HAS SOUPS 15147 WITH SCORE 15167.846
AT ITER 1952 NEW BEST:: SOT 35949 SOS 20865 HAS SOPS 20865 HAS SOUS 15145 HAS SOUPS 15145 WITH SCORE 15165.865
AT ITER 1982 NEW BEST:: SOT 35939 SOS 20855 HAS SOPS 20855 HAS SOUS 15135 HAS SOUPS 15135 WITH SCORE 15155.855
AT ITER 2072 NEW BEST:: SOT 35938 SOS 20854 HAS SOPS 20854 HAS SOUS 15134 HAS SOUPS 15134 WITH SCORE 15154.854
AT ITER 2277 NEW BEST:: SOT 35938 SOS 20854 HAS SOPS 20854 HAS SOUS 15122 HAS SOUPS 15122 WITH SCORE 15142.854
AT ITER 2292 NEW BEST:: SOT 35905 SOS 20821 HAS SOPS 20821 HAS SOUS 15089 HAS SOUPS 15089 WITH SCORE 15109.821
AT ITER 2297 NEW BEST:: SOT 35881 SOS 20791 HAS SOPS 20791 HAS SOUS 15073 HAS SOUPS 15073 WITH SCORE 15093.791
AT ITER 2310 NEW BEST:: SOT 35875 SOS 20785 HAS SOPS 20785 HAS SOUS 15067 HAS SOUPS 15067 WITH SCORE 15087.785
AT ITER 2311 NEW BEST:: SOT 35772 SOS 20995 HAS SOPS 20995 HAS SOUS 15061 HAS SOUPS 15061 WITH SCORE 15081.995
AT ITER 2380 NEW BEST:: SOT 35767 SOS 20990 HAS SOPS 20990 HAS SOUS 15056 HAS SOUPS 15056 WITH SCORE 15076.99
AT ITER 2381 NEW BEST:: SOT 35789 SOS 21012 HAS SOPS 21012 HAS SOUS 15054 HAS SOUPS 15054 WITH SCORE 15075.012
AT ITER 2402 NEW BEST:: SOT 35787 SOS 21010 HAS SOPS 21010 HAS SOUS 15048 HAS SOUPS 15048 WITH SCORE 15069.01
AT ITER 2403 NEW BEST:: SOT 35785 SOS 20998 HAS SOPS 20998 HAS SOUS 15040 HAS SOUPS 15040 WITH SCORE 15060.998
AT ITER 2423 NEW BEST:: SOT 35667 SOS 21151 HAS SOPS 21151 HAS SOUS 15023 HAS SOUPS 15023 WITH SCORE 15044.151
AT ITER 2426 NEW BEST:: SOT 35667 SOS 21151 HAS SOPS 21151 HAS SOUS 15001 HAS SOUPS 15001 WITH SCORE 15022.151
AT ITER 2432 NEW BEST:: SOT 35660 SOS 21144 HAS SOPS 21144 HAS SOUS 14994 HAS SOUPS 14994 WITH SCORE 15015.144
AT ITER 2452 NEW BEST:: SOT 35626 SOS 21170 HAS SOPS 21170 HAS SOUS 14960 HAS SOUPS 14960 WITH SCORE 14981.17
AT ITER 2495 NEW BEST:: SOT 35623 SOS 21167 HAS SOPS 21167 HAS SOUS 14957 HAS SOUPS 14957 WITH SCORE 14978.167
AT ITER 2499 NEW BEST:: SOT 35619 SOS 21148 HAS SOPS 21148 HAS SOUS 14954 HAS SOUPS 14954 WITH SCORE 14975.148
AT ITER 2500 NEW BEST:: SOT 35619 SOS 21073 HAS SOPS 21073 HAS SOUS 14939 HAS SOUPS 14939 WITH SCORE 14960.073
AT ITER 2523 NEW BEST:: SOT 35619 SOS 21063 HAS SOPS 21063 HAS SOUS 14937 HAS SOUPS 14937 WITH SCORE 14958.063
AT ITER 2592 NEW BEST:: SOT 35626 SOS 21070 HAS SOPS 21070 HAS SOUS 14914 HAS SOUPS 14914 WITH SCORE 14935.07
AT ITER 2593 NEW BEST:: SOT 35632 SOS 21076 HAS SOPS 21076 HAS SOUS 14900 HAS SOUPS 14900 WITH SCORE 14921.076
AT ITER 2628 NEW BEST:: SOT 35630 SOS 21099 HAS SOPS 21099 HAS SOUS 14897 HAS SOUPS 14897 WITH SCORE 14918.099
AT ITER 2720 NEW BEST:: SOT 35629 SOS 21098 HAS SOPS 21098 HAS SOUS 14896 HAS SOUPS 14896 WITH SCORE 14917.098
AT ITER 2737 NEW BEST:: SOT 35616 SOS 21085 HAS SOPS 21085 HAS SOUS 14883 HAS SOUPS 14883 WITH SCORE 14904.085
AT ITER 2785 NEW BEST:: SOT 35610 SOS 21079 HAS SOPS 21079 HAS SOUS 14877 HAS SOUPS 14877 WITH SCORE 14898.079
AT ITER 2864 NEW BEST:: SOT 35599 SOS 21098 HAS SOPS 21098 HAS SOUS 14868 HAS SOUPS 14868 WITH SCORE 14889.098
AT ITER 2884 NEW BEST:: SOT 35600 SOS 21099 HAS SOPS 21099 HAS SOUS 14865 HAS SOUPS 14865 WITH SCORE 14886.099
AT ITER 2907 NEW BEST:: SOT 35600 SOS 21099 HAS SOPS 21099 HAS SOUS 14855 HAS SOUPS 14855 WITH SCORE 14876.099
AT ITER 2927 NEW BEST:: SOT 35599 SOS 21098 HAS SOPS 21098 HAS SOUS 14854 HAS SOUPS 14854 WITH SCORE 14875.098
AT ITER 2970 NEW BEST:: SOT 35597 SOS 21096 HAS SOPS 21096 HAS SOUS 14854 HAS SOUPS 14854 WITH SCORE 14875.096
AT ITER 2997 NEW BEST:: SOT 35585 SOS 21084 HAS SOPS 21084 HAS SOUS 14846 HAS SOUPS 14846 WITH SCORE 14867.084
AT ITER 3044 NEW BEST:: SOT 35580 SOS 21071 HAS SOPS 21071 HAS SOUS 14845 HAS SOUPS 14845 WITH SCORE 14866.071
AT ITER 3081 NEW BEST:: SOT 35556 SOS 21047 HAS SOPS 21047 HAS SOUS 14845 HAS SOUPS 14845 WITH SCORE 14866.047
AT ITER 3122 NEW BEST:: SOT 35556 SOS 21047 HAS SOPS 21047 HAS SOUS 14843 HAS SOUPS 14843 WITH SCORE 14864.047
AT ITER 3142 NEW BEST:: SOT 35526 SOS 21092 HAS SOPS 21092 HAS SOUS 14828 HAS SOUPS 14828 WITH SCORE 14849.092
AT ITER 3211 NEW BEST:: SOT 35526 SOS 21092 HAS SOPS 21092 HAS SOUS 14820 HAS SOUPS 14820 WITH SCORE 14841.092
AT ITER 3262 NEW BEST:: SOT 35510 SOS 21076 HAS SOPS 21076 HAS SOUS 14804 HAS SOUPS 14804 WITH SCORE 14825.076
AT ITER 3329 NEW BEST:: SOT 35480 SOS 21186 HAS SOPS 21186 HAS SOUS 14802 HAS SOUPS 14802 WITH SCORE 14823.186
AT ITER 3444 NEW BEST:: SOT 35447 SOS 21153 HAS SOPS 21153 HAS SOUS 14733 HAS SOUPS 14733 WITH SCORE 14754.153
AT ITER 3512 NEW BEST:: SOT 35443 SOS 21149 HAS SOPS 21149 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14750.149
AT ITER 3541 NEW BEST:: SOT 35417 SOS 21123 HAS SOPS 21123 HAS SOUS 14703 HAS SOUPS 14703 WITH SCORE 14724.123
AT ITER 3603 NEW BEST:: SOT 35404 SOS 21110 HAS SOPS 21110 HAS SOUS 14690 HAS SOUPS 14690 WITH SCORE 14711.11
AT ITER 3613 NEW BEST:: SOT 35408 SOS 21114 HAS SOPS 21114 HAS SOUS 14688 HAS SOUPS 14688 WITH SCORE 14709.114
AT ITER 3621 NEW BEST:: SOT 35398 SOS 21104 HAS SOPS 21104 HAS SOUS 14678 HAS SOUPS 14678 WITH SCORE 14699.104
AT ITER 3729 NEW BEST:: SOT 35396 SOS 21102 HAS SOPS 21102 HAS SOUS 14676 HAS SOUPS 14676 WITH SCORE 14697.102
AT ITER 3766 NEW BEST:: SOT 35373 SOS 21079 HAS SOPS 21079 HAS SOUS 14653 HAS SOUPS 14653 WITH SCORE 14674.079
AT ITER 3781 NEW BEST:: SOT 35373 SOS 21076 HAS SOPS 21076 HAS SOUS 14650 HAS SOUPS 14650 WITH SCORE 14671.076
AT ITER 3837 NEW BEST:: SOT 35372 SOS 21075 HAS SOPS 21075 HAS SOUS 14649 HAS SOUPS 14649 WITH SCORE 14670.075
AT ITER 3850 NEW BEST:: SOT 35384 SOS 21087 HAS SOPS 21087 HAS SOUS 14647 HAS SOUPS 14647 WITH SCORE 14668.087
AT ITER 3905 NEW BEST:: SOT 35380 SOS 21083 HAS SOPS 21083 HAS SOUS 14643 HAS SOUPS 14643 WITH SCORE 14664.083
AT ITER 3930 NEW BEST:: SOT 35374 SOS 21085 HAS SOPS 21085 HAS SOUS 14635 HAS SOUPS 14635 WITH SCORE 14656.085
AT ITER 4005 NEW BEST:: SOT 35342 SOS 21053 HAS SOPS 21053 HAS SOUS 14595 HAS SOUPS 14595 WITH SCORE 14616.053
AT ITER 4111 NEW BEST:: SOT 35343 SOS 20934 HAS SOPS 20934 HAS SOUS 14572 HAS SOUPS 14572 WITH SCORE 14592.934
AT ITER 4145 NEW BEST:: SOT 35337 SOS 20958 HAS SOPS 20958 HAS SOUS 14560 HAS SOUPS 14560 WITH SCORE 14580.958
AT ITER 4197 NEW BEST:: SOT 35339 SOS 20948 HAS SOPS 20948 HAS SOUS 14550 HAS SOUPS 14550 WITH SCORE 14570.948
AT ITER 4214 NEW BEST:: SOT 35328 SOS 20937 HAS SOPS 20937 HAS SOUS 14539 HAS SOUPS 14539 WITH SCORE 14559.937
AT ITER 4257 NEW BEST:: SOT 35283 SOS 20982 HAS SOPS 20982 HAS SOUS 14512 HAS SOUPS 14512 WITH SCORE 14532.982
AT ITER 4273 NEW BEST:: SOT 35249 SOS 20948 HAS SOPS 20948 HAS SOUS 14478 HAS SOUPS 14478 WITH SCORE 14498.948
AT ITER 4311 NEW BEST:: SOT 35249 SOS 20948 HAS SOPS 20948 HAS SOUS 14456 HAS SOUPS 14456 WITH SCORE 14476.948
AT ITER 4320 NEW BEST:: SOT 35249 SOS 20933 HAS SOPS 20933 HAS SOUS 14453 HAS SOUPS 14453 WITH SCORE 14473.933
AT ITER 4345 NEW BEST:: SOT 35249 SOS 20933 HAS SOPS 20933 HAS SOUS 14445 HAS SOUPS 14445 WITH SCORE 14465.933
AT ITER 4432 NEW BEST:: SOT 35248 SOS 20932 HAS SOPS 20932 HAS SOUS 14444 HAS SOUPS 14444 WITH SCORE 14464.932
AT ITER 4451 NEW BEST:: SOT 35241 SOS 20925 HAS SOPS 20925 HAS SOUS 14437 HAS SOUPS 14437 WITH SCORE 14457.925
AT ITER 4453 NEW BEST:: SOT 35234 SOS 20973 HAS SOPS 20973 HAS SOUS 14425 HAS SOUPS 14425 WITH SCORE 14445.973
AT ITER 4457 NEW BEST:: SOT 35231 SOS 20970 HAS SOPS 20970 HAS SOUS 14424 HAS SOUPS 14424 WITH SCORE 14444.97
AT ITER 4466 NEW BEST:: SOT 35227 SOS 20966 HAS SOPS 20966 HAS SOUS 14420 HAS SOUPS 14420 WITH SCORE 14440.966
AT ITER 4565 NEW BEST:: SOT 35227 SOS 20966 HAS SOPS 20966 HAS SOUS 14396 HAS SOUPS 14396 WITH SCORE 14416.966
AT ITER 4575 NEW BEST:: SOT 35196 SOS 21015 HAS SOPS 21015 HAS SOUS 14389 HAS SOUPS 14389 WITH SCORE 14410.015
AT ITER 4740 NEW BEST:: SOT 35184 SOS 21003 HAS SOPS 21003 HAS SOUS 14377 HAS SOUPS 14377 WITH SCORE 14398.003
AT ITER 4905 NEW BEST:: SOT 35172 SOS 20991 HAS SOPS 20991 HAS SOUS 14365 HAS SOUPS 14365 WITH SCORE 14385.991
AT ITER 4985 NEW BEST:: SOT 35172 SOS 20991 HAS SOPS 20991 HAS SOUS 14363 HAS SOUPS 14363 WITH SCORE 14383.991
AT ITER 5078 NEW BEST:: SOT 35172 SOS 20991 HAS SOPS 20991 HAS SOUS 14323 HAS SOUPS 14323 WITH SCORE 14343.991
AT ITER 5204 NEW BEST:: SOT 35176 SOS 20995 HAS SOPS 20995 HAS SOUS 14307 HAS SOUPS 14307 WITH SCORE 14327.995
AT ITER 5246 NEW BEST:: SOT 35168 SOS 20997 HAS SOPS 20997 HAS SOUS 14297 HAS SOUPS 14297 WITH SCORE 14317.997
AT ITER 5461 NEW BEST:: SOT 35142 SOS 20971 HAS SOPS 20971 HAS SOUS 14289 HAS SOUPS 14289 WITH SCORE 14309.971
AT ITER 5543 NEW BEST:: SOT 35142 SOS 20971 HAS SOPS 20971 HAS SOUS 14287 HAS SOUPS 14287 WITH SCORE 14307.971
AT ITER 5567 NEW BEST:: SOT 35140 SOS 20969 HAS SOPS 20969 HAS SOUS 14285 HAS SOUPS 14285 WITH SCORE 14305.969
AT ITER 5603 NEW BEST:: SOT 35140 SOS 20969 HAS SOPS 20969 HAS SOUS 14271 HAS SOUPS 14271 WITH SCORE 14291.969
AT ITER 5665 NEW BEST:: SOT 35139 SOS 20968 HAS SOPS 20968 HAS SOUS 14270 HAS SOUPS 14270 WITH SCORE 14290.968
AT ITER 5865 NEW BEST:: SOT 35136 SOS 20965 HAS SOPS 20965 HAS SOUS 14267 HAS SOUPS 14267 WITH SCORE 14287.965
AT ITER 5925 NEW BEST:: SOT 35136 SOS 20965 HAS SOPS 20965 HAS SOUS 14265 HAS SOUPS 14265 WITH SCORE 14285.965
AT ITER 5963 NEW BEST:: SOT 35136 SOS 20965 HAS SOPS 20965 HAS SOUS 14261 HAS SOUPS 14261 WITH SCORE 14281.965
AT ITER 6009 NEW BEST:: SOT 35126 SOS 20955 HAS SOPS 20955 HAS SOUS 14251 HAS SOUPS 14251 WITH SCORE 14271.955
AT ITER 6095 NEW BEST:: SOT 35127 SOS 20956 HAS SOPS 20956 HAS SOUS 14244 HAS SOUPS 14244 WITH SCORE 14264.956
AT ITER 6150 NEW BEST:: SOT 35127 SOS 20956 HAS SOPS 20956 HAS SOUS 14236 HAS SOUPS 14236 WITH SCORE 14256.956
AT ITER 6171 NEW BEST:: SOT 35126 SOS 20955 HAS SOPS 20955 HAS SOUS 14235 HAS SOUPS 14235 WITH SCORE 14255.955
AT ITER 6199 NEW BEST:: SOT 35126 SOS 20955 HAS SOPS 20955 HAS SOUS 14229 HAS SOUPS 14229 WITH SCORE 14249.955
AT ITER 6226 NEW BEST:: SOT 35106 SOS 20935 HAS SOPS 20935 HAS SOUS 14229 HAS SOUPS 14229 WITH SCORE 14249.935
AT ITER 6261 NEW BEST:: SOT 35101 SOS 20930 HAS SOPS 20930 HAS SOUS 14224 HAS SOUPS 14224 WITH SCORE 14244.93
AT ITER 6459 NEW BEST:: SOT 35104 SOS 20918 HAS SOPS 20918 HAS SOUS 14224 HAS SOUPS 14224 WITH SCORE 14244.918
AT ITER 6571 NEW BEST:: SOT 35100 SOS 20914 HAS SOPS 20914 HAS SOUS 14206 HAS SOUPS 14206 WITH SCORE 14226.914
AT ITER 6628 NEW BEST:: SOT 35099 SOS 20913 HAS SOPS 20913 HAS SOUS 14205 HAS SOUPS 14205 WITH SCORE 14225.913
AT ITER 6723 NEW BEST:: SOT 35095 SOS 20909 HAS SOPS 20909 HAS SOUS 14201 HAS SOUPS 14201 WITH SCORE 14221.909
AT ITER 6809 NEW BEST:: SOT 35095 SOS 20909 HAS SOPS 20909 HAS SOUS 14189 HAS SOUPS 14189 WITH SCORE 14209.909
AT ITER 6816 NEW BEST:: SOT 35094 SOS 20908 HAS SOPS 20908 HAS SOUS 14188 HAS SOUPS 14188 WITH SCORE 14208.908
AT ITER 6823 NEW BEST:: SOT 35046 SOS 20860 HAS SOPS 20860 HAS SOUS 14132 HAS SOUPS 14132 WITH SCORE 14152.86
AT ITER 6911 NEW BEST:: SOT 35032 SOS 20870 HAS SOPS 20870 HAS SOUS 14113 HAS SOUPS 14113 WITH SCORE 14133.87
AT ITER 6943 NEW BEST:: SOT 35032 SOS 20870 HAS SOPS 20870 HAS SOUS 14109 HAS SOUPS 14109 WITH SCORE 14129.87
AT ITER 6953 NEW BEST:: SOT 35032 SOS 20870 HAS SOPS 20870 HAS SOUS 14107 HAS SOUPS 14107 WITH SCORE 14127.87
AT ITER 6990 NEW BEST:: SOT 35040 SOS 20833 HAS SOPS 20833 HAS SOUS 14106 HAS SOUPS 14106 WITH SCORE 14126.833
AT ITER 7011 NEW BEST:: SOT 35020 SOS 20848 HAS SOPS 20848 HAS SOUS 14091 HAS SOUPS 14091 WITH SCORE 14111.848
AT ITER 7012 NEW BEST:: SOT 35008 SOS 20836 HAS SOPS 20836 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14103.836
AT ITER 7064 NEW BEST:: SOT 35002 SOS 20815 HAS SOPS 20815 HAS SOUS 14076 HAS SOUPS 14076 WITH SCORE 14096.815
AT ITER 7092 NEW BEST:: SOT 35001 SOS 20814 HAS SOPS 20814 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14095.814
AT ITER 7412 NEW BEST:: SOT 35001 SOS 20814 HAS SOPS 20814 HAS SOUS 14071 HAS SOUPS 14071 WITH SCORE 14091.814
AT ITER 7524 NEW BEST:: SOT 34999 SOS 20812 HAS SOPS 20812 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14089.812
AT ITER 7785 NEW BEST:: SOT 34999 SOS 20812 HAS SOPS 20812 HAS SOUS 14057 HAS SOUPS 14057 WITH SCORE 14077.812
AT ITER 7866 NEW BEST:: SOT 34997 SOS 20810 HAS SOPS 20810 HAS SOUS 14057 HAS SOUPS 14057 WITH SCORE 14077.81
AT ITER 8011 NEW BEST:: SOT 34997 SOS 20810 HAS SOPS 20810 HAS SOUS 14041 HAS SOUPS 14041 WITH SCORE 14061.81
AT ITER 8022 NEW BEST:: SOT 34971 SOS 20784 HAS SOPS 20784 HAS SOUS 14041 HAS SOUPS 14041 WITH SCORE 14061.784
AT ITER 8040 NEW BEST:: SOT 34969 SOS 20774 HAS SOPS 20774 HAS SOUS 14037 HAS SOUPS 14037 WITH SCORE 14057.774
AT ITER 8142 NEW BEST:: SOT 34965 SOS 20770 HAS SOPS 20770 HAS SOUS 14033 HAS SOUPS 14033 WITH SCORE 14053.77
AT ITER 8156 NEW BEST:: SOT 34958 SOS 20768 HAS SOPS 20768 HAS SOUS 14031 HAS SOUPS 14031 WITH SCORE 14051.768
AT ITER 8383 NEW BEST:: SOT 34951 SOS 20761 HAS SOPS 20761 HAS SOUS 14024 HAS SOUPS 14024 WITH SCORE 14044.761
AT ITER 8414 NEW BEST:: SOT 34951 SOS 20761 HAS SOPS 20761 HAS SOUS 14022 HAS SOUPS 14022 WITH SCORE 14042.761
AT ITER 8541 NEW BEST:: SOT 34951 SOS 20761 HAS SOPS 20761 HAS SOUS 14020 HAS SOUPS 14020 WITH SCORE 14040.761
AT ITER 8547 NEW BEST:: SOT 34947 SOS 20757 HAS SOPS 20757 HAS SOUS 14016 HAS SOUPS 14016 WITH SCORE 14036.757
AT ITER 8868 NEW BEST:: SOT 34947 SOS 20753 HAS SOPS 20753 HAS SOUS 14015 HAS SOUPS 14015 WITH SCORE 14035.753
AT ITER 9021 NEW BEST:: SOT 34947 SOS 20753 HAS SOPS 20753 HAS SOUS 14007 HAS SOUPS 14007 WITH SCORE 14027.753
AT ITER 9060 NEW BEST:: SOT 34935 SOS 20741 HAS SOPS 20741 HAS SOUS 13995 HAS SOUPS 13995 WITH SCORE 14015.741
AT ITER 9139 NEW BEST:: SOT 34935 SOS 20731 HAS SOPS 20731 HAS SOUS 13991 HAS SOUPS 13991 WITH SCORE 14011.731
AT ITER 9202 NEW BEST:: SOT 34940 SOS 20726 HAS SOPS 20726 HAS SOUS 13986 HAS SOUPS 13986 WITH SCORE 14006.726
AT ITER 9302 NEW BEST:: SOT 34936 SOS 20722 HAS SOPS 20722 HAS SOUS 13982 HAS SOUPS 13982 WITH SCORE 14002.722
AT ITER 9362 NEW BEST:: SOT 34932 SOS 20718 HAS SOPS 20718 HAS SOUS 13982 HAS SOUPS 13982 WITH SCORE 14002.718
AT ITER 9591 NEW BEST:: SOT 34931 SOS 20717 HAS SOPS 20717 HAS SOUS 13981 HAS SOUPS 13981 WITH SCORE 14001.717
AT ITER 9649 NEW BEST:: SOT 34928 SOS 20714 HAS SOPS 20714 HAS SOUS 13978 HAS SOUPS 13978 WITH SCORE 13998.714
AT ITER 9690 NEW BEST:: SOT 34926 SOS 20712 HAS SOPS 20712 HAS SOUS 13972 HAS SOUPS 13972 WITH SCORE 13992.712
AT ITER 9695 NEW BEST:: SOT 34921 SOS 20707 HAS SOPS 20707 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 13987.707
AT ITER 9800 NEW BEST:: SOT 34919 SOS 20705 HAS SOPS 20705 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 13987.705
AT ITER 9827 NEW BEST:: SOT 34914 SOS 20700 HAS SOPS 20700 HAS SOUS 13962 HAS SOUPS 13962 WITH SCORE 13982.7
AT ITER 9866 NEW BEST:: SOT 34908 SOS 20694 HAS SOPS 20694 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 13976.694
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 152316 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16294120 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

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="Echo-PT-d03r03"
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 Echo-PT-d03r03, 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 r163-tall-167838847300088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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