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.r387-oct2-167903711300040.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 ShieldIIPs-PT-003A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711300040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 5.6K Feb 25 15:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 15:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 15:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 15:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 15:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Feb 25 15:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 15:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 101K Feb 25 15:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 26K 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 1679060187145

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=ShieldIIPs-PT-003A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 003A
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: 78 places, 75 transitions, 330 arcs.
AT ITER 0 NEW BEST:: SOT 3986 SOS 3109 HAS SOPS 3109 HAS SOUS 2665 HAS SOUPS 2665 WITH SCORE 2668.109
AT ITER 5 NEW BEST:: SOT 3986 SOS 3108 HAS SOPS 3108 HAS SOUS 2664 HAS SOUPS 2664 WITH SCORE 2667.108
AT ITER 15 NEW BEST:: SOT 3963 SOS 3087 HAS SOPS 3087 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2646.087
AT ITER 18 NEW BEST:: SOT 3898 SOS 3019 HAS SOPS 3019 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2578.019
AT ITER 19 NEW BEST:: SOT 3886 SOS 3007 HAS SOPS 3007 HAS SOUS 2563 HAS SOUPS 2563 WITH SCORE 2566.007
AT ITER 21 NEW BEST:: SOT 3885 SOS 3006 HAS SOPS 3006 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2565.006
AT ITER 31 NEW BEST:: SOT 3876 SOS 3004 HAS SOPS 3004 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2563.004
AT ITER 32 NEW BEST:: SOT 3890 SOS 3015 HAS SOPS 3015 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2559.015
AT ITER 33 NEW BEST:: SOT 3874 SOS 2998 HAS SOPS 2998 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2541.998
AT ITER 34 NEW BEST:: SOT 3858 SOS 2980 HAS SOPS 2980 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2523.98
AT ITER 46 NEW BEST:: SOT 3860 SOS 2975 HAS SOPS 2975 HAS SOUS 2516 HAS SOUPS 2516 WITH SCORE 2518.975
AT ITER 49 NEW BEST:: SOT 3877 SOS 2936 HAS SOPS 2936 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2484.936
AT ITER 54 NEW BEST:: SOT 3917 SOS 2864 HAS SOPS 2864 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2432.864
AT ITER 67 NEW BEST:: SOT 3917 SOS 2863 HAS SOPS 2863 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2431.863
AT ITER 68 NEW BEST:: SOT 3899 SOS 2845 HAS SOPS 2845 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2413.845
AT ITER 71 NEW BEST:: SOT 3903 SOS 2843 HAS SOPS 2843 HAS SOUS 2409 HAS SOUPS 2409 WITH SCORE 2411.843
AT ITER 74 NEW BEST:: SOT 3906 SOS 2844 HAS SOPS 2844 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2409.844
AT ITER 75 NEW BEST:: SOT 3906 SOS 2840 HAS SOPS 2840 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2356.84
AT ITER 77 NEW BEST:: SOT 3903 SOS 2833 HAS SOPS 2833 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.833
AT ITER 80 NEW BEST:: SOT 3903 SOS 2803 HAS SOPS 2803 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.803
AT ITER 81 NEW BEST:: SOT 3877 SOS 2779 HAS SOPS 2779 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2317.779
AT ITER 85 NEW BEST:: SOT 3877 SOS 2778 HAS SOPS 2778 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.778
AT ITER 88 NEW BEST:: SOT 3860 SOS 2700 HAS SOPS 2700 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.7
AT ITER 93 NEW BEST:: SOT 3857 SOS 2694 HAS SOPS 2694 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2312.694
AT ITER 97 NEW BEST:: SOT 3846 SOS 2681 HAS SOPS 2681 HAS SOUS 2297 HAS SOUPS 2297 WITH SCORE 2299.681
AT ITER 98 NEW BEST:: SOT 3833 SOS 2673 HAS SOPS 2673 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.673
AT ITER 101 NEW BEST:: SOT 3801 SOS 2611 HAS SOPS 2611 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2230.611
AT ITER 103 NEW BEST:: SOT 3796 SOS 2603 HAS SOPS 2603 HAS SOUS 2220 HAS SOUPS 2220 WITH SCORE 2222.603
AT ITER 106 NEW BEST:: SOT 3792 SOS 2595 HAS SOPS 2595 HAS SOUS 2214 HAS SOUPS 2214 WITH SCORE 2216.595
AT ITER 121 NEW BEST:: SOT 3783 SOS 2567 HAS SOPS 2567 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2178.567
AT ITER 124 NEW BEST:: SOT 3782 SOS 2567 HAS SOPS 2567 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2177.567
AT ITER 126 NEW BEST:: SOT 3703 SOS 2462 HAS SOPS 2462 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2072.462
AT ITER 127 NEW BEST:: SOT 3692 SOS 2447 HAS SOPS 2447 HAS SOUS 2060 HAS SOUPS 2060 WITH SCORE 2062.447
AT ITER 130 NEW BEST:: SOT 3691 SOS 2442 HAS SOPS 2442 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2061.442
AT ITER 133 NEW BEST:: SOT 3686 SOS 2406 HAS SOPS 2406 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2025.406
AT ITER 136 NEW BEST:: SOT 3693 SOS 2414 HAS SOPS 2414 HAS SOUS 2022 HAS SOUPS 2022 WITH SCORE 2024.414
AT ITER 137 NEW BEST:: SOT 3687 SOS 2401 HAS SOPS 2401 HAS SOUS 2016 HAS SOUPS 2016 WITH SCORE 2018.401
AT ITER 145 NEW BEST:: SOT 3687 SOS 2401 HAS SOPS 2401 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2008.401
AT ITER 150 NEW BEST:: SOT 3687 SOS 2372 HAS SOPS 2372 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2008.372
AT ITER 153 NEW BEST:: SOT 3683 SOS 2368 HAS SOPS 2368 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1992.368
AT ITER 157 NEW BEST:: SOT 3683 SOS 2370 HAS SOPS 2370 HAS SOUS 1989 HAS SOUPS 1989 WITH SCORE 1991.37
AT ITER 158 NEW BEST:: SOT 3694 SOS 2337 HAS SOPS 2337 HAS SOUS 1989 HAS SOUPS 1989 WITH SCORE 1991.337
AT ITER 159 NEW BEST:: SOT 3692 SOS 2336 HAS SOPS 2336 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1982.336
AT ITER 166 NEW BEST:: SOT 3692 SOS 2336 HAS SOPS 2336 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1980.336
AT ITER 171 NEW BEST:: SOT 3661 SOS 2309 HAS SOPS 2309 HAS SOUS 1951 HAS SOUPS 1951 WITH SCORE 1953.309
AT ITER 178 NEW BEST:: SOT 3644 SOS 2305 HAS SOPS 2305 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1939.305
AT ITER 183 NEW BEST:: SOT 3642 SOS 2303 HAS SOPS 2303 HAS SOUS 1934 HAS SOUPS 1934 WITH SCORE 1936.303
AT ITER 190 NEW BEST:: SOT 3630 SOS 2286 HAS SOPS 2286 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1919.286
AT ITER 192 NEW BEST:: SOT 3625 SOS 2275 HAS SOPS 2275 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1908.275
AT ITER 193 NEW BEST:: SOT 3607 SOS 2231 HAS SOPS 2231 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.231
AT ITER 196 NEW BEST:: SOT 3603 SOS 2223 HAS SOPS 2223 HAS SOUS 1839 HAS SOUPS 1839 WITH SCORE 1841.223
AT ITER 203 NEW BEST:: SOT 3567 SOS 2187 HAS SOPS 2187 HAS SOUS 1809 HAS SOUPS 1809 WITH SCORE 1811.187
AT ITER 205 NEW BEST:: SOT 3570 SOS 2188 HAS SOPS 2188 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1805.188
AT ITER 206 NEW BEST:: SOT 3568 SOS 2186 HAS SOPS 2186 HAS SOUS 1799 HAS SOUPS 1799 WITH SCORE 1801.186
AT ITER 209 NEW BEST:: SOT 3566 SOS 2172 HAS SOPS 2172 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1793.172
AT ITER 212 NEW BEST:: SOT 3571 SOS 2163 HAS SOPS 2163 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1785.163
AT ITER 218 NEW BEST:: SOT 3560 SOS 2159 HAS SOPS 2159 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1781.159
AT ITER 224 NEW BEST:: SOT 3558 SOS 2153 HAS SOPS 2153 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1777.153
AT ITER 226 NEW BEST:: SOT 3552 SOS 2147 HAS SOPS 2147 HAS SOUS 1766 HAS SOUPS 1766 WITH SCORE 1768.147
AT ITER 227 NEW BEST:: SOT 3557 SOS 2152 HAS SOPS 2152 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1766.152
AT ITER 231 NEW BEST:: SOT 3553 SOS 2142 HAS SOPS 2142 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1756.142
AT ITER 232 NEW BEST:: SOT 3524 SOS 2113 HAS SOPS 2113 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1727.113
AT ITER 243 NEW BEST:: SOT 3514 SOS 2103 HAS SOPS 2103 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1717.103
AT ITER 252 NEW BEST:: SOT 3512 SOS 2101 HAS SOPS 2101 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1715.101
AT ITER 255 NEW BEST:: SOT 3514 SOS 2087 HAS SOPS 2087 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1709.087
AT ITER 261 NEW BEST:: SOT 3499 SOS 2073 HAS SOPS 2073 HAS SOUS 1681 HAS SOUPS 1681 WITH SCORE 1683.073
AT ITER 267 NEW BEST:: SOT 3496 SOS 2066 HAS SOPS 2066 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1675.066
AT ITER 275 NEW BEST:: SOT 3496 SOS 2054 HAS SOPS 2054 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1672.054
AT ITER 276 NEW BEST:: SOT 3491 SOS 2039 HAS SOPS 2039 HAS SOUS 1644 HAS SOUPS 1644 WITH SCORE 1646.039
AT ITER 299 NEW BEST:: SOT 3491 SOS 2029 HAS SOPS 2029 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1637.029
AT ITER 303 NEW BEST:: SOT 3491 SOS 2029 HAS SOPS 2029 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1631.029
AT ITER 315 NEW BEST:: SOT 3489 SOS 2020 HAS SOPS 2020 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1628.02
AT ITER 325 NEW BEST:: SOT 3482 SOS 2013 HAS SOPS 2013 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1628.013
AT ITER 342 NEW BEST:: SOT 3483 SOS 2014 HAS SOPS 2014 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1627.014
AT ITER 350 NEW BEST:: SOT 3479 SOS 2002 HAS SOPS 2002 HAS SOUS 1613 HAS SOUPS 1613 WITH SCORE 1615.002
AT ITER 351 NEW BEST:: SOT 3477 SOS 2009 HAS SOPS 2009 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1609.009
AT ITER 363 NEW BEST:: SOT 3467 SOS 1999 HAS SOPS 1999 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1598.999
AT ITER 368 NEW BEST:: SOT 3467 SOS 1999 HAS SOPS 1999 HAS SOUS 1589 HAS SOUPS 1589 WITH SCORE 1590.999
AT ITER 373 NEW BEST:: SOT 3465 SOS 1995 HAS SOPS 1995 HAS SOUS 1589 HAS SOUPS 1589 WITH SCORE 1590.995
AT ITER 396 NEW BEST:: SOT 3467 SOS 1986 HAS SOPS 1986 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1581.986
AT ITER 398 NEW BEST:: SOT 3466 SOS 1985 HAS SOPS 1985 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1580.985
AT ITER 408 NEW BEST:: SOT 3466 SOS 1983 HAS SOPS 1983 HAS SOUS 1577 HAS SOUPS 1577 WITH SCORE 1578.983
AT ITER 415 NEW BEST:: SOT 3466 SOS 1996 HAS SOPS 1996 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1560.996
AT ITER 417 NEW BEST:: SOT 3469 SOS 1994 HAS SOPS 1994 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1555.994
AT ITER 435 NEW BEST:: SOT 3464 SOS 1987 HAS SOPS 1987 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1555.987
AT ITER 446 NEW BEST:: SOT 3464 SOS 1989 HAS SOPS 1989 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1553.989
AT ITER 451 NEW BEST:: SOT 3464 SOS 2002 HAS SOPS 2002 HAS SOUS 1519 HAS SOUPS 1519 WITH SCORE 1521.002
AT ITER 482 NEW BEST:: SOT 3461 SOS 2005 HAS SOPS 2005 HAS SOUS 1516 HAS SOUPS 1516 WITH SCORE 1518.005
AT ITER 490 NEW BEST:: SOT 3461 SOS 2041 HAS SOPS 2041 HAS SOUS 1504 HAS SOUPS 1504 WITH SCORE 1506.041
AT ITER 499 NEW BEST:: SOT 3449 SOS 2027 HAS SOPS 2027 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1492.027
AT ITER 502 NEW BEST:: SOT 3454 SOS 2021 HAS SOPS 2021 HAS SOUS 1480 HAS SOUPS 1480 WITH SCORE 1482.021
AT ITER 512 NEW BEST:: SOT 3437 SOS 1990 HAS SOPS 1990 HAS SOUS 1449 HAS SOUPS 1449 WITH SCORE 1450.99
AT ITER 515 NEW BEST:: SOT 3439 SOS 1961 HAS SOPS 1961 HAS SOUS 1420 HAS SOUPS 1420 WITH SCORE 1421.961
AT ITER 532 NEW BEST:: SOT 3445 SOS 1958 HAS SOPS 1958 HAS SOUS 1419 HAS SOUPS 1419 WITH SCORE 1420.958
AT ITER 544 NEW BEST:: SOT 3443 SOS 1950 HAS SOPS 1950 HAS SOUS 1411 HAS SOUPS 1411 WITH SCORE 1412.95
AT ITER 561 NEW BEST:: SOT 3438 SOS 1934 HAS SOPS 1934 HAS SOUS 1402 HAS SOUPS 1402 WITH SCORE 1403.934
AT ITER 569 NEW BEST:: SOT 3445 SOS 1949 HAS SOPS 1949 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1397.949
AT ITER 581 NEW BEST:: SOT 3447 SOS 1953 HAS SOPS 1953 HAS SOUS 1381 HAS SOUPS 1381 WITH SCORE 1382.953
AT ITER 599 NEW BEST:: SOT 3444 SOS 1949 HAS SOPS 1949 HAS SOUS 1377 HAS SOUPS 1377 WITH SCORE 1378.949
AT ITER 611 NEW BEST:: SOT 3434 SOS 1931 HAS SOPS 1931 HAS SOUS 1354 HAS SOUPS 1354 WITH SCORE 1355.931
AT ITER 612 NEW BEST:: SOT 3432 SOS 1929 HAS SOPS 1929 HAS SOUS 1352 HAS SOUPS 1352 WITH SCORE 1353.929
AT ITER 615 NEW BEST:: SOT 3413 SOS 1911 HAS SOPS 1911 HAS SOUS 1339 HAS SOUPS 1339 WITH SCORE 1340.911
AT ITER 617 NEW BEST:: SOT 3410 SOS 1908 HAS SOPS 1908 HAS SOUS 1336 HAS SOUPS 1336 WITH SCORE 1337.908
AT ITER 651 NEW BEST:: SOT 3406 SOS 1904 HAS SOPS 1904 HAS SOUS 1332 HAS SOUPS 1332 WITH SCORE 1333.904
AT ITER 665 NEW BEST:: SOT 3406 SOS 1876 HAS SOPS 1876 HAS SOUS 1332 HAS SOUPS 1332 WITH SCORE 1333.876
AT ITER 706 NEW BEST:: SOT 3405 SOS 1875 HAS SOPS 1875 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1332.875
AT ITER 713 NEW BEST:: SOT 3405 SOS 1890 HAS SOPS 1890 HAS SOUS 1325 HAS SOUPS 1325 WITH SCORE 1326.89
AT ITER 809 NEW BEST:: SOT 3401 SOS 1877 HAS SOPS 1877 HAS SOUS 1312 HAS SOUPS 1312 WITH SCORE 1313.877
AT ITER 822 NEW BEST:: SOT 3401 SOS 1875 HAS SOPS 1875 HAS SOUS 1310 HAS SOUPS 1310 WITH SCORE 1311.875
AT ITER 843 NEW BEST:: SOT 3402 SOS 1863 HAS SOPS 1863 HAS SOUS 1303 HAS SOUPS 1303 WITH SCORE 1304.863
AT ITER 853 NEW BEST:: SOT 3422 SOS 1869 HAS SOPS 1869 HAS SOUS 1297 HAS SOUPS 1297 WITH SCORE 1298.869
AT ITER 878 NEW BEST:: SOT 3406 SOS 1764 HAS SOPS 1764 HAS SOUS 1281 HAS SOUPS 1281 WITH SCORE 1282.764
AT ITER 887 NEW BEST:: SOT 3370 SOS 1684 HAS SOPS 1684 HAS SOUS 1279 HAS SOUPS 1279 WITH SCORE 1280.684
AT ITER 929 NEW BEST:: SOT 3398 SOS 1705 HAS SOPS 1705 HAS SOUS 1277 HAS SOUPS 1277 WITH SCORE 1278.705
AT ITER 939 NEW BEST:: SOT 3396 SOS 1702 HAS SOPS 1702 HAS SOUS 1273 HAS SOUPS 1273 WITH SCORE 1274.702
AT ITER 963 NEW BEST:: SOT 3391 SOS 1691 HAS SOPS 1691 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1256.691
AT ITER 966 NEW BEST:: SOT 3383 SOS 1685 HAS SOPS 1685 HAS SOUS 1247 HAS SOUPS 1247 WITH SCORE 1248.685
AT ITER 968 NEW BEST:: SOT 3383 SOS 1684 HAS SOPS 1684 HAS SOUS 1245 HAS SOUPS 1245 WITH SCORE 1246.684
AT ITER 975 NEW BEST:: SOT 3377 SOS 1675 HAS SOPS 1675 HAS SOUS 1236 HAS SOUPS 1236 WITH SCORE 1237.675
AT ITER 1038 NEW BEST:: SOT 3375 SOS 1675 HAS SOPS 1675 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1235.675
AT ITER 1071 NEW BEST:: SOT 3369 SOS 1675 HAS SOPS 1675 HAS SOUS 1229 HAS SOUPS 1229 WITH SCORE 1230.675
AT ITER 1136 NEW BEST:: SOT 3369 SOS 1669 HAS SOPS 1669 HAS SOUS 1229 HAS SOUPS 1229 WITH SCORE 1230.669
AT ITER 1137 NEW BEST:: SOT 3360 SOS 1663 HAS SOPS 1663 HAS SOUS 1226 HAS SOUPS 1226 WITH SCORE 1227.663
AT ITER 1141 NEW BEST:: SOT 3360 SOS 1662 HAS SOPS 1662 HAS SOUS 1222 HAS SOUPS 1222 WITH SCORE 1223.662
AT ITER 1158 NEW BEST:: SOT 3360 SOS 1653 HAS SOPS 1653 HAS SOUS 1218 HAS SOUPS 1218 WITH SCORE 1219.653
AT ITER 1159 NEW BEST:: SOT 3360 SOS 1649 HAS SOPS 1649 HAS SOUS 1214 HAS SOUPS 1214 WITH SCORE 1215.649
AT ITER 1193 NEW BEST:: SOT 3359 SOS 1643 HAS SOPS 1643 HAS SOUS 1210 HAS SOUPS 1210 WITH SCORE 1211.643
AT ITER 1249 NEW BEST:: SOT 3357 SOS 1641 HAS SOPS 1641 HAS SOUS 1208 HAS SOUPS 1208 WITH SCORE 1209.641
AT ITER 1258 NEW BEST:: SOT 3349 SOS 1633 HAS SOPS 1633 HAS SOUS 1200 HAS SOUPS 1200 WITH SCORE 1201.633
AT ITER 1263 NEW BEST:: SOT 3348 SOS 1631 HAS SOPS 1631 HAS SOUS 1197 HAS SOUPS 1197 WITH SCORE 1198.631
AT ITER 1278 NEW BEST:: SOT 3322 SOS 1601 HAS SOPS 1601 HAS SOUS 1170 HAS SOUPS 1170 WITH SCORE 1171.601
AT ITER 1371 NEW BEST:: SOT 3318 SOS 1594 HAS SOPS 1594 HAS SOUS 1163 HAS SOUPS 1163 WITH SCORE 1164.594
AT ITER 1383 NEW BEST:: SOT 3312 SOS 1588 HAS SOPS 1588 HAS SOUS 1157 HAS SOUPS 1157 WITH SCORE 1158.588
AT ITER 1387 NEW BEST:: SOT 3310 SOS 1587 HAS SOPS 1587 HAS SOUS 1156 HAS SOUPS 1156 WITH SCORE 1157.587
AT ITER 1429 NEW BEST:: SOT 3306 SOS 1583 HAS SOPS 1583 HAS SOUS 1152 HAS SOUPS 1152 WITH SCORE 1153.583
AT ITER 1437 NEW BEST:: SOT 3292 SOS 1576 HAS SOPS 1576 HAS SOUS 1138 HAS SOUPS 1138 WITH SCORE 1139.576
AT ITER 1438 NEW BEST:: SOT 3280 SOS 1566 HAS SOPS 1566 HAS SOUS 1124 HAS SOUPS 1124 WITH SCORE 1125.566
AT ITER 1454 NEW BEST:: SOT 3278 SOS 1562 HAS SOPS 1562 HAS SOUS 1122 HAS SOUPS 1122 WITH SCORE 1123.562
AT ITER 1459 NEW BEST:: SOT 3277 SOS 1561 HAS SOPS 1561 HAS SOUS 1121 HAS SOUPS 1121 WITH SCORE 1122.561
AT ITER 1486 NEW BEST:: SOT 3277 SOS 1560 HAS SOPS 1560 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1121.56
AT ITER 1542 NEW BEST:: SOT 3275 SOS 1558 HAS SOPS 1558 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1121.558
AT ITER 1560 NEW BEST:: SOT 3292 SOS 1559 HAS SOPS 1559 HAS SOUS 1115 HAS SOUPS 1115 WITH SCORE 1116.559
AT ITER 1587 NEW BEST:: SOT 3291 SOS 1558 HAS SOPS 1558 HAS SOUS 1114 HAS SOUPS 1114 WITH SCORE 1115.558
AT ITER 1589 NEW BEST:: SOT 3289 SOS 1556 HAS SOPS 1556 HAS SOUS 1112 HAS SOUPS 1112 WITH SCORE 1113.556
AT ITER 1596 NEW BEST:: SOT 3289 SOS 1562 HAS SOPS 1562 HAS SOUS 1106 HAS SOUPS 1106 WITH SCORE 1107.562
AT ITER 1632 NEW BEST:: SOT 3282 SOS 1559 HAS SOPS 1559 HAS SOUS 1103 HAS SOUPS 1103 WITH SCORE 1104.559
AT ITER 1638 NEW BEST:: SOT 3278 SOS 1553 HAS SOPS 1553 HAS SOUS 1099 HAS SOUPS 1099 WITH SCORE 1100.553
AT ITER 1651 NEW BEST:: SOT 3276 SOS 1539 HAS SOPS 1539 HAS SOUS 1085 HAS SOUPS 1085 WITH SCORE 1086.539
AT ITER 1684 NEW BEST:: SOT 3272 SOS 1535 HAS SOPS 1535 HAS SOUS 1081 HAS SOUPS 1081 WITH SCORE 1082.535
AT ITER 1710 NEW BEST:: SOT 3272 SOS 1531 HAS SOPS 1531 HAS SOUS 1068 HAS SOUPS 1068 WITH SCORE 1069.531
AT ITER 1717 NEW BEST:: SOT 3276 SOS 1533 HAS SOPS 1533 HAS SOUS 1067 HAS SOUPS 1067 WITH SCORE 1068.533
AT ITER 1747 NEW BEST:: SOT 3272 SOS 1529 HAS SOPS 1529 HAS SOUS 1063 HAS SOUPS 1063 WITH SCORE 1064.529
AT ITER 1752 NEW BEST:: SOT 3266 SOS 1521 HAS SOPS 1521 HAS SOUS 1058 HAS SOUPS 1058 WITH SCORE 1059.521
AT ITER 1791 NEW BEST:: SOT 3264 SOS 1519 HAS SOPS 1519 HAS SOUS 1056 HAS SOUPS 1056 WITH SCORE 1057.519
AT ITER 1863 NEW BEST:: SOT 3262 SOS 1517 HAS SOPS 1517 HAS SOUS 1054 HAS SOUPS 1054 WITH SCORE 1055.517
AT ITER 1866 NEW BEST:: SOT 3265 SOS 1520 HAS SOPS 1520 HAS SOUS 1053 HAS SOUPS 1053 WITH SCORE 1054.52
AT ITER 1892 NEW BEST:: SOT 3263 SOS 1515 HAS SOPS 1515 HAS SOUS 1048 HAS SOUPS 1048 WITH SCORE 1049.515
AT ITER 1904 NEW BEST:: SOT 3261 SOS 1511 HAS SOPS 1511 HAS SOUS 1043 HAS SOUPS 1043 WITH SCORE 1044.511
AT ITER 1905 NEW BEST:: SOT 3256 SOS 1506 HAS SOPS 1506 HAS SOUS 1034 HAS SOUPS 1034 WITH SCORE 1035.506
AT ITER 1926 NEW BEST:: SOT 3256 SOS 1504 HAS SOPS 1504 HAS SOUS 1034 HAS SOUPS 1034 WITH SCORE 1035.504
AT ITER 1928 NEW BEST:: SOT 3262 SOS 1506 HAS SOPS 1506 HAS SOUS 1033 HAS SOUPS 1033 WITH SCORE 1034.506
AT ITER 1945 NEW BEST:: SOT 3261 SOS 1500 HAS SOPS 1500 HAS SOUS 1032 HAS SOUPS 1032 WITH SCORE 1033.5
AT ITER 1964 NEW BEST:: SOT 3257 SOS 1500 HAS SOPS 1500 HAS SOUS 1024 HAS SOUPS 1024 WITH SCORE 1025.5
AT ITER 2039 NEW BEST:: SOT 3261 SOS 1498 HAS SOPS 1498 HAS SOUS 1022 HAS SOUPS 1022 WITH SCORE 1023.498
AT ITER 2062 NEW BEST:: SOT 3260 SOS 1497 HAS SOPS 1497 HAS SOUS 1021 HAS SOUPS 1021 WITH SCORE 1022.497
AT ITER 2087 NEW BEST:: SOT 3257 SOS 1496 HAS SOPS 1496 HAS SOUS 1020 HAS SOUPS 1020 WITH SCORE 1021.496
AT ITER 2164 NEW BEST:: SOT 3256 SOS 1496 HAS SOPS 1496 HAS SOUS 1018 HAS SOUPS 1018 WITH SCORE 1019.496
AT ITER 2191 NEW BEST:: SOT 3255 SOS 1495 HAS SOPS 1495 HAS SOUS 1018 HAS SOUPS 1018 WITH SCORE 1019.495
AT ITER 2213 NEW BEST:: SOT 3252 SOS 1490 HAS SOPS 1490 HAS SOUS 1016 HAS SOUPS 1016 WITH SCORE 1017.49
AT ITER 2218 NEW BEST:: SOT 3248 SOS 1486 HAS SOPS 1486 HAS SOUS 1012 HAS SOUPS 1012 WITH SCORE 1013.486
AT ITER 2223 NEW BEST:: SOT 3250 SOS 1471 HAS SOPS 1471 HAS SOUS 1007 HAS SOUPS 1007 WITH SCORE 1008.471
AT ITER 2236 NEW BEST:: SOT 3250 SOS 1469 HAS SOPS 1469 HAS SOUS 1007 HAS SOUPS 1007 WITH SCORE 1008.469
AT ITER 2257 NEW BEST:: SOT 3252 SOS 1471 HAS SOPS 1471 HAS SOUS 1006 HAS SOUPS 1006 WITH SCORE 1007.471
AT ITER 2265 NEW BEST:: SOT 3252 SOS 1469 HAS SOPS 1469 HAS SOUS 1006 HAS SOUPS 1006 WITH SCORE 1007.469
AT ITER 2271 NEW BEST:: SOT 3250 SOS 1463 HAS SOPS 1463 HAS SOUS 1000 HAS SOUPS 1000 WITH SCORE 1001.463
AT ITER 2339 NEW BEST:: SOT 3249 SOS 1462 HAS SOPS 1462 HAS SOUS 999 HAS SOUPS 999 WITH SCORE 1000.462
AT ITER 2381 NEW BEST:: SOT 3254 SOS 1450 HAS SOPS 1450 HAS SOUS 990 HAS SOUPS 990 WITH SCORE 991.45
AT ITER 2409 NEW BEST:: SOT 3253 SOS 1449 HAS SOPS 1449 HAS SOUS 989 HAS SOUPS 989 WITH SCORE 990.449
AT ITER 2443 NEW BEST:: SOT 3254 SOS 1447 HAS SOPS 1447 HAS SOUS 987 HAS SOUPS 987 WITH SCORE 988.447
AT ITER 2465 NEW BEST:: SOT 3250 SOS 1442 HAS SOPS 1442 HAS SOUS 982 HAS SOUPS 982 WITH SCORE 983.442
AT ITER 2481 NEW BEST:: SOT 3246 SOS 1438 HAS SOPS 1438 HAS SOUS 978 HAS SOUPS 978 WITH SCORE 979.438
AT ITER 2488 NEW BEST:: SOT 3246 SOS 1437 HAS SOPS 1437 HAS SOUS 977 HAS SOUPS 977 WITH SCORE 978.437
AT ITER 2507 NEW BEST:: SOT 3245 SOS 1436 HAS SOPS 1436 HAS SOUS 976 HAS SOUPS 976 WITH SCORE 977.436
AT ITER 2529 NEW BEST:: SOT 3236 SOS 1427 HAS SOPS 1427 HAS SOUS 966 HAS SOUPS 966 WITH SCORE 967.427
AT ITER 2591 NEW BEST:: SOT 3235 SOS 1426 HAS SOPS 1426 HAS SOUS 964 HAS SOUPS 964 WITH SCORE 965.426
AT ITER 2596 NEW BEST:: SOT 3237 SOS 1426 HAS SOPS 1426 HAS SOUS 958 HAS SOUPS 958 WITH SCORE 959.426
AT ITER 2636 NEW BEST:: SOT 3232 SOS 1424 HAS SOPS 1424 HAS SOUS 956 HAS SOUPS 956 WITH SCORE 957.424
AT ITER 2724 NEW BEST:: SOT 3232 SOS 1425 HAS SOPS 1425 HAS SOUS 955 HAS SOUPS 955 WITH SCORE 956.425
AT ITER 2728 NEW BEST:: SOT 3233 SOS 1424 HAS SOPS 1424 HAS SOUS 955 HAS SOUPS 955 WITH SCORE 956.424
AT ITER 2759 NEW BEST:: SOT 3230 SOS 1424 HAS SOPS 1424 HAS SOUS 953 HAS SOUPS 953 WITH SCORE 954.424
AT ITER 2928 NEW BEST:: SOT 3230 SOS 1423 HAS SOPS 1423 HAS SOUS 953 HAS SOUPS 953 WITH SCORE 954.423
AT ITER 2935 NEW BEST:: SOT 3229 SOS 1421 HAS SOPS 1421 HAS SOUS 949 HAS SOUPS 949 WITH SCORE 950.421
AT ITER 2990 NEW BEST:: SOT 3230 SOS 1416 HAS SOPS 1416 HAS SOUS 942 HAS SOUPS 942 WITH SCORE 943.416
AT ITER 3001 NEW BEST:: SOT 3228 SOS 1412 HAS SOPS 1412 HAS SOUS 937 HAS SOUPS 937 WITH SCORE 938.412
AT ITER 3131 NEW BEST:: SOT 3227 SOS 1401 HAS SOPS 1401 HAS SOUS 934 HAS SOUPS 934 WITH SCORE 935.401
AT ITER 3174 NEW BEST:: SOT 3227 SOS 1403 HAS SOPS 1403 HAS SOUS 932 HAS SOUPS 932 WITH SCORE 933.403
AT ITER 3350 NEW BEST:: SOT 3229 SOS 1406 HAS SOPS 1406 HAS SOUS 929 HAS SOUPS 929 WITH SCORE 930.406
AT ITER 3394 NEW BEST:: SOT 3226 SOS 1406 HAS SOPS 1406 HAS SOUS 928 HAS SOUPS 928 WITH SCORE 929.406
AT ITER 3481 NEW BEST:: SOT 3227 SOS 1395 HAS SOPS 1395 HAS SOUS 926 HAS SOUPS 926 WITH SCORE 927.395
AT ITER 3505 NEW BEST:: SOT 3226 SOS 1394 HAS SOPS 1394 HAS SOUS 925 HAS SOUPS 925 WITH SCORE 926.394
AT ITER 3527 NEW BEST:: SOT 3225 SOS 1391 HAS SOPS 1391 HAS SOUS 922 HAS SOUPS 922 WITH SCORE 923.391
AT ITER 3746 NEW BEST:: SOT 3225 SOS 1384 HAS SOPS 1384 HAS SOUS 915 HAS SOUPS 915 WITH SCORE 916.384
AT ITER 3839 NEW BEST:: SOT 3224 SOS 1379 HAS SOPS 1379 HAS SOUS 913 HAS SOUPS 913 WITH SCORE 914.379
AT ITER 3919 NEW BEST:: SOT 3224 SOS 1377 HAS SOPS 1377 HAS SOUS 911 HAS SOUPS 911 WITH SCORE 912.377
AT ITER 4019 NEW BEST:: SOT 3221 SOS 1374 HAS SOPS 1374 HAS SOUS 908 HAS SOUPS 908 WITH SCORE 909.374
AT ITER 4212 NEW BEST:: SOT 3221 SOS 1375 HAS SOPS 1375 HAS SOUS 907 HAS SOUPS 907 WITH SCORE 908.375
AT ITER 4519 NEW BEST:: SOT 3220 SOS 1372 HAS SOPS 1372 HAS SOUS 906 HAS SOUPS 906 WITH SCORE 907.372
AT ITER 4599 NEW BEST:: SOT 3220 SOS 1370 HAS SOPS 1370 HAS SOUS 905 HAS SOUPS 905 WITH SCORE 906.37
AT ITER 4653 NEW BEST:: SOT 3216 SOS 1367 HAS SOPS 1367 HAS SOUS 902 HAS SOUPS 902 WITH SCORE 903.367
AT ITER 4759 NEW BEST:: SOT 3214 SOS 1369 HAS SOPS 1369 HAS SOUS 895 HAS SOUPS 895 WITH SCORE 896.369
AT ITER 4957 NEW BEST:: SOT 3212 SOS 1362 HAS SOPS 1362 HAS SOUS 892 HAS SOUPS 892 WITH SCORE 893.362
AT ITER 4960 NEW BEST:: SOT 3211 SOS 1361 HAS SOPS 1361 HAS SOUS 891 HAS SOUPS 891 WITH SCORE 892.361
AT ITER 5182 NEW BEST:: SOT 3211 SOS 1361 HAS SOPS 1361 HAS SOUS 890 HAS SOUPS 890 WITH SCORE 891.361
AT ITER 5199 NEW BEST:: SOT 3209 SOS 1360 HAS SOPS 1360 HAS SOUS 889 HAS SOUPS 889 WITH SCORE 890.36
AT ITER 5437 NEW BEST:: SOT 3204 SOS 1355 HAS SOPS 1355 HAS SOUS 884 HAS SOUPS 884 WITH SCORE 885.355
AT ITER 5477 NEW BEST:: SOT 3203 SOS 1354 HAS SOPS 1354 HAS SOUS 883 HAS SOUPS 883 WITH SCORE 884.354
AT ITER 5768 NEW BEST:: SOT 3200 SOS 1350 HAS SOPS 1350 HAS SOUS 879 HAS SOUPS 879 WITH SCORE 880.35
AT ITER 5800 NEW BEST:: SOT 3200 SOS 1349 HAS SOPS 1349 HAS SOUS 878 HAS SOUPS 878 WITH SCORE 879.349
AT ITER 5968 NEW BEST:: SOT 3197 SOS 1348 HAS SOPS 1348 HAS SOUS 877 HAS SOUPS 877 WITH SCORE 878.348
AT ITER 6579 NEW BEST:: SOT 3197 SOS 1346 HAS SOPS 1346 HAS SOUS 876 HAS SOUPS 876 WITH SCORE 877.346
AT ITER 6888 NEW BEST:: SOT 3196 SOS 1345 HAS SOPS 1345 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 875.345
AT ITER 7227 NEW BEST:: SOT 3196 SOS 1346 HAS SOPS 1346 HAS SOUS 873 HAS SOUPS 873 WITH SCORE 874.346
AT ITER 7270 NEW BEST:: SOT 3199 SOS 1345 HAS SOPS 1345 HAS SOUS 870 HAS SOUPS 870 WITH SCORE 871.345
AT ITER 7345 NEW BEST:: SOT 3202 SOS 1346 HAS SOPS 1346 HAS SOUS 869 HAS SOUPS 869 WITH SCORE 870.346
AT ITER 7850 NEW BEST:: SOT 3201 SOS 1344 HAS SOPS 1344 HAS SOUS 866 HAS SOUPS 866 WITH SCORE 867.344
AT ITER 7887 NEW BEST:: SOT 3200 SOS 1342 HAS SOPS 1342 HAS SOUS 864 HAS SOUPS 864 WITH SCORE 865.342
AT ITER 8086 NEW BEST:: SOT 3198 SOS 1338 HAS SOPS 1338 HAS SOUS 859 HAS SOUPS 859 WITH SCORE 860.338
AT ITER 8678 NEW BEST:: SOT 3198 SOS 1334 HAS SOPS 1334 HAS SOUS 859 HAS SOUPS 859 WITH SCORE 860.334
AT ITER 9020 NEW BEST:: SOT 3198 SOS 1329 HAS SOPS 1329 HAS SOUS 859 HAS SOUPS 859 WITH SCORE 860.329
AT ITER 9117 NEW BEST:: SOT 3197 SOS 1328 HAS SOPS 1328 HAS SOUS 858 HAS SOUPS 858 WITH SCORE 859.328
STATE_SPACE STATES 211657447993 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 28 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2148981734412 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679060284419

--------------------
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="ShieldIIPs-PT-003A"
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 ShieldIIPs-PT-003A, 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 r387-oct2-167903711300040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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