Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r147-tall-162089138200397.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is Peterson-PT-6, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r147-tall-162089138200397
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 1.1M May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 4.2M May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.1M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 4.8M May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 48K Mar 28 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 148K Mar 28 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 105K Mar 28 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 351K Mar 28 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 86K Mar 27 07:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 234K Mar 27 07:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 33K Mar 25 08:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 110K Mar 25 08:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 13K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 28K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 1.5M 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 QuasiLiveness

=== Now, execution of the tool begins

BK_START 1620950445761

Running Version 0
[2021-05-14 00:00:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -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-14 00:00:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-14 00:00:59] [INFO ] Load time of PNML (sax parser for PT used): 157 ms
[2021-05-14 00:00:59] [INFO ] Transformed 1330 places.
[2021-05-14 00:00:59] [INFO ] Transformed 2030 transitions.
[2021-05-14 00:00:59] [INFO ] Found NUPN structural information;
[2021-05-14 00:00:59] [INFO ] Parsed PT model containing 1330 places and 2030 transitions in 208 ms.
Starting structural reductions, iteration 0 : 1330/1330 places, 2030/2030 transitions.
Drop transitions removed 588 transitions
Trivial Post-agglo rules discarded 588 transitions
Performed 588 trivial Post agglomeration. Transition count delta: 588
Iterating post reduction 0 with 588 rules applied. Total rules applied 588 place count 1330 transition count 1442
Reduce places removed 588 places and 0 transitions.
Iterating post reduction 1 with 588 rules applied. Total rules applied 1176 place count 742 transition count 1442
Performed 294 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 294 Pre rules applied. Total rules applied 1176 place count 742 transition count 1148
Deduced a syphon composed of 294 places in 4 ms
Reduce places removed 294 places and 0 transitions.
Iterating global reduction 2 with 588 rules applied. Total rules applied 1764 place count 448 transition count 1148
Performed 42 Post agglomeration using F-continuation condition.Transition count delta: 42
Deduced a syphon composed of 42 places in 3 ms
Reduce places removed 42 places and 0 transitions.
Iterating global reduction 2 with 84 rules applied. Total rules applied 1848 place count 406 transition count 1106
Applied a total of 1848 rules in 175 ms. Remains 406 /1330 variables (removed 924) and now considering 1106/2030 (removed 924) transitions.
[2021-05-14 00:00:59] [INFO ] Flow matrix only has 896 transitions (discarded 210 similar events)
// Phase 1: matrix 896 rows 406 cols
[2021-05-14 00:00:59] [INFO ] Computed 27 place invariants in 16 ms
[2021-05-14 00:00:59] [INFO ] Implicit Places using invariants in 507 ms returned [387, 388, 390, 398, 399, 400, 401]
Discarding 7 places :
Implicit Place search using SMT only with invariants took 535 ms to find 7 implicit places.
[2021-05-14 00:00:59] [INFO ] Flow matrix only has 896 transitions (discarded 210 similar events)
// Phase 1: matrix 896 rows 399 cols
[2021-05-14 00:00:59] [INFO ] Computed 20 place invariants in 6 ms
[2021-05-14 00:01:00] [INFO ] Dead Transitions using invariants and state equation in 416 ms returned []
Starting structural reductions, iteration 1 : 399/1330 places, 1106/2030 transitions.
Applied a total of 0 rules in 16 ms. Remains 399 /399 variables (removed 0) and now considering 1106/1106 (removed 0) transitions.
[2021-05-14 00:01:00] [INFO ] Flow matrix only has 896 transitions (discarded 210 similar events)
// Phase 1: matrix 896 rows 399 cols
[2021-05-14 00:01:00] [INFO ] Computed 20 place invariants in 4 ms
[2021-05-14 00:01:00] [INFO ] Dead Transitions using invariants and state equation in 462 ms returned []
Finished structural reductions, in 2 iterations. Remains : 399/1330 places, 1106/2030 transitions.
Discarding 7 transitions out of 1106. Remains 1099
Incomplete random walk after 10000 steps, including 2 resets, run finished after 348 ms. (steps per millisecond=28 ) properties (out of 1099) seen :425
Running SMT prover for 674 properties.
[2021-05-14 00:01:01] [INFO ] Flow matrix only has 896 transitions (discarded 210 similar events)
// Phase 1: matrix 896 rows 399 cols
[2021-05-14 00:01:01] [INFO ] Computed 20 place invariants in 5 ms
[2021-05-14 00:01:04] [INFO ] [Real]Absence check using 20 positive place invariants in 6 ms returned sat
[2021-05-14 00:01:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 00:01:20] [INFO ] [Real]Absence check using state equation in 12185 ms returned unsat :0 sat :674 real:0
[2021-05-14 00:01:20] [INFO ] State equation strengthened by 366 read => feed constraints.
[2021-05-14 00:01:20] [INFO ] [Real]Added 366 Read/Feed constraints in 34 ms returned sat
Attempting to minimize the solution found.
Minimization took 1 ms.
[2021-05-14 00:01:26] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :513 real:161
[2021-05-14 00:01:29] [INFO ] [Nat]Absence check using 20 positive place invariants in 5 ms returned sat
[2021-05-14 00:01:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 00:01:44] [INFO ] [Nat]Absence check using state equation in 11882 ms returned unsat :0 sat :674
[2021-05-14 00:01:44] [INFO ] [Nat]Added 366 Read/Feed constraints in 23 ms returned sat
Attempting to minimize the solution found.
Minimization took 1 ms.
[2021-05-14 00:01:51] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :674
Fused 674 Parikh solutions to 632 different solutions.
Incomplete Parikh walk after 1122 steps, including 37 resets, run finished after 29 ms. (steps per millisecond=38 ) properties (out of 674) seen :37 could not realise parikh vector
Incomplete Parikh walk after 1120 steps, including 38 resets, run finished after 28 ms. (steps per millisecond=40 ) properties (out of 637) seen :5 could not realise parikh vector
Incomplete Parikh walk after 1109 steps, including 37 resets, run finished after 31 ms. (steps per millisecond=35 ) properties (out of 632) seen :3 could not realise parikh vector
Incomplete Parikh walk after 1108 steps, including 37 resets, run finished after 27 ms. (steps per millisecond=41 ) properties (out of 629) seen :4 could not realise parikh vector
Incomplete Parikh walk after 1104 steps, including 36 resets, run finished after 27 ms. (steps per millisecond=40 ) properties (out of 625) seen :1 could not realise parikh vector
Incomplete Parikh walk after 1112 steps, including 37 resets, run finished after 27 ms. (steps per millisecond=41 ) properties (out of 624) seen :5 could not realise parikh vector
Incomplete Parikh walk after 1114 steps, including 36 resets, run finished after 27 ms. (steps per millisecond=41 ) properties (out of 619) seen :1 could not realise parikh vector
Incomplete Parikh walk after 1115 steps, including 37 resets, run finished after 27 ms. (steps per millisecond=41 ) properties (out of 618) seen :2 could not realise parikh vector
Incomplete Parikh walk after 1115 steps, including 37 resets, run finished after 28 ms. (steps per millisecond=39 ) properties (out of 616) seen :1 could not realise parikh vector
Incomplete Parikh walk after 1116 steps, including 37 resets, run finished after 27 ms. (steps per millisecond=41 ) properties (out of 615) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1116 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 615) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1116 steps, including 37 resets, run finished after 27 ms. (steps per millisecond=41 ) properties (out of 615) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1117 steps, including 38 resets, run finished after 27 ms. (steps per millisecond=41 ) properties (out of 615) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1117 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 615) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1117 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 615) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1118 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 615) seen :2 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 613) seen :2 could not realise parikh vector
Incomplete Parikh walk after 1128 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 611) seen :1 could not realise parikh vector
Incomplete Parikh walk after 1128 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 610) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 610) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 37 resets, run finished after 27 ms. (steps per millisecond=41 ) properties (out of 610) seen :1 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1120 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1121 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1122 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1123 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1124 steps, including 37 resets, run finished after 27 ms. (steps per millisecond=41 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1124 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1124 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1125 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1125 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1126 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1129 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 609) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1128 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 609) seen :1 could not realise parikh vector
Incomplete Parikh walk after 1128 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 608) seen :2 could not realise parikh vector
Incomplete Parikh walk after 1125 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 606) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1121 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 606) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1119 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 606) seen :1 could not realise parikh vector
Incomplete Parikh walk after 1116 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1113 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1111 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1098 steps, including 36 resets, run finished after 24 ms. (steps per millisecond=45 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1113 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1117 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1129 steps, including 37 resets, run finished after 28 ms. (steps per millisecond=40 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1122 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1122 steps, including 38 resets, run finished after 28 ms. (steps per millisecond=40 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1128 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1133 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1137 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1137 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1137 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1137 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1136 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 605) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1136 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 605) seen :2 could not realise parikh vector
Incomplete Parikh walk after 1136 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 603) seen :2 could not realise parikh vector
Incomplete Parikh walk after 1132 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 601) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1131 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 601) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1130 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 601) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1129 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 601) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1129 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 601) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1129 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 601) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1128 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 601) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1128 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 601) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1126 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 601) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1126 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 601) seen :2 could not realise parikh vector
Incomplete Parikh walk after 1121 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 599) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1117 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 599) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1111 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 599) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1102 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 599) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1097 steps, including 36 resets, run finished after 25 ms. (steps per millisecond=43 ) properties (out of 599) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1092 steps, including 36 resets, run finished after 32 ms. (steps per millisecond=34 ) properties (out of 599) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1092 steps, including 36 resets, run finished after 25 ms. (steps per millisecond=43 ) properties (out of 599) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1087 steps, including 35 resets, run finished after 25 ms. (steps per millisecond=43 ) properties (out of 599) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1087 steps, including 36 resets, run finished after 24 ms. (steps per millisecond=45 ) properties (out of 599) seen :1 could not realise parikh vector
Incomplete Parikh walk after 1087 steps, including 35 resets, run finished after 24 ms. (steps per millisecond=45 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1087 steps, including 36 resets, run finished after 24 ms. (steps per millisecond=45 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1094 steps, including 36 resets, run finished after 25 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1107 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1112 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1119 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1122 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1115 steps, including 36 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1108 steps, including 37 resets, run finished after 24 ms. (steps per millisecond=46 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1111 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1112 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1115 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1118 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1117 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1122 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1121 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1120 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1116 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1120 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1123 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1130 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1130 steps, including 38 resets, run finished after 30 ms. (steps per millisecond=37 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1129 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1130 steps, including 38 resets, run finished after 27 ms. (steps per millisecond=41 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1121 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1120 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1118 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1119 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1122 steps, including 36 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1123 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1122 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1121 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1120 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1121 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1120 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1119 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1118 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1120 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1119 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 598) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1118 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 598) seen :2 could not realise parikh vector
Incomplete Parikh walk after 1120 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1118 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1115 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1114 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1112 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1113 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1119 steps, including 38 resets, run finished after 30 ms. (steps per millisecond=37 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1114 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1118 steps, including 38 resets, run finished after 28 ms. (steps per millisecond=39 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1117 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1119 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1118 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1118 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1123 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1122 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1126 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1128 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1132 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1128 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1122 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1123 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1120 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1121 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1130 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1131 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1136 steps, including 37 resets, run finished after 27 ms. (steps per millisecond=42 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1135 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1138 steps, including 38 resets, run finished after 31 ms. (steps per millisecond=36 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1144 steps, including 37 resets, run finished after 27 ms. (steps per millisecond=42 ) properties (out of 596) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1135 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 596) seen :1 could not realise parikh vector
Incomplete Parikh walk after 1136 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1138 steps, including 38 resets, run finished after 27 ms. (steps per millisecond=42 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1137 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1142 steps, including 38 resets, run finished after 27 ms. (steps per millisecond=42 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1141 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1139 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1140 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1137 steps, including 37 resets, run finished after 27 ms. (steps per millisecond=42 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1138 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1139 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1133 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1137 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1143 steps, including 38 resets, run finished after 27 ms. (steps per millisecond=42 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1133 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1139 steps, including 38 resets, run finished after 27 ms. (steps per millisecond=42 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1137 steps, including 38 resets, run finished after 28 ms. (steps per millisecond=40 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1131 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1138 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1132 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1138 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1132 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1138 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1132 steps, including 38 resets, run finished after 29 ms. (steps per millisecond=39 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1131 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1137 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1132 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1124 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1130 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1126 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1121 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 595) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1117 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 595) seen :2 could not realise parikh vector
Incomplete Parikh walk after 1122 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 593) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1125 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 593) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1119 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 593) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1129 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 593) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1123 steps, including 36 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 593) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 593) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1121 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 593) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1125 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 593) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1119 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 593) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1113 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 593) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1128 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 593) seen :1 could not realise parikh vector
Incomplete Parikh walk after 1126 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1125 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1123 steps, including 37 resets, run finished after 29 ms. (steps per millisecond=38 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1121 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1119 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1116 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1121 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1108 steps, including 37 resets, run finished after 24 ms. (steps per millisecond=46 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1110 steps, including 37 resets, run finished after 24 ms. (steps per millisecond=46 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1113 steps, including 36 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1118 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1116 steps, including 36 resets, run finished after 26 ms. (steps per millisecond=42 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1119 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1129 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1132 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1134 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1138 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1140 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1140 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1143 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1145 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 592) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1136 steps, including 36 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 592) seen :1 could not realise parikh vector
Incomplete Parikh walk after 1142 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1132 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1138 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1134 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1128 steps, including 38 resets, run finished after 28 ms. (steps per millisecond=40 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1126 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1126 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1125 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1131 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1126 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1132 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1133 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1126 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1132 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1130 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1124 steps, including 36 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1122 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1128 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1121 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1126 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1120 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1120 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1128 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1122 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1129 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1123 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1117 steps, including 37 resets, run finished after 30 ms. (steps per millisecond=37 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1119 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=44 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1129 steps, including 37 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1131 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1129 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1131 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1129 steps, including 38 resets, run finished after 25 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1127 steps, including 37 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1137 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1134 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1141 steps, including 38 resets, run finished after 26 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
Incomplete Parikh walk after 56 steps, including 27 resets, run finished after 2 ms. (steps per millisecond=28 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 55 steps, including 27 resets, run finished after 2 ms. (steps per millisecond=27 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 51 steps, including 17 resets, run finished after 2 ms. (steps per millisecond=25 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 50 steps, including 16 resets, run finished after 2 ms. (steps per millisecond=25 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 47 steps, including 15 resets, run finished after 1 ms. (steps per millisecond=47 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 48 steps, including 15 resets, run finished after 2 ms. (steps per millisecond=24 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 45 steps, including 15 resets, run finished after 2 ms. (steps per millisecond=22 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 45 steps, including 15 resets, run finished after 2 ms. (steps per millisecond=22 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 42 steps, including 10 resets, run finished after 1 ms. (steps per millisecond=42 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 42 steps, including 10 resets, run finished after 1 ms. (steps per millisecond=42 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 43 steps, including 14 resets, run finished after 1 ms. (steps per millisecond=43 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 46 steps, including 15 resets, run finished after 1 ms. (steps per millisecond=46 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 45 steps, including 14 resets, run finished after 1 ms. (steps per millisecond=45 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 48 steps, including 16 resets, run finished after 2 ms. (steps per millisecond=24 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 50 steps, including 25 resets, run finished after 2 ms. (steps per millisecond=25 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 47 steps, including 23 resets, run finished after 2 ms. (steps per millisecond=23 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 46 steps, including 23 resets, run finished after 2 ms. (steps per millisecond=23 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 49 steps, including 24 resets, run finished after 2 ms. (steps per millisecond=24 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 46 steps, including 22 resets, run finished after 2 ms. (steps per millisecond=23 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 43 steps, including 21 resets, run finished after 2 ms. (steps per millisecond=21 ) properties (out of 591) seen :0 could not realise parikh vector
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
Incomplete Parikh walk after 61 steps, including 20 resets, run finished after 2 ms. (steps per millisecond=30 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 57 steps, including 19 resets, run finished after 2 ms. (steps per millisecond=28 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 61 steps, including 30 resets, run finished after 2 ms. (steps per millisecond=30 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 61 steps, including 30 resets, run finished after 2 ms. (steps per millisecond=30 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 62 steps, including 30 resets, run finished after 3 ms. (steps per millisecond=20 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 63 steps, including 31 resets, run finished after 2 ms. (steps per millisecond=31 ) properties (out of 591) seen :0 could not realise parikh vector
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
Incomplete Parikh walk after 59 steps, including 29 resets, run finished after 2 ms. (steps per millisecond=29 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 53 steps, including 26 resets, run finished after 2 ms. (steps per millisecond=26 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 60 steps, including 30 resets, run finished after 2 ms. (steps per millisecond=30 ) properties (out of 591) seen :0 could not realise parikh vector
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
Incomplete Parikh walk after 44 steps, including 21 resets, run finished after 2 ms. (steps per millisecond=22 ) properties (out of 591) seen :0 could not realise parikh vector
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
Incomplete Parikh walk after 56 steps, including 28 resets, run finished after 2 ms. (steps per millisecond=28 ) properties (out of 591) seen :0 could not realise parikh vector
Incomplete Parikh walk after 58 steps, including 29 resets, run finished after 3 ms. (steps per millisecond=19 ) properties (out of 591) seen :0 could not realise parikh vector
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
Support contains 336 out of 399 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 399/399 places, 1106/1106 transitions.
Applied a total of 0 rules in 41 ms. Remains 399 /399 variables (removed 0) and now considering 1106/1106 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 399/399 places, 1106/1106 transitions.
[2021-05-14 00:01:58] [INFO ] Flatten gal took : 106 ms
[2021-05-14 00:01:58] [INFO ] Flatten gal took : 69 ms
[2021-05-14 00:01:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11180951273831749063.gal : 26 ms
[2021-05-14 00:01:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality45577851287805257.prop : 5 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/ReachabilityCardinality11180951273831749063.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality45577851287805257.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/ReachabilityCardinality11180951273831749063.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality45577851287805257.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality45577851287805257.prop.
SDD proceeding with computation,591 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,591 properties remain. new max is 8
SDD size :5 after 12
SDD proceeding with computation,591 properties remain. new max is 16
SDD size :12 after 13
SDD proceeding with computation,591 properties remain. new max is 32
SDD size :13 after 25
SDD proceeding with computation,591 properties remain. new max is 64
SDD size :25 after 32
SDD proceeding with computation,591 properties remain. new max is 128
SDD size :32 after 99
Reachability property qltransition_588 is true.
SDD proceeding with computation,590 properties remain. new max is 128
SDD size :99 after 140
SDD proceeding with computation,590 properties remain. new max is 256
SDD size :140 after 222
Reachability property qltransition_42 is true.
Reachability property qltransition_38 is true.
SDD proceeding with computation,588 properties remain. new max is 256
SDD size :222 after 423
SDD proceeding with computation,588 properties remain. new max is 512
SDD size :423 after 542
SDD proceeding with computation,588 properties remain. new max is 1024
SDD size :542 after 1509
Reachability property qltransition_589 is true.
Reachability property qltransition_587 is true.
Reachability property qltransition_34 is true.
SDD proceeding with computation,585 properties remain. new max is 1024
SDD size :1509 after 2322
Reachability property qltransition_590 is true.
Reachability property qltransition_409 is true.
Reachability property qltransition_407 is true.
SDD proceeding with computation,582 properties remain. new max is 1024
SDD size :2322 after 3176
SDD proceeding with computation,582 properties remain. new max is 2048
SDD size :3176 after 5978
Reachability property qltransition_499 is true.
SDD proceeding with computation,581 properties remain. new max is 2048
SDD size :5978 after 9361
Reachability property qltransition_876 is true.
Reachability property qltransition_875 is true.
Reachability property qltransition_873 is true.
Reachability property qltransition_502 is true.
Reachability property qltransition_496 is true.
SDD proceeding with computation,576 properties remain. new max is 2048
SDD size :9361 after 12540
Reachability property qltransition_912 is true.
Reachability property qltransition_823 is true.
Reachability property qltransition_817 is true.
Reachability property qltransition_682 is true.
Reachability property qltransition_108 is true.
Reachability property qltransition_93 is true.
Reachability property qltransition_87 is true.
Reachability property qltransition_66 is true.
Reachability property qltransition_64 is true.
SDD proceeding with computation,567 properties remain. new max is 2048
SDD size :12540 after 16540
Reachability property qltransition_591 is true.
Reachability property qltransition_565 is true.
Reachability property qltransition_399 is true.
Reachability property qltransition_398 is true.
Reachability property qltransition_71 is true.
Reachability property qltransition_50 is true.
SDD proceeding with computation,561 properties remain. new max is 2048
SDD size :16540 after 42999
SDD proceeding with computation,561 properties remain. new max is 4096
SDD size :42999 after 55183
Detected timeout of ITS tools.
[2021-05-14 00:02:13] [INFO ] Flatten gal took : 80 ms
[2021-05-14 00:02:13] [INFO ] Applying decomposition
[2021-05-14 00:02:13] [INFO ] Flatten gal took : 52 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/graph2461472843192494514.txt, -o, /tmp/graph2461472843192494514.bin, -w, /tmp/graph2461472843192494514.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/graph2461472843192494514.bin, -l, -1, -v, -w, /tmp/graph2461472843192494514.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-14 00:02:13] [INFO ] Decomposing Gal with order
[2021-05-14 00:02:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-14 00:02:14] [INFO ] Removed a total of 1575 redundant transitions.
[2021-05-14 00:02:14] [INFO ] Flatten gal took : 173 ms
[2021-05-14 00:02:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 618 labels/synchronizations in 54 ms.
[2021-05-14 00:02:14] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16524632045864301717.gal : 12 ms
[2021-05-14 00:02:14] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10575411627385437682.prop : 9 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/ReachabilityCardinality16524632045864301717.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10575411627385437682.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/ReachabilityCardinality16524632045864301717.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10575411627385437682.prop --nowitness
Loading property file /tmp/ReachabilityCardinality10575411627385437682.prop.
SDD proceeding with computation,561 properties remain. new max is 4
SDD size :1 after 11
SDD proceeding with computation,561 properties remain. new max is 8
SDD size :11 after 178
Reachability property qltransition_523 is true.
Reachability property qltransition_503 is true.
Reachability property qltransition_497 is true.
Reachability property qltransition_458 is true.
Reachability property qltransition_405 is true.
Reachability property qltransition_46 is true.
SDD proceeding with computation,555 properties remain. new max is 8
SDD size :178 after 1520
Reachability property qltransition_1105 is true.
Reachability property qltransition_1102 is true.
Reachability property qltransition_1101 is true.
Reachability property qltransition_1100 is true.
Reachability property qltransition_1099 is true.
Reachability property qltransition_1098 is true.
Reachability property qltransition_1097 is true.
Reachability property qltransition_1096 is true.
Reachability property qltransition_1094 is true.
Reachability property qltransition_1093 is true.
Reachability property qltransition_1091 is true.
Reachability property qltransition_1090 is true.
Reachability property qltransition_1089 is true.
Reachability property qltransition_1088 is true.
Reachability property qltransition_1087 is true.
Reachability property qltransition_1084 is true.
Reachability property qltransition_1083 is true.
Reachability property qltransition_1079 is true.
Reachability property qltransition_1078 is true.
Reachability property qltransition_1077 is true.
Reachability property qltransition_1076 is true.
Reachability property qltransition_1075 is true.
Reachability property qltransition_1071 is true.
Reachability property qltransition_1048 is true.
Reachability property qltransition_1046 is true.
Reachability property qltransition_1028 is true.
Reachability property qltransition_1018 is true.
Reachability property qltransition_1011 is true.
Reachability property qltransition_998 is true.
Reachability property qltransition_977 is true.
Reachability property qltransition_967 is true.
Reachability property qltransition_956 is true.
Reachability property qltransition_923 is true.
Reachability property qltransition_902 is true.
Reachability property qltransition_877 is true.
Reachability property qltransition_847 is true.
Reachability property qltransition_815 is true.
Reachability property qltransition_808 is true.
Reachability property qltransition_807 is true.
Reachability property qltransition_805 is true.
Reachability property qltransition_804 is true.
Reachability property qltransition_803 is true.
Reachability property qltransition_802 is true.
Reachability property qltransition_801 is true.
Reachability property qltransition_800 is true.
Reachability property qltransition_799 is true.
Reachability property qltransition_798 is true.
Reachability property qltransition_789 is true.
Reachability property qltransition_788 is true.
Reachability property qltransition_786 is true.
Reachability property qltransition_785 is true.
Reachability property qltransition_783 is true.
Reachability property qltransition_782 is true.
Reachability property qltransition_781 is true.
Reachability property qltransition_780 is true.
Reachability property qltransition_772 is true.
Reachability property qltransition_771 is true.
Reachability property qltransition_770 is true.
Reachability property qltransition_769 is true.
Reachability property qltransition_768 is true.
Reachability property qltransition_767 is true.
Reachability property qltransition_766 is true.
Reachability property qltransition_765 is true.
Reachability property qltransition_764 is true.
Reachability property qltransition_763 is true.
Reachability property qltransition_753 is true.
Reachability property qltransition_752 is true.
Reachability property qltransition_718 is true.
Reachability property qltransition_715 is true.
Reachability property qltransition_711 is true.
Reachability property qltransition_709 is true.
Reachability property qltransition_706 is true.
Reachability property qltransition_703 is true.
Reachability property qltransition_701 is true.
Reachability property qltransition_699 is true.
Reachability property qltransition_694 is true.
Reachability property qltransition_690 is true.
Reachability property qltransition_688 is true.
Reachability property qltransition_681 is true.
Reachability property qltransition_677 is true.
Reachability property qltransition_675 is true.
Reachability property qltransition_673 is true.
Reachability property qltransition_668 is true.
Reachability property qltransition_666 is true.
Reachability property qltransition_665 is true.
Reachability property qltransition_661 is true.
Reachability property qltransition_655 is true.
Reachability property qltransition_653 is true.
Reachability property qltransition_650 is true.
Reachability property qltransition_647 is true.
Reachability property qltransition_642 is true.
Reachability property qltransition_638 is true.
Reachability property qltransition_635 is true.
Reachability property qltransition_631 is true.
Reachability property qltransition_627 is true.
Reachability property qltransition_625 is true.
Reachability property qltransition_621 is true.
Reachability property qltransition_617 is true.
Reachability property qltransition_611 is true.
Reachability property qltransition_610 is true.
Reachability property qltransition_609 is true.
Reachability property qltransition_608 is true.
Reachability property qltransition_604 is true.
Reachability property qltransition_603 is true.
Reachability property qltransition_601 is true.
Reachability property qltransition_599 is true.
Reachability property qltransition_596 is true.
Reachability property qltransition_592 is true.
Reachability property qltransition_575 is true.
Reachability property qltransition_574 is true.
Reachability property qltransition_568 is true.
Reachability property qltransition_566 is true.
Reachability property qltransition_563 is true.
Reachability property qltransition_562 is true.
Reachability property qltransition_556 is true.
Reachability property qltransition_555 is true.
Reachability property qltransition_554 is true.
Reachability property qltransition_548 is true.
Reachability property qltransition_545 is true.
Reachability property qltransition_537 is true.
Reachability property qltransition_536 is true.
Reachability property qltransition_535 is true.
Reachability property qltransition_534 is true.
Reachability property qltransition_528 is true.
Reachability property qltransition_519 is true.
Reachability property qltransition_518 is true.
Reachability property qltransition_510 is true.
Reachability property qltransition_507 is true.
Reachability property qltransition_498 is true.
Reachability property qltransition_493 is true.
Reachability property qltransition_492 is true.
Reachability property qltransition_489 is true.
Reachability property qltransition_488 is true.
Reachability property qltransition_485 is true.
Reachability property qltransition_483 is true.
Reachability property qltransition_477 is true.
Reachability property qltransition_476 is true.
Reachability property qltransition_475 is true.
Reachability property qltransition_474 is true.
Reachability property qltransition_470 is true.
Reachability property qltransition_465 is true.
Reachability property qltransition_464 is true.
Reachability property qltransition_455 is true.
Reachability property qltransition_404 is true.
Reachability property qltransition_394 is true.
Reachability property qltransition_393 is true.
Reachability property qltransition_392 is true.
Reachability property qltransition_383 is true.
Reachability property qltransition_380 is true.
Reachability property qltransition_370 is true.
Reachability property qltransition_368 is true.
Reachability property qltransition_363 is true.
Reachability property qltransition_152 is true.
Reachability property qltransition_143 is true.
Reachability property qltransition_96 is true.
Reachability property qltransition_95 is true.
Reachability property qltransition_76 is true.
SDD proceeding with computation,398 properties remain. new max is 8
SDD size :1520 after 163678
Reachability property qltransition_951 is true.
Reachability property qltransition_213 is true.
SDD proceeding with computation,396 properties remain. new max is 8
SDD size :163678 after 164521
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7136352097323904484
[2021-05-14 00:02:29] [INFO ] Built C files in 29ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7136352097323904484
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/ltsmin7136352097323904484]
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/ltsmin7136352097323904484] 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/ltsmin7136352097323904484] 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 15289 ms. (steps per millisecond=65 ) properties (out of 396) seen :47
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 349) seen :13
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 336) seen :9
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 327) seen :3
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 324) seen :8
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 316) seen :4
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 312) seen :5
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 307) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 307) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 307) 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 307) seen :11
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 296) seen :10
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 286) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 285) seen :7
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 278) seen :3
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 275) seen :2
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 273) seen :4
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 269) seen :8
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 261) seen :5
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 256) seen :2
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 254) seen :7
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 247) 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 245) 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 245) seen :3
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 242) 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 242) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 242) 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 242) 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 242) 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 242) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 242) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 241) 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 241) 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 241) seen :5
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 236) 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 236) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 235) 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 235) seen :2
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 233) 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 233) 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 233) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 233) seen :2
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 231) 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 231) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 231) 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 231) 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 231) 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 231) 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 231) 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 231) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 231) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 231) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 231) 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 231) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 231) 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 231) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 231) 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 231) 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 231) 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 231) 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 229) 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 229) 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 229) 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 229) 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 229) 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 229) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 228) 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 228) 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 228) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 228) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 228) 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 228) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) 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 227) 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 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 227) 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 227) 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 227) 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 227) 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 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) 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 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 227) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 227) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) 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 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 226) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 226) seen :0
Running SMT prover for 226 properties.
[2021-05-14 00:02:48] [INFO ] Flow matrix only has 896 transitions (discarded 210 similar events)
// Phase 1: matrix 896 rows 399 cols
[2021-05-14 00:02:48] [INFO ] Computed 20 place invariants in 3 ms
[2021-05-14 00:02:49] [INFO ] [Real]Absence check using 20 positive place invariants in 10 ms returned sat
[2021-05-14 00:02:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 00:02:54] [INFO ] [Real]Absence check using state equation in 4386 ms returned unsat :0 sat :226 real:0
[2021-05-14 00:02:54] [INFO ] State equation strengthened by 366 read => feed constraints.
[2021-05-14 00:02:54] [INFO ] [Real]Added 366 Read/Feed constraints in 24 ms returned sat
[2021-05-14 00:03:03] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:226
[2021-05-14 00:03:04] [INFO ] [Nat]Absence check using 20 positive place invariants in 5 ms returned sat
[2021-05-14 00:03:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 00:03:09] [INFO ] [Nat]Absence check using state equation in 4103 ms returned unsat :0 sat :226
[2021-05-14 00:03:09] [INFO ] [Nat]Added 366 Read/Feed constraints in 20 ms returned sat
Attempting to minimize the solution found.
Minimization took 5071 ms.
[2021-05-14 00:03:19] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :226
Fused 226 Parikh solutions to 224 different solutions.
Incomplete Parikh walk after 1321 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1319 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1321 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1335 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=78 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1338 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1337 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1340 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1333 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1335 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1342 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=78 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1330 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1337 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1336 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1343 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1348 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1341 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1336 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1343 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=79 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1343 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1336 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=78 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1334 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1341 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1336 steps, including 45 resets, run finished after 18 ms. (steps per millisecond=74 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1330 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1333 steps, including 43 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1333 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1327 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1341 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1334 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1329 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1325 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1330 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1353 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=79 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1348 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1315 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1318 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1346 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1351 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1354 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1351 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1345 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1350 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=79 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1344 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1351 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=79 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1345 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1340 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=78 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1343 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1347 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1353 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=79 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1354 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=79 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1348 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1353 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1370 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=80 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1368 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=80 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1372 steps, including 43 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1346 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1344 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1370 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=80 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1345 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1341 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=78 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1337 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1321 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1317 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1319 steps, including 43 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1317 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1322 steps, including 43 resets, run finished after 15 ms. (steps per millisecond=88 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1318 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1337 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1332 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1336 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1330 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1339 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1335 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1345 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1342 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1346 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1356 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=79 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1357 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=79 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1361 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1364 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1360 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1364 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1361 steps, including 44 resets, run finished after 19 ms. (steps per millisecond=71 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1361 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1362 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1340 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1346 steps, including 43 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1326 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1323 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1317 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1316 steps, including 44 resets, run finished after 15 ms. (steps per millisecond=87 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1312 steps, including 43 resets, run finished after 15 ms. (steps per millisecond=87 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1305 steps, including 43 resets, run finished after 16 ms. (steps per millisecond=81 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1320 steps, including 44 resets, run finished after 15 ms. (steps per millisecond=88 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1326 steps, including 44 resets, run finished after 15 ms. (steps per millisecond=88 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1332 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1336 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1342 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1325 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1329 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1328 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1328 steps, including 44 resets, run finished after 15 ms. (steps per millisecond=88 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1339 steps, including 44 resets, run finished after 15 ms. (steps per millisecond=89 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1333 steps, including 44 resets, run finished after 15 ms. (steps per millisecond=88 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1339 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1345 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=79 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1339 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1356 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1356 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1355 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1357 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1351 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 226) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1367 steps, including 44 resets, run finished after 21 ms. (steps per millisecond=65 ) properties (out of 226) seen :1 could not realise parikh vector
Incomplete Parikh walk after 1369 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1371 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1365 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1371 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=80 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1374 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1365 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1371 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1365 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1365 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1363 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1365 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1366 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1368 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1370 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1373 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1377 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=81 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1378 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1380 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1383 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=81 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1384 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1375 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1381 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1374 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=80 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1368 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1370 steps, including 44 resets, run finished after 17 ms. (steps per millisecond=80 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1374 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1371 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1367 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1345 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1350 steps, including 44 resets, run finished after 19 ms. (steps per millisecond=71 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1352 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1353 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1354 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1355 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1361 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1362 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1362 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1362 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1363 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1364 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1366 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1364 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1353 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1352 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1363 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1355 steps, including 45 resets, run finished after 15 ms. (steps per millisecond=90 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1366 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1356 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1367 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1373 steps, including 47 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1352 steps, including 45 resets, run finished after 15 ms. (steps per millisecond=90 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1333 steps, including 44 resets, run finished after 15 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1344 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1327 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1338 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1341 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1348 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1341 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1352 steps, including 46 resets, run finished after 22 ms. (steps per millisecond=61 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1357 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1346 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1358 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1347 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1359 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1348 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1364 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1355 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1350 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1346 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1342 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1338 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1339 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1355 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1356 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1356 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1355 steps, including 45 resets, run finished after 15 ms. (steps per millisecond=90 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1347 steps, including 45 resets, run finished after 15 ms. (steps per millisecond=89 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1335 steps, including 44 resets, run finished after 15 ms. (steps per millisecond=89 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1341 steps, including 44 resets, run finished after 15 ms. (steps per millisecond=89 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1340 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1339 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1338 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1337 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1340 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1345 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1349 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=79 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1360 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1373 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1372 steps, including 45 resets, run finished after 19 ms. (steps per millisecond=72 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1370 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1369 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1368 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1367 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1332 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1344 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1339 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1329 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1350 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1344 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1331 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1335 steps, including 45 resets, run finished after 15 ms. (steps per millisecond=89 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1335 steps, including 44 resets, run finished after 15 ms. (steps per millisecond=89 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1334 steps, including 45 resets, run finished after 15 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1337 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1338 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1335 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1331 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1332 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1333 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1329 steps, including 44 resets, run finished after 15 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1324 steps, including 45 resets, run finished after 15 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Support contains 201 out of 399 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 399/399 places, 1106/1106 transitions.
Applied a total of 0 rules in 24 ms. Remains 399 /399 variables (removed 0) and now considering 1106/1106 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 399/399 places, 1106/1106 transitions.
[2021-05-14 00:03:22] [INFO ] Flatten gal took : 42 ms
[2021-05-14 00:03:23] [INFO ] Flatten gal took : 53 ms
[2021-05-14 00:03:23] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11435958740408674665.gal : 17 ms
[2021-05-14 00:03:23] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7639750261203967222.prop : 11 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/ReachabilityCardinality11435958740408674665.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7639750261203967222.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/ReachabilityCardinality11435958740408674665.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7639750261203967222.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality7639750261203967222.prop.
SDD proceeding with computation,225 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,225 properties remain. new max is 8
SDD size :5 after 12
SDD proceeding with computation,225 properties remain. new max is 16
SDD size :12 after 13
SDD proceeding with computation,225 properties remain. new max is 32
SDD size :13 after 25
SDD proceeding with computation,225 properties remain. new max is 64
SDD size :25 after 32
SDD proceeding with computation,225 properties remain. new max is 128
SDD size :32 after 99
SDD proceeding with computation,225 properties remain. new max is 256
SDD size :99 after 140
SDD proceeding with computation,225 properties remain. new max is 512
SDD size :140 after 315
SDD proceeding with computation,225 properties remain. new max is 1024
SDD size :315 after 568
SDD proceeding with computation,225 properties remain. new max is 2048
SDD size :568 after 2246
SDD proceeding with computation,225 properties remain. new max is 4096
SDD size :2246 after 4520
SDD proceeding with computation,225 properties remain. new max is 8192
SDD size :4520 after 11280
SDD proceeding with computation,225 properties remain. new max is 16384
SDD size :11280 after 57664
Detected timeout of ITS tools.
[2021-05-14 00:03:38] [INFO ] Flatten gal took : 39 ms
[2021-05-14 00:03:38] [INFO ] Applying decomposition
[2021-05-14 00:03:38] [INFO ] Flatten gal took : 35 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/graph16501723666492517627.txt, -o, /tmp/graph16501723666492517627.bin, -w, /tmp/graph16501723666492517627.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/graph16501723666492517627.bin, -l, -1, -v, -w, /tmp/graph16501723666492517627.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-14 00:03:38] [INFO ] Decomposing Gal with order
[2021-05-14 00:03:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-14 00:03:38] [INFO ] Removed a total of 1575 redundant transitions.
[2021-05-14 00:03:38] [INFO ] Flatten gal took : 99 ms
[2021-05-14 00:03:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 424 labels/synchronizations in 25 ms.
[2021-05-14 00:03:38] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11613476164298627806.gal : 7 ms
[2021-05-14 00:03:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality291443806594633767.prop : 1 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/ReachabilityCardinality11613476164298627806.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality291443806594633767.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/ReachabilityCardinality11613476164298627806.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality291443806594633767.prop --nowitness
Loading property file /tmp/ReachabilityCardinality291443806594633767.prop.
SDD proceeding with computation,225 properties remain. new max is 4
SDD size :1 after 320
SDD proceeding with computation,225 properties remain. new max is 8
SDD size :320 after 1.60122e+06
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16272618379125951638
[2021-05-14 00:03:53] [INFO ] Built C files in 26ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16272618379125951638
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/ltsmin16272618379125951638]
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/ltsmin16272618379125951638] 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/ltsmin16272618379125951638] 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 9646 ms. (steps per millisecond=103 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) 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 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 225) seen :0
Interrupted probabilistic random walk after 7219696 steps, run timeout after 30001 ms. (steps per millisecond=240 ) properties seen :{}
Probabilistic random walk after 7219696 steps, saw 907543 distinct states, run finished after 30004 ms. (steps per millisecond=240 ) properties seen :{}
Running SMT prover for 225 properties.
[2021-05-14 00:04:34] [INFO ] Flow matrix only has 896 transitions (discarded 210 similar events)
// Phase 1: matrix 896 rows 399 cols
[2021-05-14 00:04:34] [INFO ] Computed 20 place invariants in 5 ms
[2021-05-14 00:04:36] [INFO ] [Real]Absence check using 20 positive place invariants in 5 ms returned sat
[2021-05-14 00:04:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 00:04:41] [INFO ] [Real]Absence check using state equation in 4415 ms returned unsat :0 sat :225 real:0
[2021-05-14 00:04:41] [INFO ] State equation strengthened by 366 read => feed constraints.
[2021-05-14 00:04:41] [INFO ] [Real]Added 366 Read/Feed constraints in 23 ms returned sat
[2021-05-14 00:04:50] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:225
[2021-05-14 00:04:51] [INFO ] [Nat]Absence check using 20 positive place invariants in 5 ms returned sat
[2021-05-14 00:04:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 00:04:56] [INFO ] [Nat]Absence check using state equation in 4200 ms returned unsat :0 sat :225
[2021-05-14 00:04:56] [INFO ] [Nat]Added 366 Read/Feed constraints in 20 ms returned sat
Attempting to minimize the solution found.
Minimization took 4875 ms.
[2021-05-14 00:05:06] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :225
Fused 225 Parikh solutions to 223 different solutions.
Incomplete Parikh walk after 1371 steps, including 46 resets, run finished after 25 ms. (steps per millisecond=54 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1369 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1371 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1379 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1382 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1381 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1384 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1378 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=81 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1380 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1386 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=81 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1364 steps, including 43 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1370 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1374 steps, including 45 resets, run finished after 15 ms. (steps per millisecond=91 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1380 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=81 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1397 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1391 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1381 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1387 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1392 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1386 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1384 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1390 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1380 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1363 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1377 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1377 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1360 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1385 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1370 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1376 steps, including 45 resets, run finished after 15 ms. (steps per millisecond=91 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1373 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1367 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1391 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1374 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1351 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1353 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1371 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1388 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1391 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=81 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1388 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1394 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1387 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1393 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1388 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1394 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1389 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1393 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1396 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1390 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1391 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1402 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1407 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1416 steps, including 47 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1415 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1418 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1401 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1399 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1416 steps, including 47 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1400 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1396 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1392 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1372 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1368 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1370 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1363 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1368 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1364 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1377 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1373 steps, including 46 resets, run finished after 18 ms. (steps per millisecond=76 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1376 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1375 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1383 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1380 steps, including 46 resets, run finished after 15 ms. (steps per millisecond=92 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1389 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1387 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1390 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1395 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1402 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1405 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1412 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1404 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1407 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1400 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1400 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1401 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1381 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1387 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1373 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1369 steps, including 44 resets, run finished after 15 ms. (steps per millisecond=91 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1363 steps, including 44 resets, run finished after 15 ms. (steps per millisecond=90 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1363 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1359 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1352 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1358 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1376 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1381 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1385 steps, including 45 resets, run finished after 18 ms. (steps per millisecond=76 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1391 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1375 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1374 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1374 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1379 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1373 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1379 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1384 steps, including 45 resets, run finished after 15 ms. (steps per millisecond=92 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1378 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1393 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1393 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1392 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1394 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1388 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1401 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1403 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1410 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1409 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1415 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1422 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1413 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1419 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1416 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1412 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1410 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1407 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1408 steps, including 46 resets, run finished after 18 ms. (steps per millisecond=78 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1410 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1412 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1419 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1423 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1429 steps, including 47 resets, run finished after 17 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1431 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=84 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1434 steps, including 47 resets, run finished after 16 ms. (steps per millisecond=89 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1435 steps, including 47 resets, run finished after 16 ms. (steps per millisecond=89 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1422 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1425 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1414 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1409 steps, including 47 resets, run finished after 17 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1410 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1413 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1410 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1406 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1392 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1397 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1399 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1400 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1401 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1402 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1408 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1409 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1409 steps, including 46 resets, run finished after 18 ms. (steps per millisecond=78 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1409 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1410 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1411 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1413 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1411 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1401 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1400 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1410 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1403 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1413 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1404 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1414 steps, including 47 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1420 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=88 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1396 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1379 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1390 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1373 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1384 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1391 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1392 steps, including 46 resets, run finished after 15 ms. (steps per millisecond=92 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1385 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1396 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1399 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1389 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=81 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1400 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1390 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1401 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1391 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1406 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1398 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1394 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1390 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1386 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1382 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1387 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1398 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1397 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1397 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=82 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1396 steps, including 47 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1384 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1377 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1378 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1377 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1376 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1375 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1374 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1382 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1387 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1391 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1399 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1422 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1416 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1414 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1413 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1412 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=83 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1406 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1381 steps, including 46 resets, run finished after 18 ms. (steps per millisecond=76 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1387 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1382 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1374 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1398 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1392 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=87 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1380 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1384 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1384 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1383 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1386 steps, including 46 resets, run finished after 17 ms. (steps per millisecond=81 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1387 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1384 steps, including 46 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1380 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1381 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1382 steps, including 45 resets, run finished after 16 ms. (steps per millisecond=86 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1378 steps, including 45 resets, run finished after 17 ms. (steps per millisecond=81 ) properties (out of 225) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1374 steps, including 44 resets, run finished after 16 ms. (steps per millisecond=85 ) properties (out of 225) seen :0 could not realise parikh vector
Support contains 201 out of 399 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 399/399 places, 1106/1106 transitions.
Applied a total of 0 rules in 21 ms. Remains 399 /399 variables (removed 0) and now considering 1106/1106 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 399/399 places, 1106/1106 transitions.
Starting structural reductions, iteration 0 : 399/399 places, 1106/1106 transitions.
Applied a total of 0 rules in 20 ms. Remains 399 /399 variables (removed 0) and now considering 1106/1106 (removed 0) transitions.
[2021-05-14 00:05:10] [INFO ] Flow matrix only has 896 transitions (discarded 210 similar events)
// Phase 1: matrix 896 rows 399 cols
[2021-05-14 00:05:10] [INFO ] Computed 20 place invariants in 2 ms
[2021-05-14 00:05:10] [INFO ] Implicit Places using invariants in 178 ms returned []
[2021-05-14 00:05:10] [INFO ] Flow matrix only has 896 transitions (discarded 210 similar events)
// Phase 1: matrix 896 rows 399 cols
[2021-05-14 00:05:10] [INFO ] Computed 20 place invariants in 2 ms
[2021-05-14 00:05:10] [INFO ] State equation strengthened by 366 read => feed constraints.
[2021-05-14 00:05:11] [INFO ] Implicit Places using invariants and state equation in 999 ms returned []
Implicit Place search using SMT with State Equation took 1179 ms to find 0 implicit places.
[2021-05-14 00:05:11] [INFO ] Redundant transitions in 70 ms returned []
[2021-05-14 00:05:11] [INFO ] Flow matrix only has 896 transitions (discarded 210 similar events)
// Phase 1: matrix 896 rows 399 cols
[2021-05-14 00:05:11] [INFO ] Computed 20 place invariants in 2 ms
[2021-05-14 00:05:11] [INFO ] Dead Transitions using invariants and state equation in 471 ms returned []
Finished structural reductions, in 1 iterations. Remains : 399/399 places, 1106/1106 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 1056 ms. (steps per millisecond=94 ) properties (out of 225) seen :0
Running SMT prover for 225 properties.
[2021-05-14 00:05:12] [INFO ] Flow matrix only has 896 transitions (discarded 210 similar events)
// Phase 1: matrix 896 rows 399 cols
[2021-05-14 00:05:12] [INFO ] Computed 20 place invariants in 4 ms
[2021-05-14 00:05:14] [INFO ] [Real]Absence check using 20 positive place invariants in 5 ms returned sat
[2021-05-14 00:05:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 00:05:19] [INFO ] [Real]Absence check using state equation in 4402 ms returned unsat :0 sat :225 real:0
[2021-05-14 00:05:19] [INFO ] State equation strengthened by 366 read => feed constraints.
[2021-05-14 00:05:19] [INFO ] [Real]Added 366 Read/Feed constraints in 20 ms returned sat
[2021-05-14 00:05:28] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:225
[2021-05-14 00:05:29] [INFO ] [Nat]Absence check using 20 positive place invariants in 6 ms returned sat
[2021-05-14 00:05:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 00:05:34] [INFO ] [Nat]Absence check using state equation in 4168 ms returned unsat :0 sat :225
[2021-05-14 00:05:34] [INFO ] [Nat]Added 366 Read/Feed constraints in 21 ms returned sat
Attempting to minimize the solution found.
Minimization took 5155 ms.
[2021-05-14 00:05:44] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :225
[2021-05-14 00:05:44] [INFO ] Flatten gal took : 35 ms
[2021-05-14 00:05:44] [INFO ] Flatten gal took : 33 ms
[2021-05-14 00:05:44] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13466927418032873518.gal : 5 ms
[2021-05-14 00:05:44] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3038716111840758357.prop : 1 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/ReachabilityCardinality13466927418032873518.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality3038716111840758357.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/ReachabilityCardinality13466927418032873518.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality3038716111840758357.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality3038716111840758357.prop.
SDD proceeding with computation,225 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,225 properties remain. new max is 8
SDD size :5 after 12
SDD proceeding with computation,225 properties remain. new max is 16
SDD size :12 after 13
SDD proceeding with computation,225 properties remain. new max is 32
SDD size :13 after 25
SDD proceeding with computation,225 properties remain. new max is 64
SDD size :25 after 32
SDD proceeding with computation,225 properties remain. new max is 128
SDD size :32 after 99
SDD proceeding with computation,225 properties remain. new max is 256
SDD size :99 after 140
SDD proceeding with computation,225 properties remain. new max is 512
SDD size :140 after 315
SDD proceeding with computation,225 properties remain. new max is 1024
SDD size :315 after 568
SDD proceeding with computation,225 properties remain. new max is 2048
SDD size :568 after 2246
SDD proceeding with computation,225 properties remain. new max is 4096
SDD size :2246 after 4520
SDD proceeding with computation,225 properties remain. new max is 8192
SDD size :4520 after 11280
SDD proceeding with computation,225 properties remain. new max is 16384
SDD size :11280 after 57664
Detected timeout of ITS tools.
[2021-05-14 00:05:59] [INFO ] Flatten gal took : 34 ms
[2021-05-14 00:05:59] [INFO ] Applying decomposition
[2021-05-14 00:05:59] [INFO ] Flatten gal took : 34 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/graph13398035040164964176.txt, -o, /tmp/graph13398035040164964176.bin, -w, /tmp/graph13398035040164964176.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/graph13398035040164964176.bin, -l, -1, -v, -w, /tmp/graph13398035040164964176.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-14 00:05:59] [INFO ] Decomposing Gal with order
[2021-05-14 00:06:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-14 00:06:00] [INFO ] Removed a total of 1575 redundant transitions.
[2021-05-14 00:06:00] [INFO ] Flatten gal took : 78 ms
[2021-05-14 00:06:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 414 labels/synchronizations in 22 ms.
[2021-05-14 00:06:00] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4337122917593067166.gal : 8 ms
[2021-05-14 00:06:00] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12046867178024140445.prop : 1 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/ReachabilityCardinality4337122917593067166.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12046867178024140445.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/ReachabilityCardinality4337122917593067166.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12046867178024140445.prop --nowitness
Loading property file /tmp/ReachabilityCardinality12046867178024140445.prop.
SDD proceeding with computation,225 properties remain. new max is 4
SDD size :1 after 24
SDD proceeding with computation,225 properties remain. new max is 8
SDD size :24 after 4128
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16491692421181101636
[2021-05-14 00:06:15] [INFO ] Built C files in 16ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16491692421181101636
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/ltsmin16491692421181101636]
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/ltsmin16491692421181101636] 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/ltsmin16491692421181101636] 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)
Graph (trivial) has 341 edges and 399 vertex of which 143 / 399 are part of one of the 42 SCC in 16 ms
Free SCC test removed 101 places
Drop transitions removed 202 transitions
Ensure Unique test removed 211 transitions
Reduce isomorphic transitions removed 413 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 1 place count 298 transition count 692
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 3 place count 297 transition count 692
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 3 rules applied. Total rules applied 6 place count 295 transition count 691
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 8 place count 294 transition count 690
Graph (trivial) has 47 edges and 294 vertex of which 11 / 294 are part of one of the 1 SCC in 1 ms
Free SCC test removed 10 places
Iterating global reduction 0 with 1 rules applied. Total rules applied 9 place count 284 transition count 690
Drop transitions removed 11 transitions
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 0 with 16 rules applied. Total rules applied 25 place count 284 transition count 674
Drop transitions removed 118 transitions
Redundant transition composition rules discarded 118 transitions
Iterating global reduction 1 with 118 rules applied. Total rules applied 143 place count 284 transition count 556
Free-agglomeration rule applied 10 times.
Iterating global reduction 1 with 10 rules applied. Total rules applied 153 place count 284 transition count 546
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 163 place count 274 transition count 546
Partial Free-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 2 with 3 rules applied. Total rules applied 166 place count 274 transition count 546
Applied a total of 166 rules in 68 ms. Remains 274 /399 variables (removed 125) and now considering 546/1106 (removed 560) transitions.
Running SMT prover for 225 properties.
// Phase 1: matrix 546 rows 274 cols
[2021-05-14 00:06:16] [INFO ] Computed 19 place invariants in 2 ms
[2021-05-14 00:06:17] [INFO ] [Real]Absence check using 19 positive place invariants in 5 ms returned sat
[2021-05-14 00:06:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 00:06:20] [INFO ] [Real]Absence check using state equation in 2753 ms returned unsat :0 sat :225 real:0
Attempting to minimize the solution found.
Minimization took 2618 ms.
[2021-05-14 00:06:23] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :225 real:0
[2021-05-14 00:06:23] [INFO ] Flatten gal took : 39 ms
[2021-05-14 00:06:23] [INFO ] Flatten gal took : 44 ms
[2021-05-14 00:06:23] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability4567382834013613454.gal : 5 ms
[2021-05-14 00:06:23] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability6186519872716548926.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/ReachabilityFireability4567382834013613454.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability6186519872716548926.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/ReachabilityFireability4567382834013613454.gal -t CGAL -reachable-file /tmp/ReachabilityFireability6186519872716548926.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityFireability6186519872716548926.prop.
SDD proceeding with computation,225 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,225 properties remain. new max is 8
SDD size :5 after 12
SDD proceeding with computation,225 properties remain. new max is 16
SDD size :12 after 13
SDD proceeding with computation,225 properties remain. new max is 32
SDD size :13 after 25
SDD proceeding with computation,225 properties remain. new max is 64
SDD size :25 after 32
SDD proceeding with computation,225 properties remain. new max is 128
SDD size :32 after 99
SDD proceeding with computation,225 properties remain. new max is 256
SDD size :99 after 140
SDD proceeding with computation,225 properties remain. new max is 512
SDD size :140 after 315
SDD proceeding with computation,225 properties remain. new max is 1024
SDD size :315 after 568
SDD proceeding with computation,225 properties remain. new max is 2048
SDD size :568 after 2246
SDD proceeding with computation,225 properties remain. new max is 4096
SDD size :2246 after 4520
Detected timeout of ITS tools.
[2021-05-14 00:06:26] [INFO ] Flatten gal took : 33 ms
[2021-05-14 00:06:26] [INFO ] Applying decomposition
[2021-05-14 00:06:26] [INFO ] Flatten gal took : 60 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/graph7590803997974326486.txt, -o, /tmp/graph7590803997974326486.bin, -w, /tmp/graph7590803997974326486.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/graph7590803997974326486.bin, -l, -1, -v, -w, /tmp/graph7590803997974326486.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-14 00:06:26] [INFO ] Decomposing Gal with order
[2021-05-14 00:06:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-14 00:06:26] [INFO ] Removed a total of 1575 redundant transitions.
[2021-05-14 00:06:26] [INFO ] Flatten gal took : 78 ms
[2021-05-14 00:06:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 664 labels/synchronizations in 26 ms.
[2021-05-14 00:06:26] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability13031521433711871945.gal : 7 ms
[2021-05-14 00:06:26] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability7206343022403482983.prop : 1 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/ReachabilityFireability13031521433711871945.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability7206343022403482983.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/ReachabilityFireability13031521433711871945.gal -t CGAL -reachable-file /tmp/ReachabilityFireability7206343022403482983.prop --nowitness
Loading property file /tmp/ReachabilityFireability7206343022403482983.prop.
SDD proceeding with computation,225 properties remain. new max is 4
SDD size :1 after 36
SDD proceeding with computation,225 properties remain. new max is 8
SDD size :36 after 116
SDD proceeding with computation,225 properties remain. new max is 16
SDD size :116 after 296
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin8841173745288557657
[2021-05-14 00:06:29] [INFO ] Built C files in 12ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8841173745288557657
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/ltsmin8841173745288557657]
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/ltsmin8841173745288557657] 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/ltsmin8841173745288557657] 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)
[2021-05-14 00:06:30] [INFO ] Flatten gal took : 61 ms
[2021-05-14 00:06:31] [INFO ] Flatten gal took : 61 ms
[2021-05-14 00:06:31] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability13028169842975485517.gal : 5 ms
[2021-05-14 00:06:31] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability15971338937216722986.prop : 1 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/ReachabilityFireability13028169842975485517.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability15971338937216722986.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/ReachabilityFireability13028169842975485517.gal -t CGAL -reachable-file /tmp/ReachabilityFireability15971338937216722986.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityFireability15971338937216722986.prop.
SDD proceeding with computation,225 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,225 properties remain. new max is 8
SDD size :5 after 12
SDD proceeding with computation,225 properties remain. new max is 16
SDD size :12 after 13
SDD proceeding with computation,225 properties remain. new max is 32
SDD size :13 after 25
SDD proceeding with computation,225 properties remain. new max is 64
SDD size :25 after 32
SDD proceeding with computation,225 properties remain. new max is 128
SDD size :32 after 99
SDD proceeding with computation,225 properties remain. new max is 256
SDD size :99 after 140
SDD proceeding with computation,225 properties remain. new max is 512
SDD size :140 after 315
SDD proceeding with computation,225 properties remain. new max is 1024
SDD size :315 after 568
SDD proceeding with computation,225 properties remain. new max is 2048
SDD size :568 after 2246
SDD proceeding with computation,225 properties remain. new max is 4096
SDD size :2246 after 4520
SDD proceeding with computation,225 properties remain. new max is 8192
SDD size :4520 after 11280
SDD proceeding with computation,225 properties remain. new max is 16384
SDD size :11280 after 57664
SDD proceeding with computation,225 properties remain. new max is 32768
SDD size :57664 after 166396
Detected timeout of ITS tools.
[2021-05-14 00:07:01] [INFO ] Flatten gal took : 31 ms
[2021-05-14 00:07:01] [INFO ] Applying decomposition
[2021-05-14 00:07:01] [INFO ] Flatten gal took : 31 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/graph12567120479123510837.txt, -o, /tmp/graph12567120479123510837.bin, -w, /tmp/graph12567120479123510837.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/graph12567120479123510837.bin, -l, -1, -v, -w, /tmp/graph12567120479123510837.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-14 00:07:01] [INFO ] Decomposing Gal with order
[2021-05-14 00:07:01] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-14 00:07:01] [INFO ] Removed a total of 1575 redundant transitions.
[2021-05-14 00:07:01] [INFO ] Flatten gal took : 80 ms
[2021-05-14 00:07:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 404 labels/synchronizations in 16 ms.
[2021-05-14 00:07:01] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability14059930835690454017.gal : 7 ms
[2021-05-14 00:07:01] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability14558131048697232381.prop : 1 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/ReachabilityFireability14059930835690454017.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability14558131048697232381.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/ReachabilityFireability14059930835690454017.gal -t CGAL -reachable-file /tmp/ReachabilityFireability14558131048697232381.prop --nowitness
Loading property file /tmp/ReachabilityFireability14558131048697232381.prop.
Reachability property qltransition_1086 is true.
Reachability property qltransition_1085 is true.
Reachability property qltransition_1064 is true.
Reachability property qltransition_796 is true.
Reachability property qltransition_793 is true.
Reachability property qltransition_792 is true.
Reachability property qltransition_787 is true.
Reachability property qltransition_784 is true.
Reachability property qltransition_746 is true.
Reachability property qltransition_745 is true.
Reachability property qltransition_742 is true.
Reachability property qltransition_740 is true.
Reachability property qltransition_739 is true.
Reachability property qltransition_738 is true.
Reachability property qltransition_737 is true.
Reachability property qltransition_736 is true.
Reachability property qltransition_719 is true.
Reachability property qltransition_717 is true.
Reachability property qltransition_713 is true.
Reachability property qltransition_708 is true.
Reachability property qltransition_700 is true.
Reachability property qltransition_698 is true.
Reachability property qltransition_697 is true.
Reachability property qltransition_696 is true.
Reachability property qltransition_693 is true.
Reachability property qltransition_692 is true.
Reachability property qltransition_689 is true.
Reachability property qltransition_679 is true.
Reachability property qltransition_674 is true.
Reachability property qltransition_652 is true.
Reachability property qltransition_649 is true.
Reachability property qltransition_637 is true.
Reachability property qltransition_636 is true.
Reachability property qltransition_634 is true.
Reachability property qltransition_630 is true.
Reachability property qltransition_624 is true.
Reachability property qltransition_615 is true.
Reachability property qltransition_614 is true.
Reachability property qltransition_613 is true.
Reachability property qltransition_573 is true.
Reachability property qltransition_572 is true.
Reachability property qltransition_561 is true.
Reachability property qltransition_560 is true.
Reachability property qltransition_550 is true.
Reachability property qltransition_547 is true.
Reachability property qltransition_511 is true.
Reachability property qltransition_509 is true.
Reachability property qltransition_508 is true.
Reachability property qltransition_505 is true.
Reachability property qltransition_504 is true.
Reachability property qltransition_495 is true.
Reachability property qltransition_494 is true.
Reachability property qltransition_491 is true.
Reachability property qltransition_490 is true.
Reachability property qltransition_487 is true.
Reachability property qltransition_486 is true.
Reachability property qltransition_391 is true.
Reachability property qltransition_386 is true.
SDD proceeding with computation,167 properties remain. new max is 2
SDD size :1 after 4.39472e+06
Reachability property qltransition_695 is true.
Reachability property qltransition_676 is true.
Reachability property qltransition_639 is true.
Reachability property qltransition_506 is true.
SDD proceeding with computation,163 properties remain. new max is 2
SDD size :4.39472e+06 after 6.60019e+06
SDD proceeding with computation,163 properties remain. new max is 4
SDD size :6.60019e+06 after 6.60019e+06
Reachability property qltransition_741 is true.
Reachability property qltransition_651 is true.
SDD proceeding with computation,161 properties remain. new max is 4
SDD size :6.60019e+06 after 2.49583e+07
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin4426364039102899952
[2021-05-14 00:07:31] [INFO ] Built C files in 11ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4426364039102899952
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/ltsmin4426364039102899952]
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/ltsmin4426364039102899952] killed by timeout after 3 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/ltsmin4426364039102899952] killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
[2021-05-14 00:07:34] [INFO ] Flatten gal took : 39 ms
[2021-05-14 00:07:34] [INFO ] Flatten gal took : 30 ms
[2021-05-14 00:07:34] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability7381919039526670225.gal : 3 ms
[2021-05-14 00:07:34] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability1228185084190847642.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/ReachabilityFireability7381919039526670225.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability1228185084190847642.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/ReachabilityFireability7381919039526670225.gal -t CGAL -reachable-file /tmp/ReachabilityFireability1228185084190847642.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityFireability1228185084190847642.prop.
SDD proceeding with computation,161 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,161 properties remain. new max is 8
SDD size :5 after 12
SDD proceeding with computation,161 properties remain. new max is 16
SDD size :12 after 13
SDD proceeding with computation,161 properties remain. new max is 32
SDD size :13 after 25
SDD proceeding with computation,161 properties remain. new max is 64
SDD size :25 after 32
SDD proceeding with computation,161 properties remain. new max is 128
SDD size :32 after 99
SDD proceeding with computation,161 properties remain. new max is 256
SDD size :99 after 140
SDD proceeding with computation,161 properties remain. new max is 512
SDD size :140 after 315
SDD proceeding with computation,161 properties remain. new max is 1024
SDD size :315 after 568
SDD proceeding with computation,161 properties remain. new max is 2048
SDD size :568 after 2246
SDD proceeding with computation,161 properties remain. new max is 4096
SDD size :2246 after 4520
SDD proceeding with computation,161 properties remain. new max is 8192
SDD size :4520 after 11280
SDD proceeding with computation,161 properties remain. new max is 16384
SDD size :11280 after 57664
SDD proceeding with computation,161 properties remain. new max is 32768
SDD size :57664 after 166396
Reachability property qltransition_702 is true.
Reachability property qltransition_571 is true.
Reachability property qltransition_397 is true.
SDD proceeding with computation,158 properties remain. new max is 32768
SDD size :166396 after 324581
Reachability property qltransition_632 is true.
SDD proceeding with computation,157 properties remain. new max is 32768
SDD size :324581 after 540816
Reachability property qltransition_790 is true.
Reachability property qltransition_672 is true.
Reachability property qltransition_633 is true.
SDD proceeding with computation,154 properties remain. new max is 32768
SDD size :540816 after 2.06008e+06
SDD proceeding with computation,154 properties remain. new max is 65536
SDD size :2.06008e+06 after 2.89356e+06
SDD proceeding with computation,154 properties remain. new max is 131072
SDD size :2.89356e+06 after 4.34572e+06
Detected timeout of ITS tools.
[2021-05-14 00:12:34] [INFO ] Flatten gal took : 31 ms
[2021-05-14 00:12:34] [INFO ] Applying decomposition
[2021-05-14 00:12:34] [INFO ] Flatten gal took : 29 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/graph14732195673273454029.txt, -o, /tmp/graph14732195673273454029.bin, -w, /tmp/graph14732195673273454029.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/graph14732195673273454029.bin, -l, -1, -v, -w, /tmp/graph14732195673273454029.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-14 00:12:34] [INFO ] Decomposing Gal with order
[2021-05-14 00:12:34] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-14 00:12:34] [INFO ] Removed a total of 1575 redundant transitions.
[2021-05-14 00:12:34] [INFO ] Flatten gal took : 65 ms
[2021-05-14 00:12:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 410 labels/synchronizations in 15 ms.
[2021-05-14 00:12:34] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability14878177061557834822.gal : 7 ms
[2021-05-14 00:12:34] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability16253310971471679684.prop : 1 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/ReachabilityFireability14878177061557834822.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability16253310971471679684.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/ReachabilityFireability14878177061557834822.gal -t CGAL -reachable-file /tmp/ReachabilityFireability16253310971471679684.prop --nowitness
Loading property file /tmp/ReachabilityFireability16253310971471679684.prop.
SDD proceeding with computation,154 properties remain. new max is 4
SDD size :1 after 448490
Reachability property qltransition_1095 is true.
Reachability property qltransition_1092 is true.
Reachability property qltransition_1066 is true.
Reachability property qltransition_791 is true.
Reachability property qltransition_744 is true.
Reachability property qltransition_743 is true.
SDD proceeding with computation,148 properties remain. new max is 4
SDD size :2.64485e+08 after 2.64485e+08
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin3176612034748179879
[2021-05-14 00:17:35] [INFO ] Built C files in 12ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3176612034748179879
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/ltsmin3176612034748179879]
Compilation finished in 6429 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/tmp/ltsmin3176612034748179879]
Link finished in 51 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/pins2lts-mc-linux64, ./gal.so, --threads=8, --when, -i, qltransition_135==true], workingDir=/tmp/ltsmin3176612034748179879]
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
[2021-05-14 00:22:35] [INFO ] Flatten gal took : 29 ms
[2021-05-14 00:22:35] [INFO ] Flatten gal took : 28 ms
[2021-05-14 00:22:35] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability9607911332778269834.gal : 3 ms
[2021-05-14 00:22:35] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability4418359922039611335.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/ReachabilityFireability9607911332778269834.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability4418359922039611335.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/ReachabilityFireability9607911332778269834.gal -t CGAL -reachable-file /tmp/ReachabilityFireability4418359922039611335.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityFireability4418359922039611335.prop.
SDD proceeding with computation,148 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,148 properties remain. new max is 8
SDD size :5 after 12
SDD proceeding with computation,148 properties remain. new max is 16
SDD size :12 after 13
SDD proceeding with computation,148 properties remain. new max is 32
SDD size :13 after 25
SDD proceeding with computation,148 properties remain. new max is 64
SDD size :25 after 32
SDD proceeding with computation,148 properties remain. new max is 128
SDD size :32 after 99
SDD proceeding with computation,148 properties remain. new max is 256
SDD size :99 after 140
SDD proceeding with computation,148 properties remain. new max is 512
SDD size :140 after 315
SDD proceeding with computation,148 properties remain. new max is 1024
SDD size :315 after 568
SDD proceeding with computation,148 properties remain. new max is 2048
SDD size :568 after 2246
SDD proceeding with computation,148 properties remain. new max is 4096
SDD size :2246 after 4520
SDD proceeding with computation,148 properties remain. new max is 8192
SDD size :4520 after 11280
SDD proceeding with computation,148 properties remain. new max is 16384
SDD size :11280 after 57664
SDD proceeding with computation,148 properties remain. new max is 32768
SDD size :57664 after 166396
SDD proceeding with computation,148 properties remain. new max is 65536
SDD size :166396 after 324581
SDD proceeding with computation,148 properties remain. new max is 131072
SDD size :324581 after 2.10021e+06
SDD proceeding with computation,148 properties remain. new max is 262144
SDD size :2.10021e+06 after 4.561e+06
Reachability property qltransition_570 is true.
SDD proceeding with computation,147 properties remain. new max is 262144
SDD size :4.561e+06 after 8.53019e+06

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -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 QuasiLiveness -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="Peterson-PT-6"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is Peterson-PT-6, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r147-tall-162089138200397"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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