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.r491-tall-167912711301056.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 UtilityControlRoom-COL-Z4T4N02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711301056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 8.5K Feb 26 14:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 14:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 14:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 14:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 26 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 14:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 14:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679307760286

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=UtilityControlRoom-COL-Z4T4N02
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:22:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:22:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:22:42] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-20 10:22:42] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:22:43] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 818 ms
[2023-03-20 10:22:43] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 80 PT places and 150.0 transition bindings in 15 ms.
[2023-03-20 10:22:43] [INFO ] Unfolded HLPN to a Petri net with 80 places and 150 transitions 482 arcs in 17 ms.
[2023-03-20 10:22:43] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 10:22:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 80 places, 150 transitions and 482 arcs took 4 ms.
Total runtime 951 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T4N02
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: 80 places, 150 transitions, 482 arcs.
AT ITER 0 NEW BEST:: SOT 9652 SOS 7769 HAS SOPS 7769 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4406.769
AT ITER 2 NEW BEST:: SOT 8242 SOS 6376 HAS SOPS 6376 HAS SOUS 3485 HAS SOUPS 3485 WITH SCORE 3491.376
AT ITER 3 NEW BEST:: SOT 8222 SOS 6276 HAS SOPS 6276 HAS SOUS 3465 HAS SOUPS 3465 WITH SCORE 3471.276
AT ITER 4 NEW BEST:: SOT 8137 SOS 6016 HAS SOPS 6016 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3377.016
AT ITER 5 NEW BEST:: SOT 8111 SOS 5896 HAS SOPS 5896 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3343.896
AT ITER 7 NEW BEST:: SOT 8082 SOS 5838 HAS SOPS 5838 HAS SOUS 3301 HAS SOUPS 3301 WITH SCORE 3306.838
AT ITER 12 NEW BEST:: SOT 8128 SOS 5854 HAS SOPS 5854 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3236.854
AT ITER 16 NEW BEST:: SOT 8124 SOS 5848 HAS SOPS 5848 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3229.848
AT ITER 20 NEW BEST:: SOT 8124 SOS 5845 HAS SOPS 5845 HAS SOUS 3208 HAS SOUPS 3208 WITH SCORE 3213.845
AT ITER 21 NEW BEST:: SOT 8090 SOS 5809 HAS SOPS 5809 HAS SOUS 3203 HAS SOUPS 3203 WITH SCORE 3208.809
AT ITER 23 NEW BEST:: SOT 8126 SOS 5858 HAS SOPS 5858 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3200.858
AT ITER 25 NEW BEST:: SOT 8088 SOS 5838 HAS SOPS 5838 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3149.838
AT ITER 26 NEW BEST:: SOT 8078 SOS 5767 HAS SOPS 5767 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3075.767
AT ITER 27 NEW BEST:: SOT 8078 SOS 5767 HAS SOPS 5767 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3071.767
AT ITER 29 NEW BEST:: SOT 8079 SOS 5787 HAS SOPS 5787 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3066.787
AT ITER 30 NEW BEST:: SOT 8046 SOS 5754 HAS SOPS 5754 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3035.754
AT ITER 36 NEW BEST:: SOT 8042 SOS 5718 HAS SOPS 5718 HAS SOUS 3008 HAS SOUPS 3008 WITH SCORE 3013.718
AT ITER 38 NEW BEST:: SOT 8039 SOS 5711 HAS SOPS 5711 HAS SOUS 3003 HAS SOUPS 3003 WITH SCORE 3008.711
AT ITER 39 NEW BEST:: SOT 8025 SOS 5656 HAS SOPS 5656 HAS SOUS 2971 HAS SOUPS 2971 WITH SCORE 2976.656
AT ITER 41 NEW BEST:: SOT 7927 SOS 5614 HAS SOPS 5614 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2969.614
AT ITER 43 NEW BEST:: SOT 7930 SOS 5558 HAS SOPS 5558 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2911.558
AT ITER 46 NEW BEST:: SOT 7995 SOS 5739 HAS SOPS 5739 HAS SOUS 2786 HAS SOUPS 2786 WITH SCORE 2791.739
AT ITER 48 NEW BEST:: SOT 7971 SOS 5713 HAS SOPS 5713 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2771.713
AT ITER 49 NEW BEST:: SOT 7981 SOS 5699 HAS SOPS 5699 HAS SOUS 2759 HAS SOUPS 2759 WITH SCORE 2764.699
AT ITER 51 NEW BEST:: SOT 7981 SOS 5739 HAS SOPS 5739 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2754.739
AT ITER 58 NEW BEST:: SOT 8008 SOS 5725 HAS SOPS 5725 HAS SOUS 2747 HAS SOUPS 2747 WITH SCORE 2752.725
AT ITER 60 NEW BEST:: SOT 7953 SOS 5670 HAS SOPS 5670 HAS SOUS 2719 HAS SOUPS 2719 WITH SCORE 2724.67
AT ITER 61 NEW BEST:: SOT 7941 SOS 5658 HAS SOPS 5658 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2716.658
AT ITER 69 NEW BEST:: SOT 7922 SOS 5634 HAS SOPS 5634 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2704.634
AT ITER 72 NEW BEST:: SOT 7912 SOS 5624 HAS SOPS 5624 HAS SOUS 2695 HAS SOUPS 2695 WITH SCORE 2700.624
AT ITER 78 NEW BEST:: SOT 7907 SOS 5619 HAS SOPS 5619 HAS SOUS 2693 HAS SOUPS 2693 WITH SCORE 2698.619
AT ITER 81 NEW BEST:: SOT 7882 SOS 5515 HAS SOPS 5515 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2673.515
AT ITER 88 NEW BEST:: SOT 7897 SOS 5419 HAS SOPS 5419 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2593.419
AT ITER 93 NEW BEST:: SOT 7879 SOS 5278 HAS SOPS 5278 HAS SOUS 2559 HAS SOUPS 2559 WITH SCORE 2564.278
AT ITER 102 NEW BEST:: SOT 7952 SOS 5363 HAS SOPS 5363 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2551.363
AT ITER 112 NEW BEST:: SOT 7955 SOS 5249 HAS SOPS 5249 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2523.249
AT ITER 116 NEW BEST:: SOT 7947 SOS 5219 HAS SOPS 5219 HAS SOUS 2513 HAS SOUPS 2513 WITH SCORE 2518.219
AT ITER 124 NEW BEST:: SOT 7918 SOS 5190 HAS SOPS 5190 HAS SOUS 2492 HAS SOUPS 2492 WITH SCORE 2497.19
AT ITER 125 NEW BEST:: SOT 7920 SOS 5190 HAS SOPS 5190 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2491.19
AT ITER 129 NEW BEST:: SOT 7928 SOS 5192 HAS SOPS 5192 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2463.192
AT ITER 131 NEW BEST:: SOT 7928 SOS 5191 HAS SOPS 5191 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2462.191
AT ITER 132 NEW BEST:: SOT 7924 SOS 5187 HAS SOPS 5187 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2462.187
AT ITER 138 NEW BEST:: SOT 7923 SOS 5178 HAS SOPS 5178 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2457.178
AT ITER 143 NEW BEST:: SOT 7922 SOS 5180 HAS SOPS 5180 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2456.18
AT ITER 149 NEW BEST:: SOT 7895 SOS 5108 HAS SOPS 5108 HAS SOUS 2424 HAS SOUPS 2424 WITH SCORE 2429.108
AT ITER 178 NEW BEST:: SOT 7866 SOS 5079 HAS SOPS 5079 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2385.079
AT ITER 179 NEW BEST:: SOT 7958 SOS 5161 HAS SOPS 5161 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2363.161
AT ITER 180 NEW BEST:: SOT 7950 SOS 5153 HAS SOPS 5153 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2353.153
AT ITER 182 NEW BEST:: SOT 7943 SOS 5146 HAS SOPS 5146 HAS SOUS 2343 HAS SOUPS 2343 WITH SCORE 2348.146
AT ITER 184 NEW BEST:: SOT 7904 SOS 5142 HAS SOPS 5142 HAS SOUS 2331 HAS SOUPS 2331 WITH SCORE 2336.142
AT ITER 187 NEW BEST:: SOT 7898 SOS 5136 HAS SOPS 5136 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2313.136
AT ITER 189 NEW BEST:: SOT 7889 SOS 5117 HAS SOPS 5117 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2252.117
AT ITER 190 NEW BEST:: SOT 7859 SOS 5076 HAS SOPS 5076 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2242.076
AT ITER 195 NEW BEST:: SOT 7867 SOS 5063 HAS SOPS 5063 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2241.063
AT ITER 200 NEW BEST:: SOT 7850 SOS 5045 HAS SOPS 5045 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2224.045
AT ITER 210 NEW BEST:: SOT 7850 SOS 5044 HAS SOPS 5044 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2223.044
AT ITER 215 NEW BEST:: SOT 7847 SOS 5041 HAS SOPS 5041 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2223.041
AT ITER 227 NEW BEST:: SOT 7812 SOS 5014 HAS SOPS 5014 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2177.014
AT ITER 230 NEW BEST:: SOT 7811 SOS 5021 HAS SOPS 5021 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2176.021
AT ITER 238 NEW BEST:: SOT 7819 SOS 5029 HAS SOPS 5029 HAS SOUS 2164 HAS SOUPS 2164 WITH SCORE 2169.029
AT ITER 260 NEW BEST:: SOT 7819 SOS 5026 HAS SOPS 5026 HAS SOUS 2163 HAS SOUPS 2163 WITH SCORE 2168.026
AT ITER 267 NEW BEST:: SOT 7811 SOS 5027 HAS SOPS 5027 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2162.027
AT ITER 272 NEW BEST:: SOT 7819 SOS 4935 HAS SOPS 4935 HAS SOUS 2143 HAS SOUPS 2143 WITH SCORE 2147.935
AT ITER 273 NEW BEST:: SOT 7796 SOS 4963 HAS SOPS 4963 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2105.963
AT ITER 280 NEW BEST:: SOT 7815 SOS 4958 HAS SOPS 4958 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2100.958
AT ITER 282 NEW BEST:: SOT 7811 SOS 4946 HAS SOPS 4946 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2100.946
AT ITER 287 NEW BEST:: SOT 7835 SOS 4971 HAS SOPS 4971 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2097.971
AT ITER 290 NEW BEST:: SOT 7817 SOS 4953 HAS SOPS 4953 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2080.953
AT ITER 306 NEW BEST:: SOT 7740 SOS 4856 HAS SOPS 4856 HAS SOUS 1999 HAS SOUPS 1999 WITH SCORE 2003.856
AT ITER 312 NEW BEST:: SOT 7767 SOS 4883 HAS SOPS 4883 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1986.883
AT ITER 314 NEW BEST:: SOT 7725 SOS 4839 HAS SOPS 4839 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1934.839
AT ITER 328 NEW BEST:: SOT 7719 SOS 4811 HAS SOPS 4811 HAS SOUS 1908 HAS SOUPS 1908 WITH SCORE 1912.811
AT ITER 332 NEW BEST:: SOT 7649 SOS 4795 HAS SOPS 4795 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1907.795
AT ITER 340 NEW BEST:: SOT 7655 SOS 4829 HAS SOPS 4829 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1893.829
AT ITER 356 NEW BEST:: SOT 7683 SOS 4870 HAS SOPS 4870 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1879.87
AT ITER 362 NEW BEST:: SOT 7677 SOS 4857 HAS SOPS 4857 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1858.857
AT ITER 371 NEW BEST:: SOT 7674 SOS 4851 HAS SOPS 4851 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1849.851
AT ITER 383 NEW BEST:: SOT 7674 SOS 4849 HAS SOPS 4849 HAS SOUS 1844 HAS SOUPS 1844 WITH SCORE 1848.849
AT ITER 393 NEW BEST:: SOT 7652 SOS 4818 HAS SOPS 4818 HAS SOUS 1827 HAS SOUPS 1827 WITH SCORE 1831.818
AT ITER 395 NEW BEST:: SOT 7639 SOS 4816 HAS SOPS 4816 HAS SOUS 1814 HAS SOUPS 1814 WITH SCORE 1818.816
AT ITER 412 NEW BEST:: SOT 7640 SOS 4835 HAS SOPS 4835 HAS SOUS 1808 HAS SOUPS 1808 WITH SCORE 1812.835
AT ITER 413 NEW BEST:: SOT 7640 SOS 4835 HAS SOPS 4835 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1801.835
AT ITER 416 NEW BEST:: SOT 7630 SOS 4890 HAS SOPS 4890 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1800.89
AT ITER 423 NEW BEST:: SOT 7625 SOS 4831 HAS SOPS 4831 HAS SOUS 1780 HAS SOUPS 1780 WITH SCORE 1784.831
AT ITER 430 NEW BEST:: SOT 7621 SOS 4795 HAS SOPS 4795 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1767.795
AT ITER 435 NEW BEST:: SOT 7618 SOS 4713 HAS SOPS 4713 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1723.713
AT ITER 446 NEW BEST:: SOT 7618 SOS 4681 HAS SOPS 4681 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1723.681
AT ITER 452 NEW BEST:: SOT 7613 SOS 4671 HAS SOPS 4671 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1718.671
AT ITER 466 NEW BEST:: SOT 7613 SOS 4671 HAS SOPS 4671 HAS SOUS 1712 HAS SOUPS 1712 WITH SCORE 1716.671
AT ITER 469 NEW BEST:: SOT 7615 SOS 4690 HAS SOPS 4690 HAS SOUS 1699 HAS SOUPS 1699 WITH SCORE 1703.69
AT ITER 476 NEW BEST:: SOT 7588 SOS 4685 HAS SOPS 4685 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1681.685
AT ITER 480 NEW BEST:: SOT 7587 SOS 4683 HAS SOPS 4683 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1680.683
AT ITER 493 NEW BEST:: SOT 7619 SOS 4702 HAS SOPS 4702 HAS SOUS 1613 HAS SOUPS 1613 WITH SCORE 1617.702
AT ITER 501 NEW BEST:: SOT 7614 SOS 4756 HAS SOPS 4756 HAS SOUS 1585 HAS SOUPS 1585 WITH SCORE 1589.756
AT ITER 502 NEW BEST:: SOT 7616 SOS 4768 HAS SOPS 4768 HAS SOUS 1582 HAS SOUPS 1582 WITH SCORE 1586.768
AT ITER 505 NEW BEST:: SOT 7616 SOS 4767 HAS SOPS 4767 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1584.767
AT ITER 519 NEW BEST:: SOT 7582 SOS 4727 HAS SOPS 4727 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1556.727
AT ITER 522 NEW BEST:: SOT 7572 SOS 4728 HAS SOPS 4728 HAS SOUS 1549 HAS SOUPS 1549 WITH SCORE 1553.728
AT ITER 529 NEW BEST:: SOT 7587 SOS 4735 HAS SOPS 4735 HAS SOUS 1531 HAS SOUPS 1531 WITH SCORE 1535.735
AT ITER 536 NEW BEST:: SOT 7573 SOS 4721 HAS SOPS 4721 HAS SOUS 1518 HAS SOUPS 1518 WITH SCORE 1522.721
AT ITER 547 NEW BEST:: SOT 7580 SOS 4761 HAS SOPS 4761 HAS SOUS 1509 HAS SOUPS 1509 WITH SCORE 1513.761
AT ITER 550 NEW BEST:: SOT 7579 SOS 4757 HAS SOPS 4757 HAS SOUS 1507 HAS SOUPS 1507 WITH SCORE 1511.757
AT ITER 554 NEW BEST:: SOT 7557 SOS 4735 HAS SOPS 4735 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1505.735
AT ITER 559 NEW BEST:: SOT 7541 SOS 4759 HAS SOPS 4759 HAS SOUS 1497 HAS SOUPS 1497 WITH SCORE 1501.759
AT ITER 560 NEW BEST:: SOT 7540 SOS 4758 HAS SOPS 4758 HAS SOUS 1497 HAS SOUPS 1497 WITH SCORE 1501.758
AT ITER 565 NEW BEST:: SOT 7537 SOS 4713 HAS SOPS 4713 HAS SOUS 1487 HAS SOUPS 1487 WITH SCORE 1491.713
AT ITER 573 NEW BEST:: SOT 7516 SOS 4651 HAS SOPS 4651 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1468.651
AT ITER 582 NEW BEST:: SOT 7513 SOS 4645 HAS SOPS 4645 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1468.645
AT ITER 596 NEW BEST:: SOT 7505 SOS 4637 HAS SOPS 4637 HAS SOUS 1451 HAS SOUPS 1451 WITH SCORE 1455.637
AT ITER 599 NEW BEST:: SOT 7509 SOS 4646 HAS SOPS 4646 HAS SOUS 1442 HAS SOUPS 1442 WITH SCORE 1446.646
AT ITER 609 NEW BEST:: SOT 7507 SOS 4654 HAS SOPS 4654 HAS SOUS 1434 HAS SOUPS 1434 WITH SCORE 1438.654
AT ITER 629 NEW BEST:: SOT 7506 SOS 4652 HAS SOPS 4652 HAS SOUS 1434 HAS SOUPS 1434 WITH SCORE 1438.652
AT ITER 633 NEW BEST:: SOT 7514 SOS 4143 HAS SOPS 4143 HAS SOUS 1421 HAS SOUPS 1421 WITH SCORE 1425.143
AT ITER 645 NEW BEST:: SOT 7513 SOS 4144 HAS SOPS 4144 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1421.144
AT ITER 654 NEW BEST:: SOT 7507 SOS 4136 HAS SOPS 4136 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1421.136
AT ITER 659 NEW BEST:: SOT 7503 SOS 4132 HAS SOPS 4132 HAS SOUS 1413 HAS SOUPS 1413 WITH SCORE 1417.132
AT ITER 664 NEW BEST:: SOT 7502 SOS 4130 HAS SOPS 4130 HAS SOUS 1413 HAS SOUPS 1413 WITH SCORE 1417.13
AT ITER 688 NEW BEST:: SOT 7501 SOS 4146 HAS SOPS 4146 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1416.146
AT ITER 698 NEW BEST:: SOT 7502 SOS 4141 HAS SOPS 4141 HAS SOUS 1407 HAS SOUPS 1407 WITH SCORE 1411.141
AT ITER 703 NEW BEST:: SOT 7501 SOS 4144 HAS SOPS 4144 HAS SOUS 1406 HAS SOUPS 1406 WITH SCORE 1410.144
AT ITER 708 NEW BEST:: SOT 7500 SOS 4143 HAS SOPS 4143 HAS SOUS 1406 HAS SOUPS 1406 WITH SCORE 1410.143
AT ITER 714 NEW BEST:: SOT 7495 SOS 4137 HAS SOPS 4137 HAS SOUS 1402 HAS SOUPS 1402 WITH SCORE 1406.137
AT ITER 726 NEW BEST:: SOT 7479 SOS 4099 HAS SOPS 4099 HAS SOUS 1397 HAS SOUPS 1397 WITH SCORE 1401.099
AT ITER 745 NEW BEST:: SOT 7482 SOS 4112 HAS SOPS 4112 HAS SOUS 1391 HAS SOUPS 1391 WITH SCORE 1395.112
AT ITER 749 NEW BEST:: SOT 7472 SOS 3942 HAS SOPS 3942 HAS SOUS 1371 HAS SOUPS 1371 WITH SCORE 1374.942
AT ITER 799 NEW BEST:: SOT 7471 SOS 3940 HAS SOPS 3940 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1372.94
AT ITER 818 NEW BEST:: SOT 7466 SOS 3932 HAS SOPS 3932 HAS SOUS 1365 HAS SOUPS 1365 WITH SCORE 1368.932
AT ITER 822 NEW BEST:: SOT 7451 SOS 3921 HAS SOPS 3921 HAS SOUS 1347 HAS SOUPS 1347 WITH SCORE 1350.921
AT ITER 878 NEW BEST:: SOT 7429 SOS 3895 HAS SOPS 3895 HAS SOUS 1339 HAS SOUPS 1339 WITH SCORE 1342.895
AT ITER 913 NEW BEST:: SOT 7414 SOS 3875 HAS SOPS 3875 HAS SOUS 1324 HAS SOUPS 1324 WITH SCORE 1327.875
AT ITER 928 NEW BEST:: SOT 7414 SOS 3867 HAS SOPS 3867 HAS SOUS 1324 HAS SOUPS 1324 WITH SCORE 1327.867
AT ITER 942 NEW BEST:: SOT 7411 SOS 3859 HAS SOPS 3859 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1319.859
AT ITER 963 NEW BEST:: SOT 7408 SOS 3886 HAS SOPS 3886 HAS SOUS 1314 HAS SOUPS 1314 WITH SCORE 1317.886
AT ITER 1008 NEW BEST:: SOT 7401 SOS 3870 HAS SOPS 3870 HAS SOUS 1310 HAS SOUPS 1310 WITH SCORE 1313.87
AT ITER 1023 NEW BEST:: SOT 7401 SOS 3870 HAS SOPS 3870 HAS SOUS 1308 HAS SOUPS 1308 WITH SCORE 1311.87
AT ITER 1037 NEW BEST:: SOT 7403 SOS 3872 HAS SOPS 3872 HAS SOUS 1307 HAS SOUPS 1307 WITH SCORE 1310.872
AT ITER 1075 NEW BEST:: SOT 7403 SOS 3864 HAS SOPS 3864 HAS SOUS 1306 HAS SOUPS 1306 WITH SCORE 1309.864
AT ITER 1091 NEW BEST:: SOT 7401 SOS 3862 HAS SOPS 3862 HAS SOUS 1304 HAS SOUPS 1304 WITH SCORE 1307.862
AT ITER 1132 NEW BEST:: SOT 7395 SOS 3856 HAS SOPS 3856 HAS SOUS 1302 HAS SOUPS 1302 WITH SCORE 1305.856
AT ITER 1156 NEW BEST:: SOT 7393 SOS 3862 HAS SOPS 3862 HAS SOUS 1301 HAS SOUPS 1301 WITH SCORE 1304.862
AT ITER 1168 NEW BEST:: SOT 7387 SOS 3855 HAS SOPS 3855 HAS SOUS 1296 HAS SOUPS 1296 WITH SCORE 1299.855
AT ITER 1173 NEW BEST:: SOT 7403 SOS 3881 HAS SOPS 3881 HAS SOUS 1279 HAS SOUPS 1279 WITH SCORE 1282.881
AT ITER 1184 NEW BEST:: SOT 7387 SOS 3859 HAS SOPS 3859 HAS SOUS 1269 HAS SOUPS 1269 WITH SCORE 1272.859
AT ITER 1188 NEW BEST:: SOT 7384 SOS 3855 HAS SOPS 3855 HAS SOUS 1269 HAS SOUPS 1269 WITH SCORE 1272.855
AT ITER 1240 NEW BEST:: SOT 7381 SOS 3852 HAS SOPS 3852 HAS SOUS 1269 HAS SOUPS 1269 WITH SCORE 1272.852
AT ITER 1269 NEW BEST:: SOT 7365 SOS 3826 HAS SOPS 3826 HAS SOUS 1261 HAS SOUPS 1261 WITH SCORE 1264.826
AT ITER 1304 NEW BEST:: SOT 7369 SOS 3824 HAS SOPS 3824 HAS SOUS 1261 HAS SOUPS 1261 WITH SCORE 1264.824
AT ITER 1311 NEW BEST:: SOT 7363 SOS 3818 HAS SOPS 3818 HAS SOUS 1256 HAS SOUPS 1256 WITH SCORE 1259.818
AT ITER 1325 NEW BEST:: SOT 7357 SOS 3815 HAS SOPS 3815 HAS SOUS 1248 HAS SOUPS 1248 WITH SCORE 1251.815
AT ITER 1365 NEW BEST:: SOT 7348 SOS 3801 HAS SOPS 3801 HAS SOUS 1238 HAS SOUPS 1238 WITH SCORE 1241.801
AT ITER 1380 NEW BEST:: SOT 7338 SOS 3789 HAS SOPS 3789 HAS SOUS 1225 HAS SOUPS 1225 WITH SCORE 1228.789
AT ITER 1405 NEW BEST:: SOT 7334 SOS 3779 HAS SOPS 3779 HAS SOUS 1221 HAS SOUPS 1221 WITH SCORE 1224.779
AT ITER 1444 NEW BEST:: SOT 7330 SOS 3779 HAS SOPS 3779 HAS SOUS 1218 HAS SOUPS 1218 WITH SCORE 1221.779
AT ITER 1451 NEW BEST:: SOT 7322 SOS 3759 HAS SOPS 3759 HAS SOUS 1214 HAS SOUPS 1214 WITH SCORE 1217.759
AT ITER 1485 NEW BEST:: SOT 7322 SOS 3759 HAS SOPS 3759 HAS SOUS 1210 HAS SOUPS 1210 WITH SCORE 1213.759
AT ITER 1516 NEW BEST:: SOT 7321 SOS 3756 HAS SOPS 3756 HAS SOUS 1207 HAS SOUPS 1207 WITH SCORE 1210.756
AT ITER 1557 NEW BEST:: SOT 7301 SOS 3709 HAS SOPS 3709 HAS SOUS 1199 HAS SOUPS 1199 WITH SCORE 1202.709
AT ITER 1665 NEW BEST:: SOT 7296 SOS 3701 HAS SOPS 3701 HAS SOUS 1196 HAS SOUPS 1196 WITH SCORE 1199.701
AT ITER 1735 NEW BEST:: SOT 7295 SOS 3699 HAS SOPS 3699 HAS SOUS 1194 HAS SOUPS 1194 WITH SCORE 1197.699
AT ITER 1743 NEW BEST:: SOT 7292 SOS 3696 HAS SOPS 3696 HAS SOUS 1194 HAS SOUPS 1194 WITH SCORE 1197.696
AT ITER 1858 NEW BEST:: SOT 7288 SOS 3686 HAS SOPS 3686 HAS SOUS 1190 HAS SOUPS 1190 WITH SCORE 1193.686
AT ITER 1860 NEW BEST:: SOT 7286 SOS 3682 HAS SOPS 3682 HAS SOUS 1186 HAS SOUPS 1186 WITH SCORE 1189.682
AT ITER 1894 NEW BEST:: SOT 7284 SOS 3678 HAS SOPS 3678 HAS SOUS 1184 HAS SOUPS 1184 WITH SCORE 1187.678
AT ITER 2092 NEW BEST:: SOT 7288 SOS 3653 HAS SOPS 3653 HAS SOUS 1183 HAS SOUPS 1183 WITH SCORE 1186.653
AT ITER 2102 NEW BEST:: SOT 7295 SOS 3525 HAS SOPS 3525 HAS SOUS 1183 HAS SOUPS 1183 WITH SCORE 1186.525
AT ITER 2215 NEW BEST:: SOT 7294 SOS 3523 HAS SOPS 3523 HAS SOUS 1178 HAS SOUPS 1178 WITH SCORE 1181.523
AT ITER 2342 NEW BEST:: SOT 7299 SOS 3527 HAS SOPS 3527 HAS SOUS 1177 HAS SOUPS 1177 WITH SCORE 1180.527
AT ITER 2384 NEW BEST:: SOT 7290 SOS 3518 HAS SOPS 3518 HAS SOUS 1177 HAS SOUPS 1177 WITH SCORE 1180.518
AT ITER 2441 NEW BEST:: SOT 7287 SOS 3515 HAS SOPS 3515 HAS SOUS 1177 HAS SOUPS 1177 WITH SCORE 1180.515
AT ITER 2508 NEW BEST:: SOT 7295 SOS 3523 HAS SOPS 3523 HAS SOUS 1173 HAS SOUPS 1173 WITH SCORE 1176.523
AT ITER 2595 NEW BEST:: SOT 7295 SOS 3521 HAS SOPS 3521 HAS SOUS 1172 HAS SOUPS 1172 WITH SCORE 1175.521
AT ITER 2674 NEW BEST:: SOT 7295 SOS 3515 HAS SOPS 3515 HAS SOUS 1169 HAS SOUPS 1169 WITH SCORE 1172.515
AT ITER 2760 NEW BEST:: SOT 7297 SOS 3519 HAS SOPS 3519 HAS SOUS 1165 HAS SOUPS 1165 WITH SCORE 1168.519
AT ITER 2775 NEW BEST:: SOT 7301 SOS 3523 HAS SOPS 3523 HAS SOUS 1163 HAS SOUPS 1163 WITH SCORE 1166.523
AT ITER 2825 NEW BEST:: SOT 7296 SOS 3503 HAS SOPS 3503 HAS SOUS 1160 HAS SOUPS 1160 WITH SCORE 1163.503
AT ITER 2847 NEW BEST:: SOT 7291 SOS 3575 HAS SOPS 3575 HAS SOUS 1156 HAS SOUPS 1156 WITH SCORE 1159.575
AT ITER 2854 NEW BEST:: SOT 7289 SOS 3585 HAS SOPS 3585 HAS SOUS 1154 HAS SOUPS 1154 WITH SCORE 1157.585
AT ITER 3087 NEW BEST:: SOT 7289 SOS 3584 HAS SOPS 3584 HAS SOUS 1154 HAS SOUPS 1154 WITH SCORE 1157.584
AT ITER 3092 NEW BEST:: SOT 7286 SOS 3581 HAS SOPS 3581 HAS SOUS 1154 HAS SOUPS 1154 WITH SCORE 1157.581
AT ITER 3167 NEW BEST:: SOT 7278 SOS 3573 HAS SOPS 3573 HAS SOUS 1143 HAS SOUPS 1143 WITH SCORE 1146.573
AT ITER 3192 NEW BEST:: SOT 7278 SOS 3569 HAS SOPS 3569 HAS SOUS 1142 HAS SOUPS 1142 WITH SCORE 1145.569
AT ITER 3203 NEW BEST:: SOT 7274 SOS 3549 HAS SOPS 3549 HAS SOUS 1137 HAS SOUPS 1137 WITH SCORE 1140.549
AT ITER 3261 NEW BEST:: SOT 7277 SOS 3552 HAS SOPS 3552 HAS SOUS 1134 HAS SOUPS 1134 WITH SCORE 1137.552
AT ITER 3530 NEW BEST:: SOT 7276 SOS 3554 HAS SOPS 3554 HAS SOUS 1133 HAS SOUPS 1133 WITH SCORE 1136.554
AT ITER 3675 NEW BEST:: SOT 7273 SOS 3544 HAS SOPS 3544 HAS SOUS 1128 HAS SOUPS 1128 WITH SCORE 1131.544
AT ITER 3841 NEW BEST:: SOT 7265 SOS 3536 HAS SOPS 3536 HAS SOUS 1126 HAS SOUPS 1126 WITH SCORE 1129.536
AT ITER 3929 NEW BEST:: SOT 7259 SOS 3532 HAS SOPS 3532 HAS SOUS 1126 HAS SOUPS 1126 WITH SCORE 1129.532
AT ITER 3954 NEW BEST:: SOT 7257 SOS 3530 HAS SOPS 3530 HAS SOUS 1125 HAS SOUPS 1125 WITH SCORE 1128.53
AT ITER 3976 NEW BEST:: SOT 7256 SOS 3528 HAS SOPS 3528 HAS SOUS 1124 HAS SOUPS 1124 WITH SCORE 1127.528
AT ITER 4037 NEW BEST:: SOT 7254 SOS 3526 HAS SOPS 3526 HAS SOUS 1124 HAS SOUPS 1124 WITH SCORE 1127.526
AT ITER 4083 NEW BEST:: SOT 7253 SOS 3527 HAS SOPS 3527 HAS SOUS 1123 HAS SOUPS 1123 WITH SCORE 1126.527
AT ITER 4107 NEW BEST:: SOT 7253 SOS 3524 HAS SOPS 3524 HAS SOUS 1123 HAS SOUPS 1123 WITH SCORE 1126.524
AT ITER 4117 NEW BEST:: SOT 7254 SOS 3514 HAS SOPS 3514 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1123.514
AT ITER 4289 NEW BEST:: SOT 7252 SOS 3512 HAS SOPS 3512 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1123.512
AT ITER 4480 NEW BEST:: SOT 7248 SOS 3508 HAS SOPS 3508 HAS SOUS 1119 HAS SOUPS 1119 WITH SCORE 1122.508
AT ITER 4629 NEW BEST:: SOT 7248 SOS 3504 HAS SOPS 3504 HAS SOUS 1117 HAS SOUPS 1117 WITH SCORE 1120.504
AT ITER 4653 NEW BEST:: SOT 7247 SOS 3508 HAS SOPS 3508 HAS SOUS 1115 HAS SOUPS 1115 WITH SCORE 1118.508
AT ITER 4654 NEW BEST:: SOT 7244 SOS 3514 HAS SOPS 3514 HAS SOUS 1112 HAS SOUPS 1112 WITH SCORE 1115.514
AT ITER 4823 NEW BEST:: SOT 7243 SOS 3516 HAS SOPS 3516 HAS SOUS 1111 HAS SOUPS 1111 WITH SCORE 1114.516
AT ITER 4980 NEW BEST:: SOT 7242 SOS 3516 HAS SOPS 3516 HAS SOUS 1109 HAS SOUPS 1109 WITH SCORE 1112.516
AT ITER 5620 NEW BEST:: SOT 7241 SOS 3517 HAS SOPS 3517 HAS SOUS 1108 HAS SOUPS 1108 WITH SCORE 1111.517
AT ITER 6331 NEW BEST:: SOT 7241 SOS 3517 HAS SOPS 3517 HAS SOUS 1106 HAS SOUPS 1106 WITH SCORE 1109.517
AT ITER 6413 NEW BEST:: SOT 7237 SOS 3507 HAS SOPS 3507 HAS SOUS 1105 HAS SOUPS 1105 WITH SCORE 1108.507
AT ITER 6618 NEW BEST:: SOT 7237 SOS 3506 HAS SOPS 3506 HAS SOUS 1105 HAS SOUPS 1105 WITH SCORE 1108.506
AT ITER 6655 NEW BEST:: SOT 7236 SOS 3505 HAS SOPS 3505 HAS SOUS 1104 HAS SOUPS 1104 WITH SCORE 1107.505
AT ITER 7002 NEW BEST:: SOT 7238 SOS 3506 HAS SOPS 3506 HAS SOUS 1103 HAS SOUPS 1103 WITH SCORE 1106.506
AT ITER 7177 NEW BEST:: SOT 7236 SOS 3502 HAS SOPS 3502 HAS SOUS 1101 HAS SOUPS 1101 WITH SCORE 1104.502
AT ITER 7197 NEW BEST:: SOT 7236 SOS 3499 HAS SOPS 3499 HAS SOUS 1101 HAS SOUPS 1101 WITH SCORE 1104.499
AT ITER 7267 NEW BEST:: SOT 7237 SOS 3439 HAS SOPS 3439 HAS SOUS 1099 HAS SOUPS 1099 WITH SCORE 1102.439
AT ITER 7466 NEW BEST:: SOT 7238 SOS 3440 HAS SOPS 3440 HAS SOUS 1097 HAS SOUPS 1097 WITH SCORE 1100.44
AT ITER 7540 NEW BEST:: SOT 7241 SOS 3454 HAS SOPS 3454 HAS SOUS 1096 HAS SOUPS 1096 WITH SCORE 1099.454
AT ITER 7659 NEW BEST:: SOT 7241 SOS 3451 HAS SOPS 3451 HAS SOUS 1096 HAS SOUPS 1096 WITH SCORE 1099.451
AT ITER 7895 NEW BEST:: SOT 7240 SOS 3451 HAS SOPS 3451 HAS SOUS 1095 HAS SOUPS 1095 WITH SCORE 1098.451
AT ITER 7902 NEW BEST:: SOT 7237 SOS 3451 HAS SOPS 3451 HAS SOUS 1094 HAS SOUPS 1094 WITH SCORE 1097.451
AT ITER 8204 NEW BEST:: SOT 7239 SOS 3453 HAS SOPS 3453 HAS SOUS 1092 HAS SOUPS 1092 WITH SCORE 1095.453
AT ITER 8213 NEW BEST:: SOT 7239 SOS 3450 HAS SOPS 3450 HAS SOUS 1092 HAS SOUPS 1092 WITH SCORE 1095.45
AT ITER 8239 NEW BEST:: SOT 7234 SOS 3434 HAS SOPS 3434 HAS SOUS 1092 HAS SOUPS 1092 WITH SCORE 1095.434
AT ITER 8366 NEW BEST:: SOT 7232 SOS 3428 HAS SOPS 3428 HAS SOUS 1089 HAS SOUPS 1089 WITH SCORE 1092.428
AT ITER 8543 NEW BEST:: SOT 7232 SOS 3427 HAS SOPS 3427 HAS SOUS 1089 HAS SOUPS 1089 WITH SCORE 1092.427
AT ITER 8859 NEW BEST:: SOT 7231 SOS 3424 HAS SOPS 3424 HAS SOUS 1089 HAS SOUPS 1089 WITH SCORE 1092.424
AT ITER 9214 NEW BEST:: SOT 7231 SOS 3422 HAS SOPS 3422 HAS SOUS 1088 HAS SOUPS 1088 WITH SCORE 1091.422
AT ITER 9238 NEW BEST:: SOT 7230 SOS 3418 HAS SOPS 3418 HAS SOUS 1086 HAS SOUPS 1086 WITH SCORE 1089.418
AT ITER 9280 NEW BEST:: SOT 7229 SOS 3416 HAS SOPS 3416 HAS SOUS 1085 HAS SOUPS 1085 WITH SCORE 1088.416
AT ITER 9546 NEW BEST:: SOT 7228 SOS 3418 HAS SOPS 3418 HAS SOUS 1084 HAS SOUPS 1084 WITH SCORE 1087.418
AT ITER 9705 NEW BEST:: SOT 7229 SOS 3373 HAS SOPS 3373 HAS SOUS 1084 HAS SOUPS 1084 WITH SCORE 1087.373
AT ITER 9966 NEW BEST:: SOT 7227 SOS 3371 HAS SOPS 3371 HAS SOUS 1084 HAS SOUPS 1084 WITH SCORE 1087.371
STATE_SPACE STATES 57040 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 14 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 268760 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679307769399

--------------------
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="UtilityControlRoom-COL-Z4T4N02"
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 UtilityControlRoom-COL-Z4T4N02, 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 r491-tall-167912711301056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/UtilityControlRoom-COL-Z4T4N02.tgz
mv UtilityControlRoom-COL-Z4T4N02 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 ;