Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 352K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Apr 26 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 26 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 26 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 26 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 06:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 06:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 07:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 07:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 42K May 5 16:51 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1620876002910

Running Version 0
[2021-05-13 03:20:04] [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]
[2021-05-13 03:20:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 03:20:04] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2021-05-13 03:20:04] [WARNING] Using fallBack plugin, rng conformance not checked
[2021-05-13 03:20:04] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 554 ms
[2021-05-13 03:20:04] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 217 PT places and 525.0 transition bindings in 18 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 5 ms.
[2021-05-13 03:20:04] [INFO ] Built PT skeleton of HLPN with 18 places and 17 transitions in 3 ms.
[2021-05-13 03:20:04] [INFO ] Skeletonized HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1000_4333162014090968166.dot
Reduce places removed 3 places and 0 transitions.
// Phase 1: matrix 17 rows 15 cols
[2021-05-13 03:20:05] [INFO ] Computed 2 place invariants in 9 ms
FORMULA LamportFastMutEx-COL-6-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL CPN_APPROX INITIAL_STATE
FORMULA LamportFastMutEx-COL-6-UpperBounds-05 6 TECHNIQUES TOPOLOGICAL CPN_APPROX INITIAL_STATE
FORMULA LamportFastMutEx-COL-6-UpperBounds-03 6 TECHNIQUES TOPOLOGICAL CPN_APPROX INITIAL_STATE
[2021-05-13 03:20:05] [INFO ] Unfolded HLPN to a Petri net with 217 places and 420 transitions in 15 ms.
[2021-05-13 03:20:05] [INFO ] Unfolded HLPN properties in 1 ms.
// Phase 1: matrix 17 rows 15 cols
[2021-05-13 03:20:05] [INFO ] Computed 2 place invariants in 1 ms
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using 2 positive place invariants in 3 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using state equation in 11 ms returned sat
[2021-05-13 03:20:05] [INFO ] State equation strengthened by 1 read => feed constraints.
[2021-05-13 03:20:05] [INFO ] [Real]Added 1 Read/Feed constraints in 2 ms returned sat
[2021-05-13 03:20:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using state equation in 16 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2021-05-13 03:20:05] [INFO ] Added : 11 causal constraints over 3 iterations in 21 ms. Result :sat
Minimization took 5 ms.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using state equation in 7 ms returned sat
[2021-05-13 03:20:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using state equation in 8 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 7 ms returned sat
[2021-05-13 03:20:05] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2021-05-13 03:20:05] [INFO ] Added : 13 causal constraints over 4 iterations in 12 ms. Result :sat
Minimization took 4 ms.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using state equation in 9 ms returned sat
[2021-05-13 03:20:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2021-05-13 03:20:05] [INFO ] Added : 11 causal constraints over 3 iterations in 14 ms. Result :sat
Minimization took 3 ms.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using state equation in 5 ms returned sat
[2021-05-13 03:20:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using state equation in 6 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2021-05-13 03:20:05] [INFO ] Added : 11 causal constraints over 3 iterations in 10 ms. Result :sat
Minimization took 10 ms.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2021-05-13 03:20:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using state equation in 7 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 2 ms returned sat
[2021-05-13 03:20:05] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 3 ms.
[2021-05-13 03:20:05] [INFO ] Added : 11 causal constraints over 3 iterations in 15 ms. Result :sat
Minimization took 5 ms.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2021-05-13 03:20:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2021-05-13 03:20:05] [INFO ] Added : 11 causal constraints over 3 iterations in 12 ms. Result :sat
Minimization took 10 ms.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using state equation in 7 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Added 1 Read/Feed constraints in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using state equation in 7 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2021-05-13 03:20:05] [INFO ] Added : 11 causal constraints over 3 iterations in 15 ms. Result :sat
Minimization took 4 ms.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using state equation in 5 ms returned sat
[2021-05-13 03:20:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2021-05-13 03:20:05] [INFO ] Added : 11 causal constraints over 3 iterations in 10 ms. Result :sat
Minimization took 4 ms.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2021-05-13 03:20:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using state equation in 5 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2021-05-13 03:20:05] [INFO ] Added : 11 causal constraints over 3 iterations in 9 ms. Result :sat
Minimization took 6 ms.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using 2 positive place invariants in 4 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using state equation in 7 ms returned sat
[2021-05-13 03:20:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using state equation in 6 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2021-05-13 03:20:05] [INFO ] Added : 11 causal constraints over 3 iterations in 11 ms. Result :sat
Minimization took 4 ms.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2021-05-13 03:20:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2021-05-13 03:20:05] [INFO ] Added : 11 causal constraints over 3 iterations in 9 ms. Result :sat
Minimization took 4 ms.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using state equation in 8 ms returned sat
[2021-05-13 03:20:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 03:20:05] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2021-05-13 03:20:05] [INFO ] Added : 11 causal constraints over 3 iterations in 9 ms. Result :sat
Minimization took 4 ms.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Real]Absence check using state equation in 9 ms returned sat
[2021-05-13 03:20:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:05] [INFO ] [Nat]Absence check using state equation in 3 ms returned sat
[2021-05-13 03:20:05] [INFO ] [Nat]Added 1 Read/Feed constraints in 2 ms returned sat
[2021-05-13 03:20:05] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 4 ms.
[2021-05-13 03:20:05] [INFO ] Added : 11 causal constraints over 3 iterations in 11 ms. Result :sat
Minimization took 4 ms.
Current structural bounds on expressions (after SMT) : [6, 6, 6, 36, 6, 36, 6, 6, 6, 6, 6, 6, 6]
[2021-05-13 03:20:05] [INFO ] Unfolded HLPN to a Petri net with 217 places and 420 transitions in 7 ms.
[2021-05-13 03:20:05] [INFO ] Unfolded HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1001_8214874435169389476.dot
Deduced a syphon composed of 41 places in 2 ms
Reduce places removed 41 places and 66 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 78 ms. (steps per millisecond=128 ) properties (out of 13) seen :79
FORMULA LamportFastMutEx-COL-6-UpperBounds-15 6 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-UpperBounds-12 6 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 11) seen :57
FORMULA LamportFastMutEx-COL-6-UpperBounds-08 6 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA LamportFastMutEx-COL-6-UpperBounds-00 6 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 9) seen :59
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 9) seen :72
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 9) seen :32
FORMULA LamportFastMutEx-COL-6-UpperBounds-14 6 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 8) seen :79
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 16 ms. (steps per millisecond=625 ) properties (out of 8) seen :64
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=769 ) properties (out of 8) seen :47
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=714 ) properties (out of 8) seen :27
FORMULA LamportFastMutEx-COL-6-UpperBounds-13 6 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
[2021-05-13 03:20:06] [INFO ] Flow matrix only has 264 transitions (discarded 90 similar events)
// Phase 1: matrix 264 rows 176 cols
[2021-05-13 03:20:06] [INFO ] Computed 50 place invariants in 5 ms
[2021-05-13 03:20:06] [INFO ] [Real]Absence check using 50 positive place invariants in 8 ms returned sat
[2021-05-13 03:20:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:06] [INFO ] [Real]Absence check using state equation in 61 ms returned sat
[2021-05-13 03:20:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:06] [INFO ] [Nat]Absence check using 50 positive place invariants in 11 ms returned sat
[2021-05-13 03:20:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:06] [INFO ] [Nat]Absence check using state equation in 53 ms returned sat
[2021-05-13 03:20:06] [INFO ] State equation strengthened by 84 read => feed constraints.
[2021-05-13 03:20:06] [INFO ] [Nat]Added 84 Read/Feed constraints in 9 ms returned sat
[2021-05-13 03:20:06] [INFO ] Deduced a trap composed of 9 places in 47 ms of which 3 ms to minimize.
[2021-05-13 03:20:06] [INFO ] Deduced a trap composed of 9 places in 53 ms of which 5 ms to minimize.
[2021-05-13 03:20:06] [INFO ] Deduced a trap composed of 9 places in 42 ms of which 1 ms to minimize.
[2021-05-13 03:20:06] [INFO ] Deduced a trap composed of 35 places in 31 ms of which 1 ms to minimize.
[2021-05-13 03:20:06] [INFO ] Deduced a trap composed of 36 places in 34 ms of which 1 ms to minimize.
[2021-05-13 03:20:06] [INFO ] Deduced a trap composed of 13 places in 24 ms of which 1 ms to minimize.
[2021-05-13 03:20:06] [INFO ] Deduced a trap composed of 13 places in 21 ms of which 0 ms to minimize.
[2021-05-13 03:20:06] [INFO ] Deduced a trap composed of 13 places in 23 ms of which 0 ms to minimize.
[2021-05-13 03:20:06] [INFO ] Deduced a trap composed of 13 places in 20 ms of which 1 ms to minimize.
[2021-05-13 03:20:06] [INFO ] Deduced a trap composed of 13 places in 19 ms of which 0 ms to minimize.
[2021-05-13 03:20:06] [INFO ] Deduced a trap composed of 13 places in 20 ms of which 1 ms to minimize.
[2021-05-13 03:20:06] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 11 trap constraints in 425 ms
[2021-05-13 03:20:06] [INFO ] [Real]Absence check using 50 positive place invariants in 13 ms returned sat
[2021-05-13 03:20:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:06] [INFO ] [Real]Absence check using state equation in 51 ms returned sat
[2021-05-13 03:20:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:06] [INFO ] [Nat]Absence check using 50 positive place invariants in 8 ms returned sat
[2021-05-13 03:20:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:06] [INFO ] [Nat]Absence check using state equation in 44 ms returned sat
[2021-05-13 03:20:06] [INFO ] [Nat]Added 84 Read/Feed constraints in 8 ms returned sat
[2021-05-13 03:20:06] [INFO ] Deduced a trap composed of 9 places in 14 ms of which 0 ms to minimize.
[2021-05-13 03:20:06] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 38 ms
[2021-05-13 03:20:06] [INFO ] Computed and/alt/rep : 234/1218/234 causal constraints (skipped 24 transitions) in 19 ms.
[2021-05-13 03:20:07] [INFO ] Added : 61 causal constraints over 13 iterations in 200 ms. Result :sat
Minimization took 65 ms.
[2021-05-13 03:20:07] [INFO ] [Real]Absence check using 50 positive place invariants in 9 ms returned sat
[2021-05-13 03:20:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:07] [INFO ] [Real]Absence check using state equation in 56 ms returned sat
[2021-05-13 03:20:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:07] [INFO ] [Nat]Absence check using 50 positive place invariants in 10 ms returned sat
[2021-05-13 03:20:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:07] [INFO ] [Nat]Absence check using state equation in 47 ms returned sat
[2021-05-13 03:20:07] [INFO ] [Nat]Added 84 Read/Feed constraints in 9 ms returned sat
[2021-05-13 03:20:07] [INFO ] Deduced a trap composed of 11 places in 56 ms of which 0 ms to minimize.
[2021-05-13 03:20:07] [INFO ] Deduced a trap composed of 9 places in 40 ms of which 0 ms to minimize.
[2021-05-13 03:20:07] [INFO ] Deduced a trap composed of 15 places in 41 ms of which 0 ms to minimize.
[2021-05-13 03:20:07] [INFO ] Deduced a trap composed of 18 places in 39 ms of which 0 ms to minimize.
[2021-05-13 03:20:07] [INFO ] Deduced a trap composed of 9 places in 40 ms of which 0 ms to minimize.
[2021-05-13 03:20:07] [INFO ] Deduced a trap composed of 15 places in 43 ms of which 0 ms to minimize.
[2021-05-13 03:20:07] [INFO ] Deduced a trap composed of 15 places in 46 ms of which 0 ms to minimize.
[2021-05-13 03:20:07] [INFO ] Deduced a trap composed of 15 places in 39 ms of which 0 ms to minimize.
[2021-05-13 03:20:07] [INFO ] Deduced a trap composed of 15 places in 38 ms of which 0 ms to minimize.
[2021-05-13 03:20:07] [INFO ] Deduced a trap composed of 14 places in 39 ms of which 1 ms to minimize.
[2021-05-13 03:20:07] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 10 trap constraints in 516 ms
[2021-05-13 03:20:07] [INFO ] [Real]Absence check using 50 positive place invariants in 8 ms returned sat
[2021-05-13 03:20:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:08] [INFO ] [Real]Absence check using state equation in 49 ms returned sat
[2021-05-13 03:20:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:08] [INFO ] [Nat]Absence check using 50 positive place invariants in 8 ms returned sat
[2021-05-13 03:20:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:08] [INFO ] [Nat]Absence check using state equation in 47 ms returned sat
[2021-05-13 03:20:08] [INFO ] [Nat]Added 84 Read/Feed constraints in 9 ms returned sat
[2021-05-13 03:20:08] [INFO ] Deduced a trap composed of 8 places in 11 ms of which 0 ms to minimize.
[2021-05-13 03:20:08] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 25 ms
[2021-05-13 03:20:08] [INFO ] Computed and/alt/rep : 234/1218/234 causal constraints (skipped 24 transitions) in 17 ms.
[2021-05-13 03:20:08] [INFO ] Added : 159 causal constraints over 32 iterations in 494 ms. Result :sat
Minimization took 139 ms.
[2021-05-13 03:20:08] [INFO ] [Real]Absence check using 50 positive place invariants in 9 ms returned sat
[2021-05-13 03:20:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:08] [INFO ] [Real]Absence check using state equation in 49 ms returned sat
[2021-05-13 03:20:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:08] [INFO ] [Nat]Absence check using 50 positive place invariants in 10 ms returned sat
[2021-05-13 03:20:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:08] [INFO ] [Nat]Absence check using state equation in 49 ms returned sat
[2021-05-13 03:20:08] [INFO ] [Nat]Added 84 Read/Feed constraints in 10 ms returned sat
[2021-05-13 03:20:08] [INFO ] Deduced a trap composed of 11 places in 41 ms of which 0 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 9 places in 81 ms of which 0 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 15 places in 38 ms of which 1 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 18 places in 38 ms of which 1 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 9 places in 38 ms of which 0 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 15 places in 38 ms of which 0 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 15 places in 39 ms of which 0 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 15 places in 37 ms of which 0 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 15 places in 41 ms of which 4 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 14 places in 37 ms of which 1 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 10 trap constraints in 518 ms
[2021-05-13 03:20:09] [INFO ] [Real]Absence check using 50 positive place invariants in 9 ms returned sat
[2021-05-13 03:20:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:09] [INFO ] [Real]Absence check using state equation in 48 ms returned sat
[2021-05-13 03:20:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:09] [INFO ] [Nat]Absence check using 50 positive place invariants in 9 ms returned sat
[2021-05-13 03:20:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:09] [INFO ] [Nat]Absence check using state equation in 51 ms returned sat
[2021-05-13 03:20:09] [INFO ] [Nat]Added 84 Read/Feed constraints in 10 ms returned sat
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 44 places in 46 ms of which 1 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 14 places in 54 ms of which 5 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 14 places in 44 ms of which 0 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 9 places in 43 ms of which 1 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 10 places in 44 ms of which 0 ms to minimize.
[2021-05-13 03:20:09] [INFO ] Deduced a trap composed of 26 places in 46 ms of which 1 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 24 places in 42 ms of which 0 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 9 places in 37 ms of which 0 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 9 places in 34 ms of which 0 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 9 places in 33 ms of which 0 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 15 places in 26 ms of which 0 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 17 places in 28 ms of which 0 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 15 places in 26 ms of which 0 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 17 places in 26 ms of which 1 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 19 places in 35 ms of which 0 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 15 places in 25 ms of which 0 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 15 places in 35 ms of which 0 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 8 places in 25 ms of which 0 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 18 trap constraints in 817 ms
[2021-05-13 03:20:10] [INFO ] [Real]Absence check using 50 positive place invariants in 8 ms returned sat
[2021-05-13 03:20:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:10] [INFO ] [Real]Absence check using state equation in 49 ms returned sat
[2021-05-13 03:20:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:10] [INFO ] [Nat]Absence check using 50 positive place invariants in 9 ms returned sat
[2021-05-13 03:20:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:10] [INFO ] [Nat]Absence check using state equation in 50 ms returned sat
[2021-05-13 03:20:10] [INFO ] [Nat]Added 84 Read/Feed constraints in 9 ms returned sat
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 22 places in 55 ms of which 1 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 9 places in 52 ms of which 0 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 35 places in 52 ms of which 0 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 41 places in 51 ms of which 1 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 9 places in 60 ms of which 7 ms to minimize.
[2021-05-13 03:20:10] [INFO ] Deduced a trap composed of 18 places in 54 ms of which 0 ms to minimize.
[2021-05-13 03:20:11] [INFO ] Deduced a trap composed of 9 places in 65 ms of which 0 ms to minimize.
[2021-05-13 03:20:11] [INFO ] Deduced a trap composed of 14 places in 50 ms of which 0 ms to minimize.
[2021-05-13 03:20:11] [INFO ] Deduced a trap composed of 36 places in 50 ms of which 1 ms to minimize.
[2021-05-13 03:20:11] [INFO ] Deduced a trap composed of 33 places in 50 ms of which 0 ms to minimize.
[2021-05-13 03:20:11] [INFO ] Deduced a trap composed of 9 places in 49 ms of which 0 ms to minimize.
[2021-05-13 03:20:11] [INFO ] Deduced a trap composed of 15 places in 51 ms of which 0 ms to minimize.
[2021-05-13 03:20:11] [INFO ] Deduced a trap composed of 14 places in 51 ms of which 0 ms to minimize.
[2021-05-13 03:20:11] [INFO ] Deduced a trap composed of 9 places in 50 ms of which 0 ms to minimize.
[2021-05-13 03:20:11] [INFO ] Deduced a trap composed of 8 places in 50 ms of which 1 ms to minimize.
[2021-05-13 03:20:11] [INFO ] Deduced a trap composed of 14 places in 40 ms of which 1 ms to minimize.
[2021-05-13 03:20:11] [INFO ] Deduced a trap composed of 8 places in 42 ms of which 0 ms to minimize.
[2021-05-13 03:20:11] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 17 trap constraints in 1006 ms
Current structural bounds on expressions (after SMT) : [5, 6, 30, 6, 30, 5, 5] Max seen :[5, 1, 30, 4, 30, 5, 5]
FORMULA LamportFastMutEx-COL-6-UpperBounds-10 5 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-UpperBounds-09 5 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-UpperBounds-07 30 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-UpperBounds-04 30 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-UpperBounds-01 5 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Incomplete Parikh walk after 48100 steps, including 999 resets, run finished after 189 ms. (steps per millisecond=254 ) properties (out of 2) seen :6 could not realise parikh vector
Incomplete Parikh walk after 57600 steps, including 1000 resets, run finished after 173 ms. (steps per millisecond=332 ) properties (out of 2) seen :5 could not realise parikh vector
Support contains 12 out of 176 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 176/176 places, 354/354 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 1 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 0 with 12 rules applied. Total rules applied 12 place count 170 transition count 348
Free-agglomeration rule (complex) applied 6 times.
Iterating global reduction 0 with 6 rules applied. Total rules applied 18 place count 170 transition count 342
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 24 place count 164 transition count 342
Applied a total of 24 rules in 59 ms. Remains 164 /176 variables (removed 12) and now considering 342/354 (removed 12) transitions.
Finished structural reductions, in 1 iterations. Remains : 164/176 places, 342/354 transitions.
Normalized transition count is 252 out of 342 initially.
// Phase 1: matrix 252 rows 164 cols
[2021-05-13 03:20:12] [INFO ] Computed 50 place invariants in 7 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 2967 ms. (steps per millisecond=337 ) properties (out of 2) seen :6
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 853 ms. (steps per millisecond=1172 ) properties (out of 2) seen :6
Incomplete Best-First random walk after 1000000 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1216 ) properties (out of 2) seen :2
[2021-05-13 03:20:16] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 164 cols
[2021-05-13 03:20:16] [INFO ] Computed 50 place invariants in 5 ms
[2021-05-13 03:20:16] [INFO ] [Real]Absence check using 50 positive place invariants in 11 ms returned sat
[2021-05-13 03:20:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:16] [INFO ] [Real]Absence check using state equation in 46 ms returned sat
[2021-05-13 03:20:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:16] [INFO ] [Nat]Absence check using 50 positive place invariants in 8 ms returned sat
[2021-05-13 03:20:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:16] [INFO ] [Nat]Absence check using state equation in 47 ms returned sat
[2021-05-13 03:20:16] [INFO ] State equation strengthened by 84 read => feed constraints.
[2021-05-13 03:20:16] [INFO ] [Nat]Added 84 Read/Feed constraints in 8 ms returned sat
[2021-05-13 03:20:16] [INFO ] Deduced a trap composed of 6 places in 22 ms of which 4 ms to minimize.
[2021-05-13 03:20:16] [INFO ] Deduced a trap composed of 7 places in 11 ms of which 0 ms to minimize.
[2021-05-13 03:20:16] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 53 ms
[2021-05-13 03:20:16] [INFO ] Computed and/alt/rep : 216/1194/216 causal constraints (skipped 30 transitions) in 19 ms.
[2021-05-13 03:20:17] [INFO ] Added : 53 causal constraints over 11 iterations in 186 ms. Result :sat
Minimization took 72 ms.
[2021-05-13 03:20:17] [INFO ] [Real]Absence check using 50 positive place invariants in 9 ms returned sat
[2021-05-13 03:20:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:17] [INFO ] [Real]Absence check using state equation in 48 ms returned sat
[2021-05-13 03:20:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:17] [INFO ] [Nat]Absence check using 50 positive place invariants in 8 ms returned sat
[2021-05-13 03:20:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:17] [INFO ] [Nat]Absence check using state equation in 48 ms returned sat
[2021-05-13 03:20:17] [INFO ] [Nat]Added 84 Read/Feed constraints in 9 ms returned sat
[2021-05-13 03:20:17] [INFO ] Deduced a trap composed of 7 places in 38 ms of which 1 ms to minimize.
[2021-05-13 03:20:17] [INFO ] Deduced a trap composed of 7 places in 33 ms of which 0 ms to minimize.
[2021-05-13 03:20:17] [INFO ] Deduced a trap composed of 6 places in 24 ms of which 0 ms to minimize.
[2021-05-13 03:20:17] [INFO ] Deduced a trap composed of 6 places in 19 ms of which 1 ms to minimize.
[2021-05-13 03:20:17] [INFO ] Deduced a trap composed of 7 places in 12 ms of which 0 ms to minimize.
[2021-05-13 03:20:17] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 170 ms
[2021-05-13 03:20:17] [INFO ] Computed and/alt/rep : 216/1194/216 causal constraints (skipped 30 transitions) in 17 ms.
[2021-05-13 03:20:18] [INFO ] Deduced a trap composed of 35 places in 60 ms of which 1 ms to minimize.
[2021-05-13 03:20:18] [INFO ] Deduced a trap composed of 38 places in 66 ms of which 1 ms to minimize.
[2021-05-13 03:20:18] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 170 ms
[2021-05-13 03:20:18] [INFO ] Added : 161 causal constraints over 33 iterations in 694 ms. Result :sat
Minimization took 81 ms.
Current structural bounds on expressions (after SMT) : [6, 6] Max seen :[1, 5]
Incomplete Parikh walk after 37000 steps, including 910 resets, run finished after 124 ms. (steps per millisecond=298 ) properties (out of 2) seen :5 could not realise parikh vector
Incomplete Parikh walk after 38800 steps, including 982 resets, run finished after 121 ms. (steps per millisecond=320 ) properties (out of 2) seen :6 could not realise parikh vector
Support contains 12 out of 164 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 164/164 places, 342/342 transitions.
Applied a total of 0 rules in 18 ms. Remains 164 /164 variables (removed 0) and now considering 342/342 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 164/164 places, 342/342 transitions.
Starting structural reductions, iteration 0 : 164/164 places, 342/342 transitions.
Applied a total of 0 rules in 11 ms. Remains 164 /164 variables (removed 0) and now considering 342/342 (removed 0) transitions.
[2021-05-13 03:20:18] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 164 cols
[2021-05-13 03:20:18] [INFO ] Computed 50 place invariants in 2 ms
[2021-05-13 03:20:18] [INFO ] Implicit Places using invariants in 137 ms returned [104, 105, 106, 107, 108, 109]
Discarding 6 places :
Implicit Place search using SMT only with invariants took 139 ms to find 6 implicit places.
[2021-05-13 03:20:18] [INFO ] Redundant transitions in 18 ms returned []
[2021-05-13 03:20:18] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:18] [INFO ] Computed 44 place invariants in 2 ms
[2021-05-13 03:20:18] [INFO ] Dead Transitions using invariants and state equation in 124 ms returned []
Starting structural reductions, iteration 1 : 158/164 places, 342/342 transitions.
Applied a total of 0 rules in 11 ms. Remains 158 /158 variables (removed 0) and now considering 342/342 (removed 0) transitions.
[2021-05-13 03:20:18] [INFO ] Redundant transitions in 5 ms returned []
[2021-05-13 03:20:18] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:18] [INFO ] Computed 44 place invariants in 1 ms
[2021-05-13 03:20:19] [INFO ] Dead Transitions using invariants and state equation in 126 ms returned []
Finished structural reductions, in 2 iterations. Remains : 158/164 places, 342/342 transitions.
Normalized transition count is 252 out of 342 initially.
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:19] [INFO ] Computed 44 place invariants in 7 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 2842 ms. (steps per millisecond=351 ) properties (out of 2) seen :6
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 829 ms. (steps per millisecond=1206 ) properties (out of 2) seen :5
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 814 ms. (steps per millisecond=1228 ) properties (out of 2) seen :2
[2021-05-13 03:20:23] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:23] [INFO ] Computed 44 place invariants in 1 ms
[2021-05-13 03:20:23] [INFO ] [Real]Absence check using 44 positive place invariants in 7 ms returned sat
[2021-05-13 03:20:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:23] [INFO ] [Real]Absence check using state equation in 46 ms returned sat
[2021-05-13 03:20:23] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:23] [INFO ] [Nat]Absence check using 44 positive place invariants in 7 ms returned sat
[2021-05-13 03:20:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:23] [INFO ] [Nat]Absence check using state equation in 46 ms returned sat
[2021-05-13 03:20:23] [INFO ] State equation strengthened by 48 read => feed constraints.
[2021-05-13 03:20:23] [INFO ] [Nat]Added 48 Read/Feed constraints in 6 ms returned sat
[2021-05-13 03:20:23] [INFO ] Deduced a trap composed of 7 places in 49 ms of which 0 ms to minimize.
[2021-05-13 03:20:23] [INFO ] Deduced a trap composed of 36 places in 46 ms of which 0 ms to minimize.
[2021-05-13 03:20:23] [INFO ] Deduced a trap composed of 21 places in 49 ms of which 0 ms to minimize.
[2021-05-13 03:20:23] [INFO ] Deduced a trap composed of 9 places in 10 ms of which 0 ms to minimize.
[2021-05-13 03:20:23] [INFO ] Deduced a trap composed of 33 places in 49 ms of which 0 ms to minimize.
[2021-05-13 03:20:23] [INFO ] Deduced a trap composed of 37 places in 46 ms of which 0 ms to minimize.
[2021-05-13 03:20:24] [INFO ] Deduced a trap composed of 26 places in 46 ms of which 0 ms to minimize.
[2021-05-13 03:20:24] [INFO ] Deduced a trap composed of 22 places in 46 ms of which 1 ms to minimize.
[2021-05-13 03:20:24] [INFO ] Deduced a trap composed of 23 places in 45 ms of which 1 ms to minimize.
[2021-05-13 03:20:24] [INFO ] Deduced a trap composed of 8 places in 44 ms of which 0 ms to minimize.
[2021-05-13 03:20:24] [INFO ] Deduced a trap composed of 37 places in 43 ms of which 0 ms to minimize.
[2021-05-13 03:20:24] [INFO ] Deduced a trap composed of 23 places in 43 ms of which 0 ms to minimize.
[2021-05-13 03:20:24] [INFO ] Deduced a trap composed of 21 places in 43 ms of which 0 ms to minimize.
[2021-05-13 03:20:24] [INFO ] Deduced a trap composed of 34 places in 49 ms of which 0 ms to minimize.
[2021-05-13 03:20:24] [INFO ] Deduced a trap composed of 33 places in 48 ms of which 0 ms to minimize.
[2021-05-13 03:20:24] [INFO ] Deduced a trap composed of 31 places in 52 ms of which 0 ms to minimize.
[2021-05-13 03:20:24] [INFO ] Deduced a trap composed of 9 places in 45 ms of which 0 ms to minimize.
[2021-05-13 03:20:24] [INFO ] Trap strengthening (SAT) tested/added 18/17 trap constraints in 883 ms
[2021-05-13 03:20:24] [INFO ] Computed and/alt/rep : 216/1122/216 causal constraints (skipped 30 transitions) in 22 ms.
[2021-05-13 03:20:25] [INFO ] Deduced a trap composed of 9 places in 46 ms of which 1 ms to minimize.
[2021-05-13 03:20:25] [INFO ] Deduced a trap composed of 26 places in 46 ms of which 0 ms to minimize.
[2021-05-13 03:20:25] [INFO ] Deduced a trap composed of 31 places in 44 ms of which 0 ms to minimize.
[2021-05-13 03:20:25] [INFO ] Deduced a trap composed of 24 places in 48 ms of which 0 ms to minimize.
[2021-05-13 03:20:25] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 267 ms
[2021-05-13 03:20:25] [INFO ] Added : 174 causal constraints over 35 iterations in 856 ms. Result :sat
Minimization took 321 ms.
[2021-05-13 03:20:25] [INFO ] [Real]Absence check using 44 positive place invariants in 7 ms returned sat
[2021-05-13 03:20:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:25] [INFO ] [Real]Absence check using state equation in 38 ms returned sat
[2021-05-13 03:20:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:25] [INFO ] [Nat]Absence check using 44 positive place invariants in 7 ms returned sat
[2021-05-13 03:20:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:25] [INFO ] [Nat]Absence check using state equation in 45 ms returned sat
[2021-05-13 03:20:25] [INFO ] [Nat]Added 48 Read/Feed constraints in 6 ms returned sat
[2021-05-13 03:20:25] [INFO ] Deduced a trap composed of 7 places in 22 ms of which 0 ms to minimize.
[2021-05-13 03:20:25] [INFO ] Deduced a trap composed of 7 places in 17 ms of which 0 ms to minimize.
[2021-05-13 03:20:25] [INFO ] Deduced a trap composed of 7 places in 10 ms of which 0 ms to minimize.
[2021-05-13 03:20:25] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 76 ms
[2021-05-13 03:20:25] [INFO ] Computed and/alt/rep : 216/1122/216 causal constraints (skipped 30 transitions) in 17 ms.
[2021-05-13 03:20:26] [INFO ] Deduced a trap composed of 32 places in 55 ms of which 0 ms to minimize.
[2021-05-13 03:20:26] [INFO ] Deduced a trap composed of 7 places in 55 ms of which 0 ms to minimize.
[2021-05-13 03:20:26] [INFO ] Deduced a trap composed of 38 places in 55 ms of which 0 ms to minimize.
[2021-05-13 03:20:26] [INFO ] Deduced a trap composed of 35 places in 55 ms of which 1 ms to minimize.
[2021-05-13 03:20:26] [INFO ] Deduced a trap composed of 7 places in 55 ms of which 0 ms to minimize.
[2021-05-13 03:20:26] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 378 ms
[2021-05-13 03:20:26] [INFO ] Added : 195 causal constraints over 39 iterations in 997 ms. Result :sat
Minimization took 102 ms.
Current structural bounds on expressions (after SMT) : [6, 6] Max seen :[1, 5]
Incomplete Parikh walk after 97800 steps, including 1000 resets, run finished after 264 ms. (steps per millisecond=370 ) properties (out of 2) seen :6 could not realise parikh vector
Incomplete Parikh walk after 34800 steps, including 972 resets, run finished after 104 ms. (steps per millisecond=334 ) properties (out of 2) seen :6 could not realise parikh vector
Support contains 12 out of 158 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 158/158 places, 342/342 transitions.
Applied a total of 0 rules in 10 ms. Remains 158 /158 variables (removed 0) and now considering 342/342 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 158/158 places, 342/342 transitions.
Starting structural reductions, iteration 0 : 158/158 places, 342/342 transitions.
Applied a total of 0 rules in 8 ms. Remains 158 /158 variables (removed 0) and now considering 342/342 (removed 0) transitions.
[2021-05-13 03:20:27] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:27] [INFO ] Computed 44 place invariants in 1 ms
[2021-05-13 03:20:27] [INFO ] Implicit Places using invariants in 90 ms returned []
[2021-05-13 03:20:27] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:27] [INFO ] Computed 44 place invariants in 2 ms
[2021-05-13 03:20:27] [INFO ] State equation strengthened by 48 read => feed constraints.
[2021-05-13 03:20:27] [INFO ] Implicit Places using invariants and state equation in 250 ms returned []
Implicit Place search using SMT with State Equation took 342 ms to find 0 implicit places.
[2021-05-13 03:20:27] [INFO ] Redundant transitions in 5 ms returned []
[2021-05-13 03:20:27] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:27] [INFO ] Computed 44 place invariants in 1 ms
[2021-05-13 03:20:27] [INFO ] Dead Transitions using invariants and state equation in 122 ms returned []
Finished structural reductions, in 1 iterations. Remains : 158/158 places, 342/342 transitions.
Starting property specific reduction for LamportFastMutEx-COL-6-UpperBounds-02
Normalized transition count is 252 out of 342 initially.
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:27] [INFO ] Computed 44 place invariants in 1 ms
Incomplete random walk after 10000 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 1) seen :1
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=1000 ) properties (out of 1) seen :1
[2021-05-13 03:20:27] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:27] [INFO ] Computed 44 place invariants in 1 ms
[2021-05-13 03:20:28] [INFO ] [Real]Absence check using 44 positive place invariants in 6 ms returned sat
[2021-05-13 03:20:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:28] [INFO ] [Real]Absence check using state equation in 44 ms returned sat
[2021-05-13 03:20:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:28] [INFO ] [Nat]Absence check using 44 positive place invariants in 7 ms returned sat
[2021-05-13 03:20:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:28] [INFO ] [Nat]Absence check using state equation in 45 ms returned sat
[2021-05-13 03:20:28] [INFO ] State equation strengthened by 48 read => feed constraints.
[2021-05-13 03:20:28] [INFO ] [Nat]Added 48 Read/Feed constraints in 6 ms returned sat
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 7 places in 48 ms of which 1 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 36 places in 45 ms of which 0 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 21 places in 48 ms of which 1 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 9 places in 11 ms of which 0 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 33 places in 49 ms of which 1 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 37 places in 44 ms of which 1 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 26 places in 45 ms of which 0 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 22 places in 45 ms of which 1 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 23 places in 44 ms of which 0 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 8 places in 47 ms of which 1 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 37 places in 43 ms of which 1 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 23 places in 43 ms of which 0 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 21 places in 42 ms of which 1 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 34 places in 48 ms of which 1 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 33 places in 48 ms of which 1 ms to minimize.
[2021-05-13 03:20:28] [INFO ] Deduced a trap composed of 31 places in 53 ms of which 1 ms to minimize.
[2021-05-13 03:20:29] [INFO ] Deduced a trap composed of 9 places in 44 ms of which 0 ms to minimize.
[2021-05-13 03:20:29] [INFO ] Trap strengthening (SAT) tested/added 18/17 trap constraints in 874 ms
[2021-05-13 03:20:29] [INFO ] Computed and/alt/rep : 216/1122/216 causal constraints (skipped 30 transitions) in 15 ms.
[2021-05-13 03:20:29] [INFO ] Deduced a trap composed of 9 places in 46 ms of which 1 ms to minimize.
[2021-05-13 03:20:29] [INFO ] Deduced a trap composed of 26 places in 45 ms of which 0 ms to minimize.
[2021-05-13 03:20:29] [INFO ] Deduced a trap composed of 31 places in 44 ms of which 1 ms to minimize.
[2021-05-13 03:20:29] [INFO ] Deduced a trap composed of 24 places in 44 ms of which 1 ms to minimize.
[2021-05-13 03:20:29] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 265 ms
[2021-05-13 03:20:29] [INFO ] Added : 174 causal constraints over 35 iterations in 847 ms. Result :sat
Minimization took 319 ms.
Current structural bounds on expressions (after SMT) : [6] Max seen :[1]
Incomplete Parikh walk after 34800 steps, including 979 resets, run finished after 103 ms. (steps per millisecond=337 ) properties (out of 1) seen :1 could not realise parikh vector
Support contains 6 out of 158 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 158/158 places, 342/342 transitions.
Applied a total of 0 rules in 12 ms. Remains 158 /158 variables (removed 0) and now considering 342/342 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 158/158 places, 342/342 transitions.
Normalized transition count is 252 out of 342 initially.
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:30] [INFO ] Computed 44 place invariants in 1 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 2772 ms. (steps per millisecond=360 ) properties (out of 1) seen :1
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 817 ms. (steps per millisecond=1223 ) properties (out of 1) seen :1
[2021-05-13 03:20:33] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:33] [INFO ] Computed 44 place invariants in 1 ms
[2021-05-13 03:20:33] [INFO ] [Real]Absence check using 44 positive place invariants in 7 ms returned sat
[2021-05-13 03:20:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:33] [INFO ] [Real]Absence check using state equation in 46 ms returned sat
[2021-05-13 03:20:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:34] [INFO ] [Nat]Absence check using 44 positive place invariants in 7 ms returned sat
[2021-05-13 03:20:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:34] [INFO ] [Nat]Absence check using state equation in 45 ms returned sat
[2021-05-13 03:20:34] [INFO ] State equation strengthened by 48 read => feed constraints.
[2021-05-13 03:20:34] [INFO ] [Nat]Added 48 Read/Feed constraints in 6 ms returned sat
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 7 places in 49 ms of which 1 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 36 places in 46 ms of which 0 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 21 places in 49 ms of which 0 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 9 places in 11 ms of which 0 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 33 places in 50 ms of which 0 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 37 places in 45 ms of which 1 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 26 places in 45 ms of which 0 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 22 places in 46 ms of which 1 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 23 places in 44 ms of which 0 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 8 places in 44 ms of which 0 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 37 places in 47 ms of which 0 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 23 places in 43 ms of which 0 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 21 places in 43 ms of which 0 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 34 places in 48 ms of which 1 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 33 places in 48 ms of which 0 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 31 places in 52 ms of which 1 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Deduced a trap composed of 9 places in 45 ms of which 1 ms to minimize.
[2021-05-13 03:20:34] [INFO ] Trap strengthening (SAT) tested/added 18/17 trap constraints in 888 ms
[2021-05-13 03:20:34] [INFO ] Computed and/alt/rep : 216/1122/216 causal constraints (skipped 30 transitions) in 14 ms.
[2021-05-13 03:20:35] [INFO ] Deduced a trap composed of 9 places in 47 ms of which 0 ms to minimize.
[2021-05-13 03:20:35] [INFO ] Deduced a trap composed of 26 places in 46 ms of which 0 ms to minimize.
[2021-05-13 03:20:35] [INFO ] Deduced a trap composed of 31 places in 44 ms of which 0 ms to minimize.
[2021-05-13 03:20:35] [INFO ] Deduced a trap composed of 24 places in 43 ms of which 0 ms to minimize.
[2021-05-13 03:20:35] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 263 ms
[2021-05-13 03:20:35] [INFO ] Added : 174 causal constraints over 35 iterations in 850 ms. Result :sat
Minimization took 315 ms.
Current structural bounds on expressions (after SMT) : [6] Max seen :[1]
Incomplete Parikh walk after 34800 steps, including 970 resets, run finished after 102 ms. (steps per millisecond=341 ) properties (out of 1) seen :1 could not realise parikh vector
Support contains 6 out of 158 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 158/158 places, 342/342 transitions.
Applied a total of 0 rules in 9 ms. Remains 158 /158 variables (removed 0) and now considering 342/342 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 158/158 places, 342/342 transitions.
Starting structural reductions, iteration 0 : 158/158 places, 342/342 transitions.
Applied a total of 0 rules in 7 ms. Remains 158 /158 variables (removed 0) and now considering 342/342 (removed 0) transitions.
[2021-05-13 03:20:36] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:36] [INFO ] Computed 44 place invariants in 1 ms
[2021-05-13 03:20:36] [INFO ] Implicit Places using invariants in 93 ms returned []
[2021-05-13 03:20:36] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:36] [INFO ] Computed 44 place invariants in 0 ms
[2021-05-13 03:20:36] [INFO ] State equation strengthened by 48 read => feed constraints.
[2021-05-13 03:20:36] [INFO ] Implicit Places using invariants and state equation in 239 ms returned []
Implicit Place search using SMT with State Equation took 334 ms to find 0 implicit places.
[2021-05-13 03:20:36] [INFO ] Redundant transitions in 2 ms returned []
[2021-05-13 03:20:36] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:36] [INFO ] Computed 44 place invariants in 2 ms
[2021-05-13 03:20:36] [INFO ] Dead Transitions using invariants and state equation in 119 ms returned []
Finished structural reductions, in 1 iterations. Remains : 158/158 places, 342/342 transitions.
Ending property specific reduction for LamportFastMutEx-COL-6-UpperBounds-02 in 8755 ms.
Starting property specific reduction for LamportFastMutEx-COL-6-UpperBounds-06
Normalized transition count is 252 out of 342 initially.
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:36] [INFO ] Computed 44 place invariants in 1 ms
Incomplete random walk after 10000 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 1) seen :4
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
[2021-05-13 03:20:36] [INFO ] Flow matrix only has 252 transitions (discarded 90 similar events)
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:36] [INFO ] Computed 44 place invariants in 2 ms
[2021-05-13 03:20:36] [INFO ] [Real]Absence check using 44 positive place invariants in 7 ms returned sat
[2021-05-13 03:20:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:36] [INFO ] [Real]Absence check using state equation in 45 ms returned sat
[2021-05-13 03:20:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:20:36] [INFO ] [Nat]Absence check using 44 positive place invariants in 7 ms returned sat
[2021-05-13 03:20:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:20:36] [INFO ] [Nat]Absence check using state equation in 44 ms returned sat
[2021-05-13 03:20:36] [INFO ] State equation strengthened by 48 read => feed constraints.
[2021-05-13 03:20:36] [INFO ] [Nat]Added 48 Read/Feed constraints in 6 ms returned sat
[2021-05-13 03:20:36] [INFO ] Deduced a trap composed of 7 places in 18 ms of which 1 ms to minimize.
[2021-05-13 03:20:36] [INFO ] Deduced a trap composed of 7 places in 11 ms of which 0 ms to minimize.
[2021-05-13 03:20:36] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 48 ms
[2021-05-13 03:20:36] [INFO ] Computed and/alt/rep : 216/1122/216 causal constraints (skipped 30 transitions) in 14 ms.
[2021-05-13 03:20:37] [INFO ] Added : 136 causal constraints over 28 iterations in 392 ms. Result :sat
Minimization took 107 ms.
Current structural bounds on expressions (after SMT) : [6] Max seen :[4]
Incomplete Parikh walk after 45300 steps, including 974 resets, run finished after 140 ms. (steps per millisecond=323 ) properties (out of 1) seen :5 could not realise parikh vector
Support contains 6 out of 158 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 158/158 places, 342/342 transitions.
Applied a total of 0 rules in 6 ms. Remains 158 /158 variables (removed 0) and now considering 342/342 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 158/158 places, 342/342 transitions.
Normalized transition count is 252 out of 342 initially.
// Phase 1: matrix 252 rows 158 cols
[2021-05-13 03:20:37] [INFO ] Computed 44 place invariants in 1 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 2779 ms. (steps per millisecond=359 ) properties (out of 1) seen :6
FORMULA LamportFastMutEx-COL-6-UpperBounds-06 6 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Ending property specific reduction for LamportFastMutEx-COL-6-UpperBounds-06 in 3679 ms.
[2021-05-13 03:20:40] [INFO ] Flatten gal took : 57 ms
[2021-05-13 03:20:40] [INFO ] Applying decomposition
[2021-05-13 03:20:40] [INFO ] Flatten gal took : 30 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/graph6894797695064180607.txt, -o, /tmp/graph6894797695064180607.bin, -w, /tmp/graph6894797695064180607.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/graph6894797695064180607.bin, -l, -1, -v, -w, /tmp/graph6894797695064180607.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-13 03:20:40] [INFO ] Decomposing Gal with order
[2021-05-13 03:20:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-13 03:20:40] [INFO ] Removed a total of 483 redundant transitions.
[2021-05-13 03:20:40] [INFO ] Flatten gal took : 60 ms
[2021-05-13 03:20:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 73 labels/synchronizations in 9 ms.
[2021-05-13 03:20:40] [INFO ] Time to serialize gal into /tmp/UpperBounds13958438488476612057.gal : 8 ms
[2021-05-13 03:20:40] [INFO ] Time to serialize properties into /tmp/UpperBounds5419562212078191320.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/UpperBounds13958438488476612057.gal, -t, CGAL, -reachable-file, /tmp/UpperBounds5419562212078191320.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/UpperBounds13958438488476612057.gal -t CGAL -reachable-file /tmp/UpperBounds5419562212078191320.prop --nowitness --gen-order FOLLOW
/tmp/UpperBounds13958438488476612057.gal(185) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 185 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(185) : error 3 : , at offset 28
near [Index: 2323 (Start: 20058488-Stop: 20058488) ='-', type<22> Line: 185 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(185) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 212 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(212) : error 3 : , at offset 28
near [Index: 2645 (Start: 20059479-Stop: 20059479) ='-', type<22> Line: 212 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(212) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 239 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(239) : error 3 : , at offset 28
near [Index: 2967 (Start: 20060470-Stop: 20060470) ='-', type<22> Line: 239 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(239) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 242 LinePos:31]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(242) : error 3 : , at offset 31
near [Index: 3009 (Start: 20060627-Stop: 20060627) ='-', type<22> Line: 242 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(242) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 270 LinePos:31]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(270) : error 3 : , at offset 31
near [Index: 3397 (Start: 20061691-Stop: 20061691) ='-', type<22> Line: 270 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(270) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 280 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(280) : error 3 : , at offset 32
near [Index: 3543 (Start: 20062142-Stop: 20062142) ='-', type<22> Line: 280 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 285 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(285) : error 3 : , at offset 32
near [Index: 3623 (Start: 20062367-Stop: 20062367) ='-', type<22> Line: 285 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(285) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 288 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(288) : error 3 : , at offset 32
near [Index: 3679 (Start: 20062534-Stop: 20062534) ='-', type<22> Line: 288 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(288) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 291 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(291) : error 3 : , at offset 32
near [Index: 3723 (Start: 20062671-Stop: 20062671) ='-', type<22> Line: 291 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(291) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 326 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(326) : error 3 : , at offset 33
near [Index: 4207 (Start: 20064130-Stop: 20064130) ='-', type<22> Line: 326 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(326) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 329 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(329) : error 3 : , at offset 33
near [Index: 4251 (Start: 20064270-Stop: 20064270) ='-', type<22> Line: 329 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(329) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 334 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(334) : error 3 : , at offset 33
near [Index: 4319 (Start: 20064468-Stop: 20064468) ='-', type<22> Line: 334 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(334) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 342 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(342) : error 3 : , at offset 33
near [Index: 4425 (Start: 20064795-Stop: 20064795) ='-', type<22> Line: 342 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(342) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 375 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(375) : error 3 : , at offset 28
near [Index: 4943 (Start: 20066417-Stop: 20066417) ='-', type<22> Line: 375 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(375) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 378 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(378) : error 3 : , at offset 28
near [Index: 4970 (Start: 20066582-Stop: 20066582) ='-', type<22> Line: 378 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(378) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 411 LinePos:27]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(411) : error 3 : , at offset 27
near [Index: 5247 (Start: 20067839-Stop: 20067839) ='-', type<22> Line: 411 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(411) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 424 LinePos:27]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(424) : error 3 : , at offset 27
near [Index: 5350 (Start: 20068290-Stop: 20068290) ='-', type<22> Line: 424 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(424) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 428 LinePos:31]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(428) : error 3 : , at offset 31
near [Index: 5380 (Start: 20068418-Stop: 20068418) ='-', type<22> Line: 428 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(428) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 447 LinePos:31]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(447) : error 3 : , at offset 31
near [Index: 5640 (Start: 20069160-Stop: 20069160) ='-', type<22> Line: 447 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(447) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 455 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(455) : error 3 : , at offset 32
near [Index: 5756 (Start: 20069519-Stop: 20069519) ='-', type<22> Line: 455 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(455) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 460 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(460) : error 3 : , at offset 32
near [Index: 5836 (Start: 20069744-Stop: 20069744) ='-', type<22> Line: 460 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(460) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 463 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(463) : error 3 : , at offset 32
near [Index: 5892 (Start: 20069911-Stop: 20069911) ='-', type<22> Line: 463 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(463) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 466 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(466) : error 3 : , at offset 32
near [Index: 5936 (Start: 20070048-Stop: 20070048) ='-', type<22> Line: 466 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(466) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 501 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(501) : error 3 : , at offset 33
near [Index: 6420 (Start: 20071513-Stop: 20071513) ='-', type<22> Line: 501 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(501) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 504 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(504) : error 3 : , at offset 33
near [Index: 6464 (Start: 20071653-Stop: 20071653) ='-', type<22> Line: 504 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(504) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 509 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(509) : error 3 : , at offset 33
near [Index: 6532 (Start: 20071851-Stop: 20071851) ='-', type<22> Line: 509 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(509) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 517 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(517) : error 3 : , at offset 33
near [Index: 6638 (Start: 20072180-Stop: 20072180) ='-', type<22> Line: 517 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(517) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 551 LinePos:33]
: Missing '['
ITS-tools command line returned an error code 1
/tmp/UpperBounds13958438488476612057.gal(551) : error 3 : , at offset 33
near [Index: 7196 (Start: 20073800-Stop: 20073800) ='-', type<22> Line: 551 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(551) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 563 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(563) : error 3 : , at offset 28
near [Index: 7313 (Start: 20074364-Stop: 20074364) ='-', type<22> Line: 563 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(563) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 566 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(566) : error 3 : , at offset 28
near [Index: 7340 (Start: 20074529-Stop: 20074529) ='-', type<22> Line: 566 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(566) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 600 LinePos:27]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(600) : error 3 : , at offset 27
near [Index: 7618 (Start: 20075793-Stop: 20075793) ='-', type<22> Line: 600 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(600) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 613 LinePos:27]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(613) : error 3 : , at offset 27
near [Index: 7721 (Start: 20076244-Stop: 20076244) ='-', type<22> Line: 613 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(613) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 617 LinePos:31]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(617) : error 3 : , at offset 31
near [Index: 7751 (Start: 20076372-Stop: 20076372) ='-', type<22> Line: 617 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(617) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 636 LinePos:31]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(636) : error 3 : , at offset 31
near [Index: 8011 (Start: 20077114-Stop: 20077114) ='-', type<22> Line: 636 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(636) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 644 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(644) : error 3 : , at offset 32
near [Index: 8127 (Start: 20077473-Stop: 20077473) ='-', type<22> Line: 644 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(644) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 649 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(649) : error 3 : , at offset 32
near [Index: 8207 (Start: 20077698-Stop: 20077698) ='-', type<22> Line: 649 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(649) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 652 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(652) : error 3 : , at offset 32
near [Index: 8263 (Start: 20077865-Stop: 20077865) ='-', type<22> Line: 652 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(652) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 655 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(655) : error 3 : , at offset 32
near [Index: 8307 (Start: 20078002-Stop: 20078002) ='-', type<22> Line: 655 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(655) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 690 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(690) : error 3 : , at offset 33
near [Index: 8791 (Start: 20079467-Stop: 20079467) ='-', type<22> Line: 690 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(690) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 693 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(693) : error 3 : , at offset 33
near [Index: 8835 (Start: 20079607-Stop: 20079607) ='-', type<22> Line: 693 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(693) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 698 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(698) : error 3 : , at offset 33
near [Index: 8903 (Start: 20079805-Stop: 20079805) ='-', type<22> Line: 698 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(698) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 706 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(706) : error 3 : , at offset 33
near [Index: 9009 (Start: 20080134-Stop: 20080134) ='-', type<22> Line: 706 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(706) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 740 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(740) : error 3 : , at offset 33
near [Index: 9567 (Start: 20081754-Stop: 20081754) ='-', type<22> Line: 740 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(740) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 752 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(752) : error 3 : , at offset 28
near [Index: 9684 (Start: 20082318-Stop: 20082318) ='-', type<22> Line: 752 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(752) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 755 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(755) : error 3 : , at offset 28
near [Index: 9711 (Start: 20082483-Stop: 20082483) ='-', type<22> Line: 755 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(755) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 789 LinePos:27]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(789) : error 3 : , at offset 27
near [Index: 9989 (Start: 20083747-Stop: 20083747) ='-', type<22> Line: 789 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(789) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 802 LinePos:27]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(802) : error 3 : , at offset 27
near [Index: 10092 (Start: 20084198-Stop: 20084198) ='-', type<22> Line: 802 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(802) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 806 LinePos:31]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(806) : error 3 : , at offset 31
near [Index: 10122 (Start: 20084326-Stop: 20084326) ='-', type<22> Line: 806 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(806) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 825 LinePos:31]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(825) : error 3 : , at offset 31
near [Index: 10382 (Start: 20085068-Stop: 20085068) ='-', type<22> Line: 825 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(825) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 833 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(833) : error 3 : , at offset 32
near [Index: 10498 (Start: 20085427-Stop: 20085427) ='-', type<22> Line: 833 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(833) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 838 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(838) : error 3 : , at offset 32
near [Index: 10578 (Start: 20085652-Stop: 20085652) ='-', type<22> Line: 838 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(838) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 841 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(841) : error 3 : , at offset 32
near [Index: 10634 (Start: 20085819-Stop: 20085819) ='-', type<22> Line: 841 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(841) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 844 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(844) : error 3 : , at offset 32
near [Index: 10678 (Start: 20085956-Stop: 20085956) ='-', type<22> Line: 844 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(844) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 879 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(879) : error 3 : , at offset 33
near [Index: 11162 (Start: 20087421-Stop: 20087421) ='-', type<22> Line: 879 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(879) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 882 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(882) : error 3 : , at offset 33
near [Index: 11206 (Start: 20087561-Stop: 20087561) ='-', type<22> Line: 882 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(882) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 887 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(887) : error 3 : , at offset 33
near [Index: 11274 (Start: 20087759-Stop: 20087759) ='-', type<22> Line: 887 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(887) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 895 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(895) : error 3 : , at offset 33
near [Index: 11380 (Start: 20088088-Stop: 20088088) ='-', type<22> Line: 895 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(895) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 929 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(929) : error 3 : , at offset 33
near [Index: 11938 (Start: 20089708-Stop: 20089708) ='-', type<22> Line: 929 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(929) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 941 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(941) : error 3 : , at offset 28
near [Index: 12055 (Start: 20090272-Stop: 20090272) ='-', type<22> Line: 941 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(941) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 944 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(944) : error 3 : , at offset 28
near [Index: 12082 (Start: 20090437-Stop: 20090437) ='-', type<22> Line: 944 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(944) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 978 LinePos:27]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(978) : error 3 : , at offset 27
near [Index: 12360 (Start: 20091701-Stop: 20091701) ='-', type<22> Line: 978 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(978) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 991 LinePos:27]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(991) : error 3 : , at offset 27
near [Index: 12463 (Start: 20092152-Stop: 20092152) ='-', type<22> Line: 991 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(991) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 995 LinePos:31]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(995) : error 3 : , at offset 31
near [Index: 12493 (Start: 20092280-Stop: 20092280) ='-', type<22> Line: 995 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(995) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1014 LinePos:31]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1014) : error 3 : , at offset 31
near [Index: 12753 (Start: 20093022-Stop: 20093022) ='-', type<22> Line: 1014 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1014) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1022 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1022) : error 3 : , at offset 32
near [Index: 12869 (Start: 20093381-Stop: 20093381) ='-', type<22> Line: 1022 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1022) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1027 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1027) : error 3 : , at offset 32
near [Index: 12949 (Start: 20093609-Stop: 20093609) ='-', type<22> Line: 1027 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1027) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1030 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1030) : error 3 : , at offset 32
near [Index: 13005 (Start: 20093777-Stop: 20093777) ='-', type<22> Line: 1030 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1030) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1033 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1033) : error 3 : , at offset 32
near [Index: 13049 (Start: 20093915-Stop: 20093915) ='-', type<22> Line: 1033 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1033) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1068 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1068) : error 3 : , at offset 33
near [Index: 13533 (Start: 20095385-Stop: 20095385) ='-', type<22> Line: 1068 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1068) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1071 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1071) : error 3 : , at offset 33
near [Index: 13577 (Start: 20095526-Stop: 20095526) ='-', type<22> Line: 1071 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1071) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1076 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1076) : error 3 : , at offset 33
near [Index: 13645 (Start: 20095727-Stop: 20095727) ='-', type<22> Line: 1076 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1076) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1084 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1084) : error 3 : , at offset 33
near [Index: 13751 (Start: 20096057-Stop: 20096057) ='-', type<22> Line: 1084 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1084) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1118 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1118) : error 3 : , at offset 33
near [Index: 14309 (Start: 20097680-Stop: 20097680) ='-', type<22> Line: 1118 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1118) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1130 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1130) : error 3 : , at offset 28
near [Index: 14426 (Start: 20098244-Stop: 20098244) ='-', type<22> Line: 1130 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1130) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1133 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1133) : error 3 : , at offset 28
near [Index: 14453 (Start: 20098409-Stop: 20098409) ='-', type<22> Line: 1133 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1133) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1167 LinePos:27]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1167) : error 3 : , at offset 27
near [Index: 14731 (Start: 20099673-Stop: 20099673) ='-', type<22> Line: 1167 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1167) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1180 LinePos:27]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1180) : error 3 : , at offset 27
near [Index: 14834 (Start: 20100124-Stop: 20100124) ='-', type<22> Line: 1180 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1180) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1184 LinePos:31]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1184) : error 3 : , at offset 31
near [Index: 14864 (Start: 20100252-Stop: 20100252) ='-', type<22> Line: 1184 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1184) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1203 LinePos:31]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1203) : error 3 : , at offset 31
near [Index: 15124 (Start: 20100994-Stop: 20100994) ='-', type<22> Line: 1203 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1203) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1211 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1211) : error 3 : , at offset 32
near [Index: 15240 (Start: 20101353-Stop: 20101353) ='-', type<22> Line: 1211 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1211) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1216 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1216) : error 3 : , at offset 32
near [Index: 15320 (Start: 20101581-Stop: 20101581) ='-', type<22> Line: 1216 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1216) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1219 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1219) : error 3 : , at offset 32
near [Index: 15376 (Start: 20101749-Stop: 20101749) ='-', type<22> Line: 1219 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1219) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1222 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1222) : error 3 : , at offset 32
near [Index: 15420 (Start: 20101887-Stop: 20101887) ='-', type<22> Line: 1222 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1222) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1257 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1257) : error 3 : , at offset 33
near [Index: 15904 (Start: 20103357-Stop: 20103357) ='-', type<22> Line: 1257 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1257) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1260 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1260) : error 3 : , at offset 33
near [Index: 15948 (Start: 20103498-Stop: 20103498) ='-', type<22> Line: 1260 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1260) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1265 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1265) : error 3 : , at offset 33
near [Index: 16016 (Start: 20103699-Stop: 20103699) ='-', type<22> Line: 1265 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1265) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1273 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1273) : error 3 : , at offset 33
near [Index: 16122 (Start: 20104029-Stop: 20104029) ='-', type<22> Line: 1273 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1273) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1307 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1307) : error 3 : , at offset 33
near [Index: 16680 (Start: 20105652-Stop: 20105652) ='-', type<22> Line: 1307 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1307) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1319 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1319) : error 3 : , at offset 28
near [Index: 16797 (Start: 20106216-Stop: 20106216) ='-', type<22> Line: 1319 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1319) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1322 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1322) : error 3 : , at offset 28
near [Index: 16824 (Start: 20106381-Stop: 20106381) ='-', type<22> Line: 1322 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1322) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1356 LinePos:27]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1356) : error 3 : , at offset 27
near [Index: 17102 (Start: 20107645-Stop: 20107645) ='-', type<22> Line: 1356 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1356) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1369 LinePos:27]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1369) : error 3 : , at offset 27
near [Index: 17205 (Start: 20108096-Stop: 20108096) ='-', type<22> Line: 1369 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1369) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1397 LinePos:32]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1397) : error 3 : , at offset 32
near [Index: 17565 (Start: 20109182-Stop: 20109182) ='-', type<22> Line: 1397 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1397) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1424 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1424) : error 3 : , at offset 33
near [Index: 17941 (Start: 20110340-Stop: 20110340) ='-', type<22> Line: 1424 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1424) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1451 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1451) : error 3 : , at offset 33
near [Index: 18317 (Start: 20111501-Stop: 20111501) ='-', type<22> Line: 1451 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1451) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1474 LinePos:33]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1474) : error 3 : , at offset 33
near [Index: 18631 (Start: 20112466-Stop: 20112466) ='-', type<22> Line: 1474 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1474) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1492 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1492) : error 3 : , at offset 28
near [Index: 18798 (Start: 20113224-Stop: 20113224) ='-', type<22> Line: 1492 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1492) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1495 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1495) : error 3 : , at offset 28
near [Index: 18825 (Start: 20113389-Stop: 20113389) ='-', type<22> Line: 1495 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1495) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1498 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1498) : error 3 : , at offset 28
near [Index: 18852 (Start: 20113554-Stop: 20113554) ='-', type<22> Line: 1498 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1498) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1501 LinePos:28]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(1501) : error 3 : , at offset 28
near [Index: 18879 (Start: 20113717-Stop: 20113717) ='-', type<22> Line: 1501 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(1501) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2398 LinePos:24]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(2398) : error 3 : , at offset 24
near [Index: 24386 (Start: 20138436-Stop: 20138436) ='-', type<22> Line: 2398 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(2398) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2402 LinePos:24]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(2402) : error 3 : , at offset 24
near [Index: 24412 (Start: 20138558-Stop: 20138558) ='-', type<22> Line: 2402 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(2402) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2406 LinePos:24]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(2406) : error 3 : , at offset 24
near [Index: 24438 (Start: 20138718-Stop: 20138718) ='-', type<22> Line: 2406 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(2406) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2410 LinePos:24]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(2410) : error 3 : , at offset 24
near [Index: 24464 (Start: 20138875-Stop: 20138875) ='-', type<22> Line: 2410 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(2410) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2414 LinePos:24]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(2414) : error 3 : , at offset 24
near [Index: 24490 (Start: 20139032-Stop: 20139032) ='-', type<22> Line: 2414 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(2414) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2418 LinePos:24]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(2418) : error 3 : , at offset 24
near [Index: 24516 (Start: 20139193-Stop: 20139193) ='-', type<22> Line: 2418 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds13958438488476612057.gal(2418) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2422 LinePos:24]
: Missing '['
/tmp/UpperBounds13958438488476612057.gal(2422) : error 3 : , at offset 24
near [Index: 24542 (Start: 20139354-Stop: 20139354) ='-', type<22> Line: 2422 LinePos:24]
: cannot match to any predicted input...
The parser returned 214 errors, parsing aborted
[2021-05-13 03:20:40] [INFO ] Applying decomposition
[2021-05-13 03:20:40] [INFO ] Flatten gal took : 32 ms
[2021-05-13 03:20:40] [INFO ] Decomposing Gal with order
[2021-05-13 03:20:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-13 03:20:41] [INFO ] Removed a total of 751 redundant transitions.
[2021-05-13 03:20:41] [INFO ] Flatten gal took : 61 ms
[2021-05-13 03:20:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 24 labels/synchronizations in 8 ms.
[2021-05-13 03:20:41] [INFO ] Time to serialize gal into /tmp/UpperBounds17284553578225366317.gal : 4 ms
[2021-05-13 03:20:41] [INFO ] Time to serialize properties into /tmp/UpperBounds16910490594687470591.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/UpperBounds17284553578225366317.gal, -t, CGAL, -reachable-file, /tmp/UpperBounds16910490594687470591.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/UpperBounds17284553578225366317.gal -t CGAL -reachable-file /tmp/UpperBounds16910490594687470591.prop --nowitness --gen-order FOLLOW
/tmp/UpperBounds17284553578225366317.gal(161) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 161 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(161) : error 3 : , at offset 36
near [Index: 1749 (Start: 42626822-Stop: 42626822) ='-', type<22> Line: 161 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(161) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 164 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(164) : error 3 : , at offset 36
near [Index: 1787 (Start: 42626970-Stop: 42626970) ='-', type<22> Line: 164 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(164) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 166 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(166) : error 3 : , at offset 36
near [Index: 1815 (Start: 42627085-Stop: 42627085) ='-', type<22> Line: 166 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(166) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 169 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(169) : error 3 : , at offset 36
near [Index: 1847 (Start: 42627214-Stop: 42627214) ='-', type<22> Line: 169 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(169) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 172 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(172) : error 3 : , at offset 36
near [Index: 1879 (Start: 42627343-Stop: 42627343) ='-', type<22> Line: 172 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(172) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 174 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(174) : error 3 : , at offset 36
near [Index: 1907 (Start: 42627458-Stop: 42627458) ='-', type<22> Line: 174 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(174) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 177 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(177) : error 3 : , at offset 36
near [Index: 1945 (Start: 42627606-Stop: 42627606) ='-', type<22> Line: 177 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(177) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 180 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(180) : error 3 : , at offset 36
near [Index: 1983 (Start: 42627754-Stop: 42627754) ='-', type<22> Line: 180 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(180) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 182 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(182) : error 3 : , at offset 36
near [Index: 2011 (Start: 42627869-Stop: 42627869) ='-', type<22> Line: 182 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(182) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 185 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(185) : error 3 : , at offset 36
near [Index: 2043 (Start: 42627998-Stop: 42627998) ='-', type<22> Line: 185 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(185) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 188 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(188) : error 3 : , at offset 36
near [Index: 2075 (Start: 42628127-Stop: 42628127) ='-', type<22> Line: 188 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(188) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 190 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(190) : error 3 : , at offset 36
near [Index: 2103 (Start: 42628242-Stop: 42628242) ='-', type<22> Line: 190 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(190) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 193 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(193) : error 3 : , at offset 36
near [Index: 2141 (Start: 42628390-Stop: 42628390) ='-', type<22> Line: 193 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(193) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 196 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(196) : error 3 : , at offset 36
near [Index: 2179 (Start: 42628538-Stop: 42628538) ='-', type<22> Line: 196 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(196) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 198 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(198) : error 3 : , at offset 36
near [Index: 2207 (Start: 42628653-Stop: 42628653) ='-', type<22> Line: 198 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(198) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 201 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(201) : error 3 : , at offset 36
near [Index: 2239 (Start: 42628782-Stop: 42628782) ='-', type<22> Line: 201 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(201) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 204 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(204) : error 3 : , at offset 36
near [Index: 2271 (Start: 42628911-Stop: 42628911) ='-', type<22> Line: 204 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(204) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 206 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(206) : error 3 : , at offset 36
near [Index: 2299 (Start: 42629026-Stop: 42629026) ='-', type<22> Line: 206 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(206) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 209 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(209) : error 3 : , at offset 36
near [Index: 2337 (Start: 42629174-Stop: 42629174) ='-', type<22> Line: 209 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(209) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 212 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(212) : error 3 : , at offset 36
near [Index: 2375 (Start: 42629322-Stop: 42629322) ='-', type<22> Line: 212 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(212) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 214 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(214) : error 3 : , at offset 36
near [Index: 2403 (Start: 42629437-Stop: 42629437) ='-', type<22> Line: 214 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(214) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 217 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(217) : error 3 : , at offset 36
near [Index: 2435 (Start: 42629566-Stop: 42629566) ='-', type<22> Line: 217 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(217) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 220 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(220) : error 3 : , at offset 36
near [Index: 2467 (Start: 42629695-Stop: 42629695) ='-', type<22> Line: 220 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(220) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 222 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(222) : error 3 : , at offset 36
near [Index: 2495 (Start: 42629810-Stop: 42629810) ='-', type<22> Line: 222 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(222) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 225 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(225) : error 3 : , at offset 37
near [Index: 2533 (Start: 42629959-Stop: 42629959) ='-', type<22> Line: 225 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(225) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 228 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(228) : error 3 : , at offset 37
near [Index: 2571 (Start: 42630113-Stop: 42630113) ='-', type<22> Line: 228 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(228) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 230 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(230) : error 3 : , at offset 37
near [Index: 2599 (Start: 42630232-Stop: 42630232) ='-', type<22> Line: 230 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(230) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 233 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(233) : error 3 : , at offset 37
near [Index: 2631 (Start: 42630365-Stop: 42630365) ='-', type<22> Line: 233 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(233) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 236 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(236) : error 3 : , at offset 37
near [Index: 2663 (Start: 42630498-Stop: 42630498) ='-', type<22> Line: 236 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(236) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 238 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(238) : error 3 : , at offset 37
near [Index: 2691 (Start: 42630617-Stop: 42630617) ='-', type<22> Line: 238 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(238) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 241 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(241) : error 3 : , at offset 37
near [Index: 2729 (Start: 42630771-Stop: 42630771) ='-', type<22> Line: 241 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(241) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 244 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(244) : error 3 : , at offset 37
near [Index: 2767 (Start: 42630925-Stop: 42630925) ='-', type<22> Line: 244 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(244) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 246 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(246) : error 3 : , at offset 37
near [Index: 2795 (Start: 42631044-Stop: 42631044) ='-', type<22> Line: 246 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(246) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 249 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(249) : error 3 : , at offset 37
near [Index: 2827 (Start: 42631177-Stop: 42631177) ='-', type<22> Line: 249 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(249) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 252 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(252) : error 3 : , at offset 37
near [Index: 2859 (Start: 42631310-Stop: 42631310) ='-', type<22> Line: 252 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(252) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 254 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(254) : error 3 : , at offset 37
near [Index: 2887 (Start: 42631429-Stop: 42631429) ='-', type<22> Line: 254 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(254) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 270 LinePos:29]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(270) : error 3 : , at offset 29
near [Index: 3079 (Start: 42632059-Stop: 42632059) ='-', type<22> Line: 270 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(270) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 296 LinePos:29]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(296) : error 3 : , at offset 29
near [Index: 3395 (Start: 42633034-Stop: 42633034) ='-', type<22> Line: 296 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(296) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 339 LinePos:30]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(339) : error 3 : , at offset 30
near [Index: 3915 (Start: 42634673-Stop: 42634673) ='-', type<22> Line: 339 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(339) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 343 LinePos:30]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(343) : error 3 : , at offset 30
near [Index: 3963 (Start: 42634840-Stop: 42634840) ='-', type<22> Line: 343 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(343) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 352 LinePos:29]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(352) : error 3 : , at offset 29
near [Index: 4073 (Start: 42635272-Stop: 42635272) ='-', type<22> Line: 352 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(352) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 378 LinePos:29]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(378) : error 3 : , at offset 29
near [Index: 4389 (Start: 42636247-Stop: 42636247) ='-', type<22> Line: 378 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(378) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 421 LinePos:30]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(421) : error 3 : , at offset 30
near [Index: 4909 (Start: 42637886-Stop: 42637886) ='-', type<22> Line: 421 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(421) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 425 LinePos:30]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(425) : error 3 : , at offset 30
near [Index: 4957 (Start: 42638053-Stop: 42638053) ='-', type<22> Line: 425 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(425) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 434 LinePos:29]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(434) : error 3 : , at offset 29
near [Index: 5067 (Start: 42638485-Stop: 42638485) ='-', type<22> Line: 434 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(434) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 460 LinePos:29]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(460) : error 3 : , at offset 29
near [Index: 5383 (Start: 42639460-Stop: 42639460) ='-', type<22> Line: 460 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(460) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 503 LinePos:30]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(503) : error 3 : , at offset 30
near [Index: 5903 (Start: 42641100-Stop: 42641100) ='-', type<22> Line: 503 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(503) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 507 LinePos:30]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(507) : error 3 : , at offset 30
near [Index: 5951 (Start: 42641268-Stop: 42641268) ='-', type<22> Line: 507 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(507) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 516 LinePos:29]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(516) : error 3 : , at offset 29
near [Index: 6061 (Start: 42641700-Stop: 42641700) ='-', type<22> Line: 516 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(516) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 542 LinePos:29]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(542) : error 3 : , at offset 29
near [Index: 6377 (Start: 42642675-Stop: 42642675) ='-', type<22> Line: 542 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(542) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 585 LinePos:30]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(585) : error 3 : , at offset 30
near [Index: 6897 (Start: 42644314-Stop: 42644314) ='-', type<22> Line: 585 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(585) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 589 LinePos:30]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(589) : error 3 : , at offset 30
near [Index: 6945 (Start: 42644481-Stop: 42644481) ='-', type<22> Line: 589 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(589) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 598 LinePos:29]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(598) : error 3 : , at offset 29
near [Index: 7055 (Start: 42644913-Stop: 42644913) ='-', type<22> Line: 598 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(598) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 624 LinePos:29]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(624) : error 3 : , at offset 29
near [Index: 7371 (Start: 42645888-Stop: 42645888) ='-', type<22> Line: 624 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(624) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 667 LinePos:30]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(667) : error 3 : , at offset 30
near [Index: 7891 (Start: 42647527-Stop: 42647527) ='-', type<22> Line: 667 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(667) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 671 LinePos:30]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(671) : error 3 : , at offset 30
near [Index: 7939 (Start: 42647694-Stop: 42647694) ='-', type<22> Line: 671 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(671) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 680 LinePos:29]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(680) : error 3 : , at offset 29
near [Index: 8049 (Start: 42648126-Stop: 42648126) ='-', type<22> Line: 680 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(680) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 706 LinePos:29]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(706) : error 3 : , at offset 29
near [Index: 8365 (Start: 42649101-Stop: 42649101) ='-', type<22> Line: 706 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(706) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 749 LinePos:30]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(749) : error 3 : , at offset 30
near [Index: 8885 (Start: 42650740-Stop: 42650740) ='-', type<22> Line: 749 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(749) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 753 LinePos:30]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(753) : error 3 : , at offset 30
near [Index: 8933 (Start: 42650907-Stop: 42650907) ='-', type<22> Line: 753 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(753) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 766 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(766) : error 3 : , at offset 36
near [Index: 9089 (Start: 42651527-Stop: 42651527) ='-', type<22> Line: 766 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(766) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 776 LinePos:36]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(776) : error 3 : , at offset 36
near [Index: 9207 (Start: 42652035-Stop: 42652035) ='-', type<22> Line: 776 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(776) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 786 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(786) : error 3 : , at offset 37
near [Index: 9325 (Start: 42652552-Stop: 42652552) ='-', type<22> Line: 786 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(786) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 796 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(796) : error 3 : , at offset 37
near [Index: 9443 (Start: 42653078-Stop: 42653078) ='-', type<22> Line: 796 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(796) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 806 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(806) : error 3 : , at offset 37
near [Index: 9561 (Start: 42653604-Stop: 42653604) ='-', type<22> Line: 806 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(806) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 816 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(816) : error 3 : , at offset 37
near [Index: 9679 (Start: 42654130-Stop: 42654130) ='-', type<22> Line: 816 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(816) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 826 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(826) : error 3 : , at offset 37
near [Index: 9797 (Start: 42654656-Stop: 42654656) ='-', type<22> Line: 826 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(826) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 836 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(836) : error 3 : , at offset 37
near [Index: 9915 (Start: 42655182-Stop: 42655182) ='-', type<22> Line: 836 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(836) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 846 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(846) : error 3 : , at offset 37
near [Index: 10033 (Start: 42655708-Stop: 42655708) ='-', type<22> Line: 846 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(846) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 856 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(856) : error 3 : , at offset 37
near [Index: 10151 (Start: 42656234-Stop: 42656234) ='-', type<22> Line: 856 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(856) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 866 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(866) : error 3 : , at offset 37
near [Index: 10269 (Start: 42656760-Stop: 42656760) ='-', type<22> Line: 866 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(866) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 876 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(876) : error 3 : , at offset 37
near [Index: 10387 (Start: 42657286-Stop: 42657286) ='-', type<22> Line: 876 LinePos:37]
: cannot match to any predicted input...
ITS-tools command line returned an error code 1
/tmp/UpperBounds17284553578225366317.gal(876) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 886 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(886) : error 3 : , at offset 37
near [Index: 10505 (Start: 42657812-Stop: 42657812) ='-', type<22> Line: 886 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(886) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 896 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(896) : error 3 : , at offset 37
near [Index: 10623 (Start: 42658338-Stop: 42658338) ='-', type<22> Line: 896 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(896) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 906 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(906) : error 3 : , at offset 37
near [Index: 10741 (Start: 42658864-Stop: 42658864) ='-', type<22> Line: 906 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(906) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 916 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(916) : error 3 : , at offset 37
near [Index: 10859 (Start: 42659390-Stop: 42659390) ='-', type<22> Line: 916 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(916) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 926 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(926) : error 3 : , at offset 37
near [Index: 10977 (Start: 42659916-Stop: 42659916) ='-', type<22> Line: 926 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(926) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 936 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(936) : error 3 : , at offset 37
near [Index: 11095 (Start: 42660442-Stop: 42660442) ='-', type<22> Line: 936 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(936) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 946 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(946) : error 3 : , at offset 37
near [Index: 11213 (Start: 42660968-Stop: 42660968) ='-', type<22> Line: 946 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(946) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 956 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(956) : error 3 : , at offset 37
near [Index: 11331 (Start: 42661494-Stop: 42661494) ='-', type<22> Line: 956 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(956) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 966 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(966) : error 3 : , at offset 37
near [Index: 11449 (Start: 42662020-Stop: 42662020) ='-', type<22> Line: 966 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(966) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 976 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(976) : error 3 : , at offset 37
near [Index: 11567 (Start: 42662546-Stop: 42662546) ='-', type<22> Line: 976 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(976) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 986 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(986) : error 3 : , at offset 37
near [Index: 11685 (Start: 42663072-Stop: 42663072) ='-', type<22> Line: 986 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(986) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 996 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(996) : error 3 : , at offset 37
near [Index: 11803 (Start: 42663598-Stop: 42663598) ='-', type<22> Line: 996 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(996) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1006 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1006) : error 3 : , at offset 37
near [Index: 11921 (Start: 42664124-Stop: 42664124) ='-', type<22> Line: 1006 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1006) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1016 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1016) : error 3 : , at offset 37
near [Index: 12039 (Start: 42664650-Stop: 42664650) ='-', type<22> Line: 1016 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1016) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1026 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1026) : error 3 : , at offset 37
near [Index: 12157 (Start: 42665176-Stop: 42665176) ='-', type<22> Line: 1026 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1026) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1036 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1036) : error 3 : , at offset 37
near [Index: 12275 (Start: 42665702-Stop: 42665702) ='-', type<22> Line: 1036 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1036) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1046 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1046) : error 3 : , at offset 37
near [Index: 12393 (Start: 42666228-Stop: 42666228) ='-', type<22> Line: 1046 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1046) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1056 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1056) : error 3 : , at offset 37
near [Index: 12511 (Start: 42666754-Stop: 42666754) ='-', type<22> Line: 1056 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1056) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1066 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1066) : error 3 : , at offset 37
near [Index: 12629 (Start: 42667280-Stop: 42667280) ='-', type<22> Line: 1066 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1066) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1076 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1076) : error 3 : , at offset 37
near [Index: 12747 (Start: 42667806-Stop: 42667806) ='-', type<22> Line: 1076 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1076) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1086 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1086) : error 3 : , at offset 37
near [Index: 12865 (Start: 42668332-Stop: 42668332) ='-', type<22> Line: 1086 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1086) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1096 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1096) : error 3 : , at offset 37
near [Index: 12983 (Start: 42668858-Stop: 42668858) ='-', type<22> Line: 1096 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1096) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1106 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1106) : error 3 : , at offset 37
near [Index: 13101 (Start: 42669384-Stop: 42669384) ='-', type<22> Line: 1106 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1106) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1116 LinePos:37]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1116) : error 3 : , at offset 37
near [Index: 13219 (Start: 42669910-Stop: 42669910) ='-', type<22> Line: 1116 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1116) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1122 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1122) : error 3 : , at offset 23
near [Index: 13289 (Start: 42670233-Stop: 42670233) ='-', type<22> Line: 1122 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1122) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1127 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1127) : error 3 : , at offset 23
near [Index: 13320 (Start: 42670397-Stop: 42670397) ='-', type<22> Line: 1127 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1127) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1132 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1132) : error 3 : , at offset 23
near [Index: 13351 (Start: 42670561-Stop: 42670561) ='-', type<22> Line: 1132 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1132) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1137 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1137) : error 3 : , at offset 23
near [Index: 13382 (Start: 42670725-Stop: 42670725) ='-', type<22> Line: 1137 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1137) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1142 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1142) : error 3 : , at offset 23
near [Index: 13413 (Start: 42670889-Stop: 42670889) ='-', type<22> Line: 1142 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1142) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1147 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1147) : error 3 : , at offset 23
near [Index: 13444 (Start: 42671055-Stop: 42671055) ='-', type<22> Line: 1147 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1147) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1152 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1152) : error 3 : , at offset 23
near [Index: 13475 (Start: 42671221-Stop: 42671221) ='-', type<22> Line: 1152 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1152) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1156 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1156) : error 3 : , at offset 23
near [Index: 13501 (Start: 42671343-Stop: 42671343) ='-', type<22> Line: 1156 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1156) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1160 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1160) : error 3 : , at offset 23
near [Index: 13527 (Start: 42671465-Stop: 42671465) ='-', type<22> Line: 1160 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1160) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1164 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1164) : error 3 : , at offset 23
near [Index: 13553 (Start: 42671587-Stop: 42671587) ='-', type<22> Line: 1164 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1164) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1168 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1168) : error 3 : , at offset 23
near [Index: 13579 (Start: 42671709-Stop: 42671709) ='-', type<22> Line: 1168 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1168) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1172 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1172) : error 3 : , at offset 23
near [Index: 13605 (Start: 42671832-Stop: 42671832) ='-', type<22> Line: 1172 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1172) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1440 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1440) : error 3 : , at offset 23
near [Index: 15215 (Start: 42678753-Stop: 42678753) ='-', type<22> Line: 1440 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1440) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1444 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1444) : error 3 : , at offset 23
near [Index: 15241 (Start: 42678875-Stop: 42678875) ='-', type<22> Line: 1444 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1444) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1448 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1448) : error 3 : , at offset 23
near [Index: 15267 (Start: 42678997-Stop: 42678997) ='-', type<22> Line: 1448 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1448) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1452 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1452) : error 3 : , at offset 23
near [Index: 15293 (Start: 42679119-Stop: 42679119) ='-', type<22> Line: 1452 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1452) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1456 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1456) : error 3 : , at offset 23
near [Index: 15319 (Start: 42679242-Stop: 42679242) ='-', type<22> Line: 1456 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1456) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1460 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1460) : error 3 : , at offset 23
near [Index: 15345 (Start: 42679365-Stop: 42679365) ='-', type<22> Line: 1460 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1460) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1465 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1465) : error 3 : , at offset 23
near [Index: 15376 (Start: 42679529-Stop: 42679529) ='-', type<22> Line: 1465 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1465) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1470 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1470) : error 3 : , at offset 23
near [Index: 15407 (Start: 42679693-Stop: 42679693) ='-', type<22> Line: 1470 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1470) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1475 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1475) : error 3 : , at offset 23
near [Index: 15438 (Start: 42679857-Stop: 42679857) ='-', type<22> Line: 1475 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1475) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 1480 LinePos:23]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(1480) : error 3 : , at offset 23
near [Index: 15469 (Start: 42680023-Stop: 42680023) ='-', type<22> Line: 1480 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(1480) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2139 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2139) : error 3 : , at offset 24
near [Index: 19394 (Start: 42698290-Stop: 42698290) ='-', type<22> Line: 2139 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(2139) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2143 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2143) : error 3 : , at offset 24
near [Index: 19420 (Start: 42698414-Stop: 42698414) ='-', type<22> Line: 2143 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(2143) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2148 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2148) : error 3 : , at offset 24
near [Index: 19451 (Start: 42698580-Stop: 42698580) ='-', type<22> Line: 2148 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(2148) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2158 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2158) : error 3 : , at offset 24
near [Index: 19507 (Start: 42699064-Stop: 42699064) ='-', type<22> Line: 2158 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(2158) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2169 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2169) : error 3 : , at offset 24
near [Index: 19568 (Start: 42699590-Stop: 42699590) ='-', type<22> Line: 2169 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(2169) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2179 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2179) : error 3 : , at offset 24
near [Index: 19624 (Start: 42700076-Stop: 42700076) ='-', type<22> Line: 2179 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(2179) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2190 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2190) : error 3 : , at offset 24
near [Index: 19685 (Start: 42700604-Stop: 42700604) ='-', type<22> Line: 2190 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(2190) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2200 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2200) : error 3 : , at offset 24
near [Index: 19741 (Start: 42701090-Stop: 42701090) ='-', type<22> Line: 2200 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(2200) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2211 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2211) : error 3 : , at offset 24
near [Index: 19802 (Start: 42701618-Stop: 42701618) ='-', type<22> Line: 2211 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(2211) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2221 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2221) : error 3 : , at offset 24
near [Index: 19858 (Start: 42702104-Stop: 42702104) ='-', type<22> Line: 2221 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(2221) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2232 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2232) : error 3 : , at offset 24
near [Index: 19919 (Start: 42702632-Stop: 42702632) ='-', type<22> Line: 2232 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(2232) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2242 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2242) : error 3 : , at offset 24
near [Index: 19975 (Start: 42703119-Stop: 42703119) ='-', type<22> Line: 2242 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(2242) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2253 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2253) : error 3 : , at offset 24
near [Index: 20036 (Start: 42703649-Stop: 42703649) ='-', type<22> Line: 2253 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds17284553578225366317.gal(2253) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='', type<37> Line: 2263 LinePos:24]
: Missing '['
/tmp/UpperBounds17284553578225366317.gal(2263) : error 3 : , at offset 24
near [Index: 20092 (Start: 42704136-Stop: 42704136) ='-', type<22> Line: 2263 LinePos:24]
: cannot match to any predicted input...
The parser returned 264 errors, parsing aborted
[2021-05-13 03:20:41] [INFO ] Flatten gal took : 23 ms
[2021-05-13 03:20:41] [INFO ] Input system was already deterministic with 342 transitions.
[2021-05-13 03:20:41] [INFO ] Transformed 158 places.
[2021-05-13 03:20:41] [INFO ] Transformed 342 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
[2021-05-13 03:20:41] [INFO ] Time to serialize gal into /tmp/UpperBounds18039198396110863554.gal : 2 ms
[2021-05-13 03:20:41] [INFO ] Time to serialize properties into /tmp/UpperBounds3405419513845859959.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/UpperBounds18039198396110863554.gal, -t, CGAL, -reachable-file, /tmp/UpperBounds3405419513845859959.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/UpperBounds18039198396110863554.gal -t CGAL -reachable-file /tmp/UpperBounds3405419513845859959.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/UpperBounds3405419513845859959.prop.
Detected timeout of ITS tools.

BK_STOP 1620877257800

--------------------
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-6"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itstools"
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 itstools"
echo " Input is LamportFastMutEx-COL-6, 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 r121-tall-162075407200619"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-COL-6.tgz
mv LamportFastMutEx-COL-6 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 ;