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-165286038000212.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 ShieldIIPt-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-165286038000212
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 788K
-rw-r--r-- 1 mcc users 7.4K Apr 29 19:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Apr 29 19:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Apr 29 18:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Apr 29 18:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K May 9 08:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 9 08:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 9 08:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 9 08:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 9 08:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 9 08:51 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 539K 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 1653033020062

Running Version 0
[2022-05-20 07:50:21] [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 07:50:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-20 07:50:21] [INFO ] Load time of PNML (sax parser for PT used): 129 ms
[2022-05-20 07:50:21] [INFO ] Transformed 1903 places.
[2022-05-20 07:50:21] [INFO ] Transformed 1403 transitions.
[2022-05-20 07:50:21] [INFO ] Found NUPN structural information;
[2022-05-20 07:50:21] [INFO ] Parsed PT model containing 1903 places and 1403 transitions in 209 ms.
Starting structural reductions, iteration 0 : 1903/1903 places, 1403/1403 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 1903 transition count 1402
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 1 Pre rules applied. Total rules applied 1 place count 1903 transition count 1401
Deduced a syphon composed of 1 places in 23 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 3 place count 1902 transition count 1401
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 5 place count 1901 transition count 1400
Applied a total of 5 rules in 445 ms. Remains 1901 /1903 variables (removed 2) and now considering 1400/1403 (removed 3) transitions.
// Phase 1: matrix 1400 rows 1901 cols
[2022-05-20 07:50:22] [INFO ] Computed 901 place invariants in 30 ms
[2022-05-20 07:50:23] [INFO ] Implicit Places using invariants in 1489 ms returned [1893, 1894]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 1530 ms to find 2 implicit places.
// Phase 1: matrix 1400 rows 1899 cols
[2022-05-20 07:50:23] [INFO ] Computed 899 place invariants in 8 ms
[2022-05-20 07:50:24] [INFO ] Dead Transitions using invariants and state equation in 985 ms returned []
Starting structural reductions, iteration 1 : 1899/1903 places, 1400/1403 transitions.
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 0 place count 1899 transition count 1399
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 1898 transition count 1399
Applied a total of 2 rules in 96 ms. Remains 1898 /1899 variables (removed 1) and now considering 1399/1400 (removed 1) transitions.
// Phase 1: matrix 1399 rows 1898 cols
[2022-05-20 07:50:24] [INFO ] Computed 899 place invariants in 6 ms
[2022-05-20 07:50:25] [INFO ] Implicit Places using invariants in 1108 ms returned [1887]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 1113 ms to find 1 implicit places.
Starting structural reductions, iteration 2 : 1897/1903 places, 1399/1403 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 1896 transition count 1398
Applied a total of 2 rules in 116 ms. Remains 1896 /1897 variables (removed 1) and now considering 1398/1399 (removed 1) transitions.
// Phase 1: matrix 1398 rows 1896 cols
[2022-05-20 07:50:26] [INFO ] Computed 898 place invariants in 10 ms
[2022-05-20 07:50:27] [INFO ] Implicit Places using invariants in 1186 ms returned []
// Phase 1: matrix 1398 rows 1896 cols
[2022-05-20 07:50:27] [INFO ] Computed 898 place invariants in 7 ms
[2022-05-20 07:50:29] [INFO ] Implicit Places using invariants and state equation in 2709 ms returned []
Implicit Place search using SMT with State Equation took 3901 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 1896/1903 places, 1398/1403 transitions.
Discarding 399 transitions out of 1398. Remains 999
[2022-05-20 07:50:30] [INFO ] Initial state test concluded for 1 properties.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=11 ) properties (out of 998) seen :133
Running SMT prover for 865 properties.
// Phase 1: matrix 1398 rows 1896 cols
[2022-05-20 07:50:31] [INFO ] Computed 898 place invariants in 5 ms
[2022-05-20 07:50:56] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 865 Parikh solutions to 1 different solutions.
Support contains 1648 out of 1896 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1896/1896 places, 1398/1398 transitions.
Partial Free-agglomeration rule applied 24 times.
Drop transitions removed 24 transitions
Iterating global reduction 0 with 24 rules applied. Total rules applied 24 place count 1896 transition count 1398
Applied a total of 24 rules in 117 ms. Remains 1896 /1896 variables (removed 0) and now considering 1398/1398 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1896/1896 places, 1398/1398 transitions.
[2022-05-20 07:50:56] [INFO ] Flatten gal took : 324 ms
[2022-05-20 07:50:56] [INFO ] Flatten gal took : 179 ms
[2022-05-20 07:50:57] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5008634930908585858.gal : 57 ms
[2022-05-20 07:50:57] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4640713592838983645.prop : 5 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality5008634930908585858.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4640713592838983645.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/ReachabilityCardinality5008634930908585858.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4640713592838983645.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality4640713592838983645.prop.
SDD proceeding with computation,865 properties remain. new max is 4
SDD size :3 after 6
SDD proceeding with computation,865 properties remain. new max is 8
SDD size :6 after 14
SDD proceeding with computation,865 properties remain. new max is 16
SDD size :14 after 27
Reachability property qltransition_818 is true.
SDD proceeding with computation,864 properties remain. new max is 16
SDD size :27 after 53
Reachability property qltransition_875 is true.
Reachability property qltransition_874 is true.
Reachability property qltransition_868 is true.
Reachability property qltransition_867 is true.
Reachability property qltransition_861 is true.
Reachability property qltransition_860 is true.
Reachability property qltransition_854 is true.
Reachability property qltransition_853 is true.
Reachability property qltransition_847 is true.
Reachability property qltransition_846 is true.
Reachability property qltransition_840 is true.
Reachability property qltransition_839 is true.
Reachability property qltransition_833 is true.
Reachability property qltransition_832 is true.
Reachability property qltransition_826 is true.
Reachability property qltransition_825 is true.
Reachability property qltransition_819 is true.
Reachability property qltransition_679 is true.
Reachability property qltransition_677 is true.
Reachability property qltransition_675 is true.
Reachability property qltransition_673 is true.
Reachability property qltransition_524 is true.
Reachability property qltransition_522 is true.
Reachability property qltransition_520 is true.
Reachability property qltransition_518 is true.
Reachability property qltransition_516 is true.
SDD proceeding with computation,838 properties remain. new max is 16
SDD size :53 after 78
Reachability property qltransition_937 is true.
Reachability property qltransition_931 is true.
Reachability property qltransition_930 is true.
Reachability property qltransition_924 is true.
Reachability property qltransition_923 is true.
Reachability property qltransition_917 is true.
Reachability property qltransition_916 is true.
Reachability property qltransition_910 is true.
Reachability property qltransition_909 is true.
Reachability property qltransition_903 is true.
Reachability property qltransition_902 is true.
Reachability property qltransition_896 is true.
Reachability property qltransition_895 is true.
Reachability property qltransition_889 is true.
Reachability property qltransition_888 is true.
Reachability property qltransition_882 is true.
Reachability property qltransition_881 is true.
Reachability property qltransition_671 is true.
Reachability property qltransition_669 is true.
Reachability property qltransition_667 is true.
Reachability property qltransition_665 is true.
Reachability property qltransition_532 is true.
Reachability property qltransition_530 is true.
Reachability property qltransition_528 is true.
Reachability property qltransition_526 is true.
SDD proceeding with computation,813 properties remain. new max is 16
SDD size :78 after 104
Reachability property qltransition_994 is true.
Reachability property qltransition_993 is true.
Reachability property qltransition_987 is true.
Reachability property qltransition_986 is true.
Reachability property qltransition_980 is true.
Reachability property qltransition_979 is true.
Reachability property qltransition_973 is true.
Reachability property qltransition_972 is true.
Reachability property qltransition_966 is true.
Reachability property qltransition_965 is true.
Reachability property qltransition_959 is true.
Reachability property qltransition_958 is true.
Reachability property qltransition_952 is true.
Reachability property qltransition_951 is true.
Reachability property qltransition_945 is true.
Reachability property qltransition_944 is true.
Reachability property qltransition_938 is true.
Reachability property qltransition_663 is true.
Reachability property qltransition_661 is true.
Reachability property qltransition_659 is true.
Reachability property qltransition_657 is true.
Reachability property qltransition_655 is true.
Reachability property qltransition_540 is true.
Reachability property qltransition_538 is true.
Reachability property qltransition_536 is true.
Reachability property qltransition_534 is true.
SDD proceeding with computation,787 properties remain. new max is 16
SDD size :104 after 129
Reachability property qltransition_1056 is true.
Reachability property qltransition_1050 is true.
Reachability property qltransition_1049 is true.
Reachability property qltransition_1043 is true.
Reachability property qltransition_1042 is true.
Reachability property qltransition_1036 is true.
Reachability property qltransition_1035 is true.
Reachability property qltransition_1029 is true.
Reachability property qltransition_1028 is true.
Reachability property qltransition_1022 is true.
Reachability property qltransition_1021 is true.
Reachability property qltransition_1015 is true.
Reachability property qltransition_1014 is true.
Reachability property qltransition_1008 is true.
Reachability property qltransition_1007 is true.
Reachability property qltransition_1001 is true.
Reachability property qltransition_1000 is true.
Reachability property qltransition_653 is true.
Reachability property qltransition_651 is true.
Reachability property qltransition_649 is true.
Reachability property qltransition_647 is true.
Reachability property qltransition_548 is true.
Reachability property qltransition_546 is true.
Reachability property qltransition_544 is true.
Reachability property qltransition_542 is true.
SDD proceeding with computation,762 properties remain. new max is 16
SDD size :129 after 155
Reachability property qltransition_1113 is true.
Reachability property qltransition_1112 is true.
Reachability property qltransition_1106 is true.
Reachability property qltransition_1105 is true.
Reachability property qltransition_1099 is true.
Reachability property qltransition_1098 is true.
Reachability property qltransition_1092 is true.
Reachability property qltransition_1091 is true.
Reachability property qltransition_1085 is true.
Reachability property qltransition_1084 is true.
Reachability property qltransition_1078 is true.
Reachability property qltransition_1077 is true.
Reachability property qltransition_1071 is true.
Reachability property qltransition_1070 is true.
Reachability property qltransition_1064 is true.
Reachability property qltransition_1063 is true.
Reachability property qltransition_1057 is true.
Reachability property qltransition_645 is true.
Reachability property qltransition_643 is true.
Reachability property qltransition_641 is true.
Reachability property qltransition_639 is true.
Reachability property qltransition_558 is true.
Reachability property qltransition_556 is true.
Reachability property qltransition_554 is true.
Reachability property qltransition_552 is true.
Reachability property qltransition_550 is true.
SDD proceeding with computation,736 properties remain. new max is 16
SDD size :155 after 180
Reachability property qltransition_1175 is true.
Reachability property qltransition_1169 is true.
Reachability property qltransition_1168 is true.
Reachability property qltransition_1162 is true.
Reachability property qltransition_1161 is true.
Reachability property qltransition_1155 is true.
Reachability property qltransition_1154 is true.
Reachability property qltransition_1148 is true.
Reachability property qltransition_1147 is true.
Reachability property qltransition_1141 is true.
Reachability property qltransition_1140 is true.
Reachability property qltransition_1134 is true.
Reachability property qltransition_1133 is true.
Reachability property qltransition_1127 is true.
Reachability property qltransition_1126 is true.
Reachability property qltransition_1120 is true.
Reachability property qltransition_1119 is true.
Detected timeout of ITS tools.
[2022-05-20 07:51:12] [INFO ] Flatten gal took : 158 ms
[2022-05-20 07:51:12] [INFO ] Applying decomposition
[2022-05-20 07:51:12] [INFO ] Flatten gal took : 112 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/graph4896286813469444407.txt, -o, /tmp/graph4896286813469444407.bin, -w, /tmp/graph4896286813469444407.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/graph4896286813469444407.bin, -l, -1, -v, -w, /tmp/graph4896286813469444407.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-20 07:51:12] [INFO ] Decomposing Gal with order
[2022-05-20 07:51:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-20 07:51:13] [INFO ] Removed a total of 310 redundant transitions.
[2022-05-20 07:51:13] [INFO ] Flatten gal took : 332 ms
[2022-05-20 07:51:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 149 ms.
[2022-05-20 07:51:14] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16958582135976063590.gal : 32 ms
[2022-05-20 07:51:14] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13649923246057671377.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/ReachabilityCardinality16958582135976063590.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality13649923246057671377.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/ReachabilityCardinality16958582135976063590.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality13649923246057671377.prop --nowitness
Loading property file /tmp/ReachabilityCardinality13649923246057671377.prop.
SDD proceeding with computation,719 properties remain. new max is 4
SDD size :1 after 1622
SDD proceeding with computation,719 properties remain. new max is 8
SDD size :1622 after 1622
SDD proceeding with computation,719 properties remain. new max is 16
SDD size :1622 after 4.41713e+07
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin2428305591173833273
[2022-05-20 07:51:29] [INFO ] Built C files in 56ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2428305591173833273
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/ltsmin2428305591173833273]
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/ltsmin2428305591173833273] 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/ltsmin2428305591173833273] 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 480793 steps, including 1 resets, run timeout after 30001 ms. (steps per millisecond=16 ) properties seen :{73=1, 75=1, 78=1, 79=1, 80=1, 81=1, 82=1, 83=1, 84=1, 85=1, 86=1, 87=1, 88=1, 89=1, 90=1, 91=1, 92=1, 94=1, 95=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, 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, 264=1, 268=1, 269=1, 273=1, 274=1, 275=1, 276=1, 277=1, 278=1, 279=1, 286=1, 287=1, 288=1, 289=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) 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 633) seen :0
Running SMT prover for 633 properties.
// Phase 1: matrix 1398 rows 1896 cols
[2022-05-20 07:52:01] [INFO ] Computed 898 place invariants in 14 ms
[2022-05-20 07:52:21] [INFO ] [Real]Absence check using 898 positive place invariants in 148 ms returned sat
[2022-05-20 07:52:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-20 07:53:21] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:633
[2022-05-20 07:53:40] [INFO ] [Nat]Absence check using 898 positive place invariants in 149 ms returned sat
[2022-05-20 07:54:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-20 07:55:01] [INFO ] [Nat]Absence check using state equation in 61366 ms returned unsat :0 sat :633
[2022-05-20 07:55:01] [INFO ] State equation strengthened by 13 read => feed constraints.
[2022-05-20 07:55:01] [INFO ] [Nat]Added 13 Read/Feed constraints in 2 ms returned sat
Attempting to minimize the solution found.
Minimization took 56948 ms.
[2022-05-20 07:57:04] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :633
Fused 633 Parikh solutions to 531 different solutions.
Incomplete Parikh walk after 1819 steps, including 16 resets, run finished after 115 ms. (steps per millisecond=15 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1820 steps, including 16 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1823 steps, including 16 resets, run finished after 111 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1825 steps, including 16 resets, run finished after 111 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1828 steps, including 16 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1830 steps, including 16 resets, run finished after 114 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1844 steps, including 16 resets, run finished after 115 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1838 steps, including 16 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1851 steps, including 16 resets, run finished after 113 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1852 steps, including 16 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1855 steps, including 16 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1837 steps, including 16 resets, run finished after 111 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1840 steps, including 16 resets, run finished after 111 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1842 steps, including 16 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1845 steps, including 16 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1855 steps, including 16 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1857 steps, including 16 resets, run finished after 116 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1859 steps, including 16 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1855 steps, including 16 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1772 steps, including 8 resets, run finished after 106 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1785 steps, including 8 resets, run finished after 108 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1805 steps, including 8 resets, run finished after 110 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1822 steps, including 8 resets, run finished after 111 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1821 steps, including 8 resets, run finished after 111 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1826 steps, including 8 resets, run finished after 111 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1827 steps, including 9 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1829 steps, including 9 resets, run finished after 114 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1823 steps, including 8 resets, run finished after 111 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1807 steps, including 8 resets, run finished after 110 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1813 steps, including 8 resets, run finished after 110 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1827 steps, including 9 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1833 steps, including 9 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1837 steps, including 9 resets, run finished after 114 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1840 steps, including 8 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1845 steps, including 8 resets, run finished after 112 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1855 steps, including 9 resets, run finished after 113 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1624 steps, including 12 resets, run finished after 102 ms. (steps per millisecond=15 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1623 steps, including 12 resets, run finished after 100 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1622 steps, including 12 resets, run finished after 99 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1624 steps, including 12 resets, run finished after 99 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1998 steps, including 14 resets, run finished after 122 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2012 steps, including 14 resets, run finished after 124 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2014 steps, including 14 resets, run finished after 123 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2036 steps, including 14 resets, run finished after 124 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2035 steps, including 14 resets, run finished after 124 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2084 steps, including 15 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1900 steps, including 14 resets, run finished after 119 ms. (steps per millisecond=15 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1901 steps, including 14 resets, run finished after 116 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1901 steps, including 14 resets, run finished after 117 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1899 steps, including 14 resets, run finished after 117 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1905 steps, including 14 resets, run finished after 117 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1906 steps, including 14 resets, run finished after 116 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1912 steps, including 14 resets, run finished after 117 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1911 steps, including 14 resets, run finished after 117 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1913 steps, including 14 resets, run finished after 117 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1915 steps, including 14 resets, run finished after 117 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1914 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=15 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1916 steps, including 14 resets, run finished after 117 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1918 steps, including 14 resets, run finished after 120 ms. (steps per millisecond=15 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1919 steps, including 14 resets, run finished after 118 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1918 steps, including 14 resets, run finished after 118 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1911 steps, including 14 resets, run finished after 117 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1910 steps, including 14 resets, run finished after 116 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2205 steps, including 10 resets, run finished after 135 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2190 steps, including 10 resets, run finished after 134 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2189 steps, including 10 resets, run finished after 137 ms. (steps per millisecond=15 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2188 steps, including 10 resets, run finished after 136 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2187 steps, including 10 resets, run finished after 134 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2188 steps, including 11 resets, run finished after 134 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2189 steps, including 10 resets, run finished after 134 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2188 steps, including 10 resets, run finished after 134 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2195 steps, including 10 resets, run finished after 135 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2195 steps, including 10 resets, run finished after 135 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2196 steps, including 10 resets, run finished after 135 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2195 steps, including 11 resets, run finished after 138 ms. (steps per millisecond=15 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2194 steps, including 10 resets, run finished after 135 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2195 steps, including 10 resets, run finished after 134 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2194 steps, including 11 resets, run finished after 134 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2195 steps, including 11 resets, run finished after 135 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2194 steps, including 10 resets, run finished after 135 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2196 steps, including 10 resets, run finished after 135 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2200 steps, including 10 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2204 steps, including 10 resets, run finished after 138 ms. (steps per millisecond=15 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2195 steps, including 10 resets, run finished after 134 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2178 steps, including 10 resets, run finished after 133 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2172 steps, including 10 resets, run finished after 133 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2237 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2237 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2241 steps, including 11 resets, run finished after 138 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2240 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2239 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2239 steps, including 11 resets, run finished after 140 ms. (steps per millisecond=15 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2244 steps, including 11 resets, run finished after 138 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2245 steps, including 11 resets, run finished after 138 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2242 steps, including 10 resets, run finished after 138 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2238 steps, including 11 resets, run finished after 138 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2245 steps, including 11 resets, run finished after 140 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2251 steps, including 11 resets, run finished after 138 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2233 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2232 steps, including 11 resets, run finished after 139 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2228 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2229 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2231 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2236 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2233 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2236 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2235 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2232 steps, including 11 resets, run finished after 139 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2239 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2238 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2237 steps, including 11 resets, run finished after 138 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2236 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2239 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2238 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2233 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2232 steps, including 11 resets, run finished after 137 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2224 steps, including 11 resets, run finished after 138 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2228 steps, including 11 resets, run finished after 136 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2231 steps, including 11 resets, run finished after 138 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2307 steps, including 10 resets, run finished after 140 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2298 steps, including 10 resets, run finished after 139 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2298 steps, including 10 resets, run finished after 139 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2298 steps, including 11 resets, run finished after 141 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2288 steps, including 10 resets, run finished after 140 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2287 steps, including 10 resets, run finished after 141 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2286 steps, including 10 resets, run finished after 141 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2288 steps, including 10 resets, run finished after 139 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2291 steps, including 10 resets, run finished after 139 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2290 steps, including 10 resets, run finished after 139 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2303 steps, including 10 resets, run finished after 140 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2302 steps, including 10 resets, run finished after 140 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2304 steps, including 10 resets, run finished after 139 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2303 steps, including 10 resets, run finished after 150 ms. (steps per millisecond=15 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2303 steps, including 10 resets, run finished after 140 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2312 steps, including 10 resets, run finished after 140 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2301 steps, including 10 resets, run finished after 139 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2310 steps, including 10 resets, run finished after 141 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2315 steps, including 10 resets, run finished after 141 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2316 steps, including 10 resets, run finished after 141 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2319 steps, including 10 resets, run finished after 141 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2347 steps, including 11 resets, run finished after 143 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2346 steps, including 11 resets, run finished after 144 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2345 steps, including 11 resets, run finished after 142 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2342 steps, including 11 resets, run finished after 142 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2342 steps, including 11 resets, run finished after 144 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2341 steps, including 11 resets, run finished after 142 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2344 steps, including 10 resets, run finished after 142 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2350 steps, including 11 resets, run finished after 143 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2339 steps, including 15 resets, run finished after 143 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2341 steps, including 15 resets, run finished after 144 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2349 steps, including 15 resets, run finished after 143 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2348 steps, including 15 resets, run finished after 144 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2347 steps, including 15 resets, run finished after 143 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2346 steps, including 15 resets, run finished after 143 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2340 steps, including 15 resets, run finished after 143 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2335 steps, including 15 resets, run finished after 142 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2071 steps, including 11 resets, run finished after 126 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2069 steps, including 11 resets, run finished after 128 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2045 steps, including 11 resets, run finished after 125 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2067 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2062 steps, including 11 resets, run finished after 126 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2061 steps, including 11 resets, run finished after 126 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2062 steps, including 11 resets, run finished after 126 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2061 steps, including 11 resets, run finished after 125 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2061 steps, including 11 resets, run finished after 125 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2061 steps, including 11 resets, run finished after 126 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2063 steps, including 11 resets, run finished after 126 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2062 steps, including 11 resets, run finished after 128 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2060 steps, including 11 resets, run finished after 126 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2059 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2054 steps, including 11 resets, run finished after 125 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2052 steps, including 11 resets, run finished after 125 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2048 steps, including 11 resets, run finished after 125 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2051 steps, including 11 resets, run finished after 125 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2050 steps, including 11 resets, run finished after 125 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2042 steps, including 11 resets, run finished after 125 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2039 steps, including 11 resets, run finished after 126 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2055 steps, including 11 resets, run finished after 125 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2065 steps, including 11 resets, run finished after 126 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2100 steps, including 11 resets, run finished after 128 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2099 steps, including 11 resets, run finished after 128 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2098 steps, including 11 resets, run finished after 128 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2104 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2102 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2106 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2106 steps, including 11 resets, run finished after 131 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2105 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2111 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2109 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2113 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2113 steps, including 11 resets, run finished after 131 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2112 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2115 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2110 steps, including 11 resets, run finished after 130 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2111 steps, including 11 resets, run finished after 131 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2110 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2109 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2110 steps, including 11 resets, run finished after 128 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2115 steps, including 11 resets, run finished after 131 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2113 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2113 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2112 steps, including 11 resets, run finished after 131 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2113 steps, including 11 resets, run finished after 130 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2120 steps, including 11 resets, run finished after 132 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2115 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2114 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2109 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2105 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2104 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2103 steps, including 11 resets, run finished after 131 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2101 steps, including 11 resets, run finished after 128 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2099 steps, including 11 resets, run finished after 128 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2095 steps, including 11 resets, run finished after 130 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2094 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2093 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2063 steps, including 11 resets, run finished after 126 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2046 steps, including 11 resets, run finished after 126 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2045 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2048 steps, including 11 resets, run finished after 126 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2050 steps, including 11 resets, run finished after 125 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2049 steps, including 11 resets, run finished after 125 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2059 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=15 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2068 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2067 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2075 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2074 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2080 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2079 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2078 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2083 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2086 steps, including 11 resets, run finished after 129 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2085 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2084 steps, including 11 resets, run finished after 128 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2083 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2082 steps, including 11 resets, run finished after 127 ms. (steps per millisecond=16 ) properties (out of 633) seen :0 could not realise parikh vector
Support contains 1238 out of 1896 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1896/1896 places, 1398/1398 transitions.
Partial Free-agglomeration rule applied 25 times.
Drop transitions removed 25 transitions
Iterating global reduction 0 with 25 rules applied. Total rules applied 25 place count 1896 transition count 1398
Applied a total of 25 rules in 90 ms. Remains 1896 /1896 variables (removed 0) and now considering 1398/1398 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1896/1896 places, 1398/1398 transitions.
[2022-05-20 07:57:34] [INFO ] Flatten gal took : 139 ms
[2022-05-20 07:57:34] [INFO ] Flatten gal took : 99 ms
[2022-05-20 07:57:34] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1816284028441231879.gal : 6 ms
[2022-05-20 07:57:34] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5475860350799837532.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/ReachabilityCardinality1816284028441231879.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5475860350799837532.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/ReachabilityCardinality1816284028441231879.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5475860350799837532.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality5475860350799837532.prop.
SDD proceeding with computation,633 properties remain. new max is 4
SDD size :3 after 6
SDD proceeding with computation,633 properties remain. new max is 8
SDD size :6 after 14
SDD proceeding with computation,633 properties remain. new max is 16
SDD size :14 after 27
SDD proceeding with computation,633 properties remain. new max is 32
SDD size :27 after 53
SDD proceeding with computation,633 properties remain. new max is 64
SDD size :53 after 102
Reachability property qltransition_637 is true.
Reachability property qltransition_635 is true.
Reachability property qltransition_633 is true.
Reachability property qltransition_564 is true.
Reachability property qltransition_562 is true.
Reachability property qltransition_560 is true.
SDD proceeding with computation,627 properties remain. new max is 64
SDD size :102 after 200
Reachability property qltransition_1386 is true.
Reachability property qltransition_1385 is true.
Reachability property qltransition_1379 is true.
Reachability property qltransition_1378 is true.
Reachability property qltransition_1372 is true.
Reachability property qltransition_1371 is true.
Reachability property qltransition_1365 is true.
Reachability property qltransition_1364 is true.
Reachability property qltransition_1358 is true.
Reachability property qltransition_1357 is true.
Reachability property qltransition_1351 is true.
Reachability property qltransition_1350 is true.
Reachability property qltransition_1344 is true.
Reachability property qltransition_1343 is true.
Reachability property qltransition_1337 is true.
Reachability property qltransition_1336 is true.
Reachability property qltransition_1330 is true.
Reachability property qltransition_1329 is true.
Reachability property qltransition_1323 is true.
Reachability property qltransition_1322 is true.
Reachability property qltransition_1316 is true.
Reachability property qltransition_1315 is true.
Reachability property qltransition_1309 is true.
Reachability property qltransition_1308 is true.
Reachability property qltransition_1302 is true.
Reachability property qltransition_1301 is true.
Reachability property qltransition_1295 is true.
Reachability property qltransition_1294 is true.
Reachability property qltransition_1288 is true.
Reachability property qltransition_1287 is true.
Reachability property qltransition_1281 is true.
Reachability property qltransition_1280 is true.
Reachability property qltransition_1274 is true.
Reachability property qltransition_1273 is true.
Reachability property qltransition_1267 is true.
Reachability property qltransition_1266 is true.
Reachability property qltransition_1260 is true.
Reachability property qltransition_1259 is true.
Reachability property qltransition_1253 is true.
Reachability property qltransition_1252 is true.
Reachability property qltransition_1246 is true.
Reachability property qltransition_1245 is true.
Reachability property qltransition_1239 is true.
Reachability property qltransition_1238 is true.
Reachability property qltransition_1232 is true.
Reachability property qltransition_1231 is true.
Reachability property qltransition_1225 is true.
Reachability property qltransition_1224 is true.
Reachability property qltransition_1218 is true.
Reachability property qltransition_1217 is true.
Reachability property qltransition_1211 is true.
Reachability property qltransition_1210 is true.
Reachability property qltransition_1204 is true.
Reachability property qltransition_1203 is true.
Reachability property qltransition_1197 is true.
Reachability property qltransition_1196 is true.
Reachability property qltransition_1190 is true.
Reachability property qltransition_1189 is true.
Reachability property qltransition_1183 is true.
Reachability property qltransition_1182 is true.
Reachability property qltransition_1176 is true.
Reachability property qltransition_631 is true.
Reachability property qltransition_629 is true.
Reachability property qltransition_627 is true.
Reachability property qltransition_625 is true.
Reachability property qltransition_623 is true.
Reachability property qltransition_621 is true.
Reachability property qltransition_619 is true.
Reachability property qltransition_617 is true.
Reachability property qltransition_615 is true.
Reachability property qltransition_613 is true.
Reachability property qltransition_611 is true.
Reachability property qltransition_609 is true.
Reachability property qltransition_607 is true.
Reachability property qltransition_605 is true.
Reachability property qltransition_603 is true.
Reachability property qltransition_601 is true.
Reachability property qltransition_599 is true.
Reachability property qltransition_596 is true.
Reachability property qltransition_594 is true.
Reachability property qltransition_592 is true.
Reachability property qltransition_590 is true.
Reachability property qltransition_588 is true.
Reachability property qltransition_586 is true.
Reachability property qltransition_584 is true.
Reachability property qltransition_582 is true.
Reachability property qltransition_580 is true.
Reachability property qltransition_578 is true.
Reachability property qltransition_576 is true.
Reachability property qltransition_574 is true.
Reachability property qltransition_572 is true.
Reachability property qltransition_570 is true.
Reachability property qltransition_568 is true.
Reachability property qltransition_566 is true.
SDD proceeding with computation,533 properties remain. new max is 64
SDD size :200 after 297
Reachability property qltransition_1394 is true.
Reachability property qltransition_1393 is true.
Reachability property qltransition_1392 is true.
Reachability property qltransition_1391 is true.
Reachability property qltransition_1390 is true.
Reachability property qltransition_1389 is true.
Reachability property qltransition_1388 is true.
Reachability property qltransition_600 is true.
Reachability property qltransition_598 is true.
Reachability property qltransition_597 is true.
Reachability property qltransition_0 is true.
SDD proceeding with computation,522 properties remain. new max is 64
SDD size :297 after 577
Reachability property qltransition_1387 is true.
Reachability property qltransition_1384 is true.
Reachability property qltransition_1383 is true.
Reachability property qltransition_1382 is true.
Reachability property qltransition_1381 is true.
Reachability property qltransition_595 is true.
Reachability property qltransition_1 is true.
SDD proceeding with computation,515 properties remain. new max is 64
SDD size :577 after 10532
SDD proceeding with computation,515 properties remain. new max is 128
SDD size :10532 after 50502
Detected timeout of ITS tools.
[2022-05-20 07:57:50] [INFO ] Flatten gal took : 103 ms
[2022-05-20 07:57:50] [INFO ] Applying decomposition
[2022-05-20 07:57:50] [INFO ] Flatten gal took : 107 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/graph8255665037859223080.txt, -o, /tmp/graph8255665037859223080.bin, -w, /tmp/graph8255665037859223080.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/graph8255665037859223080.bin, -l, -1, -v, -w, /tmp/graph8255665037859223080.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-20 07:57:50] [INFO ] Decomposing Gal with order
[2022-05-20 07:57:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-20 07:57:50] [INFO ] Removed a total of 322 redundant transitions.
[2022-05-20 07:57:50] [INFO ] Flatten gal took : 102 ms
[2022-05-20 07:57:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 47 ms.
[2022-05-20 07:57:51] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3913391492124247000.gal : 16 ms
[2022-05-20 07:57:51] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12190525910474810447.prop : 7 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/ReachabilityCardinality3913391492124247000.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12190525910474810447.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/ReachabilityCardinality3913391492124247000.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12190525910474810447.prop --nowitness
Loading property file /tmp/ReachabilityCardinality12190525910474810447.prop.
SDD proceeding with computation,515 properties remain. new max is 4
SDD size :1 after 7649
SDD proceeding with computation,515 properties remain. new max is 8
SDD size :7649 after 7649
SDD proceeding with computation,515 properties remain. new max is 16
SDD size :7649 after 69633
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin4387600746047647898
[2022-05-20 07:58:06] [INFO ] Built C files in 26ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4387600746047647898
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/ltsmin4387600746047647898]
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/ltsmin4387600746047647898] 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/ltsmin4387600746047647898] 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 701054 steps, including 2 resets, run timeout after 30001 ms. (steps per millisecond=23 ) properties seen :{61=1, 62=1, 63=1, 64=1, 65=1, 66=1, 67=1, 68=1, 69=1, 70=1, 71=1, 72=1, 73=1, 74=1, 75=1, 76=1, 77=1, 78=1, 79=1, 141=1, 142=1, 143=1, 144=1, 145=1, 146=1, 147=1, 148=1, 149=1, 150=1, 151=1, 152=1, 153=1, 154=1, 155=1, 156=1, 157=1, 158=1, 159=1, 160=1, 161=1, 162=1, 163=1, 164=1, 165=1, 166=1, 167=1, 168=1, 169=1, 170=1, 171=1, 172=1, 173=1, 174=1, 175=1, 176=1, 177=1, 178=1, 179=1, 180=1, 181=1, 182=1, 183=1, 184=1, 185=1, 186=1, 187=1, 188=1, 189=1, 190=1, 191=1, 192=1, 193=1, 194=1, 195=1, 196=1, 197=1, 198=1, 199=1, 200=1, 201=1, 202=1, 203=1, 204=1, 205=1, 206=1, 207=1, 208=1}
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=75 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=79 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=78 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=78 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=78 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=82 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=78 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=79 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=78 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=79 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=82 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=78 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=79 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=82 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=77 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=79 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=79 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 428) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 428) seen :0
Running SMT prover for 428 properties.
// Phase 1: matrix 1398 rows 1896 cols
[2022-05-20 07:58:43] [INFO ] Computed 898 place invariants in 19 ms
[2022-05-20 07:58:57] [INFO ] [Real]Absence check using 898 positive place invariants in 153 ms returned sat
[2022-05-20 07:59:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-20 07:59:38] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:428
[2022-05-20 07:59:51] [INFO ] [Nat]Absence check using 898 positive place invariants in 141 ms returned sat
[2022-05-20 08:00:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-20 08:00:54] [INFO ] [Nat]Absence check using state equation in 50081 ms returned unsat :0 sat :428
[2022-05-20 08:00:54] [INFO ] State equation strengthened by 26 read => feed constraints.
[2022-05-20 08:00:54] [INFO ] [Nat]Added 26 Read/Feed constraints in 2 ms returned sat
Attempting to minimize the solution found.
Minimization took 32808 ms.
[2022-05-20 08:02:01] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :428
Fused 428 Parikh solutions to 362 different solutions.
Incomplete Parikh walk after 1525 steps, including 26 resets, run finished after 71 ms. (steps per millisecond=21 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1544 steps, including 26 resets, run finished after 65 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1586 steps, including 26 resets, run finished after 66 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1585 steps, including 26 resets, run finished after 66 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1740 steps, including 29 resets, run finished after 73 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1838 steps, including 31 resets, run finished after 78 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1840 steps, including 31 resets, run finished after 78 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1842 steps, including 31 resets, run finished after 78 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1844 steps, including 30 resets, run finished after 86 ms. (steps per millisecond=21 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1850 steps, including 31 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1856 steps, including 31 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1859 steps, including 31 resets, run finished after 78 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1862 steps, including 31 resets, run finished after 78 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1861 steps, including 31 resets, run finished after 78 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1862 steps, including 31 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1843 steps, including 30 resets, run finished after 77 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1842 steps, including 31 resets, run finished after 77 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1836 steps, including 31 resets, run finished after 77 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1830 steps, including 30 resets, run finished after 77 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1831 steps, including 31 resets, run finished after 78 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1833 steps, including 31 resets, run finished after 89 ms. (steps per millisecond=20 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1836 steps, including 31 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1854 steps, including 31 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1860 steps, including 31 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1861 steps, including 31 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1863 steps, including 31 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1865 steps, including 31 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1838 steps, including 31 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1831 steps, including 31 resets, run finished after 78 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1832 steps, including 30 resets, run finished after 78 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1837 steps, including 30 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1842 steps, including 31 resets, run finished after 78 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1841 steps, including 31 resets, run finished after 82 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1843 steps, including 31 resets, run finished after 78 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1842 steps, including 31 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1841 steps, including 31 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1844 steps, including 31 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1850 steps, including 31 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1849 steps, including 31 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1852 steps, including 31 resets, run finished after 79 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1855 steps, including 31 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1855 steps, including 31 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1856 steps, including 31 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1855 steps, including 31 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1854 steps, including 31 resets, run finished after 83 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1873 steps, including 31 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1875 steps, including 31 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2138 steps, including 32 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2138 steps, including 33 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2140 steps, including 32 resets, run finished after 90 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2147 steps, including 32 resets, run finished after 90 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2166 steps, including 32 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2190 steps, including 33 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2189 steps, including 34 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2188 steps, including 33 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2192 steps, including 33 resets, run finished after 97 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2194 steps, including 34 resets, run finished after 91 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2191 steps, including 33 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2181 steps, including 33 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2180 steps, including 33 resets, run finished after 90 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2175 steps, including 33 resets, run finished after 90 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2174 steps, including 33 resets, run finished after 91 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2162 steps, including 33 resets, run finished after 90 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2161 steps, including 33 resets, run finished after 91 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2165 steps, including 33 resets, run finished after 91 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2164 steps, including 33 resets, run finished after 113 ms. (steps per millisecond=19 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2163 steps, including 33 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2162 steps, including 33 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2166 steps, including 33 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2160 steps, including 33 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2156 steps, including 32 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1906 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1906 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1906 steps, including 10 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1915 steps, including 10 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1906 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1906 steps, including 10 resets, run finished after 87 ms. (steps per millisecond=21 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1908 steps, including 10 resets, run finished after 83 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1893 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1892 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1893 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1892 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1891 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1890 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1896 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1901 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1895 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1899 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1903 steps, including 10 resets, run finished after 86 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1902 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1905 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1907 steps, including 10 resets, run finished after 79 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1915 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1903 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1899 steps, including 10 resets, run finished after 79 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1910 steps, including 10 resets, run finished after 79 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1939 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1938 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1937 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1943 steps, including 10 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1941 steps, including 10 resets, run finished after 85 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1939 steps, including 10 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1930 steps, including 10 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1929 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1916 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1915 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1917 steps, including 10 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1921 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1919 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1918 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1917 steps, including 10 resets, run finished after 79 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1925 steps, including 10 resets, run finished after 85 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1921 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1920 steps, including 10 resets, run finished after 79 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1919 steps, including 10 resets, run finished after 79 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1918 steps, including 10 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1923 steps, including 10 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1920 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1923 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1923 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1922 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1920 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1924 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1916 steps, including 10 resets, run finished after 84 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1916 steps, including 10 resets, run finished after 79 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1915 steps, including 10 resets, run finished after 79 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1913 steps, including 10 resets, run finished after 79 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1911 steps, including 10 resets, run finished after 79 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1911 steps, including 10 resets, run finished after 79 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1922 steps, including 10 resets, run finished after 79 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1921 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1924 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1925 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1924 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1927 steps, including 10 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1926 steps, including 10 resets, run finished after 85 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1927 steps, including 10 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1927 steps, including 10 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1926 steps, including 10 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1924 steps, including 10 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1927 steps, including 10 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1889 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1888 steps, including 10 resets, run finished after 80 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1883 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1882 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1914 steps, including 10 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1913 steps, including 10 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1912 steps, including 10 resets, run finished after 84 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1946 steps, including 10 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1957 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1937 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1936 steps, including 11 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1946 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1946 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1947 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1950 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1949 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1948 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1950 steps, including 11 resets, run finished after 85 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1953 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1952 steps, including 11 resets, run finished after 81 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1951 steps, including 11 resets, run finished after 80 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1951 steps, including 11 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1949 steps, including 11 resets, run finished after 81 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1948 steps, including 11 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1947 steps, including 11 resets, run finished after 81 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1945 steps, including 11 resets, run finished after 81 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1941 steps, including 11 resets, run finished after 81 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1948 steps, including 11 resets, run finished after 81 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1947 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1949 steps, including 11 resets, run finished after 85 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1948 steps, including 11 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1947 steps, including 11 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1948 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1947 steps, including 11 resets, run finished after 84 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1945 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1944 steps, including 11 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1942 steps, including 11 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1952 steps, including 11 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1958 steps, including 11 resets, run finished after 82 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1957 steps, including 11 resets, run finished after 81 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1956 steps, including 10 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1957 steps, including 11 resets, run finished after 90 ms. (steps per millisecond=21 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1947 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1946 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1945 steps, including 11 resets, run finished after 83 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2187 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2186 steps, including 16 resets, run finished after 107 ms. (steps per millisecond=20 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2185 steps, including 16 resets, run finished after 94 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2184 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2190 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2189 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2188 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2187 steps, including 16 resets, run finished after 95 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2191 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2190 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2191 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2191 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2207 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2206 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2224 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2222 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2220 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2213 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2212 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2202 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2205 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2193 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2191 steps, including 16 resets, run finished after 90 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2190 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2170 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2169 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2176 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2174 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2179 steps, including 16 resets, run finished after 94 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2178 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2177 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2181 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2181 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2183 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2183 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2182 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2184 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2182 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2181 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2186 steps, including 16 resets, run finished after 94 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2184 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2183 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2219 steps, including 16 resets, run finished after 94 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2228 steps, including 16 resets, run finished after 94 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2194 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2214 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2213 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2206 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2204 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2203 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2203 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2202 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2203 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2201 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2199 steps, including 16 resets, run finished after 90 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2198 steps, including 16 resets, run finished after 90 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2197 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2197 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2207 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2206 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2199 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2198 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2197 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2196 steps, including 16 resets, run finished after 93 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2196 steps, including 16 resets, run finished after 91 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2195 steps, including 16 resets, run finished after 89 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2196 steps, including 16 resets, run finished after 89 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2200 steps, including 16 resets, run finished after 90 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2199 steps, including 16 resets, run finished after 90 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2198 steps, including 16 resets, run finished after 90 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2197 steps, including 16 resets, run finished after 95 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2195 steps, including 16 resets, run finished after 89 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2193 steps, including 16 resets, run finished after 90 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2192 steps, including 16 resets, run finished after 92 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2414 steps, including 14 resets, run finished after 100 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2416 steps, including 15 resets, run finished after 99 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2412 steps, including 14 resets, run finished after 97 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2436 steps, including 15 resets, run finished after 99 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2426 steps, including 15 resets, run finished after 98 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2425 steps, including 14 resets, run finished after 98 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2418 steps, including 15 resets, run finished after 102 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2417 steps, including 15 resets, run finished after 97 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2416 steps, including 14 resets, run finished after 97 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2415 steps, including 15 resets, run finished after 98 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2419 steps, including 15 resets, run finished after 98 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2420 steps, including 15 resets, run finished after 98 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2419 steps, including 15 resets, run finished after 97 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2418 steps, including 15 resets, run finished after 97 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2417 steps, including 15 resets, run finished after 97 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2418 steps, including 14 resets, run finished after 97 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2418 steps, including 14 resets, run finished after 102 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2419 steps, including 15 resets, run finished after 98 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2418 steps, including 14 resets, run finished after 97 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2417 steps, including 14 resets, run finished after 99 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2420 steps, including 15 resets, run finished after 100 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2419 steps, including 15 resets, run finished after 100 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2418 steps, including 14 resets, run finished after 101 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2416 steps, including 14 resets, run finished after 99 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2415 steps, including 14 resets, run finished after 99 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2405 steps, including 15 resets, run finished after 100 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2404 steps, including 14 resets, run finished after 104 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2415 steps, including 14 resets, run finished after 99 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1756 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1763 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1749 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1747 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1746 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1745 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1746 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1749 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1747 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1746 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1749 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1747 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1745 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1744 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1747 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1745 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 1744 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2565 steps, including 4 resets, run finished after 107 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2561 steps, including 4 resets, run finished after 108 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2569 steps, including 4 resets, run finished after 108 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2577 steps, including 4 resets, run finished after 107 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2576 steps, including 4 resets, run finished after 113 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2578 steps, including 4 resets, run finished after 107 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2577 steps, including 4 resets, run finished after 106 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2575 steps, including 4 resets, run finished after 107 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2574 steps, including 4 resets, run finished after 107 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2573 steps, including 4 resets, run finished after 107 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2574 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2577 steps, including 4 resets, run finished after 110 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2574 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2572 steps, including 4 resets, run finished after 117 ms. (steps per millisecond=21 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2573 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2573 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2572 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2570 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2569 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2568 steps, including 4 resets, run finished after 110 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2565 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2568 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2577 steps, including 4 resets, run finished after 114 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2576 steps, including 4 resets, run finished after 107 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2590 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2580 steps, including 4 resets, run finished after 108 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2579 steps, including 4 resets, run finished after 107 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2578 steps, including 4 resets, run finished after 107 ms. (steps per millisecond=24 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2589 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2588 steps, including 4 resets, run finished after 110 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2587 steps, including 4 resets, run finished after 114 ms. (steps per millisecond=22 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2596 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2595 steps, including 4 resets, run finished after 110 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2594 steps, including 4 resets, run finished after 110 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2595 steps, including 4 resets, run finished after 110 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2598 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2596 steps, including 4 resets, run finished after 109 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Incomplete Parikh walk after 2595 steps, including 4 resets, run finished after 110 ms. (steps per millisecond=23 ) properties (out of 428) seen :0 could not realise parikh vector
Support contains 857 out of 1896 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1896/1896 places, 1398/1398 transitions.
Partial Free-agglomeration rule applied 28 times.
Drop transitions removed 28 transitions
Iterating global reduction 0 with 28 rules applied. Total rules applied 28 place count 1896 transition count 1398
Applied a total of 28 rules in 91 ms. Remains 1896 /1896 variables (removed 0) and now considering 1398/1398 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1896/1896 places, 1398/1398 transitions.
[2022-05-20 08:02:31] [INFO ] Flatten gal took : 101 ms
[2022-05-20 08:02:31] [INFO ] Flatten gal took : 101 ms
[2022-05-20 08:02:31] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10071118527197740809.gal : 9 ms
[2022-05-20 08:02:31] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7573326682567784896.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/ReachabilityCardinality10071118527197740809.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7573326682567784896.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/ReachabilityCardinality10071118527197740809.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7573326682567784896.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality7573326682567784896.prop.
SDD proceeding with computation,428 properties remain. new max is 4
SDD size :3 after 6
SDD proceeding with computation,428 properties remain. new max is 8
SDD size :6 after 14
SDD proceeding with computation,428 properties remain. new max is 16
SDD size :14 after 27
SDD proceeding with computation,428 properties remain. new max is 32
SDD size :27 after 53
SDD proceeding with computation,428 properties remain. new max is 64
SDD size :53 after 102
SDD proceeding with computation,428 properties remain. new max is 128
SDD size :102 after 200
SDD proceeding with computation,428 properties remain. new max is 256
SDD size :200 after 523
SDD proceeding with computation,428 properties remain. new max is 512
SDD size :523 after 47624
Reachability property qltransition_1380 is true.
Reachability property qltransition_1377 is true.
Reachability property qltransition_1376 is true.
Reachability property qltransition_1375 is true.
Reachability property qltransition_1374 is true.
Reachability property qltransition_602 is true.
Reachability property qltransition_2 is true.
SDD proceeding with computation,421 properties remain. new max is 512
SDD size :47624 after 1.14607e+07
SDD proceeding with computation,421 properties remain. new max is 1024
SDD size :1.14607e+07 after 1.27969e+08
Reachability property qltransition_1373 is true.
Reachability property qltransition_1370 is true.
Reachability property qltransition_1369 is true.
Reachability property qltransition_1368 is true.
Reachability property qltransition_1367 is true.
Reachability property qltransition_593 is true.
Reachability property qltransition_3 is true.
SDD proceeding with computation,414 properties remain. new max is 1024
SDD size :1.27969e+08 after 6.54278e+10
Reachability property qltransition_1366 is true.
Reachability property qltransition_1363 is true.
Reachability property qltransition_1362 is true.
Reachability property qltransition_1361 is true.
Reachability property qltransition_1360 is true.
Reachability property qltransition_604 is true.
Detected timeout of ITS tools.
[2022-05-20 08:02:47] [INFO ] Flatten gal took : 100 ms
[2022-05-20 08:02:47] [INFO ] Applying decomposition
[2022-05-20 08:02:47] [INFO ] Flatten gal took : 98 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/graph12276745045078216910.txt, -o, /tmp/graph12276745045078216910.bin, -w, /tmp/graph12276745045078216910.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/graph12276745045078216910.bin, -l, -1, -v, -w, /tmp/graph12276745045078216910.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-20 08:02:47] [INFO ] Decomposing Gal with order
[2022-05-20 08:02:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-20 08:02:47] [INFO ] Removed a total of 337 redundant transitions.
[2022-05-20 08:02:47] [INFO ] Flatten gal took : 85 ms
[2022-05-20 08:02:47] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 45 ms.
[2022-05-20 08:02:47] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8091903188771119822.gal : 14 ms
[2022-05-20 08:02:47] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14558716434125182425.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/ReachabilityCardinality8091903188771119822.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14558716434125182425.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/ReachabilityCardinality8091903188771119822.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14558716434125182425.prop --nowitness
Loading property file /tmp/ReachabilityCardinality14558716434125182425.prop.
SDD proceeding with computation,408 properties remain. new max is 4
SDD size :1 after 762
SDD proceeding with computation,408 properties remain. new max is 8
SDD size :762 after 762
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7482126824702530669
[2022-05-20 08:03:02] [INFO ] Built C files in 19ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7482126824702530669
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/ltsmin7482126824702530669]
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/ltsmin7482126824702530669] 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/ltsmin7482126824702530669] 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 764251 steps, including 2 resets, run timeout after 30001 ms. (steps per millisecond=25 ) properties seen :{}
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=78 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=79 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=78 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=78 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=79 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=76 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=74 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=78 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=78 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=84 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=83 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=82 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=83 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=84 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=84 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=84 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=82 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=83 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=79 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=78 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=82 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 121 ms. (steps per millisecond=82 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=79 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=78 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=78 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=80 ) properties (out of 408) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=80 ) properties (out of 408) seen :0
Finished probabilistic random walk after 200875 steps, run visited all 408 properties in 5308 ms. (steps per millisecond=37 )
Probabilistic random walk after 200875 steps, saw 198680 distinct states, run finished after 5314 ms. (steps per millisecond=37 ) properties seen :{0=1, 1=1, 2=1, 3=1, 4=1, 5=1, 6=1, 7=1, 8=1, 9=1, 10=1, 11=1, 12=1, 13=1, 14=1, 15=1, 16=1, 17=1, 18=1, 19=1, 20=1, 21=1, 22=1, 23=1, 24=1, 25=1, 26=1, 27=1, 28=1, 29=1, 30=1, 31=1, 32=1, 33=1, 34=1, 35=1, 36=1, 37=1, 38=1, 39=1, 40=1, 41=1, 42=1, 43=1, 44=1, 45=1, 46=1, 47=1, 48=1, 49=1, 50=1, 51=1, 52=1, 53=1, 54=1, 55=1, 56=1, 57=1, 58=1, 59=1, 60=1, 61=1, 62=1, 63=1, 64=1, 65=1, 66=1, 67=1, 68=1, 69=1, 70=1, 71=1, 72=1, 73=1, 74=1, 75=1, 76=1, 77=1, 78=1, 79=1, 80=1, 81=1, 82=1, 83=1, 84=1, 85=1, 86=1, 87=1, 88=1, 89=1, 90=1, 91=1, 92=1, 93=1, 94=1, 95=1, 96=1, 97=1, 98=1, 99=1, 100=1, 101=1, 102=1, 103=1, 104=1, 105=1, 106=1, 107=1, 108=1, 109=1, 110=1, 111=1, 112=1, 113=1, 114=1, 115=1, 116=1, 117=1, 118=1, 119=1, 120=1, 121=1, 122=1, 123=1, 124=1, 125=1, 126=1, 127=1, 128=1, 129=1, 130=1, 131=1, 132=1, 133=1, 134=1, 135=1, 136=1, 137=1, 138=1, 139=1, 140=1, 141=1, 142=1, 143=1, 144=1, 145=1, 146=1, 147=1, 148=1, 149=1, 150=1, 151=1, 152=1, 153=1, 154=1, 155=1, 156=1, 157=1, 158=1, 159=1, 160=1, 161=1, 162=1, 163=1, 164=1, 165=1, 166=1, 167=1, 168=1, 169=1, 170=1, 171=1, 172=1, 173=1, 174=1, 175=1, 176=1, 177=1, 178=1, 179=1, 180=1, 181=1, 182=1, 183=1, 184=1, 185=1, 186=1, 187=1, 188=1, 189=1, 190=1, 191=1, 192=1, 193=1, 194=1, 195=1, 196=1, 197=1, 198=1, 199=1, 200=1, 201=1, 202=1, 203=1, 204=1, 205=1, 206=1, 207=1, 208=1, 209=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, 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, 264=1, 265=1, 266=1, 267=1, 268=1, 269=1, 270=1, 271=1, 272=1, 273=1, 274=1, 275=1, 276=1, 277=1, 278=1, 279=1, 280=1, 281=1, 282=1, 283=1, 284=1, 285=1, 286=1, 287=1, 288=1, 289=1, 290=1, 291=1, 292=1, 293=1, 294=1, 295=1, 296=1, 297=1, 298=1, 299=1, 300=1, 301=1, 302=1, 303=1, 304=1, 305=1, 306=1, 307=1, 308=1, 309=1, 310=1, 311=1, 312=1, 313=1, 314=1, 315=1, 316=1, 317=1, 318=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}
Able to resolve query QuasiLiveness after proving 999 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK PROBABILISTIC_WALK DECISION_DIAGRAMS COLLATERAL_PROCESSING TOPOLOGICAL INITIAL_STATE

BK_STOP 1653033826458

--------------------
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="ShieldIIPt-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 ShieldIIPt-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-165286038000212"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-100A.tgz
mv ShieldIIPt-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 '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;