Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2021-input.r052-oct2-162038307500193.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is CloudDeployment-PT-4b, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-oct2-162038307500193
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 944K
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 136K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.9K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Mar 28 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Mar 28 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 23 03:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 03:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 22 12:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 22 12:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 591K May 5 16:51 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME StableMarking

=== Now, execution of the tool begins

BK_START 1620843179410

Running Version 0
[2021-05-12 18:13:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2021-05-12 18:13:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-12 18:13:01] [INFO ] Load time of PNML (sax parser for PT used): 123 ms
[2021-05-12 18:13:01] [INFO ] Transformed 1182 places.
[2021-05-12 18:13:01] [INFO ] Transformed 1824 transitions.
[2021-05-12 18:13:01] [INFO ] Found NUPN structural information;
[2021-05-12 18:13:01] [INFO ] Parsed PT model containing 1182 places and 1824 transitions in 168 ms.
Graph (trivial) has 1202 edges and 1182 vertex of which 336 / 1182 are part of one of the 32 SCC in 6 ms
Free SCC test removed 304 places
Structural test allowed to assert that 429 places are NOT stable. Took 21 ms.
Ensure Unique test removed 340 transitions
Reduce redundant transitions removed 340 transitions.
Incomplete random walk after 10000 steps, including 98 resets, run finished after 222 ms. (steps per millisecond=45 ) properties (out of 753) seen :347
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=100 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=100 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 100 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 2 ms. (steps per millisecond=50 ) properties (out of 406) seen :0
Incomplete Best-First random walk after 101 steps, including 2 resets, run finished after 1 ms. (steps per millisecond=101 ) properties (out of 406) seen :0
Running SMT prover for 406 properties.
[2021-05-12 18:13:02] [INFO ] Flow matrix only has 1453 transitions (discarded 31 similar events)
// Phase 1: matrix 1453 rows 878 cols
[2021-05-12 18:13:02] [INFO ] Computed 17 place invariants in 60 ms
[2021-05-12 18:13:09] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:406
[2021-05-12 18:13:13] [INFO ] [Nat]Absence check using 0 positive and 17 generalized place invariants in 30 ms returned sat
[2021-05-12 18:13:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-12 18:13:34] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 406 Parikh solutions to 398 different solutions.
Incomplete Parikh walk after 207 steps, including 10 resets, run finished after 4 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 149 steps, including 9 resets, run finished after 3 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 148 steps, including 9 resets, run finished after 3 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 138 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=34 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 137 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=45 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 170 steps, including 10 resets, run finished after 5 ms. (steps per millisecond=34 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 169 steps, including 10 resets, run finished after 3 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 153 steps, including 9 resets, run finished after 24 ms. (steps per millisecond=6 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 143 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=47 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 142 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=47 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 232 steps, including 12 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 168 steps, including 9 resets, run finished after 3 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 168 steps, including 10 resets, run finished after 4 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 167 steps, including 10 resets, run finished after 4 ms. (steps per millisecond=41 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 144 steps, including 9 resets, run finished after 3 ms. (steps per millisecond=48 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 143 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=47 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 247 steps, including 13 resets, run finished after 5 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 246 steps, including 13 resets, run finished after 5 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 249 steps, including 13 resets, run finished after 5 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 247 steps, including 13 resets, run finished after 5 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 246 steps, including 13 resets, run finished after 5 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 257 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=64 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 258 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 257 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 275 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 278 steps, including 15 resets, run finished after 17 ms. (steps per millisecond=16 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 277 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 282 steps, including 15 resets, run finished after 17 ms. (steps per millisecond=16 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 279 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 278 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 277 steps, including 15 resets, run finished after 7 ms. (steps per millisecond=39 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 276 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 275 steps, including 15 resets, run finished after 17 ms. (steps per millisecond=16 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 274 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 273 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 272 steps, including 15 resets, run finished after 4 ms. (steps per millisecond=68 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 271 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 270 steps, including 15 resets, run finished after 4 ms. (steps per millisecond=67 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 269 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=67 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 273 steps, including 15 resets, run finished after 17 ms. (steps per millisecond=16 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 271 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 270 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 269 steps, including 14 resets, run finished after 6 ms. (steps per millisecond=44 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 268 steps, including 14 resets, run finished after 18 ms. (steps per millisecond=14 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 266 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=66 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 265 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=66 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 263 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 259 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 258 steps, including 14 resets, run finished after 17 ms. (steps per millisecond=15 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 257 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 264 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=66 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 263 steps, including 14 resets, run finished after 17 ms. (steps per millisecond=15 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 261 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 260 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=65 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 266 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=66 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 265 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=66 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 270 steps, including 14 resets, run finished after 17 ms. (steps per millisecond=15 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 267 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=53 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 266 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=66 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 265 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=66 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 264 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 263 steps, including 14 resets, run finished after 17 ms. (steps per millisecond=15 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 262 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 261 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 260 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=65 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 259 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=64 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 258 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=64 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 257 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 257 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 256 steps, including 14 resets, run finished after 17 ms. (steps per millisecond=15 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 261 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=65 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 260 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=65 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 259 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 258 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 257 steps, including 14 resets, run finished after 17 ms. (steps per millisecond=15 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 256 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 255 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 254 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=50 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 253 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 243 steps, including 13 resets, run finished after 16 ms. (steps per millisecond=15 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 242 steps, including 13 resets, run finished after 5 ms. (steps per millisecond=48 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 248 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=62 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 247 steps, including 13 resets, run finished after 5 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 252 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 240 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=60 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 239 steps, including 13 resets, run finished after 5 ms. (steps per millisecond=47 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 243 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=60 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 233 steps, including 12 resets, run finished after 5 ms. (steps per millisecond=46 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 232 steps, including 12 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 227 steps, including 12 resets, run finished after 4 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 226 steps, including 12 resets, run finished after 5 ms. (steps per millisecond=45 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 227 steps, including 12 resets, run finished after 4 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 226 steps, including 12 resets, run finished after 4 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 232 steps, including 12 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 146 steps, including 9 resets, run finished after 3 ms. (steps per millisecond=48 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 145 steps, including 9 resets, run finished after 3 ms. (steps per millisecond=48 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 151 steps, including 9 resets, run finished after 3 ms. (steps per millisecond=50 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 150 steps, including 9 resets, run finished after 3 ms. (steps per millisecond=50 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 195 steps, including 12 resets, run finished after 3 ms. (steps per millisecond=65 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 194 steps, including 12 resets, run finished after 3 ms. (steps per millisecond=64 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 149 steps, including 9 resets, run finished after 3 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 158 steps, including 9 resets, run finished after 3 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 157 steps, including 9 resets, run finished after 3 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 207 steps, including 11 resets, run finished after 4 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 169 steps, including 9 resets, run finished after 3 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 212 steps, including 11 resets, run finished after 3 ms. (steps per millisecond=70 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 211 steps, including 11 resets, run finished after 3 ms. (steps per millisecond=70 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 171 steps, including 9 resets, run finished after 4 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 170 steps, including 9 resets, run finished after 3 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 242 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=60 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 241 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=60 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 237 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=59 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 236 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=59 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 251 steps, including 13 resets, run finished after 5 ms. (steps per millisecond=50 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 252 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 251 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=62 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 271 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 268 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=53 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 267 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=66 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 277 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 274 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 273 steps, including 15 resets, run finished after 4 ms. (steps per millisecond=68 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 272 steps, including 15 resets, run finished after 4 ms. (steps per millisecond=68 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 271 steps, including 15 resets, run finished after 5 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 270 steps, including 15 resets, run finished after 4 ms. (steps per millisecond=67 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 269 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=67 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 268 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=67 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 267 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=53 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 261 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=65 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 260 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 270 steps, including 15 resets, run finished after 4 ms. (steps per millisecond=67 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 267 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=53 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 266 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=66 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 265 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=66 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 264 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=66 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 261 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 260 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=65 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 257 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 253 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 252 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 251 steps, including 13 resets, run finished after 5 ms. (steps per millisecond=50 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 258 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=64 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 257 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=64 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 250 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=62 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 249 steps, including 13 resets, run finished after 5 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 255 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 254 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 263 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 261 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 260 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 259 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=64 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 258 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=64 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 257 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=64 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 256 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=64 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 255 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 254 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 253 steps, including 14 resets, run finished after 5 ms. (steps per millisecond=50 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 252 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 251 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=62 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 246 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=61 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 245 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=61 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 255 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 254 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 253 steps, including 14 resets, run finished after 4 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 252 steps, including 14 resets, run finished after 6 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 251 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=62 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 250 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=62 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 249 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=62 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 248 steps, including 13 resets, run finished after 5 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 247 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=61 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 233 steps, including 12 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 232 steps, including 12 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 238 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=59 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 237 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=59 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 246 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=61 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 244 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=61 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 243 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=60 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 242 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=60 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 241 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=60 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 240 steps, including 13 resets, run finished after 5 ms. (steps per millisecond=48 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 234 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 233 steps, including 12 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 243 steps, including 13 resets, run finished after 4 ms. (steps per millisecond=60 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 223 steps, including 12 resets, run finished after 5 ms. (steps per millisecond=44 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 222 steps, including 12 resets, run finished after 4 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 217 steps, including 12 resets, run finished after 4 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 216 steps, including 12 resets, run finished after 3 ms. (steps per millisecond=72 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 212 steps, including 11 resets, run finished after 3 ms. (steps per millisecond=70 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 211 steps, including 11 resets, run finished after 4 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 222 steps, including 12 resets, run finished after 4 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 174 steps, including 10 resets, run finished after 3 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 173 steps, including 10 resets, run finished after 3 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 235 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 234 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 188 steps, including 11 resets, run finished after 3 ms. (steps per millisecond=62 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 174 steps, including 10 resets, run finished after 4 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 173 steps, including 10 resets, run finished after 3 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 201 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=50 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 168 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 234 steps, including 8 resets, run finished after 5 ms. (steps per millisecond=46 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 233 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 177 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=44 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 176 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 232 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 231 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 200 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=50 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 199 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 222 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=74 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 224 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 223 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 233 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 232 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 231 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 240 steps, including 8 resets, run finished after 5 ms. (steps per millisecond=48 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 237 steps, including 8 resets, run finished after 5 ms. (steps per millisecond=47 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 236 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=59 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 235 steps, including 8 resets, run finished after 5 ms. (steps per millisecond=47 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 234 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 233 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 232 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 231 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 230 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 224 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=74 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 223 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 233 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 230 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 229 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 228 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 227 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 226 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 225 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 222 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 218 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=72 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 217 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=72 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 216 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=72 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 223 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=74 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 222 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 215 steps, including 7 resets, run finished after 3 ms. (steps per millisecond=71 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 214 steps, including 7 resets, run finished after 3 ms. (steps per millisecond=71 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 220 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=73 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 219 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 227 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 226 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=75 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 225 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 224 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 223 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 222 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 221 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=73 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 220 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=73 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 219 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=73 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 218 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=72 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 217 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 216 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=72 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 211 steps, including 7 resets, run finished after 3 ms. (steps per millisecond=70 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 210 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 220 steps, including 8 resets, run finished after 4 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 219 steps, including 8 resets, run finished after 5 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 218 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=72 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 217 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=72 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 216 steps, including 8 resets, run finished after 3 ms. (steps per millisecond=72 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 215 steps, including 7 resets, run finished after 3 ms. (steps per millisecond=71 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 214 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=53 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 213 steps, including 7 resets, run finished after 3 ms. (steps per millisecond=71 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 212 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=53 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 197 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 196 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 202 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=50 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 201 steps, including 7 resets, run finished after 3 ms. (steps per millisecond=67 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 209 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 198 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 197 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 205 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 187 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=62 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 186 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=46 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 181 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=60 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 180 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=45 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 176 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 175 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 201 steps, including 7 resets, run finished after 3 ms. (steps per millisecond=67 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 175 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 174 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 171 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 170 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 171 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 170 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 171 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 170 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 178 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=59 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 177 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=44 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 178 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=59 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 177 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=59 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 203 steps, including 7 resets, run finished after 4 ms. (steps per millisecond=50 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 117 steps, including 4 resets, run finished after 2 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 172 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 171 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 126 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 125 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=41 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 155 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=51 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 163 steps, including 5 resets, run finished after 4 ms. (steps per millisecond=40 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 149 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 148 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 162 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 161 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=53 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 172 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 173 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 172 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 181 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=60 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 185 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=46 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 184 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=46 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 189 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 186 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=46 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 185 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=46 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 184 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=61 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 183 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=61 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 182 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=60 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 180 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=45 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 179 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=59 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 178 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=44 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 177 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=59 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 176 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=44 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 181 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=45 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 178 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=59 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 177 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=59 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 176 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 175 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 174 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 173 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 171 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 167 steps, including 5 resets, run finished after 4 ms. (steps per millisecond=41 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 166 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 165 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 172 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 171 steps, including 6 resets, run finished after 32 ms. (steps per millisecond=5 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 169 steps, including 6 resets, run finished after 5 ms. (steps per millisecond=33 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 168 steps, including 6 resets, run finished after 6 ms. (steps per millisecond=28 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 174 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 173 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 176 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=44 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 175 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 174 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=58 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 173 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 172 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=57 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 171 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 170 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 169 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 168 steps, including 6 resets, run finished after 3 ms. (steps per millisecond=56 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 167 steps, including 5 resets, run finished after 4 ms. (steps per millisecond=41 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 166 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 165 steps, including 5 resets, run finished after 4 ms. (steps per millisecond=41 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 165 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 164 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 151 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=50 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 150 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=50 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 156 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 155 steps, including 5 resets, run finished after 4 ms. (steps per millisecond=38 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 158 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 148 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 147 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=49 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 150 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=50 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 141 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=47 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 140 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=46 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 135 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=45 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 134 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=44 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 130 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 129 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 135 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=45 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 182 steps, including 6 resets, run finished after 4 ms. (steps per millisecond=45 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 166 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 165 steps, including 5 resets, run finished after 4 ms. (steps per millisecond=41 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 163 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 159 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=53 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 129 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=43 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 128 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 127 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 126 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 167 steps, including 5 resets, run finished after 4 ms. (steps per millisecond=41 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 165 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=55 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 163 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 159 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=53 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 129 steps, including 4 resets, run finished after 2 ms. (steps per millisecond=64 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 128 steps, including 4 resets, run finished after 2 ms. (steps per millisecond=64 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 127 steps, including 4 resets, run finished after 2 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 126 steps, including 4 resets, run finished after 2 ms. (steps per millisecond=63 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 164 steps, including 5 resets, run finished after 4 ms. (steps per millisecond=41 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 162 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 160 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=53 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 157 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 128 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 127 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 126 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 125 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=41 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 164 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 162 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=54 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 160 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=53 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 158 steps, including 5 resets, run finished after 3 ms. (steps per millisecond=52 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 128 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Incomplete Parikh walk after 127 steps, including 4 resets, run finished after 3 ms. (steps per millisecond=42 ) properties (out of 406) seen :0 could not realise parikh vector
Support contains 406 out of 878 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 878/878 places, 1484/1484 transitions.
Drop transitions removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Drop transitions removed 231 transitions
Trivial Post-agglo rules discarded 231 transitions
Performed 231 trivial Post agglomeration. Transition count delta: 231
Iterating post reduction 0 with 263 rules applied. Total rules applied 263 place count 878 transition count 1221
Reduce places removed 231 places and 0 transitions.
Iterating post reduction 1 with 231 rules applied. Total rules applied 494 place count 647 transition count 1221
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 494 place count 647 transition count 1216
Deduced a syphon composed of 5 places in 5 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 504 place count 642 transition count 1216
Discarding 80 places :
Symmetric choice reduction at 2 with 80 rule applications. Total rules 584 place count 562 transition count 1136
Iterating global reduction 2 with 80 rules applied. Total rules applied 664 place count 562 transition count 1136
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 674 place count 562 transition count 1126
Performed 37 Post agglomeration using F-continuation condition.Transition count delta: 37
Deduced a syphon composed of 37 places in 1 ms
Reduce places removed 37 places and 0 transitions.
Iterating global reduction 3 with 74 rules applied. Total rules applied 748 place count 525 transition count 1089
Performed 23 Post agglomeration using F-continuation condition with reduction of 54 identical transitions.
Deduced a syphon composed of 23 places in 1 ms
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 3 with 46 rules applied. Total rules applied 794 place count 502 transition count 1130
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 3 with 15 rules applied. Total rules applied 809 place count 502 transition count 1115
Free-agglomeration rule applied 43 times with reduction of 10 identical transitions.
Iterating global reduction 3 with 43 rules applied. Total rules applied 852 place count 502 transition count 1062
Reduce places removed 43 places and 0 transitions.
Drop transitions removed 49 transitions
Reduce isomorphic transitions removed 49 transitions.
Iterating post reduction 3 with 92 rules applied. Total rules applied 944 place count 459 transition count 1013
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 4 with 9 rules applied. Total rules applied 953 place count 459 transition count 1004
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 4 with 1 rules applied. Total rules applied 954 place count 459 transition count 1004
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 4 with 1 rules applied. Total rules applied 955 place count 458 transition count 1003
Applied a total of 955 rules in 415 ms. Remains 458 /878 variables (removed 420) and now considering 1003/1484 (removed 481) transitions.
Finished structural reductions, in 1 iterations. Remains : 458/878 places, 1003/1484 transitions.
[2021-05-12 18:13:37] [INFO ] Flatten gal took : 174 ms
[2021-05-12 18:13:37] [INFO ] Flatten gal took : 112 ms
[2021-05-12 18:13:37] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6192601843930704763.gal : 52 ms
[2021-05-12 18:13:37] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1488925986609667831.prop : 15 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality6192601843930704763.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1488925986609667831.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality6192601843930704763.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1488925986609667831.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality1488925986609667831.prop.
Invariant property smplace_150 does not hold.
Invariant property smplace_68 does not hold.
SDD proceeding with computation,404 properties remain. new max is 2
SDD size :1 after 11
Invariant property smplace_67 does not hold.
SDD proceeding with computation,403 properties remain. new max is 2
SDD size :11 after 12
Invariant property smplace_81 does not hold.
SDD proceeding with computation,402 properties remain. new max is 2
SDD size :12 after 13
Invariant property smplace_141 does not hold.
Invariant property smplace_140 does not hold.
Invariant property smplace_25 does not hold.
SDD proceeding with computation,399 properties remain. new max is 2
SDD size :13 after 16
Invariant property smplace_139 does not hold.
Invariant property smplace_138 does not hold.
Invariant property smplace_130 does not hold.
Invariant property smplace_112 does not hold.
Invariant property smplace_86 does not hold.
SDD proceeding with computation,394 properties remain. new max is 2
SDD size :16 after 21
Invariant property smplace_85 does not hold.
SDD proceeding with computation,393 properties remain. new max is 2
SDD size :21 after 22
Invariant property smplace_129 does not hold.
Invariant property smplace_111 does not hold.
SDD proceeding with computation,391 properties remain. new max is 2
SDD size :22 after 24
Invariant property smplace_128 does not hold.
SDD proceeding with computation,390 properties remain. new max is 2
SDD size :24 after 25
Invariant property smplace_127 does not hold.
SDD proceeding with computation,389 properties remain. new max is 2
SDD size :25 after 26
Invariant property smplace_110 does not hold.
Invariant property smplace_84 does not hold.
SDD proceeding with computation,387 properties remain. new max is 2
SDD size :26 after 28
Invariant property smplace_126 does not hold.
SDD proceeding with computation,386 properties remain. new max is 2
SDD size :28 after 29
Invariant property smplace_137 does not hold.
SDD proceeding with computation,385 properties remain. new max is 2
SDD size :29 after 30
SDD proceeding with computation,385 properties remain. new max is 4
SDD size :30 after 31
Invariant property smplace_125 does not hold.
Invariant property smplace_124 does not hold.
Invariant property smplace_123 does not hold.
Invariant property smplace_122 does not hold.
Invariant property smplace_114 does not hold.
SDD proceeding with computation,380 properties remain. new max is 4
SDD size :31 after 36
Invariant property smplace_113 does not hold.
SDD proceeding with computation,379 properties remain. new max is 4
SDD size :36 after 37
Invariant property smplace_121 does not hold.
SDD proceeding with computation,378 properties remain. new max is 4
SDD size :37 after 38
SDD proceeding with computation,378 properties remain. new max is 8
SDD size :38 after 40
Invariant property smplace_109 does not hold.
Invariant property smplace_23 does not hold.
Invariant property smplace_22 does not hold.
SDD proceeding with computation,375 properties remain. new max is 8
SDD size :40 after 65
Invariant property smplace_108 does not hold.
Invariant property smplace_107 does not hold.
Invariant property smplace_50 does not hold.
SDD proceeding with computation,372 properties remain. new max is 8
SDD size :65 after 69
Invariant property smplace_49 does not hold.
SDD proceeding with computation,371 properties remain. new max is 8
SDD size :69 after 73
Invariant property smplace_106 does not hold.
Invariant property smplace_105 does not hold.
Invariant property smplace_104 does not hold.
Invariant property smplace_99 does not hold.
Invariant property smplace_98 does not hold.
Invariant property smplace_97 does not hold.
SDD proceeding with computation,365 properties remain. new max is 8
SDD size :73 after 84
Invariant property smplace_96 does not hold.
Invariant property smplace_95 does not hold.
Invariant property smplace_94 does not hold.
Invariant property smplace_93 does not hold.
SDD proceeding with computation,361 properties remain. new max is 8
SDD size :84 after 88
Invariant property smplace_87 does not hold.
SDD proceeding with computation,360 properties remain. new max is 8
SDD size :88 after 89
Invariant property smplace_92 does not hold.
SDD proceeding with computation,359 properties remain. new max is 8
SDD size :89 after 90
SDD proceeding with computation,359 properties remain. new max is 16
SDD size :90 after 96
SDD proceeding with computation,359 properties remain. new max is 32
SDD size :96 after 100
SDD proceeding with computation,359 properties remain. new max is 64
SDD size :100 after 125
SDD proceeding with computation,359 properties remain. new max is 128
SDD size :125 after 248
SDD proceeding with computation,359 properties remain. new max is 256
SDD size :248 after 318
Invariant property smplace_166 does not hold.
Invariant property smplace_136 does not hold.
Invariant property smplace_135 does not hold.
Invariant property smplace_134 does not hold.
Invariant property smplace_133 does not hold.
Invariant property smplace_103 does not hold.
Invariant property smplace_102 does not hold.
Invariant property smplace_91 does not hold.
Invariant property smplace_90 does not hold.
SDD proceeding with computation,350 properties remain. new max is 256
SDD size :318 after 393
Invariant property smplace_196 does not hold.
Invariant property smplace_120 does not hold.
Invariant property smplace_119 does not hold.
Invariant property smplace_13 does not hold.
Invariant property smplace_12 does not hold.
SDD proceeding with computation,345 properties remain. new max is 256
SDD size :393 after 413
Invariant property smplace_401 does not hold.
Invariant property smplace_360 does not hold.
Invariant property smplace_359 does not hold.
Invariant property smplace_358 does not hold.
Invariant property smplace_357 does not hold.
Invariant property smplace_346 does not hold.
Invariant property smplace_345 does not hold.
Invariant property smplace_344 does not hold.
Invariant property smplace_343 does not hold.
Invariant property smplace_230 does not hold.
Invariant property smplace_218 does not hold.
Invariant property smplace_217 does not hold.
SDD proceeding with computation,333 properties remain. new max is 256
SDD size :413 after 488
Invariant property smplace_342 does not hold.
Invariant property smplace_335 does not hold.
Invariant property smplace_334 does not hold.
Invariant property smplace_333 does not hold.
Invariant property smplace_332 does not hold.
Invariant property smplace_331 does not hold.
Invariant property smplace_330 does not hold.
Invariant property smplace_329 does not hold.
Invariant property smplace_328 does not hold.
Invariant property smplace_327 does not hold.
Invariant property smplace_326 does not hold.
Invariant property smplace_319 does not hold.
Invariant property smplace_318 does not hold.
Invariant property smplace_317 does not hold.
Invariant property smplace_316 does not hold.
Invariant property smplace_315 does not hold.
Invariant property smplace_314 does not hold.
Invariant property smplace_313 does not hold.
Invariant property smplace_312 does not hold.
Invariant property smplace_311 does not hold.
Invariant property smplace_310 does not hold.
Invariant property smplace_309 does not hold.
Invariant property smplace_304 does not hold.
Invariant property smplace_303 does not hold.
Invariant property smplace_302 does not hold.
Invariant property smplace_301 does not hold.
Invariant property smplace_300 does not hold.
Invariant property smplace_299 does not hold.
Invariant property smplace_298 does not hold.
Invariant property smplace_291 does not hold.
Invariant property smplace_290 does not hold.
Invariant property smplace_289 does not hold.
Invariant property smplace_273 does not hold.
Invariant property smplace_255 does not hold.
Invariant property smplace_254 does not hold.
Invariant property smplace_228 does not hold.
Invariant property smplace_227 does not hold.
SDD proceeding with computation,296 properties remain. new max is 256
SDD size :488 after 557
Invariant property smplace_297 does not hold.
Invariant property smplace_292 does not hold.
Invariant property smplace_272 does not hold.
SDD proceeding with computation,293 properties remain. new max is 256
SDD size :557 after 779
Invariant property smplace_371 does not hold.
Invariant property smplace_308 does not hold.
Invariant property smplace_307 does not hold.
Invariant property smplace_296 does not hold.
Invariant property smplace_295 does not hold.
SDD proceeding with computation,288 properties remain. new max is 256
SDD size :779 after 841
Invariant property smplace_356 does not hold.
Invariant property smplace_355 does not hold.
Invariant property smplace_341 does not hold.
Invariant property smplace_340 does not hold.
Invariant property smplace_339 does not hold.
Invariant property smplace_338 does not hold.
Invariant property smplace_325 does not hold.
Invariant property smplace_324 does not hold.
SDD proceeding with computation,280 properties remain. new max is 256
SDD size :841 after 883
SDD proceeding with computation,280 properties remain. new max is 512
SDD size :883 after 2879
SDD proceeding with computation,280 properties remain. new max is 1024
SDD size :2879 after 3426
SDD proceeding with computation,280 properties remain. new max is 2048
SDD size :3426 after 13910
SDD proceeding with computation,280 properties remain. new max is 4096
SDD size :13910 after 83113
SDD proceeding with computation,280 properties remain. new max is 8192
SDD size :83113 after 162793
Invariant property smplace_652 does not hold.
SDD proceeding with computation,279 properties remain. new max is 8192
SDD size :162793 after 4.90033e+06
Invariant property smplace_877 does not hold.
Invariant property smplace_834 does not hold.
Invariant property smplace_648 does not hold.
Invariant property smplace_400 does not hold.
Invariant property smplace_392 does not hold.
Invariant property smplace_384 does not hold.
Invariant property smplace_370 does not hold.
Invariant property smplace_354 does not hold.
Invariant property smplace_352 does not hold.
Invariant property smplace_337 does not hold.
Invariant property smplace_323 does not hold.
Invariant property smplace_321 does not hold.
Invariant property smplace_306 does not hold.
Invariant property smplace_294 does not hold.
Invariant property smplace_288 does not hold.
Invariant property smplace_253 does not hold.
Invariant property smplace_226 does not hold.
Invariant property smplace_195 does not hold.
Invariant property smplace_187 does not hold.
Invariant property smplace_179 does not hold.
Invariant property smplace_165 does not hold.
Invariant property smplace_149 does not hold.
Invariant property smplace_147 does not hold.
Invariant property smplace_132 does not hold.
Invariant property smplace_118 does not hold.
Invariant property smplace_116 does not hold.
Invariant property smplace_101 does not hold.
Invariant property smplace_89 does not hold.
Invariant property smplace_83 does not hold.
Invariant property smplace_82 does not hold.
Invariant property smplace_48 does not hold.
Invariant property smplace_21 does not hold.
SDD proceeding with computation,247 properties remain. new max is 8192
SDD size :4.90033e+06 after 8.2833e+06
Invariant property smplace_194 does not hold.
Invariant property smplace_186 does not hold.
Invariant property smplace_178 does not hold.
Invariant property smplace_164 does not hold.
Invariant property smplace_148 does not hold.
Invariant property smplace_146 does not hold.
Invariant property smplace_131 does not hold.
Invariant property smplace_117 does not hold.
Invariant property smplace_115 does not hold.
Invariant property smplace_100 does not hold.
Invariant property smplace_88 does not hold.
Invariant property smplace_20 does not hold.
SDD proceeding with computation,235 properties remain. new max is 8192
SDD size :8.2833e+06 after 8.59766e+06
Detected timeout of ITS tools.
[2021-05-12 18:13:52] [INFO ] Flatten gal took : 148 ms
[2021-05-12 18:13:52] [INFO ] Applying decomposition
[2021-05-12 18:13:53] [INFO ] Flatten gal took : 131 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph16757380605585893233.txt, -o, /tmp/graph16757380605585893233.bin, -w, /tmp/graph16757380605585893233.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph16757380605585893233.bin, -l, -1, -v, -w, /tmp/graph16757380605585893233.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-12 18:13:53] [INFO ] Decomposing Gal with order
[2021-05-12 18:13:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-12 18:13:53] [INFO ] Removed a total of 2196 redundant transitions.
[2021-05-12 18:13:53] [INFO ] Flatten gal took : 353 ms
[2021-05-12 18:13:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 580 labels/synchronizations in 36 ms.
[2021-05-12 18:13:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15857094405136306449.gal : 9 ms
[2021-05-12 18:13:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8290648578750559287.prop : 16 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality15857094405136306449.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality8290648578750559287.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality15857094405136306449.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality8290648578750559287.prop --nowitness
Loading property file /tmp/ReachabilityCardinality8290648578750559287.prop.
SDD proceeding with computation,235 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,235 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,235 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,235 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,235 properties remain. new max is 64
SDD size :1 after 45
SDD proceeding with computation,235 properties remain. new max is 128
SDD size :45 after 257
SDD proceeding with computation,235 properties remain. new max is 256
SDD size :257 after 1225
Invariant property smplace_858 does not hold.
Invariant property smplace_850 does not hold.
Invariant property smplace_849 does not hold.
Invariant property smplace_842 does not hold.
Invariant property smplace_647 does not hold.
SDD proceeding with computation,230 properties remain. new max is 256
SDD size :1225 after 63856
Invariant property smplace_848 does not hold.
Invariant property smplace_847 does not hold.
Invariant property smplace_846 does not hold.
Invariant property smplace_845 does not hold.
Invariant property smplace_651 does not hold.
Invariant property smplace_644 does not hold.
SDD proceeding with computation,224 properties remain. new max is 256
SDD size :63856 after 699151
Invariant property smplace_844 does not hold.
Invariant property smplace_399 does not hold.
Invariant property smplace_391 does not hold.
Invariant property smplace_383 does not hold.
Invariant property smplace_369 does not hold.
Invariant property smplace_353 does not hold.
Invariant property smplace_351 does not hold.
Invariant property smplace_287 does not hold.
Invariant property smplace_234 does not hold.
Invariant property smplace_233 does not hold.
Invariant property smplace_225 does not hold.
SDD proceeding with computation,213 properties remain. new max is 256
SDD size :699151 after 1.41099e+07
Invariant property smplace_843 does not hold.
Invariant property smplace_643 does not hold.
Invariant property smplace_29 does not hold.
SDD proceeding with computation,210 properties remain. new max is 256
SDD size :1.41099e+07 after 1.87225e+07
Invariant property smplace_336 does not hold.
Invariant property smplace_322 does not hold.
Invariant property smplace_320 does not hold.
Invariant property smplace_28 does not hold.
SDD proceeding with computation,206 properties remain. new max is 256
SDD size :1.87225e+07 after 4.39133e+07
SDD proceeding with computation,206 properties remain. new max is 512
SDD size :4.39133e+07 after 4.8987e+07
SDD proceeding with computation,206 properties remain. new max is 1024
SDD size :4.8987e+07 after 5.49279e+07
SDD proceeding with computation,206 properties remain. new max is 2048
SDD size :5.49279e+07 after 1.04805e+08
Invariant property smplace_305 does not hold.
Invariant property smplace_293 does not hold.
SDD proceeding with computation,204 properties remain. new max is 2048
SDD size :1.04805e+08 after 1.26087e+08
SDD proceeding with computation,204 properties remain. new max is 4096
SDD size :1.26087e+08 after 1.3074e+08
SDD proceeding with computation,204 properties remain. new max is 8192
SDD size :1.3074e+08 after 1.32331e+08
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin18184884211442707237
[2021-05-12 18:14:09] [INFO ] Built C files in 39ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin18184884211442707237
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin18184884211442707237]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin18184884211442707237] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin18184884211442707237] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 8074 ms. (steps per millisecond=123 ) properties (out of 204) seen :25
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 39 ms. (steps per millisecond=256 ) properties (out of 179) seen :16
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 163) seen :9
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 154) seen :16
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 138) seen :2
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 136) seen :5
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 131) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 131) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 130) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 130) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 130) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 130) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 130) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 130) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 130) seen :2
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 79 ms. (steps per millisecond=126 ) properties (out of 128) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 127) seen :45
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 82) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 82) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 82) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 82) seen :2
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 80) seen :2
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 78) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 78) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 77) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 53 ms. (steps per millisecond=188 ) properties (out of 77) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 77) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 77) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 77) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 77) seen :2
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 75) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 75) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 75) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 75) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 75) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 75) seen :23
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 52) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 52) seen :2
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 50) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 50) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 50) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 50) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 50) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 50) seen :2
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 48) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 48) seen :0
Running SMT prover for 48 properties.
[2021-05-12 18:14:20] [INFO ] Flow matrix only has 1001 transitions (discarded 2 similar events)
// Phase 1: matrix 1001 rows 458 cols
[2021-05-12 18:14:20] [INFO ] Computed 17 place invariants in 12 ms
[2021-05-12 18:14:20] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:48
[2021-05-12 18:14:20] [INFO ] [Nat]Absence check using 0 positive and 17 generalized place invariants in 8 ms returned sat
[2021-05-12 18:14:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-12 18:14:22] [INFO ] [Nat]Absence check using state equation in 1390 ms returned unsat :0 sat :48
Attempting to minimize the solution found.
Minimization took 1135 ms.
[2021-05-12 18:14:23] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :48
Fused 48 Parikh solutions to 37 different solutions.
Incomplete Parikh walk after 450 steps, including 39 resets, run finished after 3 ms. (steps per millisecond=150 ) properties (out of 48) seen :0 could not realise parikh vector
Incomplete Parikh walk after 460 steps, including 38 resets, run finished after 8 ms. (steps per millisecond=57 ) properties (out of 48) seen :1 could not realise parikh vector
Incomplete Parikh walk after 460 steps, including 41 resets, run finished after 3 ms. (steps per millisecond=153 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 460 steps, including 34 resets, run finished after 2 ms. (steps per millisecond=230 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 450 steps, including 34 resets, run finished after 6 ms. (steps per millisecond=75 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 770 steps, including 18 resets, run finished after 3 ms. (steps per millisecond=256 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 760 steps, including 18 resets, run finished after 24 ms. (steps per millisecond=31 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 690 steps, including 19 resets, run finished after 4 ms. (steps per millisecond=172 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 680 steps, including 19 resets, run finished after 4 ms. (steps per millisecond=170 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 590 steps, including 24 resets, run finished after 3 ms. (steps per millisecond=196 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 580 steps, including 24 resets, run finished after 2 ms. (steps per millisecond=290 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 640 steps, including 22 resets, run finished after 3 ms. (steps per millisecond=213 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 630 steps, including 22 resets, run finished after 3 ms. (steps per millisecond=210 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 550 steps, including 27 resets, run finished after 3 ms. (steps per millisecond=183 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 540 steps, including 27 resets, run finished after 3 ms. (steps per millisecond=180 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 470 steps, including 38 resets, run finished after 2 ms. (steps per millisecond=235 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 480 steps, including 36 resets, run finished after 2 ms. (steps per millisecond=240 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 470 steps, including 36 resets, run finished after 3 ms. (steps per millisecond=156 ) properties (out of 47) seen :0 could not realise parikh vector
Incomplete Parikh walk after 700 steps, including 50 resets, run finished after 3 ms. (steps per millisecond=233 ) properties (out of 47) seen :1 could not realise parikh vector
Incomplete Parikh walk after 820 steps, including 38 resets, run finished after 3 ms. (steps per millisecond=273 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 810 steps, including 38 resets, run finished after 11 ms. (steps per millisecond=73 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 740 steps, including 36 resets, run finished after 3 ms. (steps per millisecond=246 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 730 steps, including 34 resets, run finished after 2 ms. (steps per millisecond=365 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 790 steps, including 37 resets, run finished after 3 ms. (steps per millisecond=263 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 760 steps, including 35 resets, run finished after 3 ms. (steps per millisecond=253 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 640 steps, including 30 resets, run finished after 3 ms. (steps per millisecond=213 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 630 steps, including 30 resets, run finished after 3 ms. (steps per millisecond=210 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 690 steps, including 32 resets, run finished after 3 ms. (steps per millisecond=230 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 680 steps, including 32 resets, run finished after 3 ms. (steps per millisecond=226 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 580 steps, including 27 resets, run finished after 3 ms. (steps per millisecond=193 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 570 steps, including 26 resets, run finished after 3 ms. (steps per millisecond=190 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 560 steps, including 27 resets, run finished after 2 ms. (steps per millisecond=280 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 550 steps, including 26 resets, run finished after 2 ms. (steps per millisecond=275 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 560 steps, including 27 resets, run finished after 3 ms. (steps per millisecond=186 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 550 steps, including 26 resets, run finished after 3 ms. (steps per millisecond=183 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 550 steps, including 27 resets, run finished after 2 ms. (steps per millisecond=275 ) properties (out of 46) seen :0 could not realise parikh vector
Incomplete Parikh walk after 540 steps, including 26 resets, run finished after 3 ms. (steps per millisecond=180 ) properties (out of 46) seen :0 could not realise parikh vector
Support contains 46 out of 458 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 458/458 places, 1003/1003 transitions.
Graph (complete) has 1654 edges and 458 vertex of which 450 are kept as prefixes of interest. Removing 8 places using SCC suffix rule.16 ms
Discarding 8 places :
Also discarding 4 output transitions
Drop transitions removed 4 transitions
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions removed 171 transitions
Trivial Post-agglo rules discarded 171 transitions
Performed 171 trivial Post agglomeration. Transition count delta: 171
Iterating post reduction 0 with 175 rules applied. Total rules applied 176 place count 450 transition count 824
Reduce places removed 171 places and 0 transitions.
Iterating post reduction 1 with 171 rules applied. Total rules applied 347 place count 279 transition count 824
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 20 Pre rules applied. Total rules applied 347 place count 279 transition count 804
Deduced a syphon composed of 20 places in 1 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 2 with 40 rules applied. Total rules applied 387 place count 259 transition count 804
Discarding 53 places :
Symmetric choice reduction at 2 with 53 rule applications. Total rules 440 place count 206 transition count 737
Iterating global reduction 2 with 53 rules applied. Total rules applied 493 place count 206 transition count 737
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 497 place count 206 transition count 733
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2 Pre rules applied. Total rules applied 497 place count 206 transition count 731
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 501 place count 204 transition count 731
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 503 place count 202 transition count 729
Iterating global reduction 3 with 2 rules applied. Total rules applied 505 place count 202 transition count 729
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 506 place count 201 transition count 728
Iterating global reduction 3 with 1 rules applied. Total rules applied 507 place count 201 transition count 728
Performed 39 Post agglomeration using F-continuation condition.Transition count delta: 39
Deduced a syphon composed of 39 places in 0 ms
Reduce places removed 39 places and 0 transitions.
Iterating global reduction 3 with 78 rules applied. Total rules applied 585 place count 162 transition count 689
Drop transitions removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 595 place count 162 transition count 679
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: -87
Deduced a syphon composed of 16 places in 1 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 4 with 32 rules applied. Total rules applied 627 place count 146 transition count 766
Drop transitions removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 4 with 14 rules applied. Total rules applied 641 place count 146 transition count 752
Drop transitions removed 119 transitions
Redundant transition composition rules discarded 119 transitions
Iterating global reduction 5 with 119 rules applied. Total rules applied 760 place count 146 transition count 633
Free-agglomeration rule applied 7 times.
Iterating global reduction 5 with 7 rules applied. Total rules applied 767 place count 146 transition count 626
Reduce places removed 7 places and 0 transitions.
Drop transitions removed 5 transitions
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 17 transitions.
Iterating post reduction 5 with 24 rules applied. Total rules applied 791 place count 139 transition count 609
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 793 place count 137 transition count 599
Iterating global reduction 6 with 2 rules applied. Total rules applied 795 place count 137 transition count 599
Applied a total of 795 rules in 207 ms. Remains 137 /458 variables (removed 321) and now considering 599/1003 (removed 404) transitions.
Finished structural reductions, in 1 iterations. Remains : 137/458 places, 599/1003 transitions.
[2021-05-12 18:14:24] [INFO ] Flatten gal took : 140 ms
[2021-05-12 18:14:24] [INFO ] Flatten gal took : 86 ms
[2021-05-12 18:14:24] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6181908087541304796.gal : 30 ms
[2021-05-12 18:14:24] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1467464933571472437.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality6181908087541304796.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1467464933571472437.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality6181908087541304796.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1467464933571472437.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality1467464933571472437.prop.
SDD proceeding with computation,46 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,46 properties remain. new max is 8
SDD size :5 after 15
SDD proceeding with computation,46 properties remain. new max is 16
SDD size :15 after 43
SDD proceeding with computation,46 properties remain. new max is 32
SDD size :43 after 51
SDD proceeding with computation,46 properties remain. new max is 64
SDD size :51 after 85
SDD proceeding with computation,46 properties remain. new max is 128
SDD size :85 after 209
SDD proceeding with computation,46 properties remain. new max is 256
SDD size :209 after 366
SDD proceeding with computation,46 properties remain. new max is 512
SDD size :366 after 3411
SDD proceeding with computation,46 properties remain. new max is 1024
SDD size :3411 after 74377
Invariant property smplace_542 does not hold.
Invariant property smplace_541 does not hold.
Invariant property smplace_528 does not hold.
Invariant property smplace_527 does not hold.
Invariant property smplace_526 does not hold.
Invariant property smplace_525 does not hold.
Invariant property smplace_511 does not hold.
Invariant property smplace_510 does not hold.
Invariant property smplace_499 does not hold.
Invariant property smplace_498 does not hold.
SDD proceeding with computation,36 properties remain. new max is 1024
SDD size :74377 after 593023
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst,1.99223e+06,1.07418,27848,2,4795,25,56244,42,0,1173,43780,0
Total reachable state count : 1992233

Verifying 46 reachability properties.
Invariant property smplace_11 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_11,1,1.07517,27848,2,138,25,56244,42,0,1175,43780,0
Invariant property smplace_47 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_47,1,1.07546,27848,2,138,25,56244,42,0,1176,43780,0
Invariant property smplace_79 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_79,1,1.07562,27848,2,138,25,56244,42,0,1177,43780,0
Invariant property smplace_80 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_80,2,1.07584,27848,2,146,25,56244,42,0,1178,43780,0
Invariant property smplace_216 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_216,1,1.076,27848,2,138,25,56244,42,0,1179,43780,0
Invariant property smplace_252 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_252,1,1.07614,27848,2,138,25,56244,42,0,1180,43780,0
Invariant property smplace_284 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_284,1,1.07628,27848,2,138,25,56244,42,0,1181,43780,0
Invariant property smplace_285 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_285,3,1.07648,27848,2,158,25,56244,42,0,1182,43780,0
Invariant property smplace_421 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_421,1,1.07664,27848,2,138,25,56244,42,0,1183,43780,0
Invariant property smplace_457 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_457,1,1.07678,27848,2,138,25,56244,42,0,1184,43780,0
Invariant property smplace_489 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_489,9,1.07699,27848,2,185,25,56244,42,0,1185,43780,0
Invariant property smplace_490 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_490,9,1.07721,27848,2,185,25,56244,42,0,1186,43780,0
Invariant property smplace_498 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_498,70,1.07755,27848,2,287,25,56244,43,0,1188,43780,0
Invariant property smplace_499 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_499,1568,1.07778,27848,2,416,25,56244,44,0,1190,43780,0
Invariant property smplace_510 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_510,96,1.07809,27848,2,309,25,56244,45,0,1192,43780,0
Invariant property smplace_511 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_511,1764,1.0783,27848,2,423,25,56244,46,0,1194,43780,0
Invariant property smplace_525 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_525,10976,1.07857,27848,2,757,25,56244,47,0,1196,43780,0
Invariant property smplace_526 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_526,5488,1.07886,27848,2,736,25,56244,48,0,1198,43780,0
Invariant property smplace_527 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_527,16464,1.07912,27848,2,760,25,56244,49,0,1200,43780,0
Invariant property smplace_528 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_528,8232,1.07938,27848,2,751,25,56244,50,0,1202,43780,0
Invariant property smplace_541 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_541,1568,1.0796,27848,2,416,25,56244,51,0,1204,43780,0
Invariant property smplace_542 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_542,8232,1.07989,27848,2,751,25,56244,52,0,1206,43780,0
Invariant property smplace_558 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_558,38416,1.08014,27848,2,779,25,56244,52,0,1207,43780,0
Invariant property smplace_626 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_626,1,1.0803,27848,2,138,25,56244,52,0,1208,43780,0
Invariant property smplace_662 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_662,1,1.08046,27848,2,138,25,56244,52,0,1209,43780,0
Invariant property smplace_694 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_694,125,1.08063,27848,2,353,25,56244,52,0,1210,43780,0
Invariant property smplace_695 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_695,36,1.08288,27848,2,226,25,56244,52,0,1211,43780,0
Invariant property smplace_703 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_703,41160,1.096,27848,2,760,25,56244,52,0,1212,43780,0
Invariant property smplace_704 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_704,41160,1.09632,27848,2,760,25,56244,52,0,1213,43780,0
Invariant property smplace_715 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_715,41160,1.09659,27848,2,760,26,56244,52,0,1214,43780,0
Invariant property smplace_716 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_716,41160,1.09687,27848,2,760,27,56244,52,0,1215,43780,0
Invariant property smplace_717 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_717,82514,1.0974,27848,2,1736,28,56244,52,0,1216,43780,0
Invariant property smplace_718 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_718,79770,1.09791,27848,2,1718,29,56244,52,0,1217,43780,0
Invariant property smplace_730 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_730,41160,1.09881,27848,2,760,30,56244,52,0,1218,43780,0
Invariant property smplace_731 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_731,41160,1.09916,27848,2,760,31,56244,52,0,1219,43780,0
Invariant property smplace_732 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_732,41160,1.0994,27848,2,760,32,56244,52,0,1220,43780,0
Invariant property smplace_733 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_733,41160,1.09966,27848,2,760,33,56244,52,0,1221,43780,0
Invariant property smplace_746 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_746,41160,1.09992,27848,2,760,34,56244,52,0,1222,43780,0
Invariant property smplace_747 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_747,41160,1.10018,27848,2,760,35,56244,52,0,1223,43780,0
Invariant property smplace_761 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_761,41160,1.10043,27848,2,760,36,56244,52,0,1224,43780,0
Invariant property smplace_762 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_762,41160,1.10068,27848,2,760,37,56244,52,0,1225,43780,0
Invariant property smplace_763 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_763,41160,1.10093,27848,2,760,38,56244,52,0,1226,43780,0
Invariant property smplace_764 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_764,41160,1.10124,27848,2,760,39,56244,52,0,1227,43780,0
Invariant property smplace_793 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_793,41160,1.10151,27848,2,760,40,56244,52,0,1228,43780,0
Invariant property smplace_826 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_826,2,1.10177,27848,2,150,41,56244,52,0,1229,43780,0
Invariant property smplace_875 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
smplace\_875,2,1.10195,27848,2,150,41,56244,52,0,1230,43780,0
ITS tools runner thread asked to quit. Dying gracefully.
Able to resolve query StableMarking after proving 755 properties.
FORMULA StableMarking FALSE TECHNIQUES RANDOM_WALK PARIKH_WALK MARKED_SUFFIX_TEST DECISION_DIAGRAMS TRIVIAL_UNMARKED_SCC_TEST COLLATERAL_PROCESSING BESTFIRST_WALK TOPOLOGICAL USE_NUPN

BK_STOP 1620843265945

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StableMarking = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution StableMarking -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination StableMarking -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

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="CloudDeployment-PT-4b"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is CloudDeployment-PT-4b, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-oct2-162038307500193"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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