Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2026-input.r360-tall-178024403900142.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is SupplyChain-PT-01000, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r360-tall-178024403900142
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.6M
-rw-r--r-- 1 mcc users 7.2K May 27 07:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K May 27 07:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K May 27 07:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K May 27 07:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 27 11:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 27 11:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 27 11:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 27 11:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 9.6K May 27 07:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K May 27 07:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K May 27 07:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K May 27 07:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 27 11:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 27 11:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 26 18:17 equiv_col
-rw-r--r-- 1 mcc users 6 May 26 18:17 instance
-rw-r--r-- 1 mcc users 6 May 26 18:17 iscolored
-rw-r--r-- 1 mcc users 4.1M May 26 18:17 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1780293620774

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=SupplyChain-PT-01000
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202604301425
[2026-06-01 06:00:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2026-06-01 06:00:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 06:00:22] [INFO ] Load time of PNML (sax parser for PT used): 382 ms
[2026-06-01 06:00:22] [INFO ] Transformed 13004 places.
[2026-06-01 06:00:22] [INFO ] Transformed 8003 transitions.
[2026-06-01 06:00:22] [INFO ] Parsed PT model containing 13004 places and 8003 transitions and 36006 arcs in 529 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 13004/13004 places, 8003/8003 transitions.
Ensure Unique test removed 3090 places
Iterating post reduction 0 with 3090 rules applied. Total rules applied 3090 place count 9914 transition count 8003
Performed 1000 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 1000 Pre rules applied. Total rules applied 3090 place count 9914 transition count 7003
Deduced a syphon composed of 1000 places in 15 ms
Ensure Unique test removed 1000 places
Reduce places removed 2000 places and 0 transitions.
Iterating global reduction 1 with 3000 rules applied. Total rules applied 6090 place count 7914 transition count 7003
Applied a total of 6090 rules in 750 ms. Remains 7914 /13004 variables (removed 5090) and now considering 7003/8003 (removed 1000) transitions.
Running 6003 sub problems to find dead transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8207865475379699817.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-15249120793759255575.kers'
[2026-06-01 06:00:23] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8207865475379699817.kers, --Pflows, --basisKERS=/tmp/petrispot-output-15249120793759255575.kers]
Normalized transition count is 7002 out of 7003 initially.
Culled 0 columns in 6 ms.
// Phase 1: matrix 7002 rows 7914 cols 20004 entries
Finished phase 1 with 5912 SingleSign rule and 0 generalized
[2026-06-01 06:00:23] [INFO ] Computed 2002 invariants in 42 ms
Computed 2002 P flows in 43 ms.
Exported basis to /tmp/petrispot-output-15249120793759255575.kers
Total runtime 51 ms.
[2026-06-01 06:00:23] [INFO ] State equation strengthened by 1 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Problem TDEAD336 is UNSAT
Problem TDEAD342 is UNSAT
Problem TDEAD350 is UNSAT
Problem TDEAD355 is UNSAT
Problem TDEAD360 is UNSAT
Problem TDEAD366 is UNSAT
Problem TDEAD373 is UNSAT
Problem TDEAD379 is UNSAT
Problem TDEAD384 is UNSAT
Problem TDEAD389 is UNSAT
Problem TDEAD397 is UNSAT
Problem TDEAD403 is UNSAT
Problem TDEAD409 is UNSAT
Problem TDEAD414 is UNSAT
Problem TDEAD418 is UNSAT
Problem TDEAD422 is UNSAT
Problem TDEAD427 is UNSAT
Problem TDEAD431 is UNSAT
Problem TDEAD436 is UNSAT
Problem TDEAD440 is UNSAT
Problem TDEAD447 is UNSAT
Problem TDEAD452 is UNSAT
Problem TDEAD459 is UNSAT
Problem TDEAD463 is UNSAT
Problem TDEAD467 is UNSAT
Problem TDEAD472 is UNSAT
Problem TDEAD476 is UNSAT
Problem TDEAD481 is UNSAT
Problem TDEAD485 is UNSAT
Problem TDEAD489 is UNSAT
Problem TDEAD495 is UNSAT
Problem TDEAD500 is UNSAT
Problem TDEAD507 is UNSAT
Problem TDEAD511 is UNSAT
Problem TDEAD516 is UNSAT
Problem TDEAD520 is UNSAT
Problem TDEAD525 is UNSAT
Problem TDEAD529 is UNSAT
Problem TDEAD533 is UNSAT
Problem TDEAD538 is UNSAT
Problem TDEAD543 is UNSAT
Problem TDEAD549 is UNSAT
Problem TDEAD555 is UNSAT
Problem TDEAD561 is UNSAT
Problem TDEAD565 is UNSAT
Problem TDEAD570 is UNSAT
Problem TDEAD574 is UNSAT
Problem TDEAD578 is UNSAT
Problem TDEAD583 is UNSAT
Problem TDEAD587 is UNSAT
Problem TDEAD593 is UNSAT
Problem TDEAD598 is UNSAT
Problem TDEAD605 is UNSAT
Problem TDEAD609 is UNSAT
Problem TDEAD614 is UNSAT
Problem TDEAD618 is UNSAT
Problem TDEAD622 is UNSAT
Problem TDEAD627 is UNSAT
Problem TDEAD631 is UNSAT
Problem TDEAD636 is UNSAT
Problem TDEAD641 is UNSAT
Problem TDEAD647 is UNSAT
Problem TDEAD653 is UNSAT
Problem TDEAD658 is UNSAT
Problem TDEAD662 is UNSAT
Problem TDEAD666 is UNSAT
Problem TDEAD672 is UNSAT
Problem TDEAD676 is UNSAT
Problem TDEAD681 is UNSAT
Problem TDEAD685 is UNSAT
Problem TDEAD691 is UNSAT
Problem TDEAD696 is UNSAT
Problem TDEAD703 is UNSAT
Problem TDEAD707 is UNSAT
Problem TDEAD711 is UNSAT
Problem TDEAD716 is UNSAT
Problem TDEAD720 is UNSAT
Problem TDEAD725 is UNSAT
Problem TDEAD729 is UNSAT
Problem TDEAD733 is UNSAT
Problem TDEAD739 is UNSAT
Problem TDEAD744 is UNSAT
Problem TDEAD751 is UNSAT
Problem TDEAD755 is UNSAT
Problem TDEAD760 is UNSAT
Problem TDEAD764 is UNSAT
Problem TDEAD769 is UNSAT
Problem TDEAD773 is UNSAT
Problem TDEAD777 is UNSAT
Problem TDEAD783 is UNSAT
Problem TDEAD788 is UNSAT
Problem TDEAD794 is UNSAT
Problem TDEAD800 is UNSAT
Problem TDEAD805 is UNSAT
Problem TDEAD809 is UNSAT
Problem TDEAD814 is UNSAT
Problem TDEAD818 is UNSAT
Problem TDEAD822 is UNSAT
Problem TDEAD827 is UNSAT
Problem TDEAD831 is UNSAT
Problem TDEAD839 is UNSAT
Problem TDEAD844 is UNSAT
Problem TDEAD851 is UNSAT
Problem TDEAD855 is UNSAT
Problem TDEAD860 is UNSAT
Problem TDEAD864 is UNSAT
Problem TDEAD869 is UNSAT
Problem TDEAD873 is UNSAT
Problem TDEAD877 is UNSAT
Problem TDEAD882 is UNSAT
Problem TDEAD891 is UNSAT
Problem TDEAD896 is UNSAT
Problem TDEAD903 is UNSAT
Problem TDEAD907 is UNSAT
Problem TDEAD911 is UNSAT
Problem TDEAD916 is UNSAT
Problem TDEAD920 is UNSAT
Problem TDEAD925 is UNSAT
Problem TDEAD929 is UNSAT
Problem TDEAD933 is UNSAT
Problem TDEAD939 is UNSAT
Problem TDEAD944 is UNSAT
Problem TDEAD951 is UNSAT
Problem TDEAD955 is UNSAT
Problem TDEAD960 is UNSAT
Problem TDEAD964 is UNSAT
Problem TDEAD969 is UNSAT
Problem TDEAD973 is UNSAT
Problem TDEAD977 is UNSAT
Problem TDEAD982 is UNSAT
Problem TDEAD987 is UNSAT
Problem TDEAD993 is UNSAT
Problem TDEAD999 is UNSAT
Problem TDEAD1005 is UNSAT
Problem TDEAD1009 is UNSAT
Problem TDEAD1014 is UNSAT
Problem TDEAD1018 is UNSAT
Problem TDEAD1022 is UNSAT
Problem TDEAD1027 is UNSAT
Problem TDEAD1031 is UNSAT
Problem TDEAD1037 is UNSAT
Problem TDEAD1042 is UNSAT
Problem TDEAD1049 is UNSAT
Problem TDEAD1053 is UNSAT
Problem TDEAD1058 is UNSAT
Problem TDEAD1062 is UNSAT
Problem TDEAD1066 is UNSAT
Problem TDEAD1071 is UNSAT
Problem TDEAD1075 is UNSAT
Problem TDEAD1080 is UNSAT
Problem TDEAD1085 is UNSAT
Problem TDEAD1091 is UNSAT
Problem TDEAD1097 is UNSAT
Problem TDEAD1102 is UNSAT
Problem TDEAD1106 is UNSAT
Problem TDEAD1110 is UNSAT
Problem TDEAD1116 is UNSAT
Problem TDEAD1120 is UNSAT
Problem TDEAD1125 is UNSAT
Problem TDEAD1129 is UNSAT
Problem TDEAD1135 is UNSAT
Problem TDEAD1140 is UNSAT
Problem TDEAD1147 is UNSAT
Problem TDEAD1151 is UNSAT
Problem TDEAD1155 is UNSAT
Problem TDEAD1160 is UNSAT
Problem TDEAD1164 is UNSAT
Problem TDEAD1169 is UNSAT
Problem TDEAD1173 is UNSAT
Problem TDEAD1177 is UNSAT
Problem TDEAD1183 is UNSAT
Problem TDEAD1188 is UNSAT
Problem TDEAD1195 is UNSAT
Problem TDEAD1199 is UNSAT
Problem TDEAD1204 is UNSAT
Problem TDEAD1208 is UNSAT
Problem TDEAD1213 is UNSAT
Problem TDEAD1217 is UNSAT
Problem TDEAD1221 is UNSAT
Problem TDEAD1227 is UNSAT
Problem TDEAD1232 is UNSAT
Problem TDEAD1238 is UNSAT
Problem TDEAD1244 is UNSAT
Problem TDEAD1249 is UNSAT
Problem TDEAD1253 is UNSAT
Problem TDEAD1258 is UNSAT
Problem TDEAD1262 is UNSAT
Problem TDEAD1266 is UNSAT
Problem TDEAD1271 is UNSAT
Problem TDEAD1275 is UNSAT
Problem TDEAD1281 is UNSAT
Problem TDEAD1286 is UNSAT
Problem TDEAD1293 is UNSAT
Problem TDEAD1297 is UNSAT
Problem TDEAD1302 is UNSAT
Problem TDEAD1306 is UNSAT
Problem TDEAD1310 is UNSAT
Problem TDEAD1315 is UNSAT
Problem TDEAD1319 is UNSAT
Problem TDEAD1324 is UNSAT
Problem TDEAD1331 is UNSAT
Problem TDEAD1338 is UNSAT
Problem TDEAD1344 is UNSAT
Problem TDEAD1349 is UNSAT
Problem TDEAD1353 is UNSAT
Problem TDEAD1358 is UNSAT
Problem TDEAD1362 is UNSAT
Problem TDEAD1366 is UNSAT
Problem TDEAD1371 is UNSAT
Problem TDEAD1375 is UNSAT
Problem TDEAD1383 is UNSAT
Problem TDEAD1388 is UNSAT
Problem TDEAD1395 is UNSAT
Problem TDEAD1399 is UNSAT
Problem TDEAD1404 is UNSAT
Problem TDEAD1408 is UNSAT
Problem TDEAD1413 is UNSAT
Problem TDEAD1417 is UNSAT
Problem TDEAD1421 is UNSAT
Problem TDEAD1426 is UNSAT
Problem TDEAD1431 is UNSAT
Problem TDEAD1437 is UNSAT
Problem TDEAD1443 is UNSAT
Problem TDEAD1450 is UNSAT
Problem TDEAD1454 is UNSAT
Problem TDEAD1459 is UNSAT
Problem TDEAD1463 is UNSAT
Problem TDEAD1467 is UNSAT
Problem TDEAD1472 is UNSAT
Problem TDEAD1476 is UNSAT
Problem TDEAD1482 is UNSAT
Problem TDEAD1487 is UNSAT
Problem TDEAD1494 is UNSAT
Problem TDEAD1498 is UNSAT
Problem TDEAD1503 is UNSAT
Problem TDEAD1507 is UNSAT
Problem TDEAD1511 is UNSAT
Problem TDEAD1516 is UNSAT
Problem TDEAD1520 is UNSAT
Problem TDEAD1525 is UNSAT
Problem TDEAD1530 is UNSAT
Problem TDEAD1536 is UNSAT
Problem TDEAD1542 is UNSAT
Problem TDEAD1547 is UNSAT
Problem TDEAD1551 is UNSAT
Problem TDEAD1555 is UNSAT
Problem TDEAD1561 is UNSAT
Problem TDEAD1565 is UNSAT
Problem TDEAD1570 is UNSAT
Problem TDEAD1574 is UNSAT
Problem TDEAD1580 is UNSAT
Problem TDEAD1585 is UNSAT
Problem TDEAD1592 is UNSAT
Problem TDEAD1596 is UNSAT
Problem TDEAD1600 is UNSAT
Problem TDEAD1605 is UNSAT
Problem TDEAD1609 is UNSAT
Problem TDEAD1614 is UNSAT
Problem TDEAD1618 is UNSAT
Problem TDEAD1622 is UNSAT
Problem TDEAD1628 is UNSAT
Problem TDEAD1633 is UNSAT
Problem TDEAD1640 is UNSAT
Problem TDEAD1644 is UNSAT
Problem TDEAD1649 is UNSAT
Problem TDEAD1653 is UNSAT
Problem TDEAD1658 is UNSAT
Problem TDEAD1662 is UNSAT
Problem TDEAD1666 is UNSAT
Problem TDEAD1672 is UNSAT
Problem TDEAD1677 is UNSAT
Problem TDEAD1683 is UNSAT
Problem TDEAD1689 is UNSAT
Problem TDEAD1694 is UNSAT
Problem TDEAD1698 is UNSAT
Problem TDEAD1703 is UNSAT
Problem TDEAD1707 is UNSAT
Problem TDEAD1711 is UNSAT
Problem TDEAD1716 is UNSAT
Problem TDEAD1720 is UNSAT
Problem TDEAD1726 is UNSAT
Problem TDEAD1731 is UNSAT
Problem TDEAD1738 is UNSAT
Problem TDEAD1742 is UNSAT
Problem TDEAD1747 is UNSAT
Problem TDEAD1751 is UNSAT
Problem TDEAD1755 is UNSAT
Problem TDEAD1760 is UNSAT
Problem TDEAD1764 is UNSAT
Problem TDEAD1769 is UNSAT
Problem TDEAD1774 is UNSAT
Problem TDEAD1781 is UNSAT
Problem TDEAD1787 is UNSAT
Problem TDEAD1792 is UNSAT
Problem TDEAD1796 is UNSAT
Problem TDEAD1800 is UNSAT
Problem TDEAD1805 is UNSAT
Problem TDEAD1809 is UNSAT
Problem TDEAD1814 is UNSAT
Problem TDEAD1818 is UNSAT
Problem TDEAD1826 is UNSAT
Problem TDEAD1831 is UNSAT
Problem TDEAD1838 is UNSAT
Problem TDEAD1842 is UNSAT
Problem TDEAD1847 is UNSAT
Problem TDEAD1851 is UNSAT
Problem TDEAD1855 is UNSAT
Problem TDEAD1860 is UNSAT
Problem TDEAD1864 is UNSAT
Problem TDEAD1869 is UNSAT
Problem TDEAD1876 is UNSAT
Problem TDEAD1882 is UNSAT
Problem TDEAD1888 is UNSAT
Problem TDEAD1894 is UNSAT
Problem TDEAD1898 is UNSAT
Problem TDEAD1903 is UNSAT
Problem TDEAD1907 is UNSAT
Problem TDEAD1911 is UNSAT
Problem TDEAD1916 is UNSAT
Problem TDEAD1920 is UNSAT
Problem TDEAD1926 is UNSAT
Problem TDEAD1931 is UNSAT
Problem TDEAD1938 is UNSAT
Problem TDEAD1942 is UNSAT
Problem TDEAD1947 is UNSAT
Problem TDEAD1951 is UNSAT
Problem TDEAD1955 is UNSAT
Problem TDEAD1960 is UNSAT
Problem TDEAD1964 is UNSAT
Problem TDEAD1969 is UNSAT
Problem TDEAD1974 is UNSAT
Problem TDEAD1980 is UNSAT
Problem TDEAD1986 is UNSAT
Problem TDEAD1991 is UNSAT
Problem TDEAD1995 is UNSAT
Problem TDEAD1999 is UNSAT
Problem TDEAD2005 is UNSAT
Problem TDEAD2009 is UNSAT
Problem TDEAD2014 is UNSAT
Problem TDEAD2018 is UNSAT
Problem TDEAD2024 is UNSAT
Problem TDEAD2029 is UNSAT
Problem TDEAD2036 is UNSAT
Problem TDEAD2040 is UNSAT
Problem TDEAD2044 is UNSAT
Problem TDEAD2049 is UNSAT
Problem TDEAD2053 is UNSAT
Problem TDEAD2058 is UNSAT
Problem TDEAD2062 is UNSAT
Problem TDEAD2066 is UNSAT
Problem TDEAD2072 is UNSAT
Problem TDEAD2077 is UNSAT
Problem TDEAD2084 is UNSAT
Problem TDEAD2088 is UNSAT
Problem TDEAD2093 is UNSAT
Problem TDEAD2097 is UNSAT
Problem TDEAD2102 is UNSAT
Problem TDEAD2106 is UNSAT
Problem TDEAD2110 is UNSAT
Problem TDEAD2116 is UNSAT
Problem TDEAD2121 is UNSAT
Problem TDEAD2127 is UNSAT
Problem TDEAD2133 is UNSAT
Problem TDEAD2138 is UNSAT
Problem TDEAD2142 is UNSAT
Problem TDEAD2147 is UNSAT
Problem TDEAD2151 is UNSAT
Problem TDEAD2155 is UNSAT
Problem TDEAD2160 is UNSAT
Problem TDEAD2164 is UNSAT
Problem TDEAD2170 is UNSAT
Problem TDEAD2175 is UNSAT
Problem TDEAD2182 is UNSAT
Problem TDEAD2186 is UNSAT
Problem TDEAD2191 is UNSAT
Problem TDEAD2195 is UNSAT
Problem TDEAD2199 is UNSAT
Problem TDEAD2204 is UNSAT
Problem TDEAD2208 is UNSAT
Problem TDEAD2213 is UNSAT
Problem TDEAD2218 is UNSAT
Problem TDEAD2225 is UNSAT
Problem TDEAD2231 is UNSAT
Problem TDEAD2236 is UNSAT
Problem TDEAD2240 is UNSAT
Problem TDEAD2244 is UNSAT
Problem TDEAD2249 is UNSAT
Problem TDEAD2253 is UNSAT
Problem TDEAD2258 is UNSAT
Problem TDEAD2262 is UNSAT
Problem TDEAD2268 is UNSAT
Problem TDEAD2273 is UNSAT
Problem TDEAD2280 is UNSAT
Problem TDEAD2284 is UNSAT
Problem TDEAD2288 is UNSAT
Problem TDEAD2293 is UNSAT
Problem TDEAD2297 is UNSAT
Problem TDEAD2302 is UNSAT
Problem TDEAD2306 is UNSAT
Problem TDEAD2310 is UNSAT
Problem TDEAD2318 is UNSAT
Problem TDEAD2324 is UNSAT
Problem TDEAD2330 is UNSAT
Problem TDEAD2336 is UNSAT
Problem TDEAD2340 is UNSAT
Problem TDEAD2344 is UNSAT
Problem TDEAD2349 is UNSAT
Problem TDEAD2353 is UNSAT
Problem TDEAD2358 is UNSAT
Problem TDEAD2362 is UNSAT
Problem TDEAD2370 is UNSAT
Problem TDEAD2375 is UNSAT
Problem TDEAD2382 is UNSAT
Problem TDEAD2386 is UNSAT
Problem TDEAD2391 is UNSAT
Problem TDEAD2395 is UNSAT
Problem TDEAD2399 is UNSAT
Problem TDEAD2404 is UNSAT
Problem TDEAD2408 is UNSAT
Problem TDEAD2413 is UNSAT
Problem TDEAD2418 is UNSAT
Problem TDEAD2424 is UNSAT
Problem TDEAD2430 is UNSAT
Problem TDEAD2435 is UNSAT
Problem TDEAD2439 is UNSAT
Problem TDEAD2443 is UNSAT
Problem TDEAD2449 is UNSAT
Problem TDEAD2453 is UNSAT
Problem TDEAD2458 is UNSAT
Problem TDEAD2462 is UNSAT
Problem TDEAD2468 is UNSAT
Problem TDEAD2473 is UNSAT
Problem TDEAD2480 is UNSAT
Problem TDEAD2484 is UNSAT
Problem TDEAD2488 is UNSAT
Problem TDEAD2493 is UNSAT
Problem TDEAD2497 is UNSAT
Problem TDEAD2502 is UNSAT
Problem TDEAD2506 is UNSAT
Problem TDEAD2510 is UNSAT
Problem TDEAD2516 is UNSAT
Problem TDEAD2521 is UNSAT
Problem TDEAD2528 is UNSAT
Problem TDEAD2532 is UNSAT
Problem TDEAD2537 is UNSAT
Problem TDEAD2541 is UNSAT
Problem TDEAD2546 is UNSAT
Problem TDEAD2550 is UNSAT
Problem TDEAD2554 is UNSAT
Problem TDEAD2561 is UNSAT
Problem TDEAD2566 is UNSAT
Problem TDEAD2572 is UNSAT
Problem TDEAD2578 is UNSAT
Problem TDEAD2583 is UNSAT
Problem TDEAD2587 is UNSAT
Problem TDEAD2592 is UNSAT
Problem TDEAD2596 is UNSAT
Problem TDEAD2600 is UNSAT
Problem TDEAD2605 is UNSAT
Problem TDEAD2609 is UNSAT
Problem TDEAD2615 is UNSAT
Problem TDEAD2620 is UNSAT
Problem TDEAD2627 is UNSAT
Problem TDEAD2631 is UNSAT
Problem TDEAD2636 is UNSAT
Problem TDEAD2640 is UNSAT
Problem TDEAD2644 is UNSAT
Problem TDEAD2649 is UNSAT
Problem TDEAD2653 is UNSAT
Problem TDEAD2658 is UNSAT
Problem TDEAD2663 is UNSAT
Problem TDEAD2670 is UNSAT
Problem TDEAD2676 is UNSAT
Problem TDEAD2681 is UNSAT
Problem TDEAD2685 is UNSAT
Problem TDEAD2689 is UNSAT
Problem TDEAD2694 is UNSAT
Problem TDEAD2698 is UNSAT
Problem TDEAD2703 is UNSAT
Problem TDEAD2707 is UNSAT
Problem TDEAD2713 is UNSAT
Problem TDEAD2718 is UNSAT
Problem TDEAD2725 is UNSAT
Problem TDEAD2729 is UNSAT
Problem TDEAD2733 is UNSAT
Problem TDEAD2738 is UNSAT
Problem TDEAD2742 is UNSAT
Problem TDEAD2747 is UNSAT
Problem TDEAD2751 is UNSAT
Problem TDEAD2755 is UNSAT
Problem TDEAD2761 is UNSAT
Problem TDEAD2766 is UNSAT
Problem TDEAD2773 is UNSAT
Problem TDEAD2777 is UNSAT
Problem TDEAD2783 is UNSAT
Problem TDEAD2787 is UNSAT
Problem TDEAD2792 is UNSAT
Problem TDEAD2796 is UNSAT
Problem TDEAD2800 is UNSAT
Problem TDEAD2805 is UNSAT
Problem TDEAD2813 is UNSAT
Problem TDEAD2818 is UNSAT
Problem TDEAD2825 is UNSAT
Problem TDEAD2829 is UNSAT
Problem TDEAD2833 is UNSAT
Problem TDEAD2838 is UNSAT
Problem TDEAD2842 is UNSAT
Problem TDEAD2847 is UNSAT
Problem TDEAD2851 is UNSAT
Problem TDEAD2855 is UNSAT
Problem TDEAD2863 is UNSAT
Problem TDEAD2869 is UNSAT
Problem TDEAD2875 is UNSAT
Problem TDEAD2880 is UNSAT
Problem TDEAD2884 is UNSAT
Problem TDEAD2888 is UNSAT
Problem TDEAD2894 is UNSAT
Problem TDEAD2898 is UNSAT
Problem TDEAD2903 is UNSAT
Problem TDEAD2907 is UNSAT
Problem TDEAD2913 is UNSAT
Problem TDEAD2918 is UNSAT
Problem TDEAD2925 is UNSAT
Problem TDEAD2929 is UNSAT
Problem TDEAD2933 is UNSAT
Problem TDEAD2938 is UNSAT
Problem TDEAD2942 is UNSAT
Problem TDEAD2947 is UNSAT
Problem TDEAD2951 is UNSAT
Problem TDEAD2955 is UNSAT
Problem TDEAD2961 is UNSAT
Problem TDEAD2966 is UNSAT
Problem TDEAD2973 is UNSAT
Problem TDEAD2977 is UNSAT
Problem TDEAD2982 is UNSAT
Problem TDEAD2986 is UNSAT
Problem TDEAD2991 is UNSAT
Problem TDEAD2995 is UNSAT
Problem TDEAD2999 is UNSAT
Problem TDEAD3005 is UNSAT
Problem TDEAD3010 is UNSAT
Problem TDEAD3016 is UNSAT
Problem TDEAD3022 is UNSAT
Problem TDEAD3027 is UNSAT
Problem TDEAD3031 is UNSAT
Problem TDEAD3036 is UNSAT
Problem TDEAD3040 is UNSAT
Problem TDEAD3044 is UNSAT
Problem TDEAD3049 is UNSAT
Problem TDEAD3053 is UNSAT
Problem TDEAD3059 is UNSAT
Problem TDEAD3064 is UNSAT
Problem TDEAD3071 is UNSAT
Problem TDEAD3075 is UNSAT
Problem TDEAD3080 is UNSAT
Problem TDEAD3084 is UNSAT
Problem TDEAD3088 is UNSAT
Problem TDEAD3093 is UNSAT
Problem TDEAD3097 is UNSAT
Problem TDEAD3102 is UNSAT
Problem TDEAD3107 is UNSAT
Problem TDEAD3114 is UNSAT
Problem TDEAD3120 is UNSAT
Problem TDEAD3125 is UNSAT
Problem TDEAD3129 is UNSAT
Problem TDEAD3133 is UNSAT
Problem TDEAD3138 is UNSAT
Problem TDEAD3142 is UNSAT
Problem TDEAD3147 is UNSAT
Problem TDEAD3151 is UNSAT
Problem TDEAD3157 is UNSAT
Problem TDEAD3162 is UNSAT
Problem TDEAD3169 is UNSAT
Problem TDEAD3173 is UNSAT
Problem TDEAD3177 is UNSAT
Problem TDEAD3182 is UNSAT
Problem TDEAD3186 is UNSAT
Problem TDEAD3191 is UNSAT
Problem TDEAD3195 is UNSAT
Problem TDEAD3199 is UNSAT
Problem TDEAD3205 is UNSAT
Problem TDEAD3210 is UNSAT
Problem TDEAD3217 is UNSAT
Problem TDEAD3221 is UNSAT
Problem TDEAD3227 is UNSAT
Problem TDEAD3231 is UNSAT
Problem TDEAD3236 is UNSAT
Problem TDEAD3240 is UNSAT
Problem TDEAD3244 is UNSAT
Problem TDEAD3249 is UNSAT
Problem TDEAD3254 is UNSAT
Problem TDEAD3260 is UNSAT
Problem TDEAD3266 is UNSAT
Problem TDEAD3271 is UNSAT
Problem TDEAD3275 is UNSAT
Problem TDEAD3280 is UNSAT
Problem TDEAD3284 is UNSAT
Problem TDEAD3288 is UNSAT
Problem TDEAD3293 is UNSAT
Problem TDEAD3297 is UNSAT
Problem TDEAD3305 is UNSAT
Problem TDEAD3310 is UNSAT
Problem TDEAD3317 is UNSAT
Problem TDEAD3321 is UNSAT
Problem TDEAD3326 is UNSAT
Problem TDEAD3330 is UNSAT
Problem TDEAD3336 is UNSAT
Problem TDEAD3340 is UNSAT
Problem TDEAD3344 is UNSAT
Problem TDEAD3349 is UNSAT
Problem TDEAD3357 is UNSAT
Problem TDEAD3362 is UNSAT
Problem TDEAD3369 is UNSAT
Problem TDEAD3373 is UNSAT
Problem TDEAD3377 is UNSAT
Problem TDEAD3382 is UNSAT
Problem TDEAD3386 is UNSAT
Problem TDEAD3391 is UNSAT
Problem TDEAD3395 is UNSAT
Problem TDEAD3399 is UNSAT
Problem TDEAD3405 is UNSAT
Problem TDEAD3410 is UNSAT
Problem TDEAD3417 is UNSAT
Problem TDEAD3421 is UNSAT
Problem TDEAD3426 is UNSAT
Problem TDEAD3430 is UNSAT
Problem TDEAD3435 is UNSAT
Problem TDEAD3439 is UNSAT
Problem TDEAD3443 is UNSAT
Problem TDEAD3449 is UNSAT
Problem TDEAD3454 is UNSAT
Problem TDEAD3460 is UNSAT
Problem TDEAD3466 is UNSAT
Problem TDEAD3471 is UNSAT
Problem TDEAD3475 is UNSAT
Problem TDEAD3480 is UNSAT
Problem TDEAD3484 is UNSAT
Problem TDEAD3488 is UNSAT
Problem TDEAD3493 is UNSAT
Problem TDEAD3497 is UNSAT
Problem TDEAD3503 is UNSAT
Problem TDEAD3508 is UNSAT
Problem TDEAD3515 is UNSAT
Problem TDEAD3519 is UNSAT
Problem TDEAD3524 is UNSAT
Problem TDEAD3528 is UNSAT
Problem TDEAD3532 is UNSAT
Problem TDEAD3537 is UNSAT
Problem TDEAD3541 is UNSAT
Problem TDEAD3546 is UNSAT
Problem TDEAD3551 is UNSAT
Problem TDEAD3558 is UNSAT
Problem TDEAD3564 is UNSAT
Problem TDEAD3569 is UNSAT
Problem TDEAD3573 is UNSAT
Problem TDEAD3577 is UNSAT
Problem TDEAD3582 is UNSAT
Problem TDEAD3586 is UNSAT
Problem TDEAD3591 is UNSAT
Problem TDEAD3595 is UNSAT
Problem TDEAD3601 is UNSAT
Problem TDEAD3606 is UNSAT
Problem TDEAD3613 is UNSAT
Problem TDEAD3617 is UNSAT
Problem TDEAD3621 is UNSAT
Problem TDEAD3626 is UNSAT
Problem TDEAD3630 is UNSAT
Problem TDEAD3635 is UNSAT
Problem TDEAD3639 is UNSAT
Problem TDEAD3643 is UNSAT
Problem TDEAD3649 is UNSAT
Problem TDEAD3654 is UNSAT
Problem TDEAD3661 is UNSAT
Problem TDEAD3665 is UNSAT
Problem TDEAD3672 is UNSAT
Problem TDEAD3676 is UNSAT
Problem TDEAD3681 is UNSAT
Problem TDEAD3685 is UNSAT
Problem TDEAD3689 is UNSAT
Problem TDEAD3694 is UNSAT
Problem TDEAD3699 is UNSAT
Problem TDEAD3705 is UNSAT
Problem TDEAD3711 is UNSAT
Problem TDEAD3716 is UNSAT
Problem TDEAD3720 is UNSAT
Problem TDEAD3725 is UNSAT
Problem TDEAD3729 is UNSAT
Problem TDEAD3733 is UNSAT
Problem TDEAD3738 is UNSAT
Problem TDEAD3742 is UNSAT
Problem TDEAD3748 is UNSAT
Problem TDEAD3753 is UNSAT
Problem TDEAD3760 is UNSAT
Problem TDEAD3764 is UNSAT
Problem TDEAD3769 is UNSAT
Problem TDEAD3773 is UNSAT
Problem TDEAD3777 is UNSAT
Problem TDEAD3783 is UNSAT
Problem TDEAD3787 is UNSAT
Problem TDEAD3792 is UNSAT
Problem TDEAD3799 is UNSAT
Problem TDEAD3805 is UNSAT
Problem TDEAD3811 is UNSAT
Problem TDEAD3816 is UNSAT
Problem TDEAD3820 is UNSAT
Problem TDEAD3825 is UNSAT
Problem TDEAD3829 is UNSAT
Problem TDEAD3833 is UNSAT
Problem TDEAD3838 is UNSAT
Problem TDEAD3842 is UNSAT
Problem TDEAD3850 is UNSAT
Problem TDEAD3855 is UNSAT
Problem TDEAD3862 is UNSAT
Problem TDEAD3866 is UNSAT
Problem TDEAD3871 is UNSAT
Problem TDEAD3875 is UNSAT
Problem TDEAD3880 is UNSAT
Problem TDEAD3884 is UNSAT
Problem TDEAD3888 is UNSAT
Problem TDEAD3894 is UNSAT
Problem TDEAD3899 is UNSAT
Problem TDEAD3905 is UNSAT
Problem TDEAD3911 is UNSAT
Problem TDEAD3916 is UNSAT
Problem TDEAD3920 is UNSAT
Problem TDEAD3925 is UNSAT
Problem TDEAD3929 is UNSAT
Problem TDEAD3933 is UNSAT
Problem TDEAD3938 is UNSAT
Problem TDEAD3942 is UNSAT
Problem TDEAD3948 is UNSAT
Problem TDEAD3953 is UNSAT
Problem TDEAD3960 is UNSAT
Problem TDEAD3964 is UNSAT
Problem TDEAD3969 is UNSAT
Problem TDEAD3973 is UNSAT
Problem TDEAD3977 is UNSAT
Problem TDEAD3982 is UNSAT
Problem TDEAD3986 is UNSAT
Problem TDEAD3991 is UNSAT
Problem TDEAD3996 is UNSAT
Problem TDEAD4003 is UNSAT
Problem TDEAD4009 is UNSAT
Problem TDEAD4014 is UNSAT
Problem TDEAD4018 is UNSAT
Problem TDEAD4022 is UNSAT
Problem TDEAD4027 is UNSAT
Problem TDEAD4031 is UNSAT
Problem TDEAD4036 is UNSAT
Problem TDEAD4040 is UNSAT
Problem TDEAD4046 is UNSAT
Problem TDEAD4051 is UNSAT
Problem TDEAD4058 is UNSAT
Problem TDEAD4062 is UNSAT
Problem TDEAD4066 is UNSAT
Problem TDEAD4071 is UNSAT
Problem TDEAD4075 is UNSAT
Problem TDEAD4080 is UNSAT
Problem TDEAD4084 is UNSAT
Problem TDEAD4088 is UNSAT
Problem TDEAD4094 is UNSAT
Problem TDEAD4099 is UNSAT
Problem TDEAD4106 is UNSAT
Problem TDEAD4110 is UNSAT
Problem TDEAD4116 is UNSAT
Problem TDEAD4120 is UNSAT
Problem TDEAD4125 is UNSAT
Problem TDEAD4129 is UNSAT
Problem TDEAD4133 is UNSAT
Problem TDEAD4138 is UNSAT
Problem TDEAD4143 is UNSAT
Problem TDEAD4149 is UNSAT
Problem TDEAD4155 is UNSAT
Problem TDEAD4160 is UNSAT
Problem TDEAD4164 is UNSAT
Problem TDEAD4169 is UNSAT
Problem TDEAD4173 is UNSAT
Problem TDEAD4177 is UNSAT
Problem TDEAD4182 is UNSAT
Problem TDEAD4186 is UNSAT
Problem TDEAD4192 is UNSAT
Problem TDEAD4197 is UNSAT
Problem TDEAD4204 is UNSAT
Problem TDEAD4208 is UNSAT
Problem TDEAD4213 is UNSAT
Problem TDEAD4217 is UNSAT
Problem TDEAD4221 is UNSAT
Problem TDEAD4227 is UNSAT
Problem TDEAD4231 is UNSAT
Problem TDEAD4236 is UNSAT
Problem TDEAD4241 is UNSAT
Problem TDEAD4247 is UNSAT
Problem TDEAD4253 is UNSAT
Problem TDEAD4258 is UNSAT
Problem TDEAD4262 is UNSAT
Problem TDEAD4266 is UNSAT
Problem TDEAD4271 is UNSAT
Problem TDEAD4275 is UNSAT
Problem TDEAD4280 is UNSAT
Problem TDEAD4284 is UNSAT
Problem TDEAD4290 is UNSAT
Problem TDEAD4292 is UNSAT
Problem TDEAD4297 is UNSAT
Problem TDEAD4304 is UNSAT
Problem TDEAD4308 is UNSAT
Problem TDEAD4313 is UNSAT
Problem TDEAD4317 is UNSAT
Problem TDEAD4321 is UNSAT
Problem TDEAD4326 is UNSAT
Problem TDEAD4330 is UNSAT
Problem TDEAD4336 is UNSAT
Problem TDEAD4340 is UNSAT
Problem TDEAD4343 is UNSAT
Problem TDEAD4349 is UNSAT
Problem TDEAD4355 is UNSAT
Problem TDEAD4360 is UNSAT
Problem TDEAD4364 is UNSAT
Problem TDEAD4369 is UNSAT
Problem TDEAD4373 is UNSAT
Problem TDEAD4377 is UNSAT
Problem TDEAD4382 is UNSAT
Problem TDEAD4386 is UNSAT
Problem TDEAD4391 is UNSAT
Problem TDEAD4392 is UNSAT
Problem TDEAD4397 is UNSAT
Problem TDEAD4404 is UNSAT
Problem TDEAD4408 is UNSAT
Problem TDEAD4413 is UNSAT
Problem TDEAD4417 is UNSAT
Problem TDEAD4421 is UNSAT
Problem TDEAD4426 is UNSAT
Problem TDEAD4430 is UNSAT
Problem TDEAD4435 is UNSAT
Problem TDEAD4439 is UNSAT
Problem TDEAD4440 is UNSAT
Problem TDEAD4447 is UNSAT
Problem TDEAD4453 is UNSAT
Problem TDEAD4458 is UNSAT
Problem TDEAD4462 is UNSAT
Problem TDEAD4466 is UNSAT
Problem TDEAD4471 is UNSAT
Problem TDEAD4475 is UNSAT
Problem TDEAD4480 is UNSAT
Problem TDEAD4484 is UNSAT
Problem TDEAD4488 is UNSAT
Problem TDEAD4490 is UNSAT
Problem TDEAD4495 is UNSAT
Problem TDEAD4502 is UNSAT
Problem TDEAD4506 is UNSAT
Problem TDEAD4510 is UNSAT
Problem TDEAD4515 is UNSAT
Problem TDEAD4519 is UNSAT
Problem TDEAD4524 is UNSAT
Problem TDEAD4528 is UNSAT
Problem TDEAD4532 is UNSAT
Problem TDEAD4537 is UNSAT
Problem TDEAD4538 is UNSAT
Problem TDEAD4543 is UNSAT
Problem TDEAD4550 is UNSAT
Problem TDEAD4554 is UNSAT
Problem TDEAD4560 is UNSAT
Problem TDEAD4564 is UNSAT
Problem TDEAD4569 is UNSAT
Problem TDEAD4573 is UNSAT
Problem TDEAD4577 is UNSAT
Problem TDEAD4582 is UNSAT
Problem TDEAD4586 is UNSAT
Problem TDEAD4587 is UNSAT
Problem TDEAD4593 is UNSAT
Problem TDEAD4599 is UNSAT
Problem TDEAD4604 is UNSAT
Problem TDEAD4608 is UNSAT
Problem TDEAD4613 is UNSAT
Problem TDEAD4617 is UNSAT
Problem TDEAD4621 is UNSAT
Problem TDEAD4626 is UNSAT
Problem TDEAD4630 is UNSAT
Problem TDEAD4635 is UNSAT
Problem TDEAD4636 is UNSAT
Problem TDEAD4641 is UNSAT
Problem TDEAD4648 is UNSAT
Problem TDEAD4652 is UNSAT
Problem TDEAD4657 is UNSAT
Problem TDEAD4661 is UNSAT
Problem TDEAD4665 is UNSAT
Problem TDEAD4671 is UNSAT
Problem TDEAD4675 is UNSAT
Problem TDEAD4680 is UNSAT
Problem TDEAD4684 is UNSAT
Problem TDEAD4685 is UNSAT
Problem TDEAD4691 is UNSAT
Problem TDEAD4697 is UNSAT
Problem TDEAD4702 is UNSAT
Problem TDEAD4706 is UNSAT
Problem TDEAD4710 is UNSAT
Problem TDEAD4715 is UNSAT
Problem TDEAD4719 is UNSAT
Problem TDEAD4724 is UNSAT
Problem TDEAD4728 is UNSAT
Problem TDEAD4732 is UNSAT
Problem TDEAD4734 is UNSAT
Problem TDEAD4739 is UNSAT
Problem TDEAD4746 is UNSAT
Problem TDEAD4750 is UNSAT
Problem TDEAD4754 is UNSAT
Problem TDEAD4759 is UNSAT
Problem TDEAD4763 is UNSAT
Problem TDEAD4768 is UNSAT
Problem TDEAD4772 is UNSAT
Problem TDEAD4776 is UNSAT
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/6914 variables, 2/2 constraints. Problems are: Problem set: 910 solved, 5093 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6914/14917 variables, and 2 constraints, problems are : Problem set: 910 solved, 5093 unsolved in 20172 ms.
Refiners :[Positive P Invariants (semi-flows): 2/2002 constraints, State Equation: 0/7914 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 6003/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 910 solved, 5093 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/5184 variables, 1/1 constraints. Problems are: Problem set: 910 solved, 5093 unsolved
Error getting values : (error "Timeout of Z3 solver reached")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 5184/14917 variables, and 1 constraints, problems are : Problem set: 910 solved, 5093 unsolved in 20080 ms.
Refiners :[Positive P Invariants (semi-flows): 1/2002 constraints, State Equation: 0/7914 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 1/6002 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 46296ms problems are : Problem set: 910 solved, 5093 unsolved
Search for dead transitions found 910 dead transitions in 46374ms
Found 910 dead transitions using SMT.
Drop transitions (Dead Transitions using SMT only with invariants) removed 910 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 910 transitions.
FORMULA QuasiLiveness FALSE TECHNIQUES STRUCTURAL_REDUCTION
Total runtime 47830 ms.

BK_STOP 1780293669851

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

+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800

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="SupplyChain-PT-01000"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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-5973"
echo " Executing tool itstools"
echo " Input is SupplyChain-PT-01000, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r360-tall-178024403900142"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SupplyChain-PT-01000.tgz
mv SupplyChain-PT-01000 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "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 [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.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 '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;