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.r331-tall-167889204900784.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 smartxred
Input is Ring-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204900784
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 7.7K Feb 26 10:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 10:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 10:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 10:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K Feb 26 10:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 97K Feb 26 10:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:45 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 47K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679159006178

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Ring-PT-none
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 17:03:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 17:03:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 17:03:28] [INFO ] Load time of PNML (sax parser for PT used): 46 ms
[2023-03-18 17:03:28] [INFO ] Transformed 139 places.
[2023-03-18 17:03:28] [INFO ] Transformed 87 transitions.
[2023-03-18 17:03:28] [INFO ] Found NUPN structural information;
[2023-03-18 17:03:28] [INFO ] Parsed PT model containing 139 places and 87 transitions and 410 arcs in 118 ms.
[2023-03-18 17:03:28] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 139 places, 87 transitions and 410 arcs took 5 ms.
Total runtime 156 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Ring (PT), instance none
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 139 places, 87 transitions, 410 arcs.
AT ITER 0 NEW BEST:: SOT 7461 SOS 2937 HAS SOPS 2902 HAS SOUS 2697 HAS SOUPS 2663 WITH SCORE 2665.937
AT ITER 27 NEW BEST:: SOT 7454 SOS 2930 HAS SOPS 2895 HAS SOUS 2690 HAS SOUPS 2656 WITH SCORE 2658.93
AT ITER 28 NEW BEST:: SOT 7458 SOS 2930 HAS SOPS 2888 HAS SOUS 2683 HAS SOUPS 2642 WITH SCORE 2644.93
AT ITER 34 NEW BEST:: SOT 7433 SOS 2926 HAS SOPS 2884 HAS SOUS 2675 HAS SOUPS 2634 WITH SCORE 2636.926
AT ITER 41 NEW BEST:: SOT 7433 SOS 2921 HAS SOPS 2879 HAS SOUS 2670 HAS SOUPS 2629 WITH SCORE 2631.921
AT ITER 53 NEW BEST:: SOT 7422 SOS 2914 HAS SOPS 2872 HAS SOUS 2663 HAS SOUPS 2622 WITH SCORE 2624.914
AT ITER 78 NEW BEST:: SOT 7417 SOS 2905 HAS SOPS 2863 HAS SOUS 2657 HAS SOUPS 2616 WITH SCORE 2618.905
AT ITER 84 NEW BEST:: SOT 7417 SOS 2900 HAS SOPS 2858 HAS SOUS 2657 HAS SOUPS 2616 WITH SCORE 2618.9
AT ITER 87 NEW BEST:: SOT 7417 SOS 2891 HAS SOPS 2849 HAS SOUS 2650 HAS SOUPS 2609 WITH SCORE 2611.891
AT ITER 104 NEW BEST:: SOT 7416 SOS 2890 HAS SOPS 2848 HAS SOUS 2650 HAS SOUPS 2609 WITH SCORE 2611.89
AT ITER 137 NEW BEST:: SOT 7397 SOS 2870 HAS SOPS 2828 HAS SOUS 2630 HAS SOUPS 2589 WITH SCORE 2591.87
AT ITER 143 NEW BEST:: SOT 7388 SOS 2859 HAS SOPS 2817 HAS SOUS 2619 HAS SOUPS 2578 WITH SCORE 2580.859
AT ITER 168 NEW BEST:: SOT 7375 SOS 2826 HAS SOPS 2784 HAS SOUS 2588 HAS SOUPS 2547 WITH SCORE 2549.826
AT ITER 170 NEW BEST:: SOT 7375 SOS 2835 HAS SOPS 2776 HAS SOUS 2579 HAS SOUPS 2530 WITH SCORE 2532.835
AT ITER 175 NEW BEST:: SOT 7364 SOS 2824 HAS SOPS 2765 HAS SOUS 2568 HAS SOUPS 2519 WITH SCORE 2521.824
AT ITER 202 NEW BEST:: SOT 7364 SOS 2838 HAS SOPS 2769 HAS SOUS 2574 HAS SOUPS 2516 WITH SCORE 2518.838
AT ITER 212 NEW BEST:: SOT 7355 SOS 2853 HAS SOPS 2784 HAS SOUS 2571 HAS SOUPS 2513 WITH SCORE 2515.853
AT ITER 225 NEW BEST:: SOT 7355 SOS 2849 HAS SOPS 2780 HAS SOUS 2567 HAS SOUPS 2509 WITH SCORE 2511.849
AT ITER 234 NEW BEST:: SOT 7346 SOS 2838 HAS SOPS 2769 HAS SOUS 2555 HAS SOUPS 2497 WITH SCORE 2499.838
AT ITER 242 NEW BEST:: SOT 7339 SOS 2835 HAS SOPS 2751 HAS SOUS 2552 HAS SOUPS 2479 WITH SCORE 2481.835
AT ITER 250 NEW BEST:: SOT 7316 SOS 2797 HAS SOPS 2713 HAS SOUS 2514 HAS SOUPS 2441 WITH SCORE 2443.797
AT ITER 256 NEW BEST:: SOT 7305 SOS 2775 HAS SOPS 2693 HAS SOUS 2483 HAS SOUPS 2412 WITH SCORE 2414.775
AT ITER 279 NEW BEST:: SOT 7296 SOS 2766 HAS SOPS 2684 HAS SOUS 2458 HAS SOUPS 2387 WITH SCORE 2389.766
AT ITER 317 NEW BEST:: SOT 7294 SOS 2764 HAS SOPS 2682 HAS SOUS 2455 HAS SOUPS 2384 WITH SCORE 2386.764
AT ITER 326 NEW BEST:: SOT 7293 SOS 2763 HAS SOPS 2681 HAS SOUS 2454 HAS SOUPS 2383 WITH SCORE 2385.763
AT ITER 330 NEW BEST:: SOT 7287 SOS 2751 HAS SOPS 2669 HAS SOUS 2442 HAS SOUPS 2371 WITH SCORE 2373.751
AT ITER 332 NEW BEST:: SOT 7287 SOS 2731 HAS SOPS 2649 HAS SOUS 2432 HAS SOUPS 2361 WITH SCORE 2363.731
AT ITER 352 NEW BEST:: SOT 7280 SOS 2730 HAS SOPS 2642 HAS SOUS 2431 HAS SOUPS 2354 WITH SCORE 2356.73
AT ITER 376 NEW BEST:: SOT 7280 SOS 2741 HAS SOPS 2640 HAS SOUS 2435 HAS SOUPS 2352 WITH SCORE 2354.741
AT ITER 415 NEW BEST:: SOT 7280 SOS 2740 HAS SOPS 2639 HAS SOUS 2435 HAS SOUPS 2352 WITH SCORE 2354.74
AT ITER 432 NEW BEST:: SOT 7280 SOS 2732 HAS SOPS 2631 HAS SOUS 2427 HAS SOUPS 2344 WITH SCORE 2346.732
AT ITER 501 NEW BEST:: SOT 7280 SOS 2726 HAS SOPS 2625 HAS SOUS 2427 HAS SOUPS 2344 WITH SCORE 2346.726
AT ITER 534 NEW BEST:: SOT 7280 SOS 2722 HAS SOPS 2621 HAS SOUS 2421 HAS SOUPS 2338 WITH SCORE 2340.722
AT ITER 543 NEW BEST:: SOT 7279 SOS 2721 HAS SOPS 2620 HAS SOUS 2420 HAS SOUPS 2337 WITH SCORE 2339.721
AT ITER 544 NEW BEST:: SOT 7278 SOS 2720 HAS SOPS 2619 HAS SOUS 2418 HAS SOUPS 2335 WITH SCORE 2337.72
AT ITER 547 NEW BEST:: SOT 7272 SOS 2717 HAS SOPS 2616 HAS SOUS 2415 HAS SOUPS 2332 WITH SCORE 2334.717
AT ITER 550 NEW BEST:: SOT 7267 SOS 2714 HAS SOPS 2613 HAS SOUS 2412 HAS SOUPS 2329 WITH SCORE 2331.714
AT ITER 563 NEW BEST:: SOT 7267 SOS 2740 HAS SOPS 2631 HAS SOUS 2404 HAS SOUPS 2321 WITH SCORE 2323.74
AT ITER 565 NEW BEST:: SOT 7266 SOS 2739 HAS SOPS 2630 HAS SOUS 2402 HAS SOUPS 2319 WITH SCORE 2321.739
AT ITER 569 NEW BEST:: SOT 7266 SOS 2735 HAS SOPS 2622 HAS SOUS 2404 HAS SOUPS 2317 WITH SCORE 2319.735
AT ITER 571 NEW BEST:: SOT 7253 SOS 2680 HAS SOPS 2567 HAS SOUS 2359 HAS SOUPS 2272 WITH SCORE 2274.68
AT ITER 574 NEW BEST:: SOT 7246 SOS 2659 HAS SOPS 2560 HAS SOUS 2345 HAS SOUPS 2265 WITH SCORE 2267.659
AT ITER 634 NEW BEST:: SOT 7232 SOS 2657 HAS SOPS 2558 HAS SOUS 2343 HAS SOUPS 2263 WITH SCORE 2265.657
AT ITER 663 NEW BEST:: SOT 7208 SOS 2629 HAS SOPS 2540 HAS SOUS 2315 HAS SOUPS 2245 WITH SCORE 2247.629
AT ITER 671 NEW BEST:: SOT 7199 SOS 2622 HAS SOPS 2533 HAS SOUS 2302 HAS SOUPS 2232 WITH SCORE 2234.622
AT ITER 683 NEW BEST:: SOT 7199 SOS 2617 HAS SOPS 2533 HAS SOUS 2297 HAS SOUPS 2232 WITH SCORE 2234.617
AT ITER 714 NEW BEST:: SOT 7208 SOS 2589 HAS SOPS 2505 HAS SOUS 2278 HAS SOUPS 2213 WITH SCORE 2215.589
AT ITER 741 NEW BEST:: SOT 7196 SOS 2577 HAS SOPS 2493 HAS SOUS 2266 HAS SOUPS 2201 WITH SCORE 2203.577
AT ITER 746 NEW BEST:: SOT 7190 SOS 2553 HAS SOPS 2469 HAS SOUS 2248 HAS SOUPS 2183 WITH SCORE 2185.553
AT ITER 758 NEW BEST:: SOT 7187 SOS 2535 HAS SOPS 2451 HAS SOUS 2235 HAS SOUPS 2170 WITH SCORE 2172.535
AT ITER 768 NEW BEST:: SOT 7171 SOS 2532 HAS SOPS 2448 HAS SOUS 2232 HAS SOUPS 2167 WITH SCORE 2169.532
AT ITER 782 NEW BEST:: SOT 7168 SOS 2529 HAS SOPS 2445 HAS SOUS 2229 HAS SOUPS 2164 WITH SCORE 2166.529
AT ITER 790 NEW BEST:: SOT 7150 SOS 2518 HAS SOPS 2429 HAS SOUS 2212 HAS SOUPS 2147 WITH SCORE 2149.518
AT ITER 819 NEW BEST:: SOT 7149 SOS 2512 HAS SOPS 2423 HAS SOUS 2206 HAS SOUPS 2141 WITH SCORE 2143.512
AT ITER 832 NEW BEST:: SOT 7145 SOS 2504 HAS SOPS 2415 HAS SOUS 2198 HAS SOUPS 2133 WITH SCORE 2135.504
AT ITER 843 NEW BEST:: SOT 7145 SOS 2504 HAS SOPS 2415 HAS SOUS 2197 HAS SOUPS 2132 WITH SCORE 2134.504
AT ITER 847 NEW BEST:: SOT 7143 SOS 2494 HAS SOPS 2413 HAS SOUS 2191 HAS SOUPS 2130 WITH SCORE 2132.494
AT ITER 865 NEW BEST:: SOT 7142 SOS 2492 HAS SOPS 2411 HAS SOUS 2189 HAS SOUPS 2128 WITH SCORE 2130.492
AT ITER 926 NEW BEST:: SOT 7141 SOS 2490 HAS SOPS 2409 HAS SOUS 2187 HAS SOUPS 2126 WITH SCORE 2128.49
AT ITER 936 NEW BEST:: SOT 7128 SOS 2506 HAS SOPS 2409 HAS SOUS 2171 HAS SOUPS 2110 WITH SCORE 2112.506
AT ITER 939 NEW BEST:: SOT 7126 SOS 2502 HAS SOPS 2405 HAS SOUS 2167 HAS SOUPS 2106 WITH SCORE 2108.502
AT ITER 950 NEW BEST:: SOT 7114 SOS 2478 HAS SOPS 2381 HAS SOUS 2143 HAS SOUPS 2082 WITH SCORE 2084.478
AT ITER 967 NEW BEST:: SOT 7113 SOS 2466 HAS SOPS 2354 HAS SOUS 2131 HAS SOUPS 2071 WITH SCORE 2073.466
AT ITER 973 NEW BEST:: SOT 7096 SOS 2449 HAS SOPS 2337 HAS SOUS 2112 HAS SOUPS 2052 WITH SCORE 2054.449
AT ITER 976 NEW BEST:: SOT 7113 SOS 2487 HAS SOPS 2334 HAS SOUS 2129 HAS SOUPS 2048 WITH SCORE 2050.487
AT ITER 1007 NEW BEST:: SOT 7082 SOS 2442 HAS SOPS 2309 HAS SOUS 2098 HAS SOUPS 2031 WITH SCORE 2033.442
AT ITER 1050 NEW BEST:: SOT 7080 SOS 2440 HAS SOPS 2312 HAS SOUS 2097 HAS SOUPS 2030 WITH SCORE 2032.44
AT ITER 1070 NEW BEST:: SOT 7077 SOS 2425 HAS SOPS 2297 HAS SOUS 2091 HAS SOUPS 2024 WITH SCORE 2026.425
AT ITER 1083 NEW BEST:: SOT 7074 SOS 2422 HAS SOPS 2294 HAS SOUS 2088 HAS SOUPS 2021 WITH SCORE 2023.422
AT ITER 1094 NEW BEST:: SOT 7074 SOS 2420 HAS SOPS 2292 HAS SOUS 2086 HAS SOUPS 2019 WITH SCORE 2021.42
AT ITER 1148 NEW BEST:: SOT 7074 SOS 2418 HAS SOPS 2290 HAS SOUS 2084 HAS SOUPS 2017 WITH SCORE 2019.418
AT ITER 1197 NEW BEST:: SOT 7066 SOS 2417 HAS SOPS 2289 HAS SOUS 2076 HAS SOUPS 2009 WITH SCORE 2011.417
AT ITER 1206 NEW BEST:: SOT 7066 SOS 2417 HAS SOPS 2279 HAS SOUS 2069 HAS SOUPS 1992 WITH SCORE 1994.417
AT ITER 1209 NEW BEST:: SOT 7062 SOS 2405 HAS SOPS 2267 HAS SOUS 2057 HAS SOUPS 1980 WITH SCORE 1982.405
AT ITER 1218 NEW BEST:: SOT 7054 SOS 2395 HAS SOPS 2257 HAS SOUS 2047 HAS SOUPS 1970 WITH SCORE 1972.395
AT ITER 1293 NEW BEST:: SOT 7054 SOS 2378 HAS SOPS 2240 HAS SOUS 2030 HAS SOUPS 1953 WITH SCORE 1955.378
AT ITER 1295 NEW BEST:: SOT 7054 SOS 2358 HAS SOPS 2220 HAS SOUS 2018 HAS SOUPS 1941 WITH SCORE 1943.358
AT ITER 1332 NEW BEST:: SOT 7053 SOS 2346 HAS SOPS 2208 HAS SOUS 2017 HAS SOUPS 1940 WITH SCORE 1942.346
AT ITER 1357 NEW BEST:: SOT 7047 SOS 2334 HAS SOPS 2196 HAS SOUS 2008 HAS SOUPS 1931 WITH SCORE 1933.334
AT ITER 1372 NEW BEST:: SOT 7042 SOS 2334 HAS SOPS 2196 HAS SOUS 2006 HAS SOUPS 1929 WITH SCORE 1931.334
AT ITER 1376 NEW BEST:: SOT 7048 SOS 2328 HAS SOPS 2190 HAS SOUS 2006 HAS SOUPS 1929 WITH SCORE 1931.328
AT ITER 1377 NEW BEST:: SOT 7048 SOS 2336 HAS SOPS 2183 HAS SOUS 2006 HAS SOUPS 1922 WITH SCORE 1924.336
AT ITER 1417 NEW BEST:: SOT 7048 SOS 2334 HAS SOPS 2181 HAS SOUS 2004 HAS SOUPS 1920 WITH SCORE 1922.334
AT ITER 1421 NEW BEST:: SOT 7048 SOS 2334 HAS SOPS 2181 HAS SOUS 2003 HAS SOUPS 1919 WITH SCORE 1921.334
AT ITER 1450 NEW BEST:: SOT 7047 SOS 2333 HAS SOPS 2180 HAS SOUS 1984 HAS SOUPS 1900 WITH SCORE 1902.333
AT ITER 1470 NEW BEST:: SOT 7033 SOS 2278 HAS SOPS 2179 HAS SOUS 1965 HAS SOUPS 1899 WITH SCORE 1901.278
AT ITER 1504 NEW BEST:: SOT 7030 SOS 2273 HAS SOPS 2174 HAS SOUS 1964 HAS SOUPS 1898 WITH SCORE 1900.273
AT ITER 1508 NEW BEST:: SOT 7030 SOS 2266 HAS SOPS 2174 HAS SOUS 1961 HAS SOUPS 1898 WITH SCORE 1900.266
AT ITER 1517 NEW BEST:: SOT 7024 SOS 2265 HAS SOPS 2173 HAS SOUS 1952 HAS SOUPS 1889 WITH SCORE 1891.265
AT ITER 1525 NEW BEST:: SOT 7015 SOS 2272 HAS SOPS 2180 HAS SOUS 1948 HAS SOUPS 1885 WITH SCORE 1887.272
AT ITER 1586 NEW BEST:: SOT 7015 SOS 2264 HAS SOPS 2172 HAS SOUS 1940 HAS SOUPS 1877 WITH SCORE 1879.264
AT ITER 1594 NEW BEST:: SOT 7004 SOS 2253 HAS SOPS 2161 HAS SOUS 1929 HAS SOUPS 1866 WITH SCORE 1868.253
AT ITER 1612 NEW BEST:: SOT 7000 SOS 2328 HAS SOPS 2157 HAS SOUS 1944 HAS SOUPS 1854 WITH SCORE 1856.328
AT ITER 1623 NEW BEST:: SOT 6998 SOS 2326 HAS SOPS 2155 HAS SOUS 1942 HAS SOUPS 1852 WITH SCORE 1854.326
AT ITER 1643 NEW BEST:: SOT 6995 SOS 2320 HAS SOPS 2149 HAS SOUS 1936 HAS SOUPS 1846 WITH SCORE 1848.32
AT ITER 1654 NEW BEST:: SOT 6997 SOS 2328 HAS SOPS 2145 HAS SOUS 1938 HAS SOUPS 1844 WITH SCORE 1846.328
AT ITER 1668 NEW BEST:: SOT 6995 SOS 2327 HAS SOPS 2144 HAS SOUS 1928 HAS SOUPS 1834 WITH SCORE 1836.327
AT ITER 1674 NEW BEST:: SOT 6997 SOS 2327 HAS SOPS 2144 HAS SOUS 1926 HAS SOUPS 1832 WITH SCORE 1834.327
AT ITER 1691 NEW BEST:: SOT 6994 SOS 2324 HAS SOPS 2141 HAS SOUS 1923 HAS SOUPS 1829 WITH SCORE 1831.324
AT ITER 1737 NEW BEST:: SOT 6994 SOS 2323 HAS SOPS 2140 HAS SOUS 1922 HAS SOUPS 1828 WITH SCORE 1830.323
AT ITER 1752 NEW BEST:: SOT 6992 SOS 2321 HAS SOPS 2138 HAS SOUS 1920 HAS SOUPS 1826 WITH SCORE 1828.321
AT ITER 1786 NEW BEST:: SOT 6998 SOS 2321 HAS SOPS 2138 HAS SOUS 1913 HAS SOUPS 1819 WITH SCORE 1821.321
AT ITER 1796 NEW BEST:: SOT 6995 SOS 2315 HAS SOPS 2132 HAS SOUS 1907 HAS SOUPS 1813 WITH SCORE 1815.315
AT ITER 1815 NEW BEST:: SOT 6994 SOS 2314 HAS SOPS 2131 HAS SOUS 1906 HAS SOUPS 1812 WITH SCORE 1814.314
AT ITER 1852 NEW BEST:: SOT 6986 SOS 2306 HAS SOPS 2123 HAS SOUS 1898 HAS SOUPS 1804 WITH SCORE 1806.306
AT ITER 1879 NEW BEST:: SOT 6986 SOS 2305 HAS SOPS 2126 HAS SOUS 1898 HAS SOUPS 1804 WITH SCORE 1806.305
AT ITER 1880 NEW BEST:: SOT 6982 SOS 2301 HAS SOPS 2122 HAS SOUS 1894 HAS SOUPS 1800 WITH SCORE 1802.301
AT ITER 1907 NEW BEST:: SOT 6978 SOS 2311 HAS SOPS 2118 HAS SOUS 1894 HAS SOUPS 1793 WITH SCORE 1795.311
AT ITER 1915 NEW BEST:: SOT 6964 SOS 2332 HAS SOPS 2139 HAS SOUS 1888 HAS SOUPS 1787 WITH SCORE 1789.332
AT ITER 1921 NEW BEST:: SOT 6960 SOS 2328 HAS SOPS 2135 HAS SOUS 1881 HAS SOUPS 1780 WITH SCORE 1782.328
AT ITER 2001 NEW BEST:: SOT 6960 SOS 2329 HAS SOPS 2128 HAS SOUS 1880 HAS SOUPS 1779 WITH SCORE 1781.329
AT ITER 2047 NEW BEST:: SOT 6960 SOS 2299 HAS SOPS 2098 HAS SOUS 1877 HAS SOUPS 1776 WITH SCORE 1778.299
AT ITER 2061 NEW BEST:: SOT 6960 SOS 2297 HAS SOPS 2096 HAS SOUS 1875 HAS SOUPS 1774 WITH SCORE 1776.297
AT ITER 2063 NEW BEST:: SOT 6956 SOS 2295 HAS SOPS 2094 HAS SOUS 1869 HAS SOUPS 1768 WITH SCORE 1770.295
AT ITER 2104 NEW BEST:: SOT 6953 SOS 2292 HAS SOPS 2091 HAS SOUS 1866 HAS SOUPS 1765 WITH SCORE 1767.292
AT ITER 2121 NEW BEST:: SOT 6953 SOS 2288 HAS SOPS 2087 HAS SOUS 1862 HAS SOUPS 1761 WITH SCORE 1763.288
AT ITER 2139 NEW BEST:: SOT 6945 SOS 2280 HAS SOPS 2079 HAS SOUS 1854 HAS SOUPS 1753 WITH SCORE 1755.28
AT ITER 2165 NEW BEST:: SOT 6943 SOS 2276 HAS SOPS 2075 HAS SOUS 1850 HAS SOUPS 1749 WITH SCORE 1751.276
AT ITER 2181 NEW BEST:: SOT 6944 SOS 2277 HAS SOPS 2075 HAS SOUS 1849 HAS SOUPS 1748 WITH SCORE 1750.277
AT ITER 2223 NEW BEST:: SOT 6945 SOS 2276 HAS SOPS 2074 HAS SOUS 1848 HAS SOUPS 1747 WITH SCORE 1749.276
AT ITER 2273 NEW BEST:: SOT 6942 SOS 2275 HAS SOPS 2073 HAS SOUS 1846 HAS SOUPS 1745 WITH SCORE 1747.275
AT ITER 2280 NEW BEST:: SOT 6942 SOS 2273 HAS SOPS 2071 HAS SOUS 1846 HAS SOUPS 1745 WITH SCORE 1747.273
AT ITER 2281 NEW BEST:: SOT 6939 SOS 2270 HAS SOPS 2068 HAS SOUS 1843 HAS SOUPS 1742 WITH SCORE 1744.27
AT ITER 2297 NEW BEST:: SOT 6937 SOS 2266 HAS SOPS 2064 HAS SOUS 1837 HAS SOUPS 1736 WITH SCORE 1738.266
AT ITER 2367 NEW BEST:: SOT 6929 SOS 2258 HAS SOPS 2064 HAS SOUS 1829 HAS SOUPS 1736 WITH SCORE 1738.258
AT ITER 2386 NEW BEST:: SOT 6922 SOS 2239 HAS SOPS 2045 HAS SOUS 1816 HAS SOUPS 1723 WITH SCORE 1725.239
AT ITER 2403 NEW BEST:: SOT 6923 SOS 2229 HAS SOPS 2035 HAS SOUS 1814 HAS SOUPS 1721 WITH SCORE 1723.229
AT ITER 2413 NEW BEST:: SOT 6928 SOS 2234 HAS SOPS 2040 HAS SOUS 1810 HAS SOUPS 1717 WITH SCORE 1719.234
AT ITER 2429 NEW BEST:: SOT 6928 SOS 2232 HAS SOPS 2038 HAS SOUS 1807 HAS SOUPS 1714 WITH SCORE 1716.232
AT ITER 2450 NEW BEST:: SOT 6927 SOS 2231 HAS SOPS 2037 HAS SOUS 1804 HAS SOUPS 1711 WITH SCORE 1713.231
AT ITER 2453 NEW BEST:: SOT 6932 SOS 2219 HAS SOPS 2025 HAS SOUS 1792 HAS SOUPS 1699 WITH SCORE 1701.219
AT ITER 2588 NEW BEST:: SOT 6932 SOS 2207 HAS SOPS 2013 HAS SOUS 1786 HAS SOUPS 1693 WITH SCORE 1695.207
AT ITER 2596 NEW BEST:: SOT 6929 SOS 2204 HAS SOPS 2010 HAS SOUS 1783 HAS SOUPS 1690 WITH SCORE 1692.204
AT ITER 2624 NEW BEST:: SOT 6939 SOS 2166 HAS SOPS 1972 HAS SOUS 1776 HAS SOUPS 1683 WITH SCORE 1685.166
AT ITER 2673 NEW BEST:: SOT 6939 SOS 2166 HAS SOPS 1972 HAS SOUS 1775 HAS SOUPS 1682 WITH SCORE 1684.166
AT ITER 2704 NEW BEST:: SOT 6941 SOS 2168 HAS SOPS 1974 HAS SOUS 1774 HAS SOUPS 1681 WITH SCORE 1683.168
AT ITER 2730 NEW BEST:: SOT 6941 SOS 2166 HAS SOPS 1972 HAS SOUS 1772 HAS SOUPS 1679 WITH SCORE 1681.166
AT ITER 2734 NEW BEST:: SOT 6941 SOS 2162 HAS SOPS 1968 HAS SOUS 1771 HAS SOUPS 1678 WITH SCORE 1680.162
AT ITER 2774 NEW BEST:: SOT 6940 SOS 2160 HAS SOPS 1966 HAS SOUS 1769 HAS SOUPS 1676 WITH SCORE 1678.16
AT ITER 2915 NEW BEST:: SOT 6958 SOS 2206 HAS SOPS 1945 HAS SOUS 1790 HAS SOUPS 1674 WITH SCORE 1676.206
AT ITER 2971 NEW BEST:: SOT 6955 SOS 2194 HAS SOPS 1933 HAS SOUS 1781 HAS SOUPS 1665 WITH SCORE 1667.194
AT ITER 3005 NEW BEST:: SOT 6953 SOS 2190 HAS SOPS 1929 HAS SOUS 1777 HAS SOUPS 1661 WITH SCORE 1663.19
AT ITER 3024 NEW BEST:: SOT 6955 SOS 2188 HAS SOPS 1927 HAS SOUS 1775 HAS SOUPS 1659 WITH SCORE 1661.188
AT ITER 3098 NEW BEST:: SOT 6954 SOS 2187 HAS SOPS 1926 HAS SOUS 1774 HAS SOUPS 1658 WITH SCORE 1660.187
AT ITER 3173 NEW BEST:: SOT 6954 SOS 2187 HAS SOPS 1915 HAS SOUS 1772 HAS SOUPS 1653 WITH SCORE 1655.187
AT ITER 3215 NEW BEST:: SOT 6944 SOS 2178 HAS SOPS 1906 HAS SOUS 1763 HAS SOUPS 1644 WITH SCORE 1646.178
AT ITER 3225 NEW BEST:: SOT 6940 SOS 2176 HAS SOPS 1904 HAS SOUS 1761 HAS SOUPS 1642 WITH SCORE 1644.176
AT ITER 3260 NEW BEST:: SOT 6934 SOS 2150 HAS SOPS 1898 HAS SOUS 1749 HAS SOUPS 1636 WITH SCORE 1638.15
AT ITER 3334 NEW BEST:: SOT 6936 SOS 2146 HAS SOPS 1894 HAS SOUS 1745 HAS SOUPS 1632 WITH SCORE 1634.146
AT ITER 3361 NEW BEST:: SOT 6932 SOS 2142 HAS SOPS 1890 HAS SOUS 1741 HAS SOUPS 1628 WITH SCORE 1630.142
AT ITER 3366 NEW BEST:: SOT 6925 SOS 2139 HAS SOPS 1887 HAS SOUS 1737 HAS SOUPS 1624 WITH SCORE 1626.139
AT ITER 3373 NEW BEST:: SOT 6921 SOS 2075 HAS SOPS 1883 HAS SOUS 1713 HAS SOUPS 1620 WITH SCORE 1622.075
AT ITER 3417 NEW BEST:: SOT 6920 SOS 2074 HAS SOPS 1885 HAS SOUS 1712 HAS SOUPS 1620 WITH SCORE 1622.074
AT ITER 3430 NEW BEST:: SOT 6916 SOS 2070 HAS SOPS 1881 HAS SOUS 1708 HAS SOUPS 1616 WITH SCORE 1618.07
AT ITER 3505 NEW BEST:: SOT 6915 SOS 2049 HAS SOPS 1852 HAS SOUS 1697 HAS SOUPS 1597 WITH SCORE 1599.049
AT ITER 3509 NEW BEST:: SOT 6911 SOS 2045 HAS SOPS 1848 HAS SOUS 1693 HAS SOUPS 1593 WITH SCORE 1595.045
AT ITER 3518 NEW BEST:: SOT 6910 SOS 2044 HAS SOPS 1847 HAS SOUS 1692 HAS SOUPS 1592 WITH SCORE 1594.044
AT ITER 3551 NEW BEST:: SOT 6908 SOS 2042 HAS SOPS 1845 HAS SOUS 1690 HAS SOUPS 1590 WITH SCORE 1592.042
AT ITER 3618 NEW BEST:: SOT 6907 SOS 2041 HAS SOPS 1844 HAS SOUS 1689 HAS SOUPS 1589 WITH SCORE 1591.041
AT ITER 3630 NEW BEST:: SOT 6907 SOS 2032 HAS SOPS 1833 HAS SOUS 1680 HAS SOUPS 1578 WITH SCORE 1580.032
AT ITER 3651 NEW BEST:: SOT 6906 SOS 2032 HAS SOPS 1830 HAS SOUS 1679 HAS SOUPS 1576 WITH SCORE 1578.032
AT ITER 3776 NEW BEST:: SOT 6888 SOS 2021 HAS SOPS 1819 HAS SOUS 1668 HAS SOUPS 1565 WITH SCORE 1567.021
AT ITER 3798 NEW BEST:: SOT 6888 SOS 2019 HAS SOPS 1817 HAS SOUS 1666 HAS SOUPS 1563 WITH SCORE 1565.019
AT ITER 3865 NEW BEST:: SOT 6887 SOS 2018 HAS SOPS 1816 HAS SOUS 1665 HAS SOUPS 1562 WITH SCORE 1564.018
AT ITER 3868 NEW BEST:: SOT 6887 SOS 2026 HAS SOPS 1810 HAS SOUS 1666 HAS SOUPS 1559 WITH SCORE 1561.026
AT ITER 4024 NEW BEST:: SOT 6891 SOS 2030 HAS SOPS 1808 HAS SOUS 1670 HAS SOUPS 1557 WITH SCORE 1559.03
AT ITER 4109 NEW BEST:: SOT 6889 SOS 2028 HAS SOPS 1806 HAS SOUS 1668 HAS SOUPS 1555 WITH SCORE 1557.028
AT ITER 4129 NEW BEST:: SOT 6888 SOS 2027 HAS SOPS 1807 HAS SOUS 1667 HAS SOUPS 1555 WITH SCORE 1557.027
AT ITER 4166 NEW BEST:: SOT 6888 SOS 2027 HAS SOPS 1804 HAS SOUS 1669 HAS SOUPS 1554 WITH SCORE 1556.027
AT ITER 4172 NEW BEST:: SOT 6888 SOS 2026 HAS SOPS 1803 HAS SOUS 1668 HAS SOUPS 1553 WITH SCORE 1555.026
AT ITER 4225 NEW BEST:: SOT 6888 SOS 2018 HAS SOPS 1789 HAS SOUS 1671 HAS SOUPS 1548 WITH SCORE 1550.018
AT ITER 4314 NEW BEST:: SOT 6888 SOS 2015 HAS SOPS 1786 HAS SOUS 1670 HAS SOUPS 1547 WITH SCORE 1549.015
AT ITER 4401 NEW BEST:: SOT 6888 SOS 2012 HAS SOPS 1783 HAS SOUS 1669 HAS SOUPS 1546 WITH SCORE 1548.012
AT ITER 4451 NEW BEST:: SOT 6887 SOS 2011 HAS SOPS 1782 HAS SOUS 1668 HAS SOUPS 1545 WITH SCORE 1547.011
AT ITER 4472 NEW BEST:: SOT 6888 SOS 2006 HAS SOPS 1777 HAS SOUS 1663 HAS SOUPS 1540 WITH SCORE 1542.006
AT ITER 4572 NEW BEST:: SOT 6884 SOS 2014 HAS SOPS 1770 HAS SOUS 1668 HAS SOUPS 1530 WITH SCORE 1532.014
AT ITER 4631 NEW BEST:: SOT 6882 SOS 2016 HAS SOPS 1772 HAS SOUS 1667 HAS SOUPS 1529 WITH SCORE 1531.016
AT ITER 4668 NEW BEST:: SOT 6883 SOS 2014 HAS SOPS 1770 HAS SOUS 1665 HAS SOUPS 1527 WITH SCORE 1529.014
AT ITER 4684 NEW BEST:: SOT 6880 SOS 2011 HAS SOPS 1767 HAS SOUS 1662 HAS SOUPS 1524 WITH SCORE 1526.011
AT ITER 4744 NEW BEST:: SOT 6879 SOS 2005 HAS SOPS 1760 HAS SOUS 1655 HAS SOUPS 1517 WITH SCORE 1519.005
AT ITER 4755 NEW BEST:: SOT 6876 SOS 1998 HAS SOPS 1757 HAS SOUS 1649 HAS SOUPS 1514 WITH SCORE 1515.998
AT ITER 4763 NEW BEST:: SOT 6866 SOS 1994 HAS SOPS 1753 HAS SOUS 1645 HAS SOUPS 1510 WITH SCORE 1511.994
AT ITER 4807 NEW BEST:: SOT 6864 SOS 1988 HAS SOPS 1746 HAS SOUS 1646 HAS SOUPS 1510 WITH SCORE 1511.988
AT ITER 4985 NEW BEST:: SOT 6863 SOS 1986 HAS SOPS 1744 HAS SOUS 1644 HAS SOUPS 1508 WITH SCORE 1509.986
AT ITER 5028 NEW BEST:: SOT 6863 SOS 1986 HAS SOPS 1744 HAS SOUS 1643 HAS SOUPS 1507 WITH SCORE 1508.986
AT ITER 5125 NEW BEST:: SOT 6854 SOS 1974 HAS SOPS 1732 HAS SOUS 1631 HAS SOUPS 1495 WITH SCORE 1496.974
AT ITER 5144 NEW BEST:: SOT 6852 SOS 1972 HAS SOPS 1730 HAS SOUS 1629 HAS SOUPS 1493 WITH SCORE 1494.972
AT ITER 5188 NEW BEST:: SOT 6845 SOS 1956 HAS SOPS 1723 HAS SOUS 1613 HAS SOUPS 1486 WITH SCORE 1487.956
AT ITER 5412 NEW BEST:: SOT 6844 SOS 1955 HAS SOPS 1722 HAS SOUS 1612 HAS SOUPS 1485 WITH SCORE 1486.955
AT ITER 5581 NEW BEST:: SOT 6844 SOS 1955 HAS SOPS 1722 HAS SOUS 1611 HAS SOUPS 1484 WITH SCORE 1485.955
AT ITER 5593 NEW BEST:: SOT 6843 SOS 1953 HAS SOPS 1720 HAS SOUS 1609 HAS SOUPS 1482 WITH SCORE 1483.953
AT ITER 5594 NEW BEST:: SOT 6841 SOS 1952 HAS SOPS 1719 HAS SOUS 1608 HAS SOUPS 1481 WITH SCORE 1482.952
AT ITER 5601 NEW BEST:: SOT 6844 SOS 1951 HAS SOPS 1717 HAS SOUS 1607 HAS SOUPS 1479 WITH SCORE 1480.951
AT ITER 5634 NEW BEST:: SOT 6844 SOS 1951 HAS SOPS 1717 HAS SOUS 1606 HAS SOUPS 1478 WITH SCORE 1479.951
AT ITER 5690 NEW BEST:: SOT 6844 SOS 1959 HAS SOPS 1713 HAS SOUS 1609 HAS SOUPS 1477 WITH SCORE 1478.959
AT ITER 6103 NEW BEST:: SOT 6841 SOS 1956 HAS SOPS 1714 HAS SOUS 1607 HAS SOUPS 1475 WITH SCORE 1476.956
AT ITER 6147 NEW BEST:: SOT 6837 SOS 1952 HAS SOPS 1710 HAS SOUS 1603 HAS SOUPS 1471 WITH SCORE 1472.952
AT ITER 6219 NEW BEST:: SOT 6835 SOS 1951 HAS SOPS 1709 HAS SOUS 1602 HAS SOUPS 1470 WITH SCORE 1471.951
AT ITER 6220 NEW BEST:: SOT 6833 SOS 1949 HAS SOPS 1707 HAS SOUS 1600 HAS SOUPS 1468 WITH SCORE 1469.949
AT ITER 6315 NEW BEST:: SOT 6832 SOS 1948 HAS SOPS 1706 HAS SOUS 1598 HAS SOUPS 1466 WITH SCORE 1467.948
AT ITER 6316 NEW BEST:: SOT 6826 SOS 1946 HAS SOPS 1704 HAS SOUS 1594 HAS SOUPS 1462 WITH SCORE 1463.946
AT ITER 6348 NEW BEST:: SOT 6823 SOS 1943 HAS SOPS 1701 HAS SOUS 1591 HAS SOUPS 1459 WITH SCORE 1460.943
AT ITER 6365 NEW BEST:: SOT 6823 SOS 1940 HAS SOPS 1698 HAS SOUS 1588 HAS SOUPS 1456 WITH SCORE 1457.94
AT ITER 6425 NEW BEST:: SOT 6827 SOS 1949 HAS SOPS 1690 HAS SOUS 1589 HAS SOUPS 1449 WITH SCORE 1450.949
AT ITER 6440 NEW BEST:: SOT 6825 SOS 1949 HAS SOPS 1688 HAS SOUS 1586 HAS SOUPS 1446 WITH SCORE 1447.949
AT ITER 6449 NEW BEST:: SOT 6825 SOS 1948 HAS SOPS 1687 HAS SOUS 1585 HAS SOUPS 1445 WITH SCORE 1446.948
AT ITER 6564 NEW BEST:: SOT 6819 SOS 1939 HAS SOPS 1696 HAS SOUS 1577 HAS SOUPS 1443 WITH SCORE 1444.939
AT ITER 6569 NEW BEST:: SOT 6812 SOS 1932 HAS SOPS 1703 HAS SOUS 1568 HAS SOUPS 1441 WITH SCORE 1442.932
AT ITER 6632 NEW BEST:: SOT 6809 SOS 1929 HAS SOPS 1701 HAS SOUS 1566 HAS SOUPS 1440 WITH SCORE 1441.929
AT ITER 6646 NEW BEST:: SOT 6805 SOS 1927 HAS SOPS 1699 HAS SOUS 1564 HAS SOUPS 1438 WITH SCORE 1439.927
AT ITER 6656 NEW BEST:: SOT 6804 SOS 1926 HAS SOPS 1698 HAS SOUS 1561 HAS SOUPS 1435 WITH SCORE 1436.926
AT ITER 6686 NEW BEST:: SOT 6801 SOS 1911 HAS SOPS 1680 HAS SOUS 1555 HAS SOUPS 1426 WITH SCORE 1427.911
AT ITER 6697 NEW BEST:: SOT 6801 SOS 1913 HAS SOPS 1682 HAS SOUS 1543 HAS SOUPS 1414 WITH SCORE 1415.913
AT ITER 6850 NEW BEST:: SOT 6801 SOS 1913 HAS SOPS 1682 HAS SOUS 1539 HAS SOUPS 1410 WITH SCORE 1411.913
AT ITER 7327 NEW BEST:: SOT 6804 SOS 1907 HAS SOPS 1676 HAS SOUS 1539 HAS SOUPS 1410 WITH SCORE 1411.907
AT ITER 7440 NEW BEST:: SOT 6804 SOS 1915 HAS SOPS 1684 HAS SOUS 1538 HAS SOUPS 1409 WITH SCORE 1410.915
AT ITER 7503 NEW BEST:: SOT 6804 SOS 1915 HAS SOPS 1684 HAS SOUS 1536 HAS SOUPS 1407 WITH SCORE 1408.915
AT ITER 7559 NEW BEST:: SOT 6806 SOS 1911 HAS SOPS 1680 HAS SOUS 1532 HAS SOUPS 1403 WITH SCORE 1404.911
AT ITER 7632 NEW BEST:: SOT 6806 SOS 1908 HAS SOPS 1677 HAS SOUS 1529 HAS SOUPS 1400 WITH SCORE 1401.908
AT ITER 7642 NEW BEST:: SOT 6805 SOS 1907 HAS SOPS 1676 HAS SOUS 1528 HAS SOUPS 1399 WITH SCORE 1400.907
AT ITER 7675 NEW BEST:: SOT 6803 SOS 1904 HAS SOPS 1674 HAS SOUS 1525 HAS SOUPS 1397 WITH SCORE 1398.904
AT ITER 8047 NEW BEST:: SOT 6802 SOS 1900 HAS SOPS 1670 HAS SOUS 1522 HAS SOUPS 1394 WITH SCORE 1395.9
AT ITER 8080 NEW BEST:: SOT 6802 SOS 1900 HAS SOPS 1670 HAS SOUS 1520 HAS SOUPS 1392 WITH SCORE 1393.9
AT ITER 8095 NEW BEST:: SOT 6802 SOS 1899 HAS SOPS 1669 HAS SOUS 1520 HAS SOUPS 1392 WITH SCORE 1393.899
AT ITER 8354 NEW BEST:: SOT 6800 SOS 1892 HAS SOPS 1669 HAS SOUS 1517 HAS SOUPS 1392 WITH SCORE 1393.892
AT ITER 8460 NEW BEST:: SOT 6800 SOS 1887 HAS SOPS 1664 HAS SOUS 1515 HAS SOUPS 1390 WITH SCORE 1391.887
AT ITER 8537 NEW BEST:: SOT 6796 SOS 1883 HAS SOPS 1660 HAS SOUS 1511 HAS SOUPS 1386 WITH SCORE 1387.883
AT ITER 8939 NEW BEST:: SOT 6796 SOS 1881 HAS SOPS 1658 HAS SOUS 1509 HAS SOUPS 1384 WITH SCORE 1385.881
AT ITER 9184 NEW BEST:: SOT 6798 SOS 1880 HAS SOPS 1657 HAS SOUS 1509 HAS SOUPS 1384 WITH SCORE 1385.88
AT ITER 9290 NEW BEST:: SOT 6797 SOS 1880 HAS SOPS 1657 HAS SOUS 1508 HAS SOUPS 1383 WITH SCORE 1384.88
AT ITER 9609 NEW BEST:: SOT 6794 SOS 1874 HAS SOPS 1651 HAS SOUS 1506 HAS SOUPS 1381 WITH SCORE 1382.874
STATE_SPACE STATES 902651904000 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 61 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 9662795366400 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679159012768

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="Ring-PT-none"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is Ring-PT-none, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204900784"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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