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.r483-tall-167912696601096.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 UtilityControlRoom-PT-Z2T3N04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696601096
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 752K
-rw-r--r-- 1 mcc users 16K Feb 26 14:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 108K Feb 26 14:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K Feb 26 14:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 116K Feb 26 14:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 26 14:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 26 14:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 30K Feb 26 14:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 151K Feb 26 14:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.6K Feb 25 17:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 47K Mar 5 18:23 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 1679190465021

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=UtilityControlRoom-PT-Z2T3N04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z2T3N04
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: 72 places, 108 transitions, 340 arcs.
AT ITER 0 NEW BEST:: SOT 6199 SOS 4572 HAS SOPS 4572 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3034.572
AT ITER 1 NEW BEST:: SOT 6117 SOS 4216 HAS SOPS 4216 HAS SOUS 2933 HAS SOUPS 2933 WITH SCORE 2937.216
AT ITER 4 NEW BEST:: SOT 6087 SOS 4182 HAS SOPS 4182 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2903.182
AT ITER 6 NEW BEST:: SOT 6087 SOS 4164 HAS SOPS 4164 HAS SOUS 2890 HAS SOUPS 2890 WITH SCORE 2894.164
AT ITER 9 NEW BEST:: SOT 6087 SOS 4162 HAS SOPS 4162 HAS SOUS 2889 HAS SOUPS 2889 WITH SCORE 2893.162
AT ITER 11 NEW BEST:: SOT 6062 SOS 4139 HAS SOPS 4139 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2844.139
AT ITER 12 NEW BEST:: SOT 6062 SOS 4107 HAS SOPS 4107 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2842.107
AT ITER 16 NEW BEST:: SOT 6060 SOS 4103 HAS SOPS 4103 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2836.103
AT ITER 17 NEW BEST:: SOT 5656 SOS 3710 HAS SOPS 3710 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2610.71
AT ITER 18 NEW BEST:: SOT 5653 SOS 3704 HAS SOPS 3704 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2601.704
AT ITER 20 NEW BEST:: SOT 5653 SOS 3686 HAS SOPS 3686 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2583.686
AT ITER 27 NEW BEST:: SOT 5633 SOS 3667 HAS SOPS 3667 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2569.667
AT ITER 31 NEW BEST:: SOT 5622 SOS 3609 HAS SOPS 3609 HAS SOUS 2524 HAS SOUPS 2524 WITH SCORE 2527.609
AT ITER 33 NEW BEST:: SOT 5606 SOS 3436 HAS SOPS 3436 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2440.436
AT ITER 34 NEW BEST:: SOT 5602 SOS 3424 HAS SOPS 3424 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2432.424
AT ITER 35 NEW BEST:: SOT 5594 SOS 3353 HAS SOPS 3353 HAS SOUS 2388 HAS SOUPS 2388 WITH SCORE 2391.353
AT ITER 37 NEW BEST:: SOT 5552 SOS 3212 HAS SOPS 3212 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2262.212
AT ITER 44 NEW BEST:: SOT 5545 SOS 3145 HAS SOPS 3145 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2231.145
AT ITER 46 NEW BEST:: SOT 5534 SOS 3100 HAS SOPS 3100 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2213.1
AT ITER 52 NEW BEST:: SOT 5524 SOS 3045 HAS SOPS 3045 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2194.045
AT ITER 65 NEW BEST:: SOT 5481 SOS 3011 HAS SOPS 3011 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2150.011
AT ITER 67 NEW BEST:: SOT 5472 SOS 2966 HAS SOPS 2966 HAS SOUS 2138 HAS SOUPS 2138 WITH SCORE 2140.966
AT ITER 68 NEW BEST:: SOT 5463 SOS 2938 HAS SOPS 2938 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2118.938
AT ITER 72 NEW BEST:: SOT 5199 SOS 3311 HAS SOPS 3311 HAS SOUS 2017 HAS SOUPS 2017 WITH SCORE 2020.311
AT ITER 78 NEW BEST:: SOT 5199 SOS 3297 HAS SOPS 3297 HAS SOUS 2011 HAS SOUPS 2011 WITH SCORE 2014.297
AT ITER 81 NEW BEST:: SOT 5150 SOS 3258 HAS SOPS 3258 HAS SOUS 2001 HAS SOUPS 2001 WITH SCORE 2004.258
AT ITER 91 NEW BEST:: SOT 5150 SOS 3250 HAS SOPS 3250 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 2000.25
AT ITER 97 NEW BEST:: SOT 5160 SOS 3266 HAS SOPS 3266 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1995.266
AT ITER 100 NEW BEST:: SOT 5151 SOS 3266 HAS SOPS 3266 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1986.266
AT ITER 103 NEW BEST:: SOT 5078 SOS 3217 HAS SOPS 3217 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1978.217
AT ITER 104 NEW BEST:: SOT 5077 SOS 3217 HAS SOPS 3217 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1977.217
AT ITER 109 NEW BEST:: SOT 5072 SOS 3212 HAS SOPS 3212 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1972.212
AT ITER 114 NEW BEST:: SOT 5073 SOS 3190 HAS SOPS 3190 HAS SOUS 1966 HAS SOUPS 1966 WITH SCORE 1969.19
AT ITER 118 NEW BEST:: SOT 5073 SOS 3190 HAS SOPS 3190 HAS SOUS 1964 HAS SOUPS 1964 WITH SCORE 1967.19
AT ITER 120 NEW BEST:: SOT 5072 SOS 3180 HAS SOPS 3180 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1966.18
AT ITER 122 NEW BEST:: SOT 5081 SOS 2559 HAS SOPS 2559 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1896.559
AT ITER 131 NEW BEST:: SOT 5071 SOS 2549 HAS SOPS 2549 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1879.549
AT ITER 132 NEW BEST:: SOT 5075 SOS 2544 HAS SOPS 2544 HAS SOUS 1870 HAS SOUPS 1870 WITH SCORE 1872.544
AT ITER 134 NEW BEST:: SOT 5085 SOS 2542 HAS SOPS 2542 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1867.542
AT ITER 139 NEW BEST:: SOT 5102 SOS 2536 HAS SOPS 2536 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1864.536
AT ITER 143 NEW BEST:: SOT 5099 SOS 2534 HAS SOPS 2534 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1857.534
AT ITER 145 NEW BEST:: SOT 5079 SOS 2524 HAS SOPS 2524 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1857.524
AT ITER 146 NEW BEST:: SOT 5072 SOS 2522 HAS SOPS 2522 HAS SOUS 1837 HAS SOUPS 1837 WITH SCORE 1839.522
AT ITER 148 NEW BEST:: SOT 5052 SOS 2508 HAS SOPS 2508 HAS SOUS 1823 HAS SOUPS 1823 WITH SCORE 1825.508
AT ITER 156 NEW BEST:: SOT 5015 SOS 2450 HAS SOPS 2450 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.45
AT ITER 160 NEW BEST:: SOT 4998 SOS 2464 HAS SOPS 2464 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1781.464
AT ITER 164 NEW BEST:: SOT 4986 SOS 2442 HAS SOPS 2442 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1767.442
AT ITER 166 NEW BEST:: SOT 5015 SOS 2481 HAS SOPS 2481 HAS SOUS 1760 HAS SOUPS 1760 WITH SCORE 1762.481
AT ITER 167 NEW BEST:: SOT 5014 SOS 2480 HAS SOPS 2480 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1760.48
AT ITER 169 NEW BEST:: SOT 5006 SOS 2455 HAS SOPS 2455 HAS SOUS 1741 HAS SOUPS 1741 WITH SCORE 1743.455
AT ITER 172 NEW BEST:: SOT 4991 SOS 2450 HAS SOPS 2450 HAS SOUS 1734 HAS SOUPS 1734 WITH SCORE 1736.45
AT ITER 175 NEW BEST:: SOT 5014 SOS 2432 HAS SOPS 2432 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1702.432
AT ITER 177 NEW BEST:: SOT 4997 SOS 2429 HAS SOPS 2429 HAS SOUS 1697 HAS SOUPS 1697 WITH SCORE 1699.429
AT ITER 182 NEW BEST:: SOT 4998 SOS 2428 HAS SOPS 2428 HAS SOUS 1696 HAS SOUPS 1696 WITH SCORE 1698.428
AT ITER 186 NEW BEST:: SOT 4937 SOS 2354 HAS SOPS 2354 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1654.354
AT ITER 187 NEW BEST:: SOT 4937 SOS 2356 HAS SOPS 2356 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1652.356
AT ITER 189 NEW BEST:: SOT 4938 SOS 2451 HAS SOPS 2451 HAS SOUS 1634 HAS SOUPS 1634 WITH SCORE 1636.451
AT ITER 194 NEW BEST:: SOT 4937 SOS 2448 HAS SOPS 2448 HAS SOUS 1633 HAS SOUPS 1633 WITH SCORE 1635.448
AT ITER 204 NEW BEST:: SOT 4937 SOS 2444 HAS SOPS 2444 HAS SOUS 1633 HAS SOUPS 1633 WITH SCORE 1635.444
AT ITER 208 NEW BEST:: SOT 4937 SOS 2444 HAS SOPS 2444 HAS SOUS 1628 HAS SOUPS 1628 WITH SCORE 1630.444
AT ITER 212 NEW BEST:: SOT 4928 SOS 2422 HAS SOPS 2422 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1625.422
AT ITER 225 NEW BEST:: SOT 4916 SOS 2421 HAS SOPS 2421 HAS SOUS 1617 HAS SOUPS 1617 WITH SCORE 1619.421
AT ITER 229 NEW BEST:: SOT 4912 SOS 2413 HAS SOPS 2413 HAS SOUS 1609 HAS SOUPS 1609 WITH SCORE 1611.413
AT ITER 232 NEW BEST:: SOT 4928 SOS 2418 HAS SOPS 2418 HAS SOUS 1603 HAS SOUPS 1603 WITH SCORE 1605.418
AT ITER 237 NEW BEST:: SOT 4891 SOS 2384 HAS SOPS 2384 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1581.384
AT ITER 247 NEW BEST:: SOT 4905 SOS 2391 HAS SOPS 2391 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1580.391
AT ITER 253 NEW BEST:: SOT 4890 SOS 2353 HAS SOPS 2353 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1556.353
AT ITER 255 NEW BEST:: SOT 4871 SOS 2326 HAS SOPS 2326 HAS SOUS 1512 HAS SOUPS 1512 WITH SCORE 1514.326
AT ITER 271 NEW BEST:: SOT 4868 SOS 2329 HAS SOPS 2329 HAS SOUS 1511 HAS SOUPS 1511 WITH SCORE 1513.329
AT ITER 277 NEW BEST:: SOT 4859 SOS 2320 HAS SOPS 2320 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1505.32
AT ITER 281 NEW BEST:: SOT 4858 SOS 2319 HAS SOPS 2319 HAS SOUS 1502 HAS SOUPS 1502 WITH SCORE 1504.319
AT ITER 302 NEW BEST:: SOT 4853 SOS 2309 HAS SOPS 2309 HAS SOUS 1492 HAS SOUPS 1492 WITH SCORE 1494.309
AT ITER 307 NEW BEST:: SOT 4841 SOS 2297 HAS SOPS 2297 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1471.297
AT ITER 308 NEW BEST:: SOT 4841 SOS 2295 HAS SOPS 2295 HAS SOUS 1463 HAS SOUPS 1463 WITH SCORE 1465.295
AT ITER 310 NEW BEST:: SOT 4833 SOS 2299 HAS SOPS 2299 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1461.299
AT ITER 311 NEW BEST:: SOT 4813 SOS 2283 HAS SOPS 2283 HAS SOUS 1447 HAS SOUPS 1447 WITH SCORE 1449.283
AT ITER 318 NEW BEST:: SOT 4806 SOS 2250 HAS SOPS 2250 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1442.25
AT ITER 319 NEW BEST:: SOT 4801 SOS 2205 HAS SOPS 2205 HAS SOUS 1435 HAS SOUPS 1435 WITH SCORE 1437.205
AT ITER 325 NEW BEST:: SOT 4799 SOS 2203 HAS SOPS 2203 HAS SOUS 1433 HAS SOUPS 1433 WITH SCORE 1435.203
AT ITER 339 NEW BEST:: SOT 4797 SOS 2199 HAS SOPS 2199 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1433.199
AT ITER 349 NEW BEST:: SOT 4790 SOS 2192 HAS SOPS 2192 HAS SOUS 1429 HAS SOUPS 1429 WITH SCORE 1431.192
AT ITER 355 NEW BEST:: SOT 4786 SOS 2187 HAS SOPS 2187 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1428.187
AT ITER 376 NEW BEST:: SOT 4757 SOS 2152 HAS SOPS 2152 HAS SOUS 1381 HAS SOUPS 1381 WITH SCORE 1383.152
AT ITER 383 NEW BEST:: SOT 4736 SOS 2140 HAS SOPS 2140 HAS SOUS 1366 HAS SOUPS 1366 WITH SCORE 1368.14
AT ITER 387 NEW BEST:: SOT 4752 SOS 2086 HAS SOPS 2086 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1344.086
AT ITER 389 NEW BEST:: SOT 4754 SOS 2080 HAS SOPS 2080 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1333.08
AT ITER 393 NEW BEST:: SOT 4754 SOS 2078 HAS SOPS 2078 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1333.078
AT ITER 400 NEW BEST:: SOT 4754 SOS 2077 HAS SOPS 2077 HAS SOUS 1327 HAS SOUPS 1327 WITH SCORE 1329.077
AT ITER 420 NEW BEST:: SOT 4752 SOS 2075 HAS SOPS 2075 HAS SOUS 1325 HAS SOUPS 1325 WITH SCORE 1327.075
AT ITER 421 NEW BEST:: SOT 4752 SOS 2073 HAS SOPS 2073 HAS SOUS 1324 HAS SOUPS 1324 WITH SCORE 1326.073
AT ITER 435 NEW BEST:: SOT 4747 SOS 2026 HAS SOPS 2026 HAS SOUS 1310 HAS SOUPS 1310 WITH SCORE 1312.026
AT ITER 440 NEW BEST:: SOT 4745 SOS 2024 HAS SOPS 2024 HAS SOUS 1310 HAS SOUPS 1310 WITH SCORE 1312.024
AT ITER 454 NEW BEST:: SOT 4733 SOS 1947 HAS SOPS 1947 HAS SOUS 1248 HAS SOUPS 1248 WITH SCORE 1249.947
AT ITER 471 NEW BEST:: SOT 4729 SOS 1948 HAS SOPS 1948 HAS SOUS 1243 HAS SOUPS 1243 WITH SCORE 1244.948
AT ITER 472 NEW BEST:: SOT 4723 SOS 1917 HAS SOPS 1917 HAS SOUS 1209 HAS SOUPS 1209 WITH SCORE 1210.917
AT ITER 487 NEW BEST:: SOT 4713 SOS 1907 HAS SOPS 1907 HAS SOUS 1199 HAS SOUPS 1199 WITH SCORE 1200.907
AT ITER 565 NEW BEST:: SOT 4668 SOS 1988 HAS SOPS 1988 HAS SOUS 1187 HAS SOUPS 1187 WITH SCORE 1188.988
AT ITER 594 NEW BEST:: SOT 4654 SOS 1977 HAS SOPS 1977 HAS SOUS 1169 HAS SOUPS 1169 WITH SCORE 1170.977
AT ITER 595 NEW BEST:: SOT 4654 SOS 1974 HAS SOPS 1974 HAS SOUS 1169 HAS SOUPS 1169 WITH SCORE 1170.974
AT ITER 604 NEW BEST:: SOT 4663 SOS 1950 HAS SOPS 1950 HAS SOUS 1168 HAS SOUPS 1168 WITH SCORE 1169.95
AT ITER 617 NEW BEST:: SOT 4657 SOS 1935 HAS SOPS 1935 HAS SOUS 1159 HAS SOUPS 1159 WITH SCORE 1160.935
AT ITER 618 NEW BEST:: SOT 4658 SOS 1934 HAS SOPS 1934 HAS SOUS 1158 HAS SOUPS 1158 WITH SCORE 1159.934
AT ITER 620 NEW BEST:: SOT 4664 SOS 1922 HAS SOPS 1922 HAS SOUS 1158 HAS SOUPS 1158 WITH SCORE 1159.922
AT ITER 623 NEW BEST:: SOT 4662 SOS 1922 HAS SOPS 1922 HAS SOUS 1157 HAS SOUPS 1157 WITH SCORE 1158.922
AT ITER 644 NEW BEST:: SOT 4661 SOS 1905 HAS SOPS 1905 HAS SOUS 1156 HAS SOUPS 1156 WITH SCORE 1157.905
AT ITER 685 NEW BEST:: SOT 4656 SOS 1876 HAS SOPS 1876 HAS SOUS 1144 HAS SOUPS 1144 WITH SCORE 1145.876
AT ITER 692 NEW BEST:: SOT 4656 SOS 1905 HAS SOPS 1905 HAS SOUS 1142 HAS SOUPS 1142 WITH SCORE 1143.905
AT ITER 704 NEW BEST:: SOT 4652 SOS 1900 HAS SOPS 1900 HAS SOUS 1139 HAS SOUPS 1139 WITH SCORE 1140.9
AT ITER 709 NEW BEST:: SOT 4654 SOS 1872 HAS SOPS 1872 HAS SOUS 1127 HAS SOUPS 1127 WITH SCORE 1128.872
AT ITER 721 NEW BEST:: SOT 4653 SOS 1869 HAS SOPS 1869 HAS SOUS 1126 HAS SOUPS 1126 WITH SCORE 1127.869
AT ITER 728 NEW BEST:: SOT 4651 SOS 1867 HAS SOPS 1867 HAS SOUS 1123 HAS SOUPS 1123 WITH SCORE 1124.867
AT ITER 739 NEW BEST:: SOT 4647 SOS 1870 HAS SOPS 1870 HAS SOUS 1118 HAS SOUPS 1118 WITH SCORE 1119.87
AT ITER 792 NEW BEST:: SOT 4645 SOS 1870 HAS SOPS 1870 HAS SOUS 1117 HAS SOUPS 1117 WITH SCORE 1118.87
AT ITER 825 NEW BEST:: SOT 4640 SOS 1870 HAS SOPS 1870 HAS SOUS 1103 HAS SOUPS 1103 WITH SCORE 1104.87
AT ITER 826 NEW BEST:: SOT 4640 SOS 1869 HAS SOPS 1869 HAS SOUS 1102 HAS SOUPS 1102 WITH SCORE 1103.869
AT ITER 867 NEW BEST:: SOT 4636 SOS 1865 HAS SOPS 1865 HAS SOUS 1098 HAS SOUPS 1098 WITH SCORE 1099.865
AT ITER 876 NEW BEST:: SOT 4632 SOS 1855 HAS SOPS 1855 HAS SOUS 1090 HAS SOUPS 1090 WITH SCORE 1091.855
AT ITER 892 NEW BEST:: SOT 4630 SOS 1851 HAS SOPS 1851 HAS SOUS 1088 HAS SOUPS 1088 WITH SCORE 1089.851
AT ITER 917 NEW BEST:: SOT 4630 SOS 1846 HAS SOPS 1846 HAS SOUS 1088 HAS SOUPS 1088 WITH SCORE 1089.846
AT ITER 1017 NEW BEST:: SOT 4622 SOS 1839 HAS SOPS 1839 HAS SOUS 1081 HAS SOUPS 1081 WITH SCORE 1082.839
AT ITER 1027 NEW BEST:: SOT 4616 SOS 1838 HAS SOPS 1838 HAS SOUS 1077 HAS SOUPS 1077 WITH SCORE 1078.838
AT ITER 1042 NEW BEST:: SOT 4617 SOS 1823 HAS SOPS 1823 HAS SOUS 1076 HAS SOUPS 1076 WITH SCORE 1077.823
AT ITER 1078 NEW BEST:: SOT 4617 SOS 1821 HAS SOPS 1821 HAS SOUS 1076 HAS SOUPS 1076 WITH SCORE 1077.821
AT ITER 1095 NEW BEST:: SOT 4608 SOS 1811 HAS SOPS 1811 HAS SOUS 1071 HAS SOUPS 1071 WITH SCORE 1072.811
AT ITER 1134 NEW BEST:: SOT 4614 SOS 1806 HAS SOPS 1806 HAS SOUS 1066 HAS SOUPS 1066 WITH SCORE 1067.806
AT ITER 1146 NEW BEST:: SOT 4614 SOS 1805 HAS SOPS 1805 HAS SOUS 1066 HAS SOUPS 1066 WITH SCORE 1067.805
AT ITER 1154 NEW BEST:: SOT 4611 SOS 1797 HAS SOPS 1797 HAS SOUS 1061 HAS SOUPS 1061 WITH SCORE 1062.797
AT ITER 1189 NEW BEST:: SOT 4611 SOS 1796 HAS SOPS 1796 HAS SOUS 1061 HAS SOUPS 1061 WITH SCORE 1062.796
AT ITER 1233 NEW BEST:: SOT 4611 SOS 1795 HAS SOPS 1795 HAS SOUS 1055 HAS SOUPS 1055 WITH SCORE 1056.795
AT ITER 1237 NEW BEST:: SOT 4612 SOS 1772 HAS SOPS 1772 HAS SOUS 1054 HAS SOUPS 1054 WITH SCORE 1055.772
AT ITER 1277 NEW BEST:: SOT 4613 SOS 1772 HAS SOPS 1772 HAS SOUS 1050 HAS SOUPS 1050 WITH SCORE 1051.772
AT ITER 1290 NEW BEST:: SOT 4613 SOS 1771 HAS SOPS 1771 HAS SOUS 1049 HAS SOUPS 1049 WITH SCORE 1050.771
AT ITER 1304 NEW BEST:: SOT 4608 SOS 1761 HAS SOPS 1761 HAS SOUS 1048 HAS SOUPS 1048 WITH SCORE 1049.761
AT ITER 1315 NEW BEST:: SOT 4608 SOS 1723 HAS SOPS 1723 HAS SOUS 1046 HAS SOUPS 1046 WITH SCORE 1047.723
AT ITER 1320 NEW BEST:: SOT 4610 SOS 1727 HAS SOPS 1727 HAS SOUS 1045 HAS SOUPS 1045 WITH SCORE 1046.727
AT ITER 1341 NEW BEST:: SOT 4612 SOS 1729 HAS SOPS 1729 HAS SOUS 1044 HAS SOUPS 1044 WITH SCORE 1045.729
AT ITER 1356 NEW BEST:: SOT 4604 SOS 1719 HAS SOPS 1719 HAS SOUS 1042 HAS SOUPS 1042 WITH SCORE 1043.719
AT ITER 1402 NEW BEST:: SOT 4600 SOS 1754 HAS SOPS 1754 HAS SOUS 1036 HAS SOUPS 1036 WITH SCORE 1037.754
AT ITER 1424 NEW BEST:: SOT 4599 SOS 1753 HAS SOPS 1753 HAS SOUS 1035 HAS SOUPS 1035 WITH SCORE 1036.753
AT ITER 1427 NEW BEST:: SOT 4598 SOS 1752 HAS SOPS 1752 HAS SOUS 1033 HAS SOUPS 1033 WITH SCORE 1034.752
AT ITER 1437 NEW BEST:: SOT 4591 SOS 1736 HAS SOPS 1736 HAS SOUS 1031 HAS SOUPS 1031 WITH SCORE 1032.736
AT ITER 1463 NEW BEST:: SOT 4591 SOS 1734 HAS SOPS 1734 HAS SOUS 1030 HAS SOUPS 1030 WITH SCORE 1031.734
AT ITER 1471 NEW BEST:: SOT 4597 SOS 1748 HAS SOPS 1748 HAS SOUS 1025 HAS SOUPS 1025 WITH SCORE 1026.748
AT ITER 1472 NEW BEST:: SOT 4595 SOS 1744 HAS SOPS 1744 HAS SOUS 1022 HAS SOUPS 1022 WITH SCORE 1023.744
AT ITER 1479 NEW BEST:: SOT 4594 SOS 1746 HAS SOPS 1746 HAS SOUS 1020 HAS SOUPS 1020 WITH SCORE 1021.746
AT ITER 1621 NEW BEST:: SOT 4586 SOS 1750 HAS SOPS 1750 HAS SOUS 1012 HAS SOUPS 1012 WITH SCORE 1013.75
AT ITER 1628 NEW BEST:: SOT 4585 SOS 1751 HAS SOPS 1751 HAS SOUS 1011 HAS SOUPS 1011 WITH SCORE 1012.751
AT ITER 1638 NEW BEST:: SOT 4584 SOS 1731 HAS SOPS 1731 HAS SOUS 1005 HAS SOUPS 1005 WITH SCORE 1006.731
AT ITER 1649 NEW BEST:: SOT 4581 SOS 1728 HAS SOPS 1728 HAS SOUS 1002 HAS SOUPS 1002 WITH SCORE 1003.728
AT ITER 1678 NEW BEST:: SOT 4573 SOS 1716 HAS SOPS 1716 HAS SOUS 1001 HAS SOUPS 1001 WITH SCORE 1002.716
AT ITER 1686 NEW BEST:: SOT 4571 SOS 1706 HAS SOPS 1706 HAS SOUS 999 HAS SOUPS 999 WITH SCORE 1000.706
AT ITER 1692 NEW BEST:: SOT 4570 SOS 1703 HAS SOPS 1703 HAS SOUS 998 HAS SOUPS 998 WITH SCORE 999.703
AT ITER 1699 NEW BEST:: SOT 4566 SOS 1695 HAS SOPS 1695 HAS SOUS 993 HAS SOUPS 993 WITH SCORE 994.695
AT ITER 1702 NEW BEST:: SOT 4575 SOS 1667 HAS SOPS 1667 HAS SOUS 991 HAS SOUPS 991 WITH SCORE 992.667
AT ITER 1704 NEW BEST:: SOT 4571 SOS 1660 HAS SOPS 1660 HAS SOUS 990 HAS SOUPS 990 WITH SCORE 991.66
AT ITER 1728 NEW BEST:: SOT 4569 SOS 1651 HAS SOPS 1651 HAS SOUS 987 HAS SOUPS 987 WITH SCORE 988.651
AT ITER 1773 NEW BEST:: SOT 4568 SOS 1647 HAS SOPS 1647 HAS SOUS 983 HAS SOUPS 983 WITH SCORE 984.647
AT ITER 1813 NEW BEST:: SOT 4566 SOS 1643 HAS SOPS 1643 HAS SOUS 981 HAS SOUPS 981 WITH SCORE 982.643
AT ITER 1828 NEW BEST:: SOT 4565 SOS 1642 HAS SOPS 1642 HAS SOUS 981 HAS SOUPS 981 WITH SCORE 982.642
AT ITER 1847 NEW BEST:: SOT 4562 SOS 1634 HAS SOPS 1634 HAS SOUS 976 HAS SOUPS 976 WITH SCORE 977.634
AT ITER 1870 NEW BEST:: SOT 4548 SOS 1628 HAS SOPS 1628 HAS SOUS 965 HAS SOUPS 965 WITH SCORE 966.628
AT ITER 1878 NEW BEST:: SOT 4543 SOS 1678 HAS SOPS 1678 HAS SOUS 964 HAS SOUPS 964 WITH SCORE 965.678
AT ITER 1888 NEW BEST:: SOT 4541 SOS 1678 HAS SOPS 1678 HAS SOUS 962 HAS SOUPS 962 WITH SCORE 963.678
AT ITER 2016 NEW BEST:: SOT 4540 SOS 1674 HAS SOPS 1674 HAS SOUS 959 HAS SOUPS 959 WITH SCORE 960.674
AT ITER 2019 NEW BEST:: SOT 4542 SOS 1668 HAS SOPS 1668 HAS SOUS 959 HAS SOUPS 959 WITH SCORE 960.668
AT ITER 2086 NEW BEST:: SOT 4542 SOS 1664 HAS SOPS 1664 HAS SOUS 959 HAS SOUPS 959 WITH SCORE 960.664
AT ITER 2106 NEW BEST:: SOT 4535 SOS 1658 HAS SOPS 1658 HAS SOUS 955 HAS SOUPS 955 WITH SCORE 956.658
AT ITER 2119 NEW BEST:: SOT 4521 SOS 1685 HAS SOPS 1685 HAS SOUS 937 HAS SOUPS 937 WITH SCORE 938.685
AT ITER 2157 NEW BEST:: SOT 4521 SOS 1678 HAS SOPS 1678 HAS SOUS 934 HAS SOUPS 934 WITH SCORE 935.678
AT ITER 2171 NEW BEST:: SOT 4521 SOS 1677 HAS SOPS 1677 HAS SOUS 934 HAS SOUPS 934 WITH SCORE 935.677
AT ITER 2173 NEW BEST:: SOT 4519 SOS 1680 HAS SOPS 1680 HAS SOUS 933 HAS SOUPS 933 WITH SCORE 934.68
AT ITER 2207 NEW BEST:: SOT 4501 SOS 1688 HAS SOPS 1688 HAS SOUS 926 HAS SOUPS 926 WITH SCORE 927.688
AT ITER 2223 NEW BEST:: SOT 4500 SOS 1686 HAS SOPS 1686 HAS SOUS 924 HAS SOUPS 924 WITH SCORE 925.686
AT ITER 2277 NEW BEST:: SOT 4503 SOS 1681 HAS SOPS 1681 HAS SOUS 923 HAS SOUPS 923 WITH SCORE 924.681
AT ITER 2280 NEW BEST:: SOT 4502 SOS 1681 HAS SOPS 1681 HAS SOUS 922 HAS SOUPS 922 WITH SCORE 923.681
AT ITER 2322 NEW BEST:: SOT 4503 SOS 1691 HAS SOPS 1691 HAS SOUS 920 HAS SOUPS 920 WITH SCORE 921.691
AT ITER 2324 NEW BEST:: SOT 4493 SOS 1673 HAS SOPS 1673 HAS SOUS 905 HAS SOUPS 905 WITH SCORE 906.673
AT ITER 2325 NEW BEST:: SOT 4493 SOS 1673 HAS SOPS 1673 HAS SOUS 903 HAS SOUPS 903 WITH SCORE 904.673
AT ITER 2335 NEW BEST:: SOT 4492 SOS 1671 HAS SOPS 1671 HAS SOUS 903 HAS SOUPS 903 WITH SCORE 904.671
AT ITER 2404 NEW BEST:: SOT 4487 SOS 1666 HAS SOPS 1666 HAS SOUS 903 HAS SOUPS 903 WITH SCORE 904.666
AT ITER 2659 NEW BEST:: SOT 4485 SOS 1663 HAS SOPS 1663 HAS SOUS 900 HAS SOUPS 900 WITH SCORE 901.663
AT ITER 2684 NEW BEST:: SOT 4481 SOS 1657 HAS SOPS 1657 HAS SOUS 898 HAS SOUPS 898 WITH SCORE 899.657
AT ITER 2788 NEW BEST:: SOT 4478 SOS 1657 HAS SOPS 1657 HAS SOUS 895 HAS SOUPS 895 WITH SCORE 896.657
AT ITER 2836 NEW BEST:: SOT 4478 SOS 1656 HAS SOPS 1656 HAS SOUS 895 HAS SOUPS 895 WITH SCORE 896.656
AT ITER 2931 NEW BEST:: SOT 4474 SOS 1652 HAS SOPS 1652 HAS SOUS 892 HAS SOUPS 892 WITH SCORE 893.652
AT ITER 2942 NEW BEST:: SOT 4473 SOS 1649 HAS SOPS 1649 HAS SOUS 890 HAS SOUPS 890 WITH SCORE 891.649
AT ITER 2969 NEW BEST:: SOT 4477 SOS 1652 HAS SOPS 1652 HAS SOUS 888 HAS SOUPS 888 WITH SCORE 889.652
AT ITER 3050 NEW BEST:: SOT 4467 SOS 1637 HAS SOPS 1637 HAS SOUS 883 HAS SOUPS 883 WITH SCORE 884.637
AT ITER 3087 NEW BEST:: SOT 4466 SOS 1636 HAS SOPS 1636 HAS SOUS 881 HAS SOUPS 881 WITH SCORE 882.636
AT ITER 3109 NEW BEST:: SOT 4466 SOS 1635 HAS SOPS 1635 HAS SOUS 881 HAS SOUPS 881 WITH SCORE 882.635
AT ITER 3118 NEW BEST:: SOT 4462 SOS 1627 HAS SOPS 1627 HAS SOUS 881 HAS SOUPS 881 WITH SCORE 882.627
AT ITER 3562 NEW BEST:: SOT 4461 SOS 1626 HAS SOPS 1626 HAS SOUS 879 HAS SOUPS 879 WITH SCORE 880.626
AT ITER 3745 NEW BEST:: SOT 4461 SOS 1625 HAS SOPS 1625 HAS SOUS 879 HAS SOUPS 879 WITH SCORE 880.625
AT ITER 3750 NEW BEST:: SOT 4458 SOS 1624 HAS SOPS 1624 HAS SOUS 877 HAS SOUPS 877 WITH SCORE 878.624
AT ITER 3857 NEW BEST:: SOT 4453 SOS 1620 HAS SOPS 1620 HAS SOUS 875 HAS SOUPS 875 WITH SCORE 876.62
AT ITER 3891 NEW BEST:: SOT 4453 SOS 1621 HAS SOPS 1621 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 875.621
AT ITER 4009 NEW BEST:: SOT 4456 SOS 1622 HAS SOPS 1622 HAS SOUS 872 HAS SOUPS 872 WITH SCORE 873.622
AT ITER 4036 NEW BEST:: SOT 4454 SOS 1618 HAS SOPS 1618 HAS SOUS 868 HAS SOUPS 868 WITH SCORE 869.618
AT ITER 4071 NEW BEST:: SOT 4444 SOS 1630 HAS SOPS 1630 HAS SOUS 864 HAS SOUPS 864 WITH SCORE 865.63
AT ITER 4143 NEW BEST:: SOT 4441 SOS 1636 HAS SOPS 1636 HAS SOUS 857 HAS SOUPS 857 WITH SCORE 858.636
AT ITER 4213 NEW BEST:: SOT 4440 SOS 1635 HAS SOPS 1635 HAS SOUS 856 HAS SOUPS 856 WITH SCORE 857.635
AT ITER 4241 NEW BEST:: SOT 4439 SOS 1633 HAS SOPS 1633 HAS SOUS 856 HAS SOUPS 856 WITH SCORE 857.633
AT ITER 4308 NEW BEST:: SOT 4435 SOS 1631 HAS SOPS 1631 HAS SOUS 856 HAS SOUPS 856 WITH SCORE 857.631
AT ITER 4313 NEW BEST:: SOT 4430 SOS 1629 HAS SOPS 1629 HAS SOUS 855 HAS SOUPS 855 WITH SCORE 856.629
AT ITER 4437 NEW BEST:: SOT 4430 SOS 1628 HAS SOPS 1628 HAS SOUS 855 HAS SOUPS 855 WITH SCORE 856.628
AT ITER 4484 NEW BEST:: SOT 4430 SOS 1626 HAS SOPS 1626 HAS SOUS 854 HAS SOUPS 854 WITH SCORE 855.626
AT ITER 4764 NEW BEST:: SOT 4428 SOS 1624 HAS SOPS 1624 HAS SOUS 853 HAS SOUPS 853 WITH SCORE 854.624
AT ITER 4859 NEW BEST:: SOT 4422 SOS 1617 HAS SOPS 1617 HAS SOUS 848 HAS SOUPS 848 WITH SCORE 849.617
AT ITER 5015 NEW BEST:: SOT 4417 SOS 1609 HAS SOPS 1609 HAS SOUS 843 HAS SOUPS 843 WITH SCORE 844.609
AT ITER 5017 NEW BEST:: SOT 4415 SOS 1606 HAS SOPS 1606 HAS SOUS 841 HAS SOUPS 841 WITH SCORE 842.606
AT ITER 5018 NEW BEST:: SOT 4416 SOS 1605 HAS SOPS 1605 HAS SOUS 840 HAS SOUPS 840 WITH SCORE 841.605
AT ITER 5083 NEW BEST:: SOT 4412 SOS 1600 HAS SOPS 1600 HAS SOUS 838 HAS SOUPS 838 WITH SCORE 839.6
AT ITER 5176 NEW BEST:: SOT 4418 SOS 1617 HAS SOPS 1617 HAS SOUS 836 HAS SOUPS 836 WITH SCORE 837.617
AT ITER 5361 NEW BEST:: SOT 4414 SOS 1607 HAS SOPS 1607 HAS SOUS 835 HAS SOUPS 835 WITH SCORE 836.607
AT ITER 5689 NEW BEST:: SOT 4411 SOS 1603 HAS SOPS 1603 HAS SOUS 834 HAS SOUPS 834 WITH SCORE 835.603
AT ITER 6090 NEW BEST:: SOT 4410 SOS 1602 HAS SOPS 1602 HAS SOUS 834 HAS SOUPS 834 WITH SCORE 835.602
AT ITER 6098 NEW BEST:: SOT 4409 SOS 1601 HAS SOPS 1601 HAS SOUS 834 HAS SOUPS 834 WITH SCORE 835.601
AT ITER 6125 NEW BEST:: SOT 4411 SOS 1600 HAS SOPS 1600 HAS SOUS 833 HAS SOUPS 833 WITH SCORE 834.6
AT ITER 6143 NEW BEST:: SOT 4409 SOS 1585 HAS SOPS 1585 HAS SOUS 830 HAS SOUPS 830 WITH SCORE 831.585
AT ITER 6166 NEW BEST:: SOT 4411 SOS 1588 HAS SOPS 1588 HAS SOUS 829 HAS SOUPS 829 WITH SCORE 830.588
AT ITER 6347 NEW BEST:: SOT 4410 SOS 1586 HAS SOPS 1586 HAS SOUS 827 HAS SOUPS 827 WITH SCORE 828.586
AT ITER 6436 NEW BEST:: SOT 4409 SOS 1582 HAS SOPS 1582 HAS SOUS 827 HAS SOUPS 827 WITH SCORE 828.582
AT ITER 6651 NEW BEST:: SOT 4410 SOS 1580 HAS SOPS 1580 HAS SOUS 827 HAS SOUPS 827 WITH SCORE 828.58
AT ITER 6852 NEW BEST:: SOT 4409 SOS 1578 HAS SOPS 1578 HAS SOUS 826 HAS SOUPS 826 WITH SCORE 827.578
AT ITER 6984 NEW BEST:: SOT 4409 SOS 1577 HAS SOPS 1577 HAS SOUS 826 HAS SOUPS 826 WITH SCORE 827.577
AT ITER 7332 NEW BEST:: SOT 4408 SOS 1575 HAS SOPS 1575 HAS SOUS 825 HAS SOUPS 825 WITH SCORE 826.575
AT ITER 7402 NEW BEST:: SOT 4407 SOS 1571 HAS SOPS 1571 HAS SOUS 825 HAS SOUPS 825 WITH SCORE 826.571
AT ITER 7516 NEW BEST:: SOT 4407 SOS 1568 HAS SOPS 1568 HAS SOUS 824 HAS SOUPS 824 WITH SCORE 825.568
AT ITER 7534 NEW BEST:: SOT 4406 SOS 1564 HAS SOPS 1564 HAS SOUS 824 HAS SOUPS 824 WITH SCORE 825.564
AT ITER 7555 NEW BEST:: SOT 4402 SOS 1558 HAS SOPS 1558 HAS SOUS 817 HAS SOUPS 817 WITH SCORE 818.558
AT ITER 7590 NEW BEST:: SOT 4401 SOS 1557 HAS SOPS 1557 HAS SOUS 816 HAS SOUPS 816 WITH SCORE 817.557
AT ITER 7636 NEW BEST:: SOT 4401 SOS 1563 HAS SOPS 1563 HAS SOUS 815 HAS SOUPS 815 WITH SCORE 816.563
AT ITER 7825 NEW BEST:: SOT 4403 SOS 1562 HAS SOPS 1562 HAS SOUS 809 HAS SOUPS 809 WITH SCORE 810.562
AT ITER 8160 NEW BEST:: SOT 4402 SOS 1563 HAS SOPS 1563 HAS SOUS 808 HAS SOUPS 808 WITH SCORE 809.563
AT ITER 8161 NEW BEST:: SOT 4401 SOS 1562 HAS SOPS 1562 HAS SOUS 808 HAS SOUPS 808 WITH SCORE 809.562
AT ITER 8281 NEW BEST:: SOT 4400 SOS 1561 HAS SOPS 1561 HAS SOUS 806 HAS SOUPS 806 WITH SCORE 807.561
AT ITER 8597 NEW BEST:: SOT 4400 SOS 1559 HAS SOPS 1559 HAS SOUS 806 HAS SOUPS 806 WITH SCORE 807.559
AT ITER 9173 NEW BEST:: SOT 4396 SOS 1556 HAS SOPS 1556 HAS SOUS 806 HAS SOUPS 806 WITH SCORE 807.556
AT ITER 9296 NEW BEST:: SOT 4396 SOS 1555 HAS SOPS 1555 HAS SOUS 806 HAS SOUPS 806 WITH SCORE 807.555
AT ITER 9587 NEW BEST:: SOT 4396 SOS 1563 HAS SOPS 1563 HAS SOUS 805 HAS SOUPS 805 WITH SCORE 806.563
STATE_SPACE STATES 208341 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 17 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1393748 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679190469937

--------------------
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="UtilityControlRoom-PT-Z2T3N04"
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 UtilityControlRoom-PT-Z2T3N04, 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 r483-tall-167912696601096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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