About the Execution of ITS-Tools for ErlangenMainframeV2-PT-aP10C08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13622.296 | 1800000.00 | 3580901.00 | 3513.00 | [undef] | Time out reached |
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-178021500900107.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 ErlangenMainframeV2-PT-aP10C08, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r344-smll-178021500900107
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 100M
-rw-r--r-- 1 mcc users 5.9K May 27 09:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K May 27 09:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K May 27 08:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K May 27 08:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 27 10:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 27 10:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 27 10:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 27 10:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 26 18:17 NewModel
-rw-r--r-- 1 mcc users 12K May 27 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K May 27 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.3K May 27 09:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 33K May 27 09:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 27 10:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 27 10:38 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 99M 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 1780310378648
Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ErlangenMainframeV2-PT-aP10C08
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202604301425
[2026-06-01 10:39:40] [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 10:39:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-06-01 10:39:45] [INFO ] Load time of PNML (sax parser for PT used): 4900 ms
[2026-06-01 10:39:45] [INFO ] Transformed 102 places.
[2026-06-01 10:39:46] [INFO ] Transformed 78842 transitions.
[2026-06-01 10:39:46] [INFO ] Found NUPN structural information;
[2026-06-01 10:39:46] [INFO ] Parsed PT model containing 102 places and 78842 transitions and 1994996 arcs in 5662 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 102/102 places, 78842/78842 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 18 transitions
Trivial Post-agglo rules discarded 18 transitions
Performed 18 trivial Post agglomeration. Transition count delta: 18
Iterating post reduction 0 with 19 rules applied. Total rules applied 19 place count 102 transition count 78823
Reduce places removed 18 places and 0 transitions.
Iterating post reduction 1 with 18 rules applied. Total rules applied 37 place count 84 transition count 78823
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 37 place count 84 transition count 78822
Deduced a syphon composed of 1 places in 149 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 3 rules applied. Total rules applied 40 place count 82 transition count 78822
Applied a total of 40 rules in 5583 ms. Remains 82 /102 variables (removed 20) and now considering 78822/78842 (removed 20) transitions.
[2026-06-01 10:39:52] [INFO ] Flow matrix only has 78818 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-14493804615980068593.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-14448614303894663329.kers'
[2026-06-01 10:39:52] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14493804615980068593.kers, --Pflows, --basisKERS=/tmp/petrispot-output-14448614303894663329.kers]
Normalized transition count is 78817 out of 78818 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 332 ms.
// Phase 1: matrix 78817 rows 81 cols 1837373 entries
Finished phase 1 with 52 SingleSign rule and 3 generalized
[2026-06-01 10:39:54] [INFO ] Computed 27 invariants in 1680 ms
Computed 27 P flows in 1682 ms.
Exported basis to /tmp/petrispot-output-14448614303894663329.kers
Total runtime 1937 ms.
[2026-06-01 10:40:25] [INFO ] Performed 50/82 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-06-01 10:41:17] [INFO ] Performed 63/82 implicitness test of which 1 returned IMPLICIT in 82 seconds.
[2026-06-01 10:41:20] [INFO ] Implicit Places using invariants in 88839 ms returned [63]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 89115 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 81/102 places, 78822/78842 transitions.
Applied a total of 0 rules in 1017 ms. Remains 81 /81 variables (removed 0) and now considering 78822/78822 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 95756 ms. Remains : 81/102 places, 78822/78842 transitions.
Discarding 37 transitions out of 78822. Remains 78785
Initial state reduction rules removed 1 formulas.
[2026-06-01 10:54:48] [INFO ] Flatten gal took : 20734 ms
RANDOM walk for 40000 steps (8 resets) in 115818 ms. (0 steps per ms) remains 78697/78784 properties
BEST_FIRST walk for 124 steps (8 resets) in 1093 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 1370 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 1233 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 1523 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 1130 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 1023 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 926 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 879 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 870 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 880 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 967 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 935 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 903 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 821 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 1672 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 820 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 755 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 801 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 1442 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 941 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 844 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 857 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 893 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 1006 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 898 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 879 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 879 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 945 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 956 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 897 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 892 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 878 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 913 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 1095 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 939 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 925 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 754 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 944 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 933 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 842 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 870 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 959 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 893 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 826 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 1153 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 969 ms. (0 steps per ms) remains 78697/78697 properties
[2026-06-01 10:55:04] [INFO ] Flatten gal took : 16557 ms
BEST_FIRST walk for 124 steps (8 resets) in 784 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 982 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 932 ms. (0 steps per ms) remains 78697/78697 properties
BEST_FIRST walk for 124 steps (8 resets) in 1141 ms. (0 steps per ms) remains 78697/78697 properties
[2026-06-01 10:55:08] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5411042125005167528.gal : 2713 ms
[2026-06-01 10:55:09] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16515598407119148819.prop : 1220 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/ReachabilityCardinality5411042125005167528.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16515598407119148819.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/ReachabilityCardinality16515598407119148819.prop.
Interrupted probabilistic random walk after 21166 steps, run timeout after 132067 ms. (steps per millisecond=0 ) properties seen :21 out of 78697
Probabilistic random walk after 21166 steps, saw 12323 distinct states, run finished after 132080 ms. (steps per millisecond=0 ) properties seen :21
[2026-06-01 10:57:18] [INFO ] Flow matrix only has 78818 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-11456560024572824380.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-4945897335733146342.kers'
[2026-06-01 10:57:18] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-11456560024572824380.kers, --Pflows, --basisKERS=/tmp/petrispot-output-4945897335733146342.kers]
Normalized transition count is 78817 out of 78818 initially.
Culling duplicate invariants (modulo rational): removing 1 columns.
Culled 1 columns in 354 ms.
// Phase 1: matrix 78817 rows 80 cols 1758641 entries
Finished phase 1 with 52 SingleSign rule and 3 generalized
[2026-06-01 10:57:21] [INFO ] Computed 26 invariants in 2262 ms
Computed 26 P flows in 2267 ms.
Exported basis to /tmp/petrispot-output-4945897335733146342.kers
Total runtime 2517 ms.
[2026-06-01 10:57:22] [INFO ] State equation strengthened by 40 read => feed constraints.
Excessive predecessor constraint size, skipping predecessor.
SDD proceeding with computation,78697 properties remain. new max is 4
SDD size :1 after 23
Detected timeout of ITS tools.
[2026-06-01 11:05:27] [INFO ] Flatten gal took : 14803 ms
[2026-06-01 11:05:27] [INFO ] Applying decomposition
[2026-06-01 11:05:39] [INFO ] Flatten gal took : 12194 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph1502415413159055099.txt' '-o' '/tmp/graph1502415413159055099.bin' '-w' '/tmp/graph1502415413159055099.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph1502415413159055099.bin' '-l' '-1' '-v' '-w' '/tmp/graph1502415413159055099.weights' '-q' '0' '-e' '0.001'
[2026-06-01 11:06:26] [INFO ] Decomposing Gal with order
[2026-06-01 11:06:26] [INFO ] Rewriting arrays to variables to allow decomposition.
SMT process timed out in 568838ms, After SMT, problems are : Problem set: 0 solved, 78676 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 67 out of 81 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 81/81 places, 78822/78822 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 81 transition count 78817
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 6 place count 80 transition count 78808
Iterating global reduction 1 with 1 rules applied. Total rules applied 7 place count 80 transition count 78808
Free-agglomeration rule applied 2 times.
Iterating global reduction 1 with 2 rules applied. Total rules applied 9 place count 80 transition count 78806
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 11 place count 78 transition count 78806
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 12 place count 78 transition count 78813
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 14 place count 77 transition count 78812
Applied a total of 14 rules in 9712 ms. Remains 77 /81 variables (removed 4) and now considering 78812/78822 (removed 10) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 9725 ms. Remains : 77/81 places, 78812/78822 transitions.
[2026-06-01 11:07:10] [INFO ] Removed a total of 1084766 redundant transitions.
[2026-06-01 11:07:17] [INFO ] Flatten gal took : 39754 ms
RANDOM walk for 24387 steps (0 resets) in 120068 ms. (0 steps per ms) remains 78601/78676 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1836 ms. (2 steps per ms) remains 78599/78601 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1686 ms. (2 steps per ms) remains 78597/78599 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1273 ms. (3 steps per ms) remains 78595/78597 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1321 ms. (3 steps per ms) remains 78593/78595 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1696 ms. (2 steps per ms) remains 78591/78593 properties
BEST_FIRST walk for 4002 steps (8 resets) in 2057 ms. (1 steps per ms) remains 78589/78591 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2280 ms. (1 steps per ms) remains 78587/78589 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1679 ms. (2 steps per ms) remains 78585/78587 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1771 ms. (2 steps per ms) remains 78583/78585 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1797 ms. (2 steps per ms) remains 78581/78583 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1550 ms. (2 steps per ms) remains 78579/78581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1279 ms. (3 steps per ms) remains 78577/78579 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1308 ms. (3 steps per ms) remains 78575/78577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1216 ms. (3 steps per ms) remains 78573/78575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1145 ms. (3 steps per ms) remains 78571/78573 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1235 ms. (3 steps per ms) remains 78569/78571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1508 ms. (2 steps per ms) remains 78567/78569 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1162 ms. (3 steps per ms) remains 78565/78567 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1389 ms. (2 steps per ms) remains 78563/78565 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1353 ms. (2 steps per ms) remains 78561/78563 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1385 ms. (2 steps per ms) remains 78559/78561 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1375 ms. (2 steps per ms) remains 78557/78559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1655 ms. (2 steps per ms) remains 78555/78557 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1434 ms. (2 steps per ms) remains 78553/78555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1301 ms. (3 steps per ms) remains 78551/78553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1460 ms. (2 steps per ms) remains 78549/78551 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1518 ms. (2 steps per ms) remains 78547/78549 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1220 ms. (3 steps per ms) remains 78545/78547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1314 ms. (3 steps per ms) remains 78543/78545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1082 ms. (3 steps per ms) remains 78541/78543 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1192 ms. (3 steps per ms) remains 78539/78541 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1030 ms. (3 steps per ms) remains 78537/78539 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1287 ms. (3 steps per ms) remains 78535/78537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1235 ms. (3 steps per ms) remains 78533/78535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1201 ms. (3 steps per ms) remains 78531/78533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1128 ms. (3 steps per ms) remains 78529/78531 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1281 ms. (3 steps per ms) remains 78527/78529 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1448 ms. (2 steps per ms) remains 78525/78527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1227 ms. (3 steps per ms) remains 78523/78525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1192 ms. (3 steps per ms) remains 78521/78523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1359 ms. (2 steps per ms) remains 78519/78521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1785 ms. (2 steps per ms) remains 78517/78519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1276 ms. (3 steps per ms) remains 78515/78517 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1041 ms. (3 steps per ms) remains 78513/78515 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1583 ms. (2 steps per ms) remains 78512/78513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1518 ms. (2 steps per ms) remains 78510/78512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1262 ms. (3 steps per ms) remains 78508/78510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2024 ms. (1 steps per ms) remains 78506/78508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1609 ms. (2 steps per ms) remains 78504/78506 properties
[2026-06-01 11:07:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 8 labels/synchronizations in 17216 ms.
BEST_FIRST walk for 4002 steps (8 resets) in 1656 ms. (2 steps per ms) remains 78502/78504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1358 ms. (2 steps per ms) remains 78500/78502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1276 ms. (3 steps per ms) remains 78498/78500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1418 ms. (2 steps per ms) remains 78496/78498 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1544 ms. (2 steps per ms) remains 78494/78496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1592 ms. (2 steps per ms) remains 78492/78494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1349 ms. (2 steps per ms) remains 78490/78492 properties
[2026-06-01 11:07:52] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10388124167867231127.gal : 1185 ms
BEST_FIRST walk for 4004 steps (8 resets) in 1561 ms. (2 steps per ms) remains 78488/78490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1472 ms. (2 steps per ms) remains 78486/78488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1548 ms. (2 steps per ms) remains 78484/78486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 2106 ms. (1 steps per ms) remains 78482/78484 properties
[2026-06-01 11:07:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16377303137916575055.prop : 1913 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/ReachabilityCardinality10388124167867231127.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16377303137916575055.prop' '--nowitness'
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 ...309
BEST_FIRST walk for 4003 steps (8 resets) in 1792 ms. (2 steps per ms) remains 78480/78482 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1531 ms. (2 steps per ms) remains 78478/78480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1458 ms. (2 steps per ms) remains 78476/78478 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1088 ms. (3 steps per ms) remains 78474/78476 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1448 ms. (2 steps per ms) remains 78472/78474 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1467 ms. (2 steps per ms) remains 78470/78472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1476 ms. (2 steps per ms) remains 78468/78470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1237 ms. (3 steps per ms) remains 78466/78468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1253 ms. (3 steps per ms) remains 78464/78466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1285 ms. (3 steps per ms) remains 78462/78464 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1404 ms. (2 steps per ms) remains 78460/78462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1262 ms. (3 steps per ms) remains 78458/78460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1317 ms. (3 steps per ms) remains 78456/78458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1282 ms. (3 steps per ms) remains 78454/78456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1147 ms. (3 steps per ms) remains 78452/78454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 78450/78452 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1236 ms. (3 steps per ms) remains 78448/78450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1179 ms. (3 steps per ms) remains 78446/78448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 78444/78446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1021 ms. (3 steps per ms) remains 78442/78444 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1301 ms. (3 steps per ms) remains 78440/78442 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1279 ms. (3 steps per ms) remains 78438/78440 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1311 ms. (3 steps per ms) remains 78436/78438 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1268 ms. (3 steps per ms) remains 78434/78436 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1292 ms. (3 steps per ms) remains 78432/78434 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1271 ms. (3 steps per ms) remains 78430/78432 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1083 ms. (3 steps per ms) remains 78428/78430 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1043 ms. (3 steps per ms) remains 78426/78428 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1287 ms. (3 steps per ms) remains 78424/78426 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1276 ms. (3 steps per ms) remains 78422/78424 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1069 ms. (3 steps per ms) remains 78420/78422 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1224 ms. (3 steps per ms) remains 78418/78420 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1301 ms. (3 steps per ms) remains 78416/78418 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1369 ms. (2 steps per ms) remains 78414/78416 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1129 ms. (3 steps per ms) remains 78412/78414 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1059 ms. (3 steps per ms) remains 78410/78412 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1408 ms. (2 steps per ms) remains 78408/78410 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1068 ms. (3 steps per ms) remains 78406/78408 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1063 ms. (3 steps per ms) remains 78404/78406 properties
BEST_FIRST walk for 4004 steps (8 resets) in 998 ms. (4 steps per ms) remains 78402/78404 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1404 ms. (2 steps per ms) remains 78400/78402 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1237 ms. (3 steps per ms) remains 78398/78400 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1237 ms. (3 steps per ms) remains 78396/78398 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1191 ms. (3 steps per ms) remains 78394/78396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1308 ms. (3 steps per ms) remains 78392/78394 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1276 ms. (3 steps per ms) remains 78390/78392 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 78388/78390 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1215 ms. (3 steps per ms) remains 78386/78388 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1177 ms. (3 steps per ms) remains 78384/78386 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1105 ms. (3 steps per ms) remains 78382/78384 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1100 ms. (3 steps per ms) remains 78380/78382 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 78378/78380 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1313 ms. (3 steps per ms) remains 78376/78378 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1248 ms. (3 steps per ms) remains 78374/78376 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1186 ms. (3 steps per ms) remains 78372/78374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1343 ms. (2 steps per ms) remains 78370/78372 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1313 ms. (3 steps per ms) remains 78368/78370 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1473 ms. (2 steps per ms) remains 78366/78368 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1375 ms. (2 steps per ms) remains 78364/78366 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1327 ms. (3 steps per ms) remains 78362/78364 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1301 ms. (3 steps per ms) remains 78360/78362 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1318 ms. (3 steps per ms) remains 78359/78360 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1388 ms. (2 steps per ms) remains 78357/78359 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1196 ms. (3 steps per ms) remains 78355/78357 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1271 ms. (3 steps per ms) remains 78353/78355 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1366 ms. (2 steps per ms) remains 78351/78353 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1225 ms. (3 steps per ms) remains 78349/78351 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1354 ms. (2 steps per ms) remains 78347/78349 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1235 ms. (3 steps per ms) remains 78345/78347 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1193 ms. (3 steps per ms) remains 78343/78345 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1196 ms. (3 steps per ms) remains 78341/78343 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1166 ms. (3 steps per ms) remains 78339/78341 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1074 ms. (3 steps per ms) remains 78337/78339 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1156 ms. (3 steps per ms) remains 78335/78337 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1200 ms. (3 steps per ms) remains 78333/78335 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1113 ms. (3 steps per ms) remains 78331/78333 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1279 ms. (3 steps per ms) remains 78329/78331 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1229 ms. (3 steps per ms) remains 78327/78329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1327 ms. (3 steps per ms) remains 78325/78327 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1159 ms. (3 steps per ms) remains 78323/78325 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1176 ms. (3 steps per ms) remains 78321/78323 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1096 ms. (3 steps per ms) remains 78319/78321 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1261 ms. (3 steps per ms) remains 78317/78319 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1168 ms. (3 steps per ms) remains 78315/78317 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1351 ms. (2 steps per ms) remains 78313/78315 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1049 ms. (3 steps per ms) remains 78311/78313 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1156 ms. (3 steps per ms) remains 78309/78311 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1106 ms. (3 steps per ms) remains 78307/78309 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1424 ms. (2 steps per ms) remains 78305/78307 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1681 ms. (2 steps per ms) remains 78303/78305 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1259 ms. (3 steps per ms) remains 78301/78303 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1388 ms. (2 steps per ms) remains 78299/78301 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1183 ms. (3 steps per ms) remains 78297/78299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1090 ms. (3 steps per ms) remains 78295/78297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1124 ms. (3 steps per ms) remains 78293/78295 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1383 ms. (2 steps per ms) remains 78291/78293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1316 ms. (3 steps per ms) remains 78289/78291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1277 ms. (3 steps per ms) remains 78287/78289 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1399 ms. (2 steps per ms) remains 78285/78287 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1087 ms. (3 steps per ms) remains 78283/78285 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1344 ms. (2 steps per ms) remains 78281/78283 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1225 ms. (3 steps per ms) remains 78279/78281 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1174 ms. (3 steps per ms) remains 78277/78279 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1285 ms. (3 steps per ms) remains 78275/78277 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1330 ms. (3 steps per ms) remains 78273/78275 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1243 ms. (3 steps per ms) remains 78271/78273 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1337 ms. (2 steps per ms) remains 78269/78271 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1200 ms. (3 steps per ms) remains 78267/78269 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1144 ms. (3 steps per ms) remains 78265/78267 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1198 ms. (3 steps per ms) remains 78263/78265 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1231 ms. (3 steps per ms) remains 78261/78263 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1174 ms. (3 steps per ms) remains 78259/78261 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1181 ms. (3 steps per ms) remains 78257/78259 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1118 ms. (3 steps per ms) remains 78255/78257 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1198 ms. (3 steps per ms) remains 78253/78255 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1287 ms. (3 steps per ms) remains 78251/78253 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1449 ms. (2 steps per ms) remains 78249/78251 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1243 ms. (3 steps per ms) remains 78247/78249 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1317 ms. (3 steps per ms) remains 78245/78247 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1075 ms. (3 steps per ms) remains 78243/78245 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1235 ms. (3 steps per ms) remains 78241/78243 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1348 ms. (2 steps per ms) remains 78239/78241 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1233 ms. (3 steps per ms) remains 78237/78239 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1039 ms. (3 steps per ms) remains 78235/78237 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1323 ms. (3 steps per ms) remains 78233/78235 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1340 ms. (2 steps per ms) remains 78231/78233 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1440 ms. (2 steps per ms) remains 78229/78231 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1214 ms. (3 steps per ms) remains 78227/78229 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1314 ms. (3 steps per ms) remains 78225/78227 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1299 ms. (3 steps per ms) remains 78223/78225 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1299 ms. (3 steps per ms) remains 78221/78223 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1188 ms. (3 steps per ms) remains 78219/78221 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1251 ms. (3 steps per ms) remains 78217/78219 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1270 ms. (3 steps per ms) remains 78215/78217 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1166 ms. (3 steps per ms) remains 78213/78215 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1153 ms. (3 steps per ms) remains 78211/78213 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1284 ms. (3 steps per ms) remains 78209/78211 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1255 ms. (3 steps per ms) remains 78207/78209 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1296 ms. (3 steps per ms) remains 78205/78207 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1222 ms. (3 steps per ms) remains 78203/78205 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1304 ms. (3 steps per ms) remains 78201/78203 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1107 ms. (3 steps per ms) remains 78199/78201 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1116 ms. (3 steps per ms) remains 78197/78199 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1281 ms. (3 steps per ms) remains 78195/78197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1481 ms. (2 steps per ms) remains 78193/78195 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1211 ms. (3 steps per ms) remains 78191/78193 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1241 ms. (3 steps per ms) remains 78189/78191 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1169 ms. (3 steps per ms) remains 78187/78189 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1387 ms. (2 steps per ms) remains 78185/78187 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1306 ms. (3 steps per ms) remains 78183/78185 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1202 ms. (3 steps per ms) remains 78181/78183 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1166 ms. (3 steps per ms) remains 78179/78181 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1528 ms. (2 steps per ms) remains 78177/78179 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1255 ms. (3 steps per ms) remains 78175/78177 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1166 ms. (3 steps per ms) remains 78173/78175 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1250 ms. (3 steps per ms) remains 78171/78173 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1203 ms. (3 steps per ms) remains 78169/78171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1122 ms. (3 steps per ms) remains 78167/78169 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1150 ms. (3 steps per ms) remains 78165/78167 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1092 ms. (3 steps per ms) remains 78163/78165 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1242 ms. (3 steps per ms) remains 78161/78163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1403 ms. (2 steps per ms) remains 78159/78161 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1283 ms. (3 steps per ms) remains 78157/78159 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1122 ms. (3 steps per ms) remains 78155/78157 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1222 ms. (3 steps per ms) remains 78153/78155 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1266 ms. (3 steps per ms) remains 78151/78153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1184 ms. (3 steps per ms) remains 78149/78151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1126 ms. (3 steps per ms) remains 78147/78149 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1235 ms. (3 steps per ms) remains 78145/78147 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1133 ms. (3 steps per ms) remains 78143/78145 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1191 ms. (3 steps per ms) remains 78141/78143 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1158 ms. (3 steps per ms) remains 78139/78141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1233 ms. (3 steps per ms) remains 78137/78139 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1212 ms. (3 steps per ms) remains 78135/78137 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1177 ms. (3 steps per ms) remains 78133/78135 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1109 ms. (3 steps per ms) remains 78131/78133 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1285 ms. (3 steps per ms) remains 78129/78131 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1284 ms. (3 steps per ms) remains 78127/78129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1224 ms. (3 steps per ms) remains 78125/78127 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1288 ms. (3 steps per ms) remains 78123/78125 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1245 ms. (3 steps per ms) remains 78121/78123 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1143 ms. (3 steps per ms) remains 78119/78121 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1107 ms. (3 steps per ms) remains 78117/78119 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1052 ms. (3 steps per ms) remains 78116/78117 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1218 ms. (3 steps per ms) remains 78114/78116 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1142 ms. (3 steps per ms) remains 78113/78114 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1351 ms. (2 steps per ms) remains 78111/78113 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1240 ms. (3 steps per ms) remains 78109/78111 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1384 ms. (2 steps per ms) remains 78107/78109 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1328 ms. (3 steps per ms) remains 78105/78107 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1152 ms. (3 steps per ms) remains 78103/78105 properties
BEST_FIRST walk for 4004 steps (8 resets) in 996 ms. (4 steps per ms) remains 78101/78103 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1037 ms. (3 steps per ms) remains 78099/78101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1080 ms. (3 steps per ms) remains 78097/78099 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1349 ms. (2 steps per ms) remains 78095/78097 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1194 ms. (3 steps per ms) remains 78093/78095 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1280 ms. (3 steps per ms) remains 78091/78093 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1492 ms. (2 steps per ms) remains 78089/78091 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1173 ms. (3 steps per ms) remains 78088/78089 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1129 ms. (3 steps per ms) remains 78086/78088 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1238 ms. (3 steps per ms) remains 78084/78086 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1307 ms. (3 steps per ms) remains 78082/78084 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1236 ms. (3 steps per ms) remains 78080/78082 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1251 ms. (3 steps per ms) remains 78078/78080 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1173 ms. (3 steps per ms) remains 78076/78078 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1333 ms. (3 steps per ms) remains 78074/78076 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1246 ms. (3 steps per ms) remains 78072/78074 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1154 ms. (3 steps per ms) remains 78070/78072 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1157 ms. (3 steps per ms) remains 78068/78070 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1136 ms. (3 steps per ms) remains 78066/78068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1339 ms. (2 steps per ms) remains 78064/78066 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1028 ms. (3 steps per ms) remains 78062/78064 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1223 ms. (3 steps per ms) remains 78060/78062 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1274 ms. (3 steps per ms) remains 78058/78060 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1229 ms. (3 steps per ms) remains 78056/78058 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1092 ms. (3 steps per ms) remains 78054/78056 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1201 ms. (3 steps per ms) remains 78052/78054 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1182 ms. (3 steps per ms) remains 78050/78052 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1239 ms. (3 steps per ms) remains 78048/78050 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1136 ms. (3 steps per ms) remains 78046/78048 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1188 ms. (3 steps per ms) remains 78044/78046 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1167 ms. (3 steps per ms) remains 78043/78044 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1201 ms. (3 steps per ms) remains 78041/78043 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1170 ms. (3 steps per ms) remains 78039/78041 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1220 ms. (3 steps per ms) remains 78037/78039 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1409 ms. (2 steps per ms) remains 78035/78037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1270 ms. (3 steps per ms) remains 78033/78035 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1017 ms. (3 steps per ms) remains 78031/78033 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1249 ms. (3 steps per ms) remains 78029/78031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1257 ms. (3 steps per ms) remains 78027/78029 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1227 ms. (3 steps per ms) remains 78025/78027 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1225 ms. (3 steps per ms) remains 78023/78025 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1510 ms. (2 steps per ms) remains 78021/78023 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1293 ms. (3 steps per ms) remains 78019/78021 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1363 ms. (2 steps per ms) remains 78017/78019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1035 ms. (3 steps per ms) remains 78015/78017 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1354 ms. (2 steps per ms) remains 78013/78015 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1307 ms. (3 steps per ms) remains 78011/78013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1115 ms. (3 steps per ms) remains 78009/78011 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1243 ms. (3 steps per ms) remains 78007/78009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1142 ms. (3 steps per ms) remains 78005/78007 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1066 ms. (3 steps per ms) remains 78003/78005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1201 ms. (3 steps per ms) remains 78001/78003 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1181 ms. (3 steps per ms) remains 77999/78001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1274 ms. (3 steps per ms) remains 77997/77999 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1329 ms. (3 steps per ms) remains 77995/77997 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1099 ms. (3 steps per ms) remains 77993/77995 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1046 ms. (3 steps per ms) remains 77991/77993 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1505 ms. (2 steps per ms) remains 77989/77991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1421 ms. (2 steps per ms) remains 77987/77989 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1328 ms. (3 steps per ms) remains 77985/77987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1241 ms. (3 steps per ms) remains 77983/77985 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1125 ms. (3 steps per ms) remains 77981/77983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1218 ms. (3 steps per ms) remains 77979/77981 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1326 ms. (3 steps per ms) remains 77977/77979 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1202 ms. (3 steps per ms) remains 77975/77977 properties
BEST_FIRST walk for 4002 steps (8 resets) in 1311 ms. (3 steps per ms) remains 77973/77975 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1257 ms. (3 steps per ms) remains 77971/77973 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1482 ms. (2 steps per ms) remains 77969/77971 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1179 ms. (3 steps per ms) remains 77967/77969 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1396 ms. (2 steps per ms) remains 77965/77967 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1283 ms. (3 steps per ms) remains 77963/77965 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1108 ms. (3 steps per ms) remains 77961/77963 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1126 ms. (3 steps per ms) remains 77959/77961 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1203 ms. (3 steps per ms) remains 77957/77959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1435 ms. (2 steps per ms) remains 77955/77957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1261 ms. (3 steps per ms) remains 77953/77955 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1019 ms. (3 steps per ms) remains 77951/77953 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1435 ms. (2 steps per ms) remains 77949/77951 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1300 ms. (3 steps per ms) remains 77947/77949 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1282 ms. (3 steps per ms) remains 77945/77947 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1253 ms. (3 steps per ms) remains 77943/77945 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1323 ms. (3 steps per ms) remains 77941/77943 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1117 ms. (3 steps per ms) remains 77939/77941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1206 ms. (3 steps per ms) remains 77937/77939 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1165 ms. (3 steps per ms) remains 77935/77937 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1519 ms. (2 steps per ms) remains 77933/77935 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1375 ms. (2 steps per ms) remains 77931/77933 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1262 ms. (3 steps per ms) remains 77929/77931 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1205 ms. (3 steps per ms) remains 77927/77929 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1345 ms. (2 steps per ms) remains 77925/77927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1363 ms. (2 steps per ms) remains 77923/77925 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1277 ms. (3 steps per ms) remains 77921/77923 properties
BEST_FIRST walk for 4003 steps (8 resets) in 1349 ms. (2 steps per ms) remains 77919/77921 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1314 ms. (3 steps per ms) remains 77917/77919 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1336 ms. (2 steps per ms) remains 77915/77917 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1291 ms. (3 steps per ms) remains 77913/77915 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1195 ms. (3 steps per ms) remains 77911/77913 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1207 ms. (3 steps per ms) remains 77909/77911 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1123 ms. (3 steps per ms) remains 77907/77909 properties
BEST_FIRST walk for 4004 steps (8 resets) in 1003 ms. (3 steps per ms) remains 77905/77907 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="ErlangenMainframeV2-PT-aP10C08"
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 ErlangenMainframeV2-PT-aP10C08, 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-178021500900107"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ErlangenMainframeV2-PT-aP10C08.tgz
mv ErlangenMainframeV2-PT-aP10C08 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 '
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 ;