About the Execution of 2021-gold for LamportFastMutEx-COL-7
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7456.163 | 3600000.00 | 14229951.00 | 299.70 | TT?TTTTTFFFFFTTT | normal |
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.r143-tall-165271830300144.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 LamportFastMutEx-COL-7, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r143-tall-165271830300144
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 6.9K Apr 29 19:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Apr 29 19:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Apr 29 19:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Apr 29 19:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 10 09:34 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K May 9 08:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 9 08:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 9 08:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 9 08:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Apr 29 19:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 70K Apr 29 19:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Apr 29 19:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Apr 29 19:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 9 08:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 9 08:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_pt
-rw-r--r-- 1 mcc users 2 May 10 09:34 instance
-rw-r--r-- 1 mcc users 5 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 43K 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
here is the order used to build the result vector(from text file)
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-00
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-01
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-02
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-03
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-04
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-05
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-06
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-07
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-08
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-09
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-10
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-11
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-12
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-13
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-14
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1655069039969
Running Version 0
[2022-06-12 21:24:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -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, 3600]
[2022-06-12 21:24:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-12 21:24:01] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2022-06-12 21:24:01] [WARNING] Using fallBack plugin, rng conformance not checked
[2022-06-12 21:24:02] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 633 ms
[2022-06-12 21:24:02] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 264 PT places and 672.0 transition bindings in 16 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 11 ms.
Working with output stream class java.io.PrintStream
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2022-06-12 21:24:02] [INFO ] Built PT skeleton of HLPN with 18 places and 17 transitions in 3 ms.
[2022-06-12 21:24:02] [INFO ] Skeletonized HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1000_16689708940005920872.dot
Reduce places removed 3 places and 0 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2022-06-12 21:24:02] [INFO ] Flatten gal took : 17 ms
[2022-06-12 21:24:02] [INFO ] Flatten gal took : 3 ms
[2022-06-12 21:24:02] [INFO ] Unfolded HLPN to a Petri net with 264 places and 536 transitions in 20 ms.
[2022-06-12 21:24:02] [INFO ] Unfolded HLPN properties in 1 ms.
Successfully produced net in file /tmp/petri1001_9525973811902159913.dot
[2022-06-12 21:24:02] [INFO ] Initial state test concluded for 2 properties.
Deduced a syphon composed of 45 places in 3 ms
Reduce places removed 45 places and 74 transitions.
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 2 resets, run finished after 103 ms. (steps per millisecond=97 ) properties (out of 13) seen :12
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-12 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityFireability-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 266 ms. (steps per millisecond=37 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
[2022-06-12 21:24:02] [INFO ] Flow matrix only has 336 transitions (discarded 126 similar events)
// Phase 1: matrix 336 rows 219 cols
[2022-06-12 21:24:02] [INFO ] Computed 65 place invariants in 19 ms
[2022-06-12 21:24:02] [INFO ] [Real]Absence check using 65 positive place invariants in 27 ms returned sat
[2022-06-12 21:24:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:03] [INFO ] [Real]Absence check using state equation in 122 ms returned sat
[2022-06-12 21:24:03] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:24:03] [INFO ] [Nat]Absence check using 65 positive place invariants in 24 ms returned sat
[2022-06-12 21:24:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:03] [INFO ] [Nat]Absence check using state equation in 142 ms returned sat
[2022-06-12 21:24:03] [INFO ] State equation strengthened by 105 read => feed constraints.
[2022-06-12 21:24:03] [INFO ] [Nat]Added 105 Read/Feed constraints in 13 ms returned sat
[2022-06-12 21:24:03] [INFO ] Deduced a trap composed of 21 places in 108 ms of which 5 ms to minimize.
[2022-06-12 21:24:03] [INFO ] Deduced a trap composed of 8 places in 87 ms of which 2 ms to minimize.
[2022-06-12 21:24:03] [INFO ] Deduced a trap composed of 37 places in 74 ms of which 1 ms to minimize.
[2022-06-12 21:24:03] [INFO ] Deduced a trap composed of 37 places in 64 ms of which 1 ms to minimize.
[2022-06-12 21:24:03] [INFO ] Deduced a trap composed of 32 places in 65 ms of which 1 ms to minimize.
[2022-06-12 21:24:03] [INFO ] Deduced a trap composed of 17 places in 58 ms of which 0 ms to minimize.
[2022-06-12 21:24:04] [INFO ] Deduced a trap composed of 9 places in 58 ms of which 1 ms to minimize.
[2022-06-12 21:24:04] [INFO ] Deduced a trap composed of 9 places in 55 ms of which 1 ms to minimize.
[2022-06-12 21:24:04] [INFO ] Deduced a trap composed of 9 places in 67 ms of which 0 ms to minimize.
[2022-06-12 21:24:04] [INFO ] Deduced a trap composed of 30 places in 55 ms of which 1 ms to minimize.
[2022-06-12 21:24:04] [INFO ] Deduced a trap composed of 20 places in 58 ms of which 0 ms to minimize.
[2022-06-12 21:24:04] [INFO ] Deduced a trap composed of 21 places in 59 ms of which 0 ms to minimize.
[2022-06-12 21:24:04] [INFO ] Deduced a trap composed of 17 places in 64 ms of which 0 ms to minimize.
[2022-06-12 21:24:04] [INFO ] Deduced a trap composed of 12 places in 70 ms of which 0 ms to minimize.
[2022-06-12 21:24:04] [INFO ] Deduced a trap composed of 22 places in 98 ms of which 1 ms to minimize.
[2022-06-12 21:24:04] [INFO ] Deduced a trap composed of 25 places in 92 ms of which 1 ms to minimize.
[2022-06-12 21:24:04] [INFO ] Deduced a trap composed of 19 places in 75 ms of which 0 ms to minimize.
[2022-06-12 21:24:04] [INFO ] Deduced a trap composed of 9 places in 73 ms of which 1 ms to minimize.
[2022-06-12 21:24:05] [INFO ] Deduced a trap composed of 14 places in 63 ms of which 1 ms to minimize.
[2022-06-12 21:24:05] [INFO ] Deduced a trap composed of 23 places in 60 ms of which 0 ms to minimize.
[2022-06-12 21:24:05] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 1769 ms
[2022-06-12 21:24:05] [INFO ] Computed and/alt/rep : 301/1778/301 causal constraints (skipped 28 transitions) in 26 ms.
[2022-06-12 21:24:07] [INFO ] Added : 284 causal constraints over 57 iterations in 2000 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 24 ms.
Incomplete Parikh walk after 106400 steps, including 1000 resets, run finished after 387 ms. (steps per millisecond=274 ) properties (out of 1) seen :0 could not realise parikh vector
Support contains 197 out of 219 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 219/219 places, 462/462 transitions.
Applied a total of 0 rules in 23 ms. Remains 219 /219 variables (removed 0) and now considering 462/462 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 219/219 places, 462/462 transitions.
[2022-06-12 21:24:07] [INFO ] Flatten gal took : 46 ms
[2022-06-12 21:24:07] [INFO ] Flatten gal took : 37 ms
[2022-06-12 21:24:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4919474596532649014.gal : 13 ms
[2022-06-12 21:24:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2201912551520268528.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/ReachabilityCardinality4919474596532649014.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2201912551520268528.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/ReachabilityCardinality4919474596532649014.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2201912551520268528.prop --nowitness --gen-order FOLLOW
/tmp/ReachabilityCardinality4919474596532649014.gal(222) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(222) : error 3 : , at offset 23
near [Index: 1980 (Start: 37932584-Stop: 37932584) ='-', type<22> Line: 222 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(222) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(228) : error 3 : , at offset 23
near [Index: 2040 (Start: 37932746-Stop: 37932746) ='-', type<22> Line: 228 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(228) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(234) : error 3 : , at offset 23
near [Index: 2100 (Start: 37932908-Stop: 37932908) ='-', type<22> Line: 234 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(234) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(240) : error 3 : , at offset 23
near [Index: 2160 (Start: 37933070-Stop: 37933070) ='-', type<22> Line: 240 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(240) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(246) : error 3 : , at offset 23
near [Index: 2220 (Start: 37933232-Stop: 37933232) ='-', type<22> Line: 246 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(246) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(252) : error 3 : , at offset 23
near [Index: 2280 (Start: 37933397-Stop: 37933397) ='-', type<22> Line: 252 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(252) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(258) : error 3 : , at offset 23
near [Index: 2340 (Start: 37933562-Stop: 37933562) ='-', type<22> Line: 258 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(258) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(264) : error 3 : , at offset 23
near [Index: 2400 (Start: 37933727-Stop: 37933727) ='-', type<22> Line: 264 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(264) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(268) : error 3 : , at offset 23
near [Index: 2444 (Start: 37933849-Stop: 37933849) ='-', type<22> Line: 268 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(268) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(272) : error 3 : , at offset 23
near [Index: 2488 (Start: 37933971-Stop: 37933971) ='-', type<22> Line: 272 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(272) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(276) : error 3 : , at offset 23
near [Index: 2532 (Start: 37934093-Stop: 37934093) ='-', type<22> Line: 276 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(276) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(280) : error 3 : , at offset 23
near [Index: 2576 (Start: 37934215-Stop: 37934215) ='-', type<22> Line: 280 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(284) : error 3 : , at offset 23
near [Index: 2620 (Start: 37934338-Stop: 37934338) ='-', type<22> Line: 284 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(284) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(288) : error 3 : , at offset 23
near [Index: 2664 (Start: 37934461-Stop: 37934461) ='-', type<22> Line: 288 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(288) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(810) : error 3 : , at offset 23
near [Index: 7902 (Start: 37948367-Stop: 37948367) ='-', type<22> Line: 810 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(810) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(814) : error 3 : , at offset 23
near [Index: 7946 (Start: 37948489-Stop: 37948489) ='-', type<22> Line: 814 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(814) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(818) : error 3 : , at offset 23
near [Index: 7990 (Start: 37948611-Stop: 37948611) ='-', type<22> Line: 818 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(818) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(822) : error 3 : , at offset 23
near [Index: 8034 (Start: 37948733-Stop: 37948733) ='-', type<22> Line: 822 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(822) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(826) : error 3 : , at offset 23
near [Index: 8078 (Start: 37948855-Stop: 37948855) ='-', type<22> Line: 826 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(826) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(830) : error 3 : , at offset 23
near [Index: 8122 (Start: 37948978-Stop: 37948978) ='-', type<22> Line: 830 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(830) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(834) : error 3 : , at offset 23
near [Index: 8166 (Start: 37949101-Stop: 37949101) ='-', type<22> Line: 834 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(834) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(838) : error 3 : , at offset 23
near [Index: 8210 (Start: 37949224-Stop: 37949224) ='-', type<22> Line: 838 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(838) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(844) : error 3 : , at offset 23
near [Index: 8270 (Start: 37949386-Stop: 37949386) ='-', type<22> Line: 844 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(844) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(850) : error 3 : , at offset 23
near [Index: 8330 (Start: 37949548-Stop: 37949548) ='-', type<22> Line: 850 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(850) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(856) : error 3 : , at offset 23
near [Index: 8390 (Start: 37949710-Stop: 37949710) ='-', type<22> Line: 856 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(856) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(862) : error 3 : , at offset 23
near [Index: 8450 (Start: 37949872-Stop: 37949872) ='-', type<22> Line: 862 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(862) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(868) : error 3 : , at offset 23
near [Index: 8510 (Start: 37950037-Stop: 37950037) ='-', type<22> Line: 868 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(868) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(874) : error 3 : , at offset 23
near [Index: 8570 (Start: 37950202-Stop: 37950202) ='-', type<22> Line: 874 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(874) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1454) : error 3 : , at offset 24
near [Index: 14412 (Start: 37965978-Stop: 37965978) ='-', type<22> Line: 1454 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1454) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1458) : error 3 : , at offset 24
near [Index: 14456 (Start: 37966105-Stop: 37966105) ='-', type<22> Line: 1458 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1458) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1462) : error 3 : , at offset 24
near [Index: 14500 (Start: 37966232-Stop: 37966232) ='-', type<22> Line: 1462 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1462) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1466) : error 3 : , at offset 24
near [Index: 14544 (Start: 37966359-Stop: 37966359) ='-', type<22> Line: 1466 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1466) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1470) : error 3 : , at offset 24
near [Index: 14588 (Start: 37966486-Stop: 37966486) ='-', type<22> Line: 1470 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1470) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1474) : error 3 : , at offset 24
near [Index: 14632 (Start: 37966614-Stop: 37966614) ='-', type<22> Line: 1474 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1474) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1478) : error 3 : , at offset 24
near [Index: 14676 (Start: 37966742-Stop: 37966742) ='-', type<22> Line: 1478 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1478) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1482) : error 3 : , at offset 24
near [Index: 14720 (Start: 37966870-Stop: 37966870) ='-', type<22> Line: 1482 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1482) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1488) : error 3 : , at offset 24
near [Index: 14780 (Start: 37967037-Stop: 37967037) ='-', type<22> Line: 1488 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1488) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1494) : error 3 : , at offset 24
near [Index: 14840 (Start: 37967204-Stop: 37967204) ='-', type<22> Line: 1494 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1494) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1500) : error 3 : , at offset 24
near [Index: 14900 (Start: 37967371-Stop: 37967371) ='-', type<22> Line: 1500 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1500) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1506) : error 3 : , at offset 24
near [Index: 14960 (Start: 37967538-Stop: 37967538) ='-', type<22> Line: 1506 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1506) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1512) : error 3 : , at offset 24
near [Index: 15020 (Start: 37967708-Stop: 37967708) ='-', type<22> Line: 1512 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1512) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(1518) : error 3 : , at offset 24
near [Index: 15080 (Start: 37967878-Stop: 37967878) ='-', type<22> Line: 1518 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(1518) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2448) : error 3 : , at offset 24
near [Index: 25024 (Start: 37995055-Stop: 37995055) ='-', type<22> Line: 2448 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(2448) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2452) : error 3 : , at offset 24
near [Index: 25068 (Start: 37995181-Stop: 37995181) ='-', type<22> Line: 2452 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(2452) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2456) : error 3 : , at offset 24
near [Index: 25112 (Start: 37995307-Stop: 37995307) ='-', type<22> Line: 2456 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(2456) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2460) : error 3 : , at offset 24
near [Index: 25156 (Start: 37995433-Stop: 37995433) ='-', type<22> Line: 2460 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(2460) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2464) : error 3 : , at offset 24
near [Index: 25200 (Start: 37995559-Stop: 37995559) ='-', type<22> Line: 2464 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(2464) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2468) : error 3 : , at offset 24
near [Index: 25244 (Start: 37995686-Stop: 37995686) ='-', type<22> Line: 2468 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(2468) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2472) : error 3 : , at offset 24
near [Index: 25288 (Start: 37995813-Stop: 37995813) ='-', type<22> Line: 2472 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(2472) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2476) : error 3 : , at offset 24
near [Index: 25332 (Start: 37995940-Stop: 37995940) ='-', type<22> Line: 2476 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(2476) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2482) : error 3 : , at offset 24
near [Index: 25392 (Start: 37996106-Stop: 37996106) ='-', type<22> Line: 2482 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(2482) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2488) : error 3 : , at offset 24
near [Index: 25452 (Start: 37996272-Stop: 37996272) ='-', type<22> Line: 2488 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(2488) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2494) : error 3 : , at offset 24
near [Index: 25512 (Start: 37996438-Stop: 37996438) ='-', type<22> Line: 2494 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(2494) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2500) : error 3 : , at offset 24
near [Index: 25572 (Start: 37996604-Stop: 37996604) ='-', type<22> Line: 2500 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(2500) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2506) : error 3 : , at offset 24
near [Index: 25632 (Start: 37996773-Stop: 37996773) ='-', type<22> Line: 2506 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality4919474596532649014.gal(2506) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality4919474596532649014.gal(2512) : error 3 : , at offset 24
near [Index: 25692 (Start: 37996942-Stop: 37996942) ='-', type<22> Line: 2512 LinePos:24]
: cannot match to any predicted input...
The parser returned 112 errors, parsing aborted
ITS-tools command line returned an error code 1
[2022-06-12 21:24:07] [INFO ] Flatten gal took : 33 ms
[2022-06-12 21:24:07] [INFO ] Applying decomposition
[2022-06-12 21:24:07] [INFO ] Flatten gal took : 35 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph8363684269915936753.txt, -o, /tmp/graph8363684269915936753.bin, -w, /tmp/graph8363684269915936753.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/graph8363684269915936753.bin, -l, -1, -v, -w, /tmp/graph8363684269915936753.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-12 21:24:08] [INFO ] Decomposing Gal with order
[2022-06-12 21:24:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-12 21:24:08] [INFO ] Removed a total of 721 redundant transitions.
[2022-06-12 21:24:08] [INFO ] Flatten gal took : 70 ms
[2022-06-12 21:24:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 60 labels/synchronizations in 17 ms.
[2022-06-12 21:24:08] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14060533357006395594.gal : 8 ms
[2022-06-12 21:24:08] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5265644752184445351.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality14060533357006395594.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5265644752184445351.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/ReachabilityCardinality14060533357006395594.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5265644752184445351.prop --nowitness
/tmp/ReachabilityCardinality14060533357006395594.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(7) : error 3 : , at offset 23
near [Index: 45 (Start: -1469149049-Stop: -1469149049) ='-', type<22> Line: 7 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(12) : error 3 : , at offset 23
near [Index: 101 (Start: -1469148887-Stop: -1469148887) ='-', type<22> Line: 12 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(12) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(15) : error 3 : , at offset 23
near [Index: 141 (Start: -1469148765-Stop: -1469148765) ='-', type<22> Line: 15 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(15) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(17) : error 3 : , at offset 23
near [Index: 165 (Start: -1469148689-Stop: -1469148689) ='-', type<22> Line: 17 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(17) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(24) : error 3 : , at offset 24
near [Index: 231 (Start: -1469148488-Stop: -1469148488) ='-', type<22> Line: 24 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(24) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(27) : error 3 : , at offset 24
near [Index: 263 (Start: -1469148383-Stop: -1469148383) ='-', type<22> Line: 27 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(27) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(35) : error 3 : , at offset 24
near [Index: 341 (Start: -1469148136-Stop: -1469148136) ='-', type<22> Line: 35 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(35) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(38) : error 3 : , at offset 24
near [Index: 373 (Start: -1469148032-Stop: -1469148032) ='-', type<22> Line: 38 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(38) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(49) : error 3 : , at offset 23
near [Index: 464 (Start: -1469147791-Stop: -1469147791) ='-', type<22> Line: 49 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(49) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(68) : error 3 : , at offset 23
near [Index: 648 (Start: -1469147233-Stop: -1469147233) ='-', type<22> Line: 68 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(68) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(103) : error 3 : , at offset 24
near [Index: 979 (Start: -1469146242-Stop: -1469146242) ='-', type<22> Line: 103 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(103) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(127) : error 3 : , at offset 23
near [Index: 1185 (Start: -1469145606-Stop: -1469145606) ='-', type<22> Line: 127 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(127) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(154) : error 3 : , at offset 24
near [Index: 1426 (Start: -1469144830-Stop: -1469144830) ='-', type<22> Line: 154 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(154) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(252) : error 3 : , at offset 23
near [Index: 2278 (Start: -1469142231-Stop: -1469142231) ='-', type<22> Line: 252 LinePos:23]
: cannot match to any predicted input...
ITS-tools command line returned an error code 1
/tmp/ReachabilityCardinality14060533357006395594.gal(252) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(257) : error 3 : , at offset 23
near [Index: 2334 (Start: -1469142066-Stop: -1469142066) ='-', type<22> Line: 257 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(257) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(260) : error 3 : , at offset 23
near [Index: 2374 (Start: -1469141943-Stop: -1469141943) ='-', type<22> Line: 260 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(260) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(262) : error 3 : , at offset 23
near [Index: 2398 (Start: -1469141866-Stop: -1469141866) ='-', type<22> Line: 262 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(262) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(269) : error 3 : , at offset 24
near [Index: 2464 (Start: -1469141662-Stop: -1469141662) ='-', type<22> Line: 269 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(272) : error 3 : , at offset 24
near [Index: 2496 (Start: -1469141556-Stop: -1469141556) ='-', type<22> Line: 272 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(272) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(280) : error 3 : , at offset 24
near [Index: 2574 (Start: -1469141306-Stop: -1469141306) ='-', type<22> Line: 280 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(283) : error 3 : , at offset 24
near [Index: 2606 (Start: -1469141201-Stop: -1469141201) ='-', type<22> Line: 283 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(283) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(294) : error 3 : , at offset 23
near [Index: 2697 (Start: -1469140956-Stop: -1469140956) ='-', type<22> Line: 294 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(294) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(313) : error 3 : , at offset 23
near [Index: 2881 (Start: -1469140398-Stop: -1469140398) ='-', type<22> Line: 313 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(313) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(428) : error 3 : , at offset 23
near [Index: 3886 (Start: -1469137312-Stop: -1469137312) ='-', type<22> Line: 428 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(428) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(455) : error 3 : , at offset 24
near [Index: 4127 (Start: -1469136536-Stop: -1469136536) ='-', type<22> Line: 455 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(455) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(464) : error 3 : , at offset 23
near [Index: 4202 (Start: -1469136326-Stop: -1469136326) ='-', type<22> Line: 464 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(464) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(469) : error 3 : , at offset 23
near [Index: 4258 (Start: -1469136161-Stop: -1469136161) ='-', type<22> Line: 469 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(469) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(472) : error 3 : , at offset 23
near [Index: 4298 (Start: -1469136038-Stop: -1469136038) ='-', type<22> Line: 472 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(472) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(474) : error 3 : , at offset 23
near [Index: 4322 (Start: -1469135961-Stop: -1469135961) ='-', type<22> Line: 474 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(474) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(481) : error 3 : , at offset 24
near [Index: 4388 (Start: -1469135757-Stop: -1469135757) ='-', type<22> Line: 481 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(481) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(484) : error 3 : , at offset 24
near [Index: 4420 (Start: -1469135651-Stop: -1469135651) ='-', type<22> Line: 484 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(484) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(492) : error 3 : , at offset 24
near [Index: 4498 (Start: -1469135401-Stop: -1469135401) ='-', type<22> Line: 492 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(492) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(495) : error 3 : , at offset 24
near [Index: 4530 (Start: -1469135296-Stop: -1469135296) ='-', type<22> Line: 495 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(495) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(506) : error 3 : , at offset 23
near [Index: 4621 (Start: -1469135051-Stop: -1469135051) ='-', type<22> Line: 506 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(506) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(525) : error 3 : , at offset 23
near [Index: 4805 (Start: -1469134493-Stop: -1469134493) ='-', type<22> Line: 525 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(525) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(560) : error 3 : , at offset 24
near [Index: 5136 (Start: -1469133502-Stop: -1469133502) ='-', type<22> Line: 560 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(560) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(584) : error 3 : , at offset 23
near [Index: 5342 (Start: -1469132866-Stop: -1469132866) ='-', type<22> Line: 584 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(584) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(611) : error 3 : , at offset 24
near [Index: 5583 (Start: -1469132090-Stop: -1469132090) ='-', type<22> Line: 611 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(611) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(730) : error 3 : , at offset 24
near [Index: 6639 (Start: -1469128869-Stop: -1469128869) ='-', type<22> Line: 730 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(730) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(763) : error 3 : , at offset 24
near [Index: 6948 (Start: -1469127939-Stop: -1469127939) ='-', type<22> Line: 763 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(763) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(775) : error 3 : , at offset 23
near [Index: 7053 (Start: -1469127630-Stop: -1469127630) ='-', type<22> Line: 775 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(775) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(801) : error 3 : , at offset 24
near [Index: 7307 (Start: -1469126858-Stop: -1469126858) ='-', type<22> Line: 801 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(801) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(816) : error 3 : , at offset 24
near [Index: 7436 (Start: -1469126447-Stop: -1469126447) ='-', type<22> Line: 816 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(816) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(825) : error 3 : , at offset 23
near [Index: 7511 (Start: -1469126239-Stop: -1469126239) ='-', type<22> Line: 825 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(825) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(830) : error 3 : , at offset 23
near [Index: 7567 (Start: -1469126077-Stop: -1469126077) ='-', type<22> Line: 830 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(830) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(833) : error 3 : , at offset 23
near [Index: 7607 (Start: -1469125955-Stop: -1469125955) ='-', type<22> Line: 833 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(833) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(835) : error 3 : , at offset 23
near [Index: 7631 (Start: -1469125879-Stop: -1469125879) ='-', type<22> Line: 835 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(835) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(842) : error 3 : , at offset 24
near [Index: 7697 (Start: -1469125678-Stop: -1469125678) ='-', type<22> Line: 842 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(842) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(845) : error 3 : , at offset 24
near [Index: 7729 (Start: -1469125573-Stop: -1469125573) ='-', type<22> Line: 845 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(845) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(853) : error 3 : , at offset 24
near [Index: 7807 (Start: -1469125326-Stop: -1469125326) ='-', type<22> Line: 853 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(853) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(856) : error 3 : , at offset 24
near [Index: 7839 (Start: -1469125222-Stop: -1469125222) ='-', type<22> Line: 856 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(856) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(867) : error 3 : , at offset 23
near [Index: 7930 (Start: -1469124981-Stop: -1469124981) ='-', type<22> Line: 867 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(867) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(886) : error 3 : , at offset 23
near [Index: 8114 (Start: -1469124423-Stop: -1469124423) ='-', type<22> Line: 886 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(886) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(912) : error 3 : , at offset 23
near [Index: 8342 (Start: -1469123726-Stop: -1469123726) ='-', type<22> Line: 912 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(912) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1022) : error 3 : , at offset 23
near [Index: 9305 (Start: -1469120761-Stop: -1469120761) ='-', type<22> Line: 1022 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1022) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1026) : error 3 : , at offset 23
near [Index: 9345 (Start: -1469120645-Stop: -1469120645) ='-', type<22> Line: 1026 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1026) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1028) : error 3 : , at offset 23
near [Index: 9369 (Start: -1469120569-Stop: -1469120569) ='-', type<22> Line: 1028 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1028) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1030) : error 3 : , at offset 23
near [Index: 9393 (Start: -1469120493-Stop: -1469120493) ='-', type<22> Line: 1030 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1030) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1034) : error 3 : , at offset 24
near [Index: 9433 (Start: -1469120376-Stop: -1469120376) ='-', type<22> Line: 1034 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1034) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1037) : error 3 : , at offset 24
near [Index: 9465 (Start: -1469120271-Stop: -1469120271) ='-', type<22> Line: 1037 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1037) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1052) : error 3 : , at offset 23
near [Index: 9595 (Start: -1469119911-Stop: -1469119911) ='-', type<22> Line: 1052 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1052) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1080) : error 3 : , at offset 23
near [Index: 9867 (Start: -1469119119-Stop: -1469119119) ='-', type<22> Line: 1080 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1080) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1197) : error 3 : , at offset 23
near [Index: 10894 (Start: -1469115973-Stop: -1469115973) ='-', type<22> Line: 1197 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1197) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1219) : error 3 : , at offset 23
near [Index: 11089 (Start: -1469115374-Stop: -1469115374) ='-', type<22> Line: 1219 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1219) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1224) : error 3 : , at offset 23
near [Index: 11145 (Start: -1469115212-Stop: -1469115212) ='-', type<22> Line: 1224 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1224) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1227) : error 3 : , at offset 23
near [Index: 11185 (Start: -1469115090-Stop: -1469115090) ='-', type<22> Line: 1227 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1227) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1229) : error 3 : , at offset 23
near [Index: 11209 (Start: -1469115014-Stop: -1469115014) ='-', type<22> Line: 1229 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1229) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1236) : error 3 : , at offset 24
near [Index: 11275 (Start: -1469114813-Stop: -1469114813) ='-', type<22> Line: 1236 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1236) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1239) : error 3 : , at offset 24
near [Index: 11307 (Start: -1469114708-Stop: -1469114708) ='-', type<22> Line: 1239 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1239) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1247) : error 3 : , at offset 24
near [Index: 11385 (Start: -1469114461-Stop: -1469114461) ='-', type<22> Line: 1247 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1247) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1250) : error 3 : , at offset 24
near [Index: 11417 (Start: -1469114357-Stop: -1469114357) ='-', type<22> Line: 1250 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1250) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1261) : error 3 : , at offset 23
near [Index: 11508 (Start: -1469114115-Stop: -1469114115) ='-', type<22> Line: 1261 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1261) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1280) : error 3 : , at offset 23
near [Index: 11692 (Start: -1469113557-Stop: -1469113557) ='-', type<22> Line: 1280 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1315) : error 3 : , at offset 24
near [Index: 12023 (Start: -1469112566-Stop: -1469112566) ='-', type<22> Line: 1315 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1315) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1339) : error 3 : , at offset 23
near [Index: 12229 (Start: -1469111930-Stop: -1469111930) ='-', type<22> Line: 1339 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1339) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1366) : error 3 : , at offset 24
near [Index: 12470 (Start: -1469111154-Stop: -1469111154) ='-', type<22> Line: 1366 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1366) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1464) : error 3 : , at offset 23
near [Index: 13322 (Start: -1469108555-Stop: -1469108555) ='-', type<22> Line: 1464 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1464) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1469) : error 3 : , at offset 23
near [Index: 13378 (Start: -1469108390-Stop: -1469108390) ='-', type<22> Line: 1469 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1469) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1472) : error 3 : , at offset 23
near [Index: 13418 (Start: -1469108267-Stop: -1469108267) ='-', type<22> Line: 1472 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1472) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1474) : error 3 : , at offset 23
near [Index: 13442 (Start: -1469108190-Stop: -1469108190) ='-', type<22> Line: 1474 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1474) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1481) : error 3 : , at offset 24
near [Index: 13508 (Start: -1469107986-Stop: -1469107986) ='-', type<22> Line: 1481 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1481) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1484) : error 3 : , at offset 24
near [Index: 13540 (Start: -1469107880-Stop: -1469107880) ='-', type<22> Line: 1484 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1484) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1492) : error 3 : , at offset 24
near [Index: 13618 (Start: -1469107630-Stop: -1469107630) ='-', type<22> Line: 1492 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1492) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1495) : error 3 : , at offset 24
near [Index: 13650 (Start: -1469107525-Stop: -1469107525) ='-', type<22> Line: 1495 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1495) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1506) : error 3 : , at offset 23
near [Index: 13741 (Start: -1469107281-Stop: -1469107281) ='-', type<22> Line: 1506 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1506) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1525) : error 3 : , at offset 23
near [Index: 13925 (Start: -1469106723-Stop: -1469106723) ='-', type<22> Line: 1525 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1525) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1560) : error 3 : , at offset 24
near [Index: 14256 (Start: -1469105732-Stop: -1469105732) ='-', type<22> Line: 1560 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1560) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1584) : error 3 : , at offset 23
near [Index: 14462 (Start: -1469105096-Stop: -1469105096) ='-', type<22> Line: 1584 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1584) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1611) : error 3 : , at offset 24
near [Index: 14703 (Start: -1469104320-Stop: -1469104320) ='-', type<22> Line: 1611 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1611) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14060533357006395594.gal(1730) : error 3 : , at offset 24
near [Index: 15759 (Start: -1469101099-Stop: -1469101099) ='-', type<22> Line: 1730 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1730) : error 3 : , at offset 24
near [Index: 15759 (Start: -1469101099-Stop: -1469101099) ='-', type<22> Line: 1730 LinePos:24]
: cannot match to any predicted input...
Unknown event u78.T_sety0_23y0i2 when handling addSyncPart(T_sety0_23y7i2_l0,i0,u78.T_sety0_23y0i2)
Unknown event u19.T_sety_9y2i1 when handling addSyncPart(T_sety0_23y2i7_l0,i0,u19.T_sety_9y2i1)
Unknown event u71.T_ynei_15y0i2 when handling addSyncPart(T_ynei_15y7i2_l0,i0,u71.T_ynei_15y0i2)
Unknown event u19.T_yne0_4y2i1 when handling addSyncPart(T_ynei_15y2i7_l0,i0,u19.T_yne0_4y2i1)
Unknown event u44.T_forod_13i2 when handling addSyncPart(T_forod_13i2,i0,u44.T_forod_13i2)
Unknown event u71.T_forod_13i2 when handling addSyncPart(T_forod_13i2,i0,u71.T_forod_13i2)
Unknown event u1.T_setbi_5P-bi0i2 when handling addSyncPart(T_await_13j2i7_l0,i0,u1.T_setbi_5P-bi0i2)
Unknown event u1.T_setbi_5P-bi0i2 when handling addSyncPart(T_await_13j2i2,i0,u1.T_setbi_5P-bi0i2)
Unknown event u44.T_await_13j2i2 when handling addSyncPart(T_await_13j2i2,i0,u44.T_await_13j2i2)
Unknown event u1.T_fordo_12i2 when handling addSyncPart(T_fordo_12i2,i0,u1.T_fordo_12i2)
Unknown event u44.T_fordo_12i2 when handling addSyncPart(T_fordo_12i2,i0,u44.T_fordo_12i2)
Unknown event u7.T_xnei_10i1x2 when handling addSyncPart(T_xnei_10i7x2_l0,i0,u7.T_xnei_10i1x2)
Unknown event u19.T_xnei_10i2x0 when handling addSyncPart(T_xnei_10i2x7_l0,i0,u19.T_xnei_10i2x0)
Unknown event u19.T_sety_9y0i2 when handling addSyncPart(T_sety_9y7i2_l0,i0,u19.T_sety_9y0i2)
Unknown event u7.T_yeq0_4i2 when handling addSyncPart(T_yeq0_4i2_l0,i0,u7.T_yeq0_4i2)
Unknown event u19.T_yeq0_4i2 when handling addSyncPart(T_yeq0_4i2_l1,i0,u19.T_yeq0_4i2)
Unknown event u1.T_awaityi2 when handling addSyncPart(T_awaityi2_l0,i0,u1.T_awaityi2)
Unknown event u71.T_awaityi2 when handling addSyncPart(T_awaityi2_l1,i0,u71.T_awaityi2)
Unknown event u7.T_yne0_4y1i2 when handling addSyncPart(T_yne0_4y7i2_l0,i0,u7.T_yne0_4y1i2)
Unknown event u7.T_setx_3i1x2 when handling addSyncPart(T_setx_3i7x2_l0,i0,u7.T_setx_3i1x2)
Unknown event u7.T_setx_3i2x0 when handling addSyncPart(T_setx_3i2x7_l0,i0,u7.T_setx_3i2x0)
/tmp/ReachabilityCardinality14060533357006395594.gal(1730) : error 3 : , at offset 24
near [Index: 15759 (Start: -1469101099-Stop: -1469101099) ='-', type<22> Line: 1730 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1730) : error 3 : , at offset 24
near [Index: 15759 (Start: -1469101099-Stop: -1469101099) ='-', type<22> Line: 1730 LinePos:24]
: cannot match to any predicted input...
Unknown event u18.T_sety_9y7i1 when handling addSyncPart(T_sety0_23y7i7_l1,i0,u18.T_sety_9y7i1)
Unknown event u83.T_sety0_23y0i7 when handling addSyncPart(T_sety0_23y7i7_l2,i0,u83.T_sety0_23y0i7)
Unknown event u18.T_yne0_4y7i1 when handling addSyncPart(T_ynei_15y7i6_l1,i0,u18.T_yne0_4y7i1)
Unknown event u76.T_ynei_15y0i7 when handling addSyncPart(T_ynei_15y6i7_l1,i0,u76.T_ynei_15y0i7)
Unknown event u69.T_forod_13i7 when handling addSyncPart(T_forod_13i7,i0,u69.T_forod_13i7)
Unknown event u76.T_forod_13i7 when handling addSyncPart(T_forod_13i7,i0,u76.T_forod_13i7)
Unknown event u6.T_setbi_5P-bi0i7 when handling addSyncPart(T_await_13j7i7,i0,u6.T_setbi_5P-bi0i7)
Unknown event u69.T_await_13j7i7 when handling addSyncPart(T_await_13j7i7,i0,u69.T_await_13j7i7)
Unknown event u6.T_setbi_5P-bi0i7 when handling addSyncPart(T_await_13j7i6_l2,i0,u6.T_setbi_5P-bi0i7)
Unknown event u6.T_fordo_12i7 when handling addSyncPart(T_fordo_12i7,i0,u6.T_fordo_12i7)
Unknown event u69.T_fordo_12i7 when handling addSyncPart(T_fordo_12i7,i0,u69.T_fordo_12i7)
Unknown event u18.T_xnei_10i7x0 when handling addSyncPart(T_xnei_10i7x6_l0,i0,u18.T_xnei_10i7x0)
Unknown event u13.T_xnei_10i1x7 when handling addSyncPart(T_xnei_10i6x7_l1,i0,u13.T_xnei_10i1x7)
Unknown event u18.T_sety_9y0i7 when handling addSyncPart(T_sety_9y6i7_l1,i0,u18.T_sety_9y0i7)
Unknown event u13.T_yeq0_4i7 when handling addSyncPart(T_yeq0_4i7_l1,i0,u13.T_yeq0_4i7)
Unknown event u18.T_yeq0_4i7 when handling addSyncPart(T_yeq0_4i7_l2,i0,u18.T_yeq0_4i7)
Unknown event u6.T_awaityi7 when handling addSyncPart(T_awaityi7_l1,i0,u6.T_awaityi7)
Unknown event u76.T_awaityi7 when handling addSyncPart(T_awaityi7_l2,i0,u76.T_awaityi7)
Unknown event u13.T_yne0_4y1i7 when handling addSyncPart(T_yne0_4y6i7_l1,i0,u13.T_yne0_4y1i7)
Unknown event u13.T_setx_3i7x0 when handling addSyncPart(T_setx_3i7x6_l0,i0,u13.T_setx_3i7x0)
Unknown event u13.T_setx_3i1x7 when handling addSyncPart(T_setx_3i6x7_l0,i0,u13.T_setx_3i1x7)
/tmp/ReachabilityCardinality14060533357006395594.gal(1730) : error 3 : , at offset 24
near [Index: 15759 (Start: -1469101099-Stop: -1469101099) ='-', type<22> Line: 1730 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1730) : error 3 : , at offset 24
near [Index: 15759 (Start: -1469101099-Stop: -1469101099) ='-', type<22> Line: 1730 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1730) : error 3 : , at offset 24
near [Index: 15759 (Start: -1469101099-Stop: -1469101099) ='-', type<22> Line: 1730 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1730) : error 3 : , at offset 24
near [Index: 15759 (Start: -1469101099-Stop: -1469101099) ='-', type<22> Line: 1730 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14060533357006395594.gal(1730) : error 3 : , at offset 24
near [Index: 15759 (Start: -1469101099-Stop: -1469101099) ='-', type<22> Line: 1730 LinePos:24]
: cannot match to any predicted input...
Unknown event u81.T_sety0_23y0i4 when handling addSyncPart(T_sety0_23y7i4_l0,i0,u81.T_sety0_23y0i4)
Unknown event u16.T_sety_9y4i1 when handling addSyncPart(T_sety0_23y4i7_l2,i0,u16.T_sety_9y4i1)
Unknown event u74.T_ynei_15y0i4 when handling addSyncPart(T_ynei_15y7i4_l1,i0,u74.T_ynei_15y0i4)
Unknown event u16.T_yne0_4y4i1 when handling addSyncPart(T_ynei_15y4i7_l1,i0,u16.T_yne0_4y4i1)
Unknown event u54.T_forod_13i4 when handling addSyncPart(T_forod_13i4,i0,u54.T_forod_13i4)
Unknown event u74.T_forod_13i4 when handling addSyncPart(T_forod_13i4,i0,u74.T_forod_13i4)
Unknown event u3.T_setbi_5P-bi0i4 when handling addSyncPart(T_await_13j4i7_l1,i0,u3.T_setbi_5P-bi0i4)
Unknown event u3.T_setbi_5P-bi0i4 when handling addSyncPart(T_await_13j4i4,i0,u3.T_setbi_5P-bi0i4)
Unknown event u54.T_await_13j4i4 when handling addSyncPart(T_await_13j4i4,i0,u54.T_await_13j4i4)
Unknown event u3.T_fordo_12i4 when handling addSyncPart(T_fordo_12i4,i0,u3.T_fordo_12i4)
Unknown event u54.T_fordo_12i4 when handling addSyncPart(T_fordo_12i4,i0,u54.T_fordo_12i4)
Unknown event u11.T_xnei_10i1x4 when handling addSyncPart(T_xnei_10i7x4_l1,i0,u11.T_xnei_10i1x4)
Unknown event u16.T_xnei_10i4x0 when handling addSyncPart(T_xnei_10i4x7_l1,i0,u16.T_xnei_10i4x0)
Unknown event u16.T_sety_9y0i4 when handling addSyncPart(T_sety_9y7i4_l1,i0,u16.T_sety_9y0i4)
Unknown event u11.T_yeq0_4i4 when handling addSyncPart(T_yeq0_4i4_l1,i0,u11.T_yeq0_4i4)
Unknown event u16.T_yeq0_4i4 when handling addSyncPart(T_yeq0_4i4_l2,i0,u16.T_yeq0_4i4)
Unknown event u3.T_awaityi4 when handling addSyncPart(T_awaityi4_l1,i0,u3.T_awaityi4)
Unknown event u74.T_awaityi4 when handling addSyncPart(T_awaityi4_l2,i0,u74.T_awaityi4)
Unknown event u11.T_yne0_4y1i4 when handling addSyncPart(T_yne0_4y7i4_l1,i0,u11.T_yne0_4y1i4)
Unknown event u11.T_setx_3i1x4 when handling addSyncPart(T_setx_3i7x4_l1,i0,u11.T_setx_3i1x4)
Unknown event u11.T_setx_3i4x0 when handling addSyncPart(T_setx_3i4x7_l1,i0,u11.T_setx_3i4x0)
/tmp/ReachabilityCardinality14060533357006395594.gal(1730) : error 3 : , at offset 24
near [Index: 15759 (Start: -1469101099-Stop: -1469101099) ='-', type<22> Line: 1730 LinePos:24]
: cannot match to any predicted input...
Unknown event u79.T_sety0_23y0i5 when handling addSyncPart(T_sety0_23y7i5_l2,i0,u79.T_sety0_23y0i5)
Unknown event u17.T_sety_9y5i1 when handling addSyncPart(T_sety0_23y5i7_l1,i0,u17.T_sety_9y5i1)
Unknown event u72.T_ynei_15y0i5 when handling addSyncPart(T_ynei_15y7i5_l1,i0,u72.T_ynei_15y0i5)
Unknown event u17.T_yne0_4y5i1 when handling addSyncPart(T_ynei_15y5i7_l0,i0,u17.T_yne0_4y5i1)
Unknown event u30.T_forod_13i5 when handling addSyncPart(T_forod_13i5,i0,u30.T_forod_13i5)
Unknown event u72.T_forod_13i5 when handling addSyncPart(T_forod_13i5,i0,u72.T_forod_13i5)
Unknown event u4.T_setbi_5P-bi0i5 when handling addSyncPart(T_await_13j5i7_l1,i0,u4.T_setbi_5P-bi0i5)
Unknown event u4.T_setbi_5P-bi0i5 when handling addSyncPart(T_await_13j5i5,i0,u4.T_setbi_5P-bi0i5)
Unknown event u30.T_await_13j5i5 when handling addSyncPart(T_await_13j5i5,i0,u30.T_await_13j5i5)
Unknown event u4.T_fordo_12i5 when handling addSyncPart(T_fordo_12i5,i0,u4.T_fordo_12i5)
Unknown event u30.T_fordo_12i5 when handling addSyncPart(T_fordo_12i5,i0,u30.T_fordo_12i5)
Unknown event u9.T_xnei_10i1x5 when handling addSyncPart(T_xnei_10i7x5_l0,i0,u9.T_xnei_10i1x5)
Unknown event u17.T_xnei_10i5x0 when handling addSyncPart(T_xnei_10i5x7_l1,i0,u17.T_xnei_10i5x0)
Unknown event u17.T_sety_9y0i5 when handling addSyncPart(T_sety_9y7i5_l1,i0,u17.T_sety_9y0i5)
Unknown event u9.T_yeq0_4i5 when handling addSyncPart(T_yeq0_4i5_l1,i0,u9.T_yeq0_4i5)
Unknown event u17.T_yeq0_4i5 when handling addSyncPart(T_yeq0_4i5_l2,i0,u17.T_yeq0_4i5)
Unknown event u4.T_awaityi5 when handling addSyncPart(T_awaityi5_l1,i0,u4.T_awaityi5)
Unknown event u72.T_awaityi5 when handling addSyncPart(T_awaityi5_l2,i0,u72.T_awaityi5)
Unknown event u9.T_yne0_4y1i5 when handling addSyncPart(T_yne0_4y7i5_l0,i0,u9.T_yne0_4y1i5)
Unknown event u9.T_setx_3i1x5 when handling addSyncPart(T_setx_3i7x5_l1,i0,u9.T_setx_3i1x5)
Unknown event u9.T_setx_3i5x0 when handling addSyncPart(T_setx_3i5x7_l1,i0,u9.T_setx_3i5x0)
/tmp/ReachabilityCardinality14060533357006395594.gal(1730) : error 3 : , at offset 24
near [Index: 15759 (Start: -1469101099-Stop: -1469101099) ='-', type<22> Line: 1730 LinePos:24]
: cannot match to any predicted input...
The parser returned 190 errors, parsing aborted
Built C files in :
/tmp/ltsmin9435160988541475371
[2022-06-12 21:24:08] [INFO ] Built C files in 22ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9435160988541475371
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/ltsmin9435160988541475371]
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/ltsmin9435160988541475371] 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/ltsmin9435160988541475371] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 3492 ms. (steps per millisecond=286 ) properties (out of 1) seen :0
Interrupted Best-First random walk after 345274 steps, including 1 resets, run timeout after 5001 ms. (steps per millisecond=69 ) properties seen :{}
Interrupted probabilistic random walk after 10374587 steps, run timeout after 30001 ms. (steps per millisecond=345 ) properties seen :{}
Probabilistic random walk after 10374587 steps, saw 2847535 distinct states, run finished after 30001 ms. (steps per millisecond=345 ) properties seen :{}
Running SMT prover for 1 properties.
[2022-06-12 21:24:47] [INFO ] Flow matrix only has 336 transitions (discarded 126 similar events)
// Phase 1: matrix 336 rows 219 cols
[2022-06-12 21:24:47] [INFO ] Computed 65 place invariants in 16 ms
[2022-06-12 21:24:48] [INFO ] [Real]Absence check using 65 positive place invariants in 26 ms returned sat
[2022-06-12 21:24:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:48] [INFO ] [Real]Absence check using state equation in 114 ms returned sat
[2022-06-12 21:24:48] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:24:48] [INFO ] [Nat]Absence check using 65 positive place invariants in 19 ms returned sat
[2022-06-12 21:24:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:48] [INFO ] [Nat]Absence check using state equation in 118 ms returned sat
[2022-06-12 21:24:48] [INFO ] State equation strengthened by 105 read => feed constraints.
[2022-06-12 21:24:48] [INFO ] [Nat]Added 105 Read/Feed constraints in 13 ms returned sat
[2022-06-12 21:24:48] [INFO ] Deduced a trap composed of 21 places in 62 ms of which 1 ms to minimize.
[2022-06-12 21:24:48] [INFO ] Deduced a trap composed of 8 places in 63 ms of which 1 ms to minimize.
[2022-06-12 21:24:48] [INFO ] Deduced a trap composed of 37 places in 71 ms of which 0 ms to minimize.
[2022-06-12 21:24:48] [INFO ] Deduced a trap composed of 37 places in 68 ms of which 0 ms to minimize.
[2022-06-12 21:24:48] [INFO ] Deduced a trap composed of 32 places in 63 ms of which 0 ms to minimize.
[2022-06-12 21:24:48] [INFO ] Deduced a trap composed of 17 places in 62 ms of which 0 ms to minimize.
[2022-06-12 21:24:48] [INFO ] Deduced a trap composed of 9 places in 96 ms of which 1 ms to minimize.
[2022-06-12 21:24:48] [INFO ] Deduced a trap composed of 9 places in 54 ms of which 0 ms to minimize.
[2022-06-12 21:24:49] [INFO ] Deduced a trap composed of 9 places in 63 ms of which 1 ms to minimize.
[2022-06-12 21:24:49] [INFO ] Deduced a trap composed of 30 places in 84 ms of which 0 ms to minimize.
[2022-06-12 21:24:49] [INFO ] Deduced a trap composed of 20 places in 144 ms of which 0 ms to minimize.
[2022-06-12 21:24:49] [INFO ] Deduced a trap composed of 21 places in 83 ms of which 8 ms to minimize.
[2022-06-12 21:24:49] [INFO ] Deduced a trap composed of 17 places in 172 ms of which 1 ms to minimize.
[2022-06-12 21:24:49] [INFO ] Deduced a trap composed of 12 places in 165 ms of which 1 ms to minimize.
[2022-06-12 21:24:49] [INFO ] Deduced a trap composed of 22 places in 70 ms of which 1 ms to minimize.
[2022-06-12 21:24:50] [INFO ] Deduced a trap composed of 25 places in 91 ms of which 0 ms to minimize.
[2022-06-12 21:24:50] [INFO ] Deduced a trap composed of 19 places in 85 ms of which 1 ms to minimize.
[2022-06-12 21:24:50] [INFO ] Deduced a trap composed of 9 places in 85 ms of which 0 ms to minimize.
[2022-06-12 21:24:50] [INFO ] Deduced a trap composed of 14 places in 81 ms of which 0 ms to minimize.
[2022-06-12 21:24:50] [INFO ] Deduced a trap composed of 23 places in 91 ms of which 0 ms to minimize.
[2022-06-12 21:24:50] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 2118 ms
[2022-06-12 21:24:50] [INFO ] Computed and/alt/rep : 301/1778/301 causal constraints (skipped 28 transitions) in 36 ms.
[2022-06-12 21:24:52] [INFO ] Added : 284 causal constraints over 57 iterations in 1979 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 22 ms.
Incomplete Parikh walk after 106400 steps, including 1000 resets, run finished after 376 ms. (steps per millisecond=282 ) properties (out of 1) seen :0 could not realise parikh vector
Support contains 197 out of 219 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 219/219 places, 462/462 transitions.
Applied a total of 0 rules in 13 ms. Remains 219 /219 variables (removed 0) and now considering 462/462 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 219/219 places, 462/462 transitions.
Starting structural reductions, iteration 0 : 219/219 places, 462/462 transitions.
Applied a total of 0 rules in 12 ms. Remains 219 /219 variables (removed 0) and now considering 462/462 (removed 0) transitions.
[2022-06-12 21:24:52] [INFO ] Flow matrix only has 336 transitions (discarded 126 similar events)
// Phase 1: matrix 336 rows 219 cols
[2022-06-12 21:24:52] [INFO ] Computed 65 place invariants in 6 ms
[2022-06-12 21:24:52] [INFO ] Implicit Places using invariants in 69 ms returned []
[2022-06-12 21:24:52] [INFO ] Flow matrix only has 336 transitions (discarded 126 similar events)
// Phase 1: matrix 336 rows 219 cols
[2022-06-12 21:24:52] [INFO ] Computed 65 place invariants in 9 ms
[2022-06-12 21:24:53] [INFO ] State equation strengthened by 105 read => feed constraints.
[2022-06-12 21:24:53] [INFO ] Implicit Places using invariants and state equation in 188 ms returned []
Implicit Place search using SMT with State Equation took 271 ms to find 0 implicit places.
[2022-06-12 21:24:53] [INFO ] Redundant transitions in 31 ms returned []
[2022-06-12 21:24:53] [INFO ] Flow matrix only has 336 transitions (discarded 126 similar events)
// Phase 1: matrix 336 rows 219 cols
[2022-06-12 21:24:53] [INFO ] Computed 65 place invariants in 1 ms
[2022-06-12 21:24:53] [INFO ] Dead Transitions using invariants and state equation in 181 ms returned []
Finished structural reductions, in 1 iterations. Remains : 219/219 places, 462/462 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 434 ms. (steps per millisecond=230 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
[2022-06-12 21:24:53] [INFO ] Flow matrix only has 336 transitions (discarded 126 similar events)
// Phase 1: matrix 336 rows 219 cols
[2022-06-12 21:24:53] [INFO ] Computed 65 place invariants in 2 ms
[2022-06-12 21:24:53] [INFO ] [Real]Absence check using 65 positive place invariants in 103 ms returned sat
[2022-06-12 21:24:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:54] [INFO ] [Real]Absence check using state equation in 100 ms returned sat
[2022-06-12 21:24:54] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:24:54] [INFO ] [Nat]Absence check using 65 positive place invariants in 21 ms returned sat
[2022-06-12 21:24:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:54] [INFO ] [Nat]Absence check using state equation in 100 ms returned sat
[2022-06-12 21:24:54] [INFO ] State equation strengthened by 105 read => feed constraints.
[2022-06-12 21:24:54] [INFO ] [Nat]Added 105 Read/Feed constraints in 20 ms returned sat
[2022-06-12 21:24:54] [INFO ] Deduced a trap composed of 21 places in 66 ms of which 0 ms to minimize.
[2022-06-12 21:24:54] [INFO ] Deduced a trap composed of 8 places in 64 ms of which 1 ms to minimize.
[2022-06-12 21:24:54] [INFO ] Deduced a trap composed of 37 places in 63 ms of which 1 ms to minimize.
[2022-06-12 21:24:54] [INFO ] Deduced a trap composed of 37 places in 74 ms of which 0 ms to minimize.
[2022-06-12 21:24:54] [INFO ] Deduced a trap composed of 32 places in 63 ms of which 0 ms to minimize.
[2022-06-12 21:24:54] [INFO ] Deduced a trap composed of 17 places in 66 ms of which 0 ms to minimize.
[2022-06-12 21:24:54] [INFO ] Deduced a trap composed of 9 places in 62 ms of which 0 ms to minimize.
[2022-06-12 21:24:54] [INFO ] Deduced a trap composed of 9 places in 65 ms of which 1 ms to minimize.
[2022-06-12 21:24:55] [INFO ] Deduced a trap composed of 9 places in 63 ms of which 1 ms to minimize.
[2022-06-12 21:24:55] [INFO ] Deduced a trap composed of 30 places in 76 ms of which 1 ms to minimize.
[2022-06-12 21:24:55] [INFO ] Deduced a trap composed of 20 places in 66 ms of which 1 ms to minimize.
[2022-06-12 21:24:55] [INFO ] Deduced a trap composed of 21 places in 74 ms of which 0 ms to minimize.
[2022-06-12 21:24:55] [INFO ] Deduced a trap composed of 17 places in 76 ms of which 0 ms to minimize.
[2022-06-12 21:24:55] [INFO ] Deduced a trap composed of 12 places in 73 ms of which 0 ms to minimize.
[2022-06-12 21:24:55] [INFO ] Deduced a trap composed of 22 places in 80 ms of which 1 ms to minimize.
[2022-06-12 21:24:55] [INFO ] Deduced a trap composed of 25 places in 74 ms of which 1 ms to minimize.
[2022-06-12 21:24:55] [INFO ] Deduced a trap composed of 19 places in 71 ms of which 0 ms to minimize.
[2022-06-12 21:24:55] [INFO ] Deduced a trap composed of 9 places in 70 ms of which 1 ms to minimize.
[2022-06-12 21:24:55] [INFO ] Deduced a trap composed of 14 places in 74 ms of which 0 ms to minimize.
[2022-06-12 21:24:56] [INFO ] Deduced a trap composed of 23 places in 72 ms of which 1 ms to minimize.
[2022-06-12 21:24:56] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 1747 ms
[2022-06-12 21:24:56] [INFO ] Computed and/alt/rep : 301/1778/301 causal constraints (skipped 28 transitions) in 25 ms.
[2022-06-12 21:24:57] [INFO ] Added : 284 causal constraints over 57 iterations in 1866 ms. Result :sat
[2022-06-12 21:24:57] [INFO ] Flatten gal took : 24 ms
[2022-06-12 21:24:57] [INFO ] Flatten gal took : 28 ms
[2022-06-12 21:24:57] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5705484585136529399.gal : 3 ms
[2022-06-12 21:24:57] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17386686468330813742.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/ReachabilityCardinality5705484585136529399.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17386686468330813742.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
ITS-tools command line returned an error code 1
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/ReachabilityCardinality5705484585136529399.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17386686468330813742.prop --nowitness --gen-order FOLLOW
/tmp/ReachabilityCardinality5705484585136529399.gal(222) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(222) : error 3 : , at offset 23
near [Index: 1980 (Start: 19402280-Stop: 19402280) ='-', type<22> Line: 222 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(222) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(228) : error 3 : , at offset 23
near [Index: 2040 (Start: 19402442-Stop: 19402442) ='-', type<22> Line: 228 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(228) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(234) : error 3 : , at offset 23
near [Index: 2100 (Start: 19402604-Stop: 19402604) ='-', type<22> Line: 234 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(234) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(240) : error 3 : , at offset 23
near [Index: 2160 (Start: 19402766-Stop: 19402766) ='-', type<22> Line: 240 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(240) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(246) : error 3 : , at offset 23
near [Index: 2220 (Start: 19402928-Stop: 19402928) ='-', type<22> Line: 246 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(246) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(252) : error 3 : , at offset 23
near [Index: 2280 (Start: 19403093-Stop: 19403093) ='-', type<22> Line: 252 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(252) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(258) : error 3 : , at offset 23
near [Index: 2340 (Start: 19403258-Stop: 19403258) ='-', type<22> Line: 258 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(258) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(264) : error 3 : , at offset 23
near [Index: 2400 (Start: 19403423-Stop: 19403423) ='-', type<22> Line: 264 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(264) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(268) : error 3 : , at offset 23
near [Index: 2444 (Start: 19403545-Stop: 19403545) ='-', type<22> Line: 268 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(268) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(272) : error 3 : , at offset 23
near [Index: 2488 (Start: 19403667-Stop: 19403667) ='-', type<22> Line: 272 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(272) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(276) : error 3 : , at offset 23
near [Index: 2532 (Start: 19403789-Stop: 19403789) ='-', type<22> Line: 276 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(276) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(280) : error 3 : , at offset 23
near [Index: 2576 (Start: 19403911-Stop: 19403911) ='-', type<22> Line: 280 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(284) : error 3 : , at offset 23
near [Index: 2620 (Start: 19404034-Stop: 19404034) ='-', type<22> Line: 284 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(284) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(288) : error 3 : , at offset 23
near [Index: 2664 (Start: 19404157-Stop: 19404157) ='-', type<22> Line: 288 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(288) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(810) : error 3 : , at offset 23
near [Index: 7902 (Start: 19418063-Stop: 19418063) ='-', type<22> Line: 810 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(810) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(814) : error 3 : , at offset 23
near [Index: 7946 (Start: 19418185-Stop: 19418185) ='-', type<22> Line: 814 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(814) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(818) : error 3 : , at offset 23
near [Index: 7990 (Start: 19418307-Stop: 19418307) ='-', type<22> Line: 818 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(818) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(822) : error 3 : , at offset 23
near [Index: 8034 (Start: 19418429-Stop: 19418429) ='-', type<22> Line: 822 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(822) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(826) : error 3 : , at offset 23
near [Index: 8078 (Start: 19418551-Stop: 19418551) ='-', type<22> Line: 826 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(826) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(830) : error 3 : , at offset 23
near [Index: 8122 (Start: 19418674-Stop: 19418674) ='-', type<22> Line: 830 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(830) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(834) : error 3 : , at offset 23
near [Index: 8166 (Start: 19418797-Stop: 19418797) ='-', type<22> Line: 834 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(834) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(838) : error 3 : , at offset 23
near [Index: 8210 (Start: 19418920-Stop: 19418920) ='-', type<22> Line: 838 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(838) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(844) : error 3 : , at offset 23
near [Index: 8270 (Start: 19419082-Stop: 19419082) ='-', type<22> Line: 844 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(844) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(850) : error 3 : , at offset 23
near [Index: 8330 (Start: 19419244-Stop: 19419244) ='-', type<22> Line: 850 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(850) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(856) : error 3 : , at offset 23
near [Index: 8390 (Start: 19419406-Stop: 19419406) ='-', type<22> Line: 856 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(856) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(862) : error 3 : , at offset 23
near [Index: 8450 (Start: 19419568-Stop: 19419568) ='-', type<22> Line: 862 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(862) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(868) : error 3 : , at offset 23
near [Index: 8510 (Start: 19419733-Stop: 19419733) ='-', type<22> Line: 868 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(868) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(874) : error 3 : , at offset 23
near [Index: 8570 (Start: 19419898-Stop: 19419898) ='-', type<22> Line: 874 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(874) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1454) : error 3 : , at offset 24
near [Index: 14412 (Start: 19435674-Stop: 19435674) ='-', type<22> Line: 1454 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1454) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1458) : error 3 : , at offset 24
near [Index: 14456 (Start: 19435801-Stop: 19435801) ='-', type<22> Line: 1458 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1458) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1462) : error 3 : , at offset 24
near [Index: 14500 (Start: 19435928-Stop: 19435928) ='-', type<22> Line: 1462 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1462) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1466) : error 3 : , at offset 24
near [Index: 14544 (Start: 19436055-Stop: 19436055) ='-', type<22> Line: 1466 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1466) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1470) : error 3 : , at offset 24
near [Index: 14588 (Start: 19436182-Stop: 19436182) ='-', type<22> Line: 1470 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1470) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1474) : error 3 : , at offset 24
near [Index: 14632 (Start: 19436310-Stop: 19436310) ='-', type<22> Line: 1474 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1474) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1478) : error 3 : , at offset 24
near [Index: 14676 (Start: 19436438-Stop: 19436438) ='-', type<22> Line: 1478 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1478) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1482) : error 3 : , at offset 24
near [Index: 14720 (Start: 19436566-Stop: 19436566) ='-', type<22> Line: 1482 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1482) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1488) : error 3 : , at offset 24
near [Index: 14780 (Start: 19436733-Stop: 19436733) ='-', type<22> Line: 1488 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1488) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1494) : error 3 : , at offset 24
near [Index: 14840 (Start: 19436900-Stop: 19436900) ='-', type<22> Line: 1494 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1494) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1500) : error 3 : , at offset 24
near [Index: 14900 (Start: 19437067-Stop: 19437067) ='-', type<22> Line: 1500 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1500) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1506) : error 3 : , at offset 24
near [Index: 14960 (Start: 19437234-Stop: 19437234) ='-', type<22> Line: 1506 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1506) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1512) : error 3 : , at offset 24
near [Index: 15020 (Start: 19437404-Stop: 19437404) ='-', type<22> Line: 1512 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1512) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(1518) : error 3 : , at offset 24
near [Index: 15080 (Start: 19437574-Stop: 19437574) ='-', type<22> Line: 1518 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(1518) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2448) : error 3 : , at offset 24
near [Index: 25024 (Start: 19464751-Stop: 19464751) ='-', type<22> Line: 2448 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(2448) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2452) : error 3 : , at offset 24
near [Index: 25068 (Start: 19464877-Stop: 19464877) ='-', type<22> Line: 2452 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(2452) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2456) : error 3 : , at offset 24
near [Index: 25112 (Start: 19465003-Stop: 19465003) ='-', type<22> Line: 2456 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(2456) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2460) : error 3 : , at offset 24
near [Index: 25156 (Start: 19465129-Stop: 19465129) ='-', type<22> Line: 2460 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(2460) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2464) : error 3 : , at offset 24
near [Index: 25200 (Start: 19465255-Stop: 19465255) ='-', type<22> Line: 2464 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(2464) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2468) : error 3 : , at offset 24
near [Index: 25244 (Start: 19465382-Stop: 19465382) ='-', type<22> Line: 2468 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(2468) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2472) : error 3 : , at offset 24
near [Index: 25288 (Start: 19465509-Stop: 19465509) ='-', type<22> Line: 2472 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(2472) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2476) : error 3 : , at offset 24
near [Index: 25332 (Start: 19465636-Stop: 19465636) ='-', type<22> Line: 2476 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(2476) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2482) : error 3 : , at offset 24
near [Index: 25392 (Start: 19465802-Stop: 19465802) ='-', type<22> Line: 2482 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(2482) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2488) : error 3 : , at offset 24
near [Index: 25452 (Start: 19465968-Stop: 19465968) ='-', type<22> Line: 2488 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(2488) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2494) : error 3 : , at offset 24
near [Index: 25512 (Start: 19466134-Stop: 19466134) ='-', type<22> Line: 2494 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(2494) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2500) : error 3 : , at offset 24
near [Index: 25572 (Start: 19466300-Stop: 19466300) ='-', type<22> Line: 2500 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(2500) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2506) : error 3 : , at offset 24
near [Index: 25632 (Start: 19466469-Stop: 19466469) ='-', type<22> Line: 2506 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality5705484585136529399.gal(2506) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality5705484585136529399.gal(2512) : error 3 : , at offset 24
near [Index: 25692 (Start: 19466638-Stop: 19466638) ='-', type<22> Line: 2512 LinePos:24]
: cannot match to any predicted input...
The parser returned 112 errors, parsing aborted
[2022-06-12 21:24:58] [INFO ] Flatten gal took : 24 ms
[2022-06-12 21:24:58] [INFO ] Applying decomposition
[2022-06-12 21:24:58] [INFO ] Flatten gal took : 22 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/graph2704495885482151107.txt, -o, /tmp/graph2704495885482151107.bin, -w, /tmp/graph2704495885482151107.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/graph2704495885482151107.bin, -l, -1, -v, -w, /tmp/graph2704495885482151107.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-12 21:24:58] [INFO ] Decomposing Gal with order
[2022-06-12 21:24:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-12 21:24:58] [INFO ] Removed a total of 721 redundant transitions.
[2022-06-12 21:24:58] [INFO ] Flatten gal took : 45 ms
[2022-06-12 21:24:58] [INFO ] Fuse similar labels procedure discarded/fused a total of 70 labels/synchronizations in 13 ms.
[2022-06-12 21:24:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7338554295406803664.gal : 4 ms
[2022-06-12 21:24:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality696750013861536097.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/ReachabilityCardinality7338554295406803664.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality696750013861536097.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/ReachabilityCardinality7338554295406803664.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality696750013861536097.prop --nowitness
/tmp/ReachabilityCardinality7338554295406803664.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(7) : error 3 : , at offset 23
near [Index: 45 (Start: -2125590393-Stop: -2125590393) ='-', type<22> Line: 7 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(12) : error 3 : , at offset 23
near [Index: 101 (Start: -2125590231-Stop: -2125590231) ='-', type<22> Line: 12 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(12) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(15) : error 3 : , at offset 23
near [Index: 141 (Start: -2125590109-Stop: -2125590109) ='-', type<22> Line: 15 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(15) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(17) : error 3 : , at offset 23
near [Index: 165 (Start: -2125590033-Stop: -2125590033) ='-', type<22> Line: 17 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(17) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(24) : error 3 : , at offset 24
near [Index: 231 (Start: -2125589832-Stop: -2125589832) ='-', type<22> Line: 24 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(24) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(27) : error 3 : , at offset 24
near [Index: 263 (Start: -2125589727-Stop: -2125589727) ='-', type<22> Line: 27 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(27) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(35) : error 3 : , at offset 24
near [Index: 341 (Start: -2125589480-Stop: -2125589480) ='-', type<22> Line: 35 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(35) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(38) : error 3 : , at offset 24
near [Index: 373 (Start: -2125589376-Stop: -2125589376) ='-', type<22> Line: 38 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(38) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(50) : error 3 : , at offset 23
near [Index: 473 (Start: -2125589119-Stop: -2125589119) ='-', type<22> Line: 50 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(50) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(78) : error 3 : , at offset 23
near [Index: 745 (Start: -2125588327-Stop: -2125588327) ='-', type<22> Line: 78 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(78) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(92) : error 3 : , at offset 23
near [Index: 876 (Start: -2125587927-Stop: -2125587927) ='-', type<22> Line: 92 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(92) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(217) : error 3 : , at offset 23
near [Index: 1967 (Start: -2125584582-Stop: -2125584582) ='-', type<22> Line: 217 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(217) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(222) : error 3 : , at offset 23
near [Index: 2023 (Start: -2125584420-Stop: -2125584420) ='-', type<22> Line: 222 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(222) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(225) : error 3 : , at offset 23
near [Index: 2063 (Start: -2125584298-Stop: -2125584298) ='-', type<22> Line: 225 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(225) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(227) : error 3 : , at offset 23
near [Index: 2087 (Start: -2125584222-Stop: -2125584222) ='-', type<22> Line: 227 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(227) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(234) : error 3 : , at offset 24
near [Index: 2153 (Start: -2125584021-Stop: -2125584021) ='-', type<22> Line: 234 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(234) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(237) : error 3 : , at offset 24
near [Index: 2185 (Start: -2125583916-Stop: -2125583916) ='-', type<22> Line: 237 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(237) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(245) : error 3 : , at offset 24
near [Index: 2263 (Start: -2125583669-Stop: -2125583669) ='-', type<22> Line: 245 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(245) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(248) : error 3 : , at offset 24
near [Index: 2295 (Start: -2125583565-Stop: -2125583565) ='-', type<22> Line: 248 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(248) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(259) : error 3 : , at offset 23
near [Index: 2386 (Start: -2125583324-Stop: -2125583324) ='-', type<22> Line: 259 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(259) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(278) : error 3 : , at offset 23
near [Index: 2570 (Start: -2125582766-Stop: -2125582766) ='-', type<22> Line: 278 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(278) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(393) : error 3 : , at offset 23
near [Index: 3575 (Start: -2125579680-Stop: -2125579680) ='-', type<22> Line: 393 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(393) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(420) : error 3 : , at offset 24
near [Index: 3816 (Start: -2125578904-Stop: -2125578904) ='-', type<22> Line: 420 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(420) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(429) : error 3 : , at offset 23
near [Index: 3891 (Start: -2125578696-Stop: -2125578696) ='-', type<22> Line: 429 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(429) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(434) : error 3 : , at offset 23
near [Index: 3947 (Start: -2125578534-Stop: -2125578534) ='-', type<22> Line: 434 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(434) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(437) : error 3 : , at offset 23
near [Index: 3987 (Start: -2125578412-Stop: -2125578412) ='-', type<22> Line: 437 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(437) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(439) : error 3 : , at offset 23
near [Index: 4011 (Start: -2125578336-Stop: -2125578336) ='-', type<22> Line: 439 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(439) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(446) : error 3 : , at offset 24
near [Index: 4077 (Start: -2125578135-Stop: -2125578135) ='-', type<22> Line: 446 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(446) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(449) : error 3 : , at offset 24
near [Index: 4109 (Start: -2125578030-Stop: -2125578030) ='-', type<22> Line: 449 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(449) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(457) : error 3 : , at offset 24
near [Index: 4187 (Start: -2125577783-Stop: -2125577783) ='-', type<22> Line: 457 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(457) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(460) : error 3 : , at offset 24
near [Index: 4219 (Start: -2125577679-Stop: -2125577679) ='-', type<22> Line: 460 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(460) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(471) : error 3 : , at offset 23
near [Index: 4310 (Start: -2125577437-Stop: -2125577437) ='-', type<22> Line: 471 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(471) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(490) : error 3 : , at offset 23
near [Index: 4494 (Start: -2125576879-Stop: -2125576879) ='-', type<22> Line: 490 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(490) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(525) : error 3 : , at offset 24
near [Index: 4825 (Start: -2125575888-Stop: -2125575888) ='-', type<22> Line: 525 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(525) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(549) : error 3 : , at offset 23
near [Index: 5031 (Start: -2125575252-Stop: -2125575252) ='-', type<22> Line: 549 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(549) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(576) : error 3 : , at offset 24
near [Index: 5272 (Start: -2125574476-Stop: -2125574476) ='-', type<22> Line: 576 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(576) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(673) : error 3 : , at offset 23
near [Index: 6115 (Start: -2125571900-Stop: -2125571900) ='-', type<22> Line: 673 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(673) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(677) : error 3 : , at offset 23
near [Index: 6155 (Start: -2125571781-Stop: -2125571781) ='-', type<22> Line: 677 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(677) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(679) : error 3 : , at offset 23
near [Index: 6179 (Start: -2125571704-Stop: -2125571704) ='-', type<22> Line: 679 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(679) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(681) : error 3 : , at offset 23
near [Index: 6203 (Start: -2125571627-Stop: -2125571627) ='-', type<22> Line: 681 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(681) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(685) : error 3 : , at offset 24
near [Index: 6243 (Start: -2125571507-Stop: -2125571507) ='-', type<22> Line: 685 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(685) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(688) : error 3 : , at offset 24
near [Index: 6275 (Start: -2125571401-Stop: -2125571401) ='-', type<22> Line: 688 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(688) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(702) : error 3 : , at offset 23
near [Index: 6396 (Start: -2125571054-Stop: -2125571054) ='-', type<22> Line: 702 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(702) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(721) : error 3 : , at offset 23
near [Index: 6580 (Start: -2125570496-Stop: -2125570496) ='-', type<22> Line: 721 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(721) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(836) : error 3 : , at offset 23
near [Index: 7585 (Start: -2125567410-Stop: -2125567410) ='-', type<22> Line: 836 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(836) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(858) : error 3 : , at offset 23
near [Index: 7780 (Start: -2125566809-Stop: -2125566809) ='-', type<22> Line: 858 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(858) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(863) : error 3 : , at offset 23
near [Index: 7836 (Start: -2125566644-Stop: -2125566644) ='-', type<22> Line: 863 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(863) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(866) : error 3 : , at offset 23
near [Index: 7876 (Start: -2125566521-Stop: -2125566521) ='-', type<22> Line: 866 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(866) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality7338554295406803664.gal(868) : error 3 : , at offset 23
near [Index: 7900 (Start: -2125566444-Stop: -2125566444) ='-', type<22> Line: 868 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality7338554295406803664.gal(868) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='