About the Execution of ITS-Tools for LamportFastMutEx-COL-7
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9158.695 | 3600000.00 | 12889440.00 | 391.80 | TTFTFFT?FFFTTFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r121-tall-162075407200630.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is LamportFastMutEx-COL-7, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r121-tall-162075407200630
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 141K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 92K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Apr 26 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 26 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 26 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 26 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 06:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 06:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 07:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 07:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 43K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-00
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-01
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-02
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-03
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-04
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-05
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-06
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-07
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-08
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-09
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-10
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-11
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-12
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-13
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-14
FORMULA_NAME LamportFastMutEx-COL-7-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1620878828624
Running Version 0
[2021-05-13 04:07:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -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]
[2021-05-13 04:07:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 04:07:10] [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.
[2021-05-13 04:07:10] [WARNING] Using fallBack plugin, rng conformance not checked
[2021-05-13 04:07:10] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 573 ms
[2021-05-13 04:07:10] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 264 PT places and 672.0 transition bindings in 19 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 8 ms.
Working with output stream class java.io.PrintStream
[2021-05-13 04:07:10] [INFO ] Built PT skeleton of HLPN with 18 places and 17 transitions in 3 ms.
[2021-05-13 04:07:10] [INFO ] Skeletonized HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1000_6093036918490656321.dot
Reduce places removed 3 places and 0 transitions.
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 100002 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=1123 ) properties (out of 15) seen :14
Running SMT prover for 1 properties.
// Phase 1: matrix 17 rows 15 cols
[2021-05-13 04:07:11] [INFO ] Computed 2 place invariants in 5 ms
[2021-05-13 04:07:11] [INFO ] [Real]Absence check using 2 positive place invariants in 3 ms returned sat
[2021-05-13 04:07:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:07:11] [INFO ] [Real]Absence check using state equation in 18 ms returned sat
[2021-05-13 04:07:11] [INFO ] State equation strengthened by 1 read => feed constraints.
[2021-05-13 04:07:11] [INFO ] [Real]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 04:07:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:07:11] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:07:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:07:11] [INFO ] [Nat]Absence check using state equation in 8 ms returned sat
[2021-05-13 04:07:11] [INFO ] [Nat]Added 1 Read/Feed constraints in 1 ms returned sat
[2021-05-13 04:07:11] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 7 ms.
[2021-05-13 04:07:11] [INFO ] Added : 12 causal constraints over 3 iterations in 30 ms. Result :sat
[2021-05-13 04:07:11] [INFO ] Flatten gal took : 16 ms
[2021-05-13 04:07:11] [INFO ] Flatten gal took : 3 ms
[2021-05-13 04:07:11] [INFO ] Unfolded HLPN to a Petri net with 264 places and 536 transitions in 14 ms.
[2021-05-13 04:07:11] [INFO ] Unfolded HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1001_5202105015085173039.dot
Deduced a syphon composed of 45 places in 2 ms
Reduce places removed 45 places and 74 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 107 ms. (steps per millisecond=93 ) properties (out of 15) seen :14
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-05 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-7-ReachabilityCardinality-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
[2021-05-13 04:07:11] [INFO ] Flow matrix only has 336 transitions (discarded 126 similar events)
// Phase 1: matrix 336 rows 219 cols
[2021-05-13 04:07:11] [INFO ] Computed 65 place invariants in 16 ms
[2021-05-13 04:07:11] [INFO ] [Real]Absence check using 65 positive place invariants in 28 ms returned sat
[2021-05-13 04:07:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:07:11] [INFO ] [Real]Absence check using state equation in 80 ms returned sat
[2021-05-13 04:07:11] [INFO ] State equation strengthened by 105 read => feed constraints.
[2021-05-13 04:07:11] [INFO ] [Real]Added 105 Read/Feed constraints in 14 ms returned sat
[2021-05-13 04:07:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:07:11] [INFO ] [Nat]Absence check using 65 positive place invariants in 12 ms returned sat
[2021-05-13 04:07:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:07:11] [INFO ] [Nat]Absence check using state equation in 69 ms returned sat
[2021-05-13 04:07:11] [INFO ] [Nat]Added 105 Read/Feed constraints in 12 ms returned sat
[2021-05-13 04:07:11] [INFO ] Deduced a trap composed of 14 places in 98 ms of which 4 ms to minimize.
[2021-05-13 04:07:11] [INFO ] Deduced a trap composed of 9 places in 79 ms of which 1 ms to minimize.
[2021-05-13 04:07:12] [INFO ] Deduced a trap composed of 14 places in 25 ms of which 1 ms to minimize.
[2021-05-13 04:07:12] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 267 ms
[2021-05-13 04:07:12] [INFO ] Computed and/alt/rep : 301/1778/301 causal constraints (skipped 28 transitions) in 25 ms.
[2021-05-13 04:07:12] [INFO ] Added : 134 causal constraints over 27 iterations in 563 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 6 ms.
Incomplete Parikh walk after 49400 steps, including 1000 resets, run finished after 274 ms. (steps per millisecond=180 ) properties (out of 1) seen :0 could not realise parikh vector
Support contains 21 out of 219 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 219/219 places, 462/462 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 2 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 14 place count 212 transition count 455
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 0 with 7 rules applied. Total rules applied 21 place count 212 transition count 448
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 28 place count 205 transition count 448
Applied a total of 28 rules in 74 ms. Remains 205 /219 variables (removed 14) and now considering 448/462 (removed 14) transitions.
Finished structural reductions, in 1 iterations. Remains : 205/219 places, 448/462 transitions.
[2021-05-13 04:07:13] [INFO ] Flatten gal took : 55 ms
[2021-05-13 04:07:13] [INFO ] Flatten gal took : 47 ms
[2021-05-13 04:07:13] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1471271758686987159.gal : 16 ms
[2021-05-13 04:07:13] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6730296692353580038.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality1471271758686987159.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6730296692353580038.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/ReachabilityCardinality1471271758686987159.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6730296692353580038.prop --nowitness --gen-order FOLLOW
/tmp/ReachabilityCardinality1471271758686987159.gal(208) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(208) : error 3 : , at offset 23
near [Index: 1854 (Start: 29699295-Stop: 29699295) ='-', type<22> Line: 208 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(208) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(214) : error 3 : , at offset 23
near [Index: 1914 (Start: 29699457-Stop: 29699457) ='-', type<22> Line: 214 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(214) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(220) : error 3 : , at offset 23
near [Index: 1974 (Start: 29699619-Stop: 29699619) ='-', type<22> Line: 220 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(220) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(226) : error 3 : , at offset 23
near [Index: 2034 (Start: 29699781-Stop: 29699781) ='-', type<22> Line: 226 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(226) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(232) : error 3 : , at offset 23
near [Index: 2094 (Start: 29699943-Stop: 29699943) ='-', type<22> Line: 232 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(232) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(238) : error 3 : , at offset 23
near [Index: 2154 (Start: 29700108-Stop: 29700108) ='-', type<22> Line: 238 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(238) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(244) : error 3 : , at offset 23
near [Index: 2214 (Start: 29700273-Stop: 29700273) ='-', type<22> Line: 244 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(244) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(250) : error 3 : , at offset 23
near [Index: 2274 (Start: 29700438-Stop: 29700438) ='-', type<22> Line: 250 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(250) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(254) : error 3 : , at offset 23
near [Index: 2318 (Start: 29700560-Stop: 29700560) ='-', type<22> Line: 254 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(254) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(258) : error 3 : , at offset 23
near [Index: 2362 (Start: 29700682-Stop: 29700682) ='-', type<22> Line: 258 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(258) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(262) : error 3 : , at offset 23
near [Index: 2406 (Start: 29700804-Stop: 29700804) ='-', type<22> Line: 262 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(262) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(266) : error 3 : , at offset 23
near [Index: 2450 (Start: 29700926-Stop: 29700926) ='-', type<22> Line: 266 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(266) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(270) : error 3 : , at offset 23
near [Index: 2494 (Start: 29701049-Stop: 29701049) ='-', type<22> Line: 270 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(270) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(274) : error 3 : , at offset 23
near [Index: 2538 (Start: 29701172-Stop: 29701172) ='-', type<22> Line: 274 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(274) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(796) : error 3 : , at offset 23
near [Index: 7776 (Start: 29715078-Stop: 29715078) ='-', type<22> Line: 796 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(796) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(800) : error 3 : , at offset 23
near [Index: 7820 (Start: 29715200-Stop: 29715200) ='-', type<22> Line: 800 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(800) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(804) : error 3 : , at offset 23
near [Index: 7864 (Start: 29715322-Stop: 29715322) ='-', type<22> Line: 804 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(804) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(808) : error 3 : , at offset 23
near [Index: 7908 (Start: 29715444-Stop: 29715444) ='-', type<22> Line: 808 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(808) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(812) : error 3 : , at offset 23
near [Index: 7952 (Start: 29715566-Stop: 29715566) ='-', type<22> Line: 812 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(812) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(816) : error 3 : , at offset 23
near [Index: 7996 (Start: 29715689-Stop: 29715689) ='-', type<22> Line: 816 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(816) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(820) : error 3 : , at offset 23
near [Index: 8040 (Start: 29715812-Stop: 29715812) ='-', type<22> Line: 820 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(820) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(824) : error 3 : , at offset 23
near [Index: 8084 (Start: 29715935-Stop: 29715935) ='-', type<22> Line: 824 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(824) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(830) : error 3 : , at offset 23
near [Index: 8144 (Start: 29716097-Stop: 29716097) ='-', type<22> Line: 830 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(830) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(836) : error 3 : , at offset 23
near [Index: 8204 (Start: 29716259-Stop: 29716259) ='-', type<22> Line: 836 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(836) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(842) : error 3 : , at offset 23
near [Index: 8264 (Start: 29716421-Stop: 29716421) ='-', type<22> Line: 842 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(842) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(848) : error 3 : , at offset 23
near [Index: 8324 (Start: 29716583-Stop: 29716583) ='-', type<22> Line: 848 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(848) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(854) : error 3 : , at offset 23
near [Index: 8384 (Start: 29716748-Stop: 29716748) ='-', type<22> Line: 854 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(854) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(860) : error 3 : , at offset 23
near [Index: 8444 (Start: 29716913-Stop: 29716913) ='-', type<22> Line: 860 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(860) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(1986) : error 3 : , at offset 24
near [Index: 20166 (Start: 29748429-Stop: 29748429) ='-', type<22> Line: 1986 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(1986) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(1990) : error 3 : , at offset 24
near [Index: 20210 (Start: 29748555-Stop: 29748555) ='-', type<22> Line: 1990 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(1990) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(1994) : error 3 : , at offset 24
near [Index: 20254 (Start: 29748681-Stop: 29748681) ='-', type<22> Line: 1994 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(1994) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(1998) : error 3 : , at offset 24
near [Index: 20298 (Start: 29748807-Stop: 29748807) ='-', type<22> Line: 1998 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(1998) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2002) : error 3 : , at offset 24
near [Index: 20342 (Start: 29748933-Stop: 29748933) ='-', type<22> Line: 2002 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2002) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2006) : error 3 : , at offset 24
near [Index: 20386 (Start: 29749060-Stop: 29749060) ='-', type<22> Line: 2006 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2006) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2010) : error 3 : , at offset 24
near [Index: 20430 (Start: 29749187-Stop: 29749187) ='-', type<22> Line: 2010 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2010) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2014) : error 3 : , at offset 24
near [Index: 20474 (Start: 29749314-Stop: 29749314) ='-', type<22> Line: 2014 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2014) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2020) : error 3 : , at offset 24
near [Index: 20534 (Start: 29749480-Stop: 29749480) ='-', type<22> Line: 2020 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2020) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2026) : error 3 : , at offset 24
near [Index: 20594 (Start: 29749646-Stop: 29749646) ='-', type<22> Line: 2026 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2026) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2032) : error 3 : , at offset 24
near [Index: 20654 (Start: 29749812-Stop: 29749812) ='-', type<22> Line: 2032 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2032) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2038) : error 3 : , at offset 24
near [Index: 20714 (Start: 29749978-Stop: 29749978) ='-', type<22> Line: 2038 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2038) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2044) : error 3 : , at offset 24
near [Index: 20774 (Start: 29750147-Stop: 29750147) ='-', type<22> Line: 2044 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2044) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2050) : error 3 : , at offset 24
near [Index: 20834 (Start: 29750316-Stop: 29750316) ='-', type<22> Line: 2050 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2050) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2056) : error 3 : , at offset 24
near [Index: 20894 (Start: 29750485-Stop: 29750485) ='-', type<22> Line: 2056 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2056) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2067) : error 3 : , at offset 24
near [Index: 20996 (Start: 29750792-Stop: 29750792) ='-', type<22> Line: 2067 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2067) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2080) : error 3 : , at offset 24
near [Index: 21114 (Start: 29751139-Stop: 29751139) ='-', type<22> Line: 2080 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2080) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2091) : error 3 : , at offset 24
near [Index: 21216 (Start: 29751447-Stop: 29751447) ='-', type<22> Line: 2091 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2091) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2104) : error 3 : , at offset 24
near [Index: 21334 (Start: 29751795-Stop: 29751795) ='-', type<22> Line: 2104 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2104) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2115) : error 3 : , at offset 24
near [Index: 21436 (Start: 29752103-Stop: 29752103) ='-', type<22> Line: 2115 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2115) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2128) : error 3 : , at offset 24
near [Index: 21554 (Start: 29752451-Stop: 29752451) ='-', type<22> Line: 2128 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2128) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2139) : error 3 : , at offset 24
near [Index: 21656 (Start: 29752759-Stop: 29752759) ='-', type<22> Line: 2139 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2139) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2152) : error 3 : , at offset 24
near [Index: 21774 (Start: 29753107-Stop: 29753107) ='-', type<22> Line: 2152 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2152) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2163) : error 3 : , at offset 24
near [Index: 21876 (Start: 29753416-Stop: 29753416) ='-', type<22> Line: 2163 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2163) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2176) : error 3 : , at offset 24
near [Index: 21994 (Start: 29753767-Stop: 29753767) ='-', type<22> Line: 2176 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2176) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2187) : error 3 : , at offset 24
near [Index: 22096 (Start: 29754076-Stop: 29754076) ='-', type<22> Line: 2187 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2187) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2200) : error 3 : , at offset 24
near [Index: 22214 (Start: 29754427-Stop: 29754427) ='-', type<22> Line: 2200 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1471271758686987159.gal(2200) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1471271758686987159.gal(2211) : error 3 : , at offset 24
near [Index: 22316 (Start: 29754736-Stop: 29754736) ='-', type<22> Line: 2211 LinePos:24]
: cannot match to any predicted input...
The parser returned 112 errors, parsing aborted
ITS-tools command line returned an error code 1
[2021-05-13 04:07:13] [INFO ] Flatten gal took : 47 ms
[2021-05-13 04:07:13] [INFO ] Applying decomposition
[2021-05-13 04:07:13] [INFO ] Flatten gal took : 47 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/graph18338848190577164475.txt, -o, /tmp/graph18338848190577164475.bin, -w, /tmp/graph18338848190577164475.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/graph18338848190577164475.bin, -l, -1, -v, -w, /tmp/graph18338848190577164475.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-13 04:07:13] [INFO ] Decomposing Gal with order
[2021-05-13 04:07:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-13 04:07:13] [INFO ] Removed a total of 626 redundant transitions.
[2021-05-13 04:07:13] [INFO ] Flatten gal took : 109 ms
[2021-05-13 04:07:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 245 labels/synchronizations in 20 ms.
[2021-05-13 04:07:13] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9796777776818623302.gal : 7 ms
[2021-05-13 04:07:13] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13191197003983589411.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality9796777776818623302.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality13191197003983589411.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/ReachabilityCardinality9796777776818623302.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality13191197003983589411.prop --nowitness --gen-order FOLLOW
/tmp/ReachabilityCardinality9796777776818623302.gal(250) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(250) : error 3 : , at offset 31
near [Index: 3126 (Start: 24705496-Stop: 24705496) ='-', type<22> Line: 250 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(250) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(253) : error 3 : , at offset 31
near [Index: 3170 (Start: 24705636-Stop: 24705636) ='-', type<22> Line: 253 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(253) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(256) : error 3 : , at offset 31
near [Index: 3214 (Start: 24705776-Stop: 24705776) ='-', type<22> Line: 256 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(256) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(259) : error 3 : , at offset 31
near [Index: 3258 (Start: 24705916-Stop: 24705916) ='-', type<22> Line: 259 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(259) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(262) : error 3 : , at offset 31
near [Index: 3302 (Start: 24706056-Stop: 24706056) ='-', type<22> Line: 262 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(262) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(265) : error 3 : , at offset 31
near [Index: 3346 (Start: 24706196-Stop: 24706196) ='-', type<22> Line: 265 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(265) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(268) : error 3 : , at offset 31
near [Index: 3390 (Start: 24706336-Stop: 24706336) ='-', type<22> Line: 268 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(268) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(313) : error 3 : , at offset 31
near [Index: 3910 (Start: 24708016-Stop: 24708016) ='-', type<22> Line: 313 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(313) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(316) : error 3 : , at offset 31
near [Index: 3954 (Start: 24708156-Stop: 24708156) ='-', type<22> Line: 316 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(316) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(319) : error 3 : , at offset 31
near [Index: 3998 (Start: 24708296-Stop: 24708296) ='-', type<22> Line: 319 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(319) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(322) : error 3 : , at offset 31
near [Index: 4042 (Start: 24708436-Stop: 24708436) ='-', type<22> Line: 322 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(322) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(325) : error 3 : , at offset 31
near [Index: 4086 (Start: 24708576-Stop: 24708576) ='-', type<22> Line: 325 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(325) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(328) : error 3 : , at offset 31
near [Index: 4130 (Start: 24708716-Stop: 24708716) ='-', type<22> Line: 328 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(328) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(331) : error 3 : , at offset 31
near [Index: 4174 (Start: 24708856-Stop: 24708856) ='-', type<22> Line: 331 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(331) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(334) : error 3 : , at offset 28
near [Index: 4216 (Start: 24708993-Stop: 24708993) ='-', type<22> Line: 334 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(334) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(337) : error 3 : , at offset 28
near [Index: 4243 (Start: 24709103-Stop: 24709103) ='-', type<22> Line: 337 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(337) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(340) : error 3 : , at offset 28
near [Index: 4270 (Start: 24709213-Stop: 24709213) ='-', type<22> Line: 340 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(340) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(343) : error 3 : , at offset 28
near [Index: 4297 (Start: 24709323-Stop: 24709323) ='-', type<22> Line: 343 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(343) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(346) : error 3 : , at offset 28
near [Index: 4324 (Start: 24709433-Stop: 24709433) ='-', type<22> Line: 346 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(346) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(349) : error 3 : , at offset 28
near [Index: 4351 (Start: 24709543-Stop: 24709543) ='-', type<22> Line: 349 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(349) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(352) : error 3 : , at offset 28
near [Index: 4378 (Start: 24709653-Stop: 24709653) ='-', type<22> Line: 352 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(352) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(355) : error 3 : , at offset 27
near [Index: 4405 (Start: 24709762-Stop: 24709762) ='-', type<22> Line: 355 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(355) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(358) : error 3 : , at offset 27
near [Index: 4432 (Start: 24709883-Stop: 24709883) ='-', type<22> Line: 358 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(358) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(361) : error 3 : , at offset 27
near [Index: 4459 (Start: 24710004-Stop: 24710004) ='-', type<22> Line: 361 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(361) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(364) : error 3 : , at offset 27
near [Index: 4486 (Start: 24710125-Stop: 24710125) ='-', type<22> Line: 364 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(364) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(367) : error 3 : , at offset 27
near [Index: 4513 (Start: 24710246-Stop: 24710246) ='-', type<22> Line: 367 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(367) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(370) : error 3 : , at offset 27
near [Index: 4540 (Start: 24710367-Stop: 24710367) ='-', type<22> Line: 370 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(370) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(373) : error 3 : , at offset 27
near [Index: 4567 (Start: 24710488-Stop: 24710488) ='-', type<22> Line: 373 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(373) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(397) : error 3 : , at offset 27
near [Index: 4769 (Start: 24711372-Stop: 24711372) ='-', type<22> Line: 397 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(397) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(400) : error 3 : , at offset 27
near [Index: 4796 (Start: 24711493-Stop: 24711493) ='-', type<22> Line: 400 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(400) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(403) : error 3 : , at offset 27
near [Index: 4823 (Start: 24711614-Stop: 24711614) ='-', type<22> Line: 403 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(403) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(406) : error 3 : , at offset 27
near [Index: 4850 (Start: 24711735-Stop: 24711735) ='-', type<22> Line: 406 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(406) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(409) : error 3 : , at offset 27
near [Index: 4877 (Start: 24711856-Stop: 24711856) ='-', type<22> Line: 409 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(409) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(412) : error 3 : , at offset 27
near [Index: 4904 (Start: 24711977-Stop: 24711977) ='-', type<22> Line: 412 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(412) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(415) : error 3 : , at offset 27
near [Index: 4931 (Start: 24712098-Stop: 24712098) ='-', type<22> Line: 415 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(415) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(418) : error 3 : , at offset 31
near [Index: 4960 (Start: 24712223-Stop: 24712223) ='-', type<22> Line: 418 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(418) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(916) : error 3 : , at offset 32
near [Index: 11652 (Start: 24730470-Stop: 24730470) ='-', type<22> Line: 916 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(916) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(919) : error 3 : , at offset 32
near [Index: 11696 (Start: 24730614-Stop: 24730614) ='-', type<22> Line: 919 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(919) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(922) : error 3 : , at offset 32
near [Index: 11740 (Start: 24730758-Stop: 24730758) ='-', type<22> Line: 922 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(922) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(925) : error 3 : , at offset 32
near [Index: 11784 (Start: 24730902-Stop: 24730902) ='-', type<22> Line: 925 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(925) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(928) : error 3 : , at offset 32
near [Index: 11828 (Start: 24731046-Stop: 24731046) ='-', type<22> Line: 928 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(928) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(931) : error 3 : , at offset 32
near [Index: 11872 (Start: 24731190-Stop: 24731190) ='-', type<22> Line: 931 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(931) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(934) : error 3 : , at offset 32
near [Index: 11916 (Start: 24731334-Stop: 24731334) ='-', type<22> Line: 934 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(934) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(937) : error 3 : , at offset 31
near [Index: 11960 (Start: 24731477-Stop: 24731477) ='-', type<22> Line: 937 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(937) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(957) : error 3 : , at offset 31
near [Index: 12238 (Start: 24732277-Stop: 24732277) ='-', type<22> Line: 957 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(957) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(977) : error 3 : , at offset 31
near [Index: 12516 (Start: 24733077-Stop: 24733077) ='-', type<22> Line: 977 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(977) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(987) : error 3 : , at offset 31
near [Index: 12648 (Start: 24733489-Stop: 24733489) ='-', type<22> Line: 987 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(987) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1015) : error 3 : , at offset 31
near [Index: 13032 (Start: 24734599-Stop: 24734599) ='-', type<22> Line: 1015 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1015) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1035) : error 3 : , at offset 32
near [Index: 13310 (Start: 24735400-Stop: 24735400) ='-', type<22> Line: 1035 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1035) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1069) : error 3 : , at offset 33
near [Index: 13772 (Start: 24736813-Stop: 24736813) ='-', type<22> Line: 1069 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1069) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1086) : error 3 : , at offset 33
near [Index: 14002 (Start: 24737574-Stop: 24737574) ='-', type<22> Line: 1086 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1086) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1112) : error 3 : , at offset 33
near [Index: 14366 (Start: 24738714-Stop: 24738714) ='-', type<22> Line: 1112 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1112) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1129) : error 3 : , at offset 33
near [Index: 14596 (Start: 24739475-Stop: 24739475) ='-', type<22> Line: 1129 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1129) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1146) : error 3 : , at offset 33
near [Index: 14826 (Start: 24740236-Stop: 24740236) ='-', type<22> Line: 1146 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1146) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1163) : error 3 : , at offset 33
near [Index: 15056 (Start: 24740997-Stop: 24740997) ='-', type<22> Line: 1163 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1163) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1180) : error 3 : , at offset 33
near [Index: 15286 (Start: 24741758-Stop: 24741758) ='-', type<22> Line: 1180 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1180) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1183) : error 3 : , at offset 32
near [Index: 15332 (Start: 24741931-Stop: 24741931) ='-', type<22> Line: 1183 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1183) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1187) : error 3 : , at offset 32
near [Index: 15388 (Start: 24742092-Stop: 24742092) ='-', type<22> Line: 1187 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1187) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1189) : error 3 : , at offset 32
near [Index: 15420 (Start: 24742195-Stop: 24742195) ='-', type<22> Line: 1189 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1189) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1192) : error 3 : , at offset 32
near [Index: 15464 (Start: 24742332-Stop: 24742332) ='-', type<22> Line: 1192 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1192) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1230) : error 3 : , at offset 33
near [Index: 16074 (Start: 24744138-Stop: 24744138) ='-', type<22> Line: 1230 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1230) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1234) : error 3 : , at offset 33
near [Index: 16130 (Start: 24744301-Stop: 24744301) ='-', type<22> Line: 1234 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1234) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1244) : error 3 : , at offset 33
near [Index: 16260 (Start: 24744698-Stop: 24744698) ='-', type<22> Line: 1244 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1244) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1277) : error 3 : , at offset 32
near [Index: 16850 (Start: 24746350-Stop: 24746350) ='-', type<22> Line: 1277 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1277) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1281) : error 3 : , at offset 32
near [Index: 16906 (Start: 24746511-Stop: 24746511) ='-', type<22> Line: 1281 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1281) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1283) : error 3 : , at offset 32
near [Index: 16938 (Start: 24746614-Stop: 24746614) ='-', type<22> Line: 1283 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1283) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1286) : error 3 : , at offset 32
near [Index: 16982 (Start: 24746751-Stop: 24746751) ='-', type<22> Line: 1286 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1286) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1324) : error 3 : , at offset 33
near [Index: 17592 (Start: 24748560-Stop: 24748560) ='-', type<22> Line: 1324 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1324) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1328) : error 3 : , at offset 33
near [Index: 17648 (Start: 24748723-Stop: 24748723) ='-', type<22> Line: 1328 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1328) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1338) : error 3 : , at offset 33
near [Index: 17778 (Start: 24749121-Stop: 24749121) ='-', type<22> Line: 1338 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1338) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1371) : error 3 : , at offset 32
near [Index: 18368 (Start: 24750778-Stop: 24750778) ='-', type<22> Line: 1371 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1371) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1375) : error 3 : , at offset 32
near [Index: 18424 (Start: 24750939-Stop: 24750939) ='-', type<22> Line: 1375 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1375) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1377) : error 3 : , at offset 32
near [Index: 18456 (Start: 24751042-Stop: 24751042) ='-', type<22> Line: 1377 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1377) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1380) : error 3 : , at offset 32
near [Index: 18500 (Start: 24751179-Stop: 24751179) ='-', type<22> Line: 1380 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1380) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1418) : error 3 : , at offset 33
near [Index: 19110 (Start: 24752988-Stop: 24752988) ='-', type<22> Line: 1418 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1418) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1422) : error 3 : , at offset 33
near [Index: 19166 (Start: 24753151-Stop: 24753151) ='-', type<22> Line: 1422 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1422) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1432) : error 3 : , at offset 33
near [Index: 19296 (Start: 24753549-Stop: 24753549) ='-', type<22> Line: 1432 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1432) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1465) : error 3 : , at offset 32
near [Index: 19886 (Start: 24755206-Stop: 24755206) ='-', type<22> Line: 1465 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1465) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1469) : error 3 : , at offset 32
near [Index: 19942 (Start: 24755367-Stop: 24755367) ='-', type<22> Line: 1469 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1469) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1471) : error 3 : , at offset 32
near [Index: 19974 (Start: 24755470-Stop: 24755470) ='-', type<22> Line: 1471 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1471) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1474) : error 3 : , at offset 32
near [Index: 20018 (Start: 24755607-Stop: 24755607) ='-', type<22> Line: 1474 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1474) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1512) : error 3 : , at offset 33
near [Index: 20628 (Start: 24757416-Stop: 24757416) ='-', type<22> Line: 1512 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1512) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1516) : error 3 : , at offset 33
near [Index: 20684 (Start: 24757579-Stop: 24757579) ='-', type<22> Line: 1516 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1516) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1526) : error 3 : , at offset 33
near [Index: 20814 (Start: 24757977-Stop: 24757977) ='-', type<22> Line: 1526 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1526) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1559) : error 3 : , at offset 32
near [Index: 21404 (Start: 24759634-Stop: 24759634) ='-', type<22> Line: 1559 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1559) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1563) : error 3 : , at offset 32
near [Index: 21460 (Start: 24759798-Stop: 24759798) ='-', type<22> Line: 1563 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1563) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1565) : error 3 : , at offset 32
near [Index: 21492 (Start: 24759902-Stop: 24759902) ='-', type<22> Line: 1565 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1565) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1568) : error 3 : , at offset 32
near [Index: 21536 (Start: 24760040-Stop: 24760040) ='-', type<22> Line: 1568 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1568) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1606) : error 3 : , at offset 33
near [Index: 22146 (Start: 24761854-Stop: 24761854) ='-', type<22> Line: 1606 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1606) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1610) : error 3 : , at offset 33
near [Index: 22202 (Start: 24762020-Stop: 24762020) ='-', type<22> Line: 1610 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1610) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1620) : error 3 : , at offset 33
near [Index: 22332 (Start: 24762419-Stop: 24762419) ='-', type<22> Line: 1620 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1620) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1653) : error 3 : , at offset 32
near [Index: 22922 (Start: 24764079-Stop: 24764079) ='-', type<22> Line: 1653 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1653) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1657) : error 3 : , at offset 32
near [Index: 22978 (Start: 24764243-Stop: 24764243) ='-', type<22> Line: 1657 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1657) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1659) : error 3 : , at offset 32
near [Index: 23010 (Start: 24764347-Stop: 24764347) ='-', type<22> Line: 1659 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1659) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1662) : error 3 : , at offset 32
near [Index: 23054 (Start: 24764485-Stop: 24764485) ='-', type<22> Line: 1662 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1662) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1700) : error 3 : , at offset 33
near [Index: 23664 (Start: 24766299-Stop: 24766299) ='-', type<22> Line: 1700 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1700) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1704) : error 3 : , at offset 33
near [Index: 23720 (Start: 24766465-Stop: 24766465) ='-', type<22> Line: 1704 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1704) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1714) : error 3 : , at offset 33
near [Index: 23850 (Start: 24766864-Stop: 24766864) ='-', type<22> Line: 1714 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1714) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1747) : error 3 : , at offset 32
near [Index: 24440 (Start: 24768524-Stop: 24768524) ='-', type<22> Line: 1747 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1747) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1751) : error 3 : , at offset 32
near [Index: 24496 (Start: 24768688-Stop: 24768688) ='-', type<22> Line: 1751 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1751) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1753) : error 3 : , at offset 32
near [Index: 24528 (Start: 24768792-Stop: 24768792) ='-', type<22> Line: 1753 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1753) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1756) : error 3 : , at offset 32
near [Index: 24572 (Start: 24768930-Stop: 24768930) ='-', type<22> Line: 1756 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1756) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1794) : error 3 : , at offset 33
near [Index: 25182 (Start: 24770744-Stop: 24770744) ='-', type<22> Line: 1794 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1794) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1798) : error 3 : , at offset 33
near [Index: 25238 (Start: 24770910-Stop: 24770910) ='-', type<22> Line: 1798 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1798) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(1808) : error 3 : , at offset 33
near [Index: 25368 (Start: 24771309-Stop: 24771309) ='-', type<22> Line: 1808 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(1808) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2079) : error 3 : , at offset 28
near [Index: 27580 (Start: 24781687-Stop: 24781687) ='-', type<22> Line: 2079 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2079) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2083) : error 3 : , at offset 28
near [Index: 27608 (Start: 24781854-Stop: 24781854) ='-', type<22> Line: 2083 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2083) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2087) : error 3 : , at offset 28
near [Index: 27636 (Start: 24782021-Stop: 24782021) ='-', type<22> Line: 2087 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2087) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2091) : error 3 : , at offset 28
near [Index: 27664 (Start: 24782188-Stop: 24782188) ='-', type<22> Line: 2091 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2091) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2095) : error 3 : , at offset 28
near [Index: 27692 (Start: 24782355-Stop: 24782355) ='-', type<22> Line: 2095 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2095) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2099) : error 3 : , at offset 28
near [Index: 27720 (Start: 24782522-Stop: 24782522) ='-', type<22> Line: 2099 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2099) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2103) : error 3 : , at offset 28
near [Index: 27748 (Start: 24782689-Stop: 24782689) ='-', type<22> Line: 2103 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2103) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2107) : error 3 : , at offset 28
near [Index: 27776 (Start: 24782856-Stop: 24782856) ='-', type<22> Line: 2107 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2107) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2110) : error 3 : , at offset 28
near [Index: 27803 (Start: 24782980-Stop: 24782980) ='-', type<22> Line: 2110 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2110) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2113) : error 3 : , at offset 28
near [Index: 27830 (Start: 24783106-Stop: 24783106) ='-', type<22> Line: 2113 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2113) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2116) : error 3 : , at offset 28
near [Index: 27857 (Start: 24783230-Stop: 24783230) ='-', type<22> Line: 2116 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2116) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2119) : error 3 : , at offset 28
near [Index: 27884 (Start: 24783353-Stop: 24783353) ='-', type<22> Line: 2119 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2119) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2122) : error 3 : , at offset 28
near [Index: 27911 (Start: 24783477-Stop: 24783477) ='-', type<22> Line: 2122 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2122) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2125) : error 3 : , at offset 28
near [Index: 27938 (Start: 24783603-Stop: 24783603) ='-', type<22> Line: 2125 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2125) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2128) : error 3 : , at offset 28
near [Index: 27965 (Start: 24783727-Stop: 24783727) ='-', type<22> Line: 2128 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2128) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2131) : error 3 : , at offset 28
near [Index: 27992 (Start: 24783850-Stop: 24783850) ='-', type<22> Line: 2131 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2131) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2134) : error 3 : , at offset 28
near [Index: 28019 (Start: 24783974-Stop: 24783974) ='-', type<22> Line: 2134 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2134) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2137) : error 3 : , at offset 28
near [Index: 28046 (Start: 24784100-Stop: 24784100) ='-', type<22> Line: 2137 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2137) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2140) : error 3 : , at offset 28
near [Index: 28073 (Start: 24784224-Stop: 24784224) ='-', type<22> Line: 2140 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2140) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2143) : error 3 : , at offset 28
near [Index: 28100 (Start: 24784350-Stop: 24784350) ='-', type<22> Line: 2143 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2143) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2146) : error 3 : , at offset 28
near [Index: 28127 (Start: 24784473-Stop: 24784473) ='-', type<22> Line: 2146 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2146) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2149) : error 3 : , at offset 28
near [Index: 28154 (Start: 24784597-Stop: 24784597) ='-', type<22> Line: 2149 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2149) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2152) : error 3 : , at offset 28
near [Index: 28181 (Start: 24784720-Stop: 24784720) ='-', type<22> Line: 2152 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2152) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2155) : error 3 : , at offset 28
near [Index: 28208 (Start: 24784840-Stop: 24784840) ='-', type<22> Line: 2155 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2155) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2158) : error 3 : , at offset 28
near [Index: 28235 (Start: 24784963-Stop: 24784963) ='-', type<22> Line: 2158 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2158) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2161) : error 3 : , at offset 28
near [Index: 28262 (Start: 24785083-Stop: 24785083) ='-', type<22> Line: 2161 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2161) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2164) : error 3 : , at offset 28
near [Index: 28289 (Start: 24785206-Stop: 24785206) ='-', type<22> Line: 2164 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2164) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2167) : error 3 : , at offset 28
near [Index: 28316 (Start: 24785329-Stop: 24785329) ='-', type<22> Line: 2167 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2167) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2708) : error 3 : , at offset 27
near [Index: 31989 (Start: 24801683-Stop: 24801683) ='-', type<22> Line: 2708 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2708) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2711) : error 3 : , at offset 27
near [Index: 32016 (Start: 24801806-Stop: 24801806) ='-', type<22> Line: 2711 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2711) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2714) : error 3 : , at offset 27
near [Index: 32043 (Start: 24801929-Stop: 24801929) ='-', type<22> Line: 2714 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2714) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2717) : error 3 : , at offset 27
near [Index: 32070 (Start: 24802052-Stop: 24802052) ='-', type<22> Line: 2717 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2717) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2720) : error 3 : , at offset 27
near [Index: 32097 (Start: 24802175-Stop: 24802175) ='-', type<22> Line: 2720 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2720) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
ITS-tools command line returned an error code 1
/tmp/ReachabilityCardinality9796777776818623302.gal(2723) : error 3 : , at offset 27
near [Index: 32124 (Start: 24802298-Stop: 24802298) ='-', type<22> Line: 2723 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2723) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2726) : error 3 : , at offset 27
near [Index: 32151 (Start: 24802421-Stop: 24802421) ='-', type<22> Line: 2726 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2726) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2957) : error 3 : , at offset 27
near [Index: 33688 (Start: 24809110-Stop: 24809110) ='-', type<22> Line: 2957 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2957) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2960) : error 3 : , at offset 27
near [Index: 33715 (Start: 24809231-Stop: 24809231) ='-', type<22> Line: 2960 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2960) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2963) : error 3 : , at offset 27
near [Index: 33742 (Start: 24809354-Stop: 24809354) ='-', type<22> Line: 2963 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2963) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2966) : error 3 : , at offset 27
near [Index: 33769 (Start: 24809475-Stop: 24809475) ='-', type<22> Line: 2966 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2966) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2969) : error 3 : , at offset 27
near [Index: 33796 (Start: 24809598-Stop: 24809598) ='-', type<22> Line: 2969 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2969) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2972) : error 3 : , at offset 27
near [Index: 33823 (Start: 24809719-Stop: 24809719) ='-', type<22> Line: 2972 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2972) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2975) : error 3 : , at offset 27
near [Index: 33850 (Start: 24809842-Stop: 24809842) ='-', type<22> Line: 2975 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2975) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2978) : error 3 : , at offset 27
near [Index: 33877 (Start: 24809965-Stop: 24809965) ='-', type<22> Line: 2978 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2978) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2981) : error 3 : , at offset 27
near [Index: 33904 (Start: 24810088-Stop: 24810088) ='-', type<22> Line: 2981 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2981) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2984) : error 3 : , at offset 27
near [Index: 33931 (Start: 24810211-Stop: 24810211) ='-', type<22> Line: 2984 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2984) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2987) : error 3 : , at offset 27
near [Index: 33958 (Start: 24810332-Stop: 24810332) ='-', type<22> Line: 2987 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2987) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2990) : error 3 : , at offset 27
near [Index: 33985 (Start: 24810455-Stop: 24810455) ='-', type<22> Line: 2990 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2990) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2993) : error 3 : , at offset 27
near [Index: 34012 (Start: 24810576-Stop: 24810576) ='-', type<22> Line: 2993 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2993) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2996) : error 3 : , at offset 27
near [Index: 34039 (Start: 24810697-Stop: 24810697) ='-', type<22> Line: 2996 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2996) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(2999) : error 3 : , at offset 23
near [Index: 34064 (Start: 24810816-Stop: 24810816) ='-', type<22> Line: 2999 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(2999) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3004) : error 3 : , at offset 23
near [Index: 34095 (Start: 24810970-Stop: 24810970) ='-', type<22> Line: 3004 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3004) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3009) : error 3 : , at offset 23
near [Index: 34126 (Start: 24811124-Stop: 24811124) ='-', type<22> Line: 3009 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3009) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3014) : error 3 : , at offset 23
near [Index: 34157 (Start: 24811278-Stop: 24811278) ='-', type<22> Line: 3014 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3014) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3019) : error 3 : , at offset 23
near [Index: 34188 (Start: 24811433-Stop: 24811433) ='-', type<22> Line: 3019 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3019) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3024) : error 3 : , at offset 23
near [Index: 34219 (Start: 24811587-Stop: 24811587) ='-', type<22> Line: 3024 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3024) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3029) : error 3 : , at offset 23
near [Index: 34250 (Start: 24811741-Stop: 24811741) ='-', type<22> Line: 3029 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3029) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3279) : error 3 : , at offset 23
near [Index: 35702 (Start: 24818615-Stop: 24818615) ='-', type<22> Line: 3279 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3279) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3283) : error 3 : , at offset 23
near [Index: 35728 (Start: 24818733-Stop: 24818733) ='-', type<22> Line: 3283 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3283) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3287) : error 3 : , at offset 23
near [Index: 35754 (Start: 24818851-Stop: 24818851) ='-', type<22> Line: 3287 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3287) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3291) : error 3 : , at offset 23
near [Index: 35780 (Start: 24818969-Stop: 24818969) ='-', type<22> Line: 3291 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3291) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3295) : error 3 : , at offset 23
near [Index: 35806 (Start: 24819087-Stop: 24819087) ='-', type<22> Line: 3295 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3295) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3299) : error 3 : , at offset 23
near [Index: 35832 (Start: 24819205-Stop: 24819205) ='-', type<22> Line: 3299 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3299) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3303) : error 3 : , at offset 23
near [Index: 35858 (Start: 24819323-Stop: 24819323) ='-', type<22> Line: 3303 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3303) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3405) : error 3 : , at offset 24
near [Index: 36458 (Start: 24822053-Stop: 24822053) ='-', type<22> Line: 3405 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3405) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3410) : error 3 : , at offset 24
near [Index: 36489 (Start: 24822201-Stop: 24822201) ='-', type<22> Line: 3410 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3410) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3415) : error 3 : , at offset 24
near [Index: 36520 (Start: 24822349-Stop: 24822349) ='-', type<22> Line: 3415 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3415) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3420) : error 3 : , at offset 24
near [Index: 36551 (Start: 24822497-Stop: 24822497) ='-', type<22> Line: 3420 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3420) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3425) : error 3 : , at offset 24
near [Index: 36582 (Start: 24822648-Stop: 24822648) ='-', type<22> Line: 3425 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3425) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3430) : error 3 : , at offset 24
near [Index: 36613 (Start: 24822799-Stop: 24822799) ='-', type<22> Line: 3430 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality9796777776818623302.gal(3430) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality9796777776818623302.gal(3435) : error 3 : , at offset 24
near [Index: 36644 (Start: 24822950-Stop: 24822950) ='-', type<22> Line: 3435 LinePos:24]
: cannot match to any predicted input...
The parser returned 350 errors, parsing aborted
Built C files in :
/tmp/ltsmin68900697877713984
[2021-05-13 04:07:13] [INFO ] Built C files in 11ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin68900697877713984
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/ltsmin68900697877713984]
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/ltsmin68900697877713984] 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/ltsmin68900697877713984] 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 3361 ms. (steps per millisecond=297 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1229 ms. (steps per millisecond=813 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 11526857 steps, run timeout after 30001 ms. (steps per millisecond=384 ) properties seen :{}
Probabilistic random walk after 11526857 steps, saw 3043593 distinct states, run finished after 30004 ms. (steps per millisecond=384 ) properties seen :{}
Running SMT prover for 1 properties.
[2021-05-13 04:07:49] [INFO ] Flow matrix only has 322 transitions (discarded 126 similar events)
// Phase 1: matrix 322 rows 205 cols
[2021-05-13 04:07:49] [INFO ] Computed 65 place invariants in 8 ms
[2021-05-13 04:07:49] [INFO ] [Real]Absence check using 65 positive place invariants in 40 ms returned sat
[2021-05-13 04:07:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:07:49] [INFO ] [Real]Absence check using state equation in 282 ms returned sat
[2021-05-13 04:07:49] [INFO ] State equation strengthened by 105 read => feed constraints.
[2021-05-13 04:07:49] [INFO ] [Real]Added 105 Read/Feed constraints in 21 ms returned sat
[2021-05-13 04:07:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:07:50] [INFO ] [Nat]Absence check using 65 positive place invariants in 224 ms returned sat
[2021-05-13 04:07:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:07:50] [INFO ] [Nat]Absence check using state equation in 92 ms returned sat
[2021-05-13 04:07:50] [INFO ] [Nat]Added 105 Read/Feed constraints in 33 ms returned sat
[2021-05-13 04:07:50] [INFO ] Deduced a trap composed of 6 places in 122 ms of which 1 ms to minimize.
[2021-05-13 04:07:50] [INFO ] Deduced a trap composed of 7 places in 113 ms of which 0 ms to minimize.
[2021-05-13 04:07:50] [INFO ] Deduced a trap composed of 17 places in 118 ms of which 1 ms to minimize.
[2021-05-13 04:07:50] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 426 ms
[2021-05-13 04:07:50] [INFO ] Computed and/alt/rep : 280/1750/280 causal constraints (skipped 35 transitions) in 28 ms.
[2021-05-13 04:07:51] [INFO ] Added : 118 causal constraints over 24 iterations in 476 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 6 ms.
Incomplete Parikh walk after 36700 steps, including 974 resets, run finished after 124 ms. (steps per millisecond=295 ) properties (out of 1) seen :0 could not realise parikh vector
Support contains 21 out of 205 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 205/205 places, 448/448 transitions.
Applied a total of 0 rules in 16 ms. Remains 205 /205 variables (removed 0) and now considering 448/448 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 205/205 places, 448/448 transitions.
Starting structural reductions, iteration 0 : 205/205 places, 448/448 transitions.
Applied a total of 0 rules in 12 ms. Remains 205 /205 variables (removed 0) and now considering 448/448 (removed 0) transitions.
[2021-05-13 04:07:51] [INFO ] Flow matrix only has 322 transitions (discarded 126 similar events)
// Phase 1: matrix 322 rows 205 cols
[2021-05-13 04:07:51] [INFO ] Computed 65 place invariants in 3 ms
[2021-05-13 04:07:51] [INFO ] Implicit Places using invariants in 195 ms returned [128, 129, 130, 131, 132, 133, 134]
Discarding 7 places :
Implicit Place search using SMT only with invariants took 198 ms to find 7 implicit places.
[2021-05-13 04:07:51] [INFO ] Redundant transitions in 27 ms returned []
[2021-05-13 04:07:51] [INFO ] Flow matrix only has 322 transitions (discarded 126 similar events)
// Phase 1: matrix 322 rows 198 cols
[2021-05-13 04:07:51] [INFO ] Computed 58 place invariants in 6 ms
[2021-05-13 04:07:51] [INFO ] Dead Transitions using invariants and state equation in 185 ms returned []
Starting structural reductions, iteration 1 : 198/205 places, 448/448 transitions.
Applied a total of 0 rules in 19 ms. Remains 198 /198 variables (removed 0) and now considering 448/448 (removed 0) transitions.
[2021-05-13 04:07:51] [INFO ] Redundant transitions in 8 ms returned []
[2021-05-13 04:07:51] [INFO ] Flow matrix only has 322 transitions (discarded 126 similar events)
// Phase 1: matrix 322 rows 198 cols
[2021-05-13 04:07:51] [INFO ] Computed 58 place invariants in 2 ms
[2021-05-13 04:07:51] [INFO ] Dead Transitions using invariants and state equation in 189 ms returned []
Finished structural reductions, in 2 iterations. Remains : 198/205 places, 448/448 transitions.
[2021-05-13 04:07:51] [INFO ] Flatten gal took : 28 ms
[2021-05-13 04:07:52] [INFO ] Flatten gal took : 27 ms
[2021-05-13 04:07:52] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10221331310289315845.gal : 3 ms
[2021-05-13 04:07:52] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9217509717159775939.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality10221331310289315845.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9217509717159775939.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/ReachabilityCardinality10221331310289315845.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9217509717159775939.prop --nowitness --gen-order FOLLOW
/tmp/ReachabilityCardinality10221331310289315845.gal(201) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(201) : error 3 : , at offset 23
near [Index: 1791 (Start: 29940791-Stop: 29940791) ='-', type<22> Line: 201 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(201) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(207) : error 3 : , at offset 23
near [Index: 1851 (Start: 29940953-Stop: 29940953) ='-', type<22> Line: 207 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(207) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(213) : error 3 : , at offset 23
near [Index: 1911 (Start: 29941115-Stop: 29941115) ='-', type<22> Line: 213 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(213) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(219) : error 3 : , at offset 23
near [Index: 1971 (Start: 29941277-Stop: 29941277) ='-', type<22> Line: 219 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(219) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(225) : error 3 : , at offset 23
near [Index: 2031 (Start: 29941439-Stop: 29941439) ='-', type<22> Line: 225 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(225) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(231) : error 3 : , at offset 23
near [Index: 2091 (Start: 29941604-Stop: 29941604) ='-', type<22> Line: 231 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(231) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(237) : error 3 : , at offset 23
near [Index: 2151 (Start: 29941769-Stop: 29941769) ='-', type<22> Line: 237 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(237) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(243) : error 3 : , at offset 23
near [Index: 2211 (Start: 29941934-Stop: 29941934) ='-', type<22> Line: 243 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(243) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(247) : error 3 : , at offset 23
near [Index: 2255 (Start: 29942056-Stop: 29942056) ='-', type<22> Line: 247 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(247) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(251) : error 3 : , at offset 23
near [Index: 2299 (Start: 29942178-Stop: 29942178) ='-', type<22> Line: 251 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(251) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(255) : error 3 : , at offset 23
near [Index: 2343 (Start: 29942300-Stop: 29942300) ='-', type<22> Line: 255 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(255) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(259) : error 3 : , at offset 23
near [Index: 2387 (Start: 29942422-Stop: 29942422) ='-', type<22> Line: 259 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(259) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(263) : error 3 : , at offset 23
near [Index: 2431 (Start: 29942545-Stop: 29942545) ='-', type<22> Line: 263 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(263) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(267) : error 3 : , at offset 23
near [Index: 2475 (Start: 29942668-Stop: 29942668) ='-', type<22> Line: 267 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(267) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(789) : error 3 : , at offset 23
near [Index: 7713 (Start: 29956574-Stop: 29956574) ='-', type<22> Line: 789 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(789) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(793) : error 3 : , at offset 23
near [Index: 7757 (Start: 29956696-Stop: 29956696) ='-', type<22> Line: 793 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(793) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(797) : error 3 : , at offset 23
near [Index: 7801 (Start: 29956818-Stop: 29956818) ='-', type<22> Line: 797 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(797) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(801) : error 3 : , at offset 23
near [Index: 7845 (Start: 29956940-Stop: 29956940) ='-', type<22> Line: 801 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(801) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(805) : error 3 : , at offset 23
near [Index: 7889 (Start: 29957062-Stop: 29957062) ='-', type<22> Line: 805 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(805) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality10221331310289315845.gal(809) : error 3 : , at offset 23
near [Index: 7933 (Start: 29957185-Stop: 29957185) ='-', type<22> Line: 809 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality10221331310289315845.gal(809) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='