Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2022-input.r143-tall-165271830300145.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is LamportFastMutEx-COL-8, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r143-tall-165271830300145
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 288K
-rw-r--r-- 1 mcc users 8.8K Apr 29 19:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Apr 29 19:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Apr 29 19:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Apr 29 19:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K May 9 08:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 9 08:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 9 08:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 9 08:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 9 08:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 9 08:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_pt
-rw-r--r-- 1 mcc users 2 May 10 09:34 instance
-rw-r--r-- 1 mcc users 5 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 44K May 10 09:34 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-00
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-01
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-02
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-03
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-04
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-05
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-06
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-07
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-08
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-09
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-10
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-11
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-12
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-13
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-14
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1652742862930

Running Version 0
[2022-05-16 23:14:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-05-16 23:14:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-16 23:14:24] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2022-05-16 23:14:24] [WARNING] Using fallBack plugin, rng conformance not checked
[2022-05-16 23:14:25] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 653 ms
[2022-05-16 23:14:25] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 315 PT places and 837.0 transition bindings in 16 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 5 ms.
[2022-05-16 23:14:25] [INFO ] Built PT skeleton of HLPN with 18 places and 17 transitions in 3 ms.
[2022-05-16 23:14:25] [INFO ] Skeletonized HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1000_3162447656466072465.dot
Reduce places removed 3 places and 0 transitions.
// Phase 1: matrix 17 rows 15 cols
[2022-05-16 23:14:25] [INFO ] Computed 2 place invariants in 14 ms
FORMULA LamportFastMutEx-COL-8-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL CPN_APPROX INITIAL_STATE
FORMULA LamportFastMutEx-COL-8-UpperBounds-07 8 TECHNIQUES TOPOLOGICAL CPN_APPROX INITIAL_STATE
FORMULA LamportFastMutEx-COL-8-UpperBounds-05 8 TECHNIQUES TOPOLOGICAL CPN_APPROX INITIAL_STATE
FORMULA LamportFastMutEx-COL-8-UpperBounds-03 1 TECHNIQUES TOPOLOGICAL CPN_APPROX INITIAL_STATE
[2022-05-16 23:14:25] [INFO ] Unfolded HLPN to a Petri net with 315 places and 666 transitions in 34 ms.
[2022-05-16 23:14:25] [INFO ] Unfolded HLPN properties in 0 ms.
// Phase 1: matrix 17 rows 15 cols
[2022-05-16 23:14:25] [INFO ] Computed 2 place invariants in 2 ms
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using 2 positive place invariants in 4 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using state equation in 13 ms returned sat
[2022-05-16 23:14:25] [INFO ] State equation strengthened by 1 read => feed constraints.
[2022-05-16 23:14:25] [INFO ] [Real]Added 1 Read/Feed constraints in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using state equation in 20 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 10 ms.
[2022-05-16 23:14:25] [INFO ] Added : 11 causal constraints over 3 iterations in 28 ms. Result :sat
Minimization took 5 ms.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using state equation in 7 ms returned sat
[2022-05-16 23:14:25] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using state equation in 5 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2022-05-16 23:14:25] [INFO ] Added : 11 causal constraints over 3 iterations in 21 ms. Result :sat
Minimization took 4 ms.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using state equation in 6 ms returned sat
[2022-05-16 23:14:25] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 10 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using state equation in 6 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2022-05-16 23:14:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2022-05-16 23:14:25] [INFO ] Added : 11 causal constraints over 3 iterations in 15 ms. Result :sat
Minimization took 12 ms.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using 2 positive place invariants in 2 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using state equation in 11 ms returned sat
[2022-05-16 23:14:25] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 0 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using state equation in 9 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2022-05-16 23:14:25] [INFO ] Added : 11 causal constraints over 3 iterations in 11 ms. Result :sat
Minimization took 3 ms.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using state equation in 5 ms returned sat
[2022-05-16 23:14:25] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using state equation in 7 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 2 ms returned sat
[2022-05-16 23:14:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2022-05-16 23:14:25] [INFO ] Added : 11 causal constraints over 3 iterations in 12 ms. Result :sat
Minimization took 4 ms.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using state equation in 5 ms returned sat
[2022-05-16 23:14:25] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using state equation in 5 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2022-05-16 23:14:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2022-05-16 23:14:25] [INFO ] Added : 11 causal constraints over 3 iterations in 13 ms. Result :sat
Minimization took 7 ms.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using state equation in 6 ms returned sat
[2022-05-16 23:14:25] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using state equation in 5 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2022-05-16 23:14:25] [INFO ] Added : 11 causal constraints over 3 iterations in 12 ms. Result :sat
Minimization took 4 ms.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using state equation in 5 ms returned sat
[2022-05-16 23:14:25] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using state equation in 5 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2022-05-16 23:14:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2022-05-16 23:14:25] [INFO ] Added : 11 causal constraints over 3 iterations in 10 ms. Result :sat
Minimization took 7 ms.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using state equation in 5 ms returned sat
[2022-05-16 23:14:25] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 0 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using state equation in 5 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2022-05-16 23:14:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2022-05-16 23:14:25] [INFO ] Added : 11 causal constraints over 3 iterations in 9 ms. Result :sat
Minimization took 8 ms.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2022-05-16 23:14:25] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using state equation in 3 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2022-05-16 23:14:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2022-05-16 23:14:25] [INFO ] Added : 11 causal constraints over 3 iterations in 9 ms. Result :sat
Minimization took 3 ms.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using state equation in 15 ms returned sat
[2022-05-16 23:14:25] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 0 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2022-05-16 23:14:25] [INFO ] Added : 13 causal constraints over 4 iterations in 10 ms. Result :sat
Minimization took 5 ms.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using 2 positive place invariants in 2 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Real]Absence check using state equation in 5 ms returned sat
[2022-05-16 23:14:25] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:25] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2022-05-16 23:14:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2022-05-16 23:14:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 3 ms.
[2022-05-16 23:14:25] [INFO ] Added : 11 causal constraints over 3 iterations in 9 ms. Result :sat
Minimization took 3 ms.
Current structural bounds on expressions (after SMT) : [8, 8, 64, 8, 8, 8, 8, 64, 8, 8, 8, 8]
[2022-05-16 23:14:26] [INFO ] Unfolded HLPN to a Petri net with 315 places and 666 transitions in 9 ms.
[2022-05-16 23:14:26] [INFO ] Unfolded HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1001_2144669345344001784.dot
Deduced a syphon composed of 49 places in 4 ms
Reduce places removed 49 places and 82 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=112 ) properties (out of 12) seen :117
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 12) seen :82
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 12) seen :118
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 12) seen :122
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 12) seen :108
FORMULA LamportFastMutEx-COL-8-UpperBounds-04 8 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 11) seen :38
FORMULA LamportFastMutEx-COL-8-UpperBounds-08 8 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 10) seen :78
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 10) seen :96
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=714 ) properties (out of 10) seen :78
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=769 ) properties (out of 10) seen :74
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=909 ) properties (out of 10) seen :10
FORMULA LamportFastMutEx-COL-8-UpperBounds-14 8 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
[2022-05-16 23:14:26] [INFO ] Flow matrix only has 416 transitions (discarded 168 similar events)
// Phase 1: matrix 416 rows 266 cols
[2022-05-16 23:14:26] [INFO ] Computed 82 place invariants in 14 ms
[2022-05-16 23:14:26] [INFO ] [Real]Absence check using 82 positive place invariants in 15 ms returned sat
[2022-05-16 23:14:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:26] [INFO ] [Real]Absence check using state equation in 85 ms returned sat
[2022-05-16 23:14:26] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:26] [INFO ] [Nat]Absence check using 82 positive place invariants in 16 ms returned sat
[2022-05-16 23:14:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:26] [INFO ] [Nat]Absence check using state equation in 80 ms returned sat
[2022-05-16 23:14:26] [INFO ] State equation strengthened by 128 read => feed constraints.
[2022-05-16 23:14:26] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2022-05-16 23:14:26] [INFO ] Deduced a trap composed of 30 places in 111 ms of which 2 ms to minimize.
[2022-05-16 23:14:26] [INFO ] Deduced a trap composed of 28 places in 110 ms of which 1 ms to minimize.
[2022-05-16 23:14:26] [INFO ] Deduced a trap composed of 33 places in 88 ms of which 1 ms to minimize.
[2022-05-16 23:14:27] [INFO ] Deduced a trap composed of 28 places in 85 ms of which 3 ms to minimize.
[2022-05-16 23:14:27] [INFO ] Deduced a trap composed of 30 places in 99 ms of which 1 ms to minimize.
[2022-05-16 23:14:27] [INFO ] Deduced a trap composed of 21 places in 90 ms of which 0 ms to minimize.
[2022-05-16 23:14:27] [INFO ] Deduced a trap composed of 26 places in 94 ms of which 1 ms to minimize.
[2022-05-16 23:14:27] [INFO ] Deduced a trap composed of 25 places in 84 ms of which 1 ms to minimize.
[2022-05-16 23:14:27] [INFO ] Deduced a trap composed of 22 places in 81 ms of which 0 ms to minimize.
[2022-05-16 23:14:27] [INFO ] Deduced a trap composed of 46 places in 85 ms of which 0 ms to minimize.
[2022-05-16 23:14:27] [INFO ] Trap strengthening (SAT) tested/added 11/10 trap constraints in 1124 ms
[2022-05-16 23:14:27] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 37 ms.
[2022-05-16 23:14:28] [INFO ] Added : 203 causal constraints over 42 iterations in 1174 ms. Result :sat
Minimization took 104 ms.
[2022-05-16 23:14:29] [INFO ] [Real]Absence check using 82 positive place invariants in 15 ms returned sat
[2022-05-16 23:14:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:29] [INFO ] [Real]Absence check using state equation in 77 ms returned sat
[2022-05-16 23:14:29] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:29] [INFO ] [Nat]Absence check using 82 positive place invariants in 15 ms returned sat
[2022-05-16 23:14:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:29] [INFO ] [Nat]Absence check using state equation in 75 ms returned sat
[2022-05-16 23:14:29] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2022-05-16 23:14:29] [INFO ] Deduced a trap composed of 9 places in 73 ms of which 1 ms to minimize.
[2022-05-16 23:14:29] [INFO ] Deduced a trap composed of 9 places in 64 ms of which 0 ms to minimize.
[2022-05-16 23:14:29] [INFO ] Deduced a trap composed of 9 places in 68 ms of which 1 ms to minimize.
[2022-05-16 23:14:29] [INFO ] Deduced a trap composed of 9 places in 64 ms of which 1 ms to minimize.
[2022-05-16 23:14:29] [INFO ] Deduced a trap composed of 15 places in 63 ms of which 0 ms to minimize.
[2022-05-16 23:14:29] [INFO ] Deduced a trap composed of 20 places in 64 ms of which 1 ms to minimize.
[2022-05-16 23:14:29] [INFO ] Deduced a trap composed of 9 places in 67 ms of which 1 ms to minimize.
[2022-05-16 23:14:29] [INFO ] Deduced a trap composed of 9 places in 60 ms of which 1 ms to minimize.
[2022-05-16 23:14:30] [INFO ] Deduced a trap composed of 17 places in 37 ms of which 0 ms to minimize.
[2022-05-16 23:14:30] [INFO ] Deduced a trap composed of 24 places in 54 ms of which 0 ms to minimize.
[2022-05-16 23:14:30] [INFO ] Deduced a trap composed of 17 places in 51 ms of which 0 ms to minimize.
[2022-05-16 23:14:30] [INFO ] Deduced a trap composed of 17 places in 42 ms of which 1 ms to minimize.
[2022-05-16 23:14:30] [INFO ] Deduced a trap composed of 19 places in 42 ms of which 1 ms to minimize.
[2022-05-16 23:14:30] [INFO ] Deduced a trap composed of 19 places in 41 ms of which 0 ms to minimize.
[2022-05-16 23:14:30] [INFO ] Deduced a trap composed of 17 places in 43 ms of which 1 ms to minimize.
[2022-05-16 23:14:30] [INFO ] Deduced a trap composed of 17 places in 46 ms of which 0 ms to minimize.
[2022-05-16 23:14:30] [INFO ] Deduced a trap composed of 17 places in 44 ms of which 1 ms to minimize.
[2022-05-16 23:14:30] [INFO ] Deduced a trap composed of 10 places in 41 ms of which 0 ms to minimize.
[2022-05-16 23:14:30] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 18 trap constraints in 1269 ms
[2022-05-16 23:14:30] [INFO ] [Real]Absence check using 82 positive place invariants in 17 ms returned sat
[2022-05-16 23:14:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:30] [INFO ] [Real]Absence check using state equation in 77 ms returned sat
[2022-05-16 23:14:30] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:30] [INFO ] [Nat]Absence check using 82 positive place invariants in 19 ms returned sat
[2022-05-16 23:14:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:30] [INFO ] [Nat]Absence check using state equation in 81 ms returned sat
[2022-05-16 23:14:30] [INFO ] [Nat]Added 128 Read/Feed constraints in 15 ms returned sat
[2022-05-16 23:14:30] [INFO ] Deduced a trap composed of 9 places in 64 ms of which 0 ms to minimize.
[2022-05-16 23:14:31] [INFO ] Deduced a trap composed of 9 places in 57 ms of which 0 ms to minimize.
[2022-05-16 23:14:31] [INFO ] Deduced a trap composed of 11 places in 53 ms of which 0 ms to minimize.
[2022-05-16 23:14:31] [INFO ] Deduced a trap composed of 11 places in 52 ms of which 1 ms to minimize.
[2022-05-16 23:14:31] [INFO ] Deduced a trap composed of 9 places in 52 ms of which 0 ms to minimize.
[2022-05-16 23:14:31] [INFO ] Deduced a trap composed of 19 places in 47 ms of which 1 ms to minimize.
[2022-05-16 23:14:31] [INFO ] Deduced a trap composed of 17 places in 49 ms of which 5 ms to minimize.
[2022-05-16 23:14:31] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 501 ms
[2022-05-16 23:14:31] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 36 ms.
[2022-05-16 23:14:32] [INFO ] Deduced a trap composed of 43 places in 58 ms of which 0 ms to minimize.
[2022-05-16 23:14:32] [INFO ] Deduced a trap composed of 17 places in 49 ms of which 0 ms to minimize.
[2022-05-16 23:14:32] [INFO ] Deduced a trap composed of 17 places in 47 ms of which 1 ms to minimize.
[2022-05-16 23:14:32] [INFO ] Deduced a trap composed of 47 places in 59 ms of which 0 ms to minimize.
[2022-05-16 23:14:32] [INFO ] Deduced a trap composed of 19 places in 47 ms of which 1 ms to minimize.
[2022-05-16 23:14:32] [INFO ] Deduced a trap composed of 17 places in 60 ms of which 0 ms to minimize.
[2022-05-16 23:14:33] [INFO ] Deduced a trap composed of 46 places in 67 ms of which 0 ms to minimize.
[2022-05-16 23:14:33] [INFO ] Deduced a trap composed of 44 places in 67 ms of which 1 ms to minimize.
[2022-05-16 23:14:33] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 712 ms
[2022-05-16 23:14:33] [INFO ] Added : 193 causal constraints over 39 iterations in 1856 ms. Result :sat
Minimization took 236 ms.
[2022-05-16 23:14:33] [INFO ] [Real]Absence check using 82 positive place invariants in 14 ms returned sat
[2022-05-16 23:14:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:33] [INFO ] [Real]Absence check using state equation in 83 ms returned sat
[2022-05-16 23:14:33] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:33] [INFO ] [Nat]Absence check using 82 positive place invariants in 16 ms returned sat
[2022-05-16 23:14:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:33] [INFO ] [Nat]Absence check using state equation in 84 ms returned sat
[2022-05-16 23:14:33] [INFO ] [Nat]Added 128 Read/Feed constraints in 18 ms returned sat
[2022-05-16 23:14:33] [INFO ] Deduced a trap composed of 14 places in 72 ms of which 1 ms to minimize.
[2022-05-16 23:14:33] [INFO ] Deduced a trap composed of 21 places in 43 ms of which 0 ms to minimize.
[2022-05-16 23:14:34] [INFO ] Deduced a trap composed of 9 places in 41 ms of which 0 ms to minimize.
[2022-05-16 23:14:34] [INFO ] Deduced a trap composed of 9 places in 34 ms of which 1 ms to minimize.
[2022-05-16 23:14:34] [INFO ] Deduced a trap composed of 9 places in 31 ms of which 1 ms to minimize.
[2022-05-16 23:14:34] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 319 ms
[2022-05-16 23:14:34] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 31 ms.
[2022-05-16 23:14:34] [INFO ] Deduced a trap composed of 30 places in 67 ms of which 0 ms to minimize.
[2022-05-16 23:14:35] [INFO ] Deduced a trap composed of 9 places in 63 ms of which 1 ms to minimize.
[2022-05-16 23:14:35] [INFO ] Deduced a trap composed of 9 places in 63 ms of which 0 ms to minimize.
[2022-05-16 23:14:35] [INFO ] Deduced a trap composed of 9 places in 61 ms of which 0 ms to minimize.
[2022-05-16 23:14:35] [INFO ] Deduced a trap composed of 28 places in 62 ms of which 1 ms to minimize.
[2022-05-16 23:14:35] [INFO ] Deduced a trap composed of 31 places in 74 ms of which 0 ms to minimize.
[2022-05-16 23:14:35] [INFO ] Deduced a trap composed of 25 places in 64 ms of which 0 ms to minimize.
[2022-05-16 23:14:35] [INFO ] Deduced a trap composed of 17 places in 73 ms of which 0 ms to minimize.
[2022-05-16 23:14:35] [INFO ] Deduced a trap composed of 31 places in 71 ms of which 1 ms to minimize.
[2022-05-16 23:14:35] [INFO ] Deduced a trap composed of 17 places in 60 ms of which 0 ms to minimize.
[2022-05-16 23:14:35] [INFO ] Deduced a trap composed of 17 places in 61 ms of which 0 ms to minimize.
[2022-05-16 23:14:35] [INFO ] Trap strengthening (SAT) tested/added 12/11 trap constraints in 1069 ms
[2022-05-16 23:14:36] [INFO ] Added : 144 causal constraints over 30 iterations in 1918 ms. Result :sat
Minimization took 88 ms.
[2022-05-16 23:14:36] [INFO ] [Real]Absence check using 82 positive place invariants in 13 ms returned sat
[2022-05-16 23:14:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:36] [INFO ] [Real]Absence check using state equation in 69 ms returned sat
[2022-05-16 23:14:36] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:36] [INFO ] [Nat]Absence check using 82 positive place invariants in 15 ms returned sat
[2022-05-16 23:14:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:36] [INFO ] [Nat]Absence check using state equation in 86 ms returned sat
[2022-05-16 23:14:36] [INFO ] [Nat]Added 128 Read/Feed constraints in 17 ms returned sat
[2022-05-16 23:14:36] [INFO ] Deduced a trap composed of 18 places in 86 ms of which 0 ms to minimize.
[2022-05-16 23:14:36] [INFO ] Deduced a trap composed of 9 places in 79 ms of which 0 ms to minimize.
[2022-05-16 23:14:36] [INFO ] Deduced a trap composed of 30 places in 70 ms of which 0 ms to minimize.
[2022-05-16 23:14:36] [INFO ] Deduced a trap composed of 17 places in 70 ms of which 0 ms to minimize.
[2022-05-16 23:14:36] [INFO ] Deduced a trap composed of 9 places in 19 ms of which 0 ms to minimize.
[2022-05-16 23:14:36] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 404 ms
[2022-05-16 23:14:36] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 26 ms.
[2022-05-16 23:14:37] [INFO ] Deduced a trap composed of 8 places in 96 ms of which 1 ms to minimize.
[2022-05-16 23:14:37] [INFO ] Deduced a trap composed of 17 places in 82 ms of which 0 ms to minimize.
[2022-05-16 23:14:37] [INFO ] Deduced a trap composed of 9 places in 16 ms of which 1 ms to minimize.
[2022-05-16 23:14:37] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 289 ms
[2022-05-16 23:14:37] [INFO ] Added : 105 causal constraints over 22 iterations in 890 ms. Result :sat
Minimization took 73 ms.
[2022-05-16 23:14:37] [INFO ] [Real]Absence check using 82 positive place invariants in 17 ms returned sat
[2022-05-16 23:14:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:37] [INFO ] [Real]Absence check using state equation in 80 ms returned sat
[2022-05-16 23:14:37] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:37] [INFO ] [Nat]Absence check using 82 positive place invariants in 20 ms returned sat
[2022-05-16 23:14:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:38] [INFO ] [Nat]Absence check using state equation in 88 ms returned sat
[2022-05-16 23:14:38] [INFO ] [Nat]Added 128 Read/Feed constraints in 18 ms returned sat
[2022-05-16 23:14:38] [INFO ] Deduced a trap composed of 10 places in 67 ms of which 1 ms to minimize.
[2022-05-16 23:14:38] [INFO ] Deduced a trap composed of 25 places in 65 ms of which 0 ms to minimize.
[2022-05-16 23:14:38] [INFO ] Deduced a trap composed of 14 places in 62 ms of which 0 ms to minimize.
[2022-05-16 23:14:38] [INFO ] Deduced a trap composed of 9 places in 62 ms of which 1 ms to minimize.
[2022-05-16 23:14:38] [INFO ] Deduced a trap composed of 27 places in 59 ms of which 0 ms to minimize.
[2022-05-16 23:14:38] [INFO ] Deduced a trap composed of 14 places in 58 ms of which 1 ms to minimize.
[2022-05-16 23:14:38] [INFO ] Deduced a trap composed of 14 places in 60 ms of which 0 ms to minimize.
[2022-05-16 23:14:38] [INFO ] Deduced a trap composed of 17 places in 37 ms of which 0 ms to minimize.
[2022-05-16 23:14:38] [INFO ] Deduced a trap composed of 50 places in 51 ms of which 0 ms to minimize.
[2022-05-16 23:14:38] [INFO ] Deduced a trap composed of 9 places in 55 ms of which 0 ms to minimize.
[2022-05-16 23:14:38] [INFO ] Deduced a trap composed of 17 places in 35 ms of which 0 ms to minimize.
[2022-05-16 23:14:38] [INFO ] Deduced a trap composed of 17 places in 30 ms of which 0 ms to minimize.
[2022-05-16 23:14:38] [INFO ] Deduced a trap composed of 17 places in 36 ms of which 1 ms to minimize.
[2022-05-16 23:14:39] [INFO ] Deduced a trap composed of 17 places in 32 ms of which 0 ms to minimize.
[2022-05-16 23:14:39] [INFO ] Deduced a trap composed of 17 places in 40 ms of which 1 ms to minimize.
[2022-05-16 23:14:39] [INFO ] Deduced a trap composed of 17 places in 35 ms of which 0 ms to minimize.
[2022-05-16 23:14:39] [INFO ] Deduced a trap composed of 17 places in 54 ms of which 1 ms to minimize.
[2022-05-16 23:14:39] [INFO ] Deduced a trap composed of 10 places in 36 ms of which 0 ms to minimize.
[2022-05-16 23:14:39] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 18 trap constraints in 1197 ms
[2022-05-16 23:14:39] [INFO ] [Real]Absence check using 82 positive place invariants in 14 ms returned sat
[2022-05-16 23:14:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:39] [INFO ] [Real]Absence check using state equation in 78 ms returned sat
[2022-05-16 23:14:39] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:39] [INFO ] [Nat]Absence check using 82 positive place invariants in 14 ms returned sat
[2022-05-16 23:14:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:39] [INFO ] [Nat]Absence check using state equation in 77 ms returned sat
[2022-05-16 23:14:39] [INFO ] [Nat]Added 128 Read/Feed constraints in 15 ms returned sat
[2022-05-16 23:14:39] [INFO ] Deduced a trap composed of 9 places in 27 ms of which 0 ms to minimize.
[2022-05-16 23:14:39] [INFO ] Deduced a trap composed of 8 places in 12 ms of which 1 ms to minimize.
[2022-05-16 23:14:39] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 84 ms
[2022-05-16 23:14:39] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 24 ms.
[2022-05-16 23:14:40] [INFO ] Deduced a trap composed of 9 places in 82 ms of which 1 ms to minimize.
[2022-05-16 23:14:40] [INFO ] Deduced a trap composed of 42 places in 82 ms of which 1 ms to minimize.
[2022-05-16 23:14:40] [INFO ] Deduced a trap composed of 32 places in 84 ms of which 0 ms to minimize.
[2022-05-16 23:14:40] [INFO ] Deduced a trap composed of 35 places in 85 ms of which 0 ms to minimize.
[2022-05-16 23:14:40] [INFO ] Deduced a trap composed of 35 places in 87 ms of which 0 ms to minimize.
[2022-05-16 23:14:40] [INFO ] Deduced a trap composed of 32 places in 83 ms of which 1 ms to minimize.
[2022-05-16 23:14:40] [INFO ] Deduced a trap composed of 9 places in 84 ms of which 0 ms to minimize.
[2022-05-16 23:14:40] [INFO ] Deduced a trap composed of 46 places in 82 ms of which 1 ms to minimize.
[2022-05-16 23:14:40] [INFO ] Deduced a trap composed of 39 places in 89 ms of which 0 ms to minimize.
[2022-05-16 23:14:41] [INFO ] Deduced a trap composed of 36 places in 87 ms of which 1 ms to minimize.
[2022-05-16 23:14:41] [INFO ] Deduced a trap composed of 9 places in 20 ms of which 0 ms to minimize.
[2022-05-16 23:14:41] [INFO ] Trap strengthening (SAT) tested/added 12/11 trap constraints in 1154 ms
[2022-05-16 23:14:41] [INFO ] Added : 56 causal constraints over 12 iterations in 1534 ms. Result :sat
Minimization took 140 ms.
[2022-05-16 23:14:41] [INFO ] [Real]Absence check using 82 positive place invariants in 15 ms returned sat
[2022-05-16 23:14:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:41] [INFO ] [Real]Absence check using state equation in 85 ms returned sat
[2022-05-16 23:14:41] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:41] [INFO ] [Nat]Absence check using 82 positive place invariants in 15 ms returned sat
[2022-05-16 23:14:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:41] [INFO ] [Nat]Absence check using state equation in 81 ms returned sat
[2022-05-16 23:14:41] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2022-05-16 23:14:41] [INFO ] Deduced a trap composed of 9 places in 87 ms of which 0 ms to minimize.
[2022-05-16 23:14:41] [INFO ] Deduced a trap composed of 9 places in 85 ms of which 0 ms to minimize.
[2022-05-16 23:14:41] [INFO ] Deduced a trap composed of 9 places in 84 ms of which 0 ms to minimize.
[2022-05-16 23:14:42] [INFO ] Deduced a trap composed of 28 places in 85 ms of which 1 ms to minimize.
[2022-05-16 23:14:42] [INFO ] Deduced a trap composed of 9 places in 72 ms of which 1 ms to minimize.
[2022-05-16 23:14:42] [INFO ] Deduced a trap composed of 17 places in 68 ms of which 0 ms to minimize.
[2022-05-16 23:14:42] [INFO ] Deduced a trap composed of 17 places in 65 ms of which 0 ms to minimize.
[2022-05-16 23:14:42] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 662 ms
[2022-05-16 23:14:42] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 31 ms.
[2022-05-16 23:14:43] [INFO ] Deduced a trap composed of 8 places in 72 ms of which 0 ms to minimize.
[2022-05-16 23:14:43] [INFO ] Deduced a trap composed of 17 places in 68 ms of which 0 ms to minimize.
[2022-05-16 23:14:43] [INFO ] Deduced a trap composed of 17 places in 67 ms of which 0 ms to minimize.
[2022-05-16 23:14:43] [INFO ] Deduced a trap composed of 8 places in 66 ms of which 1 ms to minimize.
[2022-05-16 23:14:43] [INFO ] Deduced a trap composed of 17 places in 68 ms of which 0 ms to minimize.
[2022-05-16 23:14:43] [INFO ] Deduced a trap composed of 8 places in 14 ms of which 0 ms to minimize.
[2022-05-16 23:14:43] [INFO ] Trap strengthening (SAT) tested/added 7/6 trap constraints in 552 ms
[2022-05-16 23:14:43] [INFO ] Added : 160 causal constraints over 33 iterations in 1505 ms. Result :sat
Minimization took 125 ms.
[2022-05-16 23:14:44] [INFO ] [Real]Absence check using 82 positive place invariants in 14 ms returned sat
[2022-05-16 23:14:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:44] [INFO ] [Real]Absence check using state equation in 83 ms returned sat
[2022-05-16 23:14:44] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:44] [INFO ] [Nat]Absence check using 82 positive place invariants in 27 ms returned sat
[2022-05-16 23:14:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:44] [INFO ] [Nat]Absence check using state equation in 74 ms returned sat
[2022-05-16 23:14:44] [INFO ] [Nat]Added 128 Read/Feed constraints in 14 ms returned sat
[2022-05-16 23:14:44] [INFO ] Deduced a trap composed of 30 places in 65 ms of which 1 ms to minimize.
[2022-05-16 23:14:44] [INFO ] Deduced a trap composed of 9 places in 59 ms of which 0 ms to minimize.
[2022-05-16 23:14:44] [INFO ] Deduced a trap composed of 16 places in 56 ms of which 0 ms to minimize.
[2022-05-16 23:14:44] [INFO ] Deduced a trap composed of 29 places in 55 ms of which 0 ms to minimize.
[2022-05-16 23:14:44] [INFO ] Deduced a trap composed of 16 places in 53 ms of which 1 ms to minimize.
[2022-05-16 23:14:44] [INFO ] Deduced a trap composed of 23 places in 54 ms of which 0 ms to minimize.
[2022-05-16 23:14:44] [INFO ] Deduced a trap composed of 30 places in 61 ms of which 0 ms to minimize.
[2022-05-16 23:14:44] [INFO ] Deduced a trap composed of 15 places in 59 ms of which 1 ms to minimize.
[2022-05-16 23:14:44] [INFO ] Deduced a trap composed of 9 places in 54 ms of which 1 ms to minimize.
[2022-05-16 23:14:44] [INFO ] Deduced a trap composed of 9 places in 52 ms of which 0 ms to minimize.
[2022-05-16 23:14:44] [INFO ] Deduced a trap composed of 15 places in 27 ms of which 1 ms to minimize.
[2022-05-16 23:14:45] [INFO ] Deduced a trap composed of 15 places in 29 ms of which 0 ms to minimize.
[2022-05-16 23:14:45] [INFO ] Deduced a trap composed of 15 places in 29 ms of which 0 ms to minimize.
[2022-05-16 23:14:45] [INFO ] Deduced a trap composed of 42 places in 53 ms of which 0 ms to minimize.
[2022-05-16 23:14:45] [INFO ] Deduced a trap composed of 15 places in 40 ms of which 0 ms to minimize.
[2022-05-16 23:14:45] [INFO ] Deduced a trap composed of 9 places in 38 ms of which 0 ms to minimize.
[2022-05-16 23:14:45] [INFO ] Deduced a trap composed of 48 places in 40 ms of which 1 ms to minimize.
[2022-05-16 23:14:45] [INFO ] Deduced a trap composed of 15 places in 31 ms of which 0 ms to minimize.
[2022-05-16 23:14:45] [INFO ] Deduced a trap composed of 15 places in 28 ms of which 1 ms to minimize.
[2022-05-16 23:14:45] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 19 trap constraints in 1145 ms
Current structural bounds on expressions (after SMT) : [8, 7, 64, 8, 8, 56, 8, 8, 7] Max seen :[7, 7, 50, 4, 3, 56, 1, 5, 7]
FORMULA LamportFastMutEx-COL-8-UpperBounds-13 7 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-UpperBounds-10 56 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-UpperBounds-01 7 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Incomplete Parikh walk after 102900 steps, including 1000 resets, run finished after 477 ms. (steps per millisecond=215 ) properties (out of 6) seen :48 could not realise parikh vector
Incomplete Parikh walk after 51100 steps, including 981 resets, run finished after 236 ms. (steps per millisecond=216 ) properties (out of 6) seen :39 could not realise parikh vector
Incomplete Parikh walk after 81100 steps, including 1000 resets, run finished after 316 ms. (steps per millisecond=256 ) properties (out of 6) seen :42 could not realise parikh vector
Incomplete Parikh walk after 97400 steps, including 1000 resets, run finished after 378 ms. (steps per millisecond=257 ) properties (out of 6) seen :46 could not realise parikh vector
Incomplete Parikh walk after 97100 steps, including 1000 resets, run finished after 441 ms. (steps per millisecond=220 ) properties (out of 6) seen :58 could not realise parikh vector
Incomplete Parikh walk after 106200 steps, including 1000 resets, run finished after 443 ms. (steps per millisecond=239 ) properties (out of 6) seen :46 could not realise parikh vector
Support contains 104 out of 266 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 266/266 places, 584/584 transitions.
Applied a total of 0 rules in 36 ms. Remains 266 /266 variables (removed 0) and now considering 584/584 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 266/266 places, 584/584 transitions.
Normalized transition count is 416 out of 584 initially.
// Phase 1: matrix 416 rows 266 cols
[2022-05-16 23:14:47] [INFO ] Computed 82 place invariants in 7 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 3851 ms. (steps per millisecond=259 ) properties (out of 6) seen :56
Incomplete Best-First random walk after 1000000 steps, including 2 resets, run finished after 738 ms. (steps per millisecond=1355 ) properties (out of 6) seen :40
FORMULA LamportFastMutEx-COL-8-UpperBounds-00 8 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 766 ms. (steps per millisecond=1305 ) properties (out of 5) seen :41
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 872 ms. (steps per millisecond=1146 ) properties (out of 5) seen :18
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1070 ) properties (out of 5) seen :48
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1066 ) properties (out of 5) seen :32
[2022-05-16 23:14:55] [INFO ] Flow matrix only has 416 transitions (discarded 168 similar events)
// Phase 1: matrix 416 rows 266 cols
[2022-05-16 23:14:55] [INFO ] Computed 82 place invariants in 2 ms
[2022-05-16 23:14:55] [INFO ] [Real]Absence check using 82 positive place invariants in 18 ms returned sat
[2022-05-16 23:14:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:55] [INFO ] [Real]Absence check using state equation in 84 ms returned sat
[2022-05-16 23:14:55] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:56] [INFO ] [Nat]Absence check using 82 positive place invariants in 20 ms returned sat
[2022-05-16 23:14:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:56] [INFO ] [Nat]Absence check using state equation in 84 ms returned sat
[2022-05-16 23:14:56] [INFO ] State equation strengthened by 128 read => feed constraints.
[2022-05-16 23:14:56] [INFO ] [Nat]Added 128 Read/Feed constraints in 19 ms returned sat
[2022-05-16 23:14:56] [INFO ] Deduced a trap composed of 9 places in 74 ms of which 0 ms to minimize.
[2022-05-16 23:14:56] [INFO ] Deduced a trap composed of 9 places in 58 ms of which 0 ms to minimize.
[2022-05-16 23:14:56] [INFO ] Deduced a trap composed of 11 places in 52 ms of which 0 ms to minimize.
[2022-05-16 23:14:56] [INFO ] Deduced a trap composed of 11 places in 56 ms of which 1 ms to minimize.
[2022-05-16 23:14:56] [INFO ] Deduced a trap composed of 9 places in 47 ms of which 0 ms to minimize.
[2022-05-16 23:14:56] [INFO ] Deduced a trap composed of 19 places in 46 ms of which 0 ms to minimize.
[2022-05-16 23:14:56] [INFO ] Deduced a trap composed of 17 places in 44 ms of which 0 ms to minimize.
[2022-05-16 23:14:56] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 512 ms
[2022-05-16 23:14:56] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 22 ms.
[2022-05-16 23:14:57] [INFO ] Deduced a trap composed of 43 places in 63 ms of which 0 ms to minimize.
[2022-05-16 23:14:57] [INFO ] Deduced a trap composed of 17 places in 49 ms of which 0 ms to minimize.
[2022-05-16 23:14:57] [INFO ] Deduced a trap composed of 17 places in 49 ms of which 0 ms to minimize.
[2022-05-16 23:14:58] [INFO ] Deduced a trap composed of 47 places in 62 ms of which 0 ms to minimize.
[2022-05-16 23:14:58] [INFO ] Deduced a trap composed of 19 places in 46 ms of which 0 ms to minimize.
[2022-05-16 23:14:58] [INFO ] Deduced a trap composed of 17 places in 72 ms of which 1 ms to minimize.
[2022-05-16 23:14:58] [INFO ] Deduced a trap composed of 46 places in 68 ms of which 1 ms to minimize.
[2022-05-16 23:14:58] [INFO ] Deduced a trap composed of 44 places in 67 ms of which 1 ms to minimize.
[2022-05-16 23:14:58] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 737 ms
[2022-05-16 23:14:58] [INFO ] Added : 193 causal constraints over 39 iterations in 1844 ms. Result :sat
Minimization took 234 ms.
[2022-05-16 23:14:58] [INFO ] [Real]Absence check using 82 positive place invariants in 15 ms returned sat
[2022-05-16 23:14:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:58] [INFO ] [Real]Absence check using state equation in 84 ms returned sat
[2022-05-16 23:14:58] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:14:58] [INFO ] [Nat]Absence check using 82 positive place invariants in 17 ms returned sat
[2022-05-16 23:14:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:14:59] [INFO ] [Nat]Absence check using state equation in 84 ms returned sat
[2022-05-16 23:14:59] [INFO ] [Nat]Added 128 Read/Feed constraints in 17 ms returned sat
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 10 places in 66 ms of which 1 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 9 places in 62 ms of which 0 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 15 places in 57 ms of which 0 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 36 places in 60 ms of which 0 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 17 places in 44 ms of which 0 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 17 places in 46 ms of which 1 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 17 places in 46 ms of which 0 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 17 places in 46 ms of which 1 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 22 places in 45 ms of which 1 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 45 places in 47 ms of which 0 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 19 places in 35 ms of which 0 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 17 places in 32 ms of which 0 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 17 places in 46 ms of which 1 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Deduced a trap composed of 10 places in 28 ms of which 0 ms to minimize.
[2022-05-16 23:14:59] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 14 trap constraints in 903 ms
[2022-05-16 23:15:00] [INFO ] [Real]Absence check using 82 positive place invariants in 14 ms returned sat
[2022-05-16 23:15:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:00] [INFO ] [Real]Absence check using state equation in 76 ms returned sat
[2022-05-16 23:15:00] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:15:00] [INFO ] [Nat]Absence check using 82 positive place invariants in 15 ms returned sat
[2022-05-16 23:15:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:00] [INFO ] [Nat]Absence check using state equation in 75 ms returned sat
[2022-05-16 23:15:00] [INFO ] [Nat]Added 128 Read/Feed constraints in 14 ms returned sat
[2022-05-16 23:15:00] [INFO ] Deduced a trap composed of 10 places in 94 ms of which 1 ms to minimize.
[2022-05-16 23:15:00] [INFO ] Deduced a trap composed of 34 places in 88 ms of which 0 ms to minimize.
[2022-05-16 23:15:00] [INFO ] Deduced a trap composed of 9 places in 75 ms of which 0 ms to minimize.
[2022-05-16 23:15:00] [INFO ] Deduced a trap composed of 9 places in 77 ms of which 0 ms to minimize.
[2022-05-16 23:15:00] [INFO ] Deduced a trap composed of 9 places in 61 ms of which 0 ms to minimize.
[2022-05-16 23:15:00] [INFO ] Deduced a trap composed of 9 places in 61 ms of which 1 ms to minimize.
[2022-05-16 23:15:00] [INFO ] Deduced a trap composed of 11 places in 59 ms of which 1 ms to minimize.
[2022-05-16 23:15:00] [INFO ] Deduced a trap composed of 19 places in 56 ms of which 0 ms to minimize.
[2022-05-16 23:15:00] [INFO ] Deduced a trap composed of 17 places in 54 ms of which 0 ms to minimize.
[2022-05-16 23:15:01] [INFO ] Deduced a trap composed of 17 places in 78 ms of which 0 ms to minimize.
[2022-05-16 23:15:01] [INFO ] Deduced a trap composed of 17 places in 56 ms of which 0 ms to minimize.
[2022-05-16 23:15:01] [INFO ] Deduced a trap composed of 17 places in 57 ms of which 0 ms to minimize.
[2022-05-16 23:15:01] [INFO ] Deduced a trap composed of 19 places in 57 ms of which 0 ms to minimize.
[2022-05-16 23:15:01] [INFO ] Deduced a trap composed of 17 places in 54 ms of which 0 ms to minimize.
[2022-05-16 23:15:01] [INFO ] Deduced a trap composed of 17 places in 56 ms of which 0 ms to minimize.
[2022-05-16 23:15:01] [INFO ] Deduced a trap composed of 10 places in 56 ms of which 1 ms to minimize.
[2022-05-16 23:15:01] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 16 trap constraints in 1243 ms
[2022-05-16 23:15:01] [INFO ] [Real]Absence check using 82 positive place invariants in 13 ms returned sat
[2022-05-16 23:15:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:01] [INFO ] [Real]Absence check using state equation in 75 ms returned sat
[2022-05-16 23:15:01] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:15:01] [INFO ] [Nat]Absence check using 82 positive place invariants in 15 ms returned sat
[2022-05-16 23:15:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:01] [INFO ] [Nat]Absence check using state equation in 86 ms returned sat
[2022-05-16 23:15:01] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2022-05-16 23:15:01] [INFO ] Deduced a trap composed of 9 places in 25 ms of which 1 ms to minimize.
[2022-05-16 23:15:01] [INFO ] Deduced a trap composed of 8 places in 13 ms of which 1 ms to minimize.
[2022-05-16 23:15:01] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 91 ms
[2022-05-16 23:15:01] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 25 ms.
[2022-05-16 23:15:02] [INFO ] Deduced a trap composed of 9 places in 85 ms of which 0 ms to minimize.
[2022-05-16 23:15:02] [INFO ] Deduced a trap composed of 42 places in 76 ms of which 0 ms to minimize.
[2022-05-16 23:15:02] [INFO ] Deduced a trap composed of 32 places in 82 ms of which 0 ms to minimize.
[2022-05-16 23:15:02] [INFO ] Deduced a trap composed of 35 places in 77 ms of which 0 ms to minimize.
[2022-05-16 23:15:02] [INFO ] Deduced a trap composed of 35 places in 78 ms of which 0 ms to minimize.
[2022-05-16 23:15:02] [INFO ] Deduced a trap composed of 32 places in 77 ms of which 1 ms to minimize.
[2022-05-16 23:15:02] [INFO ] Deduced a trap composed of 9 places in 80 ms of which 1 ms to minimize.
[2022-05-16 23:15:02] [INFO ] Deduced a trap composed of 46 places in 78 ms of which 0 ms to minimize.
[2022-05-16 23:15:03] [INFO ] Deduced a trap composed of 39 places in 76 ms of which 0 ms to minimize.
[2022-05-16 23:15:03] [INFO ] Deduced a trap composed of 36 places in 77 ms of which 0 ms to minimize.
[2022-05-16 23:15:03] [INFO ] Deduced a trap composed of 9 places in 17 ms of which 0 ms to minimize.
[2022-05-16 23:15:03] [INFO ] Trap strengthening (SAT) tested/added 12/11 trap constraints in 1072 ms
[2022-05-16 23:15:03] [INFO ] Added : 56 causal constraints over 12 iterations in 1432 ms. Result :sat
Minimization took 139 ms.
[2022-05-16 23:15:03] [INFO ] [Real]Absence check using 82 positive place invariants in 14 ms returned sat
[2022-05-16 23:15:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:03] [INFO ] [Real]Absence check using state equation in 73 ms returned sat
[2022-05-16 23:15:03] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:15:03] [INFO ] [Nat]Absence check using 82 positive place invariants in 14 ms returned sat
[2022-05-16 23:15:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:03] [INFO ] [Nat]Absence check using state equation in 73 ms returned sat
[2022-05-16 23:15:03] [INFO ] [Nat]Added 128 Read/Feed constraints in 15 ms returned sat
[2022-05-16 23:15:03] [INFO ] Deduced a trap composed of 17 places in 79 ms of which 0 ms to minimize.
[2022-05-16 23:15:03] [INFO ] Deduced a trap composed of 17 places in 58 ms of which 0 ms to minimize.
[2022-05-16 23:15:03] [INFO ] Deduced a trap composed of 16 places in 65 ms of which 0 ms to minimize.
[2022-05-16 23:15:04] [INFO ] Deduced a trap composed of 9 places in 64 ms of which 1 ms to minimize.
[2022-05-16 23:15:04] [INFO ] Deduced a trap composed of 16 places in 61 ms of which 1 ms to minimize.
[2022-05-16 23:15:04] [INFO ] Deduced a trap composed of 19 places in 58 ms of which 0 ms to minimize.
[2022-05-16 23:15:04] [INFO ] Deduced a trap composed of 17 places in 61 ms of which 0 ms to minimize.
[2022-05-16 23:15:04] [INFO ] Deduced a trap composed of 17 places in 65 ms of which 0 ms to minimize.
[2022-05-16 23:15:04] [INFO ] Deduced a trap composed of 16 places in 59 ms of which 0 ms to minimize.
[2022-05-16 23:15:04] [INFO ] Deduced a trap composed of 18 places in 58 ms of which 1 ms to minimize.
[2022-05-16 23:15:04] [INFO ] Deduced a trap composed of 17 places in 61 ms of which 0 ms to minimize.
[2022-05-16 23:15:04] [INFO ] Deduced a trap composed of 19 places in 58 ms of which 1 ms to minimize.
[2022-05-16 23:15:04] [INFO ] Deduced a trap composed of 9 places in 60 ms of which 1 ms to minimize.
[2022-05-16 23:15:04] [INFO ] Deduced a trap composed of 9 places in 65 ms of which 0 ms to minimize.
[2022-05-16 23:15:04] [INFO ] Deduced a trap composed of 10 places in 60 ms of which 0 ms to minimize.
[2022-05-16 23:15:04] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 15 trap constraints in 1132 ms
Current structural bounds on expressions (after SMT) : [64, 7, 7, 8, 7] Max seen :[50, 7, 7, 1, 7]
FORMULA LamportFastMutEx-COL-8-UpperBounds-12 7 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-UpperBounds-09 7 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-UpperBounds-06 7 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Incomplete Parikh walk after 51100 steps, including 980 resets, run finished after 178 ms. (steps per millisecond=287 ) properties (out of 2) seen :31 could not realise parikh vector
Incomplete Parikh walk after 97100 steps, including 998 resets, run finished after 356 ms. (steps per millisecond=272 ) properties (out of 2) seen :28 could not realise parikh vector
Support contains 72 out of 266 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 266/266 places, 584/584 transitions.
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 0 with 8 rules applied. Total rules applied 8 place count 266 transition count 576
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 16 place count 258 transition count 576
Applied a total of 16 rules in 52 ms. Remains 258 /266 variables (removed 8) and now considering 576/584 (removed 8) transitions.
Finished structural reductions, in 1 iterations. Remains : 258/266 places, 576/584 transitions.
Normalized transition count is 408 out of 576 initially.
// Phase 1: matrix 408 rows 258 cols
[2022-05-16 23:15:05] [INFO ] Computed 82 place invariants in 6 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 3355 ms. (steps per millisecond=298 ) properties (out of 2) seen :40
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1804 ms. (steps per millisecond=554 ) properties (out of 2) seen :57
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1144 ) properties (out of 2) seen :28
[2022-05-16 23:15:11] [INFO ] Flow matrix only has 408 transitions (discarded 168 similar events)
// Phase 1: matrix 408 rows 258 cols
[2022-05-16 23:15:11] [INFO ] Computed 82 place invariants in 11 ms
[2022-05-16 23:15:11] [INFO ] [Real]Absence check using 82 positive place invariants in 16 ms returned sat
[2022-05-16 23:15:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:11] [INFO ] [Real]Absence check using state equation in 75 ms returned sat
[2022-05-16 23:15:11] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:15:11] [INFO ] [Nat]Absence check using 82 positive place invariants in 17 ms returned sat
[2022-05-16 23:15:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:11] [INFO ] [Nat]Absence check using state equation in 69 ms returned sat
[2022-05-16 23:15:11] [INFO ] State equation strengthened by 128 read => feed constraints.
[2022-05-16 23:15:11] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2022-05-16 23:15:11] [INFO ] Deduced a trap composed of 11 places in 63 ms of which 0 ms to minimize.
[2022-05-16 23:15:11] [INFO ] Deduced a trap composed of 11 places in 69 ms of which 0 ms to minimize.
[2022-05-16 23:15:11] [INFO ] Deduced a trap composed of 9 places in 62 ms of which 0 ms to minimize.
[2022-05-16 23:15:12] [INFO ] Deduced a trap composed of 11 places in 66 ms of which 0 ms to minimize.
[2022-05-16 23:15:12] [INFO ] Deduced a trap composed of 17 places in 59 ms of which 0 ms to minimize.
[2022-05-16 23:15:12] [INFO ] Deduced a trap composed of 9 places in 60 ms of which 1 ms to minimize.
[2022-05-16 23:15:12] [INFO ] Deduced a trap composed of 17 places in 58 ms of which 0 ms to minimize.
[2022-05-16 23:15:12] [INFO ] Deduced a trap composed of 17 places in 59 ms of which 0 ms to minimize.
[2022-05-16 23:15:12] [INFO ] Deduced a trap composed of 19 places in 60 ms of which 0 ms to minimize.
[2022-05-16 23:15:12] [INFO ] Deduced a trap composed of 17 places in 55 ms of which 0 ms to minimize.
[2022-05-16 23:15:12] [INFO ] Deduced a trap composed of 17 places in 56 ms of which 0 ms to minimize.
[2022-05-16 23:15:12] [INFO ] Deduced a trap composed of 17 places in 59 ms of which 0 ms to minimize.
[2022-05-16 23:15:12] [INFO ] Deduced a trap composed of 17 places in 78 ms of which 0 ms to minimize.
[2022-05-16 23:15:12] [INFO ] Deduced a trap composed of 10 places in 62 ms of which 1 ms to minimize.
[2022-05-16 23:15:12] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 14 trap constraints in 1117 ms
[2022-05-16 23:15:12] [INFO ] [Real]Absence check using 82 positive place invariants in 15 ms returned sat
[2022-05-16 23:15:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:12] [INFO ] [Real]Absence check using state equation in 74 ms returned sat
[2022-05-16 23:15:13] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:15:13] [INFO ] [Nat]Absence check using 82 positive place invariants in 13 ms returned sat
[2022-05-16 23:15:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:13] [INFO ] [Nat]Absence check using state equation in 72 ms returned sat
[2022-05-16 23:15:13] [INFO ] [Nat]Added 128 Read/Feed constraints in 15 ms returned sat
[2022-05-16 23:15:13] [INFO ] Deduced a trap composed of 8 places in 24 ms of which 0 ms to minimize.
[2022-05-16 23:15:13] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 56 ms
[2022-05-16 23:15:13] [INFO ] Computed and/alt/rep : 224/984/224 causal constraints (skipped 176 transitions) in 25 ms.
[2022-05-16 23:15:13] [INFO ] Deduced a trap composed of 7 places in 90 ms of which 0 ms to minimize.
[2022-05-16 23:15:13] [INFO ] Deduced a trap composed of 7 places in 97 ms of which 0 ms to minimize.
[2022-05-16 23:15:14] [INFO ] Deduced a trap composed of 30 places in 111 ms of which 13 ms to minimize.
[2022-05-16 23:15:14] [INFO ] Deduced a trap composed of 7 places in 97 ms of which 0 ms to minimize.
[2022-05-16 23:15:14] [INFO ] Deduced a trap composed of 34 places in 92 ms of which 0 ms to minimize.
[2022-05-16 23:15:14] [INFO ] Deduced a trap composed of 8 places in 95 ms of which 0 ms to minimize.
[2022-05-16 23:15:14] [INFO ] Deduced a trap composed of 33 places in 99 ms of which 0 ms to minimize.
[2022-05-16 23:15:14] [INFO ] Deduced a trap composed of 45 places in 93 ms of which 1 ms to minimize.
[2022-05-16 23:15:14] [INFO ] Deduced a trap composed of 8 places in 96 ms of which 0 ms to minimize.
[2022-05-16 23:15:14] [INFO ] Deduced a trap composed of 42 places in 98 ms of which 0 ms to minimize.
[2022-05-16 23:15:14] [INFO ] Deduced a trap composed of 38 places in 98 ms of which 1 ms to minimize.
[2022-05-16 23:15:15] [INFO ] Deduced a trap composed of 29 places in 96 ms of which 0 ms to minimize.
[2022-05-16 23:15:15] [INFO ] Deduced a trap composed of 34 places in 96 ms of which 0 ms to minimize.
[2022-05-16 23:15:15] [INFO ] Deduced a trap composed of 36 places in 97 ms of which 1 ms to minimize.
[2022-05-16 23:15:15] [INFO ] Trap strengthening (SAT) tested/added 15/14 trap constraints in 1730 ms
[2022-05-16 23:15:15] [INFO ] Added : 83 causal constraints over 18 iterations in 2221 ms. Result :sat
Minimization took 145 ms.
Current structural bounds on expressions (after SMT) : [56, 8] Max seen :[56, 1]
FORMULA LamportFastMutEx-COL-8-UpperBounds-02 56 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Incomplete Parikh walk after 82500 steps, including 1000 resets, run finished after 210 ms. (steps per millisecond=392 ) properties (out of 1) seen :1 could not realise parikh vector
Support contains 8 out of 258 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 258/258 places, 576/576 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 0 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 16 place count 250 transition count 568
Applied a total of 16 rules in 40 ms. Remains 250 /258 variables (removed 8) and now considering 568/576 (removed 8) transitions.
Finished structural reductions, in 1 iterations. Remains : 250/258 places, 568/576 transitions.
Normalized transition count is 400 out of 568 initially.
// Phase 1: matrix 400 rows 250 cols
[2022-05-16 23:15:15] [INFO ] Computed 82 place invariants in 2 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 2426 ms. (steps per millisecond=412 ) properties (out of 1) seen :1
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 781 ms. (steps per millisecond=1280 ) properties (out of 1) seen :1
[2022-05-16 23:15:19] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 250 cols
[2022-05-16 23:15:19] [INFO ] Computed 82 place invariants in 10 ms
[2022-05-16 23:15:19] [INFO ] [Real]Absence check using 82 positive place invariants in 12 ms returned sat
[2022-05-16 23:15:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:19] [INFO ] [Real]Absence check using state equation in 69 ms returned sat
[2022-05-16 23:15:19] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:15:19] [INFO ] [Nat]Absence check using 82 positive place invariants in 12 ms returned sat
[2022-05-16 23:15:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:19] [INFO ] [Nat]Absence check using state equation in 69 ms returned sat
[2022-05-16 23:15:19] [INFO ] State equation strengthened by 128 read => feed constraints.
[2022-05-16 23:15:19] [INFO ] [Nat]Added 128 Read/Feed constraints in 23 ms returned sat
[2022-05-16 23:15:19] [INFO ] Deduced a trap composed of 13 places in 83 ms of which 0 ms to minimize.
[2022-05-16 23:15:19] [INFO ] Deduced a trap composed of 48 places in 81 ms of which 1 ms to minimize.
[2022-05-16 23:15:19] [INFO ] Deduced a trap composed of 6 places in 80 ms of which 1 ms to minimize.
[2022-05-16 23:15:19] [INFO ] Deduced a trap composed of 7 places in 87 ms of which 1 ms to minimize.
[2022-05-16 23:15:19] [INFO ] Deduced a trap composed of 24 places in 74 ms of which 0 ms to minimize.
[2022-05-16 23:15:19] [INFO ] Deduced a trap composed of 49 places in 81 ms of which 0 ms to minimize.
[2022-05-16 23:15:19] [INFO ] Deduced a trap composed of 6 places in 86 ms of which 0 ms to minimize.
[2022-05-16 23:15:20] [INFO ] Deduced a trap composed of 52 places in 88 ms of which 1 ms to minimize.
[2022-05-16 23:15:20] [INFO ] Deduced a trap composed of 45 places in 74 ms of which 0 ms to minimize.
[2022-05-16 23:15:20] [INFO ] Deduced a trap composed of 14 places in 71 ms of which 0 ms to minimize.
[2022-05-16 23:15:20] [INFO ] Deduced a trap composed of 9 places in 74 ms of which 1 ms to minimize.
[2022-05-16 23:15:20] [INFO ] Deduced a trap composed of 9 places in 30 ms of which 0 ms to minimize.
[2022-05-16 23:15:20] [INFO ] Trap strengthening (SAT) tested/added 13/12 trap constraints in 1087 ms
[2022-05-16 23:15:20] [INFO ] Computed and/alt/rep : 216/1096/216 causal constraints (skipped 176 transitions) in 30 ms.
[2022-05-16 23:15:20] [INFO ] Deduced a trap composed of 6 places in 88 ms of which 1 ms to minimize.
[2022-05-16 23:15:21] [INFO ] Deduced a trap composed of 38 places in 96 ms of which 0 ms to minimize.
[2022-05-16 23:15:21] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 239 ms
[2022-05-16 23:15:21] [INFO ] Added : 77 causal constraints over 16 iterations in 704 ms. Result :sat
Minimization took 109 ms.
Current structural bounds on expressions (after SMT) : [8] Max seen :[1]
Incomplete Parikh walk after 107000 steps, including 1000 resets, run finished after 279 ms. (steps per millisecond=383 ) properties (out of 1) seen :1 could not realise parikh vector
Support contains 8 out of 250 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 250/250 places, 568/568 transitions.
Applied a total of 0 rules in 19 ms. Remains 250 /250 variables (removed 0) and now considering 568/568 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 250/250 places, 568/568 transitions.
Starting structural reductions, iteration 0 : 250/250 places, 568/568 transitions.
Applied a total of 0 rules in 13 ms. Remains 250 /250 variables (removed 0) and now considering 568/568 (removed 0) transitions.
[2022-05-16 23:15:21] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 250 cols
[2022-05-16 23:15:21] [INFO ] Computed 82 place invariants in 2 ms
[2022-05-16 23:15:21] [INFO ] Implicit Places using invariants in 251 ms returned [154, 155, 156, 157, 158, 159, 160, 161]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 253 ms to find 8 implicit places.
[2022-05-16 23:15:21] [INFO ] Redundant transitions in 34 ms returned []
[2022-05-16 23:15:21] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:21] [INFO ] Computed 74 place invariants in 7 ms
[2022-05-16 23:15:22] [INFO ] Dead Transitions using invariants and state equation in 196 ms returned []
Starting structural reductions, iteration 1 : 242/250 places, 568/568 transitions.
Applied a total of 0 rules in 12 ms. Remains 242 /242 variables (removed 0) and now considering 568/568 (removed 0) transitions.
[2022-05-16 23:15:22] [INFO ] Redundant transitions in 15 ms returned []
[2022-05-16 23:15:22] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:22] [INFO ] Computed 74 place invariants in 4 ms
[2022-05-16 23:15:22] [INFO ] Dead Transitions using invariants and state equation in 259 ms returned []
Finished structural reductions, in 2 iterations. Remains : 242/250 places, 568/568 transitions.
Normalized transition count is 400 out of 568 initially.
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:22] [INFO ] Computed 74 place invariants in 1 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 2302 ms. (steps per millisecond=434 ) properties (out of 1) seen :1
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 752 ms. (steps per millisecond=1329 ) properties (out of 1) seen :1
[2022-05-16 23:15:25] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:25] [INFO ] Computed 74 place invariants in 7 ms
[2022-05-16 23:15:25] [INFO ] [Real]Absence check using 74 positive place invariants in 11 ms returned sat
[2022-05-16 23:15:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:25] [INFO ] [Real]Absence check using state equation in 66 ms returned sat
[2022-05-16 23:15:25] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:15:25] [INFO ] [Nat]Absence check using 74 positive place invariants in 15 ms returned sat
[2022-05-16 23:15:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:25] [INFO ] [Nat]Absence check using state equation in 79 ms returned sat
[2022-05-16 23:15:25] [INFO ] State equation strengthened by 64 read => feed constraints.
[2022-05-16 23:15:25] [INFO ] [Nat]Added 64 Read/Feed constraints in 11 ms returned sat
[2022-05-16 23:15:25] [INFO ] Deduced a trap composed of 47 places in 96 ms of which 0 ms to minimize.
[2022-05-16 23:15:25] [INFO ] Deduced a trap composed of 16 places in 92 ms of which 2 ms to minimize.
[2022-05-16 23:15:25] [INFO ] Deduced a trap composed of 11 places in 86 ms of which 1 ms to minimize.
[2022-05-16 23:15:25] [INFO ] Deduced a trap composed of 7 places in 20 ms of which 1 ms to minimize.
[2022-05-16 23:15:25] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 352 ms
[2022-05-16 23:15:26] [INFO ] Computed and/alt/rep : 216/968/216 causal constraints (skipped 176 transitions) in 22 ms.
[2022-05-16 23:15:26] [INFO ] Deduced a trap composed of 36 places in 110 ms of which 1 ms to minimize.
[2022-05-16 23:15:26] [INFO ] Deduced a trap composed of 7 places in 86 ms of which 0 ms to minimize.
[2022-05-16 23:15:26] [INFO ] Deduced a trap composed of 7 places in 88 ms of which 0 ms to minimize.
[2022-05-16 23:15:26] [INFO ] Deduced a trap composed of 36 places in 92 ms of which 0 ms to minimize.
[2022-05-16 23:15:26] [INFO ] Deduced a trap composed of 35 places in 87 ms of which 1 ms to minimize.
[2022-05-16 23:15:27] [INFO ] Deduced a trap composed of 37 places in 97 ms of which 8 ms to minimize.
[2022-05-16 23:15:27] [INFO ] Deduced a trap composed of 35 places in 89 ms of which 1 ms to minimize.
[2022-05-16 23:15:27] [INFO ] Deduced a trap composed of 7 places in 91 ms of which 0 ms to minimize.
[2022-05-16 23:15:27] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 953 ms
[2022-05-16 23:15:27] [INFO ] Added : 79 causal constraints over 16 iterations in 1369 ms. Result :sat
Minimization took 100 ms.
Current structural bounds on expressions (after SMT) : [8] Max seen :[1]
Incomplete Parikh walk after 122000 steps, including 1000 resets, run finished after 313 ms. (steps per millisecond=389 ) properties (out of 1) seen :1 could not realise parikh vector
Support contains 8 out of 242 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 242/242 places, 568/568 transitions.
Applied a total of 0 rules in 18 ms. Remains 242 /242 variables (removed 0) and now considering 568/568 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 242/242 places, 568/568 transitions.
Starting structural reductions, iteration 0 : 242/242 places, 568/568 transitions.
Applied a total of 0 rules in 10 ms. Remains 242 /242 variables (removed 0) and now considering 568/568 (removed 0) transitions.
[2022-05-16 23:15:27] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:27] [INFO ] Computed 74 place invariants in 2 ms
[2022-05-16 23:15:27] [INFO ] Implicit Places using invariants in 166 ms returned []
[2022-05-16 23:15:27] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:28] [INFO ] Computed 74 place invariants in 1 ms
[2022-05-16 23:15:28] [INFO ] State equation strengthened by 64 read => feed constraints.
[2022-05-16 23:15:28] [INFO ] Implicit Places using invariants and state equation in 564 ms returned []
Implicit Place search using SMT with State Equation took 740 ms to find 0 implicit places.
[2022-05-16 23:15:28] [INFO ] Redundant transitions in 9 ms returned []
[2022-05-16 23:15:28] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:28] [INFO ] Computed 74 place invariants in 2 ms
[2022-05-16 23:15:28] [INFO ] Dead Transitions using invariants and state equation in 174 ms returned []
Finished structural reductions, in 1 iterations. Remains : 242/242 places, 568/568 transitions.
Starting property specific reduction for LamportFastMutEx-COL-8-UpperBounds-11
Normalized transition count is 400 out of 568 initially.
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:28] [INFO ] Computed 74 place invariants in 2 ms
Incomplete random walk after 10000 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 1) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=1111 ) properties (out of 1) seen :1
[2022-05-16 23:15:28] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:28] [INFO ] Computed 74 place invariants in 1 ms
[2022-05-16 23:15:28] [INFO ] [Real]Absence check using 74 positive place invariants in 11 ms returned sat
[2022-05-16 23:15:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:28] [INFO ] [Real]Absence check using state equation in 68 ms returned sat
[2022-05-16 23:15:28] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:15:28] [INFO ] [Nat]Absence check using 74 positive place invariants in 12 ms returned sat
[2022-05-16 23:15:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:29] [INFO ] [Nat]Absence check using state equation in 71 ms returned sat
[2022-05-16 23:15:29] [INFO ] State equation strengthened by 64 read => feed constraints.
[2022-05-16 23:15:29] [INFO ] [Nat]Added 64 Read/Feed constraints in 14 ms returned sat
[2022-05-16 23:15:29] [INFO ] Deduced a trap composed of 47 places in 95 ms of which 0 ms to minimize.
[2022-05-16 23:15:29] [INFO ] Deduced a trap composed of 16 places in 84 ms of which 0 ms to minimize.
[2022-05-16 23:15:29] [INFO ] Deduced a trap composed of 11 places in 91 ms of which 0 ms to minimize.
[2022-05-16 23:15:29] [INFO ] Deduced a trap composed of 7 places in 14 ms of which 1 ms to minimize.
[2022-05-16 23:15:29] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 351 ms
[2022-05-16 23:15:29] [INFO ] Computed and/alt/rep : 216/968/216 causal constraints (skipped 176 transitions) in 23 ms.
[2022-05-16 23:15:29] [INFO ] Deduced a trap composed of 36 places in 92 ms of which 0 ms to minimize.
[2022-05-16 23:15:30] [INFO ] Deduced a trap composed of 7 places in 83 ms of which 0 ms to minimize.
[2022-05-16 23:15:30] [INFO ] Deduced a trap composed of 7 places in 88 ms of which 1 ms to minimize.
[2022-05-16 23:15:30] [INFO ] Deduced a trap composed of 36 places in 109 ms of which 0 ms to minimize.
[2022-05-16 23:15:30] [INFO ] Deduced a trap composed of 35 places in 91 ms of which 0 ms to minimize.
[2022-05-16 23:15:30] [INFO ] Deduced a trap composed of 37 places in 92 ms of which 1 ms to minimize.
[2022-05-16 23:15:30] [INFO ] Deduced a trap composed of 35 places in 87 ms of which 0 ms to minimize.
[2022-05-16 23:15:30] [INFO ] Deduced a trap composed of 7 places in 88 ms of which 1 ms to minimize.
[2022-05-16 23:15:30] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 953 ms
[2022-05-16 23:15:30] [INFO ] Added : 79 causal constraints over 16 iterations in 1376 ms. Result :sat
Minimization took 100 ms.
Current structural bounds on expressions (after SMT) : [8] Max seen :[1]
Incomplete Parikh walk after 122000 steps, including 1000 resets, run finished after 304 ms. (steps per millisecond=401 ) properties (out of 1) seen :1 could not realise parikh vector
Support contains 8 out of 242 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 242/242 places, 568/568 transitions.
Applied a total of 0 rules in 21 ms. Remains 242 /242 variables (removed 0) and now considering 568/568 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 242/242 places, 568/568 transitions.
Normalized transition count is 400 out of 568 initially.
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:31] [INFO ] Computed 74 place invariants in 2 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 2296 ms. (steps per millisecond=435 ) properties (out of 1) seen :1
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 741 ms. (steps per millisecond=1349 ) properties (out of 1) seen :1
[2022-05-16 23:15:34] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:34] [INFO ] Computed 74 place invariants in 2 ms
[2022-05-16 23:15:34] [INFO ] [Real]Absence check using 74 positive place invariants in 11 ms returned sat
[2022-05-16 23:15:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:34] [INFO ] [Real]Absence check using state equation in 70 ms returned sat
[2022-05-16 23:15:34] [INFO ] Solution in real domain found non-integer solution.
[2022-05-16 23:15:34] [INFO ] [Nat]Absence check using 74 positive place invariants in 11 ms returned sat
[2022-05-16 23:15:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-05-16 23:15:34] [INFO ] [Nat]Absence check using state equation in 66 ms returned sat
[2022-05-16 23:15:34] [INFO ] State equation strengthened by 64 read => feed constraints.
[2022-05-16 23:15:34] [INFO ] [Nat]Added 64 Read/Feed constraints in 10 ms returned sat
[2022-05-16 23:15:34] [INFO ] Deduced a trap composed of 47 places in 89 ms of which 1 ms to minimize.
[2022-05-16 23:15:34] [INFO ] Deduced a trap composed of 16 places in 89 ms of which 0 ms to minimize.
[2022-05-16 23:15:34] [INFO ] Deduced a trap composed of 11 places in 79 ms of which 0 ms to minimize.
[2022-05-16 23:15:34] [INFO ] Deduced a trap composed of 7 places in 19 ms of which 0 ms to minimize.
[2022-05-16 23:15:34] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 351 ms
[2022-05-16 23:15:34] [INFO ] Computed and/alt/rep : 216/968/216 causal constraints (skipped 176 transitions) in 21 ms.
[2022-05-16 23:15:35] [INFO ] Deduced a trap composed of 36 places in 90 ms of which 1 ms to minimize.
[2022-05-16 23:15:35] [INFO ] Deduced a trap composed of 7 places in 87 ms of which 0 ms to minimize.
[2022-05-16 23:15:35] [INFO ] Deduced a trap composed of 7 places in 84 ms of which 0 ms to minimize.
[2022-05-16 23:15:35] [INFO ] Deduced a trap composed of 36 places in 88 ms of which 0 ms to minimize.
[2022-05-16 23:15:35] [INFO ] Deduced a trap composed of 35 places in 89 ms of which 0 ms to minimize.
[2022-05-16 23:15:35] [INFO ] Deduced a trap composed of 37 places in 90 ms of which 1 ms to minimize.
[2022-05-16 23:15:36] [INFO ] Deduced a trap composed of 35 places in 91 ms of which 0 ms to minimize.
[2022-05-16 23:15:36] [INFO ] Deduced a trap composed of 7 places in 90 ms of which 0 ms to minimize.
[2022-05-16 23:15:36] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 921 ms
[2022-05-16 23:15:36] [INFO ] Added : 79 causal constraints over 16 iterations in 1327 ms. Result :sat
Minimization took 99 ms.
Current structural bounds on expressions (after SMT) : [8] Max seen :[1]
Incomplete Parikh walk after 122000 steps, including 1000 resets, run finished after 302 ms. (steps per millisecond=403 ) properties (out of 1) seen :1 could not realise parikh vector
Support contains 8 out of 242 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 242/242 places, 568/568 transitions.
Applied a total of 0 rules in 8 ms. Remains 242 /242 variables (removed 0) and now considering 568/568 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 242/242 places, 568/568 transitions.
Starting structural reductions, iteration 0 : 242/242 places, 568/568 transitions.
Applied a total of 0 rules in 9 ms. Remains 242 /242 variables (removed 0) and now considering 568/568 (removed 0) transitions.
[2022-05-16 23:15:36] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:36] [INFO ] Computed 74 place invariants in 2 ms
[2022-05-16 23:15:36] [INFO ] Implicit Places using invariants in 159 ms returned []
[2022-05-16 23:15:36] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:36] [INFO ] Computed 74 place invariants in 1 ms
[2022-05-16 23:15:36] [INFO ] State equation strengthened by 64 read => feed constraints.
[2022-05-16 23:15:37] [INFO ] Implicit Places using invariants and state equation in 561 ms returned []
Implicit Place search using SMT with State Equation took 730 ms to find 0 implicit places.
[2022-05-16 23:15:37] [INFO ] Redundant transitions in 5 ms returned []
[2022-05-16 23:15:37] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2022-05-16 23:15:37] [INFO ] Computed 74 place invariants in 2 ms
[2022-05-16 23:15:37] [INFO ] Dead Transitions using invariants and state equation in 170 ms returned []
Finished structural reductions, in 1 iterations. Remains : 242/242 places, 568/568 transitions.
Ending property specific reduction for LamportFastMutEx-COL-8-UpperBounds-11 in 8772 ms.
[2022-05-16 23:15:37] [INFO ] Flatten gal took : 85 ms
[2022-05-16 23:15:37] [INFO ] Applying decomposition
[2022-05-16 23:15:37] [INFO ] Flatten gal took : 68 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/graph11832327044348960124.txt, -o, /tmp/graph11832327044348960124.bin, -w, /tmp/graph11832327044348960124.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/graph11832327044348960124.bin, -l, -1, -v, -w, /tmp/graph11832327044348960124.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-16 23:15:38] [INFO ] Decomposing Gal with order
[2022-05-16 23:15:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 23:15:38] [INFO ] Removed a total of 884 redundant transitions.
[2022-05-16 23:15:38] [INFO ] Flatten gal took : 82 ms
[2022-05-16 23:15:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 89 labels/synchronizations in 25 ms.
[2022-05-16 23:15:38] [INFO ] Time to serialize gal into /tmp/UpperBounds8612207254833719826.gal : 7 ms
[2022-05-16 23:15:38] [INFO ] Time to serialize properties into /tmp/UpperBounds10407058576472069262.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/UpperBounds8612207254833719826.gal, -t, CGAL, -reachable-file, /tmp/UpperBounds10407058576472069262.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/UpperBounds8612207254833719826.gal -t CGAL -reachable-file /tmp/UpperBounds10407058576472069262.prop --nowitness --gen-order FOLLOW
/tmp/UpperBounds8612207254833719826.gal(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 269 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(269) : error 3 : , at offset 28
near [Index: 3399 (Start: 889601942-Stop: 889601942) ='-', type<22> Line: 269 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 296 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(296) : error 3 : , at offset 29
near [Index: 3721 (Start: 889602964-Stop: 889602964) ='-', type<22> Line: 296 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(296) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 323 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(323) : error 3 : , at offset 29
near [Index: 4043 (Start: 889603989-Stop: 889603989) ='-', type<22> Line: 323 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(323) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 350 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(350) : error 3 : , at offset 29
near [Index: 4365 (Start: 889605014-Stop: 889605014) ='-', type<22> Line: 350 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(350) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 377 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(377) : error 3 : , at offset 29
near [Index: 4687 (Start: 889606039-Stop: 889606039) ='-', type<22> Line: 377 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(377) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 380 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(380) : error 3 : , at offset 31
near [Index: 4729 (Start: 889606199-Stop: 889606199) ='-', type<22> Line: 380 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(380) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 386 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(386) : error 3 : , at offset 31
near [Index: 4817 (Start: 889606417-Stop: 889606417) ='-', type<22> Line: 386 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(386) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 400 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(400) : error 3 : , at offset 31
near [Index: 5031 (Start: 889607001-Stop: 889607001) ='-', type<22> Line: 400 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(400) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 402 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(402) : error 3 : , at offset 31
near [Index: 5063 (Start: 889607101-Stop: 889607101) ='-', type<22> Line: 402 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(402) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 411 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(411) : error 3 : , at offset 32
near [Index: 5183 (Start: 889607458-Stop: 889607458) ='-', type<22> Line: 411 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(411) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 414 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(414) : error 3 : , at offset 32
near [Index: 5227 (Start: 889607594-Stop: 889607594) ='-', type<22> Line: 414 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(414) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 426 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(426) : error 3 : , at offset 31
near [Index: 5383 (Start: 889608060-Stop: 889608060) ='-', type<22> Line: 426 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(426) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 432 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(432) : error 3 : , at offset 32
near [Index: 5469 (Start: 889608327-Stop: 889608327) ='-', type<22> Line: 432 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(432) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 491 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(491) : error 3 : , at offset 33
near [Index: 6415 (Start: 889611122-Stop: 889611122) ='-', type<22> Line: 491 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(491) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 501 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(501) : error 3 : , at offset 28
near [Index: 6535 (Start: 889611497-Stop: 889611497) ='-', type<22> Line: 501 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(501) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 504 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(504) : error 3 : , at offset 28
near [Index: 6562 (Start: 889611632-Stop: 889611632) ='-', type<22> Line: 504 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(504) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 507 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(507) : error 3 : , at offset 28
near [Index: 6589 (Start: 889611797-Stop: 889611797) ='-', type<22> Line: 507 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(507) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 516 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(516) : error 3 : , at offset 28
near [Index: 6666 (Start: 889612232-Stop: 889612232) ='-', type<22> Line: 516 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(516) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 556 LinePos:27]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(556) : error 3 : , at offset 27
near [Index: 6994 (Start: 889613715-Stop: 889613715) ='-', type<22> Line: 556 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(556) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 561 LinePos:27]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(561) : error 3 : , at offset 27
near [Index: 7027 (Start: 889613876-Stop: 889613876) ='-', type<22> Line: 561 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(561) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 582 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(582) : error 3 : , at offset 31
near [Index: 7188 (Start: 889614588-Stop: 889614588) ='-', type<22> Line: 582 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(582) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 601 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(601) : error 3 : , at offset 31
near [Index: 7448 (Start: 889615330-Stop: 889615330) ='-', type<22> Line: 601 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(601) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 609 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(609) : error 3 : , at offset 32
near [Index: 7564 (Start: 889615689-Stop: 889615689) ='-', type<22> Line: 609 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(609) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 614 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(614) : error 3 : , at offset 32
near [Index: 7644 (Start: 889615917-Stop: 889615917) ='-', type<22> Line: 614 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(614) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 617 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(617) : error 3 : , at offset 32
near [Index: 7700 (Start: 889616085-Stop: 889616085) ='-', type<22> Line: 617 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(617) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 620 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(620) : error 3 : , at offset 32
near [Index: 7744 (Start: 889616223-Stop: 889616223) ='-', type<22> Line: 620 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(620) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 663 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(663) : error 3 : , at offset 33
near [Index: 8336 (Start: 889618031-Stop: 889618031) ='-', type<22> Line: 663 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(663) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 666 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(666) : error 3 : , at offset 33
near [Index: 8380 (Start: 889618172-Stop: 889618172) ='-', type<22> Line: 666 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(666) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 692 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(692) : error 3 : , at offset 33
near [Index: 8884 (Start: 889619563-Stop: 889619563) ='-', type<22> Line: 692 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(692) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 702 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(702) : error 3 : , at offset 33
near [Index: 9014 (Start: 889619959-Stop: 889619959) ='-', type<22> Line: 702 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(702) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 721 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(721) : error 3 : , at offset 33
near [Index: 9256 (Start: 889620698-Stop: 889620698) ='-', type<22> Line: 721 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(721) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 724 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(724) : error 3 : , at offset 28
near [Index: 9298 (Start: 889620841-Stop: 889620841) ='-', type<22> Line: 724 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(724) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
ITS-tools command line returned an error code 1
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 736 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(736) : error 3 : , at offset 28
near [Index: 9400 (Start: 889621427-Stop: 889621427) ='-', type<22> Line: 736 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(736) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 776 LinePos:27]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(776) : error 3 : , at offset 27
near [Index: 9728 (Start: 889622925-Stop: 889622925) ='-', type<22> Line: 776 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(776) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 789 LinePos:27]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(789) : error 3 : , at offset 27
near [Index: 9831 (Start: 889623376-Stop: 889623376) ='-', type<22> Line: 789 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(789) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 793 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(793) : error 3 : , at offset 31
near [Index: 9861 (Start: 889623504-Stop: 889623504) ='-', type<22> Line: 793 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(793) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 821 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(821) : error 3 : , at offset 31
near [Index: 10249 (Start: 889624568-Stop: 889624568) ='-', type<22> Line: 821 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(821) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 831 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(831) : error 3 : , at offset 32
near [Index: 10395 (Start: 889625019-Stop: 889625019) ='-', type<22> Line: 831 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(831) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 836 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(836) : error 3 : , at offset 32
near [Index: 10475 (Start: 889625244-Stop: 889625244) ='-', type<22> Line: 836 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(836) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 839 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(839) : error 3 : , at offset 32
near [Index: 10531 (Start: 889625411-Stop: 889625411) ='-', type<22> Line: 839 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(839) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 842 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(842) : error 3 : , at offset 32
near [Index: 10575 (Start: 889625548-Stop: 889625548) ='-', type<22> Line: 842 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(842) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 885 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(885) : error 3 : , at offset 33
near [Index: 11167 (Start: 889627351-Stop: 889627351) ='-', type<22> Line: 885 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(885) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 888 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(888) : error 3 : , at offset 33
near [Index: 11211 (Start: 889627491-Stop: 889627491) ='-', type<22> Line: 888 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(888) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 914 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(914) : error 3 : , at offset 33
near [Index: 11715 (Start: 889628879-Stop: 889628879) ='-', type<22> Line: 914 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(914) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 924 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(924) : error 3 : , at offset 33
near [Index: 11845 (Start: 889629274-Stop: 889629274) ='-', type<22> Line: 924 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(924) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 936 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(936) : error 3 : , at offset 28
near [Index: 11997 (Start: 889629722-Stop: 889629722) ='-', type<22> Line: 936 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(936) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 945 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(945) : error 3 : , at offset 28
near [Index: 12074 (Start: 889630187-Stop: 889630187) ='-', type<22> Line: 945 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(945) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 984 LinePos:27]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(984) : error 3 : , at offset 27
near [Index: 12401 (Start: 889631678-Stop: 889631678) ='-', type<22> Line: 984 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(984) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 997 LinePos:27]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(997) : error 3 : , at offset 27
near [Index: 12504 (Start: 889632129-Stop: 889632129) ='-', type<22> Line: 997 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(997) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1001 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1001) : error 3 : , at offset 31
near [Index: 12534 (Start: 889632257-Stop: 889632257) ='-', type<22> Line: 1001 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1001) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1020 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1020) : error 3 : , at offset 31
near [Index: 12794 (Start: 889632999-Stop: 889632999) ='-', type<22> Line: 1020 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1020) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1028 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1028) : error 3 : , at offset 32
near [Index: 12910 (Start: 889633358-Stop: 889633358) ='-', type<22> Line: 1028 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1028) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1033 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1033) : error 3 : , at offset 32
near [Index: 12990 (Start: 889633586-Stop: 889633586) ='-', type<22> Line: 1033 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1033) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1036 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1036) : error 3 : , at offset 32
near [Index: 13046 (Start: 889633754-Stop: 889633754) ='-', type<22> Line: 1036 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1036) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1039 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1039) : error 3 : , at offset 32
near [Index: 13090 (Start: 889633892-Stop: 889633892) ='-', type<22> Line: 1039 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1039) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1082 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1082) : error 3 : , at offset 33
near [Index: 13682 (Start: 889635700-Stop: 889635700) ='-', type<22> Line: 1082 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1082) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1085 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1085) : error 3 : , at offset 33
near [Index: 13726 (Start: 889635841-Stop: 889635841) ='-', type<22> Line: 1085 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1085) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1111 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1111) : error 3 : , at offset 33
near [Index: 14230 (Start: 889637232-Stop: 889637232) ='-', type<22> Line: 1111 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1111) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1121 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1121) : error 3 : , at offset 33
near [Index: 14360 (Start: 889637628-Stop: 889637628) ='-', type<22> Line: 1121 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1121) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1140 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1140) : error 3 : , at offset 33
near [Index: 14602 (Start: 889638367-Stop: 889638367) ='-', type<22> Line: 1140 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1140) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1143 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1143) : error 3 : , at offset 28
near [Index: 14644 (Start: 889638510-Stop: 889638510) ='-', type<22> Line: 1143 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1143) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1155 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1155) : error 3 : , at offset 28
near [Index: 14746 (Start: 889639096-Stop: 889639096) ='-', type<22> Line: 1155 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1155) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1195 LinePos:27]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1195) : error 3 : , at offset 27
near [Index: 15074 (Start: 889640594-Stop: 889640594) ='-', type<22> Line: 1195 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1195) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1208 LinePos:27]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1208) : error 3 : , at offset 27
near [Index: 15177 (Start: 889641045-Stop: 889641045) ='-', type<22> Line: 1208 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1208) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1212 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1212) : error 3 : , at offset 31
near [Index: 15207 (Start: 889641173-Stop: 889641173) ='-', type<22> Line: 1212 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1212) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1231 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1231) : error 3 : , at offset 31
near [Index: 15467 (Start: 889641915-Stop: 889641915) ='-', type<22> Line: 1231 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1231) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1239 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1239) : error 3 : , at offset 32
near [Index: 15583 (Start: 889642274-Stop: 889642274) ='-', type<22> Line: 1239 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1239) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1244 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1244) : error 3 : , at offset 32
near [Index: 15663 (Start: 889642502-Stop: 889642502) ='-', type<22> Line: 1244 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1244) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1247 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1247) : error 3 : , at offset 32
near [Index: 15719 (Start: 889642670-Stop: 889642670) ='-', type<22> Line: 1247 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1247) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1250 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1250) : error 3 : , at offset 32
near [Index: 15763 (Start: 889642808-Stop: 889642808) ='-', type<22> Line: 1250 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1250) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1293 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1293) : error 3 : , at offset 33
near [Index: 16355 (Start: 889644616-Stop: 889644616) ='-', type<22> Line: 1293 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1293) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1296 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1296) : error 3 : , at offset 33
near [Index: 16399 (Start: 889644757-Stop: 889644757) ='-', type<22> Line: 1296 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1296) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1322 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1322) : error 3 : , at offset 33
near [Index: 16903 (Start: 889646148-Stop: 889646148) ='-', type<22> Line: 1322 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1322) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1332 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1332) : error 3 : , at offset 33
near [Index: 17033 (Start: 889646544-Stop: 889646544) ='-', type<22> Line: 1332 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1332) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1351 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1351) : error 3 : , at offset 33
near [Index: 17275 (Start: 889647283-Stop: 889647283) ='-', type<22> Line: 1351 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1351) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1354 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1354) : error 3 : , at offset 28
near [Index: 17317 (Start: 889647426-Stop: 889647426) ='-', type<22> Line: 1354 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1354) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1366 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1366) : error 3 : , at offset 28
near [Index: 17419 (Start: 889648012-Stop: 889648012) ='-', type<22> Line: 1366 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1366) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1406 LinePos:27]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1406) : error 3 : , at offset 27
near [Index: 17747 (Start: 889649510-Stop: 889649510) ='-', type<22> Line: 1406 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1406) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1419 LinePos:27]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1419) : error 3 : , at offset 27
near [Index: 17850 (Start: 889649961-Stop: 889649961) ='-', type<22> Line: 1419 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1419) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1423 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1423) : error 3 : , at offset 31
near [Index: 17880 (Start: 889650089-Stop: 889650089) ='-', type<22> Line: 1423 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1423) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1442 LinePos:31]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1442) : error 3 : , at offset 31
near [Index: 18140 (Start: 889650831-Stop: 889650831) ='-', type<22> Line: 1442 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1442) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1450 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1450) : error 3 : , at offset 32
near [Index: 18256 (Start: 889651190-Stop: 889651190) ='-', type<22> Line: 1450 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1450) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1455 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1455) : error 3 : , at offset 32
near [Index: 18336 (Start: 889651415-Stop: 889651415) ='-', type<22> Line: 1455 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1455) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1458 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1458) : error 3 : , at offset 32
near [Index: 18392 (Start: 889651582-Stop: 889651582) ='-', type<22> Line: 1458 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1458) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1461 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1461) : error 3 : , at offset 32
near [Index: 18436 (Start: 889651719-Stop: 889651719) ='-', type<22> Line: 1461 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1461) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1504 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1504) : error 3 : , at offset 33
near [Index: 19028 (Start: 889653522-Stop: 889653522) ='-', type<22> Line: 1504 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1504) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1507 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1507) : error 3 : , at offset 33
near [Index: 19072 (Start: 889653662-Stop: 889653662) ='-', type<22> Line: 1507 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1507) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1533 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1533) : error 3 : , at offset 33
near [Index: 19576 (Start: 889655050-Stop: 889655050) ='-', type<22> Line: 1533 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1533) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1543 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1543) : error 3 : , at offset 33
near [Index: 19706 (Start: 889655445-Stop: 889655445) ='-', type<22> Line: 1543 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1543) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1562 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1562) : error 3 : , at offset 33
near [Index: 19948 (Start: 889656181-Stop: 889656181) ='-', type<22> Line: 1562 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1562) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1565 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1565) : error 3 : , at offset 28
near [Index: 19990 (Start: 889656324-Stop: 889656324) ='-', type<22> Line: 1565 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1565) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1577 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1577) : error 3 : , at offset 28
near [Index: 20092 (Start: 889656910-Stop: 889656910) ='-', type<22> Line: 1577 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1577) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1617 LinePos:27]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1617) : error 3 : , at offset 27
near [Index: 20420 (Start: 889658408-Stop: 889658408) ='-', type<22> Line: 1617 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1617) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1630 LinePos:27]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1630) : error 3 : , at offset 27
near [Index: 20523 (Start: 889658859-Stop: 889658859) ='-', type<22> Line: 1630 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1630) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1634 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1634) : error 3 : , at offset 32
near [Index: 20553 (Start: 889658988-Stop: 889658988) ='-', type<22> Line: 1634 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1634) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1653 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1653) : error 3 : , at offset 32
near [Index: 20813 (Start: 889659753-Stop: 889659753) ='-', type<22> Line: 1653 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1653) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1661 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1661) : error 3 : , at offset 33
near [Index: 20929 (Start: 889660123-Stop: 889660123) ='-', type<22> Line: 1661 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1661) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1666 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1666) : error 3 : , at offset 33
near [Index: 21009 (Start: 889660358-Stop: 889660358) ='-', type<22> Line: 1666 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1666) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1669 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1669) : error 3 : , at offset 33
near [Index: 21065 (Start: 889660531-Stop: 889660531) ='-', type<22> Line: 1669 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1669) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1672 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1672) : error 3 : , at offset 33
near [Index: 21109 (Start: 889660673-Stop: 889660673) ='-', type<22> Line: 1672 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1672) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1715 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1715) : error 3 : , at offset 34
near [Index: 21701 (Start: 889662535-Stop: 889662535) ='-', type<22> Line: 1715 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1715) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1718 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1718) : error 3 : , at offset 34
near [Index: 21745 (Start: 889662680-Stop: 889662680) ='-', type<22> Line: 1718 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1718) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1744 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1744) : error 3 : , at offset 34
near [Index: 22249 (Start: 889664114-Stop: 889664114) ='-', type<22> Line: 1744 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1744) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1754 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1754) : error 3 : , at offset 34
near [Index: 22379 (Start: 889664521-Stop: 889664521) ='-', type<22> Line: 1754 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1754) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1766 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1766) : error 3 : , at offset 29
near [Index: 22531 (Start: 889664985-Stop: 889664985) ='-', type<22> Line: 1766 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1766) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1775 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1775) : error 3 : , at offset 29
near [Index: 22608 (Start: 889665459-Stop: 889665459) ='-', type<22> Line: 1775 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1775) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1811 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1811) : error 3 : , at offset 28
near [Index: 22910 (Start: 889666874-Stop: 889666874) ='-', type<22> Line: 1811 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1811) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1824 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1824) : error 3 : , at offset 28
near [Index: 23013 (Start: 889667337-Stop: 889667337) ='-', type<22> Line: 1824 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1824) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1852 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1852) : error 3 : , at offset 34
near [Index: 23373 (Start: 889668487-Stop: 889668487) ='-', type<22> Line: 1852 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1852) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1879 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1879) : error 3 : , at offset 34
near [Index: 23749 (Start: 889669682-Stop: 889669682) ='-', type<22> Line: 1879 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1879) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1906 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1906) : error 3 : , at offset 34
near [Index: 24125 (Start: 889670877-Stop: 889670877) ='-', type<22> Line: 1906 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1906) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1916 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1916) : error 3 : , at offset 34
near [Index: 24259 (Start: 889671346-Stop: 889671346) ='-', type<22> Line: 1916 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1916) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1926 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1926) : error 3 : , at offset 34
near [Index: 24391 (Start: 889671789-Stop: 889671789) ='-', type<22> Line: 1926 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1926) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1949 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1949) : error 3 : , at offset 34
near [Index: 24703 (Start: 889672756-Stop: 889672756) ='-', type<22> Line: 1949 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1949) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1952 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1952) : error 3 : , at offset 29
near [Index: 24745 (Start: 889672903-Stop: 889672903) ='-', type<22> Line: 1952 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1952) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1955 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1955) : error 3 : , at offset 29
near [Index: 24772 (Start: 889673071-Stop: 889673071) ='-', type<22> Line: 1955 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1955) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1958 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1958) : error 3 : , at offset 29
near [Index: 24799 (Start: 889673239-Stop: 889673239) ='-', type<22> Line: 1958 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1958) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1982 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1982) : error 3 : , at offset 29
near [Index: 25001 (Start: 889674287-Stop: 889674287) ='-', type<22> Line: 1982 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1982) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1985 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1985) : error 3 : , at offset 29
near [Index: 25028 (Start: 889674416-Stop: 889674416) ='-', type<22> Line: 1985 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1985) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1988 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(1988) : error 3 : , at offset 29
near [Index: 25055 (Start: 889674545-Stop: 889674545) ='-', type<22> Line: 1988 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(1988) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2137 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2137) : error 3 : , at offset 32
near [Index: 26134 (Start: 889679549-Stop: 889679549) ='-', type<22> Line: 2137 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2137) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2156 LinePos:32]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2156) : error 3 : , at offset 32
near [Index: 26394 (Start: 889680314-Stop: 889680314) ='-', type<22> Line: 2156 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2156) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2164 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2164) : error 3 : , at offset 33
near [Index: 26510 (Start: 889680684-Stop: 889680684) ='-', type<22> Line: 2164 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2164) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2169 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2169) : error 3 : , at offset 33
near [Index: 26590 (Start: 889680916-Stop: 889680916) ='-', type<22> Line: 2169 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2169) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2172 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2172) : error 3 : , at offset 33
near [Index: 26646 (Start: 889681088-Stop: 889681088) ='-', type<22> Line: 2172 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2172) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2175 LinePos:33]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2175) : error 3 : , at offset 33
near [Index: 26690 (Start: 889681229-Stop: 889681229) ='-', type<22> Line: 2175 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2175) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2218 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2218) : error 3 : , at offset 34
near [Index: 27282 (Start: 889683086-Stop: 889683086) ='-', type<22> Line: 2218 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2218) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2221 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2221) : error 3 : , at offset 34
near [Index: 27326 (Start: 889683230-Stop: 889683230) ='-', type<22> Line: 2221 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2221) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2247 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2247) : error 3 : , at offset 34
near [Index: 27830 (Start: 889684661-Stop: 889684661) ='-', type<22> Line: 2247 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2247) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2257 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2257) : error 3 : , at offset 34
near [Index: 27960 (Start: 889685067-Stop: 889685067) ='-', type<22> Line: 2257 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2257) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2276 LinePos:34]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2276) : error 3 : , at offset 34
near [Index: 28202 (Start: 889685824-Stop: 889685824) ='-', type<22> Line: 2276 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2276) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2279 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2279) : error 3 : , at offset 29
near [Index: 28244 (Start: 889685971-Stop: 889685971) ='-', type<22> Line: 2279 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2279) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2291 LinePos:29]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2291) : error 3 : , at offset 29
near [Index: 28346 (Start: 889686569-Stop: 889686569) ='-', type<22> Line: 2291 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2291) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2331 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2331) : error 3 : , at offset 28
near [Index: 28674 (Start: 889688106-Stop: 889688106) ='-', type<22> Line: 2331 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2331) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2344 LinePos:28]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(2344) : error 3 : , at offset 28
near [Index: 28777 (Start: 889688569-Stop: 889688569) ='-', type<22> Line: 2344 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(2344) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 3828 LinePos:24]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(3828) : error 3 : , at offset 24
near [Index: 37619 (Start: 889728740-Stop: 889728740) ='-', type<22> Line: 3828 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(3828) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 3832 LinePos:24]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(3832) : error 3 : , at offset 24
near [Index: 37645 (Start: 889728863-Stop: 889728863) ='-', type<22> Line: 3832 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(3832) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 3836 LinePos:24]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(3836) : error 3 : , at offset 24
near [Index: 37671 (Start: 889728985-Stop: 889728985) ='-', type<22> Line: 3836 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(3836) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4136 LinePos:24]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(4136) : error 3 : , at offset 24
near [Index: 39465 (Start: 889738963-Stop: 889738963) ='-', type<22> Line: 4136 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(4136) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4140 LinePos:24]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(4140) : error 3 : , at offset 24
near [Index: 39491 (Start: 889739121-Stop: 889739121) ='-', type<22> Line: 4140 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(4140) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4145 LinePos:24]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(4145) : error 3 : , at offset 24
near [Index: 39522 (Start: 889739319-Stop: 889739319) ='-', type<22> Line: 4145 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(4145) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4150 LinePos:24]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(4150) : error 3 : , at offset 24
near [Index: 39553 (Start: 889739517-Stop: 889739517) ='-', type<22> Line: 4150 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(4150) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4154 LinePos:24]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(4154) : error 3 : , at offset 24
near [Index: 39579 (Start: 889739676-Stop: 889739676) ='-', type<22> Line: 4154 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(4154) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4158 LinePos:24]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(4158) : error 3 : , at offset 24
near [Index: 39605 (Start: 889739833-Stop: 889739833) ='-', type<22> Line: 4158 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(4158) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4162 LinePos:24]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(4162) : error 3 : , at offset 24
near [Index: 39631 (Start: 889739991-Stop: 889739991) ='-', type<22> Line: 4162 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(4162) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4166 LinePos:24]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(4166) : error 3 : , at offset 24
near [Index: 39657 (Start: 889740153-Stop: 889740153) ='-', type<22> Line: 4166 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds8612207254833719826.gal(4166) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4170 LinePos:24]
: Missing '['
/tmp/UpperBounds8612207254833719826.gal(4170) : error 3 : , at offset 24
near [Index: 39683 (Start: 889740316-Stop: 889740316) ='-', type<22> Line: 4170 LinePos:24]
: cannot match to any predicted input...
The parser returned 294 errors, parsing aborted
[2022-05-16 23:15:38] [INFO ] Applying decomposition
[2022-05-16 23:15:38] [INFO ] Flatten gal took : 35 ms
[2022-05-16 23:15:38] [INFO ] Decomposing Gal with order
[2022-05-16 23:15:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-16 23:15:38] [INFO ] Removed a total of 1467 redundant transitions.
[2022-05-16 23:15:38] [INFO ] Flatten gal took : 78 ms
[2022-05-16 23:15:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 32 labels/synchronizations in 18 ms.
[2022-05-16 23:15:38] [INFO ] Time to serialize gal into /tmp/UpperBounds16517733177253957677.gal : 3 ms
[2022-05-16 23:15:38] [INFO ] Time to serialize properties into /tmp/UpperBounds3018607772898782770.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/UpperBounds16517733177253957677.gal, -t, CGAL, -reachable-file, /tmp/UpperBounds3018607772898782770.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/UpperBounds16517733177253957677.gal -t CGAL -reachable-file /tmp/UpperBounds3018607772898782770.prop --nowitness --gen-order FOLLOW
/tmp/UpperBounds16517733177253957677.gal(245) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 245 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(245) : error 3 : , at offset 36
near [Index: 2673 (Start: -1387696722-Stop: -1387696722) ='-', type<22> Line: 245 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(245) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 248 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(248) : error 3 : , at offset 36
near [Index: 2711 (Start: -1387696574-Stop: -1387696574) ='-', type<22> Line: 248 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(248) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 250 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(250) : error 3 : , at offset 36
near [Index: 2739 (Start: -1387696459-Stop: -1387696459) ='-', type<22> Line: 250 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(250) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 253 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(253) : error 3 : , at offset 36
near [Index: 2771 (Start: -1387696330-Stop: -1387696330) ='-', type<22> Line: 253 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(253) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 256 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(256) : error 3 : , at offset 36
near [Index: 2803 (Start: -1387696201-Stop: -1387696201) ='-', type<22> Line: 256 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(256) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 258 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(258) : error 3 : , at offset 36
near [Index: 2831 (Start: -1387696086-Stop: -1387696086) ='-', type<22> Line: 258 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(258) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 261 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(261) : error 3 : , at offset 36
near [Index: 2869 (Start: -1387695938-Stop: -1387695938) ='-', type<22> Line: 261 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(261) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 264 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(264) : error 3 : , at offset 36
near [Index: 2907 (Start: -1387695790-Stop: -1387695790) ='-', type<22> Line: 264 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(264) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 266 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(266) : error 3 : , at offset 36
near [Index: 2935 (Start: -1387695675-Stop: -1387695675) ='-', type<22> Line: 266 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(266) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 269 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(269) : error 3 : , at offset 36
near [Index: 2967 (Start: -1387695546-Stop: -1387695546) ='-', type<22> Line: 269 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 272 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(272) : error 3 : , at offset 36
near [Index: 2999 (Start: -1387695417-Stop: -1387695417) ='-', type<22> Line: 272 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(272) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 274 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(274) : error 3 : , at offset 36
near [Index: 3027 (Start: -1387695302-Stop: -1387695302) ='-', type<22> Line: 274 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(274) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 277 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(277) : error 3 : , at offset 36
near [Index: 3065 (Start: -1387695154-Stop: -1387695154) ='-', type<22> Line: 277 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(277) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 280 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(280) : error 3 : , at offset 36
near [Index: 3103 (Start: -1387695006-Stop: -1387695006) ='-', type<22> Line: 280 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 282 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(282) : error 3 : , at offset 36
near [Index: 3131 (Start: -1387694891-Stop: -1387694891) ='-', type<22> Line: 282 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(282) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 285 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(285) : error 3 : , at offset 36
near [Index: 3163 (Start: -1387694762-Stop: -1387694762) ='-', type<22> Line: 285 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(285) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 288 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(288) : error 3 : , at offset 36
near [Index: 3195 (Start: -1387694633-Stop: -1387694633) ='-', type<22> Line: 288 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(288) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 290 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(290) : error 3 : , at offset 36
near [Index: 3223 (Start: -1387694518-Stop: -1387694518) ='-', type<22> Line: 290 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(290) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 293 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(293) : error 3 : , at offset 36
near [Index: 3261 (Start: -1387694370-Stop: -1387694370) ='-', type<22> Line: 293 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(293) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 296 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(296) : error 3 : , at offset 36
near [Index: 3299 (Start: -1387694222-Stop: -1387694222) ='-', type<22> Line: 296 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(296) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 298 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(298) : error 3 : , at offset 36
near [Index: 3327 (Start: -1387694107-Stop: -1387694107) ='-', type<22> Line: 298 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(298) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 301 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(301) : error 3 : , at offset 36
near [Index: 3359 (Start: -1387693978-Stop: -1387693978) ='-', type<22> Line: 301 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(301) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 304 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(304) : error 3 : , at offset 36
near [Index: 3391 (Start: -1387693849-Stop: -1387693849) ='-', type<22> Line: 304 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(304) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 306 LinePos:36]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(306) : error 3 : , at offset 36
near [Index: 3419 (Start: -1387693734-Stop: -1387693734) ='-', type<22> Line: 306 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(306) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 309 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(309) : error 3 : , at offset 37
near [Index: 3457 (Start: -1387693585-Stop: -1387693585) ='-', type<22> Line: 309 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(309) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 312 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(312) : error 3 : , at offset 37
near [Index: 3495 (Start: -1387693431-Stop: -1387693431) ='-', type<22> Line: 312 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(312) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 314 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(314) : error 3 : , at offset 37
near [Index: 3523 (Start: -1387693312-Stop: -1387693312) ='-', type<22> Line: 314 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(314) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 317 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(317) : error 3 : , at offset 37
near [Index: 3555 (Start: -1387693179-Stop: -1387693179) ='-', type<22> Line: 317 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(317) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 320 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(320) : error 3 : , at offset 37
near [Index: 3587 (Start: -1387693046-Stop: -1387693046) ='-', type<22> Line: 320 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(320) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 322 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(322) : error 3 : , at offset 37
near [Index: 3615 (Start: -1387692927-Stop: -1387692927) ='-', type<22> Line: 322 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(322) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 325 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(325) : error 3 : , at offset 37
near [Index: 3653 (Start: -1387692773-Stop: -1387692773) ='-', type<22> Line: 325 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(325) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 328 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(328) : error 3 : , at offset 37
near [Index: 3691 (Start: -1387692619-Stop: -1387692619) ='-', type<22> Line: 328 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(328) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 330 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(330) : error 3 : , at offset 37
near [Index: 3719 (Start: -1387692500-Stop: -1387692500) ='-', type<22> Line: 330 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(330) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 333 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(333) : error 3 : , at offset 37
near [Index: 3751 (Start: -1387692367-Stop: -1387692367) ='-', type<22> Line: 333 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(333) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 336 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(336) : error 3 : , at offset 37
near [Index: 3783 (Start: -1387692234-Stop: -1387692234) ='-', type<22> Line: 336 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(336) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 338 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(338) : error 3 : , at offset 37
near [Index: 3811 (Start: -1387692115-Stop: -1387692115) ='-', type<22> Line: 338 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(338) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 341 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(341) : error 3 : , at offset 37
near [Index: 3849 (Start: -1387691961-Stop: -1387691961) ='-', type<22> Line: 341 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(341) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 344 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(344) : error 3 : , at offset 37
near [Index: 3887 (Start: -1387691807-Stop: -1387691807) ='-', type<22> Line: 344 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(344) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 346 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(346) : error 3 : , at offset 37
near [Index: 3915 (Start: -1387691688-Stop: -1387691688) ='-', type<22> Line: 346 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(346) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 349 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(349) : error 3 : , at offset 37
near [Index: 3947 (Start: -1387691555-Stop: -1387691555) ='-', type<22> Line: 349 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(349) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 352 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(352) : error 3 : , at offset 37
near [Index: 3979 (Start: -1387691422-Stop: -1387691422) ='-', type<22> Line: 352 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(352) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 354 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(354) : error 3 : , at offset 37
near [Index: 4007 (Start: -1387691303-Stop: -1387691303) ='-', type<22> Line: 354 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(354) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 357 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(357) : error 3 : , at offset 37
near [Index: 4045 (Start: -1387691149-Stop: -1387691149) ='-', type<22> Line: 357 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(357) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 360 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(360) : error 3 : , at offset 37
near [Index: 4083 (Start: -1387690995-Stop: -1387690995) ='-', type<22> Line: 360 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(360) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 362 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(362) : error 3 : , at offset 37
near [Index: 4111 (Start: -1387690876-Stop: -1387690876) ='-', type<22> Line: 362 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(362) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 365 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(365) : error 3 : , at offset 37
near [Index: 4143 (Start: -1387690743-Stop: -1387690743) ='-', type<22> Line: 365 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(365) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 368 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(368) : error 3 : , at offset 37
near [Index: 4175 (Start: -1387690610-Stop: -1387690610) ='-', type<22> Line: 368 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(368) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 370 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(370) : error 3 : , at offset 37
near [Index: 4203 (Start: -1387690491-Stop: -1387690491) ='-', type<22> Line: 370 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(370) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 386 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(386) : error 3 : , at offset 29
near [Index: 4395 (Start: -1387689861-Stop: -1387689861) ='-', type<22> Line: 386 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(386) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 412 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(412) : error 3 : , at offset 29
near [Index: 4711 (Start: -1387688886-Stop: -1387688886) ='-', type<22> Line: 412 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(412) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 455 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(455) : error 3 : , at offset 30
near [Index: 5231 (Start: -1387687247-Stop: -1387687247) ='-', type<22> Line: 455 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(455) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 465 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(465) : error 3 : , at offset 30
near [Index: 5349 (Start: -1387686809-Stop: -1387686809) ='-', type<22> Line: 465 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(465) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 468 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(468) : error 3 : , at offset 29
near [Index: 5389 (Start: -1387686648-Stop: -1387686648) ='-', type<22> Line: 468 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(468) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 494 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(494) : error 3 : , at offset 29
near [Index: 5705 (Start: -1387685673-Stop: -1387685673) ='-', type<22> Line: 494 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(494) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 537 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(537) : error 3 : , at offset 30
near [Index: 6225 (Start: -1387684034-Stop: -1387684034) ='-', type<22> Line: 537 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(537) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 547 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(547) : error 3 : , at offset 30
near [Index: 6343 (Start: -1387683596-Stop: -1387683596) ='-', type<22> Line: 547 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(547) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 550 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(550) : error 3 : , at offset 29
near [Index: 6383 (Start: -1387683435-Stop: -1387683435) ='-', type<22> Line: 550 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(550) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 576 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(576) : error 3 : , at offset 29
near [Index: 6699 (Start: -1387682460-Stop: -1387682460) ='-', type<22> Line: 576 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(576) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 619 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(619) : error 3 : , at offset 30
near [Index: 7219 (Start: -1387680820-Stop: -1387680820) ='-', type<22> Line: 619 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(619) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 629 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(629) : error 3 : , at offset 30
near [Index: 7337 (Start: -1387680381-Stop: -1387680381) ='-', type<22> Line: 629 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(629) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 632 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(632) : error 3 : , at offset 29
near [Index: 7377 (Start: -1387680220-Stop: -1387680220) ='-', type<22> Line: 632 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(632) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 658 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(658) : error 3 : , at offset 29
near [Index: 7693 (Start: -1387679245-Stop: -1387679245) ='-', type<22> Line: 658 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(658) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 701 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(701) : error 3 : , at offset 30
near [Index: 8213 (Start: -1387677606-Stop: -1387677606) ='-', type<22> Line: 701 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(701) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 711 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(711) : error 3 : , at offset 30
near [Index: 8331 (Start: -1387677168-Stop: -1387677168) ='-', type<22> Line: 711 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(711) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 714 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(714) : error 3 : , at offset 29
near [Index: 8371 (Start: -1387677007-Stop: -1387677007) ='-', type<22> Line: 714 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(714) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 740 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(740) : error 3 : , at offset 29
near [Index: 8687 (Start: -1387676032-Stop: -1387676032) ='-', type<22> Line: 740 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(740) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 783 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(783) : error 3 : , at offset 30
near [Index: 9207 (Start: -1387674393-Stop: -1387674393) ='-', type<22> Line: 783 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(783) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 793 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(793) : error 3 : , at offset 30
near [Index: 9325 (Start: -1387673955-Stop: -1387673955) ='-', type<22> Line: 793 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(793) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 796 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(796) : error 3 : , at offset 29
near [Index: 9365 (Start: -1387673794-Stop: -1387673794) ='-', type<22> Line: 796 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(796) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 822 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(822) : error 3 : , at offset 29
near [Index: 9681 (Start: -1387672819-Stop: -1387672819) ='-', type<22> Line: 822 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(822) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 865 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(865) : error 3 : , at offset 30
near [Index: 10201 (Start: -1387671180-Stop: -1387671180) ='-', type<22> Line: 865 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(865) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 875 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(875) : error 3 : , at offset 30
near [Index: 10319 (Start: -1387670742-Stop: -1387670742) ='-', type<22> Line: 875 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(875) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 878 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(878) : error 3 : , at offset 29
near [Index: 10359 (Start: -1387670581-Stop: -1387670581) ='-', type<22> Line: 878 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(878) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 904 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(904) : error 3 : , at offset 29
near [Index: 10675 (Start: -1387669606-Stop: -1387669606) ='-', type<22> Line: 904 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(904) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 947 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(947) : error 3 : , at offset 30
near [Index: 11195 (Start: -1387667966-Stop: -1387667966) ='-', type<22> Line: 947 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(947) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 957 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(957) : error 3 : , at offset 30
near [Index: 11313 (Start: -1387667527-Stop: -1387667527) ='-', type<22> Line: 957 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(957) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 960 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(960) : error 3 : , at offset 29
near [Index: 11353 (Start: -1387667366-Stop: -1387667366) ='-', type<22> Line: 960 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(960) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 986 LinePos:29]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(986) : error 3 : , at offset 29
near [Index: 11669 (Start: -1387666391-Stop: -1387666391) ='-', type<22> Line: 986 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(986) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1029 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1029) : error 3 : , at offset 30
near [Index: 12189 (Start: -1387664751-Stop: -1387664751) ='-', type<22> Line: 1029 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1029) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1039 LinePos:30]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1039) : error 3 : , at offset 30
near [Index: 12307 (Start: -1387664312-Stop: -1387664312) ='-', type<22> Line: 1039 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1039) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1049 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1049) : error 3 : , at offset 37
near [Index: 12431 (Start: -1387663778-Stop: -1387663778) ='-', type<22> Line: 1049 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1049) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1059 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1059) : error 3 : , at offset 37
near [Index: 12549 (Start: -1387663252-Stop: -1387663252) ='-', type<22> Line: 1059 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1059) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1069 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1069) : error 3 : , at offset 37
near [Index: 12667 (Start: -1387662726-Stop: -1387662726) ='-', type<22> Line: 1069 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1069) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1079 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1079) : error 3 : , at offset 37
near [Index: 12785 (Start: -1387662200-Stop: -1387662200) ='-', type<22> Line: 1079 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1079) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1089 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1089) : error 3 : , at offset 37
near [Index: 12903 (Start: -1387661674-Stop: -1387661674) ='-', type<22> Line: 1089 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1089) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1099 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1099) : error 3 : , at offset 37
near [Index: 13021 (Start: -1387661148-Stop: -1387661148) ='-', type<22> Line: 1099 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1099) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1109 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1109) : error 3 : , at offset 37
near [Index: 13139 (Start: -1387660622-Stop: -1387660622) ='-', type<22> Line: 1109 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1109) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1119 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1119) : error 3 : , at offset 37
near [Index: 13257 (Start: -1387660096-Stop: -1387660096) ='-', type<22> Line: 1119 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1119) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1129 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1129) : error 3 : , at offset 37
near [Index: 13375 (Start: -1387659570-Stop: -1387659570) ='-', type<22> Line: 1129 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1129) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1139 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1139) : error 3 : , at offset 37
near [Index: 13493 (Start: -1387659044-Stop: -1387659044) ='-', type<22> Line: 1139 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1139) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1149 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1149) : error 3 : , at offset 37
near [Index: 13611 (Start: -1387658518-Stop: -1387658518) ='-', type<22> Line: 1149 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1149) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1159 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1159) : error 3 : , at offset 37
near [Index: 13729 (Start: -1387657992-Stop: -1387657992) ='-', type<22> Line: 1159 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1159) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1169 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1169) : error 3 : , at offset 37
near [Index: 13847 (Start: -1387657466-Stop: -1387657466) ='-', type<22> Line: 1169 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1169) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1179 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1179) : error 3 : , at offset 37
near [Index: 13965 (Start: -1387656940-Stop: -1387656940) ='-', type<22> Line: 1179 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1179) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1189 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1189) : error 3 : , at offset 37
near [Index: 14083 (Start: -1387656414-Stop: -1387656414) ='-', type<22> Line: 1189 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1189) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1199 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1199) : error 3 : , at offset 37
near [Index: 14201 (Start: -1387655888-Stop: -1387655888) ='-', type<22> Line: 1199 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1199) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1209 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1209) : error 3 : , at offset 37
near [Index: 14319 (Start: -1387655362-Stop: -1387655362) ='-', type<22> Line: 1209 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1209) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1219 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1219) : error 3 : , at offset 37
near [Index: 14437 (Start: -1387654836-Stop: -1387654836) ='-', type<22> Line: 1219 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1219) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1229 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1229) : error 3 : , at offset 37
near [Index: 14555 (Start: -1387654310-Stop: -1387654310) ='-', type<22> Line: 1229 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1229) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1239 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1239) : error 3 : , at offset 37
near [Index: 14673 (Start: -1387653784-Stop: -1387653784) ='-', type<22> Line: 1239 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1239) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1249 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1249) : error 3 : , at offset 37
near [Index: 14791 (Start: -1387653258-Stop: -1387653258) ='-', type<22> Line: 1249 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1249) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1259 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1259) : error 3 : , at offset 37
near [Index: 14909 (Start: -1387652732-Stop: -1387652732) ='-', type<22> Line: 1259 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1259) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1269 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1269) : error 3 : , at offset 37
near [Index: 15027 (Start: -1387652206-Stop: -1387652206) ='-', type<22> Line: 1269 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1279 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1279) : error 3 : , at offset 37
near [Index: 15145 (Start: -1387651680-Stop: -1387651680) ='-', type<22> Line: 1279 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1279) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1289 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1289) : error 3 : , at offset 37
near [Index: 15263 (Start: -1387651154-Stop: -1387651154) ='-', type<22> Line: 1289 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1289) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1299 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1299) : error 3 : , at offset 37
near [Index: 15381 (Start: -1387650628-Stop: -1387650628) ='-', type<22> Line: 1299 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1299) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1309 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1309) : error 3 : , at offset 37
near [Index: 15499 (Start: -1387650102-Stop: -1387650102) ='-', type<22> Line: 1309 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1309) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1319 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1319) : error 3 : , at offset 37
near [Index: 15617 (Start: -1387649576-Stop: -1387649576) ='-', type<22> Line: 1319 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1319) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1329 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1329) : error 3 : , at offset 37
near [Index: 15735 (Start: -1387649050-Stop: -1387649050) ='-', type<22> Line: 1329 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1329) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1339 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1339) : error 3 : , at offset 37
near [Index: 15853 (Start: -1387648524-Stop: -1387648524) ='-', type<22> Line: 1339 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1339) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1349 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1349) : error 3 : , at offset 37
near [Index: 15971 (Start: -1387647998-Stop: -1387647998) ='-', type<22> Line: 1349 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1349) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1359 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1359) : error 3 : , at offset 37
near [Index: 16089 (Start: -1387647472-Stop: -1387647472) ='-', type<22> Line: 1359 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1359) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
ITS-tools command line returned an error code 1
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1369 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1369) : error 3 : , at offset 37
near [Index: 16207 (Start: -1387646946-Stop: -1387646946) ='-', type<22> Line: 1369 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1369) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1379 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1379) : error 3 : , at offset 37
near [Index: 16325 (Start: -1387646420-Stop: -1387646420) ='-', type<22> Line: 1379 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1379) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1389 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1389) : error 3 : , at offset 37
near [Index: 16443 (Start: -1387645894-Stop: -1387645894) ='-', type<22> Line: 1389 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1389) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1399 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1399) : error 3 : , at offset 37
near [Index: 16561 (Start: -1387645368-Stop: -1387645368) ='-', type<22> Line: 1399 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1399) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1409 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1409) : error 3 : , at offset 37
near [Index: 16679 (Start: -1387644842-Stop: -1387644842) ='-', type<22> Line: 1409 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1409) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1419 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1419) : error 3 : , at offset 37
near [Index: 16797 (Start: -1387644316-Stop: -1387644316) ='-', type<22> Line: 1419 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1419) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1429 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1429) : error 3 : , at offset 37
near [Index: 16915 (Start: -1387643790-Stop: -1387643790) ='-', type<22> Line: 1429 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1429) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1439 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1439) : error 3 : , at offset 37
near [Index: 17033 (Start: -1387643264-Stop: -1387643264) ='-', type<22> Line: 1439 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1439) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1449 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1449) : error 3 : , at offset 37
near [Index: 17151 (Start: -1387642738-Stop: -1387642738) ='-', type<22> Line: 1449 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1449) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1459 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1459) : error 3 : , at offset 37
near [Index: 17269 (Start: -1387642212-Stop: -1387642212) ='-', type<22> Line: 1459 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1459) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1469 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1469) : error 3 : , at offset 37
near [Index: 17387 (Start: -1387641686-Stop: -1387641686) ='-', type<22> Line: 1469 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1469) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1479 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1479) : error 3 : , at offset 37
near [Index: 17505 (Start: -1387641160-Stop: -1387641160) ='-', type<22> Line: 1479 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1479) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1489 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1489) : error 3 : , at offset 37
near [Index: 17623 (Start: -1387640634-Stop: -1387640634) ='-', type<22> Line: 1489 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1489) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1499 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1499) : error 3 : , at offset 37
near [Index: 17741 (Start: -1387640108-Stop: -1387640108) ='-', type<22> Line: 1499 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1499) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1509 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1509) : error 3 : , at offset 37
near [Index: 17859 (Start: -1387639582-Stop: -1387639582) ='-', type<22> Line: 1509 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1509) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1519 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1519) : error 3 : , at offset 37
near [Index: 17977 (Start: -1387639056-Stop: -1387639056) ='-', type<22> Line: 1519 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1519) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1529 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1529) : error 3 : , at offset 37
near [Index: 18095 (Start: -1387638530-Stop: -1387638530) ='-', type<22> Line: 1529 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1529) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1539 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1539) : error 3 : , at offset 37
near [Index: 18213 (Start: -1387638004-Stop: -1387638004) ='-', type<22> Line: 1539 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1539) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1549 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1549) : error 3 : , at offset 37
near [Index: 18331 (Start: -1387637478-Stop: -1387637478) ='-', type<22> Line: 1549 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1549) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1559 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1559) : error 3 : , at offset 37
near [Index: 18449 (Start: -1387636952-Stop: -1387636952) ='-', type<22> Line: 1559 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1559) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1569 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1569) : error 3 : , at offset 37
near [Index: 18567 (Start: -1387636426-Stop: -1387636426) ='-', type<22> Line: 1569 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1569) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1579 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1579) : error 3 : , at offset 37
near [Index: 18685 (Start: -1387635900-Stop: -1387635900) ='-', type<22> Line: 1579 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1579) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1589 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1589) : error 3 : , at offset 37
near [Index: 18803 (Start: -1387635374-Stop: -1387635374) ='-', type<22> Line: 1589 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1589) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1599 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1599) : error 3 : , at offset 37
near [Index: 18921 (Start: -1387634848-Stop: -1387634848) ='-', type<22> Line: 1599 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1599) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1609 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1609) : error 3 : , at offset 37
near [Index: 19039 (Start: -1387634322-Stop: -1387634322) ='-', type<22> Line: 1609 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1609) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1619 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1619) : error 3 : , at offset 37
near [Index: 19157 (Start: -1387633796-Stop: -1387633796) ='-', type<22> Line: 1619 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1619) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1629 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1629) : error 3 : , at offset 37
near [Index: 19275 (Start: -1387633270-Stop: -1387633270) ='-', type<22> Line: 1629 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1629) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1639 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1639) : error 3 : , at offset 37
near [Index: 19393 (Start: -1387632744-Stop: -1387632744) ='-', type<22> Line: 1639 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1639) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1649 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1649) : error 3 : , at offset 37
near [Index: 19511 (Start: -1387632218-Stop: -1387632218) ='-', type<22> Line: 1649 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1649) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1659 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1659) : error 3 : , at offset 37
near [Index: 19629 (Start: -1387631692-Stop: -1387631692) ='-', type<22> Line: 1659 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1659) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1669 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1669) : error 3 : , at offset 37
near [Index: 19747 (Start: -1387631166-Stop: -1387631166) ='-', type<22> Line: 1669 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1669) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1679 LinePos:37]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1679) : error 3 : , at offset 37
near [Index: 19865 (Start: -1387630640-Stop: -1387630640) ='-', type<22> Line: 1679 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1679) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1682 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1682) : error 3 : , at offset 23
near [Index: 19897 (Start: -1387630493-Stop: -1387630493) ='-', type<22> Line: 1682 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1682) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1687 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1687) : error 3 : , at offset 23
near [Index: 19928 (Start: -1387630329-Stop: -1387630329) ='-', type<22> Line: 1687 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1687) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1692 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1692) : error 3 : , at offset 23
near [Index: 19959 (Start: -1387630165-Stop: -1387630165) ='-', type<22> Line: 1692 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1692) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1697 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1697) : error 3 : , at offset 23
near [Index: 19990 (Start: -1387630001-Stop: -1387630001) ='-', type<22> Line: 1697 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1697) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1702 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1702) : error 3 : , at offset 23
near [Index: 20021 (Start: -1387629837-Stop: -1387629837) ='-', type<22> Line: 1702 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1702) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1707 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1707) : error 3 : , at offset 23
near [Index: 20052 (Start: -1387629671-Stop: -1387629671) ='-', type<22> Line: 1707 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1707) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1712 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1712) : error 3 : , at offset 23
near [Index: 20083 (Start: -1387629505-Stop: -1387629505) ='-', type<22> Line: 1712 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1712) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1717 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1717) : error 3 : , at offset 23
near [Index: 20114 (Start: -1387629339-Stop: -1387629339) ='-', type<22> Line: 1717 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1717) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1722 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1722) : error 3 : , at offset 23
near [Index: 20145 (Start: -1387629173-Stop: -1387629173) ='-', type<22> Line: 1722 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1722) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1726 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1726) : error 3 : , at offset 23
near [Index: 20171 (Start: -1387629051-Stop: -1387629051) ='-', type<22> Line: 1726 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1726) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1730 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1730) : error 3 : , at offset 23
near [Index: 20197 (Start: -1387628929-Stop: -1387628929) ='-', type<22> Line: 1730 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1730) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1734 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1734) : error 3 : , at offset 23
near [Index: 20223 (Start: -1387628807-Stop: -1387628807) ='-', type<22> Line: 1734 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1734) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1738 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1738) : error 3 : , at offset 23
near [Index: 20249 (Start: -1387628685-Stop: -1387628685) ='-', type<22> Line: 1738 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1738) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1742 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1742) : error 3 : , at offset 23
near [Index: 20275 (Start: -1387628562-Stop: -1387628562) ='-', type<22> Line: 1742 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1742) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1746 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1746) : error 3 : , at offset 23
near [Index: 20301 (Start: -1387628439-Stop: -1387628439) ='-', type<22> Line: 1746 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1746) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1750 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(1750) : error 3 : , at offset 23
near [Index: 20327 (Start: -1387628316-Stop: -1387628316) ='-', type<22> Line: 1750 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(1750) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2234 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(2234) : error 3 : , at offset 23
near [Index: 23233 (Start: -1387615833-Stop: -1387615833) ='-', type<22> Line: 2234 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(2234) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2238 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(2238) : error 3 : , at offset 23
near [Index: 23259 (Start: -1387615711-Stop: -1387615711) ='-', type<22> Line: 2238 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(2238) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2242 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(2242) : error 3 : , at offset 23
near [Index: 23285 (Start: -1387615589-Stop: -1387615589) ='-', type<22> Line: 2242 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(2242) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2246 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(2246) : error 3 : , at offset 23
near [Index: 23311 (Start: -1387615467-Stop: -1387615467) ='-', type<22> Line: 2246 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(2246) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2250 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(2250) : error 3 : , at offset 23
near [Index: 23337 (Start: -1387615344-Stop: -1387615344) ='-', type<22> Line: 2250 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(2250) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2254 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(2254) : error 3 : , at offset 23
near [Index: 23363 (Start: -1387615221-Stop: -1387615221) ='-', type<22> Line: 2254 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(2254) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2259 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(2259) : error 3 : , at offset 23
near [Index: 23394 (Start: -1387615057-Stop: -1387615057) ='-', type<22> Line: 2259 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(2259) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2264 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(2264) : error 3 : , at offset 23
near [Index: 23425 (Start: -1387614893-Stop: -1387614893) ='-', type<22> Line: 2264 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(2264) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2269 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(2269) : error 3 : , at offset 23
near [Index: 23456 (Start: -1387614729-Stop: -1387614729) ='-', type<22> Line: 2269 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(2269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2274 LinePos:23]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(2274) : error 3 : , at offset 23
near [Index: 23487 (Start: -1387614563-Stop: -1387614563) ='-', type<22> Line: 2274 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(2274) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 3423 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(3423) : error 3 : , at offset 24
near [Index: 30326 (Start: -1387582660-Stop: -1387582660) ='-', type<22> Line: 3423 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(3423) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 3427 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(3427) : error 3 : , at offset 24
near [Index: 30352 (Start: -1387582536-Stop: -1387582536) ='-', type<22> Line: 3427 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(3427) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 3431 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(3431) : error 3 : , at offset 24
near [Index: 30378 (Start: -1387582411-Stop: -1387582411) ='-', type<22> Line: 3431 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(3431) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 3435 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(3435) : error 3 : , at offset 24
near [Index: 30404 (Start: -1387582286-Stop: -1387582286) ='-', type<22> Line: 3435 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(3435) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 3440 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(3440) : error 3 : , at offset 24
near [Index: 30435 (Start: -1387582120-Stop: -1387582120) ='-', type<22> Line: 3440 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(3440) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 3445 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(3445) : error 3 : , at offset 24
near [Index: 30466 (Start: -1387581952-Stop: -1387581952) ='-', type<22> Line: 3445 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(3445) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4306 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4306) : error 3 : , at offset 24
near [Index: 35065 (Start: -1387542696-Stop: -1387542696) ='-', type<22> Line: 4306 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4306) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4318 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4318) : error 3 : , at offset 24
near [Index: 35131 (Start: -1387542098-Stop: -1387542098) ='-', type<22> Line: 4318 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4318) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4331 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4331) : error 3 : , at offset 24
near [Index: 35202 (Start: -1387541458-Stop: -1387541458) ='-', type<22> Line: 4331 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4331) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4343 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4343) : error 3 : , at offset 24
near [Index: 35268 (Start: -1387540860-Stop: -1387540860) ='-', type<22> Line: 4343 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4343) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4356 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4356) : error 3 : , at offset 24
near [Index: 35339 (Start: -1387540220-Stop: -1387540220) ='-', type<22> Line: 4356 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4356) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4368 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4368) : error 3 : , at offset 24
near [Index: 35405 (Start: -1387539622-Stop: -1387539622) ='-', type<22> Line: 4368 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4368) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4381 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4381) : error 3 : , at offset 24
near [Index: 35476 (Start: -1387538982-Stop: -1387538982) ='-', type<22> Line: 4381 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4381) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4393 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4393) : error 3 : , at offset 24
near [Index: 35542 (Start: -1387538384-Stop: -1387538384) ='-', type<22> Line: 4393 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4393) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4406 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4406) : error 3 : , at offset 24
near [Index: 35613 (Start: -1387537744-Stop: -1387537744) ='-', type<22> Line: 4406 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4406) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4418 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4418) : error 3 : , at offset 24
near [Index: 35679 (Start: -1387537145-Stop: -1387537145) ='-', type<22> Line: 4418 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4418) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4431 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4431) : error 3 : , at offset 24
near [Index: 35750 (Start: -1387536503-Stop: -1387536503) ='-', type<22> Line: 4431 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4431) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4443 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4443) : error 3 : , at offset 24
near [Index: 35816 (Start: -1387535904-Stop: -1387535904) ='-', type<22> Line: 4443 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4443) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4456 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4456) : error 3 : , at offset 24
near [Index: 35887 (Start: -1387535262-Stop: -1387535262) ='-', type<22> Line: 4456 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4456) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4468 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4468) : error 3 : , at offset 24
near [Index: 35953 (Start: -1387534663-Stop: -1387534663) ='-', type<22> Line: 4468 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4468) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4481 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4481) : error 3 : , at offset 24
near [Index: 36024 (Start: -1387534021-Stop: -1387534021) ='-', type<22> Line: 4481 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds16517733177253957677.gal(4481) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 4493 LinePos:24]
: Missing '['
/tmp/UpperBounds16517733177253957677.gal(4493) : error 3 : , at offset 24
near [Index: 36090 (Start: -1387533422-Stop: -1387533422) ='-', type<22> Line: 4493 LinePos:24]
: cannot match to any predicted input...
The parser returned 384 errors, parsing aborted
[2022-05-16 23:15:38] [INFO ] Flatten gal took : 31 ms
[2022-05-16 23:15:38] [INFO ] Input system was already deterministic with 568 transitions.
[2022-05-16 23:15:38] [INFO ] Transformed 242 places.
[2022-05-16 23:15:38] [INFO ] Transformed 568 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2022-05-16 23:15:38] [INFO ] Time to serialize gal into /tmp/UpperBounds16594377891061615673.gal : 5 ms
[2022-05-16 23:15:38] [INFO ] Time to serialize properties into /tmp/UpperBounds5260655010088467815.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/UpperBounds16594377891061615673.gal, -t, CGAL, -reachable-file, /tmp/UpperBounds5260655010088467815.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --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/UpperBounds16594377891061615673.gal -t CGAL -reachable-file /tmp/UpperBounds5260655010088467815.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/UpperBounds5260655010088467815.prop.
Detected timeout of ITS tools.

BK_STOP 1652744167018

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination UpperBounds -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 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LamportFastMutEx-COL-8"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="gold2021"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2021"
echo " Input is LamportFastMutEx-COL-8, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r143-tall-165271830300145"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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