About the Execution of ITS-Tools for MedleyB-PT-B13
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 532545.00 | 0.00 | 0.00 | F | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r259-tall-174931345500328.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool itstools
Input is MedleyB-PT-B13, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r259-tall-174931345500328
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 121M
-rw-r--r-- 1 mcc users 5.8K Jun 6 09:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Jun 6 09:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Jun 6 09:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Jun 6 09:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Jun 6 12:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Jun 6 12:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jun 6 12:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Jun 6 12:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 5 20:08 NewModel
-rw-r--r-- 1 mcc users 13K Jun 6 09:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 132K Jun 6 09:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Jun 6 09:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Jun 6 09:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Jun 6 12:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Jun 6 12:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 5 20:08 equiv_col
-rw-r--r-- 1 mcc users 4 Jun 5 20:08 instance
-rw-r--r-- 1 mcc users 6 Jun 5 20:08 iscolored
-rw-r--r-- 1 mcc users 120M Jun 5 20:08 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 StableMarking
=== Now, execution of the tool begins
BK_START 1749324197409
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MedleyB-PT-B13
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
StableMarking PT
Running Version 202505121319
[2025-06-07 19:23:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2025-06-07 19:23:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-07 19:23:22] [INFO ] Load time of PNML (sax parser for PT used): 4093 ms
[2025-06-07 19:23:23] [INFO ] Transformed 3039 places.
[2025-06-07 19:23:23] [INFO ] Transformed 122330 transitions.
[2025-06-07 19:23:23] [INFO ] Found NUPN structural information;
[2025-06-07 19:23:23] [INFO ] Parsed PT model containing 3039 places and 122330 transitions and 2389226 arcs in 4882 ms.
Graph (trivial) has 3018 edges and 3039 vertex of which 200 / 3039 are part of one of the 30 SCC in 37 ms
Free SCC test removed 170 places
Structural test allowed to assert that 1334 places are NOT stable. Took 250 ms.
Ensure Unique test removed 190 transitions
Reduce redundant transitions removed 190 transitions.
RANDOM walk for 40000 steps (219 resets) in 14798 ms. (2 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 32 ms. (3 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 298 ms. (0 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 122 steps (8 resets) in 31 ms. (3 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 122 steps (8 resets) in 21 ms. (5 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 122 steps (8 resets) in 14 ms. (8 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 21 ms. (5 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 24 ms. (4 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 16 ms. (7 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 33 ms. (3 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 24 ms. (4 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 18 ms. (6 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 20 ms. (5 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 30 ms. (4 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 122 steps (8 resets) in 17 ms. (6 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 14 ms. (8 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 24 ms. (4 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 122 steps (8 resets) in 14 ms. (8 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 12 ms. (9 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 19 ms. (6 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 13 ms. (8 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 18 ms. (6 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 122 steps (8 resets) in 21 ms. (5 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 18 ms. (6 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 18 ms. (6 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 13 ms. (8 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 122 steps (8 resets) in 20 ms. (5 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 16 ms. (7 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 17 ms. (6 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 122 steps (8 resets) in 12 ms. (9 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 16 ms. (7 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 14 ms. (8 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 15 ms. (7 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 23 ms. (5 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 12 ms. (9 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 12 ms. (9 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 124 steps (8 resets) in 14 ms. (8 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 14 ms. (8 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 16 ms. (7 steps per ms) remains 1705/1705 properties
BEST_FIRST walk for 123 steps (8 resets) in 17 ms. (6 steps per ms) remains 1705/1705 properties
[2025-06-07 19:23:41] [INFO ] Flatten gal took : 12981 ms
Interrupted probabilistic random walk after 13393 steps, run timeout after 12005 ms. (steps per millisecond=1 ) properties seen :95 out of 1705
Probabilistic random walk after 13393 steps, saw 8629 distinct states, run finished after 12010 ms. (steps per millisecond=1 ) properties seen :95
[2025-06-07 19:23:42] [INFO ] Flow matrix only has 122111 transitions (discarded 29 similar events)
// Phase 1: matrix 122111 rows 2869 cols
[2025-06-07 19:23:47] [INFO ] Computed 11 invariants in 5764 ms
[2025-06-07 19:23:49] [INFO ] State equation strengthened by 1 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
[2025-06-07 19:23:53] [INFO ] Flatten gal took : 12216 ms
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
[2025-06-07 19:23:55] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14417924546781172852.gal : 2155 ms
[2025-06-07 19:23:55] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18370062951122741456.prop : 7 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality14417924546781172852.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality18370062951122741456.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1610 variables, 1610/1610 constraints. Problems are: Problem set: 0 solved, 1610 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 1610/124980 variables, and 1610 constraints, problems are : Problem set: 0 solved, 1610 unsolved in 7817 ms.
Refiners :[Domain max(s): 1610/2869 constraints, Positive P Invariants (semi-flows): 0/11 constraints, State Equation: 0/2869 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 1610/1541 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1610 unsolved
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/1610 variables, 1610/1610 constraints. Problems are: Problem set: 0 solved, 1610 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 1610/124980 variables, and 1610 constraints, problems are : Problem set: 0 solved, 1610 unsolved in 5057 ms.
Refiners :[Domain max(s): 1610/2869 constraints, Positive P Invariants (semi-flows): 0/11 constraints, State Equation: 0/2869 constraints, ReadFeed: 0/1 constraints, PredecessorRefiner: 69/1541 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 66685ms problems are : Problem set: 0 solved, 1610 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1610 out of 2869 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2869/2869 places, 122140/122140 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 30 transitions
Reduce isomorphic transitions removed 30 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 1047 transitions
Trivial Post-agglo rules discarded 1047 transitions
Performed 1047 trivial Post agglomeration. Transition count delta: 1047
Iterating post reduction 0 with 1077 rules applied. Total rules applied 1077 place count 2869 transition count 121063
Reduce places removed 1047 places and 0 transitions.
Iterating post reduction 1 with 1047 rules applied. Total rules applied 2124 place count 1822 transition count 121063
Performed 22 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 22 Pre rules applied. Total rules applied 2124 place count 1822 transition count 121041
Deduced a syphon composed of 22 places in 155 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 2168 place count 1800 transition count 121041
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 2171 place count 1797 transition count 121038
Iterating global reduction 2 with 3 rules applied. Total rules applied 2174 place count 1797 transition count 121038
Performed 22 Post agglomeration using F-continuation condition.Transition count delta: 22
Deduced a syphon composed of 22 places in 53 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 2218 place count 1775 transition count 121016
Performed 22 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 22 places in 67 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 2262 place count 1753 transition count 121044
Free-agglomeration rule applied 86 times.
Iterating global reduction 2 with 86 rules applied. Total rules applied 2348 place count 1753 transition count 120958
Reduce places removed 86 places and 0 transitions.
Iterating post reduction 2 with 86 rules applied. Total rules applied 2434 place count 1667 transition count 120958
Renaming transitions due to excessive name length > 1024 char.
Applied a total of 2434 rules in 135377 ms. Remains 1667 /2869 variables (removed 1202) and now considering 120958/122140 (removed 1182) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 135431 ms. Remains : 1667/2869 places, 120958/122140 transitions.
RANDOM walk for 1019 steps (0 resets) in 122139 ms. (0 steps per ms) remains 1183/1610 properties
BEST_FIRST walk for 4003 steps (8 resets) in 754 ms. (5 steps per ms) remains 1159/1183 properties
BEST_FIRST walk for 4003 steps (7 resets) in 4512 ms. (0 steps per ms) remains 1133/1159 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9887 ms. (0 steps per ms) remains 1130/1133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 518 ms. (7 steps per ms) remains 1124/1130 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 1124/1124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 1124/1124 properties
BEST_FIRST walk for 4002 steps (6 resets) in 3694 ms. (1 steps per ms) remains 1124/1124 properties
BEST_FIRST walk for 4004 steps (4 resets) in 7799 ms. (0 steps per ms) remains 1124/1124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 1124/1124 properties
BEST_FIRST walk for 4004 steps (6 resets) in 3895 ms. (1 steps per ms) remains 1123/1124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 680 ms. (5 steps per ms) remains 1119/1123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 923 ms. (4 steps per ms) remains 1116/1119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 1116/1116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3967 ms. (1 steps per ms) remains 1116/1116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 1116/1116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 1116/1116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 636 ms. (6 steps per ms) remains 1116/1116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 574 ms. (6 steps per ms) remains 1116/1116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 585 ms. (6 steps per ms) remains 1116/1116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 1116/1116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 562 ms. (7 steps per ms) remains 1116/1116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 1116/1116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 732 ms. (5 steps per ms) remains 1114/1116 properties
BEST_FIRST walk for 4003 steps (8 resets) in 586 ms. (6 steps per ms) remains 1114/1114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 618 ms. (6 steps per ms) remains 1114/1114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 561 ms. (7 steps per ms) remains 1114/1114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4334 ms. (0 steps per ms) remains 1114/1114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5148 ms. (0 steps per ms) remains 1114/1114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 15387 ms. (0 steps per ms) remains 1114/1114 properties
BEST_FIRST walk for 2889 steps (6 resets) in 24171 ms. (0 steps per ms) remains 1114/1114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 16649 ms. (0 steps per ms) remains 1114/1114 properties
BEST_FIRST walk for 2145 steps (4 resets) in 20148 ms. (0 steps per ms) remains 1114/1114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1582 ms. (2 steps per ms) remains 1114/1114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1312 ms. (3 steps per ms) remains 1114/1114 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2511 ms. (1 steps per ms) remains 1114/1114 properties
BEST_FIRST walk for 4002 steps (8 resets) in 2160 ms. (1 steps per ms) remains 1114/1114 properties
BEST_FIRST walk for 4003 steps (6 resets) in 6762 ms. (0 steps per ms) remains 1112/1114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4002 steps (8 resets) in 623 ms. (6 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (7 resets) in 4074 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 677 ms. (5 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4596 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 618 ms. (6 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4002 steps (8 resets) in 690 ms. (5 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10642 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1898 ms. (2 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (7 resets) in 7486 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 723 ms. (5 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (6 resets) in 9741 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 798 ms. (5 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 626 ms. (6 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 5116 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 623 ms. (6 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 610 ms. (6 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10301 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (6 resets) in 6708 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 10126 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4002 steps (8 resets) in 2178 ms. (1 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 7701 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (4 resets) in 12409 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 615 ms. (6 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4002 steps (8 resets) in 478 ms. (8 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 4135 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 4023 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (7 resets) in 11352 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 9611 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1711 ms. (2 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2395 ms. (1 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 5330 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2966 ms. (1 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 719 ms. (5 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 718 ms. (5 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4002 steps (8 resets) in 659 ms. (6 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 542 ms. (7 steps per ms) remains 1112/1112 properties
ITS-tools command line returned an error code 137
BEST_FIRST walk for 4002 steps (8 resets) in 542 ms. (7 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 556 ms. (7 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 639 ms. (6 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1516 ms. (2 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (6 resets) in 5312 ms. (0 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 866 ms. (4 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (6 resets) in 3859 ms. (1 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 889 ms. (4 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4003 steps (8 resets) in 524 ms. (7 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 660 ms. (6 steps per ms) remains 1112/1112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 659 ms. (6 steps per ms) remains 1112/1112 properties
// Phase 1: matrix 120958 rows 1667 cols
[2025-06-07 19:30:00] [INFO ] Computed 11 invariants in 1822 ms
[2025-06-07 19:30:11] [INFO ] Flatten gal took : 17800 ms
[2025-06-07 19:30:11] [INFO ] Applying decomposition
[2025-06-07 19:30:14] [INFO ] State equation strengthened by 19863 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
[2025-06-07 19:30:25] [INFO ] Flatten gal took : 13995 ms
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Excessive predecessor constraint size, skipping predecessor.
Starting Z3 with timeout 45.0 s and query timeout 4500.0 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph2881964371353596843.txt' '-o' '/tmp/graph2881964371353596843.bin' '-w' '/tmp/graph2881964371353596843.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph2881964371353596843.bin' '-l' '-1' '-v' '-w' '/tmp/graph2881964371353596843.weights' '-q' '0' '-e' '0.001'
[2025-06-07 19:31:10] [INFO ] Decomposing Gal with order
[2025-06-07 19:31:10] [INFO ] Rewriting arrays to variables to allow decomposition.
At refinement iteration 0 (INCLUDED_ONLY) 0/1112 variables, 0/0 constraints. Problems are: Problem set: 0 solved, 1112 unsolved
SMT process timed out in 88556ms, After SMT, problems are : Problem set: 0 solved, 1112 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1112 out of 1667 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1667/1667 places, 120958/120958 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 315 transitions
Trivial Post-agglo rules discarded 315 transitions
Performed 315 trivial Post agglomeration. Transition count delta: 315
Iterating post reduction 0 with 315 rules applied. Total rules applied 315 place count 1667 transition count 120643
Reduce places removed 315 places and 0 transitions.
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 1 with 329 rules applied. Total rules applied 644 place count 1352 transition count 120629
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 2 with 7 rules applied. Total rules applied 651 place count 1345 transition count 120629
Performed 49 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 49 Pre rules applied. Total rules applied 651 place count 1345 transition count 120580
Deduced a syphon composed of 49 places in 37 ms
Reduce places removed 49 places and 0 transitions.
Iterating global reduction 3 with 98 rules applied. Total rules applied 749 place count 1296 transition count 120580
Discarding 68 places :
Symmetric choice reduction at 3 with 68 rule applications. Total rules 817 place count 1228 transition count 120512
Iterating global reduction 3 with 68 rules applied. Total rules applied 885 place count 1228 transition count 120512
Ensure Unique test removed 115539 transitions
Reduce isomorphic transitions removed 115539 transitions.
Iterating post reduction 3 with 115539 rules applied. Total rules applied 116424 place count 1228 transition count 4973
Discarding 9 places :
Symmetric choice reduction at 4 with 9 rule applications. Total rules 116433 place count 1219 transition count 4964
Iterating global reduction 4 with 9 rules applied. Total rules applied 116442 place count 1219 transition count 4964
Discarding 9 places :
Symmetric choice reduction at 4 with 9 rule applications. Total rules 116451 place count 1210 transition count 4955
Iterating global reduction 4 with 9 rules applied. Total rules applied 116460 place count 1210 transition count 4955
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 116466 place count 1210 transition count 4949
Discarding 3 places :
Symmetric choice reduction at 5 with 3 rule applications. Total rules 116469 place count 1207 transition count 4946
Iterating global reduction 5 with 3 rules applied. Total rules applied 116472 place count 1207 transition count 4946
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 5 with 19 rules applied. Total rules applied 116491 place count 1207 transition count 4927
Performed 11 Post agglomeration using F-continuation condition with reduction of 518 identical transitions.
Deduced a syphon composed of 11 places in 2 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 6 with 22 rules applied. Total rules applied 116513 place count 1196 transition count 4398
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Ensure Unique test removed 48 transitions
Reduce isomorphic transitions removed 49 transitions.
Iterating post reduction 6 with 49 rules applied. Total rules applied 116562 place count 1196 transition count 4349
Discarding 8 places :
Symmetric choice reduction at 7 with 8 rule applications. Total rules 116570 place count 1188 transition count 4341
Iterating global reduction 7 with 8 rules applied. Total rules applied 116578 place count 1188 transition count 4341
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 116579 place count 1187 transition count 4340
Iterating global reduction 7 with 1 rules applied. Total rules applied 116580 place count 1187 transition count 4340
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 116581 place count 1187 transition count 4339
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 1 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 8 with 16 rules applied. Total rules applied 116597 place count 1179 transition count 4331
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 8 with 10 rules applied. Total rules applied 116607 place count 1179 transition count 4321
Discarding 6 places :
Symmetric choice reduction at 9 with 6 rule applications. Total rules 116613 place count 1173 transition count 4315
Iterating global reduction 9 with 6 rules applied. Total rules applied 116619 place count 1173 transition count 4315
Ensure Unique test removed 31 transitions
Reduce isomorphic transitions removed 31 transitions.
Iterating post reduction 9 with 31 rules applied. Total rules applied 116650 place count 1173 transition count 4284
Drop transitions (Redundant composition of simpler transitions.) removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 116651 place count 1173 transition count 4283
Partial Post-agglomeration rule applied 2 times.
Drop transitions (Partial Post agglomeration) removed 2 transitions
Iterating global reduction 10 with 2 rules applied. Total rules applied 116653 place count 1173 transition count 4283
Applied a total of 116653 rules in 11466 ms. Remains 1173 /1667 variables (removed 494) and now considering 4283/120958 (removed 116675) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 11467 ms. Remains : 1173/1667 places, 4283/120958 transitions.
RANDOM walk for 55331 steps (565 resets) in 11047 ms. (5 steps per ms) remains 0/1112 properties
[2025-06-07 19:31:53] [INFO ] Removed a total of 1191630 redundant transitions.
[2025-06-07 19:31:55] [INFO ] Flatten gal took : 25298 ms
[2025-06-07 19:32:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 42 labels/synchronizations in 7075 ms.
[2025-06-07 19:32:09] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12809286662807568964.gal : 710 ms
[2025-06-07 19:32:09] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13756856535943340571.prop : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality12809286662807568964.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality13756856535943340571.prop' '--nowitness'
ITS runner timed out or was interrupted.
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...309
ITS tools runner thread asked to quit. Dying gracefully.
Able to resolve query StableMarking after proving 1707 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK PROBABILISTIC_WALK MARKED_SUFFIX_TEST TRIVIAL_UNMARKED_SCC_TEST BESTFIRST_WALK TOPOLOGICAL
Total runtime 530683 ms.
BK_STOP 1749324729954
--------------------
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
+ [[ StableMarking = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution StableMarking -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
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -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="MedleyB-PT-B13"
export BK_EXAMINATION="StableMarking"
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-5832"
echo " Executing tool itstools"
echo " Input is MedleyB-PT-B13, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r259-tall-174931345500328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MedleyB-PT-B13.tgz
mv MedleyB-PT-B13 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.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 '
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;