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.r003-oct2-167813590500184.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AirplaneLD-COL-0020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590500184
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 8.2K Feb 26 11:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 11:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 11:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 11:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 11:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 26 11:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 11:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 26 11:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 41K 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 1678472215874

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=AirplaneLD-COL-0020
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 18:16:58] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 18:16:58] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 18:16:58] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 18:16:59] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 18:16:59] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 855 ms
[2023-03-10 18:16:59] [INFO ] Detected 3 constant HL places corresponding to 62 PT places.
[2023-03-10 18:16:59] [INFO ] Imported 20 HL places and 15 HL transitions for a total of 159 PT places and 252.0 transition bindings in 51 ms.
[2023-03-10 18:16:59] [INFO ] Unfolded HLPN to a Petri net with 159 places and 168 transitions 470 arcs in 27 ms.
[2023-03-10 18:16:59] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-10 18:16:59] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 159 places, 168 transitions and 470 arcs took 10 ms.
Total runtime 1169 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (COL), instance 0020
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: 159 places, 168 transitions, 470 arcs.
AT ITER 0 NEW BEST:: SOT 12176 SOS 6722 HAS SOPS 6722 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4005.722
AT ITER 10 NEW BEST:: SOT 12169 SOS 7002 HAS SOPS 7002 HAS SOUS 3985 HAS SOUPS 3985 WITH SCORE 3992.002
AT ITER 19 NEW BEST:: SOT 12159 SOS 6982 HAS SOPS 6982 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3981.982
AT ITER 24 NEW BEST:: SOT 12139 SOS 6922 HAS SOPS 6922 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3961.922
AT ITER 27 NEW BEST:: SOT 12123 SOS 6890 HAS SOPS 6890 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3945.89
AT ITER 31 NEW BEST:: SOT 12140 SOS 6885 HAS SOPS 6885 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3936.885
AT ITER 34 NEW BEST:: SOT 12190 SOS 6883 HAS SOPS 6883 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3903.883
AT ITER 44 NEW BEST:: SOT 11776 SOS 6734 HAS SOPS 6734 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3500.734
AT ITER 46 NEW BEST:: SOT 11819 SOS 6728 HAS SOPS 6728 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3427.728
AT ITER 48 NEW BEST:: SOT 11801 SOS 6690 HAS SOPS 6690 HAS SOUS 3403 HAS SOUPS 3403 WITH SCORE 3409.69
AT ITER 55 NEW BEST:: SOT 11852 SOS 6694 HAS SOPS 6694 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3340.694
AT ITER 70 NEW BEST:: SOT 11895 SOS 6638 HAS SOPS 6638 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3230.638
AT ITER 71 NEW BEST:: SOT 11900 SOS 6586 HAS SOPS 6586 HAS SOUS 3143 HAS SOUPS 3143 WITH SCORE 3149.586
AT ITER 72 NEW BEST:: SOT 11052 SOS 6659 HAS SOPS 6659 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2255.659
AT ITER 78 NEW BEST:: SOT 11091 SOS 6698 HAS SOPS 6698 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2242.698
AT ITER 80 NEW BEST:: SOT 11041 SOS 6648 HAS SOPS 6648 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2242.648
AT ITER 83 NEW BEST:: SOT 11125 SOS 6732 HAS SOPS 6732 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2231.732
AT ITER 88 NEW BEST:: SOT 11114 SOS 6710 HAS SOPS 6710 HAS SOUS 2214 HAS SOUPS 2214 WITH SCORE 2220.71
AT ITER 90 NEW BEST:: SOT 11156 SOS 6752 HAS SOPS 6752 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2200.752
AT ITER 92 NEW BEST:: SOT 11216 SOS 6812 HAS SOPS 6812 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2197.812
AT ITER 97 NEW BEST:: SOT 11192 SOS 6788 HAS SOPS 6788 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2175.788
AT ITER 100 NEW BEST:: SOT 11258 SOS 6854 HAS SOPS 6854 HAS SOUS 2163 HAS SOUPS 2163 WITH SCORE 2169.854
AT ITER 103 NEW BEST:: SOT 11283 SOS 6879 HAS SOPS 6879 HAS SOUS 2148 HAS SOUPS 2148 WITH SCORE 2154.879
AT ITER 112 NEW BEST:: SOT 11418 SOS 7009 HAS SOPS 7009 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2137.009
AT ITER 118 NEW BEST:: SOT 11378 SOS 6969 HAS SOPS 6969 HAS SOUS 2128 HAS SOUPS 2128 WITH SCORE 2134.969
AT ITER 124 NEW BEST:: SOT 11398 SOS 6989 HAS SOPS 6989 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2114.989
AT ITER 147 NEW BEST:: SOT 11497 SOS 7084 HAS SOPS 7084 HAS SOUS 2079 HAS SOUPS 2079 WITH SCORE 2086.084
AT ITER 149 NEW BEST:: SOT 11484 SOS 7042 HAS SOPS 7042 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2073.042
AT ITER 153 NEW BEST:: SOT 11536 SOS 7094 HAS SOPS 7094 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2069.094
AT ITER 162 NEW BEST:: SOT 11537 SOS 7102 HAS SOPS 7102 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2065.102
AT ITER 170 NEW BEST:: SOT 11638 SOS 7196 HAS SOPS 7196 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2030.196
AT ITER 173 NEW BEST:: SOT 11630 SOS 7188 HAS SOPS 7188 HAS SOUS 2021 HAS SOUPS 2021 WITH SCORE 2028.188
AT ITER 199 NEW BEST:: SOT 11673 SOS 7231 HAS SOPS 7231 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1985.231
AT ITER 209 NEW BEST:: SOT 11814 SOS 7323 HAS SOPS 7323 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1949.323
AT ITER 211 NEW BEST:: SOT 11806 SOS 7307 HAS SOPS 7307 HAS SOUS 1934 HAS SOUPS 1934 WITH SCORE 1941.307
AT ITER 216 NEW BEST:: SOT 11878 SOS 7379 HAS SOPS 7379 HAS SOUS 1918 HAS SOUPS 1918 WITH SCORE 1925.379
AT ITER 224 NEW BEST:: SOT 11885 SOS 7386 HAS SOPS 7386 HAS SOUS 1911 HAS SOUPS 1911 WITH SCORE 1918.386
AT ITER 227 NEW BEST:: SOT 11735 SOS 7890 HAS SOPS 7890 HAS SOUS 1761 HAS SOUPS 1761 WITH SCORE 1768.89
AT ITER 230 NEW BEST:: SOT 11725 SOS 7870 HAS SOPS 7870 HAS SOUS 1717 HAS SOUPS 1717 WITH SCORE 1724.87
AT ITER 238 NEW BEST:: SOT 11795 SOS 7940 HAS SOPS 7940 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1722.94
AT ITER 239 NEW BEST:: SOT 11781 SOS 7932 HAS SOPS 7932 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1708.932
AT ITER 246 NEW BEST:: SOT 11781 SOS 7932 HAS SOPS 7932 HAS SOUS 1699 HAS SOUPS 1699 WITH SCORE 1706.932
AT ITER 248 NEW BEST:: SOT 11858 SOS 8009 HAS SOPS 8009 HAS SOUS 1696 HAS SOUPS 1696 WITH SCORE 1704.009
AT ITER 272 NEW BEST:: SOT 11862 SOS 7157 HAS SOPS 7157 HAS SOUS 1657 HAS SOUPS 1657 WITH SCORE 1664.157
AT ITER 278 NEW BEST:: SOT 11862 SOS 7156 HAS SOPS 7156 HAS SOUS 1657 HAS SOUPS 1657 WITH SCORE 1664.156
AT ITER 282 NEW BEST:: SOT 11991 SOS 7273 HAS SOPS 7273 HAS SOUS 1644 HAS SOUPS 1644 WITH SCORE 1651.273
AT ITER 284 NEW BEST:: SOT 12145 SOS 7427 HAS SOPS 7427 HAS SOUS 1618 HAS SOUPS 1618 WITH SCORE 1625.427
AT ITER 296 NEW BEST:: SOT 12129 SOS 7411 HAS SOPS 7411 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1609.411
AT ITER 297 NEW BEST:: SOT 12217 SOS 7499 HAS SOPS 7499 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1599.499
AT ITER 299 NEW BEST:: SOT 12346 SOS 7624 HAS SOPS 7624 HAS SOUS 1561 HAS SOUPS 1561 WITH SCORE 1568.624
AT ITER 303 NEW BEST:: SOT 12356 SOS 7634 HAS SOPS 7634 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1558.634
AT ITER 304 NEW BEST:: SOT 12324 SOS 7602 HAS SOPS 7602 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1558.602
AT ITER 316 NEW BEST:: SOT 12318 SOS 7596 HAS SOPS 7596 HAS SOUS 1545 HAS SOUPS 1545 WITH SCORE 1552.596
AT ITER 325 NEW BEST:: SOT 12304 SOS 7888 HAS SOPS 7888 HAS SOUS 1539 HAS SOUPS 1539 WITH SCORE 1546.888
AT ITER 328 NEW BEST:: SOT 12304 SOS 7848 HAS SOPS 7848 HAS SOUS 1537 HAS SOUPS 1537 WITH SCORE 1544.848
AT ITER 338 NEW BEST:: SOT 12348 SOS 7877 HAS SOPS 7877 HAS SOUS 1533 HAS SOUPS 1533 WITH SCORE 1540.877
AT ITER 346 NEW BEST:: SOT 12336 SOS 7865 HAS SOPS 7865 HAS SOUS 1533 HAS SOUPS 1533 WITH SCORE 1540.865
AT ITER 347 NEW BEST:: SOT 12447 SOS 7976 HAS SOPS 7976 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1535.976
AT ITER 349 NEW BEST:: SOT 12201 SOS 8399 HAS SOPS 8399 HAS SOUS 1308 HAS SOUPS 1308 WITH SCORE 1316.399
AT ITER 360 NEW BEST:: SOT 12237 SOS 8434 HAS SOPS 8434 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1294.434
AT ITER 362 NEW BEST:: SOT 12206 SOS 7755 HAS SOPS 7755 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1262.755
AT ITER 370 NEW BEST:: SOT 12152 SOS 7701 HAS SOPS 7701 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1262.701
AT ITER 373 NEW BEST:: SOT 12096 SOS 7645 HAS SOPS 7645 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1262.645
AT ITER 396 NEW BEST:: SOT 12038 SOS 7587 HAS SOPS 7587 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1262.587
AT ITER 401 NEW BEST:: SOT 11996 SOS 7545 HAS SOPS 7545 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1262.545
AT ITER 414 NEW BEST:: SOT 11858 SOS 7407 HAS SOPS 7407 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1262.407
AT ITER 424 NEW BEST:: SOT 11842 SOS 7391 HAS SOPS 7391 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1262.391
AT ITER 429 NEW BEST:: SOT 11680 SOS 7229 HAS SOPS 7229 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1262.229
AT ITER 443 NEW BEST:: SOT 11652 SOS 7201 HAS SOPS 7201 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1262.201
AT ITER 444 NEW BEST:: SOT 11646 SOS 7195 HAS SOPS 7195 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1262.195
AT ITER 447 NEW BEST:: SOT 11556 SOS 7105 HAS SOPS 7105 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1262.105
AT ITER 457 NEW BEST:: SOT 11562 SOS 7484 HAS SOPS 7484 HAS SOUS 1250 HAS SOUPS 1250 WITH SCORE 1257.484
AT ITER 470 NEW BEST:: SOT 11488 SOS 7410 HAS SOPS 7410 HAS SOUS 1250 HAS SOUPS 1250 WITH SCORE 1257.41
AT ITER 471 NEW BEST:: SOT 11617 SOS 7538 HAS SOPS 7538 HAS SOUS 1249 HAS SOUPS 1249 WITH SCORE 1256.538
AT ITER 483 NEW BEST:: SOT 11639 SOS 7560 HAS SOPS 7560 HAS SOUS 1237 HAS SOUPS 1237 WITH SCORE 1244.56
AT ITER 486 NEW BEST:: SOT 11549 SOS 7470 HAS SOPS 7470 HAS SOUS 1187 HAS SOUPS 1187 WITH SCORE 1194.47
AT ITER 529 NEW BEST:: SOT 11549 SOS 7470 HAS SOPS 7470 HAS SOUS 1186 HAS SOUPS 1186 WITH SCORE 1193.47
AT ITER 539 NEW BEST:: SOT 11523 SOS 7444 HAS SOPS 7444 HAS SOUS 1186 HAS SOUPS 1186 WITH SCORE 1193.444
AT ITER 561 NEW BEST:: SOT 11523 SOS 7444 HAS SOPS 7444 HAS SOUS 1181 HAS SOUPS 1181 WITH SCORE 1188.444
AT ITER 563 NEW BEST:: SOT 11523 SOS 7444 HAS SOPS 7444 HAS SOUS 1175 HAS SOUPS 1175 WITH SCORE 1182.444
AT ITER 566 NEW BEST:: SOT 11644 SOS 7565 HAS SOPS 7565 HAS SOUS 1164 HAS SOUPS 1164 WITH SCORE 1171.565
AT ITER 600 NEW BEST:: SOT 11756 SOS 7677 HAS SOPS 7677 HAS SOUS 1150 HAS SOUPS 1150 WITH SCORE 1157.677
AT ITER 630 NEW BEST:: SOT 11744 SOS 7665 HAS SOPS 7665 HAS SOUS 1150 HAS SOUPS 1150 WITH SCORE 1157.665
AT ITER 636 NEW BEST:: SOT 11744 SOS 7665 HAS SOPS 7665 HAS SOUS 1118 HAS SOUPS 1118 WITH SCORE 1125.665
AT ITER 638 NEW BEST:: SOT 11710 SOS 7631 HAS SOPS 7631 HAS SOUS 1112 HAS SOUPS 1112 WITH SCORE 1119.631
AT ITER 668 NEW BEST:: SOT 11562 SOS 7483 HAS SOPS 7483 HAS SOUS 1112 HAS SOUPS 1112 WITH SCORE 1119.483
AT ITER 673 NEW BEST:: SOT 11504 SOS 7425 HAS SOPS 7425 HAS SOUS 1112 HAS SOUPS 1112 WITH SCORE 1119.425
AT ITER 676 NEW BEST:: SOT 11492 SOS 7413 HAS SOPS 7413 HAS SOUS 1112 HAS SOUPS 1112 WITH SCORE 1119.413
AT ITER 694 NEW BEST:: SOT 11513 SOS 7434 HAS SOPS 7434 HAS SOUS 1110 HAS SOUPS 1110 WITH SCORE 1117.434
AT ITER 712 NEW BEST:: SOT 11507 SOS 7428 HAS SOPS 7428 HAS SOUS 1104 HAS SOUPS 1104 WITH SCORE 1111.428
AT ITER 715 NEW BEST:: SOT 11507 SOS 7428 HAS SOPS 7428 HAS SOUS 1102 HAS SOUPS 1102 WITH SCORE 1109.428
AT ITER 727 NEW BEST:: SOT 11508 SOS 7390 HAS SOPS 7390 HAS SOUS 1101 HAS SOUPS 1101 WITH SCORE 1108.39
AT ITER 732 NEW BEST:: SOT 11506 SOS 7350 HAS SOPS 7350 HAS SOUS 1099 HAS SOUPS 1099 WITH SCORE 1106.35
AT ITER 753 NEW BEST:: SOT 11506 SOS 7341 HAS SOPS 7341 HAS SOUS 1099 HAS SOUPS 1099 WITH SCORE 1106.341
AT ITER 756 NEW BEST:: SOT 11506 SOS 7341 HAS SOPS 7341 HAS SOUS 1088 HAS SOUPS 1088 WITH SCORE 1095.341
AT ITER 796 NEW BEST:: SOT 11506 SOS 7334 HAS SOPS 7334 HAS SOUS 1084 HAS SOUPS 1084 WITH SCORE 1091.334
AT ITER 801 NEW BEST:: SOT 11490 SOS 7318 HAS SOPS 7318 HAS SOUS 1084 HAS SOUPS 1084 WITH SCORE 1091.318
AT ITER 817 NEW BEST:: SOT 11495 SOS 7323 HAS SOPS 7323 HAS SOUS 1079 HAS SOUPS 1079 WITH SCORE 1086.323
AT ITER 849 NEW BEST:: SOT 11457 SOS 7285 HAS SOPS 7285 HAS SOUS 1062 HAS SOUPS 1062 WITH SCORE 1069.285
AT ITER 877 NEW BEST:: SOT 11457 SOS 7285 HAS SOPS 7285 HAS SOUS 1060 HAS SOUPS 1060 WITH SCORE 1067.285
AT ITER 901 NEW BEST:: SOT 11452 SOS 7280 HAS SOPS 7280 HAS SOUS 1059 HAS SOUPS 1059 WITH SCORE 1066.28
AT ITER 906 NEW BEST:: SOT 11396 SOS 7224 HAS SOPS 7224 HAS SOUS 1059 HAS SOUPS 1059 WITH SCORE 1066.224
AT ITER 912 NEW BEST:: SOT 11458 SOS 7284 HAS SOPS 7284 HAS SOUS 1039 HAS SOUPS 1039 WITH SCORE 1046.284
AT ITER 927 NEW BEST:: SOT 11438 SOS 7264 HAS SOPS 7264 HAS SOUS 1019 HAS SOUPS 1019 WITH SCORE 1026.264
AT ITER 938 NEW BEST:: SOT 11372 SOS 7198 HAS SOPS 7198 HAS SOUS 953 HAS SOUPS 953 WITH SCORE 960.198
AT ITER 951 NEW BEST:: SOT 11364 SOS 7190 HAS SOPS 7190 HAS SOUS 953 HAS SOUPS 953 WITH SCORE 960.19
AT ITER 1094 NEW BEST:: SOT 11398 SOS 7224 HAS SOPS 7224 HAS SOUS 945 HAS SOUPS 945 WITH SCORE 952.224
AT ITER 1143 NEW BEST:: SOT 11398 SOS 7224 HAS SOPS 7224 HAS SOUS 925 HAS SOUPS 925 WITH SCORE 932.224
AT ITER 1148 NEW BEST:: SOT 11394 SOS 7220 HAS SOPS 7220 HAS SOUS 925 HAS SOUPS 925 WITH SCORE 932.22
AT ITER 1156 NEW BEST:: SOT 11357 SOS 7129 HAS SOPS 7129 HAS SOUS 919 HAS SOUPS 919 WITH SCORE 926.129
AT ITER 1158 NEW BEST:: SOT 11327 SOS 7099 HAS SOPS 7099 HAS SOUS 919 HAS SOUPS 919 WITH SCORE 926.099
AT ITER 1161 NEW BEST:: SOT 11295 SOS 7067 HAS SOPS 7067 HAS SOUS 919 HAS SOUPS 919 WITH SCORE 926.067
AT ITER 1168 NEW BEST:: SOT 11295 SOS 7067 HAS SOPS 7067 HAS SOUS 907 HAS SOUPS 907 WITH SCORE 914.067
AT ITER 1191 NEW BEST:: SOT 11259 SOS 7031 HAS SOPS 7031 HAS SOUS 907 HAS SOUPS 907 WITH SCORE 914.031
AT ITER 1213 NEW BEST:: SOT 11257 SOS 7029 HAS SOPS 7029 HAS SOUS 907 HAS SOUPS 907 WITH SCORE 914.029
AT ITER 1288 NEW BEST:: SOT 11241 SOS 7310 HAS SOPS 7310 HAS SOUS 899 HAS SOUPS 899 WITH SCORE 906.31
AT ITER 1311 NEW BEST:: SOT 11227 SOS 7296 HAS SOPS 7296 HAS SOUS 899 HAS SOUPS 899 WITH SCORE 906.296
AT ITER 1319 NEW BEST:: SOT 11197 SOS 7266 HAS SOPS 7266 HAS SOUS 899 HAS SOUPS 899 WITH SCORE 906.266
AT ITER 1339 NEW BEST:: SOT 11171 SOS 7240 HAS SOPS 7240 HAS SOUS 894 HAS SOUPS 894 WITH SCORE 901.24
AT ITER 1403 NEW BEST:: SOT 11170 SOS 7238 HAS SOPS 7238 HAS SOUS 893 HAS SOUPS 893 WITH SCORE 900.238
AT ITER 1435 NEW BEST:: SOT 11118 SOS 7186 HAS SOPS 7186 HAS SOUS 877 HAS SOUPS 877 WITH SCORE 884.186
AT ITER 1506 NEW BEST:: SOT 11116 SOS 7184 HAS SOPS 7184 HAS SOUS 877 HAS SOUPS 877 WITH SCORE 884.184
AT ITER 1525 NEW BEST:: SOT 11112 SOS 7176 HAS SOPS 7176 HAS SOUS 877 HAS SOUPS 877 WITH SCORE 884.176
AT ITER 1599 NEW BEST:: SOT 11014 SOS 7078 HAS SOPS 7078 HAS SOUS 877 HAS SOUPS 877 WITH SCORE 884.078
AT ITER 1688 NEW BEST:: SOT 10997 SOS 6956 HAS SOPS 6956 HAS SOUS 876 HAS SOUPS 876 WITH SCORE 882.956
AT ITER 1691 NEW BEST:: SOT 10975 SOS 6934 HAS SOPS 6934 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 880.934
AT ITER 1721 NEW BEST:: SOT 11077 SOS 7036 HAS SOPS 7036 HAS SOUS 868 HAS SOUPS 868 WITH SCORE 875.036
AT ITER 1745 NEW BEST:: SOT 11054 SOS 7013 HAS SOPS 7013 HAS SOUS 858 HAS SOUPS 858 WITH SCORE 865.013
AT ITER 1747 NEW BEST:: SOT 11062 SOS 6990 HAS SOPS 6990 HAS SOUS 856 HAS SOUPS 856 WITH SCORE 862.99
AT ITER 1756 NEW BEST:: SOT 11048 SOS 6976 HAS SOPS 6976 HAS SOUS 856 HAS SOUPS 856 WITH SCORE 862.976
AT ITER 1799 NEW BEST:: SOT 11038 SOS 6966 HAS SOPS 6966 HAS SOUS 856 HAS SOUPS 856 WITH SCORE 862.966
AT ITER 1814 NEW BEST:: SOT 11014 SOS 6942 HAS SOPS 6942 HAS SOUS 836 HAS SOUPS 836 WITH SCORE 842.942
AT ITER 1833 NEW BEST:: SOT 11004 SOS 6932 HAS SOPS 6932 HAS SOUS 836 HAS SOUPS 836 WITH SCORE 842.932
AT ITER 1857 NEW BEST:: SOT 11003 SOS 6930 HAS SOPS 6930 HAS SOUS 835 HAS SOUPS 835 WITH SCORE 841.93
AT ITER 1870 NEW BEST:: SOT 11007 SOS 6930 HAS SOPS 6930 HAS SOUS 831 HAS SOUPS 831 WITH SCORE 837.93
AT ITER 1872 NEW BEST:: SOT 10997 SOS 6920 HAS SOPS 6920 HAS SOUS 826 HAS SOUPS 826 WITH SCORE 832.92
AT ITER 1950 NEW BEST:: SOT 10963 SOS 6886 HAS SOPS 6886 HAS SOUS 826 HAS SOUPS 826 WITH SCORE 832.886
AT ITER 1956 NEW BEST:: SOT 10961 SOS 6884 HAS SOPS 6884 HAS SOUS 826 HAS SOUPS 826 WITH SCORE 832.884
AT ITER 1972 NEW BEST:: SOT 10962 SOS 6885 HAS SOPS 6885 HAS SOUS 825 HAS SOUPS 825 WITH SCORE 831.885
AT ITER 1999 NEW BEST:: SOT 10934 SOS 6857 HAS SOPS 6857 HAS SOUS 825 HAS SOUPS 825 WITH SCORE 831.857
AT ITER 2004 NEW BEST:: SOT 10934 SOS 6853 HAS SOPS 6853 HAS SOUS 823 HAS SOUPS 823 WITH SCORE 829.853
AT ITER 2033 NEW BEST:: SOT 10934 SOS 6853 HAS SOPS 6853 HAS SOUS 797 HAS SOUPS 797 WITH SCORE 803.853
AT ITER 2038 NEW BEST:: SOT 10937 SOS 6839 HAS SOPS 6839 HAS SOUS 790 HAS SOUPS 790 WITH SCORE 796.839
AT ITER 2177 NEW BEST:: SOT 10937 SOS 6839 HAS SOPS 6839 HAS SOUS 785 HAS SOUPS 785 WITH SCORE 791.839
AT ITER 2178 NEW BEST:: SOT 10938 SOS 6761 HAS SOPS 6761 HAS SOUS 782 HAS SOUPS 782 WITH SCORE 788.761
AT ITER 2183 NEW BEST:: SOT 10830 SOS 6660 HAS SOPS 6660 HAS SOUS 758 HAS SOUPS 758 WITH SCORE 764.66
AT ITER 2255 NEW BEST:: SOT 10808 SOS 6638 HAS SOPS 6638 HAS SOUS 758 HAS SOUPS 758 WITH SCORE 764.638
AT ITER 2263 NEW BEST:: SOT 10808 SOS 6638 HAS SOPS 6638 HAS SOUS 756 HAS SOUPS 756 WITH SCORE 762.638
AT ITER 2290 NEW BEST:: SOT 10808 SOS 6638 HAS SOPS 6638 HAS SOUS 754 HAS SOUPS 754 WITH SCORE 760.638
AT ITER 2312 NEW BEST:: SOT 10808 SOS 6638 HAS SOPS 6638 HAS SOUS 752 HAS SOUPS 752 WITH SCORE 758.638
AT ITER 2325 NEW BEST:: SOT 10740 SOS 6570 HAS SOPS 6570 HAS SOUS 752 HAS SOUPS 752 WITH SCORE 758.57
AT ITER 2349 NEW BEST:: SOT 10696 SOS 6526 HAS SOPS 6526 HAS SOUS 752 HAS SOUPS 752 WITH SCORE 758.526
AT ITER 2441 NEW BEST:: SOT 10692 SOS 6522 HAS SOPS 6522 HAS SOUS 752 HAS SOUPS 752 WITH SCORE 758.522
AT ITER 2501 NEW BEST:: SOT 10688 SOS 6518 HAS SOPS 6518 HAS SOUS 752 HAS SOUPS 752 WITH SCORE 758.518
AT ITER 2569 NEW BEST:: SOT 10678 SOS 6508 HAS SOPS 6508 HAS SOUS 752 HAS SOUPS 752 WITH SCORE 758.508
AT ITER 2587 NEW BEST:: SOT 10678 SOS 6508 HAS SOPS 6508 HAS SOUS 749 HAS SOUPS 749 WITH SCORE 755.508
AT ITER 2618 NEW BEST:: SOT 10614 SOS 6444 HAS SOPS 6444 HAS SOUS 749 HAS SOUPS 749 WITH SCORE 755.444
AT ITER 2699 NEW BEST:: SOT 10604 SOS 6434 HAS SOPS 6434 HAS SOUS 749 HAS SOUPS 749 WITH SCORE 755.434
AT ITER 2700 NEW BEST:: SOT 10604 SOS 6434 HAS SOPS 6434 HAS SOUS 747 HAS SOUPS 747 WITH SCORE 753.434
AT ITER 2762 NEW BEST:: SOT 10570 SOS 6400 HAS SOPS 6400 HAS SOUS 743 HAS SOUPS 743 WITH SCORE 749.4
AT ITER 2763 NEW BEST:: SOT 10568 SOS 6398 HAS SOPS 6398 HAS SOUS 741 HAS SOUPS 741 WITH SCORE 747.398
AT ITER 2815 NEW BEST:: SOT 10578 SOS 6400 HAS SOPS 6400 HAS SOUS 737 HAS SOUPS 737 WITH SCORE 743.4
AT ITER 2943 NEW BEST:: SOT 10578 SOS 6400 HAS SOPS 6400 HAS SOUS 736 HAS SOUPS 736 WITH SCORE 742.4
AT ITER 3088 NEW BEST:: SOT 10620 SOS 6439 HAS SOPS 6439 HAS SOUS 727 HAS SOUPS 727 WITH SCORE 733.439
AT ITER 3103 NEW BEST:: SOT 10620 SOS 6439 HAS SOPS 6439 HAS SOUS 724 HAS SOUPS 724 WITH SCORE 730.439
AT ITER 3157 NEW BEST:: SOT 10620 SOS 6439 HAS SOPS 6439 HAS SOUS 723 HAS SOUPS 723 WITH SCORE 729.439
AT ITER 3191 NEW BEST:: SOT 10623 SOS 6442 HAS SOPS 6442 HAS SOUS 722 HAS SOUPS 722 WITH SCORE 728.442
AT ITER 3262 NEW BEST:: SOT 10625 SOS 6406 HAS SOPS 6406 HAS SOUS 722 HAS SOUPS 722 WITH SCORE 728.406
AT ITER 3291 NEW BEST:: SOT 10620 SOS 6342 HAS SOPS 6342 HAS SOUS 720 HAS SOUPS 720 WITH SCORE 726.342
AT ITER 3531 NEW BEST:: SOT 10620 SOS 6342 HAS SOPS 6342 HAS SOUS 718 HAS SOUPS 718 WITH SCORE 724.342
AT ITER 3616 NEW BEST:: SOT 10619 SOS 6340 HAS SOPS 6340 HAS SOUS 716 HAS SOUPS 716 WITH SCORE 722.34
AT ITER 3897 NEW BEST:: SOT 10618 SOS 6338 HAS SOPS 6338 HAS SOUS 715 HAS SOUPS 715 WITH SCORE 721.338
AT ITER 3943 NEW BEST:: SOT 10618 SOS 6338 HAS SOPS 6338 HAS SOUS 713 HAS SOUPS 713 WITH SCORE 719.338
AT ITER 3962 NEW BEST:: SOT 10618 SOS 6316 HAS SOPS 6316 HAS SOUS 711 HAS SOUPS 711 WITH SCORE 717.316
AT ITER 4017 NEW BEST:: SOT 10617 SOS 6305 HAS SOPS 6305 HAS SOUS 705 HAS SOUPS 705 WITH SCORE 711.305
AT ITER 4130 NEW BEST:: SOT 10609 SOS 6297 HAS SOPS 6297 HAS SOUS 705 HAS SOUPS 705 WITH SCORE 711.297
AT ITER 4149 NEW BEST:: SOT 10610 SOS 6298 HAS SOPS 6298 HAS SOUS 703 HAS SOUPS 703 WITH SCORE 709.298
AT ITER 4195 NEW BEST:: SOT 10598 SOS 6286 HAS SOPS 6286 HAS SOUS 703 HAS SOUPS 703 WITH SCORE 709.286
AT ITER 4210 NEW BEST:: SOT 10592 SOS 6202 HAS SOPS 6202 HAS SOUS 701 HAS SOUPS 701 WITH SCORE 707.202
AT ITER 4237 NEW BEST:: SOT 10594 SOS 6351 HAS SOPS 6351 HAS SOUS 696 HAS SOUPS 696 WITH SCORE 702.351
AT ITER 4285 NEW BEST:: SOT 10592 SOS 6349 HAS SOPS 6349 HAS SOUS 696 HAS SOUPS 696 WITH SCORE 702.349
AT ITER 4330 NEW BEST:: SOT 10588 SOS 6345 HAS SOPS 6345 HAS SOUS 692 HAS SOUPS 692 WITH SCORE 698.345
AT ITER 4338 NEW BEST:: SOT 10568 SOS 6325 HAS SOPS 6325 HAS SOUS 688 HAS SOUPS 688 WITH SCORE 694.325
AT ITER 4444 NEW BEST:: SOT 10566 SOS 6321 HAS SOPS 6321 HAS SOUS 686 HAS SOUPS 686 WITH SCORE 692.321
AT ITER 4454 NEW BEST:: SOT 10560 SOS 6311 HAS SOPS 6311 HAS SOUS 683 HAS SOUPS 683 WITH SCORE 689.311
AT ITER 4529 NEW BEST:: SOT 10561 SOS 6312 HAS SOPS 6312 HAS SOUS 682 HAS SOUPS 682 WITH SCORE 688.312
AT ITER 4667 NEW BEST:: SOT 10549 SOS 6300 HAS SOPS 6300 HAS SOUS 682 HAS SOUPS 682 WITH SCORE 688.3
AT ITER 4673 NEW BEST:: SOT 10539 SOS 6281 HAS SOPS 6281 HAS SOUS 675 HAS SOUPS 675 WITH SCORE 681.281
AT ITER 4718 NEW BEST:: SOT 10529 SOS 6271 HAS SOPS 6271 HAS SOUS 665 HAS SOUPS 665 WITH SCORE 671.271
AT ITER 4767 NEW BEST:: SOT 10525 SOS 6267 HAS SOPS 6267 HAS SOUS 665 HAS SOUPS 665 WITH SCORE 671.267
AT ITER 4954 NEW BEST:: SOT 10517 SOS 6259 HAS SOPS 6259 HAS SOUS 659 HAS SOUPS 659 WITH SCORE 665.259
AT ITER 4956 NEW BEST:: SOT 10515 SOS 6257 HAS SOPS 6257 HAS SOUS 659 HAS SOUPS 659 WITH SCORE 665.257
AT ITER 4959 NEW BEST:: SOT 10515 SOS 6257 HAS SOPS 6257 HAS SOUS 657 HAS SOUPS 657 WITH SCORE 663.257
AT ITER 5220 NEW BEST:: SOT 10439 SOS 6181 HAS SOPS 6181 HAS SOUS 657 HAS SOUPS 657 WITH SCORE 663.181
AT ITER 5306 NEW BEST:: SOT 10429 SOS 6161 HAS SOPS 6161 HAS SOUS 655 HAS SOUPS 655 WITH SCORE 661.161
AT ITER 5338 NEW BEST:: SOT 10434 SOS 6162 HAS SOPS 6162 HAS SOUS 653 HAS SOUPS 653 WITH SCORE 659.162
AT ITER 5575 NEW BEST:: SOT 10434 SOS 6050 HAS SOPS 6050 HAS SOUS 653 HAS SOUPS 653 WITH SCORE 659.05
AT ITER 5713 NEW BEST:: SOT 10434 SOS 6050 HAS SOPS 6050 HAS SOUS 652 HAS SOUPS 652 WITH SCORE 658.05
AT ITER 5780 NEW BEST:: SOT 10354 SOS 5970 HAS SOPS 5970 HAS SOUS 652 HAS SOUPS 652 WITH SCORE 657.97
AT ITER 5793 NEW BEST:: SOT 10346 SOS 5962 HAS SOPS 5962 HAS SOUS 652 HAS SOUPS 652 WITH SCORE 657.962
AT ITER 5886 NEW BEST:: SOT 10342 SOS 5958 HAS SOPS 5958 HAS SOUS 650 HAS SOUPS 650 WITH SCORE 655.958
AT ITER 6025 NEW BEST:: SOT 10384 SOS 6000 HAS SOPS 6000 HAS SOUS 649 HAS SOUPS 649 WITH SCORE 655.0
AT ITER 6078 NEW BEST:: SOT 10380 SOS 5992 HAS SOPS 5992 HAS SOUS 642 HAS SOUPS 642 WITH SCORE 647.992
AT ITER 6127 NEW BEST:: SOT 10352 SOS 5964 HAS SOPS 5964 HAS SOUS 642 HAS SOUPS 642 WITH SCORE 647.964
AT ITER 6611 NEW BEST:: SOT 10352 SOS 5964 HAS SOPS 5964 HAS SOUS 639 HAS SOUPS 639 WITH SCORE 644.964
AT ITER 6629 NEW BEST:: SOT 10352 SOS 5943 HAS SOPS 5943 HAS SOUS 639 HAS SOUPS 639 WITH SCORE 644.943
AT ITER 6650 NEW BEST:: SOT 10352 SOS 5943 HAS SOPS 5943 HAS SOUS 638 HAS SOUPS 638 WITH SCORE 643.943
AT ITER 6884 NEW BEST:: SOT 10352 SOS 5943 HAS SOPS 5943 HAS SOUS 636 HAS SOUPS 636 WITH SCORE 641.943
AT ITER 6999 NEW BEST:: SOT 10352 SOS 5943 HAS SOPS 5943 HAS SOUS 632 HAS SOUPS 632 WITH SCORE 637.943
AT ITER 7077 NEW BEST:: SOT 10352 SOS 5943 HAS SOPS 5943 HAS SOUS 631 HAS SOUPS 631 WITH SCORE 636.943
AT ITER 7096 NEW BEST:: SOT 10353 SOS 5945 HAS SOPS 5945 HAS SOUS 629 HAS SOUPS 629 WITH SCORE 634.945
AT ITER 7164 NEW BEST:: SOT 10353 SOS 5945 HAS SOPS 5945 HAS SOUS 628 HAS SOUPS 628 WITH SCORE 633.945
AT ITER 7168 NEW BEST:: SOT 10345 SOS 5937 HAS SOPS 5937 HAS SOUS 628 HAS SOUPS 628 WITH SCORE 633.937
AT ITER 7276 NEW BEST:: SOT 10331 SOS 5923 HAS SOPS 5923 HAS SOUS 628 HAS SOUPS 628 WITH SCORE 633.923
AT ITER 7413 NEW BEST:: SOT 10330 SOS 5921 HAS SOPS 5921 HAS SOUS 627 HAS SOUPS 627 WITH SCORE 632.921
AT ITER 7795 NEW BEST:: SOT 10330 SOS 5921 HAS SOPS 5921 HAS SOUS 625 HAS SOUPS 625 WITH SCORE 630.921
AT ITER 8805 NEW BEST:: SOT 10328 SOS 5882 HAS SOPS 5882 HAS SOUS 625 HAS SOUPS 625 WITH SCORE 630.882
AT ITER 9458 NEW BEST:: SOT 10328 SOS 5882 HAS SOPS 5882 HAS SOUS 615 HAS SOUPS 615 WITH SCORE 620.882
STATE_SPACE STATES 308303 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 68 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1339104 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678472226196

--------------------
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="AirplaneLD-COL-0020"
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 AirplaneLD-COL-0020, 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 r003-oct2-167813590500184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-COL-0020.tgz
mv AirplaneLD-COL-0020 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 ;