Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813590800384.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 AutoFlight-PT-01b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590800384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 400K
-rw-r--r-- 1 mcc users 7.9K Feb 25 18:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 25 18:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 18:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 18:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 18:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 18:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 18:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:31 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 26K 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 1678472857598

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=AutoFlight-PT-01b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 01b
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: 114 places, 112 transitions, 264 arcs.
AT ITER 0 NEW BEST:: SOT 7091 SOS 2356 HAS SOPS 2356 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2083.356
AT ITER 14 NEW BEST:: SOT 7091 SOS 2356 HAS SOPS 2356 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2080.356
AT ITER 21 NEW BEST:: SOT 7091 SOS 2299 HAS SOPS 2299 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.299
AT ITER 29 NEW BEST:: SOT 7063 SOS 2276 HAS SOPS 2276 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2051.276
AT ITER 38 NEW BEST:: SOT 7054 SOS 2270 HAS SOPS 2270 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2041.27
AT ITER 54 NEW BEST:: SOT 7054 SOS 2261 HAS SOPS 2261 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2041.261
AT ITER 55 NEW BEST:: SOT 7052 SOS 2257 HAS SOPS 2257 HAS SOUS 2037 HAS SOUPS 2037 WITH SCORE 2039.257
AT ITER 70 NEW BEST:: SOT 7043 SOS 2248 HAS SOPS 2248 HAS SOUS 2024 HAS SOUPS 2024 WITH SCORE 2026.248
AT ITER 79 NEW BEST:: SOT 7033 SOS 2233 HAS SOPS 2233 HAS SOUS 2009 HAS SOUPS 2009 WITH SCORE 2011.233
AT ITER 81 NEW BEST:: SOT 7031 SOS 2229 HAS SOPS 2229 HAS SOUS 2007 HAS SOUPS 2007 WITH SCORE 2009.229
AT ITER 85 NEW BEST:: SOT 7027 SOS 2214 HAS SOPS 2214 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1996.214
AT ITER 98 NEW BEST:: SOT 7018 SOS 2203 HAS SOPS 2203 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1985.203
AT ITER 106 NEW BEST:: SOT 7018 SOS 2197 HAS SOPS 2197 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1985.197
AT ITER 108 NEW BEST:: SOT 7018 SOS 2195 HAS SOPS 2195 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1985.195
AT ITER 111 NEW BEST:: SOT 7016 SOS 2191 HAS SOPS 2191 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1982.191
AT ITER 116 NEW BEST:: SOT 7016 SOS 2191 HAS SOPS 2191 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1981.191
AT ITER 117 NEW BEST:: SOT 7016 SOS 2191 HAS SOPS 2191 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1980.191
AT ITER 118 NEW BEST:: SOT 7016 SOS 2177 HAS SOPS 2177 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.177
AT ITER 120 NEW BEST:: SOT 7015 SOS 2164 HAS SOPS 2164 HAS SOUS 1968 HAS SOUPS 1968 WITH SCORE 1970.164
AT ITER 128 NEW BEST:: SOT 7015 SOS 2161 HAS SOPS 2161 HAS SOUS 1965 HAS SOUPS 1965 WITH SCORE 1967.161
AT ITER 131 NEW BEST:: SOT 7020 SOS 2153 HAS SOPS 2153 HAS SOUS 1957 HAS SOUPS 1957 WITH SCORE 1959.153
AT ITER 150 NEW BEST:: SOT 7020 SOS 2150 HAS SOPS 2150 HAS SOUS 1954 HAS SOUPS 1954 WITH SCORE 1956.15
AT ITER 180 NEW BEST:: SOT 7017 SOS 2140 HAS SOPS 2140 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1946.14
AT ITER 184 NEW BEST:: SOT 7006 SOS 2116 HAS SOPS 2116 HAS SOUS 1916 HAS SOUPS 1916 WITH SCORE 1918.116
AT ITER 216 NEW BEST:: SOT 7010 SOS 2114 HAS SOPS 2114 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1911.114
AT ITER 225 NEW BEST:: SOT 7010 SOS 2103 HAS SOPS 2103 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1889.103
AT ITER 228 NEW BEST:: SOT 7010 SOS 2099 HAS SOPS 2099 HAS SOUS 1883 HAS SOUPS 1883 WITH SCORE 1885.099
AT ITER 232 NEW BEST:: SOT 7010 SOS 2088 HAS SOPS 2088 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1874.088
AT ITER 234 NEW BEST:: SOT 7010 SOS 2083 HAS SOPS 2083 HAS SOUS 1867 HAS SOUPS 1867 WITH SCORE 1869.083
AT ITER 235 NEW BEST:: SOT 7008 SOS 2081 HAS SOPS 2081 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1867.081
AT ITER 237 NEW BEST:: SOT 7007 SOS 2082 HAS SOPS 2082 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1865.082
AT ITER 278 NEW BEST:: SOT 7007 SOS 2077 HAS SOPS 2077 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1865.077
AT ITER 317 NEW BEST:: SOT 7001 SOS 2073 HAS SOPS 2073 HAS SOUS 1859 HAS SOUPS 1859 WITH SCORE 1861.073
AT ITER 330 NEW BEST:: SOT 6989 SOS 2023 HAS SOPS 2023 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1857.023
AT ITER 333 NEW BEST:: SOT 6989 SOS 2022 HAS SOPS 2022 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1856.022
AT ITER 335 NEW BEST:: SOT 6984 SOS 2021 HAS SOPS 2021 HAS SOUS 1844 HAS SOUPS 1844 WITH SCORE 1846.021
AT ITER 373 NEW BEST:: SOT 6984 SOS 2011 HAS SOPS 2011 HAS SOUS 1824 HAS SOUPS 1824 WITH SCORE 1826.011
AT ITER 397 NEW BEST:: SOT 6987 SOS 2006 HAS SOPS 2006 HAS SOUS 1819 HAS SOUPS 1819 WITH SCORE 1821.006
AT ITER 405 NEW BEST:: SOT 6987 SOS 2003 HAS SOPS 2003 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1818.003
AT ITER 411 NEW BEST:: SOT 6969 SOS 1985 HAS SOPS 1985 HAS SOUS 1798 HAS SOUPS 1798 WITH SCORE 1799.985
AT ITER 416 NEW BEST:: SOT 6968 SOS 1983 HAS SOPS 1983 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1797.983
AT ITER 443 NEW BEST:: SOT 6968 SOS 1978 HAS SOPS 1978 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1797.978
AT ITER 450 NEW BEST:: SOT 6968 SOS 1976 HAS SOPS 1976 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1795.976
AT ITER 458 NEW BEST:: SOT 6968 SOS 1975 HAS SOPS 1975 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1792.975
AT ITER 464 NEW BEST:: SOT 6968 SOS 1974 HAS SOPS 1974 HAS SOUS 1790 HAS SOUPS 1790 WITH SCORE 1791.974
AT ITER 479 NEW BEST:: SOT 6970 SOS 1978 HAS SOPS 1978 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1790.978
AT ITER 519 NEW BEST:: SOT 6965 SOS 1968 HAS SOPS 1968 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1780.968
AT ITER 531 NEW BEST:: SOT 6975 SOS 1990 HAS SOPS 1990 HAS SOUS 1770 HAS SOUPS 1770 WITH SCORE 1771.99
AT ITER 547 NEW BEST:: SOT 6963 SOS 1983 HAS SOPS 1983 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1764.983
AT ITER 597 NEW BEST:: SOT 6961 SOS 1979 HAS SOPS 1979 HAS SOUS 1759 HAS SOUPS 1759 WITH SCORE 1760.979
AT ITER 630 NEW BEST:: SOT 6958 SOS 1976 HAS SOPS 1976 HAS SOUS 1756 HAS SOUPS 1756 WITH SCORE 1757.976
AT ITER 679 NEW BEST:: SOT 6958 SOS 1978 HAS SOPS 1978 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1756.978
AT ITER 686 NEW BEST:: SOT 6958 SOS 1977 HAS SOPS 1977 HAS SOUS 1751 HAS SOUPS 1751 WITH SCORE 1752.977
AT ITER 728 NEW BEST:: SOT 6954 SOS 1965 HAS SOPS 1965 HAS SOUS 1743 HAS SOUPS 1743 WITH SCORE 1744.965
AT ITER 745 NEW BEST:: SOT 6951 SOS 1968 HAS SOPS 1968 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1738.968
AT ITER 746 NEW BEST:: SOT 6951 SOS 1983 HAS SOPS 1983 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1736.983
AT ITER 799 NEW BEST:: SOT 6953 SOS 1979 HAS SOPS 1979 HAS SOUS 1731 HAS SOUPS 1731 WITH SCORE 1732.979
AT ITER 846 NEW BEST:: SOT 6939 SOS 1962 HAS SOPS 1962 HAS SOUS 1717 HAS SOUPS 1717 WITH SCORE 1718.962
AT ITER 856 NEW BEST:: SOT 6939 SOS 1952 HAS SOPS 1952 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1708.952
AT ITER 871 NEW BEST:: SOT 6925 SOS 1939 HAS SOPS 1939 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1702.939
AT ITER 873 NEW BEST:: SOT 6925 SOS 1938 HAS SOPS 1938 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1702.938
AT ITER 899 NEW BEST:: SOT 6927 SOS 1926 HAS SOPS 1926 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1690.926
AT ITER 944 NEW BEST:: SOT 6924 SOS 1925 HAS SOPS 1925 HAS SOUS 1688 HAS SOUPS 1688 WITH SCORE 1689.925
AT ITER 946 NEW BEST:: SOT 6920 SOS 1929 HAS SOPS 1929 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1684.929
AT ITER 963 NEW BEST:: SOT 6917 SOS 1912 HAS SOPS 1912 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1678.912
AT ITER 968 NEW BEST:: SOT 6911 SOS 1884 HAS SOPS 1884 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1677.884
AT ITER 978 NEW BEST:: SOT 6911 SOS 1883 HAS SOPS 1883 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1676.883
AT ITER 1013 NEW BEST:: SOT 6910 SOS 1881 HAS SOPS 1881 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1674.881
AT ITER 1020 NEW BEST:: SOT 6914 SOS 1888 HAS SOPS 1888 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1672.888
AT ITER 1029 NEW BEST:: SOT 6911 SOS 1884 HAS SOPS 1884 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1668.884
AT ITER 1038 NEW BEST:: SOT 6906 SOS 1874 HAS SOPS 1874 HAS SOUS 1657 HAS SOUPS 1657 WITH SCORE 1658.874
AT ITER 1064 NEW BEST:: SOT 6905 SOS 1872 HAS SOPS 1872 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1657.872
AT ITER 1068 NEW BEST:: SOT 6909 SOS 1870 HAS SOPS 1870 HAS SOUS 1654 HAS SOUPS 1654 WITH SCORE 1655.87
AT ITER 1074 NEW BEST:: SOT 6923 SOS 1868 HAS SOPS 1868 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1653.868
AT ITER 1112 NEW BEST:: SOT 6925 SOS 1862 HAS SOPS 1862 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1647.862
AT ITER 1116 NEW BEST:: SOT 6925 SOS 1846 HAS SOPS 1846 HAS SOUS 1643 HAS SOUPS 1643 WITH SCORE 1644.846
AT ITER 1128 NEW BEST:: SOT 6923 SOS 1845 HAS SOPS 1845 HAS SOUS 1642 HAS SOUPS 1642 WITH SCORE 1643.845
AT ITER 1136 NEW BEST:: SOT 6923 SOS 1835 HAS SOPS 1835 HAS SOUS 1637 HAS SOUPS 1637 WITH SCORE 1638.835
AT ITER 1153 NEW BEST:: SOT 6919 SOS 1827 HAS SOPS 1827 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1630.827
AT ITER 1195 NEW BEST:: SOT 6919 SOS 1818 HAS SOPS 1818 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1621.818
AT ITER 1208 NEW BEST:: SOT 6914 SOS 1818 HAS SOPS 1818 HAS SOUS 1615 HAS SOUPS 1615 WITH SCORE 1616.818
AT ITER 1213 NEW BEST:: SOT 6913 SOS 1817 HAS SOPS 1817 HAS SOUS 1614 HAS SOUPS 1614 WITH SCORE 1615.817
AT ITER 1216 NEW BEST:: SOT 6907 SOS 1813 HAS SOPS 1813 HAS SOUS 1610 HAS SOUPS 1610 WITH SCORE 1611.813
AT ITER 1222 NEW BEST:: SOT 6910 SOS 1813 HAS SOPS 1813 HAS SOUS 1609 HAS SOUPS 1609 WITH SCORE 1610.813
AT ITER 1305 NEW BEST:: SOT 6908 SOS 1809 HAS SOPS 1809 HAS SOUS 1605 HAS SOUPS 1605 WITH SCORE 1606.809
AT ITER 1338 NEW BEST:: SOT 6908 SOS 1808 HAS SOPS 1808 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1605.808
AT ITER 1365 NEW BEST:: SOT 6906 SOS 1806 HAS SOPS 1806 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1603.806
AT ITER 1397 NEW BEST:: SOT 6906 SOS 1795 HAS SOPS 1795 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1602.795
AT ITER 1476 NEW BEST:: SOT 6905 SOS 1792 HAS SOPS 1792 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1599.792
AT ITER 1481 NEW BEST:: SOT 6905 SOS 1788 HAS SOPS 1788 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1595.788
AT ITER 1528 NEW BEST:: SOT 6903 SOS 1779 HAS SOPS 1779 HAS SOUS 1585 HAS SOUPS 1585 WITH SCORE 1586.779
AT ITER 1573 NEW BEST:: SOT 6903 SOS 1777 HAS SOPS 1777 HAS SOUS 1585 HAS SOUPS 1585 WITH SCORE 1586.777
AT ITER 1607 NEW BEST:: SOT 6902 SOS 1775 HAS SOPS 1775 HAS SOUS 1583 HAS SOUPS 1583 WITH SCORE 1584.775
AT ITER 1608 NEW BEST:: SOT 6899 SOS 1769 HAS SOPS 1769 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1580.769
AT ITER 1616 NEW BEST:: SOT 6887 SOS 1765 HAS SOPS 1765 HAS SOUS 1575 HAS SOUPS 1575 WITH SCORE 1576.765
AT ITER 1626 NEW BEST:: SOT 6888 SOS 1764 HAS SOPS 1764 HAS SOUS 1574 HAS SOUPS 1574 WITH SCORE 1575.764
AT ITER 1654 NEW BEST:: SOT 6867 SOS 1722 HAS SOPS 1722 HAS SOUS 1561 HAS SOUPS 1561 WITH SCORE 1562.722
AT ITER 1679 NEW BEST:: SOT 6863 SOS 1718 HAS SOPS 1718 HAS SOUS 1561 HAS SOUPS 1561 WITH SCORE 1562.718
AT ITER 1682 NEW BEST:: SOT 6860 SOS 1712 HAS SOPS 1712 HAS SOUS 1556 HAS SOUPS 1556 WITH SCORE 1557.712
AT ITER 1688 NEW BEST:: SOT 6856 SOS 1704 HAS SOPS 1704 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1552.704
AT ITER 1692 NEW BEST:: SOT 6856 SOS 1699 HAS SOPS 1699 HAS SOUS 1546 HAS SOUPS 1546 WITH SCORE 1547.699
AT ITER 1694 NEW BEST:: SOT 6864 SOS 1715 HAS SOPS 1715 HAS SOUS 1537 HAS SOUPS 1537 WITH SCORE 1538.715
AT ITER 1792 NEW BEST:: SOT 6861 SOS 1708 HAS SOPS 1708 HAS SOUS 1530 HAS SOUPS 1530 WITH SCORE 1531.708
AT ITER 1796 NEW BEST:: SOT 6861 SOS 1706 HAS SOPS 1706 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1529.706
AT ITER 1875 NEW BEST:: SOT 6860 SOS 1704 HAS SOPS 1704 HAS SOUS 1526 HAS SOUPS 1526 WITH SCORE 1527.704
AT ITER 1878 NEW BEST:: SOT 6858 SOS 1703 HAS SOPS 1703 HAS SOUS 1525 HAS SOUPS 1525 WITH SCORE 1526.703
AT ITER 1880 NEW BEST:: SOT 6853 SOS 1694 HAS SOPS 1694 HAS SOUS 1516 HAS SOUPS 1516 WITH SCORE 1517.694
AT ITER 1940 NEW BEST:: SOT 6852 SOS 1693 HAS SOPS 1693 HAS SOUS 1515 HAS SOUPS 1515 WITH SCORE 1516.693
AT ITER 1943 NEW BEST:: SOT 6848 SOS 1676 HAS SOPS 1676 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1499.676
AT ITER 1967 NEW BEST:: SOT 6848 SOS 1675 HAS SOPS 1675 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1499.675
AT ITER 1981 NEW BEST:: SOT 6848 SOS 1663 HAS SOPS 1663 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1499.663
AT ITER 1999 NEW BEST:: SOT 6848 SOS 1646 HAS SOPS 1646 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1499.646
AT ITER 2023 NEW BEST:: SOT 6846 SOS 1642 HAS SOPS 1642 HAS SOUS 1494 HAS SOUPS 1494 WITH SCORE 1495.642
AT ITER 2045 NEW BEST:: SOT 6844 SOS 1638 HAS SOPS 1638 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1491.638
AT ITER 2076 NEW BEST:: SOT 6842 SOS 1634 HAS SOPS 1634 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1489.634
AT ITER 2084 NEW BEST:: SOT 6835 SOS 1618 HAS SOPS 1618 HAS SOUS 1472 HAS SOUPS 1472 WITH SCORE 1473.618
AT ITER 2094 NEW BEST:: SOT 6833 SOS 1616 HAS SOPS 1616 HAS SOUS 1470 HAS SOUPS 1470 WITH SCORE 1471.616
AT ITER 2095 NEW BEST:: SOT 6832 SOS 1614 HAS SOPS 1614 HAS SOUS 1468 HAS SOUPS 1468 WITH SCORE 1469.614
AT ITER 2108 NEW BEST:: SOT 6829 SOS 1605 HAS SOPS 1605 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1460.605
AT ITER 2163 NEW BEST:: SOT 6828 SOS 1604 HAS SOPS 1604 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1459.604
AT ITER 2188 NEW BEST:: SOT 6827 SOS 1602 HAS SOPS 1602 HAS SOUS 1456 HAS SOUPS 1456 WITH SCORE 1457.602
AT ITER 2210 NEW BEST:: SOT 6831 SOS 1583 HAS SOPS 1583 HAS SOUS 1453 HAS SOUPS 1453 WITH SCORE 1454.583
AT ITER 2256 NEW BEST:: SOT 6829 SOS 1581 HAS SOPS 1581 HAS SOUS 1453 HAS SOUPS 1453 WITH SCORE 1454.581
AT ITER 2331 NEW BEST:: SOT 6826 SOS 1575 HAS SOPS 1575 HAS SOUS 1447 HAS SOUPS 1447 WITH SCORE 1448.575
AT ITER 2341 NEW BEST:: SOT 6825 SOS 1559 HAS SOPS 1559 HAS SOUS 1436 HAS SOUPS 1436 WITH SCORE 1437.559
AT ITER 2346 NEW BEST:: SOT 6821 SOS 1563 HAS SOPS 1563 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1433.563
AT ITER 2394 NEW BEST:: SOT 6818 SOS 1557 HAS SOPS 1557 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1427.557
AT ITER 2420 NEW BEST:: SOT 6815 SOS 1554 HAS SOPS 1554 HAS SOUS 1423 HAS SOUPS 1423 WITH SCORE 1424.554
AT ITER 2431 NEW BEST:: SOT 6815 SOS 1554 HAS SOPS 1554 HAS SOUS 1422 HAS SOUPS 1422 WITH SCORE 1423.554
AT ITER 2466 NEW BEST:: SOT 6812 SOS 1548 HAS SOPS 1548 HAS SOUS 1416 HAS SOUPS 1416 WITH SCORE 1417.548
AT ITER 2556 NEW BEST:: SOT 6810 SOS 1544 HAS SOPS 1544 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1413.544
AT ITER 2566 NEW BEST:: SOT 6807 SOS 1531 HAS SOPS 1531 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1399.531
AT ITER 2590 NEW BEST:: SOT 6807 SOS 1527 HAS SOPS 1527 HAS SOUS 1394 HAS SOUPS 1394 WITH SCORE 1395.527
AT ITER 2661 NEW BEST:: SOT 6807 SOS 1534 HAS SOPS 1534 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1394.534
AT ITER 2665 NEW BEST:: SOT 6804 SOS 1528 HAS SOPS 1528 HAS SOUS 1387 HAS SOUPS 1387 WITH SCORE 1388.528
AT ITER 2694 NEW BEST:: SOT 6788 SOS 1517 HAS SOPS 1517 HAS SOUS 1376 HAS SOUPS 1376 WITH SCORE 1377.517
AT ITER 2716 NEW BEST:: SOT 6788 SOS 1515 HAS SOPS 1515 HAS SOUS 1376 HAS SOUPS 1376 WITH SCORE 1377.515
AT ITER 2723 NEW BEST:: SOT 6788 SOS 1513 HAS SOPS 1513 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1375.513
AT ITER 2747 NEW BEST:: SOT 6788 SOS 1511 HAS SOPS 1511 HAS SOUS 1372 HAS SOUPS 1372 WITH SCORE 1373.511
AT ITER 2748 NEW BEST:: SOT 6788 SOS 1500 HAS SOPS 1500 HAS SOUS 1361 HAS SOUPS 1361 WITH SCORE 1362.5
AT ITER 2801 NEW BEST:: SOT 6778 SOS 1490 HAS SOPS 1490 HAS SOUS 1351 HAS SOUPS 1351 WITH SCORE 1352.49
AT ITER 2807 NEW BEST:: SOT 6777 SOS 1489 HAS SOPS 1489 HAS SOUS 1350 HAS SOUPS 1350 WITH SCORE 1351.489
AT ITER 3004 NEW BEST:: SOT 6777 SOS 1488 HAS SOPS 1488 HAS SOUS 1349 HAS SOUPS 1349 WITH SCORE 1350.488
AT ITER 3056 NEW BEST:: SOT 6775 SOS 1484 HAS SOPS 1484 HAS SOUS 1344 HAS SOUPS 1344 WITH SCORE 1345.484
AT ITER 3060 NEW BEST:: SOT 6774 SOS 1482 HAS SOPS 1482 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1343.482
AT ITER 3071 NEW BEST:: SOT 6773 SOS 1482 HAS SOPS 1482 HAS SOUS 1341 HAS SOUPS 1341 WITH SCORE 1342.482
AT ITER 3076 NEW BEST:: SOT 6773 SOS 1476 HAS SOPS 1476 HAS SOUS 1341 HAS SOUPS 1341 WITH SCORE 1342.476
AT ITER 3148 NEW BEST:: SOT 6773 SOS 1471 HAS SOPS 1471 HAS SOUS 1341 HAS SOUPS 1341 WITH SCORE 1342.471
AT ITER 3277 NEW BEST:: SOT 6772 SOS 1466 HAS SOPS 1466 HAS SOUS 1337 HAS SOUPS 1337 WITH SCORE 1338.466
AT ITER 3300 NEW BEST:: SOT 6770 SOS 1464 HAS SOPS 1464 HAS SOUS 1335 HAS SOUPS 1335 WITH SCORE 1336.464
AT ITER 3304 NEW BEST:: SOT 6770 SOS 1461 HAS SOPS 1461 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1335.461
AT ITER 3327 NEW BEST:: SOT 6768 SOS 1457 HAS SOPS 1457 HAS SOUS 1330 HAS SOUPS 1330 WITH SCORE 1331.457
AT ITER 3469 NEW BEST:: SOT 6768 SOS 1453 HAS SOPS 1453 HAS SOUS 1326 HAS SOUPS 1326 WITH SCORE 1327.453
AT ITER 3489 NEW BEST:: SOT 6765 SOS 1457 HAS SOPS 1457 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1324.457
AT ITER 3492 NEW BEST:: SOT 6759 SOS 1451 HAS SOPS 1451 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1317.451
AT ITER 3526 NEW BEST:: SOT 6753 SOS 1444 HAS SOPS 1444 HAS SOUS 1313 HAS SOUPS 1313 WITH SCORE 1314.444
AT ITER 3527 NEW BEST:: SOT 6754 SOS 1443 HAS SOPS 1443 HAS SOUS 1312 HAS SOUPS 1312 WITH SCORE 1313.443
AT ITER 3569 NEW BEST:: SOT 6754 SOS 1437 HAS SOPS 1437 HAS SOUS 1312 HAS SOUPS 1312 WITH SCORE 1313.437
AT ITER 3622 NEW BEST:: SOT 6754 SOS 1434 HAS SOPS 1434 HAS SOUS 1309 HAS SOUPS 1309 WITH SCORE 1310.434
AT ITER 3624 NEW BEST:: SOT 6752 SOS 1432 HAS SOPS 1432 HAS SOUS 1305 HAS SOUPS 1305 WITH SCORE 1306.432
AT ITER 3628 NEW BEST:: SOT 6751 SOS 1430 HAS SOPS 1430 HAS SOUS 1303 HAS SOUPS 1303 WITH SCORE 1304.43
AT ITER 3638 NEW BEST:: SOT 6753 SOS 1430 HAS SOPS 1430 HAS SOUS 1299 HAS SOUPS 1299 WITH SCORE 1300.43
AT ITER 3661 NEW BEST:: SOT 6753 SOS 1421 HAS SOPS 1421 HAS SOUS 1299 HAS SOUPS 1299 WITH SCORE 1300.421
AT ITER 3675 NEW BEST:: SOT 6753 SOS 1421 HAS SOPS 1421 HAS SOUS 1297 HAS SOUPS 1297 WITH SCORE 1298.421
AT ITER 3718 NEW BEST:: SOT 6753 SOS 1419 HAS SOPS 1419 HAS SOUS 1295 HAS SOUPS 1295 WITH SCORE 1296.419
AT ITER 3734 NEW BEST:: SOT 6750 SOS 1408 HAS SOPS 1408 HAS SOUS 1284 HAS SOUPS 1284 WITH SCORE 1285.408
AT ITER 3765 NEW BEST:: SOT 6750 SOS 1406 HAS SOPS 1406 HAS SOUS 1282 HAS SOUPS 1282 WITH SCORE 1283.406
AT ITER 3771 NEW BEST:: SOT 6745 SOS 1396 HAS SOPS 1396 HAS SOUS 1272 HAS SOUPS 1272 WITH SCORE 1273.396
AT ITER 3822 NEW BEST:: SOT 6742 SOS 1390 HAS SOPS 1390 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1267.39
AT ITER 3836 NEW BEST:: SOT 6742 SOS 1389 HAS SOPS 1389 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1266.389
AT ITER 3875 NEW BEST:: SOT 6741 SOS 1388 HAS SOPS 1388 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1266.388
AT ITER 3948 NEW BEST:: SOT 6744 SOS 1387 HAS SOPS 1387 HAS SOUS 1264 HAS SOUPS 1264 WITH SCORE 1265.387
AT ITER 3950 NEW BEST:: SOT 6744 SOS 1386 HAS SOPS 1386 HAS SOUS 1263 HAS SOUPS 1263 WITH SCORE 1264.386
AT ITER 3969 NEW BEST:: SOT 6742 SOS 1380 HAS SOPS 1380 HAS SOUS 1259 HAS SOUPS 1259 WITH SCORE 1260.38
AT ITER 4084 NEW BEST:: SOT 6744 SOS 1382 HAS SOPS 1382 HAS SOUS 1256 HAS SOUPS 1256 WITH SCORE 1257.382
AT ITER 4124 NEW BEST:: SOT 6743 SOS 1380 HAS SOPS 1380 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1256.38
AT ITER 4154 NEW BEST:: SOT 6742 SOS 1374 HAS SOPS 1374 HAS SOUS 1249 HAS SOUPS 1249 WITH SCORE 1250.374
AT ITER 4168 NEW BEST:: SOT 6742 SOS 1373 HAS SOPS 1373 HAS SOUS 1248 HAS SOUPS 1248 WITH SCORE 1249.373
AT ITER 4179 NEW BEST:: SOT 6740 SOS 1373 HAS SOPS 1373 HAS SOUS 1247 HAS SOUPS 1247 WITH SCORE 1248.373
AT ITER 4265 NEW BEST:: SOT 6739 SOS 1371 HAS SOPS 1371 HAS SOUS 1245 HAS SOUPS 1245 WITH SCORE 1246.371
AT ITER 4278 NEW BEST:: SOT 6736 SOS 1365 HAS SOPS 1365 HAS SOUS 1239 HAS SOUPS 1239 WITH SCORE 1240.365
AT ITER 4321 NEW BEST:: SOT 6735 SOS 1366 HAS SOPS 1366 HAS SOUS 1238 HAS SOUPS 1238 WITH SCORE 1239.366
AT ITER 4337 NEW BEST:: SOT 6735 SOS 1365 HAS SOPS 1365 HAS SOUS 1237 HAS SOUPS 1237 WITH SCORE 1238.365
AT ITER 4349 NEW BEST:: SOT 6732 SOS 1359 HAS SOPS 1359 HAS SOUS 1231 HAS SOUPS 1231 WITH SCORE 1232.359
AT ITER 4401 NEW BEST:: SOT 6732 SOS 1358 HAS SOPS 1358 HAS SOUS 1231 HAS SOUPS 1231 WITH SCORE 1232.358
AT ITER 4500 NEW BEST:: SOT 6732 SOS 1359 HAS SOPS 1359 HAS SOUS 1224 HAS SOUPS 1224 WITH SCORE 1225.359
AT ITER 4524 NEW BEST:: SOT 6732 SOS 1357 HAS SOPS 1357 HAS SOUS 1222 HAS SOUPS 1222 WITH SCORE 1223.357
AT ITER 4538 NEW BEST:: SOT 6731 SOS 1357 HAS SOPS 1357 HAS SOUS 1221 HAS SOUPS 1221 WITH SCORE 1222.357
AT ITER 4675 NEW BEST:: SOT 6732 SOS 1356 HAS SOPS 1356 HAS SOUS 1221 HAS SOUPS 1221 WITH SCORE 1222.356
AT ITER 4696 NEW BEST:: SOT 6731 SOS 1348 HAS SOPS 1348 HAS SOUS 1217 HAS SOUPS 1217 WITH SCORE 1218.348
AT ITER 4740 NEW BEST:: SOT 6729 SOS 1344 HAS SOPS 1344 HAS SOUS 1213 HAS SOUPS 1213 WITH SCORE 1214.344
AT ITER 4803 NEW BEST:: SOT 6725 SOS 1336 HAS SOPS 1336 HAS SOUS 1205 HAS SOUPS 1205 WITH SCORE 1206.336
AT ITER 4816 NEW BEST:: SOT 6724 SOS 1334 HAS SOPS 1334 HAS SOUS 1203 HAS SOUPS 1203 WITH SCORE 1204.334
AT ITER 4863 NEW BEST:: SOT 6721 SOS 1330 HAS SOPS 1330 HAS SOUS 1199 HAS SOUPS 1199 WITH SCORE 1200.33
AT ITER 4881 NEW BEST:: SOT 6714 SOS 1316 HAS SOPS 1316 HAS SOUS 1185 HAS SOUPS 1185 WITH SCORE 1186.316
AT ITER 4884 NEW BEST:: SOT 6711 SOS 1310 HAS SOPS 1310 HAS SOUS 1181 HAS SOUPS 1181 WITH SCORE 1182.31
AT ITER 4960 NEW BEST:: SOT 6708 SOS 1302 HAS SOPS 1302 HAS SOUS 1173 HAS SOUPS 1173 WITH SCORE 1174.302
AT ITER 5052 NEW BEST:: SOT 6707 SOS 1300 HAS SOPS 1300 HAS SOUS 1171 HAS SOUPS 1171 WITH SCORE 1172.3
AT ITER 5134 NEW BEST:: SOT 6715 SOS 1299 HAS SOPS 1299 HAS SOUS 1170 HAS SOUPS 1170 WITH SCORE 1171.299
AT ITER 5153 NEW BEST:: SOT 6715 SOS 1299 HAS SOPS 1299 HAS SOUS 1168 HAS SOUPS 1168 WITH SCORE 1169.299
AT ITER 5213 NEW BEST:: SOT 6713 SOS 1297 HAS SOPS 1297 HAS SOUS 1168 HAS SOUPS 1168 WITH SCORE 1169.297
AT ITER 5290 NEW BEST:: SOT 6712 SOS 1294 HAS SOPS 1294 HAS SOUS 1165 HAS SOUPS 1165 WITH SCORE 1166.294
AT ITER 5486 NEW BEST:: SOT 6712 SOS 1280 HAS SOPS 1280 HAS SOUS 1165 HAS SOUPS 1165 WITH SCORE 1166.28
AT ITER 5743 NEW BEST:: SOT 6710 SOS 1277 HAS SOPS 1277 HAS SOUS 1162 HAS SOUPS 1162 WITH SCORE 1163.277
AT ITER 5925 NEW BEST:: SOT 6710 SOS 1277 HAS SOPS 1277 HAS SOUS 1161 HAS SOUPS 1161 WITH SCORE 1162.277
AT ITER 5945 NEW BEST:: SOT 6710 SOS 1276 HAS SOPS 1276 HAS SOUS 1161 HAS SOUPS 1161 WITH SCORE 1162.276
AT ITER 6033 NEW BEST:: SOT 6711 SOS 1277 HAS SOPS 1277 HAS SOUS 1160 HAS SOUPS 1160 WITH SCORE 1161.277
AT ITER 6173 NEW BEST:: SOT 6712 SOS 1280 HAS SOPS 1280 HAS SOUS 1159 HAS SOUPS 1159 WITH SCORE 1160.28
AT ITER 6180 NEW BEST:: SOT 6712 SOS 1279 HAS SOPS 1279 HAS SOUS 1158 HAS SOUPS 1158 WITH SCORE 1159.279
AT ITER 6198 NEW BEST:: SOT 6712 SOS 1277 HAS SOPS 1277 HAS SOUS 1156 HAS SOUPS 1156 WITH SCORE 1157.277
AT ITER 6254 NEW BEST:: SOT 6712 SOS 1275 HAS SOPS 1275 HAS SOUS 1156 HAS SOUPS 1156 WITH SCORE 1157.275
AT ITER 6328 NEW BEST:: SOT 6711 SOS 1273 HAS SOPS 1273 HAS SOUS 1156 HAS SOUPS 1156 WITH SCORE 1157.273
AT ITER 6519 NEW BEST:: SOT 6710 SOS 1271 HAS SOPS 1271 HAS SOUS 1155 HAS SOUPS 1155 WITH SCORE 1156.271
AT ITER 6965 NEW BEST:: SOT 6709 SOS 1269 HAS SOPS 1269 HAS SOUS 1155 HAS SOUPS 1155 WITH SCORE 1156.269
AT ITER 7144 NEW BEST:: SOT 6709 SOS 1266 HAS SOPS 1266 HAS SOUS 1155 HAS SOUPS 1155 WITH SCORE 1156.266
AT ITER 7257 NEW BEST:: SOT 6709 SOS 1266 HAS SOPS 1266 HAS SOUS 1154 HAS SOUPS 1154 WITH SCORE 1155.266
AT ITER 7380 NEW BEST:: SOT 6709 SOS 1265 HAS SOPS 1265 HAS SOUS 1154 HAS SOUPS 1154 WITH SCORE 1155.265
AT ITER 7449 NEW BEST:: SOT 6706 SOS 1263 HAS SOPS 1263 HAS SOUS 1152 HAS SOUPS 1152 WITH SCORE 1153.263
AT ITER 7719 NEW BEST:: SOT 6704 SOS 1259 HAS SOPS 1259 HAS SOUS 1148 HAS SOUPS 1148 WITH SCORE 1149.259
AT ITER 7741 NEW BEST:: SOT 6704 SOS 1258 HAS SOPS 1258 HAS SOUS 1147 HAS SOUPS 1147 WITH SCORE 1148.258
AT ITER 7772 NEW BEST:: SOT 6704 SOS 1258 HAS SOPS 1258 HAS SOUS 1146 HAS SOUPS 1146 WITH SCORE 1147.258
AT ITER 7814 NEW BEST:: SOT 6703 SOS 1256 HAS SOPS 1256 HAS SOUS 1146 HAS SOUPS 1146 WITH SCORE 1147.256
AT ITER 7914 NEW BEST:: SOT 6703 SOS 1255 HAS SOPS 1255 HAS SOUS 1145 HAS SOUPS 1145 WITH SCORE 1146.255
AT ITER 8032 NEW BEST:: SOT 6701 SOS 1253 HAS SOPS 1253 HAS SOUS 1144 HAS SOUPS 1144 WITH SCORE 1145.253
AT ITER 8316 NEW BEST:: SOT 6701 SOS 1252 HAS SOPS 1252 HAS SOUS 1143 HAS SOUPS 1143 WITH SCORE 1144.252
AT ITER 8330 NEW BEST:: SOT 6701 SOS 1251 HAS SOPS 1251 HAS SOUS 1142 HAS SOUPS 1142 WITH SCORE 1143.251
AT ITER 8446 NEW BEST:: SOT 6699 SOS 1247 HAS SOPS 1247 HAS SOUS 1138 HAS SOUPS 1138 WITH SCORE 1139.247
AT ITER 8680 NEW BEST:: SOT 6698 SOS 1245 HAS SOPS 1245 HAS SOUS 1136 HAS SOUPS 1136 WITH SCORE 1137.245
AT ITER 8754 NEW BEST:: SOT 6697 SOS 1243 HAS SOPS 1243 HAS SOUS 1134 HAS SOUPS 1134 WITH SCORE 1135.243
AT ITER 8866 NEW BEST:: SOT 6697 SOS 1241 HAS SOPS 1241 HAS SOUS 1134 HAS SOUPS 1134 WITH SCORE 1135.241
AT ITER 8942 NEW BEST:: SOT 6709 SOS 1256 HAS SOPS 1256 HAS SOUS 1132 HAS SOUPS 1132 WITH SCORE 1133.256
AT ITER 8946 NEW BEST:: SOT 6709 SOS 1256 HAS SOPS 1256 HAS SOUS 1131 HAS SOUPS 1131 WITH SCORE 1132.256
AT ITER 9053 NEW BEST:: SOT 6711 SOS 1255 HAS SOPS 1255 HAS SOUS 1130 HAS SOUPS 1130 WITH SCORE 1131.255
AT ITER 9086 NEW BEST:: SOT 6710 SOS 1253 HAS SOPS 1253 HAS SOUS 1128 HAS SOUPS 1128 WITH SCORE 1129.253
AT ITER 9140 NEW BEST:: SOT 6709 SOS 1251 HAS SOPS 1251 HAS SOUS 1128 HAS SOUPS 1128 WITH SCORE 1129.251
AT ITER 9383 NEW BEST:: SOT 6709 SOS 1240 HAS SOPS 1240 HAS SOUS 1128 HAS SOUPS 1128 WITH SCORE 1129.24
AT ITER 9424 NEW BEST:: SOT 6709 SOS 1235 HAS SOPS 1235 HAS SOUS 1128 HAS SOUPS 1128 WITH SCORE 1129.235
AT ITER 9476 NEW BEST:: SOT 6709 SOS 1231 HAS SOPS 1231 HAS SOUS 1128 HAS SOUPS 1128 WITH SCORE 1129.231
AT ITER 9525 NEW BEST:: SOT 6709 SOS 1231 HAS SOPS 1231 HAS SOUS 1127 HAS SOUPS 1127 WITH SCORE 1128.231
AT ITER 9845 NEW BEST:: SOT 6708 SOS 1231 HAS SOPS 1231 HAS SOUS 1126 HAS SOUPS 1126 WITH SCORE 1127.231
AT ITER 9847 NEW BEST:: SOT 6715 SOS 1245 HAS SOPS 1245 HAS SOUS 1123 HAS SOUPS 1123 WITH SCORE 1124.245
AT ITER 9891 NEW BEST:: SOT 6708 SOS 1236 HAS SOPS 1236 HAS SOUS 1114 HAS SOUPS 1114 WITH SCORE 1115.236
STATE_SPACE STATES 48881955 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 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 354421862 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678472861303

--------------------
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="AutoFlight-PT-01b"
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 AutoFlight-PT-01b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813590800384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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