Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 114M
-rw-r--r-- 1 mcc users 5.9K May 27 08:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K May 27 08:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K May 27 08:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K May 27 08:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 27 10:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 27 10:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 27 10:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 27 10:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 8.2K May 27 08:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K May 27 08:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K May 27 08:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K May 27 08:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 27 10:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 27 10:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 26 18:17 equiv_col
-rw-r--r-- 1 mcc users 8 May 26 18:17 instance
-rw-r--r-- 1 mcc users 6 May 26 18:17 iscolored
-rw-r--r-- 1 mcc users 114M May 26 18:17 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1780299099207

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ErlangenMainframeV1-PT-aP14C01
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202604301425
[2026-06-01 07:31:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2026-06-01 07:31:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 07:31:47] [INFO ] Load time of PNML (sax parser for PT used): 5763 ms
[2026-06-01 07:31:47] [INFO ] Transformed 99 places.
[2026-06-01 07:31:47] [INFO ] Transformed 73829 transitions.
[2026-06-01 07:31:47] [INFO ] Found NUPN structural information;
[2026-06-01 07:31:48] [INFO ] Parsed PT model containing 99 places and 73829 transitions and 2310551 arcs in 6821 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 99/99 places, 73829/73829 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 15 transitions
Trivial Post-agglo rules discarded 15 transitions
Performed 15 trivial Post agglomeration. Transition count delta: 15
Iterating post reduction 0 with 16 rules applied. Total rules applied 16 place count 99 transition count 73813
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 1 with 15 rules applied. Total rules applied 31 place count 84 transition count 73813
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 31 place count 84 transition count 73812
Deduced a syphon composed of 1 places in 108 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 33 place count 83 transition count 73812
Applied a total of 33 rules in 4128 ms. Remains 83 /99 variables (removed 16) and now considering 73812/73829 (removed 17) transitions.
[2026-06-01 07:31:52] [INFO ] Flow matrix only has 73808 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10428545882719220904.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7575267958408206972.kers'
[2026-06-01 07:31:53] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10428545882719220904.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7575267958408206972.kers]
Normalized transition count is 73807 out of 73808 initially.
Culled 0 columns in 397 ms.
// Phase 1: matrix 73807 rows 83 cols 2310423 entries
Finished phase 1 with 46 SingleSign rule and 3 generalized
[2026-06-01 07:31:55] [INFO ] Computed 34 invariants in 1768 ms
Computed 34 P flows in 1770 ms.
Exported basis to /tmp/petrispot-output-7575267958408206972.kers
Total runtime 2041 ms.
[2026-06-01 07:32:26] [INFO ] Performed 30/83 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 07:33:29] [INFO ] Performed 64/83 implicitness test of which 1 returned IMPLICIT in 94 seconds.
[2026-06-01 07:33:34] [INFO ] Implicit Places using invariants in 101527 ms returned [64]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 101850 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 82/99 places, 73812/73829 transitions.
Applied a total of 0 rules in 1104 ms. Remains 82 /82 variables (removed 0) and now considering 73812/73812 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 107122 ms. Remains : 82/99 places, 73812/73829 transitions.
Discarding 34 transitions out of 73812. Remains 73778
Initial state reduction rules removed 1 formulas.
RANDOM walk for 31619 steps (8 resets) in 120075 ms. (0 steps per ms) remains 73720/73777 properties
BEST_FIRST walk for 124 steps (8 resets) in 1250 ms. (0 steps per ms) remains 73719/73720 properties
BEST_FIRST walk for 124 steps (8 resets) in 1595 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1608 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1403 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1210 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1633 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1184 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1142 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1036 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1381 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1029 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 991 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1141 ms. (0 steps per ms) remains 73719/73719 properties
[2026-06-01 07:48:25] [INFO ] Flatten gal took : 28306 ms
BEST_FIRST walk for 124 steps (8 resets) in 1102 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1120 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1107 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1115 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1124 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1062 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1044 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1237 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1417 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1029 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1128 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1111 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1175 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1136 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1089 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1154 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1405 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1091 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1148 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1145 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1132 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1149 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1154 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1061 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1932 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1143 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1012 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1204 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1028 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1129 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1148 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1124 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1174 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1219 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1363 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 2001 ms. (0 steps per ms) remains 73719/73719 properties
BEST_FIRST walk for 124 steps (8 resets) in 1149 ms. (0 steps per ms) remains 73719/73719 properties
[2026-06-01 07:48:46] [INFO ] Flatten gal took : 20777 ms
[2026-06-01 07:48:50] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5779290055504864962.gal : 2732 ms
[2026-06-01 07:48:51] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15508335604496347641.prop : 1033 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.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality5779290055504864962.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality15508335604496347641.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.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality15508335604496347641.prop.
Interrupted probabilistic random walk after 22060 steps, run timeout after 141054 ms. (steps per millisecond=0 ) properties seen :7 out of 73719
Probabilistic random walk after 22060 steps, saw 13333 distinct states, run finished after 141153 ms. (steps per millisecond=0 ) properties seen :7
[2026-06-01 07:51:00] [INFO ] Flow matrix only has 73808 transitions (discarded 4 similar events)
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-328565296017540207.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11092024361479936797.kers'
[2026-06-01 07:51:00] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-328565296017540207.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11092024361479936797.kers]
Normalized transition count is 73807 out of 73808 initially.
Culled 0 columns in 378 ms.
// Phase 1: matrix 73807 rows 82 cols 2236695 entries
Finished phase 1 with 46 SingleSign rule and 3 generalized
[2026-06-01 07:51:02] [INFO ] Computed 33 invariants in 1584 ms
Computed 33 P flows in 1584 ms.
Exported basis to /tmp/petrispot-output-11092024361479936797.kers
Total runtime 1845 ms.
[2026-06-01 07:51:03] [INFO ] State equation strengthened by 35 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
SDD proceeding with computation,73719 properties remain. new max is 4
SDD size :1 after 31
Detected timeout of ITS tools.
SMT process timed out in 476362ms, After SMT, problems are : Problem set: 0 solved, 73712 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 67 out of 82 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 82/82 places, 73812/73812 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 5 place count 82 transition count 73807
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 81 transition count 73798
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 81 transition count 73798
Free-agglomeration rule applied 3 times.
Iterating global reduction 1 with 3 rules applied. Total rules applied 10 place count 81 transition count 73795
Reduce places removed 3 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 14 place count 78 transition count 73794
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 15 place count 78 transition count 73801
Reduce places removed 1 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 17 place count 77 transition count 73800
Applied a total of 17 rules in 11719 ms. Remains 77 /82 variables (removed 5) and now considering 73800/73812 (removed 12) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 11732 ms. Remains : 77/82 places, 73800/73812 transitions.
[2026-06-01 07:59:12] [INFO ] Flatten gal took : 17388 ms
[2026-06-01 07:59:12] [INFO ] Applying decomposition
[2026-06-01 07:59:32] [INFO ] Flatten gal took : 20091 ms
RANDOM walk for 21912 steps (0 resets) in 120009 ms. (0 steps per ms) remains 73612/73712 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1515 ms. (2 steps per ms) remains 73610/73612 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2592 ms. (1 steps per ms) remains 73608/73610 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1770 ms. (2 steps per ms) remains 73606/73608 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2112 ms. (1 steps per ms) remains 73604/73606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1526 ms. (2 steps per ms) remains 73602/73604 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1906 ms. (2 steps per ms) remains 73601/73602 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1895 ms. (2 steps per ms) remains 73599/73601 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2260 ms. (1 steps per ms) remains 73597/73599 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1798 ms. (2 steps per ms) remains 73595/73597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2268 ms. (1 steps per ms) remains 73593/73595 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1739 ms. (2 steps per ms) remains 73591/73593 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1617 ms. (2 steps per ms) remains 73589/73591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2203 ms. (1 steps per ms) remains 73587/73589 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2280 ms. (1 steps per ms) remains 73584/73587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2366 ms. (1 steps per ms) remains 73582/73584 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1543 ms. (2 steps per ms) remains 73580/73582 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1825 ms. (2 steps per ms) remains 73578/73580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2251 ms. (1 steps per ms) remains 73577/73578 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2882 ms. (1 steps per ms) remains 73575/73577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1984 ms. (2 steps per ms) remains 73573/73575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1761 ms. (2 steps per ms) remains 73571/73573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1595 ms. (2 steps per ms) remains 73569/73571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1782 ms. (2 steps per ms) remains 73567/73569 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2078 ms. (1 steps per ms) remains 73565/73567 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2873 ms. (1 steps per ms) remains 73563/73565 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1586 ms. (2 steps per ms) remains 73561/73563 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1755 ms. (2 steps per ms) remains 73559/73561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2105 ms. (1 steps per ms) remains 73557/73559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1906 ms. (2 steps per ms) remains 73555/73557 properties
BEST_FIRST walk for 4004 steps (8 resets) in 3051 ms. (1 steps per ms) remains 73553/73555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1739 ms. (2 steps per ms) remains 73551/73553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2036 ms. (1 steps per ms) remains 73549/73551 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2058 ms. (1 steps per ms) remains 73547/73549 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1353 ms. (2 steps per ms) remains 73545/73547 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2502 ms. (1 steps per ms) remains 73544/73545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2061 ms. (1 steps per ms) remains 73542/73544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1647 ms. (2 steps per ms) remains 73541/73542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2176 ms. (1 steps per ms) remains 73539/73541 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1404 ms. (2 steps per ms) remains 73537/73539 properties
BEST_FIRST walk for 4003 steps (8 resets) in 2189 ms. (1 steps per ms) remains 73535/73537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2241 ms. (1 steps per ms) remains 73533/73535 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1582 ms. (2 steps per ms) remains 73531/73533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1428 ms. (2 steps per ms) remains 73530/73531 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1453 ms. (2 steps per ms) remains 73528/73530 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1370 ms. (2 steps per ms) remains 73526/73528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1264 ms. (3 steps per ms) remains 73524/73526 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1437 ms. (2 steps per ms) remains 73522/73524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1399 ms. (2 steps per ms) remains 73520/73522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1318 ms. (3 steps per ms) remains 73518/73520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1408 ms. (2 steps per ms) remains 73516/73518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1510 ms. (2 steps per ms) remains 73514/73516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1386 ms. (2 steps per ms) remains 73512/73514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1281 ms. (3 steps per ms) remains 73510/73512 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1279 ms. (3 steps per ms) remains 73508/73510 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1502 ms. (2 steps per ms) remains 73506/73508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1438 ms. (2 steps per ms) remains 73504/73506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1646 ms. (2 steps per ms) remains 73501/73504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1553 ms. (2 steps per ms) remains 73499/73501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1532 ms. (2 steps per ms) remains 73497/73499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1449 ms. (2 steps per ms) remains 73495/73497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1468 ms. (2 steps per ms) remains 73493/73495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1338 ms. (2 steps per ms) remains 73491/73493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1381 ms. (2 steps per ms) remains 73489/73491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1230 ms. (3 steps per ms) remains 73487/73489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1239 ms. (3 steps per ms) remains 73485/73487 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1556 ms. (2 steps per ms) remains 73483/73485 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1661 ms. (2 steps per ms) remains 73481/73483 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1606 ms. (2 steps per ms) remains 73479/73481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1406 ms. (2 steps per ms) remains 73477/73479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1537 ms. (2 steps per ms) remains 73475/73477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1732 ms. (2 steps per ms) remains 73473/73475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1637 ms. (2 steps per ms) remains 73471/73473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1583 ms. (2 steps per ms) remains 73469/73471 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1719 ms. (2 steps per ms) remains 73467/73469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1648 ms. (2 steps per ms) remains 73465/73467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1610 ms. (2 steps per ms) remains 73463/73465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1459 ms. (2 steps per ms) remains 73461/73463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1592 ms. (2 steps per ms) remains 73458/73461 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1625 ms. (2 steps per ms) remains 73457/73458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1532 ms. (2 steps per ms) remains 73455/73457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1368 ms. (2 steps per ms) remains 73453/73455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1227 ms. (3 steps per ms) remains 73451/73453 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1502 ms. (2 steps per ms) remains 73449/73451 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1290 ms. (3 steps per ms) remains 73447/73449 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2015 ms. (1 steps per ms) remains 73445/73447 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1720 ms. (2 steps per ms) remains 73443/73445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2877 ms. (1 steps per ms) remains 73441/73443 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1479 ms. (2 steps per ms) remains 73439/73441 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1182 ms. (3 steps per ms) remains 73437/73439 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1625 ms. (2 steps per ms) remains 73435/73437 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1305 ms. (3 steps per ms) remains 73433/73435 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1032 ms. (3 steps per ms) remains 73431/73433 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1189 ms. (3 steps per ms) remains 73429/73431 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1218 ms. (3 steps per ms) remains 73427/73429 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1543 ms. (2 steps per ms) remains 73425/73427 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1238 ms. (3 steps per ms) remains 73423/73425 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1326 ms. (3 steps per ms) remains 73421/73423 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1314 ms. (3 steps per ms) remains 73419/73421 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1498 ms. (2 steps per ms) remains 73417/73419 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1053 ms. (3 steps per ms) remains 73415/73417 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1179 ms. (3 steps per ms) remains 73413/73415 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1204 ms. (3 steps per ms) remains 73411/73413 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1157 ms. (3 steps per ms) remains 73409/73411 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1050 ms. (3 steps per ms) remains 73408/73409 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1209 ms. (3 steps per ms) remains 73406/73408 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1373 ms. (2 steps per ms) remains 73404/73406 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1420 ms. (2 steps per ms) remains 73402/73404 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 73400/73402 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1250 ms. (3 steps per ms) remains 73398/73400 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1205 ms. (3 steps per ms) remains 73396/73398 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1316 ms. (3 steps per ms) remains 73394/73396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1112 ms. (3 steps per ms) remains 73392/73394 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1176 ms. (3 steps per ms) remains 73390/73392 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1196 ms. (3 steps per ms) remains 73388/73390 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1274 ms. (3 steps per ms) remains 73386/73388 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1235 ms. (3 steps per ms) remains 73384/73386 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 73382/73384 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 73381/73382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1327 ms. (3 steps per ms) remains 73380/73381 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1216 ms. (3 steps per ms) remains 73378/73380 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1268 ms. (3 steps per ms) remains 73376/73378 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1351 ms. (2 steps per ms) remains 73374/73376 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1453 ms. (2 steps per ms) remains 73372/73374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1268 ms. (3 steps per ms) remains 73370/73372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1199 ms. (3 steps per ms) remains 73368/73370 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1098 ms. (3 steps per ms) remains 73366/73368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1268 ms. (3 steps per ms) remains 73364/73366 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1230 ms. (3 steps per ms) remains 73362/73364 properties
[2026-06-01 08:00:39] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph9375703573391290802.txt' '-o' '/tmp/graph9375703573391290802.bin' '-w' '/tmp/graph9375703573391290802.weights' killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.mcc.MccTranslator.applyOrder(MccTranslator.java:114)
at fr.lip6.move.gal.application.mcc.MccTranslator.flattenSpec(MccTranslator.java:230)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:714)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.lambda$2(ReachabilitySolver.java:71)
at java.base/java.lang.Thread.run(Thread.java:1583)
BEST_FIRST walk for 4004 steps (8 resets) in 1322 ms. (3 steps per ms) remains 73360/73362 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1274 ms. (3 steps per ms) remains 73358/73360 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1366 ms. (2 steps per ms) remains 73356/73358 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1230 ms. (3 steps per ms) remains 73353/73356 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 73351/73353 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1236 ms. (3 steps per ms) remains 73349/73351 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1148 ms. (3 steps per ms) remains 73347/73349 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1213 ms. (3 steps per ms) remains 73345/73347 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1292 ms. (3 steps per ms) remains 73343/73345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1314 ms. (3 steps per ms) remains 73341/73343 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1303 ms. (3 steps per ms) remains 73339/73341 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1272 ms. (3 steps per ms) remains 73337/73339 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1254 ms. (3 steps per ms) remains 73335/73337 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1325 ms. (3 steps per ms) remains 73333/73335 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1201 ms. (3 steps per ms) remains 73332/73333 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1260 ms. (3 steps per ms) remains 73330/73332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1390 ms. (2 steps per ms) remains 73328/73330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1249 ms. (3 steps per ms) remains 73326/73328 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1274 ms. (3 steps per ms) remains 73324/73326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2342 ms. (1 steps per ms) remains 73322/73324 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1752 ms. (2 steps per ms) remains 73320/73322 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1178 ms. (3 steps per ms) remains 73318/73320 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1325 ms. (3 steps per ms) remains 73316/73318 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1278 ms. (3 steps per ms) remains 73314/73316 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1197 ms. (3 steps per ms) remains 73312/73314 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1528 ms. (2 steps per ms) remains 73311/73312 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1333 ms. (3 steps per ms) remains 73309/73311 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1255 ms. (3 steps per ms) remains 73307/73309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1251 ms. (3 steps per ms) remains 73305/73307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1236 ms. (3 steps per ms) remains 73303/73305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1390 ms. (2 steps per ms) remains 73301/73303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1326 ms. (3 steps per ms) remains 73299/73301 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1239 ms. (3 steps per ms) remains 73298/73299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1388 ms. (2 steps per ms) remains 73296/73298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1350 ms. (2 steps per ms) remains 73295/73296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1190 ms. (3 steps per ms) remains 73294/73295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1298 ms. (3 steps per ms) remains 73292/73294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1316 ms. (3 steps per ms) remains 73290/73292 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1430 ms. (2 steps per ms) remains 73288/73290 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1548 ms. (2 steps per ms) remains 73286/73288 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1321 ms. (3 steps per ms) remains 73285/73286 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1406 ms. (2 steps per ms) remains 73283/73285 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1539 ms. (2 steps per ms) remains 73281/73283 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1303 ms. (3 steps per ms) remains 73279/73281 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1259 ms. (3 steps per ms) remains 73277/73279 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1318 ms. (3 steps per ms) remains 73275/73277 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1381 ms. (2 steps per ms) remains 73273/73275 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1212 ms. (3 steps per ms) remains 73271/73273 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1235 ms. (3 steps per ms) remains 73270/73271 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1276 ms. (3 steps per ms) remains 73268/73270 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1303 ms. (3 steps per ms) remains 73266/73268 properties
[2026-06-01 08:00:58] [INFO ] Flatten gal took : 19353 ms
BEST_FIRST walk for 4004 steps (8 resets) in 1163 ms. (3 steps per ms) remains 73264/73266 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1258 ms. (3 steps per ms) remains 73262/73264 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1236 ms. (3 steps per ms) remains 73260/73262 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1202 ms. (3 steps per ms) remains 73259/73260 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1320 ms. (3 steps per ms) remains 73257/73259 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1473 ms. (2 steps per ms) remains 73255/73257 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1290 ms. (3 steps per ms) remains 73253/73255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1269 ms. (3 steps per ms) remains 73251/73253 properties
[2026-06-01 08:01:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9107827976530461730.gal : 2267 ms
BEST_FIRST walk for 4004 steps (8 resets) in 1306 ms. (3 steps per ms) remains 73249/73251 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1295 ms. (3 steps per ms) remains 73247/73249 properties
[2026-06-01 08:01:02] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2336606438293638011.prop : 902 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.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality9107827976530461730.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality2336606438293638011.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.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
BEST_FIRST walk for 4004 steps (8 resets) in 1242 ms. (3 steps per ms) remains 73245/73247 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1291 ms. (3 steps per ms) remains 73243/73245 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1250 ms. (3 steps per ms) remains 73241/73243 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1331 ms. (3 steps per ms) remains 73239/73241 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1299 ms. (3 steps per ms) remains 73238/73239 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1276 ms. (3 steps per ms) remains 73236/73238 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1242 ms. (3 steps per ms) remains 73235/73236 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1288 ms. (3 steps per ms) remains 73234/73235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1110 ms. (3 steps per ms) remains 73233/73234 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1224 ms. (3 steps per ms) remains 73231/73233 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1200 ms. (3 steps per ms) remains 73230/73231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1208 ms. (3 steps per ms) remains 73228/73230 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1277 ms. (3 steps per ms) remains 73226/73228 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1298 ms. (3 steps per ms) remains 73224/73226 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1213 ms. (3 steps per ms) remains 73222/73224 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1227 ms. (3 steps per ms) remains 73220/73222 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1243 ms. (3 steps per ms) remains 73218/73220 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1338 ms. (2 steps per ms) remains 73216/73218 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1120 ms. (3 steps per ms) remains 73214/73216 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1075 ms. (3 steps per ms) remains 73212/73214 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1196 ms. (3 steps per ms) remains 73210/73212 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1259 ms. (3 steps per ms) remains 73208/73210 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1067 ms. (3 steps per ms) remains 73206/73208 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 73204/73206 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1088 ms. (3 steps per ms) remains 73202/73204 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1037 ms. (3 steps per ms) remains 73200/73202 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1189 ms. (3 steps per ms) remains 73198/73200 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1160 ms. (3 steps per ms) remains 73196/73198 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1203 ms. (3 steps per ms) remains 73194/73196 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1370 ms. (2 steps per ms) remains 73192/73194 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1182 ms. (3 steps per ms) remains 73190/73192 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1341 ms. (2 steps per ms) remains 73188/73190 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1642 ms. (2 steps per ms) remains 73186/73188 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1697 ms. (2 steps per ms) remains 73184/73186 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1209 ms. (3 steps per ms) remains 73182/73184 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1502 ms. (2 steps per ms) remains 73180/73182 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1558 ms. (2 steps per ms) remains 73178/73180 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1577 ms. (2 steps per ms) remains 73176/73178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1294 ms. (3 steps per ms) remains 73174/73176 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1155 ms. (3 steps per ms) remains 73172/73174 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1097 ms. (3 steps per ms) remains 73170/73172 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1155 ms. (3 steps per ms) remains 73168/73170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1142 ms. (3 steps per ms) remains 73166/73168 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1086 ms. (3 steps per ms) remains 73165/73166 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1155 ms. (3 steps per ms) remains 73163/73165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1169 ms. (3 steps per ms) remains 73162/73163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 73160/73162 properties
BEST_FIRST walk for 4003 steps (8 resets) in 3044 ms. (1 steps per ms) remains 73158/73160 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2021 ms. (1 steps per ms) remains 73156/73158 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1637 ms. (2 steps per ms) remains 73154/73156 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1578 ms. (2 steps per ms) remains 73152/73154 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1586 ms. (2 steps per ms) remains 73151/73152 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1382 ms. (2 steps per ms) remains 73150/73151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1679 ms. (2 steps per ms) remains 73148/73150 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1743 ms. (2 steps per ms) remains 73146/73148 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2983 ms. (1 steps per ms) remains 73144/73146 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1425 ms. (2 steps per ms) remains 73143/73144 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1089 ms. (3 steps per ms) remains 73141/73143 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1005 ms. (3 steps per ms) remains 73139/73141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1602 ms. (2 steps per ms) remains 73137/73139 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1600 ms. (2 steps per ms) remains 73135/73137 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1786 ms. (2 steps per ms) remains 73133/73135 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1476 ms. (2 steps per ms) remains 73131/73133 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1675 ms. (2 steps per ms) remains 73129/73131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1468 ms. (2 steps per ms) remains 73127/73129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1077 ms. (3 steps per ms) remains 73125/73127 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1055 ms. (3 steps per ms) remains 73123/73125 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1121 ms. (3 steps per ms) remains 73121/73123 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1109 ms. (3 steps per ms) remains 73119/73121 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1084 ms. (3 steps per ms) remains 73117/73119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 939 ms. (4 steps per ms) remains 73116/73117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1013 ms. (3 steps per ms) remains 73114/73116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 925 ms. (4 steps per ms) remains 73112/73114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1317 ms. (3 steps per ms) remains 73110/73112 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1733 ms. (2 steps per ms) remains 73108/73110 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1565 ms. (2 steps per ms) remains 73106/73108 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1591 ms. (2 steps per ms) remains 73104/73106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1686 ms. (2 steps per ms) remains 73102/73104 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1371 ms. (2 steps per ms) remains 73100/73102 properties
BEST_FIRST walk for 3451 steps (7 resets) in 17641 ms. (0 steps per ms) remains 73098/73100 properties

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ErlangenMainframeV1-PT-aP14C01"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is ErlangenMainframeV1-PT-aP14C01, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r344-smll-178021500800027"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ErlangenMainframeV1-PT-aP14C01.tgz
mv ErlangenMainframeV1-PT-aP14C01 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;