About the Execution of 2021-gold for ShieldPPPt-PT-100A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5739.128 | 1800000.00 | 1951203.00 | 3934.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r234-tall-165286038400432.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is ShieldPPPt-PT-100A, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r234-tall-165286038400432
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 904K
-rw-r--r-- 1 mcc users 7.0K Apr 29 13:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Apr 29 13:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Apr 29 13:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Apr 29 13:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K May 9 08:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 9 08:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 9 08:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 9 08:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 9 08:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 9 08:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 685K May 10 09:34 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 1653035388947
Running Version 0
[2022-05-20 08:29:50] [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]
[2022-05-20 08:29:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-20 08:29:50] [INFO ] Load time of PNML (sax parser for PT used): 149 ms
[2022-05-20 08:29:51] [INFO ] Transformed 2503 places.
[2022-05-20 08:29:51] [INFO ] Transformed 1803 transitions.
[2022-05-20 08:29:51] [INFO ] Found NUPN structural information;
[2022-05-20 08:29:51] [INFO ] Parsed PT model containing 2503 places and 1803 transitions in 311 ms.
Starting structural reductions, iteration 0 : 2503/2503 places, 1803/1803 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 2503 transition count 1802
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 24 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 1 with 4 rules applied. Total rules applied 5 place count 2501 transition count 1800
Applied a total of 5 rules in 491 ms. Remains 2501 /2503 variables (removed 2) and now considering 1800/1803 (removed 3) transitions.
// Phase 1: matrix 1800 rows 2501 cols
[2022-05-20 08:29:51] [INFO ] Computed 1101 place invariants in 34 ms
[2022-05-20 08:29:53] [INFO ] Implicit Places using invariants in 1433 ms returned []
// Phase 1: matrix 1800 rows 2501 cols
[2022-05-20 08:29:53] [INFO ] Computed 1101 place invariants in 10 ms
[2022-05-20 08:29:53] [INFO ] State equation strengthened by 2 read => feed constraints.
[2022-05-20 08:29:54] [INFO ] Implicit Places using invariants and state equation in 1762 ms returned []
Implicit Place search using SMT with State Equation took 3234 ms to find 0 implicit places.
// Phase 1: matrix 1800 rows 2501 cols
[2022-05-20 08:29:54] [INFO ] Computed 1101 place invariants in 7 ms
[2022-05-20 08:29:55] [INFO ] Dead Transitions using invariants and state equation in 1112 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2501/2503 places, 1800/1803 transitions.
Discarding 399 transitions out of 1800. Remains 1401
[2022-05-20 08:29:56] [INFO ] Initial state test concluded for 1 properties.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 1191 ms. (steps per millisecond=8 ) properties (out of 1400) seen :215
Running SMT prover for 1185 properties.
// Phase 1: matrix 1800 rows 2501 cols
[2022-05-20 08:29:57] [INFO ] Computed 1101 place invariants in 6 ms
[2022-05-20 08:30:22] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 1185 Parikh solutions to 1 different solutions.
Support contains 2123 out of 2501 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2501/2501 places, 1800/1800 transitions.
Partial Free-agglomeration rule applied 59 times.
Drop transitions removed 59 transitions
Iterating global reduction 0 with 59 rules applied. Total rules applied 59 place count 2501 transition count 1800
Applied a total of 59 rules in 126 ms. Remains 2501 /2501 variables (removed 0) and now considering 1800/1800 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2501/2501 places, 1800/1800 transitions.
[2022-05-20 08:30:23] [INFO ] Flatten gal took : 308 ms
[2022-05-20 08:30:23] [INFO ] Flatten gal took : 251 ms
[2022-05-20 08:30:23] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13555411095202659897.gal : 46 ms
[2022-05-20 08:30:23] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8095412755801777460.prop : 6 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/ReachabilityCardinality13555411095202659897.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality8095412755801777460.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/ReachabilityCardinality13555411095202659897.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality8095412755801777460.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality8095412755801777460.prop.
SDD proceeding with computation,1185 properties remain. new max is 4
SDD size :2 after 6
SDD proceeding with computation,1185 properties remain. new max is 8
SDD size :6 after 14
SDD proceeding with computation,1185 properties remain. new max is 16
SDD size :14 after 27
SDD proceeding with computation,1185 properties remain. new max is 32
SDD size :27 after 53
Reachability property qltransition_1199 is true.
Reachability property qltransition_1194 is true.
Reachability property qltransition_1190 is true.
Reachability property qltransition_1185 is true.
Reachability property qltransition_1181 is true.
Reachability property qltransition_1176 is true.
Reachability property qltransition_1172 is true.
Reachability property qltransition_1167 is true.
Reachability property qltransition_1163 is true.
Reachability property qltransition_1158 is true.
Reachability property qltransition_1154 is true.
Reachability property qltransition_1149 is true.
Reachability property qltransition_1145 is true.
Reachability property qltransition_1140 is true.
Reachability property qltransition_1136 is true.
Reachability property qltransition_1131 is true.
Reachability property qltransition_1127 is true.
Reachability property qltransition_1122 is true.
Reachability property qltransition_1118 is true.
Reachability property qltransition_1113 is true.
Reachability property qltransition_1109 is true.
Reachability property qltransition_1104 is true.
Reachability property qltransition_1100 is true.
Reachability property qltransition_1095 is true.
Reachability property qltransition_1091 is true.
Reachability property qltransition_1086 is true.
Reachability property qltransition_1082 is true.
Reachability property qltransition_1077 is true.
Reachability property qltransition_1073 is true.
Reachability property qltransition_1068 is true.
Reachability property qltransition_876 is true.
Reachability property qltransition_874 is true.
Reachability property qltransition_872 is true.
Reachability property qltransition_870 is true.
Reachability property qltransition_868 is true.
Reachability property qltransition_866 is true.
Reachability property qltransition_864 is true.
Reachability property qltransition_731 is true.
Reachability property qltransition_729 is true.
Reachability property qltransition_727 is true.
Reachability property qltransition_725 is true.
Reachability property qltransition_723 is true.
Reachability property qltransition_721 is true.
Reachability property qltransition_719 is true.
Reachability property qltransition_717 is true.
SDD proceeding with computation,1140 properties remain. new max is 32
SDD size :53 after 102
Detected timeout of ITS tools.
[2022-05-20 08:30:38] [INFO ] Flatten gal took : 135 ms
[2022-05-20 08:30:38] [INFO ] Applying decomposition
[2022-05-20 08:30:38] [INFO ] Flatten gal took : 135 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/graph17687099537515480946.txt, -o, /tmp/graph17687099537515480946.bin, -w, /tmp/graph17687099537515480946.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/graph17687099537515480946.bin, -l, -1, -v, -w, /tmp/graph17687099537515480946.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-20 08:30:39] [INFO ] Decomposing Gal with order
[2022-05-20 08:30:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-20 08:30:39] [INFO ] Removed a total of 341 redundant transitions.
[2022-05-20 08:30:39] [INFO ] Flatten gal took : 210 ms
[2022-05-20 08:30:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 52 labels/synchronizations in 303 ms.
[2022-05-20 08:30:40] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5786615970024134462.gal : 29 ms
[2022-05-20 08:30:40] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2493327370204469664.prop : 6 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/ReachabilityCardinality5786615970024134462.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2493327370204469664.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/ReachabilityCardinality5786615970024134462.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2493327370204469664.prop --nowitness
Loading property file /tmp/ReachabilityCardinality2493327370204469664.prop.
SDD proceeding with computation,1140 properties remain. new max is 4
SDD size :1 after 22
SDD proceeding with computation,1140 properties remain. new max is 8
SDD size :22 after 22
SDD proceeding with computation,1140 properties remain. new max is 16
SDD size :22 after 22
SDD proceeding with computation,1140 properties remain. new max is 32
SDD size :22 after 2.74845e+07
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin9262621106307533448
[2022-05-20 08:30:55] [INFO ] Built C files in 80ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9262621106307533448
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/ltsmin9262621106307533448]
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/ltsmin9262621106307533448] 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/ltsmin9262621106307533448] 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)
Interrupted random walk after 300759 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=10 ) properties seen :{219=1, 221=1, 222=1, 224=1, 225=1, 226=1, 227=1, 228=1, 229=1, 230=1, 231=1, 232=1, 233=1, 234=1, 235=1, 236=1, 237=1, 238=1, 239=1, 240=1, 241=1, 242=1, 243=1, 244=1, 245=1, 246=1, 247=1, 248=1, 249=1, 250=1, 251=1, 252=1, 253=1, 254=1, 255=1, 256=1, 257=1, 258=1, 259=1, 260=1, 261=1, 262=1, 263=1, 404=1, 405=1, 406=1, 407=1, 408=1, 409=1, 410=1, 411=1, 412=1, 413=1, 414=1, 415=1, 416=1, 417=1, 418=1, 419=1, 420=1, 421=1, 422=1, 423=1, 424=1, 425=1, 426=1, 427=1, 428=1, 429=1, 430=1, 431=1, 432=1, 433=1, 434=1, 435=1, 436=1, 437=1, 438=1, 439=1, 440=1, 441=1, 442=1, 443=1, 444=1, 445=1, 446=1, 447=1, 448=1, 449=1, 450=1, 451=1, 452=1, 453=1, 454=1, 455=1, 456=1, 457=1, 458=1, 459=1, 460=1, 461=1, 462=1, 463=1, 464=1, 465=1, 466=1, 467=1, 468=1, 469=1, 470=1, 471=1, 472=1, 473=1, 474=1, 475=1, 476=1, 477=1, 478=1, 479=1, 480=1, 481=1, 482=1, 483=1, 484=1, 486=1, 487=1, 488=1, 490=1, 491=1, 493=1, 494=1, 495=1}
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1008) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 1008) seen :0
Running SMT prover for 1008 properties.
// Phase 1: matrix 1800 rows 2501 cols
[2022-05-20 08:31:28] [INFO ] Computed 1101 place invariants in 13 ms
[2022-05-20 08:32:07] [INFO ] [Real]Absence check using 1101 positive place invariants in 202 ms returned sat
[2022-05-20 08:32:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-20 08:34:02] [INFO ] [Real]Absence check using state equation in 75558 ms returned unsat :0 sat :189 real:819
[2022-05-20 08:34:02] [INFO ] State equation strengthened by 19 read => feed constraints.
[2022-05-20 08:34:02] [INFO ] [Real]Added 19 Read/Feed constraints in 1 ms returned sat
[2022-05-20 08:34:18] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:1008
[2022-05-20 08:34:56] [INFO ] [Nat]Absence check using 1101 positive place invariants in 209 ms returned sat
[2022-05-20 08:35:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-20 08:37:03] [INFO ] [Nat]Absence check using state equation in 87742 ms returned unsat :0 sat :1008
[2022-05-20 08:37:03] [INFO ] [Nat]Added 19 Read/Feed constraints in 4 ms returned sat
Attempting to minimize the solution found.
Minimization took 3 ms.
[2022-05-20 08:38:03] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :1007
Fused 1008 Parikh solutions to 879 different solutions.
Incomplete Parikh walk after 2254 steps, including 170 resets, run finished after 224 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2263 steps, including 162 resets, run finished after 224 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2265 steps, including 178 resets, run finished after 237 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2269 steps, including 176 resets, run finished after 234 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2271 steps, including 182 resets, run finished after 226 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2270 steps, including 170 resets, run finished after 224 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2279 steps, including 172 resets, run finished after 226 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2270 steps, including 177 resets, run finished after 225 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2268 steps, including 181 resets, run finished after 225 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2270 steps, including 184 resets, run finished after 226 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2274 steps, including 177 resets, run finished after 226 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2305 steps, including 180 resets, run finished after 230 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2328 steps, including 184 resets, run finished after 229 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2327 steps, including 184 resets, run finished after 228 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2329 steps, including 182 resets, run finished after 229 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2333 steps, including 188 resets, run finished after 230 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2339 steps, including 181 resets, run finished after 230 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2338 steps, including 182 resets, run finished after 229 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2340 steps, including 178 resets, run finished after 230 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2349 steps, including 177 resets, run finished after 234 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2341 steps, including 174 resets, run finished after 230 ms. (steps per millisecond=10 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2343 steps, including 179 resets, run finished after 236 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2343 steps, including 196 resets, run finished after 236 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2345 steps, including 177 resets, run finished after 236 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2348 steps, including 186 resets, run finished after 236 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2347 steps, including 184 resets, run finished after 236 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2339 steps, including 179 resets, run finished after 235 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2339 steps, including 186 resets, run finished after 236 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2336 steps, including 186 resets, run finished after 244 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2338 steps, including 185 resets, run finished after 235 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2336 steps, including 177 resets, run finished after 234 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2341 steps, including 167 resets, run finished after 235 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2350 steps, including 182 resets, run finished after 237 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2352 steps, including 198 resets, run finished after 238 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2354 steps, including 185 resets, run finished after 236 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2356 steps, including 178 resets, run finished after 237 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2362 steps, including 183 resets, run finished after 241 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2361 steps, including 192 resets, run finished after 237 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2378 steps, including 173 resets, run finished after 239 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2363 steps, including 179 resets, run finished after 237 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2365 steps, including 183 resets, run finished after 237 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2364 steps, including 193 resets, run finished after 238 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2366 steps, including 179 resets, run finished after 238 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2365 steps, including 182 resets, run finished after 238 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2371 steps, including 172 resets, run finished after 238 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2363 steps, including 190 resets, run finished after 243 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2356 steps, including 178 resets, run finished after 236 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2360 steps, including 187 resets, run finished after 237 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2359 steps, including 208 resets, run finished after 238 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2353 steps, including 178 resets, run finished after 236 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2335 steps, including 182 resets, run finished after 235 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2334 steps, including 190 resets, run finished after 235 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2345 steps, including 186 resets, run finished after 235 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2351 steps, including 182 resets, run finished after 236 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2296 steps, including 168 resets, run finished after 235 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2300 steps, including 184 resets, run finished after 231 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2304 steps, including 192 resets, run finished after 233 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2251 steps, including 171 resets, run finished after 227 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2254 steps, including 176 resets, run finished after 227 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2253 steps, including 182 resets, run finished after 228 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2231 steps, including 176 resets, run finished after 225 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2233 steps, including 172 resets, run finished after 225 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2230 steps, including 183 resets, run finished after 225 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2228 steps, including 168 resets, run finished after 233 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2230 steps, including 171 resets, run finished after 225 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2234 steps, including 166 resets, run finished after 225 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2240 steps, including 178 resets, run finished after 226 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2244 steps, including 184 resets, run finished after 227 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2243 steps, including 171 resets, run finished after 226 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2256 steps, including 176 resets, run finished after 227 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2258 steps, including 179 resets, run finished after 228 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2256 steps, including 166 resets, run finished after 227 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2255 steps, including 181 resets, run finished after 231 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2267 steps, including 175 resets, run finished after 229 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2269 steps, including 182 resets, run finished after 229 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2273 steps, including 182 resets, run finished after 229 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2275 steps, including 172 resets, run finished after 229 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2277 steps, including 179 resets, run finished after 229 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2290 steps, including 174 resets, run finished after 230 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2287 steps, including 161 resets, run finished after 229 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2289 steps, including 192 resets, run finished after 252 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2289 steps, including 184 resets, run finished after 230 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2289 steps, including 173 resets, run finished after 230 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2288 steps, including 179 resets, run finished after 231 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2290 steps, including 186 resets, run finished after 231 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2299 steps, including 176 resets, run finished after 232 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2279 steps, including 171 resets, run finished after 229 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2281 steps, including 182 resets, run finished after 231 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2283 steps, including 179 resets, run finished after 230 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2291 steps, including 178 resets, run finished after 239 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2285 steps, including 187 resets, run finished after 232 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2290 steps, including 174 resets, run finished after 230 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2292 steps, including 186 resets, run finished after 231 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2290 steps, including 181 resets, run finished after 232 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2289 steps, including 184 resets, run finished after 232 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2291 steps, including 193 resets, run finished after 233 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2300 steps, including 176 resets, run finished after 231 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2300 steps, including 184 resets, run finished after 232 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2299 steps, including 171 resets, run finished after 239 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2291 steps, including 178 resets, run finished after 230 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2296 steps, including 178 resets, run finished after 231 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2302 steps, including 177 resets, run finished after 233 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2370 steps, including 187 resets, run finished after 239 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2328 steps, including 180 resets, run finished after 234 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2289 steps, including 174 resets, run finished after 230 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2288 steps, including 171 resets, run finished after 230 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2331 steps, including 167 resets, run finished after 234 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2307 steps, including 185 resets, run finished after 255 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2311 steps, including 177 resets, run finished after 232 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2315 steps, including 166 resets, run finished after 232 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2295 steps, including 178 resets, run finished after 231 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2272 steps, including 166 resets, run finished after 228 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2274 steps, including 172 resets, run finished after 229 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2278 steps, including 184 resets, run finished after 229 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2275 steps, including 172 resets, run finished after 228 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2275 steps, including 176 resets, run finished after 229 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2311 steps, including 194 resets, run finished after 240 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2314 steps, including 184 resets, run finished after 234 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2313 steps, including 181 resets, run finished after 233 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2338 steps, including 181 resets, run finished after 236 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2345 steps, including 175 resets, run finished after 236 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2344 steps, including 185 resets, run finished after 236 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2350 steps, including 177 resets, run finished after 237 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2354 steps, including 192 resets, run finished after 238 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2358 steps, including 178 resets, run finished after 237 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2360 steps, including 174 resets, run finished after 253 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2369 steps, including 178 resets, run finished after 238 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2371 steps, including 178 resets, run finished after 238 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2384 steps, including 174 resets, run finished after 239 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2381 steps, including 191 resets, run finished after 240 ms. (steps per millisecond=9 ) properties (out of 1008) seen :0 could not realise parikh vector
Support contains 1811 out of 2501 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2501/2501 places, 1800/1800 transitions.
Partial Free-agglomeration rule applied 46 times.
Drop transitions removed 46 transitions
Iterating global reduction 0 with 46 rules applied. Total rules applied 46 place count 2501 transition count 1800
Applied a total of 46 rules in 84 ms. Remains 2501 /2501 variables (removed 0) and now considering 1800/1800 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2501/2501 places, 1800/1800 transitions.
[2022-05-20 08:38:33] [INFO ] Flatten gal took : 143 ms
[2022-05-20 08:38:33] [INFO ] Flatten gal took : 138 ms
[2022-05-20 08:38:34] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15351764755918668144.gal : 40 ms
[2022-05-20 08:38:34] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5301960212228319467.prop : 3 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/ReachabilityCardinality15351764755918668144.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5301960212228319467.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/ReachabilityCardinality15351764755918668144.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5301960212228319467.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality5301960212228319467.prop.
SDD proceeding with computation,1008 properties remain. new max is 4
SDD size :2 after 6
SDD proceeding with computation,1008 properties remain. new max is 8
SDD size :6 after 14
SDD proceeding with computation,1008 properties remain. new max is 16
SDD size :14 after 27
SDD proceeding with computation,1008 properties remain. new max is 32
SDD size :27 after 53
SDD proceeding with computation,1008 properties remain. new max is 64
SDD size :53 after 102
Reachability property qltransition_1496 is true.
Reachability property qltransition_1491 is true.
Reachability property qltransition_1487 is true.
Reachability property qltransition_1482 is true.
Reachability property qltransition_1478 is true.
Reachability property qltransition_1473 is true.
Reachability property qltransition_1469 is true.
Reachability property qltransition_1464 is true.
Reachability property qltransition_1460 is true.
Reachability property qltransition_1455 is true.
Reachability property qltransition_1451 is true.
Detected timeout of ITS tools.
[2022-05-20 08:38:49] [INFO ] Flatten gal took : 116 ms
[2022-05-20 08:38:49] [INFO ] Applying decomposition
[2022-05-20 08:38:49] [INFO ] Flatten gal took : 116 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/graph16091767861984894299.txt, -o, /tmp/graph16091767861984894299.bin, -w, /tmp/graph16091767861984894299.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/graph16091767861984894299.bin, -l, -1, -v, -w, /tmp/graph16091767861984894299.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-20 08:38:49] [INFO ] Decomposing Gal with order
[2022-05-20 08:38:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-20 08:38:50] [INFO ] Removed a total of 377 redundant transitions.
[2022-05-20 08:38:50] [INFO ] Flatten gal took : 118 ms
[2022-05-20 08:38:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 48 labels/synchronizations in 150 ms.
[2022-05-20 08:38:50] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11459992782898882236.gal : 16 ms
[2022-05-20 08:38:50] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16546776620301574221.prop : 3 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/ReachabilityCardinality11459992782898882236.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16546776620301574221.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/ReachabilityCardinality11459992782898882236.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16546776620301574221.prop --nowitness
Loading property file /tmp/ReachabilityCardinality16546776620301574221.prop.
SDD proceeding with computation,997 properties remain. new max is 4
SDD size :1 after 1367
SDD proceeding with computation,997 properties remain. new max is 8
SDD size :1367 after 1367
SDD proceeding with computation,997 properties remain. new max is 16
SDD size :1367 after 1367
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin1262914363191089466
[2022-05-20 08:39:05] [INFO ] Built C files in 42ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1262914363191089466
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/ltsmin1262914363191089466]
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/ltsmin1262914363191089466] 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/ltsmin1262914363191089466] 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)
Interrupted random walk after 330315 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=11 ) properties seen :{206=1, 209=1, 210=1, 212=1, 213=1, 214=1, 215=1, 216=1, 217=1, 218=1, 220=1, 221=1, 359=1, 360=1, 361=1, 362=1, 365=1, 366=1, 367=1, 368=1, 369=1, 370=1, 371=1, 372=1, 373=1, 374=1, 375=1, 376=1, 377=1, 378=1, 379=1, 380=1, 382=1, 383=1, 384=1, 389=1, 390=1, 391=1, 396=1, 397=1, 398=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=37 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=38 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=40 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=41 ) properties (out of 956) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 956) seen :0
Interrupted probabilistic random walk after 313311 steps, run timeout after 30003 ms. (steps per millisecond=10 ) properties seen :{116=1, 117=1, 119=1, 120=1, 122=1, 123=1, 125=1, 126=1, 128=1, 129=1, 131=1, 132=1, 134=1, 135=1, 137=1, 138=1, 140=1, 141=1, 143=1, 144=1, 146=1, 147=1, 149=1, 150=1, 152=1, 153=1, 155=1, 156=1, 158=1, 159=1, 161=1, 162=1, 164=1, 165=1, 167=1, 168=1, 170=1, 171=1, 173=1, 174=1, 176=1, 177=1, 179=1, 180=1, 182=1, 183=1, 185=1, 186=1, 188=1, 189=1, 191=1, 192=1, 194=1, 195=1, 197=1, 198=1, 200=1, 201=1, 203=1, 204=1, 206=1, 210=1, 211=1, 212=1, 213=1, 214=1, 215=1, 216=1, 217=1, 218=1, 219=1, 220=1, 221=1, 222=1, 223=1, 224=1, 225=1, 226=1, 227=1, 228=1, 229=1, 230=1, 231=1, 232=1, 233=1, 234=1, 235=1, 236=1, 237=1, 238=1, 240=1, 317=1, 319=1, 320=1, 321=1, 322=1, 323=1, 324=1, 325=1, 326=1, 327=1, 328=1, 329=1, 330=1, 331=1, 332=1, 333=1, 334=1, 335=1, 336=1, 337=1, 338=1, 339=1, 340=1, 341=1, 342=1, 343=1, 344=1, 345=1, 346=1, 347=1, 348=1, 349=1, 350=1, 351=1, 352=1, 353=1, 354=1, 355=1, 356=1, 357=1, 358=1, 359=1, 360=1, 361=1, 362=1, 363=1, 364=1, 365=1, 366=1, 367=1, 368=1, 369=1, 370=1, 371=1, 372=1, 373=1, 374=1, 375=1, 376=1, 377=1, 378=1, 379=1, 380=1, 381=1, 382=1, 383=1, 384=1, 385=1, 386=1, 387=1, 388=1, 389=1, 390=1, 391=1, 392=1, 393=1, 394=1, 395=1, 396=1, 397=1, 398=1, 399=1, 400=1, 401=1, 402=1, 403=1, 404=1, 405=1, 406=1, 407=1, 408=1, 409=1, 410=1, 411=1, 412=1, 413=1, 414=1, 415=1, 416=1, 417=1, 418=1, 419=1, 420=1, 421=1, 422=1, 423=1, 424=1, 425=1, 426=1, 427=1, 428=1, 429=1, 430=1, 431=1, 432=1, 433=1, 434=1, 435=1, 436=1, 437=1, 438=1, 439=1, 440=1, 441=1, 442=1, 443=1, 444=1, 445=1, 446=1, 447=1, 448=1, 449=1, 450=1, 451=1, 452=1, 453=1, 454=1, 455=1, 456=1, 457=1, 458=1, 459=1, 460=1, 461=1, 462=1, 463=1, 464=1, 465=1, 466=1, 467=1, 468=1, 469=1, 470=1, 471=1, 472=1, 473=1, 474=1, 475=1, 476=1, 477=1, 478=1, 479=1, 480=1, 481=1, 482=1, 483=1, 484=1, 485=1, 486=1, 487=1, 488=1, 489=1, 490=1, 491=1, 492=1, 493=1, 494=1, 495=1, 496=1, 497=1, 498=1, 499=1, 500=1, 501=1, 502=1, 503=1, 504=1, 505=1, 506=1, 507=1, 508=1, 509=1, 510=1, 511=1, 512=1, 513=1, 514=1, 515=1, 516=1, 517=1, 518=1, 519=1, 520=1, 521=1, 522=1, 523=1, 524=1, 525=1, 526=1, 527=1, 528=1, 529=1, 530=1, 531=1, 532=1, 533=1, 534=1, 535=1, 536=1, 537=1, 538=1, 539=1, 540=1, 541=1, 542=1, 543=1, 544=1, 545=1, 546=1, 547=1, 548=1, 549=1, 550=1, 551=1, 552=1, 553=1, 554=1, 555=1, 556=1, 557=1, 558=1, 559=1, 560=1, 561=1, 562=1, 563=1, 564=1, 565=1, 566=1, 567=1, 568=1, 569=1, 570=1, 571=1, 572=1, 573=1, 574=1, 575=1, 576=1, 577=1, 578=1, 579=1, 580=1, 581=1, 582=1, 583=1, 584=1, 585=1, 586=1, 587=1, 588=1, 589=1, 590=1, 591=1, 592=1, 593=1, 594=1, 595=1, 596=1, 597=1, 598=1, 599=1, 600=1, 601=1, 602=1, 603=1, 604=1, 605=1, 606=1, 607=1, 608=1, 609=1, 611=1, 612=1, 613=1, 614=1, 616=1, 617=1, 618=1, 620=1, 621=1, 622=1}
Probabilistic random walk after 313311 steps, saw 302020 distinct states, run finished after 30003 ms. (steps per millisecond=10 ) properties seen :{116=1, 117=1, 119=1, 120=1, 122=1, 123=1, 125=1, 126=1, 128=1, 129=1, 131=1, 132=1, 134=1, 135=1, 137=1, 138=1, 140=1, 141=1, 143=1, 144=1, 146=1, 147=1, 149=1, 150=1, 152=1, 153=1, 155=1, 156=1, 158=1, 159=1, 161=1, 162=1, 164=1, 165=1, 167=1, 168=1, 170=1, 171=1, 173=1, 174=1, 176=1, 177=1, 179=1, 180=1, 182=1, 183=1, 185=1, 186=1, 188=1, 189=1, 191=1, 192=1, 194=1, 195=1, 197=1, 198=1, 200=1, 201=1, 203=1, 204=1, 206=1, 210=1, 211=1, 212=1, 213=1, 214=1, 215=1, 216=1, 217=1, 218=1, 219=1, 220=1, 221=1, 222=1, 223=1, 224=1, 225=1, 226=1, 227=1, 228=1, 229=1, 230=1, 231=1, 232=1, 233=1, 234=1, 235=1, 236=1, 237=1, 238=1, 240=1, 317=1, 319=1, 320=1, 321=1, 322=1, 323=1, 324=1, 325=1, 326=1, 327=1, 328=1, 329=1, 330=1, 331=1, 332=1, 333=1, 334=1, 335=1, 336=1, 337=1, 338=1, 339=1, 340=1, 341=1, 342=1, 343=1, 344=1, 345=1, 346=1, 347=1, 348=1, 349=1, 350=1, 351=1, 352=1, 353=1, 354=1, 355=1, 356=1, 357=1, 358=1, 359=1, 360=1, 361=1, 362=1, 363=1, 364=1, 365=1, 366=1, 367=1, 368=1, 369=1, 370=1, 371=1, 372=1, 373=1, 374=1, 375=1, 376=1, 377=1, 378=1, 379=1, 380=1, 381=1, 382=1, 383=1, 384=1, 385=1, 386=1, 387=1, 388=1, 389=1, 390=1, 391=1, 392=1, 393=1, 394=1, 395=1, 396=1, 397=1, 398=1, 399=1, 400=1, 401=1, 402=1, 403=1, 404=1, 405=1, 406=1, 407=1, 408=1, 409=1, 410=1, 411=1, 412=1, 413=1, 414=1, 415=1, 416=1, 417=1, 418=1, 419=1, 420=1, 421=1, 422=1, 423=1, 424=1, 425=1, 426=1, 427=1, 428=1, 429=1, 430=1, 431=1, 432=1, 433=1, 434=1, 435=1, 436=1, 437=1, 438=1, 439=1, 440=1, 441=1, 442=1, 443=1, 444=1, 445=1, 446=1, 447=1, 448=1, 449=1, 450=1, 451=1, 452=1, 453=1, 454=1, 455=1, 456=1, 457=1, 458=1, 459=1, 460=1, 461=1, 462=1, 463=1, 464=1, 465=1, 466=1, 467=1, 468=1, 469=1, 470=1, 471=1, 472=1, 473=1, 474=1, 475=1, 476=1, 477=1, 478=1, 479=1, 480=1, 481=1, 482=1, 483=1, 484=1, 485=1, 486=1, 487=1, 488=1, 489=1, 490=1, 491=1, 492=1, 493=1, 494=1, 495=1, 496=1, 497=1, 498=1, 499=1, 500=1, 501=1, 502=1, 503=1, 504=1, 505=1, 506=1, 507=1, 508=1, 509=1, 510=1, 511=1, 512=1, 513=1, 514=1, 515=1, 516=1, 517=1, 518=1, 519=1, 520=1, 521=1, 522=1, 523=1, 524=1, 525=1, 526=1, 527=1, 528=1, 529=1, 530=1, 531=1, 532=1, 533=1, 534=1, 535=1, 536=1, 537=1, 538=1, 539=1, 540=1, 541=1, 542=1, 543=1, 544=1, 545=1, 546=1, 547=1, 548=1, 549=1, 550=1, 551=1, 552=1, 553=1, 554=1, 555=1, 556=1, 557=1, 558=1, 559=1, 560=1, 561=1, 562=1, 563=1, 564=1, 565=1, 566=1, 567=1, 568=1, 569=1, 570=1, 571=1, 572=1, 573=1, 574=1, 575=1, 576=1, 577=1, 578=1, 579=1, 580=1, 581=1, 582=1, 583=1, 584=1, 585=1, 586=1, 587=1, 588=1, 589=1, 590=1, 591=1, 592=1, 593=1, 594=1, 595=1, 596=1, 597=1, 598=1, 599=1, 600=1, 601=1, 602=1, 603=1, 604=1, 605=1, 606=1, 607=1, 608=1, 609=1, 611=1, 612=1, 613=1, 614=1, 616=1, 617=1, 618=1, 620=1, 621=1, 622=1}
Running SMT prover for 563 properties.
// Phase 1: matrix 1800 rows 2501 cols
[2022-05-20 08:40:07] [INFO ] Computed 1101 place invariants in 9 ms
[2022-05-20 08:40:30] [INFO ] [Real]Absence check using 1101 positive place invariants in 188 ms returned sat
[2022-05-20 08:40:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-20 08:41:32] [INFO ] [Real]Absence check using state equation in 41931 ms returned unsat :0 sat :495 real:68
[2022-05-20 08:41:32] [INFO ] State equation strengthened by 29 read => feed constraints.
[2022-05-20 08:41:32] [INFO ] [Real]Added 29 Read/Feed constraints in 2 ms returned sat
[2022-05-20 08:42:13] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:563
[2022-05-20 08:42:34] [INFO ] [Nat]Absence check using 1101 positive place invariants in 200 ms returned sat
[2022-05-20 08:42:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-20 08:43:56] [INFO ] [Nat]Absence check using state equation in 59161 ms returned unsat :0 sat :563
[2022-05-20 08:43:56] [INFO ] [Nat]Added 29 Read/Feed constraints in 3 ms returned sat
Attempting to minimize the solution found.
Minimization took 49457 ms.
[2022-05-20 08:45:32] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :563
Fused 563 Parikh solutions to 469 different solutions.
Incomplete Parikh walk after 1956 steps, including 10 resets, run finished after 116 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1958 steps, including 10 resets, run finished after 113 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1960 steps, including 10 resets, run finished after 113 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1959 steps, including 10 resets, run finished after 113 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1957 steps, including 10 resets, run finished after 114 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1961 steps, including 10 resets, run finished after 114 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1963 steps, including 10 resets, run finished after 114 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2018 steps, including 10 resets, run finished after 116 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1994 steps, including 10 resets, run finished after 118 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1993 steps, including 10 resets, run finished after 119 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1999 steps, including 10 resets, run finished after 116 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2003 steps, including 10 resets, run finished after 116 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2002 steps, including 10 resets, run finished after 115 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1943 steps, including 9 resets, run finished after 113 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1928 steps, including 9 resets, run finished after 112 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1921 steps, including 9 resets, run finished after 111 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1923 steps, including 9 resets, run finished after 111 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1918 steps, including 9 resets, run finished after 111 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1922 steps, including 9 resets, run finished after 112 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1921 steps, including 9 resets, run finished after 112 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1925 steps, including 9 resets, run finished after 111 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1931 steps, including 9 resets, run finished after 111 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1974 steps, including 10 resets, run finished after 114 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1973 steps, including 10 resets, run finished after 114 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1975 steps, including 10 resets, run finished after 115 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1973 steps, including 10 resets, run finished after 114 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1970 steps, including 10 resets, run finished after 114 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1972 steps, including 10 resets, run finished after 114 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1994 steps, including 10 resets, run finished after 115 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1993 steps, including 10 resets, run finished after 116 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1996 steps, including 10 resets, run finished after 115 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1995 steps, including 10 resets, run finished after 115 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1993 steps, including 10 resets, run finished after 115 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1998 steps, including 10 resets, run finished after 117 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1997 steps, including 10 resets, run finished after 116 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1996 steps, including 10 resets, run finished after 116 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1997 steps, including 10 resets, run finished after 115 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1997 steps, including 10 resets, run finished after 115 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2001 steps, including 10 resets, run finished after 116 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2000 steps, including 10 resets, run finished after 115 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1999 steps, including 10 resets, run finished after 126 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1719 steps, including 30 resets, run finished after 101 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1718 steps, including 30 resets, run finished after 101 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1720 steps, including 30 resets, run finished after 101 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1722 steps, including 30 resets, run finished after 102 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1724 steps, including 30 resets, run finished after 102 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1723 steps, including 30 resets, run finished after 103 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1716 steps, including 30 resets, run finished after 102 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1705 steps, including 30 resets, run finished after 102 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1706 steps, including 29 resets, run finished after 101 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1678 steps, including 29 resets, run finished after 100 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1663 steps, including 29 resets, run finished after 100 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1653 steps, including 29 resets, run finished after 99 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1655 steps, including 29 resets, run finished after 99 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1657 steps, including 29 resets, run finished after 99 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1659 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1658 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1650 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1644 steps, including 29 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1648 steps, including 29 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1647 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1649 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1650 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1635 steps, including 28 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1637 steps, including 29 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1636 steps, including 29 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1638 steps, including 29 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1635 steps, including 29 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1640 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1632 steps, including 28 resets, run finished after 96 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1639 steps, including 29 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1636 steps, including 29 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1641 steps, including 29 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1646 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1649 steps, including 29 resets, run finished after 99 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1653 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1652 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1640 steps, including 29 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1653 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1655 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1654 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1656 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1662 steps, including 29 resets, run finished after 99 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1666 steps, including 29 resets, run finished after 99 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1668 steps, including 29 resets, run finished after 99 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1672 steps, including 29 resets, run finished after 108 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1658 steps, including 29 resets, run finished after 102 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1657 steps, including 29 resets, run finished after 99 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1656 steps, including 29 resets, run finished after 99 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1641 steps, including 29 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1640 steps, including 28 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1642 steps, including 29 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1610 steps, including 28 resets, run finished after 95 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1611 steps, including 28 resets, run finished after 95 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1610 steps, including 28 resets, run finished after 96 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1609 steps, including 28 resets, run finished after 96 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1782 steps, including 20 resets, run finished after 104 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1793 steps, including 21 resets, run finished after 105 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1792 steps, including 21 resets, run finished after 106 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1791 steps, including 21 resets, run finished after 105 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1790 steps, including 19 resets, run finished after 104 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1793 steps, including 21 resets, run finished after 104 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1792 steps, including 21 resets, run finished after 104 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1797 steps, including 21 resets, run finished after 105 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1752 steps, including 20 resets, run finished after 102 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1785 steps, including 20 resets, run finished after 103 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1791 steps, including 21 resets, run finished after 104 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1794 steps, including 21 resets, run finished after 104 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1770 steps, including 20 resets, run finished after 102 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1772 steps, including 20 resets, run finished after 103 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1774 steps, including 20 resets, run finished after 102 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2217 steps, including 49 resets, run finished after 132 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2216 steps, including 48 resets, run finished after 131 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1733 steps, including 4 resets, run finished after 101 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1734 steps, including 5 resets, run finished after 101 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1736 steps, including 5 resets, run finished after 102 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1735 steps, including 4 resets, run finished after 102 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1889 steps, including 35 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1790 steps, including 10 resets, run finished after 104 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1800 steps, including 10 resets, run finished after 105 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1656 steps, including 23 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1650 steps, including 23 resets, run finished after 97 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1651 steps, including 23 resets, run finished after 97 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1650 steps, including 22 resets, run finished after 97 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1642 steps, including 23 resets, run finished after 96 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1643 steps, including 23 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1637 steps, including 23 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1626 steps, including 23 resets, run finished after 96 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1625 steps, including 23 resets, run finished after 96 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1624 steps, including 23 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1626 steps, including 23 resets, run finished after 96 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1623 steps, including 23 resets, run finished after 96 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1625 steps, including 22 resets, run finished after 99 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1619 steps, including 23 resets, run finished after 97 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1615 steps, including 23 resets, run finished after 95 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1613 steps, including 23 resets, run finished after 95 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1634 steps, including 23 resets, run finished after 96 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1625 steps, including 23 resets, run finished after 95 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1611 steps, including 23 resets, run finished after 95 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1613 steps, including 22 resets, run finished after 95 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1612 steps, including 23 resets, run finished after 95 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1613 steps, including 23 resets, run finished after 94 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1611 steps, including 23 resets, run finished after 95 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1653 steps, including 8 resets, run finished after 100 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1650 steps, including 8 resets, run finished after 99 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1885 steps, including 26 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1881 steps, including 32 resets, run finished after 111 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1882 steps, including 32 resets, run finished after 110 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1876 steps, including 32 resets, run finished after 111 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1644 steps, including 49 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1643 steps, including 49 resets, run finished after 98 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1606 steps, including 14 resets, run finished after 94 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1605 steps, including 15 resets, run finished after 94 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1597 steps, including 14 resets, run finished after 94 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1590 steps, including 14 resets, run finished after 94 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1591 steps, including 14 resets, run finished after 94 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1600 steps, including 14 resets, run finished after 94 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1593 steps, including 14 resets, run finished after 94 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1594 steps, including 14 resets, run finished after 93 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1598 steps, including 14 resets, run finished after 94 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1795 steps, including 13 resets, run finished after 106 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1793 steps, including 13 resets, run finished after 105 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1791 steps, including 13 resets, run finished after 105 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1794 steps, including 13 resets, run finished after 106 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1793 steps, including 13 resets, run finished after 105 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1794 steps, including 13 resets, run finished after 105 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1764 steps, including 13 resets, run finished after 103 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1781 steps, including 13 resets, run finished after 105 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1778 steps, including 13 resets, run finished after 105 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1818 steps, including 13 resets, run finished after 107 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1815 steps, including 13 resets, run finished after 108 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1820 steps, including 13 resets, run finished after 107 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1819 steps, including 13 resets, run finished after 107 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1818 steps, including 13 resets, run finished after 107 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1803 steps, including 13 resets, run finished after 106 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1804 steps, including 13 resets, run finished after 106 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1806 steps, including 13 resets, run finished after 107 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1808 steps, including 13 resets, run finished after 108 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1796 steps, including 13 resets, run finished after 107 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1788 steps, including 13 resets, run finished after 107 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1806 steps, including 13 resets, run finished after 108 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1801 steps, including 13 resets, run finished after 107 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1799 steps, including 13 resets, run finished after 106 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1792 steps, including 13 resets, run finished after 106 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1813 steps, including 13 resets, run finished after 107 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1796 steps, including 13 resets, run finished after 105 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1808 steps, including 13 resets, run finished after 106 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1797 steps, including 13 resets, run finished after 106 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1798 steps, including 13 resets, run finished after 105 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1798 steps, including 13 resets, run finished after 105 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1785 steps, including 13 resets, run finished after 105 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1783 steps, including 13 resets, run finished after 106 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1814 steps, including 13 resets, run finished after 124 ms. (steps per millisecond=14 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1786 steps, including 13 resets, run finished after 106 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1785 steps, including 13 resets, run finished after 106 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1784 steps, including 13 resets, run finished after 107 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1783 steps, including 13 resets, run finished after 106 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1776 steps, including 13 resets, run finished after 106 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1958 steps, including 14 resets, run finished after 115 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1957 steps, including 14 resets, run finished after 114 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1945 steps, including 14 resets, run finished after 114 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1935 steps, including 14 resets, run finished after 114 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1933 steps, including 14 resets, run finished after 113 ms. (steps per millisecond=17 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1930 steps, including 14 resets, run finished after 114 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2002 steps, including 69 resets, run finished after 122 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1999 steps, including 65 resets, run finished after 120 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1994 steps, including 69 resets, run finished after 121 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1990 steps, including 75 resets, run finished after 121 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1984 steps, including 74 resets, run finished after 121 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1982 steps, including 66 resets, run finished after 120 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1979 steps, including 74 resets, run finished after 120 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1978 steps, including 74 resets, run finished after 121 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1977 steps, including 69 resets, run finished after 121 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1976 steps, including 68 resets, run finished after 120 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1969 steps, including 66 resets, run finished after 118 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1964 steps, including 73 resets, run finished after 119 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1992 steps, including 59 resets, run finished after 119 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2019 steps, including 66 resets, run finished after 120 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1993 steps, including 66 resets, run finished after 119 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1959 steps, including 65 resets, run finished after 117 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1961 steps, including 65 resets, run finished after 117 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1968 steps, including 63 resets, run finished after 118 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1965 steps, including 65 resets, run finished after 117 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1962 steps, including 65 resets, run finished after 117 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1962 steps, including 65 resets, run finished after 119 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1959 steps, including 59 resets, run finished after 119 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1958 steps, including 65 resets, run finished after 118 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1956 steps, including 66 resets, run finished after 119 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1925 steps, including 151 resets, run finished after 124 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1915 steps, including 142 resets, run finished after 124 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1904 steps, including 145 resets, run finished after 124 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1914 steps, including 158 resets, run finished after 124 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1914 steps, including 158 resets, run finished after 126 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1913 steps, including 150 resets, run finished after 124 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1912 steps, including 153 resets, run finished after 123 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1911 steps, including 146 resets, run finished after 124 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1910 steps, including 153 resets, run finished after 124 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1909 steps, including 157 resets, run finished after 125 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1908 steps, including 141 resets, run finished after 122 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1907 steps, including 147 resets, run finished after 123 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1908 steps, including 142 resets, run finished after 123 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1908 steps, including 153 resets, run finished after 124 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1906 steps, including 160 resets, run finished after 125 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1905 steps, including 160 resets, run finished after 124 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1904 steps, including 153 resets, run finished after 124 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1904 steps, including 154 resets, run finished after 123 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1903 steps, including 151 resets, run finished after 123 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1902 steps, including 152 resets, run finished after 124 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1903 steps, including 157 resets, run finished after 124 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1902 steps, including 138 resets, run finished after 122 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1907 steps, including 157 resets, run finished after 123 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1898 steps, including 151 resets, run finished after 122 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1897 steps, including 150 resets, run finished after 122 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1896 steps, including 147 resets, run finished after 121 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1907 steps, including 155 resets, run finished after 121 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1909 steps, including 150 resets, run finished after 122 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1907 steps, including 150 resets, run finished after 122 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1906 steps, including 161 resets, run finished after 122 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1905 steps, including 151 resets, run finished after 122 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1903 steps, including 150 resets, run finished after 122 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1902 steps, including 149 resets, run finished after 123 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1901 steps, including 153 resets, run finished after 122 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1900 steps, including 161 resets, run finished after 121 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1898 steps, including 142 resets, run finished after 121 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1887 steps, including 144 resets, run finished after 120 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1890 steps, including 154 resets, run finished after 121 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1889 steps, including 153 resets, run finished after 124 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1888 steps, including 156 resets, run finished after 123 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1887 steps, including 156 resets, run finished after 123 ms. (steps per millisecond=15 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1681 steps, including 29 resets, run finished after 101 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1680 steps, including 29 resets, run finished after 102 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1682 steps, including 29 resets, run finished after 101 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1681 steps, including 29 resets, run finished after 100 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1679 steps, including 29 resets, run finished after 100 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1677 steps, including 27 resets, run finished after 100 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1676 steps, including 25 resets, run finished after 101 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1678 steps, including 28 resets, run finished after 101 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1680 steps, including 29 resets, run finished after 101 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1678 steps, including 29 resets, run finished after 101 ms. (steps per millisecond=16 ) properties (out of 563) seen :0 could not realise parikh vector
Support contains 1022 out of 2501 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2501/2501 places, 1800/1800 transitions.
Partial Free-agglomeration rule applied 107 times.
Drop transitions removed 107 transitions
Iterating global reduction 0 with 107 rules applied. Total rules applied 107 place count 2501 transition count 1800
Applied a total of 107 rules in 112 ms. Remains 2501 /2501 variables (removed 0) and now considering 1800/1800 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2501/2501 places, 1800/1800 transitions.
[2022-05-20 08:46:03] [INFO ] Flatten gal took : 112 ms
[2022-05-20 08:46:03] [INFO ] Flatten gal took : 122 ms
[2022-05-20 08:46:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14791532264267500974.gal : 9 ms
[2022-05-20 08:46:03] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4220306416284925993.prop : 2 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/ReachabilityCardinality14791532264267500974.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4220306416284925993.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/ReachabilityCardinality14791532264267500974.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4220306416284925993.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality4220306416284925993.prop.
SDD proceeding with computation,563 properties remain. new max is 4
SDD size :2 after 6
SDD proceeding with computation,563 properties remain. new max is 8
SDD size :6 after 14
SDD proceeding with computation,563 properties remain. new max is 16
SDD size :14 after 27
SDD proceeding with computation,563 properties remain. new max is 32
SDD size :27 after 53
SDD proceeding with computation,563 properties remain. new max is 64
SDD size :53 after 102
Reachability property qltransition_834 is true.
Reachability property qltransition_832 is true.
Reachability property qltransition_763 is true.
Reachability property qltransition_761 is true.
SDD proceeding with computation,559 properties remain. new max is 64
SDD size :102 after 200
Reachability property qltransition_1784 is true.
Reachability property qltransition_1779 is true.
Reachability property qltransition_1775 is true.
Reachability property qltransition_1770 is true.
Reachability property qltransition_1766 is true.
Reachability property qltransition_1761 is true.
Reachability property qltransition_1757 is true.
Reachability property qltransition_1752 is true.
Reachability property qltransition_1748 is true.
Reachability property qltransition_1743 is true.
Reachability property qltransition_1739 is true.
Reachability property qltransition_1734 is true.
Reachability property qltransition_1730 is true.
Reachability property qltransition_1725 is true.
Reachability property qltransition_1721 is true.
Reachability property qltransition_1716 is true.
Reachability property qltransition_1712 is true.
Reachability property qltransition_1707 is true.
Reachability property qltransition_1703 is true.
Reachability property qltransition_1698 is true.
Reachability property qltransition_1694 is true.
Reachability property qltransition_1689 is true.
Reachability property qltransition_1685 is true.
Reachability property qltransition_1680 is true.
Reachability property qltransition_1676 is true.
Reachability property qltransition_1671 is true.
Reachability property qltransition_1667 is true.
Reachability property qltransition_1662 is true.
Reachability property qltransition_1658 is true.
Reachability property qltransition_1653 is true.
Reachability property qltransition_1649 is true.
Reachability property qltransition_1644 is true.
Reachability property qltransition_1640 is true.
Reachability property qltransition_1635 is true.
Reachability property qltransition_1631 is true.
Reachability property qltransition_1626 is true.
Reachability property qltransition_1622 is true.
Reachability property qltransition_1617 is true.
Reachability property qltransition_1613 is true.
Reachability property qltransition_1608 is true.
Reachability property qltransition_1604 is true.
Reachability property qltransition_1599 is true.
Reachability property qltransition_1595 is true.
Reachability property qltransition_1590 is true.
Detected timeout of ITS tools.
[2022-05-20 08:46:18] [INFO ] Flatten gal took : 111 ms
[2022-05-20 08:46:18] [INFO ] Applying decomposition
[2022-05-20 08:46:18] [INFO ] Flatten gal took : 110 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/graph617391823548822186.txt, -o, /tmp/graph617391823548822186.bin, -w, /tmp/graph617391823548822186.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/graph617391823548822186.bin, -l, -1, -v, -w, /tmp/graph617391823548822186.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-20 08:46:18] [INFO ] Decomposing Gal with order
[2022-05-20 08:46:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-20 08:46:19] [INFO ] Removed a total of 449 redundant transitions.
[2022-05-20 08:46:19] [INFO ] Flatten gal took : 112 ms
[2022-05-20 08:46:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 46 labels/synchronizations in 150 ms.
[2022-05-20 08:46:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7381690913568843785.gal : 16 ms
[2022-05-20 08:46:19] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1074053080276054439.prop : 2 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/ReachabilityCardinality7381690913568843785.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1074053080276054439.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/ReachabilityCardinality7381690913568843785.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1074053080276054439.prop --nowitness
Loading property file /tmp/ReachabilityCardinality1074053080276054439.prop.
SDD proceeding with computation,515 properties remain. new max is 4
SDD size :1 after 28
SDD proceeding with computation,515 properties remain. new max is 8
SDD size :28 after 28
SDD proceeding with computation,515 properties remain. new max is 16
SDD size :28 after 28
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin213112212396936245
[2022-05-20 08:46:34] [INFO ] Built C files in 26ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin213112212396936245
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/ltsmin213112212396936245]
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/ltsmin213112212396936245] 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/ltsmin213112212396936245] 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)
Interrupted random walk after 563044 steps, including 1 resets, run timeout after 30001 ms. (steps per millisecond=18 ) properties seen :{142=1, 143=1, 144=1, 145=1, 146=1, 147=1, 148=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=50 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 508) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 508) seen :0
Interrupted probabilistic random walk after 502341 steps, run timeout after 30002 ms. (steps per millisecond=16 ) properties seen :{}
Probabilistic random walk after 502341 steps, saw 487460 distinct states, run finished after 30003 ms. (steps per millisecond=16 ) properties seen :{}
Running SMT prover for 508 properties.
// Phase 1: matrix 1800 rows 2501 cols
[2022-05-20 08:47:36] [INFO ] Computed 1101 place invariants in 13 ms
[2022-05-20 08:47:56] [INFO ] [Real]Absence check using 1101 positive place invariants in 210 ms returned sat
[2022-05-20 08:48:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-20 08:48:56] [INFO ] [Real]Absence check using state equation in 38809 ms returned unsat :0 sat :225 real:283
[2022-05-20 08:48:56] [INFO ] State equation strengthened by 64 read => feed constraints.
[2022-05-20 08:48:56] [INFO ] [Real]Added 64 Read/Feed constraints in 5 ms returned sat
[2022-05-20 08:49:16] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:508
[2022-05-20 08:49:36] [INFO ] [Nat]Absence check using 1101 positive place invariants in 200 ms returned sat
[2022-05-20 08:49:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-20 08:50:45] [INFO ] [Nat]Absence check using state equation in 48254 ms returned unsat :0 sat :508
[2022-05-20 08:50:45] [INFO ] [Nat]Added 64 Read/Feed constraints in 6 ms returned sat
Attempting to minimize the solution found.
Minimization took 57044 ms.
[2022-05-20 08:52:34] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :508
Fused 508 Parikh solutions to 427 different solutions.
Incomplete Parikh walk after 1989 steps, including 12 resets, run finished after 112 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1990 steps, including 12 resets, run finished after 110 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2027 steps, including 152 resets, run finished after 122 ms. (steps per millisecond=16 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2026 steps, including 148 resets, run finished after 121 ms. (steps per millisecond=16 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2040 steps, including 163 resets, run finished after 123 ms. (steps per millisecond=16 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2041 steps, including 168 resets, run finished after 124 ms. (steps per millisecond=16 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2042 steps, including 148 resets, run finished after 123 ms. (steps per millisecond=16 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2041 steps, including 156 resets, run finished after 122 ms. (steps per millisecond=16 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2064 steps, including 162 resets, run finished after 124 ms. (steps per millisecond=16 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2063 steps, including 162 resets, run finished after 125 ms. (steps per millisecond=16 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2268 steps, including 65 resets, run finished after 130 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2274 steps, including 67 resets, run finished after 131 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2282 steps, including 67 resets, run finished after 131 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2282 steps, including 67 resets, run finished after 130 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2230 steps, including 15 resets, run finished after 123 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2231 steps, including 15 resets, run finished after 123 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2287 steps, including 16 resets, run finished after 126 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2244 steps, including 16 resets, run finished after 124 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2210 steps, including 15 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2212 steps, including 15 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2211 steps, including 15 resets, run finished after 123 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2212 steps, including 15 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2211 steps, including 15 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2210 steps, including 15 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2212 steps, including 15 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2221 steps, including 15 resets, run finished after 123 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2223 steps, including 15 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2224 steps, including 15 resets, run finished after 123 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2224 steps, including 15 resets, run finished after 123 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2226 steps, including 15 resets, run finished after 123 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2227 steps, including 15 resets, run finished after 124 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2226 steps, including 15 resets, run finished after 123 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2232 steps, including 38 resets, run finished after 123 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2234 steps, including 38 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2235 steps, including 37 resets, run finished after 123 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2238 steps, including 38 resets, run finished after 123 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2237 steps, including 38 resets, run finished after 123 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2236 steps, including 35 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2210 steps, including 37 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2216 steps, including 36 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2216 steps, including 37 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2218 steps, including 37 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2221 steps, including 37 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2220 steps, including 37 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2219 steps, including 35 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2221 steps, including 35 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2223 steps, including 36 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2222 steps, including 37 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2219 steps, including 36 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2207 steps, including 34 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2209 steps, including 38 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2213 steps, including 36 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2212 steps, including 37 resets, run finished after 135 ms. (steps per millisecond=16 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2211 steps, including 34 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2206 steps, including 37 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2206 steps, including 35 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2211 steps, including 37 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2216 steps, including 36 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2218 steps, including 35 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2170 steps, including 37 resets, run finished after 119 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2156 steps, including 35 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2158 steps, including 36 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2157 steps, including 35 resets, run finished after 119 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2161 steps, including 37 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2151 steps, including 35 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2155 steps, including 36 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2141 steps, including 35 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2143 steps, including 34 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2149 steps, including 36 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2137 steps, including 35 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2125 steps, including 35 resets, run finished after 116 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2128 steps, including 34 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2136 steps, including 35 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2142 steps, including 35 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2144 steps, including 34 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2144 steps, including 35 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2146 steps, including 34 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2152 steps, including 35 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2152 steps, including 36 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2155 steps, including 34 resets, run finished after 119 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2161 steps, including 35 resets, run finished after 119 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2155 steps, including 35 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2148 steps, including 35 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2151 steps, including 36 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2154 steps, including 36 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2153 steps, including 37 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2160 steps, including 33 resets, run finished after 119 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2159 steps, including 36 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2158 steps, including 36 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2161 steps, including 36 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2160 steps, including 37 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2159 steps, including 34 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2162 steps, including 36 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2147 steps, including 34 resets, run finished after 118 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2135 steps, including 35 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2139 steps, including 35 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2131 steps, including 35 resets, run finished after 116 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2133 steps, including 35 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2135 steps, including 35 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2134 steps, including 34 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2141 steps, including 36 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2140 steps, including 36 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2139 steps, including 34 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2138 steps, including 34 resets, run finished after 117 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2285 steps, including 13 resets, run finished after 125 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2287 steps, including 13 resets, run finished after 125 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2283 steps, including 13 resets, run finished after 125 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2282 steps, including 13 resets, run finished after 125 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2277 steps, including 13 resets, run finished after 124 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2281 steps, including 13 resets, run finished after 125 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2283 steps, including 13 resets, run finished after 125 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2289 steps, including 13 resets, run finished after 126 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2297 steps, including 13 resets, run finished after 126 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2292 steps, including 13 resets, run finished after 126 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2291 steps, including 13 resets, run finished after 126 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2286 steps, including 13 resets, run finished after 126 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2333 steps, including 13 resets, run finished after 127 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2334 steps, including 13 resets, run finished after 128 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2336 steps, including 13 resets, run finished after 128 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2335 steps, including 13 resets, run finished after 128 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2340 steps, including 13 resets, run finished after 128 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2338 steps, including 13 resets, run finished after 128 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2337 steps, including 13 resets, run finished after 128 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2021 steps, including 55 resets, run finished after 113 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1990 steps, including 55 resets, run finished after 112 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1992 steps, including 56 resets, run finished after 113 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1986 steps, including 56 resets, run finished after 111 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1983 steps, including 56 resets, run finished after 112 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1988 steps, including 53 resets, run finished after 111 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1989 steps, including 56 resets, run finished after 111 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1990 steps, including 54 resets, run finished after 112 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1992 steps, including 52 resets, run finished after 112 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2001 steps, including 34 resets, run finished after 111 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2002 steps, including 34 resets, run finished after 111 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2005 steps, including 32 resets, run finished after 111 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2016 steps, including 32 resets, run finished after 113 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2049 steps, including 34 resets, run finished after 114 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2035 steps, including 35 resets, run finished after 113 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2029 steps, including 34 resets, run finished after 113 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1997 steps, including 34 resets, run finished after 111 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1993 steps, including 34 resets, run finished after 110 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2391 steps, including 86 resets, run finished after 135 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2387 steps, including 85 resets, run finished after 135 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1897 steps, including 59 resets, run finished after 107 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1896 steps, including 59 resets, run finished after 107 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2568 steps, including 14 resets, run finished after 141 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2564 steps, including 14 resets, run finished after 140 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2570 steps, including 14 resets, run finished after 141 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2584 steps, including 14 resets, run finished after 142 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2566 steps, including 14 resets, run finished after 141 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2552 steps, including 14 resets, run finished after 141 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2553 steps, including 14 resets, run finished after 140 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2551 steps, including 14 resets, run finished after 140 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2548 steps, including 14 resets, run finished after 141 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2534 steps, including 14 resets, run finished after 140 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2524 steps, including 14 resets, run finished after 139 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2526 steps, including 14 resets, run finished after 139 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2512 steps, including 14 resets, run finished after 138 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2509 steps, including 14 resets, run finished after 138 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2513 steps, including 14 resets, run finished after 138 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2524 steps, including 14 resets, run finished after 139 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2535 steps, including 14 resets, run finished after 140 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2523 steps, including 14 resets, run finished after 139 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2522 steps, including 14 resets, run finished after 138 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2037 steps, including 65 resets, run finished after 114 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2035 steps, including 59 resets, run finished after 115 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2356 steps, including 8 resets, run finished after 142 ms. (steps per millisecond=16 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2356 steps, including 8 resets, run finished after 128 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2763 steps, including 44 resets, run finished after 153 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2764 steps, including 43 resets, run finished after 153 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2765 steps, including 45 resets, run finished after 154 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2762 steps, including 45 resets, run finished after 153 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2759 steps, including 44 resets, run finished after 153 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2749 steps, including 45 resets, run finished after 152 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2742 steps, including 42 resets, run finished after 152 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2741 steps, including 44 resets, run finished after 151 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2742 steps, including 45 resets, run finished after 152 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2744 steps, including 44 resets, run finished after 152 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2505 steps, including 70 resets, run finished after 140 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2503 steps, including 69 resets, run finished after 140 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2501 steps, including 71 resets, run finished after 140 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2500 steps, including 71 resets, run finished after 139 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2499 steps, including 69 resets, run finished after 140 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2498 steps, including 71 resets, run finished after 141 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2497 steps, including 70 resets, run finished after 140 ms. (steps per millisecond=17 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2461 steps, including 161 resets, run finished after 147 ms. (steps per millisecond=16 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2202 steps, including 14 resets, run finished after 122 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2201 steps, including 14 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2199 steps, including 14 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2189 steps, including 14 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2188 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2187 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2186 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2185 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2181 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2190 steps, including 14 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2189 steps, including 14 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2188 steps, including 13 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2187 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2188 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2189 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2192 steps, including 14 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2191 steps, including 14 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2190 steps, including 14 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2189 steps, including 13 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2190 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2190 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2191 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2189 steps, including 14 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2186 steps, including 13 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2188 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2186 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2185 steps, including 13 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2184 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2183 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2180 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2201 steps, including 14 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2188 steps, including 14 resets, run finished after 121 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2185 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2184 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2183 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2180 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2327 steps, including 30 resets, run finished after 128 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2308 steps, including 30 resets, run finished after 127 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2329 steps, including 30 resets, run finished after 128 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2328 steps, including 30 resets, run finished after 128 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2327 steps, including 31 resets, run finished after 128 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2326 steps, including 30 resets, run finished after 127 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2327 steps, including 30 resets, run finished after 129 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2324 steps, including 30 resets, run finished after 128 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2290 steps, including 30 resets, run finished after 126 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2271 steps, including 29 resets, run finished after 124 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2270 steps, including 30 resets, run finished after 124 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2269 steps, including 30 resets, run finished after 124 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2289 steps, including 30 resets, run finished after 126 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2288 steps, including 30 resets, run finished after 126 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2287 steps, including 30 resets, run finished after 125 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2292 steps, including 30 resets, run finished after 125 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2291 steps, including 30 resets, run finished after 126 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2291 steps, including 30 resets, run finished after 125 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2293 steps, including 30 resets, run finished after 125 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2292 steps, including 30 resets, run finished after 126 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2290 steps, including 29 resets, run finished after 126 ms. (steps per millisecond=18 ) properties (out of 508) seen :0 could not realise parikh vector
Support contains 956 out of 2501 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2501/2501 places, 1800/1800 transitions.
Partial Free-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 0 with 7 rules applied. Total rules applied 7 place count 2501 transition count 1800
Applied a total of 7 rules in 98 ms. Remains 2501 /2501 variables (removed 0) and now considering 1800/1800 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2501/2501 places, 1800/1800 transitions.
[2022-05-20 08:53:04] [INFO ] Flatten gal took : 110 ms
[2022-05-20 08:53:04] [INFO ] Flatten gal took : 109 ms
[2022-05-20 08:53:04] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11050194741203264745.gal : 6 ms
[2022-05-20 08:53:04] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11759402305324276831.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/ReachabilityCardinality11050194741203264745.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11759402305324276831.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/ReachabilityCardinality11050194741203264745.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11759402305324276831.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality11759402305324276831.prop.
SDD proceeding with computation,508 properties remain. new max is 4
SDD size :2 after 6
SDD proceeding with computation,508 properties remain. new max is 8
SDD size :6 after 14
SDD proceeding with computation,508 properties remain. new max is 16
SDD size :14 after 27
SDD proceeding with computation,508 properties remain. new max is 32
SDD size :27 after 53
SDD proceeding with computation,508 properties remain. new max is 64
SDD size :53 after 102
SDD proceeding with computation,508 properties remain. new max is 128
SDD size :102 after 200
Reachability property qltransition_1795 is true.
Reachability property qltransition_1794 is true.
Reachability property qltransition_1793 is true.
Reachability property qltransition_1792 is true.
Reachability property qltransition_1791 is true.
Reachability property qltransition_1790 is true.
Reachability property qltransition_1789 is true.
Reachability property qltransition_1788 is true.
Reachability property qltransition_1787 is true.
Reachability property qltransition_1586 is true.
Reachability property qltransition_1581 is true.
Reachability property qltransition_1577 is true.
Reachability property qltransition_1572 is true.
Reachability property qltransition_1568 is true.
Reachability property qltransition_1563 is true.
Reachability property qltransition_1559 is true.
Reachability property qltransition_1554 is true.
Reachability property qltransition_1550 is true.
Reachability property qltransition_1545 is true.
Reachability property qltransition_1541 is true.
Reachability property qltransition_1536 is true.
Reachability property qltransition_1532 is true.
Reachability property qltransition_1527 is true.
Reachability property qltransition_1523 is true.
Reachability property qltransition_1518 is true.
Reachability property qltransition_1514 is true.
Reachability property qltransition_1509 is true.
Reachability property qltransition_1505 is true.
Reachability property qltransition_1500 is true.
Reachability property qltransition_830 is true.
Reachability property qltransition_828 is true.
Reachability property qltransition_826 is true.
Reachability property qltransition_824 is true.
Reachability property qltransition_822 is true.
Reachability property qltransition_820 is true.
Reachability property qltransition_818 is true.
Reachability property qltransition_816 is true.
Reachability property qltransition_814 is true.
Reachability property qltransition_812 is true.
Reachability property qltransition_810 is true.
Reachability property qltransition_808 is true.
Reachability property qltransition_806 is true.
Reachability property qltransition_804 is true.
Reachability property qltransition_802 is true.
Reachability property qltransition_800 is true.
Reachability property qltransition_799 is true.
Reachability property qltransition_798 is true.
Reachability property qltransition_797 is true.
Reachability property qltransition_796 is true.
Reachability property qltransition_795 is true.
Reachability property qltransition_793 is true.
Reachability property qltransition_791 is true.
Reachability property qltransition_789 is true.
Reachability property qltransition_787 is true.
Reachability property qltransition_785 is true.
Reachability property qltransition_783 is true.
Reachability property qltransition_781 is true.
Reachability property qltransition_779 is true.
Reachability property qltransition_777 is true.
Reachability property qltransition_775 is true.
Reachability property qltransition_773 is true.
Reachability property qltransition_771 is true.
Reachability property qltransition_769 is true.
Reachability property qltransition_767 is true.
Reachability property qltransition_765 is true.
Reachability property qltransition_2 is true.
Reachability property qltransition_1 is true.
Reachability property qltransition_0 is true.
SDD proceeding with computation,440 properties remain. new max is 128
SDD size :200 after 583
Reachability property qltransition_1786 is true.
Reachability property qltransition_1785 is true.
Reachability property qltransition_1783 is true.
Reachability property qltransition_1782 is true.
Reachability property qltransition_1781 is true.
Reachability property qltransition_1780 is true.
Reachability property qltransition_794 is true.
Reachability property qltransition_5 is true.
Reachability property qltransition_4 is true.
SDD proceeding with computation,431 properties remain. new max is 128
SDD size :583 after 58662
Reachability property qltransition_1778 is true.
Detected timeout of ITS tools.
[2022-05-20 08:53:24] [INFO ] Flatten gal took : 116 ms
[2022-05-20 08:53:24] [INFO ] Applying decomposition
[2022-05-20 08:53:25] [INFO ] Flatten gal took : 118 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/graph10452458660971351818.txt, -o, /tmp/graph10452458660971351818.bin, -w, /tmp/graph10452458660971351818.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/graph10452458660971351818.bin, -l, -1, -v, -w, /tmp/graph10452458660971351818.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-20 08:53:25] [INFO ] Decomposing Gal with order
[2022-05-20 08:53:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-20 08:53:25] [INFO ] Removed a total of 456 redundant transitions.
[2022-05-20 08:53:25] [INFO ] Flatten gal took : 124 ms
[2022-05-20 08:53:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 74 labels/synchronizations in 155 ms.
[2022-05-20 08:53:26] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10332604599715599076.gal : 15 ms
[2022-05-20 08:53:26] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15771713009265033014.prop : 2 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/ReachabilityCardinality10332604599715599076.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15771713009265033014.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/ReachabilityCardinality10332604599715599076.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15771713009265033014.prop --nowitness
Loading property file /tmp/ReachabilityCardinality15771713009265033014.prop.
SDD proceeding with computation,430 properties remain. new max is 4
SDD size :1 after 2951
SDD proceeding with computation,430 properties remain. new max is 8
SDD size :2951 after 2951
SDD proceeding with computation,430 properties remain. new max is 16
SDD size :2951 after 2951
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11790851244783644689
[2022-05-20 08:53:46] [INFO ] Built C files in 44ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11790851244783644689
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/ltsmin11790851244783644689]
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/ltsmin11790851244783644689] killed by timeout after 2 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/ltsmin11790851244783644689] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 643092 steps, including 1 resets, run timeout after 30001 ms. (steps per millisecond=21 ) properties seen :{}
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=68 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=67 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=67 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=67 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=67 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=67 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=67 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=68 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=67 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=68 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=67 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=59 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=68 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=64 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=64 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=64 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=64 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=64 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=66 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=64 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=64 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=65 ) properties (out of 430) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=64 ) properties (out of 430) seen :0
Interrupted probabilistic random walk after 539654 steps, run timeout after 30004 ms. (steps per millisecond=17 ) properties seen :{}
Probabilistic random walk after 539654 steps, saw 524220 distinct states, run finished after 30004 ms. (steps per millisecond=17 ) properties seen :{}
Running SMT prover for 430 properties.
// Phase 1: matrix 1800 rows 2501 cols
[2022-05-20 08:54:55] [INFO ] Computed 1101 place invariants in 11 ms
[2022-05-20 08:55:11] [INFO ] [Real]Absence check using 1101 positive place invariants in 185 ms returned sat
[2022-05-20 08:55:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-20 08:56:01] [INFO ] [Real]Absence check using state equation in 32924 ms returned unsat :0 sat :362 real:68
[2022-05-20 08:56:01] [INFO ] State equation strengthened by 64 read => feed constraints.
[2022-05-20 08:56:01] [INFO ] [Real]Added 64 Read/Feed constraints in 6 ms returned sat
[2022-05-20 08:56:30] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:430
[2022-05-20 08:56:44] [INFO ] [Nat]Absence check using 1101 positive place invariants in 189 ms returned sat
[2022-05-20 08:56:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-20 08:57:27] [INFO ] [Nat]Absence check using state equation in 29614 ms returned unsat :0 sat :430
[2022-05-20 08:57:27] [INFO ] [Nat]Added 64 Read/Feed constraints in 3 ms returned sat
Attempting to minimize the solution found.
Minimization took 36023 ms.
[2022-05-20 08:58:34] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :430
Fused 430 Parikh solutions to 377 different solutions.
Incomplete Parikh walk after 2315 steps, including 103 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2290 steps, including 102 resets, run finished after 112 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2292 steps, including 102 resets, run finished after 113 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2296 steps, including 102 resets, run finished after 112 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2301 steps, including 103 resets, run finished after 113 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2306 steps, including 103 resets, run finished after 114 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2307 steps, including 103 resets, run finished after 113 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2314 steps, including 103 resets, run finished after 114 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2316 steps, including 103 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2322 steps, including 103 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2324 steps, including 104 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2348 steps, including 106 resets, run finished after 116 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2330 steps, including 104 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2332 steps, including 104 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2332 steps, including 104 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2334 steps, including 104 resets, run finished after 114 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2339 steps, including 105 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2342 steps, including 105 resets, run finished after 116 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2344 steps, including 105 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2347 steps, including 105 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2352 steps, including 105 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2354 steps, including 105 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2355 steps, including 105 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2370 steps, including 106 resets, run finished after 117 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2384 steps, including 107 resets, run finished after 117 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2386 steps, including 107 resets, run finished after 117 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2385 steps, including 107 resets, run finished after 117 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2387 steps, including 106 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2389 steps, including 107 resets, run finished after 118 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2384 steps, including 107 resets, run finished after 117 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2383 steps, including 106 resets, run finished after 117 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2373 steps, including 106 resets, run finished after 116 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2365 steps, including 106 resets, run finished after 116 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2364 steps, including 105 resets, run finished after 116 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2349 steps, including 105 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2336 steps, including 105 resets, run finished after 114 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2338 steps, including 104 resets, run finished after 115 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2325 steps, including 104 resets, run finished after 114 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2319 steps, including 104 resets, run finished after 114 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2318 steps, including 103 resets, run finished after 114 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2312 steps, including 104 resets, run finished after 113 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2312 steps, including 103 resets, run finished after 114 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2270 steps, including 101 resets, run finished after 112 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2270 steps, including 101 resets, run finished after 111 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2274 steps, including 102 resets, run finished after 112 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2264 steps, including 102 resets, run finished after 112 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2264 steps, including 101 resets, run finished after 113 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2269 steps, including 102 resets, run finished after 112 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2264 steps, including 101 resets, run finished after 112 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2266 steps, including 101 resets, run finished after 112 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2267 steps, including 101 resets, run finished after 111 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2261 steps, including 101 resets, run finished after 111 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2273 steps, including 101 resets, run finished after 111 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2273 steps, including 102 resets, run finished after 110 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2269 steps, including 101 resets, run finished after 110 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2274 steps, including 102 resets, run finished after 112 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2273 steps, including 102 resets, run finished after 111 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2222 steps, including 100 resets, run finished after 109 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2226 steps, including 100 resets, run finished after 109 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2170 steps, including 97 resets, run finished after 107 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2142 steps, including 96 resets, run finished after 106 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2170 steps, including 97 resets, run finished after 106 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2133 steps, including 95 resets, run finished after 105 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2127 steps, including 95 resets, run finished after 106 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2109 steps, including 94 resets, run finished after 105 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2104 steps, including 95 resets, run finished after 103 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2106 steps, including 94 resets, run finished after 114 ms. (steps per millisecond=18 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2116 steps, including 95 resets, run finished after 104 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2114 steps, including 94 resets, run finished after 104 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2116 steps, including 95 resets, run finished after 104 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2115 steps, including 94 resets, run finished after 104 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2106 steps, including 94 resets, run finished after 104 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2114 steps, including 95 resets, run finished after 104 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2113 steps, including 94 resets, run finished after 104 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2115 steps, including 95 resets, run finished after 105 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2061 steps, including 92 resets, run finished after 102 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2028 steps, including 91 resets, run finished after 100 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2030 steps, including 91 resets, run finished after 100 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1979 steps, including 89 resets, run finished after 97 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1981 steps, including 88 resets, run finished after 97 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1968 steps, including 88 resets, run finished after 96 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1919 steps, including 86 resets, run finished after 94 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1889 steps, including 85 resets, run finished after 93 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1898 steps, including 85 resets, run finished after 94 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1880 steps, including 84 resets, run finished after 93 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1875 steps, including 84 resets, run finished after 93 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1874 steps, including 84 resets, run finished after 93 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1871 steps, including 84 resets, run finished after 93 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1870 steps, including 84 resets, run finished after 93 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1872 steps, including 84 resets, run finished after 92 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1861 steps, including 83 resets, run finished after 92 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1846 steps, including 83 resets, run finished after 91 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1831 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1830 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1820 steps, including 82 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1822 steps, including 81 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1821 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1845 steps, including 82 resets, run finished after 91 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1821 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1815 steps, including 81 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1819 steps, including 81 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1818 steps, including 81 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1817 steps, including 81 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1810 steps, including 81 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1809 steps, including 81 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1828 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1827 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1826 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1825 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1827 steps, including 82 resets, run finished after 91 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1827 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1829 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1831 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1828 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1827 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1847 steps, including 83 resets, run finished after 91 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1843 steps, including 82 resets, run finished after 91 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1845 steps, including 82 resets, run finished after 91 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1841 steps, including 82 resets, run finished after 91 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1827 steps, including 81 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1834 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1829 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1825 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1826 steps, including 81 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1820 steps, including 82 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1817 steps, including 82 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1816 steps, including 81 resets, run finished after 90 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1811 steps, including 81 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1804 steps, including 81 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1792 steps, including 80 resets, run finished after 88 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1792 steps, including 80 resets, run finished after 88 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1792 steps, including 80 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1781 steps, including 80 resets, run finished after 88 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1775 steps, including 79 resets, run finished after 88 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1770 steps, including 79 resets, run finished after 87 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1765 steps, including 79 resets, run finished after 87 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1765 steps, including 79 resets, run finished after 87 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1753 steps, including 78 resets, run finished after 87 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1748 steps, including 78 resets, run finished after 86 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1744 steps, including 78 resets, run finished after 86 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1745 steps, including 78 resets, run finished after 86 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1821 steps, including 81 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1816 steps, including 81 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1818 steps, including 81 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1814 steps, including 81 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1809 steps, including 81 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2375 steps, including 112 resets, run finished after 117 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2368 steps, including 106 resets, run finished after 116 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2374 steps, including 104 resets, run finished after 116 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2411 steps, including 110 resets, run finished after 118 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2416 steps, including 110 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2414 steps, including 106 resets, run finished after 118 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2412 steps, including 105 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2411 steps, including 111 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2410 steps, including 105 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2408 steps, including 105 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2367 steps, including 106 resets, run finished after 117 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2406 steps, including 103 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2405 steps, including 108 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2404 steps, including 107 resets, run finished after 118 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2403 steps, including 107 resets, run finished after 117 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2391 steps, including 105 resets, run finished after 116 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2390 steps, including 107 resets, run finished after 117 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2425 steps, including 100 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2424 steps, including 102 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2423 steps, including 108 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2422 steps, including 110 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2415 steps, including 111 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2424 steps, including 110 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2434 steps, including 107 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2434 steps, including 107 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2433 steps, including 104 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2433 steps, including 107 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2432 steps, including 104 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2430 steps, including 104 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2429 steps, including 109 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2436 steps, including 107 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2436 steps, including 111 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2435 steps, including 109 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2434 steps, including 112 resets, run finished after 121 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2433 steps, including 110 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2438 steps, including 104 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2442 steps, including 104 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2447 steps, including 109 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2446 steps, including 114 resets, run finished after 121 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2445 steps, including 111 resets, run finished after 149 ms. (steps per millisecond=16 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2444 steps, including 111 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2443 steps, including 106 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2442 steps, including 112 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2447 steps, including 106 resets, run finished after 121 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2446 steps, including 109 resets, run finished after 122 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2445 steps, including 106 resets, run finished after 121 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2444 steps, including 106 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2443 steps, including 110 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2442 steps, including 111 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2443 steps, including 105 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2441 steps, including 107 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2439 steps, including 108 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2445 steps, including 112 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2444 steps, including 113 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2444 steps, including 106 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2445 steps, including 107 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2444 steps, including 105 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2443 steps, including 112 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2442 steps, including 106 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2440 steps, including 108 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2443 steps, including 107 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2445 steps, including 112 resets, run finished after 121 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2445 steps, including 109 resets, run finished after 121 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2444 steps, including 109 resets, run finished after 121 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2443 steps, including 109 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2442 steps, including 105 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2441 steps, including 107 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2440 steps, including 109 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2440 steps, including 104 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2441 steps, including 109 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2439 steps, including 110 resets, run finished after 120 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2432 steps, including 109 resets, run finished after 119 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2425 steps, including 105 resets, run finished after 118 ms. (steps per millisecond=20 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2651 steps, including 33 resets, run finished after 122 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2654 steps, including 34 resets, run finished after 123 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2653 steps, including 34 resets, run finished after 122 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2696 steps, including 34 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2696 steps, including 35 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2696 steps, including 34 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2700 steps, including 34 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2699 steps, including 34 resets, run finished after 124 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2698 steps, including 34 resets, run finished after 124 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2697 steps, including 35 resets, run finished after 124 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2695 steps, including 34 resets, run finished after 123 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2697 steps, including 34 resets, run finished after 123 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2693 steps, including 34 resets, run finished after 122 ms. (steps per millisecond=22 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2688 steps, including 34 resets, run finished after 122 ms. (steps per millisecond=22 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2687 steps, including 33 resets, run finished after 122 ms. (steps per millisecond=22 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2685 steps, including 34 resets, run finished after 123 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2686 steps, including 34 resets, run finished after 124 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2700 steps, including 33 resets, run finished after 138 ms. (steps per millisecond=19 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2693 steps, including 35 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2692 steps, including 34 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2691 steps, including 34 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2690 steps, including 34 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2694 steps, including 34 resets, run finished after 124 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2692 steps, including 34 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2691 steps, including 34 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2695 steps, including 35 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2694 steps, including 34 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2693 steps, including 34 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2692 steps, including 34 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2717 steps, including 34 resets, run finished after 126 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2708 steps, including 35 resets, run finished after 126 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2699 steps, including 34 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2728 steps, including 35 resets, run finished after 127 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2727 steps, including 34 resets, run finished after 126 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2726 steps, including 35 resets, run finished after 127 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2725 steps, including 35 resets, run finished after 127 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2742 steps, including 35 resets, run finished after 127 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2742 steps, including 35 resets, run finished after 127 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2742 steps, including 35 resets, run finished after 127 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2741 steps, including 35 resets, run finished after 127 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2740 steps, including 35 resets, run finished after 127 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2741 steps, including 35 resets, run finished after 127 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2733 steps, including 35 resets, run finished after 127 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2730 steps, including 34 resets, run finished after 127 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2730 steps, including 34 resets, run finished after 127 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2721 steps, including 34 resets, run finished after 126 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2730 steps, including 34 resets, run finished after 126 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2728 steps, including 35 resets, run finished after 126 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2727 steps, including 34 resets, run finished after 127 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2729 steps, including 35 resets, run finished after 126 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2720 steps, including 35 resets, run finished after 125 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2719 steps, including 35 resets, run finished after 126 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2718 steps, including 34 resets, run finished after 126 ms. (steps per millisecond=21 ) properties (out of 430) seen :0 could not realise parikh vector
Support contains 824 out of 2501 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2501/2501 places, 1800/1800 transitions.
Partial Free-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 0 with 7 rules applied. Total rules applied 7 place count 2501 transition count 1800
Applied a total of 7 rules in 104 ms. Remains 2501 /2501 variables (removed 0) and now considering 1800/1800 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2501/2501 places, 1800/1800 transitions.
[2022-05-20 08:59:05] [INFO ] Flatten gal took : 109 ms
[2022-05-20 08:59:05] [INFO ] Flatten gal took : 110 ms
[2022-05-20 08:59:05] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10488024602675049569.gal : 6 ms
[2022-05-20 08:59:05] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10005339992015798748.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/ReachabilityCardinality10488024602675049569.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10005339992015798748.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/ReachabilityCardinality10488024602675049569.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10005339992015798748.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality10005339992015798748.prop.
SDD proceeding with computation,430 properties remain. new max is 4
SDD size :2 after 6
SDD proceeding with computation,430 properties remain. new max is 8
SDD size :6 after 14
SDD proceeding with computation,430 properties remain. new max is 16
SDD size :14 after 27
SDD proceeding with computation,430 properties remain. new max is 32
SDD size :27 after 53
SDD proceeding with computation,430 properties remain. new max is 64
SDD size :53 after 102
SDD proceeding with computation,430 properties remain. new max is 128
SDD size :102 after 200
SDD proceeding with computation,430 properties remain. new max is 256
SDD size :200 after 759
Reachability property qltransition_3 is true.
SDD proceeding with computation,429 properties remain. new max is 256
SDD size :759 after 122456
SDD proceeding with computation,429 properties remain. new max is 512
SDD size :122456 after 884256
Reachability property qltransition_1777 is true.
Reachability property qltransition_1772 is true.
SDD proceeding with computation,427 properties remain. new max is 512
SDD size :884256 after 1.3675e+07
Reachability property qltransition_1776 is true.
Reachability property qltransition_1774 is true.
Reachability property qltransition_1773 is true.
Reachability property qltransition_1771 is true.
Reachability property qltransition_1769 is true.
Reachability property qltransition_801 is true.
Reachability property qltransition_8 is true.
Reachability property qltransition_7 is true.
Reachability property qltransition_6 is true.
SDD proceeding with computation,418 properties remain. new max is 512
SDD size :1.3675e+07 after 1.88968e+09
SDD proceeding with computation,418 properties remain. new max is 1024
SDD size :1.88968e+09 after 4.7003e+09
SDD proceeding with computation,418 properties remain. new max is 2048
SDD size :4.7003e+09 after 3.51382e+10
Reachability property qltransition_1768 is true.
Reachability property qltransition_1767 is true.
Reachability property qltransition_1765 is true.
Reachability property qltransition_1764 is true.
Reachability property qltransition_1763 is true.
Reachability property qltransition_1762 is true.
Reachability property qltransition_1760 is true.
Reachability property qltransition_792 is true.
Reachability property qltransition_11 is true.
Reachability property qltransition_10 is true.
Reachability property qltransition_9 is true.
SDD proceeding with computation,407 properties remain. new max is 2048
SDD size :3.51382e+10 after 7.12368e+13
Reachability property qltransition_1759 is true.
Reachability property qltransition_1758 is true.
Reachability property qltransition_1756 is true.
Reachability property qltransition_1755 is true.
Reachability property qltransition_1754 is true.
Reachability property qltransition_1753 is true.
Reachability property qltransition_1751 is true.
Reachability property qltransition_803 is true.
Reachability property qltransition_14 is true.
Reachability property qltransition_13 is true.
Reachability property qltransition_12 is true.
SDD proceeding with computation,396 properties remain. new max is 2048
SDD size :7.12368e+13 after 5.86931e+16
Reachability property qltransition_1750 is true.
Reachability property qltransition_1749 is true.
Reachability property qltransition_1747 is true.
Reachability property qltransition_1746 is true.
Reachability property qltransition_1745 is true.
Reachability property qltransition_1744 is true.
Reachability property qltransition_1742 is true.
Reachability property qltransition_1741 is true.
Reachability property qltransition_1740 is true.
Reachability property qltransition_1738 is true.
Reachability property qltransition_1737 is true.
Reachability property qltransition_1736 is true.
Reachability property qltransition_1735 is true.
Reachability property qltransition_1733 is true.
Reachability property qltransition_805 is true.
Reachability property qltransition_790 is true.
Reachability property qltransition_20 is true.
Reachability property qltransition_19 is true.
Reachability property qltransition_18 is true.
Reachability property qltransition_17 is true.
Reachability property qltransition_16 is true.
Reachability property qltransition_15 is true.
SDD proceeding with computation,374 properties remain. new max is 2048
SDD size :5.86931e+16 after 1.36062e+25
Reachability property qltransition_1732 is true.
Reachability property qltransition_1731 is true.
Reachability property qltransition_1729 is true.
Reachability property qltransition_1728 is true.
Reachability property qltransition_1727 is true.
Reachability property qltransition_1726 is true.
Reachability property qltransition_1724 is true.
Reachability property qltransition_1723 is true.
Reachability property qltransition_1722 is true.
Reachability property qltransition_1720 is true.
Reachability property qltransition_1719 is true.
Reachability property qltransition_1718 is true.
Reachability property qltransition_1717 is true.
Reachability property qltransition_1715 is true.
Reachability property qltransition_1714 is true.
Reachability property qltransition_1713 is true.
Reachability property qltransition_1711 is true.
Reachability property qltransition_1710 is true.
Reachability property qltransition_1709 is true.
Reachability property qltransition_1708 is true.
Reachability property qltransition_1706 is true.
Reachability property qltransition_1705 is true.
Reachability property qltransition_1704 is true.
Reachability property qltransition_1702 is true.
Reachability property qltransition_1701 is true.
Reachability property qltransition_1700 is true.
Reachability property qltransition_1699 is true.
Reachability property qltransition_1697 is true.
Reachability property qltransition_1696 is true.
Reachability property qltransition_1695 is true.
Reachability property qltransition_1693 is true.
Reachability property qltransition_1692 is true.
Reachability property qltransition_1691 is true.
Reachability property qltransition_1690 is true.
Reachability property qltransition_1688 is true.
Reachability property qltransition_1687 is true.
Reachability property qltransition_1686 is true.
Reachability property qltransition_1682 is true.
Reachability property qltransition_811 is true.
Reachability property qltransition_809 is true.
Reachability property qltransition_807 is true.
Reachability property qltransition_788 is true.
Reachability property qltransition_786 is true.
Reachability property qltransition_784 is true.
Reachability property qltransition_38 is true.
Reachability property qltransition_37 is true.
Reachability property qltransition_35 is true.
Reachability property qltransition_34 is true.
Reachability property qltransition_33 is true.
Reachability property qltransition_32 is true.
Reachability property qltransition_31 is true.
Reachability property qltransition_30 is true.
Reachability property qltransition_29 is true.
Reachability property qltransition_28 is true.
Reachability property qltransition_27 is true.
Reachability property qltransition_26 is true.
Reachability property qltransition_25 is true.
Reachability property qltransition_24 is true.
Reachability property qltransition_23 is true.
Reachability property qltransition_22 is true.
Reachability property qltransition_21 is true.
SDD proceeding with computation,313 properties remain. new max is 2048
SDD size :1.36062e+25 after 2.15305e+44
Detected timeout of ITS tools.
[2022-05-20 08:59:30] [INFO ] Flatten gal took : 108 ms
[2022-05-20 08:59:30] [INFO ] Applying decomposition
[2022-05-20 08:59:30] [INFO ] Flatten gal took : 132 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/graph5638457204032958323.txt, -o, /tmp/graph5638457204032958323.bin, -w, /tmp/graph5638457204032958323.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/graph5638457204032958323.bin, -l, -1, -v, -w, /tmp/graph5638457204032958323.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-20 08:59:30] [INFO ] Decomposing Gal with order
[2022-05-20 08:59:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-20 08:59:31] [INFO ] Removed a total of 461 redundant transitions.
[2022-05-20 08:59:31] [INFO ] Flatten gal took : 93 ms
[2022-05-20 08:59:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 64 labels/synchronizations in 140 ms.
[2022-05-20 08:59:31] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14586045549426436174.gal : 14 ms
[2022-05-20 08:59:31] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17992902684364022687.prop : 2 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/ReachabilityCardinality14586045549426436174.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17992902684364022687.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/ReachabilityCardinality14586045549426436174.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17992902684364022687.prop --nowitness
Loading property file /tmp/ReachabilityCardinality17992902684364022687.prop.
SDD proceeding with computation,313 properties remain. new max is 4
SDD size :1 after 22
SDD proceeding with computation,313 properties remain. new max is 8
SDD size :22 after 22
SDD proceeding with computation,313 properties remain. new max is 16
SDD size :22 after 22
SDD proceeding with computation,313 properties remain. new max is 32
SDD size :22 after 22
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="ShieldPPPt-PT-100A"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2021"
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 gold2021"
echo " Input is ShieldPPPt-PT-100A, 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 r234-tall-165286038400432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-100A.tgz
mv ShieldPPPt-PT-100A 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 '
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 ;