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.r459-smll-167912651200416.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 StigmergyCommit-PT-03a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651200416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 7.3K Feb 26 10:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 10:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 10:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 10:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 10:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 10:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 10:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 26 10:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 98K 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 1679346430428

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=StigmergyCommit-PT-03a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 21:07:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 21:07:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 21:07:13] [INFO ] Load time of PNML (sax parser for PT used): 127 ms
[2023-03-20 21:07:13] [INFO ] Transformed 148 places.
[2023-03-20 21:07:13] [INFO ] Transformed 332 transitions.
[2023-03-20 21:07:13] [INFO ] Found NUPN structural information;
[2023-03-20 21:07:13] [INFO ] Parsed PT model containing 148 places and 332 transitions and 1538 arcs in 278 ms.
[2023-03-20 21:07:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 148 places, 332 transitions and 1538 arcs took 14 ms.
Total runtime 357 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 03a
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: 148 places, 332 transitions, 1538 arcs.
AT ITER 0 NEW BEST:: SOT 23307 SOS 11816 HAS SOPS 9692 HAS SOUS 4964 HAS SOUPS 4923 WITH SCORE 4934.816
AT ITER 13 NEW BEST:: SOT 20424 SOS 10921 HAS SOPS 6900 HAS SOUS 2904 HAS SOUPS 2776 WITH SCORE 2786.921
AT ITER 54 NEW BEST:: SOT 20596 SOS 10932 HAS SOPS 6911 HAS SOUS 2867 HAS SOUPS 2739 WITH SCORE 2749.932
AT ITER 61 NEW BEST:: SOT 20589 SOS 10936 HAS SOPS 6915 HAS SOUS 2853 HAS SOUPS 2725 WITH SCORE 2735.936
AT ITER 100 NEW BEST:: SOT 20620 SOS 10914 HAS SOPS 6893 HAS SOUS 2810 HAS SOUPS 2682 WITH SCORE 2692.914
AT ITER 114 NEW BEST:: SOT 20573 SOS 10821 HAS SOPS 6799 HAS SOUS 2739 HAS SOUPS 2611 WITH SCORE 2621.821
AT ITER 130 NEW BEST:: SOT 20571 SOS 10817 HAS SOPS 6795 HAS SOUS 2737 HAS SOUPS 2609 WITH SCORE 2619.817
AT ITER 136 NEW BEST:: SOT 20581 SOS 10875 HAS SOPS 6854 HAS SOUS 2721 HAS SOUPS 2593 WITH SCORE 2603.875
AT ITER 157 NEW BEST:: SOT 20531 SOS 10896 HAS SOPS 7180 HAS SOUS 2705 HAS SOUPS 2578 WITH SCORE 2588.896
AT ITER 176 NEW BEST:: SOT 20542 SOS 10844 HAS SOPS 7128 HAS SOUS 2649 HAS SOUPS 2522 WITH SCORE 2532.844
AT ITER 181 NEW BEST:: SOT 20541 SOS 10834 HAS SOPS 7117 HAS SOUS 2638 HAS SOUPS 2511 WITH SCORE 2521.834
AT ITER 353 NEW BEST:: SOT 20561 SOS 10826 HAS SOPS 7109 HAS SOUS 2634 HAS SOUPS 2507 WITH SCORE 2517.826
AT ITER 355 NEW BEST:: SOT 20559 SOS 10818 HAS SOPS 7101 HAS SOUS 2631 HAS SOUPS 2504 WITH SCORE 2514.818
AT ITER 385 NEW BEST:: SOT 20520 SOS 10779 HAS SOPS 7061 HAS SOUS 2612 HAS SOUPS 2485 WITH SCORE 2495.779
AT ITER 426 NEW BEST:: SOT 20558 SOS 10760 HAS SOPS 7061 HAS SOUS 2600 HAS SOUPS 2473 WITH SCORE 2483.76
AT ITER 467 NEW BEST:: SOT 20551 SOS 10752 HAS SOPS 7053 HAS SOUS 2598 HAS SOUPS 2471 WITH SCORE 2481.752
AT ITER 468 NEW BEST:: SOT 20551 SOS 10750 HAS SOPS 7051 HAS SOUS 2598 HAS SOUPS 2471 WITH SCORE 2481.75
AT ITER 469 NEW BEST:: SOT 20544 SOS 10736 HAS SOPS 7037 HAS SOUS 2594 HAS SOUPS 2467 WITH SCORE 2477.736
AT ITER 497 NEW BEST:: SOT 20512 SOS 10673 HAS SOPS 6986 HAS SOUS 2574 HAS SOUPS 2447 WITH SCORE 2457.673
AT ITER 547 NEW BEST:: SOT 20513 SOS 10667 HAS SOPS 6980 HAS SOUS 2567 HAS SOUPS 2440 WITH SCORE 2450.667
AT ITER 548 NEW BEST:: SOT 20507 SOS 10661 HAS SOPS 6974 HAS SOUS 2561 HAS SOUPS 2434 WITH SCORE 2444.661
AT ITER 594 NEW BEST:: SOT 20506 SOS 10660 HAS SOPS 6972 HAS SOUS 2561 HAS SOUPS 2434 WITH SCORE 2444.66
AT ITER 610 NEW BEST:: SOT 20544 SOS 10672 HAS SOPS 6984 HAS SOUS 2557 HAS SOUPS 2430 WITH SCORE 2440.672
AT ITER 614 NEW BEST:: SOT 20536 SOS 10688 HAS SOPS 7000 HAS SOUS 2546 HAS SOUPS 2419 WITH SCORE 2429.688
AT ITER 637 NEW BEST:: SOT 20505 SOS 10730 HAS SOPS 7310 HAS SOUS 2545 HAS SOUPS 2418 WITH SCORE 2428.73
AT ITER 722 NEW BEST:: SOT 20501 SOS 10722 HAS SOPS 7302 HAS SOUS 2539 HAS SOUPS 2412 WITH SCORE 2422.722
AT ITER 776 NEW BEST:: SOT 20504 SOS 10710 HAS SOPS 7290 HAS SOUS 2527 HAS SOUPS 2400 WITH SCORE 2410.71
AT ITER 786 NEW BEST:: SOT 20512 SOS 10709 HAS SOPS 7289 HAS SOUS 2518 HAS SOUPS 2391 WITH SCORE 2401.709
AT ITER 790 NEW BEST:: SOT 20511 SOS 10707 HAS SOPS 7287 HAS SOUS 2516 HAS SOUPS 2389 WITH SCORE 2399.707
AT ITER 804 NEW BEST:: SOT 20493 SOS 10671 HAS SOPS 7251 HAS SOUS 2498 HAS SOUPS 2371 WITH SCORE 2381.671
AT ITER 941 NEW BEST:: SOT 20491 SOS 10667 HAS SOPS 7247 HAS SOUS 2488 HAS SOUPS 2361 WITH SCORE 2371.667
AT ITER 1012 NEW BEST:: SOT 20490 SOS 10665 HAS SOPS 7245 HAS SOUS 2487 HAS SOUPS 2360 WITH SCORE 2370.665
AT ITER 1022 NEW BEST:: SOT 20484 SOS 10659 HAS SOPS 7239 HAS SOUS 2486 HAS SOUPS 2359 WITH SCORE 2369.659
AT ITER 1053 NEW BEST:: SOT 20484 SOS 10659 HAS SOPS 7239 HAS SOUS 2484 HAS SOUPS 2357 WITH SCORE 2367.659
AT ITER 1080 NEW BEST:: SOT 20480 SOS 10663 HAS SOPS 7243 HAS SOUS 2482 HAS SOUPS 2355 WITH SCORE 2365.663
AT ITER 1139 NEW BEST:: SOT 20480 SOS 10662 HAS SOPS 7243 HAS SOUS 2482 HAS SOUPS 2355 WITH SCORE 2365.662
AT ITER 1235 NEW BEST:: SOT 20347 SOS 10530 HAS SOPS 7111 HAS SOUS 2417 HAS SOUPS 2290 WITH SCORE 2300.53
AT ITER 1249 NEW BEST:: SOT 20344 SOS 10524 HAS SOPS 7105 HAS SOUS 2406 HAS SOUPS 2279 WITH SCORE 2289.524
AT ITER 1302 NEW BEST:: SOT 20348 SOS 10531 HAS SOPS 7113 HAS SOUS 2399 HAS SOUPS 2272 WITH SCORE 2282.531
AT ITER 1308 NEW BEST:: SOT 20321 SOS 10503 HAS SOPS 7059 HAS SOUS 2367 HAS SOUPS 2240 WITH SCORE 2250.503
AT ITER 1359 NEW BEST:: SOT 20320 SOS 10501 HAS SOPS 7057 HAS SOUS 2365 HAS SOUPS 2238 WITH SCORE 2248.501
AT ITER 1541 NEW BEST:: SOT 20311 SOS 10563 HAS SOPS 7123 HAS SOUS 2356 HAS SOUPS 2229 WITH SCORE 2239.563
AT ITER 1543 NEW BEST:: SOT 20360 SOS 10611 HAS SOPS 7171 HAS SOUS 2354 HAS SOUPS 2227 WITH SCORE 2237.611
AT ITER 1545 NEW BEST:: SOT 20369 SOS 10620 HAS SOPS 7179 HAS SOUS 2352 HAS SOUPS 2225 WITH SCORE 2235.62
AT ITER 1587 NEW BEST:: SOT 20379 SOS 10640 HAS SOPS 7199 HAS SOUS 2349 HAS SOUPS 2222 WITH SCORE 2232.64
AT ITER 1627 NEW BEST:: SOT 20376 SOS 10634 HAS SOPS 7193 HAS SOUS 2349 HAS SOUPS 2222 WITH SCORE 2232.634
AT ITER 1669 NEW BEST:: SOT 20376 SOS 10599 HAS SOPS 7158 HAS SOUS 2349 HAS SOUPS 2222 WITH SCORE 2232.599
AT ITER 1755 NEW BEST:: SOT 20375 SOS 10597 HAS SOPS 7156 HAS SOUS 2348 HAS SOUPS 2221 WITH SCORE 2231.597
AT ITER 1835 NEW BEST:: SOT 20372 SOS 10990 HAS SOPS 7315 HAS SOUS 2349 HAS SOUPS 2219 WITH SCORE 2229.99
AT ITER 1920 NEW BEST:: SOT 20370 SOS 10988 HAS SOPS 7313 HAS SOUS 2347 HAS SOUPS 2217 WITH SCORE 2227.988
AT ITER 2036 NEW BEST:: SOT 20367 SOS 10966 HAS SOPS 7291 HAS SOUS 2344 HAS SOUPS 2214 WITH SCORE 2224.966
AT ITER 2113 NEW BEST:: SOT 20402 SOS 10956 HAS SOPS 7281 HAS SOUS 2344 HAS SOUPS 2214 WITH SCORE 2224.956
AT ITER 2139 NEW BEST:: SOT 20310 SOS 10939 HAS SOPS 7249 HAS SOUS 2343 HAS SOUPS 2213 WITH SCORE 2223.939
AT ITER 2193 NEW BEST:: SOT 20303 SOS 10926 HAS SOPS 7235 HAS SOUS 2329 HAS SOUPS 2199 WITH SCORE 2209.926
AT ITER 2220 NEW BEST:: SOT 20297 SOS 10914 HAS SOPS 7223 HAS SOUS 2323 HAS SOUPS 2193 WITH SCORE 2203.914
AT ITER 2375 NEW BEST:: SOT 20296 SOS 10913 HAS SOPS 7222 HAS SOUS 2323 HAS SOUPS 2193 WITH SCORE 2203.913
AT ITER 2493 NEW BEST:: SOT 20274 SOS 10905 HAS SOPS 7214 HAS SOUS 2314 HAS SOUPS 2184 WITH SCORE 2194.905
AT ITER 2547 NEW BEST:: SOT 20272 SOS 10901 HAS SOPS 7210 HAS SOUS 2312 HAS SOUPS 2182 WITH SCORE 2192.901
AT ITER 2699 NEW BEST:: SOT 20273 SOS 10902 HAS SOPS 7212 HAS SOUS 2310 HAS SOUPS 2180 WITH SCORE 2190.902
AT ITER 2745 NEW BEST:: SOT 20271 SOS 10899 HAS SOPS 7208 HAS SOUS 2310 HAS SOUPS 2180 WITH SCORE 2190.899
AT ITER 2764 NEW BEST:: SOT 20270 SOS 10897 HAS SOPS 7206 HAS SOUS 2309 HAS SOUPS 2179 WITH SCORE 2189.897
AT ITER 2775 NEW BEST:: SOT 20269 SOS 10893 HAS SOPS 7202 HAS SOUS 2308 HAS SOUPS 2178 WITH SCORE 2188.893
AT ITER 2798 NEW BEST:: SOT 20268 SOS 10892 HAS SOPS 7200 HAS SOUS 2306 HAS SOUPS 2176 WITH SCORE 2186.892
AT ITER 2852 NEW BEST:: SOT 20268 SOS 10886 HAS SOPS 7193 HAS SOUS 2305 HAS SOUPS 2175 WITH SCORE 2185.886
AT ITER 2856 NEW BEST:: SOT 20270 SOS 10886 HAS SOPS 7173 HAS SOUS 2286 HAS SOUPS 2155 WITH SCORE 2165.886
AT ITER 2973 NEW BEST:: SOT 20269 SOS 10885 HAS SOPS 7171 HAS SOUS 2284 HAS SOUPS 2153 WITH SCORE 2163.885
AT ITER 3175 NEW BEST:: SOT 20268 SOS 10884 HAS SOPS 7169 HAS SOUS 2282 HAS SOUPS 2151 WITH SCORE 2161.884
AT ITER 3320 NEW BEST:: SOT 20165 SOS 10778 HAS SOPS 7063 HAS SOUS 2279 HAS SOUPS 2148 WITH SCORE 2158.778
AT ITER 3337 NEW BEST:: SOT 20162 SOS 10782 HAS SOPS 7067 HAS SOUS 2278 HAS SOUPS 2147 WITH SCORE 2157.782
AT ITER 3431 NEW BEST:: SOT 20138 SOS 10881 HAS SOPS 7046 HAS SOUS 2278 HAS SOUPS 2144 WITH SCORE 2154.881
AT ITER 3448 NEW BEST:: SOT 20064 SOS 10832 HAS SOPS 7084 HAS SOUS 2267 HAS SOUPS 2136 WITH SCORE 2146.832
AT ITER 3526 NEW BEST:: SOT 20052 SOS 10807 HAS SOPS 7060 HAS SOUS 2243 HAS SOUPS 2112 WITH SCORE 2122.807
AT ITER 3660 NEW BEST:: SOT 20051 SOS 10806 HAS SOPS 7058 HAS SOUS 2241 HAS SOUPS 2110 WITH SCORE 2120.806
AT ITER 3670 NEW BEST:: SOT 20052 SOS 10802 HAS SOPS 7054 HAS SOUS 2241 HAS SOUPS 2110 WITH SCORE 2120.802
AT ITER 3682 NEW BEST:: SOT 20052 SOS 10802 HAS SOPS 7054 HAS SOUS 2240 HAS SOUPS 2109 WITH SCORE 2119.802
AT ITER 3748 NEW BEST:: SOT 20050 SOS 10801 HAS SOPS 7053 HAS SOUS 2238 HAS SOUPS 2107 WITH SCORE 2117.801
AT ITER 3779 NEW BEST:: SOT 20052 SOS 10787 HAS SOPS 6979 HAS SOUS 2237 HAS SOUPS 2106 WITH SCORE 2116.787
AT ITER 3891 NEW BEST:: SOT 20049 SOS 10790 HAS SOPS 6982 HAS SOUS 2236 HAS SOUPS 2105 WITH SCORE 2115.79
AT ITER 4066 NEW BEST:: SOT 20047 SOS 10787 HAS SOPS 6978 HAS SOUS 2232 HAS SOUPS 2101 WITH SCORE 2111.787
AT ITER 4129 NEW BEST:: SOT 20047 SOS 10785 HAS SOPS 6978 HAS SOUS 2232 HAS SOUPS 2101 WITH SCORE 2111.785
AT ITER 4245 NEW BEST:: SOT 20034 SOS 10764 HAS SOPS 6952 HAS SOUS 2219 HAS SOUPS 2088 WITH SCORE 2098.764
AT ITER 4339 NEW BEST:: SOT 20034 SOS 10762 HAS SOPS 6950 HAS SOUS 2217 HAS SOUPS 2086 WITH SCORE 2096.762
AT ITER 4352 NEW BEST:: SOT 20032 SOS 10760 HAS SOPS 6946 HAS SOUS 2215 HAS SOUPS 2082 WITH SCORE 2092.76
AT ITER 4355 NEW BEST:: SOT 20031 SOS 10758 HAS SOPS 6940 HAS SOUS 2209 HAS SOUPS 2076 WITH SCORE 2086.758
AT ITER 4367 NEW BEST:: SOT 20030 SOS 10756 HAS SOPS 6938 HAS SOUS 2208 HAS SOUPS 2075 WITH SCORE 2085.756
AT ITER 4371 NEW BEST:: SOT 20029 SOS 10755 HAS SOPS 6937 HAS SOUS 2208 HAS SOUPS 2075 WITH SCORE 2085.755
AT ITER 4411 NEW BEST:: SOT 20043 SOS 10685 HAS SOPS 6949 HAS SOUS 2205 HAS SOUPS 2074 WITH SCORE 2084.685
AT ITER 4424 NEW BEST:: SOT 20023 SOS 10681 HAS SOPS 6945 HAS SOUS 2201 HAS SOUPS 2070 WITH SCORE 2080.681
AT ITER 4555 NEW BEST:: SOT 20023 SOS 10691 HAS SOPS 6945 HAS SOUS 2191 HAS SOUPS 2060 WITH SCORE 2070.691
AT ITER 4595 NEW BEST:: SOT 20018 SOS 10686 HAS SOPS 6939 HAS SOUS 2189 HAS SOUPS 2058 WITH SCORE 2068.686
AT ITER 4645 NEW BEST:: SOT 20017 SOS 10684 HAS SOPS 6937 HAS SOUS 2187 HAS SOUPS 2056 WITH SCORE 2066.684
AT ITER 4823 NEW BEST:: SOT 20017 SOS 10674 HAS SOPS 6927 HAS SOUS 2182 HAS SOUPS 2051 WITH SCORE 2061.674
AT ITER 4888 NEW BEST:: SOT 20013 SOS 10676 HAS SOPS 6929 HAS SOUS 2178 HAS SOUPS 2047 WITH SCORE 2057.676
AT ITER 4894 NEW BEST:: SOT 20014 SOS 10678 HAS SOPS 6931 HAS SOUS 2177 HAS SOUPS 2046 WITH SCORE 2056.678
AT ITER 4960 NEW BEST:: SOT 20008 SOS 10656 HAS SOPS 6909 HAS SOUS 2171 HAS SOUPS 2040 WITH SCORE 2050.656
AT ITER 5073 NEW BEST:: SOT 20007 SOS 10655 HAS SOPS 6907 HAS SOUS 2169 HAS SOUPS 2038 WITH SCORE 2048.655
AT ITER 5089 NEW BEST:: SOT 20006 SOS 10653 HAS SOPS 6905 HAS SOUS 2167 HAS SOUPS 2036 WITH SCORE 2046.653
AT ITER 5238 NEW BEST:: SOT 20003 SOS 10659 HAS SOPS 6911 HAS SOUS 2165 HAS SOUPS 2034 WITH SCORE 2044.659
AT ITER 5410 NEW BEST:: SOT 20007 SOS 10659 HAS SOPS 6911 HAS SOUS 2163 HAS SOUPS 2032 WITH SCORE 2042.659
AT ITER 5458 NEW BEST:: SOT 20007 SOS 10658 HAS SOPS 6910 HAS SOUS 2162 HAS SOUPS 2031 WITH SCORE 2041.658
AT ITER 5567 NEW BEST:: SOT 20004 SOS 10654 HAS SOPS 6904 HAS SOUS 2156 HAS SOUPS 2025 WITH SCORE 2035.654
AT ITER 5696 NEW BEST:: SOT 20004 SOS 10653 HAS SOPS 6904 HAS SOUS 2156 HAS SOUPS 2025 WITH SCORE 2035.653
AT ITER 5743 NEW BEST:: SOT 20004 SOS 10655 HAS SOPS 6904 HAS SOUS 2154 HAS SOUPS 2023 WITH SCORE 2033.655
AT ITER 5783 NEW BEST:: SOT 20001 SOS 10652 HAS SOPS 6898 HAS SOUS 2152 HAS SOUPS 2021 WITH SCORE 2031.652
AT ITER 5915 NEW BEST:: SOT 19999 SOS 10651 HAS SOPS 6894 HAS SOUS 2149 HAS SOUPS 2017 WITH SCORE 2027.651
AT ITER 6240 NEW BEST:: SOT 20012 SOS 10661 HAS SOPS 6904 HAS SOUS 2147 HAS SOUPS 2015 WITH SCORE 2025.661
AT ITER 6263 NEW BEST:: SOT 20010 SOS 10660 HAS SOPS 6903 HAS SOUS 2147 HAS SOUPS 2015 WITH SCORE 2025.66
AT ITER 6278 NEW BEST:: SOT 20008 SOS 10656 HAS SOPS 6899 HAS SOUS 2143 HAS SOUPS 2011 WITH SCORE 2021.656
AT ITER 6342 NEW BEST:: SOT 20006 SOS 10654 HAS SOPS 6897 HAS SOUS 2142 HAS SOUPS 2010 WITH SCORE 2020.654
AT ITER 6484 NEW BEST:: SOT 20005 SOS 10636 HAS SOPS 6839 HAS SOUS 2135 HAS SOUPS 2003 WITH SCORE 2013.636
AT ITER 6560 NEW BEST:: SOT 20005 SOS 10644 HAS SOPS 6847 HAS SOUS 2131 HAS SOUPS 1999 WITH SCORE 2009.644
AT ITER 6791 NEW BEST:: SOT 20003 SOS 10642 HAS SOPS 6845 HAS SOUS 2130 HAS SOUPS 1998 WITH SCORE 2008.642
AT ITER 7016 NEW BEST:: SOT 20006 SOS 10642 HAS SOPS 6845 HAS SOUS 2127 HAS SOUPS 1995 WITH SCORE 2005.642
AT ITER 7099 NEW BEST:: SOT 20005 SOS 10641 HAS SOPS 6843 HAS SOUS 2124 HAS SOUPS 1992 WITH SCORE 2002.641
AT ITER 7285 NEW BEST:: SOT 20004 SOS 10639 HAS SOPS 6841 HAS SOUS 2123 HAS SOUPS 1991 WITH SCORE 2001.639
AT ITER 7313 NEW BEST:: SOT 20001 SOS 10653 HAS SOPS 6911 HAS SOUS 2122 HAS SOUPS 1990 WITH SCORE 2000.653
AT ITER 7385 NEW BEST:: SOT 19990 SOS 10655 HAS SOPS 6913 HAS SOUS 2118 HAS SOUPS 1986 WITH SCORE 1996.655
AT ITER 7461 NEW BEST:: SOT 20200 SOS 10799 HAS SOPS 6854 HAS SOUS 2117 HAS SOUPS 1978 WITH SCORE 1988.799
AT ITER 7564 NEW BEST:: SOT 20199 SOS 10798 HAS SOPS 6852 HAS SOUS 2116 HAS SOUPS 1977 WITH SCORE 1987.798
AT ITER 7812 NEW BEST:: SOT 20197 SOS 10796 HAS SOPS 6850 HAS SOUS 2116 HAS SOUPS 1977 WITH SCORE 1987.796
AT ITER 7910 NEW BEST:: SOT 20197 SOS 10793 HAS SOPS 6847 HAS SOUS 2116 HAS SOUPS 1977 WITH SCORE 1987.793
AT ITER 7971 NEW BEST:: SOT 20188 SOS 10784 HAS SOPS 6838 HAS SOUS 2116 HAS SOUPS 1977 WITH SCORE 1987.784
AT ITER 8120 NEW BEST:: SOT 20186 SOS 10781 HAS SOPS 6834 HAS SOUS 2112 HAS SOUPS 1973 WITH SCORE 1983.781
AT ITER 8620 NEW BEST:: SOT 20182 SOS 10773 HAS SOPS 6826 HAS SOUS 2108 HAS SOUPS 1969 WITH SCORE 1979.773
AT ITER 8925 NEW BEST:: SOT 20179 SOS 10767 HAS SOPS 6820 HAS SOUS 2108 HAS SOUPS 1969 WITH SCORE 1979.767
AT ITER 9321 NEW BEST:: SOT 20158 SOS 10739 HAS SOPS 6792 HAS SOUS 2106 HAS SOUPS 1967 WITH SCORE 1977.739
AT ITER 9433 NEW BEST:: SOT 20156 SOS 10735 HAS SOPS 6788 HAS SOUS 2104 HAS SOUPS 1965 WITH SCORE 1975.735
AT ITER 9527 NEW BEST:: SOT 20164 SOS 10731 HAS SOPS 6784 HAS SOUS 2102 HAS SOUPS 1963 WITH SCORE 1973.731
AT ITER 9578 NEW BEST:: SOT 20178 SOS 10729 HAS SOPS 6781 HAS SOUS 2099 HAS SOUPS 1960 WITH SCORE 1970.729
AT ITER 9658 NEW BEST:: SOT 20177 SOS 10727 HAS SOPS 6779 HAS SOUS 2097 HAS SOUPS 1958 WITH SCORE 1968.727
AT ITER 9754 NEW BEST:: SOT 20175 SOS 10725 HAS SOPS 6777 HAS SOUS 2097 HAS SOUPS 1958 WITH SCORE 1968.725
AT ITER 9858 NEW BEST:: SOT 20175 SOS 10725 HAS SOPS 6777 HAS SOUS 2093 HAS SOUPS 1954 WITH SCORE 1964.725
STATE_SPACE STATES 4055 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 5 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 17216 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679346456568

--------------------
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:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ 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="StigmergyCommit-PT-03a"
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 StigmergyCommit-PT-03a, 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 r459-smll-167912651200416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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