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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 968K
-rw-r--r-- 1 mcc users 6.6K Feb 25 14:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 14:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 14:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 25 14:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 14:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 25 14:08 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 530K 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 1678436523540

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-d04r03
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Echo (PT), instance d04r03
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: 1019 places, 850 transitions, 6340 arcs.
AT ITER 0 NEW BEST:: SOT 573007 SOS 277930 HAS SOPS 277930 HAS SOUS 218779 HAS SOUPS 218779 WITH SCORE 219056.93
AT ITER 69 NEW BEST:: SOT 572828 SOS 278061 HAS SOPS 278061 HAS SOUS 218649 HAS SOUPS 218649 WITH SCORE 218927.061
AT ITER 146 NEW BEST:: SOT 572797 SOS 278030 HAS SOPS 278030 HAS SOUS 218618 HAS SOUPS 218618 WITH SCORE 218896.03
AT ITER 297 NEW BEST:: SOT 572797 SOS 278030 HAS SOPS 278030 HAS SOUS 218614 HAS SOUPS 218614 WITH SCORE 218892.03
AT ITER 315 NEW BEST:: SOT 572645 SOS 278413 HAS SOPS 278413 HAS SOUS 218569 HAS SOUPS 218569 WITH SCORE 218847.413
AT ITER 338 NEW BEST:: SOT 572399 SOS 278212 HAS SOPS 278212 HAS SOUS 218368 HAS SOUPS 218368 WITH SCORE 218646.212
AT ITER 442 NEW BEST:: SOT 572160 SOS 279065 HAS SOPS 279065 HAS SOUS 218308 HAS SOUPS 218308 WITH SCORE 218587.065
AT ITER 444 NEW BEST:: SOT 572134 SOS 279126 HAS SOPS 279126 HAS SOUS 218253 HAS SOUPS 218253 WITH SCORE 218532.126
AT ITER 456 NEW BEST:: SOT 572134 SOS 279126 HAS SOPS 279126 HAS SOUS 218193 HAS SOUPS 218193 WITH SCORE 218472.126
AT ITER 459 NEW BEST:: SOT 572134 SOS 279452 HAS SOPS 279452 HAS SOUS 218113 HAS SOUPS 218113 WITH SCORE 218392.452
AT ITER 468 NEW BEST:: SOT 572134 SOS 279587 HAS SOPS 279587 HAS SOUS 218090 HAS SOUPS 218090 WITH SCORE 218369.587
AT ITER 510 NEW BEST:: SOT 572134 SOS 279587 HAS SOPS 279587 HAS SOUS 218088 HAS SOUPS 218088 WITH SCORE 218367.587
AT ITER 535 NEW BEST:: SOT 572134 SOS 279587 HAS SOPS 279587 HAS SOUS 218082 HAS SOUPS 218082 WITH SCORE 218361.587
AT ITER 574 NEW BEST:: SOT 572083 SOS 279536 HAS SOPS 279536 HAS SOUS 218031 HAS SOUPS 218031 WITH SCORE 218310.536
AT ITER 578 NEW BEST:: SOT 572083 SOS 279536 HAS SOPS 279536 HAS SOUS 218013 HAS SOUPS 218013 WITH SCORE 218292.536
AT ITER 596 NEW BEST:: SOT 572087 SOS 279544 HAS SOPS 279544 HAS SOUS 217997 HAS SOUPS 217997 WITH SCORE 218276.544
AT ITER 610 NEW BEST:: SOT 572084 SOS 279549 HAS SOPS 279549 HAS SOUS 217994 HAS SOUPS 217994 WITH SCORE 218273.549
AT ITER 621 NEW BEST:: SOT 572084 SOS 279549 HAS SOPS 279549 HAS SOUS 217976 HAS SOUPS 217976 WITH SCORE 218255.549
AT ITER 631 NEW BEST:: SOT 571906 SOS 280135 HAS SOPS 280135 HAS SOUS 217935 HAS SOUPS 217935 WITH SCORE 218215.135
AT ITER 657 NEW BEST:: SOT 571906 SOS 280135 HAS SOPS 280135 HAS SOUS 217925 HAS SOUPS 217925 WITH SCORE 218205.135
AT ITER 694 NEW BEST:: SOT 571906 SOS 279771 HAS SOPS 279771 HAS SOUS 217873 HAS SOUPS 217873 WITH SCORE 218152.771
AT ITER 753 NEW BEST:: SOT 571837 SOS 279702 HAS SOPS 279702 HAS SOUS 217672 HAS SOUPS 217672 WITH SCORE 217951.702
AT ITER 790 NEW BEST:: SOT 571837 SOS 279702 HAS SOPS 279702 HAS SOUS 217634 HAS SOUPS 217634 WITH SCORE 217913.702
AT ITER 806 NEW BEST:: SOT 571505 SOS 279986 HAS SOPS 279986 HAS SOUS 217391 HAS SOUPS 217391 WITH SCORE 217670.986
AT ITER 836 NEW BEST:: SOT 571501 SOS 280170 HAS SOPS 280170 HAS SOUS 217385 HAS SOUPS 217385 WITH SCORE 217665.17
AT ITER 916 NEW BEST:: SOT 571501 SOS 280170 HAS SOPS 280170 HAS SOUS 217297 HAS SOUPS 217297 WITH SCORE 217577.17
AT ITER 929 NEW BEST:: SOT 571369 SOS 280038 HAS SOPS 280038 HAS SOUS 217165 HAS SOUPS 217165 WITH SCORE 217445.038
AT ITER 935 NEW BEST:: SOT 571143 SOS 279812 HAS SOPS 279812 HAS SOUS 216939 HAS SOUPS 216939 WITH SCORE 217218.812
AT ITER 1019 NEW BEST:: SOT 571143 SOS 279812 HAS SOPS 279812 HAS SOUS 216921 HAS SOUPS 216921 WITH SCORE 217200.812
AT ITER 1080 NEW BEST:: SOT 571143 SOS 280656 HAS SOPS 280656 HAS SOUS 216810 HAS SOUPS 216810 WITH SCORE 217090.656
AT ITER 1130 NEW BEST:: SOT 571145 SOS 280774 HAS SOPS 280774 HAS SOUS 216808 HAS SOUPS 216808 WITH SCORE 217088.774
AT ITER 1131 NEW BEST:: SOT 570836 SOS 281535 HAS SOPS 281535 HAS SOUS 216686 HAS SOUPS 216686 WITH SCORE 216967.535
AT ITER 1154 NEW BEST:: SOT 570780 SOS 281718 HAS SOPS 281718 HAS SOUS 216676 HAS SOUPS 216676 WITH SCORE 216957.718
AT ITER 1183 NEW BEST:: SOT 570780 SOS 281718 HAS SOPS 281718 HAS SOUS 216660 HAS SOUPS 216660 WITH SCORE 216941.718
AT ITER 1190 NEW BEST:: SOT 570780 SOS 281718 HAS SOPS 281718 HAS SOUS 216656 HAS SOUPS 216656 WITH SCORE 216937.718
AT ITER 1209 NEW BEST:: SOT 570780 SOS 281718 HAS SOPS 281718 HAS SOUS 216636 HAS SOUPS 216636 WITH SCORE 216917.718
AT ITER 1217 NEW BEST:: SOT 570734 SOS 281778 HAS SOPS 281778 HAS SOUS 216607 HAS SOUPS 216607 WITH SCORE 216888.778
AT ITER 1235 NEW BEST:: SOT 570734 SOS 281778 HAS SOPS 281778 HAS SOUS 216605 HAS SOUPS 216605 WITH SCORE 216886.778
AT ITER 1256 NEW BEST:: SOT 570734 SOS 281778 HAS SOPS 281778 HAS SOUS 216587 HAS SOUPS 216587 WITH SCORE 216868.778
AT ITER 1314 NEW BEST:: SOT 570734 SOS 281778 HAS SOPS 281778 HAS SOUS 216581 HAS SOUPS 216581 WITH SCORE 216862.778
AT ITER 1368 NEW BEST:: SOT 570256 SOS 282393 HAS SOPS 282393 HAS SOUS 216306 HAS SOUPS 216306 WITH SCORE 216588.393
AT ITER 1387 NEW BEST:: SOT 570256 SOS 282393 HAS SOPS 282393 HAS SOUS 216280 HAS SOUPS 216280 WITH SCORE 216562.393
AT ITER 1389 NEW BEST:: SOT 570272 SOS 282409 HAS SOPS 282409 HAS SOUS 216262 HAS SOUPS 216262 WITH SCORE 216544.409
AT ITER 1437 NEW BEST:: SOT 570272 SOS 282454 HAS SOPS 282454 HAS SOUS 216257 HAS SOUPS 216257 WITH SCORE 216539.454
AT ITER 1465 NEW BEST:: SOT 570272 SOS 282454 HAS SOPS 282454 HAS SOUS 216255 HAS SOUPS 216255 WITH SCORE 216537.454
AT ITER 1516 NEW BEST:: SOT 570025 SOS 282908 HAS SOPS 282908 HAS SOUS 216203 HAS SOUPS 216203 WITH SCORE 216485.908
AT ITER 1563 NEW BEST:: SOT 570025 SOS 282908 HAS SOPS 282908 HAS SOUS 216201 HAS SOUPS 216201 WITH SCORE 216483.908
AT ITER 1607 NEW BEST:: SOT 570017 SOS 282900 HAS SOPS 282900 HAS SOUS 216193 HAS SOUPS 216193 WITH SCORE 216475.9
AT ITER 1611 NEW BEST:: SOT 570007 SOS 282890 HAS SOPS 282890 HAS SOUS 216177 HAS SOUPS 216177 WITH SCORE 216459.89
AT ITER 1655 NEW BEST:: SOT 569798 SOS 283637 HAS SOPS 283637 HAS SOUS 216111 HAS SOUPS 216111 WITH SCORE 216394.637
AT ITER 1663 NEW BEST:: SOT 569784 SOS 283993 HAS SOPS 283993 HAS SOUS 216023 HAS SOUPS 216023 WITH SCORE 216306.993
AT ITER 1687 NEW BEST:: SOT 569634 SOS 284408 HAS SOPS 284408 HAS SOUS 215798 HAS SOUPS 215798 WITH SCORE 216082.408
AT ITER 1713 NEW BEST:: SOT 569621 SOS 284395 HAS SOPS 284395 HAS SOUS 215781 HAS SOUPS 215781 WITH SCORE 216065.395
AT ITER 1717 NEW BEST:: SOT 569621 SOS 284395 HAS SOPS 284395 HAS SOUS 215777 HAS SOUPS 215777 WITH SCORE 216061.395
AT ITER 1763 NEW BEST:: SOT 569621 SOS 284395 HAS SOPS 284395 HAS SOUS 215707 HAS SOUPS 215707 WITH SCORE 215991.395
AT ITER 1852 NEW BEST:: SOT 569621 SOS 284395 HAS SOPS 284395 HAS SOUS 215615 HAS SOUPS 215615 WITH SCORE 215899.395
AT ITER 1856 NEW BEST:: SOT 569621 SOS 284395 HAS SOPS 284395 HAS SOUS 215569 HAS SOUPS 215569 WITH SCORE 215853.395
AT ITER 1870 NEW BEST:: SOT 569621 SOS 284395 HAS SOPS 284395 HAS SOUS 215497 HAS SOUPS 215497 WITH SCORE 215781.395
AT ITER 1892 NEW BEST:: SOT 569598 SOS 284423 HAS SOPS 284423 HAS SOUS 215457 HAS SOUPS 215457 WITH SCORE 215741.423
AT ITER 2004 NEW BEST:: SOT 569598 SOS 284423 HAS SOPS 284423 HAS SOUS 215449 HAS SOUPS 215449 WITH SCORE 215733.423
AT ITER 2011 NEW BEST:: SOT 569598 SOS 284423 HAS SOPS 284423 HAS SOUS 215425 HAS SOUPS 215425 WITH SCORE 215709.423
AT ITER 2013 NEW BEST:: SOT 569337 SOS 285146 HAS SOPS 285146 HAS SOUS 215331 HAS SOUPS 215331 WITH SCORE 215616.146
AT ITER 2017 NEW BEST:: SOT 569337 SOS 285146 HAS SOPS 285146 HAS SOUS 215329 HAS SOUPS 215329 WITH SCORE 215614.146
AT ITER 2026 NEW BEST:: SOT 569337 SOS 285146 HAS SOPS 285146 HAS SOUS 215325 HAS SOUPS 215325 WITH SCORE 215610.146
AT ITER 2136 NEW BEST:: SOT 569337 SOS 285182 HAS SOPS 285182 HAS SOUS 215315 HAS SOUPS 215315 WITH SCORE 215600.182
AT ITER 2319 NEW BEST:: SOT 569337 SOS 285182 HAS SOPS 285182 HAS SOUS 215311 HAS SOUPS 215311 WITH SCORE 215596.182
AT ITER 2460 NEW BEST:: SOT 569069 SOS 285051 HAS SOPS 285051 HAS SOUS 215122 HAS SOUPS 215122 WITH SCORE 215407.051
AT ITER 2535 NEW BEST:: SOT 569069 SOS 285051 HAS SOPS 285051 HAS SOUS 215004 HAS SOUPS 215004 WITH SCORE 215289.051
AT ITER 2614 NEW BEST:: SOT 569069 SOS 285051 HAS SOPS 285051 HAS SOUS 214982 HAS SOUPS 214982 WITH SCORE 215267.051
AT ITER 2616 NEW BEST:: SOT 569027 SOS 285045 HAS SOPS 285045 HAS SOUS 214952 HAS SOUPS 214952 WITH SCORE 215237.045
AT ITER 2639 NEW BEST:: SOT 568907 SOS 285474 HAS SOPS 285474 HAS SOUS 214931 HAS SOUPS 214931 WITH SCORE 215216.474
AT ITER 2719 NEW BEST:: SOT 568907 SOS 285474 HAS SOPS 285474 HAS SOUS 214925 HAS SOUPS 214925 WITH SCORE 215210.474
AT ITER 2753 NEW BEST:: SOT 568907 SOS 285474 HAS SOPS 285474 HAS SOUS 214917 HAS SOUPS 214917 WITH SCORE 215202.474
AT ITER 2759 NEW BEST:: SOT 568906 SOS 285572 HAS SOPS 285572 HAS SOUS 214905 HAS SOUPS 214905 WITH SCORE 215190.572
AT ITER 2776 NEW BEST:: SOT 568594 SOS 286042 HAS SOPS 286042 HAS SOUS 214815 HAS SOUPS 214815 WITH SCORE 215101.042
AT ITER 2780 NEW BEST:: SOT 568594 SOS 286042 HAS SOPS 286042 HAS SOUS 214797 HAS SOUPS 214797 WITH SCORE 215083.042
AT ITER 2784 NEW BEST:: SOT 568610 SOS 286058 HAS SOPS 286058 HAS SOUS 214787 HAS SOUPS 214787 WITH SCORE 215073.058
AT ITER 2808 NEW BEST:: SOT 568610 SOS 286058 HAS SOPS 286058 HAS SOUS 214719 HAS SOUPS 214719 WITH SCORE 215005.058
AT ITER 2829 NEW BEST:: SOT 568610 SOS 286089 HAS SOPS 286089 HAS SOUS 214714 HAS SOUPS 214714 WITH SCORE 215000.089
AT ITER 2922 NEW BEST:: SOT 568505 SOS 286299 HAS SOPS 286299 HAS SOUS 214662 HAS SOUPS 214662 WITH SCORE 214948.299
AT ITER 2925 NEW BEST:: SOT 568369 SOS 286120 HAS SOPS 286120 HAS SOUS 214513 HAS SOUPS 214513 WITH SCORE 214799.12
AT ITER 2985 NEW BEST:: SOT 568369 SOS 286120 HAS SOPS 286120 HAS SOUS 214399 HAS SOUPS 214399 WITH SCORE 214685.12
AT ITER 2987 NEW BEST:: SOT 568369 SOS 286120 HAS SOPS 286120 HAS SOUS 214339 HAS SOUPS 214339 WITH SCORE 214625.12
AT ITER 2995 NEW BEST:: SOT 568369 SOS 286120 HAS SOPS 286120 HAS SOUS 214335 HAS SOUPS 214335 WITH SCORE 214621.12
AT ITER 3002 NEW BEST:: SOT 568369 SOS 285518 HAS SOPS 285518 HAS SOUS 214249 HAS SOUPS 214249 WITH SCORE 214534.518
AT ITER 3067 NEW BEST:: SOT 568369 SOS 285518 HAS SOPS 285518 HAS SOUS 214221 HAS SOUPS 214221 WITH SCORE 214506.518
AT ITER 3244 NEW BEST:: SOT 568283 SOS 285867 HAS SOPS 285867 HAS SOUS 214218 HAS SOUPS 214218 WITH SCORE 214503.867
AT ITER 3313 NEW BEST:: SOT 568282 SOS 285866 HAS SOPS 285866 HAS SOUS 214215 HAS SOUPS 214215 WITH SCORE 214500.866
AT ITER 3314 NEW BEST:: SOT 568268 SOS 285852 HAS SOPS 285852 HAS SOUS 214201 HAS SOUPS 214201 WITH SCORE 214486.852
AT ITER 3377 NEW BEST:: SOT 568236 SOS 285844 HAS SOPS 285844 HAS SOUS 214161 HAS SOUPS 214161 WITH SCORE 214446.844
AT ITER 3407 NEW BEST:: SOT 568236 SOS 285844 HAS SOPS 285844 HAS SOUS 214159 HAS SOUPS 214159 WITH SCORE 214444.844
AT ITER 3487 NEW BEST:: SOT 568236 SOS 286044 HAS SOPS 286044 HAS SOUS 214155 HAS SOUPS 214155 WITH SCORE 214441.044
AT ITER 3491 NEW BEST:: SOT 568256 SOS 286414 HAS SOPS 286414 HAS SOUS 214092 HAS SOUPS 214092 WITH SCORE 214378.414
AT ITER 3520 NEW BEST:: SOT 568220 SOS 286362 HAS SOPS 286362 HAS SOUS 214056 HAS SOUPS 214056 WITH SCORE 214342.362
AT ITER 3523 NEW BEST:: SOT 568220 SOS 286362 HAS SOPS 286362 HAS SOUS 213922 HAS SOUPS 213922 WITH SCORE 214208.362
AT ITER 3669 NEW BEST:: SOT 568122 SOS 286716 HAS SOPS 286716 HAS SOUS 213900 HAS SOUPS 213900 WITH SCORE 214186.716
AT ITER 3700 NEW BEST:: SOT 568122 SOS 286716 HAS SOPS 286716 HAS SOUS 213870 HAS SOUPS 213870 WITH SCORE 214156.716
AT ITER 3751 NEW BEST:: SOT 568122 SOS 286716 HAS SOPS 286716 HAS SOUS 213868 HAS SOUPS 213868 WITH SCORE 214154.716
AT ITER 3775 NEW BEST:: SOT 568122 SOS 287532 HAS SOPS 287532 HAS SOUS 213732 HAS SOUPS 213732 WITH SCORE 214019.532
AT ITER 3812 NEW BEST:: SOT 568119 SOS 287529 HAS SOPS 287529 HAS SOUS 213729 HAS SOUPS 213729 WITH SCORE 214016.529
AT ITER 3915 NEW BEST:: SOT 568119 SOS 287529 HAS SOPS 287529 HAS SOUS 213723 HAS SOUPS 213723 WITH SCORE 214010.529
AT ITER 3938 NEW BEST:: SOT 567948 SOS 288117 HAS SOPS 288117 HAS SOUS 213665 HAS SOUPS 213665 WITH SCORE 213953.117
AT ITER 4074 NEW BEST:: SOT 567948 SOS 288117 HAS SOPS 288117 HAS SOUS 213579 HAS SOUPS 213579 WITH SCORE 213867.117
AT ITER 4079 NEW BEST:: SOT 567945 SOS 288114 HAS SOPS 288114 HAS SOUS 213576 HAS SOUPS 213576 WITH SCORE 213864.114
AT ITER 4109 NEW BEST:: SOT 567695 SOS 289018 HAS SOPS 289018 HAS SOUS 213511 HAS SOUPS 213511 WITH SCORE 213800.018
AT ITER 4119 NEW BEST:: SOT 567695 SOS 289018 HAS SOPS 289018 HAS SOUS 213435 HAS SOUPS 213435 WITH SCORE 213724.018
AT ITER 4182 NEW BEST:: SOT 567695 SOS 289018 HAS SOPS 289018 HAS SOUS 213325 HAS SOUPS 213325 WITH SCORE 213614.018
AT ITER 4191 NEW BEST:: SOT 567695 SOS 289018 HAS SOPS 289018 HAS SOUS 213241 HAS SOUPS 213241 WITH SCORE 213530.018
AT ITER 4243 NEW BEST:: SOT 567695 SOS 289018 HAS SOPS 289018 HAS SOUS 213207 HAS SOUPS 213207 WITH SCORE 213496.018
AT ITER 4249 NEW BEST:: SOT 567665 SOS 289071 HAS SOPS 289071 HAS SOUS 213198 HAS SOUPS 213198 WITH SCORE 213487.071
AT ITER 4260 NEW BEST:: SOT 567555 SOS 289423 HAS SOPS 289423 HAS SOUS 213098 HAS SOUPS 213098 WITH SCORE 213387.423
AT ITER 4317 NEW BEST:: SOT 567548 SOS 289420 HAS SOPS 289420 HAS SOUS 213090 HAS SOUPS 213090 WITH SCORE 213379.42
AT ITER 4502 NEW BEST:: SOT 567548 SOS 289420 HAS SOPS 289420 HAS SOUS 213060 HAS SOUPS 213060 WITH SCORE 213349.42
AT ITER 4609 NEW BEST:: SOT 567545 SOS 289425 HAS SOPS 289425 HAS SOUS 213057 HAS SOUPS 213057 WITH SCORE 213346.425
AT ITER 4719 NEW BEST:: SOT 567223 SOS 289860 HAS SOPS 289860 HAS SOUS 212966 HAS SOUPS 212966 WITH SCORE 213255.86
AT ITER 4767 NEW BEST:: SOT 567221 SOS 289874 HAS SOPS 289874 HAS SOUS 212942 HAS SOUPS 212942 WITH SCORE 213231.874
AT ITER 4855 NEW BEST:: SOT 567221 SOS 289874 HAS SOPS 289874 HAS SOUS 212940 HAS SOUPS 212940 WITH SCORE 213229.874
AT ITER 4980 NEW BEST:: SOT 567119 SOS 290192 HAS SOPS 290192 HAS SOUS 212916 HAS SOUPS 212916 WITH SCORE 213206.192
AT ITER 5004 NEW BEST:: SOT 567119 SOS 290192 HAS SOPS 290192 HAS SOUS 212866 HAS SOUPS 212866 WITH SCORE 213156.192
AT ITER 5039 NEW BEST:: SOT 567119 SOS 290405 HAS SOPS 290405 HAS SOUS 212852 HAS SOUPS 212852 WITH SCORE 213142.405
AT ITER 5059 NEW BEST:: SOT 567074 SOS 290364 HAS SOPS 290364 HAS SOUS 212809 HAS SOUPS 212809 WITH SCORE 213099.364
AT ITER 5078 NEW BEST:: SOT 567071 SOS 290511 HAS SOPS 290511 HAS SOUS 212776 HAS SOUPS 212776 WITH SCORE 213066.511
AT ITER 5080 NEW BEST:: SOT 567163 SOS 290777 HAS SOPS 290777 HAS SOUS 212631 HAS SOUPS 212631 WITH SCORE 212921.777
AT ITER 5088 NEW BEST:: SOT 567182 SOS 290862 HAS SOPS 290862 HAS SOUS 212628 HAS SOUPS 212628 WITH SCORE 212918.862
AT ITER 5093 NEW BEST:: SOT 567182 SOS 290862 HAS SOPS 290862 HAS SOUS 212604 HAS SOUPS 212604 WITH SCORE 212894.862
AT ITER 5109 NEW BEST:: SOT 567136 SOS 290816 HAS SOPS 290816 HAS SOUS 212558 HAS SOUPS 212558 WITH SCORE 212848.816
AT ITER 5113 NEW BEST:: SOT 567136 SOS 290816 HAS SOPS 290816 HAS SOUS 212556 HAS SOUPS 212556 WITH SCORE 212846.816
AT ITER 5149 NEW BEST:: SOT 567136 SOS 290816 HAS SOPS 290816 HAS SOUS 212552 HAS SOUPS 212552 WITH SCORE 212842.816
AT ITER 5185 NEW BEST:: SOT 566926 SOS 290682 HAS SOPS 290682 HAS SOUS 212418 HAS SOUPS 212418 WITH SCORE 212708.682
AT ITER 5209 NEW BEST:: SOT 566912 SOS 290668 HAS SOPS 290668 HAS SOUS 212404 HAS SOUPS 212404 WITH SCORE 212694.668
AT ITER 5224 NEW BEST:: SOT 566912 SOS 290668 HAS SOPS 290668 HAS SOUS 212402 HAS SOUPS 212402 WITH SCORE 212692.668
AT ITER 5308 NEW BEST:: SOT 566905 SOS 290661 HAS SOPS 290661 HAS SOUS 212395 HAS SOUPS 212395 WITH SCORE 212685.661
AT ITER 5409 NEW BEST:: SOT 566905 SOS 290661 HAS SOPS 290661 HAS SOUS 212367 HAS SOUPS 212367 WITH SCORE 212657.661
AT ITER 5562 NEW BEST:: SOT 566905 SOS 290661 HAS SOPS 290661 HAS SOUS 212299 HAS SOUPS 212299 WITH SCORE 212589.661
AT ITER 5588 NEW BEST:: SOT 566407 SOS 291062 HAS SOPS 291062 HAS SOUS 211944 HAS SOUPS 211944 WITH SCORE 212235.062
AT ITER 5615 NEW BEST:: SOT 566407 SOS 291062 HAS SOPS 291062 HAS SOUS 211922 HAS SOUPS 211922 WITH SCORE 212213.062
AT ITER 5664 NEW BEST:: SOT 566407 SOS 291051 HAS SOPS 291051 HAS SOUS 211921 HAS SOUPS 211921 WITH SCORE 212212.051
AT ITER 5676 NEW BEST:: SOT 566407 SOS 291051 HAS SOPS 291051 HAS SOUS 211861 HAS SOUPS 211861 WITH SCORE 212152.051
AT ITER 5697 NEW BEST:: SOT 566407 SOS 291051 HAS SOPS 291051 HAS SOUS 211805 HAS SOUPS 211805 WITH SCORE 212096.051
AT ITER 5730 NEW BEST:: SOT 566407 SOS 291051 HAS SOPS 291051 HAS SOUS 211765 HAS SOUPS 211765 WITH SCORE 212056.051
AT ITER 5768 NEW BEST:: SOT 566388 SOS 291032 HAS SOPS 291032 HAS SOUS 211746 HAS SOUPS 211746 WITH SCORE 212037.032
AT ITER 5771 NEW BEST:: SOT 566388 SOS 291032 HAS SOPS 291032 HAS SOUS 211620 HAS SOUPS 211620 WITH SCORE 211911.032
AT ITER 5790 NEW BEST:: SOT 566372 SOS 291632 HAS SOPS 291632 HAS SOUS 211552 HAS SOUPS 211552 WITH SCORE 211843.632
AT ITER 5808 NEW BEST:: SOT 566366 SOS 291626 HAS SOPS 291626 HAS SOUS 211538 HAS SOUPS 211538 WITH SCORE 211829.626
AT ITER 5856 NEW BEST:: SOT 566366 SOS 291626 HAS SOPS 291626 HAS SOUS 211404 HAS SOUPS 211404 WITH SCORE 211695.626
AT ITER 6026 NEW BEST:: SOT 566500 SOS 291765 HAS SOPS 291765 HAS SOUS 211240 HAS SOUPS 211240 WITH SCORE 211531.765
AT ITER 6054 NEW BEST:: SOT 566494 SOS 292189 HAS SOPS 292189 HAS SOUS 211148 HAS SOUPS 211148 WITH SCORE 211440.189
AT ITER 6058 NEW BEST:: SOT 566494 SOS 291517 HAS SOPS 291517 HAS SOUS 211122 HAS SOUPS 211122 WITH SCORE 211413.517
AT ITER 6132 NEW BEST:: SOT 566244 SOS 291587 HAS SOPS 291587 HAS SOUS 211047 HAS SOUPS 211047 WITH SCORE 211338.587
AT ITER 6287 NEW BEST:: SOT 566244 SOS 291577 HAS SOPS 291577 HAS SOUS 211027 HAS SOUPS 211027 WITH SCORE 211318.577
AT ITER 6308 NEW BEST:: SOT 566238 SOS 291571 HAS SOPS 291571 HAS SOUS 211021 HAS SOUPS 211021 WITH SCORE 211312.571
AT ITER 6353 NEW BEST:: SOT 566238 SOS 291571 HAS SOPS 291571 HAS SOUS 211019 HAS SOUPS 211019 WITH SCORE 211310.571
AT ITER 6380 NEW BEST:: SOT 566238 SOS 291571 HAS SOPS 291571 HAS SOUS 210785 HAS SOUPS 210785 WITH SCORE 211076.571
AT ITER 6396 NEW BEST:: SOT 566234 SOS 291756 HAS SOPS 291756 HAS SOUS 210754 HAS SOUPS 210754 WITH SCORE 211045.756
AT ITER 6428 NEW BEST:: SOT 566214 SOS 291796 HAS SOPS 291796 HAS SOUS 210722 HAS SOUPS 210722 WITH SCORE 211013.796
AT ITER 6446 NEW BEST:: SOT 566016 SOS 292312 HAS SOPS 292312 HAS SOUS 210639 HAS SOUPS 210639 WITH SCORE 210931.312
AT ITER 6505 NEW BEST:: SOT 566001 SOS 293069 HAS SOPS 293069 HAS SOUS 210636 HAS SOUPS 210636 WITH SCORE 210929.069
AT ITER 6530 NEW BEST:: SOT 565983 SOS 293051 HAS SOPS 293051 HAS SOUS 210618 HAS SOUPS 210618 WITH SCORE 210911.051
AT ITER 6541 NEW BEST:: SOT 565976 SOS 293044 HAS SOPS 293044 HAS SOUS 210611 HAS SOUPS 210611 WITH SCORE 210904.044
AT ITER 6560 NEW BEST:: SOT 565940 SOS 293008 HAS SOPS 293008 HAS SOUS 210575 HAS SOUPS 210575 WITH SCORE 210868.008
AT ITER 6640 NEW BEST:: SOT 565940 SOS 293008 HAS SOPS 293008 HAS SOUS 210573 HAS SOUPS 210573 WITH SCORE 210866.008
AT ITER 6661 NEW BEST:: SOT 565940 SOS 293008 HAS SOPS 293008 HAS SOUS 210571 HAS SOUPS 210571 WITH SCORE 210864.008
AT ITER 6712 NEW BEST:: SOT 565898 SOS 292966 HAS SOPS 292966 HAS SOUS 210529 HAS SOUPS 210529 WITH SCORE 210821.966
AT ITER 6758 NEW BEST:: SOT 565898 SOS 292966 HAS SOPS 292966 HAS SOUS 210527 HAS SOUPS 210527 WITH SCORE 210819.966
AT ITER 6772 NEW BEST:: SOT 565898 SOS 292918 HAS SOPS 292918 HAS SOUS 210519 HAS SOUPS 210519 WITH SCORE 210811.918
AT ITER 6900 NEW BEST:: SOT 565898 SOS 292918 HAS SOPS 292918 HAS SOUS 210517 HAS SOUPS 210517 WITH SCORE 210809.918
AT ITER 6925 NEW BEST:: SOT 565774 SOS 293714 HAS SOPS 293714 HAS SOUS 210451 HAS SOUPS 210451 WITH SCORE 210744.714
AT ITER 6930 NEW BEST:: SOT 565774 SOS 294821 HAS SOPS 294821 HAS SOUS 210370 HAS SOUPS 210370 WITH SCORE 210664.821
AT ITER 6956 NEW BEST:: SOT 565522 SOS 294994 HAS SOPS 294994 HAS SOUS 210218 HAS SOUPS 210218 WITH SCORE 210512.994
AT ITER 7044 NEW BEST:: SOT 565369 SOS 295423 HAS SOPS 295423 HAS SOUS 210208 HAS SOUPS 210208 WITH SCORE 210503.423
AT ITER 7045 NEW BEST:: SOT 565328 SOS 296050 HAS SOPS 296050 HAS SOUS 210143 HAS SOUPS 210143 WITH SCORE 210439.05
AT ITER 7206 NEW BEST:: SOT 565324 SOS 296046 HAS SOPS 296046 HAS SOUS 210139 HAS SOUPS 210139 WITH SCORE 210435.046
AT ITER 7253 NEW BEST:: SOT 565324 SOS 296046 HAS SOPS 296046 HAS SOUS 210063 HAS SOUPS 210063 WITH SCORE 210359.046
AT ITER 7286 NEW BEST:: SOT 565324 SOS 296045 HAS SOPS 296045 HAS SOUS 210063 HAS SOUPS 210063 WITH SCORE 210359.045
AT ITER 7381 NEW BEST:: SOT 565292 SOS 295992 HAS SOPS 295992 HAS SOUS 210050 HAS SOUPS 210050 WITH SCORE 210345.992
AT ITER 7383 NEW BEST:: SOT 565286 SOS 295908 HAS SOPS 295908 HAS SOUS 210023 HAS SOUPS 210023 WITH SCORE 210318.908
AT ITER 7438 NEW BEST:: SOT 565307 SOS 295929 HAS SOPS 295929 HAS SOUS 210006 HAS SOUPS 210006 WITH SCORE 210301.929
AT ITER 7621 NEW BEST:: SOT 565235 SOS 295857 HAS SOPS 295857 HAS SOUS 209988 HAS SOUPS 209988 WITH SCORE 210283.857
AT ITER 7686 NEW BEST:: SOT 565235 SOS 295857 HAS SOPS 295857 HAS SOUS 209986 HAS SOUPS 209986 WITH SCORE 210281.857
AT ITER 7739 NEW BEST:: SOT 565158 SOS 295780 HAS SOPS 295780 HAS SOUS 209909 HAS SOUPS 209909 WITH SCORE 210204.78
AT ITER 7775 NEW BEST:: SOT 565158 SOS 295780 HAS SOPS 295780 HAS SOUS 209903 HAS SOUPS 209903 WITH SCORE 210198.78
AT ITER 7807 NEW BEST:: SOT 565058 SOS 295882 HAS SOPS 295882 HAS SOUS 209758 HAS SOUPS 209758 WITH SCORE 210053.882
AT ITER 7816 NEW BEST:: SOT 564846 SOS 296354 HAS SOPS 296354 HAS SOUS 209651 HAS SOUPS 209651 WITH SCORE 209947.354
AT ITER 7840 NEW BEST:: SOT 564845 SOS 296553 HAS SOPS 296553 HAS SOUS 209610 HAS SOUPS 209610 WITH SCORE 209906.553
AT ITER 7862 NEW BEST:: SOT 564823 SOS 296531 HAS SOPS 296531 HAS SOUS 209588 HAS SOUPS 209588 WITH SCORE 209884.531
AT ITER 7867 NEW BEST:: SOT 564818 SOS 296526 HAS SOPS 296526 HAS SOUS 209583 HAS SOUPS 209583 WITH SCORE 209879.526
AT ITER 7944 NEW BEST:: SOT 564818 SOS 296526 HAS SOPS 296526 HAS SOUS 209581 HAS SOUPS 209581 WITH SCORE 209877.526
AT ITER 7960 NEW BEST:: SOT 564818 SOS 296526 HAS SOPS 296526 HAS SOUS 209565 HAS SOUPS 209565 WITH SCORE 209861.526
AT ITER 7996 NEW BEST:: SOT 564808 SOS 296516 HAS SOPS 296516 HAS SOUS 209555 HAS SOUPS 209555 WITH SCORE 209851.516
AT ITER 8060 NEW BEST:: SOT 564808 SOS 296516 HAS SOPS 296516 HAS SOUS 209553 HAS SOUPS 209553 WITH SCORE 209849.516
AT ITER 8076 NEW BEST:: SOT 564712 SOS 296612 HAS SOPS 296612 HAS SOUS 209489 HAS SOUPS 209489 WITH SCORE 209785.612
AT ITER 8084 NEW BEST:: SOT 564694 SOS 296594 HAS SOPS 296594 HAS SOUS 209471 HAS SOUPS 209471 WITH SCORE 209767.594
AT ITER 8106 NEW BEST:: SOT 564694 SOS 296594 HAS SOPS 296594 HAS SOUS 209409 HAS SOUPS 209409 WITH SCORE 209705.594
AT ITER 8119 NEW BEST:: SOT 564694 SOS 296594 HAS SOPS 296594 HAS SOUS 209301 HAS SOUPS 209301 WITH SCORE 209597.594
AT ITER 8164 NEW BEST:: SOT 564694 SOS 296456 HAS SOPS 296456 HAS SOUS 209278 HAS SOUPS 209278 WITH SCORE 209574.456
AT ITER 8254 NEW BEST:: SOT 564642 SOS 296489 HAS SOPS 296489 HAS SOUS 209241 HAS SOUPS 209241 WITH SCORE 209537.489
AT ITER 8312 NEW BEST:: SOT 564563 SOS 296762 HAS SOPS 296762 HAS SOUS 209229 HAS SOUPS 209229 WITH SCORE 209525.762
AT ITER 8327 NEW BEST:: SOT 564563 SOS 296862 HAS SOPS 296862 HAS SOUS 209195 HAS SOUPS 209195 WITH SCORE 209491.862
AT ITER 8377 NEW BEST:: SOT 564417 SOS 297741 HAS SOPS 297741 HAS SOUS 209063 HAS SOUPS 209063 WITH SCORE 209360.741
AT ITER 8438 NEW BEST:: SOT 564392 SOS 297748 HAS SOPS 297748 HAS SOUS 209040 HAS SOUPS 209040 WITH SCORE 209337.748
AT ITER 8452 NEW BEST:: SOT 564373 SOS 297839 HAS SOPS 297839 HAS SOUS 209031 HAS SOUPS 209031 WITH SCORE 209328.839
AT ITER 8511 NEW BEST:: SOT 564373 SOS 297839 HAS SOPS 297839 HAS SOUS 209021 HAS SOUPS 209021 WITH SCORE 209318.839
AT ITER 8513 NEW BEST:: SOT 564373 SOS 297839 HAS SOPS 297839 HAS SOUS 209011 HAS SOUPS 209011 WITH SCORE 209308.839
AT ITER 8596 NEW BEST:: SOT 564333 SOS 297889 HAS SOPS 297889 HAS SOUS 208975 HAS SOUPS 208975 WITH SCORE 209272.889
AT ITER 8789 NEW BEST:: SOT 564333 SOS 297889 HAS SOPS 297889 HAS SOUS 208971 HAS SOUPS 208971 WITH SCORE 209268.889
AT ITER 8825 NEW BEST:: SOT 564322 SOS 297878 HAS SOPS 297878 HAS SOUS 208960 HAS SOUPS 208960 WITH SCORE 209257.878
AT ITER 8834 NEW BEST:: SOT 564277 SOS 297879 HAS SOPS 297879 HAS SOUS 208915 HAS SOUPS 208915 WITH SCORE 209212.879
AT ITER 8848 NEW BEST:: SOT 564276 SOS 297878 HAS SOPS 297878 HAS SOUS 208914 HAS SOUPS 208914 WITH SCORE 209211.878
AT ITER 8928 NEW BEST:: SOT 564276 SOS 297878 HAS SOPS 297878 HAS SOUS 208912 HAS SOUPS 208912 WITH SCORE 209209.878
AT ITER 8943 NEW BEST:: SOT 564123 SOS 297725 HAS SOPS 297725 HAS SOUS 208877 HAS SOUPS 208877 WITH SCORE 209174.725
AT ITER 8966 NEW BEST:: SOT 564102 SOS 297704 HAS SOPS 297704 HAS SOUS 208840 HAS SOUPS 208840 WITH SCORE 209137.704
AT ITER 8970 NEW BEST:: SOT 564107 SOS 297875 HAS SOPS 297875 HAS SOUS 208833 HAS SOUPS 208833 WITH SCORE 209130.875
AT ITER 8974 NEW BEST:: SOT 564107 SOS 297875 HAS SOPS 297875 HAS SOUS 208781 HAS SOUPS 208781 WITH SCORE 209078.875
AT ITER 8996 NEW BEST:: SOT 563929 SOS 297532 HAS SOPS 297532 HAS SOUS 208521 HAS SOUPS 208521 WITH SCORE 208818.532
AT ITER 9100 NEW BEST:: SOT 563922 SOS 297525 HAS SOPS 297525 HAS SOUS 208514 HAS SOUPS 208514 WITH SCORE 208811.525
AT ITER 9131 NEW BEST:: SOT 563921 SOS 297524 HAS SOPS 297524 HAS SOUS 208513 HAS SOUPS 208513 WITH SCORE 208810.524
AT ITER 9135 NEW BEST:: SOT 563591 SOS 297369 HAS SOPS 297369 HAS SOUS 208459 HAS SOUPS 208459 WITH SCORE 208756.369
AT ITER 9136 NEW BEST:: SOT 563591 SOS 297369 HAS SOPS 297369 HAS SOUS 208457 HAS SOUPS 208457 WITH SCORE 208754.369
AT ITER 9151 NEW BEST:: SOT 563285 SOS 297658 HAS SOPS 297658 HAS SOUS 208236 HAS SOUPS 208236 WITH SCORE 208533.658
AT ITER 9275 NEW BEST:: SOT 563281 SOS 297947 HAS SOPS 297947 HAS SOUS 208203 HAS SOUPS 208203 WITH SCORE 208500.947
AT ITER 9287 NEW BEST:: SOT 563281 SOS 297947 HAS SOPS 297947 HAS SOUS 208201 HAS SOUPS 208201 WITH SCORE 208498.947
AT ITER 9342 NEW BEST:: SOT 563016 SOS 297716 HAS SOPS 297716 HAS SOUS 208002 HAS SOUPS 208002 WITH SCORE 208299.716
AT ITER 9348 NEW BEST:: SOT 563016 SOS 297716 HAS SOPS 297716 HAS SOUS 207932 HAS SOUPS 207932 WITH SCORE 208229.716
AT ITER 9409 NEW BEST:: SOT 563016 SOS 297716 HAS SOPS 297716 HAS SOUS 207918 HAS SOUPS 207918 WITH SCORE 208215.716
AT ITER 9462 NEW BEST:: SOT 563016 SOS 297716 HAS SOPS 297716 HAS SOUS 207916 HAS SOUPS 207916 WITH SCORE 208213.716
AT ITER 9561 NEW BEST:: SOT 562722 SOS 297646 HAS SOPS 297646 HAS SOUS 207654 HAS SOUPS 207654 WITH SCORE 207951.646
AT ITER 9569 NEW BEST:: SOT 562722 SOS 297646 HAS SOPS 297646 HAS SOUS 207596 HAS SOUPS 207596 WITH SCORE 207893.646
AT ITER 9575 NEW BEST:: SOT 562654 SOS 297578 HAS SOPS 297578 HAS SOUS 207486 HAS SOUPS 207486 WITH SCORE 207783.578
AT ITER 9590 NEW BEST:: SOT 562583 SOS 297617 HAS SOPS 297617 HAS SOUS 207423 HAS SOUPS 207423 WITH SCORE 207720.617
AT ITER 9613 NEW BEST:: SOT 562570 SOS 297604 HAS SOPS 297604 HAS SOUS 207410 HAS SOUPS 207410 WITH SCORE 207707.604
AT ITER 9899 NEW BEST:: SOT 562570 SOS 297604 HAS SOPS 297604 HAS SOUS 207392 HAS SOUPS 207392 WITH SCORE 207689.604
AT ITER 9984 NEW BEST:: SOT 562569 SOS 297603 HAS SOPS 297603 HAS SOUS 207389 HAS SOUPS 207389 WITH SCORE 207686.603
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 3137292 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16155548 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-d04r03"
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-d04r03, 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-167838847300112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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