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.r195-smll-167840341800016.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 GPUForwardProgress-PT-04b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840341800016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 7.1K Feb 25 14:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 14:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 14:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 14:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 148K Feb 25 14:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 97K Feb 25 14:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 27K 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 1678436594500

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=GPUForwardProgress-PT-04b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 04b
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: 112 places, 117 transitions, 277 arcs.
AT ITER 0 NEW BEST:: SOT 7392 SOS 2488 HAS SOPS 2488 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2308.488
AT ITER 1 NEW BEST:: SOT 7385 SOS 2485 HAS SOPS 2485 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2305.485
AT ITER 23 NEW BEST:: SOT 7354 SOS 2481 HAS SOPS 2481 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2301.481
AT ITER 31 NEW BEST:: SOT 7364 SOS 2452 HAS SOPS 2452 HAS SOUS 2297 HAS SOUPS 2297 WITH SCORE 2299.452
AT ITER 44 NEW BEST:: SOT 7364 SOS 2445 HAS SOPS 2445 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2292.445
AT ITER 48 NEW BEST:: SOT 7348 SOS 2429 HAS SOPS 2429 HAS SOUS 2274 HAS SOUPS 2274 WITH SCORE 2276.429
AT ITER 50 NEW BEST:: SOT 7338 SOS 2409 HAS SOPS 2409 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.409
AT ITER 51 NEW BEST:: SOT 7330 SOS 2373 HAS SOPS 2373 HAS SOUS 2256 HAS SOUPS 2256 WITH SCORE 2258.373
AT ITER 79 NEW BEST:: SOT 7330 SOS 2364 HAS SOPS 2364 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2249.364
AT ITER 87 NEW BEST:: SOT 7329 SOS 2361 HAS SOPS 2361 HAS SOUS 2244 HAS SOUPS 2244 WITH SCORE 2246.361
AT ITER 88 NEW BEST:: SOT 7325 SOS 2357 HAS SOPS 2357 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.357
AT ITER 91 NEW BEST:: SOT 7290 SOS 2287 HAS SOPS 2287 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2161.287
AT ITER 94 NEW BEST:: SOT 7290 SOS 2286 HAS SOPS 2286 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2160.286
AT ITER 134 NEW BEST:: SOT 7275 SOS 2300 HAS SOPS 2300 HAS SOUS 2145 HAS SOUPS 2145 WITH SCORE 2147.3
AT ITER 167 NEW BEST:: SOT 7275 SOS 2298 HAS SOPS 2298 HAS SOUS 2143 HAS SOUPS 2143 WITH SCORE 2145.298
AT ITER 179 NEW BEST:: SOT 7272 SOS 2292 HAS SOPS 2292 HAS SOUS 2137 HAS SOUPS 2137 WITH SCORE 2139.292
AT ITER 183 NEW BEST:: SOT 7266 SOS 2283 HAS SOPS 2283 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2133.283
AT ITER 187 NEW BEST:: SOT 7268 SOS 2280 HAS SOPS 2280 HAS SOUS 2128 HAS SOUPS 2128 WITH SCORE 2130.28
AT ITER 198 NEW BEST:: SOT 7273 SOS 2262 HAS SOPS 2262 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2125.262
AT ITER 207 NEW BEST:: SOT 7266 SOS 2253 HAS SOPS 2253 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2118.253
AT ITER 254 NEW BEST:: SOT 7264 SOS 2249 HAS SOPS 2249 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2114.249
AT ITER 265 NEW BEST:: SOT 7260 SOS 2237 HAS SOPS 2237 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2106.237
AT ITER 307 NEW BEST:: SOT 7247 SOS 2218 HAS SOPS 2218 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2094.218
AT ITER 321 NEW BEST:: SOT 7242 SOS 2208 HAS SOPS 2208 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2087.208
AT ITER 327 NEW BEST:: SOT 7242 SOS 2204 HAS SOPS 2204 HAS SOUS 2083 HAS SOUPS 2083 WITH SCORE 2085.204
AT ITER 331 NEW BEST:: SOT 7240 SOS 2200 HAS SOPS 2200 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2083.2
AT ITER 341 NEW BEST:: SOT 7239 SOS 2198 HAS SOPS 2198 HAS SOUS 2079 HAS SOUPS 2079 WITH SCORE 2081.198
AT ITER 357 NEW BEST:: SOT 7235 SOS 2197 HAS SOPS 2197 HAS SOUS 2075 HAS SOUPS 2075 WITH SCORE 2077.197
AT ITER 367 NEW BEST:: SOT 7220 SOS 2167 HAS SOPS 2167 HAS SOUS 2035 HAS SOUPS 2035 WITH SCORE 2037.167
AT ITER 382 NEW BEST:: SOT 7220 SOS 2167 HAS SOPS 2167 HAS SOUS 2034 HAS SOUPS 2034 WITH SCORE 2036.167
AT ITER 392 NEW BEST:: SOT 7218 SOS 2169 HAS SOPS 2169 HAS SOUS 2032 HAS SOUPS 2032 WITH SCORE 2034.169
AT ITER 435 NEW BEST:: SOT 7217 SOS 2167 HAS SOPS 2167 HAS SOUS 2030 HAS SOUPS 2030 WITH SCORE 2032.167
AT ITER 439 NEW BEST:: SOT 7181 SOS 2140 HAS SOPS 2140 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2005.14
AT ITER 454 NEW BEST:: SOT 7167 SOS 2158 HAS SOPS 2158 HAS SOUS 1989 HAS SOUPS 1989 WITH SCORE 1991.158
AT ITER 457 NEW BEST:: SOT 7167 SOS 2158 HAS SOPS 2158 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1988.158
AT ITER 468 NEW BEST:: SOT 7167 SOS 2158 HAS SOPS 2158 HAS SOUS 1985 HAS SOUPS 1985 WITH SCORE 1987.158
AT ITER 473 NEW BEST:: SOT 7176 SOS 2156 HAS SOPS 2156 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1984.156
AT ITER 477 NEW BEST:: SOT 7176 SOS 2153 HAS SOPS 2153 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1981.153
AT ITER 517 NEW BEST:: SOT 7176 SOS 2149 HAS SOPS 2149 HAS SOUS 1977 HAS SOUPS 1977 WITH SCORE 1979.149
AT ITER 528 NEW BEST:: SOT 7176 SOS 2184 HAS SOPS 2184 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.184
AT ITER 548 NEW BEST:: SOT 7158 SOS 2168 HAS SOPS 2168 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.168
AT ITER 555 NEW BEST:: SOT 7158 SOS 2157 HAS SOPS 2157 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.157
AT ITER 589 NEW BEST:: SOT 7154 SOS 2138 HAS SOPS 2138 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.138
AT ITER 604 NEW BEST:: SOT 7093 SOS 2110 HAS SOPS 2110 HAS SOUS 1897 HAS SOUPS 1897 WITH SCORE 1899.11
AT ITER 622 NEW BEST:: SOT 7090 SOS 2102 HAS SOPS 2102 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1891.102
AT ITER 625 NEW BEST:: SOT 7085 SOS 2092 HAS SOPS 2092 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1881.092
AT ITER 626 NEW BEST:: SOT 7082 SOS 2086 HAS SOPS 2086 HAS SOUS 1873 HAS SOUPS 1873 WITH SCORE 1875.086
AT ITER 648 NEW BEST:: SOT 7081 SOS 2084 HAS SOPS 2084 HAS SOUS 1871 HAS SOUPS 1871 WITH SCORE 1873.084
AT ITER 662 NEW BEST:: SOT 7081 SOS 2066 HAS SOPS 2066 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1864.066
AT ITER 675 NEW BEST:: SOT 7082 SOS 2045 HAS SOPS 2045 HAS SOUS 1861 HAS SOUPS 1861 WITH SCORE 1863.045
AT ITER 680 NEW BEST:: SOT 7082 SOS 2044 HAS SOPS 2044 HAS SOUS 1860 HAS SOUPS 1860 WITH SCORE 1862.044
AT ITER 690 NEW BEST:: SOT 7082 SOS 2036 HAS SOPS 2036 HAS SOUS 1858 HAS SOUPS 1858 WITH SCORE 1860.036
AT ITER 709 NEW BEST:: SOT 7068 SOS 2022 HAS SOPS 2022 HAS SOUS 1844 HAS SOUPS 1844 WITH SCORE 1846.022
AT ITER 725 NEW BEST:: SOT 7057 SOS 2000 HAS SOPS 2000 HAS SOUS 1822 HAS SOUPS 1822 WITH SCORE 1824.0
AT ITER 730 NEW BEST:: SOT 7054 SOS 1994 HAS SOPS 1994 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1817.994
AT ITER 732 NEW BEST:: SOT 7053 SOS 2001 HAS SOPS 2001 HAS SOUS 1815 HAS SOUPS 1815 WITH SCORE 1817.001
AT ITER 744 NEW BEST:: SOT 7046 SOS 1995 HAS SOPS 1995 HAS SOUS 1809 HAS SOUPS 1809 WITH SCORE 1810.995
AT ITER 757 NEW BEST:: SOT 7042 SOS 1982 HAS SOPS 1982 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1803.982
AT ITER 765 NEW BEST:: SOT 7029 SOS 1934 HAS SOPS 1934 HAS SOUS 1776 HAS SOUPS 1776 WITH SCORE 1777.934
AT ITER 780 NEW BEST:: SOT 7028 SOS 1932 HAS SOPS 1932 HAS SOUS 1771 HAS SOUPS 1771 WITH SCORE 1772.932
AT ITER 783 NEW BEST:: SOT 7012 SOS 1900 HAS SOPS 1900 HAS SOUS 1739 HAS SOUPS 1739 WITH SCORE 1740.9
AT ITER 787 NEW BEST:: SOT 7011 SOS 1898 HAS SOPS 1898 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1738.898
AT ITER 788 NEW BEST:: SOT 7003 SOS 1887 HAS SOPS 1887 HAS SOUS 1729 HAS SOUPS 1729 WITH SCORE 1730.887
AT ITER 818 NEW BEST:: SOT 7000 SOS 1875 HAS SOPS 1875 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1726.875
AT ITER 870 NEW BEST:: SOT 7000 SOS 1872 HAS SOPS 1872 HAS SOUS 1722 HAS SOUPS 1722 WITH SCORE 1723.872
AT ITER 873 NEW BEST:: SOT 7000 SOS 1860 HAS SOPS 1860 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1717.86
AT ITER 874 NEW BEST:: SOT 7000 SOS 1857 HAS SOPS 1857 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1714.857
AT ITER 923 NEW BEST:: SOT 7000 SOS 1849 HAS SOPS 1849 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1714.849
AT ITER 928 NEW BEST:: SOT 7000 SOS 1848 HAS SOPS 1848 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1702.848
AT ITER 930 NEW BEST:: SOT 7000 SOS 1844 HAS SOPS 1844 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1702.844
AT ITER 932 NEW BEST:: SOT 7000 SOS 1837 HAS SOPS 1837 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1702.837
AT ITER 970 NEW BEST:: SOT 6998 SOS 1848 HAS SOPS 1848 HAS SOUS 1698 HAS SOUPS 1698 WITH SCORE 1699.848
AT ITER 972 NEW BEST:: SOT 6999 SOS 1844 HAS SOPS 1844 HAS SOUS 1696 HAS SOUPS 1696 WITH SCORE 1697.844
AT ITER 1029 NEW BEST:: SOT 6999 SOS 1842 HAS SOPS 1842 HAS SOUS 1694 HAS SOUPS 1694 WITH SCORE 1695.842
AT ITER 1042 NEW BEST:: SOT 6998 SOS 1840 HAS SOPS 1840 HAS SOUS 1686 HAS SOUPS 1686 WITH SCORE 1687.84
AT ITER 1060 NEW BEST:: SOT 6995 SOS 1837 HAS SOPS 1837 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1684.837
AT ITER 1115 NEW BEST:: SOT 6995 SOS 1833 HAS SOPS 1833 HAS SOUS 1679 HAS SOUPS 1679 WITH SCORE 1680.833
AT ITER 1125 NEW BEST:: SOT 6992 SOS 1827 HAS SOPS 1827 HAS SOUS 1678 HAS SOUPS 1678 WITH SCORE 1679.827
AT ITER 1163 NEW BEST:: SOT 6991 SOS 1826 HAS SOPS 1826 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1678.826
AT ITER 1220 NEW BEST:: SOT 6990 SOS 1824 HAS SOPS 1824 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1676.824
AT ITER 1228 NEW BEST:: SOT 6990 SOS 1835 HAS SOPS 1835 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1674.835
AT ITER 1254 NEW BEST:: SOT 6984 SOS 1832 HAS SOPS 1832 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1671.832
AT ITER 1256 NEW BEST:: SOT 6984 SOS 1832 HAS SOPS 1832 HAS SOUS 1666 HAS SOUPS 1666 WITH SCORE 1667.832
AT ITER 1262 NEW BEST:: SOT 6983 SOS 1830 HAS SOPS 1830 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1666.83
AT ITER 1288 NEW BEST:: SOT 6983 SOS 1818 HAS SOPS 1818 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1666.818
AT ITER 1376 NEW BEST:: SOT 6988 SOS 1839 HAS SOPS 1839 HAS SOUS 1664 HAS SOUPS 1664 WITH SCORE 1665.839
AT ITER 1405 NEW BEST:: SOT 6986 SOS 1829 HAS SOPS 1829 HAS SOUS 1660 HAS SOUPS 1660 WITH SCORE 1661.829
AT ITER 1447 NEW BEST:: SOT 6982 SOS 1821 HAS SOPS 1821 HAS SOUS 1649 HAS SOUPS 1649 WITH SCORE 1650.821
AT ITER 1460 NEW BEST:: SOT 6979 SOS 1815 HAS SOPS 1815 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1636.815
AT ITER 1497 NEW BEST:: SOT 6996 SOS 1849 HAS SOPS 1849 HAS SOUS 1615 HAS SOUPS 1615 WITH SCORE 1616.849
AT ITER 1507 NEW BEST:: SOT 6998 SOS 1853 HAS SOPS 1853 HAS SOUS 1614 HAS SOUPS 1614 WITH SCORE 1615.853
AT ITER 1511 NEW BEST:: SOT 6998 SOS 1844 HAS SOPS 1844 HAS SOUS 1609 HAS SOUPS 1609 WITH SCORE 1610.844
AT ITER 1533 NEW BEST:: SOT 6998 SOS 1833 HAS SOPS 1833 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1598.833
AT ITER 1608 NEW BEST:: SOT 6994 SOS 1825 HAS SOPS 1825 HAS SOUS 1591 HAS SOUPS 1591 WITH SCORE 1592.825
AT ITER 1614 NEW BEST:: SOT 6988 SOS 1813 HAS SOPS 1813 HAS SOUS 1584 HAS SOUPS 1584 WITH SCORE 1585.813
AT ITER 1627 NEW BEST:: SOT 6987 SOS 1811 HAS SOPS 1811 HAS SOUS 1582 HAS SOUPS 1582 WITH SCORE 1583.811
AT ITER 1629 NEW BEST:: SOT 6987 SOS 1811 HAS SOPS 1811 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1580.811
AT ITER 1655 NEW BEST:: SOT 6986 SOS 1808 HAS SOPS 1808 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1579.808
AT ITER 1669 NEW BEST:: SOT 6967 SOS 1791 HAS SOPS 1791 HAS SOUS 1561 HAS SOUPS 1561 WITH SCORE 1562.791
AT ITER 1671 NEW BEST:: SOT 6967 SOS 1785 HAS SOPS 1785 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1560.785
AT ITER 1689 NEW BEST:: SOT 6961 SOS 1779 HAS SOPS 1779 HAS SOUS 1553 HAS SOUPS 1553 WITH SCORE 1554.779
AT ITER 1724 NEW BEST:: SOT 6961 SOS 1778 HAS SOPS 1778 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1553.778
AT ITER 1733 NEW BEST:: SOT 6972 SOS 1768 HAS SOPS 1768 HAS SOUS 1542 HAS SOUPS 1542 WITH SCORE 1543.768
AT ITER 1744 NEW BEST:: SOT 6972 SOS 1766 HAS SOPS 1766 HAS SOUS 1541 HAS SOUPS 1541 WITH SCORE 1542.766
AT ITER 1774 NEW BEST:: SOT 6972 SOS 1765 HAS SOPS 1765 HAS SOUS 1541 HAS SOUPS 1541 WITH SCORE 1542.765
AT ITER 1777 NEW BEST:: SOT 6970 SOS 1762 HAS SOPS 1762 HAS SOUS 1538 HAS SOUPS 1538 WITH SCORE 1539.762
AT ITER 1792 NEW BEST:: SOT 6970 SOS 1761 HAS SOPS 1761 HAS SOUS 1537 HAS SOUPS 1537 WITH SCORE 1538.761
AT ITER 1848 NEW BEST:: SOT 6978 SOS 1735 HAS SOPS 1735 HAS SOUS 1535 HAS SOUPS 1535 WITH SCORE 1536.735
AT ITER 1917 NEW BEST:: SOT 6977 SOS 1733 HAS SOPS 1733 HAS SOUS 1533 HAS SOUPS 1533 WITH SCORE 1534.733
AT ITER 1932 NEW BEST:: SOT 6973 SOS 1729 HAS SOPS 1729 HAS SOUS 1527 HAS SOUPS 1527 WITH SCORE 1528.729
AT ITER 1934 NEW BEST:: SOT 6969 SOS 1729 HAS SOPS 1729 HAS SOUS 1523 HAS SOUPS 1523 WITH SCORE 1524.729
AT ITER 2022 NEW BEST:: SOT 6966 SOS 1725 HAS SOPS 1725 HAS SOUS 1519 HAS SOUPS 1519 WITH SCORE 1520.725
AT ITER 2026 NEW BEST:: SOT 6965 SOS 1723 HAS SOPS 1723 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1514.723
AT ITER 2089 NEW BEST:: SOT 6965 SOS 1723 HAS SOPS 1723 HAS SOUS 1512 HAS SOUPS 1512 WITH SCORE 1513.723
AT ITER 2103 NEW BEST:: SOT 6964 SOS 1721 HAS SOPS 1721 HAS SOUS 1512 HAS SOUPS 1512 WITH SCORE 1513.721
AT ITER 2163 NEW BEST:: SOT 6962 SOS 1717 HAS SOPS 1717 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1504.717
AT ITER 2169 NEW BEST:: SOT 6960 SOS 1711 HAS SOPS 1711 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1502.711
AT ITER 2191 NEW BEST:: SOT 6960 SOS 1707 HAS SOPS 1707 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1500.707
AT ITER 2267 NEW BEST:: SOT 6961 SOS 1702 HAS SOPS 1702 HAS SOUS 1497 HAS SOUPS 1497 WITH SCORE 1498.702
AT ITER 2275 NEW BEST:: SOT 6961 SOS 1640 HAS SOPS 1640 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1489.64
AT ITER 2303 NEW BEST:: SOT 6960 SOS 1638 HAS SOPS 1638 HAS SOUS 1486 HAS SOUPS 1486 WITH SCORE 1487.638
AT ITER 2336 NEW BEST:: SOT 6960 SOS 1617 HAS SOPS 1617 HAS SOUS 1486 HAS SOUPS 1486 WITH SCORE 1487.617
AT ITER 2354 NEW BEST:: SOT 6963 SOS 1623 HAS SOPS 1623 HAS SOUS 1483 HAS SOUPS 1483 WITH SCORE 1484.623
AT ITER 2422 NEW BEST:: SOT 6961 SOS 1617 HAS SOPS 1617 HAS SOUS 1480 HAS SOUPS 1480 WITH SCORE 1481.617
AT ITER 2441 NEW BEST:: SOT 6960 SOS 1611 HAS SOPS 1611 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1479.611
AT ITER 2510 NEW BEST:: SOT 6960 SOS 1611 HAS SOPS 1611 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1477.611
AT ITER 2523 NEW BEST:: SOT 6960 SOS 1611 HAS SOPS 1611 HAS SOUS 1475 HAS SOUPS 1475 WITH SCORE 1476.611
AT ITER 2542 NEW BEST:: SOT 6957 SOS 1605 HAS SOPS 1605 HAS SOUS 1472 HAS SOUPS 1472 WITH SCORE 1473.605
AT ITER 2591 NEW BEST:: SOT 6957 SOS 1605 HAS SOPS 1605 HAS SOUS 1470 HAS SOUPS 1470 WITH SCORE 1471.605
AT ITER 2629 NEW BEST:: SOT 6967 SOS 1602 HAS SOPS 1602 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1470.602
AT ITER 2674 NEW BEST:: SOT 6958 SOS 1593 HAS SOPS 1593 HAS SOUS 1460 HAS SOUPS 1460 WITH SCORE 1461.593
AT ITER 2760 NEW BEST:: SOT 6957 SOS 1591 HAS SOPS 1591 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1459.591
AT ITER 2771 NEW BEST:: SOT 6953 SOS 1583 HAS SOPS 1583 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1455.583
AT ITER 2827 NEW BEST:: SOT 6951 SOS 1579 HAS SOPS 1579 HAS SOUS 1453 HAS SOUPS 1453 WITH SCORE 1454.579
AT ITER 2841 NEW BEST:: SOT 6950 SOS 1632 HAS SOPS 1632 HAS SOUS 1450 HAS SOUPS 1450 WITH SCORE 1451.632
AT ITER 2861 NEW BEST:: SOT 6950 SOS 1635 HAS SOPS 1635 HAS SOUS 1449 HAS SOUPS 1449 WITH SCORE 1450.635
AT ITER 2898 NEW BEST:: SOT 6948 SOS 1633 HAS SOPS 1633 HAS SOUS 1447 HAS SOUPS 1447 WITH SCORE 1448.633
AT ITER 2905 NEW BEST:: SOT 6950 SOS 1627 HAS SOPS 1627 HAS SOUS 1447 HAS SOUPS 1447 WITH SCORE 1448.627
AT ITER 2985 NEW BEST:: SOT 6946 SOS 1619 HAS SOPS 1619 HAS SOUS 1442 HAS SOUPS 1442 WITH SCORE 1443.619
AT ITER 3084 NEW BEST:: SOT 6946 SOS 1617 HAS SOPS 1617 HAS SOUS 1442 HAS SOUPS 1442 WITH SCORE 1443.617
AT ITER 3147 NEW BEST:: SOT 6941 SOS 1607 HAS SOPS 1607 HAS SOUS 1430 HAS SOUPS 1430 WITH SCORE 1431.607
AT ITER 3321 NEW BEST:: SOT 6941 SOS 1606 HAS SOPS 1606 HAS SOUS 1429 HAS SOUPS 1429 WITH SCORE 1430.606
AT ITER 3344 NEW BEST:: SOT 6941 SOS 1606 HAS SOPS 1606 HAS SOUS 1428 HAS SOUPS 1428 WITH SCORE 1429.606
AT ITER 3372 NEW BEST:: SOT 6939 SOS 1604 HAS SOPS 1604 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1427.604
AT ITER 3374 NEW BEST:: SOT 6943 SOS 1596 HAS SOPS 1596 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1427.596
AT ITER 3376 NEW BEST:: SOT 6941 SOS 1592 HAS SOPS 1592 HAS SOUS 1423 HAS SOUPS 1423 WITH SCORE 1424.592
AT ITER 3459 NEW BEST:: SOT 6941 SOS 1592 HAS SOPS 1592 HAS SOUS 1421 HAS SOUPS 1421 WITH SCORE 1422.592
AT ITER 3477 NEW BEST:: SOT 6937 SOS 1584 HAS SOPS 1584 HAS SOUS 1420 HAS SOUPS 1420 WITH SCORE 1421.584
AT ITER 3492 NEW BEST:: SOT 6934 SOS 1600 HAS SOPS 1600 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1418.6
AT ITER 3565 NEW BEST:: SOT 6931 SOS 1594 HAS SOPS 1594 HAS SOUS 1411 HAS SOUPS 1411 WITH SCORE 1412.594
AT ITER 3570 NEW BEST:: SOT 6927 SOS 1586 HAS SOPS 1586 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1404.586
AT ITER 3589 NEW BEST:: SOT 6929 SOS 1590 HAS SOPS 1590 HAS SOUS 1402 HAS SOUPS 1402 WITH SCORE 1403.59
AT ITER 3746 NEW BEST:: SOT 6930 SOS 1592 HAS SOPS 1592 HAS SOUS 1401 HAS SOUPS 1401 WITH SCORE 1402.592
AT ITER 3778 NEW BEST:: SOT 6928 SOS 1588 HAS SOPS 1588 HAS SOUS 1397 HAS SOUPS 1397 WITH SCORE 1398.588
AT ITER 3817 NEW BEST:: SOT 6928 SOS 1579 HAS SOPS 1579 HAS SOUS 1394 HAS SOUPS 1394 WITH SCORE 1395.579
AT ITER 3859 NEW BEST:: SOT 6929 SOS 1563 HAS SOPS 1563 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1394.563
AT ITER 3909 NEW BEST:: SOT 6922 SOS 1559 HAS SOPS 1559 HAS SOUS 1389 HAS SOUPS 1389 WITH SCORE 1390.559
AT ITER 3950 NEW BEST:: SOT 6926 SOS 1542 HAS SOPS 1542 HAS SOUS 1384 HAS SOUPS 1384 WITH SCORE 1385.542
AT ITER 3957 NEW BEST:: SOT 6928 SOS 1540 HAS SOPS 1540 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1383.54
AT ITER 3970 NEW BEST:: SOT 6928 SOS 1540 HAS SOPS 1540 HAS SOUS 1375 HAS SOUPS 1375 WITH SCORE 1376.54
AT ITER 4164 NEW BEST:: SOT 6927 SOS 1538 HAS SOPS 1538 HAS SOUS 1375 HAS SOUPS 1375 WITH SCORE 1376.538
AT ITER 4183 NEW BEST:: SOT 6929 SOS 1534 HAS SOPS 1534 HAS SOUS 1373 HAS SOUPS 1373 WITH SCORE 1374.534
AT ITER 4185 NEW BEST:: SOT 6930 SOS 1536 HAS SOPS 1536 HAS SOUS 1371 HAS SOUPS 1371 WITH SCORE 1372.536
AT ITER 4203 NEW BEST:: SOT 6930 SOS 1531 HAS SOPS 1531 HAS SOUS 1371 HAS SOUPS 1371 WITH SCORE 1372.531
AT ITER 4214 NEW BEST:: SOT 6928 SOS 1527 HAS SOPS 1527 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1370.527
AT ITER 4264 NEW BEST:: SOT 6928 SOS 1525 HAS SOPS 1525 HAS SOUS 1368 HAS SOUPS 1368 WITH SCORE 1369.525
AT ITER 4368 NEW BEST:: SOT 6928 SOS 1525 HAS SOPS 1525 HAS SOUS 1365 HAS SOUPS 1365 WITH SCORE 1366.525
AT ITER 4385 NEW BEST:: SOT 6921 SOS 1525 HAS SOPS 1525 HAS SOUS 1361 HAS SOUPS 1361 WITH SCORE 1362.525
AT ITER 4400 NEW BEST:: SOT 6919 SOS 1523 HAS SOPS 1523 HAS SOUS 1359 HAS SOUPS 1359 WITH SCORE 1360.523
AT ITER 4413 NEW BEST:: SOT 6917 SOS 1519 HAS SOPS 1519 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1359.519
AT ITER 4465 NEW BEST:: SOT 6916 SOS 1511 HAS SOPS 1511 HAS SOUS 1356 HAS SOUPS 1356 WITH SCORE 1357.511
AT ITER 4572 NEW BEST:: SOT 6920 SOS 1475 HAS SOPS 1475 HAS SOUS 1325 HAS SOUPS 1325 WITH SCORE 1326.475
AT ITER 4657 NEW BEST:: SOT 6919 SOS 1473 HAS SOPS 1473 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1324.473
AT ITER 4696 NEW BEST:: SOT 6919 SOS 1474 HAS SOPS 1474 HAS SOUS 1322 HAS SOUPS 1322 WITH SCORE 1323.474
AT ITER 4814 NEW BEST:: SOT 6923 SOS 1476 HAS SOPS 1476 HAS SOUS 1318 HAS SOUPS 1318 WITH SCORE 1319.476
AT ITER 4863 NEW BEST:: SOT 6920 SOS 1470 HAS SOPS 1470 HAS SOUS 1312 HAS SOUPS 1312 WITH SCORE 1313.47
AT ITER 4916 NEW BEST:: SOT 6914 SOS 1458 HAS SOPS 1458 HAS SOUS 1299 HAS SOUPS 1299 WITH SCORE 1300.458
AT ITER 4976 NEW BEST:: SOT 6913 SOS 1454 HAS SOPS 1454 HAS SOUS 1297 HAS SOUPS 1297 WITH SCORE 1298.454
AT ITER 5018 NEW BEST:: SOT 6914 SOS 1452 HAS SOPS 1452 HAS SOUS 1297 HAS SOUPS 1297 WITH SCORE 1298.452
AT ITER 5077 NEW BEST:: SOT 6913 SOS 1450 HAS SOPS 1450 HAS SOUS 1295 HAS SOUPS 1295 WITH SCORE 1296.45
AT ITER 5148 NEW BEST:: SOT 6912 SOS 1448 HAS SOPS 1448 HAS SOUS 1294 HAS SOUPS 1294 WITH SCORE 1295.448
AT ITER 5154 NEW BEST:: SOT 6911 SOS 1447 HAS SOPS 1447 HAS SOUS 1293 HAS SOUPS 1293 WITH SCORE 1294.447
AT ITER 5189 NEW BEST:: SOT 6909 SOS 1443 HAS SOPS 1443 HAS SOUS 1289 HAS SOUPS 1289 WITH SCORE 1290.443
AT ITER 5308 NEW BEST:: SOT 6909 SOS 1443 HAS SOPS 1443 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1289.443
AT ITER 5368 NEW BEST:: SOT 6908 SOS 1441 HAS SOPS 1441 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1287.441
AT ITER 5375 NEW BEST:: SOT 6906 SOS 1437 HAS SOPS 1437 HAS SOUS 1284 HAS SOUPS 1284 WITH SCORE 1285.437
AT ITER 5413 NEW BEST:: SOT 6905 SOS 1435 HAS SOPS 1435 HAS SOUS 1282 HAS SOUPS 1282 WITH SCORE 1283.435
AT ITER 5414 NEW BEST:: SOT 6904 SOS 1433 HAS SOPS 1433 HAS SOUS 1280 HAS SOUPS 1280 WITH SCORE 1281.433
AT ITER 5479 NEW BEST:: SOT 6900 SOS 1429 HAS SOPS 1429 HAS SOUS 1276 HAS SOUPS 1276 WITH SCORE 1277.429
AT ITER 5490 NEW BEST:: SOT 6898 SOS 1431 HAS SOPS 1431 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1275.431
AT ITER 5535 NEW BEST:: SOT 6895 SOS 1425 HAS SOPS 1425 HAS SOUS 1268 HAS SOUPS 1268 WITH SCORE 1269.425
AT ITER 5587 NEW BEST:: SOT 6894 SOS 1423 HAS SOPS 1423 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1266.423
AT ITER 5636 NEW BEST:: SOT 6894 SOS 1421 HAS SOPS 1421 HAS SOUS 1263 HAS SOUPS 1263 WITH SCORE 1264.421
AT ITER 5822 NEW BEST:: SOT 6894 SOS 1420 HAS SOPS 1420 HAS SOUS 1262 HAS SOUPS 1262 WITH SCORE 1263.42
AT ITER 5925 NEW BEST:: SOT 6891 SOS 1418 HAS SOPS 1418 HAS SOUS 1256 HAS SOUPS 1256 WITH SCORE 1257.418
AT ITER 6030 NEW BEST:: SOT 6891 SOS 1417 HAS SOPS 1417 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1256.417
AT ITER 6041 NEW BEST:: SOT 6888 SOS 1416 HAS SOPS 1416 HAS SOUS 1254 HAS SOUPS 1254 WITH SCORE 1255.416
AT ITER 6284 NEW BEST:: SOT 6887 SOS 1414 HAS SOPS 1414 HAS SOUS 1251 HAS SOUPS 1251 WITH SCORE 1252.414
AT ITER 6330 NEW BEST:: SOT 6886 SOS 1410 HAS SOPS 1410 HAS SOUS 1249 HAS SOUPS 1249 WITH SCORE 1250.41
AT ITER 6342 NEW BEST:: SOT 6886 SOS 1405 HAS SOPS 1405 HAS SOUS 1248 HAS SOUPS 1248 WITH SCORE 1249.405
AT ITER 6401 NEW BEST:: SOT 6885 SOS 1403 HAS SOPS 1403 HAS SOUS 1247 HAS SOUPS 1247 WITH SCORE 1248.403
AT ITER 6423 NEW BEST:: SOT 6882 SOS 1399 HAS SOPS 1399 HAS SOUS 1244 HAS SOUPS 1244 WITH SCORE 1245.399
AT ITER 6627 NEW BEST:: SOT 6880 SOS 1395 HAS SOPS 1395 HAS SOUS 1242 HAS SOUPS 1242 WITH SCORE 1243.395
AT ITER 6697 NEW BEST:: SOT 6880 SOS 1395 HAS SOPS 1395 HAS SOUS 1241 HAS SOUPS 1241 WITH SCORE 1242.395
AT ITER 6771 NEW BEST:: SOT 6880 SOS 1394 HAS SOPS 1394 HAS SOUS 1240 HAS SOUPS 1240 WITH SCORE 1241.394
AT ITER 6822 NEW BEST:: SOT 6878 SOS 1392 HAS SOPS 1392 HAS SOUS 1238 HAS SOUPS 1238 WITH SCORE 1239.392
AT ITER 6841 NEW BEST:: SOT 6878 SOS 1390 HAS SOPS 1390 HAS SOUS 1235 HAS SOUPS 1235 WITH SCORE 1236.39
AT ITER 6843 NEW BEST:: SOT 6876 SOS 1386 HAS SOPS 1386 HAS SOUS 1231 HAS SOUPS 1231 WITH SCORE 1232.386
AT ITER 6893 NEW BEST:: SOT 6875 SOS 1384 HAS SOPS 1384 HAS SOUS 1229 HAS SOUPS 1229 WITH SCORE 1230.384
AT ITER 6974 NEW BEST:: SOT 6881 SOS 1382 HAS SOPS 1382 HAS SOUS 1227 HAS SOUPS 1227 WITH SCORE 1228.382
AT ITER 7002 NEW BEST:: SOT 6881 SOS 1381 HAS SOPS 1381 HAS SOUS 1226 HAS SOUPS 1226 WITH SCORE 1227.381
AT ITER 7003 NEW BEST:: SOT 6883 SOS 1373 HAS SOPS 1373 HAS SOUS 1224 HAS SOUPS 1224 WITH SCORE 1225.373
AT ITER 7087 NEW BEST:: SOT 6883 SOS 1372 HAS SOPS 1372 HAS SOUS 1224 HAS SOUPS 1224 WITH SCORE 1225.372
AT ITER 7118 NEW BEST:: SOT 6881 SOS 1358 HAS SOPS 1358 HAS SOUS 1217 HAS SOUPS 1217 WITH SCORE 1218.358
AT ITER 7220 NEW BEST:: SOT 6881 SOS 1356 HAS SOPS 1356 HAS SOUS 1217 HAS SOUPS 1217 WITH SCORE 1218.356
AT ITER 7293 NEW BEST:: SOT 6881 SOS 1354 HAS SOPS 1354 HAS SOUS 1216 HAS SOUPS 1216 WITH SCORE 1217.354
AT ITER 7312 NEW BEST:: SOT 6881 SOS 1350 HAS SOPS 1350 HAS SOUS 1214 HAS SOUPS 1214 WITH SCORE 1215.35
AT ITER 7340 NEW BEST:: SOT 6882 SOS 1352 HAS SOPS 1352 HAS SOUS 1213 HAS SOUPS 1213 WITH SCORE 1214.352
AT ITER 7563 NEW BEST:: SOT 6880 SOS 1350 HAS SOPS 1350 HAS SOUS 1210 HAS SOUPS 1210 WITH SCORE 1211.35
AT ITER 7862 NEW BEST:: SOT 6880 SOS 1349 HAS SOPS 1349 HAS SOUS 1210 HAS SOUPS 1210 WITH SCORE 1211.349
AT ITER 7959 NEW BEST:: SOT 6883 SOS 1343 HAS SOPS 1343 HAS SOUS 1206 HAS SOUPS 1206 WITH SCORE 1207.343
AT ITER 8240 NEW BEST:: SOT 6881 SOS 1338 HAS SOPS 1338 HAS SOUS 1202 HAS SOUPS 1202 WITH SCORE 1203.338
AT ITER 8256 NEW BEST:: SOT 6880 SOS 1334 HAS SOPS 1334 HAS SOUS 1200 HAS SOUPS 1200 WITH SCORE 1201.334
AT ITER 8314 NEW BEST:: SOT 6873 SOS 1338 HAS SOPS 1338 HAS SOUS 1198 HAS SOUPS 1198 WITH SCORE 1199.338
AT ITER 8377 NEW BEST:: SOT 6873 SOS 1327 HAS SOPS 1327 HAS SOUS 1198 HAS SOUPS 1198 WITH SCORE 1199.327
AT ITER 8381 NEW BEST:: SOT 6873 SOS 1326 HAS SOPS 1326 HAS SOUS 1198 HAS SOUPS 1198 WITH SCORE 1199.326
AT ITER 8391 NEW BEST:: SOT 6864 SOS 1325 HAS SOPS 1325 HAS SOUS 1197 HAS SOUPS 1197 WITH SCORE 1198.325
AT ITER 8770 NEW BEST:: SOT 6863 SOS 1323 HAS SOPS 1323 HAS SOUS 1196 HAS SOUPS 1196 WITH SCORE 1197.323
AT ITER 8843 NEW BEST:: SOT 6861 SOS 1319 HAS SOPS 1319 HAS SOUS 1196 HAS SOUPS 1196 WITH SCORE 1197.319
AT ITER 9396 NEW BEST:: SOT 6860 SOS 1316 HAS SOPS 1316 HAS SOUS 1195 HAS SOUPS 1195 WITH SCORE 1196.316
AT ITER 9528 NEW BEST:: SOT 6860 SOS 1315 HAS SOPS 1315 HAS SOUS 1195 HAS SOUPS 1195 WITH SCORE 1196.315
STATE_SPACE STATES 8282711 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 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 47733746 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678436600182

--------------------
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="GPUForwardProgress-PT-04b"
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 GPUForwardProgress-PT-04b, 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 r195-smll-167840341800016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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